%------------------------------------------------------------------------------ % File : ZenonModulo---0.5.0 % Problem : SWB014-10 : TPTP v8.2.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : run_zenon_modulo %d %s % Computer : n010.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Tue Jun 25 02:13:26 EDT 2024 % Result : Unknown 5.01s 5.21s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB014-10 : TPTP v8.2.0. Released v7.5.0. % 0.11/0.12 % Command : run_zenon_modulo %d %s % 0.12/0.33 % Computer : n010.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 300 % 0.12/0.34 % DateTime : Thu Jun 20 16:55:24 EDT 2024 % 0.12/0.34 % CPUTime : % 5.01/5.19 Zenon error: exhausted search space without finding a proof % 5.01/5.19 (* Current branch: % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdf_rest)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((uri_rdfs_Resource) != (uri_rdfs_Container)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_Datatype)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdf_predicate)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_Literal) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_seeAlso) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Literal) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 (zenon_X0 != (uri_rdfs_Statement)) % 5.01/5.19 ((uri_rdfs_Literal) != (uri_rdfs_Class)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_domain)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((uri_rdfs_Datatype) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdf_Property) != (uri_rdfs_seeAlso)) % 5.01/5.19 ((uri_rdfs_Statement) != (uri_rdf_nil)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((uri_rdf_List) != (uri_rdfs_Resource)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((uri_rdfs_Resource) != (uri_ex_Eagle)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((uri_ex_Species) != (uri_rdf_nil)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((uri_rdf_Property) != (uri_rdfs_Resource)) % 5.01/5.19 ((uri_rdf_Property) != (uri_rdfs_Class)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.19 ((uri_rdfs_Container) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_range)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_subClassOf)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_ContainerMembershipProperty) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Literal) != (uri_rdfs_Container)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Datatype) != (uri_rdfs_Class)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Statement) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((uri_ex_Species) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_Class) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_seeAlso)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.19 ((iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((uri_rdfs_Class) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 (zenon_X0 != (uri_rdfs_Literal)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((uri_rdfs_Class) != (uri_rdf_nil)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdf_Property) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.19 ((uri_rdf_List) != (uri_rdfs_Class)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.19 ((uri_rdf_List) != (uri_rdfs_Literal)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((uri_rdf_Property) != (uri_rdfs_Container)) % 5.01/5.19 ((uri_rdfs_Class) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.19 ((uri_rdf_List) != (uri_rdfs_seeAlso)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Literal) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((uri_rdfs_Container) != (uri_ex_Species)) % 5.01/5.19 ((iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon)) = (true)) % 5.01/5.19 ((uri_rdfs_Statement) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdfs_label)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_Datatype) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Datatype) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class)) = (true)) % 5.01/5.19 ((uri_rdf_List) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdf_Property) != (uri_rdfs_Statement)) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_seeAlso) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdf_type)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.19 ((uri_ex_harry) != (uri_rdf_first)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((uri_rdf_Property) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_ex_Eagle) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.19 ((uri_rdfs_Literal) != (uri_rdfs_Statement)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property)) = (true)) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdf_nil) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil))) != (tuple (true) (true))) % 5.01/5.19 ((uri_rdfs_Container) != (uri_ex_Falcon)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdfs_Datatype) != (uri_ex_Eagle)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((uri_rdf_List) != (uri_rdfs_Statement)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.19 ((tuple (iext (uri_rdf_type) (uri_rdfs_Resource) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource))) != (tuple (true) (true))) % 5.01/5.19 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.19 ((iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource)) = (true)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.19 (zenon_X0 != (uri_rdfs_Class)) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.19 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((uri_ex_harry) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 (zenon_X0 != (uri_rdf_List)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (uri_rdfs_Container)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_ex_Species) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((uri_rdf_List) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Resource) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_rdfs_seeAlso)) % 5.01/5.20 ((uri_rdf_Property) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_harry) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_Bag)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdf_List) != (uri_rdfs_Container)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 (zenon_X0 != (uri_rdfs_Datatype)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_XMLLiteral)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Datatype) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property)) = (true)) % 5.01/5.20 (zenon_X0 != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdf_Property) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_rdfs_Container) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((uri_rdfs_seeAlso) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdf_List) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((uri_rdfs_Resource) != (uri_rdfs_Class)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (uri_rdfs_Class)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((uri_rdfs_Class) != (uri_ex_Eagle)) % 5.01/5.20 ((uri_ex_harry) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_object)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_rdfs_Resource)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 (zenon_X0 != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((uri_rdf_Property) != (uri_rdf_List)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_ContainerMembershipProperty) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf__3)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((uri_rdfs_Resource) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 (zenon_X0 != (uri_rdfs_Container)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((uri_rdfs_Resource) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((uri_rdfs_Class) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_ContainerMembershipProperty) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_ContainerMembershipProperty) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Datatype) != (uri_rdfs_Container)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((uri_rdfs_Container) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((uri_rdf_List) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_subject)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 (zenon_X0 != (uri_rdfs_seeAlso)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((uri_rdf_List) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_rdf_Property) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((uri_rdf_Property) != (uri_rdfs_Literal)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((uri_ex_Eagle) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_isDefinedBy)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf__1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((uri_rdfs_Container) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 (zenon_X0 != (uri_rdfs_Resource)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_ContainerMembershipProperty) != (uri_ex_Falcon)) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_member)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species)) = (true)) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((uri_rdf_Property) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 (zenon_X0 != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 (zenon_X0 != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Statement) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Datatype) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Statement) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 (zenon_X0 != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_Property)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Container) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((uri_rdf_Property) != (uri_rdfs_Datatype)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) zenon_X0 (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) zenon_X0)) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_Falcon) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_ex_Eagle) != (uri_ex_Falcon)) % 5.01/5.20 ((uri_rdfs_Resource) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_Alt)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Class) != (uri_ex_Falcon)) % 5.01/5.20 ((uri_ex_harry) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((uri_rdfs_Class) != (uri_rdfs_Container)) % 5.01/5.20 (zenon_X0 != (uri_rdf_Property)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdf_Property) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_ex_harry) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((uri_rdf_List) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Datatype) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((uri_ex_Species) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_Literal) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((uri_rdfs_Container) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_nil)) % 5.01/5.20 ((uri_rdf_Property) != (uri_ex_Species)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_seeAlso) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_subPropertyOf)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) != (tuple (true) (true))) % 5.01/5.20 ((uri_rdf_List) != (uri_ex_Falcon)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subPropertyOf) (uri_rdfs_isDefinedBy) (uri_rdfs_seeAlso))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_domain) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 (zenon_X0 != (uri_rdfs_ContainerMembershipProperty)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_first) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((uri_rdfs_Literal) != (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_comment)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_range) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_member) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_Seq)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_domain) (uri_rdf_first) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Alt) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_domain) (uri_rdf_type) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_range) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_ContainerMembershipProperty) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf__2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_rdf__1) (uri_rdfs_ContainerMembershipProperty)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((uri_rdf_nil) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_subClassOf) (uri_rdf_XMLLiteral) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_comment) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_ContainerMembershipProperty) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdf_value)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (true)) % 5.01/5.20 ((uri_rdf_List) != (uri_rdfs_Datatype)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_range) (uri_rdf_first) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdfs_domain) (uri_rdf__1) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Datatype) (uri_rdfs_Class))) % 5.01/5.20 (zenon_X0 != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_label) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf__1) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_rest) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdf_first) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (uri_ex_Eagle))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_range) (uri_rdf_predicate) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((uri_ex_Eagle) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.20 ((uri_ex_Eagle) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdfs_label) (uri_rdfs_Literal))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_type) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_nil)) != (iext (uri_rdf_type) (uri_rdf_Property) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_range) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_rdfs_Statement) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_domain) (uri_rdfs_domain) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdfs_isDefinedBy) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_object) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf_object) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) zenon_X0) != (iext (uri_rdfs_domain) (uri_rdfs_subClassOf) (uri_rdfs_Class))) % 5.01/5.20 (zenon_X0 != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdfs_domain) (uri_rdf_subject) (uri_rdfs_Statement)) = (true)) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_ex_Species) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1)) != (iext (uri_rdf_rest) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_rdf_nil))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdfs_range) (uri_rdf_type) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_subPropertyOf) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdf_type) (uri_ex_Falcon) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_harry) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_rest) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2))) % 5.01/5.20 ((uri_ex_Falcon) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdf__2) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_Property)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.20 ((uri_rdfs_Datatype) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((uri_rdfs_seeAlso) != (uri_ex_Eagle)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) != (iext (uri_rdfs_subClassOf) (uri_rdfs_Seq) (uri_rdfs_Container))) % 5.01/5.20 ((uri_ex_harry) != (uri_rdfs_ContainerMembershipProperty)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdf_first) (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) (uri_ex_Falcon))) % 5.01/5.20 ((tuple (iext (uri_rdf_type) (uri_rdf_List) (uri_ex_Species)) (iext (uri_rdf_type) (uri_ex_harry) (uri_rdf_List))) != (tuple (true) (true))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Resource)) != (iext (uri_rdfs_domain) (uri_rdf_predicate) (uri_rdfs_Statement))) % 5.01/5.20 ((uri_rdfs_Resource) != (sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf_value) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_ex_Eagle) (uri_ex_Species))) % 5.01/5.20 ((iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container)) = (true)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Literal)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdf_Property))) % 5.01/5.20 ((uri_rdfs_Resource) != (uri_rdf_nil)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Statement)) != (iext (uri_rdfs_range) (uri_rdfs_domain) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_owl_unionOf) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_subject) (uri_rdf_Property))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Class)) != (iext (uri_rdfs_range) (uri_rdf_rest) (uri_rdf_List))) % 5.01/5.20 ((uri_rdfs_Class) != (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u)) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdf_subject) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Species)) != (iext (uri_rdfs_domain) (uri_rdf_value) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_seeAlso)) != (iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Container)) != (iext (uri_rdfs_domain) (uri_rdfs_seeAlso) (uri_rdfs_Resource))) % 5.01/5.20 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Eagle)) != (iext (uri_rdfs_subClassOf) (uri_rdf_Bag) (uri_rdfs_Container))) % 5.01/5.21 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdf_type) (uri_rdf__2) (uri_rdf_Property))) % 5.01/5.21 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdfs_range) (uri_rdf__3) (uri_rdfs_Resource))) % 5.01/5.21 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_Datatype)) != (iext (uri_rdf_type) (uri_rdf_XMLLiteral) (uri_rdfs_Datatype))) % 5.01/5.21 ((iext (uri_rdfs_range) (uri_rdfs_range) (uri_rdfs_Class)) = (true)) % 5.01/5.21 ((iext (uri_rdf_type) (uri_ex_harry) (uri_rdfs_ContainerMembershipProperty)) != (iext (uri_rdf_type) (uri_rdf_nil) (uri_rdf_List))) % 5.01/5.21 ((iext (uri_rdf_type) (sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) (uri_ex_Species)) != (iext (uri_rdf_type) (uri_rdf__3) (uri_rdfs_ContainerMembershipProperty))) % 5.01/5.21 ((iext (uri_rdf_type) (uri_ex_harry) (uri_ex_Falcon)) != (iext (uri_rdfs_domain) (uri_rdfs_comment) (uri_rdfs_Resource))) % 5.01/5.21 *) % 5.01/5.21 (* NO-PROOF *) % 5.01/5.21 % SZS status GaveUp % 5.01/5.21 Number of rewrites on terms: 0 % 5.01/5.21 Number of rewrites on props: 0 % 5.01/5.21 nodes searched: 166516 % 5.01/5.21 max branch formulas: 1471 % 5.01/5.21 proof nodes created: 1240 % 5.01/5.21 formulas created: 123728 % 5.01/5.21 %------------------------------------------------------------------------------