%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : SWB015+1 : TPTP v8.1.2. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n028.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:31 EDT 2023
% Result : Theorem 16.05s 15.91s
% Output : Proof 16.05s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWB015+1 : TPTP v8.1.2. Released v5.2.0.
% 0.06/0.12 % Command : nanocop.sh %s %d
% 0.12/0.33 % Computer : n028.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu May 18 21:04:33 EDT 2023
% 0.12/0.33 % CPUTime :
% 16.05/15.91
% 16.05/15.91 /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 16.05/15.91 Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 16.05/15.91 %-----------------------------------------------------
% 16.05/15.91 ncf(matrix, plain, [(7817 ^ _35246) ^ [] : [iext(uri_owl_sameAs, uri_owl_sameAs, uri_owl_sameAs)], (142 ^ _35246) ^ [_37114, _37116, _37118, _37120] : [-(literal_typed(_37120, _37116) = literal_typed(_37118, _37114)), _37120 = _37118, _37116 = _37114], (2 ^ _35246) ^ [_35276] : [-(_35276 = _35276)], (4 ^ _35246) ^ [_35299, _35301] : [_35301 = _35299, -(_35299 = _35301)], (10 ^ _35246) ^ [_35372, _35374, _35376] : [-(_35376 = _35372), _35376 = _35374, _35374 = _35372], (20 ^ _35246) ^ [_35509, _35511] : [-(ioap(_35509)), _35511 = _35509, ioap(_35511)], (30 ^ _35246) ^ [_35634, _35636] : [-(ix(_35634)), _35636 = _35634, ix(_35636)], (40 ^ _35246) ^ [_35759, _35761] : [-(ioxp(_35759)), _35761 = _35759, ioxp(_35761)], (50 ^ _35246) ^ [_35884, _35886] : [-(ic(_35884)), _35886 = _35884, ic(_35886)], (60 ^ _35246) ^ [_36009, _36011] : [-(ip(_36009)), _36011 = _36009, ip(_36011)], (70 ^ _35246) ^ [_36134, _36136] : [-(idc(_36134)), _36136 = _36134, idc(_36136)], (80 ^ _35246) ^ [_36259, _36261, _36263, _36265] : [-(icext(_36263, _36259)), icext(_36265, _36261), _36265 = _36263, _36261 = _36259], (94 ^ _35246) ^ [_36452, _36454] : [-(ir(_36452)), _36454 = _36452, ir(_36454)], (104 ^ _35246) ^ [_36577, _36579] : [-(lv(_36577)), _36579 = _36577, lv(_36579)], (114 ^ _35246) ^ [_36702, _36704] : [-(iodp(_36702)), _36704 = _36702, iodp(_36704)], (124 ^ _35246) ^ [_36823, _36825, _36827, _36829, _36831, _36833] : [-(iext(_36831, _36827, _36823)), iext(_36833, _36829, _36825), _36833 = _36831, _36829 = _36827, _36825 = _36823], (152 ^ _35246) ^ [_37265, _37267, _37269] : [iext(_37267, _37269, _37265), -(ip(_37267))], (158 ^ _35246) ^ [_37344] : [-(ir(_37344))], (160 ^ _35246) ^ [_37366] : [lv(_37366), -(ir(_37366))], (166 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35246) ^ [_37611] : [iext(uri_rdf_type, _37611, uri_rdf_Property), -(ip(_37611))], (190 ^ _35246) ^ [_37682] : [ip(_37682), -(iext(uri_rdf_type, _37682, uri_rdf_Property))], (196 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35246) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35246) ^ [_37972, _37974] : [iext(uri_rdf_type, _37974, _37972), -(icext(_37972, _37974))], (224 ^ _35246) ^ [_38047, _38049] : [icext(_38047, _38049), -(iext(uri_rdf_type, _38049, _38047))], (230 ^ _35246) ^ [_38128] : [ic(_38128), -(iext(uri_rdfs_subClassOf, _38128, uri_rdfs_Resource))], (236 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35246) ^ [_38311] : [icext(uri_rdfs_ContainerMembershipProperty, _38311), -(iext(uri_rdfs_subPropertyOf, _38311, uri_rdfs_member))], (254 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35246) ^ [_38658] : [icext(uri_rdfs_Datatype, _38658), -(iext(uri_rdfs_subClassOf, _38658, uri_rdfs_Literal))], (290 ^ _35246) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35246) ^ [_38771, _38773, _38775, _38777] : [-(icext(_38775, _38773)), iext(uri_rdfs_domain, _38777, _38775), iext(_38777, _38773, _38771)], (304 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35246) ^ [_38942] : [ic(_38942), -(icext(uri_rdfs_Class, _38942))], (312 ^ _35246) ^ [_39011] : [icext(uri_rdfs_Class, _39011), -(ic(_39011))], (318 ^ _35246) ^ [_39098] : [ir(_39098), -(icext(uri_rdfs_Resource, _39098))], (324 ^ _35246) ^ [_39167] : [icext(uri_rdfs_Resource, _39167), -(ir(_39167))], (330 ^ _35246) ^ [_39254] : [lv(_39254), -(icext(uri_rdfs_Literal, _39254))], (336 ^ _35246) ^ [_39323] : [icext(uri_rdfs_Literal, _39323), -(lv(_39323))], (342 ^ _35246) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35246) ^ [_39434, _39436, _39438, _39440] : [-(icext(_39438, _39434)), iext(uri_rdfs_range, _39440, _39438), iext(_39440, _39436, _39434)], (356 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35246) ^ [_39719, _39721] : [iext(uri_rdfs_subClassOf, _39721, _39719), 375 ^ _35246 : [(376 ^ _35246) ^ [] : [-(ic(_39721))], (378 ^ _35246) ^ [] : [-(ic(_39719))], (380 ^ _35246) ^ [_39834] : [icext(_39721, _39834), -(icext(_39719, _39834))]]], (386 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35246) ^ [_39939] : [ic(_39939), -(iext(uri_rdfs_subClassOf, _39939, _39939))], (394 ^ _35246) ^ [_40014, _40016, _40018] : [-(iext(uri_rdfs_subClassOf, _40018, _40014)), iext(uri_rdfs_subClassOf, _40018, _40016), iext(uri_rdfs_subClassOf, _40016, _40014)], (404 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35246) ^ [_40171, _40173] : [iext(uri_rdfs_subPropertyOf, _40173, _40171), 409 ^ _35246 : [(410 ^ _35246) ^ [] : [-(ip(_40173))], (412 ^ _35246) ^ [] : [-(ip(_40171))], (414 ^ _35246) ^ [_40293, _40295] : [iext(_40173, _40295, _40293), -(iext(_40171, _40295, _40293))]]], (420 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35246) ^ [_40404] : [ip(_40404), -(iext(uri_rdfs_subPropertyOf, _40404, _40404))], (428 ^ _35246) ^ [_40479, _40481, _40483] : [-(iext(uri_rdfs_subPropertyOf, _40483, _40479)), iext(uri_rdfs_subPropertyOf, _40483, _40481), iext(uri_rdfs_subPropertyOf, _40481, _40479)], (438 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35246) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35246) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35246) ^ [_40690] : [ic(_40690), 449 ^ _35246 : [(450 ^ _35246) ^ [_40748] : [icext(_40690, _40748), -(ir(_40748))]]], (456 ^ _35246) ^ [_40827] : [ic(_40827), -(ir(_40827))], (462 ^ _35246) ^ [_40910] : [ic(_40910), -(iext(uri_rdf_type, _40910, uri_rdfs_Class))], (468 ^ _35246) ^ [_40981] : [iext(uri_rdf_type, _40981, uri_rdfs_Class), -(ic(_40981))], (474 ^ _35246) ^ [_41058] : [idc(_41058), 477 ^ _35246 : [(478 ^ _35246) ^ [_41116] : [icext(_41058, _41116), -(lv(_41116))]]], (484 ^ _35246) ^ [_41195] : [idc(_41195), -(ic(_41195))], (490 ^ _35246) ^ [_41278] : [idc(_41278), -(iext(uri_rdf_type, _41278, uri_rdfs_Datatype))], (496 ^ _35246) ^ [_41349] : [iext(uri_rdf_type, _41349, uri_rdfs_Datatype), -(idc(_41349))], (502 ^ _35246) ^ [_41426] : [ioap(_41426), 505 ^ _35246 : [(506 ^ _35246) ^ [_41495, _41497] : [iext(_41426, _41497, _41495), 509 ^ _35246 : [(510 ^ _35246) ^ [] : [-(ir(_41497))], (512 ^ _35246) ^ [] : [-(ir(_41495))]]]]], (514 ^ _35246) ^ [_41602] : [ioap(_41602), -(ip(_41602))], (520 ^ _35246) ^ [_41685] : [ioap(_41685), -(iext(uri_rdf_type, _41685, uri_owl_AnnotationProperty))], (526 ^ _35246) ^ [_41756] : [iext(uri_rdf_type, _41756, uri_owl_AnnotationProperty), -(ioap(_41756))], (532 ^ _35246) ^ [_41833] : [iodp(_41833), 535 ^ _35246 : [(536 ^ _35246) ^ [_41902, _41904] : [iext(_41833, _41904, _41902), 539 ^ _35246 : [(540 ^ _35246) ^ [] : [-(ir(_41904))], (542 ^ _35246) ^ [] : [-(lv(_41902))]]]]], (544 ^ _35246) ^ [_42009] : [iodp(_42009), -(ip(_42009))], (550 ^ _35246) ^ [_42092] : [iodp(_42092), -(iext(uri_rdf_type, _42092, uri_owl_DatatypeProperty))], (556 ^ _35246) ^ [_42163] : [iext(uri_rdf_type, _42163, uri_owl_DatatypeProperty), -(iodp(_42163))], (562 ^ _35246) ^ [_42240] : [ioxp(_42240), 565 ^ _35246 : [(566 ^ _35246) ^ [_42309, _42311] : [iext(_42240, _42311, _42309), 569 ^ _35246 : [(570 ^ _35246) ^ [] : [-(ix(_42311))], (572 ^ _35246) ^ [] : [-(ix(_42309))]]]]], (574 ^ _35246) ^ [_42416] : [ioxp(_42416), -(ip(_42416))], (580 ^ _35246) ^ [_42499] : [ioxp(_42499), -(iext(uri_rdf_type, _42499, uri_owl_OntologyProperty))], (586 ^ _35246) ^ [_42570] : [iext(uri_rdf_type, _42570, uri_owl_OntologyProperty), -(ioxp(_42570))], (592 ^ _35246) ^ [_42647] : [ip(_42647), 595 ^ _35246 : [(596 ^ _35246) ^ [_42716, _42718] : [iext(_42647, _42718, _42716), 599 ^ _35246 : [(600 ^ _35246) ^ [] : [-(ir(_42718))], (602 ^ _35246) ^ [] : [-(ir(_42716))]]]]], (604 ^ _35246) ^ [_42823] : [ip(_42823), -(ir(_42823))], (610 ^ _35246) ^ [_42906] : [ip(_42906), -(iext(uri_rdf_type, _42906, uri_rdf_Property))], (616 ^ _35246) ^ [_42977] : [iext(uri_rdf_type, _42977, uri_rdf_Property), -(ip(_42977))], (623 ^ _35246) ^ [] : [-(ir(621 ^ []))], (625 ^ _35246) ^ [_43090] : [ir(_43090), -(iext(uri_rdf_type, _43090, uri_rdfs_Resource))], (631 ^ _35246) ^ [_43161] : [iext(uri_rdf_type, _43161, uri_rdfs_Resource), -(ir(_43161))], (637 ^ _35246) ^ [_43238] : [ix(_43238), -(ir(_43238))], (643 ^ _35246) ^ [_43321] : [ix(_43321), -(iext(uri_rdf_type, _43321, uri_owl_Ontology))], (649 ^ _35246) ^ [_43392] : [iext(uri_rdf_type, _43392, uri_owl_Ontology), -(ix(_43392))], (655 ^ _35246) ^ [_43469] : [lv(_43469), -(ir(_43469))], (661 ^ _35246) ^ [_43552] : [lv(_43552), -(iext(uri_rdf_type, _43552, uri_rdfs_Literal))], (667 ^ _35246) ^ [_43623] : [iext(uri_rdf_type, _43623, uri_rdfs_Literal), -(lv(_43623))], (673 ^ _35246) ^ [_43700] : [icext(uri_owl_AllDifferent, _43700), -(ir(_43700))], (679 ^ _35246) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35246) ^ [_43791] : [icext(uri_owl_AllDisjointClasses, _43791), -(ir(_43791))], (687 ^ _35246) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35246) ^ [_43882] : [icext(uri_owl_AllDisjointProperties, _43882), -(ir(_43882))], (695 ^ _35246) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35246) ^ [_43973] : [icext(uri_owl_Annotation, _43973), -(ir(_43973))], (703 ^ _35246) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35246) ^ [_44076] : [icext(uri_owl_AnnotationProperty, _44076), -(ioap(_44076))], (711 ^ _35246) ^ [_44145] : [ioap(_44145), -(icext(uri_owl_AnnotationProperty, _44145))], (717 ^ _35246) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35246) ^ [_44238] : [icext(uri_owl_AsymmetricProperty, _44238), -(ip(_44238))], (725 ^ _35246) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35246) ^ [_44329] : [icext(uri_owl_Axiom, _44329), -(ir(_44329))], (733 ^ _35246) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35246) ^ [_44432] : [icext(uri_owl_Class, _44432), -(ic(_44432))], (741 ^ _35246) ^ [_44501] : [ic(_44501), -(icext(uri_owl_Class, _44501))], (747 ^ _35246) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35246) ^ [_44606] : [icext(uri_rdfs_Class, _44606), -(ic(_44606))], (755 ^ _35246) ^ [_44675] : [ic(_44675), -(icext(uri_rdfs_Class, _44675))], (761 ^ _35246) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35246) ^ [_44780] : [icext(uri_owl_DataRange, _44780), -(idc(_44780))], (769 ^ _35246) ^ [_44849] : [idc(_44849), -(icext(uri_owl_DataRange, _44849))], (775 ^ _35246) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35246) ^ [_44954] : [icext(uri_rdfs_Datatype, _44954), -(idc(_44954))], (783 ^ _35246) ^ [_45023] : [idc(_45023), -(icext(uri_rdfs_Datatype, _45023))], (789 ^ _35246) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35246) ^ [_45128] : [icext(uri_owl_DatatypeProperty, _45128), -(iodp(_45128))], (797 ^ _35246) ^ [_45197] : [iodp(_45197), -(icext(uri_owl_DatatypeProperty, _45197))], (803 ^ _35246) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35246) ^ [_45290] : [icext(uri_owl_DeprecatedClass, _45290), -(ic(_45290))], (811 ^ _35246) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35246) ^ [_45381] : [icext(uri_owl_DeprecatedProperty, _45381), -(ip(_45381))], (819 ^ _35246) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35246) ^ [_45472] : [icext(uri_owl_FunctionalProperty, _45472), -(ip(_45472))], (827 ^ _35246) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35246) ^ [_45563] : [icext(uri_owl_InverseFunctionalProperty, _45563), -(ip(_45563))], (835 ^ _35246) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35246) ^ [_45654] : [icext(uri_owl_IrreflexiveProperty, _45654), -(ip(_45654))], (843 ^ _35246) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35246) ^ [_45757] : [icext(uri_rdfs_Literal, _45757), -(lv(_45757))], (851 ^ _35246) ^ [_45826] : [lv(_45826), -(icext(uri_rdfs_Literal, _45826))], (857 ^ _35246) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35246) ^ [_45919] : [icext(uri_owl_NamedIndividual, _45919), -(ir(_45919))], (865 ^ _35246) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35246) ^ [_46010] : [icext(uri_owl_NegativePropertyAssertion, _46010), -(ir(_46010))], (873 ^ _35246) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35246) ^ [_46110] : [icext(uri_owl_Nothing, _46110)], (877 ^ _35246) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35246) ^ [_46163] : [icext(uri_owl_ObjectProperty, _46163), -(ip(_46163))], (885 ^ _35246) ^ [_46232] : [ip(_46232), -(icext(uri_owl_ObjectProperty, _46232))], (891 ^ _35246) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35246) ^ [_46337] : [icext(uri_owl_Ontology, _46337), -(ix(_46337))], (899 ^ _35246) ^ [_46406] : [ix(_46406), -(icext(uri_owl_Ontology, _46406))], (905 ^ _35246) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35246) ^ [_46511] : [icext(uri_owl_OntologyProperty, _46511), -(ioxp(_46511))], (913 ^ _35246) ^ [_46580] : [ioxp(_46580), -(icext(uri_owl_OntologyProperty, _46580))], (919 ^ _35246) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35246) ^ [_46685] : [icext(uri_rdf_Property, _46685), -(ip(_46685))], (927 ^ _35246) ^ [_46754] : [ip(_46754), -(icext(uri_rdf_Property, _46754))], (933 ^ _35246) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35246) ^ [_46847] : [icext(uri_owl_ReflexiveProperty, _46847), -(ip(_46847))], (941 ^ _35246) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35246) ^ [_46950] : [icext(uri_rdfs_Resource, _46950), -(ir(_46950))], (949 ^ _35246) ^ [_47019] : [ir(_47019), -(icext(uri_rdfs_Resource, _47019))], (955 ^ _35246) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35246) ^ [_47112] : [icext(uri_owl_Restriction, _47112), -(ic(_47112))], (963 ^ _35246) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35246) ^ [_47203] : [icext(uri_owl_SymmetricProperty, _47203), -(ip(_47203))], (971 ^ _35246) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35246) ^ [_47306] : [icext(uri_owl_Thing, _47306), -(ir(_47306))], (979 ^ _35246) ^ [_47375] : [ir(_47375), -(icext(uri_owl_Thing, _47375))], (985 ^ _35246) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35246) ^ [_47468] : [icext(uri_owl_TransitiveProperty, _47468), -(ip(_47468))], (993 ^ _35246) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35246) ^ [_47559, _47561] : [iext(uri_owl_allValuesFrom, _47561, _47559), 998 ^ _35246 : [(999 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _47561))], (1001 ^ _35246) ^ [] : [-(ic(_47559))]]], (1003 ^ _35246) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35246) ^ [_47680, _47682] : [iext(uri_owl_annotatedProperty, _47682, _47680), 1008 ^ _35246 : [(1009 ^ _35246) ^ [] : [-(ir(_47682))], (1011 ^ _35246) ^ [] : [-(ir(_47680))]]], (1013 ^ _35246) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35246) ^ [_47799, _47801] : [iext(uri_owl_annotatedSource, _47801, _47799), 1018 ^ _35246 : [(1019 ^ _35246) ^ [] : [-(ir(_47801))], (1021 ^ _35246) ^ [] : [-(ir(_47799))]]], (1023 ^ _35246) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35246) ^ [_47918, _47920] : [iext(uri_owl_annotatedTarget, _47920, _47918), 1028 ^ _35246 : [(1029 ^ _35246) ^ [] : [-(ir(_47920))], (1031 ^ _35246) ^ [] : [-(ir(_47918))]]], (1033 ^ _35246) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35246) ^ [_48037, _48039] : [iext(uri_owl_assertionProperty, _48039, _48037), 1038 ^ _35246 : [(1039 ^ _35246) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48039))], (1041 ^ _35246) ^ [] : [-(ip(_48037))]]], (1043 ^ _35246) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35246) ^ [_48158, _48160] : [iext(uri_owl_backwardCompatibleWith, _48160, _48158), 1048 ^ _35246 : [(1049 ^ _35246) ^ [] : [-(ix(_48160))], (1051 ^ _35246) ^ [] : [-(ix(_48158))]]], (1053 ^ _35246) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35246) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35246) ^ [_48307, _48309] : [iext(uri_owl_bottomDataProperty, _48309, _48307)], (1059 ^ _35246) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35246) ^ [_48363, _48365] : [iext(uri_owl_bottomObjectProperty, _48365, _48363)], (1063 ^ _35246) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35246) ^ [_48407, _48409] : [iext(uri_owl_cardinality, _48409, _48407), 1068 ^ _35246 : [(1069 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _48409))], (1071 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48407))]]], (1073 ^ _35246) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35246) ^ [_48530, _48532] : [iext(uri_rdfs_comment, _48532, _48530), 1078 ^ _35246 : [(1079 ^ _35246) ^ [] : [-(ir(_48532))], (1081 ^ _35246) ^ [] : [-(lv(_48530))]]], (1083 ^ _35246) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35246) ^ [_48649, _48651] : [iext(uri_owl_complementOf, _48651, _48649), 1088 ^ _35246 : [(1089 ^ _35246) ^ [] : [-(ic(_48651))], (1091 ^ _35246) ^ [] : [-(ic(_48649))]]], (1093 ^ _35246) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35246) ^ [_48768, _48770] : [iext(uri_owl_datatypeComplementOf, _48770, _48768), 1098 ^ _35246 : [(1099 ^ _35246) ^ [] : [-(idc(_48770))], (1101 ^ _35246) ^ [] : [-(idc(_48768))]]], (1103 ^ _35246) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35246) ^ [_48887, _48889] : [iext(uri_owl_deprecated, _48889, _48887), 1108 ^ _35246 : [(1109 ^ _35246) ^ [] : [-(ir(_48889))], (1111 ^ _35246) ^ [] : [-(ir(_48887))]]], (1113 ^ _35246) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35246) ^ [_49006, _49008] : [iext(uri_owl_differentFrom, _49008, _49006), 1118 ^ _35246 : [(1119 ^ _35246) ^ [] : [-(ir(_49008))], (1121 ^ _35246) ^ [] : [-(ir(_49006))]]], (1123 ^ _35246) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35246) ^ [_49125, _49127] : [iext(uri_owl_disjointUnionOf, _49127, _49125), 1128 ^ _35246 : [(1129 ^ _35246) ^ [] : [-(ic(_49127))], (1131 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _49125))]]], (1133 ^ _35246) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35246) ^ [_49246, _49248] : [iext(uri_owl_disjointWith, _49248, _49246), 1138 ^ _35246 : [(1139 ^ _35246) ^ [] : [-(ic(_49248))], (1141 ^ _35246) ^ [] : [-(ic(_49246))]]], (1143 ^ _35246) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35246) ^ [_49365, _49367] : [iext(uri_owl_distinctMembers, _49367, _49365), 1148 ^ _35246 : [(1149 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, _49367))], (1151 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _49365))]]], (1153 ^ _35246) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35246) ^ [_49488, _49490] : [iext(uri_owl_equivalentClass, _49490, _49488), 1158 ^ _35246 : [(1159 ^ _35246) ^ [] : [-(ic(_49490))], (1161 ^ _35246) ^ [] : [-(ic(_49488))]]], (1163 ^ _35246) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35246) ^ [_49607, _49609] : [iext(uri_owl_equivalentProperty, _49609, _49607), 1168 ^ _35246 : [(1169 ^ _35246) ^ [] : [-(ip(_49609))], (1171 ^ _35246) ^ [] : [-(ip(_49607))]]], (1173 ^ _35246) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35246) ^ [_49726, _49728] : [iext(uri_owl_hasKey, _49728, _49726), 1178 ^ _35246 : [(1179 ^ _35246) ^ [] : [-(ic(_49728))], (1181 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _49726))]]], (1183 ^ _35246) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35246) ^ [_49847, _49849] : [iext(uri_owl_hasSelf, _49849, _49847), 1188 ^ _35246 : [(1189 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _49849))], (1191 ^ _35246) ^ [] : [-(ir(_49847))]]], (1193 ^ _35246) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35246) ^ [_49968, _49970] : [iext(uri_owl_hasValue, _49970, _49968), 1198 ^ _35246 : [(1199 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _49970))], (1201 ^ _35246) ^ [] : [-(ir(_49968))]]], (1203 ^ _35246) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35246) ^ [_50089, _50091] : [iext(uri_owl_imports, _50091, _50089), 1208 ^ _35246 : [(1209 ^ _35246) ^ [] : [-(ix(_50091))], (1211 ^ _35246) ^ [] : [-(ix(_50089))]]], (1213 ^ _35246) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35246) ^ [_50208, _50210] : [iext(uri_owl_incompatibleWith, _50210, _50208), 1218 ^ _35246 : [(1219 ^ _35246) ^ [] : [-(ix(_50210))], (1221 ^ _35246) ^ [] : [-(ix(_50208))]]], (1223 ^ _35246) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35246) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35246) ^ [_50345, _50347] : [iext(uri_owl_intersectionOf, _50347, _50345), 1230 ^ _35246 : [(1231 ^ _35246) ^ [] : [-(ic(_50347))], (1233 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _50345))]]], (1235 ^ _35246) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35246) ^ [_50466, _50468] : [iext(uri_owl_inverseOf, _50468, _50466), 1240 ^ _35246 : [(1241 ^ _35246) ^ [] : [-(ip(_50468))], (1243 ^ _35246) ^ [] : [-(ip(_50466))]]], (1245 ^ _35246) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35246) ^ [_50585, _50587] : [iext(uri_rdfs_isDefinedBy, _50587, _50585), 1250 ^ _35246 : [(1251 ^ _35246) ^ [] : [-(ir(_50587))], (1253 ^ _35246) ^ [] : [-(ir(_50585))]]], (1255 ^ _35246) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35246) ^ [_50704, _50706] : [iext(uri_rdfs_label, _50706, _50704), 1260 ^ _35246 : [(1261 ^ _35246) ^ [] : [-(ir(_50706))], (1263 ^ _35246) ^ [] : [-(lv(_50704))]]], (1265 ^ _35246) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35246) ^ [_50823, _50825] : [iext(uri_owl_maxCardinality, _50825, _50823), 1270 ^ _35246 : [(1271 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _50825))], (1273 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50823))]]], (1275 ^ _35246) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35246) ^ [_50946, _50948] : [iext(uri_owl_maxQualifiedCardinality, _50948, _50946), 1280 ^ _35246 : [(1281 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _50948))], (1283 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50946))]]], (1285 ^ _35246) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35246) ^ [_51069, _51071] : [iext(uri_owl_members, _51071, _51069), 1290 ^ _35246 : [(1291 ^ _35246) ^ [] : [-(ir(_51071))], (1293 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _51069))]]], (1295 ^ _35246) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35246) ^ [_51190, _51192] : [iext(uri_owl_minCardinality, _51192, _51190), 1300 ^ _35246 : [(1301 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _51192))], (1303 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51190))]]], (1305 ^ _35246) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35246) ^ [_51313, _51315] : [iext(uri_owl_minQualifiedCardinality, _51315, _51313), 1310 ^ _35246 : [(1311 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _51315))], (1313 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51313))]]], (1315 ^ _35246) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35246) ^ [_51436, _51438] : [iext(uri_owl_onClass, _51438, _51436), 1320 ^ _35246 : [(1321 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _51438))], (1323 ^ _35246) ^ [] : [-(ic(_51436))]]], (1325 ^ _35246) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35246) ^ [_51557, _51559] : [iext(uri_owl_onDataRange, _51559, _51557), 1330 ^ _35246 : [(1331 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _51559))], (1333 ^ _35246) ^ [] : [-(idc(_51557))]]], (1335 ^ _35246) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35246) ^ [_51678, _51680] : [iext(uri_owl_onDatatype, _51680, _51678), 1340 ^ _35246 : [(1341 ^ _35246) ^ [] : [-(idc(_51680))], (1343 ^ _35246) ^ [] : [-(idc(_51678))]]], (1345 ^ _35246) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35246) ^ [_51797, _51799] : [iext(uri_owl_oneOf, _51799, _51797), 1350 ^ _35246 : [(1351 ^ _35246) ^ [] : [-(ic(_51799))], (1353 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _51797))]]], (1355 ^ _35246) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35246) ^ [_51918, _51920] : [iext(uri_owl_onProperty, _51920, _51918), 1360 ^ _35246 : [(1361 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _51920))], (1363 ^ _35246) ^ [] : [-(ip(_51918))]]], (1365 ^ _35246) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35246) ^ [_52039, _52041] : [iext(uri_owl_priorVersion, _52041, _52039), 1370 ^ _35246 : [(1371 ^ _35246) ^ [] : [-(ix(_52041))], (1373 ^ _35246) ^ [] : [-(ix(_52039))]]], (1375 ^ _35246) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35246) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35246) ^ [_52176, _52178] : [iext(uri_owl_propertyChainAxiom, _52178, _52176), 1382 ^ _35246 : [(1383 ^ _35246) ^ [] : [-(ip(_52178))], (1385 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _52176))]]], (1387 ^ _35246) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35246) ^ [_52297, _52299] : [iext(uri_owl_propertyDisjointWith, _52299, _52297), 1392 ^ _35246 : [(1393 ^ _35246) ^ [] : [-(ip(_52299))], (1395 ^ _35246) ^ [] : [-(ip(_52297))]]], (1397 ^ _35246) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35246) ^ [_52416, _52418] : [iext(uri_owl_qualifiedCardinality, _52418, _52416), 1402 ^ _35246 : [(1403 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _52418))], (1405 ^ _35246) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52416))]]], (1407 ^ _35246) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35246) ^ [_52539, _52541] : [iext(uri_owl_sameAs, _52541, _52539), 1412 ^ _35246 : [(1413 ^ _35246) ^ [] : [-(ir(_52541))], (1415 ^ _35246) ^ [] : [-(ir(_52539))]]], (1417 ^ _35246) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35246) ^ [_52658, _52660] : [iext(uri_rdfs_seeAlso, _52660, _52658), 1422 ^ _35246 : [(1423 ^ _35246) ^ [] : [-(ir(_52660))], (1425 ^ _35246) ^ [] : [-(ir(_52658))]]], (1427 ^ _35246) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35246) ^ [_52777, _52779] : [iext(uri_owl_someValuesFrom, _52779, _52777), 1432 ^ _35246 : [(1433 ^ _35246) ^ [] : [-(icext(uri_owl_Restriction, _52779))], (1435 ^ _35246) ^ [] : [-(ic(_52777))]]], (1437 ^ _35246) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35246) ^ [_52898, _52900] : [iext(uri_owl_sourceIndividual, _52900, _52898), 1442 ^ _35246 : [(1443 ^ _35246) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _52900))], (1445 ^ _35246) ^ [] : [-(ir(_52898))]]], (1447 ^ _35246) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35246) ^ [_53019, _53021] : [iext(uri_owl_targetIndividual, _53021, _53019), 1452 ^ _35246 : [(1453 ^ _35246) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53021))], (1455 ^ _35246) ^ [] : [-(ir(_53019))]]], (1457 ^ _35246) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35246) ^ [_53140, _53142] : [iext(uri_owl_targetValue, _53142, _53140), 1462 ^ _35246 : [(1463 ^ _35246) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53142))], (1465 ^ _35246) ^ [] : [-(lv(_53140))]]], (1467 ^ _35246) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35246) ^ [_53276, _53278] : [iext(uri_owl_topDataProperty, _53278, _53276), 1472 ^ _35246 : [(1473 ^ _35246) ^ [] : [-(ir(_53278))], (1475 ^ _35246) ^ [] : [-(lv(_53276))]]], (1477 ^ _35246) ^ [_53373, _53375] : [-(iext(uri_owl_topDataProperty, _53375, _53373)), ir(_53375), lv(_53373)], (1487 ^ _35246) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35246) ^ [_53535, _53537] : [iext(uri_owl_topObjectProperty, _53537, _53535), 1492 ^ _35246 : [(1493 ^ _35246) ^ [] : [-(ir(_53537))], (1495 ^ _35246) ^ [] : [-(ir(_53535))]]], (1497 ^ _35246) ^ [_53632, _53634] : [-(iext(uri_owl_topObjectProperty, _53634, _53632)), ir(_53634), ir(_53632)], (1507 ^ _35246) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35246) ^ [_53779, _53781] : [iext(uri_owl_unionOf, _53781, _53779), 1512 ^ _35246 : [(1513 ^ _35246) ^ [] : [-(ic(_53781))], (1515 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _53779))]]], (1517 ^ _35246) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35246) ^ [_53900, _53902] : [iext(uri_owl_versionInfo, _53902, _53900), 1522 ^ _35246 : [(1523 ^ _35246) ^ [] : [-(ir(_53902))], (1525 ^ _35246) ^ [] : [-(ir(_53900))]]], (1527 ^ _35246) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35246) ^ [_54019, _54021] : [iext(uri_owl_versionIRI, _54021, _54019), 1532 ^ _35246 : [(1533 ^ _35246) ^ [] : [-(ix(_54021))], (1535 ^ _35246) ^ [] : [-(ix(_54019))]]], (1537 ^ _35246) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35246) ^ [_54138, _54140] : [iext(uri_owl_withRestrictions, _54140, _54138), 1542 ^ _35246 : [(1543 ^ _35246) ^ [] : [-(idc(_54140))], (1545 ^ _35246) ^ [] : [-(icext(uri_rdf_List, _54138))]]], (1547 ^ _35246) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35246) ^ [_54259, _54261] : [iext(uri_owl_complementOf, _54261, _54259), 1552 ^ _35246 : [(1553 ^ _35246) ^ [] : [-(ic(_54261))], (1555 ^ _35246) ^ [] : [-(ic(_54259))], (1557 ^ _35246) ^ [_54389] : [icext(_54261, _54389), icext(_54259, _54389)], (1563 ^ _35246) ^ [_54463] : [-(icext(_54259, _54463)), -(icext(_54261, _54463))]]], (1569 ^ _35246) ^ [_54507, _54509] : [iext(uri_owl_datatypeComplementOf, _54509, _54507), 1572 ^ _35246 : [(1573 ^ _35246) ^ [_54591] : [icext(_54509, _54591), 1576 ^ _35246 : [(1577 ^ _35246) ^ [] : [-(lv(_54591))], (1579 ^ _35246) ^ [] : [icext(_54507, _54591)]]], (1581 ^ _35246) ^ [_54698] : [-(icext(_54509, _54698)), lv(_54698), -(icext(_54507, _54698))]]], (1609 ^ _35246) ^ [_55100] : [-(iext(uri_owl_intersectionOf, _55100, uri_rdf_nil)), ic(_55100), 1617 ^ _35246 : [(1618 ^ _35246) ^ [] : [-(icext(_55100, 1614 ^ [_55100]))], (1620 ^ _35246) ^ [] : [ir(1614 ^ [_55100])]], 1621 ^ _35246 : [(1622 ^ _35246) ^ [] : [-(ir(1614 ^ [_55100]))], (1624 ^ _35246) ^ [] : [icext(_55100, 1614 ^ [_55100])]]], (1591 ^ _35246) ^ [_54850] : [iext(uri_owl_intersectionOf, _54850, uri_rdf_nil), 1594 ^ _35246 : [(1595 ^ _35246) ^ [] : [-(ic(_54850))], (1597 ^ _35246) ^ [_54950] : [icext(_54850, _54950), -(ir(_54950))], (1603 ^ _35246) ^ [_55021] : [ir(_55021), -(icext(_54850, _55021))]]], (1628 ^ _35246) ^ [_55370, _55372, _55374] : [iext(uri_rdf_first, _55372, _55370), iext(uri_rdf_rest, _55372, uri_rdf_nil), 1635 ^ _35246 : [(1636 ^ _35246) ^ [] : [iext(uri_owl_intersectionOf, _55374, _55372), 1639 ^ _35246 : [(1640 ^ _35246) ^ [] : [-(ic(_55374))], (1642 ^ _35246) ^ [] : [-(ic(_55370))], (1644 ^ _35246) ^ [_55619] : [icext(_55374, _55619), -(icext(_55370, _55619))], (1650 ^ _35246) ^ [_55696] : [icext(_55370, _55696), -(icext(_55374, _55696))]]], (1656 ^ _35246) ^ [] : [-(iext(uri_owl_intersectionOf, _55374, _55372)), ic(_55374), ic(_55370), 1668 ^ _35246 : [(1669 ^ _35246) ^ [] : [-(icext(_55374, 1665 ^ [_55370, _55372, _55374]))], (1671 ^ _35246) ^ [] : [icext(_55370, 1665 ^ [_55370, _55372, _55374])]], 1672 ^ _35246 : [(1673 ^ _35246) ^ [] : [-(icext(_55370, 1665 ^ [_55370, _55372, _55374]))], (1675 ^ _35246) ^ [] : [icext(_55374, 1665 ^ [_55370, _55372, _55374])]]]]], (1679 ^ _35246) ^ [_56117, _56119, _56121, _56123, _56125] : [iext(uri_rdf_first, _56123, _56121), iext(uri_rdf_rest, _56123, _56119), iext(uri_rdf_first, _56119, _56117), iext(uri_rdf_rest, _56119, uri_rdf_nil), 1694 ^ _35246 : [(1695 ^ _35246) ^ [] : [iext(uri_owl_intersectionOf, _56125, _56123), 1698 ^ _35246 : [(1699 ^ _35246) ^ [] : [-(ic(_56125))], (1701 ^ _35246) ^ [] : [-(ic(_56121))], (1703 ^ _35246) ^ [] : [-(ic(_56117))], (1705 ^ _35246) ^ [_56529] : [icext(_56125, _56529), 1708 ^ _35246 : [(1709 ^ _35246) ^ [] : [-(icext(_56121, _56529))], (1711 ^ _35246) ^ [] : [-(icext(_56117, _56529))]]], (1713 ^ _35246) ^ [_56636] : [-(icext(_56125, _56636)), icext(_56121, _56636), icext(_56117, _56636)]]], (1723 ^ _35246) ^ [] : [-(iext(uri_owl_intersectionOf, _56125, _56123)), ic(_56125), ic(_56121), ic(_56117), 1747 ^ _35246 : [(1748 ^ _35246) ^ [] : [-(icext(_56121, 1736 ^ [_56117, _56119, _56121, _56123, _56125]))], (1750 ^ _35246) ^ [] : [-(icext(_56117, 1736 ^ [_56117, _56119, _56121, _56123, _56125]))], (1752 ^ _35246) ^ [] : [icext(_56125, 1736 ^ [_56117, _56119, _56121, _56123, _56125])]], 1739 ^ _35246 : [(1740 ^ _35246) ^ [] : [-(icext(_56125, 1736 ^ [_56117, _56119, _56121, _56123, _56125]))], (1742 ^ _35246) ^ [] : [icext(_56121, 1736 ^ [_56117, _56119, _56121, _56123, _56125]), icext(_56117, 1736 ^ [_56117, _56119, _56121, _56123, _56125])]]]]], (1756 ^ _35246) ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328] : [iext(uri_rdf_first, _57326, _57324), iext(uri_rdf_rest, _57326, _57322), iext(uri_rdf_first, _57322, _57320), iext(uri_rdf_rest, _57322, _57318), iext(uri_rdf_first, _57318, _57316), iext(uri_rdf_rest, _57318, uri_rdf_nil), 1779 ^ _35246 : [(1780 ^ _35246) ^ [] : [iext(uri_owl_intersectionOf, _57328, _57326), 1783 ^ _35246 : [(1784 ^ _35246) ^ [] : [-(ic(_57328))], (1786 ^ _35246) ^ [] : [-(ic(_57324))], (1788 ^ _35246) ^ [] : [-(ic(_57320))], (1790 ^ _35246) ^ [] : [-(ic(_57316))], (1792 ^ _35246) ^ [_57907] : [icext(_57328, _57907), 1795 ^ _35246 : [(1796 ^ _35246) ^ [] : [-(icext(_57324, _57907))], (1798 ^ _35246) ^ [] : [-(icext(_57320, _57907))], (1800 ^ _35246) ^ [] : [-(icext(_57316, _57907))]]], (1802 ^ _35246) ^ [_58042] : [-(icext(_57328, _58042)), icext(_57324, _58042), icext(_57320, _58042), icext(_57316, _58042)]]], (1816 ^ _35246) ^ [] : [-(iext(uri_owl_intersectionOf, _57328, _57326)), ic(_57328), ic(_57324), ic(_57320), ic(_57316), 1848 ^ _35246 : [(1849 ^ _35246) ^ [] : [-(icext(_57324, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]))], (1851 ^ _35246) ^ [] : [-(icext(_57320, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]))], (1853 ^ _35246) ^ [] : [-(icext(_57316, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]))], (1855 ^ _35246) ^ [] : [icext(_57328, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328])]], 1836 ^ _35246 : [(1837 ^ _35246) ^ [] : [-(icext(_57328, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]))], (1839 ^ _35246) ^ [] : [icext(_57324, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]), icext(_57320, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328]), icext(_57316, 1833 ^ [_57316, _57318, _57320, _57322, _57324, _57326, _57328])]]]]], (1859 ^ _35246) ^ [_59023, _59025, _59027] : [-(idc(_59027)), iext(uri_rdf_first, _59025, _59023), iext(uri_rdf_rest, _59025, uri_rdf_nil), idc(_59023), iext(uri_owl_intersectionOf, _59027, _59025)], (1877 ^ _35246) ^ [_59266, _59268, _59270, _59272, _59274] : [-(idc(_59274)), iext(uri_rdf_first, _59272, _59270), iext(uri_rdf_rest, _59272, _59268), iext(uri_rdf_first, _59268, _59266), iext(uri_rdf_rest, _59268, uri_rdf_nil), idc(_59270), idc(_59266), iext(uri_owl_intersectionOf, _59274, _59272)], (1907 ^ _35246) ^ [_59701, _59703, _59705, _59707, _59709, _59711, _59713] : [-(idc(_59713)), iext(uri_rdf_first, _59711, _59709), iext(uri_rdf_rest, _59711, _59707), iext(uri_rdf_first, _59707, _59705), iext(uri_rdf_rest, _59707, _59703), iext(uri_rdf_first, _59703, _59701), iext(uri_rdf_rest, _59703, uri_rdf_nil), idc(_59709), idc(_59705), idc(_59701), iext(uri_owl_intersectionOf, _59713, _59711)], (1949 ^ _35246) ^ [_60364] : [iext(uri_owl_unionOf, _60364, uri_rdf_nil), 1952 ^ _35246 : [(1953 ^ _35246) ^ [] : [-(ic(_60364))], (1955 ^ _35246) ^ [_60454] : [icext(_60364, _60454)]]], (1957 ^ _35246) ^ [_60479] : [-(iext(uri_owl_unionOf, _60479, uri_rdf_nil)), ic(_60479), -(icext(_60479, 1962 ^ [_60479]))], (1968 ^ _35246) ^ [_60619, _60621, _60623] : [iext(uri_rdf_first, _60621, _60619), iext(uri_rdf_rest, _60621, uri_rdf_nil), 1975 ^ _35246 : [(1976 ^ _35246) ^ [] : [iext(uri_owl_unionOf, _60623, _60621), 1979 ^ _35246 : [(1980 ^ _35246) ^ [] : [-(ic(_60623))], (1982 ^ _35246) ^ [] : [-(ic(_60619))], (1984 ^ _35246) ^ [_60868] : [icext(_60623, _60868), -(icext(_60619, _60868))], (1990 ^ _35246) ^ [_60945] : [icext(_60619, _60945), -(icext(_60623, _60945))]]], (1996 ^ _35246) ^ [] : [-(iext(uri_owl_unionOf, _60623, _60621)), ic(_60623), ic(_60619), 2008 ^ _35246 : [(2009 ^ _35246) ^ [] : [-(icext(_60623, 2005 ^ [_60619, _60621, _60623]))], (2011 ^ _35246) ^ [] : [icext(_60619, 2005 ^ [_60619, _60621, _60623])]], 2012 ^ _35246 : [(2013 ^ _35246) ^ [] : [-(icext(_60619, 2005 ^ [_60619, _60621, _60623]))], (2015 ^ _35246) ^ [] : [icext(_60623, 2005 ^ [_60619, _60621, _60623])]]]]], (2019 ^ _35246) ^ [_61366, _61368, _61370, _61372, _61374] : [iext(uri_rdf_first, _61372, _61370), iext(uri_rdf_rest, _61372, _61368), iext(uri_rdf_first, _61368, _61366), iext(uri_rdf_rest, _61368, uri_rdf_nil), 2034 ^ _35246 : [(2035 ^ _35246) ^ [] : [iext(uri_owl_unionOf, _61374, _61372), 2038 ^ _35246 : [(2039 ^ _35246) ^ [] : [-(ic(_61374))], (2041 ^ _35246) ^ [] : [-(ic(_61370))], (2043 ^ _35246) ^ [] : [-(ic(_61366))], (2055 ^ _35246) ^ [_61872] : [2056 ^ _35246 : [(2057 ^ _35246) ^ [] : [icext(_61370, _61872)], (2059 ^ _35246) ^ [] : [icext(_61366, _61872)]], -(icext(_61374, _61872))], (2045 ^ _35246) ^ [_61778] : [icext(_61374, _61778), -(icext(_61370, _61778)), -(icext(_61366, _61778))]]], (2063 ^ _35246) ^ [] : [-(iext(uri_owl_unionOf, _61374, _61372)), ic(_61374), ic(_61370), ic(_61366), 2079 ^ _35246 : [(2080 ^ _35246) ^ [] : [-(icext(_61374, 2076 ^ [_61366, _61368, _61370, _61372, _61374]))], (2082 ^ _35246) ^ [] : [icext(_61370, 2076 ^ [_61366, _61368, _61370, _61372, _61374])], (2084 ^ _35246) ^ [] : [icext(_61366, 2076 ^ [_61366, _61368, _61370, _61372, _61374])]], 2085 ^ _35246 : [(2092 ^ _35246) ^ [] : [icext(_61374, 2076 ^ [_61366, _61368, _61370, _61372, _61374])], (2086 ^ _35246) ^ [] : [-(icext(_61370, 2076 ^ [_61366, _61368, _61370, _61372, _61374])), -(icext(_61366, 2076 ^ [_61366, _61368, _61370, _61372, _61374]))]]]]], (2096 ^ _35246) ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506] : [iext(uri_rdf_first, _62504, _62502), iext(uri_rdf_rest, _62504, _62500), iext(uri_rdf_first, _62500, _62498), iext(uri_rdf_rest, _62500, _62496), iext(uri_rdf_first, _62496, _62494), iext(uri_rdf_rest, _62496, uri_rdf_nil), 2119 ^ _35246 : [(2120 ^ _35246) ^ [] : [iext(uri_owl_unionOf, _62506, _62504), 2123 ^ _35246 : [(2124 ^ _35246) ^ [] : [-(ic(_62506))], (2126 ^ _35246) ^ [] : [-(ic(_62502))], (2128 ^ _35246) ^ [] : [-(ic(_62498))], (2130 ^ _35246) ^ [] : [-(ic(_62494))], (2146 ^ _35246) ^ [_63196] : [2147 ^ _35246 : [(2148 ^ _35246) ^ [] : [icext(_62502, _63196)], (2150 ^ _35246) ^ [] : [icext(_62498, _63196)], (2152 ^ _35246) ^ [] : [icext(_62494, _63196)]], -(icext(_62506, _63196))], (2132 ^ _35246) ^ [_63085] : [icext(_62506, _63085), -(icext(_62502, _63085)), -(icext(_62498, _63085)), -(icext(_62494, _63085))]]], (2156 ^ _35246) ^ [] : [-(iext(uri_owl_unionOf, _62506, _62504)), ic(_62506), ic(_62502), ic(_62498), ic(_62494), 2176 ^ _35246 : [(2177 ^ _35246) ^ [] : [-(icext(_62506, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506]))], (2179 ^ _35246) ^ [] : [icext(_62502, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])], (2181 ^ _35246) ^ [] : [icext(_62498, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])], (2183 ^ _35246) ^ [] : [icext(_62494, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])]], 2184 ^ _35246 : [(2195 ^ _35246) ^ [] : [icext(_62506, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])], (2185 ^ _35246) ^ [] : [-(icext(_62502, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])), -(icext(_62498, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506])), -(icext(_62494, 2173 ^ [_62494, _62496, _62498, _62500, _62502, _62504, _62506]))]]]]], (2199 ^ _35246) ^ [_64042, _64044, _64046] : [-(idc(_64046)), iext(uri_rdf_first, _64044, _64042), iext(uri_rdf_rest, _64044, uri_rdf_nil), idc(_64042), iext(uri_owl_unionOf, _64046, _64044)], (2217 ^ _35246) ^ [_64285, _64287, _64289, _64291, _64293] : [-(idc(_64293)), iext(uri_rdf_first, _64291, _64289), iext(uri_rdf_rest, _64291, _64287), iext(uri_rdf_first, _64287, _64285), iext(uri_rdf_rest, _64287, uri_rdf_nil), idc(_64289), idc(_64285), iext(uri_owl_unionOf, _64293, _64291)], (2247 ^ _35246) ^ [_64720, _64722, _64724, _64726, _64728, _64730, _64732] : [-(idc(_64732)), iext(uri_rdf_first, _64730, _64728), iext(uri_rdf_rest, _64730, _64726), iext(uri_rdf_first, _64726, _64724), iext(uri_rdf_rest, _64726, _64722), iext(uri_rdf_first, _64722, _64720), iext(uri_rdf_rest, _64722, uri_rdf_nil), idc(_64728), idc(_64724), idc(_64720), iext(uri_owl_unionOf, _64732, _64730)], (2289 ^ _35246) ^ [_65383] : [iext(uri_owl_oneOf, _65383, uri_rdf_nil), 2292 ^ _35246 : [(2293 ^ _35246) ^ [] : [-(ic(_65383))], (2295 ^ _35246) ^ [_65473] : [icext(_65383, _65473)]]], (2297 ^ _35246) ^ [_65498] : [-(iext(uri_owl_oneOf, _65498, uri_rdf_nil)), ic(_65498), -(icext(_65498, 2302 ^ [_65498]))], (2308 ^ _35246) ^ [_65638, _65640, _65642] : [iext(uri_rdf_first, _65640, _65638), iext(uri_rdf_rest, _65640, uri_rdf_nil), 2315 ^ _35246 : [(2334 ^ _35246) ^ [] : [-(iext(uri_owl_oneOf, _65642, _65640)), ic(_65642), 2342 ^ _35246 : [(2343 ^ _35246) ^ [] : [-(icext(_65642, 2339 ^ [_65638, _65640, _65642]))], (2345 ^ _35246) ^ [] : [2339 ^ [_65638, _65640, _65642] = _65638]], 2346 ^ _35246 : [(2347 ^ _35246) ^ [] : [-(2339 ^ [_65638, _65640, _65642] = _65638)], (2349 ^ _35246) ^ [] : [icext(_65642, 2339 ^ [_65638, _65640, _65642])]]], (2316 ^ _35246) ^ [] : [iext(uri_owl_oneOf, _65642, _65640), 2319 ^ _35246 : [(2320 ^ _35246) ^ [] : [-(ic(_65642))], (2322 ^ _35246) ^ [_65862] : [icext(_65642, _65862), -(_65862 = _65638)], (2328 ^ _35246) ^ [_65939] : [_65939 = _65638, -(icext(_65642, _65939))]]]]], (2353 ^ _35246) ^ [_66311, _66313, _66315, _66317, _66319] : [iext(uri_rdf_first, _66317, _66315), iext(uri_rdf_rest, _66317, _66313), iext(uri_rdf_first, _66313, _66311), iext(uri_rdf_rest, _66313, uri_rdf_nil), 2368 ^ _35246 : [(2393 ^ _35246) ^ [] : [-(iext(uri_owl_oneOf, _66319, _66317)), ic(_66319), 2401 ^ _35246 : [(2402 ^ _35246) ^ [] : [-(icext(_66319, 2398 ^ [_66311, _66313, _66315, _66317, _66319]))], (2404 ^ _35246) ^ [] : [2398 ^ [_66311, _66313, _66315, _66317, _66319] = _66315], (2406 ^ _35246) ^ [] : [2398 ^ [_66311, _66313, _66315, _66317, _66319] = _66311]], 2407 ^ _35246 : [(2414 ^ _35246) ^ [] : [icext(_66319, 2398 ^ [_66311, _66313, _66315, _66317, _66319])], (2408 ^ _35246) ^ [] : [-(2398 ^ [_66311, _66313, _66315, _66317, _66319] = _66315), -(2398 ^ [_66311, _66313, _66315, _66317, _66319] = _66311)]]], (2369 ^ _35246) ^ [] : [iext(uri_owl_oneOf, _66319, _66317), 2372 ^ _35246 : [(2373 ^ _35246) ^ [] : [-(ic(_66319))], (2385 ^ _35246) ^ [_66767] : [2386 ^ _35246 : [(2387 ^ _35246) ^ [] : [_66767 = _66315], (2389 ^ _35246) ^ [] : [_66767 = _66311]], -(icext(_66319, _66767))], (2375 ^ _35246) ^ [_66673] : [icext(_66319, _66673), -(_66673 = _66315), -(_66673 = _66311)]]]]], (2418 ^ _35246) ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] : [iext(uri_rdf_first, _67293, _67291), iext(uri_rdf_rest, _67293, _67289), iext(uri_rdf_first, _67289, _67287), iext(uri_rdf_rest, _67289, _67285), iext(uri_rdf_first, _67285, _67283), iext(uri_rdf_rest, _67285, uri_rdf_nil), 2441 ^ _35246 : [(2472 ^ _35246) ^ [] : [-(iext(uri_owl_oneOf, _67295, _67293)), ic(_67295), 2480 ^ _35246 : [(2481 ^ _35246) ^ [] : [-(icext(_67295, 2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295]))], (2483 ^ _35246) ^ [] : [2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67291], (2485 ^ _35246) ^ [] : [2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67287], (2487 ^ _35246) ^ [] : [2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67283]], 2488 ^ _35246 : [(2499 ^ _35246) ^ [] : [icext(_67295, 2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295])], (2489 ^ _35246) ^ [] : [-(2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67291), -(2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67287), -(2477 ^ [_67283, _67285, _67287, _67289, _67291, _67293, _67295] = _67283)]]], (2442 ^ _35246) ^ [] : [iext(uri_owl_oneOf, _67295, _67293), 2445 ^ _35246 : [(2446 ^ _35246) ^ [] : [-(ic(_67295))], (2462 ^ _35246) ^ [_68675] : [2463 ^ _35246 : [(2464 ^ _35246) ^ [] : [_68675 = _67291], (2466 ^ _35246) ^ [] : [_68675 = _67287], (2468 ^ _35246) ^ [] : [_68675 = _67283]], -(icext(_67295, _68675))], (2448 ^ _35246) ^ [_68235] : [icext(_67295, _68235), -(_68235 = _67291), -(_68235 = _67287), -(_68235 = _67283)]]]]], (2503 ^ _35246) ^ [_70259, _70261, _70263] : [-(idc(_70263)), iext(uri_rdf_first, _70261, _70259), iext(uri_rdf_rest, _70261, uri_rdf_nil), lv(_70259), iext(uri_owl_oneOf, _70263, _70261)], (2521 ^ _35246) ^ [_70798, _70800, _70802, _70804, _70806] : [-(idc(_70806)), iext(uri_rdf_first, _70804, _70802), iext(uri_rdf_rest, _70804, _70800), iext(uri_rdf_first, _70800, _70798), iext(uri_rdf_rest, _70800, uri_rdf_nil), lv(_70802), lv(_70798), iext(uri_owl_oneOf, _70806, _70804)], (2551 ^ _35246) ^ [_71706, _71708, _71710, _71712, _71714, _71716, _71718] : [-(idc(_71718)), iext(uri_rdf_first, _71716, _71714), iext(uri_rdf_rest, _71716, _71712), iext(uri_rdf_first, _71712, _71710), iext(uri_rdf_rest, _71712, _71708), iext(uri_rdf_first, _71708, _71706), iext(uri_rdf_rest, _71708, uri_rdf_nil), lv(_71714), lv(_71710), lv(_71706), iext(uri_owl_oneOf, _71718, _71716)], (2593 ^ _35246) ^ [_72947, _72949, _72951] : [iext(uri_owl_allValuesFrom, _72951, _72947), iext(uri_owl_onProperty, _72951, _72949), 2600 ^ _35246 : [(2611 ^ _35246) ^ [_73573] : [2613 ^ _35246 : [(2614 ^ _35246) ^ [] : [-(iext(_72949, _73573, 2612 ^ [_72947, _72949, _72951, _73573]))], (2616 ^ _35246) ^ [] : [icext(_72947, 2612 ^ [_72947, _72949, _72951, _73573])]], -(icext(_72951, _73573))], (2601 ^ _35246) ^ [_73226] : [icext(_72951, _73226), 2604 ^ _35246 : [(2605 ^ _35246) ^ [_73378] : [iext(_72949, _73226, _73378), -(icext(_72947, _73378))]]]]], (2620 ^ _35246) ^ [_73978, _73980] : [iext(uri_owl_cardinality, _73980, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _73980, _73978), 2627 ^ _35246 : [(2628 ^ _35246) ^ [_74245] : [icext(_73980, _74245), 2631 ^ _35246 : [(2632 ^ _35246) ^ [_74371] : [iext(_73978, _74245, _74371)]]], (2634 ^ _35246) ^ [_74442] : [-(iext(_73978, _74442, 2635 ^ [_73978, _73980, _74442])), -(icext(_73980, _74442))]]], (2641 ^ _35246) ^ [_74740, _74742] : [iext(uri_owl_cardinality, _74742, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74742, _74740), 2648 ^ _35246 : [(2666 ^ _35246) ^ [_75645] : [-(icext(_74742, _75645)), 2669 ^ _35246 : [(2670 ^ _35246) ^ [_75788] : [iext(_74740, _75645, _75788)]], 2673 ^ _35246 : [(2674 ^ _35246) ^ [] : [-(iext(_74740, _75645, 2671 ^ [_74740, _74742, _75645]))], (2676 ^ _35246) ^ [] : [-(iext(_74740, _75645, 2672 ^ [_74740, _74742, _75645]))], (2678 ^ _35246) ^ [] : [2672 ^ [_74740, _74742, _75645] = 2671 ^ [_74740, _74742, _75645]]]], (2649 ^ _35246) ^ [_75035] : [icext(_74742, _75035), 2653 ^ _35246 : [(2654 ^ _35246) ^ [] : [-(iext(_74740, _75035, 2652 ^ [_74740, _74742, _75035]))], (2656 ^ _35246) ^ [_75347, _75349] : [-(_75347 = _75349), iext(_74740, _75035, _75349), iext(_74740, _75035, _75347)]]]]], (2682 ^ _35246) ^ [_76345, _76347] : [iext(uri_owl_cardinality, _76347, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76347, _76345), 2689 ^ _35246 : [(2720 ^ _35246) ^ [_77839] : [-(icext(_76347, _77839)), 2736 ^ _35246 : [(2737 ^ _35246) ^ [] : [-(iext(_76345, _77839, 2733 ^ [_76345, _76347, _77839]))], (2739 ^ _35246) ^ [] : [-(iext(_76345, _77839, 2734 ^ [_76345, _76347, _77839]))], (2741 ^ _35246) ^ [] : [-(iext(_76345, _77839, 2735 ^ [_76345, _76347, _77839]))], (2743 ^ _35246) ^ [] : [2735 ^ [_76345, _76347, _77839] = 2733 ^ [_76345, _76347, _77839]], (2745 ^ _35246) ^ [] : [2735 ^ [_76345, _76347, _77839] = 2734 ^ [_76345, _76347, _77839]]], 2723 ^ _35246 : [(2724 ^ _35246) ^ [_78050, _78052] : [iext(_76345, _77839, _78052), iext(_76345, _77839, _78050), -(_78052 = _78050)]]], (2690 ^ _35246) ^ [_76678] : [icext(_76347, _76678), 2695 ^ _35246 : [(2696 ^ _35246) ^ [] : [-(iext(_76345, _76678, 2693 ^ [_76345, _76347, _76678]))], (2698 ^ _35246) ^ [] : [-(iext(_76345, _76678, 2694 ^ [_76345, _76347, _76678]))], (2700 ^ _35246) ^ [] : [2693 ^ [_76345, _76347, _76678] = 2694 ^ [_76345, _76347, _76678]], (2702 ^ _35246) ^ [_77312, _77314, _77316] : [-(_77312 = _77316), -(_77312 = _77314), iext(_76345, _76678, _77316), iext(_76345, _76678, _77314), iext(_76345, _76678, _77312)]]]]], (2749 ^ _35246) ^ [_79151, _79153] : [iext(uri_owl_cardinality, _79153, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79153, _79151), 2756 ^ _35246 : [(2757 ^ _35246) ^ [_79530] : [icext(_79153, _79530), 2763 ^ _35246 : [(2764 ^ _35246) ^ [] : [-(iext(_79151, _79530, 2760 ^ [_79151, _79153, _79530]))], (2766 ^ _35246) ^ [] : [-(iext(_79151, _79530, 2761 ^ [_79151, _79153, _79530]))], (2768 ^ _35246) ^ [] : [-(iext(_79151, _79530, 2762 ^ [_79151, _79153, _79530]))], (2770 ^ _35246) ^ [] : [2760 ^ [_79151, _79153, _79530] = 2761 ^ [_79151, _79153, _79530]], (2772 ^ _35246) ^ [] : [2760 ^ [_79151, _79153, _79530] = 2762 ^ [_79151, _79153, _79530]], (2774 ^ _35246) ^ [] : [2761 ^ [_79151, _79153, _79530] = 2762 ^ [_79151, _79153, _79530]], (2776 ^ _35246) ^ [_80685, _80687, _80689, _80691] : [-(_80685 = _80691), -(_80685 = _80689), -(_80685 = _80687), iext(_79151, _79530, _80691), iext(_79151, _79530, _80689), iext(_79151, _79530, _80687), iext(_79151, _79530, _80685)]]], (2802 ^ _35246) ^ [_81459] : [-(icext(_79153, _81459)), 2831 ^ _35246 : [(2832 ^ _35246) ^ [] : [-(iext(_79151, _81459, 2827 ^ [_79151, _79153, _81459]))], (2834 ^ _35246) ^ [] : [-(iext(_79151, _81459, 2828 ^ [_79151, _79153, _81459]))], (2836 ^ _35246) ^ [] : [-(iext(_79151, _81459, 2829 ^ [_79151, _79153, _81459]))], (2838 ^ _35246) ^ [] : [-(iext(_79151, _81459, 2830 ^ [_79151, _79153, _81459]))], (2840 ^ _35246) ^ [] : [2830 ^ [_79151, _79153, _81459] = 2827 ^ [_79151, _79153, _81459]], (2842 ^ _35246) ^ [] : [2830 ^ [_79151, _79153, _81459] = 2828 ^ [_79151, _79153, _81459]], (2844 ^ _35246) ^ [] : [2830 ^ [_79151, _79153, _81459] = 2829 ^ [_79151, _79153, _81459]]], 2805 ^ _35246 : [(2806 ^ _35246) ^ [_81730, _81732, _81734] : [iext(_79151, _81459, _81734), iext(_79151, _81459, _81732), iext(_79151, _81459, _81730), -(_81734 = _81732), -(_81734 = _81730), -(_81732 = _81730)]]]]], (2848 ^ _35246) ^ [_83544, _83546, _83548] : [iext(uri_owl_qualifiedCardinality, _83548, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _83548, _83546), iext(uri_owl_onDataRange, _83548, _83544), 2859 ^ _35246 : [(2860 ^ _35246) ^ [] : [-(iodp(_83546))], (2876 ^ _35246) ^ [_84449] : [2878 ^ _35246 : [(2879 ^ _35246) ^ [] : [-(lv(2877 ^ [_83544, _83546, _83548, _84449]))], (2881 ^ _35246) ^ [] : [-(iext(_83546, _84449, 2877 ^ [_83544, _83546, _83548, _84449]))], (2883 ^ _35246) ^ [] : [-(icext(_83544, 2877 ^ [_83544, _83546, _83548, _84449]))]], -(icext(_83548, _84449))], (2862 ^ _35246) ^ [_83997] : [icext(_83548, _83997), 2865 ^ _35246 : [(2866 ^ _35246) ^ [_84156] : [lv(_84156), iext(_83546, _83997, _84156), icext(_83544, _84156)]]]]], (2887 ^ _35246) ^ [_84967, _84969, _84971] : [iext(uri_owl_qualifiedCardinality, _84971, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _84971, _84969), iext(uri_owl_onDataRange, _84971, _84967), 2898 ^ _35246 : [(2899 ^ _35246) ^ [] : [-(iodp(_84969))], (2938 ^ _35246) ^ [_86735] : [-(icext(_84971, _86735)), 2953 ^ _35246 : [(2954 ^ _35246) ^ [] : [-(lv(2951 ^ [_84967, _84969, _84971, _86735]))], (2956 ^ _35246) ^ [] : [-(iext(_84969, _86735, 2951 ^ [_84967, _84969, _84971, _86735]))], (2958 ^ _35246) ^ [] : [-(icext(_84967, 2951 ^ [_84967, _84969, _84971, _86735]))], (2960 ^ _35246) ^ [] : [-(lv(2952 ^ [_84967, _84969, _84971, _86735]))], (2962 ^ _35246) ^ [] : [-(iext(_84969, _86735, 2952 ^ [_84967, _84969, _84971, _86735]))], (2964 ^ _35246) ^ [] : [-(icext(_84967, 2952 ^ [_84967, _84969, _84971, _86735]))], (2966 ^ _35246) ^ [] : [2952 ^ [_84967, _84969, _84971, _86735] = 2951 ^ [_84967, _84969, _84971, _86735]]], 2941 ^ _35246 : [(2942 ^ _35246) ^ [_86933] : [lv(_86933), iext(_84969, _86735, _86933), icext(_84967, _86933)]]], (2901 ^ _35246) ^ [_85470] : [icext(_84971, _85470), 2905 ^ _35246 : [(2906 ^ _35246) ^ [] : [-(lv(2904 ^ [_84967, _84969, _84971, _85470]))], (2908 ^ _35246) ^ [] : [-(iext(_84969, _85470, 2904 ^ [_84967, _84969, _84971, _85470]))], (2910 ^ _35246) ^ [] : [-(icext(_84967, 2904 ^ [_84967, _84969, _84971, _85470]))], (2912 ^ _35246) ^ [_86005, _86007] : [-(_86005 = _86007), lv(_86007), iext(_84969, _85470, _86007), icext(_84967, _86007), lv(_86005), iext(_84969, _85470, _86005), icext(_84967, _86005)]]]]], (2970 ^ _35246) ^ [_88162, _88164, _88166] : [iext(uri_owl_qualifiedCardinality, _88166, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _88166, _88164), iext(uri_owl_onDataRange, _88166, _88162), 2981 ^ _35246 : [(2982 ^ _35246) ^ [] : [-(iodp(_88164))], (3046 ^ _35246) ^ [_91045] : [-(icext(_88166, _91045)), 3078 ^ _35246 : [(3079 ^ _35246) ^ [] : [-(lv(3075 ^ [_88162, _88164, _88166, _91045]))], (3081 ^ _35246) ^ [] : [-(iext(_88164, _91045, 3075 ^ [_88162, _88164, _88166, _91045]))], (3083 ^ _35246) ^ [] : [-(icext(_88162, 3075 ^ [_88162, _88164, _88166, _91045]))], (3085 ^ _35246) ^ [] : [-(lv(3076 ^ [_88162, _88164, _88166, _91045]))], (3087 ^ _35246) ^ [] : [-(iext(_88164, _91045, 3076 ^ [_88162, _88164, _88166, _91045]))], (3089 ^ _35246) ^ [] : [-(icext(_88162, 3076 ^ [_88162, _88164, _88166, _91045]))], (3091 ^ _35246) ^ [] : [-(lv(3077 ^ [_88162, _88164, _88166, _91045]))], (3093 ^ _35246) ^ [] : [-(iext(_88164, _91045, 3077 ^ [_88162, _88164, _88166, _91045]))], (3095 ^ _35246) ^ [] : [-(icext(_88162, 3077 ^ [_88162, _88164, _88166, _91045]))], (3097 ^ _35246) ^ [] : [3077 ^ [_88162, _88164, _88166, _91045] = 3075 ^ [_88162, _88164, _88166, _91045]], (3099 ^ _35246) ^ [] : [3077 ^ [_88162, _88164, _88166, _91045] = 3076 ^ [_88162, _88164, _88166, _91045]]], 3049 ^ _35246 : [(3050 ^ _35246) ^ [_91317, _91319] : [lv(_91319), iext(_88164, _91045, _91319), icext(_88162, _91319), lv(_91317), iext(_88164, _91045, _91317), icext(_88162, _91317), -(_91319 = _91317)]]], (2984 ^ _35246) ^ [_88725] : [icext(_88166, _88725), 2989 ^ _35246 : [(2990 ^ _35246) ^ [] : [-(lv(2987 ^ [_88162, _88164, _88166, _88725]))], (2992 ^ _35246) ^ [] : [-(iext(_88164, _88725, 2987 ^ [_88162, _88164, _88166, _88725]))], (2994 ^ _35246) ^ [] : [-(icext(_88162, 2987 ^ [_88162, _88164, _88166, _88725]))], (2996 ^ _35246) ^ [] : [-(lv(2988 ^ [_88162, _88164, _88166, _88725]))], (2998 ^ _35246) ^ [] : [-(iext(_88164, _88725, 2988 ^ [_88162, _88164, _88166, _88725]))], (3000 ^ _35246) ^ [] : [-(icext(_88162, 2988 ^ [_88162, _88164, _88166, _88725]))], (3002 ^ _35246) ^ [] : [2987 ^ [_88162, _88164, _88166, _88725] = 2988 ^ [_88162, _88164, _88166, _88725]], (3004 ^ _35246) ^ [_89842, _89844, _89846] : [-(_89842 = _89846), -(_89842 = _89844), lv(_89846), iext(_88164, _88725, _89846), icext(_88162, _89846), lv(_89844), iext(_88164, _88725, _89844), icext(_88162, _89844), lv(_89842), iext(_88164, _88725, _89842), icext(_88162, _89842)]]]]], (3103 ^ _35246) ^ [_93586, _93588, _93590] : [iext(uri_owl_qualifiedCardinality, _93590, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _93590, _93588), iext(uri_owl_onDataRange, _93590, _93586), 3114 ^ _35246 : [(3115 ^ _35246) ^ [] : [-(iodp(_93588))], (3206 ^ _35246) ^ [_97885] : [-(icext(_93590, _97885)), 3259 ^ _35246 : [(3260 ^ _35246) ^ [] : [-(lv(3255 ^ [_93586, _93588, _93590, _97885]))], (3262 ^ _35246) ^ [] : [-(iext(_93588, _97885, 3255 ^ [_93586, _93588, _93590, _97885]))], (3264 ^ _35246) ^ [] : [-(icext(_93586, 3255 ^ [_93586, _93588, _93590, _97885]))], (3266 ^ _35246) ^ [] : [-(lv(3256 ^ [_93586, _93588, _93590, _97885]))], (3268 ^ _35246) ^ [] : [-(iext(_93588, _97885, 3256 ^ [_93586, _93588, _93590, _97885]))], (3270 ^ _35246) ^ [] : [-(icext(_93586, 3256 ^ [_93586, _93588, _93590, _97885]))], (3272 ^ _35246) ^ [] : [-(lv(3257 ^ [_93586, _93588, _93590, _97885]))], (3274 ^ _35246) ^ [] : [-(iext(_93588, _97885, 3257 ^ [_93586, _93588, _93590, _97885]))], (3276 ^ _35246) ^ [] : [-(icext(_93586, 3257 ^ [_93586, _93588, _93590, _97885]))], (3278 ^ _35246) ^ [] : [-(lv(3258 ^ [_93586, _93588, _93590, _97885]))], (3280 ^ _35246) ^ [] : [-(iext(_93588, _97885, 3258 ^ [_93586, _93588, _93590, _97885]))], (3282 ^ _35246) ^ [] : [-(icext(_93586, 3258 ^ [_93586, _93588, _93590, _97885]))], (3284 ^ _35246) ^ [] : [3258 ^ [_93586, _93588, _93590, _97885] = 3255 ^ [_93586, _93588, _93590, _97885]], (3286 ^ _35246) ^ [] : [3258 ^ [_93586, _93588, _93590, _97885] = 3256 ^ [_93586, _93588, _93590, _97885]], (3288 ^ _35246) ^ [] : [3258 ^ [_93586, _93588, _93590, _97885] = 3257 ^ [_93586, _93588, _93590, _97885]]], 3209 ^ _35246 : [(3210 ^ _35246) ^ [_98239, _98241, _98243] : [lv(_98243), iext(_93588, _97885, _98243), icext(_93586, _98243), lv(_98241), iext(_93588, _97885, _98241), icext(_93586, _98241), lv(_98239), iext(_93588, _97885, _98239), icext(_93586, _98239), -(_98243 = _98241), -(_98243 = _98239), -(_98241 = _98239)]]], (3117 ^ _35246) ^ [_94217] : [icext(_93590, _94217), 3123 ^ _35246 : [(3124 ^ _35246) ^ [] : [-(lv(3120 ^ [_93586, _93588, _93590, _94217]))], (3126 ^ _35246) ^ [] : [-(iext(_93588, _94217, 3120 ^ [_93586, _93588, _93590, _94217]))], (3128 ^ _35246) ^ [] : [-(icext(_93586, 3120 ^ [_93586, _93588, _93590, _94217]))], (3130 ^ _35246) ^ [] : [-(lv(3121 ^ [_93586, _93588, _93590, _94217]))], (3132 ^ _35246) ^ [] : [-(iext(_93588, _94217, 3121 ^ [_93586, _93588, _93590, _94217]))], (3134 ^ _35246) ^ [] : [-(icext(_93586, 3121 ^ [_93586, _93588, _93590, _94217]))], (3136 ^ _35246) ^ [] : [-(lv(3122 ^ [_93586, _93588, _93590, _94217]))], (3138 ^ _35246) ^ [] : [-(iext(_93588, _94217, 3122 ^ [_93586, _93588, _93590, _94217]))], (3140 ^ _35246) ^ [] : [-(icext(_93586, 3122 ^ [_93586, _93588, _93590, _94217]))], (3142 ^ _35246) ^ [] : [3120 ^ [_93586, _93588, _93590, _94217] = 3121 ^ [_93586, _93588, _93590, _94217]], (3144 ^ _35246) ^ [] : [3120 ^ [_93586, _93588, _93590, _94217] = 3122 ^ [_93586, _93588, _93590, _94217]], (3146 ^ _35246) ^ [] : [3121 ^ [_93586, _93588, _93590, _94217] = 3122 ^ [_93586, _93588, _93590, _94217]], (3148 ^ _35246) ^ [_96175, _96177, _96179, _96181] : [-(_96175 = _96181), -(_96175 = _96179), -(_96175 = _96177), lv(_96181), iext(_93588, _94217, _96181), icext(_93586, _96181), lv(_96179), iext(_93588, _94217, _96179), icext(_93586, _96179), lv(_96177), iext(_93588, _94217, _96177), icext(_93586, _96177), lv(_96175), iext(_93588, _94217, _96175), icext(_93586, _96175)]]]]], (3292 ^ _35246) ^ [_101789, _101791, _101793] : [iext(uri_owl_qualifiedCardinality, _101793, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _101793, _101791), iext(uri_owl_onClass, _101793, _101789), 3303 ^ _35246 : [(3314 ^ _35246) ^ [_102513] : [3316 ^ _35246 : [(3317 ^ _35246) ^ [] : [-(iext(_101791, _102513, 3315 ^ [_101789, _101791, _101793, _102513]))], (3319 ^ _35246) ^ [] : [-(icext(_101789, 3315 ^ [_101789, _101791, _101793, _102513]))]], -(icext(_101793, _102513))], (3304 ^ _35246) ^ [_102165] : [icext(_101793, _102165), 3307 ^ _35246 : [(3308 ^ _35246) ^ [_102319] : [iext(_101791, _102165, _102319), icext(_101789, _102319)]]]]], (3323 ^ _35246) ^ [_102937, _102939, _102941] : [iext(uri_owl_qualifiedCardinality, _102941, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102941, _102939), iext(uri_owl_onClass, _102941, _102937), 3334 ^ _35246 : [(3362 ^ _35246) ^ [_104308] : [-(icext(_102941, _104308)), 3373 ^ _35246 : [(3374 ^ _35246) ^ [] : [-(iext(_102939, _104308, 3371 ^ [_102937, _102939, _102941, _104308]))], (3376 ^ _35246) ^ [] : [-(icext(_102937, 3371 ^ [_102937, _102939, _102941, _104308]))], (3378 ^ _35246) ^ [] : [-(iext(_102939, _104308, 3372 ^ [_102937, _102939, _102941, _104308]))], (3380 ^ _35246) ^ [] : [-(icext(_102937, 3372 ^ [_102937, _102939, _102941, _104308]))], (3382 ^ _35246) ^ [] : [3372 ^ [_102937, _102939, _102941, _104308] = 3371 ^ [_102937, _102939, _102941, _104308]]], 3365 ^ _35246 : [(3366 ^ _35246) ^ [_104491] : [iext(_102939, _104308, _104491), icext(_102937, _104491)]]], (3335 ^ _35246) ^ [_103353] : [icext(_102941, _103353), 3339 ^ _35246 : [(3340 ^ _35246) ^ [] : [-(iext(_102939, _103353, 3338 ^ [_102937, _102939, _102941, _103353]))], (3342 ^ _35246) ^ [] : [-(icext(_102937, 3338 ^ [_102937, _102939, _102941, _103353]))], (3344 ^ _35246) ^ [_103786, _103788] : [-(_103786 = _103788), iext(_102939, _103353, _103788), icext(_102937, _103788), iext(_102939, _103353, _103786), icext(_102937, _103786)]]]]], (3386 ^ _35246) ^ [_105420, _105422, _105424] : [iext(uri_owl_qualifiedCardinality, _105424, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _105424, _105422), iext(uri_owl_onClass, _105424, _105420), 3397 ^ _35246 : [(3444 ^ _35246) ^ [_107661] : [-(icext(_105424, _107661)), 3468 ^ _35246 : [(3469 ^ _35246) ^ [] : [-(iext(_105422, _107661, 3465 ^ [_105420, _105422, _105424, _107661]))], (3471 ^ _35246) ^ [] : [-(icext(_105420, 3465 ^ [_105420, _105422, _105424, _107661]))], (3473 ^ _35246) ^ [] : [-(iext(_105422, _107661, 3466 ^ [_105420, _105422, _105424, _107661]))], (3475 ^ _35246) ^ [] : [-(icext(_105420, 3466 ^ [_105420, _105422, _105424, _107661]))], (3477 ^ _35246) ^ [] : [-(iext(_105422, _107661, 3467 ^ [_105420, _105422, _105424, _107661]))], (3479 ^ _35246) ^ [] : [-(icext(_105420, 3467 ^ [_105420, _105422, _105424, _107661]))], (3481 ^ _35246) ^ [] : [3467 ^ [_105420, _105422, _105424, _107661] = 3465 ^ [_105420, _105422, _105424, _107661]], (3483 ^ _35246) ^ [] : [3467 ^ [_105420, _105422, _105424, _107661] = 3466 ^ [_105420, _105422, _105424, _107661]]], 3447 ^ _35246 : [(3448 ^ _35246) ^ [_107908, _107910] : [iext(_105422, _107661, _107910), icext(_105420, _107910), iext(_105422, _107661, _107908), icext(_105420, _107908), -(_107910 = _107908)]]], (3398 ^ _35246) ^ [_105886] : [icext(_105424, _105886), 3403 ^ _35246 : [(3404 ^ _35246) ^ [] : [-(iext(_105422, _105886, 3401 ^ [_105420, _105422, _105424, _105886]))], (3406 ^ _35246) ^ [] : [-(icext(_105420, 3401 ^ [_105420, _105422, _105424, _105886]))], (3408 ^ _35246) ^ [] : [-(iext(_105422, _105886, 3402 ^ [_105420, _105422, _105424, _105886]))], (3410 ^ _35246) ^ [] : [-(icext(_105420, 3402 ^ [_105420, _105422, _105424, _105886]))], (3412 ^ _35246) ^ [] : [3401 ^ [_105420, _105422, _105424, _105886] = 3402 ^ [_105420, _105422, _105424, _105886]], (3414 ^ _35246) ^ [_106783, _106785, _106787] : [-(_106783 = _106787), -(_106783 = _106785), iext(_105422, _105886, _106787), icext(_105420, _106787), iext(_105422, _105886, _106785), icext(_105420, _106785), iext(_105422, _105886, _106783), icext(_105420, _106783)]]]]], (3487 ^ _35246) ^ [_109639, _109641, _109643] : [iext(uri_owl_qualifiedCardinality, _109643, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _109643, _109641), iext(uri_owl_onClass, _109643, _109639), 3498 ^ _35246 : [(3566 ^ _35246) ^ [_113022] : [-(icext(_109643, _113022)), 3607 ^ _35246 : [(3608 ^ _35246) ^ [] : [-(iext(_109641, _113022, 3603 ^ [_109639, _109641, _109643, _113022]))], (3610 ^ _35246) ^ [] : [-(icext(_109639, 3603 ^ [_109639, _109641, _109643, _113022]))], (3612 ^ _35246) ^ [] : [-(iext(_109641, _113022, 3604 ^ [_109639, _109641, _109643, _113022]))], (3614 ^ _35246) ^ [] : [-(icext(_109639, 3604 ^ [_109639, _109641, _109643, _113022]))], (3616 ^ _35246) ^ [] : [-(iext(_109641, _113022, 3605 ^ [_109639, _109641, _109643, _113022]))], (3618 ^ _35246) ^ [] : [-(icext(_109639, 3605 ^ [_109639, _109641, _109643, _113022]))], (3620 ^ _35246) ^ [] : [-(iext(_109641, _113022, 3606 ^ [_109639, _109641, _109643, _113022]))], (3622 ^ _35246) ^ [] : [-(icext(_109639, 3606 ^ [_109639, _109641, _109643, _113022]))], (3624 ^ _35246) ^ [] : [3606 ^ [_109639, _109641, _109643, _113022] = 3603 ^ [_109639, _109641, _109643, _113022]], (3626 ^ _35246) ^ [] : [3606 ^ [_109639, _109641, _109643, _113022] = 3604 ^ [_109639, _109641, _109643, _113022]], (3628 ^ _35246) ^ [] : [3606 ^ [_109639, _109641, _109643, _113022] = 3605 ^ [_109639, _109641, _109643, _113022]]], 3569 ^ _35246 : [(3570 ^ _35246) ^ [_113341, _113343, _113345] : [iext(_109641, _113022, _113345), icext(_109639, _113345), iext(_109641, _113022, _113343), icext(_109639, _113343), iext(_109641, _113022, _113341), icext(_109639, _113341), -(_113345 = _113343), -(_113345 = _113341), -(_113343 = _113341)]]], (3499 ^ _35246) ^ [_110163] : [icext(_109643, _110163), 3505 ^ _35246 : [(3506 ^ _35246) ^ [] : [-(iext(_109641, _110163, 3502 ^ [_109639, _109641, _109643, _110163]))], (3508 ^ _35246) ^ [] : [-(icext(_109639, 3502 ^ [_109639, _109641, _109643, _110163]))], (3510 ^ _35246) ^ [] : [-(iext(_109641, _110163, 3503 ^ [_109639, _109641, _109643, _110163]))], (3512 ^ _35246) ^ [] : [-(icext(_109639, 3503 ^ [_109639, _109641, _109643, _110163]))], (3514 ^ _35246) ^ [] : [-(iext(_109641, _110163, 3504 ^ [_109639, _109641, _109643, _110163]))], (3516 ^ _35246) ^ [] : [-(icext(_109639, 3504 ^ [_109639, _109641, _109643, _110163]))], (3518 ^ _35246) ^ [] : [3502 ^ [_109639, _109641, _109643, _110163] = 3503 ^ [_109639, _109641, _109643, _110163]], (3520 ^ _35246) ^ [] : [3502 ^ [_109639, _109641, _109643, _110163] = 3504 ^ [_109639, _109641, _109643, _110163]], (3522 ^ _35246) ^ [] : [3503 ^ [_109639, _109641, _109643, _110163] = 3504 ^ [_109639, _109641, _109643, _110163]], (3524 ^ _35246) ^ [_111762, _111764, _111766, _111768] : [-(_111762 = _111768), -(_111762 = _111766), -(_111762 = _111764), iext(_109641, _110163, _111768), icext(_109639, _111768), iext(_109641, _110163, _111766), icext(_109639, _111766), iext(_109641, _110163, _111764), icext(_109639, _111764), iext(_109641, _110163, _111762), icext(_109639, _111762)]]]]], (3632 ^ _35246) ^ [_116086, _116088, _116090] : [iext(uri_owl_hasSelf, _116090, _116086), iext(uri_owl_onProperty, _116090, _116088), 3639 ^ _35246 : [(3640 ^ _35246) ^ [_116354] : [icext(_116090, _116354), -(iext(_116088, _116354, _116354))], (3646 ^ _35246) ^ [_116536] : [iext(_116088, _116536, _116536), -(icext(_116090, _116536))]]], (3652 ^ _35246) ^ [_116789, _116791, _116793] : [iext(uri_owl_hasValue, _116793, _116789), iext(uri_owl_onProperty, _116793, _116791), 3659 ^ _35246 : [(3660 ^ _35246) ^ [_117057] : [icext(_116793, _117057), -(iext(_116791, _117057, _116789))], (3666 ^ _35246) ^ [_117239] : [iext(_116791, _117239, _116789), -(icext(_116793, _117239))]]], (3672 ^ _35246) ^ [_117478, _117480] : [iext(uri_owl_maxCardinality, _117480, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117480, _117478), 3679 ^ _35246 : [(3680 ^ _35246) ^ [_117745] : [icext(_117480, _117745), 3683 ^ _35246 : [(3684 ^ _35246) ^ [_117871] : [iext(_117478, _117745, _117871)]]], (3686 ^ _35246) ^ [_117942] : [-(iext(_117478, _117942, 3687 ^ [_117478, _117480, _117942])), -(icext(_117480, _117942))]]], (3693 ^ _35246) ^ [_118240, _118242] : [iext(uri_owl_maxCardinality, _118242, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118242, _118240), 3700 ^ _35246 : [(3715 ^ _35246) ^ [_118991] : [3718 ^ _35246 : [(3719 ^ _35246) ^ [] : [-(iext(_118240, _118991, 3716 ^ [_118240, _118242, _118991]))], (3721 ^ _35246) ^ [] : [-(iext(_118240, _118991, 3717 ^ [_118240, _118242, _118991]))], (3723 ^ _35246) ^ [] : [3717 ^ [_118240, _118242, _118991] = 3716 ^ [_118240, _118242, _118991]]], -(icext(_118242, _118991))], (3701 ^ _35246) ^ [_118523] : [icext(_118242, _118523), 3704 ^ _35246 : [(3705 ^ _35246) ^ [_118695, _118697] : [-(_118695 = _118697), iext(_118240, _118523, _118697), iext(_118240, _118523, _118695)]]]]], (3727 ^ _35246) ^ [_119574, _119576] : [iext(uri_owl_maxCardinality, _119576, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119576, _119574), 3734 ^ _35246 : [(3757 ^ _35246) ^ [_120600] : [3761 ^ _35246 : [(3762 ^ _35246) ^ [] : [-(iext(_119574, _120600, 3758 ^ [_119574, _119576, _120600]))], (3764 ^ _35246) ^ [] : [-(iext(_119574, _120600, 3759 ^ [_119574, _119576, _120600]))], (3766 ^ _35246) ^ [] : [-(iext(_119574, _120600, 3760 ^ [_119574, _119576, _120600]))], (3768 ^ _35246) ^ [] : [3760 ^ [_119574, _119576, _120600] = 3758 ^ [_119574, _119576, _120600]], (3770 ^ _35246) ^ [] : [3760 ^ [_119574, _119576, _120600] = 3759 ^ [_119574, _119576, _120600]]], -(icext(_119576, _120600))], (3735 ^ _35246) ^ [_119875] : [icext(_119576, _119875), 3738 ^ _35246 : [(3739 ^ _35246) ^ [_120079, _120081, _120083] : [-(_120079 = _120083), -(_120079 = _120081), iext(_119574, _119875, _120083), iext(_119574, _119875, _120081), iext(_119574, _119875, _120079)]]]]], (3774 ^ _35246) ^ [_121518, _121520] : [iext(uri_owl_maxCardinality, _121520, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121520, _121518), 3781 ^ _35246 : [(3812 ^ _35246) ^ [_122835] : [3817 ^ _35246 : [(3818 ^ _35246) ^ [] : [-(iext(_121518, _122835, 3813 ^ [_121518, _121520, _122835]))], (3820 ^ _35246) ^ [] : [-(iext(_121518, _122835, 3814 ^ [_121518, _121520, _122835]))], (3822 ^ _35246) ^ [] : [-(iext(_121518, _122835, 3815 ^ [_121518, _121520, _122835]))], (3824 ^ _35246) ^ [] : [-(iext(_121518, _122835, 3816 ^ [_121518, _121520, _122835]))], (3826 ^ _35246) ^ [] : [3816 ^ [_121518, _121520, _122835] = 3813 ^ [_121518, _121520, _122835]], (3828 ^ _35246) ^ [] : [3816 ^ [_121518, _121520, _122835] = 3814 ^ [_121518, _121520, _122835]], (3830 ^ _35246) ^ [] : [3816 ^ [_121518, _121520, _122835] = 3815 ^ [_121518, _121520, _122835]]], -(icext(_121520, _122835))], (3782 ^ _35246) ^ [_121837] : [icext(_121520, _121837), 3785 ^ _35246 : [(3786 ^ _35246) ^ [_122073, _122075, _122077, _122079] : [-(_122073 = _122079), -(_122073 = _122077), -(_122073 = _122075), iext(_121518, _121837, _122079), iext(_121518, _121837, _122077), iext(_121518, _121837, _122075), iext(_121518, _121837, _122073)]]]]], (3834 ^ _35246) ^ [_124151, _124153, _124155] : [iext(uri_owl_maxQualifiedCardinality, _124155, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _124155, _124153), iext(uri_owl_onDataRange, _124155, _124151), 3845 ^ _35246 : [(3846 ^ _35246) ^ [] : [-(iodp(_124153))], (3862 ^ _35246) ^ [_125056] : [3864 ^ _35246 : [(3865 ^ _35246) ^ [] : [-(lv(3863 ^ [_124151, _124153, _124155, _125056]))], (3867 ^ _35246) ^ [] : [-(iext(_124153, _125056, 3863 ^ [_124151, _124153, _124155, _125056]))], (3869 ^ _35246) ^ [] : [-(icext(_124151, 3863 ^ [_124151, _124153, _124155, _125056]))]], -(icext(_124155, _125056))], (3848 ^ _35246) ^ [_124604] : [icext(_124155, _124604), 3851 ^ _35246 : [(3852 ^ _35246) ^ [_124763] : [lv(_124763), iext(_124153, _124604, _124763), icext(_124151, _124763)]]]]], (3873 ^ _35246) ^ [_125574, _125576, _125578] : [iext(uri_owl_maxQualifiedCardinality, _125578, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125578, _125576), iext(uri_owl_onDataRange, _125578, _125574), 3884 ^ _35246 : [(3885 ^ _35246) ^ [] : [-(iodp(_125576))], (3917 ^ _35246) ^ [_126978] : [3920 ^ _35246 : [(3921 ^ _35246) ^ [] : [-(lv(3918 ^ [_125574, _125576, _125578, _126978]))], (3923 ^ _35246) ^ [] : [-(iext(_125576, _126978, 3918 ^ [_125574, _125576, _125578, _126978]))], (3925 ^ _35246) ^ [] : [-(icext(_125574, 3918 ^ [_125574, _125576, _125578, _126978]))], (3927 ^ _35246) ^ [] : [-(lv(3919 ^ [_125574, _125576, _125578, _126978]))], (3929 ^ _35246) ^ [] : [-(iext(_125576, _126978, 3919 ^ [_125574, _125576, _125578, _126978]))], (3931 ^ _35246) ^ [] : [-(icext(_125574, 3919 ^ [_125574, _125576, _125578, _126978]))], (3933 ^ _35246) ^ [] : [3919 ^ [_125574, _125576, _125578, _126978] = 3918 ^ [_125574, _125576, _125578, _126978]]], -(icext(_125578, _126978))], (3887 ^ _35246) ^ [_126054] : [icext(_125578, _126054), 3890 ^ _35246 : [(3891 ^ _35246) ^ [_126254, _126256] : [-(_126254 = _126256), lv(_126256), iext(_125576, _126054, _126256), icext(_125574, _126256), lv(_126254), iext(_125576, _126054, _126254), icext(_125574, _126254)]]]]], (3937 ^ _35246) ^ [_128037, _128039, _128041] : [iext(uri_owl_maxQualifiedCardinality, _128041, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _128041, _128039), iext(uri_owl_onDataRange, _128041, _128037), 3948 ^ _35246 : [(3949 ^ _35246) ^ [] : [-(iodp(_128039))], (3997 ^ _35246) ^ [_129978] : [4001 ^ _35246 : [(4002 ^ _35246) ^ [] : [-(lv(3998 ^ [_128037, _128039, _128041, _129978]))], (4004 ^ _35246) ^ [] : [-(iext(_128039, _129978, 3998 ^ [_128037, _128039, _128041, _129978]))], (4006 ^ _35246) ^ [] : [-(icext(_128037, 3998 ^ [_128037, _128039, _128041, _129978]))], (4008 ^ _35246) ^ [] : [-(lv(3999 ^ [_128037, _128039, _128041, _129978]))], (4010 ^ _35246) ^ [] : [-(iext(_128039, _129978, 3999 ^ [_128037, _128039, _128041, _129978]))], (4012 ^ _35246) ^ [] : [-(icext(_128037, 3999 ^ [_128037, _128039, _128041, _129978]))], (4014 ^ _35246) ^ [] : [-(lv(4000 ^ [_128037, _128039, _128041, _129978]))], (4016 ^ _35246) ^ [] : [-(iext(_128039, _129978, 4000 ^ [_128037, _128039, _128041, _129978]))], (4018 ^ _35246) ^ [] : [-(icext(_128037, 4000 ^ [_128037, _128039, _128041, _129978]))], (4020 ^ _35246) ^ [] : [4000 ^ [_128037, _128039, _128041, _129978] = 3998 ^ [_128037, _128039, _128041, _129978]], (4022 ^ _35246) ^ [] : [4000 ^ [_128037, _128039, _128041, _129978] = 3999 ^ [_128037, _128039, _128041, _129978]]], -(icext(_128041, _129978))], (3951 ^ _35246) ^ [_128546] : [icext(_128041, _128546), 3954 ^ _35246 : [(3955 ^ _35246) ^ [_128789, _128791, _128793] : [-(_128789 = _128793), -(_128789 = _128791), lv(_128793), iext(_128039, _128546, _128793), icext(_128037, _128793), lv(_128791), iext(_128039, _128546, _128791), icext(_128037, _128791), lv(_128789), iext(_128039, _128546, _128789), icext(_128037, _128789)]]]]], (4026 ^ _35246) ^ [_131673, _131675, _131677] : [iext(uri_owl_maxQualifiedCardinality, _131677, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131677, _131675), iext(uri_owl_onDataRange, _131677, _131673), 4037 ^ _35246 : [(4038 ^ _35246) ^ [] : [-(iodp(_131675))], (4102 ^ _35246) ^ [_134183] : [4107 ^ _35246 : [(4108 ^ _35246) ^ [] : [-(lv(4103 ^ [_131673, _131675, _131677, _134183]))], (4110 ^ _35246) ^ [] : [-(iext(_131675, _134183, 4103 ^ [_131673, _131675, _131677, _134183]))], (4112 ^ _35246) ^ [] : [-(icext(_131673, 4103 ^ [_131673, _131675, _131677, _134183]))], (4114 ^ _35246) ^ [] : [-(lv(4104 ^ [_131673, _131675, _131677, _134183]))], (4116 ^ _35246) ^ [] : [-(iext(_131675, _134183, 4104 ^ [_131673, _131675, _131677, _134183]))], (4118 ^ _35246) ^ [] : [-(icext(_131673, 4104 ^ [_131673, _131675, _131677, _134183]))], (4120 ^ _35246) ^ [] : [-(lv(4105 ^ [_131673, _131675, _131677, _134183]))], (4122 ^ _35246) ^ [] : [-(iext(_131675, _134183, 4105 ^ [_131673, _131675, _131677, _134183]))], (4124 ^ _35246) ^ [] : [-(icext(_131673, 4105 ^ [_131673, _131675, _131677, _134183]))], (4126 ^ _35246) ^ [] : [-(lv(4106 ^ [_131673, _131675, _131677, _134183]))], (4128 ^ _35246) ^ [] : [-(iext(_131675, _134183, 4106 ^ [_131673, _131675, _131677, _134183]))], (4130 ^ _35246) ^ [] : [-(icext(_131673, 4106 ^ [_131673, _131675, _131677, _134183]))], (4132 ^ _35246) ^ [] : [4106 ^ [_131673, _131675, _131677, _134183] = 4103 ^ [_131673, _131675, _131677, _134183]], (4134 ^ _35246) ^ [] : [4106 ^ [_131673, _131675, _131677, _134183] = 4104 ^ [_131673, _131675, _131677, _134183]], (4136 ^ _35246) ^ [] : [4106 ^ [_131673, _131675, _131677, _134183] = 4105 ^ [_131673, _131675, _131677, _134183]]], -(icext(_131677, _134183))], (4040 ^ _35246) ^ [_132211] : [icext(_131677, _132211), 4043 ^ _35246 : [(4044 ^ _35246) ^ [_132497, _132499, _132501, _132503] : [-(_132497 = _132503), -(_132497 = _132501), -(_132497 = _132499), lv(_132503), iext(_131675, _132211, _132503), icext(_131673, _132503), lv(_132501), iext(_131675, _132211, _132501), icext(_131673, _132501), lv(_132499), iext(_131675, _132211, _132499), icext(_131673, _132499), lv(_132497), iext(_131675, _132211, _132497), icext(_131673, _132497)]]]]], (4140 ^ _35246) ^ [_136611, _136613, _136615] : [iext(uri_owl_maxQualifiedCardinality, _136615, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _136615, _136613), iext(uri_owl_onClass, _136615, _136611), 4151 ^ _35246 : [(4162 ^ _35246) ^ [_137335] : [4164 ^ _35246 : [(4165 ^ _35246) ^ [] : [-(iext(_136613, _137335, 4163 ^ [_136611, _136613, _136615, _137335]))], (4167 ^ _35246) ^ [] : [-(icext(_136611, 4163 ^ [_136611, _136613, _136615, _137335]))]], -(icext(_136615, _137335))], (4152 ^ _35246) ^ [_136987] : [icext(_136615, _136987), 4155 ^ _35246 : [(4156 ^ _35246) ^ [_137141] : [iext(_136613, _136987, _137141), icext(_136611, _137141)]]]]], (4171 ^ _35246) ^ [_137759, _137761, _137763] : [iext(uri_owl_maxQualifiedCardinality, _137763, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137763, _137761), iext(uri_owl_onClass, _137763, _137759), 4182 ^ _35246 : [(4205 ^ _35246) ^ [_138865] : [4208 ^ _35246 : [(4209 ^ _35246) ^ [] : [-(iext(_137761, _138865, 4206 ^ [_137759, _137761, _137763, _138865]))], (4211 ^ _35246) ^ [] : [-(icext(_137759, 4206 ^ [_137759, _137761, _137763, _138865]))], (4213 ^ _35246) ^ [] : [-(iext(_137761, _138865, 4207 ^ [_137759, _137761, _137763, _138865]))], (4215 ^ _35246) ^ [] : [-(icext(_137759, 4207 ^ [_137759, _137761, _137763, _138865]))], (4217 ^ _35246) ^ [] : [4207 ^ [_137759, _137761, _137763, _138865] = 4206 ^ [_137759, _137761, _137763, _138865]]], -(icext(_137763, _138865))], (4183 ^ _35246) ^ [_138157] : [icext(_137763, _138157), 4186 ^ _35246 : [(4187 ^ _35246) ^ [_138347, _138349] : [-(_138347 = _138349), iext(_137761, _138157, _138349), icext(_137759, _138349), iext(_137761, _138157, _138347), icext(_137759, _138347)]]]]], (4221 ^ _35246) ^ [_139713, _139715, _139717] : [iext(uri_owl_maxQualifiedCardinality, _139717, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _139717, _139715), iext(uri_owl_onClass, _139717, _139713), 4232 ^ _35246 : [(4267 ^ _35246) ^ [_141231] : [4271 ^ _35246 : [(4272 ^ _35246) ^ [] : [-(iext(_139715, _141231, 4268 ^ [_139713, _139715, _139717, _141231]))], (4274 ^ _35246) ^ [] : [-(icext(_139713, 4268 ^ [_139713, _139715, _139717, _141231]))], (4276 ^ _35246) ^ [] : [-(iext(_139715, _141231, 4269 ^ [_139713, _139715, _139717, _141231]))], (4278 ^ _35246) ^ [] : [-(icext(_139713, 4269 ^ [_139713, _139715, _139717, _141231]))], (4280 ^ _35246) ^ [] : [-(iext(_139715, _141231, 4270 ^ [_139713, _139715, _139717, _141231]))], (4282 ^ _35246) ^ [] : [-(icext(_139713, 4270 ^ [_139713, _139715, _139717, _141231]))], (4284 ^ _35246) ^ [] : [4270 ^ [_139713, _139715, _139717, _141231] = 4268 ^ [_139713, _139715, _139717, _141231]], (4286 ^ _35246) ^ [] : [4270 ^ [_139713, _139715, _139717, _141231] = 4269 ^ [_139713, _139715, _139717, _141231]]], -(icext(_139717, _141231))], (4233 ^ _35246) ^ [_140135] : [icext(_139717, _140135), 4236 ^ _35246 : [(4237 ^ _35246) ^ [_140363, _140365, _140367] : [-(_140363 = _140367), -(_140363 = _140365), iext(_139715, _140135, _140367), icext(_139713, _140367), iext(_139715, _140135, _140365), icext(_139713, _140365), iext(_139715, _140135, _140363), icext(_139713, _140363)]]]]], (4290 ^ _35246) ^ [_142579, _142581, _142583] : [iext(uri_owl_maxQualifiedCardinality, _142583, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142583, _142581), iext(uri_owl_onClass, _142583, _142579), 4301 ^ _35246 : [(4348 ^ _35246) ^ [_144533] : [4353 ^ _35246 : [(4354 ^ _35246) ^ [] : [-(iext(_142581, _144533, 4349 ^ [_142579, _142581, _142583, _144533]))], (4356 ^ _35246) ^ [] : [-(icext(_142579, 4349 ^ [_142579, _142581, _142583, _144533]))], (4358 ^ _35246) ^ [] : [-(iext(_142581, _144533, 4350 ^ [_142579, _142581, _142583, _144533]))], (4360 ^ _35246) ^ [] : [-(icext(_142579, 4350 ^ [_142579, _142581, _142583, _144533]))], (4362 ^ _35246) ^ [] : [-(iext(_142581, _144533, 4351 ^ [_142579, _142581, _142583, _144533]))], (4364 ^ _35246) ^ [] : [-(icext(_142579, 4351 ^ [_142579, _142581, _142583, _144533]))], (4366 ^ _35246) ^ [] : [-(iext(_142581, _144533, 4352 ^ [_142579, _142581, _142583, _144533]))], (4368 ^ _35246) ^ [] : [-(icext(_142579, 4352 ^ [_142579, _142581, _142583, _144533]))], (4370 ^ _35246) ^ [] : [4352 ^ [_142579, _142581, _142583, _144533] = 4349 ^ [_142579, _142581, _142583, _144533]], (4372 ^ _35246) ^ [] : [4352 ^ [_142579, _142581, _142583, _144533] = 4350 ^ [_142579, _142581, _142583, _144533]], (4374 ^ _35246) ^ [] : [4352 ^ [_142579, _142581, _142583, _144533] = 4351 ^ [_142579, _142581, _142583, _144533]]], -(icext(_142583, _144533))], (4302 ^ _35246) ^ [_143025] : [icext(_142583, _143025), 4305 ^ _35246 : [(4306 ^ _35246) ^ [_143291, _143293, _143295, _143297] : [-(_143291 = _143297), -(_143291 = _143295), -(_143291 = _143293), iext(_142581, _143025, _143297), icext(_142579, _143297), iext(_142581, _143025, _143295), icext(_142579, _143295), iext(_142581, _143025, _143293), icext(_142579, _143293), iext(_142581, _143025, _143291), icext(_142579, _143291)]]]]], (4378 ^ _35246) ^ [_146443, _146445] : [4385 ^ _35246 : [(4386 ^ _35246) ^ [_146652] : [-(icext(_146445, _146652))]], iext(uri_owl_minCardinality, _146445, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146445, _146443)], (4388 ^ _35246) ^ [_146768, _146770] : [iext(uri_owl_minCardinality, _146770, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146770, _146768), 4395 ^ _35246 : [(4396 ^ _35246) ^ [_147033] : [icext(_146770, _147033), -(iext(_146768, _147033, 4399 ^ [_146768, _146770, _147033]))], (4403 ^ _35246) ^ [_147271] : [4404 ^ _35246 : [(4405 ^ _35246) ^ [_147348] : [iext(_146768, _147271, _147348)]], -(icext(_146770, _147271))]]], (4409 ^ _35246) ^ [_147524, _147526] : [iext(uri_owl_minCardinality, _147526, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147526, _147524), 4416 ^ _35246 : [(4417 ^ _35246) ^ [_147809] : [icext(_147526, _147809), 4422 ^ _35246 : [(4423 ^ _35246) ^ [] : [-(iext(_147524, _147809, 4420 ^ [_147524, _147526, _147809]))], (4425 ^ _35246) ^ [] : [-(iext(_147524, _147809, 4421 ^ [_147524, _147526, _147809]))], (4427 ^ _35246) ^ [] : [4420 ^ [_147524, _147526, _147809] = 4421 ^ [_147524, _147526, _147809]]]], (4429 ^ _35246) ^ [_148338] : [-(icext(_147526, _148338)), 4430 ^ _35246 : [(4431 ^ _35246) ^ [_148465, _148467] : [iext(_147524, _148338, _148467), iext(_147524, _148338, _148465), -(_148467 = _148465)]]]]], (4443 ^ _35246) ^ [_148868, _148870] : [iext(uri_owl_minCardinality, _148870, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148870, _148868), 4450 ^ _35246 : [(4451 ^ _35246) ^ [_149181] : [icext(_148870, _149181), 4457 ^ _35246 : [(4458 ^ _35246) ^ [] : [-(iext(_148868, _149181, 4454 ^ [_148868, _148870, _149181]))], (4460 ^ _35246) ^ [] : [-(iext(_148868, _149181, 4455 ^ [_148868, _148870, _149181]))], (4462 ^ _35246) ^ [] : [-(iext(_148868, _149181, 4456 ^ [_148868, _148870, _149181]))], (4464 ^ _35246) ^ [] : [4454 ^ [_148868, _148870, _149181] = 4455 ^ [_148868, _148870, _149181]], (4466 ^ _35246) ^ [] : [4454 ^ [_148868, _148870, _149181] = 4456 ^ [_148868, _148870, _149181]], (4468 ^ _35246) ^ [] : [4455 ^ [_148868, _148870, _149181] = 4456 ^ [_148868, _148870, _149181]]]], (4470 ^ _35246) ^ [_150199] : [-(icext(_148870, _150199)), 4471 ^ _35246 : [(4472 ^ _35246) ^ [_150368, _150370, _150372] : [iext(_148868, _150199, _150372), iext(_148868, _150199, _150370), iext(_148868, _150199, _150368), -(_150372 = _150370), -(_150372 = _150368), -(_150370 = _150368)]]]]], (4496 ^ _35246) ^ [_151118, _151120, _151122] : [4507 ^ _35246 : [(4508 ^ _35246) ^ [] : [-(iodp(_151120))], (4510 ^ _35246) ^ [_151502] : [-(icext(_151122, _151502))]], iext(uri_owl_minQualifiedCardinality, _151122, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151122, _151120), iext(uri_owl_onDataRange, _151122, _151118)], (4512 ^ _35246) ^ [_151636, _151638, _151640] : [iext(uri_owl_minQualifiedCardinality, _151640, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151640, _151638), iext(uri_owl_onDataRange, _151640, _151636), 4523 ^ _35246 : [(4524 ^ _35246) ^ [] : [-(iodp(_151638))], (4526 ^ _35246) ^ [_152087] : [icext(_151640, _152087), 4530 ^ _35246 : [(4531 ^ _35246) ^ [] : [-(lv(4529 ^ [_151636, _151638, _151640, _152087]))], (4533 ^ _35246) ^ [] : [-(iext(_151638, _152087, 4529 ^ [_151636, _151638, _151640, _152087]))], (4535 ^ _35246) ^ [] : [-(icext(_151636, 4529 ^ [_151636, _151638, _151640, _152087]))]]], (4537 ^ _35246) ^ [_152527] : [-(icext(_151640, _152527)), 4538 ^ _35246 : [(4539 ^ _35246) ^ [_152635] : [lv(_152635), iext(_151638, _152527, _152635), icext(_151636, _152635)]]]]], (4551 ^ _35246) ^ [_153053, _153055, _153057] : [iext(uri_owl_minQualifiedCardinality, _153057, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153057, _153055), iext(uri_owl_onDataRange, _153057, _153053), 4562 ^ _35246 : [(4563 ^ _35246) ^ [] : [-(iodp(_153055))], (4565 ^ _35246) ^ [_153535] : [icext(_153057, _153535), 4570 ^ _35246 : [(4571 ^ _35246) ^ [] : [-(lv(4568 ^ [_153053, _153055, _153057, _153535]))], (4573 ^ _35246) ^ [] : [-(iext(_153055, _153535, 4568 ^ [_153053, _153055, _153057, _153535]))], (4575 ^ _35246) ^ [] : [-(icext(_153053, 4568 ^ [_153053, _153055, _153057, _153535]))], (4577 ^ _35246) ^ [] : [-(lv(4569 ^ [_153053, _153055, _153057, _153535]))], (4579 ^ _35246) ^ [] : [-(iext(_153055, _153535, 4569 ^ [_153053, _153055, _153057, _153535]))], (4581 ^ _35246) ^ [] : [-(icext(_153053, 4569 ^ [_153053, _153055, _153057, _153535]))], (4583 ^ _35246) ^ [] : [4568 ^ [_153053, _153055, _153057, _153535] = 4569 ^ [_153053, _153055, _153057, _153535]]]], (4585 ^ _35246) ^ [_154514] : [-(icext(_153057, _154514)), 4586 ^ _35246 : [(4587 ^ _35246) ^ [_154667, _154669] : [lv(_154669), iext(_153055, _154514, _154669), icext(_153053, _154669), lv(_154667), iext(_153055, _154514, _154667), icext(_153053, _154667), -(_154669 = _154667)]]]]], (4615 ^ _35246) ^ [_155518, _155520, _155522] : [iext(uri_owl_minQualifiedCardinality, _155522, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155522, _155520), iext(uri_owl_onDataRange, _155522, _155518), 4626 ^ _35246 : [(4627 ^ _35246) ^ [] : [-(iodp(_155520))], (4629 ^ _35246) ^ [_156039] : [icext(_155522, _156039), 4635 ^ _35246 : [(4636 ^ _35246) ^ [] : [-(lv(4632 ^ [_155518, _155520, _155522, _156039]))], (4638 ^ _35246) ^ [] : [-(iext(_155520, _156039, 4632 ^ [_155518, _155520, _155522, _156039]))], (4640 ^ _35246) ^ [] : [-(icext(_155518, 4632 ^ [_155518, _155520, _155522, _156039]))], (4642 ^ _35246) ^ [] : [-(lv(4633 ^ [_155518, _155520, _155522, _156039]))], (4644 ^ _35246) ^ [] : [-(iext(_155520, _156039, 4633 ^ [_155518, _155520, _155522, _156039]))], (4646 ^ _35246) ^ [] : [-(icext(_155518, 4633 ^ [_155518, _155520, _155522, _156039]))], (4648 ^ _35246) ^ [] : [-(lv(4634 ^ [_155518, _155520, _155522, _156039]))], (4650 ^ _35246) ^ [] : [-(iext(_155520, _156039, 4634 ^ [_155518, _155520, _155522, _156039]))], (4652 ^ _35246) ^ [] : [-(icext(_155518, 4634 ^ [_155518, _155520, _155522, _156039]))], (4654 ^ _35246) ^ [] : [4632 ^ [_155518, _155520, _155522, _156039] = 4633 ^ [_155518, _155520, _155522, _156039]], (4656 ^ _35246) ^ [] : [4632 ^ [_155518, _155520, _155522, _156039] = 4634 ^ [_155518, _155520, _155522, _156039]], (4658 ^ _35246) ^ [] : [4633 ^ [_155518, _155520, _155522, _156039] = 4634 ^ [_155518, _155520, _155522, _156039]]]], (4660 ^ _35246) ^ [_157816] : [-(icext(_155522, _157816)), 4661 ^ _35246 : [(4662 ^ _35246) ^ [_158022, _158024, _158026] : [lv(_158026), iext(_155520, _157816, _158026), icext(_155518, _158026), lv(_158024), iext(_155520, _157816, _158024), icext(_155518, _158024), lv(_158022), iext(_155520, _157816, _158022), icext(_155518, _158022), -(_158026 = _158024), -(_158026 = _158022), -(_158024 = _158022)]]]]], (4710 ^ _35246) ^ [_159450, _159452, _159454] : [4721 ^ _35246 : [(4722 ^ _35246) ^ [_159762] : [-(icext(_159454, _159762))]], iext(uri_owl_minQualifiedCardinality, _159454, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _159454, _159452), iext(uri_owl_onClass, _159454, _159450)], (4724 ^ _35246) ^ [_159894, _159896, _159898] : [iext(uri_owl_minQualifiedCardinality, _159898, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _159898, _159896), iext(uri_owl_onClass, _159898, _159894), 4735 ^ _35246 : [(4736 ^ _35246) ^ [_160268] : [icext(_159898, _160268), 4740 ^ _35246 : [(4741 ^ _35246) ^ [] : [-(iext(_159896, _160268, 4739 ^ [_159894, _159896, _159898, _160268]))], (4743 ^ _35246) ^ [] : [-(icext(_159894, 4739 ^ [_159894, _159896, _159898, _160268]))]]], (4745 ^ _35246) ^ [_160616] : [-(icext(_159898, _160616)), 4746 ^ _35246 : [(4747 ^ _35246) ^ [_160719] : [iext(_159896, _160616, _160719), icext(_159894, _160719)]]]]], (4755 ^ _35246) ^ [_161036, _161038, _161040] : [iext(uri_owl_minQualifiedCardinality, _161040, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _161040, _161038), iext(uri_owl_onClass, _161040, _161036), 4766 ^ _35246 : [(4767 ^ _35246) ^ [_161436] : [icext(_161040, _161436), 4772 ^ _35246 : [(4773 ^ _35246) ^ [] : [-(iext(_161038, _161436, 4770 ^ [_161036, _161038, _161040, _161436]))], (4775 ^ _35246) ^ [] : [-(icext(_161036, 4770 ^ [_161036, _161038, _161040, _161436]))], (4777 ^ _35246) ^ [] : [-(iext(_161038, _161436, 4771 ^ [_161036, _161038, _161040, _161436]))], (4779 ^ _35246) ^ [] : [-(icext(_161036, 4771 ^ [_161036, _161038, _161040, _161436]))], (4781 ^ _35246) ^ [] : [4770 ^ [_161036, _161038, _161040, _161436] = 4771 ^ [_161036, _161038, _161040, _161436]]]], (4783 ^ _35246) ^ [_162210] : [-(icext(_161040, _162210)), 4784 ^ _35246 : [(4785 ^ _35246) ^ [_162353, _162355] : [iext(_161038, _162210, _162355), icext(_161036, _162355), iext(_161038, _162210, _162353), icext(_161036, _162353), -(_162355 = _162353)]]]]], (4805 ^ _35246) ^ [_162996, _162998, _163000] : [iext(uri_owl_minQualifiedCardinality, _163000, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _163000, _162998), iext(uri_owl_onClass, _163000, _162996), 4816 ^ _35246 : [(4817 ^ _35246) ^ [_163430] : [icext(_163000, _163430), 4823 ^ _35246 : [(4824 ^ _35246) ^ [] : [-(iext(_162998, _163430, 4820 ^ [_162996, _162998, _163000, _163430]))], (4826 ^ _35246) ^ [] : [-(icext(_162996, 4820 ^ [_162996, _162998, _163000, _163430]))], (4828 ^ _35246) ^ [] : [-(iext(_162998, _163430, 4821 ^ [_162996, _162998, _163000, _163430]))], (4830 ^ _35246) ^ [] : [-(icext(_162996, 4821 ^ [_162996, _162998, _163000, _163430]))], (4832 ^ _35246) ^ [] : [-(iext(_162998, _163430, 4822 ^ [_162996, _162998, _163000, _163430]))], (4834 ^ _35246) ^ [] : [-(icext(_162996, 4822 ^ [_162996, _162998, _163000, _163430]))], (4836 ^ _35246) ^ [] : [4820 ^ [_162996, _162998, _163000, _163430] = 4821 ^ [_162996, _162998, _163000, _163430]], (4838 ^ _35246) ^ [] : [4820 ^ [_162996, _162998, _163000, _163430] = 4822 ^ [_162996, _162998, _163000, _163430]], (4840 ^ _35246) ^ [] : [4821 ^ [_162996, _162998, _163000, _163430] = 4822 ^ [_162996, _162998, _163000, _163430]]]], (4842 ^ _35246) ^ [_164868] : [-(icext(_163000, _164868)), 4843 ^ _35246 : [(4844 ^ _35246) ^ [_165059, _165061, _165063] : [iext(_162998, _164868, _165063), icext(_162996, _165063), iext(_162998, _164868, _165061), icext(_162996, _165061), iext(_162998, _164868, _165059), icext(_162996, _165059), -(_165063 = _165061), -(_165063 = _165059), -(_165061 = _165059)]]]]], (4880 ^ _35246) ^ [_166164, _166166, _166168] : [iext(uri_owl_someValuesFrom, _166168, _166164), iext(uri_owl_onProperty, _166168, _166166), 4887 ^ _35246 : [(4888 ^ _35246) ^ [_166443] : [icext(_166168, _166443), 4892 ^ _35246 : [(4893 ^ _35246) ^ [] : [-(iext(_166166, _166443, 4891 ^ [_166164, _166166, _166168, _166443]))], (4895 ^ _35246) ^ [] : [-(icext(_166164, 4891 ^ [_166164, _166166, _166168, _166443]))]]], (4897 ^ _35246) ^ [_166791] : [-(icext(_166168, _166791)), 4898 ^ _35246 : [(4899 ^ _35246) ^ [_166894] : [iext(_166166, _166791, _166894), icext(_166164, _166894)]]]]], (4907 ^ _35246) ^ [_167224, _167226] : [iext(uri_rdfs_domain, _167226, _167224), 4910 ^ _35246 : [(4911 ^ _35246) ^ [] : [-(ip(_167226))], (4913 ^ _35246) ^ [] : [-(ic(_167224))], (4915 ^ _35246) ^ [_167523, _167525] : [iext(_167226, _167525, _167523), -(icext(_167224, _167525))]]], (4921 ^ _35246) ^ [_167712, _167714] : [-(iext(uri_rdfs_domain, _167714, _167712)), ip(_167714), ic(_167712), 4932 ^ _35246 : [(4933 ^ _35246) ^ [] : [-(iext(_167714, 4930 ^ [_167712, _167714], 4931 ^ [_167712, _167714]))], (4935 ^ _35246) ^ [] : [icext(_167712, 4930 ^ [_167712, _167714])]]], (4939 ^ _35246) ^ [_168360, _168362] : [iext(uri_rdfs_range, _168362, _168360), 4942 ^ _35246 : [(4943 ^ _35246) ^ [] : [-(ip(_168362))], (4945 ^ _35246) ^ [] : [-(ip(_168360))], (4947 ^ _35246) ^ [_168659, _168661] : [iext(_168362, _168661, _168659), -(icext(_168360, _168659))]]], (4953 ^ _35246) ^ [_168848, _168850] : [-(iext(uri_rdfs_range, _168850, _168848)), ip(_168850), ip(_168848), 4964 ^ _35246 : [(4965 ^ _35246) ^ [] : [-(iext(_168850, 4962 ^ [_168848, _168850], 4963 ^ [_168848, _168850]))], (4967 ^ _35246) ^ [] : [icext(_168848, 4963 ^ [_168848, _168850])]]], (4971 ^ _35246) ^ [_169489, _169491] : [iext(uri_rdfs_subClassOf, _169491, _169489), 4974 ^ _35246 : [(4975 ^ _35246) ^ [] : [-(ic(_169491))], (4977 ^ _35246) ^ [] : [-(ic(_169489))], (4979 ^ _35246) ^ [_169768] : [icext(_169491, _169768), -(icext(_169489, _169768))]]], (4985 ^ _35246) ^ [_169949, _169951] : [-(iext(uri_rdfs_subClassOf, _169951, _169949)), ic(_169951), ic(_169949), 4995 ^ _35246 : [(4996 ^ _35246) ^ [] : [-(icext(_169951, 4994 ^ [_169949, _169951]))], (4998 ^ _35246) ^ [] : [icext(_169949, 4994 ^ [_169949, _169951])]]], (5002 ^ _35246) ^ [_170511, _170513] : [iext(uri_rdfs_subPropertyOf, _170513, _170511), 5005 ^ _35246 : [(5006 ^ _35246) ^ [] : [-(ip(_170513))], (5008 ^ _35246) ^ [] : [-(ip(_170511))], (5010 ^ _35246) ^ [_170811, _170813] : [iext(_170513, _170813, _170811), -(iext(_170511, _170813, _170811))]]], (5016 ^ _35246) ^ [_171002, _171004] : [-(iext(uri_rdfs_subPropertyOf, _171004, _171002)), ip(_171004), ip(_171002), 5027 ^ _35246 : [(5028 ^ _35246) ^ [] : [-(iext(_171004, 5025 ^ [_171002, _171004], 5026 ^ [_171002, _171004]))], (5030 ^ _35246) ^ [] : [iext(_171002, 5025 ^ [_171002, _171004], 5026 ^ [_171002, _171004])]]], (5034 ^ _35246) ^ [_171661, _171663] : [iext(uri_owl_differentFrom, _171663, _171661), _171663 = _171661], (5040 ^ _35246) ^ [_171826, _171828] : [-(_171828 = _171826), -(iext(uri_owl_differentFrom, _171828, _171826))], (5046 ^ _35246) ^ [_172058] : [iext(uri_owl_disjointUnionOf, _172058, uri_rdf_nil), 5049 ^ _35246 : [(5050 ^ _35246) ^ [] : [-(ic(_172058))], (5052 ^ _35246) ^ [_172241] : [icext(_172058, _172241)]]], (5054 ^ _35246) ^ [_172309] : [-(iext(uri_owl_disjointUnionOf, _172309, uri_rdf_nil)), ic(_172309), -(icext(_172309, 5059 ^ [_172309]))], (5065 ^ _35246) ^ [_172670, _172672, _172674] : [iext(uri_rdf_first, _172672, _172670), iext(uri_rdf_rest, _172672, uri_rdf_nil), 5072 ^ _35246 : [(5073 ^ _35246) ^ [] : [iext(uri_owl_disjointUnionOf, _172674, _172672), 5076 ^ _35246 : [(5077 ^ _35246) ^ [] : [-(ic(_172674))], (5079 ^ _35246) ^ [] : [-(ic(_172670))], (5081 ^ _35246) ^ [_173201] : [icext(_172674, _173201), -(icext(_172670, _173201))], (5087 ^ _35246) ^ [_173381] : [icext(_172670, _173381), -(icext(_172674, _173381))]]], (5093 ^ _35246) ^ [] : [-(iext(uri_owl_disjointUnionOf, _172674, _172672)), ic(_172674), ic(_172670), 5105 ^ _35246 : [(5106 ^ _35246) ^ [] : [-(icext(_172674, 5102 ^ [_172670, _172672, _172674]))], (5108 ^ _35246) ^ [] : [icext(_172670, 5102 ^ [_172670, _172672, _172674])]], 5109 ^ _35246 : [(5110 ^ _35246) ^ [] : [-(icext(_172670, 5102 ^ [_172670, _172672, _172674]))], (5112 ^ _35246) ^ [] : [icext(_172674, 5102 ^ [_172670, _172672, _172674])]]]]], (5116 ^ _35246) ^ [_174308, _174310, _174312, _174314, _174316] : [iext(uri_rdf_first, _174314, _174312), iext(uri_rdf_rest, _174314, _174310), iext(uri_rdf_first, _174310, _174308), iext(uri_rdf_rest, _174310, uri_rdf_nil), 5131 ^ _35246 : [(5172 ^ _35246) ^ [] : [-(iext(uri_owl_disjointUnionOf, _174316, _174314)), ic(_174316), ic(_174312), ic(_174308), 5188 ^ _35246 : [(5189 ^ _35246) ^ [] : [-(icext(_174316, 5185 ^ [_174308, _174310, _174312, _174314, _174316]))], (5191 ^ _35246) ^ [] : [5192 ^ _35246 : [(5193 ^ _35246) ^ [] : [icext(_174312, 5185 ^ [_174308, _174310, _174312, _174314, _174316])], (5195 ^ _35246) ^ [] : [icext(_174308, 5185 ^ [_174308, _174310, _174312, _174314, _174316])]], 5196 ^ _35246 : [(5197 ^ _35246) ^ [] : [-(icext(_174312, 5185 ^ [_174308, _174310, _174312, _174314, _174316]))], (5199 ^ _35246) ^ [] : [-(icext(_174308, 5185 ^ [_174308, _174310, _174312, _174314, _174316]))]]]], 5200 ^ _35246 : [(5213 ^ _35246) ^ [] : [icext(_174316, 5185 ^ [_174308, _174310, _174312, _174314, _174316])], (5201 ^ _35246) ^ [] : [-(icext(_174312, 5185 ^ [_174308, _174310, _174312, _174314, _174316])), -(icext(_174308, 5185 ^ [_174308, _174310, _174312, _174314, _174316]))], (5207 ^ _35246) ^ [] : [icext(_174312, 5185 ^ [_174308, _174310, _174312, _174314, _174316]), icext(_174308, 5185 ^ [_174308, _174310, _174312, _174314, _174316])]]], (5132 ^ _35246) ^ [] : [iext(uri_owl_disjointUnionOf, _174316, _174314), 5135 ^ _35246 : [(5136 ^ _35246) ^ [] : [-(ic(_174316))], (5138 ^ _35246) ^ [] : [-(ic(_174312))], (5140 ^ _35246) ^ [] : [-(ic(_174308))], (5158 ^ _35246) ^ [_175664] : [-(icext(_174316, _175664)), 5161 ^ _35246 : [(5162 ^ _35246) ^ [] : [icext(_174312, _175664)], (5164 ^ _35246) ^ [] : [icext(_174308, _175664)]], 5165 ^ _35246 : [(5166 ^ _35246) ^ [] : [-(icext(_174312, _175664))], (5168 ^ _35246) ^ [] : [-(icext(_174308, _175664))]]], (5142 ^ _35246) ^ [_175173] : [icext(_174316, _175173), 5145 ^ _35246 : [(5146 ^ _35246) ^ [] : [-(icext(_174312, _175173)), -(icext(_174308, _175173))], (5152 ^ _35246) ^ [] : [icext(_174312, _175173), icext(_174308, _175173)]]]]]]], (5217 ^ _35246) ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695] : [iext(uri_rdf_first, _177693, _177691), iext(uri_rdf_rest, _177693, _177689), iext(uri_rdf_first, _177689, _177687), iext(uri_rdf_rest, _177689, _177685), iext(uri_rdf_first, _177685, _177683), iext(uri_rdf_rest, _177685, uri_rdf_nil), 5240 ^ _35246 : [(5313 ^ _35246) ^ [] : [-(iext(uri_owl_disjointUnionOf, _177695, _177693)), ic(_177695), ic(_177691), ic(_177687), ic(_177683), 5333 ^ _35246 : [(5334 ^ _35246) ^ [] : [-(icext(_177695, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))], (5336 ^ _35246) ^ [] : [5337 ^ _35246 : [(5338 ^ _35246) ^ [] : [icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])], (5340 ^ _35246) ^ [] : [icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])], (5342 ^ _35246) ^ [] : [icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])]], 5345 ^ _35246 : [(5346 ^ _35246) ^ [] : [-(icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))], (5348 ^ _35246) ^ [] : [-(icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))]], 5351 ^ _35246 : [(5352 ^ _35246) ^ [] : [-(icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))], (5354 ^ _35246) ^ [] : [-(icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))]], 5355 ^ _35246 : [(5356 ^ _35246) ^ [] : [-(icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))], (5358 ^ _35246) ^ [] : [-(icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))]]]], 5359 ^ _35246 : [(5388 ^ _35246) ^ [] : [icext(_177695, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])], (5360 ^ _35246) ^ [] : [-(icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])), -(icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])), -(icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]))], (5370 ^ _35246) ^ [] : [icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]), icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])], (5376 ^ _35246) ^ [] : [icext(_177691, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]), icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])], (5382 ^ _35246) ^ [] : [icext(_177687, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695]), icext(_177683, 5330 ^ [_177683, _177685, _177687, _177689, _177691, _177693, _177695])]]], (5241 ^ _35246) ^ [] : [iext(uri_owl_disjointUnionOf, _177695, _177693), 5244 ^ _35246 : [(5245 ^ _35246) ^ [] : [-(ic(_177695))], (5247 ^ _35246) ^ [] : [-(ic(_177691))], (5249 ^ _35246) ^ [] : [-(ic(_177687))], (5251 ^ _35246) ^ [] : [-(ic(_177683))], (5285 ^ _35246) ^ [_179977] : [-(icext(_177695, _179977)), 5288 ^ _35246 : [(5289 ^ _35246) ^ [] : [icext(_177691, _179977)], (5291 ^ _35246) ^ [] : [icext(_177687, _179977)], (5293 ^ _35246) ^ [] : [icext(_177683, _179977)]], 5296 ^ _35246 : [(5297 ^ _35246) ^ [] : [-(icext(_177691, _179977))], (5299 ^ _35246) ^ [] : [-(icext(_177687, _179977))]], 5302 ^ _35246 : [(5303 ^ _35246) ^ [] : [-(icext(_177691, _179977))], (5305 ^ _35246) ^ [] : [-(icext(_177683, _179977))]], 5306 ^ _35246 : [(5307 ^ _35246) ^ [] : [-(icext(_177687, _179977))], (5309 ^ _35246) ^ [] : [-(icext(_177683, _179977))]]], (5253 ^ _35246) ^ [_178936] : [icext(_177695, _178936), 5256 ^ _35246 : [(5257 ^ _35246) ^ [] : [-(icext(_177691, _178936)), -(icext(_177687, _178936)), -(icext(_177683, _178936))], (5267 ^ _35246) ^ [] : [icext(_177691, _178936), icext(_177687, _178936)], (5273 ^ _35246) ^ [] : [icext(_177691, _178936), icext(_177683, _178936)], (5279 ^ _35246) ^ [] : [icext(_177687, _178936), icext(_177683, _178936)]]]]]]], (5392 ^ _35246) ^ [_183833, _183835] : [iext(uri_owl_disjointWith, _183835, _183833), 5395 ^ _35246 : [(5396 ^ _35246) ^ [] : [-(ic(_183835))], (5398 ^ _35246) ^ [] : [-(ic(_183833))], (5400 ^ _35246) ^ [_184114] : [icext(_183835, _184114), icext(_183833, _184114)]]], (5406 ^ _35246) ^ [_184294, _184296] : [-(iext(uri_owl_disjointWith, _184296, _184294)), ic(_184296), ic(_184294), 5416 ^ _35246 : [(5417 ^ _35246) ^ [] : [-(icext(_184296, 5415 ^ [_184294, _184296]))], (5419 ^ _35246) ^ [] : [-(icext(_184294, 5415 ^ [_184294, _184296]))]]], (5423 ^ _35246) ^ [_184861, _184863] : [iext(uri_owl_equivalentClass, _184863, _184861), 5426 ^ _35246 : [(5427 ^ _35246) ^ [] : [-(ic(_184863))], (5429 ^ _35246) ^ [] : [-(ic(_184861))], (5431 ^ _35246) ^ [_185169] : [icext(_184863, _185169), -(icext(_184861, _185169))], (5437 ^ _35246) ^ [_185341] : [icext(_184861, _185341), -(icext(_184863, _185341))]]], (5443 ^ _35246) ^ [_185524, _185526] : [-(iext(uri_owl_equivalentClass, _185526, _185524)), ic(_185526), ic(_185524), 5455 ^ _35246 : [(5456 ^ _35246) ^ [] : [-(icext(_185526, 5452 ^ [_185524, _185526]))], (5458 ^ _35246) ^ [] : [icext(_185524, 5452 ^ [_185524, _185526])]], 5459 ^ _35246 : [(5460 ^ _35246) ^ [] : [-(icext(_185524, 5452 ^ [_185524, _185526]))], (5462 ^ _35246) ^ [] : [icext(_185526, 5452 ^ [_185524, _185526])]]], (5466 ^ _35246) ^ [_186261, _186263] : [iext(uri_owl_equivalentProperty, _186263, _186261), 5469 ^ _35246 : [(5470 ^ _35246) ^ [] : [-(ip(_186263))], (5472 ^ _35246) ^ [] : [-(ip(_186261))], (5474 ^ _35246) ^ [_186590, _186592] : [iext(_186263, _186592, _186590), -(iext(_186261, _186592, _186590))], (5480 ^ _35246) ^ [_186772, _186774] : [iext(_186261, _186774, _186772), -(iext(_186263, _186774, _186772))]]], (5486 ^ _35246) ^ [_186965, _186967] : [-(iext(uri_owl_equivalentProperty, _186967, _186965)), ip(_186967), ip(_186965), 5499 ^ _35246 : [(5500 ^ _35246) ^ [] : [-(iext(_186967, 5495 ^ [_186965, _186967], 5496 ^ [_186965, _186967]))], (5502 ^ _35246) ^ [] : [iext(_186965, 5495 ^ [_186965, _186967], 5496 ^ [_186965, _186967])]], 5503 ^ _35246 : [(5504 ^ _35246) ^ [] : [-(iext(_186965, 5495 ^ [_186965, _186967], 5496 ^ [_186965, _186967]))], (5506 ^ _35246) ^ [] : [iext(_186967, 5495 ^ [_186965, _186967], 5496 ^ [_186965, _186967])]]], (5510 ^ _35246) ^ [_187815, _187817] : [iext(uri_owl_propertyDisjointWith, _187817, _187815), 5513 ^ _35246 : [(5514 ^ _35246) ^ [] : [-(ip(_187817))], (5516 ^ _35246) ^ [] : [-(ip(_187815))], (5518 ^ _35246) ^ [_188117, _188119] : [iext(_187817, _188119, _188117), iext(_187815, _188119, _188117)]]], (5524 ^ _35246) ^ [_188307, _188309] : [-(iext(uri_owl_propertyDisjointWith, _188309, _188307)), ip(_188309), ip(_188307), 5535 ^ _35246 : [(5536 ^ _35246) ^ [] : [-(iext(_188309, 5533 ^ [_188307, _188309], 5534 ^ [_188307, _188309]))], (5538 ^ _35246) ^ [] : [-(iext(_188307, 5533 ^ [_188307, _188309], 5534 ^ [_188307, _188309]))]]], (5542 ^ _35246) ^ [_188973, _188975] : [iext(uri_owl_sameAs, _188975, _188973), -(_188975 = _188973)], (5548 ^ _35246) ^ [_189137, _189139] : [_189139 = _189137, -(iext(uri_owl_sameAs, _189139, _189137))], (5555 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35246) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35246) ^ [_189503, _189505] : [5567 ^ _35246 : [(5568 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_189503, _189505]))], (5570 ^ _35246) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_189503, _189505], _189505))]], iext(uri_rdf_first, _189505, _189503), iext(uri_rdf_rest, _189505, uri_rdf_nil)], (5572 ^ _35246) ^ [_189982, _189984, _189986, _189988] : [5592 ^ _35246 : [(5593 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_189982, _189984, _189986, _189988]))], (5595 ^ _35246) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_189982, _189984, _189986, _189988], _189988))]], iext(uri_rdf_first, _189988, _189986), iext(uri_rdf_rest, _189988, _189984), iext(uri_rdf_first, _189984, _189982), iext(uri_rdf_rest, _189984, uri_rdf_nil), -(_189986 = _189982)], (5597 ^ _35246) ^ [_190827, _190829, _190831, _190833, _190835, _190837] : [5633 ^ _35246 : [(5634 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_190827, _190829, _190831, _190833, _190835, _190837]))], (5636 ^ _35246) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_190827, _190829, _190831, _190833, _190835, _190837], _190837))]], iext(uri_rdf_first, _190837, _190835), iext(uri_rdf_rest, _190837, _190833), iext(uri_rdf_first, _190833, _190831), iext(uri_rdf_rest, _190833, _190829), iext(uri_rdf_first, _190829, _190827), iext(uri_rdf_rest, _190829, uri_rdf_nil), -(_190835 = _190831), -(_190835 = _190827), -(_190831 = _190827)], (5638 ^ _35246) ^ [] : [-(tautology), tautology], (5644 ^ _35246) ^ [] : [-(tautology), tautology], (5650 ^ _35246) ^ [_192390, _192392, _192394, _192396, _192398] : [_192394 = _192390, iext(uri_rdf_first, _192396, _192394), iext(uri_rdf_rest, _192396, _192392), iext(uri_rdf_first, _192392, _192390), iext(uri_rdf_rest, _192392, uri_rdf_nil), icext(uri_owl_AllDifferent, _192398), iext(uri_owl_distinctMembers, _192398, _192396)], (5676 ^ _35246) ^ [_193204, _193206, _193208, _193210, _193212, _193214, _193216] : [5707 ^ _35246 : [(5708 ^ _35246) ^ [] : [_193212 = _193208], (5710 ^ _35246) ^ [] : [_193212 = _193204], (5712 ^ _35246) ^ [] : [_193208 = _193204]], iext(uri_rdf_first, _193214, _193212), iext(uri_rdf_rest, _193214, _193210), iext(uri_rdf_first, _193210, _193208), iext(uri_rdf_rest, _193210, _193206), iext(uri_rdf_first, _193206, _193204), iext(uri_rdf_rest, _193206, uri_rdf_nil), icext(uri_owl_AllDifferent, _193216), iext(uri_owl_distinctMembers, _193216, _193214)], (5715 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35246) ^ [_194545, _194547] : [5727 ^ _35246 : [(5728 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_194545, _194547]))], (5730 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_194545, _194547], _194547))]], iext(uri_rdf_first, _194547, _194545), iext(uri_rdf_rest, _194547, uri_rdf_nil)], (5732 ^ _35246) ^ [_195024, _195026, _195028, _195030] : [5752 ^ _35246 : [(5753 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_195024, _195026, _195028, _195030]))], (5755 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_195024, _195026, _195028, _195030], _195030))]], iext(uri_rdf_first, _195030, _195028), iext(uri_rdf_rest, _195030, _195026), iext(uri_rdf_first, _195026, _195024), iext(uri_rdf_rest, _195026, uri_rdf_nil), -(_195028 = _195024)], (5757 ^ _35246) ^ [_195869, _195871, _195873, _195875, _195877, _195879] : [5793 ^ _35246 : [(5794 ^ _35246) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_195869, _195871, _195873, _195875, _195877, _195879]))], (5796 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_195869, _195871, _195873, _195875, _195877, _195879], _195879))]], iext(uri_rdf_first, _195879, _195877), iext(uri_rdf_rest, _195879, _195875), iext(uri_rdf_first, _195875, _195873), iext(uri_rdf_rest, _195875, _195871), iext(uri_rdf_first, _195871, _195869), iext(uri_rdf_rest, _195871, uri_rdf_nil), -(_195877 = _195873), -(_195877 = _195869), -(_195873 = _195869)], (5798 ^ _35246) ^ [] : [-(tautology), tautology], (5804 ^ _35246) ^ [] : [-(tautology), tautology], (5810 ^ _35246) ^ [_197432, _197434, _197436, _197438, _197440] : [_197436 = _197432, iext(uri_rdf_first, _197438, _197436), iext(uri_rdf_rest, _197438, _197434), iext(uri_rdf_first, _197434, _197432), iext(uri_rdf_rest, _197434, uri_rdf_nil), icext(uri_owl_AllDifferent, _197440), iext(uri_owl_members, _197440, _197438)], (5836 ^ _35246) ^ [_198246, _198248, _198250, _198252, _198254, _198256, _198258] : [5867 ^ _35246 : [(5868 ^ _35246) ^ [] : [_198254 = _198250], (5870 ^ _35246) ^ [] : [_198254 = _198246], (5872 ^ _35246) ^ [] : [_198250 = _198246]], iext(uri_rdf_first, _198256, _198254), iext(uri_rdf_rest, _198256, _198252), iext(uri_rdf_first, _198252, _198250), iext(uri_rdf_rest, _198252, _198248), iext(uri_rdf_first, _198248, _198246), iext(uri_rdf_rest, _198248, uri_rdf_nil), icext(uri_owl_AllDifferent, _198258), iext(uri_owl_members, _198258, _198256)], (5875 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35246) ^ [_199587, _199589] : [5887 ^ _35246 : [(5888 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_199587, _199589]))], (5890 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_199587, _199589], _199589))]], iext(uri_rdf_first, _199589, _199587), iext(uri_rdf_rest, _199589, uri_rdf_nil)], (5892 ^ _35246) ^ [_200066, _200068, _200070, _200072] : [5915 ^ _35246 : [(5916 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_200066, _200068, _200070, _200072]))], (5918 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_200066, _200068, _200070, _200072], _200072))]], iext(uri_rdf_first, _200072, _200070), iext(uri_rdf_rest, _200072, _200068), iext(uri_rdf_first, _200068, _200066), iext(uri_rdf_rest, _200068, uri_rdf_nil), 5910 ^ _35246 : [(5911 ^ _35246) ^ [] : [-(icext(_200070, 5909 ^ [_200066, _200068, _200070, _200072]))], (5913 ^ _35246) ^ [] : [-(icext(_200066, 5909 ^ [_200066, _200068, _200070, _200072]))]]], (5920 ^ _35246) ^ [_201078, _201080, _201082, _201084, _201086, _201088] : [5965 ^ _35246 : [(5966 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))], (5968 ^ _35246) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_201078, _201080, _201082, _201084, _201086, _201088], _201088))]], iext(uri_rdf_first, _201088, _201086), iext(uri_rdf_rest, _201088, _201084), iext(uri_rdf_first, _201084, _201082), iext(uri_rdf_rest, _201084, _201080), iext(uri_rdf_first, _201080, _201078), iext(uri_rdf_rest, _201080, uri_rdf_nil), 5948 ^ _35246 : [(5949 ^ _35246) ^ [] : [-(icext(_201086, 5947 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))], (5951 ^ _35246) ^ [] : [-(icext(_201082, 5947 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))]], 5955 ^ _35246 : [(5956 ^ _35246) ^ [] : [-(icext(_201086, 5954 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))], (5958 ^ _35246) ^ [] : [-(icext(_201078, 5954 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))]], 5960 ^ _35246 : [(5961 ^ _35246) ^ [] : [-(icext(_201082, 5959 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))], (5963 ^ _35246) ^ [] : [-(icext(_201078, 5959 ^ [_201078, _201080, _201082, _201084, _201086, _201088]))]]], (5970 ^ _35246) ^ [] : [-(tautology), tautology], (5976 ^ _35246) ^ [] : [-(tautology), tautology], (5982 ^ _35246) ^ [_203202, _203204, _203206, _203208, _203210] : [6005 ^ _35246 : [(6006 ^ _35246) ^ [_203868] : [icext(_203206, _203868), icext(_203202, _203868)]], iext(uri_rdf_first, _203208, _203206), iext(uri_rdf_rest, _203208, _203204), iext(uri_rdf_first, _203204, _203202), iext(uri_rdf_rest, _203204, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _203210), iext(uri_owl_members, _203210, _203208)], (6012 ^ _35246) ^ [_204186, _204188, _204190, _204192, _204194, _204196, _204198] : [iext(uri_rdf_first, _204196, _204194), iext(uri_rdf_rest, _204196, _204192), iext(uri_rdf_first, _204192, _204190), iext(uri_rdf_rest, _204192, _204188), iext(uri_rdf_first, _204188, _204186), iext(uri_rdf_rest, _204188, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _204198), iext(uri_owl_members, _204198, _204196), 6043 ^ _35246 : [(6044 ^ _35246) ^ [_205180] : [icext(_204194, _205180), icext(_204190, _205180)], (6050 ^ _35246) ^ [_205425] : [icext(_204194, _205425), icext(_204186, _205425)], (6056 ^ _35246) ^ [_205650] : [icext(_204190, _205650), icext(_204186, _205650)]]], (6063 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35246) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35246) ^ [_206084, _206086] : [6075 ^ _35246 : [(6076 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_206084, _206086]))], (6078 ^ _35246) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_206084, _206086], _206086))]], iext(uri_rdf_first, _206086, _206084), iext(uri_rdf_rest, _206086, uri_rdf_nil)], (6080 ^ _35246) ^ [_206563, _206565, _206567, _206569] : [6104 ^ _35246 : [(6105 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_206563, _206565, _206567, _206569]))], (6107 ^ _35246) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_206563, _206565, _206567, _206569], _206569))]], iext(uri_rdf_first, _206569, _206567), iext(uri_rdf_rest, _206569, _206565), iext(uri_rdf_first, _206565, _206563), iext(uri_rdf_rest, _206565, uri_rdf_nil), 6099 ^ _35246 : [(6100 ^ _35246) ^ [] : [-(iext(_206567, 6097 ^ [_206563, _206565, _206567, _206569], 6098 ^ [_206563, _206565, _206567, _206569]))], (6102 ^ _35246) ^ [] : [-(iext(_206563, 6097 ^ [_206563, _206565, _206567, _206569], 6098 ^ [_206563, _206565, _206567, _206569]))]]], (6109 ^ _35246) ^ [_207698, _207700, _207702, _207704, _207706, _207708] : [6157 ^ _35246 : [(6158 ^ _35246) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))], (6160 ^ _35246) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_207698, _207700, _207702, _207704, _207706, _207708], _207708))]], iext(uri_rdf_first, _207708, _207706), iext(uri_rdf_rest, _207708, _207704), iext(uri_rdf_first, _207704, _207702), iext(uri_rdf_rest, _207704, _207700), iext(uri_rdf_first, _207700, _207698), iext(uri_rdf_rest, _207700, uri_rdf_nil), 6138 ^ _35246 : [(6139 ^ _35246) ^ [] : [-(iext(_207706, 6136 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6137 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))], (6141 ^ _35246) ^ [] : [-(iext(_207702, 6136 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6137 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))]], 6146 ^ _35246 : [(6147 ^ _35246) ^ [] : [-(iext(_207706, 6144 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6145 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))], (6149 ^ _35246) ^ [] : [-(iext(_207698, 6144 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6145 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))]], 6152 ^ _35246 : [(6153 ^ _35246) ^ [] : [-(iext(_207702, 6150 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6151 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))], (6155 ^ _35246) ^ [] : [-(iext(_207698, 6150 ^ [_207698, _207700, _207702, _207704, _207706, _207708], 6151 ^ [_207698, _207700, _207702, _207704, _207706, _207708]))]]], (6162 ^ _35246) ^ [] : [-(tautology), tautology], (6168 ^ _35246) ^ [] : [-(tautology), tautology], (6174 ^ _35246) ^ [_210263, _210265, _210267, _210269, _210271] : [6197 ^ _35246 : [(6198 ^ _35246) ^ [_210950, _210952] : [iext(_210267, _210952, _210950), iext(_210263, _210952, _210950)]], iext(uri_rdf_first, _210269, _210267), iext(uri_rdf_rest, _210269, _210265), iext(uri_rdf_first, _210265, _210263), iext(uri_rdf_rest, _210265, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _210271), iext(uri_owl_members, _210271, _210269)], (6204 ^ _35246) ^ [_211278, _211280, _211282, _211284, _211286, _211288, _211290] : [iext(uri_rdf_first, _211288, _211286), iext(uri_rdf_rest, _211288, _211284), iext(uri_rdf_first, _211284, _211282), iext(uri_rdf_rest, _211284, _211280), iext(uri_rdf_first, _211280, _211278), iext(uri_rdf_rest, _211280, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _211290), iext(uri_owl_members, _211290, _211288), 6235 ^ _35246 : [(6236 ^ _35246) ^ [_212307, _212309] : [iext(_211286, _212309, _212307), iext(_211282, _212309, _212307)], (6242 ^ _35246) ^ [_212576, _212578] : [iext(_211286, _212578, _212576), iext(_211278, _212578, _212576)], (6248 ^ _35246) ^ [_212825, _212827] : [iext(_211282, _212827, _212825), iext(_211278, _212827, _212825)]]], (6254 ^ _35246) ^ [_213132] : [iext(uri_owl_propertyChainAxiom, _213132, uri_rdf_nil), 6257 ^ _35246 : [(6258 ^ _35246) ^ [] : [-(ip(_213132))], (6260 ^ _35246) ^ [_213315] : [-(iext(_213132, _213315, _213315))]]], (6262 ^ _35246) ^ [_213384] : [-(iext(uri_owl_propertyChainAxiom, _213384, uri_rdf_nil)), ip(_213384), iext(_213384, 6267 ^ [_213384], 6267 ^ [_213384])], (6273 ^ _35246) ^ [_213748, _213750, _213752] : [iext(uri_rdf_first, _213750, _213748), iext(uri_rdf_rest, _213750, uri_rdf_nil), 6280 ^ _35246 : [(6281 ^ _35246) ^ [] : [iext(uri_owl_propertyChainAxiom, _213752, _213750), 6284 ^ _35246 : [(6285 ^ _35246) ^ [] : [-(ip(_213752))], (6287 ^ _35246) ^ [] : [-(ip(_213748))], (6289 ^ _35246) ^ [_214271, _214273] : [iext(_213748, _214273, _214271), -(iext(_213752, _214273, _214271))]]], (6295 ^ _35246) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _213752, _213750)), ip(_213752), ip(_213748), 6306 ^ _35246 : [(6307 ^ _35246) ^ [] : [-(iext(_213748, 6304 ^ [_213748, _213750, _213752], 6305 ^ [_213748, _213750, _213752]))], (6309 ^ _35246) ^ [] : [iext(_213752, 6304 ^ [_213748, _213750, _213752], 6305 ^ [_213748, _213750, _213752])]]]]], (6313 ^ _35246) ^ [_215123, _215125, _215127, _215129, _215131] : [iext(uri_rdf_first, _215129, _215127), iext(uri_rdf_rest, _215129, _215125), iext(uri_rdf_first, _215125, _215123), iext(uri_rdf_rest, _215125, uri_rdf_nil), 6328 ^ _35246 : [(6329 ^ _35246) ^ [] : [iext(uri_owl_propertyChainAxiom, _215131, _215129), 6332 ^ _35246 : [(6333 ^ _35246) ^ [] : [-(ip(_215131))], (6335 ^ _35246) ^ [] : [-(ip(_215127))], (6337 ^ _35246) ^ [] : [-(ip(_215123))], (6339 ^ _35246) ^ [_215986, _215988, _215990] : [-(iext(_215131, _215990, _215986)), iext(_215127, _215990, _215988), iext(_215123, _215988, _215986)]]], (6349 ^ _35246) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _215131, _215129)), ip(_215131), ip(_215127), ip(_215123), 6365 ^ _35246 : [(6366 ^ _35246) ^ [] : [-(iext(_215127, 6362 ^ [_215123, _215125, _215127, _215129, _215131], 6363 ^ [_215123, _215125, _215127, _215129, _215131]))], (6368 ^ _35246) ^ [] : [-(iext(_215123, 6363 ^ [_215123, _215125, _215127, _215129, _215131], 6364 ^ [_215123, _215125, _215127, _215129, _215131]))], (6370 ^ _35246) ^ [] : [iext(_215131, 6362 ^ [_215123, _215125, _215127, _215129, _215131], 6364 ^ [_215123, _215125, _215127, _215129, _215131])]]]]], (6374 ^ _35246) ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438] : [iext(uri_rdf_first, _217436, _217434), iext(uri_rdf_rest, _217436, _217432), iext(uri_rdf_first, _217432, _217430), iext(uri_rdf_rest, _217432, _217428), iext(uri_rdf_first, _217428, _217426), iext(uri_rdf_rest, _217428, uri_rdf_nil), 6397 ^ _35246 : [(6398 ^ _35246) ^ [] : [iext(uri_owl_propertyChainAxiom, _217438, _217436), 6401 ^ _35246 : [(6402 ^ _35246) ^ [] : [-(ip(_217438))], (6404 ^ _35246) ^ [] : [-(ip(_217434))], (6406 ^ _35246) ^ [] : [-(ip(_217430))], (6408 ^ _35246) ^ [] : [-(ip(_217426))], (6410 ^ _35246) ^ [_218669, _218671, _218673, _218675] : [-(iext(_217438, _218675, _218669)), iext(_217434, _218675, _218673), iext(_217430, _218673, _218671), iext(_217426, _218671, _218669)]]], (6424 ^ _35246) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _217438, _217436)), ip(_217438), ip(_217434), ip(_217430), ip(_217426), 6445 ^ _35246 : [(6446 ^ _35246) ^ [] : [-(iext(_217434, 6441 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438], 6442 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438]))], (6448 ^ _35246) ^ [] : [-(iext(_217430, 6442 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438], 6443 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438]))], (6450 ^ _35246) ^ [] : [-(iext(_217426, 6443 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438], 6444 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438]))], (6452 ^ _35246) ^ [] : [iext(_217438, 6441 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438], 6444 ^ [_217426, _217428, _217430, _217432, _217434, _217436, _217438])]]]]], (6456 ^ _35246) ^ [_220793, _220795] : [iext(uri_owl_inverseOf, _220795, _220793), 6459 ^ _35246 : [(6460 ^ _35246) ^ [] : [-(ip(_220795))], (6462 ^ _35246) ^ [] : [-(ip(_220793))], (6464 ^ _35246) ^ [_221122, _221124] : [iext(_220795, _221124, _221122), -(iext(_220793, _221122, _221124))], (6470 ^ _35246) ^ [_221304, _221306] : [iext(_220793, _221304, _221306), -(iext(_220795, _221306, _221304))]]], (6476 ^ _35246) ^ [_221497, _221499] : [-(iext(uri_owl_inverseOf, _221499, _221497)), ip(_221499), ip(_221497), 6489 ^ _35246 : [(6490 ^ _35246) ^ [] : [-(iext(_221499, 6485 ^ [_221497, _221499], 6486 ^ [_221497, _221499]))], (6492 ^ _35246) ^ [] : [iext(_221497, 6486 ^ [_221497, _221499], 6485 ^ [_221497, _221499])]], 6493 ^ _35246 : [(6494 ^ _35246) ^ [] : [-(iext(_221497, 6486 ^ [_221497, _221499], 6485 ^ [_221497, _221499]))], (6496 ^ _35246) ^ [] : [iext(_221499, 6485 ^ [_221497, _221499], 6486 ^ [_221497, _221499])]]], (6500 ^ _35246) ^ [_222333] : [icext(uri_owl_AsymmetricProperty, _222333), 6503 ^ _35246 : [(6504 ^ _35246) ^ [] : [-(ip(_222333))], (6506 ^ _35246) ^ [_222557, _222559] : [iext(_222333, _222559, _222557), iext(_222333, _222557, _222559)]]], (6512 ^ _35246) ^ [_222739] : [-(icext(uri_owl_AsymmetricProperty, _222739)), ip(_222739), 6519 ^ _35246 : [(6520 ^ _35246) ^ [] : [-(iext(_222739, 6517 ^ [_222739], 6518 ^ [_222739]))], (6522 ^ _35246) ^ [] : [-(iext(_222739, 6518 ^ [_222739], 6517 ^ [_222739]))]]], (6542 ^ _35246) ^ [_223801] : [-(icext(uri_owl_FunctionalProperty, _223801)), ip(_223801), 6550 ^ _35246 : [(6551 ^ _35246) ^ [] : [-(iext(_223801, 6547 ^ [_223801], 6548 ^ [_223801]))], (6553 ^ _35246) ^ [] : [-(iext(_223801, 6547 ^ [_223801], 6549 ^ [_223801]))], (6555 ^ _35246) ^ [] : [6548 ^ [_223801] = 6549 ^ [_223801]]]], (6526 ^ _35246) ^ [_223270] : [icext(uri_owl_FunctionalProperty, _223270), 6529 ^ _35246 : [(6530 ^ _35246) ^ [] : [-(ip(_223270))], (6532 ^ _35246) ^ [_223517, _223519, _223521] : [-(_223519 = _223517), iext(_223270, _223521, _223519), iext(_223270, _223521, _223517)]]], (6575 ^ _35246) ^ [_225042] : [-(icext(uri_owl_InverseFunctionalProperty, _225042)), ip(_225042), 6583 ^ _35246 : [(6584 ^ _35246) ^ [] : [-(iext(_225042, 6580 ^ [_225042], 6582 ^ [_225042]))], (6586 ^ _35246) ^ [] : [-(iext(_225042, 6581 ^ [_225042], 6582 ^ [_225042]))], (6588 ^ _35246) ^ [] : [6580 ^ [_225042] = 6581 ^ [_225042]]]], (6559 ^ _35246) ^ [_224511] : [icext(uri_owl_InverseFunctionalProperty, _224511), 6562 ^ _35246 : [(6563 ^ _35246) ^ [] : [-(ip(_224511))], (6565 ^ _35246) ^ [_224758, _224760, _224762] : [-(_224762 = _224760), iext(_224511, _224762, _224758), iext(_224511, _224760, _224758)]]], (6592 ^ _35246) ^ [_225752] : [icext(uri_owl_IrreflexiveReflexiveProperty, _225752), 6595 ^ _35246 : [(6596 ^ _35246) ^ [] : [-(ip(_225752))], (6598 ^ _35246) ^ [_225934] : [iext(_225752, _225934, _225934)]]], (6600 ^ _35246) ^ [_226003] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _226003)), ip(_226003), -(iext(_226003, 6605 ^ [_226003], 6605 ^ [_226003]))], (6611 ^ _35246) ^ [_226371] : [icext(uri_owl_ReflexiveProperty, _226371), 6614 ^ _35246 : [(6615 ^ _35246) ^ [] : [-(ip(_226371))], (6617 ^ _35246) ^ [_226552] : [-(iext(_226371, _226552, _226552))]]], (6619 ^ _35246) ^ [_226621] : [-(icext(uri_owl_ReflexiveProperty, _226621)), ip(_226621), iext(_226621, 6624 ^ [_226621], 6624 ^ [_226621])], (6630 ^ _35246) ^ [_226984] : [icext(uri_owl_SymmetricProperty, _226984), 6633 ^ _35246 : [(6634 ^ _35246) ^ [] : [-(ip(_226984))], (6636 ^ _35246) ^ [_227206, _227208] : [iext(_226984, _227208, _227206), -(iext(_226984, _227206, _227208))]]], (6642 ^ _35246) ^ [_227387] : [-(icext(uri_owl_SymmetricProperty, _227387)), ip(_227387), 6649 ^ _35246 : [(6650 ^ _35246) ^ [] : [-(iext(_227387, 6647 ^ [_227387], 6648 ^ [_227387]))], (6652 ^ _35246) ^ [] : [iext(_227387, 6648 ^ [_227387], 6647 ^ [_227387])]]], (6672 ^ _35246) ^ [_228445] : [-(icext(uri_owl_TransitiveProperty, _228445)), ip(_228445), 6680 ^ _35246 : [(6681 ^ _35246) ^ [] : [-(iext(_228445, 6677 ^ [_228445], 6678 ^ [_228445]))], (6683 ^ _35246) ^ [] : [-(iext(_228445, 6678 ^ [_228445], 6679 ^ [_228445]))], (6685 ^ _35246) ^ [] : [iext(_228445, 6677 ^ [_228445], 6679 ^ [_228445])]]], (6656 ^ _35246) ^ [_227911] : [icext(uri_owl_TransitiveProperty, _227911), 6659 ^ _35246 : [(6660 ^ _35246) ^ [] : [-(ip(_227911))], (6662 ^ _35246) ^ [_228159, _228161, _228163] : [-(iext(_227911, _228163, _228159)), iext(_227911, _228163, _228161), iext(_227911, _228161, _228159)]]], (6705 ^ _35246) ^ [_229658] : [-(iext(uri_owl_hasKey, _229658, uri_rdf_nil)), ic(_229658), 6712 ^ _35246 : [(6713 ^ _35246) ^ [] : [-(icext(_229658, 6710 ^ [_229658]))], (6715 ^ _35246) ^ [] : [-(icext(_229658, 6711 ^ [_229658]))], (6717 ^ _35246) ^ [] : [6710 ^ [_229658] = 6711 ^ [_229658]]]], (6689 ^ _35246) ^ [_229160] : [iext(uri_owl_hasKey, _229160, uri_rdf_nil), 6692 ^ _35246 : [(6693 ^ _35246) ^ [] : [-(ic(_229160))], (6695 ^ _35246) ^ [_229388, _229390] : [-(_229390 = _229388), icext(_229160, _229390), icext(_229160, _229388)]]], (6721 ^ _35246) ^ [_230261, _230263, _230265] : [iext(uri_rdf_first, _230263, _230261), iext(uri_rdf_rest, _230263, uri_rdf_nil), 6728 ^ _35246 : [(6755 ^ _35246) ^ [] : [-(iext(uri_owl_hasKey, _230265, _230263)), ic(_230265), ip(_230261), 6767 ^ _35246 : [(6768 ^ _35246) ^ [] : [-(icext(_230265, 6764 ^ [_230261, _230263, _230265]))], (6770 ^ _35246) ^ [] : [-(icext(_230265, 6765 ^ [_230261, _230263, _230265]))], (6772 ^ _35246) ^ [] : [-(iext(_230261, 6764 ^ [_230261, _230263, _230265], 6766 ^ [_230261, _230263, _230265]))], (6774 ^ _35246) ^ [] : [-(iext(_230261, 6765 ^ [_230261, _230263, _230265], 6766 ^ [_230261, _230263, _230265]))], (6776 ^ _35246) ^ [] : [6764 ^ [_230261, _230263, _230265] = 6765 ^ [_230261, _230263, _230265]]]], (6729 ^ _35246) ^ [] : [iext(uri_owl_hasKey, _230265, _230263), 6732 ^ _35246 : [(6733 ^ _35246) ^ [] : [-(ic(_230265))], (6735 ^ _35246) ^ [] : [-(ip(_230261))], (6737 ^ _35246) ^ [_230821, _230823, _230825] : [-(_230825 = _230823), icext(_230265, _230825), icext(_230265, _230823), iext(_230261, _230825, _230821), iext(_230261, _230823, _230821)]]]]], (6780 ^ _35246) ^ [_232430, _232432, _232434, _232436, _232438] : [iext(uri_rdf_first, _232436, _232434), iext(uri_rdf_rest, _232436, _232432), iext(uri_rdf_first, _232432, _232430), iext(uri_rdf_rest, _232432, uri_rdf_nil), 6795 ^ _35246 : [(6832 ^ _35246) ^ [] : [-(iext(uri_owl_hasKey, _232438, _232436)), ic(_232438), ip(_232434), ip(_232430), 6849 ^ _35246 : [(6850 ^ _35246) ^ [] : [-(icext(_232438, 6845 ^ [_232430, _232432, _232434, _232436, _232438]))], (6852 ^ _35246) ^ [] : [-(icext(_232438, 6846 ^ [_232430, _232432, _232434, _232436, _232438]))], (6854 ^ _35246) ^ [] : [-(iext(_232434, 6845 ^ [_232430, _232432, _232434, _232436, _232438], 6847 ^ [_232430, _232432, _232434, _232436, _232438]))], (6856 ^ _35246) ^ [] : [-(iext(_232434, 6846 ^ [_232430, _232432, _232434, _232436, _232438], 6847 ^ [_232430, _232432, _232434, _232436, _232438]))], (6858 ^ _35246) ^ [] : [-(iext(_232430, 6845 ^ [_232430, _232432, _232434, _232436, _232438], 6848 ^ [_232430, _232432, _232434, _232436, _232438]))], (6860 ^ _35246) ^ [] : [-(iext(_232430, 6846 ^ [_232430, _232432, _232434, _232436, _232438], 6848 ^ [_232430, _232432, _232434, _232436, _232438]))], (6862 ^ _35246) ^ [] : [6845 ^ [_232430, _232432, _232434, _232436, _232438] = 6846 ^ [_232430, _232432, _232434, _232436, _232438]]]], (6796 ^ _35246) ^ [] : [iext(uri_owl_hasKey, _232438, _232436), 6799 ^ _35246 : [(6800 ^ _35246) ^ [] : [-(ic(_232438))], (6802 ^ _35246) ^ [] : [-(ip(_232434))], (6804 ^ _35246) ^ [] : [-(ip(_232430))], (6806 ^ _35246) ^ [_233337, _233339, _233341, _233343] : [-(_233343 = _233341), icext(_232438, _233343), icext(_232438, _233341), iext(_232434, _233343, _233339), iext(_232434, _233341, _233339), iext(_232430, _233343, _233337), iext(_232430, _233341, _233337)]]]]], (6866 ^ _35246) ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047] : [iext(uri_rdf_first, _236045, _236043), iext(uri_rdf_rest, _236045, _236041), iext(uri_rdf_first, _236041, _236039), iext(uri_rdf_rest, _236041, _236037), iext(uri_rdf_first, _236037, _236035), iext(uri_rdf_rest, _236037, uri_rdf_nil), 6889 ^ _35246 : [(6936 ^ _35246) ^ [] : [-(iext(uri_owl_hasKey, _236047, _236045)), ic(_236047), ip(_236043), ip(_236039), ip(_236035), 6958 ^ _35246 : [(6959 ^ _35246) ^ [] : [-(icext(_236047, 6953 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6961 ^ _35246) ^ [] : [-(icext(_236047, 6954 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6963 ^ _35246) ^ [] : [-(iext(_236043, 6953 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6955 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6965 ^ _35246) ^ [] : [-(iext(_236043, 6954 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6955 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6967 ^ _35246) ^ [] : [-(iext(_236039, 6953 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6956 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6969 ^ _35246) ^ [] : [-(iext(_236039, 6954 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6956 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6971 ^ _35246) ^ [] : [-(iext(_236035, 6953 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6957 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6973 ^ _35246) ^ [] : [-(iext(_236035, 6954 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047], 6957 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]))], (6975 ^ _35246) ^ [] : [6953 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047] = 6954 ^ [_236035, _236037, _236039, _236041, _236043, _236045, _236047]]]], (6890 ^ _35246) ^ [] : [iext(uri_owl_hasKey, _236047, _236045), 6893 ^ _35246 : [(6894 ^ _35246) ^ [] : [-(ic(_236047))], (6896 ^ _35246) ^ [] : [-(ip(_236043))], (6898 ^ _35246) ^ [] : [-(ip(_236039))], (6900 ^ _35246) ^ [] : [-(ip(_236035))], (6902 ^ _35246) ^ [_237329, _237331, _237333, _237335, _237337] : [-(_237337 = _237335), icext(_236047, _237337), icext(_236047, _237335), iext(_236043, _237337, _237333), iext(_236043, _237335, _237333), iext(_236039, _237337, _237331), iext(_236039, _237335, _237331), iext(_236035, _237337, _237329), iext(_236035, _237335, _237329)]]]]], (6979 ^ _35246) ^ [_241399, _241401, _241403] : [6995 ^ _35246 : [(6996 ^ _35246) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_241399, _241401, _241403], _241401))], (6998 ^ _35246) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_241399, _241401, _241403], _241403))], (7000 ^ _35246) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_241399, _241401, _241403], _241399))]], ir(_241401), iodp(_241403), lv(_241399), -(iext(_241403, _241401, _241399))], (7002 ^ _35246) ^ [_242176, _242178, _242180, _242182] : [7013 ^ _35246 : [(7014 ^ _35246) ^ [] : [-(iodp(_242180))], (7016 ^ _35246) ^ [] : [iext(_242180, _242178, _242176)]], iext(uri_owl_sourceIndividual, _242182, _242178), iext(uri_owl_assertionProperty, _242182, _242180), iext(uri_owl_targetValue, _242182, _242176)], (7018 ^ _35246) ^ [_242692, _242694, _242696] : [7034 ^ _35246 : [(7035 ^ _35246) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_242692, _242694, _242696], _242694))], (7037 ^ _35246) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_242692, _242694, _242696], _242696))], (7039 ^ _35246) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_242692, _242694, _242696], _242692))]], ir(_242694), ip(_242696), ir(_242692), -(iext(_242696, _242694, _242692))], (7041 ^ _35246) ^ [_243469, _243471, _243473, _243475] : [iext(_243473, _243471, _243469), iext(uri_owl_sourceIndividual, _243475, _243471), iext(uri_owl_assertionProperty, _243475, _243473), iext(uri_owl_targetIndividual, _243475, _243469)], (7055 ^ _35246) ^ [_243880] : [icext(uri_xsd_anyURI, _243880), -(lv(_243880))], (7061 ^ _35246) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35246) ^ [_244121] : [icext(uri_xsd_base64Binary, _244121), -(lv(_244121))], (7069 ^ _35246) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35246) ^ [_244362] : [icext(uri_xsd_boolean, _244362), -(lv(_244362))], (7077 ^ _35246) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35246) ^ [_244603] : [icext(uri_xsd_byte, _244603), -(lv(_244603))], (7085 ^ _35246) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35246) ^ [_244844] : [icext(uri_xsd_dateTime, _244844), -(lv(_244844))], (7093 ^ _35246) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35246) ^ [_245085] : [icext(uri_xsd_dateTimeStamp, _245085), -(lv(_245085))], (7101 ^ _35246) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35246) ^ [_245326] : [icext(uri_xsd_decimal, _245326), -(lv(_245326))], (7109 ^ _35246) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35246) ^ [_245567] : [icext(uri_xsd_double, _245567), -(lv(_245567))], (7117 ^ _35246) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35246) ^ [_245808] : [icext(uri_xsd_float, _245808), -(lv(_245808))], (7125 ^ _35246) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35246) ^ [_246049] : [icext(uri_xsd_hexBinary, _246049), -(lv(_246049))], (7133 ^ _35246) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35246) ^ [_246290] : [icext(uri_xsd_int, _246290), -(lv(_246290))], (7141 ^ _35246) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35246) ^ [_246531] : [icext(uri_xsd_integer, _246531), -(lv(_246531))], (7149 ^ _35246) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35246) ^ [_246772] : [icext(uri_xsd_language, _246772), -(lv(_246772))], (7157 ^ _35246) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35246) ^ [_247013] : [icext(uri_xsd_long, _247013), -(lv(_247013))], (7165 ^ _35246) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35246) ^ [_247254] : [icext(uri_xsd_Name, _247254), -(lv(_247254))], (7173 ^ _35246) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35246) ^ [_247495] : [icext(uri_xsd_NCName, _247495), -(lv(_247495))], (7181 ^ _35246) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35246) ^ [_247736] : [icext(uri_xsd_negativeInteger, _247736), -(lv(_247736))], (7189 ^ _35246) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35246) ^ [_247977] : [icext(uri_xsd_NMTOKEN, _247977), -(lv(_247977))], (7197 ^ _35246) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35246) ^ [_248218] : [icext(uri_xsd_nonNegativeInteger, _248218), -(lv(_248218))], (7205 ^ _35246) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35246) ^ [_248459] : [icext(uri_xsd_nonPositiveInteger, _248459), -(lv(_248459))], (7213 ^ _35246) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35246) ^ [_248700] : [icext(uri_xsd_normalizedString, _248700), -(lv(_248700))], (7221 ^ _35246) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35246) ^ [_248941] : [icext(uri_rdf_PlainLiteral, _248941), -(lv(_248941))], (7229 ^ _35246) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35246) ^ [_249182] : [icext(uri_xsd_positiveInteger, _249182), -(lv(_249182))], (7237 ^ _35246) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35246) ^ [_249423] : [icext(uri_owl_rational, _249423), -(lv(_249423))], (7245 ^ _35246) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35246) ^ [_249664] : [icext(uri_owl_real, _249664), -(lv(_249664))], (7253 ^ _35246) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35246) ^ [_249905] : [icext(uri_xsd_short, _249905), -(lv(_249905))], (7261 ^ _35246) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35246) ^ [_250146] : [icext(uri_xsd_string, _250146), -(lv(_250146))], (7269 ^ _35246) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35246) ^ [_250387] : [icext(uri_xsd_token, _250387), -(lv(_250387))], (7277 ^ _35246) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35246) ^ [_250628] : [icext(uri_xsd_unsignedByte, _250628), -(lv(_250628))], (7285 ^ _35246) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35246) ^ [_250869] : [icext(uri_xsd_unsignedInt, _250869), -(lv(_250869))], (7293 ^ _35246) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35246) ^ [_251110] : [icext(uri_xsd_unsignedLong, _251110), -(lv(_251110))], (7301 ^ _35246) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35246) ^ [_251351] : [icext(uri_xsd_unsignedShort, _251351), -(lv(_251351))], (7309 ^ _35246) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35246) ^ [_251592] : [icext(uri_rdf_XMLLiteral, _251592), -(lv(_251592))], (7317 ^ _35246) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35246) ^ [_251833] : [icext(uri_xsd_anyURI, _251833), icext(uri_xsd_base64Binary, _251833)], (7325 ^ _35246) ^ [_252022] : [icext(uri_xsd_anyURI, _252022), icext(uri_xsd_boolean, _252022)], (7331 ^ _35246) ^ [_252211] : [icext(uri_xsd_anyURI, _252211), icext(uri_xsd_dateTime, _252211)], (7337 ^ _35246) ^ [_252400] : [icext(uri_xsd_anyURI, _252400), icext(uri_xsd_double, _252400)], (7343 ^ _35246) ^ [_252589] : [icext(uri_xsd_anyURI, _252589), icext(uri_xsd_float, _252589)], (7349 ^ _35246) ^ [_252778] : [icext(uri_xsd_anyURI, _252778), icext(uri_xsd_hexBinary, _252778)], (7355 ^ _35246) ^ [_252967] : [icext(uri_xsd_anyURI, _252967), icext(uri_rdf_PlainLiteral, _252967)], (7361 ^ _35246) ^ [_253156] : [icext(uri_xsd_anyURI, _253156), icext(uri_owl_real, _253156)], (7367 ^ _35246) ^ [_253345] : [icext(uri_xsd_anyURI, _253345), icext(uri_rdf_XMLLiteral, _253345)], (7373 ^ _35246) ^ [_253534] : [icext(uri_xsd_base64Binary, _253534), icext(uri_xsd_boolean, _253534)], (7379 ^ _35246) ^ [_253723] : [icext(uri_xsd_base64Binary, _253723), icext(uri_xsd_dateTime, _253723)], (7385 ^ _35246) ^ [_253912] : [icext(uri_xsd_base64Binary, _253912), icext(uri_xsd_double, _253912)], (7391 ^ _35246) ^ [_254101] : [icext(uri_xsd_base64Binary, _254101), icext(uri_xsd_float, _254101)], (7397 ^ _35246) ^ [_254290] : [icext(uri_xsd_base64Binary, _254290), icext(uri_xsd_hexBinary, _254290)], (7403 ^ _35246) ^ [_254479] : [icext(uri_xsd_base64Binary, _254479), icext(uri_rdf_PlainLiteral, _254479)], (7409 ^ _35246) ^ [_254668] : [icext(uri_xsd_base64Binary, _254668), icext(uri_owl_real, _254668)], (7415 ^ _35246) ^ [_254857] : [icext(uri_xsd_base64Binary, _254857), icext(uri_rdf_XMLLiteral, _254857)], (7421 ^ _35246) ^ [_255046] : [icext(uri_xsd_boolean, _255046), icext(uri_xsd_dateTime, _255046)], (7427 ^ _35246) ^ [_255235] : [icext(uri_xsd_boolean, _255235), icext(uri_xsd_double, _255235)], (7433 ^ _35246) ^ [_255424] : [icext(uri_xsd_boolean, _255424), icext(uri_xsd_float, _255424)], (7439 ^ _35246) ^ [_255613] : [icext(uri_xsd_boolean, _255613), icext(uri_xsd_hexBinary, _255613)], (7445 ^ _35246) ^ [_255802] : [icext(uri_xsd_boolean, _255802), icext(uri_rdf_PlainLiteral, _255802)], (7451 ^ _35246) ^ [_255991] : [icext(uri_xsd_boolean, _255991), icext(uri_owl_real, _255991)], (7457 ^ _35246) ^ [_256180] : [icext(uri_xsd_boolean, _256180), icext(uri_rdf_XMLLiteral, _256180)], (7463 ^ _35246) ^ [_256369] : [icext(uri_xsd_dateTime, _256369), icext(uri_xsd_double, _256369)], (7469 ^ _35246) ^ [_256558] : [icext(uri_xsd_dateTime, _256558), icext(uri_xsd_float, _256558)], (7475 ^ _35246) ^ [_256747] : [icext(uri_xsd_dateTime, _256747), icext(uri_xsd_hexBinary, _256747)], (7481 ^ _35246) ^ [_256936] : [icext(uri_xsd_dateTime, _256936), icext(uri_rdf_PlainLiteral, _256936)], (7487 ^ _35246) ^ [_257125] : [icext(uri_xsd_dateTime, _257125), icext(uri_owl_real, _257125)], (7493 ^ _35246) ^ [_257314] : [icext(uri_xsd_dateTime, _257314), icext(uri_rdf_XMLLiteral, _257314)], (7499 ^ _35246) ^ [_257503] : [icext(uri_xsd_double, _257503), icext(uri_xsd_float, _257503)], (7505 ^ _35246) ^ [_257692] : [icext(uri_xsd_double, _257692), icext(uri_xsd_hexBinary, _257692)], (7511 ^ _35246) ^ [_257881] : [icext(uri_xsd_double, _257881), icext(uri_rdf_PlainLiteral, _257881)], (7517 ^ _35246) ^ [_258070] : [icext(uri_xsd_double, _258070), icext(uri_owl_real, _258070)], (7523 ^ _35246) ^ [_258259] : [icext(uri_xsd_double, _258259), icext(uri_rdf_XMLLiteral, _258259)], (7529 ^ _35246) ^ [_258448] : [icext(uri_xsd_float, _258448), icext(uri_xsd_hexBinary, _258448)], (7535 ^ _35246) ^ [_258637] : [icext(uri_xsd_float, _258637), icext(uri_rdf_PlainLiteral, _258637)], (7541 ^ _35246) ^ [_258826] : [icext(uri_xsd_float, _258826), icext(uri_owl_real, _258826)], (7547 ^ _35246) ^ [_259015] : [icext(uri_xsd_float, _259015), icext(uri_rdf_XMLLiteral, _259015)], (7553 ^ _35246) ^ [_259204] : [icext(uri_xsd_hexBinary, _259204), icext(uri_rdf_PlainLiteral, _259204)], (7559 ^ _35246) ^ [_259393] : [icext(uri_xsd_hexBinary, _259393), icext(uri_owl_real, _259393)], (7565 ^ _35246) ^ [_259582] : [icext(uri_xsd_hexBinary, _259582), icext(uri_rdf_XMLLiteral, _259582)], (7571 ^ _35246) ^ [_259771] : [icext(uri_rdf_PlainLiteral, _259771), icext(uri_owl_real, _259771)], (7577 ^ _35246) ^ [_259960] : [icext(uri_rdf_PlainLiteral, _259960), icext(uri_rdf_XMLLiteral, _259960)], (7583 ^ _35246) ^ [_260149] : [icext(uri_owl_real, _260149), icext(uri_rdf_XMLLiteral, _260149)], (7589 ^ _35246) ^ [_260338] : [icext(uri_xsd_byte, _260338), -(icext(uri_xsd_short, _260338))], (7595 ^ _35246) ^ [_260528] : [icext(uri_xsd_dateTimeStamp, _260528), -(icext(uri_xsd_dateTime, _260528))], (7601 ^ _35246) ^ [_260718] : [icext(uri_xsd_decimal, _260718), -(icext(uri_owl_rational, _260718))], (7607 ^ _35246) ^ [_260908] : [icext(uri_xsd_int, _260908), -(icext(uri_xsd_long, _260908))], (7613 ^ _35246) ^ [_261098] : [icext(uri_xsd_integer, _261098), -(icext(uri_xsd_decimal, _261098))], (7619 ^ _35246) ^ [_261288] : [icext(uri_xsd_language, _261288), -(icext(uri_xsd_token, _261288))], (7625 ^ _35246) ^ [_261478] : [icext(uri_xsd_long, _261478), -(icext(uri_xsd_integer, _261478))], (7631 ^ _35246) ^ [_261668] : [icext(uri_xsd_Name, _261668), -(icext(uri_xsd_token, _261668))], (7637 ^ _35246) ^ [_261858] : [icext(uri_xsd_NCName, _261858), -(icext(uri_xsd_Name, _261858))], (7643 ^ _35246) ^ [_262048] : [icext(uri_xsd_negativeInteger, _262048), -(icext(uri_xsd_nonPositiveInteger, _262048))], (7649 ^ _35246) ^ [_262238] : [icext(uri_xsd_NMTOKEN, _262238), -(icext(uri_xsd_token, _262238))], (7655 ^ _35246) ^ [_262428] : [icext(uri_xsd_nonNegativeInteger, _262428), -(icext(uri_xsd_integer, _262428))], (7661 ^ _35246) ^ [_262618] : [icext(uri_xsd_nonPositiveInteger, _262618), -(icext(uri_xsd_integer, _262618))], (7667 ^ _35246) ^ [_262808] : [icext(uri_xsd_normalizedString, _262808), -(icext(uri_xsd_string, _262808))], (7673 ^ _35246) ^ [_262998] : [icext(uri_xsd_positiveInteger, _262998), -(icext(uri_xsd_nonNegativeInteger, _262998))], (7679 ^ _35246) ^ [_263188] : [icext(uri_owl_rational, _263188), -(icext(uri_owl_real, _263188))], (7685 ^ _35246) ^ [_263378] : [icext(uri_xsd_short, _263378), -(icext(uri_xsd_int, _263378))], (7691 ^ _35246) ^ [_263568] : [icext(uri_xsd_string, _263568), -(icext(uri_rdf_PlainLiteral, _263568))], (7697 ^ _35246) ^ [_263758] : [icext(uri_xsd_token, _263758), -(icext(uri_xsd_normalizedString, _263758))], (7703 ^ _35246) ^ [_263948] : [icext(uri_xsd_unsignedByte, _263948), -(icext(uri_xsd_unsignedShort, _263948))], (7709 ^ _35246) ^ [_264138] : [icext(uri_xsd_unsignedInt, _264138), -(icext(uri_xsd_unsignedLong, _264138))], (7715 ^ _35246) ^ [_264328] : [icext(uri_xsd_unsignedLong, _264328), -(icext(uri_xsd_nonNegativeInteger, _264328))], (7721 ^ _35246) ^ [_264518] : [icext(uri_xsd_unsignedShort, _264518), -(icext(uri_xsd_unsignedInt, _264518))], (7727 ^ _35246) ^ [_264722, _264724] : [iext(uri_rdf_langRange, _264724, _264722), 7730 ^ _35246 : [(7731 ^ _35246) ^ [] : [-(ir(_264724))], (7733 ^ _35246) ^ [] : [-(lv(_264722))]]], (7735 ^ _35246) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35246) ^ [_265058, _265060] : [iext(uri_xsd_length, _265060, _265058), 7740 ^ _35246 : [(7741 ^ _35246) ^ [] : [-(ir(_265060))], (7743 ^ _35246) ^ [] : [-(lv(_265058))]]], (7745 ^ _35246) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35246) ^ [_265394, _265396] : [iext(uri_xsd_maxExclusive, _265396, _265394), 7750 ^ _35246 : [(7751 ^ _35246) ^ [] : [-(ir(_265396))], (7753 ^ _35246) ^ [] : [-(lv(_265394))]]], (7755 ^ _35246) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35246) ^ [_265730, _265732] : [iext(uri_xsd_maxInclusive, _265732, _265730), 7760 ^ _35246 : [(7761 ^ _35246) ^ [] : [-(ir(_265732))], (7763 ^ _35246) ^ [] : [-(lv(_265730))]]], (7765 ^ _35246) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35246) ^ [_266066, _266068] : [iext(uri_xsd_maxLength, _266068, _266066), 7770 ^ _35246 : [(7771 ^ _35246) ^ [] : [-(ir(_266068))], (7773 ^ _35246) ^ [] : [-(lv(_266066))]]], (7775 ^ _35246) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35246) ^ [_266402, _266404] : [iext(uri_xsd_minExclusive, _266404, _266402), 7780 ^ _35246 : [(7781 ^ _35246) ^ [] : [-(ir(_266404))], (7783 ^ _35246) ^ [] : [-(lv(_266402))]]], (7785 ^ _35246) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35246) ^ [_266738, _266740] : [iext(uri_xsd_minInclusive, _266740, _266738), 7790 ^ _35246 : [(7791 ^ _35246) ^ [] : [-(ir(_266740))], (7793 ^ _35246) ^ [] : [-(lv(_266738))]]], (7795 ^ _35246) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35246) ^ [_267074, _267076] : [iext(uri_xsd_minLength, _267076, _267074), 7800 ^ _35246 : [(7801 ^ _35246) ^ [] : [-(ir(_267076))], (7803 ^ _35246) ^ [] : [-(lv(_267074))]]], (7805 ^ _35246) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35246) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35246) ^ [_267410, _267412] : [iext(uri_xsd_pattern, _267412, _267410), 7810 ^ _35246 : [(7811 ^ _35246) ^ [] : [-(ir(_267412))], (7813 ^ _35246) ^ [] : [-(lv(_267410))]]]], input).
% 16.05/15.91 ncf('1',plain,[iext(uri_owl_sameAs, uri_owl_sameAs, uri_owl_sameAs)],start(7817 ^ 0)).
% 16.05/15.91 ncf('1.1',plain,[-(iext(uri_owl_sameAs, uri_owl_sameAs, uri_owl_sameAs)), uri_owl_sameAs = uri_owl_sameAs],extension(5548 ^ 1,bind([[_189137, _189139], [uri_owl_sameAs, uri_owl_sameAs]]))).
% 16.05/15.91 ncf('1.1.1',plain,[-(uri_owl_sameAs = uri_owl_sameAs)],extension(2 ^ 2,bind([[_35276], [uri_owl_sameAs]]))).
% 16.05/15.91 %-----------------------------------------------------
% 16.05/15.91 End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------