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