%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : SWB002+1 : TPTP v8.1.2. Released v5.2.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n029.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:24 EDT 2023

% Result   : Theorem 0.45s 1.38s
% Output   : Proof 0.45s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12  % Problem  : SWB002+1 : TPTP v8.1.2. Released v5.2.0.
% 0.00/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n029.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 21:03:58 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 0.45/1.38  
% 0.45/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.45/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.45/1.38  %-----------------------------------------------------
% 0.45/1.38  ncf(matrix, plain, [(7822 ^ _35326) ^ [_267773, _267775] : [iext(uri_ex_p, _267775, _267773), iext(uri_ex_q, _267773, _267775)], (142 ^ _35326) ^ [_37194, _37196, _37198, _37200] : [-(literal_typed(_37200, _37196) = literal_typed(_37198, _37194)), _37200 = _37198, _37196 = _37194], (2 ^ _35326) ^ [_35356] : [-(_35356 = _35356)], (4 ^ _35326) ^ [_35379, _35381] : [_35381 = _35379, -(_35379 = _35381)], (10 ^ _35326) ^ [_35452, _35454, _35456] : [-(_35456 = _35452), _35456 = _35454, _35454 = _35452], (20 ^ _35326) ^ [_35589, _35591] : [-(ioap(_35589)), _35591 = _35589, ioap(_35591)], (30 ^ _35326) ^ [_35714, _35716] : [-(ix(_35714)), _35716 = _35714, ix(_35716)], (40 ^ _35326) ^ [_35839, _35841] : [-(ioxp(_35839)), _35841 = _35839, ioxp(_35841)], (50 ^ _35326) ^ [_35964, _35966] : [-(ic(_35964)), _35966 = _35964, ic(_35966)], (60 ^ _35326) ^ [_36089, _36091] : [-(ip(_36089)), _36091 = _36089, ip(_36091)], (70 ^ _35326) ^ [_36214, _36216] : [-(idc(_36214)), _36216 = _36214, idc(_36216)], (80 ^ _35326) ^ [_36339, _36341, _36343, _36345] : [-(icext(_36343, _36339)), icext(_36345, _36341), _36345 = _36343, _36341 = _36339], (94 ^ _35326) ^ [_36532, _36534] : [-(ir(_36532)), _36534 = _36532, ir(_36534)], (104 ^ _35326) ^ [_36657, _36659] : [-(lv(_36657)), _36659 = _36657, lv(_36659)], (114 ^ _35326) ^ [_36782, _36784] : [-(iodp(_36782)), _36784 = _36782, iodp(_36784)], (124 ^ _35326) ^ [_36903, _36905, _36907, _36909, _36911, _36913] : [-(iext(_36911, _36907, _36903)), iext(_36913, _36909, _36905), _36913 = _36911, _36909 = _36907, _36905 = _36903], (7818 ^ _35326) ^ [] : [-(iext(uri_ex_p, uri_ex_s, 7816 ^ []))], (7820 ^ _35326) ^ [] : [-(iext(uri_ex_q, 7816 ^ [], uri_ex_s))], (152 ^ _35326) ^ [_37348, _37350, _37352] : [iext(_37350, _37352, _37348), -(ip(_37350))], (158 ^ _35326) ^ [_37427] : [-(ir(_37427))], (160 ^ _35326) ^ [_37449] : [lv(_37449), -(ir(_37449))], (166 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35326) ^ [_37694] : [iext(uri_rdf_type, _37694, uri_rdf_Property), -(ip(_37694))], (190 ^ _35326) ^ [_37765] : [ip(_37765), -(iext(uri_rdf_type, _37765, uri_rdf_Property))], (196 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35326) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35326) ^ [_38055, _38057] : [iext(uri_rdf_type, _38057, _38055), -(icext(_38055, _38057))], (224 ^ _35326) ^ [_38130, _38132] : [icext(_38130, _38132), -(iext(uri_rdf_type, _38132, _38130))], (230 ^ _35326) ^ [_38211] : [ic(_38211), -(iext(uri_rdfs_subClassOf, _38211, uri_rdfs_Resource))], (236 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35326) ^ [_38394] : [icext(uri_rdfs_ContainerMembershipProperty, _38394), -(iext(uri_rdfs_subPropertyOf, _38394, uri_rdfs_member))], (254 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35326) ^ [_38741] : [icext(uri_rdfs_Datatype, _38741), -(iext(uri_rdfs_subClassOf, _38741, uri_rdfs_Literal))], (290 ^ _35326) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35326) ^ [_38854, _38856, _38858, _38860] : [-(icext(_38858, _38856)), iext(uri_rdfs_domain, _38860, _38858), iext(_38860, _38856, _38854)], (304 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35326) ^ [_39025] : [ic(_39025), -(icext(uri_rdfs_Class, _39025))], (312 ^ _35326) ^ [_39094] : [icext(uri_rdfs_Class, _39094), -(ic(_39094))], (318 ^ _35326) ^ [_39181] : [ir(_39181), -(icext(uri_rdfs_Resource, _39181))], (324 ^ _35326) ^ [_39250] : [icext(uri_rdfs_Resource, _39250), -(ir(_39250))], (330 ^ _35326) ^ [_39337] : [lv(_39337), -(icext(uri_rdfs_Literal, _39337))], (336 ^ _35326) ^ [_39406] : [icext(uri_rdfs_Literal, _39406), -(lv(_39406))], (342 ^ _35326) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35326) ^ [_39517, _39519, _39521, _39523] : [-(icext(_39521, _39517)), iext(uri_rdfs_range, _39523, _39521), iext(_39523, _39519, _39517)], (356 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35326) ^ [_39802, _39804] : [iext(uri_rdfs_subClassOf, _39804, _39802), 375 ^ _35326 : [(376 ^ _35326) ^ [] : [-(ic(_39804))], (378 ^ _35326) ^ [] : [-(ic(_39802))], (380 ^ _35326) ^ [_39917] : [icext(_39804, _39917), -(icext(_39802, _39917))]]], (386 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35326) ^ [_40022] : [ic(_40022), -(iext(uri_rdfs_subClassOf, _40022, _40022))], (394 ^ _35326) ^ [_40097, _40099, _40101] : [-(iext(uri_rdfs_subClassOf, _40101, _40097)), iext(uri_rdfs_subClassOf, _40101, _40099), iext(uri_rdfs_subClassOf, _40099, _40097)], (404 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35326) ^ [_40254, _40256] : [iext(uri_rdfs_subPropertyOf, _40256, _40254), 409 ^ _35326 : [(410 ^ _35326) ^ [] : [-(ip(_40256))], (412 ^ _35326) ^ [] : [-(ip(_40254))], (414 ^ _35326) ^ [_40376, _40378] : [iext(_40256, _40378, _40376), -(iext(_40254, _40378, _40376))]]], (420 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35326) ^ [_40487] : [ip(_40487), -(iext(uri_rdfs_subPropertyOf, _40487, _40487))], (428 ^ _35326) ^ [_40562, _40564, _40566] : [-(iext(uri_rdfs_subPropertyOf, _40566, _40562)), iext(uri_rdfs_subPropertyOf, _40566, _40564), iext(uri_rdfs_subPropertyOf, _40564, _40562)], (438 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35326) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35326) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35326) ^ [_40773] : [ic(_40773), 449 ^ _35326 : [(450 ^ _35326) ^ [_40831] : [icext(_40773, _40831), -(ir(_40831))]]], (456 ^ _35326) ^ [_40910] : [ic(_40910), -(ir(_40910))], (462 ^ _35326) ^ [_40993] : [ic(_40993), -(iext(uri_rdf_type, _40993, uri_rdfs_Class))], (468 ^ _35326) ^ [_41064] : [iext(uri_rdf_type, _41064, uri_rdfs_Class), -(ic(_41064))], (474 ^ _35326) ^ [_41141] : [idc(_41141), 477 ^ _35326 : [(478 ^ _35326) ^ [_41199] : [icext(_41141, _41199), -(lv(_41199))]]], (484 ^ _35326) ^ [_41278] : [idc(_41278), -(ic(_41278))], (490 ^ _35326) ^ [_41361] : [idc(_41361), -(iext(uri_rdf_type, _41361, uri_rdfs_Datatype))], (496 ^ _35326) ^ [_41432] : [iext(uri_rdf_type, _41432, uri_rdfs_Datatype), -(idc(_41432))], (502 ^ _35326) ^ [_41509] : [ioap(_41509), 505 ^ _35326 : [(506 ^ _35326) ^ [_41578, _41580] : [iext(_41509, _41580, _41578), 509 ^ _35326 : [(510 ^ _35326) ^ [] : [-(ir(_41580))], (512 ^ _35326) ^ [] : [-(ir(_41578))]]]]], (514 ^ _35326) ^ [_41685] : [ioap(_41685), -(ip(_41685))], (520 ^ _35326) ^ [_41768] : [ioap(_41768), -(iext(uri_rdf_type, _41768, uri_owl_AnnotationProperty))], (526 ^ _35326) ^ [_41839] : [iext(uri_rdf_type, _41839, uri_owl_AnnotationProperty), -(ioap(_41839))], (532 ^ _35326) ^ [_41916] : [iodp(_41916), 535 ^ _35326 : [(536 ^ _35326) ^ [_41985, _41987] : [iext(_41916, _41987, _41985), 539 ^ _35326 : [(540 ^ _35326) ^ [] : [-(ir(_41987))], (542 ^ _35326) ^ [] : [-(lv(_41985))]]]]], (544 ^ _35326) ^ [_42092] : [iodp(_42092), -(ip(_42092))], (550 ^ _35326) ^ [_42175] : [iodp(_42175), -(iext(uri_rdf_type, _42175, uri_owl_DatatypeProperty))], (556 ^ _35326) ^ [_42246] : [iext(uri_rdf_type, _42246, uri_owl_DatatypeProperty), -(iodp(_42246))], (562 ^ _35326) ^ [_42323] : [ioxp(_42323), 565 ^ _35326 : [(566 ^ _35326) ^ [_42392, _42394] : [iext(_42323, _42394, _42392), 569 ^ _35326 : [(570 ^ _35326) ^ [] : [-(ix(_42394))], (572 ^ _35326) ^ [] : [-(ix(_42392))]]]]], (574 ^ _35326) ^ [_42499] : [ioxp(_42499), -(ip(_42499))], (580 ^ _35326) ^ [_42582] : [ioxp(_42582), -(iext(uri_rdf_type, _42582, uri_owl_OntologyProperty))], (586 ^ _35326) ^ [_42653] : [iext(uri_rdf_type, _42653, uri_owl_OntologyProperty), -(ioxp(_42653))], (592 ^ _35326) ^ [_42730] : [ip(_42730), 595 ^ _35326 : [(596 ^ _35326) ^ [_42799, _42801] : [iext(_42730, _42801, _42799), 599 ^ _35326 : [(600 ^ _35326) ^ [] : [-(ir(_42801))], (602 ^ _35326) ^ [] : [-(ir(_42799))]]]]], (604 ^ _35326) ^ [_42906] : [ip(_42906), -(ir(_42906))], (610 ^ _35326) ^ [_42989] : [ip(_42989), -(iext(uri_rdf_type, _42989, uri_rdf_Property))], (616 ^ _35326) ^ [_43060] : [iext(uri_rdf_type, _43060, uri_rdf_Property), -(ip(_43060))], (623 ^ _35326) ^ [] : [-(ir(621 ^ []))], (625 ^ _35326) ^ [_43173] : [ir(_43173), -(iext(uri_rdf_type, _43173, uri_rdfs_Resource))], (631 ^ _35326) ^ [_43244] : [iext(uri_rdf_type, _43244, uri_rdfs_Resource), -(ir(_43244))], (637 ^ _35326) ^ [_43321] : [ix(_43321), -(ir(_43321))], (643 ^ _35326) ^ [_43404] : [ix(_43404), -(iext(uri_rdf_type, _43404, uri_owl_Ontology))], (649 ^ _35326) ^ [_43475] : [iext(uri_rdf_type, _43475, uri_owl_Ontology), -(ix(_43475))], (655 ^ _35326) ^ [_43552] : [lv(_43552), -(ir(_43552))], (661 ^ _35326) ^ [_43635] : [lv(_43635), -(iext(uri_rdf_type, _43635, uri_rdfs_Literal))], (667 ^ _35326) ^ [_43706] : [iext(uri_rdf_type, _43706, uri_rdfs_Literal), -(lv(_43706))], (673 ^ _35326) ^ [_43783] : [icext(uri_owl_AllDifferent, _43783), -(ir(_43783))], (679 ^ _35326) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35326) ^ [_43874] : [icext(uri_owl_AllDisjointClasses, _43874), -(ir(_43874))], (687 ^ _35326) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35326) ^ [_43965] : [icext(uri_owl_AllDisjointProperties, _43965), -(ir(_43965))], (695 ^ _35326) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35326) ^ [_44056] : [icext(uri_owl_Annotation, _44056), -(ir(_44056))], (703 ^ _35326) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35326) ^ [_44159] : [icext(uri_owl_AnnotationProperty, _44159), -(ioap(_44159))], (711 ^ _35326) ^ [_44228] : [ioap(_44228), -(icext(uri_owl_AnnotationProperty, _44228))], (717 ^ _35326) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35326) ^ [_44321] : [icext(uri_owl_AsymmetricProperty, _44321), -(ip(_44321))], (725 ^ _35326) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35326) ^ [_44412] : [icext(uri_owl_Axiom, _44412), -(ir(_44412))], (733 ^ _35326) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35326) ^ [_44515] : [icext(uri_owl_Class, _44515), -(ic(_44515))], (741 ^ _35326) ^ [_44584] : [ic(_44584), -(icext(uri_owl_Class, _44584))], (747 ^ _35326) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35326) ^ [_44689] : [icext(uri_rdfs_Class, _44689), -(ic(_44689))], (755 ^ _35326) ^ [_44758] : [ic(_44758), -(icext(uri_rdfs_Class, _44758))], (761 ^ _35326) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35326) ^ [_44863] : [icext(uri_owl_DataRange, _44863), -(idc(_44863))], (769 ^ _35326) ^ [_44932] : [idc(_44932), -(icext(uri_owl_DataRange, _44932))], (775 ^ _35326) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35326) ^ [_45037] : [icext(uri_rdfs_Datatype, _45037), -(idc(_45037))], (783 ^ _35326) ^ [_45106] : [idc(_45106), -(icext(uri_rdfs_Datatype, _45106))], (789 ^ _35326) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35326) ^ [_45211] : [icext(uri_owl_DatatypeProperty, _45211), -(iodp(_45211))], (797 ^ _35326) ^ [_45280] : [iodp(_45280), -(icext(uri_owl_DatatypeProperty, _45280))], (803 ^ _35326) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35326) ^ [_45373] : [icext(uri_owl_DeprecatedClass, _45373), -(ic(_45373))], (811 ^ _35326) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35326) ^ [_45464] : [icext(uri_owl_DeprecatedProperty, _45464), -(ip(_45464))], (819 ^ _35326) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35326) ^ [_45555] : [icext(uri_owl_FunctionalProperty, _45555), -(ip(_45555))], (827 ^ _35326) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35326) ^ [_45646] : [icext(uri_owl_InverseFunctionalProperty, _45646), -(ip(_45646))], (835 ^ _35326) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35326) ^ [_45737] : [icext(uri_owl_IrreflexiveProperty, _45737), -(ip(_45737))], (843 ^ _35326) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35326) ^ [_45840] : [icext(uri_rdfs_Literal, _45840), -(lv(_45840))], (851 ^ _35326) ^ [_45909] : [lv(_45909), -(icext(uri_rdfs_Literal, _45909))], (857 ^ _35326) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35326) ^ [_46002] : [icext(uri_owl_NamedIndividual, _46002), -(ir(_46002))], (865 ^ _35326) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35326) ^ [_46093] : [icext(uri_owl_NegativePropertyAssertion, _46093), -(ir(_46093))], (873 ^ _35326) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35326) ^ [_46193] : [icext(uri_owl_Nothing, _46193)], (877 ^ _35326) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35326) ^ [_46246] : [icext(uri_owl_ObjectProperty, _46246), -(ip(_46246))], (885 ^ _35326) ^ [_46315] : [ip(_46315), -(icext(uri_owl_ObjectProperty, _46315))], (891 ^ _35326) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35326) ^ [_46420] : [icext(uri_owl_Ontology, _46420), -(ix(_46420))], (899 ^ _35326) ^ [_46489] : [ix(_46489), -(icext(uri_owl_Ontology, _46489))], (905 ^ _35326) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35326) ^ [_46594] : [icext(uri_owl_OntologyProperty, _46594), -(ioxp(_46594))], (913 ^ _35326) ^ [_46663] : [ioxp(_46663), -(icext(uri_owl_OntologyProperty, _46663))], (919 ^ _35326) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35326) ^ [_46768] : [icext(uri_rdf_Property, _46768), -(ip(_46768))], (927 ^ _35326) ^ [_46837] : [ip(_46837), -(icext(uri_rdf_Property, _46837))], (933 ^ _35326) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35326) ^ [_46930] : [icext(uri_owl_ReflexiveProperty, _46930), -(ip(_46930))], (941 ^ _35326) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35326) ^ [_47033] : [icext(uri_rdfs_Resource, _47033), -(ir(_47033))], (949 ^ _35326) ^ [_47102] : [ir(_47102), -(icext(uri_rdfs_Resource, _47102))], (955 ^ _35326) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35326) ^ [_47195] : [icext(uri_owl_Restriction, _47195), -(ic(_47195))], (963 ^ _35326) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35326) ^ [_47286] : [icext(uri_owl_SymmetricProperty, _47286), -(ip(_47286))], (971 ^ _35326) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35326) ^ [_47389] : [icext(uri_owl_Thing, _47389), -(ir(_47389))], (979 ^ _35326) ^ [_47458] : [ir(_47458), -(icext(uri_owl_Thing, _47458))], (985 ^ _35326) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35326) ^ [_47551] : [icext(uri_owl_TransitiveProperty, _47551), -(ip(_47551))], (993 ^ _35326) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35326) ^ [_47642, _47644] : [iext(uri_owl_allValuesFrom, _47644, _47642), 998 ^ _35326 : [(999 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _47644))], (1001 ^ _35326) ^ [] : [-(ic(_47642))]]], (1003 ^ _35326) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35326) ^ [_47763, _47765] : [iext(uri_owl_annotatedProperty, _47765, _47763), 1008 ^ _35326 : [(1009 ^ _35326) ^ [] : [-(ir(_47765))], (1011 ^ _35326) ^ [] : [-(ir(_47763))]]], (1013 ^ _35326) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35326) ^ [_47882, _47884] : [iext(uri_owl_annotatedSource, _47884, _47882), 1018 ^ _35326 : [(1019 ^ _35326) ^ [] : [-(ir(_47884))], (1021 ^ _35326) ^ [] : [-(ir(_47882))]]], (1023 ^ _35326) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35326) ^ [_48001, _48003] : [iext(uri_owl_annotatedTarget, _48003, _48001), 1028 ^ _35326 : [(1029 ^ _35326) ^ [] : [-(ir(_48003))], (1031 ^ _35326) ^ [] : [-(ir(_48001))]]], (1033 ^ _35326) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35326) ^ [_48120, _48122] : [iext(uri_owl_assertionProperty, _48122, _48120), 1038 ^ _35326 : [(1039 ^ _35326) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48122))], (1041 ^ _35326) ^ [] : [-(ip(_48120))]]], (1043 ^ _35326) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35326) ^ [_48241, _48243] : [iext(uri_owl_backwardCompatibleWith, _48243, _48241), 1048 ^ _35326 : [(1049 ^ _35326) ^ [] : [-(ix(_48243))], (1051 ^ _35326) ^ [] : [-(ix(_48241))]]], (1053 ^ _35326) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35326) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35326) ^ [_48390, _48392] : [iext(uri_owl_bottomDataProperty, _48392, _48390)], (1059 ^ _35326) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35326) ^ [_48446, _48448] : [iext(uri_owl_bottomObjectProperty, _48448, _48446)], (1063 ^ _35326) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35326) ^ [_48490, _48492] : [iext(uri_owl_cardinality, _48492, _48490), 1068 ^ _35326 : [(1069 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _48492))], (1071 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48490))]]], (1073 ^ _35326) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35326) ^ [_48613, _48615] : [iext(uri_rdfs_comment, _48615, _48613), 1078 ^ _35326 : [(1079 ^ _35326) ^ [] : [-(ir(_48615))], (1081 ^ _35326) ^ [] : [-(lv(_48613))]]], (1083 ^ _35326) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35326) ^ [_48732, _48734] : [iext(uri_owl_complementOf, _48734, _48732), 1088 ^ _35326 : [(1089 ^ _35326) ^ [] : [-(ic(_48734))], (1091 ^ _35326) ^ [] : [-(ic(_48732))]]], (1093 ^ _35326) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35326) ^ [_48851, _48853] : [iext(uri_owl_datatypeComplementOf, _48853, _48851), 1098 ^ _35326 : [(1099 ^ _35326) ^ [] : [-(idc(_48853))], (1101 ^ _35326) ^ [] : [-(idc(_48851))]]], (1103 ^ _35326) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35326) ^ [_48970, _48972] : [iext(uri_owl_deprecated, _48972, _48970), 1108 ^ _35326 : [(1109 ^ _35326) ^ [] : [-(ir(_48972))], (1111 ^ _35326) ^ [] : [-(ir(_48970))]]], (1113 ^ _35326) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35326) ^ [_49089, _49091] : [iext(uri_owl_differentFrom, _49091, _49089), 1118 ^ _35326 : [(1119 ^ _35326) ^ [] : [-(ir(_49091))], (1121 ^ _35326) ^ [] : [-(ir(_49089))]]], (1123 ^ _35326) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35326) ^ [_49208, _49210] : [iext(uri_owl_disjointUnionOf, _49210, _49208), 1128 ^ _35326 : [(1129 ^ _35326) ^ [] : [-(ic(_49210))], (1131 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _49208))]]], (1133 ^ _35326) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35326) ^ [_49329, _49331] : [iext(uri_owl_disjointWith, _49331, _49329), 1138 ^ _35326 : [(1139 ^ _35326) ^ [] : [-(ic(_49331))], (1141 ^ _35326) ^ [] : [-(ic(_49329))]]], (1143 ^ _35326) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35326) ^ [_49448, _49450] : [iext(uri_owl_distinctMembers, _49450, _49448), 1148 ^ _35326 : [(1149 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, _49450))], (1151 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _49448))]]], (1153 ^ _35326) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35326) ^ [_49571, _49573] : [iext(uri_owl_equivalentClass, _49573, _49571), 1158 ^ _35326 : [(1159 ^ _35326) ^ [] : [-(ic(_49573))], (1161 ^ _35326) ^ [] : [-(ic(_49571))]]], (1163 ^ _35326) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35326) ^ [_49690, _49692] : [iext(uri_owl_equivalentProperty, _49692, _49690), 1168 ^ _35326 : [(1169 ^ _35326) ^ [] : [-(ip(_49692))], (1171 ^ _35326) ^ [] : [-(ip(_49690))]]], (1173 ^ _35326) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35326) ^ [_49809, _49811] : [iext(uri_owl_hasKey, _49811, _49809), 1178 ^ _35326 : [(1179 ^ _35326) ^ [] : [-(ic(_49811))], (1181 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _49809))]]], (1183 ^ _35326) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35326) ^ [_49930, _49932] : [iext(uri_owl_hasSelf, _49932, _49930), 1188 ^ _35326 : [(1189 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _49932))], (1191 ^ _35326) ^ [] : [-(ir(_49930))]]], (1193 ^ _35326) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35326) ^ [_50051, _50053] : [iext(uri_owl_hasValue, _50053, _50051), 1198 ^ _35326 : [(1199 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _50053))], (1201 ^ _35326) ^ [] : [-(ir(_50051))]]], (1203 ^ _35326) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35326) ^ [_50172, _50174] : [iext(uri_owl_imports, _50174, _50172), 1208 ^ _35326 : [(1209 ^ _35326) ^ [] : [-(ix(_50174))], (1211 ^ _35326) ^ [] : [-(ix(_50172))]]], (1213 ^ _35326) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35326) ^ [_50291, _50293] : [iext(uri_owl_incompatibleWith, _50293, _50291), 1218 ^ _35326 : [(1219 ^ _35326) ^ [] : [-(ix(_50293))], (1221 ^ _35326) ^ [] : [-(ix(_50291))]]], (1223 ^ _35326) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35326) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35326) ^ [_50428, _50430] : [iext(uri_owl_intersectionOf, _50430, _50428), 1230 ^ _35326 : [(1231 ^ _35326) ^ [] : [-(ic(_50430))], (1233 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _50428))]]], (1235 ^ _35326) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35326) ^ [_50549, _50551] : [iext(uri_owl_inverseOf, _50551, _50549), 1240 ^ _35326 : [(1241 ^ _35326) ^ [] : [-(ip(_50551))], (1243 ^ _35326) ^ [] : [-(ip(_50549))]]], (1245 ^ _35326) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35326) ^ [_50668, _50670] : [iext(uri_rdfs_isDefinedBy, _50670, _50668), 1250 ^ _35326 : [(1251 ^ _35326) ^ [] : [-(ir(_50670))], (1253 ^ _35326) ^ [] : [-(ir(_50668))]]], (1255 ^ _35326) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35326) ^ [_50787, _50789] : [iext(uri_rdfs_label, _50789, _50787), 1260 ^ _35326 : [(1261 ^ _35326) ^ [] : [-(ir(_50789))], (1263 ^ _35326) ^ [] : [-(lv(_50787))]]], (1265 ^ _35326) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35326) ^ [_50906, _50908] : [iext(uri_owl_maxCardinality, _50908, _50906), 1270 ^ _35326 : [(1271 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _50908))], (1273 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50906))]]], (1275 ^ _35326) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35326) ^ [_51029, _51031] : [iext(uri_owl_maxQualifiedCardinality, _51031, _51029), 1280 ^ _35326 : [(1281 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _51031))], (1283 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51029))]]], (1285 ^ _35326) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35326) ^ [_51152, _51154] : [iext(uri_owl_members, _51154, _51152), 1290 ^ _35326 : [(1291 ^ _35326) ^ [] : [-(ir(_51154))], (1293 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _51152))]]], (1295 ^ _35326) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35326) ^ [_51273, _51275] : [iext(uri_owl_minCardinality, _51275, _51273), 1300 ^ _35326 : [(1301 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _51275))], (1303 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51273))]]], (1305 ^ _35326) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35326) ^ [_51396, _51398] : [iext(uri_owl_minQualifiedCardinality, _51398, _51396), 1310 ^ _35326 : [(1311 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _51398))], (1313 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51396))]]], (1315 ^ _35326) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35326) ^ [_51519, _51521] : [iext(uri_owl_onClass, _51521, _51519), 1320 ^ _35326 : [(1321 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _51521))], (1323 ^ _35326) ^ [] : [-(ic(_51519))]]], (1325 ^ _35326) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35326) ^ [_51640, _51642] : [iext(uri_owl_onDataRange, _51642, _51640), 1330 ^ _35326 : [(1331 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _51642))], (1333 ^ _35326) ^ [] : [-(idc(_51640))]]], (1335 ^ _35326) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35326) ^ [_51761, _51763] : [iext(uri_owl_onDatatype, _51763, _51761), 1340 ^ _35326 : [(1341 ^ _35326) ^ [] : [-(idc(_51763))], (1343 ^ _35326) ^ [] : [-(idc(_51761))]]], (1345 ^ _35326) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35326) ^ [_51880, _51882] : [iext(uri_owl_oneOf, _51882, _51880), 1350 ^ _35326 : [(1351 ^ _35326) ^ [] : [-(ic(_51882))], (1353 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _51880))]]], (1355 ^ _35326) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35326) ^ [_52001, _52003] : [iext(uri_owl_onProperty, _52003, _52001), 1360 ^ _35326 : [(1361 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _52003))], (1363 ^ _35326) ^ [] : [-(ip(_52001))]]], (1365 ^ _35326) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35326) ^ [_52122, _52124] : [iext(uri_owl_priorVersion, _52124, _52122), 1370 ^ _35326 : [(1371 ^ _35326) ^ [] : [-(ix(_52124))], (1373 ^ _35326) ^ [] : [-(ix(_52122))]]], (1375 ^ _35326) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35326) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35326) ^ [_52259, _52261] : [iext(uri_owl_propertyChainAxiom, _52261, _52259), 1382 ^ _35326 : [(1383 ^ _35326) ^ [] : [-(ip(_52261))], (1385 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _52259))]]], (1387 ^ _35326) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35326) ^ [_52380, _52382] : [iext(uri_owl_propertyDisjointWith, _52382, _52380), 1392 ^ _35326 : [(1393 ^ _35326) ^ [] : [-(ip(_52382))], (1395 ^ _35326) ^ [] : [-(ip(_52380))]]], (1397 ^ _35326) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35326) ^ [_52499, _52501] : [iext(uri_owl_qualifiedCardinality, _52501, _52499), 1402 ^ _35326 : [(1403 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _52501))], (1405 ^ _35326) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52499))]]], (1407 ^ _35326) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35326) ^ [_52622, _52624] : [iext(uri_owl_sameAs, _52624, _52622), 1412 ^ _35326 : [(1413 ^ _35326) ^ [] : [-(ir(_52624))], (1415 ^ _35326) ^ [] : [-(ir(_52622))]]], (1417 ^ _35326) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35326) ^ [_52741, _52743] : [iext(uri_rdfs_seeAlso, _52743, _52741), 1422 ^ _35326 : [(1423 ^ _35326) ^ [] : [-(ir(_52743))], (1425 ^ _35326) ^ [] : [-(ir(_52741))]]], (1427 ^ _35326) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35326) ^ [_52860, _52862] : [iext(uri_owl_someValuesFrom, _52862, _52860), 1432 ^ _35326 : [(1433 ^ _35326) ^ [] : [-(icext(uri_owl_Restriction, _52862))], (1435 ^ _35326) ^ [] : [-(ic(_52860))]]], (1437 ^ _35326) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35326) ^ [_52981, _52983] : [iext(uri_owl_sourceIndividual, _52983, _52981), 1442 ^ _35326 : [(1443 ^ _35326) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _52983))], (1445 ^ _35326) ^ [] : [-(ir(_52981))]]], (1447 ^ _35326) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35326) ^ [_53102, _53104] : [iext(uri_owl_targetIndividual, _53104, _53102), 1452 ^ _35326 : [(1453 ^ _35326) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53104))], (1455 ^ _35326) ^ [] : [-(ir(_53102))]]], (1457 ^ _35326) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35326) ^ [_53223, _53225] : [iext(uri_owl_targetValue, _53225, _53223), 1462 ^ _35326 : [(1463 ^ _35326) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53225))], (1465 ^ _35326) ^ [] : [-(lv(_53223))]]], (1467 ^ _35326) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35326) ^ [_53359, _53361] : [iext(uri_owl_topDataProperty, _53361, _53359), 1472 ^ _35326 : [(1473 ^ _35326) ^ [] : [-(ir(_53361))], (1475 ^ _35326) ^ [] : [-(lv(_53359))]]], (1477 ^ _35326) ^ [_53456, _53458] : [-(iext(uri_owl_topDataProperty, _53458, _53456)), ir(_53458), lv(_53456)], (1487 ^ _35326) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35326) ^ [_53618, _53620] : [iext(uri_owl_topObjectProperty, _53620, _53618), 1492 ^ _35326 : [(1493 ^ _35326) ^ [] : [-(ir(_53620))], (1495 ^ _35326) ^ [] : [-(ir(_53618))]]], (1497 ^ _35326) ^ [_53715, _53717] : [-(iext(uri_owl_topObjectProperty, _53717, _53715)), ir(_53717), ir(_53715)], (1507 ^ _35326) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35326) ^ [_53862, _53864] : [iext(uri_owl_unionOf, _53864, _53862), 1512 ^ _35326 : [(1513 ^ _35326) ^ [] : [-(ic(_53864))], (1515 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _53862))]]], (1517 ^ _35326) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35326) ^ [_53983, _53985] : [iext(uri_owl_versionInfo, _53985, _53983), 1522 ^ _35326 : [(1523 ^ _35326) ^ [] : [-(ir(_53985))], (1525 ^ _35326) ^ [] : [-(ir(_53983))]]], (1527 ^ _35326) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35326) ^ [_54102, _54104] : [iext(uri_owl_versionIRI, _54104, _54102), 1532 ^ _35326 : [(1533 ^ _35326) ^ [] : [-(ix(_54104))], (1535 ^ _35326) ^ [] : [-(ix(_54102))]]], (1537 ^ _35326) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35326) ^ [_54221, _54223] : [iext(uri_owl_withRestrictions, _54223, _54221), 1542 ^ _35326 : [(1543 ^ _35326) ^ [] : [-(idc(_54223))], (1545 ^ _35326) ^ [] : [-(icext(uri_rdf_List, _54221))]]], (1547 ^ _35326) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35326) ^ [_54342, _54344] : [iext(uri_owl_complementOf, _54344, _54342), 1552 ^ _35326 : [(1553 ^ _35326) ^ [] : [-(ic(_54344))], (1555 ^ _35326) ^ [] : [-(ic(_54342))], (1557 ^ _35326) ^ [_54472] : [icext(_54344, _54472), icext(_54342, _54472)], (1563 ^ _35326) ^ [_54546] : [-(icext(_54342, _54546)), -(icext(_54344, _54546))]]], (1569 ^ _35326) ^ [_54590, _54592] : [iext(uri_owl_datatypeComplementOf, _54592, _54590), 1572 ^ _35326 : [(1573 ^ _35326) ^ [_54674] : [icext(_54592, _54674), 1576 ^ _35326 : [(1577 ^ _35326) ^ [] : [-(lv(_54674))], (1579 ^ _35326) ^ [] : [icext(_54590, _54674)]]], (1581 ^ _35326) ^ [_54781] : [-(icext(_54592, _54781)), lv(_54781), -(icext(_54590, _54781))]]], (1609 ^ _35326) ^ [_55183] : [-(iext(uri_owl_intersectionOf, _55183, uri_rdf_nil)), ic(_55183), 1617 ^ _35326 : [(1618 ^ _35326) ^ [] : [-(icext(_55183, 1614 ^ [_55183]))], (1620 ^ _35326) ^ [] : [ir(1614 ^ [_55183])]], 1621 ^ _35326 : [(1622 ^ _35326) ^ [] : [-(ir(1614 ^ [_55183]))], (1624 ^ _35326) ^ [] : [icext(_55183, 1614 ^ [_55183])]]], (1591 ^ _35326) ^ [_54933] : [iext(uri_owl_intersectionOf, _54933, uri_rdf_nil), 1594 ^ _35326 : [(1595 ^ _35326) ^ [] : [-(ic(_54933))], (1597 ^ _35326) ^ [_55033] : [icext(_54933, _55033), -(ir(_55033))], (1603 ^ _35326) ^ [_55104] : [ir(_55104), -(icext(_54933, _55104))]]], (1628 ^ _35326) ^ [_55453, _55455, _55457] : [iext(uri_rdf_first, _55455, _55453), iext(uri_rdf_rest, _55455, uri_rdf_nil), 1635 ^ _35326 : [(1636 ^ _35326) ^ [] : [iext(uri_owl_intersectionOf, _55457, _55455), 1639 ^ _35326 : [(1640 ^ _35326) ^ [] : [-(ic(_55457))], (1642 ^ _35326) ^ [] : [-(ic(_55453))], (1644 ^ _35326) ^ [_55702] : [icext(_55457, _55702), -(icext(_55453, _55702))], (1650 ^ _35326) ^ [_55779] : [icext(_55453, _55779), -(icext(_55457, _55779))]]], (1656 ^ _35326) ^ [] : [-(iext(uri_owl_intersectionOf, _55457, _55455)), ic(_55457), ic(_55453), 1668 ^ _35326 : [(1669 ^ _35326) ^ [] : [-(icext(_55457, 1665 ^ [_55453, _55455, _55457]))], (1671 ^ _35326) ^ [] : [icext(_55453, 1665 ^ [_55453, _55455, _55457])]], 1672 ^ _35326 : [(1673 ^ _35326) ^ [] : [-(icext(_55453, 1665 ^ [_55453, _55455, _55457]))], (1675 ^ _35326) ^ [] : [icext(_55457, 1665 ^ [_55453, _55455, _55457])]]]]], (1679 ^ _35326) ^ [_56200, _56202, _56204, _56206, _56208] : [iext(uri_rdf_first, _56206, _56204), iext(uri_rdf_rest, _56206, _56202), iext(uri_rdf_first, _56202, _56200), iext(uri_rdf_rest, _56202, uri_rdf_nil), 1694 ^ _35326 : [(1695 ^ _35326) ^ [] : [iext(uri_owl_intersectionOf, _56208, _56206), 1698 ^ _35326 : [(1699 ^ _35326) ^ [] : [-(ic(_56208))], (1701 ^ _35326) ^ [] : [-(ic(_56204))], (1703 ^ _35326) ^ [] : [-(ic(_56200))], (1705 ^ _35326) ^ [_56612] : [icext(_56208, _56612), 1708 ^ _35326 : [(1709 ^ _35326) ^ [] : [-(icext(_56204, _56612))], (1711 ^ _35326) ^ [] : [-(icext(_56200, _56612))]]], (1713 ^ _35326) ^ [_56719] : [-(icext(_56208, _56719)), icext(_56204, _56719), icext(_56200, _56719)]]], (1723 ^ _35326) ^ [] : [-(iext(uri_owl_intersectionOf, _56208, _56206)), ic(_56208), ic(_56204), ic(_56200), 1747 ^ _35326 : [(1748 ^ _35326) ^ [] : [-(icext(_56204, 1736 ^ [_56200, _56202, _56204, _56206, _56208]))], (1750 ^ _35326) ^ [] : [-(icext(_56200, 1736 ^ [_56200, _56202, _56204, _56206, _56208]))], (1752 ^ _35326) ^ [] : [icext(_56208, 1736 ^ [_56200, _56202, _56204, _56206, _56208])]], 1739 ^ _35326 : [(1740 ^ _35326) ^ [] : [-(icext(_56208, 1736 ^ [_56200, _56202, _56204, _56206, _56208]))], (1742 ^ _35326) ^ [] : [icext(_56204, 1736 ^ [_56200, _56202, _56204, _56206, _56208]), icext(_56200, 1736 ^ [_56200, _56202, _56204, _56206, _56208])]]]]], (1756 ^ _35326) ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411] : [iext(uri_rdf_first, _57409, _57407), iext(uri_rdf_rest, _57409, _57405), iext(uri_rdf_first, _57405, _57403), iext(uri_rdf_rest, _57405, _57401), iext(uri_rdf_first, _57401, _57399), iext(uri_rdf_rest, _57401, uri_rdf_nil), 1779 ^ _35326 : [(1780 ^ _35326) ^ [] : [iext(uri_owl_intersectionOf, _57411, _57409), 1783 ^ _35326 : [(1784 ^ _35326) ^ [] : [-(ic(_57411))], (1786 ^ _35326) ^ [] : [-(ic(_57407))], (1788 ^ _35326) ^ [] : [-(ic(_57403))], (1790 ^ _35326) ^ [] : [-(ic(_57399))], (1792 ^ _35326) ^ [_57990] : [icext(_57411, _57990), 1795 ^ _35326 : [(1796 ^ _35326) ^ [] : [-(icext(_57407, _57990))], (1798 ^ _35326) ^ [] : [-(icext(_57403, _57990))], (1800 ^ _35326) ^ [] : [-(icext(_57399, _57990))]]], (1802 ^ _35326) ^ [_58125] : [-(icext(_57411, _58125)), icext(_57407, _58125), icext(_57403, _58125), icext(_57399, _58125)]]], (1816 ^ _35326) ^ [] : [-(iext(uri_owl_intersectionOf, _57411, _57409)), ic(_57411), ic(_57407), ic(_57403), ic(_57399), 1848 ^ _35326 : [(1849 ^ _35326) ^ [] : [-(icext(_57407, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]))], (1851 ^ _35326) ^ [] : [-(icext(_57403, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]))], (1853 ^ _35326) ^ [] : [-(icext(_57399, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]))], (1855 ^ _35326) ^ [] : [icext(_57411, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411])]], 1836 ^ _35326 : [(1837 ^ _35326) ^ [] : [-(icext(_57411, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]))], (1839 ^ _35326) ^ [] : [icext(_57407, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]), icext(_57403, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411]), icext(_57399, 1833 ^ [_57399, _57401, _57403, _57405, _57407, _57409, _57411])]]]]], (1859 ^ _35326) ^ [_59106, _59108, _59110] : [-(idc(_59110)), iext(uri_rdf_first, _59108, _59106), iext(uri_rdf_rest, _59108, uri_rdf_nil), idc(_59106), iext(uri_owl_intersectionOf, _59110, _59108)], (1877 ^ _35326) ^ [_59349, _59351, _59353, _59355, _59357] : [-(idc(_59357)), iext(uri_rdf_first, _59355, _59353), iext(uri_rdf_rest, _59355, _59351), iext(uri_rdf_first, _59351, _59349), iext(uri_rdf_rest, _59351, uri_rdf_nil), idc(_59353), idc(_59349), iext(uri_owl_intersectionOf, _59357, _59355)], (1907 ^ _35326) ^ [_59784, _59786, _59788, _59790, _59792, _59794, _59796] : [-(idc(_59796)), iext(uri_rdf_first, _59794, _59792), iext(uri_rdf_rest, _59794, _59790), iext(uri_rdf_first, _59790, _59788), iext(uri_rdf_rest, _59790, _59786), iext(uri_rdf_first, _59786, _59784), iext(uri_rdf_rest, _59786, uri_rdf_nil), idc(_59792), idc(_59788), idc(_59784), iext(uri_owl_intersectionOf, _59796, _59794)], (1949 ^ _35326) ^ [_60447] : [iext(uri_owl_unionOf, _60447, uri_rdf_nil), 1952 ^ _35326 : [(1953 ^ _35326) ^ [] : [-(ic(_60447))], (1955 ^ _35326) ^ [_60537] : [icext(_60447, _60537)]]], (1957 ^ _35326) ^ [_60562] : [-(iext(uri_owl_unionOf, _60562, uri_rdf_nil)), ic(_60562), -(icext(_60562, 1962 ^ [_60562]))], (1968 ^ _35326) ^ [_60702, _60704, _60706] : [iext(uri_rdf_first, _60704, _60702), iext(uri_rdf_rest, _60704, uri_rdf_nil), 1975 ^ _35326 : [(1976 ^ _35326) ^ [] : [iext(uri_owl_unionOf, _60706, _60704), 1979 ^ _35326 : [(1980 ^ _35326) ^ [] : [-(ic(_60706))], (1982 ^ _35326) ^ [] : [-(ic(_60702))], (1984 ^ _35326) ^ [_60951] : [icext(_60706, _60951), -(icext(_60702, _60951))], (1990 ^ _35326) ^ [_61028] : [icext(_60702, _61028), -(icext(_60706, _61028))]]], (1996 ^ _35326) ^ [] : [-(iext(uri_owl_unionOf, _60706, _60704)), ic(_60706), ic(_60702), 2008 ^ _35326 : [(2009 ^ _35326) ^ [] : [-(icext(_60706, 2005 ^ [_60702, _60704, _60706]))], (2011 ^ _35326) ^ [] : [icext(_60702, 2005 ^ [_60702, _60704, _60706])]], 2012 ^ _35326 : [(2013 ^ _35326) ^ [] : [-(icext(_60702, 2005 ^ [_60702, _60704, _60706]))], (2015 ^ _35326) ^ [] : [icext(_60706, 2005 ^ [_60702, _60704, _60706])]]]]], (2019 ^ _35326) ^ [_61449, _61451, _61453, _61455, _61457] : [iext(uri_rdf_first, _61455, _61453), iext(uri_rdf_rest, _61455, _61451), iext(uri_rdf_first, _61451, _61449), iext(uri_rdf_rest, _61451, uri_rdf_nil), 2034 ^ _35326 : [(2035 ^ _35326) ^ [] : [iext(uri_owl_unionOf, _61457, _61455), 2038 ^ _35326 : [(2039 ^ _35326) ^ [] : [-(ic(_61457))], (2041 ^ _35326) ^ [] : [-(ic(_61453))], (2043 ^ _35326) ^ [] : [-(ic(_61449))], (2055 ^ _35326) ^ [_61955] : [2056 ^ _35326 : [(2057 ^ _35326) ^ [] : [icext(_61453, _61955)], (2059 ^ _35326) ^ [] : [icext(_61449, _61955)]], -(icext(_61457, _61955))], (2045 ^ _35326) ^ [_61861] : [icext(_61457, _61861), -(icext(_61453, _61861)), -(icext(_61449, _61861))]]], (2063 ^ _35326) ^ [] : [-(iext(uri_owl_unionOf, _61457, _61455)), ic(_61457), ic(_61453), ic(_61449), 2079 ^ _35326 : [(2080 ^ _35326) ^ [] : [-(icext(_61457, 2076 ^ [_61449, _61451, _61453, _61455, _61457]))], (2082 ^ _35326) ^ [] : [icext(_61453, 2076 ^ [_61449, _61451, _61453, _61455, _61457])], (2084 ^ _35326) ^ [] : [icext(_61449, 2076 ^ [_61449, _61451, _61453, _61455, _61457])]], 2085 ^ _35326 : [(2092 ^ _35326) ^ [] : [icext(_61457, 2076 ^ [_61449, _61451, _61453, _61455, _61457])], (2086 ^ _35326) ^ [] : [-(icext(_61453, 2076 ^ [_61449, _61451, _61453, _61455, _61457])), -(icext(_61449, 2076 ^ [_61449, _61451, _61453, _61455, _61457]))]]]]], (2096 ^ _35326) ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589] : [iext(uri_rdf_first, _62587, _62585), iext(uri_rdf_rest, _62587, _62583), iext(uri_rdf_first, _62583, _62581), iext(uri_rdf_rest, _62583, _62579), iext(uri_rdf_first, _62579, _62577), iext(uri_rdf_rest, _62579, uri_rdf_nil), 2119 ^ _35326 : [(2120 ^ _35326) ^ [] : [iext(uri_owl_unionOf, _62589, _62587), 2123 ^ _35326 : [(2124 ^ _35326) ^ [] : [-(ic(_62589))], (2126 ^ _35326) ^ [] : [-(ic(_62585))], (2128 ^ _35326) ^ [] : [-(ic(_62581))], (2130 ^ _35326) ^ [] : [-(ic(_62577))], (2146 ^ _35326) ^ [_63279] : [2147 ^ _35326 : [(2148 ^ _35326) ^ [] : [icext(_62585, _63279)], (2150 ^ _35326) ^ [] : [icext(_62581, _63279)], (2152 ^ _35326) ^ [] : [icext(_62577, _63279)]], -(icext(_62589, _63279))], (2132 ^ _35326) ^ [_63168] : [icext(_62589, _63168), -(icext(_62585, _63168)), -(icext(_62581, _63168)), -(icext(_62577, _63168))]]], (2156 ^ _35326) ^ [] : [-(iext(uri_owl_unionOf, _62589, _62587)), ic(_62589), ic(_62585), ic(_62581), ic(_62577), 2176 ^ _35326 : [(2177 ^ _35326) ^ [] : [-(icext(_62589, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589]))], (2179 ^ _35326) ^ [] : [icext(_62585, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])], (2181 ^ _35326) ^ [] : [icext(_62581, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])], (2183 ^ _35326) ^ [] : [icext(_62577, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])]], 2184 ^ _35326 : [(2195 ^ _35326) ^ [] : [icext(_62589, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])], (2185 ^ _35326) ^ [] : [-(icext(_62585, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])), -(icext(_62581, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589])), -(icext(_62577, 2173 ^ [_62577, _62579, _62581, _62583, _62585, _62587, _62589]))]]]]], (2199 ^ _35326) ^ [_64125, _64127, _64129] : [-(idc(_64129)), iext(uri_rdf_first, _64127, _64125), iext(uri_rdf_rest, _64127, uri_rdf_nil), idc(_64125), iext(uri_owl_unionOf, _64129, _64127)], (2217 ^ _35326) ^ [_64368, _64370, _64372, _64374, _64376] : [-(idc(_64376)), iext(uri_rdf_first, _64374, _64372), iext(uri_rdf_rest, _64374, _64370), iext(uri_rdf_first, _64370, _64368), iext(uri_rdf_rest, _64370, uri_rdf_nil), idc(_64372), idc(_64368), iext(uri_owl_unionOf, _64376, _64374)], (2247 ^ _35326) ^ [_64803, _64805, _64807, _64809, _64811, _64813, _64815] : [-(idc(_64815)), iext(uri_rdf_first, _64813, _64811), iext(uri_rdf_rest, _64813, _64809), iext(uri_rdf_first, _64809, _64807), iext(uri_rdf_rest, _64809, _64805), iext(uri_rdf_first, _64805, _64803), iext(uri_rdf_rest, _64805, uri_rdf_nil), idc(_64811), idc(_64807), idc(_64803), iext(uri_owl_unionOf, _64815, _64813)], (2289 ^ _35326) ^ [_65466] : [iext(uri_owl_oneOf, _65466, uri_rdf_nil), 2292 ^ _35326 : [(2293 ^ _35326) ^ [] : [-(ic(_65466))], (2295 ^ _35326) ^ [_65556] : [icext(_65466, _65556)]]], (2297 ^ _35326) ^ [_65581] : [-(iext(uri_owl_oneOf, _65581, uri_rdf_nil)), ic(_65581), -(icext(_65581, 2302 ^ [_65581]))], (2308 ^ _35326) ^ [_65721, _65723, _65725] : [iext(uri_rdf_first, _65723, _65721), iext(uri_rdf_rest, _65723, uri_rdf_nil), 2315 ^ _35326 : [(2334 ^ _35326) ^ [] : [-(iext(uri_owl_oneOf, _65725, _65723)), ic(_65725), 2342 ^ _35326 : [(2343 ^ _35326) ^ [] : [-(icext(_65725, 2339 ^ [_65721, _65723, _65725]))], (2345 ^ _35326) ^ [] : [2339 ^ [_65721, _65723, _65725] = _65721]], 2346 ^ _35326 : [(2347 ^ _35326) ^ [] : [-(2339 ^ [_65721, _65723, _65725] = _65721)], (2349 ^ _35326) ^ [] : [icext(_65725, 2339 ^ [_65721, _65723, _65725])]]], (2316 ^ _35326) ^ [] : [iext(uri_owl_oneOf, _65725, _65723), 2319 ^ _35326 : [(2320 ^ _35326) ^ [] : [-(ic(_65725))], (2322 ^ _35326) ^ [_65945] : [icext(_65725, _65945), -(_65945 = _65721)], (2328 ^ _35326) ^ [_66022] : [_66022 = _65721, -(icext(_65725, _66022))]]]]], (2353 ^ _35326) ^ [_66394, _66396, _66398, _66400, _66402] : [iext(uri_rdf_first, _66400, _66398), iext(uri_rdf_rest, _66400, _66396), iext(uri_rdf_first, _66396, _66394), iext(uri_rdf_rest, _66396, uri_rdf_nil), 2368 ^ _35326 : [(2393 ^ _35326) ^ [] : [-(iext(uri_owl_oneOf, _66402, _66400)), ic(_66402), 2401 ^ _35326 : [(2402 ^ _35326) ^ [] : [-(icext(_66402, 2398 ^ [_66394, _66396, _66398, _66400, _66402]))], (2404 ^ _35326) ^ [] : [2398 ^ [_66394, _66396, _66398, _66400, _66402] = _66398], (2406 ^ _35326) ^ [] : [2398 ^ [_66394, _66396, _66398, _66400, _66402] = _66394]], 2407 ^ _35326 : [(2414 ^ _35326) ^ [] : [icext(_66402, 2398 ^ [_66394, _66396, _66398, _66400, _66402])], (2408 ^ _35326) ^ [] : [-(2398 ^ [_66394, _66396, _66398, _66400, _66402] = _66398), -(2398 ^ [_66394, _66396, _66398, _66400, _66402] = _66394)]]], (2369 ^ _35326) ^ [] : [iext(uri_owl_oneOf, _66402, _66400), 2372 ^ _35326 : [(2373 ^ _35326) ^ [] : [-(ic(_66402))], (2385 ^ _35326) ^ [_66850] : [2386 ^ _35326 : [(2387 ^ _35326) ^ [] : [_66850 = _66398], (2389 ^ _35326) ^ [] : [_66850 = _66394]], -(icext(_66402, _66850))], (2375 ^ _35326) ^ [_66756] : [icext(_66402, _66756), -(_66756 = _66398), -(_66756 = _66394)]]]]], (2418 ^ _35326) ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] : [iext(uri_rdf_first, _67376, _67374), iext(uri_rdf_rest, _67376, _67372), iext(uri_rdf_first, _67372, _67370), iext(uri_rdf_rest, _67372, _67368), iext(uri_rdf_first, _67368, _67366), iext(uri_rdf_rest, _67368, uri_rdf_nil), 2441 ^ _35326 : [(2472 ^ _35326) ^ [] : [-(iext(uri_owl_oneOf, _67378, _67376)), ic(_67378), 2480 ^ _35326 : [(2481 ^ _35326) ^ [] : [-(icext(_67378, 2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378]))], (2483 ^ _35326) ^ [] : [2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67374], (2485 ^ _35326) ^ [] : [2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67370], (2487 ^ _35326) ^ [] : [2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67366]], 2488 ^ _35326 : [(2499 ^ _35326) ^ [] : [icext(_67378, 2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378])], (2489 ^ _35326) ^ [] : [-(2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67374), -(2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67370), -(2477 ^ [_67366, _67368, _67370, _67372, _67374, _67376, _67378] = _67366)]]], (2442 ^ _35326) ^ [] : [iext(uri_owl_oneOf, _67378, _67376), 2445 ^ _35326 : [(2446 ^ _35326) ^ [] : [-(ic(_67378))], (2462 ^ _35326) ^ [_67993] : [2463 ^ _35326 : [(2464 ^ _35326) ^ [] : [_67993 = _67374], (2466 ^ _35326) ^ [] : [_67993 = _67370], (2468 ^ _35326) ^ [] : [_67993 = _67366]], -(icext(_67378, _67993))], (2448 ^ _35326) ^ [_67882] : [icext(_67378, _67882), -(_67882 = _67374), -(_67882 = _67370), -(_67882 = _67366)]]]]], (2503 ^ _35326) ^ [_68668, _68670, _68672] : [-(idc(_68672)), iext(uri_rdf_first, _68670, _68668), iext(uri_rdf_rest, _68670, uri_rdf_nil), lv(_68668), iext(uri_owl_oneOf, _68672, _68670)], (2521 ^ _35326) ^ [_68911, _68913, _68915, _68917, _68919] : [-(idc(_68919)), iext(uri_rdf_first, _68917, _68915), iext(uri_rdf_rest, _68917, _68913), iext(uri_rdf_first, _68913, _68911), iext(uri_rdf_rest, _68913, uri_rdf_nil), lv(_68915), lv(_68911), iext(uri_owl_oneOf, _68919, _68917)], (2551 ^ _35326) ^ [_69346, _69348, _69350, _69352, _69354, _69356, _69358] : [-(idc(_69358)), iext(uri_rdf_first, _69356, _69354), iext(uri_rdf_rest, _69356, _69352), iext(uri_rdf_first, _69352, _69350), iext(uri_rdf_rest, _69352, _69348), iext(uri_rdf_first, _69348, _69346), iext(uri_rdf_rest, _69348, uri_rdf_nil), lv(_69354), lv(_69350), lv(_69346), iext(uri_owl_oneOf, _69358, _69356)], (2593 ^ _35326) ^ [_69997, _69999, _70001] : [iext(uri_owl_allValuesFrom, _70001, _69997), iext(uri_owl_onProperty, _70001, _69999), 2600 ^ _35326 : [(2611 ^ _35326) ^ [_70297] : [2613 ^ _35326 : [(2614 ^ _35326) ^ [] : [-(iext(_69999, _70297, 2612 ^ [_69997, _69999, _70001, _70297]))], (2616 ^ _35326) ^ [] : [icext(_69997, 2612 ^ [_69997, _69999, _70001, _70297])]], -(icext(_70001, _70297))], (2601 ^ _35326) ^ [_70144] : [icext(_70001, _70144), 2604 ^ _35326 : [(2605 ^ _35326) ^ [_70212] : [iext(_69999, _70144, _70212), -(icext(_69997, _70212))]]]]], (2620 ^ _35326) ^ [_70463, _70465] : [iext(uri_owl_cardinality, _70465, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70465, _70463), 2627 ^ _35326 : [(2628 ^ _35326) ^ [_70602] : [icext(_70465, _70602), 2631 ^ _35326 : [(2632 ^ _35326) ^ [_70669] : [iext(_70463, _70602, _70669)]]], (2634 ^ _35326) ^ [_70691] : [-(iext(_70463, _70691, 2635 ^ [_70463, _70465, _70691])), -(icext(_70465, _70691))]]], (2641 ^ _35326) ^ [_70743, _70745] : [iext(uri_owl_cardinality, _70745, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70745, _70743), 2648 ^ _35326 : [(2666 ^ _35326) ^ [_71178] : [-(icext(_70745, _71178)), 2669 ^ _35326 : [(2670 ^ _35326) ^ [_71273] : [iext(_70743, _71178, _71273)]], 2673 ^ _35326 : [(2674 ^ _35326) ^ [] : [-(iext(_70743, _71178, 2671 ^ [_70743, _70745, _71178]))], (2676 ^ _35326) ^ [] : [-(iext(_70743, _71178, 2672 ^ [_70743, _70745, _71178]))], (2678 ^ _35326) ^ [] : [2672 ^ [_70743, _70745, _71178] = 2671 ^ [_70743, _70745, _71178]]]], (2649 ^ _35326) ^ [_70910] : [icext(_70745, _70910), 2653 ^ _35326 : [(2654 ^ _35326) ^ [] : [-(iext(_70743, _70910, 2652 ^ [_70743, _70745, _70910]))], (2656 ^ _35326) ^ [_71031, _71033] : [-(_71031 = _71033), iext(_70743, _70910, _71033), iext(_70743, _70910, _71031)]]]]], (2682 ^ _35326) ^ [_71468, _71470] : [iext(uri_owl_cardinality, _71470, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71470, _71468), 2689 ^ _35326 : [(2720 ^ _35326) ^ [_72174] : [-(icext(_71470, _72174)), 2736 ^ _35326 : [(2737 ^ _35326) ^ [] : [-(iext(_71468, _72174, 2733 ^ [_71468, _71470, _72174]))], (2739 ^ _35326) ^ [] : [-(iext(_71468, _72174, 2734 ^ [_71468, _71470, _72174]))], (2741 ^ _35326) ^ [] : [-(iext(_71468, _72174, 2735 ^ [_71468, _71470, _72174]))], (2743 ^ _35326) ^ [] : [2735 ^ [_71468, _71470, _72174] = 2733 ^ [_71468, _71470, _72174]], (2745 ^ _35326) ^ [] : [2735 ^ [_71468, _71470, _72174] = 2734 ^ [_71468, _71470, _72174]]], 2723 ^ _35326 : [(2724 ^ _35326) ^ [_72302, _72304] : [iext(_71468, _72174, _72304), iext(_71468, _72174, _72302), -(_72304 = _72302)]]], (2690 ^ _35326) ^ [_71673] : [icext(_71470, _71673), 2695 ^ _35326 : [(2696 ^ _35326) ^ [] : [-(iext(_71468, _71673, 2693 ^ [_71468, _71470, _71673]))], (2698 ^ _35326) ^ [] : [-(iext(_71468, _71673, 2694 ^ [_71468, _71470, _71673]))], (2700 ^ _35326) ^ [] : [2693 ^ [_71468, _71470, _71673] = 2694 ^ [_71468, _71470, _71673]], (2702 ^ _35326) ^ [_71942, _71944, _71946] : [-(_71942 = _71946), -(_71942 = _71944), iext(_71468, _71673, _71946), iext(_71468, _71673, _71944), iext(_71468, _71673, _71942)]]]]], (2749 ^ _35326) ^ [_72712, _72714] : [iext(uri_owl_cardinality, _72714, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72714, _72712), 2756 ^ _35326 : [(2757 ^ _35326) ^ [_72963] : [icext(_72714, _72963), 2763 ^ _35326 : [(2764 ^ _35326) ^ [] : [-(iext(_72712, _72963, 2760 ^ [_72712, _72714, _72963]))], (2766 ^ _35326) ^ [] : [-(iext(_72712, _72963, 2761 ^ [_72712, _72714, _72963]))], (2768 ^ _35326) ^ [] : [-(iext(_72712, _72963, 2762 ^ [_72712, _72714, _72963]))], (2770 ^ _35326) ^ [] : [2760 ^ [_72712, _72714, _72963] = 2761 ^ [_72712, _72714, _72963]], (2772 ^ _35326) ^ [] : [2760 ^ [_72712, _72714, _72963] = 2762 ^ [_72712, _72714, _72963]], (2774 ^ _35326) ^ [] : [2761 ^ [_72712, _72714, _72963] = 2762 ^ [_72712, _72714, _72963]], (2776 ^ _35326) ^ [_73923, _73925, _73927, _73929] : [-(_73923 = _73929), -(_73923 = _73927), -(_73923 = _73925), iext(_72712, _72963, _73929), iext(_72712, _72963, _73927), iext(_72712, _72963, _73925), iext(_72712, _72963, _73923)]]], (2802 ^ _35326) ^ [_74697] : [-(icext(_72714, _74697)), 2831 ^ _35326 : [(2832 ^ _35326) ^ [] : [-(iext(_72712, _74697, 2827 ^ [_72712, _72714, _74697]))], (2834 ^ _35326) ^ [] : [-(iext(_72712, _74697, 2828 ^ [_72712, _72714, _74697]))], (2836 ^ _35326) ^ [] : [-(iext(_72712, _74697, 2829 ^ [_72712, _72714, _74697]))], (2838 ^ _35326) ^ [] : [-(iext(_72712, _74697, 2830 ^ [_72712, _72714, _74697]))], (2840 ^ _35326) ^ [] : [2830 ^ [_72712, _72714, _74697] = 2827 ^ [_72712, _72714, _74697]], (2842 ^ _35326) ^ [] : [2830 ^ [_72712, _72714, _74697] = 2828 ^ [_72712, _72714, _74697]], (2844 ^ _35326) ^ [] : [2830 ^ [_72712, _72714, _74697] = 2829 ^ [_72712, _72714, _74697]]], 2805 ^ _35326 : [(2806 ^ _35326) ^ [_74968, _74970, _74972] : [iext(_72712, _74697, _74972), iext(_72712, _74697, _74970), iext(_72712, _74697, _74968), -(_74972 = _74970), -(_74972 = _74968), -(_74970 = _74968)]]]]], (2848 ^ _35326) ^ [_76782, _76784, _76786] : [iext(uri_owl_qualifiedCardinality, _76786, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76786, _76784), iext(uri_owl_onDataRange, _76786, _76782), 2859 ^ _35326 : [(2860 ^ _35326) ^ [] : [-(iodp(_76784))], (2876 ^ _35326) ^ [_77687] : [2878 ^ _35326 : [(2879 ^ _35326) ^ [] : [-(lv(2877 ^ [_76782, _76784, _76786, _77687]))], (2881 ^ _35326) ^ [] : [-(iext(_76784, _77687, 2877 ^ [_76782, _76784, _76786, _77687]))], (2883 ^ _35326) ^ [] : [-(icext(_76782, 2877 ^ [_76782, _76784, _76786, _77687]))]], -(icext(_76786, _77687))], (2862 ^ _35326) ^ [_77235] : [icext(_76786, _77235), 2865 ^ _35326 : [(2866 ^ _35326) ^ [_77394] : [lv(_77394), iext(_76784, _77235, _77394), icext(_76782, _77394)]]]]], (2887 ^ _35326) ^ [_78205, _78207, _78209] : [iext(uri_owl_qualifiedCardinality, _78209, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _78209, _78207), iext(uri_owl_onDataRange, _78209, _78205), 2898 ^ _35326 : [(2899 ^ _35326) ^ [] : [-(iodp(_78207))], (2938 ^ _35326) ^ [_79973] : [-(icext(_78209, _79973)), 2953 ^ _35326 : [(2954 ^ _35326) ^ [] : [-(lv(2951 ^ [_78205, _78207, _78209, _79973]))], (2956 ^ _35326) ^ [] : [-(iext(_78207, _79973, 2951 ^ [_78205, _78207, _78209, _79973]))], (2958 ^ _35326) ^ [] : [-(icext(_78205, 2951 ^ [_78205, _78207, _78209, _79973]))], (2960 ^ _35326) ^ [] : [-(lv(2952 ^ [_78205, _78207, _78209, _79973]))], (2962 ^ _35326) ^ [] : [-(iext(_78207, _79973, 2952 ^ [_78205, _78207, _78209, _79973]))], (2964 ^ _35326) ^ [] : [-(icext(_78205, 2952 ^ [_78205, _78207, _78209, _79973]))], (2966 ^ _35326) ^ [] : [2952 ^ [_78205, _78207, _78209, _79973] = 2951 ^ [_78205, _78207, _78209, _79973]]], 2941 ^ _35326 : [(2942 ^ _35326) ^ [_80171] : [lv(_80171), iext(_78207, _79973, _80171), icext(_78205, _80171)]]], (2901 ^ _35326) ^ [_78708] : [icext(_78209, _78708), 2905 ^ _35326 : [(2906 ^ _35326) ^ [] : [-(lv(2904 ^ [_78205, _78207, _78209, _78708]))], (2908 ^ _35326) ^ [] : [-(iext(_78207, _78708, 2904 ^ [_78205, _78207, _78209, _78708]))], (2910 ^ _35326) ^ [] : [-(icext(_78205, 2904 ^ [_78205, _78207, _78209, _78708]))], (2912 ^ _35326) ^ [_79243, _79245] : [-(_79243 = _79245), lv(_79245), iext(_78207, _78708, _79245), icext(_78205, _79245), lv(_79243), iext(_78207, _78708, _79243), icext(_78205, _79243)]]]]], (2970 ^ _35326) ^ [_81400, _81402, _81404] : [iext(uri_owl_qualifiedCardinality, _81404, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _81404, _81402), iext(uri_owl_onDataRange, _81404, _81400), 2981 ^ _35326 : [(2982 ^ _35326) ^ [] : [-(iodp(_81402))], (3046 ^ _35326) ^ [_84283] : [-(icext(_81404, _84283)), 3078 ^ _35326 : [(3079 ^ _35326) ^ [] : [-(lv(3075 ^ [_81400, _81402, _81404, _84283]))], (3081 ^ _35326) ^ [] : [-(iext(_81402, _84283, 3075 ^ [_81400, _81402, _81404, _84283]))], (3083 ^ _35326) ^ [] : [-(icext(_81400, 3075 ^ [_81400, _81402, _81404, _84283]))], (3085 ^ _35326) ^ [] : [-(lv(3076 ^ [_81400, _81402, _81404, _84283]))], (3087 ^ _35326) ^ [] : [-(iext(_81402, _84283, 3076 ^ [_81400, _81402, _81404, _84283]))], (3089 ^ _35326) ^ [] : [-(icext(_81400, 3076 ^ [_81400, _81402, _81404, _84283]))], (3091 ^ _35326) ^ [] : [-(lv(3077 ^ [_81400, _81402, _81404, _84283]))], (3093 ^ _35326) ^ [] : [-(iext(_81402, _84283, 3077 ^ [_81400, _81402, _81404, _84283]))], (3095 ^ _35326) ^ [] : [-(icext(_81400, 3077 ^ [_81400, _81402, _81404, _84283]))], (3097 ^ _35326) ^ [] : [3077 ^ [_81400, _81402, _81404, _84283] = 3075 ^ [_81400, _81402, _81404, _84283]], (3099 ^ _35326) ^ [] : [3077 ^ [_81400, _81402, _81404, _84283] = 3076 ^ [_81400, _81402, _81404, _84283]]], 3049 ^ _35326 : [(3050 ^ _35326) ^ [_84555, _84557] : [lv(_84557), iext(_81402, _84283, _84557), icext(_81400, _84557), lv(_84555), iext(_81402, _84283, _84555), icext(_81400, _84555), -(_84557 = _84555)]]], (2984 ^ _35326) ^ [_81963] : [icext(_81404, _81963), 2989 ^ _35326 : [(2990 ^ _35326) ^ [] : [-(lv(2987 ^ [_81400, _81402, _81404, _81963]))], (2992 ^ _35326) ^ [] : [-(iext(_81402, _81963, 2987 ^ [_81400, _81402, _81404, _81963]))], (2994 ^ _35326) ^ [] : [-(icext(_81400, 2987 ^ [_81400, _81402, _81404, _81963]))], (2996 ^ _35326) ^ [] : [-(lv(2988 ^ [_81400, _81402, _81404, _81963]))], (2998 ^ _35326) ^ [] : [-(iext(_81402, _81963, 2988 ^ [_81400, _81402, _81404, _81963]))], (3000 ^ _35326) ^ [] : [-(icext(_81400, 2988 ^ [_81400, _81402, _81404, _81963]))], (3002 ^ _35326) ^ [] : [2987 ^ [_81400, _81402, _81404, _81963] = 2988 ^ [_81400, _81402, _81404, _81963]], (3004 ^ _35326) ^ [_83080, _83082, _83084] : [-(_83080 = _83084), -(_83080 = _83082), lv(_83084), iext(_81402, _81963, _83084), icext(_81400, _83084), lv(_83082), iext(_81402, _81963, _83082), icext(_81400, _83082), lv(_83080), iext(_81402, _81963, _83080), icext(_81400, _83080)]]]]], (3103 ^ _35326) ^ [_86824, _86826, _86828] : [iext(uri_owl_qualifiedCardinality, _86828, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _86828, _86826), iext(uri_owl_onDataRange, _86828, _86824), 3114 ^ _35326 : [(3115 ^ _35326) ^ [] : [-(iodp(_86826))], (3206 ^ _35326) ^ [_91123] : [-(icext(_86828, _91123)), 3259 ^ _35326 : [(3260 ^ _35326) ^ [] : [-(lv(3255 ^ [_86824, _86826, _86828, _91123]))], (3262 ^ _35326) ^ [] : [-(iext(_86826, _91123, 3255 ^ [_86824, _86826, _86828, _91123]))], (3264 ^ _35326) ^ [] : [-(icext(_86824, 3255 ^ [_86824, _86826, _86828, _91123]))], (3266 ^ _35326) ^ [] : [-(lv(3256 ^ [_86824, _86826, _86828, _91123]))], (3268 ^ _35326) ^ [] : [-(iext(_86826, _91123, 3256 ^ [_86824, _86826, _86828, _91123]))], (3270 ^ _35326) ^ [] : [-(icext(_86824, 3256 ^ [_86824, _86826, _86828, _91123]))], (3272 ^ _35326) ^ [] : [-(lv(3257 ^ [_86824, _86826, _86828, _91123]))], (3274 ^ _35326) ^ [] : [-(iext(_86826, _91123, 3257 ^ [_86824, _86826, _86828, _91123]))], (3276 ^ _35326) ^ [] : [-(icext(_86824, 3257 ^ [_86824, _86826, _86828, _91123]))], (3278 ^ _35326) ^ [] : [-(lv(3258 ^ [_86824, _86826, _86828, _91123]))], (3280 ^ _35326) ^ [] : [-(iext(_86826, _91123, 3258 ^ [_86824, _86826, _86828, _91123]))], (3282 ^ _35326) ^ [] : [-(icext(_86824, 3258 ^ [_86824, _86826, _86828, _91123]))], (3284 ^ _35326) ^ [] : [3258 ^ [_86824, _86826, _86828, _91123] = 3255 ^ [_86824, _86826, _86828, _91123]], (3286 ^ _35326) ^ [] : [3258 ^ [_86824, _86826, _86828, _91123] = 3256 ^ [_86824, _86826, _86828, _91123]], (3288 ^ _35326) ^ [] : [3258 ^ [_86824, _86826, _86828, _91123] = 3257 ^ [_86824, _86826, _86828, _91123]]], 3209 ^ _35326 : [(3210 ^ _35326) ^ [_91477, _91479, _91481] : [lv(_91481), iext(_86826, _91123, _91481), icext(_86824, _91481), lv(_91479), iext(_86826, _91123, _91479), icext(_86824, _91479), lv(_91477), iext(_86826, _91123, _91477), icext(_86824, _91477), -(_91481 = _91479), -(_91481 = _91477), -(_91479 = _91477)]]], (3117 ^ _35326) ^ [_87455] : [icext(_86828, _87455), 3123 ^ _35326 : [(3124 ^ _35326) ^ [] : [-(lv(3120 ^ [_86824, _86826, _86828, _87455]))], (3126 ^ _35326) ^ [] : [-(iext(_86826, _87455, 3120 ^ [_86824, _86826, _86828, _87455]))], (3128 ^ _35326) ^ [] : [-(icext(_86824, 3120 ^ [_86824, _86826, _86828, _87455]))], (3130 ^ _35326) ^ [] : [-(lv(3121 ^ [_86824, _86826, _86828, _87455]))], (3132 ^ _35326) ^ [] : [-(iext(_86826, _87455, 3121 ^ [_86824, _86826, _86828, _87455]))], (3134 ^ _35326) ^ [] : [-(icext(_86824, 3121 ^ [_86824, _86826, _86828, _87455]))], (3136 ^ _35326) ^ [] : [-(lv(3122 ^ [_86824, _86826, _86828, _87455]))], (3138 ^ _35326) ^ [] : [-(iext(_86826, _87455, 3122 ^ [_86824, _86826, _86828, _87455]))], (3140 ^ _35326) ^ [] : [-(icext(_86824, 3122 ^ [_86824, _86826, _86828, _87455]))], (3142 ^ _35326) ^ [] : [3120 ^ [_86824, _86826, _86828, _87455] = 3121 ^ [_86824, _86826, _86828, _87455]], (3144 ^ _35326) ^ [] : [3120 ^ [_86824, _86826, _86828, _87455] = 3122 ^ [_86824, _86826, _86828, _87455]], (3146 ^ _35326) ^ [] : [3121 ^ [_86824, _86826, _86828, _87455] = 3122 ^ [_86824, _86826, _86828, _87455]], (3148 ^ _35326) ^ [_89413, _89415, _89417, _89419] : [-(_89413 = _89419), -(_89413 = _89417), -(_89413 = _89415), lv(_89419), iext(_86826, _87455, _89419), icext(_86824, _89419), lv(_89417), iext(_86826, _87455, _89417), icext(_86824, _89417), lv(_89415), iext(_86826, _87455, _89415), icext(_86824, _89415), lv(_89413), iext(_86826, _87455, _89413), icext(_86824, _89413)]]]]], (3292 ^ _35326) ^ [_95027, _95029, _95031] : [iext(uri_owl_qualifiedCardinality, _95031, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95031, _95029), iext(uri_owl_onClass, _95031, _95027), 3303 ^ _35326 : [(3314 ^ _35326) ^ [_95751] : [3316 ^ _35326 : [(3317 ^ _35326) ^ [] : [-(iext(_95029, _95751, 3315 ^ [_95027, _95029, _95031, _95751]))], (3319 ^ _35326) ^ [] : [-(icext(_95027, 3315 ^ [_95027, _95029, _95031, _95751]))]], -(icext(_95031, _95751))], (3304 ^ _35326) ^ [_95403] : [icext(_95031, _95403), 3307 ^ _35326 : [(3308 ^ _35326) ^ [_95557] : [iext(_95029, _95403, _95557), icext(_95027, _95557)]]]]], (3323 ^ _35326) ^ [_96175, _96177, _96179] : [iext(uri_owl_qualifiedCardinality, _96179, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96179, _96177), iext(uri_owl_onClass, _96179, _96175), 3334 ^ _35326 : [(3362 ^ _35326) ^ [_97546] : [-(icext(_96179, _97546)), 3373 ^ _35326 : [(3374 ^ _35326) ^ [] : [-(iext(_96177, _97546, 3371 ^ [_96175, _96177, _96179, _97546]))], (3376 ^ _35326) ^ [] : [-(icext(_96175, 3371 ^ [_96175, _96177, _96179, _97546]))], (3378 ^ _35326) ^ [] : [-(iext(_96177, _97546, 3372 ^ [_96175, _96177, _96179, _97546]))], (3380 ^ _35326) ^ [] : [-(icext(_96175, 3372 ^ [_96175, _96177, _96179, _97546]))], (3382 ^ _35326) ^ [] : [3372 ^ [_96175, _96177, _96179, _97546] = 3371 ^ [_96175, _96177, _96179, _97546]]], 3365 ^ _35326 : [(3366 ^ _35326) ^ [_97729] : [iext(_96177, _97546, _97729), icext(_96175, _97729)]]], (3335 ^ _35326) ^ [_96591] : [icext(_96179, _96591), 3339 ^ _35326 : [(3340 ^ _35326) ^ [] : [-(iext(_96177, _96591, 3338 ^ [_96175, _96177, _96179, _96591]))], (3342 ^ _35326) ^ [] : [-(icext(_96175, 3338 ^ [_96175, _96177, _96179, _96591]))], (3344 ^ _35326) ^ [_97024, _97026] : [-(_97024 = _97026), iext(_96177, _96591, _97026), icext(_96175, _97026), iext(_96177, _96591, _97024), icext(_96175, _97024)]]]]], (3386 ^ _35326) ^ [_98658, _98660, _98662] : [iext(uri_owl_qualifiedCardinality, _98662, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _98662, _98660), iext(uri_owl_onClass, _98662, _98658), 3397 ^ _35326 : [(3444 ^ _35326) ^ [_100899] : [-(icext(_98662, _100899)), 3468 ^ _35326 : [(3469 ^ _35326) ^ [] : [-(iext(_98660, _100899, 3465 ^ [_98658, _98660, _98662, _100899]))], (3471 ^ _35326) ^ [] : [-(icext(_98658, 3465 ^ [_98658, _98660, _98662, _100899]))], (3473 ^ _35326) ^ [] : [-(iext(_98660, _100899, 3466 ^ [_98658, _98660, _98662, _100899]))], (3475 ^ _35326) ^ [] : [-(icext(_98658, 3466 ^ [_98658, _98660, _98662, _100899]))], (3477 ^ _35326) ^ [] : [-(iext(_98660, _100899, 3467 ^ [_98658, _98660, _98662, _100899]))], (3479 ^ _35326) ^ [] : [-(icext(_98658, 3467 ^ [_98658, _98660, _98662, _100899]))], (3481 ^ _35326) ^ [] : [3467 ^ [_98658, _98660, _98662, _100899] = 3465 ^ [_98658, _98660, _98662, _100899]], (3483 ^ _35326) ^ [] : [3467 ^ [_98658, _98660, _98662, _100899] = 3466 ^ [_98658, _98660, _98662, _100899]]], 3447 ^ _35326 : [(3448 ^ _35326) ^ [_101146, _101148] : [iext(_98660, _100899, _101148), icext(_98658, _101148), iext(_98660, _100899, _101146), icext(_98658, _101146), -(_101148 = _101146)]]], (3398 ^ _35326) ^ [_99124] : [icext(_98662, _99124), 3403 ^ _35326 : [(3404 ^ _35326) ^ [] : [-(iext(_98660, _99124, 3401 ^ [_98658, _98660, _98662, _99124]))], (3406 ^ _35326) ^ [] : [-(icext(_98658, 3401 ^ [_98658, _98660, _98662, _99124]))], (3408 ^ _35326) ^ [] : [-(iext(_98660, _99124, 3402 ^ [_98658, _98660, _98662, _99124]))], (3410 ^ _35326) ^ [] : [-(icext(_98658, 3402 ^ [_98658, _98660, _98662, _99124]))], (3412 ^ _35326) ^ [] : [3401 ^ [_98658, _98660, _98662, _99124] = 3402 ^ [_98658, _98660, _98662, _99124]], (3414 ^ _35326) ^ [_100021, _100023, _100025] : [-(_100021 = _100025), -(_100021 = _100023), iext(_98660, _99124, _100025), icext(_98658, _100025), iext(_98660, _99124, _100023), icext(_98658, _100023), iext(_98660, _99124, _100021), icext(_98658, _100021)]]]]], (3487 ^ _35326) ^ [_102877, _102879, _102881] : [iext(uri_owl_qualifiedCardinality, _102881, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102881, _102879), iext(uri_owl_onClass, _102881, _102877), 3498 ^ _35326 : [(3566 ^ _35326) ^ [_106260] : [-(icext(_102881, _106260)), 3607 ^ _35326 : [(3608 ^ _35326) ^ [] : [-(iext(_102879, _106260, 3603 ^ [_102877, _102879, _102881, _106260]))], (3610 ^ _35326) ^ [] : [-(icext(_102877, 3603 ^ [_102877, _102879, _102881, _106260]))], (3612 ^ _35326) ^ [] : [-(iext(_102879, _106260, 3604 ^ [_102877, _102879, _102881, _106260]))], (3614 ^ _35326) ^ [] : [-(icext(_102877, 3604 ^ [_102877, _102879, _102881, _106260]))], (3616 ^ _35326) ^ [] : [-(iext(_102879, _106260, 3605 ^ [_102877, _102879, _102881, _106260]))], (3618 ^ _35326) ^ [] : [-(icext(_102877, 3605 ^ [_102877, _102879, _102881, _106260]))], (3620 ^ _35326) ^ [] : [-(iext(_102879, _106260, 3606 ^ [_102877, _102879, _102881, _106260]))], (3622 ^ _35326) ^ [] : [-(icext(_102877, 3606 ^ [_102877, _102879, _102881, _106260]))], (3624 ^ _35326) ^ [] : [3606 ^ [_102877, _102879, _102881, _106260] = 3603 ^ [_102877, _102879, _102881, _106260]], (3626 ^ _35326) ^ [] : [3606 ^ [_102877, _102879, _102881, _106260] = 3604 ^ [_102877, _102879, _102881, _106260]], (3628 ^ _35326) ^ [] : [3606 ^ [_102877, _102879, _102881, _106260] = 3605 ^ [_102877, _102879, _102881, _106260]]], 3569 ^ _35326 : [(3570 ^ _35326) ^ [_106579, _106581, _106583] : [iext(_102879, _106260, _106583), icext(_102877, _106583), iext(_102879, _106260, _106581), icext(_102877, _106581), iext(_102879, _106260, _106579), icext(_102877, _106579), -(_106583 = _106581), -(_106583 = _106579), -(_106581 = _106579)]]], (3499 ^ _35326) ^ [_103401] : [icext(_102881, _103401), 3505 ^ _35326 : [(3506 ^ _35326) ^ [] : [-(iext(_102879, _103401, 3502 ^ [_102877, _102879, _102881, _103401]))], (3508 ^ _35326) ^ [] : [-(icext(_102877, 3502 ^ [_102877, _102879, _102881, _103401]))], (3510 ^ _35326) ^ [] : [-(iext(_102879, _103401, 3503 ^ [_102877, _102879, _102881, _103401]))], (3512 ^ _35326) ^ [] : [-(icext(_102877, 3503 ^ [_102877, _102879, _102881, _103401]))], (3514 ^ _35326) ^ [] : [-(iext(_102879, _103401, 3504 ^ [_102877, _102879, _102881, _103401]))], (3516 ^ _35326) ^ [] : [-(icext(_102877, 3504 ^ [_102877, _102879, _102881, _103401]))], (3518 ^ _35326) ^ [] : [3502 ^ [_102877, _102879, _102881, _103401] = 3503 ^ [_102877, _102879, _102881, _103401]], (3520 ^ _35326) ^ [] : [3502 ^ [_102877, _102879, _102881, _103401] = 3504 ^ [_102877, _102879, _102881, _103401]], (3522 ^ _35326) ^ [] : [3503 ^ [_102877, _102879, _102881, _103401] = 3504 ^ [_102877, _102879, _102881, _103401]], (3524 ^ _35326) ^ [_105000, _105002, _105004, _105006] : [-(_105000 = _105006), -(_105000 = _105004), -(_105000 = _105002), iext(_102879, _103401, _105006), icext(_102877, _105006), iext(_102879, _103401, _105004), icext(_102877, _105004), iext(_102879, _103401, _105002), icext(_102877, _105002), iext(_102879, _103401, _105000), icext(_102877, _105000)]]]]], (3632 ^ _35326) ^ [_109324, _109326, _109328] : [iext(uri_owl_hasSelf, _109328, _109324), iext(uri_owl_onProperty, _109328, _109326), 3639 ^ _35326 : [(3640 ^ _35326) ^ [_109592] : [icext(_109328, _109592), -(iext(_109326, _109592, _109592))], (3646 ^ _35326) ^ [_109774] : [iext(_109326, _109774, _109774), -(icext(_109328, _109774))]]], (3652 ^ _35326) ^ [_110027, _110029, _110031] : [iext(uri_owl_hasValue, _110031, _110027), iext(uri_owl_onProperty, _110031, _110029), 3659 ^ _35326 : [(3660 ^ _35326) ^ [_110295] : [icext(_110031, _110295), -(iext(_110029, _110295, _110027))], (3666 ^ _35326) ^ [_110477] : [iext(_110029, _110477, _110027), -(icext(_110031, _110477))]]], (3672 ^ _35326) ^ [_110716, _110718] : [iext(uri_owl_maxCardinality, _110718, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _110718, _110716), 3679 ^ _35326 : [(3680 ^ _35326) ^ [_110983] : [icext(_110718, _110983), 3683 ^ _35326 : [(3684 ^ _35326) ^ [_111109] : [iext(_110716, _110983, _111109)]]], (3686 ^ _35326) ^ [_111180] : [-(iext(_110716, _111180, 3687 ^ [_110716, _110718, _111180])), -(icext(_110718, _111180))]]], (3693 ^ _35326) ^ [_111478, _111480] : [iext(uri_owl_maxCardinality, _111480, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111480, _111478), 3700 ^ _35326 : [(3715 ^ _35326) ^ [_112229] : [3718 ^ _35326 : [(3719 ^ _35326) ^ [] : [-(iext(_111478, _112229, 3716 ^ [_111478, _111480, _112229]))], (3721 ^ _35326) ^ [] : [-(iext(_111478, _112229, 3717 ^ [_111478, _111480, _112229]))], (3723 ^ _35326) ^ [] : [3717 ^ [_111478, _111480, _112229] = 3716 ^ [_111478, _111480, _112229]]], -(icext(_111480, _112229))], (3701 ^ _35326) ^ [_111761] : [icext(_111480, _111761), 3704 ^ _35326 : [(3705 ^ _35326) ^ [_111933, _111935] : [-(_111933 = _111935), iext(_111478, _111761, _111935), iext(_111478, _111761, _111933)]]]]], (3727 ^ _35326) ^ [_112812, _112814] : [iext(uri_owl_maxCardinality, _112814, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _112814, _112812), 3734 ^ _35326 : [(3757 ^ _35326) ^ [_113838] : [3761 ^ _35326 : [(3762 ^ _35326) ^ [] : [-(iext(_112812, _113838, 3758 ^ [_112812, _112814, _113838]))], (3764 ^ _35326) ^ [] : [-(iext(_112812, _113838, 3759 ^ [_112812, _112814, _113838]))], (3766 ^ _35326) ^ [] : [-(iext(_112812, _113838, 3760 ^ [_112812, _112814, _113838]))], (3768 ^ _35326) ^ [] : [3760 ^ [_112812, _112814, _113838] = 3758 ^ [_112812, _112814, _113838]], (3770 ^ _35326) ^ [] : [3760 ^ [_112812, _112814, _113838] = 3759 ^ [_112812, _112814, _113838]]], -(icext(_112814, _113838))], (3735 ^ _35326) ^ [_113113] : [icext(_112814, _113113), 3738 ^ _35326 : [(3739 ^ _35326) ^ [_113317, _113319, _113321] : [-(_113317 = _113321), -(_113317 = _113319), iext(_112812, _113113, _113321), iext(_112812, _113113, _113319), iext(_112812, _113113, _113317)]]]]], (3774 ^ _35326) ^ [_114756, _114758] : [iext(uri_owl_maxCardinality, _114758, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _114758, _114756), 3781 ^ _35326 : [(3812 ^ _35326) ^ [_116073] : [3817 ^ _35326 : [(3818 ^ _35326) ^ [] : [-(iext(_114756, _116073, 3813 ^ [_114756, _114758, _116073]))], (3820 ^ _35326) ^ [] : [-(iext(_114756, _116073, 3814 ^ [_114756, _114758, _116073]))], (3822 ^ _35326) ^ [] : [-(iext(_114756, _116073, 3815 ^ [_114756, _114758, _116073]))], (3824 ^ _35326) ^ [] : [-(iext(_114756, _116073, 3816 ^ [_114756, _114758, _116073]))], (3826 ^ _35326) ^ [] : [3816 ^ [_114756, _114758, _116073] = 3813 ^ [_114756, _114758, _116073]], (3828 ^ _35326) ^ [] : [3816 ^ [_114756, _114758, _116073] = 3814 ^ [_114756, _114758, _116073]], (3830 ^ _35326) ^ [] : [3816 ^ [_114756, _114758, _116073] = 3815 ^ [_114756, _114758, _116073]]], -(icext(_114758, _116073))], (3782 ^ _35326) ^ [_115075] : [icext(_114758, _115075), 3785 ^ _35326 : [(3786 ^ _35326) ^ [_115311, _115313, _115315, _115317] : [-(_115311 = _115317), -(_115311 = _115315), -(_115311 = _115313), iext(_114756, _115075, _115317), iext(_114756, _115075, _115315), iext(_114756, _115075, _115313), iext(_114756, _115075, _115311)]]]]], (3834 ^ _35326) ^ [_117389, _117391, _117393] : [iext(uri_owl_maxQualifiedCardinality, _117393, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117393, _117391), iext(uri_owl_onDataRange, _117393, _117389), 3845 ^ _35326 : [(3846 ^ _35326) ^ [] : [-(iodp(_117391))], (3862 ^ _35326) ^ [_118294] : [3864 ^ _35326 : [(3865 ^ _35326) ^ [] : [-(lv(3863 ^ [_117389, _117391, _117393, _118294]))], (3867 ^ _35326) ^ [] : [-(iext(_117391, _118294, 3863 ^ [_117389, _117391, _117393, _118294]))], (3869 ^ _35326) ^ [] : [-(icext(_117389, 3863 ^ [_117389, _117391, _117393, _118294]))]], -(icext(_117393, _118294))], (3848 ^ _35326) ^ [_117842] : [icext(_117393, _117842), 3851 ^ _35326 : [(3852 ^ _35326) ^ [_118001] : [lv(_118001), iext(_117391, _117842, _118001), icext(_117389, _118001)]]]]], (3873 ^ _35326) ^ [_118812, _118814, _118816] : [iext(uri_owl_maxQualifiedCardinality, _118816, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118816, _118814), iext(uri_owl_onDataRange, _118816, _118812), 3884 ^ _35326 : [(3885 ^ _35326) ^ [] : [-(iodp(_118814))], (3917 ^ _35326) ^ [_120216] : [3920 ^ _35326 : [(3921 ^ _35326) ^ [] : [-(lv(3918 ^ [_118812, _118814, _118816, _120216]))], (3923 ^ _35326) ^ [] : [-(iext(_118814, _120216, 3918 ^ [_118812, _118814, _118816, _120216]))], (3925 ^ _35326) ^ [] : [-(icext(_118812, 3918 ^ [_118812, _118814, _118816, _120216]))], (3927 ^ _35326) ^ [] : [-(lv(3919 ^ [_118812, _118814, _118816, _120216]))], (3929 ^ _35326) ^ [] : [-(iext(_118814, _120216, 3919 ^ [_118812, _118814, _118816, _120216]))], (3931 ^ _35326) ^ [] : [-(icext(_118812, 3919 ^ [_118812, _118814, _118816, _120216]))], (3933 ^ _35326) ^ [] : [3919 ^ [_118812, _118814, _118816, _120216] = 3918 ^ [_118812, _118814, _118816, _120216]]], -(icext(_118816, _120216))], (3887 ^ _35326) ^ [_119292] : [icext(_118816, _119292), 3890 ^ _35326 : [(3891 ^ _35326) ^ [_119492, _119494] : [-(_119492 = _119494), lv(_119494), iext(_118814, _119292, _119494), icext(_118812, _119494), lv(_119492), iext(_118814, _119292, _119492), icext(_118812, _119492)]]]]], (3937 ^ _35326) ^ [_121275, _121277, _121279] : [iext(uri_owl_maxQualifiedCardinality, _121279, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121279, _121277), iext(uri_owl_onDataRange, _121279, _121275), 3948 ^ _35326 : [(3949 ^ _35326) ^ [] : [-(iodp(_121277))], (3997 ^ _35326) ^ [_123216] : [4001 ^ _35326 : [(4002 ^ _35326) ^ [] : [-(lv(3998 ^ [_121275, _121277, _121279, _123216]))], (4004 ^ _35326) ^ [] : [-(iext(_121277, _123216, 3998 ^ [_121275, _121277, _121279, _123216]))], (4006 ^ _35326) ^ [] : [-(icext(_121275, 3998 ^ [_121275, _121277, _121279, _123216]))], (4008 ^ _35326) ^ [] : [-(lv(3999 ^ [_121275, _121277, _121279, _123216]))], (4010 ^ _35326) ^ [] : [-(iext(_121277, _123216, 3999 ^ [_121275, _121277, _121279, _123216]))], (4012 ^ _35326) ^ [] : [-(icext(_121275, 3999 ^ [_121275, _121277, _121279, _123216]))], (4014 ^ _35326) ^ [] : [-(lv(4000 ^ [_121275, _121277, _121279, _123216]))], (4016 ^ _35326) ^ [] : [-(iext(_121277, _123216, 4000 ^ [_121275, _121277, _121279, _123216]))], (4018 ^ _35326) ^ [] : [-(icext(_121275, 4000 ^ [_121275, _121277, _121279, _123216]))], (4020 ^ _35326) ^ [] : [4000 ^ [_121275, _121277, _121279, _123216] = 3998 ^ [_121275, _121277, _121279, _123216]], (4022 ^ _35326) ^ [] : [4000 ^ [_121275, _121277, _121279, _123216] = 3999 ^ [_121275, _121277, _121279, _123216]]], -(icext(_121279, _123216))], (3951 ^ _35326) ^ [_121784] : [icext(_121279, _121784), 3954 ^ _35326 : [(3955 ^ _35326) ^ [_122027, _122029, _122031] : [-(_122027 = _122031), -(_122027 = _122029), lv(_122031), iext(_121277, _121784, _122031), icext(_121275, _122031), lv(_122029), iext(_121277, _121784, _122029), icext(_121275, _122029), lv(_122027), iext(_121277, _121784, _122027), icext(_121275, _122027)]]]]], (4026 ^ _35326) ^ [_124911, _124913, _124915] : [iext(uri_owl_maxQualifiedCardinality, _124915, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _124915, _124913), iext(uri_owl_onDataRange, _124915, _124911), 4037 ^ _35326 : [(4038 ^ _35326) ^ [] : [-(iodp(_124913))], (4102 ^ _35326) ^ [_127421] : [4107 ^ _35326 : [(4108 ^ _35326) ^ [] : [-(lv(4103 ^ [_124911, _124913, _124915, _127421]))], (4110 ^ _35326) ^ [] : [-(iext(_124913, _127421, 4103 ^ [_124911, _124913, _124915, _127421]))], (4112 ^ _35326) ^ [] : [-(icext(_124911, 4103 ^ [_124911, _124913, _124915, _127421]))], (4114 ^ _35326) ^ [] : [-(lv(4104 ^ [_124911, _124913, _124915, _127421]))], (4116 ^ _35326) ^ [] : [-(iext(_124913, _127421, 4104 ^ [_124911, _124913, _124915, _127421]))], (4118 ^ _35326) ^ [] : [-(icext(_124911, 4104 ^ [_124911, _124913, _124915, _127421]))], (4120 ^ _35326) ^ [] : [-(lv(4105 ^ [_124911, _124913, _124915, _127421]))], (4122 ^ _35326) ^ [] : [-(iext(_124913, _127421, 4105 ^ [_124911, _124913, _124915, _127421]))], (4124 ^ _35326) ^ [] : [-(icext(_124911, 4105 ^ [_124911, _124913, _124915, _127421]))], (4126 ^ _35326) ^ [] : [-(lv(4106 ^ [_124911, _124913, _124915, _127421]))], (4128 ^ _35326) ^ [] : [-(iext(_124913, _127421, 4106 ^ [_124911, _124913, _124915, _127421]))], (4130 ^ _35326) ^ [] : [-(icext(_124911, 4106 ^ [_124911, _124913, _124915, _127421]))], (4132 ^ _35326) ^ [] : [4106 ^ [_124911, _124913, _124915, _127421] = 4103 ^ [_124911, _124913, _124915, _127421]], (4134 ^ _35326) ^ [] : [4106 ^ [_124911, _124913, _124915, _127421] = 4104 ^ [_124911, _124913, _124915, _127421]], (4136 ^ _35326) ^ [] : [4106 ^ [_124911, _124913, _124915, _127421] = 4105 ^ [_124911, _124913, _124915, _127421]]], -(icext(_124915, _127421))], (4040 ^ _35326) ^ [_125449] : [icext(_124915, _125449), 4043 ^ _35326 : [(4044 ^ _35326) ^ [_125735, _125737, _125739, _125741] : [-(_125735 = _125741), -(_125735 = _125739), -(_125735 = _125737), lv(_125741), iext(_124913, _125449, _125741), icext(_124911, _125741), lv(_125739), iext(_124913, _125449, _125739), icext(_124911, _125739), lv(_125737), iext(_124913, _125449, _125737), icext(_124911, _125737), lv(_125735), iext(_124913, _125449, _125735), icext(_124911, _125735)]]]]], (4140 ^ _35326) ^ [_129849, _129851, _129853] : [iext(uri_owl_maxQualifiedCardinality, _129853, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _129853, _129851), iext(uri_owl_onClass, _129853, _129849), 4151 ^ _35326 : [(4162 ^ _35326) ^ [_130573] : [4164 ^ _35326 : [(4165 ^ _35326) ^ [] : [-(iext(_129851, _130573, 4163 ^ [_129849, _129851, _129853, _130573]))], (4167 ^ _35326) ^ [] : [-(icext(_129849, 4163 ^ [_129849, _129851, _129853, _130573]))]], -(icext(_129853, _130573))], (4152 ^ _35326) ^ [_130225] : [icext(_129853, _130225), 4155 ^ _35326 : [(4156 ^ _35326) ^ [_130379] : [iext(_129851, _130225, _130379), icext(_129849, _130379)]]]]], (4171 ^ _35326) ^ [_130997, _130999, _131001] : [iext(uri_owl_maxQualifiedCardinality, _131001, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131001, _130999), iext(uri_owl_onClass, _131001, _130997), 4182 ^ _35326 : [(4205 ^ _35326) ^ [_132103] : [4208 ^ _35326 : [(4209 ^ _35326) ^ [] : [-(iext(_130999, _132103, 4206 ^ [_130997, _130999, _131001, _132103]))], (4211 ^ _35326) ^ [] : [-(icext(_130997, 4206 ^ [_130997, _130999, _131001, _132103]))], (4213 ^ _35326) ^ [] : [-(iext(_130999, _132103, 4207 ^ [_130997, _130999, _131001, _132103]))], (4215 ^ _35326) ^ [] : [-(icext(_130997, 4207 ^ [_130997, _130999, _131001, _132103]))], (4217 ^ _35326) ^ [] : [4207 ^ [_130997, _130999, _131001, _132103] = 4206 ^ [_130997, _130999, _131001, _132103]]], -(icext(_131001, _132103))], (4183 ^ _35326) ^ [_131395] : [icext(_131001, _131395), 4186 ^ _35326 : [(4187 ^ _35326) ^ [_131585, _131587] : [-(_131585 = _131587), iext(_130999, _131395, _131587), icext(_130997, _131587), iext(_130999, _131395, _131585), icext(_130997, _131585)]]]]], (4221 ^ _35326) ^ [_132951, _132953, _132955] : [iext(uri_owl_maxQualifiedCardinality, _132955, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132955, _132953), iext(uri_owl_onClass, _132955, _132951), 4232 ^ _35326 : [(4267 ^ _35326) ^ [_134469] : [4271 ^ _35326 : [(4272 ^ _35326) ^ [] : [-(iext(_132953, _134469, 4268 ^ [_132951, _132953, _132955, _134469]))], (4274 ^ _35326) ^ [] : [-(icext(_132951, 4268 ^ [_132951, _132953, _132955, _134469]))], (4276 ^ _35326) ^ [] : [-(iext(_132953, _134469, 4269 ^ [_132951, _132953, _132955, _134469]))], (4278 ^ _35326) ^ [] : [-(icext(_132951, 4269 ^ [_132951, _132953, _132955, _134469]))], (4280 ^ _35326) ^ [] : [-(iext(_132953, _134469, 4270 ^ [_132951, _132953, _132955, _134469]))], (4282 ^ _35326) ^ [] : [-(icext(_132951, 4270 ^ [_132951, _132953, _132955, _134469]))], (4284 ^ _35326) ^ [] : [4270 ^ [_132951, _132953, _132955, _134469] = 4268 ^ [_132951, _132953, _132955, _134469]], (4286 ^ _35326) ^ [] : [4270 ^ [_132951, _132953, _132955, _134469] = 4269 ^ [_132951, _132953, _132955, _134469]]], -(icext(_132955, _134469))], (4233 ^ _35326) ^ [_133373] : [icext(_132955, _133373), 4236 ^ _35326 : [(4237 ^ _35326) ^ [_133601, _133603, _133605] : [-(_133601 = _133605), -(_133601 = _133603), iext(_132953, _133373, _133605), icext(_132951, _133605), iext(_132953, _133373, _133603), icext(_132951, _133603), iext(_132953, _133373, _133601), icext(_132951, _133601)]]]]], (4290 ^ _35326) ^ [_135817, _135819, _135821] : [iext(uri_owl_maxQualifiedCardinality, _135821, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135821, _135819), iext(uri_owl_onClass, _135821, _135817), 4301 ^ _35326 : [(4348 ^ _35326) ^ [_137771] : [4353 ^ _35326 : [(4354 ^ _35326) ^ [] : [-(iext(_135819, _137771, 4349 ^ [_135817, _135819, _135821, _137771]))], (4356 ^ _35326) ^ [] : [-(icext(_135817, 4349 ^ [_135817, _135819, _135821, _137771]))], (4358 ^ _35326) ^ [] : [-(iext(_135819, _137771, 4350 ^ [_135817, _135819, _135821, _137771]))], (4360 ^ _35326) ^ [] : [-(icext(_135817, 4350 ^ [_135817, _135819, _135821, _137771]))], (4362 ^ _35326) ^ [] : [-(iext(_135819, _137771, 4351 ^ [_135817, _135819, _135821, _137771]))], (4364 ^ _35326) ^ [] : [-(icext(_135817, 4351 ^ [_135817, _135819, _135821, _137771]))], (4366 ^ _35326) ^ [] : [-(iext(_135819, _137771, 4352 ^ [_135817, _135819, _135821, _137771]))], (4368 ^ _35326) ^ [] : [-(icext(_135817, 4352 ^ [_135817, _135819, _135821, _137771]))], (4370 ^ _35326) ^ [] : [4352 ^ [_135817, _135819, _135821, _137771] = 4349 ^ [_135817, _135819, _135821, _137771]], (4372 ^ _35326) ^ [] : [4352 ^ [_135817, _135819, _135821, _137771] = 4350 ^ [_135817, _135819, _135821, _137771]], (4374 ^ _35326) ^ [] : [4352 ^ [_135817, _135819, _135821, _137771] = 4351 ^ [_135817, _135819, _135821, _137771]]], -(icext(_135821, _137771))], (4302 ^ _35326) ^ [_136263] : [icext(_135821, _136263), 4305 ^ _35326 : [(4306 ^ _35326) ^ [_136529, _136531, _136533, _136535] : [-(_136529 = _136535), -(_136529 = _136533), -(_136529 = _136531), iext(_135819, _136263, _136535), icext(_135817, _136535), iext(_135819, _136263, _136533), icext(_135817, _136533), iext(_135819, _136263, _136531), icext(_135817, _136531), iext(_135819, _136263, _136529), icext(_135817, _136529)]]]]], (4378 ^ _35326) ^ [_139681, _139683] : [4385 ^ _35326 : [(4386 ^ _35326) ^ [_139890] : [-(icext(_139683, _139890))]], iext(uri_owl_minCardinality, _139683, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _139683, _139681)], (4388 ^ _35326) ^ [_140006, _140008] : [iext(uri_owl_minCardinality, _140008, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140008, _140006), 4395 ^ _35326 : [(4396 ^ _35326) ^ [_140271] : [icext(_140008, _140271), -(iext(_140006, _140271, 4399 ^ [_140006, _140008, _140271]))], (4403 ^ _35326) ^ [_140509] : [4404 ^ _35326 : [(4405 ^ _35326) ^ [_140586] : [iext(_140006, _140509, _140586)]], -(icext(_140008, _140509))]]], (4409 ^ _35326) ^ [_140762, _140764] : [iext(uri_owl_minCardinality, _140764, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140764, _140762), 4416 ^ _35326 : [(4417 ^ _35326) ^ [_141047] : [icext(_140764, _141047), 4422 ^ _35326 : [(4423 ^ _35326) ^ [] : [-(iext(_140762, _141047, 4420 ^ [_140762, _140764, _141047]))], (4425 ^ _35326) ^ [] : [-(iext(_140762, _141047, 4421 ^ [_140762, _140764, _141047]))], (4427 ^ _35326) ^ [] : [4420 ^ [_140762, _140764, _141047] = 4421 ^ [_140762, _140764, _141047]]]], (4429 ^ _35326) ^ [_141576] : [-(icext(_140764, _141576)), 4430 ^ _35326 : [(4431 ^ _35326) ^ [_141703, _141705] : [iext(_140762, _141576, _141705), iext(_140762, _141576, _141703), -(_141705 = _141703)]]]]], (4443 ^ _35326) ^ [_142106, _142108] : [iext(uri_owl_minCardinality, _142108, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142108, _142106), 4450 ^ _35326 : [(4451 ^ _35326) ^ [_142419] : [icext(_142108, _142419), 4457 ^ _35326 : [(4458 ^ _35326) ^ [] : [-(iext(_142106, _142419, 4454 ^ [_142106, _142108, _142419]))], (4460 ^ _35326) ^ [] : [-(iext(_142106, _142419, 4455 ^ [_142106, _142108, _142419]))], (4462 ^ _35326) ^ [] : [-(iext(_142106, _142419, 4456 ^ [_142106, _142108, _142419]))], (4464 ^ _35326) ^ [] : [4454 ^ [_142106, _142108, _142419] = 4455 ^ [_142106, _142108, _142419]], (4466 ^ _35326) ^ [] : [4454 ^ [_142106, _142108, _142419] = 4456 ^ [_142106, _142108, _142419]], (4468 ^ _35326) ^ [] : [4455 ^ [_142106, _142108, _142419] = 4456 ^ [_142106, _142108, _142419]]]], (4470 ^ _35326) ^ [_143437] : [-(icext(_142108, _143437)), 4471 ^ _35326 : [(4472 ^ _35326) ^ [_143606, _143608, _143610] : [iext(_142106, _143437, _143610), iext(_142106, _143437, _143608), iext(_142106, _143437, _143606), -(_143610 = _143608), -(_143610 = _143606), -(_143608 = _143606)]]]]], (4496 ^ _35326) ^ [_144356, _144358, _144360] : [4507 ^ _35326 : [(4508 ^ _35326) ^ [] : [-(iodp(_144358))], (4510 ^ _35326) ^ [_144740] : [-(icext(_144360, _144740))]], iext(uri_owl_minQualifiedCardinality, _144360, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144360, _144358), iext(uri_owl_onDataRange, _144360, _144356)], (4512 ^ _35326) ^ [_144874, _144876, _144878] : [iext(uri_owl_minQualifiedCardinality, _144878, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144878, _144876), iext(uri_owl_onDataRange, _144878, _144874), 4523 ^ _35326 : [(4524 ^ _35326) ^ [] : [-(iodp(_144876))], (4526 ^ _35326) ^ [_145325] : [icext(_144878, _145325), 4530 ^ _35326 : [(4531 ^ _35326) ^ [] : [-(lv(4529 ^ [_144874, _144876, _144878, _145325]))], (4533 ^ _35326) ^ [] : [-(iext(_144876, _145325, 4529 ^ [_144874, _144876, _144878, _145325]))], (4535 ^ _35326) ^ [] : [-(icext(_144874, 4529 ^ [_144874, _144876, _144878, _145325]))]]], (4537 ^ _35326) ^ [_145765] : [-(icext(_144878, _145765)), 4538 ^ _35326 : [(4539 ^ _35326) ^ [_145873] : [lv(_145873), iext(_144876, _145765, _145873), icext(_144874, _145873)]]]]], (4551 ^ _35326) ^ [_146291, _146293, _146295] : [iext(uri_owl_minQualifiedCardinality, _146295, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146295, _146293), iext(uri_owl_onDataRange, _146295, _146291), 4562 ^ _35326 : [(4563 ^ _35326) ^ [] : [-(iodp(_146293))], (4565 ^ _35326) ^ [_146773] : [icext(_146295, _146773), 4570 ^ _35326 : [(4571 ^ _35326) ^ [] : [-(lv(4568 ^ [_146291, _146293, _146295, _146773]))], (4573 ^ _35326) ^ [] : [-(iext(_146293, _146773, 4568 ^ [_146291, _146293, _146295, _146773]))], (4575 ^ _35326) ^ [] : [-(icext(_146291, 4568 ^ [_146291, _146293, _146295, _146773]))], (4577 ^ _35326) ^ [] : [-(lv(4569 ^ [_146291, _146293, _146295, _146773]))], (4579 ^ _35326) ^ [] : [-(iext(_146293, _146773, 4569 ^ [_146291, _146293, _146295, _146773]))], (4581 ^ _35326) ^ [] : [-(icext(_146291, 4569 ^ [_146291, _146293, _146295, _146773]))], (4583 ^ _35326) ^ [] : [4568 ^ [_146291, _146293, _146295, _146773] = 4569 ^ [_146291, _146293, _146295, _146773]]]], (4585 ^ _35326) ^ [_147752] : [-(icext(_146295, _147752)), 4586 ^ _35326 : [(4587 ^ _35326) ^ [_147905, _147907] : [lv(_147907), iext(_146293, _147752, _147907), icext(_146291, _147907), lv(_147905), iext(_146293, _147752, _147905), icext(_146291, _147905), -(_147907 = _147905)]]]]], (4615 ^ _35326) ^ [_148756, _148758, _148760] : [iext(uri_owl_minQualifiedCardinality, _148760, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148760, _148758), iext(uri_owl_onDataRange, _148760, _148756), 4626 ^ _35326 : [(4627 ^ _35326) ^ [] : [-(iodp(_148758))], (4629 ^ _35326) ^ [_149277] : [icext(_148760, _149277), 4635 ^ _35326 : [(4636 ^ _35326) ^ [] : [-(lv(4632 ^ [_148756, _148758, _148760, _149277]))], (4638 ^ _35326) ^ [] : [-(iext(_148758, _149277, 4632 ^ [_148756, _148758, _148760, _149277]))], (4640 ^ _35326) ^ [] : [-(icext(_148756, 4632 ^ [_148756, _148758, _148760, _149277]))], (4642 ^ _35326) ^ [] : [-(lv(4633 ^ [_148756, _148758, _148760, _149277]))], (4644 ^ _35326) ^ [] : [-(iext(_148758, _149277, 4633 ^ [_148756, _148758, _148760, _149277]))], (4646 ^ _35326) ^ [] : [-(icext(_148756, 4633 ^ [_148756, _148758, _148760, _149277]))], (4648 ^ _35326) ^ [] : [-(lv(4634 ^ [_148756, _148758, _148760, _149277]))], (4650 ^ _35326) ^ [] : [-(iext(_148758, _149277, 4634 ^ [_148756, _148758, _148760, _149277]))], (4652 ^ _35326) ^ [] : [-(icext(_148756, 4634 ^ [_148756, _148758, _148760, _149277]))], (4654 ^ _35326) ^ [] : [4632 ^ [_148756, _148758, _148760, _149277] = 4633 ^ [_148756, _148758, _148760, _149277]], (4656 ^ _35326) ^ [] : [4632 ^ [_148756, _148758, _148760, _149277] = 4634 ^ [_148756, _148758, _148760, _149277]], (4658 ^ _35326) ^ [] : [4633 ^ [_148756, _148758, _148760, _149277] = 4634 ^ [_148756, _148758, _148760, _149277]]]], (4660 ^ _35326) ^ [_151054] : [-(icext(_148760, _151054)), 4661 ^ _35326 : [(4662 ^ _35326) ^ [_151260, _151262, _151264] : [lv(_151264), iext(_148758, _151054, _151264), icext(_148756, _151264), lv(_151262), iext(_148758, _151054, _151262), icext(_148756, _151262), lv(_151260), iext(_148758, _151054, _151260), icext(_148756, _151260), -(_151264 = _151262), -(_151264 = _151260), -(_151262 = _151260)]]]]], (4710 ^ _35326) ^ [_152688, _152690, _152692] : [4721 ^ _35326 : [(4722 ^ _35326) ^ [_153000] : [-(icext(_152692, _153000))]], iext(uri_owl_minQualifiedCardinality, _152692, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _152692, _152690), iext(uri_owl_onClass, _152692, _152688)], (4724 ^ _35326) ^ [_153132, _153134, _153136] : [iext(uri_owl_minQualifiedCardinality, _153136, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153136, _153134), iext(uri_owl_onClass, _153136, _153132), 4735 ^ _35326 : [(4736 ^ _35326) ^ [_153506] : [icext(_153136, _153506), 4740 ^ _35326 : [(4741 ^ _35326) ^ [] : [-(iext(_153134, _153506, 4739 ^ [_153132, _153134, _153136, _153506]))], (4743 ^ _35326) ^ [] : [-(icext(_153132, 4739 ^ [_153132, _153134, _153136, _153506]))]]], (4745 ^ _35326) ^ [_153854] : [-(icext(_153136, _153854)), 4746 ^ _35326 : [(4747 ^ _35326) ^ [_153957] : [iext(_153134, _153854, _153957), icext(_153132, _153957)]]]]], (4755 ^ _35326) ^ [_154274, _154276, _154278] : [iext(uri_owl_minQualifiedCardinality, _154278, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154278, _154276), iext(uri_owl_onClass, _154278, _154274), 4766 ^ _35326 : [(4767 ^ _35326) ^ [_154674] : [icext(_154278, _154674), 4772 ^ _35326 : [(4773 ^ _35326) ^ [] : [-(iext(_154276, _154674, 4770 ^ [_154274, _154276, _154278, _154674]))], (4775 ^ _35326) ^ [] : [-(icext(_154274, 4770 ^ [_154274, _154276, _154278, _154674]))], (4777 ^ _35326) ^ [] : [-(iext(_154276, _154674, 4771 ^ [_154274, _154276, _154278, _154674]))], (4779 ^ _35326) ^ [] : [-(icext(_154274, 4771 ^ [_154274, _154276, _154278, _154674]))], (4781 ^ _35326) ^ [] : [4770 ^ [_154274, _154276, _154278, _154674] = 4771 ^ [_154274, _154276, _154278, _154674]]]], (4783 ^ _35326) ^ [_155448] : [-(icext(_154278, _155448)), 4784 ^ _35326 : [(4785 ^ _35326) ^ [_155591, _155593] : [iext(_154276, _155448, _155593), icext(_154274, _155593), iext(_154276, _155448, _155591), icext(_154274, _155591), -(_155593 = _155591)]]]]], (4805 ^ _35326) ^ [_156234, _156236, _156238] : [iext(uri_owl_minQualifiedCardinality, _156238, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156238, _156236), iext(uri_owl_onClass, _156238, _156234), 4816 ^ _35326 : [(4817 ^ _35326) ^ [_156668] : [icext(_156238, _156668), 4823 ^ _35326 : [(4824 ^ _35326) ^ [] : [-(iext(_156236, _156668, 4820 ^ [_156234, _156236, _156238, _156668]))], (4826 ^ _35326) ^ [] : [-(icext(_156234, 4820 ^ [_156234, _156236, _156238, _156668]))], (4828 ^ _35326) ^ [] : [-(iext(_156236, _156668, 4821 ^ [_156234, _156236, _156238, _156668]))], (4830 ^ _35326) ^ [] : [-(icext(_156234, 4821 ^ [_156234, _156236, _156238, _156668]))], (4832 ^ _35326) ^ [] : [-(iext(_156236, _156668, 4822 ^ [_156234, _156236, _156238, _156668]))], (4834 ^ _35326) ^ [] : [-(icext(_156234, 4822 ^ [_156234, _156236, _156238, _156668]))], (4836 ^ _35326) ^ [] : [4820 ^ [_156234, _156236, _156238, _156668] = 4821 ^ [_156234, _156236, _156238, _156668]], (4838 ^ _35326) ^ [] : [4820 ^ [_156234, _156236, _156238, _156668] = 4822 ^ [_156234, _156236, _156238, _156668]], (4840 ^ _35326) ^ [] : [4821 ^ [_156234, _156236, _156238, _156668] = 4822 ^ [_156234, _156236, _156238, _156668]]]], (4842 ^ _35326) ^ [_158106] : [-(icext(_156238, _158106)), 4843 ^ _35326 : [(4844 ^ _35326) ^ [_158297, _158299, _158301] : [iext(_156236, _158106, _158301), icext(_156234, _158301), iext(_156236, _158106, _158299), icext(_156234, _158299), iext(_156236, _158106, _158297), icext(_156234, _158297), -(_158301 = _158299), -(_158301 = _158297), -(_158299 = _158297)]]]]], (4880 ^ _35326) ^ [_159402, _159404, _159406] : [iext(uri_owl_someValuesFrom, _159406, _159402), iext(uri_owl_onProperty, _159406, _159404), 4887 ^ _35326 : [(4888 ^ _35326) ^ [_159681] : [icext(_159406, _159681), 4892 ^ _35326 : [(4893 ^ _35326) ^ [] : [-(iext(_159404, _159681, 4891 ^ [_159402, _159404, _159406, _159681]))], (4895 ^ _35326) ^ [] : [-(icext(_159402, 4891 ^ [_159402, _159404, _159406, _159681]))]]], (4897 ^ _35326) ^ [_160029] : [-(icext(_159406, _160029)), 4898 ^ _35326 : [(4899 ^ _35326) ^ [_160132] : [iext(_159404, _160029, _160132), icext(_159402, _160132)]]]]], (4907 ^ _35326) ^ [_160462, _160464] : [iext(uri_rdfs_domain, _160464, _160462), 4910 ^ _35326 : [(4911 ^ _35326) ^ [] : [-(ip(_160464))], (4913 ^ _35326) ^ [] : [-(ic(_160462))], (4915 ^ _35326) ^ [_160761, _160763] : [iext(_160464, _160763, _160761), -(icext(_160462, _160763))]]], (4921 ^ _35326) ^ [_160950, _160952] : [-(iext(uri_rdfs_domain, _160952, _160950)), ip(_160952), ic(_160950), 4932 ^ _35326 : [(4933 ^ _35326) ^ [] : [-(iext(_160952, 4930 ^ [_160950, _160952], 4931 ^ [_160950, _160952]))], (4935 ^ _35326) ^ [] : [icext(_160950, 4930 ^ [_160950, _160952])]]], (4939 ^ _35326) ^ [_161598, _161600] : [iext(uri_rdfs_range, _161600, _161598), 4942 ^ _35326 : [(4943 ^ _35326) ^ [] : [-(ip(_161600))], (4945 ^ _35326) ^ [] : [-(ip(_161598))], (4947 ^ _35326) ^ [_161897, _161899] : [iext(_161600, _161899, _161897), -(icext(_161598, _161897))]]], (4953 ^ _35326) ^ [_162086, _162088] : [-(iext(uri_rdfs_range, _162088, _162086)), ip(_162088), ip(_162086), 4964 ^ _35326 : [(4965 ^ _35326) ^ [] : [-(iext(_162088, 4962 ^ [_162086, _162088], 4963 ^ [_162086, _162088]))], (4967 ^ _35326) ^ [] : [icext(_162086, 4963 ^ [_162086, _162088])]]], (4971 ^ _35326) ^ [_162727, _162729] : [iext(uri_rdfs_subClassOf, _162729, _162727), 4974 ^ _35326 : [(4975 ^ _35326) ^ [] : [-(ic(_162729))], (4977 ^ _35326) ^ [] : [-(ic(_162727))], (4979 ^ _35326) ^ [_163006] : [icext(_162729, _163006), -(icext(_162727, _163006))]]], (4985 ^ _35326) ^ [_163187, _163189] : [-(iext(uri_rdfs_subClassOf, _163189, _163187)), ic(_163189), ic(_163187), 4995 ^ _35326 : [(4996 ^ _35326) ^ [] : [-(icext(_163189, 4994 ^ [_163187, _163189]))], (4998 ^ _35326) ^ [] : [icext(_163187, 4994 ^ [_163187, _163189])]]], (5002 ^ _35326) ^ [_163749, _163751] : [iext(uri_rdfs_subPropertyOf, _163751, _163749), 5005 ^ _35326 : [(5006 ^ _35326) ^ [] : [-(ip(_163751))], (5008 ^ _35326) ^ [] : [-(ip(_163749))], (5010 ^ _35326) ^ [_164049, _164051] : [iext(_163751, _164051, _164049), -(iext(_163749, _164051, _164049))]]], (5016 ^ _35326) ^ [_164240, _164242] : [-(iext(uri_rdfs_subPropertyOf, _164242, _164240)), ip(_164242), ip(_164240), 5027 ^ _35326 : [(5028 ^ _35326) ^ [] : [-(iext(_164242, 5025 ^ [_164240, _164242], 5026 ^ [_164240, _164242]))], (5030 ^ _35326) ^ [] : [iext(_164240, 5025 ^ [_164240, _164242], 5026 ^ [_164240, _164242])]]], (5034 ^ _35326) ^ [_164899, _164901] : [iext(uri_owl_differentFrom, _164901, _164899), _164901 = _164899], (5040 ^ _35326) ^ [_165064, _165066] : [-(_165066 = _165064), -(iext(uri_owl_differentFrom, _165066, _165064))], (5046 ^ _35326) ^ [_165296] : [iext(uri_owl_disjointUnionOf, _165296, uri_rdf_nil), 5049 ^ _35326 : [(5050 ^ _35326) ^ [] : [-(ic(_165296))], (5052 ^ _35326) ^ [_165479] : [icext(_165296, _165479)]]], (5054 ^ _35326) ^ [_165547] : [-(iext(uri_owl_disjointUnionOf, _165547, uri_rdf_nil)), ic(_165547), -(icext(_165547, 5059 ^ [_165547]))], (5065 ^ _35326) ^ [_165908, _165910, _165912] : [iext(uri_rdf_first, _165910, _165908), iext(uri_rdf_rest, _165910, uri_rdf_nil), 5072 ^ _35326 : [(5073 ^ _35326) ^ [] : [iext(uri_owl_disjointUnionOf, _165912, _165910), 5076 ^ _35326 : [(5077 ^ _35326) ^ [] : [-(ic(_165912))], (5079 ^ _35326) ^ [] : [-(ic(_165908))], (5081 ^ _35326) ^ [_166439] : [icext(_165912, _166439), -(icext(_165908, _166439))], (5087 ^ _35326) ^ [_166619] : [icext(_165908, _166619), -(icext(_165912, _166619))]]], (5093 ^ _35326) ^ [] : [-(iext(uri_owl_disjointUnionOf, _165912, _165910)), ic(_165912), ic(_165908), 5105 ^ _35326 : [(5106 ^ _35326) ^ [] : [-(icext(_165912, 5102 ^ [_165908, _165910, _165912]))], (5108 ^ _35326) ^ [] : [icext(_165908, 5102 ^ [_165908, _165910, _165912])]], 5109 ^ _35326 : [(5110 ^ _35326) ^ [] : [-(icext(_165908, 5102 ^ [_165908, _165910, _165912]))], (5112 ^ _35326) ^ [] : [icext(_165912, 5102 ^ [_165908, _165910, _165912])]]]]], (5116 ^ _35326) ^ [_167546, _167548, _167550, _167552, _167554] : [iext(uri_rdf_first, _167552, _167550), iext(uri_rdf_rest, _167552, _167548), iext(uri_rdf_first, _167548, _167546), iext(uri_rdf_rest, _167548, uri_rdf_nil), 5131 ^ _35326 : [(5172 ^ _35326) ^ [] : [-(iext(uri_owl_disjointUnionOf, _167554, _167552)), ic(_167554), ic(_167550), ic(_167546), 5188 ^ _35326 : [(5189 ^ _35326) ^ [] : [-(icext(_167554, 5185 ^ [_167546, _167548, _167550, _167552, _167554]))], (5191 ^ _35326) ^ [] : [5192 ^ _35326 : [(5193 ^ _35326) ^ [] : [icext(_167550, 5185 ^ [_167546, _167548, _167550, _167552, _167554])], (5195 ^ _35326) ^ [] : [icext(_167546, 5185 ^ [_167546, _167548, _167550, _167552, _167554])]], 5196 ^ _35326 : [(5197 ^ _35326) ^ [] : [-(icext(_167550, 5185 ^ [_167546, _167548, _167550, _167552, _167554]))], (5199 ^ _35326) ^ [] : [-(icext(_167546, 5185 ^ [_167546, _167548, _167550, _167552, _167554]))]]]], 5200 ^ _35326 : [(5213 ^ _35326) ^ [] : [icext(_167554, 5185 ^ [_167546, _167548, _167550, _167552, _167554])], (5201 ^ _35326) ^ [] : [-(icext(_167550, 5185 ^ [_167546, _167548, _167550, _167552, _167554])), -(icext(_167546, 5185 ^ [_167546, _167548, _167550, _167552, _167554]))], (5207 ^ _35326) ^ [] : [icext(_167550, 5185 ^ [_167546, _167548, _167550, _167552, _167554]), icext(_167546, 5185 ^ [_167546, _167548, _167550, _167552, _167554])]]], (5132 ^ _35326) ^ [] : [iext(uri_owl_disjointUnionOf, _167554, _167552), 5135 ^ _35326 : [(5136 ^ _35326) ^ [] : [-(ic(_167554))], (5138 ^ _35326) ^ [] : [-(ic(_167550))], (5140 ^ _35326) ^ [] : [-(ic(_167546))], (5158 ^ _35326) ^ [_168902] : [-(icext(_167554, _168902)), 5161 ^ _35326 : [(5162 ^ _35326) ^ [] : [icext(_167550, _168902)], (5164 ^ _35326) ^ [] : [icext(_167546, _168902)]], 5165 ^ _35326 : [(5166 ^ _35326) ^ [] : [-(icext(_167550, _168902))], (5168 ^ _35326) ^ [] : [-(icext(_167546, _168902))]]], (5142 ^ _35326) ^ [_168411] : [icext(_167554, _168411), 5145 ^ _35326 : [(5146 ^ _35326) ^ [] : [-(icext(_167550, _168411)), -(icext(_167546, _168411))], (5152 ^ _35326) ^ [] : [icext(_167550, _168411), icext(_167546, _168411)]]]]]]], (5217 ^ _35326) ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933] : [iext(uri_rdf_first, _170931, _170929), iext(uri_rdf_rest, _170931, _170927), iext(uri_rdf_first, _170927, _170925), iext(uri_rdf_rest, _170927, _170923), iext(uri_rdf_first, _170923, _170921), iext(uri_rdf_rest, _170923, uri_rdf_nil), 5240 ^ _35326 : [(5313 ^ _35326) ^ [] : [-(iext(uri_owl_disjointUnionOf, _170933, _170931)), ic(_170933), ic(_170929), ic(_170925), ic(_170921), 5333 ^ _35326 : [(5334 ^ _35326) ^ [] : [-(icext(_170933, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))], (5336 ^ _35326) ^ [] : [5337 ^ _35326 : [(5338 ^ _35326) ^ [] : [icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])], (5340 ^ _35326) ^ [] : [icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])], (5342 ^ _35326) ^ [] : [icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])]], 5345 ^ _35326 : [(5346 ^ _35326) ^ [] : [-(icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))], (5348 ^ _35326) ^ [] : [-(icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))]], 5351 ^ _35326 : [(5352 ^ _35326) ^ [] : [-(icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))], (5354 ^ _35326) ^ [] : [-(icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))]], 5355 ^ _35326 : [(5356 ^ _35326) ^ [] : [-(icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))], (5358 ^ _35326) ^ [] : [-(icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))]]]], 5359 ^ _35326 : [(5388 ^ _35326) ^ [] : [icext(_170933, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])], (5360 ^ _35326) ^ [] : [-(icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])), -(icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])), -(icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]))], (5370 ^ _35326) ^ [] : [icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]), icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])], (5376 ^ _35326) ^ [] : [icext(_170929, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]), icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])], (5382 ^ _35326) ^ [] : [icext(_170925, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933]), icext(_170921, 5330 ^ [_170921, _170923, _170925, _170927, _170929, _170931, _170933])]]], (5241 ^ _35326) ^ [] : [iext(uri_owl_disjointUnionOf, _170933, _170931), 5244 ^ _35326 : [(5245 ^ _35326) ^ [] : [-(ic(_170933))], (5247 ^ _35326) ^ [] : [-(ic(_170929))], (5249 ^ _35326) ^ [] : [-(ic(_170925))], (5251 ^ _35326) ^ [] : [-(ic(_170921))], (5285 ^ _35326) ^ [_173215] : [-(icext(_170933, _173215)), 5288 ^ _35326 : [(5289 ^ _35326) ^ [] : [icext(_170929, _173215)], (5291 ^ _35326) ^ [] : [icext(_170925, _173215)], (5293 ^ _35326) ^ [] : [icext(_170921, _173215)]], 5296 ^ _35326 : [(5297 ^ _35326) ^ [] : [-(icext(_170929, _173215))], (5299 ^ _35326) ^ [] : [-(icext(_170925, _173215))]], 5302 ^ _35326 : [(5303 ^ _35326) ^ [] : [-(icext(_170929, _173215))], (5305 ^ _35326) ^ [] : [-(icext(_170921, _173215))]], 5306 ^ _35326 : [(5307 ^ _35326) ^ [] : [-(icext(_170925, _173215))], (5309 ^ _35326) ^ [] : [-(icext(_170921, _173215))]]], (5253 ^ _35326) ^ [_172174] : [icext(_170933, _172174), 5256 ^ _35326 : [(5257 ^ _35326) ^ [] : [-(icext(_170929, _172174)), -(icext(_170925, _172174)), -(icext(_170921, _172174))], (5267 ^ _35326) ^ [] : [icext(_170929, _172174), icext(_170925, _172174)], (5273 ^ _35326) ^ [] : [icext(_170929, _172174), icext(_170921, _172174)], (5279 ^ _35326) ^ [] : [icext(_170925, _172174), icext(_170921, _172174)]]]]]]], (5392 ^ _35326) ^ [_177071, _177073] : [iext(uri_owl_disjointWith, _177073, _177071), 5395 ^ _35326 : [(5396 ^ _35326) ^ [] : [-(ic(_177073))], (5398 ^ _35326) ^ [] : [-(ic(_177071))], (5400 ^ _35326) ^ [_177352] : [icext(_177073, _177352), icext(_177071, _177352)]]], (5406 ^ _35326) ^ [_177532, _177534] : [-(iext(uri_owl_disjointWith, _177534, _177532)), ic(_177534), ic(_177532), 5416 ^ _35326 : [(5417 ^ _35326) ^ [] : [-(icext(_177534, 5415 ^ [_177532, _177534]))], (5419 ^ _35326) ^ [] : [-(icext(_177532, 5415 ^ [_177532, _177534]))]]], (5423 ^ _35326) ^ [_178099, _178101] : [iext(uri_owl_equivalentClass, _178101, _178099), 5426 ^ _35326 : [(5427 ^ _35326) ^ [] : [-(ic(_178101))], (5429 ^ _35326) ^ [] : [-(ic(_178099))], (5431 ^ _35326) ^ [_178407] : [icext(_178101, _178407), -(icext(_178099, _178407))], (5437 ^ _35326) ^ [_178579] : [icext(_178099, _178579), -(icext(_178101, _178579))]]], (5443 ^ _35326) ^ [_178762, _178764] : [-(iext(uri_owl_equivalentClass, _178764, _178762)), ic(_178764), ic(_178762), 5455 ^ _35326 : [(5456 ^ _35326) ^ [] : [-(icext(_178764, 5452 ^ [_178762, _178764]))], (5458 ^ _35326) ^ [] : [icext(_178762, 5452 ^ [_178762, _178764])]], 5459 ^ _35326 : [(5460 ^ _35326) ^ [] : [-(icext(_178762, 5452 ^ [_178762, _178764]))], (5462 ^ _35326) ^ [] : [icext(_178764, 5452 ^ [_178762, _178764])]]], (5466 ^ _35326) ^ [_179499, _179501] : [iext(uri_owl_equivalentProperty, _179501, _179499), 5469 ^ _35326 : [(5470 ^ _35326) ^ [] : [-(ip(_179501))], (5472 ^ _35326) ^ [] : [-(ip(_179499))], (5474 ^ _35326) ^ [_179828, _179830] : [iext(_179501, _179830, _179828), -(iext(_179499, _179830, _179828))], (5480 ^ _35326) ^ [_180010, _180012] : [iext(_179499, _180012, _180010), -(iext(_179501, _180012, _180010))]]], (5486 ^ _35326) ^ [_180203, _180205] : [-(iext(uri_owl_equivalentProperty, _180205, _180203)), ip(_180205), ip(_180203), 5499 ^ _35326 : [(5500 ^ _35326) ^ [] : [-(iext(_180205, 5495 ^ [_180203, _180205], 5496 ^ [_180203, _180205]))], (5502 ^ _35326) ^ [] : [iext(_180203, 5495 ^ [_180203, _180205], 5496 ^ [_180203, _180205])]], 5503 ^ _35326 : [(5504 ^ _35326) ^ [] : [-(iext(_180203, 5495 ^ [_180203, _180205], 5496 ^ [_180203, _180205]))], (5506 ^ _35326) ^ [] : [iext(_180205, 5495 ^ [_180203, _180205], 5496 ^ [_180203, _180205])]]], (5510 ^ _35326) ^ [_181053, _181055] : [iext(uri_owl_propertyDisjointWith, _181055, _181053), 5513 ^ _35326 : [(5514 ^ _35326) ^ [] : [-(ip(_181055))], (5516 ^ _35326) ^ [] : [-(ip(_181053))], (5518 ^ _35326) ^ [_181355, _181357] : [iext(_181055, _181357, _181355), iext(_181053, _181357, _181355)]]], (5524 ^ _35326) ^ [_181545, _181547] : [-(iext(uri_owl_propertyDisjointWith, _181547, _181545)), ip(_181547), ip(_181545), 5535 ^ _35326 : [(5536 ^ _35326) ^ [] : [-(iext(_181547, 5533 ^ [_181545, _181547], 5534 ^ [_181545, _181547]))], (5538 ^ _35326) ^ [] : [-(iext(_181545, 5533 ^ [_181545, _181547], 5534 ^ [_181545, _181547]))]]], (5542 ^ _35326) ^ [_182211, _182213] : [iext(uri_owl_sameAs, _182213, _182211), -(_182213 = _182211)], (5548 ^ _35326) ^ [_182375, _182377] : [_182377 = _182375, -(iext(uri_owl_sameAs, _182377, _182375))], (5555 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35326) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35326) ^ [_182741, _182743] : [5567 ^ _35326 : [(5568 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_182741, _182743]))], (5570 ^ _35326) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_182741, _182743], _182743))]], iext(uri_rdf_first, _182743, _182741), iext(uri_rdf_rest, _182743, uri_rdf_nil)], (5572 ^ _35326) ^ [_183220, _183222, _183224, _183226] : [5592 ^ _35326 : [(5593 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_183220, _183222, _183224, _183226]))], (5595 ^ _35326) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_183220, _183222, _183224, _183226], _183226))]], iext(uri_rdf_first, _183226, _183224), iext(uri_rdf_rest, _183226, _183222), iext(uri_rdf_first, _183222, _183220), iext(uri_rdf_rest, _183222, uri_rdf_nil), -(_183224 = _183220)], (5597 ^ _35326) ^ [_184065, _184067, _184069, _184071, _184073, _184075] : [5633 ^ _35326 : [(5634 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_184065, _184067, _184069, _184071, _184073, _184075]))], (5636 ^ _35326) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_184065, _184067, _184069, _184071, _184073, _184075], _184075))]], iext(uri_rdf_first, _184075, _184073), iext(uri_rdf_rest, _184075, _184071), iext(uri_rdf_first, _184071, _184069), iext(uri_rdf_rest, _184071, _184067), iext(uri_rdf_first, _184067, _184065), iext(uri_rdf_rest, _184067, uri_rdf_nil), -(_184073 = _184069), -(_184073 = _184065), -(_184069 = _184065)], (5638 ^ _35326) ^ [] : [-(tautology), tautology], (5644 ^ _35326) ^ [] : [-(tautology), tautology], (5650 ^ _35326) ^ [_185628, _185630, _185632, _185634, _185636] : [_185632 = _185628, iext(uri_rdf_first, _185634, _185632), iext(uri_rdf_rest, _185634, _185630), iext(uri_rdf_first, _185630, _185628), iext(uri_rdf_rest, _185630, uri_rdf_nil), icext(uri_owl_AllDifferent, _185636), iext(uri_owl_distinctMembers, _185636, _185634)], (5676 ^ _35326) ^ [_186442, _186444, _186446, _186448, _186450, _186452, _186454] : [5707 ^ _35326 : [(5708 ^ _35326) ^ [] : [_186450 = _186446], (5710 ^ _35326) ^ [] : [_186450 = _186442], (5712 ^ _35326) ^ [] : [_186446 = _186442]], iext(uri_rdf_first, _186452, _186450), iext(uri_rdf_rest, _186452, _186448), iext(uri_rdf_first, _186448, _186446), iext(uri_rdf_rest, _186448, _186444), iext(uri_rdf_first, _186444, _186442), iext(uri_rdf_rest, _186444, uri_rdf_nil), icext(uri_owl_AllDifferent, _186454), iext(uri_owl_distinctMembers, _186454, _186452)], (5715 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35326) ^ [_187783, _187785] : [5727 ^ _35326 : [(5728 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_187783, _187785]))], (5730 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_187783, _187785], _187785))]], iext(uri_rdf_first, _187785, _187783), iext(uri_rdf_rest, _187785, uri_rdf_nil)], (5732 ^ _35326) ^ [_188262, _188264, _188266, _188268] : [5752 ^ _35326 : [(5753 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_188262, _188264, _188266, _188268]))], (5755 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_188262, _188264, _188266, _188268], _188268))]], iext(uri_rdf_first, _188268, _188266), iext(uri_rdf_rest, _188268, _188264), iext(uri_rdf_first, _188264, _188262), iext(uri_rdf_rest, _188264, uri_rdf_nil), -(_188266 = _188262)], (5757 ^ _35326) ^ [_189107, _189109, _189111, _189113, _189115, _189117] : [5793 ^ _35326 : [(5794 ^ _35326) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_189107, _189109, _189111, _189113, _189115, _189117]))], (5796 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_189107, _189109, _189111, _189113, _189115, _189117], _189117))]], iext(uri_rdf_first, _189117, _189115), iext(uri_rdf_rest, _189117, _189113), iext(uri_rdf_first, _189113, _189111), iext(uri_rdf_rest, _189113, _189109), iext(uri_rdf_first, _189109, _189107), iext(uri_rdf_rest, _189109, uri_rdf_nil), -(_189115 = _189111), -(_189115 = _189107), -(_189111 = _189107)], (5798 ^ _35326) ^ [] : [-(tautology), tautology], (5804 ^ _35326) ^ [] : [-(tautology), tautology], (5810 ^ _35326) ^ [_190670, _190672, _190674, _190676, _190678] : [_190674 = _190670, iext(uri_rdf_first, _190676, _190674), iext(uri_rdf_rest, _190676, _190672), iext(uri_rdf_first, _190672, _190670), iext(uri_rdf_rest, _190672, uri_rdf_nil), icext(uri_owl_AllDifferent, _190678), iext(uri_owl_members, _190678, _190676)], (5836 ^ _35326) ^ [_191484, _191486, _191488, _191490, _191492, _191494, _191496] : [5867 ^ _35326 : [(5868 ^ _35326) ^ [] : [_191492 = _191488], (5870 ^ _35326) ^ [] : [_191492 = _191484], (5872 ^ _35326) ^ [] : [_191488 = _191484]], iext(uri_rdf_first, _191494, _191492), iext(uri_rdf_rest, _191494, _191490), iext(uri_rdf_first, _191490, _191488), iext(uri_rdf_rest, _191490, _191486), iext(uri_rdf_first, _191486, _191484), iext(uri_rdf_rest, _191486, uri_rdf_nil), icext(uri_owl_AllDifferent, _191496), iext(uri_owl_members, _191496, _191494)], (5875 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35326) ^ [_192825, _192827] : [5887 ^ _35326 : [(5888 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_192825, _192827]))], (5890 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_192825, _192827], _192827))]], iext(uri_rdf_first, _192827, _192825), iext(uri_rdf_rest, _192827, uri_rdf_nil)], (5892 ^ _35326) ^ [_193304, _193306, _193308, _193310] : [5915 ^ _35326 : [(5916 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_193304, _193306, _193308, _193310]))], (5918 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_193304, _193306, _193308, _193310], _193310))]], iext(uri_rdf_first, _193310, _193308), iext(uri_rdf_rest, _193310, _193306), iext(uri_rdf_first, _193306, _193304), iext(uri_rdf_rest, _193306, uri_rdf_nil), 5910 ^ _35326 : [(5911 ^ _35326) ^ [] : [-(icext(_193308, 5909 ^ [_193304, _193306, _193308, _193310]))], (5913 ^ _35326) ^ [] : [-(icext(_193304, 5909 ^ [_193304, _193306, _193308, _193310]))]]], (5920 ^ _35326) ^ [_194316, _194318, _194320, _194322, _194324, _194326] : [5965 ^ _35326 : [(5966 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))], (5968 ^ _35326) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_194316, _194318, _194320, _194322, _194324, _194326], _194326))]], iext(uri_rdf_first, _194326, _194324), iext(uri_rdf_rest, _194326, _194322), iext(uri_rdf_first, _194322, _194320), iext(uri_rdf_rest, _194322, _194318), iext(uri_rdf_first, _194318, _194316), iext(uri_rdf_rest, _194318, uri_rdf_nil), 5948 ^ _35326 : [(5949 ^ _35326) ^ [] : [-(icext(_194324, 5947 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))], (5951 ^ _35326) ^ [] : [-(icext(_194320, 5947 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))]], 5955 ^ _35326 : [(5956 ^ _35326) ^ [] : [-(icext(_194324, 5954 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))], (5958 ^ _35326) ^ [] : [-(icext(_194316, 5954 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))]], 5960 ^ _35326 : [(5961 ^ _35326) ^ [] : [-(icext(_194320, 5959 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))], (5963 ^ _35326) ^ [] : [-(icext(_194316, 5959 ^ [_194316, _194318, _194320, _194322, _194324, _194326]))]]], (5970 ^ _35326) ^ [] : [-(tautology), tautology], (5976 ^ _35326) ^ [] : [-(tautology), tautology], (5982 ^ _35326) ^ [_196440, _196442, _196444, _196446, _196448] : [6005 ^ _35326 : [(6006 ^ _35326) ^ [_197106] : [icext(_196444, _197106), icext(_196440, _197106)]], iext(uri_rdf_first, _196446, _196444), iext(uri_rdf_rest, _196446, _196442), iext(uri_rdf_first, _196442, _196440), iext(uri_rdf_rest, _196442, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _196448), iext(uri_owl_members, _196448, _196446)], (6012 ^ _35326) ^ [_197424, _197426, _197428, _197430, _197432, _197434, _197436] : [iext(uri_rdf_first, _197434, _197432), iext(uri_rdf_rest, _197434, _197430), iext(uri_rdf_first, _197430, _197428), iext(uri_rdf_rest, _197430, _197426), iext(uri_rdf_first, _197426, _197424), iext(uri_rdf_rest, _197426, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _197436), iext(uri_owl_members, _197436, _197434), 6043 ^ _35326 : [(6044 ^ _35326) ^ [_198418] : [icext(_197432, _198418), icext(_197428, _198418)], (6050 ^ _35326) ^ [_198663] : [icext(_197432, _198663), icext(_197424, _198663)], (6056 ^ _35326) ^ [_198888] : [icext(_197428, _198888), icext(_197424, _198888)]]], (6063 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35326) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35326) ^ [_199322, _199324] : [6075 ^ _35326 : [(6076 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_199322, _199324]))], (6078 ^ _35326) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_199322, _199324], _199324))]], iext(uri_rdf_first, _199324, _199322), iext(uri_rdf_rest, _199324, uri_rdf_nil)], (6080 ^ _35326) ^ [_199801, _199803, _199805, _199807] : [6104 ^ _35326 : [(6105 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_199801, _199803, _199805, _199807]))], (6107 ^ _35326) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_199801, _199803, _199805, _199807], _199807))]], iext(uri_rdf_first, _199807, _199805), iext(uri_rdf_rest, _199807, _199803), iext(uri_rdf_first, _199803, _199801), iext(uri_rdf_rest, _199803, uri_rdf_nil), 6099 ^ _35326 : [(6100 ^ _35326) ^ [] : [-(iext(_199805, 6097 ^ [_199801, _199803, _199805, _199807], 6098 ^ [_199801, _199803, _199805, _199807]))], (6102 ^ _35326) ^ [] : [-(iext(_199801, 6097 ^ [_199801, _199803, _199805, _199807], 6098 ^ [_199801, _199803, _199805, _199807]))]]], (6109 ^ _35326) ^ [_200936, _200938, _200940, _200942, _200944, _200946] : [6157 ^ _35326 : [(6158 ^ _35326) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))], (6160 ^ _35326) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_200936, _200938, _200940, _200942, _200944, _200946], _200946))]], iext(uri_rdf_first, _200946, _200944), iext(uri_rdf_rest, _200946, _200942), iext(uri_rdf_first, _200942, _200940), iext(uri_rdf_rest, _200942, _200938), iext(uri_rdf_first, _200938, _200936), iext(uri_rdf_rest, _200938, uri_rdf_nil), 6138 ^ _35326 : [(6139 ^ _35326) ^ [] : [-(iext(_200944, 6136 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6137 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))], (6141 ^ _35326) ^ [] : [-(iext(_200940, 6136 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6137 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))]], 6146 ^ _35326 : [(6147 ^ _35326) ^ [] : [-(iext(_200944, 6144 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6145 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))], (6149 ^ _35326) ^ [] : [-(iext(_200936, 6144 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6145 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))]], 6152 ^ _35326 : [(6153 ^ _35326) ^ [] : [-(iext(_200940, 6150 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6151 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))], (6155 ^ _35326) ^ [] : [-(iext(_200936, 6150 ^ [_200936, _200938, _200940, _200942, _200944, _200946], 6151 ^ [_200936, _200938, _200940, _200942, _200944, _200946]))]]], (6162 ^ _35326) ^ [] : [-(tautology), tautology], (6168 ^ _35326) ^ [] : [-(tautology), tautology], (6174 ^ _35326) ^ [_203501, _203503, _203505, _203507, _203509] : [6197 ^ _35326 : [(6198 ^ _35326) ^ [_204188, _204190] : [iext(_203505, _204190, _204188), iext(_203501, _204190, _204188)]], iext(uri_rdf_first, _203507, _203505), iext(uri_rdf_rest, _203507, _203503), iext(uri_rdf_first, _203503, _203501), iext(uri_rdf_rest, _203503, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _203509), iext(uri_owl_members, _203509, _203507)], (6204 ^ _35326) ^ [_204516, _204518, _204520, _204522, _204524, _204526, _204528] : [iext(uri_rdf_first, _204526, _204524), iext(uri_rdf_rest, _204526, _204522), iext(uri_rdf_first, _204522, _204520), iext(uri_rdf_rest, _204522, _204518), iext(uri_rdf_first, _204518, _204516), iext(uri_rdf_rest, _204518, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _204528), iext(uri_owl_members, _204528, _204526), 6235 ^ _35326 : [(6236 ^ _35326) ^ [_205545, _205547] : [iext(_204524, _205547, _205545), iext(_204520, _205547, _205545)], (6242 ^ _35326) ^ [_205814, _205816] : [iext(_204524, _205816, _205814), iext(_204516, _205816, _205814)], (6248 ^ _35326) ^ [_206063, _206065] : [iext(_204520, _206065, _206063), iext(_204516, _206065, _206063)]]], (6254 ^ _35326) ^ [_206370] : [iext(uri_owl_propertyChainAxiom, _206370, uri_rdf_nil), 6257 ^ _35326 : [(6258 ^ _35326) ^ [] : [-(ip(_206370))], (6260 ^ _35326) ^ [_206553] : [-(iext(_206370, _206553, _206553))]]], (6262 ^ _35326) ^ [_206622] : [-(iext(uri_owl_propertyChainAxiom, _206622, uri_rdf_nil)), ip(_206622), iext(_206622, 6267 ^ [_206622], 6267 ^ [_206622])], (6273 ^ _35326) ^ [_206986, _206988, _206990] : [iext(uri_rdf_first, _206988, _206986), iext(uri_rdf_rest, _206988, uri_rdf_nil), 6280 ^ _35326 : [(6281 ^ _35326) ^ [] : [iext(uri_owl_propertyChainAxiom, _206990, _206988), 6284 ^ _35326 : [(6285 ^ _35326) ^ [] : [-(ip(_206990))], (6287 ^ _35326) ^ [] : [-(ip(_206986))], (6289 ^ _35326) ^ [_207509, _207511] : [iext(_206986, _207511, _207509), -(iext(_206990, _207511, _207509))]]], (6295 ^ _35326) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _206990, _206988)), ip(_206990), ip(_206986), 6306 ^ _35326 : [(6307 ^ _35326) ^ [] : [-(iext(_206986, 6304 ^ [_206986, _206988, _206990], 6305 ^ [_206986, _206988, _206990]))], (6309 ^ _35326) ^ [] : [iext(_206990, 6304 ^ [_206986, _206988, _206990], 6305 ^ [_206986, _206988, _206990])]]]]], (6313 ^ _35326) ^ [_208361, _208363, _208365, _208367, _208369] : [iext(uri_rdf_first, _208367, _208365), iext(uri_rdf_rest, _208367, _208363), iext(uri_rdf_first, _208363, _208361), iext(uri_rdf_rest, _208363, uri_rdf_nil), 6328 ^ _35326 : [(6329 ^ _35326) ^ [] : [iext(uri_owl_propertyChainAxiom, _208369, _208367), 6332 ^ _35326 : [(6333 ^ _35326) ^ [] : [-(ip(_208369))], (6335 ^ _35326) ^ [] : [-(ip(_208365))], (6337 ^ _35326) ^ [] : [-(ip(_208361))], (6339 ^ _35326) ^ [_209224, _209226, _209228] : [-(iext(_208369, _209228, _209224)), iext(_208365, _209228, _209226), iext(_208361, _209226, _209224)]]], (6349 ^ _35326) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _208369, _208367)), ip(_208369), ip(_208365), ip(_208361), 6365 ^ _35326 : [(6366 ^ _35326) ^ [] : [-(iext(_208365, 6362 ^ [_208361, _208363, _208365, _208367, _208369], 6363 ^ [_208361, _208363, _208365, _208367, _208369]))], (6368 ^ _35326) ^ [] : [-(iext(_208361, 6363 ^ [_208361, _208363, _208365, _208367, _208369], 6364 ^ [_208361, _208363, _208365, _208367, _208369]))], (6370 ^ _35326) ^ [] : [iext(_208369, 6362 ^ [_208361, _208363, _208365, _208367, _208369], 6364 ^ [_208361, _208363, _208365, _208367, _208369])]]]]], (6374 ^ _35326) ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676] : [iext(uri_rdf_first, _210674, _210672), iext(uri_rdf_rest, _210674, _210670), iext(uri_rdf_first, _210670, _210668), iext(uri_rdf_rest, _210670, _210666), iext(uri_rdf_first, _210666, _210664), iext(uri_rdf_rest, _210666, uri_rdf_nil), 6397 ^ _35326 : [(6398 ^ _35326) ^ [] : [iext(uri_owl_propertyChainAxiom, _210676, _210674), 6401 ^ _35326 : [(6402 ^ _35326) ^ [] : [-(ip(_210676))], (6404 ^ _35326) ^ [] : [-(ip(_210672))], (6406 ^ _35326) ^ [] : [-(ip(_210668))], (6408 ^ _35326) ^ [] : [-(ip(_210664))], (6410 ^ _35326) ^ [_211907, _211909, _211911, _211913] : [-(iext(_210676, _211913, _211907)), iext(_210672, _211913, _211911), iext(_210668, _211911, _211909), iext(_210664, _211909, _211907)]]], (6424 ^ _35326) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _210676, _210674)), ip(_210676), ip(_210672), ip(_210668), ip(_210664), 6445 ^ _35326 : [(6446 ^ _35326) ^ [] : [-(iext(_210672, 6441 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676], 6442 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676]))], (6448 ^ _35326) ^ [] : [-(iext(_210668, 6442 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676], 6443 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676]))], (6450 ^ _35326) ^ [] : [-(iext(_210664, 6443 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676], 6444 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676]))], (6452 ^ _35326) ^ [] : [iext(_210676, 6441 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676], 6444 ^ [_210664, _210666, _210668, _210670, _210672, _210674, _210676])]]]]], (6456 ^ _35326) ^ [_214031, _214033] : [iext(uri_owl_inverseOf, _214033, _214031), 6459 ^ _35326 : [(6460 ^ _35326) ^ [] : [-(ip(_214033))], (6462 ^ _35326) ^ [] : [-(ip(_214031))], (6464 ^ _35326) ^ [_214360, _214362] : [iext(_214033, _214362, _214360), -(iext(_214031, _214360, _214362))], (6470 ^ _35326) ^ [_214542, _214544] : [iext(_214031, _214542, _214544), -(iext(_214033, _214544, _214542))]]], (6476 ^ _35326) ^ [_214735, _214737] : [-(iext(uri_owl_inverseOf, _214737, _214735)), ip(_214737), ip(_214735), 6489 ^ _35326 : [(6490 ^ _35326) ^ [] : [-(iext(_214737, 6485 ^ [_214735, _214737], 6486 ^ [_214735, _214737]))], (6492 ^ _35326) ^ [] : [iext(_214735, 6486 ^ [_214735, _214737], 6485 ^ [_214735, _214737])]], 6493 ^ _35326 : [(6494 ^ _35326) ^ [] : [-(iext(_214735, 6486 ^ [_214735, _214737], 6485 ^ [_214735, _214737]))], (6496 ^ _35326) ^ [] : [iext(_214737, 6485 ^ [_214735, _214737], 6486 ^ [_214735, _214737])]]], (6500 ^ _35326) ^ [_215571] : [icext(uri_owl_AsymmetricProperty, _215571), 6503 ^ _35326 : [(6504 ^ _35326) ^ [] : [-(ip(_215571))], (6506 ^ _35326) ^ [_215795, _215797] : [iext(_215571, _215797, _215795), iext(_215571, _215795, _215797)]]], (6512 ^ _35326) ^ [_215977] : [-(icext(uri_owl_AsymmetricProperty, _215977)), ip(_215977), 6519 ^ _35326 : [(6520 ^ _35326) ^ [] : [-(iext(_215977, 6517 ^ [_215977], 6518 ^ [_215977]))], (6522 ^ _35326) ^ [] : [-(iext(_215977, 6518 ^ [_215977], 6517 ^ [_215977]))]]], (6542 ^ _35326) ^ [_217039] : [-(icext(uri_owl_FunctionalProperty, _217039)), ip(_217039), 6550 ^ _35326 : [(6551 ^ _35326) ^ [] : [-(iext(_217039, 6547 ^ [_217039], 6548 ^ [_217039]))], (6553 ^ _35326) ^ [] : [-(iext(_217039, 6547 ^ [_217039], 6549 ^ [_217039]))], (6555 ^ _35326) ^ [] : [6548 ^ [_217039] = 6549 ^ [_217039]]]], (6526 ^ _35326) ^ [_216508] : [icext(uri_owl_FunctionalProperty, _216508), 6529 ^ _35326 : [(6530 ^ _35326) ^ [] : [-(ip(_216508))], (6532 ^ _35326) ^ [_216755, _216757, _216759] : [-(_216757 = _216755), iext(_216508, _216759, _216757), iext(_216508, _216759, _216755)]]], (6575 ^ _35326) ^ [_218280] : [-(icext(uri_owl_InverseFunctionalProperty, _218280)), ip(_218280), 6583 ^ _35326 : [(6584 ^ _35326) ^ [] : [-(iext(_218280, 6580 ^ [_218280], 6582 ^ [_218280]))], (6586 ^ _35326) ^ [] : [-(iext(_218280, 6581 ^ [_218280], 6582 ^ [_218280]))], (6588 ^ _35326) ^ [] : [6580 ^ [_218280] = 6581 ^ [_218280]]]], (6559 ^ _35326) ^ [_217749] : [icext(uri_owl_InverseFunctionalProperty, _217749), 6562 ^ _35326 : [(6563 ^ _35326) ^ [] : [-(ip(_217749))], (6565 ^ _35326) ^ [_217996, _217998, _218000] : [-(_218000 = _217998), iext(_217749, _218000, _217996), iext(_217749, _217998, _217996)]]], (6592 ^ _35326) ^ [_218990] : [icext(uri_owl_IrreflexiveReflexiveProperty, _218990), 6595 ^ _35326 : [(6596 ^ _35326) ^ [] : [-(ip(_218990))], (6598 ^ _35326) ^ [_219172] : [iext(_218990, _219172, _219172)]]], (6600 ^ _35326) ^ [_219241] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _219241)), ip(_219241), -(iext(_219241, 6605 ^ [_219241], 6605 ^ [_219241]))], (6611 ^ _35326) ^ [_219609] : [icext(uri_owl_ReflexiveProperty, _219609), 6614 ^ _35326 : [(6615 ^ _35326) ^ [] : [-(ip(_219609))], (6617 ^ _35326) ^ [_219790] : [-(iext(_219609, _219790, _219790))]]], (6619 ^ _35326) ^ [_219859] : [-(icext(uri_owl_ReflexiveProperty, _219859)), ip(_219859), iext(_219859, 6624 ^ [_219859], 6624 ^ [_219859])], (6630 ^ _35326) ^ [_220222] : [icext(uri_owl_SymmetricProperty, _220222), 6633 ^ _35326 : [(6634 ^ _35326) ^ [] : [-(ip(_220222))], (6636 ^ _35326) ^ [_220444, _220446] : [iext(_220222, _220446, _220444), -(iext(_220222, _220444, _220446))]]], (6642 ^ _35326) ^ [_220625] : [-(icext(uri_owl_SymmetricProperty, _220625)), ip(_220625), 6649 ^ _35326 : [(6650 ^ _35326) ^ [] : [-(iext(_220625, 6647 ^ [_220625], 6648 ^ [_220625]))], (6652 ^ _35326) ^ [] : [iext(_220625, 6648 ^ [_220625], 6647 ^ [_220625])]]], (6672 ^ _35326) ^ [_221683] : [-(icext(uri_owl_TransitiveProperty, _221683)), ip(_221683), 6680 ^ _35326 : [(6681 ^ _35326) ^ [] : [-(iext(_221683, 6677 ^ [_221683], 6678 ^ [_221683]))], (6683 ^ _35326) ^ [] : [-(iext(_221683, 6678 ^ [_221683], 6679 ^ [_221683]))], (6685 ^ _35326) ^ [] : [iext(_221683, 6677 ^ [_221683], 6679 ^ [_221683])]]], (6656 ^ _35326) ^ [_221149] : [icext(uri_owl_TransitiveProperty, _221149), 6659 ^ _35326 : [(6660 ^ _35326) ^ [] : [-(ip(_221149))], (6662 ^ _35326) ^ [_221397, _221399, _221401] : [-(iext(_221149, _221401, _221397)), iext(_221149, _221401, _221399), iext(_221149, _221399, _221397)]]], (6705 ^ _35326) ^ [_222896] : [-(iext(uri_owl_hasKey, _222896, uri_rdf_nil)), ic(_222896), 6712 ^ _35326 : [(6713 ^ _35326) ^ [] : [-(icext(_222896, 6710 ^ [_222896]))], (6715 ^ _35326) ^ [] : [-(icext(_222896, 6711 ^ [_222896]))], (6717 ^ _35326) ^ [] : [6710 ^ [_222896] = 6711 ^ [_222896]]]], (6689 ^ _35326) ^ [_222398] : [iext(uri_owl_hasKey, _222398, uri_rdf_nil), 6692 ^ _35326 : [(6693 ^ _35326) ^ [] : [-(ic(_222398))], (6695 ^ _35326) ^ [_222626, _222628] : [-(_222628 = _222626), icext(_222398, _222628), icext(_222398, _222626)]]], (6721 ^ _35326) ^ [_223499, _223501, _223503] : [iext(uri_rdf_first, _223501, _223499), iext(uri_rdf_rest, _223501, uri_rdf_nil), 6728 ^ _35326 : [(6755 ^ _35326) ^ [] : [-(iext(uri_owl_hasKey, _223503, _223501)), ic(_223503), ip(_223499), 6767 ^ _35326 : [(6768 ^ _35326) ^ [] : [-(icext(_223503, 6764 ^ [_223499, _223501, _223503]))], (6770 ^ _35326) ^ [] : [-(icext(_223503, 6765 ^ [_223499, _223501, _223503]))], (6772 ^ _35326) ^ [] : [-(iext(_223499, 6764 ^ [_223499, _223501, _223503], 6766 ^ [_223499, _223501, _223503]))], (6774 ^ _35326) ^ [] : [-(iext(_223499, 6765 ^ [_223499, _223501, _223503], 6766 ^ [_223499, _223501, _223503]))], (6776 ^ _35326) ^ [] : [6764 ^ [_223499, _223501, _223503] = 6765 ^ [_223499, _223501, _223503]]]], (6729 ^ _35326) ^ [] : [iext(uri_owl_hasKey, _223503, _223501), 6732 ^ _35326 : [(6733 ^ _35326) ^ [] : [-(ic(_223503))], (6735 ^ _35326) ^ [] : [-(ip(_223499))], (6737 ^ _35326) ^ [_224059, _224061, _224063] : [-(_224063 = _224061), icext(_223503, _224063), icext(_223503, _224061), iext(_223499, _224063, _224059), iext(_223499, _224061, _224059)]]]]], (6780 ^ _35326) ^ [_225668, _225670, _225672, _225674, _225676] : [iext(uri_rdf_first, _225674, _225672), iext(uri_rdf_rest, _225674, _225670), iext(uri_rdf_first, _225670, _225668), iext(uri_rdf_rest, _225670, uri_rdf_nil), 6795 ^ _35326 : [(6832 ^ _35326) ^ [] : [-(iext(uri_owl_hasKey, _225676, _225674)), ic(_225676), ip(_225672), ip(_225668), 6849 ^ _35326 : [(6850 ^ _35326) ^ [] : [-(icext(_225676, 6845 ^ [_225668, _225670, _225672, _225674, _225676]))], (6852 ^ _35326) ^ [] : [-(icext(_225676, 6846 ^ [_225668, _225670, _225672, _225674, _225676]))], (6854 ^ _35326) ^ [] : [-(iext(_225672, 6845 ^ [_225668, _225670, _225672, _225674, _225676], 6847 ^ [_225668, _225670, _225672, _225674, _225676]))], (6856 ^ _35326) ^ [] : [-(iext(_225672, 6846 ^ [_225668, _225670, _225672, _225674, _225676], 6847 ^ [_225668, _225670, _225672, _225674, _225676]))], (6858 ^ _35326) ^ [] : [-(iext(_225668, 6845 ^ [_225668, _225670, _225672, _225674, _225676], 6848 ^ [_225668, _225670, _225672, _225674, _225676]))], (6860 ^ _35326) ^ [] : [-(iext(_225668, 6846 ^ [_225668, _225670, _225672, _225674, _225676], 6848 ^ [_225668, _225670, _225672, _225674, _225676]))], (6862 ^ _35326) ^ [] : [6845 ^ [_225668, _225670, _225672, _225674, _225676] = 6846 ^ [_225668, _225670, _225672, _225674, _225676]]]], (6796 ^ _35326) ^ [] : [iext(uri_owl_hasKey, _225676, _225674), 6799 ^ _35326 : [(6800 ^ _35326) ^ [] : [-(ic(_225676))], (6802 ^ _35326) ^ [] : [-(ip(_225672))], (6804 ^ _35326) ^ [] : [-(ip(_225668))], (6806 ^ _35326) ^ [_226575, _226577, _226579, _226581] : [-(_226581 = _226579), icext(_225676, _226581), icext(_225676, _226579), iext(_225672, _226581, _226577), iext(_225672, _226579, _226577), iext(_225668, _226581, _226575), iext(_225668, _226579, _226575)]]]]], (6866 ^ _35326) ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285] : [iext(uri_rdf_first, _229283, _229281), iext(uri_rdf_rest, _229283, _229279), iext(uri_rdf_first, _229279, _229277), iext(uri_rdf_rest, _229279, _229275), iext(uri_rdf_first, _229275, _229273), iext(uri_rdf_rest, _229275, uri_rdf_nil), 6889 ^ _35326 : [(6936 ^ _35326) ^ [] : [-(iext(uri_owl_hasKey, _229285, _229283)), ic(_229285), ip(_229281), ip(_229277), ip(_229273), 6958 ^ _35326 : [(6959 ^ _35326) ^ [] : [-(icext(_229285, 6953 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6961 ^ _35326) ^ [] : [-(icext(_229285, 6954 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6963 ^ _35326) ^ [] : [-(iext(_229281, 6953 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6955 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6965 ^ _35326) ^ [] : [-(iext(_229281, 6954 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6955 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6967 ^ _35326) ^ [] : [-(iext(_229277, 6953 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6956 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6969 ^ _35326) ^ [] : [-(iext(_229277, 6954 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6956 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6971 ^ _35326) ^ [] : [-(iext(_229273, 6953 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6957 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6973 ^ _35326) ^ [] : [-(iext(_229273, 6954 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285], 6957 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]))], (6975 ^ _35326) ^ [] : [6953 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285] = 6954 ^ [_229273, _229275, _229277, _229279, _229281, _229283, _229285]]]], (6890 ^ _35326) ^ [] : [iext(uri_owl_hasKey, _229285, _229283), 6893 ^ _35326 : [(6894 ^ _35326) ^ [] : [-(ic(_229285))], (6896 ^ _35326) ^ [] : [-(ip(_229281))], (6898 ^ _35326) ^ [] : [-(ip(_229277))], (6900 ^ _35326) ^ [] : [-(ip(_229273))], (6902 ^ _35326) ^ [_230567, _230569, _230571, _230573, _230575] : [-(_230575 = _230573), icext(_229285, _230575), icext(_229285, _230573), iext(_229281, _230575, _230571), iext(_229281, _230573, _230571), iext(_229277, _230575, _230569), iext(_229277, _230573, _230569), iext(_229273, _230575, _230567), iext(_229273, _230573, _230567)]]]]], (6979 ^ _35326) ^ [_234637, _234639, _234641] : [6995 ^ _35326 : [(6996 ^ _35326) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_234637, _234639, _234641], _234639))], (6998 ^ _35326) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_234637, _234639, _234641], _234641))], (7000 ^ _35326) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_234637, _234639, _234641], _234637))]], ir(_234639), iodp(_234641), lv(_234637), -(iext(_234641, _234639, _234637))], (7002 ^ _35326) ^ [_235414, _235416, _235418, _235420] : [7013 ^ _35326 : [(7014 ^ _35326) ^ [] : [-(iodp(_235418))], (7016 ^ _35326) ^ [] : [iext(_235418, _235416, _235414)]], iext(uri_owl_sourceIndividual, _235420, _235416), iext(uri_owl_assertionProperty, _235420, _235418), iext(uri_owl_targetValue, _235420, _235414)], (7018 ^ _35326) ^ [_235930, _235932, _235934] : [7034 ^ _35326 : [(7035 ^ _35326) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_235930, _235932, _235934], _235932))], (7037 ^ _35326) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_235930, _235932, _235934], _235934))], (7039 ^ _35326) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_235930, _235932, _235934], _235930))]], ir(_235932), ip(_235934), ir(_235930), -(iext(_235934, _235932, _235930))], (7041 ^ _35326) ^ [_236707, _236709, _236711, _236713] : [iext(_236711, _236709, _236707), iext(uri_owl_sourceIndividual, _236713, _236709), iext(uri_owl_assertionProperty, _236713, _236711), iext(uri_owl_targetIndividual, _236713, _236707)], (7055 ^ _35326) ^ [_237118] : [icext(uri_xsd_anyURI, _237118), -(lv(_237118))], (7061 ^ _35326) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35326) ^ [_237359] : [icext(uri_xsd_base64Binary, _237359), -(lv(_237359))], (7069 ^ _35326) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35326) ^ [_237600] : [icext(uri_xsd_boolean, _237600), -(lv(_237600))], (7077 ^ _35326) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35326) ^ [_237841] : [icext(uri_xsd_byte, _237841), -(lv(_237841))], (7085 ^ _35326) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35326) ^ [_238082] : [icext(uri_xsd_dateTime, _238082), -(lv(_238082))], (7093 ^ _35326) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35326) ^ [_238323] : [icext(uri_xsd_dateTimeStamp, _238323), -(lv(_238323))], (7101 ^ _35326) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35326) ^ [_238564] : [icext(uri_xsd_decimal, _238564), -(lv(_238564))], (7109 ^ _35326) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35326) ^ [_238805] : [icext(uri_xsd_double, _238805), -(lv(_238805))], (7117 ^ _35326) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35326) ^ [_239046] : [icext(uri_xsd_float, _239046), -(lv(_239046))], (7125 ^ _35326) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35326) ^ [_239287] : [icext(uri_xsd_hexBinary, _239287), -(lv(_239287))], (7133 ^ _35326) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35326) ^ [_239528] : [icext(uri_xsd_int, _239528), -(lv(_239528))], (7141 ^ _35326) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35326) ^ [_239769] : [icext(uri_xsd_integer, _239769), -(lv(_239769))], (7149 ^ _35326) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35326) ^ [_240010] : [icext(uri_xsd_language, _240010), -(lv(_240010))], (7157 ^ _35326) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35326) ^ [_240251] : [icext(uri_xsd_long, _240251), -(lv(_240251))], (7165 ^ _35326) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35326) ^ [_240492] : [icext(uri_xsd_Name, _240492), -(lv(_240492))], (7173 ^ _35326) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35326) ^ [_240733] : [icext(uri_xsd_NCName, _240733), -(lv(_240733))], (7181 ^ _35326) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35326) ^ [_240974] : [icext(uri_xsd_negativeInteger, _240974), -(lv(_240974))], (7189 ^ _35326) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35326) ^ [_241215] : [icext(uri_xsd_NMTOKEN, _241215), -(lv(_241215))], (7197 ^ _35326) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35326) ^ [_241456] : [icext(uri_xsd_nonNegativeInteger, _241456), -(lv(_241456))], (7205 ^ _35326) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35326) ^ [_241697] : [icext(uri_xsd_nonPositiveInteger, _241697), -(lv(_241697))], (7213 ^ _35326) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35326) ^ [_241938] : [icext(uri_xsd_normalizedString, _241938), -(lv(_241938))], (7221 ^ _35326) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35326) ^ [_242179] : [icext(uri_rdf_PlainLiteral, _242179), -(lv(_242179))], (7229 ^ _35326) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35326) ^ [_242420] : [icext(uri_xsd_positiveInteger, _242420), -(lv(_242420))], (7237 ^ _35326) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35326) ^ [_242661] : [icext(uri_owl_rational, _242661), -(lv(_242661))], (7245 ^ _35326) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35326) ^ [_242902] : [icext(uri_owl_real, _242902), -(lv(_242902))], (7253 ^ _35326) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35326) ^ [_243143] : [icext(uri_xsd_short, _243143), -(lv(_243143))], (7261 ^ _35326) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35326) ^ [_243384] : [icext(uri_xsd_string, _243384), -(lv(_243384))], (7269 ^ _35326) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35326) ^ [_243625] : [icext(uri_xsd_token, _243625), -(lv(_243625))], (7277 ^ _35326) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35326) ^ [_243866] : [icext(uri_xsd_unsignedByte, _243866), -(lv(_243866))], (7285 ^ _35326) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35326) ^ [_244107] : [icext(uri_xsd_unsignedInt, _244107), -(lv(_244107))], (7293 ^ _35326) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35326) ^ [_244348] : [icext(uri_xsd_unsignedLong, _244348), -(lv(_244348))], (7301 ^ _35326) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35326) ^ [_244589] : [icext(uri_xsd_unsignedShort, _244589), -(lv(_244589))], (7309 ^ _35326) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35326) ^ [_244830] : [icext(uri_rdf_XMLLiteral, _244830), -(lv(_244830))], (7317 ^ _35326) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35326) ^ [_245071] : [icext(uri_xsd_anyURI, _245071), icext(uri_xsd_base64Binary, _245071)], (7325 ^ _35326) ^ [_245260] : [icext(uri_xsd_anyURI, _245260), icext(uri_xsd_boolean, _245260)], (7331 ^ _35326) ^ [_245449] : [icext(uri_xsd_anyURI, _245449), icext(uri_xsd_dateTime, _245449)], (7337 ^ _35326) ^ [_245638] : [icext(uri_xsd_anyURI, _245638), icext(uri_xsd_double, _245638)], (7343 ^ _35326) ^ [_245827] : [icext(uri_xsd_anyURI, _245827), icext(uri_xsd_float, _245827)], (7349 ^ _35326) ^ [_246016] : [icext(uri_xsd_anyURI, _246016), icext(uri_xsd_hexBinary, _246016)], (7355 ^ _35326) ^ [_246205] : [icext(uri_xsd_anyURI, _246205), icext(uri_rdf_PlainLiteral, _246205)], (7361 ^ _35326) ^ [_246394] : [icext(uri_xsd_anyURI, _246394), icext(uri_owl_real, _246394)], (7367 ^ _35326) ^ [_246583] : [icext(uri_xsd_anyURI, _246583), icext(uri_rdf_XMLLiteral, _246583)], (7373 ^ _35326) ^ [_246772] : [icext(uri_xsd_base64Binary, _246772), icext(uri_xsd_boolean, _246772)], (7379 ^ _35326) ^ [_246961] : [icext(uri_xsd_base64Binary, _246961), icext(uri_xsd_dateTime, _246961)], (7385 ^ _35326) ^ [_247150] : [icext(uri_xsd_base64Binary, _247150), icext(uri_xsd_double, _247150)], (7391 ^ _35326) ^ [_247339] : [icext(uri_xsd_base64Binary, _247339), icext(uri_xsd_float, _247339)], (7397 ^ _35326) ^ [_247528] : [icext(uri_xsd_base64Binary, _247528), icext(uri_xsd_hexBinary, _247528)], (7403 ^ _35326) ^ [_247717] : [icext(uri_xsd_base64Binary, _247717), icext(uri_rdf_PlainLiteral, _247717)], (7409 ^ _35326) ^ [_247906] : [icext(uri_xsd_base64Binary, _247906), icext(uri_owl_real, _247906)], (7415 ^ _35326) ^ [_248095] : [icext(uri_xsd_base64Binary, _248095), icext(uri_rdf_XMLLiteral, _248095)], (7421 ^ _35326) ^ [_248284] : [icext(uri_xsd_boolean, _248284), icext(uri_xsd_dateTime, _248284)], (7427 ^ _35326) ^ [_248473] : [icext(uri_xsd_boolean, _248473), icext(uri_xsd_double, _248473)], (7433 ^ _35326) ^ [_248662] : [icext(uri_xsd_boolean, _248662), icext(uri_xsd_float, _248662)], (7439 ^ _35326) ^ [_248851] : [icext(uri_xsd_boolean, _248851), icext(uri_xsd_hexBinary, _248851)], (7445 ^ _35326) ^ [_249040] : [icext(uri_xsd_boolean, _249040), icext(uri_rdf_PlainLiteral, _249040)], (7451 ^ _35326) ^ [_249229] : [icext(uri_xsd_boolean, _249229), icext(uri_owl_real, _249229)], (7457 ^ _35326) ^ [_249418] : [icext(uri_xsd_boolean, _249418), icext(uri_rdf_XMLLiteral, _249418)], (7463 ^ _35326) ^ [_249607] : [icext(uri_xsd_dateTime, _249607), icext(uri_xsd_double, _249607)], (7469 ^ _35326) ^ [_249796] : [icext(uri_xsd_dateTime, _249796), icext(uri_xsd_float, _249796)], (7475 ^ _35326) ^ [_249985] : [icext(uri_xsd_dateTime, _249985), icext(uri_xsd_hexBinary, _249985)], (7481 ^ _35326) ^ [_250174] : [icext(uri_xsd_dateTime, _250174), icext(uri_rdf_PlainLiteral, _250174)], (7487 ^ _35326) ^ [_250363] : [icext(uri_xsd_dateTime, _250363), icext(uri_owl_real, _250363)], (7493 ^ _35326) ^ [_250552] : [icext(uri_xsd_dateTime, _250552), icext(uri_rdf_XMLLiteral, _250552)], (7499 ^ _35326) ^ [_250741] : [icext(uri_xsd_double, _250741), icext(uri_xsd_float, _250741)], (7505 ^ _35326) ^ [_250930] : [icext(uri_xsd_double, _250930), icext(uri_xsd_hexBinary, _250930)], (7511 ^ _35326) ^ [_251119] : [icext(uri_xsd_double, _251119), icext(uri_rdf_PlainLiteral, _251119)], (7517 ^ _35326) ^ [_251308] : [icext(uri_xsd_double, _251308), icext(uri_owl_real, _251308)], (7523 ^ _35326) ^ [_251497] : [icext(uri_xsd_double, _251497), icext(uri_rdf_XMLLiteral, _251497)], (7529 ^ _35326) ^ [_251686] : [icext(uri_xsd_float, _251686), icext(uri_xsd_hexBinary, _251686)], (7535 ^ _35326) ^ [_251875] : [icext(uri_xsd_float, _251875), icext(uri_rdf_PlainLiteral, _251875)], (7541 ^ _35326) ^ [_252064] : [icext(uri_xsd_float, _252064), icext(uri_owl_real, _252064)], (7547 ^ _35326) ^ [_252253] : [icext(uri_xsd_float, _252253), icext(uri_rdf_XMLLiteral, _252253)], (7553 ^ _35326) ^ [_252442] : [icext(uri_xsd_hexBinary, _252442), icext(uri_rdf_PlainLiteral, _252442)], (7559 ^ _35326) ^ [_252631] : [icext(uri_xsd_hexBinary, _252631), icext(uri_owl_real, _252631)], (7565 ^ _35326) ^ [_252820] : [icext(uri_xsd_hexBinary, _252820), icext(uri_rdf_XMLLiteral, _252820)], (7571 ^ _35326) ^ [_253009] : [icext(uri_rdf_PlainLiteral, _253009), icext(uri_owl_real, _253009)], (7577 ^ _35326) ^ [_253198] : [icext(uri_rdf_PlainLiteral, _253198), icext(uri_rdf_XMLLiteral, _253198)], (7583 ^ _35326) ^ [_253387] : [icext(uri_owl_real, _253387), icext(uri_rdf_XMLLiteral, _253387)], (7589 ^ _35326) ^ [_253576] : [icext(uri_xsd_byte, _253576), -(icext(uri_xsd_short, _253576))], (7595 ^ _35326) ^ [_253766] : [icext(uri_xsd_dateTimeStamp, _253766), -(icext(uri_xsd_dateTime, _253766))], (7601 ^ _35326) ^ [_253956] : [icext(uri_xsd_decimal, _253956), -(icext(uri_owl_rational, _253956))], (7607 ^ _35326) ^ [_254146] : [icext(uri_xsd_int, _254146), -(icext(uri_xsd_long, _254146))], (7613 ^ _35326) ^ [_254336] : [icext(uri_xsd_integer, _254336), -(icext(uri_xsd_decimal, _254336))], (7619 ^ _35326) ^ [_254526] : [icext(uri_xsd_language, _254526), -(icext(uri_xsd_token, _254526))], (7625 ^ _35326) ^ [_254716] : [icext(uri_xsd_long, _254716), -(icext(uri_xsd_integer, _254716))], (7631 ^ _35326) ^ [_254906] : [icext(uri_xsd_Name, _254906), -(icext(uri_xsd_token, _254906))], (7637 ^ _35326) ^ [_255096] : [icext(uri_xsd_NCName, _255096), -(icext(uri_xsd_Name, _255096))], (7643 ^ _35326) ^ [_255286] : [icext(uri_xsd_negativeInteger, _255286), -(icext(uri_xsd_nonPositiveInteger, _255286))], (7649 ^ _35326) ^ [_255476] : [icext(uri_xsd_NMTOKEN, _255476), -(icext(uri_xsd_token, _255476))], (7655 ^ _35326) ^ [_255666] : [icext(uri_xsd_nonNegativeInteger, _255666), -(icext(uri_xsd_integer, _255666))], (7661 ^ _35326) ^ [_255856] : [icext(uri_xsd_nonPositiveInteger, _255856), -(icext(uri_xsd_integer, _255856))], (7667 ^ _35326) ^ [_256046] : [icext(uri_xsd_normalizedString, _256046), -(icext(uri_xsd_string, _256046))], (7673 ^ _35326) ^ [_256236] : [icext(uri_xsd_positiveInteger, _256236), -(icext(uri_xsd_nonNegativeInteger, _256236))], (7679 ^ _35326) ^ [_256426] : [icext(uri_owl_rational, _256426), -(icext(uri_owl_real, _256426))], (7685 ^ _35326) ^ [_256616] : [icext(uri_xsd_short, _256616), -(icext(uri_xsd_int, _256616))], (7691 ^ _35326) ^ [_256806] : [icext(uri_xsd_string, _256806), -(icext(uri_rdf_PlainLiteral, _256806))], (7697 ^ _35326) ^ [_256996] : [icext(uri_xsd_token, _256996), -(icext(uri_xsd_normalizedString, _256996))], (7703 ^ _35326) ^ [_257186] : [icext(uri_xsd_unsignedByte, _257186), -(icext(uri_xsd_unsignedShort, _257186))], (7709 ^ _35326) ^ [_257376] : [icext(uri_xsd_unsignedInt, _257376), -(icext(uri_xsd_unsignedLong, _257376))], (7715 ^ _35326) ^ [_257566] : [icext(uri_xsd_unsignedLong, _257566), -(icext(uri_xsd_nonNegativeInteger, _257566))], (7721 ^ _35326) ^ [_257756] : [icext(uri_xsd_unsignedShort, _257756), -(icext(uri_xsd_unsignedInt, _257756))], (7727 ^ _35326) ^ [_257960, _257962] : [iext(uri_rdf_langRange, _257962, _257960), 7730 ^ _35326 : [(7731 ^ _35326) ^ [] : [-(ir(_257962))], (7733 ^ _35326) ^ [] : [-(lv(_257960))]]], (7735 ^ _35326) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35326) ^ [_258296, _258298] : [iext(uri_xsd_length, _258298, _258296), 7740 ^ _35326 : [(7741 ^ _35326) ^ [] : [-(ir(_258298))], (7743 ^ _35326) ^ [] : [-(lv(_258296))]]], (7745 ^ _35326) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35326) ^ [_258632, _258634] : [iext(uri_xsd_maxExclusive, _258634, _258632), 7750 ^ _35326 : [(7751 ^ _35326) ^ [] : [-(ir(_258634))], (7753 ^ _35326) ^ [] : [-(lv(_258632))]]], (7755 ^ _35326) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35326) ^ [_258968, _258970] : [iext(uri_xsd_maxInclusive, _258970, _258968), 7760 ^ _35326 : [(7761 ^ _35326) ^ [] : [-(ir(_258970))], (7763 ^ _35326) ^ [] : [-(lv(_258968))]]], (7765 ^ _35326) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35326) ^ [_259304, _259306] : [iext(uri_xsd_maxLength, _259306, _259304), 7770 ^ _35326 : [(7771 ^ _35326) ^ [] : [-(ir(_259306))], (7773 ^ _35326) ^ [] : [-(lv(_259304))]]], (7775 ^ _35326) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35326) ^ [_259640, _259642] : [iext(uri_xsd_minExclusive, _259642, _259640), 7780 ^ _35326 : [(7781 ^ _35326) ^ [] : [-(ir(_259642))], (7783 ^ _35326) ^ [] : [-(lv(_259640))]]], (7785 ^ _35326) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35326) ^ [_259976, _259978] : [iext(uri_xsd_minInclusive, _259978, _259976), 7790 ^ _35326 : [(7791 ^ _35326) ^ [] : [-(ir(_259978))], (7793 ^ _35326) ^ [] : [-(lv(_259976))]]], (7795 ^ _35326) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35326) ^ [_260312, _260314] : [iext(uri_xsd_minLength, _260314, _260312), 7800 ^ _35326 : [(7801 ^ _35326) ^ [] : [-(ir(_260314))], (7803 ^ _35326) ^ [] : [-(lv(_260312))]]], (7805 ^ _35326) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35326) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35326) ^ [_260648, _260650] : [iext(uri_xsd_pattern, _260650, _260648), 7810 ^ _35326 : [(7811 ^ _35326) ^ [] : [-(ir(_260650))], (7813 ^ _35326) ^ [] : [-(lv(_260648))]]]], input).
% 0.45/1.38  ncf('1',plain,[iext(uri_ex_p, uri_ex_s, 7816 ^ []), iext(uri_ex_q, 7816 ^ [], uri_ex_s)],start(7822 ^ 0,bind([[_267773, _267775], [7816 ^ [], uri_ex_s]]))).
% 0.45/1.38  ncf('1.1',plain,[-(iext(uri_ex_p, uri_ex_s, 7816 ^ []))],extension(7818 ^ 1)).
% 0.45/1.38  ncf('1.2',plain,[-(iext(uri_ex_q, 7816 ^ [], uri_ex_s))],extension(7820 ^ 1)).
% 0.45/1.38  %-----------------------------------------------------
% 0.45/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------