a ; "AnnotationPropertyWithAxiom" ; "seeAlso"@en . a ; "HasAnnotationAxiom" ; .