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