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

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

% Result   : Theorem 14.15s 14.87s
% Output   : Proof 14.15s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13  % Problem  : SWB074+1 : TPTP v8.1.2. Released v5.2.0.
% 0.04/0.14  % Command  : nanocop.sh %s %d
% 0.14/0.35  % Computer : n009.cluster.edu
% 0.14/0.35  % Model    : x86_64 x86_64
% 0.14/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35  % Memory   : 8042.1875MB
% 0.14/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36  % CPULimit : 300
% 0.14/0.36  % WCLimit  : 300
% 0.14/0.36  % DateTime : Thu May 18 20:46:47 EDT 2023
% 0.14/0.36  % CPUTime  : 
% 14.15/14.87  
% 14.15/14.87  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 14.15/14.87  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 14.15/14.87  %-----------------------------------------------------
% 14.15/14.87  ncf(matrix, plain, [(7821 ^ _35317) ^ [] : [iext(uri_owl_topDataProperty, uri_ex_x, uri_ex_y)], (142 ^ _35317) ^ [_37185, _37187, _37189, _37191] : [-(literal_typed(_37191, _37187) = literal_typed(_37189, _37185)), _37191 = _37189, _37187 = _37185], (2 ^ _35317) ^ [_35347] : [-(_35347 = _35347)], (4 ^ _35317) ^ [_35370, _35372] : [_35372 = _35370, -(_35370 = _35372)], (10 ^ _35317) ^ [_35443, _35445, _35447] : [-(_35447 = _35443), _35447 = _35445, _35445 = _35443], (20 ^ _35317) ^ [_35580, _35582] : [-(ioap(_35580)), _35582 = _35580, ioap(_35582)], (30 ^ _35317) ^ [_35705, _35707] : [-(ix(_35705)), _35707 = _35705, ix(_35707)], (40 ^ _35317) ^ [_35830, _35832] : [-(ioxp(_35830)), _35832 = _35830, ioxp(_35832)], (50 ^ _35317) ^ [_35955, _35957] : [-(ic(_35955)), _35957 = _35955, ic(_35957)], (60 ^ _35317) ^ [_36080, _36082] : [-(ip(_36080)), _36082 = _36080, ip(_36082)], (70 ^ _35317) ^ [_36205, _36207] : [-(idc(_36205)), _36207 = _36205, idc(_36207)], (80 ^ _35317) ^ [_36330, _36332, _36334, _36336] : [-(icext(_36334, _36330)), icext(_36336, _36332), _36336 = _36334, _36332 = _36330], (94 ^ _35317) ^ [_36523, _36525] : [-(ir(_36523)), _36525 = _36523, ir(_36525)], (104 ^ _35317) ^ [_36648, _36650] : [-(lv(_36648)), _36650 = _36648, lv(_36650)], (114 ^ _35317) ^ [_36773, _36775] : [-(iodp(_36773)), _36775 = _36773, iodp(_36775)], (124 ^ _35317) ^ [_36894, _36896, _36898, _36900, _36902, _36904] : [-(iext(_36902, _36898, _36894)), iext(_36904, _36900, _36896), _36904 = _36902, _36900 = _36898, _36896 = _36894], (7817 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_ex_y, uri_rdfs_Literal))], (7819 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_ex_x, uri_owl_Thing))], (152 ^ _35317) ^ [_37339, _37341, _37343] : [iext(_37341, _37343, _37339), -(ip(_37341))], (158 ^ _35317) ^ [_37418] : [-(ir(_37418))], (160 ^ _35317) ^ [_37440] : [lv(_37440), -(ir(_37440))], (166 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35317) ^ [_37685] : [iext(uri_rdf_type, _37685, uri_rdf_Property), -(ip(_37685))], (190 ^ _35317) ^ [_37756] : [ip(_37756), -(iext(uri_rdf_type, _37756, uri_rdf_Property))], (196 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35317) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35317) ^ [_38046, _38048] : [iext(uri_rdf_type, _38048, _38046), -(icext(_38046, _38048))], (224 ^ _35317) ^ [_38121, _38123] : [icext(_38121, _38123), -(iext(uri_rdf_type, _38123, _38121))], (230 ^ _35317) ^ [_38202] : [ic(_38202), -(iext(uri_rdfs_subClassOf, _38202, uri_rdfs_Resource))], (236 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35317) ^ [_38385] : [icext(uri_rdfs_ContainerMembershipProperty, _38385), -(iext(uri_rdfs_subPropertyOf, _38385, uri_rdfs_member))], (254 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35317) ^ [_38732] : [icext(uri_rdfs_Datatype, _38732), -(iext(uri_rdfs_subClassOf, _38732, uri_rdfs_Literal))], (290 ^ _35317) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35317) ^ [_38845, _38847, _38849, _38851] : [-(icext(_38849, _38847)), iext(uri_rdfs_domain, _38851, _38849), iext(_38851, _38847, _38845)], (304 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35317) ^ [_39016] : [ic(_39016), -(icext(uri_rdfs_Class, _39016))], (312 ^ _35317) ^ [_39085] : [icext(uri_rdfs_Class, _39085), -(ic(_39085))], (318 ^ _35317) ^ [_39172] : [ir(_39172), -(icext(uri_rdfs_Resource, _39172))], (324 ^ _35317) ^ [_39241] : [icext(uri_rdfs_Resource, _39241), -(ir(_39241))], (330 ^ _35317) ^ [_39328] : [lv(_39328), -(icext(uri_rdfs_Literal, _39328))], (336 ^ _35317) ^ [_39397] : [icext(uri_rdfs_Literal, _39397), -(lv(_39397))], (342 ^ _35317) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35317) ^ [_39508, _39510, _39512, _39514] : [-(icext(_39512, _39508)), iext(uri_rdfs_range, _39514, _39512), iext(_39514, _39510, _39508)], (356 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35317) ^ [_39793, _39795] : [iext(uri_rdfs_subClassOf, _39795, _39793), 375 ^ _35317 : [(376 ^ _35317) ^ [] : [-(ic(_39795))], (378 ^ _35317) ^ [] : [-(ic(_39793))], (380 ^ _35317) ^ [_39908] : [icext(_39795, _39908), -(icext(_39793, _39908))]]], (386 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35317) ^ [_40013] : [ic(_40013), -(iext(uri_rdfs_subClassOf, _40013, _40013))], (394 ^ _35317) ^ [_40088, _40090, _40092] : [-(iext(uri_rdfs_subClassOf, _40092, _40088)), iext(uri_rdfs_subClassOf, _40092, _40090), iext(uri_rdfs_subClassOf, _40090, _40088)], (404 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35317) ^ [_40245, _40247] : [iext(uri_rdfs_subPropertyOf, _40247, _40245), 409 ^ _35317 : [(410 ^ _35317) ^ [] : [-(ip(_40247))], (412 ^ _35317) ^ [] : [-(ip(_40245))], (414 ^ _35317) ^ [_40367, _40369] : [iext(_40247, _40369, _40367), -(iext(_40245, _40369, _40367))]]], (420 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35317) ^ [_40478] : [ip(_40478), -(iext(uri_rdfs_subPropertyOf, _40478, _40478))], (428 ^ _35317) ^ [_40553, _40555, _40557] : [-(iext(uri_rdfs_subPropertyOf, _40557, _40553)), iext(uri_rdfs_subPropertyOf, _40557, _40555), iext(uri_rdfs_subPropertyOf, _40555, _40553)], (438 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35317) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35317) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35317) ^ [_40764] : [ic(_40764), 449 ^ _35317 : [(450 ^ _35317) ^ [_40822] : [icext(_40764, _40822), -(ir(_40822))]]], (456 ^ _35317) ^ [_40901] : [ic(_40901), -(ir(_40901))], (462 ^ _35317) ^ [_40984] : [ic(_40984), -(iext(uri_rdf_type, _40984, uri_rdfs_Class))], (468 ^ _35317) ^ [_41055] : [iext(uri_rdf_type, _41055, uri_rdfs_Class), -(ic(_41055))], (474 ^ _35317) ^ [_41132] : [idc(_41132), 477 ^ _35317 : [(478 ^ _35317) ^ [_41190] : [icext(_41132, _41190), -(lv(_41190))]]], (484 ^ _35317) ^ [_41269] : [idc(_41269), -(ic(_41269))], (490 ^ _35317) ^ [_41352] : [idc(_41352), -(iext(uri_rdf_type, _41352, uri_rdfs_Datatype))], (496 ^ _35317) ^ [_41423] : [iext(uri_rdf_type, _41423, uri_rdfs_Datatype), -(idc(_41423))], (502 ^ _35317) ^ [_41500] : [ioap(_41500), 505 ^ _35317 : [(506 ^ _35317) ^ [_41569, _41571] : [iext(_41500, _41571, _41569), 509 ^ _35317 : [(510 ^ _35317) ^ [] : [-(ir(_41571))], (512 ^ _35317) ^ [] : [-(ir(_41569))]]]]], (514 ^ _35317) ^ [_41676] : [ioap(_41676), -(ip(_41676))], (520 ^ _35317) ^ [_41759] : [ioap(_41759), -(iext(uri_rdf_type, _41759, uri_owl_AnnotationProperty))], (526 ^ _35317) ^ [_41830] : [iext(uri_rdf_type, _41830, uri_owl_AnnotationProperty), -(ioap(_41830))], (532 ^ _35317) ^ [_41907] : [iodp(_41907), 535 ^ _35317 : [(536 ^ _35317) ^ [_41976, _41978] : [iext(_41907, _41978, _41976), 539 ^ _35317 : [(540 ^ _35317) ^ [] : [-(ir(_41978))], (542 ^ _35317) ^ [] : [-(lv(_41976))]]]]], (544 ^ _35317) ^ [_42083] : [iodp(_42083), -(ip(_42083))], (550 ^ _35317) ^ [_42166] : [iodp(_42166), -(iext(uri_rdf_type, _42166, uri_owl_DatatypeProperty))], (556 ^ _35317) ^ [_42237] : [iext(uri_rdf_type, _42237, uri_owl_DatatypeProperty), -(iodp(_42237))], (562 ^ _35317) ^ [_42314] : [ioxp(_42314), 565 ^ _35317 : [(566 ^ _35317) ^ [_42383, _42385] : [iext(_42314, _42385, _42383), 569 ^ _35317 : [(570 ^ _35317) ^ [] : [-(ix(_42385))], (572 ^ _35317) ^ [] : [-(ix(_42383))]]]]], (574 ^ _35317) ^ [_42490] : [ioxp(_42490), -(ip(_42490))], (580 ^ _35317) ^ [_42573] : [ioxp(_42573), -(iext(uri_rdf_type, _42573, uri_owl_OntologyProperty))], (586 ^ _35317) ^ [_42644] : [iext(uri_rdf_type, _42644, uri_owl_OntologyProperty), -(ioxp(_42644))], (592 ^ _35317) ^ [_42721] : [ip(_42721), 595 ^ _35317 : [(596 ^ _35317) ^ [_42790, _42792] : [iext(_42721, _42792, _42790), 599 ^ _35317 : [(600 ^ _35317) ^ [] : [-(ir(_42792))], (602 ^ _35317) ^ [] : [-(ir(_42790))]]]]], (604 ^ _35317) ^ [_42897] : [ip(_42897), -(ir(_42897))], (610 ^ _35317) ^ [_42980] : [ip(_42980), -(iext(uri_rdf_type, _42980, uri_rdf_Property))], (616 ^ _35317) ^ [_43051] : [iext(uri_rdf_type, _43051, uri_rdf_Property), -(ip(_43051))], (623 ^ _35317) ^ [] : [-(ir(621 ^ []))], (625 ^ _35317) ^ [_43164] : [ir(_43164), -(iext(uri_rdf_type, _43164, uri_rdfs_Resource))], (631 ^ _35317) ^ [_43235] : [iext(uri_rdf_type, _43235, uri_rdfs_Resource), -(ir(_43235))], (637 ^ _35317) ^ [_43312] : [ix(_43312), -(ir(_43312))], (643 ^ _35317) ^ [_43395] : [ix(_43395), -(iext(uri_rdf_type, _43395, uri_owl_Ontology))], (649 ^ _35317) ^ [_43466] : [iext(uri_rdf_type, _43466, uri_owl_Ontology), -(ix(_43466))], (655 ^ _35317) ^ [_43543] : [lv(_43543), -(ir(_43543))], (661 ^ _35317) ^ [_43626] : [lv(_43626), -(iext(uri_rdf_type, _43626, uri_rdfs_Literal))], (667 ^ _35317) ^ [_43697] : [iext(uri_rdf_type, _43697, uri_rdfs_Literal), -(lv(_43697))], (673 ^ _35317) ^ [_43774] : [icext(uri_owl_AllDifferent, _43774), -(ir(_43774))], (679 ^ _35317) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35317) ^ [_43865] : [icext(uri_owl_AllDisjointClasses, _43865), -(ir(_43865))], (687 ^ _35317) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35317) ^ [_43956] : [icext(uri_owl_AllDisjointProperties, _43956), -(ir(_43956))], (695 ^ _35317) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35317) ^ [_44047] : [icext(uri_owl_Annotation, _44047), -(ir(_44047))], (703 ^ _35317) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35317) ^ [_44150] : [icext(uri_owl_AnnotationProperty, _44150), -(ioap(_44150))], (711 ^ _35317) ^ [_44219] : [ioap(_44219), -(icext(uri_owl_AnnotationProperty, _44219))], (717 ^ _35317) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35317) ^ [_44312] : [icext(uri_owl_AsymmetricProperty, _44312), -(ip(_44312))], (725 ^ _35317) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35317) ^ [_44403] : [icext(uri_owl_Axiom, _44403), -(ir(_44403))], (733 ^ _35317) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35317) ^ [_44506] : [icext(uri_owl_Class, _44506), -(ic(_44506))], (741 ^ _35317) ^ [_44575] : [ic(_44575), -(icext(uri_owl_Class, _44575))], (747 ^ _35317) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35317) ^ [_44680] : [icext(uri_rdfs_Class, _44680), -(ic(_44680))], (755 ^ _35317) ^ [_44749] : [ic(_44749), -(icext(uri_rdfs_Class, _44749))], (761 ^ _35317) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35317) ^ [_44854] : [icext(uri_owl_DataRange, _44854), -(idc(_44854))], (769 ^ _35317) ^ [_44923] : [idc(_44923), -(icext(uri_owl_DataRange, _44923))], (775 ^ _35317) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35317) ^ [_45028] : [icext(uri_rdfs_Datatype, _45028), -(idc(_45028))], (783 ^ _35317) ^ [_45097] : [idc(_45097), -(icext(uri_rdfs_Datatype, _45097))], (789 ^ _35317) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35317) ^ [_45202] : [icext(uri_owl_DatatypeProperty, _45202), -(iodp(_45202))], (797 ^ _35317) ^ [_45271] : [iodp(_45271), -(icext(uri_owl_DatatypeProperty, _45271))], (803 ^ _35317) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35317) ^ [_45364] : [icext(uri_owl_DeprecatedClass, _45364), -(ic(_45364))], (811 ^ _35317) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35317) ^ [_45455] : [icext(uri_owl_DeprecatedProperty, _45455), -(ip(_45455))], (819 ^ _35317) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35317) ^ [_45546] : [icext(uri_owl_FunctionalProperty, _45546), -(ip(_45546))], (827 ^ _35317) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35317) ^ [_45637] : [icext(uri_owl_InverseFunctionalProperty, _45637), -(ip(_45637))], (835 ^ _35317) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35317) ^ [_45728] : [icext(uri_owl_IrreflexiveProperty, _45728), -(ip(_45728))], (843 ^ _35317) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35317) ^ [_45831] : [icext(uri_rdfs_Literal, _45831), -(lv(_45831))], (851 ^ _35317) ^ [_45900] : [lv(_45900), -(icext(uri_rdfs_Literal, _45900))], (857 ^ _35317) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35317) ^ [_45993] : [icext(uri_owl_NamedIndividual, _45993), -(ir(_45993))], (865 ^ _35317) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35317) ^ [_46084] : [icext(uri_owl_NegativePropertyAssertion, _46084), -(ir(_46084))], (873 ^ _35317) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35317) ^ [_46184] : [icext(uri_owl_Nothing, _46184)], (877 ^ _35317) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35317) ^ [_46237] : [icext(uri_owl_ObjectProperty, _46237), -(ip(_46237))], (885 ^ _35317) ^ [_46306] : [ip(_46306), -(icext(uri_owl_ObjectProperty, _46306))], (891 ^ _35317) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35317) ^ [_46411] : [icext(uri_owl_Ontology, _46411), -(ix(_46411))], (899 ^ _35317) ^ [_46480] : [ix(_46480), -(icext(uri_owl_Ontology, _46480))], (905 ^ _35317) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35317) ^ [_46585] : [icext(uri_owl_OntologyProperty, _46585), -(ioxp(_46585))], (913 ^ _35317) ^ [_46654] : [ioxp(_46654), -(icext(uri_owl_OntologyProperty, _46654))], (919 ^ _35317) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35317) ^ [_46759] : [icext(uri_rdf_Property, _46759), -(ip(_46759))], (927 ^ _35317) ^ [_46828] : [ip(_46828), -(icext(uri_rdf_Property, _46828))], (933 ^ _35317) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35317) ^ [_46921] : [icext(uri_owl_ReflexiveProperty, _46921), -(ip(_46921))], (941 ^ _35317) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35317) ^ [_47024] : [icext(uri_rdfs_Resource, _47024), -(ir(_47024))], (949 ^ _35317) ^ [_47093] : [ir(_47093), -(icext(uri_rdfs_Resource, _47093))], (955 ^ _35317) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35317) ^ [_47186] : [icext(uri_owl_Restriction, _47186), -(ic(_47186))], (963 ^ _35317) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35317) ^ [_47277] : [icext(uri_owl_SymmetricProperty, _47277), -(ip(_47277))], (971 ^ _35317) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35317) ^ [_47380] : [icext(uri_owl_Thing, _47380), -(ir(_47380))], (979 ^ _35317) ^ [_47449] : [ir(_47449), -(icext(uri_owl_Thing, _47449))], (985 ^ _35317) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35317) ^ [_47542] : [icext(uri_owl_TransitiveProperty, _47542), -(ip(_47542))], (993 ^ _35317) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35317) ^ [_47633, _47635] : [iext(uri_owl_allValuesFrom, _47635, _47633), 998 ^ _35317 : [(999 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _47635))], (1001 ^ _35317) ^ [] : [-(ic(_47633))]]], (1003 ^ _35317) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35317) ^ [_47754, _47756] : [iext(uri_owl_annotatedProperty, _47756, _47754), 1008 ^ _35317 : [(1009 ^ _35317) ^ [] : [-(ir(_47756))], (1011 ^ _35317) ^ [] : [-(ir(_47754))]]], (1013 ^ _35317) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35317) ^ [_47873, _47875] : [iext(uri_owl_annotatedSource, _47875, _47873), 1018 ^ _35317 : [(1019 ^ _35317) ^ [] : [-(ir(_47875))], (1021 ^ _35317) ^ [] : [-(ir(_47873))]]], (1023 ^ _35317) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35317) ^ [_47992, _47994] : [iext(uri_owl_annotatedTarget, _47994, _47992), 1028 ^ _35317 : [(1029 ^ _35317) ^ [] : [-(ir(_47994))], (1031 ^ _35317) ^ [] : [-(ir(_47992))]]], (1033 ^ _35317) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35317) ^ [_48111, _48113] : [iext(uri_owl_assertionProperty, _48113, _48111), 1038 ^ _35317 : [(1039 ^ _35317) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48113))], (1041 ^ _35317) ^ [] : [-(ip(_48111))]]], (1043 ^ _35317) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35317) ^ [_48232, _48234] : [iext(uri_owl_backwardCompatibleWith, _48234, _48232), 1048 ^ _35317 : [(1049 ^ _35317) ^ [] : [-(ix(_48234))], (1051 ^ _35317) ^ [] : [-(ix(_48232))]]], (1053 ^ _35317) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35317) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35317) ^ [_48381, _48383] : [iext(uri_owl_bottomDataProperty, _48383, _48381)], (1059 ^ _35317) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35317) ^ [_48437, _48439] : [iext(uri_owl_bottomObjectProperty, _48439, _48437)], (1063 ^ _35317) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35317) ^ [_48481, _48483] : [iext(uri_owl_cardinality, _48483, _48481), 1068 ^ _35317 : [(1069 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _48483))], (1071 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48481))]]], (1073 ^ _35317) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35317) ^ [_48604, _48606] : [iext(uri_rdfs_comment, _48606, _48604), 1078 ^ _35317 : [(1079 ^ _35317) ^ [] : [-(ir(_48606))], (1081 ^ _35317) ^ [] : [-(lv(_48604))]]], (1083 ^ _35317) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35317) ^ [_48723, _48725] : [iext(uri_owl_complementOf, _48725, _48723), 1088 ^ _35317 : [(1089 ^ _35317) ^ [] : [-(ic(_48725))], (1091 ^ _35317) ^ [] : [-(ic(_48723))]]], (1093 ^ _35317) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35317) ^ [_48842, _48844] : [iext(uri_owl_datatypeComplementOf, _48844, _48842), 1098 ^ _35317 : [(1099 ^ _35317) ^ [] : [-(idc(_48844))], (1101 ^ _35317) ^ [] : [-(idc(_48842))]]], (1103 ^ _35317) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35317) ^ [_48961, _48963] : [iext(uri_owl_deprecated, _48963, _48961), 1108 ^ _35317 : [(1109 ^ _35317) ^ [] : [-(ir(_48963))], (1111 ^ _35317) ^ [] : [-(ir(_48961))]]], (1113 ^ _35317) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35317) ^ [_49080, _49082] : [iext(uri_owl_differentFrom, _49082, _49080), 1118 ^ _35317 : [(1119 ^ _35317) ^ [] : [-(ir(_49082))], (1121 ^ _35317) ^ [] : [-(ir(_49080))]]], (1123 ^ _35317) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35317) ^ [_49199, _49201] : [iext(uri_owl_disjointUnionOf, _49201, _49199), 1128 ^ _35317 : [(1129 ^ _35317) ^ [] : [-(ic(_49201))], (1131 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _49199))]]], (1133 ^ _35317) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35317) ^ [_49320, _49322] : [iext(uri_owl_disjointWith, _49322, _49320), 1138 ^ _35317 : [(1139 ^ _35317) ^ [] : [-(ic(_49322))], (1141 ^ _35317) ^ [] : [-(ic(_49320))]]], (1143 ^ _35317) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35317) ^ [_49439, _49441] : [iext(uri_owl_distinctMembers, _49441, _49439), 1148 ^ _35317 : [(1149 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, _49441))], (1151 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _49439))]]], (1153 ^ _35317) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35317) ^ [_49562, _49564] : [iext(uri_owl_equivalentClass, _49564, _49562), 1158 ^ _35317 : [(1159 ^ _35317) ^ [] : [-(ic(_49564))], (1161 ^ _35317) ^ [] : [-(ic(_49562))]]], (1163 ^ _35317) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35317) ^ [_49681, _49683] : [iext(uri_owl_equivalentProperty, _49683, _49681), 1168 ^ _35317 : [(1169 ^ _35317) ^ [] : [-(ip(_49683))], (1171 ^ _35317) ^ [] : [-(ip(_49681))]]], (1173 ^ _35317) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35317) ^ [_49800, _49802] : [iext(uri_owl_hasKey, _49802, _49800), 1178 ^ _35317 : [(1179 ^ _35317) ^ [] : [-(ic(_49802))], (1181 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _49800))]]], (1183 ^ _35317) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35317) ^ [_49921, _49923] : [iext(uri_owl_hasSelf, _49923, _49921), 1188 ^ _35317 : [(1189 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _49923))], (1191 ^ _35317) ^ [] : [-(ir(_49921))]]], (1193 ^ _35317) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35317) ^ [_50042, _50044] : [iext(uri_owl_hasValue, _50044, _50042), 1198 ^ _35317 : [(1199 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _50044))], (1201 ^ _35317) ^ [] : [-(ir(_50042))]]], (1203 ^ _35317) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35317) ^ [_50163, _50165] : [iext(uri_owl_imports, _50165, _50163), 1208 ^ _35317 : [(1209 ^ _35317) ^ [] : [-(ix(_50165))], (1211 ^ _35317) ^ [] : [-(ix(_50163))]]], (1213 ^ _35317) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35317) ^ [_50282, _50284] : [iext(uri_owl_incompatibleWith, _50284, _50282), 1218 ^ _35317 : [(1219 ^ _35317) ^ [] : [-(ix(_50284))], (1221 ^ _35317) ^ [] : [-(ix(_50282))]]], (1223 ^ _35317) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35317) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35317) ^ [_50419, _50421] : [iext(uri_owl_intersectionOf, _50421, _50419), 1230 ^ _35317 : [(1231 ^ _35317) ^ [] : [-(ic(_50421))], (1233 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _50419))]]], (1235 ^ _35317) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35317) ^ [_50540, _50542] : [iext(uri_owl_inverseOf, _50542, _50540), 1240 ^ _35317 : [(1241 ^ _35317) ^ [] : [-(ip(_50542))], (1243 ^ _35317) ^ [] : [-(ip(_50540))]]], (1245 ^ _35317) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35317) ^ [_50659, _50661] : [iext(uri_rdfs_isDefinedBy, _50661, _50659), 1250 ^ _35317 : [(1251 ^ _35317) ^ [] : [-(ir(_50661))], (1253 ^ _35317) ^ [] : [-(ir(_50659))]]], (1255 ^ _35317) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35317) ^ [_50778, _50780] : [iext(uri_rdfs_label, _50780, _50778), 1260 ^ _35317 : [(1261 ^ _35317) ^ [] : [-(ir(_50780))], (1263 ^ _35317) ^ [] : [-(lv(_50778))]]], (1265 ^ _35317) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35317) ^ [_50897, _50899] : [iext(uri_owl_maxCardinality, _50899, _50897), 1270 ^ _35317 : [(1271 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _50899))], (1273 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50897))]]], (1275 ^ _35317) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35317) ^ [_51020, _51022] : [iext(uri_owl_maxQualifiedCardinality, _51022, _51020), 1280 ^ _35317 : [(1281 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51022))], (1283 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51020))]]], (1285 ^ _35317) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35317) ^ [_51143, _51145] : [iext(uri_owl_members, _51145, _51143), 1290 ^ _35317 : [(1291 ^ _35317) ^ [] : [-(ir(_51145))], (1293 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _51143))]]], (1295 ^ _35317) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35317) ^ [_51264, _51266] : [iext(uri_owl_minCardinality, _51266, _51264), 1300 ^ _35317 : [(1301 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51266))], (1303 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51264))]]], (1305 ^ _35317) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35317) ^ [_51387, _51389] : [iext(uri_owl_minQualifiedCardinality, _51389, _51387), 1310 ^ _35317 : [(1311 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51389))], (1313 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51387))]]], (1315 ^ _35317) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35317) ^ [_51510, _51512] : [iext(uri_owl_onClass, _51512, _51510), 1320 ^ _35317 : [(1321 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51512))], (1323 ^ _35317) ^ [] : [-(ic(_51510))]]], (1325 ^ _35317) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35317) ^ [_51631, _51633] : [iext(uri_owl_onDataRange, _51633, _51631), 1330 ^ _35317 : [(1331 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51633))], (1333 ^ _35317) ^ [] : [-(idc(_51631))]]], (1335 ^ _35317) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35317) ^ [_51752, _51754] : [iext(uri_owl_onDatatype, _51754, _51752), 1340 ^ _35317 : [(1341 ^ _35317) ^ [] : [-(idc(_51754))], (1343 ^ _35317) ^ [] : [-(idc(_51752))]]], (1345 ^ _35317) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35317) ^ [_51871, _51873] : [iext(uri_owl_oneOf, _51873, _51871), 1350 ^ _35317 : [(1351 ^ _35317) ^ [] : [-(ic(_51873))], (1353 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _51871))]]], (1355 ^ _35317) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35317) ^ [_51992, _51994] : [iext(uri_owl_onProperty, _51994, _51992), 1360 ^ _35317 : [(1361 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _51994))], (1363 ^ _35317) ^ [] : [-(ip(_51992))]]], (1365 ^ _35317) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35317) ^ [_52113, _52115] : [iext(uri_owl_priorVersion, _52115, _52113), 1370 ^ _35317 : [(1371 ^ _35317) ^ [] : [-(ix(_52115))], (1373 ^ _35317) ^ [] : [-(ix(_52113))]]], (1375 ^ _35317) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35317) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35317) ^ [_52250, _52252] : [iext(uri_owl_propertyChainAxiom, _52252, _52250), 1382 ^ _35317 : [(1383 ^ _35317) ^ [] : [-(ip(_52252))], (1385 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _52250))]]], (1387 ^ _35317) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35317) ^ [_52371, _52373] : [iext(uri_owl_propertyDisjointWith, _52373, _52371), 1392 ^ _35317 : [(1393 ^ _35317) ^ [] : [-(ip(_52373))], (1395 ^ _35317) ^ [] : [-(ip(_52371))]]], (1397 ^ _35317) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35317) ^ [_52490, _52492] : [iext(uri_owl_qualifiedCardinality, _52492, _52490), 1402 ^ _35317 : [(1403 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _52492))], (1405 ^ _35317) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52490))]]], (1407 ^ _35317) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35317) ^ [_52613, _52615] : [iext(uri_owl_sameAs, _52615, _52613), 1412 ^ _35317 : [(1413 ^ _35317) ^ [] : [-(ir(_52615))], (1415 ^ _35317) ^ [] : [-(ir(_52613))]]], (1417 ^ _35317) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35317) ^ [_52732, _52734] : [iext(uri_rdfs_seeAlso, _52734, _52732), 1422 ^ _35317 : [(1423 ^ _35317) ^ [] : [-(ir(_52734))], (1425 ^ _35317) ^ [] : [-(ir(_52732))]]], (1427 ^ _35317) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35317) ^ [_52851, _52853] : [iext(uri_owl_someValuesFrom, _52853, _52851), 1432 ^ _35317 : [(1433 ^ _35317) ^ [] : [-(icext(uri_owl_Restriction, _52853))], (1435 ^ _35317) ^ [] : [-(ic(_52851))]]], (1437 ^ _35317) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35317) ^ [_52972, _52974] : [iext(uri_owl_sourceIndividual, _52974, _52972), 1442 ^ _35317 : [(1443 ^ _35317) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _52974))], (1445 ^ _35317) ^ [] : [-(ir(_52972))]]], (1447 ^ _35317) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35317) ^ [_53093, _53095] : [iext(uri_owl_targetIndividual, _53095, _53093), 1452 ^ _35317 : [(1453 ^ _35317) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53095))], (1455 ^ _35317) ^ [] : [-(ir(_53093))]]], (1457 ^ _35317) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35317) ^ [_53214, _53216] : [iext(uri_owl_targetValue, _53216, _53214), 1462 ^ _35317 : [(1463 ^ _35317) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53216))], (1465 ^ _35317) ^ [] : [-(lv(_53214))]]], (1467 ^ _35317) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35317) ^ [_53350, _53352] : [iext(uri_owl_topDataProperty, _53352, _53350), 1472 ^ _35317 : [(1473 ^ _35317) ^ [] : [-(ir(_53352))], (1475 ^ _35317) ^ [] : [-(lv(_53350))]]], (1477 ^ _35317) ^ [_53447, _53449] : [-(iext(uri_owl_topDataProperty, _53449, _53447)), ir(_53449), lv(_53447)], (1487 ^ _35317) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35317) ^ [_53609, _53611] : [iext(uri_owl_topObjectProperty, _53611, _53609), 1492 ^ _35317 : [(1493 ^ _35317) ^ [] : [-(ir(_53611))], (1495 ^ _35317) ^ [] : [-(ir(_53609))]]], (1497 ^ _35317) ^ [_53706, _53708] : [-(iext(uri_owl_topObjectProperty, _53708, _53706)), ir(_53708), ir(_53706)], (1507 ^ _35317) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35317) ^ [_53853, _53855] : [iext(uri_owl_unionOf, _53855, _53853), 1512 ^ _35317 : [(1513 ^ _35317) ^ [] : [-(ic(_53855))], (1515 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _53853))]]], (1517 ^ _35317) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35317) ^ [_53974, _53976] : [iext(uri_owl_versionInfo, _53976, _53974), 1522 ^ _35317 : [(1523 ^ _35317) ^ [] : [-(ir(_53976))], (1525 ^ _35317) ^ [] : [-(ir(_53974))]]], (1527 ^ _35317) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35317) ^ [_54093, _54095] : [iext(uri_owl_versionIRI, _54095, _54093), 1532 ^ _35317 : [(1533 ^ _35317) ^ [] : [-(ix(_54095))], (1535 ^ _35317) ^ [] : [-(ix(_54093))]]], (1537 ^ _35317) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35317) ^ [_54212, _54214] : [iext(uri_owl_withRestrictions, _54214, _54212), 1542 ^ _35317 : [(1543 ^ _35317) ^ [] : [-(idc(_54214))], (1545 ^ _35317) ^ [] : [-(icext(uri_rdf_List, _54212))]]], (1547 ^ _35317) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35317) ^ [_54333, _54335] : [iext(uri_owl_complementOf, _54335, _54333), 1552 ^ _35317 : [(1553 ^ _35317) ^ [] : [-(ic(_54335))], (1555 ^ _35317) ^ [] : [-(ic(_54333))], (1557 ^ _35317) ^ [_54463] : [icext(_54335, _54463), icext(_54333, _54463)], (1563 ^ _35317) ^ [_54537] : [-(icext(_54333, _54537)), -(icext(_54335, _54537))]]], (1569 ^ _35317) ^ [_54581, _54583] : [iext(uri_owl_datatypeComplementOf, _54583, _54581), 1572 ^ _35317 : [(1573 ^ _35317) ^ [_54665] : [icext(_54583, _54665), 1576 ^ _35317 : [(1577 ^ _35317) ^ [] : [-(lv(_54665))], (1579 ^ _35317) ^ [] : [icext(_54581, _54665)]]], (1581 ^ _35317) ^ [_54772] : [-(icext(_54583, _54772)), lv(_54772), -(icext(_54581, _54772))]]], (1609 ^ _35317) ^ [_55174] : [-(iext(uri_owl_intersectionOf, _55174, uri_rdf_nil)), ic(_55174), 1617 ^ _35317 : [(1618 ^ _35317) ^ [] : [-(icext(_55174, 1614 ^ [_55174]))], (1620 ^ _35317) ^ [] : [ir(1614 ^ [_55174])]], 1621 ^ _35317 : [(1622 ^ _35317) ^ [] : [-(ir(1614 ^ [_55174]))], (1624 ^ _35317) ^ [] : [icext(_55174, 1614 ^ [_55174])]]], (1591 ^ _35317) ^ [_54924] : [iext(uri_owl_intersectionOf, _54924, uri_rdf_nil), 1594 ^ _35317 : [(1595 ^ _35317) ^ [] : [-(ic(_54924))], (1597 ^ _35317) ^ [_55024] : [icext(_54924, _55024), -(ir(_55024))], (1603 ^ _35317) ^ [_55095] : [ir(_55095), -(icext(_54924, _55095))]]], (1628 ^ _35317) ^ [_55444, _55446, _55448] : [iext(uri_rdf_first, _55446, _55444), iext(uri_rdf_rest, _55446, uri_rdf_nil), 1635 ^ _35317 : [(1636 ^ _35317) ^ [] : [iext(uri_owl_intersectionOf, _55448, _55446), 1639 ^ _35317 : [(1640 ^ _35317) ^ [] : [-(ic(_55448))], (1642 ^ _35317) ^ [] : [-(ic(_55444))], (1644 ^ _35317) ^ [_55693] : [icext(_55448, _55693), -(icext(_55444, _55693))], (1650 ^ _35317) ^ [_55770] : [icext(_55444, _55770), -(icext(_55448, _55770))]]], (1656 ^ _35317) ^ [] : [-(iext(uri_owl_intersectionOf, _55448, _55446)), ic(_55448), ic(_55444), 1668 ^ _35317 : [(1669 ^ _35317) ^ [] : [-(icext(_55448, 1665 ^ [_55444, _55446, _55448]))], (1671 ^ _35317) ^ [] : [icext(_55444, 1665 ^ [_55444, _55446, _55448])]], 1672 ^ _35317 : [(1673 ^ _35317) ^ [] : [-(icext(_55444, 1665 ^ [_55444, _55446, _55448]))], (1675 ^ _35317) ^ [] : [icext(_55448, 1665 ^ [_55444, _55446, _55448])]]]]], (1679 ^ _35317) ^ [_56191, _56193, _56195, _56197, _56199] : [iext(uri_rdf_first, _56197, _56195), iext(uri_rdf_rest, _56197, _56193), iext(uri_rdf_first, _56193, _56191), iext(uri_rdf_rest, _56193, uri_rdf_nil), 1694 ^ _35317 : [(1695 ^ _35317) ^ [] : [iext(uri_owl_intersectionOf, _56199, _56197), 1698 ^ _35317 : [(1699 ^ _35317) ^ [] : [-(ic(_56199))], (1701 ^ _35317) ^ [] : [-(ic(_56195))], (1703 ^ _35317) ^ [] : [-(ic(_56191))], (1705 ^ _35317) ^ [_56603] : [icext(_56199, _56603), 1708 ^ _35317 : [(1709 ^ _35317) ^ [] : [-(icext(_56195, _56603))], (1711 ^ _35317) ^ [] : [-(icext(_56191, _56603))]]], (1713 ^ _35317) ^ [_56710] : [-(icext(_56199, _56710)), icext(_56195, _56710), icext(_56191, _56710)]]], (1723 ^ _35317) ^ [] : [-(iext(uri_owl_intersectionOf, _56199, _56197)), ic(_56199), ic(_56195), ic(_56191), 1747 ^ _35317 : [(1748 ^ _35317) ^ [] : [-(icext(_56195, 1736 ^ [_56191, _56193, _56195, _56197, _56199]))], (1750 ^ _35317) ^ [] : [-(icext(_56191, 1736 ^ [_56191, _56193, _56195, _56197, _56199]))], (1752 ^ _35317) ^ [] : [icext(_56199, 1736 ^ [_56191, _56193, _56195, _56197, _56199])]], 1739 ^ _35317 : [(1740 ^ _35317) ^ [] : [-(icext(_56199, 1736 ^ [_56191, _56193, _56195, _56197, _56199]))], (1742 ^ _35317) ^ [] : [icext(_56195, 1736 ^ [_56191, _56193, _56195, _56197, _56199]), icext(_56191, 1736 ^ [_56191, _56193, _56195, _56197, _56199])]]]]], (1756 ^ _35317) ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402] : [iext(uri_rdf_first, _57400, _57398), iext(uri_rdf_rest, _57400, _57396), iext(uri_rdf_first, _57396, _57394), iext(uri_rdf_rest, _57396, _57392), iext(uri_rdf_first, _57392, _57390), iext(uri_rdf_rest, _57392, uri_rdf_nil), 1779 ^ _35317 : [(1780 ^ _35317) ^ [] : [iext(uri_owl_intersectionOf, _57402, _57400), 1783 ^ _35317 : [(1784 ^ _35317) ^ [] : [-(ic(_57402))], (1786 ^ _35317) ^ [] : [-(ic(_57398))], (1788 ^ _35317) ^ [] : [-(ic(_57394))], (1790 ^ _35317) ^ [] : [-(ic(_57390))], (1792 ^ _35317) ^ [_57981] : [icext(_57402, _57981), 1795 ^ _35317 : [(1796 ^ _35317) ^ [] : [-(icext(_57398, _57981))], (1798 ^ _35317) ^ [] : [-(icext(_57394, _57981))], (1800 ^ _35317) ^ [] : [-(icext(_57390, _57981))]]], (1802 ^ _35317) ^ [_58116] : [-(icext(_57402, _58116)), icext(_57398, _58116), icext(_57394, _58116), icext(_57390, _58116)]]], (1816 ^ _35317) ^ [] : [-(iext(uri_owl_intersectionOf, _57402, _57400)), ic(_57402), ic(_57398), ic(_57394), ic(_57390), 1848 ^ _35317 : [(1849 ^ _35317) ^ [] : [-(icext(_57398, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]))], (1851 ^ _35317) ^ [] : [-(icext(_57394, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]))], (1853 ^ _35317) ^ [] : [-(icext(_57390, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]))], (1855 ^ _35317) ^ [] : [icext(_57402, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402])]], 1836 ^ _35317 : [(1837 ^ _35317) ^ [] : [-(icext(_57402, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]))], (1839 ^ _35317) ^ [] : [icext(_57398, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]), icext(_57394, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402]), icext(_57390, 1833 ^ [_57390, _57392, _57394, _57396, _57398, _57400, _57402])]]]]], (1859 ^ _35317) ^ [_59097, _59099, _59101] : [-(idc(_59101)), iext(uri_rdf_first, _59099, _59097), iext(uri_rdf_rest, _59099, uri_rdf_nil), idc(_59097), iext(uri_owl_intersectionOf, _59101, _59099)], (1877 ^ _35317) ^ [_59340, _59342, _59344, _59346, _59348] : [-(idc(_59348)), iext(uri_rdf_first, _59346, _59344), iext(uri_rdf_rest, _59346, _59342), iext(uri_rdf_first, _59342, _59340), iext(uri_rdf_rest, _59342, uri_rdf_nil), idc(_59344), idc(_59340), iext(uri_owl_intersectionOf, _59348, _59346)], (1907 ^ _35317) ^ [_59775, _59777, _59779, _59781, _59783, _59785, _59787] : [-(idc(_59787)), iext(uri_rdf_first, _59785, _59783), iext(uri_rdf_rest, _59785, _59781), iext(uri_rdf_first, _59781, _59779), iext(uri_rdf_rest, _59781, _59777), iext(uri_rdf_first, _59777, _59775), iext(uri_rdf_rest, _59777, uri_rdf_nil), idc(_59783), idc(_59779), idc(_59775), iext(uri_owl_intersectionOf, _59787, _59785)], (1949 ^ _35317) ^ [_60438] : [iext(uri_owl_unionOf, _60438, uri_rdf_nil), 1952 ^ _35317 : [(1953 ^ _35317) ^ [] : [-(ic(_60438))], (1955 ^ _35317) ^ [_60528] : [icext(_60438, _60528)]]], (1957 ^ _35317) ^ [_60553] : [-(iext(uri_owl_unionOf, _60553, uri_rdf_nil)), ic(_60553), -(icext(_60553, 1962 ^ [_60553]))], (1968 ^ _35317) ^ [_60693, _60695, _60697] : [iext(uri_rdf_first, _60695, _60693), iext(uri_rdf_rest, _60695, uri_rdf_nil), 1975 ^ _35317 : [(1976 ^ _35317) ^ [] : [iext(uri_owl_unionOf, _60697, _60695), 1979 ^ _35317 : [(1980 ^ _35317) ^ [] : [-(ic(_60697))], (1982 ^ _35317) ^ [] : [-(ic(_60693))], (1984 ^ _35317) ^ [_60942] : [icext(_60697, _60942), -(icext(_60693, _60942))], (1990 ^ _35317) ^ [_61019] : [icext(_60693, _61019), -(icext(_60697, _61019))]]], (1996 ^ _35317) ^ [] : [-(iext(uri_owl_unionOf, _60697, _60695)), ic(_60697), ic(_60693), 2008 ^ _35317 : [(2009 ^ _35317) ^ [] : [-(icext(_60697, 2005 ^ [_60693, _60695, _60697]))], (2011 ^ _35317) ^ [] : [icext(_60693, 2005 ^ [_60693, _60695, _60697])]], 2012 ^ _35317 : [(2013 ^ _35317) ^ [] : [-(icext(_60693, 2005 ^ [_60693, _60695, _60697]))], (2015 ^ _35317) ^ [] : [icext(_60697, 2005 ^ [_60693, _60695, _60697])]]]]], (2019 ^ _35317) ^ [_61440, _61442, _61444, _61446, _61448] : [iext(uri_rdf_first, _61446, _61444), iext(uri_rdf_rest, _61446, _61442), iext(uri_rdf_first, _61442, _61440), iext(uri_rdf_rest, _61442, uri_rdf_nil), 2034 ^ _35317 : [(2035 ^ _35317) ^ [] : [iext(uri_owl_unionOf, _61448, _61446), 2038 ^ _35317 : [(2039 ^ _35317) ^ [] : [-(ic(_61448))], (2041 ^ _35317) ^ [] : [-(ic(_61444))], (2043 ^ _35317) ^ [] : [-(ic(_61440))], (2055 ^ _35317) ^ [_61946] : [2056 ^ _35317 : [(2057 ^ _35317) ^ [] : [icext(_61444, _61946)], (2059 ^ _35317) ^ [] : [icext(_61440, _61946)]], -(icext(_61448, _61946))], (2045 ^ _35317) ^ [_61852] : [icext(_61448, _61852), -(icext(_61444, _61852)), -(icext(_61440, _61852))]]], (2063 ^ _35317) ^ [] : [-(iext(uri_owl_unionOf, _61448, _61446)), ic(_61448), ic(_61444), ic(_61440), 2079 ^ _35317 : [(2080 ^ _35317) ^ [] : [-(icext(_61448, 2076 ^ [_61440, _61442, _61444, _61446, _61448]))], (2082 ^ _35317) ^ [] : [icext(_61444, 2076 ^ [_61440, _61442, _61444, _61446, _61448])], (2084 ^ _35317) ^ [] : [icext(_61440, 2076 ^ [_61440, _61442, _61444, _61446, _61448])]], 2085 ^ _35317 : [(2092 ^ _35317) ^ [] : [icext(_61448, 2076 ^ [_61440, _61442, _61444, _61446, _61448])], (2086 ^ _35317) ^ [] : [-(icext(_61444, 2076 ^ [_61440, _61442, _61444, _61446, _61448])), -(icext(_61440, 2076 ^ [_61440, _61442, _61444, _61446, _61448]))]]]]], (2096 ^ _35317) ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580] : [iext(uri_rdf_first, _62578, _62576), iext(uri_rdf_rest, _62578, _62574), iext(uri_rdf_first, _62574, _62572), iext(uri_rdf_rest, _62574, _62570), iext(uri_rdf_first, _62570, _62568), iext(uri_rdf_rest, _62570, uri_rdf_nil), 2119 ^ _35317 : [(2120 ^ _35317) ^ [] : [iext(uri_owl_unionOf, _62580, _62578), 2123 ^ _35317 : [(2124 ^ _35317) ^ [] : [-(ic(_62580))], (2126 ^ _35317) ^ [] : [-(ic(_62576))], (2128 ^ _35317) ^ [] : [-(ic(_62572))], (2130 ^ _35317) ^ [] : [-(ic(_62568))], (2146 ^ _35317) ^ [_63270] : [2147 ^ _35317 : [(2148 ^ _35317) ^ [] : [icext(_62576, _63270)], (2150 ^ _35317) ^ [] : [icext(_62572, _63270)], (2152 ^ _35317) ^ [] : [icext(_62568, _63270)]], -(icext(_62580, _63270))], (2132 ^ _35317) ^ [_63159] : [icext(_62580, _63159), -(icext(_62576, _63159)), -(icext(_62572, _63159)), -(icext(_62568, _63159))]]], (2156 ^ _35317) ^ [] : [-(iext(uri_owl_unionOf, _62580, _62578)), ic(_62580), ic(_62576), ic(_62572), ic(_62568), 2176 ^ _35317 : [(2177 ^ _35317) ^ [] : [-(icext(_62580, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580]))], (2179 ^ _35317) ^ [] : [icext(_62576, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])], (2181 ^ _35317) ^ [] : [icext(_62572, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])], (2183 ^ _35317) ^ [] : [icext(_62568, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])]], 2184 ^ _35317 : [(2195 ^ _35317) ^ [] : [icext(_62580, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])], (2185 ^ _35317) ^ [] : [-(icext(_62576, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])), -(icext(_62572, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580])), -(icext(_62568, 2173 ^ [_62568, _62570, _62572, _62574, _62576, _62578, _62580]))]]]]], (2199 ^ _35317) ^ [_64116, _64118, _64120] : [-(idc(_64120)), iext(uri_rdf_first, _64118, _64116), iext(uri_rdf_rest, _64118, uri_rdf_nil), idc(_64116), iext(uri_owl_unionOf, _64120, _64118)], (2217 ^ _35317) ^ [_64359, _64361, _64363, _64365, _64367] : [-(idc(_64367)), iext(uri_rdf_first, _64365, _64363), iext(uri_rdf_rest, _64365, _64361), iext(uri_rdf_first, _64361, _64359), iext(uri_rdf_rest, _64361, uri_rdf_nil), idc(_64363), idc(_64359), iext(uri_owl_unionOf, _64367, _64365)], (2247 ^ _35317) ^ [_64794, _64796, _64798, _64800, _64802, _64804, _64806] : [-(idc(_64806)), iext(uri_rdf_first, _64804, _64802), iext(uri_rdf_rest, _64804, _64800), iext(uri_rdf_first, _64800, _64798), iext(uri_rdf_rest, _64800, _64796), iext(uri_rdf_first, _64796, _64794), iext(uri_rdf_rest, _64796, uri_rdf_nil), idc(_64802), idc(_64798), idc(_64794), iext(uri_owl_unionOf, _64806, _64804)], (2289 ^ _35317) ^ [_65457] : [iext(uri_owl_oneOf, _65457, uri_rdf_nil), 2292 ^ _35317 : [(2293 ^ _35317) ^ [] : [-(ic(_65457))], (2295 ^ _35317) ^ [_65547] : [icext(_65457, _65547)]]], (2297 ^ _35317) ^ [_65572] : [-(iext(uri_owl_oneOf, _65572, uri_rdf_nil)), ic(_65572), -(icext(_65572, 2302 ^ [_65572]))], (2308 ^ _35317) ^ [_65712, _65714, _65716] : [iext(uri_rdf_first, _65714, _65712), iext(uri_rdf_rest, _65714, uri_rdf_nil), 2315 ^ _35317 : [(2334 ^ _35317) ^ [] : [-(iext(uri_owl_oneOf, _65716, _65714)), ic(_65716), 2342 ^ _35317 : [(2343 ^ _35317) ^ [] : [-(icext(_65716, 2339 ^ [_65712, _65714, _65716]))], (2345 ^ _35317) ^ [] : [2339 ^ [_65712, _65714, _65716] = _65712]], 2346 ^ _35317 : [(2347 ^ _35317) ^ [] : [-(2339 ^ [_65712, _65714, _65716] = _65712)], (2349 ^ _35317) ^ [] : [icext(_65716, 2339 ^ [_65712, _65714, _65716])]]], (2316 ^ _35317) ^ [] : [iext(uri_owl_oneOf, _65716, _65714), 2319 ^ _35317 : [(2320 ^ _35317) ^ [] : [-(ic(_65716))], (2322 ^ _35317) ^ [_65936] : [icext(_65716, _65936), -(_65936 = _65712)], (2328 ^ _35317) ^ [_66013] : [_66013 = _65712, -(icext(_65716, _66013))]]]]], (2353 ^ _35317) ^ [_66385, _66387, _66389, _66391, _66393] : [iext(uri_rdf_first, _66391, _66389), iext(uri_rdf_rest, _66391, _66387), iext(uri_rdf_first, _66387, _66385), iext(uri_rdf_rest, _66387, uri_rdf_nil), 2368 ^ _35317 : [(2393 ^ _35317) ^ [] : [-(iext(uri_owl_oneOf, _66393, _66391)), ic(_66393), 2401 ^ _35317 : [(2402 ^ _35317) ^ [] : [-(icext(_66393, 2398 ^ [_66385, _66387, _66389, _66391, _66393]))], (2404 ^ _35317) ^ [] : [2398 ^ [_66385, _66387, _66389, _66391, _66393] = _66389], (2406 ^ _35317) ^ [] : [2398 ^ [_66385, _66387, _66389, _66391, _66393] = _66385]], 2407 ^ _35317 : [(2414 ^ _35317) ^ [] : [icext(_66393, 2398 ^ [_66385, _66387, _66389, _66391, _66393])], (2408 ^ _35317) ^ [] : [-(2398 ^ [_66385, _66387, _66389, _66391, _66393] = _66389), -(2398 ^ [_66385, _66387, _66389, _66391, _66393] = _66385)]]], (2369 ^ _35317) ^ [] : [iext(uri_owl_oneOf, _66393, _66391), 2372 ^ _35317 : [(2373 ^ _35317) ^ [] : [-(ic(_66393))], (2385 ^ _35317) ^ [_66841] : [2386 ^ _35317 : [(2387 ^ _35317) ^ [] : [_66841 = _66389], (2389 ^ _35317) ^ [] : [_66841 = _66385]], -(icext(_66393, _66841))], (2375 ^ _35317) ^ [_66747] : [icext(_66393, _66747), -(_66747 = _66389), -(_66747 = _66385)]]]]], (2418 ^ _35317) ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] : [iext(uri_rdf_first, _67367, _67365), iext(uri_rdf_rest, _67367, _67363), iext(uri_rdf_first, _67363, _67361), iext(uri_rdf_rest, _67363, _67359), iext(uri_rdf_first, _67359, _67357), iext(uri_rdf_rest, _67359, uri_rdf_nil), 2441 ^ _35317 : [(2472 ^ _35317) ^ [] : [-(iext(uri_owl_oneOf, _67369, _67367)), ic(_67369), 2480 ^ _35317 : [(2481 ^ _35317) ^ [] : [-(icext(_67369, 2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369]))], (2483 ^ _35317) ^ [] : [2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67365], (2485 ^ _35317) ^ [] : [2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67361], (2487 ^ _35317) ^ [] : [2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67357]], 2488 ^ _35317 : [(2499 ^ _35317) ^ [] : [icext(_67369, 2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369])], (2489 ^ _35317) ^ [] : [-(2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67365), -(2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67361), -(2477 ^ [_67357, _67359, _67361, _67363, _67365, _67367, _67369] = _67357)]]], (2442 ^ _35317) ^ [] : [iext(uri_owl_oneOf, _67369, _67367), 2445 ^ _35317 : [(2446 ^ _35317) ^ [] : [-(ic(_67369))], (2462 ^ _35317) ^ [_67984] : [2463 ^ _35317 : [(2464 ^ _35317) ^ [] : [_67984 = _67365], (2466 ^ _35317) ^ [] : [_67984 = _67361], (2468 ^ _35317) ^ [] : [_67984 = _67357]], -(icext(_67369, _67984))], (2448 ^ _35317) ^ [_67873] : [icext(_67369, _67873), -(_67873 = _67365), -(_67873 = _67361), -(_67873 = _67357)]]]]], (2503 ^ _35317) ^ [_68659, _68661, _68663] : [-(idc(_68663)), iext(uri_rdf_first, _68661, _68659), iext(uri_rdf_rest, _68661, uri_rdf_nil), lv(_68659), iext(uri_owl_oneOf, _68663, _68661)], (2521 ^ _35317) ^ [_68902, _68904, _68906, _68908, _68910] : [-(idc(_68910)), iext(uri_rdf_first, _68908, _68906), iext(uri_rdf_rest, _68908, _68904), iext(uri_rdf_first, _68904, _68902), iext(uri_rdf_rest, _68904, uri_rdf_nil), lv(_68906), lv(_68902), iext(uri_owl_oneOf, _68910, _68908)], (2551 ^ _35317) ^ [_69337, _69339, _69341, _69343, _69345, _69347, _69349] : [-(idc(_69349)), iext(uri_rdf_first, _69347, _69345), iext(uri_rdf_rest, _69347, _69343), iext(uri_rdf_first, _69343, _69341), iext(uri_rdf_rest, _69343, _69339), iext(uri_rdf_first, _69339, _69337), iext(uri_rdf_rest, _69339, uri_rdf_nil), lv(_69345), lv(_69341), lv(_69337), iext(uri_owl_oneOf, _69349, _69347)], (2593 ^ _35317) ^ [_69988, _69990, _69992] : [iext(uri_owl_allValuesFrom, _69992, _69988), iext(uri_owl_onProperty, _69992, _69990), 2600 ^ _35317 : [(2611 ^ _35317) ^ [_70288] : [2613 ^ _35317 : [(2614 ^ _35317) ^ [] : [-(iext(_69990, _70288, 2612 ^ [_69988, _69990, _69992, _70288]))], (2616 ^ _35317) ^ [] : [icext(_69988, 2612 ^ [_69988, _69990, _69992, _70288])]], -(icext(_69992, _70288))], (2601 ^ _35317) ^ [_70135] : [icext(_69992, _70135), 2604 ^ _35317 : [(2605 ^ _35317) ^ [_70203] : [iext(_69990, _70135, _70203), -(icext(_69988, _70203))]]]]], (2620 ^ _35317) ^ [_70454, _70456] : [iext(uri_owl_cardinality, _70456, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70456, _70454), 2627 ^ _35317 : [(2628 ^ _35317) ^ [_70593] : [icext(_70456, _70593), 2631 ^ _35317 : [(2632 ^ _35317) ^ [_70660] : [iext(_70454, _70593, _70660)]]], (2634 ^ _35317) ^ [_70682] : [-(iext(_70454, _70682, 2635 ^ [_70454, _70456, _70682])), -(icext(_70456, _70682))]]], (2641 ^ _35317) ^ [_70734, _70736] : [iext(uri_owl_cardinality, _70736, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70736, _70734), 2648 ^ _35317 : [(2666 ^ _35317) ^ [_71169] : [-(icext(_70736, _71169)), 2669 ^ _35317 : [(2670 ^ _35317) ^ [_71264] : [iext(_70734, _71169, _71264)]], 2673 ^ _35317 : [(2674 ^ _35317) ^ [] : [-(iext(_70734, _71169, 2671 ^ [_70734, _70736, _71169]))], (2676 ^ _35317) ^ [] : [-(iext(_70734, _71169, 2672 ^ [_70734, _70736, _71169]))], (2678 ^ _35317) ^ [] : [2672 ^ [_70734, _70736, _71169] = 2671 ^ [_70734, _70736, _71169]]]], (2649 ^ _35317) ^ [_70901] : [icext(_70736, _70901), 2653 ^ _35317 : [(2654 ^ _35317) ^ [] : [-(iext(_70734, _70901, 2652 ^ [_70734, _70736, _70901]))], (2656 ^ _35317) ^ [_71022, _71024] : [-(_71022 = _71024), iext(_70734, _70901, _71024), iext(_70734, _70901, _71022)]]]]], (2682 ^ _35317) ^ [_71459, _71461] : [iext(uri_owl_cardinality, _71461, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _71461, _71459), 2689 ^ _35317 : [(2720 ^ _35317) ^ [_72165] : [-(icext(_71461, _72165)), 2736 ^ _35317 : [(2737 ^ _35317) ^ [] : [-(iext(_71459, _72165, 2733 ^ [_71459, _71461, _72165]))], (2739 ^ _35317) ^ [] : [-(iext(_71459, _72165, 2734 ^ [_71459, _71461, _72165]))], (2741 ^ _35317) ^ [] : [-(iext(_71459, _72165, 2735 ^ [_71459, _71461, _72165]))], (2743 ^ _35317) ^ [] : [2735 ^ [_71459, _71461, _72165] = 2733 ^ [_71459, _71461, _72165]], (2745 ^ _35317) ^ [] : [2735 ^ [_71459, _71461, _72165] = 2734 ^ [_71459, _71461, _72165]]], 2723 ^ _35317 : [(2724 ^ _35317) ^ [_72293, _72295] : [iext(_71459, _72165, _72295), iext(_71459, _72165, _72293), -(_72295 = _72293)]]], (2690 ^ _35317) ^ [_71664] : [icext(_71461, _71664), 2695 ^ _35317 : [(2696 ^ _35317) ^ [] : [-(iext(_71459, _71664, 2693 ^ [_71459, _71461, _71664]))], (2698 ^ _35317) ^ [] : [-(iext(_71459, _71664, 2694 ^ [_71459, _71461, _71664]))], (2700 ^ _35317) ^ [] : [2693 ^ [_71459, _71461, _71664] = 2694 ^ [_71459, _71461, _71664]], (2702 ^ _35317) ^ [_71933, _71935, _71937] : [-(_71933 = _71937), -(_71933 = _71935), iext(_71459, _71664, _71937), iext(_71459, _71664, _71935), iext(_71459, _71664, _71933)]]]]], (2749 ^ _35317) ^ [_72862, _72864] : [iext(uri_owl_cardinality, _72864, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72864, _72862), 2756 ^ _35317 : [(2757 ^ _35317) ^ [_73241] : [icext(_72864, _73241), 2763 ^ _35317 : [(2764 ^ _35317) ^ [] : [-(iext(_72862, _73241, 2760 ^ [_72862, _72864, _73241]))], (2766 ^ _35317) ^ [] : [-(iext(_72862, _73241, 2761 ^ [_72862, _72864, _73241]))], (2768 ^ _35317) ^ [] : [-(iext(_72862, _73241, 2762 ^ [_72862, _72864, _73241]))], (2770 ^ _35317) ^ [] : [2760 ^ [_72862, _72864, _73241] = 2761 ^ [_72862, _72864, _73241]], (2772 ^ _35317) ^ [] : [2760 ^ [_72862, _72864, _73241] = 2762 ^ [_72862, _72864, _73241]], (2774 ^ _35317) ^ [] : [2761 ^ [_72862, _72864, _73241] = 2762 ^ [_72862, _72864, _73241]], (2776 ^ _35317) ^ [_74396, _74398, _74400, _74402] : [-(_74396 = _74402), -(_74396 = _74400), -(_74396 = _74398), iext(_72862, _73241, _74402), iext(_72862, _73241, _74400), iext(_72862, _73241, _74398), iext(_72862, _73241, _74396)]]], (2802 ^ _35317) ^ [_75170] : [-(icext(_72864, _75170)), 2831 ^ _35317 : [(2832 ^ _35317) ^ [] : [-(iext(_72862, _75170, 2827 ^ [_72862, _72864, _75170]))], (2834 ^ _35317) ^ [] : [-(iext(_72862, _75170, 2828 ^ [_72862, _72864, _75170]))], (2836 ^ _35317) ^ [] : [-(iext(_72862, _75170, 2829 ^ [_72862, _72864, _75170]))], (2838 ^ _35317) ^ [] : [-(iext(_72862, _75170, 2830 ^ [_72862, _72864, _75170]))], (2840 ^ _35317) ^ [] : [2830 ^ [_72862, _72864, _75170] = 2827 ^ [_72862, _72864, _75170]], (2842 ^ _35317) ^ [] : [2830 ^ [_72862, _72864, _75170] = 2828 ^ [_72862, _72864, _75170]], (2844 ^ _35317) ^ [] : [2830 ^ [_72862, _72864, _75170] = 2829 ^ [_72862, _72864, _75170]]], 2805 ^ _35317 : [(2806 ^ _35317) ^ [_75441, _75443, _75445] : [iext(_72862, _75170, _75445), iext(_72862, _75170, _75443), iext(_72862, _75170, _75441), -(_75445 = _75443), -(_75445 = _75441), -(_75443 = _75441)]]]]], (2848 ^ _35317) ^ [_77255, _77257, _77259] : [iext(uri_owl_qualifiedCardinality, _77259, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _77259, _77257), iext(uri_owl_onDataRange, _77259, _77255), 2859 ^ _35317 : [(2860 ^ _35317) ^ [] : [-(iodp(_77257))], (2876 ^ _35317) ^ [_78160] : [2878 ^ _35317 : [(2879 ^ _35317) ^ [] : [-(lv(2877 ^ [_77255, _77257, _77259, _78160]))], (2881 ^ _35317) ^ [] : [-(iext(_77257, _78160, 2877 ^ [_77255, _77257, _77259, _78160]))], (2883 ^ _35317) ^ [] : [-(icext(_77255, 2877 ^ [_77255, _77257, _77259, _78160]))]], -(icext(_77259, _78160))], (2862 ^ _35317) ^ [_77708] : [icext(_77259, _77708), 2865 ^ _35317 : [(2866 ^ _35317) ^ [_77867] : [lv(_77867), iext(_77257, _77708, _77867), icext(_77255, _77867)]]]]], (2887 ^ _35317) ^ [_78678, _78680, _78682] : [iext(uri_owl_qualifiedCardinality, _78682, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _78682, _78680), iext(uri_owl_onDataRange, _78682, _78678), 2898 ^ _35317 : [(2899 ^ _35317) ^ [] : [-(iodp(_78680))], (2938 ^ _35317) ^ [_80446] : [-(icext(_78682, _80446)), 2953 ^ _35317 : [(2954 ^ _35317) ^ [] : [-(lv(2951 ^ [_78678, _78680, _78682, _80446]))], (2956 ^ _35317) ^ [] : [-(iext(_78680, _80446, 2951 ^ [_78678, _78680, _78682, _80446]))], (2958 ^ _35317) ^ [] : [-(icext(_78678, 2951 ^ [_78678, _78680, _78682, _80446]))], (2960 ^ _35317) ^ [] : [-(lv(2952 ^ [_78678, _78680, _78682, _80446]))], (2962 ^ _35317) ^ [] : [-(iext(_78680, _80446, 2952 ^ [_78678, _78680, _78682, _80446]))], (2964 ^ _35317) ^ [] : [-(icext(_78678, 2952 ^ [_78678, _78680, _78682, _80446]))], (2966 ^ _35317) ^ [] : [2952 ^ [_78678, _78680, _78682, _80446] = 2951 ^ [_78678, _78680, _78682, _80446]]], 2941 ^ _35317 : [(2942 ^ _35317) ^ [_80644] : [lv(_80644), iext(_78680, _80446, _80644), icext(_78678, _80644)]]], (2901 ^ _35317) ^ [_79181] : [icext(_78682, _79181), 2905 ^ _35317 : [(2906 ^ _35317) ^ [] : [-(lv(2904 ^ [_78678, _78680, _78682, _79181]))], (2908 ^ _35317) ^ [] : [-(iext(_78680, _79181, 2904 ^ [_78678, _78680, _78682, _79181]))], (2910 ^ _35317) ^ [] : [-(icext(_78678, 2904 ^ [_78678, _78680, _78682, _79181]))], (2912 ^ _35317) ^ [_79716, _79718] : [-(_79716 = _79718), lv(_79718), iext(_78680, _79181, _79718), icext(_78678, _79718), lv(_79716), iext(_78680, _79181, _79716), icext(_78678, _79716)]]]]], (2970 ^ _35317) ^ [_81873, _81875, _81877] : [iext(uri_owl_qualifiedCardinality, _81877, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _81877, _81875), iext(uri_owl_onDataRange, _81877, _81873), 2981 ^ _35317 : [(2982 ^ _35317) ^ [] : [-(iodp(_81875))], (3046 ^ _35317) ^ [_84756] : [-(icext(_81877, _84756)), 3078 ^ _35317 : [(3079 ^ _35317) ^ [] : [-(lv(3075 ^ [_81873, _81875, _81877, _84756]))], (3081 ^ _35317) ^ [] : [-(iext(_81875, _84756, 3075 ^ [_81873, _81875, _81877, _84756]))], (3083 ^ _35317) ^ [] : [-(icext(_81873, 3075 ^ [_81873, _81875, _81877, _84756]))], (3085 ^ _35317) ^ [] : [-(lv(3076 ^ [_81873, _81875, _81877, _84756]))], (3087 ^ _35317) ^ [] : [-(iext(_81875, _84756, 3076 ^ [_81873, _81875, _81877, _84756]))], (3089 ^ _35317) ^ [] : [-(icext(_81873, 3076 ^ [_81873, _81875, _81877, _84756]))], (3091 ^ _35317) ^ [] : [-(lv(3077 ^ [_81873, _81875, _81877, _84756]))], (3093 ^ _35317) ^ [] : [-(iext(_81875, _84756, 3077 ^ [_81873, _81875, _81877, _84756]))], (3095 ^ _35317) ^ [] : [-(icext(_81873, 3077 ^ [_81873, _81875, _81877, _84756]))], (3097 ^ _35317) ^ [] : [3077 ^ [_81873, _81875, _81877, _84756] = 3075 ^ [_81873, _81875, _81877, _84756]], (3099 ^ _35317) ^ [] : [3077 ^ [_81873, _81875, _81877, _84756] = 3076 ^ [_81873, _81875, _81877, _84756]]], 3049 ^ _35317 : [(3050 ^ _35317) ^ [_85028, _85030] : [lv(_85030), iext(_81875, _84756, _85030), icext(_81873, _85030), lv(_85028), iext(_81875, _84756, _85028), icext(_81873, _85028), -(_85030 = _85028)]]], (2984 ^ _35317) ^ [_82436] : [icext(_81877, _82436), 2989 ^ _35317 : [(2990 ^ _35317) ^ [] : [-(lv(2987 ^ [_81873, _81875, _81877, _82436]))], (2992 ^ _35317) ^ [] : [-(iext(_81875, _82436, 2987 ^ [_81873, _81875, _81877, _82436]))], (2994 ^ _35317) ^ [] : [-(icext(_81873, 2987 ^ [_81873, _81875, _81877, _82436]))], (2996 ^ _35317) ^ [] : [-(lv(2988 ^ [_81873, _81875, _81877, _82436]))], (2998 ^ _35317) ^ [] : [-(iext(_81875, _82436, 2988 ^ [_81873, _81875, _81877, _82436]))], (3000 ^ _35317) ^ [] : [-(icext(_81873, 2988 ^ [_81873, _81875, _81877, _82436]))], (3002 ^ _35317) ^ [] : [2987 ^ [_81873, _81875, _81877, _82436] = 2988 ^ [_81873, _81875, _81877, _82436]], (3004 ^ _35317) ^ [_83553, _83555, _83557] : [-(_83553 = _83557), -(_83553 = _83555), lv(_83557), iext(_81875, _82436, _83557), icext(_81873, _83557), lv(_83555), iext(_81875, _82436, _83555), icext(_81873, _83555), lv(_83553), iext(_81875, _82436, _83553), icext(_81873, _83553)]]]]], (3103 ^ _35317) ^ [_87297, _87299, _87301] : [iext(uri_owl_qualifiedCardinality, _87301, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _87301, _87299), iext(uri_owl_onDataRange, _87301, _87297), 3114 ^ _35317 : [(3115 ^ _35317) ^ [] : [-(iodp(_87299))], (3206 ^ _35317) ^ [_91596] : [-(icext(_87301, _91596)), 3259 ^ _35317 : [(3260 ^ _35317) ^ [] : [-(lv(3255 ^ [_87297, _87299, _87301, _91596]))], (3262 ^ _35317) ^ [] : [-(iext(_87299, _91596, 3255 ^ [_87297, _87299, _87301, _91596]))], (3264 ^ _35317) ^ [] : [-(icext(_87297, 3255 ^ [_87297, _87299, _87301, _91596]))], (3266 ^ _35317) ^ [] : [-(lv(3256 ^ [_87297, _87299, _87301, _91596]))], (3268 ^ _35317) ^ [] : [-(iext(_87299, _91596, 3256 ^ [_87297, _87299, _87301, _91596]))], (3270 ^ _35317) ^ [] : [-(icext(_87297, 3256 ^ [_87297, _87299, _87301, _91596]))], (3272 ^ _35317) ^ [] : [-(lv(3257 ^ [_87297, _87299, _87301, _91596]))], (3274 ^ _35317) ^ [] : [-(iext(_87299, _91596, 3257 ^ [_87297, _87299, _87301, _91596]))], (3276 ^ _35317) ^ [] : [-(icext(_87297, 3257 ^ [_87297, _87299, _87301, _91596]))], (3278 ^ _35317) ^ [] : [-(lv(3258 ^ [_87297, _87299, _87301, _91596]))], (3280 ^ _35317) ^ [] : [-(iext(_87299, _91596, 3258 ^ [_87297, _87299, _87301, _91596]))], (3282 ^ _35317) ^ [] : [-(icext(_87297, 3258 ^ [_87297, _87299, _87301, _91596]))], (3284 ^ _35317) ^ [] : [3258 ^ [_87297, _87299, _87301, _91596] = 3255 ^ [_87297, _87299, _87301, _91596]], (3286 ^ _35317) ^ [] : [3258 ^ [_87297, _87299, _87301, _91596] = 3256 ^ [_87297, _87299, _87301, _91596]], (3288 ^ _35317) ^ [] : [3258 ^ [_87297, _87299, _87301, _91596] = 3257 ^ [_87297, _87299, _87301, _91596]]], 3209 ^ _35317 : [(3210 ^ _35317) ^ [_91950, _91952, _91954] : [lv(_91954), iext(_87299, _91596, _91954), icext(_87297, _91954), lv(_91952), iext(_87299, _91596, _91952), icext(_87297, _91952), lv(_91950), iext(_87299, _91596, _91950), icext(_87297, _91950), -(_91954 = _91952), -(_91954 = _91950), -(_91952 = _91950)]]], (3117 ^ _35317) ^ [_87928] : [icext(_87301, _87928), 3123 ^ _35317 : [(3124 ^ _35317) ^ [] : [-(lv(3120 ^ [_87297, _87299, _87301, _87928]))], (3126 ^ _35317) ^ [] : [-(iext(_87299, _87928, 3120 ^ [_87297, _87299, _87301, _87928]))], (3128 ^ _35317) ^ [] : [-(icext(_87297, 3120 ^ [_87297, _87299, _87301, _87928]))], (3130 ^ _35317) ^ [] : [-(lv(3121 ^ [_87297, _87299, _87301, _87928]))], (3132 ^ _35317) ^ [] : [-(iext(_87299, _87928, 3121 ^ [_87297, _87299, _87301, _87928]))], (3134 ^ _35317) ^ [] : [-(icext(_87297, 3121 ^ [_87297, _87299, _87301, _87928]))], (3136 ^ _35317) ^ [] : [-(lv(3122 ^ [_87297, _87299, _87301, _87928]))], (3138 ^ _35317) ^ [] : [-(iext(_87299, _87928, 3122 ^ [_87297, _87299, _87301, _87928]))], (3140 ^ _35317) ^ [] : [-(icext(_87297, 3122 ^ [_87297, _87299, _87301, _87928]))], (3142 ^ _35317) ^ [] : [3120 ^ [_87297, _87299, _87301, _87928] = 3121 ^ [_87297, _87299, _87301, _87928]], (3144 ^ _35317) ^ [] : [3120 ^ [_87297, _87299, _87301, _87928] = 3122 ^ [_87297, _87299, _87301, _87928]], (3146 ^ _35317) ^ [] : [3121 ^ [_87297, _87299, _87301, _87928] = 3122 ^ [_87297, _87299, _87301, _87928]], (3148 ^ _35317) ^ [_89886, _89888, _89890, _89892] : [-(_89886 = _89892), -(_89886 = _89890), -(_89886 = _89888), lv(_89892), iext(_87299, _87928, _89892), icext(_87297, _89892), lv(_89890), iext(_87299, _87928, _89890), icext(_87297, _89890), lv(_89888), iext(_87299, _87928, _89888), icext(_87297, _89888), lv(_89886), iext(_87299, _87928, _89886), icext(_87297, _89886)]]]]], (3292 ^ _35317) ^ [_95500, _95502, _95504] : [iext(uri_owl_qualifiedCardinality, _95504, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95504, _95502), iext(uri_owl_onClass, _95504, _95500), 3303 ^ _35317 : [(3314 ^ _35317) ^ [_96224] : [3316 ^ _35317 : [(3317 ^ _35317) ^ [] : [-(iext(_95502, _96224, 3315 ^ [_95500, _95502, _95504, _96224]))], (3319 ^ _35317) ^ [] : [-(icext(_95500, 3315 ^ [_95500, _95502, _95504, _96224]))]], -(icext(_95504, _96224))], (3304 ^ _35317) ^ [_95876] : [icext(_95504, _95876), 3307 ^ _35317 : [(3308 ^ _35317) ^ [_96030] : [iext(_95502, _95876, _96030), icext(_95500, _96030)]]]]], (3323 ^ _35317) ^ [_96648, _96650, _96652] : [iext(uri_owl_qualifiedCardinality, _96652, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96652, _96650), iext(uri_owl_onClass, _96652, _96648), 3334 ^ _35317 : [(3362 ^ _35317) ^ [_98019] : [-(icext(_96652, _98019)), 3373 ^ _35317 : [(3374 ^ _35317) ^ [] : [-(iext(_96650, _98019, 3371 ^ [_96648, _96650, _96652, _98019]))], (3376 ^ _35317) ^ [] : [-(icext(_96648, 3371 ^ [_96648, _96650, _96652, _98019]))], (3378 ^ _35317) ^ [] : [-(iext(_96650, _98019, 3372 ^ [_96648, _96650, _96652, _98019]))], (3380 ^ _35317) ^ [] : [-(icext(_96648, 3372 ^ [_96648, _96650, _96652, _98019]))], (3382 ^ _35317) ^ [] : [3372 ^ [_96648, _96650, _96652, _98019] = 3371 ^ [_96648, _96650, _96652, _98019]]], 3365 ^ _35317 : [(3366 ^ _35317) ^ [_98202] : [iext(_96650, _98019, _98202), icext(_96648, _98202)]]], (3335 ^ _35317) ^ [_97064] : [icext(_96652, _97064), 3339 ^ _35317 : [(3340 ^ _35317) ^ [] : [-(iext(_96650, _97064, 3338 ^ [_96648, _96650, _96652, _97064]))], (3342 ^ _35317) ^ [] : [-(icext(_96648, 3338 ^ [_96648, _96650, _96652, _97064]))], (3344 ^ _35317) ^ [_97497, _97499] : [-(_97497 = _97499), iext(_96650, _97064, _97499), icext(_96648, _97499), iext(_96650, _97064, _97497), icext(_96648, _97497)]]]]], (3386 ^ _35317) ^ [_99131, _99133, _99135] : [iext(uri_owl_qualifiedCardinality, _99135, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99135, _99133), iext(uri_owl_onClass, _99135, _99131), 3397 ^ _35317 : [(3444 ^ _35317) ^ [_101372] : [-(icext(_99135, _101372)), 3468 ^ _35317 : [(3469 ^ _35317) ^ [] : [-(iext(_99133, _101372, 3465 ^ [_99131, _99133, _99135, _101372]))], (3471 ^ _35317) ^ [] : [-(icext(_99131, 3465 ^ [_99131, _99133, _99135, _101372]))], (3473 ^ _35317) ^ [] : [-(iext(_99133, _101372, 3466 ^ [_99131, _99133, _99135, _101372]))], (3475 ^ _35317) ^ [] : [-(icext(_99131, 3466 ^ [_99131, _99133, _99135, _101372]))], (3477 ^ _35317) ^ [] : [-(iext(_99133, _101372, 3467 ^ [_99131, _99133, _99135, _101372]))], (3479 ^ _35317) ^ [] : [-(icext(_99131, 3467 ^ [_99131, _99133, _99135, _101372]))], (3481 ^ _35317) ^ [] : [3467 ^ [_99131, _99133, _99135, _101372] = 3465 ^ [_99131, _99133, _99135, _101372]], (3483 ^ _35317) ^ [] : [3467 ^ [_99131, _99133, _99135, _101372] = 3466 ^ [_99131, _99133, _99135, _101372]]], 3447 ^ _35317 : [(3448 ^ _35317) ^ [_101619, _101621] : [iext(_99133, _101372, _101621), icext(_99131, _101621), iext(_99133, _101372, _101619), icext(_99131, _101619), -(_101621 = _101619)]]], (3398 ^ _35317) ^ [_99597] : [icext(_99135, _99597), 3403 ^ _35317 : [(3404 ^ _35317) ^ [] : [-(iext(_99133, _99597, 3401 ^ [_99131, _99133, _99135, _99597]))], (3406 ^ _35317) ^ [] : [-(icext(_99131, 3401 ^ [_99131, _99133, _99135, _99597]))], (3408 ^ _35317) ^ [] : [-(iext(_99133, _99597, 3402 ^ [_99131, _99133, _99135, _99597]))], (3410 ^ _35317) ^ [] : [-(icext(_99131, 3402 ^ [_99131, _99133, _99135, _99597]))], (3412 ^ _35317) ^ [] : [3401 ^ [_99131, _99133, _99135, _99597] = 3402 ^ [_99131, _99133, _99135, _99597]], (3414 ^ _35317) ^ [_100494, _100496, _100498] : [-(_100494 = _100498), -(_100494 = _100496), iext(_99133, _99597, _100498), icext(_99131, _100498), iext(_99133, _99597, _100496), icext(_99131, _100496), iext(_99133, _99597, _100494), icext(_99131, _100494)]]]]], (3487 ^ _35317) ^ [_103350, _103352, _103354] : [iext(uri_owl_qualifiedCardinality, _103354, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103354, _103352), iext(uri_owl_onClass, _103354, _103350), 3498 ^ _35317 : [(3566 ^ _35317) ^ [_106733] : [-(icext(_103354, _106733)), 3607 ^ _35317 : [(3608 ^ _35317) ^ [] : [-(iext(_103352, _106733, 3603 ^ [_103350, _103352, _103354, _106733]))], (3610 ^ _35317) ^ [] : [-(icext(_103350, 3603 ^ [_103350, _103352, _103354, _106733]))], (3612 ^ _35317) ^ [] : [-(iext(_103352, _106733, 3604 ^ [_103350, _103352, _103354, _106733]))], (3614 ^ _35317) ^ [] : [-(icext(_103350, 3604 ^ [_103350, _103352, _103354, _106733]))], (3616 ^ _35317) ^ [] : [-(iext(_103352, _106733, 3605 ^ [_103350, _103352, _103354, _106733]))], (3618 ^ _35317) ^ [] : [-(icext(_103350, 3605 ^ [_103350, _103352, _103354, _106733]))], (3620 ^ _35317) ^ [] : [-(iext(_103352, _106733, 3606 ^ [_103350, _103352, _103354, _106733]))], (3622 ^ _35317) ^ [] : [-(icext(_103350, 3606 ^ [_103350, _103352, _103354, _106733]))], (3624 ^ _35317) ^ [] : [3606 ^ [_103350, _103352, _103354, _106733] = 3603 ^ [_103350, _103352, _103354, _106733]], (3626 ^ _35317) ^ [] : [3606 ^ [_103350, _103352, _103354, _106733] = 3604 ^ [_103350, _103352, _103354, _106733]], (3628 ^ _35317) ^ [] : [3606 ^ [_103350, _103352, _103354, _106733] = 3605 ^ [_103350, _103352, _103354, _106733]]], 3569 ^ _35317 : [(3570 ^ _35317) ^ [_107052, _107054, _107056] : [iext(_103352, _106733, _107056), icext(_103350, _107056), iext(_103352, _106733, _107054), icext(_103350, _107054), iext(_103352, _106733, _107052), icext(_103350, _107052), -(_107056 = _107054), -(_107056 = _107052), -(_107054 = _107052)]]], (3499 ^ _35317) ^ [_103874] : [icext(_103354, _103874), 3505 ^ _35317 : [(3506 ^ _35317) ^ [] : [-(iext(_103352, _103874, 3502 ^ [_103350, _103352, _103354, _103874]))], (3508 ^ _35317) ^ [] : [-(icext(_103350, 3502 ^ [_103350, _103352, _103354, _103874]))], (3510 ^ _35317) ^ [] : [-(iext(_103352, _103874, 3503 ^ [_103350, _103352, _103354, _103874]))], (3512 ^ _35317) ^ [] : [-(icext(_103350, 3503 ^ [_103350, _103352, _103354, _103874]))], (3514 ^ _35317) ^ [] : [-(iext(_103352, _103874, 3504 ^ [_103350, _103352, _103354, _103874]))], (3516 ^ _35317) ^ [] : [-(icext(_103350, 3504 ^ [_103350, _103352, _103354, _103874]))], (3518 ^ _35317) ^ [] : [3502 ^ [_103350, _103352, _103354, _103874] = 3503 ^ [_103350, _103352, _103354, _103874]], (3520 ^ _35317) ^ [] : [3502 ^ [_103350, _103352, _103354, _103874] = 3504 ^ [_103350, _103352, _103354, _103874]], (3522 ^ _35317) ^ [] : [3503 ^ [_103350, _103352, _103354, _103874] = 3504 ^ [_103350, _103352, _103354, _103874]], (3524 ^ _35317) ^ [_105473, _105475, _105477, _105479] : [-(_105473 = _105479), -(_105473 = _105477), -(_105473 = _105475), iext(_103352, _103874, _105479), icext(_103350, _105479), iext(_103352, _103874, _105477), icext(_103350, _105477), iext(_103352, _103874, _105475), icext(_103350, _105475), iext(_103352, _103874, _105473), icext(_103350, _105473)]]]]], (3632 ^ _35317) ^ [_109797, _109799, _109801] : [iext(uri_owl_hasSelf, _109801, _109797), iext(uri_owl_onProperty, _109801, _109799), 3639 ^ _35317 : [(3640 ^ _35317) ^ [_110065] : [icext(_109801, _110065), -(iext(_109799, _110065, _110065))], (3646 ^ _35317) ^ [_110247] : [iext(_109799, _110247, _110247), -(icext(_109801, _110247))]]], (3652 ^ _35317) ^ [_110500, _110502, _110504] : [iext(uri_owl_hasValue, _110504, _110500), iext(uri_owl_onProperty, _110504, _110502), 3659 ^ _35317 : [(3660 ^ _35317) ^ [_110768] : [icext(_110504, _110768), -(iext(_110502, _110768, _110500))], (3666 ^ _35317) ^ [_110950] : [iext(_110502, _110950, _110500), -(icext(_110504, _110950))]]], (3672 ^ _35317) ^ [_111189, _111191] : [iext(uri_owl_maxCardinality, _111191, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111191, _111189), 3679 ^ _35317 : [(3680 ^ _35317) ^ [_111456] : [icext(_111191, _111456), 3683 ^ _35317 : [(3684 ^ _35317) ^ [_111582] : [iext(_111189, _111456, _111582)]]], (3686 ^ _35317) ^ [_111653] : [-(iext(_111189, _111653, 3687 ^ [_111189, _111191, _111653])), -(icext(_111191, _111653))]]], (3693 ^ _35317) ^ [_111951, _111953] : [iext(uri_owl_maxCardinality, _111953, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _111953, _111951), 3700 ^ _35317 : [(3715 ^ _35317) ^ [_112702] : [3718 ^ _35317 : [(3719 ^ _35317) ^ [] : [-(iext(_111951, _112702, 3716 ^ [_111951, _111953, _112702]))], (3721 ^ _35317) ^ [] : [-(iext(_111951, _112702, 3717 ^ [_111951, _111953, _112702]))], (3723 ^ _35317) ^ [] : [3717 ^ [_111951, _111953, _112702] = 3716 ^ [_111951, _111953, _112702]]], -(icext(_111953, _112702))], (3701 ^ _35317) ^ [_112234] : [icext(_111953, _112234), 3704 ^ _35317 : [(3705 ^ _35317) ^ [_112406, _112408] : [-(_112406 = _112408), iext(_111951, _112234, _112408), iext(_111951, _112234, _112406)]]]]], (3727 ^ _35317) ^ [_113285, _113287] : [iext(uri_owl_maxCardinality, _113287, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113287, _113285), 3734 ^ _35317 : [(3757 ^ _35317) ^ [_114311] : [3761 ^ _35317 : [(3762 ^ _35317) ^ [] : [-(iext(_113285, _114311, 3758 ^ [_113285, _113287, _114311]))], (3764 ^ _35317) ^ [] : [-(iext(_113285, _114311, 3759 ^ [_113285, _113287, _114311]))], (3766 ^ _35317) ^ [] : [-(iext(_113285, _114311, 3760 ^ [_113285, _113287, _114311]))], (3768 ^ _35317) ^ [] : [3760 ^ [_113285, _113287, _114311] = 3758 ^ [_113285, _113287, _114311]], (3770 ^ _35317) ^ [] : [3760 ^ [_113285, _113287, _114311] = 3759 ^ [_113285, _113287, _114311]]], -(icext(_113287, _114311))], (3735 ^ _35317) ^ [_113586] : [icext(_113287, _113586), 3738 ^ _35317 : [(3739 ^ _35317) ^ [_113790, _113792, _113794] : [-(_113790 = _113794), -(_113790 = _113792), iext(_113285, _113586, _113794), iext(_113285, _113586, _113792), iext(_113285, _113586, _113790)]]]]], (3774 ^ _35317) ^ [_115229, _115231] : [iext(uri_owl_maxCardinality, _115231, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115231, _115229), 3781 ^ _35317 : [(3812 ^ _35317) ^ [_116546] : [3817 ^ _35317 : [(3818 ^ _35317) ^ [] : [-(iext(_115229, _116546, 3813 ^ [_115229, _115231, _116546]))], (3820 ^ _35317) ^ [] : [-(iext(_115229, _116546, 3814 ^ [_115229, _115231, _116546]))], (3822 ^ _35317) ^ [] : [-(iext(_115229, _116546, 3815 ^ [_115229, _115231, _116546]))], (3824 ^ _35317) ^ [] : [-(iext(_115229, _116546, 3816 ^ [_115229, _115231, _116546]))], (3826 ^ _35317) ^ [] : [3816 ^ [_115229, _115231, _116546] = 3813 ^ [_115229, _115231, _116546]], (3828 ^ _35317) ^ [] : [3816 ^ [_115229, _115231, _116546] = 3814 ^ [_115229, _115231, _116546]], (3830 ^ _35317) ^ [] : [3816 ^ [_115229, _115231, _116546] = 3815 ^ [_115229, _115231, _116546]]], -(icext(_115231, _116546))], (3782 ^ _35317) ^ [_115548] : [icext(_115231, _115548), 3785 ^ _35317 : [(3786 ^ _35317) ^ [_115784, _115786, _115788, _115790] : [-(_115784 = _115790), -(_115784 = _115788), -(_115784 = _115786), iext(_115229, _115548, _115790), iext(_115229, _115548, _115788), iext(_115229, _115548, _115786), iext(_115229, _115548, _115784)]]]]], (3834 ^ _35317) ^ [_117862, _117864, _117866] : [iext(uri_owl_maxQualifiedCardinality, _117866, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117866, _117864), iext(uri_owl_onDataRange, _117866, _117862), 3845 ^ _35317 : [(3846 ^ _35317) ^ [] : [-(iodp(_117864))], (3862 ^ _35317) ^ [_118767] : [3864 ^ _35317 : [(3865 ^ _35317) ^ [] : [-(lv(3863 ^ [_117862, _117864, _117866, _118767]))], (3867 ^ _35317) ^ [] : [-(iext(_117864, _118767, 3863 ^ [_117862, _117864, _117866, _118767]))], (3869 ^ _35317) ^ [] : [-(icext(_117862, 3863 ^ [_117862, _117864, _117866, _118767]))]], -(icext(_117866, _118767))], (3848 ^ _35317) ^ [_118315] : [icext(_117866, _118315), 3851 ^ _35317 : [(3852 ^ _35317) ^ [_118474] : [lv(_118474), iext(_117864, _118315, _118474), icext(_117862, _118474)]]]]], (3873 ^ _35317) ^ [_119285, _119287, _119289] : [iext(uri_owl_maxQualifiedCardinality, _119289, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119289, _119287), iext(uri_owl_onDataRange, _119289, _119285), 3884 ^ _35317 : [(3885 ^ _35317) ^ [] : [-(iodp(_119287))], (3917 ^ _35317) ^ [_120689] : [3920 ^ _35317 : [(3921 ^ _35317) ^ [] : [-(lv(3918 ^ [_119285, _119287, _119289, _120689]))], (3923 ^ _35317) ^ [] : [-(iext(_119287, _120689, 3918 ^ [_119285, _119287, _119289, _120689]))], (3925 ^ _35317) ^ [] : [-(icext(_119285, 3918 ^ [_119285, _119287, _119289, _120689]))], (3927 ^ _35317) ^ [] : [-(lv(3919 ^ [_119285, _119287, _119289, _120689]))], (3929 ^ _35317) ^ [] : [-(iext(_119287, _120689, 3919 ^ [_119285, _119287, _119289, _120689]))], (3931 ^ _35317) ^ [] : [-(icext(_119285, 3919 ^ [_119285, _119287, _119289, _120689]))], (3933 ^ _35317) ^ [] : [3919 ^ [_119285, _119287, _119289, _120689] = 3918 ^ [_119285, _119287, _119289, _120689]]], -(icext(_119289, _120689))], (3887 ^ _35317) ^ [_119765] : [icext(_119289, _119765), 3890 ^ _35317 : [(3891 ^ _35317) ^ [_119965, _119967] : [-(_119965 = _119967), lv(_119967), iext(_119287, _119765, _119967), icext(_119285, _119967), lv(_119965), iext(_119287, _119765, _119965), icext(_119285, _119965)]]]]], (3937 ^ _35317) ^ [_121748, _121750, _121752] : [iext(uri_owl_maxQualifiedCardinality, _121752, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121752, _121750), iext(uri_owl_onDataRange, _121752, _121748), 3948 ^ _35317 : [(3949 ^ _35317) ^ [] : [-(iodp(_121750))], (3997 ^ _35317) ^ [_123689] : [4001 ^ _35317 : [(4002 ^ _35317) ^ [] : [-(lv(3998 ^ [_121748, _121750, _121752, _123689]))], (4004 ^ _35317) ^ [] : [-(iext(_121750, _123689, 3998 ^ [_121748, _121750, _121752, _123689]))], (4006 ^ _35317) ^ [] : [-(icext(_121748, 3998 ^ [_121748, _121750, _121752, _123689]))], (4008 ^ _35317) ^ [] : [-(lv(3999 ^ [_121748, _121750, _121752, _123689]))], (4010 ^ _35317) ^ [] : [-(iext(_121750, _123689, 3999 ^ [_121748, _121750, _121752, _123689]))], (4012 ^ _35317) ^ [] : [-(icext(_121748, 3999 ^ [_121748, _121750, _121752, _123689]))], (4014 ^ _35317) ^ [] : [-(lv(4000 ^ [_121748, _121750, _121752, _123689]))], (4016 ^ _35317) ^ [] : [-(iext(_121750, _123689, 4000 ^ [_121748, _121750, _121752, _123689]))], (4018 ^ _35317) ^ [] : [-(icext(_121748, 4000 ^ [_121748, _121750, _121752, _123689]))], (4020 ^ _35317) ^ [] : [4000 ^ [_121748, _121750, _121752, _123689] = 3998 ^ [_121748, _121750, _121752, _123689]], (4022 ^ _35317) ^ [] : [4000 ^ [_121748, _121750, _121752, _123689] = 3999 ^ [_121748, _121750, _121752, _123689]]], -(icext(_121752, _123689))], (3951 ^ _35317) ^ [_122257] : [icext(_121752, _122257), 3954 ^ _35317 : [(3955 ^ _35317) ^ [_122500, _122502, _122504] : [-(_122500 = _122504), -(_122500 = _122502), lv(_122504), iext(_121750, _122257, _122504), icext(_121748, _122504), lv(_122502), iext(_121750, _122257, _122502), icext(_121748, _122502), lv(_122500), iext(_121750, _122257, _122500), icext(_121748, _122500)]]]]], (4026 ^ _35317) ^ [_125384, _125386, _125388] : [iext(uri_owl_maxQualifiedCardinality, _125388, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125388, _125386), iext(uri_owl_onDataRange, _125388, _125384), 4037 ^ _35317 : [(4038 ^ _35317) ^ [] : [-(iodp(_125386))], (4102 ^ _35317) ^ [_127894] : [4107 ^ _35317 : [(4108 ^ _35317) ^ [] : [-(lv(4103 ^ [_125384, _125386, _125388, _127894]))], (4110 ^ _35317) ^ [] : [-(iext(_125386, _127894, 4103 ^ [_125384, _125386, _125388, _127894]))], (4112 ^ _35317) ^ [] : [-(icext(_125384, 4103 ^ [_125384, _125386, _125388, _127894]))], (4114 ^ _35317) ^ [] : [-(lv(4104 ^ [_125384, _125386, _125388, _127894]))], (4116 ^ _35317) ^ [] : [-(iext(_125386, _127894, 4104 ^ [_125384, _125386, _125388, _127894]))], (4118 ^ _35317) ^ [] : [-(icext(_125384, 4104 ^ [_125384, _125386, _125388, _127894]))], (4120 ^ _35317) ^ [] : [-(lv(4105 ^ [_125384, _125386, _125388, _127894]))], (4122 ^ _35317) ^ [] : [-(iext(_125386, _127894, 4105 ^ [_125384, _125386, _125388, _127894]))], (4124 ^ _35317) ^ [] : [-(icext(_125384, 4105 ^ [_125384, _125386, _125388, _127894]))], (4126 ^ _35317) ^ [] : [-(lv(4106 ^ [_125384, _125386, _125388, _127894]))], (4128 ^ _35317) ^ [] : [-(iext(_125386, _127894, 4106 ^ [_125384, _125386, _125388, _127894]))], (4130 ^ _35317) ^ [] : [-(icext(_125384, 4106 ^ [_125384, _125386, _125388, _127894]))], (4132 ^ _35317) ^ [] : [4106 ^ [_125384, _125386, _125388, _127894] = 4103 ^ [_125384, _125386, _125388, _127894]], (4134 ^ _35317) ^ [] : [4106 ^ [_125384, _125386, _125388, _127894] = 4104 ^ [_125384, _125386, _125388, _127894]], (4136 ^ _35317) ^ [] : [4106 ^ [_125384, _125386, _125388, _127894] = 4105 ^ [_125384, _125386, _125388, _127894]]], -(icext(_125388, _127894))], (4040 ^ _35317) ^ [_125922] : [icext(_125388, _125922), 4043 ^ _35317 : [(4044 ^ _35317) ^ [_126208, _126210, _126212, _126214] : [-(_126208 = _126214), -(_126208 = _126212), -(_126208 = _126210), lv(_126214), iext(_125386, _125922, _126214), icext(_125384, _126214), lv(_126212), iext(_125386, _125922, _126212), icext(_125384, _126212), lv(_126210), iext(_125386, _125922, _126210), icext(_125384, _126210), lv(_126208), iext(_125386, _125922, _126208), icext(_125384, _126208)]]]]], (4140 ^ _35317) ^ [_130322, _130324, _130326] : [iext(uri_owl_maxQualifiedCardinality, _130326, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _130326, _130324), iext(uri_owl_onClass, _130326, _130322), 4151 ^ _35317 : [(4162 ^ _35317) ^ [_131046] : [4164 ^ _35317 : [(4165 ^ _35317) ^ [] : [-(iext(_130324, _131046, 4163 ^ [_130322, _130324, _130326, _131046]))], (4167 ^ _35317) ^ [] : [-(icext(_130322, 4163 ^ [_130322, _130324, _130326, _131046]))]], -(icext(_130326, _131046))], (4152 ^ _35317) ^ [_130698] : [icext(_130326, _130698), 4155 ^ _35317 : [(4156 ^ _35317) ^ [_130852] : [iext(_130324, _130698, _130852), icext(_130322, _130852)]]]]], (4171 ^ _35317) ^ [_131470, _131472, _131474] : [iext(uri_owl_maxQualifiedCardinality, _131474, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _131474, _131472), iext(uri_owl_onClass, _131474, _131470), 4182 ^ _35317 : [(4205 ^ _35317) ^ [_132576] : [4208 ^ _35317 : [(4209 ^ _35317) ^ [] : [-(iext(_131472, _132576, 4206 ^ [_131470, _131472, _131474, _132576]))], (4211 ^ _35317) ^ [] : [-(icext(_131470, 4206 ^ [_131470, _131472, _131474, _132576]))], (4213 ^ _35317) ^ [] : [-(iext(_131472, _132576, 4207 ^ [_131470, _131472, _131474, _132576]))], (4215 ^ _35317) ^ [] : [-(icext(_131470, 4207 ^ [_131470, _131472, _131474, _132576]))], (4217 ^ _35317) ^ [] : [4207 ^ [_131470, _131472, _131474, _132576] = 4206 ^ [_131470, _131472, _131474, _132576]]], -(icext(_131474, _132576))], (4183 ^ _35317) ^ [_131868] : [icext(_131474, _131868), 4186 ^ _35317 : [(4187 ^ _35317) ^ [_132058, _132060] : [-(_132058 = _132060), iext(_131472, _131868, _132060), icext(_131470, _132060), iext(_131472, _131868, _132058), icext(_131470, _132058)]]]]], (4221 ^ _35317) ^ [_133424, _133426, _133428] : [iext(uri_owl_maxQualifiedCardinality, _133428, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _133428, _133426), iext(uri_owl_onClass, _133428, _133424), 4232 ^ _35317 : [(4267 ^ _35317) ^ [_134942] : [4271 ^ _35317 : [(4272 ^ _35317) ^ [] : [-(iext(_133426, _134942, 4268 ^ [_133424, _133426, _133428, _134942]))], (4274 ^ _35317) ^ [] : [-(icext(_133424, 4268 ^ [_133424, _133426, _133428, _134942]))], (4276 ^ _35317) ^ [] : [-(iext(_133426, _134942, 4269 ^ [_133424, _133426, _133428, _134942]))], (4278 ^ _35317) ^ [] : [-(icext(_133424, 4269 ^ [_133424, _133426, _133428, _134942]))], (4280 ^ _35317) ^ [] : [-(iext(_133426, _134942, 4270 ^ [_133424, _133426, _133428, _134942]))], (4282 ^ _35317) ^ [] : [-(icext(_133424, 4270 ^ [_133424, _133426, _133428, _134942]))], (4284 ^ _35317) ^ [] : [4270 ^ [_133424, _133426, _133428, _134942] = 4268 ^ [_133424, _133426, _133428, _134942]], (4286 ^ _35317) ^ [] : [4270 ^ [_133424, _133426, _133428, _134942] = 4269 ^ [_133424, _133426, _133428, _134942]]], -(icext(_133428, _134942))], (4233 ^ _35317) ^ [_133846] : [icext(_133428, _133846), 4236 ^ _35317 : [(4237 ^ _35317) ^ [_134074, _134076, _134078] : [-(_134074 = _134078), -(_134074 = _134076), iext(_133426, _133846, _134078), icext(_133424, _134078), iext(_133426, _133846, _134076), icext(_133424, _134076), iext(_133426, _133846, _134074), icext(_133424, _134074)]]]]], (4290 ^ _35317) ^ [_136290, _136292, _136294] : [iext(uri_owl_maxQualifiedCardinality, _136294, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _136294, _136292), iext(uri_owl_onClass, _136294, _136290), 4301 ^ _35317 : [(4348 ^ _35317) ^ [_138244] : [4353 ^ _35317 : [(4354 ^ _35317) ^ [] : [-(iext(_136292, _138244, 4349 ^ [_136290, _136292, _136294, _138244]))], (4356 ^ _35317) ^ [] : [-(icext(_136290, 4349 ^ [_136290, _136292, _136294, _138244]))], (4358 ^ _35317) ^ [] : [-(iext(_136292, _138244, 4350 ^ [_136290, _136292, _136294, _138244]))], (4360 ^ _35317) ^ [] : [-(icext(_136290, 4350 ^ [_136290, _136292, _136294, _138244]))], (4362 ^ _35317) ^ [] : [-(iext(_136292, _138244, 4351 ^ [_136290, _136292, _136294, _138244]))], (4364 ^ _35317) ^ [] : [-(icext(_136290, 4351 ^ [_136290, _136292, _136294, _138244]))], (4366 ^ _35317) ^ [] : [-(iext(_136292, _138244, 4352 ^ [_136290, _136292, _136294, _138244]))], (4368 ^ _35317) ^ [] : [-(icext(_136290, 4352 ^ [_136290, _136292, _136294, _138244]))], (4370 ^ _35317) ^ [] : [4352 ^ [_136290, _136292, _136294, _138244] = 4349 ^ [_136290, _136292, _136294, _138244]], (4372 ^ _35317) ^ [] : [4352 ^ [_136290, _136292, _136294, _138244] = 4350 ^ [_136290, _136292, _136294, _138244]], (4374 ^ _35317) ^ [] : [4352 ^ [_136290, _136292, _136294, _138244] = 4351 ^ [_136290, _136292, _136294, _138244]]], -(icext(_136294, _138244))], (4302 ^ _35317) ^ [_136736] : [icext(_136294, _136736), 4305 ^ _35317 : [(4306 ^ _35317) ^ [_137002, _137004, _137006, _137008] : [-(_137002 = _137008), -(_137002 = _137006), -(_137002 = _137004), iext(_136292, _136736, _137008), icext(_136290, _137008), iext(_136292, _136736, _137006), icext(_136290, _137006), iext(_136292, _136736, _137004), icext(_136290, _137004), iext(_136292, _136736, _137002), icext(_136290, _137002)]]]]], (4378 ^ _35317) ^ [_140154, _140156] : [4385 ^ _35317 : [(4386 ^ _35317) ^ [_140363] : [-(icext(_140156, _140363))]], iext(uri_owl_minCardinality, _140156, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140156, _140154)], (4388 ^ _35317) ^ [_140479, _140481] : [iext(uri_owl_minCardinality, _140481, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140481, _140479), 4395 ^ _35317 : [(4396 ^ _35317) ^ [_140744] : [icext(_140481, _140744), -(iext(_140479, _140744, 4399 ^ [_140479, _140481, _140744]))], (4403 ^ _35317) ^ [_140982] : [4404 ^ _35317 : [(4405 ^ _35317) ^ [_141059] : [iext(_140479, _140982, _141059)]], -(icext(_140481, _140982))]]], (4409 ^ _35317) ^ [_141235, _141237] : [iext(uri_owl_minCardinality, _141237, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _141237, _141235), 4416 ^ _35317 : [(4417 ^ _35317) ^ [_141520] : [icext(_141237, _141520), 4422 ^ _35317 : [(4423 ^ _35317) ^ [] : [-(iext(_141235, _141520, 4420 ^ [_141235, _141237, _141520]))], (4425 ^ _35317) ^ [] : [-(iext(_141235, _141520, 4421 ^ [_141235, _141237, _141520]))], (4427 ^ _35317) ^ [] : [4420 ^ [_141235, _141237, _141520] = 4421 ^ [_141235, _141237, _141520]]]], (4429 ^ _35317) ^ [_142049] : [-(icext(_141237, _142049)), 4430 ^ _35317 : [(4431 ^ _35317) ^ [_142176, _142178] : [iext(_141235, _142049, _142178), iext(_141235, _142049, _142176), -(_142178 = _142176)]]]]], (4443 ^ _35317) ^ [_142579, _142581] : [iext(uri_owl_minCardinality, _142581, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142581, _142579), 4450 ^ _35317 : [(4451 ^ _35317) ^ [_142892] : [icext(_142581, _142892), 4457 ^ _35317 : [(4458 ^ _35317) ^ [] : [-(iext(_142579, _142892, 4454 ^ [_142579, _142581, _142892]))], (4460 ^ _35317) ^ [] : [-(iext(_142579, _142892, 4455 ^ [_142579, _142581, _142892]))], (4462 ^ _35317) ^ [] : [-(iext(_142579, _142892, 4456 ^ [_142579, _142581, _142892]))], (4464 ^ _35317) ^ [] : [4454 ^ [_142579, _142581, _142892] = 4455 ^ [_142579, _142581, _142892]], (4466 ^ _35317) ^ [] : [4454 ^ [_142579, _142581, _142892] = 4456 ^ [_142579, _142581, _142892]], (4468 ^ _35317) ^ [] : [4455 ^ [_142579, _142581, _142892] = 4456 ^ [_142579, _142581, _142892]]]], (4470 ^ _35317) ^ [_143910] : [-(icext(_142581, _143910)), 4471 ^ _35317 : [(4472 ^ _35317) ^ [_144079, _144081, _144083] : [iext(_142579, _143910, _144083), iext(_142579, _143910, _144081), iext(_142579, _143910, _144079), -(_144083 = _144081), -(_144083 = _144079), -(_144081 = _144079)]]]]], (4496 ^ _35317) ^ [_144829, _144831, _144833] : [4507 ^ _35317 : [(4508 ^ _35317) ^ [] : [-(iodp(_144831))], (4510 ^ _35317) ^ [_145213] : [-(icext(_144833, _145213))]], iext(uri_owl_minQualifiedCardinality, _144833, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144833, _144831), iext(uri_owl_onDataRange, _144833, _144829)], (4512 ^ _35317) ^ [_145347, _145349, _145351] : [iext(uri_owl_minQualifiedCardinality, _145351, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _145351, _145349), iext(uri_owl_onDataRange, _145351, _145347), 4523 ^ _35317 : [(4524 ^ _35317) ^ [] : [-(iodp(_145349))], (4526 ^ _35317) ^ [_145798] : [icext(_145351, _145798), 4530 ^ _35317 : [(4531 ^ _35317) ^ [] : [-(lv(4529 ^ [_145347, _145349, _145351, _145798]))], (4533 ^ _35317) ^ [] : [-(iext(_145349, _145798, 4529 ^ [_145347, _145349, _145351, _145798]))], (4535 ^ _35317) ^ [] : [-(icext(_145347, 4529 ^ [_145347, _145349, _145351, _145798]))]]], (4537 ^ _35317) ^ [_146238] : [-(icext(_145351, _146238)), 4538 ^ _35317 : [(4539 ^ _35317) ^ [_146346] : [lv(_146346), iext(_145349, _146238, _146346), icext(_145347, _146346)]]]]], (4551 ^ _35317) ^ [_146764, _146766, _146768] : [iext(uri_owl_minQualifiedCardinality, _146768, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146768, _146766), iext(uri_owl_onDataRange, _146768, _146764), 4562 ^ _35317 : [(4563 ^ _35317) ^ [] : [-(iodp(_146766))], (4565 ^ _35317) ^ [_147246] : [icext(_146768, _147246), 4570 ^ _35317 : [(4571 ^ _35317) ^ [] : [-(lv(4568 ^ [_146764, _146766, _146768, _147246]))], (4573 ^ _35317) ^ [] : [-(iext(_146766, _147246, 4568 ^ [_146764, _146766, _146768, _147246]))], (4575 ^ _35317) ^ [] : [-(icext(_146764, 4568 ^ [_146764, _146766, _146768, _147246]))], (4577 ^ _35317) ^ [] : [-(lv(4569 ^ [_146764, _146766, _146768, _147246]))], (4579 ^ _35317) ^ [] : [-(iext(_146766, _147246, 4569 ^ [_146764, _146766, _146768, _147246]))], (4581 ^ _35317) ^ [] : [-(icext(_146764, 4569 ^ [_146764, _146766, _146768, _147246]))], (4583 ^ _35317) ^ [] : [4568 ^ [_146764, _146766, _146768, _147246] = 4569 ^ [_146764, _146766, _146768, _147246]]]], (4585 ^ _35317) ^ [_148225] : [-(icext(_146768, _148225)), 4586 ^ _35317 : [(4587 ^ _35317) ^ [_148378, _148380] : [lv(_148380), iext(_146766, _148225, _148380), icext(_146764, _148380), lv(_148378), iext(_146766, _148225, _148378), icext(_146764, _148378), -(_148380 = _148378)]]]]], (4615 ^ _35317) ^ [_149229, _149231, _149233] : [iext(uri_owl_minQualifiedCardinality, _149233, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149233, _149231), iext(uri_owl_onDataRange, _149233, _149229), 4626 ^ _35317 : [(4627 ^ _35317) ^ [] : [-(iodp(_149231))], (4629 ^ _35317) ^ [_149750] : [icext(_149233, _149750), 4635 ^ _35317 : [(4636 ^ _35317) ^ [] : [-(lv(4632 ^ [_149229, _149231, _149233, _149750]))], (4638 ^ _35317) ^ [] : [-(iext(_149231, _149750, 4632 ^ [_149229, _149231, _149233, _149750]))], (4640 ^ _35317) ^ [] : [-(icext(_149229, 4632 ^ [_149229, _149231, _149233, _149750]))], (4642 ^ _35317) ^ [] : [-(lv(4633 ^ [_149229, _149231, _149233, _149750]))], (4644 ^ _35317) ^ [] : [-(iext(_149231, _149750, 4633 ^ [_149229, _149231, _149233, _149750]))], (4646 ^ _35317) ^ [] : [-(icext(_149229, 4633 ^ [_149229, _149231, _149233, _149750]))], (4648 ^ _35317) ^ [] : [-(lv(4634 ^ [_149229, _149231, _149233, _149750]))], (4650 ^ _35317) ^ [] : [-(iext(_149231, _149750, 4634 ^ [_149229, _149231, _149233, _149750]))], (4652 ^ _35317) ^ [] : [-(icext(_149229, 4634 ^ [_149229, _149231, _149233, _149750]))], (4654 ^ _35317) ^ [] : [4632 ^ [_149229, _149231, _149233, _149750] = 4633 ^ [_149229, _149231, _149233, _149750]], (4656 ^ _35317) ^ [] : [4632 ^ [_149229, _149231, _149233, _149750] = 4634 ^ [_149229, _149231, _149233, _149750]], (4658 ^ _35317) ^ [] : [4633 ^ [_149229, _149231, _149233, _149750] = 4634 ^ [_149229, _149231, _149233, _149750]]]], (4660 ^ _35317) ^ [_151527] : [-(icext(_149233, _151527)), 4661 ^ _35317 : [(4662 ^ _35317) ^ [_151733, _151735, _151737] : [lv(_151737), iext(_149231, _151527, _151737), icext(_149229, _151737), lv(_151735), iext(_149231, _151527, _151735), icext(_149229, _151735), lv(_151733), iext(_149231, _151527, _151733), icext(_149229, _151733), -(_151737 = _151735), -(_151737 = _151733), -(_151735 = _151733)]]]]], (4710 ^ _35317) ^ [_153161, _153163, _153165] : [4721 ^ _35317 : [(4722 ^ _35317) ^ [_153473] : [-(icext(_153165, _153473))]], iext(uri_owl_minQualifiedCardinality, _153165, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153165, _153163), iext(uri_owl_onClass, _153165, _153161)], (4724 ^ _35317) ^ [_153605, _153607, _153609] : [iext(uri_owl_minQualifiedCardinality, _153609, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153609, _153607), iext(uri_owl_onClass, _153609, _153605), 4735 ^ _35317 : [(4736 ^ _35317) ^ [_153979] : [icext(_153609, _153979), 4740 ^ _35317 : [(4741 ^ _35317) ^ [] : [-(iext(_153607, _153979, 4739 ^ [_153605, _153607, _153609, _153979]))], (4743 ^ _35317) ^ [] : [-(icext(_153605, 4739 ^ [_153605, _153607, _153609, _153979]))]]], (4745 ^ _35317) ^ [_154327] : [-(icext(_153609, _154327)), 4746 ^ _35317 : [(4747 ^ _35317) ^ [_154430] : [iext(_153607, _154327, _154430), icext(_153605, _154430)]]]]], (4755 ^ _35317) ^ [_154747, _154749, _154751] : [iext(uri_owl_minQualifiedCardinality, _154751, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154751, _154749), iext(uri_owl_onClass, _154751, _154747), 4766 ^ _35317 : [(4767 ^ _35317) ^ [_155147] : [icext(_154751, _155147), 4772 ^ _35317 : [(4773 ^ _35317) ^ [] : [-(iext(_154749, _155147, 4770 ^ [_154747, _154749, _154751, _155147]))], (4775 ^ _35317) ^ [] : [-(icext(_154747, 4770 ^ [_154747, _154749, _154751, _155147]))], (4777 ^ _35317) ^ [] : [-(iext(_154749, _155147, 4771 ^ [_154747, _154749, _154751, _155147]))], (4779 ^ _35317) ^ [] : [-(icext(_154747, 4771 ^ [_154747, _154749, _154751, _155147]))], (4781 ^ _35317) ^ [] : [4770 ^ [_154747, _154749, _154751, _155147] = 4771 ^ [_154747, _154749, _154751, _155147]]]], (4783 ^ _35317) ^ [_155921] : [-(icext(_154751, _155921)), 4784 ^ _35317 : [(4785 ^ _35317) ^ [_156064, _156066] : [iext(_154749, _155921, _156066), icext(_154747, _156066), iext(_154749, _155921, _156064), icext(_154747, _156064), -(_156066 = _156064)]]]]], (4805 ^ _35317) ^ [_156707, _156709, _156711] : [iext(uri_owl_minQualifiedCardinality, _156711, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156711, _156709), iext(uri_owl_onClass, _156711, _156707), 4816 ^ _35317 : [(4817 ^ _35317) ^ [_157141] : [icext(_156711, _157141), 4823 ^ _35317 : [(4824 ^ _35317) ^ [] : [-(iext(_156709, _157141, 4820 ^ [_156707, _156709, _156711, _157141]))], (4826 ^ _35317) ^ [] : [-(icext(_156707, 4820 ^ [_156707, _156709, _156711, _157141]))], (4828 ^ _35317) ^ [] : [-(iext(_156709, _157141, 4821 ^ [_156707, _156709, _156711, _157141]))], (4830 ^ _35317) ^ [] : [-(icext(_156707, 4821 ^ [_156707, _156709, _156711, _157141]))], (4832 ^ _35317) ^ [] : [-(iext(_156709, _157141, 4822 ^ [_156707, _156709, _156711, _157141]))], (4834 ^ _35317) ^ [] : [-(icext(_156707, 4822 ^ [_156707, _156709, _156711, _157141]))], (4836 ^ _35317) ^ [] : [4820 ^ [_156707, _156709, _156711, _157141] = 4821 ^ [_156707, _156709, _156711, _157141]], (4838 ^ _35317) ^ [] : [4820 ^ [_156707, _156709, _156711, _157141] = 4822 ^ [_156707, _156709, _156711, _157141]], (4840 ^ _35317) ^ [] : [4821 ^ [_156707, _156709, _156711, _157141] = 4822 ^ [_156707, _156709, _156711, _157141]]]], (4842 ^ _35317) ^ [_158579] : [-(icext(_156711, _158579)), 4843 ^ _35317 : [(4844 ^ _35317) ^ [_158770, _158772, _158774] : [iext(_156709, _158579, _158774), icext(_156707, _158774), iext(_156709, _158579, _158772), icext(_156707, _158772), iext(_156709, _158579, _158770), icext(_156707, _158770), -(_158774 = _158772), -(_158774 = _158770), -(_158772 = _158770)]]]]], (4880 ^ _35317) ^ [_159875, _159877, _159879] : [iext(uri_owl_someValuesFrom, _159879, _159875), iext(uri_owl_onProperty, _159879, _159877), 4887 ^ _35317 : [(4888 ^ _35317) ^ [_160154] : [icext(_159879, _160154), 4892 ^ _35317 : [(4893 ^ _35317) ^ [] : [-(iext(_159877, _160154, 4891 ^ [_159875, _159877, _159879, _160154]))], (4895 ^ _35317) ^ [] : [-(icext(_159875, 4891 ^ [_159875, _159877, _159879, _160154]))]]], (4897 ^ _35317) ^ [_160502] : [-(icext(_159879, _160502)), 4898 ^ _35317 : [(4899 ^ _35317) ^ [_160605] : [iext(_159877, _160502, _160605), icext(_159875, _160605)]]]]], (4907 ^ _35317) ^ [_160935, _160937] : [iext(uri_rdfs_domain, _160937, _160935), 4910 ^ _35317 : [(4911 ^ _35317) ^ [] : [-(ip(_160937))], (4913 ^ _35317) ^ [] : [-(ic(_160935))], (4915 ^ _35317) ^ [_161234, _161236] : [iext(_160937, _161236, _161234), -(icext(_160935, _161236))]]], (4921 ^ _35317) ^ [_161423, _161425] : [-(iext(uri_rdfs_domain, _161425, _161423)), ip(_161425), ic(_161423), 4932 ^ _35317 : [(4933 ^ _35317) ^ [] : [-(iext(_161425, 4930 ^ [_161423, _161425], 4931 ^ [_161423, _161425]))], (4935 ^ _35317) ^ [] : [icext(_161423, 4930 ^ [_161423, _161425])]]], (4939 ^ _35317) ^ [_162071, _162073] : [iext(uri_rdfs_range, _162073, _162071), 4942 ^ _35317 : [(4943 ^ _35317) ^ [] : [-(ip(_162073))], (4945 ^ _35317) ^ [] : [-(ip(_162071))], (4947 ^ _35317) ^ [_162370, _162372] : [iext(_162073, _162372, _162370), -(icext(_162071, _162370))]]], (4953 ^ _35317) ^ [_162559, _162561] : [-(iext(uri_rdfs_range, _162561, _162559)), ip(_162561), ip(_162559), 4964 ^ _35317 : [(4965 ^ _35317) ^ [] : [-(iext(_162561, 4962 ^ [_162559, _162561], 4963 ^ [_162559, _162561]))], (4967 ^ _35317) ^ [] : [icext(_162559, 4963 ^ [_162559, _162561])]]], (4971 ^ _35317) ^ [_163200, _163202] : [iext(uri_rdfs_subClassOf, _163202, _163200), 4974 ^ _35317 : [(4975 ^ _35317) ^ [] : [-(ic(_163202))], (4977 ^ _35317) ^ [] : [-(ic(_163200))], (4979 ^ _35317) ^ [_163479] : [icext(_163202, _163479), -(icext(_163200, _163479))]]], (4985 ^ _35317) ^ [_163660, _163662] : [-(iext(uri_rdfs_subClassOf, _163662, _163660)), ic(_163662), ic(_163660), 4995 ^ _35317 : [(4996 ^ _35317) ^ [] : [-(icext(_163662, 4994 ^ [_163660, _163662]))], (4998 ^ _35317) ^ [] : [icext(_163660, 4994 ^ [_163660, _163662])]]], (5002 ^ _35317) ^ [_164222, _164224] : [iext(uri_rdfs_subPropertyOf, _164224, _164222), 5005 ^ _35317 : [(5006 ^ _35317) ^ [] : [-(ip(_164224))], (5008 ^ _35317) ^ [] : [-(ip(_164222))], (5010 ^ _35317) ^ [_164522, _164524] : [iext(_164224, _164524, _164522), -(iext(_164222, _164524, _164522))]]], (5016 ^ _35317) ^ [_164713, _164715] : [-(iext(uri_rdfs_subPropertyOf, _164715, _164713)), ip(_164715), ip(_164713), 5027 ^ _35317 : [(5028 ^ _35317) ^ [] : [-(iext(_164715, 5025 ^ [_164713, _164715], 5026 ^ [_164713, _164715]))], (5030 ^ _35317) ^ [] : [iext(_164713, 5025 ^ [_164713, _164715], 5026 ^ [_164713, _164715])]]], (5034 ^ _35317) ^ [_165372, _165374] : [iext(uri_owl_differentFrom, _165374, _165372), _165374 = _165372], (5040 ^ _35317) ^ [_165537, _165539] : [-(_165539 = _165537), -(iext(uri_owl_differentFrom, _165539, _165537))], (5046 ^ _35317) ^ [_165769] : [iext(uri_owl_disjointUnionOf, _165769, uri_rdf_nil), 5049 ^ _35317 : [(5050 ^ _35317) ^ [] : [-(ic(_165769))], (5052 ^ _35317) ^ [_165952] : [icext(_165769, _165952)]]], (5054 ^ _35317) ^ [_166020] : [-(iext(uri_owl_disjointUnionOf, _166020, uri_rdf_nil)), ic(_166020), -(icext(_166020, 5059 ^ [_166020]))], (5065 ^ _35317) ^ [_166381, _166383, _166385] : [iext(uri_rdf_first, _166383, _166381), iext(uri_rdf_rest, _166383, uri_rdf_nil), 5072 ^ _35317 : [(5073 ^ _35317) ^ [] : [iext(uri_owl_disjointUnionOf, _166385, _166383), 5076 ^ _35317 : [(5077 ^ _35317) ^ [] : [-(ic(_166385))], (5079 ^ _35317) ^ [] : [-(ic(_166381))], (5081 ^ _35317) ^ [_166912] : [icext(_166385, _166912), -(icext(_166381, _166912))], (5087 ^ _35317) ^ [_167092] : [icext(_166381, _167092), -(icext(_166385, _167092))]]], (5093 ^ _35317) ^ [] : [-(iext(uri_owl_disjointUnionOf, _166385, _166383)), ic(_166385), ic(_166381), 5105 ^ _35317 : [(5106 ^ _35317) ^ [] : [-(icext(_166385, 5102 ^ [_166381, _166383, _166385]))], (5108 ^ _35317) ^ [] : [icext(_166381, 5102 ^ [_166381, _166383, _166385])]], 5109 ^ _35317 : [(5110 ^ _35317) ^ [] : [-(icext(_166381, 5102 ^ [_166381, _166383, _166385]))], (5112 ^ _35317) ^ [] : [icext(_166385, 5102 ^ [_166381, _166383, _166385])]]]]], (5116 ^ _35317) ^ [_168019, _168021, _168023, _168025, _168027] : [iext(uri_rdf_first, _168025, _168023), iext(uri_rdf_rest, _168025, _168021), iext(uri_rdf_first, _168021, _168019), iext(uri_rdf_rest, _168021, uri_rdf_nil), 5131 ^ _35317 : [(5172 ^ _35317) ^ [] : [-(iext(uri_owl_disjointUnionOf, _168027, _168025)), ic(_168027), ic(_168023), ic(_168019), 5188 ^ _35317 : [(5189 ^ _35317) ^ [] : [-(icext(_168027, 5185 ^ [_168019, _168021, _168023, _168025, _168027]))], (5191 ^ _35317) ^ [] : [5192 ^ _35317 : [(5193 ^ _35317) ^ [] : [icext(_168023, 5185 ^ [_168019, _168021, _168023, _168025, _168027])], (5195 ^ _35317) ^ [] : [icext(_168019, 5185 ^ [_168019, _168021, _168023, _168025, _168027])]], 5196 ^ _35317 : [(5197 ^ _35317) ^ [] : [-(icext(_168023, 5185 ^ [_168019, _168021, _168023, _168025, _168027]))], (5199 ^ _35317) ^ [] : [-(icext(_168019, 5185 ^ [_168019, _168021, _168023, _168025, _168027]))]]]], 5200 ^ _35317 : [(5213 ^ _35317) ^ [] : [icext(_168027, 5185 ^ [_168019, _168021, _168023, _168025, _168027])], (5201 ^ _35317) ^ [] : [-(icext(_168023, 5185 ^ [_168019, _168021, _168023, _168025, _168027])), -(icext(_168019, 5185 ^ [_168019, _168021, _168023, _168025, _168027]))], (5207 ^ _35317) ^ [] : [icext(_168023, 5185 ^ [_168019, _168021, _168023, _168025, _168027]), icext(_168019, 5185 ^ [_168019, _168021, _168023, _168025, _168027])]]], (5132 ^ _35317) ^ [] : [iext(uri_owl_disjointUnionOf, _168027, _168025), 5135 ^ _35317 : [(5136 ^ _35317) ^ [] : [-(ic(_168027))], (5138 ^ _35317) ^ [] : [-(ic(_168023))], (5140 ^ _35317) ^ [] : [-(ic(_168019))], (5158 ^ _35317) ^ [_169375] : [-(icext(_168027, _169375)), 5161 ^ _35317 : [(5162 ^ _35317) ^ [] : [icext(_168023, _169375)], (5164 ^ _35317) ^ [] : [icext(_168019, _169375)]], 5165 ^ _35317 : [(5166 ^ _35317) ^ [] : [-(icext(_168023, _169375))], (5168 ^ _35317) ^ [] : [-(icext(_168019, _169375))]]], (5142 ^ _35317) ^ [_168884] : [icext(_168027, _168884), 5145 ^ _35317 : [(5146 ^ _35317) ^ [] : [-(icext(_168023, _168884)), -(icext(_168019, _168884))], (5152 ^ _35317) ^ [] : [icext(_168023, _168884), icext(_168019, _168884)]]]]]]], (5217 ^ _35317) ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406] : [iext(uri_rdf_first, _171404, _171402), iext(uri_rdf_rest, _171404, _171400), iext(uri_rdf_first, _171400, _171398), iext(uri_rdf_rest, _171400, _171396), iext(uri_rdf_first, _171396, _171394), iext(uri_rdf_rest, _171396, uri_rdf_nil), 5240 ^ _35317 : [(5313 ^ _35317) ^ [] : [-(iext(uri_owl_disjointUnionOf, _171406, _171404)), ic(_171406), ic(_171402), ic(_171398), ic(_171394), 5333 ^ _35317 : [(5334 ^ _35317) ^ [] : [-(icext(_171406, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))], (5336 ^ _35317) ^ [] : [5337 ^ _35317 : [(5338 ^ _35317) ^ [] : [icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])], (5340 ^ _35317) ^ [] : [icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])], (5342 ^ _35317) ^ [] : [icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])]], 5345 ^ _35317 : [(5346 ^ _35317) ^ [] : [-(icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))], (5348 ^ _35317) ^ [] : [-(icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))]], 5351 ^ _35317 : [(5352 ^ _35317) ^ [] : [-(icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))], (5354 ^ _35317) ^ [] : [-(icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))]], 5355 ^ _35317 : [(5356 ^ _35317) ^ [] : [-(icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))], (5358 ^ _35317) ^ [] : [-(icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))]]]], 5359 ^ _35317 : [(5388 ^ _35317) ^ [] : [icext(_171406, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])], (5360 ^ _35317) ^ [] : [-(icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])), -(icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])), -(icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]))], (5370 ^ _35317) ^ [] : [icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]), icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])], (5376 ^ _35317) ^ [] : [icext(_171402, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]), icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])], (5382 ^ _35317) ^ [] : [icext(_171398, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406]), icext(_171394, 5330 ^ [_171394, _171396, _171398, _171400, _171402, _171404, _171406])]]], (5241 ^ _35317) ^ [] : [iext(uri_owl_disjointUnionOf, _171406, _171404), 5244 ^ _35317 : [(5245 ^ _35317) ^ [] : [-(ic(_171406))], (5247 ^ _35317) ^ [] : [-(ic(_171402))], (5249 ^ _35317) ^ [] : [-(ic(_171398))], (5251 ^ _35317) ^ [] : [-(ic(_171394))], (5285 ^ _35317) ^ [_173688] : [-(icext(_171406, _173688)), 5288 ^ _35317 : [(5289 ^ _35317) ^ [] : [icext(_171402, _173688)], (5291 ^ _35317) ^ [] : [icext(_171398, _173688)], (5293 ^ _35317) ^ [] : [icext(_171394, _173688)]], 5296 ^ _35317 : [(5297 ^ _35317) ^ [] : [-(icext(_171402, _173688))], (5299 ^ _35317) ^ [] : [-(icext(_171398, _173688))]], 5302 ^ _35317 : [(5303 ^ _35317) ^ [] : [-(icext(_171402, _173688))], (5305 ^ _35317) ^ [] : [-(icext(_171394, _173688))]], 5306 ^ _35317 : [(5307 ^ _35317) ^ [] : [-(icext(_171398, _173688))], (5309 ^ _35317) ^ [] : [-(icext(_171394, _173688))]]], (5253 ^ _35317) ^ [_172647] : [icext(_171406, _172647), 5256 ^ _35317 : [(5257 ^ _35317) ^ [] : [-(icext(_171402, _172647)), -(icext(_171398, _172647)), -(icext(_171394, _172647))], (5267 ^ _35317) ^ [] : [icext(_171402, _172647), icext(_171398, _172647)], (5273 ^ _35317) ^ [] : [icext(_171402, _172647), icext(_171394, _172647)], (5279 ^ _35317) ^ [] : [icext(_171398, _172647), icext(_171394, _172647)]]]]]]], (5392 ^ _35317) ^ [_177544, _177546] : [iext(uri_owl_disjointWith, _177546, _177544), 5395 ^ _35317 : [(5396 ^ _35317) ^ [] : [-(ic(_177546))], (5398 ^ _35317) ^ [] : [-(ic(_177544))], (5400 ^ _35317) ^ [_177825] : [icext(_177546, _177825), icext(_177544, _177825)]]], (5406 ^ _35317) ^ [_178005, _178007] : [-(iext(uri_owl_disjointWith, _178007, _178005)), ic(_178007), ic(_178005), 5416 ^ _35317 : [(5417 ^ _35317) ^ [] : [-(icext(_178007, 5415 ^ [_178005, _178007]))], (5419 ^ _35317) ^ [] : [-(icext(_178005, 5415 ^ [_178005, _178007]))]]], (5423 ^ _35317) ^ [_178572, _178574] : [iext(uri_owl_equivalentClass, _178574, _178572), 5426 ^ _35317 : [(5427 ^ _35317) ^ [] : [-(ic(_178574))], (5429 ^ _35317) ^ [] : [-(ic(_178572))], (5431 ^ _35317) ^ [_178880] : [icext(_178574, _178880), -(icext(_178572, _178880))], (5437 ^ _35317) ^ [_179052] : [icext(_178572, _179052), -(icext(_178574, _179052))]]], (5443 ^ _35317) ^ [_179235, _179237] : [-(iext(uri_owl_equivalentClass, _179237, _179235)), ic(_179237), ic(_179235), 5455 ^ _35317 : [(5456 ^ _35317) ^ [] : [-(icext(_179237, 5452 ^ [_179235, _179237]))], (5458 ^ _35317) ^ [] : [icext(_179235, 5452 ^ [_179235, _179237])]], 5459 ^ _35317 : [(5460 ^ _35317) ^ [] : [-(icext(_179235, 5452 ^ [_179235, _179237]))], (5462 ^ _35317) ^ [] : [icext(_179237, 5452 ^ [_179235, _179237])]]], (5466 ^ _35317) ^ [_179972, _179974] : [iext(uri_owl_equivalentProperty, _179974, _179972), 5469 ^ _35317 : [(5470 ^ _35317) ^ [] : [-(ip(_179974))], (5472 ^ _35317) ^ [] : [-(ip(_179972))], (5474 ^ _35317) ^ [_180301, _180303] : [iext(_179974, _180303, _180301), -(iext(_179972, _180303, _180301))], (5480 ^ _35317) ^ [_180483, _180485] : [iext(_179972, _180485, _180483), -(iext(_179974, _180485, _180483))]]], (5486 ^ _35317) ^ [_180676, _180678] : [-(iext(uri_owl_equivalentProperty, _180678, _180676)), ip(_180678), ip(_180676), 5499 ^ _35317 : [(5500 ^ _35317) ^ [] : [-(iext(_180678, 5495 ^ [_180676, _180678], 5496 ^ [_180676, _180678]))], (5502 ^ _35317) ^ [] : [iext(_180676, 5495 ^ [_180676, _180678], 5496 ^ [_180676, _180678])]], 5503 ^ _35317 : [(5504 ^ _35317) ^ [] : [-(iext(_180676, 5495 ^ [_180676, _180678], 5496 ^ [_180676, _180678]))], (5506 ^ _35317) ^ [] : [iext(_180678, 5495 ^ [_180676, _180678], 5496 ^ [_180676, _180678])]]], (5510 ^ _35317) ^ [_181526, _181528] : [iext(uri_owl_propertyDisjointWith, _181528, _181526), 5513 ^ _35317 : [(5514 ^ _35317) ^ [] : [-(ip(_181528))], (5516 ^ _35317) ^ [] : [-(ip(_181526))], (5518 ^ _35317) ^ [_181828, _181830] : [iext(_181528, _181830, _181828), iext(_181526, _181830, _181828)]]], (5524 ^ _35317) ^ [_182018, _182020] : [-(iext(uri_owl_propertyDisjointWith, _182020, _182018)), ip(_182020), ip(_182018), 5535 ^ _35317 : [(5536 ^ _35317) ^ [] : [-(iext(_182020, 5533 ^ [_182018, _182020], 5534 ^ [_182018, _182020]))], (5538 ^ _35317) ^ [] : [-(iext(_182018, 5533 ^ [_182018, _182020], 5534 ^ [_182018, _182020]))]]], (5542 ^ _35317) ^ [_182684, _182686] : [iext(uri_owl_sameAs, _182686, _182684), -(_182686 = _182684)], (5548 ^ _35317) ^ [_182848, _182850] : [_182850 = _182848, -(iext(uri_owl_sameAs, _182850, _182848))], (5555 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35317) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35317) ^ [_183214, _183216] : [5567 ^ _35317 : [(5568 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_183214, _183216]))], (5570 ^ _35317) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_183214, _183216], _183216))]], iext(uri_rdf_first, _183216, _183214), iext(uri_rdf_rest, _183216, uri_rdf_nil)], (5572 ^ _35317) ^ [_183693, _183695, _183697, _183699] : [5592 ^ _35317 : [(5593 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_183693, _183695, _183697, _183699]))], (5595 ^ _35317) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_183693, _183695, _183697, _183699], _183699))]], iext(uri_rdf_first, _183699, _183697), iext(uri_rdf_rest, _183699, _183695), iext(uri_rdf_first, _183695, _183693), iext(uri_rdf_rest, _183695, uri_rdf_nil), -(_183697 = _183693)], (5597 ^ _35317) ^ [_184538, _184540, _184542, _184544, _184546, _184548] : [5633 ^ _35317 : [(5634 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_184538, _184540, _184542, _184544, _184546, _184548]))], (5636 ^ _35317) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_184538, _184540, _184542, _184544, _184546, _184548], _184548))]], iext(uri_rdf_first, _184548, _184546), iext(uri_rdf_rest, _184548, _184544), iext(uri_rdf_first, _184544, _184542), iext(uri_rdf_rest, _184544, _184540), iext(uri_rdf_first, _184540, _184538), iext(uri_rdf_rest, _184540, uri_rdf_nil), -(_184546 = _184542), -(_184546 = _184538), -(_184542 = _184538)], (5638 ^ _35317) ^ [] : [-(tautology), tautology], (5644 ^ _35317) ^ [] : [-(tautology), tautology], (5650 ^ _35317) ^ [_186101, _186103, _186105, _186107, _186109] : [_186105 = _186101, iext(uri_rdf_first, _186107, _186105), iext(uri_rdf_rest, _186107, _186103), iext(uri_rdf_first, _186103, _186101), iext(uri_rdf_rest, _186103, uri_rdf_nil), icext(uri_owl_AllDifferent, _186109), iext(uri_owl_distinctMembers, _186109, _186107)], (5676 ^ _35317) ^ [_186915, _186917, _186919, _186921, _186923, _186925, _186927] : [5707 ^ _35317 : [(5708 ^ _35317) ^ [] : [_186923 = _186919], (5710 ^ _35317) ^ [] : [_186923 = _186915], (5712 ^ _35317) ^ [] : [_186919 = _186915]], iext(uri_rdf_first, _186925, _186923), iext(uri_rdf_rest, _186925, _186921), iext(uri_rdf_first, _186921, _186919), iext(uri_rdf_rest, _186921, _186917), iext(uri_rdf_first, _186917, _186915), iext(uri_rdf_rest, _186917, uri_rdf_nil), icext(uri_owl_AllDifferent, _186927), iext(uri_owl_distinctMembers, _186927, _186925)], (5715 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35317) ^ [_188256, _188258] : [5727 ^ _35317 : [(5728 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_188256, _188258]))], (5730 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_188256, _188258], _188258))]], iext(uri_rdf_first, _188258, _188256), iext(uri_rdf_rest, _188258, uri_rdf_nil)], (5732 ^ _35317) ^ [_188735, _188737, _188739, _188741] : [5752 ^ _35317 : [(5753 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_188735, _188737, _188739, _188741]))], (5755 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_188735, _188737, _188739, _188741], _188741))]], iext(uri_rdf_first, _188741, _188739), iext(uri_rdf_rest, _188741, _188737), iext(uri_rdf_first, _188737, _188735), iext(uri_rdf_rest, _188737, uri_rdf_nil), -(_188739 = _188735)], (5757 ^ _35317) ^ [_189580, _189582, _189584, _189586, _189588, _189590] : [5793 ^ _35317 : [(5794 ^ _35317) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_189580, _189582, _189584, _189586, _189588, _189590]))], (5796 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_189580, _189582, _189584, _189586, _189588, _189590], _189590))]], iext(uri_rdf_first, _189590, _189588), iext(uri_rdf_rest, _189590, _189586), iext(uri_rdf_first, _189586, _189584), iext(uri_rdf_rest, _189586, _189582), iext(uri_rdf_first, _189582, _189580), iext(uri_rdf_rest, _189582, uri_rdf_nil), -(_189588 = _189584), -(_189588 = _189580), -(_189584 = _189580)], (5798 ^ _35317) ^ [] : [-(tautology), tautology], (5804 ^ _35317) ^ [] : [-(tautology), tautology], (5810 ^ _35317) ^ [_191143, _191145, _191147, _191149, _191151] : [_191147 = _191143, iext(uri_rdf_first, _191149, _191147), iext(uri_rdf_rest, _191149, _191145), iext(uri_rdf_first, _191145, _191143), iext(uri_rdf_rest, _191145, uri_rdf_nil), icext(uri_owl_AllDifferent, _191151), iext(uri_owl_members, _191151, _191149)], (5836 ^ _35317) ^ [_191957, _191959, _191961, _191963, _191965, _191967, _191969] : [5867 ^ _35317 : [(5868 ^ _35317) ^ [] : [_191965 = _191961], (5870 ^ _35317) ^ [] : [_191965 = _191957], (5872 ^ _35317) ^ [] : [_191961 = _191957]], iext(uri_rdf_first, _191967, _191965), iext(uri_rdf_rest, _191967, _191963), iext(uri_rdf_first, _191963, _191961), iext(uri_rdf_rest, _191963, _191959), iext(uri_rdf_first, _191959, _191957), iext(uri_rdf_rest, _191959, uri_rdf_nil), icext(uri_owl_AllDifferent, _191969), iext(uri_owl_members, _191969, _191967)], (5875 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35317) ^ [_193298, _193300] : [5887 ^ _35317 : [(5888 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_193298, _193300]))], (5890 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_193298, _193300], _193300))]], iext(uri_rdf_first, _193300, _193298), iext(uri_rdf_rest, _193300, uri_rdf_nil)], (5892 ^ _35317) ^ [_193777, _193779, _193781, _193783] : [5915 ^ _35317 : [(5916 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_193777, _193779, _193781, _193783]))], (5918 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_193777, _193779, _193781, _193783], _193783))]], iext(uri_rdf_first, _193783, _193781), iext(uri_rdf_rest, _193783, _193779), iext(uri_rdf_first, _193779, _193777), iext(uri_rdf_rest, _193779, uri_rdf_nil), 5910 ^ _35317 : [(5911 ^ _35317) ^ [] : [-(icext(_193781, 5909 ^ [_193777, _193779, _193781, _193783]))], (5913 ^ _35317) ^ [] : [-(icext(_193777, 5909 ^ [_193777, _193779, _193781, _193783]))]]], (5920 ^ _35317) ^ [_194789, _194791, _194793, _194795, _194797, _194799] : [5965 ^ _35317 : [(5966 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))], (5968 ^ _35317) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_194789, _194791, _194793, _194795, _194797, _194799], _194799))]], iext(uri_rdf_first, _194799, _194797), iext(uri_rdf_rest, _194799, _194795), iext(uri_rdf_first, _194795, _194793), iext(uri_rdf_rest, _194795, _194791), iext(uri_rdf_first, _194791, _194789), iext(uri_rdf_rest, _194791, uri_rdf_nil), 5948 ^ _35317 : [(5949 ^ _35317) ^ [] : [-(icext(_194797, 5947 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))], (5951 ^ _35317) ^ [] : [-(icext(_194793, 5947 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))]], 5955 ^ _35317 : [(5956 ^ _35317) ^ [] : [-(icext(_194797, 5954 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))], (5958 ^ _35317) ^ [] : [-(icext(_194789, 5954 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))]], 5960 ^ _35317 : [(5961 ^ _35317) ^ [] : [-(icext(_194793, 5959 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))], (5963 ^ _35317) ^ [] : [-(icext(_194789, 5959 ^ [_194789, _194791, _194793, _194795, _194797, _194799]))]]], (5970 ^ _35317) ^ [] : [-(tautology), tautology], (5976 ^ _35317) ^ [] : [-(tautology), tautology], (5982 ^ _35317) ^ [_196913, _196915, _196917, _196919, _196921] : [6005 ^ _35317 : [(6006 ^ _35317) ^ [_197579] : [icext(_196917, _197579), icext(_196913, _197579)]], iext(uri_rdf_first, _196919, _196917), iext(uri_rdf_rest, _196919, _196915), iext(uri_rdf_first, _196915, _196913), iext(uri_rdf_rest, _196915, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _196921), iext(uri_owl_members, _196921, _196919)], (6012 ^ _35317) ^ [_197897, _197899, _197901, _197903, _197905, _197907, _197909] : [iext(uri_rdf_first, _197907, _197905), iext(uri_rdf_rest, _197907, _197903), iext(uri_rdf_first, _197903, _197901), iext(uri_rdf_rest, _197903, _197899), iext(uri_rdf_first, _197899, _197897), iext(uri_rdf_rest, _197899, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _197909), iext(uri_owl_members, _197909, _197907), 6043 ^ _35317 : [(6044 ^ _35317) ^ [_198891] : [icext(_197905, _198891), icext(_197901, _198891)], (6050 ^ _35317) ^ [_199136] : [icext(_197905, _199136), icext(_197897, _199136)], (6056 ^ _35317) ^ [_199361] : [icext(_197901, _199361), icext(_197897, _199361)]]], (6063 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35317) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35317) ^ [_199795, _199797] : [6075 ^ _35317 : [(6076 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_199795, _199797]))], (6078 ^ _35317) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_199795, _199797], _199797))]], iext(uri_rdf_first, _199797, _199795), iext(uri_rdf_rest, _199797, uri_rdf_nil)], (6080 ^ _35317) ^ [_200274, _200276, _200278, _200280] : [6104 ^ _35317 : [(6105 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_200274, _200276, _200278, _200280]))], (6107 ^ _35317) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_200274, _200276, _200278, _200280], _200280))]], iext(uri_rdf_first, _200280, _200278), iext(uri_rdf_rest, _200280, _200276), iext(uri_rdf_first, _200276, _200274), iext(uri_rdf_rest, _200276, uri_rdf_nil), 6099 ^ _35317 : [(6100 ^ _35317) ^ [] : [-(iext(_200278, 6097 ^ [_200274, _200276, _200278, _200280], 6098 ^ [_200274, _200276, _200278, _200280]))], (6102 ^ _35317) ^ [] : [-(iext(_200274, 6097 ^ [_200274, _200276, _200278, _200280], 6098 ^ [_200274, _200276, _200278, _200280]))]]], (6109 ^ _35317) ^ [_201409, _201411, _201413, _201415, _201417, _201419] : [6157 ^ _35317 : [(6158 ^ _35317) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))], (6160 ^ _35317) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_201409, _201411, _201413, _201415, _201417, _201419], _201419))]], iext(uri_rdf_first, _201419, _201417), iext(uri_rdf_rest, _201419, _201415), iext(uri_rdf_first, _201415, _201413), iext(uri_rdf_rest, _201415, _201411), iext(uri_rdf_first, _201411, _201409), iext(uri_rdf_rest, _201411, uri_rdf_nil), 6138 ^ _35317 : [(6139 ^ _35317) ^ [] : [-(iext(_201417, 6136 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6137 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))], (6141 ^ _35317) ^ [] : [-(iext(_201413, 6136 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6137 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))]], 6146 ^ _35317 : [(6147 ^ _35317) ^ [] : [-(iext(_201417, 6144 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6145 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))], (6149 ^ _35317) ^ [] : [-(iext(_201409, 6144 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6145 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))]], 6152 ^ _35317 : [(6153 ^ _35317) ^ [] : [-(iext(_201413, 6150 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6151 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))], (6155 ^ _35317) ^ [] : [-(iext(_201409, 6150 ^ [_201409, _201411, _201413, _201415, _201417, _201419], 6151 ^ [_201409, _201411, _201413, _201415, _201417, _201419]))]]], (6162 ^ _35317) ^ [] : [-(tautology), tautology], (6168 ^ _35317) ^ [] : [-(tautology), tautology], (6174 ^ _35317) ^ [_203974, _203976, _203978, _203980, _203982] : [6197 ^ _35317 : [(6198 ^ _35317) ^ [_204661, _204663] : [iext(_203978, _204663, _204661), iext(_203974, _204663, _204661)]], iext(uri_rdf_first, _203980, _203978), iext(uri_rdf_rest, _203980, _203976), iext(uri_rdf_first, _203976, _203974), iext(uri_rdf_rest, _203976, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _203982), iext(uri_owl_members, _203982, _203980)], (6204 ^ _35317) ^ [_204989, _204991, _204993, _204995, _204997, _204999, _205001] : [iext(uri_rdf_first, _204999, _204997), iext(uri_rdf_rest, _204999, _204995), iext(uri_rdf_first, _204995, _204993), iext(uri_rdf_rest, _204995, _204991), iext(uri_rdf_first, _204991, _204989), iext(uri_rdf_rest, _204991, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _205001), iext(uri_owl_members, _205001, _204999), 6235 ^ _35317 : [(6236 ^ _35317) ^ [_206018, _206020] : [iext(_204997, _206020, _206018), iext(_204993, _206020, _206018)], (6242 ^ _35317) ^ [_206287, _206289] : [iext(_204997, _206289, _206287), iext(_204989, _206289, _206287)], (6248 ^ _35317) ^ [_206536, _206538] : [iext(_204993, _206538, _206536), iext(_204989, _206538, _206536)]]], (6254 ^ _35317) ^ [_206843] : [iext(uri_owl_propertyChainAxiom, _206843, uri_rdf_nil), 6257 ^ _35317 : [(6258 ^ _35317) ^ [] : [-(ip(_206843))], (6260 ^ _35317) ^ [_207026] : [-(iext(_206843, _207026, _207026))]]], (6262 ^ _35317) ^ [_207095] : [-(iext(uri_owl_propertyChainAxiom, _207095, uri_rdf_nil)), ip(_207095), iext(_207095, 6267 ^ [_207095], 6267 ^ [_207095])], (6273 ^ _35317) ^ [_207459, _207461, _207463] : [iext(uri_rdf_first, _207461, _207459), iext(uri_rdf_rest, _207461, uri_rdf_nil), 6280 ^ _35317 : [(6281 ^ _35317) ^ [] : [iext(uri_owl_propertyChainAxiom, _207463, _207461), 6284 ^ _35317 : [(6285 ^ _35317) ^ [] : [-(ip(_207463))], (6287 ^ _35317) ^ [] : [-(ip(_207459))], (6289 ^ _35317) ^ [_207982, _207984] : [iext(_207459, _207984, _207982), -(iext(_207463, _207984, _207982))]]], (6295 ^ _35317) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _207463, _207461)), ip(_207463), ip(_207459), 6306 ^ _35317 : [(6307 ^ _35317) ^ [] : [-(iext(_207459, 6304 ^ [_207459, _207461, _207463], 6305 ^ [_207459, _207461, _207463]))], (6309 ^ _35317) ^ [] : [iext(_207463, 6304 ^ [_207459, _207461, _207463], 6305 ^ [_207459, _207461, _207463])]]]]], (6313 ^ _35317) ^ [_208834, _208836, _208838, _208840, _208842] : [iext(uri_rdf_first, _208840, _208838), iext(uri_rdf_rest, _208840, _208836), iext(uri_rdf_first, _208836, _208834), iext(uri_rdf_rest, _208836, uri_rdf_nil), 6328 ^ _35317 : [(6329 ^ _35317) ^ [] : [iext(uri_owl_propertyChainAxiom, _208842, _208840), 6332 ^ _35317 : [(6333 ^ _35317) ^ [] : [-(ip(_208842))], (6335 ^ _35317) ^ [] : [-(ip(_208838))], (6337 ^ _35317) ^ [] : [-(ip(_208834))], (6339 ^ _35317) ^ [_209697, _209699, _209701] : [-(iext(_208842, _209701, _209697)), iext(_208838, _209701, _209699), iext(_208834, _209699, _209697)]]], (6349 ^ _35317) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _208842, _208840)), ip(_208842), ip(_208838), ip(_208834), 6365 ^ _35317 : [(6366 ^ _35317) ^ [] : [-(iext(_208838, 6362 ^ [_208834, _208836, _208838, _208840, _208842], 6363 ^ [_208834, _208836, _208838, _208840, _208842]))], (6368 ^ _35317) ^ [] : [-(iext(_208834, 6363 ^ [_208834, _208836, _208838, _208840, _208842], 6364 ^ [_208834, _208836, _208838, _208840, _208842]))], (6370 ^ _35317) ^ [] : [iext(_208842, 6362 ^ [_208834, _208836, _208838, _208840, _208842], 6364 ^ [_208834, _208836, _208838, _208840, _208842])]]]]], (6374 ^ _35317) ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149] : [iext(uri_rdf_first, _211147, _211145), iext(uri_rdf_rest, _211147, _211143), iext(uri_rdf_first, _211143, _211141), iext(uri_rdf_rest, _211143, _211139), iext(uri_rdf_first, _211139, _211137), iext(uri_rdf_rest, _211139, uri_rdf_nil), 6397 ^ _35317 : [(6398 ^ _35317) ^ [] : [iext(uri_owl_propertyChainAxiom, _211149, _211147), 6401 ^ _35317 : [(6402 ^ _35317) ^ [] : [-(ip(_211149))], (6404 ^ _35317) ^ [] : [-(ip(_211145))], (6406 ^ _35317) ^ [] : [-(ip(_211141))], (6408 ^ _35317) ^ [] : [-(ip(_211137))], (6410 ^ _35317) ^ [_212380, _212382, _212384, _212386] : [-(iext(_211149, _212386, _212380)), iext(_211145, _212386, _212384), iext(_211141, _212384, _212382), iext(_211137, _212382, _212380)]]], (6424 ^ _35317) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _211149, _211147)), ip(_211149), ip(_211145), ip(_211141), ip(_211137), 6445 ^ _35317 : [(6446 ^ _35317) ^ [] : [-(iext(_211145, 6441 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149], 6442 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149]))], (6448 ^ _35317) ^ [] : [-(iext(_211141, 6442 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149], 6443 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149]))], (6450 ^ _35317) ^ [] : [-(iext(_211137, 6443 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149], 6444 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149]))], (6452 ^ _35317) ^ [] : [iext(_211149, 6441 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149], 6444 ^ [_211137, _211139, _211141, _211143, _211145, _211147, _211149])]]]]], (6456 ^ _35317) ^ [_214504, _214506] : [iext(uri_owl_inverseOf, _214506, _214504), 6459 ^ _35317 : [(6460 ^ _35317) ^ [] : [-(ip(_214506))], (6462 ^ _35317) ^ [] : [-(ip(_214504))], (6464 ^ _35317) ^ [_214833, _214835] : [iext(_214506, _214835, _214833), -(iext(_214504, _214833, _214835))], (6470 ^ _35317) ^ [_215015, _215017] : [iext(_214504, _215015, _215017), -(iext(_214506, _215017, _215015))]]], (6476 ^ _35317) ^ [_215208, _215210] : [-(iext(uri_owl_inverseOf, _215210, _215208)), ip(_215210), ip(_215208), 6489 ^ _35317 : [(6490 ^ _35317) ^ [] : [-(iext(_215210, 6485 ^ [_215208, _215210], 6486 ^ [_215208, _215210]))], (6492 ^ _35317) ^ [] : [iext(_215208, 6486 ^ [_215208, _215210], 6485 ^ [_215208, _215210])]], 6493 ^ _35317 : [(6494 ^ _35317) ^ [] : [-(iext(_215208, 6486 ^ [_215208, _215210], 6485 ^ [_215208, _215210]))], (6496 ^ _35317) ^ [] : [iext(_215210, 6485 ^ [_215208, _215210], 6486 ^ [_215208, _215210])]]], (6500 ^ _35317) ^ [_216044] : [icext(uri_owl_AsymmetricProperty, _216044), 6503 ^ _35317 : [(6504 ^ _35317) ^ [] : [-(ip(_216044))], (6506 ^ _35317) ^ [_216268, _216270] : [iext(_216044, _216270, _216268), iext(_216044, _216268, _216270)]]], (6512 ^ _35317) ^ [_216450] : [-(icext(uri_owl_AsymmetricProperty, _216450)), ip(_216450), 6519 ^ _35317 : [(6520 ^ _35317) ^ [] : [-(iext(_216450, 6517 ^ [_216450], 6518 ^ [_216450]))], (6522 ^ _35317) ^ [] : [-(iext(_216450, 6518 ^ [_216450], 6517 ^ [_216450]))]]], (6542 ^ _35317) ^ [_217512] : [-(icext(uri_owl_FunctionalProperty, _217512)), ip(_217512), 6550 ^ _35317 : [(6551 ^ _35317) ^ [] : [-(iext(_217512, 6547 ^ [_217512], 6548 ^ [_217512]))], (6553 ^ _35317) ^ [] : [-(iext(_217512, 6547 ^ [_217512], 6549 ^ [_217512]))], (6555 ^ _35317) ^ [] : [6548 ^ [_217512] = 6549 ^ [_217512]]]], (6526 ^ _35317) ^ [_216981] : [icext(uri_owl_FunctionalProperty, _216981), 6529 ^ _35317 : [(6530 ^ _35317) ^ [] : [-(ip(_216981))], (6532 ^ _35317) ^ [_217228, _217230, _217232] : [-(_217230 = _217228), iext(_216981, _217232, _217230), iext(_216981, _217232, _217228)]]], (6575 ^ _35317) ^ [_218753] : [-(icext(uri_owl_InverseFunctionalProperty, _218753)), ip(_218753), 6583 ^ _35317 : [(6584 ^ _35317) ^ [] : [-(iext(_218753, 6580 ^ [_218753], 6582 ^ [_218753]))], (6586 ^ _35317) ^ [] : [-(iext(_218753, 6581 ^ [_218753], 6582 ^ [_218753]))], (6588 ^ _35317) ^ [] : [6580 ^ [_218753] = 6581 ^ [_218753]]]], (6559 ^ _35317) ^ [_218222] : [icext(uri_owl_InverseFunctionalProperty, _218222), 6562 ^ _35317 : [(6563 ^ _35317) ^ [] : [-(ip(_218222))], (6565 ^ _35317) ^ [_218469, _218471, _218473] : [-(_218473 = _218471), iext(_218222, _218473, _218469), iext(_218222, _218471, _218469)]]], (6592 ^ _35317) ^ [_219463] : [icext(uri_owl_IrreflexiveReflexiveProperty, _219463), 6595 ^ _35317 : [(6596 ^ _35317) ^ [] : [-(ip(_219463))], (6598 ^ _35317) ^ [_219645] : [iext(_219463, _219645, _219645)]]], (6600 ^ _35317) ^ [_219714] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _219714)), ip(_219714), -(iext(_219714, 6605 ^ [_219714], 6605 ^ [_219714]))], (6611 ^ _35317) ^ [_220082] : [icext(uri_owl_ReflexiveProperty, _220082), 6614 ^ _35317 : [(6615 ^ _35317) ^ [] : [-(ip(_220082))], (6617 ^ _35317) ^ [_220263] : [-(iext(_220082, _220263, _220263))]]], (6619 ^ _35317) ^ [_220332] : [-(icext(uri_owl_ReflexiveProperty, _220332)), ip(_220332), iext(_220332, 6624 ^ [_220332], 6624 ^ [_220332])], (6630 ^ _35317) ^ [_220695] : [icext(uri_owl_SymmetricProperty, _220695), 6633 ^ _35317 : [(6634 ^ _35317) ^ [] : [-(ip(_220695))], (6636 ^ _35317) ^ [_220917, _220919] : [iext(_220695, _220919, _220917), -(iext(_220695, _220917, _220919))]]], (6642 ^ _35317) ^ [_221098] : [-(icext(uri_owl_SymmetricProperty, _221098)), ip(_221098), 6649 ^ _35317 : [(6650 ^ _35317) ^ [] : [-(iext(_221098, 6647 ^ [_221098], 6648 ^ [_221098]))], (6652 ^ _35317) ^ [] : [iext(_221098, 6648 ^ [_221098], 6647 ^ [_221098])]]], (6672 ^ _35317) ^ [_222156] : [-(icext(uri_owl_TransitiveProperty, _222156)), ip(_222156), 6680 ^ _35317 : [(6681 ^ _35317) ^ [] : [-(iext(_222156, 6677 ^ [_222156], 6678 ^ [_222156]))], (6683 ^ _35317) ^ [] : [-(iext(_222156, 6678 ^ [_222156], 6679 ^ [_222156]))], (6685 ^ _35317) ^ [] : [iext(_222156, 6677 ^ [_222156], 6679 ^ [_222156])]]], (6656 ^ _35317) ^ [_221622] : [icext(uri_owl_TransitiveProperty, _221622), 6659 ^ _35317 : [(6660 ^ _35317) ^ [] : [-(ip(_221622))], (6662 ^ _35317) ^ [_221870, _221872, _221874] : [-(iext(_221622, _221874, _221870)), iext(_221622, _221874, _221872), iext(_221622, _221872, _221870)]]], (6705 ^ _35317) ^ [_223369] : [-(iext(uri_owl_hasKey, _223369, uri_rdf_nil)), ic(_223369), 6712 ^ _35317 : [(6713 ^ _35317) ^ [] : [-(icext(_223369, 6710 ^ [_223369]))], (6715 ^ _35317) ^ [] : [-(icext(_223369, 6711 ^ [_223369]))], (6717 ^ _35317) ^ [] : [6710 ^ [_223369] = 6711 ^ [_223369]]]], (6689 ^ _35317) ^ [_222871] : [iext(uri_owl_hasKey, _222871, uri_rdf_nil), 6692 ^ _35317 : [(6693 ^ _35317) ^ [] : [-(ic(_222871))], (6695 ^ _35317) ^ [_223099, _223101] : [-(_223101 = _223099), icext(_222871, _223101), icext(_222871, _223099)]]], (6721 ^ _35317) ^ [_223972, _223974, _223976] : [iext(uri_rdf_first, _223974, _223972), iext(uri_rdf_rest, _223974, uri_rdf_nil), 6728 ^ _35317 : [(6755 ^ _35317) ^ [] : [-(iext(uri_owl_hasKey, _223976, _223974)), ic(_223976), ip(_223972), 6767 ^ _35317 : [(6768 ^ _35317) ^ [] : [-(icext(_223976, 6764 ^ [_223972, _223974, _223976]))], (6770 ^ _35317) ^ [] : [-(icext(_223976, 6765 ^ [_223972, _223974, _223976]))], (6772 ^ _35317) ^ [] : [-(iext(_223972, 6764 ^ [_223972, _223974, _223976], 6766 ^ [_223972, _223974, _223976]))], (6774 ^ _35317) ^ [] : [-(iext(_223972, 6765 ^ [_223972, _223974, _223976], 6766 ^ [_223972, _223974, _223976]))], (6776 ^ _35317) ^ [] : [6764 ^ [_223972, _223974, _223976] = 6765 ^ [_223972, _223974, _223976]]]], (6729 ^ _35317) ^ [] : [iext(uri_owl_hasKey, _223976, _223974), 6732 ^ _35317 : [(6733 ^ _35317) ^ [] : [-(ic(_223976))], (6735 ^ _35317) ^ [] : [-(ip(_223972))], (6737 ^ _35317) ^ [_224532, _224534, _224536] : [-(_224536 = _224534), icext(_223976, _224536), icext(_223976, _224534), iext(_223972, _224536, _224532), iext(_223972, _224534, _224532)]]]]], (6780 ^ _35317) ^ [_226141, _226143, _226145, _226147, _226149] : [iext(uri_rdf_first, _226147, _226145), iext(uri_rdf_rest, _226147, _226143), iext(uri_rdf_first, _226143, _226141), iext(uri_rdf_rest, _226143, uri_rdf_nil), 6795 ^ _35317 : [(6832 ^ _35317) ^ [] : [-(iext(uri_owl_hasKey, _226149, _226147)), ic(_226149), ip(_226145), ip(_226141), 6849 ^ _35317 : [(6850 ^ _35317) ^ [] : [-(icext(_226149, 6845 ^ [_226141, _226143, _226145, _226147, _226149]))], (6852 ^ _35317) ^ [] : [-(icext(_226149, 6846 ^ [_226141, _226143, _226145, _226147, _226149]))], (6854 ^ _35317) ^ [] : [-(iext(_226145, 6845 ^ [_226141, _226143, _226145, _226147, _226149], 6847 ^ [_226141, _226143, _226145, _226147, _226149]))], (6856 ^ _35317) ^ [] : [-(iext(_226145, 6846 ^ [_226141, _226143, _226145, _226147, _226149], 6847 ^ [_226141, _226143, _226145, _226147, _226149]))], (6858 ^ _35317) ^ [] : [-(iext(_226141, 6845 ^ [_226141, _226143, _226145, _226147, _226149], 6848 ^ [_226141, _226143, _226145, _226147, _226149]))], (6860 ^ _35317) ^ [] : [-(iext(_226141, 6846 ^ [_226141, _226143, _226145, _226147, _226149], 6848 ^ [_226141, _226143, _226145, _226147, _226149]))], (6862 ^ _35317) ^ [] : [6845 ^ [_226141, _226143, _226145, _226147, _226149] = 6846 ^ [_226141, _226143, _226145, _226147, _226149]]]], (6796 ^ _35317) ^ [] : [iext(uri_owl_hasKey, _226149, _226147), 6799 ^ _35317 : [(6800 ^ _35317) ^ [] : [-(ic(_226149))], (6802 ^ _35317) ^ [] : [-(ip(_226145))], (6804 ^ _35317) ^ [] : [-(ip(_226141))], (6806 ^ _35317) ^ [_227048, _227050, _227052, _227054] : [-(_227054 = _227052), icext(_226149, _227054), icext(_226149, _227052), iext(_226145, _227054, _227050), iext(_226145, _227052, _227050), iext(_226141, _227054, _227048), iext(_226141, _227052, _227048)]]]]], (6866 ^ _35317) ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758] : [iext(uri_rdf_first, _229756, _229754), iext(uri_rdf_rest, _229756, _229752), iext(uri_rdf_first, _229752, _229750), iext(uri_rdf_rest, _229752, _229748), iext(uri_rdf_first, _229748, _229746), iext(uri_rdf_rest, _229748, uri_rdf_nil), 6889 ^ _35317 : [(6936 ^ _35317) ^ [] : [-(iext(uri_owl_hasKey, _229758, _229756)), ic(_229758), ip(_229754), ip(_229750), ip(_229746), 6958 ^ _35317 : [(6959 ^ _35317) ^ [] : [-(icext(_229758, 6953 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6961 ^ _35317) ^ [] : [-(icext(_229758, 6954 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6963 ^ _35317) ^ [] : [-(iext(_229754, 6953 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6955 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6965 ^ _35317) ^ [] : [-(iext(_229754, 6954 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6955 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6967 ^ _35317) ^ [] : [-(iext(_229750, 6953 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6956 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6969 ^ _35317) ^ [] : [-(iext(_229750, 6954 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6956 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6971 ^ _35317) ^ [] : [-(iext(_229746, 6953 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6957 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6973 ^ _35317) ^ [] : [-(iext(_229746, 6954 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758], 6957 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]))], (6975 ^ _35317) ^ [] : [6953 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758] = 6954 ^ [_229746, _229748, _229750, _229752, _229754, _229756, _229758]]]], (6890 ^ _35317) ^ [] : [iext(uri_owl_hasKey, _229758, _229756), 6893 ^ _35317 : [(6894 ^ _35317) ^ [] : [-(ic(_229758))], (6896 ^ _35317) ^ [] : [-(ip(_229754))], (6898 ^ _35317) ^ [] : [-(ip(_229750))], (6900 ^ _35317) ^ [] : [-(ip(_229746))], (6902 ^ _35317) ^ [_231040, _231042, _231044, _231046, _231048] : [-(_231048 = _231046), icext(_229758, _231048), icext(_229758, _231046), iext(_229754, _231048, _231044), iext(_229754, _231046, _231044), iext(_229750, _231048, _231042), iext(_229750, _231046, _231042), iext(_229746, _231048, _231040), iext(_229746, _231046, _231040)]]]]], (6979 ^ _35317) ^ [_235110, _235112, _235114] : [6995 ^ _35317 : [(6996 ^ _35317) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_235110, _235112, _235114], _235112))], (6998 ^ _35317) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_235110, _235112, _235114], _235114))], (7000 ^ _35317) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_235110, _235112, _235114], _235110))]], ir(_235112), iodp(_235114), lv(_235110), -(iext(_235114, _235112, _235110))], (7002 ^ _35317) ^ [_235887, _235889, _235891, _235893] : [7013 ^ _35317 : [(7014 ^ _35317) ^ [] : [-(iodp(_235891))], (7016 ^ _35317) ^ [] : [iext(_235891, _235889, _235887)]], iext(uri_owl_sourceIndividual, _235893, _235889), iext(uri_owl_assertionProperty, _235893, _235891), iext(uri_owl_targetValue, _235893, _235887)], (7018 ^ _35317) ^ [_236403, _236405, _236407] : [7034 ^ _35317 : [(7035 ^ _35317) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_236403, _236405, _236407], _236405))], (7037 ^ _35317) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_236403, _236405, _236407], _236407))], (7039 ^ _35317) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_236403, _236405, _236407], _236403))]], ir(_236405), ip(_236407), ir(_236403), -(iext(_236407, _236405, _236403))], (7041 ^ _35317) ^ [_237180, _237182, _237184, _237186] : [iext(_237184, _237182, _237180), iext(uri_owl_sourceIndividual, _237186, _237182), iext(uri_owl_assertionProperty, _237186, _237184), iext(uri_owl_targetIndividual, _237186, _237180)], (7055 ^ _35317) ^ [_237591] : [icext(uri_xsd_anyURI, _237591), -(lv(_237591))], (7061 ^ _35317) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35317) ^ [_237832] : [icext(uri_xsd_base64Binary, _237832), -(lv(_237832))], (7069 ^ _35317) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35317) ^ [_238073] : [icext(uri_xsd_boolean, _238073), -(lv(_238073))], (7077 ^ _35317) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35317) ^ [_238314] : [icext(uri_xsd_byte, _238314), -(lv(_238314))], (7085 ^ _35317) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35317) ^ [_238555] : [icext(uri_xsd_dateTime, _238555), -(lv(_238555))], (7093 ^ _35317) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35317) ^ [_238796] : [icext(uri_xsd_dateTimeStamp, _238796), -(lv(_238796))], (7101 ^ _35317) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35317) ^ [_239037] : [icext(uri_xsd_decimal, _239037), -(lv(_239037))], (7109 ^ _35317) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35317) ^ [_239278] : [icext(uri_xsd_double, _239278), -(lv(_239278))], (7117 ^ _35317) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35317) ^ [_239519] : [icext(uri_xsd_float, _239519), -(lv(_239519))], (7125 ^ _35317) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35317) ^ [_239760] : [icext(uri_xsd_hexBinary, _239760), -(lv(_239760))], (7133 ^ _35317) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35317) ^ [_240001] : [icext(uri_xsd_int, _240001), -(lv(_240001))], (7141 ^ _35317) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35317) ^ [_240242] : [icext(uri_xsd_integer, _240242), -(lv(_240242))], (7149 ^ _35317) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35317) ^ [_240483] : [icext(uri_xsd_language, _240483), -(lv(_240483))], (7157 ^ _35317) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35317) ^ [_240724] : [icext(uri_xsd_long, _240724), -(lv(_240724))], (7165 ^ _35317) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35317) ^ [_240965] : [icext(uri_xsd_Name, _240965), -(lv(_240965))], (7173 ^ _35317) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35317) ^ [_241206] : [icext(uri_xsd_NCName, _241206), -(lv(_241206))], (7181 ^ _35317) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35317) ^ [_241447] : [icext(uri_xsd_negativeInteger, _241447), -(lv(_241447))], (7189 ^ _35317) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35317) ^ [_241688] : [icext(uri_xsd_NMTOKEN, _241688), -(lv(_241688))], (7197 ^ _35317) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35317) ^ [_241929] : [icext(uri_xsd_nonNegativeInteger, _241929), -(lv(_241929))], (7205 ^ _35317) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35317) ^ [_242170] : [icext(uri_xsd_nonPositiveInteger, _242170), -(lv(_242170))], (7213 ^ _35317) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35317) ^ [_242411] : [icext(uri_xsd_normalizedString, _242411), -(lv(_242411))], (7221 ^ _35317) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35317) ^ [_242652] : [icext(uri_rdf_PlainLiteral, _242652), -(lv(_242652))], (7229 ^ _35317) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35317) ^ [_242893] : [icext(uri_xsd_positiveInteger, _242893), -(lv(_242893))], (7237 ^ _35317) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35317) ^ [_243134] : [icext(uri_owl_rational, _243134), -(lv(_243134))], (7245 ^ _35317) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35317) ^ [_243375] : [icext(uri_owl_real, _243375), -(lv(_243375))], (7253 ^ _35317) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35317) ^ [_243616] : [icext(uri_xsd_short, _243616), -(lv(_243616))], (7261 ^ _35317) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35317) ^ [_243857] : [icext(uri_xsd_string, _243857), -(lv(_243857))], (7269 ^ _35317) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35317) ^ [_244098] : [icext(uri_xsd_token, _244098), -(lv(_244098))], (7277 ^ _35317) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35317) ^ [_244339] : [icext(uri_xsd_unsignedByte, _244339), -(lv(_244339))], (7285 ^ _35317) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35317) ^ [_244580] : [icext(uri_xsd_unsignedInt, _244580), -(lv(_244580))], (7293 ^ _35317) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35317) ^ [_244821] : [icext(uri_xsd_unsignedLong, _244821), -(lv(_244821))], (7301 ^ _35317) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35317) ^ [_245062] : [icext(uri_xsd_unsignedShort, _245062), -(lv(_245062))], (7309 ^ _35317) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35317) ^ [_245303] : [icext(uri_rdf_XMLLiteral, _245303), -(lv(_245303))], (7317 ^ _35317) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35317) ^ [_245544] : [icext(uri_xsd_anyURI, _245544), icext(uri_xsd_base64Binary, _245544)], (7325 ^ _35317) ^ [_245733] : [icext(uri_xsd_anyURI, _245733), icext(uri_xsd_boolean, _245733)], (7331 ^ _35317) ^ [_245922] : [icext(uri_xsd_anyURI, _245922), icext(uri_xsd_dateTime, _245922)], (7337 ^ _35317) ^ [_246111] : [icext(uri_xsd_anyURI, _246111), icext(uri_xsd_double, _246111)], (7343 ^ _35317) ^ [_246300] : [icext(uri_xsd_anyURI, _246300), icext(uri_xsd_float, _246300)], (7349 ^ _35317) ^ [_246489] : [icext(uri_xsd_anyURI, _246489), icext(uri_xsd_hexBinary, _246489)], (7355 ^ _35317) ^ [_246678] : [icext(uri_xsd_anyURI, _246678), icext(uri_rdf_PlainLiteral, _246678)], (7361 ^ _35317) ^ [_246867] : [icext(uri_xsd_anyURI, _246867), icext(uri_owl_real, _246867)], (7367 ^ _35317) ^ [_247056] : [icext(uri_xsd_anyURI, _247056), icext(uri_rdf_XMLLiteral, _247056)], (7373 ^ _35317) ^ [_247245] : [icext(uri_xsd_base64Binary, _247245), icext(uri_xsd_boolean, _247245)], (7379 ^ _35317) ^ [_247434] : [icext(uri_xsd_base64Binary, _247434), icext(uri_xsd_dateTime, _247434)], (7385 ^ _35317) ^ [_247623] : [icext(uri_xsd_base64Binary, _247623), icext(uri_xsd_double, _247623)], (7391 ^ _35317) ^ [_247812] : [icext(uri_xsd_base64Binary, _247812), icext(uri_xsd_float, _247812)], (7397 ^ _35317) ^ [_248001] : [icext(uri_xsd_base64Binary, _248001), icext(uri_xsd_hexBinary, _248001)], (7403 ^ _35317) ^ [_248190] : [icext(uri_xsd_base64Binary, _248190), icext(uri_rdf_PlainLiteral, _248190)], (7409 ^ _35317) ^ [_248379] : [icext(uri_xsd_base64Binary, _248379), icext(uri_owl_real, _248379)], (7415 ^ _35317) ^ [_248568] : [icext(uri_xsd_base64Binary, _248568), icext(uri_rdf_XMLLiteral, _248568)], (7421 ^ _35317) ^ [_248757] : [icext(uri_xsd_boolean, _248757), icext(uri_xsd_dateTime, _248757)], (7427 ^ _35317) ^ [_248946] : [icext(uri_xsd_boolean, _248946), icext(uri_xsd_double, _248946)], (7433 ^ _35317) ^ [_249135] : [icext(uri_xsd_boolean, _249135), icext(uri_xsd_float, _249135)], (7439 ^ _35317) ^ [_249324] : [icext(uri_xsd_boolean, _249324), icext(uri_xsd_hexBinary, _249324)], (7445 ^ _35317) ^ [_249513] : [icext(uri_xsd_boolean, _249513), icext(uri_rdf_PlainLiteral, _249513)], (7451 ^ _35317) ^ [_249702] : [icext(uri_xsd_boolean, _249702), icext(uri_owl_real, _249702)], (7457 ^ _35317) ^ [_249891] : [icext(uri_xsd_boolean, _249891), icext(uri_rdf_XMLLiteral, _249891)], (7463 ^ _35317) ^ [_250080] : [icext(uri_xsd_dateTime, _250080), icext(uri_xsd_double, _250080)], (7469 ^ _35317) ^ [_250269] : [icext(uri_xsd_dateTime, _250269), icext(uri_xsd_float, _250269)], (7475 ^ _35317) ^ [_250458] : [icext(uri_xsd_dateTime, _250458), icext(uri_xsd_hexBinary, _250458)], (7481 ^ _35317) ^ [_250647] : [icext(uri_xsd_dateTime, _250647), icext(uri_rdf_PlainLiteral, _250647)], (7487 ^ _35317) ^ [_250836] : [icext(uri_xsd_dateTime, _250836), icext(uri_owl_real, _250836)], (7493 ^ _35317) ^ [_251025] : [icext(uri_xsd_dateTime, _251025), icext(uri_rdf_XMLLiteral, _251025)], (7499 ^ _35317) ^ [_251214] : [icext(uri_xsd_double, _251214), icext(uri_xsd_float, _251214)], (7505 ^ _35317) ^ [_251403] : [icext(uri_xsd_double, _251403), icext(uri_xsd_hexBinary, _251403)], (7511 ^ _35317) ^ [_251592] : [icext(uri_xsd_double, _251592), icext(uri_rdf_PlainLiteral, _251592)], (7517 ^ _35317) ^ [_251781] : [icext(uri_xsd_double, _251781), icext(uri_owl_real, _251781)], (7523 ^ _35317) ^ [_251970] : [icext(uri_xsd_double, _251970), icext(uri_rdf_XMLLiteral, _251970)], (7529 ^ _35317) ^ [_252159] : [icext(uri_xsd_float, _252159), icext(uri_xsd_hexBinary, _252159)], (7535 ^ _35317) ^ [_252348] : [icext(uri_xsd_float, _252348), icext(uri_rdf_PlainLiteral, _252348)], (7541 ^ _35317) ^ [_252537] : [icext(uri_xsd_float, _252537), icext(uri_owl_real, _252537)], (7547 ^ _35317) ^ [_252726] : [icext(uri_xsd_float, _252726), icext(uri_rdf_XMLLiteral, _252726)], (7553 ^ _35317) ^ [_252915] : [icext(uri_xsd_hexBinary, _252915), icext(uri_rdf_PlainLiteral, _252915)], (7559 ^ _35317) ^ [_253104] : [icext(uri_xsd_hexBinary, _253104), icext(uri_owl_real, _253104)], (7565 ^ _35317) ^ [_253293] : [icext(uri_xsd_hexBinary, _253293), icext(uri_rdf_XMLLiteral, _253293)], (7571 ^ _35317) ^ [_253482] : [icext(uri_rdf_PlainLiteral, _253482), icext(uri_owl_real, _253482)], (7577 ^ _35317) ^ [_253671] : [icext(uri_rdf_PlainLiteral, _253671), icext(uri_rdf_XMLLiteral, _253671)], (7583 ^ _35317) ^ [_253860] : [icext(uri_owl_real, _253860), icext(uri_rdf_XMLLiteral, _253860)], (7589 ^ _35317) ^ [_254049] : [icext(uri_xsd_byte, _254049), -(icext(uri_xsd_short, _254049))], (7595 ^ _35317) ^ [_254239] : [icext(uri_xsd_dateTimeStamp, _254239), -(icext(uri_xsd_dateTime, _254239))], (7601 ^ _35317) ^ [_254429] : [icext(uri_xsd_decimal, _254429), -(icext(uri_owl_rational, _254429))], (7607 ^ _35317) ^ [_254619] : [icext(uri_xsd_int, _254619), -(icext(uri_xsd_long, _254619))], (7613 ^ _35317) ^ [_254809] : [icext(uri_xsd_integer, _254809), -(icext(uri_xsd_decimal, _254809))], (7619 ^ _35317) ^ [_254999] : [icext(uri_xsd_language, _254999), -(icext(uri_xsd_token, _254999))], (7625 ^ _35317) ^ [_255189] : [icext(uri_xsd_long, _255189), -(icext(uri_xsd_integer, _255189))], (7631 ^ _35317) ^ [_255379] : [icext(uri_xsd_Name, _255379), -(icext(uri_xsd_token, _255379))], (7637 ^ _35317) ^ [_255569] : [icext(uri_xsd_NCName, _255569), -(icext(uri_xsd_Name, _255569))], (7643 ^ _35317) ^ [_255759] : [icext(uri_xsd_negativeInteger, _255759), -(icext(uri_xsd_nonPositiveInteger, _255759))], (7649 ^ _35317) ^ [_255949] : [icext(uri_xsd_NMTOKEN, _255949), -(icext(uri_xsd_token, _255949))], (7655 ^ _35317) ^ [_256139] : [icext(uri_xsd_nonNegativeInteger, _256139), -(icext(uri_xsd_integer, _256139))], (7661 ^ _35317) ^ [_256329] : [icext(uri_xsd_nonPositiveInteger, _256329), -(icext(uri_xsd_integer, _256329))], (7667 ^ _35317) ^ [_256519] : [icext(uri_xsd_normalizedString, _256519), -(icext(uri_xsd_string, _256519))], (7673 ^ _35317) ^ [_256709] : [icext(uri_xsd_positiveInteger, _256709), -(icext(uri_xsd_nonNegativeInteger, _256709))], (7679 ^ _35317) ^ [_256899] : [icext(uri_owl_rational, _256899), -(icext(uri_owl_real, _256899))], (7685 ^ _35317) ^ [_257089] : [icext(uri_xsd_short, _257089), -(icext(uri_xsd_int, _257089))], (7691 ^ _35317) ^ [_257279] : [icext(uri_xsd_string, _257279), -(icext(uri_rdf_PlainLiteral, _257279))], (7697 ^ _35317) ^ [_257469] : [icext(uri_xsd_token, _257469), -(icext(uri_xsd_normalizedString, _257469))], (7703 ^ _35317) ^ [_257659] : [icext(uri_xsd_unsignedByte, _257659), -(icext(uri_xsd_unsignedShort, _257659))], (7709 ^ _35317) ^ [_257849] : [icext(uri_xsd_unsignedInt, _257849), -(icext(uri_xsd_unsignedLong, _257849))], (7715 ^ _35317) ^ [_258039] : [icext(uri_xsd_unsignedLong, _258039), -(icext(uri_xsd_nonNegativeInteger, _258039))], (7721 ^ _35317) ^ [_258229] : [icext(uri_xsd_unsignedShort, _258229), -(icext(uri_xsd_unsignedInt, _258229))], (7727 ^ _35317) ^ [_258433, _258435] : [iext(uri_rdf_langRange, _258435, _258433), 7730 ^ _35317 : [(7731 ^ _35317) ^ [] : [-(ir(_258435))], (7733 ^ _35317) ^ [] : [-(lv(_258433))]]], (7735 ^ _35317) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35317) ^ [_258769, _258771] : [iext(uri_xsd_length, _258771, _258769), 7740 ^ _35317 : [(7741 ^ _35317) ^ [] : [-(ir(_258771))], (7743 ^ _35317) ^ [] : [-(lv(_258769))]]], (7745 ^ _35317) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35317) ^ [_259105, _259107] : [iext(uri_xsd_maxExclusive, _259107, _259105), 7750 ^ _35317 : [(7751 ^ _35317) ^ [] : [-(ir(_259107))], (7753 ^ _35317) ^ [] : [-(lv(_259105))]]], (7755 ^ _35317) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35317) ^ [_259441, _259443] : [iext(uri_xsd_maxInclusive, _259443, _259441), 7760 ^ _35317 : [(7761 ^ _35317) ^ [] : [-(ir(_259443))], (7763 ^ _35317) ^ [] : [-(lv(_259441))]]], (7765 ^ _35317) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35317) ^ [_259777, _259779] : [iext(uri_xsd_maxLength, _259779, _259777), 7770 ^ _35317 : [(7771 ^ _35317) ^ [] : [-(ir(_259779))], (7773 ^ _35317) ^ [] : [-(lv(_259777))]]], (7775 ^ _35317) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35317) ^ [_260113, _260115] : [iext(uri_xsd_minExclusive, _260115, _260113), 7780 ^ _35317 : [(7781 ^ _35317) ^ [] : [-(ir(_260115))], (7783 ^ _35317) ^ [] : [-(lv(_260113))]]], (7785 ^ _35317) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35317) ^ [_260449, _260451] : [iext(uri_xsd_minInclusive, _260451, _260449), 7790 ^ _35317 : [(7791 ^ _35317) ^ [] : [-(ir(_260451))], (7793 ^ _35317) ^ [] : [-(lv(_260449))]]], (7795 ^ _35317) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35317) ^ [_260785, _260787] : [iext(uri_xsd_minLength, _260787, _260785), 7800 ^ _35317 : [(7801 ^ _35317) ^ [] : [-(ir(_260787))], (7803 ^ _35317) ^ [] : [-(lv(_260785))]]], (7805 ^ _35317) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35317) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35317) ^ [_261121, _261123] : [iext(uri_xsd_pattern, _261123, _261121), 7810 ^ _35317 : [(7811 ^ _35317) ^ [] : [-(ir(_261123))], (7813 ^ _35317) ^ [] : [-(lv(_261121))]]]], input).
% 14.15/14.87  ncf('1',plain,[iext(uri_owl_topDataProperty, uri_ex_x, uri_ex_y)],start(7821 ^ 0)).
% 14.15/14.87  ncf('1.1',plain,[-(iext(uri_owl_topDataProperty, uri_ex_x, uri_ex_y)), ir(uri_ex_x), lv(uri_ex_y)],extension(1477 ^ 1,bind([[_53447, _53449], [uri_ex_y, uri_ex_x]]))).
% 14.15/14.87  ncf('1.1.1',plain,[-(ir(uri_ex_x))],extension(158 ^ 2,bind([[_37418], [uri_ex_x]]))).
% 14.15/14.87  ncf('1.1.2',plain,[-(lv(uri_ex_y)), iext(uri_rdf_type, uri_ex_y, uri_rdfs_Literal)],extension(667 ^ 2,bind([[_43697], [uri_ex_y]]))).
% 14.15/14.87  ncf('1.1.2.1',plain,[-(iext(uri_rdf_type, uri_ex_y, uri_rdfs_Literal))],extension(7817 ^ 3)).
% 14.15/14.87  %-----------------------------------------------------
% 14.15/14.87  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------