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

% Computer : n009.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 12:08:27 EDT 2023

% Result   : Theorem 102.88s 99.90s
% Output   : Proof 102.88s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12  % Problem  : SWB007+1 : TPTP v8.1.2. Released v5.2.0.
% 0.04/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n009.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Thu May 18 20:57:18 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 102.88/99.90  
% 102.88/99.90  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 102.88/99.90  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 102.88/99.90  %-----------------------------------------------------
% 102.88/99.90  ncf(matrix, plain, [(7825 ^ _35724) ^ [] : [iext(uri_rdf_type, uri_ex_w, uri_ex_c2), iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c2), iext(uri_rdfs_range, uri_ex_p, uri_ex_c2)], (142 ^ _35724) ^ [_37592, _37594, _37596, _37598] : [-(literal_typed(_37598, _37594) = literal_typed(_37596, _37592)), _37598 = _37596, _37594 = _37592], (2 ^ _35724) ^ [_35754] : [-(_35754 = _35754)], (4 ^ _35724) ^ [_35777, _35779] : [_35779 = _35777, -(_35777 = _35779)], (10 ^ _35724) ^ [_35850, _35852, _35854] : [-(_35854 = _35850), _35854 = _35852, _35852 = _35850], (20 ^ _35724) ^ [_35987, _35989] : [-(ioap(_35987)), _35989 = _35987, ioap(_35989)], (30 ^ _35724) ^ [_36112, _36114] : [-(ix(_36112)), _36114 = _36112, ix(_36114)], (40 ^ _35724) ^ [_36237, _36239] : [-(ioxp(_36237)), _36239 = _36237, ioxp(_36239)], (50 ^ _35724) ^ [_36362, _36364] : [-(ic(_36362)), _36364 = _36362, ic(_36364)], (60 ^ _35724) ^ [_36487, _36489] : [-(ip(_36487)), _36489 = _36487, ip(_36489)], (70 ^ _35724) ^ [_36612, _36614] : [-(idc(_36612)), _36614 = _36612, idc(_36614)], (80 ^ _35724) ^ [_36737, _36739, _36741, _36743] : [-(icext(_36741, _36737)), icext(_36743, _36739), _36743 = _36741, _36739 = _36737], (94 ^ _35724) ^ [_36930, _36932] : [-(ir(_36930)), _36932 = _36930, ir(_36932)], (104 ^ _35724) ^ [_37055, _37057] : [-(lv(_37055)), _37057 = _37055, lv(_37057)], (114 ^ _35724) ^ [_37180, _37182] : [-(iodp(_37180)), _37182 = _37180, iodp(_37182)], (124 ^ _35724) ^ [_37301, _37303, _37305, _37307, _37309, _37311] : [-(iext(_37309, _37305, _37301)), iext(_37311, _37307, _37303), _37311 = _37309, _37307 = _37305, _37303 = _37301], (7817 ^ _35724) ^ [] : [-(iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2))], (7819 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_ex_w, uri_ex_c1))], (7821 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c1))], (7823 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_ex_p, uri_ex_c1))], (152 ^ _35724) ^ [_37746, _37748, _37750] : [iext(_37748, _37750, _37746), -(ip(_37748))], (158 ^ _35724) ^ [_37825] : [-(ir(_37825))], (160 ^ _35724) ^ [_37847] : [lv(_37847), -(ir(_37847))], (166 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35724) ^ [_38092] : [iext(uri_rdf_type, _38092, uri_rdf_Property), -(ip(_38092))], (190 ^ _35724) ^ [_38163] : [ip(_38163), -(iext(uri_rdf_type, _38163, uri_rdf_Property))], (196 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35724) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35724) ^ [_38453, _38455] : [iext(uri_rdf_type, _38455, _38453), -(icext(_38453, _38455))], (224 ^ _35724) ^ [_38528, _38530] : [icext(_38528, _38530), -(iext(uri_rdf_type, _38530, _38528))], (230 ^ _35724) ^ [_38609] : [ic(_38609), -(iext(uri_rdfs_subClassOf, _38609, uri_rdfs_Resource))], (236 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35724) ^ [_38792] : [icext(uri_rdfs_ContainerMembershipProperty, _38792), -(iext(uri_rdfs_subPropertyOf, _38792, uri_rdfs_member))], (254 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35724) ^ [_39139] : [icext(uri_rdfs_Datatype, _39139), -(iext(uri_rdfs_subClassOf, _39139, uri_rdfs_Literal))], (290 ^ _35724) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35724) ^ [_39252, _39254, _39256, _39258] : [-(icext(_39256, _39254)), iext(uri_rdfs_domain, _39258, _39256), iext(_39258, _39254, _39252)], (304 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35724) ^ [_39423] : [ic(_39423), -(icext(uri_rdfs_Class, _39423))], (312 ^ _35724) ^ [_39492] : [icext(uri_rdfs_Class, _39492), -(ic(_39492))], (318 ^ _35724) ^ [_39579] : [ir(_39579), -(icext(uri_rdfs_Resource, _39579))], (324 ^ _35724) ^ [_39648] : [icext(uri_rdfs_Resource, _39648), -(ir(_39648))], (330 ^ _35724) ^ [_39735] : [lv(_39735), -(icext(uri_rdfs_Literal, _39735))], (336 ^ _35724) ^ [_39804] : [icext(uri_rdfs_Literal, _39804), -(lv(_39804))], (342 ^ _35724) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35724) ^ [_39915, _39917, _39919, _39921] : [-(icext(_39919, _39915)), iext(uri_rdfs_range, _39921, _39919), iext(_39921, _39917, _39915)], (356 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35724) ^ [_40200, _40202] : [iext(uri_rdfs_subClassOf, _40202, _40200), 375 ^ _35724 : [(376 ^ _35724) ^ [] : [-(ic(_40202))], (378 ^ _35724) ^ [] : [-(ic(_40200))], (380 ^ _35724) ^ [_40315] : [icext(_40202, _40315), -(icext(_40200, _40315))]]], (386 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35724) ^ [_40420] : [ic(_40420), -(iext(uri_rdfs_subClassOf, _40420, _40420))], (394 ^ _35724) ^ [_40495, _40497, _40499] : [-(iext(uri_rdfs_subClassOf, _40499, _40495)), iext(uri_rdfs_subClassOf, _40499, _40497), iext(uri_rdfs_subClassOf, _40497, _40495)], (404 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35724) ^ [_40652, _40654] : [iext(uri_rdfs_subPropertyOf, _40654, _40652), 409 ^ _35724 : [(410 ^ _35724) ^ [] : [-(ip(_40654))], (412 ^ _35724) ^ [] : [-(ip(_40652))], (414 ^ _35724) ^ [_40774, _40776] : [iext(_40654, _40776, _40774), -(iext(_40652, _40776, _40774))]]], (420 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35724) ^ [_40885] : [ip(_40885), -(iext(uri_rdfs_subPropertyOf, _40885, _40885))], (428 ^ _35724) ^ [_40960, _40962, _40964] : [-(iext(uri_rdfs_subPropertyOf, _40964, _40960)), iext(uri_rdfs_subPropertyOf, _40964, _40962), iext(uri_rdfs_subPropertyOf, _40962, _40960)], (438 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35724) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35724) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35724) ^ [_41171] : [ic(_41171), 449 ^ _35724 : [(450 ^ _35724) ^ [_41229] : [icext(_41171, _41229), -(ir(_41229))]]], (456 ^ _35724) ^ [_41308] : [ic(_41308), -(ir(_41308))], (462 ^ _35724) ^ [_41391] : [ic(_41391), -(iext(uri_rdf_type, _41391, uri_rdfs_Class))], (468 ^ _35724) ^ [_41462] : [iext(uri_rdf_type, _41462, uri_rdfs_Class), -(ic(_41462))], (474 ^ _35724) ^ [_41539] : [idc(_41539), 477 ^ _35724 : [(478 ^ _35724) ^ [_41597] : [icext(_41539, _41597), -(lv(_41597))]]], (484 ^ _35724) ^ [_41676] : [idc(_41676), -(ic(_41676))], (490 ^ _35724) ^ [_41759] : [idc(_41759), -(iext(uri_rdf_type, _41759, uri_rdfs_Datatype))], (496 ^ _35724) ^ [_41830] : [iext(uri_rdf_type, _41830, uri_rdfs_Datatype), -(idc(_41830))], (502 ^ _35724) ^ [_41907] : [ioap(_41907), 505 ^ _35724 : [(506 ^ _35724) ^ [_41976, _41978] : [iext(_41907, _41978, _41976), 509 ^ _35724 : [(510 ^ _35724) ^ [] : [-(ir(_41978))], (512 ^ _35724) ^ [] : [-(ir(_41976))]]]]], (514 ^ _35724) ^ [_42083] : [ioap(_42083), -(ip(_42083))], (520 ^ _35724) ^ [_42166] : [ioap(_42166), -(iext(uri_rdf_type, _42166, uri_owl_AnnotationProperty))], (526 ^ _35724) ^ [_42237] : [iext(uri_rdf_type, _42237, uri_owl_AnnotationProperty), -(ioap(_42237))], (532 ^ _35724) ^ [_42314] : [iodp(_42314), 535 ^ _35724 : [(536 ^ _35724) ^ [_42383, _42385] : [iext(_42314, _42385, _42383), 539 ^ _35724 : [(540 ^ _35724) ^ [] : [-(ir(_42385))], (542 ^ _35724) ^ [] : [-(lv(_42383))]]]]], (544 ^ _35724) ^ [_42490] : [iodp(_42490), -(ip(_42490))], (550 ^ _35724) ^ [_42573] : [iodp(_42573), -(iext(uri_rdf_type, _42573, uri_owl_DatatypeProperty))], (556 ^ _35724) ^ [_42644] : [iext(uri_rdf_type, _42644, uri_owl_DatatypeProperty), -(iodp(_42644))], (562 ^ _35724) ^ [_42721] : [ioxp(_42721), 565 ^ _35724 : [(566 ^ _35724) ^ [_42790, _42792] : [iext(_42721, _42792, _42790), 569 ^ _35724 : [(570 ^ _35724) ^ [] : [-(ix(_42792))], (572 ^ _35724) ^ [] : [-(ix(_42790))]]]]], (574 ^ _35724) ^ [_42897] : [ioxp(_42897), -(ip(_42897))], (580 ^ _35724) ^ [_42980] : [ioxp(_42980), -(iext(uri_rdf_type, _42980, uri_owl_OntologyProperty))], (586 ^ _35724) ^ [_43051] : [iext(uri_rdf_type, _43051, uri_owl_OntologyProperty), -(ioxp(_43051))], (592 ^ _35724) ^ [_43128] : [ip(_43128), 595 ^ _35724 : [(596 ^ _35724) ^ [_43197, _43199] : [iext(_43128, _43199, _43197), 599 ^ _35724 : [(600 ^ _35724) ^ [] : [-(ir(_43199))], (602 ^ _35724) ^ [] : [-(ir(_43197))]]]]], (604 ^ _35724) ^ [_43304] : [ip(_43304), -(ir(_43304))], (610 ^ _35724) ^ [_43387] : [ip(_43387), -(iext(uri_rdf_type, _43387, uri_rdf_Property))], (616 ^ _35724) ^ [_43458] : [iext(uri_rdf_type, _43458, uri_rdf_Property), -(ip(_43458))], (623 ^ _35724) ^ [] : [-(ir(621 ^ []))], (625 ^ _35724) ^ [_43571] : [ir(_43571), -(iext(uri_rdf_type, _43571, uri_rdfs_Resource))], (631 ^ _35724) ^ [_43642] : [iext(uri_rdf_type, _43642, uri_rdfs_Resource), -(ir(_43642))], (637 ^ _35724) ^ [_43719] : [ix(_43719), -(ir(_43719))], (643 ^ _35724) ^ [_43802] : [ix(_43802), -(iext(uri_rdf_type, _43802, uri_owl_Ontology))], (649 ^ _35724) ^ [_43873] : [iext(uri_rdf_type, _43873, uri_owl_Ontology), -(ix(_43873))], (655 ^ _35724) ^ [_43950] : [lv(_43950), -(ir(_43950))], (661 ^ _35724) ^ [_44033] : [lv(_44033), -(iext(uri_rdf_type, _44033, uri_rdfs_Literal))], (667 ^ _35724) ^ [_44104] : [iext(uri_rdf_type, _44104, uri_rdfs_Literal), -(lv(_44104))], (673 ^ _35724) ^ [_44181] : [icext(uri_owl_AllDifferent, _44181), -(ir(_44181))], (679 ^ _35724) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35724) ^ [_44272] : [icext(uri_owl_AllDisjointClasses, _44272), -(ir(_44272))], (687 ^ _35724) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35724) ^ [_44363] : [icext(uri_owl_AllDisjointProperties, _44363), -(ir(_44363))], (695 ^ _35724) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35724) ^ [_44454] : [icext(uri_owl_Annotation, _44454), -(ir(_44454))], (703 ^ _35724) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35724) ^ [_44557] : [icext(uri_owl_AnnotationProperty, _44557), -(ioap(_44557))], (711 ^ _35724) ^ [_44626] : [ioap(_44626), -(icext(uri_owl_AnnotationProperty, _44626))], (717 ^ _35724) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35724) ^ [_44719] : [icext(uri_owl_AsymmetricProperty, _44719), -(ip(_44719))], (725 ^ _35724) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35724) ^ [_44810] : [icext(uri_owl_Axiom, _44810), -(ir(_44810))], (733 ^ _35724) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35724) ^ [_44913] : [icext(uri_owl_Class, _44913), -(ic(_44913))], (741 ^ _35724) ^ [_44982] : [ic(_44982), -(icext(uri_owl_Class, _44982))], (747 ^ _35724) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35724) ^ [_45087] : [icext(uri_rdfs_Class, _45087), -(ic(_45087))], (755 ^ _35724) ^ [_45156] : [ic(_45156), -(icext(uri_rdfs_Class, _45156))], (761 ^ _35724) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35724) ^ [_45261] : [icext(uri_owl_DataRange, _45261), -(idc(_45261))], (769 ^ _35724) ^ [_45330] : [idc(_45330), -(icext(uri_owl_DataRange, _45330))], (775 ^ _35724) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35724) ^ [_45435] : [icext(uri_rdfs_Datatype, _45435), -(idc(_45435))], (783 ^ _35724) ^ [_45504] : [idc(_45504), -(icext(uri_rdfs_Datatype, _45504))], (789 ^ _35724) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35724) ^ [_45609] : [icext(uri_owl_DatatypeProperty, _45609), -(iodp(_45609))], (797 ^ _35724) ^ [_45678] : [iodp(_45678), -(icext(uri_owl_DatatypeProperty, _45678))], (803 ^ _35724) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35724) ^ [_45771] : [icext(uri_owl_DeprecatedClass, _45771), -(ic(_45771))], (811 ^ _35724) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35724) ^ [_45862] : [icext(uri_owl_DeprecatedProperty, _45862), -(ip(_45862))], (819 ^ _35724) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35724) ^ [_45953] : [icext(uri_owl_FunctionalProperty, _45953), -(ip(_45953))], (827 ^ _35724) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35724) ^ [_46044] : [icext(uri_owl_InverseFunctionalProperty, _46044), -(ip(_46044))], (835 ^ _35724) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35724) ^ [_46135] : [icext(uri_owl_IrreflexiveProperty, _46135), -(ip(_46135))], (843 ^ _35724) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35724) ^ [_46238] : [icext(uri_rdfs_Literal, _46238), -(lv(_46238))], (851 ^ _35724) ^ [_46307] : [lv(_46307), -(icext(uri_rdfs_Literal, _46307))], (857 ^ _35724) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35724) ^ [_46400] : [icext(uri_owl_NamedIndividual, _46400), -(ir(_46400))], (865 ^ _35724) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35724) ^ [_46491] : [icext(uri_owl_NegativePropertyAssertion, _46491), -(ir(_46491))], (873 ^ _35724) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35724) ^ [_46591] : [icext(uri_owl_Nothing, _46591)], (877 ^ _35724) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35724) ^ [_46644] : [icext(uri_owl_ObjectProperty, _46644), -(ip(_46644))], (885 ^ _35724) ^ [_46713] : [ip(_46713), -(icext(uri_owl_ObjectProperty, _46713))], (891 ^ _35724) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35724) ^ [_46818] : [icext(uri_owl_Ontology, _46818), -(ix(_46818))], (899 ^ _35724) ^ [_46887] : [ix(_46887), -(icext(uri_owl_Ontology, _46887))], (905 ^ _35724) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35724) ^ [_46992] : [icext(uri_owl_OntologyProperty, _46992), -(ioxp(_46992))], (913 ^ _35724) ^ [_47061] : [ioxp(_47061), -(icext(uri_owl_OntologyProperty, _47061))], (919 ^ _35724) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35724) ^ [_47166] : [icext(uri_rdf_Property, _47166), -(ip(_47166))], (927 ^ _35724) ^ [_47235] : [ip(_47235), -(icext(uri_rdf_Property, _47235))], (933 ^ _35724) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35724) ^ [_47328] : [icext(uri_owl_ReflexiveProperty, _47328), -(ip(_47328))], (941 ^ _35724) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35724) ^ [_47431] : [icext(uri_rdfs_Resource, _47431), -(ir(_47431))], (949 ^ _35724) ^ [_47500] : [ir(_47500), -(icext(uri_rdfs_Resource, _47500))], (955 ^ _35724) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35724) ^ [_47593] : [icext(uri_owl_Restriction, _47593), -(ic(_47593))], (963 ^ _35724) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35724) ^ [_47684] : [icext(uri_owl_SymmetricProperty, _47684), -(ip(_47684))], (971 ^ _35724) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35724) ^ [_47787] : [icext(uri_owl_Thing, _47787), -(ir(_47787))], (979 ^ _35724) ^ [_47856] : [ir(_47856), -(icext(uri_owl_Thing, _47856))], (985 ^ _35724) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35724) ^ [_47949] : [icext(uri_owl_TransitiveProperty, _47949), -(ip(_47949))], (993 ^ _35724) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35724) ^ [_48040, _48042] : [iext(uri_owl_allValuesFrom, _48042, _48040), 998 ^ _35724 : [(999 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _48042))], (1001 ^ _35724) ^ [] : [-(ic(_48040))]]], (1003 ^ _35724) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35724) ^ [_48161, _48163] : [iext(uri_owl_annotatedProperty, _48163, _48161), 1008 ^ _35724 : [(1009 ^ _35724) ^ [] : [-(ir(_48163))], (1011 ^ _35724) ^ [] : [-(ir(_48161))]]], (1013 ^ _35724) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35724) ^ [_48280, _48282] : [iext(uri_owl_annotatedSource, _48282, _48280), 1018 ^ _35724 : [(1019 ^ _35724) ^ [] : [-(ir(_48282))], (1021 ^ _35724) ^ [] : [-(ir(_48280))]]], (1023 ^ _35724) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35724) ^ [_48399, _48401] : [iext(uri_owl_annotatedTarget, _48401, _48399), 1028 ^ _35724 : [(1029 ^ _35724) ^ [] : [-(ir(_48401))], (1031 ^ _35724) ^ [] : [-(ir(_48399))]]], (1033 ^ _35724) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35724) ^ [_48518, _48520] : [iext(uri_owl_assertionProperty, _48520, _48518), 1038 ^ _35724 : [(1039 ^ _35724) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48520))], (1041 ^ _35724) ^ [] : [-(ip(_48518))]]], (1043 ^ _35724) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35724) ^ [_48639, _48641] : [iext(uri_owl_backwardCompatibleWith, _48641, _48639), 1048 ^ _35724 : [(1049 ^ _35724) ^ [] : [-(ix(_48641))], (1051 ^ _35724) ^ [] : [-(ix(_48639))]]], (1053 ^ _35724) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35724) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35724) ^ [_48788, _48790] : [iext(uri_owl_bottomDataProperty, _48790, _48788)], (1059 ^ _35724) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35724) ^ [_48844, _48846] : [iext(uri_owl_bottomObjectProperty, _48846, _48844)], (1063 ^ _35724) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35724) ^ [_48888, _48890] : [iext(uri_owl_cardinality, _48890, _48888), 1068 ^ _35724 : [(1069 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _48890))], (1071 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48888))]]], (1073 ^ _35724) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35724) ^ [_49011, _49013] : [iext(uri_rdfs_comment, _49013, _49011), 1078 ^ _35724 : [(1079 ^ _35724) ^ [] : [-(ir(_49013))], (1081 ^ _35724) ^ [] : [-(lv(_49011))]]], (1083 ^ _35724) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35724) ^ [_49130, _49132] : [iext(uri_owl_complementOf, _49132, _49130), 1088 ^ _35724 : [(1089 ^ _35724) ^ [] : [-(ic(_49132))], (1091 ^ _35724) ^ [] : [-(ic(_49130))]]], (1093 ^ _35724) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35724) ^ [_49249, _49251] : [iext(uri_owl_datatypeComplementOf, _49251, _49249), 1098 ^ _35724 : [(1099 ^ _35724) ^ [] : [-(idc(_49251))], (1101 ^ _35724) ^ [] : [-(idc(_49249))]]], (1103 ^ _35724) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35724) ^ [_49368, _49370] : [iext(uri_owl_deprecated, _49370, _49368), 1108 ^ _35724 : [(1109 ^ _35724) ^ [] : [-(ir(_49370))], (1111 ^ _35724) ^ [] : [-(ir(_49368))]]], (1113 ^ _35724) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35724) ^ [_49487, _49489] : [iext(uri_owl_differentFrom, _49489, _49487), 1118 ^ _35724 : [(1119 ^ _35724) ^ [] : [-(ir(_49489))], (1121 ^ _35724) ^ [] : [-(ir(_49487))]]], (1123 ^ _35724) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35724) ^ [_49606, _49608] : [iext(uri_owl_disjointUnionOf, _49608, _49606), 1128 ^ _35724 : [(1129 ^ _35724) ^ [] : [-(ic(_49608))], (1131 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _49606))]]], (1133 ^ _35724) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35724) ^ [_49727, _49729] : [iext(uri_owl_disjointWith, _49729, _49727), 1138 ^ _35724 : [(1139 ^ _35724) ^ [] : [-(ic(_49729))], (1141 ^ _35724) ^ [] : [-(ic(_49727))]]], (1143 ^ _35724) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35724) ^ [_49846, _49848] : [iext(uri_owl_distinctMembers, _49848, _49846), 1148 ^ _35724 : [(1149 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, _49848))], (1151 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _49846))]]], (1153 ^ _35724) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35724) ^ [_49969, _49971] : [iext(uri_owl_equivalentClass, _49971, _49969), 1158 ^ _35724 : [(1159 ^ _35724) ^ [] : [-(ic(_49971))], (1161 ^ _35724) ^ [] : [-(ic(_49969))]]], (1163 ^ _35724) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35724) ^ [_50088, _50090] : [iext(uri_owl_equivalentProperty, _50090, _50088), 1168 ^ _35724 : [(1169 ^ _35724) ^ [] : [-(ip(_50090))], (1171 ^ _35724) ^ [] : [-(ip(_50088))]]], (1173 ^ _35724) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35724) ^ [_50207, _50209] : [iext(uri_owl_hasKey, _50209, _50207), 1178 ^ _35724 : [(1179 ^ _35724) ^ [] : [-(ic(_50209))], (1181 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _50207))]]], (1183 ^ _35724) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35724) ^ [_50328, _50330] : [iext(uri_owl_hasSelf, _50330, _50328), 1188 ^ _35724 : [(1189 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _50330))], (1191 ^ _35724) ^ [] : [-(ir(_50328))]]], (1193 ^ _35724) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35724) ^ [_50449, _50451] : [iext(uri_owl_hasValue, _50451, _50449), 1198 ^ _35724 : [(1199 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _50451))], (1201 ^ _35724) ^ [] : [-(ir(_50449))]]], (1203 ^ _35724) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35724) ^ [_50570, _50572] : [iext(uri_owl_imports, _50572, _50570), 1208 ^ _35724 : [(1209 ^ _35724) ^ [] : [-(ix(_50572))], (1211 ^ _35724) ^ [] : [-(ix(_50570))]]], (1213 ^ _35724) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35724) ^ [_50689, _50691] : [iext(uri_owl_incompatibleWith, _50691, _50689), 1218 ^ _35724 : [(1219 ^ _35724) ^ [] : [-(ix(_50691))], (1221 ^ _35724) ^ [] : [-(ix(_50689))]]], (1223 ^ _35724) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35724) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35724) ^ [_50826, _50828] : [iext(uri_owl_intersectionOf, _50828, _50826), 1230 ^ _35724 : [(1231 ^ _35724) ^ [] : [-(ic(_50828))], (1233 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _50826))]]], (1235 ^ _35724) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35724) ^ [_50947, _50949] : [iext(uri_owl_inverseOf, _50949, _50947), 1240 ^ _35724 : [(1241 ^ _35724) ^ [] : [-(ip(_50949))], (1243 ^ _35724) ^ [] : [-(ip(_50947))]]], (1245 ^ _35724) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35724) ^ [_51066, _51068] : [iext(uri_rdfs_isDefinedBy, _51068, _51066), 1250 ^ _35724 : [(1251 ^ _35724) ^ [] : [-(ir(_51068))], (1253 ^ _35724) ^ [] : [-(ir(_51066))]]], (1255 ^ _35724) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35724) ^ [_51185, _51187] : [iext(uri_rdfs_label, _51187, _51185), 1260 ^ _35724 : [(1261 ^ _35724) ^ [] : [-(ir(_51187))], (1263 ^ _35724) ^ [] : [-(lv(_51185))]]], (1265 ^ _35724) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35724) ^ [_51304, _51306] : [iext(uri_owl_maxCardinality, _51306, _51304), 1270 ^ _35724 : [(1271 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _51306))], (1273 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51304))]]], (1275 ^ _35724) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35724) ^ [_51427, _51429] : [iext(uri_owl_maxQualifiedCardinality, _51429, _51427), 1280 ^ _35724 : [(1281 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _51429))], (1283 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51427))]]], (1285 ^ _35724) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35724) ^ [_51550, _51552] : [iext(uri_owl_members, _51552, _51550), 1290 ^ _35724 : [(1291 ^ _35724) ^ [] : [-(ir(_51552))], (1293 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _51550))]]], (1295 ^ _35724) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35724) ^ [_51671, _51673] : [iext(uri_owl_minCardinality, _51673, _51671), 1300 ^ _35724 : [(1301 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _51673))], (1303 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51671))]]], (1305 ^ _35724) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35724) ^ [_51794, _51796] : [iext(uri_owl_minQualifiedCardinality, _51796, _51794), 1310 ^ _35724 : [(1311 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _51796))], (1313 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51794))]]], (1315 ^ _35724) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35724) ^ [_51917, _51919] : [iext(uri_owl_onClass, _51919, _51917), 1320 ^ _35724 : [(1321 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _51919))], (1323 ^ _35724) ^ [] : [-(ic(_51917))]]], (1325 ^ _35724) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35724) ^ [_52038, _52040] : [iext(uri_owl_onDataRange, _52040, _52038), 1330 ^ _35724 : [(1331 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _52040))], (1333 ^ _35724) ^ [] : [-(idc(_52038))]]], (1335 ^ _35724) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35724) ^ [_52159, _52161] : [iext(uri_owl_onDatatype, _52161, _52159), 1340 ^ _35724 : [(1341 ^ _35724) ^ [] : [-(idc(_52161))], (1343 ^ _35724) ^ [] : [-(idc(_52159))]]], (1345 ^ _35724) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35724) ^ [_52278, _52280] : [iext(uri_owl_oneOf, _52280, _52278), 1350 ^ _35724 : [(1351 ^ _35724) ^ [] : [-(ic(_52280))], (1353 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _52278))]]], (1355 ^ _35724) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35724) ^ [_52399, _52401] : [iext(uri_owl_onProperty, _52401, _52399), 1360 ^ _35724 : [(1361 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _52401))], (1363 ^ _35724) ^ [] : [-(ip(_52399))]]], (1365 ^ _35724) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35724) ^ [_52520, _52522] : [iext(uri_owl_priorVersion, _52522, _52520), 1370 ^ _35724 : [(1371 ^ _35724) ^ [] : [-(ix(_52522))], (1373 ^ _35724) ^ [] : [-(ix(_52520))]]], (1375 ^ _35724) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35724) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35724) ^ [_52657, _52659] : [iext(uri_owl_propertyChainAxiom, _52659, _52657), 1382 ^ _35724 : [(1383 ^ _35724) ^ [] : [-(ip(_52659))], (1385 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _52657))]]], (1387 ^ _35724) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35724) ^ [_52778, _52780] : [iext(uri_owl_propertyDisjointWith, _52780, _52778), 1392 ^ _35724 : [(1393 ^ _35724) ^ [] : [-(ip(_52780))], (1395 ^ _35724) ^ [] : [-(ip(_52778))]]], (1397 ^ _35724) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35724) ^ [_52897, _52899] : [iext(uri_owl_qualifiedCardinality, _52899, _52897), 1402 ^ _35724 : [(1403 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _52899))], (1405 ^ _35724) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52897))]]], (1407 ^ _35724) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35724) ^ [_53020, _53022] : [iext(uri_owl_sameAs, _53022, _53020), 1412 ^ _35724 : [(1413 ^ _35724) ^ [] : [-(ir(_53022))], (1415 ^ _35724) ^ [] : [-(ir(_53020))]]], (1417 ^ _35724) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35724) ^ [_53139, _53141] : [iext(uri_rdfs_seeAlso, _53141, _53139), 1422 ^ _35724 : [(1423 ^ _35724) ^ [] : [-(ir(_53141))], (1425 ^ _35724) ^ [] : [-(ir(_53139))]]], (1427 ^ _35724) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35724) ^ [_53258, _53260] : [iext(uri_owl_someValuesFrom, _53260, _53258), 1432 ^ _35724 : [(1433 ^ _35724) ^ [] : [-(icext(uri_owl_Restriction, _53260))], (1435 ^ _35724) ^ [] : [-(ic(_53258))]]], (1437 ^ _35724) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35724) ^ [_53379, _53381] : [iext(uri_owl_sourceIndividual, _53381, _53379), 1442 ^ _35724 : [(1443 ^ _35724) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53381))], (1445 ^ _35724) ^ [] : [-(ir(_53379))]]], (1447 ^ _35724) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35724) ^ [_53500, _53502] : [iext(uri_owl_targetIndividual, _53502, _53500), 1452 ^ _35724 : [(1453 ^ _35724) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53502))], (1455 ^ _35724) ^ [] : [-(ir(_53500))]]], (1457 ^ _35724) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35724) ^ [_53621, _53623] : [iext(uri_owl_targetValue, _53623, _53621), 1462 ^ _35724 : [(1463 ^ _35724) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53623))], (1465 ^ _35724) ^ [] : [-(lv(_53621))]]], (1467 ^ _35724) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35724) ^ [_53757, _53759] : [iext(uri_owl_topDataProperty, _53759, _53757), 1472 ^ _35724 : [(1473 ^ _35724) ^ [] : [-(ir(_53759))], (1475 ^ _35724) ^ [] : [-(lv(_53757))]]], (1477 ^ _35724) ^ [_53854, _53856] : [-(iext(uri_owl_topDataProperty, _53856, _53854)), ir(_53856), lv(_53854)], (1487 ^ _35724) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35724) ^ [_54016, _54018] : [iext(uri_owl_topObjectProperty, _54018, _54016), 1492 ^ _35724 : [(1493 ^ _35724) ^ [] : [-(ir(_54018))], (1495 ^ _35724) ^ [] : [-(ir(_54016))]]], (1497 ^ _35724) ^ [_54113, _54115] : [-(iext(uri_owl_topObjectProperty, _54115, _54113)), ir(_54115), ir(_54113)], (1507 ^ _35724) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35724) ^ [_54260, _54262] : [iext(uri_owl_unionOf, _54262, _54260), 1512 ^ _35724 : [(1513 ^ _35724) ^ [] : [-(ic(_54262))], (1515 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _54260))]]], (1517 ^ _35724) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35724) ^ [_54381, _54383] : [iext(uri_owl_versionInfo, _54383, _54381), 1522 ^ _35724 : [(1523 ^ _35724) ^ [] : [-(ir(_54383))], (1525 ^ _35724) ^ [] : [-(ir(_54381))]]], (1527 ^ _35724) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35724) ^ [_54500, _54502] : [iext(uri_owl_versionIRI, _54502, _54500), 1532 ^ _35724 : [(1533 ^ _35724) ^ [] : [-(ix(_54502))], (1535 ^ _35724) ^ [] : [-(ix(_54500))]]], (1537 ^ _35724) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35724) ^ [_54619, _54621] : [iext(uri_owl_withRestrictions, _54621, _54619), 1542 ^ _35724 : [(1543 ^ _35724) ^ [] : [-(idc(_54621))], (1545 ^ _35724) ^ [] : [-(icext(uri_rdf_List, _54619))]]], (1547 ^ _35724) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35724) ^ [_54740, _54742] : [iext(uri_owl_complementOf, _54742, _54740), 1552 ^ _35724 : [(1553 ^ _35724) ^ [] : [-(ic(_54742))], (1555 ^ _35724) ^ [] : [-(ic(_54740))], (1557 ^ _35724) ^ [_54870] : [icext(_54742, _54870), icext(_54740, _54870)], (1563 ^ _35724) ^ [_54944] : [-(icext(_54740, _54944)), -(icext(_54742, _54944))]]], (1569 ^ _35724) ^ [_54988, _54990] : [iext(uri_owl_datatypeComplementOf, _54990, _54988), 1572 ^ _35724 : [(1573 ^ _35724) ^ [_55072] : [icext(_54990, _55072), 1576 ^ _35724 : [(1577 ^ _35724) ^ [] : [-(lv(_55072))], (1579 ^ _35724) ^ [] : [icext(_54988, _55072)]]], (1581 ^ _35724) ^ [_55179] : [-(icext(_54990, _55179)), lv(_55179), -(icext(_54988, _55179))]]], (1609 ^ _35724) ^ [_55581] : [-(iext(uri_owl_intersectionOf, _55581, uri_rdf_nil)), ic(_55581), 1617 ^ _35724 : [(1618 ^ _35724) ^ [] : [-(icext(_55581, 1614 ^ [_55581]))], (1620 ^ _35724) ^ [] : [ir(1614 ^ [_55581])]], 1621 ^ _35724 : [(1622 ^ _35724) ^ [] : [-(ir(1614 ^ [_55581]))], (1624 ^ _35724) ^ [] : [icext(_55581, 1614 ^ [_55581])]]], (1591 ^ _35724) ^ [_55331] : [iext(uri_owl_intersectionOf, _55331, uri_rdf_nil), 1594 ^ _35724 : [(1595 ^ _35724) ^ [] : [-(ic(_55331))], (1597 ^ _35724) ^ [_55431] : [icext(_55331, _55431), -(ir(_55431))], (1603 ^ _35724) ^ [_55502] : [ir(_55502), -(icext(_55331, _55502))]]], (1628 ^ _35724) ^ [_55851, _55853, _55855] : [iext(uri_rdf_first, _55853, _55851), iext(uri_rdf_rest, _55853, uri_rdf_nil), 1635 ^ _35724 : [(1636 ^ _35724) ^ [] : [iext(uri_owl_intersectionOf, _55855, _55853), 1639 ^ _35724 : [(1640 ^ _35724) ^ [] : [-(ic(_55855))], (1642 ^ _35724) ^ [] : [-(ic(_55851))], (1644 ^ _35724) ^ [_56100] : [icext(_55855, _56100), -(icext(_55851, _56100))], (1650 ^ _35724) ^ [_56177] : [icext(_55851, _56177), -(icext(_55855, _56177))]]], (1656 ^ _35724) ^ [] : [-(iext(uri_owl_intersectionOf, _55855, _55853)), ic(_55855), ic(_55851), 1668 ^ _35724 : [(1669 ^ _35724) ^ [] : [-(icext(_55855, 1665 ^ [_55851, _55853, _55855]))], (1671 ^ _35724) ^ [] : [icext(_55851, 1665 ^ [_55851, _55853, _55855])]], 1672 ^ _35724 : [(1673 ^ _35724) ^ [] : [-(icext(_55851, 1665 ^ [_55851, _55853, _55855]))], (1675 ^ _35724) ^ [] : [icext(_55855, 1665 ^ [_55851, _55853, _55855])]]]]], (1679 ^ _35724) ^ [_56598, _56600, _56602, _56604, _56606] : [iext(uri_rdf_first, _56604, _56602), iext(uri_rdf_rest, _56604, _56600), iext(uri_rdf_first, _56600, _56598), iext(uri_rdf_rest, _56600, uri_rdf_nil), 1694 ^ _35724 : [(1695 ^ _35724) ^ [] : [iext(uri_owl_intersectionOf, _56606, _56604), 1698 ^ _35724 : [(1699 ^ _35724) ^ [] : [-(ic(_56606))], (1701 ^ _35724) ^ [] : [-(ic(_56602))], (1703 ^ _35724) ^ [] : [-(ic(_56598))], (1705 ^ _35724) ^ [_57010] : [icext(_56606, _57010), 1708 ^ _35724 : [(1709 ^ _35724) ^ [] : [-(icext(_56602, _57010))], (1711 ^ _35724) ^ [] : [-(icext(_56598, _57010))]]], (1713 ^ _35724) ^ [_57117] : [-(icext(_56606, _57117)), icext(_56602, _57117), icext(_56598, _57117)]]], (1723 ^ _35724) ^ [] : [-(iext(uri_owl_intersectionOf, _56606, _56604)), ic(_56606), ic(_56602), ic(_56598), 1747 ^ _35724 : [(1748 ^ _35724) ^ [] : [-(icext(_56602, 1736 ^ [_56598, _56600, _56602, _56604, _56606]))], (1750 ^ _35724) ^ [] : [-(icext(_56598, 1736 ^ [_56598, _56600, _56602, _56604, _56606]))], (1752 ^ _35724) ^ [] : [icext(_56606, 1736 ^ [_56598, _56600, _56602, _56604, _56606])]], 1739 ^ _35724 : [(1740 ^ _35724) ^ [] : [-(icext(_56606, 1736 ^ [_56598, _56600, _56602, _56604, _56606]))], (1742 ^ _35724) ^ [] : [icext(_56602, 1736 ^ [_56598, _56600, _56602, _56604, _56606]), icext(_56598, 1736 ^ [_56598, _56600, _56602, _56604, _56606])]]]]], (1756 ^ _35724) ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809] : [iext(uri_rdf_first, _57807, _57805), iext(uri_rdf_rest, _57807, _57803), iext(uri_rdf_first, _57803, _57801), iext(uri_rdf_rest, _57803, _57799), iext(uri_rdf_first, _57799, _57797), iext(uri_rdf_rest, _57799, uri_rdf_nil), 1779 ^ _35724 : [(1780 ^ _35724) ^ [] : [iext(uri_owl_intersectionOf, _57809, _57807), 1783 ^ _35724 : [(1784 ^ _35724) ^ [] : [-(ic(_57809))], (1786 ^ _35724) ^ [] : [-(ic(_57805))], (1788 ^ _35724) ^ [] : [-(ic(_57801))], (1790 ^ _35724) ^ [] : [-(ic(_57797))], (1792 ^ _35724) ^ [_58388] : [icext(_57809, _58388), 1795 ^ _35724 : [(1796 ^ _35724) ^ [] : [-(icext(_57805, _58388))], (1798 ^ _35724) ^ [] : [-(icext(_57801, _58388))], (1800 ^ _35724) ^ [] : [-(icext(_57797, _58388))]]], (1802 ^ _35724) ^ [_58523] : [-(icext(_57809, _58523)), icext(_57805, _58523), icext(_57801, _58523), icext(_57797, _58523)]]], (1816 ^ _35724) ^ [] : [-(iext(uri_owl_intersectionOf, _57809, _57807)), ic(_57809), ic(_57805), ic(_57801), ic(_57797), 1848 ^ _35724 : [(1849 ^ _35724) ^ [] : [-(icext(_57805, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]))], (1851 ^ _35724) ^ [] : [-(icext(_57801, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]))], (1853 ^ _35724) ^ [] : [-(icext(_57797, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]))], (1855 ^ _35724) ^ [] : [icext(_57809, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809])]], 1836 ^ _35724 : [(1837 ^ _35724) ^ [] : [-(icext(_57809, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]))], (1839 ^ _35724) ^ [] : [icext(_57805, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]), icext(_57801, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809]), icext(_57797, 1833 ^ [_57797, _57799, _57801, _57803, _57805, _57807, _57809])]]]]], (1859 ^ _35724) ^ [_59504, _59506, _59508] : [-(idc(_59508)), iext(uri_rdf_first, _59506, _59504), iext(uri_rdf_rest, _59506, uri_rdf_nil), idc(_59504), iext(uri_owl_intersectionOf, _59508, _59506)], (1877 ^ _35724) ^ [_59747, _59749, _59751, _59753, _59755] : [-(idc(_59755)), iext(uri_rdf_first, _59753, _59751), iext(uri_rdf_rest, _59753, _59749), iext(uri_rdf_first, _59749, _59747), iext(uri_rdf_rest, _59749, uri_rdf_nil), idc(_59751), idc(_59747), iext(uri_owl_intersectionOf, _59755, _59753)], (1907 ^ _35724) ^ [_60182, _60184, _60186, _60188, _60190, _60192, _60194] : [-(idc(_60194)), iext(uri_rdf_first, _60192, _60190), iext(uri_rdf_rest, _60192, _60188), iext(uri_rdf_first, _60188, _60186), iext(uri_rdf_rest, _60188, _60184), iext(uri_rdf_first, _60184, _60182), iext(uri_rdf_rest, _60184, uri_rdf_nil), idc(_60190), idc(_60186), idc(_60182), iext(uri_owl_intersectionOf, _60194, _60192)], (1949 ^ _35724) ^ [_60845] : [iext(uri_owl_unionOf, _60845, uri_rdf_nil), 1952 ^ _35724 : [(1953 ^ _35724) ^ [] : [-(ic(_60845))], (1955 ^ _35724) ^ [_60935] : [icext(_60845, _60935)]]], (1957 ^ _35724) ^ [_60960] : [-(iext(uri_owl_unionOf, _60960, uri_rdf_nil)), ic(_60960), -(icext(_60960, 1962 ^ [_60960]))], (1968 ^ _35724) ^ [_61100, _61102, _61104] : [iext(uri_rdf_first, _61102, _61100), iext(uri_rdf_rest, _61102, uri_rdf_nil), 1975 ^ _35724 : [(1976 ^ _35724) ^ [] : [iext(uri_owl_unionOf, _61104, _61102), 1979 ^ _35724 : [(1980 ^ _35724) ^ [] : [-(ic(_61104))], (1982 ^ _35724) ^ [] : [-(ic(_61100))], (1984 ^ _35724) ^ [_61349] : [icext(_61104, _61349), -(icext(_61100, _61349))], (1990 ^ _35724) ^ [_61426] : [icext(_61100, _61426), -(icext(_61104, _61426))]]], (1996 ^ _35724) ^ [] : [-(iext(uri_owl_unionOf, _61104, _61102)), ic(_61104), ic(_61100), 2008 ^ _35724 : [(2009 ^ _35724) ^ [] : [-(icext(_61104, 2005 ^ [_61100, _61102, _61104]))], (2011 ^ _35724) ^ [] : [icext(_61100, 2005 ^ [_61100, _61102, _61104])]], 2012 ^ _35724 : [(2013 ^ _35724) ^ [] : [-(icext(_61100, 2005 ^ [_61100, _61102, _61104]))], (2015 ^ _35724) ^ [] : [icext(_61104, 2005 ^ [_61100, _61102, _61104])]]]]], (2019 ^ _35724) ^ [_61847, _61849, _61851, _61853, _61855] : [iext(uri_rdf_first, _61853, _61851), iext(uri_rdf_rest, _61853, _61849), iext(uri_rdf_first, _61849, _61847), iext(uri_rdf_rest, _61849, uri_rdf_nil), 2034 ^ _35724 : [(2035 ^ _35724) ^ [] : [iext(uri_owl_unionOf, _61855, _61853), 2038 ^ _35724 : [(2039 ^ _35724) ^ [] : [-(ic(_61855))], (2041 ^ _35724) ^ [] : [-(ic(_61851))], (2043 ^ _35724) ^ [] : [-(ic(_61847))], (2055 ^ _35724) ^ [_62353] : [2056 ^ _35724 : [(2057 ^ _35724) ^ [] : [icext(_61851, _62353)], (2059 ^ _35724) ^ [] : [icext(_61847, _62353)]], -(icext(_61855, _62353))], (2045 ^ _35724) ^ [_62259] : [icext(_61855, _62259), -(icext(_61851, _62259)), -(icext(_61847, _62259))]]], (2063 ^ _35724) ^ [] : [-(iext(uri_owl_unionOf, _61855, _61853)), ic(_61855), ic(_61851), ic(_61847), 2079 ^ _35724 : [(2080 ^ _35724) ^ [] : [-(icext(_61855, 2076 ^ [_61847, _61849, _61851, _61853, _61855]))], (2082 ^ _35724) ^ [] : [icext(_61851, 2076 ^ [_61847, _61849, _61851, _61853, _61855])], (2084 ^ _35724) ^ [] : [icext(_61847, 2076 ^ [_61847, _61849, _61851, _61853, _61855])]], 2085 ^ _35724 : [(2092 ^ _35724) ^ [] : [icext(_61855, 2076 ^ [_61847, _61849, _61851, _61853, _61855])], (2086 ^ _35724) ^ [] : [-(icext(_61851, 2076 ^ [_61847, _61849, _61851, _61853, _61855])), -(icext(_61847, 2076 ^ [_61847, _61849, _61851, _61853, _61855]))]]]]], (2096 ^ _35724) ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987] : [iext(uri_rdf_first, _62985, _62983), iext(uri_rdf_rest, _62985, _62981), iext(uri_rdf_first, _62981, _62979), iext(uri_rdf_rest, _62981, _62977), iext(uri_rdf_first, _62977, _62975), iext(uri_rdf_rest, _62977, uri_rdf_nil), 2119 ^ _35724 : [(2120 ^ _35724) ^ [] : [iext(uri_owl_unionOf, _62987, _62985), 2123 ^ _35724 : [(2124 ^ _35724) ^ [] : [-(ic(_62987))], (2126 ^ _35724) ^ [] : [-(ic(_62983))], (2128 ^ _35724) ^ [] : [-(ic(_62979))], (2130 ^ _35724) ^ [] : [-(ic(_62975))], (2146 ^ _35724) ^ [_63677] : [2147 ^ _35724 : [(2148 ^ _35724) ^ [] : [icext(_62983, _63677)], (2150 ^ _35724) ^ [] : [icext(_62979, _63677)], (2152 ^ _35724) ^ [] : [icext(_62975, _63677)]], -(icext(_62987, _63677))], (2132 ^ _35724) ^ [_63566] : [icext(_62987, _63566), -(icext(_62983, _63566)), -(icext(_62979, _63566)), -(icext(_62975, _63566))]]], (2156 ^ _35724) ^ [] : [-(iext(uri_owl_unionOf, _62987, _62985)), ic(_62987), ic(_62983), ic(_62979), ic(_62975), 2176 ^ _35724 : [(2177 ^ _35724) ^ [] : [-(icext(_62987, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987]))], (2179 ^ _35724) ^ [] : [icext(_62983, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])], (2181 ^ _35724) ^ [] : [icext(_62979, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])], (2183 ^ _35724) ^ [] : [icext(_62975, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])]], 2184 ^ _35724 : [(2195 ^ _35724) ^ [] : [icext(_62987, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])], (2185 ^ _35724) ^ [] : [-(icext(_62983, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])), -(icext(_62979, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987])), -(icext(_62975, 2173 ^ [_62975, _62977, _62979, _62981, _62983, _62985, _62987]))]]]]], (2199 ^ _35724) ^ [_64523, _64525, _64527] : [-(idc(_64527)), iext(uri_rdf_first, _64525, _64523), iext(uri_rdf_rest, _64525, uri_rdf_nil), idc(_64523), iext(uri_owl_unionOf, _64527, _64525)], (2217 ^ _35724) ^ [_64766, _64768, _64770, _64772, _64774] : [-(idc(_64774)), iext(uri_rdf_first, _64772, _64770), iext(uri_rdf_rest, _64772, _64768), iext(uri_rdf_first, _64768, _64766), iext(uri_rdf_rest, _64768, uri_rdf_nil), idc(_64770), idc(_64766), iext(uri_owl_unionOf, _64774, _64772)], (2247 ^ _35724) ^ [_65201, _65203, _65205, _65207, _65209, _65211, _65213] : [-(idc(_65213)), iext(uri_rdf_first, _65211, _65209), iext(uri_rdf_rest, _65211, _65207), iext(uri_rdf_first, _65207, _65205), iext(uri_rdf_rest, _65207, _65203), iext(uri_rdf_first, _65203, _65201), iext(uri_rdf_rest, _65203, uri_rdf_nil), idc(_65209), idc(_65205), idc(_65201), iext(uri_owl_unionOf, _65213, _65211)], (2289 ^ _35724) ^ [_65864] : [iext(uri_owl_oneOf, _65864, uri_rdf_nil), 2292 ^ _35724 : [(2293 ^ _35724) ^ [] : [-(ic(_65864))], (2295 ^ _35724) ^ [_65954] : [icext(_65864, _65954)]]], (2297 ^ _35724) ^ [_65979] : [-(iext(uri_owl_oneOf, _65979, uri_rdf_nil)), ic(_65979), -(icext(_65979, 2302 ^ [_65979]))], (2308 ^ _35724) ^ [_66119, _66121, _66123] : [iext(uri_rdf_first, _66121, _66119), iext(uri_rdf_rest, _66121, uri_rdf_nil), 2315 ^ _35724 : [(2334 ^ _35724) ^ [] : [-(iext(uri_owl_oneOf, _66123, _66121)), ic(_66123), 2342 ^ _35724 : [(2343 ^ _35724) ^ [] : [-(icext(_66123, 2339 ^ [_66119, _66121, _66123]))], (2345 ^ _35724) ^ [] : [2339 ^ [_66119, _66121, _66123] = _66119]], 2346 ^ _35724 : [(2347 ^ _35724) ^ [] : [-(2339 ^ [_66119, _66121, _66123] = _66119)], (2349 ^ _35724) ^ [] : [icext(_66123, 2339 ^ [_66119, _66121, _66123])]]], (2316 ^ _35724) ^ [] : [iext(uri_owl_oneOf, _66123, _66121), 2319 ^ _35724 : [(2320 ^ _35724) ^ [] : [-(ic(_66123))], (2322 ^ _35724) ^ [_66343] : [icext(_66123, _66343), -(_66343 = _66119)], (2328 ^ _35724) ^ [_66420] : [_66420 = _66119, -(icext(_66123, _66420))]]]]], (2353 ^ _35724) ^ [_66792, _66794, _66796, _66798, _66800] : [iext(uri_rdf_first, _66798, _66796), iext(uri_rdf_rest, _66798, _66794), iext(uri_rdf_first, _66794, _66792), iext(uri_rdf_rest, _66794, uri_rdf_nil), 2368 ^ _35724 : [(2393 ^ _35724) ^ [] : [-(iext(uri_owl_oneOf, _66800, _66798)), ic(_66800), 2401 ^ _35724 : [(2402 ^ _35724) ^ [] : [-(icext(_66800, 2398 ^ [_66792, _66794, _66796, _66798, _66800]))], (2404 ^ _35724) ^ [] : [2398 ^ [_66792, _66794, _66796, _66798, _66800] = _66796], (2406 ^ _35724) ^ [] : [2398 ^ [_66792, _66794, _66796, _66798, _66800] = _66792]], 2407 ^ _35724 : [(2414 ^ _35724) ^ [] : [icext(_66800, 2398 ^ [_66792, _66794, _66796, _66798, _66800])], (2408 ^ _35724) ^ [] : [-(2398 ^ [_66792, _66794, _66796, _66798, _66800] = _66796), -(2398 ^ [_66792, _66794, _66796, _66798, _66800] = _66792)]]], (2369 ^ _35724) ^ [] : [iext(uri_owl_oneOf, _66800, _66798), 2372 ^ _35724 : [(2373 ^ _35724) ^ [] : [-(ic(_66800))], (2385 ^ _35724) ^ [_67248] : [2386 ^ _35724 : [(2387 ^ _35724) ^ [] : [_67248 = _66796], (2389 ^ _35724) ^ [] : [_67248 = _66792]], -(icext(_66800, _67248))], (2375 ^ _35724) ^ [_67154] : [icext(_66800, _67154), -(_67154 = _66796), -(_67154 = _66792)]]]]], (2418 ^ _35724) ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] : [iext(uri_rdf_first, _67774, _67772), iext(uri_rdf_rest, _67774, _67770), iext(uri_rdf_first, _67770, _67768), iext(uri_rdf_rest, _67770, _67766), iext(uri_rdf_first, _67766, _67764), iext(uri_rdf_rest, _67766, uri_rdf_nil), 2441 ^ _35724 : [(2472 ^ _35724) ^ [] : [-(iext(uri_owl_oneOf, _67776, _67774)), ic(_67776), 2480 ^ _35724 : [(2481 ^ _35724) ^ [] : [-(icext(_67776, 2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776]))], (2483 ^ _35724) ^ [] : [2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67772], (2485 ^ _35724) ^ [] : [2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67768], (2487 ^ _35724) ^ [] : [2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67764]], 2488 ^ _35724 : [(2499 ^ _35724) ^ [] : [icext(_67776, 2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776])], (2489 ^ _35724) ^ [] : [-(2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67772), -(2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67768), -(2477 ^ [_67764, _67766, _67768, _67770, _67772, _67774, _67776] = _67764)]]], (2442 ^ _35724) ^ [] : [iext(uri_owl_oneOf, _67776, _67774), 2445 ^ _35724 : [(2446 ^ _35724) ^ [] : [-(ic(_67776))], (2462 ^ _35724) ^ [_68391] : [2463 ^ _35724 : [(2464 ^ _35724) ^ [] : [_68391 = _67772], (2466 ^ _35724) ^ [] : [_68391 = _67768], (2468 ^ _35724) ^ [] : [_68391 = _67764]], -(icext(_67776, _68391))], (2448 ^ _35724) ^ [_68280] : [icext(_67776, _68280), -(_68280 = _67772), -(_68280 = _67768), -(_68280 = _67764)]]]]], (2503 ^ _35724) ^ [_69066, _69068, _69070] : [-(idc(_69070)), iext(uri_rdf_first, _69068, _69066), iext(uri_rdf_rest, _69068, uri_rdf_nil), lv(_69066), iext(uri_owl_oneOf, _69070, _69068)], (2521 ^ _35724) ^ [_69309, _69311, _69313, _69315, _69317] : [-(idc(_69317)), iext(uri_rdf_first, _69315, _69313), iext(uri_rdf_rest, _69315, _69311), iext(uri_rdf_first, _69311, _69309), iext(uri_rdf_rest, _69311, uri_rdf_nil), lv(_69313), lv(_69309), iext(uri_owl_oneOf, _69317, _69315)], (2551 ^ _35724) ^ [_69744, _69746, _69748, _69750, _69752, _69754, _69756] : [-(idc(_69756)), iext(uri_rdf_first, _69754, _69752), iext(uri_rdf_rest, _69754, _69750), iext(uri_rdf_first, _69750, _69748), iext(uri_rdf_rest, _69750, _69746), iext(uri_rdf_first, _69746, _69744), iext(uri_rdf_rest, _69746, uri_rdf_nil), lv(_69752), lv(_69748), lv(_69744), iext(uri_owl_oneOf, _69756, _69754)], (2593 ^ _35724) ^ [_70524, _70526, _70528] : [iext(uri_owl_allValuesFrom, _70528, _70524), iext(uri_owl_onProperty, _70528, _70526), 2600 ^ _35724 : [(2611 ^ _35724) ^ [_71150] : [2613 ^ _35724 : [(2614 ^ _35724) ^ [] : [-(iext(_70526, _71150, 2612 ^ [_70524, _70526, _70528, _71150]))], (2616 ^ _35724) ^ [] : [icext(_70524, 2612 ^ [_70524, _70526, _70528, _71150])]], -(icext(_70528, _71150))], (2601 ^ _35724) ^ [_70803] : [icext(_70528, _70803), 2604 ^ _35724 : [(2605 ^ _35724) ^ [_70955] : [iext(_70526, _70803, _70955), -(icext(_70524, _70955))]]]]], (2620 ^ _35724) ^ [_71555, _71557] : [iext(uri_owl_cardinality, _71557, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71557, _71555), 2627 ^ _35724 : [(2628 ^ _35724) ^ [_71822] : [icext(_71557, _71822), 2631 ^ _35724 : [(2632 ^ _35724) ^ [_71948] : [iext(_71555, _71822, _71948)]]], (2634 ^ _35724) ^ [_72019] : [-(iext(_71555, _72019, 2635 ^ [_71555, _71557, _72019])), -(icext(_71557, _72019))]]], (2641 ^ _35724) ^ [_72317, _72319] : [iext(uri_owl_cardinality, _72319, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72319, _72317), 2648 ^ _35724 : [(2666 ^ _35724) ^ [_73222] : [-(icext(_72319, _73222)), 2669 ^ _35724 : [(2670 ^ _35724) ^ [_73365] : [iext(_72317, _73222, _73365)]], 2673 ^ _35724 : [(2674 ^ _35724) ^ [] : [-(iext(_72317, _73222, 2671 ^ [_72317, _72319, _73222]))], (2676 ^ _35724) ^ [] : [-(iext(_72317, _73222, 2672 ^ [_72317, _72319, _73222]))], (2678 ^ _35724) ^ [] : [2672 ^ [_72317, _72319, _73222] = 2671 ^ [_72317, _72319, _73222]]]], (2649 ^ _35724) ^ [_72612] : [icext(_72319, _72612), 2653 ^ _35724 : [(2654 ^ _35724) ^ [] : [-(iext(_72317, _72612, 2652 ^ [_72317, _72319, _72612]))], (2656 ^ _35724) ^ [_72924, _72926] : [-(_72924 = _72926), iext(_72317, _72612, _72926), iext(_72317, _72612, _72924)]]]]], (2682 ^ _35724) ^ [_73922, _73924] : [iext(uri_owl_cardinality, _73924, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _73924, _73922), 2689 ^ _35724 : [(2720 ^ _35724) ^ [_75416] : [-(icext(_73924, _75416)), 2736 ^ _35724 : [(2737 ^ _35724) ^ [] : [-(iext(_73922, _75416, 2733 ^ [_73922, _73924, _75416]))], (2739 ^ _35724) ^ [] : [-(iext(_73922, _75416, 2734 ^ [_73922, _73924, _75416]))], (2741 ^ _35724) ^ [] : [-(iext(_73922, _75416, 2735 ^ [_73922, _73924, _75416]))], (2743 ^ _35724) ^ [] : [2735 ^ [_73922, _73924, _75416] = 2733 ^ [_73922, _73924, _75416]], (2745 ^ _35724) ^ [] : [2735 ^ [_73922, _73924, _75416] = 2734 ^ [_73922, _73924, _75416]]], 2723 ^ _35724 : [(2724 ^ _35724) ^ [_75627, _75629] : [iext(_73922, _75416, _75629), iext(_73922, _75416, _75627), -(_75629 = _75627)]]], (2690 ^ _35724) ^ [_74255] : [icext(_73924, _74255), 2695 ^ _35724 : [(2696 ^ _35724) ^ [] : [-(iext(_73922, _74255, 2693 ^ [_73922, _73924, _74255]))], (2698 ^ _35724) ^ [] : [-(iext(_73922, _74255, 2694 ^ [_73922, _73924, _74255]))], (2700 ^ _35724) ^ [] : [2693 ^ [_73922, _73924, _74255] = 2694 ^ [_73922, _73924, _74255]], (2702 ^ _35724) ^ [_74889, _74891, _74893] : [-(_74889 = _74893), -(_74889 = _74891), iext(_73922, _74255, _74893), iext(_73922, _74255, _74891), iext(_73922, _74255, _74889)]]]]], (2749 ^ _35724) ^ [_76728, _76730] : [iext(uri_owl_cardinality, _76730, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76730, _76728), 2756 ^ _35724 : [(2757 ^ _35724) ^ [_77107] : [icext(_76730, _77107), 2763 ^ _35724 : [(2764 ^ _35724) ^ [] : [-(iext(_76728, _77107, 2760 ^ [_76728, _76730, _77107]))], (2766 ^ _35724) ^ [] : [-(iext(_76728, _77107, 2761 ^ [_76728, _76730, _77107]))], (2768 ^ _35724) ^ [] : [-(iext(_76728, _77107, 2762 ^ [_76728, _76730, _77107]))], (2770 ^ _35724) ^ [] : [2760 ^ [_76728, _76730, _77107] = 2761 ^ [_76728, _76730, _77107]], (2772 ^ _35724) ^ [] : [2760 ^ [_76728, _76730, _77107] = 2762 ^ [_76728, _76730, _77107]], (2774 ^ _35724) ^ [] : [2761 ^ [_76728, _76730, _77107] = 2762 ^ [_76728, _76730, _77107]], (2776 ^ _35724) ^ [_78262, _78264, _78266, _78268] : [-(_78262 = _78268), -(_78262 = _78266), -(_78262 = _78264), iext(_76728, _77107, _78268), iext(_76728, _77107, _78266), iext(_76728, _77107, _78264), iext(_76728, _77107, _78262)]]], (2802 ^ _35724) ^ [_79036] : [-(icext(_76730, _79036)), 2831 ^ _35724 : [(2832 ^ _35724) ^ [] : [-(iext(_76728, _79036, 2827 ^ [_76728, _76730, _79036]))], (2834 ^ _35724) ^ [] : [-(iext(_76728, _79036, 2828 ^ [_76728, _76730, _79036]))], (2836 ^ _35724) ^ [] : [-(iext(_76728, _79036, 2829 ^ [_76728, _76730, _79036]))], (2838 ^ _35724) ^ [] : [-(iext(_76728, _79036, 2830 ^ [_76728, _76730, _79036]))], (2840 ^ _35724) ^ [] : [2830 ^ [_76728, _76730, _79036] = 2827 ^ [_76728, _76730, _79036]], (2842 ^ _35724) ^ [] : [2830 ^ [_76728, _76730, _79036] = 2828 ^ [_76728, _76730, _79036]], (2844 ^ _35724) ^ [] : [2830 ^ [_76728, _76730, _79036] = 2829 ^ [_76728, _76730, _79036]]], 2805 ^ _35724 : [(2806 ^ _35724) ^ [_79307, _79309, _79311] : [iext(_76728, _79036, _79311), iext(_76728, _79036, _79309), iext(_76728, _79036, _79307), -(_79311 = _79309), -(_79311 = _79307), -(_79309 = _79307)]]]]], (2848 ^ _35724) ^ [_81121, _81123, _81125] : [iext(uri_owl_qualifiedCardinality, _81125, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _81125, _81123), iext(uri_owl_onDataRange, _81125, _81121), 2859 ^ _35724 : [(2860 ^ _35724) ^ [] : [-(iodp(_81123))], (2876 ^ _35724) ^ [_82026] : [2878 ^ _35724 : [(2879 ^ _35724) ^ [] : [-(lv(2877 ^ [_81121, _81123, _81125, _82026]))], (2881 ^ _35724) ^ [] : [-(iext(_81123, _82026, 2877 ^ [_81121, _81123, _81125, _82026]))], (2883 ^ _35724) ^ [] : [-(icext(_81121, 2877 ^ [_81121, _81123, _81125, _82026]))]], -(icext(_81125, _82026))], (2862 ^ _35724) ^ [_81574] : [icext(_81125, _81574), 2865 ^ _35724 : [(2866 ^ _35724) ^ [_81733] : [lv(_81733), iext(_81123, _81574, _81733), icext(_81121, _81733)]]]]], (2887 ^ _35724) ^ [_82544, _82546, _82548] : [iext(uri_owl_qualifiedCardinality, _82548, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _82548, _82546), iext(uri_owl_onDataRange, _82548, _82544), 2898 ^ _35724 : [(2899 ^ _35724) ^ [] : [-(iodp(_82546))], (2938 ^ _35724) ^ [_84312] : [-(icext(_82548, _84312)), 2953 ^ _35724 : [(2954 ^ _35724) ^ [] : [-(lv(2951 ^ [_82544, _82546, _82548, _84312]))], (2956 ^ _35724) ^ [] : [-(iext(_82546, _84312, 2951 ^ [_82544, _82546, _82548, _84312]))], (2958 ^ _35724) ^ [] : [-(icext(_82544, 2951 ^ [_82544, _82546, _82548, _84312]))], (2960 ^ _35724) ^ [] : [-(lv(2952 ^ [_82544, _82546, _82548, _84312]))], (2962 ^ _35724) ^ [] : [-(iext(_82546, _84312, 2952 ^ [_82544, _82546, _82548, _84312]))], (2964 ^ _35724) ^ [] : [-(icext(_82544, 2952 ^ [_82544, _82546, _82548, _84312]))], (2966 ^ _35724) ^ [] : [2952 ^ [_82544, _82546, _82548, _84312] = 2951 ^ [_82544, _82546, _82548, _84312]]], 2941 ^ _35724 : [(2942 ^ _35724) ^ [_84510] : [lv(_84510), iext(_82546, _84312, _84510), icext(_82544, _84510)]]], (2901 ^ _35724) ^ [_83047] : [icext(_82548, _83047), 2905 ^ _35724 : [(2906 ^ _35724) ^ [] : [-(lv(2904 ^ [_82544, _82546, _82548, _83047]))], (2908 ^ _35724) ^ [] : [-(iext(_82546, _83047, 2904 ^ [_82544, _82546, _82548, _83047]))], (2910 ^ _35724) ^ [] : [-(icext(_82544, 2904 ^ [_82544, _82546, _82548, _83047]))], (2912 ^ _35724) ^ [_83582, _83584] : [-(_83582 = _83584), lv(_83584), iext(_82546, _83047, _83584), icext(_82544, _83584), lv(_83582), iext(_82546, _83047, _83582), icext(_82544, _83582)]]]]], (2970 ^ _35724) ^ [_85739, _85741, _85743] : [iext(uri_owl_qualifiedCardinality, _85743, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _85743, _85741), iext(uri_owl_onDataRange, _85743, _85739), 2981 ^ _35724 : [(2982 ^ _35724) ^ [] : [-(iodp(_85741))], (3046 ^ _35724) ^ [_88622] : [-(icext(_85743, _88622)), 3078 ^ _35724 : [(3079 ^ _35724) ^ [] : [-(lv(3075 ^ [_85739, _85741, _85743, _88622]))], (3081 ^ _35724) ^ [] : [-(iext(_85741, _88622, 3075 ^ [_85739, _85741, _85743, _88622]))], (3083 ^ _35724) ^ [] : [-(icext(_85739, 3075 ^ [_85739, _85741, _85743, _88622]))], (3085 ^ _35724) ^ [] : [-(lv(3076 ^ [_85739, _85741, _85743, _88622]))], (3087 ^ _35724) ^ [] : [-(iext(_85741, _88622, 3076 ^ [_85739, _85741, _85743, _88622]))], (3089 ^ _35724) ^ [] : [-(icext(_85739, 3076 ^ [_85739, _85741, _85743, _88622]))], (3091 ^ _35724) ^ [] : [-(lv(3077 ^ [_85739, _85741, _85743, _88622]))], (3093 ^ _35724) ^ [] : [-(iext(_85741, _88622, 3077 ^ [_85739, _85741, _85743, _88622]))], (3095 ^ _35724) ^ [] : [-(icext(_85739, 3077 ^ [_85739, _85741, _85743, _88622]))], (3097 ^ _35724) ^ [] : [3077 ^ [_85739, _85741, _85743, _88622] = 3075 ^ [_85739, _85741, _85743, _88622]], (3099 ^ _35724) ^ [] : [3077 ^ [_85739, _85741, _85743, _88622] = 3076 ^ [_85739, _85741, _85743, _88622]]], 3049 ^ _35724 : [(3050 ^ _35724) ^ [_88894, _88896] : [lv(_88896), iext(_85741, _88622, _88896), icext(_85739, _88896), lv(_88894), iext(_85741, _88622, _88894), icext(_85739, _88894), -(_88896 = _88894)]]], (2984 ^ _35724) ^ [_86302] : [icext(_85743, _86302), 2989 ^ _35724 : [(2990 ^ _35724) ^ [] : [-(lv(2987 ^ [_85739, _85741, _85743, _86302]))], (2992 ^ _35724) ^ [] : [-(iext(_85741, _86302, 2987 ^ [_85739, _85741, _85743, _86302]))], (2994 ^ _35724) ^ [] : [-(icext(_85739, 2987 ^ [_85739, _85741, _85743, _86302]))], (2996 ^ _35724) ^ [] : [-(lv(2988 ^ [_85739, _85741, _85743, _86302]))], (2998 ^ _35724) ^ [] : [-(iext(_85741, _86302, 2988 ^ [_85739, _85741, _85743, _86302]))], (3000 ^ _35724) ^ [] : [-(icext(_85739, 2988 ^ [_85739, _85741, _85743, _86302]))], (3002 ^ _35724) ^ [] : [2987 ^ [_85739, _85741, _85743, _86302] = 2988 ^ [_85739, _85741, _85743, _86302]], (3004 ^ _35724) ^ [_87419, _87421, _87423] : [-(_87419 = _87423), -(_87419 = _87421), lv(_87423), iext(_85741, _86302, _87423), icext(_85739, _87423), lv(_87421), iext(_85741, _86302, _87421), icext(_85739, _87421), lv(_87419), iext(_85741, _86302, _87419), icext(_85739, _87419)]]]]], (3103 ^ _35724) ^ [_91163, _91165, _91167] : [iext(uri_owl_qualifiedCardinality, _91167, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _91167, _91165), iext(uri_owl_onDataRange, _91167, _91163), 3114 ^ _35724 : [(3115 ^ _35724) ^ [] : [-(iodp(_91165))], (3206 ^ _35724) ^ [_95462] : [-(icext(_91167, _95462)), 3259 ^ _35724 : [(3260 ^ _35724) ^ [] : [-(lv(3255 ^ [_91163, _91165, _91167, _95462]))], (3262 ^ _35724) ^ [] : [-(iext(_91165, _95462, 3255 ^ [_91163, _91165, _91167, _95462]))], (3264 ^ _35724) ^ [] : [-(icext(_91163, 3255 ^ [_91163, _91165, _91167, _95462]))], (3266 ^ _35724) ^ [] : [-(lv(3256 ^ [_91163, _91165, _91167, _95462]))], (3268 ^ _35724) ^ [] : [-(iext(_91165, _95462, 3256 ^ [_91163, _91165, _91167, _95462]))], (3270 ^ _35724) ^ [] : [-(icext(_91163, 3256 ^ [_91163, _91165, _91167, _95462]))], (3272 ^ _35724) ^ [] : [-(lv(3257 ^ [_91163, _91165, _91167, _95462]))], (3274 ^ _35724) ^ [] : [-(iext(_91165, _95462, 3257 ^ [_91163, _91165, _91167, _95462]))], (3276 ^ _35724) ^ [] : [-(icext(_91163, 3257 ^ [_91163, _91165, _91167, _95462]))], (3278 ^ _35724) ^ [] : [-(lv(3258 ^ [_91163, _91165, _91167, _95462]))], (3280 ^ _35724) ^ [] : [-(iext(_91165, _95462, 3258 ^ [_91163, _91165, _91167, _95462]))], (3282 ^ _35724) ^ [] : [-(icext(_91163, 3258 ^ [_91163, _91165, _91167, _95462]))], (3284 ^ _35724) ^ [] : [3258 ^ [_91163, _91165, _91167, _95462] = 3255 ^ [_91163, _91165, _91167, _95462]], (3286 ^ _35724) ^ [] : [3258 ^ [_91163, _91165, _91167, _95462] = 3256 ^ [_91163, _91165, _91167, _95462]], (3288 ^ _35724) ^ [] : [3258 ^ [_91163, _91165, _91167, _95462] = 3257 ^ [_91163, _91165, _91167, _95462]]], 3209 ^ _35724 : [(3210 ^ _35724) ^ [_95816, _95818, _95820] : [lv(_95820), iext(_91165, _95462, _95820), icext(_91163, _95820), lv(_95818), iext(_91165, _95462, _95818), icext(_91163, _95818), lv(_95816), iext(_91165, _95462, _95816), icext(_91163, _95816), -(_95820 = _95818), -(_95820 = _95816), -(_95818 = _95816)]]], (3117 ^ _35724) ^ [_91794] : [icext(_91167, _91794), 3123 ^ _35724 : [(3124 ^ _35724) ^ [] : [-(lv(3120 ^ [_91163, _91165, _91167, _91794]))], (3126 ^ _35724) ^ [] : [-(iext(_91165, _91794, 3120 ^ [_91163, _91165, _91167, _91794]))], (3128 ^ _35724) ^ [] : [-(icext(_91163, 3120 ^ [_91163, _91165, _91167, _91794]))], (3130 ^ _35724) ^ [] : [-(lv(3121 ^ [_91163, _91165, _91167, _91794]))], (3132 ^ _35724) ^ [] : [-(iext(_91165, _91794, 3121 ^ [_91163, _91165, _91167, _91794]))], (3134 ^ _35724) ^ [] : [-(icext(_91163, 3121 ^ [_91163, _91165, _91167, _91794]))], (3136 ^ _35724) ^ [] : [-(lv(3122 ^ [_91163, _91165, _91167, _91794]))], (3138 ^ _35724) ^ [] : [-(iext(_91165, _91794, 3122 ^ [_91163, _91165, _91167, _91794]))], (3140 ^ _35724) ^ [] : [-(icext(_91163, 3122 ^ [_91163, _91165, _91167, _91794]))], (3142 ^ _35724) ^ [] : [3120 ^ [_91163, _91165, _91167, _91794] = 3121 ^ [_91163, _91165, _91167, _91794]], (3144 ^ _35724) ^ [] : [3120 ^ [_91163, _91165, _91167, _91794] = 3122 ^ [_91163, _91165, _91167, _91794]], (3146 ^ _35724) ^ [] : [3121 ^ [_91163, _91165, _91167, _91794] = 3122 ^ [_91163, _91165, _91167, _91794]], (3148 ^ _35724) ^ [_93752, _93754, _93756, _93758] : [-(_93752 = _93758), -(_93752 = _93756), -(_93752 = _93754), lv(_93758), iext(_91165, _91794, _93758), icext(_91163, _93758), lv(_93756), iext(_91165, _91794, _93756), icext(_91163, _93756), lv(_93754), iext(_91165, _91794, _93754), icext(_91163, _93754), lv(_93752), iext(_91165, _91794, _93752), icext(_91163, _93752)]]]]], (3292 ^ _35724) ^ [_99366, _99368, _99370] : [iext(uri_owl_qualifiedCardinality, _99370, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99370, _99368), iext(uri_owl_onClass, _99370, _99366), 3303 ^ _35724 : [(3314 ^ _35724) ^ [_100090] : [3316 ^ _35724 : [(3317 ^ _35724) ^ [] : [-(iext(_99368, _100090, 3315 ^ [_99366, _99368, _99370, _100090]))], (3319 ^ _35724) ^ [] : [-(icext(_99366, 3315 ^ [_99366, _99368, _99370, _100090]))]], -(icext(_99370, _100090))], (3304 ^ _35724) ^ [_99742] : [icext(_99370, _99742), 3307 ^ _35724 : [(3308 ^ _35724) ^ [_99896] : [iext(_99368, _99742, _99896), icext(_99366, _99896)]]]]], (3323 ^ _35724) ^ [_100514, _100516, _100518] : [iext(uri_owl_qualifiedCardinality, _100518, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _100518, _100516), iext(uri_owl_onClass, _100518, _100514), 3334 ^ _35724 : [(3362 ^ _35724) ^ [_101885] : [-(icext(_100518, _101885)), 3373 ^ _35724 : [(3374 ^ _35724) ^ [] : [-(iext(_100516, _101885, 3371 ^ [_100514, _100516, _100518, _101885]))], (3376 ^ _35724) ^ [] : [-(icext(_100514, 3371 ^ [_100514, _100516, _100518, _101885]))], (3378 ^ _35724) ^ [] : [-(iext(_100516, _101885, 3372 ^ [_100514, _100516, _100518, _101885]))], (3380 ^ _35724) ^ [] : [-(icext(_100514, 3372 ^ [_100514, _100516, _100518, _101885]))], (3382 ^ _35724) ^ [] : [3372 ^ [_100514, _100516, _100518, _101885] = 3371 ^ [_100514, _100516, _100518, _101885]]], 3365 ^ _35724 : [(3366 ^ _35724) ^ [_102068] : [iext(_100516, _101885, _102068), icext(_100514, _102068)]]], (3335 ^ _35724) ^ [_100930] : [icext(_100518, _100930), 3339 ^ _35724 : [(3340 ^ _35724) ^ [] : [-(iext(_100516, _100930, 3338 ^ [_100514, _100516, _100518, _100930]))], (3342 ^ _35724) ^ [] : [-(icext(_100514, 3338 ^ [_100514, _100516, _100518, _100930]))], (3344 ^ _35724) ^ [_101363, _101365] : [-(_101363 = _101365), iext(_100516, _100930, _101365), icext(_100514, _101365), iext(_100516, _100930, _101363), icext(_100514, _101363)]]]]], (3386 ^ _35724) ^ [_102997, _102999, _103001] : [iext(uri_owl_qualifiedCardinality, _103001, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103001, _102999), iext(uri_owl_onClass, _103001, _102997), 3397 ^ _35724 : [(3444 ^ _35724) ^ [_105238] : [-(icext(_103001, _105238)), 3468 ^ _35724 : [(3469 ^ _35724) ^ [] : [-(iext(_102999, _105238, 3465 ^ [_102997, _102999, _103001, _105238]))], (3471 ^ _35724) ^ [] : [-(icext(_102997, 3465 ^ [_102997, _102999, _103001, _105238]))], (3473 ^ _35724) ^ [] : [-(iext(_102999, _105238, 3466 ^ [_102997, _102999, _103001, _105238]))], (3475 ^ _35724) ^ [] : [-(icext(_102997, 3466 ^ [_102997, _102999, _103001, _105238]))], (3477 ^ _35724) ^ [] : [-(iext(_102999, _105238, 3467 ^ [_102997, _102999, _103001, _105238]))], (3479 ^ _35724) ^ [] : [-(icext(_102997, 3467 ^ [_102997, _102999, _103001, _105238]))], (3481 ^ _35724) ^ [] : [3467 ^ [_102997, _102999, _103001, _105238] = 3465 ^ [_102997, _102999, _103001, _105238]], (3483 ^ _35724) ^ [] : [3467 ^ [_102997, _102999, _103001, _105238] = 3466 ^ [_102997, _102999, _103001, _105238]]], 3447 ^ _35724 : [(3448 ^ _35724) ^ [_105485, _105487] : [iext(_102999, _105238, _105487), icext(_102997, _105487), iext(_102999, _105238, _105485), icext(_102997, _105485), -(_105487 = _105485)]]], (3398 ^ _35724) ^ [_103463] : [icext(_103001, _103463), 3403 ^ _35724 : [(3404 ^ _35724) ^ [] : [-(iext(_102999, _103463, 3401 ^ [_102997, _102999, _103001, _103463]))], (3406 ^ _35724) ^ [] : [-(icext(_102997, 3401 ^ [_102997, _102999, _103001, _103463]))], (3408 ^ _35724) ^ [] : [-(iext(_102999, _103463, 3402 ^ [_102997, _102999, _103001, _103463]))], (3410 ^ _35724) ^ [] : [-(icext(_102997, 3402 ^ [_102997, _102999, _103001, _103463]))], (3412 ^ _35724) ^ [] : [3401 ^ [_102997, _102999, _103001, _103463] = 3402 ^ [_102997, _102999, _103001, _103463]], (3414 ^ _35724) ^ [_104360, _104362, _104364] : [-(_104360 = _104364), -(_104360 = _104362), iext(_102999, _103463, _104364), icext(_102997, _104364), iext(_102999, _103463, _104362), icext(_102997, _104362), iext(_102999, _103463, _104360), icext(_102997, _104360)]]]]], (3487 ^ _35724) ^ [_107216, _107218, _107220] : [iext(uri_owl_qualifiedCardinality, _107220, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _107220, _107218), iext(uri_owl_onClass, _107220, _107216), 3498 ^ _35724 : [(3566 ^ _35724) ^ [_110599] : [-(icext(_107220, _110599)), 3607 ^ _35724 : [(3608 ^ _35724) ^ [] : [-(iext(_107218, _110599, 3603 ^ [_107216, _107218, _107220, _110599]))], (3610 ^ _35724) ^ [] : [-(icext(_107216, 3603 ^ [_107216, _107218, _107220, _110599]))], (3612 ^ _35724) ^ [] : [-(iext(_107218, _110599, 3604 ^ [_107216, _107218, _107220, _110599]))], (3614 ^ _35724) ^ [] : [-(icext(_107216, 3604 ^ [_107216, _107218, _107220, _110599]))], (3616 ^ _35724) ^ [] : [-(iext(_107218, _110599, 3605 ^ [_107216, _107218, _107220, _110599]))], (3618 ^ _35724) ^ [] : [-(icext(_107216, 3605 ^ [_107216, _107218, _107220, _110599]))], (3620 ^ _35724) ^ [] : [-(iext(_107218, _110599, 3606 ^ [_107216, _107218, _107220, _110599]))], (3622 ^ _35724) ^ [] : [-(icext(_107216, 3606 ^ [_107216, _107218, _107220, _110599]))], (3624 ^ _35724) ^ [] : [3606 ^ [_107216, _107218, _107220, _110599] = 3603 ^ [_107216, _107218, _107220, _110599]], (3626 ^ _35724) ^ [] : [3606 ^ [_107216, _107218, _107220, _110599] = 3604 ^ [_107216, _107218, _107220, _110599]], (3628 ^ _35724) ^ [] : [3606 ^ [_107216, _107218, _107220, _110599] = 3605 ^ [_107216, _107218, _107220, _110599]]], 3569 ^ _35724 : [(3570 ^ _35724) ^ [_110918, _110920, _110922] : [iext(_107218, _110599, _110922), icext(_107216, _110922), iext(_107218, _110599, _110920), icext(_107216, _110920), iext(_107218, _110599, _110918), icext(_107216, _110918), -(_110922 = _110920), -(_110922 = _110918), -(_110920 = _110918)]]], (3499 ^ _35724) ^ [_107740] : [icext(_107220, _107740), 3505 ^ _35724 : [(3506 ^ _35724) ^ [] : [-(iext(_107218, _107740, 3502 ^ [_107216, _107218, _107220, _107740]))], (3508 ^ _35724) ^ [] : [-(icext(_107216, 3502 ^ [_107216, _107218, _107220, _107740]))], (3510 ^ _35724) ^ [] : [-(iext(_107218, _107740, 3503 ^ [_107216, _107218, _107220, _107740]))], (3512 ^ _35724) ^ [] : [-(icext(_107216, 3503 ^ [_107216, _107218, _107220, _107740]))], (3514 ^ _35724) ^ [] : [-(iext(_107218, _107740, 3504 ^ [_107216, _107218, _107220, _107740]))], (3516 ^ _35724) ^ [] : [-(icext(_107216, 3504 ^ [_107216, _107218, _107220, _107740]))], (3518 ^ _35724) ^ [] : [3502 ^ [_107216, _107218, _107220, _107740] = 3503 ^ [_107216, _107218, _107220, _107740]], (3520 ^ _35724) ^ [] : [3502 ^ [_107216, _107218, _107220, _107740] = 3504 ^ [_107216, _107218, _107220, _107740]], (3522 ^ _35724) ^ [] : [3503 ^ [_107216, _107218, _107220, _107740] = 3504 ^ [_107216, _107218, _107220, _107740]], (3524 ^ _35724) ^ [_109339, _109341, _109343, _109345] : [-(_109339 = _109345), -(_109339 = _109343), -(_109339 = _109341), iext(_107218, _107740, _109345), icext(_107216, _109345), iext(_107218, _107740, _109343), icext(_107216, _109343), iext(_107218, _107740, _109341), icext(_107216, _109341), iext(_107218, _107740, _109339), icext(_107216, _109339)]]]]], (3632 ^ _35724) ^ [_113663, _113665, _113667] : [iext(uri_owl_hasSelf, _113667, _113663), iext(uri_owl_onProperty, _113667, _113665), 3639 ^ _35724 : [(3640 ^ _35724) ^ [_113931] : [icext(_113667, _113931), -(iext(_113665, _113931, _113931))], (3646 ^ _35724) ^ [_114113] : [iext(_113665, _114113, _114113), -(icext(_113667, _114113))]]], (3652 ^ _35724) ^ [_114366, _114368, _114370] : [iext(uri_owl_hasValue, _114370, _114366), iext(uri_owl_onProperty, _114370, _114368), 3659 ^ _35724 : [(3660 ^ _35724) ^ [_114634] : [icext(_114370, _114634), -(iext(_114368, _114634, _114366))], (3666 ^ _35724) ^ [_114816] : [iext(_114368, _114816, _114366), -(icext(_114370, _114816))]]], (3672 ^ _35724) ^ [_115055, _115057] : [iext(uri_owl_maxCardinality, _115057, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115057, _115055), 3679 ^ _35724 : [(3680 ^ _35724) ^ [_115322] : [icext(_115057, _115322), 3683 ^ _35724 : [(3684 ^ _35724) ^ [_115448] : [iext(_115055, _115322, _115448)]]], (3686 ^ _35724) ^ [_115519] : [-(iext(_115055, _115519, 3687 ^ [_115055, _115057, _115519])), -(icext(_115057, _115519))]]], (3693 ^ _35724) ^ [_115817, _115819] : [iext(uri_owl_maxCardinality, _115819, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115819, _115817), 3700 ^ _35724 : [(3715 ^ _35724) ^ [_116568] : [3718 ^ _35724 : [(3719 ^ _35724) ^ [] : [-(iext(_115817, _116568, 3716 ^ [_115817, _115819, _116568]))], (3721 ^ _35724) ^ [] : [-(iext(_115817, _116568, 3717 ^ [_115817, _115819, _116568]))], (3723 ^ _35724) ^ [] : [3717 ^ [_115817, _115819, _116568] = 3716 ^ [_115817, _115819, _116568]]], -(icext(_115819, _116568))], (3701 ^ _35724) ^ [_116100] : [icext(_115819, _116100), 3704 ^ _35724 : [(3705 ^ _35724) ^ [_116272, _116274] : [-(_116272 = _116274), iext(_115817, _116100, _116274), iext(_115817, _116100, _116272)]]]]], (3727 ^ _35724) ^ [_117151, _117153] : [iext(uri_owl_maxCardinality, _117153, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117153, _117151), 3734 ^ _35724 : [(3757 ^ _35724) ^ [_118177] : [3761 ^ _35724 : [(3762 ^ _35724) ^ [] : [-(iext(_117151, _118177, 3758 ^ [_117151, _117153, _118177]))], (3764 ^ _35724) ^ [] : [-(iext(_117151, _118177, 3759 ^ [_117151, _117153, _118177]))], (3766 ^ _35724) ^ [] : [-(iext(_117151, _118177, 3760 ^ [_117151, _117153, _118177]))], (3768 ^ _35724) ^ [] : [3760 ^ [_117151, _117153, _118177] = 3758 ^ [_117151, _117153, _118177]], (3770 ^ _35724) ^ [] : [3760 ^ [_117151, _117153, _118177] = 3759 ^ [_117151, _117153, _118177]]], -(icext(_117153, _118177))], (3735 ^ _35724) ^ [_117452] : [icext(_117153, _117452), 3738 ^ _35724 : [(3739 ^ _35724) ^ [_117656, _117658, _117660] : [-(_117656 = _117660), -(_117656 = _117658), iext(_117151, _117452, _117660), iext(_117151, _117452, _117658), iext(_117151, _117452, _117656)]]]]], (3774 ^ _35724) ^ [_119095, _119097] : [iext(uri_owl_maxCardinality, _119097, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119097, _119095), 3781 ^ _35724 : [(3812 ^ _35724) ^ [_120412] : [3817 ^ _35724 : [(3818 ^ _35724) ^ [] : [-(iext(_119095, _120412, 3813 ^ [_119095, _119097, _120412]))], (3820 ^ _35724) ^ [] : [-(iext(_119095, _120412, 3814 ^ [_119095, _119097, _120412]))], (3822 ^ _35724) ^ [] : [-(iext(_119095, _120412, 3815 ^ [_119095, _119097, _120412]))], (3824 ^ _35724) ^ [] : [-(iext(_119095, _120412, 3816 ^ [_119095, _119097, _120412]))], (3826 ^ _35724) ^ [] : [3816 ^ [_119095, _119097, _120412] = 3813 ^ [_119095, _119097, _120412]], (3828 ^ _35724) ^ [] : [3816 ^ [_119095, _119097, _120412] = 3814 ^ [_119095, _119097, _120412]], (3830 ^ _35724) ^ [] : [3816 ^ [_119095, _119097, _120412] = 3815 ^ [_119095, _119097, _120412]]], -(icext(_119097, _120412))], (3782 ^ _35724) ^ [_119414] : [icext(_119097, _119414), 3785 ^ _35724 : [(3786 ^ _35724) ^ [_119650, _119652, _119654, _119656] : [-(_119650 = _119656), -(_119650 = _119654), -(_119650 = _119652), iext(_119095, _119414, _119656), iext(_119095, _119414, _119654), iext(_119095, _119414, _119652), iext(_119095, _119414, _119650)]]]]], (3834 ^ _35724) ^ [_121728, _121730, _121732] : [iext(uri_owl_maxQualifiedCardinality, _121732, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121732, _121730), iext(uri_owl_onDataRange, _121732, _121728), 3845 ^ _35724 : [(3846 ^ _35724) ^ [] : [-(iodp(_121730))], (3862 ^ _35724) ^ [_122633] : [3864 ^ _35724 : [(3865 ^ _35724) ^ [] : [-(lv(3863 ^ [_121728, _121730, _121732, _122633]))], (3867 ^ _35724) ^ [] : [-(iext(_121730, _122633, 3863 ^ [_121728, _121730, _121732, _122633]))], (3869 ^ _35724) ^ [] : [-(icext(_121728, 3863 ^ [_121728, _121730, _121732, _122633]))]], -(icext(_121732, _122633))], (3848 ^ _35724) ^ [_122181] : [icext(_121732, _122181), 3851 ^ _35724 : [(3852 ^ _35724) ^ [_122340] : [lv(_122340), iext(_121730, _122181, _122340), icext(_121728, _122340)]]]]], (3873 ^ _35724) ^ [_123151, _123153, _123155] : [iext(uri_owl_maxQualifiedCardinality, _123155, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _123155, _123153), iext(uri_owl_onDataRange, _123155, _123151), 3884 ^ _35724 : [(3885 ^ _35724) ^ [] : [-(iodp(_123153))], (3917 ^ _35724) ^ [_124555] : [3920 ^ _35724 : [(3921 ^ _35724) ^ [] : [-(lv(3918 ^ [_123151, _123153, _123155, _124555]))], (3923 ^ _35724) ^ [] : [-(iext(_123153, _124555, 3918 ^ [_123151, _123153, _123155, _124555]))], (3925 ^ _35724) ^ [] : [-(icext(_123151, 3918 ^ [_123151, _123153, _123155, _124555]))], (3927 ^ _35724) ^ [] : [-(lv(3919 ^ [_123151, _123153, _123155, _124555]))], (3929 ^ _35724) ^ [] : [-(iext(_123153, _124555, 3919 ^ [_123151, _123153, _123155, _124555]))], (3931 ^ _35724) ^ [] : [-(icext(_123151, 3919 ^ [_123151, _123153, _123155, _124555]))], (3933 ^ _35724) ^ [] : [3919 ^ [_123151, _123153, _123155, _124555] = 3918 ^ [_123151, _123153, _123155, _124555]]], -(icext(_123155, _124555))], (3887 ^ _35724) ^ [_123631] : [icext(_123155, _123631), 3890 ^ _35724 : [(3891 ^ _35724) ^ [_123831, _123833] : [-(_123831 = _123833), lv(_123833), iext(_123153, _123631, _123833), icext(_123151, _123833), lv(_123831), iext(_123153, _123631, _123831), icext(_123151, _123831)]]]]], (3937 ^ _35724) ^ [_125614, _125616, _125618] : [iext(uri_owl_maxQualifiedCardinality, _125618, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125618, _125616), iext(uri_owl_onDataRange, _125618, _125614), 3948 ^ _35724 : [(3949 ^ _35724) ^ [] : [-(iodp(_125616))], (3997 ^ _35724) ^ [_127555] : [4001 ^ _35724 : [(4002 ^ _35724) ^ [] : [-(lv(3998 ^ [_125614, _125616, _125618, _127555]))], (4004 ^ _35724) ^ [] : [-(iext(_125616, _127555, 3998 ^ [_125614, _125616, _125618, _127555]))], (4006 ^ _35724) ^ [] : [-(icext(_125614, 3998 ^ [_125614, _125616, _125618, _127555]))], (4008 ^ _35724) ^ [] : [-(lv(3999 ^ [_125614, _125616, _125618, _127555]))], (4010 ^ _35724) ^ [] : [-(iext(_125616, _127555, 3999 ^ [_125614, _125616, _125618, _127555]))], (4012 ^ _35724) ^ [] : [-(icext(_125614, 3999 ^ [_125614, _125616, _125618, _127555]))], (4014 ^ _35724) ^ [] : [-(lv(4000 ^ [_125614, _125616, _125618, _127555]))], (4016 ^ _35724) ^ [] : [-(iext(_125616, _127555, 4000 ^ [_125614, _125616, _125618, _127555]))], (4018 ^ _35724) ^ [] : [-(icext(_125614, 4000 ^ [_125614, _125616, _125618, _127555]))], (4020 ^ _35724) ^ [] : [4000 ^ [_125614, _125616, _125618, _127555] = 3998 ^ [_125614, _125616, _125618, _127555]], (4022 ^ _35724) ^ [] : [4000 ^ [_125614, _125616, _125618, _127555] = 3999 ^ [_125614, _125616, _125618, _127555]]], -(icext(_125618, _127555))], (3951 ^ _35724) ^ [_126123] : [icext(_125618, _126123), 3954 ^ _35724 : [(3955 ^ _35724) ^ [_126366, _126368, _126370] : [-(_126366 = _126370), -(_126366 = _126368), lv(_126370), iext(_125616, _126123, _126370), icext(_125614, _126370), lv(_126368), iext(_125616, _126123, _126368), icext(_125614, _126368), lv(_126366), iext(_125616, _126123, _126366), icext(_125614, _126366)]]]]], (4026 ^ _35724) ^ [_129250, _129252, _129254] : [iext(uri_owl_maxQualifiedCardinality, _129254, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _129254, _129252), iext(uri_owl_onDataRange, _129254, _129250), 4037 ^ _35724 : [(4038 ^ _35724) ^ [] : [-(iodp(_129252))], (4102 ^ _35724) ^ [_131760] : [4107 ^ _35724 : [(4108 ^ _35724) ^ [] : [-(lv(4103 ^ [_129250, _129252, _129254, _131760]))], (4110 ^ _35724) ^ [] : [-(iext(_129252, _131760, 4103 ^ [_129250, _129252, _129254, _131760]))], (4112 ^ _35724) ^ [] : [-(icext(_129250, 4103 ^ [_129250, _129252, _129254, _131760]))], (4114 ^ _35724) ^ [] : [-(lv(4104 ^ [_129250, _129252, _129254, _131760]))], (4116 ^ _35724) ^ [] : [-(iext(_129252, _131760, 4104 ^ [_129250, _129252, _129254, _131760]))], (4118 ^ _35724) ^ [] : [-(icext(_129250, 4104 ^ [_129250, _129252, _129254, _131760]))], (4120 ^ _35724) ^ [] : [-(lv(4105 ^ [_129250, _129252, _129254, _131760]))], (4122 ^ _35724) ^ [] : [-(iext(_129252, _131760, 4105 ^ [_129250, _129252, _129254, _131760]))], (4124 ^ _35724) ^ [] : [-(icext(_129250, 4105 ^ [_129250, _129252, _129254, _131760]))], (4126 ^ _35724) ^ [] : [-(lv(4106 ^ [_129250, _129252, _129254, _131760]))], (4128 ^ _35724) ^ [] : [-(iext(_129252, _131760, 4106 ^ [_129250, _129252, _129254, _131760]))], (4130 ^ _35724) ^ [] : [-(icext(_129250, 4106 ^ [_129250, _129252, _129254, _131760]))], (4132 ^ _35724) ^ [] : [4106 ^ [_129250, _129252, _129254, _131760] = 4103 ^ [_129250, _129252, _129254, _131760]], (4134 ^ _35724) ^ [] : [4106 ^ [_129250, _129252, _129254, _131760] = 4104 ^ [_129250, _129252, _129254, _131760]], (4136 ^ _35724) ^ [] : [4106 ^ [_129250, _129252, _129254, _131760] = 4105 ^ [_129250, _129252, _129254, _131760]]], -(icext(_129254, _131760))], (4040 ^ _35724) ^ [_129788] : [icext(_129254, _129788), 4043 ^ _35724 : [(4044 ^ _35724) ^ [_130074, _130076, _130078, _130080] : [-(_130074 = _130080), -(_130074 = _130078), -(_130074 = _130076), lv(_130080), iext(_129252, _129788, _130080), icext(_129250, _130080), lv(_130078), iext(_129252, _129788, _130078), icext(_129250, _130078), lv(_130076), iext(_129252, _129788, _130076), icext(_129250, _130076), lv(_130074), iext(_129252, _129788, _130074), icext(_129250, _130074)]]]]], (4140 ^ _35724) ^ [_134188, _134190, _134192] : [iext(uri_owl_maxQualifiedCardinality, _134192, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _134192, _134190), iext(uri_owl_onClass, _134192, _134188), 4151 ^ _35724 : [(4162 ^ _35724) ^ [_134912] : [4164 ^ _35724 : [(4165 ^ _35724) ^ [] : [-(iext(_134190, _134912, 4163 ^ [_134188, _134190, _134192, _134912]))], (4167 ^ _35724) ^ [] : [-(icext(_134188, 4163 ^ [_134188, _134190, _134192, _134912]))]], -(icext(_134192, _134912))], (4152 ^ _35724) ^ [_134564] : [icext(_134192, _134564), 4155 ^ _35724 : [(4156 ^ _35724) ^ [_134718] : [iext(_134190, _134564, _134718), icext(_134188, _134718)]]]]], (4171 ^ _35724) ^ [_135336, _135338, _135340] : [iext(uri_owl_maxQualifiedCardinality, _135340, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135340, _135338), iext(uri_owl_onClass, _135340, _135336), 4182 ^ _35724 : [(4205 ^ _35724) ^ [_136442] : [4208 ^ _35724 : [(4209 ^ _35724) ^ [] : [-(iext(_135338, _136442, 4206 ^ [_135336, _135338, _135340, _136442]))], (4211 ^ _35724) ^ [] : [-(icext(_135336, 4206 ^ [_135336, _135338, _135340, _136442]))], (4213 ^ _35724) ^ [] : [-(iext(_135338, _136442, 4207 ^ [_135336, _135338, _135340, _136442]))], (4215 ^ _35724) ^ [] : [-(icext(_135336, 4207 ^ [_135336, _135338, _135340, _136442]))], (4217 ^ _35724) ^ [] : [4207 ^ [_135336, _135338, _135340, _136442] = 4206 ^ [_135336, _135338, _135340, _136442]]], -(icext(_135340, _136442))], (4183 ^ _35724) ^ [_135734] : [icext(_135340, _135734), 4186 ^ _35724 : [(4187 ^ _35724) ^ [_135924, _135926] : [-(_135924 = _135926), iext(_135338, _135734, _135926), icext(_135336, _135926), iext(_135338, _135734, _135924), icext(_135336, _135924)]]]]], (4221 ^ _35724) ^ [_137290, _137292, _137294] : [iext(uri_owl_maxQualifiedCardinality, _137294, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137294, _137292), iext(uri_owl_onClass, _137294, _137290), 4232 ^ _35724 : [(4267 ^ _35724) ^ [_138808] : [4271 ^ _35724 : [(4272 ^ _35724) ^ [] : [-(iext(_137292, _138808, 4268 ^ [_137290, _137292, _137294, _138808]))], (4274 ^ _35724) ^ [] : [-(icext(_137290, 4268 ^ [_137290, _137292, _137294, _138808]))], (4276 ^ _35724) ^ [] : [-(iext(_137292, _138808, 4269 ^ [_137290, _137292, _137294, _138808]))], (4278 ^ _35724) ^ [] : [-(icext(_137290, 4269 ^ [_137290, _137292, _137294, _138808]))], (4280 ^ _35724) ^ [] : [-(iext(_137292, _138808, 4270 ^ [_137290, _137292, _137294, _138808]))], (4282 ^ _35724) ^ [] : [-(icext(_137290, 4270 ^ [_137290, _137292, _137294, _138808]))], (4284 ^ _35724) ^ [] : [4270 ^ [_137290, _137292, _137294, _138808] = 4268 ^ [_137290, _137292, _137294, _138808]], (4286 ^ _35724) ^ [] : [4270 ^ [_137290, _137292, _137294, _138808] = 4269 ^ [_137290, _137292, _137294, _138808]]], -(icext(_137294, _138808))], (4233 ^ _35724) ^ [_137712] : [icext(_137294, _137712), 4236 ^ _35724 : [(4237 ^ _35724) ^ [_137940, _137942, _137944] : [-(_137940 = _137944), -(_137940 = _137942), iext(_137292, _137712, _137944), icext(_137290, _137944), iext(_137292, _137712, _137942), icext(_137290, _137942), iext(_137292, _137712, _137940), icext(_137290, _137940)]]]]], (4290 ^ _35724) ^ [_140156, _140158, _140160] : [iext(uri_owl_maxQualifiedCardinality, _140160, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140160, _140158), iext(uri_owl_onClass, _140160, _140156), 4301 ^ _35724 : [(4348 ^ _35724) ^ [_142110] : [4353 ^ _35724 : [(4354 ^ _35724) ^ [] : [-(iext(_140158, _142110, 4349 ^ [_140156, _140158, _140160, _142110]))], (4356 ^ _35724) ^ [] : [-(icext(_140156, 4349 ^ [_140156, _140158, _140160, _142110]))], (4358 ^ _35724) ^ [] : [-(iext(_140158, _142110, 4350 ^ [_140156, _140158, _140160, _142110]))], (4360 ^ _35724) ^ [] : [-(icext(_140156, 4350 ^ [_140156, _140158, _140160, _142110]))], (4362 ^ _35724) ^ [] : [-(iext(_140158, _142110, 4351 ^ [_140156, _140158, _140160, _142110]))], (4364 ^ _35724) ^ [] : [-(icext(_140156, 4351 ^ [_140156, _140158, _140160, _142110]))], (4366 ^ _35724) ^ [] : [-(iext(_140158, _142110, 4352 ^ [_140156, _140158, _140160, _142110]))], (4368 ^ _35724) ^ [] : [-(icext(_140156, 4352 ^ [_140156, _140158, _140160, _142110]))], (4370 ^ _35724) ^ [] : [4352 ^ [_140156, _140158, _140160, _142110] = 4349 ^ [_140156, _140158, _140160, _142110]], (4372 ^ _35724) ^ [] : [4352 ^ [_140156, _140158, _140160, _142110] = 4350 ^ [_140156, _140158, _140160, _142110]], (4374 ^ _35724) ^ [] : [4352 ^ [_140156, _140158, _140160, _142110] = 4351 ^ [_140156, _140158, _140160, _142110]]], -(icext(_140160, _142110))], (4302 ^ _35724) ^ [_140602] : [icext(_140160, _140602), 4305 ^ _35724 : [(4306 ^ _35724) ^ [_140868, _140870, _140872, _140874] : [-(_140868 = _140874), -(_140868 = _140872), -(_140868 = _140870), iext(_140158, _140602, _140874), icext(_140156, _140874), iext(_140158, _140602, _140872), icext(_140156, _140872), iext(_140158, _140602, _140870), icext(_140156, _140870), iext(_140158, _140602, _140868), icext(_140156, _140868)]]]]], (4378 ^ _35724) ^ [_144020, _144022] : [4385 ^ _35724 : [(4386 ^ _35724) ^ [_144229] : [-(icext(_144022, _144229))]], iext(uri_owl_minCardinality, _144022, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144022, _144020)], (4388 ^ _35724) ^ [_144345, _144347] : [iext(uri_owl_minCardinality, _144347, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144347, _144345), 4395 ^ _35724 : [(4396 ^ _35724) ^ [_144610] : [icext(_144347, _144610), -(iext(_144345, _144610, 4399 ^ [_144345, _144347, _144610]))], (4403 ^ _35724) ^ [_144848] : [4404 ^ _35724 : [(4405 ^ _35724) ^ [_144925] : [iext(_144345, _144848, _144925)]], -(icext(_144347, _144848))]]], (4409 ^ _35724) ^ [_145101, _145103] : [iext(uri_owl_minCardinality, _145103, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145103, _145101), 4416 ^ _35724 : [(4417 ^ _35724) ^ [_145386] : [icext(_145103, _145386), 4422 ^ _35724 : [(4423 ^ _35724) ^ [] : [-(iext(_145101, _145386, 4420 ^ [_145101, _145103, _145386]))], (4425 ^ _35724) ^ [] : [-(iext(_145101, _145386, 4421 ^ [_145101, _145103, _145386]))], (4427 ^ _35724) ^ [] : [4420 ^ [_145101, _145103, _145386] = 4421 ^ [_145101, _145103, _145386]]]], (4429 ^ _35724) ^ [_145915] : [-(icext(_145103, _145915)), 4430 ^ _35724 : [(4431 ^ _35724) ^ [_146042, _146044] : [iext(_145101, _145915, _146044), iext(_145101, _145915, _146042), -(_146044 = _146042)]]]]], (4443 ^ _35724) ^ [_146445, _146447] : [iext(uri_owl_minCardinality, _146447, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146447, _146445), 4450 ^ _35724 : [(4451 ^ _35724) ^ [_146758] : [icext(_146447, _146758), 4457 ^ _35724 : [(4458 ^ _35724) ^ [] : [-(iext(_146445, _146758, 4454 ^ [_146445, _146447, _146758]))], (4460 ^ _35724) ^ [] : [-(iext(_146445, _146758, 4455 ^ [_146445, _146447, _146758]))], (4462 ^ _35724) ^ [] : [-(iext(_146445, _146758, 4456 ^ [_146445, _146447, _146758]))], (4464 ^ _35724) ^ [] : [4454 ^ [_146445, _146447, _146758] = 4455 ^ [_146445, _146447, _146758]], (4466 ^ _35724) ^ [] : [4454 ^ [_146445, _146447, _146758] = 4456 ^ [_146445, _146447, _146758]], (4468 ^ _35724) ^ [] : [4455 ^ [_146445, _146447, _146758] = 4456 ^ [_146445, _146447, _146758]]]], (4470 ^ _35724) ^ [_147776] : [-(icext(_146447, _147776)), 4471 ^ _35724 : [(4472 ^ _35724) ^ [_147945, _147947, _147949] : [iext(_146445, _147776, _147949), iext(_146445, _147776, _147947), iext(_146445, _147776, _147945), -(_147949 = _147947), -(_147949 = _147945), -(_147947 = _147945)]]]]], (4496 ^ _35724) ^ [_148695, _148697, _148699] : [4507 ^ _35724 : [(4508 ^ _35724) ^ [] : [-(iodp(_148697))], (4510 ^ _35724) ^ [_149079] : [-(icext(_148699, _149079))]], iext(uri_owl_minQualifiedCardinality, _148699, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148699, _148697), iext(uri_owl_onDataRange, _148699, _148695)], (4512 ^ _35724) ^ [_149213, _149215, _149217] : [iext(uri_owl_minQualifiedCardinality, _149217, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149217, _149215), iext(uri_owl_onDataRange, _149217, _149213), 4523 ^ _35724 : [(4524 ^ _35724) ^ [] : [-(iodp(_149215))], (4526 ^ _35724) ^ [_149664] : [icext(_149217, _149664), 4530 ^ _35724 : [(4531 ^ _35724) ^ [] : [-(lv(4529 ^ [_149213, _149215, _149217, _149664]))], (4533 ^ _35724) ^ [] : [-(iext(_149215, _149664, 4529 ^ [_149213, _149215, _149217, _149664]))], (4535 ^ _35724) ^ [] : [-(icext(_149213, 4529 ^ [_149213, _149215, _149217, _149664]))]]], (4537 ^ _35724) ^ [_150104] : [-(icext(_149217, _150104)), 4538 ^ _35724 : [(4539 ^ _35724) ^ [_150212] : [lv(_150212), iext(_149215, _150104, _150212), icext(_149213, _150212)]]]]], (4551 ^ _35724) ^ [_150630, _150632, _150634] : [iext(uri_owl_minQualifiedCardinality, _150634, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _150634, _150632), iext(uri_owl_onDataRange, _150634, _150630), 4562 ^ _35724 : [(4563 ^ _35724) ^ [] : [-(iodp(_150632))], (4565 ^ _35724) ^ [_151112] : [icext(_150634, _151112), 4570 ^ _35724 : [(4571 ^ _35724) ^ [] : [-(lv(4568 ^ [_150630, _150632, _150634, _151112]))], (4573 ^ _35724) ^ [] : [-(iext(_150632, _151112, 4568 ^ [_150630, _150632, _150634, _151112]))], (4575 ^ _35724) ^ [] : [-(icext(_150630, 4568 ^ [_150630, _150632, _150634, _151112]))], (4577 ^ _35724) ^ [] : [-(lv(4569 ^ [_150630, _150632, _150634, _151112]))], (4579 ^ _35724) ^ [] : [-(iext(_150632, _151112, 4569 ^ [_150630, _150632, _150634, _151112]))], (4581 ^ _35724) ^ [] : [-(icext(_150630, 4569 ^ [_150630, _150632, _150634, _151112]))], (4583 ^ _35724) ^ [] : [4568 ^ [_150630, _150632, _150634, _151112] = 4569 ^ [_150630, _150632, _150634, _151112]]]], (4585 ^ _35724) ^ [_152091] : [-(icext(_150634, _152091)), 4586 ^ _35724 : [(4587 ^ _35724) ^ [_152244, _152246] : [lv(_152246), iext(_150632, _152091, _152246), icext(_150630, _152246), lv(_152244), iext(_150632, _152091, _152244), icext(_150630, _152244), -(_152246 = _152244)]]]]], (4615 ^ _35724) ^ [_153095, _153097, _153099] : [iext(uri_owl_minQualifiedCardinality, _153099, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153099, _153097), iext(uri_owl_onDataRange, _153099, _153095), 4626 ^ _35724 : [(4627 ^ _35724) ^ [] : [-(iodp(_153097))], (4629 ^ _35724) ^ [_153616] : [icext(_153099, _153616), 4635 ^ _35724 : [(4636 ^ _35724) ^ [] : [-(lv(4632 ^ [_153095, _153097, _153099, _153616]))], (4638 ^ _35724) ^ [] : [-(iext(_153097, _153616, 4632 ^ [_153095, _153097, _153099, _153616]))], (4640 ^ _35724) ^ [] : [-(icext(_153095, 4632 ^ [_153095, _153097, _153099, _153616]))], (4642 ^ _35724) ^ [] : [-(lv(4633 ^ [_153095, _153097, _153099, _153616]))], (4644 ^ _35724) ^ [] : [-(iext(_153097, _153616, 4633 ^ [_153095, _153097, _153099, _153616]))], (4646 ^ _35724) ^ [] : [-(icext(_153095, 4633 ^ [_153095, _153097, _153099, _153616]))], (4648 ^ _35724) ^ [] : [-(lv(4634 ^ [_153095, _153097, _153099, _153616]))], (4650 ^ _35724) ^ [] : [-(iext(_153097, _153616, 4634 ^ [_153095, _153097, _153099, _153616]))], (4652 ^ _35724) ^ [] : [-(icext(_153095, 4634 ^ [_153095, _153097, _153099, _153616]))], (4654 ^ _35724) ^ [] : [4632 ^ [_153095, _153097, _153099, _153616] = 4633 ^ [_153095, _153097, _153099, _153616]], (4656 ^ _35724) ^ [] : [4632 ^ [_153095, _153097, _153099, _153616] = 4634 ^ [_153095, _153097, _153099, _153616]], (4658 ^ _35724) ^ [] : [4633 ^ [_153095, _153097, _153099, _153616] = 4634 ^ [_153095, _153097, _153099, _153616]]]], (4660 ^ _35724) ^ [_155393] : [-(icext(_153099, _155393)), 4661 ^ _35724 : [(4662 ^ _35724) ^ [_155599, _155601, _155603] : [lv(_155603), iext(_153097, _155393, _155603), icext(_153095, _155603), lv(_155601), iext(_153097, _155393, _155601), icext(_153095, _155601), lv(_155599), iext(_153097, _155393, _155599), icext(_153095, _155599), -(_155603 = _155601), -(_155603 = _155599), -(_155601 = _155599)]]]]], (4710 ^ _35724) ^ [_157027, _157029, _157031] : [4721 ^ _35724 : [(4722 ^ _35724) ^ [_157339] : [-(icext(_157031, _157339))]], iext(uri_owl_minQualifiedCardinality, _157031, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _157031, _157029), iext(uri_owl_onClass, _157031, _157027)], (4724 ^ _35724) ^ [_157471, _157473, _157475] : [iext(uri_owl_minQualifiedCardinality, _157475, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _157475, _157473), iext(uri_owl_onClass, _157475, _157471), 4735 ^ _35724 : [(4736 ^ _35724) ^ [_157845] : [icext(_157475, _157845), 4740 ^ _35724 : [(4741 ^ _35724) ^ [] : [-(iext(_157473, _157845, 4739 ^ [_157471, _157473, _157475, _157845]))], (4743 ^ _35724) ^ [] : [-(icext(_157471, 4739 ^ [_157471, _157473, _157475, _157845]))]]], (4745 ^ _35724) ^ [_158193] : [-(icext(_157475, _158193)), 4746 ^ _35724 : [(4747 ^ _35724) ^ [_158296] : [iext(_157473, _158193, _158296), icext(_157471, _158296)]]]]], (4755 ^ _35724) ^ [_158613, _158615, _158617] : [iext(uri_owl_minQualifiedCardinality, _158617, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _158617, _158615), iext(uri_owl_onClass, _158617, _158613), 4766 ^ _35724 : [(4767 ^ _35724) ^ [_159013] : [icext(_158617, _159013), 4772 ^ _35724 : [(4773 ^ _35724) ^ [] : [-(iext(_158615, _159013, 4770 ^ [_158613, _158615, _158617, _159013]))], (4775 ^ _35724) ^ [] : [-(icext(_158613, 4770 ^ [_158613, _158615, _158617, _159013]))], (4777 ^ _35724) ^ [] : [-(iext(_158615, _159013, 4771 ^ [_158613, _158615, _158617, _159013]))], (4779 ^ _35724) ^ [] : [-(icext(_158613, 4771 ^ [_158613, _158615, _158617, _159013]))], (4781 ^ _35724) ^ [] : [4770 ^ [_158613, _158615, _158617, _159013] = 4771 ^ [_158613, _158615, _158617, _159013]]]], (4783 ^ _35724) ^ [_159787] : [-(icext(_158617, _159787)), 4784 ^ _35724 : [(4785 ^ _35724) ^ [_159930, _159932] : [iext(_158615, _159787, _159932), icext(_158613, _159932), iext(_158615, _159787, _159930), icext(_158613, _159930), -(_159932 = _159930)]]]]], (4805 ^ _35724) ^ [_160573, _160575, _160577] : [iext(uri_owl_minQualifiedCardinality, _160577, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _160577, _160575), iext(uri_owl_onClass, _160577, _160573), 4816 ^ _35724 : [(4817 ^ _35724) ^ [_161007] : [icext(_160577, _161007), 4823 ^ _35724 : [(4824 ^ _35724) ^ [] : [-(iext(_160575, _161007, 4820 ^ [_160573, _160575, _160577, _161007]))], (4826 ^ _35724) ^ [] : [-(icext(_160573, 4820 ^ [_160573, _160575, _160577, _161007]))], (4828 ^ _35724) ^ [] : [-(iext(_160575, _161007, 4821 ^ [_160573, _160575, _160577, _161007]))], (4830 ^ _35724) ^ [] : [-(icext(_160573, 4821 ^ [_160573, _160575, _160577, _161007]))], (4832 ^ _35724) ^ [] : [-(iext(_160575, _161007, 4822 ^ [_160573, _160575, _160577, _161007]))], (4834 ^ _35724) ^ [] : [-(icext(_160573, 4822 ^ [_160573, _160575, _160577, _161007]))], (4836 ^ _35724) ^ [] : [4820 ^ [_160573, _160575, _160577, _161007] = 4821 ^ [_160573, _160575, _160577, _161007]], (4838 ^ _35724) ^ [] : [4820 ^ [_160573, _160575, _160577, _161007] = 4822 ^ [_160573, _160575, _160577, _161007]], (4840 ^ _35724) ^ [] : [4821 ^ [_160573, _160575, _160577, _161007] = 4822 ^ [_160573, _160575, _160577, _161007]]]], (4842 ^ _35724) ^ [_162445] : [-(icext(_160577, _162445)), 4843 ^ _35724 : [(4844 ^ _35724) ^ [_162636, _162638, _162640] : [iext(_160575, _162445, _162640), icext(_160573, _162640), iext(_160575, _162445, _162638), icext(_160573, _162638), iext(_160575, _162445, _162636), icext(_160573, _162636), -(_162640 = _162638), -(_162640 = _162636), -(_162638 = _162636)]]]]], (4880 ^ _35724) ^ [_163741, _163743, _163745] : [iext(uri_owl_someValuesFrom, _163745, _163741), iext(uri_owl_onProperty, _163745, _163743), 4887 ^ _35724 : [(4888 ^ _35724) ^ [_164020] : [icext(_163745, _164020), 4892 ^ _35724 : [(4893 ^ _35724) ^ [] : [-(iext(_163743, _164020, 4891 ^ [_163741, _163743, _163745, _164020]))], (4895 ^ _35724) ^ [] : [-(icext(_163741, 4891 ^ [_163741, _163743, _163745, _164020]))]]], (4897 ^ _35724) ^ [_164368] : [-(icext(_163745, _164368)), 4898 ^ _35724 : [(4899 ^ _35724) ^ [_164471] : [iext(_163743, _164368, _164471), icext(_163741, _164471)]]]]], (4907 ^ _35724) ^ [_164801, _164803] : [iext(uri_rdfs_domain, _164803, _164801), 4910 ^ _35724 : [(4911 ^ _35724) ^ [] : [-(ip(_164803))], (4913 ^ _35724) ^ [] : [-(ic(_164801))], (4915 ^ _35724) ^ [_165100, _165102] : [iext(_164803, _165102, _165100), -(icext(_164801, _165102))]]], (4921 ^ _35724) ^ [_165289, _165291] : [-(iext(uri_rdfs_domain, _165291, _165289)), ip(_165291), ic(_165289), 4932 ^ _35724 : [(4933 ^ _35724) ^ [] : [-(iext(_165291, 4930 ^ [_165289, _165291], 4931 ^ [_165289, _165291]))], (4935 ^ _35724) ^ [] : [icext(_165289, 4930 ^ [_165289, _165291])]]], (4939 ^ _35724) ^ [_165937, _165939] : [iext(uri_rdfs_range, _165939, _165937), 4942 ^ _35724 : [(4943 ^ _35724) ^ [] : [-(ip(_165939))], (4945 ^ _35724) ^ [] : [-(ip(_165937))], (4947 ^ _35724) ^ [_166236, _166238] : [iext(_165939, _166238, _166236), -(icext(_165937, _166236))]]], (4953 ^ _35724) ^ [_166425, _166427] : [-(iext(uri_rdfs_range, _166427, _166425)), ip(_166427), ip(_166425), 4964 ^ _35724 : [(4965 ^ _35724) ^ [] : [-(iext(_166427, 4962 ^ [_166425, _166427], 4963 ^ [_166425, _166427]))], (4967 ^ _35724) ^ [] : [icext(_166425, 4963 ^ [_166425, _166427])]]], (4971 ^ _35724) ^ [_167066, _167068] : [iext(uri_rdfs_subClassOf, _167068, _167066), 4974 ^ _35724 : [(4975 ^ _35724) ^ [] : [-(ic(_167068))], (4977 ^ _35724) ^ [] : [-(ic(_167066))], (4979 ^ _35724) ^ [_167345] : [icext(_167068, _167345), -(icext(_167066, _167345))]]], (4985 ^ _35724) ^ [_167526, _167528] : [-(iext(uri_rdfs_subClassOf, _167528, _167526)), ic(_167528), ic(_167526), 4995 ^ _35724 : [(4996 ^ _35724) ^ [] : [-(icext(_167528, 4994 ^ [_167526, _167528]))], (4998 ^ _35724) ^ [] : [icext(_167526, 4994 ^ [_167526, _167528])]]], (5002 ^ _35724) ^ [_168088, _168090] : [iext(uri_rdfs_subPropertyOf, _168090, _168088), 5005 ^ _35724 : [(5006 ^ _35724) ^ [] : [-(ip(_168090))], (5008 ^ _35724) ^ [] : [-(ip(_168088))], (5010 ^ _35724) ^ [_168388, _168390] : [iext(_168090, _168390, _168388), -(iext(_168088, _168390, _168388))]]], (5016 ^ _35724) ^ [_168579, _168581] : [-(iext(uri_rdfs_subPropertyOf, _168581, _168579)), ip(_168581), ip(_168579), 5027 ^ _35724 : [(5028 ^ _35724) ^ [] : [-(iext(_168581, 5025 ^ [_168579, _168581], 5026 ^ [_168579, _168581]))], (5030 ^ _35724) ^ [] : [iext(_168579, 5025 ^ [_168579, _168581], 5026 ^ [_168579, _168581])]]], (5034 ^ _35724) ^ [_169238, _169240] : [iext(uri_owl_differentFrom, _169240, _169238), _169240 = _169238], (5040 ^ _35724) ^ [_169403, _169405] : [-(_169405 = _169403), -(iext(uri_owl_differentFrom, _169405, _169403))], (5046 ^ _35724) ^ [_169635] : [iext(uri_owl_disjointUnionOf, _169635, uri_rdf_nil), 5049 ^ _35724 : [(5050 ^ _35724) ^ [] : [-(ic(_169635))], (5052 ^ _35724) ^ [_169818] : [icext(_169635, _169818)]]], (5054 ^ _35724) ^ [_169886] : [-(iext(uri_owl_disjointUnionOf, _169886, uri_rdf_nil)), ic(_169886), -(icext(_169886, 5059 ^ [_169886]))], (5065 ^ _35724) ^ [_170247, _170249, _170251] : [iext(uri_rdf_first, _170249, _170247), iext(uri_rdf_rest, _170249, uri_rdf_nil), 5072 ^ _35724 : [(5073 ^ _35724) ^ [] : [iext(uri_owl_disjointUnionOf, _170251, _170249), 5076 ^ _35724 : [(5077 ^ _35724) ^ [] : [-(ic(_170251))], (5079 ^ _35724) ^ [] : [-(ic(_170247))], (5081 ^ _35724) ^ [_170778] : [icext(_170251, _170778), -(icext(_170247, _170778))], (5087 ^ _35724) ^ [_170958] : [icext(_170247, _170958), -(icext(_170251, _170958))]]], (5093 ^ _35724) ^ [] : [-(iext(uri_owl_disjointUnionOf, _170251, _170249)), ic(_170251), ic(_170247), 5105 ^ _35724 : [(5106 ^ _35724) ^ [] : [-(icext(_170251, 5102 ^ [_170247, _170249, _170251]))], (5108 ^ _35724) ^ [] : [icext(_170247, 5102 ^ [_170247, _170249, _170251])]], 5109 ^ _35724 : [(5110 ^ _35724) ^ [] : [-(icext(_170247, 5102 ^ [_170247, _170249, _170251]))], (5112 ^ _35724) ^ [] : [icext(_170251, 5102 ^ [_170247, _170249, _170251])]]]]], (5116 ^ _35724) ^ [_171885, _171887, _171889, _171891, _171893] : [iext(uri_rdf_first, _171891, _171889), iext(uri_rdf_rest, _171891, _171887), iext(uri_rdf_first, _171887, _171885), iext(uri_rdf_rest, _171887, uri_rdf_nil), 5131 ^ _35724 : [(5172 ^ _35724) ^ [] : [-(iext(uri_owl_disjointUnionOf, _171893, _171891)), ic(_171893), ic(_171889), ic(_171885), 5188 ^ _35724 : [(5189 ^ _35724) ^ [] : [-(icext(_171893, 5185 ^ [_171885, _171887, _171889, _171891, _171893]))], (5191 ^ _35724) ^ [] : [5192 ^ _35724 : [(5193 ^ _35724) ^ [] : [icext(_171889, 5185 ^ [_171885, _171887, _171889, _171891, _171893])], (5195 ^ _35724) ^ [] : [icext(_171885, 5185 ^ [_171885, _171887, _171889, _171891, _171893])]], 5196 ^ _35724 : [(5197 ^ _35724) ^ [] : [-(icext(_171889, 5185 ^ [_171885, _171887, _171889, _171891, _171893]))], (5199 ^ _35724) ^ [] : [-(icext(_171885, 5185 ^ [_171885, _171887, _171889, _171891, _171893]))]]]], 5200 ^ _35724 : [(5213 ^ _35724) ^ [] : [icext(_171893, 5185 ^ [_171885, _171887, _171889, _171891, _171893])], (5201 ^ _35724) ^ [] : [-(icext(_171889, 5185 ^ [_171885, _171887, _171889, _171891, _171893])), -(icext(_171885, 5185 ^ [_171885, _171887, _171889, _171891, _171893]))], (5207 ^ _35724) ^ [] : [icext(_171889, 5185 ^ [_171885, _171887, _171889, _171891, _171893]), icext(_171885, 5185 ^ [_171885, _171887, _171889, _171891, _171893])]]], (5132 ^ _35724) ^ [] : [iext(uri_owl_disjointUnionOf, _171893, _171891), 5135 ^ _35724 : [(5136 ^ _35724) ^ [] : [-(ic(_171893))], (5138 ^ _35724) ^ [] : [-(ic(_171889))], (5140 ^ _35724) ^ [] : [-(ic(_171885))], (5158 ^ _35724) ^ [_173241] : [-(icext(_171893, _173241)), 5161 ^ _35724 : [(5162 ^ _35724) ^ [] : [icext(_171889, _173241)], (5164 ^ _35724) ^ [] : [icext(_171885, _173241)]], 5165 ^ _35724 : [(5166 ^ _35724) ^ [] : [-(icext(_171889, _173241))], (5168 ^ _35724) ^ [] : [-(icext(_171885, _173241))]]], (5142 ^ _35724) ^ [_172750] : [icext(_171893, _172750), 5145 ^ _35724 : [(5146 ^ _35724) ^ [] : [-(icext(_171889, _172750)), -(icext(_171885, _172750))], (5152 ^ _35724) ^ [] : [icext(_171889, _172750), icext(_171885, _172750)]]]]]]], (5217 ^ _35724) ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272] : [iext(uri_rdf_first, _175270, _175268), iext(uri_rdf_rest, _175270, _175266), iext(uri_rdf_first, _175266, _175264), iext(uri_rdf_rest, _175266, _175262), iext(uri_rdf_first, _175262, _175260), iext(uri_rdf_rest, _175262, uri_rdf_nil), 5240 ^ _35724 : [(5313 ^ _35724) ^ [] : [-(iext(uri_owl_disjointUnionOf, _175272, _175270)), ic(_175272), ic(_175268), ic(_175264), ic(_175260), 5333 ^ _35724 : [(5334 ^ _35724) ^ [] : [-(icext(_175272, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))], (5336 ^ _35724) ^ [] : [5337 ^ _35724 : [(5338 ^ _35724) ^ [] : [icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])], (5340 ^ _35724) ^ [] : [icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])], (5342 ^ _35724) ^ [] : [icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])]], 5345 ^ _35724 : [(5346 ^ _35724) ^ [] : [-(icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))], (5348 ^ _35724) ^ [] : [-(icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))]], 5351 ^ _35724 : [(5352 ^ _35724) ^ [] : [-(icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))], (5354 ^ _35724) ^ [] : [-(icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))]], 5355 ^ _35724 : [(5356 ^ _35724) ^ [] : [-(icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))], (5358 ^ _35724) ^ [] : [-(icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))]]]], 5359 ^ _35724 : [(5388 ^ _35724) ^ [] : [icext(_175272, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])], (5360 ^ _35724) ^ [] : [-(icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])), -(icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])), -(icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]))], (5370 ^ _35724) ^ [] : [icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]), icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])], (5376 ^ _35724) ^ [] : [icext(_175268, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]), icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])], (5382 ^ _35724) ^ [] : [icext(_175264, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272]), icext(_175260, 5330 ^ [_175260, _175262, _175264, _175266, _175268, _175270, _175272])]]], (5241 ^ _35724) ^ [] : [iext(uri_owl_disjointUnionOf, _175272, _175270), 5244 ^ _35724 : [(5245 ^ _35724) ^ [] : [-(ic(_175272))], (5247 ^ _35724) ^ [] : [-(ic(_175268))], (5249 ^ _35724) ^ [] : [-(ic(_175264))], (5251 ^ _35724) ^ [] : [-(ic(_175260))], (5285 ^ _35724) ^ [_177554] : [-(icext(_175272, _177554)), 5288 ^ _35724 : [(5289 ^ _35724) ^ [] : [icext(_175268, _177554)], (5291 ^ _35724) ^ [] : [icext(_175264, _177554)], (5293 ^ _35724) ^ [] : [icext(_175260, _177554)]], 5296 ^ _35724 : [(5297 ^ _35724) ^ [] : [-(icext(_175268, _177554))], (5299 ^ _35724) ^ [] : [-(icext(_175264, _177554))]], 5302 ^ _35724 : [(5303 ^ _35724) ^ [] : [-(icext(_175268, _177554))], (5305 ^ _35724) ^ [] : [-(icext(_175260, _177554))]], 5306 ^ _35724 : [(5307 ^ _35724) ^ [] : [-(icext(_175264, _177554))], (5309 ^ _35724) ^ [] : [-(icext(_175260, _177554))]]], (5253 ^ _35724) ^ [_176513] : [icext(_175272, _176513), 5256 ^ _35724 : [(5257 ^ _35724) ^ [] : [-(icext(_175268, _176513)), -(icext(_175264, _176513)), -(icext(_175260, _176513))], (5267 ^ _35724) ^ [] : [icext(_175268, _176513), icext(_175264, _176513)], (5273 ^ _35724) ^ [] : [icext(_175268, _176513), icext(_175260, _176513)], (5279 ^ _35724) ^ [] : [icext(_175264, _176513), icext(_175260, _176513)]]]]]]], (5392 ^ _35724) ^ [_181410, _181412] : [iext(uri_owl_disjointWith, _181412, _181410), 5395 ^ _35724 : [(5396 ^ _35724) ^ [] : [-(ic(_181412))], (5398 ^ _35724) ^ [] : [-(ic(_181410))], (5400 ^ _35724) ^ [_181691] : [icext(_181412, _181691), icext(_181410, _181691)]]], (5406 ^ _35724) ^ [_181871, _181873] : [-(iext(uri_owl_disjointWith, _181873, _181871)), ic(_181873), ic(_181871), 5416 ^ _35724 : [(5417 ^ _35724) ^ [] : [-(icext(_181873, 5415 ^ [_181871, _181873]))], (5419 ^ _35724) ^ [] : [-(icext(_181871, 5415 ^ [_181871, _181873]))]]], (5423 ^ _35724) ^ [_182438, _182440] : [iext(uri_owl_equivalentClass, _182440, _182438), 5426 ^ _35724 : [(5427 ^ _35724) ^ [] : [-(ic(_182440))], (5429 ^ _35724) ^ [] : [-(ic(_182438))], (5431 ^ _35724) ^ [_182746] : [icext(_182440, _182746), -(icext(_182438, _182746))], (5437 ^ _35724) ^ [_182918] : [icext(_182438, _182918), -(icext(_182440, _182918))]]], (5443 ^ _35724) ^ [_183101, _183103] : [-(iext(uri_owl_equivalentClass, _183103, _183101)), ic(_183103), ic(_183101), 5455 ^ _35724 : [(5456 ^ _35724) ^ [] : [-(icext(_183103, 5452 ^ [_183101, _183103]))], (5458 ^ _35724) ^ [] : [icext(_183101, 5452 ^ [_183101, _183103])]], 5459 ^ _35724 : [(5460 ^ _35724) ^ [] : [-(icext(_183101, 5452 ^ [_183101, _183103]))], (5462 ^ _35724) ^ [] : [icext(_183103, 5452 ^ [_183101, _183103])]]], (5466 ^ _35724) ^ [_183838, _183840] : [iext(uri_owl_equivalentProperty, _183840, _183838), 5469 ^ _35724 : [(5470 ^ _35724) ^ [] : [-(ip(_183840))], (5472 ^ _35724) ^ [] : [-(ip(_183838))], (5474 ^ _35724) ^ [_184167, _184169] : [iext(_183840, _184169, _184167), -(iext(_183838, _184169, _184167))], (5480 ^ _35724) ^ [_184349, _184351] : [iext(_183838, _184351, _184349), -(iext(_183840, _184351, _184349))]]], (5486 ^ _35724) ^ [_184542, _184544] : [-(iext(uri_owl_equivalentProperty, _184544, _184542)), ip(_184544), ip(_184542), 5499 ^ _35724 : [(5500 ^ _35724) ^ [] : [-(iext(_184544, 5495 ^ [_184542, _184544], 5496 ^ [_184542, _184544]))], (5502 ^ _35724) ^ [] : [iext(_184542, 5495 ^ [_184542, _184544], 5496 ^ [_184542, _184544])]], 5503 ^ _35724 : [(5504 ^ _35724) ^ [] : [-(iext(_184542, 5495 ^ [_184542, _184544], 5496 ^ [_184542, _184544]))], (5506 ^ _35724) ^ [] : [iext(_184544, 5495 ^ [_184542, _184544], 5496 ^ [_184542, _184544])]]], (5510 ^ _35724) ^ [_185392, _185394] : [iext(uri_owl_propertyDisjointWith, _185394, _185392), 5513 ^ _35724 : [(5514 ^ _35724) ^ [] : [-(ip(_185394))], (5516 ^ _35724) ^ [] : [-(ip(_185392))], (5518 ^ _35724) ^ [_185694, _185696] : [iext(_185394, _185696, _185694), iext(_185392, _185696, _185694)]]], (5524 ^ _35724) ^ [_185884, _185886] : [-(iext(uri_owl_propertyDisjointWith, _185886, _185884)), ip(_185886), ip(_185884), 5535 ^ _35724 : [(5536 ^ _35724) ^ [] : [-(iext(_185886, 5533 ^ [_185884, _185886], 5534 ^ [_185884, _185886]))], (5538 ^ _35724) ^ [] : [-(iext(_185884, 5533 ^ [_185884, _185886], 5534 ^ [_185884, _185886]))]]], (5542 ^ _35724) ^ [_186550, _186552] : [iext(uri_owl_sameAs, _186552, _186550), -(_186552 = _186550)], (5548 ^ _35724) ^ [_186714, _186716] : [_186716 = _186714, -(iext(uri_owl_sameAs, _186716, _186714))], (5555 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35724) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35724) ^ [_187080, _187082] : [5567 ^ _35724 : [(5568 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_187080, _187082]))], (5570 ^ _35724) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_187080, _187082], _187082))]], iext(uri_rdf_first, _187082, _187080), iext(uri_rdf_rest, _187082, uri_rdf_nil)], (5572 ^ _35724) ^ [_187559, _187561, _187563, _187565] : [5592 ^ _35724 : [(5593 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_187559, _187561, _187563, _187565]))], (5595 ^ _35724) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_187559, _187561, _187563, _187565], _187565))]], iext(uri_rdf_first, _187565, _187563), iext(uri_rdf_rest, _187565, _187561), iext(uri_rdf_first, _187561, _187559), iext(uri_rdf_rest, _187561, uri_rdf_nil), -(_187563 = _187559)], (5597 ^ _35724) ^ [_188404, _188406, _188408, _188410, _188412, _188414] : [5633 ^ _35724 : [(5634 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_188404, _188406, _188408, _188410, _188412, _188414]))], (5636 ^ _35724) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_188404, _188406, _188408, _188410, _188412, _188414], _188414))]], iext(uri_rdf_first, _188414, _188412), iext(uri_rdf_rest, _188414, _188410), iext(uri_rdf_first, _188410, _188408), iext(uri_rdf_rest, _188410, _188406), iext(uri_rdf_first, _188406, _188404), iext(uri_rdf_rest, _188406, uri_rdf_nil), -(_188412 = _188408), -(_188412 = _188404), -(_188408 = _188404)], (5638 ^ _35724) ^ [] : [-(tautology), tautology], (5644 ^ _35724) ^ [] : [-(tautology), tautology], (5650 ^ _35724) ^ [_189967, _189969, _189971, _189973, _189975] : [_189971 = _189967, iext(uri_rdf_first, _189973, _189971), iext(uri_rdf_rest, _189973, _189969), iext(uri_rdf_first, _189969, _189967), iext(uri_rdf_rest, _189969, uri_rdf_nil), icext(uri_owl_AllDifferent, _189975), iext(uri_owl_distinctMembers, _189975, _189973)], (5676 ^ _35724) ^ [_190781, _190783, _190785, _190787, _190789, _190791, _190793] : [5707 ^ _35724 : [(5708 ^ _35724) ^ [] : [_190789 = _190785], (5710 ^ _35724) ^ [] : [_190789 = _190781], (5712 ^ _35724) ^ [] : [_190785 = _190781]], iext(uri_rdf_first, _190791, _190789), iext(uri_rdf_rest, _190791, _190787), iext(uri_rdf_first, _190787, _190785), iext(uri_rdf_rest, _190787, _190783), iext(uri_rdf_first, _190783, _190781), iext(uri_rdf_rest, _190783, uri_rdf_nil), icext(uri_owl_AllDifferent, _190793), iext(uri_owl_distinctMembers, _190793, _190791)], (5715 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35724) ^ [_192122, _192124] : [5727 ^ _35724 : [(5728 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_192122, _192124]))], (5730 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_192122, _192124], _192124))]], iext(uri_rdf_first, _192124, _192122), iext(uri_rdf_rest, _192124, uri_rdf_nil)], (5732 ^ _35724) ^ [_192601, _192603, _192605, _192607] : [5752 ^ _35724 : [(5753 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_192601, _192603, _192605, _192607]))], (5755 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_192601, _192603, _192605, _192607], _192607))]], iext(uri_rdf_first, _192607, _192605), iext(uri_rdf_rest, _192607, _192603), iext(uri_rdf_first, _192603, _192601), iext(uri_rdf_rest, _192603, uri_rdf_nil), -(_192605 = _192601)], (5757 ^ _35724) ^ [_193446, _193448, _193450, _193452, _193454, _193456] : [5793 ^ _35724 : [(5794 ^ _35724) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_193446, _193448, _193450, _193452, _193454, _193456]))], (5796 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_193446, _193448, _193450, _193452, _193454, _193456], _193456))]], iext(uri_rdf_first, _193456, _193454), iext(uri_rdf_rest, _193456, _193452), iext(uri_rdf_first, _193452, _193450), iext(uri_rdf_rest, _193452, _193448), iext(uri_rdf_first, _193448, _193446), iext(uri_rdf_rest, _193448, uri_rdf_nil), -(_193454 = _193450), -(_193454 = _193446), -(_193450 = _193446)], (5798 ^ _35724) ^ [] : [-(tautology), tautology], (5804 ^ _35724) ^ [] : [-(tautology), tautology], (5810 ^ _35724) ^ [_195009, _195011, _195013, _195015, _195017] : [_195013 = _195009, iext(uri_rdf_first, _195015, _195013), iext(uri_rdf_rest, _195015, _195011), iext(uri_rdf_first, _195011, _195009), iext(uri_rdf_rest, _195011, uri_rdf_nil), icext(uri_owl_AllDifferent, _195017), iext(uri_owl_members, _195017, _195015)], (5836 ^ _35724) ^ [_195823, _195825, _195827, _195829, _195831, _195833, _195835] : [5867 ^ _35724 : [(5868 ^ _35724) ^ [] : [_195831 = _195827], (5870 ^ _35724) ^ [] : [_195831 = _195823], (5872 ^ _35724) ^ [] : [_195827 = _195823]], iext(uri_rdf_first, _195833, _195831), iext(uri_rdf_rest, _195833, _195829), iext(uri_rdf_first, _195829, _195827), iext(uri_rdf_rest, _195829, _195825), iext(uri_rdf_first, _195825, _195823), iext(uri_rdf_rest, _195825, uri_rdf_nil), icext(uri_owl_AllDifferent, _195835), iext(uri_owl_members, _195835, _195833)], (5875 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35724) ^ [_197164, _197166] : [5887 ^ _35724 : [(5888 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_197164, _197166]))], (5890 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_197164, _197166], _197166))]], iext(uri_rdf_first, _197166, _197164), iext(uri_rdf_rest, _197166, uri_rdf_nil)], (5892 ^ _35724) ^ [_197643, _197645, _197647, _197649] : [5915 ^ _35724 : [(5916 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_197643, _197645, _197647, _197649]))], (5918 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_197643, _197645, _197647, _197649], _197649))]], iext(uri_rdf_first, _197649, _197647), iext(uri_rdf_rest, _197649, _197645), iext(uri_rdf_first, _197645, _197643), iext(uri_rdf_rest, _197645, uri_rdf_nil), 5910 ^ _35724 : [(5911 ^ _35724) ^ [] : [-(icext(_197647, 5909 ^ [_197643, _197645, _197647, _197649]))], (5913 ^ _35724) ^ [] : [-(icext(_197643, 5909 ^ [_197643, _197645, _197647, _197649]))]]], (5920 ^ _35724) ^ [_198655, _198657, _198659, _198661, _198663, _198665] : [5965 ^ _35724 : [(5966 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))], (5968 ^ _35724) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_198655, _198657, _198659, _198661, _198663, _198665], _198665))]], iext(uri_rdf_first, _198665, _198663), iext(uri_rdf_rest, _198665, _198661), iext(uri_rdf_first, _198661, _198659), iext(uri_rdf_rest, _198661, _198657), iext(uri_rdf_first, _198657, _198655), iext(uri_rdf_rest, _198657, uri_rdf_nil), 5948 ^ _35724 : [(5949 ^ _35724) ^ [] : [-(icext(_198663, 5947 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))], (5951 ^ _35724) ^ [] : [-(icext(_198659, 5947 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))]], 5955 ^ _35724 : [(5956 ^ _35724) ^ [] : [-(icext(_198663, 5954 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))], (5958 ^ _35724) ^ [] : [-(icext(_198655, 5954 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))]], 5960 ^ _35724 : [(5961 ^ _35724) ^ [] : [-(icext(_198659, 5959 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))], (5963 ^ _35724) ^ [] : [-(icext(_198655, 5959 ^ [_198655, _198657, _198659, _198661, _198663, _198665]))]]], (5970 ^ _35724) ^ [] : [-(tautology), tautology], (5976 ^ _35724) ^ [] : [-(tautology), tautology], (5982 ^ _35724) ^ [_200779, _200781, _200783, _200785, _200787] : [6005 ^ _35724 : [(6006 ^ _35724) ^ [_201445] : [icext(_200783, _201445), icext(_200779, _201445)]], iext(uri_rdf_first, _200785, _200783), iext(uri_rdf_rest, _200785, _200781), iext(uri_rdf_first, _200781, _200779), iext(uri_rdf_rest, _200781, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _200787), iext(uri_owl_members, _200787, _200785)], (6012 ^ _35724) ^ [_201763, _201765, _201767, _201769, _201771, _201773, _201775] : [iext(uri_rdf_first, _201773, _201771), iext(uri_rdf_rest, _201773, _201769), iext(uri_rdf_first, _201769, _201767), iext(uri_rdf_rest, _201769, _201765), iext(uri_rdf_first, _201765, _201763), iext(uri_rdf_rest, _201765, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _201775), iext(uri_owl_members, _201775, _201773), 6043 ^ _35724 : [(6044 ^ _35724) ^ [_202757] : [icext(_201771, _202757), icext(_201767, _202757)], (6050 ^ _35724) ^ [_203002] : [icext(_201771, _203002), icext(_201763, _203002)], (6056 ^ _35724) ^ [_203227] : [icext(_201767, _203227), icext(_201763, _203227)]]], (6063 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35724) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35724) ^ [_203661, _203663] : [6075 ^ _35724 : [(6076 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_203661, _203663]))], (6078 ^ _35724) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_203661, _203663], _203663))]], iext(uri_rdf_first, _203663, _203661), iext(uri_rdf_rest, _203663, uri_rdf_nil)], (6080 ^ _35724) ^ [_204140, _204142, _204144, _204146] : [6104 ^ _35724 : [(6105 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_204140, _204142, _204144, _204146]))], (6107 ^ _35724) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_204140, _204142, _204144, _204146], _204146))]], iext(uri_rdf_first, _204146, _204144), iext(uri_rdf_rest, _204146, _204142), iext(uri_rdf_first, _204142, _204140), iext(uri_rdf_rest, _204142, uri_rdf_nil), 6099 ^ _35724 : [(6100 ^ _35724) ^ [] : [-(iext(_204144, 6097 ^ [_204140, _204142, _204144, _204146], 6098 ^ [_204140, _204142, _204144, _204146]))], (6102 ^ _35724) ^ [] : [-(iext(_204140, 6097 ^ [_204140, _204142, _204144, _204146], 6098 ^ [_204140, _204142, _204144, _204146]))]]], (6109 ^ _35724) ^ [_205275, _205277, _205279, _205281, _205283, _205285] : [6157 ^ _35724 : [(6158 ^ _35724) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))], (6160 ^ _35724) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_205275, _205277, _205279, _205281, _205283, _205285], _205285))]], iext(uri_rdf_first, _205285, _205283), iext(uri_rdf_rest, _205285, _205281), iext(uri_rdf_first, _205281, _205279), iext(uri_rdf_rest, _205281, _205277), iext(uri_rdf_first, _205277, _205275), iext(uri_rdf_rest, _205277, uri_rdf_nil), 6138 ^ _35724 : [(6139 ^ _35724) ^ [] : [-(iext(_205283, 6136 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6137 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))], (6141 ^ _35724) ^ [] : [-(iext(_205279, 6136 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6137 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))]], 6146 ^ _35724 : [(6147 ^ _35724) ^ [] : [-(iext(_205283, 6144 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6145 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))], (6149 ^ _35724) ^ [] : [-(iext(_205275, 6144 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6145 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))]], 6152 ^ _35724 : [(6153 ^ _35724) ^ [] : [-(iext(_205279, 6150 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6151 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))], (6155 ^ _35724) ^ [] : [-(iext(_205275, 6150 ^ [_205275, _205277, _205279, _205281, _205283, _205285], 6151 ^ [_205275, _205277, _205279, _205281, _205283, _205285]))]]], (6162 ^ _35724) ^ [] : [-(tautology), tautology], (6168 ^ _35724) ^ [] : [-(tautology), tautology], (6174 ^ _35724) ^ [_207840, _207842, _207844, _207846, _207848] : [6197 ^ _35724 : [(6198 ^ _35724) ^ [_208527, _208529] : [iext(_207844, _208529, _208527), iext(_207840, _208529, _208527)]], iext(uri_rdf_first, _207846, _207844), iext(uri_rdf_rest, _207846, _207842), iext(uri_rdf_first, _207842, _207840), iext(uri_rdf_rest, _207842, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _207848), iext(uri_owl_members, _207848, _207846)], (6204 ^ _35724) ^ [_208855, _208857, _208859, _208861, _208863, _208865, _208867] : [iext(uri_rdf_first, _208865, _208863), iext(uri_rdf_rest, _208865, _208861), iext(uri_rdf_first, _208861, _208859), iext(uri_rdf_rest, _208861, _208857), iext(uri_rdf_first, _208857, _208855), iext(uri_rdf_rest, _208857, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _208867), iext(uri_owl_members, _208867, _208865), 6235 ^ _35724 : [(6236 ^ _35724) ^ [_209884, _209886] : [iext(_208863, _209886, _209884), iext(_208859, _209886, _209884)], (6242 ^ _35724) ^ [_210153, _210155] : [iext(_208863, _210155, _210153), iext(_208855, _210155, _210153)], (6248 ^ _35724) ^ [_210402, _210404] : [iext(_208859, _210404, _210402), iext(_208855, _210404, _210402)]]], (6254 ^ _35724) ^ [_210709] : [iext(uri_owl_propertyChainAxiom, _210709, uri_rdf_nil), 6257 ^ _35724 : [(6258 ^ _35724) ^ [] : [-(ip(_210709))], (6260 ^ _35724) ^ [_210892] : [-(iext(_210709, _210892, _210892))]]], (6262 ^ _35724) ^ [_210961] : [-(iext(uri_owl_propertyChainAxiom, _210961, uri_rdf_nil)), ip(_210961), iext(_210961, 6267 ^ [_210961], 6267 ^ [_210961])], (6273 ^ _35724) ^ [_211325, _211327, _211329] : [iext(uri_rdf_first, _211327, _211325), iext(uri_rdf_rest, _211327, uri_rdf_nil), 6280 ^ _35724 : [(6281 ^ _35724) ^ [] : [iext(uri_owl_propertyChainAxiom, _211329, _211327), 6284 ^ _35724 : [(6285 ^ _35724) ^ [] : [-(ip(_211329))], (6287 ^ _35724) ^ [] : [-(ip(_211325))], (6289 ^ _35724) ^ [_211848, _211850] : [iext(_211325, _211850, _211848), -(iext(_211329, _211850, _211848))]]], (6295 ^ _35724) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _211329, _211327)), ip(_211329), ip(_211325), 6306 ^ _35724 : [(6307 ^ _35724) ^ [] : [-(iext(_211325, 6304 ^ [_211325, _211327, _211329], 6305 ^ [_211325, _211327, _211329]))], (6309 ^ _35724) ^ [] : [iext(_211329, 6304 ^ [_211325, _211327, _211329], 6305 ^ [_211325, _211327, _211329])]]]]], (6313 ^ _35724) ^ [_212700, _212702, _212704, _212706, _212708] : [iext(uri_rdf_first, _212706, _212704), iext(uri_rdf_rest, _212706, _212702), iext(uri_rdf_first, _212702, _212700), iext(uri_rdf_rest, _212702, uri_rdf_nil), 6328 ^ _35724 : [(6329 ^ _35724) ^ [] : [iext(uri_owl_propertyChainAxiom, _212708, _212706), 6332 ^ _35724 : [(6333 ^ _35724) ^ [] : [-(ip(_212708))], (6335 ^ _35724) ^ [] : [-(ip(_212704))], (6337 ^ _35724) ^ [] : [-(ip(_212700))], (6339 ^ _35724) ^ [_213563, _213565, _213567] : [-(iext(_212708, _213567, _213563)), iext(_212704, _213567, _213565), iext(_212700, _213565, _213563)]]], (6349 ^ _35724) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _212708, _212706)), ip(_212708), ip(_212704), ip(_212700), 6365 ^ _35724 : [(6366 ^ _35724) ^ [] : [-(iext(_212704, 6362 ^ [_212700, _212702, _212704, _212706, _212708], 6363 ^ [_212700, _212702, _212704, _212706, _212708]))], (6368 ^ _35724) ^ [] : [-(iext(_212700, 6363 ^ [_212700, _212702, _212704, _212706, _212708], 6364 ^ [_212700, _212702, _212704, _212706, _212708]))], (6370 ^ _35724) ^ [] : [iext(_212708, 6362 ^ [_212700, _212702, _212704, _212706, _212708], 6364 ^ [_212700, _212702, _212704, _212706, _212708])]]]]], (6374 ^ _35724) ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015] : [iext(uri_rdf_first, _215013, _215011), iext(uri_rdf_rest, _215013, _215009), iext(uri_rdf_first, _215009, _215007), iext(uri_rdf_rest, _215009, _215005), iext(uri_rdf_first, _215005, _215003), iext(uri_rdf_rest, _215005, uri_rdf_nil), 6397 ^ _35724 : [(6398 ^ _35724) ^ [] : [iext(uri_owl_propertyChainAxiom, _215015, _215013), 6401 ^ _35724 : [(6402 ^ _35724) ^ [] : [-(ip(_215015))], (6404 ^ _35724) ^ [] : [-(ip(_215011))], (6406 ^ _35724) ^ [] : [-(ip(_215007))], (6408 ^ _35724) ^ [] : [-(ip(_215003))], (6410 ^ _35724) ^ [_216246, _216248, _216250, _216252] : [-(iext(_215015, _216252, _216246)), iext(_215011, _216252, _216250), iext(_215007, _216250, _216248), iext(_215003, _216248, _216246)]]], (6424 ^ _35724) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _215015, _215013)), ip(_215015), ip(_215011), ip(_215007), ip(_215003), 6445 ^ _35724 : [(6446 ^ _35724) ^ [] : [-(iext(_215011, 6441 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015], 6442 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015]))], (6448 ^ _35724) ^ [] : [-(iext(_215007, 6442 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015], 6443 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015]))], (6450 ^ _35724) ^ [] : [-(iext(_215003, 6443 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015], 6444 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015]))], (6452 ^ _35724) ^ [] : [iext(_215015, 6441 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015], 6444 ^ [_215003, _215005, _215007, _215009, _215011, _215013, _215015])]]]]], (6456 ^ _35724) ^ [_218370, _218372] : [iext(uri_owl_inverseOf, _218372, _218370), 6459 ^ _35724 : [(6460 ^ _35724) ^ [] : [-(ip(_218372))], (6462 ^ _35724) ^ [] : [-(ip(_218370))], (6464 ^ _35724) ^ [_218699, _218701] : [iext(_218372, _218701, _218699), -(iext(_218370, _218699, _218701))], (6470 ^ _35724) ^ [_218881, _218883] : [iext(_218370, _218881, _218883), -(iext(_218372, _218883, _218881))]]], (6476 ^ _35724) ^ [_219074, _219076] : [-(iext(uri_owl_inverseOf, _219076, _219074)), ip(_219076), ip(_219074), 6489 ^ _35724 : [(6490 ^ _35724) ^ [] : [-(iext(_219076, 6485 ^ [_219074, _219076], 6486 ^ [_219074, _219076]))], (6492 ^ _35724) ^ [] : [iext(_219074, 6486 ^ [_219074, _219076], 6485 ^ [_219074, _219076])]], 6493 ^ _35724 : [(6494 ^ _35724) ^ [] : [-(iext(_219074, 6486 ^ [_219074, _219076], 6485 ^ [_219074, _219076]))], (6496 ^ _35724) ^ [] : [iext(_219076, 6485 ^ [_219074, _219076], 6486 ^ [_219074, _219076])]]], (6500 ^ _35724) ^ [_219910] : [icext(uri_owl_AsymmetricProperty, _219910), 6503 ^ _35724 : [(6504 ^ _35724) ^ [] : [-(ip(_219910))], (6506 ^ _35724) ^ [_220134, _220136] : [iext(_219910, _220136, _220134), iext(_219910, _220134, _220136)]]], (6512 ^ _35724) ^ [_220316] : [-(icext(uri_owl_AsymmetricProperty, _220316)), ip(_220316), 6519 ^ _35724 : [(6520 ^ _35724) ^ [] : [-(iext(_220316, 6517 ^ [_220316], 6518 ^ [_220316]))], (6522 ^ _35724) ^ [] : [-(iext(_220316, 6518 ^ [_220316], 6517 ^ [_220316]))]]], (6542 ^ _35724) ^ [_221378] : [-(icext(uri_owl_FunctionalProperty, _221378)), ip(_221378), 6550 ^ _35724 : [(6551 ^ _35724) ^ [] : [-(iext(_221378, 6547 ^ [_221378], 6548 ^ [_221378]))], (6553 ^ _35724) ^ [] : [-(iext(_221378, 6547 ^ [_221378], 6549 ^ [_221378]))], (6555 ^ _35724) ^ [] : [6548 ^ [_221378] = 6549 ^ [_221378]]]], (6526 ^ _35724) ^ [_220847] : [icext(uri_owl_FunctionalProperty, _220847), 6529 ^ _35724 : [(6530 ^ _35724) ^ [] : [-(ip(_220847))], (6532 ^ _35724) ^ [_221094, _221096, _221098] : [-(_221096 = _221094), iext(_220847, _221098, _221096), iext(_220847, _221098, _221094)]]], (6575 ^ _35724) ^ [_222619] : [-(icext(uri_owl_InverseFunctionalProperty, _222619)), ip(_222619), 6583 ^ _35724 : [(6584 ^ _35724) ^ [] : [-(iext(_222619, 6580 ^ [_222619], 6582 ^ [_222619]))], (6586 ^ _35724) ^ [] : [-(iext(_222619, 6581 ^ [_222619], 6582 ^ [_222619]))], (6588 ^ _35724) ^ [] : [6580 ^ [_222619] = 6581 ^ [_222619]]]], (6559 ^ _35724) ^ [_222088] : [icext(uri_owl_InverseFunctionalProperty, _222088), 6562 ^ _35724 : [(6563 ^ _35724) ^ [] : [-(ip(_222088))], (6565 ^ _35724) ^ [_222335, _222337, _222339] : [-(_222339 = _222337), iext(_222088, _222339, _222335), iext(_222088, _222337, _222335)]]], (6592 ^ _35724) ^ [_223329] : [icext(uri_owl_IrreflexiveReflexiveProperty, _223329), 6595 ^ _35724 : [(6596 ^ _35724) ^ [] : [-(ip(_223329))], (6598 ^ _35724) ^ [_223511] : [iext(_223329, _223511, _223511)]]], (6600 ^ _35724) ^ [_223580] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _223580)), ip(_223580), -(iext(_223580, 6605 ^ [_223580], 6605 ^ [_223580]))], (6611 ^ _35724) ^ [_223948] : [icext(uri_owl_ReflexiveProperty, _223948), 6614 ^ _35724 : [(6615 ^ _35724) ^ [] : [-(ip(_223948))], (6617 ^ _35724) ^ [_224129] : [-(iext(_223948, _224129, _224129))]]], (6619 ^ _35724) ^ [_224198] : [-(icext(uri_owl_ReflexiveProperty, _224198)), ip(_224198), iext(_224198, 6624 ^ [_224198], 6624 ^ [_224198])], (6630 ^ _35724) ^ [_224561] : [icext(uri_owl_SymmetricProperty, _224561), 6633 ^ _35724 : [(6634 ^ _35724) ^ [] : [-(ip(_224561))], (6636 ^ _35724) ^ [_224783, _224785] : [iext(_224561, _224785, _224783), -(iext(_224561, _224783, _224785))]]], (6642 ^ _35724) ^ [_224964] : [-(icext(uri_owl_SymmetricProperty, _224964)), ip(_224964), 6649 ^ _35724 : [(6650 ^ _35724) ^ [] : [-(iext(_224964, 6647 ^ [_224964], 6648 ^ [_224964]))], (6652 ^ _35724) ^ [] : [iext(_224964, 6648 ^ [_224964], 6647 ^ [_224964])]]], (6672 ^ _35724) ^ [_226022] : [-(icext(uri_owl_TransitiveProperty, _226022)), ip(_226022), 6680 ^ _35724 : [(6681 ^ _35724) ^ [] : [-(iext(_226022, 6677 ^ [_226022], 6678 ^ [_226022]))], (6683 ^ _35724) ^ [] : [-(iext(_226022, 6678 ^ [_226022], 6679 ^ [_226022]))], (6685 ^ _35724) ^ [] : [iext(_226022, 6677 ^ [_226022], 6679 ^ [_226022])]]], (6656 ^ _35724) ^ [_225488] : [icext(uri_owl_TransitiveProperty, _225488), 6659 ^ _35724 : [(6660 ^ _35724) ^ [] : [-(ip(_225488))], (6662 ^ _35724) ^ [_225736, _225738, _225740] : [-(iext(_225488, _225740, _225736)), iext(_225488, _225740, _225738), iext(_225488, _225738, _225736)]]], (6705 ^ _35724) ^ [_227235] : [-(iext(uri_owl_hasKey, _227235, uri_rdf_nil)), ic(_227235), 6712 ^ _35724 : [(6713 ^ _35724) ^ [] : [-(icext(_227235, 6710 ^ [_227235]))], (6715 ^ _35724) ^ [] : [-(icext(_227235, 6711 ^ [_227235]))], (6717 ^ _35724) ^ [] : [6710 ^ [_227235] = 6711 ^ [_227235]]]], (6689 ^ _35724) ^ [_226737] : [iext(uri_owl_hasKey, _226737, uri_rdf_nil), 6692 ^ _35724 : [(6693 ^ _35724) ^ [] : [-(ic(_226737))], (6695 ^ _35724) ^ [_226965, _226967] : [-(_226967 = _226965), icext(_226737, _226967), icext(_226737, _226965)]]], (6721 ^ _35724) ^ [_227838, _227840, _227842] : [iext(uri_rdf_first, _227840, _227838), iext(uri_rdf_rest, _227840, uri_rdf_nil), 6728 ^ _35724 : [(6755 ^ _35724) ^ [] : [-(iext(uri_owl_hasKey, _227842, _227840)), ic(_227842), ip(_227838), 6767 ^ _35724 : [(6768 ^ _35724) ^ [] : [-(icext(_227842, 6764 ^ [_227838, _227840, _227842]))], (6770 ^ _35724) ^ [] : [-(icext(_227842, 6765 ^ [_227838, _227840, _227842]))], (6772 ^ _35724) ^ [] : [-(iext(_227838, 6764 ^ [_227838, _227840, _227842], 6766 ^ [_227838, _227840, _227842]))], (6774 ^ _35724) ^ [] : [-(iext(_227838, 6765 ^ [_227838, _227840, _227842], 6766 ^ [_227838, _227840, _227842]))], (6776 ^ _35724) ^ [] : [6764 ^ [_227838, _227840, _227842] = 6765 ^ [_227838, _227840, _227842]]]], (6729 ^ _35724) ^ [] : [iext(uri_owl_hasKey, _227842, _227840), 6732 ^ _35724 : [(6733 ^ _35724) ^ [] : [-(ic(_227842))], (6735 ^ _35724) ^ [] : [-(ip(_227838))], (6737 ^ _35724) ^ [_228398, _228400, _228402] : [-(_228402 = _228400), icext(_227842, _228402), icext(_227842, _228400), iext(_227838, _228402, _228398), iext(_227838, _228400, _228398)]]]]], (6780 ^ _35724) ^ [_230007, _230009, _230011, _230013, _230015] : [iext(uri_rdf_first, _230013, _230011), iext(uri_rdf_rest, _230013, _230009), iext(uri_rdf_first, _230009, _230007), iext(uri_rdf_rest, _230009, uri_rdf_nil), 6795 ^ _35724 : [(6832 ^ _35724) ^ [] : [-(iext(uri_owl_hasKey, _230015, _230013)), ic(_230015), ip(_230011), ip(_230007), 6849 ^ _35724 : [(6850 ^ _35724) ^ [] : [-(icext(_230015, 6845 ^ [_230007, _230009, _230011, _230013, _230015]))], (6852 ^ _35724) ^ [] : [-(icext(_230015, 6846 ^ [_230007, _230009, _230011, _230013, _230015]))], (6854 ^ _35724) ^ [] : [-(iext(_230011, 6845 ^ [_230007, _230009, _230011, _230013, _230015], 6847 ^ [_230007, _230009, _230011, _230013, _230015]))], (6856 ^ _35724) ^ [] : [-(iext(_230011, 6846 ^ [_230007, _230009, _230011, _230013, _230015], 6847 ^ [_230007, _230009, _230011, _230013, _230015]))], (6858 ^ _35724) ^ [] : [-(iext(_230007, 6845 ^ [_230007, _230009, _230011, _230013, _230015], 6848 ^ [_230007, _230009, _230011, _230013, _230015]))], (6860 ^ _35724) ^ [] : [-(iext(_230007, 6846 ^ [_230007, _230009, _230011, _230013, _230015], 6848 ^ [_230007, _230009, _230011, _230013, _230015]))], (6862 ^ _35724) ^ [] : [6845 ^ [_230007, _230009, _230011, _230013, _230015] = 6846 ^ [_230007, _230009, _230011, _230013, _230015]]]], (6796 ^ _35724) ^ [] : [iext(uri_owl_hasKey, _230015, _230013), 6799 ^ _35724 : [(6800 ^ _35724) ^ [] : [-(ic(_230015))], (6802 ^ _35724) ^ [] : [-(ip(_230011))], (6804 ^ _35724) ^ [] : [-(ip(_230007))], (6806 ^ _35724) ^ [_230914, _230916, _230918, _230920] : [-(_230920 = _230918), icext(_230015, _230920), icext(_230015, _230918), iext(_230011, _230920, _230916), iext(_230011, _230918, _230916), iext(_230007, _230920, _230914), iext(_230007, _230918, _230914)]]]]], (6866 ^ _35724) ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624] : [iext(uri_rdf_first, _233622, _233620), iext(uri_rdf_rest, _233622, _233618), iext(uri_rdf_first, _233618, _233616), iext(uri_rdf_rest, _233618, _233614), iext(uri_rdf_first, _233614, _233612), iext(uri_rdf_rest, _233614, uri_rdf_nil), 6889 ^ _35724 : [(6936 ^ _35724) ^ [] : [-(iext(uri_owl_hasKey, _233624, _233622)), ic(_233624), ip(_233620), ip(_233616), ip(_233612), 6958 ^ _35724 : [(6959 ^ _35724) ^ [] : [-(icext(_233624, 6953 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6961 ^ _35724) ^ [] : [-(icext(_233624, 6954 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6963 ^ _35724) ^ [] : [-(iext(_233620, 6953 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6955 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6965 ^ _35724) ^ [] : [-(iext(_233620, 6954 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6955 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6967 ^ _35724) ^ [] : [-(iext(_233616, 6953 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6956 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6969 ^ _35724) ^ [] : [-(iext(_233616, 6954 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6956 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6971 ^ _35724) ^ [] : [-(iext(_233612, 6953 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6957 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6973 ^ _35724) ^ [] : [-(iext(_233612, 6954 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624], 6957 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]))], (6975 ^ _35724) ^ [] : [6953 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624] = 6954 ^ [_233612, _233614, _233616, _233618, _233620, _233622, _233624]]]], (6890 ^ _35724) ^ [] : [iext(uri_owl_hasKey, _233624, _233622), 6893 ^ _35724 : [(6894 ^ _35724) ^ [] : [-(ic(_233624))], (6896 ^ _35724) ^ [] : [-(ip(_233620))], (6898 ^ _35724) ^ [] : [-(ip(_233616))], (6900 ^ _35724) ^ [] : [-(ip(_233612))], (6902 ^ _35724) ^ [_234906, _234908, _234910, _234912, _234914] : [-(_234914 = _234912), icext(_233624, _234914), icext(_233624, _234912), iext(_233620, _234914, _234910), iext(_233620, _234912, _234910), iext(_233616, _234914, _234908), iext(_233616, _234912, _234908), iext(_233612, _234914, _234906), iext(_233612, _234912, _234906)]]]]], (6979 ^ _35724) ^ [_238976, _238978, _238980] : [6995 ^ _35724 : [(6996 ^ _35724) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_238976, _238978, _238980], _238978))], (6998 ^ _35724) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_238976, _238978, _238980], _238980))], (7000 ^ _35724) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_238976, _238978, _238980], _238976))]], ir(_238978), iodp(_238980), lv(_238976), -(iext(_238980, _238978, _238976))], (7002 ^ _35724) ^ [_239753, _239755, _239757, _239759] : [7013 ^ _35724 : [(7014 ^ _35724) ^ [] : [-(iodp(_239757))], (7016 ^ _35724) ^ [] : [iext(_239757, _239755, _239753)]], iext(uri_owl_sourceIndividual, _239759, _239755), iext(uri_owl_assertionProperty, _239759, _239757), iext(uri_owl_targetValue, _239759, _239753)], (7018 ^ _35724) ^ [_240269, _240271, _240273] : [7034 ^ _35724 : [(7035 ^ _35724) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_240269, _240271, _240273], _240271))], (7037 ^ _35724) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_240269, _240271, _240273], _240273))], (7039 ^ _35724) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_240269, _240271, _240273], _240269))]], ir(_240271), ip(_240273), ir(_240269), -(iext(_240273, _240271, _240269))], (7041 ^ _35724) ^ [_241046, _241048, _241050, _241052] : [iext(_241050, _241048, _241046), iext(uri_owl_sourceIndividual, _241052, _241048), iext(uri_owl_assertionProperty, _241052, _241050), iext(uri_owl_targetIndividual, _241052, _241046)], (7055 ^ _35724) ^ [_241457] : [icext(uri_xsd_anyURI, _241457), -(lv(_241457))], (7061 ^ _35724) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35724) ^ [_241698] : [icext(uri_xsd_base64Binary, _241698), -(lv(_241698))], (7069 ^ _35724) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35724) ^ [_241939] : [icext(uri_xsd_boolean, _241939), -(lv(_241939))], (7077 ^ _35724) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35724) ^ [_242180] : [icext(uri_xsd_byte, _242180), -(lv(_242180))], (7085 ^ _35724) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35724) ^ [_242421] : [icext(uri_xsd_dateTime, _242421), -(lv(_242421))], (7093 ^ _35724) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35724) ^ [_242662] : [icext(uri_xsd_dateTimeStamp, _242662), -(lv(_242662))], (7101 ^ _35724) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35724) ^ [_242903] : [icext(uri_xsd_decimal, _242903), -(lv(_242903))], (7109 ^ _35724) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35724) ^ [_243144] : [icext(uri_xsd_double, _243144), -(lv(_243144))], (7117 ^ _35724) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35724) ^ [_243385] : [icext(uri_xsd_float, _243385), -(lv(_243385))], (7125 ^ _35724) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35724) ^ [_243626] : [icext(uri_xsd_hexBinary, _243626), -(lv(_243626))], (7133 ^ _35724) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35724) ^ [_243867] : [icext(uri_xsd_int, _243867), -(lv(_243867))], (7141 ^ _35724) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35724) ^ [_244108] : [icext(uri_xsd_integer, _244108), -(lv(_244108))], (7149 ^ _35724) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35724) ^ [_244349] : [icext(uri_xsd_language, _244349), -(lv(_244349))], (7157 ^ _35724) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35724) ^ [_244590] : [icext(uri_xsd_long, _244590), -(lv(_244590))], (7165 ^ _35724) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35724) ^ [_244831] : [icext(uri_xsd_Name, _244831), -(lv(_244831))], (7173 ^ _35724) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35724) ^ [_245072] : [icext(uri_xsd_NCName, _245072), -(lv(_245072))], (7181 ^ _35724) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35724) ^ [_245313] : [icext(uri_xsd_negativeInteger, _245313), -(lv(_245313))], (7189 ^ _35724) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35724) ^ [_245554] : [icext(uri_xsd_NMTOKEN, _245554), -(lv(_245554))], (7197 ^ _35724) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35724) ^ [_245795] : [icext(uri_xsd_nonNegativeInteger, _245795), -(lv(_245795))], (7205 ^ _35724) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35724) ^ [_246036] : [icext(uri_xsd_nonPositiveInteger, _246036), -(lv(_246036))], (7213 ^ _35724) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35724) ^ [_246277] : [icext(uri_xsd_normalizedString, _246277), -(lv(_246277))], (7221 ^ _35724) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35724) ^ [_246518] : [icext(uri_rdf_PlainLiteral, _246518), -(lv(_246518))], (7229 ^ _35724) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35724) ^ [_246759] : [icext(uri_xsd_positiveInteger, _246759), -(lv(_246759))], (7237 ^ _35724) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35724) ^ [_247000] : [icext(uri_owl_rational, _247000), -(lv(_247000))], (7245 ^ _35724) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35724) ^ [_247241] : [icext(uri_owl_real, _247241), -(lv(_247241))], (7253 ^ _35724) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35724) ^ [_247482] : [icext(uri_xsd_short, _247482), -(lv(_247482))], (7261 ^ _35724) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35724) ^ [_247723] : [icext(uri_xsd_string, _247723), -(lv(_247723))], (7269 ^ _35724) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35724) ^ [_247964] : [icext(uri_xsd_token, _247964), -(lv(_247964))], (7277 ^ _35724) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35724) ^ [_248205] : [icext(uri_xsd_unsignedByte, _248205), -(lv(_248205))], (7285 ^ _35724) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35724) ^ [_248446] : [icext(uri_xsd_unsignedInt, _248446), -(lv(_248446))], (7293 ^ _35724) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35724) ^ [_248687] : [icext(uri_xsd_unsignedLong, _248687), -(lv(_248687))], (7301 ^ _35724) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35724) ^ [_248928] : [icext(uri_xsd_unsignedShort, _248928), -(lv(_248928))], (7309 ^ _35724) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35724) ^ [_249169] : [icext(uri_rdf_XMLLiteral, _249169), -(lv(_249169))], (7317 ^ _35724) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35724) ^ [_249410] : [icext(uri_xsd_anyURI, _249410), icext(uri_xsd_base64Binary, _249410)], (7325 ^ _35724) ^ [_249599] : [icext(uri_xsd_anyURI, _249599), icext(uri_xsd_boolean, _249599)], (7331 ^ _35724) ^ [_249788] : [icext(uri_xsd_anyURI, _249788), icext(uri_xsd_dateTime, _249788)], (7337 ^ _35724) ^ [_249977] : [icext(uri_xsd_anyURI, _249977), icext(uri_xsd_double, _249977)], (7343 ^ _35724) ^ [_250166] : [icext(uri_xsd_anyURI, _250166), icext(uri_xsd_float, _250166)], (7349 ^ _35724) ^ [_250355] : [icext(uri_xsd_anyURI, _250355), icext(uri_xsd_hexBinary, _250355)], (7355 ^ _35724) ^ [_250544] : [icext(uri_xsd_anyURI, _250544), icext(uri_rdf_PlainLiteral, _250544)], (7361 ^ _35724) ^ [_250733] : [icext(uri_xsd_anyURI, _250733), icext(uri_owl_real, _250733)], (7367 ^ _35724) ^ [_250922] : [icext(uri_xsd_anyURI, _250922), icext(uri_rdf_XMLLiteral, _250922)], (7373 ^ _35724) ^ [_251111] : [icext(uri_xsd_base64Binary, _251111), icext(uri_xsd_boolean, _251111)], (7379 ^ _35724) ^ [_251300] : [icext(uri_xsd_base64Binary, _251300), icext(uri_xsd_dateTime, _251300)], (7385 ^ _35724) ^ [_251489] : [icext(uri_xsd_base64Binary, _251489), icext(uri_xsd_double, _251489)], (7391 ^ _35724) ^ [_251678] : [icext(uri_xsd_base64Binary, _251678), icext(uri_xsd_float, _251678)], (7397 ^ _35724) ^ [_251867] : [icext(uri_xsd_base64Binary, _251867), icext(uri_xsd_hexBinary, _251867)], (7403 ^ _35724) ^ [_252056] : [icext(uri_xsd_base64Binary, _252056), icext(uri_rdf_PlainLiteral, _252056)], (7409 ^ _35724) ^ [_252245] : [icext(uri_xsd_base64Binary, _252245), icext(uri_owl_real, _252245)], (7415 ^ _35724) ^ [_252434] : [icext(uri_xsd_base64Binary, _252434), icext(uri_rdf_XMLLiteral, _252434)], (7421 ^ _35724) ^ [_252623] : [icext(uri_xsd_boolean, _252623), icext(uri_xsd_dateTime, _252623)], (7427 ^ _35724) ^ [_252812] : [icext(uri_xsd_boolean, _252812), icext(uri_xsd_double, _252812)], (7433 ^ _35724) ^ [_253001] : [icext(uri_xsd_boolean, _253001), icext(uri_xsd_float, _253001)], (7439 ^ _35724) ^ [_253190] : [icext(uri_xsd_boolean, _253190), icext(uri_xsd_hexBinary, _253190)], (7445 ^ _35724) ^ [_253379] : [icext(uri_xsd_boolean, _253379), icext(uri_rdf_PlainLiteral, _253379)], (7451 ^ _35724) ^ [_253568] : [icext(uri_xsd_boolean, _253568), icext(uri_owl_real, _253568)], (7457 ^ _35724) ^ [_253757] : [icext(uri_xsd_boolean, _253757), icext(uri_rdf_XMLLiteral, _253757)], (7463 ^ _35724) ^ [_253946] : [icext(uri_xsd_dateTime, _253946), icext(uri_xsd_double, _253946)], (7469 ^ _35724) ^ [_254135] : [icext(uri_xsd_dateTime, _254135), icext(uri_xsd_float, _254135)], (7475 ^ _35724) ^ [_254324] : [icext(uri_xsd_dateTime, _254324), icext(uri_xsd_hexBinary, _254324)], (7481 ^ _35724) ^ [_254513] : [icext(uri_xsd_dateTime, _254513), icext(uri_rdf_PlainLiteral, _254513)], (7487 ^ _35724) ^ [_254702] : [icext(uri_xsd_dateTime, _254702), icext(uri_owl_real, _254702)], (7493 ^ _35724) ^ [_254891] : [icext(uri_xsd_dateTime, _254891), icext(uri_rdf_XMLLiteral, _254891)], (7499 ^ _35724) ^ [_255080] : [icext(uri_xsd_double, _255080), icext(uri_xsd_float, _255080)], (7505 ^ _35724) ^ [_255269] : [icext(uri_xsd_double, _255269), icext(uri_xsd_hexBinary, _255269)], (7511 ^ _35724) ^ [_255458] : [icext(uri_xsd_double, _255458), icext(uri_rdf_PlainLiteral, _255458)], (7517 ^ _35724) ^ [_255647] : [icext(uri_xsd_double, _255647), icext(uri_owl_real, _255647)], (7523 ^ _35724) ^ [_255836] : [icext(uri_xsd_double, _255836), icext(uri_rdf_XMLLiteral, _255836)], (7529 ^ _35724) ^ [_256025] : [icext(uri_xsd_float, _256025), icext(uri_xsd_hexBinary, _256025)], (7535 ^ _35724) ^ [_256214] : [icext(uri_xsd_float, _256214), icext(uri_rdf_PlainLiteral, _256214)], (7541 ^ _35724) ^ [_256403] : [icext(uri_xsd_float, _256403), icext(uri_owl_real, _256403)], (7547 ^ _35724) ^ [_256592] : [icext(uri_xsd_float, _256592), icext(uri_rdf_XMLLiteral, _256592)], (7553 ^ _35724) ^ [_256781] : [icext(uri_xsd_hexBinary, _256781), icext(uri_rdf_PlainLiteral, _256781)], (7559 ^ _35724) ^ [_256970] : [icext(uri_xsd_hexBinary, _256970), icext(uri_owl_real, _256970)], (7565 ^ _35724) ^ [_257159] : [icext(uri_xsd_hexBinary, _257159), icext(uri_rdf_XMLLiteral, _257159)], (7571 ^ _35724) ^ [_257348] : [icext(uri_rdf_PlainLiteral, _257348), icext(uri_owl_real, _257348)], (7577 ^ _35724) ^ [_257537] : [icext(uri_rdf_PlainLiteral, _257537), icext(uri_rdf_XMLLiteral, _257537)], (7583 ^ _35724) ^ [_257726] : [icext(uri_owl_real, _257726), icext(uri_rdf_XMLLiteral, _257726)], (7589 ^ _35724) ^ [_257915] : [icext(uri_xsd_byte, _257915), -(icext(uri_xsd_short, _257915))], (7595 ^ _35724) ^ [_258105] : [icext(uri_xsd_dateTimeStamp, _258105), -(icext(uri_xsd_dateTime, _258105))], (7601 ^ _35724) ^ [_258295] : [icext(uri_xsd_decimal, _258295), -(icext(uri_owl_rational, _258295))], (7607 ^ _35724) ^ [_258485] : [icext(uri_xsd_int, _258485), -(icext(uri_xsd_long, _258485))], (7613 ^ _35724) ^ [_258675] : [icext(uri_xsd_integer, _258675), -(icext(uri_xsd_decimal, _258675))], (7619 ^ _35724) ^ [_258865] : [icext(uri_xsd_language, _258865), -(icext(uri_xsd_token, _258865))], (7625 ^ _35724) ^ [_259055] : [icext(uri_xsd_long, _259055), -(icext(uri_xsd_integer, _259055))], (7631 ^ _35724) ^ [_259245] : [icext(uri_xsd_Name, _259245), -(icext(uri_xsd_token, _259245))], (7637 ^ _35724) ^ [_259435] : [icext(uri_xsd_NCName, _259435), -(icext(uri_xsd_Name, _259435))], (7643 ^ _35724) ^ [_259625] : [icext(uri_xsd_negativeInteger, _259625), -(icext(uri_xsd_nonPositiveInteger, _259625))], (7649 ^ _35724) ^ [_259815] : [icext(uri_xsd_NMTOKEN, _259815), -(icext(uri_xsd_token, _259815))], (7655 ^ _35724) ^ [_260005] : [icext(uri_xsd_nonNegativeInteger, _260005), -(icext(uri_xsd_integer, _260005))], (7661 ^ _35724) ^ [_260195] : [icext(uri_xsd_nonPositiveInteger, _260195), -(icext(uri_xsd_integer, _260195))], (7667 ^ _35724) ^ [_260385] : [icext(uri_xsd_normalizedString, _260385), -(icext(uri_xsd_string, _260385))], (7673 ^ _35724) ^ [_260575] : [icext(uri_xsd_positiveInteger, _260575), -(icext(uri_xsd_nonNegativeInteger, _260575))], (7679 ^ _35724) ^ [_260765] : [icext(uri_owl_rational, _260765), -(icext(uri_owl_real, _260765))], (7685 ^ _35724) ^ [_260955] : [icext(uri_xsd_short, _260955), -(icext(uri_xsd_int, _260955))], (7691 ^ _35724) ^ [_261145] : [icext(uri_xsd_string, _261145), -(icext(uri_rdf_PlainLiteral, _261145))], (7697 ^ _35724) ^ [_261335] : [icext(uri_xsd_token, _261335), -(icext(uri_xsd_normalizedString, _261335))], (7703 ^ _35724) ^ [_261525] : [icext(uri_xsd_unsignedByte, _261525), -(icext(uri_xsd_unsignedShort, _261525))], (7709 ^ _35724) ^ [_261715] : [icext(uri_xsd_unsignedInt, _261715), -(icext(uri_xsd_unsignedLong, _261715))], (7715 ^ _35724) ^ [_261905] : [icext(uri_xsd_unsignedLong, _261905), -(icext(uri_xsd_nonNegativeInteger, _261905))], (7721 ^ _35724) ^ [_262095] : [icext(uri_xsd_unsignedShort, _262095), -(icext(uri_xsd_unsignedInt, _262095))], (7727 ^ _35724) ^ [_262299, _262301] : [iext(uri_rdf_langRange, _262301, _262299), 7730 ^ _35724 : [(7731 ^ _35724) ^ [] : [-(ir(_262301))], (7733 ^ _35724) ^ [] : [-(lv(_262299))]]], (7735 ^ _35724) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35724) ^ [_262635, _262637] : [iext(uri_xsd_length, _262637, _262635), 7740 ^ _35724 : [(7741 ^ _35724) ^ [] : [-(ir(_262637))], (7743 ^ _35724) ^ [] : [-(lv(_262635))]]], (7745 ^ _35724) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35724) ^ [_262971, _262973] : [iext(uri_xsd_maxExclusive, _262973, _262971), 7750 ^ _35724 : [(7751 ^ _35724) ^ [] : [-(ir(_262973))], (7753 ^ _35724) ^ [] : [-(lv(_262971))]]], (7755 ^ _35724) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35724) ^ [_263307, _263309] : [iext(uri_xsd_maxInclusive, _263309, _263307), 7760 ^ _35724 : [(7761 ^ _35724) ^ [] : [-(ir(_263309))], (7763 ^ _35724) ^ [] : [-(lv(_263307))]]], (7765 ^ _35724) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35724) ^ [_263643, _263645] : [iext(uri_xsd_maxLength, _263645, _263643), 7770 ^ _35724 : [(7771 ^ _35724) ^ [] : [-(ir(_263645))], (7773 ^ _35724) ^ [] : [-(lv(_263643))]]], (7775 ^ _35724) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35724) ^ [_263979, _263981] : [iext(uri_xsd_minExclusive, _263981, _263979), 7780 ^ _35724 : [(7781 ^ _35724) ^ [] : [-(ir(_263981))], (7783 ^ _35724) ^ [] : [-(lv(_263979))]]], (7785 ^ _35724) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35724) ^ [_264315, _264317] : [iext(uri_xsd_minInclusive, _264317, _264315), 7790 ^ _35724 : [(7791 ^ _35724) ^ [] : [-(ir(_264317))], (7793 ^ _35724) ^ [] : [-(lv(_264315))]]], (7795 ^ _35724) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35724) ^ [_264651, _264653] : [iext(uri_xsd_minLength, _264653, _264651), 7800 ^ _35724 : [(7801 ^ _35724) ^ [] : [-(ir(_264653))], (7803 ^ _35724) ^ [] : [-(lv(_264651))]]], (7805 ^ _35724) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35724) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35724) ^ [_264987, _264989] : [iext(uri_xsd_pattern, _264989, _264987), 7810 ^ _35724 : [(7811 ^ _35724) ^ [] : [-(ir(_264989))], (7813 ^ _35724) ^ [] : [-(lv(_264987))]]]], input).
% 102.88/99.90  ncf('1',plain,[iext(uri_rdf_type, uri_ex_w, uri_ex_c2), iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c2), iext(uri_rdfs_range, uri_ex_p, uri_ex_c2)],start(7825 ^ 0)).
% 102.88/99.90  ncf('1.1',plain,[-(iext(uri_rdf_type, uri_ex_w, uri_ex_c2)), iext(uri_rdf_type, uri_ex_w, uri_ex_c1), uri_rdf_type = uri_rdf_type, uri_ex_w = uri_ex_w, uri_ex_c1 = uri_ex_c2],extension(124 ^ 1,bind([[_37301, _37303, _37305, _37307, _37309, _37311], [uri_ex_c2, uri_ex_c1, uri_ex_w, uri_ex_w, uri_rdf_type, uri_rdf_type]]))).
% 102.88/99.90  ncf('1.1.1',plain,[-(iext(uri_rdf_type, uri_ex_w, uri_ex_c1))],extension(7819 ^ 2)).
% 102.88/99.90  ncf('1.1.2',plain,[-(uri_rdf_type = uri_rdf_type)],extension(2 ^ 2,bind([[_35754], [uri_rdf_type]]))).
% 102.88/99.90  ncf('1.1.3',plain,[-(uri_ex_w = uri_ex_w)],extension(2 ^ 2,bind([[_35754], [uri_ex_w]]))).
% 102.88/99.90  ncf('1.1.4',plain,[-(uri_ex_c1 = uri_ex_c2), iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2)],extension(5542 ^ 2,bind([[_186550, _186552], [uri_ex_c2, uri_ex_c1]]))).
% 102.88/99.90  ncf('1.1.4.1',plain,[-(iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2))],extension(7817 ^ 3)).
% 102.88/99.90  ncf('1.2',plain,[-(iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c2)), iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c1), uri_rdfs_subClassOf = uri_rdfs_subClassOf, uri_ex_c = uri_ex_c, uri_ex_c1 = uri_ex_c2],extension(124 ^ 1,bind([[_37301, _37303, _37305, _37307, _37309, _37311], [uri_ex_c2, uri_ex_c1, uri_ex_c, uri_ex_c, uri_rdfs_subClassOf, uri_rdfs_subClassOf]]))).
% 102.88/99.90  ncf('1.2.1',plain,[-(iext(uri_rdfs_subClassOf, uri_ex_c, uri_ex_c1))],extension(7821 ^ 2)).
% 102.88/99.90  ncf('1.2.2',plain,[-(uri_rdfs_subClassOf = uri_rdfs_subClassOf)],extension(2 ^ 2,bind([[_35754], [uri_rdfs_subClassOf]]))).
% 102.88/99.90  ncf('1.2.3',plain,[-(uri_ex_c = uri_ex_c)],extension(2 ^ 2,bind([[_35754], [uri_ex_c]]))).
% 102.88/99.90  ncf('1.2.4',plain,[-(uri_ex_c1 = uri_ex_c2), iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2)],extension(5542 ^ 2,bind([[_186550, _186552], [uri_ex_c2, uri_ex_c1]]))).
% 102.88/99.90  ncf('1.2.4.1',plain,[-(iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2))],extension(7817 ^ 3)).
% 102.88/99.90  ncf('1.3',plain,[-(iext(uri_rdfs_range, uri_ex_p, uri_ex_c2)), iext(uri_rdfs_range, uri_ex_p, uri_ex_c1), uri_rdfs_range = uri_rdfs_range, uri_ex_p = uri_ex_p, uri_ex_c1 = uri_ex_c2],extension(124 ^ 1,bind([[_37301, _37303, _37305, _37307, _37309, _37311], [uri_ex_c2, uri_ex_c1, uri_ex_p, uri_ex_p, uri_rdfs_range, uri_rdfs_range]]))).
% 102.88/99.90  ncf('1.3.1',plain,[-(iext(uri_rdfs_range, uri_ex_p, uri_ex_c1))],extension(7823 ^ 2)).
% 102.88/99.90  ncf('1.3.2',plain,[-(uri_rdfs_range = uri_rdfs_range)],extension(2 ^ 2,bind([[_35754], [uri_rdfs_range]]))).
% 102.88/99.90  ncf('1.3.3',plain,[-(uri_ex_p = uri_ex_p)],extension(2 ^ 2,bind([[_35754], [uri_ex_p]]))).
% 102.88/99.90  ncf('1.3.4',plain,[-(uri_ex_c1 = uri_ex_c2), iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2)],extension(5542 ^ 2,bind([[_186550, _186552], [uri_ex_c2, uri_ex_c1]]))).
% 102.88/99.90  ncf('1.3.4.1',plain,[-(iext(uri_owl_sameAs, uri_ex_c1, uri_ex_c2))],extension(7817 ^ 3)).
% 102.88/99.90  %-----------------------------------------------------
% 102.88/99.90  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------