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

% Computer : n014.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:29 EDT 2023

% Result   : Unsatisfiable 1.78s 2.43s
% Output   : Proof 1.78s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : SWB011+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n014.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Thu May 18 20:56:57 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 1.78/2.43  
% 1.78/2.43  /export/starexec/sandbox/benchmark/theBenchmark.p is Unsatisfiable
% 1.78/2.43  Start of proof for negated /export/starexec/sandbox/benchmark/theBenchmark.p
% 1.78/2.43  %-----------------------------------------------------
% 1.78/2.43  ncf(matrix, plain, [(142 ^ _35368) ^ [_37233, _37235, _37237, _37239] : [-(literal_typed(_37239, _37235) = literal_typed(_37237, _37233)), _37239 = _37237, _37235 = _37233], (2 ^ _35368) ^ [_35395] : [-(_35395 = _35395)], (4 ^ _35368) ^ [_35418, _35420] : [_35420 = _35418, -(_35418 = _35420)], (10 ^ _35368) ^ [_35491, _35493, _35495] : [-(_35495 = _35491), _35495 = _35493, _35493 = _35491], (20 ^ _35368) ^ [_35628, _35630] : [-(ioap(_35628)), _35630 = _35628, ioap(_35630)], (30 ^ _35368) ^ [_35753, _35755] : [-(ix(_35753)), _35755 = _35753, ix(_35755)], (40 ^ _35368) ^ [_35878, _35880] : [-(ioxp(_35878)), _35880 = _35878, ioxp(_35880)], (50 ^ _35368) ^ [_36003, _36005] : [-(ic(_36003)), _36005 = _36003, ic(_36005)], (60 ^ _35368) ^ [_36128, _36130] : [-(ip(_36128)), _36130 = _36128, ip(_36130)], (70 ^ _35368) ^ [_36253, _36255] : [-(idc(_36253)), _36255 = _36253, idc(_36255)], (80 ^ _35368) ^ [_36378, _36380, _36382, _36384] : [-(icext(_36382, _36378)), icext(_36384, _36380), _36384 = _36382, _36380 = _36378], (94 ^ _35368) ^ [_36571, _36573] : [-(ir(_36571)), _36573 = _36571, ir(_36573)], (104 ^ _35368) ^ [_36696, _36698] : [-(lv(_36696)), _36698 = _36696, lv(_36698)], (114 ^ _35368) ^ [_36821, _36823] : [-(iodp(_36821)), _36823 = _36821, iodp(_36823)], (124 ^ _35368) ^ [_36942, _36944, _36946, _36948, _36950, _36952] : [-(iext(_36950, _36946, _36942)), iext(_36952, _36948, _36944), _36952 = _36950, _36948 = _36946, _36944 = _36942], (7817 ^ _35368) ^ [] : [-(iext(uri_owl_disjointWith, uri_owl_Class, uri_owl_ObjectProperty))], (7819 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_ex_x, uri_owl_Class))], (7821 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_ex_x, uri_owl_ObjectProperty))], (152 ^ _35368) ^ [_37387, _37389, _37391] : [iext(_37389, _37391, _37387), -(ip(_37389))], (158 ^ _35368) ^ [_37466] : [-(ir(_37466))], (160 ^ _35368) ^ [_37488] : [lv(_37488), -(ir(_37488))], (166 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35368) ^ [_37733] : [iext(uri_rdf_type, _37733, uri_rdf_Property), -(ip(_37733))], (190 ^ _35368) ^ [_37804] : [ip(_37804), -(iext(uri_rdf_type, _37804, uri_rdf_Property))], (196 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35368) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35368) ^ [_38094, _38096] : [iext(uri_rdf_type, _38096, _38094), -(icext(_38094, _38096))], (224 ^ _35368) ^ [_38169, _38171] : [icext(_38169, _38171), -(iext(uri_rdf_type, _38171, _38169))], (230 ^ _35368) ^ [_38250] : [ic(_38250), -(iext(uri_rdfs_subClassOf, _38250, uri_rdfs_Resource))], (236 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35368) ^ [_38433] : [icext(uri_rdfs_ContainerMembershipProperty, _38433), -(iext(uri_rdfs_subPropertyOf, _38433, uri_rdfs_member))], (254 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35368) ^ [_38780] : [icext(uri_rdfs_Datatype, _38780), -(iext(uri_rdfs_subClassOf, _38780, uri_rdfs_Literal))], (290 ^ _35368) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35368) ^ [_38893, _38895, _38897, _38899] : [-(icext(_38897, _38895)), iext(uri_rdfs_domain, _38899, _38897), iext(_38899, _38895, _38893)], (304 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35368) ^ [_39064] : [ic(_39064), -(icext(uri_rdfs_Class, _39064))], (312 ^ _35368) ^ [_39133] : [icext(uri_rdfs_Class, _39133), -(ic(_39133))], (318 ^ _35368) ^ [_39220] : [ir(_39220), -(icext(uri_rdfs_Resource, _39220))], (324 ^ _35368) ^ [_39289] : [icext(uri_rdfs_Resource, _39289), -(ir(_39289))], (330 ^ _35368) ^ [_39376] : [lv(_39376), -(icext(uri_rdfs_Literal, _39376))], (336 ^ _35368) ^ [_39445] : [icext(uri_rdfs_Literal, _39445), -(lv(_39445))], (342 ^ _35368) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35368) ^ [_39556, _39558, _39560, _39562] : [-(icext(_39560, _39556)), iext(uri_rdfs_range, _39562, _39560), iext(_39562, _39558, _39556)], (356 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35368) ^ [_39841, _39843] : [iext(uri_rdfs_subClassOf, _39843, _39841), 375 ^ _35368 : [(376 ^ _35368) ^ [] : [-(ic(_39843))], (378 ^ _35368) ^ [] : [-(ic(_39841))], (380 ^ _35368) ^ [_39956] : [icext(_39843, _39956), -(icext(_39841, _39956))]]], (386 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35368) ^ [_40061] : [ic(_40061), -(iext(uri_rdfs_subClassOf, _40061, _40061))], (394 ^ _35368) ^ [_40136, _40138, _40140] : [-(iext(uri_rdfs_subClassOf, _40140, _40136)), iext(uri_rdfs_subClassOf, _40140, _40138), iext(uri_rdfs_subClassOf, _40138, _40136)], (404 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35368) ^ [_40293, _40295] : [iext(uri_rdfs_subPropertyOf, _40295, _40293), 409 ^ _35368 : [(410 ^ _35368) ^ [] : [-(ip(_40295))], (412 ^ _35368) ^ [] : [-(ip(_40293))], (414 ^ _35368) ^ [_40415, _40417] : [iext(_40295, _40417, _40415), -(iext(_40293, _40417, _40415))]]], (420 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35368) ^ [_40526] : [ip(_40526), -(iext(uri_rdfs_subPropertyOf, _40526, _40526))], (428 ^ _35368) ^ [_40601, _40603, _40605] : [-(iext(uri_rdfs_subPropertyOf, _40605, _40601)), iext(uri_rdfs_subPropertyOf, _40605, _40603), iext(uri_rdfs_subPropertyOf, _40603, _40601)], (438 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35368) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35368) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35368) ^ [_40812] : [ic(_40812), 449 ^ _35368 : [(450 ^ _35368) ^ [_40870] : [icext(_40812, _40870), -(ir(_40870))]]], (456 ^ _35368) ^ [_40949] : [ic(_40949), -(ir(_40949))], (462 ^ _35368) ^ [_41032] : [ic(_41032), -(iext(uri_rdf_type, _41032, uri_rdfs_Class))], (468 ^ _35368) ^ [_41103] : [iext(uri_rdf_type, _41103, uri_rdfs_Class), -(ic(_41103))], (474 ^ _35368) ^ [_41180] : [idc(_41180), 477 ^ _35368 : [(478 ^ _35368) ^ [_41238] : [icext(_41180, _41238), -(lv(_41238))]]], (484 ^ _35368) ^ [_41317] : [idc(_41317), -(ic(_41317))], (490 ^ _35368) ^ [_41400] : [idc(_41400), -(iext(uri_rdf_type, _41400, uri_rdfs_Datatype))], (496 ^ _35368) ^ [_41471] : [iext(uri_rdf_type, _41471, uri_rdfs_Datatype), -(idc(_41471))], (502 ^ _35368) ^ [_41548] : [ioap(_41548), 505 ^ _35368 : [(506 ^ _35368) ^ [_41617, _41619] : [iext(_41548, _41619, _41617), 509 ^ _35368 : [(510 ^ _35368) ^ [] : [-(ir(_41619))], (512 ^ _35368) ^ [] : [-(ir(_41617))]]]]], (514 ^ _35368) ^ [_41724] : [ioap(_41724), -(ip(_41724))], (520 ^ _35368) ^ [_41807] : [ioap(_41807), -(iext(uri_rdf_type, _41807, uri_owl_AnnotationProperty))], (526 ^ _35368) ^ [_41878] : [iext(uri_rdf_type, _41878, uri_owl_AnnotationProperty), -(ioap(_41878))], (532 ^ _35368) ^ [_41955] : [iodp(_41955), 535 ^ _35368 : [(536 ^ _35368) ^ [_42024, _42026] : [iext(_41955, _42026, _42024), 539 ^ _35368 : [(540 ^ _35368) ^ [] : [-(ir(_42026))], (542 ^ _35368) ^ [] : [-(lv(_42024))]]]]], (544 ^ _35368) ^ [_42131] : [iodp(_42131), -(ip(_42131))], (550 ^ _35368) ^ [_42214] : [iodp(_42214), -(iext(uri_rdf_type, _42214, uri_owl_DatatypeProperty))], (556 ^ _35368) ^ [_42285] : [iext(uri_rdf_type, _42285, uri_owl_DatatypeProperty), -(iodp(_42285))], (562 ^ _35368) ^ [_42362] : [ioxp(_42362), 565 ^ _35368 : [(566 ^ _35368) ^ [_42431, _42433] : [iext(_42362, _42433, _42431), 569 ^ _35368 : [(570 ^ _35368) ^ [] : [-(ix(_42433))], (572 ^ _35368) ^ [] : [-(ix(_42431))]]]]], (574 ^ _35368) ^ [_42538] : [ioxp(_42538), -(ip(_42538))], (580 ^ _35368) ^ [_42621] : [ioxp(_42621), -(iext(uri_rdf_type, _42621, uri_owl_OntologyProperty))], (586 ^ _35368) ^ [_42692] : [iext(uri_rdf_type, _42692, uri_owl_OntologyProperty), -(ioxp(_42692))], (592 ^ _35368) ^ [_42769] : [ip(_42769), 595 ^ _35368 : [(596 ^ _35368) ^ [_42838, _42840] : [iext(_42769, _42840, _42838), 599 ^ _35368 : [(600 ^ _35368) ^ [] : [-(ir(_42840))], (602 ^ _35368) ^ [] : [-(ir(_42838))]]]]], (604 ^ _35368) ^ [_42945] : [ip(_42945), -(ir(_42945))], (610 ^ _35368) ^ [_43028] : [ip(_43028), -(iext(uri_rdf_type, _43028, uri_rdf_Property))], (616 ^ _35368) ^ [_43099] : [iext(uri_rdf_type, _43099, uri_rdf_Property), -(ip(_43099))], (623 ^ _35368) ^ [] : [-(ir(621 ^ []))], (625 ^ _35368) ^ [_43212] : [ir(_43212), -(iext(uri_rdf_type, _43212, uri_rdfs_Resource))], (631 ^ _35368) ^ [_43283] : [iext(uri_rdf_type, _43283, uri_rdfs_Resource), -(ir(_43283))], (637 ^ _35368) ^ [_43360] : [ix(_43360), -(ir(_43360))], (643 ^ _35368) ^ [_43443] : [ix(_43443), -(iext(uri_rdf_type, _43443, uri_owl_Ontology))], (649 ^ _35368) ^ [_43514] : [iext(uri_rdf_type, _43514, uri_owl_Ontology), -(ix(_43514))], (655 ^ _35368) ^ [_43591] : [lv(_43591), -(ir(_43591))], (661 ^ _35368) ^ [_43674] : [lv(_43674), -(iext(uri_rdf_type, _43674, uri_rdfs_Literal))], (667 ^ _35368) ^ [_43745] : [iext(uri_rdf_type, _43745, uri_rdfs_Literal), -(lv(_43745))], (673 ^ _35368) ^ [_43822] : [icext(uri_owl_AllDifferent, _43822), -(ir(_43822))], (679 ^ _35368) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35368) ^ [_43913] : [icext(uri_owl_AllDisjointClasses, _43913), -(ir(_43913))], (687 ^ _35368) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35368) ^ [_44004] : [icext(uri_owl_AllDisjointProperties, _44004), -(ir(_44004))], (695 ^ _35368) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35368) ^ [_44095] : [icext(uri_owl_Annotation, _44095), -(ir(_44095))], (703 ^ _35368) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35368) ^ [_44198] : [icext(uri_owl_AnnotationProperty, _44198), -(ioap(_44198))], (711 ^ _35368) ^ [_44267] : [ioap(_44267), -(icext(uri_owl_AnnotationProperty, _44267))], (717 ^ _35368) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35368) ^ [_44360] : [icext(uri_owl_AsymmetricProperty, _44360), -(ip(_44360))], (725 ^ _35368) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35368) ^ [_44451] : [icext(uri_owl_Axiom, _44451), -(ir(_44451))], (733 ^ _35368) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35368) ^ [_44554] : [icext(uri_owl_Class, _44554), -(ic(_44554))], (741 ^ _35368) ^ [_44623] : [ic(_44623), -(icext(uri_owl_Class, _44623))], (747 ^ _35368) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35368) ^ [_44728] : [icext(uri_rdfs_Class, _44728), -(ic(_44728))], (755 ^ _35368) ^ [_44797] : [ic(_44797), -(icext(uri_rdfs_Class, _44797))], (761 ^ _35368) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35368) ^ [_44902] : [icext(uri_owl_DataRange, _44902), -(idc(_44902))], (769 ^ _35368) ^ [_44971] : [idc(_44971), -(icext(uri_owl_DataRange, _44971))], (775 ^ _35368) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35368) ^ [_45076] : [icext(uri_rdfs_Datatype, _45076), -(idc(_45076))], (783 ^ _35368) ^ [_45145] : [idc(_45145), -(icext(uri_rdfs_Datatype, _45145))], (789 ^ _35368) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35368) ^ [_45250] : [icext(uri_owl_DatatypeProperty, _45250), -(iodp(_45250))], (797 ^ _35368) ^ [_45319] : [iodp(_45319), -(icext(uri_owl_DatatypeProperty, _45319))], (803 ^ _35368) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35368) ^ [_45412] : [icext(uri_owl_DeprecatedClass, _45412), -(ic(_45412))], (811 ^ _35368) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35368) ^ [_45503] : [icext(uri_owl_DeprecatedProperty, _45503), -(ip(_45503))], (819 ^ _35368) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35368) ^ [_45594] : [icext(uri_owl_FunctionalProperty, _45594), -(ip(_45594))], (827 ^ _35368) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35368) ^ [_45685] : [icext(uri_owl_InverseFunctionalProperty, _45685), -(ip(_45685))], (835 ^ _35368) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35368) ^ [_45776] : [icext(uri_owl_IrreflexiveProperty, _45776), -(ip(_45776))], (843 ^ _35368) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35368) ^ [_45879] : [icext(uri_rdfs_Literal, _45879), -(lv(_45879))], (851 ^ _35368) ^ [_45948] : [lv(_45948), -(icext(uri_rdfs_Literal, _45948))], (857 ^ _35368) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35368) ^ [_46041] : [icext(uri_owl_NamedIndividual, _46041), -(ir(_46041))], (865 ^ _35368) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35368) ^ [_46132] : [icext(uri_owl_NegativePropertyAssertion, _46132), -(ir(_46132))], (873 ^ _35368) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35368) ^ [_46232] : [icext(uri_owl_Nothing, _46232)], (877 ^ _35368) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35368) ^ [_46285] : [icext(uri_owl_ObjectProperty, _46285), -(ip(_46285))], (885 ^ _35368) ^ [_46354] : [ip(_46354), -(icext(uri_owl_ObjectProperty, _46354))], (891 ^ _35368) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35368) ^ [_46459] : [icext(uri_owl_Ontology, _46459), -(ix(_46459))], (899 ^ _35368) ^ [_46528] : [ix(_46528), -(icext(uri_owl_Ontology, _46528))], (905 ^ _35368) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35368) ^ [_46633] : [icext(uri_owl_OntologyProperty, _46633), -(ioxp(_46633))], (913 ^ _35368) ^ [_46702] : [ioxp(_46702), -(icext(uri_owl_OntologyProperty, _46702))], (919 ^ _35368) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35368) ^ [_46807] : [icext(uri_rdf_Property, _46807), -(ip(_46807))], (927 ^ _35368) ^ [_46876] : [ip(_46876), -(icext(uri_rdf_Property, _46876))], (933 ^ _35368) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35368) ^ [_46969] : [icext(uri_owl_ReflexiveProperty, _46969), -(ip(_46969))], (941 ^ _35368) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35368) ^ [_47072] : [icext(uri_rdfs_Resource, _47072), -(ir(_47072))], (949 ^ _35368) ^ [_47141] : [ir(_47141), -(icext(uri_rdfs_Resource, _47141))], (955 ^ _35368) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35368) ^ [_47234] : [icext(uri_owl_Restriction, _47234), -(ic(_47234))], (963 ^ _35368) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35368) ^ [_47325] : [icext(uri_owl_SymmetricProperty, _47325), -(ip(_47325))], (971 ^ _35368) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35368) ^ [_47428] : [icext(uri_owl_Thing, _47428), -(ir(_47428))], (979 ^ _35368) ^ [_47497] : [ir(_47497), -(icext(uri_owl_Thing, _47497))], (985 ^ _35368) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35368) ^ [_47590] : [icext(uri_owl_TransitiveProperty, _47590), -(ip(_47590))], (993 ^ _35368) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35368) ^ [_47681, _47683] : [iext(uri_owl_allValuesFrom, _47683, _47681), 998 ^ _35368 : [(999 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _47683))], (1001 ^ _35368) ^ [] : [-(ic(_47681))]]], (1003 ^ _35368) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35368) ^ [_47802, _47804] : [iext(uri_owl_annotatedProperty, _47804, _47802), 1008 ^ _35368 : [(1009 ^ _35368) ^ [] : [-(ir(_47804))], (1011 ^ _35368) ^ [] : [-(ir(_47802))]]], (1013 ^ _35368) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35368) ^ [_47921, _47923] : [iext(uri_owl_annotatedSource, _47923, _47921), 1018 ^ _35368 : [(1019 ^ _35368) ^ [] : [-(ir(_47923))], (1021 ^ _35368) ^ [] : [-(ir(_47921))]]], (1023 ^ _35368) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35368) ^ [_48040, _48042] : [iext(uri_owl_annotatedTarget, _48042, _48040), 1028 ^ _35368 : [(1029 ^ _35368) ^ [] : [-(ir(_48042))], (1031 ^ _35368) ^ [] : [-(ir(_48040))]]], (1033 ^ _35368) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35368) ^ [_48159, _48161] : [iext(uri_owl_assertionProperty, _48161, _48159), 1038 ^ _35368 : [(1039 ^ _35368) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48161))], (1041 ^ _35368) ^ [] : [-(ip(_48159))]]], (1043 ^ _35368) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35368) ^ [_48280, _48282] : [iext(uri_owl_backwardCompatibleWith, _48282, _48280), 1048 ^ _35368 : [(1049 ^ _35368) ^ [] : [-(ix(_48282))], (1051 ^ _35368) ^ [] : [-(ix(_48280))]]], (1053 ^ _35368) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35368) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35368) ^ [_48429, _48431] : [iext(uri_owl_bottomDataProperty, _48431, _48429)], (1059 ^ _35368) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35368) ^ [_48485, _48487] : [iext(uri_owl_bottomObjectProperty, _48487, _48485)], (1063 ^ _35368) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35368) ^ [_48529, _48531] : [iext(uri_owl_cardinality, _48531, _48529), 1068 ^ _35368 : [(1069 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _48531))], (1071 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48529))]]], (1073 ^ _35368) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35368) ^ [_48652, _48654] : [iext(uri_rdfs_comment, _48654, _48652), 1078 ^ _35368 : [(1079 ^ _35368) ^ [] : [-(ir(_48654))], (1081 ^ _35368) ^ [] : [-(lv(_48652))]]], (1083 ^ _35368) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35368) ^ [_48771, _48773] : [iext(uri_owl_complementOf, _48773, _48771), 1088 ^ _35368 : [(1089 ^ _35368) ^ [] : [-(ic(_48773))], (1091 ^ _35368) ^ [] : [-(ic(_48771))]]], (1093 ^ _35368) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35368) ^ [_48890, _48892] : [iext(uri_owl_datatypeComplementOf, _48892, _48890), 1098 ^ _35368 : [(1099 ^ _35368) ^ [] : [-(idc(_48892))], (1101 ^ _35368) ^ [] : [-(idc(_48890))]]], (1103 ^ _35368) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35368) ^ [_49009, _49011] : [iext(uri_owl_deprecated, _49011, _49009), 1108 ^ _35368 : [(1109 ^ _35368) ^ [] : [-(ir(_49011))], (1111 ^ _35368) ^ [] : [-(ir(_49009))]]], (1113 ^ _35368) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35368) ^ [_49128, _49130] : [iext(uri_owl_differentFrom, _49130, _49128), 1118 ^ _35368 : [(1119 ^ _35368) ^ [] : [-(ir(_49130))], (1121 ^ _35368) ^ [] : [-(ir(_49128))]]], (1123 ^ _35368) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35368) ^ [_49247, _49249] : [iext(uri_owl_disjointUnionOf, _49249, _49247), 1128 ^ _35368 : [(1129 ^ _35368) ^ [] : [-(ic(_49249))], (1131 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _49247))]]], (1133 ^ _35368) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35368) ^ [_49368, _49370] : [iext(uri_owl_disjointWith, _49370, _49368), 1138 ^ _35368 : [(1139 ^ _35368) ^ [] : [-(ic(_49370))], (1141 ^ _35368) ^ [] : [-(ic(_49368))]]], (1143 ^ _35368) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35368) ^ [_49487, _49489] : [iext(uri_owl_distinctMembers, _49489, _49487), 1148 ^ _35368 : [(1149 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, _49489))], (1151 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _49487))]]], (1153 ^ _35368) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35368) ^ [_49610, _49612] : [iext(uri_owl_equivalentClass, _49612, _49610), 1158 ^ _35368 : [(1159 ^ _35368) ^ [] : [-(ic(_49612))], (1161 ^ _35368) ^ [] : [-(ic(_49610))]]], (1163 ^ _35368) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35368) ^ [_49729, _49731] : [iext(uri_owl_equivalentProperty, _49731, _49729), 1168 ^ _35368 : [(1169 ^ _35368) ^ [] : [-(ip(_49731))], (1171 ^ _35368) ^ [] : [-(ip(_49729))]]], (1173 ^ _35368) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35368) ^ [_49848, _49850] : [iext(uri_owl_hasKey, _49850, _49848), 1178 ^ _35368 : [(1179 ^ _35368) ^ [] : [-(ic(_49850))], (1181 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _49848))]]], (1183 ^ _35368) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35368) ^ [_49969, _49971] : [iext(uri_owl_hasSelf, _49971, _49969), 1188 ^ _35368 : [(1189 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _49971))], (1191 ^ _35368) ^ [] : [-(ir(_49969))]]], (1193 ^ _35368) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35368) ^ [_50090, _50092] : [iext(uri_owl_hasValue, _50092, _50090), 1198 ^ _35368 : [(1199 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _50092))], (1201 ^ _35368) ^ [] : [-(ir(_50090))]]], (1203 ^ _35368) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35368) ^ [_50211, _50213] : [iext(uri_owl_imports, _50213, _50211), 1208 ^ _35368 : [(1209 ^ _35368) ^ [] : [-(ix(_50213))], (1211 ^ _35368) ^ [] : [-(ix(_50211))]]], (1213 ^ _35368) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35368) ^ [_50330, _50332] : [iext(uri_owl_incompatibleWith, _50332, _50330), 1218 ^ _35368 : [(1219 ^ _35368) ^ [] : [-(ix(_50332))], (1221 ^ _35368) ^ [] : [-(ix(_50330))]]], (1223 ^ _35368) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35368) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35368) ^ [_50467, _50469] : [iext(uri_owl_intersectionOf, _50469, _50467), 1230 ^ _35368 : [(1231 ^ _35368) ^ [] : [-(ic(_50469))], (1233 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _50467))]]], (1235 ^ _35368) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35368) ^ [_50588, _50590] : [iext(uri_owl_inverseOf, _50590, _50588), 1240 ^ _35368 : [(1241 ^ _35368) ^ [] : [-(ip(_50590))], (1243 ^ _35368) ^ [] : [-(ip(_50588))]]], (1245 ^ _35368) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35368) ^ [_50707, _50709] : [iext(uri_rdfs_isDefinedBy, _50709, _50707), 1250 ^ _35368 : [(1251 ^ _35368) ^ [] : [-(ir(_50709))], (1253 ^ _35368) ^ [] : [-(ir(_50707))]]], (1255 ^ _35368) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35368) ^ [_50826, _50828] : [iext(uri_rdfs_label, _50828, _50826), 1260 ^ _35368 : [(1261 ^ _35368) ^ [] : [-(ir(_50828))], (1263 ^ _35368) ^ [] : [-(lv(_50826))]]], (1265 ^ _35368) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35368) ^ [_50945, _50947] : [iext(uri_owl_maxCardinality, _50947, _50945), 1270 ^ _35368 : [(1271 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _50947))], (1273 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50945))]]], (1275 ^ _35368) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35368) ^ [_51068, _51070] : [iext(uri_owl_maxQualifiedCardinality, _51070, _51068), 1280 ^ _35368 : [(1281 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _51070))], (1283 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51068))]]], (1285 ^ _35368) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35368) ^ [_51191, _51193] : [iext(uri_owl_members, _51193, _51191), 1290 ^ _35368 : [(1291 ^ _35368) ^ [] : [-(ir(_51193))], (1293 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _51191))]]], (1295 ^ _35368) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35368) ^ [_51312, _51314] : [iext(uri_owl_minCardinality, _51314, _51312), 1300 ^ _35368 : [(1301 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _51314))], (1303 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51312))]]], (1305 ^ _35368) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35368) ^ [_51435, _51437] : [iext(uri_owl_minQualifiedCardinality, _51437, _51435), 1310 ^ _35368 : [(1311 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _51437))], (1313 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51435))]]], (1315 ^ _35368) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35368) ^ [_51558, _51560] : [iext(uri_owl_onClass, _51560, _51558), 1320 ^ _35368 : [(1321 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _51560))], (1323 ^ _35368) ^ [] : [-(ic(_51558))]]], (1325 ^ _35368) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35368) ^ [_51679, _51681] : [iext(uri_owl_onDataRange, _51681, _51679), 1330 ^ _35368 : [(1331 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _51681))], (1333 ^ _35368) ^ [] : [-(idc(_51679))]]], (1335 ^ _35368) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35368) ^ [_51800, _51802] : [iext(uri_owl_onDatatype, _51802, _51800), 1340 ^ _35368 : [(1341 ^ _35368) ^ [] : [-(idc(_51802))], (1343 ^ _35368) ^ [] : [-(idc(_51800))]]], (1345 ^ _35368) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35368) ^ [_51919, _51921] : [iext(uri_owl_oneOf, _51921, _51919), 1350 ^ _35368 : [(1351 ^ _35368) ^ [] : [-(ic(_51921))], (1353 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _51919))]]], (1355 ^ _35368) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35368) ^ [_52040, _52042] : [iext(uri_owl_onProperty, _52042, _52040), 1360 ^ _35368 : [(1361 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _52042))], (1363 ^ _35368) ^ [] : [-(ip(_52040))]]], (1365 ^ _35368) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35368) ^ [_52161, _52163] : [iext(uri_owl_priorVersion, _52163, _52161), 1370 ^ _35368 : [(1371 ^ _35368) ^ [] : [-(ix(_52163))], (1373 ^ _35368) ^ [] : [-(ix(_52161))]]], (1375 ^ _35368) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35368) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35368) ^ [_52298, _52300] : [iext(uri_owl_propertyChainAxiom, _52300, _52298), 1382 ^ _35368 : [(1383 ^ _35368) ^ [] : [-(ip(_52300))], (1385 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _52298))]]], (1387 ^ _35368) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35368) ^ [_52419, _52421] : [iext(uri_owl_propertyDisjointWith, _52421, _52419), 1392 ^ _35368 : [(1393 ^ _35368) ^ [] : [-(ip(_52421))], (1395 ^ _35368) ^ [] : [-(ip(_52419))]]], (1397 ^ _35368) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35368) ^ [_52538, _52540] : [iext(uri_owl_qualifiedCardinality, _52540, _52538), 1402 ^ _35368 : [(1403 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _52540))], (1405 ^ _35368) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52538))]]], (1407 ^ _35368) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35368) ^ [_52661, _52663] : [iext(uri_owl_sameAs, _52663, _52661), 1412 ^ _35368 : [(1413 ^ _35368) ^ [] : [-(ir(_52663))], (1415 ^ _35368) ^ [] : [-(ir(_52661))]]], (1417 ^ _35368) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35368) ^ [_52780, _52782] : [iext(uri_rdfs_seeAlso, _52782, _52780), 1422 ^ _35368 : [(1423 ^ _35368) ^ [] : [-(ir(_52782))], (1425 ^ _35368) ^ [] : [-(ir(_52780))]]], (1427 ^ _35368) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35368) ^ [_52899, _52901] : [iext(uri_owl_someValuesFrom, _52901, _52899), 1432 ^ _35368 : [(1433 ^ _35368) ^ [] : [-(icext(uri_owl_Restriction, _52901))], (1435 ^ _35368) ^ [] : [-(ic(_52899))]]], (1437 ^ _35368) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35368) ^ [_53020, _53022] : [iext(uri_owl_sourceIndividual, _53022, _53020), 1442 ^ _35368 : [(1443 ^ _35368) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53022))], (1445 ^ _35368) ^ [] : [-(ir(_53020))]]], (1447 ^ _35368) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35368) ^ [_53141, _53143] : [iext(uri_owl_targetIndividual, _53143, _53141), 1452 ^ _35368 : [(1453 ^ _35368) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53143))], (1455 ^ _35368) ^ [] : [-(ir(_53141))]]], (1457 ^ _35368) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35368) ^ [_53262, _53264] : [iext(uri_owl_targetValue, _53264, _53262), 1462 ^ _35368 : [(1463 ^ _35368) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53264))], (1465 ^ _35368) ^ [] : [-(lv(_53262))]]], (1467 ^ _35368) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35368) ^ [_53398, _53400] : [iext(uri_owl_topDataProperty, _53400, _53398), 1472 ^ _35368 : [(1473 ^ _35368) ^ [] : [-(ir(_53400))], (1475 ^ _35368) ^ [] : [-(lv(_53398))]]], (1477 ^ _35368) ^ [_53495, _53497] : [-(iext(uri_owl_topDataProperty, _53497, _53495)), ir(_53497), lv(_53495)], (1487 ^ _35368) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35368) ^ [_53657, _53659] : [iext(uri_owl_topObjectProperty, _53659, _53657), 1492 ^ _35368 : [(1493 ^ _35368) ^ [] : [-(ir(_53659))], (1495 ^ _35368) ^ [] : [-(ir(_53657))]]], (1497 ^ _35368) ^ [_53754, _53756] : [-(iext(uri_owl_topObjectProperty, _53756, _53754)), ir(_53756), ir(_53754)], (1507 ^ _35368) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35368) ^ [_53901, _53903] : [iext(uri_owl_unionOf, _53903, _53901), 1512 ^ _35368 : [(1513 ^ _35368) ^ [] : [-(ic(_53903))], (1515 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _53901))]]], (1517 ^ _35368) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35368) ^ [_54022, _54024] : [iext(uri_owl_versionInfo, _54024, _54022), 1522 ^ _35368 : [(1523 ^ _35368) ^ [] : [-(ir(_54024))], (1525 ^ _35368) ^ [] : [-(ir(_54022))]]], (1527 ^ _35368) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35368) ^ [_54141, _54143] : [iext(uri_owl_versionIRI, _54143, _54141), 1532 ^ _35368 : [(1533 ^ _35368) ^ [] : [-(ix(_54143))], (1535 ^ _35368) ^ [] : [-(ix(_54141))]]], (1537 ^ _35368) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35368) ^ [_54260, _54262] : [iext(uri_owl_withRestrictions, _54262, _54260), 1542 ^ _35368 : [(1543 ^ _35368) ^ [] : [-(idc(_54262))], (1545 ^ _35368) ^ [] : [-(icext(uri_rdf_List, _54260))]]], (1547 ^ _35368) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35368) ^ [_54381, _54383] : [iext(uri_owl_complementOf, _54383, _54381), 1552 ^ _35368 : [(1553 ^ _35368) ^ [] : [-(ic(_54383))], (1555 ^ _35368) ^ [] : [-(ic(_54381))], (1557 ^ _35368) ^ [_54511] : [icext(_54383, _54511), icext(_54381, _54511)], (1563 ^ _35368) ^ [_54585] : [-(icext(_54381, _54585)), -(icext(_54383, _54585))]]], (1569 ^ _35368) ^ [_54629, _54631] : [iext(uri_owl_datatypeComplementOf, _54631, _54629), 1572 ^ _35368 : [(1573 ^ _35368) ^ [_54713] : [icext(_54631, _54713), 1576 ^ _35368 : [(1577 ^ _35368) ^ [] : [-(lv(_54713))], (1579 ^ _35368) ^ [] : [icext(_54629, _54713)]]], (1581 ^ _35368) ^ [_54820] : [-(icext(_54631, _54820)), lv(_54820), -(icext(_54629, _54820))]]], (1609 ^ _35368) ^ [_55222] : [-(iext(uri_owl_intersectionOf, _55222, uri_rdf_nil)), ic(_55222), 1617 ^ _35368 : [(1618 ^ _35368) ^ [] : [-(icext(_55222, 1614 ^ [_55222]))], (1620 ^ _35368) ^ [] : [ir(1614 ^ [_55222])]], 1621 ^ _35368 : [(1622 ^ _35368) ^ [] : [-(ir(1614 ^ [_55222]))], (1624 ^ _35368) ^ [] : [icext(_55222, 1614 ^ [_55222])]]], (1591 ^ _35368) ^ [_54972] : [iext(uri_owl_intersectionOf, _54972, uri_rdf_nil), 1594 ^ _35368 : [(1595 ^ _35368) ^ [] : [-(ic(_54972))], (1597 ^ _35368) ^ [_55072] : [icext(_54972, _55072), -(ir(_55072))], (1603 ^ _35368) ^ [_55143] : [ir(_55143), -(icext(_54972, _55143))]]], (1628 ^ _35368) ^ [_55492, _55494, _55496] : [iext(uri_rdf_first, _55494, _55492), iext(uri_rdf_rest, _55494, uri_rdf_nil), 1635 ^ _35368 : [(1636 ^ _35368) ^ [] : [iext(uri_owl_intersectionOf, _55496, _55494), 1639 ^ _35368 : [(1640 ^ _35368) ^ [] : [-(ic(_55496))], (1642 ^ _35368) ^ [] : [-(ic(_55492))], (1644 ^ _35368) ^ [_55741] : [icext(_55496, _55741), -(icext(_55492, _55741))], (1650 ^ _35368) ^ [_55818] : [icext(_55492, _55818), -(icext(_55496, _55818))]]], (1656 ^ _35368) ^ [] : [-(iext(uri_owl_intersectionOf, _55496, _55494)), ic(_55496), ic(_55492), 1668 ^ _35368 : [(1669 ^ _35368) ^ [] : [-(icext(_55496, 1665 ^ [_55492, _55494, _55496]))], (1671 ^ _35368) ^ [] : [icext(_55492, 1665 ^ [_55492, _55494, _55496])]], 1672 ^ _35368 : [(1673 ^ _35368) ^ [] : [-(icext(_55492, 1665 ^ [_55492, _55494, _55496]))], (1675 ^ _35368) ^ [] : [icext(_55496, 1665 ^ [_55492, _55494, _55496])]]]]], (1679 ^ _35368) ^ [_56239, _56241, _56243, _56245, _56247] : [iext(uri_rdf_first, _56245, _56243), iext(uri_rdf_rest, _56245, _56241), iext(uri_rdf_first, _56241, _56239), iext(uri_rdf_rest, _56241, uri_rdf_nil), 1694 ^ _35368 : [(1695 ^ _35368) ^ [] : [iext(uri_owl_intersectionOf, _56247, _56245), 1698 ^ _35368 : [(1699 ^ _35368) ^ [] : [-(ic(_56247))], (1701 ^ _35368) ^ [] : [-(ic(_56243))], (1703 ^ _35368) ^ [] : [-(ic(_56239))], (1705 ^ _35368) ^ [_56651] : [icext(_56247, _56651), 1708 ^ _35368 : [(1709 ^ _35368) ^ [] : [-(icext(_56243, _56651))], (1711 ^ _35368) ^ [] : [-(icext(_56239, _56651))]]], (1713 ^ _35368) ^ [_56758] : [-(icext(_56247, _56758)), icext(_56243, _56758), icext(_56239, _56758)]]], (1723 ^ _35368) ^ [] : [-(iext(uri_owl_intersectionOf, _56247, _56245)), ic(_56247), ic(_56243), ic(_56239), 1747 ^ _35368 : [(1748 ^ _35368) ^ [] : [-(icext(_56243, 1736 ^ [_56239, _56241, _56243, _56245, _56247]))], (1750 ^ _35368) ^ [] : [-(icext(_56239, 1736 ^ [_56239, _56241, _56243, _56245, _56247]))], (1752 ^ _35368) ^ [] : [icext(_56247, 1736 ^ [_56239, _56241, _56243, _56245, _56247])]], 1739 ^ _35368 : [(1740 ^ _35368) ^ [] : [-(icext(_56247, 1736 ^ [_56239, _56241, _56243, _56245, _56247]))], (1742 ^ _35368) ^ [] : [icext(_56243, 1736 ^ [_56239, _56241, _56243, _56245, _56247]), icext(_56239, 1736 ^ [_56239, _56241, _56243, _56245, _56247])]]]]], (1756 ^ _35368) ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450] : [iext(uri_rdf_first, _57448, _57446), iext(uri_rdf_rest, _57448, _57444), iext(uri_rdf_first, _57444, _57442), iext(uri_rdf_rest, _57444, _57440), iext(uri_rdf_first, _57440, _57438), iext(uri_rdf_rest, _57440, uri_rdf_nil), 1779 ^ _35368 : [(1780 ^ _35368) ^ [] : [iext(uri_owl_intersectionOf, _57450, _57448), 1783 ^ _35368 : [(1784 ^ _35368) ^ [] : [-(ic(_57450))], (1786 ^ _35368) ^ [] : [-(ic(_57446))], (1788 ^ _35368) ^ [] : [-(ic(_57442))], (1790 ^ _35368) ^ [] : [-(ic(_57438))], (1792 ^ _35368) ^ [_58029] : [icext(_57450, _58029), 1795 ^ _35368 : [(1796 ^ _35368) ^ [] : [-(icext(_57446, _58029))], (1798 ^ _35368) ^ [] : [-(icext(_57442, _58029))], (1800 ^ _35368) ^ [] : [-(icext(_57438, _58029))]]], (1802 ^ _35368) ^ [_58164] : [-(icext(_57450, _58164)), icext(_57446, _58164), icext(_57442, _58164), icext(_57438, _58164)]]], (1816 ^ _35368) ^ [] : [-(iext(uri_owl_intersectionOf, _57450, _57448)), ic(_57450), ic(_57446), ic(_57442), ic(_57438), 1848 ^ _35368 : [(1849 ^ _35368) ^ [] : [-(icext(_57446, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]))], (1851 ^ _35368) ^ [] : [-(icext(_57442, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]))], (1853 ^ _35368) ^ [] : [-(icext(_57438, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]))], (1855 ^ _35368) ^ [] : [icext(_57450, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450])]], 1836 ^ _35368 : [(1837 ^ _35368) ^ [] : [-(icext(_57450, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]))], (1839 ^ _35368) ^ [] : [icext(_57446, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]), icext(_57442, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450]), icext(_57438, 1833 ^ [_57438, _57440, _57442, _57444, _57446, _57448, _57450])]]]]], (1859 ^ _35368) ^ [_59145, _59147, _59149] : [-(idc(_59149)), iext(uri_rdf_first, _59147, _59145), iext(uri_rdf_rest, _59147, uri_rdf_nil), idc(_59145), iext(uri_owl_intersectionOf, _59149, _59147)], (1877 ^ _35368) ^ [_59388, _59390, _59392, _59394, _59396] : [-(idc(_59396)), iext(uri_rdf_first, _59394, _59392), iext(uri_rdf_rest, _59394, _59390), iext(uri_rdf_first, _59390, _59388), iext(uri_rdf_rest, _59390, uri_rdf_nil), idc(_59392), idc(_59388), iext(uri_owl_intersectionOf, _59396, _59394)], (1907 ^ _35368) ^ [_59823, _59825, _59827, _59829, _59831, _59833, _59835] : [-(idc(_59835)), iext(uri_rdf_first, _59833, _59831), iext(uri_rdf_rest, _59833, _59829), iext(uri_rdf_first, _59829, _59827), iext(uri_rdf_rest, _59829, _59825), iext(uri_rdf_first, _59825, _59823), iext(uri_rdf_rest, _59825, uri_rdf_nil), idc(_59831), idc(_59827), idc(_59823), iext(uri_owl_intersectionOf, _59835, _59833)], (1949 ^ _35368) ^ [_60486] : [iext(uri_owl_unionOf, _60486, uri_rdf_nil), 1952 ^ _35368 : [(1953 ^ _35368) ^ [] : [-(ic(_60486))], (1955 ^ _35368) ^ [_60576] : [icext(_60486, _60576)]]], (1957 ^ _35368) ^ [_60601] : [-(iext(uri_owl_unionOf, _60601, uri_rdf_nil)), ic(_60601), -(icext(_60601, 1962 ^ [_60601]))], (1968 ^ _35368) ^ [_60741, _60743, _60745] : [iext(uri_rdf_first, _60743, _60741), iext(uri_rdf_rest, _60743, uri_rdf_nil), 1975 ^ _35368 : [(1976 ^ _35368) ^ [] : [iext(uri_owl_unionOf, _60745, _60743), 1979 ^ _35368 : [(1980 ^ _35368) ^ [] : [-(ic(_60745))], (1982 ^ _35368) ^ [] : [-(ic(_60741))], (1984 ^ _35368) ^ [_60990] : [icext(_60745, _60990), -(icext(_60741, _60990))], (1990 ^ _35368) ^ [_61067] : [icext(_60741, _61067), -(icext(_60745, _61067))]]], (1996 ^ _35368) ^ [] : [-(iext(uri_owl_unionOf, _60745, _60743)), ic(_60745), ic(_60741), 2008 ^ _35368 : [(2009 ^ _35368) ^ [] : [-(icext(_60745, 2005 ^ [_60741, _60743, _60745]))], (2011 ^ _35368) ^ [] : [icext(_60741, 2005 ^ [_60741, _60743, _60745])]], 2012 ^ _35368 : [(2013 ^ _35368) ^ [] : [-(icext(_60741, 2005 ^ [_60741, _60743, _60745]))], (2015 ^ _35368) ^ [] : [icext(_60745, 2005 ^ [_60741, _60743, _60745])]]]]], (2019 ^ _35368) ^ [_61488, _61490, _61492, _61494, _61496] : [iext(uri_rdf_first, _61494, _61492), iext(uri_rdf_rest, _61494, _61490), iext(uri_rdf_first, _61490, _61488), iext(uri_rdf_rest, _61490, uri_rdf_nil), 2034 ^ _35368 : [(2035 ^ _35368) ^ [] : [iext(uri_owl_unionOf, _61496, _61494), 2038 ^ _35368 : [(2039 ^ _35368) ^ [] : [-(ic(_61496))], (2041 ^ _35368) ^ [] : [-(ic(_61492))], (2043 ^ _35368) ^ [] : [-(ic(_61488))], (2055 ^ _35368) ^ [_61994] : [2056 ^ _35368 : [(2057 ^ _35368) ^ [] : [icext(_61492, _61994)], (2059 ^ _35368) ^ [] : [icext(_61488, _61994)]], -(icext(_61496, _61994))], (2045 ^ _35368) ^ [_61900] : [icext(_61496, _61900), -(icext(_61492, _61900)), -(icext(_61488, _61900))]]], (2063 ^ _35368) ^ [] : [-(iext(uri_owl_unionOf, _61496, _61494)), ic(_61496), ic(_61492), ic(_61488), 2079 ^ _35368 : [(2080 ^ _35368) ^ [] : [-(icext(_61496, 2076 ^ [_61488, _61490, _61492, _61494, _61496]))], (2082 ^ _35368) ^ [] : [icext(_61492, 2076 ^ [_61488, _61490, _61492, _61494, _61496])], (2084 ^ _35368) ^ [] : [icext(_61488, 2076 ^ [_61488, _61490, _61492, _61494, _61496])]], 2085 ^ _35368 : [(2092 ^ _35368) ^ [] : [icext(_61496, 2076 ^ [_61488, _61490, _61492, _61494, _61496])], (2086 ^ _35368) ^ [] : [-(icext(_61492, 2076 ^ [_61488, _61490, _61492, _61494, _61496])), -(icext(_61488, 2076 ^ [_61488, _61490, _61492, _61494, _61496]))]]]]], (2096 ^ _35368) ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628] : [iext(uri_rdf_first, _62626, _62624), iext(uri_rdf_rest, _62626, _62622), iext(uri_rdf_first, _62622, _62620), iext(uri_rdf_rest, _62622, _62618), iext(uri_rdf_first, _62618, _62616), iext(uri_rdf_rest, _62618, uri_rdf_nil), 2119 ^ _35368 : [(2120 ^ _35368) ^ [] : [iext(uri_owl_unionOf, _62628, _62626), 2123 ^ _35368 : [(2124 ^ _35368) ^ [] : [-(ic(_62628))], (2126 ^ _35368) ^ [] : [-(ic(_62624))], (2128 ^ _35368) ^ [] : [-(ic(_62620))], (2130 ^ _35368) ^ [] : [-(ic(_62616))], (2146 ^ _35368) ^ [_63318] : [2147 ^ _35368 : [(2148 ^ _35368) ^ [] : [icext(_62624, _63318)], (2150 ^ _35368) ^ [] : [icext(_62620, _63318)], (2152 ^ _35368) ^ [] : [icext(_62616, _63318)]], -(icext(_62628, _63318))], (2132 ^ _35368) ^ [_63207] : [icext(_62628, _63207), -(icext(_62624, _63207)), -(icext(_62620, _63207)), -(icext(_62616, _63207))]]], (2156 ^ _35368) ^ [] : [-(iext(uri_owl_unionOf, _62628, _62626)), ic(_62628), ic(_62624), ic(_62620), ic(_62616), 2176 ^ _35368 : [(2177 ^ _35368) ^ [] : [-(icext(_62628, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628]))], (2179 ^ _35368) ^ [] : [icext(_62624, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])], (2181 ^ _35368) ^ [] : [icext(_62620, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])], (2183 ^ _35368) ^ [] : [icext(_62616, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])]], 2184 ^ _35368 : [(2195 ^ _35368) ^ [] : [icext(_62628, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])], (2185 ^ _35368) ^ [] : [-(icext(_62624, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])), -(icext(_62620, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628])), -(icext(_62616, 2173 ^ [_62616, _62618, _62620, _62622, _62624, _62626, _62628]))]]]]], (2199 ^ _35368) ^ [_64164, _64166, _64168] : [-(idc(_64168)), iext(uri_rdf_first, _64166, _64164), iext(uri_rdf_rest, _64166, uri_rdf_nil), idc(_64164), iext(uri_owl_unionOf, _64168, _64166)], (2217 ^ _35368) ^ [_64407, _64409, _64411, _64413, _64415] : [-(idc(_64415)), iext(uri_rdf_first, _64413, _64411), iext(uri_rdf_rest, _64413, _64409), iext(uri_rdf_first, _64409, _64407), iext(uri_rdf_rest, _64409, uri_rdf_nil), idc(_64411), idc(_64407), iext(uri_owl_unionOf, _64415, _64413)], (2247 ^ _35368) ^ [_64842, _64844, _64846, _64848, _64850, _64852, _64854] : [-(idc(_64854)), iext(uri_rdf_first, _64852, _64850), iext(uri_rdf_rest, _64852, _64848), iext(uri_rdf_first, _64848, _64846), iext(uri_rdf_rest, _64848, _64844), iext(uri_rdf_first, _64844, _64842), iext(uri_rdf_rest, _64844, uri_rdf_nil), idc(_64850), idc(_64846), idc(_64842), iext(uri_owl_unionOf, _64854, _64852)], (2289 ^ _35368) ^ [_65505] : [iext(uri_owl_oneOf, _65505, uri_rdf_nil), 2292 ^ _35368 : [(2293 ^ _35368) ^ [] : [-(ic(_65505))], (2295 ^ _35368) ^ [_65595] : [icext(_65505, _65595)]]], (2297 ^ _35368) ^ [_65620] : [-(iext(uri_owl_oneOf, _65620, uri_rdf_nil)), ic(_65620), -(icext(_65620, 2302 ^ [_65620]))], (2308 ^ _35368) ^ [_65760, _65762, _65764] : [iext(uri_rdf_first, _65762, _65760), iext(uri_rdf_rest, _65762, uri_rdf_nil), 2315 ^ _35368 : [(2334 ^ _35368) ^ [] : [-(iext(uri_owl_oneOf, _65764, _65762)), ic(_65764), 2342 ^ _35368 : [(2343 ^ _35368) ^ [] : [-(icext(_65764, 2339 ^ [_65760, _65762, _65764]))], (2345 ^ _35368) ^ [] : [2339 ^ [_65760, _65762, _65764] = _65760]], 2346 ^ _35368 : [(2347 ^ _35368) ^ [] : [-(2339 ^ [_65760, _65762, _65764] = _65760)], (2349 ^ _35368) ^ [] : [icext(_65764, 2339 ^ [_65760, _65762, _65764])]]], (2316 ^ _35368) ^ [] : [iext(uri_owl_oneOf, _65764, _65762), 2319 ^ _35368 : [(2320 ^ _35368) ^ [] : [-(ic(_65764))], (2322 ^ _35368) ^ [_65984] : [icext(_65764, _65984), -(_65984 = _65760)], (2328 ^ _35368) ^ [_66061] : [_66061 = _65760, -(icext(_65764, _66061))]]]]], (2353 ^ _35368) ^ [_66433, _66435, _66437, _66439, _66441] : [iext(uri_rdf_first, _66439, _66437), iext(uri_rdf_rest, _66439, _66435), iext(uri_rdf_first, _66435, _66433), iext(uri_rdf_rest, _66435, uri_rdf_nil), 2368 ^ _35368 : [(2393 ^ _35368) ^ [] : [-(iext(uri_owl_oneOf, _66441, _66439)), ic(_66441), 2401 ^ _35368 : [(2402 ^ _35368) ^ [] : [-(icext(_66441, 2398 ^ [_66433, _66435, _66437, _66439, _66441]))], (2404 ^ _35368) ^ [] : [2398 ^ [_66433, _66435, _66437, _66439, _66441] = _66437], (2406 ^ _35368) ^ [] : [2398 ^ [_66433, _66435, _66437, _66439, _66441] = _66433]], 2407 ^ _35368 : [(2414 ^ _35368) ^ [] : [icext(_66441, 2398 ^ [_66433, _66435, _66437, _66439, _66441])], (2408 ^ _35368) ^ [] : [-(2398 ^ [_66433, _66435, _66437, _66439, _66441] = _66437), -(2398 ^ [_66433, _66435, _66437, _66439, _66441] = _66433)]]], (2369 ^ _35368) ^ [] : [iext(uri_owl_oneOf, _66441, _66439), 2372 ^ _35368 : [(2373 ^ _35368) ^ [] : [-(ic(_66441))], (2385 ^ _35368) ^ [_66889] : [2386 ^ _35368 : [(2387 ^ _35368) ^ [] : [_66889 = _66437], (2389 ^ _35368) ^ [] : [_66889 = _66433]], -(icext(_66441, _66889))], (2375 ^ _35368) ^ [_66795] : [icext(_66441, _66795), -(_66795 = _66437), -(_66795 = _66433)]]]]], (2418 ^ _35368) ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] : [iext(uri_rdf_first, _67904, _67902), iext(uri_rdf_rest, _67904, _67900), iext(uri_rdf_first, _67900, _67898), iext(uri_rdf_rest, _67900, _67896), iext(uri_rdf_first, _67896, _67894), iext(uri_rdf_rest, _67896, uri_rdf_nil), 2441 ^ _35368 : [(2472 ^ _35368) ^ [] : [-(iext(uri_owl_oneOf, _67906, _67904)), ic(_67906), 2480 ^ _35368 : [(2481 ^ _35368) ^ [] : [-(icext(_67906, 2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906]))], (2483 ^ _35368) ^ [] : [2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67902], (2485 ^ _35368) ^ [] : [2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67898], (2487 ^ _35368) ^ [] : [2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67894]], 2488 ^ _35368 : [(2499 ^ _35368) ^ [] : [icext(_67906, 2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906])], (2489 ^ _35368) ^ [] : [-(2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67902), -(2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67898), -(2477 ^ [_67894, _67896, _67898, _67900, _67902, _67904, _67906] = _67894)]]], (2442 ^ _35368) ^ [] : [iext(uri_owl_oneOf, _67906, _67904), 2445 ^ _35368 : [(2446 ^ _35368) ^ [] : [-(ic(_67906))], (2462 ^ _35368) ^ [_69305] : [2463 ^ _35368 : [(2464 ^ _35368) ^ [] : [_69305 = _67902], (2466 ^ _35368) ^ [] : [_69305 = _67898], (2468 ^ _35368) ^ [] : [_69305 = _67894]], -(icext(_67906, _69305))], (2448 ^ _35368) ^ [_68865] : [icext(_67906, _68865), -(_68865 = _67902), -(_68865 = _67898), -(_68865 = _67894)]]]]], (2503 ^ _35368) ^ [_70889, _70891, _70893] : [-(idc(_70893)), iext(uri_rdf_first, _70891, _70889), iext(uri_rdf_rest, _70891, uri_rdf_nil), lv(_70889), iext(uri_owl_oneOf, _70893, _70891)], (2521 ^ _35368) ^ [_71428, _71430, _71432, _71434, _71436] : [-(idc(_71436)), iext(uri_rdf_first, _71434, _71432), iext(uri_rdf_rest, _71434, _71430), iext(uri_rdf_first, _71430, _71428), iext(uri_rdf_rest, _71430, uri_rdf_nil), lv(_71432), lv(_71428), iext(uri_owl_oneOf, _71436, _71434)], (2551 ^ _35368) ^ [_72336, _72338, _72340, _72342, _72344, _72346, _72348] : [-(idc(_72348)), iext(uri_rdf_first, _72346, _72344), iext(uri_rdf_rest, _72346, _72342), iext(uri_rdf_first, _72342, _72340), iext(uri_rdf_rest, _72342, _72338), iext(uri_rdf_first, _72338, _72336), iext(uri_rdf_rest, _72338, uri_rdf_nil), lv(_72344), lv(_72340), lv(_72336), iext(uri_owl_oneOf, _72348, _72346)], (2593 ^ _35368) ^ [_73577, _73579, _73581] : [iext(uri_owl_allValuesFrom, _73581, _73577), iext(uri_owl_onProperty, _73581, _73579), 2600 ^ _35368 : [(2611 ^ _35368) ^ [_74203] : [2613 ^ _35368 : [(2614 ^ _35368) ^ [] : [-(iext(_73579, _74203, 2612 ^ [_73577, _73579, _73581, _74203]))], (2616 ^ _35368) ^ [] : [icext(_73577, 2612 ^ [_73577, _73579, _73581, _74203])]], -(icext(_73581, _74203))], (2601 ^ _35368) ^ [_73856] : [icext(_73581, _73856), 2604 ^ _35368 : [(2605 ^ _35368) ^ [_74008] : [iext(_73579, _73856, _74008), -(icext(_73577, _74008))]]]]], (2620 ^ _35368) ^ [_74608, _74610] : [iext(uri_owl_cardinality, _74610, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74610, _74608), 2627 ^ _35368 : [(2628 ^ _35368) ^ [_74875] : [icext(_74610, _74875), 2631 ^ _35368 : [(2632 ^ _35368) ^ [_75001] : [iext(_74608, _74875, _75001)]]], (2634 ^ _35368) ^ [_75072] : [-(iext(_74608, _75072, 2635 ^ [_74608, _74610, _75072])), -(icext(_74610, _75072))]]], (2641 ^ _35368) ^ [_75370, _75372] : [iext(uri_owl_cardinality, _75372, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _75372, _75370), 2648 ^ _35368 : [(2666 ^ _35368) ^ [_76275] : [-(icext(_75372, _76275)), 2669 ^ _35368 : [(2670 ^ _35368) ^ [_76418] : [iext(_75370, _76275, _76418)]], 2673 ^ _35368 : [(2674 ^ _35368) ^ [] : [-(iext(_75370, _76275, 2671 ^ [_75370, _75372, _76275]))], (2676 ^ _35368) ^ [] : [-(iext(_75370, _76275, 2672 ^ [_75370, _75372, _76275]))], (2678 ^ _35368) ^ [] : [2672 ^ [_75370, _75372, _76275] = 2671 ^ [_75370, _75372, _76275]]]], (2649 ^ _35368) ^ [_75665] : [icext(_75372, _75665), 2653 ^ _35368 : [(2654 ^ _35368) ^ [] : [-(iext(_75370, _75665, 2652 ^ [_75370, _75372, _75665]))], (2656 ^ _35368) ^ [_75977, _75979] : [-(_75977 = _75979), iext(_75370, _75665, _75979), iext(_75370, _75665, _75977)]]]]], (2682 ^ _35368) ^ [_76975, _76977] : [iext(uri_owl_cardinality, _76977, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76977, _76975), 2689 ^ _35368 : [(2720 ^ _35368) ^ [_78469] : [-(icext(_76977, _78469)), 2736 ^ _35368 : [(2737 ^ _35368) ^ [] : [-(iext(_76975, _78469, 2733 ^ [_76975, _76977, _78469]))], (2739 ^ _35368) ^ [] : [-(iext(_76975, _78469, 2734 ^ [_76975, _76977, _78469]))], (2741 ^ _35368) ^ [] : [-(iext(_76975, _78469, 2735 ^ [_76975, _76977, _78469]))], (2743 ^ _35368) ^ [] : [2735 ^ [_76975, _76977, _78469] = 2733 ^ [_76975, _76977, _78469]], (2745 ^ _35368) ^ [] : [2735 ^ [_76975, _76977, _78469] = 2734 ^ [_76975, _76977, _78469]]], 2723 ^ _35368 : [(2724 ^ _35368) ^ [_78680, _78682] : [iext(_76975, _78469, _78682), iext(_76975, _78469, _78680), -(_78682 = _78680)]]], (2690 ^ _35368) ^ [_77308] : [icext(_76977, _77308), 2695 ^ _35368 : [(2696 ^ _35368) ^ [] : [-(iext(_76975, _77308, 2693 ^ [_76975, _76977, _77308]))], (2698 ^ _35368) ^ [] : [-(iext(_76975, _77308, 2694 ^ [_76975, _76977, _77308]))], (2700 ^ _35368) ^ [] : [2693 ^ [_76975, _76977, _77308] = 2694 ^ [_76975, _76977, _77308]], (2702 ^ _35368) ^ [_77942, _77944, _77946] : [-(_77942 = _77946), -(_77942 = _77944), iext(_76975, _77308, _77946), iext(_76975, _77308, _77944), iext(_76975, _77308, _77942)]]]]], (2749 ^ _35368) ^ [_79781, _79783] : [iext(uri_owl_cardinality, _79783, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79783, _79781), 2756 ^ _35368 : [(2757 ^ _35368) ^ [_80160] : [icext(_79783, _80160), 2763 ^ _35368 : [(2764 ^ _35368) ^ [] : [-(iext(_79781, _80160, 2760 ^ [_79781, _79783, _80160]))], (2766 ^ _35368) ^ [] : [-(iext(_79781, _80160, 2761 ^ [_79781, _79783, _80160]))], (2768 ^ _35368) ^ [] : [-(iext(_79781, _80160, 2762 ^ [_79781, _79783, _80160]))], (2770 ^ _35368) ^ [] : [2760 ^ [_79781, _79783, _80160] = 2761 ^ [_79781, _79783, _80160]], (2772 ^ _35368) ^ [] : [2760 ^ [_79781, _79783, _80160] = 2762 ^ [_79781, _79783, _80160]], (2774 ^ _35368) ^ [] : [2761 ^ [_79781, _79783, _80160] = 2762 ^ [_79781, _79783, _80160]], (2776 ^ _35368) ^ [_81315, _81317, _81319, _81321] : [-(_81315 = _81321), -(_81315 = _81319), -(_81315 = _81317), iext(_79781, _80160, _81321), iext(_79781, _80160, _81319), iext(_79781, _80160, _81317), iext(_79781, _80160, _81315)]]], (2802 ^ _35368) ^ [_82089] : [-(icext(_79783, _82089)), 2831 ^ _35368 : [(2832 ^ _35368) ^ [] : [-(iext(_79781, _82089, 2827 ^ [_79781, _79783, _82089]))], (2834 ^ _35368) ^ [] : [-(iext(_79781, _82089, 2828 ^ [_79781, _79783, _82089]))], (2836 ^ _35368) ^ [] : [-(iext(_79781, _82089, 2829 ^ [_79781, _79783, _82089]))], (2838 ^ _35368) ^ [] : [-(iext(_79781, _82089, 2830 ^ [_79781, _79783, _82089]))], (2840 ^ _35368) ^ [] : [2830 ^ [_79781, _79783, _82089] = 2827 ^ [_79781, _79783, _82089]], (2842 ^ _35368) ^ [] : [2830 ^ [_79781, _79783, _82089] = 2828 ^ [_79781, _79783, _82089]], (2844 ^ _35368) ^ [] : [2830 ^ [_79781, _79783, _82089] = 2829 ^ [_79781, _79783, _82089]]], 2805 ^ _35368 : [(2806 ^ _35368) ^ [_82360, _82362, _82364] : [iext(_79781, _82089, _82364), iext(_79781, _82089, _82362), iext(_79781, _82089, _82360), -(_82364 = _82362), -(_82364 = _82360), -(_82362 = _82360)]]]]], (2848 ^ _35368) ^ [_84174, _84176, _84178] : [iext(uri_owl_qualifiedCardinality, _84178, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _84178, _84176), iext(uri_owl_onDataRange, _84178, _84174), 2859 ^ _35368 : [(2860 ^ _35368) ^ [] : [-(iodp(_84176))], (2876 ^ _35368) ^ [_85079] : [2878 ^ _35368 : [(2879 ^ _35368) ^ [] : [-(lv(2877 ^ [_84174, _84176, _84178, _85079]))], (2881 ^ _35368) ^ [] : [-(iext(_84176, _85079, 2877 ^ [_84174, _84176, _84178, _85079]))], (2883 ^ _35368) ^ [] : [-(icext(_84174, 2877 ^ [_84174, _84176, _84178, _85079]))]], -(icext(_84178, _85079))], (2862 ^ _35368) ^ [_84627] : [icext(_84178, _84627), 2865 ^ _35368 : [(2866 ^ _35368) ^ [_84786] : [lv(_84786), iext(_84176, _84627, _84786), icext(_84174, _84786)]]]]], (2887 ^ _35368) ^ [_85597, _85599, _85601] : [iext(uri_owl_qualifiedCardinality, _85601, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _85601, _85599), iext(uri_owl_onDataRange, _85601, _85597), 2898 ^ _35368 : [(2899 ^ _35368) ^ [] : [-(iodp(_85599))], (2938 ^ _35368) ^ [_87365] : [-(icext(_85601, _87365)), 2953 ^ _35368 : [(2954 ^ _35368) ^ [] : [-(lv(2951 ^ [_85597, _85599, _85601, _87365]))], (2956 ^ _35368) ^ [] : [-(iext(_85599, _87365, 2951 ^ [_85597, _85599, _85601, _87365]))], (2958 ^ _35368) ^ [] : [-(icext(_85597, 2951 ^ [_85597, _85599, _85601, _87365]))], (2960 ^ _35368) ^ [] : [-(lv(2952 ^ [_85597, _85599, _85601, _87365]))], (2962 ^ _35368) ^ [] : [-(iext(_85599, _87365, 2952 ^ [_85597, _85599, _85601, _87365]))], (2964 ^ _35368) ^ [] : [-(icext(_85597, 2952 ^ [_85597, _85599, _85601, _87365]))], (2966 ^ _35368) ^ [] : [2952 ^ [_85597, _85599, _85601, _87365] = 2951 ^ [_85597, _85599, _85601, _87365]]], 2941 ^ _35368 : [(2942 ^ _35368) ^ [_87563] : [lv(_87563), iext(_85599, _87365, _87563), icext(_85597, _87563)]]], (2901 ^ _35368) ^ [_86100] : [icext(_85601, _86100), 2905 ^ _35368 : [(2906 ^ _35368) ^ [] : [-(lv(2904 ^ [_85597, _85599, _85601, _86100]))], (2908 ^ _35368) ^ [] : [-(iext(_85599, _86100, 2904 ^ [_85597, _85599, _85601, _86100]))], (2910 ^ _35368) ^ [] : [-(icext(_85597, 2904 ^ [_85597, _85599, _85601, _86100]))], (2912 ^ _35368) ^ [_86635, _86637] : [-(_86635 = _86637), lv(_86637), iext(_85599, _86100, _86637), icext(_85597, _86637), lv(_86635), iext(_85599, _86100, _86635), icext(_85597, _86635)]]]]], (2970 ^ _35368) ^ [_88792, _88794, _88796] : [iext(uri_owl_qualifiedCardinality, _88796, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _88796, _88794), iext(uri_owl_onDataRange, _88796, _88792), 2981 ^ _35368 : [(2982 ^ _35368) ^ [] : [-(iodp(_88794))], (3046 ^ _35368) ^ [_91675] : [-(icext(_88796, _91675)), 3078 ^ _35368 : [(3079 ^ _35368) ^ [] : [-(lv(3075 ^ [_88792, _88794, _88796, _91675]))], (3081 ^ _35368) ^ [] : [-(iext(_88794, _91675, 3075 ^ [_88792, _88794, _88796, _91675]))], (3083 ^ _35368) ^ [] : [-(icext(_88792, 3075 ^ [_88792, _88794, _88796, _91675]))], (3085 ^ _35368) ^ [] : [-(lv(3076 ^ [_88792, _88794, _88796, _91675]))], (3087 ^ _35368) ^ [] : [-(iext(_88794, _91675, 3076 ^ [_88792, _88794, _88796, _91675]))], (3089 ^ _35368) ^ [] : [-(icext(_88792, 3076 ^ [_88792, _88794, _88796, _91675]))], (3091 ^ _35368) ^ [] : [-(lv(3077 ^ [_88792, _88794, _88796, _91675]))], (3093 ^ _35368) ^ [] : [-(iext(_88794, _91675, 3077 ^ [_88792, _88794, _88796, _91675]))], (3095 ^ _35368) ^ [] : [-(icext(_88792, 3077 ^ [_88792, _88794, _88796, _91675]))], (3097 ^ _35368) ^ [] : [3077 ^ [_88792, _88794, _88796, _91675] = 3075 ^ [_88792, _88794, _88796, _91675]], (3099 ^ _35368) ^ [] : [3077 ^ [_88792, _88794, _88796, _91675] = 3076 ^ [_88792, _88794, _88796, _91675]]], 3049 ^ _35368 : [(3050 ^ _35368) ^ [_91947, _91949] : [lv(_91949), iext(_88794, _91675, _91949), icext(_88792, _91949), lv(_91947), iext(_88794, _91675, _91947), icext(_88792, _91947), -(_91949 = _91947)]]], (2984 ^ _35368) ^ [_89355] : [icext(_88796, _89355), 2989 ^ _35368 : [(2990 ^ _35368) ^ [] : [-(lv(2987 ^ [_88792, _88794, _88796, _89355]))], (2992 ^ _35368) ^ [] : [-(iext(_88794, _89355, 2987 ^ [_88792, _88794, _88796, _89355]))], (2994 ^ _35368) ^ [] : [-(icext(_88792, 2987 ^ [_88792, _88794, _88796, _89355]))], (2996 ^ _35368) ^ [] : [-(lv(2988 ^ [_88792, _88794, _88796, _89355]))], (2998 ^ _35368) ^ [] : [-(iext(_88794, _89355, 2988 ^ [_88792, _88794, _88796, _89355]))], (3000 ^ _35368) ^ [] : [-(icext(_88792, 2988 ^ [_88792, _88794, _88796, _89355]))], (3002 ^ _35368) ^ [] : [2987 ^ [_88792, _88794, _88796, _89355] = 2988 ^ [_88792, _88794, _88796, _89355]], (3004 ^ _35368) ^ [_90472, _90474, _90476] : [-(_90472 = _90476), -(_90472 = _90474), lv(_90476), iext(_88794, _89355, _90476), icext(_88792, _90476), lv(_90474), iext(_88794, _89355, _90474), icext(_88792, _90474), lv(_90472), iext(_88794, _89355, _90472), icext(_88792, _90472)]]]]], (3103 ^ _35368) ^ [_94216, _94218, _94220] : [iext(uri_owl_qualifiedCardinality, _94220, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _94220, _94218), iext(uri_owl_onDataRange, _94220, _94216), 3114 ^ _35368 : [(3115 ^ _35368) ^ [] : [-(iodp(_94218))], (3206 ^ _35368) ^ [_98515] : [-(icext(_94220, _98515)), 3259 ^ _35368 : [(3260 ^ _35368) ^ [] : [-(lv(3255 ^ [_94216, _94218, _94220, _98515]))], (3262 ^ _35368) ^ [] : [-(iext(_94218, _98515, 3255 ^ [_94216, _94218, _94220, _98515]))], (3264 ^ _35368) ^ [] : [-(icext(_94216, 3255 ^ [_94216, _94218, _94220, _98515]))], (3266 ^ _35368) ^ [] : [-(lv(3256 ^ [_94216, _94218, _94220, _98515]))], (3268 ^ _35368) ^ [] : [-(iext(_94218, _98515, 3256 ^ [_94216, _94218, _94220, _98515]))], (3270 ^ _35368) ^ [] : [-(icext(_94216, 3256 ^ [_94216, _94218, _94220, _98515]))], (3272 ^ _35368) ^ [] : [-(lv(3257 ^ [_94216, _94218, _94220, _98515]))], (3274 ^ _35368) ^ [] : [-(iext(_94218, _98515, 3257 ^ [_94216, _94218, _94220, _98515]))], (3276 ^ _35368) ^ [] : [-(icext(_94216, 3257 ^ [_94216, _94218, _94220, _98515]))], (3278 ^ _35368) ^ [] : [-(lv(3258 ^ [_94216, _94218, _94220, _98515]))], (3280 ^ _35368) ^ [] : [-(iext(_94218, _98515, 3258 ^ [_94216, _94218, _94220, _98515]))], (3282 ^ _35368) ^ [] : [-(icext(_94216, 3258 ^ [_94216, _94218, _94220, _98515]))], (3284 ^ _35368) ^ [] : [3258 ^ [_94216, _94218, _94220, _98515] = 3255 ^ [_94216, _94218, _94220, _98515]], (3286 ^ _35368) ^ [] : [3258 ^ [_94216, _94218, _94220, _98515] = 3256 ^ [_94216, _94218, _94220, _98515]], (3288 ^ _35368) ^ [] : [3258 ^ [_94216, _94218, _94220, _98515] = 3257 ^ [_94216, _94218, _94220, _98515]]], 3209 ^ _35368 : [(3210 ^ _35368) ^ [_98869, _98871, _98873] : [lv(_98873), iext(_94218, _98515, _98873), icext(_94216, _98873), lv(_98871), iext(_94218, _98515, _98871), icext(_94216, _98871), lv(_98869), iext(_94218, _98515, _98869), icext(_94216, _98869), -(_98873 = _98871), -(_98873 = _98869), -(_98871 = _98869)]]], (3117 ^ _35368) ^ [_94847] : [icext(_94220, _94847), 3123 ^ _35368 : [(3124 ^ _35368) ^ [] : [-(lv(3120 ^ [_94216, _94218, _94220, _94847]))], (3126 ^ _35368) ^ [] : [-(iext(_94218, _94847, 3120 ^ [_94216, _94218, _94220, _94847]))], (3128 ^ _35368) ^ [] : [-(icext(_94216, 3120 ^ [_94216, _94218, _94220, _94847]))], (3130 ^ _35368) ^ [] : [-(lv(3121 ^ [_94216, _94218, _94220, _94847]))], (3132 ^ _35368) ^ [] : [-(iext(_94218, _94847, 3121 ^ [_94216, _94218, _94220, _94847]))], (3134 ^ _35368) ^ [] : [-(icext(_94216, 3121 ^ [_94216, _94218, _94220, _94847]))], (3136 ^ _35368) ^ [] : [-(lv(3122 ^ [_94216, _94218, _94220, _94847]))], (3138 ^ _35368) ^ [] : [-(iext(_94218, _94847, 3122 ^ [_94216, _94218, _94220, _94847]))], (3140 ^ _35368) ^ [] : [-(icext(_94216, 3122 ^ [_94216, _94218, _94220, _94847]))], (3142 ^ _35368) ^ [] : [3120 ^ [_94216, _94218, _94220, _94847] = 3121 ^ [_94216, _94218, _94220, _94847]], (3144 ^ _35368) ^ [] : [3120 ^ [_94216, _94218, _94220, _94847] = 3122 ^ [_94216, _94218, _94220, _94847]], (3146 ^ _35368) ^ [] : [3121 ^ [_94216, _94218, _94220, _94847] = 3122 ^ [_94216, _94218, _94220, _94847]], (3148 ^ _35368) ^ [_96805, _96807, _96809, _96811] : [-(_96805 = _96811), -(_96805 = _96809), -(_96805 = _96807), lv(_96811), iext(_94218, _94847, _96811), icext(_94216, _96811), lv(_96809), iext(_94218, _94847, _96809), icext(_94216, _96809), lv(_96807), iext(_94218, _94847, _96807), icext(_94216, _96807), lv(_96805), iext(_94218, _94847, _96805), icext(_94216, _96805)]]]]], (3292 ^ _35368) ^ [_102419, _102421, _102423] : [iext(uri_owl_qualifiedCardinality, _102423, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102423, _102421), iext(uri_owl_onClass, _102423, _102419), 3303 ^ _35368 : [(3314 ^ _35368) ^ [_103143] : [3316 ^ _35368 : [(3317 ^ _35368) ^ [] : [-(iext(_102421, _103143, 3315 ^ [_102419, _102421, _102423, _103143]))], (3319 ^ _35368) ^ [] : [-(icext(_102419, 3315 ^ [_102419, _102421, _102423, _103143]))]], -(icext(_102423, _103143))], (3304 ^ _35368) ^ [_102795] : [icext(_102423, _102795), 3307 ^ _35368 : [(3308 ^ _35368) ^ [_102949] : [iext(_102421, _102795, _102949), icext(_102419, _102949)]]]]], (3323 ^ _35368) ^ [_103567, _103569, _103571] : [iext(uri_owl_qualifiedCardinality, _103571, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103571, _103569), iext(uri_owl_onClass, _103571, _103567), 3334 ^ _35368 : [(3362 ^ _35368) ^ [_104938] : [-(icext(_103571, _104938)), 3373 ^ _35368 : [(3374 ^ _35368) ^ [] : [-(iext(_103569, _104938, 3371 ^ [_103567, _103569, _103571, _104938]))], (3376 ^ _35368) ^ [] : [-(icext(_103567, 3371 ^ [_103567, _103569, _103571, _104938]))], (3378 ^ _35368) ^ [] : [-(iext(_103569, _104938, 3372 ^ [_103567, _103569, _103571, _104938]))], (3380 ^ _35368) ^ [] : [-(icext(_103567, 3372 ^ [_103567, _103569, _103571, _104938]))], (3382 ^ _35368) ^ [] : [3372 ^ [_103567, _103569, _103571, _104938] = 3371 ^ [_103567, _103569, _103571, _104938]]], 3365 ^ _35368 : [(3366 ^ _35368) ^ [_105121] : [iext(_103569, _104938, _105121), icext(_103567, _105121)]]], (3335 ^ _35368) ^ [_103983] : [icext(_103571, _103983), 3339 ^ _35368 : [(3340 ^ _35368) ^ [] : [-(iext(_103569, _103983, 3338 ^ [_103567, _103569, _103571, _103983]))], (3342 ^ _35368) ^ [] : [-(icext(_103567, 3338 ^ [_103567, _103569, _103571, _103983]))], (3344 ^ _35368) ^ [_104416, _104418] : [-(_104416 = _104418), iext(_103569, _103983, _104418), icext(_103567, _104418), iext(_103569, _103983, _104416), icext(_103567, _104416)]]]]], (3386 ^ _35368) ^ [_106050, _106052, _106054] : [iext(uri_owl_qualifiedCardinality, _106054, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _106054, _106052), iext(uri_owl_onClass, _106054, _106050), 3397 ^ _35368 : [(3444 ^ _35368) ^ [_108291] : [-(icext(_106054, _108291)), 3468 ^ _35368 : [(3469 ^ _35368) ^ [] : [-(iext(_106052, _108291, 3465 ^ [_106050, _106052, _106054, _108291]))], (3471 ^ _35368) ^ [] : [-(icext(_106050, 3465 ^ [_106050, _106052, _106054, _108291]))], (3473 ^ _35368) ^ [] : [-(iext(_106052, _108291, 3466 ^ [_106050, _106052, _106054, _108291]))], (3475 ^ _35368) ^ [] : [-(icext(_106050, 3466 ^ [_106050, _106052, _106054, _108291]))], (3477 ^ _35368) ^ [] : [-(iext(_106052, _108291, 3467 ^ [_106050, _106052, _106054, _108291]))], (3479 ^ _35368) ^ [] : [-(icext(_106050, 3467 ^ [_106050, _106052, _106054, _108291]))], (3481 ^ _35368) ^ [] : [3467 ^ [_106050, _106052, _106054, _108291] = 3465 ^ [_106050, _106052, _106054, _108291]], (3483 ^ _35368) ^ [] : [3467 ^ [_106050, _106052, _106054, _108291] = 3466 ^ [_106050, _106052, _106054, _108291]]], 3447 ^ _35368 : [(3448 ^ _35368) ^ [_108538, _108540] : [iext(_106052, _108291, _108540), icext(_106050, _108540), iext(_106052, _108291, _108538), icext(_106050, _108538), -(_108540 = _108538)]]], (3398 ^ _35368) ^ [_106516] : [icext(_106054, _106516), 3403 ^ _35368 : [(3404 ^ _35368) ^ [] : [-(iext(_106052, _106516, 3401 ^ [_106050, _106052, _106054, _106516]))], (3406 ^ _35368) ^ [] : [-(icext(_106050, 3401 ^ [_106050, _106052, _106054, _106516]))], (3408 ^ _35368) ^ [] : [-(iext(_106052, _106516, 3402 ^ [_106050, _106052, _106054, _106516]))], (3410 ^ _35368) ^ [] : [-(icext(_106050, 3402 ^ [_106050, _106052, _106054, _106516]))], (3412 ^ _35368) ^ [] : [3401 ^ [_106050, _106052, _106054, _106516] = 3402 ^ [_106050, _106052, _106054, _106516]], (3414 ^ _35368) ^ [_107413, _107415, _107417] : [-(_107413 = _107417), -(_107413 = _107415), iext(_106052, _106516, _107417), icext(_106050, _107417), iext(_106052, _106516, _107415), icext(_106050, _107415), iext(_106052, _106516, _107413), icext(_106050, _107413)]]]]], (3487 ^ _35368) ^ [_110269, _110271, _110273] : [iext(uri_owl_qualifiedCardinality, _110273, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _110273, _110271), iext(uri_owl_onClass, _110273, _110269), 3498 ^ _35368 : [(3566 ^ _35368) ^ [_113652] : [-(icext(_110273, _113652)), 3607 ^ _35368 : [(3608 ^ _35368) ^ [] : [-(iext(_110271, _113652, 3603 ^ [_110269, _110271, _110273, _113652]))], (3610 ^ _35368) ^ [] : [-(icext(_110269, 3603 ^ [_110269, _110271, _110273, _113652]))], (3612 ^ _35368) ^ [] : [-(iext(_110271, _113652, 3604 ^ [_110269, _110271, _110273, _113652]))], (3614 ^ _35368) ^ [] : [-(icext(_110269, 3604 ^ [_110269, _110271, _110273, _113652]))], (3616 ^ _35368) ^ [] : [-(iext(_110271, _113652, 3605 ^ [_110269, _110271, _110273, _113652]))], (3618 ^ _35368) ^ [] : [-(icext(_110269, 3605 ^ [_110269, _110271, _110273, _113652]))], (3620 ^ _35368) ^ [] : [-(iext(_110271, _113652, 3606 ^ [_110269, _110271, _110273, _113652]))], (3622 ^ _35368) ^ [] : [-(icext(_110269, 3606 ^ [_110269, _110271, _110273, _113652]))], (3624 ^ _35368) ^ [] : [3606 ^ [_110269, _110271, _110273, _113652] = 3603 ^ [_110269, _110271, _110273, _113652]], (3626 ^ _35368) ^ [] : [3606 ^ [_110269, _110271, _110273, _113652] = 3604 ^ [_110269, _110271, _110273, _113652]], (3628 ^ _35368) ^ [] : [3606 ^ [_110269, _110271, _110273, _113652] = 3605 ^ [_110269, _110271, _110273, _113652]]], 3569 ^ _35368 : [(3570 ^ _35368) ^ [_113971, _113973, _113975] : [iext(_110271, _113652, _113975), icext(_110269, _113975), iext(_110271, _113652, _113973), icext(_110269, _113973), iext(_110271, _113652, _113971), icext(_110269, _113971), -(_113975 = _113973), -(_113975 = _113971), -(_113973 = _113971)]]], (3499 ^ _35368) ^ [_110793] : [icext(_110273, _110793), 3505 ^ _35368 : [(3506 ^ _35368) ^ [] : [-(iext(_110271, _110793, 3502 ^ [_110269, _110271, _110273, _110793]))], (3508 ^ _35368) ^ [] : [-(icext(_110269, 3502 ^ [_110269, _110271, _110273, _110793]))], (3510 ^ _35368) ^ [] : [-(iext(_110271, _110793, 3503 ^ [_110269, _110271, _110273, _110793]))], (3512 ^ _35368) ^ [] : [-(icext(_110269, 3503 ^ [_110269, _110271, _110273, _110793]))], (3514 ^ _35368) ^ [] : [-(iext(_110271, _110793, 3504 ^ [_110269, _110271, _110273, _110793]))], (3516 ^ _35368) ^ [] : [-(icext(_110269, 3504 ^ [_110269, _110271, _110273, _110793]))], (3518 ^ _35368) ^ [] : [3502 ^ [_110269, _110271, _110273, _110793] = 3503 ^ [_110269, _110271, _110273, _110793]], (3520 ^ _35368) ^ [] : [3502 ^ [_110269, _110271, _110273, _110793] = 3504 ^ [_110269, _110271, _110273, _110793]], (3522 ^ _35368) ^ [] : [3503 ^ [_110269, _110271, _110273, _110793] = 3504 ^ [_110269, _110271, _110273, _110793]], (3524 ^ _35368) ^ [_112392, _112394, _112396, _112398] : [-(_112392 = _112398), -(_112392 = _112396), -(_112392 = _112394), iext(_110271, _110793, _112398), icext(_110269, _112398), iext(_110271, _110793, _112396), icext(_110269, _112396), iext(_110271, _110793, _112394), icext(_110269, _112394), iext(_110271, _110793, _112392), icext(_110269, _112392)]]]]], (3632 ^ _35368) ^ [_116716, _116718, _116720] : [iext(uri_owl_hasSelf, _116720, _116716), iext(uri_owl_onProperty, _116720, _116718), 3639 ^ _35368 : [(3640 ^ _35368) ^ [_116984] : [icext(_116720, _116984), -(iext(_116718, _116984, _116984))], (3646 ^ _35368) ^ [_117166] : [iext(_116718, _117166, _117166), -(icext(_116720, _117166))]]], (3652 ^ _35368) ^ [_117419, _117421, _117423] : [iext(uri_owl_hasValue, _117423, _117419), iext(uri_owl_onProperty, _117423, _117421), 3659 ^ _35368 : [(3660 ^ _35368) ^ [_117687] : [icext(_117423, _117687), -(iext(_117421, _117687, _117419))], (3666 ^ _35368) ^ [_117869] : [iext(_117421, _117869, _117419), -(icext(_117423, _117869))]]], (3672 ^ _35368) ^ [_118108, _118110] : [iext(uri_owl_maxCardinality, _118110, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118110, _118108), 3679 ^ _35368 : [(3680 ^ _35368) ^ [_118375] : [icext(_118110, _118375), 3683 ^ _35368 : [(3684 ^ _35368) ^ [_118501] : [iext(_118108, _118375, _118501)]]], (3686 ^ _35368) ^ [_118572] : [-(iext(_118108, _118572, 3687 ^ [_118108, _118110, _118572])), -(icext(_118110, _118572))]]], (3693 ^ _35368) ^ [_118870, _118872] : [iext(uri_owl_maxCardinality, _118872, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118872, _118870), 3700 ^ _35368 : [(3715 ^ _35368) ^ [_119621] : [3718 ^ _35368 : [(3719 ^ _35368) ^ [] : [-(iext(_118870, _119621, 3716 ^ [_118870, _118872, _119621]))], (3721 ^ _35368) ^ [] : [-(iext(_118870, _119621, 3717 ^ [_118870, _118872, _119621]))], (3723 ^ _35368) ^ [] : [3717 ^ [_118870, _118872, _119621] = 3716 ^ [_118870, _118872, _119621]]], -(icext(_118872, _119621))], (3701 ^ _35368) ^ [_119153] : [icext(_118872, _119153), 3704 ^ _35368 : [(3705 ^ _35368) ^ [_119325, _119327] : [-(_119325 = _119327), iext(_118870, _119153, _119327), iext(_118870, _119153, _119325)]]]]], (3727 ^ _35368) ^ [_120204, _120206] : [iext(uri_owl_maxCardinality, _120206, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _120206, _120204), 3734 ^ _35368 : [(3757 ^ _35368) ^ [_121230] : [3761 ^ _35368 : [(3762 ^ _35368) ^ [] : [-(iext(_120204, _121230, 3758 ^ [_120204, _120206, _121230]))], (3764 ^ _35368) ^ [] : [-(iext(_120204, _121230, 3759 ^ [_120204, _120206, _121230]))], (3766 ^ _35368) ^ [] : [-(iext(_120204, _121230, 3760 ^ [_120204, _120206, _121230]))], (3768 ^ _35368) ^ [] : [3760 ^ [_120204, _120206, _121230] = 3758 ^ [_120204, _120206, _121230]], (3770 ^ _35368) ^ [] : [3760 ^ [_120204, _120206, _121230] = 3759 ^ [_120204, _120206, _121230]]], -(icext(_120206, _121230))], (3735 ^ _35368) ^ [_120505] : [icext(_120206, _120505), 3738 ^ _35368 : [(3739 ^ _35368) ^ [_120709, _120711, _120713] : [-(_120709 = _120713), -(_120709 = _120711), iext(_120204, _120505, _120713), iext(_120204, _120505, _120711), iext(_120204, _120505, _120709)]]]]], (3774 ^ _35368) ^ [_122148, _122150] : [iext(uri_owl_maxCardinality, _122150, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _122150, _122148), 3781 ^ _35368 : [(3812 ^ _35368) ^ [_123465] : [3817 ^ _35368 : [(3818 ^ _35368) ^ [] : [-(iext(_122148, _123465, 3813 ^ [_122148, _122150, _123465]))], (3820 ^ _35368) ^ [] : [-(iext(_122148, _123465, 3814 ^ [_122148, _122150, _123465]))], (3822 ^ _35368) ^ [] : [-(iext(_122148, _123465, 3815 ^ [_122148, _122150, _123465]))], (3824 ^ _35368) ^ [] : [-(iext(_122148, _123465, 3816 ^ [_122148, _122150, _123465]))], (3826 ^ _35368) ^ [] : [3816 ^ [_122148, _122150, _123465] = 3813 ^ [_122148, _122150, _123465]], (3828 ^ _35368) ^ [] : [3816 ^ [_122148, _122150, _123465] = 3814 ^ [_122148, _122150, _123465]], (3830 ^ _35368) ^ [] : [3816 ^ [_122148, _122150, _123465] = 3815 ^ [_122148, _122150, _123465]]], -(icext(_122150, _123465))], (3782 ^ _35368) ^ [_122467] : [icext(_122150, _122467), 3785 ^ _35368 : [(3786 ^ _35368) ^ [_122703, _122705, _122707, _122709] : [-(_122703 = _122709), -(_122703 = _122707), -(_122703 = _122705), iext(_122148, _122467, _122709), iext(_122148, _122467, _122707), iext(_122148, _122467, _122705), iext(_122148, _122467, _122703)]]]]], (3834 ^ _35368) ^ [_124781, _124783, _124785] : [iext(uri_owl_maxQualifiedCardinality, _124785, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _124785, _124783), iext(uri_owl_onDataRange, _124785, _124781), 3845 ^ _35368 : [(3846 ^ _35368) ^ [] : [-(iodp(_124783))], (3862 ^ _35368) ^ [_125686] : [3864 ^ _35368 : [(3865 ^ _35368) ^ [] : [-(lv(3863 ^ [_124781, _124783, _124785, _125686]))], (3867 ^ _35368) ^ [] : [-(iext(_124783, _125686, 3863 ^ [_124781, _124783, _124785, _125686]))], (3869 ^ _35368) ^ [] : [-(icext(_124781, 3863 ^ [_124781, _124783, _124785, _125686]))]], -(icext(_124785, _125686))], (3848 ^ _35368) ^ [_125234] : [icext(_124785, _125234), 3851 ^ _35368 : [(3852 ^ _35368) ^ [_125393] : [lv(_125393), iext(_124783, _125234, _125393), icext(_124781, _125393)]]]]], (3873 ^ _35368) ^ [_126204, _126206, _126208] : [iext(uri_owl_maxQualifiedCardinality, _126208, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _126208, _126206), iext(uri_owl_onDataRange, _126208, _126204), 3884 ^ _35368 : [(3885 ^ _35368) ^ [] : [-(iodp(_126206))], (3917 ^ _35368) ^ [_127608] : [3920 ^ _35368 : [(3921 ^ _35368) ^ [] : [-(lv(3918 ^ [_126204, _126206, _126208, _127608]))], (3923 ^ _35368) ^ [] : [-(iext(_126206, _127608, 3918 ^ [_126204, _126206, _126208, _127608]))], (3925 ^ _35368) ^ [] : [-(icext(_126204, 3918 ^ [_126204, _126206, _126208, _127608]))], (3927 ^ _35368) ^ [] : [-(lv(3919 ^ [_126204, _126206, _126208, _127608]))], (3929 ^ _35368) ^ [] : [-(iext(_126206, _127608, 3919 ^ [_126204, _126206, _126208, _127608]))], (3931 ^ _35368) ^ [] : [-(icext(_126204, 3919 ^ [_126204, _126206, _126208, _127608]))], (3933 ^ _35368) ^ [] : [3919 ^ [_126204, _126206, _126208, _127608] = 3918 ^ [_126204, _126206, _126208, _127608]]], -(icext(_126208, _127608))], (3887 ^ _35368) ^ [_126684] : [icext(_126208, _126684), 3890 ^ _35368 : [(3891 ^ _35368) ^ [_126884, _126886] : [-(_126884 = _126886), lv(_126886), iext(_126206, _126684, _126886), icext(_126204, _126886), lv(_126884), iext(_126206, _126684, _126884), icext(_126204, _126884)]]]]], (3937 ^ _35368) ^ [_128667, _128669, _128671] : [iext(uri_owl_maxQualifiedCardinality, _128671, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _128671, _128669), iext(uri_owl_onDataRange, _128671, _128667), 3948 ^ _35368 : [(3949 ^ _35368) ^ [] : [-(iodp(_128669))], (3997 ^ _35368) ^ [_130608] : [4001 ^ _35368 : [(4002 ^ _35368) ^ [] : [-(lv(3998 ^ [_128667, _128669, _128671, _130608]))], (4004 ^ _35368) ^ [] : [-(iext(_128669, _130608, 3998 ^ [_128667, _128669, _128671, _130608]))], (4006 ^ _35368) ^ [] : [-(icext(_128667, 3998 ^ [_128667, _128669, _128671, _130608]))], (4008 ^ _35368) ^ [] : [-(lv(3999 ^ [_128667, _128669, _128671, _130608]))], (4010 ^ _35368) ^ [] : [-(iext(_128669, _130608, 3999 ^ [_128667, _128669, _128671, _130608]))], (4012 ^ _35368) ^ [] : [-(icext(_128667, 3999 ^ [_128667, _128669, _128671, _130608]))], (4014 ^ _35368) ^ [] : [-(lv(4000 ^ [_128667, _128669, _128671, _130608]))], (4016 ^ _35368) ^ [] : [-(iext(_128669, _130608, 4000 ^ [_128667, _128669, _128671, _130608]))], (4018 ^ _35368) ^ [] : [-(icext(_128667, 4000 ^ [_128667, _128669, _128671, _130608]))], (4020 ^ _35368) ^ [] : [4000 ^ [_128667, _128669, _128671, _130608] = 3998 ^ [_128667, _128669, _128671, _130608]], (4022 ^ _35368) ^ [] : [4000 ^ [_128667, _128669, _128671, _130608] = 3999 ^ [_128667, _128669, _128671, _130608]]], -(icext(_128671, _130608))], (3951 ^ _35368) ^ [_129176] : [icext(_128671, _129176), 3954 ^ _35368 : [(3955 ^ _35368) ^ [_129419, _129421, _129423] : [-(_129419 = _129423), -(_129419 = _129421), lv(_129423), iext(_128669, _129176, _129423), icext(_128667, _129423), lv(_129421), iext(_128669, _129176, _129421), icext(_128667, _129421), lv(_129419), iext(_128669, _129176, _129419), icext(_128667, _129419)]]]]], (4026 ^ _35368) ^ [_132303, _132305, _132307] : [iext(uri_owl_maxQualifiedCardinality, _132307, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132307, _132305), iext(uri_owl_onDataRange, _132307, _132303), 4037 ^ _35368 : [(4038 ^ _35368) ^ [] : [-(iodp(_132305))], (4102 ^ _35368) ^ [_134813] : [4107 ^ _35368 : [(4108 ^ _35368) ^ [] : [-(lv(4103 ^ [_132303, _132305, _132307, _134813]))], (4110 ^ _35368) ^ [] : [-(iext(_132305, _134813, 4103 ^ [_132303, _132305, _132307, _134813]))], (4112 ^ _35368) ^ [] : [-(icext(_132303, 4103 ^ [_132303, _132305, _132307, _134813]))], (4114 ^ _35368) ^ [] : [-(lv(4104 ^ [_132303, _132305, _132307, _134813]))], (4116 ^ _35368) ^ [] : [-(iext(_132305, _134813, 4104 ^ [_132303, _132305, _132307, _134813]))], (4118 ^ _35368) ^ [] : [-(icext(_132303, 4104 ^ [_132303, _132305, _132307, _134813]))], (4120 ^ _35368) ^ [] : [-(lv(4105 ^ [_132303, _132305, _132307, _134813]))], (4122 ^ _35368) ^ [] : [-(iext(_132305, _134813, 4105 ^ [_132303, _132305, _132307, _134813]))], (4124 ^ _35368) ^ [] : [-(icext(_132303, 4105 ^ [_132303, _132305, _132307, _134813]))], (4126 ^ _35368) ^ [] : [-(lv(4106 ^ [_132303, _132305, _132307, _134813]))], (4128 ^ _35368) ^ [] : [-(iext(_132305, _134813, 4106 ^ [_132303, _132305, _132307, _134813]))], (4130 ^ _35368) ^ [] : [-(icext(_132303, 4106 ^ [_132303, _132305, _132307, _134813]))], (4132 ^ _35368) ^ [] : [4106 ^ [_132303, _132305, _132307, _134813] = 4103 ^ [_132303, _132305, _132307, _134813]], (4134 ^ _35368) ^ [] : [4106 ^ [_132303, _132305, _132307, _134813] = 4104 ^ [_132303, _132305, _132307, _134813]], (4136 ^ _35368) ^ [] : [4106 ^ [_132303, _132305, _132307, _134813] = 4105 ^ [_132303, _132305, _132307, _134813]]], -(icext(_132307, _134813))], (4040 ^ _35368) ^ [_132841] : [icext(_132307, _132841), 4043 ^ _35368 : [(4044 ^ _35368) ^ [_133127, _133129, _133131, _133133] : [-(_133127 = _133133), -(_133127 = _133131), -(_133127 = _133129), lv(_133133), iext(_132305, _132841, _133133), icext(_132303, _133133), lv(_133131), iext(_132305, _132841, _133131), icext(_132303, _133131), lv(_133129), iext(_132305, _132841, _133129), icext(_132303, _133129), lv(_133127), iext(_132305, _132841, _133127), icext(_132303, _133127)]]]]], (4140 ^ _35368) ^ [_137241, _137243, _137245] : [iext(uri_owl_maxQualifiedCardinality, _137245, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137245, _137243), iext(uri_owl_onClass, _137245, _137241), 4151 ^ _35368 : [(4162 ^ _35368) ^ [_137965] : [4164 ^ _35368 : [(4165 ^ _35368) ^ [] : [-(iext(_137243, _137965, 4163 ^ [_137241, _137243, _137245, _137965]))], (4167 ^ _35368) ^ [] : [-(icext(_137241, 4163 ^ [_137241, _137243, _137245, _137965]))]], -(icext(_137245, _137965))], (4152 ^ _35368) ^ [_137617] : [icext(_137245, _137617), 4155 ^ _35368 : [(4156 ^ _35368) ^ [_137771] : [iext(_137243, _137617, _137771), icext(_137241, _137771)]]]]], (4171 ^ _35368) ^ [_138389, _138391, _138393] : [iext(uri_owl_maxQualifiedCardinality, _138393, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _138393, _138391), iext(uri_owl_onClass, _138393, _138389), 4182 ^ _35368 : [(4205 ^ _35368) ^ [_139495] : [4208 ^ _35368 : [(4209 ^ _35368) ^ [] : [-(iext(_138391, _139495, 4206 ^ [_138389, _138391, _138393, _139495]))], (4211 ^ _35368) ^ [] : [-(icext(_138389, 4206 ^ [_138389, _138391, _138393, _139495]))], (4213 ^ _35368) ^ [] : [-(iext(_138391, _139495, 4207 ^ [_138389, _138391, _138393, _139495]))], (4215 ^ _35368) ^ [] : [-(icext(_138389, 4207 ^ [_138389, _138391, _138393, _139495]))], (4217 ^ _35368) ^ [] : [4207 ^ [_138389, _138391, _138393, _139495] = 4206 ^ [_138389, _138391, _138393, _139495]]], -(icext(_138393, _139495))], (4183 ^ _35368) ^ [_138787] : [icext(_138393, _138787), 4186 ^ _35368 : [(4187 ^ _35368) ^ [_138977, _138979] : [-(_138977 = _138979), iext(_138391, _138787, _138979), icext(_138389, _138979), iext(_138391, _138787, _138977), icext(_138389, _138977)]]]]], (4221 ^ _35368) ^ [_140343, _140345, _140347] : [iext(uri_owl_maxQualifiedCardinality, _140347, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140347, _140345), iext(uri_owl_onClass, _140347, _140343), 4232 ^ _35368 : [(4267 ^ _35368) ^ [_141861] : [4271 ^ _35368 : [(4272 ^ _35368) ^ [] : [-(iext(_140345, _141861, 4268 ^ [_140343, _140345, _140347, _141861]))], (4274 ^ _35368) ^ [] : [-(icext(_140343, 4268 ^ [_140343, _140345, _140347, _141861]))], (4276 ^ _35368) ^ [] : [-(iext(_140345, _141861, 4269 ^ [_140343, _140345, _140347, _141861]))], (4278 ^ _35368) ^ [] : [-(icext(_140343, 4269 ^ [_140343, _140345, _140347, _141861]))], (4280 ^ _35368) ^ [] : [-(iext(_140345, _141861, 4270 ^ [_140343, _140345, _140347, _141861]))], (4282 ^ _35368) ^ [] : [-(icext(_140343, 4270 ^ [_140343, _140345, _140347, _141861]))], (4284 ^ _35368) ^ [] : [4270 ^ [_140343, _140345, _140347, _141861] = 4268 ^ [_140343, _140345, _140347, _141861]], (4286 ^ _35368) ^ [] : [4270 ^ [_140343, _140345, _140347, _141861] = 4269 ^ [_140343, _140345, _140347, _141861]]], -(icext(_140347, _141861))], (4233 ^ _35368) ^ [_140765] : [icext(_140347, _140765), 4236 ^ _35368 : [(4237 ^ _35368) ^ [_140993, _140995, _140997] : [-(_140993 = _140997), -(_140993 = _140995), iext(_140345, _140765, _140997), icext(_140343, _140997), iext(_140345, _140765, _140995), icext(_140343, _140995), iext(_140345, _140765, _140993), icext(_140343, _140993)]]]]], (4290 ^ _35368) ^ [_143209, _143211, _143213] : [iext(uri_owl_maxQualifiedCardinality, _143213, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _143213, _143211), iext(uri_owl_onClass, _143213, _143209), 4301 ^ _35368 : [(4348 ^ _35368) ^ [_145163] : [4353 ^ _35368 : [(4354 ^ _35368) ^ [] : [-(iext(_143211, _145163, 4349 ^ [_143209, _143211, _143213, _145163]))], (4356 ^ _35368) ^ [] : [-(icext(_143209, 4349 ^ [_143209, _143211, _143213, _145163]))], (4358 ^ _35368) ^ [] : [-(iext(_143211, _145163, 4350 ^ [_143209, _143211, _143213, _145163]))], (4360 ^ _35368) ^ [] : [-(icext(_143209, 4350 ^ [_143209, _143211, _143213, _145163]))], (4362 ^ _35368) ^ [] : [-(iext(_143211, _145163, 4351 ^ [_143209, _143211, _143213, _145163]))], (4364 ^ _35368) ^ [] : [-(icext(_143209, 4351 ^ [_143209, _143211, _143213, _145163]))], (4366 ^ _35368) ^ [] : [-(iext(_143211, _145163, 4352 ^ [_143209, _143211, _143213, _145163]))], (4368 ^ _35368) ^ [] : [-(icext(_143209, 4352 ^ [_143209, _143211, _143213, _145163]))], (4370 ^ _35368) ^ [] : [4352 ^ [_143209, _143211, _143213, _145163] = 4349 ^ [_143209, _143211, _143213, _145163]], (4372 ^ _35368) ^ [] : [4352 ^ [_143209, _143211, _143213, _145163] = 4350 ^ [_143209, _143211, _143213, _145163]], (4374 ^ _35368) ^ [] : [4352 ^ [_143209, _143211, _143213, _145163] = 4351 ^ [_143209, _143211, _143213, _145163]]], -(icext(_143213, _145163))], (4302 ^ _35368) ^ [_143655] : [icext(_143213, _143655), 4305 ^ _35368 : [(4306 ^ _35368) ^ [_143921, _143923, _143925, _143927] : [-(_143921 = _143927), -(_143921 = _143925), -(_143921 = _143923), iext(_143211, _143655, _143927), icext(_143209, _143927), iext(_143211, _143655, _143925), icext(_143209, _143925), iext(_143211, _143655, _143923), icext(_143209, _143923), iext(_143211, _143655, _143921), icext(_143209, _143921)]]]]], (4378 ^ _35368) ^ [_147073, _147075] : [4385 ^ _35368 : [(4386 ^ _35368) ^ [_147282] : [-(icext(_147075, _147282))]], iext(uri_owl_minCardinality, _147075, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147075, _147073)], (4388 ^ _35368) ^ [_147398, _147400] : [iext(uri_owl_minCardinality, _147400, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147400, _147398), 4395 ^ _35368 : [(4396 ^ _35368) ^ [_147663] : [icext(_147400, _147663), -(iext(_147398, _147663, 4399 ^ [_147398, _147400, _147663]))], (4403 ^ _35368) ^ [_147901] : [4404 ^ _35368 : [(4405 ^ _35368) ^ [_147978] : [iext(_147398, _147901, _147978)]], -(icext(_147400, _147901))]]], (4409 ^ _35368) ^ [_148154, _148156] : [iext(uri_owl_minCardinality, _148156, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148156, _148154), 4416 ^ _35368 : [(4417 ^ _35368) ^ [_148439] : [icext(_148156, _148439), 4422 ^ _35368 : [(4423 ^ _35368) ^ [] : [-(iext(_148154, _148439, 4420 ^ [_148154, _148156, _148439]))], (4425 ^ _35368) ^ [] : [-(iext(_148154, _148439, 4421 ^ [_148154, _148156, _148439]))], (4427 ^ _35368) ^ [] : [4420 ^ [_148154, _148156, _148439] = 4421 ^ [_148154, _148156, _148439]]]], (4429 ^ _35368) ^ [_148968] : [-(icext(_148156, _148968)), 4430 ^ _35368 : [(4431 ^ _35368) ^ [_149095, _149097] : [iext(_148154, _148968, _149097), iext(_148154, _148968, _149095), -(_149097 = _149095)]]]]], (4443 ^ _35368) ^ [_149498, _149500] : [iext(uri_owl_minCardinality, _149500, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149500, _149498), 4450 ^ _35368 : [(4451 ^ _35368) ^ [_149811] : [icext(_149500, _149811), 4457 ^ _35368 : [(4458 ^ _35368) ^ [] : [-(iext(_149498, _149811, 4454 ^ [_149498, _149500, _149811]))], (4460 ^ _35368) ^ [] : [-(iext(_149498, _149811, 4455 ^ [_149498, _149500, _149811]))], (4462 ^ _35368) ^ [] : [-(iext(_149498, _149811, 4456 ^ [_149498, _149500, _149811]))], (4464 ^ _35368) ^ [] : [4454 ^ [_149498, _149500, _149811] = 4455 ^ [_149498, _149500, _149811]], (4466 ^ _35368) ^ [] : [4454 ^ [_149498, _149500, _149811] = 4456 ^ [_149498, _149500, _149811]], (4468 ^ _35368) ^ [] : [4455 ^ [_149498, _149500, _149811] = 4456 ^ [_149498, _149500, _149811]]]], (4470 ^ _35368) ^ [_150829] : [-(icext(_149500, _150829)), 4471 ^ _35368 : [(4472 ^ _35368) ^ [_150998, _151000, _151002] : [iext(_149498, _150829, _151002), iext(_149498, _150829, _151000), iext(_149498, _150829, _150998), -(_151002 = _151000), -(_151002 = _150998), -(_151000 = _150998)]]]]], (4496 ^ _35368) ^ [_151748, _151750, _151752] : [4507 ^ _35368 : [(4508 ^ _35368) ^ [] : [-(iodp(_151750))], (4510 ^ _35368) ^ [_152132] : [-(icext(_151752, _152132))]], iext(uri_owl_minQualifiedCardinality, _151752, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151752, _151750), iext(uri_owl_onDataRange, _151752, _151748)], (4512 ^ _35368) ^ [_152266, _152268, _152270] : [iext(uri_owl_minQualifiedCardinality, _152270, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _152270, _152268), iext(uri_owl_onDataRange, _152270, _152266), 4523 ^ _35368 : [(4524 ^ _35368) ^ [] : [-(iodp(_152268))], (4526 ^ _35368) ^ [_152717] : [icext(_152270, _152717), 4530 ^ _35368 : [(4531 ^ _35368) ^ [] : [-(lv(4529 ^ [_152266, _152268, _152270, _152717]))], (4533 ^ _35368) ^ [] : [-(iext(_152268, _152717, 4529 ^ [_152266, _152268, _152270, _152717]))], (4535 ^ _35368) ^ [] : [-(icext(_152266, 4529 ^ [_152266, _152268, _152270, _152717]))]]], (4537 ^ _35368) ^ [_153157] : [-(icext(_152270, _153157)), 4538 ^ _35368 : [(4539 ^ _35368) ^ [_153265] : [lv(_153265), iext(_152268, _153157, _153265), icext(_152266, _153265)]]]]], (4551 ^ _35368) ^ [_153683, _153685, _153687] : [iext(uri_owl_minQualifiedCardinality, _153687, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153687, _153685), iext(uri_owl_onDataRange, _153687, _153683), 4562 ^ _35368 : [(4563 ^ _35368) ^ [] : [-(iodp(_153685))], (4565 ^ _35368) ^ [_154165] : [icext(_153687, _154165), 4570 ^ _35368 : [(4571 ^ _35368) ^ [] : [-(lv(4568 ^ [_153683, _153685, _153687, _154165]))], (4573 ^ _35368) ^ [] : [-(iext(_153685, _154165, 4568 ^ [_153683, _153685, _153687, _154165]))], (4575 ^ _35368) ^ [] : [-(icext(_153683, 4568 ^ [_153683, _153685, _153687, _154165]))], (4577 ^ _35368) ^ [] : [-(lv(4569 ^ [_153683, _153685, _153687, _154165]))], (4579 ^ _35368) ^ [] : [-(iext(_153685, _154165, 4569 ^ [_153683, _153685, _153687, _154165]))], (4581 ^ _35368) ^ [] : [-(icext(_153683, 4569 ^ [_153683, _153685, _153687, _154165]))], (4583 ^ _35368) ^ [] : [4568 ^ [_153683, _153685, _153687, _154165] = 4569 ^ [_153683, _153685, _153687, _154165]]]], (4585 ^ _35368) ^ [_155144] : [-(icext(_153687, _155144)), 4586 ^ _35368 : [(4587 ^ _35368) ^ [_155297, _155299] : [lv(_155299), iext(_153685, _155144, _155299), icext(_153683, _155299), lv(_155297), iext(_153685, _155144, _155297), icext(_153683, _155297), -(_155299 = _155297)]]]]], (4615 ^ _35368) ^ [_156148, _156150, _156152] : [iext(uri_owl_minQualifiedCardinality, _156152, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156152, _156150), iext(uri_owl_onDataRange, _156152, _156148), 4626 ^ _35368 : [(4627 ^ _35368) ^ [] : [-(iodp(_156150))], (4629 ^ _35368) ^ [_156669] : [icext(_156152, _156669), 4635 ^ _35368 : [(4636 ^ _35368) ^ [] : [-(lv(4632 ^ [_156148, _156150, _156152, _156669]))], (4638 ^ _35368) ^ [] : [-(iext(_156150, _156669, 4632 ^ [_156148, _156150, _156152, _156669]))], (4640 ^ _35368) ^ [] : [-(icext(_156148, 4632 ^ [_156148, _156150, _156152, _156669]))], (4642 ^ _35368) ^ [] : [-(lv(4633 ^ [_156148, _156150, _156152, _156669]))], (4644 ^ _35368) ^ [] : [-(iext(_156150, _156669, 4633 ^ [_156148, _156150, _156152, _156669]))], (4646 ^ _35368) ^ [] : [-(icext(_156148, 4633 ^ [_156148, _156150, _156152, _156669]))], (4648 ^ _35368) ^ [] : [-(lv(4634 ^ [_156148, _156150, _156152, _156669]))], (4650 ^ _35368) ^ [] : [-(iext(_156150, _156669, 4634 ^ [_156148, _156150, _156152, _156669]))], (4652 ^ _35368) ^ [] : [-(icext(_156148, 4634 ^ [_156148, _156150, _156152, _156669]))], (4654 ^ _35368) ^ [] : [4632 ^ [_156148, _156150, _156152, _156669] = 4633 ^ [_156148, _156150, _156152, _156669]], (4656 ^ _35368) ^ [] : [4632 ^ [_156148, _156150, _156152, _156669] = 4634 ^ [_156148, _156150, _156152, _156669]], (4658 ^ _35368) ^ [] : [4633 ^ [_156148, _156150, _156152, _156669] = 4634 ^ [_156148, _156150, _156152, _156669]]]], (4660 ^ _35368) ^ [_158446] : [-(icext(_156152, _158446)), 4661 ^ _35368 : [(4662 ^ _35368) ^ [_158652, _158654, _158656] : [lv(_158656), iext(_156150, _158446, _158656), icext(_156148, _158656), lv(_158654), iext(_156150, _158446, _158654), icext(_156148, _158654), lv(_158652), iext(_156150, _158446, _158652), icext(_156148, _158652), -(_158656 = _158654), -(_158656 = _158652), -(_158654 = _158652)]]]]], (4710 ^ _35368) ^ [_160080, _160082, _160084] : [4721 ^ _35368 : [(4722 ^ _35368) ^ [_160392] : [-(icext(_160084, _160392))]], iext(uri_owl_minQualifiedCardinality, _160084, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _160084, _160082), iext(uri_owl_onClass, _160084, _160080)], (4724 ^ _35368) ^ [_160524, _160526, _160528] : [iext(uri_owl_minQualifiedCardinality, _160528, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _160528, _160526), iext(uri_owl_onClass, _160528, _160524), 4735 ^ _35368 : [(4736 ^ _35368) ^ [_160898] : [icext(_160528, _160898), 4740 ^ _35368 : [(4741 ^ _35368) ^ [] : [-(iext(_160526, _160898, 4739 ^ [_160524, _160526, _160528, _160898]))], (4743 ^ _35368) ^ [] : [-(icext(_160524, 4739 ^ [_160524, _160526, _160528, _160898]))]]], (4745 ^ _35368) ^ [_161246] : [-(icext(_160528, _161246)), 4746 ^ _35368 : [(4747 ^ _35368) ^ [_161349] : [iext(_160526, _161246, _161349), icext(_160524, _161349)]]]]], (4755 ^ _35368) ^ [_161666, _161668, _161670] : [iext(uri_owl_minQualifiedCardinality, _161670, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _161670, _161668), iext(uri_owl_onClass, _161670, _161666), 4766 ^ _35368 : [(4767 ^ _35368) ^ [_162066] : [icext(_161670, _162066), 4772 ^ _35368 : [(4773 ^ _35368) ^ [] : [-(iext(_161668, _162066, 4770 ^ [_161666, _161668, _161670, _162066]))], (4775 ^ _35368) ^ [] : [-(icext(_161666, 4770 ^ [_161666, _161668, _161670, _162066]))], (4777 ^ _35368) ^ [] : [-(iext(_161668, _162066, 4771 ^ [_161666, _161668, _161670, _162066]))], (4779 ^ _35368) ^ [] : [-(icext(_161666, 4771 ^ [_161666, _161668, _161670, _162066]))], (4781 ^ _35368) ^ [] : [4770 ^ [_161666, _161668, _161670, _162066] = 4771 ^ [_161666, _161668, _161670, _162066]]]], (4783 ^ _35368) ^ [_162840] : [-(icext(_161670, _162840)), 4784 ^ _35368 : [(4785 ^ _35368) ^ [_162983, _162985] : [iext(_161668, _162840, _162985), icext(_161666, _162985), iext(_161668, _162840, _162983), icext(_161666, _162983), -(_162985 = _162983)]]]]], (4805 ^ _35368) ^ [_163626, _163628, _163630] : [iext(uri_owl_minQualifiedCardinality, _163630, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _163630, _163628), iext(uri_owl_onClass, _163630, _163626), 4816 ^ _35368 : [(4817 ^ _35368) ^ [_164060] : [icext(_163630, _164060), 4823 ^ _35368 : [(4824 ^ _35368) ^ [] : [-(iext(_163628, _164060, 4820 ^ [_163626, _163628, _163630, _164060]))], (4826 ^ _35368) ^ [] : [-(icext(_163626, 4820 ^ [_163626, _163628, _163630, _164060]))], (4828 ^ _35368) ^ [] : [-(iext(_163628, _164060, 4821 ^ [_163626, _163628, _163630, _164060]))], (4830 ^ _35368) ^ [] : [-(icext(_163626, 4821 ^ [_163626, _163628, _163630, _164060]))], (4832 ^ _35368) ^ [] : [-(iext(_163628, _164060, 4822 ^ [_163626, _163628, _163630, _164060]))], (4834 ^ _35368) ^ [] : [-(icext(_163626, 4822 ^ [_163626, _163628, _163630, _164060]))], (4836 ^ _35368) ^ [] : [4820 ^ [_163626, _163628, _163630, _164060] = 4821 ^ [_163626, _163628, _163630, _164060]], (4838 ^ _35368) ^ [] : [4820 ^ [_163626, _163628, _163630, _164060] = 4822 ^ [_163626, _163628, _163630, _164060]], (4840 ^ _35368) ^ [] : [4821 ^ [_163626, _163628, _163630, _164060] = 4822 ^ [_163626, _163628, _163630, _164060]]]], (4842 ^ _35368) ^ [_165498] : [-(icext(_163630, _165498)), 4843 ^ _35368 : [(4844 ^ _35368) ^ [_165689, _165691, _165693] : [iext(_163628, _165498, _165693), icext(_163626, _165693), iext(_163628, _165498, _165691), icext(_163626, _165691), iext(_163628, _165498, _165689), icext(_163626, _165689), -(_165693 = _165691), -(_165693 = _165689), -(_165691 = _165689)]]]]], (4880 ^ _35368) ^ [_166794, _166796, _166798] : [iext(uri_owl_someValuesFrom, _166798, _166794), iext(uri_owl_onProperty, _166798, _166796), 4887 ^ _35368 : [(4888 ^ _35368) ^ [_167073] : [icext(_166798, _167073), 4892 ^ _35368 : [(4893 ^ _35368) ^ [] : [-(iext(_166796, _167073, 4891 ^ [_166794, _166796, _166798, _167073]))], (4895 ^ _35368) ^ [] : [-(icext(_166794, 4891 ^ [_166794, _166796, _166798, _167073]))]]], (4897 ^ _35368) ^ [_167421] : [-(icext(_166798, _167421)), 4898 ^ _35368 : [(4899 ^ _35368) ^ [_167524] : [iext(_166796, _167421, _167524), icext(_166794, _167524)]]]]], (4907 ^ _35368) ^ [_167854, _167856] : [iext(uri_rdfs_domain, _167856, _167854), 4910 ^ _35368 : [(4911 ^ _35368) ^ [] : [-(ip(_167856))], (4913 ^ _35368) ^ [] : [-(ic(_167854))], (4915 ^ _35368) ^ [_168153, _168155] : [iext(_167856, _168155, _168153), -(icext(_167854, _168155))]]], (4921 ^ _35368) ^ [_168342, _168344] : [-(iext(uri_rdfs_domain, _168344, _168342)), ip(_168344), ic(_168342), 4932 ^ _35368 : [(4933 ^ _35368) ^ [] : [-(iext(_168344, 4930 ^ [_168342, _168344], 4931 ^ [_168342, _168344]))], (4935 ^ _35368) ^ [] : [icext(_168342, 4930 ^ [_168342, _168344])]]], (4939 ^ _35368) ^ [_168990, _168992] : [iext(uri_rdfs_range, _168992, _168990), 4942 ^ _35368 : [(4943 ^ _35368) ^ [] : [-(ip(_168992))], (4945 ^ _35368) ^ [] : [-(ip(_168990))], (4947 ^ _35368) ^ [_169289, _169291] : [iext(_168992, _169291, _169289), -(icext(_168990, _169289))]]], (4953 ^ _35368) ^ [_169478, _169480] : [-(iext(uri_rdfs_range, _169480, _169478)), ip(_169480), ip(_169478), 4964 ^ _35368 : [(4965 ^ _35368) ^ [] : [-(iext(_169480, 4962 ^ [_169478, _169480], 4963 ^ [_169478, _169480]))], (4967 ^ _35368) ^ [] : [icext(_169478, 4963 ^ [_169478, _169480])]]], (4971 ^ _35368) ^ [_170119, _170121] : [iext(uri_rdfs_subClassOf, _170121, _170119), 4974 ^ _35368 : [(4975 ^ _35368) ^ [] : [-(ic(_170121))], (4977 ^ _35368) ^ [] : [-(ic(_170119))], (4979 ^ _35368) ^ [_170398] : [icext(_170121, _170398), -(icext(_170119, _170398))]]], (4985 ^ _35368) ^ [_170579, _170581] : [-(iext(uri_rdfs_subClassOf, _170581, _170579)), ic(_170581), ic(_170579), 4995 ^ _35368 : [(4996 ^ _35368) ^ [] : [-(icext(_170581, 4994 ^ [_170579, _170581]))], (4998 ^ _35368) ^ [] : [icext(_170579, 4994 ^ [_170579, _170581])]]], (5002 ^ _35368) ^ [_171141, _171143] : [iext(uri_rdfs_subPropertyOf, _171143, _171141), 5005 ^ _35368 : [(5006 ^ _35368) ^ [] : [-(ip(_171143))], (5008 ^ _35368) ^ [] : [-(ip(_171141))], (5010 ^ _35368) ^ [_171441, _171443] : [iext(_171143, _171443, _171441), -(iext(_171141, _171443, _171441))]]], (5016 ^ _35368) ^ [_171632, _171634] : [-(iext(uri_rdfs_subPropertyOf, _171634, _171632)), ip(_171634), ip(_171632), 5027 ^ _35368 : [(5028 ^ _35368) ^ [] : [-(iext(_171634, 5025 ^ [_171632, _171634], 5026 ^ [_171632, _171634]))], (5030 ^ _35368) ^ [] : [iext(_171632, 5025 ^ [_171632, _171634], 5026 ^ [_171632, _171634])]]], (5034 ^ _35368) ^ [_172291, _172293] : [iext(uri_owl_differentFrom, _172293, _172291), _172293 = _172291], (5040 ^ _35368) ^ [_172456, _172458] : [-(_172458 = _172456), -(iext(uri_owl_differentFrom, _172458, _172456))], (5046 ^ _35368) ^ [_172688] : [iext(uri_owl_disjointUnionOf, _172688, uri_rdf_nil), 5049 ^ _35368 : [(5050 ^ _35368) ^ [] : [-(ic(_172688))], (5052 ^ _35368) ^ [_172871] : [icext(_172688, _172871)]]], (5054 ^ _35368) ^ [_172939] : [-(iext(uri_owl_disjointUnionOf, _172939, uri_rdf_nil)), ic(_172939), -(icext(_172939, 5059 ^ [_172939]))], (5065 ^ _35368) ^ [_173300, _173302, _173304] : [iext(uri_rdf_first, _173302, _173300), iext(uri_rdf_rest, _173302, uri_rdf_nil), 5072 ^ _35368 : [(5073 ^ _35368) ^ [] : [iext(uri_owl_disjointUnionOf, _173304, _173302), 5076 ^ _35368 : [(5077 ^ _35368) ^ [] : [-(ic(_173304))], (5079 ^ _35368) ^ [] : [-(ic(_173300))], (5081 ^ _35368) ^ [_173831] : [icext(_173304, _173831), -(icext(_173300, _173831))], (5087 ^ _35368) ^ [_174011] : [icext(_173300, _174011), -(icext(_173304, _174011))]]], (5093 ^ _35368) ^ [] : [-(iext(uri_owl_disjointUnionOf, _173304, _173302)), ic(_173304), ic(_173300), 5105 ^ _35368 : [(5106 ^ _35368) ^ [] : [-(icext(_173304, 5102 ^ [_173300, _173302, _173304]))], (5108 ^ _35368) ^ [] : [icext(_173300, 5102 ^ [_173300, _173302, _173304])]], 5109 ^ _35368 : [(5110 ^ _35368) ^ [] : [-(icext(_173300, 5102 ^ [_173300, _173302, _173304]))], (5112 ^ _35368) ^ [] : [icext(_173304, 5102 ^ [_173300, _173302, _173304])]]]]], (5116 ^ _35368) ^ [_174938, _174940, _174942, _174944, _174946] : [iext(uri_rdf_first, _174944, _174942), iext(uri_rdf_rest, _174944, _174940), iext(uri_rdf_first, _174940, _174938), iext(uri_rdf_rest, _174940, uri_rdf_nil), 5131 ^ _35368 : [(5172 ^ _35368) ^ [] : [-(iext(uri_owl_disjointUnionOf, _174946, _174944)), ic(_174946), ic(_174942), ic(_174938), 5188 ^ _35368 : [(5189 ^ _35368) ^ [] : [-(icext(_174946, 5185 ^ [_174938, _174940, _174942, _174944, _174946]))], (5191 ^ _35368) ^ [] : [5192 ^ _35368 : [(5193 ^ _35368) ^ [] : [icext(_174942, 5185 ^ [_174938, _174940, _174942, _174944, _174946])], (5195 ^ _35368) ^ [] : [icext(_174938, 5185 ^ [_174938, _174940, _174942, _174944, _174946])]], 5196 ^ _35368 : [(5197 ^ _35368) ^ [] : [-(icext(_174942, 5185 ^ [_174938, _174940, _174942, _174944, _174946]))], (5199 ^ _35368) ^ [] : [-(icext(_174938, 5185 ^ [_174938, _174940, _174942, _174944, _174946]))]]]], 5200 ^ _35368 : [(5213 ^ _35368) ^ [] : [icext(_174946, 5185 ^ [_174938, _174940, _174942, _174944, _174946])], (5201 ^ _35368) ^ [] : [-(icext(_174942, 5185 ^ [_174938, _174940, _174942, _174944, _174946])), -(icext(_174938, 5185 ^ [_174938, _174940, _174942, _174944, _174946]))], (5207 ^ _35368) ^ [] : [icext(_174942, 5185 ^ [_174938, _174940, _174942, _174944, _174946]), icext(_174938, 5185 ^ [_174938, _174940, _174942, _174944, _174946])]]], (5132 ^ _35368) ^ [] : [iext(uri_owl_disjointUnionOf, _174946, _174944), 5135 ^ _35368 : [(5136 ^ _35368) ^ [] : [-(ic(_174946))], (5138 ^ _35368) ^ [] : [-(ic(_174942))], (5140 ^ _35368) ^ [] : [-(ic(_174938))], (5158 ^ _35368) ^ [_176294] : [-(icext(_174946, _176294)), 5161 ^ _35368 : [(5162 ^ _35368) ^ [] : [icext(_174942, _176294)], (5164 ^ _35368) ^ [] : [icext(_174938, _176294)]], 5165 ^ _35368 : [(5166 ^ _35368) ^ [] : [-(icext(_174942, _176294))], (5168 ^ _35368) ^ [] : [-(icext(_174938, _176294))]]], (5142 ^ _35368) ^ [_175803] : [icext(_174946, _175803), 5145 ^ _35368 : [(5146 ^ _35368) ^ [] : [-(icext(_174942, _175803)), -(icext(_174938, _175803))], (5152 ^ _35368) ^ [] : [icext(_174942, _175803), icext(_174938, _175803)]]]]]]], (5217 ^ _35368) ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325] : [iext(uri_rdf_first, _178323, _178321), iext(uri_rdf_rest, _178323, _178319), iext(uri_rdf_first, _178319, _178317), iext(uri_rdf_rest, _178319, _178315), iext(uri_rdf_first, _178315, _178313), iext(uri_rdf_rest, _178315, uri_rdf_nil), 5240 ^ _35368 : [(5313 ^ _35368) ^ [] : [-(iext(uri_owl_disjointUnionOf, _178325, _178323)), ic(_178325), ic(_178321), ic(_178317), ic(_178313), 5333 ^ _35368 : [(5334 ^ _35368) ^ [] : [-(icext(_178325, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))], (5336 ^ _35368) ^ [] : [5337 ^ _35368 : [(5338 ^ _35368) ^ [] : [icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])], (5340 ^ _35368) ^ [] : [icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])], (5342 ^ _35368) ^ [] : [icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])]], 5345 ^ _35368 : [(5346 ^ _35368) ^ [] : [-(icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))], (5348 ^ _35368) ^ [] : [-(icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))]], 5351 ^ _35368 : [(5352 ^ _35368) ^ [] : [-(icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))], (5354 ^ _35368) ^ [] : [-(icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))]], 5355 ^ _35368 : [(5356 ^ _35368) ^ [] : [-(icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))], (5358 ^ _35368) ^ [] : [-(icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))]]]], 5359 ^ _35368 : [(5388 ^ _35368) ^ [] : [icext(_178325, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])], (5360 ^ _35368) ^ [] : [-(icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])), -(icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])), -(icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]))], (5370 ^ _35368) ^ [] : [icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]), icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])], (5376 ^ _35368) ^ [] : [icext(_178321, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]), icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])], (5382 ^ _35368) ^ [] : [icext(_178317, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325]), icext(_178313, 5330 ^ [_178313, _178315, _178317, _178319, _178321, _178323, _178325])]]], (5241 ^ _35368) ^ [] : [iext(uri_owl_disjointUnionOf, _178325, _178323), 5244 ^ _35368 : [(5245 ^ _35368) ^ [] : [-(ic(_178325))], (5247 ^ _35368) ^ [] : [-(ic(_178321))], (5249 ^ _35368) ^ [] : [-(ic(_178317))], (5251 ^ _35368) ^ [] : [-(ic(_178313))], (5285 ^ _35368) ^ [_180607] : [-(icext(_178325, _180607)), 5288 ^ _35368 : [(5289 ^ _35368) ^ [] : [icext(_178321, _180607)], (5291 ^ _35368) ^ [] : [icext(_178317, _180607)], (5293 ^ _35368) ^ [] : [icext(_178313, _180607)]], 5296 ^ _35368 : [(5297 ^ _35368) ^ [] : [-(icext(_178321, _180607))], (5299 ^ _35368) ^ [] : [-(icext(_178317, _180607))]], 5302 ^ _35368 : [(5303 ^ _35368) ^ [] : [-(icext(_178321, _180607))], (5305 ^ _35368) ^ [] : [-(icext(_178313, _180607))]], 5306 ^ _35368 : [(5307 ^ _35368) ^ [] : [-(icext(_178317, _180607))], (5309 ^ _35368) ^ [] : [-(icext(_178313, _180607))]]], (5253 ^ _35368) ^ [_179566] : [icext(_178325, _179566), 5256 ^ _35368 : [(5257 ^ _35368) ^ [] : [-(icext(_178321, _179566)), -(icext(_178317, _179566)), -(icext(_178313, _179566))], (5267 ^ _35368) ^ [] : [icext(_178321, _179566), icext(_178317, _179566)], (5273 ^ _35368) ^ [] : [icext(_178321, _179566), icext(_178313, _179566)], (5279 ^ _35368) ^ [] : [icext(_178317, _179566), icext(_178313, _179566)]]]]]]], (5392 ^ _35368) ^ [_184463, _184465] : [iext(uri_owl_disjointWith, _184465, _184463), 5395 ^ _35368 : [(5396 ^ _35368) ^ [] : [-(ic(_184465))], (5398 ^ _35368) ^ [] : [-(ic(_184463))], (5400 ^ _35368) ^ [_184744] : [icext(_184465, _184744), icext(_184463, _184744)]]], (5406 ^ _35368) ^ [_184924, _184926] : [-(iext(uri_owl_disjointWith, _184926, _184924)), ic(_184926), ic(_184924), 5416 ^ _35368 : [(5417 ^ _35368) ^ [] : [-(icext(_184926, 5415 ^ [_184924, _184926]))], (5419 ^ _35368) ^ [] : [-(icext(_184924, 5415 ^ [_184924, _184926]))]]], (5423 ^ _35368) ^ [_185491, _185493] : [iext(uri_owl_equivalentClass, _185493, _185491), 5426 ^ _35368 : [(5427 ^ _35368) ^ [] : [-(ic(_185493))], (5429 ^ _35368) ^ [] : [-(ic(_185491))], (5431 ^ _35368) ^ [_185799] : [icext(_185493, _185799), -(icext(_185491, _185799))], (5437 ^ _35368) ^ [_185971] : [icext(_185491, _185971), -(icext(_185493, _185971))]]], (5443 ^ _35368) ^ [_186154, _186156] : [-(iext(uri_owl_equivalentClass, _186156, _186154)), ic(_186156), ic(_186154), 5455 ^ _35368 : [(5456 ^ _35368) ^ [] : [-(icext(_186156, 5452 ^ [_186154, _186156]))], (5458 ^ _35368) ^ [] : [icext(_186154, 5452 ^ [_186154, _186156])]], 5459 ^ _35368 : [(5460 ^ _35368) ^ [] : [-(icext(_186154, 5452 ^ [_186154, _186156]))], (5462 ^ _35368) ^ [] : [icext(_186156, 5452 ^ [_186154, _186156])]]], (5466 ^ _35368) ^ [_186891, _186893] : [iext(uri_owl_equivalentProperty, _186893, _186891), 5469 ^ _35368 : [(5470 ^ _35368) ^ [] : [-(ip(_186893))], (5472 ^ _35368) ^ [] : [-(ip(_186891))], (5474 ^ _35368) ^ [_187220, _187222] : [iext(_186893, _187222, _187220), -(iext(_186891, _187222, _187220))], (5480 ^ _35368) ^ [_187402, _187404] : [iext(_186891, _187404, _187402), -(iext(_186893, _187404, _187402))]]], (5486 ^ _35368) ^ [_187595, _187597] : [-(iext(uri_owl_equivalentProperty, _187597, _187595)), ip(_187597), ip(_187595), 5499 ^ _35368 : [(5500 ^ _35368) ^ [] : [-(iext(_187597, 5495 ^ [_187595, _187597], 5496 ^ [_187595, _187597]))], (5502 ^ _35368) ^ [] : [iext(_187595, 5495 ^ [_187595, _187597], 5496 ^ [_187595, _187597])]], 5503 ^ _35368 : [(5504 ^ _35368) ^ [] : [-(iext(_187595, 5495 ^ [_187595, _187597], 5496 ^ [_187595, _187597]))], (5506 ^ _35368) ^ [] : [iext(_187597, 5495 ^ [_187595, _187597], 5496 ^ [_187595, _187597])]]], (5510 ^ _35368) ^ [_188445, _188447] : [iext(uri_owl_propertyDisjointWith, _188447, _188445), 5513 ^ _35368 : [(5514 ^ _35368) ^ [] : [-(ip(_188447))], (5516 ^ _35368) ^ [] : [-(ip(_188445))], (5518 ^ _35368) ^ [_188747, _188749] : [iext(_188447, _188749, _188747), iext(_188445, _188749, _188747)]]], (5524 ^ _35368) ^ [_188937, _188939] : [-(iext(uri_owl_propertyDisjointWith, _188939, _188937)), ip(_188939), ip(_188937), 5535 ^ _35368 : [(5536 ^ _35368) ^ [] : [-(iext(_188939, 5533 ^ [_188937, _188939], 5534 ^ [_188937, _188939]))], (5538 ^ _35368) ^ [] : [-(iext(_188937, 5533 ^ [_188937, _188939], 5534 ^ [_188937, _188939]))]]], (5542 ^ _35368) ^ [_189603, _189605] : [iext(uri_owl_sameAs, _189605, _189603), -(_189605 = _189603)], (5548 ^ _35368) ^ [_189767, _189769] : [_189769 = _189767, -(iext(uri_owl_sameAs, _189769, _189767))], (5555 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35368) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35368) ^ [_190133, _190135] : [5567 ^ _35368 : [(5568 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_190133, _190135]))], (5570 ^ _35368) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_190133, _190135], _190135))]], iext(uri_rdf_first, _190135, _190133), iext(uri_rdf_rest, _190135, uri_rdf_nil)], (5572 ^ _35368) ^ [_190612, _190614, _190616, _190618] : [5592 ^ _35368 : [(5593 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_190612, _190614, _190616, _190618]))], (5595 ^ _35368) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_190612, _190614, _190616, _190618], _190618))]], iext(uri_rdf_first, _190618, _190616), iext(uri_rdf_rest, _190618, _190614), iext(uri_rdf_first, _190614, _190612), iext(uri_rdf_rest, _190614, uri_rdf_nil), -(_190616 = _190612)], (5597 ^ _35368) ^ [_191457, _191459, _191461, _191463, _191465, _191467] : [5633 ^ _35368 : [(5634 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_191457, _191459, _191461, _191463, _191465, _191467]))], (5636 ^ _35368) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_191457, _191459, _191461, _191463, _191465, _191467], _191467))]], iext(uri_rdf_first, _191467, _191465), iext(uri_rdf_rest, _191467, _191463), iext(uri_rdf_first, _191463, _191461), iext(uri_rdf_rest, _191463, _191459), iext(uri_rdf_first, _191459, _191457), iext(uri_rdf_rest, _191459, uri_rdf_nil), -(_191465 = _191461), -(_191465 = _191457), -(_191461 = _191457)], (5638 ^ _35368) ^ [] : [-(tautology), tautology], (5644 ^ _35368) ^ [] : [-(tautology), tautology], (5650 ^ _35368) ^ [_193020, _193022, _193024, _193026, _193028] : [_193024 = _193020, iext(uri_rdf_first, _193026, _193024), iext(uri_rdf_rest, _193026, _193022), iext(uri_rdf_first, _193022, _193020), iext(uri_rdf_rest, _193022, uri_rdf_nil), icext(uri_owl_AllDifferent, _193028), iext(uri_owl_distinctMembers, _193028, _193026)], (5676 ^ _35368) ^ [_193834, _193836, _193838, _193840, _193842, _193844, _193846] : [5707 ^ _35368 : [(5708 ^ _35368) ^ [] : [_193842 = _193838], (5710 ^ _35368) ^ [] : [_193842 = _193834], (5712 ^ _35368) ^ [] : [_193838 = _193834]], iext(uri_rdf_first, _193844, _193842), iext(uri_rdf_rest, _193844, _193840), iext(uri_rdf_first, _193840, _193838), iext(uri_rdf_rest, _193840, _193836), iext(uri_rdf_first, _193836, _193834), iext(uri_rdf_rest, _193836, uri_rdf_nil), icext(uri_owl_AllDifferent, _193846), iext(uri_owl_distinctMembers, _193846, _193844)], (5715 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35368) ^ [_195175, _195177] : [5727 ^ _35368 : [(5728 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_195175, _195177]))], (5730 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_195175, _195177], _195177))]], iext(uri_rdf_first, _195177, _195175), iext(uri_rdf_rest, _195177, uri_rdf_nil)], (5732 ^ _35368) ^ [_195654, _195656, _195658, _195660] : [5752 ^ _35368 : [(5753 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_195654, _195656, _195658, _195660]))], (5755 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_195654, _195656, _195658, _195660], _195660))]], iext(uri_rdf_first, _195660, _195658), iext(uri_rdf_rest, _195660, _195656), iext(uri_rdf_first, _195656, _195654), iext(uri_rdf_rest, _195656, uri_rdf_nil), -(_195658 = _195654)], (5757 ^ _35368) ^ [_196499, _196501, _196503, _196505, _196507, _196509] : [5793 ^ _35368 : [(5794 ^ _35368) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_196499, _196501, _196503, _196505, _196507, _196509]))], (5796 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_196499, _196501, _196503, _196505, _196507, _196509], _196509))]], iext(uri_rdf_first, _196509, _196507), iext(uri_rdf_rest, _196509, _196505), iext(uri_rdf_first, _196505, _196503), iext(uri_rdf_rest, _196505, _196501), iext(uri_rdf_first, _196501, _196499), iext(uri_rdf_rest, _196501, uri_rdf_nil), -(_196507 = _196503), -(_196507 = _196499), -(_196503 = _196499)], (5798 ^ _35368) ^ [] : [-(tautology), tautology], (5804 ^ _35368) ^ [] : [-(tautology), tautology], (5810 ^ _35368) ^ [_198062, _198064, _198066, _198068, _198070] : [_198066 = _198062, iext(uri_rdf_first, _198068, _198066), iext(uri_rdf_rest, _198068, _198064), iext(uri_rdf_first, _198064, _198062), iext(uri_rdf_rest, _198064, uri_rdf_nil), icext(uri_owl_AllDifferent, _198070), iext(uri_owl_members, _198070, _198068)], (5836 ^ _35368) ^ [_198876, _198878, _198880, _198882, _198884, _198886, _198888] : [5867 ^ _35368 : [(5868 ^ _35368) ^ [] : [_198884 = _198880], (5870 ^ _35368) ^ [] : [_198884 = _198876], (5872 ^ _35368) ^ [] : [_198880 = _198876]], iext(uri_rdf_first, _198886, _198884), iext(uri_rdf_rest, _198886, _198882), iext(uri_rdf_first, _198882, _198880), iext(uri_rdf_rest, _198882, _198878), iext(uri_rdf_first, _198878, _198876), iext(uri_rdf_rest, _198878, uri_rdf_nil), icext(uri_owl_AllDifferent, _198888), iext(uri_owl_members, _198888, _198886)], (5875 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35368) ^ [_200217, _200219] : [5887 ^ _35368 : [(5888 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_200217, _200219]))], (5890 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_200217, _200219], _200219))]], iext(uri_rdf_first, _200219, _200217), iext(uri_rdf_rest, _200219, uri_rdf_nil)], (5892 ^ _35368) ^ [_200696, _200698, _200700, _200702] : [5915 ^ _35368 : [(5916 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_200696, _200698, _200700, _200702]))], (5918 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_200696, _200698, _200700, _200702], _200702))]], iext(uri_rdf_first, _200702, _200700), iext(uri_rdf_rest, _200702, _200698), iext(uri_rdf_first, _200698, _200696), iext(uri_rdf_rest, _200698, uri_rdf_nil), 5910 ^ _35368 : [(5911 ^ _35368) ^ [] : [-(icext(_200700, 5909 ^ [_200696, _200698, _200700, _200702]))], (5913 ^ _35368) ^ [] : [-(icext(_200696, 5909 ^ [_200696, _200698, _200700, _200702]))]]], (5920 ^ _35368) ^ [_201708, _201710, _201712, _201714, _201716, _201718] : [5965 ^ _35368 : [(5966 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))], (5968 ^ _35368) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_201708, _201710, _201712, _201714, _201716, _201718], _201718))]], iext(uri_rdf_first, _201718, _201716), iext(uri_rdf_rest, _201718, _201714), iext(uri_rdf_first, _201714, _201712), iext(uri_rdf_rest, _201714, _201710), iext(uri_rdf_first, _201710, _201708), iext(uri_rdf_rest, _201710, uri_rdf_nil), 5948 ^ _35368 : [(5949 ^ _35368) ^ [] : [-(icext(_201716, 5947 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))], (5951 ^ _35368) ^ [] : [-(icext(_201712, 5947 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))]], 5955 ^ _35368 : [(5956 ^ _35368) ^ [] : [-(icext(_201716, 5954 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))], (5958 ^ _35368) ^ [] : [-(icext(_201708, 5954 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))]], 5960 ^ _35368 : [(5961 ^ _35368) ^ [] : [-(icext(_201712, 5959 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))], (5963 ^ _35368) ^ [] : [-(icext(_201708, 5959 ^ [_201708, _201710, _201712, _201714, _201716, _201718]))]]], (5970 ^ _35368) ^ [] : [-(tautology), tautology], (5976 ^ _35368) ^ [] : [-(tautology), tautology], (5982 ^ _35368) ^ [_203832, _203834, _203836, _203838, _203840] : [6005 ^ _35368 : [(6006 ^ _35368) ^ [_204498] : [icext(_203836, _204498), icext(_203832, _204498)]], iext(uri_rdf_first, _203838, _203836), iext(uri_rdf_rest, _203838, _203834), iext(uri_rdf_first, _203834, _203832), iext(uri_rdf_rest, _203834, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _203840), iext(uri_owl_members, _203840, _203838)], (6012 ^ _35368) ^ [_204816, _204818, _204820, _204822, _204824, _204826, _204828] : [iext(uri_rdf_first, _204826, _204824), iext(uri_rdf_rest, _204826, _204822), iext(uri_rdf_first, _204822, _204820), iext(uri_rdf_rest, _204822, _204818), iext(uri_rdf_first, _204818, _204816), iext(uri_rdf_rest, _204818, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _204828), iext(uri_owl_members, _204828, _204826), 6043 ^ _35368 : [(6044 ^ _35368) ^ [_205810] : [icext(_204824, _205810), icext(_204820, _205810)], (6050 ^ _35368) ^ [_206055] : [icext(_204824, _206055), icext(_204816, _206055)], (6056 ^ _35368) ^ [_206280] : [icext(_204820, _206280), icext(_204816, _206280)]]], (6063 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35368) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35368) ^ [_206714, _206716] : [6075 ^ _35368 : [(6076 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_206714, _206716]))], (6078 ^ _35368) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_206714, _206716], _206716))]], iext(uri_rdf_first, _206716, _206714), iext(uri_rdf_rest, _206716, uri_rdf_nil)], (6080 ^ _35368) ^ [_207193, _207195, _207197, _207199] : [6104 ^ _35368 : [(6105 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_207193, _207195, _207197, _207199]))], (6107 ^ _35368) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_207193, _207195, _207197, _207199], _207199))]], iext(uri_rdf_first, _207199, _207197), iext(uri_rdf_rest, _207199, _207195), iext(uri_rdf_first, _207195, _207193), iext(uri_rdf_rest, _207195, uri_rdf_nil), 6099 ^ _35368 : [(6100 ^ _35368) ^ [] : [-(iext(_207197, 6097 ^ [_207193, _207195, _207197, _207199], 6098 ^ [_207193, _207195, _207197, _207199]))], (6102 ^ _35368) ^ [] : [-(iext(_207193, 6097 ^ [_207193, _207195, _207197, _207199], 6098 ^ [_207193, _207195, _207197, _207199]))]]], (6109 ^ _35368) ^ [_208328, _208330, _208332, _208334, _208336, _208338] : [6157 ^ _35368 : [(6158 ^ _35368) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))], (6160 ^ _35368) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_208328, _208330, _208332, _208334, _208336, _208338], _208338))]], iext(uri_rdf_first, _208338, _208336), iext(uri_rdf_rest, _208338, _208334), iext(uri_rdf_first, _208334, _208332), iext(uri_rdf_rest, _208334, _208330), iext(uri_rdf_first, _208330, _208328), iext(uri_rdf_rest, _208330, uri_rdf_nil), 6138 ^ _35368 : [(6139 ^ _35368) ^ [] : [-(iext(_208336, 6136 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6137 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))], (6141 ^ _35368) ^ [] : [-(iext(_208332, 6136 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6137 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))]], 6146 ^ _35368 : [(6147 ^ _35368) ^ [] : [-(iext(_208336, 6144 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6145 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))], (6149 ^ _35368) ^ [] : [-(iext(_208328, 6144 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6145 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))]], 6152 ^ _35368 : [(6153 ^ _35368) ^ [] : [-(iext(_208332, 6150 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6151 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))], (6155 ^ _35368) ^ [] : [-(iext(_208328, 6150 ^ [_208328, _208330, _208332, _208334, _208336, _208338], 6151 ^ [_208328, _208330, _208332, _208334, _208336, _208338]))]]], (6162 ^ _35368) ^ [] : [-(tautology), tautology], (6168 ^ _35368) ^ [] : [-(tautology), tautology], (6174 ^ _35368) ^ [_210893, _210895, _210897, _210899, _210901] : [6197 ^ _35368 : [(6198 ^ _35368) ^ [_211580, _211582] : [iext(_210897, _211582, _211580), iext(_210893, _211582, _211580)]], iext(uri_rdf_first, _210899, _210897), iext(uri_rdf_rest, _210899, _210895), iext(uri_rdf_first, _210895, _210893), iext(uri_rdf_rest, _210895, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _210901), iext(uri_owl_members, _210901, _210899)], (6204 ^ _35368) ^ [_211908, _211910, _211912, _211914, _211916, _211918, _211920] : [iext(uri_rdf_first, _211918, _211916), iext(uri_rdf_rest, _211918, _211914), iext(uri_rdf_first, _211914, _211912), iext(uri_rdf_rest, _211914, _211910), iext(uri_rdf_first, _211910, _211908), iext(uri_rdf_rest, _211910, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _211920), iext(uri_owl_members, _211920, _211918), 6235 ^ _35368 : [(6236 ^ _35368) ^ [_212937, _212939] : [iext(_211916, _212939, _212937), iext(_211912, _212939, _212937)], (6242 ^ _35368) ^ [_213206, _213208] : [iext(_211916, _213208, _213206), iext(_211908, _213208, _213206)], (6248 ^ _35368) ^ [_213455, _213457] : [iext(_211912, _213457, _213455), iext(_211908, _213457, _213455)]]], (6254 ^ _35368) ^ [_213762] : [iext(uri_owl_propertyChainAxiom, _213762, uri_rdf_nil), 6257 ^ _35368 : [(6258 ^ _35368) ^ [] : [-(ip(_213762))], (6260 ^ _35368) ^ [_213945] : [-(iext(_213762, _213945, _213945))]]], (6262 ^ _35368) ^ [_214014] : [-(iext(uri_owl_propertyChainAxiom, _214014, uri_rdf_nil)), ip(_214014), iext(_214014, 6267 ^ [_214014], 6267 ^ [_214014])], (6273 ^ _35368) ^ [_214378, _214380, _214382] : [iext(uri_rdf_first, _214380, _214378), iext(uri_rdf_rest, _214380, uri_rdf_nil), 6280 ^ _35368 : [(6281 ^ _35368) ^ [] : [iext(uri_owl_propertyChainAxiom, _214382, _214380), 6284 ^ _35368 : [(6285 ^ _35368) ^ [] : [-(ip(_214382))], (6287 ^ _35368) ^ [] : [-(ip(_214378))], (6289 ^ _35368) ^ [_214901, _214903] : [iext(_214378, _214903, _214901), -(iext(_214382, _214903, _214901))]]], (6295 ^ _35368) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _214382, _214380)), ip(_214382), ip(_214378), 6306 ^ _35368 : [(6307 ^ _35368) ^ [] : [-(iext(_214378, 6304 ^ [_214378, _214380, _214382], 6305 ^ [_214378, _214380, _214382]))], (6309 ^ _35368) ^ [] : [iext(_214382, 6304 ^ [_214378, _214380, _214382], 6305 ^ [_214378, _214380, _214382])]]]]], (6313 ^ _35368) ^ [_215753, _215755, _215757, _215759, _215761] : [iext(uri_rdf_first, _215759, _215757), iext(uri_rdf_rest, _215759, _215755), iext(uri_rdf_first, _215755, _215753), iext(uri_rdf_rest, _215755, uri_rdf_nil), 6328 ^ _35368 : [(6329 ^ _35368) ^ [] : [iext(uri_owl_propertyChainAxiom, _215761, _215759), 6332 ^ _35368 : [(6333 ^ _35368) ^ [] : [-(ip(_215761))], (6335 ^ _35368) ^ [] : [-(ip(_215757))], (6337 ^ _35368) ^ [] : [-(ip(_215753))], (6339 ^ _35368) ^ [_216616, _216618, _216620] : [-(iext(_215761, _216620, _216616)), iext(_215757, _216620, _216618), iext(_215753, _216618, _216616)]]], (6349 ^ _35368) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _215761, _215759)), ip(_215761), ip(_215757), ip(_215753), 6365 ^ _35368 : [(6366 ^ _35368) ^ [] : [-(iext(_215757, 6362 ^ [_215753, _215755, _215757, _215759, _215761], 6363 ^ [_215753, _215755, _215757, _215759, _215761]))], (6368 ^ _35368) ^ [] : [-(iext(_215753, 6363 ^ [_215753, _215755, _215757, _215759, _215761], 6364 ^ [_215753, _215755, _215757, _215759, _215761]))], (6370 ^ _35368) ^ [] : [iext(_215761, 6362 ^ [_215753, _215755, _215757, _215759, _215761], 6364 ^ [_215753, _215755, _215757, _215759, _215761])]]]]], (6374 ^ _35368) ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068] : [iext(uri_rdf_first, _218066, _218064), iext(uri_rdf_rest, _218066, _218062), iext(uri_rdf_first, _218062, _218060), iext(uri_rdf_rest, _218062, _218058), iext(uri_rdf_first, _218058, _218056), iext(uri_rdf_rest, _218058, uri_rdf_nil), 6397 ^ _35368 : [(6398 ^ _35368) ^ [] : [iext(uri_owl_propertyChainAxiom, _218068, _218066), 6401 ^ _35368 : [(6402 ^ _35368) ^ [] : [-(ip(_218068))], (6404 ^ _35368) ^ [] : [-(ip(_218064))], (6406 ^ _35368) ^ [] : [-(ip(_218060))], (6408 ^ _35368) ^ [] : [-(ip(_218056))], (6410 ^ _35368) ^ [_219299, _219301, _219303, _219305] : [-(iext(_218068, _219305, _219299)), iext(_218064, _219305, _219303), iext(_218060, _219303, _219301), iext(_218056, _219301, _219299)]]], (6424 ^ _35368) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _218068, _218066)), ip(_218068), ip(_218064), ip(_218060), ip(_218056), 6445 ^ _35368 : [(6446 ^ _35368) ^ [] : [-(iext(_218064, 6441 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068], 6442 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068]))], (6448 ^ _35368) ^ [] : [-(iext(_218060, 6442 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068], 6443 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068]))], (6450 ^ _35368) ^ [] : [-(iext(_218056, 6443 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068], 6444 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068]))], (6452 ^ _35368) ^ [] : [iext(_218068, 6441 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068], 6444 ^ [_218056, _218058, _218060, _218062, _218064, _218066, _218068])]]]]], (6456 ^ _35368) ^ [_221423, _221425] : [iext(uri_owl_inverseOf, _221425, _221423), 6459 ^ _35368 : [(6460 ^ _35368) ^ [] : [-(ip(_221425))], (6462 ^ _35368) ^ [] : [-(ip(_221423))], (6464 ^ _35368) ^ [_221752, _221754] : [iext(_221425, _221754, _221752), -(iext(_221423, _221752, _221754))], (6470 ^ _35368) ^ [_221934, _221936] : [iext(_221423, _221934, _221936), -(iext(_221425, _221936, _221934))]]], (6476 ^ _35368) ^ [_222127, _222129] : [-(iext(uri_owl_inverseOf, _222129, _222127)), ip(_222129), ip(_222127), 6489 ^ _35368 : [(6490 ^ _35368) ^ [] : [-(iext(_222129, 6485 ^ [_222127, _222129], 6486 ^ [_222127, _222129]))], (6492 ^ _35368) ^ [] : [iext(_222127, 6486 ^ [_222127, _222129], 6485 ^ [_222127, _222129])]], 6493 ^ _35368 : [(6494 ^ _35368) ^ [] : [-(iext(_222127, 6486 ^ [_222127, _222129], 6485 ^ [_222127, _222129]))], (6496 ^ _35368) ^ [] : [iext(_222129, 6485 ^ [_222127, _222129], 6486 ^ [_222127, _222129])]]], (6500 ^ _35368) ^ [_222963] : [icext(uri_owl_AsymmetricProperty, _222963), 6503 ^ _35368 : [(6504 ^ _35368) ^ [] : [-(ip(_222963))], (6506 ^ _35368) ^ [_223187, _223189] : [iext(_222963, _223189, _223187), iext(_222963, _223187, _223189)]]], (6512 ^ _35368) ^ [_223369] : [-(icext(uri_owl_AsymmetricProperty, _223369)), ip(_223369), 6519 ^ _35368 : [(6520 ^ _35368) ^ [] : [-(iext(_223369, 6517 ^ [_223369], 6518 ^ [_223369]))], (6522 ^ _35368) ^ [] : [-(iext(_223369, 6518 ^ [_223369], 6517 ^ [_223369]))]]], (6542 ^ _35368) ^ [_224431] : [-(icext(uri_owl_FunctionalProperty, _224431)), ip(_224431), 6550 ^ _35368 : [(6551 ^ _35368) ^ [] : [-(iext(_224431, 6547 ^ [_224431], 6548 ^ [_224431]))], (6553 ^ _35368) ^ [] : [-(iext(_224431, 6547 ^ [_224431], 6549 ^ [_224431]))], (6555 ^ _35368) ^ [] : [6548 ^ [_224431] = 6549 ^ [_224431]]]], (6526 ^ _35368) ^ [_223900] : [icext(uri_owl_FunctionalProperty, _223900), 6529 ^ _35368 : [(6530 ^ _35368) ^ [] : [-(ip(_223900))], (6532 ^ _35368) ^ [_224147, _224149, _224151] : [-(_224149 = _224147), iext(_223900, _224151, _224149), iext(_223900, _224151, _224147)]]], (6575 ^ _35368) ^ [_225672] : [-(icext(uri_owl_InverseFunctionalProperty, _225672)), ip(_225672), 6583 ^ _35368 : [(6584 ^ _35368) ^ [] : [-(iext(_225672, 6580 ^ [_225672], 6582 ^ [_225672]))], (6586 ^ _35368) ^ [] : [-(iext(_225672, 6581 ^ [_225672], 6582 ^ [_225672]))], (6588 ^ _35368) ^ [] : [6580 ^ [_225672] = 6581 ^ [_225672]]]], (6559 ^ _35368) ^ [_225141] : [icext(uri_owl_InverseFunctionalProperty, _225141), 6562 ^ _35368 : [(6563 ^ _35368) ^ [] : [-(ip(_225141))], (6565 ^ _35368) ^ [_225388, _225390, _225392] : [-(_225392 = _225390), iext(_225141, _225392, _225388), iext(_225141, _225390, _225388)]]], (6592 ^ _35368) ^ [_226382] : [icext(uri_owl_IrreflexiveReflexiveProperty, _226382), 6595 ^ _35368 : [(6596 ^ _35368) ^ [] : [-(ip(_226382))], (6598 ^ _35368) ^ [_226564] : [iext(_226382, _226564, _226564)]]], (6600 ^ _35368) ^ [_226633] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _226633)), ip(_226633), -(iext(_226633, 6605 ^ [_226633], 6605 ^ [_226633]))], (6611 ^ _35368) ^ [_227001] : [icext(uri_owl_ReflexiveProperty, _227001), 6614 ^ _35368 : [(6615 ^ _35368) ^ [] : [-(ip(_227001))], (6617 ^ _35368) ^ [_227182] : [-(iext(_227001, _227182, _227182))]]], (6619 ^ _35368) ^ [_227251] : [-(icext(uri_owl_ReflexiveProperty, _227251)), ip(_227251), iext(_227251, 6624 ^ [_227251], 6624 ^ [_227251])], (6630 ^ _35368) ^ [_227614] : [icext(uri_owl_SymmetricProperty, _227614), 6633 ^ _35368 : [(6634 ^ _35368) ^ [] : [-(ip(_227614))], (6636 ^ _35368) ^ [_227836, _227838] : [iext(_227614, _227838, _227836), -(iext(_227614, _227836, _227838))]]], (6642 ^ _35368) ^ [_228017] : [-(icext(uri_owl_SymmetricProperty, _228017)), ip(_228017), 6649 ^ _35368 : [(6650 ^ _35368) ^ [] : [-(iext(_228017, 6647 ^ [_228017], 6648 ^ [_228017]))], (6652 ^ _35368) ^ [] : [iext(_228017, 6648 ^ [_228017], 6647 ^ [_228017])]]], (6672 ^ _35368) ^ [_229075] : [-(icext(uri_owl_TransitiveProperty, _229075)), ip(_229075), 6680 ^ _35368 : [(6681 ^ _35368) ^ [] : [-(iext(_229075, 6677 ^ [_229075], 6678 ^ [_229075]))], (6683 ^ _35368) ^ [] : [-(iext(_229075, 6678 ^ [_229075], 6679 ^ [_229075]))], (6685 ^ _35368) ^ [] : [iext(_229075, 6677 ^ [_229075], 6679 ^ [_229075])]]], (6656 ^ _35368) ^ [_228541] : [icext(uri_owl_TransitiveProperty, _228541), 6659 ^ _35368 : [(6660 ^ _35368) ^ [] : [-(ip(_228541))], (6662 ^ _35368) ^ [_228789, _228791, _228793] : [-(iext(_228541, _228793, _228789)), iext(_228541, _228793, _228791), iext(_228541, _228791, _228789)]]], (6705 ^ _35368) ^ [_230288] : [-(iext(uri_owl_hasKey, _230288, uri_rdf_nil)), ic(_230288), 6712 ^ _35368 : [(6713 ^ _35368) ^ [] : [-(icext(_230288, 6710 ^ [_230288]))], (6715 ^ _35368) ^ [] : [-(icext(_230288, 6711 ^ [_230288]))], (6717 ^ _35368) ^ [] : [6710 ^ [_230288] = 6711 ^ [_230288]]]], (6689 ^ _35368) ^ [_229790] : [iext(uri_owl_hasKey, _229790, uri_rdf_nil), 6692 ^ _35368 : [(6693 ^ _35368) ^ [] : [-(ic(_229790))], (6695 ^ _35368) ^ [_230018, _230020] : [-(_230020 = _230018), icext(_229790, _230020), icext(_229790, _230018)]]], (6721 ^ _35368) ^ [_230891, _230893, _230895] : [iext(uri_rdf_first, _230893, _230891), iext(uri_rdf_rest, _230893, uri_rdf_nil), 6728 ^ _35368 : [(6755 ^ _35368) ^ [] : [-(iext(uri_owl_hasKey, _230895, _230893)), ic(_230895), ip(_230891), 6767 ^ _35368 : [(6768 ^ _35368) ^ [] : [-(icext(_230895, 6764 ^ [_230891, _230893, _230895]))], (6770 ^ _35368) ^ [] : [-(icext(_230895, 6765 ^ [_230891, _230893, _230895]))], (6772 ^ _35368) ^ [] : [-(iext(_230891, 6764 ^ [_230891, _230893, _230895], 6766 ^ [_230891, _230893, _230895]))], (6774 ^ _35368) ^ [] : [-(iext(_230891, 6765 ^ [_230891, _230893, _230895], 6766 ^ [_230891, _230893, _230895]))], (6776 ^ _35368) ^ [] : [6764 ^ [_230891, _230893, _230895] = 6765 ^ [_230891, _230893, _230895]]]], (6729 ^ _35368) ^ [] : [iext(uri_owl_hasKey, _230895, _230893), 6732 ^ _35368 : [(6733 ^ _35368) ^ [] : [-(ic(_230895))], (6735 ^ _35368) ^ [] : [-(ip(_230891))], (6737 ^ _35368) ^ [_231451, _231453, _231455] : [-(_231455 = _231453), icext(_230895, _231455), icext(_230895, _231453), iext(_230891, _231455, _231451), iext(_230891, _231453, _231451)]]]]], (6780 ^ _35368) ^ [_233060, _233062, _233064, _233066, _233068] : [iext(uri_rdf_first, _233066, _233064), iext(uri_rdf_rest, _233066, _233062), iext(uri_rdf_first, _233062, _233060), iext(uri_rdf_rest, _233062, uri_rdf_nil), 6795 ^ _35368 : [(6832 ^ _35368) ^ [] : [-(iext(uri_owl_hasKey, _233068, _233066)), ic(_233068), ip(_233064), ip(_233060), 6849 ^ _35368 : [(6850 ^ _35368) ^ [] : [-(icext(_233068, 6845 ^ [_233060, _233062, _233064, _233066, _233068]))], (6852 ^ _35368) ^ [] : [-(icext(_233068, 6846 ^ [_233060, _233062, _233064, _233066, _233068]))], (6854 ^ _35368) ^ [] : [-(iext(_233064, 6845 ^ [_233060, _233062, _233064, _233066, _233068], 6847 ^ [_233060, _233062, _233064, _233066, _233068]))], (6856 ^ _35368) ^ [] : [-(iext(_233064, 6846 ^ [_233060, _233062, _233064, _233066, _233068], 6847 ^ [_233060, _233062, _233064, _233066, _233068]))], (6858 ^ _35368) ^ [] : [-(iext(_233060, 6845 ^ [_233060, _233062, _233064, _233066, _233068], 6848 ^ [_233060, _233062, _233064, _233066, _233068]))], (6860 ^ _35368) ^ [] : [-(iext(_233060, 6846 ^ [_233060, _233062, _233064, _233066, _233068], 6848 ^ [_233060, _233062, _233064, _233066, _233068]))], (6862 ^ _35368) ^ [] : [6845 ^ [_233060, _233062, _233064, _233066, _233068] = 6846 ^ [_233060, _233062, _233064, _233066, _233068]]]], (6796 ^ _35368) ^ [] : [iext(uri_owl_hasKey, _233068, _233066), 6799 ^ _35368 : [(6800 ^ _35368) ^ [] : [-(ic(_233068))], (6802 ^ _35368) ^ [] : [-(ip(_233064))], (6804 ^ _35368) ^ [] : [-(ip(_233060))], (6806 ^ _35368) ^ [_233967, _233969, _233971, _233973] : [-(_233973 = _233971), icext(_233068, _233973), icext(_233068, _233971), iext(_233064, _233973, _233969), iext(_233064, _233971, _233969), iext(_233060, _233973, _233967), iext(_233060, _233971, _233967)]]]]], (6866 ^ _35368) ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677] : [iext(uri_rdf_first, _236675, _236673), iext(uri_rdf_rest, _236675, _236671), iext(uri_rdf_first, _236671, _236669), iext(uri_rdf_rest, _236671, _236667), iext(uri_rdf_first, _236667, _236665), iext(uri_rdf_rest, _236667, uri_rdf_nil), 6889 ^ _35368 : [(6936 ^ _35368) ^ [] : [-(iext(uri_owl_hasKey, _236677, _236675)), ic(_236677), ip(_236673), ip(_236669), ip(_236665), 6958 ^ _35368 : [(6959 ^ _35368) ^ [] : [-(icext(_236677, 6953 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6961 ^ _35368) ^ [] : [-(icext(_236677, 6954 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6963 ^ _35368) ^ [] : [-(iext(_236673, 6953 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6955 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6965 ^ _35368) ^ [] : [-(iext(_236673, 6954 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6955 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6967 ^ _35368) ^ [] : [-(iext(_236669, 6953 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6956 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6969 ^ _35368) ^ [] : [-(iext(_236669, 6954 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6956 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6971 ^ _35368) ^ [] : [-(iext(_236665, 6953 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6957 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6973 ^ _35368) ^ [] : [-(iext(_236665, 6954 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677], 6957 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]))], (6975 ^ _35368) ^ [] : [6953 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677] = 6954 ^ [_236665, _236667, _236669, _236671, _236673, _236675, _236677]]]], (6890 ^ _35368) ^ [] : [iext(uri_owl_hasKey, _236677, _236675), 6893 ^ _35368 : [(6894 ^ _35368) ^ [] : [-(ic(_236677))], (6896 ^ _35368) ^ [] : [-(ip(_236673))], (6898 ^ _35368) ^ [] : [-(ip(_236669))], (6900 ^ _35368) ^ [] : [-(ip(_236665))], (6902 ^ _35368) ^ [_237959, _237961, _237963, _237965, _237967] : [-(_237967 = _237965), icext(_236677, _237967), icext(_236677, _237965), iext(_236673, _237967, _237963), iext(_236673, _237965, _237963), iext(_236669, _237967, _237961), iext(_236669, _237965, _237961), iext(_236665, _237967, _237959), iext(_236665, _237965, _237959)]]]]], (6979 ^ _35368) ^ [_242029, _242031, _242033] : [6995 ^ _35368 : [(6996 ^ _35368) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_242029, _242031, _242033], _242031))], (6998 ^ _35368) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_242029, _242031, _242033], _242033))], (7000 ^ _35368) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_242029, _242031, _242033], _242029))]], ir(_242031), iodp(_242033), lv(_242029), -(iext(_242033, _242031, _242029))], (7002 ^ _35368) ^ [_242806, _242808, _242810, _242812] : [7013 ^ _35368 : [(7014 ^ _35368) ^ [] : [-(iodp(_242810))], (7016 ^ _35368) ^ [] : [iext(_242810, _242808, _242806)]], iext(uri_owl_sourceIndividual, _242812, _242808), iext(uri_owl_assertionProperty, _242812, _242810), iext(uri_owl_targetValue, _242812, _242806)], (7018 ^ _35368) ^ [_243322, _243324, _243326] : [7034 ^ _35368 : [(7035 ^ _35368) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_243322, _243324, _243326], _243324))], (7037 ^ _35368) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_243322, _243324, _243326], _243326))], (7039 ^ _35368) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_243322, _243324, _243326], _243322))]], ir(_243324), ip(_243326), ir(_243322), -(iext(_243326, _243324, _243322))], (7041 ^ _35368) ^ [_244099, _244101, _244103, _244105] : [iext(_244103, _244101, _244099), iext(uri_owl_sourceIndividual, _244105, _244101), iext(uri_owl_assertionProperty, _244105, _244103), iext(uri_owl_targetIndividual, _244105, _244099)], (7055 ^ _35368) ^ [_244510] : [icext(uri_xsd_anyURI, _244510), -(lv(_244510))], (7061 ^ _35368) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35368) ^ [_244751] : [icext(uri_xsd_base64Binary, _244751), -(lv(_244751))], (7069 ^ _35368) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35368) ^ [_244992] : [icext(uri_xsd_boolean, _244992), -(lv(_244992))], (7077 ^ _35368) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35368) ^ [_245233] : [icext(uri_xsd_byte, _245233), -(lv(_245233))], (7085 ^ _35368) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35368) ^ [_245474] : [icext(uri_xsd_dateTime, _245474), -(lv(_245474))], (7093 ^ _35368) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35368) ^ [_245715] : [icext(uri_xsd_dateTimeStamp, _245715), -(lv(_245715))], (7101 ^ _35368) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35368) ^ [_245956] : [icext(uri_xsd_decimal, _245956), -(lv(_245956))], (7109 ^ _35368) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35368) ^ [_246197] : [icext(uri_xsd_double, _246197), -(lv(_246197))], (7117 ^ _35368) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35368) ^ [_246438] : [icext(uri_xsd_float, _246438), -(lv(_246438))], (7125 ^ _35368) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35368) ^ [_246679] : [icext(uri_xsd_hexBinary, _246679), -(lv(_246679))], (7133 ^ _35368) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35368) ^ [_246920] : [icext(uri_xsd_int, _246920), -(lv(_246920))], (7141 ^ _35368) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35368) ^ [_247161] : [icext(uri_xsd_integer, _247161), -(lv(_247161))], (7149 ^ _35368) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35368) ^ [_247402] : [icext(uri_xsd_language, _247402), -(lv(_247402))], (7157 ^ _35368) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35368) ^ [_247643] : [icext(uri_xsd_long, _247643), -(lv(_247643))], (7165 ^ _35368) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35368) ^ [_247884] : [icext(uri_xsd_Name, _247884), -(lv(_247884))], (7173 ^ _35368) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35368) ^ [_248125] : [icext(uri_xsd_NCName, _248125), -(lv(_248125))], (7181 ^ _35368) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35368) ^ [_248366] : [icext(uri_xsd_negativeInteger, _248366), -(lv(_248366))], (7189 ^ _35368) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35368) ^ [_248607] : [icext(uri_xsd_NMTOKEN, _248607), -(lv(_248607))], (7197 ^ _35368) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35368) ^ [_248848] : [icext(uri_xsd_nonNegativeInteger, _248848), -(lv(_248848))], (7205 ^ _35368) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35368) ^ [_249089] : [icext(uri_xsd_nonPositiveInteger, _249089), -(lv(_249089))], (7213 ^ _35368) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35368) ^ [_249330] : [icext(uri_xsd_normalizedString, _249330), -(lv(_249330))], (7221 ^ _35368) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35368) ^ [_249571] : [icext(uri_rdf_PlainLiteral, _249571), -(lv(_249571))], (7229 ^ _35368) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35368) ^ [_249812] : [icext(uri_xsd_positiveInteger, _249812), -(lv(_249812))], (7237 ^ _35368) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35368) ^ [_250053] : [icext(uri_owl_rational, _250053), -(lv(_250053))], (7245 ^ _35368) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35368) ^ [_250294] : [icext(uri_owl_real, _250294), -(lv(_250294))], (7253 ^ _35368) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35368) ^ [_250535] : [icext(uri_xsd_short, _250535), -(lv(_250535))], (7261 ^ _35368) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35368) ^ [_250776] : [icext(uri_xsd_string, _250776), -(lv(_250776))], (7269 ^ _35368) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35368) ^ [_251017] : [icext(uri_xsd_token, _251017), -(lv(_251017))], (7277 ^ _35368) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35368) ^ [_251258] : [icext(uri_xsd_unsignedByte, _251258), -(lv(_251258))], (7285 ^ _35368) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35368) ^ [_251499] : [icext(uri_xsd_unsignedInt, _251499), -(lv(_251499))], (7293 ^ _35368) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35368) ^ [_251740] : [icext(uri_xsd_unsignedLong, _251740), -(lv(_251740))], (7301 ^ _35368) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35368) ^ [_251981] : [icext(uri_xsd_unsignedShort, _251981), -(lv(_251981))], (7309 ^ _35368) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35368) ^ [_252222] : [icext(uri_rdf_XMLLiteral, _252222), -(lv(_252222))], (7317 ^ _35368) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35368) ^ [_252463] : [icext(uri_xsd_anyURI, _252463), icext(uri_xsd_base64Binary, _252463)], (7325 ^ _35368) ^ [_252652] : [icext(uri_xsd_anyURI, _252652), icext(uri_xsd_boolean, _252652)], (7331 ^ _35368) ^ [_252841] : [icext(uri_xsd_anyURI, _252841), icext(uri_xsd_dateTime, _252841)], (7337 ^ _35368) ^ [_253030] : [icext(uri_xsd_anyURI, _253030), icext(uri_xsd_double, _253030)], (7343 ^ _35368) ^ [_253219] : [icext(uri_xsd_anyURI, _253219), icext(uri_xsd_float, _253219)], (7349 ^ _35368) ^ [_253408] : [icext(uri_xsd_anyURI, _253408), icext(uri_xsd_hexBinary, _253408)], (7355 ^ _35368) ^ [_253597] : [icext(uri_xsd_anyURI, _253597), icext(uri_rdf_PlainLiteral, _253597)], (7361 ^ _35368) ^ [_253786] : [icext(uri_xsd_anyURI, _253786), icext(uri_owl_real, _253786)], (7367 ^ _35368) ^ [_253975] : [icext(uri_xsd_anyURI, _253975), icext(uri_rdf_XMLLiteral, _253975)], (7373 ^ _35368) ^ [_254164] : [icext(uri_xsd_base64Binary, _254164), icext(uri_xsd_boolean, _254164)], (7379 ^ _35368) ^ [_254353] : [icext(uri_xsd_base64Binary, _254353), icext(uri_xsd_dateTime, _254353)], (7385 ^ _35368) ^ [_254542] : [icext(uri_xsd_base64Binary, _254542), icext(uri_xsd_double, _254542)], (7391 ^ _35368) ^ [_254731] : [icext(uri_xsd_base64Binary, _254731), icext(uri_xsd_float, _254731)], (7397 ^ _35368) ^ [_254920] : [icext(uri_xsd_base64Binary, _254920), icext(uri_xsd_hexBinary, _254920)], (7403 ^ _35368) ^ [_255109] : [icext(uri_xsd_base64Binary, _255109), icext(uri_rdf_PlainLiteral, _255109)], (7409 ^ _35368) ^ [_255298] : [icext(uri_xsd_base64Binary, _255298), icext(uri_owl_real, _255298)], (7415 ^ _35368) ^ [_255487] : [icext(uri_xsd_base64Binary, _255487), icext(uri_rdf_XMLLiteral, _255487)], (7421 ^ _35368) ^ [_255676] : [icext(uri_xsd_boolean, _255676), icext(uri_xsd_dateTime, _255676)], (7427 ^ _35368) ^ [_255865] : [icext(uri_xsd_boolean, _255865), icext(uri_xsd_double, _255865)], (7433 ^ _35368) ^ [_256054] : [icext(uri_xsd_boolean, _256054), icext(uri_xsd_float, _256054)], (7439 ^ _35368) ^ [_256243] : [icext(uri_xsd_boolean, _256243), icext(uri_xsd_hexBinary, _256243)], (7445 ^ _35368) ^ [_256432] : [icext(uri_xsd_boolean, _256432), icext(uri_rdf_PlainLiteral, _256432)], (7451 ^ _35368) ^ [_256621] : [icext(uri_xsd_boolean, _256621), icext(uri_owl_real, _256621)], (7457 ^ _35368) ^ [_256810] : [icext(uri_xsd_boolean, _256810), icext(uri_rdf_XMLLiteral, _256810)], (7463 ^ _35368) ^ [_256999] : [icext(uri_xsd_dateTime, _256999), icext(uri_xsd_double, _256999)], (7469 ^ _35368) ^ [_257188] : [icext(uri_xsd_dateTime, _257188), icext(uri_xsd_float, _257188)], (7475 ^ _35368) ^ [_257377] : [icext(uri_xsd_dateTime, _257377), icext(uri_xsd_hexBinary, _257377)], (7481 ^ _35368) ^ [_257566] : [icext(uri_xsd_dateTime, _257566), icext(uri_rdf_PlainLiteral, _257566)], (7487 ^ _35368) ^ [_257755] : [icext(uri_xsd_dateTime, _257755), icext(uri_owl_real, _257755)], (7493 ^ _35368) ^ [_257944] : [icext(uri_xsd_dateTime, _257944), icext(uri_rdf_XMLLiteral, _257944)], (7499 ^ _35368) ^ [_258133] : [icext(uri_xsd_double, _258133), icext(uri_xsd_float, _258133)], (7505 ^ _35368) ^ [_258322] : [icext(uri_xsd_double, _258322), icext(uri_xsd_hexBinary, _258322)], (7511 ^ _35368) ^ [_258511] : [icext(uri_xsd_double, _258511), icext(uri_rdf_PlainLiteral, _258511)], (7517 ^ _35368) ^ [_258700] : [icext(uri_xsd_double, _258700), icext(uri_owl_real, _258700)], (7523 ^ _35368) ^ [_258889] : [icext(uri_xsd_double, _258889), icext(uri_rdf_XMLLiteral, _258889)], (7529 ^ _35368) ^ [_259078] : [icext(uri_xsd_float, _259078), icext(uri_xsd_hexBinary, _259078)], (7535 ^ _35368) ^ [_259267] : [icext(uri_xsd_float, _259267), icext(uri_rdf_PlainLiteral, _259267)], (7541 ^ _35368) ^ [_259456] : [icext(uri_xsd_float, _259456), icext(uri_owl_real, _259456)], (7547 ^ _35368) ^ [_259645] : [icext(uri_xsd_float, _259645), icext(uri_rdf_XMLLiteral, _259645)], (7553 ^ _35368) ^ [_259834] : [icext(uri_xsd_hexBinary, _259834), icext(uri_rdf_PlainLiteral, _259834)], (7559 ^ _35368) ^ [_260023] : [icext(uri_xsd_hexBinary, _260023), icext(uri_owl_real, _260023)], (7565 ^ _35368) ^ [_260212] : [icext(uri_xsd_hexBinary, _260212), icext(uri_rdf_XMLLiteral, _260212)], (7571 ^ _35368) ^ [_260401] : [icext(uri_rdf_PlainLiteral, _260401), icext(uri_owl_real, _260401)], (7577 ^ _35368) ^ [_260590] : [icext(uri_rdf_PlainLiteral, _260590), icext(uri_rdf_XMLLiteral, _260590)], (7583 ^ _35368) ^ [_260779] : [icext(uri_owl_real, _260779), icext(uri_rdf_XMLLiteral, _260779)], (7589 ^ _35368) ^ [_260968] : [icext(uri_xsd_byte, _260968), -(icext(uri_xsd_short, _260968))], (7595 ^ _35368) ^ [_261158] : [icext(uri_xsd_dateTimeStamp, _261158), -(icext(uri_xsd_dateTime, _261158))], (7601 ^ _35368) ^ [_261348] : [icext(uri_xsd_decimal, _261348), -(icext(uri_owl_rational, _261348))], (7607 ^ _35368) ^ [_261538] : [icext(uri_xsd_int, _261538), -(icext(uri_xsd_long, _261538))], (7613 ^ _35368) ^ [_261728] : [icext(uri_xsd_integer, _261728), -(icext(uri_xsd_decimal, _261728))], (7619 ^ _35368) ^ [_261918] : [icext(uri_xsd_language, _261918), -(icext(uri_xsd_token, _261918))], (7625 ^ _35368) ^ [_262108] : [icext(uri_xsd_long, _262108), -(icext(uri_xsd_integer, _262108))], (7631 ^ _35368) ^ [_262298] : [icext(uri_xsd_Name, _262298), -(icext(uri_xsd_token, _262298))], (7637 ^ _35368) ^ [_262488] : [icext(uri_xsd_NCName, _262488), -(icext(uri_xsd_Name, _262488))], (7643 ^ _35368) ^ [_262678] : [icext(uri_xsd_negativeInteger, _262678), -(icext(uri_xsd_nonPositiveInteger, _262678))], (7649 ^ _35368) ^ [_262868] : [icext(uri_xsd_NMTOKEN, _262868), -(icext(uri_xsd_token, _262868))], (7655 ^ _35368) ^ [_263058] : [icext(uri_xsd_nonNegativeInteger, _263058), -(icext(uri_xsd_integer, _263058))], (7661 ^ _35368) ^ [_263248] : [icext(uri_xsd_nonPositiveInteger, _263248), -(icext(uri_xsd_integer, _263248))], (7667 ^ _35368) ^ [_263438] : [icext(uri_xsd_normalizedString, _263438), -(icext(uri_xsd_string, _263438))], (7673 ^ _35368) ^ [_263628] : [icext(uri_xsd_positiveInteger, _263628), -(icext(uri_xsd_nonNegativeInteger, _263628))], (7679 ^ _35368) ^ [_263818] : [icext(uri_owl_rational, _263818), -(icext(uri_owl_real, _263818))], (7685 ^ _35368) ^ [_264008] : [icext(uri_xsd_short, _264008), -(icext(uri_xsd_int, _264008))], (7691 ^ _35368) ^ [_264198] : [icext(uri_xsd_string, _264198), -(icext(uri_rdf_PlainLiteral, _264198))], (7697 ^ _35368) ^ [_264388] : [icext(uri_xsd_token, _264388), -(icext(uri_xsd_normalizedString, _264388))], (7703 ^ _35368) ^ [_264578] : [icext(uri_xsd_unsignedByte, _264578), -(icext(uri_xsd_unsignedShort, _264578))], (7709 ^ _35368) ^ [_264768] : [icext(uri_xsd_unsignedInt, _264768), -(icext(uri_xsd_unsignedLong, _264768))], (7715 ^ _35368) ^ [_264958] : [icext(uri_xsd_unsignedLong, _264958), -(icext(uri_xsd_nonNegativeInteger, _264958))], (7721 ^ _35368) ^ [_265148] : [icext(uri_xsd_unsignedShort, _265148), -(icext(uri_xsd_unsignedInt, _265148))], (7727 ^ _35368) ^ [_265352, _265354] : [iext(uri_rdf_langRange, _265354, _265352), 7730 ^ _35368 : [(7731 ^ _35368) ^ [] : [-(ir(_265354))], (7733 ^ _35368) ^ [] : [-(lv(_265352))]]], (7735 ^ _35368) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35368) ^ [_265688, _265690] : [iext(uri_xsd_length, _265690, _265688), 7740 ^ _35368 : [(7741 ^ _35368) ^ [] : [-(ir(_265690))], (7743 ^ _35368) ^ [] : [-(lv(_265688))]]], (7745 ^ _35368) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35368) ^ [_266024, _266026] : [iext(uri_xsd_maxExclusive, _266026, _266024), 7750 ^ _35368 : [(7751 ^ _35368) ^ [] : [-(ir(_266026))], (7753 ^ _35368) ^ [] : [-(lv(_266024))]]], (7755 ^ _35368) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35368) ^ [_266360, _266362] : [iext(uri_xsd_maxInclusive, _266362, _266360), 7760 ^ _35368 : [(7761 ^ _35368) ^ [] : [-(ir(_266362))], (7763 ^ _35368) ^ [] : [-(lv(_266360))]]], (7765 ^ _35368) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35368) ^ [_266696, _266698] : [iext(uri_xsd_maxLength, _266698, _266696), 7770 ^ _35368 : [(7771 ^ _35368) ^ [] : [-(ir(_266698))], (7773 ^ _35368) ^ [] : [-(lv(_266696))]]], (7775 ^ _35368) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35368) ^ [_267032, _267034] : [iext(uri_xsd_minExclusive, _267034, _267032), 7780 ^ _35368 : [(7781 ^ _35368) ^ [] : [-(ir(_267034))], (7783 ^ _35368) ^ [] : [-(lv(_267032))]]], (7785 ^ _35368) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35368) ^ [_267368, _267370] : [iext(uri_xsd_minInclusive, _267370, _267368), 7790 ^ _35368 : [(7791 ^ _35368) ^ [] : [-(ir(_267370))], (7793 ^ _35368) ^ [] : [-(lv(_267368))]]], (7795 ^ _35368) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35368) ^ [_267704, _267706] : [iext(uri_xsd_minLength, _267706, _267704), 7800 ^ _35368 : [(7801 ^ _35368) ^ [] : [-(ir(_267706))], (7803 ^ _35368) ^ [] : [-(lv(_267704))]]], (7805 ^ _35368) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35368) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35368) ^ [_268040, _268042] : [iext(uri_xsd_pattern, _268042, _268040), 7810 ^ _35368 : [(7811 ^ _35368) ^ [] : [-(ir(_268042))], (7813 ^ _35368) ^ [] : [-(lv(_268040))]]]], input).
% 1.78/2.44  ncf('1',plain,[iext(uri_owl_disjointWith, uri_owl_Class, uri_owl_ObjectProperty), 5400 : icext(uri_owl_Class, uri_ex_x), 5400 : icext(uri_owl_ObjectProperty, uri_ex_x)],start(5392 ^ 0,bind([[_184463, _184465, _184744], [uri_owl_ObjectProperty, uri_owl_Class, uri_ex_x]]))).
% 1.78/2.44  ncf('1.1',plain,[-(iext(uri_owl_disjointWith, uri_owl_Class, uri_owl_ObjectProperty))],extension(7817 ^ 1)).
% 1.78/2.44  ncf('1.2',plain,[-(icext(uri_owl_Class, uri_ex_x)), iext(uri_rdf_type, uri_ex_x, uri_owl_Class)],extension(218 ^ 3,bind([[_38094, _38096], [uri_owl_Class, uri_ex_x]]))).
% 1.78/2.44  ncf('1.2.1',plain,[-(iext(uri_rdf_type, uri_ex_x, uri_owl_Class))],extension(7819 ^ 4)).
% 1.78/2.44  ncf('1.3',plain,[-(icext(uri_owl_ObjectProperty, uri_ex_x)), iext(uri_rdf_type, uri_ex_x, uri_owl_ObjectProperty)],extension(218 ^ 3,bind([[_38094, _38096], [uri_owl_ObjectProperty, uri_ex_x]]))).
% 1.78/2.44  ncf('1.3.1',plain,[-(iext(uri_rdf_type, uri_ex_x, uri_owl_ObjectProperty))],extension(7821 ^ 4)).
% 1.78/2.44  %-----------------------------------------------------
% 1.78/2.44  End of proof for negated /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------