%------------------------------------------------------------------------------ % File : Beagle---0.9.52 % Problem : SWB005-10 : TPTP v9.0.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s % Computer : n025.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 : Wed Apr 9 09:15:45 PM UTC 2025 % Result : Satisfiable 27.00s 17.25s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWB005-10 : TPTP v9.0.0. Released v7.5.0. % 0.13/0.13 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s % 0.14/0.34 % Computer : n025.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % WCLimit : 300 % 0.14/0.34 % DateTime : Wed Apr 9 00:52:50 EDT 2025 % 0.20/0.34 % CPUTime : % 27.00/17.25 % 27.00/17.25 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 27.00/17.25 % 27.00/17.25 % SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 27.00/17.27 %$ tuple > ifeq > iext > icext > #nlpp > lv > ir > ip > ic > uri_rdfs_subPropertyOf > uri_rdfs_subClassOf > uri_rdfs_seeAlso > uri_rdfs_range > uri_rdfs_member > uri_rdfs_label > uri_rdfs_isDefinedBy > uri_rdfs_domain > uri_rdfs_comment > uri_rdfs_Statement > uri_rdfs_Seq > uri_rdfs_Resource > uri_rdfs_Literal > uri_rdfs_Datatype > uri_rdfs_ContainerMembershipProperty > uri_rdfs_Container > uri_rdfs_Class > uri_rdf_value > uri_rdf_type > uri_rdf_subject > uri_rdf_rest > uri_rdf_predicate > uri_rdf_object > uri_rdf_nil > uri_rdf_first > uri_rdf__3 > uri_rdf__2 > uri_rdf__1 > uri_rdf_XMLLiteral > uri_rdf_Property > uri_rdf_List > uri_rdf_Bag > uri_rdf_Alt > uri_owl_Thing > uri_owl_ObjectProperty > uri_ex_s > uri_ex_p > uri_ex_o > true % 27.00/17.27 % 27.00/17.27 %Foreground sorts: % 27.00/17.27 % 27.00/17.27 % 27.00/17.27 %Background operators: % 27.00/17.27 % 27.00/17.27 % 27.00/17.27 %Foreground operators: % 27.00/17.27 tff(uri_rdfs_Datatype, type, uri_rdfs_Datatype: $i). % 27.00/17.27 tff(uri_rdfs_ContainerMembershipProperty, type, uri_rdfs_ContainerMembershipProperty: $i). % 27.00/17.27 tff(uri_rdfs_Resource, type, uri_rdfs_Resource: $i). % 27.00/17.27 tff(uri_rdf_Property, type, uri_rdf_Property: $i). % 27.00/17.27 tff(uri_rdf_subject, type, uri_rdf_subject: $i). % 27.00/17.27 tff(uri_rdf_type, type, uri_rdf_type: $i). % 27.00/17.27 tff(uri_rdfs_subPropertyOf, type, uri_rdfs_subPropertyOf: $i). % 27.00/17.27 tff(uri_rdfs_seeAlso, type, uri_rdfs_seeAlso: $i). % 27.00/17.27 tff(icext, type, icext: ($i * $i) > $i). % 27.00/17.27 tff(uri_rdfs_range, type, uri_rdfs_range: $i). % 27.00/17.27 tff(uri_rdf_XMLLiteral, type, uri_rdf_XMLLiteral: $i). % 27.00/17.27 tff(uri_rdf_List, type, uri_rdf_List: $i). % 27.00/17.27 tff(uri_ex_s, type, uri_ex_s: $i). % 27.00/17.27 tff(uri_rdf_first, type, uri_rdf_first: $i). % 27.00/17.27 tff(uri_rdf_predicate, type, uri_rdf_predicate: $i). % 27.00/17.27 tff(ir, type, ir: $i > $i). % 27.00/17.27 tff(lv, type, lv: $i > $i). % 27.00/17.27 tff(uri_owl_Thing, type, uri_owl_Thing: $i). % 27.00/17.27 tff(uri_rdf__3, type, uri_rdf__3: $i). % 27.00/17.27 tff(uri_rdf_value, type, uri_rdf_value: $i). % 27.00/17.27 tff(ic, type, ic: $i > $i). % 27.00/17.27 tff(uri_rdfs_Statement, type, uri_rdfs_Statement: $i). % 27.00/17.27 tff(uri_ex_p, type, uri_ex_p: $i). % 27.00/17.27 tff(uri_rdf__1, type, uri_rdf__1: $i). % 27.00/17.27 tff(iext, type, iext: ($i * $i * $i) > $i). % 27.00/17.27 tff(uri_rdf_rest, type, uri_rdf_rest: $i). % 27.00/17.27 tff(uri_rdfs_label, type, uri_rdfs_label: $i). % 27.00/17.27 tff(uri_rdfs_Container, type, uri_rdfs_Container: $i). % 27.00/17.27 tff(tuple, type, tuple: ($i * $i * $i * $i * $i * $i * $i * $i) > $i). % 27.00/17.27 tff(uri_owl_ObjectProperty, type, uri_owl_ObjectProperty: $i). % 27.00/17.27 tff(uri_rdfs_subClassOf, type, uri_rdfs_subClassOf: $i). % 27.00/17.27 tff(uri_rdf_object, type, uri_rdf_object: $i). % 27.00/17.27 tff(ip, type, ip: $i > $i). % 27.00/17.27 tff(uri_rdfs_Class, type, uri_rdfs_Class: $i). % 27.00/17.27 tff(uri_rdfs_Seq, type, uri_rdfs_Seq: $i). % 27.00/17.27 tff(uri_rdfs_member, type, uri_rdfs_member: $i). % 27.00/17.27 tff(uri_rdf_Bag, type, uri_rdf_Bag: $i). % 27.00/17.27 tff(uri_rdf__2, type, uri_rdf__2: $i). % 27.00/17.27 tff(uri_rdfs_comment, type, uri_rdfs_comment: $i). % 27.00/17.27 tff(uri_rdfs_Literal, type, uri_rdfs_Literal: $i). % 27.00/17.27 tff(true, type, true: $i). % 27.00/17.27 tff(uri_rdf_Alt, type, uri_rdf_Alt: $i). % 27.00/17.27 tff(uri_rdf_nil, type, uri_rdf_nil: $i). % 27.00/17.27 tff(uri_ex_o, type, uri_ex_o: $i). % 27.00/17.27 tff(uri_rdfs_isDefinedBy, type, uri_rdfs_isDefinedBy: $i). % 27.00/17.27 tff(uri_rdfs_domain, type, uri_rdfs_domain: $i). % 27.00/17.27 tff(ifeq, type, ifeq: ($i * $i * $i * $i) > $i). % 27.00/17.27 % 27.00/17.27 %Saturated clause set: % 27.00/17.27 tff(c_13857, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_member, Y_21), true, true, true), true)=true))). % 27.00/17.27 tff(c_14311, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Resource, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.27 tff(c_13860, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_member), true, true, true), true)=true))). % 27.00/17.27 tff(c_63759, plain, (![X_1147, Y_1148]: (ifeq(iext(uri_rdfs_comment, X_1147, Y_1148), true, iext(uri_rdfs_comment, X_1147, Y_1148), true)=true))). % 27.00/17.27 tff(c_63732, plain, (![X_1143, Y_1144]: (ifeq(iext(uri_rdfs_label, X_1143, Y_1144), true, iext(uri_rdfs_label, X_1143, Y_1144), true)=true))). % 27.00/17.27 tff(c_14249, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_label, uri_rdfs_label), true, true, true), true)=true))). % 27.00/17.27 tff(c_63590, plain, (![X_1138, Y_1139]: (ifeq(iext(uri_rdf_predicate, X_1138, Y_1139), true, iext(uri_rdf_predicate, X_1138, Y_1139), true)=true))). % 27.00/17.27 tff(c_14102, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_predicate, uri_rdf_predicate), true, true, true), true)=true))). % 27.00/17.27 tff(c_14184, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_comment, uri_rdfs_comment), true, true, true), true)=true))). % 27.00/17.27 tff(c_13740, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Resource, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.27 tff(c_14032, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_member, uri_rdfs_member), true, true, true), true)=true))). % 27.00/17.27 tff(c_4640, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.27 tff(c_4637, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Resource, Y_21), true, true, true), true)=true))). % 27.00/17.27 tff(c_62713, plain, (![X_1126, Y_1127]: (ifeq(iext(uri_rdfs_member, X_1126, Y_1127), true, iext(uri_rdfs_member, X_1126, Y_1127), true)=true))). % 27.00/17.27 tff(c_13803, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_member, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.27 tff(c_13499, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_List, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.27 tff(c_16046, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Statement, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.27 tff(c_13647, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_List, uri_rdf_List), true, true, true), true)=true))). % 27.00/17.27 tff(c_62103, plain, (![C_1120]: (ifeq(iext(uri_rdfs_subClassOf, C_1120, uri_rdf_List), true, iext(uri_rdfs_subClassOf, C_1120, uri_rdfs_Resource), true)=true))). % 27.00/17.27 tff(c_16219, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Statement, uri_rdfs_Statement), true, true, true), true)=true))). % 27.00/17.27 tff(c_61847, plain, (![C_1117]: (ifeq(iext(uri_rdfs_subClassOf, C_1117, uri_rdfs_Statement), true, iext(uri_rdfs_subClassOf, C_1117, uri_rdfs_Resource), true)=true))). % 27.00/17.27 tff(c_8983, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_seeAlso, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_13321, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdf_Alt, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_5770, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_range, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_12894, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Class, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_6844, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_subPropertyOf, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_12751, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_12941, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdf_XMLLiteral, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_8292, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_ex_p), true, true, true), true)=true))). % 27.00/17.28 tff(c_5018, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_domain), true, true, true), true)=true))). % 27.00/17.28 tff(c_12847, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Literal, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_6574, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_subClassOf), true, true, true), true)=true))). % 27.00/17.28 tff(c_6571, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_subClassOf, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_13274, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdf_Bag, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_13395, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Seq, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_7404, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_isDefinedBy), true, true, true), true)=true))). % 27.00/17.28 tff(c_7401, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_isDefinedBy, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_13442, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Datatype, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_8289, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_ex_p, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_5773, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_range), true, true, true), true)=true))). % 27.00/17.28 tff(c_12798, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Container, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_5015, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_domain, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_6847, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_subPropertyOf), true, true, true), true)=true))). % 27.00/17.28 tff(c_8986, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_seeAlso), true, true, true), true)=true))). % 27.00/17.28 tff(c_13150, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdf_predicate, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_15987, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_Statement, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_12580, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_comment, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_12704, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdf_List, uri_rdfs_Class), true, true, true), true)=true))). % 27.00/17.28 tff(c_12456, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_label, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_12361, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Seq, uri_rdfs_Seq), true, true, true), true)=true))). % 27.00/17.28 tff(c_5833, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Container, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.28 tff(c_8235, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_ex_p, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_4179, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_ContainerMembershipProperty, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_3886, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdf_Bag), true, true, true), true)=true))). % 27.00/17.28 tff(c_57733, plain, (![C_1066]: (ifeq(iext(uri_rdfs_subClassOf, C_1066, uri_rdf_Property), true, iext(uri_rdfs_subClassOf, C_1066, uri_rdfs_Resource), true)=true))). % 27.00/17.28 tff(c_5262, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_XMLLiteral, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.28 tff(c_4967, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_domain, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_7344, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_isDefinedBy, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_4182, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 27.00/17.28 tff(c_57043, plain, (![C_1059]: (ifeq(iext(uri_rdfs_subClassOf, C_1059, uri_rdfs_Class), true, iext(uri_rdfs_subClassOf, C_1059, uri_rdfs_Resource), true)=true))). % 27.00/17.28 tff(c_4030, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Class, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_5358, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Datatype, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.28 tff(c_9259, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_rest, uri_rdf_rest), true, true, true), true)=true))). % 27.00/17.28 tff(c_5522, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_first, uri_rdf_first), true, true, true), true)=true))). % 27.00/17.28 tff(c_8657, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_domain, uri_rdfs_domain), true, true, true), true)=true))). % 27.00/17.28 tff(c_10638, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Container, uri_rdfs_Container), true, true, true), true)=true))). % 27.00/17.28 tff(c_3883, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdf_Bag, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_7200, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_range, uri_rdfs_range), true, true, true), true)=true))). % 27.00/17.28 tff(c_4687, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_ex_p, uri_ex_p), true, true, true), true)=true))). % 27.00/17.28 tff(c_7672, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Property, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.28 tff(c_4284, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Literal, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_4832, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_value, uri_rdf_value), true, true, true), true)=true))). % 27.00/17.28 tff(c_5939, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_subClassOf, uri_rdfs_subClassOf), true, true, true), true)=true))). % 27.00/17.28 tff(c_4238, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Datatype, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_6768, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_subPropertyOf, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.28 tff(c_4768, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Alt, uri_rdfs_Resource), true, true, true), true)=true))). % 27.00/17.28 tff(c_11031, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), true, true, true), true)=true))). % 27.00/17.28 tff(c_12295, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Datatype, uri_rdfs_Datatype), true, true, true), true)=true))). % 27.00/17.28 tff(c_3930, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Container), true, true, true), true)=true))). % 27.00/17.28 tff(c_3927, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Container, Y_21), true, true, true), true)=true))). % 27.00/17.28 tff(c_4907, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__1, uri_rdf__1), true, true, true), true)=true))). % 27.00/17.29 tff(c_54470, plain, (![X_1028, Y_1029]: (ifeq(iext(uri_rdf_object, X_1028, Y_1029), true, iext(uri_rdf_object, X_1028, Y_1029), true)=true))). % 27.00/17.29 tff(c_54442, plain, (![X_1024, Y_1025]: (ifeq(iext(uri_rdf__1, X_1024, Y_1025), true, iext(uri_rdfs_member, X_1024, Y_1025), true)=true))). % 27.00/17.29 tff(c_54416, plain, (![X_1020, Y_1021]: (ifeq(iext(uri_rdfs_isDefinedBy, X_1020, Y_1021), true, iext(uri_rdfs_isDefinedBy, X_1020, Y_1021), true)=true))). % 27.00/17.29 tff(c_5612, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Alt, uri_rdf_Alt), true, true, true), true)=true))). % 27.00/17.29 tff(c_54257, plain, (![X_1015, Y_1016]: (ifeq(iext(uri_ex_p, X_1015, Y_1016), true, iext(uri_ex_p, X_1015, Y_1016), true)=true))). % 27.00/17.29 tff(c_7540, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), true, true, true), true)=true))). % 27.00/17.29 tff(c_4077, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdf_Alt), true, true, true), true)=true))). % 27.00/17.29 tff(c_8595, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Property, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.29 tff(c_53759, plain, (![C_1009]: (ifeq(iext(uri_rdfs_subClassOf, C_1009, uri_rdfs_Seq), true, iext(uri_rdfs_subClassOf, C_1009, uri_rdfs_Resource), true)=true))). % 27.00/17.29 tff(c_53038, plain, (![X_1004, Y_1005]: (ifeq(iext(uri_rdf_type, X_1004, Y_1005), true, iext(uri_rdf_type, X_1004, Y_1005), true)=true))). % 27.00/17.29 tff(c_52969, plain, (![C_1003]: (ifeq(iext(uri_rdfs_subClassOf, C_1003, uri_rdf_Bag), true, iext(uri_rdfs_subClassOf, C_1003, uri_rdfs_Resource), true)=true))). % 27.00/17.29 tff(c_52822, plain, (![C_1001]: (ifeq(iext(uri_rdfs_subClassOf, C_1001, uri_rdfs_Literal), true, iext(uri_rdfs_subClassOf, C_1001, uri_rdfs_Resource), true)=true))). % 27.00/17.29 tff(c_4124, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdf_XMLLiteral, Y_21), true, true, true), true)=true))). % 27.00/17.29 tff(c_52140, plain, (![X_995, Y_996]: (ifeq(iext(uri_rdfs_subPropertyOf, X_995, Y_996), true, iext(uri_rdfs_subPropertyOf, X_995, Y_996), true)=true))). % 27.00/17.29 tff(c_52112, plain, (![X_991, Y_992]: (ifeq(iext(uri_rdfs_seeAlso, X_991, Y_992), true, iext(uri_rdfs_seeAlso, X_991, Y_992), true)=true))). % 27.00/17.29 tff(c_52084, plain, (![X_987, Y_988]: (ifeq(iext(uri_rdf_subject, X_987, Y_988), true, iext(uri_rdf_subject, X_987, Y_988), true)=true))). % 27.00/17.29 tff(c_9511, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__3, uri_rdf__3), true, true, true), true)=true))). % 27.00/17.29 tff(c_4287, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Literal), true, true, true), true)=true))). % 27.00/17.29 tff(c_51313, plain, (![X_979, Y_980]: (ifeq(iext(uri_rdfs_domain, X_979, Y_980), true, iext(uri_rdfs_domain, X_979, Y_980), true)=true))). % 27.00/17.29 tff(c_4333, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Seq), true, true, true), true)=true))). % 27.00/17.29 tff(c_50922, plain, (![C_974]: (ifeq(iext(uri_rdfs_subClassOf, C_974, uri_rdfs_Container), true, iext(uri_rdfs_subClassOf, C_974, uri_rdfs_Resource), true)=true))). % 27.00/17.29 tff(c_8910, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_seeAlso, uri_rdf_Property), true, true, true), true)=true))). % 27.00/17.29 tff(c_50740, plain, (![P_971]: (ifeq(iext(uri_rdfs_subPropertyOf, P_971, uri_rdf__1), true, iext(uri_rdfs_subPropertyOf, P_971, uri_rdfs_member), true)=true))). % 27.00/17.29 tff(c_4241, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Datatype), true, true, true), true)=true))). % 27.00/17.29 tff(c_50542, plain, (![P_967]: (ifeq(iext(uri_rdfs_subPropertyOf, P_967, uri_rdf__2), true, iext(uri_rdfs_subPropertyOf, P_967, uri_rdfs_member), true)=true))). % 27.00/17.29 tff(c_50515, plain, (![X_963, Y_964]: (ifeq(iext(uri_rdf__1, X_963, Y_964), true, iext(uri_rdf__1, X_963, Y_964), true)=true))). % 27.00/17.29 tff(c_10566, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_type, uri_rdf_type), true, true, true), true)=true))). % 27.00/17.29 tff(c_50261, plain, (![C_960]: (ifeq(iext(uri_rdfs_subClassOf, C_960, uri_rdf_XMLLiteral), true, iext(uri_rdfs_subClassOf, C_960, uri_rdfs_Resource), true)=true))). % 27.00/17.29 tff(c_9904, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdfs_seeAlso, uri_rdfs_seeAlso), true, true, true), true)=true))). % 27.00/17.29 tff(c_12136, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Bag, uri_rdf_Bag), true, true, true), true)=true))). % 27.00/17.29 tff(c_50003, plain, (![X_954, Y_955]: (ifeq(iext(uri_rdf__2, X_954, Y_955), true, iext(uri_rdf__2, X_954, Y_955), true)=true))). % 27.22/17.29 tff(c_49402, plain, (![X_946, Y_947]: (ifeq(iext(uri_rdf__2, X_946, Y_947), true, iext(uri_rdfs_member, X_946, Y_947), true)=true))). % 27.22/17.29 tff(c_49263, plain, (![C_944]: (ifeq(iext(uri_rdfs_subClassOf, C_944, uri_rdfs_Datatype), true, iext(uri_rdfs_subClassOf, C_944, uri_rdfs_Resource), true)=true))). % 27.22/17.29 tff(c_10397, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Class, uri_rdfs_Class), true, true, true), true)=true))). % 27.22/17.29 tff(c_6249, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), true, true, true), true)=true))). % 27.22/17.29 tff(c_11230, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Literal, uri_rdfs_Literal), true, true, true), true)=true))). % 27.22/17.29 tff(c_48560, plain, (![P_937]: (ifeq(iext(uri_rdfs_subPropertyOf, P_937, uri_rdf__3), true, iext(uri_rdfs_subPropertyOf, P_937, uri_rdfs_member), true)=true))). % 27.22/17.29 tff(c_48421, plain, (![C_935]: (ifeq(iext(uri_rdfs_subClassOf, C_935, uri_rdfs_ContainerMembershipProperty), true, iext(uri_rdfs_subClassOf, C_935, uri_rdfs_Resource), true)=true))). % 27.22/17.29 tff(c_9681, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Seq, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.29 tff(c_11601, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdf_Bag, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.29 tff(c_7075, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Class, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.29 tff(c_4074, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdf_Alt, Y_21), true, true, true), true)=true))). % 27.22/17.29 tff(c_47789, plain, (![C_928]: (ifeq(iext(uri_rdfs_subClassOf, C_928, uri_rdf_Alt), true, iext(uri_rdfs_subClassOf, C_928, uri_rdfs_Resource), true)=true))). % 27.22/17.29 tff(c_4330, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Seq, Y_21), true, true, true), true)=true))). % 27.22/17.29 tff(c_47343, plain, (![X_920, Y_921]: (ifeq(iext(uri_rdf_value, X_920, Y_921), true, iext(uri_rdf_value, X_920, Y_921), true)=true))). % 27.22/17.29 tff(c_46620, plain, (![X_915, Y_916]: (ifeq(iext(uri_rdfs_subClassOf, X_915, Y_916), true, iext(uri_rdfs_subClassOf, X_915, Y_916), true)=true))). % 27.22/17.29 tff(c_46510, plain, (![X_910, Y_911]: (ifeq(iext(uri_rdf_rest, X_910, Y_911), true, iext(uri_rdf_rest, X_910, Y_911), true)=true))). % 27.22/17.29 tff(c_4033, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Class), true, true, true), true)=true))). % 27.22/17.29 tff(c_10852, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__1, uri_rdfs_member), true, true, true), true)=true))). % 27.22/17.29 tff(c_12196, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__3, uri_rdfs_member), true, true, true), true)=true))). % 27.22/17.29 tff(c_45459, plain, (![X_898, Y_899]: (ifeq(iext(uri_rdf_first, X_898, Y_899), true, iext(uri_rdf_first, X_898, Y_899), true)=true))). % 27.22/17.29 tff(c_5118, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__2, uri_rdf__2), true, true, true), true)=true))). % 27.22/17.29 tff(c_4533, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_Literal, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.29 tff(c_6520, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_subClassOf, uri_rdf_Property), true, true, true), true)=true))). % 27.22/17.29 tff(c_44879, plain, (![X_889, Y_890]: (ifeq(iext(uri_rdf__3, X_889, Y_890), true, iext(uri_rdfs_member, X_889, Y_890), true)=true))). % 27.22/17.29 tff(c_9447, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_object, uri_rdf_object), true, true, true), true)=true))). % 27.22/17.29 tff(c_11872, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf_subject, uri_rdf_subject), true, true, true), true)=true))). % 27.22/17.29 tff(c_11422, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.29 tff(c_44501, plain, (![X_882, Y_883]: (ifeq(iext(uri_rdf__3, X_882, Y_883), true, iext(uri_rdf__3, X_882, Y_883), true)=true))). % 27.22/17.30 tff(c_5693, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_rdfs_range, uri_rdf_Property), true, true, true), true)=true))). % 27.22/17.30 tff(c_4127, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdf_XMLLiteral), true, true, true), true)=true))). % 27.22/17.30 tff(c_6711, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 27.22/17.30 tff(c_43825, plain, (![X_874, Y_875]: (ifeq(iext(uri_rdfs_range, X_874, Y_875), true, iext(uri_rdfs_range, X_874, Y_875), true)=true))). % 27.22/17.30 tff(c_7839, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_rdf__2, uri_rdfs_member), true, true, true), true)=true))). % 27.22/17.30 tff(c_13011, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_predicate, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_9030, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_label, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_6331, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdf_List), true, true, true), true)=true))). % 27.22/17.30 tff(c_7957, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdfs_comment, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_13014, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_predicate), true, true, true), true)=true))). % 27.22/17.30 tff(c_42739, plain, (tuple(iext(uri_rdf_type, uri_ex_s, uri_owl_Thing), true, iext(uri_rdf_type, uri_ex_p, uri_owl_Thing), true, true, iext(uri_rdf_type, uri_ex_p, uri_owl_ObjectProperty), iext(uri_rdf_type, uri_ex_o, uri_owl_Thing), true)!=tuple(true, true, true, true, true, true, true, true))). % 27.22/17.30 tff(c_15765, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdfs_Statement, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_6328, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdf_List, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_9033, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_label), true, true, true), true)=true))). % 27.22/17.30 tff(c_7960, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdfs_comment), true, true, true), true)=true))). % 27.22/17.30 tff(c_15768, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdfs_Statement), true, true, true), true)=true))). % 27.22/17.30 tff(c_4466, plain, (![P_47, X_137]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, X_137, uri_rdfs_Resource), true, true, true), true)=true))). % 27.22/17.30 tff(c_3715, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_first), true, true, true), true)=true))). % 27.22/17.30 tff(c_3300, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_28, X_30, uri_rdf__2), true, true, true), true)=true))). % 27.22/17.30 tff(c_3461, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf__2, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3464, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf__2), true, true, true), true)=true))). % 27.22/17.30 tff(c_3835, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_List), true, ifeq(iext(P_18, uri_rdf_nil, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3793, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Datatype), true, ifeq(iext(P_28, X_30, uri_rdf_XMLLiteral), true, true, true), true)=true))). % 27.22/17.30 tff(c_3751, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_subject, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3539, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_value), true, true, true), true)=true))). % 27.22/17.30 tff(c_3424, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf__3, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3573, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_object, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3259, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_type, Y_21), true, true, true), true)=true))). % 27.22/17.30 tff(c_3262, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_type), true, true, true), true)=true))). % 27.22/17.30 tff(c_3499, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_rest, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3673, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_28, X_30, uri_rdf__1), true, true, true), true)=true))). % 27.27/17.30 tff(c_3790, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Datatype), true, ifeq(iext(P_18, uri_rdf_XMLLiteral, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3350, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_28, X_30, uri_rdf__3), true, true, true), true)=true))). % 27.27/17.30 tff(c_3754, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_subject), true, true, true), true)=true))). % 27.27/17.30 tff(c_3838, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_List), true, ifeq(iext(P_28, X_30, uri_rdf_nil), true, true, true), true)=true))). % 27.27/17.30 tff(c_3387, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf__1, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3620, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.30 tff(c_3536, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_value, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3617, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_rdf_Property, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3576, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_object), true, true, true), true)=true))). % 27.27/17.30 tff(c_3670, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_18, uri_rdf__1, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3712, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_rdf_first, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3390, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf__1), true, true, true), true)=true))). % 27.27/17.30 tff(c_3297, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_18, uri_rdf__2, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3427, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf__3), true, true, true), true)=true))). % 27.27/17.30 tff(c_3347, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_ContainerMembershipProperty), true, ifeq(iext(P_18, uri_rdf__3, Y_21), true, true, true), true)=true))). % 27.27/17.30 tff(c_3502, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_rdf_rest), true, true, true), true)=true))). % 27.27/17.30 tff(c_1575, plain, (![P_92, X_94, X_61]: (ifeq(iext(uri_rdfs_range, P_92, uri_rdfs_Resource), true, ifeq(iext(P_92, X_94, X_61), true, true, true), true)=true))). % 27.27/17.30 tff(c_1895, plain, (![P_96, X_61, Y_99]: (ifeq(iext(uri_rdfs_domain, P_96, uri_rdfs_Resource), true, ifeq(iext(P_96, X_61, Y_99), true, true, true), true)=true))). % 27.27/17.30 tff(c_2390, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf__1, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2573, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdf_Alt, uri_rdfs_Container), true, true, true), true)=true))). % 27.27/17.30 tff(c_2585, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_first, uri_rdf_List), true, true, true), true)=true))). % 27.27/17.30 tff(c_2402, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_member, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2483, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_Property, uri_rdfs_Class), true, true, true), true)=true))). % 27.27/17.30 tff(c_2453, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_subject, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.30 tff(c_2549, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_first, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2519, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_comment, uri_rdfs_Literal), true, true, true), true)=true))). % 27.27/17.30 tff(c_2318, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf__3, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2396, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_label, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2465, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_object, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.30 tff(c_2543, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdfs_Datatype, uri_rdfs_Class), true, true, true), true)=true))). % 27.27/17.30 tff(c_2579, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2501, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdfs_Seq, uri_rdfs_Container), true, true, true), true)=true))). % 27.27/17.30 tff(c_2435, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.30 tff(c_2639, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_ex_p), true, ifeq(iext(P_103, uri_ex_s, uri_ex_o), true, true, true), true)=true))). % 27.27/17.30 tff(c_2336, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdf_XMLLiteral, uri_rdfs_Literal), true, true, true), true)=true))). % 27.27/17.30 tff(c_2366, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_subPropertyOf, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.30 tff(c_34353, plain, (![C_762]: (ifeq(iext(uri_rdfs_subClassOf, C_762, uri_rdfs_Seq), true, iext(uri_rdfs_subClassOf, C_762, uri_rdfs_Container), true)=true))). % 27.27/17.31 tff(c_2567, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_label, uri_rdfs_Literal), true, true, true), true)=true))). % 27.27/17.31 tff(c_2621, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_seeAlso, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.31 tff(c_2507, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_range, uri_rdfs_Class), true, true, true), true)=true))). % 27.27/17.31 tff(c_2615, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_seeAlso, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.31 tff(c_2288, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_domain, uri_rdfs_Class), true, true, true), true)=true))). % 27.27/17.31 tff(c_2513, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdf_Bag, uri_rdfs_Container), true, true, true), true)=true))). % 27.27/17.31 tff(c_2384, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf__2, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.31 tff(c_2429, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_XMLLiteral, uri_rdfs_Datatype), true, true, true), true)=true))). % 27.27/17.31 tff(c_2597, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_first, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.31 tff(c_2342, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf__3, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.31 tff(c_2459, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_value, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.31 tff(c_2378, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_rest, uri_rdf_Property), true, true, true), true)=true))). % 27.27/17.31 tff(c_2306, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_predicate, uri_rdfs_Resource), true, true, true), true)=true))). % 27.27/17.31 tff(c_2591, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_nil, uri_rdf_List), true, true, true), true)=true))). % 27.27/17.31 tff(c_2282, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subClassOf), true, ifeq(iext(P_103, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_2633, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_subPropertyOf, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_2408, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_rest, uri_rdf_List), true, true, true), true)=true))). % 27.29/17.31 tff(c_2360, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_object, uri_rdfs_Statement), true, true, true), true)=true))). % 27.29/17.31 tff(c_2477, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_subject, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.31 tff(c_32172, plain, (![C_742]: (ifeq(iext(uri_rdfs_subClassOf, C_742, uri_rdf_XMLLiteral), true, iext(uri_rdfs_subClassOf, C_742, uri_rdfs_Literal), true)=true))). % 27.29/17.31 tff(c_2354, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf__1, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.31 tff(c_31997, plain, (![C_739]: (ifeq(iext(uri_rdfs_subClassOf, C_739, uri_rdfs_Datatype), true, iext(uri_rdfs_subClassOf, C_739, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_2447, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_domain, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_2609, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_rest, uri_rdf_List), true, true, true), true)=true))). % 27.29/17.31 tff(c_2489, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__2, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_31577, plain, (![D_734]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_734), true, icext(D_734, uri_rdfs_member), true)=true))). % 27.29/17.31 tff(c_31511, plain, (![D_732]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_732), true, icext(D_732, uri_rdfs_Resource), true)=true))). % 27.29/17.31 tff(c_2324, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 27.29/17.31 tff(c_31329, plain, (![D_729]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_729), true, icext(D_729, uri_ex_p), true)=true))). % 27.29/17.31 tff(c_31262, plain, (![D_727]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_727), true, icext(D_727, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.31 tff(c_31077, plain, (![D_724]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_724), true, icext(D_724, uri_rdfs_range), true)=true))). % 27.29/17.31 tff(c_2627, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdfs_subClassOf, uri_rdfs_Class), true, true, true), true)=true))). % 27.29/17.31 tff(c_31011, plain, (![D_722]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_722), true, icext(D_722, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.31 tff(c_30944, plain, (![D_720]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_720), true, icext(D_720, uri_rdfs_seeAlso), true)=true))). % 27.29/17.31 tff(c_30877, plain, (![D_718]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_718), true, icext(D_718, uri_rdfs_subClassOf), true)=true))). % 27.29/17.31 tff(c_30811, plain, (![D_716]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_716), true, icext(D_716, uri_rdfs_domain), true)=true))). % 27.29/17.31 tff(c_30745, plain, (![D_714]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_714), true, icext(D_714, uri_rdf_Alt), true)=true))). % 27.29/17.31 tff(c_2525, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_subClassOf, uri_rdfs_Class), true, true, true), true)=true))). % 27.29/17.31 tff(c_30559, plain, (![D_711]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_711), true, icext(D_711, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.31 tff(c_30492, plain, (![D_709]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_709), true, icext(D_709, uri_rdfs_Literal), true)=true))). % 27.29/17.31 tff(c_30425, plain, (![C_707]: (ifeq(iext(uri_rdfs_subClassOf, C_707, uri_rdf_Alt), true, iext(uri_rdfs_subClassOf, C_707, uri_rdfs_Container), true)=true))). % 27.29/17.31 tff(c_30357, plain, (![D_705]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_705), true, icext(D_705, uri_rdfs_Container), true)=true))). % 27.29/17.31 tff(c_30262, plain, (![D_703]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_703), true, icext(D_703, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_2423, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_subPropertyOf), true, ifeq(iext(P_103, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), true, true, true), true)=true))). % 27.29/17.31 tff(c_30081, plain, (![D_700]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_700), true, icext(D_700, uri_rdfs_Seq), true)=true))). % 27.29/17.31 tff(c_30007, plain, (![D_698]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_698), true, icext(D_698, uri_rdf_XMLLiteral), true)=true))). % 27.29/17.31 tff(c_29955, plain, (![C_696]: (ifeq(iext(uri_rdfs_subClassOf, C_696, uri_rdfs_ContainerMembershipProperty), true, iext(uri_rdfs_subClassOf, C_696, uri_rdf_Property), true)=true))). % 27.29/17.31 tff(c_29889, plain, (![D_694]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_694), true, icext(D_694, uri_rdf_Bag), true)=true))). % 27.29/17.31 tff(c_29784, plain, (![C_691]: (ifeq(iext(uri_rdfs_subClassOf, C_691, uri_rdf_Bag), true, iext(uri_rdfs_subClassOf, C_691, uri_rdfs_Container), true)=true))). % 27.29/17.31 tff(c_29754, plain, (![D_690]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_690), true, icext(D_690, uri_rdfs_Datatype), true)=true))). % 27.29/17.31 tff(c_29687, plain, (![D_688]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_688), true, icext(D_688, uri_rdf_predicate), true)=true))). % 27.29/17.31 tff(c_29621, plain, (![D_686]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_686), true, icext(D_686, uri_rdfs_label), true)=true))). % 27.29/17.31 tff(c_2555, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_range, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_29436, plain, (![D_683]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_683), true, icext(D_683, uri_rdfs_Statement), true)=true))). % 27.29/17.31 tff(c_29370, plain, (![D_681]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_681), true, icext(D_681, uri_rdfs_comment), true)=true))). % 27.29/17.31 tff(c_29304, plain, (![D_679]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_679), true, icext(D_679, uri_rdf_List), true)=true))). % 27.29/17.31 tff(c_14330, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Resource, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_14133, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_predicate, uri_rdf_predicate), true)=true))). % 27.29/17.31 tff(c_14215, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_comment, uri_rdfs_comment), true)=true))). % 27.29/17.31 tff(c_29153, plain, (![D_673]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_673), true, icext(D_673, uri_rdf__3), true)=true))). % 27.29/17.31 tff(c_14280, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_label, uri_rdfs_label), true)=true))). % 27.29/17.31 tff(c_2537, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_subject, uri_rdfs_Statement), true, true, true), true)=true))). % 27.29/17.31 tff(c_14066, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_member, uri_rdfs_member), true)=true))). % 27.29/17.31 tff(c_13828, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_member, uri_rdf_Property), true)=true))). % 27.29/17.31 tff(c_13770, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Resource, uri_rdfs_Resource), true)=true))). % 27.29/17.31 tff(c_13526, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_List, uri_rdfs_Resource), true)=true))). % 27.29/17.31 tff(c_13674, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_List, uri_rdf_List), true)=true))). % 27.29/17.31 tff(c_16247, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Statement, uri_rdfs_Statement), true)=true))). % 27.29/17.31 tff(c_2348, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__1, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.31 tff(c_16074, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Statement, uri_rdfs_Resource), true)=true))). % 27.29/17.31 tff(c_13524, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdf_List, E_41), true)=true))). % 27.29/17.31 tff(c_16072, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Statement, E_41), true)=true))). % 27.29/17.31 tff(c_13461, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Datatype, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_28548, plain, (![X_650, Y_651]: (ifeq(iext(uri_rdfs_isDefinedBy, X_650, Y_651), true, iext(uri_rdfs_seeAlso, X_650, Y_651), true)=true))). % 27.29/17.31 tff(c_13414, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Seq, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_12770, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_12817, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Container, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_28437, plain, (![D_645]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_645), true, icext(D_645, uri_rdf_type), true)=true))). % 27.29/17.31 tff(c_13293, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdf_Bag, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_28371, plain, (![P_642]: (ifeq(iext(uri_rdfs_subPropertyOf, P_642, uri_rdfs_isDefinedBy), true, iext(uri_rdfs_subPropertyOf, P_642, uri_rdfs_seeAlso), true)=true))). % 27.29/17.31 tff(c_12866, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Literal, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_12913, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Class, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_12960, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdf_XMLLiteral, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_28256, plain, (![D_637]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_637), true, icext(D_637, uri_rdf_subject), true)=true))). % 27.29/17.31 tff(c_13340, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdf_Alt, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_16006, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_Statement, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_13175, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdf_predicate, uri_rdf_Property), true)=true))). % 27.29/17.31 tff(c_2495, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_member, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.31 tff(c_12723, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdf_List, uri_rdfs_Class), true)=true))). % 27.29/17.31 tff(c_12605, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_comment, uri_rdf_Property), true)=true))). % 27.29/17.31 tff(c_12481, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_label, uri_rdf_Property), true)=true))). % 27.29/17.31 tff(c_9936, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_seeAlso, uri_rdfs_seeAlso), true)=true))). % 27.29/17.32 tff(c_5552, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_first, uri_rdf_first), true)=true))). % 27.29/17.32 tff(c_4992, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_domain, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_7230, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_range, uri_rdfs_range), true)=true))). % 27.29/17.32 tff(c_2561, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__3, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.32 tff(c_9291, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_rest, uri_rdf_rest), true)=true))). % 27.29/17.32 tff(c_5718, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_range, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_27708, plain, (![D_619]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_619), true, icext(D_619, uri_rdf_object), true)=true))). % 27.29/17.32 tff(c_6276, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), true)=true))). % 27.29/17.32 tff(c_9479, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_object, uri_rdf_object), true)=true))). % 27.29/17.32 tff(c_2312, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_value, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.32 tff(c_5149, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__2, uri_rdf__2), true)=true))). % 27.29/17.32 tff(c_10665, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Container, uri_rdfs_Container), true)=true))). % 27.29/17.32 tff(c_10424, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Class, uri_rdfs_Class), true)=true))). % 27.29/17.32 tff(c_5637, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Alt, uri_rdf_Alt), true)=true))). % 27.29/17.32 tff(c_2531, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdfs_comment, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.32 tff(c_4862, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_value, uri_rdf_value), true)=true))). % 27.29/17.32 tff(c_27087, plain, (![D_601]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_601), true, icext(D_601, uri_rdf_first), true)=true))). % 27.29/17.32 tff(c_4792, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdf_Alt, E_41), true)=true))). % 27.29/17.32 tff(c_2300, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_predicate, uri_rdfs_Statement), true, true, true), true)=true))). % 27.29/17.32 tff(c_10883, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__1, uri_rdfs_member), true)=true))). % 27.29/17.32 tff(c_26760, plain, (![D_592]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, D_592), true, icext(D_592, uri_rdf_XMLLiteral), true)=true))). % 27.29/17.32 tff(c_9541, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__3, uri_rdf__3), true)=true))). % 27.29/17.32 tff(c_2603, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf_type, uri_rdfs_Class), true, true, true), true)=true))). % 27.29/17.32 tff(c_5969, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_subClassOf, uri_rdfs_subClassOf), true)=true))). % 27.29/17.32 tff(c_5858, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Container, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_4937, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__1, uri_rdf__1), true)=true))). % 27.29/17.32 tff(c_6545, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_subClassOf, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_12388, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Seq, uri_rdfs_Seq), true)=true))). % 27.29/17.32 tff(c_2330, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_range), true, ifeq(iext(P_103, uri_rdf__2, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.32 tff(c_4558, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Literal, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_7697, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdf_Property, E_41), true)=true))). % 27.29/17.32 tff(c_10598, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_type, uri_rdf_type), true)=true))). % 27.29/17.32 tff(c_12228, plain, (![R_53]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, R_53), true, iext(uri_rdfs_subPropertyOf, uri_rdf__3, R_53), true)=true))). % 27.29/17.32 tff(c_10884, plain, (![R_53]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, R_53), true, iext(uri_rdfs_subPropertyOf, uri_rdf__1, R_53), true)=true))). % 27.29/17.32 tff(c_9706, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Seq, E_41), true)=true))). % 27.29/17.32 tff(c_2414, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 27.29/17.32 tff(c_5383, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Datatype, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_11260, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Literal, uri_rdfs_Literal), true)=true))). % 27.29/17.32 tff(c_7369, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_isDefinedBy, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_7102, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Class, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_12322, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Datatype, uri_rdfs_Datatype), true)=true))). % 27.29/17.32 tff(c_8622, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Property, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_5287, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_XMLLiteral, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_11626, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdf_Bag, E_41), true)=true))). % 27.29/17.32 tff(c_7870, plain, (![R_53]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, R_53), true, iext(uri_rdfs_subPropertyOf, uri_rdf__2, R_53), true)=true))). % 27.29/17.32 tff(c_11449, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_25680, plain, (![D_557]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, D_557), true, icext(D_557, uri_rdf_nil), true)=true))). % 27.29/17.32 tff(c_4557, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Literal, E_41), true)=true))). % 27.29/17.32 tff(c_7869, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__2, uri_rdfs_member), true)=true))). % 27.29/17.32 tff(c_6793, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_subPropertyOf, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2441, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 27.29/17.32 tff(c_9708, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_Seq, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_12227, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf__3, uri_rdfs_member), true)=true))). % 27.29/17.32 tff(c_25368, plain, (![D_548]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_548), true, icext(D_548, uri_rdf__1), true)=true))). % 27.29/17.32 tff(c_8689, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_domain, uri_rdfs_domain), true)=true))). % 27.29/17.32 tff(c_5382, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, E_41), true)=true))). % 27.29/17.32 tff(c_2294, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_type, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.32 tff(c_12163, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Bag, uri_rdf_Bag), true)=true))). % 27.29/17.32 tff(c_4793, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Alt, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_4717, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_ex_p, uri_ex_p), true)=true))). % 27.29/17.32 tff(c_11447, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, E_41), true)=true))). % 27.29/17.32 tff(c_7570, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.32 tff(c_11628, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Bag, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_11062, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.32 tff(c_2471, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdf_type), true, ifeq(iext(P_103, uri_rdf_type, uri_rdf_Property), true, true, true), true)=true))). % 27.29/17.32 tff(c_7100, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Class, E_41), true)=true))). % 27.29/17.32 tff(c_6738, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.32 tff(c_24744, plain, (![D_530]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_530), true, icext(D_530, uri_rdf__1), true)=true))). % 27.29/17.32 tff(c_5857, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_41), true)=true))). % 27.29/17.32 tff(c_8260, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_ex_p, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_8935, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_rdfs_seeAlso, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2372, plain, (![P_103]: (ifeq(iext(uri_rdfs_subPropertyOf, P_103, uri_rdfs_domain), true, ifeq(iext(P_103, uri_rdf_value, uri_rdfs_Resource), true, true, true), true)=true))). % 27.29/17.32 tff(c_5286, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, E_41), true)=true))). % 27.29/17.32 tff(c_7699, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_rdf_Property, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_11904, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_rdf_subject, uri_rdf_subject), true)=true))). % 27.29/17.32 tff(c_4486, plain, (![Q_48, X_137]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, X_137, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2694, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_first, uri_rdf_List), true)=true))). % 27.29/17.32 tff(c_2649, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_value, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2654, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf__3, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2689, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_range, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2773, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_108), true, iext(uri_rdfs_subClassOf, uri_rdf_Bag, E_108), true)=true))). % 27.29/17.32 tff(c_2645, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_domain, uri_rdfs_Class), true)=true))). % 27.29/17.32 tff(c_2702, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_subPropertyOf, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2703, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_ex_p, Q_104), true, iext(Q_104, uri_ex_s, uri_ex_o), true)=true))). % 27.29/17.32 tff(c_2770, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, E_108), true, iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, E_108), true)=true))). % 27.29/17.32 tff(c_2700, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_seeAlso, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2690, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__3, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2664, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_member, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2663, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_label, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2671, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_domain, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2648, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_predicate, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2775, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_108), true, iext(uri_rdfs_subClassOf, uri_rdf_Alt, E_108), true)=true))). % 27.29/17.32 tff(c_2656, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf__1, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2681, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_range, uri_rdfs_Class), true)=true))). % 27.29/17.32 tff(c_2771, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Literal, E_108), true, iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, E_108), true)=true))). % 27.29/17.32 tff(c_2674, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_object, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2685, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_comment, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2695, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_nil, uri_rdf_List), true)=true))). % 27.29/17.32 tff(c_2686, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_subject, uri_rdfs_Statement), true)=true))). % 27.29/17.32 tff(c_2774, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, E_108), true, iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, E_108), true)=true))). % 27.29/17.32 tff(c_2688, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_first, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_23720, plain, (![D_493]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_493), true, icext(D_493, uri_rdf__2), true)=true))). % 27.29/17.32 tff(c_2666, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.32 tff(c_2647, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_predicate, uri_rdfs_Statement), true)=true))). % 27.29/17.32 tff(c_2676, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_subject, uri_rdfs_Resource), true)=true))). % 27.29/17.32 tff(c_2682, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdf_Bag, uri_rdfs_Container), true)=true))). % 27.29/17.32 tff(c_2687, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdfs_Datatype, uri_rdfs_Class), true)=true))). % 27.29/17.32 tff(c_2696, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_first, uri_rdf_Property), true)=true))). % 27.29/17.32 tff(c_2661, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf__2, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_23531, plain, (![D_484]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_484), true, icext(D_484, uri_rdf_value), true)=true))). % 27.29/17.33 tff(c_2699, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_seeAlso, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_2692, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdf_Alt, uri_rdfs_Container), true)=true))). % 27.29/17.33 tff(c_2697, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_type, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_2658, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_subPropertyOf, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_2653, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdf_XMLLiteral, uri_rdfs_Literal), true)=true))). % 27.29/17.33 tff(c_2235, plain, (![R_101]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, R_101), true, iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, R_101), true)=true))). % 27.29/17.33 tff(c_2678, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__2, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_2659, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_value, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_2772, plain, (![E_108]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_108), true, iext(uri_rdfs_subClassOf, uri_rdfs_Seq, E_108), true)=true))). % 27.29/17.33 tff(c_2646, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_type, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_2677, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_Property, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_2660, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_rest, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_2683, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_comment, uri_rdfs_Literal), true)=true))). % 27.29/17.33 tff(c_2665, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf_rest, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_14137, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_predicate), true)=true))). % 27.29/17.33 tff(c_14136, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_predicate), true)=true))). % 27.29/17.33 tff(c_14283, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_label), true)=true))). % 27.29/17.33 tff(c_14284, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_label), true)=true))). % 27.29/17.33 tff(c_14218, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_comment), true)=true))). % 27.29/17.33 tff(c_2651, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.33 tff(c_14219, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_comment), true)=true))). % 27.29/17.33 tff(c_14069, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_member), true)=true))). % 27.29/17.33 tff(c_13771, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_16249, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Statement), true)=true))). % 27.29/17.33 tff(c_2670, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.33 tff(c_16075, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Statement), true)=true))). % 27.29/17.33 tff(c_22897, plain, (![D_456]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_456), true, icext(D_456, uri_rdf__2), true)=true))). % 27.29/17.33 tff(c_13675, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_13676, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_2701, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_subClassOf, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_22750, plain, (![D_451]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_451), true, icext(D_451, uri_rdf__3), true)=true))). % 27.29/17.33 tff(c_2673, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_value, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_22663, plain, (![D_448]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_448), true, icext(D_448, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_2675, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_type, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_22566, plain, (![D_445]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_445), true, icext(D_445, uri_rdf_rest), true)=true))). % 27.29/17.33 tff(c_2698, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_rest, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_2691, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_label, uri_rdfs_Literal), true)=true))). % 27.29/17.33 tff(c_11908, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_subject), true)=true))). % 27.29/17.33 tff(c_12324, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Datatype), true)=true))). % 27.29/17.33 tff(c_8692, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_domain), true)=true))). % 27.29/17.33 tff(c_22288, plain, (![C_89, X_61]: (ifeq(icext(C_89, X_61), true, true, true)=true))). % 27.29/17.33 tff(c_2655, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf__1, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_7233, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_range), true)=true))). % 27.29/17.33 tff(c_21867, plain, (![D_432, X_433]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, D_432), true, icext(D_432, X_433), true)=true))). % 27.29/17.33 tff(c_9939, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_seeAlso), true)=true))). % 27.29/17.33 tff(c_2644, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_10425, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_21738, plain, (![X_425, Y_426]: (ifeq(iext(uri_rdf_rest, X_425, Y_426), true, icext(uri_rdf_List, X_425), true)=true))). % 27.29/17.33 tff(c_12230, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__3), true)=true))). % 27.29/17.33 tff(c_9294, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_rest), true)=true))). % 27.29/17.33 tff(c_2657, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf_object, uri_rdfs_Statement), true)=true))). % 27.29/17.33 tff(c_4865, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_value), true)=true))). % 27.29/17.33 tff(c_21036, plain, (![X_416, Y_417]: (ifeq(iext(uri_rdfs_subClassOf, X_416, Y_417), true, icext(uri_rdfs_Class, X_416), true)=true))). % 27.29/17.33 tff(c_9483, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_object), true)=true))). % 27.29/17.33 tff(c_2668, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_XMLLiteral, uri_rdfs_Datatype), true)=true))). % 27.29/17.33 tff(c_7572, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.33 tff(c_20559, plain, (![X_409, Y_410]: (ifeq(iext(uri_rdfs_subPropertyOf, X_409, Y_410), true, icext(uri_rdf_Property, Y_410), true)=true))). % 27.29/17.33 tff(c_6740, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.33 tff(c_6278, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_XMLLiteral), true)=true))). % 27.29/17.33 tff(c_10601, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_type), true)=true))). % 27.29/17.33 tff(c_2669, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_11065, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.33 tff(c_5152, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__2), true)=true))). % 27.29/17.33 tff(c_20369, plain, (![X_399, Y_400]: (ifeq(iext(uri_rdf_subject, X_399, Y_400), true, icext(uri_rdfs_Statement, X_399), true)=true))). % 27.29/17.33 tff(c_9544, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__3), true)=true))). % 27.29/17.33 tff(c_2684, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_subClassOf, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_20016, plain, (![X_393, Y_394]: (ifeq(iext(uri_rdfs_domain, X_393, Y_394), true, icext(uri_rdfs_Class, Y_394), true)=true))). % 27.29/17.33 tff(c_10886, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__1), true)=true))). % 27.29/17.33 tff(c_5972, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_subClassOf), true)=true))). % 27.29/17.33 tff(c_2652, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf__2, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_10602, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_type), true)=true))). % 27.29/17.33 tff(c_4940, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__1), true)=true))). % 27.29/17.33 tff(c_19534, plain, (![X_384, Y_385]: (ifeq(iext(uri_rdfs_range, X_384, Y_385), true, icext(uri_rdf_Property, X_384), true)=true))). % 27.29/17.33 tff(c_11907, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_subject), true)=true))). % 27.29/17.33 tff(c_2650, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_104), true, iext(Q_104, uri_rdf__3, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_12165, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_Bag), true)=true))). % 27.29/17.33 tff(c_19416, plain, (![X_377, Y_378]: (ifeq(iext(uri_rdf_rest, X_377, Y_378), true, icext(uri_rdf_List, Y_378), true)=true))). % 27.29/17.33 tff(c_2693, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_4559, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Literal), true)=true))). % 27.29/17.33 tff(c_9482, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_object), true)=true))). % 27.29/17.33 tff(c_19306, plain, (![X_370, Y_371]: (ifeq(iext(uri_rdf_object, X_370, Y_371), true, icext(uri_rdfs_Statement, X_370), true)=true))). % 27.29/17.33 tff(c_8623, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_2662, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdf__1, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_10666, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Container), true)=true))). % 27.29/17.33 tff(c_18844, plain, (![X_363, Y_364]: (ifeq(iext(uri_rdfs_subPropertyOf, X_363, Y_364), true, icext(uri_rdf_Property, X_363), true)=true))). % 27.29/17.33 tff(c_2667, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_104), true, iext(Q_104, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), true)=true))). % 27.29/17.33 tff(c_4720, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_ex_p), true)=true))). % 27.29/17.33 tff(c_18767, plain, (![X_357, Y_358]: (ifeq(iext(uri_rdfs_label, X_357, Y_358), true, icext(uri_rdfs_Literal, Y_358), true)=true))). % 27.29/17.33 tff(c_5151, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__2), true)=true))). % 27.29/17.33 tff(c_9295, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_rest), true)=true))). % 27.29/17.33 tff(c_5971, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_subClassOf), true)=true))). % 27.29/17.33 tff(c_2679, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_104), true, iext(Q_104, uri_rdfs_member, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_5555, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_first), true)=true))). % 27.29/17.33 tff(c_4864, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_value), true)=true))). % 27.29/17.33 tff(c_4719, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_ex_p), true)=true))). % 27.29/17.33 tff(c_18557, plain, (![X_346, Y_347]: (ifeq(iext(uri_rdfs_comment, X_346, Y_347), true, icext(uri_rdfs_Literal, Y_347), true)=true))). % 27.29/17.33 tff(c_10887, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_member), true)=true))). % 27.29/17.33 tff(c_5639, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_Alt), true)=true))). % 27.29/17.33 tff(c_2680, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_104), true, iext(Q_104, uri_rdfs_Seq, uri_rdfs_Container), true)=true))). % 27.29/17.33 tff(c_5289, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_12390, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Seq), true)=true))). % 27.29/17.33 tff(c_7232, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_range), true)=true))). % 27.29/17.33 tff(c_18376, plain, (![X_336, Y_337]: (ifeq(iext(uri_rdf_first, X_336, Y_337), true, icext(uri_rdf_List, X_336), true)=true))). % 27.29/17.33 tff(c_8693, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_domain), true)=true))). % 27.29/17.33 tff(c_5554, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_first), true)=true))). % 27.29/17.33 tff(c_2672, plain, (![Q_104]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_104), true, iext(Q_104, uri_rdf_subject, uri_rdf_Property), true)=true))). % 27.29/17.33 tff(c_7573, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.33 tff(c_4487, plain, (![C_19, X_137]: (ifeq(iext(uri_rdfs_domain, uri_rdf_type, C_19), true, icext(C_19, X_137), true)=true))). % 27.29/17.33 tff(c_18051, plain, (![X_326, Y_327]: (ifeq(iext(uri_rdf_predicate, X_326, Y_327), true, icext(uri_rdfs_Statement, X_326), true)=true))). % 27.29/17.33 tff(c_4488, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_29), true, icext(C_29, uri_rdfs_Resource), true)=true))). % 27.29/17.33 tff(c_17547, plain, (![X_316, Y_317]: (ifeq(iext(uri_rdf_type, X_316, Y_317), true, icext(uri_rdfs_Class, Y_317), true)=true))). % 27.29/17.33 tff(c_2179, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_range), true)=true))). % 27.29/17.33 tff(c_2198, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_rest), true)=true))). % 27.29/17.33 tff(c_2190, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_label), true)=true))). % 27.29/17.33 tff(c_2144, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf__2), true)=true))). % 27.29/17.33 tff(c_1825, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_93), true, icext(C_93, uri_rdfs_Literal), true)=true))). % 27.29/17.33 tff(c_2178, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdfs_Seq), true)=true))). % 27.29/17.33 tff(c_1872, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_93), true, icext(C_93, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_2147, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf__3), true)=true))). % 27.29/17.33 tff(c_2149, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf__1), true)=true))). % 27.29/17.33 tff(c_2197, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_type), true)=true))). % 27.29/17.33 tff(c_1860, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_93), true, icext(C_93, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_1839, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_93), true, icext(C_93, uri_rdf_List), true)=true))). % 27.29/17.33 tff(c_16696, plain, (![X_296, Y_297]: (ifeq(iext(uri_rdfs_domain, X_296, Y_297), true, icext(uri_rdf_Property, X_296), true)=true))). % 27.29/17.33 tff(c_2181, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_comment), true)=true))). % 27.29/17.33 tff(c_2161, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_member), true)=true))). % 27.29/17.33 tff(c_2177, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_member), true)=true))). % 27.29/17.33 tff(c_1842, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_93), true, icext(C_93, uri_rdfs_Datatype), true)=true))). % 27.29/17.33 tff(c_2180, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdf_Bag), true)=true))). % 27.29/17.33 tff(c_2135, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.33 tff(c_1863, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_93), true, icext(C_93, uri_rdfs_Class), true)=true))). % 27.29/17.33 tff(c_1853, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_93), true, icext(C_93, uri_rdfs_Class), true)=true))). % 27.29/17.34 tff(c_2201, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_seeAlso), true)=true))). % 27.29/17.34 tff(c_2187, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_first), true)=true))). % 27.29/17.34 tff(c_2141, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_value), true)=true))). % 27.29/17.34 tff(c_15521, plain, (![X_278, Y_279]: (ifeq(iext(uri_rdfs_range, X_278, Y_279), true, icext(uri_rdfs_Class, Y_279), true)=true))). % 27.29/17.34 tff(c_2202, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_subClassOf), true)=true))). % 27.29/17.34 tff(c_16250, plain, (![X_33]: (ifeq(icext(uri_rdfs_Statement, X_33), true, icext(uri_rdfs_Statement, X_33), true)=true))). % 27.29/17.34 tff(c_16190, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Statement)=true)). % 27.29/17.34 tff(c_16017, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_15945, plain, (iext(uri_rdf_type, uri_rdfs_Statement, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_2139, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_predicate), true)=true))). % 27.29/17.34 tff(c_15803, plain, (ic(uri_rdfs_Statement)=true)). % 27.29/17.34 tff(c_15733, plain, (icext(uri_rdfs_Class, uri_rdfs_Statement)=true)). % 27.29/17.34 tff(c_1815, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_93), true, icext(C_93, uri_rdfs_Statement), true)=true))). % 27.29/17.34 tff(c_1812, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_93), true, icext(C_93, uri_rdf_Property), true)=true))). % 27.29/17.34 tff(c_1881, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_ex_p, C_93), true, icext(C_93, uri_ex_o), true)=true))). % 27.29/17.34 tff(c_2168, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_domain), true)=true))). % 27.29/17.34 tff(c_1868, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_93), true, icext(C_93, uri_rdfs_Literal), true)=true))). % 27.29/17.34 tff(c_2194, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_first), true)=true))). % 27.29/17.34 tff(c_2158, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf__1), true)=true))). % 27.29/17.34 tff(c_2166, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.34 tff(c_2138, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_type), true)=true))). % 27.29/17.34 tff(c_2191, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdf_Alt), true)=true))). % 27.29/17.34 tff(c_14499, plain, (![X_253, Y_254]: (ifeq(iext(uri_rdfs_subClassOf, X_253, Y_254), true, icext(uri_rdfs_Class, Y_254), true)=true))). % 27.29/17.34 tff(c_13677, plain, (![X_33]: (ifeq(icext(uri_rdf_List, X_33), true, icext(uri_rdf_List, X_33), true)=true))). % 27.29/17.34 tff(c_12325, plain, (![X_33]: (ifeq(icext(uri_rdfs_Datatype, X_33), true, icext(uri_rdfs_Datatype, X_33), true)=true))). % 27.29/17.34 tff(c_10427, plain, (![X_33]: (ifeq(icext(uri_rdfs_Class, X_33), true, icext(uri_rdfs_Class, X_33), true)=true))). % 27.29/17.34 tff(c_8625, plain, (![X_33]: (ifeq(icext(uri_rdf_Property, X_33), true, icext(uri_rdf_Property, X_33), true)=true))). % 27.29/17.34 tff(c_5640, plain, (![X_33]: (ifeq(icext(uri_rdf_Alt, X_33), true, icext(uri_rdf_Alt, X_33), true)=true))). % 27.29/17.34 tff(c_12166, plain, (![X_33]: (ifeq(icext(uri_rdf_Bag, X_33), true, icext(uri_rdf_Bag, X_33), true)=true))). % 27.29/17.34 tff(c_6741, plain, (![X_33]: (ifeq(icext(uri_rdfs_ContainerMembershipProperty, X_33), true, icext(uri_rdfs_ContainerMembershipProperty, X_33), true)=true))). % 27.29/17.34 tff(c_6279, plain, (![X_33]: (ifeq(icext(uri_rdf_XMLLiteral, X_33), true, icext(uri_rdf_XMLLiteral, X_33), true)=true))). % 27.29/17.34 tff(c_10668, plain, (![X_33]: (ifeq(icext(uri_rdfs_Container, X_33), true, icext(uri_rdfs_Container, X_33), true)=true))). % 27.29/17.34 tff(c_11263, plain, (![X_33]: (ifeq(icext(uri_rdfs_Literal, X_33), true, icext(uri_rdfs_Literal, X_33), true)=true))). % 27.29/17.34 tff(c_12391, plain, (![X_33]: (ifeq(icext(uri_rdfs_Seq, X_33), true, icext(uri_rdfs_Seq, X_33), true)=true))). % 27.29/17.34 tff(c_2164, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_97), true, icext(C_97, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.34 tff(c_14294, plain, (iext(uri_rdf_type, uri_rdfs_Resource, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_14229, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_label, uri_rdfs_label)=true)). % 27.29/17.34 tff(c_14164, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_comment, uri_rdfs_comment)=true)). % 27.29/17.34 tff(c_2204, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_ex_p, C_97), true, icext(C_97, uri_ex_s), true)=true))). % 27.29/17.34 tff(c_14082, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_predicate, uri_rdf_predicate)=true)). % 27.29/17.34 tff(c_14012, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_member, uri_rdfs_member)=true)). % 27.29/17.34 tff(c_13840, plain, (icext(uri_rdf_Property, uri_rdfs_member)=true)). % 27.29/17.34 tff(c_13786, plain, (iext(uri_rdf_type, uri_rdfs_member, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_13689, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Resource, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_1841, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_93), true, icext(C_93, uri_rdfs_seeAlso), true)=true))). % 27.29/17.34 tff(c_13621, plain, (iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdf_List)=true)). % 27.29/17.34 tff(c_13472, plain, (iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_13425, plain, (iext(uri_rdf_type, uri_rdfs_Datatype, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_13378, plain, (iext(uri_rdf_type, uri_rdfs_Seq, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_2193, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_isDefinedBy), true)=true))). % 27.29/17.34 tff(c_13304, plain, (iext(uri_rdf_type, uri_rdf_Alt, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_13257, plain, (iext(uri_rdf_type, uri_rdf_Bag, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_13215, plain, (ip(uri_rdf_predicate)=true)). % 27.29/17.34 tff(c_2185, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_subject), true)=true))). % 27.29/17.34 tff(c_13133, plain, (iext(uri_rdf_type, uri_rdf_predicate, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_12991, plain, (icext(uri_rdf_Property, uri_rdf_predicate)=true)). % 27.29/17.34 tff(c_2140, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_predicate), true)=true))). % 27.29/17.34 tff(c_12924, plain, (iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_12877, plain, (iext(uri_rdf_type, uri_rdfs_Class, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_12830, plain, (iext(uri_rdf_type, uri_rdfs_Literal, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_12781, plain, (iext(uri_rdf_type, uri_rdfs_Container, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_12734, plain, (iext(uri_rdf_type, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_12687, plain, (iext(uri_rdf_type, uri_rdf_List, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_2153, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_value), true)=true))). % 27.29/17.34 tff(c_12620, plain, (ip(uri_rdfs_comment)=true)). % 27.29/17.34 tff(c_12563, plain, (iext(uri_rdf_type, uri_rdfs_comment, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_12496, plain, (ip(uri_rdfs_label)=true)). % 27.29/17.34 tff(c_2162, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_rest), true)=true))). % 27.29/17.34 tff(c_12439, plain, (iext(uri_rdf_type, uri_rdfs_label, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_2255, plain, (![S_5, O_6]: (ifeq(iext(uri_rdf_object, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_2145, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdf_XMLLiteral), true)=true))). % 27.29/17.34 tff(c_12335, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Seq)=true)). % 27.29/17.34 tff(c_12269, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Datatype)=true)). % 27.29/17.34 tff(c_1869, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_93), true, icext(C_93, uri_rdfs_Container), true)=true))). % 27.29/17.34 tff(c_12176, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdfs_member)=true)). % 27.29/17.34 tff(c_12110, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdf_Bag)=true)). % 27.29/17.34 tff(c_1051, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_domain, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_2840, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_subPropertyOf, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_1855, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_93), true, icext(C_93, uri_rdfs_Resource), true)=true))). % 27.29/17.34 tff(c_11850, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_subject, uri_rdf_subject)=true)). % 27.29/17.34 tff(c_11575, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_2173, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf_subject), true)=true))). % 27.29/17.34 tff(c_11396, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_11204, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Literal)=true)). % 27.29/17.34 tff(c_11011, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy)=true)). % 27.29/17.34 tff(c_10832, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdfs_member)=true)). % 27.29/17.34 tff(c_2186, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_97), true, icext(C_97, uri_rdfs_Datatype), true)=true))). % 27.29/17.34 tff(c_10612, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Container)=true)). % 27.29/17.34 tff(c_10544, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_type, uri_rdf_type)=true)). % 27.29/17.34 tff(c_10371, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_886, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_range, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_1813, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_93), true, icext(C_93, uri_rdfs_Class), true)=true))). % 27.29/17.34 tff(c_9882, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, uri_rdfs_seeAlso)=true)). % 27.29/17.34 tff(c_9655, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_3154, plain, (![S_5, O_6]: (ifeq(iext(uri_ex_p, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_9493, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdf__3)=true)). % 27.29/17.34 tff(c_9425, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_object, uri_rdf_object)=true)). % 27.29/17.34 tff(c_2200, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_seeAlso), true)=true))). % 27.29/17.34 tff(c_9237, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_rest, uri_rdf_rest)=true)). % 27.29/17.34 tff(c_1822, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_93), true, icext(C_93, uri_rdfs_ContainerMembershipProperty), true)=true))). % 27.29/17.34 tff(c_9010, plain, (icext(uri_rdf_Property, uri_rdfs_label)=true)). % 27.29/17.34 tff(c_8947, plain, (icext(uri_rdf_Property, uri_rdfs_seeAlso)=true)). % 27.29/17.34 tff(c_2160, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_label), true)=true))). % 27.29/17.34 tff(c_8893, plain, (iext(uri_rdf_type, uri_rdfs_seeAlso, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_2182, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_subClassOf), true)=true))). % 27.29/17.34 tff(c_8635, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, uri_rdfs_domain)=true)). % 27.29/17.34 tff(c_8569, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_2188, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_range), true)=true))). % 27.29/17.34 tff(c_8272, plain, (icext(uri_rdf_Property, uri_ex_p)=true)). % 27.29/17.34 tff(c_8218, plain, (iext(uri_rdf_type, uri_ex_p, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_1880, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_93), true, icext(C_93, uri_rdf_Property), true)=true))). % 27.29/17.34 tff(c_7937, plain, (icext(uri_rdf_Property, uri_rdfs_comment)=true)). % 27.29/17.34 tff(c_2184, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_comment), true)=true))). % 27.29/17.34 tff(c_7881, plain, (ip(uri_rdfs_member)=true)). % 27.29/17.34 tff(c_7821, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdfs_member)=true)). % 27.29/17.34 tff(c_2150, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf_object), true)=true))). % 27.29/17.34 tff(c_7646, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_7522, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf)=true)). % 27.29/17.34 tff(c_2142, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdf__3), true)=true))). % 27.29/17.34 tff(c_7384, plain, (icext(uri_rdf_Property, uri_rdfs_isDefinedBy)=true)). % 27.29/17.34 tff(c_7327, plain, (iext(uri_rdf_type, uri_rdfs_isDefinedBy, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_2151, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.34 tff(c_7182, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_range, uri_rdfs_range)=true)). % 27.29/17.34 tff(c_7049, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_2203, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_subPropertyOf), true)=true))). % 27.29/17.34 tff(c_6829, plain, (icext(uri_rdf_Property, uri_rdfs_subPropertyOf)=true)). % 27.29/17.34 tff(c_1850, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_93), true, icext(C_93, uri_rdf_Property), true)=true))). % 27.29/17.34 tff(c_6751, plain, (iext(uri_rdf_type, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_6685, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.34 tff(c_6556, plain, (icext(uri_rdf_Property, uri_rdfs_subClassOf)=true)). % 27.29/17.34 tff(c_6503, plain, (iext(uri_rdf_type, uri_rdfs_subClassOf, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_6361, plain, (ic(uri_rdf_List)=true)). % 27.29/17.34 tff(c_6310, plain, (icext(uri_rdfs_Class, uri_rdf_List)=true)). % 27.29/17.34 tff(c_1875, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_93), true, icext(C_93, uri_rdf_List), true)=true))). % 27.29/17.34 tff(c_6223, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral)=true)). % 27.29/17.34 tff(c_1202, plain, (![S_5, O_6]: (ifeq(iext(uri_rdf_rest, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_913, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_subClassOf, S_5, O_6), true, true, true)=true))). % 27.29/17.34 tff(c_2136, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_97), true, icext(C_97, uri_rdfs_domain), true)=true))). % 27.29/17.34 tff(c_5921, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, uri_rdfs_subClassOf)=true)). % 27.29/17.34 tff(c_1844, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_93), true, icext(C_93, uri_rdfs_Resource), true)=true))). % 27.29/17.34 tff(c_5809, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_5729, plain, (icext(uri_rdf_Property, uri_rdfs_range)=true)). % 27.29/17.34 tff(c_2156, plain, (![C_97]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_97), true, icext(C_97, uri_rdf__2), true)=true))). % 27.29/17.34 tff(c_5676, plain, (iext(uri_rdf_type, uri_rdfs_range, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_5565, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdf_Alt)=true)). % 27.29/17.34 tff(c_1831, plain, (![C_93]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_93), true, icext(C_93, uri_rdf_Property), true)=true))). % 27.29/17.34 tff(c_5504, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_first, uri_rdf_first)=true)). % 27.29/17.34 tff(c_5334, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_1558, plain, (![X_90]: (ifeq(icext(uri_rdf_Alt, X_90), true, icext(uri_rdfs_Container, X_90), true)=true))). % 27.29/17.34 tff(c_5238, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_1553, plain, (![X_90]: (ifeq(icext(uri_rdfs_ContainerMembershipProperty, X_90), true, icext(uri_rdf_Property, X_90), true)=true))). % 27.29/17.34 tff(c_5098, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdf__2)=true)). % 27.29/17.34 tff(c_1557, plain, (![X_90]: (ifeq(icext(uri_rdfs_Datatype, X_90), true, icext(uri_rdfs_Class, X_90), true)=true))). % 27.29/17.34 tff(c_5003, plain, (icext(uri_rdf_Property, uri_rdfs_domain)=true)). % 27.29/17.34 tff(c_4950, plain, (iext(uri_rdf_type, uri_rdfs_domain, uri_rdf_Property)=true)). % 27.29/17.34 tff(c_4882, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdf__1)=true)). % 27.29/17.34 tff(c_1555, plain, (![X_90]: (ifeq(icext(uri_rdfs_Seq, X_90), true, icext(uri_rdfs_Container, X_90), true)=true))). % 27.29/17.34 tff(c_4814, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_value, uri_rdf_value)=true)). % 27.29/17.34 tff(c_4737, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_1556, plain, (![X_90]: (ifeq(icext(uri_rdf_Bag, X_90), true, icext(uri_rdfs_Container, X_90), true)=true))). % 27.29/17.34 tff(c_4669, plain, (iext(uri_rdfs_subPropertyOf, uri_ex_p, uri_ex_p)=true)). % 27.29/17.34 tff(c_4623, plain, (icext(uri_rdfs_Class, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_1554, plain, (![X_90]: (ifeq(icext(uri_rdf_XMLLiteral, X_90), true, icext(uri_rdfs_Literal, X_90), true)=true))). % 27.29/17.34 tff(c_4570, plain, (ic(uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_4509, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Resource)=true)). % 27.29/17.34 tff(c_2183, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdfs_comment, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_4445, plain, (![X_136]: (iext(uri_rdf_type, X_136, uri_rdfs_Resource)=true))). % 27.29/17.34 tff(c_2159, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdfs_label, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_2152, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdf_value, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_2146, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdf__3, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_1816, plain, (![X_94, Y_95]: (ifeq(iext(uri_rdf_predicate, X_94, Y_95), true, true, true)=true))). % 27.29/17.34 tff(c_2192, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdfs_isDefinedBy, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_1823, plain, (![X_94, Y_95]: (ifeq(iext(uri_rdf__2, X_94, Y_95), true, true, true)=true))). % 27.29/17.34 tff(c_2176, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdfs_member, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_1864, plain, (![X_94, Y_95]: (ifeq(iext(uri_rdf_first, X_94, Y_95), true, true, true)=true))). % 27.29/17.34 tff(c_4316, plain, (icext(uri_rdfs_Class, uri_rdfs_Seq)=true)). % 27.29/17.34 tff(c_4270, plain, (icext(uri_rdfs_Class, uri_rdfs_Literal)=true)). % 27.29/17.34 tff(c_4217, plain, (icext(uri_rdfs_Class, uri_rdfs_Datatype)=true)). % 27.29/17.34 tff(c_1851, plain, (![X_94, Y_95]: (ifeq(iext(uri_rdf_subject, X_94, Y_95), true, true, true)=true))). % 27.29/17.34 tff(c_4167, plain, (icext(uri_rdfs_Class, uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.34 tff(c_2199, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdfs_seeAlso, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_4110, plain, (icext(uri_rdfs_Class, uri_rdf_XMLLiteral)=true)). % 27.29/17.34 tff(c_4062, plain, (icext(uri_rdfs_Class, uri_rdf_Alt)=true)). % 27.29/17.34 tff(c_4016, plain, (icext(uri_rdfs_Class, uri_rdfs_Class)=true)). % 27.29/17.34 tff(c_2137, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdf_type, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_3915, plain, (icext(uri_rdfs_Class, uri_rdfs_Container)=true)). % 27.29/17.34 tff(c_3864, plain, (icext(uri_rdfs_Class, uri_rdf_Bag)=true)). % 27.29/17.34 tff(c_2157, plain, (![X_98, Y_99]: (ifeq(iext(uri_rdf__1, X_98, Y_99), true, true, true)=true))). % 27.29/17.34 tff(c_3821, plain, (icext(uri_rdf_List, uri_rdf_nil)=true)). % 27.29/17.34 tff(c_3776, plain, (icext(uri_rdfs_Datatype, uri_rdf_XMLLiteral)=true)). % 27.29/17.34 tff(c_3737, plain, (icext(uri_rdf_Property, uri_rdf_subject)=true)). % 27.29/17.34 tff(c_3698, plain, (icext(uri_rdf_Property, uri_rdf_first)=true)). % 27.29/17.35 tff(c_3658, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__1)=true)). % 27.29/17.35 tff(c_3605, plain, (icext(uri_rdfs_Class, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_3561, plain, (icext(uri_rdf_Property, uri_rdf_object)=true)). % 27.29/17.35 tff(c_3524, plain, (icext(uri_rdf_Property, uri_rdf_value)=true)). % 27.29/17.35 tff(c_3486, plain, (icext(uri_rdf_Property, uri_rdf_rest)=true)). % 27.29/17.35 tff(c_3449, plain, (icext(uri_rdf_Property, uri_rdf__2)=true)). % 27.29/17.35 tff(c_3412, plain, (icext(uri_rdf_Property, uri_rdf__3)=true)). % 27.29/17.35 tff(c_3375, plain, (icext(uri_rdf_Property, uri_rdf__1)=true)). % 27.29/17.35 tff(c_3333, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__3)=true)). % 27.29/17.35 tff(c_3285, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__2)=true)). % 27.29/17.35 tff(c_3247, plain, (icext(uri_rdf_Property, uri_rdf_type)=true)). % 27.29/17.35 tff(c_3207, plain, (ic(uri_rdfs_Literal)=true)). % 27.29/17.35 tff(c_3166, plain, (ip(uri_rdf__2)=true)). % 27.29/17.35 tff(c_3130, plain, (ip(uri_ex_p)=true)). % 27.29/17.35 tff(c_3094, plain, (ic(uri_rdf_Property)=true)). % 27.29/17.35 tff(c_3055, plain, (ip(uri_rdf_value)=true)). % 27.29/17.35 tff(c_3013, plain, (ic(uri_rdf_Alt)=true)). % 27.29/17.35 tff(c_2976, plain, (ip(uri_rdfs_isDefinedBy)=true)). % 27.29/17.35 tff(c_2939, plain, (ip(uri_rdf__1)=true)). % 27.29/17.35 tff(c_2897, plain, (ip(uri_rdf_first)=true)). % 27.29/17.35 tff(c_2862, plain, (ic(uri_rdf_Bag)=true)). % 27.29/17.35 tff(c_2816, plain, (ip(uri_rdfs_subPropertyOf)=true)). % 27.29/17.35 tff(c_2780, plain, (ic(uri_rdfs_Datatype)=true)). % 27.29/17.35 tff(c_158, plain, (![D_40, E_41, C_42]: (ifeq(iext(uri_rdfs_subClassOf, D_40, E_41), true, ifeq(iext(uri_rdfs_subClassOf, C_42, D_40), true, iext(uri_rdfs_subClassOf, C_42, E_41), true), true)=true))). % 27.29/17.35 tff(c_166, plain, (![P_47, Q_48, X_49, Y_50]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, Q_48), true, ifeq(iext(P_47, X_49, Y_50), true, iext(Q_48, X_49, Y_50), true), true)=true))). % 27.29/17.35 tff(c_2212, plain, (ip(uri_rdf_object)=true)). % 27.29/17.35 tff(c_172, plain, (![Q_52, R_53, P_54]: (ifeq(iext(uri_rdfs_subPropertyOf, Q_52, R_53), true, ifeq(iext(uri_rdfs_subPropertyOf, P_54, Q_52), true, iext(uri_rdfs_subPropertyOf, P_54, R_53), true), true)=true))). % 27.29/17.35 tff(c_110, plain, (![P_18, C_19, X_20, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, C_19), true, ifeq(iext(P_18, X_20, Y_21), true, icext(C_19, X_20), true), true)=true))). % 27.29/17.35 tff(c_130, plain, (![P_28, C_29, X_30, Y_31]: (ifeq(iext(uri_rdfs_range, P_28, C_29), true, ifeq(iext(P_28, X_30, Y_31), true, icext(C_29, Y_31), true), true)=true))). % 27.29/17.35 tff(c_148, plain, (![C_32, X_33, D_34]: (ifeq(icext(C_32, X_33), true, ifeq(iext(uri_rdfs_subClassOf, C_32, D_34), true, icext(D_34, X_33), true), true)=true))). % 27.29/17.35 tff(c_1490, plain, (ic(uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_56, plain, (![X_13, C_14]: (ifeq(iext(uri_rdf_type, X_13, C_14), true, icext(C_14, X_13), true)=true))). % 27.29/17.35 tff(c_1400, plain, (ic(uri_rdf_XMLLiteral)=true)). % 27.29/17.35 tff(c_72, plain, (![P_16]: (ifeq(icext(uri_rdfs_ContainerMembershipProperty, P_16), true, iext(uri_rdfs_subPropertyOf, P_16, uri_rdfs_member), true)=true))). % 27.29/17.35 tff(c_104, plain, (![D_17]: (ifeq(icext(uri_rdfs_Datatype, D_17), true, iext(uri_rdfs_subClassOf, D_17, uri_rdfs_Literal), true)=true))). % 27.29/17.35 tff(c_54, plain, (![C_11, X_12]: (ifeq(icext(C_11, X_12), true, iext(uri_rdf_type, X_12, C_11), true)=true))). % 27.29/17.35 tff(c_1275, plain, (ip(uri_rdf_subject)=true)). % 27.29/17.35 tff(c_28, plain, (![P_9]: (ifeq(ip(P_9), true, iext(uri_rdf_type, P_9, uri_rdf_Property), true)=true))). % 27.29/17.35 tff(c_1181, plain, (ip(uri_rdf_rest)=true)). % 27.29/17.35 tff(c_164, plain, (![P_45, Q_46]: (ifeq(iext(uri_rdfs_subPropertyOf, P_45, Q_46), true, ip(P_45), true)=true))). % 27.29/17.35 tff(c_1101, plain, (ic(uri_rdfs_Container)=true)). % 27.29/17.35 tff(c_150, plain, (![C_35, D_36]: (ifeq(iext(uri_rdfs_subClassOf, C_35, D_36), true, ic(D_36), true)=true))). % 27.29/17.35 tff(c_1033, plain, (ip(uri_rdfs_domain)=true)). % 27.29/17.35 tff(c_985, plain, (ip(uri_rdf__3)=true)). % 27.29/17.35 tff(c_156, plain, (![C_39]: (ifeq(ic(C_39), true, iext(uri_rdfs_subClassOf, C_39, C_39), true)=true))). % 27.29/17.35 tff(c_30, plain, (![P_10]: (ifeq(iext(uri_rdf_type, P_10, uri_rdf_Property), true, ip(P_10), true)=true))). % 27.29/17.35 tff(c_898, plain, (ip(uri_rdfs_subClassOf)=true)). % 27.29/17.35 tff(c_858, plain, (ip(uri_rdfs_range)=true)). % 27.29/17.35 tff(c_58, plain, (![C_15]: (ifeq(ic(C_15), true, iext(uri_rdfs_subClassOf, C_15, uri_rdfs_Resource), true)=true))). % 27.29/17.35 tff(c_170, plain, (![P_51]: (ifeq(ip(P_51), true, iext(uri_rdfs_subPropertyOf, P_51, P_51), true)=true))). % 27.29/17.35 tff(c_821, plain, (ip(uri_rdf_type)=true)). % 27.29/17.35 tff(c_795, plain, (ic(uri_rdfs_Seq)=true)). % 27.29/17.35 tff(c_4, plain, (![P_4, S_5, O_6]: (ifeq(iext(P_4, S_5, O_6), true, ip(P_4), true)=true))). % 27.29/17.35 tff(c_571, plain, (ic(uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.35 tff(c_152, plain, (![C_37, D_38]: (ifeq(iext(uri_rdfs_subClassOf, C_37, D_38), true, ic(C_37), true)=true))). % 27.29/17.35 tff(c_526, plain, (ip(uri_rdfs_seeAlso)=true)). % 27.29/17.35 tff(c_162, plain, (![P_43, Q_44]: (ifeq(iext(uri_rdfs_subPropertyOf, P_43, Q_44), true, ip(Q_44), true)=true))). % 27.29/17.35 tff(c_116, plain, (![X_23]: (ifeq(icext(uri_rdfs_Class, X_23), true, ic(X_23), true)=true))). % 27.29/17.35 tff(c_114, plain, (![X_22]: (ifeq(ic(X_22), true, icext(uri_rdfs_Class, X_22), true)=true))). % 27.29/17.35 tff(c_124, plain, (![X_27]: (ifeq(lv(X_27), true, icext(uri_rdfs_Literal, X_27), true)=true))). % 27.29/17.35 tff(c_465, plain, (![X_61]: (icext(uri_rdfs_Resource, X_61)=true))). % 27.29/17.35 tff(c_122, plain, (![X_26]: (ifeq(icext(uri_rdfs_Literal, X_26), true, lv(X_26), true)=true))). % 27.29/17.35 tff(c_189, plain, (![X_8]: (ifeq(lv(X_8), true, true, true)=true))). % 27.29/17.35 tff(c_2, plain, (![A_1, B_2, C_3]: (ifeq(A_1, A_1, B_2, C_3)=B_2))). % 27.29/17.35 tff(c_74, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_112, plain, (iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_174, plain, (iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_138, plain, (iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement)=true)). % 27.29/17.35 tff(c_140, plain, (iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_180, plain, (iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_90, plain, (iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_92, plain, (iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.35 tff(c_88, plain, (iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_100, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal)=true)). % 27.29/17.35 tff(c_84, plain, (iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_16, plain, (iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_86, plain, (iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_134, plain, (iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement)=true)). % 27.29/17.35 tff(c_160, plain, (iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_178, plain, (iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_14, plain, (iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_82, plain, (iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_80, plain, (iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_46, plain, (iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_78, plain, (iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_66, plain, (iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List)=true)). % 27.29/17.35 tff(c_96, plain, (iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.35 tff(c_44, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso)=true)). % 27.29/17.35 tff(c_102, plain, (iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype)=true)). % 27.29/17.35 tff(c_42, plain, (iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_94, plain, (iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty)=true)). % 27.29/17.35 tff(c_108, plain, (iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_26, plain, (iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_24, plain, (iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_22, plain, (iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_34, plain, (iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_144, plain, (iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_126, plain, (iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_18, plain, (iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_76, plain, (iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_98, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container)=true)). % 27.29/17.35 tff(c_132, plain, (iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_70, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container)=true)). % 27.29/17.35 tff(c_38, plain, (iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal)=true)). % 27.29/17.35 tff(c_146, plain, (iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_36, plain, (iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_142, plain, (iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement)=true)). % 27.29/17.35 tff(c_106, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_62, plain, (iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_128, plain, (iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_20, plain, (iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_48, plain, (iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal)=true)). % 27.29/17.35 tff(c_68, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container)=true)). % 27.29/17.35 tff(c_40, plain, (iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_60, plain, (iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List)=true)). % 27.29/17.35 tff(c_12, plain, (iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List)=true)). % 27.29/17.35 tff(c_10, plain, (iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_176, plain, (iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_64, plain, (iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List)=true)). % 27.29/17.35 tff(c_50, plain, (iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_52, plain, (iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource)=true)). % 27.29/17.35 tff(c_154, plain, (iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class)=true)). % 27.29/17.35 tff(c_168, plain, (iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 27.29/17.35 tff(c_182, plain, (iext(uri_ex_p, uri_ex_s, uri_ex_o)=true)). % 27.29/17.35 tff(c_6, plain, (![X_7]: (ir(X_7)=true))). % 27.29/17.35 % SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 27.29/17.35 %------------------------------------------------------------------------------