%------------------------------------------------------------------------------ % File : Toma---0.7 % Problem : SWB014-10 : TPTP v9.0.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : run_Leo-III %s %d THM % Computer : n002.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 Jul 15 08:00:39 AM UTC 2025 % Result : Satisfiable 25.95s 25.42s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.11 % Problem : SWB014-10 : TPTP v9.0.0. Released v7.5.0. % 0.10/0.11 % Command : run_Leo-III %s %d THM % 0.11/0.32 % Computer : n002.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 300 % 0.11/0.32 % DateTime : Mon Jul 14 19:25:34 EDT 2025 % 0.11/0.32 % CPUTime : % 25.95/25.42 % SZS status Satisfiable % 25.95/25.42 The following TRS is a complete presentation of the axioms, but the goal is not joinable. % 25.95/25.42 1: ir(X) -> true % 25.95/25.42 2: eq(X, X) -> true0 % 25.95/25.42 3: iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property) -> true % 25.95/25.42 4: iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List) -> true % 25.95/25.42 5: iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property) -> true % 25.95/25.42 6: iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property) -> true % 25.95/25.42 7: iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property) -> true % 25.95/25.42 8: iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property) -> true % 25.95/25.42 9: iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property) -> true % 25.95/25.42 10: iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property) -> true % 25.95/25.42 11: iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property) -> true % 25.95/25.42 12: iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property) -> true % 25.95/25.42 13: iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource) -> true % 25.95/25.42 14: iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal) -> true % 25.95/25.42 15: iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true % 25.95/25.42 16: iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true % 25.95/25.42 17: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso) -> true % 25.95/25.42 18: iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource) -> true % 25.95/25.42 19: iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal) -> true % 25.95/25.42 20: iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true % 25.95/25.42 21: iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true % 25.95/25.42 22: iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List) -> true % 25.95/25.42 23: iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource) -> true % 25.95/25.42 24: iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List) -> true % 25.95/25.42 25: iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List) -> true % 25.95/25.42 26: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container) -> true % 25.95/25.42 27: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container) -> true % 25.95/25.42 28: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property) -> true % 25.95/25.42 29: iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource) -> true % 25.95/25.42 30: iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource) -> true % 25.95/25.42 31: iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource) -> true % 25.95/25.42 32: iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource) -> true % 25.95/25.42 33: iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource) -> true % 25.95/25.42 34: iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource) -> true % 25.95/25.42 35: iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource) -> true % 25.95/25.42 36: iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource) -> true % 25.95/25.42 37: iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty) -> true % 25.95/25.42 38: iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty) -> true % 25.95/25.42 39: iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty) -> true % 25.95/25.42 40: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container) -> true % 25.95/25.42 41: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal) -> true % 25.95/25.42 42: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype) -> true % 25.95/25.42 43: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class) -> true % 25.95/25.42 44: iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property) -> true % 25.95/25.42 45: iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class) -> true % 25.95/25.42 46: iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class) -> true % 25.95/25.42 47: iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property) -> true % 25.95/25.42 48: iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class) -> true % 25.95/25.42 49: iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement) -> true % 25.95/25.42 50: iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource) -> true % 25.95/25.42 51: iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement) -> true % 25.95/25.42 52: iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement) -> true % 25.95/25.42 53: iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource) -> true % 25.95/25.42 54: iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class) -> true % 25.95/25.42 55: iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class) -> true % 25.95/25.42 56: iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true % 25.95/25.42 57: iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true % 25.95/25.42 58: iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource) -> true % 25.95/25.42 59: iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class) -> true % 25.95/25.42 60: iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource) -> true % 25.95/25.42 61: iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource) -> true % 25.95/25.42 62: 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 % 25.95/25.42 63: iext(uri_rdf_rest, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_nil) -> true % 25.95/25.42 64: 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 % 25.95/25.42 65: iext(uri_rdf_first, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_ex_Falcon) -> true % 25.95/25.42 66: iext(uri_rdf_first, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_ex_Eagle) -> true % 25.95/25.42 67: iext(uri_rdf_type, uri_ex_Falcon, uri_ex_Species) -> true % 25.95/25.42 68: iext(uri_rdf_type, uri_ex_Eagle, uri_ex_Species) -> true % 25.95/25.42 69: iext(uri_rdf_type, uri_ex_harry, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) -> true % 25.95/25.42 70: ifeq(X, X, Y, Z) -> Y % 25.95/25.42 72: ifeq(lv(X), true, true, true) -> true % 25.95/25.42 74: ifeq(icext(uri_rdfs_Resource, X), true, true, true) -> true % 25.95/25.42 75: ifeq(icext(uri_rdfs_Class, X), true, ic(X), true) -> true % 25.95/25.42 78: ifeq(icext(uri_rdfs_Literal, X), true, lv(X), true) -> true % 25.95/25.42 79: ifeq(ic(X), true, icext(uri_rdfs_Class, X), true) -> true % 25.95/25.42 80: ifeq(lv(X), true, icext(uri_rdfs_Literal, X), true) -> true % 25.95/25.42 81: ifeq(lv(X), icext(uri_rdfs_Resource, Y), true, true) -> true % 25.95/25.42 82: ifeq(lv(X), true, icext(uri_rdfs_Resource, Y), true) -> true % 25.95/25.42 83: ifeq(lv(X), true, true, icext(uri_rdfs_Resource, Y)) -> true % 25.95/25.42 84: ifeq(iext(X, Y, Z), true, ip(X), true) -> true % 25.95/25.42 85: true -> ip(uri_owl_unionOf) % 25.95/25.42 86: ip(uri_rdf_first) -> ip(uri_owl_unionOf) % 25.95/25.42 87: ip(uri_rdf_rest) -> ip(uri_owl_unionOf) % 25.95/25.42 88: ip(uri_rdf_type) -> ip(uri_owl_unionOf) % 25.95/25.42 89: ip(uri_rdfs_domain) -> ip(uri_owl_unionOf) % 25.95/25.42 90: ip(uri_rdfs_range) -> ip(uri_owl_unionOf) % 25.95/25.42 91: ip(uri_rdfs_subClassOf) -> ip(uri_owl_unionOf) % 25.95/25.42 92: ip(uri_rdfs_subPropertyOf) -> ip(uri_owl_unionOf) % 25.96/25.42 93: icext(uri_rdfs_Resource, X) -> ip(uri_owl_unionOf) % 25.96/25.42 95: ifeq(ip(X), ip(uri_owl_unionOf), iext(uri_rdfs_subPropertyOf, X, X), ip(uri_owl_unionOf)) -> ip(uri_owl_unionOf) % 25.96/25.42 96: iext(uri_rdfs_subPropertyOf, uri_owl_unionOf, uri_owl_unionOf) -> ip(uri_owl_unionOf) % 25.96/25.42 97: iext(uri_rdfs_subPropertyOf, uri_rdf_first, uri_rdf_first) -> ip(uri_owl_unionOf) % 25.96/25.42 98: iext(uri_rdfs_subPropertyOf, uri_rdf_rest, uri_rdf_rest) -> ip(uri_owl_unionOf) % 25.96/25.42 99: iext(uri_rdfs_subPropertyOf, uri_rdf_type, uri_rdf_type) -> ip(uri_owl_unionOf) % 25.96/25.42 100: iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, uri_rdfs_domain) -> ip(uri_owl_unionOf) % 25.96/25.42 101: iext(uri_rdfs_subPropertyOf, uri_rdfs_range, uri_rdfs_range) -> ip(uri_owl_unionOf) % 25.96/25.42 102: iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, uri_rdfs_subClassOf) -> ip(uri_owl_unionOf) % 25.96/25.42 103: iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf) -> ip(uri_owl_unionOf) % 25.96/25.42 105: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_unionOf), ip(X), ip(uri_owl_unionOf)) -> ip(uri_owl_unionOf) % 25.96/25.42 106: ip(uri_rdfs_isDefinedBy) -> ip(uri_owl_unionOf) % 25.96/25.42 107: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy) -> ip(uri_owl_unionOf) % 25.96/25.42 109: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_unionOf), ic(Y), ip(uri_owl_unionOf)) -> ip(uri_owl_unionOf) % 25.96/25.42 110: ic(uri_rdfs_Container) -> ip(uri_owl_unionOf) % 25.96/25.42 111: ip(uri_owl_unionOf) -> ic(uri_rdfs_Literal) % 25.96/25.42 112: ic(uri_rdf_Property) -> ic(uri_rdfs_Literal) % 25.96/25.42 113: ic(uri_rdfs_Class) -> ic(uri_rdfs_Literal) % 25.96/25.42 114: icext(uri_rdfs_Class, uri_rdfs_Container) -> ic(uri_rdfs_Literal) % 25.96/25.42 115: icext(uri_rdfs_Class, uri_rdfs_Class) -> ic(uri_rdfs_Literal) % 25.96/25.42 116: icext(uri_rdfs_Class, uri_rdf_Property) -> ic(uri_rdfs_Literal) % 25.96/25.42 118: ifeq(ic(X), ic(uri_rdfs_Literal), iext(uri_rdfs_subClassOf, X, X), ic(uri_rdfs_Literal)) -> ic(uri_rdfs_Literal) % 25.96/25.42 119: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Literal) -> ic(uri_rdfs_Literal) % 25.96/25.42 120: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdf_Property) -> ic(uri_rdfs_Literal) % 25.96/25.42 121: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Class) -> ic(uri_rdfs_Literal) % 25.96/25.42 122: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Container) -> ic(uri_rdfs_Literal) % 25.96/25.42 124: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ic(uri_rdfs_Literal), ip(Y), ic(uri_rdfs_Literal)) -> ic(uri_rdfs_Literal) % 25.96/25.42 125: ic(uri_rdfs_Literal) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 126: icext(uri_rdfs_Class, uri_rdfs_Literal) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 128: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_seeAlso), ic(X), ip(uri_rdfs_seeAlso)) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 129: ic(uri_rdf_Alt) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 130: ic(uri_rdf_Bag) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 131: ic(uri_rdf_XMLLiteral) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 132: ic(uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 133: ic(uri_rdfs_Datatype) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 134: ic(uri_rdfs_Seq) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 135: icext(uri_rdfs_Class, uri_rdfs_Seq) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 136: icext(uri_rdfs_Class, uri_rdfs_Datatype) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 137: icext(uri_rdfs_Class, uri_rdf_XMLLiteral) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 138: icext(uri_rdfs_Class, uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 139: icext(uri_rdfs_Class, uri_rdf_Alt) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 140: icext(uri_rdfs_Class, uri_rdf_Bag) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 141: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdf_Bag) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 142: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 143: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdf_Alt) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 144: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 145: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Seq) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 146: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Datatype) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 148: ifeq(ic(X), ip(uri_rdfs_seeAlso), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_seeAlso)) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 149: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 150: ic(uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 151: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 152: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 153: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 154: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 155: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 156: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 157: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 158: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 159: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 160: icext(uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 161: iext(uri_rdfs_subClassOf, uri_rdfs_Resource, uri_rdfs_Resource) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 163: ifeq(ip(X), ip(uri_rdfs_seeAlso), iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdfs_seeAlso)) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 164: iext(uri_rdf_type, uri_rdfs_seeAlso, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 165: iext(uri_rdf_type, uri_owl_unionOf, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 166: iext(uri_rdf_type, uri_rdfs_domain, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 167: iext(uri_rdf_type, uri_rdfs_isDefinedBy, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 168: iext(uri_rdf_type, uri_rdfs_range, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 169: iext(uri_rdf_type, uri_rdfs_subClassOf, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 170: iext(uri_rdf_type, uri_rdfs_subPropertyOf, uri_rdf_Property) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 172: ifeq(iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdfs_seeAlso), ip(X), ip(uri_rdfs_seeAlso)) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 173: ip(uri_rdf__1) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 174: ip(uri_rdf__2) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 175: ip(uri_rdf__3) -> ip(uri_rdfs_seeAlso) % 25.96/25.42 176: ip(uri_rdfs_seeAlso) -> ip(uri_rdf_object) % 25.96/25.42 177: ip(uri_rdf_subject) -> ip(uri_rdf_object) % 25.96/25.42 178: ip(uri_rdf_value) -> ip(uri_rdf_object) % 25.96/25.42 179: iext(uri_rdfs_subPropertyOf, uri_rdf_value, uri_rdf_value) -> ip(uri_rdf_object) % 25.96/25.42 180: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdf__3) -> ip(uri_rdf_object) % 25.96/25.42 181: iext(uri_rdfs_subPropertyOf, uri_rdf_subject, uri_rdf_subject) -> ip(uri_rdf_object) % 25.96/25.42 182: iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, uri_rdfs_seeAlso) -> ip(uri_rdf_object) % 25.96/25.42 183: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdf__1) -> ip(uri_rdf_object) % 25.96/25.42 184: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdf__2) -> ip(uri_rdf_object) % 25.96/25.42 186: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdf_object), icext(Y, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 187: icext(uri_ex_Species, uri_ex_Eagle) -> ip(uri_rdf_object) % 25.96/25.42 188: icext(uri_ex_Species, uri_ex_Falcon) -> ip(uri_rdf_object) % 25.96/25.42 189: icext(sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_ex_harry) -> ip(uri_rdf_object) % 25.96/25.42 190: icext(uri_rdfs_Datatype, uri_rdf_XMLLiteral) -> ip(uri_rdf_object) % 25.96/25.42 191: icext(uri_rdf_Property, uri_rdf__1) -> ip(uri_rdf_object) % 25.96/25.42 192: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__1) -> ip(uri_rdf_object) % 25.96/25.42 193: icext(uri_rdf_Property, uri_rdf__2) -> ip(uri_rdf_object) % 25.96/25.42 194: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__2) -> ip(uri_rdf_object) % 25.96/25.42 195: icext(uri_rdf_Property, uri_rdf__3) -> ip(uri_rdf_object) % 25.96/25.42 196: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__3) -> ip(uri_rdf_object) % 25.96/25.42 197: icext(uri_rdf_Property, uri_rdf_first) -> ip(uri_rdf_object) % 25.96/25.42 198: icext(uri_rdf_List, uri_rdf_nil) -> ip(uri_rdf_object) % 25.96/25.42 199: icext(uri_rdf_Property, uri_rdf_object) -> ip(uri_rdf_object) % 25.96/25.42 200: icext(uri_rdf_Property, uri_rdf_rest) -> ip(uri_rdf_object) % 25.96/25.42 201: icext(uri_rdf_Property, uri_rdf_subject) -> ip(uri_rdf_object) % 25.96/25.42 202: icext(uri_rdf_Property, uri_rdf_type) -> ip(uri_rdf_object) % 25.96/25.42 203: icext(uri_rdf_Property, uri_rdf_value) -> ip(uri_rdf_object) % 25.96/25.42 204: icext(uri_rdf_Property, uri_rdfs_seeAlso) -> ip(uri_rdf_object) % 25.96/25.42 205: icext(uri_rdf_Property, uri_owl_unionOf) -> ip(uri_rdf_object) % 25.96/25.42 206: icext(uri_rdf_Property, uri_rdfs_domain) -> ip(uri_rdf_object) % 25.96/25.42 207: icext(uri_rdf_Property, uri_rdfs_range) -> ip(uri_rdf_object) % 25.96/25.42 208: icext(uri_rdf_Property, uri_rdfs_isDefinedBy) -> ip(uri_rdf_object) % 25.96/25.42 209: icext(uri_rdf_Property, uri_rdfs_subClassOf) -> ip(uri_rdf_object) % 25.96/25.42 210: icext(uri_rdf_Property, uri_rdfs_subPropertyOf) -> ip(uri_rdf_object) % 25.96/25.42 212: ifeq(icext(X, Y), ip(uri_rdf_object), iext(uri_rdf_type, Y, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 213: iext(uri_rdf_type, X, uri_rdfs_Resource) -> ip(uri_rdf_object) % 25.96/25.42 214: iext(uri_rdf_type, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 215: iext(uri_rdf_type, uri_rdfs_Seq, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 216: iext(uri_rdf_type, uri_rdfs_Literal, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 217: iext(uri_rdf_type, uri_rdfs_Datatype, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 218: iext(uri_rdf_type, uri_rdf_Alt, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 219: iext(uri_rdf_type, uri_rdf_Bag, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 220: iext(uri_rdf_type, uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 221: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 222: iext(uri_rdf_type, uri_rdfs_Container, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 223: iext(uri_rdf_type, uri_rdfs_Resource, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 225: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 227: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 228: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 229: ip(uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 230: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 231: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 232: iext(uri_rdfs_subPropertyOf, uri_rdfs_member, uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 233: iext(uri_rdf_type, uri_rdfs_member, uri_rdf_Property) -> ip(uri_rdf_object) % 25.96/25.42 234: icext(uri_rdf_Property, uri_rdfs_member) -> ip(uri_rdf_object) % 25.96/25.42 235: ifeq(icext(uri_rdfs_Literal, X), ip(uri_rdf_object), lv(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 236: ifeq(lv(X), ip(uri_rdf_object), icext(uri_rdfs_Literal, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 237: ifeq(icext(uri_rdfs_Class, X), ip(uri_rdf_object), ic(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 238: ifeq(ic(X), ip(uri_rdf_object), icext(uri_rdfs_Class, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 239: ifeq(lv(X), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 240: ifeq(iext(X, Y, Z), ip(uri_rdf_object), ip(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 241: ifeq(icext(uri_rdfs_Datatype, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 242: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), ip(Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 243: ifeq(ic(X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 244: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), ic(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 245: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), ip(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 246: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), ic(Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 247: ifeq(ip(X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 248: iext(uri_rdfs_subPropertyOf, uri_rdf_object, uri_rdf_object) -> ip(uri_rdf_object) % 25.96/25.42 249: ifeq(iext(uri_owl_unionOf, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 250: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 251: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 252: ifeq(ip(X), ip(uri_rdf_object), iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 253: ifeq(ic(X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 254: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 255: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 256: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 257: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 258: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 259: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 260: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 261: ifeq(iext(uri_rdf_value, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 262: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 263: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 264: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 265: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 266: ifeq(iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdf_object), ip(X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 268: eq(tuple(iext(uri_rdf_type, X, uri_ex_Species), iext(uri_rdf_type, uri_ex_harry, X)), tuple(ip(uri_rdf_object), ip(uri_rdf_object))) -> false % 25.96/25.42 269: ifeq(icext(uri_rdfs_ContainerMembershipProperty, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 270: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 271: eq(tuple(ip(uri_rdf_object), iext(uri_rdf_type, uri_ex_harry, uri_ex_Falcon)), tuple(ip(uri_rdf_object), ip(uri_rdf_object))) -> false % 25.96/25.42 272: eq(tuple(ip(uri_rdf_object), iext(uri_rdf_type, uri_ex_harry, uri_ex_Eagle)), tuple(ip(uri_rdf_object), ip(uri_rdf_object))) -> false % 25.96/25.42 273: eq(tuple(iext(uri_rdf_type, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_ex_Species), ip(uri_rdf_object)), tuple(ip(uri_rdf_object), ip(uri_rdf_object))) -> false % 25.96/25.42 274: eq(tuple(iext(uri_rdf_type, uri_rdfs_Resource, uri_ex_Species), ip(uri_rdf_object)), tuple(ip(uri_rdf_object), ip(uri_rdf_object))) -> false % 25.96/25.42 276: ifeq(icext(X, Y), ip(uri_rdf_object), ifeq(iext(uri_rdfs_subClassOf, X, Z), ip(uri_rdf_object), icext(Z, Y), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 277: ifeq(icext(X, uri_ex_harry), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 278: ifeq(icext(X, uri_ex_Eagle), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 279: ifeq(icext(X, uri_ex_Falcon), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 280: ifeq(icext(X, uri_rdf_nil), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 281: ifeq(icext(X, uri_rdf__1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 282: ifeq(icext(X, uri_rdf__2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 283: ifeq(icext(X, uri_rdf__3), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 284: ifeq(icext(X, uri_rdf_first), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 285: ifeq(icext(X, uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 286: ifeq(icext(X, uri_rdf_rest), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 287: ifeq(icext(X, uri_rdf_subject), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 288: ifeq(icext(X, uri_rdf_type), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 289: ifeq(icext(X, uri_rdf_value), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 290: ifeq(icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 291: ifeq(icext(uri_rdfs_Seq, X), ip(uri_rdf_object), icext(uri_rdfs_Container, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 292: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), icext(uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 293: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdf_object), icext(uri_rdfs_Class, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 294: ifeq(icext(uri_rdf_Alt, X), ip(uri_rdf_object), icext(uri_rdfs_Container, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 295: ifeq(icext(uri_rdf_Bag, X), ip(uri_rdf_object), icext(uri_rdfs_Container, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 296: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_rdf_object), icext(uri_rdfs_Literal, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 297: ifeq(icext(X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 298: ifeq(icext(uri_rdfs_Literal, X), ip(uri_rdf_object), icext(uri_rdfs_Literal, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 299: ifeq(icext(uri_rdf_Alt, X), ip(uri_rdf_object), icext(uri_rdf_Alt, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 300: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_rdf_object), icext(uri_rdf_XMLLiteral, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 301: ifeq(icext(uri_rdfs_Class, X), ip(uri_rdf_object), icext(uri_rdfs_Class, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 302: ifeq(icext(uri_rdfs_Container, X), ip(uri_rdf_object), icext(uri_rdfs_Container, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 303: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 304: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdf_object), icext(uri_rdfs_Datatype, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 305: ifeq(icext(uri_rdf_Property, X), ip(uri_rdf_object), icext(uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 306: ifeq(icext(uri_rdf_Bag, X), ip(uri_rdf_object), icext(uri_rdf_Bag, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 307: ifeq(icext(uri_rdfs_Seq, X), ip(uri_rdf_object), icext(uri_rdfs_Seq, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 308: ifeq(iext(uri_rdfs_subClassOf, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, X), ip(uri_rdf_object), icext(X, uri_ex_harry), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 309: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdf_object), icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 310: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 311: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 312: ifeq(iext(uri_rdfs_subClassOf, uri_ex_Species, X), ip(uri_rdf_object), icext(X, uri_ex_Eagle), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 313: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 314: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdf_object), icext(X, uri_rdf_nil), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 315: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 316: ifeq(iext(uri_rdfs_subClassOf, uri_ex_Species, X), ip(uri_rdf_object), icext(X, uri_ex_Falcon), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 317: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 318: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 319: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 320: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 321: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 322: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 323: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 324: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 325: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), icext(X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 326: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdf_Alt), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 327: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdf_Bag), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 328: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 329: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 330: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 331: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 332: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 333: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Seq), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 334: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 335: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 336: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 337: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 338: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 339: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 340: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_owl_unionOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 341: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 342: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 343: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 344: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 346: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdf_object), ifeq(iext(X, Z, W), ip(uri_rdf_object), icext(Y, W), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 347: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 348: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdf_object), icext(uri_rdf_List, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 349: icext(uri_rdf_List, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2) -> ip(uri_rdf_object) % 25.96/25.42 350: iext(uri_rdf_type, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_List) -> ip(uri_rdf_object) % 25.96/25.42 351: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Class, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 352: icext(uri_rdfs_Class, uri_ex_Species) -> ip(uri_rdf_object) % 25.96/25.42 353: ic(uri_ex_Species) -> ip(uri_rdf_object) % 25.96/25.42 354: icext(uri_rdfs_Class, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) -> ip(uri_rdf_object) % 25.96/25.42 355: ic(sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) -> ip(uri_rdf_object) % 25.96/25.42 356: icext(uri_rdfs_Class, uri_rdf_List) -> ip(uri_rdf_object) % 25.96/25.42 357: ic(uri_rdf_List) -> ip(uri_rdf_object) % 25.96/25.42 358: iext(uri_rdf_type, uri_rdf_List, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 359: iext(uri_rdf_type, uri_ex_Species, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 360: iext(uri_rdf_type, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 361: iext(uri_rdfs_subClassOf, uri_ex_Species, uri_ex_Species) -> ip(uri_rdf_object) % 25.96/25.42 362: iext(uri_rdfs_subClassOf, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u) -> ip(uri_rdf_object) % 25.96/25.42 363: iext(uri_rdfs_subClassOf, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Resource) -> ip(uri_rdf_object) % 25.96/25.42 364: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdf_List) -> ip(uri_rdf_object) % 25.96/25.42 365: iext(uri_rdfs_subClassOf, uri_ex_Species, uri_rdfs_Resource) -> ip(uri_rdf_object) % 25.96/25.42 366: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdfs_Resource) -> ip(uri_rdf_object) % 25.96/25.42 367: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Literal, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 368: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Class, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 369: icext(uri_rdfs_Class, uri_rdfs_Statement) -> ip(uri_rdf_object) % 25.96/25.42 370: ic(uri_rdfs_Statement) -> ip(uri_rdf_object) % 25.96/25.42 371: iext(uri_rdf_type, uri_rdfs_Statement, uri_rdfs_Class) -> ip(uri_rdf_object) % 25.96/25.42 372: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Statement) -> ip(uri_rdf_object) % 25.96/25.42 373: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Resource) -> ip(uri_rdf_object) % 25.96/25.42 374: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Literal, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 375: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Class, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 376: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Class, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 377: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), icext(uri_rdf_Property, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 378: ifeq(iext(uri_rdfs_range, uri_owl_unionOf, X), ip(uri_rdf_object), icext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 379: ifeq(iext(uri_rdfs_range, uri_rdf_first, X), ip(uri_rdf_object), icext(X, uri_ex_Falcon), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 380: ifeq(iext(uri_rdfs_range, uri_rdf_first, X), ip(uri_rdf_object), icext(X, uri_ex_Eagle), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 381: ifeq(iext(uri_rdfs_range, uri_rdf_rest, X), ip(uri_rdf_object), icext(X, uri_rdf_nil), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 382: ifeq(iext(uri_rdfs_range, uri_rdf_rest, X), ip(uri_rdf_object), icext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 383: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 384: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 385: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 386: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 387: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 388: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 389: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 390: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 391: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 392: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 393: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 394: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 395: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 396: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 397: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 398: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 399: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 400: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 401: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 402: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 403: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 404: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 405: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_owl_unionOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 406: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 407: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdf_object), icext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 408: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 409: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 410: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 411: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), icext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 412: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 413: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Bag), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 414: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Alt), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 415: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 416: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 417: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 418: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Seq), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 419: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 420: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 421: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 422: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 423: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 424: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 425: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 426: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 427: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 428: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 429: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 430: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 431: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 432: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 433: ifeq(icext(uri_ex_Species, X), ip(uri_rdf_object), icext(uri_ex_Species, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 434: ifeq(icext(sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, X), ip(uri_rdf_object), icext(sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 435: ifeq(icext(uri_rdf_List, X), ip(uri_rdf_object), icext(uri_rdf_List, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 436: ifeq(icext(uri_rdfs_Statement, X), ip(uri_rdf_object), icext(uri_rdfs_Statement, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 437: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 438: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 439: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 440: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 441: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 443: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object), ifeq(iext(X, Z, W), ip(uri_rdf_object), icext(Y, Z), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 444: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 445: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 446: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdf_object), icext(uri_rdf_List, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 447: icext(uri_rdf_List, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1) -> ip(uri_rdf_object) % 25.96/25.42 448: iext(uri_rdf_type, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_rdf_List) -> ip(uri_rdf_object) % 25.96/25.42 449: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Statement, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 450: ifeq(iext(uri_rdf_object, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Statement, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 451: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdf_object), icext(uri_rdf_List, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 452: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Statement, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 453: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object), icext(uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 454: icext(uri_rdf_Property, uri_rdf_predicate) -> ip(uri_rdf_object) % 25.96/25.42 455: icext(uri_rdf_Property, uri_rdfs_comment) -> ip(uri_rdf_object) % 25.96/25.42 456: icext(uri_rdf_Property, uri_rdfs_label) -> ip(uri_rdf_object) % 25.96/25.42 457: iext(uri_rdf_type, uri_rdfs_label, uri_rdf_Property) -> ip(uri_rdf_object) % 25.96/25.42 458: ip(uri_rdfs_label) -> ip(uri_rdf_object) % 25.96/25.42 459: iext(uri_rdf_type, uri_rdfs_comment, uri_rdf_Property) -> ip(uri_rdf_object) % 25.96/25.42 460: ip(uri_rdfs_comment) -> ip(uri_rdf_object) % 25.96/25.42 461: iext(uri_rdf_type, uri_rdf_predicate, uri_rdf_Property) -> ip(uri_rdf_object) % 25.96/25.42 462: ip(uri_rdf_predicate) -> ip(uri_rdf_object) % 25.96/25.42 463: iext(uri_rdfs_subPropertyOf, uri_rdf_predicate, uri_rdf_predicate) -> ip(uri_rdf_object) % 25.96/25.42 464: iext(uri_rdfs_subPropertyOf, uri_rdfs_comment, uri_rdfs_comment) -> ip(uri_rdf_object) % 25.96/25.42 465: iext(uri_rdfs_subPropertyOf, uri_rdfs_label, uri_rdfs_label) -> ip(uri_rdf_object) % 25.96/25.42 466: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdf_object), icext(uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 467: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), icext(uri_rdfs_Class, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 468: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), icext(uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 469: ifeq(iext(uri_rdfs_domain, uri_owl_unionOf, X), ip(uri_rdf_object), icext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 470: ifeq(iext(uri_rdfs_domain, uri_rdf_first, X), ip(uri_rdf_object), icext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 471: ifeq(iext(uri_rdfs_domain, uri_rdf_first, X), ip(uri_rdf_object), icext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 472: ifeq(iext(uri_rdfs_domain, uri_rdf_rest, X), ip(uri_rdf_object), icext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 473: ifeq(iext(uri_rdfs_domain, uri_rdf_rest, X), ip(uri_rdf_object), icext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 474: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_ex_Eagle), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 475: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_ex_Falcon), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 476: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_ex_harry), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 477: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 478: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 479: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 480: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 481: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 482: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 483: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_nil), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 484: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 485: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 486: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 487: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 488: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 489: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 490: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 491: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 492: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 493: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 494: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 495: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 496: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 497: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 498: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 499: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 500: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 501: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 502: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 503: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 504: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 505: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 506: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 507: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdf_object), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 508: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 509: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 510: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 511: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 512: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 513: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 514: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 515: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 516: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 517: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 518: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 519: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 520: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 521: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 522: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 523: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 524: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 525: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdf_object), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 526: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Alt), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 527: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Bag), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 528: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 529: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 530: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 531: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Seq), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 532: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 533: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdf_object), icext(X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 534: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 535: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_owl_unionOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 536: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 537: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 538: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 539: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 540: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 541: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 542: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 543: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 544: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 545: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 546: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 547: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 548: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 549: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 550: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 551: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 552: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdf_object), icext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 553: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 554: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 555: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), icext(X, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 556: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 557: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 558: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 559: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 560: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 561: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdf_object), icext(X, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 562: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 563: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 564: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 565: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 566: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 567: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 568: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), icext(X, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 570: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), ifeq(iext(X, Z, W), ip(uri_rdf_object), iext(Y, Z, W), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 571: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdf_object), iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 572: ifeq(iext(uri_rdfs_subPropertyOf, uri_owl_unionOf, X), ip(uri_rdf_object), iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 573: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_first, X), ip(uri_rdf_object), iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_ex_Falcon), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 574: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_first, X), ip(uri_rdf_object), iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_ex_Eagle), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 575: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_rest, X), ip(uri_rdf_object), iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_nil), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 576: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_rest, X), ip(uri_rdf_object), iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 577: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_ex_Eagle, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 578: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_ex_Falcon, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 579: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_ex_harry, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 580: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 581: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 582: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 583: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 584: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 585: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 586: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 587: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 588: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 589: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 590: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 591: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 592: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 593: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 594: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 595: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 596: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 597: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 598: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_first, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 599: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 600: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 601: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 602: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 603: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 604: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 605: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 606: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 607: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 608: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 609: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 610: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 611: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 612: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 613: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdf_object), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 614: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 615: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 616: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 617: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 618: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 619: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 620: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 621: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 622: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 623: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 624: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 625: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 626: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 627: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 628: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 629: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 630: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 631: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdf_object), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 632: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 633: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 634: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 635: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 636: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 637: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 638: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 639: ifeq(iext(uri_owl_unionOf, X, Y), ip(uri_rdf_object), iext(uri_owl_unionOf, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 640: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, Y, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 641: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 642: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_owl_unionOf, uri_owl_unionOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 643: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 644: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 645: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdf_object), iext(uri_rdfs_range, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 646: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdf_object), iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 647: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdf_object), iext(uri_rdf__2, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 648: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdf_object), iext(uri_rdf_subject, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 649: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdf_object), iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 650: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 651: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object), iext(uri_rdfs_domain, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 652: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdf_object), iext(uri_rdf__1, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 653: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdf_object), iext(uri_rdfs_member, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 654: ifeq(iext(uri_rdf_value, X, Y), ip(uri_rdf_object), iext(uri_rdf_value, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 655: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdf_object), iext(uri_rdf_type, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 656: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdf_object), iext(uri_rdfs_member, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 657: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdf_object), iext(uri_rdf__3, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 658: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdf_object), iext(uri_rdfs_member, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 659: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdf_object), iext(uri_rdf_first, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 660: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdf_object), iext(uri_rdf_rest, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 661: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 662: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdf__1), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 663: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 664: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 665: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 666: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 667: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 668: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 669: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 670: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_owl_unionOf, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 671: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 672: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 673: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 674: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 675: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 676: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 677: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 678: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 679: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 680: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 681: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 682: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 683: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 684: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 685: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 686: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 687: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 688: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 689: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 690: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__3, uri_rdf__3), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 691: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf__2, uri_rdf__2), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 692: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_first, uri_rdf_first), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 693: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 694: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_value, uri_rdf_value), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 695: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_type, uri_rdf_type), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 696: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 697: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 698: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 699: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 700: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 701: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 702: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 703: ifeq(iext(uri_rdf_object, X, Y), ip(uri_rdf_object), iext(uri_rdf_object, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 704: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 705: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 706: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 707: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 708: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 709: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_object, uri_rdf_object), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 710: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_ex_Species, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 711: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 712: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 713: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 714: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 715: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 716: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 717: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 718: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 719: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 720: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 721: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 722: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 723: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_rdf_object), iext(uri_rdfs_member, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 724: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_List, uri_rdf_List), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 725: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 726: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 727: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 728: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_ex_Species, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 729: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 730: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 731: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_ex_Species, uri_ex_Species), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 732: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 733: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 734: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 735: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdf_object), iext(uri_rdfs_label, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 736: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdf_object), iext(uri_rdf_predicate, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 737: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdf_object), iext(uri_rdfs_comment, X, Y), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 738: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 739: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdf_object), iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 740: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 741: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdf_object), iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 743: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdf_object), ifeq(iext(uri_rdfs_subClassOf, Z, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, Z, Y), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 744: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 745: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 746: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 747: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 748: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 749: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 750: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 751: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 752: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 753: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 754: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 755: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 756: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 757: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 758: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 759: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 760: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 761: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 762: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 763: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 764: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 765: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 766: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 767: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 768: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 769: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 770: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 771: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 772: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 773: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 774: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 775: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 776: ifeq(iext(uri_rdfs_subClassOf, X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 777: ifeq(iext(uri_rdfs_subClassOf, X, uri_ex_Species), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 778: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_List), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 779: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Statement), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 780: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 781: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_ex_Species, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 782: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 783: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdf_object), iext(uri_rdfs_subClassOf, uri_rdfs_Statement, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 785: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdf_object), ifeq(iext(uri_rdfs_subPropertyOf, Z, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, Z, Y), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 786: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_isDefinedBy), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_seeAlso), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 787: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 788: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__2), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 789: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, uri_rdf__1, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 790: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__3), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 791: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__1), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 792: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, uri_rdf__3, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 793: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdf_object), iext(uri_rdfs_subPropertyOf, uri_rdf__2, X), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 794: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_first), ip(uri_rdf_object), ifeq(iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_ex_Falcon), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 795: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_owl_unionOf), ip(uri_rdf_object), ifeq(iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 796: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 797: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Eagle, uri_ex_Species), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 798: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_first), ip(uri_rdf_object), ifeq(iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_ex_Eagle), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 799: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_rest), ip(uri_rdf_object), ifeq(iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 800: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_rest), ip(uri_rdf_object), ifeq(iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_nil), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 801: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_ex_harry, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 802: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Falcon, uri_ex_Species), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 803: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 804: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 805: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 806: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 807: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 808: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 809: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 810: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 811: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 812: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 813: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 814: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 815: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 816: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 817: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 818: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_first, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 819: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 820: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 821: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 822: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 823: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 824: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 825: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 826: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 827: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 828: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 829: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 830: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 831: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 832: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 833: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 834: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 835: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 836: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 837: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 838: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 839: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 840: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 841: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 842: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 843: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 844: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 845: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 846: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 847: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 848: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 849: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 850: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 851: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 852: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 853: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 854: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 855: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 856: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 857: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 858: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 859: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 860: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 861: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 862: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_rest), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 863: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__3), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 864: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 865: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 866: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 867: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Datatype), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 868: ifeq(iext(uri_rdfs_range, X, uri_ex_Species), ip(uri_rdf_object), ifeq(iext(X, Y, uri_ex_Eagle), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 869: ifeq(iext(uri_rdfs_range, X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), ifeq(iext(X, Y, uri_ex_harry), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 870: ifeq(iext(uri_rdfs_range, X, uri_ex_Species), ip(uri_rdf_object), ifeq(iext(X, Y, uri_ex_Falcon), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 871: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Datatype), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 872: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 873: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 874: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_value), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 875: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_type), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 876: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_subject), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 877: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 878: ifeq(iext(uri_rdfs_range, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_nil), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 879: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 880: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_first), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 881: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf__3), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 882: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 883: ifeq(iext(uri_rdfs_domain, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_nil, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 884: ifeq(iext(uri_rdfs_domain, X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), ifeq(iext(X, uri_ex_harry, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 885: ifeq(iext(uri_rdfs_domain, X, uri_ex_Species), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Falcon, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 886: ifeq(iext(uri_rdfs_domain, X, uri_ex_Species), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Eagle, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 887: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 888: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 889: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 890: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_rest, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 891: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_first, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 892: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_object, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 893: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_subject, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 894: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_value, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 895: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_type, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 896: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 897: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_owl_unionOf, uri_owl_unionOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 898: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 899: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Resource), ip(uri_rdf_object), ifeq(iext(X, Y, Z), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 900: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Resource), ip(uri_rdf_object), ifeq(iext(X, Y, Z), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 901: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Literal, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 902: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Container), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 903: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 904: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Datatype, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 905: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 906: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Literal), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 907: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Datatype), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 908: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Statement, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 909: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Seq, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 910: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_seeAlso), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 911: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Seq), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 912: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 913: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_Alt), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 914: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_Bag), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 915: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 916: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 917: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 918: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_seeAlso, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 919: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 920: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Species, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 921: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_List, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 922: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Bag, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 923: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Alt, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 924: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Property, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 925: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Class, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 926: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 927: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Container, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 928: ifeq(iext(uri_rdfs_range, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, Y, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 929: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Statement), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 930: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_ex_Species), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 931: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 932: ifeq(iext(uri_rdfs_domain, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 933: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_predicate, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 934: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdf_predicate), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 935: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_label), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 936: ifeq(iext(uri_rdfs_range, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, Y, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 937: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_comment, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 938: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_comment), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 939: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_label, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 940: ifeq(iext(uri_rdfs_domain, X, uri_rdf_List), ip(uri_rdf_object), ifeq(iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 941: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 942: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 943: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 944: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 945: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_type, uri_rdf_type), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 946: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 947: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 948: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_value, uri_rdf_value), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 949: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 950: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 951: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 952: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 953: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 954: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 955: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 956: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 957: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__1, uri_rdf__1), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 958: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 959: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__2, uri_rdf__2), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 960: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdf__3), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 961: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 962: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 963: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 964: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 965: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_owl_unionOf, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 966: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 967: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 968: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 969: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 970: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 971: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 972: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 973: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 974: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 975: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 976: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 977: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 978: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 979: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 980: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 981: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 982: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_first, uri_rdf_first), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 983: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_isDefinedBy), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 984: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_range), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 985: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 986: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_subClassOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 987: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_domain), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 988: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_owl_unionOf), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 989: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_domain, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 990: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subClassOf, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 991: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_isDefinedBy, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 992: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_range, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 993: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_owl_unionOf, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 994: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_subPropertyOf, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 995: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 996: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 997: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 998: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 999: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1000: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1001: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1002: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1003: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, sK1_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l2, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1004: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Species, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1005: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, sK3_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_l1, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1006: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1007: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1008: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1009: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1010: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1011: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1012: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1013: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_object, uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1014: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1015: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Resource, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1016: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1017: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1018: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1019: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1020: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1021: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u, sK2_testcase_premise_fullish_014_Harry_belongs_to_some_Species_BNODE_u), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1022: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Species, uri_ex_Species), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1023: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1024: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1025: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_List, uri_rdf_List), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1026: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdf_object), ifeq(iext(X, uri_ex_Species, uri_rdfs_Resource), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1027: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_member, Y), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1028: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdf_object), ifeq(iext(X, Y, uri_rdfs_member), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1029: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1030: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1031: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 1032: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdf_object), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_rdf_object), ip(uri_rdf_object), ip(uri_rdf_object)), ip(uri_rdf_object)) -> ip(uri_rdf_object) % 25.96/25.42 %------------------------------------------------------------------------------