A class with subproperty that has no range.
Ontology(<http://nomagic.com/ontology/example-case/case-16>
      Declaration(
             Class(:Game)
      )
      Declaration(
             Class(:SoccerMatch)
      )
      Declaration(
             ObjectProperty(:isACompetitionBetween)
      )
      Declaration(
             ObjectProperty(:isPlayedBetween)
      )
      AnnotationAssertion(rdfs:label :Game "Game"@en)
      SubClassOf(
             :Game 
             ObjectIntersectionOf(
                    ObjectMinCardinality(2 :isPlayedBetween)
             )
      )
      AnnotationAssertion(rdfs:label :SoccerMatch "Soccer Match"@en)
      SubClassOf(:SoccerMatch :Game)
      SubClassOf(
             :SoccerMatch 
             ObjectIntersectionOf(
                    ObjectMaxCardinality(2 :isACompetitionBetween) 
                    ObjectMinCardinality(2 :isACompetitionBetween)
             )
      )
      AnnotationAssertion(rdfs:label :isACompetitionBetween "is a competition between"@en)
      SubObjectPropertyOf(:isACompetitionBetween :isPlayedBetween)
      ObjectPropertyDomain(:isACompetitionBetween :SoccerMatch)
      AnnotationAssertion(rdfs:label :isPlayedBetween "is played between"@en)
      ObjectPropertyDomain(:isPlayedBetween :Game)
)