restored implementations of getAxiomWithoutAnnotations