See the jaxt overview file for information about declaring and using axiom classes.
@author Magne Haveraaen & Karl Trygve Kalleberg, 2007