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