Class with object property

 Ontology(<http://nomagic.com/ontology/example-case/case-03>
 Declaration(
 Class(:SoccerPlayer)
 )
 Declaration(
 Class(:SoccerTeam)
 )
 Declaration(
 ObjectProperty(:consistsOf)
 )
 AnnotationAssertion(rdfs:label :SoccerPlayer "Soccer Player"@en)
 AnnotationAssertion(rdfs:label :SoccerTeam "Soccer Team"@en)
 SubClassOf(
 :SoccerTeam 
 ObjectIntersectionOf(
 ObjectMaxCardinality(11 :consistsOf :SoccerPlayer) ObjectMinCardinality(5 :consistsOf :SoccerPlayer)
 )
 )
 AnnotationAssertion(rdfs:label :consistsOf "consists of"@en)
 ObjectPropertyDomain(:consistsOf :SoccerTeam)
 ObjectPropertyRange(:consistsOf :SoccerPlayer)
 )