Qualified Restrictions

<rdfs:Class rdf:ID="Animal">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#parent"/>
      <daml:cardinality>2</daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</rdfs:Class>
<rdfs:Class rdf:ID="Mule">
  <rdfs:subClassOf rdf:resource="#Animal"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#parent"/>
      <daml:hasClassQ rdf:resource="#Horse"/>
      <daml:cardinalityQ>1</daml:cardinalityQ>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#parent"/>
      <daml:hasClassQ rdf:resource="#Donkey"/>
      <daml:cardinalityQ>1</daml:cardinalityQ>
    </daml:Restriction>
  </rdfs:subClassOf>
</rdfs:Class>