Property holder with subproperty

Ontology(<http://nomagic.com/ontology/example-case/case-18>
      Declaration(
             Class(:Acid)
      )
      Declaration(
             Class(:Liquid)
      )
      Declaration(
             ObjectProperty(:isCorrodedBy)
      )
      Declaration(
             ObjectProperty(:isDissolvedBy)
      )
      AnnotationAssertion(rdfs:label :Acid "Acid"@en)
      SubClassOf(:Acid :Liquid)
      AnnotationAssertion(rdfs:label :Liquid "Liquid"@en)
      SubClassOf(
             owl:Thing 
             ObjectIntersectionOf(
                    ObjectMinCardinality(1 :isCorrodedBy :Acid)
             )
      )
      SubClassOf(
             owl:Thing 
             ObjectIntersectionOf(
                    ObjectMinCardinality(1 :isDissolvedBy :Liquid)
             )
      )
      AnnotationAssertion(rdfs:label :isCorrodedBy "is corroded by"@en)
      SubObjectPropertyOf(:isCorrodedBy :isDissolvedBy)
      ObjectPropertyRange(:isCorrodedBy :Acid)
      AnnotationAssertion(rdfs:label :isDissolvedBy "is dissolved by"@en)
      ObjectPropertyRange(:isDissolvedBy :Liquid)
)