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