# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:40 GMT @prefix log: . @prefix e: . ()!log:conjunction e:constructs { @prefix e: . @prefix q: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . { { log:notEqualTo } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX8000_1_ owl:distinctMembers _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_ :item } e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_ :item } e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ :item } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ :item } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. # Proof found in 903 steps (45127 steps/sec) using 1 engine (445 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffb_5_ } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 11 steps (1098 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{rdfs:Class rdfs:subClassOf } e:evidence . { a rdfs:Class} e:evidence } e:sequent { { } e:evidence }. # Proof found in 43854 steps (181959 steps/sec) using 1 engine (432 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:43 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{rdfs:subClassOf rdfs:domain } e:evidence . {{{rdf:type rdfs:domain rdfs:Resource} e:evidence . {rdfs:Resource rdfs:subClassOf owl:Thing} e:evidence } e:sequent { {rdf:type rdfs:domain owl:Thing} e:evidence }. {{owl:Class rdfs:subClassOf rdfs:Class} e:evidence . { a owl:Class} e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { rdfs:subClassOf owl:Thing} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 24638 steps (223961 steps/sec) using 1 engine (432 triples) }. # No proof found in 8000027 steps (208144 steps/sec) using 1 engine (433 triples) # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . # Proof found in 1 step (100000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { "value"} e:evidence . # Proof found in 1 step (100000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . { owl:inverseOf } e:evidence } e:sequent { { owl:inverseOf } e:evidence }. { a owl:FunctionalProperty} e:evidence } e:sequent { { } e:evidence }. # Proof found in 153 steps (15300000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff5_21_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_ rdf:rest ()} e:evidence . { rdfs:range } e:evidence } e:sequent { { } e:evidence }. # Proof found in 334 steps (33366 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ "1"^^} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ owl:maxCardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { a owl:FunctionalProperty} e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_} e:evidence }. { } e:evidence . # Proof found in 2368 steps (8426 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ rdfs:subClassOf } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom owl:Thing} e:evidence . { owl:inverseOf } e:evidence . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . { owl:inverseOf } e:evidence } e:sequent { { owl:inverseOf } e:evidence }. { rdfs:domain } e:evidence } e:sequent { { rdfs:range } e:evidence }. { } e:evidence . {{ owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_ :item } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { _:O_2_} e:evidence }. {_:O_2_ a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 4237 steps (211744 steps/sec) using 1 engine (465 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 9 steps (900000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fec_29_ "2688418"} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fec_29_ } e:evidence . # Proof found in 2 steps (200000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_ owl:maxCardinality "0"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_} e:evidence } e:sequent { { } e:evidence }. {{rdfs:Class rdfs:subClassOf } e:evidence . {{owl:oneOf rdfs:domain rdfs:Class} e:evidence . { owl:oneOf ()} e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 55348 steps (197664 steps/sec) using 1 engine (442 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_ owl:someValuesFrom } e:evidence . { owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_ owl:allValuesFrom } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_ owl:maxCardinality "0"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_} e:evidence } e:sequent { { owl:equivalentClass owl:Nothing} e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 7784 steps (194551 steps/sec) using 1 engine (455 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:rest ()} e:evidence . { } e:evidence . {{{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_ owl:someValuesFrom } e:evidence . { owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_ owl:allValuesFrom } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence } e:sequent { { owl:equivalentClass owl:Nothing} e:evidence }} e:sequent { { owl:complementOf } e:evidence }. { owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_ owl:someValuesFrom } e:evidence . { owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_ owl:allValuesFrom } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence } e:sequent { { owl:equivalentClass owl:Nothing} e:evidence }} e:sequent { { owl:complementOf } e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:rest ()} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_ owl:someValuesFrom } e:evidence . { owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_ owl:allValuesFrom } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence } e:sequent { { owl:equivalentClass owl:Nothing} e:evidence }} e:sequent { { owl:complementOf } e:evidence }} e:sequent { { owl:complementOf } e:evidence }} e:sequent { { owl:complementOf } e:evidence }} e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_} e:evidence . # Proof found in 37886 steps (236772 steps/sec) using 1 engine (482 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd6_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd4_37_ owl:hasValue "Anomalepidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd3_37_ owl:hasValue "Emydidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd5_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd2_37_ owl:hasValue "Crocodylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. # Proof found in 241547 steps (213378 steps/sec) using 1 engine (510 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:27 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:range } e:evidence . { rdfs:subClassOf } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 156 steps (15600000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:27 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc8_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc8_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc8_5_ rdf:rest ()} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fca_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fca_5_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_} e:evidence . { } e:evidence . {{ rdfs:range } e:evidence . { rdfs:range } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fca_5_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ :item } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc9_5_ :item } e:evidence }} e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fca_5_} e:evidence }. # Proof found in 4453 steps (148383 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:27 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{rdfs:Class rdfs:subClassOf } e:evidence . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . { rdfs:subClassOf rdfs:Resource} e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_ owl:allValuesFrom } e:evidence . { rdfs:range } e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc7_5_ } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 50459 steps (186878 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:27 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc6_45_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc6_45_ owl:allValuesFrom } e:evidence . {owl:Thing rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc6_45_} e:evidence } e:sequent { { } e:evidence }. # Proof found in 404 steps (40359 steps/sec) using 1 engine (439 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:27 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc5_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc5_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc5_5_ "1"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc5_5_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc5_5_} e:evidence . { } e:evidence . # Proof found in 460 steps (46000000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc4_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc4_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc4_5_ "1"^^} e:evidence . # Proof found in 459 steps (45900000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{rdf:type rdfs:domain } e:evidence . { a rdfs:Class} e:evidence } e:sequent { { } e:evidence }. # Proof found in 1252 steps (125200000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:range xsd:integer} e:evidence . { rdfs:range xsd:string} e:evidence } e:sequent { { } e:evidence }. # Proof found in 599 steps (59900000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc3_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc3_5_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc2_5_} e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc2_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc2_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc2_5_ rdf:rest ()} e:evidence . # Proof found in 1491 steps (148951 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc1_57_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc1_57_ owl:cardinality "128"^^} e:evidence . { rdfs:range xsd:byte} e:evidence . { rdfs:range xsd:unsignedInt} e:evidence . {"128"^^ math:notLessThan 128} e:evidence . {"5"^^ math:lessThan "128"^^} e:evidence . { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc1_57_} e:evidence } e:sequent { { "5"^^} e:evidence }. { } e:evidence . # Proof found in 543 steps (54245 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:range } e:evidence . { rdfs:subClassOf } e:evidence } e:sequent { { } e:evidence }. # Proof found in 172 steps (17200000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:range xsd:short} e:evidence . { rdfs:range xsd:unsignedInt} e:evidence } e:sequent { { } e:evidence }. # Proof found in 750 steps (74925 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:28 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:range xsd:nonNegativeInteger} e:evidence . { rdfs:range xsd:nonPositiveInteger} e:evidence } e:sequent { { } e:evidence }. # Proof found in 752 steps (75200000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc0_65_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc0_65_ owl:someValuesFrom xsd:nonPositiveInteger} e:evidence . { rdfs:range xsd:nonNegativeInteger} e:evidence . {"0"^^ math:equalTo 0} e:evidence . { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fc0_65_} e:evidence } e:sequent { { "0"^^} e:evidence }. { } e:evidence . # Proof found in 671 steps (67032 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { "1"^^} e:evidence . # Proof found in 1 step (100000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . # Proof found in 1 step (100000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { "value"} e:evidence . # Proof found in 1 step (100000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . { owl:inverseOf } e:evidence } e:sequent { { owl:inverseOf } e:evidence }. { a owl:InverseFunctionalProperty} e:evidence } e:sequent { { } e:evidence }. # Proof found in 469 steps (46853 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbf_75_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbf_75_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbe_75_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbf_75_ rdf:rest ()} e:evidence . { rdfs:domain } e:evidence } e:sequent { { } e:evidence }. # Proof found in 348 steps (34800000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:29 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdfs:subClassOf } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . {{ rdfs:subClassOf } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . # Proof found in 2769 steps (138380 steps/sec) using 1 engine (440 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:30 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ rdfs:subClassOf } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . { } e:evidence . {{ rdfs:subClassOf } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 2802 steps (140029 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:30 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbc_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbc_5_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbc_5_ owl:unionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_} e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_ owl:someValuesFrom owl:Thing} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_ owl:maxCardinality "0"^^} e:evidence . {"0"^^ math:equalTo 0} e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbc_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fba_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb8_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb9_5_ "0"^^} e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fbb_5_ } e:evidence . # Proof found in 55623 steps (206003 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:30 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ rdf:type owl:SymmetricProperty} e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 7 steps (700000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:30 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_} e:evidence . {{ rdfs:range } e:evidence . { owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:rest ()} e:evidence . { :reflexive ()} e:evidence } e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence }} e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence }. { owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:first } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ :item } e:evidence }. { owl:equivalentClass } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:first } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ :item } e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ :item } e:evidence }. { owl:equivalentClass } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:rest ()} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ :includes ()} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ :includes _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ :includes _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence }. { rdf:type owl:InverseFunctionalProperty} e:evidence } e:sequent { { } e:evidence }. {{ rdfs:range } e:evidence . { owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:rest ()} e:evidence . { :reflexive ()} e:evidence } e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence }} e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb5_5_ owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:first } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ :item } e:evidence }. { owl:equivalentClass } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:first } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_ rdf:first } e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_ :item } e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ :item } e:evidence }. { owl:equivalentClass } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_ rdf:rest ()} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ :includes ()} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ :includes _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb6_85_} e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_ :includes _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb7_85_} e:evidence }. { rdf:type owl:InverseFunctionalProperty} e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb5_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb2_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb2_5_ rdf:rest ()} e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb3_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb2_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb5_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb5_5_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb4_5_} e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 100555 steps (223450 steps/sec) using 1 engine (446 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:31 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ rdf:type owl:SymmetricProperty} e:evidence . { } e:evidence } e:sequent { { } e:evidence }. {{owl:SymmetricProperty rdfs:subClassOf } e:evidence . { a owl:SymmetricProperty} e:evidence } e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 7432 steps (185753 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:31 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ rdf:type owl:TransitiveProperty} e:evidence . { } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 69 steps (6900000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:31 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ owl:someValuesFrom } e:evidence . { } e:evidence . { a } e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fae_5_ } e:evidence . {{ rdfs:range _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb1_91_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb1_91_ owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb0_91_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb0_91_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb0_91_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7faf_91_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7faf_91_ rdf:first } e:evidence . { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7faf_91_ rdf:rest ()} e:evidence . { :reflexive ()} e:evidence } e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7faf_91_} e:evidence }} e:sequent { { :reflexive _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fb0_91_} e:evidence }. { rdf:type owl:SymmetricProperty} e:evidence } e:sequent { { } e:evidence }. # Proof found in 68077 steps (226915 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:32 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fad_93_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fad_93_ owl:allValuesFrom } e:evidence . { } e:evidence . {{ rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fad_93_} e:evidence . { a } e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fad_93_} e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 3530 steps (176411 steps/sec) using 1 engine (443 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:32 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ } e:evidence . {{owl:cardinality rdfs:subPropertyOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ owl:cardinality "1"^^} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ "1"^^} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ } e:evidence . {{owl:cardinality rdfs:subPropertyOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ owl:cardinality "1"^^} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_ "1"^^} e:evidence }. { } e:evidence . { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_} e:evidence . { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fac_95_} e:evidence . { } e:evidence . # Proof found in 310 steps (31000000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:32 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa8_97_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa8_97_ owl:minCardinality "1"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa9_97_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa9_97_ owl:maxCardinality "1"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_ owl:cardinality "1"^^} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa8_97_} e:evidence . { rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa9_97_} e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa7_5_ "1"^^} e:evidence . # Proof found in 3240 steps (323676 steps/sec) using 1 engine (442 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:32 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ } e:evidence . {{owl:cardinality rdfs:subPropertyOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ owl:cardinality "2"^^} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ "2"^^} e:evidence }. { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ } e:evidence . {{owl:cardinality rdfs:subPropertyOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ owl:cardinality "2"^^} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_ "2"^^} e:evidence }. { } e:evidence . { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_} e:evidence . { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa6_99_} e:evidence . # Proof found in 311 steps (31100000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:32 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa3_101_ } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa3_101_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa1_101_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa1_101_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa2_101_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa1_101_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa2_101_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa2_101_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa2_101_ owl:maxCardinality "2"^^} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa1_101_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9f_101_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9f_101_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa0_101_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9f_101_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa0_101_} e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa1_101_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa0_101_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa0_101_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa0_101_ owl:minCardinality "2"^^} e:evidence . {"2"^^ math:equalTo "2"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9c_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9c_5_ rdf:rest ()} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_ owl:cardinality "2"^^} e:evidence . {"2"^^ math:equalTo "2"^^} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa3_101_ _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9c_5_} e:evidence }. { } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9c_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9c_5_ rdf:rest ()} e:evidence . { } e:evidence . { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fa3_101_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9d_5_ "2"^^} e:evidence . # Proof found in 760139 steps (218744 steps/sec) using 1 engine (447 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:36 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_ } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_ "1"^^} e:evidence . {{ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9a_103_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9a_103_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9b_103_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9a_103_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9b_103_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9b_103_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9b_103_ owl:maxCardinality "1"^^} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9a_103_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f98_103_} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f98_103_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f99_103_} e:evidence } e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f98_103_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f99_103_} e:evidence }} e:sequent { {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f9a_103_ :item _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f99_103_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f99_103_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f99_103_ owl:minCardinality "1"^^} e:evidence . {"1"^^ math:equalTo "1"^^} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f96_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f96_5_ rdf:rest ()} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo "1"^^} e:evidence } e:sequent { { _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f96_5_} e:evidence }. {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f96_5_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f97_5_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f96_5_ rdf:rest ()} e:evidence . # Proof found in 3837 steps (191754 steps/sec) using 1 engine (442 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:36 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix str: . @prefix p0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix p1: . @prefix owl: . @prefix rdf: . {{ rdf:type owl:SymmetricProperty} e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 7 steps (700000 steps/sec) using 1 engine (432 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:36 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef4_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef2_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef2_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef3_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef2_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef0_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef0_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef1_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef0_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb7_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef3_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb7_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef3_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb8_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef1_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb8_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ef1_107_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f15_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f15_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f13_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f13_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f14_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f13_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f11_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f11_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f12_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f11_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb3_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f14_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb3_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f14_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb4_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f12_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb4_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f12_107_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eae_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eae_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f52_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f52_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_ rdf:rest ()} e:evidence . { a } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ead_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ead_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_} e:evidence }} e:sequent { { a } e:evidence }. { a } e:evidence } e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4e_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4d_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4c_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f52_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f52_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f51_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f4f_107_ rdf:rest ()} e:evidence . { a } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ead_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ead_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f50_107_} e:evidence }} e:sequent { { a } e:evidence }. { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec7_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec6_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eae_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eae_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ec5_107_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee6_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee5_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee4_107_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f2a_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f28_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f26_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eaf_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f29_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb1_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7f27_107_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eeb_107_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee9_107_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee7_107_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eb0_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eea_107_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7eac_107_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ee8_107_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 1896755 steps (347517 steps/sec) using 1 engine (680 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:42 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e9a_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e9a_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e9a_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e99_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e99_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e99_110_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e52_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e52_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e52_110_ owl:someValuesFrom } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e57_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e57_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e30_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e30_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7c_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7c_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7c_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7b_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7b_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e7b_110_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea1_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea1_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea1_110_ owl:someValuesFrom } e:evidence . { } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8b_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8b_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8b_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8a_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2c_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8a_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2c_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e8a_110_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6a_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6a_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6a_110_ owl:someValuesFrom } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:someValuesFrom } e:evidence . { } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea5_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea4_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ea3_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e43_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e42_110_} e:evidence }} e:sequent { { a } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3f_110_ owl:someValuesFrom _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence . { } e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e33_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e3e_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e57_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e57_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e55_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e53_110_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e30_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e30_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e56_110_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e31_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e54_110_} e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:someValuesFrom } e:evidence . { } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6e_110_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:first } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6d_110_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6b_110_ rdf:rest ()} e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:onProperty } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6f_110_ owl:someValuesFrom } e:evidence . { } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e2e_110_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7e6c_110_} e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 478038 steps (316160 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:44 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7a_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7a_112_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7f_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7f_112_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7e_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7e_112_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7d_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7d_112_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7c_112_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7b_112_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7a_112_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d7a_112_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . # Proof found in 30660 steps (306569 steps/sec) using 1 engine (601 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:44 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c50_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c50_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c56_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c56_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c55_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c55_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c50_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c50_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3a_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3a_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d50_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d50_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4f_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4f_114_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4e_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4e_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d50_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d50_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4f_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d4f_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3c_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7d3b_114_ rdf:first } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c52_114_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c51_114_ rdf:first } e:evidence . { a } e:evidence } e:sequent { { a } e:evidence }} e:sequent { { a } e:evidence }} e:sequent { { } e:evidence }. { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 157211 steps (307647 steps/sec) using 1 engine (922 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:45 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . {{ owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c3b_116_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c3b_116_ owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c39_116_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c39_116_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c3a_116_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c39_116_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c37_116_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c37_116_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c38_116_} e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c37_116_ rdf:rest ()} e:evidence . {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c20_116_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c3a_116_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c20_116_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c3a_116_} e:evidence }. {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c21_116_ owl:complementOf } e:evidence . {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c38_116_ owl:complementOf } e:evidence . { rdf:type _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c21_116_} e:evidence } e:sequent { { a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7c38_116_} e:evidence }} e:sequent { { } e:evidence }. {