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