Property holder with object property

A property holder with object property.
 Ontology(<http://nomagic.com/ontology/example-case/case-03c>
 Declaration(
 Class(:Liquid)
 )
 Declaration(
 ObjectProperty(:isDissolvedBy)
 )
 AnnotationAssertion(rdfs:label :Liquid "Liquid"@en)
 SubClassOf(
 owl:Thing 
 ObjectIntersectionOf(
 ObjectMinCardinality(1 :isDissolvedBy :Liquid)
 )
 )
 AnnotationAssertion(rdfs:label :isDissolvedBy "is dissolved by"@en)
 ObjectPropertyRange(:isDissolvedBy :Liquid)
 )