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