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