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

% Computer : n032.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:42 EDT 2023

% Result   : Theorem 140.05s 136.34s
% Output   : Proof 140.05s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10  % Problem  : SWB065+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.11  % Command  : nanocop.sh %s %d
% 0.10/0.31  % Computer : n032.cluster.edu
% 0.10/0.31  % Model    : x86_64 x86_64
% 0.10/0.31  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31  % Memory   : 8042.1875MB
% 0.10/0.31  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31  % CPULimit : 300
% 0.10/0.31  % WCLimit  : 300
% 0.10/0.31  % DateTime : Thu May 18 20:56:34 EDT 2023
% 0.10/0.31  % CPUTime  : 
% 140.05/136.34  
% 140.05/136.34  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 140.05/136.34  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 140.05/136.34  %-----------------------------------------------------
% 140.05/136.34  ncf(matrix, plain, [(7827 ^ _35487) ^ [] : [iext(uri_owl_sameAs, uri_ex_w, uri_ex_u)], (142 ^ _35487) ^ [_37355, _37357, _37359, _37361] : [-(literal_typed(_37361, _37357) = literal_typed(_37359, _37355)), _37361 = _37359, _37357 = _37355], (2 ^ _35487) ^ [_35517] : [-(_35517 = _35517)], (4 ^ _35487) ^ [_35540, _35542] : [_35542 = _35540, -(_35540 = _35542)], (10 ^ _35487) ^ [_35613, _35615, _35617] : [-(_35617 = _35613), _35617 = _35615, _35615 = _35613], (20 ^ _35487) ^ [_35750, _35752] : [-(ioap(_35750)), _35752 = _35750, ioap(_35752)], (30 ^ _35487) ^ [_35875, _35877] : [-(ix(_35875)), _35877 = _35875, ix(_35877)], (40 ^ _35487) ^ [_36000, _36002] : [-(ioxp(_36000)), _36002 = _36000, ioxp(_36002)], (50 ^ _35487) ^ [_36125, _36127] : [-(ic(_36125)), _36127 = _36125, ic(_36127)], (60 ^ _35487) ^ [_36250, _36252] : [-(ip(_36250)), _36252 = _36250, ip(_36252)], (70 ^ _35487) ^ [_36375, _36377] : [-(idc(_36375)), _36377 = _36375, idc(_36377)], (80 ^ _35487) ^ [_36500, _36502, _36504, _36506] : [-(icext(_36504, _36500)), icext(_36506, _36502), _36506 = _36504, _36502 = _36500], (94 ^ _35487) ^ [_36693, _36695] : [-(ir(_36693)), _36695 = _36693, ir(_36695)], (104 ^ _35487) ^ [_36818, _36820] : [-(lv(_36818)), _36820 = _36818, lv(_36820)], (114 ^ _35487) ^ [_36943, _36945] : [-(iodp(_36943)), _36945 = _36943, iodp(_36945)], (124 ^ _35487) ^ [_37064, _37066, _37068, _37070, _37072, _37074] : [-(iext(_37072, _37068, _37064)), iext(_37074, _37070, _37066), _37074 = _37072, _37070 = _37068, _37066 = _37064], (7819 ^ _35487) ^ [] : [-(iext(uri_rdf_first, 7816 ^ [], uri_ex_u))], (7821 ^ _35487) ^ [] : [-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))], (7823 ^ _35487) ^ [] : [-(iext(uri_owl_oneOf, 7817 ^ [], 7816 ^ []))], (7825 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_ex_w, 7817 ^ []))], (152 ^ _35487) ^ [_37509, _37511, _37513] : [iext(_37511, _37513, _37509), -(ip(_37511))], (158 ^ _35487) ^ [_37588] : [-(ir(_37588))], (160 ^ _35487) ^ [_37610] : [lv(_37610), -(ir(_37610))], (166 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (168 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (170 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (172 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (174 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (176 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (178 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (180 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (182 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (184 ^ _35487) ^ [_37855] : [iext(uri_rdf_type, _37855, uri_rdf_Property), -(ip(_37855))], (190 ^ _35487) ^ [_37926] : [ip(_37926), -(iext(uri_rdf_type, _37926, uri_rdf_Property))], (196 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (198 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (200 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (202 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (204 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (206 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (208 ^ _35487) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (210 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (212 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (214 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (216 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (218 ^ _35487) ^ [_38216, _38218] : [iext(uri_rdf_type, _38218, _38216), -(icext(_38216, _38218))], (224 ^ _35487) ^ [_38291, _38293] : [icext(_38291, _38293), -(iext(uri_rdf_type, _38293, _38291))], (230 ^ _35487) ^ [_38372] : [ic(_38372), -(iext(uri_rdfs_subClassOf, _38372, uri_rdfs_Resource))], (236 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (238 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (240 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (242 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (244 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (246 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (248 ^ _35487) ^ [_38555] : [icext(uri_rdfs_ContainerMembershipProperty, _38555), -(iext(uri_rdfs_subPropertyOf, _38555, uri_rdfs_member))], (254 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (256 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (258 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (260 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (262 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (264 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (266 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (274 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (276 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (278 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (280 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (282 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (284 ^ _35487) ^ [_38902] : [icext(uri_rdfs_Datatype, _38902), -(iext(uri_rdfs_subClassOf, _38902, uri_rdfs_Literal))], (290 ^ _35487) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (292 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (294 ^ _35487) ^ [_39015, _39017, _39019, _39021] : [-(icext(_39019, _39017)), iext(uri_rdfs_domain, _39021, _39019), iext(_39021, _39017, _39015)], (304 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (306 ^ _35487) ^ [_39186] : [ic(_39186), -(icext(uri_rdfs_Class, _39186))], (312 ^ _35487) ^ [_39255] : [icext(uri_rdfs_Class, _39255), -(ic(_39255))], (318 ^ _35487) ^ [_39342] : [ir(_39342), -(icext(uri_rdfs_Resource, _39342))], (324 ^ _35487) ^ [_39411] : [icext(uri_rdfs_Resource, _39411), -(ir(_39411))], (330 ^ _35487) ^ [_39498] : [lv(_39498), -(icext(uri_rdfs_Literal, _39498))], (336 ^ _35487) ^ [_39567] : [icext(uri_rdfs_Literal, _39567), -(lv(_39567))], (342 ^ _35487) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (344 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (346 ^ _35487) ^ [_39678, _39680, _39682, _39684] : [-(icext(_39682, _39678)), iext(uri_rdfs_range, _39684, _39682), iext(_39684, _39680, _39678)], (356 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (358 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (360 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (362 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (364 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (366 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (368 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (370 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (372 ^ _35487) ^ [_39963, _39965] : [iext(uri_rdfs_subClassOf, _39965, _39963), 375 ^ _35487 : [(376 ^ _35487) ^ [] : [-(ic(_39965))], (378 ^ _35487) ^ [] : [-(ic(_39963))], (380 ^ _35487) ^ [_40078] : [icext(_39965, _40078), -(icext(_39963, _40078))]]], (386 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (388 ^ _35487) ^ [_40183] : [ic(_40183), -(iext(uri_rdfs_subClassOf, _40183, _40183))], (394 ^ _35487) ^ [_40258, _40260, _40262] : [-(iext(uri_rdfs_subClassOf, _40262, _40258)), iext(uri_rdfs_subClassOf, _40262, _40260), iext(uri_rdfs_subClassOf, _40260, _40258)], (404 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (406 ^ _35487) ^ [_40415, _40417] : [iext(uri_rdfs_subPropertyOf, _40417, _40415), 409 ^ _35487 : [(410 ^ _35487) ^ [] : [-(ip(_40417))], (412 ^ _35487) ^ [] : [-(ip(_40415))], (414 ^ _35487) ^ [_40537, _40539] : [iext(_40417, _40539, _40537), -(iext(_40415, _40539, _40537))]]], (420 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (422 ^ _35487) ^ [_40648] : [ip(_40648), -(iext(uri_rdfs_subPropertyOf, _40648, _40648))], (428 ^ _35487) ^ [_40723, _40725, _40727] : [-(iext(uri_rdfs_subPropertyOf, _40727, _40723)), iext(uri_rdfs_subPropertyOf, _40727, _40725), iext(uri_rdfs_subPropertyOf, _40725, _40723)], (438 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (440 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (442 ^ _35487) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (444 ^ _35487) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (446 ^ _35487) ^ [_40934] : [ic(_40934), 449 ^ _35487 : [(450 ^ _35487) ^ [_40992] : [icext(_40934, _40992), -(ir(_40992))]]], (456 ^ _35487) ^ [_41071] : [ic(_41071), -(ir(_41071))], (462 ^ _35487) ^ [_41154] : [ic(_41154), -(iext(uri_rdf_type, _41154, uri_rdfs_Class))], (468 ^ _35487) ^ [_41225] : [iext(uri_rdf_type, _41225, uri_rdfs_Class), -(ic(_41225))], (474 ^ _35487) ^ [_41302] : [idc(_41302), 477 ^ _35487 : [(478 ^ _35487) ^ [_41360] : [icext(_41302, _41360), -(lv(_41360))]]], (484 ^ _35487) ^ [_41439] : [idc(_41439), -(ic(_41439))], (490 ^ _35487) ^ [_41522] : [idc(_41522), -(iext(uri_rdf_type, _41522, uri_rdfs_Datatype))], (496 ^ _35487) ^ [_41593] : [iext(uri_rdf_type, _41593, uri_rdfs_Datatype), -(idc(_41593))], (502 ^ _35487) ^ [_41670] : [ioap(_41670), 505 ^ _35487 : [(506 ^ _35487) ^ [_41739, _41741] : [iext(_41670, _41741, _41739), 509 ^ _35487 : [(510 ^ _35487) ^ [] : [-(ir(_41741))], (512 ^ _35487) ^ [] : [-(ir(_41739))]]]]], (514 ^ _35487) ^ [_41846] : [ioap(_41846), -(ip(_41846))], (520 ^ _35487) ^ [_41929] : [ioap(_41929), -(iext(uri_rdf_type, _41929, uri_owl_AnnotationProperty))], (526 ^ _35487) ^ [_42000] : [iext(uri_rdf_type, _42000, uri_owl_AnnotationProperty), -(ioap(_42000))], (532 ^ _35487) ^ [_42077] : [iodp(_42077), 535 ^ _35487 : [(536 ^ _35487) ^ [_42146, _42148] : [iext(_42077, _42148, _42146), 539 ^ _35487 : [(540 ^ _35487) ^ [] : [-(ir(_42148))], (542 ^ _35487) ^ [] : [-(lv(_42146))]]]]], (544 ^ _35487) ^ [_42253] : [iodp(_42253), -(ip(_42253))], (550 ^ _35487) ^ [_42336] : [iodp(_42336), -(iext(uri_rdf_type, _42336, uri_owl_DatatypeProperty))], (556 ^ _35487) ^ [_42407] : [iext(uri_rdf_type, _42407, uri_owl_DatatypeProperty), -(iodp(_42407))], (562 ^ _35487) ^ [_42484] : [ioxp(_42484), 565 ^ _35487 : [(566 ^ _35487) ^ [_42553, _42555] : [iext(_42484, _42555, _42553), 569 ^ _35487 : [(570 ^ _35487) ^ [] : [-(ix(_42555))], (572 ^ _35487) ^ [] : [-(ix(_42553))]]]]], (574 ^ _35487) ^ [_42660] : [ioxp(_42660), -(ip(_42660))], (580 ^ _35487) ^ [_42743] : [ioxp(_42743), -(iext(uri_rdf_type, _42743, uri_owl_OntologyProperty))], (586 ^ _35487) ^ [_42814] : [iext(uri_rdf_type, _42814, uri_owl_OntologyProperty), -(ioxp(_42814))], (592 ^ _35487) ^ [_42891] : [ip(_42891), 595 ^ _35487 : [(596 ^ _35487) ^ [_42960, _42962] : [iext(_42891, _42962, _42960), 599 ^ _35487 : [(600 ^ _35487) ^ [] : [-(ir(_42962))], (602 ^ _35487) ^ [] : [-(ir(_42960))]]]]], (604 ^ _35487) ^ [_43067] : [ip(_43067), -(ir(_43067))], (610 ^ _35487) ^ [_43150] : [ip(_43150), -(iext(uri_rdf_type, _43150, uri_rdf_Property))], (616 ^ _35487) ^ [_43221] : [iext(uri_rdf_type, _43221, uri_rdf_Property), -(ip(_43221))], (623 ^ _35487) ^ [] : [-(ir(621 ^ []))], (625 ^ _35487) ^ [_43334] : [ir(_43334), -(iext(uri_rdf_type, _43334, uri_rdfs_Resource))], (631 ^ _35487) ^ [_43405] : [iext(uri_rdf_type, _43405, uri_rdfs_Resource), -(ir(_43405))], (637 ^ _35487) ^ [_43482] : [ix(_43482), -(ir(_43482))], (643 ^ _35487) ^ [_43565] : [ix(_43565), -(iext(uri_rdf_type, _43565, uri_owl_Ontology))], (649 ^ _35487) ^ [_43636] : [iext(uri_rdf_type, _43636, uri_owl_Ontology), -(ix(_43636))], (655 ^ _35487) ^ [_43713] : [lv(_43713), -(ir(_43713))], (661 ^ _35487) ^ [_43796] : [lv(_43796), -(iext(uri_rdf_type, _43796, uri_rdfs_Literal))], (667 ^ _35487) ^ [_43867] : [iext(uri_rdf_type, _43867, uri_rdfs_Literal), -(lv(_43867))], (673 ^ _35487) ^ [_43944] : [icext(uri_owl_AllDifferent, _43944), -(ir(_43944))], (679 ^ _35487) ^ [] : [-(ic(uri_owl_AllDifferent))], (681 ^ _35487) ^ [_44035] : [icext(uri_owl_AllDisjointClasses, _44035), -(ir(_44035))], (687 ^ _35487) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (689 ^ _35487) ^ [_44126] : [icext(uri_owl_AllDisjointProperties, _44126), -(ir(_44126))], (695 ^ _35487) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (697 ^ _35487) ^ [_44217] : [icext(uri_owl_Annotation, _44217), -(ir(_44217))], (703 ^ _35487) ^ [] : [-(ic(uri_owl_Annotation))], (705 ^ _35487) ^ [_44320] : [icext(uri_owl_AnnotationProperty, _44320), -(ioap(_44320))], (711 ^ _35487) ^ [_44389] : [ioap(_44389), -(icext(uri_owl_AnnotationProperty, _44389))], (717 ^ _35487) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (719 ^ _35487) ^ [_44482] : [icext(uri_owl_AsymmetricProperty, _44482), -(ip(_44482))], (725 ^ _35487) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (727 ^ _35487) ^ [_44573] : [icext(uri_owl_Axiom, _44573), -(ir(_44573))], (733 ^ _35487) ^ [] : [-(ic(uri_owl_Axiom))], (735 ^ _35487) ^ [_44676] : [icext(uri_owl_Class, _44676), -(ic(_44676))], (741 ^ _35487) ^ [_44745] : [ic(_44745), -(icext(uri_owl_Class, _44745))], (747 ^ _35487) ^ [] : [-(ic(uri_owl_Class))], (749 ^ _35487) ^ [_44850] : [icext(uri_rdfs_Class, _44850), -(ic(_44850))], (755 ^ _35487) ^ [_44919] : [ic(_44919), -(icext(uri_rdfs_Class, _44919))], (761 ^ _35487) ^ [] : [-(ic(uri_rdfs_Class))], (763 ^ _35487) ^ [_45024] : [icext(uri_owl_DataRange, _45024), -(idc(_45024))], (769 ^ _35487) ^ [_45093] : [idc(_45093), -(icext(uri_owl_DataRange, _45093))], (775 ^ _35487) ^ [] : [-(ic(uri_owl_DataRange))], (777 ^ _35487) ^ [_45198] : [icext(uri_rdfs_Datatype, _45198), -(idc(_45198))], (783 ^ _35487) ^ [_45267] : [idc(_45267), -(icext(uri_rdfs_Datatype, _45267))], (789 ^ _35487) ^ [] : [-(ic(uri_rdfs_Datatype))], (791 ^ _35487) ^ [_45372] : [icext(uri_owl_DatatypeProperty, _45372), -(iodp(_45372))], (797 ^ _35487) ^ [_45441] : [iodp(_45441), -(icext(uri_owl_DatatypeProperty, _45441))], (803 ^ _35487) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (805 ^ _35487) ^ [_45534] : [icext(uri_owl_DeprecatedClass, _45534), -(ic(_45534))], (811 ^ _35487) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (813 ^ _35487) ^ [_45625] : [icext(uri_owl_DeprecatedProperty, _45625), -(ip(_45625))], (819 ^ _35487) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (821 ^ _35487) ^ [_45716] : [icext(uri_owl_FunctionalProperty, _45716), -(ip(_45716))], (827 ^ _35487) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (829 ^ _35487) ^ [_45807] : [icext(uri_owl_InverseFunctionalProperty, _45807), -(ip(_45807))], (835 ^ _35487) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (837 ^ _35487) ^ [_45898] : [icext(uri_owl_IrreflexiveProperty, _45898), -(ip(_45898))], (843 ^ _35487) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (845 ^ _35487) ^ [_46001] : [icext(uri_rdfs_Literal, _46001), -(lv(_46001))], (851 ^ _35487) ^ [_46070] : [lv(_46070), -(icext(uri_rdfs_Literal, _46070))], (857 ^ _35487) ^ [] : [-(idc(uri_rdfs_Literal))], (859 ^ _35487) ^ [_46163] : [icext(uri_owl_NamedIndividual, _46163), -(ir(_46163))], (865 ^ _35487) ^ [] : [-(ic(uri_owl_NamedIndividual))], (867 ^ _35487) ^ [_46254] : [icext(uri_owl_NegativePropertyAssertion, _46254), -(ir(_46254))], (873 ^ _35487) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (875 ^ _35487) ^ [_46354] : [icext(uri_owl_Nothing, _46354)], (877 ^ _35487) ^ [] : [-(ic(uri_owl_Nothing))], (879 ^ _35487) ^ [_46407] : [icext(uri_owl_ObjectProperty, _46407), -(ip(_46407))], (885 ^ _35487) ^ [_46476] : [ip(_46476), -(icext(uri_owl_ObjectProperty, _46476))], (891 ^ _35487) ^ [] : [-(ic(uri_owl_ObjectProperty))], (893 ^ _35487) ^ [_46581] : [icext(uri_owl_Ontology, _46581), -(ix(_46581))], (899 ^ _35487) ^ [_46650] : [ix(_46650), -(icext(uri_owl_Ontology, _46650))], (905 ^ _35487) ^ [] : [-(ic(uri_owl_Ontology))], (907 ^ _35487) ^ [_46755] : [icext(uri_owl_OntologyProperty, _46755), -(ioxp(_46755))], (913 ^ _35487) ^ [_46824] : [ioxp(_46824), -(icext(uri_owl_OntologyProperty, _46824))], (919 ^ _35487) ^ [] : [-(ic(uri_owl_OntologyProperty))], (921 ^ _35487) ^ [_46929] : [icext(uri_rdf_Property, _46929), -(ip(_46929))], (927 ^ _35487) ^ [_46998] : [ip(_46998), -(icext(uri_rdf_Property, _46998))], (933 ^ _35487) ^ [] : [-(ic(uri_rdf_Property))], (935 ^ _35487) ^ [_47091] : [icext(uri_owl_ReflexiveProperty, _47091), -(ip(_47091))], (941 ^ _35487) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (943 ^ _35487) ^ [_47194] : [icext(uri_rdfs_Resource, _47194), -(ir(_47194))], (949 ^ _35487) ^ [_47263] : [ir(_47263), -(icext(uri_rdfs_Resource, _47263))], (955 ^ _35487) ^ [] : [-(ic(uri_rdfs_Resource))], (957 ^ _35487) ^ [_47356] : [icext(uri_owl_Restriction, _47356), -(ic(_47356))], (963 ^ _35487) ^ [] : [-(ic(uri_owl_Restriction))], (965 ^ _35487) ^ [_47447] : [icext(uri_owl_SymmetricProperty, _47447), -(ip(_47447))], (971 ^ _35487) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (973 ^ _35487) ^ [_47550] : [icext(uri_owl_Thing, _47550), -(ir(_47550))], (979 ^ _35487) ^ [_47619] : [ir(_47619), -(icext(uri_owl_Thing, _47619))], (985 ^ _35487) ^ [] : [-(ic(uri_owl_Thing))], (987 ^ _35487) ^ [_47712] : [icext(uri_owl_TransitiveProperty, _47712), -(ip(_47712))], (993 ^ _35487) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (995 ^ _35487) ^ [_47803, _47805] : [iext(uri_owl_allValuesFrom, _47805, _47803), 998 ^ _35487 : [(999 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _47805))], (1001 ^ _35487) ^ [] : [-(ic(_47803))]]], (1003 ^ _35487) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1005 ^ _35487) ^ [_47924, _47926] : [iext(uri_owl_annotatedProperty, _47926, _47924), 1008 ^ _35487 : [(1009 ^ _35487) ^ [] : [-(ir(_47926))], (1011 ^ _35487) ^ [] : [-(ir(_47924))]]], (1013 ^ _35487) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1015 ^ _35487) ^ [_48043, _48045] : [iext(uri_owl_annotatedSource, _48045, _48043), 1018 ^ _35487 : [(1019 ^ _35487) ^ [] : [-(ir(_48045))], (1021 ^ _35487) ^ [] : [-(ir(_48043))]]], (1023 ^ _35487) ^ [] : [-(ip(uri_owl_annotatedSource))], (1025 ^ _35487) ^ [_48162, _48164] : [iext(uri_owl_annotatedTarget, _48164, _48162), 1028 ^ _35487 : [(1029 ^ _35487) ^ [] : [-(ir(_48164))], (1031 ^ _35487) ^ [] : [-(ir(_48162))]]], (1033 ^ _35487) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1035 ^ _35487) ^ [_48281, _48283] : [iext(uri_owl_assertionProperty, _48283, _48281), 1038 ^ _35487 : [(1039 ^ _35487) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48283))], (1041 ^ _35487) ^ [] : [-(ip(_48281))]]], (1043 ^ _35487) ^ [] : [-(ip(uri_owl_assertionProperty))], (1045 ^ _35487) ^ [_48402, _48404] : [iext(uri_owl_backwardCompatibleWith, _48404, _48402), 1048 ^ _35487 : [(1049 ^ _35487) ^ [] : [-(ix(_48404))], (1051 ^ _35487) ^ [] : [-(ix(_48402))]]], (1053 ^ _35487) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1055 ^ _35487) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1057 ^ _35487) ^ [_48551, _48553] : [iext(uri_owl_bottomDataProperty, _48553, _48551)], (1059 ^ _35487) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1061 ^ _35487) ^ [_48607, _48609] : [iext(uri_owl_bottomObjectProperty, _48609, _48607)], (1063 ^ _35487) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1065 ^ _35487) ^ [_48651, _48653] : [iext(uri_owl_cardinality, _48653, _48651), 1068 ^ _35487 : [(1069 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _48653))], (1071 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48651))]]], (1073 ^ _35487) ^ [] : [-(ip(uri_owl_cardinality))], (1075 ^ _35487) ^ [_48774, _48776] : [iext(uri_rdfs_comment, _48776, _48774), 1078 ^ _35487 : [(1079 ^ _35487) ^ [] : [-(ir(_48776))], (1081 ^ _35487) ^ [] : [-(lv(_48774))]]], (1083 ^ _35487) ^ [] : [-(ioap(uri_rdfs_comment))], (1085 ^ _35487) ^ [_48893, _48895] : [iext(uri_owl_complementOf, _48895, _48893), 1088 ^ _35487 : [(1089 ^ _35487) ^ [] : [-(ic(_48895))], (1091 ^ _35487) ^ [] : [-(ic(_48893))]]], (1093 ^ _35487) ^ [] : [-(ip(uri_owl_complementOf))], (1095 ^ _35487) ^ [_49012, _49014] : [iext(uri_owl_datatypeComplementOf, _49014, _49012), 1098 ^ _35487 : [(1099 ^ _35487) ^ [] : [-(idc(_49014))], (1101 ^ _35487) ^ [] : [-(idc(_49012))]]], (1103 ^ _35487) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1105 ^ _35487) ^ [_49131, _49133] : [iext(uri_owl_deprecated, _49133, _49131), 1108 ^ _35487 : [(1109 ^ _35487) ^ [] : [-(ir(_49133))], (1111 ^ _35487) ^ [] : [-(ir(_49131))]]], (1113 ^ _35487) ^ [] : [-(ioap(uri_owl_deprecated))], (1115 ^ _35487) ^ [_49250, _49252] : [iext(uri_owl_differentFrom, _49252, _49250), 1118 ^ _35487 : [(1119 ^ _35487) ^ [] : [-(ir(_49252))], (1121 ^ _35487) ^ [] : [-(ir(_49250))]]], (1123 ^ _35487) ^ [] : [-(ip(uri_owl_differentFrom))], (1125 ^ _35487) ^ [_49369, _49371] : [iext(uri_owl_disjointUnionOf, _49371, _49369), 1128 ^ _35487 : [(1129 ^ _35487) ^ [] : [-(ic(_49371))], (1131 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _49369))]]], (1133 ^ _35487) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1135 ^ _35487) ^ [_49490, _49492] : [iext(uri_owl_disjointWith, _49492, _49490), 1138 ^ _35487 : [(1139 ^ _35487) ^ [] : [-(ic(_49492))], (1141 ^ _35487) ^ [] : [-(ic(_49490))]]], (1143 ^ _35487) ^ [] : [-(ip(uri_owl_disjointWith))], (1145 ^ _35487) ^ [_49609, _49611] : [iext(uri_owl_distinctMembers, _49611, _49609), 1148 ^ _35487 : [(1149 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, _49611))], (1151 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _49609))]]], (1153 ^ _35487) ^ [] : [-(ip(uri_owl_distinctMembers))], (1155 ^ _35487) ^ [_49732, _49734] : [iext(uri_owl_equivalentClass, _49734, _49732), 1158 ^ _35487 : [(1159 ^ _35487) ^ [] : [-(ic(_49734))], (1161 ^ _35487) ^ [] : [-(ic(_49732))]]], (1163 ^ _35487) ^ [] : [-(ip(uri_owl_equivalentClass))], (1165 ^ _35487) ^ [_49851, _49853] : [iext(uri_owl_equivalentProperty, _49853, _49851), 1168 ^ _35487 : [(1169 ^ _35487) ^ [] : [-(ip(_49853))], (1171 ^ _35487) ^ [] : [-(ip(_49851))]]], (1173 ^ _35487) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1175 ^ _35487) ^ [_49970, _49972] : [iext(uri_owl_hasKey, _49972, _49970), 1178 ^ _35487 : [(1179 ^ _35487) ^ [] : [-(ic(_49972))], (1181 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _49970))]]], (1183 ^ _35487) ^ [] : [-(ip(uri_owl_hasKey))], (1185 ^ _35487) ^ [_50091, _50093] : [iext(uri_owl_hasSelf, _50093, _50091), 1188 ^ _35487 : [(1189 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _50093))], (1191 ^ _35487) ^ [] : [-(ir(_50091))]]], (1193 ^ _35487) ^ [] : [-(ip(uri_owl_hasSelf))], (1195 ^ _35487) ^ [_50212, _50214] : [iext(uri_owl_hasValue, _50214, _50212), 1198 ^ _35487 : [(1199 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _50214))], (1201 ^ _35487) ^ [] : [-(ir(_50212))]]], (1203 ^ _35487) ^ [] : [-(ip(uri_owl_hasValue))], (1205 ^ _35487) ^ [_50333, _50335] : [iext(uri_owl_imports, _50335, _50333), 1208 ^ _35487 : [(1209 ^ _35487) ^ [] : [-(ix(_50335))], (1211 ^ _35487) ^ [] : [-(ix(_50333))]]], (1213 ^ _35487) ^ [] : [-(ioxp(uri_owl_imports))], (1215 ^ _35487) ^ [_50452, _50454] : [iext(uri_owl_incompatibleWith, _50454, _50452), 1218 ^ _35487 : [(1219 ^ _35487) ^ [] : [-(ix(_50454))], (1221 ^ _35487) ^ [] : [-(ix(_50452))]]], (1223 ^ _35487) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1225 ^ _35487) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1227 ^ _35487) ^ [_50589, _50591] : [iext(uri_owl_intersectionOf, _50591, _50589), 1230 ^ _35487 : [(1231 ^ _35487) ^ [] : [-(ic(_50591))], (1233 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _50589))]]], (1235 ^ _35487) ^ [] : [-(ip(uri_owl_intersectionOf))], (1237 ^ _35487) ^ [_50710, _50712] : [iext(uri_owl_inverseOf, _50712, _50710), 1240 ^ _35487 : [(1241 ^ _35487) ^ [] : [-(ip(_50712))], (1243 ^ _35487) ^ [] : [-(ip(_50710))]]], (1245 ^ _35487) ^ [] : [-(ip(uri_owl_inverseOf))], (1247 ^ _35487) ^ [_50829, _50831] : [iext(uri_rdfs_isDefinedBy, _50831, _50829), 1250 ^ _35487 : [(1251 ^ _35487) ^ [] : [-(ir(_50831))], (1253 ^ _35487) ^ [] : [-(ir(_50829))]]], (1255 ^ _35487) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1257 ^ _35487) ^ [_50948, _50950] : [iext(uri_rdfs_label, _50950, _50948), 1260 ^ _35487 : [(1261 ^ _35487) ^ [] : [-(ir(_50950))], (1263 ^ _35487) ^ [] : [-(lv(_50948))]]], (1265 ^ _35487) ^ [] : [-(ioap(uri_rdfs_label))], (1267 ^ _35487) ^ [_51067, _51069] : [iext(uri_owl_maxCardinality, _51069, _51067), 1270 ^ _35487 : [(1271 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51069))], (1273 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51067))]]], (1275 ^ _35487) ^ [] : [-(ip(uri_owl_maxCardinality))], (1277 ^ _35487) ^ [_51190, _51192] : [iext(uri_owl_maxQualifiedCardinality, _51192, _51190), 1280 ^ _35487 : [(1281 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51192))], (1283 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51190))]]], (1285 ^ _35487) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1287 ^ _35487) ^ [_51313, _51315] : [iext(uri_owl_members, _51315, _51313), 1290 ^ _35487 : [(1291 ^ _35487) ^ [] : [-(ir(_51315))], (1293 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _51313))]]], (1295 ^ _35487) ^ [] : [-(ip(uri_owl_members))], (1297 ^ _35487) ^ [_51434, _51436] : [iext(uri_owl_minCardinality, _51436, _51434), 1300 ^ _35487 : [(1301 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51436))], (1303 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51434))]]], (1305 ^ _35487) ^ [] : [-(ip(uri_owl_minCardinality))], (1307 ^ _35487) ^ [_51557, _51559] : [iext(uri_owl_minQualifiedCardinality, _51559, _51557), 1310 ^ _35487 : [(1311 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51559))], (1313 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51557))]]], (1315 ^ _35487) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1317 ^ _35487) ^ [_51680, _51682] : [iext(uri_owl_onClass, _51682, _51680), 1320 ^ _35487 : [(1321 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51682))], (1323 ^ _35487) ^ [] : [-(ic(_51680))]]], (1325 ^ _35487) ^ [] : [-(ip(uri_owl_onClass))], (1327 ^ _35487) ^ [_51801, _51803] : [iext(uri_owl_onDataRange, _51803, _51801), 1330 ^ _35487 : [(1331 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _51803))], (1333 ^ _35487) ^ [] : [-(idc(_51801))]]], (1335 ^ _35487) ^ [] : [-(ip(uri_owl_onDataRange))], (1337 ^ _35487) ^ [_51922, _51924] : [iext(uri_owl_onDatatype, _51924, _51922), 1340 ^ _35487 : [(1341 ^ _35487) ^ [] : [-(idc(_51924))], (1343 ^ _35487) ^ [] : [-(idc(_51922))]]], (1345 ^ _35487) ^ [] : [-(ip(uri_owl_onDatatype))], (1347 ^ _35487) ^ [_52041, _52043] : [iext(uri_owl_oneOf, _52043, _52041), 1350 ^ _35487 : [(1351 ^ _35487) ^ [] : [-(ic(_52043))], (1353 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _52041))]]], (1355 ^ _35487) ^ [] : [-(ip(uri_owl_oneOf))], (1357 ^ _35487) ^ [_52162, _52164] : [iext(uri_owl_onProperty, _52164, _52162), 1360 ^ _35487 : [(1361 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _52164))], (1363 ^ _35487) ^ [] : [-(ip(_52162))]]], (1365 ^ _35487) ^ [] : [-(ip(uri_owl_onProperty))], (1367 ^ _35487) ^ [_52283, _52285] : [iext(uri_owl_priorVersion, _52285, _52283), 1370 ^ _35487 : [(1371 ^ _35487) ^ [] : [-(ix(_52285))], (1373 ^ _35487) ^ [] : [-(ix(_52283))]]], (1375 ^ _35487) ^ [] : [-(ioap(uri_owl_priorVersion))], (1377 ^ _35487) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1379 ^ _35487) ^ [_52420, _52422] : [iext(uri_owl_propertyChainAxiom, _52422, _52420), 1382 ^ _35487 : [(1383 ^ _35487) ^ [] : [-(ip(_52422))], (1385 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _52420))]]], (1387 ^ _35487) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1389 ^ _35487) ^ [_52541, _52543] : [iext(uri_owl_propertyDisjointWith, _52543, _52541), 1392 ^ _35487 : [(1393 ^ _35487) ^ [] : [-(ip(_52543))], (1395 ^ _35487) ^ [] : [-(ip(_52541))]]], (1397 ^ _35487) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1399 ^ _35487) ^ [_52660, _52662] : [iext(uri_owl_qualifiedCardinality, _52662, _52660), 1402 ^ _35487 : [(1403 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _52662))], (1405 ^ _35487) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52660))]]], (1407 ^ _35487) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1409 ^ _35487) ^ [_52783, _52785] : [iext(uri_owl_sameAs, _52785, _52783), 1412 ^ _35487 : [(1413 ^ _35487) ^ [] : [-(ir(_52785))], (1415 ^ _35487) ^ [] : [-(ir(_52783))]]], (1417 ^ _35487) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _35487) ^ [_52902, _52904] : [iext(uri_rdfs_seeAlso, _52904, _52902), 1422 ^ _35487 : [(1423 ^ _35487) ^ [] : [-(ir(_52904))], (1425 ^ _35487) ^ [] : [-(ir(_52902))]]], (1427 ^ _35487) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1429 ^ _35487) ^ [_53021, _53023] : [iext(uri_owl_someValuesFrom, _53023, _53021), 1432 ^ _35487 : [(1433 ^ _35487) ^ [] : [-(icext(uri_owl_Restriction, _53023))], (1435 ^ _35487) ^ [] : [-(ic(_53021))]]], (1437 ^ _35487) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1439 ^ _35487) ^ [_53142, _53144] : [iext(uri_owl_sourceIndividual, _53144, _53142), 1442 ^ _35487 : [(1443 ^ _35487) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53144))], (1445 ^ _35487) ^ [] : [-(ir(_53142))]]], (1447 ^ _35487) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1449 ^ _35487) ^ [_53263, _53265] : [iext(uri_owl_targetIndividual, _53265, _53263), 1452 ^ _35487 : [(1453 ^ _35487) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53265))], (1455 ^ _35487) ^ [] : [-(ir(_53263))]]], (1457 ^ _35487) ^ [] : [-(ip(uri_owl_targetIndividual))], (1459 ^ _35487) ^ [_53384, _53386] : [iext(uri_owl_targetValue, _53386, _53384), 1462 ^ _35487 : [(1463 ^ _35487) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53386))], (1465 ^ _35487) ^ [] : [-(lv(_53384))]]], (1467 ^ _35487) ^ [] : [-(ip(uri_owl_targetValue))], (1469 ^ _35487) ^ [_53520, _53522] : [iext(uri_owl_topDataProperty, _53522, _53520), 1472 ^ _35487 : [(1473 ^ _35487) ^ [] : [-(ir(_53522))], (1475 ^ _35487) ^ [] : [-(lv(_53520))]]], (1477 ^ _35487) ^ [_53617, _53619] : [-(iext(uri_owl_topDataProperty, _53619, _53617)), ir(_53619), lv(_53617)], (1487 ^ _35487) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1489 ^ _35487) ^ [_53779, _53781] : [iext(uri_owl_topObjectProperty, _53781, _53779), 1492 ^ _35487 : [(1493 ^ _35487) ^ [] : [-(ir(_53781))], (1495 ^ _35487) ^ [] : [-(ir(_53779))]]], (1497 ^ _35487) ^ [_53876, _53878] : [-(iext(uri_owl_topObjectProperty, _53878, _53876)), ir(_53878), ir(_53876)], (1507 ^ _35487) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1509 ^ _35487) ^ [_54023, _54025] : [iext(uri_owl_unionOf, _54025, _54023), 1512 ^ _35487 : [(1513 ^ _35487) ^ [] : [-(ic(_54025))], (1515 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _54023))]]], (1517 ^ _35487) ^ [] : [-(ip(uri_owl_unionOf))], (1519 ^ _35487) ^ [_54144, _54146] : [iext(uri_owl_versionInfo, _54146, _54144), 1522 ^ _35487 : [(1523 ^ _35487) ^ [] : [-(ir(_54146))], (1525 ^ _35487) ^ [] : [-(ir(_54144))]]], (1527 ^ _35487) ^ [] : [-(ioap(uri_owl_versionInfo))], (1529 ^ _35487) ^ [_54263, _54265] : [iext(uri_owl_versionIRI, _54265, _54263), 1532 ^ _35487 : [(1533 ^ _35487) ^ [] : [-(ix(_54265))], (1535 ^ _35487) ^ [] : [-(ix(_54263))]]], (1537 ^ _35487) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1539 ^ _35487) ^ [_54382, _54384] : [iext(uri_owl_withRestrictions, _54384, _54382), 1542 ^ _35487 : [(1543 ^ _35487) ^ [] : [-(idc(_54384))], (1545 ^ _35487) ^ [] : [-(icext(uri_rdf_List, _54382))]]], (1547 ^ _35487) ^ [] : [-(ip(uri_owl_withRestrictions))], (1549 ^ _35487) ^ [_54503, _54505] : [iext(uri_owl_complementOf, _54505, _54503), 1552 ^ _35487 : [(1553 ^ _35487) ^ [] : [-(ic(_54505))], (1555 ^ _35487) ^ [] : [-(ic(_54503))], (1557 ^ _35487) ^ [_54633] : [icext(_54505, _54633), icext(_54503, _54633)], (1563 ^ _35487) ^ [_54707] : [-(icext(_54503, _54707)), -(icext(_54505, _54707))]]], (1569 ^ _35487) ^ [_54751, _54753] : [iext(uri_owl_datatypeComplementOf, _54753, _54751), 1572 ^ _35487 : [(1573 ^ _35487) ^ [_54835] : [icext(_54753, _54835), 1576 ^ _35487 : [(1577 ^ _35487) ^ [] : [-(lv(_54835))], (1579 ^ _35487) ^ [] : [icext(_54751, _54835)]]], (1581 ^ _35487) ^ [_54942] : [-(icext(_54753, _54942)), lv(_54942), -(icext(_54751, _54942))]]], (1609 ^ _35487) ^ [_55344] : [-(iext(uri_owl_intersectionOf, _55344, uri_rdf_nil)), ic(_55344), 1617 ^ _35487 : [(1618 ^ _35487) ^ [] : [-(icext(_55344, 1614 ^ [_55344]))], (1620 ^ _35487) ^ [] : [ir(1614 ^ [_55344])]], 1621 ^ _35487 : [(1622 ^ _35487) ^ [] : [-(ir(1614 ^ [_55344]))], (1624 ^ _35487) ^ [] : [icext(_55344, 1614 ^ [_55344])]]], (1591 ^ _35487) ^ [_55094] : [iext(uri_owl_intersectionOf, _55094, uri_rdf_nil), 1594 ^ _35487 : [(1595 ^ _35487) ^ [] : [-(ic(_55094))], (1597 ^ _35487) ^ [_55194] : [icext(_55094, _55194), -(ir(_55194))], (1603 ^ _35487) ^ [_55265] : [ir(_55265), -(icext(_55094, _55265))]]], (1628 ^ _35487) ^ [_55614, _55616, _55618] : [iext(uri_rdf_first, _55616, _55614), iext(uri_rdf_rest, _55616, uri_rdf_nil), 1635 ^ _35487 : [(1636 ^ _35487) ^ [] : [iext(uri_owl_intersectionOf, _55618, _55616), 1639 ^ _35487 : [(1640 ^ _35487) ^ [] : [-(ic(_55618))], (1642 ^ _35487) ^ [] : [-(ic(_55614))], (1644 ^ _35487) ^ [_55863] : [icext(_55618, _55863), -(icext(_55614, _55863))], (1650 ^ _35487) ^ [_55940] : [icext(_55614, _55940), -(icext(_55618, _55940))]]], (1656 ^ _35487) ^ [] : [-(iext(uri_owl_intersectionOf, _55618, _55616)), ic(_55618), ic(_55614), 1668 ^ _35487 : [(1669 ^ _35487) ^ [] : [-(icext(_55618, 1665 ^ [_55614, _55616, _55618]))], (1671 ^ _35487) ^ [] : [icext(_55614, 1665 ^ [_55614, _55616, _55618])]], 1672 ^ _35487 : [(1673 ^ _35487) ^ [] : [-(icext(_55614, 1665 ^ [_55614, _55616, _55618]))], (1675 ^ _35487) ^ [] : [icext(_55618, 1665 ^ [_55614, _55616, _55618])]]]]], (1679 ^ _35487) ^ [_56361, _56363, _56365, _56367, _56369] : [iext(uri_rdf_first, _56367, _56365), iext(uri_rdf_rest, _56367, _56363), iext(uri_rdf_first, _56363, _56361), iext(uri_rdf_rest, _56363, uri_rdf_nil), 1694 ^ _35487 : [(1695 ^ _35487) ^ [] : [iext(uri_owl_intersectionOf, _56369, _56367), 1698 ^ _35487 : [(1699 ^ _35487) ^ [] : [-(ic(_56369))], (1701 ^ _35487) ^ [] : [-(ic(_56365))], (1703 ^ _35487) ^ [] : [-(ic(_56361))], (1705 ^ _35487) ^ [_56773] : [icext(_56369, _56773), 1708 ^ _35487 : [(1709 ^ _35487) ^ [] : [-(icext(_56365, _56773))], (1711 ^ _35487) ^ [] : [-(icext(_56361, _56773))]]], (1713 ^ _35487) ^ [_56880] : [-(icext(_56369, _56880)), icext(_56365, _56880), icext(_56361, _56880)]]], (1723 ^ _35487) ^ [] : [-(iext(uri_owl_intersectionOf, _56369, _56367)), ic(_56369), ic(_56365), ic(_56361), 1747 ^ _35487 : [(1748 ^ _35487) ^ [] : [-(icext(_56365, 1736 ^ [_56361, _56363, _56365, _56367, _56369]))], (1750 ^ _35487) ^ [] : [-(icext(_56361, 1736 ^ [_56361, _56363, _56365, _56367, _56369]))], (1752 ^ _35487) ^ [] : [icext(_56369, 1736 ^ [_56361, _56363, _56365, _56367, _56369])]], 1739 ^ _35487 : [(1740 ^ _35487) ^ [] : [-(icext(_56369, 1736 ^ [_56361, _56363, _56365, _56367, _56369]))], (1742 ^ _35487) ^ [] : [icext(_56365, 1736 ^ [_56361, _56363, _56365, _56367, _56369]), icext(_56361, 1736 ^ [_56361, _56363, _56365, _56367, _56369])]]]]], (1756 ^ _35487) ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572] : [iext(uri_rdf_first, _57570, _57568), iext(uri_rdf_rest, _57570, _57566), iext(uri_rdf_first, _57566, _57564), iext(uri_rdf_rest, _57566, _57562), iext(uri_rdf_first, _57562, _57560), iext(uri_rdf_rest, _57562, uri_rdf_nil), 1779 ^ _35487 : [(1780 ^ _35487) ^ [] : [iext(uri_owl_intersectionOf, _57572, _57570), 1783 ^ _35487 : [(1784 ^ _35487) ^ [] : [-(ic(_57572))], (1786 ^ _35487) ^ [] : [-(ic(_57568))], (1788 ^ _35487) ^ [] : [-(ic(_57564))], (1790 ^ _35487) ^ [] : [-(ic(_57560))], (1792 ^ _35487) ^ [_58151] : [icext(_57572, _58151), 1795 ^ _35487 : [(1796 ^ _35487) ^ [] : [-(icext(_57568, _58151))], (1798 ^ _35487) ^ [] : [-(icext(_57564, _58151))], (1800 ^ _35487) ^ [] : [-(icext(_57560, _58151))]]], (1802 ^ _35487) ^ [_58286] : [-(icext(_57572, _58286)), icext(_57568, _58286), icext(_57564, _58286), icext(_57560, _58286)]]], (1816 ^ _35487) ^ [] : [-(iext(uri_owl_intersectionOf, _57572, _57570)), ic(_57572), ic(_57568), ic(_57564), ic(_57560), 1848 ^ _35487 : [(1849 ^ _35487) ^ [] : [-(icext(_57568, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]))], (1851 ^ _35487) ^ [] : [-(icext(_57564, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]))], (1853 ^ _35487) ^ [] : [-(icext(_57560, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]))], (1855 ^ _35487) ^ [] : [icext(_57572, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572])]], 1836 ^ _35487 : [(1837 ^ _35487) ^ [] : [-(icext(_57572, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]))], (1839 ^ _35487) ^ [] : [icext(_57568, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]), icext(_57564, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572]), icext(_57560, 1833 ^ [_57560, _57562, _57564, _57566, _57568, _57570, _57572])]]]]], (1859 ^ _35487) ^ [_59267, _59269, _59271] : [-(idc(_59271)), iext(uri_rdf_first, _59269, _59267), iext(uri_rdf_rest, _59269, uri_rdf_nil), idc(_59267), iext(uri_owl_intersectionOf, _59271, _59269)], (1877 ^ _35487) ^ [_59510, _59512, _59514, _59516, _59518] : [-(idc(_59518)), iext(uri_rdf_first, _59516, _59514), iext(uri_rdf_rest, _59516, _59512), iext(uri_rdf_first, _59512, _59510), iext(uri_rdf_rest, _59512, uri_rdf_nil), idc(_59514), idc(_59510), iext(uri_owl_intersectionOf, _59518, _59516)], (1907 ^ _35487) ^ [_59945, _59947, _59949, _59951, _59953, _59955, _59957] : [-(idc(_59957)), iext(uri_rdf_first, _59955, _59953), iext(uri_rdf_rest, _59955, _59951), iext(uri_rdf_first, _59951, _59949), iext(uri_rdf_rest, _59951, _59947), iext(uri_rdf_first, _59947, _59945), iext(uri_rdf_rest, _59947, uri_rdf_nil), idc(_59953), idc(_59949), idc(_59945), iext(uri_owl_intersectionOf, _59957, _59955)], (1949 ^ _35487) ^ [_60608] : [iext(uri_owl_unionOf, _60608, uri_rdf_nil), 1952 ^ _35487 : [(1953 ^ _35487) ^ [] : [-(ic(_60608))], (1955 ^ _35487) ^ [_60698] : [icext(_60608, _60698)]]], (1957 ^ _35487) ^ [_60723] : [-(iext(uri_owl_unionOf, _60723, uri_rdf_nil)), ic(_60723), -(icext(_60723, 1962 ^ [_60723]))], (1968 ^ _35487) ^ [_60863, _60865, _60867] : [iext(uri_rdf_first, _60865, _60863), iext(uri_rdf_rest, _60865, uri_rdf_nil), 1975 ^ _35487 : [(1976 ^ _35487) ^ [] : [iext(uri_owl_unionOf, _60867, _60865), 1979 ^ _35487 : [(1980 ^ _35487) ^ [] : [-(ic(_60867))], (1982 ^ _35487) ^ [] : [-(ic(_60863))], (1984 ^ _35487) ^ [_61112] : [icext(_60867, _61112), -(icext(_60863, _61112))], (1990 ^ _35487) ^ [_61189] : [icext(_60863, _61189), -(icext(_60867, _61189))]]], (1996 ^ _35487) ^ [] : [-(iext(uri_owl_unionOf, _60867, _60865)), ic(_60867), ic(_60863), 2008 ^ _35487 : [(2009 ^ _35487) ^ [] : [-(icext(_60867, 2005 ^ [_60863, _60865, _60867]))], (2011 ^ _35487) ^ [] : [icext(_60863, 2005 ^ [_60863, _60865, _60867])]], 2012 ^ _35487 : [(2013 ^ _35487) ^ [] : [-(icext(_60863, 2005 ^ [_60863, _60865, _60867]))], (2015 ^ _35487) ^ [] : [icext(_60867, 2005 ^ [_60863, _60865, _60867])]]]]], (2019 ^ _35487) ^ [_61610, _61612, _61614, _61616, _61618] : [iext(uri_rdf_first, _61616, _61614), iext(uri_rdf_rest, _61616, _61612), iext(uri_rdf_first, _61612, _61610), iext(uri_rdf_rest, _61612, uri_rdf_nil), 2034 ^ _35487 : [(2035 ^ _35487) ^ [] : [iext(uri_owl_unionOf, _61618, _61616), 2038 ^ _35487 : [(2039 ^ _35487) ^ [] : [-(ic(_61618))], (2041 ^ _35487) ^ [] : [-(ic(_61614))], (2043 ^ _35487) ^ [] : [-(ic(_61610))], (2055 ^ _35487) ^ [_62116] : [2056 ^ _35487 : [(2057 ^ _35487) ^ [] : [icext(_61614, _62116)], (2059 ^ _35487) ^ [] : [icext(_61610, _62116)]], -(icext(_61618, _62116))], (2045 ^ _35487) ^ [_62022] : [icext(_61618, _62022), -(icext(_61614, _62022)), -(icext(_61610, _62022))]]], (2063 ^ _35487) ^ [] : [-(iext(uri_owl_unionOf, _61618, _61616)), ic(_61618), ic(_61614), ic(_61610), 2079 ^ _35487 : [(2080 ^ _35487) ^ [] : [-(icext(_61618, 2076 ^ [_61610, _61612, _61614, _61616, _61618]))], (2082 ^ _35487) ^ [] : [icext(_61614, 2076 ^ [_61610, _61612, _61614, _61616, _61618])], (2084 ^ _35487) ^ [] : [icext(_61610, 2076 ^ [_61610, _61612, _61614, _61616, _61618])]], 2085 ^ _35487 : [(2092 ^ _35487) ^ [] : [icext(_61618, 2076 ^ [_61610, _61612, _61614, _61616, _61618])], (2086 ^ _35487) ^ [] : [-(icext(_61614, 2076 ^ [_61610, _61612, _61614, _61616, _61618])), -(icext(_61610, 2076 ^ [_61610, _61612, _61614, _61616, _61618]))]]]]], (2096 ^ _35487) ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750] : [iext(uri_rdf_first, _62748, _62746), iext(uri_rdf_rest, _62748, _62744), iext(uri_rdf_first, _62744, _62742), iext(uri_rdf_rest, _62744, _62740), iext(uri_rdf_first, _62740, _62738), iext(uri_rdf_rest, _62740, uri_rdf_nil), 2119 ^ _35487 : [(2120 ^ _35487) ^ [] : [iext(uri_owl_unionOf, _62750, _62748), 2123 ^ _35487 : [(2124 ^ _35487) ^ [] : [-(ic(_62750))], (2126 ^ _35487) ^ [] : [-(ic(_62746))], (2128 ^ _35487) ^ [] : [-(ic(_62742))], (2130 ^ _35487) ^ [] : [-(ic(_62738))], (2146 ^ _35487) ^ [_63440] : [2147 ^ _35487 : [(2148 ^ _35487) ^ [] : [icext(_62746, _63440)], (2150 ^ _35487) ^ [] : [icext(_62742, _63440)], (2152 ^ _35487) ^ [] : [icext(_62738, _63440)]], -(icext(_62750, _63440))], (2132 ^ _35487) ^ [_63329] : [icext(_62750, _63329), -(icext(_62746, _63329)), -(icext(_62742, _63329)), -(icext(_62738, _63329))]]], (2156 ^ _35487) ^ [] : [-(iext(uri_owl_unionOf, _62750, _62748)), ic(_62750), ic(_62746), ic(_62742), ic(_62738), 2176 ^ _35487 : [(2177 ^ _35487) ^ [] : [-(icext(_62750, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750]))], (2179 ^ _35487) ^ [] : [icext(_62746, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])], (2181 ^ _35487) ^ [] : [icext(_62742, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])], (2183 ^ _35487) ^ [] : [icext(_62738, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])]], 2184 ^ _35487 : [(2195 ^ _35487) ^ [] : [icext(_62750, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])], (2185 ^ _35487) ^ [] : [-(icext(_62746, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])), -(icext(_62742, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750])), -(icext(_62738, 2173 ^ [_62738, _62740, _62742, _62744, _62746, _62748, _62750]))]]]]], (2199 ^ _35487) ^ [_64286, _64288, _64290] : [-(idc(_64290)), iext(uri_rdf_first, _64288, _64286), iext(uri_rdf_rest, _64288, uri_rdf_nil), idc(_64286), iext(uri_owl_unionOf, _64290, _64288)], (2217 ^ _35487) ^ [_64529, _64531, _64533, _64535, _64537] : [-(idc(_64537)), iext(uri_rdf_first, _64535, _64533), iext(uri_rdf_rest, _64535, _64531), iext(uri_rdf_first, _64531, _64529), iext(uri_rdf_rest, _64531, uri_rdf_nil), idc(_64533), idc(_64529), iext(uri_owl_unionOf, _64537, _64535)], (2247 ^ _35487) ^ [_64964, _64966, _64968, _64970, _64972, _64974, _64976] : [-(idc(_64976)), iext(uri_rdf_first, _64974, _64972), iext(uri_rdf_rest, _64974, _64970), iext(uri_rdf_first, _64970, _64968), iext(uri_rdf_rest, _64970, _64966), iext(uri_rdf_first, _64966, _64964), iext(uri_rdf_rest, _64966, uri_rdf_nil), idc(_64972), idc(_64968), idc(_64964), iext(uri_owl_unionOf, _64976, _64974)], (2289 ^ _35487) ^ [_65627] : [iext(uri_owl_oneOf, _65627, uri_rdf_nil), 2292 ^ _35487 : [(2293 ^ _35487) ^ [] : [-(ic(_65627))], (2295 ^ _35487) ^ [_65717] : [icext(_65627, _65717)]]], (2297 ^ _35487) ^ [_65742] : [-(iext(uri_owl_oneOf, _65742, uri_rdf_nil)), ic(_65742), -(icext(_65742, 2302 ^ [_65742]))], (2308 ^ _35487) ^ [_65882, _65884, _65886] : [iext(uri_rdf_first, _65884, _65882), iext(uri_rdf_rest, _65884, uri_rdf_nil), 2315 ^ _35487 : [(2334 ^ _35487) ^ [] : [-(iext(uri_owl_oneOf, _65886, _65884)), ic(_65886), 2342 ^ _35487 : [(2343 ^ _35487) ^ [] : [-(icext(_65886, 2339 ^ [_65882, _65884, _65886]))], (2345 ^ _35487) ^ [] : [2339 ^ [_65882, _65884, _65886] = _65882]], 2346 ^ _35487 : [(2347 ^ _35487) ^ [] : [-(2339 ^ [_65882, _65884, _65886] = _65882)], (2349 ^ _35487) ^ [] : [icext(_65886, 2339 ^ [_65882, _65884, _65886])]]], (2316 ^ _35487) ^ [] : [iext(uri_owl_oneOf, _65886, _65884), 2319 ^ _35487 : [(2320 ^ _35487) ^ [] : [-(ic(_65886))], (2322 ^ _35487) ^ [_66106] : [icext(_65886, _66106), -(_66106 = _65882)], (2328 ^ _35487) ^ [_66183] : [_66183 = _65882, -(icext(_65886, _66183))]]]]], (2353 ^ _35487) ^ [_66555, _66557, _66559, _66561, _66563] : [iext(uri_rdf_first, _66561, _66559), iext(uri_rdf_rest, _66561, _66557), iext(uri_rdf_first, _66557, _66555), iext(uri_rdf_rest, _66557, uri_rdf_nil), 2368 ^ _35487 : [(2393 ^ _35487) ^ [] : [-(iext(uri_owl_oneOf, _66563, _66561)), ic(_66563), 2401 ^ _35487 : [(2402 ^ _35487) ^ [] : [-(icext(_66563, 2398 ^ [_66555, _66557, _66559, _66561, _66563]))], (2404 ^ _35487) ^ [] : [2398 ^ [_66555, _66557, _66559, _66561, _66563] = _66559], (2406 ^ _35487) ^ [] : [2398 ^ [_66555, _66557, _66559, _66561, _66563] = _66555]], 2407 ^ _35487 : [(2414 ^ _35487) ^ [] : [icext(_66563, 2398 ^ [_66555, _66557, _66559, _66561, _66563])], (2408 ^ _35487) ^ [] : [-(2398 ^ [_66555, _66557, _66559, _66561, _66563] = _66559), -(2398 ^ [_66555, _66557, _66559, _66561, _66563] = _66555)]]], (2369 ^ _35487) ^ [] : [iext(uri_owl_oneOf, _66563, _66561), 2372 ^ _35487 : [(2373 ^ _35487) ^ [] : [-(ic(_66563))], (2385 ^ _35487) ^ [_67011] : [2386 ^ _35487 : [(2387 ^ _35487) ^ [] : [_67011 = _66559], (2389 ^ _35487) ^ [] : [_67011 = _66555]], -(icext(_66563, _67011))], (2375 ^ _35487) ^ [_66917] : [icext(_66563, _66917), -(_66917 = _66559), -(_66917 = _66555)]]]]], (2418 ^ _35487) ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] : [iext(uri_rdf_first, _67537, _67535), iext(uri_rdf_rest, _67537, _67533), iext(uri_rdf_first, _67533, _67531), iext(uri_rdf_rest, _67533, _67529), iext(uri_rdf_first, _67529, _67527), iext(uri_rdf_rest, _67529, uri_rdf_nil), 2441 ^ _35487 : [(2472 ^ _35487) ^ [] : [-(iext(uri_owl_oneOf, _67539, _67537)), ic(_67539), 2480 ^ _35487 : [(2481 ^ _35487) ^ [] : [-(icext(_67539, 2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539]))], (2483 ^ _35487) ^ [] : [2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67535], (2485 ^ _35487) ^ [] : [2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67531], (2487 ^ _35487) ^ [] : [2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67527]], 2488 ^ _35487 : [(2499 ^ _35487) ^ [] : [icext(_67539, 2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539])], (2489 ^ _35487) ^ [] : [-(2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67535), -(2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67531), -(2477 ^ [_67527, _67529, _67531, _67533, _67535, _67537, _67539] = _67527)]]], (2442 ^ _35487) ^ [] : [iext(uri_owl_oneOf, _67539, _67537), 2445 ^ _35487 : [(2446 ^ _35487) ^ [] : [-(ic(_67539))], (2462 ^ _35487) ^ [_68154] : [2463 ^ _35487 : [(2464 ^ _35487) ^ [] : [_68154 = _67535], (2466 ^ _35487) ^ [] : [_68154 = _67531], (2468 ^ _35487) ^ [] : [_68154 = _67527]], -(icext(_67539, _68154))], (2448 ^ _35487) ^ [_68043] : [icext(_67539, _68043), -(_68043 = _67535), -(_68043 = _67531), -(_68043 = _67527)]]]]], (2503 ^ _35487) ^ [_68829, _68831, _68833] : [-(idc(_68833)), iext(uri_rdf_first, _68831, _68829), iext(uri_rdf_rest, _68831, uri_rdf_nil), lv(_68829), iext(uri_owl_oneOf, _68833, _68831)], (2521 ^ _35487) ^ [_69072, _69074, _69076, _69078, _69080] : [-(idc(_69080)), iext(uri_rdf_first, _69078, _69076), iext(uri_rdf_rest, _69078, _69074), iext(uri_rdf_first, _69074, _69072), iext(uri_rdf_rest, _69074, uri_rdf_nil), lv(_69076), lv(_69072), iext(uri_owl_oneOf, _69080, _69078)], (2551 ^ _35487) ^ [_69507, _69509, _69511, _69513, _69515, _69517, _69519] : [-(idc(_69519)), iext(uri_rdf_first, _69517, _69515), iext(uri_rdf_rest, _69517, _69513), iext(uri_rdf_first, _69513, _69511), iext(uri_rdf_rest, _69513, _69509), iext(uri_rdf_first, _69509, _69507), iext(uri_rdf_rest, _69509, uri_rdf_nil), lv(_69515), lv(_69511), lv(_69507), iext(uri_owl_oneOf, _69519, _69517)], (2593 ^ _35487) ^ [_70158, _70160, _70162] : [iext(uri_owl_allValuesFrom, _70162, _70158), iext(uri_owl_onProperty, _70162, _70160), 2600 ^ _35487 : [(2611 ^ _35487) ^ [_70458] : [2613 ^ _35487 : [(2614 ^ _35487) ^ [] : [-(iext(_70160, _70458, 2612 ^ [_70158, _70160, _70162, _70458]))], (2616 ^ _35487) ^ [] : [icext(_70158, 2612 ^ [_70158, _70160, _70162, _70458])]], -(icext(_70162, _70458))], (2601 ^ _35487) ^ [_70305] : [icext(_70162, _70305), 2604 ^ _35487 : [(2605 ^ _35487) ^ [_70373] : [iext(_70160, _70305, _70373), -(icext(_70158, _70373))]]]]], (2620 ^ _35487) ^ [_70624, _70626] : [iext(uri_owl_cardinality, _70626, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70626, _70624), 2627 ^ _35487 : [(2628 ^ _35487) ^ [_70763] : [icext(_70626, _70763), 2631 ^ _35487 : [(2632 ^ _35487) ^ [_70830] : [iext(_70624, _70763, _70830)]]], (2634 ^ _35487) ^ [_70852] : [-(iext(_70624, _70852, 2635 ^ [_70624, _70626, _70852])), -(icext(_70626, _70852))]]], (2641 ^ _35487) ^ [_70904, _70906] : [iext(uri_owl_cardinality, _70906, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70906, _70904), 2648 ^ _35487 : [(2666 ^ _35487) ^ [_71341] : [-(icext(_70906, _71341)), 2669 ^ _35487 : [(2670 ^ _35487) ^ [_71474] : [iext(_70904, _71341, _71474)]], 2673 ^ _35487 : [(2674 ^ _35487) ^ [] : [-(iext(_70904, _71341, 2671 ^ [_70904, _70906, _71341]))], (2676 ^ _35487) ^ [] : [-(iext(_70904, _71341, 2672 ^ [_70904, _70906, _71341]))], (2678 ^ _35487) ^ [] : [2672 ^ [_70904, _70906, _71341] = 2671 ^ [_70904, _70906, _71341]]]], (2649 ^ _35487) ^ [_71071] : [icext(_70906, _71071), 2653 ^ _35487 : [(2654 ^ _35487) ^ [] : [-(iext(_70904, _71071, 2652 ^ [_70904, _70906, _71071]))], (2656 ^ _35487) ^ [_71192, _71194] : [-(_71192 = _71194), iext(_70904, _71071, _71194), iext(_70904, _71071, _71192)]]]]], (2682 ^ _35487) ^ [_72031, _72033] : [iext(uri_owl_cardinality, _72033, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72033, _72031), 2689 ^ _35487 : [(2720 ^ _35487) ^ [_73525] : [-(icext(_72033, _73525)), 2736 ^ _35487 : [(2737 ^ _35487) ^ [] : [-(iext(_72031, _73525, 2733 ^ [_72031, _72033, _73525]))], (2739 ^ _35487) ^ [] : [-(iext(_72031, _73525, 2734 ^ [_72031, _72033, _73525]))], (2741 ^ _35487) ^ [] : [-(iext(_72031, _73525, 2735 ^ [_72031, _72033, _73525]))], (2743 ^ _35487) ^ [] : [2735 ^ [_72031, _72033, _73525] = 2733 ^ [_72031, _72033, _73525]], (2745 ^ _35487) ^ [] : [2735 ^ [_72031, _72033, _73525] = 2734 ^ [_72031, _72033, _73525]]], 2723 ^ _35487 : [(2724 ^ _35487) ^ [_73736, _73738] : [iext(_72031, _73525, _73738), iext(_72031, _73525, _73736), -(_73738 = _73736)]]], (2690 ^ _35487) ^ [_72364] : [icext(_72033, _72364), 2695 ^ _35487 : [(2696 ^ _35487) ^ [] : [-(iext(_72031, _72364, 2693 ^ [_72031, _72033, _72364]))], (2698 ^ _35487) ^ [] : [-(iext(_72031, _72364, 2694 ^ [_72031, _72033, _72364]))], (2700 ^ _35487) ^ [] : [2693 ^ [_72031, _72033, _72364] = 2694 ^ [_72031, _72033, _72364]], (2702 ^ _35487) ^ [_72998, _73000, _73002] : [-(_72998 = _73002), -(_72998 = _73000), iext(_72031, _72364, _73002), iext(_72031, _72364, _73000), iext(_72031, _72364, _72998)]]]]], (2749 ^ _35487) ^ [_74837, _74839] : [iext(uri_owl_cardinality, _74839, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74839, _74837), 2756 ^ _35487 : [(2757 ^ _35487) ^ [_75216] : [icext(_74839, _75216), 2763 ^ _35487 : [(2764 ^ _35487) ^ [] : [-(iext(_74837, _75216, 2760 ^ [_74837, _74839, _75216]))], (2766 ^ _35487) ^ [] : [-(iext(_74837, _75216, 2761 ^ [_74837, _74839, _75216]))], (2768 ^ _35487) ^ [] : [-(iext(_74837, _75216, 2762 ^ [_74837, _74839, _75216]))], (2770 ^ _35487) ^ [] : [2760 ^ [_74837, _74839, _75216] = 2761 ^ [_74837, _74839, _75216]], (2772 ^ _35487) ^ [] : [2760 ^ [_74837, _74839, _75216] = 2762 ^ [_74837, _74839, _75216]], (2774 ^ _35487) ^ [] : [2761 ^ [_74837, _74839, _75216] = 2762 ^ [_74837, _74839, _75216]], (2776 ^ _35487) ^ [_76371, _76373, _76375, _76377] : [-(_76371 = _76377), -(_76371 = _76375), -(_76371 = _76373), iext(_74837, _75216, _76377), iext(_74837, _75216, _76375), iext(_74837, _75216, _76373), iext(_74837, _75216, _76371)]]], (2802 ^ _35487) ^ [_77145] : [-(icext(_74839, _77145)), 2831 ^ _35487 : [(2832 ^ _35487) ^ [] : [-(iext(_74837, _77145, 2827 ^ [_74837, _74839, _77145]))], (2834 ^ _35487) ^ [] : [-(iext(_74837, _77145, 2828 ^ [_74837, _74839, _77145]))], (2836 ^ _35487) ^ [] : [-(iext(_74837, _77145, 2829 ^ [_74837, _74839, _77145]))], (2838 ^ _35487) ^ [] : [-(iext(_74837, _77145, 2830 ^ [_74837, _74839, _77145]))], (2840 ^ _35487) ^ [] : [2830 ^ [_74837, _74839, _77145] = 2827 ^ [_74837, _74839, _77145]], (2842 ^ _35487) ^ [] : [2830 ^ [_74837, _74839, _77145] = 2828 ^ [_74837, _74839, _77145]], (2844 ^ _35487) ^ [] : [2830 ^ [_74837, _74839, _77145] = 2829 ^ [_74837, _74839, _77145]]], 2805 ^ _35487 : [(2806 ^ _35487) ^ [_77416, _77418, _77420] : [iext(_74837, _77145, _77420), iext(_74837, _77145, _77418), iext(_74837, _77145, _77416), -(_77420 = _77418), -(_77420 = _77416), -(_77418 = _77416)]]]]], (2848 ^ _35487) ^ [_79230, _79232, _79234] : [iext(uri_owl_qualifiedCardinality, _79234, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79234, _79232), iext(uri_owl_onDataRange, _79234, _79230), 2859 ^ _35487 : [(2860 ^ _35487) ^ [] : [-(iodp(_79232))], (2876 ^ _35487) ^ [_80135] : [2878 ^ _35487 : [(2879 ^ _35487) ^ [] : [-(lv(2877 ^ [_79230, _79232, _79234, _80135]))], (2881 ^ _35487) ^ [] : [-(iext(_79232, _80135, 2877 ^ [_79230, _79232, _79234, _80135]))], (2883 ^ _35487) ^ [] : [-(icext(_79230, 2877 ^ [_79230, _79232, _79234, _80135]))]], -(icext(_79234, _80135))], (2862 ^ _35487) ^ [_79683] : [icext(_79234, _79683), 2865 ^ _35487 : [(2866 ^ _35487) ^ [_79842] : [lv(_79842), iext(_79232, _79683, _79842), icext(_79230, _79842)]]]]], (2887 ^ _35487) ^ [_80653, _80655, _80657] : [iext(uri_owl_qualifiedCardinality, _80657, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _80657, _80655), iext(uri_owl_onDataRange, _80657, _80653), 2898 ^ _35487 : [(2899 ^ _35487) ^ [] : [-(iodp(_80655))], (2938 ^ _35487) ^ [_82421] : [-(icext(_80657, _82421)), 2953 ^ _35487 : [(2954 ^ _35487) ^ [] : [-(lv(2951 ^ [_80653, _80655, _80657, _82421]))], (2956 ^ _35487) ^ [] : [-(iext(_80655, _82421, 2951 ^ [_80653, _80655, _80657, _82421]))], (2958 ^ _35487) ^ [] : [-(icext(_80653, 2951 ^ [_80653, _80655, _80657, _82421]))], (2960 ^ _35487) ^ [] : [-(lv(2952 ^ [_80653, _80655, _80657, _82421]))], (2962 ^ _35487) ^ [] : [-(iext(_80655, _82421, 2952 ^ [_80653, _80655, _80657, _82421]))], (2964 ^ _35487) ^ [] : [-(icext(_80653, 2952 ^ [_80653, _80655, _80657, _82421]))], (2966 ^ _35487) ^ [] : [2952 ^ [_80653, _80655, _80657, _82421] = 2951 ^ [_80653, _80655, _80657, _82421]]], 2941 ^ _35487 : [(2942 ^ _35487) ^ [_82619] : [lv(_82619), iext(_80655, _82421, _82619), icext(_80653, _82619)]]], (2901 ^ _35487) ^ [_81156] : [icext(_80657, _81156), 2905 ^ _35487 : [(2906 ^ _35487) ^ [] : [-(lv(2904 ^ [_80653, _80655, _80657, _81156]))], (2908 ^ _35487) ^ [] : [-(iext(_80655, _81156, 2904 ^ [_80653, _80655, _80657, _81156]))], (2910 ^ _35487) ^ [] : [-(icext(_80653, 2904 ^ [_80653, _80655, _80657, _81156]))], (2912 ^ _35487) ^ [_81691, _81693] : [-(_81691 = _81693), lv(_81693), iext(_80655, _81156, _81693), icext(_80653, _81693), lv(_81691), iext(_80655, _81156, _81691), icext(_80653, _81691)]]]]], (2970 ^ _35487) ^ [_83848, _83850, _83852] : [iext(uri_owl_qualifiedCardinality, _83852, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _83852, _83850), iext(uri_owl_onDataRange, _83852, _83848), 2981 ^ _35487 : [(2982 ^ _35487) ^ [] : [-(iodp(_83850))], (3046 ^ _35487) ^ [_86731] : [-(icext(_83852, _86731)), 3078 ^ _35487 : [(3079 ^ _35487) ^ [] : [-(lv(3075 ^ [_83848, _83850, _83852, _86731]))], (3081 ^ _35487) ^ [] : [-(iext(_83850, _86731, 3075 ^ [_83848, _83850, _83852, _86731]))], (3083 ^ _35487) ^ [] : [-(icext(_83848, 3075 ^ [_83848, _83850, _83852, _86731]))], (3085 ^ _35487) ^ [] : [-(lv(3076 ^ [_83848, _83850, _83852, _86731]))], (3087 ^ _35487) ^ [] : [-(iext(_83850, _86731, 3076 ^ [_83848, _83850, _83852, _86731]))], (3089 ^ _35487) ^ [] : [-(icext(_83848, 3076 ^ [_83848, _83850, _83852, _86731]))], (3091 ^ _35487) ^ [] : [-(lv(3077 ^ [_83848, _83850, _83852, _86731]))], (3093 ^ _35487) ^ [] : [-(iext(_83850, _86731, 3077 ^ [_83848, _83850, _83852, _86731]))], (3095 ^ _35487) ^ [] : [-(icext(_83848, 3077 ^ [_83848, _83850, _83852, _86731]))], (3097 ^ _35487) ^ [] : [3077 ^ [_83848, _83850, _83852, _86731] = 3075 ^ [_83848, _83850, _83852, _86731]], (3099 ^ _35487) ^ [] : [3077 ^ [_83848, _83850, _83852, _86731] = 3076 ^ [_83848, _83850, _83852, _86731]]], 3049 ^ _35487 : [(3050 ^ _35487) ^ [_87003, _87005] : [lv(_87005), iext(_83850, _86731, _87005), icext(_83848, _87005), lv(_87003), iext(_83850, _86731, _87003), icext(_83848, _87003), -(_87005 = _87003)]]], (2984 ^ _35487) ^ [_84411] : [icext(_83852, _84411), 2989 ^ _35487 : [(2990 ^ _35487) ^ [] : [-(lv(2987 ^ [_83848, _83850, _83852, _84411]))], (2992 ^ _35487) ^ [] : [-(iext(_83850, _84411, 2987 ^ [_83848, _83850, _83852, _84411]))], (2994 ^ _35487) ^ [] : [-(icext(_83848, 2987 ^ [_83848, _83850, _83852, _84411]))], (2996 ^ _35487) ^ [] : [-(lv(2988 ^ [_83848, _83850, _83852, _84411]))], (2998 ^ _35487) ^ [] : [-(iext(_83850, _84411, 2988 ^ [_83848, _83850, _83852, _84411]))], (3000 ^ _35487) ^ [] : [-(icext(_83848, 2988 ^ [_83848, _83850, _83852, _84411]))], (3002 ^ _35487) ^ [] : [2987 ^ [_83848, _83850, _83852, _84411] = 2988 ^ [_83848, _83850, _83852, _84411]], (3004 ^ _35487) ^ [_85528, _85530, _85532] : [-(_85528 = _85532), -(_85528 = _85530), lv(_85532), iext(_83850, _84411, _85532), icext(_83848, _85532), lv(_85530), iext(_83850, _84411, _85530), icext(_83848, _85530), lv(_85528), iext(_83850, _84411, _85528), icext(_83848, _85528)]]]]], (3103 ^ _35487) ^ [_89272, _89274, _89276] : [iext(uri_owl_qualifiedCardinality, _89276, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _89276, _89274), iext(uri_owl_onDataRange, _89276, _89272), 3114 ^ _35487 : [(3115 ^ _35487) ^ [] : [-(iodp(_89274))], (3206 ^ _35487) ^ [_93571] : [-(icext(_89276, _93571)), 3259 ^ _35487 : [(3260 ^ _35487) ^ [] : [-(lv(3255 ^ [_89272, _89274, _89276, _93571]))], (3262 ^ _35487) ^ [] : [-(iext(_89274, _93571, 3255 ^ [_89272, _89274, _89276, _93571]))], (3264 ^ _35487) ^ [] : [-(icext(_89272, 3255 ^ [_89272, _89274, _89276, _93571]))], (3266 ^ _35487) ^ [] : [-(lv(3256 ^ [_89272, _89274, _89276, _93571]))], (3268 ^ _35487) ^ [] : [-(iext(_89274, _93571, 3256 ^ [_89272, _89274, _89276, _93571]))], (3270 ^ _35487) ^ [] : [-(icext(_89272, 3256 ^ [_89272, _89274, _89276, _93571]))], (3272 ^ _35487) ^ [] : [-(lv(3257 ^ [_89272, _89274, _89276, _93571]))], (3274 ^ _35487) ^ [] : [-(iext(_89274, _93571, 3257 ^ [_89272, _89274, _89276, _93571]))], (3276 ^ _35487) ^ [] : [-(icext(_89272, 3257 ^ [_89272, _89274, _89276, _93571]))], (3278 ^ _35487) ^ [] : [-(lv(3258 ^ [_89272, _89274, _89276, _93571]))], (3280 ^ _35487) ^ [] : [-(iext(_89274, _93571, 3258 ^ [_89272, _89274, _89276, _93571]))], (3282 ^ _35487) ^ [] : [-(icext(_89272, 3258 ^ [_89272, _89274, _89276, _93571]))], (3284 ^ _35487) ^ [] : [3258 ^ [_89272, _89274, _89276, _93571] = 3255 ^ [_89272, _89274, _89276, _93571]], (3286 ^ _35487) ^ [] : [3258 ^ [_89272, _89274, _89276, _93571] = 3256 ^ [_89272, _89274, _89276, _93571]], (3288 ^ _35487) ^ [] : [3258 ^ [_89272, _89274, _89276, _93571] = 3257 ^ [_89272, _89274, _89276, _93571]]], 3209 ^ _35487 : [(3210 ^ _35487) ^ [_93925, _93927, _93929] : [lv(_93929), iext(_89274, _93571, _93929), icext(_89272, _93929), lv(_93927), iext(_89274, _93571, _93927), icext(_89272, _93927), lv(_93925), iext(_89274, _93571, _93925), icext(_89272, _93925), -(_93929 = _93927), -(_93929 = _93925), -(_93927 = _93925)]]], (3117 ^ _35487) ^ [_89903] : [icext(_89276, _89903), 3123 ^ _35487 : [(3124 ^ _35487) ^ [] : [-(lv(3120 ^ [_89272, _89274, _89276, _89903]))], (3126 ^ _35487) ^ [] : [-(iext(_89274, _89903, 3120 ^ [_89272, _89274, _89276, _89903]))], (3128 ^ _35487) ^ [] : [-(icext(_89272, 3120 ^ [_89272, _89274, _89276, _89903]))], (3130 ^ _35487) ^ [] : [-(lv(3121 ^ [_89272, _89274, _89276, _89903]))], (3132 ^ _35487) ^ [] : [-(iext(_89274, _89903, 3121 ^ [_89272, _89274, _89276, _89903]))], (3134 ^ _35487) ^ [] : [-(icext(_89272, 3121 ^ [_89272, _89274, _89276, _89903]))], (3136 ^ _35487) ^ [] : [-(lv(3122 ^ [_89272, _89274, _89276, _89903]))], (3138 ^ _35487) ^ [] : [-(iext(_89274, _89903, 3122 ^ [_89272, _89274, _89276, _89903]))], (3140 ^ _35487) ^ [] : [-(icext(_89272, 3122 ^ [_89272, _89274, _89276, _89903]))], (3142 ^ _35487) ^ [] : [3120 ^ [_89272, _89274, _89276, _89903] = 3121 ^ [_89272, _89274, _89276, _89903]], (3144 ^ _35487) ^ [] : [3120 ^ [_89272, _89274, _89276, _89903] = 3122 ^ [_89272, _89274, _89276, _89903]], (3146 ^ _35487) ^ [] : [3121 ^ [_89272, _89274, _89276, _89903] = 3122 ^ [_89272, _89274, _89276, _89903]], (3148 ^ _35487) ^ [_91861, _91863, _91865, _91867] : [-(_91861 = _91867), -(_91861 = _91865), -(_91861 = _91863), lv(_91867), iext(_89274, _89903, _91867), icext(_89272, _91867), lv(_91865), iext(_89274, _89903, _91865), icext(_89272, _91865), lv(_91863), iext(_89274, _89903, _91863), icext(_89272, _91863), lv(_91861), iext(_89274, _89903, _91861), icext(_89272, _91861)]]]]], (3292 ^ _35487) ^ [_97475, _97477, _97479] : [iext(uri_owl_qualifiedCardinality, _97479, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _97479, _97477), iext(uri_owl_onClass, _97479, _97475), 3303 ^ _35487 : [(3314 ^ _35487) ^ [_98199] : [3316 ^ _35487 : [(3317 ^ _35487) ^ [] : [-(iext(_97477, _98199, 3315 ^ [_97475, _97477, _97479, _98199]))], (3319 ^ _35487) ^ [] : [-(icext(_97475, 3315 ^ [_97475, _97477, _97479, _98199]))]], -(icext(_97479, _98199))], (3304 ^ _35487) ^ [_97851] : [icext(_97479, _97851), 3307 ^ _35487 : [(3308 ^ _35487) ^ [_98005] : [iext(_97477, _97851, _98005), icext(_97475, _98005)]]]]], (3323 ^ _35487) ^ [_98623, _98625, _98627] : [iext(uri_owl_qualifiedCardinality, _98627, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _98627, _98625), iext(uri_owl_onClass, _98627, _98623), 3334 ^ _35487 : [(3362 ^ _35487) ^ [_99994] : [-(icext(_98627, _99994)), 3373 ^ _35487 : [(3374 ^ _35487) ^ [] : [-(iext(_98625, _99994, 3371 ^ [_98623, _98625, _98627, _99994]))], (3376 ^ _35487) ^ [] : [-(icext(_98623, 3371 ^ [_98623, _98625, _98627, _99994]))], (3378 ^ _35487) ^ [] : [-(iext(_98625, _99994, 3372 ^ [_98623, _98625, _98627, _99994]))], (3380 ^ _35487) ^ [] : [-(icext(_98623, 3372 ^ [_98623, _98625, _98627, _99994]))], (3382 ^ _35487) ^ [] : [3372 ^ [_98623, _98625, _98627, _99994] = 3371 ^ [_98623, _98625, _98627, _99994]]], 3365 ^ _35487 : [(3366 ^ _35487) ^ [_100177] : [iext(_98625, _99994, _100177), icext(_98623, _100177)]]], (3335 ^ _35487) ^ [_99039] : [icext(_98627, _99039), 3339 ^ _35487 : [(3340 ^ _35487) ^ [] : [-(iext(_98625, _99039, 3338 ^ [_98623, _98625, _98627, _99039]))], (3342 ^ _35487) ^ [] : [-(icext(_98623, 3338 ^ [_98623, _98625, _98627, _99039]))], (3344 ^ _35487) ^ [_99472, _99474] : [-(_99472 = _99474), iext(_98625, _99039, _99474), icext(_98623, _99474), iext(_98625, _99039, _99472), icext(_98623, _99472)]]]]], (3386 ^ _35487) ^ [_101106, _101108, _101110] : [iext(uri_owl_qualifiedCardinality, _101110, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _101110, _101108), iext(uri_owl_onClass, _101110, _101106), 3397 ^ _35487 : [(3444 ^ _35487) ^ [_103347] : [-(icext(_101110, _103347)), 3468 ^ _35487 : [(3469 ^ _35487) ^ [] : [-(iext(_101108, _103347, 3465 ^ [_101106, _101108, _101110, _103347]))], (3471 ^ _35487) ^ [] : [-(icext(_101106, 3465 ^ [_101106, _101108, _101110, _103347]))], (3473 ^ _35487) ^ [] : [-(iext(_101108, _103347, 3466 ^ [_101106, _101108, _101110, _103347]))], (3475 ^ _35487) ^ [] : [-(icext(_101106, 3466 ^ [_101106, _101108, _101110, _103347]))], (3477 ^ _35487) ^ [] : [-(iext(_101108, _103347, 3467 ^ [_101106, _101108, _101110, _103347]))], (3479 ^ _35487) ^ [] : [-(icext(_101106, 3467 ^ [_101106, _101108, _101110, _103347]))], (3481 ^ _35487) ^ [] : [3467 ^ [_101106, _101108, _101110, _103347] = 3465 ^ [_101106, _101108, _101110, _103347]], (3483 ^ _35487) ^ [] : [3467 ^ [_101106, _101108, _101110, _103347] = 3466 ^ [_101106, _101108, _101110, _103347]]], 3447 ^ _35487 : [(3448 ^ _35487) ^ [_103594, _103596] : [iext(_101108, _103347, _103596), icext(_101106, _103596), iext(_101108, _103347, _103594), icext(_101106, _103594), -(_103596 = _103594)]]], (3398 ^ _35487) ^ [_101572] : [icext(_101110, _101572), 3403 ^ _35487 : [(3404 ^ _35487) ^ [] : [-(iext(_101108, _101572, 3401 ^ [_101106, _101108, _101110, _101572]))], (3406 ^ _35487) ^ [] : [-(icext(_101106, 3401 ^ [_101106, _101108, _101110, _101572]))], (3408 ^ _35487) ^ [] : [-(iext(_101108, _101572, 3402 ^ [_101106, _101108, _101110, _101572]))], (3410 ^ _35487) ^ [] : [-(icext(_101106, 3402 ^ [_101106, _101108, _101110, _101572]))], (3412 ^ _35487) ^ [] : [3401 ^ [_101106, _101108, _101110, _101572] = 3402 ^ [_101106, _101108, _101110, _101572]], (3414 ^ _35487) ^ [_102469, _102471, _102473] : [-(_102469 = _102473), -(_102469 = _102471), iext(_101108, _101572, _102473), icext(_101106, _102473), iext(_101108, _101572, _102471), icext(_101106, _102471), iext(_101108, _101572, _102469), icext(_101106, _102469)]]]]], (3487 ^ _35487) ^ [_105325, _105327, _105329] : [iext(uri_owl_qualifiedCardinality, _105329, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _105329, _105327), iext(uri_owl_onClass, _105329, _105325), 3498 ^ _35487 : [(3566 ^ _35487) ^ [_108708] : [-(icext(_105329, _108708)), 3607 ^ _35487 : [(3608 ^ _35487) ^ [] : [-(iext(_105327, _108708, 3603 ^ [_105325, _105327, _105329, _108708]))], (3610 ^ _35487) ^ [] : [-(icext(_105325, 3603 ^ [_105325, _105327, _105329, _108708]))], (3612 ^ _35487) ^ [] : [-(iext(_105327, _108708, 3604 ^ [_105325, _105327, _105329, _108708]))], (3614 ^ _35487) ^ [] : [-(icext(_105325, 3604 ^ [_105325, _105327, _105329, _108708]))], (3616 ^ _35487) ^ [] : [-(iext(_105327, _108708, 3605 ^ [_105325, _105327, _105329, _108708]))], (3618 ^ _35487) ^ [] : [-(icext(_105325, 3605 ^ [_105325, _105327, _105329, _108708]))], (3620 ^ _35487) ^ [] : [-(iext(_105327, _108708, 3606 ^ [_105325, _105327, _105329, _108708]))], (3622 ^ _35487) ^ [] : [-(icext(_105325, 3606 ^ [_105325, _105327, _105329, _108708]))], (3624 ^ _35487) ^ [] : [3606 ^ [_105325, _105327, _105329, _108708] = 3603 ^ [_105325, _105327, _105329, _108708]], (3626 ^ _35487) ^ [] : [3606 ^ [_105325, _105327, _105329, _108708] = 3604 ^ [_105325, _105327, _105329, _108708]], (3628 ^ _35487) ^ [] : [3606 ^ [_105325, _105327, _105329, _108708] = 3605 ^ [_105325, _105327, _105329, _108708]]], 3569 ^ _35487 : [(3570 ^ _35487) ^ [_109027, _109029, _109031] : [iext(_105327, _108708, _109031), icext(_105325, _109031), iext(_105327, _108708, _109029), icext(_105325, _109029), iext(_105327, _108708, _109027), icext(_105325, _109027), -(_109031 = _109029), -(_109031 = _109027), -(_109029 = _109027)]]], (3499 ^ _35487) ^ [_105849] : [icext(_105329, _105849), 3505 ^ _35487 : [(3506 ^ _35487) ^ [] : [-(iext(_105327, _105849, 3502 ^ [_105325, _105327, _105329, _105849]))], (3508 ^ _35487) ^ [] : [-(icext(_105325, 3502 ^ [_105325, _105327, _105329, _105849]))], (3510 ^ _35487) ^ [] : [-(iext(_105327, _105849, 3503 ^ [_105325, _105327, _105329, _105849]))], (3512 ^ _35487) ^ [] : [-(icext(_105325, 3503 ^ [_105325, _105327, _105329, _105849]))], (3514 ^ _35487) ^ [] : [-(iext(_105327, _105849, 3504 ^ [_105325, _105327, _105329, _105849]))], (3516 ^ _35487) ^ [] : [-(icext(_105325, 3504 ^ [_105325, _105327, _105329, _105849]))], (3518 ^ _35487) ^ [] : [3502 ^ [_105325, _105327, _105329, _105849] = 3503 ^ [_105325, _105327, _105329, _105849]], (3520 ^ _35487) ^ [] : [3502 ^ [_105325, _105327, _105329, _105849] = 3504 ^ [_105325, _105327, _105329, _105849]], (3522 ^ _35487) ^ [] : [3503 ^ [_105325, _105327, _105329, _105849] = 3504 ^ [_105325, _105327, _105329, _105849]], (3524 ^ _35487) ^ [_107448, _107450, _107452, _107454] : [-(_107448 = _107454), -(_107448 = _107452), -(_107448 = _107450), iext(_105327, _105849, _107454), icext(_105325, _107454), iext(_105327, _105849, _107452), icext(_105325, _107452), iext(_105327, _105849, _107450), icext(_105325, _107450), iext(_105327, _105849, _107448), icext(_105325, _107448)]]]]], (3632 ^ _35487) ^ [_111772, _111774, _111776] : [iext(uri_owl_hasSelf, _111776, _111772), iext(uri_owl_onProperty, _111776, _111774), 3639 ^ _35487 : [(3640 ^ _35487) ^ [_112040] : [icext(_111776, _112040), -(iext(_111774, _112040, _112040))], (3646 ^ _35487) ^ [_112222] : [iext(_111774, _112222, _112222), -(icext(_111776, _112222))]]], (3652 ^ _35487) ^ [_112475, _112477, _112479] : [iext(uri_owl_hasValue, _112479, _112475), iext(uri_owl_onProperty, _112479, _112477), 3659 ^ _35487 : [(3660 ^ _35487) ^ [_112743] : [icext(_112479, _112743), -(iext(_112477, _112743, _112475))], (3666 ^ _35487) ^ [_112925] : [iext(_112477, _112925, _112475), -(icext(_112479, _112925))]]], (3672 ^ _35487) ^ [_113164, _113166] : [iext(uri_owl_maxCardinality, _113166, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113166, _113164), 3679 ^ _35487 : [(3680 ^ _35487) ^ [_113431] : [icext(_113166, _113431), 3683 ^ _35487 : [(3684 ^ _35487) ^ [_113557] : [iext(_113164, _113431, _113557)]]], (3686 ^ _35487) ^ [_113628] : [-(iext(_113164, _113628, 3687 ^ [_113164, _113166, _113628])), -(icext(_113166, _113628))]]], (3693 ^ _35487) ^ [_113926, _113928] : [iext(uri_owl_maxCardinality, _113928, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _113928, _113926), 3700 ^ _35487 : [(3715 ^ _35487) ^ [_114677] : [3718 ^ _35487 : [(3719 ^ _35487) ^ [] : [-(iext(_113926, _114677, 3716 ^ [_113926, _113928, _114677]))], (3721 ^ _35487) ^ [] : [-(iext(_113926, _114677, 3717 ^ [_113926, _113928, _114677]))], (3723 ^ _35487) ^ [] : [3717 ^ [_113926, _113928, _114677] = 3716 ^ [_113926, _113928, _114677]]], -(icext(_113928, _114677))], (3701 ^ _35487) ^ [_114209] : [icext(_113928, _114209), 3704 ^ _35487 : [(3705 ^ _35487) ^ [_114381, _114383] : [-(_114381 = _114383), iext(_113926, _114209, _114383), iext(_113926, _114209, _114381)]]]]], (3727 ^ _35487) ^ [_115260, _115262] : [iext(uri_owl_maxCardinality, _115262, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _115262, _115260), 3734 ^ _35487 : [(3757 ^ _35487) ^ [_116286] : [3761 ^ _35487 : [(3762 ^ _35487) ^ [] : [-(iext(_115260, _116286, 3758 ^ [_115260, _115262, _116286]))], (3764 ^ _35487) ^ [] : [-(iext(_115260, _116286, 3759 ^ [_115260, _115262, _116286]))], (3766 ^ _35487) ^ [] : [-(iext(_115260, _116286, 3760 ^ [_115260, _115262, _116286]))], (3768 ^ _35487) ^ [] : [3760 ^ [_115260, _115262, _116286] = 3758 ^ [_115260, _115262, _116286]], (3770 ^ _35487) ^ [] : [3760 ^ [_115260, _115262, _116286] = 3759 ^ [_115260, _115262, _116286]]], -(icext(_115262, _116286))], (3735 ^ _35487) ^ [_115561] : [icext(_115262, _115561), 3738 ^ _35487 : [(3739 ^ _35487) ^ [_115765, _115767, _115769] : [-(_115765 = _115769), -(_115765 = _115767), iext(_115260, _115561, _115769), iext(_115260, _115561, _115767), iext(_115260, _115561, _115765)]]]]], (3774 ^ _35487) ^ [_117204, _117206] : [iext(uri_owl_maxCardinality, _117206, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _117206, _117204), 3781 ^ _35487 : [(3812 ^ _35487) ^ [_118521] : [3817 ^ _35487 : [(3818 ^ _35487) ^ [] : [-(iext(_117204, _118521, 3813 ^ [_117204, _117206, _118521]))], (3820 ^ _35487) ^ [] : [-(iext(_117204, _118521, 3814 ^ [_117204, _117206, _118521]))], (3822 ^ _35487) ^ [] : [-(iext(_117204, _118521, 3815 ^ [_117204, _117206, _118521]))], (3824 ^ _35487) ^ [] : [-(iext(_117204, _118521, 3816 ^ [_117204, _117206, _118521]))], (3826 ^ _35487) ^ [] : [3816 ^ [_117204, _117206, _118521] = 3813 ^ [_117204, _117206, _118521]], (3828 ^ _35487) ^ [] : [3816 ^ [_117204, _117206, _118521] = 3814 ^ [_117204, _117206, _118521]], (3830 ^ _35487) ^ [] : [3816 ^ [_117204, _117206, _118521] = 3815 ^ [_117204, _117206, _118521]]], -(icext(_117206, _118521))], (3782 ^ _35487) ^ [_117523] : [icext(_117206, _117523), 3785 ^ _35487 : [(3786 ^ _35487) ^ [_117759, _117761, _117763, _117765] : [-(_117759 = _117765), -(_117759 = _117763), -(_117759 = _117761), iext(_117204, _117523, _117765), iext(_117204, _117523, _117763), iext(_117204, _117523, _117761), iext(_117204, _117523, _117759)]]]]], (3834 ^ _35487) ^ [_119837, _119839, _119841] : [iext(uri_owl_maxQualifiedCardinality, _119841, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119841, _119839), iext(uri_owl_onDataRange, _119841, _119837), 3845 ^ _35487 : [(3846 ^ _35487) ^ [] : [-(iodp(_119839))], (3862 ^ _35487) ^ [_120742] : [3864 ^ _35487 : [(3865 ^ _35487) ^ [] : [-(lv(3863 ^ [_119837, _119839, _119841, _120742]))], (3867 ^ _35487) ^ [] : [-(iext(_119839, _120742, 3863 ^ [_119837, _119839, _119841, _120742]))], (3869 ^ _35487) ^ [] : [-(icext(_119837, 3863 ^ [_119837, _119839, _119841, _120742]))]], -(icext(_119841, _120742))], (3848 ^ _35487) ^ [_120290] : [icext(_119841, _120290), 3851 ^ _35487 : [(3852 ^ _35487) ^ [_120449] : [lv(_120449), iext(_119839, _120290, _120449), icext(_119837, _120449)]]]]], (3873 ^ _35487) ^ [_121260, _121262, _121264] : [iext(uri_owl_maxQualifiedCardinality, _121264, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _121264, _121262), iext(uri_owl_onDataRange, _121264, _121260), 3884 ^ _35487 : [(3885 ^ _35487) ^ [] : [-(iodp(_121262))], (3917 ^ _35487) ^ [_122664] : [3920 ^ _35487 : [(3921 ^ _35487) ^ [] : [-(lv(3918 ^ [_121260, _121262, _121264, _122664]))], (3923 ^ _35487) ^ [] : [-(iext(_121262, _122664, 3918 ^ [_121260, _121262, _121264, _122664]))], (3925 ^ _35487) ^ [] : [-(icext(_121260, 3918 ^ [_121260, _121262, _121264, _122664]))], (3927 ^ _35487) ^ [] : [-(lv(3919 ^ [_121260, _121262, _121264, _122664]))], (3929 ^ _35487) ^ [] : [-(iext(_121262, _122664, 3919 ^ [_121260, _121262, _121264, _122664]))], (3931 ^ _35487) ^ [] : [-(icext(_121260, 3919 ^ [_121260, _121262, _121264, _122664]))], (3933 ^ _35487) ^ [] : [3919 ^ [_121260, _121262, _121264, _122664] = 3918 ^ [_121260, _121262, _121264, _122664]]], -(icext(_121264, _122664))], (3887 ^ _35487) ^ [_121740] : [icext(_121264, _121740), 3890 ^ _35487 : [(3891 ^ _35487) ^ [_121940, _121942] : [-(_121940 = _121942), lv(_121942), iext(_121262, _121740, _121942), icext(_121260, _121942), lv(_121940), iext(_121262, _121740, _121940), icext(_121260, _121940)]]]]], (3937 ^ _35487) ^ [_123723, _123725, _123727] : [iext(uri_owl_maxQualifiedCardinality, _123727, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _123727, _123725), iext(uri_owl_onDataRange, _123727, _123723), 3948 ^ _35487 : [(3949 ^ _35487) ^ [] : [-(iodp(_123725))], (3997 ^ _35487) ^ [_125664] : [4001 ^ _35487 : [(4002 ^ _35487) ^ [] : [-(lv(3998 ^ [_123723, _123725, _123727, _125664]))], (4004 ^ _35487) ^ [] : [-(iext(_123725, _125664, 3998 ^ [_123723, _123725, _123727, _125664]))], (4006 ^ _35487) ^ [] : [-(icext(_123723, 3998 ^ [_123723, _123725, _123727, _125664]))], (4008 ^ _35487) ^ [] : [-(lv(3999 ^ [_123723, _123725, _123727, _125664]))], (4010 ^ _35487) ^ [] : [-(iext(_123725, _125664, 3999 ^ [_123723, _123725, _123727, _125664]))], (4012 ^ _35487) ^ [] : [-(icext(_123723, 3999 ^ [_123723, _123725, _123727, _125664]))], (4014 ^ _35487) ^ [] : [-(lv(4000 ^ [_123723, _123725, _123727, _125664]))], (4016 ^ _35487) ^ [] : [-(iext(_123725, _125664, 4000 ^ [_123723, _123725, _123727, _125664]))], (4018 ^ _35487) ^ [] : [-(icext(_123723, 4000 ^ [_123723, _123725, _123727, _125664]))], (4020 ^ _35487) ^ [] : [4000 ^ [_123723, _123725, _123727, _125664] = 3998 ^ [_123723, _123725, _123727, _125664]], (4022 ^ _35487) ^ [] : [4000 ^ [_123723, _123725, _123727, _125664] = 3999 ^ [_123723, _123725, _123727, _125664]]], -(icext(_123727, _125664))], (3951 ^ _35487) ^ [_124232] : [icext(_123727, _124232), 3954 ^ _35487 : [(3955 ^ _35487) ^ [_124475, _124477, _124479] : [-(_124475 = _124479), -(_124475 = _124477), lv(_124479), iext(_123725, _124232, _124479), icext(_123723, _124479), lv(_124477), iext(_123725, _124232, _124477), icext(_123723, _124477), lv(_124475), iext(_123725, _124232, _124475), icext(_123723, _124475)]]]]], (4026 ^ _35487) ^ [_127359, _127361, _127363] : [iext(uri_owl_maxQualifiedCardinality, _127363, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _127363, _127361), iext(uri_owl_onDataRange, _127363, _127359), 4037 ^ _35487 : [(4038 ^ _35487) ^ [] : [-(iodp(_127361))], (4102 ^ _35487) ^ [_129869] : [4107 ^ _35487 : [(4108 ^ _35487) ^ [] : [-(lv(4103 ^ [_127359, _127361, _127363, _129869]))], (4110 ^ _35487) ^ [] : [-(iext(_127361, _129869, 4103 ^ [_127359, _127361, _127363, _129869]))], (4112 ^ _35487) ^ [] : [-(icext(_127359, 4103 ^ [_127359, _127361, _127363, _129869]))], (4114 ^ _35487) ^ [] : [-(lv(4104 ^ [_127359, _127361, _127363, _129869]))], (4116 ^ _35487) ^ [] : [-(iext(_127361, _129869, 4104 ^ [_127359, _127361, _127363, _129869]))], (4118 ^ _35487) ^ [] : [-(icext(_127359, 4104 ^ [_127359, _127361, _127363, _129869]))], (4120 ^ _35487) ^ [] : [-(lv(4105 ^ [_127359, _127361, _127363, _129869]))], (4122 ^ _35487) ^ [] : [-(iext(_127361, _129869, 4105 ^ [_127359, _127361, _127363, _129869]))], (4124 ^ _35487) ^ [] : [-(icext(_127359, 4105 ^ [_127359, _127361, _127363, _129869]))], (4126 ^ _35487) ^ [] : [-(lv(4106 ^ [_127359, _127361, _127363, _129869]))], (4128 ^ _35487) ^ [] : [-(iext(_127361, _129869, 4106 ^ [_127359, _127361, _127363, _129869]))], (4130 ^ _35487) ^ [] : [-(icext(_127359, 4106 ^ [_127359, _127361, _127363, _129869]))], (4132 ^ _35487) ^ [] : [4106 ^ [_127359, _127361, _127363, _129869] = 4103 ^ [_127359, _127361, _127363, _129869]], (4134 ^ _35487) ^ [] : [4106 ^ [_127359, _127361, _127363, _129869] = 4104 ^ [_127359, _127361, _127363, _129869]], (4136 ^ _35487) ^ [] : [4106 ^ [_127359, _127361, _127363, _129869] = 4105 ^ [_127359, _127361, _127363, _129869]]], -(icext(_127363, _129869))], (4040 ^ _35487) ^ [_127897] : [icext(_127363, _127897), 4043 ^ _35487 : [(4044 ^ _35487) ^ [_128183, _128185, _128187, _128189] : [-(_128183 = _128189), -(_128183 = _128187), -(_128183 = _128185), lv(_128189), iext(_127361, _127897, _128189), icext(_127359, _128189), lv(_128187), iext(_127361, _127897, _128187), icext(_127359, _128187), lv(_128185), iext(_127361, _127897, _128185), icext(_127359, _128185), lv(_128183), iext(_127361, _127897, _128183), icext(_127359, _128183)]]]]], (4140 ^ _35487) ^ [_132297, _132299, _132301] : [iext(uri_owl_maxQualifiedCardinality, _132301, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132301, _132299), iext(uri_owl_onClass, _132301, _132297), 4151 ^ _35487 : [(4162 ^ _35487) ^ [_133021] : [4164 ^ _35487 : [(4165 ^ _35487) ^ [] : [-(iext(_132299, _133021, 4163 ^ [_132297, _132299, _132301, _133021]))], (4167 ^ _35487) ^ [] : [-(icext(_132297, 4163 ^ [_132297, _132299, _132301, _133021]))]], -(icext(_132301, _133021))], (4152 ^ _35487) ^ [_132673] : [icext(_132301, _132673), 4155 ^ _35487 : [(4156 ^ _35487) ^ [_132827] : [iext(_132299, _132673, _132827), icext(_132297, _132827)]]]]], (4171 ^ _35487) ^ [_133445, _133447, _133449] : [iext(uri_owl_maxQualifiedCardinality, _133449, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _133449, _133447), iext(uri_owl_onClass, _133449, _133445), 4182 ^ _35487 : [(4205 ^ _35487) ^ [_134551] : [4208 ^ _35487 : [(4209 ^ _35487) ^ [] : [-(iext(_133447, _134551, 4206 ^ [_133445, _133447, _133449, _134551]))], (4211 ^ _35487) ^ [] : [-(icext(_133445, 4206 ^ [_133445, _133447, _133449, _134551]))], (4213 ^ _35487) ^ [] : [-(iext(_133447, _134551, 4207 ^ [_133445, _133447, _133449, _134551]))], (4215 ^ _35487) ^ [] : [-(icext(_133445, 4207 ^ [_133445, _133447, _133449, _134551]))], (4217 ^ _35487) ^ [] : [4207 ^ [_133445, _133447, _133449, _134551] = 4206 ^ [_133445, _133447, _133449, _134551]]], -(icext(_133449, _134551))], (4183 ^ _35487) ^ [_133843] : [icext(_133449, _133843), 4186 ^ _35487 : [(4187 ^ _35487) ^ [_134033, _134035] : [-(_134033 = _134035), iext(_133447, _133843, _134035), icext(_133445, _134035), iext(_133447, _133843, _134033), icext(_133445, _134033)]]]]], (4221 ^ _35487) ^ [_135399, _135401, _135403] : [iext(uri_owl_maxQualifiedCardinality, _135403, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135403, _135401), iext(uri_owl_onClass, _135403, _135399), 4232 ^ _35487 : [(4267 ^ _35487) ^ [_136917] : [4271 ^ _35487 : [(4272 ^ _35487) ^ [] : [-(iext(_135401, _136917, 4268 ^ [_135399, _135401, _135403, _136917]))], (4274 ^ _35487) ^ [] : [-(icext(_135399, 4268 ^ [_135399, _135401, _135403, _136917]))], (4276 ^ _35487) ^ [] : [-(iext(_135401, _136917, 4269 ^ [_135399, _135401, _135403, _136917]))], (4278 ^ _35487) ^ [] : [-(icext(_135399, 4269 ^ [_135399, _135401, _135403, _136917]))], (4280 ^ _35487) ^ [] : [-(iext(_135401, _136917, 4270 ^ [_135399, _135401, _135403, _136917]))], (4282 ^ _35487) ^ [] : [-(icext(_135399, 4270 ^ [_135399, _135401, _135403, _136917]))], (4284 ^ _35487) ^ [] : [4270 ^ [_135399, _135401, _135403, _136917] = 4268 ^ [_135399, _135401, _135403, _136917]], (4286 ^ _35487) ^ [] : [4270 ^ [_135399, _135401, _135403, _136917] = 4269 ^ [_135399, _135401, _135403, _136917]]], -(icext(_135403, _136917))], (4233 ^ _35487) ^ [_135821] : [icext(_135403, _135821), 4236 ^ _35487 : [(4237 ^ _35487) ^ [_136049, _136051, _136053] : [-(_136049 = _136053), -(_136049 = _136051), iext(_135401, _135821, _136053), icext(_135399, _136053), iext(_135401, _135821, _136051), icext(_135399, _136051), iext(_135401, _135821, _136049), icext(_135399, _136049)]]]]], (4290 ^ _35487) ^ [_138265, _138267, _138269] : [iext(uri_owl_maxQualifiedCardinality, _138269, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _138269, _138267), iext(uri_owl_onClass, _138269, _138265), 4301 ^ _35487 : [(4348 ^ _35487) ^ [_140219] : [4353 ^ _35487 : [(4354 ^ _35487) ^ [] : [-(iext(_138267, _140219, 4349 ^ [_138265, _138267, _138269, _140219]))], (4356 ^ _35487) ^ [] : [-(icext(_138265, 4349 ^ [_138265, _138267, _138269, _140219]))], (4358 ^ _35487) ^ [] : [-(iext(_138267, _140219, 4350 ^ [_138265, _138267, _138269, _140219]))], (4360 ^ _35487) ^ [] : [-(icext(_138265, 4350 ^ [_138265, _138267, _138269, _140219]))], (4362 ^ _35487) ^ [] : [-(iext(_138267, _140219, 4351 ^ [_138265, _138267, _138269, _140219]))], (4364 ^ _35487) ^ [] : [-(icext(_138265, 4351 ^ [_138265, _138267, _138269, _140219]))], (4366 ^ _35487) ^ [] : [-(iext(_138267, _140219, 4352 ^ [_138265, _138267, _138269, _140219]))], (4368 ^ _35487) ^ [] : [-(icext(_138265, 4352 ^ [_138265, _138267, _138269, _140219]))], (4370 ^ _35487) ^ [] : [4352 ^ [_138265, _138267, _138269, _140219] = 4349 ^ [_138265, _138267, _138269, _140219]], (4372 ^ _35487) ^ [] : [4352 ^ [_138265, _138267, _138269, _140219] = 4350 ^ [_138265, _138267, _138269, _140219]], (4374 ^ _35487) ^ [] : [4352 ^ [_138265, _138267, _138269, _140219] = 4351 ^ [_138265, _138267, _138269, _140219]]], -(icext(_138269, _140219))], (4302 ^ _35487) ^ [_138711] : [icext(_138269, _138711), 4305 ^ _35487 : [(4306 ^ _35487) ^ [_138977, _138979, _138981, _138983] : [-(_138977 = _138983), -(_138977 = _138981), -(_138977 = _138979), iext(_138267, _138711, _138983), icext(_138265, _138983), iext(_138267, _138711, _138981), icext(_138265, _138981), iext(_138267, _138711, _138979), icext(_138265, _138979), iext(_138267, _138711, _138977), icext(_138265, _138977)]]]]], (4378 ^ _35487) ^ [_142129, _142131] : [4385 ^ _35487 : [(4386 ^ _35487) ^ [_142338] : [-(icext(_142131, _142338))]], iext(uri_owl_minCardinality, _142131, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142131, _142129)], (4388 ^ _35487) ^ [_142454, _142456] : [iext(uri_owl_minCardinality, _142456, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _142456, _142454), 4395 ^ _35487 : [(4396 ^ _35487) ^ [_142719] : [icext(_142456, _142719), -(iext(_142454, _142719, 4399 ^ [_142454, _142456, _142719]))], (4403 ^ _35487) ^ [_142957] : [4404 ^ _35487 : [(4405 ^ _35487) ^ [_143034] : [iext(_142454, _142957, _143034)]], -(icext(_142456, _142957))]]], (4409 ^ _35487) ^ [_143210, _143212] : [iext(uri_owl_minCardinality, _143212, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _143212, _143210), 4416 ^ _35487 : [(4417 ^ _35487) ^ [_143495] : [icext(_143212, _143495), 4422 ^ _35487 : [(4423 ^ _35487) ^ [] : [-(iext(_143210, _143495, 4420 ^ [_143210, _143212, _143495]))], (4425 ^ _35487) ^ [] : [-(iext(_143210, _143495, 4421 ^ [_143210, _143212, _143495]))], (4427 ^ _35487) ^ [] : [4420 ^ [_143210, _143212, _143495] = 4421 ^ [_143210, _143212, _143495]]]], (4429 ^ _35487) ^ [_144024] : [-(icext(_143212, _144024)), 4430 ^ _35487 : [(4431 ^ _35487) ^ [_144151, _144153] : [iext(_143210, _144024, _144153), iext(_143210, _144024, _144151), -(_144153 = _144151)]]]]], (4443 ^ _35487) ^ [_144554, _144556] : [iext(uri_owl_minCardinality, _144556, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144556, _144554), 4450 ^ _35487 : [(4451 ^ _35487) ^ [_144867] : [icext(_144556, _144867), 4457 ^ _35487 : [(4458 ^ _35487) ^ [] : [-(iext(_144554, _144867, 4454 ^ [_144554, _144556, _144867]))], (4460 ^ _35487) ^ [] : [-(iext(_144554, _144867, 4455 ^ [_144554, _144556, _144867]))], (4462 ^ _35487) ^ [] : [-(iext(_144554, _144867, 4456 ^ [_144554, _144556, _144867]))], (4464 ^ _35487) ^ [] : [4454 ^ [_144554, _144556, _144867] = 4455 ^ [_144554, _144556, _144867]], (4466 ^ _35487) ^ [] : [4454 ^ [_144554, _144556, _144867] = 4456 ^ [_144554, _144556, _144867]], (4468 ^ _35487) ^ [] : [4455 ^ [_144554, _144556, _144867] = 4456 ^ [_144554, _144556, _144867]]]], (4470 ^ _35487) ^ [_145885] : [-(icext(_144556, _145885)), 4471 ^ _35487 : [(4472 ^ _35487) ^ [_146054, _146056, _146058] : [iext(_144554, _145885, _146058), iext(_144554, _145885, _146056), iext(_144554, _145885, _146054), -(_146058 = _146056), -(_146058 = _146054), -(_146056 = _146054)]]]]], (4496 ^ _35487) ^ [_146804, _146806, _146808] : [4507 ^ _35487 : [(4508 ^ _35487) ^ [] : [-(iodp(_146806))], (4510 ^ _35487) ^ [_147188] : [-(icext(_146808, _147188))]], iext(uri_owl_minQualifiedCardinality, _146808, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146808, _146806), iext(uri_owl_onDataRange, _146808, _146804)], (4512 ^ _35487) ^ [_147322, _147324, _147326] : [iext(uri_owl_minQualifiedCardinality, _147326, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147326, _147324), iext(uri_owl_onDataRange, _147326, _147322), 4523 ^ _35487 : [(4524 ^ _35487) ^ [] : [-(iodp(_147324))], (4526 ^ _35487) ^ [_147773] : [icext(_147326, _147773), 4530 ^ _35487 : [(4531 ^ _35487) ^ [] : [-(lv(4529 ^ [_147322, _147324, _147326, _147773]))], (4533 ^ _35487) ^ [] : [-(iext(_147324, _147773, 4529 ^ [_147322, _147324, _147326, _147773]))], (4535 ^ _35487) ^ [] : [-(icext(_147322, 4529 ^ [_147322, _147324, _147326, _147773]))]]], (4537 ^ _35487) ^ [_148213] : [-(icext(_147326, _148213)), 4538 ^ _35487 : [(4539 ^ _35487) ^ [_148321] : [lv(_148321), iext(_147324, _148213, _148321), icext(_147322, _148321)]]]]], (4551 ^ _35487) ^ [_148739, _148741, _148743] : [iext(uri_owl_minQualifiedCardinality, _148743, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148743, _148741), iext(uri_owl_onDataRange, _148743, _148739), 4562 ^ _35487 : [(4563 ^ _35487) ^ [] : [-(iodp(_148741))], (4565 ^ _35487) ^ [_149221] : [icext(_148743, _149221), 4570 ^ _35487 : [(4571 ^ _35487) ^ [] : [-(lv(4568 ^ [_148739, _148741, _148743, _149221]))], (4573 ^ _35487) ^ [] : [-(iext(_148741, _149221, 4568 ^ [_148739, _148741, _148743, _149221]))], (4575 ^ _35487) ^ [] : [-(icext(_148739, 4568 ^ [_148739, _148741, _148743, _149221]))], (4577 ^ _35487) ^ [] : [-(lv(4569 ^ [_148739, _148741, _148743, _149221]))], (4579 ^ _35487) ^ [] : [-(iext(_148741, _149221, 4569 ^ [_148739, _148741, _148743, _149221]))], (4581 ^ _35487) ^ [] : [-(icext(_148739, 4569 ^ [_148739, _148741, _148743, _149221]))], (4583 ^ _35487) ^ [] : [4568 ^ [_148739, _148741, _148743, _149221] = 4569 ^ [_148739, _148741, _148743, _149221]]]], (4585 ^ _35487) ^ [_150200] : [-(icext(_148743, _150200)), 4586 ^ _35487 : [(4587 ^ _35487) ^ [_150353, _150355] : [lv(_150355), iext(_148741, _150200, _150355), icext(_148739, _150355), lv(_150353), iext(_148741, _150200, _150353), icext(_148739, _150353), -(_150355 = _150353)]]]]], (4615 ^ _35487) ^ [_151204, _151206, _151208] : [iext(uri_owl_minQualifiedCardinality, _151208, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151208, _151206), iext(uri_owl_onDataRange, _151208, _151204), 4626 ^ _35487 : [(4627 ^ _35487) ^ [] : [-(iodp(_151206))], (4629 ^ _35487) ^ [_151725] : [icext(_151208, _151725), 4635 ^ _35487 : [(4636 ^ _35487) ^ [] : [-(lv(4632 ^ [_151204, _151206, _151208, _151725]))], (4638 ^ _35487) ^ [] : [-(iext(_151206, _151725, 4632 ^ [_151204, _151206, _151208, _151725]))], (4640 ^ _35487) ^ [] : [-(icext(_151204, 4632 ^ [_151204, _151206, _151208, _151725]))], (4642 ^ _35487) ^ [] : [-(lv(4633 ^ [_151204, _151206, _151208, _151725]))], (4644 ^ _35487) ^ [] : [-(iext(_151206, _151725, 4633 ^ [_151204, _151206, _151208, _151725]))], (4646 ^ _35487) ^ [] : [-(icext(_151204, 4633 ^ [_151204, _151206, _151208, _151725]))], (4648 ^ _35487) ^ [] : [-(lv(4634 ^ [_151204, _151206, _151208, _151725]))], (4650 ^ _35487) ^ [] : [-(iext(_151206, _151725, 4634 ^ [_151204, _151206, _151208, _151725]))], (4652 ^ _35487) ^ [] : [-(icext(_151204, 4634 ^ [_151204, _151206, _151208, _151725]))], (4654 ^ _35487) ^ [] : [4632 ^ [_151204, _151206, _151208, _151725] = 4633 ^ [_151204, _151206, _151208, _151725]], (4656 ^ _35487) ^ [] : [4632 ^ [_151204, _151206, _151208, _151725] = 4634 ^ [_151204, _151206, _151208, _151725]], (4658 ^ _35487) ^ [] : [4633 ^ [_151204, _151206, _151208, _151725] = 4634 ^ [_151204, _151206, _151208, _151725]]]], (4660 ^ _35487) ^ [_153502] : [-(icext(_151208, _153502)), 4661 ^ _35487 : [(4662 ^ _35487) ^ [_153708, _153710, _153712] : [lv(_153712), iext(_151206, _153502, _153712), icext(_151204, _153712), lv(_153710), iext(_151206, _153502, _153710), icext(_151204, _153710), lv(_153708), iext(_151206, _153502, _153708), icext(_151204, _153708), -(_153712 = _153710), -(_153712 = _153708), -(_153710 = _153708)]]]]], (4710 ^ _35487) ^ [_155136, _155138, _155140] : [4721 ^ _35487 : [(4722 ^ _35487) ^ [_155448] : [-(icext(_155140, _155448))]], iext(uri_owl_minQualifiedCardinality, _155140, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155140, _155138), iext(uri_owl_onClass, _155140, _155136)], (4724 ^ _35487) ^ [_155580, _155582, _155584] : [iext(uri_owl_minQualifiedCardinality, _155584, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155584, _155582), iext(uri_owl_onClass, _155584, _155580), 4735 ^ _35487 : [(4736 ^ _35487) ^ [_155954] : [icext(_155584, _155954), 4740 ^ _35487 : [(4741 ^ _35487) ^ [] : [-(iext(_155582, _155954, 4739 ^ [_155580, _155582, _155584, _155954]))], (4743 ^ _35487) ^ [] : [-(icext(_155580, 4739 ^ [_155580, _155582, _155584, _155954]))]]], (4745 ^ _35487) ^ [_156302] : [-(icext(_155584, _156302)), 4746 ^ _35487 : [(4747 ^ _35487) ^ [_156405] : [iext(_155582, _156302, _156405), icext(_155580, _156405)]]]]], (4755 ^ _35487) ^ [_156722, _156724, _156726] : [iext(uri_owl_minQualifiedCardinality, _156726, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156726, _156724), iext(uri_owl_onClass, _156726, _156722), 4766 ^ _35487 : [(4767 ^ _35487) ^ [_157122] : [icext(_156726, _157122), 4772 ^ _35487 : [(4773 ^ _35487) ^ [] : [-(iext(_156724, _157122, 4770 ^ [_156722, _156724, _156726, _157122]))], (4775 ^ _35487) ^ [] : [-(icext(_156722, 4770 ^ [_156722, _156724, _156726, _157122]))], (4777 ^ _35487) ^ [] : [-(iext(_156724, _157122, 4771 ^ [_156722, _156724, _156726, _157122]))], (4779 ^ _35487) ^ [] : [-(icext(_156722, 4771 ^ [_156722, _156724, _156726, _157122]))], (4781 ^ _35487) ^ [] : [4770 ^ [_156722, _156724, _156726, _157122] = 4771 ^ [_156722, _156724, _156726, _157122]]]], (4783 ^ _35487) ^ [_157896] : [-(icext(_156726, _157896)), 4784 ^ _35487 : [(4785 ^ _35487) ^ [_158039, _158041] : [iext(_156724, _157896, _158041), icext(_156722, _158041), iext(_156724, _157896, _158039), icext(_156722, _158039), -(_158041 = _158039)]]]]], (4805 ^ _35487) ^ [_158682, _158684, _158686] : [iext(uri_owl_minQualifiedCardinality, _158686, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _158686, _158684), iext(uri_owl_onClass, _158686, _158682), 4816 ^ _35487 : [(4817 ^ _35487) ^ [_159116] : [icext(_158686, _159116), 4823 ^ _35487 : [(4824 ^ _35487) ^ [] : [-(iext(_158684, _159116, 4820 ^ [_158682, _158684, _158686, _159116]))], (4826 ^ _35487) ^ [] : [-(icext(_158682, 4820 ^ [_158682, _158684, _158686, _159116]))], (4828 ^ _35487) ^ [] : [-(iext(_158684, _159116, 4821 ^ [_158682, _158684, _158686, _159116]))], (4830 ^ _35487) ^ [] : [-(icext(_158682, 4821 ^ [_158682, _158684, _158686, _159116]))], (4832 ^ _35487) ^ [] : [-(iext(_158684, _159116, 4822 ^ [_158682, _158684, _158686, _159116]))], (4834 ^ _35487) ^ [] : [-(icext(_158682, 4822 ^ [_158682, _158684, _158686, _159116]))], (4836 ^ _35487) ^ [] : [4820 ^ [_158682, _158684, _158686, _159116] = 4821 ^ [_158682, _158684, _158686, _159116]], (4838 ^ _35487) ^ [] : [4820 ^ [_158682, _158684, _158686, _159116] = 4822 ^ [_158682, _158684, _158686, _159116]], (4840 ^ _35487) ^ [] : [4821 ^ [_158682, _158684, _158686, _159116] = 4822 ^ [_158682, _158684, _158686, _159116]]]], (4842 ^ _35487) ^ [_160554] : [-(icext(_158686, _160554)), 4843 ^ _35487 : [(4844 ^ _35487) ^ [_160745, _160747, _160749] : [iext(_158684, _160554, _160749), icext(_158682, _160749), iext(_158684, _160554, _160747), icext(_158682, _160747), iext(_158684, _160554, _160745), icext(_158682, _160745), -(_160749 = _160747), -(_160749 = _160745), -(_160747 = _160745)]]]]], (4880 ^ _35487) ^ [_161850, _161852, _161854] : [iext(uri_owl_someValuesFrom, _161854, _161850), iext(uri_owl_onProperty, _161854, _161852), 4887 ^ _35487 : [(4888 ^ _35487) ^ [_162129] : [icext(_161854, _162129), 4892 ^ _35487 : [(4893 ^ _35487) ^ [] : [-(iext(_161852, _162129, 4891 ^ [_161850, _161852, _161854, _162129]))], (4895 ^ _35487) ^ [] : [-(icext(_161850, 4891 ^ [_161850, _161852, _161854, _162129]))]]], (4897 ^ _35487) ^ [_162477] : [-(icext(_161854, _162477)), 4898 ^ _35487 : [(4899 ^ _35487) ^ [_162580] : [iext(_161852, _162477, _162580), icext(_161850, _162580)]]]]], (4907 ^ _35487) ^ [_162910, _162912] : [iext(uri_rdfs_domain, _162912, _162910), 4910 ^ _35487 : [(4911 ^ _35487) ^ [] : [-(ip(_162912))], (4913 ^ _35487) ^ [] : [-(ic(_162910))], (4915 ^ _35487) ^ [_163209, _163211] : [iext(_162912, _163211, _163209), -(icext(_162910, _163211))]]], (4921 ^ _35487) ^ [_163398, _163400] : [-(iext(uri_rdfs_domain, _163400, _163398)), ip(_163400), ic(_163398), 4932 ^ _35487 : [(4933 ^ _35487) ^ [] : [-(iext(_163400, 4930 ^ [_163398, _163400], 4931 ^ [_163398, _163400]))], (4935 ^ _35487) ^ [] : [icext(_163398, 4930 ^ [_163398, _163400])]]], (4939 ^ _35487) ^ [_164046, _164048] : [iext(uri_rdfs_range, _164048, _164046), 4942 ^ _35487 : [(4943 ^ _35487) ^ [] : [-(ip(_164048))], (4945 ^ _35487) ^ [] : [-(ip(_164046))], (4947 ^ _35487) ^ [_164345, _164347] : [iext(_164048, _164347, _164345), -(icext(_164046, _164345))]]], (4953 ^ _35487) ^ [_164534, _164536] : [-(iext(uri_rdfs_range, _164536, _164534)), ip(_164536), ip(_164534), 4964 ^ _35487 : [(4965 ^ _35487) ^ [] : [-(iext(_164536, 4962 ^ [_164534, _164536], 4963 ^ [_164534, _164536]))], (4967 ^ _35487) ^ [] : [icext(_164534, 4963 ^ [_164534, _164536])]]], (4971 ^ _35487) ^ [_165175, _165177] : [iext(uri_rdfs_subClassOf, _165177, _165175), 4974 ^ _35487 : [(4975 ^ _35487) ^ [] : [-(ic(_165177))], (4977 ^ _35487) ^ [] : [-(ic(_165175))], (4979 ^ _35487) ^ [_165454] : [icext(_165177, _165454), -(icext(_165175, _165454))]]], (4985 ^ _35487) ^ [_165635, _165637] : [-(iext(uri_rdfs_subClassOf, _165637, _165635)), ic(_165637), ic(_165635), 4995 ^ _35487 : [(4996 ^ _35487) ^ [] : [-(icext(_165637, 4994 ^ [_165635, _165637]))], (4998 ^ _35487) ^ [] : [icext(_165635, 4994 ^ [_165635, _165637])]]], (5002 ^ _35487) ^ [_166197, _166199] : [iext(uri_rdfs_subPropertyOf, _166199, _166197), 5005 ^ _35487 : [(5006 ^ _35487) ^ [] : [-(ip(_166199))], (5008 ^ _35487) ^ [] : [-(ip(_166197))], (5010 ^ _35487) ^ [_166497, _166499] : [iext(_166199, _166499, _166497), -(iext(_166197, _166499, _166497))]]], (5016 ^ _35487) ^ [_166688, _166690] : [-(iext(uri_rdfs_subPropertyOf, _166690, _166688)), ip(_166690), ip(_166688), 5027 ^ _35487 : [(5028 ^ _35487) ^ [] : [-(iext(_166690, 5025 ^ [_166688, _166690], 5026 ^ [_166688, _166690]))], (5030 ^ _35487) ^ [] : [iext(_166688, 5025 ^ [_166688, _166690], 5026 ^ [_166688, _166690])]]], (5034 ^ _35487) ^ [_167347, _167349] : [iext(uri_owl_differentFrom, _167349, _167347), _167349 = _167347], (5040 ^ _35487) ^ [_167512, _167514] : [-(_167514 = _167512), -(iext(uri_owl_differentFrom, _167514, _167512))], (5046 ^ _35487) ^ [_167744] : [iext(uri_owl_disjointUnionOf, _167744, uri_rdf_nil), 5049 ^ _35487 : [(5050 ^ _35487) ^ [] : [-(ic(_167744))], (5052 ^ _35487) ^ [_167927] : [icext(_167744, _167927)]]], (5054 ^ _35487) ^ [_167995] : [-(iext(uri_owl_disjointUnionOf, _167995, uri_rdf_nil)), ic(_167995), -(icext(_167995, 5059 ^ [_167995]))], (5065 ^ _35487) ^ [_168356, _168358, _168360] : [iext(uri_rdf_first, _168358, _168356), iext(uri_rdf_rest, _168358, uri_rdf_nil), 5072 ^ _35487 : [(5073 ^ _35487) ^ [] : [iext(uri_owl_disjointUnionOf, _168360, _168358), 5076 ^ _35487 : [(5077 ^ _35487) ^ [] : [-(ic(_168360))], (5079 ^ _35487) ^ [] : [-(ic(_168356))], (5081 ^ _35487) ^ [_168887] : [icext(_168360, _168887), -(icext(_168356, _168887))], (5087 ^ _35487) ^ [_169067] : [icext(_168356, _169067), -(icext(_168360, _169067))]]], (5093 ^ _35487) ^ [] : [-(iext(uri_owl_disjointUnionOf, _168360, _168358)), ic(_168360), ic(_168356), 5105 ^ _35487 : [(5106 ^ _35487) ^ [] : [-(icext(_168360, 5102 ^ [_168356, _168358, _168360]))], (5108 ^ _35487) ^ [] : [icext(_168356, 5102 ^ [_168356, _168358, _168360])]], 5109 ^ _35487 : [(5110 ^ _35487) ^ [] : [-(icext(_168356, 5102 ^ [_168356, _168358, _168360]))], (5112 ^ _35487) ^ [] : [icext(_168360, 5102 ^ [_168356, _168358, _168360])]]]]], (5116 ^ _35487) ^ [_169994, _169996, _169998, _170000, _170002] : [iext(uri_rdf_first, _170000, _169998), iext(uri_rdf_rest, _170000, _169996), iext(uri_rdf_first, _169996, _169994), iext(uri_rdf_rest, _169996, uri_rdf_nil), 5131 ^ _35487 : [(5172 ^ _35487) ^ [] : [-(iext(uri_owl_disjointUnionOf, _170002, _170000)), ic(_170002), ic(_169998), ic(_169994), 5188 ^ _35487 : [(5189 ^ _35487) ^ [] : [-(icext(_170002, 5185 ^ [_169994, _169996, _169998, _170000, _170002]))], (5191 ^ _35487) ^ [] : [5192 ^ _35487 : [(5193 ^ _35487) ^ [] : [icext(_169998, 5185 ^ [_169994, _169996, _169998, _170000, _170002])], (5195 ^ _35487) ^ [] : [icext(_169994, 5185 ^ [_169994, _169996, _169998, _170000, _170002])]], 5196 ^ _35487 : [(5197 ^ _35487) ^ [] : [-(icext(_169998, 5185 ^ [_169994, _169996, _169998, _170000, _170002]))], (5199 ^ _35487) ^ [] : [-(icext(_169994, 5185 ^ [_169994, _169996, _169998, _170000, _170002]))]]]], 5200 ^ _35487 : [(5213 ^ _35487) ^ [] : [icext(_170002, 5185 ^ [_169994, _169996, _169998, _170000, _170002])], (5201 ^ _35487) ^ [] : [-(icext(_169998, 5185 ^ [_169994, _169996, _169998, _170000, _170002])), -(icext(_169994, 5185 ^ [_169994, _169996, _169998, _170000, _170002]))], (5207 ^ _35487) ^ [] : [icext(_169998, 5185 ^ [_169994, _169996, _169998, _170000, _170002]), icext(_169994, 5185 ^ [_169994, _169996, _169998, _170000, _170002])]]], (5132 ^ _35487) ^ [] : [iext(uri_owl_disjointUnionOf, _170002, _170000), 5135 ^ _35487 : [(5136 ^ _35487) ^ [] : [-(ic(_170002))], (5138 ^ _35487) ^ [] : [-(ic(_169998))], (5140 ^ _35487) ^ [] : [-(ic(_169994))], (5158 ^ _35487) ^ [_171350] : [-(icext(_170002, _171350)), 5161 ^ _35487 : [(5162 ^ _35487) ^ [] : [icext(_169998, _171350)], (5164 ^ _35487) ^ [] : [icext(_169994, _171350)]], 5165 ^ _35487 : [(5166 ^ _35487) ^ [] : [-(icext(_169998, _171350))], (5168 ^ _35487) ^ [] : [-(icext(_169994, _171350))]]], (5142 ^ _35487) ^ [_170859] : [icext(_170002, _170859), 5145 ^ _35487 : [(5146 ^ _35487) ^ [] : [-(icext(_169998, _170859)), -(icext(_169994, _170859))], (5152 ^ _35487) ^ [] : [icext(_169998, _170859), icext(_169994, _170859)]]]]]]], (5217 ^ _35487) ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381] : [iext(uri_rdf_first, _173379, _173377), iext(uri_rdf_rest, _173379, _173375), iext(uri_rdf_first, _173375, _173373), iext(uri_rdf_rest, _173375, _173371), iext(uri_rdf_first, _173371, _173369), iext(uri_rdf_rest, _173371, uri_rdf_nil), 5240 ^ _35487 : [(5313 ^ _35487) ^ [] : [-(iext(uri_owl_disjointUnionOf, _173381, _173379)), ic(_173381), ic(_173377), ic(_173373), ic(_173369), 5333 ^ _35487 : [(5334 ^ _35487) ^ [] : [-(icext(_173381, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))], (5336 ^ _35487) ^ [] : [5337 ^ _35487 : [(5338 ^ _35487) ^ [] : [icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])], (5340 ^ _35487) ^ [] : [icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])], (5342 ^ _35487) ^ [] : [icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])]], 5345 ^ _35487 : [(5346 ^ _35487) ^ [] : [-(icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))], (5348 ^ _35487) ^ [] : [-(icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))]], 5351 ^ _35487 : [(5352 ^ _35487) ^ [] : [-(icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))], (5354 ^ _35487) ^ [] : [-(icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))]], 5355 ^ _35487 : [(5356 ^ _35487) ^ [] : [-(icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))], (5358 ^ _35487) ^ [] : [-(icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))]]]], 5359 ^ _35487 : [(5388 ^ _35487) ^ [] : [icext(_173381, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])], (5360 ^ _35487) ^ [] : [-(icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])), -(icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])), -(icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]))], (5370 ^ _35487) ^ [] : [icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]), icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])], (5376 ^ _35487) ^ [] : [icext(_173377, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]), icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])], (5382 ^ _35487) ^ [] : [icext(_173373, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381]), icext(_173369, 5330 ^ [_173369, _173371, _173373, _173375, _173377, _173379, _173381])]]], (5241 ^ _35487) ^ [] : [iext(uri_owl_disjointUnionOf, _173381, _173379), 5244 ^ _35487 : [(5245 ^ _35487) ^ [] : [-(ic(_173381))], (5247 ^ _35487) ^ [] : [-(ic(_173377))], (5249 ^ _35487) ^ [] : [-(ic(_173373))], (5251 ^ _35487) ^ [] : [-(ic(_173369))], (5285 ^ _35487) ^ [_175663] : [-(icext(_173381, _175663)), 5288 ^ _35487 : [(5289 ^ _35487) ^ [] : [icext(_173377, _175663)], (5291 ^ _35487) ^ [] : [icext(_173373, _175663)], (5293 ^ _35487) ^ [] : [icext(_173369, _175663)]], 5296 ^ _35487 : [(5297 ^ _35487) ^ [] : [-(icext(_173377, _175663))], (5299 ^ _35487) ^ [] : [-(icext(_173373, _175663))]], 5302 ^ _35487 : [(5303 ^ _35487) ^ [] : [-(icext(_173377, _175663))], (5305 ^ _35487) ^ [] : [-(icext(_173369, _175663))]], 5306 ^ _35487 : [(5307 ^ _35487) ^ [] : [-(icext(_173373, _175663))], (5309 ^ _35487) ^ [] : [-(icext(_173369, _175663))]]], (5253 ^ _35487) ^ [_174622] : [icext(_173381, _174622), 5256 ^ _35487 : [(5257 ^ _35487) ^ [] : [-(icext(_173377, _174622)), -(icext(_173373, _174622)), -(icext(_173369, _174622))], (5267 ^ _35487) ^ [] : [icext(_173377, _174622), icext(_173373, _174622)], (5273 ^ _35487) ^ [] : [icext(_173377, _174622), icext(_173369, _174622)], (5279 ^ _35487) ^ [] : [icext(_173373, _174622), icext(_173369, _174622)]]]]]]], (5392 ^ _35487) ^ [_179519, _179521] : [iext(uri_owl_disjointWith, _179521, _179519), 5395 ^ _35487 : [(5396 ^ _35487) ^ [] : [-(ic(_179521))], (5398 ^ _35487) ^ [] : [-(ic(_179519))], (5400 ^ _35487) ^ [_179800] : [icext(_179521, _179800), icext(_179519, _179800)]]], (5406 ^ _35487) ^ [_179980, _179982] : [-(iext(uri_owl_disjointWith, _179982, _179980)), ic(_179982), ic(_179980), 5416 ^ _35487 : [(5417 ^ _35487) ^ [] : [-(icext(_179982, 5415 ^ [_179980, _179982]))], (5419 ^ _35487) ^ [] : [-(icext(_179980, 5415 ^ [_179980, _179982]))]]], (5423 ^ _35487) ^ [_180547, _180549] : [iext(uri_owl_equivalentClass, _180549, _180547), 5426 ^ _35487 : [(5427 ^ _35487) ^ [] : [-(ic(_180549))], (5429 ^ _35487) ^ [] : [-(ic(_180547))], (5431 ^ _35487) ^ [_180855] : [icext(_180549, _180855), -(icext(_180547, _180855))], (5437 ^ _35487) ^ [_181027] : [icext(_180547, _181027), -(icext(_180549, _181027))]]], (5443 ^ _35487) ^ [_181210, _181212] : [-(iext(uri_owl_equivalentClass, _181212, _181210)), ic(_181212), ic(_181210), 5455 ^ _35487 : [(5456 ^ _35487) ^ [] : [-(icext(_181212, 5452 ^ [_181210, _181212]))], (5458 ^ _35487) ^ [] : [icext(_181210, 5452 ^ [_181210, _181212])]], 5459 ^ _35487 : [(5460 ^ _35487) ^ [] : [-(icext(_181210, 5452 ^ [_181210, _181212]))], (5462 ^ _35487) ^ [] : [icext(_181212, 5452 ^ [_181210, _181212])]]], (5466 ^ _35487) ^ [_181947, _181949] : [iext(uri_owl_equivalentProperty, _181949, _181947), 5469 ^ _35487 : [(5470 ^ _35487) ^ [] : [-(ip(_181949))], (5472 ^ _35487) ^ [] : [-(ip(_181947))], (5474 ^ _35487) ^ [_182276, _182278] : [iext(_181949, _182278, _182276), -(iext(_181947, _182278, _182276))], (5480 ^ _35487) ^ [_182458, _182460] : [iext(_181947, _182460, _182458), -(iext(_181949, _182460, _182458))]]], (5486 ^ _35487) ^ [_182651, _182653] : [-(iext(uri_owl_equivalentProperty, _182653, _182651)), ip(_182653), ip(_182651), 5499 ^ _35487 : [(5500 ^ _35487) ^ [] : [-(iext(_182653, 5495 ^ [_182651, _182653], 5496 ^ [_182651, _182653]))], (5502 ^ _35487) ^ [] : [iext(_182651, 5495 ^ [_182651, _182653], 5496 ^ [_182651, _182653])]], 5503 ^ _35487 : [(5504 ^ _35487) ^ [] : [-(iext(_182651, 5495 ^ [_182651, _182653], 5496 ^ [_182651, _182653]))], (5506 ^ _35487) ^ [] : [iext(_182653, 5495 ^ [_182651, _182653], 5496 ^ [_182651, _182653])]]], (5510 ^ _35487) ^ [_183501, _183503] : [iext(uri_owl_propertyDisjointWith, _183503, _183501), 5513 ^ _35487 : [(5514 ^ _35487) ^ [] : [-(ip(_183503))], (5516 ^ _35487) ^ [] : [-(ip(_183501))], (5518 ^ _35487) ^ [_183803, _183805] : [iext(_183503, _183805, _183803), iext(_183501, _183805, _183803)]]], (5524 ^ _35487) ^ [_183993, _183995] : [-(iext(uri_owl_propertyDisjointWith, _183995, _183993)), ip(_183995), ip(_183993), 5535 ^ _35487 : [(5536 ^ _35487) ^ [] : [-(iext(_183995, 5533 ^ [_183993, _183995], 5534 ^ [_183993, _183995]))], (5538 ^ _35487) ^ [] : [-(iext(_183993, 5533 ^ [_183993, _183995], 5534 ^ [_183993, _183995]))]]], (5542 ^ _35487) ^ [_184659, _184661] : [iext(uri_owl_sameAs, _184661, _184659), -(_184661 = _184659)], (5548 ^ _35487) ^ [_184823, _184825] : [_184825 = _184823, -(iext(uri_owl_sameAs, _184825, _184823))], (5555 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (5557 ^ _35487) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (5559 ^ _35487) ^ [_185189, _185191] : [5567 ^ _35487 : [(5568 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_185189, _185191]))], (5570 ^ _35487) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_185189, _185191], _185191))]], iext(uri_rdf_first, _185191, _185189), iext(uri_rdf_rest, _185191, uri_rdf_nil)], (5572 ^ _35487) ^ [_185668, _185670, _185672, _185674] : [5592 ^ _35487 : [(5593 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_185668, _185670, _185672, _185674]))], (5595 ^ _35487) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_185668, _185670, _185672, _185674], _185674))]], iext(uri_rdf_first, _185674, _185672), iext(uri_rdf_rest, _185674, _185670), iext(uri_rdf_first, _185670, _185668), iext(uri_rdf_rest, _185670, uri_rdf_nil), -(_185672 = _185668)], (5597 ^ _35487) ^ [_186513, _186515, _186517, _186519, _186521, _186523] : [5633 ^ _35487 : [(5634 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_186513, _186515, _186517, _186519, _186521, _186523]))], (5636 ^ _35487) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_186513, _186515, _186517, _186519, _186521, _186523], _186523))]], iext(uri_rdf_first, _186523, _186521), iext(uri_rdf_rest, _186523, _186519), iext(uri_rdf_first, _186519, _186517), iext(uri_rdf_rest, _186519, _186515), iext(uri_rdf_first, _186515, _186513), iext(uri_rdf_rest, _186515, uri_rdf_nil), -(_186521 = _186517), -(_186521 = _186513), -(_186517 = _186513)], (5638 ^ _35487) ^ [] : [-(tautology), tautology], (5644 ^ _35487) ^ [] : [-(tautology), tautology], (5650 ^ _35487) ^ [_188076, _188078, _188080, _188082, _188084] : [_188080 = _188076, iext(uri_rdf_first, _188082, _188080), iext(uri_rdf_rest, _188082, _188078), iext(uri_rdf_first, _188078, _188076), iext(uri_rdf_rest, _188078, uri_rdf_nil), icext(uri_owl_AllDifferent, _188084), iext(uri_owl_distinctMembers, _188084, _188082)], (5676 ^ _35487) ^ [_188890, _188892, _188894, _188896, _188898, _188900, _188902] : [5707 ^ _35487 : [(5708 ^ _35487) ^ [] : [_188898 = _188894], (5710 ^ _35487) ^ [] : [_188898 = _188890], (5712 ^ _35487) ^ [] : [_188894 = _188890]], iext(uri_rdf_first, _188900, _188898), iext(uri_rdf_rest, _188900, _188896), iext(uri_rdf_first, _188896, _188894), iext(uri_rdf_rest, _188896, _188892), iext(uri_rdf_first, _188892, _188890), iext(uri_rdf_rest, _188892, uri_rdf_nil), icext(uri_owl_AllDifferent, _188902), iext(uri_owl_distinctMembers, _188902, _188900)], (5715 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (5717 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (5719 ^ _35487) ^ [_190231, _190233] : [5727 ^ _35487 : [(5728 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_190231, _190233]))], (5730 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_190231, _190233], _190233))]], iext(uri_rdf_first, _190233, _190231), iext(uri_rdf_rest, _190233, uri_rdf_nil)], (5732 ^ _35487) ^ [_190710, _190712, _190714, _190716] : [5752 ^ _35487 : [(5753 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_190710, _190712, _190714, _190716]))], (5755 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_190710, _190712, _190714, _190716], _190716))]], iext(uri_rdf_first, _190716, _190714), iext(uri_rdf_rest, _190716, _190712), iext(uri_rdf_first, _190712, _190710), iext(uri_rdf_rest, _190712, uri_rdf_nil), -(_190714 = _190710)], (5757 ^ _35487) ^ [_191555, _191557, _191559, _191561, _191563, _191565] : [5793 ^ _35487 : [(5794 ^ _35487) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_191555, _191557, _191559, _191561, _191563, _191565]))], (5796 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_191555, _191557, _191559, _191561, _191563, _191565], _191565))]], iext(uri_rdf_first, _191565, _191563), iext(uri_rdf_rest, _191565, _191561), iext(uri_rdf_first, _191561, _191559), iext(uri_rdf_rest, _191561, _191557), iext(uri_rdf_first, _191557, _191555), iext(uri_rdf_rest, _191557, uri_rdf_nil), -(_191563 = _191559), -(_191563 = _191555), -(_191559 = _191555)], (5798 ^ _35487) ^ [] : [-(tautology), tautology], (5804 ^ _35487) ^ [] : [-(tautology), tautology], (5810 ^ _35487) ^ [_193118, _193120, _193122, _193124, _193126] : [_193122 = _193118, iext(uri_rdf_first, _193124, _193122), iext(uri_rdf_rest, _193124, _193120), iext(uri_rdf_first, _193120, _193118), iext(uri_rdf_rest, _193120, uri_rdf_nil), icext(uri_owl_AllDifferent, _193126), iext(uri_owl_members, _193126, _193124)], (5836 ^ _35487) ^ [_193932, _193934, _193936, _193938, _193940, _193942, _193944] : [5867 ^ _35487 : [(5868 ^ _35487) ^ [] : [_193940 = _193936], (5870 ^ _35487) ^ [] : [_193940 = _193932], (5872 ^ _35487) ^ [] : [_193936 = _193932]], iext(uri_rdf_first, _193942, _193940), iext(uri_rdf_rest, _193942, _193938), iext(uri_rdf_first, _193938, _193936), iext(uri_rdf_rest, _193938, _193934), iext(uri_rdf_first, _193934, _193932), iext(uri_rdf_rest, _193934, uri_rdf_nil), icext(uri_owl_AllDifferent, _193944), iext(uri_owl_members, _193944, _193942)], (5875 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (5877 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (5879 ^ _35487) ^ [_195273, _195275] : [5887 ^ _35487 : [(5888 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_195273, _195275]))], (5890 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_195273, _195275], _195275))]], iext(uri_rdf_first, _195275, _195273), iext(uri_rdf_rest, _195275, uri_rdf_nil)], (5892 ^ _35487) ^ [_195752, _195754, _195756, _195758] : [5915 ^ _35487 : [(5916 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_195752, _195754, _195756, _195758]))], (5918 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_195752, _195754, _195756, _195758], _195758))]], iext(uri_rdf_first, _195758, _195756), iext(uri_rdf_rest, _195758, _195754), iext(uri_rdf_first, _195754, _195752), iext(uri_rdf_rest, _195754, uri_rdf_nil), 5910 ^ _35487 : [(5911 ^ _35487) ^ [] : [-(icext(_195756, 5909 ^ [_195752, _195754, _195756, _195758]))], (5913 ^ _35487) ^ [] : [-(icext(_195752, 5909 ^ [_195752, _195754, _195756, _195758]))]]], (5920 ^ _35487) ^ [_196764, _196766, _196768, _196770, _196772, _196774] : [5965 ^ _35487 : [(5966 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))], (5968 ^ _35487) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_196764, _196766, _196768, _196770, _196772, _196774], _196774))]], iext(uri_rdf_first, _196774, _196772), iext(uri_rdf_rest, _196774, _196770), iext(uri_rdf_first, _196770, _196768), iext(uri_rdf_rest, _196770, _196766), iext(uri_rdf_first, _196766, _196764), iext(uri_rdf_rest, _196766, uri_rdf_nil), 5948 ^ _35487 : [(5949 ^ _35487) ^ [] : [-(icext(_196772, 5947 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))], (5951 ^ _35487) ^ [] : [-(icext(_196768, 5947 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))]], 5955 ^ _35487 : [(5956 ^ _35487) ^ [] : [-(icext(_196772, 5954 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))], (5958 ^ _35487) ^ [] : [-(icext(_196764, 5954 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))]], 5960 ^ _35487 : [(5961 ^ _35487) ^ [] : [-(icext(_196768, 5959 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))], (5963 ^ _35487) ^ [] : [-(icext(_196764, 5959 ^ [_196764, _196766, _196768, _196770, _196772, _196774]))]]], (5970 ^ _35487) ^ [] : [-(tautology), tautology], (5976 ^ _35487) ^ [] : [-(tautology), tautology], (5982 ^ _35487) ^ [_198888, _198890, _198892, _198894, _198896] : [6005 ^ _35487 : [(6006 ^ _35487) ^ [_199554] : [icext(_198892, _199554), icext(_198888, _199554)]], iext(uri_rdf_first, _198894, _198892), iext(uri_rdf_rest, _198894, _198890), iext(uri_rdf_first, _198890, _198888), iext(uri_rdf_rest, _198890, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _198896), iext(uri_owl_members, _198896, _198894)], (6012 ^ _35487) ^ [_199872, _199874, _199876, _199878, _199880, _199882, _199884] : [iext(uri_rdf_first, _199882, _199880), iext(uri_rdf_rest, _199882, _199878), iext(uri_rdf_first, _199878, _199876), iext(uri_rdf_rest, _199878, _199874), iext(uri_rdf_first, _199874, _199872), iext(uri_rdf_rest, _199874, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _199884), iext(uri_owl_members, _199884, _199882), 6043 ^ _35487 : [(6044 ^ _35487) ^ [_200866] : [icext(_199880, _200866), icext(_199876, _200866)], (6050 ^ _35487) ^ [_201111] : [icext(_199880, _201111), icext(_199872, _201111)], (6056 ^ _35487) ^ [_201336] : [icext(_199876, _201336), icext(_199872, _201336)]]], (6063 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6065 ^ _35487) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (6067 ^ _35487) ^ [_201770, _201772] : [6075 ^ _35487 : [(6076 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_201770, _201772]))], (6078 ^ _35487) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_201770, _201772], _201772))]], iext(uri_rdf_first, _201772, _201770), iext(uri_rdf_rest, _201772, uri_rdf_nil)], (6080 ^ _35487) ^ [_202249, _202251, _202253, _202255] : [6104 ^ _35487 : [(6105 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_202249, _202251, _202253, _202255]))], (6107 ^ _35487) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_202249, _202251, _202253, _202255], _202255))]], iext(uri_rdf_first, _202255, _202253), iext(uri_rdf_rest, _202255, _202251), iext(uri_rdf_first, _202251, _202249), iext(uri_rdf_rest, _202251, uri_rdf_nil), 6099 ^ _35487 : [(6100 ^ _35487) ^ [] : [-(iext(_202253, 6097 ^ [_202249, _202251, _202253, _202255], 6098 ^ [_202249, _202251, _202253, _202255]))], (6102 ^ _35487) ^ [] : [-(iext(_202249, 6097 ^ [_202249, _202251, _202253, _202255], 6098 ^ [_202249, _202251, _202253, _202255]))]]], (6109 ^ _35487) ^ [_203384, _203386, _203388, _203390, _203392, _203394] : [6157 ^ _35487 : [(6158 ^ _35487) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))], (6160 ^ _35487) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_203384, _203386, _203388, _203390, _203392, _203394], _203394))]], iext(uri_rdf_first, _203394, _203392), iext(uri_rdf_rest, _203394, _203390), iext(uri_rdf_first, _203390, _203388), iext(uri_rdf_rest, _203390, _203386), iext(uri_rdf_first, _203386, _203384), iext(uri_rdf_rest, _203386, uri_rdf_nil), 6138 ^ _35487 : [(6139 ^ _35487) ^ [] : [-(iext(_203392, 6136 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6137 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))], (6141 ^ _35487) ^ [] : [-(iext(_203388, 6136 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6137 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))]], 6146 ^ _35487 : [(6147 ^ _35487) ^ [] : [-(iext(_203392, 6144 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6145 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))], (6149 ^ _35487) ^ [] : [-(iext(_203384, 6144 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6145 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))]], 6152 ^ _35487 : [(6153 ^ _35487) ^ [] : [-(iext(_203388, 6150 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6151 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))], (6155 ^ _35487) ^ [] : [-(iext(_203384, 6150 ^ [_203384, _203386, _203388, _203390, _203392, _203394], 6151 ^ [_203384, _203386, _203388, _203390, _203392, _203394]))]]], (6162 ^ _35487) ^ [] : [-(tautology), tautology], (6168 ^ _35487) ^ [] : [-(tautology), tautology], (6174 ^ _35487) ^ [_205949, _205951, _205953, _205955, _205957] : [6197 ^ _35487 : [(6198 ^ _35487) ^ [_206636, _206638] : [iext(_205953, _206638, _206636), iext(_205949, _206638, _206636)]], iext(uri_rdf_first, _205955, _205953), iext(uri_rdf_rest, _205955, _205951), iext(uri_rdf_first, _205951, _205949), iext(uri_rdf_rest, _205951, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _205957), iext(uri_owl_members, _205957, _205955)], (6204 ^ _35487) ^ [_206964, _206966, _206968, _206970, _206972, _206974, _206976] : [iext(uri_rdf_first, _206974, _206972), iext(uri_rdf_rest, _206974, _206970), iext(uri_rdf_first, _206970, _206968), iext(uri_rdf_rest, _206970, _206966), iext(uri_rdf_first, _206966, _206964), iext(uri_rdf_rest, _206966, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _206976), iext(uri_owl_members, _206976, _206974), 6235 ^ _35487 : [(6236 ^ _35487) ^ [_207993, _207995] : [iext(_206972, _207995, _207993), iext(_206968, _207995, _207993)], (6242 ^ _35487) ^ [_208262, _208264] : [iext(_206972, _208264, _208262), iext(_206964, _208264, _208262)], (6248 ^ _35487) ^ [_208511, _208513] : [iext(_206968, _208513, _208511), iext(_206964, _208513, _208511)]]], (6254 ^ _35487) ^ [_208818] : [iext(uri_owl_propertyChainAxiom, _208818, uri_rdf_nil), 6257 ^ _35487 : [(6258 ^ _35487) ^ [] : [-(ip(_208818))], (6260 ^ _35487) ^ [_209001] : [-(iext(_208818, _209001, _209001))]]], (6262 ^ _35487) ^ [_209070] : [-(iext(uri_owl_propertyChainAxiom, _209070, uri_rdf_nil)), ip(_209070), iext(_209070, 6267 ^ [_209070], 6267 ^ [_209070])], (6273 ^ _35487) ^ [_209434, _209436, _209438] : [iext(uri_rdf_first, _209436, _209434), iext(uri_rdf_rest, _209436, uri_rdf_nil), 6280 ^ _35487 : [(6281 ^ _35487) ^ [] : [iext(uri_owl_propertyChainAxiom, _209438, _209436), 6284 ^ _35487 : [(6285 ^ _35487) ^ [] : [-(ip(_209438))], (6287 ^ _35487) ^ [] : [-(ip(_209434))], (6289 ^ _35487) ^ [_209957, _209959] : [iext(_209434, _209959, _209957), -(iext(_209438, _209959, _209957))]]], (6295 ^ _35487) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _209438, _209436)), ip(_209438), ip(_209434), 6306 ^ _35487 : [(6307 ^ _35487) ^ [] : [-(iext(_209434, 6304 ^ [_209434, _209436, _209438], 6305 ^ [_209434, _209436, _209438]))], (6309 ^ _35487) ^ [] : [iext(_209438, 6304 ^ [_209434, _209436, _209438], 6305 ^ [_209434, _209436, _209438])]]]]], (6313 ^ _35487) ^ [_210809, _210811, _210813, _210815, _210817] : [iext(uri_rdf_first, _210815, _210813), iext(uri_rdf_rest, _210815, _210811), iext(uri_rdf_first, _210811, _210809), iext(uri_rdf_rest, _210811, uri_rdf_nil), 6328 ^ _35487 : [(6329 ^ _35487) ^ [] : [iext(uri_owl_propertyChainAxiom, _210817, _210815), 6332 ^ _35487 : [(6333 ^ _35487) ^ [] : [-(ip(_210817))], (6335 ^ _35487) ^ [] : [-(ip(_210813))], (6337 ^ _35487) ^ [] : [-(ip(_210809))], (6339 ^ _35487) ^ [_211672, _211674, _211676] : [-(iext(_210817, _211676, _211672)), iext(_210813, _211676, _211674), iext(_210809, _211674, _211672)]]], (6349 ^ _35487) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _210817, _210815)), ip(_210817), ip(_210813), ip(_210809), 6365 ^ _35487 : [(6366 ^ _35487) ^ [] : [-(iext(_210813, 6362 ^ [_210809, _210811, _210813, _210815, _210817], 6363 ^ [_210809, _210811, _210813, _210815, _210817]))], (6368 ^ _35487) ^ [] : [-(iext(_210809, 6363 ^ [_210809, _210811, _210813, _210815, _210817], 6364 ^ [_210809, _210811, _210813, _210815, _210817]))], (6370 ^ _35487) ^ [] : [iext(_210817, 6362 ^ [_210809, _210811, _210813, _210815, _210817], 6364 ^ [_210809, _210811, _210813, _210815, _210817])]]]]], (6374 ^ _35487) ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124] : [iext(uri_rdf_first, _213122, _213120), iext(uri_rdf_rest, _213122, _213118), iext(uri_rdf_first, _213118, _213116), iext(uri_rdf_rest, _213118, _213114), iext(uri_rdf_first, _213114, _213112), iext(uri_rdf_rest, _213114, uri_rdf_nil), 6397 ^ _35487 : [(6398 ^ _35487) ^ [] : [iext(uri_owl_propertyChainAxiom, _213124, _213122), 6401 ^ _35487 : [(6402 ^ _35487) ^ [] : [-(ip(_213124))], (6404 ^ _35487) ^ [] : [-(ip(_213120))], (6406 ^ _35487) ^ [] : [-(ip(_213116))], (6408 ^ _35487) ^ [] : [-(ip(_213112))], (6410 ^ _35487) ^ [_214355, _214357, _214359, _214361] : [-(iext(_213124, _214361, _214355)), iext(_213120, _214361, _214359), iext(_213116, _214359, _214357), iext(_213112, _214357, _214355)]]], (6424 ^ _35487) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _213124, _213122)), ip(_213124), ip(_213120), ip(_213116), ip(_213112), 6445 ^ _35487 : [(6446 ^ _35487) ^ [] : [-(iext(_213120, 6441 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124], 6442 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124]))], (6448 ^ _35487) ^ [] : [-(iext(_213116, 6442 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124], 6443 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124]))], (6450 ^ _35487) ^ [] : [-(iext(_213112, 6443 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124], 6444 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124]))], (6452 ^ _35487) ^ [] : [iext(_213124, 6441 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124], 6444 ^ [_213112, _213114, _213116, _213118, _213120, _213122, _213124])]]]]], (6456 ^ _35487) ^ [_216479, _216481] : [iext(uri_owl_inverseOf, _216481, _216479), 6459 ^ _35487 : [(6460 ^ _35487) ^ [] : [-(ip(_216481))], (6462 ^ _35487) ^ [] : [-(ip(_216479))], (6464 ^ _35487) ^ [_216808, _216810] : [iext(_216481, _216810, _216808), -(iext(_216479, _216808, _216810))], (6470 ^ _35487) ^ [_216990, _216992] : [iext(_216479, _216990, _216992), -(iext(_216481, _216992, _216990))]]], (6476 ^ _35487) ^ [_217183, _217185] : [-(iext(uri_owl_inverseOf, _217185, _217183)), ip(_217185), ip(_217183), 6489 ^ _35487 : [(6490 ^ _35487) ^ [] : [-(iext(_217185, 6485 ^ [_217183, _217185], 6486 ^ [_217183, _217185]))], (6492 ^ _35487) ^ [] : [iext(_217183, 6486 ^ [_217183, _217185], 6485 ^ [_217183, _217185])]], 6493 ^ _35487 : [(6494 ^ _35487) ^ [] : [-(iext(_217183, 6486 ^ [_217183, _217185], 6485 ^ [_217183, _217185]))], (6496 ^ _35487) ^ [] : [iext(_217185, 6485 ^ [_217183, _217185], 6486 ^ [_217183, _217185])]]], (6500 ^ _35487) ^ [_218019] : [icext(uri_owl_AsymmetricProperty, _218019), 6503 ^ _35487 : [(6504 ^ _35487) ^ [] : [-(ip(_218019))], (6506 ^ _35487) ^ [_218243, _218245] : [iext(_218019, _218245, _218243), iext(_218019, _218243, _218245)]]], (6512 ^ _35487) ^ [_218425] : [-(icext(uri_owl_AsymmetricProperty, _218425)), ip(_218425), 6519 ^ _35487 : [(6520 ^ _35487) ^ [] : [-(iext(_218425, 6517 ^ [_218425], 6518 ^ [_218425]))], (6522 ^ _35487) ^ [] : [-(iext(_218425, 6518 ^ [_218425], 6517 ^ [_218425]))]]], (6542 ^ _35487) ^ [_219487] : [-(icext(uri_owl_FunctionalProperty, _219487)), ip(_219487), 6550 ^ _35487 : [(6551 ^ _35487) ^ [] : [-(iext(_219487, 6547 ^ [_219487], 6548 ^ [_219487]))], (6553 ^ _35487) ^ [] : [-(iext(_219487, 6547 ^ [_219487], 6549 ^ [_219487]))], (6555 ^ _35487) ^ [] : [6548 ^ [_219487] = 6549 ^ [_219487]]]], (6526 ^ _35487) ^ [_218956] : [icext(uri_owl_FunctionalProperty, _218956), 6529 ^ _35487 : [(6530 ^ _35487) ^ [] : [-(ip(_218956))], (6532 ^ _35487) ^ [_219203, _219205, _219207] : [-(_219205 = _219203), iext(_218956, _219207, _219205), iext(_218956, _219207, _219203)]]], (6575 ^ _35487) ^ [_220728] : [-(icext(uri_owl_InverseFunctionalProperty, _220728)), ip(_220728), 6583 ^ _35487 : [(6584 ^ _35487) ^ [] : [-(iext(_220728, 6580 ^ [_220728], 6582 ^ [_220728]))], (6586 ^ _35487) ^ [] : [-(iext(_220728, 6581 ^ [_220728], 6582 ^ [_220728]))], (6588 ^ _35487) ^ [] : [6580 ^ [_220728] = 6581 ^ [_220728]]]], (6559 ^ _35487) ^ [_220197] : [icext(uri_owl_InverseFunctionalProperty, _220197), 6562 ^ _35487 : [(6563 ^ _35487) ^ [] : [-(ip(_220197))], (6565 ^ _35487) ^ [_220444, _220446, _220448] : [-(_220448 = _220446), iext(_220197, _220448, _220444), iext(_220197, _220446, _220444)]]], (6592 ^ _35487) ^ [_221438] : [icext(uri_owl_IrreflexiveReflexiveProperty, _221438), 6595 ^ _35487 : [(6596 ^ _35487) ^ [] : [-(ip(_221438))], (6598 ^ _35487) ^ [_221620] : [iext(_221438, _221620, _221620)]]], (6600 ^ _35487) ^ [_221689] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _221689)), ip(_221689), -(iext(_221689, 6605 ^ [_221689], 6605 ^ [_221689]))], (6611 ^ _35487) ^ [_222057] : [icext(uri_owl_ReflexiveProperty, _222057), 6614 ^ _35487 : [(6615 ^ _35487) ^ [] : [-(ip(_222057))], (6617 ^ _35487) ^ [_222238] : [-(iext(_222057, _222238, _222238))]]], (6619 ^ _35487) ^ [_222307] : [-(icext(uri_owl_ReflexiveProperty, _222307)), ip(_222307), iext(_222307, 6624 ^ [_222307], 6624 ^ [_222307])], (6630 ^ _35487) ^ [_222670] : [icext(uri_owl_SymmetricProperty, _222670), 6633 ^ _35487 : [(6634 ^ _35487) ^ [] : [-(ip(_222670))], (6636 ^ _35487) ^ [_222892, _222894] : [iext(_222670, _222894, _222892), -(iext(_222670, _222892, _222894))]]], (6642 ^ _35487) ^ [_223073] : [-(icext(uri_owl_SymmetricProperty, _223073)), ip(_223073), 6649 ^ _35487 : [(6650 ^ _35487) ^ [] : [-(iext(_223073, 6647 ^ [_223073], 6648 ^ [_223073]))], (6652 ^ _35487) ^ [] : [iext(_223073, 6648 ^ [_223073], 6647 ^ [_223073])]]], (6672 ^ _35487) ^ [_224131] : [-(icext(uri_owl_TransitiveProperty, _224131)), ip(_224131), 6680 ^ _35487 : [(6681 ^ _35487) ^ [] : [-(iext(_224131, 6677 ^ [_224131], 6678 ^ [_224131]))], (6683 ^ _35487) ^ [] : [-(iext(_224131, 6678 ^ [_224131], 6679 ^ [_224131]))], (6685 ^ _35487) ^ [] : [iext(_224131, 6677 ^ [_224131], 6679 ^ [_224131])]]], (6656 ^ _35487) ^ [_223597] : [icext(uri_owl_TransitiveProperty, _223597), 6659 ^ _35487 : [(6660 ^ _35487) ^ [] : [-(ip(_223597))], (6662 ^ _35487) ^ [_223845, _223847, _223849] : [-(iext(_223597, _223849, _223845)), iext(_223597, _223849, _223847), iext(_223597, _223847, _223845)]]], (6705 ^ _35487) ^ [_225344] : [-(iext(uri_owl_hasKey, _225344, uri_rdf_nil)), ic(_225344), 6712 ^ _35487 : [(6713 ^ _35487) ^ [] : [-(icext(_225344, 6710 ^ [_225344]))], (6715 ^ _35487) ^ [] : [-(icext(_225344, 6711 ^ [_225344]))], (6717 ^ _35487) ^ [] : [6710 ^ [_225344] = 6711 ^ [_225344]]]], (6689 ^ _35487) ^ [_224846] : [iext(uri_owl_hasKey, _224846, uri_rdf_nil), 6692 ^ _35487 : [(6693 ^ _35487) ^ [] : [-(ic(_224846))], (6695 ^ _35487) ^ [_225074, _225076] : [-(_225076 = _225074), icext(_224846, _225076), icext(_224846, _225074)]]], (6721 ^ _35487) ^ [_225947, _225949, _225951] : [iext(uri_rdf_first, _225949, _225947), iext(uri_rdf_rest, _225949, uri_rdf_nil), 6728 ^ _35487 : [(6755 ^ _35487) ^ [] : [-(iext(uri_owl_hasKey, _225951, _225949)), ic(_225951), ip(_225947), 6767 ^ _35487 : [(6768 ^ _35487) ^ [] : [-(icext(_225951, 6764 ^ [_225947, _225949, _225951]))], (6770 ^ _35487) ^ [] : [-(icext(_225951, 6765 ^ [_225947, _225949, _225951]))], (6772 ^ _35487) ^ [] : [-(iext(_225947, 6764 ^ [_225947, _225949, _225951], 6766 ^ [_225947, _225949, _225951]))], (6774 ^ _35487) ^ [] : [-(iext(_225947, 6765 ^ [_225947, _225949, _225951], 6766 ^ [_225947, _225949, _225951]))], (6776 ^ _35487) ^ [] : [6764 ^ [_225947, _225949, _225951] = 6765 ^ [_225947, _225949, _225951]]]], (6729 ^ _35487) ^ [] : [iext(uri_owl_hasKey, _225951, _225949), 6732 ^ _35487 : [(6733 ^ _35487) ^ [] : [-(ic(_225951))], (6735 ^ _35487) ^ [] : [-(ip(_225947))], (6737 ^ _35487) ^ [_226507, _226509, _226511] : [-(_226511 = _226509), icext(_225951, _226511), icext(_225951, _226509), iext(_225947, _226511, _226507), iext(_225947, _226509, _226507)]]]]], (6780 ^ _35487) ^ [_228116, _228118, _228120, _228122, _228124] : [iext(uri_rdf_first, _228122, _228120), iext(uri_rdf_rest, _228122, _228118), iext(uri_rdf_first, _228118, _228116), iext(uri_rdf_rest, _228118, uri_rdf_nil), 6795 ^ _35487 : [(6832 ^ _35487) ^ [] : [-(iext(uri_owl_hasKey, _228124, _228122)), ic(_228124), ip(_228120), ip(_228116), 6849 ^ _35487 : [(6850 ^ _35487) ^ [] : [-(icext(_228124, 6845 ^ [_228116, _228118, _228120, _228122, _228124]))], (6852 ^ _35487) ^ [] : [-(icext(_228124, 6846 ^ [_228116, _228118, _228120, _228122, _228124]))], (6854 ^ _35487) ^ [] : [-(iext(_228120, 6845 ^ [_228116, _228118, _228120, _228122, _228124], 6847 ^ [_228116, _228118, _228120, _228122, _228124]))], (6856 ^ _35487) ^ [] : [-(iext(_228120, 6846 ^ [_228116, _228118, _228120, _228122, _228124], 6847 ^ [_228116, _228118, _228120, _228122, _228124]))], (6858 ^ _35487) ^ [] : [-(iext(_228116, 6845 ^ [_228116, _228118, _228120, _228122, _228124], 6848 ^ [_228116, _228118, _228120, _228122, _228124]))], (6860 ^ _35487) ^ [] : [-(iext(_228116, 6846 ^ [_228116, _228118, _228120, _228122, _228124], 6848 ^ [_228116, _228118, _228120, _228122, _228124]))], (6862 ^ _35487) ^ [] : [6845 ^ [_228116, _228118, _228120, _228122, _228124] = 6846 ^ [_228116, _228118, _228120, _228122, _228124]]]], (6796 ^ _35487) ^ [] : [iext(uri_owl_hasKey, _228124, _228122), 6799 ^ _35487 : [(6800 ^ _35487) ^ [] : [-(ic(_228124))], (6802 ^ _35487) ^ [] : [-(ip(_228120))], (6804 ^ _35487) ^ [] : [-(ip(_228116))], (6806 ^ _35487) ^ [_229023, _229025, _229027, _229029] : [-(_229029 = _229027), icext(_228124, _229029), icext(_228124, _229027), iext(_228120, _229029, _229025), iext(_228120, _229027, _229025), iext(_228116, _229029, _229023), iext(_228116, _229027, _229023)]]]]], (6866 ^ _35487) ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733] : [iext(uri_rdf_first, _231731, _231729), iext(uri_rdf_rest, _231731, _231727), iext(uri_rdf_first, _231727, _231725), iext(uri_rdf_rest, _231727, _231723), iext(uri_rdf_first, _231723, _231721), iext(uri_rdf_rest, _231723, uri_rdf_nil), 6889 ^ _35487 : [(6936 ^ _35487) ^ [] : [-(iext(uri_owl_hasKey, _231733, _231731)), ic(_231733), ip(_231729), ip(_231725), ip(_231721), 6958 ^ _35487 : [(6959 ^ _35487) ^ [] : [-(icext(_231733, 6953 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6961 ^ _35487) ^ [] : [-(icext(_231733, 6954 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6963 ^ _35487) ^ [] : [-(iext(_231729, 6953 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6955 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6965 ^ _35487) ^ [] : [-(iext(_231729, 6954 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6955 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6967 ^ _35487) ^ [] : [-(iext(_231725, 6953 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6956 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6969 ^ _35487) ^ [] : [-(iext(_231725, 6954 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6956 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6971 ^ _35487) ^ [] : [-(iext(_231721, 6953 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6957 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6973 ^ _35487) ^ [] : [-(iext(_231721, 6954 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733], 6957 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]))], (6975 ^ _35487) ^ [] : [6953 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733] = 6954 ^ [_231721, _231723, _231725, _231727, _231729, _231731, _231733]]]], (6890 ^ _35487) ^ [] : [iext(uri_owl_hasKey, _231733, _231731), 6893 ^ _35487 : [(6894 ^ _35487) ^ [] : [-(ic(_231733))], (6896 ^ _35487) ^ [] : [-(ip(_231729))], (6898 ^ _35487) ^ [] : [-(ip(_231725))], (6900 ^ _35487) ^ [] : [-(ip(_231721))], (6902 ^ _35487) ^ [_233015, _233017, _233019, _233021, _233023] : [-(_233023 = _233021), icext(_231733, _233023), icext(_231733, _233021), iext(_231729, _233023, _233019), iext(_231729, _233021, _233019), iext(_231725, _233023, _233017), iext(_231725, _233021, _233017), iext(_231721, _233023, _233015), iext(_231721, _233021, _233015)]]]]], (6979 ^ _35487) ^ [_237085, _237087, _237089] : [6995 ^ _35487 : [(6996 ^ _35487) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_237085, _237087, _237089], _237087))], (6998 ^ _35487) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_237085, _237087, _237089], _237089))], (7000 ^ _35487) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_237085, _237087, _237089], _237085))]], ir(_237087), iodp(_237089), lv(_237085), -(iext(_237089, _237087, _237085))], (7002 ^ _35487) ^ [_237862, _237864, _237866, _237868] : [7013 ^ _35487 : [(7014 ^ _35487) ^ [] : [-(iodp(_237866))], (7016 ^ _35487) ^ [] : [iext(_237866, _237864, _237862)]], iext(uri_owl_sourceIndividual, _237868, _237864), iext(uri_owl_assertionProperty, _237868, _237866), iext(uri_owl_targetValue, _237868, _237862)], (7018 ^ _35487) ^ [_238378, _238380, _238382] : [7034 ^ _35487 : [(7035 ^ _35487) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_238378, _238380, _238382], _238380))], (7037 ^ _35487) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_238378, _238380, _238382], _238382))], (7039 ^ _35487) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_238378, _238380, _238382], _238378))]], ir(_238380), ip(_238382), ir(_238378), -(iext(_238382, _238380, _238378))], (7041 ^ _35487) ^ [_239155, _239157, _239159, _239161] : [iext(_239159, _239157, _239155), iext(uri_owl_sourceIndividual, _239161, _239157), iext(uri_owl_assertionProperty, _239161, _239159), iext(uri_owl_targetIndividual, _239161, _239155)], (7055 ^ _35487) ^ [_239566] : [icext(uri_xsd_anyURI, _239566), -(lv(_239566))], (7061 ^ _35487) ^ [] : [-(idc(uri_xsd_anyURI))], (7063 ^ _35487) ^ [_239807] : [icext(uri_xsd_base64Binary, _239807), -(lv(_239807))], (7069 ^ _35487) ^ [] : [-(idc(uri_xsd_base64Binary))], (7071 ^ _35487) ^ [_240048] : [icext(uri_xsd_boolean, _240048), -(lv(_240048))], (7077 ^ _35487) ^ [] : [-(idc(uri_xsd_boolean))], (7079 ^ _35487) ^ [_240289] : [icext(uri_xsd_byte, _240289), -(lv(_240289))], (7085 ^ _35487) ^ [] : [-(idc(uri_xsd_byte))], (7087 ^ _35487) ^ [_240530] : [icext(uri_xsd_dateTime, _240530), -(lv(_240530))], (7093 ^ _35487) ^ [] : [-(idc(uri_xsd_dateTime))], (7095 ^ _35487) ^ [_240771] : [icext(uri_xsd_dateTimeStamp, _240771), -(lv(_240771))], (7101 ^ _35487) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7103 ^ _35487) ^ [_241012] : [icext(uri_xsd_decimal, _241012), -(lv(_241012))], (7109 ^ _35487) ^ [] : [-(idc(uri_xsd_decimal))], (7111 ^ _35487) ^ [_241253] : [icext(uri_xsd_double, _241253), -(lv(_241253))], (7117 ^ _35487) ^ [] : [-(idc(uri_xsd_double))], (7119 ^ _35487) ^ [_241494] : [icext(uri_xsd_float, _241494), -(lv(_241494))], (7125 ^ _35487) ^ [] : [-(idc(uri_xsd_float))], (7127 ^ _35487) ^ [_241735] : [icext(uri_xsd_hexBinary, _241735), -(lv(_241735))], (7133 ^ _35487) ^ [] : [-(idc(uri_xsd_hexBinary))], (7135 ^ _35487) ^ [_241976] : [icext(uri_xsd_int, _241976), -(lv(_241976))], (7141 ^ _35487) ^ [] : [-(idc(uri_xsd_int))], (7143 ^ _35487) ^ [_242217] : [icext(uri_xsd_integer, _242217), -(lv(_242217))], (7149 ^ _35487) ^ [] : [-(idc(uri_xsd_integer))], (7151 ^ _35487) ^ [_242458] : [icext(uri_xsd_language, _242458), -(lv(_242458))], (7157 ^ _35487) ^ [] : [-(idc(uri_xsd_language))], (7159 ^ _35487) ^ [_242699] : [icext(uri_xsd_long, _242699), -(lv(_242699))], (7165 ^ _35487) ^ [] : [-(idc(uri_xsd_long))], (7167 ^ _35487) ^ [_242940] : [icext(uri_xsd_Name, _242940), -(lv(_242940))], (7173 ^ _35487) ^ [] : [-(idc(uri_xsd_Name))], (7175 ^ _35487) ^ [_243181] : [icext(uri_xsd_NCName, _243181), -(lv(_243181))], (7181 ^ _35487) ^ [] : [-(idc(uri_xsd_NCName))], (7183 ^ _35487) ^ [_243422] : [icext(uri_xsd_negativeInteger, _243422), -(lv(_243422))], (7189 ^ _35487) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7191 ^ _35487) ^ [_243663] : [icext(uri_xsd_NMTOKEN, _243663), -(lv(_243663))], (7197 ^ _35487) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7199 ^ _35487) ^ [_243904] : [icext(uri_xsd_nonNegativeInteger, _243904), -(lv(_243904))], (7205 ^ _35487) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7207 ^ _35487) ^ [_244145] : [icext(uri_xsd_nonPositiveInteger, _244145), -(lv(_244145))], (7213 ^ _35487) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7215 ^ _35487) ^ [_244386] : [icext(uri_xsd_normalizedString, _244386), -(lv(_244386))], (7221 ^ _35487) ^ [] : [-(idc(uri_xsd_normalizedString))], (7223 ^ _35487) ^ [_244627] : [icext(uri_rdf_PlainLiteral, _244627), -(lv(_244627))], (7229 ^ _35487) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7231 ^ _35487) ^ [_244868] : [icext(uri_xsd_positiveInteger, _244868), -(lv(_244868))], (7237 ^ _35487) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7239 ^ _35487) ^ [_245109] : [icext(uri_owl_rational, _245109), -(lv(_245109))], (7245 ^ _35487) ^ [] : [-(idc(uri_owl_rational))], (7247 ^ _35487) ^ [_245350] : [icext(uri_owl_real, _245350), -(lv(_245350))], (7253 ^ _35487) ^ [] : [-(idc(uri_owl_real))], (7255 ^ _35487) ^ [_245591] : [icext(uri_xsd_short, _245591), -(lv(_245591))], (7261 ^ _35487) ^ [] : [-(idc(uri_xsd_short))], (7263 ^ _35487) ^ [_245832] : [icext(uri_xsd_string, _245832), -(lv(_245832))], (7269 ^ _35487) ^ [] : [-(idc(uri_xsd_string))], (7271 ^ _35487) ^ [_246073] : [icext(uri_xsd_token, _246073), -(lv(_246073))], (7277 ^ _35487) ^ [] : [-(idc(uri_xsd_token))], (7279 ^ _35487) ^ [_246314] : [icext(uri_xsd_unsignedByte, _246314), -(lv(_246314))], (7285 ^ _35487) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7287 ^ _35487) ^ [_246555] : [icext(uri_xsd_unsignedInt, _246555), -(lv(_246555))], (7293 ^ _35487) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7295 ^ _35487) ^ [_246796] : [icext(uri_xsd_unsignedLong, _246796), -(lv(_246796))], (7301 ^ _35487) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7303 ^ _35487) ^ [_247037] : [icext(uri_xsd_unsignedShort, _247037), -(lv(_247037))], (7309 ^ _35487) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7311 ^ _35487) ^ [_247278] : [icext(uri_rdf_XMLLiteral, _247278), -(lv(_247278))], (7317 ^ _35487) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35487) ^ [_247519] : [icext(uri_xsd_anyURI, _247519), icext(uri_xsd_base64Binary, _247519)], (7325 ^ _35487) ^ [_247708] : [icext(uri_xsd_anyURI, _247708), icext(uri_xsd_boolean, _247708)], (7331 ^ _35487) ^ [_247897] : [icext(uri_xsd_anyURI, _247897), icext(uri_xsd_dateTime, _247897)], (7337 ^ _35487) ^ [_248086] : [icext(uri_xsd_anyURI, _248086), icext(uri_xsd_double, _248086)], (7343 ^ _35487) ^ [_248275] : [icext(uri_xsd_anyURI, _248275), icext(uri_xsd_float, _248275)], (7349 ^ _35487) ^ [_248464] : [icext(uri_xsd_anyURI, _248464), icext(uri_xsd_hexBinary, _248464)], (7355 ^ _35487) ^ [_248653] : [icext(uri_xsd_anyURI, _248653), icext(uri_rdf_PlainLiteral, _248653)], (7361 ^ _35487) ^ [_248842] : [icext(uri_xsd_anyURI, _248842), icext(uri_owl_real, _248842)], (7367 ^ _35487) ^ [_249031] : [icext(uri_xsd_anyURI, _249031), icext(uri_rdf_XMLLiteral, _249031)], (7373 ^ _35487) ^ [_249220] : [icext(uri_xsd_base64Binary, _249220), icext(uri_xsd_boolean, _249220)], (7379 ^ _35487) ^ [_249409] : [icext(uri_xsd_base64Binary, _249409), icext(uri_xsd_dateTime, _249409)], (7385 ^ _35487) ^ [_249598] : [icext(uri_xsd_base64Binary, _249598), icext(uri_xsd_double, _249598)], (7391 ^ _35487) ^ [_249787] : [icext(uri_xsd_base64Binary, _249787), icext(uri_xsd_float, _249787)], (7397 ^ _35487) ^ [_249976] : [icext(uri_xsd_base64Binary, _249976), icext(uri_xsd_hexBinary, _249976)], (7403 ^ _35487) ^ [_250165] : [icext(uri_xsd_base64Binary, _250165), icext(uri_rdf_PlainLiteral, _250165)], (7409 ^ _35487) ^ [_250354] : [icext(uri_xsd_base64Binary, _250354), icext(uri_owl_real, _250354)], (7415 ^ _35487) ^ [_250543] : [icext(uri_xsd_base64Binary, _250543), icext(uri_rdf_XMLLiteral, _250543)], (7421 ^ _35487) ^ [_250732] : [icext(uri_xsd_boolean, _250732), icext(uri_xsd_dateTime, _250732)], (7427 ^ _35487) ^ [_250921] : [icext(uri_xsd_boolean, _250921), icext(uri_xsd_double, _250921)], (7433 ^ _35487) ^ [_251110] : [icext(uri_xsd_boolean, _251110), icext(uri_xsd_float, _251110)], (7439 ^ _35487) ^ [_251299] : [icext(uri_xsd_boolean, _251299), icext(uri_xsd_hexBinary, _251299)], (7445 ^ _35487) ^ [_251488] : [icext(uri_xsd_boolean, _251488), icext(uri_rdf_PlainLiteral, _251488)], (7451 ^ _35487) ^ [_251677] : [icext(uri_xsd_boolean, _251677), icext(uri_owl_real, _251677)], (7457 ^ _35487) ^ [_251866] : [icext(uri_xsd_boolean, _251866), icext(uri_rdf_XMLLiteral, _251866)], (7463 ^ _35487) ^ [_252055] : [icext(uri_xsd_dateTime, _252055), icext(uri_xsd_double, _252055)], (7469 ^ _35487) ^ [_252244] : [icext(uri_xsd_dateTime, _252244), icext(uri_xsd_float, _252244)], (7475 ^ _35487) ^ [_252433] : [icext(uri_xsd_dateTime, _252433), icext(uri_xsd_hexBinary, _252433)], (7481 ^ _35487) ^ [_252622] : [icext(uri_xsd_dateTime, _252622), icext(uri_rdf_PlainLiteral, _252622)], (7487 ^ _35487) ^ [_252811] : [icext(uri_xsd_dateTime, _252811), icext(uri_owl_real, _252811)], (7493 ^ _35487) ^ [_253000] : [icext(uri_xsd_dateTime, _253000), icext(uri_rdf_XMLLiteral, _253000)], (7499 ^ _35487) ^ [_253189] : [icext(uri_xsd_double, _253189), icext(uri_xsd_float, _253189)], (7505 ^ _35487) ^ [_253378] : [icext(uri_xsd_double, _253378), icext(uri_xsd_hexBinary, _253378)], (7511 ^ _35487) ^ [_253567] : [icext(uri_xsd_double, _253567), icext(uri_rdf_PlainLiteral, _253567)], (7517 ^ _35487) ^ [_253756] : [icext(uri_xsd_double, _253756), icext(uri_owl_real, _253756)], (7523 ^ _35487) ^ [_253945] : [icext(uri_xsd_double, _253945), icext(uri_rdf_XMLLiteral, _253945)], (7529 ^ _35487) ^ [_254134] : [icext(uri_xsd_float, _254134), icext(uri_xsd_hexBinary, _254134)], (7535 ^ _35487) ^ [_254323] : [icext(uri_xsd_float, _254323), icext(uri_rdf_PlainLiteral, _254323)], (7541 ^ _35487) ^ [_254512] : [icext(uri_xsd_float, _254512), icext(uri_owl_real, _254512)], (7547 ^ _35487) ^ [_254701] : [icext(uri_xsd_float, _254701), icext(uri_rdf_XMLLiteral, _254701)], (7553 ^ _35487) ^ [_254890] : [icext(uri_xsd_hexBinary, _254890), icext(uri_rdf_PlainLiteral, _254890)], (7559 ^ _35487) ^ [_255079] : [icext(uri_xsd_hexBinary, _255079), icext(uri_owl_real, _255079)], (7565 ^ _35487) ^ [_255268] : [icext(uri_xsd_hexBinary, _255268), icext(uri_rdf_XMLLiteral, _255268)], (7571 ^ _35487) ^ [_255457] : [icext(uri_rdf_PlainLiteral, _255457), icext(uri_owl_real, _255457)], (7577 ^ _35487) ^ [_255646] : [icext(uri_rdf_PlainLiteral, _255646), icext(uri_rdf_XMLLiteral, _255646)], (7583 ^ _35487) ^ [_255835] : [icext(uri_owl_real, _255835), icext(uri_rdf_XMLLiteral, _255835)], (7589 ^ _35487) ^ [_256024] : [icext(uri_xsd_byte, _256024), -(icext(uri_xsd_short, _256024))], (7595 ^ _35487) ^ [_256214] : [icext(uri_xsd_dateTimeStamp, _256214), -(icext(uri_xsd_dateTime, _256214))], (7601 ^ _35487) ^ [_256404] : [icext(uri_xsd_decimal, _256404), -(icext(uri_owl_rational, _256404))], (7607 ^ _35487) ^ [_256594] : [icext(uri_xsd_int, _256594), -(icext(uri_xsd_long, _256594))], (7613 ^ _35487) ^ [_256784] : [icext(uri_xsd_integer, _256784), -(icext(uri_xsd_decimal, _256784))], (7619 ^ _35487) ^ [_256974] : [icext(uri_xsd_language, _256974), -(icext(uri_xsd_token, _256974))], (7625 ^ _35487) ^ [_257164] : [icext(uri_xsd_long, _257164), -(icext(uri_xsd_integer, _257164))], (7631 ^ _35487) ^ [_257354] : [icext(uri_xsd_Name, _257354), -(icext(uri_xsd_token, _257354))], (7637 ^ _35487) ^ [_257544] : [icext(uri_xsd_NCName, _257544), -(icext(uri_xsd_Name, _257544))], (7643 ^ _35487) ^ [_257734] : [icext(uri_xsd_negativeInteger, _257734), -(icext(uri_xsd_nonPositiveInteger, _257734))], (7649 ^ _35487) ^ [_257924] : [icext(uri_xsd_NMTOKEN, _257924), -(icext(uri_xsd_token, _257924))], (7655 ^ _35487) ^ [_258114] : [icext(uri_xsd_nonNegativeInteger, _258114), -(icext(uri_xsd_integer, _258114))], (7661 ^ _35487) ^ [_258304] : [icext(uri_xsd_nonPositiveInteger, _258304), -(icext(uri_xsd_integer, _258304))], (7667 ^ _35487) ^ [_258494] : [icext(uri_xsd_normalizedString, _258494), -(icext(uri_xsd_string, _258494))], (7673 ^ _35487) ^ [_258684] : [icext(uri_xsd_positiveInteger, _258684), -(icext(uri_xsd_nonNegativeInteger, _258684))], (7679 ^ _35487) ^ [_258874] : [icext(uri_owl_rational, _258874), -(icext(uri_owl_real, _258874))], (7685 ^ _35487) ^ [_259064] : [icext(uri_xsd_short, _259064), -(icext(uri_xsd_int, _259064))], (7691 ^ _35487) ^ [_259254] : [icext(uri_xsd_string, _259254), -(icext(uri_rdf_PlainLiteral, _259254))], (7697 ^ _35487) ^ [_259444] : [icext(uri_xsd_token, _259444), -(icext(uri_xsd_normalizedString, _259444))], (7703 ^ _35487) ^ [_259634] : [icext(uri_xsd_unsignedByte, _259634), -(icext(uri_xsd_unsignedShort, _259634))], (7709 ^ _35487) ^ [_259824] : [icext(uri_xsd_unsignedInt, _259824), -(icext(uri_xsd_unsignedLong, _259824))], (7715 ^ _35487) ^ [_260014] : [icext(uri_xsd_unsignedLong, _260014), -(icext(uri_xsd_nonNegativeInteger, _260014))], (7721 ^ _35487) ^ [_260204] : [icext(uri_xsd_unsignedShort, _260204), -(icext(uri_xsd_unsignedInt, _260204))], (7727 ^ _35487) ^ [_260408, _260410] : [iext(uri_rdf_langRange, _260410, _260408), 7730 ^ _35487 : [(7731 ^ _35487) ^ [] : [-(ir(_260410))], (7733 ^ _35487) ^ [] : [-(lv(_260408))]]], (7735 ^ _35487) ^ [] : [-(iodp(uri_rdf_langRange))], (7737 ^ _35487) ^ [_260744, _260746] : [iext(uri_xsd_length, _260746, _260744), 7740 ^ _35487 : [(7741 ^ _35487) ^ [] : [-(ir(_260746))], (7743 ^ _35487) ^ [] : [-(lv(_260744))]]], (7745 ^ _35487) ^ [] : [-(iodp(uri_xsd_length))], (7747 ^ _35487) ^ [_261080, _261082] : [iext(uri_xsd_maxExclusive, _261082, _261080), 7750 ^ _35487 : [(7751 ^ _35487) ^ [] : [-(ir(_261082))], (7753 ^ _35487) ^ [] : [-(lv(_261080))]]], (7755 ^ _35487) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7757 ^ _35487) ^ [_261416, _261418] : [iext(uri_xsd_maxInclusive, _261418, _261416), 7760 ^ _35487 : [(7761 ^ _35487) ^ [] : [-(ir(_261418))], (7763 ^ _35487) ^ [] : [-(lv(_261416))]]], (7765 ^ _35487) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7767 ^ _35487) ^ [_261752, _261754] : [iext(uri_xsd_maxLength, _261754, _261752), 7770 ^ _35487 : [(7771 ^ _35487) ^ [] : [-(ir(_261754))], (7773 ^ _35487) ^ [] : [-(lv(_261752))]]], (7775 ^ _35487) ^ [] : [-(iodp(uri_xsd_maxLength))], (7777 ^ _35487) ^ [_262088, _262090] : [iext(uri_xsd_minExclusive, _262090, _262088), 7780 ^ _35487 : [(7781 ^ _35487) ^ [] : [-(ir(_262090))], (7783 ^ _35487) ^ [] : [-(lv(_262088))]]], (7785 ^ _35487) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7787 ^ _35487) ^ [_262424, _262426] : [iext(uri_xsd_minInclusive, _262426, _262424), 7790 ^ _35487 : [(7791 ^ _35487) ^ [] : [-(ir(_262426))], (7793 ^ _35487) ^ [] : [-(lv(_262424))]]], (7795 ^ _35487) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7797 ^ _35487) ^ [_262760, _262762] : [iext(uri_xsd_minLength, _262762, _262760), 7800 ^ _35487 : [(7801 ^ _35487) ^ [] : [-(ir(_262762))], (7803 ^ _35487) ^ [] : [-(lv(_262760))]]], (7805 ^ _35487) ^ [] : [-(iodp(uri_xsd_minLength))], (7815 ^ _35487) ^ [] : [-(iodp(uri_xsd_pattern))], (7807 ^ _35487) ^ [_263096, _263098] : [iext(uri_xsd_pattern, _263098, _263096), 7810 ^ _35487 : [(7811 ^ _35487) ^ [] : [-(ir(_263098))], (7813 ^ _35487) ^ [] : [-(lv(_263096))]]]], input).
% 140.05/136.34  ncf('1',plain,[iext(uri_owl_sameAs, uri_ex_w, uri_ex_u)],start(7827 ^ 0)).
% 140.05/136.34  ncf('1.1',plain,[-(iext(uri_owl_sameAs, uri_ex_w, uri_ex_u)), uri_ex_w = uri_ex_u],extension(5548 ^ 1,bind([[_184823, _184825], [uri_ex_u, uri_ex_w]]))).
% 140.05/136.34  ncf('1.1.1',plain,[-(uri_ex_w = uri_ex_u), 2322 : icext(7817 ^ [], uri_ex_w), 2322 : iext(uri_owl_oneOf, 7817 ^ [], 7816 ^ []), 2316 : iext(uri_rdf_first, 7816 ^ [], uri_ex_u), 2316 : iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil)],extension(2308 ^ 2,bind([[_65882, _65884, _65886, _66106], [uri_ex_u, 7816 ^ [], 7817 ^ [], uri_ex_w]]))).
% 140.05/136.34  ncf('1.1.1.1',plain,[-(icext(7817 ^ [], uri_ex_w)), iext(uri_rdf_type, uri_ex_w, 7817 ^ [])],extension(218 ^ 7,bind([[_38216, _38218], [7817 ^ [], uri_ex_w]]))).
% 140.05/136.34  ncf('1.1.1.1.1',plain,[-(iext(uri_rdf_type, uri_ex_w, 7817 ^ []))],extension(7825 ^ 8)).
% 140.05/136.34  ncf('1.1.1.2',plain,[-(iext(uri_owl_oneOf, 7817 ^ [], 7816 ^ []))],extension(7823 ^ 5)).
% 140.05/136.34  ncf('1.1.1.3',plain,[-(iext(uri_rdf_first, 7816 ^ [], uri_ex_u))],extension(7819 ^ 3)).
% 140.05/136.34  ncf('1.1.1.4',plain,[-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))],extension(7821 ^ 3)).
% 140.05/136.34  %-----------------------------------------------------
% 140.05/136.34  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------