Property holder with self-referential subproperty

Ontology(<http://nomagic.com/ontology/example-case/case-11>
      Declaration(
             ObjectProperty(:contains)
      )
      Declaration(
             ObjectProperty(:holds)
      )
      AnnotationAssertion(rdfs:label :contains "contains"@en)
      SubObjectPropertyOf(:contains :holds)
      AnnotationAssertion(rdfs:label :holds "holds"@en)
)