I am studying XTM language but I have some questions about its expressivity power. I would be very thankful if someone could clarify me about some important aspects of XTM language: - can we consider XTM allows expressing axioms? - has it any reasoning capability? Has it an inference engine? Thanks in advance. Ana Maria Moura