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

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

% Result   : Theorem 15.14s 14.83s
% Output   : Proof 15.14s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11  % Problem  : SWB087+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.11/0.33  % Computer : n008.cluster.edu
% 0.11/0.33  % Model    : x86_64 x86_64
% 0.11/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33  % Memory   : 8042.1875MB
% 0.11/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33  % CPULimit : 300
% 0.11/0.33  % WCLimit  : 300
% 0.11/0.33  % DateTime : Thu May 18 21:03:24 EDT 2023
% 0.11/0.33  % CPUTime  : 
% 15.14/14.83  
% 15.14/14.83  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 15.14/14.83  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 15.14/14.83  %-----------------------------------------------------
% 15.14/14.83  ncf(matrix, plain, [(7823 ^ _35388) ^ [] : [iext(uri_rdf_type, uri_ex_w, uri_ex_z)], (142 ^ _35388) ^ [_37256, _37258, _37260, _37262] : [-(literal_typed(_37262, _37258) = literal_typed(_37260, _37256)), _37262 = _37260, _37258 = _37256], (2 ^ _35388) ^ [_35418] : [-(_35418 = _35418)], (4 ^ _35388) ^ [_35441, _35443] : [_35443 = _35441, -(_35441 = _35443)], (10 ^ _35388) ^ [_35514, _35516, _35518] : [-(_35518 = _35514), _35518 = _35516, _35516 = _35514], (20 ^ _35388) ^ [_35651, _35653] : [-(ioap(_35651)), _35653 = _35651, ioap(_35653)], (30 ^ _35388) ^ [_35776, _35778] : [-(ix(_35776)), _35778 = _35776, ix(_35778)], (40 ^ _35388) ^ [_35901, _35903] : [-(ioxp(_35901)), _35903 = _35901, ioxp(_35903)], (50 ^ _35388) ^ [_36026, _36028] : [-(ic(_36026)), _36028 = _36026, ic(_36028)], (60 ^ _35388) ^ [_36151, _36153] : [-(ip(_36151)), _36153 = _36151, ip(_36153)], (70 ^ _35388) ^ [_36276, _36278] : [-(idc(_36276)), _36278 = _36276, idc(_36278)], (80 ^ _35388) ^ [_36401, _36403, _36405, _36407] : [-(icext(_36405, _36401)), icext(_36407, _36403), _36407 = _36405, _36403 = _36401], (94 ^ _35388) ^ [_36594, _36596] : [-(ir(_36594)), _36596 = _36594, ir(_36596)], (104 ^ _35388) ^ [_36719, _36721] : [-(lv(_36719)), _36721 = _36719, lv(_36721)], (114 ^ _35388) ^ [_36844, _36846] : [-(iodp(_36844)), _36846 = _36844, iodp(_36846)], (124 ^ _35388) ^ [_36965, _36967, _36969, _36971, _36973, _36975] : [-(iext(_36973, _36969, _36965)), iext(_36975, _36971, _36967), _36975 = _36973, _36971 = _36969, _36967 = _36965], (7817 ^ _35388) ^ [] : [-(iext(uri_owl_hasSelf, uri_ex_z, literal_typed(dat_str_true, uri_xsd_boolean)))], (7819 ^ _35388) ^ [] : [-(iext(uri_owl_onProperty, uri_ex_z, uri_ex_p))], (7821 ^ _35388) ^ [] : [-(iext(uri_ex_p, uri_ex_w, uri_ex_w))], (152 ^ _35388) ^ [_37410, _37412, _37414] : [iext(_37412, _37414, _37410), -(ip(_37412))], (158 ^ _35388) ^ [_37489] : [-(ir(_37489))], (160 ^ _35388) ^ [_37511] : [lv(_37511), -(ir(_37511))], (166 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35388) ^ [_37756] : [iext(uri_rdf_type, _37756, uri_rdf_Property), -(ip(_37756))], (190 ^ _35388) ^ [_37827] : [ip(_37827), -(iext(uri_rdf_type, _37827, uri_rdf_Property))], (196 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35388) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35388) ^ [_38117, _38119] : [iext(uri_rdf_type, _38119, _38117), -(icext(_38117, _38119))], (224 ^ _35388) ^ [_38192, _38194] : [icext(_38192, _38194), -(iext(uri_rdf_type, _38194, _38192))], (230 ^ _35388) ^ [_38273] : [ic(_38273), -(iext(uri_rdfs_subClassOf, _38273, uri_rdfs_Resource))], (236 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35388) ^ [_38456] : [icext(uri_rdfs_ContainerMembershipProperty, _38456), -(iext(uri_rdfs_subPropertyOf, _38456, uri_rdfs_member))], (254 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35388) ^ [_38803] : [icext(uri_rdfs_Datatype, _38803), -(iext(uri_rdfs_subClassOf, _38803, uri_rdfs_Literal))], (290 ^ _35388) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35388) ^ [_38916, _38918, _38920, _38922] : [-(icext(_38920, _38918)), iext(uri_rdfs_domain, _38922, _38920), iext(_38922, _38918, _38916)], (304 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35388) ^ [_39087] : [ic(_39087), -(icext(uri_rdfs_Class, _39087))], (312 ^ _35388) ^ [_39156] : [icext(uri_rdfs_Class, _39156), -(ic(_39156))], (318 ^ _35388) ^ [_39243] : [ir(_39243), -(icext(uri_rdfs_Resource, _39243))], (324 ^ _35388) ^ [_39312] : [icext(uri_rdfs_Resource, _39312), -(ir(_39312))], (330 ^ _35388) ^ [_39399] : [lv(_39399), -(icext(uri_rdfs_Literal, _39399))], (336 ^ _35388) ^ [_39468] : [icext(uri_rdfs_Literal, _39468), -(lv(_39468))], (342 ^ _35388) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35388) ^ [_39579, _39581, _39583, _39585] : [-(icext(_39583, _39579)), iext(uri_rdfs_range, _39585, _39583), iext(_39585, _39581, _39579)], (356 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35388) ^ [_39864, _39866] : [iext(uri_rdfs_subClassOf, _39866, _39864), 375 ^ _35388 : [(376 ^ _35388) ^ [] : [-(ic(_39866))], (378 ^ _35388) ^ [] : [-(ic(_39864))], (380 ^ _35388) ^ [_39979] : [icext(_39866, _39979), -(icext(_39864, _39979))]]], (386 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35388) ^ [_40084] : [ic(_40084), -(iext(uri_rdfs_subClassOf, _40084, _40084))], (394 ^ _35388) ^ [_40159, _40161, _40163] : [-(iext(uri_rdfs_subClassOf, _40163, _40159)), iext(uri_rdfs_subClassOf, _40163, _40161), iext(uri_rdfs_subClassOf, _40161, _40159)], (404 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35388) ^ [_40316, _40318] : [iext(uri_rdfs_subPropertyOf, _40318, _40316), 409 ^ _35388 : [(410 ^ _35388) ^ [] : [-(ip(_40318))], (412 ^ _35388) ^ [] : [-(ip(_40316))], (414 ^ _35388) ^ [_40438, _40440] : [iext(_40318, _40440, _40438), -(iext(_40316, _40440, _40438))]]], (420 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35388) ^ [_40549] : [ip(_40549), -(iext(uri_rdfs_subPropertyOf, _40549, _40549))], (428 ^ _35388) ^ [_40624, _40626, _40628] : [-(iext(uri_rdfs_subPropertyOf, _40628, _40624)), iext(uri_rdfs_subPropertyOf, _40628, _40626), iext(uri_rdfs_subPropertyOf, _40626, _40624)], (438 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35388) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35388) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35388) ^ [_40835] : [ic(_40835), 449 ^ _35388 : [(450 ^ _35388) ^ [_40893] : [icext(_40835, _40893), -(ir(_40893))]]], (456 ^ _35388) ^ [_40972] : [ic(_40972), -(ir(_40972))], (462 ^ _35388) ^ [_41055] : [ic(_41055), -(iext(uri_rdf_type, _41055, uri_rdfs_Class))], (468 ^ _35388) ^ [_41126] : [iext(uri_rdf_type, _41126, uri_rdfs_Class), -(ic(_41126))], (474 ^ _35388) ^ [_41203] : [idc(_41203), 477 ^ _35388 : [(478 ^ _35388) ^ [_41261] : [icext(_41203, _41261), -(lv(_41261))]]], (484 ^ _35388) ^ [_41340] : [idc(_41340), -(ic(_41340))], (490 ^ _35388) ^ [_41423] : [idc(_41423), -(iext(uri_rdf_type, _41423, uri_rdfs_Datatype))], (496 ^ _35388) ^ [_41494] : [iext(uri_rdf_type, _41494, uri_rdfs_Datatype), -(idc(_41494))], (502 ^ _35388) ^ [_41571] : [ioap(_41571), 505 ^ _35388 : [(506 ^ _35388) ^ [_41640, _41642] : [iext(_41571, _41642, _41640), 509 ^ _35388 : [(510 ^ _35388) ^ [] : [-(ir(_41642))], (512 ^ _35388) ^ [] : [-(ir(_41640))]]]]], (514 ^ _35388) ^ [_41747] : [ioap(_41747), -(ip(_41747))], (520 ^ _35388) ^ [_41830] : [ioap(_41830), -(iext(uri_rdf_type, _41830, uri_owl_AnnotationProperty))], (526 ^ _35388) ^ [_41901] : [iext(uri_rdf_type, _41901, uri_owl_AnnotationProperty), -(ioap(_41901))], (532 ^ _35388) ^ [_41978] : [iodp(_41978), 535 ^ _35388 : [(536 ^ _35388) ^ [_42047, _42049] : [iext(_41978, _42049, _42047), 539 ^ _35388 : [(540 ^ _35388) ^ [] : [-(ir(_42049))], (542 ^ _35388) ^ [] : [-(lv(_42047))]]]]], (544 ^ _35388) ^ [_42154] : [iodp(_42154), -(ip(_42154))], (550 ^ _35388) ^ [_42237] : [iodp(_42237), -(iext(uri_rdf_type, _42237, uri_owl_DatatypeProperty))], (556 ^ _35388) ^ [_42308] : [iext(uri_rdf_type, _42308, uri_owl_DatatypeProperty), -(iodp(_42308))], (562 ^ _35388) ^ [_42385] : [ioxp(_42385), 565 ^ _35388 : [(566 ^ _35388) ^ [_42454, _42456] : [iext(_42385, _42456, _42454), 569 ^ _35388 : [(570 ^ _35388) ^ [] : [-(ix(_42456))], (572 ^ _35388) ^ [] : [-(ix(_42454))]]]]], (574 ^ _35388) ^ [_42561] : [ioxp(_42561), -(ip(_42561))], (580 ^ _35388) ^ [_42644] : [ioxp(_42644), -(iext(uri_rdf_type, _42644, uri_owl_OntologyProperty))], (586 ^ _35388) ^ [_42715] : [iext(uri_rdf_type, _42715, uri_owl_OntologyProperty), -(ioxp(_42715))], (592 ^ _35388) ^ [_42792] : [ip(_42792), 595 ^ _35388 : [(596 ^ _35388) ^ [_42861, _42863] : [iext(_42792, _42863, _42861), 599 ^ _35388 : [(600 ^ _35388) ^ [] : [-(ir(_42863))], (602 ^ _35388) ^ [] : [-(ir(_42861))]]]]], (604 ^ _35388) ^ [_42968] : [ip(_42968), -(ir(_42968))], (610 ^ _35388) ^ [_43051] : [ip(_43051), -(iext(uri_rdf_type, _43051, uri_rdf_Property))], (616 ^ _35388) ^ [_43122] : [iext(uri_rdf_type, _43122, uri_rdf_Property), -(ip(_43122))], (623 ^ _35388) ^ [] : [-(ir(621 ^ []))], (625 ^ _35388) ^ [_43235] : [ir(_43235), -(iext(uri_rdf_type, _43235, uri_rdfs_Resource))], (631 ^ _35388) ^ [_43306] : [iext(uri_rdf_type, _43306, uri_rdfs_Resource), -(ir(_43306))], (637 ^ _35388) ^ [_43383] : [ix(_43383), -(ir(_43383))], (643 ^ _35388) ^ [_43466] : [ix(_43466), -(iext(uri_rdf_type, _43466, uri_owl_Ontology))], (649 ^ _35388) ^ [_43537] : [iext(uri_rdf_type, _43537, uri_owl_Ontology), -(ix(_43537))], (655 ^ _35388) ^ [_43614] : [lv(_43614), -(ir(_43614))], (661 ^ _35388) ^ [_43697] : [lv(_43697), -(iext(uri_rdf_type, _43697, uri_rdfs_Literal))], (667 ^ _35388) ^ [_43768] : [iext(uri_rdf_type, _43768, uri_rdfs_Literal), -(lv(_43768))], (673 ^ _35388) ^ [_43845] : [icext(uri_owl_AllDifferent, _43845), -(ir(_43845))], (679 ^ _35388) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35388) ^ [_43936] : [icext(uri_owl_AllDisjointClasses, _43936), -(ir(_43936))], (687 ^ _35388) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35388) ^ [_44027] : [icext(uri_owl_AllDisjointProperties, _44027), -(ir(_44027))], (695 ^ _35388) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35388) ^ [_44118] : [icext(uri_owl_Annotation, _44118), -(ir(_44118))], (703 ^ _35388) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35388) ^ [_44221] : [icext(uri_owl_AnnotationProperty, _44221), -(ioap(_44221))], (711 ^ _35388) ^ [_44290] : [ioap(_44290), -(icext(uri_owl_AnnotationProperty, _44290))], (717 ^ _35388) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35388) ^ [_44383] : [icext(uri_owl_AsymmetricProperty, _44383), -(ip(_44383))], (725 ^ _35388) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35388) ^ [_44474] : [icext(uri_owl_Axiom, _44474), -(ir(_44474))], (733 ^ _35388) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35388) ^ [_44577] : [icext(uri_owl_Class, _44577), -(ic(_44577))], (741 ^ _35388) ^ [_44646] : [ic(_44646), -(icext(uri_owl_Class, _44646))], (747 ^ _35388) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35388) ^ [_44751] : [icext(uri_rdfs_Class, _44751), -(ic(_44751))], (755 ^ _35388) ^ [_44820] : [ic(_44820), -(icext(uri_rdfs_Class, _44820))], (761 ^ _35388) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35388) ^ [_44925] : [icext(uri_owl_DataRange, _44925), -(idc(_44925))], (769 ^ _35388) ^ [_44994] : [idc(_44994), -(icext(uri_owl_DataRange, _44994))], (775 ^ _35388) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35388) ^ [_45099] : [icext(uri_rdfs_Datatype, _45099), -(idc(_45099))], (783 ^ _35388) ^ [_45168] : [idc(_45168), -(icext(uri_rdfs_Datatype, _45168))], (789 ^ _35388) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35388) ^ [_45273] : [icext(uri_owl_DatatypeProperty, _45273), -(iodp(_45273))], (797 ^ _35388) ^ [_45342] : [iodp(_45342), -(icext(uri_owl_DatatypeProperty, _45342))], (803 ^ _35388) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35388) ^ [_45435] : [icext(uri_owl_DeprecatedClass, _45435), -(ic(_45435))], (811 ^ _35388) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35388) ^ [_45526] : [icext(uri_owl_DeprecatedProperty, _45526), -(ip(_45526))], (819 ^ _35388) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35388) ^ [_45617] : [icext(uri_owl_FunctionalProperty, _45617), -(ip(_45617))], (827 ^ _35388) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35388) ^ [_45708] : [icext(uri_owl_InverseFunctionalProperty, _45708), -(ip(_45708))], (835 ^ _35388) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35388) ^ [_45799] : [icext(uri_owl_IrreflexiveProperty, _45799), -(ip(_45799))], (843 ^ _35388) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35388) ^ [_45902] : [icext(uri_rdfs_Literal, _45902), -(lv(_45902))], (851 ^ _35388) ^ [_45971] : [lv(_45971), -(icext(uri_rdfs_Literal, _45971))], (857 ^ _35388) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35388) ^ [_46064] : [icext(uri_owl_NamedIndividual, _46064), -(ir(_46064))], (865 ^ _35388) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35388) ^ [_46155] : [icext(uri_owl_NegativePropertyAssertion, _46155), -(ir(_46155))], (873 ^ _35388) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35388) ^ [_46255] : [icext(uri_owl_Nothing, _46255)], (877 ^ _35388) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35388) ^ [_46308] : [icext(uri_owl_ObjectProperty, _46308), -(ip(_46308))], (885 ^ _35388) ^ [_46377] : [ip(_46377), -(icext(uri_owl_ObjectProperty, _46377))], (891 ^ _35388) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35388) ^ [_46482] : [icext(uri_owl_Ontology, _46482), -(ix(_46482))], (899 ^ _35388) ^ [_46551] : [ix(_46551), -(icext(uri_owl_Ontology, _46551))], (905 ^ _35388) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35388) ^ [_46656] : [icext(uri_owl_OntologyProperty, _46656), -(ioxp(_46656))], (913 ^ _35388) ^ [_46725] : [ioxp(_46725), -(icext(uri_owl_OntologyProperty, _46725))], (919 ^ _35388) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35388) ^ [_46830] : [icext(uri_rdf_Property, _46830), -(ip(_46830))], (927 ^ _35388) ^ [_46899] : [ip(_46899), -(icext(uri_rdf_Property, _46899))], (933 ^ _35388) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35388) ^ [_46992] : [icext(uri_owl_ReflexiveProperty, _46992), -(ip(_46992))], (941 ^ _35388) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35388) ^ [_47095] : [icext(uri_rdfs_Resource, _47095), -(ir(_47095))], (949 ^ _35388) ^ [_47164] : [ir(_47164), -(icext(uri_rdfs_Resource, _47164))], (955 ^ _35388) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35388) ^ [_47257] : [icext(uri_owl_Restriction, _47257), -(ic(_47257))], (963 ^ _35388) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35388) ^ [_47348] : [icext(uri_owl_SymmetricProperty, _47348), -(ip(_47348))], (971 ^ _35388) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35388) ^ [_47451] : [icext(uri_owl_Thing, _47451), -(ir(_47451))], (979 ^ _35388) ^ [_47520] : [ir(_47520), -(icext(uri_owl_Thing, _47520))], (985 ^ _35388) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35388) ^ [_47613] : [icext(uri_owl_TransitiveProperty, _47613), -(ip(_47613))], (993 ^ _35388) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35388) ^ [_47704, _47706] : [iext(uri_owl_allValuesFrom, _47706, _47704), 998 ^ _35388 : [(999 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _47706))], (1001 ^ _35388) ^ [] : [-(ic(_47704))]]], (1003 ^ _35388) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35388) ^ [_47825, _47827] : [iext(uri_owl_annotatedProperty, _47827, _47825), 1008 ^ _35388 : [(1009 ^ _35388) ^ [] : [-(ir(_47827))], (1011 ^ _35388) ^ [] : [-(ir(_47825))]]], (1013 ^ _35388) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35388) ^ [_47944, _47946] : [iext(uri_owl_annotatedSource, _47946, _47944), 1018 ^ _35388 : [(1019 ^ _35388) ^ [] : [-(ir(_47946))], (1021 ^ _35388) ^ [] : [-(ir(_47944))]]], (1023 ^ _35388) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35388) ^ [_48063, _48065] : [iext(uri_owl_annotatedTarget, _48065, _48063), 1028 ^ _35388 : [(1029 ^ _35388) ^ [] : [-(ir(_48065))], (1031 ^ _35388) ^ [] : [-(ir(_48063))]]], (1033 ^ _35388) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35388) ^ [_48182, _48184] : [iext(uri_owl_assertionProperty, _48184, _48182), 1038 ^ _35388 : [(1039 ^ _35388) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48184))], (1041 ^ _35388) ^ [] : [-(ip(_48182))]]], (1043 ^ _35388) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35388) ^ [_48303, _48305] : [iext(uri_owl_backwardCompatibleWith, _48305, _48303), 1048 ^ _35388 : [(1049 ^ _35388) ^ [] : [-(ix(_48305))], (1051 ^ _35388) ^ [] : [-(ix(_48303))]]], (1053 ^ _35388) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35388) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35388) ^ [_48452, _48454] : [iext(uri_owl_bottomDataProperty, _48454, _48452)], (1059 ^ _35388) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35388) ^ [_48508, _48510] : [iext(uri_owl_bottomObjectProperty, _48510, _48508)], (1063 ^ _35388) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35388) ^ [_48552, _48554] : [iext(uri_owl_cardinality, _48554, _48552), 1068 ^ _35388 : [(1069 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _48554))], (1071 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48552))]]], (1073 ^ _35388) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35388) ^ [_48675, _48677] : [iext(uri_rdfs_comment, _48677, _48675), 1078 ^ _35388 : [(1079 ^ _35388) ^ [] : [-(ir(_48677))], (1081 ^ _35388) ^ [] : [-(lv(_48675))]]], (1083 ^ _35388) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35388) ^ [_48794, _48796] : [iext(uri_owl_complementOf, _48796, _48794), 1088 ^ _35388 : [(1089 ^ _35388) ^ [] : [-(ic(_48796))], (1091 ^ _35388) ^ [] : [-(ic(_48794))]]], (1093 ^ _35388) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35388) ^ [_48913, _48915] : [iext(uri_owl_datatypeComplementOf, _48915, _48913), 1098 ^ _35388 : [(1099 ^ _35388) ^ [] : [-(idc(_48915))], (1101 ^ _35388) ^ [] : [-(idc(_48913))]]], (1103 ^ _35388) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35388) ^ [_49032, _49034] : [iext(uri_owl_deprecated, _49034, _49032), 1108 ^ _35388 : [(1109 ^ _35388) ^ [] : [-(ir(_49034))], (1111 ^ _35388) ^ [] : [-(ir(_49032))]]], (1113 ^ _35388) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35388) ^ [_49151, _49153] : [iext(uri_owl_differentFrom, _49153, _49151), 1118 ^ _35388 : [(1119 ^ _35388) ^ [] : [-(ir(_49153))], (1121 ^ _35388) ^ [] : [-(ir(_49151))]]], (1123 ^ _35388) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35388) ^ [_49270, _49272] : [iext(uri_owl_disjointUnionOf, _49272, _49270), 1128 ^ _35388 : [(1129 ^ _35388) ^ [] : [-(ic(_49272))], (1131 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _49270))]]], (1133 ^ _35388) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35388) ^ [_49391, _49393] : [iext(uri_owl_disjointWith, _49393, _49391), 1138 ^ _35388 : [(1139 ^ _35388) ^ [] : [-(ic(_49393))], (1141 ^ _35388) ^ [] : [-(ic(_49391))]]], (1143 ^ _35388) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35388) ^ [_49510, _49512] : [iext(uri_owl_distinctMembers, _49512, _49510), 1148 ^ _35388 : [(1149 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, _49512))], (1151 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _49510))]]], (1153 ^ _35388) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35388) ^ [_49633, _49635] : [iext(uri_owl_equivalentClass, _49635, _49633), 1158 ^ _35388 : [(1159 ^ _35388) ^ [] : [-(ic(_49635))], (1161 ^ _35388) ^ [] : [-(ic(_49633))]]], (1163 ^ _35388) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35388) ^ [_49752, _49754] : [iext(uri_owl_equivalentProperty, _49754, _49752), 1168 ^ _35388 : [(1169 ^ _35388) ^ [] : [-(ip(_49754))], (1171 ^ _35388) ^ [] : [-(ip(_49752))]]], (1173 ^ _35388) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35388) ^ [_49871, _49873] : [iext(uri_owl_hasKey, _49873, _49871), 1178 ^ _35388 : [(1179 ^ _35388) ^ [] : [-(ic(_49873))], (1181 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _49871))]]], (1183 ^ _35388) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35388) ^ [_49992, _49994] : [iext(uri_owl_hasSelf, _49994, _49992), 1188 ^ _35388 : [(1189 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _49994))], (1191 ^ _35388) ^ [] : [-(ir(_49992))]]], (1193 ^ _35388) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35388) ^ [_50113, _50115] : [iext(uri_owl_hasValue, _50115, _50113), 1198 ^ _35388 : [(1199 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _50115))], (1201 ^ _35388) ^ [] : [-(ir(_50113))]]], (1203 ^ _35388) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35388) ^ [_50234, _50236] : [iext(uri_owl_imports, _50236, _50234), 1208 ^ _35388 : [(1209 ^ _35388) ^ [] : [-(ix(_50236))], (1211 ^ _35388) ^ [] : [-(ix(_50234))]]], (1213 ^ _35388) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35388) ^ [_50353, _50355] : [iext(uri_owl_incompatibleWith, _50355, _50353), 1218 ^ _35388 : [(1219 ^ _35388) ^ [] : [-(ix(_50355))], (1221 ^ _35388) ^ [] : [-(ix(_50353))]]], (1223 ^ _35388) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35388) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35388) ^ [_50490, _50492] : [iext(uri_owl_intersectionOf, _50492, _50490), 1230 ^ _35388 : [(1231 ^ _35388) ^ [] : [-(ic(_50492))], (1233 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _50490))]]], (1235 ^ _35388) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35388) ^ [_50611, _50613] : [iext(uri_owl_inverseOf, _50613, _50611), 1240 ^ _35388 : [(1241 ^ _35388) ^ [] : [-(ip(_50613))], (1243 ^ _35388) ^ [] : [-(ip(_50611))]]], (1245 ^ _35388) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35388) ^ [_50730, _50732] : [iext(uri_rdfs_isDefinedBy, _50732, _50730), 1250 ^ _35388 : [(1251 ^ _35388) ^ [] : [-(ir(_50732))], (1253 ^ _35388) ^ [] : [-(ir(_50730))]]], (1255 ^ _35388) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35388) ^ [_50849, _50851] : [iext(uri_rdfs_label, _50851, _50849), 1260 ^ _35388 : [(1261 ^ _35388) ^ [] : [-(ir(_50851))], (1263 ^ _35388) ^ [] : [-(lv(_50849))]]], (1265 ^ _35388) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35388) ^ [_50968, _50970] : [iext(uri_owl_maxCardinality, _50970, _50968), 1270 ^ _35388 : [(1271 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _50970))], (1273 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50968))]]], (1275 ^ _35388) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35388) ^ [_51091, _51093] : [iext(uri_owl_maxQualifiedCardinality, _51093, _51091), 1280 ^ _35388 : [(1281 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _51093))], (1283 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51091))]]], (1285 ^ _35388) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35388) ^ [_51214, _51216] : [iext(uri_owl_members, _51216, _51214), 1290 ^ _35388 : [(1291 ^ _35388) ^ [] : [-(ir(_51216))], (1293 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _51214))]]], (1295 ^ _35388) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35388) ^ [_51335, _51337] : [iext(uri_owl_minCardinality, _51337, _51335), 1300 ^ _35388 : [(1301 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _51337))], (1303 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51335))]]], (1305 ^ _35388) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35388) ^ [_51458, _51460] : [iext(uri_owl_minQualifiedCardinality, _51460, _51458), 1310 ^ _35388 : [(1311 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _51460))], (1313 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51458))]]], (1315 ^ _35388) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35388) ^ [_51581, _51583] : [iext(uri_owl_onClass, _51583, _51581), 1320 ^ _35388 : [(1321 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _51583))], (1323 ^ _35388) ^ [] : [-(ic(_51581))]]], (1325 ^ _35388) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35388) ^ [_51702, _51704] : [iext(uri_owl_onDataRange, _51704, _51702), 1330 ^ _35388 : [(1331 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _51704))], (1333 ^ _35388) ^ [] : [-(idc(_51702))]]], (1335 ^ _35388) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35388) ^ [_51823, _51825] : [iext(uri_owl_onDatatype, _51825, _51823), 1340 ^ _35388 : [(1341 ^ _35388) ^ [] : [-(idc(_51825))], (1343 ^ _35388) ^ [] : [-(idc(_51823))]]], (1345 ^ _35388) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35388) ^ [_51942, _51944] : [iext(uri_owl_oneOf, _51944, _51942), 1350 ^ _35388 : [(1351 ^ _35388) ^ [] : [-(ic(_51944))], (1353 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _51942))]]], (1355 ^ _35388) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35388) ^ [_52063, _52065] : [iext(uri_owl_onProperty, _52065, _52063), 1360 ^ _35388 : [(1361 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _52065))], (1363 ^ _35388) ^ [] : [-(ip(_52063))]]], (1365 ^ _35388) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35388) ^ [_52184, _52186] : [iext(uri_owl_priorVersion, _52186, _52184), 1370 ^ _35388 : [(1371 ^ _35388) ^ [] : [-(ix(_52186))], (1373 ^ _35388) ^ [] : [-(ix(_52184))]]], (1375 ^ _35388) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35388) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35388) ^ [_52321, _52323] : [iext(uri_owl_propertyChainAxiom, _52323, _52321), 1382 ^ _35388 : [(1383 ^ _35388) ^ [] : [-(ip(_52323))], (1385 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _52321))]]], (1387 ^ _35388) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35388) ^ [_52442, _52444] : [iext(uri_owl_propertyDisjointWith, _52444, _52442), 1392 ^ _35388 : [(1393 ^ _35388) ^ [] : [-(ip(_52444))], (1395 ^ _35388) ^ [] : [-(ip(_52442))]]], (1397 ^ _35388) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35388) ^ [_52561, _52563] : [iext(uri_owl_qualifiedCardinality, _52563, _52561), 1402 ^ _35388 : [(1403 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _52563))], (1405 ^ _35388) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52561))]]], (1407 ^ _35388) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35388) ^ [_52684, _52686] : [iext(uri_owl_sameAs, _52686, _52684), 1412 ^ _35388 : [(1413 ^ _35388) ^ [] : [-(ir(_52686))], (1415 ^ _35388) ^ [] : [-(ir(_52684))]]], (1417 ^ _35388) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35388) ^ [_52803, _52805] : [iext(uri_rdfs_seeAlso, _52805, _52803), 1422 ^ _35388 : [(1423 ^ _35388) ^ [] : [-(ir(_52805))], (1425 ^ _35388) ^ [] : [-(ir(_52803))]]], (1427 ^ _35388) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35388) ^ [_52922, _52924] : [iext(uri_owl_someValuesFrom, _52924, _52922), 1432 ^ _35388 : [(1433 ^ _35388) ^ [] : [-(icext(uri_owl_Restriction, _52924))], (1435 ^ _35388) ^ [] : [-(ic(_52922))]]], (1437 ^ _35388) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35388) ^ [_53043, _53045] : [iext(uri_owl_sourceIndividual, _53045, _53043), 1442 ^ _35388 : [(1443 ^ _35388) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53045))], (1445 ^ _35388) ^ [] : [-(ir(_53043))]]], (1447 ^ _35388) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35388) ^ [_53164, _53166] : [iext(uri_owl_targetIndividual, _53166, _53164), 1452 ^ _35388 : [(1453 ^ _35388) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53166))], (1455 ^ _35388) ^ [] : [-(ir(_53164))]]], (1457 ^ _35388) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35388) ^ [_53285, _53287] : [iext(uri_owl_targetValue, _53287, _53285), 1462 ^ _35388 : [(1463 ^ _35388) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53287))], (1465 ^ _35388) ^ [] : [-(lv(_53285))]]], (1467 ^ _35388) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35388) ^ [_53421, _53423] : [iext(uri_owl_topDataProperty, _53423, _53421), 1472 ^ _35388 : [(1473 ^ _35388) ^ [] : [-(ir(_53423))], (1475 ^ _35388) ^ [] : [-(lv(_53421))]]], (1477 ^ _35388) ^ [_53518, _53520] : [-(iext(uri_owl_topDataProperty, _53520, _53518)), ir(_53520), lv(_53518)], (1487 ^ _35388) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35388) ^ [_53680, _53682] : [iext(uri_owl_topObjectProperty, _53682, _53680), 1492 ^ _35388 : [(1493 ^ _35388) ^ [] : [-(ir(_53682))], (1495 ^ _35388) ^ [] : [-(ir(_53680))]]], (1497 ^ _35388) ^ [_53777, _53779] : [-(iext(uri_owl_topObjectProperty, _53779, _53777)), ir(_53779), ir(_53777)], (1507 ^ _35388) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35388) ^ [_53924, _53926] : [iext(uri_owl_unionOf, _53926, _53924), 1512 ^ _35388 : [(1513 ^ _35388) ^ [] : [-(ic(_53926))], (1515 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _53924))]]], (1517 ^ _35388) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35388) ^ [_54045, _54047] : [iext(uri_owl_versionInfo, _54047, _54045), 1522 ^ _35388 : [(1523 ^ _35388) ^ [] : [-(ir(_54047))], (1525 ^ _35388) ^ [] : [-(ir(_54045))]]], (1527 ^ _35388) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35388) ^ [_54164, _54166] : [iext(uri_owl_versionIRI, _54166, _54164), 1532 ^ _35388 : [(1533 ^ _35388) ^ [] : [-(ix(_54166))], (1535 ^ _35388) ^ [] : [-(ix(_54164))]]], (1537 ^ _35388) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35388) ^ [_54283, _54285] : [iext(uri_owl_withRestrictions, _54285, _54283), 1542 ^ _35388 : [(1543 ^ _35388) ^ [] : [-(idc(_54285))], (1545 ^ _35388) ^ [] : [-(icext(uri_rdf_List, _54283))]]], (1547 ^ _35388) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35388) ^ [_54404, _54406] : [iext(uri_owl_complementOf, _54406, _54404), 1552 ^ _35388 : [(1553 ^ _35388) ^ [] : [-(ic(_54406))], (1555 ^ _35388) ^ [] : [-(ic(_54404))], (1557 ^ _35388) ^ [_54534] : [icext(_54406, _54534), icext(_54404, _54534)], (1563 ^ _35388) ^ [_54608] : [-(icext(_54404, _54608)), -(icext(_54406, _54608))]]], (1569 ^ _35388) ^ [_54652, _54654] : [iext(uri_owl_datatypeComplementOf, _54654, _54652), 1572 ^ _35388 : [(1573 ^ _35388) ^ [_54736] : [icext(_54654, _54736), 1576 ^ _35388 : [(1577 ^ _35388) ^ [] : [-(lv(_54736))], (1579 ^ _35388) ^ [] : [icext(_54652, _54736)]]], (1581 ^ _35388) ^ [_54843] : [-(icext(_54654, _54843)), lv(_54843), -(icext(_54652, _54843))]]], (1609 ^ _35388) ^ [_55245] : [-(iext(uri_owl_intersectionOf, _55245, uri_rdf_nil)), ic(_55245), 1617 ^ _35388 : [(1618 ^ _35388) ^ [] : [-(icext(_55245, 1614 ^ [_55245]))], (1620 ^ _35388) ^ [] : [ir(1614 ^ [_55245])]], 1621 ^ _35388 : [(1622 ^ _35388) ^ [] : [-(ir(1614 ^ [_55245]))], (1624 ^ _35388) ^ [] : [icext(_55245, 1614 ^ [_55245])]]], (1591 ^ _35388) ^ [_54995] : [iext(uri_owl_intersectionOf, _54995, uri_rdf_nil), 1594 ^ _35388 : [(1595 ^ _35388) ^ [] : [-(ic(_54995))], (1597 ^ _35388) ^ [_55095] : [icext(_54995, _55095), -(ir(_55095))], (1603 ^ _35388) ^ [_55166] : [ir(_55166), -(icext(_54995, _55166))]]], (1628 ^ _35388) ^ [_55515, _55517, _55519] : [iext(uri_rdf_first, _55517, _55515), iext(uri_rdf_rest, _55517, uri_rdf_nil), 1635 ^ _35388 : [(1636 ^ _35388) ^ [] : [iext(uri_owl_intersectionOf, _55519, _55517), 1639 ^ _35388 : [(1640 ^ _35388) ^ [] : [-(ic(_55519))], (1642 ^ _35388) ^ [] : [-(ic(_55515))], (1644 ^ _35388) ^ [_55764] : [icext(_55519, _55764), -(icext(_55515, _55764))], (1650 ^ _35388) ^ [_55841] : [icext(_55515, _55841), -(icext(_55519, _55841))]]], (1656 ^ _35388) ^ [] : [-(iext(uri_owl_intersectionOf, _55519, _55517)), ic(_55519), ic(_55515), 1668 ^ _35388 : [(1669 ^ _35388) ^ [] : [-(icext(_55519, 1665 ^ [_55515, _55517, _55519]))], (1671 ^ _35388) ^ [] : [icext(_55515, 1665 ^ [_55515, _55517, _55519])]], 1672 ^ _35388 : [(1673 ^ _35388) ^ [] : [-(icext(_55515, 1665 ^ [_55515, _55517, _55519]))], (1675 ^ _35388) ^ [] : [icext(_55519, 1665 ^ [_55515, _55517, _55519])]]]]], (1679 ^ _35388) ^ [_56262, _56264, _56266, _56268, _56270] : [iext(uri_rdf_first, _56268, _56266), iext(uri_rdf_rest, _56268, _56264), iext(uri_rdf_first, _56264, _56262), iext(uri_rdf_rest, _56264, uri_rdf_nil), 1694 ^ _35388 : [(1695 ^ _35388) ^ [] : [iext(uri_owl_intersectionOf, _56270, _56268), 1698 ^ _35388 : [(1699 ^ _35388) ^ [] : [-(ic(_56270))], (1701 ^ _35388) ^ [] : [-(ic(_56266))], (1703 ^ _35388) ^ [] : [-(ic(_56262))], (1705 ^ _35388) ^ [_56674] : [icext(_56270, _56674), 1708 ^ _35388 : [(1709 ^ _35388) ^ [] : [-(icext(_56266, _56674))], (1711 ^ _35388) ^ [] : [-(icext(_56262, _56674))]]], (1713 ^ _35388) ^ [_56781] : [-(icext(_56270, _56781)), icext(_56266, _56781), icext(_56262, _56781)]]], (1723 ^ _35388) ^ [] : [-(iext(uri_owl_intersectionOf, _56270, _56268)), ic(_56270), ic(_56266), ic(_56262), 1747 ^ _35388 : [(1748 ^ _35388) ^ [] : [-(icext(_56266, 1736 ^ [_56262, _56264, _56266, _56268, _56270]))], (1750 ^ _35388) ^ [] : [-(icext(_56262, 1736 ^ [_56262, _56264, _56266, _56268, _56270]))], (1752 ^ _35388) ^ [] : [icext(_56270, 1736 ^ [_56262, _56264, _56266, _56268, _56270])]], 1739 ^ _35388 : [(1740 ^ _35388) ^ [] : [-(icext(_56270, 1736 ^ [_56262, _56264, _56266, _56268, _56270]))], (1742 ^ _35388) ^ [] : [icext(_56266, 1736 ^ [_56262, _56264, _56266, _56268, _56270]), icext(_56262, 1736 ^ [_56262, _56264, _56266, _56268, _56270])]]]]], (1756 ^ _35388) ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473] : [iext(uri_rdf_first, _57471, _57469), iext(uri_rdf_rest, _57471, _57467), iext(uri_rdf_first, _57467, _57465), iext(uri_rdf_rest, _57467, _57463), iext(uri_rdf_first, _57463, _57461), iext(uri_rdf_rest, _57463, uri_rdf_nil), 1779 ^ _35388 : [(1780 ^ _35388) ^ [] : [iext(uri_owl_intersectionOf, _57473, _57471), 1783 ^ _35388 : [(1784 ^ _35388) ^ [] : [-(ic(_57473))], (1786 ^ _35388) ^ [] : [-(ic(_57469))], (1788 ^ _35388) ^ [] : [-(ic(_57465))], (1790 ^ _35388) ^ [] : [-(ic(_57461))], (1792 ^ _35388) ^ [_58052] : [icext(_57473, _58052), 1795 ^ _35388 : [(1796 ^ _35388) ^ [] : [-(icext(_57469, _58052))], (1798 ^ _35388) ^ [] : [-(icext(_57465, _58052))], (1800 ^ _35388) ^ [] : [-(icext(_57461, _58052))]]], (1802 ^ _35388) ^ [_58187] : [-(icext(_57473, _58187)), icext(_57469, _58187), icext(_57465, _58187), icext(_57461, _58187)]]], (1816 ^ _35388) ^ [] : [-(iext(uri_owl_intersectionOf, _57473, _57471)), ic(_57473), ic(_57469), ic(_57465), ic(_57461), 1848 ^ _35388 : [(1849 ^ _35388) ^ [] : [-(icext(_57469, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]))], (1851 ^ _35388) ^ [] : [-(icext(_57465, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]))], (1853 ^ _35388) ^ [] : [-(icext(_57461, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]))], (1855 ^ _35388) ^ [] : [icext(_57473, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473])]], 1836 ^ _35388 : [(1837 ^ _35388) ^ [] : [-(icext(_57473, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]))], (1839 ^ _35388) ^ [] : [icext(_57469, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]), icext(_57465, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473]), icext(_57461, 1833 ^ [_57461, _57463, _57465, _57467, _57469, _57471, _57473])]]]]], (1859 ^ _35388) ^ [_59168, _59170, _59172] : [-(idc(_59172)), iext(uri_rdf_first, _59170, _59168), iext(uri_rdf_rest, _59170, uri_rdf_nil), idc(_59168), iext(uri_owl_intersectionOf, _59172, _59170)], (1877 ^ _35388) ^ [_59411, _59413, _59415, _59417, _59419] : [-(idc(_59419)), iext(uri_rdf_first, _59417, _59415), iext(uri_rdf_rest, _59417, _59413), iext(uri_rdf_first, _59413, _59411), iext(uri_rdf_rest, _59413, uri_rdf_nil), idc(_59415), idc(_59411), iext(uri_owl_intersectionOf, _59419, _59417)], (1907 ^ _35388) ^ [_59846, _59848, _59850, _59852, _59854, _59856, _59858] : [-(idc(_59858)), iext(uri_rdf_first, _59856, _59854), iext(uri_rdf_rest, _59856, _59852), iext(uri_rdf_first, _59852, _59850), iext(uri_rdf_rest, _59852, _59848), iext(uri_rdf_first, _59848, _59846), iext(uri_rdf_rest, _59848, uri_rdf_nil), idc(_59854), idc(_59850), idc(_59846), iext(uri_owl_intersectionOf, _59858, _59856)], (1949 ^ _35388) ^ [_60509] : [iext(uri_owl_unionOf, _60509, uri_rdf_nil), 1952 ^ _35388 : [(1953 ^ _35388) ^ [] : [-(ic(_60509))], (1955 ^ _35388) ^ [_60599] : [icext(_60509, _60599)]]], (1957 ^ _35388) ^ [_60624] : [-(iext(uri_owl_unionOf, _60624, uri_rdf_nil)), ic(_60624), -(icext(_60624, 1962 ^ [_60624]))], (1968 ^ _35388) ^ [_60764, _60766, _60768] : [iext(uri_rdf_first, _60766, _60764), iext(uri_rdf_rest, _60766, uri_rdf_nil), 1975 ^ _35388 : [(1976 ^ _35388) ^ [] : [iext(uri_owl_unionOf, _60768, _60766), 1979 ^ _35388 : [(1980 ^ _35388) ^ [] : [-(ic(_60768))], (1982 ^ _35388) ^ [] : [-(ic(_60764))], (1984 ^ _35388) ^ [_61013] : [icext(_60768, _61013), -(icext(_60764, _61013))], (1990 ^ _35388) ^ [_61090] : [icext(_60764, _61090), -(icext(_60768, _61090))]]], (1996 ^ _35388) ^ [] : [-(iext(uri_owl_unionOf, _60768, _60766)), ic(_60768), ic(_60764), 2008 ^ _35388 : [(2009 ^ _35388) ^ [] : [-(icext(_60768, 2005 ^ [_60764, _60766, _60768]))], (2011 ^ _35388) ^ [] : [icext(_60764, 2005 ^ [_60764, _60766, _60768])]], 2012 ^ _35388 : [(2013 ^ _35388) ^ [] : [-(icext(_60764, 2005 ^ [_60764, _60766, _60768]))], (2015 ^ _35388) ^ [] : [icext(_60768, 2005 ^ [_60764, _60766, _60768])]]]]], (2019 ^ _35388) ^ [_61511, _61513, _61515, _61517, _61519] : [iext(uri_rdf_first, _61517, _61515), iext(uri_rdf_rest, _61517, _61513), iext(uri_rdf_first, _61513, _61511), iext(uri_rdf_rest, _61513, uri_rdf_nil), 2034 ^ _35388 : [(2035 ^ _35388) ^ [] : [iext(uri_owl_unionOf, _61519, _61517), 2038 ^ _35388 : [(2039 ^ _35388) ^ [] : [-(ic(_61519))], (2041 ^ _35388) ^ [] : [-(ic(_61515))], (2043 ^ _35388) ^ [] : [-(ic(_61511))], (2055 ^ _35388) ^ [_62017] : [2056 ^ _35388 : [(2057 ^ _35388) ^ [] : [icext(_61515, _62017)], (2059 ^ _35388) ^ [] : [icext(_61511, _62017)]], -(icext(_61519, _62017))], (2045 ^ _35388) ^ [_61923] : [icext(_61519, _61923), -(icext(_61515, _61923)), -(icext(_61511, _61923))]]], (2063 ^ _35388) ^ [] : [-(iext(uri_owl_unionOf, _61519, _61517)), ic(_61519), ic(_61515), ic(_61511), 2079 ^ _35388 : [(2080 ^ _35388) ^ [] : [-(icext(_61519, 2076 ^ [_61511, _61513, _61515, _61517, _61519]))], (2082 ^ _35388) ^ [] : [icext(_61515, 2076 ^ [_61511, _61513, _61515, _61517, _61519])], (2084 ^ _35388) ^ [] : [icext(_61511, 2076 ^ [_61511, _61513, _61515, _61517, _61519])]], 2085 ^ _35388 : [(2092 ^ _35388) ^ [] : [icext(_61519, 2076 ^ [_61511, _61513, _61515, _61517, _61519])], (2086 ^ _35388) ^ [] : [-(icext(_61515, 2076 ^ [_61511, _61513, _61515, _61517, _61519])), -(icext(_61511, 2076 ^ [_61511, _61513, _61515, _61517, _61519]))]]]]], (2096 ^ _35388) ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651] : [iext(uri_rdf_first, _62649, _62647), iext(uri_rdf_rest, _62649, _62645), iext(uri_rdf_first, _62645, _62643), iext(uri_rdf_rest, _62645, _62641), iext(uri_rdf_first, _62641, _62639), iext(uri_rdf_rest, _62641, uri_rdf_nil), 2119 ^ _35388 : [(2120 ^ _35388) ^ [] : [iext(uri_owl_unionOf, _62651, _62649), 2123 ^ _35388 : [(2124 ^ _35388) ^ [] : [-(ic(_62651))], (2126 ^ _35388) ^ [] : [-(ic(_62647))], (2128 ^ _35388) ^ [] : [-(ic(_62643))], (2130 ^ _35388) ^ [] : [-(ic(_62639))], (2146 ^ _35388) ^ [_63341] : [2147 ^ _35388 : [(2148 ^ _35388) ^ [] : [icext(_62647, _63341)], (2150 ^ _35388) ^ [] : [icext(_62643, _63341)], (2152 ^ _35388) ^ [] : [icext(_62639, _63341)]], -(icext(_62651, _63341))], (2132 ^ _35388) ^ [_63230] : [icext(_62651, _63230), -(icext(_62647, _63230)), -(icext(_62643, _63230)), -(icext(_62639, _63230))]]], (2156 ^ _35388) ^ [] : [-(iext(uri_owl_unionOf, _62651, _62649)), ic(_62651), ic(_62647), ic(_62643), ic(_62639), 2176 ^ _35388 : [(2177 ^ _35388) ^ [] : [-(icext(_62651, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651]))], (2179 ^ _35388) ^ [] : [icext(_62647, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])], (2181 ^ _35388) ^ [] : [icext(_62643, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])], (2183 ^ _35388) ^ [] : [icext(_62639, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])]], 2184 ^ _35388 : [(2195 ^ _35388) ^ [] : [icext(_62651, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])], (2185 ^ _35388) ^ [] : [-(icext(_62647, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])), -(icext(_62643, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651])), -(icext(_62639, 2173 ^ [_62639, _62641, _62643, _62645, _62647, _62649, _62651]))]]]]], (2199 ^ _35388) ^ [_64187, _64189, _64191] : [-(idc(_64191)), iext(uri_rdf_first, _64189, _64187), iext(uri_rdf_rest, _64189, uri_rdf_nil), idc(_64187), iext(uri_owl_unionOf, _64191, _64189)], (2217 ^ _35388) ^ [_64430, _64432, _64434, _64436, _64438] : [-(idc(_64438)), iext(uri_rdf_first, _64436, _64434), iext(uri_rdf_rest, _64436, _64432), iext(uri_rdf_first, _64432, _64430), iext(uri_rdf_rest, _64432, uri_rdf_nil), idc(_64434), idc(_64430), iext(uri_owl_unionOf, _64438, _64436)], (2247 ^ _35388) ^ [_64865, _64867, _64869, _64871, _64873, _64875, _64877] : [-(idc(_64877)), iext(uri_rdf_first, _64875, _64873), iext(uri_rdf_rest, _64875, _64871), iext(uri_rdf_first, _64871, _64869), iext(uri_rdf_rest, _64871, _64867), iext(uri_rdf_first, _64867, _64865), iext(uri_rdf_rest, _64867, uri_rdf_nil), idc(_64873), idc(_64869), idc(_64865), iext(uri_owl_unionOf, _64877, _64875)], (2289 ^ _35388) ^ [_65528] : [iext(uri_owl_oneOf, _65528, uri_rdf_nil), 2292 ^ _35388 : [(2293 ^ _35388) ^ [] : [-(ic(_65528))], (2295 ^ _35388) ^ [_65618] : [icext(_65528, _65618)]]], (2297 ^ _35388) ^ [_65643] : [-(iext(uri_owl_oneOf, _65643, uri_rdf_nil)), ic(_65643), -(icext(_65643, 2302 ^ [_65643]))], (2308 ^ _35388) ^ [_65783, _65785, _65787] : [iext(uri_rdf_first, _65785, _65783), iext(uri_rdf_rest, _65785, uri_rdf_nil), 2315 ^ _35388 : [(2334 ^ _35388) ^ [] : [-(iext(uri_owl_oneOf, _65787, _65785)), ic(_65787), 2342 ^ _35388 : [(2343 ^ _35388) ^ [] : [-(icext(_65787, 2339 ^ [_65783, _65785, _65787]))], (2345 ^ _35388) ^ [] : [2339 ^ [_65783, _65785, _65787] = _65783]], 2346 ^ _35388 : [(2347 ^ _35388) ^ [] : [-(2339 ^ [_65783, _65785, _65787] = _65783)], (2349 ^ _35388) ^ [] : [icext(_65787, 2339 ^ [_65783, _65785, _65787])]]], (2316 ^ _35388) ^ [] : [iext(uri_owl_oneOf, _65787, _65785), 2319 ^ _35388 : [(2320 ^ _35388) ^ [] : [-(ic(_65787))], (2322 ^ _35388) ^ [_66007] : [icext(_65787, _66007), -(_66007 = _65783)], (2328 ^ _35388) ^ [_66084] : [_66084 = _65783, -(icext(_65787, _66084))]]]]], (2353 ^ _35388) ^ [_66456, _66458, _66460, _66462, _66464] : [iext(uri_rdf_first, _66462, _66460), iext(uri_rdf_rest, _66462, _66458), iext(uri_rdf_first, _66458, _66456), iext(uri_rdf_rest, _66458, uri_rdf_nil), 2368 ^ _35388 : [(2393 ^ _35388) ^ [] : [-(iext(uri_owl_oneOf, _66464, _66462)), ic(_66464), 2401 ^ _35388 : [(2402 ^ _35388) ^ [] : [-(icext(_66464, 2398 ^ [_66456, _66458, _66460, _66462, _66464]))], (2404 ^ _35388) ^ [] : [2398 ^ [_66456, _66458, _66460, _66462, _66464] = _66460], (2406 ^ _35388) ^ [] : [2398 ^ [_66456, _66458, _66460, _66462, _66464] = _66456]], 2407 ^ _35388 : [(2414 ^ _35388) ^ [] : [icext(_66464, 2398 ^ [_66456, _66458, _66460, _66462, _66464])], (2408 ^ _35388) ^ [] : [-(2398 ^ [_66456, _66458, _66460, _66462, _66464] = _66460), -(2398 ^ [_66456, _66458, _66460, _66462, _66464] = _66456)]]], (2369 ^ _35388) ^ [] : [iext(uri_owl_oneOf, _66464, _66462), 2372 ^ _35388 : [(2373 ^ _35388) ^ [] : [-(ic(_66464))], (2385 ^ _35388) ^ [_66912] : [2386 ^ _35388 : [(2387 ^ _35388) ^ [] : [_66912 = _66460], (2389 ^ _35388) ^ [] : [_66912 = _66456]], -(icext(_66464, _66912))], (2375 ^ _35388) ^ [_66818] : [icext(_66464, _66818), -(_66818 = _66460), -(_66818 = _66456)]]]]], (2418 ^ _35388) ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] : [iext(uri_rdf_first, _67438, _67436), iext(uri_rdf_rest, _67438, _67434), iext(uri_rdf_first, _67434, _67432), iext(uri_rdf_rest, _67434, _67430), iext(uri_rdf_first, _67430, _67428), iext(uri_rdf_rest, _67430, uri_rdf_nil), 2441 ^ _35388 : [(2472 ^ _35388) ^ [] : [-(iext(uri_owl_oneOf, _67440, _67438)), ic(_67440), 2480 ^ _35388 : [(2481 ^ _35388) ^ [] : [-(icext(_67440, 2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440]))], (2483 ^ _35388) ^ [] : [2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67436], (2485 ^ _35388) ^ [] : [2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67432], (2487 ^ _35388) ^ [] : [2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67428]], 2488 ^ _35388 : [(2499 ^ _35388) ^ [] : [icext(_67440, 2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440])], (2489 ^ _35388) ^ [] : [-(2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67436), -(2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67432), -(2477 ^ [_67428, _67430, _67432, _67434, _67436, _67438, _67440] = _67428)]]], (2442 ^ _35388) ^ [] : [iext(uri_owl_oneOf, _67440, _67438), 2445 ^ _35388 : [(2446 ^ _35388) ^ [] : [-(ic(_67440))], (2462 ^ _35388) ^ [_68055] : [2463 ^ _35388 : [(2464 ^ _35388) ^ [] : [_68055 = _67436], (2466 ^ _35388) ^ [] : [_68055 = _67432], (2468 ^ _35388) ^ [] : [_68055 = _67428]], -(icext(_67440, _68055))], (2448 ^ _35388) ^ [_67944] : [icext(_67440, _67944), -(_67944 = _67436), -(_67944 = _67432), -(_67944 = _67428)]]]]], (2503 ^ _35388) ^ [_68730, _68732, _68734] : [-(idc(_68734)), iext(uri_rdf_first, _68732, _68730), iext(uri_rdf_rest, _68732, uri_rdf_nil), lv(_68730), iext(uri_owl_oneOf, _68734, _68732)], (2521 ^ _35388) ^ [_68973, _68975, _68977, _68979, _68981] : [-(idc(_68981)), iext(uri_rdf_first, _68979, _68977), iext(uri_rdf_rest, _68979, _68975), iext(uri_rdf_first, _68975, _68973), iext(uri_rdf_rest, _68975, uri_rdf_nil), lv(_68977), lv(_68973), iext(uri_owl_oneOf, _68981, _68979)], (2551 ^ _35388) ^ [_69408, _69410, _69412, _69414, _69416, _69418, _69420] : [-(idc(_69420)), iext(uri_rdf_first, _69418, _69416), iext(uri_rdf_rest, _69418, _69414), iext(uri_rdf_first, _69414, _69412), iext(uri_rdf_rest, _69414, _69410), iext(uri_rdf_first, _69410, _69408), iext(uri_rdf_rest, _69410, uri_rdf_nil), lv(_69416), lv(_69412), lv(_69408), iext(uri_owl_oneOf, _69420, _69418)], (2593 ^ _35388) ^ [_70059, _70061, _70063] : [iext(uri_owl_allValuesFrom, _70063, _70059), iext(uri_owl_onProperty, _70063, _70061), 2600 ^ _35388 : [(2611 ^ _35388) ^ [_70359] : [2613 ^ _35388 : [(2614 ^ _35388) ^ [] : [-(iext(_70061, _70359, 2612 ^ [_70059, _70061, _70063, _70359]))], (2616 ^ _35388) ^ [] : [icext(_70059, 2612 ^ [_70059, _70061, _70063, _70359])]], -(icext(_70063, _70359))], (2601 ^ _35388) ^ [_70206] : [icext(_70063, _70206), 2604 ^ _35388 : [(2605 ^ _35388) ^ [_70274] : [iext(_70061, _70206, _70274), -(icext(_70059, _70274))]]]]], (2620 ^ _35388) ^ [_70525, _70527] : [iext(uri_owl_cardinality, _70527, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70527, _70525), 2627 ^ _35388 : [(2628 ^ _35388) ^ [_70664] : [icext(_70527, _70664), 2631 ^ _35388 : [(2632 ^ _35388) ^ [_70731] : [iext(_70525, _70664, _70731)]]], (2634 ^ _35388) ^ [_70753] : [-(iext(_70525, _70753, 2635 ^ [_70525, _70527, _70753])), -(icext(_70527, _70753))]]], (2641 ^ _35388) ^ [_70805, _70807] : [iext(uri_owl_cardinality, _70807, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70807, _70805), 2648 ^ _35388 : [(2666 ^ _35388) ^ [_71240] : [-(icext(_70807, _71240)), 2669 ^ _35388 : [(2670 ^ _35388) ^ [_71335] : [iext(_70805, _71240, _71335)]], 2673 ^ _35388 : [(2674 ^ _35388) ^ [] : [-(iext(_70805, _71240, 2671 ^ [_70805, _70807, _71240]))], (2676 ^ _35388) ^ [] : [-(iext(_70805, _71240, 2672 ^ [_70805, _70807, _71240]))], (2678 ^ _35388) ^ [] : [2672 ^ [_70805, _70807, _71240] = 2671 ^ [_70805, _70807, _71240]]]], (2649 ^ _35388) ^ [_70972] : [icext(_70807, _70972), 2653 ^ _35388 : [(2654 ^ _35388) ^ [] : [-(iext(_70805, _70972, 2652 ^ [_70805, _70807, _70972]))], (2656 ^ _35388) ^ [_71093, _71095] : [-(_71093 = _71095), iext(_70805, _70972, _71095), iext(_70805, _70972, _71093)]]]]], (2682 ^ _35388) ^ [_71530, _71532] : [iext(uri_owl_cardinality, _71532, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71532, _71530), 2689 ^ _35388 : [(2720 ^ _35388) ^ [_72236] : [-(icext(_71532, _72236)), 2736 ^ _35388 : [(2737 ^ _35388) ^ [] : [-(iext(_71530, _72236, 2733 ^ [_71530, _71532, _72236]))], (2739 ^ _35388) ^ [] : [-(iext(_71530, _72236, 2734 ^ [_71530, _71532, _72236]))], (2741 ^ _35388) ^ [] : [-(iext(_71530, _72236, 2735 ^ [_71530, _71532, _72236]))], (2743 ^ _35388) ^ [] : [2735 ^ [_71530, _71532, _72236] = 2733 ^ [_71530, _71532, _72236]], (2745 ^ _35388) ^ [] : [2735 ^ [_71530, _71532, _72236] = 2734 ^ [_71530, _71532, _72236]]], 2723 ^ _35388 : [(2724 ^ _35388) ^ [_72364, _72366] : [iext(_71530, _72236, _72366), iext(_71530, _72236, _72364), -(_72366 = _72364)]]], (2690 ^ _35388) ^ [_71735] : [icext(_71532, _71735), 2695 ^ _35388 : [(2696 ^ _35388) ^ [] : [-(iext(_71530, _71735, 2693 ^ [_71530, _71532, _71735]))], (2698 ^ _35388) ^ [] : [-(iext(_71530, _71735, 2694 ^ [_71530, _71532, _71735]))], (2700 ^ _35388) ^ [] : [2693 ^ [_71530, _71532, _71735] = 2694 ^ [_71530, _71532, _71735]], (2702 ^ _35388) ^ [_72004, _72006, _72008] : [-(_72004 = _72008), -(_72004 = _72006), iext(_71530, _71735, _72008), iext(_71530, _71735, _72006), iext(_71530, _71735, _72004)]]]]], (2749 ^ _35388) ^ [_73319, _73321] : [iext(uri_owl_cardinality, _73321, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _73321, _73319), 2756 ^ _35388 : [(2757 ^ _35388) ^ [_73698] : [icext(_73321, _73698), 2763 ^ _35388 : [(2764 ^ _35388) ^ [] : [-(iext(_73319, _73698, 2760 ^ [_73319, _73321, _73698]))], (2766 ^ _35388) ^ [] : [-(iext(_73319, _73698, 2761 ^ [_73319, _73321, _73698]))], (2768 ^ _35388) ^ [] : [-(iext(_73319, _73698, 2762 ^ [_73319, _73321, _73698]))], (2770 ^ _35388) ^ [] : [2760 ^ [_73319, _73321, _73698] = 2761 ^ [_73319, _73321, _73698]], (2772 ^ _35388) ^ [] : [2760 ^ [_73319, _73321, _73698] = 2762 ^ [_73319, _73321, _73698]], (2774 ^ _35388) ^ [] : [2761 ^ [_73319, _73321, _73698] = 2762 ^ [_73319, _73321, _73698]], (2776 ^ _35388) ^ [_74853, _74855, _74857, _74859] : [-(_74853 = _74859), -(_74853 = _74857), -(_74853 = _74855), iext(_73319, _73698, _74859), iext(_73319, _73698, _74857), iext(_73319, _73698, _74855), iext(_73319, _73698, _74853)]]], (2802 ^ _35388) ^ [_75627] : [-(icext(_73321, _75627)), 2831 ^ _35388 : [(2832 ^ _35388) ^ [] : [-(iext(_73319, _75627, 2827 ^ [_73319, _73321, _75627]))], (2834 ^ _35388) ^ [] : [-(iext(_73319, _75627, 2828 ^ [_73319, _73321, _75627]))], (2836 ^ _35388) ^ [] : [-(iext(_73319, _75627, 2829 ^ [_73319, _73321, _75627]))], (2838 ^ _35388) ^ [] : [-(iext(_73319, _75627, 2830 ^ [_73319, _73321, _75627]))], (2840 ^ _35388) ^ [] : [2830 ^ [_73319, _73321, _75627] = 2827 ^ [_73319, _73321, _75627]], (2842 ^ _35388) ^ [] : [2830 ^ [_73319, _73321, _75627] = 2828 ^ [_73319, _73321, _75627]], (2844 ^ _35388) ^ [] : [2830 ^ [_73319, _73321, _75627] = 2829 ^ [_73319, _73321, _75627]]], 2805 ^ _35388 : [(2806 ^ _35388) ^ [_75898, _75900, _75902] : [iext(_73319, _75627, _75902), iext(_73319, _75627, _75900), iext(_73319, _75627, _75898), -(_75902 = _75900), -(_75902 = _75898), -(_75900 = _75898)]]]]], (2848 ^ _35388) ^ [_77712, _77714, _77716] : [iext(uri_owl_qualifiedCardinality, _77716, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _77716, _77714), iext(uri_owl_onDataRange, _77716, _77712), 2859 ^ _35388 : [(2860 ^ _35388) ^ [] : [-(iodp(_77714))], (2876 ^ _35388) ^ [_78617] : [2878 ^ _35388 : [(2879 ^ _35388) ^ [] : [-(lv(2877 ^ [_77712, _77714, _77716, _78617]))], (2881 ^ _35388) ^ [] : [-(iext(_77714, _78617, 2877 ^ [_77712, _77714, _77716, _78617]))], (2883 ^ _35388) ^ [] : [-(icext(_77712, 2877 ^ [_77712, _77714, _77716, _78617]))]], -(icext(_77716, _78617))], (2862 ^ _35388) ^ [_78165] : [icext(_77716, _78165), 2865 ^ _35388 : [(2866 ^ _35388) ^ [_78324] : [lv(_78324), iext(_77714, _78165, _78324), icext(_77712, _78324)]]]]], (2887 ^ _35388) ^ [_79135, _79137, _79139] : [iext(uri_owl_qualifiedCardinality, _79139, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79139, _79137), iext(uri_owl_onDataRange, _79139, _79135), 2898 ^ _35388 : [(2899 ^ _35388) ^ [] : [-(iodp(_79137))], (2938 ^ _35388) ^ [_80903] : [-(icext(_79139, _80903)), 2953 ^ _35388 : [(2954 ^ _35388) ^ [] : [-(lv(2951 ^ [_79135, _79137, _79139, _80903]))], (2956 ^ _35388) ^ [] : [-(iext(_79137, _80903, 2951 ^ [_79135, _79137, _79139, _80903]))], (2958 ^ _35388) ^ [] : [-(icext(_79135, 2951 ^ [_79135, _79137, _79139, _80903]))], (2960 ^ _35388) ^ [] : [-(lv(2952 ^ [_79135, _79137, _79139, _80903]))], (2962 ^ _35388) ^ [] : [-(iext(_79137, _80903, 2952 ^ [_79135, _79137, _79139, _80903]))], (2964 ^ _35388) ^ [] : [-(icext(_79135, 2952 ^ [_79135, _79137, _79139, _80903]))], (2966 ^ _35388) ^ [] : [2952 ^ [_79135, _79137, _79139, _80903] = 2951 ^ [_79135, _79137, _79139, _80903]]], 2941 ^ _35388 : [(2942 ^ _35388) ^ [_81101] : [lv(_81101), iext(_79137, _80903, _81101), icext(_79135, _81101)]]], (2901 ^ _35388) ^ [_79638] : [icext(_79139, _79638), 2905 ^ _35388 : [(2906 ^ _35388) ^ [] : [-(lv(2904 ^ [_79135, _79137, _79139, _79638]))], (2908 ^ _35388) ^ [] : [-(iext(_79137, _79638, 2904 ^ [_79135, _79137, _79139, _79638]))], (2910 ^ _35388) ^ [] : [-(icext(_79135, 2904 ^ [_79135, _79137, _79139, _79638]))], (2912 ^ _35388) ^ [_80173, _80175] : [-(_80173 = _80175), lv(_80175), iext(_79137, _79638, _80175), icext(_79135, _80175), lv(_80173), iext(_79137, _79638, _80173), icext(_79135, _80173)]]]]], (2970 ^ _35388) ^ [_82330, _82332, _82334] : [iext(uri_owl_qualifiedCardinality, _82334, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _82334, _82332), iext(uri_owl_onDataRange, _82334, _82330), 2981 ^ _35388 : [(2982 ^ _35388) ^ [] : [-(iodp(_82332))], (3046 ^ _35388) ^ [_85213] : [-(icext(_82334, _85213)), 3078 ^ _35388 : [(3079 ^ _35388) ^ [] : [-(lv(3075 ^ [_82330, _82332, _82334, _85213]))], (3081 ^ _35388) ^ [] : [-(iext(_82332, _85213, 3075 ^ [_82330, _82332, _82334, _85213]))], (3083 ^ _35388) ^ [] : [-(icext(_82330, 3075 ^ [_82330, _82332, _82334, _85213]))], (3085 ^ _35388) ^ [] : [-(lv(3076 ^ [_82330, _82332, _82334, _85213]))], (3087 ^ _35388) ^ [] : [-(iext(_82332, _85213, 3076 ^ [_82330, _82332, _82334, _85213]))], (3089 ^ _35388) ^ [] : [-(icext(_82330, 3076 ^ [_82330, _82332, _82334, _85213]))], (3091 ^ _35388) ^ [] : [-(lv(3077 ^ [_82330, _82332, _82334, _85213]))], (3093 ^ _35388) ^ [] : [-(iext(_82332, _85213, 3077 ^ [_82330, _82332, _82334, _85213]))], (3095 ^ _35388) ^ [] : [-(icext(_82330, 3077 ^ [_82330, _82332, _82334, _85213]))], (3097 ^ _35388) ^ [] : [3077 ^ [_82330, _82332, _82334, _85213] = 3075 ^ [_82330, _82332, _82334, _85213]], (3099 ^ _35388) ^ [] : [3077 ^ [_82330, _82332, _82334, _85213] = 3076 ^ [_82330, _82332, _82334, _85213]]], 3049 ^ _35388 : [(3050 ^ _35388) ^ [_85485, _85487] : [lv(_85487), iext(_82332, _85213, _85487), icext(_82330, _85487), lv(_85485), iext(_82332, _85213, _85485), icext(_82330, _85485), -(_85487 = _85485)]]], (2984 ^ _35388) ^ [_82893] : [icext(_82334, _82893), 2989 ^ _35388 : [(2990 ^ _35388) ^ [] : [-(lv(2987 ^ [_82330, _82332, _82334, _82893]))], (2992 ^ _35388) ^ [] : [-(iext(_82332, _82893, 2987 ^ [_82330, _82332, _82334, _82893]))], (2994 ^ _35388) ^ [] : [-(icext(_82330, 2987 ^ [_82330, _82332, _82334, _82893]))], (2996 ^ _35388) ^ [] : [-(lv(2988 ^ [_82330, _82332, _82334, _82893]))], (2998 ^ _35388) ^ [] : [-(iext(_82332, _82893, 2988 ^ [_82330, _82332, _82334, _82893]))], (3000 ^ _35388) ^ [] : [-(icext(_82330, 2988 ^ [_82330, _82332, _82334, _82893]))], (3002 ^ _35388) ^ [] : [2987 ^ [_82330, _82332, _82334, _82893] = 2988 ^ [_82330, _82332, _82334, _82893]], (3004 ^ _35388) ^ [_84010, _84012, _84014] : [-(_84010 = _84014), -(_84010 = _84012), lv(_84014), iext(_82332, _82893, _84014), icext(_82330, _84014), lv(_84012), iext(_82332, _82893, _84012), icext(_82330, _84012), lv(_84010), iext(_82332, _82893, _84010), icext(_82330, _84010)]]]]], (3103 ^ _35388) ^ [_87754, _87756, _87758] : [iext(uri_owl_qualifiedCardinality, _87758, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _87758, _87756), iext(uri_owl_onDataRange, _87758, _87754), 3114 ^ _35388 : [(3115 ^ _35388) ^ [] : [-(iodp(_87756))], (3206 ^ _35388) ^ [_92053] : [-(icext(_87758, _92053)), 3259 ^ _35388 : [(3260 ^ _35388) ^ [] : [-(lv(3255 ^ [_87754, _87756, _87758, _92053]))], (3262 ^ _35388) ^ [] : [-(iext(_87756, _92053, 3255 ^ [_87754, _87756, _87758, _92053]))], (3264 ^ _35388) ^ [] : [-(icext(_87754, 3255 ^ [_87754, _87756, _87758, _92053]))], (3266 ^ _35388) ^ [] : [-(lv(3256 ^ [_87754, _87756, _87758, _92053]))], (3268 ^ _35388) ^ [] : [-(iext(_87756, _92053, 3256 ^ [_87754, _87756, _87758, _92053]))], (3270 ^ _35388) ^ [] : [-(icext(_87754, 3256 ^ [_87754, _87756, _87758, _92053]))], (3272 ^ _35388) ^ [] : [-(lv(3257 ^ [_87754, _87756, _87758, _92053]))], (3274 ^ _35388) ^ [] : [-(iext(_87756, _92053, 3257 ^ [_87754, _87756, _87758, _92053]))], (3276 ^ _35388) ^ [] : [-(icext(_87754, 3257 ^ [_87754, _87756, _87758, _92053]))], (3278 ^ _35388) ^ [] : [-(lv(3258 ^ [_87754, _87756, _87758, _92053]))], (3280 ^ _35388) ^ [] : [-(iext(_87756, _92053, 3258 ^ [_87754, _87756, _87758, _92053]))], (3282 ^ _35388) ^ [] : [-(icext(_87754, 3258 ^ [_87754, _87756, _87758, _92053]))], (3284 ^ _35388) ^ [] : [3258 ^ [_87754, _87756, _87758, _92053] = 3255 ^ [_87754, _87756, _87758, _92053]], (3286 ^ _35388) ^ [] : [3258 ^ [_87754, _87756, _87758, _92053] = 3256 ^ [_87754, _87756, _87758, _92053]], (3288 ^ _35388) ^ [] : [3258 ^ [_87754, _87756, _87758, _92053] = 3257 ^ [_87754, _87756, _87758, _92053]]], 3209 ^ _35388 : [(3210 ^ _35388) ^ [_92407, _92409, _92411] : [lv(_92411), iext(_87756, _92053, _92411), icext(_87754, _92411), lv(_92409), iext(_87756, _92053, _92409), icext(_87754, _92409), lv(_92407), iext(_87756, _92053, _92407), icext(_87754, _92407), -(_92411 = _92409), -(_92411 = _92407), -(_92409 = _92407)]]], (3117 ^ _35388) ^ [_88385] : [icext(_87758, _88385), 3123 ^ _35388 : [(3124 ^ _35388) ^ [] : [-(lv(3120 ^ [_87754, _87756, _87758, _88385]))], (3126 ^ _35388) ^ [] : [-(iext(_87756, _88385, 3120 ^ [_87754, _87756, _87758, _88385]))], (3128 ^ _35388) ^ [] : [-(icext(_87754, 3120 ^ [_87754, _87756, _87758, _88385]))], (3130 ^ _35388) ^ [] : [-(lv(3121 ^ [_87754, _87756, _87758, _88385]))], (3132 ^ _35388) ^ [] : [-(iext(_87756, _88385, 3121 ^ [_87754, _87756, _87758, _88385]))], (3134 ^ _35388) ^ [] : [-(icext(_87754, 3121 ^ [_87754, _87756, _87758, _88385]))], (3136 ^ _35388) ^ [] : [-(lv(3122 ^ [_87754, _87756, _87758, _88385]))], (3138 ^ _35388) ^ [] : [-(iext(_87756, _88385, 3122 ^ [_87754, _87756, _87758, _88385]))], (3140 ^ _35388) ^ [] : [-(icext(_87754, 3122 ^ [_87754, _87756, _87758, _88385]))], (3142 ^ _35388) ^ [] : [3120 ^ [_87754, _87756, _87758, _88385] = 3121 ^ [_87754, _87756, _87758, _88385]], (3144 ^ _35388) ^ [] : [3120 ^ [_87754, _87756, _87758, _88385] = 3122 ^ [_87754, _87756, _87758, _88385]], (3146 ^ _35388) ^ [] : [3121 ^ [_87754, _87756, _87758, _88385] = 3122 ^ [_87754, _87756, _87758, _88385]], (3148 ^ _35388) ^ [_90343, _90345, _90347, _90349] : [-(_90343 = _90349), -(_90343 = _90347), -(_90343 = _90345), lv(_90349), iext(_87756, _88385, _90349), icext(_87754, _90349), lv(_90347), iext(_87756, _88385, _90347), icext(_87754, _90347), lv(_90345), iext(_87756, _88385, _90345), icext(_87754, _90345), lv(_90343), iext(_87756, _88385, _90343), icext(_87754, _90343)]]]]], (3292 ^ _35388) ^ [_95957, _95959, _95961] : [iext(uri_owl_qualifiedCardinality, _95961, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95961, _95959), iext(uri_owl_onClass, _95961, _95957), 3303 ^ _35388 : [(3314 ^ _35388) ^ [_96681] : [3316 ^ _35388 : [(3317 ^ _35388) ^ [] : [-(iext(_95959, _96681, 3315 ^ [_95957, _95959, _95961, _96681]))], (3319 ^ _35388) ^ [] : [-(icext(_95957, 3315 ^ [_95957, _95959, _95961, _96681]))]], -(icext(_95961, _96681))], (3304 ^ _35388) ^ [_96333] : [icext(_95961, _96333), 3307 ^ _35388 : [(3308 ^ _35388) ^ [_96487] : [iext(_95959, _96333, _96487), icext(_95957, _96487)]]]]], (3323 ^ _35388) ^ [_97105, _97107, _97109] : [iext(uri_owl_qualifiedCardinality, _97109, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _97109, _97107), iext(uri_owl_onClass, _97109, _97105), 3334 ^ _35388 : [(3362 ^ _35388) ^ [_98476] : [-(icext(_97109, _98476)), 3373 ^ _35388 : [(3374 ^ _35388) ^ [] : [-(iext(_97107, _98476, 3371 ^ [_97105, _97107, _97109, _98476]))], (3376 ^ _35388) ^ [] : [-(icext(_97105, 3371 ^ [_97105, _97107, _97109, _98476]))], (3378 ^ _35388) ^ [] : [-(iext(_97107, _98476, 3372 ^ [_97105, _97107, _97109, _98476]))], (3380 ^ _35388) ^ [] : [-(icext(_97105, 3372 ^ [_97105, _97107, _97109, _98476]))], (3382 ^ _35388) ^ [] : [3372 ^ [_97105, _97107, _97109, _98476] = 3371 ^ [_97105, _97107, _97109, _98476]]], 3365 ^ _35388 : [(3366 ^ _35388) ^ [_98659] : [iext(_97107, _98476, _98659), icext(_97105, _98659)]]], (3335 ^ _35388) ^ [_97521] : [icext(_97109, _97521), 3339 ^ _35388 : [(3340 ^ _35388) ^ [] : [-(iext(_97107, _97521, 3338 ^ [_97105, _97107, _97109, _97521]))], (3342 ^ _35388) ^ [] : [-(icext(_97105, 3338 ^ [_97105, _97107, _97109, _97521]))], (3344 ^ _35388) ^ [_97954, _97956] : [-(_97954 = _97956), iext(_97107, _97521, _97956), icext(_97105, _97956), iext(_97107, _97521, _97954), icext(_97105, _97954)]]]]], (3386 ^ _35388) ^ [_99588, _99590, _99592] : [iext(uri_owl_qualifiedCardinality, _99592, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99592, _99590), iext(uri_owl_onClass, _99592, _99588), 3397 ^ _35388 : [(3444 ^ _35388) ^ [_101829] : [-(icext(_99592, _101829)), 3468 ^ _35388 : [(3469 ^ _35388) ^ [] : [-(iext(_99590, _101829, 3465 ^ [_99588, _99590, _99592, _101829]))], (3471 ^ _35388) ^ [] : [-(icext(_99588, 3465 ^ [_99588, _99590, _99592, _101829]))], (3473 ^ _35388) ^ [] : [-(iext(_99590, _101829, 3466 ^ [_99588, _99590, _99592, _101829]))], (3475 ^ _35388) ^ [] : [-(icext(_99588, 3466 ^ [_99588, _99590, _99592, _101829]))], (3477 ^ _35388) ^ [] : [-(iext(_99590, _101829, 3467 ^ [_99588, _99590, _99592, _101829]))], (3479 ^ _35388) ^ [] : [-(icext(_99588, 3467 ^ [_99588, _99590, _99592, _101829]))], (3481 ^ _35388) ^ [] : [3467 ^ [_99588, _99590, _99592, _101829] = 3465 ^ [_99588, _99590, _99592, _101829]], (3483 ^ _35388) ^ [] : [3467 ^ [_99588, _99590, _99592, _101829] = 3466 ^ [_99588, _99590, _99592, _101829]]], 3447 ^ _35388 : [(3448 ^ _35388) ^ [_102076, _102078] : [iext(_99590, _101829, _102078), icext(_99588, _102078), iext(_99590, _101829, _102076), icext(_99588, _102076), -(_102078 = _102076)]]], (3398 ^ _35388) ^ [_100054] : [icext(_99592, _100054), 3403 ^ _35388 : [(3404 ^ _35388) ^ [] : [-(iext(_99590, _100054, 3401 ^ [_99588, _99590, _99592, _100054]))], (3406 ^ _35388) ^ [] : [-(icext(_99588, 3401 ^ [_99588, _99590, _99592, _100054]))], (3408 ^ _35388) ^ [] : [-(iext(_99590, _100054, 3402 ^ [_99588, _99590, _99592, _100054]))], (3410 ^ _35388) ^ [] : [-(icext(_99588, 3402 ^ [_99588, _99590, _99592, _100054]))], (3412 ^ _35388) ^ [] : [3401 ^ [_99588, _99590, _99592, _100054] = 3402 ^ [_99588, _99590, _99592, _100054]], (3414 ^ _35388) ^ [_100951, _100953, _100955] : [-(_100951 = _100955), -(_100951 = _100953), iext(_99590, _100054, _100955), icext(_99588, _100955), iext(_99590, _100054, _100953), icext(_99588, _100953), iext(_99590, _100054, _100951), icext(_99588, _100951)]]]]], (3487 ^ _35388) ^ [_103807, _103809, _103811] : [iext(uri_owl_qualifiedCardinality, _103811, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103811, _103809), iext(uri_owl_onClass, _103811, _103807), 3498 ^ _35388 : [(3566 ^ _35388) ^ [_107190] : [-(icext(_103811, _107190)), 3607 ^ _35388 : [(3608 ^ _35388) ^ [] : [-(iext(_103809, _107190, 3603 ^ [_103807, _103809, _103811, _107190]))], (3610 ^ _35388) ^ [] : [-(icext(_103807, 3603 ^ [_103807, _103809, _103811, _107190]))], (3612 ^ _35388) ^ [] : [-(iext(_103809, _107190, 3604 ^ [_103807, _103809, _103811, _107190]))], (3614 ^ _35388) ^ [] : [-(icext(_103807, 3604 ^ [_103807, _103809, _103811, _107190]))], (3616 ^ _35388) ^ [] : [-(iext(_103809, _107190, 3605 ^ [_103807, _103809, _103811, _107190]))], (3618 ^ _35388) ^ [] : [-(icext(_103807, 3605 ^ [_103807, _103809, _103811, _107190]))], (3620 ^ _35388) ^ [] : [-(iext(_103809, _107190, 3606 ^ [_103807, _103809, _103811, _107190]))], (3622 ^ _35388) ^ [] : [-(icext(_103807, 3606 ^ [_103807, _103809, _103811, _107190]))], (3624 ^ _35388) ^ [] : [3606 ^ [_103807, _103809, _103811, _107190] = 3603 ^ [_103807, _103809, _103811, _107190]], (3626 ^ _35388) ^ [] : [3606 ^ [_103807, _103809, _103811, _107190] = 3604 ^ [_103807, _103809, _103811, _107190]], (3628 ^ _35388) ^ [] : [3606 ^ [_103807, _103809, _103811, _107190] = 3605 ^ [_103807, _103809, _103811, _107190]]], 3569 ^ _35388 : [(3570 ^ _35388) ^ [_107509, _107511, _107513] : [iext(_103809, _107190, _107513), icext(_103807, _107513), iext(_103809, _107190, _107511), icext(_103807, _107511), iext(_103809, _107190, _107509), icext(_103807, _107509), -(_107513 = _107511), -(_107513 = _107509), -(_107511 = _107509)]]], (3499 ^ _35388) ^ [_104331] : [icext(_103811, _104331), 3505 ^ _35388 : [(3506 ^ _35388) ^ [] : [-(iext(_103809, _104331, 3502 ^ [_103807, _103809, _103811, _104331]))], (3508 ^ _35388) ^ [] : [-(icext(_103807, 3502 ^ [_103807, _103809, _103811, _104331]))], (3510 ^ _35388) ^ [] : [-(iext(_103809, _104331, 3503 ^ [_103807, _103809, _103811, _104331]))], (3512 ^ _35388) ^ [] : [-(icext(_103807, 3503 ^ [_103807, _103809, _103811, _104331]))], (3514 ^ _35388) ^ [] : [-(iext(_103809, _104331, 3504 ^ [_103807, _103809, _103811, _104331]))], (3516 ^ _35388) ^ [] : [-(icext(_103807, 3504 ^ [_103807, _103809, _103811, _104331]))], (3518 ^ _35388) ^ [] : [3502 ^ [_103807, _103809, _103811, _104331] = 3503 ^ [_103807, _103809, _103811, _104331]], (3520 ^ _35388) ^ [] : [3502 ^ [_103807, _103809, _103811, _104331] = 3504 ^ [_103807, _103809, _103811, _104331]], (3522 ^ _35388) ^ [] : [3503 ^ [_103807, _103809, _103811, _104331] = 3504 ^ [_103807, _103809, _103811, _104331]], (3524 ^ _35388) ^ [_105930, _105932, _105934, _105936] : [-(_105930 = _105936), -(_105930 = _105934), -(_105930 = _105932), iext(_103809, _104331, _105936), icext(_103807, _105936), iext(_103809, _104331, _105934), icext(_103807, _105934), iext(_103809, _104331, _105932), icext(_103807, _105932), iext(_103809, _104331, _105930), icext(_103807, _105930)]]]]], (3632 ^ _35388) ^ [_110254, _110256, _110258] : [iext(uri_owl_hasSelf, _110258, _110254), iext(uri_owl_onProperty, _110258, _110256), 3639 ^ _35388 : [(3640 ^ _35388) ^ [_110522] : [icext(_110258, _110522), -(iext(_110256, _110522, _110522))], (3646 ^ _35388) ^ [_110704] : [iext(_110256, _110704, _110704), -(icext(_110258, _110704))]]], (3652 ^ _35388) ^ [_110957, _110959, _110961] : [iext(uri_owl_hasValue, _110961, _110957), iext(uri_owl_onProperty, _110961, _110959), 3659 ^ _35388 : [(3660 ^ _35388) ^ [_111225] : [icext(_110961, _111225), -(iext(_110959, _111225, _110957))], (3666 ^ _35388) ^ [_111407] : [iext(_110959, _111407, _110957), -(icext(_110961, _111407))]]], (3672 ^ _35388) ^ [_111646, _111648] : [iext(uri_owl_maxCardinality, _111648, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111648, _111646), 3679 ^ _35388 : [(3680 ^ _35388) ^ [_111913] : [icext(_111648, _111913), 3683 ^ _35388 : [(3684 ^ _35388) ^ [_112039] : [iext(_111646, _111913, _112039)]]], (3686 ^ _35388) ^ [_112110] : [-(iext(_111646, _112110, 3687 ^ [_111646, _111648, _112110])), -(icext(_111648, _112110))]]], (3693 ^ _35388) ^ [_112408, _112410] : [iext(uri_owl_maxCardinality, _112410, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _112410, _112408), 3700 ^ _35388 : [(3715 ^ _35388) ^ [_113159] : [3718 ^ _35388 : [(3719 ^ _35388) ^ [] : [-(iext(_112408, _113159, 3716 ^ [_112408, _112410, _113159]))], (3721 ^ _35388) ^ [] : [-(iext(_112408, _113159, 3717 ^ [_112408, _112410, _113159]))], (3723 ^ _35388) ^ [] : [3717 ^ [_112408, _112410, _113159] = 3716 ^ [_112408, _112410, _113159]]], -(icext(_112410, _113159))], (3701 ^ _35388) ^ [_112691] : [icext(_112410, _112691), 3704 ^ _35388 : [(3705 ^ _35388) ^ [_112863, _112865] : [-(_112863 = _112865), iext(_112408, _112691, _112865), iext(_112408, _112691, _112863)]]]]], (3727 ^ _35388) ^ [_113742, _113744] : [iext(uri_owl_maxCardinality, _113744, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113744, _113742), 3734 ^ _35388 : [(3757 ^ _35388) ^ [_114768] : [3761 ^ _35388 : [(3762 ^ _35388) ^ [] : [-(iext(_113742, _114768, 3758 ^ [_113742, _113744, _114768]))], (3764 ^ _35388) ^ [] : [-(iext(_113742, _114768, 3759 ^ [_113742, _113744, _114768]))], (3766 ^ _35388) ^ [] : [-(iext(_113742, _114768, 3760 ^ [_113742, _113744, _114768]))], (3768 ^ _35388) ^ [] : [3760 ^ [_113742, _113744, _114768] = 3758 ^ [_113742, _113744, _114768]], (3770 ^ _35388) ^ [] : [3760 ^ [_113742, _113744, _114768] = 3759 ^ [_113742, _113744, _114768]]], -(icext(_113744, _114768))], (3735 ^ _35388) ^ [_114043] : [icext(_113744, _114043), 3738 ^ _35388 : [(3739 ^ _35388) ^ [_114247, _114249, _114251] : [-(_114247 = _114251), -(_114247 = _114249), iext(_113742, _114043, _114251), iext(_113742, _114043, _114249), iext(_113742, _114043, _114247)]]]]], (3774 ^ _35388) ^ [_115686, _115688] : [iext(uri_owl_maxCardinality, _115688, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115688, _115686), 3781 ^ _35388 : [(3812 ^ _35388) ^ [_117003] : [3817 ^ _35388 : [(3818 ^ _35388) ^ [] : [-(iext(_115686, _117003, 3813 ^ [_115686, _115688, _117003]))], (3820 ^ _35388) ^ [] : [-(iext(_115686, _117003, 3814 ^ [_115686, _115688, _117003]))], (3822 ^ _35388) ^ [] : [-(iext(_115686, _117003, 3815 ^ [_115686, _115688, _117003]))], (3824 ^ _35388) ^ [] : [-(iext(_115686, _117003, 3816 ^ [_115686, _115688, _117003]))], (3826 ^ _35388) ^ [] : [3816 ^ [_115686, _115688, _117003] = 3813 ^ [_115686, _115688, _117003]], (3828 ^ _35388) ^ [] : [3816 ^ [_115686, _115688, _117003] = 3814 ^ [_115686, _115688, _117003]], (3830 ^ _35388) ^ [] : [3816 ^ [_115686, _115688, _117003] = 3815 ^ [_115686, _115688, _117003]]], -(icext(_115688, _117003))], (3782 ^ _35388) ^ [_116005] : [icext(_115688, _116005), 3785 ^ _35388 : [(3786 ^ _35388) ^ [_116241, _116243, _116245, _116247] : [-(_116241 = _116247), -(_116241 = _116245), -(_116241 = _116243), iext(_115686, _116005, _116247), iext(_115686, _116005, _116245), iext(_115686, _116005, _116243), iext(_115686, _116005, _116241)]]]]], (3834 ^ _35388) ^ [_118319, _118321, _118323] : [iext(uri_owl_maxQualifiedCardinality, _118323, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118323, _118321), iext(uri_owl_onDataRange, _118323, _118319), 3845 ^ _35388 : [(3846 ^ _35388) ^ [] : [-(iodp(_118321))], (3862 ^ _35388) ^ [_119224] : [3864 ^ _35388 : [(3865 ^ _35388) ^ [] : [-(lv(3863 ^ [_118319, _118321, _118323, _119224]))], (3867 ^ _35388) ^ [] : [-(iext(_118321, _119224, 3863 ^ [_118319, _118321, _118323, _119224]))], (3869 ^ _35388) ^ [] : [-(icext(_118319, 3863 ^ [_118319, _118321, _118323, _119224]))]], -(icext(_118323, _119224))], (3848 ^ _35388) ^ [_118772] : [icext(_118323, _118772), 3851 ^ _35388 : [(3852 ^ _35388) ^ [_118931] : [lv(_118931), iext(_118321, _118772, _118931), icext(_118319, _118931)]]]]], (3873 ^ _35388) ^ [_119742, _119744, _119746] : [iext(uri_owl_maxQualifiedCardinality, _119746, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119746, _119744), iext(uri_owl_onDataRange, _119746, _119742), 3884 ^ _35388 : [(3885 ^ _35388) ^ [] : [-(iodp(_119744))], (3917 ^ _35388) ^ [_121146] : [3920 ^ _35388 : [(3921 ^ _35388) ^ [] : [-(lv(3918 ^ [_119742, _119744, _119746, _121146]))], (3923 ^ _35388) ^ [] : [-(iext(_119744, _121146, 3918 ^ [_119742, _119744, _119746, _121146]))], (3925 ^ _35388) ^ [] : [-(icext(_119742, 3918 ^ [_119742, _119744, _119746, _121146]))], (3927 ^ _35388) ^ [] : [-(lv(3919 ^ [_119742, _119744, _119746, _121146]))], (3929 ^ _35388) ^ [] : [-(iext(_119744, _121146, 3919 ^ [_119742, _119744, _119746, _121146]))], (3931 ^ _35388) ^ [] : [-(icext(_119742, 3919 ^ [_119742, _119744, _119746, _121146]))], (3933 ^ _35388) ^ [] : [3919 ^ [_119742, _119744, _119746, _121146] = 3918 ^ [_119742, _119744, _119746, _121146]]], -(icext(_119746, _121146))], (3887 ^ _35388) ^ [_120222] : [icext(_119746, _120222), 3890 ^ _35388 : [(3891 ^ _35388) ^ [_120422, _120424] : [-(_120422 = _120424), lv(_120424), iext(_119744, _120222, _120424), icext(_119742, _120424), lv(_120422), iext(_119744, _120222, _120422), icext(_119742, _120422)]]]]], (3937 ^ _35388) ^ [_122205, _122207, _122209] : [iext(uri_owl_maxQualifiedCardinality, _122209, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _122209, _122207), iext(uri_owl_onDataRange, _122209, _122205), 3948 ^ _35388 : [(3949 ^ _35388) ^ [] : [-(iodp(_122207))], (3997 ^ _35388) ^ [_124146] : [4001 ^ _35388 : [(4002 ^ _35388) ^ [] : [-(lv(3998 ^ [_122205, _122207, _122209, _124146]))], (4004 ^ _35388) ^ [] : [-(iext(_122207, _124146, 3998 ^ [_122205, _122207, _122209, _124146]))], (4006 ^ _35388) ^ [] : [-(icext(_122205, 3998 ^ [_122205, _122207, _122209, _124146]))], (4008 ^ _35388) ^ [] : [-(lv(3999 ^ [_122205, _122207, _122209, _124146]))], (4010 ^ _35388) ^ [] : [-(iext(_122207, _124146, 3999 ^ [_122205, _122207, _122209, _124146]))], (4012 ^ _35388) ^ [] : [-(icext(_122205, 3999 ^ [_122205, _122207, _122209, _124146]))], (4014 ^ _35388) ^ [] : [-(lv(4000 ^ [_122205, _122207, _122209, _124146]))], (4016 ^ _35388) ^ [] : [-(iext(_122207, _124146, 4000 ^ [_122205, _122207, _122209, _124146]))], (4018 ^ _35388) ^ [] : [-(icext(_122205, 4000 ^ [_122205, _122207, _122209, _124146]))], (4020 ^ _35388) ^ [] : [4000 ^ [_122205, _122207, _122209, _124146] = 3998 ^ [_122205, _122207, _122209, _124146]], (4022 ^ _35388) ^ [] : [4000 ^ [_122205, _122207, _122209, _124146] = 3999 ^ [_122205, _122207, _122209, _124146]]], -(icext(_122209, _124146))], (3951 ^ _35388) ^ [_122714] : [icext(_122209, _122714), 3954 ^ _35388 : [(3955 ^ _35388) ^ [_122957, _122959, _122961] : [-(_122957 = _122961), -(_122957 = _122959), lv(_122961), iext(_122207, _122714, _122961), icext(_122205, _122961), lv(_122959), iext(_122207, _122714, _122959), icext(_122205, _122959), lv(_122957), iext(_122207, _122714, _122957), icext(_122205, _122957)]]]]], (4026 ^ _35388) ^ [_125841, _125843, _125845] : [iext(uri_owl_maxQualifiedCardinality, _125845, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125845, _125843), iext(uri_owl_onDataRange, _125845, _125841), 4037 ^ _35388 : [(4038 ^ _35388) ^ [] : [-(iodp(_125843))], (4102 ^ _35388) ^ [_128351] : [4107 ^ _35388 : [(4108 ^ _35388) ^ [] : [-(lv(4103 ^ [_125841, _125843, _125845, _128351]))], (4110 ^ _35388) ^ [] : [-(iext(_125843, _128351, 4103 ^ [_125841, _125843, _125845, _128351]))], (4112 ^ _35388) ^ [] : [-(icext(_125841, 4103 ^ [_125841, _125843, _125845, _128351]))], (4114 ^ _35388) ^ [] : [-(lv(4104 ^ [_125841, _125843, _125845, _128351]))], (4116 ^ _35388) ^ [] : [-(iext(_125843, _128351, 4104 ^ [_125841, _125843, _125845, _128351]))], (4118 ^ _35388) ^ [] : [-(icext(_125841, 4104 ^ [_125841, _125843, _125845, _128351]))], (4120 ^ _35388) ^ [] : [-(lv(4105 ^ [_125841, _125843, _125845, _128351]))], (4122 ^ _35388) ^ [] : [-(iext(_125843, _128351, 4105 ^ [_125841, _125843, _125845, _128351]))], (4124 ^ _35388) ^ [] : [-(icext(_125841, 4105 ^ [_125841, _125843, _125845, _128351]))], (4126 ^ _35388) ^ [] : [-(lv(4106 ^ [_125841, _125843, _125845, _128351]))], (4128 ^ _35388) ^ [] : [-(iext(_125843, _128351, 4106 ^ [_125841, _125843, _125845, _128351]))], (4130 ^ _35388) ^ [] : [-(icext(_125841, 4106 ^ [_125841, _125843, _125845, _128351]))], (4132 ^ _35388) ^ [] : [4106 ^ [_125841, _125843, _125845, _128351] = 4103 ^ [_125841, _125843, _125845, _128351]], (4134 ^ _35388) ^ [] : [4106 ^ [_125841, _125843, _125845, _128351] = 4104 ^ [_125841, _125843, _125845, _128351]], (4136 ^ _35388) ^ [] : [4106 ^ [_125841, _125843, _125845, _128351] = 4105 ^ [_125841, _125843, _125845, _128351]]], -(icext(_125845, _128351))], (4040 ^ _35388) ^ [_126379] : [icext(_125845, _126379), 4043 ^ _35388 : [(4044 ^ _35388) ^ [_126665, _126667, _126669, _126671] : [-(_126665 = _126671), -(_126665 = _126669), -(_126665 = _126667), lv(_126671), iext(_125843, _126379, _126671), icext(_125841, _126671), lv(_126669), iext(_125843, _126379, _126669), icext(_125841, _126669), lv(_126667), iext(_125843, _126379, _126667), icext(_125841, _126667), lv(_126665), iext(_125843, _126379, _126665), icext(_125841, _126665)]]]]], (4140 ^ _35388) ^ [_130779, _130781, _130783] : [iext(uri_owl_maxQualifiedCardinality, _130783, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _130783, _130781), iext(uri_owl_onClass, _130783, _130779), 4151 ^ _35388 : [(4162 ^ _35388) ^ [_131503] : [4164 ^ _35388 : [(4165 ^ _35388) ^ [] : [-(iext(_130781, _131503, 4163 ^ [_130779, _130781, _130783, _131503]))], (4167 ^ _35388) ^ [] : [-(icext(_130779, 4163 ^ [_130779, _130781, _130783, _131503]))]], -(icext(_130783, _131503))], (4152 ^ _35388) ^ [_131155] : [icext(_130783, _131155), 4155 ^ _35388 : [(4156 ^ _35388) ^ [_131309] : [iext(_130781, _131155, _131309), icext(_130779, _131309)]]]]], (4171 ^ _35388) ^ [_131927, _131929, _131931] : [iext(uri_owl_maxQualifiedCardinality, _131931, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131931, _131929), iext(uri_owl_onClass, _131931, _131927), 4182 ^ _35388 : [(4205 ^ _35388) ^ [_133033] : [4208 ^ _35388 : [(4209 ^ _35388) ^ [] : [-(iext(_131929, _133033, 4206 ^ [_131927, _131929, _131931, _133033]))], (4211 ^ _35388) ^ [] : [-(icext(_131927, 4206 ^ [_131927, _131929, _131931, _133033]))], (4213 ^ _35388) ^ [] : [-(iext(_131929, _133033, 4207 ^ [_131927, _131929, _131931, _133033]))], (4215 ^ _35388) ^ [] : [-(icext(_131927, 4207 ^ [_131927, _131929, _131931, _133033]))], (4217 ^ _35388) ^ [] : [4207 ^ [_131927, _131929, _131931, _133033] = 4206 ^ [_131927, _131929, _131931, _133033]]], -(icext(_131931, _133033))], (4183 ^ _35388) ^ [_132325] : [icext(_131931, _132325), 4186 ^ _35388 : [(4187 ^ _35388) ^ [_132515, _132517] : [-(_132515 = _132517), iext(_131929, _132325, _132517), icext(_131927, _132517), iext(_131929, _132325, _132515), icext(_131927, _132515)]]]]], (4221 ^ _35388) ^ [_133881, _133883, _133885] : [iext(uri_owl_maxQualifiedCardinality, _133885, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _133885, _133883), iext(uri_owl_onClass, _133885, _133881), 4232 ^ _35388 : [(4267 ^ _35388) ^ [_135399] : [4271 ^ _35388 : [(4272 ^ _35388) ^ [] : [-(iext(_133883, _135399, 4268 ^ [_133881, _133883, _133885, _135399]))], (4274 ^ _35388) ^ [] : [-(icext(_133881, 4268 ^ [_133881, _133883, _133885, _135399]))], (4276 ^ _35388) ^ [] : [-(iext(_133883, _135399, 4269 ^ [_133881, _133883, _133885, _135399]))], (4278 ^ _35388) ^ [] : [-(icext(_133881, 4269 ^ [_133881, _133883, _133885, _135399]))], (4280 ^ _35388) ^ [] : [-(iext(_133883, _135399, 4270 ^ [_133881, _133883, _133885, _135399]))], (4282 ^ _35388) ^ [] : [-(icext(_133881, 4270 ^ [_133881, _133883, _133885, _135399]))], (4284 ^ _35388) ^ [] : [4270 ^ [_133881, _133883, _133885, _135399] = 4268 ^ [_133881, _133883, _133885, _135399]], (4286 ^ _35388) ^ [] : [4270 ^ [_133881, _133883, _133885, _135399] = 4269 ^ [_133881, _133883, _133885, _135399]]], -(icext(_133885, _135399))], (4233 ^ _35388) ^ [_134303] : [icext(_133885, _134303), 4236 ^ _35388 : [(4237 ^ _35388) ^ [_134531, _134533, _134535] : [-(_134531 = _134535), -(_134531 = _134533), iext(_133883, _134303, _134535), icext(_133881, _134535), iext(_133883, _134303, _134533), icext(_133881, _134533), iext(_133883, _134303, _134531), icext(_133881, _134531)]]]]], (4290 ^ _35388) ^ [_136747, _136749, _136751] : [iext(uri_owl_maxQualifiedCardinality, _136751, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _136751, _136749), iext(uri_owl_onClass, _136751, _136747), 4301 ^ _35388 : [(4348 ^ _35388) ^ [_138701] : [4353 ^ _35388 : [(4354 ^ _35388) ^ [] : [-(iext(_136749, _138701, 4349 ^ [_136747, _136749, _136751, _138701]))], (4356 ^ _35388) ^ [] : [-(icext(_136747, 4349 ^ [_136747, _136749, _136751, _138701]))], (4358 ^ _35388) ^ [] : [-(iext(_136749, _138701, 4350 ^ [_136747, _136749, _136751, _138701]))], (4360 ^ _35388) ^ [] : [-(icext(_136747, 4350 ^ [_136747, _136749, _136751, _138701]))], (4362 ^ _35388) ^ [] : [-(iext(_136749, _138701, 4351 ^ [_136747, _136749, _136751, _138701]))], (4364 ^ _35388) ^ [] : [-(icext(_136747, 4351 ^ [_136747, _136749, _136751, _138701]))], (4366 ^ _35388) ^ [] : [-(iext(_136749, _138701, 4352 ^ [_136747, _136749, _136751, _138701]))], (4368 ^ _35388) ^ [] : [-(icext(_136747, 4352 ^ [_136747, _136749, _136751, _138701]))], (4370 ^ _35388) ^ [] : [4352 ^ [_136747, _136749, _136751, _138701] = 4349 ^ [_136747, _136749, _136751, _138701]], (4372 ^ _35388) ^ [] : [4352 ^ [_136747, _136749, _136751, _138701] = 4350 ^ [_136747, _136749, _136751, _138701]], (4374 ^ _35388) ^ [] : [4352 ^ [_136747, _136749, _136751, _138701] = 4351 ^ [_136747, _136749, _136751, _138701]]], -(icext(_136751, _138701))], (4302 ^ _35388) ^ [_137193] : [icext(_136751, _137193), 4305 ^ _35388 : [(4306 ^ _35388) ^ [_137459, _137461, _137463, _137465] : [-(_137459 = _137465), -(_137459 = _137463), -(_137459 = _137461), iext(_136749, _137193, _137465), icext(_136747, _137465), iext(_136749, _137193, _137463), icext(_136747, _137463), iext(_136749, _137193, _137461), icext(_136747, _137461), iext(_136749, _137193, _137459), icext(_136747, _137459)]]]]], (4378 ^ _35388) ^ [_140611, _140613] : [4385 ^ _35388 : [(4386 ^ _35388) ^ [_140820] : [-(icext(_140613, _140820))]], iext(uri_owl_minCardinality, _140613, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140613, _140611)], (4388 ^ _35388) ^ [_140936, _140938] : [iext(uri_owl_minCardinality, _140938, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140938, _140936), 4395 ^ _35388 : [(4396 ^ _35388) ^ [_141201] : [icext(_140938, _141201), -(iext(_140936, _141201, 4399 ^ [_140936, _140938, _141201]))], (4403 ^ _35388) ^ [_141439] : [4404 ^ _35388 : [(4405 ^ _35388) ^ [_141516] : [iext(_140936, _141439, _141516)]], -(icext(_140938, _141439))]]], (4409 ^ _35388) ^ [_141692, _141694] : [iext(uri_owl_minCardinality, _141694, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141694, _141692), 4416 ^ _35388 : [(4417 ^ _35388) ^ [_141977] : [icext(_141694, _141977), 4422 ^ _35388 : [(4423 ^ _35388) ^ [] : [-(iext(_141692, _141977, 4420 ^ [_141692, _141694, _141977]))], (4425 ^ _35388) ^ [] : [-(iext(_141692, _141977, 4421 ^ [_141692, _141694, _141977]))], (4427 ^ _35388) ^ [] : [4420 ^ [_141692, _141694, _141977] = 4421 ^ [_141692, _141694, _141977]]]], (4429 ^ _35388) ^ [_142506] : [-(icext(_141694, _142506)), 4430 ^ _35388 : [(4431 ^ _35388) ^ [_142633, _142635] : [iext(_141692, _142506, _142635), iext(_141692, _142506, _142633), -(_142635 = _142633)]]]]], (4443 ^ _35388) ^ [_143036, _143038] : [iext(uri_owl_minCardinality, _143038, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _143038, _143036), 4450 ^ _35388 : [(4451 ^ _35388) ^ [_143349] : [icext(_143038, _143349), 4457 ^ _35388 : [(4458 ^ _35388) ^ [] : [-(iext(_143036, _143349, 4454 ^ [_143036, _143038, _143349]))], (4460 ^ _35388) ^ [] : [-(iext(_143036, _143349, 4455 ^ [_143036, _143038, _143349]))], (4462 ^ _35388) ^ [] : [-(iext(_143036, _143349, 4456 ^ [_143036, _143038, _143349]))], (4464 ^ _35388) ^ [] : [4454 ^ [_143036, _143038, _143349] = 4455 ^ [_143036, _143038, _143349]], (4466 ^ _35388) ^ [] : [4454 ^ [_143036, _143038, _143349] = 4456 ^ [_143036, _143038, _143349]], (4468 ^ _35388) ^ [] : [4455 ^ [_143036, _143038, _143349] = 4456 ^ [_143036, _143038, _143349]]]], (4470 ^ _35388) ^ [_144367] : [-(icext(_143038, _144367)), 4471 ^ _35388 : [(4472 ^ _35388) ^ [_144536, _144538, _144540] : [iext(_143036, _144367, _144540), iext(_143036, _144367, _144538), iext(_143036, _144367, _144536), -(_144540 = _144538), -(_144540 = _144536), -(_144538 = _144536)]]]]], (4496 ^ _35388) ^ [_145286, _145288, _145290] : [4507 ^ _35388 : [(4508 ^ _35388) ^ [] : [-(iodp(_145288))], (4510 ^ _35388) ^ [_145670] : [-(icext(_145290, _145670))]], iext(uri_owl_minQualifiedCardinality, _145290, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145290, _145288), iext(uri_owl_onDataRange, _145290, _145286)], (4512 ^ _35388) ^ [_145804, _145806, _145808] : [iext(uri_owl_minQualifiedCardinality, _145808, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145808, _145806), iext(uri_owl_onDataRange, _145808, _145804), 4523 ^ _35388 : [(4524 ^ _35388) ^ [] : [-(iodp(_145806))], (4526 ^ _35388) ^ [_146255] : [icext(_145808, _146255), 4530 ^ _35388 : [(4531 ^ _35388) ^ [] : [-(lv(4529 ^ [_145804, _145806, _145808, _146255]))], (4533 ^ _35388) ^ [] : [-(iext(_145806, _146255, 4529 ^ [_145804, _145806, _145808, _146255]))], (4535 ^ _35388) ^ [] : [-(icext(_145804, 4529 ^ [_145804, _145806, _145808, _146255]))]]], (4537 ^ _35388) ^ [_146695] : [-(icext(_145808, _146695)), 4538 ^ _35388 : [(4539 ^ _35388) ^ [_146803] : [lv(_146803), iext(_145806, _146695, _146803), icext(_145804, _146803)]]]]], (4551 ^ _35388) ^ [_147221, _147223, _147225] : [iext(uri_owl_minQualifiedCardinality, _147225, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147225, _147223), iext(uri_owl_onDataRange, _147225, _147221), 4562 ^ _35388 : [(4563 ^ _35388) ^ [] : [-(iodp(_147223))], (4565 ^ _35388) ^ [_147703] : [icext(_147225, _147703), 4570 ^ _35388 : [(4571 ^ _35388) ^ [] : [-(lv(4568 ^ [_147221, _147223, _147225, _147703]))], (4573 ^ _35388) ^ [] : [-(iext(_147223, _147703, 4568 ^ [_147221, _147223, _147225, _147703]))], (4575 ^ _35388) ^ [] : [-(icext(_147221, 4568 ^ [_147221, _147223, _147225, _147703]))], (4577 ^ _35388) ^ [] : [-(lv(4569 ^ [_147221, _147223, _147225, _147703]))], (4579 ^ _35388) ^ [] : [-(iext(_147223, _147703, 4569 ^ [_147221, _147223, _147225, _147703]))], (4581 ^ _35388) ^ [] : [-(icext(_147221, 4569 ^ [_147221, _147223, _147225, _147703]))], (4583 ^ _35388) ^ [] : [4568 ^ [_147221, _147223, _147225, _147703] = 4569 ^ [_147221, _147223, _147225, _147703]]]], (4585 ^ _35388) ^ [_148682] : [-(icext(_147225, _148682)), 4586 ^ _35388 : [(4587 ^ _35388) ^ [_148835, _148837] : [lv(_148837), iext(_147223, _148682, _148837), icext(_147221, _148837), lv(_148835), iext(_147223, _148682, _148835), icext(_147221, _148835), -(_148837 = _148835)]]]]], (4615 ^ _35388) ^ [_149686, _149688, _149690] : [iext(uri_owl_minQualifiedCardinality, _149690, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149690, _149688), iext(uri_owl_onDataRange, _149690, _149686), 4626 ^ _35388 : [(4627 ^ _35388) ^ [] : [-(iodp(_149688))], (4629 ^ _35388) ^ [_150207] : [icext(_149690, _150207), 4635 ^ _35388 : [(4636 ^ _35388) ^ [] : [-(lv(4632 ^ [_149686, _149688, _149690, _150207]))], (4638 ^ _35388) ^ [] : [-(iext(_149688, _150207, 4632 ^ [_149686, _149688, _149690, _150207]))], (4640 ^ _35388) ^ [] : [-(icext(_149686, 4632 ^ [_149686, _149688, _149690, _150207]))], (4642 ^ _35388) ^ [] : [-(lv(4633 ^ [_149686, _149688, _149690, _150207]))], (4644 ^ _35388) ^ [] : [-(iext(_149688, _150207, 4633 ^ [_149686, _149688, _149690, _150207]))], (4646 ^ _35388) ^ [] : [-(icext(_149686, 4633 ^ [_149686, _149688, _149690, _150207]))], (4648 ^ _35388) ^ [] : [-(lv(4634 ^ [_149686, _149688, _149690, _150207]))], (4650 ^ _35388) ^ [] : [-(iext(_149688, _150207, 4634 ^ [_149686, _149688, _149690, _150207]))], (4652 ^ _35388) ^ [] : [-(icext(_149686, 4634 ^ [_149686, _149688, _149690, _150207]))], (4654 ^ _35388) ^ [] : [4632 ^ [_149686, _149688, _149690, _150207] = 4633 ^ [_149686, _149688, _149690, _150207]], (4656 ^ _35388) ^ [] : [4632 ^ [_149686, _149688, _149690, _150207] = 4634 ^ [_149686, _149688, _149690, _150207]], (4658 ^ _35388) ^ [] : [4633 ^ [_149686, _149688, _149690, _150207] = 4634 ^ [_149686, _149688, _149690, _150207]]]], (4660 ^ _35388) ^ [_151984] : [-(icext(_149690, _151984)), 4661 ^ _35388 : [(4662 ^ _35388) ^ [_152190, _152192, _152194] : [lv(_152194), iext(_149688, _151984, _152194), icext(_149686, _152194), lv(_152192), iext(_149688, _151984, _152192), icext(_149686, _152192), lv(_152190), iext(_149688, _151984, _152190), icext(_149686, _152190), -(_152194 = _152192), -(_152194 = _152190), -(_152192 = _152190)]]]]], (4710 ^ _35388) ^ [_153618, _153620, _153622] : [4721 ^ _35388 : [(4722 ^ _35388) ^ [_153930] : [-(icext(_153622, _153930))]], iext(uri_owl_minQualifiedCardinality, _153622, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153622, _153620), iext(uri_owl_onClass, _153622, _153618)], (4724 ^ _35388) ^ [_154062, _154064, _154066] : [iext(uri_owl_minQualifiedCardinality, _154066, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154066, _154064), iext(uri_owl_onClass, _154066, _154062), 4735 ^ _35388 : [(4736 ^ _35388) ^ [_154436] : [icext(_154066, _154436), 4740 ^ _35388 : [(4741 ^ _35388) ^ [] : [-(iext(_154064, _154436, 4739 ^ [_154062, _154064, _154066, _154436]))], (4743 ^ _35388) ^ [] : [-(icext(_154062, 4739 ^ [_154062, _154064, _154066, _154436]))]]], (4745 ^ _35388) ^ [_154784] : [-(icext(_154066, _154784)), 4746 ^ _35388 : [(4747 ^ _35388) ^ [_154887] : [iext(_154064, _154784, _154887), icext(_154062, _154887)]]]]], (4755 ^ _35388) ^ [_155204, _155206, _155208] : [iext(uri_owl_minQualifiedCardinality, _155208, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155208, _155206), iext(uri_owl_onClass, _155208, _155204), 4766 ^ _35388 : [(4767 ^ _35388) ^ [_155604] : [icext(_155208, _155604), 4772 ^ _35388 : [(4773 ^ _35388) ^ [] : [-(iext(_155206, _155604, 4770 ^ [_155204, _155206, _155208, _155604]))], (4775 ^ _35388) ^ [] : [-(icext(_155204, 4770 ^ [_155204, _155206, _155208, _155604]))], (4777 ^ _35388) ^ [] : [-(iext(_155206, _155604, 4771 ^ [_155204, _155206, _155208, _155604]))], (4779 ^ _35388) ^ [] : [-(icext(_155204, 4771 ^ [_155204, _155206, _155208, _155604]))], (4781 ^ _35388) ^ [] : [4770 ^ [_155204, _155206, _155208, _155604] = 4771 ^ [_155204, _155206, _155208, _155604]]]], (4783 ^ _35388) ^ [_156378] : [-(icext(_155208, _156378)), 4784 ^ _35388 : [(4785 ^ _35388) ^ [_156521, _156523] : [iext(_155206, _156378, _156523), icext(_155204, _156523), iext(_155206, _156378, _156521), icext(_155204, _156521), -(_156523 = _156521)]]]]], (4805 ^ _35388) ^ [_157164, _157166, _157168] : [iext(uri_owl_minQualifiedCardinality, _157168, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _157168, _157166), iext(uri_owl_onClass, _157168, _157164), 4816 ^ _35388 : [(4817 ^ _35388) ^ [_157598] : [icext(_157168, _157598), 4823 ^ _35388 : [(4824 ^ _35388) ^ [] : [-(iext(_157166, _157598, 4820 ^ [_157164, _157166, _157168, _157598]))], (4826 ^ _35388) ^ [] : [-(icext(_157164, 4820 ^ [_157164, _157166, _157168, _157598]))], (4828 ^ _35388) ^ [] : [-(iext(_157166, _157598, 4821 ^ [_157164, _157166, _157168, _157598]))], (4830 ^ _35388) ^ [] : [-(icext(_157164, 4821 ^ [_157164, _157166, _157168, _157598]))], (4832 ^ _35388) ^ [] : [-(iext(_157166, _157598, 4822 ^ [_157164, _157166, _157168, _157598]))], (4834 ^ _35388) ^ [] : [-(icext(_157164, 4822 ^ [_157164, _157166, _157168, _157598]))], (4836 ^ _35388) ^ [] : [4820 ^ [_157164, _157166, _157168, _157598] = 4821 ^ [_157164, _157166, _157168, _157598]], (4838 ^ _35388) ^ [] : [4820 ^ [_157164, _157166, _157168, _157598] = 4822 ^ [_157164, _157166, _157168, _157598]], (4840 ^ _35388) ^ [] : [4821 ^ [_157164, _157166, _157168, _157598] = 4822 ^ [_157164, _157166, _157168, _157598]]]], (4842 ^ _35388) ^ [_159036] : [-(icext(_157168, _159036)), 4843 ^ _35388 : [(4844 ^ _35388) ^ [_159227, _159229, _159231] : [iext(_157166, _159036, _159231), icext(_157164, _159231), iext(_157166, _159036, _159229), icext(_157164, _159229), iext(_157166, _159036, _159227), icext(_157164, _159227), -(_159231 = _159229), -(_159231 = _159227), -(_159229 = _159227)]]]]], (4880 ^ _35388) ^ [_160332, _160334, _160336] : [iext(uri_owl_someValuesFrom, _160336, _160332), iext(uri_owl_onProperty, _160336, _160334), 4887 ^ _35388 : [(4888 ^ _35388) ^ [_160611] : [icext(_160336, _160611), 4892 ^ _35388 : [(4893 ^ _35388) ^ [] : [-(iext(_160334, _160611, 4891 ^ [_160332, _160334, _160336, _160611]))], (4895 ^ _35388) ^ [] : [-(icext(_160332, 4891 ^ [_160332, _160334, _160336, _160611]))]]], (4897 ^ _35388) ^ [_160959] : [-(icext(_160336, _160959)), 4898 ^ _35388 : [(4899 ^ _35388) ^ [_161062] : [iext(_160334, _160959, _161062), icext(_160332, _161062)]]]]], (4907 ^ _35388) ^ [_161392, _161394] : [iext(uri_rdfs_domain, _161394, _161392), 4910 ^ _35388 : [(4911 ^ _35388) ^ [] : [-(ip(_161394))], (4913 ^ _35388) ^ [] : [-(ic(_161392))], (4915 ^ _35388) ^ [_161691, _161693] : [iext(_161394, _161693, _161691), -(icext(_161392, _161693))]]], (4921 ^ _35388) ^ [_161880, _161882] : [-(iext(uri_rdfs_domain, _161882, _161880)), ip(_161882), ic(_161880), 4932 ^ _35388 : [(4933 ^ _35388) ^ [] : [-(iext(_161882, 4930 ^ [_161880, _161882], 4931 ^ [_161880, _161882]))], (4935 ^ _35388) ^ [] : [icext(_161880, 4930 ^ [_161880, _161882])]]], (4939 ^ _35388) ^ [_162528, _162530] : [iext(uri_rdfs_range, _162530, _162528), 4942 ^ _35388 : [(4943 ^ _35388) ^ [] : [-(ip(_162530))], (4945 ^ _35388) ^ [] : [-(ip(_162528))], (4947 ^ _35388) ^ [_162827, _162829] : [iext(_162530, _162829, _162827), -(icext(_162528, _162827))]]], (4953 ^ _35388) ^ [_163016, _163018] : [-(iext(uri_rdfs_range, _163018, _163016)), ip(_163018), ip(_163016), 4964 ^ _35388 : [(4965 ^ _35388) ^ [] : [-(iext(_163018, 4962 ^ [_163016, _163018], 4963 ^ [_163016, _163018]))], (4967 ^ _35388) ^ [] : [icext(_163016, 4963 ^ [_163016, _163018])]]], (4971 ^ _35388) ^ [_163657, _163659] : [iext(uri_rdfs_subClassOf, _163659, _163657), 4974 ^ _35388 : [(4975 ^ _35388) ^ [] : [-(ic(_163659))], (4977 ^ _35388) ^ [] : [-(ic(_163657))], (4979 ^ _35388) ^ [_163936] : [icext(_163659, _163936), -(icext(_163657, _163936))]]], (4985 ^ _35388) ^ [_164117, _164119] : [-(iext(uri_rdfs_subClassOf, _164119, _164117)), ic(_164119), ic(_164117), 4995 ^ _35388 : [(4996 ^ _35388) ^ [] : [-(icext(_164119, 4994 ^ [_164117, _164119]))], (4998 ^ _35388) ^ [] : [icext(_164117, 4994 ^ [_164117, _164119])]]], (5002 ^ _35388) ^ [_164679, _164681] : [iext(uri_rdfs_subPropertyOf, _164681, _164679), 5005 ^ _35388 : [(5006 ^ _35388) ^ [] : [-(ip(_164681))], (5008 ^ _35388) ^ [] : [-(ip(_164679))], (5010 ^ _35388) ^ [_164979, _164981] : [iext(_164681, _164981, _164979), -(iext(_164679, _164981, _164979))]]], (5016 ^ _35388) ^ [_165170, _165172] : [-(iext(uri_rdfs_subPropertyOf, _165172, _165170)), ip(_165172), ip(_165170), 5027 ^ _35388 : [(5028 ^ _35388) ^ [] : [-(iext(_165172, 5025 ^ [_165170, _165172], 5026 ^ [_165170, _165172]))], (5030 ^ _35388) ^ [] : [iext(_165170, 5025 ^ [_165170, _165172], 5026 ^ [_165170, _165172])]]], (5034 ^ _35388) ^ [_165829, _165831] : [iext(uri_owl_differentFrom, _165831, _165829), _165831 = _165829], (5040 ^ _35388) ^ [_165994, _165996] : [-(_165996 = _165994), -(iext(uri_owl_differentFrom, _165996, _165994))], (5046 ^ _35388) ^ [_166226] : [iext(uri_owl_disjointUnionOf, _166226, uri_rdf_nil), 5049 ^ _35388 : [(5050 ^ _35388) ^ [] : [-(ic(_166226))], (5052 ^ _35388) ^ [_166409] : [icext(_166226, _166409)]]], (5054 ^ _35388) ^ [_166477] : [-(iext(uri_owl_disjointUnionOf, _166477, uri_rdf_nil)), ic(_166477), -(icext(_166477, 5059 ^ [_166477]))], (5065 ^ _35388) ^ [_166838, _166840, _166842] : [iext(uri_rdf_first, _166840, _166838), iext(uri_rdf_rest, _166840, uri_rdf_nil), 5072 ^ _35388 : [(5073 ^ _35388) ^ [] : [iext(uri_owl_disjointUnionOf, _166842, _166840), 5076 ^ _35388 : [(5077 ^ _35388) ^ [] : [-(ic(_166842))], (5079 ^ _35388) ^ [] : [-(ic(_166838))], (5081 ^ _35388) ^ [_167369] : [icext(_166842, _167369), -(icext(_166838, _167369))], (5087 ^ _35388) ^ [_167549] : [icext(_166838, _167549), -(icext(_166842, _167549))]]], (5093 ^ _35388) ^ [] : [-(iext(uri_owl_disjointUnionOf, _166842, _166840)), ic(_166842), ic(_166838), 5105 ^ _35388 : [(5106 ^ _35388) ^ [] : [-(icext(_166842, 5102 ^ [_166838, _166840, _166842]))], (5108 ^ _35388) ^ [] : [icext(_166838, 5102 ^ [_166838, _166840, _166842])]], 5109 ^ _35388 : [(5110 ^ _35388) ^ [] : [-(icext(_166838, 5102 ^ [_166838, _166840, _166842]))], (5112 ^ _35388) ^ [] : [icext(_166842, 5102 ^ [_166838, _166840, _166842])]]]]], (5116 ^ _35388) ^ [_168476, _168478, _168480, _168482, _168484] : [iext(uri_rdf_first, _168482, _168480), iext(uri_rdf_rest, _168482, _168478), iext(uri_rdf_first, _168478, _168476), iext(uri_rdf_rest, _168478, uri_rdf_nil), 5131 ^ _35388 : [(5172 ^ _35388) ^ [] : [-(iext(uri_owl_disjointUnionOf, _168484, _168482)), ic(_168484), ic(_168480), ic(_168476), 5188 ^ _35388 : [(5189 ^ _35388) ^ [] : [-(icext(_168484, 5185 ^ [_168476, _168478, _168480, _168482, _168484]))], (5191 ^ _35388) ^ [] : [5192 ^ _35388 : [(5193 ^ _35388) ^ [] : [icext(_168480, 5185 ^ [_168476, _168478, _168480, _168482, _168484])], (5195 ^ _35388) ^ [] : [icext(_168476, 5185 ^ [_168476, _168478, _168480, _168482, _168484])]], 5196 ^ _35388 : [(5197 ^ _35388) ^ [] : [-(icext(_168480, 5185 ^ [_168476, _168478, _168480, _168482, _168484]))], (5199 ^ _35388) ^ [] : [-(icext(_168476, 5185 ^ [_168476, _168478, _168480, _168482, _168484]))]]]], 5200 ^ _35388 : [(5213 ^ _35388) ^ [] : [icext(_168484, 5185 ^ [_168476, _168478, _168480, _168482, _168484])], (5201 ^ _35388) ^ [] : [-(icext(_168480, 5185 ^ [_168476, _168478, _168480, _168482, _168484])), -(icext(_168476, 5185 ^ [_168476, _168478, _168480, _168482, _168484]))], (5207 ^ _35388) ^ [] : [icext(_168480, 5185 ^ [_168476, _168478, _168480, _168482, _168484]), icext(_168476, 5185 ^ [_168476, _168478, _168480, _168482, _168484])]]], (5132 ^ _35388) ^ [] : [iext(uri_owl_disjointUnionOf, _168484, _168482), 5135 ^ _35388 : [(5136 ^ _35388) ^ [] : [-(ic(_168484))], (5138 ^ _35388) ^ [] : [-(ic(_168480))], (5140 ^ _35388) ^ [] : [-(ic(_168476))], (5158 ^ _35388) ^ [_169832] : [-(icext(_168484, _169832)), 5161 ^ _35388 : [(5162 ^ _35388) ^ [] : [icext(_168480, _169832)], (5164 ^ _35388) ^ [] : [icext(_168476, _169832)]], 5165 ^ _35388 : [(5166 ^ _35388) ^ [] : [-(icext(_168480, _169832))], (5168 ^ _35388) ^ [] : [-(icext(_168476, _169832))]]], (5142 ^ _35388) ^ [_169341] : [icext(_168484, _169341), 5145 ^ _35388 : [(5146 ^ _35388) ^ [] : [-(icext(_168480, _169341)), -(icext(_168476, _169341))], (5152 ^ _35388) ^ [] : [icext(_168480, _169341), icext(_168476, _169341)]]]]]]], (5217 ^ _35388) ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863] : [iext(uri_rdf_first, _171861, _171859), iext(uri_rdf_rest, _171861, _171857), iext(uri_rdf_first, _171857, _171855), iext(uri_rdf_rest, _171857, _171853), iext(uri_rdf_first, _171853, _171851), iext(uri_rdf_rest, _171853, uri_rdf_nil), 5240 ^ _35388 : [(5313 ^ _35388) ^ [] : [-(iext(uri_owl_disjointUnionOf, _171863, _171861)), ic(_171863), ic(_171859), ic(_171855), ic(_171851), 5333 ^ _35388 : [(5334 ^ _35388) ^ [] : [-(icext(_171863, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))], (5336 ^ _35388) ^ [] : [5337 ^ _35388 : [(5338 ^ _35388) ^ [] : [icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])], (5340 ^ _35388) ^ [] : [icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])], (5342 ^ _35388) ^ [] : [icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])]], 5345 ^ _35388 : [(5346 ^ _35388) ^ [] : [-(icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))], (5348 ^ _35388) ^ [] : [-(icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))]], 5351 ^ _35388 : [(5352 ^ _35388) ^ [] : [-(icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))], (5354 ^ _35388) ^ [] : [-(icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))]], 5355 ^ _35388 : [(5356 ^ _35388) ^ [] : [-(icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))], (5358 ^ _35388) ^ [] : [-(icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))]]]], 5359 ^ _35388 : [(5388 ^ _35388) ^ [] : [icext(_171863, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])], (5360 ^ _35388) ^ [] : [-(icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])), -(icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])), -(icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]))], (5370 ^ _35388) ^ [] : [icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]), icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])], (5376 ^ _35388) ^ [] : [icext(_171859, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]), icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])], (5382 ^ _35388) ^ [] : [icext(_171855, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863]), icext(_171851, 5330 ^ [_171851, _171853, _171855, _171857, _171859, _171861, _171863])]]], (5241 ^ _35388) ^ [] : [iext(uri_owl_disjointUnionOf, _171863, _171861), 5244 ^ _35388 : [(5245 ^ _35388) ^ [] : [-(ic(_171863))], (5247 ^ _35388) ^ [] : [-(ic(_171859))], (5249 ^ _35388) ^ [] : [-(ic(_171855))], (5251 ^ _35388) ^ [] : [-(ic(_171851))], (5285 ^ _35388) ^ [_174145] : [-(icext(_171863, _174145)), 5288 ^ _35388 : [(5289 ^ _35388) ^ [] : [icext(_171859, _174145)], (5291 ^ _35388) ^ [] : [icext(_171855, _174145)], (5293 ^ _35388) ^ [] : [icext(_171851, _174145)]], 5296 ^ _35388 : [(5297 ^ _35388) ^ [] : [-(icext(_171859, _174145))], (5299 ^ _35388) ^ [] : [-(icext(_171855, _174145))]], 5302 ^ _35388 : [(5303 ^ _35388) ^ [] : [-(icext(_171859, _174145))], (5305 ^ _35388) ^ [] : [-(icext(_171851, _174145))]], 5306 ^ _35388 : [(5307 ^ _35388) ^ [] : [-(icext(_171855, _174145))], (5309 ^ _35388) ^ [] : [-(icext(_171851, _174145))]]], (5253 ^ _35388) ^ [_173104] : [icext(_171863, _173104), 5256 ^ _35388 : [(5257 ^ _35388) ^ [] : [-(icext(_171859, _173104)), -(icext(_171855, _173104)), -(icext(_171851, _173104))], (5267 ^ _35388) ^ [] : [icext(_171859, _173104), icext(_171855, _173104)], (5273 ^ _35388) ^ [] : [icext(_171859, _173104), icext(_171851, _173104)], (5279 ^ _35388) ^ [] : [icext(_171855, _173104), icext(_171851, _173104)]]]]]]], (5392 ^ _35388) ^ [_178001, _178003] : [iext(uri_owl_disjointWith, _178003, _178001), 5395 ^ _35388 : [(5396 ^ _35388) ^ [] : [-(ic(_178003))], (5398 ^ _35388) ^ [] : [-(ic(_178001))], (5400 ^ _35388) ^ [_178282] : [icext(_178003, _178282), icext(_178001, _178282)]]], (5406 ^ _35388) ^ [_178462, _178464] : [-(iext(uri_owl_disjointWith, _178464, _178462)), ic(_178464), ic(_178462), 5416 ^ _35388 : [(5417 ^ _35388) ^ [] : [-(icext(_178464, 5415 ^ [_178462, _178464]))], (5419 ^ _35388) ^ [] : [-(icext(_178462, 5415 ^ [_178462, _178464]))]]], (5423 ^ _35388) ^ [_179029, _179031] : [iext(uri_owl_equivalentClass, _179031, _179029), 5426 ^ _35388 : [(5427 ^ _35388) ^ [] : [-(ic(_179031))], (5429 ^ _35388) ^ [] : [-(ic(_179029))], (5431 ^ _35388) ^ [_179337] : [icext(_179031, _179337), -(icext(_179029, _179337))], (5437 ^ _35388) ^ [_179509] : [icext(_179029, _179509), -(icext(_179031, _179509))]]], (5443 ^ _35388) ^ [_179692, _179694] : [-(iext(uri_owl_equivalentClass, _179694, _179692)), ic(_179694), ic(_179692), 5455 ^ _35388 : [(5456 ^ _35388) ^ [] : [-(icext(_179694, 5452 ^ [_179692, _179694]))], (5458 ^ _35388) ^ [] : [icext(_179692, 5452 ^ [_179692, _179694])]], 5459 ^ _35388 : [(5460 ^ _35388) ^ [] : [-(icext(_179692, 5452 ^ [_179692, _179694]))], (5462 ^ _35388) ^ [] : [icext(_179694, 5452 ^ [_179692, _179694])]]], (5466 ^ _35388) ^ [_180429, _180431] : [iext(uri_owl_equivalentProperty, _180431, _180429), 5469 ^ _35388 : [(5470 ^ _35388) ^ [] : [-(ip(_180431))], (5472 ^ _35388) ^ [] : [-(ip(_180429))], (5474 ^ _35388) ^ [_180758, _180760] : [iext(_180431, _180760, _180758), -(iext(_180429, _180760, _180758))], (5480 ^ _35388) ^ [_180940, _180942] : [iext(_180429, _180942, _180940), -(iext(_180431, _180942, _180940))]]], (5486 ^ _35388) ^ [_181133, _181135] : [-(iext(uri_owl_equivalentProperty, _181135, _181133)), ip(_181135), ip(_181133), 5499 ^ _35388 : [(5500 ^ _35388) ^ [] : [-(iext(_181135, 5495 ^ [_181133, _181135], 5496 ^ [_181133, _181135]))], (5502 ^ _35388) ^ [] : [iext(_181133, 5495 ^ [_181133, _181135], 5496 ^ [_181133, _181135])]], 5503 ^ _35388 : [(5504 ^ _35388) ^ [] : [-(iext(_181133, 5495 ^ [_181133, _181135], 5496 ^ [_181133, _181135]))], (5506 ^ _35388) ^ [] : [iext(_181135, 5495 ^ [_181133, _181135], 5496 ^ [_181133, _181135])]]], (5510 ^ _35388) ^ [_181983, _181985] : [iext(uri_owl_propertyDisjointWith, _181985, _181983), 5513 ^ _35388 : [(5514 ^ _35388) ^ [] : [-(ip(_181985))], (5516 ^ _35388) ^ [] : [-(ip(_181983))], (5518 ^ _35388) ^ [_182285, _182287] : [iext(_181985, _182287, _182285), iext(_181983, _182287, _182285)]]], (5524 ^ _35388) ^ [_182475, _182477] : [-(iext(uri_owl_propertyDisjointWith, _182477, _182475)), ip(_182477), ip(_182475), 5535 ^ _35388 : [(5536 ^ _35388) ^ [] : [-(iext(_182477, 5533 ^ [_182475, _182477], 5534 ^ [_182475, _182477]))], (5538 ^ _35388) ^ [] : [-(iext(_182475, 5533 ^ [_182475, _182477], 5534 ^ [_182475, _182477]))]]], (5542 ^ _35388) ^ [_183141, _183143] : [iext(uri_owl_sameAs, _183143, _183141), -(_183143 = _183141)], (5548 ^ _35388) ^ [_183305, _183307] : [_183307 = _183305, -(iext(uri_owl_sameAs, _183307, _183305))], (5555 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35388) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35388) ^ [_183671, _183673] : [5567 ^ _35388 : [(5568 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_183671, _183673]))], (5570 ^ _35388) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_183671, _183673], _183673))]], iext(uri_rdf_first, _183673, _183671), iext(uri_rdf_rest, _183673, uri_rdf_nil)], (5572 ^ _35388) ^ [_184150, _184152, _184154, _184156] : [5592 ^ _35388 : [(5593 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_184150, _184152, _184154, _184156]))], (5595 ^ _35388) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_184150, _184152, _184154, _184156], _184156))]], iext(uri_rdf_first, _184156, _184154), iext(uri_rdf_rest, _184156, _184152), iext(uri_rdf_first, _184152, _184150), iext(uri_rdf_rest, _184152, uri_rdf_nil), -(_184154 = _184150)], (5597 ^ _35388) ^ [_184995, _184997, _184999, _185001, _185003, _185005] : [5633 ^ _35388 : [(5634 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_184995, _184997, _184999, _185001, _185003, _185005]))], (5636 ^ _35388) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_184995, _184997, _184999, _185001, _185003, _185005], _185005))]], iext(uri_rdf_first, _185005, _185003), iext(uri_rdf_rest, _185005, _185001), iext(uri_rdf_first, _185001, _184999), iext(uri_rdf_rest, _185001, _184997), iext(uri_rdf_first, _184997, _184995), iext(uri_rdf_rest, _184997, uri_rdf_nil), -(_185003 = _184999), -(_185003 = _184995), -(_184999 = _184995)], (5638 ^ _35388) ^ [] : [-(tautology), tautology], (5644 ^ _35388) ^ [] : [-(tautology), tautology], (5650 ^ _35388) ^ [_186558, _186560, _186562, _186564, _186566] : [_186562 = _186558, iext(uri_rdf_first, _186564, _186562), iext(uri_rdf_rest, _186564, _186560), iext(uri_rdf_first, _186560, _186558), iext(uri_rdf_rest, _186560, uri_rdf_nil), icext(uri_owl_AllDifferent, _186566), iext(uri_owl_distinctMembers, _186566, _186564)], (5676 ^ _35388) ^ [_187372, _187374, _187376, _187378, _187380, _187382, _187384] : [5707 ^ _35388 : [(5708 ^ _35388) ^ [] : [_187380 = _187376], (5710 ^ _35388) ^ [] : [_187380 = _187372], (5712 ^ _35388) ^ [] : [_187376 = _187372]], iext(uri_rdf_first, _187382, _187380), iext(uri_rdf_rest, _187382, _187378), iext(uri_rdf_first, _187378, _187376), iext(uri_rdf_rest, _187378, _187374), iext(uri_rdf_first, _187374, _187372), iext(uri_rdf_rest, _187374, uri_rdf_nil), icext(uri_owl_AllDifferent, _187384), iext(uri_owl_distinctMembers, _187384, _187382)], (5715 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35388) ^ [_188713, _188715] : [5727 ^ _35388 : [(5728 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_188713, _188715]))], (5730 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_188713, _188715], _188715))]], iext(uri_rdf_first, _188715, _188713), iext(uri_rdf_rest, _188715, uri_rdf_nil)], (5732 ^ _35388) ^ [_189192, _189194, _189196, _189198] : [5752 ^ _35388 : [(5753 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_189192, _189194, _189196, _189198]))], (5755 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_189192, _189194, _189196, _189198], _189198))]], iext(uri_rdf_first, _189198, _189196), iext(uri_rdf_rest, _189198, _189194), iext(uri_rdf_first, _189194, _189192), iext(uri_rdf_rest, _189194, uri_rdf_nil), -(_189196 = _189192)], (5757 ^ _35388) ^ [_190037, _190039, _190041, _190043, _190045, _190047] : [5793 ^ _35388 : [(5794 ^ _35388) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_190037, _190039, _190041, _190043, _190045, _190047]))], (5796 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_190037, _190039, _190041, _190043, _190045, _190047], _190047))]], iext(uri_rdf_first, _190047, _190045), iext(uri_rdf_rest, _190047, _190043), iext(uri_rdf_first, _190043, _190041), iext(uri_rdf_rest, _190043, _190039), iext(uri_rdf_first, _190039, _190037), iext(uri_rdf_rest, _190039, uri_rdf_nil), -(_190045 = _190041), -(_190045 = _190037), -(_190041 = _190037)], (5798 ^ _35388) ^ [] : [-(tautology), tautology], (5804 ^ _35388) ^ [] : [-(tautology), tautology], (5810 ^ _35388) ^ [_191600, _191602, _191604, _191606, _191608] : [_191604 = _191600, iext(uri_rdf_first, _191606, _191604), iext(uri_rdf_rest, _191606, _191602), iext(uri_rdf_first, _191602, _191600), iext(uri_rdf_rest, _191602, uri_rdf_nil), icext(uri_owl_AllDifferent, _191608), iext(uri_owl_members, _191608, _191606)], (5836 ^ _35388) ^ [_192414, _192416, _192418, _192420, _192422, _192424, _192426] : [5867 ^ _35388 : [(5868 ^ _35388) ^ [] : [_192422 = _192418], (5870 ^ _35388) ^ [] : [_192422 = _192414], (5872 ^ _35388) ^ [] : [_192418 = _192414]], iext(uri_rdf_first, _192424, _192422), iext(uri_rdf_rest, _192424, _192420), iext(uri_rdf_first, _192420, _192418), iext(uri_rdf_rest, _192420, _192416), iext(uri_rdf_first, _192416, _192414), iext(uri_rdf_rest, _192416, uri_rdf_nil), icext(uri_owl_AllDifferent, _192426), iext(uri_owl_members, _192426, _192424)], (5875 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35388) ^ [_193755, _193757] : [5887 ^ _35388 : [(5888 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_193755, _193757]))], (5890 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_193755, _193757], _193757))]], iext(uri_rdf_first, _193757, _193755), iext(uri_rdf_rest, _193757, uri_rdf_nil)], (5892 ^ _35388) ^ [_194234, _194236, _194238, _194240] : [5915 ^ _35388 : [(5916 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_194234, _194236, _194238, _194240]))], (5918 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_194234, _194236, _194238, _194240], _194240))]], iext(uri_rdf_first, _194240, _194238), iext(uri_rdf_rest, _194240, _194236), iext(uri_rdf_first, _194236, _194234), iext(uri_rdf_rest, _194236, uri_rdf_nil), 5910 ^ _35388 : [(5911 ^ _35388) ^ [] : [-(icext(_194238, 5909 ^ [_194234, _194236, _194238, _194240]))], (5913 ^ _35388) ^ [] : [-(icext(_194234, 5909 ^ [_194234, _194236, _194238, _194240]))]]], (5920 ^ _35388) ^ [_195246, _195248, _195250, _195252, _195254, _195256] : [5965 ^ _35388 : [(5966 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))], (5968 ^ _35388) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_195246, _195248, _195250, _195252, _195254, _195256], _195256))]], iext(uri_rdf_first, _195256, _195254), iext(uri_rdf_rest, _195256, _195252), iext(uri_rdf_first, _195252, _195250), iext(uri_rdf_rest, _195252, _195248), iext(uri_rdf_first, _195248, _195246), iext(uri_rdf_rest, _195248, uri_rdf_nil), 5948 ^ _35388 : [(5949 ^ _35388) ^ [] : [-(icext(_195254, 5947 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))], (5951 ^ _35388) ^ [] : [-(icext(_195250, 5947 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))]], 5955 ^ _35388 : [(5956 ^ _35388) ^ [] : [-(icext(_195254, 5954 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))], (5958 ^ _35388) ^ [] : [-(icext(_195246, 5954 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))]], 5960 ^ _35388 : [(5961 ^ _35388) ^ [] : [-(icext(_195250, 5959 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))], (5963 ^ _35388) ^ [] : [-(icext(_195246, 5959 ^ [_195246, _195248, _195250, _195252, _195254, _195256]))]]], (5970 ^ _35388) ^ [] : [-(tautology), tautology], (5976 ^ _35388) ^ [] : [-(tautology), tautology], (5982 ^ _35388) ^ [_197370, _197372, _197374, _197376, _197378] : [6005 ^ _35388 : [(6006 ^ _35388) ^ [_198036] : [icext(_197374, _198036), icext(_197370, _198036)]], iext(uri_rdf_first, _197376, _197374), iext(uri_rdf_rest, _197376, _197372), iext(uri_rdf_first, _197372, _197370), iext(uri_rdf_rest, _197372, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _197378), iext(uri_owl_members, _197378, _197376)], (6012 ^ _35388) ^ [_198354, _198356, _198358, _198360, _198362, _198364, _198366] : [iext(uri_rdf_first, _198364, _198362), iext(uri_rdf_rest, _198364, _198360), iext(uri_rdf_first, _198360, _198358), iext(uri_rdf_rest, _198360, _198356), iext(uri_rdf_first, _198356, _198354), iext(uri_rdf_rest, _198356, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _198366), iext(uri_owl_members, _198366, _198364), 6043 ^ _35388 : [(6044 ^ _35388) ^ [_199348] : [icext(_198362, _199348), icext(_198358, _199348)], (6050 ^ _35388) ^ [_199593] : [icext(_198362, _199593), icext(_198354, _199593)], (6056 ^ _35388) ^ [_199818] : [icext(_198358, _199818), icext(_198354, _199818)]]], (6063 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35388) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35388) ^ [_200252, _200254] : [6075 ^ _35388 : [(6076 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_200252, _200254]))], (6078 ^ _35388) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_200252, _200254], _200254))]], iext(uri_rdf_first, _200254, _200252), iext(uri_rdf_rest, _200254, uri_rdf_nil)], (6080 ^ _35388) ^ [_200731, _200733, _200735, _200737] : [6104 ^ _35388 : [(6105 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_200731, _200733, _200735, _200737]))], (6107 ^ _35388) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_200731, _200733, _200735, _200737], _200737))]], iext(uri_rdf_first, _200737, _200735), iext(uri_rdf_rest, _200737, _200733), iext(uri_rdf_first, _200733, _200731), iext(uri_rdf_rest, _200733, uri_rdf_nil), 6099 ^ _35388 : [(6100 ^ _35388) ^ [] : [-(iext(_200735, 6097 ^ [_200731, _200733, _200735, _200737], 6098 ^ [_200731, _200733, _200735, _200737]))], (6102 ^ _35388) ^ [] : [-(iext(_200731, 6097 ^ [_200731, _200733, _200735, _200737], 6098 ^ [_200731, _200733, _200735, _200737]))]]], (6109 ^ _35388) ^ [_201866, _201868, _201870, _201872, _201874, _201876] : [6157 ^ _35388 : [(6158 ^ _35388) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))], (6160 ^ _35388) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_201866, _201868, _201870, _201872, _201874, _201876], _201876))]], iext(uri_rdf_first, _201876, _201874), iext(uri_rdf_rest, _201876, _201872), iext(uri_rdf_first, _201872, _201870), iext(uri_rdf_rest, _201872, _201868), iext(uri_rdf_first, _201868, _201866), iext(uri_rdf_rest, _201868, uri_rdf_nil), 6138 ^ _35388 : [(6139 ^ _35388) ^ [] : [-(iext(_201874, 6136 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6137 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))], (6141 ^ _35388) ^ [] : [-(iext(_201870, 6136 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6137 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))]], 6146 ^ _35388 : [(6147 ^ _35388) ^ [] : [-(iext(_201874, 6144 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6145 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))], (6149 ^ _35388) ^ [] : [-(iext(_201866, 6144 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6145 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))]], 6152 ^ _35388 : [(6153 ^ _35388) ^ [] : [-(iext(_201870, 6150 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6151 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))], (6155 ^ _35388) ^ [] : [-(iext(_201866, 6150 ^ [_201866, _201868, _201870, _201872, _201874, _201876], 6151 ^ [_201866, _201868, _201870, _201872, _201874, _201876]))]]], (6162 ^ _35388) ^ [] : [-(tautology), tautology], (6168 ^ _35388) ^ [] : [-(tautology), tautology], (6174 ^ _35388) ^ [_204431, _204433, _204435, _204437, _204439] : [6197 ^ _35388 : [(6198 ^ _35388) ^ [_205118, _205120] : [iext(_204435, _205120, _205118), iext(_204431, _205120, _205118)]], iext(uri_rdf_first, _204437, _204435), iext(uri_rdf_rest, _204437, _204433), iext(uri_rdf_first, _204433, _204431), iext(uri_rdf_rest, _204433, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _204439), iext(uri_owl_members, _204439, _204437)], (6204 ^ _35388) ^ [_205446, _205448, _205450, _205452, _205454, _205456, _205458] : [iext(uri_rdf_first, _205456, _205454), iext(uri_rdf_rest, _205456, _205452), iext(uri_rdf_first, _205452, _205450), iext(uri_rdf_rest, _205452, _205448), iext(uri_rdf_first, _205448, _205446), iext(uri_rdf_rest, _205448, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _205458), iext(uri_owl_members, _205458, _205456), 6235 ^ _35388 : [(6236 ^ _35388) ^ [_206475, _206477] : [iext(_205454, _206477, _206475), iext(_205450, _206477, _206475)], (6242 ^ _35388) ^ [_206744, _206746] : [iext(_205454, _206746, _206744), iext(_205446, _206746, _206744)], (6248 ^ _35388) ^ [_206993, _206995] : [iext(_205450, _206995, _206993), iext(_205446, _206995, _206993)]]], (6254 ^ _35388) ^ [_207300] : [iext(uri_owl_propertyChainAxiom, _207300, uri_rdf_nil), 6257 ^ _35388 : [(6258 ^ _35388) ^ [] : [-(ip(_207300))], (6260 ^ _35388) ^ [_207483] : [-(iext(_207300, _207483, _207483))]]], (6262 ^ _35388) ^ [_207552] : [-(iext(uri_owl_propertyChainAxiom, _207552, uri_rdf_nil)), ip(_207552), iext(_207552, 6267 ^ [_207552], 6267 ^ [_207552])], (6273 ^ _35388) ^ [_207916, _207918, _207920] : [iext(uri_rdf_first, _207918, _207916), iext(uri_rdf_rest, _207918, uri_rdf_nil), 6280 ^ _35388 : [(6281 ^ _35388) ^ [] : [iext(uri_owl_propertyChainAxiom, _207920, _207918), 6284 ^ _35388 : [(6285 ^ _35388) ^ [] : [-(ip(_207920))], (6287 ^ _35388) ^ [] : [-(ip(_207916))], (6289 ^ _35388) ^ [_208439, _208441] : [iext(_207916, _208441, _208439), -(iext(_207920, _208441, _208439))]]], (6295 ^ _35388) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _207920, _207918)), ip(_207920), ip(_207916), 6306 ^ _35388 : [(6307 ^ _35388) ^ [] : [-(iext(_207916, 6304 ^ [_207916, _207918, _207920], 6305 ^ [_207916, _207918, _207920]))], (6309 ^ _35388) ^ [] : [iext(_207920, 6304 ^ [_207916, _207918, _207920], 6305 ^ [_207916, _207918, _207920])]]]]], (6313 ^ _35388) ^ [_209291, _209293, _209295, _209297, _209299] : [iext(uri_rdf_first, _209297, _209295), iext(uri_rdf_rest, _209297, _209293), iext(uri_rdf_first, _209293, _209291), iext(uri_rdf_rest, _209293, uri_rdf_nil), 6328 ^ _35388 : [(6329 ^ _35388) ^ [] : [iext(uri_owl_propertyChainAxiom, _209299, _209297), 6332 ^ _35388 : [(6333 ^ _35388) ^ [] : [-(ip(_209299))], (6335 ^ _35388) ^ [] : [-(ip(_209295))], (6337 ^ _35388) ^ [] : [-(ip(_209291))], (6339 ^ _35388) ^ [_210154, _210156, _210158] : [-(iext(_209299, _210158, _210154)), iext(_209295, _210158, _210156), iext(_209291, _210156, _210154)]]], (6349 ^ _35388) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _209299, _209297)), ip(_209299), ip(_209295), ip(_209291), 6365 ^ _35388 : [(6366 ^ _35388) ^ [] : [-(iext(_209295, 6362 ^ [_209291, _209293, _209295, _209297, _209299], 6363 ^ [_209291, _209293, _209295, _209297, _209299]))], (6368 ^ _35388) ^ [] : [-(iext(_209291, 6363 ^ [_209291, _209293, _209295, _209297, _209299], 6364 ^ [_209291, _209293, _209295, _209297, _209299]))], (6370 ^ _35388) ^ [] : [iext(_209299, 6362 ^ [_209291, _209293, _209295, _209297, _209299], 6364 ^ [_209291, _209293, _209295, _209297, _209299])]]]]], (6374 ^ _35388) ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606] : [iext(uri_rdf_first, _211604, _211602), iext(uri_rdf_rest, _211604, _211600), iext(uri_rdf_first, _211600, _211598), iext(uri_rdf_rest, _211600, _211596), iext(uri_rdf_first, _211596, _211594), iext(uri_rdf_rest, _211596, uri_rdf_nil), 6397 ^ _35388 : [(6398 ^ _35388) ^ [] : [iext(uri_owl_propertyChainAxiom, _211606, _211604), 6401 ^ _35388 : [(6402 ^ _35388) ^ [] : [-(ip(_211606))], (6404 ^ _35388) ^ [] : [-(ip(_211602))], (6406 ^ _35388) ^ [] : [-(ip(_211598))], (6408 ^ _35388) ^ [] : [-(ip(_211594))], (6410 ^ _35388) ^ [_212837, _212839, _212841, _212843] : [-(iext(_211606, _212843, _212837)), iext(_211602, _212843, _212841), iext(_211598, _212841, _212839), iext(_211594, _212839, _212837)]]], (6424 ^ _35388) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _211606, _211604)), ip(_211606), ip(_211602), ip(_211598), ip(_211594), 6445 ^ _35388 : [(6446 ^ _35388) ^ [] : [-(iext(_211602, 6441 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606], 6442 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606]))], (6448 ^ _35388) ^ [] : [-(iext(_211598, 6442 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606], 6443 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606]))], (6450 ^ _35388) ^ [] : [-(iext(_211594, 6443 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606], 6444 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606]))], (6452 ^ _35388) ^ [] : [iext(_211606, 6441 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606], 6444 ^ [_211594, _211596, _211598, _211600, _211602, _211604, _211606])]]]]], (6456 ^ _35388) ^ [_214961, _214963] : [iext(uri_owl_inverseOf, _214963, _214961), 6459 ^ _35388 : [(6460 ^ _35388) ^ [] : [-(ip(_214963))], (6462 ^ _35388) ^ [] : [-(ip(_214961))], (6464 ^ _35388) ^ [_215290, _215292] : [iext(_214963, _215292, _215290), -(iext(_214961, _215290, _215292))], (6470 ^ _35388) ^ [_215472, _215474] : [iext(_214961, _215472, _215474), -(iext(_214963, _215474, _215472))]]], (6476 ^ _35388) ^ [_215665, _215667] : [-(iext(uri_owl_inverseOf, _215667, _215665)), ip(_215667), ip(_215665), 6489 ^ _35388 : [(6490 ^ _35388) ^ [] : [-(iext(_215667, 6485 ^ [_215665, _215667], 6486 ^ [_215665, _215667]))], (6492 ^ _35388) ^ [] : [iext(_215665, 6486 ^ [_215665, _215667], 6485 ^ [_215665, _215667])]], 6493 ^ _35388 : [(6494 ^ _35388) ^ [] : [-(iext(_215665, 6486 ^ [_215665, _215667], 6485 ^ [_215665, _215667]))], (6496 ^ _35388) ^ [] : [iext(_215667, 6485 ^ [_215665, _215667], 6486 ^ [_215665, _215667])]]], (6500 ^ _35388) ^ [_216501] : [icext(uri_owl_AsymmetricProperty, _216501), 6503 ^ _35388 : [(6504 ^ _35388) ^ [] : [-(ip(_216501))], (6506 ^ _35388) ^ [_216725, _216727] : [iext(_216501, _216727, _216725), iext(_216501, _216725, _216727)]]], (6512 ^ _35388) ^ [_216907] : [-(icext(uri_owl_AsymmetricProperty, _216907)), ip(_216907), 6519 ^ _35388 : [(6520 ^ _35388) ^ [] : [-(iext(_216907, 6517 ^ [_216907], 6518 ^ [_216907]))], (6522 ^ _35388) ^ [] : [-(iext(_216907, 6518 ^ [_216907], 6517 ^ [_216907]))]]], (6542 ^ _35388) ^ [_217969] : [-(icext(uri_owl_FunctionalProperty, _217969)), ip(_217969), 6550 ^ _35388 : [(6551 ^ _35388) ^ [] : [-(iext(_217969, 6547 ^ [_217969], 6548 ^ [_217969]))], (6553 ^ _35388) ^ [] : [-(iext(_217969, 6547 ^ [_217969], 6549 ^ [_217969]))], (6555 ^ _35388) ^ [] : [6548 ^ [_217969] = 6549 ^ [_217969]]]], (6526 ^ _35388) ^ [_217438] : [icext(uri_owl_FunctionalProperty, _217438), 6529 ^ _35388 : [(6530 ^ _35388) ^ [] : [-(ip(_217438))], (6532 ^ _35388) ^ [_217685, _217687, _217689] : [-(_217687 = _217685), iext(_217438, _217689, _217687), iext(_217438, _217689, _217685)]]], (6575 ^ _35388) ^ [_219210] : [-(icext(uri_owl_InverseFunctionalProperty, _219210)), ip(_219210), 6583 ^ _35388 : [(6584 ^ _35388) ^ [] : [-(iext(_219210, 6580 ^ [_219210], 6582 ^ [_219210]))], (6586 ^ _35388) ^ [] : [-(iext(_219210, 6581 ^ [_219210], 6582 ^ [_219210]))], (6588 ^ _35388) ^ [] : [6580 ^ [_219210] = 6581 ^ [_219210]]]], (6559 ^ _35388) ^ [_218679] : [icext(uri_owl_InverseFunctionalProperty, _218679), 6562 ^ _35388 : [(6563 ^ _35388) ^ [] : [-(ip(_218679))], (6565 ^ _35388) ^ [_218926, _218928, _218930] : [-(_218930 = _218928), iext(_218679, _218930, _218926), iext(_218679, _218928, _218926)]]], (6592 ^ _35388) ^ [_219920] : [icext(uri_owl_IrreflexiveReflexiveProperty, _219920), 6595 ^ _35388 : [(6596 ^ _35388) ^ [] : [-(ip(_219920))], (6598 ^ _35388) ^ [_220102] : [iext(_219920, _220102, _220102)]]], (6600 ^ _35388) ^ [_220171] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _220171)), ip(_220171), -(iext(_220171, 6605 ^ [_220171], 6605 ^ [_220171]))], (6611 ^ _35388) ^ [_220539] : [icext(uri_owl_ReflexiveProperty, _220539), 6614 ^ _35388 : [(6615 ^ _35388) ^ [] : [-(ip(_220539))], (6617 ^ _35388) ^ [_220720] : [-(iext(_220539, _220720, _220720))]]], (6619 ^ _35388) ^ [_220789] : [-(icext(uri_owl_ReflexiveProperty, _220789)), ip(_220789), iext(_220789, 6624 ^ [_220789], 6624 ^ [_220789])], (6630 ^ _35388) ^ [_221152] : [icext(uri_owl_SymmetricProperty, _221152), 6633 ^ _35388 : [(6634 ^ _35388) ^ [] : [-(ip(_221152))], (6636 ^ _35388) ^ [_221374, _221376] : [iext(_221152, _221376, _221374), -(iext(_221152, _221374, _221376))]]], (6642 ^ _35388) ^ [_221555] : [-(icext(uri_owl_SymmetricProperty, _221555)), ip(_221555), 6649 ^ _35388 : [(6650 ^ _35388) ^ [] : [-(iext(_221555, 6647 ^ [_221555], 6648 ^ [_221555]))], (6652 ^ _35388) ^ [] : [iext(_221555, 6648 ^ [_221555], 6647 ^ [_221555])]]], (6672 ^ _35388) ^ [_222613] : [-(icext(uri_owl_TransitiveProperty, _222613)), ip(_222613), 6680 ^ _35388 : [(6681 ^ _35388) ^ [] : [-(iext(_222613, 6677 ^ [_222613], 6678 ^ [_222613]))], (6683 ^ _35388) ^ [] : [-(iext(_222613, 6678 ^ [_222613], 6679 ^ [_222613]))], (6685 ^ _35388) ^ [] : [iext(_222613, 6677 ^ [_222613], 6679 ^ [_222613])]]], (6656 ^ _35388) ^ [_222079] : [icext(uri_owl_TransitiveProperty, _222079), 6659 ^ _35388 : [(6660 ^ _35388) ^ [] : [-(ip(_222079))], (6662 ^ _35388) ^ [_222327, _222329, _222331] : [-(iext(_222079, _222331, _222327)), iext(_222079, _222331, _222329), iext(_222079, _222329, _222327)]]], (6705 ^ _35388) ^ [_223826] : [-(iext(uri_owl_hasKey, _223826, uri_rdf_nil)), ic(_223826), 6712 ^ _35388 : [(6713 ^ _35388) ^ [] : [-(icext(_223826, 6710 ^ [_223826]))], (6715 ^ _35388) ^ [] : [-(icext(_223826, 6711 ^ [_223826]))], (6717 ^ _35388) ^ [] : [6710 ^ [_223826] = 6711 ^ [_223826]]]], (6689 ^ _35388) ^ [_223328] : [iext(uri_owl_hasKey, _223328, uri_rdf_nil), 6692 ^ _35388 : [(6693 ^ _35388) ^ [] : [-(ic(_223328))], (6695 ^ _35388) ^ [_223556, _223558] : [-(_223558 = _223556), icext(_223328, _223558), icext(_223328, _223556)]]], (6721 ^ _35388) ^ [_224429, _224431, _224433] : [iext(uri_rdf_first, _224431, _224429), iext(uri_rdf_rest, _224431, uri_rdf_nil), 6728 ^ _35388 : [(6755 ^ _35388) ^ [] : [-(iext(uri_owl_hasKey, _224433, _224431)), ic(_224433), ip(_224429), 6767 ^ _35388 : [(6768 ^ _35388) ^ [] : [-(icext(_224433, 6764 ^ [_224429, _224431, _224433]))], (6770 ^ _35388) ^ [] : [-(icext(_224433, 6765 ^ [_224429, _224431, _224433]))], (6772 ^ _35388) ^ [] : [-(iext(_224429, 6764 ^ [_224429, _224431, _224433], 6766 ^ [_224429, _224431, _224433]))], (6774 ^ _35388) ^ [] : [-(iext(_224429, 6765 ^ [_224429, _224431, _224433], 6766 ^ [_224429, _224431, _224433]))], (6776 ^ _35388) ^ [] : [6764 ^ [_224429, _224431, _224433] = 6765 ^ [_224429, _224431, _224433]]]], (6729 ^ _35388) ^ [] : [iext(uri_owl_hasKey, _224433, _224431), 6732 ^ _35388 : [(6733 ^ _35388) ^ [] : [-(ic(_224433))], (6735 ^ _35388) ^ [] : [-(ip(_224429))], (6737 ^ _35388) ^ [_224989, _224991, _224993] : [-(_224993 = _224991), icext(_224433, _224993), icext(_224433, _224991), iext(_224429, _224993, _224989), iext(_224429, _224991, _224989)]]]]], (6780 ^ _35388) ^ [_226598, _226600, _226602, _226604, _226606] : [iext(uri_rdf_first, _226604, _226602), iext(uri_rdf_rest, _226604, _226600), iext(uri_rdf_first, _226600, _226598), iext(uri_rdf_rest, _226600, uri_rdf_nil), 6795 ^ _35388 : [(6832 ^ _35388) ^ [] : [-(iext(uri_owl_hasKey, _226606, _226604)), ic(_226606), ip(_226602), ip(_226598), 6849 ^ _35388 : [(6850 ^ _35388) ^ [] : [-(icext(_226606, 6845 ^ [_226598, _226600, _226602, _226604, _226606]))], (6852 ^ _35388) ^ [] : [-(icext(_226606, 6846 ^ [_226598, _226600, _226602, _226604, _226606]))], (6854 ^ _35388) ^ [] : [-(iext(_226602, 6845 ^ [_226598, _226600, _226602, _226604, _226606], 6847 ^ [_226598, _226600, _226602, _226604, _226606]))], (6856 ^ _35388) ^ [] : [-(iext(_226602, 6846 ^ [_226598, _226600, _226602, _226604, _226606], 6847 ^ [_226598, _226600, _226602, _226604, _226606]))], (6858 ^ _35388) ^ [] : [-(iext(_226598, 6845 ^ [_226598, _226600, _226602, _226604, _226606], 6848 ^ [_226598, _226600, _226602, _226604, _226606]))], (6860 ^ _35388) ^ [] : [-(iext(_226598, 6846 ^ [_226598, _226600, _226602, _226604, _226606], 6848 ^ [_226598, _226600, _226602, _226604, _226606]))], (6862 ^ _35388) ^ [] : [6845 ^ [_226598, _226600, _226602, _226604, _226606] = 6846 ^ [_226598, _226600, _226602, _226604, _226606]]]], (6796 ^ _35388) ^ [] : [iext(uri_owl_hasKey, _226606, _226604), 6799 ^ _35388 : [(6800 ^ _35388) ^ [] : [-(ic(_226606))], (6802 ^ _35388) ^ [] : [-(ip(_226602))], (6804 ^ _35388) ^ [] : [-(ip(_226598))], (6806 ^ _35388) ^ [_227505, _227507, _227509, _227511] : [-(_227511 = _227509), icext(_226606, _227511), icext(_226606, _227509), iext(_226602, _227511, _227507), iext(_226602, _227509, _227507), iext(_226598, _227511, _227505), iext(_226598, _227509, _227505)]]]]], (6866 ^ _35388) ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215] : [iext(uri_rdf_first, _230213, _230211), iext(uri_rdf_rest, _230213, _230209), iext(uri_rdf_first, _230209, _230207), iext(uri_rdf_rest, _230209, _230205), iext(uri_rdf_first, _230205, _230203), iext(uri_rdf_rest, _230205, uri_rdf_nil), 6889 ^ _35388 : [(6936 ^ _35388) ^ [] : [-(iext(uri_owl_hasKey, _230215, _230213)), ic(_230215), ip(_230211), ip(_230207), ip(_230203), 6958 ^ _35388 : [(6959 ^ _35388) ^ [] : [-(icext(_230215, 6953 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6961 ^ _35388) ^ [] : [-(icext(_230215, 6954 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6963 ^ _35388) ^ [] : [-(iext(_230211, 6953 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6955 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6965 ^ _35388) ^ [] : [-(iext(_230211, 6954 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6955 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6967 ^ _35388) ^ [] : [-(iext(_230207, 6953 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6956 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6969 ^ _35388) ^ [] : [-(iext(_230207, 6954 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6956 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6971 ^ _35388) ^ [] : [-(iext(_230203, 6953 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6957 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6973 ^ _35388) ^ [] : [-(iext(_230203, 6954 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215], 6957 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]))], (6975 ^ _35388) ^ [] : [6953 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215] = 6954 ^ [_230203, _230205, _230207, _230209, _230211, _230213, _230215]]]], (6890 ^ _35388) ^ [] : [iext(uri_owl_hasKey, _230215, _230213), 6893 ^ _35388 : [(6894 ^ _35388) ^ [] : [-(ic(_230215))], (6896 ^ _35388) ^ [] : [-(ip(_230211))], (6898 ^ _35388) ^ [] : [-(ip(_230207))], (6900 ^ _35388) ^ [] : [-(ip(_230203))], (6902 ^ _35388) ^ [_231497, _231499, _231501, _231503, _231505] : [-(_231505 = _231503), icext(_230215, _231505), icext(_230215, _231503), iext(_230211, _231505, _231501), iext(_230211, _231503, _231501), iext(_230207, _231505, _231499), iext(_230207, _231503, _231499), iext(_230203, _231505, _231497), iext(_230203, _231503, _231497)]]]]], (6979 ^ _35388) ^ [_235567, _235569, _235571] : [6995 ^ _35388 : [(6996 ^ _35388) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_235567, _235569, _235571], _235569))], (6998 ^ _35388) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_235567, _235569, _235571], _235571))], (7000 ^ _35388) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_235567, _235569, _235571], _235567))]], ir(_235569), iodp(_235571), lv(_235567), -(iext(_235571, _235569, _235567))], (7002 ^ _35388) ^ [_236344, _236346, _236348, _236350] : [7013 ^ _35388 : [(7014 ^ _35388) ^ [] : [-(iodp(_236348))], (7016 ^ _35388) ^ [] : [iext(_236348, _236346, _236344)]], iext(uri_owl_sourceIndividual, _236350, _236346), iext(uri_owl_assertionProperty, _236350, _236348), iext(uri_owl_targetValue, _236350, _236344)], (7018 ^ _35388) ^ [_236860, _236862, _236864] : [7034 ^ _35388 : [(7035 ^ _35388) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_236860, _236862, _236864], _236862))], (7037 ^ _35388) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_236860, _236862, _236864], _236864))], (7039 ^ _35388) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_236860, _236862, _236864], _236860))]], ir(_236862), ip(_236864), ir(_236860), -(iext(_236864, _236862, _236860))], (7041 ^ _35388) ^ [_237637, _237639, _237641, _237643] : [iext(_237641, _237639, _237637), iext(uri_owl_sourceIndividual, _237643, _237639), iext(uri_owl_assertionProperty, _237643, _237641), iext(uri_owl_targetIndividual, _237643, _237637)], (7055 ^ _35388) ^ [_238048] : [icext(uri_xsd_anyURI, _238048), -(lv(_238048))], (7061 ^ _35388) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35388) ^ [_238289] : [icext(uri_xsd_base64Binary, _238289), -(lv(_238289))], (7069 ^ _35388) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35388) ^ [_238530] : [icext(uri_xsd_boolean, _238530), -(lv(_238530))], (7077 ^ _35388) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35388) ^ [_238771] : [icext(uri_xsd_byte, _238771), -(lv(_238771))], (7085 ^ _35388) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35388) ^ [_239012] : [icext(uri_xsd_dateTime, _239012), -(lv(_239012))], (7093 ^ _35388) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35388) ^ [_239253] : [icext(uri_xsd_dateTimeStamp, _239253), -(lv(_239253))], (7101 ^ _35388) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35388) ^ [_239494] : [icext(uri_xsd_decimal, _239494), -(lv(_239494))], (7109 ^ _35388) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35388) ^ [_239735] : [icext(uri_xsd_double, _239735), -(lv(_239735))], (7117 ^ _35388) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35388) ^ [_239976] : [icext(uri_xsd_float, _239976), -(lv(_239976))], (7125 ^ _35388) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35388) ^ [_240217] : [icext(uri_xsd_hexBinary, _240217), -(lv(_240217))], (7133 ^ _35388) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35388) ^ [_240458] : [icext(uri_xsd_int, _240458), -(lv(_240458))], (7141 ^ _35388) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35388) ^ [_240699] : [icext(uri_xsd_integer, _240699), -(lv(_240699))], (7149 ^ _35388) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35388) ^ [_240940] : [icext(uri_xsd_language, _240940), -(lv(_240940))], (7157 ^ _35388) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35388) ^ [_241181] : [icext(uri_xsd_long, _241181), -(lv(_241181))], (7165 ^ _35388) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35388) ^ [_241422] : [icext(uri_xsd_Name, _241422), -(lv(_241422))], (7173 ^ _35388) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35388) ^ [_241663] : [icext(uri_xsd_NCName, _241663), -(lv(_241663))], (7181 ^ _35388) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35388) ^ [_241904] : [icext(uri_xsd_negativeInteger, _241904), -(lv(_241904))], (7189 ^ _35388) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35388) ^ [_242145] : [icext(uri_xsd_NMTOKEN, _242145), -(lv(_242145))], (7197 ^ _35388) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35388) ^ [_242386] : [icext(uri_xsd_nonNegativeInteger, _242386), -(lv(_242386))], (7205 ^ _35388) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35388) ^ [_242627] : [icext(uri_xsd_nonPositiveInteger, _242627), -(lv(_242627))], (7213 ^ _35388) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35388) ^ [_242868] : [icext(uri_xsd_normalizedString, _242868), -(lv(_242868))], (7221 ^ _35388) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35388) ^ [_243109] : [icext(uri_rdf_PlainLiteral, _243109), -(lv(_243109))], (7229 ^ _35388) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35388) ^ [_243350] : [icext(uri_xsd_positiveInteger, _243350), -(lv(_243350))], (7237 ^ _35388) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35388) ^ [_243591] : [icext(uri_owl_rational, _243591), -(lv(_243591))], (7245 ^ _35388) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35388) ^ [_243832] : [icext(uri_owl_real, _243832), -(lv(_243832))], (7253 ^ _35388) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35388) ^ [_244073] : [icext(uri_xsd_short, _244073), -(lv(_244073))], (7261 ^ _35388) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35388) ^ [_244314] : [icext(uri_xsd_string, _244314), -(lv(_244314))], (7269 ^ _35388) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35388) ^ [_244555] : [icext(uri_xsd_token, _244555), -(lv(_244555))], (7277 ^ _35388) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35388) ^ [_244796] : [icext(uri_xsd_unsignedByte, _244796), -(lv(_244796))], (7285 ^ _35388) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35388) ^ [_245037] : [icext(uri_xsd_unsignedInt, _245037), -(lv(_245037))], (7293 ^ _35388) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35388) ^ [_245278] : [icext(uri_xsd_unsignedLong, _245278), -(lv(_245278))], (7301 ^ _35388) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35388) ^ [_245519] : [icext(uri_xsd_unsignedShort, _245519), -(lv(_245519))], (7309 ^ _35388) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35388) ^ [_245760] : [icext(uri_rdf_XMLLiteral, _245760), -(lv(_245760))], (7317 ^ _35388) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35388) ^ [_246001] : [icext(uri_xsd_anyURI, _246001), icext(uri_xsd_base64Binary, _246001)], (7325 ^ _35388) ^ [_246190] : [icext(uri_xsd_anyURI, _246190), icext(uri_xsd_boolean, _246190)], (7331 ^ _35388) ^ [_246379] : [icext(uri_xsd_anyURI, _246379), icext(uri_xsd_dateTime, _246379)], (7337 ^ _35388) ^ [_246568] : [icext(uri_xsd_anyURI, _246568), icext(uri_xsd_double, _246568)], (7343 ^ _35388) ^ [_246757] : [icext(uri_xsd_anyURI, _246757), icext(uri_xsd_float, _246757)], (7349 ^ _35388) ^ [_246946] : [icext(uri_xsd_anyURI, _246946), icext(uri_xsd_hexBinary, _246946)], (7355 ^ _35388) ^ [_247135] : [icext(uri_xsd_anyURI, _247135), icext(uri_rdf_PlainLiteral, _247135)], (7361 ^ _35388) ^ [_247324] : [icext(uri_xsd_anyURI, _247324), icext(uri_owl_real, _247324)], (7367 ^ _35388) ^ [_247513] : [icext(uri_xsd_anyURI, _247513), icext(uri_rdf_XMLLiteral, _247513)], (7373 ^ _35388) ^ [_247702] : [icext(uri_xsd_base64Binary, _247702), icext(uri_xsd_boolean, _247702)], (7379 ^ _35388) ^ [_247891] : [icext(uri_xsd_base64Binary, _247891), icext(uri_xsd_dateTime, _247891)], (7385 ^ _35388) ^ [_248080] : [icext(uri_xsd_base64Binary, _248080), icext(uri_xsd_double, _248080)], (7391 ^ _35388) ^ [_248269] : [icext(uri_xsd_base64Binary, _248269), icext(uri_xsd_float, _248269)], (7397 ^ _35388) ^ [_248458] : [icext(uri_xsd_base64Binary, _248458), icext(uri_xsd_hexBinary, _248458)], (7403 ^ _35388) ^ [_248647] : [icext(uri_xsd_base64Binary, _248647), icext(uri_rdf_PlainLiteral, _248647)], (7409 ^ _35388) ^ [_248836] : [icext(uri_xsd_base64Binary, _248836), icext(uri_owl_real, _248836)], (7415 ^ _35388) ^ [_249025] : [icext(uri_xsd_base64Binary, _249025), icext(uri_rdf_XMLLiteral, _249025)], (7421 ^ _35388) ^ [_249214] : [icext(uri_xsd_boolean, _249214), icext(uri_xsd_dateTime, _249214)], (7427 ^ _35388) ^ [_249403] : [icext(uri_xsd_boolean, _249403), icext(uri_xsd_double, _249403)], (7433 ^ _35388) ^ [_249592] : [icext(uri_xsd_boolean, _249592), icext(uri_xsd_float, _249592)], (7439 ^ _35388) ^ [_249781] : [icext(uri_xsd_boolean, _249781), icext(uri_xsd_hexBinary, _249781)], (7445 ^ _35388) ^ [_249970] : [icext(uri_xsd_boolean, _249970), icext(uri_rdf_PlainLiteral, _249970)], (7451 ^ _35388) ^ [_250159] : [icext(uri_xsd_boolean, _250159), icext(uri_owl_real, _250159)], (7457 ^ _35388) ^ [_250348] : [icext(uri_xsd_boolean, _250348), icext(uri_rdf_XMLLiteral, _250348)], (7463 ^ _35388) ^ [_250537] : [icext(uri_xsd_dateTime, _250537), icext(uri_xsd_double, _250537)], (7469 ^ _35388) ^ [_250726] : [icext(uri_xsd_dateTime, _250726), icext(uri_xsd_float, _250726)], (7475 ^ _35388) ^ [_250915] : [icext(uri_xsd_dateTime, _250915), icext(uri_xsd_hexBinary, _250915)], (7481 ^ _35388) ^ [_251104] : [icext(uri_xsd_dateTime, _251104), icext(uri_rdf_PlainLiteral, _251104)], (7487 ^ _35388) ^ [_251293] : [icext(uri_xsd_dateTime, _251293), icext(uri_owl_real, _251293)], (7493 ^ _35388) ^ [_251482] : [icext(uri_xsd_dateTime, _251482), icext(uri_rdf_XMLLiteral, _251482)], (7499 ^ _35388) ^ [_251671] : [icext(uri_xsd_double, _251671), icext(uri_xsd_float, _251671)], (7505 ^ _35388) ^ [_251860] : [icext(uri_xsd_double, _251860), icext(uri_xsd_hexBinary, _251860)], (7511 ^ _35388) ^ [_252049] : [icext(uri_xsd_double, _252049), icext(uri_rdf_PlainLiteral, _252049)], (7517 ^ _35388) ^ [_252238] : [icext(uri_xsd_double, _252238), icext(uri_owl_real, _252238)], (7523 ^ _35388) ^ [_252427] : [icext(uri_xsd_double, _252427), icext(uri_rdf_XMLLiteral, _252427)], (7529 ^ _35388) ^ [_252616] : [icext(uri_xsd_float, _252616), icext(uri_xsd_hexBinary, _252616)], (7535 ^ _35388) ^ [_252805] : [icext(uri_xsd_float, _252805), icext(uri_rdf_PlainLiteral, _252805)], (7541 ^ _35388) ^ [_252994] : [icext(uri_xsd_float, _252994), icext(uri_owl_real, _252994)], (7547 ^ _35388) ^ [_253183] : [icext(uri_xsd_float, _253183), icext(uri_rdf_XMLLiteral, _253183)], (7553 ^ _35388) ^ [_253372] : [icext(uri_xsd_hexBinary, _253372), icext(uri_rdf_PlainLiteral, _253372)], (7559 ^ _35388) ^ [_253561] : [icext(uri_xsd_hexBinary, _253561), icext(uri_owl_real, _253561)], (7565 ^ _35388) ^ [_253750] : [icext(uri_xsd_hexBinary, _253750), icext(uri_rdf_XMLLiteral, _253750)], (7571 ^ _35388) ^ [_253939] : [icext(uri_rdf_PlainLiteral, _253939), icext(uri_owl_real, _253939)], (7577 ^ _35388) ^ [_254128] : [icext(uri_rdf_PlainLiteral, _254128), icext(uri_rdf_XMLLiteral, _254128)], (7583 ^ _35388) ^ [_254317] : [icext(uri_owl_real, _254317), icext(uri_rdf_XMLLiteral, _254317)], (7589 ^ _35388) ^ [_254506] : [icext(uri_xsd_byte, _254506), -(icext(uri_xsd_short, _254506))], (7595 ^ _35388) ^ [_254696] : [icext(uri_xsd_dateTimeStamp, _254696), -(icext(uri_xsd_dateTime, _254696))], (7601 ^ _35388) ^ [_254886] : [icext(uri_xsd_decimal, _254886), -(icext(uri_owl_rational, _254886))], (7607 ^ _35388) ^ [_255076] : [icext(uri_xsd_int, _255076), -(icext(uri_xsd_long, _255076))], (7613 ^ _35388) ^ [_255266] : [icext(uri_xsd_integer, _255266), -(icext(uri_xsd_decimal, _255266))], (7619 ^ _35388) ^ [_255456] : [icext(uri_xsd_language, _255456), -(icext(uri_xsd_token, _255456))], (7625 ^ _35388) ^ [_255646] : [icext(uri_xsd_long, _255646), -(icext(uri_xsd_integer, _255646))], (7631 ^ _35388) ^ [_255836] : [icext(uri_xsd_Name, _255836), -(icext(uri_xsd_token, _255836))], (7637 ^ _35388) ^ [_256026] : [icext(uri_xsd_NCName, _256026), -(icext(uri_xsd_Name, _256026))], (7643 ^ _35388) ^ [_256216] : [icext(uri_xsd_negativeInteger, _256216), -(icext(uri_xsd_nonPositiveInteger, _256216))], (7649 ^ _35388) ^ [_256406] : [icext(uri_xsd_NMTOKEN, _256406), -(icext(uri_xsd_token, _256406))], (7655 ^ _35388) ^ [_256596] : [icext(uri_xsd_nonNegativeInteger, _256596), -(icext(uri_xsd_integer, _256596))], (7661 ^ _35388) ^ [_256786] : [icext(uri_xsd_nonPositiveInteger, _256786), -(icext(uri_xsd_integer, _256786))], (7667 ^ _35388) ^ [_256976] : [icext(uri_xsd_normalizedString, _256976), -(icext(uri_xsd_string, _256976))], (7673 ^ _35388) ^ [_257166] : [icext(uri_xsd_positiveInteger, _257166), -(icext(uri_xsd_nonNegativeInteger, _257166))], (7679 ^ _35388) ^ [_257356] : [icext(uri_owl_rational, _257356), -(icext(uri_owl_real, _257356))], (7685 ^ _35388) ^ [_257546] : [icext(uri_xsd_short, _257546), -(icext(uri_xsd_int, _257546))], (7691 ^ _35388) ^ [_257736] : [icext(uri_xsd_string, _257736), -(icext(uri_rdf_PlainLiteral, _257736))], (7697 ^ _35388) ^ [_257926] : [icext(uri_xsd_token, _257926), -(icext(uri_xsd_normalizedString, _257926))], (7703 ^ _35388) ^ [_258116] : [icext(uri_xsd_unsignedByte, _258116), -(icext(uri_xsd_unsignedShort, _258116))], (7709 ^ _35388) ^ [_258306] : [icext(uri_xsd_unsignedInt, _258306), -(icext(uri_xsd_unsignedLong, _258306))], (7715 ^ _35388) ^ [_258496] : [icext(uri_xsd_unsignedLong, _258496), -(icext(uri_xsd_nonNegativeInteger, _258496))], (7721 ^ _35388) ^ [_258686] : [icext(uri_xsd_unsignedShort, _258686), -(icext(uri_xsd_unsignedInt, _258686))], (7727 ^ _35388) ^ [_258890, _258892] : [iext(uri_rdf_langRange, _258892, _258890), 7730 ^ _35388 : [(7731 ^ _35388) ^ [] : [-(ir(_258892))], (7733 ^ _35388) ^ [] : [-(lv(_258890))]]], (7735 ^ _35388) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35388) ^ [_259226, _259228] : [iext(uri_xsd_length, _259228, _259226), 7740 ^ _35388 : [(7741 ^ _35388) ^ [] : [-(ir(_259228))], (7743 ^ _35388) ^ [] : [-(lv(_259226))]]], (7745 ^ _35388) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35388) ^ [_259562, _259564] : [iext(uri_xsd_maxExclusive, _259564, _259562), 7750 ^ _35388 : [(7751 ^ _35388) ^ [] : [-(ir(_259564))], (7753 ^ _35388) ^ [] : [-(lv(_259562))]]], (7755 ^ _35388) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35388) ^ [_259898, _259900] : [iext(uri_xsd_maxInclusive, _259900, _259898), 7760 ^ _35388 : [(7761 ^ _35388) ^ [] : [-(ir(_259900))], (7763 ^ _35388) ^ [] : [-(lv(_259898))]]], (7765 ^ _35388) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35388) ^ [_260234, _260236] : [iext(uri_xsd_maxLength, _260236, _260234), 7770 ^ _35388 : [(7771 ^ _35388) ^ [] : [-(ir(_260236))], (7773 ^ _35388) ^ [] : [-(lv(_260234))]]], (7775 ^ _35388) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35388) ^ [_260570, _260572] : [iext(uri_xsd_minExclusive, _260572, _260570), 7780 ^ _35388 : [(7781 ^ _35388) ^ [] : [-(ir(_260572))], (7783 ^ _35388) ^ [] : [-(lv(_260570))]]], (7785 ^ _35388) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35388) ^ [_260906, _260908] : [iext(uri_xsd_minInclusive, _260908, _260906), 7790 ^ _35388 : [(7791 ^ _35388) ^ [] : [-(ir(_260908))], (7793 ^ _35388) ^ [] : [-(lv(_260906))]]], (7795 ^ _35388) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35388) ^ [_261242, _261244] : [iext(uri_xsd_minLength, _261244, _261242), 7800 ^ _35388 : [(7801 ^ _35388) ^ [] : [-(ir(_261244))], (7803 ^ _35388) ^ [] : [-(lv(_261242))]]], (7805 ^ _35388) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35388) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35388) ^ [_261578, _261580] : [iext(uri_xsd_pattern, _261580, _261578), 7810 ^ _35388 : [(7811 ^ _35388) ^ [] : [-(ir(_261580))], (7813 ^ _35388) ^ [] : [-(lv(_261578))]]]], input).
% 15.14/14.83  ncf('1',plain,[iext(uri_rdf_type, uri_ex_w, uri_ex_z)],start(7823 ^ 0)).
% 15.14/14.83  ncf('1.1',plain,[-(iext(uri_rdf_type, uri_ex_w, uri_ex_z)), icext(uri_ex_z, uri_ex_w)],extension(224 ^ 1,bind([[_38192, _38194], [uri_ex_z, uri_ex_w]]))).
% 15.14/14.83  ncf('1.1.1',plain,[-(icext(uri_ex_z, uri_ex_w)), 3646 : iext(uri_ex_p, uri_ex_w, uri_ex_w), 3646 : iext(uri_owl_hasSelf, uri_ex_z, literal_typed(dat_str_true, uri_xsd_boolean)), 3646 : iext(uri_owl_onProperty, uri_ex_z, uri_ex_p)],extension(3632 ^ 2,bind([[_110254, _110256, _110258, _110704], [literal_typed(dat_str_true, uri_xsd_boolean), uri_ex_p, uri_ex_z, uri_ex_w]]))).
% 15.14/14.83  ncf('1.1.1.1',plain,[-(iext(uri_ex_p, uri_ex_w, uri_ex_w))],extension(7821 ^ 5)).
% 15.14/14.83  ncf('1.1.1.2',plain,[-(iext(uri_owl_hasSelf, uri_ex_z, literal_typed(dat_str_true, uri_xsd_boolean)))],extension(7817 ^ 3)).
% 15.14/14.83  ncf('1.1.1.3',plain,[-(iext(uri_owl_onProperty, uri_ex_z, uri_ex_p))],extension(7819 ^ 3)).
% 15.14/14.83  %-----------------------------------------------------
% 15.14/14.83  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------