trace:
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
1
1
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
1
1
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
:c1
:p
:c2
:p
log:implies http://www.w3.org/2000/10/swap/log#implies
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
log:Truth http://www.w3.org/2000/10/swap/log#Truth
log:forAll http://www.w3.org/2000/10/swap/log#forAll
:c1
:c2
:c3
:p
1
:c2
:p
:c3
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
:mammalia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
3
3
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
:c2
:p
:c3
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:c2
:p
:c3
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
:c2
:p
:c3
:mammalia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
3
3
:c2
:p
:c3
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
4
4
:c2
:p
:c3
:mouse
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
5
5
:c2
:p
:c3
:piep
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
6
6
:c2
:p
:c3
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
Term1:
?1?:who ?:who
Term2:
:c1
Term1:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term2:
:p
Term1:
:vertebrae
Term2:
:c3
Term1:
:c2
Term2:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term1:
:p
Term2:
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
Term1:
:c3
Term2:
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:c1
:p
:c2
:mammalia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
3
3
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
4
4
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
4
4
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
4
4
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
:mouse
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
5
5
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
:mouse
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
5
5
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:mouse
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
5
5
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
:piep
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
6
6
:c1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
:piep
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
6
6
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
:piep
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mouse
6
6
:c1
:p
:c2
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
Term1:
?1?:who ?:who
Term2:
:c1
Term1:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term2:
:p
Term1:
:vertebrae
Term2:
:c3
Term1:
:c2
Term2:
:piep
Term1:
:p
Term2:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term1:
:c3
Term2:
:mouse
:c1
:p
:c2
substitutions:
Term1:
?1?:who ?:who
Term2:
:c1
Term1:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term2:
:p
Term1:
:vertebrae
Term2:
:c3
Term1:
:c2
Term2:
:mammalia
Term1:
:p
Term2:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term1:
:c3
Term2:
:vertebrae
Term1:
:c1
Term2:
:rodentia
------------ next list------------
Term1:
?1?:who ?:who
Term2:
:c1
Term1:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term2:
:p
Term1:
:vertebrae
Term2:
:c3
Term1:
:c2
Term2:
:rodentia
Term1:
:p
Term2:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term1:
:c3
Term2:
:mammalia
Term1:
:c1
Term2:
:mouse
------------ next list------------
Term1:
?1?:who ?:who
Term2:
:c1
Term1:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term2:
:p
Term1:
:vertebrae
Term2:
:c3
Term1:
:c2
Term2:
:mouse
Term1:
:p
Term2:
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
Term1:
:c3
Term2:
:rodentia
Term1:
:c1
Term2:
:piep
------------ next list------------
Term1:
?1?:who ?:who
Term2:
:mammalia
------------ next list------------
Last empty list
Lemma:
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
Solutions:
-----------Solution--------
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
-----------Solution--------
:mouse
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
-----------Solution--------
:piep
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
-----------Solution--------
:mammalia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
This were all the solutions