Class AxiomSyntaxException