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

% Computer : n008.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.47s 1.37s
% Output   : Proof 0.47s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11  % Problem  : SWB001+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.11/0.33  % Computer : n008.cluster.edu
% 0.11/0.33  % Model    : x86_64 x86_64
% 0.11/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33  % Memory   : 8042.1875MB
% 0.11/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33  % CPULimit : 300
% 0.11/0.33  % WCLimit  : 300
% 0.11/0.33  % DateTime : Thu May 18 21:03:09 EDT 2023
% 0.11/0.33  % CPUTime  : 
% 0.47/1.37  
% 0.47/1.37  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.47/1.37  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.47/1.37  %-----------------------------------------------------
% 0.47/1.37  ncf(matrix, plain, [(7825 ^ _35311) ^ [] : [iext(uri_rdf_type, uri_ex_r, uri_owl_Restriction), iext(uri_owl_onProperty, uri_ex_r, uri_ex_p)], (142 ^ _35311) ^ [_37179, _37181, _37183, _37185] : [-(literal_typed(_37185, _37181) = literal_typed(_37183, _37179)), _37185 = _37183, _37181 = _37179], (2 ^ _35311) ^ [_35341] : [-(_35341 = _35341)], (4 ^ _35311) ^ [_35364, _35366] : [_35366 = _35364, -(_35364 = _35366)], (10 ^ _35311) ^ [_35437, _35439, _35441] : [-(_35441 = _35437), _35441 = _35439, _35439 = _35437], (20 ^ _35311) ^ [_35574, _35576] : [-(ioap(_35574)), _35576 = _35574, ioap(_35576)], (30 ^ _35311) ^ [_35699, _35701] : [-(ix(_35699)), _35701 = _35699, ix(_35701)], (40 ^ _35311) ^ [_35824, _35826] : [-(ioxp(_35824)), _35826 = _35824, ioxp(_35826)], (50 ^ _35311) ^ [_35949, _35951] : [-(ic(_35949)), _35951 = _35949, ic(_35951)], (60 ^ _35311) ^ [_36074, _36076] : [-(ip(_36074)), _36076 = _36074, ip(_36076)], (70 ^ _35311) ^ [_36199, _36201] : [-(idc(_36199)), _36201 = _36199, idc(_36201)], (80 ^ _35311) ^ [_36324, _36326, _36328, _36330] : [-(icext(_36328, _36324)), icext(_36330, _36326), _36330 = _36328, _36326 = _36324], (94 ^ _35311) ^ [_36517, _36519] : [-(ir(_36517)), _36519 = _36517, ir(_36519)], (104 ^ _35311) ^ [_36642, _36644] : [-(lv(_36642)), _36644 = _36642, lv(_36644)], (114 ^ _35311) ^ [_36767, _36769] : [-(iodp(_36767)), _36769 = _36767, iodp(_36769)], (124 ^ _35311) ^ [_36888, _36890, _36892, _36894, _36896, _36898] : [-(iext(_36896, _36892, _36888)), iext(_36898, _36894, _36890), _36898 = _36896, _36894 = _36892, _36890 = _36888], (7817 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_r))], (7819 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_ex_r, uri_owl_Restriction))], (7821 ^ _35311) ^ [] : [-(iext(uri_owl_onProperty, uri_ex_r, uri_ex_p))], (7823 ^ _35311) ^ [] : [-(iext(uri_owl_someValuesFrom, uri_ex_r, uri_ex_d))], (152 ^ _35311) ^ [_37333, _37335, _37337] : [iext(_37335, _37337, _37333), -(ip(_37335))], (158 ^ _35311) ^ [_37412] : [-(ir(_37412))], (160 ^ _35311) ^ [_37434] : [lv(_37434), -(ir(_37434))], (166 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35311) ^ [_37679] : [iext(uri_rdf_type, _37679, uri_rdf_Property), -(ip(_37679))], (190 ^ _35311) ^ [_37750] : [ip(_37750), -(iext(uri_rdf_type, _37750, uri_rdf_Property))], (196 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35311) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35311) ^ [_38040, _38042] : [iext(uri_rdf_type, _38042, _38040), -(icext(_38040, _38042))], (224 ^ _35311) ^ [_38115, _38117] : [icext(_38115, _38117), -(iext(uri_rdf_type, _38117, _38115))], (230 ^ _35311) ^ [_38196] : [ic(_38196), -(iext(uri_rdfs_subClassOf, _38196, uri_rdfs_Resource))], (236 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35311) ^ [_38379] : [icext(uri_rdfs_ContainerMembershipProperty, _38379), -(iext(uri_rdfs_subPropertyOf, _38379, uri_rdfs_member))], (254 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35311) ^ [_38726] : [icext(uri_rdfs_Datatype, _38726), -(iext(uri_rdfs_subClassOf, _38726, uri_rdfs_Literal))], (290 ^ _35311) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35311) ^ [_38839, _38841, _38843, _38845] : [-(icext(_38843, _38841)), iext(uri_rdfs_domain, _38845, _38843), iext(_38845, _38841, _38839)], (304 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35311) ^ [_39010] : [ic(_39010), -(icext(uri_rdfs_Class, _39010))], (312 ^ _35311) ^ [_39079] : [icext(uri_rdfs_Class, _39079), -(ic(_39079))], (318 ^ _35311) ^ [_39166] : [ir(_39166), -(icext(uri_rdfs_Resource, _39166))], (324 ^ _35311) ^ [_39235] : [icext(uri_rdfs_Resource, _39235), -(ir(_39235))], (330 ^ _35311) ^ [_39322] : [lv(_39322), -(icext(uri_rdfs_Literal, _39322))], (336 ^ _35311) ^ [_39391] : [icext(uri_rdfs_Literal, _39391), -(lv(_39391))], (342 ^ _35311) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35311) ^ [_39502, _39504, _39506, _39508] : [-(icext(_39506, _39502)), iext(uri_rdfs_range, _39508, _39506), iext(_39508, _39504, _39502)], (356 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35311) ^ [_39787, _39789] : [iext(uri_rdfs_subClassOf, _39789, _39787), 375 ^ _35311 : [(376 ^ _35311) ^ [] : [-(ic(_39789))], (378 ^ _35311) ^ [] : [-(ic(_39787))], (380 ^ _35311) ^ [_39902] : [icext(_39789, _39902), -(icext(_39787, _39902))]]], (386 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35311) ^ [_40007] : [ic(_40007), -(iext(uri_rdfs_subClassOf, _40007, _40007))], (394 ^ _35311) ^ [_40082, _40084, _40086] : [-(iext(uri_rdfs_subClassOf, _40086, _40082)), iext(uri_rdfs_subClassOf, _40086, _40084), iext(uri_rdfs_subClassOf, _40084, _40082)], (404 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35311) ^ [_40239, _40241] : [iext(uri_rdfs_subPropertyOf, _40241, _40239), 409 ^ _35311 : [(410 ^ _35311) ^ [] : [-(ip(_40241))], (412 ^ _35311) ^ [] : [-(ip(_40239))], (414 ^ _35311) ^ [_40361, _40363] : [iext(_40241, _40363, _40361), -(iext(_40239, _40363, _40361))]]], (420 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35311) ^ [_40472] : [ip(_40472), -(iext(uri_rdfs_subPropertyOf, _40472, _40472))], (428 ^ _35311) ^ [_40547, _40549, _40551] : [-(iext(uri_rdfs_subPropertyOf, _40551, _40547)), iext(uri_rdfs_subPropertyOf, _40551, _40549), iext(uri_rdfs_subPropertyOf, _40549, _40547)], (438 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35311) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35311) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35311) ^ [_40758] : [ic(_40758), 449 ^ _35311 : [(450 ^ _35311) ^ [_40816] : [icext(_40758, _40816), -(ir(_40816))]]], (456 ^ _35311) ^ [_40895] : [ic(_40895), -(ir(_40895))], (462 ^ _35311) ^ [_40978] : [ic(_40978), -(iext(uri_rdf_type, _40978, uri_rdfs_Class))], (468 ^ _35311) ^ [_41049] : [iext(uri_rdf_type, _41049, uri_rdfs_Class), -(ic(_41049))], (474 ^ _35311) ^ [_41126] : [idc(_41126), 477 ^ _35311 : [(478 ^ _35311) ^ [_41184] : [icext(_41126, _41184), -(lv(_41184))]]], (484 ^ _35311) ^ [_41263] : [idc(_41263), -(ic(_41263))], (490 ^ _35311) ^ [_41346] : [idc(_41346), -(iext(uri_rdf_type, _41346, uri_rdfs_Datatype))], (496 ^ _35311) ^ [_41417] : [iext(uri_rdf_type, _41417, uri_rdfs_Datatype), -(idc(_41417))], (502 ^ _35311) ^ [_41494] : [ioap(_41494), 505 ^ _35311 : [(506 ^ _35311) ^ [_41563, _41565] : [iext(_41494, _41565, _41563), 509 ^ _35311 : [(510 ^ _35311) ^ [] : [-(ir(_41565))], (512 ^ _35311) ^ [] : [-(ir(_41563))]]]]], (514 ^ _35311) ^ [_41670] : [ioap(_41670), -(ip(_41670))], (520 ^ _35311) ^ [_41753] : [ioap(_41753), -(iext(uri_rdf_type, _41753, uri_owl_AnnotationProperty))], (526 ^ _35311) ^ [_41824] : [iext(uri_rdf_type, _41824, uri_owl_AnnotationProperty), -(ioap(_41824))], (532 ^ _35311) ^ [_41901] : [iodp(_41901), 535 ^ _35311 : [(536 ^ _35311) ^ [_41970, _41972] : [iext(_41901, _41972, _41970), 539 ^ _35311 : [(540 ^ _35311) ^ [] : [-(ir(_41972))], (542 ^ _35311) ^ [] : [-(lv(_41970))]]]]], (544 ^ _35311) ^ [_42077] : [iodp(_42077), -(ip(_42077))], (550 ^ _35311) ^ [_42160] : [iodp(_42160), -(iext(uri_rdf_type, _42160, uri_owl_DatatypeProperty))], (556 ^ _35311) ^ [_42231] : [iext(uri_rdf_type, _42231, uri_owl_DatatypeProperty), -(iodp(_42231))], (562 ^ _35311) ^ [_42308] : [ioxp(_42308), 565 ^ _35311 : [(566 ^ _35311) ^ [_42377, _42379] : [iext(_42308, _42379, _42377), 569 ^ _35311 : [(570 ^ _35311) ^ [] : [-(ix(_42379))], (572 ^ _35311) ^ [] : [-(ix(_42377))]]]]], (574 ^ _35311) ^ [_42484] : [ioxp(_42484), -(ip(_42484))], (580 ^ _35311) ^ [_42567] : [ioxp(_42567), -(iext(uri_rdf_type, _42567, uri_owl_OntologyProperty))], (586 ^ _35311) ^ [_42638] : [iext(uri_rdf_type, _42638, uri_owl_OntologyProperty), -(ioxp(_42638))], (592 ^ _35311) ^ [_42715] : [ip(_42715), 595 ^ _35311 : [(596 ^ _35311) ^ [_42784, _42786] : [iext(_42715, _42786, _42784), 599 ^ _35311 : [(600 ^ _35311) ^ [] : [-(ir(_42786))], (602 ^ _35311) ^ [] : [-(ir(_42784))]]]]], (604 ^ _35311) ^ [_42891] : [ip(_42891), -(ir(_42891))], (610 ^ _35311) ^ [_42974] : [ip(_42974), -(iext(uri_rdf_type, _42974, uri_rdf_Property))], (616 ^ _35311) ^ [_43045] : [iext(uri_rdf_type, _43045, uri_rdf_Property), -(ip(_43045))], (623 ^ _35311) ^ [] : [-(ir(621 ^ []))], (625 ^ _35311) ^ [_43158] : [ir(_43158), -(iext(uri_rdf_type, _43158, uri_rdfs_Resource))], (631 ^ _35311) ^ [_43229] : [iext(uri_rdf_type, _43229, uri_rdfs_Resource), -(ir(_43229))], (637 ^ _35311) ^ [_43306] : [ix(_43306), -(ir(_43306))], (643 ^ _35311) ^ [_43389] : [ix(_43389), -(iext(uri_rdf_type, _43389, uri_owl_Ontology))], (649 ^ _35311) ^ [_43460] : [iext(uri_rdf_type, _43460, uri_owl_Ontology), -(ix(_43460))], (655 ^ _35311) ^ [_43537] : [lv(_43537), -(ir(_43537))], (661 ^ _35311) ^ [_43620] : [lv(_43620), -(iext(uri_rdf_type, _43620, uri_rdfs_Literal))], (667 ^ _35311) ^ [_43691] : [iext(uri_rdf_type, _43691, uri_rdfs_Literal), -(lv(_43691))], (673 ^ _35311) ^ [_43768] : [icext(uri_owl_AllDifferent, _43768), -(ir(_43768))], (679 ^ _35311) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35311) ^ [_43859] : [icext(uri_owl_AllDisjointClasses, _43859), -(ir(_43859))], (687 ^ _35311) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35311) ^ [_43950] : [icext(uri_owl_AllDisjointProperties, _43950), -(ir(_43950))], (695 ^ _35311) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35311) ^ [_44041] : [icext(uri_owl_Annotation, _44041), -(ir(_44041))], (703 ^ _35311) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35311) ^ [_44144] : [icext(uri_owl_AnnotationProperty, _44144), -(ioap(_44144))], (711 ^ _35311) ^ [_44213] : [ioap(_44213), -(icext(uri_owl_AnnotationProperty, _44213))], (717 ^ _35311) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35311) ^ [_44306] : [icext(uri_owl_AsymmetricProperty, _44306), -(ip(_44306))], (725 ^ _35311) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35311) ^ [_44397] : [icext(uri_owl_Axiom, _44397), -(ir(_44397))], (733 ^ _35311) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35311) ^ [_44500] : [icext(uri_owl_Class, _44500), -(ic(_44500))], (741 ^ _35311) ^ [_44569] : [ic(_44569), -(icext(uri_owl_Class, _44569))], (747 ^ _35311) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35311) ^ [_44674] : [icext(uri_rdfs_Class, _44674), -(ic(_44674))], (755 ^ _35311) ^ [_44743] : [ic(_44743), -(icext(uri_rdfs_Class, _44743))], (761 ^ _35311) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35311) ^ [_44848] : [icext(uri_owl_DataRange, _44848), -(idc(_44848))], (769 ^ _35311) ^ [_44917] : [idc(_44917), -(icext(uri_owl_DataRange, _44917))], (775 ^ _35311) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35311) ^ [_45022] : [icext(uri_rdfs_Datatype, _45022), -(idc(_45022))], (783 ^ _35311) ^ [_45091] : [idc(_45091), -(icext(uri_rdfs_Datatype, _45091))], (789 ^ _35311) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35311) ^ [_45196] : [icext(uri_owl_DatatypeProperty, _45196), -(iodp(_45196))], (797 ^ _35311) ^ [_45265] : [iodp(_45265), -(icext(uri_owl_DatatypeProperty, _45265))], (803 ^ _35311) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35311) ^ [_45358] : [icext(uri_owl_DeprecatedClass, _45358), -(ic(_45358))], (811 ^ _35311) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35311) ^ [_45449] : [icext(uri_owl_DeprecatedProperty, _45449), -(ip(_45449))], (819 ^ _35311) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35311) ^ [_45540] : [icext(uri_owl_FunctionalProperty, _45540), -(ip(_45540))], (827 ^ _35311) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35311) ^ [_45631] : [icext(uri_owl_InverseFunctionalProperty, _45631), -(ip(_45631))], (835 ^ _35311) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35311) ^ [_45722] : [icext(uri_owl_IrreflexiveProperty, _45722), -(ip(_45722))], (843 ^ _35311) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35311) ^ [_45825] : [icext(uri_rdfs_Literal, _45825), -(lv(_45825))], (851 ^ _35311) ^ [_45894] : [lv(_45894), -(icext(uri_rdfs_Literal, _45894))], (857 ^ _35311) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35311) ^ [_45987] : [icext(uri_owl_NamedIndividual, _45987), -(ir(_45987))], (865 ^ _35311) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35311) ^ [_46078] : [icext(uri_owl_NegativePropertyAssertion, _46078), -(ir(_46078))], (873 ^ _35311) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35311) ^ [_46178] : [icext(uri_owl_Nothing, _46178)], (877 ^ _35311) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35311) ^ [_46231] : [icext(uri_owl_ObjectProperty, _46231), -(ip(_46231))], (885 ^ _35311) ^ [_46300] : [ip(_46300), -(icext(uri_owl_ObjectProperty, _46300))], (891 ^ _35311) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35311) ^ [_46405] : [icext(uri_owl_Ontology, _46405), -(ix(_46405))], (899 ^ _35311) ^ [_46474] : [ix(_46474), -(icext(uri_owl_Ontology, _46474))], (905 ^ _35311) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35311) ^ [_46579] : [icext(uri_owl_OntologyProperty, _46579), -(ioxp(_46579))], (913 ^ _35311) ^ [_46648] : [ioxp(_46648), -(icext(uri_owl_OntologyProperty, _46648))], (919 ^ _35311) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35311) ^ [_46753] : [icext(uri_rdf_Property, _46753), -(ip(_46753))], (927 ^ _35311) ^ [_46822] : [ip(_46822), -(icext(uri_rdf_Property, _46822))], (933 ^ _35311) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35311) ^ [_46915] : [icext(uri_owl_ReflexiveProperty, _46915), -(ip(_46915))], (941 ^ _35311) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35311) ^ [_47018] : [icext(uri_rdfs_Resource, _47018), -(ir(_47018))], (949 ^ _35311) ^ [_47087] : [ir(_47087), -(icext(uri_rdfs_Resource, _47087))], (955 ^ _35311) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35311) ^ [_47180] : [icext(uri_owl_Restriction, _47180), -(ic(_47180))], (963 ^ _35311) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35311) ^ [_47271] : [icext(uri_owl_SymmetricProperty, _47271), -(ip(_47271))], (971 ^ _35311) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35311) ^ [_47374] : [icext(uri_owl_Thing, _47374), -(ir(_47374))], (979 ^ _35311) ^ [_47443] : [ir(_47443), -(icext(uri_owl_Thing, _47443))], (985 ^ _35311) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35311) ^ [_47536] : [icext(uri_owl_TransitiveProperty, _47536), -(ip(_47536))], (993 ^ _35311) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35311) ^ [_47627, _47629] : [iext(uri_owl_allValuesFrom, _47629, _47627), 998 ^ _35311 : [(999 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _47629))], (1001 ^ _35311) ^ [] : [-(ic(_47627))]]], (1003 ^ _35311) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35311) ^ [_47748, _47750] : [iext(uri_owl_annotatedProperty, _47750, _47748), 1008 ^ _35311 : [(1009 ^ _35311) ^ [] : [-(ir(_47750))], (1011 ^ _35311) ^ [] : [-(ir(_47748))]]], (1013 ^ _35311) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35311) ^ [_47867, _47869] : [iext(uri_owl_annotatedSource, _47869, _47867), 1018 ^ _35311 : [(1019 ^ _35311) ^ [] : [-(ir(_47869))], (1021 ^ _35311) ^ [] : [-(ir(_47867))]]], (1023 ^ _35311) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35311) ^ [_47986, _47988] : [iext(uri_owl_annotatedTarget, _47988, _47986), 1028 ^ _35311 : [(1029 ^ _35311) ^ [] : [-(ir(_47988))], (1031 ^ _35311) ^ [] : [-(ir(_47986))]]], (1033 ^ _35311) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35311) ^ [_48105, _48107] : [iext(uri_owl_assertionProperty, _48107, _48105), 1038 ^ _35311 : [(1039 ^ _35311) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48107))], (1041 ^ _35311) ^ [] : [-(ip(_48105))]]], (1043 ^ _35311) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35311) ^ [_48226, _48228] : [iext(uri_owl_backwardCompatibleWith, _48228, _48226), 1048 ^ _35311 : [(1049 ^ _35311) ^ [] : [-(ix(_48228))], (1051 ^ _35311) ^ [] : [-(ix(_48226))]]], (1053 ^ _35311) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35311) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35311) ^ [_48375, _48377] : [iext(uri_owl_bottomDataProperty, _48377, _48375)], (1059 ^ _35311) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35311) ^ [_48431, _48433] : [iext(uri_owl_bottomObjectProperty, _48433, _48431)], (1063 ^ _35311) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35311) ^ [_48475, _48477] : [iext(uri_owl_cardinality, _48477, _48475), 1068 ^ _35311 : [(1069 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _48477))], (1071 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48475))]]], (1073 ^ _35311) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35311) ^ [_48598, _48600] : [iext(uri_rdfs_comment, _48600, _48598), 1078 ^ _35311 : [(1079 ^ _35311) ^ [] : [-(ir(_48600))], (1081 ^ _35311) ^ [] : [-(lv(_48598))]]], (1083 ^ _35311) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35311) ^ [_48717, _48719] : [iext(uri_owl_complementOf, _48719, _48717), 1088 ^ _35311 : [(1089 ^ _35311) ^ [] : [-(ic(_48719))], (1091 ^ _35311) ^ [] : [-(ic(_48717))]]], (1093 ^ _35311) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35311) ^ [_48836, _48838] : [iext(uri_owl_datatypeComplementOf, _48838, _48836), 1098 ^ _35311 : [(1099 ^ _35311) ^ [] : [-(idc(_48838))], (1101 ^ _35311) ^ [] : [-(idc(_48836))]]], (1103 ^ _35311) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35311) ^ [_48955, _48957] : [iext(uri_owl_deprecated, _48957, _48955), 1108 ^ _35311 : [(1109 ^ _35311) ^ [] : [-(ir(_48957))], (1111 ^ _35311) ^ [] : [-(ir(_48955))]]], (1113 ^ _35311) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35311) ^ [_49074, _49076] : [iext(uri_owl_differentFrom, _49076, _49074), 1118 ^ _35311 : [(1119 ^ _35311) ^ [] : [-(ir(_49076))], (1121 ^ _35311) ^ [] : [-(ir(_49074))]]], (1123 ^ _35311) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35311) ^ [_49193, _49195] : [iext(uri_owl_disjointUnionOf, _49195, _49193), 1128 ^ _35311 : [(1129 ^ _35311) ^ [] : [-(ic(_49195))], (1131 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _49193))]]], (1133 ^ _35311) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35311) ^ [_49314, _49316] : [iext(uri_owl_disjointWith, _49316, _49314), 1138 ^ _35311 : [(1139 ^ _35311) ^ [] : [-(ic(_49316))], (1141 ^ _35311) ^ [] : [-(ic(_49314))]]], (1143 ^ _35311) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35311) ^ [_49433, _49435] : [iext(uri_owl_distinctMembers, _49435, _49433), 1148 ^ _35311 : [(1149 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, _49435))], (1151 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _49433))]]], (1153 ^ _35311) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35311) ^ [_49556, _49558] : [iext(uri_owl_equivalentClass, _49558, _49556), 1158 ^ _35311 : [(1159 ^ _35311) ^ [] : [-(ic(_49558))], (1161 ^ _35311) ^ [] : [-(ic(_49556))]]], (1163 ^ _35311) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35311) ^ [_49675, _49677] : [iext(uri_owl_equivalentProperty, _49677, _49675), 1168 ^ _35311 : [(1169 ^ _35311) ^ [] : [-(ip(_49677))], (1171 ^ _35311) ^ [] : [-(ip(_49675))]]], (1173 ^ _35311) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35311) ^ [_49794, _49796] : [iext(uri_owl_hasKey, _49796, _49794), 1178 ^ _35311 : [(1179 ^ _35311) ^ [] : [-(ic(_49796))], (1181 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _49794))]]], (1183 ^ _35311) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35311) ^ [_49915, _49917] : [iext(uri_owl_hasSelf, _49917, _49915), 1188 ^ _35311 : [(1189 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _49917))], (1191 ^ _35311) ^ [] : [-(ir(_49915))]]], (1193 ^ _35311) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35311) ^ [_50036, _50038] : [iext(uri_owl_hasValue, _50038, _50036), 1198 ^ _35311 : [(1199 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _50038))], (1201 ^ _35311) ^ [] : [-(ir(_50036))]]], (1203 ^ _35311) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35311) ^ [_50157, _50159] : [iext(uri_owl_imports, _50159, _50157), 1208 ^ _35311 : [(1209 ^ _35311) ^ [] : [-(ix(_50159))], (1211 ^ _35311) ^ [] : [-(ix(_50157))]]], (1213 ^ _35311) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35311) ^ [_50276, _50278] : [iext(uri_owl_incompatibleWith, _50278, _50276), 1218 ^ _35311 : [(1219 ^ _35311) ^ [] : [-(ix(_50278))], (1221 ^ _35311) ^ [] : [-(ix(_50276))]]], (1223 ^ _35311) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35311) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35311) ^ [_50413, _50415] : [iext(uri_owl_intersectionOf, _50415, _50413), 1230 ^ _35311 : [(1231 ^ _35311) ^ [] : [-(ic(_50415))], (1233 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _50413))]]], (1235 ^ _35311) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35311) ^ [_50534, _50536] : [iext(uri_owl_inverseOf, _50536, _50534), 1240 ^ _35311 : [(1241 ^ _35311) ^ [] : [-(ip(_50536))], (1243 ^ _35311) ^ [] : [-(ip(_50534))]]], (1245 ^ _35311) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35311) ^ [_50653, _50655] : [iext(uri_rdfs_isDefinedBy, _50655, _50653), 1250 ^ _35311 : [(1251 ^ _35311) ^ [] : [-(ir(_50655))], (1253 ^ _35311) ^ [] : [-(ir(_50653))]]], (1255 ^ _35311) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35311) ^ [_50772, _50774] : [iext(uri_rdfs_label, _50774, _50772), 1260 ^ _35311 : [(1261 ^ _35311) ^ [] : [-(ir(_50774))], (1263 ^ _35311) ^ [] : [-(lv(_50772))]]], (1265 ^ _35311) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35311) ^ [_50891, _50893] : [iext(uri_owl_maxCardinality, _50893, _50891), 1270 ^ _35311 : [(1271 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _50893))], (1273 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50891))]]], (1275 ^ _35311) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35311) ^ [_51014, _51016] : [iext(uri_owl_maxQualifiedCardinality, _51016, _51014), 1280 ^ _35311 : [(1281 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51016))], (1283 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51014))]]], (1285 ^ _35311) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35311) ^ [_51137, _51139] : [iext(uri_owl_members, _51139, _51137), 1290 ^ _35311 : [(1291 ^ _35311) ^ [] : [-(ir(_51139))], (1293 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _51137))]]], (1295 ^ _35311) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35311) ^ [_51258, _51260] : [iext(uri_owl_minCardinality, _51260, _51258), 1300 ^ _35311 : [(1301 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51260))], (1303 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51258))]]], (1305 ^ _35311) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35311) ^ [_51381, _51383] : [iext(uri_owl_minQualifiedCardinality, _51383, _51381), 1310 ^ _35311 : [(1311 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51383))], (1313 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51381))]]], (1315 ^ _35311) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35311) ^ [_51504, _51506] : [iext(uri_owl_onClass, _51506, _51504), 1320 ^ _35311 : [(1321 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51506))], (1323 ^ _35311) ^ [] : [-(ic(_51504))]]], (1325 ^ _35311) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35311) ^ [_51625, _51627] : [iext(uri_owl_onDataRange, _51627, _51625), 1330 ^ _35311 : [(1331 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51627))], (1333 ^ _35311) ^ [] : [-(idc(_51625))]]], (1335 ^ _35311) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35311) ^ [_51746, _51748] : [iext(uri_owl_onDatatype, _51748, _51746), 1340 ^ _35311 : [(1341 ^ _35311) ^ [] : [-(idc(_51748))], (1343 ^ _35311) ^ [] : [-(idc(_51746))]]], (1345 ^ _35311) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35311) ^ [_51865, _51867] : [iext(uri_owl_oneOf, _51867, _51865), 1350 ^ _35311 : [(1351 ^ _35311) ^ [] : [-(ic(_51867))], (1353 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _51865))]]], (1355 ^ _35311) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35311) ^ [_51986, _51988] : [iext(uri_owl_onProperty, _51988, _51986), 1360 ^ _35311 : [(1361 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _51988))], (1363 ^ _35311) ^ [] : [-(ip(_51986))]]], (1365 ^ _35311) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35311) ^ [_52107, _52109] : [iext(uri_owl_priorVersion, _52109, _52107), 1370 ^ _35311 : [(1371 ^ _35311) ^ [] : [-(ix(_52109))], (1373 ^ _35311) ^ [] : [-(ix(_52107))]]], (1375 ^ _35311) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35311) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35311) ^ [_52244, _52246] : [iext(uri_owl_propertyChainAxiom, _52246, _52244), 1382 ^ _35311 : [(1383 ^ _35311) ^ [] : [-(ip(_52246))], (1385 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _52244))]]], (1387 ^ _35311) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35311) ^ [_52365, _52367] : [iext(uri_owl_propertyDisjointWith, _52367, _52365), 1392 ^ _35311 : [(1393 ^ _35311) ^ [] : [-(ip(_52367))], (1395 ^ _35311) ^ [] : [-(ip(_52365))]]], (1397 ^ _35311) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35311) ^ [_52484, _52486] : [iext(uri_owl_qualifiedCardinality, _52486, _52484), 1402 ^ _35311 : [(1403 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _52486))], (1405 ^ _35311) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52484))]]], (1407 ^ _35311) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35311) ^ [_52607, _52609] : [iext(uri_owl_sameAs, _52609, _52607), 1412 ^ _35311 : [(1413 ^ _35311) ^ [] : [-(ir(_52609))], (1415 ^ _35311) ^ [] : [-(ir(_52607))]]], (1417 ^ _35311) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35311) ^ [_52726, _52728] : [iext(uri_rdfs_seeAlso, _52728, _52726), 1422 ^ _35311 : [(1423 ^ _35311) ^ [] : [-(ir(_52728))], (1425 ^ _35311) ^ [] : [-(ir(_52726))]]], (1427 ^ _35311) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35311) ^ [_52845, _52847] : [iext(uri_owl_someValuesFrom, _52847, _52845), 1432 ^ _35311 : [(1433 ^ _35311) ^ [] : [-(icext(uri_owl_Restriction, _52847))], (1435 ^ _35311) ^ [] : [-(ic(_52845))]]], (1437 ^ _35311) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35311) ^ [_52966, _52968] : [iext(uri_owl_sourceIndividual, _52968, _52966), 1442 ^ _35311 : [(1443 ^ _35311) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _52968))], (1445 ^ _35311) ^ [] : [-(ir(_52966))]]], (1447 ^ _35311) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35311) ^ [_53087, _53089] : [iext(uri_owl_targetIndividual, _53089, _53087), 1452 ^ _35311 : [(1453 ^ _35311) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53089))], (1455 ^ _35311) ^ [] : [-(ir(_53087))]]], (1457 ^ _35311) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35311) ^ [_53208, _53210] : [iext(uri_owl_targetValue, _53210, _53208), 1462 ^ _35311 : [(1463 ^ _35311) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53210))], (1465 ^ _35311) ^ [] : [-(lv(_53208))]]], (1467 ^ _35311) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35311) ^ [_53344, _53346] : [iext(uri_owl_topDataProperty, _53346, _53344), 1472 ^ _35311 : [(1473 ^ _35311) ^ [] : [-(ir(_53346))], (1475 ^ _35311) ^ [] : [-(lv(_53344))]]], (1477 ^ _35311) ^ [_53441, _53443] : [-(iext(uri_owl_topDataProperty, _53443, _53441)), ir(_53443), lv(_53441)], (1487 ^ _35311) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35311) ^ [_53603, _53605] : [iext(uri_owl_topObjectProperty, _53605, _53603), 1492 ^ _35311 : [(1493 ^ _35311) ^ [] : [-(ir(_53605))], (1495 ^ _35311) ^ [] : [-(ir(_53603))]]], (1497 ^ _35311) ^ [_53700, _53702] : [-(iext(uri_owl_topObjectProperty, _53702, _53700)), ir(_53702), ir(_53700)], (1507 ^ _35311) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35311) ^ [_53847, _53849] : [iext(uri_owl_unionOf, _53849, _53847), 1512 ^ _35311 : [(1513 ^ _35311) ^ [] : [-(ic(_53849))], (1515 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _53847))]]], (1517 ^ _35311) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35311) ^ [_53968, _53970] : [iext(uri_owl_versionInfo, _53970, _53968), 1522 ^ _35311 : [(1523 ^ _35311) ^ [] : [-(ir(_53970))], (1525 ^ _35311) ^ [] : [-(ir(_53968))]]], (1527 ^ _35311) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35311) ^ [_54087, _54089] : [iext(uri_owl_versionIRI, _54089, _54087), 1532 ^ _35311 : [(1533 ^ _35311) ^ [] : [-(ix(_54089))], (1535 ^ _35311) ^ [] : [-(ix(_54087))]]], (1537 ^ _35311) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35311) ^ [_54206, _54208] : [iext(uri_owl_withRestrictions, _54208, _54206), 1542 ^ _35311 : [(1543 ^ _35311) ^ [] : [-(idc(_54208))], (1545 ^ _35311) ^ [] : [-(icext(uri_rdf_List, _54206))]]], (1547 ^ _35311) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35311) ^ [_54327, _54329] : [iext(uri_owl_complementOf, _54329, _54327), 1552 ^ _35311 : [(1553 ^ _35311) ^ [] : [-(ic(_54329))], (1555 ^ _35311) ^ [] : [-(ic(_54327))], (1557 ^ _35311) ^ [_54457] : [icext(_54329, _54457), icext(_54327, _54457)], (1563 ^ _35311) ^ [_54531] : [-(icext(_54327, _54531)), -(icext(_54329, _54531))]]], (1569 ^ _35311) ^ [_54575, _54577] : [iext(uri_owl_datatypeComplementOf, _54577, _54575), 1572 ^ _35311 : [(1573 ^ _35311) ^ [_54659] : [icext(_54577, _54659), 1576 ^ _35311 : [(1577 ^ _35311) ^ [] : [-(lv(_54659))], (1579 ^ _35311) ^ [] : [icext(_54575, _54659)]]], (1581 ^ _35311) ^ [_54766] : [-(icext(_54577, _54766)), lv(_54766), -(icext(_54575, _54766))]]], (1609 ^ _35311) ^ [_55168] : [-(iext(uri_owl_intersectionOf, _55168, uri_rdf_nil)), ic(_55168), 1617 ^ _35311 : [(1618 ^ _35311) ^ [] : [-(icext(_55168, 1614 ^ [_55168]))], (1620 ^ _35311) ^ [] : [ir(1614 ^ [_55168])]], 1621 ^ _35311 : [(1622 ^ _35311) ^ [] : [-(ir(1614 ^ [_55168]))], (1624 ^ _35311) ^ [] : [icext(_55168, 1614 ^ [_55168])]]], (1591 ^ _35311) ^ [_54918] : [iext(uri_owl_intersectionOf, _54918, uri_rdf_nil), 1594 ^ _35311 : [(1595 ^ _35311) ^ [] : [-(ic(_54918))], (1597 ^ _35311) ^ [_55018] : [icext(_54918, _55018), -(ir(_55018))], (1603 ^ _35311) ^ [_55089] : [ir(_55089), -(icext(_54918, _55089))]]], (1628 ^ _35311) ^ [_55438, _55440, _55442] : [iext(uri_rdf_first, _55440, _55438), iext(uri_rdf_rest, _55440, uri_rdf_nil), 1635 ^ _35311 : [(1636 ^ _35311) ^ [] : [iext(uri_owl_intersectionOf, _55442, _55440), 1639 ^ _35311 : [(1640 ^ _35311) ^ [] : [-(ic(_55442))], (1642 ^ _35311) ^ [] : [-(ic(_55438))], (1644 ^ _35311) ^ [_55687] : [icext(_55442, _55687), -(icext(_55438, _55687))], (1650 ^ _35311) ^ [_55764] : [icext(_55438, _55764), -(icext(_55442, _55764))]]], (1656 ^ _35311) ^ [] : [-(iext(uri_owl_intersectionOf, _55442, _55440)), ic(_55442), ic(_55438), 1668 ^ _35311 : [(1669 ^ _35311) ^ [] : [-(icext(_55442, 1665 ^ [_55438, _55440, _55442]))], (1671 ^ _35311) ^ [] : [icext(_55438, 1665 ^ [_55438, _55440, _55442])]], 1672 ^ _35311 : [(1673 ^ _35311) ^ [] : [-(icext(_55438, 1665 ^ [_55438, _55440, _55442]))], (1675 ^ _35311) ^ [] : [icext(_55442, 1665 ^ [_55438, _55440, _55442])]]]]], (1679 ^ _35311) ^ [_56185, _56187, _56189, _56191, _56193] : [iext(uri_rdf_first, _56191, _56189), iext(uri_rdf_rest, _56191, _56187), iext(uri_rdf_first, _56187, _56185), iext(uri_rdf_rest, _56187, uri_rdf_nil), 1694 ^ _35311 : [(1695 ^ _35311) ^ [] : [iext(uri_owl_intersectionOf, _56193, _56191), 1698 ^ _35311 : [(1699 ^ _35311) ^ [] : [-(ic(_56193))], (1701 ^ _35311) ^ [] : [-(ic(_56189))], (1703 ^ _35311) ^ [] : [-(ic(_56185))], (1705 ^ _35311) ^ [_56597] : [icext(_56193, _56597), 1708 ^ _35311 : [(1709 ^ _35311) ^ [] : [-(icext(_56189, _56597))], (1711 ^ _35311) ^ [] : [-(icext(_56185, _56597))]]], (1713 ^ _35311) ^ [_56704] : [-(icext(_56193, _56704)), icext(_56189, _56704), icext(_56185, _56704)]]], (1723 ^ _35311) ^ [] : [-(iext(uri_owl_intersectionOf, _56193, _56191)), ic(_56193), ic(_56189), ic(_56185), 1747 ^ _35311 : [(1748 ^ _35311) ^ [] : [-(icext(_56189, 1736 ^ [_56185, _56187, _56189, _56191, _56193]))], (1750 ^ _35311) ^ [] : [-(icext(_56185, 1736 ^ [_56185, _56187, _56189, _56191, _56193]))], (1752 ^ _35311) ^ [] : [icext(_56193, 1736 ^ [_56185, _56187, _56189, _56191, _56193])]], 1739 ^ _35311 : [(1740 ^ _35311) ^ [] : [-(icext(_56193, 1736 ^ [_56185, _56187, _56189, _56191, _56193]))], (1742 ^ _35311) ^ [] : [icext(_56189, 1736 ^ [_56185, _56187, _56189, _56191, _56193]), icext(_56185, 1736 ^ [_56185, _56187, _56189, _56191, _56193])]]]]], (1756 ^ _35311) ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396] : [iext(uri_rdf_first, _57394, _57392), iext(uri_rdf_rest, _57394, _57390), iext(uri_rdf_first, _57390, _57388), iext(uri_rdf_rest, _57390, _57386), iext(uri_rdf_first, _57386, _57384), iext(uri_rdf_rest, _57386, uri_rdf_nil), 1779 ^ _35311 : [(1780 ^ _35311) ^ [] : [iext(uri_owl_intersectionOf, _57396, _57394), 1783 ^ _35311 : [(1784 ^ _35311) ^ [] : [-(ic(_57396))], (1786 ^ _35311) ^ [] : [-(ic(_57392))], (1788 ^ _35311) ^ [] : [-(ic(_57388))], (1790 ^ _35311) ^ [] : [-(ic(_57384))], (1792 ^ _35311) ^ [_57975] : [icext(_57396, _57975), 1795 ^ _35311 : [(1796 ^ _35311) ^ [] : [-(icext(_57392, _57975))], (1798 ^ _35311) ^ [] : [-(icext(_57388, _57975))], (1800 ^ _35311) ^ [] : [-(icext(_57384, _57975))]]], (1802 ^ _35311) ^ [_58110] : [-(icext(_57396, _58110)), icext(_57392, _58110), icext(_57388, _58110), icext(_57384, _58110)]]], (1816 ^ _35311) ^ [] : [-(iext(uri_owl_intersectionOf, _57396, _57394)), ic(_57396), ic(_57392), ic(_57388), ic(_57384), 1848 ^ _35311 : [(1849 ^ _35311) ^ [] : [-(icext(_57392, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]))], (1851 ^ _35311) ^ [] : [-(icext(_57388, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]))], (1853 ^ _35311) ^ [] : [-(icext(_57384, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]))], (1855 ^ _35311) ^ [] : [icext(_57396, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396])]], 1836 ^ _35311 : [(1837 ^ _35311) ^ [] : [-(icext(_57396, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]))], (1839 ^ _35311) ^ [] : [icext(_57392, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]), icext(_57388, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396]), icext(_57384, 1833 ^ [_57384, _57386, _57388, _57390, _57392, _57394, _57396])]]]]], (1859 ^ _35311) ^ [_59091, _59093, _59095] : [-(idc(_59095)), iext(uri_rdf_first, _59093, _59091), iext(uri_rdf_rest, _59093, uri_rdf_nil), idc(_59091), iext(uri_owl_intersectionOf, _59095, _59093)], (1877 ^ _35311) ^ [_59334, _59336, _59338, _59340, _59342] : [-(idc(_59342)), iext(uri_rdf_first, _59340, _59338), iext(uri_rdf_rest, _59340, _59336), iext(uri_rdf_first, _59336, _59334), iext(uri_rdf_rest, _59336, uri_rdf_nil), idc(_59338), idc(_59334), iext(uri_owl_intersectionOf, _59342, _59340)], (1907 ^ _35311) ^ [_59769, _59771, _59773, _59775, _59777, _59779, _59781] : [-(idc(_59781)), iext(uri_rdf_first, _59779, _59777), iext(uri_rdf_rest, _59779, _59775), iext(uri_rdf_first, _59775, _59773), iext(uri_rdf_rest, _59775, _59771), iext(uri_rdf_first, _59771, _59769), iext(uri_rdf_rest, _59771, uri_rdf_nil), idc(_59777), idc(_59773), idc(_59769), iext(uri_owl_intersectionOf, _59781, _59779)], (1949 ^ _35311) ^ [_60432] : [iext(uri_owl_unionOf, _60432, uri_rdf_nil), 1952 ^ _35311 : [(1953 ^ _35311) ^ [] : [-(ic(_60432))], (1955 ^ _35311) ^ [_60522] : [icext(_60432, _60522)]]], (1957 ^ _35311) ^ [_60547] : [-(iext(uri_owl_unionOf, _60547, uri_rdf_nil)), ic(_60547), -(icext(_60547, 1962 ^ [_60547]))], (1968 ^ _35311) ^ [_60687, _60689, _60691] : [iext(uri_rdf_first, _60689, _60687), iext(uri_rdf_rest, _60689, uri_rdf_nil), 1975 ^ _35311 : [(1976 ^ _35311) ^ [] : [iext(uri_owl_unionOf, _60691, _60689), 1979 ^ _35311 : [(1980 ^ _35311) ^ [] : [-(ic(_60691))], (1982 ^ _35311) ^ [] : [-(ic(_60687))], (1984 ^ _35311) ^ [_60936] : [icext(_60691, _60936), -(icext(_60687, _60936))], (1990 ^ _35311) ^ [_61013] : [icext(_60687, _61013), -(icext(_60691, _61013))]]], (1996 ^ _35311) ^ [] : [-(iext(uri_owl_unionOf, _60691, _60689)), ic(_60691), ic(_60687), 2008 ^ _35311 : [(2009 ^ _35311) ^ [] : [-(icext(_60691, 2005 ^ [_60687, _60689, _60691]))], (2011 ^ _35311) ^ [] : [icext(_60687, 2005 ^ [_60687, _60689, _60691])]], 2012 ^ _35311 : [(2013 ^ _35311) ^ [] : [-(icext(_60687, 2005 ^ [_60687, _60689, _60691]))], (2015 ^ _35311) ^ [] : [icext(_60691, 2005 ^ [_60687, _60689, _60691])]]]]], (2019 ^ _35311) ^ [_61434, _61436, _61438, _61440, _61442] : [iext(uri_rdf_first, _61440, _61438), iext(uri_rdf_rest, _61440, _61436), iext(uri_rdf_first, _61436, _61434), iext(uri_rdf_rest, _61436, uri_rdf_nil), 2034 ^ _35311 : [(2035 ^ _35311) ^ [] : [iext(uri_owl_unionOf, _61442, _61440), 2038 ^ _35311 : [(2039 ^ _35311) ^ [] : [-(ic(_61442))], (2041 ^ _35311) ^ [] : [-(ic(_61438))], (2043 ^ _35311) ^ [] : [-(ic(_61434))], (2055 ^ _35311) ^ [_61940] : [2056 ^ _35311 : [(2057 ^ _35311) ^ [] : [icext(_61438, _61940)], (2059 ^ _35311) ^ [] : [icext(_61434, _61940)]], -(icext(_61442, _61940))], (2045 ^ _35311) ^ [_61846] : [icext(_61442, _61846), -(icext(_61438, _61846)), -(icext(_61434, _61846))]]], (2063 ^ _35311) ^ [] : [-(iext(uri_owl_unionOf, _61442, _61440)), ic(_61442), ic(_61438), ic(_61434), 2079 ^ _35311 : [(2080 ^ _35311) ^ [] : [-(icext(_61442, 2076 ^ [_61434, _61436, _61438, _61440, _61442]))], (2082 ^ _35311) ^ [] : [icext(_61438, 2076 ^ [_61434, _61436, _61438, _61440, _61442])], (2084 ^ _35311) ^ [] : [icext(_61434, 2076 ^ [_61434, _61436, _61438, _61440, _61442])]], 2085 ^ _35311 : [(2092 ^ _35311) ^ [] : [icext(_61442, 2076 ^ [_61434, _61436, _61438, _61440, _61442])], (2086 ^ _35311) ^ [] : [-(icext(_61438, 2076 ^ [_61434, _61436, _61438, _61440, _61442])), -(icext(_61434, 2076 ^ [_61434, _61436, _61438, _61440, _61442]))]]]]], (2096 ^ _35311) ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574] : [iext(uri_rdf_first, _62572, _62570), iext(uri_rdf_rest, _62572, _62568), iext(uri_rdf_first, _62568, _62566), iext(uri_rdf_rest, _62568, _62564), iext(uri_rdf_first, _62564, _62562), iext(uri_rdf_rest, _62564, uri_rdf_nil), 2119 ^ _35311 : [(2120 ^ _35311) ^ [] : [iext(uri_owl_unionOf, _62574, _62572), 2123 ^ _35311 : [(2124 ^ _35311) ^ [] : [-(ic(_62574))], (2126 ^ _35311) ^ [] : [-(ic(_62570))], (2128 ^ _35311) ^ [] : [-(ic(_62566))], (2130 ^ _35311) ^ [] : [-(ic(_62562))], (2146 ^ _35311) ^ [_63264] : [2147 ^ _35311 : [(2148 ^ _35311) ^ [] : [icext(_62570, _63264)], (2150 ^ _35311) ^ [] : [icext(_62566, _63264)], (2152 ^ _35311) ^ [] : [icext(_62562, _63264)]], -(icext(_62574, _63264))], (2132 ^ _35311) ^ [_63153] : [icext(_62574, _63153), -(icext(_62570, _63153)), -(icext(_62566, _63153)), -(icext(_62562, _63153))]]], (2156 ^ _35311) ^ [] : [-(iext(uri_owl_unionOf, _62574, _62572)), ic(_62574), ic(_62570), ic(_62566), ic(_62562), 2176 ^ _35311 : [(2177 ^ _35311) ^ [] : [-(icext(_62574, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574]))], (2179 ^ _35311) ^ [] : [icext(_62570, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])], (2181 ^ _35311) ^ [] : [icext(_62566, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])], (2183 ^ _35311) ^ [] : [icext(_62562, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])]], 2184 ^ _35311 : [(2195 ^ _35311) ^ [] : [icext(_62574, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])], (2185 ^ _35311) ^ [] : [-(icext(_62570, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])), -(icext(_62566, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574])), -(icext(_62562, 2173 ^ [_62562, _62564, _62566, _62568, _62570, _62572, _62574]))]]]]], (2199 ^ _35311) ^ [_64110, _64112, _64114] : [-(idc(_64114)), iext(uri_rdf_first, _64112, _64110), iext(uri_rdf_rest, _64112, uri_rdf_nil), idc(_64110), iext(uri_owl_unionOf, _64114, _64112)], (2217 ^ _35311) ^ [_64353, _64355, _64357, _64359, _64361] : [-(idc(_64361)), iext(uri_rdf_first, _64359, _64357), iext(uri_rdf_rest, _64359, _64355), iext(uri_rdf_first, _64355, _64353), iext(uri_rdf_rest, _64355, uri_rdf_nil), idc(_64357), idc(_64353), iext(uri_owl_unionOf, _64361, _64359)], (2247 ^ _35311) ^ [_64788, _64790, _64792, _64794, _64796, _64798, _64800] : [-(idc(_64800)), iext(uri_rdf_first, _64798, _64796), iext(uri_rdf_rest, _64798, _64794), iext(uri_rdf_first, _64794, _64792), iext(uri_rdf_rest, _64794, _64790), iext(uri_rdf_first, _64790, _64788), iext(uri_rdf_rest, _64790, uri_rdf_nil), idc(_64796), idc(_64792), idc(_64788), iext(uri_owl_unionOf, _64800, _64798)], (2289 ^ _35311) ^ [_65451] : [iext(uri_owl_oneOf, _65451, uri_rdf_nil), 2292 ^ _35311 : [(2293 ^ _35311) ^ [] : [-(ic(_65451))], (2295 ^ _35311) ^ [_65541] : [icext(_65451, _65541)]]], (2297 ^ _35311) ^ [_65566] : [-(iext(uri_owl_oneOf, _65566, uri_rdf_nil)), ic(_65566), -(icext(_65566, 2302 ^ [_65566]))], (2308 ^ _35311) ^ [_65706, _65708, _65710] : [iext(uri_rdf_first, _65708, _65706), iext(uri_rdf_rest, _65708, uri_rdf_nil), 2315 ^ _35311 : [(2334 ^ _35311) ^ [] : [-(iext(uri_owl_oneOf, _65710, _65708)), ic(_65710), 2342 ^ _35311 : [(2343 ^ _35311) ^ [] : [-(icext(_65710, 2339 ^ [_65706, _65708, _65710]))], (2345 ^ _35311) ^ [] : [2339 ^ [_65706, _65708, _65710] = _65706]], 2346 ^ _35311 : [(2347 ^ _35311) ^ [] : [-(2339 ^ [_65706, _65708, _65710] = _65706)], (2349 ^ _35311) ^ [] : [icext(_65710, 2339 ^ [_65706, _65708, _65710])]]], (2316 ^ _35311) ^ [] : [iext(uri_owl_oneOf, _65710, _65708), 2319 ^ _35311 : [(2320 ^ _35311) ^ [] : [-(ic(_65710))], (2322 ^ _35311) ^ [_65930] : [icext(_65710, _65930), -(_65930 = _65706)], (2328 ^ _35311) ^ [_66007] : [_66007 = _65706, -(icext(_65710, _66007))]]]]], (2353 ^ _35311) ^ [_66379, _66381, _66383, _66385, _66387] : [iext(uri_rdf_first, _66385, _66383), iext(uri_rdf_rest, _66385, _66381), iext(uri_rdf_first, _66381, _66379), iext(uri_rdf_rest, _66381, uri_rdf_nil), 2368 ^ _35311 : [(2393 ^ _35311) ^ [] : [-(iext(uri_owl_oneOf, _66387, _66385)), ic(_66387), 2401 ^ _35311 : [(2402 ^ _35311) ^ [] : [-(icext(_66387, 2398 ^ [_66379, _66381, _66383, _66385, _66387]))], (2404 ^ _35311) ^ [] : [2398 ^ [_66379, _66381, _66383, _66385, _66387] = _66383], (2406 ^ _35311) ^ [] : [2398 ^ [_66379, _66381, _66383, _66385, _66387] = _66379]], 2407 ^ _35311 : [(2414 ^ _35311) ^ [] : [icext(_66387, 2398 ^ [_66379, _66381, _66383, _66385, _66387])], (2408 ^ _35311) ^ [] : [-(2398 ^ [_66379, _66381, _66383, _66385, _66387] = _66383), -(2398 ^ [_66379, _66381, _66383, _66385, _66387] = _66379)]]], (2369 ^ _35311) ^ [] : [iext(uri_owl_oneOf, _66387, _66385), 2372 ^ _35311 : [(2373 ^ _35311) ^ [] : [-(ic(_66387))], (2385 ^ _35311) ^ [_66835] : [2386 ^ _35311 : [(2387 ^ _35311) ^ [] : [_66835 = _66383], (2389 ^ _35311) ^ [] : [_66835 = _66379]], -(icext(_66387, _66835))], (2375 ^ _35311) ^ [_66741] : [icext(_66387, _66741), -(_66741 = _66383), -(_66741 = _66379)]]]]], (2418 ^ _35311) ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] : [iext(uri_rdf_first, _67361, _67359), iext(uri_rdf_rest, _67361, _67357), iext(uri_rdf_first, _67357, _67355), iext(uri_rdf_rest, _67357, _67353), iext(uri_rdf_first, _67353, _67351), iext(uri_rdf_rest, _67353, uri_rdf_nil), 2441 ^ _35311 : [(2472 ^ _35311) ^ [] : [-(iext(uri_owl_oneOf, _67363, _67361)), ic(_67363), 2480 ^ _35311 : [(2481 ^ _35311) ^ [] : [-(icext(_67363, 2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363]))], (2483 ^ _35311) ^ [] : [2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67359], (2485 ^ _35311) ^ [] : [2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67355], (2487 ^ _35311) ^ [] : [2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67351]], 2488 ^ _35311 : [(2499 ^ _35311) ^ [] : [icext(_67363, 2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363])], (2489 ^ _35311) ^ [] : [-(2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67359), -(2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67355), -(2477 ^ [_67351, _67353, _67355, _67357, _67359, _67361, _67363] = _67351)]]], (2442 ^ _35311) ^ [] : [iext(uri_owl_oneOf, _67363, _67361), 2445 ^ _35311 : [(2446 ^ _35311) ^ [] : [-(ic(_67363))], (2462 ^ _35311) ^ [_67978] : [2463 ^ _35311 : [(2464 ^ _35311) ^ [] : [_67978 = _67359], (2466 ^ _35311) ^ [] : [_67978 = _67355], (2468 ^ _35311) ^ [] : [_67978 = _67351]], -(icext(_67363, _67978))], (2448 ^ _35311) ^ [_67867] : [icext(_67363, _67867), -(_67867 = _67359), -(_67867 = _67355), -(_67867 = _67351)]]]]], (2503 ^ _35311) ^ [_68653, _68655, _68657] : [-(idc(_68657)), iext(uri_rdf_first, _68655, _68653), iext(uri_rdf_rest, _68655, uri_rdf_nil), lv(_68653), iext(uri_owl_oneOf, _68657, _68655)], (2521 ^ _35311) ^ [_68896, _68898, _68900, _68902, _68904] : [-(idc(_68904)), iext(uri_rdf_first, _68902, _68900), iext(uri_rdf_rest, _68902, _68898), iext(uri_rdf_first, _68898, _68896), iext(uri_rdf_rest, _68898, uri_rdf_nil), lv(_68900), lv(_68896), iext(uri_owl_oneOf, _68904, _68902)], (2551 ^ _35311) ^ [_69331, _69333, _69335, _69337, _69339, _69341, _69343] : [-(idc(_69343)), iext(uri_rdf_first, _69341, _69339), iext(uri_rdf_rest, _69341, _69337), iext(uri_rdf_first, _69337, _69335), iext(uri_rdf_rest, _69337, _69333), iext(uri_rdf_first, _69333, _69331), iext(uri_rdf_rest, _69333, uri_rdf_nil), lv(_69339), lv(_69335), lv(_69331), iext(uri_owl_oneOf, _69343, _69341)], (2593 ^ _35311) ^ [_69982, _69984, _69986] : [iext(uri_owl_allValuesFrom, _69986, _69982), iext(uri_owl_onProperty, _69986, _69984), 2600 ^ _35311 : [(2611 ^ _35311) ^ [_70282] : [2613 ^ _35311 : [(2614 ^ _35311) ^ [] : [-(iext(_69984, _70282, 2612 ^ [_69982, _69984, _69986, _70282]))], (2616 ^ _35311) ^ [] : [icext(_69982, 2612 ^ [_69982, _69984, _69986, _70282])]], -(icext(_69986, _70282))], (2601 ^ _35311) ^ [_70129] : [icext(_69986, _70129), 2604 ^ _35311 : [(2605 ^ _35311) ^ [_70197] : [iext(_69984, _70129, _70197), -(icext(_69982, _70197))]]]]], (2620 ^ _35311) ^ [_70448, _70450] : [iext(uri_owl_cardinality, _70450, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70450, _70448), 2627 ^ _35311 : [(2628 ^ _35311) ^ [_70587] : [icext(_70450, _70587), 2631 ^ _35311 : [(2632 ^ _35311) ^ [_70654] : [iext(_70448, _70587, _70654)]]], (2634 ^ _35311) ^ [_70676] : [-(iext(_70448, _70676, 2635 ^ [_70448, _70450, _70676])), -(icext(_70450, _70676))]]], (2641 ^ _35311) ^ [_70728, _70730] : [iext(uri_owl_cardinality, _70730, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70730, _70728), 2648 ^ _35311 : [(2666 ^ _35311) ^ [_71163] : [-(icext(_70730, _71163)), 2669 ^ _35311 : [(2670 ^ _35311) ^ [_71258] : [iext(_70728, _71163, _71258)]], 2673 ^ _35311 : [(2674 ^ _35311) ^ [] : [-(iext(_70728, _71163, 2671 ^ [_70728, _70730, _71163]))], (2676 ^ _35311) ^ [] : [-(iext(_70728, _71163, 2672 ^ [_70728, _70730, _71163]))], (2678 ^ _35311) ^ [] : [2672 ^ [_70728, _70730, _71163] = 2671 ^ [_70728, _70730, _71163]]]], (2649 ^ _35311) ^ [_70895] : [icext(_70730, _70895), 2653 ^ _35311 : [(2654 ^ _35311) ^ [] : [-(iext(_70728, _70895, 2652 ^ [_70728, _70730, _70895]))], (2656 ^ _35311) ^ [_71016, _71018] : [-(_71016 = _71018), iext(_70728, _70895, _71018), iext(_70728, _70895, _71016)]]]]], (2682 ^ _35311) ^ [_71453, _71455] : [iext(uri_owl_cardinality, _71455, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71455, _71453), 2689 ^ _35311 : [(2720 ^ _35311) ^ [_72159] : [-(icext(_71455, _72159)), 2736 ^ _35311 : [(2737 ^ _35311) ^ [] : [-(iext(_71453, _72159, 2733 ^ [_71453, _71455, _72159]))], (2739 ^ _35311) ^ [] : [-(iext(_71453, _72159, 2734 ^ [_71453, _71455, _72159]))], (2741 ^ _35311) ^ [] : [-(iext(_71453, _72159, 2735 ^ [_71453, _71455, _72159]))], (2743 ^ _35311) ^ [] : [2735 ^ [_71453, _71455, _72159] = 2733 ^ [_71453, _71455, _72159]], (2745 ^ _35311) ^ [] : [2735 ^ [_71453, _71455, _72159] = 2734 ^ [_71453, _71455, _72159]]], 2723 ^ _35311 : [(2724 ^ _35311) ^ [_72287, _72289] : [iext(_71453, _72159, _72289), iext(_71453, _72159, _72287), -(_72289 = _72287)]]], (2690 ^ _35311) ^ [_71658] : [icext(_71455, _71658), 2695 ^ _35311 : [(2696 ^ _35311) ^ [] : [-(iext(_71453, _71658, 2693 ^ [_71453, _71455, _71658]))], (2698 ^ _35311) ^ [] : [-(iext(_71453, _71658, 2694 ^ [_71453, _71455, _71658]))], (2700 ^ _35311) ^ [] : [2693 ^ [_71453, _71455, _71658] = 2694 ^ [_71453, _71455, _71658]], (2702 ^ _35311) ^ [_71927, _71929, _71931] : [-(_71927 = _71931), -(_71927 = _71929), iext(_71453, _71658, _71931), iext(_71453, _71658, _71929), iext(_71453, _71658, _71927)]]]]], (2749 ^ _35311) ^ [_72697, _72699] : [iext(uri_owl_cardinality, _72699, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72699, _72697), 2756 ^ _35311 : [(2757 ^ _35311) ^ [_72948] : [icext(_72699, _72948), 2763 ^ _35311 : [(2764 ^ _35311) ^ [] : [-(iext(_72697, _72948, 2760 ^ [_72697, _72699, _72948]))], (2766 ^ _35311) ^ [] : [-(iext(_72697, _72948, 2761 ^ [_72697, _72699, _72948]))], (2768 ^ _35311) ^ [] : [-(iext(_72697, _72948, 2762 ^ [_72697, _72699, _72948]))], (2770 ^ _35311) ^ [] : [2760 ^ [_72697, _72699, _72948] = 2761 ^ [_72697, _72699, _72948]], (2772 ^ _35311) ^ [] : [2760 ^ [_72697, _72699, _72948] = 2762 ^ [_72697, _72699, _72948]], (2774 ^ _35311) ^ [] : [2761 ^ [_72697, _72699, _72948] = 2762 ^ [_72697, _72699, _72948]], (2776 ^ _35311) ^ [_73924, _73926, _73928, _73930] : [-(_73924 = _73930), -(_73924 = _73928), -(_73924 = _73926), iext(_72697, _72948, _73930), iext(_72697, _72948, _73928), iext(_72697, _72948, _73926), iext(_72697, _72948, _73924)]]], (2802 ^ _35311) ^ [_74698] : [-(icext(_72699, _74698)), 2831 ^ _35311 : [(2832 ^ _35311) ^ [] : [-(iext(_72697, _74698, 2827 ^ [_72697, _72699, _74698]))], (2834 ^ _35311) ^ [] : [-(iext(_72697, _74698, 2828 ^ [_72697, _72699, _74698]))], (2836 ^ _35311) ^ [] : [-(iext(_72697, _74698, 2829 ^ [_72697, _72699, _74698]))], (2838 ^ _35311) ^ [] : [-(iext(_72697, _74698, 2830 ^ [_72697, _72699, _74698]))], (2840 ^ _35311) ^ [] : [2830 ^ [_72697, _72699, _74698] = 2827 ^ [_72697, _72699, _74698]], (2842 ^ _35311) ^ [] : [2830 ^ [_72697, _72699, _74698] = 2828 ^ [_72697, _72699, _74698]], (2844 ^ _35311) ^ [] : [2830 ^ [_72697, _72699, _74698] = 2829 ^ [_72697, _72699, _74698]]], 2805 ^ _35311 : [(2806 ^ _35311) ^ [_74969, _74971, _74973] : [iext(_72697, _74698, _74973), iext(_72697, _74698, _74971), iext(_72697, _74698, _74969), -(_74973 = _74971), -(_74973 = _74969), -(_74971 = _74969)]]]]], (2848 ^ _35311) ^ [_76783, _76785, _76787] : [iext(uri_owl_qualifiedCardinality, _76787, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76787, _76785), iext(uri_owl_onDataRange, _76787, _76783), 2859 ^ _35311 : [(2860 ^ _35311) ^ [] : [-(iodp(_76785))], (2876 ^ _35311) ^ [_77688] : [2878 ^ _35311 : [(2879 ^ _35311) ^ [] : [-(lv(2877 ^ [_76783, _76785, _76787, _77688]))], (2881 ^ _35311) ^ [] : [-(iext(_76785, _77688, 2877 ^ [_76783, _76785, _76787, _77688]))], (2883 ^ _35311) ^ [] : [-(icext(_76783, 2877 ^ [_76783, _76785, _76787, _77688]))]], -(icext(_76787, _77688))], (2862 ^ _35311) ^ [_77236] : [icext(_76787, _77236), 2865 ^ _35311 : [(2866 ^ _35311) ^ [_77395] : [lv(_77395), iext(_76785, _77236, _77395), icext(_76783, _77395)]]]]], (2887 ^ _35311) ^ [_78206, _78208, _78210] : [iext(uri_owl_qualifiedCardinality, _78210, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _78210, _78208), iext(uri_owl_onDataRange, _78210, _78206), 2898 ^ _35311 : [(2899 ^ _35311) ^ [] : [-(iodp(_78208))], (2938 ^ _35311) ^ [_79974] : [-(icext(_78210, _79974)), 2953 ^ _35311 : [(2954 ^ _35311) ^ [] : [-(lv(2951 ^ [_78206, _78208, _78210, _79974]))], (2956 ^ _35311) ^ [] : [-(iext(_78208, _79974, 2951 ^ [_78206, _78208, _78210, _79974]))], (2958 ^ _35311) ^ [] : [-(icext(_78206, 2951 ^ [_78206, _78208, _78210, _79974]))], (2960 ^ _35311) ^ [] : [-(lv(2952 ^ [_78206, _78208, _78210, _79974]))], (2962 ^ _35311) ^ [] : [-(iext(_78208, _79974, 2952 ^ [_78206, _78208, _78210, _79974]))], (2964 ^ _35311) ^ [] : [-(icext(_78206, 2952 ^ [_78206, _78208, _78210, _79974]))], (2966 ^ _35311) ^ [] : [2952 ^ [_78206, _78208, _78210, _79974] = 2951 ^ [_78206, _78208, _78210, _79974]]], 2941 ^ _35311 : [(2942 ^ _35311) ^ [_80172] : [lv(_80172), iext(_78208, _79974, _80172), icext(_78206, _80172)]]], (2901 ^ _35311) ^ [_78709] : [icext(_78210, _78709), 2905 ^ _35311 : [(2906 ^ _35311) ^ [] : [-(lv(2904 ^ [_78206, _78208, _78210, _78709]))], (2908 ^ _35311) ^ [] : [-(iext(_78208, _78709, 2904 ^ [_78206, _78208, _78210, _78709]))], (2910 ^ _35311) ^ [] : [-(icext(_78206, 2904 ^ [_78206, _78208, _78210, _78709]))], (2912 ^ _35311) ^ [_79244, _79246] : [-(_79244 = _79246), lv(_79246), iext(_78208, _78709, _79246), icext(_78206, _79246), lv(_79244), iext(_78208, _78709, _79244), icext(_78206, _79244)]]]]], (2970 ^ _35311) ^ [_81401, _81403, _81405] : [iext(uri_owl_qualifiedCardinality, _81405, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _81405, _81403), iext(uri_owl_onDataRange, _81405, _81401), 2981 ^ _35311 : [(2982 ^ _35311) ^ [] : [-(iodp(_81403))], (3046 ^ _35311) ^ [_84284] : [-(icext(_81405, _84284)), 3078 ^ _35311 : [(3079 ^ _35311) ^ [] : [-(lv(3075 ^ [_81401, _81403, _81405, _84284]))], (3081 ^ _35311) ^ [] : [-(iext(_81403, _84284, 3075 ^ [_81401, _81403, _81405, _84284]))], (3083 ^ _35311) ^ [] : [-(icext(_81401, 3075 ^ [_81401, _81403, _81405, _84284]))], (3085 ^ _35311) ^ [] : [-(lv(3076 ^ [_81401, _81403, _81405, _84284]))], (3087 ^ _35311) ^ [] : [-(iext(_81403, _84284, 3076 ^ [_81401, _81403, _81405, _84284]))], (3089 ^ _35311) ^ [] : [-(icext(_81401, 3076 ^ [_81401, _81403, _81405, _84284]))], (3091 ^ _35311) ^ [] : [-(lv(3077 ^ [_81401, _81403, _81405, _84284]))], (3093 ^ _35311) ^ [] : [-(iext(_81403, _84284, 3077 ^ [_81401, _81403, _81405, _84284]))], (3095 ^ _35311) ^ [] : [-(icext(_81401, 3077 ^ [_81401, _81403, _81405, _84284]))], (3097 ^ _35311) ^ [] : [3077 ^ [_81401, _81403, _81405, _84284] = 3075 ^ [_81401, _81403, _81405, _84284]], (3099 ^ _35311) ^ [] : [3077 ^ [_81401, _81403, _81405, _84284] = 3076 ^ [_81401, _81403, _81405, _84284]]], 3049 ^ _35311 : [(3050 ^ _35311) ^ [_84556, _84558] : [lv(_84558), iext(_81403, _84284, _84558), icext(_81401, _84558), lv(_84556), iext(_81403, _84284, _84556), icext(_81401, _84556), -(_84558 = _84556)]]], (2984 ^ _35311) ^ [_81964] : [icext(_81405, _81964), 2989 ^ _35311 : [(2990 ^ _35311) ^ [] : [-(lv(2987 ^ [_81401, _81403, _81405, _81964]))], (2992 ^ _35311) ^ [] : [-(iext(_81403, _81964, 2987 ^ [_81401, _81403, _81405, _81964]))], (2994 ^ _35311) ^ [] : [-(icext(_81401, 2987 ^ [_81401, _81403, _81405, _81964]))], (2996 ^ _35311) ^ [] : [-(lv(2988 ^ [_81401, _81403, _81405, _81964]))], (2998 ^ _35311) ^ [] : [-(iext(_81403, _81964, 2988 ^ [_81401, _81403, _81405, _81964]))], (3000 ^ _35311) ^ [] : [-(icext(_81401, 2988 ^ [_81401, _81403, _81405, _81964]))], (3002 ^ _35311) ^ [] : [2987 ^ [_81401, _81403, _81405, _81964] = 2988 ^ [_81401, _81403, _81405, _81964]], (3004 ^ _35311) ^ [_83081, _83083, _83085] : [-(_83081 = _83085), -(_83081 = _83083), lv(_83085), iext(_81403, _81964, _83085), icext(_81401, _83085), lv(_83083), iext(_81403, _81964, _83083), icext(_81401, _83083), lv(_83081), iext(_81403, _81964, _83081), icext(_81401, _83081)]]]]], (3103 ^ _35311) ^ [_86825, _86827, _86829] : [iext(uri_owl_qualifiedCardinality, _86829, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _86829, _86827), iext(uri_owl_onDataRange, _86829, _86825), 3114 ^ _35311 : [(3115 ^ _35311) ^ [] : [-(iodp(_86827))], (3206 ^ _35311) ^ [_91124] : [-(icext(_86829, _91124)), 3259 ^ _35311 : [(3260 ^ _35311) ^ [] : [-(lv(3255 ^ [_86825, _86827, _86829, _91124]))], (3262 ^ _35311) ^ [] : [-(iext(_86827, _91124, 3255 ^ [_86825, _86827, _86829, _91124]))], (3264 ^ _35311) ^ [] : [-(icext(_86825, 3255 ^ [_86825, _86827, _86829, _91124]))], (3266 ^ _35311) ^ [] : [-(lv(3256 ^ [_86825, _86827, _86829, _91124]))], (3268 ^ _35311) ^ [] : [-(iext(_86827, _91124, 3256 ^ [_86825, _86827, _86829, _91124]))], (3270 ^ _35311) ^ [] : [-(icext(_86825, 3256 ^ [_86825, _86827, _86829, _91124]))], (3272 ^ _35311) ^ [] : [-(lv(3257 ^ [_86825, _86827, _86829, _91124]))], (3274 ^ _35311) ^ [] : [-(iext(_86827, _91124, 3257 ^ [_86825, _86827, _86829, _91124]))], (3276 ^ _35311) ^ [] : [-(icext(_86825, 3257 ^ [_86825, _86827, _86829, _91124]))], (3278 ^ _35311) ^ [] : [-(lv(3258 ^ [_86825, _86827, _86829, _91124]))], (3280 ^ _35311) ^ [] : [-(iext(_86827, _91124, 3258 ^ [_86825, _86827, _86829, _91124]))], (3282 ^ _35311) ^ [] : [-(icext(_86825, 3258 ^ [_86825, _86827, _86829, _91124]))], (3284 ^ _35311) ^ [] : [3258 ^ [_86825, _86827, _86829, _91124] = 3255 ^ [_86825, _86827, _86829, _91124]], (3286 ^ _35311) ^ [] : [3258 ^ [_86825, _86827, _86829, _91124] = 3256 ^ [_86825, _86827, _86829, _91124]], (3288 ^ _35311) ^ [] : [3258 ^ [_86825, _86827, _86829, _91124] = 3257 ^ [_86825, _86827, _86829, _91124]]], 3209 ^ _35311 : [(3210 ^ _35311) ^ [_91478, _91480, _91482] : [lv(_91482), iext(_86827, _91124, _91482), icext(_86825, _91482), lv(_91480), iext(_86827, _91124, _91480), icext(_86825, _91480), lv(_91478), iext(_86827, _91124, _91478), icext(_86825, _91478), -(_91482 = _91480), -(_91482 = _91478), -(_91480 = _91478)]]], (3117 ^ _35311) ^ [_87456] : [icext(_86829, _87456), 3123 ^ _35311 : [(3124 ^ _35311) ^ [] : [-(lv(3120 ^ [_86825, _86827, _86829, _87456]))], (3126 ^ _35311) ^ [] : [-(iext(_86827, _87456, 3120 ^ [_86825, _86827, _86829, _87456]))], (3128 ^ _35311) ^ [] : [-(icext(_86825, 3120 ^ [_86825, _86827, _86829, _87456]))], (3130 ^ _35311) ^ [] : [-(lv(3121 ^ [_86825, _86827, _86829, _87456]))], (3132 ^ _35311) ^ [] : [-(iext(_86827, _87456, 3121 ^ [_86825, _86827, _86829, _87456]))], (3134 ^ _35311) ^ [] : [-(icext(_86825, 3121 ^ [_86825, _86827, _86829, _87456]))], (3136 ^ _35311) ^ [] : [-(lv(3122 ^ [_86825, _86827, _86829, _87456]))], (3138 ^ _35311) ^ [] : [-(iext(_86827, _87456, 3122 ^ [_86825, _86827, _86829, _87456]))], (3140 ^ _35311) ^ [] : [-(icext(_86825, 3122 ^ [_86825, _86827, _86829, _87456]))], (3142 ^ _35311) ^ [] : [3120 ^ [_86825, _86827, _86829, _87456] = 3121 ^ [_86825, _86827, _86829, _87456]], (3144 ^ _35311) ^ [] : [3120 ^ [_86825, _86827, _86829, _87456] = 3122 ^ [_86825, _86827, _86829, _87456]], (3146 ^ _35311) ^ [] : [3121 ^ [_86825, _86827, _86829, _87456] = 3122 ^ [_86825, _86827, _86829, _87456]], (3148 ^ _35311) ^ [_89414, _89416, _89418, _89420] : [-(_89414 = _89420), -(_89414 = _89418), -(_89414 = _89416), lv(_89420), iext(_86827, _87456, _89420), icext(_86825, _89420), lv(_89418), iext(_86827, _87456, _89418), icext(_86825, _89418), lv(_89416), iext(_86827, _87456, _89416), icext(_86825, _89416), lv(_89414), iext(_86827, _87456, _89414), icext(_86825, _89414)]]]]], (3292 ^ _35311) ^ [_95028, _95030, _95032] : [iext(uri_owl_qualifiedCardinality, _95032, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95032, _95030), iext(uri_owl_onClass, _95032, _95028), 3303 ^ _35311 : [(3314 ^ _35311) ^ [_95752] : [3316 ^ _35311 : [(3317 ^ _35311) ^ [] : [-(iext(_95030, _95752, 3315 ^ [_95028, _95030, _95032, _95752]))], (3319 ^ _35311) ^ [] : [-(icext(_95028, 3315 ^ [_95028, _95030, _95032, _95752]))]], -(icext(_95032, _95752))], (3304 ^ _35311) ^ [_95404] : [icext(_95032, _95404), 3307 ^ _35311 : [(3308 ^ _35311) ^ [_95558] : [iext(_95030, _95404, _95558), icext(_95028, _95558)]]]]], (3323 ^ _35311) ^ [_96176, _96178, _96180] : [iext(uri_owl_qualifiedCardinality, _96180, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96180, _96178), iext(uri_owl_onClass, _96180, _96176), 3334 ^ _35311 : [(3362 ^ _35311) ^ [_97547] : [-(icext(_96180, _97547)), 3373 ^ _35311 : [(3374 ^ _35311) ^ [] : [-(iext(_96178, _97547, 3371 ^ [_96176, _96178, _96180, _97547]))], (3376 ^ _35311) ^ [] : [-(icext(_96176, 3371 ^ [_96176, _96178, _96180, _97547]))], (3378 ^ _35311) ^ [] : [-(iext(_96178, _97547, 3372 ^ [_96176, _96178, _96180, _97547]))], (3380 ^ _35311) ^ [] : [-(icext(_96176, 3372 ^ [_96176, _96178, _96180, _97547]))], (3382 ^ _35311) ^ [] : [3372 ^ [_96176, _96178, _96180, _97547] = 3371 ^ [_96176, _96178, _96180, _97547]]], 3365 ^ _35311 : [(3366 ^ _35311) ^ [_97730] : [iext(_96178, _97547, _97730), icext(_96176, _97730)]]], (3335 ^ _35311) ^ [_96592] : [icext(_96180, _96592), 3339 ^ _35311 : [(3340 ^ _35311) ^ [] : [-(iext(_96178, _96592, 3338 ^ [_96176, _96178, _96180, _96592]))], (3342 ^ _35311) ^ [] : [-(icext(_96176, 3338 ^ [_96176, _96178, _96180, _96592]))], (3344 ^ _35311) ^ [_97025, _97027] : [-(_97025 = _97027), iext(_96178, _96592, _97027), icext(_96176, _97027), iext(_96178, _96592, _97025), icext(_96176, _97025)]]]]], (3386 ^ _35311) ^ [_98659, _98661, _98663] : [iext(uri_owl_qualifiedCardinality, _98663, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _98663, _98661), iext(uri_owl_onClass, _98663, _98659), 3397 ^ _35311 : [(3444 ^ _35311) ^ [_100900] : [-(icext(_98663, _100900)), 3468 ^ _35311 : [(3469 ^ _35311) ^ [] : [-(iext(_98661, _100900, 3465 ^ [_98659, _98661, _98663, _100900]))], (3471 ^ _35311) ^ [] : [-(icext(_98659, 3465 ^ [_98659, _98661, _98663, _100900]))], (3473 ^ _35311) ^ [] : [-(iext(_98661, _100900, 3466 ^ [_98659, _98661, _98663, _100900]))], (3475 ^ _35311) ^ [] : [-(icext(_98659, 3466 ^ [_98659, _98661, _98663, _100900]))], (3477 ^ _35311) ^ [] : [-(iext(_98661, _100900, 3467 ^ [_98659, _98661, _98663, _100900]))], (3479 ^ _35311) ^ [] : [-(icext(_98659, 3467 ^ [_98659, _98661, _98663, _100900]))], (3481 ^ _35311) ^ [] : [3467 ^ [_98659, _98661, _98663, _100900] = 3465 ^ [_98659, _98661, _98663, _100900]], (3483 ^ _35311) ^ [] : [3467 ^ [_98659, _98661, _98663, _100900] = 3466 ^ [_98659, _98661, _98663, _100900]]], 3447 ^ _35311 : [(3448 ^ _35311) ^ [_101147, _101149] : [iext(_98661, _100900, _101149), icext(_98659, _101149), iext(_98661, _100900, _101147), icext(_98659, _101147), -(_101149 = _101147)]]], (3398 ^ _35311) ^ [_99125] : [icext(_98663, _99125), 3403 ^ _35311 : [(3404 ^ _35311) ^ [] : [-(iext(_98661, _99125, 3401 ^ [_98659, _98661, _98663, _99125]))], (3406 ^ _35311) ^ [] : [-(icext(_98659, 3401 ^ [_98659, _98661, _98663, _99125]))], (3408 ^ _35311) ^ [] : [-(iext(_98661, _99125, 3402 ^ [_98659, _98661, _98663, _99125]))], (3410 ^ _35311) ^ [] : [-(icext(_98659, 3402 ^ [_98659, _98661, _98663, _99125]))], (3412 ^ _35311) ^ [] : [3401 ^ [_98659, _98661, _98663, _99125] = 3402 ^ [_98659, _98661, _98663, _99125]], (3414 ^ _35311) ^ [_100022, _100024, _100026] : [-(_100022 = _100026), -(_100022 = _100024), iext(_98661, _99125, _100026), icext(_98659, _100026), iext(_98661, _99125, _100024), icext(_98659, _100024), iext(_98661, _99125, _100022), icext(_98659, _100022)]]]]], (3487 ^ _35311) ^ [_102878, _102880, _102882] : [iext(uri_owl_qualifiedCardinality, _102882, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102882, _102880), iext(uri_owl_onClass, _102882, _102878), 3498 ^ _35311 : [(3566 ^ _35311) ^ [_106261] : [-(icext(_102882, _106261)), 3607 ^ _35311 : [(3608 ^ _35311) ^ [] : [-(iext(_102880, _106261, 3603 ^ [_102878, _102880, _102882, _106261]))], (3610 ^ _35311) ^ [] : [-(icext(_102878, 3603 ^ [_102878, _102880, _102882, _106261]))], (3612 ^ _35311) ^ [] : [-(iext(_102880, _106261, 3604 ^ [_102878, _102880, _102882, _106261]))], (3614 ^ _35311) ^ [] : [-(icext(_102878, 3604 ^ [_102878, _102880, _102882, _106261]))], (3616 ^ _35311) ^ [] : [-(iext(_102880, _106261, 3605 ^ [_102878, _102880, _102882, _106261]))], (3618 ^ _35311) ^ [] : [-(icext(_102878, 3605 ^ [_102878, _102880, _102882, _106261]))], (3620 ^ _35311) ^ [] : [-(iext(_102880, _106261, 3606 ^ [_102878, _102880, _102882, _106261]))], (3622 ^ _35311) ^ [] : [-(icext(_102878, 3606 ^ [_102878, _102880, _102882, _106261]))], (3624 ^ _35311) ^ [] : [3606 ^ [_102878, _102880, _102882, _106261] = 3603 ^ [_102878, _102880, _102882, _106261]], (3626 ^ _35311) ^ [] : [3606 ^ [_102878, _102880, _102882, _106261] = 3604 ^ [_102878, _102880, _102882, _106261]], (3628 ^ _35311) ^ [] : [3606 ^ [_102878, _102880, _102882, _106261] = 3605 ^ [_102878, _102880, _102882, _106261]]], 3569 ^ _35311 : [(3570 ^ _35311) ^ [_106580, _106582, _106584] : [iext(_102880, _106261, _106584), icext(_102878, _106584), iext(_102880, _106261, _106582), icext(_102878, _106582), iext(_102880, _106261, _106580), icext(_102878, _106580), -(_106584 = _106582), -(_106584 = _106580), -(_106582 = _106580)]]], (3499 ^ _35311) ^ [_103402] : [icext(_102882, _103402), 3505 ^ _35311 : [(3506 ^ _35311) ^ [] : [-(iext(_102880, _103402, 3502 ^ [_102878, _102880, _102882, _103402]))], (3508 ^ _35311) ^ [] : [-(icext(_102878, 3502 ^ [_102878, _102880, _102882, _103402]))], (3510 ^ _35311) ^ [] : [-(iext(_102880, _103402, 3503 ^ [_102878, _102880, _102882, _103402]))], (3512 ^ _35311) ^ [] : [-(icext(_102878, 3503 ^ [_102878, _102880, _102882, _103402]))], (3514 ^ _35311) ^ [] : [-(iext(_102880, _103402, 3504 ^ [_102878, _102880, _102882, _103402]))], (3516 ^ _35311) ^ [] : [-(icext(_102878, 3504 ^ [_102878, _102880, _102882, _103402]))], (3518 ^ _35311) ^ [] : [3502 ^ [_102878, _102880, _102882, _103402] = 3503 ^ [_102878, _102880, _102882, _103402]], (3520 ^ _35311) ^ [] : [3502 ^ [_102878, _102880, _102882, _103402] = 3504 ^ [_102878, _102880, _102882, _103402]], (3522 ^ _35311) ^ [] : [3503 ^ [_102878, _102880, _102882, _103402] = 3504 ^ [_102878, _102880, _102882, _103402]], (3524 ^ _35311) ^ [_105001, _105003, _105005, _105007] : [-(_105001 = _105007), -(_105001 = _105005), -(_105001 = _105003), iext(_102880, _103402, _105007), icext(_102878, _105007), iext(_102880, _103402, _105005), icext(_102878, _105005), iext(_102880, _103402, _105003), icext(_102878, _105003), iext(_102880, _103402, _105001), icext(_102878, _105001)]]]]], (3632 ^ _35311) ^ [_109325, _109327, _109329] : [iext(uri_owl_hasSelf, _109329, _109325), iext(uri_owl_onProperty, _109329, _109327), 3639 ^ _35311 : [(3640 ^ _35311) ^ [_109593] : [icext(_109329, _109593), -(iext(_109327, _109593, _109593))], (3646 ^ _35311) ^ [_109775] : [iext(_109327, _109775, _109775), -(icext(_109329, _109775))]]], (3652 ^ _35311) ^ [_110028, _110030, _110032] : [iext(uri_owl_hasValue, _110032, _110028), iext(uri_owl_onProperty, _110032, _110030), 3659 ^ _35311 : [(3660 ^ _35311) ^ [_110296] : [icext(_110032, _110296), -(iext(_110030, _110296, _110028))], (3666 ^ _35311) ^ [_110478] : [iext(_110030, _110478, _110028), -(icext(_110032, _110478))]]], (3672 ^ _35311) ^ [_110717, _110719] : [iext(uri_owl_maxCardinality, _110719, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _110719, _110717), 3679 ^ _35311 : [(3680 ^ _35311) ^ [_110984] : [icext(_110719, _110984), 3683 ^ _35311 : [(3684 ^ _35311) ^ [_111110] : [iext(_110717, _110984, _111110)]]], (3686 ^ _35311) ^ [_111181] : [-(iext(_110717, _111181, 3687 ^ [_110717, _110719, _111181])), -(icext(_110719, _111181))]]], (3693 ^ _35311) ^ [_111479, _111481] : [iext(uri_owl_maxCardinality, _111481, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111481, _111479), 3700 ^ _35311 : [(3715 ^ _35311) ^ [_112230] : [3718 ^ _35311 : [(3719 ^ _35311) ^ [] : [-(iext(_111479, _112230, 3716 ^ [_111479, _111481, _112230]))], (3721 ^ _35311) ^ [] : [-(iext(_111479, _112230, 3717 ^ [_111479, _111481, _112230]))], (3723 ^ _35311) ^ [] : [3717 ^ [_111479, _111481, _112230] = 3716 ^ [_111479, _111481, _112230]]], -(icext(_111481, _112230))], (3701 ^ _35311) ^ [_111762] : [icext(_111481, _111762), 3704 ^ _35311 : [(3705 ^ _35311) ^ [_111934, _111936] : [-(_111934 = _111936), iext(_111479, _111762, _111936), iext(_111479, _111762, _111934)]]]]], (3727 ^ _35311) ^ [_112813, _112815] : [iext(uri_owl_maxCardinality, _112815, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _112815, _112813), 3734 ^ _35311 : [(3757 ^ _35311) ^ [_113839] : [3761 ^ _35311 : [(3762 ^ _35311) ^ [] : [-(iext(_112813, _113839, 3758 ^ [_112813, _112815, _113839]))], (3764 ^ _35311) ^ [] : [-(iext(_112813, _113839, 3759 ^ [_112813, _112815, _113839]))], (3766 ^ _35311) ^ [] : [-(iext(_112813, _113839, 3760 ^ [_112813, _112815, _113839]))], (3768 ^ _35311) ^ [] : [3760 ^ [_112813, _112815, _113839] = 3758 ^ [_112813, _112815, _113839]], (3770 ^ _35311) ^ [] : [3760 ^ [_112813, _112815, _113839] = 3759 ^ [_112813, _112815, _113839]]], -(icext(_112815, _113839))], (3735 ^ _35311) ^ [_113114] : [icext(_112815, _113114), 3738 ^ _35311 : [(3739 ^ _35311) ^ [_113318, _113320, _113322] : [-(_113318 = _113322), -(_113318 = _113320), iext(_112813, _113114, _113322), iext(_112813, _113114, _113320), iext(_112813, _113114, _113318)]]]]], (3774 ^ _35311) ^ [_114757, _114759] : [iext(uri_owl_maxCardinality, _114759, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _114759, _114757), 3781 ^ _35311 : [(3812 ^ _35311) ^ [_116074] : [3817 ^ _35311 : [(3818 ^ _35311) ^ [] : [-(iext(_114757, _116074, 3813 ^ [_114757, _114759, _116074]))], (3820 ^ _35311) ^ [] : [-(iext(_114757, _116074, 3814 ^ [_114757, _114759, _116074]))], (3822 ^ _35311) ^ [] : [-(iext(_114757, _116074, 3815 ^ [_114757, _114759, _116074]))], (3824 ^ _35311) ^ [] : [-(iext(_114757, _116074, 3816 ^ [_114757, _114759, _116074]))], (3826 ^ _35311) ^ [] : [3816 ^ [_114757, _114759, _116074] = 3813 ^ [_114757, _114759, _116074]], (3828 ^ _35311) ^ [] : [3816 ^ [_114757, _114759, _116074] = 3814 ^ [_114757, _114759, _116074]], (3830 ^ _35311) ^ [] : [3816 ^ [_114757, _114759, _116074] = 3815 ^ [_114757, _114759, _116074]]], -(icext(_114759, _116074))], (3782 ^ _35311) ^ [_115076] : [icext(_114759, _115076), 3785 ^ _35311 : [(3786 ^ _35311) ^ [_115312, _115314, _115316, _115318] : [-(_115312 = _115318), -(_115312 = _115316), -(_115312 = _115314), iext(_114757, _115076, _115318), iext(_114757, _115076, _115316), iext(_114757, _115076, _115314), iext(_114757, _115076, _115312)]]]]], (3834 ^ _35311) ^ [_117390, _117392, _117394] : [iext(uri_owl_maxQualifiedCardinality, _117394, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117394, _117392), iext(uri_owl_onDataRange, _117394, _117390), 3845 ^ _35311 : [(3846 ^ _35311) ^ [] : [-(iodp(_117392))], (3862 ^ _35311) ^ [_118295] : [3864 ^ _35311 : [(3865 ^ _35311) ^ [] : [-(lv(3863 ^ [_117390, _117392, _117394, _118295]))], (3867 ^ _35311) ^ [] : [-(iext(_117392, _118295, 3863 ^ [_117390, _117392, _117394, _118295]))], (3869 ^ _35311) ^ [] : [-(icext(_117390, 3863 ^ [_117390, _117392, _117394, _118295]))]], -(icext(_117394, _118295))], (3848 ^ _35311) ^ [_117843] : [icext(_117394, _117843), 3851 ^ _35311 : [(3852 ^ _35311) ^ [_118002] : [lv(_118002), iext(_117392, _117843, _118002), icext(_117390, _118002)]]]]], (3873 ^ _35311) ^ [_118813, _118815, _118817] : [iext(uri_owl_maxQualifiedCardinality, _118817, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118817, _118815), iext(uri_owl_onDataRange, _118817, _118813), 3884 ^ _35311 : [(3885 ^ _35311) ^ [] : [-(iodp(_118815))], (3917 ^ _35311) ^ [_120217] : [3920 ^ _35311 : [(3921 ^ _35311) ^ [] : [-(lv(3918 ^ [_118813, _118815, _118817, _120217]))], (3923 ^ _35311) ^ [] : [-(iext(_118815, _120217, 3918 ^ [_118813, _118815, _118817, _120217]))], (3925 ^ _35311) ^ [] : [-(icext(_118813, 3918 ^ [_118813, _118815, _118817, _120217]))], (3927 ^ _35311) ^ [] : [-(lv(3919 ^ [_118813, _118815, _118817, _120217]))], (3929 ^ _35311) ^ [] : [-(iext(_118815, _120217, 3919 ^ [_118813, _118815, _118817, _120217]))], (3931 ^ _35311) ^ [] : [-(icext(_118813, 3919 ^ [_118813, _118815, _118817, _120217]))], (3933 ^ _35311) ^ [] : [3919 ^ [_118813, _118815, _118817, _120217] = 3918 ^ [_118813, _118815, _118817, _120217]]], -(icext(_118817, _120217))], (3887 ^ _35311) ^ [_119293] : [icext(_118817, _119293), 3890 ^ _35311 : [(3891 ^ _35311) ^ [_119493, _119495] : [-(_119493 = _119495), lv(_119495), iext(_118815, _119293, _119495), icext(_118813, _119495), lv(_119493), iext(_118815, _119293, _119493), icext(_118813, _119493)]]]]], (3937 ^ _35311) ^ [_121276, _121278, _121280] : [iext(uri_owl_maxQualifiedCardinality, _121280, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121280, _121278), iext(uri_owl_onDataRange, _121280, _121276), 3948 ^ _35311 : [(3949 ^ _35311) ^ [] : [-(iodp(_121278))], (3997 ^ _35311) ^ [_123217] : [4001 ^ _35311 : [(4002 ^ _35311) ^ [] : [-(lv(3998 ^ [_121276, _121278, _121280, _123217]))], (4004 ^ _35311) ^ [] : [-(iext(_121278, _123217, 3998 ^ [_121276, _121278, _121280, _123217]))], (4006 ^ _35311) ^ [] : [-(icext(_121276, 3998 ^ [_121276, _121278, _121280, _123217]))], (4008 ^ _35311) ^ [] : [-(lv(3999 ^ [_121276, _121278, _121280, _123217]))], (4010 ^ _35311) ^ [] : [-(iext(_121278, _123217, 3999 ^ [_121276, _121278, _121280, _123217]))], (4012 ^ _35311) ^ [] : [-(icext(_121276, 3999 ^ [_121276, _121278, _121280, _123217]))], (4014 ^ _35311) ^ [] : [-(lv(4000 ^ [_121276, _121278, _121280, _123217]))], (4016 ^ _35311) ^ [] : [-(iext(_121278, _123217, 4000 ^ [_121276, _121278, _121280, _123217]))], (4018 ^ _35311) ^ [] : [-(icext(_121276, 4000 ^ [_121276, _121278, _121280, _123217]))], (4020 ^ _35311) ^ [] : [4000 ^ [_121276, _121278, _121280, _123217] = 3998 ^ [_121276, _121278, _121280, _123217]], (4022 ^ _35311) ^ [] : [4000 ^ [_121276, _121278, _121280, _123217] = 3999 ^ [_121276, _121278, _121280, _123217]]], -(icext(_121280, _123217))], (3951 ^ _35311) ^ [_121785] : [icext(_121280, _121785), 3954 ^ _35311 : [(3955 ^ _35311) ^ [_122028, _122030, _122032] : [-(_122028 = _122032), -(_122028 = _122030), lv(_122032), iext(_121278, _121785, _122032), icext(_121276, _122032), lv(_122030), iext(_121278, _121785, _122030), icext(_121276, _122030), lv(_122028), iext(_121278, _121785, _122028), icext(_121276, _122028)]]]]], (4026 ^ _35311) ^ [_124912, _124914, _124916] : [iext(uri_owl_maxQualifiedCardinality, _124916, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _124916, _124914), iext(uri_owl_onDataRange, _124916, _124912), 4037 ^ _35311 : [(4038 ^ _35311) ^ [] : [-(iodp(_124914))], (4102 ^ _35311) ^ [_127422] : [4107 ^ _35311 : [(4108 ^ _35311) ^ [] : [-(lv(4103 ^ [_124912, _124914, _124916, _127422]))], (4110 ^ _35311) ^ [] : [-(iext(_124914, _127422, 4103 ^ [_124912, _124914, _124916, _127422]))], (4112 ^ _35311) ^ [] : [-(icext(_124912, 4103 ^ [_124912, _124914, _124916, _127422]))], (4114 ^ _35311) ^ [] : [-(lv(4104 ^ [_124912, _124914, _124916, _127422]))], (4116 ^ _35311) ^ [] : [-(iext(_124914, _127422, 4104 ^ [_124912, _124914, _124916, _127422]))], (4118 ^ _35311) ^ [] : [-(icext(_124912, 4104 ^ [_124912, _124914, _124916, _127422]))], (4120 ^ _35311) ^ [] : [-(lv(4105 ^ [_124912, _124914, _124916, _127422]))], (4122 ^ _35311) ^ [] : [-(iext(_124914, _127422, 4105 ^ [_124912, _124914, _124916, _127422]))], (4124 ^ _35311) ^ [] : [-(icext(_124912, 4105 ^ [_124912, _124914, _124916, _127422]))], (4126 ^ _35311) ^ [] : [-(lv(4106 ^ [_124912, _124914, _124916, _127422]))], (4128 ^ _35311) ^ [] : [-(iext(_124914, _127422, 4106 ^ [_124912, _124914, _124916, _127422]))], (4130 ^ _35311) ^ [] : [-(icext(_124912, 4106 ^ [_124912, _124914, _124916, _127422]))], (4132 ^ _35311) ^ [] : [4106 ^ [_124912, _124914, _124916, _127422] = 4103 ^ [_124912, _124914, _124916, _127422]], (4134 ^ _35311) ^ [] : [4106 ^ [_124912, _124914, _124916, _127422] = 4104 ^ [_124912, _124914, _124916, _127422]], (4136 ^ _35311) ^ [] : [4106 ^ [_124912, _124914, _124916, _127422] = 4105 ^ [_124912, _124914, _124916, _127422]]], -(icext(_124916, _127422))], (4040 ^ _35311) ^ [_125450] : [icext(_124916, _125450), 4043 ^ _35311 : [(4044 ^ _35311) ^ [_125736, _125738, _125740, _125742] : [-(_125736 = _125742), -(_125736 = _125740), -(_125736 = _125738), lv(_125742), iext(_124914, _125450, _125742), icext(_124912, _125742), lv(_125740), iext(_124914, _125450, _125740), icext(_124912, _125740), lv(_125738), iext(_124914, _125450, _125738), icext(_124912, _125738), lv(_125736), iext(_124914, _125450, _125736), icext(_124912, _125736)]]]]], (4140 ^ _35311) ^ [_129850, _129852, _129854] : [iext(uri_owl_maxQualifiedCardinality, _129854, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _129854, _129852), iext(uri_owl_onClass, _129854, _129850), 4151 ^ _35311 : [(4162 ^ _35311) ^ [_130574] : [4164 ^ _35311 : [(4165 ^ _35311) ^ [] : [-(iext(_129852, _130574, 4163 ^ [_129850, _129852, _129854, _130574]))], (4167 ^ _35311) ^ [] : [-(icext(_129850, 4163 ^ [_129850, _129852, _129854, _130574]))]], -(icext(_129854, _130574))], (4152 ^ _35311) ^ [_130226] : [icext(_129854, _130226), 4155 ^ _35311 : [(4156 ^ _35311) ^ [_130380] : [iext(_129852, _130226, _130380), icext(_129850, _130380)]]]]], (4171 ^ _35311) ^ [_130998, _131000, _131002] : [iext(uri_owl_maxQualifiedCardinality, _131002, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131002, _131000), iext(uri_owl_onClass, _131002, _130998), 4182 ^ _35311 : [(4205 ^ _35311) ^ [_132104] : [4208 ^ _35311 : [(4209 ^ _35311) ^ [] : [-(iext(_131000, _132104, 4206 ^ [_130998, _131000, _131002, _132104]))], (4211 ^ _35311) ^ [] : [-(icext(_130998, 4206 ^ [_130998, _131000, _131002, _132104]))], (4213 ^ _35311) ^ [] : [-(iext(_131000, _132104, 4207 ^ [_130998, _131000, _131002, _132104]))], (4215 ^ _35311) ^ [] : [-(icext(_130998, 4207 ^ [_130998, _131000, _131002, _132104]))], (4217 ^ _35311) ^ [] : [4207 ^ [_130998, _131000, _131002, _132104] = 4206 ^ [_130998, _131000, _131002, _132104]]], -(icext(_131002, _132104))], (4183 ^ _35311) ^ [_131396] : [icext(_131002, _131396), 4186 ^ _35311 : [(4187 ^ _35311) ^ [_131586, _131588] : [-(_131586 = _131588), iext(_131000, _131396, _131588), icext(_130998, _131588), iext(_131000, _131396, _131586), icext(_130998, _131586)]]]]], (4221 ^ _35311) ^ [_132952, _132954, _132956] : [iext(uri_owl_maxQualifiedCardinality, _132956, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132956, _132954), iext(uri_owl_onClass, _132956, _132952), 4232 ^ _35311 : [(4267 ^ _35311) ^ [_134470] : [4271 ^ _35311 : [(4272 ^ _35311) ^ [] : [-(iext(_132954, _134470, 4268 ^ [_132952, _132954, _132956, _134470]))], (4274 ^ _35311) ^ [] : [-(icext(_132952, 4268 ^ [_132952, _132954, _132956, _134470]))], (4276 ^ _35311) ^ [] : [-(iext(_132954, _134470, 4269 ^ [_132952, _132954, _132956, _134470]))], (4278 ^ _35311) ^ [] : [-(icext(_132952, 4269 ^ [_132952, _132954, _132956, _134470]))], (4280 ^ _35311) ^ [] : [-(iext(_132954, _134470, 4270 ^ [_132952, _132954, _132956, _134470]))], (4282 ^ _35311) ^ [] : [-(icext(_132952, 4270 ^ [_132952, _132954, _132956, _134470]))], (4284 ^ _35311) ^ [] : [4270 ^ [_132952, _132954, _132956, _134470] = 4268 ^ [_132952, _132954, _132956, _134470]], (4286 ^ _35311) ^ [] : [4270 ^ [_132952, _132954, _132956, _134470] = 4269 ^ [_132952, _132954, _132956, _134470]]], -(icext(_132956, _134470))], (4233 ^ _35311) ^ [_133374] : [icext(_132956, _133374), 4236 ^ _35311 : [(4237 ^ _35311) ^ [_133602, _133604, _133606] : [-(_133602 = _133606), -(_133602 = _133604), iext(_132954, _133374, _133606), icext(_132952, _133606), iext(_132954, _133374, _133604), icext(_132952, _133604), iext(_132954, _133374, _133602), icext(_132952, _133602)]]]]], (4290 ^ _35311) ^ [_135818, _135820, _135822] : [iext(uri_owl_maxQualifiedCardinality, _135822, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135822, _135820), iext(uri_owl_onClass, _135822, _135818), 4301 ^ _35311 : [(4348 ^ _35311) ^ [_137772] : [4353 ^ _35311 : [(4354 ^ _35311) ^ [] : [-(iext(_135820, _137772, 4349 ^ [_135818, _135820, _135822, _137772]))], (4356 ^ _35311) ^ [] : [-(icext(_135818, 4349 ^ [_135818, _135820, _135822, _137772]))], (4358 ^ _35311) ^ [] : [-(iext(_135820, _137772, 4350 ^ [_135818, _135820, _135822, _137772]))], (4360 ^ _35311) ^ [] : [-(icext(_135818, 4350 ^ [_135818, _135820, _135822, _137772]))], (4362 ^ _35311) ^ [] : [-(iext(_135820, _137772, 4351 ^ [_135818, _135820, _135822, _137772]))], (4364 ^ _35311) ^ [] : [-(icext(_135818, 4351 ^ [_135818, _135820, _135822, _137772]))], (4366 ^ _35311) ^ [] : [-(iext(_135820, _137772, 4352 ^ [_135818, _135820, _135822, _137772]))], (4368 ^ _35311) ^ [] : [-(icext(_135818, 4352 ^ [_135818, _135820, _135822, _137772]))], (4370 ^ _35311) ^ [] : [4352 ^ [_135818, _135820, _135822, _137772] = 4349 ^ [_135818, _135820, _135822, _137772]], (4372 ^ _35311) ^ [] : [4352 ^ [_135818, _135820, _135822, _137772] = 4350 ^ [_135818, _135820, _135822, _137772]], (4374 ^ _35311) ^ [] : [4352 ^ [_135818, _135820, _135822, _137772] = 4351 ^ [_135818, _135820, _135822, _137772]]], -(icext(_135822, _137772))], (4302 ^ _35311) ^ [_136264] : [icext(_135822, _136264), 4305 ^ _35311 : [(4306 ^ _35311) ^ [_136530, _136532, _136534, _136536] : [-(_136530 = _136536), -(_136530 = _136534), -(_136530 = _136532), iext(_135820, _136264, _136536), icext(_135818, _136536), iext(_135820, _136264, _136534), icext(_135818, _136534), iext(_135820, _136264, _136532), icext(_135818, _136532), iext(_135820, _136264, _136530), icext(_135818, _136530)]]]]], (4378 ^ _35311) ^ [_139682, _139684] : [4385 ^ _35311 : [(4386 ^ _35311) ^ [_139891] : [-(icext(_139684, _139891))]], iext(uri_owl_minCardinality, _139684, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _139684, _139682)], (4388 ^ _35311) ^ [_140007, _140009] : [iext(uri_owl_minCardinality, _140009, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140009, _140007), 4395 ^ _35311 : [(4396 ^ _35311) ^ [_140272] : [icext(_140009, _140272), -(iext(_140007, _140272, 4399 ^ [_140007, _140009, _140272]))], (4403 ^ _35311) ^ [_140510] : [4404 ^ _35311 : [(4405 ^ _35311) ^ [_140587] : [iext(_140007, _140510, _140587)]], -(icext(_140009, _140510))]]], (4409 ^ _35311) ^ [_140763, _140765] : [iext(uri_owl_minCardinality, _140765, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140765, _140763), 4416 ^ _35311 : [(4417 ^ _35311) ^ [_141048] : [icext(_140765, _141048), 4422 ^ _35311 : [(4423 ^ _35311) ^ [] : [-(iext(_140763, _141048, 4420 ^ [_140763, _140765, _141048]))], (4425 ^ _35311) ^ [] : [-(iext(_140763, _141048, 4421 ^ [_140763, _140765, _141048]))], (4427 ^ _35311) ^ [] : [4420 ^ [_140763, _140765, _141048] = 4421 ^ [_140763, _140765, _141048]]]], (4429 ^ _35311) ^ [_141577] : [-(icext(_140765, _141577)), 4430 ^ _35311 : [(4431 ^ _35311) ^ [_141704, _141706] : [iext(_140763, _141577, _141706), iext(_140763, _141577, _141704), -(_141706 = _141704)]]]]], (4443 ^ _35311) ^ [_142107, _142109] : [iext(uri_owl_minCardinality, _142109, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142109, _142107), 4450 ^ _35311 : [(4451 ^ _35311) ^ [_142420] : [icext(_142109, _142420), 4457 ^ _35311 : [(4458 ^ _35311) ^ [] : [-(iext(_142107, _142420, 4454 ^ [_142107, _142109, _142420]))], (4460 ^ _35311) ^ [] : [-(iext(_142107, _142420, 4455 ^ [_142107, _142109, _142420]))], (4462 ^ _35311) ^ [] : [-(iext(_142107, _142420, 4456 ^ [_142107, _142109, _142420]))], (4464 ^ _35311) ^ [] : [4454 ^ [_142107, _142109, _142420] = 4455 ^ [_142107, _142109, _142420]], (4466 ^ _35311) ^ [] : [4454 ^ [_142107, _142109, _142420] = 4456 ^ [_142107, _142109, _142420]], (4468 ^ _35311) ^ [] : [4455 ^ [_142107, _142109, _142420] = 4456 ^ [_142107, _142109, _142420]]]], (4470 ^ _35311) ^ [_143438] : [-(icext(_142109, _143438)), 4471 ^ _35311 : [(4472 ^ _35311) ^ [_143607, _143609, _143611] : [iext(_142107, _143438, _143611), iext(_142107, _143438, _143609), iext(_142107, _143438, _143607), -(_143611 = _143609), -(_143611 = _143607), -(_143609 = _143607)]]]]], (4496 ^ _35311) ^ [_144357, _144359, _144361] : [4507 ^ _35311 : [(4508 ^ _35311) ^ [] : [-(iodp(_144359))], (4510 ^ _35311) ^ [_144741] : [-(icext(_144361, _144741))]], iext(uri_owl_minQualifiedCardinality, _144361, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144361, _144359), iext(uri_owl_onDataRange, _144361, _144357)], (4512 ^ _35311) ^ [_144875, _144877, _144879] : [iext(uri_owl_minQualifiedCardinality, _144879, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144879, _144877), iext(uri_owl_onDataRange, _144879, _144875), 4523 ^ _35311 : [(4524 ^ _35311) ^ [] : [-(iodp(_144877))], (4526 ^ _35311) ^ [_145326] : [icext(_144879, _145326), 4530 ^ _35311 : [(4531 ^ _35311) ^ [] : [-(lv(4529 ^ [_144875, _144877, _144879, _145326]))], (4533 ^ _35311) ^ [] : [-(iext(_144877, _145326, 4529 ^ [_144875, _144877, _144879, _145326]))], (4535 ^ _35311) ^ [] : [-(icext(_144875, 4529 ^ [_144875, _144877, _144879, _145326]))]]], (4537 ^ _35311) ^ [_145766] : [-(icext(_144879, _145766)), 4538 ^ _35311 : [(4539 ^ _35311) ^ [_145874] : [lv(_145874), iext(_144877, _145766, _145874), icext(_144875, _145874)]]]]], (4551 ^ _35311) ^ [_146292, _146294, _146296] : [iext(uri_owl_minQualifiedCardinality, _146296, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146296, _146294), iext(uri_owl_onDataRange, _146296, _146292), 4562 ^ _35311 : [(4563 ^ _35311) ^ [] : [-(iodp(_146294))], (4565 ^ _35311) ^ [_146774] : [icext(_146296, _146774), 4570 ^ _35311 : [(4571 ^ _35311) ^ [] : [-(lv(4568 ^ [_146292, _146294, _146296, _146774]))], (4573 ^ _35311) ^ [] : [-(iext(_146294, _146774, 4568 ^ [_146292, _146294, _146296, _146774]))], (4575 ^ _35311) ^ [] : [-(icext(_146292, 4568 ^ [_146292, _146294, _146296, _146774]))], (4577 ^ _35311) ^ [] : [-(lv(4569 ^ [_146292, _146294, _146296, _146774]))], (4579 ^ _35311) ^ [] : [-(iext(_146294, _146774, 4569 ^ [_146292, _146294, _146296, _146774]))], (4581 ^ _35311) ^ [] : [-(icext(_146292, 4569 ^ [_146292, _146294, _146296, _146774]))], (4583 ^ _35311) ^ [] : [4568 ^ [_146292, _146294, _146296, _146774] = 4569 ^ [_146292, _146294, _146296, _146774]]]], (4585 ^ _35311) ^ [_147753] : [-(icext(_146296, _147753)), 4586 ^ _35311 : [(4587 ^ _35311) ^ [_147906, _147908] : [lv(_147908), iext(_146294, _147753, _147908), icext(_146292, _147908), lv(_147906), iext(_146294, _147753, _147906), icext(_146292, _147906), -(_147908 = _147906)]]]]], (4615 ^ _35311) ^ [_148757, _148759, _148761] : [iext(uri_owl_minQualifiedCardinality, _148761, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148761, _148759), iext(uri_owl_onDataRange, _148761, _148757), 4626 ^ _35311 : [(4627 ^ _35311) ^ [] : [-(iodp(_148759))], (4629 ^ _35311) ^ [_149278] : [icext(_148761, _149278), 4635 ^ _35311 : [(4636 ^ _35311) ^ [] : [-(lv(4632 ^ [_148757, _148759, _148761, _149278]))], (4638 ^ _35311) ^ [] : [-(iext(_148759, _149278, 4632 ^ [_148757, _148759, _148761, _149278]))], (4640 ^ _35311) ^ [] : [-(icext(_148757, 4632 ^ [_148757, _148759, _148761, _149278]))], (4642 ^ _35311) ^ [] : [-(lv(4633 ^ [_148757, _148759, _148761, _149278]))], (4644 ^ _35311) ^ [] : [-(iext(_148759, _149278, 4633 ^ [_148757, _148759, _148761, _149278]))], (4646 ^ _35311) ^ [] : [-(icext(_148757, 4633 ^ [_148757, _148759, _148761, _149278]))], (4648 ^ _35311) ^ [] : [-(lv(4634 ^ [_148757, _148759, _148761, _149278]))], (4650 ^ _35311) ^ [] : [-(iext(_148759, _149278, 4634 ^ [_148757, _148759, _148761, _149278]))], (4652 ^ _35311) ^ [] : [-(icext(_148757, 4634 ^ [_148757, _148759, _148761, _149278]))], (4654 ^ _35311) ^ [] : [4632 ^ [_148757, _148759, _148761, _149278] = 4633 ^ [_148757, _148759, _148761, _149278]], (4656 ^ _35311) ^ [] : [4632 ^ [_148757, _148759, _148761, _149278] = 4634 ^ [_148757, _148759, _148761, _149278]], (4658 ^ _35311) ^ [] : [4633 ^ [_148757, _148759, _148761, _149278] = 4634 ^ [_148757, _148759, _148761, _149278]]]], (4660 ^ _35311) ^ [_151055] : [-(icext(_148761, _151055)), 4661 ^ _35311 : [(4662 ^ _35311) ^ [_151261, _151263, _151265] : [lv(_151265), iext(_148759, _151055, _151265), icext(_148757, _151265), lv(_151263), iext(_148759, _151055, _151263), icext(_148757, _151263), lv(_151261), iext(_148759, _151055, _151261), icext(_148757, _151261), -(_151265 = _151263), -(_151265 = _151261), -(_151263 = _151261)]]]]], (4710 ^ _35311) ^ [_152689, _152691, _152693] : [4721 ^ _35311 : [(4722 ^ _35311) ^ [_153001] : [-(icext(_152693, _153001))]], iext(uri_owl_minQualifiedCardinality, _152693, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _152693, _152691), iext(uri_owl_onClass, _152693, _152689)], (4724 ^ _35311) ^ [_153133, _153135, _153137] : [iext(uri_owl_minQualifiedCardinality, _153137, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153137, _153135), iext(uri_owl_onClass, _153137, _153133), 4735 ^ _35311 : [(4736 ^ _35311) ^ [_153507] : [icext(_153137, _153507), 4740 ^ _35311 : [(4741 ^ _35311) ^ [] : [-(iext(_153135, _153507, 4739 ^ [_153133, _153135, _153137, _153507]))], (4743 ^ _35311) ^ [] : [-(icext(_153133, 4739 ^ [_153133, _153135, _153137, _153507]))]]], (4745 ^ _35311) ^ [_153855] : [-(icext(_153137, _153855)), 4746 ^ _35311 : [(4747 ^ _35311) ^ [_153958] : [iext(_153135, _153855, _153958), icext(_153133, _153958)]]]]], (4755 ^ _35311) ^ [_154275, _154277, _154279] : [iext(uri_owl_minQualifiedCardinality, _154279, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154279, _154277), iext(uri_owl_onClass, _154279, _154275), 4766 ^ _35311 : [(4767 ^ _35311) ^ [_154675] : [icext(_154279, _154675), 4772 ^ _35311 : [(4773 ^ _35311) ^ [] : [-(iext(_154277, _154675, 4770 ^ [_154275, _154277, _154279, _154675]))], (4775 ^ _35311) ^ [] : [-(icext(_154275, 4770 ^ [_154275, _154277, _154279, _154675]))], (4777 ^ _35311) ^ [] : [-(iext(_154277, _154675, 4771 ^ [_154275, _154277, _154279, _154675]))], (4779 ^ _35311) ^ [] : [-(icext(_154275, 4771 ^ [_154275, _154277, _154279, _154675]))], (4781 ^ _35311) ^ [] : [4770 ^ [_154275, _154277, _154279, _154675] = 4771 ^ [_154275, _154277, _154279, _154675]]]], (4783 ^ _35311) ^ [_155449] : [-(icext(_154279, _155449)), 4784 ^ _35311 : [(4785 ^ _35311) ^ [_155592, _155594] : [iext(_154277, _155449, _155594), icext(_154275, _155594), iext(_154277, _155449, _155592), icext(_154275, _155592), -(_155594 = _155592)]]]]], (4805 ^ _35311) ^ [_156235, _156237, _156239] : [iext(uri_owl_minQualifiedCardinality, _156239, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156239, _156237), iext(uri_owl_onClass, _156239, _156235), 4816 ^ _35311 : [(4817 ^ _35311) ^ [_156669] : [icext(_156239, _156669), 4823 ^ _35311 : [(4824 ^ _35311) ^ [] : [-(iext(_156237, _156669, 4820 ^ [_156235, _156237, _156239, _156669]))], (4826 ^ _35311) ^ [] : [-(icext(_156235, 4820 ^ [_156235, _156237, _156239, _156669]))], (4828 ^ _35311) ^ [] : [-(iext(_156237, _156669, 4821 ^ [_156235, _156237, _156239, _156669]))], (4830 ^ _35311) ^ [] : [-(icext(_156235, 4821 ^ [_156235, _156237, _156239, _156669]))], (4832 ^ _35311) ^ [] : [-(iext(_156237, _156669, 4822 ^ [_156235, _156237, _156239, _156669]))], (4834 ^ _35311) ^ [] : [-(icext(_156235, 4822 ^ [_156235, _156237, _156239, _156669]))], (4836 ^ _35311) ^ [] : [4820 ^ [_156235, _156237, _156239, _156669] = 4821 ^ [_156235, _156237, _156239, _156669]], (4838 ^ _35311) ^ [] : [4820 ^ [_156235, _156237, _156239, _156669] = 4822 ^ [_156235, _156237, _156239, _156669]], (4840 ^ _35311) ^ [] : [4821 ^ [_156235, _156237, _156239, _156669] = 4822 ^ [_156235, _156237, _156239, _156669]]]], (4842 ^ _35311) ^ [_158107] : [-(icext(_156239, _158107)), 4843 ^ _35311 : [(4844 ^ _35311) ^ [_158298, _158300, _158302] : [iext(_156237, _158107, _158302), icext(_156235, _158302), iext(_156237, _158107, _158300), icext(_156235, _158300), iext(_156237, _158107, _158298), icext(_156235, _158298), -(_158302 = _158300), -(_158302 = _158298), -(_158300 = _158298)]]]]], (4880 ^ _35311) ^ [_159403, _159405, _159407] : [iext(uri_owl_someValuesFrom, _159407, _159403), iext(uri_owl_onProperty, _159407, _159405), 4887 ^ _35311 : [(4888 ^ _35311) ^ [_159682] : [icext(_159407, _159682), 4892 ^ _35311 : [(4893 ^ _35311) ^ [] : [-(iext(_159405, _159682, 4891 ^ [_159403, _159405, _159407, _159682]))], (4895 ^ _35311) ^ [] : [-(icext(_159403, 4891 ^ [_159403, _159405, _159407, _159682]))]]], (4897 ^ _35311) ^ [_160030] : [-(icext(_159407, _160030)), 4898 ^ _35311 : [(4899 ^ _35311) ^ [_160133] : [iext(_159405, _160030, _160133), icext(_159403, _160133)]]]]], (4907 ^ _35311) ^ [_160463, _160465] : [iext(uri_rdfs_domain, _160465, _160463), 4910 ^ _35311 : [(4911 ^ _35311) ^ [] : [-(ip(_160465))], (4913 ^ _35311) ^ [] : [-(ic(_160463))], (4915 ^ _35311) ^ [_160762, _160764] : [iext(_160465, _160764, _160762), -(icext(_160463, _160764))]]], (4921 ^ _35311) ^ [_160951, _160953] : [-(iext(uri_rdfs_domain, _160953, _160951)), ip(_160953), ic(_160951), 4932 ^ _35311 : [(4933 ^ _35311) ^ [] : [-(iext(_160953, 4930 ^ [_160951, _160953], 4931 ^ [_160951, _160953]))], (4935 ^ _35311) ^ [] : [icext(_160951, 4930 ^ [_160951, _160953])]]], (4939 ^ _35311) ^ [_161599, _161601] : [iext(uri_rdfs_range, _161601, _161599), 4942 ^ _35311 : [(4943 ^ _35311) ^ [] : [-(ip(_161601))], (4945 ^ _35311) ^ [] : [-(ip(_161599))], (4947 ^ _35311) ^ [_161898, _161900] : [iext(_161601, _161900, _161898), -(icext(_161599, _161898))]]], (4953 ^ _35311) ^ [_162087, _162089] : [-(iext(uri_rdfs_range, _162089, _162087)), ip(_162089), ip(_162087), 4964 ^ _35311 : [(4965 ^ _35311) ^ [] : [-(iext(_162089, 4962 ^ [_162087, _162089], 4963 ^ [_162087, _162089]))], (4967 ^ _35311) ^ [] : [icext(_162087, 4963 ^ [_162087, _162089])]]], (4971 ^ _35311) ^ [_162728, _162730] : [iext(uri_rdfs_subClassOf, _162730, _162728), 4974 ^ _35311 : [(4975 ^ _35311) ^ [] : [-(ic(_162730))], (4977 ^ _35311) ^ [] : [-(ic(_162728))], (4979 ^ _35311) ^ [_163007] : [icext(_162730, _163007), -(icext(_162728, _163007))]]], (4985 ^ _35311) ^ [_163188, _163190] : [-(iext(uri_rdfs_subClassOf, _163190, _163188)), ic(_163190), ic(_163188), 4995 ^ _35311 : [(4996 ^ _35311) ^ [] : [-(icext(_163190, 4994 ^ [_163188, _163190]))], (4998 ^ _35311) ^ [] : [icext(_163188, 4994 ^ [_163188, _163190])]]], (5002 ^ _35311) ^ [_163750, _163752] : [iext(uri_rdfs_subPropertyOf, _163752, _163750), 5005 ^ _35311 : [(5006 ^ _35311) ^ [] : [-(ip(_163752))], (5008 ^ _35311) ^ [] : [-(ip(_163750))], (5010 ^ _35311) ^ [_164050, _164052] : [iext(_163752, _164052, _164050), -(iext(_163750, _164052, _164050))]]], (5016 ^ _35311) ^ [_164241, _164243] : [-(iext(uri_rdfs_subPropertyOf, _164243, _164241)), ip(_164243), ip(_164241), 5027 ^ _35311 : [(5028 ^ _35311) ^ [] : [-(iext(_164243, 5025 ^ [_164241, _164243], 5026 ^ [_164241, _164243]))], (5030 ^ _35311) ^ [] : [iext(_164241, 5025 ^ [_164241, _164243], 5026 ^ [_164241, _164243])]]], (5034 ^ _35311) ^ [_164900, _164902] : [iext(uri_owl_differentFrom, _164902, _164900), _164902 = _164900], (5040 ^ _35311) ^ [_165065, _165067] : [-(_165067 = _165065), -(iext(uri_owl_differentFrom, _165067, _165065))], (5046 ^ _35311) ^ [_165297] : [iext(uri_owl_disjointUnionOf, _165297, uri_rdf_nil), 5049 ^ _35311 : [(5050 ^ _35311) ^ [] : [-(ic(_165297))], (5052 ^ _35311) ^ [_165480] : [icext(_165297, _165480)]]], (5054 ^ _35311) ^ [_165548] : [-(iext(uri_owl_disjointUnionOf, _165548, uri_rdf_nil)), ic(_165548), -(icext(_165548, 5059 ^ [_165548]))], (5065 ^ _35311) ^ [_165909, _165911, _165913] : [iext(uri_rdf_first, _165911, _165909), iext(uri_rdf_rest, _165911, uri_rdf_nil), 5072 ^ _35311 : [(5073 ^ _35311) ^ [] : [iext(uri_owl_disjointUnionOf, _165913, _165911), 5076 ^ _35311 : [(5077 ^ _35311) ^ [] : [-(ic(_165913))], (5079 ^ _35311) ^ [] : [-(ic(_165909))], (5081 ^ _35311) ^ [_166440] : [icext(_165913, _166440), -(icext(_165909, _166440))], (5087 ^ _35311) ^ [_166620] : [icext(_165909, _166620), -(icext(_165913, _166620))]]], (5093 ^ _35311) ^ [] : [-(iext(uri_owl_disjointUnionOf, _165913, _165911)), ic(_165913), ic(_165909), 5105 ^ _35311 : [(5106 ^ _35311) ^ [] : [-(icext(_165913, 5102 ^ [_165909, _165911, _165913]))], (5108 ^ _35311) ^ [] : [icext(_165909, 5102 ^ [_165909, _165911, _165913])]], 5109 ^ _35311 : [(5110 ^ _35311) ^ [] : [-(icext(_165909, 5102 ^ [_165909, _165911, _165913]))], (5112 ^ _35311) ^ [] : [icext(_165913, 5102 ^ [_165909, _165911, _165913])]]]]], (5116 ^ _35311) ^ [_167547, _167549, _167551, _167553, _167555] : [iext(uri_rdf_first, _167553, _167551), iext(uri_rdf_rest, _167553, _167549), iext(uri_rdf_first, _167549, _167547), iext(uri_rdf_rest, _167549, uri_rdf_nil), 5131 ^ _35311 : [(5172 ^ _35311) ^ [] : [-(iext(uri_owl_disjointUnionOf, _167555, _167553)), ic(_167555), ic(_167551), ic(_167547), 5188 ^ _35311 : [(5189 ^ _35311) ^ [] : [-(icext(_167555, 5185 ^ [_167547, _167549, _167551, _167553, _167555]))], (5191 ^ _35311) ^ [] : [5192 ^ _35311 : [(5193 ^ _35311) ^ [] : [icext(_167551, 5185 ^ [_167547, _167549, _167551, _167553, _167555])], (5195 ^ _35311) ^ [] : [icext(_167547, 5185 ^ [_167547, _167549, _167551, _167553, _167555])]], 5196 ^ _35311 : [(5197 ^ _35311) ^ [] : [-(icext(_167551, 5185 ^ [_167547, _167549, _167551, _167553, _167555]))], (5199 ^ _35311) ^ [] : [-(icext(_167547, 5185 ^ [_167547, _167549, _167551, _167553, _167555]))]]]], 5200 ^ _35311 : [(5213 ^ _35311) ^ [] : [icext(_167555, 5185 ^ [_167547, _167549, _167551, _167553, _167555])], (5201 ^ _35311) ^ [] : [-(icext(_167551, 5185 ^ [_167547, _167549, _167551, _167553, _167555])), -(icext(_167547, 5185 ^ [_167547, _167549, _167551, _167553, _167555]))], (5207 ^ _35311) ^ [] : [icext(_167551, 5185 ^ [_167547, _167549, _167551, _167553, _167555]), icext(_167547, 5185 ^ [_167547, _167549, _167551, _167553, _167555])]]], (5132 ^ _35311) ^ [] : [iext(uri_owl_disjointUnionOf, _167555, _167553), 5135 ^ _35311 : [(5136 ^ _35311) ^ [] : [-(ic(_167555))], (5138 ^ _35311) ^ [] : [-(ic(_167551))], (5140 ^ _35311) ^ [] : [-(ic(_167547))], (5158 ^ _35311) ^ [_168903] : [-(icext(_167555, _168903)), 5161 ^ _35311 : [(5162 ^ _35311) ^ [] : [icext(_167551, _168903)], (5164 ^ _35311) ^ [] : [icext(_167547, _168903)]], 5165 ^ _35311 : [(5166 ^ _35311) ^ [] : [-(icext(_167551, _168903))], (5168 ^ _35311) ^ [] : [-(icext(_167547, _168903))]]], (5142 ^ _35311) ^ [_168412] : [icext(_167555, _168412), 5145 ^ _35311 : [(5146 ^ _35311) ^ [] : [-(icext(_167551, _168412)), -(icext(_167547, _168412))], (5152 ^ _35311) ^ [] : [icext(_167551, _168412), icext(_167547, _168412)]]]]]]], (5217 ^ _35311) ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934] : [iext(uri_rdf_first, _170932, _170930), iext(uri_rdf_rest, _170932, _170928), iext(uri_rdf_first, _170928, _170926), iext(uri_rdf_rest, _170928, _170924), iext(uri_rdf_first, _170924, _170922), iext(uri_rdf_rest, _170924, uri_rdf_nil), 5240 ^ _35311 : [(5313 ^ _35311) ^ [] : [-(iext(uri_owl_disjointUnionOf, _170934, _170932)), ic(_170934), ic(_170930), ic(_170926), ic(_170922), 5333 ^ _35311 : [(5334 ^ _35311) ^ [] : [-(icext(_170934, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))], (5336 ^ _35311) ^ [] : [5337 ^ _35311 : [(5338 ^ _35311) ^ [] : [icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])], (5340 ^ _35311) ^ [] : [icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])], (5342 ^ _35311) ^ [] : [icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])]], 5345 ^ _35311 : [(5346 ^ _35311) ^ [] : [-(icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))], (5348 ^ _35311) ^ [] : [-(icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))]], 5351 ^ _35311 : [(5352 ^ _35311) ^ [] : [-(icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))], (5354 ^ _35311) ^ [] : [-(icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))]], 5355 ^ _35311 : [(5356 ^ _35311) ^ [] : [-(icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))], (5358 ^ _35311) ^ [] : [-(icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))]]]], 5359 ^ _35311 : [(5388 ^ _35311) ^ [] : [icext(_170934, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])], (5360 ^ _35311) ^ [] : [-(icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])), -(icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])), -(icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]))], (5370 ^ _35311) ^ [] : [icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]), icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])], (5376 ^ _35311) ^ [] : [icext(_170930, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]), icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])], (5382 ^ _35311) ^ [] : [icext(_170926, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934]), icext(_170922, 5330 ^ [_170922, _170924, _170926, _170928, _170930, _170932, _170934])]]], (5241 ^ _35311) ^ [] : [iext(uri_owl_disjointUnionOf, _170934, _170932), 5244 ^ _35311 : [(5245 ^ _35311) ^ [] : [-(ic(_170934))], (5247 ^ _35311) ^ [] : [-(ic(_170930))], (5249 ^ _35311) ^ [] : [-(ic(_170926))], (5251 ^ _35311) ^ [] : [-(ic(_170922))], (5285 ^ _35311) ^ [_173216] : [-(icext(_170934, _173216)), 5288 ^ _35311 : [(5289 ^ _35311) ^ [] : [icext(_170930, _173216)], (5291 ^ _35311) ^ [] : [icext(_170926, _173216)], (5293 ^ _35311) ^ [] : [icext(_170922, _173216)]], 5296 ^ _35311 : [(5297 ^ _35311) ^ [] : [-(icext(_170930, _173216))], (5299 ^ _35311) ^ [] : [-(icext(_170926, _173216))]], 5302 ^ _35311 : [(5303 ^ _35311) ^ [] : [-(icext(_170930, _173216))], (5305 ^ _35311) ^ [] : [-(icext(_170922, _173216))]], 5306 ^ _35311 : [(5307 ^ _35311) ^ [] : [-(icext(_170926, _173216))], (5309 ^ _35311) ^ [] : [-(icext(_170922, _173216))]]], (5253 ^ _35311) ^ [_172175] : [icext(_170934, _172175), 5256 ^ _35311 : [(5257 ^ _35311) ^ [] : [-(icext(_170930, _172175)), -(icext(_170926, _172175)), -(icext(_170922, _172175))], (5267 ^ _35311) ^ [] : [icext(_170930, _172175), icext(_170926, _172175)], (5273 ^ _35311) ^ [] : [icext(_170930, _172175), icext(_170922, _172175)], (5279 ^ _35311) ^ [] : [icext(_170926, _172175), icext(_170922, _172175)]]]]]]], (5392 ^ _35311) ^ [_177072, _177074] : [iext(uri_owl_disjointWith, _177074, _177072), 5395 ^ _35311 : [(5396 ^ _35311) ^ [] : [-(ic(_177074))], (5398 ^ _35311) ^ [] : [-(ic(_177072))], (5400 ^ _35311) ^ [_177353] : [icext(_177074, _177353), icext(_177072, _177353)]]], (5406 ^ _35311) ^ [_177533, _177535] : [-(iext(uri_owl_disjointWith, _177535, _177533)), ic(_177535), ic(_177533), 5416 ^ _35311 : [(5417 ^ _35311) ^ [] : [-(icext(_177535, 5415 ^ [_177533, _177535]))], (5419 ^ _35311) ^ [] : [-(icext(_177533, 5415 ^ [_177533, _177535]))]]], (5423 ^ _35311) ^ [_178100, _178102] : [iext(uri_owl_equivalentClass, _178102, _178100), 5426 ^ _35311 : [(5427 ^ _35311) ^ [] : [-(ic(_178102))], (5429 ^ _35311) ^ [] : [-(ic(_178100))], (5431 ^ _35311) ^ [_178408] : [icext(_178102, _178408), -(icext(_178100, _178408))], (5437 ^ _35311) ^ [_178580] : [icext(_178100, _178580), -(icext(_178102, _178580))]]], (5443 ^ _35311) ^ [_178763, _178765] : [-(iext(uri_owl_equivalentClass, _178765, _178763)), ic(_178765), ic(_178763), 5455 ^ _35311 : [(5456 ^ _35311) ^ [] : [-(icext(_178765, 5452 ^ [_178763, _178765]))], (5458 ^ _35311) ^ [] : [icext(_178763, 5452 ^ [_178763, _178765])]], 5459 ^ _35311 : [(5460 ^ _35311) ^ [] : [-(icext(_178763, 5452 ^ [_178763, _178765]))], (5462 ^ _35311) ^ [] : [icext(_178765, 5452 ^ [_178763, _178765])]]], (5466 ^ _35311) ^ [_179500, _179502] : [iext(uri_owl_equivalentProperty, _179502, _179500), 5469 ^ _35311 : [(5470 ^ _35311) ^ [] : [-(ip(_179502))], (5472 ^ _35311) ^ [] : [-(ip(_179500))], (5474 ^ _35311) ^ [_179829, _179831] : [iext(_179502, _179831, _179829), -(iext(_179500, _179831, _179829))], (5480 ^ _35311) ^ [_180011, _180013] : [iext(_179500, _180013, _180011), -(iext(_179502, _180013, _180011))]]], (5486 ^ _35311) ^ [_180204, _180206] : [-(iext(uri_owl_equivalentProperty, _180206, _180204)), ip(_180206), ip(_180204), 5499 ^ _35311 : [(5500 ^ _35311) ^ [] : [-(iext(_180206, 5495 ^ [_180204, _180206], 5496 ^ [_180204, _180206]))], (5502 ^ _35311) ^ [] : [iext(_180204, 5495 ^ [_180204, _180206], 5496 ^ [_180204, _180206])]], 5503 ^ _35311 : [(5504 ^ _35311) ^ [] : [-(iext(_180204, 5495 ^ [_180204, _180206], 5496 ^ [_180204, _180206]))], (5506 ^ _35311) ^ [] : [iext(_180206, 5495 ^ [_180204, _180206], 5496 ^ [_180204, _180206])]]], (5510 ^ _35311) ^ [_181054, _181056] : [iext(uri_owl_propertyDisjointWith, _181056, _181054), 5513 ^ _35311 : [(5514 ^ _35311) ^ [] : [-(ip(_181056))], (5516 ^ _35311) ^ [] : [-(ip(_181054))], (5518 ^ _35311) ^ [_181356, _181358] : [iext(_181056, _181358, _181356), iext(_181054, _181358, _181356)]]], (5524 ^ _35311) ^ [_181546, _181548] : [-(iext(uri_owl_propertyDisjointWith, _181548, _181546)), ip(_181548), ip(_181546), 5535 ^ _35311 : [(5536 ^ _35311) ^ [] : [-(iext(_181548, 5533 ^ [_181546, _181548], 5534 ^ [_181546, _181548]))], (5538 ^ _35311) ^ [] : [-(iext(_181546, 5533 ^ [_181546, _181548], 5534 ^ [_181546, _181548]))]]], (5542 ^ _35311) ^ [_182212, _182214] : [iext(uri_owl_sameAs, _182214, _182212), -(_182214 = _182212)], (5548 ^ _35311) ^ [_182376, _182378] : [_182378 = _182376, -(iext(uri_owl_sameAs, _182378, _182376))], (5555 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35311) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35311) ^ [_182742, _182744] : [5567 ^ _35311 : [(5568 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_182742, _182744]))], (5570 ^ _35311) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_182742, _182744], _182744))]], iext(uri_rdf_first, _182744, _182742), iext(uri_rdf_rest, _182744, uri_rdf_nil)], (5572 ^ _35311) ^ [_183221, _183223, _183225, _183227] : [5592 ^ _35311 : [(5593 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_183221, _183223, _183225, _183227]))], (5595 ^ _35311) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_183221, _183223, _183225, _183227], _183227))]], iext(uri_rdf_first, _183227, _183225), iext(uri_rdf_rest, _183227, _183223), iext(uri_rdf_first, _183223, _183221), iext(uri_rdf_rest, _183223, uri_rdf_nil), -(_183225 = _183221)], (5597 ^ _35311) ^ [_184066, _184068, _184070, _184072, _184074, _184076] : [5633 ^ _35311 : [(5634 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_184066, _184068, _184070, _184072, _184074, _184076]))], (5636 ^ _35311) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_184066, _184068, _184070, _184072, _184074, _184076], _184076))]], iext(uri_rdf_first, _184076, _184074), iext(uri_rdf_rest, _184076, _184072), iext(uri_rdf_first, _184072, _184070), iext(uri_rdf_rest, _184072, _184068), iext(uri_rdf_first, _184068, _184066), iext(uri_rdf_rest, _184068, uri_rdf_nil), -(_184074 = _184070), -(_184074 = _184066), -(_184070 = _184066)], (5638 ^ _35311) ^ [] : [-(tautology), tautology], (5644 ^ _35311) ^ [] : [-(tautology), tautology], (5650 ^ _35311) ^ [_185629, _185631, _185633, _185635, _185637] : [_185633 = _185629, iext(uri_rdf_first, _185635, _185633), iext(uri_rdf_rest, _185635, _185631), iext(uri_rdf_first, _185631, _185629), iext(uri_rdf_rest, _185631, uri_rdf_nil), icext(uri_owl_AllDifferent, _185637), iext(uri_owl_distinctMembers, _185637, _185635)], (5676 ^ _35311) ^ [_186443, _186445, _186447, _186449, _186451, _186453, _186455] : [5707 ^ _35311 : [(5708 ^ _35311) ^ [] : [_186451 = _186447], (5710 ^ _35311) ^ [] : [_186451 = _186443], (5712 ^ _35311) ^ [] : [_186447 = _186443]], iext(uri_rdf_first, _186453, _186451), iext(uri_rdf_rest, _186453, _186449), iext(uri_rdf_first, _186449, _186447), iext(uri_rdf_rest, _186449, _186445), iext(uri_rdf_first, _186445, _186443), iext(uri_rdf_rest, _186445, uri_rdf_nil), icext(uri_owl_AllDifferent, _186455), iext(uri_owl_distinctMembers, _186455, _186453)], (5715 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35311) ^ [_187784, _187786] : [5727 ^ _35311 : [(5728 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_187784, _187786]))], (5730 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_187784, _187786], _187786))]], iext(uri_rdf_first, _187786, _187784), iext(uri_rdf_rest, _187786, uri_rdf_nil)], (5732 ^ _35311) ^ [_188263, _188265, _188267, _188269] : [5752 ^ _35311 : [(5753 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_188263, _188265, _188267, _188269]))], (5755 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_188263, _188265, _188267, _188269], _188269))]], iext(uri_rdf_first, _188269, _188267), iext(uri_rdf_rest, _188269, _188265), iext(uri_rdf_first, _188265, _188263), iext(uri_rdf_rest, _188265, uri_rdf_nil), -(_188267 = _188263)], (5757 ^ _35311) ^ [_189108, _189110, _189112, _189114, _189116, _189118] : [5793 ^ _35311 : [(5794 ^ _35311) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_189108, _189110, _189112, _189114, _189116, _189118]))], (5796 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_189108, _189110, _189112, _189114, _189116, _189118], _189118))]], iext(uri_rdf_first, _189118, _189116), iext(uri_rdf_rest, _189118, _189114), iext(uri_rdf_first, _189114, _189112), iext(uri_rdf_rest, _189114, _189110), iext(uri_rdf_first, _189110, _189108), iext(uri_rdf_rest, _189110, uri_rdf_nil), -(_189116 = _189112), -(_189116 = _189108), -(_189112 = _189108)], (5798 ^ _35311) ^ [] : [-(tautology), tautology], (5804 ^ _35311) ^ [] : [-(tautology), tautology], (5810 ^ _35311) ^ [_190671, _190673, _190675, _190677, _190679] : [_190675 = _190671, iext(uri_rdf_first, _190677, _190675), iext(uri_rdf_rest, _190677, _190673), iext(uri_rdf_first, _190673, _190671), iext(uri_rdf_rest, _190673, uri_rdf_nil), icext(uri_owl_AllDifferent, _190679), iext(uri_owl_members, _190679, _190677)], (5836 ^ _35311) ^ [_191485, _191487, _191489, _191491, _191493, _191495, _191497] : [5867 ^ _35311 : [(5868 ^ _35311) ^ [] : [_191493 = _191489], (5870 ^ _35311) ^ [] : [_191493 = _191485], (5872 ^ _35311) ^ [] : [_191489 = _191485]], iext(uri_rdf_first, _191495, _191493), iext(uri_rdf_rest, _191495, _191491), iext(uri_rdf_first, _191491, _191489), iext(uri_rdf_rest, _191491, _191487), iext(uri_rdf_first, _191487, _191485), iext(uri_rdf_rest, _191487, uri_rdf_nil), icext(uri_owl_AllDifferent, _191497), iext(uri_owl_members, _191497, _191495)], (5875 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35311) ^ [_192826, _192828] : [5887 ^ _35311 : [(5888 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_192826, _192828]))], (5890 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_192826, _192828], _192828))]], iext(uri_rdf_first, _192828, _192826), iext(uri_rdf_rest, _192828, uri_rdf_nil)], (5892 ^ _35311) ^ [_193305, _193307, _193309, _193311] : [5915 ^ _35311 : [(5916 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_193305, _193307, _193309, _193311]))], (5918 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_193305, _193307, _193309, _193311], _193311))]], iext(uri_rdf_first, _193311, _193309), iext(uri_rdf_rest, _193311, _193307), iext(uri_rdf_first, _193307, _193305), iext(uri_rdf_rest, _193307, uri_rdf_nil), 5910 ^ _35311 : [(5911 ^ _35311) ^ [] : [-(icext(_193309, 5909 ^ [_193305, _193307, _193309, _193311]))], (5913 ^ _35311) ^ [] : [-(icext(_193305, 5909 ^ [_193305, _193307, _193309, _193311]))]]], (5920 ^ _35311) ^ [_194317, _194319, _194321, _194323, _194325, _194327] : [5965 ^ _35311 : [(5966 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))], (5968 ^ _35311) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_194317, _194319, _194321, _194323, _194325, _194327], _194327))]], iext(uri_rdf_first, _194327, _194325), iext(uri_rdf_rest, _194327, _194323), iext(uri_rdf_first, _194323, _194321), iext(uri_rdf_rest, _194323, _194319), iext(uri_rdf_first, _194319, _194317), iext(uri_rdf_rest, _194319, uri_rdf_nil), 5948 ^ _35311 : [(5949 ^ _35311) ^ [] : [-(icext(_194325, 5947 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))], (5951 ^ _35311) ^ [] : [-(icext(_194321, 5947 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))]], 5955 ^ _35311 : [(5956 ^ _35311) ^ [] : [-(icext(_194325, 5954 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))], (5958 ^ _35311) ^ [] : [-(icext(_194317, 5954 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))]], 5960 ^ _35311 : [(5961 ^ _35311) ^ [] : [-(icext(_194321, 5959 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))], (5963 ^ _35311) ^ [] : [-(icext(_194317, 5959 ^ [_194317, _194319, _194321, _194323, _194325, _194327]))]]], (5970 ^ _35311) ^ [] : [-(tautology), tautology], (5976 ^ _35311) ^ [] : [-(tautology), tautology], (5982 ^ _35311) ^ [_196441, _196443, _196445, _196447, _196449] : [6005 ^ _35311 : [(6006 ^ _35311) ^ [_197107] : [icext(_196445, _197107), icext(_196441, _197107)]], iext(uri_rdf_first, _196447, _196445), iext(uri_rdf_rest, _196447, _196443), iext(uri_rdf_first, _196443, _196441), iext(uri_rdf_rest, _196443, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _196449), iext(uri_owl_members, _196449, _196447)], (6012 ^ _35311) ^ [_197425, _197427, _197429, _197431, _197433, _197435, _197437] : [iext(uri_rdf_first, _197435, _197433), iext(uri_rdf_rest, _197435, _197431), iext(uri_rdf_first, _197431, _197429), iext(uri_rdf_rest, _197431, _197427), iext(uri_rdf_first, _197427, _197425), iext(uri_rdf_rest, _197427, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _197437), iext(uri_owl_members, _197437, _197435), 6043 ^ _35311 : [(6044 ^ _35311) ^ [_198419] : [icext(_197433, _198419), icext(_197429, _198419)], (6050 ^ _35311) ^ [_198664] : [icext(_197433, _198664), icext(_197425, _198664)], (6056 ^ _35311) ^ [_198889] : [icext(_197429, _198889), icext(_197425, _198889)]]], (6063 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35311) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35311) ^ [_199323, _199325] : [6075 ^ _35311 : [(6076 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_199323, _199325]))], (6078 ^ _35311) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_199323, _199325], _199325))]], iext(uri_rdf_first, _199325, _199323), iext(uri_rdf_rest, _199325, uri_rdf_nil)], (6080 ^ _35311) ^ [_199802, _199804, _199806, _199808] : [6104 ^ _35311 : [(6105 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_199802, _199804, _199806, _199808]))], (6107 ^ _35311) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_199802, _199804, _199806, _199808], _199808))]], iext(uri_rdf_first, _199808, _199806), iext(uri_rdf_rest, _199808, _199804), iext(uri_rdf_first, _199804, _199802), iext(uri_rdf_rest, _199804, uri_rdf_nil), 6099 ^ _35311 : [(6100 ^ _35311) ^ [] : [-(iext(_199806, 6097 ^ [_199802, _199804, _199806, _199808], 6098 ^ [_199802, _199804, _199806, _199808]))], (6102 ^ _35311) ^ [] : [-(iext(_199802, 6097 ^ [_199802, _199804, _199806, _199808], 6098 ^ [_199802, _199804, _199806, _199808]))]]], (6109 ^ _35311) ^ [_200937, _200939, _200941, _200943, _200945, _200947] : [6157 ^ _35311 : [(6158 ^ _35311) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))], (6160 ^ _35311) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_200937, _200939, _200941, _200943, _200945, _200947], _200947))]], iext(uri_rdf_first, _200947, _200945), iext(uri_rdf_rest, _200947, _200943), iext(uri_rdf_first, _200943, _200941), iext(uri_rdf_rest, _200943, _200939), iext(uri_rdf_first, _200939, _200937), iext(uri_rdf_rest, _200939, uri_rdf_nil), 6138 ^ _35311 : [(6139 ^ _35311) ^ [] : [-(iext(_200945, 6136 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6137 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))], (6141 ^ _35311) ^ [] : [-(iext(_200941, 6136 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6137 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))]], 6146 ^ _35311 : [(6147 ^ _35311) ^ [] : [-(iext(_200945, 6144 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6145 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))], (6149 ^ _35311) ^ [] : [-(iext(_200937, 6144 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6145 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))]], 6152 ^ _35311 : [(6153 ^ _35311) ^ [] : [-(iext(_200941, 6150 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6151 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))], (6155 ^ _35311) ^ [] : [-(iext(_200937, 6150 ^ [_200937, _200939, _200941, _200943, _200945, _200947], 6151 ^ [_200937, _200939, _200941, _200943, _200945, _200947]))]]], (6162 ^ _35311) ^ [] : [-(tautology), tautology], (6168 ^ _35311) ^ [] : [-(tautology), tautology], (6174 ^ _35311) ^ [_203502, _203504, _203506, _203508, _203510] : [6197 ^ _35311 : [(6198 ^ _35311) ^ [_204189, _204191] : [iext(_203506, _204191, _204189), iext(_203502, _204191, _204189)]], iext(uri_rdf_first, _203508, _203506), iext(uri_rdf_rest, _203508, _203504), iext(uri_rdf_first, _203504, _203502), iext(uri_rdf_rest, _203504, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _203510), iext(uri_owl_members, _203510, _203508)], (6204 ^ _35311) ^ [_204517, _204519, _204521, _204523, _204525, _204527, _204529] : [iext(uri_rdf_first, _204527, _204525), iext(uri_rdf_rest, _204527, _204523), iext(uri_rdf_first, _204523, _204521), iext(uri_rdf_rest, _204523, _204519), iext(uri_rdf_first, _204519, _204517), iext(uri_rdf_rest, _204519, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _204529), iext(uri_owl_members, _204529, _204527), 6235 ^ _35311 : [(6236 ^ _35311) ^ [_205546, _205548] : [iext(_204525, _205548, _205546), iext(_204521, _205548, _205546)], (6242 ^ _35311) ^ [_205815, _205817] : [iext(_204525, _205817, _205815), iext(_204517, _205817, _205815)], (6248 ^ _35311) ^ [_206064, _206066] : [iext(_204521, _206066, _206064), iext(_204517, _206066, _206064)]]], (6254 ^ _35311) ^ [_206371] : [iext(uri_owl_propertyChainAxiom, _206371, uri_rdf_nil), 6257 ^ _35311 : [(6258 ^ _35311) ^ [] : [-(ip(_206371))], (6260 ^ _35311) ^ [_206554] : [-(iext(_206371, _206554, _206554))]]], (6262 ^ _35311) ^ [_206623] : [-(iext(uri_owl_propertyChainAxiom, _206623, uri_rdf_nil)), ip(_206623), iext(_206623, 6267 ^ [_206623], 6267 ^ [_206623])], (6273 ^ _35311) ^ [_206987, _206989, _206991] : [iext(uri_rdf_first, _206989, _206987), iext(uri_rdf_rest, _206989, uri_rdf_nil), 6280 ^ _35311 : [(6281 ^ _35311) ^ [] : [iext(uri_owl_propertyChainAxiom, _206991, _206989), 6284 ^ _35311 : [(6285 ^ _35311) ^ [] : [-(ip(_206991))], (6287 ^ _35311) ^ [] : [-(ip(_206987))], (6289 ^ _35311) ^ [_207510, _207512] : [iext(_206987, _207512, _207510), -(iext(_206991, _207512, _207510))]]], (6295 ^ _35311) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _206991, _206989)), ip(_206991), ip(_206987), 6306 ^ _35311 : [(6307 ^ _35311) ^ [] : [-(iext(_206987, 6304 ^ [_206987, _206989, _206991], 6305 ^ [_206987, _206989, _206991]))], (6309 ^ _35311) ^ [] : [iext(_206991, 6304 ^ [_206987, _206989, _206991], 6305 ^ [_206987, _206989, _206991])]]]]], (6313 ^ _35311) ^ [_208362, _208364, _208366, _208368, _208370] : [iext(uri_rdf_first, _208368, _208366), iext(uri_rdf_rest, _208368, _208364), iext(uri_rdf_first, _208364, _208362), iext(uri_rdf_rest, _208364, uri_rdf_nil), 6328 ^ _35311 : [(6329 ^ _35311) ^ [] : [iext(uri_owl_propertyChainAxiom, _208370, _208368), 6332 ^ _35311 : [(6333 ^ _35311) ^ [] : [-(ip(_208370))], (6335 ^ _35311) ^ [] : [-(ip(_208366))], (6337 ^ _35311) ^ [] : [-(ip(_208362))], (6339 ^ _35311) ^ [_209225, _209227, _209229] : [-(iext(_208370, _209229, _209225)), iext(_208366, _209229, _209227), iext(_208362, _209227, _209225)]]], (6349 ^ _35311) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _208370, _208368)), ip(_208370), ip(_208366), ip(_208362), 6365 ^ _35311 : [(6366 ^ _35311) ^ [] : [-(iext(_208366, 6362 ^ [_208362, _208364, _208366, _208368, _208370], 6363 ^ [_208362, _208364, _208366, _208368, _208370]))], (6368 ^ _35311) ^ [] : [-(iext(_208362, 6363 ^ [_208362, _208364, _208366, _208368, _208370], 6364 ^ [_208362, _208364, _208366, _208368, _208370]))], (6370 ^ _35311) ^ [] : [iext(_208370, 6362 ^ [_208362, _208364, _208366, _208368, _208370], 6364 ^ [_208362, _208364, _208366, _208368, _208370])]]]]], (6374 ^ _35311) ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677] : [iext(uri_rdf_first, _210675, _210673), iext(uri_rdf_rest, _210675, _210671), iext(uri_rdf_first, _210671, _210669), iext(uri_rdf_rest, _210671, _210667), iext(uri_rdf_first, _210667, _210665), iext(uri_rdf_rest, _210667, uri_rdf_nil), 6397 ^ _35311 : [(6398 ^ _35311) ^ [] : [iext(uri_owl_propertyChainAxiom, _210677, _210675), 6401 ^ _35311 : [(6402 ^ _35311) ^ [] : [-(ip(_210677))], (6404 ^ _35311) ^ [] : [-(ip(_210673))], (6406 ^ _35311) ^ [] : [-(ip(_210669))], (6408 ^ _35311) ^ [] : [-(ip(_210665))], (6410 ^ _35311) ^ [_211908, _211910, _211912, _211914] : [-(iext(_210677, _211914, _211908)), iext(_210673, _211914, _211912), iext(_210669, _211912, _211910), iext(_210665, _211910, _211908)]]], (6424 ^ _35311) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _210677, _210675)), ip(_210677), ip(_210673), ip(_210669), ip(_210665), 6445 ^ _35311 : [(6446 ^ _35311) ^ [] : [-(iext(_210673, 6441 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677], 6442 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677]))], (6448 ^ _35311) ^ [] : [-(iext(_210669, 6442 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677], 6443 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677]))], (6450 ^ _35311) ^ [] : [-(iext(_210665, 6443 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677], 6444 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677]))], (6452 ^ _35311) ^ [] : [iext(_210677, 6441 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677], 6444 ^ [_210665, _210667, _210669, _210671, _210673, _210675, _210677])]]]]], (6456 ^ _35311) ^ [_214032, _214034] : [iext(uri_owl_inverseOf, _214034, _214032), 6459 ^ _35311 : [(6460 ^ _35311) ^ [] : [-(ip(_214034))], (6462 ^ _35311) ^ [] : [-(ip(_214032))], (6464 ^ _35311) ^ [_214361, _214363] : [iext(_214034, _214363, _214361), -(iext(_214032, _214361, _214363))], (6470 ^ _35311) ^ [_214543, _214545] : [iext(_214032, _214543, _214545), -(iext(_214034, _214545, _214543))]]], (6476 ^ _35311) ^ [_214736, _214738] : [-(iext(uri_owl_inverseOf, _214738, _214736)), ip(_214738), ip(_214736), 6489 ^ _35311 : [(6490 ^ _35311) ^ [] : [-(iext(_214738, 6485 ^ [_214736, _214738], 6486 ^ [_214736, _214738]))], (6492 ^ _35311) ^ [] : [iext(_214736, 6486 ^ [_214736, _214738], 6485 ^ [_214736, _214738])]], 6493 ^ _35311 : [(6494 ^ _35311) ^ [] : [-(iext(_214736, 6486 ^ [_214736, _214738], 6485 ^ [_214736, _214738]))], (6496 ^ _35311) ^ [] : [iext(_214738, 6485 ^ [_214736, _214738], 6486 ^ [_214736, _214738])]]], (6500 ^ _35311) ^ [_215572] : [icext(uri_owl_AsymmetricProperty, _215572), 6503 ^ _35311 : [(6504 ^ _35311) ^ [] : [-(ip(_215572))], (6506 ^ _35311) ^ [_215796, _215798] : [iext(_215572, _215798, _215796), iext(_215572, _215796, _215798)]]], (6512 ^ _35311) ^ [_215978] : [-(icext(uri_owl_AsymmetricProperty, _215978)), ip(_215978), 6519 ^ _35311 : [(6520 ^ _35311) ^ [] : [-(iext(_215978, 6517 ^ [_215978], 6518 ^ [_215978]))], (6522 ^ _35311) ^ [] : [-(iext(_215978, 6518 ^ [_215978], 6517 ^ [_215978]))]]], (6542 ^ _35311) ^ [_217040] : [-(icext(uri_owl_FunctionalProperty, _217040)), ip(_217040), 6550 ^ _35311 : [(6551 ^ _35311) ^ [] : [-(iext(_217040, 6547 ^ [_217040], 6548 ^ [_217040]))], (6553 ^ _35311) ^ [] : [-(iext(_217040, 6547 ^ [_217040], 6549 ^ [_217040]))], (6555 ^ _35311) ^ [] : [6548 ^ [_217040] = 6549 ^ [_217040]]]], (6526 ^ _35311) ^ [_216509] : [icext(uri_owl_FunctionalProperty, _216509), 6529 ^ _35311 : [(6530 ^ _35311) ^ [] : [-(ip(_216509))], (6532 ^ _35311) ^ [_216756, _216758, _216760] : [-(_216758 = _216756), iext(_216509, _216760, _216758), iext(_216509, _216760, _216756)]]], (6575 ^ _35311) ^ [_218281] : [-(icext(uri_owl_InverseFunctionalProperty, _218281)), ip(_218281), 6583 ^ _35311 : [(6584 ^ _35311) ^ [] : [-(iext(_218281, 6580 ^ [_218281], 6582 ^ [_218281]))], (6586 ^ _35311) ^ [] : [-(iext(_218281, 6581 ^ [_218281], 6582 ^ [_218281]))], (6588 ^ _35311) ^ [] : [6580 ^ [_218281] = 6581 ^ [_218281]]]], (6559 ^ _35311) ^ [_217750] : [icext(uri_owl_InverseFunctionalProperty, _217750), 6562 ^ _35311 : [(6563 ^ _35311) ^ [] : [-(ip(_217750))], (6565 ^ _35311) ^ [_217997, _217999, _218001] : [-(_218001 = _217999), iext(_217750, _218001, _217997), iext(_217750, _217999, _217997)]]], (6592 ^ _35311) ^ [_218991] : [icext(uri_owl_IrreflexiveReflexiveProperty, _218991), 6595 ^ _35311 : [(6596 ^ _35311) ^ [] : [-(ip(_218991))], (6598 ^ _35311) ^ [_219173] : [iext(_218991, _219173, _219173)]]], (6600 ^ _35311) ^ [_219242] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _219242)), ip(_219242), -(iext(_219242, 6605 ^ [_219242], 6605 ^ [_219242]))], (6611 ^ _35311) ^ [_219610] : [icext(uri_owl_ReflexiveProperty, _219610), 6614 ^ _35311 : [(6615 ^ _35311) ^ [] : [-(ip(_219610))], (6617 ^ _35311) ^ [_219791] : [-(iext(_219610, _219791, _219791))]]], (6619 ^ _35311) ^ [_219860] : [-(icext(uri_owl_ReflexiveProperty, _219860)), ip(_219860), iext(_219860, 6624 ^ [_219860], 6624 ^ [_219860])], (6630 ^ _35311) ^ [_220223] : [icext(uri_owl_SymmetricProperty, _220223), 6633 ^ _35311 : [(6634 ^ _35311) ^ [] : [-(ip(_220223))], (6636 ^ _35311) ^ [_220445, _220447] : [iext(_220223, _220447, _220445), -(iext(_220223, _220445, _220447))]]], (6642 ^ _35311) ^ [_220626] : [-(icext(uri_owl_SymmetricProperty, _220626)), ip(_220626), 6649 ^ _35311 : [(6650 ^ _35311) ^ [] : [-(iext(_220626, 6647 ^ [_220626], 6648 ^ [_220626]))], (6652 ^ _35311) ^ [] : [iext(_220626, 6648 ^ [_220626], 6647 ^ [_220626])]]], (6672 ^ _35311) ^ [_221684] : [-(icext(uri_owl_TransitiveProperty, _221684)), ip(_221684), 6680 ^ _35311 : [(6681 ^ _35311) ^ [] : [-(iext(_221684, 6677 ^ [_221684], 6678 ^ [_221684]))], (6683 ^ _35311) ^ [] : [-(iext(_221684, 6678 ^ [_221684], 6679 ^ [_221684]))], (6685 ^ _35311) ^ [] : [iext(_221684, 6677 ^ [_221684], 6679 ^ [_221684])]]], (6656 ^ _35311) ^ [_221150] : [icext(uri_owl_TransitiveProperty, _221150), 6659 ^ _35311 : [(6660 ^ _35311) ^ [] : [-(ip(_221150))], (6662 ^ _35311) ^ [_221398, _221400, _221402] : [-(iext(_221150, _221402, _221398)), iext(_221150, _221402, _221400), iext(_221150, _221400, _221398)]]], (6705 ^ _35311) ^ [_222897] : [-(iext(uri_owl_hasKey, _222897, uri_rdf_nil)), ic(_222897), 6712 ^ _35311 : [(6713 ^ _35311) ^ [] : [-(icext(_222897, 6710 ^ [_222897]))], (6715 ^ _35311) ^ [] : [-(icext(_222897, 6711 ^ [_222897]))], (6717 ^ _35311) ^ [] : [6710 ^ [_222897] = 6711 ^ [_222897]]]], (6689 ^ _35311) ^ [_222399] : [iext(uri_owl_hasKey, _222399, uri_rdf_nil), 6692 ^ _35311 : [(6693 ^ _35311) ^ [] : [-(ic(_222399))], (6695 ^ _35311) ^ [_222627, _222629] : [-(_222629 = _222627), icext(_222399, _222629), icext(_222399, _222627)]]], (6721 ^ _35311) ^ [_223500, _223502, _223504] : [iext(uri_rdf_first, _223502, _223500), iext(uri_rdf_rest, _223502, uri_rdf_nil), 6728 ^ _35311 : [(6755 ^ _35311) ^ [] : [-(iext(uri_owl_hasKey, _223504, _223502)), ic(_223504), ip(_223500), 6767 ^ _35311 : [(6768 ^ _35311) ^ [] : [-(icext(_223504, 6764 ^ [_223500, _223502, _223504]))], (6770 ^ _35311) ^ [] : [-(icext(_223504, 6765 ^ [_223500, _223502, _223504]))], (6772 ^ _35311) ^ [] : [-(iext(_223500, 6764 ^ [_223500, _223502, _223504], 6766 ^ [_223500, _223502, _223504]))], (6774 ^ _35311) ^ [] : [-(iext(_223500, 6765 ^ [_223500, _223502, _223504], 6766 ^ [_223500, _223502, _223504]))], (6776 ^ _35311) ^ [] : [6764 ^ [_223500, _223502, _223504] = 6765 ^ [_223500, _223502, _223504]]]], (6729 ^ _35311) ^ [] : [iext(uri_owl_hasKey, _223504, _223502), 6732 ^ _35311 : [(6733 ^ _35311) ^ [] : [-(ic(_223504))], (6735 ^ _35311) ^ [] : [-(ip(_223500))], (6737 ^ _35311) ^ [_224060, _224062, _224064] : [-(_224064 = _224062), icext(_223504, _224064), icext(_223504, _224062), iext(_223500, _224064, _224060), iext(_223500, _224062, _224060)]]]]], (6780 ^ _35311) ^ [_225669, _225671, _225673, _225675, _225677] : [iext(uri_rdf_first, _225675, _225673), iext(uri_rdf_rest, _225675, _225671), iext(uri_rdf_first, _225671, _225669), iext(uri_rdf_rest, _225671, uri_rdf_nil), 6795 ^ _35311 : [(6832 ^ _35311) ^ [] : [-(iext(uri_owl_hasKey, _225677, _225675)), ic(_225677), ip(_225673), ip(_225669), 6849 ^ _35311 : [(6850 ^ _35311) ^ [] : [-(icext(_225677, 6845 ^ [_225669, _225671, _225673, _225675, _225677]))], (6852 ^ _35311) ^ [] : [-(icext(_225677, 6846 ^ [_225669, _225671, _225673, _225675, _225677]))], (6854 ^ _35311) ^ [] : [-(iext(_225673, 6845 ^ [_225669, _225671, _225673, _225675, _225677], 6847 ^ [_225669, _225671, _225673, _225675, _225677]))], (6856 ^ _35311) ^ [] : [-(iext(_225673, 6846 ^ [_225669, _225671, _225673, _225675, _225677], 6847 ^ [_225669, _225671, _225673, _225675, _225677]))], (6858 ^ _35311) ^ [] : [-(iext(_225669, 6845 ^ [_225669, _225671, _225673, _225675, _225677], 6848 ^ [_225669, _225671, _225673, _225675, _225677]))], (6860 ^ _35311) ^ [] : [-(iext(_225669, 6846 ^ [_225669, _225671, _225673, _225675, _225677], 6848 ^ [_225669, _225671, _225673, _225675, _225677]))], (6862 ^ _35311) ^ [] : [6845 ^ [_225669, _225671, _225673, _225675, _225677] = 6846 ^ [_225669, _225671, _225673, _225675, _225677]]]], (6796 ^ _35311) ^ [] : [iext(uri_owl_hasKey, _225677, _225675), 6799 ^ _35311 : [(6800 ^ _35311) ^ [] : [-(ic(_225677))], (6802 ^ _35311) ^ [] : [-(ip(_225673))], (6804 ^ _35311) ^ [] : [-(ip(_225669))], (6806 ^ _35311) ^ [_226576, _226578, _226580, _226582] : [-(_226582 = _226580), icext(_225677, _226582), icext(_225677, _226580), iext(_225673, _226582, _226578), iext(_225673, _226580, _226578), iext(_225669, _226582, _226576), iext(_225669, _226580, _226576)]]]]], (6866 ^ _35311) ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286] : [iext(uri_rdf_first, _229284, _229282), iext(uri_rdf_rest, _229284, _229280), iext(uri_rdf_first, _229280, _229278), iext(uri_rdf_rest, _229280, _229276), iext(uri_rdf_first, _229276, _229274), iext(uri_rdf_rest, _229276, uri_rdf_nil), 6889 ^ _35311 : [(6936 ^ _35311) ^ [] : [-(iext(uri_owl_hasKey, _229286, _229284)), ic(_229286), ip(_229282), ip(_229278), ip(_229274), 6958 ^ _35311 : [(6959 ^ _35311) ^ [] : [-(icext(_229286, 6953 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6961 ^ _35311) ^ [] : [-(icext(_229286, 6954 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6963 ^ _35311) ^ [] : [-(iext(_229282, 6953 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6955 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6965 ^ _35311) ^ [] : [-(iext(_229282, 6954 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6955 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6967 ^ _35311) ^ [] : [-(iext(_229278, 6953 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6956 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6969 ^ _35311) ^ [] : [-(iext(_229278, 6954 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6956 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6971 ^ _35311) ^ [] : [-(iext(_229274, 6953 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6957 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6973 ^ _35311) ^ [] : [-(iext(_229274, 6954 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286], 6957 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]))], (6975 ^ _35311) ^ [] : [6953 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286] = 6954 ^ [_229274, _229276, _229278, _229280, _229282, _229284, _229286]]]], (6890 ^ _35311) ^ [] : [iext(uri_owl_hasKey, _229286, _229284), 6893 ^ _35311 : [(6894 ^ _35311) ^ [] : [-(ic(_229286))], (6896 ^ _35311) ^ [] : [-(ip(_229282))], (6898 ^ _35311) ^ [] : [-(ip(_229278))], (6900 ^ _35311) ^ [] : [-(ip(_229274))], (6902 ^ _35311) ^ [_230568, _230570, _230572, _230574, _230576] : [-(_230576 = _230574), icext(_229286, _230576), icext(_229286, _230574), iext(_229282, _230576, _230572), iext(_229282, _230574, _230572), iext(_229278, _230576, _230570), iext(_229278, _230574, _230570), iext(_229274, _230576, _230568), iext(_229274, _230574, _230568)]]]]], (6979 ^ _35311) ^ [_234638, _234640, _234642] : [6995 ^ _35311 : [(6996 ^ _35311) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_234638, _234640, _234642], _234640))], (6998 ^ _35311) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_234638, _234640, _234642], _234642))], (7000 ^ _35311) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_234638, _234640, _234642], _234638))]], ir(_234640), iodp(_234642), lv(_234638), -(iext(_234642, _234640, _234638))], (7002 ^ _35311) ^ [_235415, _235417, _235419, _235421] : [7013 ^ _35311 : [(7014 ^ _35311) ^ [] : [-(iodp(_235419))], (7016 ^ _35311) ^ [] : [iext(_235419, _235417, _235415)]], iext(uri_owl_sourceIndividual, _235421, _235417), iext(uri_owl_assertionProperty, _235421, _235419), iext(uri_owl_targetValue, _235421, _235415)], (7018 ^ _35311) ^ [_235931, _235933, _235935] : [7034 ^ _35311 : [(7035 ^ _35311) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_235931, _235933, _235935], _235933))], (7037 ^ _35311) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_235931, _235933, _235935], _235935))], (7039 ^ _35311) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_235931, _235933, _235935], _235931))]], ir(_235933), ip(_235935), ir(_235931), -(iext(_235935, _235933, _235931))], (7041 ^ _35311) ^ [_236708, _236710, _236712, _236714] : [iext(_236712, _236710, _236708), iext(uri_owl_sourceIndividual, _236714, _236710), iext(uri_owl_assertionProperty, _236714, _236712), iext(uri_owl_targetIndividual, _236714, _236708)], (7055 ^ _35311) ^ [_237119] : [icext(uri_xsd_anyURI, _237119), -(lv(_237119))], (7061 ^ _35311) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35311) ^ [_237360] : [icext(uri_xsd_base64Binary, _237360), -(lv(_237360))], (7069 ^ _35311) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35311) ^ [_237601] : [icext(uri_xsd_boolean, _237601), -(lv(_237601))], (7077 ^ _35311) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35311) ^ [_237842] : [icext(uri_xsd_byte, _237842), -(lv(_237842))], (7085 ^ _35311) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35311) ^ [_238083] : [icext(uri_xsd_dateTime, _238083), -(lv(_238083))], (7093 ^ _35311) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35311) ^ [_238324] : [icext(uri_xsd_dateTimeStamp, _238324), -(lv(_238324))], (7101 ^ _35311) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35311) ^ [_238565] : [icext(uri_xsd_decimal, _238565), -(lv(_238565))], (7109 ^ _35311) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35311) ^ [_238806] : [icext(uri_xsd_double, _238806), -(lv(_238806))], (7117 ^ _35311) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35311) ^ [_239047] : [icext(uri_xsd_float, _239047), -(lv(_239047))], (7125 ^ _35311) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35311) ^ [_239288] : [icext(uri_xsd_hexBinary, _239288), -(lv(_239288))], (7133 ^ _35311) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35311) ^ [_239529] : [icext(uri_xsd_int, _239529), -(lv(_239529))], (7141 ^ _35311) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35311) ^ [_239770] : [icext(uri_xsd_integer, _239770), -(lv(_239770))], (7149 ^ _35311) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35311) ^ [_240011] : [icext(uri_xsd_language, _240011), -(lv(_240011))], (7157 ^ _35311) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35311) ^ [_240252] : [icext(uri_xsd_long, _240252), -(lv(_240252))], (7165 ^ _35311) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35311) ^ [_240493] : [icext(uri_xsd_Name, _240493), -(lv(_240493))], (7173 ^ _35311) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35311) ^ [_240734] : [icext(uri_xsd_NCName, _240734), -(lv(_240734))], (7181 ^ _35311) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35311) ^ [_240975] : [icext(uri_xsd_negativeInteger, _240975), -(lv(_240975))], (7189 ^ _35311) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35311) ^ [_241216] : [icext(uri_xsd_NMTOKEN, _241216), -(lv(_241216))], (7197 ^ _35311) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35311) ^ [_241457] : [icext(uri_xsd_nonNegativeInteger, _241457), -(lv(_241457))], (7205 ^ _35311) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35311) ^ [_241698] : [icext(uri_xsd_nonPositiveInteger, _241698), -(lv(_241698))], (7213 ^ _35311) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35311) ^ [_241939] : [icext(uri_xsd_normalizedString, _241939), -(lv(_241939))], (7221 ^ _35311) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35311) ^ [_242180] : [icext(uri_rdf_PlainLiteral, _242180), -(lv(_242180))], (7229 ^ _35311) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35311) ^ [_242421] : [icext(uri_xsd_positiveInteger, _242421), -(lv(_242421))], (7237 ^ _35311) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35311) ^ [_242662] : [icext(uri_owl_rational, _242662), -(lv(_242662))], (7245 ^ _35311) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35311) ^ [_242903] : [icext(uri_owl_real, _242903), -(lv(_242903))], (7253 ^ _35311) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35311) ^ [_243144] : [icext(uri_xsd_short, _243144), -(lv(_243144))], (7261 ^ _35311) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35311) ^ [_243385] : [icext(uri_xsd_string, _243385), -(lv(_243385))], (7269 ^ _35311) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35311) ^ [_243626] : [icext(uri_xsd_token, _243626), -(lv(_243626))], (7277 ^ _35311) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35311) ^ [_243867] : [icext(uri_xsd_unsignedByte, _243867), -(lv(_243867))], (7285 ^ _35311) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35311) ^ [_244108] : [icext(uri_xsd_unsignedInt, _244108), -(lv(_244108))], (7293 ^ _35311) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35311) ^ [_244349] : [icext(uri_xsd_unsignedLong, _244349), -(lv(_244349))], (7301 ^ _35311) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35311) ^ [_244590] : [icext(uri_xsd_unsignedShort, _244590), -(lv(_244590))], (7309 ^ _35311) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35311) ^ [_244831] : [icext(uri_rdf_XMLLiteral, _244831), -(lv(_244831))], (7317 ^ _35311) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35311) ^ [_245072] : [icext(uri_xsd_anyURI, _245072), icext(uri_xsd_base64Binary, _245072)], (7325 ^ _35311) ^ [_245261] : [icext(uri_xsd_anyURI, _245261), icext(uri_xsd_boolean, _245261)], (7331 ^ _35311) ^ [_245450] : [icext(uri_xsd_anyURI, _245450), icext(uri_xsd_dateTime, _245450)], (7337 ^ _35311) ^ [_245639] : [icext(uri_xsd_anyURI, _245639), icext(uri_xsd_double, _245639)], (7343 ^ _35311) ^ [_245828] : [icext(uri_xsd_anyURI, _245828), icext(uri_xsd_float, _245828)], (7349 ^ _35311) ^ [_246017] : [icext(uri_xsd_anyURI, _246017), icext(uri_xsd_hexBinary, _246017)], (7355 ^ _35311) ^ [_246206] : [icext(uri_xsd_anyURI, _246206), icext(uri_rdf_PlainLiteral, _246206)], (7361 ^ _35311) ^ [_246395] : [icext(uri_xsd_anyURI, _246395), icext(uri_owl_real, _246395)], (7367 ^ _35311) ^ [_246584] : [icext(uri_xsd_anyURI, _246584), icext(uri_rdf_XMLLiteral, _246584)], (7373 ^ _35311) ^ [_246773] : [icext(uri_xsd_base64Binary, _246773), icext(uri_xsd_boolean, _246773)], (7379 ^ _35311) ^ [_246962] : [icext(uri_xsd_base64Binary, _246962), icext(uri_xsd_dateTime, _246962)], (7385 ^ _35311) ^ [_247151] : [icext(uri_xsd_base64Binary, _247151), icext(uri_xsd_double, _247151)], (7391 ^ _35311) ^ [_247340] : [icext(uri_xsd_base64Binary, _247340), icext(uri_xsd_float, _247340)], (7397 ^ _35311) ^ [_247529] : [icext(uri_xsd_base64Binary, _247529), icext(uri_xsd_hexBinary, _247529)], (7403 ^ _35311) ^ [_247718] : [icext(uri_xsd_base64Binary, _247718), icext(uri_rdf_PlainLiteral, _247718)], (7409 ^ _35311) ^ [_247907] : [icext(uri_xsd_base64Binary, _247907), icext(uri_owl_real, _247907)], (7415 ^ _35311) ^ [_248096] : [icext(uri_xsd_base64Binary, _248096), icext(uri_rdf_XMLLiteral, _248096)], (7421 ^ _35311) ^ [_248285] : [icext(uri_xsd_boolean, _248285), icext(uri_xsd_dateTime, _248285)], (7427 ^ _35311) ^ [_248474] : [icext(uri_xsd_boolean, _248474), icext(uri_xsd_double, _248474)], (7433 ^ _35311) ^ [_248663] : [icext(uri_xsd_boolean, _248663), icext(uri_xsd_float, _248663)], (7439 ^ _35311) ^ [_248852] : [icext(uri_xsd_boolean, _248852), icext(uri_xsd_hexBinary, _248852)], (7445 ^ _35311) ^ [_249041] : [icext(uri_xsd_boolean, _249041), icext(uri_rdf_PlainLiteral, _249041)], (7451 ^ _35311) ^ [_249230] : [icext(uri_xsd_boolean, _249230), icext(uri_owl_real, _249230)], (7457 ^ _35311) ^ [_249419] : [icext(uri_xsd_boolean, _249419), icext(uri_rdf_XMLLiteral, _249419)], (7463 ^ _35311) ^ [_249608] : [icext(uri_xsd_dateTime, _249608), icext(uri_xsd_double, _249608)], (7469 ^ _35311) ^ [_249797] : [icext(uri_xsd_dateTime, _249797), icext(uri_xsd_float, _249797)], (7475 ^ _35311) ^ [_249986] : [icext(uri_xsd_dateTime, _249986), icext(uri_xsd_hexBinary, _249986)], (7481 ^ _35311) ^ [_250175] : [icext(uri_xsd_dateTime, _250175), icext(uri_rdf_PlainLiteral, _250175)], (7487 ^ _35311) ^ [_250364] : [icext(uri_xsd_dateTime, _250364), icext(uri_owl_real, _250364)], (7493 ^ _35311) ^ [_250553] : [icext(uri_xsd_dateTime, _250553), icext(uri_rdf_XMLLiteral, _250553)], (7499 ^ _35311) ^ [_250742] : [icext(uri_xsd_double, _250742), icext(uri_xsd_float, _250742)], (7505 ^ _35311) ^ [_250931] : [icext(uri_xsd_double, _250931), icext(uri_xsd_hexBinary, _250931)], (7511 ^ _35311) ^ [_251120] : [icext(uri_xsd_double, _251120), icext(uri_rdf_PlainLiteral, _251120)], (7517 ^ _35311) ^ [_251309] : [icext(uri_xsd_double, _251309), icext(uri_owl_real, _251309)], (7523 ^ _35311) ^ [_251498] : [icext(uri_xsd_double, _251498), icext(uri_rdf_XMLLiteral, _251498)], (7529 ^ _35311) ^ [_251687] : [icext(uri_xsd_float, _251687), icext(uri_xsd_hexBinary, _251687)], (7535 ^ _35311) ^ [_251876] : [icext(uri_xsd_float, _251876), icext(uri_rdf_PlainLiteral, _251876)], (7541 ^ _35311) ^ [_252065] : [icext(uri_xsd_float, _252065), icext(uri_owl_real, _252065)], (7547 ^ _35311) ^ [_252254] : [icext(uri_xsd_float, _252254), icext(uri_rdf_XMLLiteral, _252254)], (7553 ^ _35311) ^ [_252443] : [icext(uri_xsd_hexBinary, _252443), icext(uri_rdf_PlainLiteral, _252443)], (7559 ^ _35311) ^ [_252632] : [icext(uri_xsd_hexBinary, _252632), icext(uri_owl_real, _252632)], (7565 ^ _35311) ^ [_252821] : [icext(uri_xsd_hexBinary, _252821), icext(uri_rdf_XMLLiteral, _252821)], (7571 ^ _35311) ^ [_253010] : [icext(uri_rdf_PlainLiteral, _253010), icext(uri_owl_real, _253010)], (7577 ^ _35311) ^ [_253199] : [icext(uri_rdf_PlainLiteral, _253199), icext(uri_rdf_XMLLiteral, _253199)], (7583 ^ _35311) ^ [_253388] : [icext(uri_owl_real, _253388), icext(uri_rdf_XMLLiteral, _253388)], (7589 ^ _35311) ^ [_253577] : [icext(uri_xsd_byte, _253577), -(icext(uri_xsd_short, _253577))], (7595 ^ _35311) ^ [_253767] : [icext(uri_xsd_dateTimeStamp, _253767), -(icext(uri_xsd_dateTime, _253767))], (7601 ^ _35311) ^ [_253957] : [icext(uri_xsd_decimal, _253957), -(icext(uri_owl_rational, _253957))], (7607 ^ _35311) ^ [_254147] : [icext(uri_xsd_int, _254147), -(icext(uri_xsd_long, _254147))], (7613 ^ _35311) ^ [_254337] : [icext(uri_xsd_integer, _254337), -(icext(uri_xsd_decimal, _254337))], (7619 ^ _35311) ^ [_254527] : [icext(uri_xsd_language, _254527), -(icext(uri_xsd_token, _254527))], (7625 ^ _35311) ^ [_254717] : [icext(uri_xsd_long, _254717), -(icext(uri_xsd_integer, _254717))], (7631 ^ _35311) ^ [_254907] : [icext(uri_xsd_Name, _254907), -(icext(uri_xsd_token, _254907))], (7637 ^ _35311) ^ [_255097] : [icext(uri_xsd_NCName, _255097), -(icext(uri_xsd_Name, _255097))], (7643 ^ _35311) ^ [_255287] : [icext(uri_xsd_negativeInteger, _255287), -(icext(uri_xsd_nonPositiveInteger, _255287))], (7649 ^ _35311) ^ [_255477] : [icext(uri_xsd_NMTOKEN, _255477), -(icext(uri_xsd_token, _255477))], (7655 ^ _35311) ^ [_255667] : [icext(uri_xsd_nonNegativeInteger, _255667), -(icext(uri_xsd_integer, _255667))], (7661 ^ _35311) ^ [_255857] : [icext(uri_xsd_nonPositiveInteger, _255857), -(icext(uri_xsd_integer, _255857))], (7667 ^ _35311) ^ [_256047] : [icext(uri_xsd_normalizedString, _256047), -(icext(uri_xsd_string, _256047))], (7673 ^ _35311) ^ [_256237] : [icext(uri_xsd_positiveInteger, _256237), -(icext(uri_xsd_nonNegativeInteger, _256237))], (7679 ^ _35311) ^ [_256427] : [icext(uri_owl_rational, _256427), -(icext(uri_owl_real, _256427))], (7685 ^ _35311) ^ [_256617] : [icext(uri_xsd_short, _256617), -(icext(uri_xsd_int, _256617))], (7691 ^ _35311) ^ [_256807] : [icext(uri_xsd_string, _256807), -(icext(uri_rdf_PlainLiteral, _256807))], (7697 ^ _35311) ^ [_256997] : [icext(uri_xsd_token, _256997), -(icext(uri_xsd_normalizedString, _256997))], (7703 ^ _35311) ^ [_257187] : [icext(uri_xsd_unsignedByte, _257187), -(icext(uri_xsd_unsignedShort, _257187))], (7709 ^ _35311) ^ [_257377] : [icext(uri_xsd_unsignedInt, _257377), -(icext(uri_xsd_unsignedLong, _257377))], (7715 ^ _35311) ^ [_257567] : [icext(uri_xsd_unsignedLong, _257567), -(icext(uri_xsd_nonNegativeInteger, _257567))], (7721 ^ _35311) ^ [_257757] : [icext(uri_xsd_unsignedShort, _257757), -(icext(uri_xsd_unsignedInt, _257757))], (7727 ^ _35311) ^ [_257961, _257963] : [iext(uri_rdf_langRange, _257963, _257961), 7730 ^ _35311 : [(7731 ^ _35311) ^ [] : [-(ir(_257963))], (7733 ^ _35311) ^ [] : [-(lv(_257961))]]], (7735 ^ _35311) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35311) ^ [_258297, _258299] : [iext(uri_xsd_length, _258299, _258297), 7740 ^ _35311 : [(7741 ^ _35311) ^ [] : [-(ir(_258299))], (7743 ^ _35311) ^ [] : [-(lv(_258297))]]], (7745 ^ _35311) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35311) ^ [_258633, _258635] : [iext(uri_xsd_maxExclusive, _258635, _258633), 7750 ^ _35311 : [(7751 ^ _35311) ^ [] : [-(ir(_258635))], (7753 ^ _35311) ^ [] : [-(lv(_258633))]]], (7755 ^ _35311) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35311) ^ [_258969, _258971] : [iext(uri_xsd_maxInclusive, _258971, _258969), 7760 ^ _35311 : [(7761 ^ _35311) ^ [] : [-(ir(_258971))], (7763 ^ _35311) ^ [] : [-(lv(_258969))]]], (7765 ^ _35311) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35311) ^ [_259305, _259307] : [iext(uri_xsd_maxLength, _259307, _259305), 7770 ^ _35311 : [(7771 ^ _35311) ^ [] : [-(ir(_259307))], (7773 ^ _35311) ^ [] : [-(lv(_259305))]]], (7775 ^ _35311) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35311) ^ [_259641, _259643] : [iext(uri_xsd_minExclusive, _259643, _259641), 7780 ^ _35311 : [(7781 ^ _35311) ^ [] : [-(ir(_259643))], (7783 ^ _35311) ^ [] : [-(lv(_259641))]]], (7785 ^ _35311) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35311) ^ [_259977, _259979] : [iext(uri_xsd_minInclusive, _259979, _259977), 7790 ^ _35311 : [(7791 ^ _35311) ^ [] : [-(ir(_259979))], (7793 ^ _35311) ^ [] : [-(lv(_259977))]]], (7795 ^ _35311) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35311) ^ [_260313, _260315] : [iext(uri_xsd_minLength, _260315, _260313), 7800 ^ _35311 : [(7801 ^ _35311) ^ [] : [-(ir(_260315))], (7803 ^ _35311) ^ [] : [-(lv(_260313))]]], (7805 ^ _35311) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35311) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35311) ^ [_260649, _260651] : [iext(uri_xsd_pattern, _260651, _260649), 7810 ^ _35311 : [(7811 ^ _35311) ^ [] : [-(ir(_260651))], (7813 ^ _35311) ^ [] : [-(lv(_260649))]]]], input).
% 0.47/1.37  ncf('1',plain,[iext(uri_rdf_type, uri_ex_r, uri_owl_Restriction), iext(uri_owl_onProperty, uri_ex_r, uri_ex_p)],start(7825 ^ 0)).
% 0.47/1.37  ncf('1.1',plain,[-(iext(uri_rdf_type, uri_ex_r, uri_owl_Restriction))],extension(7819 ^ 1)).
% 0.47/1.37  ncf('1.2',plain,[-(iext(uri_owl_onProperty, uri_ex_r, uri_ex_p))],extension(7821 ^ 1)).
% 0.47/1.37  %-----------------------------------------------------
% 0.47/1.37  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------