strems for HasAxioms and HasAnnotationPropertiesInSignature