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

% Computer : n006.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:33 EDT 2023

% Result   : Unsatisfiable 1.85s 2.42s
% Output   : Proof 1.85s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : SWB019+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n006.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 20:57:51 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 1.85/2.42  
% 1.85/2.42  /export/starexec/sandbox2/benchmark/theBenchmark.p is Unsatisfiable
% 1.85/2.42  Start of proof for negated /export/starexec/sandbox2/benchmark/theBenchmark.p
% 1.85/2.42  %-----------------------------------------------------
% 1.85/2.42  ncf(matrix, plain, [(152 ^ _35454) ^ [_37468, _37470] : [_37470 = _37468, -(literal_plain(_37470) = literal_plain(_37468))], (142 ^ _35454) ^ [_37323, _37325, _37327, _37329] : [-(literal_typed(_37329, _37325) = literal_typed(_37327, _37323)), _37329 = _37327, _37325 = _37323], (2 ^ _35454) ^ [_35481] : [-(_35481 = _35481)], (4 ^ _35454) ^ [_35504, _35506] : [_35506 = _35504, -(_35504 = _35506)], (10 ^ _35454) ^ [_35577, _35579, _35581] : [-(_35581 = _35577), _35581 = _35579, _35579 = _35577], (20 ^ _35454) ^ [_35714, _35716] : [-(ioap(_35714)), _35716 = _35714, ioap(_35716)], (30 ^ _35454) ^ [_35839, _35841] : [-(ix(_35839)), _35841 = _35839, ix(_35841)], (40 ^ _35454) ^ [_35964, _35966] : [-(ioxp(_35964)), _35966 = _35964, ioxp(_35966)], (50 ^ _35454) ^ [_36089, _36091] : [-(ic(_36089)), _36091 = _36089, ic(_36091)], (60 ^ _35454) ^ [_36214, _36216] : [-(ip(_36214)), _36216 = _36214, ip(_36216)], (70 ^ _35454) ^ [_36339, _36341] : [-(idc(_36339)), _36341 = _36339, idc(_36341)], (80 ^ _35454) ^ [_36464, _36466, _36468, _36470] : [-(icext(_36468, _36464)), icext(_36470, _36466), _36470 = _36468, _36466 = _36464], (94 ^ _35454) ^ [_36657, _36659] : [-(ir(_36657)), _36659 = _36657, ir(_36659)], (104 ^ _35454) ^ [_36782, _36784] : [-(lv(_36782)), _36784 = _36782, lv(_36784)], (114 ^ _35454) ^ [_36907, _36909] : [-(iodp(_36907)), _36909 = _36907, iodp(_36909)], (124 ^ _35454) ^ [_37028, _37030, _37032, _37034, _37036, _37038] : [-(iext(_37036, _37032, _37028)), iext(_37038, _37034, _37030), _37038 = _37036, _37034 = _37032, _37030 = _37028], (7823 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_skos_prefLabel, uri_owl_AnnotationProperty))], (7825 ^ _35454) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_skos_prefLabel, uri_rdfs_label))], (7827 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_skos_altLabel, uri_owl_AnnotationProperty))], (7829 ^ _35454) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_skos_altLabel, uri_rdfs_label))], (7831 ^ _35454) ^ [] : [-(iext(uri_owl_propertyDisjointWith, uri_skos_prefLabel, uri_skos_altLabel))], (7833 ^ _35454) ^ [] : [-(iext(uri_skos_prefLabel, uri_ex_foo, literal_plain(dat_str_foo)))], (7835 ^ _35454) ^ [] : [-(iext(uri_skos_altLabel, uri_ex_foo, literal_plain(dat_str_foo)))], (158 ^ _35454) ^ [_37560, _37562, _37564] : [iext(_37562, _37564, _37560), -(ip(_37562))], (164 ^ _35454) ^ [_37639] : [-(ir(_37639))], (166 ^ _35454) ^ [_37661] : [lv(_37661), -(ir(_37661))], (172 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (174 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (176 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (178 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (180 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (182 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (184 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (186 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (188 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (190 ^ _35454) ^ [_37906] : [iext(uri_rdf_type, _37906, uri_rdf_Property), -(ip(_37906))], (196 ^ _35454) ^ [_37977] : [ip(_37977), -(iext(uri_rdf_type, _37977, uri_rdf_Property))], (202 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (204 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (206 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (208 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (210 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (212 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (214 ^ _35454) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (216 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (218 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (220 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (222 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (224 ^ _35454) ^ [_38267, _38269] : [iext(uri_rdf_type, _38269, _38267), -(icext(_38267, _38269))], (230 ^ _35454) ^ [_38342, _38344] : [icext(_38342, _38344), -(iext(uri_rdf_type, _38344, _38342))], (236 ^ _35454) ^ [_38423] : [ic(_38423), -(iext(uri_rdfs_subClassOf, _38423, uri_rdfs_Resource))], (242 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (244 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (246 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (248 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (250 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (252 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (254 ^ _35454) ^ [_38606] : [icext(uri_rdfs_ContainerMembershipProperty, _38606), -(iext(uri_rdfs_subPropertyOf, _38606, uri_rdfs_member))], (260 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (262 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (264 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (266 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (274 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (276 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (278 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (280 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (282 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (284 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (286 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (288 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (290 ^ _35454) ^ [_38953] : [icext(uri_rdfs_Datatype, _38953), -(iext(uri_rdfs_subClassOf, _38953, uri_rdfs_Literal))], (296 ^ _35454) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (298 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (300 ^ _35454) ^ [_39066, _39068, _39070, _39072] : [-(icext(_39070, _39068)), iext(uri_rdfs_domain, _39072, _39070), iext(_39072, _39068, _39066)], (310 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (312 ^ _35454) ^ [_39237] : [ic(_39237), -(icext(uri_rdfs_Class, _39237))], (318 ^ _35454) ^ [_39306] : [icext(uri_rdfs_Class, _39306), -(ic(_39306))], (324 ^ _35454) ^ [_39393] : [ir(_39393), -(icext(uri_rdfs_Resource, _39393))], (330 ^ _35454) ^ [_39462] : [icext(uri_rdfs_Resource, _39462), -(ir(_39462))], (336 ^ _35454) ^ [_39549] : [lv(_39549), -(icext(uri_rdfs_Literal, _39549))], (342 ^ _35454) ^ [_39618] : [icext(uri_rdfs_Literal, _39618), -(lv(_39618))], (348 ^ _35454) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (350 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (352 ^ _35454) ^ [_39729, _39731, _39733, _39735] : [-(icext(_39733, _39729)), iext(uri_rdfs_range, _39735, _39733), iext(_39735, _39731, _39729)], (362 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (364 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (366 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (368 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (370 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (372 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (374 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (376 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (378 ^ _35454) ^ [_40014, _40016] : [iext(uri_rdfs_subClassOf, _40016, _40014), 381 ^ _35454 : [(382 ^ _35454) ^ [] : [-(ic(_40016))], (384 ^ _35454) ^ [] : [-(ic(_40014))], (386 ^ _35454) ^ [_40129] : [icext(_40016, _40129), -(icext(_40014, _40129))]]], (392 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (394 ^ _35454) ^ [_40234] : [ic(_40234), -(iext(uri_rdfs_subClassOf, _40234, _40234))], (400 ^ _35454) ^ [_40309, _40311, _40313] : [-(iext(uri_rdfs_subClassOf, _40313, _40309)), iext(uri_rdfs_subClassOf, _40313, _40311), iext(uri_rdfs_subClassOf, _40311, _40309)], (410 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (412 ^ _35454) ^ [_40466, _40468] : [iext(uri_rdfs_subPropertyOf, _40468, _40466), 415 ^ _35454 : [(416 ^ _35454) ^ [] : [-(ip(_40468))], (418 ^ _35454) ^ [] : [-(ip(_40466))], (420 ^ _35454) ^ [_40588, _40590] : [iext(_40468, _40590, _40588), -(iext(_40466, _40590, _40588))]]], (426 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (428 ^ _35454) ^ [_40699] : [ip(_40699), -(iext(uri_rdfs_subPropertyOf, _40699, _40699))], (434 ^ _35454) ^ [_40774, _40776, _40778] : [-(iext(uri_rdfs_subPropertyOf, _40778, _40774)), iext(uri_rdfs_subPropertyOf, _40778, _40776), iext(uri_rdfs_subPropertyOf, _40776, _40774)], (444 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (446 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (448 ^ _35454) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (450 ^ _35454) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (452 ^ _35454) ^ [_40985] : [ic(_40985), 455 ^ _35454 : [(456 ^ _35454) ^ [_41043] : [icext(_40985, _41043), -(ir(_41043))]]], (462 ^ _35454) ^ [_41122] : [ic(_41122), -(ir(_41122))], (468 ^ _35454) ^ [_41205] : [ic(_41205), -(iext(uri_rdf_type, _41205, uri_rdfs_Class))], (474 ^ _35454) ^ [_41276] : [iext(uri_rdf_type, _41276, uri_rdfs_Class), -(ic(_41276))], (480 ^ _35454) ^ [_41353] : [idc(_41353), 483 ^ _35454 : [(484 ^ _35454) ^ [_41411] : [icext(_41353, _41411), -(lv(_41411))]]], (490 ^ _35454) ^ [_41490] : [idc(_41490), -(ic(_41490))], (496 ^ _35454) ^ [_41573] : [idc(_41573), -(iext(uri_rdf_type, _41573, uri_rdfs_Datatype))], (502 ^ _35454) ^ [_41644] : [iext(uri_rdf_type, _41644, uri_rdfs_Datatype), -(idc(_41644))], (508 ^ _35454) ^ [_41721] : [ioap(_41721), 511 ^ _35454 : [(512 ^ _35454) ^ [_41790, _41792] : [iext(_41721, _41792, _41790), 515 ^ _35454 : [(516 ^ _35454) ^ [] : [-(ir(_41792))], (518 ^ _35454) ^ [] : [-(ir(_41790))]]]]], (520 ^ _35454) ^ [_41897] : [ioap(_41897), -(ip(_41897))], (526 ^ _35454) ^ [_41980] : [ioap(_41980), -(iext(uri_rdf_type, _41980, uri_owl_AnnotationProperty))], (532 ^ _35454) ^ [_42051] : [iext(uri_rdf_type, _42051, uri_owl_AnnotationProperty), -(ioap(_42051))], (538 ^ _35454) ^ [_42128] : [iodp(_42128), 541 ^ _35454 : [(542 ^ _35454) ^ [_42197, _42199] : [iext(_42128, _42199, _42197), 545 ^ _35454 : [(546 ^ _35454) ^ [] : [-(ir(_42199))], (548 ^ _35454) ^ [] : [-(lv(_42197))]]]]], (550 ^ _35454) ^ [_42304] : [iodp(_42304), -(ip(_42304))], (556 ^ _35454) ^ [_42387] : [iodp(_42387), -(iext(uri_rdf_type, _42387, uri_owl_DatatypeProperty))], (562 ^ _35454) ^ [_42458] : [iext(uri_rdf_type, _42458, uri_owl_DatatypeProperty), -(iodp(_42458))], (568 ^ _35454) ^ [_42535] : [ioxp(_42535), 571 ^ _35454 : [(572 ^ _35454) ^ [_42604, _42606] : [iext(_42535, _42606, _42604), 575 ^ _35454 : [(576 ^ _35454) ^ [] : [-(ix(_42606))], (578 ^ _35454) ^ [] : [-(ix(_42604))]]]]], (580 ^ _35454) ^ [_42711] : [ioxp(_42711), -(ip(_42711))], (586 ^ _35454) ^ [_42794] : [ioxp(_42794), -(iext(uri_rdf_type, _42794, uri_owl_OntologyProperty))], (592 ^ _35454) ^ [_42865] : [iext(uri_rdf_type, _42865, uri_owl_OntologyProperty), -(ioxp(_42865))], (598 ^ _35454) ^ [_42942] : [ip(_42942), 601 ^ _35454 : [(602 ^ _35454) ^ [_43011, _43013] : [iext(_42942, _43013, _43011), 605 ^ _35454 : [(606 ^ _35454) ^ [] : [-(ir(_43013))], (608 ^ _35454) ^ [] : [-(ir(_43011))]]]]], (610 ^ _35454) ^ [_43118] : [ip(_43118), -(ir(_43118))], (616 ^ _35454) ^ [_43201] : [ip(_43201), -(iext(uri_rdf_type, _43201, uri_rdf_Property))], (622 ^ _35454) ^ [_43272] : [iext(uri_rdf_type, _43272, uri_rdf_Property), -(ip(_43272))], (629 ^ _35454) ^ [] : [-(ir(627 ^ []))], (631 ^ _35454) ^ [_43385] : [ir(_43385), -(iext(uri_rdf_type, _43385, uri_rdfs_Resource))], (637 ^ _35454) ^ [_43456] : [iext(uri_rdf_type, _43456, uri_rdfs_Resource), -(ir(_43456))], (643 ^ _35454) ^ [_43533] : [ix(_43533), -(ir(_43533))], (649 ^ _35454) ^ [_43616] : [ix(_43616), -(iext(uri_rdf_type, _43616, uri_owl_Ontology))], (655 ^ _35454) ^ [_43687] : [iext(uri_rdf_type, _43687, uri_owl_Ontology), -(ix(_43687))], (661 ^ _35454) ^ [_43764] : [lv(_43764), -(ir(_43764))], (667 ^ _35454) ^ [_43847] : [lv(_43847), -(iext(uri_rdf_type, _43847, uri_rdfs_Literal))], (673 ^ _35454) ^ [_43918] : [iext(uri_rdf_type, _43918, uri_rdfs_Literal), -(lv(_43918))], (679 ^ _35454) ^ [_43995] : [icext(uri_owl_AllDifferent, _43995), -(ir(_43995))], (685 ^ _35454) ^ [] : [-(ic(uri_owl_AllDifferent))], (687 ^ _35454) ^ [_44086] : [icext(uri_owl_AllDisjointClasses, _44086), -(ir(_44086))], (693 ^ _35454) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (695 ^ _35454) ^ [_44177] : [icext(uri_owl_AllDisjointProperties, _44177), -(ir(_44177))], (701 ^ _35454) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (703 ^ _35454) ^ [_44268] : [icext(uri_owl_Annotation, _44268), -(ir(_44268))], (709 ^ _35454) ^ [] : [-(ic(uri_owl_Annotation))], (711 ^ _35454) ^ [_44371] : [icext(uri_owl_AnnotationProperty, _44371), -(ioap(_44371))], (717 ^ _35454) ^ [_44440] : [ioap(_44440), -(icext(uri_owl_AnnotationProperty, _44440))], (723 ^ _35454) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (725 ^ _35454) ^ [_44533] : [icext(uri_owl_AsymmetricProperty, _44533), -(ip(_44533))], (731 ^ _35454) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (733 ^ _35454) ^ [_44624] : [icext(uri_owl_Axiom, _44624), -(ir(_44624))], (739 ^ _35454) ^ [] : [-(ic(uri_owl_Axiom))], (741 ^ _35454) ^ [_44727] : [icext(uri_owl_Class, _44727), -(ic(_44727))], (747 ^ _35454) ^ [_44796] : [ic(_44796), -(icext(uri_owl_Class, _44796))], (753 ^ _35454) ^ [] : [-(ic(uri_owl_Class))], (755 ^ _35454) ^ [_44901] : [icext(uri_rdfs_Class, _44901), -(ic(_44901))], (761 ^ _35454) ^ [_44970] : [ic(_44970), -(icext(uri_rdfs_Class, _44970))], (767 ^ _35454) ^ [] : [-(ic(uri_rdfs_Class))], (769 ^ _35454) ^ [_45075] : [icext(uri_owl_DataRange, _45075), -(idc(_45075))], (775 ^ _35454) ^ [_45144] : [idc(_45144), -(icext(uri_owl_DataRange, _45144))], (781 ^ _35454) ^ [] : [-(ic(uri_owl_DataRange))], (783 ^ _35454) ^ [_45249] : [icext(uri_rdfs_Datatype, _45249), -(idc(_45249))], (789 ^ _35454) ^ [_45318] : [idc(_45318), -(icext(uri_rdfs_Datatype, _45318))], (795 ^ _35454) ^ [] : [-(ic(uri_rdfs_Datatype))], (797 ^ _35454) ^ [_45423] : [icext(uri_owl_DatatypeProperty, _45423), -(iodp(_45423))], (803 ^ _35454) ^ [_45492] : [iodp(_45492), -(icext(uri_owl_DatatypeProperty, _45492))], (809 ^ _35454) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (811 ^ _35454) ^ [_45585] : [icext(uri_owl_DeprecatedClass, _45585), -(ic(_45585))], (817 ^ _35454) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (819 ^ _35454) ^ [_45676] : [icext(uri_owl_DeprecatedProperty, _45676), -(ip(_45676))], (825 ^ _35454) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (827 ^ _35454) ^ [_45767] : [icext(uri_owl_FunctionalProperty, _45767), -(ip(_45767))], (833 ^ _35454) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (835 ^ _35454) ^ [_45858] : [icext(uri_owl_InverseFunctionalProperty, _45858), -(ip(_45858))], (841 ^ _35454) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (843 ^ _35454) ^ [_45949] : [icext(uri_owl_IrreflexiveProperty, _45949), -(ip(_45949))], (849 ^ _35454) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (851 ^ _35454) ^ [_46052] : [icext(uri_rdfs_Literal, _46052), -(lv(_46052))], (857 ^ _35454) ^ [_46121] : [lv(_46121), -(icext(uri_rdfs_Literal, _46121))], (863 ^ _35454) ^ [] : [-(idc(uri_rdfs_Literal))], (865 ^ _35454) ^ [_46214] : [icext(uri_owl_NamedIndividual, _46214), -(ir(_46214))], (871 ^ _35454) ^ [] : [-(ic(uri_owl_NamedIndividual))], (873 ^ _35454) ^ [_46305] : [icext(uri_owl_NegativePropertyAssertion, _46305), -(ir(_46305))], (879 ^ _35454) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (881 ^ _35454) ^ [_46405] : [icext(uri_owl_Nothing, _46405)], (883 ^ _35454) ^ [] : [-(ic(uri_owl_Nothing))], (885 ^ _35454) ^ [_46458] : [icext(uri_owl_ObjectProperty, _46458), -(ip(_46458))], (891 ^ _35454) ^ [_46527] : [ip(_46527), -(icext(uri_owl_ObjectProperty, _46527))], (897 ^ _35454) ^ [] : [-(ic(uri_owl_ObjectProperty))], (899 ^ _35454) ^ [_46632] : [icext(uri_owl_Ontology, _46632), -(ix(_46632))], (905 ^ _35454) ^ [_46701] : [ix(_46701), -(icext(uri_owl_Ontology, _46701))], (911 ^ _35454) ^ [] : [-(ic(uri_owl_Ontology))], (913 ^ _35454) ^ [_46806] : [icext(uri_owl_OntologyProperty, _46806), -(ioxp(_46806))], (919 ^ _35454) ^ [_46875] : [ioxp(_46875), -(icext(uri_owl_OntologyProperty, _46875))], (925 ^ _35454) ^ [] : [-(ic(uri_owl_OntologyProperty))], (927 ^ _35454) ^ [_46980] : [icext(uri_rdf_Property, _46980), -(ip(_46980))], (933 ^ _35454) ^ [_47049] : [ip(_47049), -(icext(uri_rdf_Property, _47049))], (939 ^ _35454) ^ [] : [-(ic(uri_rdf_Property))], (941 ^ _35454) ^ [_47142] : [icext(uri_owl_ReflexiveProperty, _47142), -(ip(_47142))], (947 ^ _35454) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (949 ^ _35454) ^ [_47245] : [icext(uri_rdfs_Resource, _47245), -(ir(_47245))], (955 ^ _35454) ^ [_47314] : [ir(_47314), -(icext(uri_rdfs_Resource, _47314))], (961 ^ _35454) ^ [] : [-(ic(uri_rdfs_Resource))], (963 ^ _35454) ^ [_47407] : [icext(uri_owl_Restriction, _47407), -(ic(_47407))], (969 ^ _35454) ^ [] : [-(ic(uri_owl_Restriction))], (971 ^ _35454) ^ [_47498] : [icext(uri_owl_SymmetricProperty, _47498), -(ip(_47498))], (977 ^ _35454) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (979 ^ _35454) ^ [_47601] : [icext(uri_owl_Thing, _47601), -(ir(_47601))], (985 ^ _35454) ^ [_47670] : [ir(_47670), -(icext(uri_owl_Thing, _47670))], (991 ^ _35454) ^ [] : [-(ic(uri_owl_Thing))], (993 ^ _35454) ^ [_47763] : [icext(uri_owl_TransitiveProperty, _47763), -(ip(_47763))], (999 ^ _35454) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (1001 ^ _35454) ^ [_47854, _47856] : [iext(uri_owl_allValuesFrom, _47856, _47854), 1004 ^ _35454 : [(1005 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _47856))], (1007 ^ _35454) ^ [] : [-(ic(_47854))]]], (1009 ^ _35454) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1011 ^ _35454) ^ [_47975, _47977] : [iext(uri_owl_annotatedProperty, _47977, _47975), 1014 ^ _35454 : [(1015 ^ _35454) ^ [] : [-(ir(_47977))], (1017 ^ _35454) ^ [] : [-(ir(_47975))]]], (1019 ^ _35454) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1021 ^ _35454) ^ [_48094, _48096] : [iext(uri_owl_annotatedSource, _48096, _48094), 1024 ^ _35454 : [(1025 ^ _35454) ^ [] : [-(ir(_48096))], (1027 ^ _35454) ^ [] : [-(ir(_48094))]]], (1029 ^ _35454) ^ [] : [-(ip(uri_owl_annotatedSource))], (1031 ^ _35454) ^ [_48213, _48215] : [iext(uri_owl_annotatedTarget, _48215, _48213), 1034 ^ _35454 : [(1035 ^ _35454) ^ [] : [-(ir(_48215))], (1037 ^ _35454) ^ [] : [-(ir(_48213))]]], (1039 ^ _35454) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1041 ^ _35454) ^ [_48332, _48334] : [iext(uri_owl_assertionProperty, _48334, _48332), 1044 ^ _35454 : [(1045 ^ _35454) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48334))], (1047 ^ _35454) ^ [] : [-(ip(_48332))]]], (1049 ^ _35454) ^ [] : [-(ip(uri_owl_assertionProperty))], (1051 ^ _35454) ^ [_48453, _48455] : [iext(uri_owl_backwardCompatibleWith, _48455, _48453), 1054 ^ _35454 : [(1055 ^ _35454) ^ [] : [-(ix(_48455))], (1057 ^ _35454) ^ [] : [-(ix(_48453))]]], (1059 ^ _35454) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1061 ^ _35454) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1063 ^ _35454) ^ [_48602, _48604] : [iext(uri_owl_bottomDataProperty, _48604, _48602)], (1065 ^ _35454) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1067 ^ _35454) ^ [_48658, _48660] : [iext(uri_owl_bottomObjectProperty, _48660, _48658)], (1069 ^ _35454) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1071 ^ _35454) ^ [_48702, _48704] : [iext(uri_owl_cardinality, _48704, _48702), 1074 ^ _35454 : [(1075 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _48704))], (1077 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48702))]]], (1079 ^ _35454) ^ [] : [-(ip(uri_owl_cardinality))], (1081 ^ _35454) ^ [_48825, _48827] : [iext(uri_rdfs_comment, _48827, _48825), 1084 ^ _35454 : [(1085 ^ _35454) ^ [] : [-(ir(_48827))], (1087 ^ _35454) ^ [] : [-(lv(_48825))]]], (1089 ^ _35454) ^ [] : [-(ioap(uri_rdfs_comment))], (1091 ^ _35454) ^ [_48944, _48946] : [iext(uri_owl_complementOf, _48946, _48944), 1094 ^ _35454 : [(1095 ^ _35454) ^ [] : [-(ic(_48946))], (1097 ^ _35454) ^ [] : [-(ic(_48944))]]], (1099 ^ _35454) ^ [] : [-(ip(uri_owl_complementOf))], (1101 ^ _35454) ^ [_49063, _49065] : [iext(uri_owl_datatypeComplementOf, _49065, _49063), 1104 ^ _35454 : [(1105 ^ _35454) ^ [] : [-(idc(_49065))], (1107 ^ _35454) ^ [] : [-(idc(_49063))]]], (1109 ^ _35454) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1111 ^ _35454) ^ [_49182, _49184] : [iext(uri_owl_deprecated, _49184, _49182), 1114 ^ _35454 : [(1115 ^ _35454) ^ [] : [-(ir(_49184))], (1117 ^ _35454) ^ [] : [-(ir(_49182))]]], (1119 ^ _35454) ^ [] : [-(ioap(uri_owl_deprecated))], (1121 ^ _35454) ^ [_49301, _49303] : [iext(uri_owl_differentFrom, _49303, _49301), 1124 ^ _35454 : [(1125 ^ _35454) ^ [] : [-(ir(_49303))], (1127 ^ _35454) ^ [] : [-(ir(_49301))]]], (1129 ^ _35454) ^ [] : [-(ip(uri_owl_differentFrom))], (1131 ^ _35454) ^ [_49420, _49422] : [iext(uri_owl_disjointUnionOf, _49422, _49420), 1134 ^ _35454 : [(1135 ^ _35454) ^ [] : [-(ic(_49422))], (1137 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _49420))]]], (1139 ^ _35454) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1141 ^ _35454) ^ [_49541, _49543] : [iext(uri_owl_disjointWith, _49543, _49541), 1144 ^ _35454 : [(1145 ^ _35454) ^ [] : [-(ic(_49543))], (1147 ^ _35454) ^ [] : [-(ic(_49541))]]], (1149 ^ _35454) ^ [] : [-(ip(uri_owl_disjointWith))], (1151 ^ _35454) ^ [_49660, _49662] : [iext(uri_owl_distinctMembers, _49662, _49660), 1154 ^ _35454 : [(1155 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, _49662))], (1157 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _49660))]]], (1159 ^ _35454) ^ [] : [-(ip(uri_owl_distinctMembers))], (1161 ^ _35454) ^ [_49783, _49785] : [iext(uri_owl_equivalentClass, _49785, _49783), 1164 ^ _35454 : [(1165 ^ _35454) ^ [] : [-(ic(_49785))], (1167 ^ _35454) ^ [] : [-(ic(_49783))]]], (1169 ^ _35454) ^ [] : [-(ip(uri_owl_equivalentClass))], (1171 ^ _35454) ^ [_49902, _49904] : [iext(uri_owl_equivalentProperty, _49904, _49902), 1174 ^ _35454 : [(1175 ^ _35454) ^ [] : [-(ip(_49904))], (1177 ^ _35454) ^ [] : [-(ip(_49902))]]], (1179 ^ _35454) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1181 ^ _35454) ^ [_50021, _50023] : [iext(uri_owl_hasKey, _50023, _50021), 1184 ^ _35454 : [(1185 ^ _35454) ^ [] : [-(ic(_50023))], (1187 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _50021))]]], (1189 ^ _35454) ^ [] : [-(ip(uri_owl_hasKey))], (1191 ^ _35454) ^ [_50142, _50144] : [iext(uri_owl_hasSelf, _50144, _50142), 1194 ^ _35454 : [(1195 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _50144))], (1197 ^ _35454) ^ [] : [-(ir(_50142))]]], (1199 ^ _35454) ^ [] : [-(ip(uri_owl_hasSelf))], (1201 ^ _35454) ^ [_50263, _50265] : [iext(uri_owl_hasValue, _50265, _50263), 1204 ^ _35454 : [(1205 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _50265))], (1207 ^ _35454) ^ [] : [-(ir(_50263))]]], (1209 ^ _35454) ^ [] : [-(ip(uri_owl_hasValue))], (1211 ^ _35454) ^ [_50384, _50386] : [iext(uri_owl_imports, _50386, _50384), 1214 ^ _35454 : [(1215 ^ _35454) ^ [] : [-(ix(_50386))], (1217 ^ _35454) ^ [] : [-(ix(_50384))]]], (1219 ^ _35454) ^ [] : [-(ioxp(uri_owl_imports))], (1221 ^ _35454) ^ [_50503, _50505] : [iext(uri_owl_incompatibleWith, _50505, _50503), 1224 ^ _35454 : [(1225 ^ _35454) ^ [] : [-(ix(_50505))], (1227 ^ _35454) ^ [] : [-(ix(_50503))]]], (1229 ^ _35454) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1231 ^ _35454) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1233 ^ _35454) ^ [_50640, _50642] : [iext(uri_owl_intersectionOf, _50642, _50640), 1236 ^ _35454 : [(1237 ^ _35454) ^ [] : [-(ic(_50642))], (1239 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _50640))]]], (1241 ^ _35454) ^ [] : [-(ip(uri_owl_intersectionOf))], (1243 ^ _35454) ^ [_50761, _50763] : [iext(uri_owl_inverseOf, _50763, _50761), 1246 ^ _35454 : [(1247 ^ _35454) ^ [] : [-(ip(_50763))], (1249 ^ _35454) ^ [] : [-(ip(_50761))]]], (1251 ^ _35454) ^ [] : [-(ip(uri_owl_inverseOf))], (1253 ^ _35454) ^ [_50880, _50882] : [iext(uri_rdfs_isDefinedBy, _50882, _50880), 1256 ^ _35454 : [(1257 ^ _35454) ^ [] : [-(ir(_50882))], (1259 ^ _35454) ^ [] : [-(ir(_50880))]]], (1261 ^ _35454) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1263 ^ _35454) ^ [_50999, _51001] : [iext(uri_rdfs_label, _51001, _50999), 1266 ^ _35454 : [(1267 ^ _35454) ^ [] : [-(ir(_51001))], (1269 ^ _35454) ^ [] : [-(lv(_50999))]]], (1271 ^ _35454) ^ [] : [-(ioap(uri_rdfs_label))], (1273 ^ _35454) ^ [_51118, _51120] : [iext(uri_owl_maxCardinality, _51120, _51118), 1276 ^ _35454 : [(1277 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51120))], (1279 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51118))]]], (1281 ^ _35454) ^ [] : [-(ip(uri_owl_maxCardinality))], (1283 ^ _35454) ^ [_51241, _51243] : [iext(uri_owl_maxQualifiedCardinality, _51243, _51241), 1286 ^ _35454 : [(1287 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51243))], (1289 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51241))]]], (1291 ^ _35454) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1293 ^ _35454) ^ [_51364, _51366] : [iext(uri_owl_members, _51366, _51364), 1296 ^ _35454 : [(1297 ^ _35454) ^ [] : [-(ir(_51366))], (1299 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _51364))]]], (1301 ^ _35454) ^ [] : [-(ip(uri_owl_members))], (1303 ^ _35454) ^ [_51485, _51487] : [iext(uri_owl_minCardinality, _51487, _51485), 1306 ^ _35454 : [(1307 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51487))], (1309 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51485))]]], (1311 ^ _35454) ^ [] : [-(ip(uri_owl_minCardinality))], (1313 ^ _35454) ^ [_51608, _51610] : [iext(uri_owl_minQualifiedCardinality, _51610, _51608), 1316 ^ _35454 : [(1317 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51610))], (1319 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51608))]]], (1321 ^ _35454) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1323 ^ _35454) ^ [_51731, _51733] : [iext(uri_owl_onClass, _51733, _51731), 1326 ^ _35454 : [(1327 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51733))], (1329 ^ _35454) ^ [] : [-(ic(_51731))]]], (1331 ^ _35454) ^ [] : [-(ip(uri_owl_onClass))], (1333 ^ _35454) ^ [_51852, _51854] : [iext(uri_owl_onDataRange, _51854, _51852), 1336 ^ _35454 : [(1337 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _51854))], (1339 ^ _35454) ^ [] : [-(idc(_51852))]]], (1341 ^ _35454) ^ [] : [-(ip(uri_owl_onDataRange))], (1343 ^ _35454) ^ [_51973, _51975] : [iext(uri_owl_onDatatype, _51975, _51973), 1346 ^ _35454 : [(1347 ^ _35454) ^ [] : [-(idc(_51975))], (1349 ^ _35454) ^ [] : [-(idc(_51973))]]], (1351 ^ _35454) ^ [] : [-(ip(uri_owl_onDatatype))], (1353 ^ _35454) ^ [_52092, _52094] : [iext(uri_owl_oneOf, _52094, _52092), 1356 ^ _35454 : [(1357 ^ _35454) ^ [] : [-(ic(_52094))], (1359 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _52092))]]], (1361 ^ _35454) ^ [] : [-(ip(uri_owl_oneOf))], (1363 ^ _35454) ^ [_52213, _52215] : [iext(uri_owl_onProperty, _52215, _52213), 1366 ^ _35454 : [(1367 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _52215))], (1369 ^ _35454) ^ [] : [-(ip(_52213))]]], (1371 ^ _35454) ^ [] : [-(ip(uri_owl_onProperty))], (1373 ^ _35454) ^ [_52334, _52336] : [iext(uri_owl_priorVersion, _52336, _52334), 1376 ^ _35454 : [(1377 ^ _35454) ^ [] : [-(ix(_52336))], (1379 ^ _35454) ^ [] : [-(ix(_52334))]]], (1381 ^ _35454) ^ [] : [-(ioap(uri_owl_priorVersion))], (1383 ^ _35454) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1385 ^ _35454) ^ [_52471, _52473] : [iext(uri_owl_propertyChainAxiom, _52473, _52471), 1388 ^ _35454 : [(1389 ^ _35454) ^ [] : [-(ip(_52473))], (1391 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _52471))]]], (1393 ^ _35454) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1395 ^ _35454) ^ [_52592, _52594] : [iext(uri_owl_propertyDisjointWith, _52594, _52592), 1398 ^ _35454 : [(1399 ^ _35454) ^ [] : [-(ip(_52594))], (1401 ^ _35454) ^ [] : [-(ip(_52592))]]], (1403 ^ _35454) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1405 ^ _35454) ^ [_52711, _52713] : [iext(uri_owl_qualifiedCardinality, _52713, _52711), 1408 ^ _35454 : [(1409 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _52713))], (1411 ^ _35454) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52711))]]], (1413 ^ _35454) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1415 ^ _35454) ^ [_52834, _52836] : [iext(uri_owl_sameAs, _52836, _52834), 1418 ^ _35454 : [(1419 ^ _35454) ^ [] : [-(ir(_52836))], (1421 ^ _35454) ^ [] : [-(ir(_52834))]]], (1423 ^ _35454) ^ [] : [-(ip(uri_owl_sameAs))], (1425 ^ _35454) ^ [_52953, _52955] : [iext(uri_rdfs_seeAlso, _52955, _52953), 1428 ^ _35454 : [(1429 ^ _35454) ^ [] : [-(ir(_52955))], (1431 ^ _35454) ^ [] : [-(ir(_52953))]]], (1433 ^ _35454) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1435 ^ _35454) ^ [_53072, _53074] : [iext(uri_owl_someValuesFrom, _53074, _53072), 1438 ^ _35454 : [(1439 ^ _35454) ^ [] : [-(icext(uri_owl_Restriction, _53074))], (1441 ^ _35454) ^ [] : [-(ic(_53072))]]], (1443 ^ _35454) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1445 ^ _35454) ^ [_53193, _53195] : [iext(uri_owl_sourceIndividual, _53195, _53193), 1448 ^ _35454 : [(1449 ^ _35454) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53195))], (1451 ^ _35454) ^ [] : [-(ir(_53193))]]], (1453 ^ _35454) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1455 ^ _35454) ^ [_53314, _53316] : [iext(uri_owl_targetIndividual, _53316, _53314), 1458 ^ _35454 : [(1459 ^ _35454) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53316))], (1461 ^ _35454) ^ [] : [-(ir(_53314))]]], (1463 ^ _35454) ^ [] : [-(ip(uri_owl_targetIndividual))], (1465 ^ _35454) ^ [_53435, _53437] : [iext(uri_owl_targetValue, _53437, _53435), 1468 ^ _35454 : [(1469 ^ _35454) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53437))], (1471 ^ _35454) ^ [] : [-(lv(_53435))]]], (1473 ^ _35454) ^ [] : [-(ip(uri_owl_targetValue))], (1475 ^ _35454) ^ [_53571, _53573] : [iext(uri_owl_topDataProperty, _53573, _53571), 1478 ^ _35454 : [(1479 ^ _35454) ^ [] : [-(ir(_53573))], (1481 ^ _35454) ^ [] : [-(lv(_53571))]]], (1483 ^ _35454) ^ [_53668, _53670] : [-(iext(uri_owl_topDataProperty, _53670, _53668)), ir(_53670), lv(_53668)], (1493 ^ _35454) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1495 ^ _35454) ^ [_53830, _53832] : [iext(uri_owl_topObjectProperty, _53832, _53830), 1498 ^ _35454 : [(1499 ^ _35454) ^ [] : [-(ir(_53832))], (1501 ^ _35454) ^ [] : [-(ir(_53830))]]], (1503 ^ _35454) ^ [_53927, _53929] : [-(iext(uri_owl_topObjectProperty, _53929, _53927)), ir(_53929), ir(_53927)], (1513 ^ _35454) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1515 ^ _35454) ^ [_54074, _54076] : [iext(uri_owl_unionOf, _54076, _54074), 1518 ^ _35454 : [(1519 ^ _35454) ^ [] : [-(ic(_54076))], (1521 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _54074))]]], (1523 ^ _35454) ^ [] : [-(ip(uri_owl_unionOf))], (1525 ^ _35454) ^ [_54195, _54197] : [iext(uri_owl_versionInfo, _54197, _54195), 1528 ^ _35454 : [(1529 ^ _35454) ^ [] : [-(ir(_54197))], (1531 ^ _35454) ^ [] : [-(ir(_54195))]]], (1533 ^ _35454) ^ [] : [-(ioap(uri_owl_versionInfo))], (1535 ^ _35454) ^ [_54314, _54316] : [iext(uri_owl_versionIRI, _54316, _54314), 1538 ^ _35454 : [(1539 ^ _35454) ^ [] : [-(ix(_54316))], (1541 ^ _35454) ^ [] : [-(ix(_54314))]]], (1543 ^ _35454) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1545 ^ _35454) ^ [_54433, _54435] : [iext(uri_owl_withRestrictions, _54435, _54433), 1548 ^ _35454 : [(1549 ^ _35454) ^ [] : [-(idc(_54435))], (1551 ^ _35454) ^ [] : [-(icext(uri_rdf_List, _54433))]]], (1553 ^ _35454) ^ [] : [-(ip(uri_owl_withRestrictions))], (1555 ^ _35454) ^ [_54554, _54556] : [iext(uri_owl_complementOf, _54556, _54554), 1558 ^ _35454 : [(1559 ^ _35454) ^ [] : [-(ic(_54556))], (1561 ^ _35454) ^ [] : [-(ic(_54554))], (1563 ^ _35454) ^ [_54684] : [icext(_54556, _54684), icext(_54554, _54684)], (1569 ^ _35454) ^ [_54758] : [-(icext(_54554, _54758)), -(icext(_54556, _54758))]]], (1575 ^ _35454) ^ [_54802, _54804] : [iext(uri_owl_datatypeComplementOf, _54804, _54802), 1578 ^ _35454 : [(1579 ^ _35454) ^ [_54886] : [icext(_54804, _54886), 1582 ^ _35454 : [(1583 ^ _35454) ^ [] : [-(lv(_54886))], (1585 ^ _35454) ^ [] : [icext(_54802, _54886)]]], (1587 ^ _35454) ^ [_54993] : [-(icext(_54804, _54993)), lv(_54993), -(icext(_54802, _54993))]]], (1615 ^ _35454) ^ [_55395] : [-(iext(uri_owl_intersectionOf, _55395, uri_rdf_nil)), ic(_55395), 1623 ^ _35454 : [(1624 ^ _35454) ^ [] : [-(icext(_55395, 1620 ^ [_55395]))], (1626 ^ _35454) ^ [] : [ir(1620 ^ [_55395])]], 1627 ^ _35454 : [(1628 ^ _35454) ^ [] : [-(ir(1620 ^ [_55395]))], (1630 ^ _35454) ^ [] : [icext(_55395, 1620 ^ [_55395])]]], (1597 ^ _35454) ^ [_55145] : [iext(uri_owl_intersectionOf, _55145, uri_rdf_nil), 1600 ^ _35454 : [(1601 ^ _35454) ^ [] : [-(ic(_55145))], (1603 ^ _35454) ^ [_55245] : [icext(_55145, _55245), -(ir(_55245))], (1609 ^ _35454) ^ [_55316] : [ir(_55316), -(icext(_55145, _55316))]]], (1634 ^ _35454) ^ [_55665, _55667, _55669] : [iext(uri_rdf_first, _55667, _55665), iext(uri_rdf_rest, _55667, uri_rdf_nil), 1641 ^ _35454 : [(1642 ^ _35454) ^ [] : [iext(uri_owl_intersectionOf, _55669, _55667), 1645 ^ _35454 : [(1646 ^ _35454) ^ [] : [-(ic(_55669))], (1648 ^ _35454) ^ [] : [-(ic(_55665))], (1650 ^ _35454) ^ [_55914] : [icext(_55669, _55914), -(icext(_55665, _55914))], (1656 ^ _35454) ^ [_55991] : [icext(_55665, _55991), -(icext(_55669, _55991))]]], (1662 ^ _35454) ^ [] : [-(iext(uri_owl_intersectionOf, _55669, _55667)), ic(_55669), ic(_55665), 1674 ^ _35454 : [(1675 ^ _35454) ^ [] : [-(icext(_55669, 1671 ^ [_55665, _55667, _55669]))], (1677 ^ _35454) ^ [] : [icext(_55665, 1671 ^ [_55665, _55667, _55669])]], 1678 ^ _35454 : [(1679 ^ _35454) ^ [] : [-(icext(_55665, 1671 ^ [_55665, _55667, _55669]))], (1681 ^ _35454) ^ [] : [icext(_55669, 1671 ^ [_55665, _55667, _55669])]]]]], (1685 ^ _35454) ^ [_56412, _56414, _56416, _56418, _56420] : [iext(uri_rdf_first, _56418, _56416), iext(uri_rdf_rest, _56418, _56414), iext(uri_rdf_first, _56414, _56412), iext(uri_rdf_rest, _56414, uri_rdf_nil), 1700 ^ _35454 : [(1701 ^ _35454) ^ [] : [iext(uri_owl_intersectionOf, _56420, _56418), 1704 ^ _35454 : [(1705 ^ _35454) ^ [] : [-(ic(_56420))], (1707 ^ _35454) ^ [] : [-(ic(_56416))], (1709 ^ _35454) ^ [] : [-(ic(_56412))], (1711 ^ _35454) ^ [_56824] : [icext(_56420, _56824), 1714 ^ _35454 : [(1715 ^ _35454) ^ [] : [-(icext(_56416, _56824))], (1717 ^ _35454) ^ [] : [-(icext(_56412, _56824))]]], (1719 ^ _35454) ^ [_56931] : [-(icext(_56420, _56931)), icext(_56416, _56931), icext(_56412, _56931)]]], (1729 ^ _35454) ^ [] : [-(iext(uri_owl_intersectionOf, _56420, _56418)), ic(_56420), ic(_56416), ic(_56412), 1753 ^ _35454 : [(1754 ^ _35454) ^ [] : [-(icext(_56416, 1742 ^ [_56412, _56414, _56416, _56418, _56420]))], (1756 ^ _35454) ^ [] : [-(icext(_56412, 1742 ^ [_56412, _56414, _56416, _56418, _56420]))], (1758 ^ _35454) ^ [] : [icext(_56420, 1742 ^ [_56412, _56414, _56416, _56418, _56420])]], 1745 ^ _35454 : [(1746 ^ _35454) ^ [] : [-(icext(_56420, 1742 ^ [_56412, _56414, _56416, _56418, _56420]))], (1748 ^ _35454) ^ [] : [icext(_56416, 1742 ^ [_56412, _56414, _56416, _56418, _56420]), icext(_56412, 1742 ^ [_56412, _56414, _56416, _56418, _56420])]]]]], (1762 ^ _35454) ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623] : [iext(uri_rdf_first, _57621, _57619), iext(uri_rdf_rest, _57621, _57617), iext(uri_rdf_first, _57617, _57615), iext(uri_rdf_rest, _57617, _57613), iext(uri_rdf_first, _57613, _57611), iext(uri_rdf_rest, _57613, uri_rdf_nil), 1785 ^ _35454 : [(1786 ^ _35454) ^ [] : [iext(uri_owl_intersectionOf, _57623, _57621), 1789 ^ _35454 : [(1790 ^ _35454) ^ [] : [-(ic(_57623))], (1792 ^ _35454) ^ [] : [-(ic(_57619))], (1794 ^ _35454) ^ [] : [-(ic(_57615))], (1796 ^ _35454) ^ [] : [-(ic(_57611))], (1798 ^ _35454) ^ [_58202] : [icext(_57623, _58202), 1801 ^ _35454 : [(1802 ^ _35454) ^ [] : [-(icext(_57619, _58202))], (1804 ^ _35454) ^ [] : [-(icext(_57615, _58202))], (1806 ^ _35454) ^ [] : [-(icext(_57611, _58202))]]], (1808 ^ _35454) ^ [_58337] : [-(icext(_57623, _58337)), icext(_57619, _58337), icext(_57615, _58337), icext(_57611, _58337)]]], (1822 ^ _35454) ^ [] : [-(iext(uri_owl_intersectionOf, _57623, _57621)), ic(_57623), ic(_57619), ic(_57615), ic(_57611), 1854 ^ _35454 : [(1855 ^ _35454) ^ [] : [-(icext(_57619, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]))], (1857 ^ _35454) ^ [] : [-(icext(_57615, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]))], (1859 ^ _35454) ^ [] : [-(icext(_57611, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]))], (1861 ^ _35454) ^ [] : [icext(_57623, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623])]], 1842 ^ _35454 : [(1843 ^ _35454) ^ [] : [-(icext(_57623, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]))], (1845 ^ _35454) ^ [] : [icext(_57619, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]), icext(_57615, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623]), icext(_57611, 1839 ^ [_57611, _57613, _57615, _57617, _57619, _57621, _57623])]]]]], (1865 ^ _35454) ^ [_59318, _59320, _59322] : [-(idc(_59322)), iext(uri_rdf_first, _59320, _59318), iext(uri_rdf_rest, _59320, uri_rdf_nil), idc(_59318), iext(uri_owl_intersectionOf, _59322, _59320)], (1883 ^ _35454) ^ [_59561, _59563, _59565, _59567, _59569] : [-(idc(_59569)), iext(uri_rdf_first, _59567, _59565), iext(uri_rdf_rest, _59567, _59563), iext(uri_rdf_first, _59563, _59561), iext(uri_rdf_rest, _59563, uri_rdf_nil), idc(_59565), idc(_59561), iext(uri_owl_intersectionOf, _59569, _59567)], (1913 ^ _35454) ^ [_59996, _59998, _60000, _60002, _60004, _60006, _60008] : [-(idc(_60008)), iext(uri_rdf_first, _60006, _60004), iext(uri_rdf_rest, _60006, _60002), iext(uri_rdf_first, _60002, _60000), iext(uri_rdf_rest, _60002, _59998), iext(uri_rdf_first, _59998, _59996), iext(uri_rdf_rest, _59998, uri_rdf_nil), idc(_60004), idc(_60000), idc(_59996), iext(uri_owl_intersectionOf, _60008, _60006)], (1955 ^ _35454) ^ [_60659] : [iext(uri_owl_unionOf, _60659, uri_rdf_nil), 1958 ^ _35454 : [(1959 ^ _35454) ^ [] : [-(ic(_60659))], (1961 ^ _35454) ^ [_60749] : [icext(_60659, _60749)]]], (1963 ^ _35454) ^ [_60774] : [-(iext(uri_owl_unionOf, _60774, uri_rdf_nil)), ic(_60774), -(icext(_60774, 1968 ^ [_60774]))], (1974 ^ _35454) ^ [_60914, _60916, _60918] : [iext(uri_rdf_first, _60916, _60914), iext(uri_rdf_rest, _60916, uri_rdf_nil), 1981 ^ _35454 : [(1982 ^ _35454) ^ [] : [iext(uri_owl_unionOf, _60918, _60916), 1985 ^ _35454 : [(1986 ^ _35454) ^ [] : [-(ic(_60918))], (1988 ^ _35454) ^ [] : [-(ic(_60914))], (1990 ^ _35454) ^ [_61163] : [icext(_60918, _61163), -(icext(_60914, _61163))], (1996 ^ _35454) ^ [_61240] : [icext(_60914, _61240), -(icext(_60918, _61240))]]], (2002 ^ _35454) ^ [] : [-(iext(uri_owl_unionOf, _60918, _60916)), ic(_60918), ic(_60914), 2014 ^ _35454 : [(2015 ^ _35454) ^ [] : [-(icext(_60918, 2011 ^ [_60914, _60916, _60918]))], (2017 ^ _35454) ^ [] : [icext(_60914, 2011 ^ [_60914, _60916, _60918])]], 2018 ^ _35454 : [(2019 ^ _35454) ^ [] : [-(icext(_60914, 2011 ^ [_60914, _60916, _60918]))], (2021 ^ _35454) ^ [] : [icext(_60918, 2011 ^ [_60914, _60916, _60918])]]]]], (2025 ^ _35454) ^ [_61661, _61663, _61665, _61667, _61669] : [iext(uri_rdf_first, _61667, _61665), iext(uri_rdf_rest, _61667, _61663), iext(uri_rdf_first, _61663, _61661), iext(uri_rdf_rest, _61663, uri_rdf_nil), 2040 ^ _35454 : [(2041 ^ _35454) ^ [] : [iext(uri_owl_unionOf, _61669, _61667), 2044 ^ _35454 : [(2045 ^ _35454) ^ [] : [-(ic(_61669))], (2047 ^ _35454) ^ [] : [-(ic(_61665))], (2049 ^ _35454) ^ [] : [-(ic(_61661))], (2061 ^ _35454) ^ [_62167] : [2062 ^ _35454 : [(2063 ^ _35454) ^ [] : [icext(_61665, _62167)], (2065 ^ _35454) ^ [] : [icext(_61661, _62167)]], -(icext(_61669, _62167))], (2051 ^ _35454) ^ [_62073] : [icext(_61669, _62073), -(icext(_61665, _62073)), -(icext(_61661, _62073))]]], (2069 ^ _35454) ^ [] : [-(iext(uri_owl_unionOf, _61669, _61667)), ic(_61669), ic(_61665), ic(_61661), 2085 ^ _35454 : [(2086 ^ _35454) ^ [] : [-(icext(_61669, 2082 ^ [_61661, _61663, _61665, _61667, _61669]))], (2088 ^ _35454) ^ [] : [icext(_61665, 2082 ^ [_61661, _61663, _61665, _61667, _61669])], (2090 ^ _35454) ^ [] : [icext(_61661, 2082 ^ [_61661, _61663, _61665, _61667, _61669])]], 2091 ^ _35454 : [(2098 ^ _35454) ^ [] : [icext(_61669, 2082 ^ [_61661, _61663, _61665, _61667, _61669])], (2092 ^ _35454) ^ [] : [-(icext(_61665, 2082 ^ [_61661, _61663, _61665, _61667, _61669])), -(icext(_61661, 2082 ^ [_61661, _61663, _61665, _61667, _61669]))]]]]], (2102 ^ _35454) ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801] : [iext(uri_rdf_first, _62799, _62797), iext(uri_rdf_rest, _62799, _62795), iext(uri_rdf_first, _62795, _62793), iext(uri_rdf_rest, _62795, _62791), iext(uri_rdf_first, _62791, _62789), iext(uri_rdf_rest, _62791, uri_rdf_nil), 2125 ^ _35454 : [(2126 ^ _35454) ^ [] : [iext(uri_owl_unionOf, _62801, _62799), 2129 ^ _35454 : [(2130 ^ _35454) ^ [] : [-(ic(_62801))], (2132 ^ _35454) ^ [] : [-(ic(_62797))], (2134 ^ _35454) ^ [] : [-(ic(_62793))], (2136 ^ _35454) ^ [] : [-(ic(_62789))], (2152 ^ _35454) ^ [_63491] : [2153 ^ _35454 : [(2154 ^ _35454) ^ [] : [icext(_62797, _63491)], (2156 ^ _35454) ^ [] : [icext(_62793, _63491)], (2158 ^ _35454) ^ [] : [icext(_62789, _63491)]], -(icext(_62801, _63491))], (2138 ^ _35454) ^ [_63380] : [icext(_62801, _63380), -(icext(_62797, _63380)), -(icext(_62793, _63380)), -(icext(_62789, _63380))]]], (2162 ^ _35454) ^ [] : [-(iext(uri_owl_unionOf, _62801, _62799)), ic(_62801), ic(_62797), ic(_62793), ic(_62789), 2182 ^ _35454 : [(2183 ^ _35454) ^ [] : [-(icext(_62801, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801]))], (2185 ^ _35454) ^ [] : [icext(_62797, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])], (2187 ^ _35454) ^ [] : [icext(_62793, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])], (2189 ^ _35454) ^ [] : [icext(_62789, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])]], 2190 ^ _35454 : [(2201 ^ _35454) ^ [] : [icext(_62801, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])], (2191 ^ _35454) ^ [] : [-(icext(_62797, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])), -(icext(_62793, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801])), -(icext(_62789, 2179 ^ [_62789, _62791, _62793, _62795, _62797, _62799, _62801]))]]]]], (2205 ^ _35454) ^ [_64337, _64339, _64341] : [-(idc(_64341)), iext(uri_rdf_first, _64339, _64337), iext(uri_rdf_rest, _64339, uri_rdf_nil), idc(_64337), iext(uri_owl_unionOf, _64341, _64339)], (2223 ^ _35454) ^ [_64580, _64582, _64584, _64586, _64588] : [-(idc(_64588)), iext(uri_rdf_first, _64586, _64584), iext(uri_rdf_rest, _64586, _64582), iext(uri_rdf_first, _64582, _64580), iext(uri_rdf_rest, _64582, uri_rdf_nil), idc(_64584), idc(_64580), iext(uri_owl_unionOf, _64588, _64586)], (2253 ^ _35454) ^ [_65015, _65017, _65019, _65021, _65023, _65025, _65027] : [-(idc(_65027)), iext(uri_rdf_first, _65025, _65023), iext(uri_rdf_rest, _65025, _65021), iext(uri_rdf_first, _65021, _65019), iext(uri_rdf_rest, _65021, _65017), iext(uri_rdf_first, _65017, _65015), iext(uri_rdf_rest, _65017, uri_rdf_nil), idc(_65023), idc(_65019), idc(_65015), iext(uri_owl_unionOf, _65027, _65025)], (2295 ^ _35454) ^ [_65678] : [iext(uri_owl_oneOf, _65678, uri_rdf_nil), 2298 ^ _35454 : [(2299 ^ _35454) ^ [] : [-(ic(_65678))], (2301 ^ _35454) ^ [_65768] : [icext(_65678, _65768)]]], (2303 ^ _35454) ^ [_65793] : [-(iext(uri_owl_oneOf, _65793, uri_rdf_nil)), ic(_65793), -(icext(_65793, 2308 ^ [_65793]))], (2314 ^ _35454) ^ [_65933, _65935, _65937] : [iext(uri_rdf_first, _65935, _65933), iext(uri_rdf_rest, _65935, uri_rdf_nil), 2321 ^ _35454 : [(2340 ^ _35454) ^ [] : [-(iext(uri_owl_oneOf, _65937, _65935)), ic(_65937), 2348 ^ _35454 : [(2349 ^ _35454) ^ [] : [-(icext(_65937, 2345 ^ [_65933, _65935, _65937]))], (2351 ^ _35454) ^ [] : [2345 ^ [_65933, _65935, _65937] = _65933]], 2352 ^ _35454 : [(2353 ^ _35454) ^ [] : [-(2345 ^ [_65933, _65935, _65937] = _65933)], (2355 ^ _35454) ^ [] : [icext(_65937, 2345 ^ [_65933, _65935, _65937])]]], (2322 ^ _35454) ^ [] : [iext(uri_owl_oneOf, _65937, _65935), 2325 ^ _35454 : [(2326 ^ _35454) ^ [] : [-(ic(_65937))], (2328 ^ _35454) ^ [_66157] : [icext(_65937, _66157), -(_66157 = _65933)], (2334 ^ _35454) ^ [_66234] : [_66234 = _65933, -(icext(_65937, _66234))]]]]], (2359 ^ _35454) ^ [_66606, _66608, _66610, _66612, _66614] : [iext(uri_rdf_first, _66612, _66610), iext(uri_rdf_rest, _66612, _66608), iext(uri_rdf_first, _66608, _66606), iext(uri_rdf_rest, _66608, uri_rdf_nil), 2374 ^ _35454 : [(2399 ^ _35454) ^ [] : [-(iext(uri_owl_oneOf, _66614, _66612)), ic(_66614), 2407 ^ _35454 : [(2408 ^ _35454) ^ [] : [-(icext(_66614, 2404 ^ [_66606, _66608, _66610, _66612, _66614]))], (2410 ^ _35454) ^ [] : [2404 ^ [_66606, _66608, _66610, _66612, _66614] = _66610], (2412 ^ _35454) ^ [] : [2404 ^ [_66606, _66608, _66610, _66612, _66614] = _66606]], 2413 ^ _35454 : [(2420 ^ _35454) ^ [] : [icext(_66614, 2404 ^ [_66606, _66608, _66610, _66612, _66614])], (2414 ^ _35454) ^ [] : [-(2404 ^ [_66606, _66608, _66610, _66612, _66614] = _66610), -(2404 ^ [_66606, _66608, _66610, _66612, _66614] = _66606)]]], (2375 ^ _35454) ^ [] : [iext(uri_owl_oneOf, _66614, _66612), 2378 ^ _35454 : [(2379 ^ _35454) ^ [] : [-(ic(_66614))], (2391 ^ _35454) ^ [_67062] : [2392 ^ _35454 : [(2393 ^ _35454) ^ [] : [_67062 = _66610], (2395 ^ _35454) ^ [] : [_67062 = _66606]], -(icext(_66614, _67062))], (2381 ^ _35454) ^ [_66968] : [icext(_66614, _66968), -(_66968 = _66610), -(_66968 = _66606)]]]]], (2424 ^ _35454) ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] : [iext(uri_rdf_first, _67588, _67586), iext(uri_rdf_rest, _67588, _67584), iext(uri_rdf_first, _67584, _67582), iext(uri_rdf_rest, _67584, _67580), iext(uri_rdf_first, _67580, _67578), iext(uri_rdf_rest, _67580, uri_rdf_nil), 2447 ^ _35454 : [(2478 ^ _35454) ^ [] : [-(iext(uri_owl_oneOf, _67590, _67588)), ic(_67590), 2486 ^ _35454 : [(2487 ^ _35454) ^ [] : [-(icext(_67590, 2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590]))], (2489 ^ _35454) ^ [] : [2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67586], (2491 ^ _35454) ^ [] : [2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67582], (2493 ^ _35454) ^ [] : [2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67578]], 2494 ^ _35454 : [(2505 ^ _35454) ^ [] : [icext(_67590, 2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590])], (2495 ^ _35454) ^ [] : [-(2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67586), -(2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67582), -(2483 ^ [_67578, _67580, _67582, _67584, _67586, _67588, _67590] = _67578)]]], (2448 ^ _35454) ^ [] : [iext(uri_owl_oneOf, _67590, _67588), 2451 ^ _35454 : [(2452 ^ _35454) ^ [] : [-(ic(_67590))], (2468 ^ _35454) ^ [_68205] : [2469 ^ _35454 : [(2470 ^ _35454) ^ [] : [_68205 = _67586], (2472 ^ _35454) ^ [] : [_68205 = _67582], (2474 ^ _35454) ^ [] : [_68205 = _67578]], -(icext(_67590, _68205))], (2454 ^ _35454) ^ [_68094] : [icext(_67590, _68094), -(_68094 = _67586), -(_68094 = _67582), -(_68094 = _67578)]]]]], (2509 ^ _35454) ^ [_68880, _68882, _68884] : [-(idc(_68884)), iext(uri_rdf_first, _68882, _68880), iext(uri_rdf_rest, _68882, uri_rdf_nil), lv(_68880), iext(uri_owl_oneOf, _68884, _68882)], (2527 ^ _35454) ^ [_69123, _69125, _69127, _69129, _69131] : [-(idc(_69131)), iext(uri_rdf_first, _69129, _69127), iext(uri_rdf_rest, _69129, _69125), iext(uri_rdf_first, _69125, _69123), iext(uri_rdf_rest, _69125, uri_rdf_nil), lv(_69127), lv(_69123), iext(uri_owl_oneOf, _69131, _69129)], (2557 ^ _35454) ^ [_69558, _69560, _69562, _69564, _69566, _69568, _69570] : [-(idc(_69570)), iext(uri_rdf_first, _69568, _69566), iext(uri_rdf_rest, _69568, _69564), iext(uri_rdf_first, _69564, _69562), iext(uri_rdf_rest, _69564, _69560), iext(uri_rdf_first, _69560, _69558), iext(uri_rdf_rest, _69560, uri_rdf_nil), lv(_69566), lv(_69562), lv(_69558), iext(uri_owl_oneOf, _69570, _69568)], (2599 ^ _35454) ^ [_70209, _70211, _70213] : [iext(uri_owl_allValuesFrom, _70213, _70209), iext(uri_owl_onProperty, _70213, _70211), 2606 ^ _35454 : [(2617 ^ _35454) ^ [_70509] : [2619 ^ _35454 : [(2620 ^ _35454) ^ [] : [-(iext(_70211, _70509, 2618 ^ [_70209, _70211, _70213, _70509]))], (2622 ^ _35454) ^ [] : [icext(_70209, 2618 ^ [_70209, _70211, _70213, _70509])]], -(icext(_70213, _70509))], (2607 ^ _35454) ^ [_70356] : [icext(_70213, _70356), 2610 ^ _35454 : [(2611 ^ _35454) ^ [_70424] : [iext(_70211, _70356, _70424), -(icext(_70209, _70424))]]]]], (2626 ^ _35454) ^ [_70675, _70677] : [iext(uri_owl_cardinality, _70677, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70677, _70675), 2633 ^ _35454 : [(2634 ^ _35454) ^ [_70814] : [icext(_70677, _70814), 2637 ^ _35454 : [(2638 ^ _35454) ^ [_70881] : [iext(_70675, _70814, _70881)]]], (2640 ^ _35454) ^ [_70903] : [-(iext(_70675, _70903, 2641 ^ [_70675, _70677, _70903])), -(icext(_70677, _70903))]]], (2647 ^ _35454) ^ [_70955, _70957] : [iext(uri_owl_cardinality, _70957, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70957, _70955), 2654 ^ _35454 : [(2672 ^ _35454) ^ [_71390] : [-(icext(_70957, _71390)), 2675 ^ _35454 : [(2676 ^ _35454) ^ [_71485] : [iext(_70955, _71390, _71485)]], 2679 ^ _35454 : [(2680 ^ _35454) ^ [] : [-(iext(_70955, _71390, 2677 ^ [_70955, _70957, _71390]))], (2682 ^ _35454) ^ [] : [-(iext(_70955, _71390, 2678 ^ [_70955, _70957, _71390]))], (2684 ^ _35454) ^ [] : [2678 ^ [_70955, _70957, _71390] = 2677 ^ [_70955, _70957, _71390]]]], (2655 ^ _35454) ^ [_71122] : [icext(_70957, _71122), 2659 ^ _35454 : [(2660 ^ _35454) ^ [] : [-(iext(_70955, _71122, 2658 ^ [_70955, _70957, _71122]))], (2662 ^ _35454) ^ [_71243, _71245] : [-(_71243 = _71245), iext(_70955, _71122, _71245), iext(_70955, _71122, _71243)]]]]], (2688 ^ _35454) ^ [_71680, _71682] : [iext(uri_owl_cardinality, _71682, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71682, _71680), 2695 ^ _35454 : [(2726 ^ _35454) ^ [_72386] : [-(icext(_71682, _72386)), 2742 ^ _35454 : [(2743 ^ _35454) ^ [] : [-(iext(_71680, _72386, 2739 ^ [_71680, _71682, _72386]))], (2745 ^ _35454) ^ [] : [-(iext(_71680, _72386, 2740 ^ [_71680, _71682, _72386]))], (2747 ^ _35454) ^ [] : [-(iext(_71680, _72386, 2741 ^ [_71680, _71682, _72386]))], (2749 ^ _35454) ^ [] : [2741 ^ [_71680, _71682, _72386] = 2739 ^ [_71680, _71682, _72386]], (2751 ^ _35454) ^ [] : [2741 ^ [_71680, _71682, _72386] = 2740 ^ [_71680, _71682, _72386]]], 2729 ^ _35454 : [(2730 ^ _35454) ^ [_72514, _72516] : [iext(_71680, _72386, _72516), iext(_71680, _72386, _72514), -(_72516 = _72514)]]], (2696 ^ _35454) ^ [_71885] : [icext(_71682, _71885), 2701 ^ _35454 : [(2702 ^ _35454) ^ [] : [-(iext(_71680, _71885, 2699 ^ [_71680, _71682, _71885]))], (2704 ^ _35454) ^ [] : [-(iext(_71680, _71885, 2700 ^ [_71680, _71682, _71885]))], (2706 ^ _35454) ^ [] : [2699 ^ [_71680, _71682, _71885] = 2700 ^ [_71680, _71682, _71885]], (2708 ^ _35454) ^ [_72154, _72156, _72158] : [-(_72154 = _72158), -(_72154 = _72156), iext(_71680, _71885, _72158), iext(_71680, _71885, _72156), iext(_71680, _71885, _72154)]]]]], (2755 ^ _35454) ^ [_73469, _73471] : [iext(uri_owl_cardinality, _73471, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _73471, _73469), 2762 ^ _35454 : [(2763 ^ _35454) ^ [_73848] : [icext(_73471, _73848), 2769 ^ _35454 : [(2770 ^ _35454) ^ [] : [-(iext(_73469, _73848, 2766 ^ [_73469, _73471, _73848]))], (2772 ^ _35454) ^ [] : [-(iext(_73469, _73848, 2767 ^ [_73469, _73471, _73848]))], (2774 ^ _35454) ^ [] : [-(iext(_73469, _73848, 2768 ^ [_73469, _73471, _73848]))], (2776 ^ _35454) ^ [] : [2766 ^ [_73469, _73471, _73848] = 2767 ^ [_73469, _73471, _73848]], (2778 ^ _35454) ^ [] : [2766 ^ [_73469, _73471, _73848] = 2768 ^ [_73469, _73471, _73848]], (2780 ^ _35454) ^ [] : [2767 ^ [_73469, _73471, _73848] = 2768 ^ [_73469, _73471, _73848]], (2782 ^ _35454) ^ [_75003, _75005, _75007, _75009] : [-(_75003 = _75009), -(_75003 = _75007), -(_75003 = _75005), iext(_73469, _73848, _75009), iext(_73469, _73848, _75007), iext(_73469, _73848, _75005), iext(_73469, _73848, _75003)]]], (2808 ^ _35454) ^ [_75777] : [-(icext(_73471, _75777)), 2837 ^ _35454 : [(2838 ^ _35454) ^ [] : [-(iext(_73469, _75777, 2833 ^ [_73469, _73471, _75777]))], (2840 ^ _35454) ^ [] : [-(iext(_73469, _75777, 2834 ^ [_73469, _73471, _75777]))], (2842 ^ _35454) ^ [] : [-(iext(_73469, _75777, 2835 ^ [_73469, _73471, _75777]))], (2844 ^ _35454) ^ [] : [-(iext(_73469, _75777, 2836 ^ [_73469, _73471, _75777]))], (2846 ^ _35454) ^ [] : [2836 ^ [_73469, _73471, _75777] = 2833 ^ [_73469, _73471, _75777]], (2848 ^ _35454) ^ [] : [2836 ^ [_73469, _73471, _75777] = 2834 ^ [_73469, _73471, _75777]], (2850 ^ _35454) ^ [] : [2836 ^ [_73469, _73471, _75777] = 2835 ^ [_73469, _73471, _75777]]], 2811 ^ _35454 : [(2812 ^ _35454) ^ [_76048, _76050, _76052] : [iext(_73469, _75777, _76052), iext(_73469, _75777, _76050), iext(_73469, _75777, _76048), -(_76052 = _76050), -(_76052 = _76048), -(_76050 = _76048)]]]]], (2854 ^ _35454) ^ [_77862, _77864, _77866] : [iext(uri_owl_qualifiedCardinality, _77866, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _77866, _77864), iext(uri_owl_onDataRange, _77866, _77862), 2865 ^ _35454 : [(2866 ^ _35454) ^ [] : [-(iodp(_77864))], (2882 ^ _35454) ^ [_78767] : [2884 ^ _35454 : [(2885 ^ _35454) ^ [] : [-(lv(2883 ^ [_77862, _77864, _77866, _78767]))], (2887 ^ _35454) ^ [] : [-(iext(_77864, _78767, 2883 ^ [_77862, _77864, _77866, _78767]))], (2889 ^ _35454) ^ [] : [-(icext(_77862, 2883 ^ [_77862, _77864, _77866, _78767]))]], -(icext(_77866, _78767))], (2868 ^ _35454) ^ [_78315] : [icext(_77866, _78315), 2871 ^ _35454 : [(2872 ^ _35454) ^ [_78474] : [lv(_78474), iext(_77864, _78315, _78474), icext(_77862, _78474)]]]]], (2893 ^ _35454) ^ [_79285, _79287, _79289] : [iext(uri_owl_qualifiedCardinality, _79289, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79289, _79287), iext(uri_owl_onDataRange, _79289, _79285), 2904 ^ _35454 : [(2905 ^ _35454) ^ [] : [-(iodp(_79287))], (2944 ^ _35454) ^ [_81053] : [-(icext(_79289, _81053)), 2959 ^ _35454 : [(2960 ^ _35454) ^ [] : [-(lv(2957 ^ [_79285, _79287, _79289, _81053]))], (2962 ^ _35454) ^ [] : [-(iext(_79287, _81053, 2957 ^ [_79285, _79287, _79289, _81053]))], (2964 ^ _35454) ^ [] : [-(icext(_79285, 2957 ^ [_79285, _79287, _79289, _81053]))], (2966 ^ _35454) ^ [] : [-(lv(2958 ^ [_79285, _79287, _79289, _81053]))], (2968 ^ _35454) ^ [] : [-(iext(_79287, _81053, 2958 ^ [_79285, _79287, _79289, _81053]))], (2970 ^ _35454) ^ [] : [-(icext(_79285, 2958 ^ [_79285, _79287, _79289, _81053]))], (2972 ^ _35454) ^ [] : [2958 ^ [_79285, _79287, _79289, _81053] = 2957 ^ [_79285, _79287, _79289, _81053]]], 2947 ^ _35454 : [(2948 ^ _35454) ^ [_81251] : [lv(_81251), iext(_79287, _81053, _81251), icext(_79285, _81251)]]], (2907 ^ _35454) ^ [_79788] : [icext(_79289, _79788), 2911 ^ _35454 : [(2912 ^ _35454) ^ [] : [-(lv(2910 ^ [_79285, _79287, _79289, _79788]))], (2914 ^ _35454) ^ [] : [-(iext(_79287, _79788, 2910 ^ [_79285, _79287, _79289, _79788]))], (2916 ^ _35454) ^ [] : [-(icext(_79285, 2910 ^ [_79285, _79287, _79289, _79788]))], (2918 ^ _35454) ^ [_80323, _80325] : [-(_80323 = _80325), lv(_80325), iext(_79287, _79788, _80325), icext(_79285, _80325), lv(_80323), iext(_79287, _79788, _80323), icext(_79285, _80323)]]]]], (2976 ^ _35454) ^ [_82480, _82482, _82484] : [iext(uri_owl_qualifiedCardinality, _82484, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _82484, _82482), iext(uri_owl_onDataRange, _82484, _82480), 2987 ^ _35454 : [(2988 ^ _35454) ^ [] : [-(iodp(_82482))], (3052 ^ _35454) ^ [_85363] : [-(icext(_82484, _85363)), 3084 ^ _35454 : [(3085 ^ _35454) ^ [] : [-(lv(3081 ^ [_82480, _82482, _82484, _85363]))], (3087 ^ _35454) ^ [] : [-(iext(_82482, _85363, 3081 ^ [_82480, _82482, _82484, _85363]))], (3089 ^ _35454) ^ [] : [-(icext(_82480, 3081 ^ [_82480, _82482, _82484, _85363]))], (3091 ^ _35454) ^ [] : [-(lv(3082 ^ [_82480, _82482, _82484, _85363]))], (3093 ^ _35454) ^ [] : [-(iext(_82482, _85363, 3082 ^ [_82480, _82482, _82484, _85363]))], (3095 ^ _35454) ^ [] : [-(icext(_82480, 3082 ^ [_82480, _82482, _82484, _85363]))], (3097 ^ _35454) ^ [] : [-(lv(3083 ^ [_82480, _82482, _82484, _85363]))], (3099 ^ _35454) ^ [] : [-(iext(_82482, _85363, 3083 ^ [_82480, _82482, _82484, _85363]))], (3101 ^ _35454) ^ [] : [-(icext(_82480, 3083 ^ [_82480, _82482, _82484, _85363]))], (3103 ^ _35454) ^ [] : [3083 ^ [_82480, _82482, _82484, _85363] = 3081 ^ [_82480, _82482, _82484, _85363]], (3105 ^ _35454) ^ [] : [3083 ^ [_82480, _82482, _82484, _85363] = 3082 ^ [_82480, _82482, _82484, _85363]]], 3055 ^ _35454 : [(3056 ^ _35454) ^ [_85635, _85637] : [lv(_85637), iext(_82482, _85363, _85637), icext(_82480, _85637), lv(_85635), iext(_82482, _85363, _85635), icext(_82480, _85635), -(_85637 = _85635)]]], (2990 ^ _35454) ^ [_83043] : [icext(_82484, _83043), 2995 ^ _35454 : [(2996 ^ _35454) ^ [] : [-(lv(2993 ^ [_82480, _82482, _82484, _83043]))], (2998 ^ _35454) ^ [] : [-(iext(_82482, _83043, 2993 ^ [_82480, _82482, _82484, _83043]))], (3000 ^ _35454) ^ [] : [-(icext(_82480, 2993 ^ [_82480, _82482, _82484, _83043]))], (3002 ^ _35454) ^ [] : [-(lv(2994 ^ [_82480, _82482, _82484, _83043]))], (3004 ^ _35454) ^ [] : [-(iext(_82482, _83043, 2994 ^ [_82480, _82482, _82484, _83043]))], (3006 ^ _35454) ^ [] : [-(icext(_82480, 2994 ^ [_82480, _82482, _82484, _83043]))], (3008 ^ _35454) ^ [] : [2993 ^ [_82480, _82482, _82484, _83043] = 2994 ^ [_82480, _82482, _82484, _83043]], (3010 ^ _35454) ^ [_84160, _84162, _84164] : [-(_84160 = _84164), -(_84160 = _84162), lv(_84164), iext(_82482, _83043, _84164), icext(_82480, _84164), lv(_84162), iext(_82482, _83043, _84162), icext(_82480, _84162), lv(_84160), iext(_82482, _83043, _84160), icext(_82480, _84160)]]]]], (3109 ^ _35454) ^ [_87904, _87906, _87908] : [iext(uri_owl_qualifiedCardinality, _87908, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _87908, _87906), iext(uri_owl_onDataRange, _87908, _87904), 3120 ^ _35454 : [(3121 ^ _35454) ^ [] : [-(iodp(_87906))], (3212 ^ _35454) ^ [_92203] : [-(icext(_87908, _92203)), 3265 ^ _35454 : [(3266 ^ _35454) ^ [] : [-(lv(3261 ^ [_87904, _87906, _87908, _92203]))], (3268 ^ _35454) ^ [] : [-(iext(_87906, _92203, 3261 ^ [_87904, _87906, _87908, _92203]))], (3270 ^ _35454) ^ [] : [-(icext(_87904, 3261 ^ [_87904, _87906, _87908, _92203]))], (3272 ^ _35454) ^ [] : [-(lv(3262 ^ [_87904, _87906, _87908, _92203]))], (3274 ^ _35454) ^ [] : [-(iext(_87906, _92203, 3262 ^ [_87904, _87906, _87908, _92203]))], (3276 ^ _35454) ^ [] : [-(icext(_87904, 3262 ^ [_87904, _87906, _87908, _92203]))], (3278 ^ _35454) ^ [] : [-(lv(3263 ^ [_87904, _87906, _87908, _92203]))], (3280 ^ _35454) ^ [] : [-(iext(_87906, _92203, 3263 ^ [_87904, _87906, _87908, _92203]))], (3282 ^ _35454) ^ [] : [-(icext(_87904, 3263 ^ [_87904, _87906, _87908, _92203]))], (3284 ^ _35454) ^ [] : [-(lv(3264 ^ [_87904, _87906, _87908, _92203]))], (3286 ^ _35454) ^ [] : [-(iext(_87906, _92203, 3264 ^ [_87904, _87906, _87908, _92203]))], (3288 ^ _35454) ^ [] : [-(icext(_87904, 3264 ^ [_87904, _87906, _87908, _92203]))], (3290 ^ _35454) ^ [] : [3264 ^ [_87904, _87906, _87908, _92203] = 3261 ^ [_87904, _87906, _87908, _92203]], (3292 ^ _35454) ^ [] : [3264 ^ [_87904, _87906, _87908, _92203] = 3262 ^ [_87904, _87906, _87908, _92203]], (3294 ^ _35454) ^ [] : [3264 ^ [_87904, _87906, _87908, _92203] = 3263 ^ [_87904, _87906, _87908, _92203]]], 3215 ^ _35454 : [(3216 ^ _35454) ^ [_92557, _92559, _92561] : [lv(_92561), iext(_87906, _92203, _92561), icext(_87904, _92561), lv(_92559), iext(_87906, _92203, _92559), icext(_87904, _92559), lv(_92557), iext(_87906, _92203, _92557), icext(_87904, _92557), -(_92561 = _92559), -(_92561 = _92557), -(_92559 = _92557)]]], (3123 ^ _35454) ^ [_88535] : [icext(_87908, _88535), 3129 ^ _35454 : [(3130 ^ _35454) ^ [] : [-(lv(3126 ^ [_87904, _87906, _87908, _88535]))], (3132 ^ _35454) ^ [] : [-(iext(_87906, _88535, 3126 ^ [_87904, _87906, _87908, _88535]))], (3134 ^ _35454) ^ [] : [-(icext(_87904, 3126 ^ [_87904, _87906, _87908, _88535]))], (3136 ^ _35454) ^ [] : [-(lv(3127 ^ [_87904, _87906, _87908, _88535]))], (3138 ^ _35454) ^ [] : [-(iext(_87906, _88535, 3127 ^ [_87904, _87906, _87908, _88535]))], (3140 ^ _35454) ^ [] : [-(icext(_87904, 3127 ^ [_87904, _87906, _87908, _88535]))], (3142 ^ _35454) ^ [] : [-(lv(3128 ^ [_87904, _87906, _87908, _88535]))], (3144 ^ _35454) ^ [] : [-(iext(_87906, _88535, 3128 ^ [_87904, _87906, _87908, _88535]))], (3146 ^ _35454) ^ [] : [-(icext(_87904, 3128 ^ [_87904, _87906, _87908, _88535]))], (3148 ^ _35454) ^ [] : [3126 ^ [_87904, _87906, _87908, _88535] = 3127 ^ [_87904, _87906, _87908, _88535]], (3150 ^ _35454) ^ [] : [3126 ^ [_87904, _87906, _87908, _88535] = 3128 ^ [_87904, _87906, _87908, _88535]], (3152 ^ _35454) ^ [] : [3127 ^ [_87904, _87906, _87908, _88535] = 3128 ^ [_87904, _87906, _87908, _88535]], (3154 ^ _35454) ^ [_90493, _90495, _90497, _90499] : [-(_90493 = _90499), -(_90493 = _90497), -(_90493 = _90495), lv(_90499), iext(_87906, _88535, _90499), icext(_87904, _90499), lv(_90497), iext(_87906, _88535, _90497), icext(_87904, _90497), lv(_90495), iext(_87906, _88535, _90495), icext(_87904, _90495), lv(_90493), iext(_87906, _88535, _90493), icext(_87904, _90493)]]]]], (3298 ^ _35454) ^ [_96107, _96109, _96111] : [iext(uri_owl_qualifiedCardinality, _96111, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96111, _96109), iext(uri_owl_onClass, _96111, _96107), 3309 ^ _35454 : [(3320 ^ _35454) ^ [_96831] : [3322 ^ _35454 : [(3323 ^ _35454) ^ [] : [-(iext(_96109, _96831, 3321 ^ [_96107, _96109, _96111, _96831]))], (3325 ^ _35454) ^ [] : [-(icext(_96107, 3321 ^ [_96107, _96109, _96111, _96831]))]], -(icext(_96111, _96831))], (3310 ^ _35454) ^ [_96483] : [icext(_96111, _96483), 3313 ^ _35454 : [(3314 ^ _35454) ^ [_96637] : [iext(_96109, _96483, _96637), icext(_96107, _96637)]]]]], (3329 ^ _35454) ^ [_97255, _97257, _97259] : [iext(uri_owl_qualifiedCardinality, _97259, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _97259, _97257), iext(uri_owl_onClass, _97259, _97255), 3340 ^ _35454 : [(3368 ^ _35454) ^ [_98626] : [-(icext(_97259, _98626)), 3379 ^ _35454 : [(3380 ^ _35454) ^ [] : [-(iext(_97257, _98626, 3377 ^ [_97255, _97257, _97259, _98626]))], (3382 ^ _35454) ^ [] : [-(icext(_97255, 3377 ^ [_97255, _97257, _97259, _98626]))], (3384 ^ _35454) ^ [] : [-(iext(_97257, _98626, 3378 ^ [_97255, _97257, _97259, _98626]))], (3386 ^ _35454) ^ [] : [-(icext(_97255, 3378 ^ [_97255, _97257, _97259, _98626]))], (3388 ^ _35454) ^ [] : [3378 ^ [_97255, _97257, _97259, _98626] = 3377 ^ [_97255, _97257, _97259, _98626]]], 3371 ^ _35454 : [(3372 ^ _35454) ^ [_98809] : [iext(_97257, _98626, _98809), icext(_97255, _98809)]]], (3341 ^ _35454) ^ [_97671] : [icext(_97259, _97671), 3345 ^ _35454 : [(3346 ^ _35454) ^ [] : [-(iext(_97257, _97671, 3344 ^ [_97255, _97257, _97259, _97671]))], (3348 ^ _35454) ^ [] : [-(icext(_97255, 3344 ^ [_97255, _97257, _97259, _97671]))], (3350 ^ _35454) ^ [_98104, _98106] : [-(_98104 = _98106), iext(_97257, _97671, _98106), icext(_97255, _98106), iext(_97257, _97671, _98104), icext(_97255, _98104)]]]]], (3392 ^ _35454) ^ [_99738, _99740, _99742] : [iext(uri_owl_qualifiedCardinality, _99742, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99742, _99740), iext(uri_owl_onClass, _99742, _99738), 3403 ^ _35454 : [(3450 ^ _35454) ^ [_101979] : [-(icext(_99742, _101979)), 3474 ^ _35454 : [(3475 ^ _35454) ^ [] : [-(iext(_99740, _101979, 3471 ^ [_99738, _99740, _99742, _101979]))], (3477 ^ _35454) ^ [] : [-(icext(_99738, 3471 ^ [_99738, _99740, _99742, _101979]))], (3479 ^ _35454) ^ [] : [-(iext(_99740, _101979, 3472 ^ [_99738, _99740, _99742, _101979]))], (3481 ^ _35454) ^ [] : [-(icext(_99738, 3472 ^ [_99738, _99740, _99742, _101979]))], (3483 ^ _35454) ^ [] : [-(iext(_99740, _101979, 3473 ^ [_99738, _99740, _99742, _101979]))], (3485 ^ _35454) ^ [] : [-(icext(_99738, 3473 ^ [_99738, _99740, _99742, _101979]))], (3487 ^ _35454) ^ [] : [3473 ^ [_99738, _99740, _99742, _101979] = 3471 ^ [_99738, _99740, _99742, _101979]], (3489 ^ _35454) ^ [] : [3473 ^ [_99738, _99740, _99742, _101979] = 3472 ^ [_99738, _99740, _99742, _101979]]], 3453 ^ _35454 : [(3454 ^ _35454) ^ [_102226, _102228] : [iext(_99740, _101979, _102228), icext(_99738, _102228), iext(_99740, _101979, _102226), icext(_99738, _102226), -(_102228 = _102226)]]], (3404 ^ _35454) ^ [_100204] : [icext(_99742, _100204), 3409 ^ _35454 : [(3410 ^ _35454) ^ [] : [-(iext(_99740, _100204, 3407 ^ [_99738, _99740, _99742, _100204]))], (3412 ^ _35454) ^ [] : [-(icext(_99738, 3407 ^ [_99738, _99740, _99742, _100204]))], (3414 ^ _35454) ^ [] : [-(iext(_99740, _100204, 3408 ^ [_99738, _99740, _99742, _100204]))], (3416 ^ _35454) ^ [] : [-(icext(_99738, 3408 ^ [_99738, _99740, _99742, _100204]))], (3418 ^ _35454) ^ [] : [3407 ^ [_99738, _99740, _99742, _100204] = 3408 ^ [_99738, _99740, _99742, _100204]], (3420 ^ _35454) ^ [_101101, _101103, _101105] : [-(_101101 = _101105), -(_101101 = _101103), iext(_99740, _100204, _101105), icext(_99738, _101105), iext(_99740, _100204, _101103), icext(_99738, _101103), iext(_99740, _100204, _101101), icext(_99738, _101101)]]]]], (3493 ^ _35454) ^ [_103957, _103959, _103961] : [iext(uri_owl_qualifiedCardinality, _103961, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103961, _103959), iext(uri_owl_onClass, _103961, _103957), 3504 ^ _35454 : [(3572 ^ _35454) ^ [_107340] : [-(icext(_103961, _107340)), 3613 ^ _35454 : [(3614 ^ _35454) ^ [] : [-(iext(_103959, _107340, 3609 ^ [_103957, _103959, _103961, _107340]))], (3616 ^ _35454) ^ [] : [-(icext(_103957, 3609 ^ [_103957, _103959, _103961, _107340]))], (3618 ^ _35454) ^ [] : [-(iext(_103959, _107340, 3610 ^ [_103957, _103959, _103961, _107340]))], (3620 ^ _35454) ^ [] : [-(icext(_103957, 3610 ^ [_103957, _103959, _103961, _107340]))], (3622 ^ _35454) ^ [] : [-(iext(_103959, _107340, 3611 ^ [_103957, _103959, _103961, _107340]))], (3624 ^ _35454) ^ [] : [-(icext(_103957, 3611 ^ [_103957, _103959, _103961, _107340]))], (3626 ^ _35454) ^ [] : [-(iext(_103959, _107340, 3612 ^ [_103957, _103959, _103961, _107340]))], (3628 ^ _35454) ^ [] : [-(icext(_103957, 3612 ^ [_103957, _103959, _103961, _107340]))], (3630 ^ _35454) ^ [] : [3612 ^ [_103957, _103959, _103961, _107340] = 3609 ^ [_103957, _103959, _103961, _107340]], (3632 ^ _35454) ^ [] : [3612 ^ [_103957, _103959, _103961, _107340] = 3610 ^ [_103957, _103959, _103961, _107340]], (3634 ^ _35454) ^ [] : [3612 ^ [_103957, _103959, _103961, _107340] = 3611 ^ [_103957, _103959, _103961, _107340]]], 3575 ^ _35454 : [(3576 ^ _35454) ^ [_107659, _107661, _107663] : [iext(_103959, _107340, _107663), icext(_103957, _107663), iext(_103959, _107340, _107661), icext(_103957, _107661), iext(_103959, _107340, _107659), icext(_103957, _107659), -(_107663 = _107661), -(_107663 = _107659), -(_107661 = _107659)]]], (3505 ^ _35454) ^ [_104481] : [icext(_103961, _104481), 3511 ^ _35454 : [(3512 ^ _35454) ^ [] : [-(iext(_103959, _104481, 3508 ^ [_103957, _103959, _103961, _104481]))], (3514 ^ _35454) ^ [] : [-(icext(_103957, 3508 ^ [_103957, _103959, _103961, _104481]))], (3516 ^ _35454) ^ [] : [-(iext(_103959, _104481, 3509 ^ [_103957, _103959, _103961, _104481]))], (3518 ^ _35454) ^ [] : [-(icext(_103957, 3509 ^ [_103957, _103959, _103961, _104481]))], (3520 ^ _35454) ^ [] : [-(iext(_103959, _104481, 3510 ^ [_103957, _103959, _103961, _104481]))], (3522 ^ _35454) ^ [] : [-(icext(_103957, 3510 ^ [_103957, _103959, _103961, _104481]))], (3524 ^ _35454) ^ [] : [3508 ^ [_103957, _103959, _103961, _104481] = 3509 ^ [_103957, _103959, _103961, _104481]], (3526 ^ _35454) ^ [] : [3508 ^ [_103957, _103959, _103961, _104481] = 3510 ^ [_103957, _103959, _103961, _104481]], (3528 ^ _35454) ^ [] : [3509 ^ [_103957, _103959, _103961, _104481] = 3510 ^ [_103957, _103959, _103961, _104481]], (3530 ^ _35454) ^ [_106080, _106082, _106084, _106086] : [-(_106080 = _106086), -(_106080 = _106084), -(_106080 = _106082), iext(_103959, _104481, _106086), icext(_103957, _106086), iext(_103959, _104481, _106084), icext(_103957, _106084), iext(_103959, _104481, _106082), icext(_103957, _106082), iext(_103959, _104481, _106080), icext(_103957, _106080)]]]]], (3638 ^ _35454) ^ [_110404, _110406, _110408] : [iext(uri_owl_hasSelf, _110408, _110404), iext(uri_owl_onProperty, _110408, _110406), 3645 ^ _35454 : [(3646 ^ _35454) ^ [_110672] : [icext(_110408, _110672), -(iext(_110406, _110672, _110672))], (3652 ^ _35454) ^ [_110854] : [iext(_110406, _110854, _110854), -(icext(_110408, _110854))]]], (3658 ^ _35454) ^ [_111107, _111109, _111111] : [iext(uri_owl_hasValue, _111111, _111107), iext(uri_owl_onProperty, _111111, _111109), 3665 ^ _35454 : [(3666 ^ _35454) ^ [_111375] : [icext(_111111, _111375), -(iext(_111109, _111375, _111107))], (3672 ^ _35454) ^ [_111557] : [iext(_111109, _111557, _111107), -(icext(_111111, _111557))]]], (3678 ^ _35454) ^ [_111796, _111798] : [iext(uri_owl_maxCardinality, _111798, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111798, _111796), 3685 ^ _35454 : [(3686 ^ _35454) ^ [_112063] : [icext(_111798, _112063), 3689 ^ _35454 : [(3690 ^ _35454) ^ [_112189] : [iext(_111796, _112063, _112189)]]], (3692 ^ _35454) ^ [_112260] : [-(iext(_111796, _112260, 3693 ^ [_111796, _111798, _112260])), -(icext(_111798, _112260))]]], (3699 ^ _35454) ^ [_112558, _112560] : [iext(uri_owl_maxCardinality, _112560, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _112560, _112558), 3706 ^ _35454 : [(3721 ^ _35454) ^ [_113309] : [3724 ^ _35454 : [(3725 ^ _35454) ^ [] : [-(iext(_112558, _113309, 3722 ^ [_112558, _112560, _113309]))], (3727 ^ _35454) ^ [] : [-(iext(_112558, _113309, 3723 ^ [_112558, _112560, _113309]))], (3729 ^ _35454) ^ [] : [3723 ^ [_112558, _112560, _113309] = 3722 ^ [_112558, _112560, _113309]]], -(icext(_112560, _113309))], (3707 ^ _35454) ^ [_112841] : [icext(_112560, _112841), 3710 ^ _35454 : [(3711 ^ _35454) ^ [_113013, _113015] : [-(_113013 = _113015), iext(_112558, _112841, _113015), iext(_112558, _112841, _113013)]]]]], (3733 ^ _35454) ^ [_113892, _113894] : [iext(uri_owl_maxCardinality, _113894, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113894, _113892), 3740 ^ _35454 : [(3763 ^ _35454) ^ [_114918] : [3767 ^ _35454 : [(3768 ^ _35454) ^ [] : [-(iext(_113892, _114918, 3764 ^ [_113892, _113894, _114918]))], (3770 ^ _35454) ^ [] : [-(iext(_113892, _114918, 3765 ^ [_113892, _113894, _114918]))], (3772 ^ _35454) ^ [] : [-(iext(_113892, _114918, 3766 ^ [_113892, _113894, _114918]))], (3774 ^ _35454) ^ [] : [3766 ^ [_113892, _113894, _114918] = 3764 ^ [_113892, _113894, _114918]], (3776 ^ _35454) ^ [] : [3766 ^ [_113892, _113894, _114918] = 3765 ^ [_113892, _113894, _114918]]], -(icext(_113894, _114918))], (3741 ^ _35454) ^ [_114193] : [icext(_113894, _114193), 3744 ^ _35454 : [(3745 ^ _35454) ^ [_114397, _114399, _114401] : [-(_114397 = _114401), -(_114397 = _114399), iext(_113892, _114193, _114401), iext(_113892, _114193, _114399), iext(_113892, _114193, _114397)]]]]], (3780 ^ _35454) ^ [_115836, _115838] : [iext(uri_owl_maxCardinality, _115838, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115838, _115836), 3787 ^ _35454 : [(3818 ^ _35454) ^ [_117153] : [3823 ^ _35454 : [(3824 ^ _35454) ^ [] : [-(iext(_115836, _117153, 3819 ^ [_115836, _115838, _117153]))], (3826 ^ _35454) ^ [] : [-(iext(_115836, _117153, 3820 ^ [_115836, _115838, _117153]))], (3828 ^ _35454) ^ [] : [-(iext(_115836, _117153, 3821 ^ [_115836, _115838, _117153]))], (3830 ^ _35454) ^ [] : [-(iext(_115836, _117153, 3822 ^ [_115836, _115838, _117153]))], (3832 ^ _35454) ^ [] : [3822 ^ [_115836, _115838, _117153] = 3819 ^ [_115836, _115838, _117153]], (3834 ^ _35454) ^ [] : [3822 ^ [_115836, _115838, _117153] = 3820 ^ [_115836, _115838, _117153]], (3836 ^ _35454) ^ [] : [3822 ^ [_115836, _115838, _117153] = 3821 ^ [_115836, _115838, _117153]]], -(icext(_115838, _117153))], (3788 ^ _35454) ^ [_116155] : [icext(_115838, _116155), 3791 ^ _35454 : [(3792 ^ _35454) ^ [_116391, _116393, _116395, _116397] : [-(_116391 = _116397), -(_116391 = _116395), -(_116391 = _116393), iext(_115836, _116155, _116397), iext(_115836, _116155, _116395), iext(_115836, _116155, _116393), iext(_115836, _116155, _116391)]]]]], (3840 ^ _35454) ^ [_118469, _118471, _118473] : [iext(uri_owl_maxQualifiedCardinality, _118473, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118473, _118471), iext(uri_owl_onDataRange, _118473, _118469), 3851 ^ _35454 : [(3852 ^ _35454) ^ [] : [-(iodp(_118471))], (3868 ^ _35454) ^ [_119374] : [3870 ^ _35454 : [(3871 ^ _35454) ^ [] : [-(lv(3869 ^ [_118469, _118471, _118473, _119374]))], (3873 ^ _35454) ^ [] : [-(iext(_118471, _119374, 3869 ^ [_118469, _118471, _118473, _119374]))], (3875 ^ _35454) ^ [] : [-(icext(_118469, 3869 ^ [_118469, _118471, _118473, _119374]))]], -(icext(_118473, _119374))], (3854 ^ _35454) ^ [_118922] : [icext(_118473, _118922), 3857 ^ _35454 : [(3858 ^ _35454) ^ [_119081] : [lv(_119081), iext(_118471, _118922, _119081), icext(_118469, _119081)]]]]], (3879 ^ _35454) ^ [_119892, _119894, _119896] : [iext(uri_owl_maxQualifiedCardinality, _119896, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119896, _119894), iext(uri_owl_onDataRange, _119896, _119892), 3890 ^ _35454 : [(3891 ^ _35454) ^ [] : [-(iodp(_119894))], (3923 ^ _35454) ^ [_121296] : [3926 ^ _35454 : [(3927 ^ _35454) ^ [] : [-(lv(3924 ^ [_119892, _119894, _119896, _121296]))], (3929 ^ _35454) ^ [] : [-(iext(_119894, _121296, 3924 ^ [_119892, _119894, _119896, _121296]))], (3931 ^ _35454) ^ [] : [-(icext(_119892, 3924 ^ [_119892, _119894, _119896, _121296]))], (3933 ^ _35454) ^ [] : [-(lv(3925 ^ [_119892, _119894, _119896, _121296]))], (3935 ^ _35454) ^ [] : [-(iext(_119894, _121296, 3925 ^ [_119892, _119894, _119896, _121296]))], (3937 ^ _35454) ^ [] : [-(icext(_119892, 3925 ^ [_119892, _119894, _119896, _121296]))], (3939 ^ _35454) ^ [] : [3925 ^ [_119892, _119894, _119896, _121296] = 3924 ^ [_119892, _119894, _119896, _121296]]], -(icext(_119896, _121296))], (3893 ^ _35454) ^ [_120372] : [icext(_119896, _120372), 3896 ^ _35454 : [(3897 ^ _35454) ^ [_120572, _120574] : [-(_120572 = _120574), lv(_120574), iext(_119894, _120372, _120574), icext(_119892, _120574), lv(_120572), iext(_119894, _120372, _120572), icext(_119892, _120572)]]]]], (3943 ^ _35454) ^ [_122355, _122357, _122359] : [iext(uri_owl_maxQualifiedCardinality, _122359, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _122359, _122357), iext(uri_owl_onDataRange, _122359, _122355), 3954 ^ _35454 : [(3955 ^ _35454) ^ [] : [-(iodp(_122357))], (4003 ^ _35454) ^ [_124296] : [4007 ^ _35454 : [(4008 ^ _35454) ^ [] : [-(lv(4004 ^ [_122355, _122357, _122359, _124296]))], (4010 ^ _35454) ^ [] : [-(iext(_122357, _124296, 4004 ^ [_122355, _122357, _122359, _124296]))], (4012 ^ _35454) ^ [] : [-(icext(_122355, 4004 ^ [_122355, _122357, _122359, _124296]))], (4014 ^ _35454) ^ [] : [-(lv(4005 ^ [_122355, _122357, _122359, _124296]))], (4016 ^ _35454) ^ [] : [-(iext(_122357, _124296, 4005 ^ [_122355, _122357, _122359, _124296]))], (4018 ^ _35454) ^ [] : [-(icext(_122355, 4005 ^ [_122355, _122357, _122359, _124296]))], (4020 ^ _35454) ^ [] : [-(lv(4006 ^ [_122355, _122357, _122359, _124296]))], (4022 ^ _35454) ^ [] : [-(iext(_122357, _124296, 4006 ^ [_122355, _122357, _122359, _124296]))], (4024 ^ _35454) ^ [] : [-(icext(_122355, 4006 ^ [_122355, _122357, _122359, _124296]))], (4026 ^ _35454) ^ [] : [4006 ^ [_122355, _122357, _122359, _124296] = 4004 ^ [_122355, _122357, _122359, _124296]], (4028 ^ _35454) ^ [] : [4006 ^ [_122355, _122357, _122359, _124296] = 4005 ^ [_122355, _122357, _122359, _124296]]], -(icext(_122359, _124296))], (3957 ^ _35454) ^ [_122864] : [icext(_122359, _122864), 3960 ^ _35454 : [(3961 ^ _35454) ^ [_123107, _123109, _123111] : [-(_123107 = _123111), -(_123107 = _123109), lv(_123111), iext(_122357, _122864, _123111), icext(_122355, _123111), lv(_123109), iext(_122357, _122864, _123109), icext(_122355, _123109), lv(_123107), iext(_122357, _122864, _123107), icext(_122355, _123107)]]]]], (4032 ^ _35454) ^ [_125991, _125993, _125995] : [iext(uri_owl_maxQualifiedCardinality, _125995, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125995, _125993), iext(uri_owl_onDataRange, _125995, _125991), 4043 ^ _35454 : [(4044 ^ _35454) ^ [] : [-(iodp(_125993))], (4108 ^ _35454) ^ [_128501] : [4113 ^ _35454 : [(4114 ^ _35454) ^ [] : [-(lv(4109 ^ [_125991, _125993, _125995, _128501]))], (4116 ^ _35454) ^ [] : [-(iext(_125993, _128501, 4109 ^ [_125991, _125993, _125995, _128501]))], (4118 ^ _35454) ^ [] : [-(icext(_125991, 4109 ^ [_125991, _125993, _125995, _128501]))], (4120 ^ _35454) ^ [] : [-(lv(4110 ^ [_125991, _125993, _125995, _128501]))], (4122 ^ _35454) ^ [] : [-(iext(_125993, _128501, 4110 ^ [_125991, _125993, _125995, _128501]))], (4124 ^ _35454) ^ [] : [-(icext(_125991, 4110 ^ [_125991, _125993, _125995, _128501]))], (4126 ^ _35454) ^ [] : [-(lv(4111 ^ [_125991, _125993, _125995, _128501]))], (4128 ^ _35454) ^ [] : [-(iext(_125993, _128501, 4111 ^ [_125991, _125993, _125995, _128501]))], (4130 ^ _35454) ^ [] : [-(icext(_125991, 4111 ^ [_125991, _125993, _125995, _128501]))], (4132 ^ _35454) ^ [] : [-(lv(4112 ^ [_125991, _125993, _125995, _128501]))], (4134 ^ _35454) ^ [] : [-(iext(_125993, _128501, 4112 ^ [_125991, _125993, _125995, _128501]))], (4136 ^ _35454) ^ [] : [-(icext(_125991, 4112 ^ [_125991, _125993, _125995, _128501]))], (4138 ^ _35454) ^ [] : [4112 ^ [_125991, _125993, _125995, _128501] = 4109 ^ [_125991, _125993, _125995, _128501]], (4140 ^ _35454) ^ [] : [4112 ^ [_125991, _125993, _125995, _128501] = 4110 ^ [_125991, _125993, _125995, _128501]], (4142 ^ _35454) ^ [] : [4112 ^ [_125991, _125993, _125995, _128501] = 4111 ^ [_125991, _125993, _125995, _128501]]], -(icext(_125995, _128501))], (4046 ^ _35454) ^ [_126529] : [icext(_125995, _126529), 4049 ^ _35454 : [(4050 ^ _35454) ^ [_126815, _126817, _126819, _126821] : [-(_126815 = _126821), -(_126815 = _126819), -(_126815 = _126817), lv(_126821), iext(_125993, _126529, _126821), icext(_125991, _126821), lv(_126819), iext(_125993, _126529, _126819), icext(_125991, _126819), lv(_126817), iext(_125993, _126529, _126817), icext(_125991, _126817), lv(_126815), iext(_125993, _126529, _126815), icext(_125991, _126815)]]]]], (4146 ^ _35454) ^ [_130929, _130931, _130933] : [iext(uri_owl_maxQualifiedCardinality, _130933, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _130933, _130931), iext(uri_owl_onClass, _130933, _130929), 4157 ^ _35454 : [(4168 ^ _35454) ^ [_131653] : [4170 ^ _35454 : [(4171 ^ _35454) ^ [] : [-(iext(_130931, _131653, 4169 ^ [_130929, _130931, _130933, _131653]))], (4173 ^ _35454) ^ [] : [-(icext(_130929, 4169 ^ [_130929, _130931, _130933, _131653]))]], -(icext(_130933, _131653))], (4158 ^ _35454) ^ [_131305] : [icext(_130933, _131305), 4161 ^ _35454 : [(4162 ^ _35454) ^ [_131459] : [iext(_130931, _131305, _131459), icext(_130929, _131459)]]]]], (4177 ^ _35454) ^ [_132077, _132079, _132081] : [iext(uri_owl_maxQualifiedCardinality, _132081, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132081, _132079), iext(uri_owl_onClass, _132081, _132077), 4188 ^ _35454 : [(4211 ^ _35454) ^ [_133183] : [4214 ^ _35454 : [(4215 ^ _35454) ^ [] : [-(iext(_132079, _133183, 4212 ^ [_132077, _132079, _132081, _133183]))], (4217 ^ _35454) ^ [] : [-(icext(_132077, 4212 ^ [_132077, _132079, _132081, _133183]))], (4219 ^ _35454) ^ [] : [-(iext(_132079, _133183, 4213 ^ [_132077, _132079, _132081, _133183]))], (4221 ^ _35454) ^ [] : [-(icext(_132077, 4213 ^ [_132077, _132079, _132081, _133183]))], (4223 ^ _35454) ^ [] : [4213 ^ [_132077, _132079, _132081, _133183] = 4212 ^ [_132077, _132079, _132081, _133183]]], -(icext(_132081, _133183))], (4189 ^ _35454) ^ [_132475] : [icext(_132081, _132475), 4192 ^ _35454 : [(4193 ^ _35454) ^ [_132665, _132667] : [-(_132665 = _132667), iext(_132079, _132475, _132667), icext(_132077, _132667), iext(_132079, _132475, _132665), icext(_132077, _132665)]]]]], (4227 ^ _35454) ^ [_134031, _134033, _134035] : [iext(uri_owl_maxQualifiedCardinality, _134035, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _134035, _134033), iext(uri_owl_onClass, _134035, _134031), 4238 ^ _35454 : [(4273 ^ _35454) ^ [_135549] : [4277 ^ _35454 : [(4278 ^ _35454) ^ [] : [-(iext(_134033, _135549, 4274 ^ [_134031, _134033, _134035, _135549]))], (4280 ^ _35454) ^ [] : [-(icext(_134031, 4274 ^ [_134031, _134033, _134035, _135549]))], (4282 ^ _35454) ^ [] : [-(iext(_134033, _135549, 4275 ^ [_134031, _134033, _134035, _135549]))], (4284 ^ _35454) ^ [] : [-(icext(_134031, 4275 ^ [_134031, _134033, _134035, _135549]))], (4286 ^ _35454) ^ [] : [-(iext(_134033, _135549, 4276 ^ [_134031, _134033, _134035, _135549]))], (4288 ^ _35454) ^ [] : [-(icext(_134031, 4276 ^ [_134031, _134033, _134035, _135549]))], (4290 ^ _35454) ^ [] : [4276 ^ [_134031, _134033, _134035, _135549] = 4274 ^ [_134031, _134033, _134035, _135549]], (4292 ^ _35454) ^ [] : [4276 ^ [_134031, _134033, _134035, _135549] = 4275 ^ [_134031, _134033, _134035, _135549]]], -(icext(_134035, _135549))], (4239 ^ _35454) ^ [_134453] : [icext(_134035, _134453), 4242 ^ _35454 : [(4243 ^ _35454) ^ [_134681, _134683, _134685] : [-(_134681 = _134685), -(_134681 = _134683), iext(_134033, _134453, _134685), icext(_134031, _134685), iext(_134033, _134453, _134683), icext(_134031, _134683), iext(_134033, _134453, _134681), icext(_134031, _134681)]]]]], (4296 ^ _35454) ^ [_136897, _136899, _136901] : [iext(uri_owl_maxQualifiedCardinality, _136901, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _136901, _136899), iext(uri_owl_onClass, _136901, _136897), 4307 ^ _35454 : [(4354 ^ _35454) ^ [_138851] : [4359 ^ _35454 : [(4360 ^ _35454) ^ [] : [-(iext(_136899, _138851, 4355 ^ [_136897, _136899, _136901, _138851]))], (4362 ^ _35454) ^ [] : [-(icext(_136897, 4355 ^ [_136897, _136899, _136901, _138851]))], (4364 ^ _35454) ^ [] : [-(iext(_136899, _138851, 4356 ^ [_136897, _136899, _136901, _138851]))], (4366 ^ _35454) ^ [] : [-(icext(_136897, 4356 ^ [_136897, _136899, _136901, _138851]))], (4368 ^ _35454) ^ [] : [-(iext(_136899, _138851, 4357 ^ [_136897, _136899, _136901, _138851]))], (4370 ^ _35454) ^ [] : [-(icext(_136897, 4357 ^ [_136897, _136899, _136901, _138851]))], (4372 ^ _35454) ^ [] : [-(iext(_136899, _138851, 4358 ^ [_136897, _136899, _136901, _138851]))], (4374 ^ _35454) ^ [] : [-(icext(_136897, 4358 ^ [_136897, _136899, _136901, _138851]))], (4376 ^ _35454) ^ [] : [4358 ^ [_136897, _136899, _136901, _138851] = 4355 ^ [_136897, _136899, _136901, _138851]], (4378 ^ _35454) ^ [] : [4358 ^ [_136897, _136899, _136901, _138851] = 4356 ^ [_136897, _136899, _136901, _138851]], (4380 ^ _35454) ^ [] : [4358 ^ [_136897, _136899, _136901, _138851] = 4357 ^ [_136897, _136899, _136901, _138851]]], -(icext(_136901, _138851))], (4308 ^ _35454) ^ [_137343] : [icext(_136901, _137343), 4311 ^ _35454 : [(4312 ^ _35454) ^ [_137609, _137611, _137613, _137615] : [-(_137609 = _137615), -(_137609 = _137613), -(_137609 = _137611), iext(_136899, _137343, _137615), icext(_136897, _137615), iext(_136899, _137343, _137613), icext(_136897, _137613), iext(_136899, _137343, _137611), icext(_136897, _137611), iext(_136899, _137343, _137609), icext(_136897, _137609)]]]]], (4384 ^ _35454) ^ [_140761, _140763] : [4391 ^ _35454 : [(4392 ^ _35454) ^ [_140970] : [-(icext(_140763, _140970))]], iext(uri_owl_minCardinality, _140763, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140763, _140761)], (4394 ^ _35454) ^ [_141086, _141088] : [iext(uri_owl_minCardinality, _141088, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141088, _141086), 4401 ^ _35454 : [(4402 ^ _35454) ^ [_141351] : [icext(_141088, _141351), -(iext(_141086, _141351, 4405 ^ [_141086, _141088, _141351]))], (4409 ^ _35454) ^ [_141589] : [4410 ^ _35454 : [(4411 ^ _35454) ^ [_141666] : [iext(_141086, _141589, _141666)]], -(icext(_141088, _141589))]]], (4415 ^ _35454) ^ [_141842, _141844] : [iext(uri_owl_minCardinality, _141844, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141844, _141842), 4422 ^ _35454 : [(4423 ^ _35454) ^ [_142127] : [icext(_141844, _142127), 4428 ^ _35454 : [(4429 ^ _35454) ^ [] : [-(iext(_141842, _142127, 4426 ^ [_141842, _141844, _142127]))], (4431 ^ _35454) ^ [] : [-(iext(_141842, _142127, 4427 ^ [_141842, _141844, _142127]))], (4433 ^ _35454) ^ [] : [4426 ^ [_141842, _141844, _142127] = 4427 ^ [_141842, _141844, _142127]]]], (4435 ^ _35454) ^ [_142656] : [-(icext(_141844, _142656)), 4436 ^ _35454 : [(4437 ^ _35454) ^ [_142783, _142785] : [iext(_141842, _142656, _142785), iext(_141842, _142656, _142783), -(_142785 = _142783)]]]]], (4449 ^ _35454) ^ [_143186, _143188] : [iext(uri_owl_minCardinality, _143188, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _143188, _143186), 4456 ^ _35454 : [(4457 ^ _35454) ^ [_143499] : [icext(_143188, _143499), 4463 ^ _35454 : [(4464 ^ _35454) ^ [] : [-(iext(_143186, _143499, 4460 ^ [_143186, _143188, _143499]))], (4466 ^ _35454) ^ [] : [-(iext(_143186, _143499, 4461 ^ [_143186, _143188, _143499]))], (4468 ^ _35454) ^ [] : [-(iext(_143186, _143499, 4462 ^ [_143186, _143188, _143499]))], (4470 ^ _35454) ^ [] : [4460 ^ [_143186, _143188, _143499] = 4461 ^ [_143186, _143188, _143499]], (4472 ^ _35454) ^ [] : [4460 ^ [_143186, _143188, _143499] = 4462 ^ [_143186, _143188, _143499]], (4474 ^ _35454) ^ [] : [4461 ^ [_143186, _143188, _143499] = 4462 ^ [_143186, _143188, _143499]]]], (4476 ^ _35454) ^ [_144517] : [-(icext(_143188, _144517)), 4477 ^ _35454 : [(4478 ^ _35454) ^ [_144686, _144688, _144690] : [iext(_143186, _144517, _144690), iext(_143186, _144517, _144688), iext(_143186, _144517, _144686), -(_144690 = _144688), -(_144690 = _144686), -(_144688 = _144686)]]]]], (4502 ^ _35454) ^ [_145436, _145438, _145440] : [4513 ^ _35454 : [(4514 ^ _35454) ^ [] : [-(iodp(_145438))], (4516 ^ _35454) ^ [_145820] : [-(icext(_145440, _145820))]], iext(uri_owl_minQualifiedCardinality, _145440, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145440, _145438), iext(uri_owl_onDataRange, _145440, _145436)], (4518 ^ _35454) ^ [_145954, _145956, _145958] : [iext(uri_owl_minQualifiedCardinality, _145958, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145958, _145956), iext(uri_owl_onDataRange, _145958, _145954), 4529 ^ _35454 : [(4530 ^ _35454) ^ [] : [-(iodp(_145956))], (4532 ^ _35454) ^ [_146405] : [icext(_145958, _146405), 4536 ^ _35454 : [(4537 ^ _35454) ^ [] : [-(lv(4535 ^ [_145954, _145956, _145958, _146405]))], (4539 ^ _35454) ^ [] : [-(iext(_145956, _146405, 4535 ^ [_145954, _145956, _145958, _146405]))], (4541 ^ _35454) ^ [] : [-(icext(_145954, 4535 ^ [_145954, _145956, _145958, _146405]))]]], (4543 ^ _35454) ^ [_146845] : [-(icext(_145958, _146845)), 4544 ^ _35454 : [(4545 ^ _35454) ^ [_146953] : [lv(_146953), iext(_145956, _146845, _146953), icext(_145954, _146953)]]]]], (4557 ^ _35454) ^ [_147371, _147373, _147375] : [iext(uri_owl_minQualifiedCardinality, _147375, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147375, _147373), iext(uri_owl_onDataRange, _147375, _147371), 4568 ^ _35454 : [(4569 ^ _35454) ^ [] : [-(iodp(_147373))], (4571 ^ _35454) ^ [_147853] : [icext(_147375, _147853), 4576 ^ _35454 : [(4577 ^ _35454) ^ [] : [-(lv(4574 ^ [_147371, _147373, _147375, _147853]))], (4579 ^ _35454) ^ [] : [-(iext(_147373, _147853, 4574 ^ [_147371, _147373, _147375, _147853]))], (4581 ^ _35454) ^ [] : [-(icext(_147371, 4574 ^ [_147371, _147373, _147375, _147853]))], (4583 ^ _35454) ^ [] : [-(lv(4575 ^ [_147371, _147373, _147375, _147853]))], (4585 ^ _35454) ^ [] : [-(iext(_147373, _147853, 4575 ^ [_147371, _147373, _147375, _147853]))], (4587 ^ _35454) ^ [] : [-(icext(_147371, 4575 ^ [_147371, _147373, _147375, _147853]))], (4589 ^ _35454) ^ [] : [4574 ^ [_147371, _147373, _147375, _147853] = 4575 ^ [_147371, _147373, _147375, _147853]]]], (4591 ^ _35454) ^ [_148832] : [-(icext(_147375, _148832)), 4592 ^ _35454 : [(4593 ^ _35454) ^ [_148985, _148987] : [lv(_148987), iext(_147373, _148832, _148987), icext(_147371, _148987), lv(_148985), iext(_147373, _148832, _148985), icext(_147371, _148985), -(_148987 = _148985)]]]]], (4621 ^ _35454) ^ [_149836, _149838, _149840] : [iext(uri_owl_minQualifiedCardinality, _149840, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149840, _149838), iext(uri_owl_onDataRange, _149840, _149836), 4632 ^ _35454 : [(4633 ^ _35454) ^ [] : [-(iodp(_149838))], (4635 ^ _35454) ^ [_150357] : [icext(_149840, _150357), 4641 ^ _35454 : [(4642 ^ _35454) ^ [] : [-(lv(4638 ^ [_149836, _149838, _149840, _150357]))], (4644 ^ _35454) ^ [] : [-(iext(_149838, _150357, 4638 ^ [_149836, _149838, _149840, _150357]))], (4646 ^ _35454) ^ [] : [-(icext(_149836, 4638 ^ [_149836, _149838, _149840, _150357]))], (4648 ^ _35454) ^ [] : [-(lv(4639 ^ [_149836, _149838, _149840, _150357]))], (4650 ^ _35454) ^ [] : [-(iext(_149838, _150357, 4639 ^ [_149836, _149838, _149840, _150357]))], (4652 ^ _35454) ^ [] : [-(icext(_149836, 4639 ^ [_149836, _149838, _149840, _150357]))], (4654 ^ _35454) ^ [] : [-(lv(4640 ^ [_149836, _149838, _149840, _150357]))], (4656 ^ _35454) ^ [] : [-(iext(_149838, _150357, 4640 ^ [_149836, _149838, _149840, _150357]))], (4658 ^ _35454) ^ [] : [-(icext(_149836, 4640 ^ [_149836, _149838, _149840, _150357]))], (4660 ^ _35454) ^ [] : [4638 ^ [_149836, _149838, _149840, _150357] = 4639 ^ [_149836, _149838, _149840, _150357]], (4662 ^ _35454) ^ [] : [4638 ^ [_149836, _149838, _149840, _150357] = 4640 ^ [_149836, _149838, _149840, _150357]], (4664 ^ _35454) ^ [] : [4639 ^ [_149836, _149838, _149840, _150357] = 4640 ^ [_149836, _149838, _149840, _150357]]]], (4666 ^ _35454) ^ [_152134] : [-(icext(_149840, _152134)), 4667 ^ _35454 : [(4668 ^ _35454) ^ [_152340, _152342, _152344] : [lv(_152344), iext(_149838, _152134, _152344), icext(_149836, _152344), lv(_152342), iext(_149838, _152134, _152342), icext(_149836, _152342), lv(_152340), iext(_149838, _152134, _152340), icext(_149836, _152340), -(_152344 = _152342), -(_152344 = _152340), -(_152342 = _152340)]]]]], (4716 ^ _35454) ^ [_153768, _153770, _153772] : [4727 ^ _35454 : [(4728 ^ _35454) ^ [_154080] : [-(icext(_153772, _154080))]], iext(uri_owl_minQualifiedCardinality, _153772, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153772, _153770), iext(uri_owl_onClass, _153772, _153768)], (4730 ^ _35454) ^ [_154212, _154214, _154216] : [iext(uri_owl_minQualifiedCardinality, _154216, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154216, _154214), iext(uri_owl_onClass, _154216, _154212), 4741 ^ _35454 : [(4742 ^ _35454) ^ [_154586] : [icext(_154216, _154586), 4746 ^ _35454 : [(4747 ^ _35454) ^ [] : [-(iext(_154214, _154586, 4745 ^ [_154212, _154214, _154216, _154586]))], (4749 ^ _35454) ^ [] : [-(icext(_154212, 4745 ^ [_154212, _154214, _154216, _154586]))]]], (4751 ^ _35454) ^ [_154934] : [-(icext(_154216, _154934)), 4752 ^ _35454 : [(4753 ^ _35454) ^ [_155037] : [iext(_154214, _154934, _155037), icext(_154212, _155037)]]]]], (4761 ^ _35454) ^ [_155354, _155356, _155358] : [iext(uri_owl_minQualifiedCardinality, _155358, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155358, _155356), iext(uri_owl_onClass, _155358, _155354), 4772 ^ _35454 : [(4773 ^ _35454) ^ [_155754] : [icext(_155358, _155754), 4778 ^ _35454 : [(4779 ^ _35454) ^ [] : [-(iext(_155356, _155754, 4776 ^ [_155354, _155356, _155358, _155754]))], (4781 ^ _35454) ^ [] : [-(icext(_155354, 4776 ^ [_155354, _155356, _155358, _155754]))], (4783 ^ _35454) ^ [] : [-(iext(_155356, _155754, 4777 ^ [_155354, _155356, _155358, _155754]))], (4785 ^ _35454) ^ [] : [-(icext(_155354, 4777 ^ [_155354, _155356, _155358, _155754]))], (4787 ^ _35454) ^ [] : [4776 ^ [_155354, _155356, _155358, _155754] = 4777 ^ [_155354, _155356, _155358, _155754]]]], (4789 ^ _35454) ^ [_156528] : [-(icext(_155358, _156528)), 4790 ^ _35454 : [(4791 ^ _35454) ^ [_156671, _156673] : [iext(_155356, _156528, _156673), icext(_155354, _156673), iext(_155356, _156528, _156671), icext(_155354, _156671), -(_156673 = _156671)]]]]], (4811 ^ _35454) ^ [_157314, _157316, _157318] : [iext(uri_owl_minQualifiedCardinality, _157318, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _157318, _157316), iext(uri_owl_onClass, _157318, _157314), 4822 ^ _35454 : [(4823 ^ _35454) ^ [_157748] : [icext(_157318, _157748), 4829 ^ _35454 : [(4830 ^ _35454) ^ [] : [-(iext(_157316, _157748, 4826 ^ [_157314, _157316, _157318, _157748]))], (4832 ^ _35454) ^ [] : [-(icext(_157314, 4826 ^ [_157314, _157316, _157318, _157748]))], (4834 ^ _35454) ^ [] : [-(iext(_157316, _157748, 4827 ^ [_157314, _157316, _157318, _157748]))], (4836 ^ _35454) ^ [] : [-(icext(_157314, 4827 ^ [_157314, _157316, _157318, _157748]))], (4838 ^ _35454) ^ [] : [-(iext(_157316, _157748, 4828 ^ [_157314, _157316, _157318, _157748]))], (4840 ^ _35454) ^ [] : [-(icext(_157314, 4828 ^ [_157314, _157316, _157318, _157748]))], (4842 ^ _35454) ^ [] : [4826 ^ [_157314, _157316, _157318, _157748] = 4827 ^ [_157314, _157316, _157318, _157748]], (4844 ^ _35454) ^ [] : [4826 ^ [_157314, _157316, _157318, _157748] = 4828 ^ [_157314, _157316, _157318, _157748]], (4846 ^ _35454) ^ [] : [4827 ^ [_157314, _157316, _157318, _157748] = 4828 ^ [_157314, _157316, _157318, _157748]]]], (4848 ^ _35454) ^ [_159186] : [-(icext(_157318, _159186)), 4849 ^ _35454 : [(4850 ^ _35454) ^ [_159377, _159379, _159381] : [iext(_157316, _159186, _159381), icext(_157314, _159381), iext(_157316, _159186, _159379), icext(_157314, _159379), iext(_157316, _159186, _159377), icext(_157314, _159377), -(_159381 = _159379), -(_159381 = _159377), -(_159379 = _159377)]]]]], (4886 ^ _35454) ^ [_160482, _160484, _160486] : [iext(uri_owl_someValuesFrom, _160486, _160482), iext(uri_owl_onProperty, _160486, _160484), 4893 ^ _35454 : [(4894 ^ _35454) ^ [_160761] : [icext(_160486, _160761), 4898 ^ _35454 : [(4899 ^ _35454) ^ [] : [-(iext(_160484, _160761, 4897 ^ [_160482, _160484, _160486, _160761]))], (4901 ^ _35454) ^ [] : [-(icext(_160482, 4897 ^ [_160482, _160484, _160486, _160761]))]]], (4903 ^ _35454) ^ [_161109] : [-(icext(_160486, _161109)), 4904 ^ _35454 : [(4905 ^ _35454) ^ [_161212] : [iext(_160484, _161109, _161212), icext(_160482, _161212)]]]]], (4913 ^ _35454) ^ [_161542, _161544] : [iext(uri_rdfs_domain, _161544, _161542), 4916 ^ _35454 : [(4917 ^ _35454) ^ [] : [-(ip(_161544))], (4919 ^ _35454) ^ [] : [-(ic(_161542))], (4921 ^ _35454) ^ [_161841, _161843] : [iext(_161544, _161843, _161841), -(icext(_161542, _161843))]]], (4927 ^ _35454) ^ [_162030, _162032] : [-(iext(uri_rdfs_domain, _162032, _162030)), ip(_162032), ic(_162030), 4938 ^ _35454 : [(4939 ^ _35454) ^ [] : [-(iext(_162032, 4936 ^ [_162030, _162032], 4937 ^ [_162030, _162032]))], (4941 ^ _35454) ^ [] : [icext(_162030, 4936 ^ [_162030, _162032])]]], (4945 ^ _35454) ^ [_162678, _162680] : [iext(uri_rdfs_range, _162680, _162678), 4948 ^ _35454 : [(4949 ^ _35454) ^ [] : [-(ip(_162680))], (4951 ^ _35454) ^ [] : [-(ip(_162678))], (4953 ^ _35454) ^ [_162977, _162979] : [iext(_162680, _162979, _162977), -(icext(_162678, _162977))]]], (4959 ^ _35454) ^ [_163166, _163168] : [-(iext(uri_rdfs_range, _163168, _163166)), ip(_163168), ip(_163166), 4970 ^ _35454 : [(4971 ^ _35454) ^ [] : [-(iext(_163168, 4968 ^ [_163166, _163168], 4969 ^ [_163166, _163168]))], (4973 ^ _35454) ^ [] : [icext(_163166, 4969 ^ [_163166, _163168])]]], (4977 ^ _35454) ^ [_163807, _163809] : [iext(uri_rdfs_subClassOf, _163809, _163807), 4980 ^ _35454 : [(4981 ^ _35454) ^ [] : [-(ic(_163809))], (4983 ^ _35454) ^ [] : [-(ic(_163807))], (4985 ^ _35454) ^ [_164086] : [icext(_163809, _164086), -(icext(_163807, _164086))]]], (4991 ^ _35454) ^ [_164267, _164269] : [-(iext(uri_rdfs_subClassOf, _164269, _164267)), ic(_164269), ic(_164267), 5001 ^ _35454 : [(5002 ^ _35454) ^ [] : [-(icext(_164269, 5000 ^ [_164267, _164269]))], (5004 ^ _35454) ^ [] : [icext(_164267, 5000 ^ [_164267, _164269])]]], (5008 ^ _35454) ^ [_164829, _164831] : [iext(uri_rdfs_subPropertyOf, _164831, _164829), 5011 ^ _35454 : [(5012 ^ _35454) ^ [] : [-(ip(_164831))], (5014 ^ _35454) ^ [] : [-(ip(_164829))], (5016 ^ _35454) ^ [_165129, _165131] : [iext(_164831, _165131, _165129), -(iext(_164829, _165131, _165129))]]], (5022 ^ _35454) ^ [_165320, _165322] : [-(iext(uri_rdfs_subPropertyOf, _165322, _165320)), ip(_165322), ip(_165320), 5033 ^ _35454 : [(5034 ^ _35454) ^ [] : [-(iext(_165322, 5031 ^ [_165320, _165322], 5032 ^ [_165320, _165322]))], (5036 ^ _35454) ^ [] : [iext(_165320, 5031 ^ [_165320, _165322], 5032 ^ [_165320, _165322])]]], (5040 ^ _35454) ^ [_165979, _165981] : [iext(uri_owl_differentFrom, _165981, _165979), _165981 = _165979], (5046 ^ _35454) ^ [_166144, _166146] : [-(_166146 = _166144), -(iext(uri_owl_differentFrom, _166146, _166144))], (5052 ^ _35454) ^ [_166376] : [iext(uri_owl_disjointUnionOf, _166376, uri_rdf_nil), 5055 ^ _35454 : [(5056 ^ _35454) ^ [] : [-(ic(_166376))], (5058 ^ _35454) ^ [_166559] : [icext(_166376, _166559)]]], (5060 ^ _35454) ^ [_166627] : [-(iext(uri_owl_disjointUnionOf, _166627, uri_rdf_nil)), ic(_166627), -(icext(_166627, 5065 ^ [_166627]))], (5071 ^ _35454) ^ [_166988, _166990, _166992] : [iext(uri_rdf_first, _166990, _166988), iext(uri_rdf_rest, _166990, uri_rdf_nil), 5078 ^ _35454 : [(5079 ^ _35454) ^ [] : [iext(uri_owl_disjointUnionOf, _166992, _166990), 5082 ^ _35454 : [(5083 ^ _35454) ^ [] : [-(ic(_166992))], (5085 ^ _35454) ^ [] : [-(ic(_166988))], (5087 ^ _35454) ^ [_167519] : [icext(_166992, _167519), -(icext(_166988, _167519))], (5093 ^ _35454) ^ [_167699] : [icext(_166988, _167699), -(icext(_166992, _167699))]]], (5099 ^ _35454) ^ [] : [-(iext(uri_owl_disjointUnionOf, _166992, _166990)), ic(_166992), ic(_166988), 5111 ^ _35454 : [(5112 ^ _35454) ^ [] : [-(icext(_166992, 5108 ^ [_166988, _166990, _166992]))], (5114 ^ _35454) ^ [] : [icext(_166988, 5108 ^ [_166988, _166990, _166992])]], 5115 ^ _35454 : [(5116 ^ _35454) ^ [] : [-(icext(_166988, 5108 ^ [_166988, _166990, _166992]))], (5118 ^ _35454) ^ [] : [icext(_166992, 5108 ^ [_166988, _166990, _166992])]]]]], (5122 ^ _35454) ^ [_168626, _168628, _168630, _168632, _168634] : [iext(uri_rdf_first, _168632, _168630), iext(uri_rdf_rest, _168632, _168628), iext(uri_rdf_first, _168628, _168626), iext(uri_rdf_rest, _168628, uri_rdf_nil), 5137 ^ _35454 : [(5178 ^ _35454) ^ [] : [-(iext(uri_owl_disjointUnionOf, _168634, _168632)), ic(_168634), ic(_168630), ic(_168626), 5194 ^ _35454 : [(5195 ^ _35454) ^ [] : [-(icext(_168634, 5191 ^ [_168626, _168628, _168630, _168632, _168634]))], (5197 ^ _35454) ^ [] : [5198 ^ _35454 : [(5199 ^ _35454) ^ [] : [icext(_168630, 5191 ^ [_168626, _168628, _168630, _168632, _168634])], (5201 ^ _35454) ^ [] : [icext(_168626, 5191 ^ [_168626, _168628, _168630, _168632, _168634])]], 5202 ^ _35454 : [(5203 ^ _35454) ^ [] : [-(icext(_168630, 5191 ^ [_168626, _168628, _168630, _168632, _168634]))], (5205 ^ _35454) ^ [] : [-(icext(_168626, 5191 ^ [_168626, _168628, _168630, _168632, _168634]))]]]], 5206 ^ _35454 : [(5219 ^ _35454) ^ [] : [icext(_168634, 5191 ^ [_168626, _168628, _168630, _168632, _168634])], (5207 ^ _35454) ^ [] : [-(icext(_168630, 5191 ^ [_168626, _168628, _168630, _168632, _168634])), -(icext(_168626, 5191 ^ [_168626, _168628, _168630, _168632, _168634]))], (5213 ^ _35454) ^ [] : [icext(_168630, 5191 ^ [_168626, _168628, _168630, _168632, _168634]), icext(_168626, 5191 ^ [_168626, _168628, _168630, _168632, _168634])]]], (5138 ^ _35454) ^ [] : [iext(uri_owl_disjointUnionOf, _168634, _168632), 5141 ^ _35454 : [(5142 ^ _35454) ^ [] : [-(ic(_168634))], (5144 ^ _35454) ^ [] : [-(ic(_168630))], (5146 ^ _35454) ^ [] : [-(ic(_168626))], (5164 ^ _35454) ^ [_169982] : [-(icext(_168634, _169982)), 5167 ^ _35454 : [(5168 ^ _35454) ^ [] : [icext(_168630, _169982)], (5170 ^ _35454) ^ [] : [icext(_168626, _169982)]], 5171 ^ _35454 : [(5172 ^ _35454) ^ [] : [-(icext(_168630, _169982))], (5174 ^ _35454) ^ [] : [-(icext(_168626, _169982))]]], (5148 ^ _35454) ^ [_169491] : [icext(_168634, _169491), 5151 ^ _35454 : [(5152 ^ _35454) ^ [] : [-(icext(_168630, _169491)), -(icext(_168626, _169491))], (5158 ^ _35454) ^ [] : [icext(_168630, _169491), icext(_168626, _169491)]]]]]]], (5223 ^ _35454) ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013] : [iext(uri_rdf_first, _172011, _172009), iext(uri_rdf_rest, _172011, _172007), iext(uri_rdf_first, _172007, _172005), iext(uri_rdf_rest, _172007, _172003), iext(uri_rdf_first, _172003, _172001), iext(uri_rdf_rest, _172003, uri_rdf_nil), 5246 ^ _35454 : [(5319 ^ _35454) ^ [] : [-(iext(uri_owl_disjointUnionOf, _172013, _172011)), ic(_172013), ic(_172009), ic(_172005), ic(_172001), 5339 ^ _35454 : [(5340 ^ _35454) ^ [] : [-(icext(_172013, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))], (5342 ^ _35454) ^ [] : [5343 ^ _35454 : [(5344 ^ _35454) ^ [] : [icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])], (5346 ^ _35454) ^ [] : [icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])], (5348 ^ _35454) ^ [] : [icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])]], 5351 ^ _35454 : [(5352 ^ _35454) ^ [] : [-(icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))], (5354 ^ _35454) ^ [] : [-(icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))]], 5357 ^ _35454 : [(5358 ^ _35454) ^ [] : [-(icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))], (5360 ^ _35454) ^ [] : [-(icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))]], 5361 ^ _35454 : [(5362 ^ _35454) ^ [] : [-(icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))], (5364 ^ _35454) ^ [] : [-(icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))]]]], 5365 ^ _35454 : [(5394 ^ _35454) ^ [] : [icext(_172013, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])], (5366 ^ _35454) ^ [] : [-(icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])), -(icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])), -(icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]))], (5376 ^ _35454) ^ [] : [icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]), icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])], (5382 ^ _35454) ^ [] : [icext(_172009, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]), icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])], (5388 ^ _35454) ^ [] : [icext(_172005, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013]), icext(_172001, 5336 ^ [_172001, _172003, _172005, _172007, _172009, _172011, _172013])]]], (5247 ^ _35454) ^ [] : [iext(uri_owl_disjointUnionOf, _172013, _172011), 5250 ^ _35454 : [(5251 ^ _35454) ^ [] : [-(ic(_172013))], (5253 ^ _35454) ^ [] : [-(ic(_172009))], (5255 ^ _35454) ^ [] : [-(ic(_172005))], (5257 ^ _35454) ^ [] : [-(ic(_172001))], (5291 ^ _35454) ^ [_174295] : [-(icext(_172013, _174295)), 5294 ^ _35454 : [(5295 ^ _35454) ^ [] : [icext(_172009, _174295)], (5297 ^ _35454) ^ [] : [icext(_172005, _174295)], (5299 ^ _35454) ^ [] : [icext(_172001, _174295)]], 5302 ^ _35454 : [(5303 ^ _35454) ^ [] : [-(icext(_172009, _174295))], (5305 ^ _35454) ^ [] : [-(icext(_172005, _174295))]], 5308 ^ _35454 : [(5309 ^ _35454) ^ [] : [-(icext(_172009, _174295))], (5311 ^ _35454) ^ [] : [-(icext(_172001, _174295))]], 5312 ^ _35454 : [(5313 ^ _35454) ^ [] : [-(icext(_172005, _174295))], (5315 ^ _35454) ^ [] : [-(icext(_172001, _174295))]]], (5259 ^ _35454) ^ [_173254] : [icext(_172013, _173254), 5262 ^ _35454 : [(5263 ^ _35454) ^ [] : [-(icext(_172009, _173254)), -(icext(_172005, _173254)), -(icext(_172001, _173254))], (5273 ^ _35454) ^ [] : [icext(_172009, _173254), icext(_172005, _173254)], (5279 ^ _35454) ^ [] : [icext(_172009, _173254), icext(_172001, _173254)], (5285 ^ _35454) ^ [] : [icext(_172005, _173254), icext(_172001, _173254)]]]]]]], (5398 ^ _35454) ^ [_178151, _178153] : [iext(uri_owl_disjointWith, _178153, _178151), 5401 ^ _35454 : [(5402 ^ _35454) ^ [] : [-(ic(_178153))], (5404 ^ _35454) ^ [] : [-(ic(_178151))], (5406 ^ _35454) ^ [_178432] : [icext(_178153, _178432), icext(_178151, _178432)]]], (5412 ^ _35454) ^ [_178612, _178614] : [-(iext(uri_owl_disjointWith, _178614, _178612)), ic(_178614), ic(_178612), 5422 ^ _35454 : [(5423 ^ _35454) ^ [] : [-(icext(_178614, 5421 ^ [_178612, _178614]))], (5425 ^ _35454) ^ [] : [-(icext(_178612, 5421 ^ [_178612, _178614]))]]], (5429 ^ _35454) ^ [_179179, _179181] : [iext(uri_owl_equivalentClass, _179181, _179179), 5432 ^ _35454 : [(5433 ^ _35454) ^ [] : [-(ic(_179181))], (5435 ^ _35454) ^ [] : [-(ic(_179179))], (5437 ^ _35454) ^ [_179487] : [icext(_179181, _179487), -(icext(_179179, _179487))], (5443 ^ _35454) ^ [_179659] : [icext(_179179, _179659), -(icext(_179181, _179659))]]], (5449 ^ _35454) ^ [_179842, _179844] : [-(iext(uri_owl_equivalentClass, _179844, _179842)), ic(_179844), ic(_179842), 5461 ^ _35454 : [(5462 ^ _35454) ^ [] : [-(icext(_179844, 5458 ^ [_179842, _179844]))], (5464 ^ _35454) ^ [] : [icext(_179842, 5458 ^ [_179842, _179844])]], 5465 ^ _35454 : [(5466 ^ _35454) ^ [] : [-(icext(_179842, 5458 ^ [_179842, _179844]))], (5468 ^ _35454) ^ [] : [icext(_179844, 5458 ^ [_179842, _179844])]]], (5472 ^ _35454) ^ [_180579, _180581] : [iext(uri_owl_equivalentProperty, _180581, _180579), 5475 ^ _35454 : [(5476 ^ _35454) ^ [] : [-(ip(_180581))], (5478 ^ _35454) ^ [] : [-(ip(_180579))], (5480 ^ _35454) ^ [_180908, _180910] : [iext(_180581, _180910, _180908), -(iext(_180579, _180910, _180908))], (5486 ^ _35454) ^ [_181090, _181092] : [iext(_180579, _181092, _181090), -(iext(_180581, _181092, _181090))]]], (5492 ^ _35454) ^ [_181283, _181285] : [-(iext(uri_owl_equivalentProperty, _181285, _181283)), ip(_181285), ip(_181283), 5505 ^ _35454 : [(5506 ^ _35454) ^ [] : [-(iext(_181285, 5501 ^ [_181283, _181285], 5502 ^ [_181283, _181285]))], (5508 ^ _35454) ^ [] : [iext(_181283, 5501 ^ [_181283, _181285], 5502 ^ [_181283, _181285])]], 5509 ^ _35454 : [(5510 ^ _35454) ^ [] : [-(iext(_181283, 5501 ^ [_181283, _181285], 5502 ^ [_181283, _181285]))], (5512 ^ _35454) ^ [] : [iext(_181285, 5501 ^ [_181283, _181285], 5502 ^ [_181283, _181285])]]], (5516 ^ _35454) ^ [_182133, _182135] : [iext(uri_owl_propertyDisjointWith, _182135, _182133), 5519 ^ _35454 : [(5520 ^ _35454) ^ [] : [-(ip(_182135))], (5522 ^ _35454) ^ [] : [-(ip(_182133))], (5524 ^ _35454) ^ [_182435, _182437] : [iext(_182135, _182437, _182435), iext(_182133, _182437, _182435)]]], (5530 ^ _35454) ^ [_182625, _182627] : [-(iext(uri_owl_propertyDisjointWith, _182627, _182625)), ip(_182627), ip(_182625), 5541 ^ _35454 : [(5542 ^ _35454) ^ [] : [-(iext(_182627, 5539 ^ [_182625, _182627], 5540 ^ [_182625, _182627]))], (5544 ^ _35454) ^ [] : [-(iext(_182625, 5539 ^ [_182625, _182627], 5540 ^ [_182625, _182627]))]]], (5548 ^ _35454) ^ [_183291, _183293] : [iext(uri_owl_sameAs, _183293, _183291), -(_183293 = _183291)], (5554 ^ _35454) ^ [_183455, _183457] : [_183457 = _183455, -(iext(uri_owl_sameAs, _183457, _183455))], (5561 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5559 ^ []))], (5563 ^ _35454) ^ [] : [-(iext(uri_owl_distinctMembers, 5559 ^ [], uri_rdf_nil))], (5565 ^ _35454) ^ [_183821, _183823] : [5573 ^ _35454 : [(5574 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5572 ^ [_183821, _183823]))], (5576 ^ _35454) ^ [] : [-(iext(uri_owl_distinctMembers, 5572 ^ [_183821, _183823], _183823))]], iext(uri_rdf_first, _183823, _183821), iext(uri_rdf_rest, _183823, uri_rdf_nil)], (5578 ^ _35454) ^ [_184300, _184302, _184304, _184306] : [5598 ^ _35454 : [(5599 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5597 ^ [_184300, _184302, _184304, _184306]))], (5601 ^ _35454) ^ [] : [-(iext(uri_owl_distinctMembers, 5597 ^ [_184300, _184302, _184304, _184306], _184306))]], iext(uri_rdf_first, _184306, _184304), iext(uri_rdf_rest, _184306, _184302), iext(uri_rdf_first, _184302, _184300), iext(uri_rdf_rest, _184302, uri_rdf_nil), -(_184304 = _184300)], (5603 ^ _35454) ^ [_185145, _185147, _185149, _185151, _185153, _185155] : [5639 ^ _35454 : [(5640 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5638 ^ [_185145, _185147, _185149, _185151, _185153, _185155]))], (5642 ^ _35454) ^ [] : [-(iext(uri_owl_distinctMembers, 5638 ^ [_185145, _185147, _185149, _185151, _185153, _185155], _185155))]], iext(uri_rdf_first, _185155, _185153), iext(uri_rdf_rest, _185155, _185151), iext(uri_rdf_first, _185151, _185149), iext(uri_rdf_rest, _185151, _185147), iext(uri_rdf_first, _185147, _185145), iext(uri_rdf_rest, _185147, uri_rdf_nil), -(_185153 = _185149), -(_185153 = _185145), -(_185149 = _185145)], (5644 ^ _35454) ^ [] : [-(tautology), tautology], (5650 ^ _35454) ^ [] : [-(tautology), tautology], (5656 ^ _35454) ^ [_186708, _186710, _186712, _186714, _186716] : [_186712 = _186708, iext(uri_rdf_first, _186714, _186712), iext(uri_rdf_rest, _186714, _186710), iext(uri_rdf_first, _186710, _186708), iext(uri_rdf_rest, _186710, uri_rdf_nil), icext(uri_owl_AllDifferent, _186716), iext(uri_owl_distinctMembers, _186716, _186714)], (5682 ^ _35454) ^ [_187522, _187524, _187526, _187528, _187530, _187532, _187534] : [5713 ^ _35454 : [(5714 ^ _35454) ^ [] : [_187530 = _187526], (5716 ^ _35454) ^ [] : [_187530 = _187522], (5718 ^ _35454) ^ [] : [_187526 = _187522]], iext(uri_rdf_first, _187532, _187530), iext(uri_rdf_rest, _187532, _187528), iext(uri_rdf_first, _187528, _187526), iext(uri_rdf_rest, _187528, _187524), iext(uri_rdf_first, _187524, _187522), iext(uri_rdf_rest, _187524, uri_rdf_nil), icext(uri_owl_AllDifferent, _187534), iext(uri_owl_distinctMembers, _187534, _187532)], (5721 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5719 ^ []))], (5723 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5719 ^ [], uri_rdf_nil))], (5725 ^ _35454) ^ [_188863, _188865] : [5733 ^ _35454 : [(5734 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5732 ^ [_188863, _188865]))], (5736 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5732 ^ [_188863, _188865], _188865))]], iext(uri_rdf_first, _188865, _188863), iext(uri_rdf_rest, _188865, uri_rdf_nil)], (5738 ^ _35454) ^ [_189342, _189344, _189346, _189348] : [5758 ^ _35454 : [(5759 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5757 ^ [_189342, _189344, _189346, _189348]))], (5761 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5757 ^ [_189342, _189344, _189346, _189348], _189348))]], iext(uri_rdf_first, _189348, _189346), iext(uri_rdf_rest, _189348, _189344), iext(uri_rdf_first, _189344, _189342), iext(uri_rdf_rest, _189344, uri_rdf_nil), -(_189346 = _189342)], (5763 ^ _35454) ^ [_190187, _190189, _190191, _190193, _190195, _190197] : [5799 ^ _35454 : [(5800 ^ _35454) ^ [] : [-(icext(uri_owl_AllDifferent, 5798 ^ [_190187, _190189, _190191, _190193, _190195, _190197]))], (5802 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5798 ^ [_190187, _190189, _190191, _190193, _190195, _190197], _190197))]], iext(uri_rdf_first, _190197, _190195), iext(uri_rdf_rest, _190197, _190193), iext(uri_rdf_first, _190193, _190191), iext(uri_rdf_rest, _190193, _190189), iext(uri_rdf_first, _190189, _190187), iext(uri_rdf_rest, _190189, uri_rdf_nil), -(_190195 = _190191), -(_190195 = _190187), -(_190191 = _190187)], (5804 ^ _35454) ^ [] : [-(tautology), tautology], (5810 ^ _35454) ^ [] : [-(tautology), tautology], (5816 ^ _35454) ^ [_191750, _191752, _191754, _191756, _191758] : [_191754 = _191750, iext(uri_rdf_first, _191756, _191754), iext(uri_rdf_rest, _191756, _191752), iext(uri_rdf_first, _191752, _191750), iext(uri_rdf_rest, _191752, uri_rdf_nil), icext(uri_owl_AllDifferent, _191758), iext(uri_owl_members, _191758, _191756)], (5842 ^ _35454) ^ [_192564, _192566, _192568, _192570, _192572, _192574, _192576] : [5873 ^ _35454 : [(5874 ^ _35454) ^ [] : [_192572 = _192568], (5876 ^ _35454) ^ [] : [_192572 = _192564], (5878 ^ _35454) ^ [] : [_192568 = _192564]], iext(uri_rdf_first, _192574, _192572), iext(uri_rdf_rest, _192574, _192570), iext(uri_rdf_first, _192570, _192568), iext(uri_rdf_rest, _192570, _192566), iext(uri_rdf_first, _192566, _192564), iext(uri_rdf_rest, _192566, uri_rdf_nil), icext(uri_owl_AllDifferent, _192576), iext(uri_owl_members, _192576, _192574)], (5881 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5879 ^ []))], (5883 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5879 ^ [], uri_rdf_nil))], (5885 ^ _35454) ^ [_193905, _193907] : [5893 ^ _35454 : [(5894 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5892 ^ [_193905, _193907]))], (5896 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5892 ^ [_193905, _193907], _193907))]], iext(uri_rdf_first, _193907, _193905), iext(uri_rdf_rest, _193907, uri_rdf_nil)], (5898 ^ _35454) ^ [_194384, _194386, _194388, _194390] : [5921 ^ _35454 : [(5922 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5920 ^ [_194384, _194386, _194388, _194390]))], (5924 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5920 ^ [_194384, _194386, _194388, _194390], _194390))]], iext(uri_rdf_first, _194390, _194388), iext(uri_rdf_rest, _194390, _194386), iext(uri_rdf_first, _194386, _194384), iext(uri_rdf_rest, _194386, uri_rdf_nil), 5916 ^ _35454 : [(5917 ^ _35454) ^ [] : [-(icext(_194388, 5915 ^ [_194384, _194386, _194388, _194390]))], (5919 ^ _35454) ^ [] : [-(icext(_194384, 5915 ^ [_194384, _194386, _194388, _194390]))]]], (5926 ^ _35454) ^ [_195396, _195398, _195400, _195402, _195404, _195406] : [5971 ^ _35454 : [(5972 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5970 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))], (5974 ^ _35454) ^ [] : [-(iext(uri_owl_members, 5970 ^ [_195396, _195398, _195400, _195402, _195404, _195406], _195406))]], iext(uri_rdf_first, _195406, _195404), iext(uri_rdf_rest, _195406, _195402), iext(uri_rdf_first, _195402, _195400), iext(uri_rdf_rest, _195402, _195398), iext(uri_rdf_first, _195398, _195396), iext(uri_rdf_rest, _195398, uri_rdf_nil), 5954 ^ _35454 : [(5955 ^ _35454) ^ [] : [-(icext(_195404, 5953 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))], (5957 ^ _35454) ^ [] : [-(icext(_195400, 5953 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))]], 5961 ^ _35454 : [(5962 ^ _35454) ^ [] : [-(icext(_195404, 5960 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))], (5964 ^ _35454) ^ [] : [-(icext(_195396, 5960 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))]], 5966 ^ _35454 : [(5967 ^ _35454) ^ [] : [-(icext(_195400, 5965 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))], (5969 ^ _35454) ^ [] : [-(icext(_195396, 5965 ^ [_195396, _195398, _195400, _195402, _195404, _195406]))]]], (5976 ^ _35454) ^ [] : [-(tautology), tautology], (5982 ^ _35454) ^ [] : [-(tautology), tautology], (5988 ^ _35454) ^ [_197520, _197522, _197524, _197526, _197528] : [6011 ^ _35454 : [(6012 ^ _35454) ^ [_198186] : [icext(_197524, _198186), icext(_197520, _198186)]], iext(uri_rdf_first, _197526, _197524), iext(uri_rdf_rest, _197526, _197522), iext(uri_rdf_first, _197522, _197520), iext(uri_rdf_rest, _197522, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _197528), iext(uri_owl_members, _197528, _197526)], (6018 ^ _35454) ^ [_198504, _198506, _198508, _198510, _198512, _198514, _198516] : [iext(uri_rdf_first, _198514, _198512), iext(uri_rdf_rest, _198514, _198510), iext(uri_rdf_first, _198510, _198508), iext(uri_rdf_rest, _198510, _198506), iext(uri_rdf_first, _198506, _198504), iext(uri_rdf_rest, _198506, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _198516), iext(uri_owl_members, _198516, _198514), 6049 ^ _35454 : [(6050 ^ _35454) ^ [_199498] : [icext(_198512, _199498), icext(_198508, _199498)], (6056 ^ _35454) ^ [_199743] : [icext(_198512, _199743), icext(_198504, _199743)], (6062 ^ _35454) ^ [_199968] : [icext(_198508, _199968), icext(_198504, _199968)]]], (6069 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6067 ^ []))], (6071 ^ _35454) ^ [] : [-(iext(uri_owl_members, 6067 ^ [], uri_rdf_nil))], (6073 ^ _35454) ^ [_200402, _200404] : [6081 ^ _35454 : [(6082 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6080 ^ [_200402, _200404]))], (6084 ^ _35454) ^ [] : [-(iext(uri_owl_members, 6080 ^ [_200402, _200404], _200404))]], iext(uri_rdf_first, _200404, _200402), iext(uri_rdf_rest, _200404, uri_rdf_nil)], (6086 ^ _35454) ^ [_200881, _200883, _200885, _200887] : [6110 ^ _35454 : [(6111 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6109 ^ [_200881, _200883, _200885, _200887]))], (6113 ^ _35454) ^ [] : [-(iext(uri_owl_members, 6109 ^ [_200881, _200883, _200885, _200887], _200887))]], iext(uri_rdf_first, _200887, _200885), iext(uri_rdf_rest, _200887, _200883), iext(uri_rdf_first, _200883, _200881), iext(uri_rdf_rest, _200883, uri_rdf_nil), 6105 ^ _35454 : [(6106 ^ _35454) ^ [] : [-(iext(_200885, 6103 ^ [_200881, _200883, _200885, _200887], 6104 ^ [_200881, _200883, _200885, _200887]))], (6108 ^ _35454) ^ [] : [-(iext(_200881, 6103 ^ [_200881, _200883, _200885, _200887], 6104 ^ [_200881, _200883, _200885, _200887]))]]], (6115 ^ _35454) ^ [_202016, _202018, _202020, _202022, _202024, _202026] : [6163 ^ _35454 : [(6164 ^ _35454) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6162 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))], (6166 ^ _35454) ^ [] : [-(iext(uri_owl_members, 6162 ^ [_202016, _202018, _202020, _202022, _202024, _202026], _202026))]], iext(uri_rdf_first, _202026, _202024), iext(uri_rdf_rest, _202026, _202022), iext(uri_rdf_first, _202022, _202020), iext(uri_rdf_rest, _202022, _202018), iext(uri_rdf_first, _202018, _202016), iext(uri_rdf_rest, _202018, uri_rdf_nil), 6144 ^ _35454 : [(6145 ^ _35454) ^ [] : [-(iext(_202024, 6142 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6143 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))], (6147 ^ _35454) ^ [] : [-(iext(_202020, 6142 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6143 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))]], 6152 ^ _35454 : [(6153 ^ _35454) ^ [] : [-(iext(_202024, 6150 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6151 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))], (6155 ^ _35454) ^ [] : [-(iext(_202016, 6150 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6151 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))]], 6158 ^ _35454 : [(6159 ^ _35454) ^ [] : [-(iext(_202020, 6156 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6157 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))], (6161 ^ _35454) ^ [] : [-(iext(_202016, 6156 ^ [_202016, _202018, _202020, _202022, _202024, _202026], 6157 ^ [_202016, _202018, _202020, _202022, _202024, _202026]))]]], (6168 ^ _35454) ^ [] : [-(tautology), tautology], (6174 ^ _35454) ^ [] : [-(tautology), tautology], (6180 ^ _35454) ^ [_204581, _204583, _204585, _204587, _204589] : [6203 ^ _35454 : [(6204 ^ _35454) ^ [_205268, _205270] : [iext(_204585, _205270, _205268), iext(_204581, _205270, _205268)]], iext(uri_rdf_first, _204587, _204585), iext(uri_rdf_rest, _204587, _204583), iext(uri_rdf_first, _204583, _204581), iext(uri_rdf_rest, _204583, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _204589), iext(uri_owl_members, _204589, _204587)], (6210 ^ _35454) ^ [_205596, _205598, _205600, _205602, _205604, _205606, _205608] : [iext(uri_rdf_first, _205606, _205604), iext(uri_rdf_rest, _205606, _205602), iext(uri_rdf_first, _205602, _205600), iext(uri_rdf_rest, _205602, _205598), iext(uri_rdf_first, _205598, _205596), iext(uri_rdf_rest, _205598, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _205608), iext(uri_owl_members, _205608, _205606), 6241 ^ _35454 : [(6242 ^ _35454) ^ [_206625, _206627] : [iext(_205604, _206627, _206625), iext(_205600, _206627, _206625)], (6248 ^ _35454) ^ [_206894, _206896] : [iext(_205604, _206896, _206894), iext(_205596, _206896, _206894)], (6254 ^ _35454) ^ [_207143, _207145] : [iext(_205600, _207145, _207143), iext(_205596, _207145, _207143)]]], (6260 ^ _35454) ^ [_207450] : [iext(uri_owl_propertyChainAxiom, _207450, uri_rdf_nil), 6263 ^ _35454 : [(6264 ^ _35454) ^ [] : [-(ip(_207450))], (6266 ^ _35454) ^ [_207633] : [-(iext(_207450, _207633, _207633))]]], (6268 ^ _35454) ^ [_207702] : [-(iext(uri_owl_propertyChainAxiom, _207702, uri_rdf_nil)), ip(_207702), iext(_207702, 6273 ^ [_207702], 6273 ^ [_207702])], (6279 ^ _35454) ^ [_208066, _208068, _208070] : [iext(uri_rdf_first, _208068, _208066), iext(uri_rdf_rest, _208068, uri_rdf_nil), 6286 ^ _35454 : [(6287 ^ _35454) ^ [] : [iext(uri_owl_propertyChainAxiom, _208070, _208068), 6290 ^ _35454 : [(6291 ^ _35454) ^ [] : [-(ip(_208070))], (6293 ^ _35454) ^ [] : [-(ip(_208066))], (6295 ^ _35454) ^ [_208589, _208591] : [iext(_208066, _208591, _208589), -(iext(_208070, _208591, _208589))]]], (6301 ^ _35454) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _208070, _208068)), ip(_208070), ip(_208066), 6312 ^ _35454 : [(6313 ^ _35454) ^ [] : [-(iext(_208066, 6310 ^ [_208066, _208068, _208070], 6311 ^ [_208066, _208068, _208070]))], (6315 ^ _35454) ^ [] : [iext(_208070, 6310 ^ [_208066, _208068, _208070], 6311 ^ [_208066, _208068, _208070])]]]]], (6319 ^ _35454) ^ [_209441, _209443, _209445, _209447, _209449] : [iext(uri_rdf_first, _209447, _209445), iext(uri_rdf_rest, _209447, _209443), iext(uri_rdf_first, _209443, _209441), iext(uri_rdf_rest, _209443, uri_rdf_nil), 6334 ^ _35454 : [(6335 ^ _35454) ^ [] : [iext(uri_owl_propertyChainAxiom, _209449, _209447), 6338 ^ _35454 : [(6339 ^ _35454) ^ [] : [-(ip(_209449))], (6341 ^ _35454) ^ [] : [-(ip(_209445))], (6343 ^ _35454) ^ [] : [-(ip(_209441))], (6345 ^ _35454) ^ [_210304, _210306, _210308] : [-(iext(_209449, _210308, _210304)), iext(_209445, _210308, _210306), iext(_209441, _210306, _210304)]]], (6355 ^ _35454) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _209449, _209447)), ip(_209449), ip(_209445), ip(_209441), 6371 ^ _35454 : [(6372 ^ _35454) ^ [] : [-(iext(_209445, 6368 ^ [_209441, _209443, _209445, _209447, _209449], 6369 ^ [_209441, _209443, _209445, _209447, _209449]))], (6374 ^ _35454) ^ [] : [-(iext(_209441, 6369 ^ [_209441, _209443, _209445, _209447, _209449], 6370 ^ [_209441, _209443, _209445, _209447, _209449]))], (6376 ^ _35454) ^ [] : [iext(_209449, 6368 ^ [_209441, _209443, _209445, _209447, _209449], 6370 ^ [_209441, _209443, _209445, _209447, _209449])]]]]], (6380 ^ _35454) ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756] : [iext(uri_rdf_first, _211754, _211752), iext(uri_rdf_rest, _211754, _211750), iext(uri_rdf_first, _211750, _211748), iext(uri_rdf_rest, _211750, _211746), iext(uri_rdf_first, _211746, _211744), iext(uri_rdf_rest, _211746, uri_rdf_nil), 6403 ^ _35454 : [(6404 ^ _35454) ^ [] : [iext(uri_owl_propertyChainAxiom, _211756, _211754), 6407 ^ _35454 : [(6408 ^ _35454) ^ [] : [-(ip(_211756))], (6410 ^ _35454) ^ [] : [-(ip(_211752))], (6412 ^ _35454) ^ [] : [-(ip(_211748))], (6414 ^ _35454) ^ [] : [-(ip(_211744))], (6416 ^ _35454) ^ [_212987, _212989, _212991, _212993] : [-(iext(_211756, _212993, _212987)), iext(_211752, _212993, _212991), iext(_211748, _212991, _212989), iext(_211744, _212989, _212987)]]], (6430 ^ _35454) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _211756, _211754)), ip(_211756), ip(_211752), ip(_211748), ip(_211744), 6451 ^ _35454 : [(6452 ^ _35454) ^ [] : [-(iext(_211752, 6447 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756], 6448 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756]))], (6454 ^ _35454) ^ [] : [-(iext(_211748, 6448 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756], 6449 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756]))], (6456 ^ _35454) ^ [] : [-(iext(_211744, 6449 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756], 6450 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756]))], (6458 ^ _35454) ^ [] : [iext(_211756, 6447 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756], 6450 ^ [_211744, _211746, _211748, _211750, _211752, _211754, _211756])]]]]], (6462 ^ _35454) ^ [_215111, _215113] : [iext(uri_owl_inverseOf, _215113, _215111), 6465 ^ _35454 : [(6466 ^ _35454) ^ [] : [-(ip(_215113))], (6468 ^ _35454) ^ [] : [-(ip(_215111))], (6470 ^ _35454) ^ [_215440, _215442] : [iext(_215113, _215442, _215440), -(iext(_215111, _215440, _215442))], (6476 ^ _35454) ^ [_215622, _215624] : [iext(_215111, _215622, _215624), -(iext(_215113, _215624, _215622))]]], (6482 ^ _35454) ^ [_215815, _215817] : [-(iext(uri_owl_inverseOf, _215817, _215815)), ip(_215817), ip(_215815), 6495 ^ _35454 : [(6496 ^ _35454) ^ [] : [-(iext(_215817, 6491 ^ [_215815, _215817], 6492 ^ [_215815, _215817]))], (6498 ^ _35454) ^ [] : [iext(_215815, 6492 ^ [_215815, _215817], 6491 ^ [_215815, _215817])]], 6499 ^ _35454 : [(6500 ^ _35454) ^ [] : [-(iext(_215815, 6492 ^ [_215815, _215817], 6491 ^ [_215815, _215817]))], (6502 ^ _35454) ^ [] : [iext(_215817, 6491 ^ [_215815, _215817], 6492 ^ [_215815, _215817])]]], (6506 ^ _35454) ^ [_216651] : [icext(uri_owl_AsymmetricProperty, _216651), 6509 ^ _35454 : [(6510 ^ _35454) ^ [] : [-(ip(_216651))], (6512 ^ _35454) ^ [_216875, _216877] : [iext(_216651, _216877, _216875), iext(_216651, _216875, _216877)]]], (6518 ^ _35454) ^ [_217057] : [-(icext(uri_owl_AsymmetricProperty, _217057)), ip(_217057), 6525 ^ _35454 : [(6526 ^ _35454) ^ [] : [-(iext(_217057, 6523 ^ [_217057], 6524 ^ [_217057]))], (6528 ^ _35454) ^ [] : [-(iext(_217057, 6524 ^ [_217057], 6523 ^ [_217057]))]]], (6548 ^ _35454) ^ [_218119] : [-(icext(uri_owl_FunctionalProperty, _218119)), ip(_218119), 6556 ^ _35454 : [(6557 ^ _35454) ^ [] : [-(iext(_218119, 6553 ^ [_218119], 6554 ^ [_218119]))], (6559 ^ _35454) ^ [] : [-(iext(_218119, 6553 ^ [_218119], 6555 ^ [_218119]))], (6561 ^ _35454) ^ [] : [6554 ^ [_218119] = 6555 ^ [_218119]]]], (6532 ^ _35454) ^ [_217588] : [icext(uri_owl_FunctionalProperty, _217588), 6535 ^ _35454 : [(6536 ^ _35454) ^ [] : [-(ip(_217588))], (6538 ^ _35454) ^ [_217835, _217837, _217839] : [-(_217837 = _217835), iext(_217588, _217839, _217837), iext(_217588, _217839, _217835)]]], (6581 ^ _35454) ^ [_219360] : [-(icext(uri_owl_InverseFunctionalProperty, _219360)), ip(_219360), 6589 ^ _35454 : [(6590 ^ _35454) ^ [] : [-(iext(_219360, 6586 ^ [_219360], 6588 ^ [_219360]))], (6592 ^ _35454) ^ [] : [-(iext(_219360, 6587 ^ [_219360], 6588 ^ [_219360]))], (6594 ^ _35454) ^ [] : [6586 ^ [_219360] = 6587 ^ [_219360]]]], (6565 ^ _35454) ^ [_218829] : [icext(uri_owl_InverseFunctionalProperty, _218829), 6568 ^ _35454 : [(6569 ^ _35454) ^ [] : [-(ip(_218829))], (6571 ^ _35454) ^ [_219076, _219078, _219080] : [-(_219080 = _219078), iext(_218829, _219080, _219076), iext(_218829, _219078, _219076)]]], (6598 ^ _35454) ^ [_220070] : [icext(uri_owl_IrreflexiveReflexiveProperty, _220070), 6601 ^ _35454 : [(6602 ^ _35454) ^ [] : [-(ip(_220070))], (6604 ^ _35454) ^ [_220252] : [iext(_220070, _220252, _220252)]]], (6606 ^ _35454) ^ [_220321] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _220321)), ip(_220321), -(iext(_220321, 6611 ^ [_220321], 6611 ^ [_220321]))], (6617 ^ _35454) ^ [_220689] : [icext(uri_owl_ReflexiveProperty, _220689), 6620 ^ _35454 : [(6621 ^ _35454) ^ [] : [-(ip(_220689))], (6623 ^ _35454) ^ [_220870] : [-(iext(_220689, _220870, _220870))]]], (6625 ^ _35454) ^ [_220939] : [-(icext(uri_owl_ReflexiveProperty, _220939)), ip(_220939), iext(_220939, 6630 ^ [_220939], 6630 ^ [_220939])], (6636 ^ _35454) ^ [_221302] : [icext(uri_owl_SymmetricProperty, _221302), 6639 ^ _35454 : [(6640 ^ _35454) ^ [] : [-(ip(_221302))], (6642 ^ _35454) ^ [_221524, _221526] : [iext(_221302, _221526, _221524), -(iext(_221302, _221524, _221526))]]], (6648 ^ _35454) ^ [_221705] : [-(icext(uri_owl_SymmetricProperty, _221705)), ip(_221705), 6655 ^ _35454 : [(6656 ^ _35454) ^ [] : [-(iext(_221705, 6653 ^ [_221705], 6654 ^ [_221705]))], (6658 ^ _35454) ^ [] : [iext(_221705, 6654 ^ [_221705], 6653 ^ [_221705])]]], (6678 ^ _35454) ^ [_222763] : [-(icext(uri_owl_TransitiveProperty, _222763)), ip(_222763), 6686 ^ _35454 : [(6687 ^ _35454) ^ [] : [-(iext(_222763, 6683 ^ [_222763], 6684 ^ [_222763]))], (6689 ^ _35454) ^ [] : [-(iext(_222763, 6684 ^ [_222763], 6685 ^ [_222763]))], (6691 ^ _35454) ^ [] : [iext(_222763, 6683 ^ [_222763], 6685 ^ [_222763])]]], (6662 ^ _35454) ^ [_222229] : [icext(uri_owl_TransitiveProperty, _222229), 6665 ^ _35454 : [(6666 ^ _35454) ^ [] : [-(ip(_222229))], (6668 ^ _35454) ^ [_222477, _222479, _222481] : [-(iext(_222229, _222481, _222477)), iext(_222229, _222481, _222479), iext(_222229, _222479, _222477)]]], (6711 ^ _35454) ^ [_223976] : [-(iext(uri_owl_hasKey, _223976, uri_rdf_nil)), ic(_223976), 6718 ^ _35454 : [(6719 ^ _35454) ^ [] : [-(icext(_223976, 6716 ^ [_223976]))], (6721 ^ _35454) ^ [] : [-(icext(_223976, 6717 ^ [_223976]))], (6723 ^ _35454) ^ [] : [6716 ^ [_223976] = 6717 ^ [_223976]]]], (6695 ^ _35454) ^ [_223478] : [iext(uri_owl_hasKey, _223478, uri_rdf_nil), 6698 ^ _35454 : [(6699 ^ _35454) ^ [] : [-(ic(_223478))], (6701 ^ _35454) ^ [_223706, _223708] : [-(_223708 = _223706), icext(_223478, _223708), icext(_223478, _223706)]]], (6727 ^ _35454) ^ [_224579, _224581, _224583] : [iext(uri_rdf_first, _224581, _224579), iext(uri_rdf_rest, _224581, uri_rdf_nil), 6734 ^ _35454 : [(6761 ^ _35454) ^ [] : [-(iext(uri_owl_hasKey, _224583, _224581)), ic(_224583), ip(_224579), 6773 ^ _35454 : [(6774 ^ _35454) ^ [] : [-(icext(_224583, 6770 ^ [_224579, _224581, _224583]))], (6776 ^ _35454) ^ [] : [-(icext(_224583, 6771 ^ [_224579, _224581, _224583]))], (6778 ^ _35454) ^ [] : [-(iext(_224579, 6770 ^ [_224579, _224581, _224583], 6772 ^ [_224579, _224581, _224583]))], (6780 ^ _35454) ^ [] : [-(iext(_224579, 6771 ^ [_224579, _224581, _224583], 6772 ^ [_224579, _224581, _224583]))], (6782 ^ _35454) ^ [] : [6770 ^ [_224579, _224581, _224583] = 6771 ^ [_224579, _224581, _224583]]]], (6735 ^ _35454) ^ [] : [iext(uri_owl_hasKey, _224583, _224581), 6738 ^ _35454 : [(6739 ^ _35454) ^ [] : [-(ic(_224583))], (6741 ^ _35454) ^ [] : [-(ip(_224579))], (6743 ^ _35454) ^ [_225139, _225141, _225143] : [-(_225143 = _225141), icext(_224583, _225143), icext(_224583, _225141), iext(_224579, _225143, _225139), iext(_224579, _225141, _225139)]]]]], (6786 ^ _35454) ^ [_226748, _226750, _226752, _226754, _226756] : [iext(uri_rdf_first, _226754, _226752), iext(uri_rdf_rest, _226754, _226750), iext(uri_rdf_first, _226750, _226748), iext(uri_rdf_rest, _226750, uri_rdf_nil), 6801 ^ _35454 : [(6838 ^ _35454) ^ [] : [-(iext(uri_owl_hasKey, _226756, _226754)), ic(_226756), ip(_226752), ip(_226748), 6855 ^ _35454 : [(6856 ^ _35454) ^ [] : [-(icext(_226756, 6851 ^ [_226748, _226750, _226752, _226754, _226756]))], (6858 ^ _35454) ^ [] : [-(icext(_226756, 6852 ^ [_226748, _226750, _226752, _226754, _226756]))], (6860 ^ _35454) ^ [] : [-(iext(_226752, 6851 ^ [_226748, _226750, _226752, _226754, _226756], 6853 ^ [_226748, _226750, _226752, _226754, _226756]))], (6862 ^ _35454) ^ [] : [-(iext(_226752, 6852 ^ [_226748, _226750, _226752, _226754, _226756], 6853 ^ [_226748, _226750, _226752, _226754, _226756]))], (6864 ^ _35454) ^ [] : [-(iext(_226748, 6851 ^ [_226748, _226750, _226752, _226754, _226756], 6854 ^ [_226748, _226750, _226752, _226754, _226756]))], (6866 ^ _35454) ^ [] : [-(iext(_226748, 6852 ^ [_226748, _226750, _226752, _226754, _226756], 6854 ^ [_226748, _226750, _226752, _226754, _226756]))], (6868 ^ _35454) ^ [] : [6851 ^ [_226748, _226750, _226752, _226754, _226756] = 6852 ^ [_226748, _226750, _226752, _226754, _226756]]]], (6802 ^ _35454) ^ [] : [iext(uri_owl_hasKey, _226756, _226754), 6805 ^ _35454 : [(6806 ^ _35454) ^ [] : [-(ic(_226756))], (6808 ^ _35454) ^ [] : [-(ip(_226752))], (6810 ^ _35454) ^ [] : [-(ip(_226748))], (6812 ^ _35454) ^ [_227655, _227657, _227659, _227661] : [-(_227661 = _227659), icext(_226756, _227661), icext(_226756, _227659), iext(_226752, _227661, _227657), iext(_226752, _227659, _227657), iext(_226748, _227661, _227655), iext(_226748, _227659, _227655)]]]]], (6872 ^ _35454) ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365] : [iext(uri_rdf_first, _230363, _230361), iext(uri_rdf_rest, _230363, _230359), iext(uri_rdf_first, _230359, _230357), iext(uri_rdf_rest, _230359, _230355), iext(uri_rdf_first, _230355, _230353), iext(uri_rdf_rest, _230355, uri_rdf_nil), 6895 ^ _35454 : [(6942 ^ _35454) ^ [] : [-(iext(uri_owl_hasKey, _230365, _230363)), ic(_230365), ip(_230361), ip(_230357), ip(_230353), 6964 ^ _35454 : [(6965 ^ _35454) ^ [] : [-(icext(_230365, 6959 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6967 ^ _35454) ^ [] : [-(icext(_230365, 6960 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6969 ^ _35454) ^ [] : [-(iext(_230361, 6959 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6961 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6971 ^ _35454) ^ [] : [-(iext(_230361, 6960 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6961 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6973 ^ _35454) ^ [] : [-(iext(_230357, 6959 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6962 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6975 ^ _35454) ^ [] : [-(iext(_230357, 6960 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6962 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6977 ^ _35454) ^ [] : [-(iext(_230353, 6959 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6963 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6979 ^ _35454) ^ [] : [-(iext(_230353, 6960 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365], 6963 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]))], (6981 ^ _35454) ^ [] : [6959 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365] = 6960 ^ [_230353, _230355, _230357, _230359, _230361, _230363, _230365]]]], (6896 ^ _35454) ^ [] : [iext(uri_owl_hasKey, _230365, _230363), 6899 ^ _35454 : [(6900 ^ _35454) ^ [] : [-(ic(_230365))], (6902 ^ _35454) ^ [] : [-(ip(_230361))], (6904 ^ _35454) ^ [] : [-(ip(_230357))], (6906 ^ _35454) ^ [] : [-(ip(_230353))], (6908 ^ _35454) ^ [_231647, _231649, _231651, _231653, _231655] : [-(_231655 = _231653), icext(_230365, _231655), icext(_230365, _231653), iext(_230361, _231655, _231651), iext(_230361, _231653, _231651), iext(_230357, _231655, _231649), iext(_230357, _231653, _231649), iext(_230353, _231655, _231647), iext(_230353, _231653, _231647)]]]]], (6985 ^ _35454) ^ [_235717, _235719, _235721] : [7001 ^ _35454 : [(7002 ^ _35454) ^ [] : [-(iext(uri_owl_sourceIndividual, 7000 ^ [_235717, _235719, _235721], _235719))], (7004 ^ _35454) ^ [] : [-(iext(uri_owl_assertionProperty, 7000 ^ [_235717, _235719, _235721], _235721))], (7006 ^ _35454) ^ [] : [-(iext(uri_owl_targetValue, 7000 ^ [_235717, _235719, _235721], _235717))]], ir(_235719), iodp(_235721), lv(_235717), -(iext(_235721, _235719, _235717))], (7008 ^ _35454) ^ [_236494, _236496, _236498, _236500] : [7019 ^ _35454 : [(7020 ^ _35454) ^ [] : [-(iodp(_236498))], (7022 ^ _35454) ^ [] : [iext(_236498, _236496, _236494)]], iext(uri_owl_sourceIndividual, _236500, _236496), iext(uri_owl_assertionProperty, _236500, _236498), iext(uri_owl_targetValue, _236500, _236494)], (7024 ^ _35454) ^ [_237010, _237012, _237014] : [7040 ^ _35454 : [(7041 ^ _35454) ^ [] : [-(iext(uri_owl_sourceIndividual, 7039 ^ [_237010, _237012, _237014], _237012))], (7043 ^ _35454) ^ [] : [-(iext(uri_owl_assertionProperty, 7039 ^ [_237010, _237012, _237014], _237014))], (7045 ^ _35454) ^ [] : [-(iext(uri_owl_targetIndividual, 7039 ^ [_237010, _237012, _237014], _237010))]], ir(_237012), ip(_237014), ir(_237010), -(iext(_237014, _237012, _237010))], (7047 ^ _35454) ^ [_237787, _237789, _237791, _237793] : [iext(_237791, _237789, _237787), iext(uri_owl_sourceIndividual, _237793, _237789), iext(uri_owl_assertionProperty, _237793, _237791), iext(uri_owl_targetIndividual, _237793, _237787)], (7061 ^ _35454) ^ [_238198] : [icext(uri_xsd_anyURI, _238198), -(lv(_238198))], (7067 ^ _35454) ^ [] : [-(idc(uri_xsd_anyURI))], (7069 ^ _35454) ^ [_238439] : [icext(uri_xsd_base64Binary, _238439), -(lv(_238439))], (7075 ^ _35454) ^ [] : [-(idc(uri_xsd_base64Binary))], (7077 ^ _35454) ^ [_238680] : [icext(uri_xsd_boolean, _238680), -(lv(_238680))], (7083 ^ _35454) ^ [] : [-(idc(uri_xsd_boolean))], (7085 ^ _35454) ^ [_238921] : [icext(uri_xsd_byte, _238921), -(lv(_238921))], (7091 ^ _35454) ^ [] : [-(idc(uri_xsd_byte))], (7093 ^ _35454) ^ [_239162] : [icext(uri_xsd_dateTime, _239162), -(lv(_239162))], (7099 ^ _35454) ^ [] : [-(idc(uri_xsd_dateTime))], (7101 ^ _35454) ^ [_239403] : [icext(uri_xsd_dateTimeStamp, _239403), -(lv(_239403))], (7107 ^ _35454) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7109 ^ _35454) ^ [_239644] : [icext(uri_xsd_decimal, _239644), -(lv(_239644))], (7115 ^ _35454) ^ [] : [-(idc(uri_xsd_decimal))], (7117 ^ _35454) ^ [_239885] : [icext(uri_xsd_double, _239885), -(lv(_239885))], (7123 ^ _35454) ^ [] : [-(idc(uri_xsd_double))], (7125 ^ _35454) ^ [_240126] : [icext(uri_xsd_float, _240126), -(lv(_240126))], (7131 ^ _35454) ^ [] : [-(idc(uri_xsd_float))], (7133 ^ _35454) ^ [_240367] : [icext(uri_xsd_hexBinary, _240367), -(lv(_240367))], (7139 ^ _35454) ^ [] : [-(idc(uri_xsd_hexBinary))], (7141 ^ _35454) ^ [_240608] : [icext(uri_xsd_int, _240608), -(lv(_240608))], (7147 ^ _35454) ^ [] : [-(idc(uri_xsd_int))], (7149 ^ _35454) ^ [_240849] : [icext(uri_xsd_integer, _240849), -(lv(_240849))], (7155 ^ _35454) ^ [] : [-(idc(uri_xsd_integer))], (7157 ^ _35454) ^ [_241090] : [icext(uri_xsd_language, _241090), -(lv(_241090))], (7163 ^ _35454) ^ [] : [-(idc(uri_xsd_language))], (7165 ^ _35454) ^ [_241331] : [icext(uri_xsd_long, _241331), -(lv(_241331))], (7171 ^ _35454) ^ [] : [-(idc(uri_xsd_long))], (7173 ^ _35454) ^ [_241572] : [icext(uri_xsd_Name, _241572), -(lv(_241572))], (7179 ^ _35454) ^ [] : [-(idc(uri_xsd_Name))], (7181 ^ _35454) ^ [_241813] : [icext(uri_xsd_NCName, _241813), -(lv(_241813))], (7187 ^ _35454) ^ [] : [-(idc(uri_xsd_NCName))], (7189 ^ _35454) ^ [_242054] : [icext(uri_xsd_negativeInteger, _242054), -(lv(_242054))], (7195 ^ _35454) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7197 ^ _35454) ^ [_242295] : [icext(uri_xsd_NMTOKEN, _242295), -(lv(_242295))], (7203 ^ _35454) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7205 ^ _35454) ^ [_242536] : [icext(uri_xsd_nonNegativeInteger, _242536), -(lv(_242536))], (7211 ^ _35454) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7213 ^ _35454) ^ [_242777] : [icext(uri_xsd_nonPositiveInteger, _242777), -(lv(_242777))], (7219 ^ _35454) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7221 ^ _35454) ^ [_243018] : [icext(uri_xsd_normalizedString, _243018), -(lv(_243018))], (7227 ^ _35454) ^ [] : [-(idc(uri_xsd_normalizedString))], (7229 ^ _35454) ^ [_243259] : [icext(uri_rdf_PlainLiteral, _243259), -(lv(_243259))], (7235 ^ _35454) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7237 ^ _35454) ^ [_243500] : [icext(uri_xsd_positiveInteger, _243500), -(lv(_243500))], (7243 ^ _35454) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7245 ^ _35454) ^ [_243741] : [icext(uri_owl_rational, _243741), -(lv(_243741))], (7251 ^ _35454) ^ [] : [-(idc(uri_owl_rational))], (7253 ^ _35454) ^ [_243982] : [icext(uri_owl_real, _243982), -(lv(_243982))], (7259 ^ _35454) ^ [] : [-(idc(uri_owl_real))], (7261 ^ _35454) ^ [_244223] : [icext(uri_xsd_short, _244223), -(lv(_244223))], (7267 ^ _35454) ^ [] : [-(idc(uri_xsd_short))], (7269 ^ _35454) ^ [_244464] : [icext(uri_xsd_string, _244464), -(lv(_244464))], (7275 ^ _35454) ^ [] : [-(idc(uri_xsd_string))], (7277 ^ _35454) ^ [_244705] : [icext(uri_xsd_token, _244705), -(lv(_244705))], (7283 ^ _35454) ^ [] : [-(idc(uri_xsd_token))], (7285 ^ _35454) ^ [_244946] : [icext(uri_xsd_unsignedByte, _244946), -(lv(_244946))], (7291 ^ _35454) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7293 ^ _35454) ^ [_245187] : [icext(uri_xsd_unsignedInt, _245187), -(lv(_245187))], (7299 ^ _35454) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7301 ^ _35454) ^ [_245428] : [icext(uri_xsd_unsignedLong, _245428), -(lv(_245428))], (7307 ^ _35454) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7309 ^ _35454) ^ [_245669] : [icext(uri_xsd_unsignedShort, _245669), -(lv(_245669))], (7315 ^ _35454) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7317 ^ _35454) ^ [_245910] : [icext(uri_rdf_XMLLiteral, _245910), -(lv(_245910))], (7323 ^ _35454) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7325 ^ _35454) ^ [_246151] : [icext(uri_xsd_anyURI, _246151), icext(uri_xsd_base64Binary, _246151)], (7331 ^ _35454) ^ [_246340] : [icext(uri_xsd_anyURI, _246340), icext(uri_xsd_boolean, _246340)], (7337 ^ _35454) ^ [_246529] : [icext(uri_xsd_anyURI, _246529), icext(uri_xsd_dateTime, _246529)], (7343 ^ _35454) ^ [_246718] : [icext(uri_xsd_anyURI, _246718), icext(uri_xsd_double, _246718)], (7349 ^ _35454) ^ [_246907] : [icext(uri_xsd_anyURI, _246907), icext(uri_xsd_float, _246907)], (7355 ^ _35454) ^ [_247096] : [icext(uri_xsd_anyURI, _247096), icext(uri_xsd_hexBinary, _247096)], (7361 ^ _35454) ^ [_247285] : [icext(uri_xsd_anyURI, _247285), icext(uri_rdf_PlainLiteral, _247285)], (7367 ^ _35454) ^ [_247474] : [icext(uri_xsd_anyURI, _247474), icext(uri_owl_real, _247474)], (7373 ^ _35454) ^ [_247663] : [icext(uri_xsd_anyURI, _247663), icext(uri_rdf_XMLLiteral, _247663)], (7379 ^ _35454) ^ [_247852] : [icext(uri_xsd_base64Binary, _247852), icext(uri_xsd_boolean, _247852)], (7385 ^ _35454) ^ [_248041] : [icext(uri_xsd_base64Binary, _248041), icext(uri_xsd_dateTime, _248041)], (7391 ^ _35454) ^ [_248230] : [icext(uri_xsd_base64Binary, _248230), icext(uri_xsd_double, _248230)], (7397 ^ _35454) ^ [_248419] : [icext(uri_xsd_base64Binary, _248419), icext(uri_xsd_float, _248419)], (7403 ^ _35454) ^ [_248608] : [icext(uri_xsd_base64Binary, _248608), icext(uri_xsd_hexBinary, _248608)], (7409 ^ _35454) ^ [_248797] : [icext(uri_xsd_base64Binary, _248797), icext(uri_rdf_PlainLiteral, _248797)], (7415 ^ _35454) ^ [_248986] : [icext(uri_xsd_base64Binary, _248986), icext(uri_owl_real, _248986)], (7421 ^ _35454) ^ [_249175] : [icext(uri_xsd_base64Binary, _249175), icext(uri_rdf_XMLLiteral, _249175)], (7427 ^ _35454) ^ [_249364] : [icext(uri_xsd_boolean, _249364), icext(uri_xsd_dateTime, _249364)], (7433 ^ _35454) ^ [_249553] : [icext(uri_xsd_boolean, _249553), icext(uri_xsd_double, _249553)], (7439 ^ _35454) ^ [_249742] : [icext(uri_xsd_boolean, _249742), icext(uri_xsd_float, _249742)], (7445 ^ _35454) ^ [_249931] : [icext(uri_xsd_boolean, _249931), icext(uri_xsd_hexBinary, _249931)], (7451 ^ _35454) ^ [_250120] : [icext(uri_xsd_boolean, _250120), icext(uri_rdf_PlainLiteral, _250120)], (7457 ^ _35454) ^ [_250309] : [icext(uri_xsd_boolean, _250309), icext(uri_owl_real, _250309)], (7463 ^ _35454) ^ [_250498] : [icext(uri_xsd_boolean, _250498), icext(uri_rdf_XMLLiteral, _250498)], (7469 ^ _35454) ^ [_250687] : [icext(uri_xsd_dateTime, _250687), icext(uri_xsd_double, _250687)], (7475 ^ _35454) ^ [_250876] : [icext(uri_xsd_dateTime, _250876), icext(uri_xsd_float, _250876)], (7481 ^ _35454) ^ [_251065] : [icext(uri_xsd_dateTime, _251065), icext(uri_xsd_hexBinary, _251065)], (7487 ^ _35454) ^ [_251254] : [icext(uri_xsd_dateTime, _251254), icext(uri_rdf_PlainLiteral, _251254)], (7493 ^ _35454) ^ [_251443] : [icext(uri_xsd_dateTime, _251443), icext(uri_owl_real, _251443)], (7499 ^ _35454) ^ [_251632] : [icext(uri_xsd_dateTime, _251632), icext(uri_rdf_XMLLiteral, _251632)], (7505 ^ _35454) ^ [_251821] : [icext(uri_xsd_double, _251821), icext(uri_xsd_float, _251821)], (7511 ^ _35454) ^ [_252010] : [icext(uri_xsd_double, _252010), icext(uri_xsd_hexBinary, _252010)], (7517 ^ _35454) ^ [_252199] : [icext(uri_xsd_double, _252199), icext(uri_rdf_PlainLiteral, _252199)], (7523 ^ _35454) ^ [_252388] : [icext(uri_xsd_double, _252388), icext(uri_owl_real, _252388)], (7529 ^ _35454) ^ [_252577] : [icext(uri_xsd_double, _252577), icext(uri_rdf_XMLLiteral, _252577)], (7535 ^ _35454) ^ [_252766] : [icext(uri_xsd_float, _252766), icext(uri_xsd_hexBinary, _252766)], (7541 ^ _35454) ^ [_252955] : [icext(uri_xsd_float, _252955), icext(uri_rdf_PlainLiteral, _252955)], (7547 ^ _35454) ^ [_253144] : [icext(uri_xsd_float, _253144), icext(uri_owl_real, _253144)], (7553 ^ _35454) ^ [_253333] : [icext(uri_xsd_float, _253333), icext(uri_rdf_XMLLiteral, _253333)], (7559 ^ _35454) ^ [_253522] : [icext(uri_xsd_hexBinary, _253522), icext(uri_rdf_PlainLiteral, _253522)], (7565 ^ _35454) ^ [_253711] : [icext(uri_xsd_hexBinary, _253711), icext(uri_owl_real, _253711)], (7571 ^ _35454) ^ [_253900] : [icext(uri_xsd_hexBinary, _253900), icext(uri_rdf_XMLLiteral, _253900)], (7577 ^ _35454) ^ [_254089] : [icext(uri_rdf_PlainLiteral, _254089), icext(uri_owl_real, _254089)], (7583 ^ _35454) ^ [_254278] : [icext(uri_rdf_PlainLiteral, _254278), icext(uri_rdf_XMLLiteral, _254278)], (7589 ^ _35454) ^ [_254467] : [icext(uri_owl_real, _254467), icext(uri_rdf_XMLLiteral, _254467)], (7595 ^ _35454) ^ [_254656] : [icext(uri_xsd_byte, _254656), -(icext(uri_xsd_short, _254656))], (7601 ^ _35454) ^ [_254846] : [icext(uri_xsd_dateTimeStamp, _254846), -(icext(uri_xsd_dateTime, _254846))], (7607 ^ _35454) ^ [_255036] : [icext(uri_xsd_decimal, _255036), -(icext(uri_owl_rational, _255036))], (7613 ^ _35454) ^ [_255226] : [icext(uri_xsd_int, _255226), -(icext(uri_xsd_long, _255226))], (7619 ^ _35454) ^ [_255416] : [icext(uri_xsd_integer, _255416), -(icext(uri_xsd_decimal, _255416))], (7625 ^ _35454) ^ [_255606] : [icext(uri_xsd_language, _255606), -(icext(uri_xsd_token, _255606))], (7631 ^ _35454) ^ [_255796] : [icext(uri_xsd_long, _255796), -(icext(uri_xsd_integer, _255796))], (7637 ^ _35454) ^ [_255986] : [icext(uri_xsd_Name, _255986), -(icext(uri_xsd_token, _255986))], (7643 ^ _35454) ^ [_256176] : [icext(uri_xsd_NCName, _256176), -(icext(uri_xsd_Name, _256176))], (7649 ^ _35454) ^ [_256366] : [icext(uri_xsd_negativeInteger, _256366), -(icext(uri_xsd_nonPositiveInteger, _256366))], (7655 ^ _35454) ^ [_256556] : [icext(uri_xsd_NMTOKEN, _256556), -(icext(uri_xsd_token, _256556))], (7661 ^ _35454) ^ [_256746] : [icext(uri_xsd_nonNegativeInteger, _256746), -(icext(uri_xsd_integer, _256746))], (7667 ^ _35454) ^ [_256936] : [icext(uri_xsd_nonPositiveInteger, _256936), -(icext(uri_xsd_integer, _256936))], (7673 ^ _35454) ^ [_257126] : [icext(uri_xsd_normalizedString, _257126), -(icext(uri_xsd_string, _257126))], (7679 ^ _35454) ^ [_257316] : [icext(uri_xsd_positiveInteger, _257316), -(icext(uri_xsd_nonNegativeInteger, _257316))], (7685 ^ _35454) ^ [_257506] : [icext(uri_owl_rational, _257506), -(icext(uri_owl_real, _257506))], (7691 ^ _35454) ^ [_257696] : [icext(uri_xsd_short, _257696), -(icext(uri_xsd_int, _257696))], (7697 ^ _35454) ^ [_257886] : [icext(uri_xsd_string, _257886), -(icext(uri_rdf_PlainLiteral, _257886))], (7703 ^ _35454) ^ [_258076] : [icext(uri_xsd_token, _258076), -(icext(uri_xsd_normalizedString, _258076))], (7709 ^ _35454) ^ [_258266] : [icext(uri_xsd_unsignedByte, _258266), -(icext(uri_xsd_unsignedShort, _258266))], (7715 ^ _35454) ^ [_258456] : [icext(uri_xsd_unsignedInt, _258456), -(icext(uri_xsd_unsignedLong, _258456))], (7721 ^ _35454) ^ [_258646] : [icext(uri_xsd_unsignedLong, _258646), -(icext(uri_xsd_nonNegativeInteger, _258646))], (7727 ^ _35454) ^ [_258836] : [icext(uri_xsd_unsignedShort, _258836), -(icext(uri_xsd_unsignedInt, _258836))], (7733 ^ _35454) ^ [_259040, _259042] : [iext(uri_rdf_langRange, _259042, _259040), 7736 ^ _35454 : [(7737 ^ _35454) ^ [] : [-(ir(_259042))], (7739 ^ _35454) ^ [] : [-(lv(_259040))]]], (7741 ^ _35454) ^ [] : [-(iodp(uri_rdf_langRange))], (7743 ^ _35454) ^ [_259376, _259378] : [iext(uri_xsd_length, _259378, _259376), 7746 ^ _35454 : [(7747 ^ _35454) ^ [] : [-(ir(_259378))], (7749 ^ _35454) ^ [] : [-(lv(_259376))]]], (7751 ^ _35454) ^ [] : [-(iodp(uri_xsd_length))], (7753 ^ _35454) ^ [_259712, _259714] : [iext(uri_xsd_maxExclusive, _259714, _259712), 7756 ^ _35454 : [(7757 ^ _35454) ^ [] : [-(ir(_259714))], (7759 ^ _35454) ^ [] : [-(lv(_259712))]]], (7761 ^ _35454) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7763 ^ _35454) ^ [_260048, _260050] : [iext(uri_xsd_maxInclusive, _260050, _260048), 7766 ^ _35454 : [(7767 ^ _35454) ^ [] : [-(ir(_260050))], (7769 ^ _35454) ^ [] : [-(lv(_260048))]]], (7771 ^ _35454) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7773 ^ _35454) ^ [_260384, _260386] : [iext(uri_xsd_maxLength, _260386, _260384), 7776 ^ _35454 : [(7777 ^ _35454) ^ [] : [-(ir(_260386))], (7779 ^ _35454) ^ [] : [-(lv(_260384))]]], (7781 ^ _35454) ^ [] : [-(iodp(uri_xsd_maxLength))], (7783 ^ _35454) ^ [_260720, _260722] : [iext(uri_xsd_minExclusive, _260722, _260720), 7786 ^ _35454 : [(7787 ^ _35454) ^ [] : [-(ir(_260722))], (7789 ^ _35454) ^ [] : [-(lv(_260720))]]], (7791 ^ _35454) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7793 ^ _35454) ^ [_261056, _261058] : [iext(uri_xsd_minInclusive, _261058, _261056), 7796 ^ _35454 : [(7797 ^ _35454) ^ [] : [-(ir(_261058))], (7799 ^ _35454) ^ [] : [-(lv(_261056))]]], (7801 ^ _35454) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7803 ^ _35454) ^ [_261392, _261394] : [iext(uri_xsd_minLength, _261394, _261392), 7806 ^ _35454 : [(7807 ^ _35454) ^ [] : [-(ir(_261394))], (7809 ^ _35454) ^ [] : [-(lv(_261392))]]], (7811 ^ _35454) ^ [] : [-(iodp(uri_xsd_minLength))], (7821 ^ _35454) ^ [] : [-(iodp(uri_xsd_pattern))], (7813 ^ _35454) ^ [_261728, _261730] : [iext(uri_xsd_pattern, _261730, _261728), 7816 ^ _35454 : [(7817 ^ _35454) ^ [] : [-(ir(_261730))], (7819 ^ _35454) ^ [] : [-(lv(_261728))]]]], input).
% 1.85/2.42  ncf('1',plain,[iext(uri_owl_propertyDisjointWith, uri_skos_prefLabel, uri_skos_altLabel), 5524 : iext(uri_skos_prefLabel, uri_ex_foo, literal_plain(dat_str_foo)), 5524 : iext(uri_skos_altLabel, uri_ex_foo, literal_plain(dat_str_foo))],start(5516 ^ 0,bind([[_182133, _182135, _182435, _182437], [uri_skos_altLabel, uri_skos_prefLabel, literal_plain(dat_str_foo), uri_ex_foo]]))).
% 1.85/2.42  ncf('1.1',plain,[-(iext(uri_owl_propertyDisjointWith, uri_skos_prefLabel, uri_skos_altLabel))],extension(7831 ^ 1)).
% 1.85/2.42  ncf('1.2',plain,[-(iext(uri_skos_prefLabel, uri_ex_foo, literal_plain(dat_str_foo)))],extension(7833 ^ 3)).
% 1.85/2.42  ncf('1.3',plain,[-(iext(uri_skos_altLabel, uri_ex_foo, literal_plain(dat_str_foo)))],extension(7835 ^ 3)).
% 1.85/2.42  %-----------------------------------------------------
% 1.85/2.42  End of proof for negated /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------