%------------------------------------------------------------------------------ % File : Beagle---0.9.52 % Problem : SWB017-10 : TPTP v9.0.0. Released v7.3.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 : n027.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:51 PM UTC 2025 % Result : Satisfiable 29.52s 19.23s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB017-10 : TPTP v9.0.0. Released v7.3.0. % 0.11/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.12/0.34 % Computer : n027.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 300 % 0.12/0.34 % DateTime : Wed Apr 9 00:58:05 EDT 2025 % 0.12/0.35 % CPUTime : % 29.52/19.22 % 29.52/19.23 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 29.52/19.23 % 29.52/19.23 % SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 29.52/19.24 %$ 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_propertyDisjointWith > uri_owl_differentFrom > uri_ex_w > uri_ex_u > uri_ex_notInstanceOf > uri_ex_c > true % 29.52/19.24 % 29.52/19.24 %Foreground sorts: % 29.52/19.24 % 29.52/19.24 % 29.52/19.24 %Background operators: % 29.52/19.24 % 29.52/19.24 % 29.52/19.24 %Foreground operators: % 29.52/19.24 tff(uri_rdfs_Datatype, type, uri_rdfs_Datatype: $i). % 29.52/19.24 tff(uri_rdfs_ContainerMembershipProperty, type, uri_rdfs_ContainerMembershipProperty: $i). % 29.52/19.24 tff(uri_rdfs_Resource, type, uri_rdfs_Resource: $i). % 29.52/19.24 tff(uri_rdf_Property, type, uri_rdf_Property: $i). % 29.52/19.24 tff(uri_rdf_subject, type, uri_rdf_subject: $i). % 29.52/19.24 tff(uri_rdf_type, type, uri_rdf_type: $i). % 29.52/19.24 tff(uri_rdfs_subPropertyOf, type, uri_rdfs_subPropertyOf: $i). % 29.52/19.24 tff(uri_ex_u, type, uri_ex_u: $i). % 29.52/19.24 tff(uri_rdfs_seeAlso, type, uri_rdfs_seeAlso: $i). % 29.52/19.24 tff(icext, type, icext: ($i * $i) > $i). % 29.52/19.24 tff(uri_rdfs_range, type, uri_rdfs_range: $i). % 29.52/19.24 tff(uri_rdf_XMLLiteral, type, uri_rdf_XMLLiteral: $i). % 29.52/19.24 tff(uri_rdf_List, type, uri_rdf_List: $i). % 29.52/19.24 tff(uri_rdf_first, type, uri_rdf_first: $i). % 29.52/19.24 tff(uri_rdf_predicate, type, uri_rdf_predicate: $i). % 29.52/19.24 tff(ir, type, ir: $i > $i). % 29.52/19.24 tff(lv, type, lv: $i > $i). % 29.52/19.24 tff(uri_ex_c, type, uri_ex_c: $i). % 29.52/19.24 tff(uri_owl_propertyDisjointWith, type, uri_owl_propertyDisjointWith: $i). % 29.52/19.24 tff(uri_rdf__3, type, uri_rdf__3: $i). % 29.52/19.24 tff(uri_rdf_value, type, uri_rdf_value: $i). % 29.52/19.24 tff(uri_ex_notInstanceOf, type, uri_ex_notInstanceOf: $i). % 29.52/19.24 tff(ic, type, ic: $i > $i). % 29.52/19.24 tff(uri_rdfs_Statement, type, uri_rdfs_Statement: $i). % 29.52/19.24 tff(uri_rdf__1, type, uri_rdf__1: $i). % 29.52/19.24 tff(iext, type, iext: ($i * $i * $i) > $i). % 29.52/19.24 tff(uri_owl_differentFrom, type, uri_owl_differentFrom: $i). % 29.52/19.24 tff(uri_ex_w, type, uri_ex_w: $i). % 29.52/19.24 tff(uri_rdf_rest, type, uri_rdf_rest: $i). % 29.52/19.24 tff(uri_rdfs_label, type, uri_rdfs_label: $i). % 29.52/19.24 tff(uri_rdfs_Container, type, uri_rdfs_Container: $i). % 29.52/19.24 tff(uri_rdfs_subClassOf, type, uri_rdfs_subClassOf: $i). % 29.52/19.24 tff(uri_rdf_object, type, uri_rdf_object: $i). % 29.52/19.24 tff(ip, type, ip: $i > $i). % 29.52/19.24 tff(uri_rdfs_Class, type, uri_rdfs_Class: $i). % 29.52/19.24 tff(uri_rdfs_Seq, type, uri_rdfs_Seq: $i). % 29.52/19.24 tff(uri_rdfs_member, type, uri_rdfs_member: $i). % 29.52/19.24 tff(uri_rdf_Bag, type, uri_rdf_Bag: $i). % 29.52/19.24 tff(uri_rdf__2, type, uri_rdf__2: $i). % 29.52/19.24 tff(uri_rdfs_comment, type, uri_rdfs_comment: $i). % 29.52/19.24 tff(uri_rdfs_Literal, type, uri_rdfs_Literal: $i). % 29.52/19.24 tff(true, type, true: $i). % 29.52/19.24 tff(uri_rdf_Alt, type, uri_rdf_Alt: $i). % 29.52/19.24 tff(uri_rdf_nil, type, uri_rdf_nil: $i). % 29.52/19.24 tff(uri_rdfs_isDefinedBy, type, uri_rdfs_isDefinedBy: $i). % 29.52/19.24 tff(uri_rdfs_domain, type, uri_rdfs_domain: $i). % 29.52/19.24 tff(ifeq, type, ifeq: ($i * $i * $i * $i) > $i). % 29.52/19.24 % 29.52/19.24 %Saturated clause set: % 29.52/19.24 tff(c_14854, 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))). % 29.52/19.24 tff(c_14851, 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))). % 29.52/19.25 tff(c_15019, 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))). % 29.52/19.25 tff(c_67372, plain, (![X_1198, Y_1199]: (ifeq(iext(uri_rdf_predicate, X_1198, Y_1199), true, iext(uri_rdf_predicate, X_1198, Y_1199), true)=true))). % 29.52/19.25 tff(c_67345, plain, (![X_1194, Y_1195]: (ifeq(iext(uri_rdfs_label, X_1194, Y_1195), true, iext(uri_rdfs_label, X_1194, Y_1195), true)=true))). % 29.52/19.25 tff(c_67318, plain, (![X_1190, Y_1191]: (ifeq(iext(uri_rdfs_comment, X_1190, Y_1191), true, iext(uri_rdfs_comment, X_1190, Y_1191), true)=true))). % 29.52/19.25 tff(c_16510, 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))). % 29.52/19.25 tff(c_15109, 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))). % 29.52/19.25 tff(c_14659, 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))). % 29.52/19.25 tff(c_14796, 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))). % 29.52/19.25 tff(c_14726, 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))). % 29.52/19.25 tff(c_66681, plain, (![X_1181, Y_1182]: (ifeq(iext(uri_rdfs_member, X_1181, Y_1182), true, iext(uri_rdfs_member, X_1181, Y_1182), true)=true))). % 29.52/19.25 tff(c_66534, plain, (![C_1179]: (ifeq(iext(uri_rdfs_subClassOf, C_1179, uri_rdf_List), true, iext(uri_rdfs_subClassOf, C_1179, uri_rdfs_Resource), true)=true))). % 29.52/19.25 tff(c_66387, plain, (![C_1177]: (ifeq(iext(uri_rdfs_subClassOf, C_1177, uri_ex_c), true, iext(uri_rdfs_subClassOf, C_1177, uri_rdfs_Resource), true)=true))). % 29.52/19.25 tff(c_66120, plain, (![C_1174]: (ifeq(iext(uri_rdfs_subClassOf, C_1174, uri_rdfs_Statement), true, iext(uri_rdfs_subClassOf, C_1174, uri_rdfs_Resource), true)=true))). % 29.52/19.25 tff(c_14567, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_ex_c, uri_ex_c), true, true, true), true)=true))). % 29.52/19.25 tff(c_14105, 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))). % 29.52/19.25 tff(c_14433, 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))). % 29.52/19.25 tff(c_14501, 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))). % 29.52/19.25 tff(c_13941, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subClassOf), true, ifeq(iext(P_47, uri_ex_c, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.25 tff(c_14270, 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))). % 29.52/19.25 tff(c_13711, 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))). % 29.52/19.25 tff(c_13786, 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))). % 29.52/19.25 tff(c_13664, 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))). % 29.52/19.25 tff(c_13516, 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))). % 29.52/19.25 tff(c_7601, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_owl_propertyDisjointWith), true, true, true), true)=true))). % 29.52/19.25 tff(c_8860, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_ex_notInstanceOf, Y_21), true, true, true), true)=true))). % 29.52/19.25 tff(c_7604, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdf_Property), true, ifeq(iext(P_18, uri_owl_propertyDisjointWith, Y_21), true, true, true), true)=true))). % 29.52/19.25 tff(c_13615, 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))). % 29.52/19.25 tff(c_13131, 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))). % 29.52/19.25 tff(c_13865, 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))). % 29.52/19.25 tff(c_5299, 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))). % 29.52/19.25 tff(c_13567, 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))). % 29.52/19.25 tff(c_5782, 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))). % 29.52/19.25 tff(c_5785, 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))). % 29.52/19.25 tff(c_5296, 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))). % 29.52/19.25 tff(c_8857, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdf_Property), true, ifeq(iext(P_28, X_30, uri_ex_notInstanceOf), true, true, true), true)=true))). % 29.52/19.25 tff(c_13468, 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))). % 29.52/19.25 tff(c_16383, 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))). % 29.52/19.25 tff(c_13001, 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))). % 29.52/19.25 tff(c_12715, 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))). % 29.52/19.25 tff(c_12834, 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))). % 29.52/19.25 tff(c_12928, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_ex_c, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.25 tff(c_12881, 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))). % 29.52/19.25 tff(c_13421, 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))). % 29.52/19.25 tff(c_8516, 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))). % 29.52/19.25 tff(c_9530, 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))). % 29.52/19.25 tff(c_6619, 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))). % 29.52/19.25 tff(c_8044, 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))). % 29.52/19.25 tff(c_4315, 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))). % 29.52/19.25 tff(c_6826, 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))). % 29.52/19.25 tff(c_7449, 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))). % 29.52/19.25 tff(c_61629, plain, (![X_1125, Y_1126]: (ifeq(iext(uri_rdf_first, X_1125, Y_1126), true, iext(uri_rdf_first, X_1125, Y_1126), true)=true))). % 29.52/19.25 tff(c_4755, 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))). % 29.52/19.25 tff(c_61362, plain, (![X_1119, Y_1120]: (ifeq(iext(uri_rdfs_isDefinedBy, X_1119, Y_1120), true, iext(uri_rdfs_isDefinedBy, X_1119, Y_1120), true)=true))). % 29.52/19.25 tff(c_11988, 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))). % 29.52/19.25 tff(c_12128, 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))). % 29.52/19.25 tff(c_61210, plain, (![X_1114, Y_1115]: (ifeq(iext(uri_rdf_value, X_1114, Y_1115), true, iext(uri_rdf_value, X_1114, Y_1115), true)=true))). % 29.52/19.25 tff(c_61143, plain, (![P_1112]: (ifeq(iext(uri_rdfs_subPropertyOf, P_1112, uri_rdf__3), true, iext(uri_rdfs_subPropertyOf, P_1112, uri_rdfs_member), true)=true))). % 29.52/19.26 tff(c_4022, 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))). % 29.52/19.26 tff(c_8111, 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))). % 29.52/19.26 tff(c_4227, 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))). % 29.52/19.26 tff(c_9807, 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))). % 29.52/19.26 tff(c_60485, plain, (![C_1104]: (ifeq(iext(uri_rdfs_subClassOf, C_1104, uri_rdf_Bag), true, iext(uri_rdfs_subClassOf, C_1104, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_9999, 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))). % 29.52/19.26 tff(c_60216, plain, (![C_1101]: (ifeq(iext(uri_rdfs_subClassOf, C_1101, uri_rdfs_ContainerMembershipProperty), true, iext(uri_rdfs_subClassOf, C_1101, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_59901, plain, (![X_1097, Y_1098]: (ifeq(iext(uri_rdfs_range, X_1097, Y_1098), true, iext(uri_rdfs_range, X_1097, Y_1098), true)=true))). % 29.52/19.26 tff(c_5166, 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))). % 29.52/19.26 tff(c_59624, plain, (![C_1094]: (ifeq(iext(uri_rdfs_subClassOf, C_1094, uri_rdfs_Literal), true, iext(uri_rdfs_subClassOf, C_1094, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_59453, plain, (![C_1092]: (ifeq(iext(uri_rdfs_subClassOf, C_1092, uri_rdfs_Container), true, iext(uri_rdfs_subClassOf, C_1092, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_12373, 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))). % 29.52/19.26 tff(c_7752, 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))). % 29.52/19.26 tff(c_4815, 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))). % 29.52/19.26 tff(c_5965, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_ex_notInstanceOf, uri_ex_notInstanceOf), true, true, true), true)=true))). % 29.52/19.26 tff(c_4424, 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))). % 29.52/19.26 tff(c_11549, 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))). % 29.52/19.26 tff(c_58689, plain, (![X_1081, Y_1082]: (ifeq(iext(uri_rdf__1, X_1081, Y_1082), true, iext(uri_rdfs_member, X_1081, Y_1082), true)=true))). % 29.52/19.26 tff(c_8803, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_ex_notInstanceOf, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.26 tff(c_4269, 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))). % 29.52/19.26 tff(c_8299, 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))). % 29.52/19.26 tff(c_5248, 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))). % 29.52/19.26 tff(c_4427, 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))). % 29.52/19.26 tff(c_58018, plain, (![X_1070, Y_1071]: (ifeq(iext(uri_rdf__3, X_1070, Y_1071), true, iext(uri_rdf__3, X_1070, Y_1071), true)=true))). % 29.52/19.26 tff(c_57991, plain, (![X_1066, Y_1067]: (ifeq(iext(uri_rdfs_seeAlso, X_1066, Y_1067), true, iext(uri_rdfs_seeAlso, X_1066, Y_1067), true)=true))). % 29.52/19.26 tff(c_4068, 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))). % 29.52/19.26 tff(c_12440, 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))). % 29.52/19.26 tff(c_9469, 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))). % 29.52/19.26 tff(c_4133, 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))). % 29.52/19.26 tff(c_6026, 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))). % 29.52/19.26 tff(c_4025, 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))). % 29.52/19.26 tff(c_4177, 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))). % 29.52/19.26 tff(c_4312, 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))). % 29.52/19.26 tff(c_7950, 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))). % 29.52/19.26 tff(c_56579, plain, (![C_1050]: (ifeq(iext(uri_rdfs_subClassOf, C_1050, uri_rdfs_Class), true, iext(uri_rdfs_subClassOf, C_1050, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_56423, plain, (![C_1048]: (ifeq(iext(uri_rdfs_subClassOf, C_1048, uri_rdf_Property), true, iext(uri_rdfs_subClassOf, C_1048, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_11465, 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))). % 29.52/19.26 tff(c_56156, plain, (![C_1045]: (ifeq(iext(uri_rdfs_subClassOf, C_1045, uri_rdf_XMLLiteral), true, iext(uri_rdfs_subClassOf, C_1045, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_11194, 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))). % 29.52/19.26 tff(c_9239, 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))). % 29.52/19.26 tff(c_10430, 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))). % 29.52/19.26 tff(c_4130, 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))). % 29.52/19.26 tff(c_55631, plain, (![X_1036, Y_1037]: (ifeq(iext(uri_rdf__1, X_1036, Y_1037), true, iext(uri_rdf__1, X_1036, Y_1037), true)=true))). % 29.52/19.26 tff(c_55484, plain, (![C_1034]: (ifeq(iext(uri_rdfs_subClassOf, C_1034, uri_rdfs_Datatype), true, iext(uri_rdfs_subClassOf, C_1034, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_12633, 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))). % 29.52/19.26 tff(c_4369, 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))). % 29.52/19.26 tff(c_10853, 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))). % 29.52/19.26 tff(c_4372, 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))). % 29.52/19.26 tff(c_54410, plain, (![X_1024, Y_1025]: (ifeq(iext(uri_rdfs_subPropertyOf, X_1024, Y_1025), true, iext(uri_rdfs_subPropertyOf, X_1024, Y_1025), true)=true))). % 29.52/19.26 tff(c_54382, plain, (![X_1020, Y_1021]: (ifeq(iext(uri_rdf__3, X_1020, Y_1021), true, iext(uri_rdfs_member, X_1020, Y_1021), true)=true))). % 29.52/19.26 tff(c_7047, 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))). % 29.52/19.26 tff(c_10488, 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))). % 29.52/19.26 tff(c_53995, plain, (![C_1016]: (ifeq(iext(uri_rdfs_subClassOf, C_1016, uri_rdfs_Seq), true, iext(uri_rdfs_subClassOf, C_1016, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_53667, plain, (![X_1010, Y_1011]: (ifeq(iext(uri_rdf_rest, X_1010, Y_1011), true, iext(uri_rdf_rest, X_1010, Y_1011), true)=true))). % 29.52/19.26 tff(c_53601, plain, (![P_1008]: (ifeq(iext(uri_rdfs_subPropertyOf, P_1008, uri_rdf__1), true, iext(uri_rdfs_subPropertyOf, P_1008, uri_rdfs_member), true)=true))). % 29.52/19.26 tff(c_10062, 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))). % 29.52/19.26 tff(c_10790, 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))). % 29.52/19.26 tff(c_4174, 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))). % 29.52/19.26 tff(c_53081, plain, (![C_1002]: (ifeq(iext(uri_rdfs_subClassOf, C_1002, uri_rdf_Alt), true, iext(uri_rdfs_subClassOf, C_1002, uri_rdfs_Resource), true)=true))). % 29.52/19.26 tff(c_5007, 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))). % 29.52/19.26 tff(c_9673, 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))). % 29.52/19.26 tff(c_52139, plain, (![X_996, Y_997]: (ifeq(iext(uri_rdf_type, X_996, Y_997), true, iext(uri_rdf_type, X_996, Y_997), true)=true))). % 29.52/19.26 tff(c_51796, plain, (![X_990, Y_991]: (ifeq(iext(uri_ex_notInstanceOf, X_990, Y_991), true, iext(uri_ex_notInstanceOf, X_990, Y_991), true)=true))). % 29.52/19.26 tff(c_51769, plain, (![X_986, Y_987]: (ifeq(iext(uri_rdf__2, X_986, Y_987), true, iext(uri_rdf__2, X_986, Y_987), true)=true))). % 29.52/19.26 tff(c_7291, 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))). % 29.52/19.26 tff(c_7515, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, uri_owl_propertyDisjointWith, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.27 tff(c_4224, 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))). % 29.52/19.27 tff(c_51357, plain, (![X_978, Y_979]: (ifeq(iext(uri_rdf_object, X_978, Y_979), true, iext(uri_rdf_object, X_978, Y_979), true)=true))). % 29.52/19.27 tff(c_4887, 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))). % 29.52/19.27 tff(c_50589, plain, (![X_971, Y_972]: (ifeq(iext(uri_rdfs_domain, X_971, Y_972), true, iext(uri_rdfs_domain, X_971, Y_972), true)=true))). % 29.52/19.27 tff(c_7810, 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))). % 29.52/19.27 tff(c_5725, 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))). % 29.52/19.27 tff(c_5104, 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))). % 29.52/19.27 tff(c_4065, 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))). % 29.52/19.27 tff(c_6711, 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))). % 29.52/19.27 tff(c_49372, plain, (![P_960]: (ifeq(iext(uri_rdfs_subPropertyOf, P_960, uri_rdf__2), true, iext(uri_rdfs_subPropertyOf, P_960, uri_rdfs_member), true)=true))). % 29.52/19.27 tff(c_49224, plain, (![X_955, Y_956]: (ifeq(iext(uri_owl_propertyDisjointWith, X_955, Y_956), true, iext(uri_owl_propertyDisjointWith, X_955, Y_956), true)=true))). % 29.52/19.27 tff(c_12309, plain, (![P_47]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdfs_subPropertyOf), true, ifeq(iext(P_47, uri_owl_propertyDisjointWith, uri_owl_propertyDisjointWith), true, true, true), true)=true))). % 29.52/19.27 tff(c_4272, 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))). % 29.52/19.27 tff(c_7174, 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))). % 29.52/19.27 tff(c_48820, plain, (![X_947, Y_948]: (ifeq(iext(uri_rdf__2, X_947, Y_948), true, iext(uri_rdfs_member, X_947, Y_948), true)=true))). % 29.52/19.27 tff(c_9877, 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))). % 29.52/19.27 tff(c_47781, plain, (![X_940, Y_941]: (ifeq(iext(uri_rdfs_subClassOf, X_940, Y_941), true, iext(uri_rdfs_subClassOf, X_940, Y_941), true)=true))). % 29.52/19.27 tff(c_9067, 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))). % 29.52/19.27 tff(c_47634, plain, (![X_935, Y_936]: (ifeq(iext(uri_rdf_subject, X_935, Y_936), true, iext(uri_rdf_subject, X_935, Y_936), true)=true))). % 29.52/19.27 tff(c_6328, 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))). % 29.52/19.27 tff(c_10619, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_rdfs_Class), true, ifeq(iext(P_18, uri_ex_c, Y_21), true, true, true), true)=true))). % 29.52/19.27 tff(c_5852, 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))). % 29.52/19.27 tff(c_6492, 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))). % 29.52/19.27 tff(c_6331, 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))). % 29.52/19.27 tff(c_4617, plain, (![P_47, X_138]: (ifeq(iext(uri_rdfs_subPropertyOf, P_47, uri_rdf_type), true, ifeq(iext(P_47, X_138, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.27 tff(c_6965, 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))). % 29.52/19.27 tff(c_5849, 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))). % 29.52/19.27 tff(c_11940, 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))). % 29.52/19.27 tff(c_16220, 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))). % 29.52/19.27 tff(c_7131, 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))). % 29.52/19.27 tff(c_13206, 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))). % 29.52/19.27 tff(c_6145, 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))). % 29.52/19.27 tff(c_6968, 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))). % 29.52/19.27 tff(c_6489, 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))). % 29.52/19.27 tff(c_6148, 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))). % 29.52/19.27 tff(c_13209, 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))). % 29.52/19.27 tff(c_11734, 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))). % 29.52/19.27 tff(c_10616, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_rdfs_Class), true, ifeq(iext(P_28, X_30, uri_ex_c), true, true, true), true)=true))). % 29.52/19.27 tff(c_7128, 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))). % 29.52/19.27 tff(c_11943, 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))). % 29.52/19.27 tff(c_11731, 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))). % 29.52/19.27 tff(c_16217, 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))). % 29.52/19.27 tff(c_3619, 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))). % 29.52/19.27 tff(c_3580, 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))). % 29.52/19.27 tff(c_3462, 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))). % 29.52/19.27 tff(c_3814, 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))). % 29.52/19.27 tff(c_3984, 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))). % 29.52/19.27 tff(c_3419, 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))). % 29.52/19.27 tff(c_3655, plain, (![P_28, X_30]: (ifeq(iext(uri_rdfs_range, P_28, uri_ex_c), true, ifeq(iext(P_28, X_30, uri_ex_w), true, true, true), true)=true))). % 29.52/19.27 tff(c_3539, 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))). % 29.52/19.27 tff(c_3577, 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))). % 29.52/19.27 tff(c_3499, 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))). % 29.52/19.27 tff(c_3941, 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))). % 29.52/19.27 tff(c_3693, 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))). % 29.52/19.27 tff(c_3459, 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))). % 29.52/19.27 tff(c_3368, 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))). % 29.52/19.27 tff(c_3536, 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))). % 29.52/19.27 tff(c_3696, 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))). % 29.52/19.27 tff(c_3777, 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))). % 29.52/19.27 tff(c_3416, 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))). % 29.52/19.27 tff(c_3854, 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))). % 29.52/19.27 tff(c_3365, 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))). % 29.52/19.27 tff(c_3737, 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))). % 29.52/19.27 tff(c_3857, 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))). % 29.52/19.27 tff(c_3658, plain, (![P_18, Y_21]: (ifeq(iext(uri_rdfs_domain, P_18, uri_ex_c), true, ifeq(iext(P_18, uri_ex_w, Y_21), true, true, true), true)=true))). % 29.52/19.27 tff(c_3898, 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))). % 29.52/19.27 tff(c_3987, 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))). % 29.52/19.27 tff(c_3938, 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))). % 29.52/19.27 tff(c_3774, 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))). % 29.52/19.28 tff(c_3496, 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))). % 29.52/19.28 tff(c_3740, 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))). % 29.52/19.28 tff(c_3895, 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))). % 29.52/19.28 tff(c_3616, 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))). % 29.52/19.28 tff(c_3811, 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))). % 29.52/19.28 tff(c_1623, plain, (![P_91, X_60, Y_94]: (ifeq(iext(uri_rdfs_domain, P_91, uri_rdfs_Resource), true, ifeq(iext(P_91, X_60, Y_94), true, true, true), true)=true))). % 29.52/19.28 tff(c_1955, plain, (![P_95, X_97, X_60]: (ifeq(iext(uri_rdfs_range, P_95, uri_rdfs_Resource), true, ifeq(iext(P_95, X_97, X_60), true, true, true), true)=true))). % 29.52/19.28 tff(c_2558, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_object, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2660, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_predicate, uri_rdfs_Statement), true, true, true), true)=true))). % 29.52/19.28 tff(c_2531, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_subClassOf, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_2594, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_comment, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2489, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_subject, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2696, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_XMLLiteral, uri_rdfs_Datatype), true, true, true), true)=true))). % 29.52/19.28 tff(c_2525, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_subject, uri_rdfs_Statement), true, true, true), true)=true))). % 29.52/19.28 tff(c_2477, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdfs_Seq, uri_rdfs_Container), true, true, true), true)=true))). % 29.52/19.28 tff(c_2582, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdf_XMLLiteral, uri_rdfs_Literal), true, true, true), true)=true))). % 29.52/19.28 tff(c_37491, plain, (![C_808]: (ifeq(iext(uri_rdfs_subClassOf, C_808, uri_rdfs_Datatype), true, iext(uri_rdfs_subClassOf, C_808, uri_rdfs_Class), true)=true))). % 29.52/19.28 tff(c_2501, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 29.52/19.28 tff(c_2483, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_label, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2732, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_subPropertyOf, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2756, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_domain, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_2726, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf__1, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2612, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_first, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2678, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_type, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_2588, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2804, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_first, uri_rdf_List), true, true, true), true)=true))). % 29.52/19.28 tff(c_2774, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_domain, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_36200, plain, (![C_796]: (ifeq(iext(uri_rdfs_subClassOf, C_796, uri_rdf_XMLLiteral), true, iext(uri_rdfs_subClassOf, C_796, uri_rdfs_Literal), true)=true))). % 29.52/19.28 tff(c_2744, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_member, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2690, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_value, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2684, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_range, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_2780, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_first, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2786, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_rest, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2702, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2666, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_ex_w, uri_ex_c), true, true, true), true)=true))). % 29.52/19.28 tff(c_2810, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_type, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2564, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf__2, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2708, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_range, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2543, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 29.52/19.28 tff(c_2738, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_label, uri_rdfs_Literal), true, true, true), true)=true))). % 29.52/19.28 tff(c_2471, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_value, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2792, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdf_Bag, uri_rdfs_Container), true, true, true), true)=true))). % 29.52/19.28 tff(c_2618, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_member, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_2447, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__2, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_2576, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_value, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_34036, plain, (![C_777]: (ifeq(iext(uri_rdfs_subClassOf, C_777, uri_rdfs_Seq), true, iext(uri_rdfs_subClassOf, C_777, uri_rdfs_Container), true)=true))). % 29.52/19.28 tff(c_2465, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_nil, uri_rdf_List), true, true, true), true)=true))). % 29.52/19.28 tff(c_2495, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_owl_propertyDisjointWith), true, ifeq(iext(P_105, uri_ex_notInstanceOf, uri_rdf_type), true, true, true), true)=true))). % 29.52/19.28 tff(c_2507, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), true, true, true), true)=true))). % 29.52/19.28 tff(c_2606, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_predicate, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_33484, plain, (![D_771]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_771), true, icext(D_771, uri_rdfs_member), true)=true))). % 29.52/19.28 tff(c_33418, plain, (![D_769]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_769), true, icext(D_769, uri_rdfs_seeAlso), true)=true))). % 29.52/19.28 tff(c_2816, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_ex_notInstanceOf), true, ifeq(iext(P_105, uri_ex_u, uri_ex_c), true, true, true), true)=true))). % 29.52/19.28 tff(c_33232, plain, (![D_766]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_766), true, icext(D_766, uri_ex_notInstanceOf), true)=true))). % 29.52/19.28 tff(c_33166, plain, (![D_764]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_764), true, icext(D_764, uri_owl_propertyDisjointWith), true)=true))). % 29.52/19.28 tff(c_33100, plain, (![D_762]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_762), true, icext(D_762, uri_rdfs_subPropertyOf), true)=true))). % 29.52/19.28 tff(c_2654, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf__3, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_32877, plain, (![D_759]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_759), true, icext(D_759, uri_rdfs_Class), true)=true))). % 29.52/19.28 tff(c_32811, plain, (![D_757]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_757), true, icext(D_757, uri_rdf_Bag), true)=true))). % 29.52/19.28 tff(c_32624, plain, (![D_754]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_754), true, icext(D_754, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.52/19.28 tff(c_2768, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_Property, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_32557, plain, (![D_752]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_752), true, icext(D_752, uri_rdfs_Literal), true)=true))). % 29.52/19.28 tff(c_32490, plain, (![D_750]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_750), true, icext(D_750, uri_rdfs_Seq), true)=true))). % 29.52/19.28 tff(c_32423, plain, (![D_748]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_748), true, icext(D_748, uri_rdfs_Container), true)=true))). % 29.52/19.28 tff(c_32357, plain, (![D_746]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_746), true, icext(D_746, uri_rdf_Alt), true)=true))). % 29.52/19.28 tff(c_2453, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdfs_Datatype, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.28 tff(c_32165, plain, (![D_743]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_743), true, icext(D_743, uri_rdfs_Datatype), true)=true))). % 29.52/19.28 tff(c_32091, plain, (![D_741]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_741), true, icext(D_741, uri_rdf_XMLLiteral), true)=true))). % 29.52/19.28 tff(c_2672, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf_rest, uri_rdf_List), true, true, true), true)=true))). % 29.52/19.28 tff(c_31897, plain, (![D_738]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_738), true, icext(D_738, uri_rdfs_subClassOf), true)=true))). % 29.52/19.28 tff(c_31830, plain, (![D_736]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_736), true, icext(D_736, uri_rdfs_Resource), true)=true))). % 29.52/19.28 tff(c_31635, plain, (![D_733]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_733), true, icext(D_733, uri_rdfs_range), true)=true))). % 29.52/19.28 tff(c_2513, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf__3, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_31569, plain, (![D_731]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_731), true, icext(D_731, uri_rdfs_domain), true)=true))). % 29.52/19.28 tff(c_31503, plain, (![D_729]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_729), true, icext(D_729, uri_rdfs_Statement), true)=true))). % 29.52/19.28 tff(c_31308, plain, (![D_726]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_726), true, icext(D_726, uri_rdfs_comment), true)=true))). % 29.52/19.28 tff(c_2798, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_seeAlso, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_31240, plain, (![D_724]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_724), true, icext(D_724, uri_rdfs_label), true)=true))). % 29.52/19.28 tff(c_31174, plain, (![D_722]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_722), true, icext(D_722, uri_rdfs_isDefinedBy), true)=true))). % 29.52/19.28 tff(c_2762, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_seeAlso, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_30979, plain, (![D_719]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_719), true, icext(D_719, uri_rdf_predicate), true)=true))). % 29.52/19.28 tff(c_30913, plain, (![D_717]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_717), true, icext(D_717, uri_ex_c), true)=true))). % 29.52/19.28 tff(c_15050, 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))). % 29.52/19.28 tff(c_15140, 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))). % 29.52/19.28 tff(c_16541, 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))). % 29.52/19.28 tff(c_2624, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subClassOf), true, ifeq(iext(P_105, uri_rdf_Alt, uri_rdfs_Container), true, true, true), true)=true))). % 29.52/19.28 tff(c_30613, plain, (![D_708]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_708), true, icext(D_708, uri_rdf_List), true)=true))). % 29.52/19.28 tff(c_14763, 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))). % 29.52/19.28 tff(c_14693, 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))). % 29.52/19.28 tff(c_2714, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_subject, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.28 tff(c_14821, 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))). % 29.52/19.28 tff(c_13975, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_ex_c, uri_rdfs_Resource), true)=true))). % 29.52/19.28 tff(c_14467, 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))). % 29.52/19.28 tff(c_14139, 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))). % 29.52/19.28 tff(c_14535, 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))). % 29.52/19.28 tff(c_14304, 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))). % 29.52/19.28 tff(c_2642, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf__2, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.28 tff(c_14305, 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))). % 29.52/19.29 tff(c_14601, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_48), true, iext(Q_48, uri_ex_c, uri_ex_c), true)=true))). % 29.52/19.29 tff(c_30015, plain, (![D_690]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_690), true, icext(D_690, uri_rdf_first), true)=true))). % 29.52/19.29 tff(c_14140, 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))). % 29.52/19.29 tff(c_13976, plain, (![E_41]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, E_41), true, iext(uri_rdfs_subClassOf, uri_ex_c, E_41), true)=true))). % 29.52/19.29 tff(c_2720, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_subPropertyOf, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.29 tff(c_13805, 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))). % 29.52/19.29 tff(c_13683, 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))). % 29.52/19.29 tff(c_13730, 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))). % 29.52/19.29 tff(c_13150, 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))). % 29.52/19.29 tff(c_13487, 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))). % 29.52/19.29 tff(c_13634, 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))). % 29.52/19.29 tff(c_29668, plain, (![P_678]: (ifeq(iext(uri_rdfs_subPropertyOf, P_678, uri_rdfs_isDefinedBy), true, iext(uri_rdfs_subPropertyOf, P_678, uri_rdfs_seeAlso), true)=true))). % 29.52/19.29 tff(c_13884, 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))). % 29.52/19.29 tff(c_13535, 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))). % 29.52/19.29 tff(c_13586, 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))). % 29.52/19.29 tff(c_13026, 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))). % 29.52/19.29 tff(c_16408, 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))). % 29.52/19.29 tff(c_12853, 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))). % 29.52/19.29 tff(c_12900, 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))). % 29.52/19.29 tff(c_13440, 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))). % 29.52/19.29 tff(c_2519, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__1, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.29 tff(c_12947, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_ex_c, uri_rdfs_Class), true)=true))). % 29.52/19.29 tff(c_12740, 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))). % 29.52/19.29 tff(c_10093, 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))). % 29.52/19.29 tff(c_29316, plain, (![D_664]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, D_664), true, icext(D_664, uri_rdf_nil), true)=true))). % 29.52/19.29 tff(c_12163, 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))). % 29.52/19.29 tff(c_5996, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_ex_notInstanceOf, uri_ex_notInstanceOf), true)=true))). % 29.52/19.29 tff(c_2552, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_subPropertyOf), true, ifeq(iext(P_105, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), true, true, true), true)=true))). % 29.52/19.29 tff(c_4786, 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))). % 29.52/19.29 tff(c_11584, 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))). % 29.52/19.29 tff(c_7843, 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))). % 29.52/19.29 tff(c_29011, plain, (![D_655]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_655), true, icext(D_655, uri_rdf_value), true)=true))). % 29.52/19.29 tff(c_28921, plain, (![C_652]: (ifeq(iext(uri_rdfs_subClassOf, C_652, uri_rdf_Alt), true, iext(uri_rdfs_subClassOf, C_652, uri_rdfs_Container), true)=true))). % 29.52/19.29 tff(c_10519, 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))). % 29.52/19.29 tff(c_8551, 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))). % 29.52/19.29 tff(c_10887, 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))). % 29.52/19.29 tff(c_12340, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_48), true, iext(Q_48, uri_owl_propertyDisjointWith, uri_owl_propertyDisjointWith), true)=true))). % 29.52/19.29 tff(c_28730, plain, (![C_644]: (ifeq(iext(uri_rdfs_subClassOf, C_644, uri_rdf_Bag), true, iext(uri_rdfs_subClassOf, C_644, uri_rdfs_Container), true)=true))). % 29.52/19.29 tff(c_7783, 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))). % 29.52/19.29 tff(c_9844, 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))). % 29.52/19.29 tff(c_8828, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_ex_notInstanceOf, uri_rdf_Property), true)=true))). % 29.52/19.29 tff(c_9902, 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))). % 29.52/19.29 tff(c_5273, 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))). % 29.52/19.29 tff(c_10822, 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))). % 29.52/19.29 tff(c_12474, 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))). % 29.52/19.29 tff(c_8079, 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))). % 29.52/19.29 tff(c_2648, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_rest, uri_rdf_List), true, true, true), true)=true))). % 29.52/19.29 tff(c_8145, 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))). % 29.52/19.29 tff(c_10455, 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))). % 29.52/19.29 tff(c_7077, 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))). % 29.52/19.29 tff(c_10094, 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))). % 29.52/19.29 tff(c_6856, 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))). % 29.52/19.29 tff(c_6060, 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))). % 29.52/19.29 tff(c_2636, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_subClassOf, uri_rdfs_Class), true, true, true), true)=true))). % 29.52/19.29 tff(c_9098, 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))). % 29.52/19.29 tff(c_8333, 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))). % 29.52/19.29 tff(c_10029, 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))). % 29.52/19.29 tff(c_6745, 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))). % 29.52/19.29 tff(c_2537, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf__3, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.29 tff(c_12407, 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))). % 29.52/19.29 tff(c_4917, 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))). % 29.52/19.29 tff(c_5750, 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))). % 29.52/19.29 tff(c_7322, 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))). % 29.52/19.29 tff(c_2600, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdfs_comment, uri_rdfs_Literal), true, true, true), true)=true))). % 29.52/19.29 tff(c_12162, 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))). % 29.52/19.29 tff(c_9500, 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))). % 29.52/19.29 tff(c_8334, 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))). % 29.52/19.29 tff(c_27401, plain, (![D_603]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_603), true, icext(D_603, uri_rdf__2), true)=true))). % 29.52/19.29 tff(c_27319, plain, (![C_600]: (ifeq(iext(uri_rdfs_subClassOf, C_600, uri_rdfs_ContainerMembershipProperty), true, iext(uri_rdfs_subClassOf, C_600, uri_rdf_Property), true)=true))). % 29.52/19.29 tff(c_4848, 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))). % 29.52/19.29 tff(c_9706, 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))). % 29.52/19.29 tff(c_12019, 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))). % 29.52/19.29 tff(c_27192, plain, (![D_595]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_595), true, icext(D_595, uri_rdf__2), true)=true))). % 29.52/19.29 tff(c_9565, 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))). % 29.52/19.29 tff(c_8550, 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))). % 29.52/19.29 tff(c_9564, 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))). % 29.52/19.29 tff(c_2459, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdf_type), true, ifeq(iext(P_105, uri_rdf_type, uri_rdf_Property), true, true, true), true)=true))). % 29.52/19.29 tff(c_12475, 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))). % 29.52/19.29 tff(c_5135, 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))). % 29.52/19.29 tff(c_6654, 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))). % 29.52/19.29 tff(c_26894, plain, (![D_586]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, D_586), true, icext(D_586, uri_rdf_Property), true)=true))). % 29.52/19.29 tff(c_11583, 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))). % 29.52/19.29 tff(c_9273, 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))). % 29.52/19.29 tff(c_12658, 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))). % 29.52/19.29 tff(c_2750, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdf_object, uri_rdfs_Statement), true, true, true), true)=true))). % 29.52/19.29 tff(c_8146, 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))). % 29.52/19.29 tff(c_7844, 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))). % 29.52/19.29 tff(c_26577, plain, (![D_577]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_577), true, icext(D_577, uri_rdf__3), true)=true))). % 29.52/19.29 tff(c_6059, 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))). % 29.52/19.29 tff(c_7205, 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))). % 29.52/19.29 tff(c_10888, 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))). % 29.52/19.29 tff(c_4918, 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))). % 29.52/19.29 tff(c_26387, plain, (![D_569]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_569), true, icext(D_569, uri_rdf_object), true)=true))). % 29.52/19.29 tff(c_7483, 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))). % 29.52/19.29 tff(c_26345, plain, (![X_564, Y_565]: (ifeq(iext(uri_rdfs_isDefinedBy, X_564, Y_565), true, iext(uri_rdfs_seeAlso, X_564, Y_565), true)=true))). % 29.52/19.29 tff(c_11490, 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))). % 29.52/19.29 tff(c_7782, 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))). % 29.52/19.29 tff(c_26218, plain, (![D_559]: (ifeq(iext(uri_rdfs_subClassOf, uri_ex_c, D_559), true, icext(D_559, uri_ex_w), true)=true))). % 29.52/19.29 tff(c_11225, 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))). % 29.52/19.29 tff(c_2570, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_range), true, ifeq(iext(P_105, uri_rdf__1, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.29 tff(c_5196, 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))). % 29.52/19.29 tff(c_7540, plain, (![Q_48]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, uri_owl_propertyDisjointWith, uri_rdf_Property), true)=true))). % 29.52/19.29 tff(c_25877, plain, (![D_550]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_550), true, icext(D_550, uri_rdf_subject), true)=true))). % 29.52/19.29 tff(c_7982, 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))). % 29.52/19.29 tff(c_2630, plain, (![P_105]: (ifeq(iext(uri_rdfs_subPropertyOf, P_105, uri_rdfs_domain), true, ifeq(iext(P_105, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true, true, true), true)=true))). % 29.52/19.29 tff(c_5040, 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))). % 29.52/19.30 tff(c_4637, plain, (![Q_48, X_138]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_48), true, iext(Q_48, X_138, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2850, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdf_Alt, uri_rdfs_Container), true)=true))). % 29.52/19.30 tff(c_2827, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_label, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2826, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdfs_Seq, uri_rdfs_Container), true)=true))). % 29.52/19.30 tff(c_2849, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_member, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2372, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, E_100), true, iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, E_100), true)=true))). % 29.52/19.30 tff(c_2875, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_domain, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2368, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, E_100), true, iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, E_100), true)=true))). % 29.52/19.30 tff(c_25194, plain, (![D_531]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_531), true, icext(D_531, uri_rdf_type), true)=true))). % 29.52/19.30 tff(c_2867, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf__1, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2863, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2873, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_seeAlso, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2845, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_comment, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2841, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf__1, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2882, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_ex_notInstanceOf, Q_106), true, iext(Q_106, uri_ex_u, uri_ex_c), true)=true))). % 29.52/19.30 tff(c_2837, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.52/19.30 tff(c_2866, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_subPropertyOf, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2821, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__2, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2853, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf__2, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2371, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_100), true, iext(uri_rdfs_subClassOf, uri_rdf_Alt, E_100), true)=true))). % 29.52/19.30 tff(c_2828, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_subject, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2871, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_object, uri_rdfs_Statement), true)=true))). % 29.52/19.30 tff(c_2864, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_range, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2856, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_predicate, uri_rdfs_Statement), true)=true))). % 29.52/19.30 tff(c_2370, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Literal, E_100), true, iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, E_100), true)=true))). % 29.52/19.30 tff(c_2874, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_Property, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_2369, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_100), true, iext(uri_rdfs_subClassOf, uri_rdfs_Seq, E_100), true)=true))). % 29.52/19.30 tff(c_2839, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_object, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2848, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_first, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2833, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__1, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2858, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_rest, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_2842, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_value, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2879, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_seeAlso, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2855, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf__3, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_24605, plain, (![D_504]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, D_504), true, icext(D_504, uri_rdf_XMLLiteral), true)=true))). % 29.52/19.30 tff(c_2844, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2830, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.52/19.30 tff(c_2880, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_first, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_2832, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf__3, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2865, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_subject, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2872, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_domain, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_2852, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_subClassOf, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_2861, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_value, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2840, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf__2, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2860, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_range, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_2831, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.52/19.30 tff(c_2823, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_type, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2829, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_owl_propertyDisjointWith, Q_106), true, iext(Q_106, uri_ex_notInstanceOf, uri_rdf_type), true)=true))). % 29.52/19.30 tff(c_2373, plain, (![E_100]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, E_100), true, iext(uri_rdfs_subClassOf, uri_rdf_Bag, E_100), true)=true))). % 29.52/19.30 tff(c_2857, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_ex_w, uri_ex_c), true)=true))). % 29.52/19.30 tff(c_15143, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_comment), true)=true))). % 29.52/19.30 tff(c_24225, plain, (![D_486]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_486), true, icext(D_486, uri_rdf_rest), true)=true))). % 29.52/19.30 tff(c_15053, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_label), true)=true))). % 29.52/19.30 tff(c_15054, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_label), true)=true))). % 29.52/19.30 tff(c_15144, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_comment), true)=true))). % 29.52/19.30 tff(c_2878, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdf_Bag, uri_rdfs_Container), true)=true))). % 29.52/19.30 tff(c_16544, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_predicate), true)=true))). % 29.52/19.30 tff(c_16545, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_predicate), true)=true))). % 29.52/19.30 tff(c_24010, plain, (![D_478]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_478), true, icext(D_478, uri_rdf__1), true)=true))). % 29.52/19.30 tff(c_14767, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2854, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_rest, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_14697, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_member), true)=true))). % 29.52/19.30 tff(c_14604, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_ex_c), true)=true))). % 29.52/19.30 tff(c_14470, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Statement), true)=true))). % 29.52/19.30 tff(c_14539, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_2824, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_nil, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_14308, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Statement), true)=true))). % 29.52/19.30 tff(c_14605, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_ex_c), true)=true))). % 29.52/19.30 tff(c_14538, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_List), true)=true))). % 29.52/19.30 tff(c_2846, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_comment, uri_rdfs_Literal), true)=true))). % 29.52/19.30 tff(c_2847, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_predicate, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_23642, plain, (![D_464]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, D_464), true, icext(D_464, uri_rdf__3), true)=true))). % 29.52/19.30 tff(c_2870, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_member, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_2822, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdfs_Datatype, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_23502, plain, (![D_460]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, D_460), true, icext(D_460, uri_rdf__1), true)=true))). % 29.52/19.30 tff(c_2868, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_subPropertyOf, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_8082, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.52/19.30 tff(c_23280, plain, (![C_88, X_60]: (ifeq(icext(C_88, X_60), true, true, true)=true))). % 29.52/19.30 tff(c_10825, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_subClassOf), true)=true))). % 29.52/19.30 tff(c_6000, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_ex_notInstanceOf), true)=true))). % 29.52/19.30 tff(c_2851, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdfs_isDefinedBy, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_5999, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_ex_notInstanceOf), true)=true))). % 29.52/19.30 tff(c_22778, plain, (![D_448, X_449]: (ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, D_448), true, icext(D_448, X_449), true)=true))). % 29.52/19.30 tff(c_7079, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_type), true)=true))). % 29.52/19.30 tff(c_2835, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_subClassOf, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_12478, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Class), true)=true))). % 29.52/19.30 tff(c_22665, plain, (![X_441, Y_442]: (ifeq(iext(uri_rdfs_label, X_441, Y_442), true, icext(uri_rdfs_Literal, Y_442), true)=true))). % 29.52/19.30 tff(c_2836, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf__3, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_5042, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Datatype), true)=true))). % 29.52/19.30 tff(c_22588, plain, (![X_435, Y_436]: (ifeq(iext(uri_rdfs_comment, X_435, Y_436), true, icext(uri_rdfs_Literal, Y_436), true)=true))). % 29.52/19.30 tff(c_6858, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_first), true)=true))). % 29.52/19.30 tff(c_6658, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_2425, plain, (![R_103]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, R_103), true, iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, R_103), true)=true))). % 29.52/19.30 tff(c_10523, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_object), true)=true))). % 29.52/19.30 tff(c_22439, plain, (![X_427, Y_428]: (ifeq(iext(uri_rdf_rest, X_427, Y_428), true, icext(uri_rdf_List, Y_428), true)=true))). % 29.52/19.30 tff(c_10032, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_subject), true)=true))). % 29.52/19.30 tff(c_2876, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_first, uri_rdf_Property), true)=true))). % 29.52/19.30 tff(c_9102, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_rest), true)=true))). % 29.52/19.30 tff(c_12344, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_owl_propertyDisjointWith), true)=true))). % 29.52/19.30 tff(c_22306, plain, (![X_419, Y_420]: (ifeq(iext(uri_rdf_first, X_419, Y_420), true, icext(uri_rdf_List, X_419), true)=true))). % 29.52/19.30 tff(c_7208, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__1), true)=true))). % 29.52/19.30 tff(c_2869, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdfs_label, uri_rdfs_Literal), true)=true))). % 29.52/19.30 tff(c_6859, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_first), true)=true))). % 29.52/19.30 tff(c_21741, plain, (![X_412, Y_413]: (ifeq(iext(uri_rdf_type, X_412, Y_413), true, icext(uri_rdfs_Class, Y_413), true)=true))). % 29.52/19.30 tff(c_2862, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_XMLLiteral, uri_rdfs_Datatype), true)=true))). % 29.52/19.30 tff(c_10522, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_object), true)=true))). % 29.52/19.30 tff(c_10096, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_member), true)=true))). % 29.52/19.30 tff(c_5138, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_seeAlso), true)=true))). % 29.52/19.30 tff(c_21616, plain, (![X_404, Y_405]: (ifeq(iext(uri_rdf_predicate, X_404, Y_405), true, icext(uri_rdfs_Statement, X_404), true)=true))). % 29.52/19.30 tff(c_7325, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__2), true)=true))). % 29.52/19.30 tff(c_10031, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_subject), true)=true))). % 29.52/19.30 tff(c_2881, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_type, uri_rdfs_Resource), true)=true))). % 29.52/19.30 tff(c_9503, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_subPropertyOf), true)=true))). % 29.52/19.31 tff(c_11228, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_value), true)=true))). % 29.52/19.31 tff(c_21170, plain, (![X_395, Y_396]: (ifeq(iext(uri_rdfs_domain, X_395, Y_396), true, icext(uri_rdfs_Class, Y_396), true)=true))). % 29.52/19.31 tff(c_9275, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Seq), true)=true))). % 29.52/19.31 tff(c_2843, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, Q_106), true, iext(Q_106, uri_rdf_XMLLiteral, uri_rdfs_Literal), true)=true))). % 29.52/19.31 tff(c_5199, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_domain), true)=true))). % 29.52/19.31 tff(c_6062, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Container), true)=true))). % 29.52/19.31 tff(c_4850, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_Alt), true)=true))). % 29.52/19.31 tff(c_20641, plain, (![X_386, Y_387]: (ifeq(iext(uri_rdfs_subPropertyOf, X_386, Y_387), true, icext(uri_rdf_Property, X_386), true)=true))). % 29.52/19.31 tff(c_4920, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__1), true)=true))). % 29.91/19.31 tff(c_10826, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_subClassOf), true)=true))). % 29.91/19.31 tff(c_2834, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_subject, uri_rdfs_Statement), true)=true))). % 29.91/19.31 tff(c_12022, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_range), true)=true))). % 29.91/19.31 tff(c_9101, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf_rest), true)=true))). % 29.91/19.31 tff(c_20480, plain, (![X_377, Y_378]: (ifeq(iext(uri_rdf_rest, X_377, Y_378), true, icext(uri_rdf_List, X_377), true)=true))). % 29.91/19.31 tff(c_4790, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf__3), true)=true))). % 29.91/19.31 tff(c_7985, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_isDefinedBy), true)=true))). % 29.91/19.31 tff(c_9502, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_subPropertyOf), true)=true))). % 29.91/19.31 tff(c_2877, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, Q_106), true, iext(Q_106, uri_rdf_rest, uri_rdf_Property), true)=true))). % 29.91/19.31 tff(c_6061, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdfs_Resource), true)=true))). % 29.91/19.31 tff(c_20315, plain, (![X_368, Y_369]: (ifeq(iext(uri_rdf_object, X_368, Y_369), true, icext(uri_rdfs_Statement, X_368), true)=true))). % 29.91/19.31 tff(c_9848, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_19), true, icext(C_19, uri_rdfs_Literal), true)=true))). % 29.91/19.31 tff(c_12023, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdfs_range), true)=true))). % 29.91/19.31 tff(c_2859, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, Q_106), true, iext(Q_106, uri_rdf_type, uri_rdfs_Class), true)=true))). % 29.91/19.31 tff(c_11229, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_value), true)=true))). % 29.91/19.31 tff(c_12343, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_owl_propertyDisjointWith), true)=true))). % 29.91/19.31 tff(c_19862, plain, (![X_359, Y_360]: (ifeq(iext(uri_rdfs_range, X_359, Y_360), true, icext(uri_rdfs_Class, Y_360), true)=true))). % 29.91/19.31 tff(c_5198, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdfs_domain), true)=true))). % 29.91/19.31 tff(c_7324, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__2), true)=true))). % 29.91/19.31 tff(c_4789, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_29), true, icext(C_29, uri_rdf__3), true)=true))). % 29.91/19.31 tff(c_2825, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, Q_106), true, iext(Q_106, uri_rdf_value, uri_rdfs_Resource), true)=true))). % 29.91/19.31 tff(c_19099, plain, (![X_350, Y_351]: (ifeq(iext(uri_rdfs_subClassOf, X_350, Y_351), true, icext(uri_rdfs_Class, X_350), true)=true))). % 29.91/19.31 tff(c_7080, plain, (![C_19]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_19), true, icext(C_19, uri_rdf_type), true)=true))). % 29.91/19.31 tff(c_12410, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_Bag), true)=true))). % 29.91/19.31 tff(c_2838, plain, (![Q_106]: (ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, Q_106), true, iext(Q_106, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), true)=true))). % 29.91/19.31 tff(c_7486, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_29), true, icext(C_29, uri_rdf_XMLLiteral), true)=true))). % 29.91/19.31 tff(c_4638, plain, (![C_29]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_29), true, icext(C_29, uri_rdfs_Resource), true)=true))). % 29.91/19.31 tff(c_18590, plain, (![X_341, Y_342]: (ifeq(iext(uri_rdfs_domain, X_341, Y_342), true, icext(uri_rdf_Property, X_341), true)=true))). % 29.91/19.31 tff(c_4639, plain, (![C_19, X_138]: (ifeq(iext(uri_rdfs_domain, uri_rdf_type, C_19), true, icext(C_19, X_138), true)=true))). % 29.91/19.31 tff(c_18263, plain, (![X_331, Y_332]: (ifeq(iext(uri_rdf_subject, X_331, Y_332), true, icext(uri_rdfs_Statement, X_331), true)=true))). % 29.91/19.31 tff(c_1940, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_ex_notInstanceOf, C_92), true, icext(C_92, uri_ex_u), true)=true))). % 29.91/19.31 tff(c_1914, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_range), true)=true))). % 29.91/19.31 tff(c_1913, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_type), true)=true))). % 29.91/19.31 tff(c_1899, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_first), true)=true))). % 29.91/19.31 tff(c_1906, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf__2), true)=true))). % 29.91/19.31 tff(c_1870, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdfs_Datatype), true)=true))). % 29.91/19.31 tff(c_1920, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_subPropertyOf), true)=true))). % 29.91/19.31 tff(c_2260, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_rdfs_Class), true)=true))). % 29.91/19.31 tff(c_1874, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_value), true)=true))). % 29.91/19.31 tff(c_2240, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_96), true, icext(C_96, uri_rdf_List), true)=true))). % 29.91/19.31 tff(c_17643, plain, (![X_314, Y_315]: (ifeq(iext(uri_rdfs_subPropertyOf, X_314, Y_315), true, icext(uri_rdf_Property, Y_315), true)=true))). % 29.91/19.31 tff(c_1924, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_label), true)=true))). % 29.91/19.31 tff(c_1884, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_subject), true)=true))). % 29.91/19.31 tff(c_2249, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_96), true, icext(C_96, uri_rdf_Property), true)=true))). % 29.91/19.31 tff(c_1917, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.91/19.31 tff(c_1875, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdfs_Seq), true)=true))). % 29.91/19.31 tff(c_1885, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_subClassOf), true)=true))). % 29.91/19.31 tff(c_1879, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_owl_propertyDisjointWith, C_92), true, icext(C_92, uri_ex_notInstanceOf), true)=true))). % 29.91/19.31 tff(c_1890, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf__2), true)=true))). % 29.91/19.31 tff(c_1900, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_member), true)=true))). % 29.91/19.31 tff(c_1893, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdf_XMLLiteral), true)=true))). % 29.91/19.31 tff(c_1898, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_predicate), true)=true))). % 29.91/19.31 tff(c_2255, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_96), true, icext(C_96, uri_rdfs_Literal), true)=true))). % 29.91/19.31 tff(c_16756, plain, (![X_292, Y_293]: (ifeq(iext(uri_rdfs_range, X_292, Y_293), true, icext(uri_rdf_Property, X_292), true)=true))). % 29.91/19.31 tff(c_1907, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_rest), true)=true))). % 29.91/19.31 tff(c_2217, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, C_96), true, icext(C_96, uri_rdfs_seeAlso), true)=true))). % 29.91/19.31 tff(c_2199, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_96), true, icext(C_96, uri_rdfs_Class), true)=true))). % 29.91/19.31 tff(c_1923, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_subPropertyOf), true)=true))). % 29.91/19.31 tff(c_1882, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf__3), true)=true))). % 29.91/19.31 tff(c_1939, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_type), true)=true))). % 29.91/19.31 tff(c_2252, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_96), true, icext(C_96, uri_rdf_Property), true)=true))). % 29.91/19.31 tff(c_1928, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_domain), true)=true))). % 29.91/19.31 tff(c_1901, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdf_Alt), true)=true))). % 29.91/19.31 tff(c_16465, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_predicate, uri_rdf_predicate)=true)). % 29.91/19.31 tff(c_1896, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_comment), true)=true))). % 29.91/19.31 tff(c_16423, plain, (ip(uri_rdf_predicate)=true)). % 29.91/19.31 tff(c_16366, plain, (iext(uri_rdf_type, uri_rdf_predicate, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_16191, plain, (icext(uri_rdf_Property, uri_rdf_predicate)=true)). % 29.91/19.31 tff(c_1910, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_predicate), true)=true))). % 29.91/19.31 tff(c_15669, plain, (![X_272, Y_273]: (ifeq(iext(uri_rdfs_subClassOf, X_272, Y_273), true, icext(uri_rdfs_Class, Y_273), true)=true))). % 29.91/19.31 tff(c_1878, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_subject), true)=true))). % 29.91/19.31 tff(c_14606, plain, (![X_33]: (ifeq(icext(uri_ex_c, X_33), true, icext(uri_ex_c, X_33), true)=true))). % 29.91/19.31 tff(c_14472, plain, (![X_33]: (ifeq(icext(uri_rdfs_Statement, X_33), true, icext(uri_rdfs_Statement, X_33), true)=true))). % 29.91/19.31 tff(c_14540, plain, (![X_33]: (ifeq(icext(uri_rdf_List, X_33), true, icext(uri_rdf_List, X_33), true)=true))). % 29.91/19.31 tff(c_9277, plain, (![X_33]: (ifeq(icext(uri_rdfs_Seq, X_33), true, icext(uri_rdfs_Seq, X_33), true)=true))). % 29.91/19.31 tff(c_7488, plain, (![X_33]: (ifeq(icext(uri_rdf_XMLLiteral, X_33), true, icext(uri_rdf_XMLLiteral, X_33), true)=true))). % 29.91/19.31 tff(c_9849, plain, (![X_33]: (ifeq(icext(uri_rdfs_Literal, X_33), true, icext(uri_rdfs_Literal, X_33), true)=true))). % 29.91/19.31 tff(c_9710, plain, (![X_33]: (ifeq(icext(uri_rdfs_Container, X_33), true, icext(uri_rdfs_Container, X_33), true)=true))). % 29.91/19.31 tff(c_5044, plain, (![X_33]: (ifeq(icext(uri_rdfs_Datatype, X_33), true, icext(uri_rdfs_Datatype, X_33), true)=true))). % 29.91/19.31 tff(c_1912, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_rest), true)=true))). % 29.91/19.31 tff(c_6659, plain, (![X_33]: (ifeq(icext(uri_rdf_Property, X_33), true, icext(uri_rdf_Property, X_33), true)=true))). % 29.91/19.31 tff(c_8084, plain, (![X_33]: (ifeq(icext(uri_rdfs_ContainerMembershipProperty, X_33), true, icext(uri_rdfs_ContainerMembershipProperty, X_33), true)=true))). % 29.91/19.31 tff(c_12412, plain, (![X_33]: (ifeq(icext(uri_rdf_Bag, X_33), true, icext(uri_rdf_Bag, X_33), true)=true))). % 29.91/19.31 tff(c_6750, plain, (![X_33]: (ifeq(icext(uri_rdfs_Class, X_33), true, icext(uri_rdfs_Class, X_33), true)=true))). % 29.91/19.31 tff(c_4852, plain, (![X_33]: (ifeq(icext(uri_rdf_Alt, X_33), true, icext(uri_rdf_Alt, X_33), true)=true))). % 29.91/19.31 tff(c_15089, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_comment, uri_rdfs_comment)=true)). % 29.91/19.31 tff(c_1926, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_member), true)=true))). % 29.91/19.31 tff(c_14999, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_label, uri_rdfs_label)=true)). % 29.91/19.31 tff(c_14834, plain, (icext(uri_rdf_Property, uri_rdfs_member)=true)). % 29.91/19.31 tff(c_14779, plain, (iext(uri_rdf_type, uri_rdfs_member, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_14709, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Resource, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_14639, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_member, uri_rdfs_member)=true)). % 29.91/19.31 tff(c_2269, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_ex_notInstanceOf, C_96), true, icext(C_96, uri_ex_c), true)=true))). % 29.91/19.31 tff(c_14550, plain, (iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c)=true)). % 29.91/19.31 tff(c_14484, plain, (iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdf_List)=true)). % 29.91/19.31 tff(c_14416, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Statement)=true)). % 29.91/19.31 tff(c_14253, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_14088, plain, (iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_13924, plain, (iext(uri_rdfs_subClassOf, uri_ex_c, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_2238, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_96), true, icext(C_96, uri_rdfs_Class), true)=true))). % 29.91/19.31 tff(c_13848, plain, (iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_2261, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_96), true, icext(C_96, uri_rdf_Property), true)=true))). % 29.91/19.31 tff(c_13769, plain, (iext(uri_rdf_type, uri_rdf_Alt, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_2201, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_rdf_List), true)=true))). % 29.91/19.31 tff(c_13694, plain, (iext(uri_rdf_type, uri_rdfs_Datatype, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13647, plain, (iext(uri_rdf_type, uri_rdf_Bag, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13598, plain, (iext(uri_rdf_type, uri_rdfs_Literal, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13550, plain, (iext(uri_rdf_type, uri_rdfs_Seq, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13499, plain, (iext(uri_rdf_type, uri_rdfs_Container, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13451, plain, (iext(uri_rdf_type, uri_rdfs_Class, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_13379, plain, (iext(uri_rdf_type, uri_rdf_List, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_1894, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_isDefinedBy), true)=true))). % 29.91/19.31 tff(c_13244, plain, (ic(uri_rdf_List)=true)). % 29.91/19.31 tff(c_13186, plain, (icext(uri_rdfs_Class, uri_rdf_List)=true)). % 29.91/19.31 tff(c_2244, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_96), true, icext(C_96, uri_rdf_List), true)=true))). % 29.91/19.31 tff(c_13114, plain, (iext(uri_rdf_type, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_1891, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf__1), true)=true))). % 29.91/19.31 tff(c_13041, plain, (ip(uri_rdfs_label)=true)). % 29.91/19.31 tff(c_12984, plain, (iext(uri_rdf_type, uri_rdfs_label, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_2248, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_rdfs_Datatype), true)=true))). % 29.91/19.31 tff(c_12911, plain, (iext(uri_rdf_type, uri_ex_c, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_12864, plain, (iext(uri_rdf_type, uri_rdfs_Resource, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_12817, plain, (iext(uri_rdf_type, uri_rdfs_Statement, uri_rdfs_Class)=true)). % 29.91/19.31 tff(c_1930, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_seeAlso), true)=true))). % 29.91/19.31 tff(c_12751, plain, (ip(uri_rdfs_comment)=true)). % 29.91/19.31 tff(c_12698, plain, (iext(uri_rdf_type, uri_rdfs_comment, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_12616, plain, (iext(uri_rdf_type, uri_rdfs_subClassOf, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_12423, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_12356, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdf_Bag)=true)). % 29.91/19.31 tff(c_12289, plain, (iext(uri_rdfs_subPropertyOf, uri_owl_propertyDisjointWith, uri_owl_propertyDisjointWith)=true)). % 29.91/19.31 tff(c_1888, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, C_92), true, icext(C_92, uri_rdfs_isDefinedBy), true)=true))). % 29.91/19.31 tff(c_12111, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_11968, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_range, uri_rdfs_range)=true)). % 29.91/19.31 tff(c_11920, plain, (icext(uri_rdf_Property, uri_rdfs_label)=true)). % 29.91/19.31 tff(c_1877, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_label), true)=true))). % 29.91/19.31 tff(c_1206, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_subClassOf, S_5, O_6), true, true, true)=true))). % 29.91/19.31 tff(c_11767, plain, (ic(uri_rdfs_Statement)=true)). % 29.91/19.31 tff(c_11713, plain, (icext(uri_rdfs_Class, uri_rdfs_Statement)=true)). % 29.91/19.31 tff(c_2213, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_96), true, icext(C_96, uri_rdfs_Statement), true)=true))). % 29.91/19.31 tff(c_11532, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Resource)=true)). % 29.91/19.31 tff(c_1892, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdf_value), true)=true))). % 29.91/19.31 tff(c_11448, plain, (iext(uri_rdf_type, uri_rdfs_isDefinedBy, uri_rdf_Property)=true)). % 29.91/19.31 tff(c_2209, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_rdfs_ContainerMembershipProperty), true)=true))). % 29.91/19.32 tff(c_11174, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_value, uri_rdf_value)=true)). % 29.91/19.32 tff(c_3027, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_subPropertyOf, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_10836, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_10768, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, uri_rdfs_subClassOf)=true)). % 29.91/19.32 tff(c_2218, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_rdf_Property), true)=true))). % 29.91/19.32 tff(c_10651, plain, (ic(uri_ex_c)=true)). % 29.91/19.32 tff(c_10598, plain, (icext(uri_rdfs_Class, uri_ex_c)=true)). % 29.91/19.32 tff(c_2243, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdf_type, C_96), true, icext(C_96, uri_ex_c), true)=true))). % 29.91/19.32 tff(c_10468, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_object, uri_rdf_object)=true)). % 29.91/19.32 tff(c_10413, plain, (iext(uri_rdf_type, uri_rdfs_domain, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_10042, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdfs_member)=true)). % 29.91/19.32 tff(c_9981, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_subject, uri_rdf_subject)=true)). % 29.91/19.32 tff(c_2207, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_owl_propertyDisjointWith, C_96), true, icext(C_96, uri_rdf_type), true)=true))). % 29.91/19.32 tff(c_9860, plain, (iext(uri_rdf_type, uri_rdfs_range, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_9790, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Literal)=true)). % 29.91/19.32 tff(c_1936, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_seeAlso), true)=true))). % 29.91/19.32 tff(c_9658, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Container)=true)). % 29.91/19.32 tff(c_9513, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_9449, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf)=true)). % 29.91/19.32 tff(c_9222, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Seq)=true)). % 29.91/19.32 tff(c_1937, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_first), true)=true))). % 29.91/19.32 tff(c_9047, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_rest, uri_rdf_rest)=true)). % 29.91/19.32 tff(c_3195, plain, (![S_5, O_6]: (ifeq(iext(uri_owl_propertyDisjointWith, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_2291, plain, (![S_5, O_6]: (ifeq(iext(uri_ex_notInstanceOf, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_8840, plain, (icext(uri_rdf_Property, uri_ex_notInstanceOf)=true)). % 29.91/19.32 tff(c_8786, plain, (iext(uri_rdf_type, uri_ex_notInstanceOf, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_1935, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, C_92), true, icext(C_92, uri_rdf_Bag), true)=true))). % 29.91/19.32 tff(c_1133, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_domain, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_8499, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_2268, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_domain, C_96), true, icext(C_96, uri_rdfs_Resource), true)=true))). % 29.91/19.32 tff(c_8282, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_8094, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_8025, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_1909, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf__3), true)=true))). % 29.91/19.32 tff(c_7928, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy)=true)). % 29.91/19.32 tff(c_7795, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_7709, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdfs_member)=true)). % 29.91/19.32 tff(c_7584, plain, (icext(uri_rdf_Property, uri_owl_propertyDisjointWith)=true)). % 29.91/19.32 tff(c_1922, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf__1), true)=true))). % 29.91/19.32 tff(c_7498, plain, (iext(uri_rdf_type, uri_owl_propertyDisjointWith, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_7432, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral)=true)). % 29.91/19.32 tff(c_7246, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdf__2)=true)). % 29.91/19.32 tff(c_1927, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdf_object), true)=true))). % 29.91/19.32 tff(c_7154, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdf__1)=true)). % 29.91/19.32 tff(c_7110, plain, (icext(uri_rdf_Property, uri_rdfs_isDefinedBy)=true)). % 29.91/19.32 tff(c_1903, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_isDefinedBy), true)=true))). % 29.91/19.32 tff(c_7029, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_type, uri_rdf_type)=true)). % 29.91/19.32 tff(c_6947, plain, (icext(uri_rdf_Property, uri_rdfs_domain)=true)). % 29.91/19.32 tff(c_1932, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_domain), true)=true))). % 29.91/19.32 tff(c_6808, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf_first, uri_rdf_first)=true)). % 29.91/19.32 tff(c_6694, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Class)=true)). % 29.91/19.32 tff(c_2258, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_96), true, icext(C_96, uri_rdfs_Class), true)=true))). % 29.91/19.32 tff(c_6600, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_6471, plain, (icext(uri_rdf_Property, uri_rdfs_subClassOf)=true)). % 29.91/19.32 tff(c_1904, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_subClassOf), true)=true))). % 29.91/19.32 tff(c_6310, plain, (icext(uri_rdf_Property, uri_rdfs_range)=true)). % 29.91/19.32 tff(c_1918, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, C_92), true, icext(C_92, uri_rdfs_range), true)=true))). % 29.91/19.32 tff(c_6127, plain, (icext(uri_rdfs_Class, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_2227, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_range, C_96), true, icext(C_96, uri_rdfs_Resource), true)=true))). % 29.91/19.32 tff(c_6072, plain, (ic(uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_6011, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_5920, plain, (iext(uri_rdfs_subPropertyOf, uri_ex_notInstanceOf, uri_ex_notInstanceOf)=true)). % 29.91/19.32 tff(c_2225, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_96), true, icext(C_96, uri_rdfs_Literal), true)=true))). % 29.91/19.32 tff(c_999, plain, (![S_5, O_6]: (ifeq(iext(uri_rdf_rest, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_5831, plain, (icext(uri_rdf_Property, uri_rdfs_comment)=true)). % 29.91/19.32 tff(c_1897, plain, (![C_92]: (ifeq(iext(uri_rdfs_domain, uri_rdfs_range, C_92), true, icext(C_92, uri_rdfs_comment), true)=true))). % 29.91/19.32 tff(c_5765, plain, (icext(uri_rdf_Property, uri_rdfs_subPropertyOf)=true)). % 29.91/19.32 tff(c_5708, plain, (iext(uri_rdf_type, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_2203, plain, (![C_96]: (ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, C_96), true, icext(C_96, uri_rdfs_Container), true)=true))). % 29.91/19.32 tff(c_1566, plain, (![X_89]: (ifeq(icext(uri_rdfs_Datatype, X_89), true, icext(uri_rdfs_Class, X_89), true)=true))). % 29.91/19.32 tff(c_2988, plain, (![S_5, O_6]: (ifeq(iext(uri_rdf_object, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_1570, plain, (![X_89]: (ifeq(icext(uri_rdfs_ContainerMembershipProperty, X_89), true, icext(uri_rdf_Property, X_89), true)=true))). % 29.91/19.32 tff(c_1072, plain, (![S_5, O_6]: (ifeq(iext(uri_rdfs_range, S_5, O_6), true, true, true)=true))). % 29.91/19.32 tff(c_5284, plain, (icext(uri_rdf_Property, uri_rdfs_seeAlso)=true)). % 29.91/19.32 tff(c_5224, plain, (iext(uri_rdf_type, uri_rdfs_seeAlso, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_1569, plain, (![X_89]: (ifeq(icext(uri_rdf_Alt, X_89), true, icext(uri_rdfs_Container, X_89), true)=true))). % 29.91/19.32 tff(c_5148, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, uri_rdfs_domain)=true)). % 29.91/19.32 tff(c_5084, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, uri_rdfs_seeAlso)=true)). % 29.91/19.32 tff(c_1568, plain, (![X_89]: (ifeq(icext(uri_rdf_XMLLiteral, X_89), true, icext(uri_rdfs_Literal, X_89), true)=true))). % 29.91/19.32 tff(c_4992, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Datatype)=true)). % 29.91/19.32 tff(c_4929, plain, (ip(uri_rdfs_member)=true)). % 29.91/19.32 tff(c_4862, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdfs_member)=true)). % 29.91/19.32 tff(c_1567, plain, (![X_89]: (ifeq(icext(uri_rdfs_Seq, X_89), true, icext(uri_rdfs_Container, X_89), true)=true))). % 29.91/19.32 tff(c_4800, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdf_Alt)=true)). % 29.91/19.32 tff(c_4735, plain, (iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdf__3)=true)). % 29.91/19.32 tff(c_1571, plain, (![X_89]: (ifeq(icext(uri_rdf_Bag, X_89), true, icext(uri_rdfs_Container, X_89), true)=true))). % 29.91/19.32 tff(c_4597, plain, (![X_137]: (iext(uri_rdf_type, X_137, uri_rdfs_Resource)=true))). % 29.91/19.32 tff(c_1895, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdfs_comment, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_1876, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdfs_label, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_1938, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdf_type, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_1921, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdf__1, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_2232, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdf_first, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_2226, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdfs_isDefinedBy, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_2219, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdf__2, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_2205, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdf_subject, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_2223, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdf_value, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_4403, plain, (icext(uri_rdfs_Class, uri_rdf_Bag)=true)). % 29.91/19.32 tff(c_2230, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdf_predicate, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_4355, plain, (icext(uri_rdfs_Class, uri_rdfs_Literal)=true)). % 29.91/19.32 tff(c_1929, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdfs_seeAlso, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_4300, plain, (icext(uri_rdfs_Class, uri_rdfs_Class)=true)). % 29.91/19.32 tff(c_4255, plain, (icext(uri_rdfs_Class, uri_rdfs_Datatype)=true)). % 29.91/19.32 tff(c_4212, plain, (icext(uri_rdfs_Class, uri_rdfs_Container)=true)). % 29.91/19.32 tff(c_2234, plain, (![X_97, Y_98]: (ifeq(iext(uri_rdfs_member, X_97, Y_98), true, true, true)=true))). % 29.91/19.32 tff(c_4162, plain, (icext(uri_rdfs_Class, uri_rdf_XMLLiteral)=true)). % 29.91/19.32 tff(c_4116, plain, (icext(uri_rdfs_Class, uri_rdfs_Seq)=true)). % 29.91/19.32 tff(c_1908, plain, (![X_93, Y_94]: (ifeq(iext(uri_rdf__3, X_93, Y_94), true, true, true)=true))). % 29.91/19.32 tff(c_4053, plain, (icext(uri_rdfs_Class, uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_4010, plain, (icext(uri_rdfs_Class, uri_rdf_Alt)=true)). % 29.91/19.32 tff(c_3972, plain, (icext(uri_rdf_Property, uri_rdf_value)=true)). % 29.91/19.32 tff(c_3924, plain, (icext(uri_rdfs_Class, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_3880, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__2)=true)). % 29.91/19.32 tff(c_3840, plain, (icext(uri_rdf_Property, uri_rdf__2)=true)). % 29.91/19.32 tff(c_3798, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__3)=true)). % 29.91/19.32 tff(c_3762, plain, (icext(uri_rdf_List, uri_rdf_nil)=true)). % 29.91/19.32 tff(c_3723, plain, (icext(uri_rdf_Property, uri_rdf_type)=true)). % 29.91/19.32 tff(c_3680, plain, (icext(uri_rdf_Property, uri_rdf__1)=true)). % 29.91/19.32 tff(c_3641, plain, (icext(uri_ex_c, uri_ex_w)=true)). % 29.91/19.32 tff(c_3602, plain, (icext(uri_rdf_Property, uri_rdf_first)=true)). % 29.91/19.32 tff(c_3565, plain, (icext(uri_rdf_Property, uri_rdf_object)=true)). % 29.91/19.32 tff(c_3524, plain, (icext(uri_rdf_Property, uri_rdf__3)=true)). % 29.91/19.32 tff(c_3484, plain, (icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__1)=true)). % 29.91/19.32 tff(c_3441, plain, (icext(uri_rdf_Property, uri_rdf_subject)=true)). % 29.91/19.32 tff(c_3402, plain, (icext(uri_rdf_Property, uri_rdf_rest)=true)). % 29.91/19.32 tff(c_3351, plain, (icext(uri_rdfs_Datatype, uri_rdf_XMLLiteral)=true)). % 29.91/19.32 tff(c_3292, plain, (ip(uri_rdf_value)=true)). % 29.91/19.32 tff(c_3254, plain, (ip(uri_rdf_subject)=true)). % 29.91/19.32 tff(c_3213, plain, (ic(uri_rdfs_Datatype)=true)). % 29.91/19.32 tff(c_3177, plain, (ip(uri_owl_propertyDisjointWith)=true)). % 29.91/19.32 tff(c_3135, plain, (ip(uri_rdf__3)=true)). % 29.91/19.32 tff(c_3092, plain, (ic(uri_rdf_Alt)=true)). % 29.91/19.32 tff(c_3054, plain, (ic(uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_3009, plain, (ip(uri_rdfs_subPropertyOf)=true)). % 29.91/19.32 tff(c_2968, plain, (ip(uri_rdf_object)=true)). % 29.91/19.32 tff(c_2924, plain, (ip(uri_rdf__2)=true)). % 29.91/19.32 tff(c_2887, plain, (ic(uri_rdf_XMLLiteral)=true)). % 29.91/19.32 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))). % 29.91/19.32 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))). % 29.91/19.32 tff(c_2378, plain, (ip(uri_rdfs_seeAlso)=true)). % 29.91/19.32 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))). % 29.91/19.32 tff(c_2273, plain, (ip(uri_ex_notInstanceOf)=true)). % 29.91/19.32 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))). % 29.91/19.32 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))). % 29.91/19.32 tff(c_1578, plain, (ip(uri_rdf__1)=true)). % 29.91/19.32 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))). % 29.91/19.32 tff(c_1444, plain, (ic(uri_rdf_Bag)=true)). % 29.91/19.32 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))). % 29.91/19.32 tff(c_1408, plain, (ic(uri_rdfs_Literal)=true)). % 29.91/19.32 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))). % 29.91/19.32 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))). % 29.91/19.32 tff(c_1346, plain, (ip(uri_rdf_type)=true)). % 29.91/19.32 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))). % 29.91/19.32 tff(c_1253, plain, (ic(uri_rdfs_Seq)=true)). % 29.91/19.32 tff(c_170, plain, (![P_51]: (ifeq(ip(P_51), true, iext(uri_rdfs_subPropertyOf, P_51, P_51), true)=true))). % 29.91/19.32 tff(c_1191, plain, (ip(uri_rdfs_subClassOf)=true)). % 29.91/19.32 tff(c_162, plain, (![P_43, Q_44]: (ifeq(iext(uri_rdfs_subPropertyOf, P_43, Q_44), true, ip(Q_44), true)=true))). % 29.91/19.32 tff(c_1121, plain, (ip(uri_rdfs_domain)=true)). % 29.91/19.32 tff(c_58, plain, (![C_15]: (ifeq(ic(C_15), true, iext(uri_rdfs_subClassOf, C_15, uri_rdfs_Resource), true)=true))). % 29.91/19.32 tff(c_1060, plain, (ip(uri_rdfs_range)=true)). % 29.91/19.32 tff(c_152, plain, (![C_37, D_38]: (ifeq(iext(uri_rdfs_subClassOf, C_37, D_38), true, ic(C_37), true)=true))). % 29.91/19.32 tff(c_987, plain, (ip(uri_rdf_rest)=true)). % 29.91/19.32 tff(c_4, plain, (![P_4, S_5, O_6]: (ifeq(iext(P_4, S_5, O_6), true, ip(P_4), true)=true))). % 29.91/19.32 tff(c_744, plain, (ip(uri_rdf_first)=true)). % 29.91/19.32 tff(c_30, plain, (![P_10]: (ifeq(iext(uri_rdf_type, P_10, uri_rdf_Property), true, ip(P_10), true)=true))). % 29.91/19.32 tff(c_677, plain, (ic(uri_rdfs_Container)=true)). % 29.91/19.32 tff(c_28, plain, (![P_9]: (ifeq(ip(P_9), true, iext(uri_rdf_type, P_9, uri_rdf_Property), true)=true))). % 29.91/19.32 tff(c_620, plain, (ip(uri_rdfs_isDefinedBy)=true)). % 29.91/19.32 tff(c_591, plain, (ic(uri_rdf_Property)=true)). % 29.91/19.32 tff(c_156, plain, (![C_39]: (ifeq(ic(C_39), true, iext(uri_rdfs_subClassOf, C_39, C_39), true)=true))). % 29.91/19.32 tff(c_555, plain, (ic(uri_rdfs_Class)=true)). % 29.91/19.32 tff(c_164, plain, (![P_45, Q_46]: (ifeq(iext(uri_rdfs_subPropertyOf, P_45, Q_46), true, ip(P_45), true)=true))). % 29.91/19.32 tff(c_150, plain, (![C_35, D_36]: (ifeq(iext(uri_rdfs_subClassOf, C_35, D_36), true, ic(D_36), true)=true))). % 29.91/19.32 tff(c_114, plain, (![X_22]: (ifeq(ic(X_22), true, icext(uri_rdfs_Class, X_22), true)=true))). % 29.91/19.32 tff(c_124, plain, (![X_27]: (ifeq(lv(X_27), true, icext(uri_rdfs_Literal, X_27), true)=true))). % 29.91/19.32 tff(c_122, plain, (![X_26]: (ifeq(icext(uri_rdfs_Literal, X_26), true, lv(X_26), true)=true))). % 29.91/19.32 tff(c_116, plain, (![X_23]: (ifeq(icext(uri_rdfs_Class, X_23), true, ic(X_23), true)=true))). % 29.91/19.32 tff(c_470, plain, (![X_60]: (icext(uri_rdfs_Resource, X_60)=true))). % 29.91/19.32 tff(c_193, plain, (![X_8]: (ifeq(lv(X_8), true, true, true)=true))). % 29.91/19.32 tff(c_2, plain, (![A_1, B_2, C_3]: (ifeq(A_1, A_1, B_2, C_3)=B_2))). % 29.91/19.32 tff(c_18, plain, (iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_106, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class)=true)). % 29.91/19.32 tff(c_34, plain, (iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_12, plain, (iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List)=true)). % 29.91/19.32 tff(c_178, plain, (iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_98, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container)=true)). % 29.91/19.32 tff(c_46, plain, (iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_144, plain, (iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_184, plain, (iext(uri_owl_propertyDisjointWith, uri_ex_notInstanceOf, uri_rdf_type)=true)). % 29.91/19.32 tff(c_94, plain, (iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_96, plain, (iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_90, plain, (iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_16, plain, (iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_142, plain, (iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement)=true)). % 29.91/19.32 tff(c_154, plain, (iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class)=true)). % 29.91/19.32 tff(c_20, plain, (iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_92, plain, (iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty)=true)). % 29.91/19.32 tff(c_44, plain, (iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso)=true)). % 29.91/19.32 tff(c_22, plain, (iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property)=true)). % 29.91/19.32 tff(c_88, plain, (iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_86, plain, (iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_180, plain, (iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_100, plain, (iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal)=true)). % 29.91/19.32 tff(c_42, plain, (iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_36, plain, (iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource)=true)). % 29.91/19.32 tff(c_38, plain, (iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal)=true)). % 29.91/19.32 tff(c_140, plain, (iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_62, plain, (iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_78, plain, (iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_68, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container)=true)). % 29.91/19.33 tff(c_40, plain, (iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_146, plain, (iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class)=true)). % 29.91/19.33 tff(c_82, plain, (iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_64, plain, (iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List)=true)). % 29.91/19.33 tff(c_84, plain, (iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_138, plain, (iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement)=true)). % 29.91/19.33 tff(c_186, plain, (iext(uri_rdf_type, uri_ex_w, uri_ex_c)=true)). % 29.91/19.33 tff(c_66, plain, (iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List)=true)). % 29.91/19.33 tff(c_176, plain, (iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class)=true)). % 29.91/19.33 tff(c_132, plain, (iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class)=true)). % 29.91/19.33 tff(c_24, plain, (iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_102, plain, (iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype)=true)). % 29.91/19.33 tff(c_74, plain, (iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_128, plain, (iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_26, plain, (iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_168, plain, (iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_80, plain, (iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_160, plain, (iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_48, plain, (iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal)=true)). % 29.91/19.33 tff(c_76, plain, (iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_134, plain, (iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement)=true)). % 29.91/19.33 tff(c_112, plain, (iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class)=true)). % 29.91/19.33 tff(c_50, plain, (iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_126, plain, (iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class)=true)). % 29.91/19.33 tff(c_108, plain, (iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_10, plain, (iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_14, plain, (iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property)=true)). % 29.91/19.33 tff(c_70, plain, (iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container)=true)). % 29.91/19.33 tff(c_52, plain, (iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_60, plain, (iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List)=true)). % 29.91/19.33 tff(c_174, plain, (iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource)=true)). % 29.91/19.33 tff(c_182, plain, (iext(uri_ex_notInstanceOf, uri_ex_u, uri_ex_c)=true)). % 29.91/19.33 tff(c_188, plain, (iext(uri_owl_differentFrom, uri_ex_w, uri_ex_u)!=true)). % 29.91/19.33 tff(c_6, plain, (![X_7]: (ir(X_7)=true))). % 29.91/19.33 % SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 29.91/19.33 %------------------------------------------------------------------------------