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