@Override
 public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
   axiom.getSubProperty();
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   axiom.getSuperProperty().accept(this);
 }
 @Override
 public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
   axiom.getSubProperty().accept(this);
   OWLAnnotationProperty sub = (OWLAnnotationProperty) obj;
   axiom.getSuperProperty().accept(this);
   OWLAnnotationProperty sup = (OWLAnnotationProperty) obj;
   obj =
       dataFactory.getOWLSubAnnotationPropertyOfAxiom(sub, sup, duplicateAxiomAnnotations(axiom));
 }
 public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }
 public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
   axiom.getSubProperty().accept(this);
   axiom.getSuperProperty().accept(this);
   processAxiomAnnotations(axiom);
 }