%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : SWB053+1 : TPTP v8.1.2. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n009.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 : Fri May 19 12:08:41 EDT 2023
% Result : Theorem 138.88s 134.30s
% Output : Proof 138.88s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.14 % Problem : SWB053+1 : TPTP v8.1.2. Released v5.2.0.
% 0.09/0.15 % Command : nanocop.sh %s %d
% 0.15/0.36 % Computer : n009.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 300
% 0.15/0.36 % DateTime : Thu May 18 20:49:47 EDT 2023
% 0.15/0.36 % CPUTime :
% 138.88/134.30
% 138.88/134.30 /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 138.88/134.30 Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 138.88/134.30 %-----------------------------------------------------
% 138.88/134.30 ncf(matrix, plain, [(7819 ^ _35448) ^ [] : [iext(uri_rdfs_subClassOf, uri_owl_Nothing, uri_ex_c)], (142 ^ _35448) ^ [_37316, _37318, _37320, _37322] : [-(literal_typed(_37322, _37318) = literal_typed(_37320, _37316)), _37322 = _37320, _37318 = _37316], (2 ^ _35448) ^ [_35478] : [-(_35478 = _35478)], (4 ^ _35448) ^ [_35501, _35503] : [_35503 = _35501, -(_35501 = _35503)], (10 ^ _35448) ^ [_35574, _35576, _35578] : [-(_35578 = _35574), _35578 = _35576, _35576 = _35574], (20 ^ _35448) ^ [_35711, _35713] : [-(ioap(_35711)), _35713 = _35711, ioap(_35713)], (30 ^ _35448) ^ [_35836, _35838] : [-(ix(_35836)), _35838 = _35836, ix(_35838)], (40 ^ _35448) ^ [_35961, _35963] : [-(ioxp(_35961)), _35963 = _35961, ioxp(_35963)], (50 ^ _35448) ^ [_36086, _36088] : [-(ic(_36086)), _36088 = _36086, ic(_36088)], (60 ^ _35448) ^ [_36211, _36213] : [-(ip(_36211)), _36213 = _36211, ip(_36213)], (70 ^ _35448) ^ [_36336, _36338] : [-(idc(_36336)), _36338 = _36336, idc(_36338)], (80 ^ _35448) ^ [_36461, _36463, _36465, _36467] : [-(icext(_36465, _36461)), icext(_36467, _36463), _36467 = _36465, _36463 = _36461], (94 ^ _35448) ^ [_36654, _36656] : [-(ir(_36654)), _36656 = _36654, ir(_36656)], (104 ^ _35448) ^ [_36779, _36781] : [-(lv(_36779)), _36781 = _36779, lv(_36781)], (114 ^ _35448) ^ [_36904, _36906] : [-(iodp(_36904)), _36906 = _36904, iodp(_36906)], (124 ^ _35448) ^ [_37025, _37027, _37029, _37031, _37033, _37035] : [-(iext(_37033, _37029, _37025)), iext(_37035, _37031, _37027), _37035 = _37033, _37031 = _37029, _37027 = _37025], (7817 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_ex_c, uri_owl_Class))], (152 ^ _35448) ^ [_37470, _37472, _37474] : [iext(_37472, _37474, _37470), -(ip(_37472))], (158 ^ _35448) ^ [_37549] : [-(ir(_37549))], (160 ^ _35448) ^ [_37571] : [lv(_37571), -(ir(_37571))], (166 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35448) ^ [_37816] : [iext(uri_rdf_type, _37816, uri_rdf_Property), -(ip(_37816))], (190 ^ _35448) ^ [_37887] : [ip(_37887), -(iext(uri_rdf_type, _37887, uri_rdf_Property))], (196 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35448) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35448) ^ [_38177, _38179] : [iext(uri_rdf_type, _38179, _38177), -(icext(_38177, _38179))], (224 ^ _35448) ^ [_38252, _38254] : [icext(_38252, _38254), -(iext(uri_rdf_type, _38254, _38252))], (230 ^ _35448) ^ [_38333] : [ic(_38333), -(iext(uri_rdfs_subClassOf, _38333, uri_rdfs_Resource))], (236 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35448) ^ [_38516] : [icext(uri_rdfs_ContainerMembershipProperty, _38516), -(iext(uri_rdfs_subPropertyOf, _38516, uri_rdfs_member))], (254 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35448) ^ [_38863] : [icext(uri_rdfs_Datatype, _38863), -(iext(uri_rdfs_subClassOf, _38863, uri_rdfs_Literal))], (290 ^ _35448) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35448) ^ [_38976, _38978, _38980, _38982] : [-(icext(_38980, _38978)), iext(uri_rdfs_domain, _38982, _38980), iext(_38982, _38978, _38976)], (304 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35448) ^ [_39147] : [ic(_39147), -(icext(uri_rdfs_Class, _39147))], (312 ^ _35448) ^ [_39216] : [icext(uri_rdfs_Class, _39216), -(ic(_39216))], (318 ^ _35448) ^ [_39303] : [ir(_39303), -(icext(uri_rdfs_Resource, _39303))], (324 ^ _35448) ^ [_39372] : [icext(uri_rdfs_Resource, _39372), -(ir(_39372))], (330 ^ _35448) ^ [_39459] : [lv(_39459), -(icext(uri_rdfs_Literal, _39459))], (336 ^ _35448) ^ [_39528] : [icext(uri_rdfs_Literal, _39528), -(lv(_39528))], (342 ^ _35448) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35448) ^ [_39639, _39641, _39643, _39645] : [-(icext(_39643, _39639)), iext(uri_rdfs_range, _39645, _39643), iext(_39645, _39641, _39639)], (356 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35448) ^ [_39924, _39926] : [iext(uri_rdfs_subClassOf, _39926, _39924), 375 ^ _35448 : [(376 ^ _35448) ^ [] : [-(ic(_39926))], (378 ^ _35448) ^ [] : [-(ic(_39924))], (380 ^ _35448) ^ [_40039] : [icext(_39926, _40039), -(icext(_39924, _40039))]]], (386 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35448) ^ [_40144] : [ic(_40144), -(iext(uri_rdfs_subClassOf, _40144, _40144))], (394 ^ _35448) ^ [_40219, _40221, _40223] : [-(iext(uri_rdfs_subClassOf, _40223, _40219)), iext(uri_rdfs_subClassOf, _40223, _40221), iext(uri_rdfs_subClassOf, _40221, _40219)], (404 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35448) ^ [_40376, _40378] : [iext(uri_rdfs_subPropertyOf, _40378, _40376), 409 ^ _35448 : [(410 ^ _35448) ^ [] : [-(ip(_40378))], (412 ^ _35448) ^ [] : [-(ip(_40376))], (414 ^ _35448) ^ [_40498, _40500] : [iext(_40378, _40500, _40498), -(iext(_40376, _40500, _40498))]]], (420 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35448) ^ [_40609] : [ip(_40609), -(iext(uri_rdfs_subPropertyOf, _40609, _40609))], (428 ^ _35448) ^ [_40684, _40686, _40688] : [-(iext(uri_rdfs_subPropertyOf, _40688, _40684)), iext(uri_rdfs_subPropertyOf, _40688, _40686), iext(uri_rdfs_subPropertyOf, _40686, _40684)], (438 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35448) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35448) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35448) ^ [_40895] : [ic(_40895), 449 ^ _35448 : [(450 ^ _35448) ^ [_40953] : [icext(_40895, _40953), -(ir(_40953))]]], (456 ^ _35448) ^ [_41032] : [ic(_41032), -(ir(_41032))], (462 ^ _35448) ^ [_41115] : [ic(_41115), -(iext(uri_rdf_type, _41115, uri_rdfs_Class))], (468 ^ _35448) ^ [_41186] : [iext(uri_rdf_type, _41186, uri_rdfs_Class), -(ic(_41186))], (474 ^ _35448) ^ [_41263] : [idc(_41263), 477 ^ _35448 : [(478 ^ _35448) ^ [_41321] : [icext(_41263, _41321), -(lv(_41321))]]], (484 ^ _35448) ^ [_41400] : [idc(_41400), -(ic(_41400))], (490 ^ _35448) ^ [_41483] : [idc(_41483), -(iext(uri_rdf_type, _41483, uri_rdfs_Datatype))], (496 ^ _35448) ^ [_41554] : [iext(uri_rdf_type, _41554, uri_rdfs_Datatype), -(idc(_41554))], (502 ^ _35448) ^ [_41631] : [ioap(_41631), 505 ^ _35448 : [(506 ^ _35448) ^ [_41700, _41702] : [iext(_41631, _41702, _41700), 509 ^ _35448 : [(510 ^ _35448) ^ [] : [-(ir(_41702))], (512 ^ _35448) ^ [] : [-(ir(_41700))]]]]], (514 ^ _35448) ^ [_41807] : [ioap(_41807), -(ip(_41807))], (520 ^ _35448) ^ [_41890] : [ioap(_41890), -(iext(uri_rdf_type, _41890, uri_owl_AnnotationProperty))], (526 ^ _35448) ^ [_41961] : [iext(uri_rdf_type, _41961, uri_owl_AnnotationProperty), -(ioap(_41961))], (532 ^ _35448) ^ [_42038] : [iodp(_42038), 535 ^ _35448 : [(536 ^ _35448) ^ [_42107, _42109] : [iext(_42038, _42109, _42107), 539 ^ _35448 : [(540 ^ _35448) ^ [] : [-(ir(_42109))], (542 ^ _35448) ^ [] : [-(lv(_42107))]]]]], (544 ^ _35448) ^ [_42214] : [iodp(_42214), -(ip(_42214))], (550 ^ _35448) ^ [_42297] : [iodp(_42297), -(iext(uri_rdf_type, _42297, uri_owl_DatatypeProperty))], (556 ^ _35448) ^ [_42368] : [iext(uri_rdf_type, _42368, uri_owl_DatatypeProperty), -(iodp(_42368))], (562 ^ _35448) ^ [_42445] : [ioxp(_42445), 565 ^ _35448 : [(566 ^ _35448) ^ [_42514, _42516] : [iext(_42445, _42516, _42514), 569 ^ _35448 : [(570 ^ _35448) ^ [] : [-(ix(_42516))], (572 ^ _35448) ^ [] : [-(ix(_42514))]]]]], (574 ^ _35448) ^ [_42621] : [ioxp(_42621), -(ip(_42621))], (580 ^ _35448) ^ [_42704] : [ioxp(_42704), -(iext(uri_rdf_type, _42704, uri_owl_OntologyProperty))], (586 ^ _35448) ^ [_42775] : [iext(uri_rdf_type, _42775, uri_owl_OntologyProperty), -(ioxp(_42775))], (592 ^ _35448) ^ [_42852] : [ip(_42852), 595 ^ _35448 : [(596 ^ _35448) ^ [_42921, _42923] : [iext(_42852, _42923, _42921), 599 ^ _35448 : [(600 ^ _35448) ^ [] : [-(ir(_42923))], (602 ^ _35448) ^ [] : [-(ir(_42921))]]]]], (604 ^ _35448) ^ [_43028] : [ip(_43028), -(ir(_43028))], (610 ^ _35448) ^ [_43111] : [ip(_43111), -(iext(uri_rdf_type, _43111, uri_rdf_Property))], (616 ^ _35448) ^ [_43182] : [iext(uri_rdf_type, _43182, uri_rdf_Property), -(ip(_43182))], (623 ^ _35448) ^ [] : [-(ir(621 ^ []))], (625 ^ _35448) ^ [_43295] : [ir(_43295), -(iext(uri_rdf_type, _43295, uri_rdfs_Resource))], (631 ^ _35448) ^ [_43366] : [iext(uri_rdf_type, _43366, uri_rdfs_Resource), -(ir(_43366))], (637 ^ _35448) ^ [_43443] : [ix(_43443), -(ir(_43443))], (643 ^ _35448) ^ [_43526] : [ix(_43526), -(iext(uri_rdf_type, _43526, uri_owl_Ontology))], (649 ^ _35448) ^ [_43597] : [iext(uri_rdf_type, _43597, uri_owl_Ontology), -(ix(_43597))], (655 ^ _35448) ^ [_43674] : [lv(_43674), -(ir(_43674))], (661 ^ _35448) ^ [_43757] : [lv(_43757), -(iext(uri_rdf_type, _43757, uri_rdfs_Literal))], (667 ^ _35448) ^ [_43828] : [iext(uri_rdf_type, _43828, uri_rdfs_Literal), -(lv(_43828))], (673 ^ _35448) ^ [_43905] : [icext(uri_owl_AllDifferent, _43905), -(ir(_43905))], (679 ^ _35448) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35448) ^ [_43996] : [icext(uri_owl_AllDisjointClasses, _43996), -(ir(_43996))], (687 ^ _35448) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35448) ^ [_44087] : [icext(uri_owl_AllDisjointProperties, _44087), -(ir(_44087))], (695 ^ _35448) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35448) ^ [_44178] : [icext(uri_owl_Annotation, _44178), -(ir(_44178))], (703 ^ _35448) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35448) ^ [_44281] : [icext(uri_owl_AnnotationProperty, _44281), -(ioap(_44281))], (711 ^ _35448) ^ [_44350] : [ioap(_44350), -(icext(uri_owl_AnnotationProperty, _44350))], (717 ^ _35448) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35448) ^ [_44443] : [icext(uri_owl_AsymmetricProperty, _44443), -(ip(_44443))], (725 ^ _35448) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35448) ^ [_44534] : [icext(uri_owl_Axiom, _44534), -(ir(_44534))], (733 ^ _35448) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35448) ^ [_44637] : [icext(uri_owl_Class, _44637), -(ic(_44637))], (741 ^ _35448) ^ [_44706] : [ic(_44706), -(icext(uri_owl_Class, _44706))], (747 ^ _35448) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35448) ^ [_44811] : [icext(uri_rdfs_Class, _44811), -(ic(_44811))], (755 ^ _35448) ^ [_44880] : [ic(_44880), -(icext(uri_rdfs_Class, _44880))], (761 ^ _35448) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35448) ^ [_44985] : [icext(uri_owl_DataRange, _44985), -(idc(_44985))], (769 ^ _35448) ^ [_45054] : [idc(_45054), -(icext(uri_owl_DataRange, _45054))], (775 ^ _35448) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35448) ^ [_45159] : [icext(uri_rdfs_Datatype, _45159), -(idc(_45159))], (783 ^ _35448) ^ [_45228] : [idc(_45228), -(icext(uri_rdfs_Datatype, _45228))], (789 ^ _35448) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35448) ^ [_45333] : [icext(uri_owl_DatatypeProperty, _45333), -(iodp(_45333))], (797 ^ _35448) ^ [_45402] : [iodp(_45402), -(icext(uri_owl_DatatypeProperty, _45402))], (803 ^ _35448) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35448) ^ [_45495] : [icext(uri_owl_DeprecatedClass, _45495), -(ic(_45495))], (811 ^ _35448) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35448) ^ [_45586] : [icext(uri_owl_DeprecatedProperty, _45586), -(ip(_45586))], (819 ^ _35448) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35448) ^ [_45677] : [icext(uri_owl_FunctionalProperty, _45677), -(ip(_45677))], (827 ^ _35448) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35448) ^ [_45768] : [icext(uri_owl_InverseFunctionalProperty, _45768), -(ip(_45768))], (835 ^ _35448) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35448) ^ [_45859] : [icext(uri_owl_IrreflexiveProperty, _45859), -(ip(_45859))], (843 ^ _35448) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35448) ^ [_45962] : [icext(uri_rdfs_Literal, _45962), -(lv(_45962))], (851 ^ _35448) ^ [_46031] : [lv(_46031), -(icext(uri_rdfs_Literal, _46031))], (857 ^ _35448) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35448) ^ [_46124] : [icext(uri_owl_NamedIndividual, _46124), -(ir(_46124))], (865 ^ _35448) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35448) ^ [_46215] : [icext(uri_owl_NegativePropertyAssertion, _46215), -(ir(_46215))], (873 ^ _35448) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35448) ^ [_46315] : [icext(uri_owl_Nothing, _46315)], (877 ^ _35448) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35448) ^ [_46368] : [icext(uri_owl_ObjectProperty, _46368), -(ip(_46368))], (885 ^ _35448) ^ [_46437] : [ip(_46437), -(icext(uri_owl_ObjectProperty, _46437))], (891 ^ _35448) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35448) ^ [_46542] : [icext(uri_owl_Ontology, _46542), -(ix(_46542))], (899 ^ _35448) ^ [_46611] : [ix(_46611), -(icext(uri_owl_Ontology, _46611))], (905 ^ _35448) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35448) ^ [_46716] : [icext(uri_owl_OntologyProperty, _46716), -(ioxp(_46716))], (913 ^ _35448) ^ [_46785] : [ioxp(_46785), -(icext(uri_owl_OntologyProperty, _46785))], (919 ^ _35448) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35448) ^ [_46890] : [icext(uri_rdf_Property, _46890), -(ip(_46890))], (927 ^ _35448) ^ [_46959] : [ip(_46959), -(icext(uri_rdf_Property, _46959))], (933 ^ _35448) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35448) ^ [_47052] : [icext(uri_owl_ReflexiveProperty, _47052), -(ip(_47052))], (941 ^ _35448) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35448) ^ [_47155] : [icext(uri_rdfs_Resource, _47155), -(ir(_47155))], (949 ^ _35448) ^ [_47224] : [ir(_47224), -(icext(uri_rdfs_Resource, _47224))], (955 ^ _35448) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35448) ^ [_47317] : [icext(uri_owl_Restriction, _47317), -(ic(_47317))], (963 ^ _35448) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35448) ^ [_47408] : [icext(uri_owl_SymmetricProperty, _47408), -(ip(_47408))], (971 ^ _35448) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35448) ^ [_47511] : [icext(uri_owl_Thing, _47511), -(ir(_47511))], (979 ^ _35448) ^ [_47580] : [ir(_47580), -(icext(uri_owl_Thing, _47580))], (985 ^ _35448) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35448) ^ [_47673] : [icext(uri_owl_TransitiveProperty, _47673), -(ip(_47673))], (993 ^ _35448) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35448) ^ [_47764, _47766] : [iext(uri_owl_allValuesFrom, _47766, _47764), 998 ^ _35448 : [(999 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _47766))], (1001 ^ _35448) ^ [] : [-(ic(_47764))]]], (1003 ^ _35448) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35448) ^ [_47885, _47887] : [iext(uri_owl_annotatedProperty, _47887, _47885), 1008 ^ _35448 : [(1009 ^ _35448) ^ [] : [-(ir(_47887))], (1011 ^ _35448) ^ [] : [-(ir(_47885))]]], (1013 ^ _35448) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35448) ^ [_48004, _48006] : [iext(uri_owl_annotatedSource, _48006, _48004), 1018 ^ _35448 : [(1019 ^ _35448) ^ [] : [-(ir(_48006))], (1021 ^ _35448) ^ [] : [-(ir(_48004))]]], (1023 ^ _35448) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35448) ^ [_48123, _48125] : [iext(uri_owl_annotatedTarget, _48125, _48123), 1028 ^ _35448 : [(1029 ^ _35448) ^ [] : [-(ir(_48125))], (1031 ^ _35448) ^ [] : [-(ir(_48123))]]], (1033 ^ _35448) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35448) ^ [_48242, _48244] : [iext(uri_owl_assertionProperty, _48244, _48242), 1038 ^ _35448 : [(1039 ^ _35448) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48244))], (1041 ^ _35448) ^ [] : [-(ip(_48242))]]], (1043 ^ _35448) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35448) ^ [_48363, _48365] : [iext(uri_owl_backwardCompatibleWith, _48365, _48363), 1048 ^ _35448 : [(1049 ^ _35448) ^ [] : [-(ix(_48365))], (1051 ^ _35448) ^ [] : [-(ix(_48363))]]], (1053 ^ _35448) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35448) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35448) ^ [_48512, _48514] : [iext(uri_owl_bottomDataProperty, _48514, _48512)], (1059 ^ _35448) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35448) ^ [_48568, _48570] : [iext(uri_owl_bottomObjectProperty, _48570, _48568)], (1063 ^ _35448) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35448) ^ [_48612, _48614] : [iext(uri_owl_cardinality, _48614, _48612), 1068 ^ _35448 : [(1069 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _48614))], (1071 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48612))]]], (1073 ^ _35448) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35448) ^ [_48735, _48737] : [iext(uri_rdfs_comment, _48737, _48735), 1078 ^ _35448 : [(1079 ^ _35448) ^ [] : [-(ir(_48737))], (1081 ^ _35448) ^ [] : [-(lv(_48735))]]], (1083 ^ _35448) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35448) ^ [_48854, _48856] : [iext(uri_owl_complementOf, _48856, _48854), 1088 ^ _35448 : [(1089 ^ _35448) ^ [] : [-(ic(_48856))], (1091 ^ _35448) ^ [] : [-(ic(_48854))]]], (1093 ^ _35448) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35448) ^ [_48973, _48975] : [iext(uri_owl_datatypeComplementOf, _48975, _48973), 1098 ^ _35448 : [(1099 ^ _35448) ^ [] : [-(idc(_48975))], (1101 ^ _35448) ^ [] : [-(idc(_48973))]]], (1103 ^ _35448) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35448) ^ [_49092, _49094] : [iext(uri_owl_deprecated, _49094, _49092), 1108 ^ _35448 : [(1109 ^ _35448) ^ [] : [-(ir(_49094))], (1111 ^ _35448) ^ [] : [-(ir(_49092))]]], (1113 ^ _35448) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35448) ^ [_49211, _49213] : [iext(uri_owl_differentFrom, _49213, _49211), 1118 ^ _35448 : [(1119 ^ _35448) ^ [] : [-(ir(_49213))], (1121 ^ _35448) ^ [] : [-(ir(_49211))]]], (1123 ^ _35448) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35448) ^ [_49330, _49332] : [iext(uri_owl_disjointUnionOf, _49332, _49330), 1128 ^ _35448 : [(1129 ^ _35448) ^ [] : [-(ic(_49332))], (1131 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _49330))]]], (1133 ^ _35448) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35448) ^ [_49451, _49453] : [iext(uri_owl_disjointWith, _49453, _49451), 1138 ^ _35448 : [(1139 ^ _35448) ^ [] : [-(ic(_49453))], (1141 ^ _35448) ^ [] : [-(ic(_49451))]]], (1143 ^ _35448) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35448) ^ [_49570, _49572] : [iext(uri_owl_distinctMembers, _49572, _49570), 1148 ^ _35448 : [(1149 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, _49572))], (1151 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _49570))]]], (1153 ^ _35448) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35448) ^ [_49693, _49695] : [iext(uri_owl_equivalentClass, _49695, _49693), 1158 ^ _35448 : [(1159 ^ _35448) ^ [] : [-(ic(_49695))], (1161 ^ _35448) ^ [] : [-(ic(_49693))]]], (1163 ^ _35448) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35448) ^ [_49812, _49814] : [iext(uri_owl_equivalentProperty, _49814, _49812), 1168 ^ _35448 : [(1169 ^ _35448) ^ [] : [-(ip(_49814))], (1171 ^ _35448) ^ [] : [-(ip(_49812))]]], (1173 ^ _35448) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35448) ^ [_49931, _49933] : [iext(uri_owl_hasKey, _49933, _49931), 1178 ^ _35448 : [(1179 ^ _35448) ^ [] : [-(ic(_49933))], (1181 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _49931))]]], (1183 ^ _35448) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35448) ^ [_50052, _50054] : [iext(uri_owl_hasSelf, _50054, _50052), 1188 ^ _35448 : [(1189 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _50054))], (1191 ^ _35448) ^ [] : [-(ir(_50052))]]], (1193 ^ _35448) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35448) ^ [_50173, _50175] : [iext(uri_owl_hasValue, _50175, _50173), 1198 ^ _35448 : [(1199 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _50175))], (1201 ^ _35448) ^ [] : [-(ir(_50173))]]], (1203 ^ _35448) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35448) ^ [_50294, _50296] : [iext(uri_owl_imports, _50296, _50294), 1208 ^ _35448 : [(1209 ^ _35448) ^ [] : [-(ix(_50296))], (1211 ^ _35448) ^ [] : [-(ix(_50294))]]], (1213 ^ _35448) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35448) ^ [_50413, _50415] : [iext(uri_owl_incompatibleWith, _50415, _50413), 1218 ^ _35448 : [(1219 ^ _35448) ^ [] : [-(ix(_50415))], (1221 ^ _35448) ^ [] : [-(ix(_50413))]]], (1223 ^ _35448) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35448) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35448) ^ [_50550, _50552] : [iext(uri_owl_intersectionOf, _50552, _50550), 1230 ^ _35448 : [(1231 ^ _35448) ^ [] : [-(ic(_50552))], (1233 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _50550))]]], (1235 ^ _35448) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35448) ^ [_50671, _50673] : [iext(uri_owl_inverseOf, _50673, _50671), 1240 ^ _35448 : [(1241 ^ _35448) ^ [] : [-(ip(_50673))], (1243 ^ _35448) ^ [] : [-(ip(_50671))]]], (1245 ^ _35448) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35448) ^ [_50790, _50792] : [iext(uri_rdfs_isDefinedBy, _50792, _50790), 1250 ^ _35448 : [(1251 ^ _35448) ^ [] : [-(ir(_50792))], (1253 ^ _35448) ^ [] : [-(ir(_50790))]]], (1255 ^ _35448) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35448) ^ [_50909, _50911] : [iext(uri_rdfs_label, _50911, _50909), 1260 ^ _35448 : [(1261 ^ _35448) ^ [] : [-(ir(_50911))], (1263 ^ _35448) ^ [] : [-(lv(_50909))]]], (1265 ^ _35448) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35448) ^ [_51028, _51030] : [iext(uri_owl_maxCardinality, _51030, _51028), 1270 ^ _35448 : [(1271 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51030))], (1273 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51028))]]], (1275 ^ _35448) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35448) ^ [_51151, _51153] : [iext(uri_owl_maxQualifiedCardinality, _51153, _51151), 1280 ^ _35448 : [(1281 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51153))], (1283 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51151))]]], (1285 ^ _35448) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35448) ^ [_51274, _51276] : [iext(uri_owl_members, _51276, _51274), 1290 ^ _35448 : [(1291 ^ _35448) ^ [] : [-(ir(_51276))], (1293 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _51274))]]], (1295 ^ _35448) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35448) ^ [_51395, _51397] : [iext(uri_owl_minCardinality, _51397, _51395), 1300 ^ _35448 : [(1301 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51397))], (1303 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51395))]]], (1305 ^ _35448) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35448) ^ [_51518, _51520] : [iext(uri_owl_minQualifiedCardinality, _51520, _51518), 1310 ^ _35448 : [(1311 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51520))], (1313 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51518))]]], (1315 ^ _35448) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35448) ^ [_51641, _51643] : [iext(uri_owl_onClass, _51643, _51641), 1320 ^ _35448 : [(1321 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51643))], (1323 ^ _35448) ^ [] : [-(ic(_51641))]]], (1325 ^ _35448) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35448) ^ [_51762, _51764] : [iext(uri_owl_onDataRange, _51764, _51762), 1330 ^ _35448 : [(1331 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _51764))], (1333 ^ _35448) ^ [] : [-(idc(_51762))]]], (1335 ^ _35448) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35448) ^ [_51883, _51885] : [iext(uri_owl_onDatatype, _51885, _51883), 1340 ^ _35448 : [(1341 ^ _35448) ^ [] : [-(idc(_51885))], (1343 ^ _35448) ^ [] : [-(idc(_51883))]]], (1345 ^ _35448) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35448) ^ [_52002, _52004] : [iext(uri_owl_oneOf, _52004, _52002), 1350 ^ _35448 : [(1351 ^ _35448) ^ [] : [-(ic(_52004))], (1353 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _52002))]]], (1355 ^ _35448) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35448) ^ [_52123, _52125] : [iext(uri_owl_onProperty, _52125, _52123), 1360 ^ _35448 : [(1361 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _52125))], (1363 ^ _35448) ^ [] : [-(ip(_52123))]]], (1365 ^ _35448) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35448) ^ [_52244, _52246] : [iext(uri_owl_priorVersion, _52246, _52244), 1370 ^ _35448 : [(1371 ^ _35448) ^ [] : [-(ix(_52246))], (1373 ^ _35448) ^ [] : [-(ix(_52244))]]], (1375 ^ _35448) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35448) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35448) ^ [_52381, _52383] : [iext(uri_owl_propertyChainAxiom, _52383, _52381), 1382 ^ _35448 : [(1383 ^ _35448) ^ [] : [-(ip(_52383))], (1385 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _52381))]]], (1387 ^ _35448) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35448) ^ [_52502, _52504] : [iext(uri_owl_propertyDisjointWith, _52504, _52502), 1392 ^ _35448 : [(1393 ^ _35448) ^ [] : [-(ip(_52504))], (1395 ^ _35448) ^ [] : [-(ip(_52502))]]], (1397 ^ _35448) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35448) ^ [_52621, _52623] : [iext(uri_owl_qualifiedCardinality, _52623, _52621), 1402 ^ _35448 : [(1403 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _52623))], (1405 ^ _35448) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52621))]]], (1407 ^ _35448) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35448) ^ [_52744, _52746] : [iext(uri_owl_sameAs, _52746, _52744), 1412 ^ _35448 : [(1413 ^ _35448) ^ [] : [-(ir(_52746))], (1415 ^ _35448) ^ [] : [-(ir(_52744))]]], (1417 ^ _35448) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35448) ^ [_52863, _52865] : [iext(uri_rdfs_seeAlso, _52865, _52863), 1422 ^ _35448 : [(1423 ^ _35448) ^ [] : [-(ir(_52865))], (1425 ^ _35448) ^ [] : [-(ir(_52863))]]], (1427 ^ _35448) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35448) ^ [_52982, _52984] : [iext(uri_owl_someValuesFrom, _52984, _52982), 1432 ^ _35448 : [(1433 ^ _35448) ^ [] : [-(icext(uri_owl_Restriction, _52984))], (1435 ^ _35448) ^ [] : [-(ic(_52982))]]], (1437 ^ _35448) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35448) ^ [_53103, _53105] : [iext(uri_owl_sourceIndividual, _53105, _53103), 1442 ^ _35448 : [(1443 ^ _35448) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53105))], (1445 ^ _35448) ^ [] : [-(ir(_53103))]]], (1447 ^ _35448) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35448) ^ [_53224, _53226] : [iext(uri_owl_targetIndividual, _53226, _53224), 1452 ^ _35448 : [(1453 ^ _35448) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53226))], (1455 ^ _35448) ^ [] : [-(ir(_53224))]]], (1457 ^ _35448) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35448) ^ [_53345, _53347] : [iext(uri_owl_targetValue, _53347, _53345), 1462 ^ _35448 : [(1463 ^ _35448) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53347))], (1465 ^ _35448) ^ [] : [-(lv(_53345))]]], (1467 ^ _35448) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35448) ^ [_53481, _53483] : [iext(uri_owl_topDataProperty, _53483, _53481), 1472 ^ _35448 : [(1473 ^ _35448) ^ [] : [-(ir(_53483))], (1475 ^ _35448) ^ [] : [-(lv(_53481))]]], (1477 ^ _35448) ^ [_53578, _53580] : [-(iext(uri_owl_topDataProperty, _53580, _53578)), ir(_53580), lv(_53578)], (1487 ^ _35448) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35448) ^ [_53740, _53742] : [iext(uri_owl_topObjectProperty, _53742, _53740), 1492 ^ _35448 : [(1493 ^ _35448) ^ [] : [-(ir(_53742))], (1495 ^ _35448) ^ [] : [-(ir(_53740))]]], (1497 ^ _35448) ^ [_53837, _53839] : [-(iext(uri_owl_topObjectProperty, _53839, _53837)), ir(_53839), ir(_53837)], (1507 ^ _35448) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35448) ^ [_53984, _53986] : [iext(uri_owl_unionOf, _53986, _53984), 1512 ^ _35448 : [(1513 ^ _35448) ^ [] : [-(ic(_53986))], (1515 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _53984))]]], (1517 ^ _35448) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35448) ^ [_54105, _54107] : [iext(uri_owl_versionInfo, _54107, _54105), 1522 ^ _35448 : [(1523 ^ _35448) ^ [] : [-(ir(_54107))], (1525 ^ _35448) ^ [] : [-(ir(_54105))]]], (1527 ^ _35448) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35448) ^ [_54224, _54226] : [iext(uri_owl_versionIRI, _54226, _54224), 1532 ^ _35448 : [(1533 ^ _35448) ^ [] : [-(ix(_54226))], (1535 ^ _35448) ^ [] : [-(ix(_54224))]]], (1537 ^ _35448) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35448) ^ [_54343, _54345] : [iext(uri_owl_withRestrictions, _54345, _54343), 1542 ^ _35448 : [(1543 ^ _35448) ^ [] : [-(idc(_54345))], (1545 ^ _35448) ^ [] : [-(icext(uri_rdf_List, _54343))]]], (1547 ^ _35448) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35448) ^ [_54464, _54466] : [iext(uri_owl_complementOf, _54466, _54464), 1552 ^ _35448 : [(1553 ^ _35448) ^ [] : [-(ic(_54466))], (1555 ^ _35448) ^ [] : [-(ic(_54464))], (1557 ^ _35448) ^ [_54594] : [icext(_54466, _54594), icext(_54464, _54594)], (1563 ^ _35448) ^ [_54668] : [-(icext(_54464, _54668)), -(icext(_54466, _54668))]]], (1569 ^ _35448) ^ [_54712, _54714] : [iext(uri_owl_datatypeComplementOf, _54714, _54712), 1572 ^ _35448 : [(1573 ^ _35448) ^ [_54796] : [icext(_54714, _54796), 1576 ^ _35448 : [(1577 ^ _35448) ^ [] : [-(lv(_54796))], (1579 ^ _35448) ^ [] : [icext(_54712, _54796)]]], (1581 ^ _35448) ^ [_54903] : [-(icext(_54714, _54903)), lv(_54903), -(icext(_54712, _54903))]]], (1609 ^ _35448) ^ [_55305] : [-(iext(uri_owl_intersectionOf, _55305, uri_rdf_nil)), ic(_55305), 1617 ^ _35448 : [(1618 ^ _35448) ^ [] : [-(icext(_55305, 1614 ^ [_55305]))], (1620 ^ _35448) ^ [] : [ir(1614 ^ [_55305])]], 1621 ^ _35448 : [(1622 ^ _35448) ^ [] : [-(ir(1614 ^ [_55305]))], (1624 ^ _35448) ^ [] : [icext(_55305, 1614 ^ [_55305])]]], (1591 ^ _35448) ^ [_55055] : [iext(uri_owl_intersectionOf, _55055, uri_rdf_nil), 1594 ^ _35448 : [(1595 ^ _35448) ^ [] : [-(ic(_55055))], (1597 ^ _35448) ^ [_55155] : [icext(_55055, _55155), -(ir(_55155))], (1603 ^ _35448) ^ [_55226] : [ir(_55226), -(icext(_55055, _55226))]]], (1628 ^ _35448) ^ [_55575, _55577, _55579] : [iext(uri_rdf_first, _55577, _55575), iext(uri_rdf_rest, _55577, uri_rdf_nil), 1635 ^ _35448 : [(1636 ^ _35448) ^ [] : [iext(uri_owl_intersectionOf, _55579, _55577), 1639 ^ _35448 : [(1640 ^ _35448) ^ [] : [-(ic(_55579))], (1642 ^ _35448) ^ [] : [-(ic(_55575))], (1644 ^ _35448) ^ [_55824] : [icext(_55579, _55824), -(icext(_55575, _55824))], (1650 ^ _35448) ^ [_55901] : [icext(_55575, _55901), -(icext(_55579, _55901))]]], (1656 ^ _35448) ^ [] : [-(iext(uri_owl_intersectionOf, _55579, _55577)), ic(_55579), ic(_55575), 1668 ^ _35448 : [(1669 ^ _35448) ^ [] : [-(icext(_55579, 1665 ^ [_55575, _55577, _55579]))], (1671 ^ _35448) ^ [] : [icext(_55575, 1665 ^ [_55575, _55577, _55579])]], 1672 ^ _35448 : [(1673 ^ _35448) ^ [] : [-(icext(_55575, 1665 ^ [_55575, _55577, _55579]))], (1675 ^ _35448) ^ [] : [icext(_55579, 1665 ^ [_55575, _55577, _55579])]]]]], (1679 ^ _35448) ^ [_56322, _56324, _56326, _56328, _56330] : [iext(uri_rdf_first, _56328, _56326), iext(uri_rdf_rest, _56328, _56324), iext(uri_rdf_first, _56324, _56322), iext(uri_rdf_rest, _56324, uri_rdf_nil), 1694 ^ _35448 : [(1695 ^ _35448) ^ [] : [iext(uri_owl_intersectionOf, _56330, _56328), 1698 ^ _35448 : [(1699 ^ _35448) ^ [] : [-(ic(_56330))], (1701 ^ _35448) ^ [] : [-(ic(_56326))], (1703 ^ _35448) ^ [] : [-(ic(_56322))], (1705 ^ _35448) ^ [_56734] : [icext(_56330, _56734), 1708 ^ _35448 : [(1709 ^ _35448) ^ [] : [-(icext(_56326, _56734))], (1711 ^ _35448) ^ [] : [-(icext(_56322, _56734))]]], (1713 ^ _35448) ^ [_56841] : [-(icext(_56330, _56841)), icext(_56326, _56841), icext(_56322, _56841)]]], (1723 ^ _35448) ^ [] : [-(iext(uri_owl_intersectionOf, _56330, _56328)), ic(_56330), ic(_56326), ic(_56322), 1747 ^ _35448 : [(1748 ^ _35448) ^ [] : [-(icext(_56326, 1736 ^ [_56322, _56324, _56326, _56328, _56330]))], (1750 ^ _35448) ^ [] : [-(icext(_56322, 1736 ^ [_56322, _56324, _56326, _56328, _56330]))], (1752 ^ _35448) ^ [] : [icext(_56330, 1736 ^ [_56322, _56324, _56326, _56328, _56330])]], 1739 ^ _35448 : [(1740 ^ _35448) ^ [] : [-(icext(_56330, 1736 ^ [_56322, _56324, _56326, _56328, _56330]))], (1742 ^ _35448) ^ [] : [icext(_56326, 1736 ^ [_56322, _56324, _56326, _56328, _56330]), icext(_56322, 1736 ^ [_56322, _56324, _56326, _56328, _56330])]]]]], (1756 ^ _35448) ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533] : [iext(uri_rdf_first, _57531, _57529), iext(uri_rdf_rest, _57531, _57527), iext(uri_rdf_first, _57527, _57525), iext(uri_rdf_rest, _57527, _57523), iext(uri_rdf_first, _57523, _57521), iext(uri_rdf_rest, _57523, uri_rdf_nil), 1779 ^ _35448 : [(1780 ^ _35448) ^ [] : [iext(uri_owl_intersectionOf, _57533, _57531), 1783 ^ _35448 : [(1784 ^ _35448) ^ [] : [-(ic(_57533))], (1786 ^ _35448) ^ [] : [-(ic(_57529))], (1788 ^ _35448) ^ [] : [-(ic(_57525))], (1790 ^ _35448) ^ [] : [-(ic(_57521))], (1792 ^ _35448) ^ [_58112] : [icext(_57533, _58112), 1795 ^ _35448 : [(1796 ^ _35448) ^ [] : [-(icext(_57529, _58112))], (1798 ^ _35448) ^ [] : [-(icext(_57525, _58112))], (1800 ^ _35448) ^ [] : [-(icext(_57521, _58112))]]], (1802 ^ _35448) ^ [_58247] : [-(icext(_57533, _58247)), icext(_57529, _58247), icext(_57525, _58247), icext(_57521, _58247)]]], (1816 ^ _35448) ^ [] : [-(iext(uri_owl_intersectionOf, _57533, _57531)), ic(_57533), ic(_57529), ic(_57525), ic(_57521), 1848 ^ _35448 : [(1849 ^ _35448) ^ [] : [-(icext(_57529, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]))], (1851 ^ _35448) ^ [] : [-(icext(_57525, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]))], (1853 ^ _35448) ^ [] : [-(icext(_57521, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]))], (1855 ^ _35448) ^ [] : [icext(_57533, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533])]], 1836 ^ _35448 : [(1837 ^ _35448) ^ [] : [-(icext(_57533, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]))], (1839 ^ _35448) ^ [] : [icext(_57529, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]), icext(_57525, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533]), icext(_57521, 1833 ^ [_57521, _57523, _57525, _57527, _57529, _57531, _57533])]]]]], (1859 ^ _35448) ^ [_59228, _59230, _59232] : [-(idc(_59232)), iext(uri_rdf_first, _59230, _59228), iext(uri_rdf_rest, _59230, uri_rdf_nil), idc(_59228), iext(uri_owl_intersectionOf, _59232, _59230)], (1877 ^ _35448) ^ [_59471, _59473, _59475, _59477, _59479] : [-(idc(_59479)), iext(uri_rdf_first, _59477, _59475), iext(uri_rdf_rest, _59477, _59473), iext(uri_rdf_first, _59473, _59471), iext(uri_rdf_rest, _59473, uri_rdf_nil), idc(_59475), idc(_59471), iext(uri_owl_intersectionOf, _59479, _59477)], (1907 ^ _35448) ^ [_59906, _59908, _59910, _59912, _59914, _59916, _59918] : [-(idc(_59918)), iext(uri_rdf_first, _59916, _59914), iext(uri_rdf_rest, _59916, _59912), iext(uri_rdf_first, _59912, _59910), iext(uri_rdf_rest, _59912, _59908), iext(uri_rdf_first, _59908, _59906), iext(uri_rdf_rest, _59908, uri_rdf_nil), idc(_59914), idc(_59910), idc(_59906), iext(uri_owl_intersectionOf, _59918, _59916)], (1949 ^ _35448) ^ [_60569] : [iext(uri_owl_unionOf, _60569, uri_rdf_nil), 1952 ^ _35448 : [(1953 ^ _35448) ^ [] : [-(ic(_60569))], (1955 ^ _35448) ^ [_60659] : [icext(_60569, _60659)]]], (1957 ^ _35448) ^ [_60684] : [-(iext(uri_owl_unionOf, _60684, uri_rdf_nil)), ic(_60684), -(icext(_60684, 1962 ^ [_60684]))], (1968 ^ _35448) ^ [_60824, _60826, _60828] : [iext(uri_rdf_first, _60826, _60824), iext(uri_rdf_rest, _60826, uri_rdf_nil), 1975 ^ _35448 : [(1976 ^ _35448) ^ [] : [iext(uri_owl_unionOf, _60828, _60826), 1979 ^ _35448 : [(1980 ^ _35448) ^ [] : [-(ic(_60828))], (1982 ^ _35448) ^ [] : [-(ic(_60824))], (1984 ^ _35448) ^ [_61073] : [icext(_60828, _61073), -(icext(_60824, _61073))], (1990 ^ _35448) ^ [_61150] : [icext(_60824, _61150), -(icext(_60828, _61150))]]], (1996 ^ _35448) ^ [] : [-(iext(uri_owl_unionOf, _60828, _60826)), ic(_60828), ic(_60824), 2008 ^ _35448 : [(2009 ^ _35448) ^ [] : [-(icext(_60828, 2005 ^ [_60824, _60826, _60828]))], (2011 ^ _35448) ^ [] : [icext(_60824, 2005 ^ [_60824, _60826, _60828])]], 2012 ^ _35448 : [(2013 ^ _35448) ^ [] : [-(icext(_60824, 2005 ^ [_60824, _60826, _60828]))], (2015 ^ _35448) ^ [] : [icext(_60828, 2005 ^ [_60824, _60826, _60828])]]]]], (2019 ^ _35448) ^ [_61571, _61573, _61575, _61577, _61579] : [iext(uri_rdf_first, _61577, _61575), iext(uri_rdf_rest, _61577, _61573), iext(uri_rdf_first, _61573, _61571), iext(uri_rdf_rest, _61573, uri_rdf_nil), 2034 ^ _35448 : [(2035 ^ _35448) ^ [] : [iext(uri_owl_unionOf, _61579, _61577), 2038 ^ _35448 : [(2039 ^ _35448) ^ [] : [-(ic(_61579))], (2041 ^ _35448) ^ [] : [-(ic(_61575))], (2043 ^ _35448) ^ [] : [-(ic(_61571))], (2055 ^ _35448) ^ [_62077] : [2056 ^ _35448 : [(2057 ^ _35448) ^ [] : [icext(_61575, _62077)], (2059 ^ _35448) ^ [] : [icext(_61571, _62077)]], -(icext(_61579, _62077))], (2045 ^ _35448) ^ [_61983] : [icext(_61579, _61983), -(icext(_61575, _61983)), -(icext(_61571, _61983))]]], (2063 ^ _35448) ^ [] : [-(iext(uri_owl_unionOf, _61579, _61577)), ic(_61579), ic(_61575), ic(_61571), 2079 ^ _35448 : [(2080 ^ _35448) ^ [] : [-(icext(_61579, 2076 ^ [_61571, _61573, _61575, _61577, _61579]))], (2082 ^ _35448) ^ [] : [icext(_61575, 2076 ^ [_61571, _61573, _61575, _61577, _61579])], (2084 ^ _35448) ^ [] : [icext(_61571, 2076 ^ [_61571, _61573, _61575, _61577, _61579])]], 2085 ^ _35448 : [(2092 ^ _35448) ^ [] : [icext(_61579, 2076 ^ [_61571, _61573, _61575, _61577, _61579])], (2086 ^ _35448) ^ [] : [-(icext(_61575, 2076 ^ [_61571, _61573, _61575, _61577, _61579])), -(icext(_61571, 2076 ^ [_61571, _61573, _61575, _61577, _61579]))]]]]], (2096 ^ _35448) ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711] : [iext(uri_rdf_first, _62709, _62707), iext(uri_rdf_rest, _62709, _62705), iext(uri_rdf_first, _62705, _62703), iext(uri_rdf_rest, _62705, _62701), iext(uri_rdf_first, _62701, _62699), iext(uri_rdf_rest, _62701, uri_rdf_nil), 2119 ^ _35448 : [(2120 ^ _35448) ^ [] : [iext(uri_owl_unionOf, _62711, _62709), 2123 ^ _35448 : [(2124 ^ _35448) ^ [] : [-(ic(_62711))], (2126 ^ _35448) ^ [] : [-(ic(_62707))], (2128 ^ _35448) ^ [] : [-(ic(_62703))], (2130 ^ _35448) ^ [] : [-(ic(_62699))], (2146 ^ _35448) ^ [_63401] : [2147 ^ _35448 : [(2148 ^ _35448) ^ [] : [icext(_62707, _63401)], (2150 ^ _35448) ^ [] : [icext(_62703, _63401)], (2152 ^ _35448) ^ [] : [icext(_62699, _63401)]], -(icext(_62711, _63401))], (2132 ^ _35448) ^ [_63290] : [icext(_62711, _63290), -(icext(_62707, _63290)), -(icext(_62703, _63290)), -(icext(_62699, _63290))]]], (2156 ^ _35448) ^ [] : [-(iext(uri_owl_unionOf, _62711, _62709)), ic(_62711), ic(_62707), ic(_62703), ic(_62699), 2176 ^ _35448 : [(2177 ^ _35448) ^ [] : [-(icext(_62711, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711]))], (2179 ^ _35448) ^ [] : [icext(_62707, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])], (2181 ^ _35448) ^ [] : [icext(_62703, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])], (2183 ^ _35448) ^ [] : [icext(_62699, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])]], 2184 ^ _35448 : [(2195 ^ _35448) ^ [] : [icext(_62711, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])], (2185 ^ _35448) ^ [] : [-(icext(_62707, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])), -(icext(_62703, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711])), -(icext(_62699, 2173 ^ [_62699, _62701, _62703, _62705, _62707, _62709, _62711]))]]]]], (2199 ^ _35448) ^ [_64247, _64249, _64251] : [-(idc(_64251)), iext(uri_rdf_first, _64249, _64247), iext(uri_rdf_rest, _64249, uri_rdf_nil), idc(_64247), iext(uri_owl_unionOf, _64251, _64249)], (2217 ^ _35448) ^ [_64490, _64492, _64494, _64496, _64498] : [-(idc(_64498)), iext(uri_rdf_first, _64496, _64494), iext(uri_rdf_rest, _64496, _64492), iext(uri_rdf_first, _64492, _64490), iext(uri_rdf_rest, _64492, uri_rdf_nil), idc(_64494), idc(_64490), iext(uri_owl_unionOf, _64498, _64496)], (2247 ^ _35448) ^ [_64925, _64927, _64929, _64931, _64933, _64935, _64937] : [-(idc(_64937)), iext(uri_rdf_first, _64935, _64933), iext(uri_rdf_rest, _64935, _64931), iext(uri_rdf_first, _64931, _64929), iext(uri_rdf_rest, _64931, _64927), iext(uri_rdf_first, _64927, _64925), iext(uri_rdf_rest, _64927, uri_rdf_nil), idc(_64933), idc(_64929), idc(_64925), iext(uri_owl_unionOf, _64937, _64935)], (2289 ^ _35448) ^ [_65588] : [iext(uri_owl_oneOf, _65588, uri_rdf_nil), 2292 ^ _35448 : [(2293 ^ _35448) ^ [] : [-(ic(_65588))], (2295 ^ _35448) ^ [_65678] : [icext(_65588, _65678)]]], (2297 ^ _35448) ^ [_65703] : [-(iext(uri_owl_oneOf, _65703, uri_rdf_nil)), ic(_65703), -(icext(_65703, 2302 ^ [_65703]))], (2308 ^ _35448) ^ [_65843, _65845, _65847] : [iext(uri_rdf_first, _65845, _65843), iext(uri_rdf_rest, _65845, uri_rdf_nil), 2315 ^ _35448 : [(2334 ^ _35448) ^ [] : [-(iext(uri_owl_oneOf, _65847, _65845)), ic(_65847), 2342 ^ _35448 : [(2343 ^ _35448) ^ [] : [-(icext(_65847, 2339 ^ [_65843, _65845, _65847]))], (2345 ^ _35448) ^ [] : [2339 ^ [_65843, _65845, _65847] = _65843]], 2346 ^ _35448 : [(2347 ^ _35448) ^ [] : [-(2339 ^ [_65843, _65845, _65847] = _65843)], (2349 ^ _35448) ^ [] : [icext(_65847, 2339 ^ [_65843, _65845, _65847])]]], (2316 ^ _35448) ^ [] : [iext(uri_owl_oneOf, _65847, _65845), 2319 ^ _35448 : [(2320 ^ _35448) ^ [] : [-(ic(_65847))], (2322 ^ _35448) ^ [_66067] : [icext(_65847, _66067), -(_66067 = _65843)], (2328 ^ _35448) ^ [_66144] : [_66144 = _65843, -(icext(_65847, _66144))]]]]], (2353 ^ _35448) ^ [_66516, _66518, _66520, _66522, _66524] : [iext(uri_rdf_first, _66522, _66520), iext(uri_rdf_rest, _66522, _66518), iext(uri_rdf_first, _66518, _66516), iext(uri_rdf_rest, _66518, uri_rdf_nil), 2368 ^ _35448 : [(2393 ^ _35448) ^ [] : [-(iext(uri_owl_oneOf, _66524, _66522)), ic(_66524), 2401 ^ _35448 : [(2402 ^ _35448) ^ [] : [-(icext(_66524, 2398 ^ [_66516, _66518, _66520, _66522, _66524]))], (2404 ^ _35448) ^ [] : [2398 ^ [_66516, _66518, _66520, _66522, _66524] = _66520], (2406 ^ _35448) ^ [] : [2398 ^ [_66516, _66518, _66520, _66522, _66524] = _66516]], 2407 ^ _35448 : [(2414 ^ _35448) ^ [] : [icext(_66524, 2398 ^ [_66516, _66518, _66520, _66522, _66524])], (2408 ^ _35448) ^ [] : [-(2398 ^ [_66516, _66518, _66520, _66522, _66524] = _66520), -(2398 ^ [_66516, _66518, _66520, _66522, _66524] = _66516)]]], (2369 ^ _35448) ^ [] : [iext(uri_owl_oneOf, _66524, _66522), 2372 ^ _35448 : [(2373 ^ _35448) ^ [] : [-(ic(_66524))], (2385 ^ _35448) ^ [_66972] : [2386 ^ _35448 : [(2387 ^ _35448) ^ [] : [_66972 = _66520], (2389 ^ _35448) ^ [] : [_66972 = _66516]], -(icext(_66524, _66972))], (2375 ^ _35448) ^ [_66878] : [icext(_66524, _66878), -(_66878 = _66520), -(_66878 = _66516)]]]]], (2418 ^ _35448) ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] : [iext(uri_rdf_first, _67498, _67496), iext(uri_rdf_rest, _67498, _67494), iext(uri_rdf_first, _67494, _67492), iext(uri_rdf_rest, _67494, _67490), iext(uri_rdf_first, _67490, _67488), iext(uri_rdf_rest, _67490, uri_rdf_nil), 2441 ^ _35448 : [(2472 ^ _35448) ^ [] : [-(iext(uri_owl_oneOf, _67500, _67498)), ic(_67500), 2480 ^ _35448 : [(2481 ^ _35448) ^ [] : [-(icext(_67500, 2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500]))], (2483 ^ _35448) ^ [] : [2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67496], (2485 ^ _35448) ^ [] : [2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67492], (2487 ^ _35448) ^ [] : [2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67488]], 2488 ^ _35448 : [(2499 ^ _35448) ^ [] : [icext(_67500, 2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500])], (2489 ^ _35448) ^ [] : [-(2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67496), -(2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67492), -(2477 ^ [_67488, _67490, _67492, _67494, _67496, _67498, _67500] = _67488)]]], (2442 ^ _35448) ^ [] : [iext(uri_owl_oneOf, _67500, _67498), 2445 ^ _35448 : [(2446 ^ _35448) ^ [] : [-(ic(_67500))], (2462 ^ _35448) ^ [_68115] : [2463 ^ _35448 : [(2464 ^ _35448) ^ [] : [_68115 = _67496], (2466 ^ _35448) ^ [] : [_68115 = _67492], (2468 ^ _35448) ^ [] : [_68115 = _67488]], -(icext(_67500, _68115))], (2448 ^ _35448) ^ [_68004] : [icext(_67500, _68004), -(_68004 = _67496), -(_68004 = _67492), -(_68004 = _67488)]]]]], (2503 ^ _35448) ^ [_68790, _68792, _68794] : [-(idc(_68794)), iext(uri_rdf_first, _68792, _68790), iext(uri_rdf_rest, _68792, uri_rdf_nil), lv(_68790), iext(uri_owl_oneOf, _68794, _68792)], (2521 ^ _35448) ^ [_69033, _69035, _69037, _69039, _69041] : [-(idc(_69041)), iext(uri_rdf_first, _69039, _69037), iext(uri_rdf_rest, _69039, _69035), iext(uri_rdf_first, _69035, _69033), iext(uri_rdf_rest, _69035, uri_rdf_nil), lv(_69037), lv(_69033), iext(uri_owl_oneOf, _69041, _69039)], (2551 ^ _35448) ^ [_69468, _69470, _69472, _69474, _69476, _69478, _69480] : [-(idc(_69480)), iext(uri_rdf_first, _69478, _69476), iext(uri_rdf_rest, _69478, _69474), iext(uri_rdf_first, _69474, _69472), iext(uri_rdf_rest, _69474, _69470), iext(uri_rdf_first, _69470, _69468), iext(uri_rdf_rest, _69470, uri_rdf_nil), lv(_69476), lv(_69472), lv(_69468), iext(uri_owl_oneOf, _69480, _69478)], (2593 ^ _35448) ^ [_70119, _70121, _70123] : [iext(uri_owl_allValuesFrom, _70123, _70119), iext(uri_owl_onProperty, _70123, _70121), 2600 ^ _35448 : [(2611 ^ _35448) ^ [_70419] : [2613 ^ _35448 : [(2614 ^ _35448) ^ [] : [-(iext(_70121, _70419, 2612 ^ [_70119, _70121, _70123, _70419]))], (2616 ^ _35448) ^ [] : [icext(_70119, 2612 ^ [_70119, _70121, _70123, _70419])]], -(icext(_70123, _70419))], (2601 ^ _35448) ^ [_70266] : [icext(_70123, _70266), 2604 ^ _35448 : [(2605 ^ _35448) ^ [_70334] : [iext(_70121, _70266, _70334), -(icext(_70119, _70334))]]]]], (2620 ^ _35448) ^ [_70585, _70587] : [iext(uri_owl_cardinality, _70587, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70587, _70585), 2627 ^ _35448 : [(2628 ^ _35448) ^ [_70724] : [icext(_70587, _70724), 2631 ^ _35448 : [(2632 ^ _35448) ^ [_70791] : [iext(_70585, _70724, _70791)]]], (2634 ^ _35448) ^ [_70813] : [-(iext(_70585, _70813, 2635 ^ [_70585, _70587, _70813])), -(icext(_70587, _70813))]]], (2641 ^ _35448) ^ [_70865, _70867] : [iext(uri_owl_cardinality, _70867, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70867, _70865), 2648 ^ _35448 : [(2666 ^ _35448) ^ [_71300] : [-(icext(_70867, _71300)), 2669 ^ _35448 : [(2670 ^ _35448) ^ [_71395] : [iext(_70865, _71300, _71395)]], 2673 ^ _35448 : [(2674 ^ _35448) ^ [] : [-(iext(_70865, _71300, 2671 ^ [_70865, _70867, _71300]))], (2676 ^ _35448) ^ [] : [-(iext(_70865, _71300, 2672 ^ [_70865, _70867, _71300]))], (2678 ^ _35448) ^ [] : [2672 ^ [_70865, _70867, _71300] = 2671 ^ [_70865, _70867, _71300]]]], (2649 ^ _35448) ^ [_71032] : [icext(_70867, _71032), 2653 ^ _35448 : [(2654 ^ _35448) ^ [] : [-(iext(_70865, _71032, 2652 ^ [_70865, _70867, _71032]))], (2656 ^ _35448) ^ [_71153, _71155] : [-(_71153 = _71155), iext(_70865, _71032, _71155), iext(_70865, _71032, _71153)]]]]], (2682 ^ _35448) ^ [_71590, _71592] : [iext(uri_owl_cardinality, _71592, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71592, _71590), 2689 ^ _35448 : [(2720 ^ _35448) ^ [_73043] : [-(icext(_71592, _73043)), 2736 ^ _35448 : [(2737 ^ _35448) ^ [] : [-(iext(_71590, _73043, 2733 ^ [_71590, _71592, _73043]))], (2739 ^ _35448) ^ [] : [-(iext(_71590, _73043, 2734 ^ [_71590, _71592, _73043]))], (2741 ^ _35448) ^ [] : [-(iext(_71590, _73043, 2735 ^ [_71590, _71592, _73043]))], (2743 ^ _35448) ^ [] : [2735 ^ [_71590, _71592, _73043] = 2733 ^ [_71590, _71592, _73043]], (2745 ^ _35448) ^ [] : [2735 ^ [_71590, _71592, _73043] = 2734 ^ [_71590, _71592, _73043]]], 2723 ^ _35448 : [(2724 ^ _35448) ^ [_73254, _73256] : [iext(_71590, _73043, _73256), iext(_71590, _73043, _73254), -(_73256 = _73254)]]], (2690 ^ _35448) ^ [_71882] : [icext(_71592, _71882), 2695 ^ _35448 : [(2696 ^ _35448) ^ [] : [-(iext(_71590, _71882, 2693 ^ [_71590, _71592, _71882]))], (2698 ^ _35448) ^ [] : [-(iext(_71590, _71882, 2694 ^ [_71590, _71592, _71882]))], (2700 ^ _35448) ^ [] : [2693 ^ [_71590, _71592, _71882] = 2694 ^ [_71590, _71592, _71882]], (2702 ^ _35448) ^ [_72516, _72518, _72520] : [-(_72516 = _72520), -(_72516 = _72518), iext(_71590, _71882, _72520), iext(_71590, _71882, _72518), iext(_71590, _71882, _72516)]]]]], (2749 ^ _35448) ^ [_74355, _74357] : [iext(uri_owl_cardinality, _74357, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74357, _74355), 2756 ^ _35448 : [(2757 ^ _35448) ^ [_74734] : [icext(_74357, _74734), 2763 ^ _35448 : [(2764 ^ _35448) ^ [] : [-(iext(_74355, _74734, 2760 ^ [_74355, _74357, _74734]))], (2766 ^ _35448) ^ [] : [-(iext(_74355, _74734, 2761 ^ [_74355, _74357, _74734]))], (2768 ^ _35448) ^ [] : [-(iext(_74355, _74734, 2762 ^ [_74355, _74357, _74734]))], (2770 ^ _35448) ^ [] : [2760 ^ [_74355, _74357, _74734] = 2761 ^ [_74355, _74357, _74734]], (2772 ^ _35448) ^ [] : [2760 ^ [_74355, _74357, _74734] = 2762 ^ [_74355, _74357, _74734]], (2774 ^ _35448) ^ [] : [2761 ^ [_74355, _74357, _74734] = 2762 ^ [_74355, _74357, _74734]], (2776 ^ _35448) ^ [_75889, _75891, _75893, _75895] : [-(_75889 = _75895), -(_75889 = _75893), -(_75889 = _75891), iext(_74355, _74734, _75895), iext(_74355, _74734, _75893), iext(_74355, _74734, _75891), iext(_74355, _74734, _75889)]]], (2802 ^ _35448) ^ [_76663] : [-(icext(_74357, _76663)), 2831 ^ _35448 : [(2832 ^ _35448) ^ [] : [-(iext(_74355, _76663, 2827 ^ [_74355, _74357, _76663]))], (2834 ^ _35448) ^ [] : [-(iext(_74355, _76663, 2828 ^ [_74355, _74357, _76663]))], (2836 ^ _35448) ^ [] : [-(iext(_74355, _76663, 2829 ^ [_74355, _74357, _76663]))], (2838 ^ _35448) ^ [] : [-(iext(_74355, _76663, 2830 ^ [_74355, _74357, _76663]))], (2840 ^ _35448) ^ [] : [2830 ^ [_74355, _74357, _76663] = 2827 ^ [_74355, _74357, _76663]], (2842 ^ _35448) ^ [] : [2830 ^ [_74355, _74357, _76663] = 2828 ^ [_74355, _74357, _76663]], (2844 ^ _35448) ^ [] : [2830 ^ [_74355, _74357, _76663] = 2829 ^ [_74355, _74357, _76663]]], 2805 ^ _35448 : [(2806 ^ _35448) ^ [_76934, _76936, _76938] : [iext(_74355, _76663, _76938), iext(_74355, _76663, _76936), iext(_74355, _76663, _76934), -(_76938 = _76936), -(_76938 = _76934), -(_76936 = _76934)]]]]], (2848 ^ _35448) ^ [_78748, _78750, _78752] : [iext(uri_owl_qualifiedCardinality, _78752, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _78752, _78750), iext(uri_owl_onDataRange, _78752, _78748), 2859 ^ _35448 : [(2860 ^ _35448) ^ [] : [-(iodp(_78750))], (2876 ^ _35448) ^ [_79653] : [2878 ^ _35448 : [(2879 ^ _35448) ^ [] : [-(lv(2877 ^ [_78748, _78750, _78752, _79653]))], (2881 ^ _35448) ^ [] : [-(iext(_78750, _79653, 2877 ^ [_78748, _78750, _78752, _79653]))], (2883 ^ _35448) ^ [] : [-(icext(_78748, 2877 ^ [_78748, _78750, _78752, _79653]))]], -(icext(_78752, _79653))], (2862 ^ _35448) ^ [_79201] : [icext(_78752, _79201), 2865 ^ _35448 : [(2866 ^ _35448) ^ [_79360] : [lv(_79360), iext(_78750, _79201, _79360), icext(_78748, _79360)]]]]], (2887 ^ _35448) ^ [_80171, _80173, _80175] : [iext(uri_owl_qualifiedCardinality, _80175, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _80175, _80173), iext(uri_owl_onDataRange, _80175, _80171), 2898 ^ _35448 : [(2899 ^ _35448) ^ [] : [-(iodp(_80173))], (2938 ^ _35448) ^ [_81939] : [-(icext(_80175, _81939)), 2953 ^ _35448 : [(2954 ^ _35448) ^ [] : [-(lv(2951 ^ [_80171, _80173, _80175, _81939]))], (2956 ^ _35448) ^ [] : [-(iext(_80173, _81939, 2951 ^ [_80171, _80173, _80175, _81939]))], (2958 ^ _35448) ^ [] : [-(icext(_80171, 2951 ^ [_80171, _80173, _80175, _81939]))], (2960 ^ _35448) ^ [] : [-(lv(2952 ^ [_80171, _80173, _80175, _81939]))], (2962 ^ _35448) ^ [] : [-(iext(_80173, _81939, 2952 ^ [_80171, _80173, _80175, _81939]))], (2964 ^ _35448) ^ [] : [-(icext(_80171, 2952 ^ [_80171, _80173, _80175, _81939]))], (2966 ^ _35448) ^ [] : [2952 ^ [_80171, _80173, _80175, _81939] = 2951 ^ [_80171, _80173, _80175, _81939]]], 2941 ^ _35448 : [(2942 ^ _35448) ^ [_82137] : [lv(_82137), iext(_80173, _81939, _82137), icext(_80171, _82137)]]], (2901 ^ _35448) ^ [_80674] : [icext(_80175, _80674), 2905 ^ _35448 : [(2906 ^ _35448) ^ [] : [-(lv(2904 ^ [_80171, _80173, _80175, _80674]))], (2908 ^ _35448) ^ [] : [-(iext(_80173, _80674, 2904 ^ [_80171, _80173, _80175, _80674]))], (2910 ^ _35448) ^ [] : [-(icext(_80171, 2904 ^ [_80171, _80173, _80175, _80674]))], (2912 ^ _35448) ^ [_81209, _81211] : [-(_81209 = _81211), lv(_81211), iext(_80173, _80674, _81211), icext(_80171, _81211), lv(_81209), iext(_80173, _80674, _81209), icext(_80171, _81209)]]]]], (2970 ^ _35448) ^ [_83366, _83368, _83370] : [iext(uri_owl_qualifiedCardinality, _83370, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _83370, _83368), iext(uri_owl_onDataRange, _83370, _83366), 2981 ^ _35448 : [(2982 ^ _35448) ^ [] : [-(iodp(_83368))], (3046 ^ _35448) ^ [_86249] : [-(icext(_83370, _86249)), 3078 ^ _35448 : [(3079 ^ _35448) ^ [] : [-(lv(3075 ^ [_83366, _83368, _83370, _86249]))], (3081 ^ _35448) ^ [] : [-(iext(_83368, _86249, 3075 ^ [_83366, _83368, _83370, _86249]))], (3083 ^ _35448) ^ [] : [-(icext(_83366, 3075 ^ [_83366, _83368, _83370, _86249]))], (3085 ^ _35448) ^ [] : [-(lv(3076 ^ [_83366, _83368, _83370, _86249]))], (3087 ^ _35448) ^ [] : [-(iext(_83368, _86249, 3076 ^ [_83366, _83368, _83370, _86249]))], (3089 ^ _35448) ^ [] : [-(icext(_83366, 3076 ^ [_83366, _83368, _83370, _86249]))], (3091 ^ _35448) ^ [] : [-(lv(3077 ^ [_83366, _83368, _83370, _86249]))], (3093 ^ _35448) ^ [] : [-(iext(_83368, _86249, 3077 ^ [_83366, _83368, _83370, _86249]))], (3095 ^ _35448) ^ [] : [-(icext(_83366, 3077 ^ [_83366, _83368, _83370, _86249]))], (3097 ^ _35448) ^ [] : [3077 ^ [_83366, _83368, _83370, _86249] = 3075 ^ [_83366, _83368, _83370, _86249]], (3099 ^ _35448) ^ [] : [3077 ^ [_83366, _83368, _83370, _86249] = 3076 ^ [_83366, _83368, _83370, _86249]]], 3049 ^ _35448 : [(3050 ^ _35448) ^ [_86521, _86523] : [lv(_86523), iext(_83368, _86249, _86523), icext(_83366, _86523), lv(_86521), iext(_83368, _86249, _86521), icext(_83366, _86521), -(_86523 = _86521)]]], (2984 ^ _35448) ^ [_83929] : [icext(_83370, _83929), 2989 ^ _35448 : [(2990 ^ _35448) ^ [] : [-(lv(2987 ^ [_83366, _83368, _83370, _83929]))], (2992 ^ _35448) ^ [] : [-(iext(_83368, _83929, 2987 ^ [_83366, _83368, _83370, _83929]))], (2994 ^ _35448) ^ [] : [-(icext(_83366, 2987 ^ [_83366, _83368, _83370, _83929]))], (2996 ^ _35448) ^ [] : [-(lv(2988 ^ [_83366, _83368, _83370, _83929]))], (2998 ^ _35448) ^ [] : [-(iext(_83368, _83929, 2988 ^ [_83366, _83368, _83370, _83929]))], (3000 ^ _35448) ^ [] : [-(icext(_83366, 2988 ^ [_83366, _83368, _83370, _83929]))], (3002 ^ _35448) ^ [] : [2987 ^ [_83366, _83368, _83370, _83929] = 2988 ^ [_83366, _83368, _83370, _83929]], (3004 ^ _35448) ^ [_85046, _85048, _85050] : [-(_85046 = _85050), -(_85046 = _85048), lv(_85050), iext(_83368, _83929, _85050), icext(_83366, _85050), lv(_85048), iext(_83368, _83929, _85048), icext(_83366, _85048), lv(_85046), iext(_83368, _83929, _85046), icext(_83366, _85046)]]]]], (3103 ^ _35448) ^ [_88790, _88792, _88794] : [iext(uri_owl_qualifiedCardinality, _88794, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _88794, _88792), iext(uri_owl_onDataRange, _88794, _88790), 3114 ^ _35448 : [(3115 ^ _35448) ^ [] : [-(iodp(_88792))], (3206 ^ _35448) ^ [_93089] : [-(icext(_88794, _93089)), 3259 ^ _35448 : [(3260 ^ _35448) ^ [] : [-(lv(3255 ^ [_88790, _88792, _88794, _93089]))], (3262 ^ _35448) ^ [] : [-(iext(_88792, _93089, 3255 ^ [_88790, _88792, _88794, _93089]))], (3264 ^ _35448) ^ [] : [-(icext(_88790, 3255 ^ [_88790, _88792, _88794, _93089]))], (3266 ^ _35448) ^ [] : [-(lv(3256 ^ [_88790, _88792, _88794, _93089]))], (3268 ^ _35448) ^ [] : [-(iext(_88792, _93089, 3256 ^ [_88790, _88792, _88794, _93089]))], (3270 ^ _35448) ^ [] : [-(icext(_88790, 3256 ^ [_88790, _88792, _88794, _93089]))], (3272 ^ _35448) ^ [] : [-(lv(3257 ^ [_88790, _88792, _88794, _93089]))], (3274 ^ _35448) ^ [] : [-(iext(_88792, _93089, 3257 ^ [_88790, _88792, _88794, _93089]))], (3276 ^ _35448) ^ [] : [-(icext(_88790, 3257 ^ [_88790, _88792, _88794, _93089]))], (3278 ^ _35448) ^ [] : [-(lv(3258 ^ [_88790, _88792, _88794, _93089]))], (3280 ^ _35448) ^ [] : [-(iext(_88792, _93089, 3258 ^ [_88790, _88792, _88794, _93089]))], (3282 ^ _35448) ^ [] : [-(icext(_88790, 3258 ^ [_88790, _88792, _88794, _93089]))], (3284 ^ _35448) ^ [] : [3258 ^ [_88790, _88792, _88794, _93089] = 3255 ^ [_88790, _88792, _88794, _93089]], (3286 ^ _35448) ^ [] : [3258 ^ [_88790, _88792, _88794, _93089] = 3256 ^ [_88790, _88792, _88794, _93089]], (3288 ^ _35448) ^ [] : [3258 ^ [_88790, _88792, _88794, _93089] = 3257 ^ [_88790, _88792, _88794, _93089]]], 3209 ^ _35448 : [(3210 ^ _35448) ^ [_93443, _93445, _93447] : [lv(_93447), iext(_88792, _93089, _93447), icext(_88790, _93447), lv(_93445), iext(_88792, _93089, _93445), icext(_88790, _93445), lv(_93443), iext(_88792, _93089, _93443), icext(_88790, _93443), -(_93447 = _93445), -(_93447 = _93443), -(_93445 = _93443)]]], (3117 ^ _35448) ^ [_89421] : [icext(_88794, _89421), 3123 ^ _35448 : [(3124 ^ _35448) ^ [] : [-(lv(3120 ^ [_88790, _88792, _88794, _89421]))], (3126 ^ _35448) ^ [] : [-(iext(_88792, _89421, 3120 ^ [_88790, _88792, _88794, _89421]))], (3128 ^ _35448) ^ [] : [-(icext(_88790, 3120 ^ [_88790, _88792, _88794, _89421]))], (3130 ^ _35448) ^ [] : [-(lv(3121 ^ [_88790, _88792, _88794, _89421]))], (3132 ^ _35448) ^ [] : [-(iext(_88792, _89421, 3121 ^ [_88790, _88792, _88794, _89421]))], (3134 ^ _35448) ^ [] : [-(icext(_88790, 3121 ^ [_88790, _88792, _88794, _89421]))], (3136 ^ _35448) ^ [] : [-(lv(3122 ^ [_88790, _88792, _88794, _89421]))], (3138 ^ _35448) ^ [] : [-(iext(_88792, _89421, 3122 ^ [_88790, _88792, _88794, _89421]))], (3140 ^ _35448) ^ [] : [-(icext(_88790, 3122 ^ [_88790, _88792, _88794, _89421]))], (3142 ^ _35448) ^ [] : [3120 ^ [_88790, _88792, _88794, _89421] = 3121 ^ [_88790, _88792, _88794, _89421]], (3144 ^ _35448) ^ [] : [3120 ^ [_88790, _88792, _88794, _89421] = 3122 ^ [_88790, _88792, _88794, _89421]], (3146 ^ _35448) ^ [] : [3121 ^ [_88790, _88792, _88794, _89421] = 3122 ^ [_88790, _88792, _88794, _89421]], (3148 ^ _35448) ^ [_91379, _91381, _91383, _91385] : [-(_91379 = _91385), -(_91379 = _91383), -(_91379 = _91381), lv(_91385), iext(_88792, _89421, _91385), icext(_88790, _91385), lv(_91383), iext(_88792, _89421, _91383), icext(_88790, _91383), lv(_91381), iext(_88792, _89421, _91381), icext(_88790, _91381), lv(_91379), iext(_88792, _89421, _91379), icext(_88790, _91379)]]]]], (3292 ^ _35448) ^ [_96993, _96995, _96997] : [iext(uri_owl_qualifiedCardinality, _96997, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96997, _96995), iext(uri_owl_onClass, _96997, _96993), 3303 ^ _35448 : [(3314 ^ _35448) ^ [_97717] : [3316 ^ _35448 : [(3317 ^ _35448) ^ [] : [-(iext(_96995, _97717, 3315 ^ [_96993, _96995, _96997, _97717]))], (3319 ^ _35448) ^ [] : [-(icext(_96993, 3315 ^ [_96993, _96995, _96997, _97717]))]], -(icext(_96997, _97717))], (3304 ^ _35448) ^ [_97369] : [icext(_96997, _97369), 3307 ^ _35448 : [(3308 ^ _35448) ^ [_97523] : [iext(_96995, _97369, _97523), icext(_96993, _97523)]]]]], (3323 ^ _35448) ^ [_98141, _98143, _98145] : [iext(uri_owl_qualifiedCardinality, _98145, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _98145, _98143), iext(uri_owl_onClass, _98145, _98141), 3334 ^ _35448 : [(3362 ^ _35448) ^ [_99512] : [-(icext(_98145, _99512)), 3373 ^ _35448 : [(3374 ^ _35448) ^ [] : [-(iext(_98143, _99512, 3371 ^ [_98141, _98143, _98145, _99512]))], (3376 ^ _35448) ^ [] : [-(icext(_98141, 3371 ^ [_98141, _98143, _98145, _99512]))], (3378 ^ _35448) ^ [] : [-(iext(_98143, _99512, 3372 ^ [_98141, _98143, _98145, _99512]))], (3380 ^ _35448) ^ [] : [-(icext(_98141, 3372 ^ [_98141, _98143, _98145, _99512]))], (3382 ^ _35448) ^ [] : [3372 ^ [_98141, _98143, _98145, _99512] = 3371 ^ [_98141, _98143, _98145, _99512]]], 3365 ^ _35448 : [(3366 ^ _35448) ^ [_99695] : [iext(_98143, _99512, _99695), icext(_98141, _99695)]]], (3335 ^ _35448) ^ [_98557] : [icext(_98145, _98557), 3339 ^ _35448 : [(3340 ^ _35448) ^ [] : [-(iext(_98143, _98557, 3338 ^ [_98141, _98143, _98145, _98557]))], (3342 ^ _35448) ^ [] : [-(icext(_98141, 3338 ^ [_98141, _98143, _98145, _98557]))], (3344 ^ _35448) ^ [_98990, _98992] : [-(_98990 = _98992), iext(_98143, _98557, _98992), icext(_98141, _98992), iext(_98143, _98557, _98990), icext(_98141, _98990)]]]]], (3386 ^ _35448) ^ [_100624, _100626, _100628] : [iext(uri_owl_qualifiedCardinality, _100628, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _100628, _100626), iext(uri_owl_onClass, _100628, _100624), 3397 ^ _35448 : [(3444 ^ _35448) ^ [_102865] : [-(icext(_100628, _102865)), 3468 ^ _35448 : [(3469 ^ _35448) ^ [] : [-(iext(_100626, _102865, 3465 ^ [_100624, _100626, _100628, _102865]))], (3471 ^ _35448) ^ [] : [-(icext(_100624, 3465 ^ [_100624, _100626, _100628, _102865]))], (3473 ^ _35448) ^ [] : [-(iext(_100626, _102865, 3466 ^ [_100624, _100626, _100628, _102865]))], (3475 ^ _35448) ^ [] : [-(icext(_100624, 3466 ^ [_100624, _100626, _100628, _102865]))], (3477 ^ _35448) ^ [] : [-(iext(_100626, _102865, 3467 ^ [_100624, _100626, _100628, _102865]))], (3479 ^ _35448) ^ [] : [-(icext(_100624, 3467 ^ [_100624, _100626, _100628, _102865]))], (3481 ^ _35448) ^ [] : [3467 ^ [_100624, _100626, _100628, _102865] = 3465 ^ [_100624, _100626, _100628, _102865]], (3483 ^ _35448) ^ [] : [3467 ^ [_100624, _100626, _100628, _102865] = 3466 ^ [_100624, _100626, _100628, _102865]]], 3447 ^ _35448 : [(3448 ^ _35448) ^ [_103112, _103114] : [iext(_100626, _102865, _103114), icext(_100624, _103114), iext(_100626, _102865, _103112), icext(_100624, _103112), -(_103114 = _103112)]]], (3398 ^ _35448) ^ [_101090] : [icext(_100628, _101090), 3403 ^ _35448 : [(3404 ^ _35448) ^ [] : [-(iext(_100626, _101090, 3401 ^ [_100624, _100626, _100628, _101090]))], (3406 ^ _35448) ^ [] : [-(icext(_100624, 3401 ^ [_100624, _100626, _100628, _101090]))], (3408 ^ _35448) ^ [] : [-(iext(_100626, _101090, 3402 ^ [_100624, _100626, _100628, _101090]))], (3410 ^ _35448) ^ [] : [-(icext(_100624, 3402 ^ [_100624, _100626, _100628, _101090]))], (3412 ^ _35448) ^ [] : [3401 ^ [_100624, _100626, _100628, _101090] = 3402 ^ [_100624, _100626, _100628, _101090]], (3414 ^ _35448) ^ [_101987, _101989, _101991] : [-(_101987 = _101991), -(_101987 = _101989), iext(_100626, _101090, _101991), icext(_100624, _101991), iext(_100626, _101090, _101989), icext(_100624, _101989), iext(_100626, _101090, _101987), icext(_100624, _101987)]]]]], (3487 ^ _35448) ^ [_104843, _104845, _104847] : [iext(uri_owl_qualifiedCardinality, _104847, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _104847, _104845), iext(uri_owl_onClass, _104847, _104843), 3498 ^ _35448 : [(3566 ^ _35448) ^ [_108226] : [-(icext(_104847, _108226)), 3607 ^ _35448 : [(3608 ^ _35448) ^ [] : [-(iext(_104845, _108226, 3603 ^ [_104843, _104845, _104847, _108226]))], (3610 ^ _35448) ^ [] : [-(icext(_104843, 3603 ^ [_104843, _104845, _104847, _108226]))], (3612 ^ _35448) ^ [] : [-(iext(_104845, _108226, 3604 ^ [_104843, _104845, _104847, _108226]))], (3614 ^ _35448) ^ [] : [-(icext(_104843, 3604 ^ [_104843, _104845, _104847, _108226]))], (3616 ^ _35448) ^ [] : [-(iext(_104845, _108226, 3605 ^ [_104843, _104845, _104847, _108226]))], (3618 ^ _35448) ^ [] : [-(icext(_104843, 3605 ^ [_104843, _104845, _104847, _108226]))], (3620 ^ _35448) ^ [] : [-(iext(_104845, _108226, 3606 ^ [_104843, _104845, _104847, _108226]))], (3622 ^ _35448) ^ [] : [-(icext(_104843, 3606 ^ [_104843, _104845, _104847, _108226]))], (3624 ^ _35448) ^ [] : [3606 ^ [_104843, _104845, _104847, _108226] = 3603 ^ [_104843, _104845, _104847, _108226]], (3626 ^ _35448) ^ [] : [3606 ^ [_104843, _104845, _104847, _108226] = 3604 ^ [_104843, _104845, _104847, _108226]], (3628 ^ _35448) ^ [] : [3606 ^ [_104843, _104845, _104847, _108226] = 3605 ^ [_104843, _104845, _104847, _108226]]], 3569 ^ _35448 : [(3570 ^ _35448) ^ [_108545, _108547, _108549] : [iext(_104845, _108226, _108549), icext(_104843, _108549), iext(_104845, _108226, _108547), icext(_104843, _108547), iext(_104845, _108226, _108545), icext(_104843, _108545), -(_108549 = _108547), -(_108549 = _108545), -(_108547 = _108545)]]], (3499 ^ _35448) ^ [_105367] : [icext(_104847, _105367), 3505 ^ _35448 : [(3506 ^ _35448) ^ [] : [-(iext(_104845, _105367, 3502 ^ [_104843, _104845, _104847, _105367]))], (3508 ^ _35448) ^ [] : [-(icext(_104843, 3502 ^ [_104843, _104845, _104847, _105367]))], (3510 ^ _35448) ^ [] : [-(iext(_104845, _105367, 3503 ^ [_104843, _104845, _104847, _105367]))], (3512 ^ _35448) ^ [] : [-(icext(_104843, 3503 ^ [_104843, _104845, _104847, _105367]))], (3514 ^ _35448) ^ [] : [-(iext(_104845, _105367, 3504 ^ [_104843, _104845, _104847, _105367]))], (3516 ^ _35448) ^ [] : [-(icext(_104843, 3504 ^ [_104843, _104845, _104847, _105367]))], (3518 ^ _35448) ^ [] : [3502 ^ [_104843, _104845, _104847, _105367] = 3503 ^ [_104843, _104845, _104847, _105367]], (3520 ^ _35448) ^ [] : [3502 ^ [_104843, _104845, _104847, _105367] = 3504 ^ [_104843, _104845, _104847, _105367]], (3522 ^ _35448) ^ [] : [3503 ^ [_104843, _104845, _104847, _105367] = 3504 ^ [_104843, _104845, _104847, _105367]], (3524 ^ _35448) ^ [_106966, _106968, _106970, _106972] : [-(_106966 = _106972), -(_106966 = _106970), -(_106966 = _106968), iext(_104845, _105367, _106972), icext(_104843, _106972), iext(_104845, _105367, _106970), icext(_104843, _106970), iext(_104845, _105367, _106968), icext(_104843, _106968), iext(_104845, _105367, _106966), icext(_104843, _106966)]]]]], (3632 ^ _35448) ^ [_111290, _111292, _111294] : [iext(uri_owl_hasSelf, _111294, _111290), iext(uri_owl_onProperty, _111294, _111292), 3639 ^ _35448 : [(3640 ^ _35448) ^ [_111558] : [icext(_111294, _111558), -(iext(_111292, _111558, _111558))], (3646 ^ _35448) ^ [_111740] : [iext(_111292, _111740, _111740), -(icext(_111294, _111740))]]], (3652 ^ _35448) ^ [_111993, _111995, _111997] : [iext(uri_owl_hasValue, _111997, _111993), iext(uri_owl_onProperty, _111997, _111995), 3659 ^ _35448 : [(3660 ^ _35448) ^ [_112261] : [icext(_111997, _112261), -(iext(_111995, _112261, _111993))], (3666 ^ _35448) ^ [_112443] : [iext(_111995, _112443, _111993), -(icext(_111997, _112443))]]], (3672 ^ _35448) ^ [_112682, _112684] : [iext(uri_owl_maxCardinality, _112684, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _112684, _112682), 3679 ^ _35448 : [(3680 ^ _35448) ^ [_112949] : [icext(_112684, _112949), 3683 ^ _35448 : [(3684 ^ _35448) ^ [_113075] : [iext(_112682, _112949, _113075)]]], (3686 ^ _35448) ^ [_113146] : [-(iext(_112682, _113146, 3687 ^ [_112682, _112684, _113146])), -(icext(_112684, _113146))]]], (3693 ^ _35448) ^ [_113444, _113446] : [iext(uri_owl_maxCardinality, _113446, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113446, _113444), 3700 ^ _35448 : [(3715 ^ _35448) ^ [_114195] : [3718 ^ _35448 : [(3719 ^ _35448) ^ [] : [-(iext(_113444, _114195, 3716 ^ [_113444, _113446, _114195]))], (3721 ^ _35448) ^ [] : [-(iext(_113444, _114195, 3717 ^ [_113444, _113446, _114195]))], (3723 ^ _35448) ^ [] : [3717 ^ [_113444, _113446, _114195] = 3716 ^ [_113444, _113446, _114195]]], -(icext(_113446, _114195))], (3701 ^ _35448) ^ [_113727] : [icext(_113446, _113727), 3704 ^ _35448 : [(3705 ^ _35448) ^ [_113899, _113901] : [-(_113899 = _113901), iext(_113444, _113727, _113901), iext(_113444, _113727, _113899)]]]]], (3727 ^ _35448) ^ [_114778, _114780] : [iext(uri_owl_maxCardinality, _114780, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _114780, _114778), 3734 ^ _35448 : [(3757 ^ _35448) ^ [_115804] : [3761 ^ _35448 : [(3762 ^ _35448) ^ [] : [-(iext(_114778, _115804, 3758 ^ [_114778, _114780, _115804]))], (3764 ^ _35448) ^ [] : [-(iext(_114778, _115804, 3759 ^ [_114778, _114780, _115804]))], (3766 ^ _35448) ^ [] : [-(iext(_114778, _115804, 3760 ^ [_114778, _114780, _115804]))], (3768 ^ _35448) ^ [] : [3760 ^ [_114778, _114780, _115804] = 3758 ^ [_114778, _114780, _115804]], (3770 ^ _35448) ^ [] : [3760 ^ [_114778, _114780, _115804] = 3759 ^ [_114778, _114780, _115804]]], -(icext(_114780, _115804))], (3735 ^ _35448) ^ [_115079] : [icext(_114780, _115079), 3738 ^ _35448 : [(3739 ^ _35448) ^ [_115283, _115285, _115287] : [-(_115283 = _115287), -(_115283 = _115285), iext(_114778, _115079, _115287), iext(_114778, _115079, _115285), iext(_114778, _115079, _115283)]]]]], (3774 ^ _35448) ^ [_116722, _116724] : [iext(uri_owl_maxCardinality, _116724, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _116724, _116722), 3781 ^ _35448 : [(3812 ^ _35448) ^ [_118039] : [3817 ^ _35448 : [(3818 ^ _35448) ^ [] : [-(iext(_116722, _118039, 3813 ^ [_116722, _116724, _118039]))], (3820 ^ _35448) ^ [] : [-(iext(_116722, _118039, 3814 ^ [_116722, _116724, _118039]))], (3822 ^ _35448) ^ [] : [-(iext(_116722, _118039, 3815 ^ [_116722, _116724, _118039]))], (3824 ^ _35448) ^ [] : [-(iext(_116722, _118039, 3816 ^ [_116722, _116724, _118039]))], (3826 ^ _35448) ^ [] : [3816 ^ [_116722, _116724, _118039] = 3813 ^ [_116722, _116724, _118039]], (3828 ^ _35448) ^ [] : [3816 ^ [_116722, _116724, _118039] = 3814 ^ [_116722, _116724, _118039]], (3830 ^ _35448) ^ [] : [3816 ^ [_116722, _116724, _118039] = 3815 ^ [_116722, _116724, _118039]]], -(icext(_116724, _118039))], (3782 ^ _35448) ^ [_117041] : [icext(_116724, _117041), 3785 ^ _35448 : [(3786 ^ _35448) ^ [_117277, _117279, _117281, _117283] : [-(_117277 = _117283), -(_117277 = _117281), -(_117277 = _117279), iext(_116722, _117041, _117283), iext(_116722, _117041, _117281), iext(_116722, _117041, _117279), iext(_116722, _117041, _117277)]]]]], (3834 ^ _35448) ^ [_119355, _119357, _119359] : [iext(uri_owl_maxQualifiedCardinality, _119359, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119359, _119357), iext(uri_owl_onDataRange, _119359, _119355), 3845 ^ _35448 : [(3846 ^ _35448) ^ [] : [-(iodp(_119357))], (3862 ^ _35448) ^ [_120260] : [3864 ^ _35448 : [(3865 ^ _35448) ^ [] : [-(lv(3863 ^ [_119355, _119357, _119359, _120260]))], (3867 ^ _35448) ^ [] : [-(iext(_119357, _120260, 3863 ^ [_119355, _119357, _119359, _120260]))], (3869 ^ _35448) ^ [] : [-(icext(_119355, 3863 ^ [_119355, _119357, _119359, _120260]))]], -(icext(_119359, _120260))], (3848 ^ _35448) ^ [_119808] : [icext(_119359, _119808), 3851 ^ _35448 : [(3852 ^ _35448) ^ [_119967] : [lv(_119967), iext(_119357, _119808, _119967), icext(_119355, _119967)]]]]], (3873 ^ _35448) ^ [_120778, _120780, _120782] : [iext(uri_owl_maxQualifiedCardinality, _120782, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _120782, _120780), iext(uri_owl_onDataRange, _120782, _120778), 3884 ^ _35448 : [(3885 ^ _35448) ^ [] : [-(iodp(_120780))], (3917 ^ _35448) ^ [_122182] : [3920 ^ _35448 : [(3921 ^ _35448) ^ [] : [-(lv(3918 ^ [_120778, _120780, _120782, _122182]))], (3923 ^ _35448) ^ [] : [-(iext(_120780, _122182, 3918 ^ [_120778, _120780, _120782, _122182]))], (3925 ^ _35448) ^ [] : [-(icext(_120778, 3918 ^ [_120778, _120780, _120782, _122182]))], (3927 ^ _35448) ^ [] : [-(lv(3919 ^ [_120778, _120780, _120782, _122182]))], (3929 ^ _35448) ^ [] : [-(iext(_120780, _122182, 3919 ^ [_120778, _120780, _120782, _122182]))], (3931 ^ _35448) ^ [] : [-(icext(_120778, 3919 ^ [_120778, _120780, _120782, _122182]))], (3933 ^ _35448) ^ [] : [3919 ^ [_120778, _120780, _120782, _122182] = 3918 ^ [_120778, _120780, _120782, _122182]]], -(icext(_120782, _122182))], (3887 ^ _35448) ^ [_121258] : [icext(_120782, _121258), 3890 ^ _35448 : [(3891 ^ _35448) ^ [_121458, _121460] : [-(_121458 = _121460), lv(_121460), iext(_120780, _121258, _121460), icext(_120778, _121460), lv(_121458), iext(_120780, _121258, _121458), icext(_120778, _121458)]]]]], (3937 ^ _35448) ^ [_123241, _123243, _123245] : [iext(uri_owl_maxQualifiedCardinality, _123245, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _123245, _123243), iext(uri_owl_onDataRange, _123245, _123241), 3948 ^ _35448 : [(3949 ^ _35448) ^ [] : [-(iodp(_123243))], (3997 ^ _35448) ^ [_125182] : [4001 ^ _35448 : [(4002 ^ _35448) ^ [] : [-(lv(3998 ^ [_123241, _123243, _123245, _125182]))], (4004 ^ _35448) ^ [] : [-(iext(_123243, _125182, 3998 ^ [_123241, _123243, _123245, _125182]))], (4006 ^ _35448) ^ [] : [-(icext(_123241, 3998 ^ [_123241, _123243, _123245, _125182]))], (4008 ^ _35448) ^ [] : [-(lv(3999 ^ [_123241, _123243, _123245, _125182]))], (4010 ^ _35448) ^ [] : [-(iext(_123243, _125182, 3999 ^ [_123241, _123243, _123245, _125182]))], (4012 ^ _35448) ^ [] : [-(icext(_123241, 3999 ^ [_123241, _123243, _123245, _125182]))], (4014 ^ _35448) ^ [] : [-(lv(4000 ^ [_123241, _123243, _123245, _125182]))], (4016 ^ _35448) ^ [] : [-(iext(_123243, _125182, 4000 ^ [_123241, _123243, _123245, _125182]))], (4018 ^ _35448) ^ [] : [-(icext(_123241, 4000 ^ [_123241, _123243, _123245, _125182]))], (4020 ^ _35448) ^ [] : [4000 ^ [_123241, _123243, _123245, _125182] = 3998 ^ [_123241, _123243, _123245, _125182]], (4022 ^ _35448) ^ [] : [4000 ^ [_123241, _123243, _123245, _125182] = 3999 ^ [_123241, _123243, _123245, _125182]]], -(icext(_123245, _125182))], (3951 ^ _35448) ^ [_123750] : [icext(_123245, _123750), 3954 ^ _35448 : [(3955 ^ _35448) ^ [_123993, _123995, _123997] : [-(_123993 = _123997), -(_123993 = _123995), lv(_123997), iext(_123243, _123750, _123997), icext(_123241, _123997), lv(_123995), iext(_123243, _123750, _123995), icext(_123241, _123995), lv(_123993), iext(_123243, _123750, _123993), icext(_123241, _123993)]]]]], (4026 ^ _35448) ^ [_126877, _126879, _126881] : [iext(uri_owl_maxQualifiedCardinality, _126881, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _126881, _126879), iext(uri_owl_onDataRange, _126881, _126877), 4037 ^ _35448 : [(4038 ^ _35448) ^ [] : [-(iodp(_126879))], (4102 ^ _35448) ^ [_129387] : [4107 ^ _35448 : [(4108 ^ _35448) ^ [] : [-(lv(4103 ^ [_126877, _126879, _126881, _129387]))], (4110 ^ _35448) ^ [] : [-(iext(_126879, _129387, 4103 ^ [_126877, _126879, _126881, _129387]))], (4112 ^ _35448) ^ [] : [-(icext(_126877, 4103 ^ [_126877, _126879, _126881, _129387]))], (4114 ^ _35448) ^ [] : [-(lv(4104 ^ [_126877, _126879, _126881, _129387]))], (4116 ^ _35448) ^ [] : [-(iext(_126879, _129387, 4104 ^ [_126877, _126879, _126881, _129387]))], (4118 ^ _35448) ^ [] : [-(icext(_126877, 4104 ^ [_126877, _126879, _126881, _129387]))], (4120 ^ _35448) ^ [] : [-(lv(4105 ^ [_126877, _126879, _126881, _129387]))], (4122 ^ _35448) ^ [] : [-(iext(_126879, _129387, 4105 ^ [_126877, _126879, _126881, _129387]))], (4124 ^ _35448) ^ [] : [-(icext(_126877, 4105 ^ [_126877, _126879, _126881, _129387]))], (4126 ^ _35448) ^ [] : [-(lv(4106 ^ [_126877, _126879, _126881, _129387]))], (4128 ^ _35448) ^ [] : [-(iext(_126879, _129387, 4106 ^ [_126877, _126879, _126881, _129387]))], (4130 ^ _35448) ^ [] : [-(icext(_126877, 4106 ^ [_126877, _126879, _126881, _129387]))], (4132 ^ _35448) ^ [] : [4106 ^ [_126877, _126879, _126881, _129387] = 4103 ^ [_126877, _126879, _126881, _129387]], (4134 ^ _35448) ^ [] : [4106 ^ [_126877, _126879, _126881, _129387] = 4104 ^ [_126877, _126879, _126881, _129387]], (4136 ^ _35448) ^ [] : [4106 ^ [_126877, _126879, _126881, _129387] = 4105 ^ [_126877, _126879, _126881, _129387]]], -(icext(_126881, _129387))], (4040 ^ _35448) ^ [_127415] : [icext(_126881, _127415), 4043 ^ _35448 : [(4044 ^ _35448) ^ [_127701, _127703, _127705, _127707] : [-(_127701 = _127707), -(_127701 = _127705), -(_127701 = _127703), lv(_127707), iext(_126879, _127415, _127707), icext(_126877, _127707), lv(_127705), iext(_126879, _127415, _127705), icext(_126877, _127705), lv(_127703), iext(_126879, _127415, _127703), icext(_126877, _127703), lv(_127701), iext(_126879, _127415, _127701), icext(_126877, _127701)]]]]], (4140 ^ _35448) ^ [_131815, _131817, _131819] : [iext(uri_owl_maxQualifiedCardinality, _131819, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131819, _131817), iext(uri_owl_onClass, _131819, _131815), 4151 ^ _35448 : [(4162 ^ _35448) ^ [_132539] : [4164 ^ _35448 : [(4165 ^ _35448) ^ [] : [-(iext(_131817, _132539, 4163 ^ [_131815, _131817, _131819, _132539]))], (4167 ^ _35448) ^ [] : [-(icext(_131815, 4163 ^ [_131815, _131817, _131819, _132539]))]], -(icext(_131819, _132539))], (4152 ^ _35448) ^ [_132191] : [icext(_131819, _132191), 4155 ^ _35448 : [(4156 ^ _35448) ^ [_132345] : [iext(_131817, _132191, _132345), icext(_131815, _132345)]]]]], (4171 ^ _35448) ^ [_132963, _132965, _132967] : [iext(uri_owl_maxQualifiedCardinality, _132967, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132967, _132965), iext(uri_owl_onClass, _132967, _132963), 4182 ^ _35448 : [(4205 ^ _35448) ^ [_134069] : [4208 ^ _35448 : [(4209 ^ _35448) ^ [] : [-(iext(_132965, _134069, 4206 ^ [_132963, _132965, _132967, _134069]))], (4211 ^ _35448) ^ [] : [-(icext(_132963, 4206 ^ [_132963, _132965, _132967, _134069]))], (4213 ^ _35448) ^ [] : [-(iext(_132965, _134069, 4207 ^ [_132963, _132965, _132967, _134069]))], (4215 ^ _35448) ^ [] : [-(icext(_132963, 4207 ^ [_132963, _132965, _132967, _134069]))], (4217 ^ _35448) ^ [] : [4207 ^ [_132963, _132965, _132967, _134069] = 4206 ^ [_132963, _132965, _132967, _134069]]], -(icext(_132967, _134069))], (4183 ^ _35448) ^ [_133361] : [icext(_132967, _133361), 4186 ^ _35448 : [(4187 ^ _35448) ^ [_133551, _133553] : [-(_133551 = _133553), iext(_132965, _133361, _133553), icext(_132963, _133553), iext(_132965, _133361, _133551), icext(_132963, _133551)]]]]], (4221 ^ _35448) ^ [_134917, _134919, _134921] : [iext(uri_owl_maxQualifiedCardinality, _134921, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _134921, _134919), iext(uri_owl_onClass, _134921, _134917), 4232 ^ _35448 : [(4267 ^ _35448) ^ [_136435] : [4271 ^ _35448 : [(4272 ^ _35448) ^ [] : [-(iext(_134919, _136435, 4268 ^ [_134917, _134919, _134921, _136435]))], (4274 ^ _35448) ^ [] : [-(icext(_134917, 4268 ^ [_134917, _134919, _134921, _136435]))], (4276 ^ _35448) ^ [] : [-(iext(_134919, _136435, 4269 ^ [_134917, _134919, _134921, _136435]))], (4278 ^ _35448) ^ [] : [-(icext(_134917, 4269 ^ [_134917, _134919, _134921, _136435]))], (4280 ^ _35448) ^ [] : [-(iext(_134919, _136435, 4270 ^ [_134917, _134919, _134921, _136435]))], (4282 ^ _35448) ^ [] : [-(icext(_134917, 4270 ^ [_134917, _134919, _134921, _136435]))], (4284 ^ _35448) ^ [] : [4270 ^ [_134917, _134919, _134921, _136435] = 4268 ^ [_134917, _134919, _134921, _136435]], (4286 ^ _35448) ^ [] : [4270 ^ [_134917, _134919, _134921, _136435] = 4269 ^ [_134917, _134919, _134921, _136435]]], -(icext(_134921, _136435))], (4233 ^ _35448) ^ [_135339] : [icext(_134921, _135339), 4236 ^ _35448 : [(4237 ^ _35448) ^ [_135567, _135569, _135571] : [-(_135567 = _135571), -(_135567 = _135569), iext(_134919, _135339, _135571), icext(_134917, _135571), iext(_134919, _135339, _135569), icext(_134917, _135569), iext(_134919, _135339, _135567), icext(_134917, _135567)]]]]], (4290 ^ _35448) ^ [_137783, _137785, _137787] : [iext(uri_owl_maxQualifiedCardinality, _137787, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137787, _137785), iext(uri_owl_onClass, _137787, _137783), 4301 ^ _35448 : [(4348 ^ _35448) ^ [_139737] : [4353 ^ _35448 : [(4354 ^ _35448) ^ [] : [-(iext(_137785, _139737, 4349 ^ [_137783, _137785, _137787, _139737]))], (4356 ^ _35448) ^ [] : [-(icext(_137783, 4349 ^ [_137783, _137785, _137787, _139737]))], (4358 ^ _35448) ^ [] : [-(iext(_137785, _139737, 4350 ^ [_137783, _137785, _137787, _139737]))], (4360 ^ _35448) ^ [] : [-(icext(_137783, 4350 ^ [_137783, _137785, _137787, _139737]))], (4362 ^ _35448) ^ [] : [-(iext(_137785, _139737, 4351 ^ [_137783, _137785, _137787, _139737]))], (4364 ^ _35448) ^ [] : [-(icext(_137783, 4351 ^ [_137783, _137785, _137787, _139737]))], (4366 ^ _35448) ^ [] : [-(iext(_137785, _139737, 4352 ^ [_137783, _137785, _137787, _139737]))], (4368 ^ _35448) ^ [] : [-(icext(_137783, 4352 ^ [_137783, _137785, _137787, _139737]))], (4370 ^ _35448) ^ [] : [4352 ^ [_137783, _137785, _137787, _139737] = 4349 ^ [_137783, _137785, _137787, _139737]], (4372 ^ _35448) ^ [] : [4352 ^ [_137783, _137785, _137787, _139737] = 4350 ^ [_137783, _137785, _137787, _139737]], (4374 ^ _35448) ^ [] : [4352 ^ [_137783, _137785, _137787, _139737] = 4351 ^ [_137783, _137785, _137787, _139737]]], -(icext(_137787, _139737))], (4302 ^ _35448) ^ [_138229] : [icext(_137787, _138229), 4305 ^ _35448 : [(4306 ^ _35448) ^ [_138495, _138497, _138499, _138501] : [-(_138495 = _138501), -(_138495 = _138499), -(_138495 = _138497), iext(_137785, _138229, _138501), icext(_137783, _138501), iext(_137785, _138229, _138499), icext(_137783, _138499), iext(_137785, _138229, _138497), icext(_137783, _138497), iext(_137785, _138229, _138495), icext(_137783, _138495)]]]]], (4378 ^ _35448) ^ [_141647, _141649] : [4385 ^ _35448 : [(4386 ^ _35448) ^ [_141856] : [-(icext(_141649, _141856))]], iext(uri_owl_minCardinality, _141649, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141649, _141647)], (4388 ^ _35448) ^ [_141972, _141974] : [iext(uri_owl_minCardinality, _141974, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141974, _141972), 4395 ^ _35448 : [(4396 ^ _35448) ^ [_142237] : [icext(_141974, _142237), -(iext(_141972, _142237, 4399 ^ [_141972, _141974, _142237]))], (4403 ^ _35448) ^ [_142475] : [4404 ^ _35448 : [(4405 ^ _35448) ^ [_142552] : [iext(_141972, _142475, _142552)]], -(icext(_141974, _142475))]]], (4409 ^ _35448) ^ [_142728, _142730] : [iext(uri_owl_minCardinality, _142730, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142730, _142728), 4416 ^ _35448 : [(4417 ^ _35448) ^ [_143013] : [icext(_142730, _143013), 4422 ^ _35448 : [(4423 ^ _35448) ^ [] : [-(iext(_142728, _143013, 4420 ^ [_142728, _142730, _143013]))], (4425 ^ _35448) ^ [] : [-(iext(_142728, _143013, 4421 ^ [_142728, _142730, _143013]))], (4427 ^ _35448) ^ [] : [4420 ^ [_142728, _142730, _143013] = 4421 ^ [_142728, _142730, _143013]]]], (4429 ^ _35448) ^ [_143542] : [-(icext(_142730, _143542)), 4430 ^ _35448 : [(4431 ^ _35448) ^ [_143669, _143671] : [iext(_142728, _143542, _143671), iext(_142728, _143542, _143669), -(_143671 = _143669)]]]]], (4443 ^ _35448) ^ [_144072, _144074] : [iext(uri_owl_minCardinality, _144074, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144074, _144072), 4450 ^ _35448 : [(4451 ^ _35448) ^ [_144385] : [icext(_144074, _144385), 4457 ^ _35448 : [(4458 ^ _35448) ^ [] : [-(iext(_144072, _144385, 4454 ^ [_144072, _144074, _144385]))], (4460 ^ _35448) ^ [] : [-(iext(_144072, _144385, 4455 ^ [_144072, _144074, _144385]))], (4462 ^ _35448) ^ [] : [-(iext(_144072, _144385, 4456 ^ [_144072, _144074, _144385]))], (4464 ^ _35448) ^ [] : [4454 ^ [_144072, _144074, _144385] = 4455 ^ [_144072, _144074, _144385]], (4466 ^ _35448) ^ [] : [4454 ^ [_144072, _144074, _144385] = 4456 ^ [_144072, _144074, _144385]], (4468 ^ _35448) ^ [] : [4455 ^ [_144072, _144074, _144385] = 4456 ^ [_144072, _144074, _144385]]]], (4470 ^ _35448) ^ [_145403] : [-(icext(_144074, _145403)), 4471 ^ _35448 : [(4472 ^ _35448) ^ [_145572, _145574, _145576] : [iext(_144072, _145403, _145576), iext(_144072, _145403, _145574), iext(_144072, _145403, _145572), -(_145576 = _145574), -(_145576 = _145572), -(_145574 = _145572)]]]]], (4496 ^ _35448) ^ [_146322, _146324, _146326] : [4507 ^ _35448 : [(4508 ^ _35448) ^ [] : [-(iodp(_146324))], (4510 ^ _35448) ^ [_146706] : [-(icext(_146326, _146706))]], iext(uri_owl_minQualifiedCardinality, _146326, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146326, _146324), iext(uri_owl_onDataRange, _146326, _146322)], (4512 ^ _35448) ^ [_146840, _146842, _146844] : [iext(uri_owl_minQualifiedCardinality, _146844, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146844, _146842), iext(uri_owl_onDataRange, _146844, _146840), 4523 ^ _35448 : [(4524 ^ _35448) ^ [] : [-(iodp(_146842))], (4526 ^ _35448) ^ [_147291] : [icext(_146844, _147291), 4530 ^ _35448 : [(4531 ^ _35448) ^ [] : [-(lv(4529 ^ [_146840, _146842, _146844, _147291]))], (4533 ^ _35448) ^ [] : [-(iext(_146842, _147291, 4529 ^ [_146840, _146842, _146844, _147291]))], (4535 ^ _35448) ^ [] : [-(icext(_146840, 4529 ^ [_146840, _146842, _146844, _147291]))]]], (4537 ^ _35448) ^ [_147731] : [-(icext(_146844, _147731)), 4538 ^ _35448 : [(4539 ^ _35448) ^ [_147839] : [lv(_147839), iext(_146842, _147731, _147839), icext(_146840, _147839)]]]]], (4551 ^ _35448) ^ [_148257, _148259, _148261] : [iext(uri_owl_minQualifiedCardinality, _148261, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148261, _148259), iext(uri_owl_onDataRange, _148261, _148257), 4562 ^ _35448 : [(4563 ^ _35448) ^ [] : [-(iodp(_148259))], (4565 ^ _35448) ^ [_148739] : [icext(_148261, _148739), 4570 ^ _35448 : [(4571 ^ _35448) ^ [] : [-(lv(4568 ^ [_148257, _148259, _148261, _148739]))], (4573 ^ _35448) ^ [] : [-(iext(_148259, _148739, 4568 ^ [_148257, _148259, _148261, _148739]))], (4575 ^ _35448) ^ [] : [-(icext(_148257, 4568 ^ [_148257, _148259, _148261, _148739]))], (4577 ^ _35448) ^ [] : [-(lv(4569 ^ [_148257, _148259, _148261, _148739]))], (4579 ^ _35448) ^ [] : [-(iext(_148259, _148739, 4569 ^ [_148257, _148259, _148261, _148739]))], (4581 ^ _35448) ^ [] : [-(icext(_148257, 4569 ^ [_148257, _148259, _148261, _148739]))], (4583 ^ _35448) ^ [] : [4568 ^ [_148257, _148259, _148261, _148739] = 4569 ^ [_148257, _148259, _148261, _148739]]]], (4585 ^ _35448) ^ [_149718] : [-(icext(_148261, _149718)), 4586 ^ _35448 : [(4587 ^ _35448) ^ [_149871, _149873] : [lv(_149873), iext(_148259, _149718, _149873), icext(_148257, _149873), lv(_149871), iext(_148259, _149718, _149871), icext(_148257, _149871), -(_149873 = _149871)]]]]], (4615 ^ _35448) ^ [_150722, _150724, _150726] : [iext(uri_owl_minQualifiedCardinality, _150726, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _150726, _150724), iext(uri_owl_onDataRange, _150726, _150722), 4626 ^ _35448 : [(4627 ^ _35448) ^ [] : [-(iodp(_150724))], (4629 ^ _35448) ^ [_151243] : [icext(_150726, _151243), 4635 ^ _35448 : [(4636 ^ _35448) ^ [] : [-(lv(4632 ^ [_150722, _150724, _150726, _151243]))], (4638 ^ _35448) ^ [] : [-(iext(_150724, _151243, 4632 ^ [_150722, _150724, _150726, _151243]))], (4640 ^ _35448) ^ [] : [-(icext(_150722, 4632 ^ [_150722, _150724, _150726, _151243]))], (4642 ^ _35448) ^ [] : [-(lv(4633 ^ [_150722, _150724, _150726, _151243]))], (4644 ^ _35448) ^ [] : [-(iext(_150724, _151243, 4633 ^ [_150722, _150724, _150726, _151243]))], (4646 ^ _35448) ^ [] : [-(icext(_150722, 4633 ^ [_150722, _150724, _150726, _151243]))], (4648 ^ _35448) ^ [] : [-(lv(4634 ^ [_150722, _150724, _150726, _151243]))], (4650 ^ _35448) ^ [] : [-(iext(_150724, _151243, 4634 ^ [_150722, _150724, _150726, _151243]))], (4652 ^ _35448) ^ [] : [-(icext(_150722, 4634 ^ [_150722, _150724, _150726, _151243]))], (4654 ^ _35448) ^ [] : [4632 ^ [_150722, _150724, _150726, _151243] = 4633 ^ [_150722, _150724, _150726, _151243]], (4656 ^ _35448) ^ [] : [4632 ^ [_150722, _150724, _150726, _151243] = 4634 ^ [_150722, _150724, _150726, _151243]], (4658 ^ _35448) ^ [] : [4633 ^ [_150722, _150724, _150726, _151243] = 4634 ^ [_150722, _150724, _150726, _151243]]]], (4660 ^ _35448) ^ [_153020] : [-(icext(_150726, _153020)), 4661 ^ _35448 : [(4662 ^ _35448) ^ [_153226, _153228, _153230] : [lv(_153230), iext(_150724, _153020, _153230), icext(_150722, _153230), lv(_153228), iext(_150724, _153020, _153228), icext(_150722, _153228), lv(_153226), iext(_150724, _153020, _153226), icext(_150722, _153226), -(_153230 = _153228), -(_153230 = _153226), -(_153228 = _153226)]]]]], (4710 ^ _35448) ^ [_154654, _154656, _154658] : [4721 ^ _35448 : [(4722 ^ _35448) ^ [_154966] : [-(icext(_154658, _154966))]], iext(uri_owl_minQualifiedCardinality, _154658, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154658, _154656), iext(uri_owl_onClass, _154658, _154654)], (4724 ^ _35448) ^ [_155098, _155100, _155102] : [iext(uri_owl_minQualifiedCardinality, _155102, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155102, _155100), iext(uri_owl_onClass, _155102, _155098), 4735 ^ _35448 : [(4736 ^ _35448) ^ [_155472] : [icext(_155102, _155472), 4740 ^ _35448 : [(4741 ^ _35448) ^ [] : [-(iext(_155100, _155472, 4739 ^ [_155098, _155100, _155102, _155472]))], (4743 ^ _35448) ^ [] : [-(icext(_155098, 4739 ^ [_155098, _155100, _155102, _155472]))]]], (4745 ^ _35448) ^ [_155820] : [-(icext(_155102, _155820)), 4746 ^ _35448 : [(4747 ^ _35448) ^ [_155923] : [iext(_155100, _155820, _155923), icext(_155098, _155923)]]]]], (4755 ^ _35448) ^ [_156240, _156242, _156244] : [iext(uri_owl_minQualifiedCardinality, _156244, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156244, _156242), iext(uri_owl_onClass, _156244, _156240), 4766 ^ _35448 : [(4767 ^ _35448) ^ [_156640] : [icext(_156244, _156640), 4772 ^ _35448 : [(4773 ^ _35448) ^ [] : [-(iext(_156242, _156640, 4770 ^ [_156240, _156242, _156244, _156640]))], (4775 ^ _35448) ^ [] : [-(icext(_156240, 4770 ^ [_156240, _156242, _156244, _156640]))], (4777 ^ _35448) ^ [] : [-(iext(_156242, _156640, 4771 ^ [_156240, _156242, _156244, _156640]))], (4779 ^ _35448) ^ [] : [-(icext(_156240, 4771 ^ [_156240, _156242, _156244, _156640]))], (4781 ^ _35448) ^ [] : [4770 ^ [_156240, _156242, _156244, _156640] = 4771 ^ [_156240, _156242, _156244, _156640]]]], (4783 ^ _35448) ^ [_157414] : [-(icext(_156244, _157414)), 4784 ^ _35448 : [(4785 ^ _35448) ^ [_157557, _157559] : [iext(_156242, _157414, _157559), icext(_156240, _157559), iext(_156242, _157414, _157557), icext(_156240, _157557), -(_157559 = _157557)]]]]], (4805 ^ _35448) ^ [_158200, _158202, _158204] : [iext(uri_owl_minQualifiedCardinality, _158204, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _158204, _158202), iext(uri_owl_onClass, _158204, _158200), 4816 ^ _35448 : [(4817 ^ _35448) ^ [_158634] : [icext(_158204, _158634), 4823 ^ _35448 : [(4824 ^ _35448) ^ [] : [-(iext(_158202, _158634, 4820 ^ [_158200, _158202, _158204, _158634]))], (4826 ^ _35448) ^ [] : [-(icext(_158200, 4820 ^ [_158200, _158202, _158204, _158634]))], (4828 ^ _35448) ^ [] : [-(iext(_158202, _158634, 4821 ^ [_158200, _158202, _158204, _158634]))], (4830 ^ _35448) ^ [] : [-(icext(_158200, 4821 ^ [_158200, _158202, _158204, _158634]))], (4832 ^ _35448) ^ [] : [-(iext(_158202, _158634, 4822 ^ [_158200, _158202, _158204, _158634]))], (4834 ^ _35448) ^ [] : [-(icext(_158200, 4822 ^ [_158200, _158202, _158204, _158634]))], (4836 ^ _35448) ^ [] : [4820 ^ [_158200, _158202, _158204, _158634] = 4821 ^ [_158200, _158202, _158204, _158634]], (4838 ^ _35448) ^ [] : [4820 ^ [_158200, _158202, _158204, _158634] = 4822 ^ [_158200, _158202, _158204, _158634]], (4840 ^ _35448) ^ [] : [4821 ^ [_158200, _158202, _158204, _158634] = 4822 ^ [_158200, _158202, _158204, _158634]]]], (4842 ^ _35448) ^ [_160072] : [-(icext(_158204, _160072)), 4843 ^ _35448 : [(4844 ^ _35448) ^ [_160263, _160265, _160267] : [iext(_158202, _160072, _160267), icext(_158200, _160267), iext(_158202, _160072, _160265), icext(_158200, _160265), iext(_158202, _160072, _160263), icext(_158200, _160263), -(_160267 = _160265), -(_160267 = _160263), -(_160265 = _160263)]]]]], (4880 ^ _35448) ^ [_161368, _161370, _161372] : [iext(uri_owl_someValuesFrom, _161372, _161368), iext(uri_owl_onProperty, _161372, _161370), 4887 ^ _35448 : [(4888 ^ _35448) ^ [_161647] : [icext(_161372, _161647), 4892 ^ _35448 : [(4893 ^ _35448) ^ [] : [-(iext(_161370, _161647, 4891 ^ [_161368, _161370, _161372, _161647]))], (4895 ^ _35448) ^ [] : [-(icext(_161368, 4891 ^ [_161368, _161370, _161372, _161647]))]]], (4897 ^ _35448) ^ [_161995] : [-(icext(_161372, _161995)), 4898 ^ _35448 : [(4899 ^ _35448) ^ [_162098] : [iext(_161370, _161995, _162098), icext(_161368, _162098)]]]]], (4907 ^ _35448) ^ [_162428, _162430] : [iext(uri_rdfs_domain, _162430, _162428), 4910 ^ _35448 : [(4911 ^ _35448) ^ [] : [-(ip(_162430))], (4913 ^ _35448) ^ [] : [-(ic(_162428))], (4915 ^ _35448) ^ [_162727, _162729] : [iext(_162430, _162729, _162727), -(icext(_162428, _162729))]]], (4921 ^ _35448) ^ [_162916, _162918] : [-(iext(uri_rdfs_domain, _162918, _162916)), ip(_162918), ic(_162916), 4932 ^ _35448 : [(4933 ^ _35448) ^ [] : [-(iext(_162918, 4930 ^ [_162916, _162918], 4931 ^ [_162916, _162918]))], (4935 ^ _35448) ^ [] : [icext(_162916, 4930 ^ [_162916, _162918])]]], (4939 ^ _35448) ^ [_163564, _163566] : [iext(uri_rdfs_range, _163566, _163564), 4942 ^ _35448 : [(4943 ^ _35448) ^ [] : [-(ip(_163566))], (4945 ^ _35448) ^ [] : [-(ip(_163564))], (4947 ^ _35448) ^ [_163863, _163865] : [iext(_163566, _163865, _163863), -(icext(_163564, _163863))]]], (4953 ^ _35448) ^ [_164052, _164054] : [-(iext(uri_rdfs_range, _164054, _164052)), ip(_164054), ip(_164052), 4964 ^ _35448 : [(4965 ^ _35448) ^ [] : [-(iext(_164054, 4962 ^ [_164052, _164054], 4963 ^ [_164052, _164054]))], (4967 ^ _35448) ^ [] : [icext(_164052, 4963 ^ [_164052, _164054])]]], (4971 ^ _35448) ^ [_164693, _164695] : [iext(uri_rdfs_subClassOf, _164695, _164693), 4974 ^ _35448 : [(4975 ^ _35448) ^ [] : [-(ic(_164695))], (4977 ^ _35448) ^ [] : [-(ic(_164693))], (4979 ^ _35448) ^ [_164972] : [icext(_164695, _164972), -(icext(_164693, _164972))]]], (4985 ^ _35448) ^ [_165153, _165155] : [-(iext(uri_rdfs_subClassOf, _165155, _165153)), ic(_165155), ic(_165153), 4995 ^ _35448 : [(4996 ^ _35448) ^ [] : [-(icext(_165155, 4994 ^ [_165153, _165155]))], (4998 ^ _35448) ^ [] : [icext(_165153, 4994 ^ [_165153, _165155])]]], (5002 ^ _35448) ^ [_165715, _165717] : [iext(uri_rdfs_subPropertyOf, _165717, _165715), 5005 ^ _35448 : [(5006 ^ _35448) ^ [] : [-(ip(_165717))], (5008 ^ _35448) ^ [] : [-(ip(_165715))], (5010 ^ _35448) ^ [_166015, _166017] : [iext(_165717, _166017, _166015), -(iext(_165715, _166017, _166015))]]], (5016 ^ _35448) ^ [_166206, _166208] : [-(iext(uri_rdfs_subPropertyOf, _166208, _166206)), ip(_166208), ip(_166206), 5027 ^ _35448 : [(5028 ^ _35448) ^ [] : [-(iext(_166208, 5025 ^ [_166206, _166208], 5026 ^ [_166206, _166208]))], (5030 ^ _35448) ^ [] : [iext(_166206, 5025 ^ [_166206, _166208], 5026 ^ [_166206, _166208])]]], (5034 ^ _35448) ^ [_166865, _166867] : [iext(uri_owl_differentFrom, _166867, _166865), _166867 = _166865], (5040 ^ _35448) ^ [_167030, _167032] : [-(_167032 = _167030), -(iext(uri_owl_differentFrom, _167032, _167030))], (5046 ^ _35448) ^ [_167262] : [iext(uri_owl_disjointUnionOf, _167262, uri_rdf_nil), 5049 ^ _35448 : [(5050 ^ _35448) ^ [] : [-(ic(_167262))], (5052 ^ _35448) ^ [_167445] : [icext(_167262, _167445)]]], (5054 ^ _35448) ^ [_167513] : [-(iext(uri_owl_disjointUnionOf, _167513, uri_rdf_nil)), ic(_167513), -(icext(_167513, 5059 ^ [_167513]))], (5065 ^ _35448) ^ [_167874, _167876, _167878] : [iext(uri_rdf_first, _167876, _167874), iext(uri_rdf_rest, _167876, uri_rdf_nil), 5072 ^ _35448 : [(5073 ^ _35448) ^ [] : [iext(uri_owl_disjointUnionOf, _167878, _167876), 5076 ^ _35448 : [(5077 ^ _35448) ^ [] : [-(ic(_167878))], (5079 ^ _35448) ^ [] : [-(ic(_167874))], (5081 ^ _35448) ^ [_168405] : [icext(_167878, _168405), -(icext(_167874, _168405))], (5087 ^ _35448) ^ [_168585] : [icext(_167874, _168585), -(icext(_167878, _168585))]]], (5093 ^ _35448) ^ [] : [-(iext(uri_owl_disjointUnionOf, _167878, _167876)), ic(_167878), ic(_167874), 5105 ^ _35448 : [(5106 ^ _35448) ^ [] : [-(icext(_167878, 5102 ^ [_167874, _167876, _167878]))], (5108 ^ _35448) ^ [] : [icext(_167874, 5102 ^ [_167874, _167876, _167878])]], 5109 ^ _35448 : [(5110 ^ _35448) ^ [] : [-(icext(_167874, 5102 ^ [_167874, _167876, _167878]))], (5112 ^ _35448) ^ [] : [icext(_167878, 5102 ^ [_167874, _167876, _167878])]]]]], (5116 ^ _35448) ^ [_169512, _169514, _169516, _169518, _169520] : [iext(uri_rdf_first, _169518, _169516), iext(uri_rdf_rest, _169518, _169514), iext(uri_rdf_first, _169514, _169512), iext(uri_rdf_rest, _169514, uri_rdf_nil), 5131 ^ _35448 : [(5172 ^ _35448) ^ [] : [-(iext(uri_owl_disjointUnionOf, _169520, _169518)), ic(_169520), ic(_169516), ic(_169512), 5188 ^ _35448 : [(5189 ^ _35448) ^ [] : [-(icext(_169520, 5185 ^ [_169512, _169514, _169516, _169518, _169520]))], (5191 ^ _35448) ^ [] : [5192 ^ _35448 : [(5193 ^ _35448) ^ [] : [icext(_169516, 5185 ^ [_169512, _169514, _169516, _169518, _169520])], (5195 ^ _35448) ^ [] : [icext(_169512, 5185 ^ [_169512, _169514, _169516, _169518, _169520])]], 5196 ^ _35448 : [(5197 ^ _35448) ^ [] : [-(icext(_169516, 5185 ^ [_169512, _169514, _169516, _169518, _169520]))], (5199 ^ _35448) ^ [] : [-(icext(_169512, 5185 ^ [_169512, _169514, _169516, _169518, _169520]))]]]], 5200 ^ _35448 : [(5213 ^ _35448) ^ [] : [icext(_169520, 5185 ^ [_169512, _169514, _169516, _169518, _169520])], (5201 ^ _35448) ^ [] : [-(icext(_169516, 5185 ^ [_169512, _169514, _169516, _169518, _169520])), -(icext(_169512, 5185 ^ [_169512, _169514, _169516, _169518, _169520]))], (5207 ^ _35448) ^ [] : [icext(_169516, 5185 ^ [_169512, _169514, _169516, _169518, _169520]), icext(_169512, 5185 ^ [_169512, _169514, _169516, _169518, _169520])]]], (5132 ^ _35448) ^ [] : [iext(uri_owl_disjointUnionOf, _169520, _169518), 5135 ^ _35448 : [(5136 ^ _35448) ^ [] : [-(ic(_169520))], (5138 ^ _35448) ^ [] : [-(ic(_169516))], (5140 ^ _35448) ^ [] : [-(ic(_169512))], (5158 ^ _35448) ^ [_170868] : [-(icext(_169520, _170868)), 5161 ^ _35448 : [(5162 ^ _35448) ^ [] : [icext(_169516, _170868)], (5164 ^ _35448) ^ [] : [icext(_169512, _170868)]], 5165 ^ _35448 : [(5166 ^ _35448) ^ [] : [-(icext(_169516, _170868))], (5168 ^ _35448) ^ [] : [-(icext(_169512, _170868))]]], (5142 ^ _35448) ^ [_170377] : [icext(_169520, _170377), 5145 ^ _35448 : [(5146 ^ _35448) ^ [] : [-(icext(_169516, _170377)), -(icext(_169512, _170377))], (5152 ^ _35448) ^ [] : [icext(_169516, _170377), icext(_169512, _170377)]]]]]]], (5217 ^ _35448) ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899] : [iext(uri_rdf_first, _172897, _172895), iext(uri_rdf_rest, _172897, _172893), iext(uri_rdf_first, _172893, _172891), iext(uri_rdf_rest, _172893, _172889), iext(uri_rdf_first, _172889, _172887), iext(uri_rdf_rest, _172889, uri_rdf_nil), 5240 ^ _35448 : [(5313 ^ _35448) ^ [] : [-(iext(uri_owl_disjointUnionOf, _172899, _172897)), ic(_172899), ic(_172895), ic(_172891), ic(_172887), 5333 ^ _35448 : [(5334 ^ _35448) ^ [] : [-(icext(_172899, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))], (5336 ^ _35448) ^ [] : [5337 ^ _35448 : [(5338 ^ _35448) ^ [] : [icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])], (5340 ^ _35448) ^ [] : [icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])], (5342 ^ _35448) ^ [] : [icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])]], 5345 ^ _35448 : [(5346 ^ _35448) ^ [] : [-(icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))], (5348 ^ _35448) ^ [] : [-(icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))]], 5351 ^ _35448 : [(5352 ^ _35448) ^ [] : [-(icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))], (5354 ^ _35448) ^ [] : [-(icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))]], 5355 ^ _35448 : [(5356 ^ _35448) ^ [] : [-(icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))], (5358 ^ _35448) ^ [] : [-(icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))]]]], 5359 ^ _35448 : [(5388 ^ _35448) ^ [] : [icext(_172899, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])], (5360 ^ _35448) ^ [] : [-(icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])), -(icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])), -(icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]))], (5370 ^ _35448) ^ [] : [icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]), icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])], (5376 ^ _35448) ^ [] : [icext(_172895, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]), icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])], (5382 ^ _35448) ^ [] : [icext(_172891, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899]), icext(_172887, 5330 ^ [_172887, _172889, _172891, _172893, _172895, _172897, _172899])]]], (5241 ^ _35448) ^ [] : [iext(uri_owl_disjointUnionOf, _172899, _172897), 5244 ^ _35448 : [(5245 ^ _35448) ^ [] : [-(ic(_172899))], (5247 ^ _35448) ^ [] : [-(ic(_172895))], (5249 ^ _35448) ^ [] : [-(ic(_172891))], (5251 ^ _35448) ^ [] : [-(ic(_172887))], (5285 ^ _35448) ^ [_175181] : [-(icext(_172899, _175181)), 5288 ^ _35448 : [(5289 ^ _35448) ^ [] : [icext(_172895, _175181)], (5291 ^ _35448) ^ [] : [icext(_172891, _175181)], (5293 ^ _35448) ^ [] : [icext(_172887, _175181)]], 5296 ^ _35448 : [(5297 ^ _35448) ^ [] : [-(icext(_172895, _175181))], (5299 ^ _35448) ^ [] : [-(icext(_172891, _175181))]], 5302 ^ _35448 : [(5303 ^ _35448) ^ [] : [-(icext(_172895, _175181))], (5305 ^ _35448) ^ [] : [-(icext(_172887, _175181))]], 5306 ^ _35448 : [(5307 ^ _35448) ^ [] : [-(icext(_172891, _175181))], (5309 ^ _35448) ^ [] : [-(icext(_172887, _175181))]]], (5253 ^ _35448) ^ [_174140] : [icext(_172899, _174140), 5256 ^ _35448 : [(5257 ^ _35448) ^ [] : [-(icext(_172895, _174140)), -(icext(_172891, _174140)), -(icext(_172887, _174140))], (5267 ^ _35448) ^ [] : [icext(_172895, _174140), icext(_172891, _174140)], (5273 ^ _35448) ^ [] : [icext(_172895, _174140), icext(_172887, _174140)], (5279 ^ _35448) ^ [] : [icext(_172891, _174140), icext(_172887, _174140)]]]]]]], (5392 ^ _35448) ^ [_179037, _179039] : [iext(uri_owl_disjointWith, _179039, _179037), 5395 ^ _35448 : [(5396 ^ _35448) ^ [] : [-(ic(_179039))], (5398 ^ _35448) ^ [] : [-(ic(_179037))], (5400 ^ _35448) ^ [_179318] : [icext(_179039, _179318), icext(_179037, _179318)]]], (5406 ^ _35448) ^ [_179498, _179500] : [-(iext(uri_owl_disjointWith, _179500, _179498)), ic(_179500), ic(_179498), 5416 ^ _35448 : [(5417 ^ _35448) ^ [] : [-(icext(_179500, 5415 ^ [_179498, _179500]))], (5419 ^ _35448) ^ [] : [-(icext(_179498, 5415 ^ [_179498, _179500]))]]], (5423 ^ _35448) ^ [_180065, _180067] : [iext(uri_owl_equivalentClass, _180067, _180065), 5426 ^ _35448 : [(5427 ^ _35448) ^ [] : [-(ic(_180067))], (5429 ^ _35448) ^ [] : [-(ic(_180065))], (5431 ^ _35448) ^ [_180373] : [icext(_180067, _180373), -(icext(_180065, _180373))], (5437 ^ _35448) ^ [_180545] : [icext(_180065, _180545), -(icext(_180067, _180545))]]], (5443 ^ _35448) ^ [_180728, _180730] : [-(iext(uri_owl_equivalentClass, _180730, _180728)), ic(_180730), ic(_180728), 5455 ^ _35448 : [(5456 ^ _35448) ^ [] : [-(icext(_180730, 5452 ^ [_180728, _180730]))], (5458 ^ _35448) ^ [] : [icext(_180728, 5452 ^ [_180728, _180730])]], 5459 ^ _35448 : [(5460 ^ _35448) ^ [] : [-(icext(_180728, 5452 ^ [_180728, _180730]))], (5462 ^ _35448) ^ [] : [icext(_180730, 5452 ^ [_180728, _180730])]]], (5466 ^ _35448) ^ [_181465, _181467] : [iext(uri_owl_equivalentProperty, _181467, _181465), 5469 ^ _35448 : [(5470 ^ _35448) ^ [] : [-(ip(_181467))], (5472 ^ _35448) ^ [] : [-(ip(_181465))], (5474 ^ _35448) ^ [_181794, _181796] : [iext(_181467, _181796, _181794), -(iext(_181465, _181796, _181794))], (5480 ^ _35448) ^ [_181976, _181978] : [iext(_181465, _181978, _181976), -(iext(_181467, _181978, _181976))]]], (5486 ^ _35448) ^ [_182169, _182171] : [-(iext(uri_owl_equivalentProperty, _182171, _182169)), ip(_182171), ip(_182169), 5499 ^ _35448 : [(5500 ^ _35448) ^ [] : [-(iext(_182171, 5495 ^ [_182169, _182171], 5496 ^ [_182169, _182171]))], (5502 ^ _35448) ^ [] : [iext(_182169, 5495 ^ [_182169, _182171], 5496 ^ [_182169, _182171])]], 5503 ^ _35448 : [(5504 ^ _35448) ^ [] : [-(iext(_182169, 5495 ^ [_182169, _182171], 5496 ^ [_182169, _182171]))], (5506 ^ _35448) ^ [] : [iext(_182171, 5495 ^ [_182169, _182171], 5496 ^ [_182169, _182171])]]], (5510 ^ _35448) ^ [_183019, _183021] : [iext(uri_owl_propertyDisjointWith, _183021, _183019), 5513 ^ _35448 : [(5514 ^ _35448) ^ [] : [-(ip(_183021))], (5516 ^ _35448) ^ [] : [-(ip(_183019))], (5518 ^ _35448) ^ [_183321, _183323] : [iext(_183021, _183323, _183321), iext(_183019, _183323, _183321)]]], (5524 ^ _35448) ^ [_183511, _183513] : [-(iext(uri_owl_propertyDisjointWith, _183513, _183511)), ip(_183513), ip(_183511), 5535 ^ _35448 : [(5536 ^ _35448) ^ [] : [-(iext(_183513, 5533 ^ [_183511, _183513], 5534 ^ [_183511, _183513]))], (5538 ^ _35448) ^ [] : [-(iext(_183511, 5533 ^ [_183511, _183513], 5534 ^ [_183511, _183513]))]]], (5542 ^ _35448) ^ [_184177, _184179] : [iext(uri_owl_sameAs, _184179, _184177), -(_184179 = _184177)], (5548 ^ _35448) ^ [_184341, _184343] : [_184343 = _184341, -(iext(uri_owl_sameAs, _184343, _184341))], (5555 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35448) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35448) ^ [_184707, _184709] : [5567 ^ _35448 : [(5568 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_184707, _184709]))], (5570 ^ _35448) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_184707, _184709], _184709))]], iext(uri_rdf_first, _184709, _184707), iext(uri_rdf_rest, _184709, uri_rdf_nil)], (5572 ^ _35448) ^ [_185186, _185188, _185190, _185192] : [5592 ^ _35448 : [(5593 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_185186, _185188, _185190, _185192]))], (5595 ^ _35448) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_185186, _185188, _185190, _185192], _185192))]], iext(uri_rdf_first, _185192, _185190), iext(uri_rdf_rest, _185192, _185188), iext(uri_rdf_first, _185188, _185186), iext(uri_rdf_rest, _185188, uri_rdf_nil), -(_185190 = _185186)], (5597 ^ _35448) ^ [_186031, _186033, _186035, _186037, _186039, _186041] : [5633 ^ _35448 : [(5634 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_186031, _186033, _186035, _186037, _186039, _186041]))], (5636 ^ _35448) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_186031, _186033, _186035, _186037, _186039, _186041], _186041))]], iext(uri_rdf_first, _186041, _186039), iext(uri_rdf_rest, _186041, _186037), iext(uri_rdf_first, _186037, _186035), iext(uri_rdf_rest, _186037, _186033), iext(uri_rdf_first, _186033, _186031), iext(uri_rdf_rest, _186033, uri_rdf_nil), -(_186039 = _186035), -(_186039 = _186031), -(_186035 = _186031)], (5638 ^ _35448) ^ [] : [-(tautology), tautology], (5644 ^ _35448) ^ [] : [-(tautology), tautology], (5650 ^ _35448) ^ [_187594, _187596, _187598, _187600, _187602] : [_187598 = _187594, iext(uri_rdf_first, _187600, _187598), iext(uri_rdf_rest, _187600, _187596), iext(uri_rdf_first, _187596, _187594), iext(uri_rdf_rest, _187596, uri_rdf_nil), icext(uri_owl_AllDifferent, _187602), iext(uri_owl_distinctMembers, _187602, _187600)], (5676 ^ _35448) ^ [_188408, _188410, _188412, _188414, _188416, _188418, _188420] : [5707 ^ _35448 : [(5708 ^ _35448) ^ [] : [_188416 = _188412], (5710 ^ _35448) ^ [] : [_188416 = _188408], (5712 ^ _35448) ^ [] : [_188412 = _188408]], iext(uri_rdf_first, _188418, _188416), iext(uri_rdf_rest, _188418, _188414), iext(uri_rdf_first, _188414, _188412), iext(uri_rdf_rest, _188414, _188410), iext(uri_rdf_first, _188410, _188408), iext(uri_rdf_rest, _188410, uri_rdf_nil), icext(uri_owl_AllDifferent, _188420), iext(uri_owl_distinctMembers, _188420, _188418)], (5715 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35448) ^ [_189749, _189751] : [5727 ^ _35448 : [(5728 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_189749, _189751]))], (5730 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_189749, _189751], _189751))]], iext(uri_rdf_first, _189751, _189749), iext(uri_rdf_rest, _189751, uri_rdf_nil)], (5732 ^ _35448) ^ [_190228, _190230, _190232, _190234] : [5752 ^ _35448 : [(5753 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_190228, _190230, _190232, _190234]))], (5755 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_190228, _190230, _190232, _190234], _190234))]], iext(uri_rdf_first, _190234, _190232), iext(uri_rdf_rest, _190234, _190230), iext(uri_rdf_first, _190230, _190228), iext(uri_rdf_rest, _190230, uri_rdf_nil), -(_190232 = _190228)], (5757 ^ _35448) ^ [_191073, _191075, _191077, _191079, _191081, _191083] : [5793 ^ _35448 : [(5794 ^ _35448) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_191073, _191075, _191077, _191079, _191081, _191083]))], (5796 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_191073, _191075, _191077, _191079, _191081, _191083], _191083))]], iext(uri_rdf_first, _191083, _191081), iext(uri_rdf_rest, _191083, _191079), iext(uri_rdf_first, _191079, _191077), iext(uri_rdf_rest, _191079, _191075), iext(uri_rdf_first, _191075, _191073), iext(uri_rdf_rest, _191075, uri_rdf_nil), -(_191081 = _191077), -(_191081 = _191073), -(_191077 = _191073)], (5798 ^ _35448) ^ [] : [-(tautology), tautology], (5804 ^ _35448) ^ [] : [-(tautology), tautology], (5810 ^ _35448) ^ [_192636, _192638, _192640, _192642, _192644] : [_192640 = _192636, iext(uri_rdf_first, _192642, _192640), iext(uri_rdf_rest, _192642, _192638), iext(uri_rdf_first, _192638, _192636), iext(uri_rdf_rest, _192638, uri_rdf_nil), icext(uri_owl_AllDifferent, _192644), iext(uri_owl_members, _192644, _192642)], (5836 ^ _35448) ^ [_193450, _193452, _193454, _193456, _193458, _193460, _193462] : [5867 ^ _35448 : [(5868 ^ _35448) ^ [] : [_193458 = _193454], (5870 ^ _35448) ^ [] : [_193458 = _193450], (5872 ^ _35448) ^ [] : [_193454 = _193450]], iext(uri_rdf_first, _193460, _193458), iext(uri_rdf_rest, _193460, _193456), iext(uri_rdf_first, _193456, _193454), iext(uri_rdf_rest, _193456, _193452), iext(uri_rdf_first, _193452, _193450), iext(uri_rdf_rest, _193452, uri_rdf_nil), icext(uri_owl_AllDifferent, _193462), iext(uri_owl_members, _193462, _193460)], (5875 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35448) ^ [_194791, _194793] : [5887 ^ _35448 : [(5888 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_194791, _194793]))], (5890 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_194791, _194793], _194793))]], iext(uri_rdf_first, _194793, _194791), iext(uri_rdf_rest, _194793, uri_rdf_nil)], (5892 ^ _35448) ^ [_195270, _195272, _195274, _195276] : [5915 ^ _35448 : [(5916 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_195270, _195272, _195274, _195276]))], (5918 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_195270, _195272, _195274, _195276], _195276))]], iext(uri_rdf_first, _195276, _195274), iext(uri_rdf_rest, _195276, _195272), iext(uri_rdf_first, _195272, _195270), iext(uri_rdf_rest, _195272, uri_rdf_nil), 5910 ^ _35448 : [(5911 ^ _35448) ^ [] : [-(icext(_195274, 5909 ^ [_195270, _195272, _195274, _195276]))], (5913 ^ _35448) ^ [] : [-(icext(_195270, 5909 ^ [_195270, _195272, _195274, _195276]))]]], (5920 ^ _35448) ^ [_196282, _196284, _196286, _196288, _196290, _196292] : [5965 ^ _35448 : [(5966 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))], (5968 ^ _35448) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_196282, _196284, _196286, _196288, _196290, _196292], _196292))]], iext(uri_rdf_first, _196292, _196290), iext(uri_rdf_rest, _196292, _196288), iext(uri_rdf_first, _196288, _196286), iext(uri_rdf_rest, _196288, _196284), iext(uri_rdf_first, _196284, _196282), iext(uri_rdf_rest, _196284, uri_rdf_nil), 5948 ^ _35448 : [(5949 ^ _35448) ^ [] : [-(icext(_196290, 5947 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))], (5951 ^ _35448) ^ [] : [-(icext(_196286, 5947 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))]], 5955 ^ _35448 : [(5956 ^ _35448) ^ [] : [-(icext(_196290, 5954 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))], (5958 ^ _35448) ^ [] : [-(icext(_196282, 5954 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))]], 5960 ^ _35448 : [(5961 ^ _35448) ^ [] : [-(icext(_196286, 5959 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))], (5963 ^ _35448) ^ [] : [-(icext(_196282, 5959 ^ [_196282, _196284, _196286, _196288, _196290, _196292]))]]], (5970 ^ _35448) ^ [] : [-(tautology), tautology], (5976 ^ _35448) ^ [] : [-(tautology), tautology], (5982 ^ _35448) ^ [_198406, _198408, _198410, _198412, _198414] : [6005 ^ _35448 : [(6006 ^ _35448) ^ [_199072] : [icext(_198410, _199072), icext(_198406, _199072)]], iext(uri_rdf_first, _198412, _198410), iext(uri_rdf_rest, _198412, _198408), iext(uri_rdf_first, _198408, _198406), iext(uri_rdf_rest, _198408, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _198414), iext(uri_owl_members, _198414, _198412)], (6012 ^ _35448) ^ [_199390, _199392, _199394, _199396, _199398, _199400, _199402] : [iext(uri_rdf_first, _199400, _199398), iext(uri_rdf_rest, _199400, _199396), iext(uri_rdf_first, _199396, _199394), iext(uri_rdf_rest, _199396, _199392), iext(uri_rdf_first, _199392, _199390), iext(uri_rdf_rest, _199392, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _199402), iext(uri_owl_members, _199402, _199400), 6043 ^ _35448 : [(6044 ^ _35448) ^ [_200384] : [icext(_199398, _200384), icext(_199394, _200384)], (6050 ^ _35448) ^ [_200629] : [icext(_199398, _200629), icext(_199390, _200629)], (6056 ^ _35448) ^ [_200854] : [icext(_199394, _200854), icext(_199390, _200854)]]], (6063 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35448) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35448) ^ [_201288, _201290] : [6075 ^ _35448 : [(6076 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_201288, _201290]))], (6078 ^ _35448) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_201288, _201290], _201290))]], iext(uri_rdf_first, _201290, _201288), iext(uri_rdf_rest, _201290, uri_rdf_nil)], (6080 ^ _35448) ^ [_201767, _201769, _201771, _201773] : [6104 ^ _35448 : [(6105 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_201767, _201769, _201771, _201773]))], (6107 ^ _35448) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_201767, _201769, _201771, _201773], _201773))]], iext(uri_rdf_first, _201773, _201771), iext(uri_rdf_rest, _201773, _201769), iext(uri_rdf_first, _201769, _201767), iext(uri_rdf_rest, _201769, uri_rdf_nil), 6099 ^ _35448 : [(6100 ^ _35448) ^ [] : [-(iext(_201771, 6097 ^ [_201767, _201769, _201771, _201773], 6098 ^ [_201767, _201769, _201771, _201773]))], (6102 ^ _35448) ^ [] : [-(iext(_201767, 6097 ^ [_201767, _201769, _201771, _201773], 6098 ^ [_201767, _201769, _201771, _201773]))]]], (6109 ^ _35448) ^ [_202902, _202904, _202906, _202908, _202910, _202912] : [6157 ^ _35448 : [(6158 ^ _35448) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))], (6160 ^ _35448) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_202902, _202904, _202906, _202908, _202910, _202912], _202912))]], iext(uri_rdf_first, _202912, _202910), iext(uri_rdf_rest, _202912, _202908), iext(uri_rdf_first, _202908, _202906), iext(uri_rdf_rest, _202908, _202904), iext(uri_rdf_first, _202904, _202902), iext(uri_rdf_rest, _202904, uri_rdf_nil), 6138 ^ _35448 : [(6139 ^ _35448) ^ [] : [-(iext(_202910, 6136 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6137 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))], (6141 ^ _35448) ^ [] : [-(iext(_202906, 6136 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6137 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))]], 6146 ^ _35448 : [(6147 ^ _35448) ^ [] : [-(iext(_202910, 6144 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6145 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))], (6149 ^ _35448) ^ [] : [-(iext(_202902, 6144 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6145 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))]], 6152 ^ _35448 : [(6153 ^ _35448) ^ [] : [-(iext(_202906, 6150 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6151 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))], (6155 ^ _35448) ^ [] : [-(iext(_202902, 6150 ^ [_202902, _202904, _202906, _202908, _202910, _202912], 6151 ^ [_202902, _202904, _202906, _202908, _202910, _202912]))]]], (6162 ^ _35448) ^ [] : [-(tautology), tautology], (6168 ^ _35448) ^ [] : [-(tautology), tautology], (6174 ^ _35448) ^ [_205467, _205469, _205471, _205473, _205475] : [6197 ^ _35448 : [(6198 ^ _35448) ^ [_206154, _206156] : [iext(_205471, _206156, _206154), iext(_205467, _206156, _206154)]], iext(uri_rdf_first, _205473, _205471), iext(uri_rdf_rest, _205473, _205469), iext(uri_rdf_first, _205469, _205467), iext(uri_rdf_rest, _205469, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _205475), iext(uri_owl_members, _205475, _205473)], (6204 ^ _35448) ^ [_206482, _206484, _206486, _206488, _206490, _206492, _206494] : [iext(uri_rdf_first, _206492, _206490), iext(uri_rdf_rest, _206492, _206488), iext(uri_rdf_first, _206488, _206486), iext(uri_rdf_rest, _206488, _206484), iext(uri_rdf_first, _206484, _206482), iext(uri_rdf_rest, _206484, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _206494), iext(uri_owl_members, _206494, _206492), 6235 ^ _35448 : [(6236 ^ _35448) ^ [_207511, _207513] : [iext(_206490, _207513, _207511), iext(_206486, _207513, _207511)], (6242 ^ _35448) ^ [_207780, _207782] : [iext(_206490, _207782, _207780), iext(_206482, _207782, _207780)], (6248 ^ _35448) ^ [_208029, _208031] : [iext(_206486, _208031, _208029), iext(_206482, _208031, _208029)]]], (6254 ^ _35448) ^ [_208336] : [iext(uri_owl_propertyChainAxiom, _208336, uri_rdf_nil), 6257 ^ _35448 : [(6258 ^ _35448) ^ [] : [-(ip(_208336))], (6260 ^ _35448) ^ [_208519] : [-(iext(_208336, _208519, _208519))]]], (6262 ^ _35448) ^ [_208588] : [-(iext(uri_owl_propertyChainAxiom, _208588, uri_rdf_nil)), ip(_208588), iext(_208588, 6267 ^ [_208588], 6267 ^ [_208588])], (6273 ^ _35448) ^ [_208952, _208954, _208956] : [iext(uri_rdf_first, _208954, _208952), iext(uri_rdf_rest, _208954, uri_rdf_nil), 6280 ^ _35448 : [(6281 ^ _35448) ^ [] : [iext(uri_owl_propertyChainAxiom, _208956, _208954), 6284 ^ _35448 : [(6285 ^ _35448) ^ [] : [-(ip(_208956))], (6287 ^ _35448) ^ [] : [-(ip(_208952))], (6289 ^ _35448) ^ [_209475, _209477] : [iext(_208952, _209477, _209475), -(iext(_208956, _209477, _209475))]]], (6295 ^ _35448) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _208956, _208954)), ip(_208956), ip(_208952), 6306 ^ _35448 : [(6307 ^ _35448) ^ [] : [-(iext(_208952, 6304 ^ [_208952, _208954, _208956], 6305 ^ [_208952, _208954, _208956]))], (6309 ^ _35448) ^ [] : [iext(_208956, 6304 ^ [_208952, _208954, _208956], 6305 ^ [_208952, _208954, _208956])]]]]], (6313 ^ _35448) ^ [_210327, _210329, _210331, _210333, _210335] : [iext(uri_rdf_first, _210333, _210331), iext(uri_rdf_rest, _210333, _210329), iext(uri_rdf_first, _210329, _210327), iext(uri_rdf_rest, _210329, uri_rdf_nil), 6328 ^ _35448 : [(6329 ^ _35448) ^ [] : [iext(uri_owl_propertyChainAxiom, _210335, _210333), 6332 ^ _35448 : [(6333 ^ _35448) ^ [] : [-(ip(_210335))], (6335 ^ _35448) ^ [] : [-(ip(_210331))], (6337 ^ _35448) ^ [] : [-(ip(_210327))], (6339 ^ _35448) ^ [_211190, _211192, _211194] : [-(iext(_210335, _211194, _211190)), iext(_210331, _211194, _211192), iext(_210327, _211192, _211190)]]], (6349 ^ _35448) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _210335, _210333)), ip(_210335), ip(_210331), ip(_210327), 6365 ^ _35448 : [(6366 ^ _35448) ^ [] : [-(iext(_210331, 6362 ^ [_210327, _210329, _210331, _210333, _210335], 6363 ^ [_210327, _210329, _210331, _210333, _210335]))], (6368 ^ _35448) ^ [] : [-(iext(_210327, 6363 ^ [_210327, _210329, _210331, _210333, _210335], 6364 ^ [_210327, _210329, _210331, _210333, _210335]))], (6370 ^ _35448) ^ [] : [iext(_210335, 6362 ^ [_210327, _210329, _210331, _210333, _210335], 6364 ^ [_210327, _210329, _210331, _210333, _210335])]]]]], (6374 ^ _35448) ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642] : [iext(uri_rdf_first, _212640, _212638), iext(uri_rdf_rest, _212640, _212636), iext(uri_rdf_first, _212636, _212634), iext(uri_rdf_rest, _212636, _212632), iext(uri_rdf_first, _212632, _212630), iext(uri_rdf_rest, _212632, uri_rdf_nil), 6397 ^ _35448 : [(6398 ^ _35448) ^ [] : [iext(uri_owl_propertyChainAxiom, _212642, _212640), 6401 ^ _35448 : [(6402 ^ _35448) ^ [] : [-(ip(_212642))], (6404 ^ _35448) ^ [] : [-(ip(_212638))], (6406 ^ _35448) ^ [] : [-(ip(_212634))], (6408 ^ _35448) ^ [] : [-(ip(_212630))], (6410 ^ _35448) ^ [_213873, _213875, _213877, _213879] : [-(iext(_212642, _213879, _213873)), iext(_212638, _213879, _213877), iext(_212634, _213877, _213875), iext(_212630, _213875, _213873)]]], (6424 ^ _35448) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _212642, _212640)), ip(_212642), ip(_212638), ip(_212634), ip(_212630), 6445 ^ _35448 : [(6446 ^ _35448) ^ [] : [-(iext(_212638, 6441 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642], 6442 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642]))], (6448 ^ _35448) ^ [] : [-(iext(_212634, 6442 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642], 6443 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642]))], (6450 ^ _35448) ^ [] : [-(iext(_212630, 6443 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642], 6444 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642]))], (6452 ^ _35448) ^ [] : [iext(_212642, 6441 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642], 6444 ^ [_212630, _212632, _212634, _212636, _212638, _212640, _212642])]]]]], (6456 ^ _35448) ^ [_215997, _215999] : [iext(uri_owl_inverseOf, _215999, _215997), 6459 ^ _35448 : [(6460 ^ _35448) ^ [] : [-(ip(_215999))], (6462 ^ _35448) ^ [] : [-(ip(_215997))], (6464 ^ _35448) ^ [_216326, _216328] : [iext(_215999, _216328, _216326), -(iext(_215997, _216326, _216328))], (6470 ^ _35448) ^ [_216508, _216510] : [iext(_215997, _216508, _216510), -(iext(_215999, _216510, _216508))]]], (6476 ^ _35448) ^ [_216701, _216703] : [-(iext(uri_owl_inverseOf, _216703, _216701)), ip(_216703), ip(_216701), 6489 ^ _35448 : [(6490 ^ _35448) ^ [] : [-(iext(_216703, 6485 ^ [_216701, _216703], 6486 ^ [_216701, _216703]))], (6492 ^ _35448) ^ [] : [iext(_216701, 6486 ^ [_216701, _216703], 6485 ^ [_216701, _216703])]], 6493 ^ _35448 : [(6494 ^ _35448) ^ [] : [-(iext(_216701, 6486 ^ [_216701, _216703], 6485 ^ [_216701, _216703]))], (6496 ^ _35448) ^ [] : [iext(_216703, 6485 ^ [_216701, _216703], 6486 ^ [_216701, _216703])]]], (6500 ^ _35448) ^ [_217537] : [icext(uri_owl_AsymmetricProperty, _217537), 6503 ^ _35448 : [(6504 ^ _35448) ^ [] : [-(ip(_217537))], (6506 ^ _35448) ^ [_217761, _217763] : [iext(_217537, _217763, _217761), iext(_217537, _217761, _217763)]]], (6512 ^ _35448) ^ [_217943] : [-(icext(uri_owl_AsymmetricProperty, _217943)), ip(_217943), 6519 ^ _35448 : [(6520 ^ _35448) ^ [] : [-(iext(_217943, 6517 ^ [_217943], 6518 ^ [_217943]))], (6522 ^ _35448) ^ [] : [-(iext(_217943, 6518 ^ [_217943], 6517 ^ [_217943]))]]], (6542 ^ _35448) ^ [_219005] : [-(icext(uri_owl_FunctionalProperty, _219005)), ip(_219005), 6550 ^ _35448 : [(6551 ^ _35448) ^ [] : [-(iext(_219005, 6547 ^ [_219005], 6548 ^ [_219005]))], (6553 ^ _35448) ^ [] : [-(iext(_219005, 6547 ^ [_219005], 6549 ^ [_219005]))], (6555 ^ _35448) ^ [] : [6548 ^ [_219005] = 6549 ^ [_219005]]]], (6526 ^ _35448) ^ [_218474] : [icext(uri_owl_FunctionalProperty, _218474), 6529 ^ _35448 : [(6530 ^ _35448) ^ [] : [-(ip(_218474))], (6532 ^ _35448) ^ [_218721, _218723, _218725] : [-(_218723 = _218721), iext(_218474, _218725, _218723), iext(_218474, _218725, _218721)]]], (6575 ^ _35448) ^ [_220246] : [-(icext(uri_owl_InverseFunctionalProperty, _220246)), ip(_220246), 6583 ^ _35448 : [(6584 ^ _35448) ^ [] : [-(iext(_220246, 6580 ^ [_220246], 6582 ^ [_220246]))], (6586 ^ _35448) ^ [] : [-(iext(_220246, 6581 ^ [_220246], 6582 ^ [_220246]))], (6588 ^ _35448) ^ [] : [6580 ^ [_220246] = 6581 ^ [_220246]]]], (6559 ^ _35448) ^ [_219715] : [icext(uri_owl_InverseFunctionalProperty, _219715), 6562 ^ _35448 : [(6563 ^ _35448) ^ [] : [-(ip(_219715))], (6565 ^ _35448) ^ [_219962, _219964, _219966] : [-(_219966 = _219964), iext(_219715, _219966, _219962), iext(_219715, _219964, _219962)]]], (6592 ^ _35448) ^ [_220956] : [icext(uri_owl_IrreflexiveReflexiveProperty, _220956), 6595 ^ _35448 : [(6596 ^ _35448) ^ [] : [-(ip(_220956))], (6598 ^ _35448) ^ [_221138] : [iext(_220956, _221138, _221138)]]], (6600 ^ _35448) ^ [_221207] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _221207)), ip(_221207), -(iext(_221207, 6605 ^ [_221207], 6605 ^ [_221207]))], (6611 ^ _35448) ^ [_221575] : [icext(uri_owl_ReflexiveProperty, _221575), 6614 ^ _35448 : [(6615 ^ _35448) ^ [] : [-(ip(_221575))], (6617 ^ _35448) ^ [_221756] : [-(iext(_221575, _221756, _221756))]]], (6619 ^ _35448) ^ [_221825] : [-(icext(uri_owl_ReflexiveProperty, _221825)), ip(_221825), iext(_221825, 6624 ^ [_221825], 6624 ^ [_221825])], (6630 ^ _35448) ^ [_222188] : [icext(uri_owl_SymmetricProperty, _222188), 6633 ^ _35448 : [(6634 ^ _35448) ^ [] : [-(ip(_222188))], (6636 ^ _35448) ^ [_222410, _222412] : [iext(_222188, _222412, _222410), -(iext(_222188, _222410, _222412))]]], (6642 ^ _35448) ^ [_222591] : [-(icext(uri_owl_SymmetricProperty, _222591)), ip(_222591), 6649 ^ _35448 : [(6650 ^ _35448) ^ [] : [-(iext(_222591, 6647 ^ [_222591], 6648 ^ [_222591]))], (6652 ^ _35448) ^ [] : [iext(_222591, 6648 ^ [_222591], 6647 ^ [_222591])]]], (6672 ^ _35448) ^ [_223649] : [-(icext(uri_owl_TransitiveProperty, _223649)), ip(_223649), 6680 ^ _35448 : [(6681 ^ _35448) ^ [] : [-(iext(_223649, 6677 ^ [_223649], 6678 ^ [_223649]))], (6683 ^ _35448) ^ [] : [-(iext(_223649, 6678 ^ [_223649], 6679 ^ [_223649]))], (6685 ^ _35448) ^ [] : [iext(_223649, 6677 ^ [_223649], 6679 ^ [_223649])]]], (6656 ^ _35448) ^ [_223115] : [icext(uri_owl_TransitiveProperty, _223115), 6659 ^ _35448 : [(6660 ^ _35448) ^ [] : [-(ip(_223115))], (6662 ^ _35448) ^ [_223363, _223365, _223367] : [-(iext(_223115, _223367, _223363)), iext(_223115, _223367, _223365), iext(_223115, _223365, _223363)]]], (6705 ^ _35448) ^ [_224862] : [-(iext(uri_owl_hasKey, _224862, uri_rdf_nil)), ic(_224862), 6712 ^ _35448 : [(6713 ^ _35448) ^ [] : [-(icext(_224862, 6710 ^ [_224862]))], (6715 ^ _35448) ^ [] : [-(icext(_224862, 6711 ^ [_224862]))], (6717 ^ _35448) ^ [] : [6710 ^ [_224862] = 6711 ^ [_224862]]]], (6689 ^ _35448) ^ [_224364] : [iext(uri_owl_hasKey, _224364, uri_rdf_nil), 6692 ^ _35448 : [(6693 ^ _35448) ^ [] : [-(ic(_224364))], (6695 ^ _35448) ^ [_224592, _224594] : [-(_224594 = _224592), icext(_224364, _224594), icext(_224364, _224592)]]], (6721 ^ _35448) ^ [_225465, _225467, _225469] : [iext(uri_rdf_first, _225467, _225465), iext(uri_rdf_rest, _225467, uri_rdf_nil), 6728 ^ _35448 : [(6755 ^ _35448) ^ [] : [-(iext(uri_owl_hasKey, _225469, _225467)), ic(_225469), ip(_225465), 6767 ^ _35448 : [(6768 ^ _35448) ^ [] : [-(icext(_225469, 6764 ^ [_225465, _225467, _225469]))], (6770 ^ _35448) ^ [] : [-(icext(_225469, 6765 ^ [_225465, _225467, _225469]))], (6772 ^ _35448) ^ [] : [-(iext(_225465, 6764 ^ [_225465, _225467, _225469], 6766 ^ [_225465, _225467, _225469]))], (6774 ^ _35448) ^ [] : [-(iext(_225465, 6765 ^ [_225465, _225467, _225469], 6766 ^ [_225465, _225467, _225469]))], (6776 ^ _35448) ^ [] : [6764 ^ [_225465, _225467, _225469] = 6765 ^ [_225465, _225467, _225469]]]], (6729 ^ _35448) ^ [] : [iext(uri_owl_hasKey, _225469, _225467), 6732 ^ _35448 : [(6733 ^ _35448) ^ [] : [-(ic(_225469))], (6735 ^ _35448) ^ [] : [-(ip(_225465))], (6737 ^ _35448) ^ [_226025, _226027, _226029] : [-(_226029 = _226027), icext(_225469, _226029), icext(_225469, _226027), iext(_225465, _226029, _226025), iext(_225465, _226027, _226025)]]]]], (6780 ^ _35448) ^ [_227634, _227636, _227638, _227640, _227642] : [iext(uri_rdf_first, _227640, _227638), iext(uri_rdf_rest, _227640, _227636), iext(uri_rdf_first, _227636, _227634), iext(uri_rdf_rest, _227636, uri_rdf_nil), 6795 ^ _35448 : [(6832 ^ _35448) ^ [] : [-(iext(uri_owl_hasKey, _227642, _227640)), ic(_227642), ip(_227638), ip(_227634), 6849 ^ _35448 : [(6850 ^ _35448) ^ [] : [-(icext(_227642, 6845 ^ [_227634, _227636, _227638, _227640, _227642]))], (6852 ^ _35448) ^ [] : [-(icext(_227642, 6846 ^ [_227634, _227636, _227638, _227640, _227642]))], (6854 ^ _35448) ^ [] : [-(iext(_227638, 6845 ^ [_227634, _227636, _227638, _227640, _227642], 6847 ^ [_227634, _227636, _227638, _227640, _227642]))], (6856 ^ _35448) ^ [] : [-(iext(_227638, 6846 ^ [_227634, _227636, _227638, _227640, _227642], 6847 ^ [_227634, _227636, _227638, _227640, _227642]))], (6858 ^ _35448) ^ [] : [-(iext(_227634, 6845 ^ [_227634, _227636, _227638, _227640, _227642], 6848 ^ [_227634, _227636, _227638, _227640, _227642]))], (6860 ^ _35448) ^ [] : [-(iext(_227634, 6846 ^ [_227634, _227636, _227638, _227640, _227642], 6848 ^ [_227634, _227636, _227638, _227640, _227642]))], (6862 ^ _35448) ^ [] : [6845 ^ [_227634, _227636, _227638, _227640, _227642] = 6846 ^ [_227634, _227636, _227638, _227640, _227642]]]], (6796 ^ _35448) ^ [] : [iext(uri_owl_hasKey, _227642, _227640), 6799 ^ _35448 : [(6800 ^ _35448) ^ [] : [-(ic(_227642))], (6802 ^ _35448) ^ [] : [-(ip(_227638))], (6804 ^ _35448) ^ [] : [-(ip(_227634))], (6806 ^ _35448) ^ [_228541, _228543, _228545, _228547] : [-(_228547 = _228545), icext(_227642, _228547), icext(_227642, _228545), iext(_227638, _228547, _228543), iext(_227638, _228545, _228543), iext(_227634, _228547, _228541), iext(_227634, _228545, _228541)]]]]], (6866 ^ _35448) ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251] : [iext(uri_rdf_first, _231249, _231247), iext(uri_rdf_rest, _231249, _231245), iext(uri_rdf_first, _231245, _231243), iext(uri_rdf_rest, _231245, _231241), iext(uri_rdf_first, _231241, _231239), iext(uri_rdf_rest, _231241, uri_rdf_nil), 6889 ^ _35448 : [(6936 ^ _35448) ^ [] : [-(iext(uri_owl_hasKey, _231251, _231249)), ic(_231251), ip(_231247), ip(_231243), ip(_231239), 6958 ^ _35448 : [(6959 ^ _35448) ^ [] : [-(icext(_231251, 6953 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6961 ^ _35448) ^ [] : [-(icext(_231251, 6954 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6963 ^ _35448) ^ [] : [-(iext(_231247, 6953 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6955 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6965 ^ _35448) ^ [] : [-(iext(_231247, 6954 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6955 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6967 ^ _35448) ^ [] : [-(iext(_231243, 6953 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6956 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6969 ^ _35448) ^ [] : [-(iext(_231243, 6954 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6956 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6971 ^ _35448) ^ [] : [-(iext(_231239, 6953 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6957 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6973 ^ _35448) ^ [] : [-(iext(_231239, 6954 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251], 6957 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]))], (6975 ^ _35448) ^ [] : [6953 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251] = 6954 ^ [_231239, _231241, _231243, _231245, _231247, _231249, _231251]]]], (6890 ^ _35448) ^ [] : [iext(uri_owl_hasKey, _231251, _231249), 6893 ^ _35448 : [(6894 ^ _35448) ^ [] : [-(ic(_231251))], (6896 ^ _35448) ^ [] : [-(ip(_231247))], (6898 ^ _35448) ^ [] : [-(ip(_231243))], (6900 ^ _35448) ^ [] : [-(ip(_231239))], (6902 ^ _35448) ^ [_232533, _232535, _232537, _232539, _232541] : [-(_232541 = _232539), icext(_231251, _232541), icext(_231251, _232539), iext(_231247, _232541, _232537), iext(_231247, _232539, _232537), iext(_231243, _232541, _232535), iext(_231243, _232539, _232535), iext(_231239, _232541, _232533), iext(_231239, _232539, _232533)]]]]], (6979 ^ _35448) ^ [_236603, _236605, _236607] : [6995 ^ _35448 : [(6996 ^ _35448) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_236603, _236605, _236607], _236605))], (6998 ^ _35448) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_236603, _236605, _236607], _236607))], (7000 ^ _35448) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_236603, _236605, _236607], _236603))]], ir(_236605), iodp(_236607), lv(_236603), -(iext(_236607, _236605, _236603))], (7002 ^ _35448) ^ [_237380, _237382, _237384, _237386] : [7013 ^ _35448 : [(7014 ^ _35448) ^ [] : [-(iodp(_237384))], (7016 ^ _35448) ^ [] : [iext(_237384, _237382, _237380)]], iext(uri_owl_sourceIndividual, _237386, _237382), iext(uri_owl_assertionProperty, _237386, _237384), iext(uri_owl_targetValue, _237386, _237380)], (7018 ^ _35448) ^ [_237896, _237898, _237900] : [7034 ^ _35448 : [(7035 ^ _35448) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_237896, _237898, _237900], _237898))], (7037 ^ _35448) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_237896, _237898, _237900], _237900))], (7039 ^ _35448) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_237896, _237898, _237900], _237896))]], ir(_237898), ip(_237900), ir(_237896), -(iext(_237900, _237898, _237896))], (7041 ^ _35448) ^ [_238673, _238675, _238677, _238679] : [iext(_238677, _238675, _238673), iext(uri_owl_sourceIndividual, _238679, _238675), iext(uri_owl_assertionProperty, _238679, _238677), iext(uri_owl_targetIndividual, _238679, _238673)], (7055 ^ _35448) ^ [_239084] : [icext(uri_xsd_anyURI, _239084), -(lv(_239084))], (7061 ^ _35448) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35448) ^ [_239325] : [icext(uri_xsd_base64Binary, _239325), -(lv(_239325))], (7069 ^ _35448) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35448) ^ [_239566] : [icext(uri_xsd_boolean, _239566), -(lv(_239566))], (7077 ^ _35448) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35448) ^ [_239807] : [icext(uri_xsd_byte, _239807), -(lv(_239807))], (7085 ^ _35448) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35448) ^ [_240048] : [icext(uri_xsd_dateTime, _240048), -(lv(_240048))], (7093 ^ _35448) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35448) ^ [_240289] : [icext(uri_xsd_dateTimeStamp, _240289), -(lv(_240289))], (7101 ^ _35448) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35448) ^ [_240530] : [icext(uri_xsd_decimal, _240530), -(lv(_240530))], (7109 ^ _35448) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35448) ^ [_240771] : [icext(uri_xsd_double, _240771), -(lv(_240771))], (7117 ^ _35448) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35448) ^ [_241012] : [icext(uri_xsd_float, _241012), -(lv(_241012))], (7125 ^ _35448) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35448) ^ [_241253] : [icext(uri_xsd_hexBinary, _241253), -(lv(_241253))], (7133 ^ _35448) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35448) ^ [_241494] : [icext(uri_xsd_int, _241494), -(lv(_241494))], (7141 ^ _35448) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35448) ^ [_241735] : [icext(uri_xsd_integer, _241735), -(lv(_241735))], (7149 ^ _35448) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35448) ^ [_241976] : [icext(uri_xsd_language, _241976), -(lv(_241976))], (7157 ^ _35448) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35448) ^ [_242217] : [icext(uri_xsd_long, _242217), -(lv(_242217))], (7165 ^ _35448) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35448) ^ [_242458] : [icext(uri_xsd_Name, _242458), -(lv(_242458))], (7173 ^ _35448) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35448) ^ [_242699] : [icext(uri_xsd_NCName, _242699), -(lv(_242699))], (7181 ^ _35448) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35448) ^ [_242940] : [icext(uri_xsd_negativeInteger, _242940), -(lv(_242940))], (7189 ^ _35448) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35448) ^ [_243181] : [icext(uri_xsd_NMTOKEN, _243181), -(lv(_243181))], (7197 ^ _35448) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35448) ^ [_243422] : [icext(uri_xsd_nonNegativeInteger, _243422), -(lv(_243422))], (7205 ^ _35448) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35448) ^ [_243663] : [icext(uri_xsd_nonPositiveInteger, _243663), -(lv(_243663))], (7213 ^ _35448) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35448) ^ [_243904] : [icext(uri_xsd_normalizedString, _243904), -(lv(_243904))], (7221 ^ _35448) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35448) ^ [_244145] : [icext(uri_rdf_PlainLiteral, _244145), -(lv(_244145))], (7229 ^ _35448) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35448) ^ [_244386] : [icext(uri_xsd_positiveInteger, _244386), -(lv(_244386))], (7237 ^ _35448) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35448) ^ [_244627] : [icext(uri_owl_rational, _244627), -(lv(_244627))], (7245 ^ _35448) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35448) ^ [_244868] : [icext(uri_owl_real, _244868), -(lv(_244868))], (7253 ^ _35448) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35448) ^ [_245109] : [icext(uri_xsd_short, _245109), -(lv(_245109))], (7261 ^ _35448) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35448) ^ [_245350] : [icext(uri_xsd_string, _245350), -(lv(_245350))], (7269 ^ _35448) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35448) ^ [_245591] : [icext(uri_xsd_token, _245591), -(lv(_245591))], (7277 ^ _35448) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35448) ^ [_245832] : [icext(uri_xsd_unsignedByte, _245832), -(lv(_245832))], (7285 ^ _35448) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35448) ^ [_246073] : [icext(uri_xsd_unsignedInt, _246073), -(lv(_246073))], (7293 ^ _35448) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35448) ^ [_246314] : [icext(uri_xsd_unsignedLong, _246314), -(lv(_246314))], (7301 ^ _35448) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35448) ^ [_246555] : [icext(uri_xsd_unsignedShort, _246555), -(lv(_246555))], (7309 ^ _35448) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35448) ^ [_246796] : [icext(uri_rdf_XMLLiteral, _246796), -(lv(_246796))], (7317 ^ _35448) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35448) ^ [_247037] : [icext(uri_xsd_anyURI, _247037), icext(uri_xsd_base64Binary, _247037)], (7325 ^ _35448) ^ [_247226] : [icext(uri_xsd_anyURI, _247226), icext(uri_xsd_boolean, _247226)], (7331 ^ _35448) ^ [_247415] : [icext(uri_xsd_anyURI, _247415), icext(uri_xsd_dateTime, _247415)], (7337 ^ _35448) ^ [_247604] : [icext(uri_xsd_anyURI, _247604), icext(uri_xsd_double, _247604)], (7343 ^ _35448) ^ [_247793] : [icext(uri_xsd_anyURI, _247793), icext(uri_xsd_float, _247793)], (7349 ^ _35448) ^ [_247982] : [icext(uri_xsd_anyURI, _247982), icext(uri_xsd_hexBinary, _247982)], (7355 ^ _35448) ^ [_248171] : [icext(uri_xsd_anyURI, _248171), icext(uri_rdf_PlainLiteral, _248171)], (7361 ^ _35448) ^ [_248360] : [icext(uri_xsd_anyURI, _248360), icext(uri_owl_real, _248360)], (7367 ^ _35448) ^ [_248549] : [icext(uri_xsd_anyURI, _248549), icext(uri_rdf_XMLLiteral, _248549)], (7373 ^ _35448) ^ [_248738] : [icext(uri_xsd_base64Binary, _248738), icext(uri_xsd_boolean, _248738)], (7379 ^ _35448) ^ [_248927] : [icext(uri_xsd_base64Binary, _248927), icext(uri_xsd_dateTime, _248927)], (7385 ^ _35448) ^ [_249116] : [icext(uri_xsd_base64Binary, _249116), icext(uri_xsd_double, _249116)], (7391 ^ _35448) ^ [_249305] : [icext(uri_xsd_base64Binary, _249305), icext(uri_xsd_float, _249305)], (7397 ^ _35448) ^ [_249494] : [icext(uri_xsd_base64Binary, _249494), icext(uri_xsd_hexBinary, _249494)], (7403 ^ _35448) ^ [_249683] : [icext(uri_xsd_base64Binary, _249683), icext(uri_rdf_PlainLiteral, _249683)], (7409 ^ _35448) ^ [_249872] : [icext(uri_xsd_base64Binary, _249872), icext(uri_owl_real, _249872)], (7415 ^ _35448) ^ [_250061] : [icext(uri_xsd_base64Binary, _250061), icext(uri_rdf_XMLLiteral, _250061)], (7421 ^ _35448) ^ [_250250] : [icext(uri_xsd_boolean, _250250), icext(uri_xsd_dateTime, _250250)], (7427 ^ _35448) ^ [_250439] : [icext(uri_xsd_boolean, _250439), icext(uri_xsd_double, _250439)], (7433 ^ _35448) ^ [_250628] : [icext(uri_xsd_boolean, _250628), icext(uri_xsd_float, _250628)], (7439 ^ _35448) ^ [_250817] : [icext(uri_xsd_boolean, _250817), icext(uri_xsd_hexBinary, _250817)], (7445 ^ _35448) ^ [_251006] : [icext(uri_xsd_boolean, _251006), icext(uri_rdf_PlainLiteral, _251006)], (7451 ^ _35448) ^ [_251195] : [icext(uri_xsd_boolean, _251195), icext(uri_owl_real, _251195)], (7457 ^ _35448) ^ [_251384] : [icext(uri_xsd_boolean, _251384), icext(uri_rdf_XMLLiteral, _251384)], (7463 ^ _35448) ^ [_251573] : [icext(uri_xsd_dateTime, _251573), icext(uri_xsd_double, _251573)], (7469 ^ _35448) ^ [_251762] : [icext(uri_xsd_dateTime, _251762), icext(uri_xsd_float, _251762)], (7475 ^ _35448) ^ [_251951] : [icext(uri_xsd_dateTime, _251951), icext(uri_xsd_hexBinary, _251951)], (7481 ^ _35448) ^ [_252140] : [icext(uri_xsd_dateTime, _252140), icext(uri_rdf_PlainLiteral, _252140)], (7487 ^ _35448) ^ [_252329] : [icext(uri_xsd_dateTime, _252329), icext(uri_owl_real, _252329)], (7493 ^ _35448) ^ [_252518] : [icext(uri_xsd_dateTime, _252518), icext(uri_rdf_XMLLiteral, _252518)], (7499 ^ _35448) ^ [_252707] : [icext(uri_xsd_double, _252707), icext(uri_xsd_float, _252707)], (7505 ^ _35448) ^ [_252896] : [icext(uri_xsd_double, _252896), icext(uri_xsd_hexBinary, _252896)], (7511 ^ _35448) ^ [_253085] : [icext(uri_xsd_double, _253085), icext(uri_rdf_PlainLiteral, _253085)], (7517 ^ _35448) ^ [_253274] : [icext(uri_xsd_double, _253274), icext(uri_owl_real, _253274)], (7523 ^ _35448) ^ [_253463] : [icext(uri_xsd_double, _253463), icext(uri_rdf_XMLLiteral, _253463)], (7529 ^ _35448) ^ [_253652] : [icext(uri_xsd_float, _253652), icext(uri_xsd_hexBinary, _253652)], (7535 ^ _35448) ^ [_253841] : [icext(uri_xsd_float, _253841), icext(uri_rdf_PlainLiteral, _253841)], (7541 ^ _35448) ^ [_254030] : [icext(uri_xsd_float, _254030), icext(uri_owl_real, _254030)], (7547 ^ _35448) ^ [_254219] : [icext(uri_xsd_float, _254219), icext(uri_rdf_XMLLiteral, _254219)], (7553 ^ _35448) ^ [_254408] : [icext(uri_xsd_hexBinary, _254408), icext(uri_rdf_PlainLiteral, _254408)], (7559 ^ _35448) ^ [_254597] : [icext(uri_xsd_hexBinary, _254597), icext(uri_owl_real, _254597)], (7565 ^ _35448) ^ [_254786] : [icext(uri_xsd_hexBinary, _254786), icext(uri_rdf_XMLLiteral, _254786)], (7571 ^ _35448) ^ [_254975] : [icext(uri_rdf_PlainLiteral, _254975), icext(uri_owl_real, _254975)], (7577 ^ _35448) ^ [_255164] : [icext(uri_rdf_PlainLiteral, _255164), icext(uri_rdf_XMLLiteral, _255164)], (7583 ^ _35448) ^ [_255353] : [icext(uri_owl_real, _255353), icext(uri_rdf_XMLLiteral, _255353)], (7589 ^ _35448) ^ [_255542] : [icext(uri_xsd_byte, _255542), -(icext(uri_xsd_short, _255542))], (7595 ^ _35448) ^ [_255732] : [icext(uri_xsd_dateTimeStamp, _255732), -(icext(uri_xsd_dateTime, _255732))], (7601 ^ _35448) ^ [_255922] : [icext(uri_xsd_decimal, _255922), -(icext(uri_owl_rational, _255922))], (7607 ^ _35448) ^ [_256112] : [icext(uri_xsd_int, _256112), -(icext(uri_xsd_long, _256112))], (7613 ^ _35448) ^ [_256302] : [icext(uri_xsd_integer, _256302), -(icext(uri_xsd_decimal, _256302))], (7619 ^ _35448) ^ [_256492] : [icext(uri_xsd_language, _256492), -(icext(uri_xsd_token, _256492))], (7625 ^ _35448) ^ [_256682] : [icext(uri_xsd_long, _256682), -(icext(uri_xsd_integer, _256682))], (7631 ^ _35448) ^ [_256872] : [icext(uri_xsd_Name, _256872), -(icext(uri_xsd_token, _256872))], (7637 ^ _35448) ^ [_257062] : [icext(uri_xsd_NCName, _257062), -(icext(uri_xsd_Name, _257062))], (7643 ^ _35448) ^ [_257252] : [icext(uri_xsd_negativeInteger, _257252), -(icext(uri_xsd_nonPositiveInteger, _257252))], (7649 ^ _35448) ^ [_257442] : [icext(uri_xsd_NMTOKEN, _257442), -(icext(uri_xsd_token, _257442))], (7655 ^ _35448) ^ [_257632] : [icext(uri_xsd_nonNegativeInteger, _257632), -(icext(uri_xsd_integer, _257632))], (7661 ^ _35448) ^ [_257822] : [icext(uri_xsd_nonPositiveInteger, _257822), -(icext(uri_xsd_integer, _257822))], (7667 ^ _35448) ^ [_258012] : [icext(uri_xsd_normalizedString, _258012), -(icext(uri_xsd_string, _258012))], (7673 ^ _35448) ^ [_258202] : [icext(uri_xsd_positiveInteger, _258202), -(icext(uri_xsd_nonNegativeInteger, _258202))], (7679 ^ _35448) ^ [_258392] : [icext(uri_owl_rational, _258392), -(icext(uri_owl_real, _258392))], (7685 ^ _35448) ^ [_258582] : [icext(uri_xsd_short, _258582), -(icext(uri_xsd_int, _258582))], (7691 ^ _35448) ^ [_258772] : [icext(uri_xsd_string, _258772), -(icext(uri_rdf_PlainLiteral, _258772))], (7697 ^ _35448) ^ [_258962] : [icext(uri_xsd_token, _258962), -(icext(uri_xsd_normalizedString, _258962))], (7703 ^ _35448) ^ [_259152] : [icext(uri_xsd_unsignedByte, _259152), -(icext(uri_xsd_unsignedShort, _259152))], (7709 ^ _35448) ^ [_259342] : [icext(uri_xsd_unsignedInt, _259342), -(icext(uri_xsd_unsignedLong, _259342))], (7715 ^ _35448) ^ [_259532] : [icext(uri_xsd_unsignedLong, _259532), -(icext(uri_xsd_nonNegativeInteger, _259532))], (7721 ^ _35448) ^ [_259722] : [icext(uri_xsd_unsignedShort, _259722), -(icext(uri_xsd_unsignedInt, _259722))], (7727 ^ _35448) ^ [_259926, _259928] : [iext(uri_rdf_langRange, _259928, _259926), 7730 ^ _35448 : [(7731 ^ _35448) ^ [] : [-(ir(_259928))], (7733 ^ _35448) ^ [] : [-(lv(_259926))]]], (7735 ^ _35448) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35448) ^ [_260262, _260264] : [iext(uri_xsd_length, _260264, _260262), 7740 ^ _35448 : [(7741 ^ _35448) ^ [] : [-(ir(_260264))], (7743 ^ _35448) ^ [] : [-(lv(_260262))]]], (7745 ^ _35448) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35448) ^ [_260598, _260600] : [iext(uri_xsd_maxExclusive, _260600, _260598), 7750 ^ _35448 : [(7751 ^ _35448) ^ [] : [-(ir(_260600))], (7753 ^ _35448) ^ [] : [-(lv(_260598))]]], (7755 ^ _35448) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35448) ^ [_260934, _260936] : [iext(uri_xsd_maxInclusive, _260936, _260934), 7760 ^ _35448 : [(7761 ^ _35448) ^ [] : [-(ir(_260936))], (7763 ^ _35448) ^ [] : [-(lv(_260934))]]], (7765 ^ _35448) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35448) ^ [_261270, _261272] : [iext(uri_xsd_maxLength, _261272, _261270), 7770 ^ _35448 : [(7771 ^ _35448) ^ [] : [-(ir(_261272))], (7773 ^ _35448) ^ [] : [-(lv(_261270))]]], (7775 ^ _35448) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35448) ^ [_261606, _261608] : [iext(uri_xsd_minExclusive, _261608, _261606), 7780 ^ _35448 : [(7781 ^ _35448) ^ [] : [-(ir(_261608))], (7783 ^ _35448) ^ [] : [-(lv(_261606))]]], (7785 ^ _35448) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35448) ^ [_261942, _261944] : [iext(uri_xsd_minInclusive, _261944, _261942), 7790 ^ _35448 : [(7791 ^ _35448) ^ [] : [-(ir(_261944))], (7793 ^ _35448) ^ [] : [-(lv(_261942))]]], (7795 ^ _35448) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35448) ^ [_262278, _262280] : [iext(uri_xsd_minLength, _262280, _262278), 7800 ^ _35448 : [(7801 ^ _35448) ^ [] : [-(ir(_262280))], (7803 ^ _35448) ^ [] : [-(lv(_262278))]]], (7805 ^ _35448) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35448) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35448) ^ [_262614, _262616] : [iext(uri_xsd_pattern, _262616, _262614), 7810 ^ _35448 : [(7811 ^ _35448) ^ [] : [-(ir(_262616))], (7813 ^ _35448) ^ [] : [-(lv(_262614))]]]], input).
% 138.88/134.30 ncf('1',plain,[iext(uri_rdfs_subClassOf, uri_owl_Nothing, uri_ex_c)],start(7819 ^ 0)).
% 138.88/134.30 ncf('1.1',plain,[-(iext(uri_rdfs_subClassOf, uri_owl_Nothing, uri_ex_c)), ic(uri_owl_Nothing), ic(uri_ex_c), 4996 : -(icext(uri_owl_Nothing, 4994 ^ [uri_ex_c, uri_owl_Nothing]))],extension(4985 ^ 1,bind([[_165153, _165155], [uri_ex_c, uri_owl_Nothing]]))).
% 138.88/134.30 ncf('1.1.1',plain,[-(ic(uri_owl_Nothing))],extension(877 ^ 2)).
% 138.88/134.30 ncf('1.1.2',plain,[-(ic(uri_ex_c)), icext(uri_owl_Class, uri_ex_c)],extension(735 ^ 2,bind([[_44637], [uri_ex_c]]))).
% 138.88/134.30 ncf('1.1.2.1',plain,[-(icext(uri_owl_Class, uri_ex_c)), iext(uri_rdf_type, uri_ex_c, uri_owl_Class)],extension(218 ^ 3,bind([[_38177, _38179], [uri_owl_Class, uri_ex_c]]))).
% 138.88/134.30 ncf('1.1.2.1.1',plain,[-(iext(uri_rdf_type, uri_ex_c, uri_owl_Class))],extension(7817 ^ 4)).
% 138.88/134.30 ncf('1.1.3',plain,[icext(uri_owl_Nothing, 4994 ^ [uri_ex_c, uri_owl_Nothing]), -(icext(uri_owl_Nothing, 4994 ^ [uri_ex_c, uri_owl_Nothing])), uri_owl_Nothing = uri_owl_Nothing, 4994 ^ [uri_ex_c, uri_owl_Nothing] = 4994 ^ [uri_ex_c, uri_owl_Nothing]],extension(80 ^ 4,bind([[_36461, _36463, _36465, _36467], [4994 ^ [uri_ex_c, uri_owl_Nothing], 4994 ^ [uri_ex_c, uri_owl_Nothing], uri_owl_Nothing, uri_owl_Nothing]]))).
% 138.88/134.30 ncf('1.1.3.1',plain,[icext(uri_owl_Nothing, 4994 ^ [uri_ex_c, uri_owl_Nothing])],extension(875 ^ 5,bind([[_46315], [4994 ^ [uri_ex_c, uri_owl_Nothing]]]))).
% 138.88/134.30 ncf('1.1.3.2',plain,[-(uri_owl_Nothing = uri_owl_Nothing)],extension(2 ^ 5,bind([[_35478], [uri_owl_Nothing]]))).
% 138.88/134.30 ncf('1.1.3.3',plain,[-(4994 ^ [uri_ex_c, uri_owl_Nothing] = 4994 ^ [uri_ex_c, uri_owl_Nothing])],extension(2 ^ 5,bind([[_35478], [4994 ^ [uri_ex_c, uri_owl_Nothing]]]))).
% 138.88/134.30 %-----------------------------------------------------
% 138.88/134.30 End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------