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