Class with subproperty

Ontology(<http://nomagic.com/ontology/example-case/case-05>
Declaration(
Class(:FutsalPlayer)
)
Declaration(
Class(:FutsalTeam)
)
Declaration(
Class(:SoccerPlayer)
)
Declaration(
Class(:SoccerTeam)
)
Declaration(
ObjectProperty(:composedOf)
)
Declaration(
ObjectProperty(:consistsOf)
)
AnnotationAssertion(rdfs:label
:FutsalPlayer "Futsal Player"@en)
SubClassOf(:FutsalPlayer
:SoccerPlayer)
AnnotationAssertion(rdfs:label :FutsalTeam
"Futsal Team"@en)
SubClassOf(:FutsalTeam :SoccerTeam)
SubClassOf(
:FutsalTeam 
ObjectIntersectionOf(
ObjectMaxCardinality(5 :composedOf
:FutsalPlayer) ObjectMinCardinality(5 :composedOf :FutsalPlayer)
)
)
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
:composedOf "composed of"@en)
SubObjectPropertyOf(:composedOf
:consistsOf)
ObjectPropertyDomain(:composedOf
:FutsalTeam)
ObjectPropertyRange(:composedOf
:FutsalPlayer)
AnnotationAssertion(rdfs:label
:consistsOf "consists of"@en)
ObjectPropertyDomain(:consistsOf
:SoccerTeam)
ObjectPropertyRange(:consistsOf
:SoccerPlayer)
)