# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 12:56:39 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:hasValue "Xantusiidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:hasValue "Leptotyphlopidae"} 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:hasValue "Xantusiidae"} 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1073_37_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:hasValue "Gekkonidae"} 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:hasValue "Leptotyphlopidae"} 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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106c_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1070_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106a_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106b_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106d_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1069_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106e_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1071_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1068_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 . {{_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1074_37_} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX1072_37_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf } e:evidence . { rdfs:subClassOf _:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_} e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:onProperty } e:evidence . {_:AX2dX20b5deb6X3aX10691944472X3aXX2dX106f_37_ owl:hasValue "Crocodylidae"} e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. # Proof found in 185560 steps (155669 steps/sec) using 1 engine (510 triples) }.