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

% Computer : n024.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:25 EDT 2023

% Result   : Theorem 0.45s 1.39s
% Output   : Proof 0.45s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : SWB003+1 : TPTP v8.1.2. Released v5.2.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n024.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Thu May 18 20:57:06 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 0.45/1.39  
% 0.45/1.39  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.45/1.39  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.45/1.39  %-----------------------------------------------------
% 0.45/1.39  ncf(matrix, plain, [(7825 ^ _35321) ^ [_275149] : [iext(uri_ex_p, uri_ex_s, _275149)], (152 ^ _35321) ^ [_37338, _37340] : [_37340 = _37338, -(literal_plain(_37340) = literal_plain(_37338))], (142 ^ _35321) ^ [_37193, _37195, _37197, _37199] : [-(literal_typed(_37199, _37195) = literal_typed(_37197, _37193)), _37199 = _37197, _37195 = _37193], (2 ^ _35321) ^ [_35351] : [-(_35351 = _35351)], (4 ^ _35321) ^ [_35374, _35376] : [_35376 = _35374, -(_35374 = _35376)], (10 ^ _35321) ^ [_35447, _35449, _35451] : [-(_35451 = _35447), _35451 = _35449, _35449 = _35447], (20 ^ _35321) ^ [_35584, _35586] : [-(ioap(_35584)), _35586 = _35584, ioap(_35586)], (30 ^ _35321) ^ [_35709, _35711] : [-(ix(_35709)), _35711 = _35709, ix(_35711)], (40 ^ _35321) ^ [_35834, _35836] : [-(ioxp(_35834)), _35836 = _35834, ioxp(_35836)], (50 ^ _35321) ^ [_35959, _35961] : [-(ic(_35959)), _35961 = _35959, ic(_35961)], (60 ^ _35321) ^ [_36084, _36086] : [-(ip(_36084)), _36086 = _36084, ip(_36086)], (70 ^ _35321) ^ [_36209, _36211] : [-(idc(_36209)), _36211 = _36209, idc(_36211)], (80 ^ _35321) ^ [_36334, _36336, _36338, _36340] : [-(icext(_36338, _36334)), icext(_36340, _36336), _36340 = _36338, _36336 = _36334], (94 ^ _35321) ^ [_36527, _36529] : [-(ir(_36527)), _36529 = _36527, ir(_36529)], (104 ^ _35321) ^ [_36652, _36654] : [-(lv(_36652)), _36654 = _36652, lv(_36654)], (114 ^ _35321) ^ [_36777, _36779] : [-(iodp(_36777)), _36779 = _36777, iodp(_36779)], (124 ^ _35321) ^ [_36898, _36900, _36902, _36904, _36906, _36908] : [-(iext(_36906, _36902, _36898)), iext(_36908, _36904, _36900), _36908 = _36906, _36904 = _36902, _36900 = _36898], (7823 ^ _35321) ^ [] : [-(iext(uri_ex_p, uri_ex_s, literal_plain(dat_str_foo)))], (158 ^ _35321) ^ [_37430, _37432, _37434] : [iext(_37432, _37434, _37430), -(ip(_37432))], (164 ^ _35321) ^ [_37509] : [-(ir(_37509))], (166 ^ _35321) ^ [_37531] : [lv(_37531), -(ir(_37531))], (172 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (174 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (176 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (178 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (180 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (182 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (184 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (186 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (188 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (190 ^ _35321) ^ [_37776] : [iext(uri_rdf_type, _37776, uri_rdf_Property), -(ip(_37776))], (196 ^ _35321) ^ [_37847] : [ip(_37847), -(iext(uri_rdf_type, _37847, uri_rdf_Property))], (202 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (204 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (206 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (208 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (210 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (212 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (214 ^ _35321) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (216 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (218 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (220 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (222 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (224 ^ _35321) ^ [_38137, _38139] : [iext(uri_rdf_type, _38139, _38137), -(icext(_38137, _38139))], (230 ^ _35321) ^ [_38212, _38214] : [icext(_38212, _38214), -(iext(uri_rdf_type, _38214, _38212))], (236 ^ _35321) ^ [_38293] : [ic(_38293), -(iext(uri_rdfs_subClassOf, _38293, uri_rdfs_Resource))], (242 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (244 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (246 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (248 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (250 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (252 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (254 ^ _35321) ^ [_38476] : [icext(uri_rdfs_ContainerMembershipProperty, _38476), -(iext(uri_rdfs_subPropertyOf, _38476, uri_rdfs_member))], (260 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (262 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (264 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (266 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (268 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (270 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (272 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (274 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (276 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (278 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (280 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (282 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (284 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (286 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (288 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (290 ^ _35321) ^ [_38823] : [icext(uri_rdfs_Datatype, _38823), -(iext(uri_rdfs_subClassOf, _38823, uri_rdfs_Literal))], (296 ^ _35321) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (298 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (300 ^ _35321) ^ [_38936, _38938, _38940, _38942] : [-(icext(_38940, _38938)), iext(uri_rdfs_domain, _38942, _38940), iext(_38942, _38938, _38936)], (310 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (312 ^ _35321) ^ [_39107] : [ic(_39107), -(icext(uri_rdfs_Class, _39107))], (318 ^ _35321) ^ [_39176] : [icext(uri_rdfs_Class, _39176), -(ic(_39176))], (324 ^ _35321) ^ [_39263] : [ir(_39263), -(icext(uri_rdfs_Resource, _39263))], (330 ^ _35321) ^ [_39332] : [icext(uri_rdfs_Resource, _39332), -(ir(_39332))], (336 ^ _35321) ^ [_39419] : [lv(_39419), -(icext(uri_rdfs_Literal, _39419))], (342 ^ _35321) ^ [_39488] : [icext(uri_rdfs_Literal, _39488), -(lv(_39488))], (348 ^ _35321) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (350 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (352 ^ _35321) ^ [_39599, _39601, _39603, _39605] : [-(icext(_39603, _39599)), iext(uri_rdfs_range, _39605, _39603), iext(_39605, _39601, _39599)], (362 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (364 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (366 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (368 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (370 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (372 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (374 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (376 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (378 ^ _35321) ^ [_39884, _39886] : [iext(uri_rdfs_subClassOf, _39886, _39884), 381 ^ _35321 : [(382 ^ _35321) ^ [] : [-(ic(_39886))], (384 ^ _35321) ^ [] : [-(ic(_39884))], (386 ^ _35321) ^ [_39999] : [icext(_39886, _39999), -(icext(_39884, _39999))]]], (392 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (394 ^ _35321) ^ [_40104] : [ic(_40104), -(iext(uri_rdfs_subClassOf, _40104, _40104))], (400 ^ _35321) ^ [_40179, _40181, _40183] : [-(iext(uri_rdfs_subClassOf, _40183, _40179)), iext(uri_rdfs_subClassOf, _40183, _40181), iext(uri_rdfs_subClassOf, _40181, _40179)], (410 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (412 ^ _35321) ^ [_40336, _40338] : [iext(uri_rdfs_subPropertyOf, _40338, _40336), 415 ^ _35321 : [(416 ^ _35321) ^ [] : [-(ip(_40338))], (418 ^ _35321) ^ [] : [-(ip(_40336))], (420 ^ _35321) ^ [_40458, _40460] : [iext(_40338, _40460, _40458), -(iext(_40336, _40460, _40458))]]], (426 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (428 ^ _35321) ^ [_40569] : [ip(_40569), -(iext(uri_rdfs_subPropertyOf, _40569, _40569))], (434 ^ _35321) ^ [_40644, _40646, _40648] : [-(iext(uri_rdfs_subPropertyOf, _40648, _40644)), iext(uri_rdfs_subPropertyOf, _40648, _40646), iext(uri_rdfs_subPropertyOf, _40646, _40644)], (444 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (446 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (448 ^ _35321) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (450 ^ _35321) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (452 ^ _35321) ^ [_40855] : [ic(_40855), 455 ^ _35321 : [(456 ^ _35321) ^ [_40913] : [icext(_40855, _40913), -(ir(_40913))]]], (462 ^ _35321) ^ [_40992] : [ic(_40992), -(ir(_40992))], (468 ^ _35321) ^ [_41075] : [ic(_41075), -(iext(uri_rdf_type, _41075, uri_rdfs_Class))], (474 ^ _35321) ^ [_41146] : [iext(uri_rdf_type, _41146, uri_rdfs_Class), -(ic(_41146))], (480 ^ _35321) ^ [_41223] : [idc(_41223), 483 ^ _35321 : [(484 ^ _35321) ^ [_41281] : [icext(_41223, _41281), -(lv(_41281))]]], (490 ^ _35321) ^ [_41360] : [idc(_41360), -(ic(_41360))], (496 ^ _35321) ^ [_41443] : [idc(_41443), -(iext(uri_rdf_type, _41443, uri_rdfs_Datatype))], (502 ^ _35321) ^ [_41514] : [iext(uri_rdf_type, _41514, uri_rdfs_Datatype), -(idc(_41514))], (508 ^ _35321) ^ [_41591] : [ioap(_41591), 511 ^ _35321 : [(512 ^ _35321) ^ [_41660, _41662] : [iext(_41591, _41662, _41660), 515 ^ _35321 : [(516 ^ _35321) ^ [] : [-(ir(_41662))], (518 ^ _35321) ^ [] : [-(ir(_41660))]]]]], (520 ^ _35321) ^ [_41767] : [ioap(_41767), -(ip(_41767))], (526 ^ _35321) ^ [_41850] : [ioap(_41850), -(iext(uri_rdf_type, _41850, uri_owl_AnnotationProperty))], (532 ^ _35321) ^ [_41921] : [iext(uri_rdf_type, _41921, uri_owl_AnnotationProperty), -(ioap(_41921))], (538 ^ _35321) ^ [_41998] : [iodp(_41998), 541 ^ _35321 : [(542 ^ _35321) ^ [_42067, _42069] : [iext(_41998, _42069, _42067), 545 ^ _35321 : [(546 ^ _35321) ^ [] : [-(ir(_42069))], (548 ^ _35321) ^ [] : [-(lv(_42067))]]]]], (550 ^ _35321) ^ [_42174] : [iodp(_42174), -(ip(_42174))], (556 ^ _35321) ^ [_42257] : [iodp(_42257), -(iext(uri_rdf_type, _42257, uri_owl_DatatypeProperty))], (562 ^ _35321) ^ [_42328] : [iext(uri_rdf_type, _42328, uri_owl_DatatypeProperty), -(iodp(_42328))], (568 ^ _35321) ^ [_42405] : [ioxp(_42405), 571 ^ _35321 : [(572 ^ _35321) ^ [_42474, _42476] : [iext(_42405, _42476, _42474), 575 ^ _35321 : [(576 ^ _35321) ^ [] : [-(ix(_42476))], (578 ^ _35321) ^ [] : [-(ix(_42474))]]]]], (580 ^ _35321) ^ [_42581] : [ioxp(_42581), -(ip(_42581))], (586 ^ _35321) ^ [_42664] : [ioxp(_42664), -(iext(uri_rdf_type, _42664, uri_owl_OntologyProperty))], (592 ^ _35321) ^ [_42735] : [iext(uri_rdf_type, _42735, uri_owl_OntologyProperty), -(ioxp(_42735))], (598 ^ _35321) ^ [_42812] : [ip(_42812), 601 ^ _35321 : [(602 ^ _35321) ^ [_42881, _42883] : [iext(_42812, _42883, _42881), 605 ^ _35321 : [(606 ^ _35321) ^ [] : [-(ir(_42883))], (608 ^ _35321) ^ [] : [-(ir(_42881))]]]]], (610 ^ _35321) ^ [_42988] : [ip(_42988), -(ir(_42988))], (616 ^ _35321) ^ [_43071] : [ip(_43071), -(iext(uri_rdf_type, _43071, uri_rdf_Property))], (622 ^ _35321) ^ [_43142] : [iext(uri_rdf_type, _43142, uri_rdf_Property), -(ip(_43142))], (629 ^ _35321) ^ [] : [-(ir(627 ^ []))], (631 ^ _35321) ^ [_43255] : [ir(_43255), -(iext(uri_rdf_type, _43255, uri_rdfs_Resource))], (637 ^ _35321) ^ [_43326] : [iext(uri_rdf_type, _43326, uri_rdfs_Resource), -(ir(_43326))], (643 ^ _35321) ^ [_43403] : [ix(_43403), -(ir(_43403))], (649 ^ _35321) ^ [_43486] : [ix(_43486), -(iext(uri_rdf_type, _43486, uri_owl_Ontology))], (655 ^ _35321) ^ [_43557] : [iext(uri_rdf_type, _43557, uri_owl_Ontology), -(ix(_43557))], (661 ^ _35321) ^ [_43634] : [lv(_43634), -(ir(_43634))], (667 ^ _35321) ^ [_43717] : [lv(_43717), -(iext(uri_rdf_type, _43717, uri_rdfs_Literal))], (673 ^ _35321) ^ [_43788] : [iext(uri_rdf_type, _43788, uri_rdfs_Literal), -(lv(_43788))], (679 ^ _35321) ^ [_43865] : [icext(uri_owl_AllDifferent, _43865), -(ir(_43865))], (685 ^ _35321) ^ [] : [-(ic(uri_owl_AllDifferent))], (687 ^ _35321) ^ [_43956] : [icext(uri_owl_AllDisjointClasses, _43956), -(ir(_43956))], (693 ^ _35321) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (695 ^ _35321) ^ [_44047] : [icext(uri_owl_AllDisjointProperties, _44047), -(ir(_44047))], (701 ^ _35321) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (703 ^ _35321) ^ [_44138] : [icext(uri_owl_Annotation, _44138), -(ir(_44138))], (709 ^ _35321) ^ [] : [-(ic(uri_owl_Annotation))], (711 ^ _35321) ^ [_44241] : [icext(uri_owl_AnnotationProperty, _44241), -(ioap(_44241))], (717 ^ _35321) ^ [_44310] : [ioap(_44310), -(icext(uri_owl_AnnotationProperty, _44310))], (723 ^ _35321) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (725 ^ _35321) ^ [_44403] : [icext(uri_owl_AsymmetricProperty, _44403), -(ip(_44403))], (731 ^ _35321) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (733 ^ _35321) ^ [_44494] : [icext(uri_owl_Axiom, _44494), -(ir(_44494))], (739 ^ _35321) ^ [] : [-(ic(uri_owl_Axiom))], (741 ^ _35321) ^ [_44597] : [icext(uri_owl_Class, _44597), -(ic(_44597))], (747 ^ _35321) ^ [_44666] : [ic(_44666), -(icext(uri_owl_Class, _44666))], (753 ^ _35321) ^ [] : [-(ic(uri_owl_Class))], (755 ^ _35321) ^ [_44771] : [icext(uri_rdfs_Class, _44771), -(ic(_44771))], (761 ^ _35321) ^ [_44840] : [ic(_44840), -(icext(uri_rdfs_Class, _44840))], (767 ^ _35321) ^ [] : [-(ic(uri_rdfs_Class))], (769 ^ _35321) ^ [_44945] : [icext(uri_owl_DataRange, _44945), -(idc(_44945))], (775 ^ _35321) ^ [_45014] : [idc(_45014), -(icext(uri_owl_DataRange, _45014))], (781 ^ _35321) ^ [] : [-(ic(uri_owl_DataRange))], (783 ^ _35321) ^ [_45119] : [icext(uri_rdfs_Datatype, _45119), -(idc(_45119))], (789 ^ _35321) ^ [_45188] : [idc(_45188), -(icext(uri_rdfs_Datatype, _45188))], (795 ^ _35321) ^ [] : [-(ic(uri_rdfs_Datatype))], (797 ^ _35321) ^ [_45293] : [icext(uri_owl_DatatypeProperty, _45293), -(iodp(_45293))], (803 ^ _35321) ^ [_45362] : [iodp(_45362), -(icext(uri_owl_DatatypeProperty, _45362))], (809 ^ _35321) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (811 ^ _35321) ^ [_45455] : [icext(uri_owl_DeprecatedClass, _45455), -(ic(_45455))], (817 ^ _35321) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (819 ^ _35321) ^ [_45546] : [icext(uri_owl_DeprecatedProperty, _45546), -(ip(_45546))], (825 ^ _35321) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (827 ^ _35321) ^ [_45637] : [icext(uri_owl_FunctionalProperty, _45637), -(ip(_45637))], (833 ^ _35321) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (835 ^ _35321) ^ [_45728] : [icext(uri_owl_InverseFunctionalProperty, _45728), -(ip(_45728))], (841 ^ _35321) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (843 ^ _35321) ^ [_45819] : [icext(uri_owl_IrreflexiveProperty, _45819), -(ip(_45819))], (849 ^ _35321) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (851 ^ _35321) ^ [_45922] : [icext(uri_rdfs_Literal, _45922), -(lv(_45922))], (857 ^ _35321) ^ [_45991] : [lv(_45991), -(icext(uri_rdfs_Literal, _45991))], (863 ^ _35321) ^ [] : [-(idc(uri_rdfs_Literal))], (865 ^ _35321) ^ [_46084] : [icext(uri_owl_NamedIndividual, _46084), -(ir(_46084))], (871 ^ _35321) ^ [] : [-(ic(uri_owl_NamedIndividual))], (873 ^ _35321) ^ [_46175] : [icext(uri_owl_NegativePropertyAssertion, _46175), -(ir(_46175))], (879 ^ _35321) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (881 ^ _35321) ^ [_46275] : [icext(uri_owl_Nothing, _46275)], (883 ^ _35321) ^ [] : [-(ic(uri_owl_Nothing))], (885 ^ _35321) ^ [_46328] : [icext(uri_owl_ObjectProperty, _46328), -(ip(_46328))], (891 ^ _35321) ^ [_46397] : [ip(_46397), -(icext(uri_owl_ObjectProperty, _46397))], (897 ^ _35321) ^ [] : [-(ic(uri_owl_ObjectProperty))], (899 ^ _35321) ^ [_46502] : [icext(uri_owl_Ontology, _46502), -(ix(_46502))], (905 ^ _35321) ^ [_46571] : [ix(_46571), -(icext(uri_owl_Ontology, _46571))], (911 ^ _35321) ^ [] : [-(ic(uri_owl_Ontology))], (913 ^ _35321) ^ [_46676] : [icext(uri_owl_OntologyProperty, _46676), -(ioxp(_46676))], (919 ^ _35321) ^ [_46745] : [ioxp(_46745), -(icext(uri_owl_OntologyProperty, _46745))], (925 ^ _35321) ^ [] : [-(ic(uri_owl_OntologyProperty))], (927 ^ _35321) ^ [_46850] : [icext(uri_rdf_Property, _46850), -(ip(_46850))], (933 ^ _35321) ^ [_46919] : [ip(_46919), -(icext(uri_rdf_Property, _46919))], (939 ^ _35321) ^ [] : [-(ic(uri_rdf_Property))], (941 ^ _35321) ^ [_47012] : [icext(uri_owl_ReflexiveProperty, _47012), -(ip(_47012))], (947 ^ _35321) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (949 ^ _35321) ^ [_47115] : [icext(uri_rdfs_Resource, _47115), -(ir(_47115))], (955 ^ _35321) ^ [_47184] : [ir(_47184), -(icext(uri_rdfs_Resource, _47184))], (961 ^ _35321) ^ [] : [-(ic(uri_rdfs_Resource))], (963 ^ _35321) ^ [_47277] : [icext(uri_owl_Restriction, _47277), -(ic(_47277))], (969 ^ _35321) ^ [] : [-(ic(uri_owl_Restriction))], (971 ^ _35321) ^ [_47368] : [icext(uri_owl_SymmetricProperty, _47368), -(ip(_47368))], (977 ^ _35321) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (979 ^ _35321) ^ [_47471] : [icext(uri_owl_Thing, _47471), -(ir(_47471))], (985 ^ _35321) ^ [_47540] : [ir(_47540), -(icext(uri_owl_Thing, _47540))], (991 ^ _35321) ^ [] : [-(ic(uri_owl_Thing))], (993 ^ _35321) ^ [_47633] : [icext(uri_owl_TransitiveProperty, _47633), -(ip(_47633))], (999 ^ _35321) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (1001 ^ _35321) ^ [_47724, _47726] : [iext(uri_owl_allValuesFrom, _47726, _47724), 1004 ^ _35321 : [(1005 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _47726))], (1007 ^ _35321) ^ [] : [-(ic(_47724))]]], (1009 ^ _35321) ^ [] : [-(ip(uri_owl_allValuesFrom))], (1011 ^ _35321) ^ [_47845, _47847] : [iext(uri_owl_annotatedProperty, _47847, _47845), 1014 ^ _35321 : [(1015 ^ _35321) ^ [] : [-(ir(_47847))], (1017 ^ _35321) ^ [] : [-(ir(_47845))]]], (1019 ^ _35321) ^ [] : [-(ip(uri_owl_annotatedProperty))], (1021 ^ _35321) ^ [_47964, _47966] : [iext(uri_owl_annotatedSource, _47966, _47964), 1024 ^ _35321 : [(1025 ^ _35321) ^ [] : [-(ir(_47966))], (1027 ^ _35321) ^ [] : [-(ir(_47964))]]], (1029 ^ _35321) ^ [] : [-(ip(uri_owl_annotatedSource))], (1031 ^ _35321) ^ [_48083, _48085] : [iext(uri_owl_annotatedTarget, _48085, _48083), 1034 ^ _35321 : [(1035 ^ _35321) ^ [] : [-(ir(_48085))], (1037 ^ _35321) ^ [] : [-(ir(_48083))]]], (1039 ^ _35321) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1041 ^ _35321) ^ [_48202, _48204] : [iext(uri_owl_assertionProperty, _48204, _48202), 1044 ^ _35321 : [(1045 ^ _35321) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _48204))], (1047 ^ _35321) ^ [] : [-(ip(_48202))]]], (1049 ^ _35321) ^ [] : [-(ip(uri_owl_assertionProperty))], (1051 ^ _35321) ^ [_48323, _48325] : [iext(uri_owl_backwardCompatibleWith, _48325, _48323), 1054 ^ _35321 : [(1055 ^ _35321) ^ [] : [-(ix(_48325))], (1057 ^ _35321) ^ [] : [-(ix(_48323))]]], (1059 ^ _35321) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1061 ^ _35321) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (1063 ^ _35321) ^ [_48472, _48474] : [iext(uri_owl_bottomDataProperty, _48474, _48472)], (1065 ^ _35321) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (1067 ^ _35321) ^ [_48528, _48530] : [iext(uri_owl_bottomObjectProperty, _48530, _48528)], (1069 ^ _35321) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (1071 ^ _35321) ^ [_48572, _48574] : [iext(uri_owl_cardinality, _48574, _48572), 1074 ^ _35321 : [(1075 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _48574))], (1077 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48572))]]], (1079 ^ _35321) ^ [] : [-(ip(uri_owl_cardinality))], (1081 ^ _35321) ^ [_48695, _48697] : [iext(uri_rdfs_comment, _48697, _48695), 1084 ^ _35321 : [(1085 ^ _35321) ^ [] : [-(ir(_48697))], (1087 ^ _35321) ^ [] : [-(lv(_48695))]]], (1089 ^ _35321) ^ [] : [-(ioap(uri_rdfs_comment))], (1091 ^ _35321) ^ [_48814, _48816] : [iext(uri_owl_complementOf, _48816, _48814), 1094 ^ _35321 : [(1095 ^ _35321) ^ [] : [-(ic(_48816))], (1097 ^ _35321) ^ [] : [-(ic(_48814))]]], (1099 ^ _35321) ^ [] : [-(ip(uri_owl_complementOf))], (1101 ^ _35321) ^ [_48933, _48935] : [iext(uri_owl_datatypeComplementOf, _48935, _48933), 1104 ^ _35321 : [(1105 ^ _35321) ^ [] : [-(idc(_48935))], (1107 ^ _35321) ^ [] : [-(idc(_48933))]]], (1109 ^ _35321) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1111 ^ _35321) ^ [_49052, _49054] : [iext(uri_owl_deprecated, _49054, _49052), 1114 ^ _35321 : [(1115 ^ _35321) ^ [] : [-(ir(_49054))], (1117 ^ _35321) ^ [] : [-(ir(_49052))]]], (1119 ^ _35321) ^ [] : [-(ioap(uri_owl_deprecated))], (1121 ^ _35321) ^ [_49171, _49173] : [iext(uri_owl_differentFrom, _49173, _49171), 1124 ^ _35321 : [(1125 ^ _35321) ^ [] : [-(ir(_49173))], (1127 ^ _35321) ^ [] : [-(ir(_49171))]]], (1129 ^ _35321) ^ [] : [-(ip(uri_owl_differentFrom))], (1131 ^ _35321) ^ [_49290, _49292] : [iext(uri_owl_disjointUnionOf, _49292, _49290), 1134 ^ _35321 : [(1135 ^ _35321) ^ [] : [-(ic(_49292))], (1137 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _49290))]]], (1139 ^ _35321) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (1141 ^ _35321) ^ [_49411, _49413] : [iext(uri_owl_disjointWith, _49413, _49411), 1144 ^ _35321 : [(1145 ^ _35321) ^ [] : [-(ic(_49413))], (1147 ^ _35321) ^ [] : [-(ic(_49411))]]], (1149 ^ _35321) ^ [] : [-(ip(uri_owl_disjointWith))], (1151 ^ _35321) ^ [_49530, _49532] : [iext(uri_owl_distinctMembers, _49532, _49530), 1154 ^ _35321 : [(1155 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, _49532))], (1157 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _49530))]]], (1159 ^ _35321) ^ [] : [-(ip(uri_owl_distinctMembers))], (1161 ^ _35321) ^ [_49653, _49655] : [iext(uri_owl_equivalentClass, _49655, _49653), 1164 ^ _35321 : [(1165 ^ _35321) ^ [] : [-(ic(_49655))], (1167 ^ _35321) ^ [] : [-(ic(_49653))]]], (1169 ^ _35321) ^ [] : [-(ip(uri_owl_equivalentClass))], (1171 ^ _35321) ^ [_49772, _49774] : [iext(uri_owl_equivalentProperty, _49774, _49772), 1174 ^ _35321 : [(1175 ^ _35321) ^ [] : [-(ip(_49774))], (1177 ^ _35321) ^ [] : [-(ip(_49772))]]], (1179 ^ _35321) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1181 ^ _35321) ^ [_49891, _49893] : [iext(uri_owl_hasKey, _49893, _49891), 1184 ^ _35321 : [(1185 ^ _35321) ^ [] : [-(ic(_49893))], (1187 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _49891))]]], (1189 ^ _35321) ^ [] : [-(ip(uri_owl_hasKey))], (1191 ^ _35321) ^ [_50012, _50014] : [iext(uri_owl_hasSelf, _50014, _50012), 1194 ^ _35321 : [(1195 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _50014))], (1197 ^ _35321) ^ [] : [-(ir(_50012))]]], (1199 ^ _35321) ^ [] : [-(ip(uri_owl_hasSelf))], (1201 ^ _35321) ^ [_50133, _50135] : [iext(uri_owl_hasValue, _50135, _50133), 1204 ^ _35321 : [(1205 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _50135))], (1207 ^ _35321) ^ [] : [-(ir(_50133))]]], (1209 ^ _35321) ^ [] : [-(ip(uri_owl_hasValue))], (1211 ^ _35321) ^ [_50254, _50256] : [iext(uri_owl_imports, _50256, _50254), 1214 ^ _35321 : [(1215 ^ _35321) ^ [] : [-(ix(_50256))], (1217 ^ _35321) ^ [] : [-(ix(_50254))]]], (1219 ^ _35321) ^ [] : [-(ioxp(uri_owl_imports))], (1221 ^ _35321) ^ [_50373, _50375] : [iext(uri_owl_incompatibleWith, _50375, _50373), 1224 ^ _35321 : [(1225 ^ _35321) ^ [] : [-(ix(_50375))], (1227 ^ _35321) ^ [] : [-(ix(_50373))]]], (1229 ^ _35321) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1231 ^ _35321) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1233 ^ _35321) ^ [_50510, _50512] : [iext(uri_owl_intersectionOf, _50512, _50510), 1236 ^ _35321 : [(1237 ^ _35321) ^ [] : [-(ic(_50512))], (1239 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _50510))]]], (1241 ^ _35321) ^ [] : [-(ip(uri_owl_intersectionOf))], (1243 ^ _35321) ^ [_50631, _50633] : [iext(uri_owl_inverseOf, _50633, _50631), 1246 ^ _35321 : [(1247 ^ _35321) ^ [] : [-(ip(_50633))], (1249 ^ _35321) ^ [] : [-(ip(_50631))]]], (1251 ^ _35321) ^ [] : [-(ip(uri_owl_inverseOf))], (1253 ^ _35321) ^ [_50750, _50752] : [iext(uri_rdfs_isDefinedBy, _50752, _50750), 1256 ^ _35321 : [(1257 ^ _35321) ^ [] : [-(ir(_50752))], (1259 ^ _35321) ^ [] : [-(ir(_50750))]]], (1261 ^ _35321) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1263 ^ _35321) ^ [_50869, _50871] : [iext(uri_rdfs_label, _50871, _50869), 1266 ^ _35321 : [(1267 ^ _35321) ^ [] : [-(ir(_50871))], (1269 ^ _35321) ^ [] : [-(lv(_50869))]]], (1271 ^ _35321) ^ [] : [-(ioap(uri_rdfs_label))], (1273 ^ _35321) ^ [_50988, _50990] : [iext(uri_owl_maxCardinality, _50990, _50988), 1276 ^ _35321 : [(1277 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _50990))], (1279 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50988))]]], (1281 ^ _35321) ^ [] : [-(ip(uri_owl_maxCardinality))], (1283 ^ _35321) ^ [_51111, _51113] : [iext(uri_owl_maxQualifiedCardinality, _51113, _51111), 1286 ^ _35321 : [(1287 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _51113))], (1289 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51111))]]], (1291 ^ _35321) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1293 ^ _35321) ^ [_51234, _51236] : [iext(uri_owl_members, _51236, _51234), 1296 ^ _35321 : [(1297 ^ _35321) ^ [] : [-(ir(_51236))], (1299 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _51234))]]], (1301 ^ _35321) ^ [] : [-(ip(uri_owl_members))], (1303 ^ _35321) ^ [_51355, _51357] : [iext(uri_owl_minCardinality, _51357, _51355), 1306 ^ _35321 : [(1307 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _51357))], (1309 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51355))]]], (1311 ^ _35321) ^ [] : [-(ip(uri_owl_minCardinality))], (1313 ^ _35321) ^ [_51478, _51480] : [iext(uri_owl_minQualifiedCardinality, _51480, _51478), 1316 ^ _35321 : [(1317 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _51480))], (1319 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _51478))]]], (1321 ^ _35321) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1323 ^ _35321) ^ [_51601, _51603] : [iext(uri_owl_onClass, _51603, _51601), 1326 ^ _35321 : [(1327 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _51603))], (1329 ^ _35321) ^ [] : [-(ic(_51601))]]], (1331 ^ _35321) ^ [] : [-(ip(uri_owl_onClass))], (1333 ^ _35321) ^ [_51722, _51724] : [iext(uri_owl_onDataRange, _51724, _51722), 1336 ^ _35321 : [(1337 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _51724))], (1339 ^ _35321) ^ [] : [-(idc(_51722))]]], (1341 ^ _35321) ^ [] : [-(ip(uri_owl_onDataRange))], (1343 ^ _35321) ^ [_51843, _51845] : [iext(uri_owl_onDatatype, _51845, _51843), 1346 ^ _35321 : [(1347 ^ _35321) ^ [] : [-(idc(_51845))], (1349 ^ _35321) ^ [] : [-(idc(_51843))]]], (1351 ^ _35321) ^ [] : [-(ip(uri_owl_onDatatype))], (1353 ^ _35321) ^ [_51962, _51964] : [iext(uri_owl_oneOf, _51964, _51962), 1356 ^ _35321 : [(1357 ^ _35321) ^ [] : [-(ic(_51964))], (1359 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _51962))]]], (1361 ^ _35321) ^ [] : [-(ip(uri_owl_oneOf))], (1363 ^ _35321) ^ [_52083, _52085] : [iext(uri_owl_onProperty, _52085, _52083), 1366 ^ _35321 : [(1367 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _52085))], (1369 ^ _35321) ^ [] : [-(ip(_52083))]]], (1371 ^ _35321) ^ [] : [-(ip(uri_owl_onProperty))], (1373 ^ _35321) ^ [_52204, _52206] : [iext(uri_owl_priorVersion, _52206, _52204), 1376 ^ _35321 : [(1377 ^ _35321) ^ [] : [-(ix(_52206))], (1379 ^ _35321) ^ [] : [-(ix(_52204))]]], (1381 ^ _35321) ^ [] : [-(ioap(uri_owl_priorVersion))], (1383 ^ _35321) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1385 ^ _35321) ^ [_52341, _52343] : [iext(uri_owl_propertyChainAxiom, _52343, _52341), 1388 ^ _35321 : [(1389 ^ _35321) ^ [] : [-(ip(_52343))], (1391 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _52341))]]], (1393 ^ _35321) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1395 ^ _35321) ^ [_52462, _52464] : [iext(uri_owl_propertyDisjointWith, _52464, _52462), 1398 ^ _35321 : [(1399 ^ _35321) ^ [] : [-(ip(_52464))], (1401 ^ _35321) ^ [] : [-(ip(_52462))]]], (1403 ^ _35321) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1405 ^ _35321) ^ [_52581, _52583] : [iext(uri_owl_qualifiedCardinality, _52583, _52581), 1408 ^ _35321 : [(1409 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _52583))], (1411 ^ _35321) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _52581))]]], (1413 ^ _35321) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1415 ^ _35321) ^ [_52704, _52706] : [iext(uri_owl_sameAs, _52706, _52704), 1418 ^ _35321 : [(1419 ^ _35321) ^ [] : [-(ir(_52706))], (1421 ^ _35321) ^ [] : [-(ir(_52704))]]], (1423 ^ _35321) ^ [] : [-(ip(uri_owl_sameAs))], (1425 ^ _35321) ^ [_52823, _52825] : [iext(uri_rdfs_seeAlso, _52825, _52823), 1428 ^ _35321 : [(1429 ^ _35321) ^ [] : [-(ir(_52825))], (1431 ^ _35321) ^ [] : [-(ir(_52823))]]], (1433 ^ _35321) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1435 ^ _35321) ^ [_52942, _52944] : [iext(uri_owl_someValuesFrom, _52944, _52942), 1438 ^ _35321 : [(1439 ^ _35321) ^ [] : [-(icext(uri_owl_Restriction, _52944))], (1441 ^ _35321) ^ [] : [-(ic(_52942))]]], (1443 ^ _35321) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1445 ^ _35321) ^ [_53063, _53065] : [iext(uri_owl_sourceIndividual, _53065, _53063), 1448 ^ _35321 : [(1449 ^ _35321) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53065))], (1451 ^ _35321) ^ [] : [-(ir(_53063))]]], (1453 ^ _35321) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1455 ^ _35321) ^ [_53184, _53186] : [iext(uri_owl_targetIndividual, _53186, _53184), 1458 ^ _35321 : [(1459 ^ _35321) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53186))], (1461 ^ _35321) ^ [] : [-(ir(_53184))]]], (1463 ^ _35321) ^ [] : [-(ip(uri_owl_targetIndividual))], (1465 ^ _35321) ^ [_53305, _53307] : [iext(uri_owl_targetValue, _53307, _53305), 1468 ^ _35321 : [(1469 ^ _35321) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _53307))], (1471 ^ _35321) ^ [] : [-(lv(_53305))]]], (1473 ^ _35321) ^ [] : [-(ip(uri_owl_targetValue))], (1475 ^ _35321) ^ [_53441, _53443] : [iext(uri_owl_topDataProperty, _53443, _53441), 1478 ^ _35321 : [(1479 ^ _35321) ^ [] : [-(ir(_53443))], (1481 ^ _35321) ^ [] : [-(lv(_53441))]]], (1483 ^ _35321) ^ [_53538, _53540] : [-(iext(uri_owl_topDataProperty, _53540, _53538)), ir(_53540), lv(_53538)], (1493 ^ _35321) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1495 ^ _35321) ^ [_53700, _53702] : [iext(uri_owl_topObjectProperty, _53702, _53700), 1498 ^ _35321 : [(1499 ^ _35321) ^ [] : [-(ir(_53702))], (1501 ^ _35321) ^ [] : [-(ir(_53700))]]], (1503 ^ _35321) ^ [_53797, _53799] : [-(iext(uri_owl_topObjectProperty, _53799, _53797)), ir(_53799), ir(_53797)], (1513 ^ _35321) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1515 ^ _35321) ^ [_53944, _53946] : [iext(uri_owl_unionOf, _53946, _53944), 1518 ^ _35321 : [(1519 ^ _35321) ^ [] : [-(ic(_53946))], (1521 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _53944))]]], (1523 ^ _35321) ^ [] : [-(ip(uri_owl_unionOf))], (1525 ^ _35321) ^ [_54065, _54067] : [iext(uri_owl_versionInfo, _54067, _54065), 1528 ^ _35321 : [(1529 ^ _35321) ^ [] : [-(ir(_54067))], (1531 ^ _35321) ^ [] : [-(ir(_54065))]]], (1533 ^ _35321) ^ [] : [-(ioap(uri_owl_versionInfo))], (1535 ^ _35321) ^ [_54184, _54186] : [iext(uri_owl_versionIRI, _54186, _54184), 1538 ^ _35321 : [(1539 ^ _35321) ^ [] : [-(ix(_54186))], (1541 ^ _35321) ^ [] : [-(ix(_54184))]]], (1543 ^ _35321) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1545 ^ _35321) ^ [_54303, _54305] : [iext(uri_owl_withRestrictions, _54305, _54303), 1548 ^ _35321 : [(1549 ^ _35321) ^ [] : [-(idc(_54305))], (1551 ^ _35321) ^ [] : [-(icext(uri_rdf_List, _54303))]]], (1553 ^ _35321) ^ [] : [-(ip(uri_owl_withRestrictions))], (1555 ^ _35321) ^ [_54424, _54426] : [iext(uri_owl_complementOf, _54426, _54424), 1558 ^ _35321 : [(1559 ^ _35321) ^ [] : [-(ic(_54426))], (1561 ^ _35321) ^ [] : [-(ic(_54424))], (1563 ^ _35321) ^ [_54554] : [icext(_54426, _54554), icext(_54424, _54554)], (1569 ^ _35321) ^ [_54628] : [-(icext(_54424, _54628)), -(icext(_54426, _54628))]]], (1575 ^ _35321) ^ [_54672, _54674] : [iext(uri_owl_datatypeComplementOf, _54674, _54672), 1578 ^ _35321 : [(1579 ^ _35321) ^ [_54756] : [icext(_54674, _54756), 1582 ^ _35321 : [(1583 ^ _35321) ^ [] : [-(lv(_54756))], (1585 ^ _35321) ^ [] : [icext(_54672, _54756)]]], (1587 ^ _35321) ^ [_54863] : [-(icext(_54674, _54863)), lv(_54863), -(icext(_54672, _54863))]]], (1615 ^ _35321) ^ [_55265] : [-(iext(uri_owl_intersectionOf, _55265, uri_rdf_nil)), ic(_55265), 1623 ^ _35321 : [(1624 ^ _35321) ^ [] : [-(icext(_55265, 1620 ^ [_55265]))], (1626 ^ _35321) ^ [] : [ir(1620 ^ [_55265])]], 1627 ^ _35321 : [(1628 ^ _35321) ^ [] : [-(ir(1620 ^ [_55265]))], (1630 ^ _35321) ^ [] : [icext(_55265, 1620 ^ [_55265])]]], (1597 ^ _35321) ^ [_55015] : [iext(uri_owl_intersectionOf, _55015, uri_rdf_nil), 1600 ^ _35321 : [(1601 ^ _35321) ^ [] : [-(ic(_55015))], (1603 ^ _35321) ^ [_55115] : [icext(_55015, _55115), -(ir(_55115))], (1609 ^ _35321) ^ [_55186] : [ir(_55186), -(icext(_55015, _55186))]]], (1634 ^ _35321) ^ [_55535, _55537, _55539] : [iext(uri_rdf_first, _55537, _55535), iext(uri_rdf_rest, _55537, uri_rdf_nil), 1641 ^ _35321 : [(1642 ^ _35321) ^ [] : [iext(uri_owl_intersectionOf, _55539, _55537), 1645 ^ _35321 : [(1646 ^ _35321) ^ [] : [-(ic(_55539))], (1648 ^ _35321) ^ [] : [-(ic(_55535))], (1650 ^ _35321) ^ [_55784] : [icext(_55539, _55784), -(icext(_55535, _55784))], (1656 ^ _35321) ^ [_55861] : [icext(_55535, _55861), -(icext(_55539, _55861))]]], (1662 ^ _35321) ^ [] : [-(iext(uri_owl_intersectionOf, _55539, _55537)), ic(_55539), ic(_55535), 1674 ^ _35321 : [(1675 ^ _35321) ^ [] : [-(icext(_55539, 1671 ^ [_55535, _55537, _55539]))], (1677 ^ _35321) ^ [] : [icext(_55535, 1671 ^ [_55535, _55537, _55539])]], 1678 ^ _35321 : [(1679 ^ _35321) ^ [] : [-(icext(_55535, 1671 ^ [_55535, _55537, _55539]))], (1681 ^ _35321) ^ [] : [icext(_55539, 1671 ^ [_55535, _55537, _55539])]]]]], (1685 ^ _35321) ^ [_56282, _56284, _56286, _56288, _56290] : [iext(uri_rdf_first, _56288, _56286), iext(uri_rdf_rest, _56288, _56284), iext(uri_rdf_first, _56284, _56282), iext(uri_rdf_rest, _56284, uri_rdf_nil), 1700 ^ _35321 : [(1701 ^ _35321) ^ [] : [iext(uri_owl_intersectionOf, _56290, _56288), 1704 ^ _35321 : [(1705 ^ _35321) ^ [] : [-(ic(_56290))], (1707 ^ _35321) ^ [] : [-(ic(_56286))], (1709 ^ _35321) ^ [] : [-(ic(_56282))], (1711 ^ _35321) ^ [_56694] : [icext(_56290, _56694), 1714 ^ _35321 : [(1715 ^ _35321) ^ [] : [-(icext(_56286, _56694))], (1717 ^ _35321) ^ [] : [-(icext(_56282, _56694))]]], (1719 ^ _35321) ^ [_56801] : [-(icext(_56290, _56801)), icext(_56286, _56801), icext(_56282, _56801)]]], (1729 ^ _35321) ^ [] : [-(iext(uri_owl_intersectionOf, _56290, _56288)), ic(_56290), ic(_56286), ic(_56282), 1753 ^ _35321 : [(1754 ^ _35321) ^ [] : [-(icext(_56286, 1742 ^ [_56282, _56284, _56286, _56288, _56290]))], (1756 ^ _35321) ^ [] : [-(icext(_56282, 1742 ^ [_56282, _56284, _56286, _56288, _56290]))], (1758 ^ _35321) ^ [] : [icext(_56290, 1742 ^ [_56282, _56284, _56286, _56288, _56290])]], 1745 ^ _35321 : [(1746 ^ _35321) ^ [] : [-(icext(_56290, 1742 ^ [_56282, _56284, _56286, _56288, _56290]))], (1748 ^ _35321) ^ [] : [icext(_56286, 1742 ^ [_56282, _56284, _56286, _56288, _56290]), icext(_56282, 1742 ^ [_56282, _56284, _56286, _56288, _56290])]]]]], (1762 ^ _35321) ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493] : [iext(uri_rdf_first, _57491, _57489), iext(uri_rdf_rest, _57491, _57487), iext(uri_rdf_first, _57487, _57485), iext(uri_rdf_rest, _57487, _57483), iext(uri_rdf_first, _57483, _57481), iext(uri_rdf_rest, _57483, uri_rdf_nil), 1785 ^ _35321 : [(1786 ^ _35321) ^ [] : [iext(uri_owl_intersectionOf, _57493, _57491), 1789 ^ _35321 : [(1790 ^ _35321) ^ [] : [-(ic(_57493))], (1792 ^ _35321) ^ [] : [-(ic(_57489))], (1794 ^ _35321) ^ [] : [-(ic(_57485))], (1796 ^ _35321) ^ [] : [-(ic(_57481))], (1798 ^ _35321) ^ [_58072] : [icext(_57493, _58072), 1801 ^ _35321 : [(1802 ^ _35321) ^ [] : [-(icext(_57489, _58072))], (1804 ^ _35321) ^ [] : [-(icext(_57485, _58072))], (1806 ^ _35321) ^ [] : [-(icext(_57481, _58072))]]], (1808 ^ _35321) ^ [_58207] : [-(icext(_57493, _58207)), icext(_57489, _58207), icext(_57485, _58207), icext(_57481, _58207)]]], (1822 ^ _35321) ^ [] : [-(iext(uri_owl_intersectionOf, _57493, _57491)), ic(_57493), ic(_57489), ic(_57485), ic(_57481), 1854 ^ _35321 : [(1855 ^ _35321) ^ [] : [-(icext(_57489, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]))], (1857 ^ _35321) ^ [] : [-(icext(_57485, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]))], (1859 ^ _35321) ^ [] : [-(icext(_57481, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]))], (1861 ^ _35321) ^ [] : [icext(_57493, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493])]], 1842 ^ _35321 : [(1843 ^ _35321) ^ [] : [-(icext(_57493, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]))], (1845 ^ _35321) ^ [] : [icext(_57489, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]), icext(_57485, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493]), icext(_57481, 1839 ^ [_57481, _57483, _57485, _57487, _57489, _57491, _57493])]]]]], (1865 ^ _35321) ^ [_59188, _59190, _59192] : [-(idc(_59192)), iext(uri_rdf_first, _59190, _59188), iext(uri_rdf_rest, _59190, uri_rdf_nil), idc(_59188), iext(uri_owl_intersectionOf, _59192, _59190)], (1883 ^ _35321) ^ [_59431, _59433, _59435, _59437, _59439] : [-(idc(_59439)), iext(uri_rdf_first, _59437, _59435), iext(uri_rdf_rest, _59437, _59433), iext(uri_rdf_first, _59433, _59431), iext(uri_rdf_rest, _59433, uri_rdf_nil), idc(_59435), idc(_59431), iext(uri_owl_intersectionOf, _59439, _59437)], (1913 ^ _35321) ^ [_59866, _59868, _59870, _59872, _59874, _59876, _59878] : [-(idc(_59878)), iext(uri_rdf_first, _59876, _59874), iext(uri_rdf_rest, _59876, _59872), iext(uri_rdf_first, _59872, _59870), iext(uri_rdf_rest, _59872, _59868), iext(uri_rdf_first, _59868, _59866), iext(uri_rdf_rest, _59868, uri_rdf_nil), idc(_59874), idc(_59870), idc(_59866), iext(uri_owl_intersectionOf, _59878, _59876)], (1955 ^ _35321) ^ [_60529] : [iext(uri_owl_unionOf, _60529, uri_rdf_nil), 1958 ^ _35321 : [(1959 ^ _35321) ^ [] : [-(ic(_60529))], (1961 ^ _35321) ^ [_60619] : [icext(_60529, _60619)]]], (1963 ^ _35321) ^ [_60644] : [-(iext(uri_owl_unionOf, _60644, uri_rdf_nil)), ic(_60644), -(icext(_60644, 1968 ^ [_60644]))], (1974 ^ _35321) ^ [_60784, _60786, _60788] : [iext(uri_rdf_first, _60786, _60784), iext(uri_rdf_rest, _60786, uri_rdf_nil), 1981 ^ _35321 : [(1982 ^ _35321) ^ [] : [iext(uri_owl_unionOf, _60788, _60786), 1985 ^ _35321 : [(1986 ^ _35321) ^ [] : [-(ic(_60788))], (1988 ^ _35321) ^ [] : [-(ic(_60784))], (1990 ^ _35321) ^ [_61033] : [icext(_60788, _61033), -(icext(_60784, _61033))], (1996 ^ _35321) ^ [_61110] : [icext(_60784, _61110), -(icext(_60788, _61110))]]], (2002 ^ _35321) ^ [] : [-(iext(uri_owl_unionOf, _60788, _60786)), ic(_60788), ic(_60784), 2014 ^ _35321 : [(2015 ^ _35321) ^ [] : [-(icext(_60788, 2011 ^ [_60784, _60786, _60788]))], (2017 ^ _35321) ^ [] : [icext(_60784, 2011 ^ [_60784, _60786, _60788])]], 2018 ^ _35321 : [(2019 ^ _35321) ^ [] : [-(icext(_60784, 2011 ^ [_60784, _60786, _60788]))], (2021 ^ _35321) ^ [] : [icext(_60788, 2011 ^ [_60784, _60786, _60788])]]]]], (2025 ^ _35321) ^ [_61531, _61533, _61535, _61537, _61539] : [iext(uri_rdf_first, _61537, _61535), iext(uri_rdf_rest, _61537, _61533), iext(uri_rdf_first, _61533, _61531), iext(uri_rdf_rest, _61533, uri_rdf_nil), 2040 ^ _35321 : [(2041 ^ _35321) ^ [] : [iext(uri_owl_unionOf, _61539, _61537), 2044 ^ _35321 : [(2045 ^ _35321) ^ [] : [-(ic(_61539))], (2047 ^ _35321) ^ [] : [-(ic(_61535))], (2049 ^ _35321) ^ [] : [-(ic(_61531))], (2061 ^ _35321) ^ [_62037] : [2062 ^ _35321 : [(2063 ^ _35321) ^ [] : [icext(_61535, _62037)], (2065 ^ _35321) ^ [] : [icext(_61531, _62037)]], -(icext(_61539, _62037))], (2051 ^ _35321) ^ [_61943] : [icext(_61539, _61943), -(icext(_61535, _61943)), -(icext(_61531, _61943))]]], (2069 ^ _35321) ^ [] : [-(iext(uri_owl_unionOf, _61539, _61537)), ic(_61539), ic(_61535), ic(_61531), 2085 ^ _35321 : [(2086 ^ _35321) ^ [] : [-(icext(_61539, 2082 ^ [_61531, _61533, _61535, _61537, _61539]))], (2088 ^ _35321) ^ [] : [icext(_61535, 2082 ^ [_61531, _61533, _61535, _61537, _61539])], (2090 ^ _35321) ^ [] : [icext(_61531, 2082 ^ [_61531, _61533, _61535, _61537, _61539])]], 2091 ^ _35321 : [(2098 ^ _35321) ^ [] : [icext(_61539, 2082 ^ [_61531, _61533, _61535, _61537, _61539])], (2092 ^ _35321) ^ [] : [-(icext(_61535, 2082 ^ [_61531, _61533, _61535, _61537, _61539])), -(icext(_61531, 2082 ^ [_61531, _61533, _61535, _61537, _61539]))]]]]], (2102 ^ _35321) ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671] : [iext(uri_rdf_first, _62669, _62667), iext(uri_rdf_rest, _62669, _62665), iext(uri_rdf_first, _62665, _62663), iext(uri_rdf_rest, _62665, _62661), iext(uri_rdf_first, _62661, _62659), iext(uri_rdf_rest, _62661, uri_rdf_nil), 2125 ^ _35321 : [(2126 ^ _35321) ^ [] : [iext(uri_owl_unionOf, _62671, _62669), 2129 ^ _35321 : [(2130 ^ _35321) ^ [] : [-(ic(_62671))], (2132 ^ _35321) ^ [] : [-(ic(_62667))], (2134 ^ _35321) ^ [] : [-(ic(_62663))], (2136 ^ _35321) ^ [] : [-(ic(_62659))], (2152 ^ _35321) ^ [_63361] : [2153 ^ _35321 : [(2154 ^ _35321) ^ [] : [icext(_62667, _63361)], (2156 ^ _35321) ^ [] : [icext(_62663, _63361)], (2158 ^ _35321) ^ [] : [icext(_62659, _63361)]], -(icext(_62671, _63361))], (2138 ^ _35321) ^ [_63250] : [icext(_62671, _63250), -(icext(_62667, _63250)), -(icext(_62663, _63250)), -(icext(_62659, _63250))]]], (2162 ^ _35321) ^ [] : [-(iext(uri_owl_unionOf, _62671, _62669)), ic(_62671), ic(_62667), ic(_62663), ic(_62659), 2182 ^ _35321 : [(2183 ^ _35321) ^ [] : [-(icext(_62671, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671]))], (2185 ^ _35321) ^ [] : [icext(_62667, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])], (2187 ^ _35321) ^ [] : [icext(_62663, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])], (2189 ^ _35321) ^ [] : [icext(_62659, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])]], 2190 ^ _35321 : [(2201 ^ _35321) ^ [] : [icext(_62671, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])], (2191 ^ _35321) ^ [] : [-(icext(_62667, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])), -(icext(_62663, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671])), -(icext(_62659, 2179 ^ [_62659, _62661, _62663, _62665, _62667, _62669, _62671]))]]]]], (2205 ^ _35321) ^ [_64207, _64209, _64211] : [-(idc(_64211)), iext(uri_rdf_first, _64209, _64207), iext(uri_rdf_rest, _64209, uri_rdf_nil), idc(_64207), iext(uri_owl_unionOf, _64211, _64209)], (2223 ^ _35321) ^ [_64450, _64452, _64454, _64456, _64458] : [-(idc(_64458)), iext(uri_rdf_first, _64456, _64454), iext(uri_rdf_rest, _64456, _64452), iext(uri_rdf_first, _64452, _64450), iext(uri_rdf_rest, _64452, uri_rdf_nil), idc(_64454), idc(_64450), iext(uri_owl_unionOf, _64458, _64456)], (2253 ^ _35321) ^ [_64885, _64887, _64889, _64891, _64893, _64895, _64897] : [-(idc(_64897)), iext(uri_rdf_first, _64895, _64893), iext(uri_rdf_rest, _64895, _64891), iext(uri_rdf_first, _64891, _64889), iext(uri_rdf_rest, _64891, _64887), iext(uri_rdf_first, _64887, _64885), iext(uri_rdf_rest, _64887, uri_rdf_nil), idc(_64893), idc(_64889), idc(_64885), iext(uri_owl_unionOf, _64897, _64895)], (2295 ^ _35321) ^ [_65548] : [iext(uri_owl_oneOf, _65548, uri_rdf_nil), 2298 ^ _35321 : [(2299 ^ _35321) ^ [] : [-(ic(_65548))], (2301 ^ _35321) ^ [_65638] : [icext(_65548, _65638)]]], (2303 ^ _35321) ^ [_65663] : [-(iext(uri_owl_oneOf, _65663, uri_rdf_nil)), ic(_65663), -(icext(_65663, 2308 ^ [_65663]))], (2314 ^ _35321) ^ [_65803, _65805, _65807] : [iext(uri_rdf_first, _65805, _65803), iext(uri_rdf_rest, _65805, uri_rdf_nil), 2321 ^ _35321 : [(2340 ^ _35321) ^ [] : [-(iext(uri_owl_oneOf, _65807, _65805)), ic(_65807), 2348 ^ _35321 : [(2349 ^ _35321) ^ [] : [-(icext(_65807, 2345 ^ [_65803, _65805, _65807]))], (2351 ^ _35321) ^ [] : [2345 ^ [_65803, _65805, _65807] = _65803]], 2352 ^ _35321 : [(2353 ^ _35321) ^ [] : [-(2345 ^ [_65803, _65805, _65807] = _65803)], (2355 ^ _35321) ^ [] : [icext(_65807, 2345 ^ [_65803, _65805, _65807])]]], (2322 ^ _35321) ^ [] : [iext(uri_owl_oneOf, _65807, _65805), 2325 ^ _35321 : [(2326 ^ _35321) ^ [] : [-(ic(_65807))], (2328 ^ _35321) ^ [_66027] : [icext(_65807, _66027), -(_66027 = _65803)], (2334 ^ _35321) ^ [_66104] : [_66104 = _65803, -(icext(_65807, _66104))]]]]], (2359 ^ _35321) ^ [_66476, _66478, _66480, _66482, _66484] : [iext(uri_rdf_first, _66482, _66480), iext(uri_rdf_rest, _66482, _66478), iext(uri_rdf_first, _66478, _66476), iext(uri_rdf_rest, _66478, uri_rdf_nil), 2374 ^ _35321 : [(2399 ^ _35321) ^ [] : [-(iext(uri_owl_oneOf, _66484, _66482)), ic(_66484), 2407 ^ _35321 : [(2408 ^ _35321) ^ [] : [-(icext(_66484, 2404 ^ [_66476, _66478, _66480, _66482, _66484]))], (2410 ^ _35321) ^ [] : [2404 ^ [_66476, _66478, _66480, _66482, _66484] = _66480], (2412 ^ _35321) ^ [] : [2404 ^ [_66476, _66478, _66480, _66482, _66484] = _66476]], 2413 ^ _35321 : [(2420 ^ _35321) ^ [] : [icext(_66484, 2404 ^ [_66476, _66478, _66480, _66482, _66484])], (2414 ^ _35321) ^ [] : [-(2404 ^ [_66476, _66478, _66480, _66482, _66484] = _66480), -(2404 ^ [_66476, _66478, _66480, _66482, _66484] = _66476)]]], (2375 ^ _35321) ^ [] : [iext(uri_owl_oneOf, _66484, _66482), 2378 ^ _35321 : [(2379 ^ _35321) ^ [] : [-(ic(_66484))], (2391 ^ _35321) ^ [_66932] : [2392 ^ _35321 : [(2393 ^ _35321) ^ [] : [_66932 = _66480], (2395 ^ _35321) ^ [] : [_66932 = _66476]], -(icext(_66484, _66932))], (2381 ^ _35321) ^ [_66838] : [icext(_66484, _66838), -(_66838 = _66480), -(_66838 = _66476)]]]]], (2424 ^ _35321) ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] : [iext(uri_rdf_first, _68018, _68016), iext(uri_rdf_rest, _68018, _68014), iext(uri_rdf_first, _68014, _68012), iext(uri_rdf_rest, _68014, _68010), iext(uri_rdf_first, _68010, _68008), iext(uri_rdf_rest, _68010, uri_rdf_nil), 2447 ^ _35321 : [(2478 ^ _35321) ^ [] : [-(iext(uri_owl_oneOf, _68020, _68018)), ic(_68020), 2486 ^ _35321 : [(2487 ^ _35321) ^ [] : [-(icext(_68020, 2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020]))], (2489 ^ _35321) ^ [] : [2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68016], (2491 ^ _35321) ^ [] : [2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68012], (2493 ^ _35321) ^ [] : [2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68008]], 2494 ^ _35321 : [(2505 ^ _35321) ^ [] : [icext(_68020, 2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020])], (2495 ^ _35321) ^ [] : [-(2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68016), -(2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68012), -(2483 ^ [_68008, _68010, _68012, _68014, _68016, _68018, _68020] = _68008)]]], (2448 ^ _35321) ^ [] : [iext(uri_owl_oneOf, _68020, _68018), 2451 ^ _35321 : [(2452 ^ _35321) ^ [] : [-(ic(_68020))], (2468 ^ _35321) ^ [_69419] : [2469 ^ _35321 : [(2470 ^ _35321) ^ [] : [_69419 = _68016], (2472 ^ _35321) ^ [] : [_69419 = _68012], (2474 ^ _35321) ^ [] : [_69419 = _68008]], -(icext(_68020, _69419))], (2454 ^ _35321) ^ [_68979] : [icext(_68020, _68979), -(_68979 = _68016), -(_68979 = _68012), -(_68979 = _68008)]]]]], (2509 ^ _35321) ^ [_71003, _71005, _71007] : [-(idc(_71007)), iext(uri_rdf_first, _71005, _71003), iext(uri_rdf_rest, _71005, uri_rdf_nil), lv(_71003), iext(uri_owl_oneOf, _71007, _71005)], (2527 ^ _35321) ^ [_71542, _71544, _71546, _71548, _71550] : [-(idc(_71550)), iext(uri_rdf_first, _71548, _71546), iext(uri_rdf_rest, _71548, _71544), iext(uri_rdf_first, _71544, _71542), iext(uri_rdf_rest, _71544, uri_rdf_nil), lv(_71546), lv(_71542), iext(uri_owl_oneOf, _71550, _71548)], (2557 ^ _35321) ^ [_72450, _72452, _72454, _72456, _72458, _72460, _72462] : [-(idc(_72462)), iext(uri_rdf_first, _72460, _72458), iext(uri_rdf_rest, _72460, _72456), iext(uri_rdf_first, _72456, _72454), iext(uri_rdf_rest, _72456, _72452), iext(uri_rdf_first, _72452, _72450), iext(uri_rdf_rest, _72452, uri_rdf_nil), lv(_72458), lv(_72454), lv(_72450), iext(uri_owl_oneOf, _72462, _72460)], (2599 ^ _35321) ^ [_73691, _73693, _73695] : [iext(uri_owl_allValuesFrom, _73695, _73691), iext(uri_owl_onProperty, _73695, _73693), 2606 ^ _35321 : [(2617 ^ _35321) ^ [_74317] : [2619 ^ _35321 : [(2620 ^ _35321) ^ [] : [-(iext(_73693, _74317, 2618 ^ [_73691, _73693, _73695, _74317]))], (2622 ^ _35321) ^ [] : [icext(_73691, 2618 ^ [_73691, _73693, _73695, _74317])]], -(icext(_73695, _74317))], (2607 ^ _35321) ^ [_73970] : [icext(_73695, _73970), 2610 ^ _35321 : [(2611 ^ _35321) ^ [_74122] : [iext(_73693, _73970, _74122), -(icext(_73691, _74122))]]]]], (2626 ^ _35321) ^ [_74722, _74724] : [iext(uri_owl_cardinality, _74724, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74724, _74722), 2633 ^ _35321 : [(2634 ^ _35321) ^ [_74989] : [icext(_74724, _74989), 2637 ^ _35321 : [(2638 ^ _35321) ^ [_75115] : [iext(_74722, _74989, _75115)]]], (2640 ^ _35321) ^ [_75186] : [-(iext(_74722, _75186, 2641 ^ [_74722, _74724, _75186])), -(icext(_74724, _75186))]]], (2647 ^ _35321) ^ [_75484, _75486] : [iext(uri_owl_cardinality, _75486, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _75486, _75484), 2654 ^ _35321 : [(2672 ^ _35321) ^ [_76389] : [-(icext(_75486, _76389)), 2675 ^ _35321 : [(2676 ^ _35321) ^ [_76532] : [iext(_75484, _76389, _76532)]], 2679 ^ _35321 : [(2680 ^ _35321) ^ [] : [-(iext(_75484, _76389, 2677 ^ [_75484, _75486, _76389]))], (2682 ^ _35321) ^ [] : [-(iext(_75484, _76389, 2678 ^ [_75484, _75486, _76389]))], (2684 ^ _35321) ^ [] : [2678 ^ [_75484, _75486, _76389] = 2677 ^ [_75484, _75486, _76389]]]], (2655 ^ _35321) ^ [_75779] : [icext(_75486, _75779), 2659 ^ _35321 : [(2660 ^ _35321) ^ [] : [-(iext(_75484, _75779, 2658 ^ [_75484, _75486, _75779]))], (2662 ^ _35321) ^ [_76091, _76093] : [-(_76091 = _76093), iext(_75484, _75779, _76093), iext(_75484, _75779, _76091)]]]]], (2688 ^ _35321) ^ [_77089, _77091] : [iext(uri_owl_cardinality, _77091, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _77091, _77089), 2695 ^ _35321 : [(2726 ^ _35321) ^ [_78583] : [-(icext(_77091, _78583)), 2742 ^ _35321 : [(2743 ^ _35321) ^ [] : [-(iext(_77089, _78583, 2739 ^ [_77089, _77091, _78583]))], (2745 ^ _35321) ^ [] : [-(iext(_77089, _78583, 2740 ^ [_77089, _77091, _78583]))], (2747 ^ _35321) ^ [] : [-(iext(_77089, _78583, 2741 ^ [_77089, _77091, _78583]))], (2749 ^ _35321) ^ [] : [2741 ^ [_77089, _77091, _78583] = 2739 ^ [_77089, _77091, _78583]], (2751 ^ _35321) ^ [] : [2741 ^ [_77089, _77091, _78583] = 2740 ^ [_77089, _77091, _78583]]], 2729 ^ _35321 : [(2730 ^ _35321) ^ [_78794, _78796] : [iext(_77089, _78583, _78796), iext(_77089, _78583, _78794), -(_78796 = _78794)]]], (2696 ^ _35321) ^ [_77422] : [icext(_77091, _77422), 2701 ^ _35321 : [(2702 ^ _35321) ^ [] : [-(iext(_77089, _77422, 2699 ^ [_77089, _77091, _77422]))], (2704 ^ _35321) ^ [] : [-(iext(_77089, _77422, 2700 ^ [_77089, _77091, _77422]))], (2706 ^ _35321) ^ [] : [2699 ^ [_77089, _77091, _77422] = 2700 ^ [_77089, _77091, _77422]], (2708 ^ _35321) ^ [_78056, _78058, _78060] : [-(_78056 = _78060), -(_78056 = _78058), iext(_77089, _77422, _78060), iext(_77089, _77422, _78058), iext(_77089, _77422, _78056)]]]]], (2755 ^ _35321) ^ [_79895, _79897] : [iext(uri_owl_cardinality, _79897, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _79897, _79895), 2762 ^ _35321 : [(2763 ^ _35321) ^ [_80274] : [icext(_79897, _80274), 2769 ^ _35321 : [(2770 ^ _35321) ^ [] : [-(iext(_79895, _80274, 2766 ^ [_79895, _79897, _80274]))], (2772 ^ _35321) ^ [] : [-(iext(_79895, _80274, 2767 ^ [_79895, _79897, _80274]))], (2774 ^ _35321) ^ [] : [-(iext(_79895, _80274, 2768 ^ [_79895, _79897, _80274]))], (2776 ^ _35321) ^ [] : [2766 ^ [_79895, _79897, _80274] = 2767 ^ [_79895, _79897, _80274]], (2778 ^ _35321) ^ [] : [2766 ^ [_79895, _79897, _80274] = 2768 ^ [_79895, _79897, _80274]], (2780 ^ _35321) ^ [] : [2767 ^ [_79895, _79897, _80274] = 2768 ^ [_79895, _79897, _80274]], (2782 ^ _35321) ^ [_81429, _81431, _81433, _81435] : [-(_81429 = _81435), -(_81429 = _81433), -(_81429 = _81431), iext(_79895, _80274, _81435), iext(_79895, _80274, _81433), iext(_79895, _80274, _81431), iext(_79895, _80274, _81429)]]], (2808 ^ _35321) ^ [_82203] : [-(icext(_79897, _82203)), 2837 ^ _35321 : [(2838 ^ _35321) ^ [] : [-(iext(_79895, _82203, 2833 ^ [_79895, _79897, _82203]))], (2840 ^ _35321) ^ [] : [-(iext(_79895, _82203, 2834 ^ [_79895, _79897, _82203]))], (2842 ^ _35321) ^ [] : [-(iext(_79895, _82203, 2835 ^ [_79895, _79897, _82203]))], (2844 ^ _35321) ^ [] : [-(iext(_79895, _82203, 2836 ^ [_79895, _79897, _82203]))], (2846 ^ _35321) ^ [] : [2836 ^ [_79895, _79897, _82203] = 2833 ^ [_79895, _79897, _82203]], (2848 ^ _35321) ^ [] : [2836 ^ [_79895, _79897, _82203] = 2834 ^ [_79895, _79897, _82203]], (2850 ^ _35321) ^ [] : [2836 ^ [_79895, _79897, _82203] = 2835 ^ [_79895, _79897, _82203]]], 2811 ^ _35321 : [(2812 ^ _35321) ^ [_82474, _82476, _82478] : [iext(_79895, _82203, _82478), iext(_79895, _82203, _82476), iext(_79895, _82203, _82474), -(_82478 = _82476), -(_82478 = _82474), -(_82476 = _82474)]]]]], (2854 ^ _35321) ^ [_84288, _84290, _84292] : [iext(uri_owl_qualifiedCardinality, _84292, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _84292, _84290), iext(uri_owl_onDataRange, _84292, _84288), 2865 ^ _35321 : [(2866 ^ _35321) ^ [] : [-(iodp(_84290))], (2882 ^ _35321) ^ [_85193] : [2884 ^ _35321 : [(2885 ^ _35321) ^ [] : [-(lv(2883 ^ [_84288, _84290, _84292, _85193]))], (2887 ^ _35321) ^ [] : [-(iext(_84290, _85193, 2883 ^ [_84288, _84290, _84292, _85193]))], (2889 ^ _35321) ^ [] : [-(icext(_84288, 2883 ^ [_84288, _84290, _84292, _85193]))]], -(icext(_84292, _85193))], (2868 ^ _35321) ^ [_84741] : [icext(_84292, _84741), 2871 ^ _35321 : [(2872 ^ _35321) ^ [_84900] : [lv(_84900), iext(_84290, _84741, _84900), icext(_84288, _84900)]]]]], (2893 ^ _35321) ^ [_85711, _85713, _85715] : [iext(uri_owl_qualifiedCardinality, _85715, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _85715, _85713), iext(uri_owl_onDataRange, _85715, _85711), 2904 ^ _35321 : [(2905 ^ _35321) ^ [] : [-(iodp(_85713))], (2944 ^ _35321) ^ [_87479] : [-(icext(_85715, _87479)), 2959 ^ _35321 : [(2960 ^ _35321) ^ [] : [-(lv(2957 ^ [_85711, _85713, _85715, _87479]))], (2962 ^ _35321) ^ [] : [-(iext(_85713, _87479, 2957 ^ [_85711, _85713, _85715, _87479]))], (2964 ^ _35321) ^ [] : [-(icext(_85711, 2957 ^ [_85711, _85713, _85715, _87479]))], (2966 ^ _35321) ^ [] : [-(lv(2958 ^ [_85711, _85713, _85715, _87479]))], (2968 ^ _35321) ^ [] : [-(iext(_85713, _87479, 2958 ^ [_85711, _85713, _85715, _87479]))], (2970 ^ _35321) ^ [] : [-(icext(_85711, 2958 ^ [_85711, _85713, _85715, _87479]))], (2972 ^ _35321) ^ [] : [2958 ^ [_85711, _85713, _85715, _87479] = 2957 ^ [_85711, _85713, _85715, _87479]]], 2947 ^ _35321 : [(2948 ^ _35321) ^ [_87677] : [lv(_87677), iext(_85713, _87479, _87677), icext(_85711, _87677)]]], (2907 ^ _35321) ^ [_86214] : [icext(_85715, _86214), 2911 ^ _35321 : [(2912 ^ _35321) ^ [] : [-(lv(2910 ^ [_85711, _85713, _85715, _86214]))], (2914 ^ _35321) ^ [] : [-(iext(_85713, _86214, 2910 ^ [_85711, _85713, _85715, _86214]))], (2916 ^ _35321) ^ [] : [-(icext(_85711, 2910 ^ [_85711, _85713, _85715, _86214]))], (2918 ^ _35321) ^ [_86749, _86751] : [-(_86749 = _86751), lv(_86751), iext(_85713, _86214, _86751), icext(_85711, _86751), lv(_86749), iext(_85713, _86214, _86749), icext(_85711, _86749)]]]]], (2976 ^ _35321) ^ [_88906, _88908, _88910] : [iext(uri_owl_qualifiedCardinality, _88910, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _88910, _88908), iext(uri_owl_onDataRange, _88910, _88906), 2987 ^ _35321 : [(2988 ^ _35321) ^ [] : [-(iodp(_88908))], (3052 ^ _35321) ^ [_91789] : [-(icext(_88910, _91789)), 3084 ^ _35321 : [(3085 ^ _35321) ^ [] : [-(lv(3081 ^ [_88906, _88908, _88910, _91789]))], (3087 ^ _35321) ^ [] : [-(iext(_88908, _91789, 3081 ^ [_88906, _88908, _88910, _91789]))], (3089 ^ _35321) ^ [] : [-(icext(_88906, 3081 ^ [_88906, _88908, _88910, _91789]))], (3091 ^ _35321) ^ [] : [-(lv(3082 ^ [_88906, _88908, _88910, _91789]))], (3093 ^ _35321) ^ [] : [-(iext(_88908, _91789, 3082 ^ [_88906, _88908, _88910, _91789]))], (3095 ^ _35321) ^ [] : [-(icext(_88906, 3082 ^ [_88906, _88908, _88910, _91789]))], (3097 ^ _35321) ^ [] : [-(lv(3083 ^ [_88906, _88908, _88910, _91789]))], (3099 ^ _35321) ^ [] : [-(iext(_88908, _91789, 3083 ^ [_88906, _88908, _88910, _91789]))], (3101 ^ _35321) ^ [] : [-(icext(_88906, 3083 ^ [_88906, _88908, _88910, _91789]))], (3103 ^ _35321) ^ [] : [3083 ^ [_88906, _88908, _88910, _91789] = 3081 ^ [_88906, _88908, _88910, _91789]], (3105 ^ _35321) ^ [] : [3083 ^ [_88906, _88908, _88910, _91789] = 3082 ^ [_88906, _88908, _88910, _91789]]], 3055 ^ _35321 : [(3056 ^ _35321) ^ [_92061, _92063] : [lv(_92063), iext(_88908, _91789, _92063), icext(_88906, _92063), lv(_92061), iext(_88908, _91789, _92061), icext(_88906, _92061), -(_92063 = _92061)]]], (2990 ^ _35321) ^ [_89469] : [icext(_88910, _89469), 2995 ^ _35321 : [(2996 ^ _35321) ^ [] : [-(lv(2993 ^ [_88906, _88908, _88910, _89469]))], (2998 ^ _35321) ^ [] : [-(iext(_88908, _89469, 2993 ^ [_88906, _88908, _88910, _89469]))], (3000 ^ _35321) ^ [] : [-(icext(_88906, 2993 ^ [_88906, _88908, _88910, _89469]))], (3002 ^ _35321) ^ [] : [-(lv(2994 ^ [_88906, _88908, _88910, _89469]))], (3004 ^ _35321) ^ [] : [-(iext(_88908, _89469, 2994 ^ [_88906, _88908, _88910, _89469]))], (3006 ^ _35321) ^ [] : [-(icext(_88906, 2994 ^ [_88906, _88908, _88910, _89469]))], (3008 ^ _35321) ^ [] : [2993 ^ [_88906, _88908, _88910, _89469] = 2994 ^ [_88906, _88908, _88910, _89469]], (3010 ^ _35321) ^ [_90586, _90588, _90590] : [-(_90586 = _90590), -(_90586 = _90588), lv(_90590), iext(_88908, _89469, _90590), icext(_88906, _90590), lv(_90588), iext(_88908, _89469, _90588), icext(_88906, _90588), lv(_90586), iext(_88908, _89469, _90586), icext(_88906, _90586)]]]]], (3109 ^ _35321) ^ [_94330, _94332, _94334] : [iext(uri_owl_qualifiedCardinality, _94334, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _94334, _94332), iext(uri_owl_onDataRange, _94334, _94330), 3120 ^ _35321 : [(3121 ^ _35321) ^ [] : [-(iodp(_94332))], (3212 ^ _35321) ^ [_98629] : [-(icext(_94334, _98629)), 3265 ^ _35321 : [(3266 ^ _35321) ^ [] : [-(lv(3261 ^ [_94330, _94332, _94334, _98629]))], (3268 ^ _35321) ^ [] : [-(iext(_94332, _98629, 3261 ^ [_94330, _94332, _94334, _98629]))], (3270 ^ _35321) ^ [] : [-(icext(_94330, 3261 ^ [_94330, _94332, _94334, _98629]))], (3272 ^ _35321) ^ [] : [-(lv(3262 ^ [_94330, _94332, _94334, _98629]))], (3274 ^ _35321) ^ [] : [-(iext(_94332, _98629, 3262 ^ [_94330, _94332, _94334, _98629]))], (3276 ^ _35321) ^ [] : [-(icext(_94330, 3262 ^ [_94330, _94332, _94334, _98629]))], (3278 ^ _35321) ^ [] : [-(lv(3263 ^ [_94330, _94332, _94334, _98629]))], (3280 ^ _35321) ^ [] : [-(iext(_94332, _98629, 3263 ^ [_94330, _94332, _94334, _98629]))], (3282 ^ _35321) ^ [] : [-(icext(_94330, 3263 ^ [_94330, _94332, _94334, _98629]))], (3284 ^ _35321) ^ [] : [-(lv(3264 ^ [_94330, _94332, _94334, _98629]))], (3286 ^ _35321) ^ [] : [-(iext(_94332, _98629, 3264 ^ [_94330, _94332, _94334, _98629]))], (3288 ^ _35321) ^ [] : [-(icext(_94330, 3264 ^ [_94330, _94332, _94334, _98629]))], (3290 ^ _35321) ^ [] : [3264 ^ [_94330, _94332, _94334, _98629] = 3261 ^ [_94330, _94332, _94334, _98629]], (3292 ^ _35321) ^ [] : [3264 ^ [_94330, _94332, _94334, _98629] = 3262 ^ [_94330, _94332, _94334, _98629]], (3294 ^ _35321) ^ [] : [3264 ^ [_94330, _94332, _94334, _98629] = 3263 ^ [_94330, _94332, _94334, _98629]]], 3215 ^ _35321 : [(3216 ^ _35321) ^ [_98983, _98985, _98987] : [lv(_98987), iext(_94332, _98629, _98987), icext(_94330, _98987), lv(_98985), iext(_94332, _98629, _98985), icext(_94330, _98985), lv(_98983), iext(_94332, _98629, _98983), icext(_94330, _98983), -(_98987 = _98985), -(_98987 = _98983), -(_98985 = _98983)]]], (3123 ^ _35321) ^ [_94961] : [icext(_94334, _94961), 3129 ^ _35321 : [(3130 ^ _35321) ^ [] : [-(lv(3126 ^ [_94330, _94332, _94334, _94961]))], (3132 ^ _35321) ^ [] : [-(iext(_94332, _94961, 3126 ^ [_94330, _94332, _94334, _94961]))], (3134 ^ _35321) ^ [] : [-(icext(_94330, 3126 ^ [_94330, _94332, _94334, _94961]))], (3136 ^ _35321) ^ [] : [-(lv(3127 ^ [_94330, _94332, _94334, _94961]))], (3138 ^ _35321) ^ [] : [-(iext(_94332, _94961, 3127 ^ [_94330, _94332, _94334, _94961]))], (3140 ^ _35321) ^ [] : [-(icext(_94330, 3127 ^ [_94330, _94332, _94334, _94961]))], (3142 ^ _35321) ^ [] : [-(lv(3128 ^ [_94330, _94332, _94334, _94961]))], (3144 ^ _35321) ^ [] : [-(iext(_94332, _94961, 3128 ^ [_94330, _94332, _94334, _94961]))], (3146 ^ _35321) ^ [] : [-(icext(_94330, 3128 ^ [_94330, _94332, _94334, _94961]))], (3148 ^ _35321) ^ [] : [3126 ^ [_94330, _94332, _94334, _94961] = 3127 ^ [_94330, _94332, _94334, _94961]], (3150 ^ _35321) ^ [] : [3126 ^ [_94330, _94332, _94334, _94961] = 3128 ^ [_94330, _94332, _94334, _94961]], (3152 ^ _35321) ^ [] : [3127 ^ [_94330, _94332, _94334, _94961] = 3128 ^ [_94330, _94332, _94334, _94961]], (3154 ^ _35321) ^ [_96919, _96921, _96923, _96925] : [-(_96919 = _96925), -(_96919 = _96923), -(_96919 = _96921), lv(_96925), iext(_94332, _94961, _96925), icext(_94330, _96925), lv(_96923), iext(_94332, _94961, _96923), icext(_94330, _96923), lv(_96921), iext(_94332, _94961, _96921), icext(_94330, _96921), lv(_96919), iext(_94332, _94961, _96919), icext(_94330, _96919)]]]]], (3298 ^ _35321) ^ [_102533, _102535, _102537] : [iext(uri_owl_qualifiedCardinality, _102537, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102537, _102535), iext(uri_owl_onClass, _102537, _102533), 3309 ^ _35321 : [(3320 ^ _35321) ^ [_103257] : [3322 ^ _35321 : [(3323 ^ _35321) ^ [] : [-(iext(_102535, _103257, 3321 ^ [_102533, _102535, _102537, _103257]))], (3325 ^ _35321) ^ [] : [-(icext(_102533, 3321 ^ [_102533, _102535, _102537, _103257]))]], -(icext(_102537, _103257))], (3310 ^ _35321) ^ [_102909] : [icext(_102537, _102909), 3313 ^ _35321 : [(3314 ^ _35321) ^ [_103063] : [iext(_102535, _102909, _103063), icext(_102533, _103063)]]]]], (3329 ^ _35321) ^ [_103681, _103683, _103685] : [iext(uri_owl_qualifiedCardinality, _103685, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103685, _103683), iext(uri_owl_onClass, _103685, _103681), 3340 ^ _35321 : [(3368 ^ _35321) ^ [_105052] : [-(icext(_103685, _105052)), 3379 ^ _35321 : [(3380 ^ _35321) ^ [] : [-(iext(_103683, _105052, 3377 ^ [_103681, _103683, _103685, _105052]))], (3382 ^ _35321) ^ [] : [-(icext(_103681, 3377 ^ [_103681, _103683, _103685, _105052]))], (3384 ^ _35321) ^ [] : [-(iext(_103683, _105052, 3378 ^ [_103681, _103683, _103685, _105052]))], (3386 ^ _35321) ^ [] : [-(icext(_103681, 3378 ^ [_103681, _103683, _103685, _105052]))], (3388 ^ _35321) ^ [] : [3378 ^ [_103681, _103683, _103685, _105052] = 3377 ^ [_103681, _103683, _103685, _105052]]], 3371 ^ _35321 : [(3372 ^ _35321) ^ [_105235] : [iext(_103683, _105052, _105235), icext(_103681, _105235)]]], (3341 ^ _35321) ^ [_104097] : [icext(_103685, _104097), 3345 ^ _35321 : [(3346 ^ _35321) ^ [] : [-(iext(_103683, _104097, 3344 ^ [_103681, _103683, _103685, _104097]))], (3348 ^ _35321) ^ [] : [-(icext(_103681, 3344 ^ [_103681, _103683, _103685, _104097]))], (3350 ^ _35321) ^ [_104530, _104532] : [-(_104530 = _104532), iext(_103683, _104097, _104532), icext(_103681, _104532), iext(_103683, _104097, _104530), icext(_103681, _104530)]]]]], (3392 ^ _35321) ^ [_106164, _106166, _106168] : [iext(uri_owl_qualifiedCardinality, _106168, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _106168, _106166), iext(uri_owl_onClass, _106168, _106164), 3403 ^ _35321 : [(3450 ^ _35321) ^ [_108405] : [-(icext(_106168, _108405)), 3474 ^ _35321 : [(3475 ^ _35321) ^ [] : [-(iext(_106166, _108405, 3471 ^ [_106164, _106166, _106168, _108405]))], (3477 ^ _35321) ^ [] : [-(icext(_106164, 3471 ^ [_106164, _106166, _106168, _108405]))], (3479 ^ _35321) ^ [] : [-(iext(_106166, _108405, 3472 ^ [_106164, _106166, _106168, _108405]))], (3481 ^ _35321) ^ [] : [-(icext(_106164, 3472 ^ [_106164, _106166, _106168, _108405]))], (3483 ^ _35321) ^ [] : [-(iext(_106166, _108405, 3473 ^ [_106164, _106166, _106168, _108405]))], (3485 ^ _35321) ^ [] : [-(icext(_106164, 3473 ^ [_106164, _106166, _106168, _108405]))], (3487 ^ _35321) ^ [] : [3473 ^ [_106164, _106166, _106168, _108405] = 3471 ^ [_106164, _106166, _106168, _108405]], (3489 ^ _35321) ^ [] : [3473 ^ [_106164, _106166, _106168, _108405] = 3472 ^ [_106164, _106166, _106168, _108405]]], 3453 ^ _35321 : [(3454 ^ _35321) ^ [_108652, _108654] : [iext(_106166, _108405, _108654), icext(_106164, _108654), iext(_106166, _108405, _108652), icext(_106164, _108652), -(_108654 = _108652)]]], (3404 ^ _35321) ^ [_106630] : [icext(_106168, _106630), 3409 ^ _35321 : [(3410 ^ _35321) ^ [] : [-(iext(_106166, _106630, 3407 ^ [_106164, _106166, _106168, _106630]))], (3412 ^ _35321) ^ [] : [-(icext(_106164, 3407 ^ [_106164, _106166, _106168, _106630]))], (3414 ^ _35321) ^ [] : [-(iext(_106166, _106630, 3408 ^ [_106164, _106166, _106168, _106630]))], (3416 ^ _35321) ^ [] : [-(icext(_106164, 3408 ^ [_106164, _106166, _106168, _106630]))], (3418 ^ _35321) ^ [] : [3407 ^ [_106164, _106166, _106168, _106630] = 3408 ^ [_106164, _106166, _106168, _106630]], (3420 ^ _35321) ^ [_107527, _107529, _107531] : [-(_107527 = _107531), -(_107527 = _107529), iext(_106166, _106630, _107531), icext(_106164, _107531), iext(_106166, _106630, _107529), icext(_106164, _107529), iext(_106166, _106630, _107527), icext(_106164, _107527)]]]]], (3493 ^ _35321) ^ [_110383, _110385, _110387] : [iext(uri_owl_qualifiedCardinality, _110387, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _110387, _110385), iext(uri_owl_onClass, _110387, _110383), 3504 ^ _35321 : [(3572 ^ _35321) ^ [_113766] : [-(icext(_110387, _113766)), 3613 ^ _35321 : [(3614 ^ _35321) ^ [] : [-(iext(_110385, _113766, 3609 ^ [_110383, _110385, _110387, _113766]))], (3616 ^ _35321) ^ [] : [-(icext(_110383, 3609 ^ [_110383, _110385, _110387, _113766]))], (3618 ^ _35321) ^ [] : [-(iext(_110385, _113766, 3610 ^ [_110383, _110385, _110387, _113766]))], (3620 ^ _35321) ^ [] : [-(icext(_110383, 3610 ^ [_110383, _110385, _110387, _113766]))], (3622 ^ _35321) ^ [] : [-(iext(_110385, _113766, 3611 ^ [_110383, _110385, _110387, _113766]))], (3624 ^ _35321) ^ [] : [-(icext(_110383, 3611 ^ [_110383, _110385, _110387, _113766]))], (3626 ^ _35321) ^ [] : [-(iext(_110385, _113766, 3612 ^ [_110383, _110385, _110387, _113766]))], (3628 ^ _35321) ^ [] : [-(icext(_110383, 3612 ^ [_110383, _110385, _110387, _113766]))], (3630 ^ _35321) ^ [] : [3612 ^ [_110383, _110385, _110387, _113766] = 3609 ^ [_110383, _110385, _110387, _113766]], (3632 ^ _35321) ^ [] : [3612 ^ [_110383, _110385, _110387, _113766] = 3610 ^ [_110383, _110385, _110387, _113766]], (3634 ^ _35321) ^ [] : [3612 ^ [_110383, _110385, _110387, _113766] = 3611 ^ [_110383, _110385, _110387, _113766]]], 3575 ^ _35321 : [(3576 ^ _35321) ^ [_114085, _114087, _114089] : [iext(_110385, _113766, _114089), icext(_110383, _114089), iext(_110385, _113766, _114087), icext(_110383, _114087), iext(_110385, _113766, _114085), icext(_110383, _114085), -(_114089 = _114087), -(_114089 = _114085), -(_114087 = _114085)]]], (3505 ^ _35321) ^ [_110907] : [icext(_110387, _110907), 3511 ^ _35321 : [(3512 ^ _35321) ^ [] : [-(iext(_110385, _110907, 3508 ^ [_110383, _110385, _110387, _110907]))], (3514 ^ _35321) ^ [] : [-(icext(_110383, 3508 ^ [_110383, _110385, _110387, _110907]))], (3516 ^ _35321) ^ [] : [-(iext(_110385, _110907, 3509 ^ [_110383, _110385, _110387, _110907]))], (3518 ^ _35321) ^ [] : [-(icext(_110383, 3509 ^ [_110383, _110385, _110387, _110907]))], (3520 ^ _35321) ^ [] : [-(iext(_110385, _110907, 3510 ^ [_110383, _110385, _110387, _110907]))], (3522 ^ _35321) ^ [] : [-(icext(_110383, 3510 ^ [_110383, _110385, _110387, _110907]))], (3524 ^ _35321) ^ [] : [3508 ^ [_110383, _110385, _110387, _110907] = 3509 ^ [_110383, _110385, _110387, _110907]], (3526 ^ _35321) ^ [] : [3508 ^ [_110383, _110385, _110387, _110907] = 3510 ^ [_110383, _110385, _110387, _110907]], (3528 ^ _35321) ^ [] : [3509 ^ [_110383, _110385, _110387, _110907] = 3510 ^ [_110383, _110385, _110387, _110907]], (3530 ^ _35321) ^ [_112506, _112508, _112510, _112512] : [-(_112506 = _112512), -(_112506 = _112510), -(_112506 = _112508), iext(_110385, _110907, _112512), icext(_110383, _112512), iext(_110385, _110907, _112510), icext(_110383, _112510), iext(_110385, _110907, _112508), icext(_110383, _112508), iext(_110385, _110907, _112506), icext(_110383, _112506)]]]]], (3638 ^ _35321) ^ [_116830, _116832, _116834] : [iext(uri_owl_hasSelf, _116834, _116830), iext(uri_owl_onProperty, _116834, _116832), 3645 ^ _35321 : [(3646 ^ _35321) ^ [_117098] : [icext(_116834, _117098), -(iext(_116832, _117098, _117098))], (3652 ^ _35321) ^ [_117280] : [iext(_116832, _117280, _117280), -(icext(_116834, _117280))]]], (3658 ^ _35321) ^ [_117533, _117535, _117537] : [iext(uri_owl_hasValue, _117537, _117533), iext(uri_owl_onProperty, _117537, _117535), 3665 ^ _35321 : [(3666 ^ _35321) ^ [_117801] : [icext(_117537, _117801), -(iext(_117535, _117801, _117533))], (3672 ^ _35321) ^ [_117983] : [iext(_117535, _117983, _117533), -(icext(_117537, _117983))]]], (3678 ^ _35321) ^ [_118222, _118224] : [iext(uri_owl_maxCardinality, _118224, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118224, _118222), 3685 ^ _35321 : [(3686 ^ _35321) ^ [_118489] : [icext(_118224, _118489), 3689 ^ _35321 : [(3690 ^ _35321) ^ [_118615] : [iext(_118222, _118489, _118615)]]], (3692 ^ _35321) ^ [_118686] : [-(iext(_118222, _118686, 3693 ^ [_118222, _118224, _118686])), -(icext(_118224, _118686))]]], (3699 ^ _35321) ^ [_118984, _118986] : [iext(uri_owl_maxCardinality, _118986, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _118986, _118984), 3706 ^ _35321 : [(3721 ^ _35321) ^ [_119735] : [3724 ^ _35321 : [(3725 ^ _35321) ^ [] : [-(iext(_118984, _119735, 3722 ^ [_118984, _118986, _119735]))], (3727 ^ _35321) ^ [] : [-(iext(_118984, _119735, 3723 ^ [_118984, _118986, _119735]))], (3729 ^ _35321) ^ [] : [3723 ^ [_118984, _118986, _119735] = 3722 ^ [_118984, _118986, _119735]]], -(icext(_118986, _119735))], (3707 ^ _35321) ^ [_119267] : [icext(_118986, _119267), 3710 ^ _35321 : [(3711 ^ _35321) ^ [_119439, _119441] : [-(_119439 = _119441), iext(_118984, _119267, _119441), iext(_118984, _119267, _119439)]]]]], (3733 ^ _35321) ^ [_120318, _120320] : [iext(uri_owl_maxCardinality, _120320, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _120320, _120318), 3740 ^ _35321 : [(3763 ^ _35321) ^ [_121344] : [3767 ^ _35321 : [(3768 ^ _35321) ^ [] : [-(iext(_120318, _121344, 3764 ^ [_120318, _120320, _121344]))], (3770 ^ _35321) ^ [] : [-(iext(_120318, _121344, 3765 ^ [_120318, _120320, _121344]))], (3772 ^ _35321) ^ [] : [-(iext(_120318, _121344, 3766 ^ [_120318, _120320, _121344]))], (3774 ^ _35321) ^ [] : [3766 ^ [_120318, _120320, _121344] = 3764 ^ [_120318, _120320, _121344]], (3776 ^ _35321) ^ [] : [3766 ^ [_120318, _120320, _121344] = 3765 ^ [_120318, _120320, _121344]]], -(icext(_120320, _121344))], (3741 ^ _35321) ^ [_120619] : [icext(_120320, _120619), 3744 ^ _35321 : [(3745 ^ _35321) ^ [_120823, _120825, _120827] : [-(_120823 = _120827), -(_120823 = _120825), iext(_120318, _120619, _120827), iext(_120318, _120619, _120825), iext(_120318, _120619, _120823)]]]]], (3780 ^ _35321) ^ [_122262, _122264] : [iext(uri_owl_maxCardinality, _122264, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _122264, _122262), 3787 ^ _35321 : [(3818 ^ _35321) ^ [_123579] : [3823 ^ _35321 : [(3824 ^ _35321) ^ [] : [-(iext(_122262, _123579, 3819 ^ [_122262, _122264, _123579]))], (3826 ^ _35321) ^ [] : [-(iext(_122262, _123579, 3820 ^ [_122262, _122264, _123579]))], (3828 ^ _35321) ^ [] : [-(iext(_122262, _123579, 3821 ^ [_122262, _122264, _123579]))], (3830 ^ _35321) ^ [] : [-(iext(_122262, _123579, 3822 ^ [_122262, _122264, _123579]))], (3832 ^ _35321) ^ [] : [3822 ^ [_122262, _122264, _123579] = 3819 ^ [_122262, _122264, _123579]], (3834 ^ _35321) ^ [] : [3822 ^ [_122262, _122264, _123579] = 3820 ^ [_122262, _122264, _123579]], (3836 ^ _35321) ^ [] : [3822 ^ [_122262, _122264, _123579] = 3821 ^ [_122262, _122264, _123579]]], -(icext(_122264, _123579))], (3788 ^ _35321) ^ [_122581] : [icext(_122264, _122581), 3791 ^ _35321 : [(3792 ^ _35321) ^ [_122817, _122819, _122821, _122823] : [-(_122817 = _122823), -(_122817 = _122821), -(_122817 = _122819), iext(_122262, _122581, _122823), iext(_122262, _122581, _122821), iext(_122262, _122581, _122819), iext(_122262, _122581, _122817)]]]]], (3840 ^ _35321) ^ [_124895, _124897, _124899] : [iext(uri_owl_maxQualifiedCardinality, _124899, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _124899, _124897), iext(uri_owl_onDataRange, _124899, _124895), 3851 ^ _35321 : [(3852 ^ _35321) ^ [] : [-(iodp(_124897))], (3868 ^ _35321) ^ [_125800] : [3870 ^ _35321 : [(3871 ^ _35321) ^ [] : [-(lv(3869 ^ [_124895, _124897, _124899, _125800]))], (3873 ^ _35321) ^ [] : [-(iext(_124897, _125800, 3869 ^ [_124895, _124897, _124899, _125800]))], (3875 ^ _35321) ^ [] : [-(icext(_124895, 3869 ^ [_124895, _124897, _124899, _125800]))]], -(icext(_124899, _125800))], (3854 ^ _35321) ^ [_125348] : [icext(_124899, _125348), 3857 ^ _35321 : [(3858 ^ _35321) ^ [_125507] : [lv(_125507), iext(_124897, _125348, _125507), icext(_124895, _125507)]]]]], (3879 ^ _35321) ^ [_126318, _126320, _126322] : [iext(uri_owl_maxQualifiedCardinality, _126322, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _126322, _126320), iext(uri_owl_onDataRange, _126322, _126318), 3890 ^ _35321 : [(3891 ^ _35321) ^ [] : [-(iodp(_126320))], (3923 ^ _35321) ^ [_127722] : [3926 ^ _35321 : [(3927 ^ _35321) ^ [] : [-(lv(3924 ^ [_126318, _126320, _126322, _127722]))], (3929 ^ _35321) ^ [] : [-(iext(_126320, _127722, 3924 ^ [_126318, _126320, _126322, _127722]))], (3931 ^ _35321) ^ [] : [-(icext(_126318, 3924 ^ [_126318, _126320, _126322, _127722]))], (3933 ^ _35321) ^ [] : [-(lv(3925 ^ [_126318, _126320, _126322, _127722]))], (3935 ^ _35321) ^ [] : [-(iext(_126320, _127722, 3925 ^ [_126318, _126320, _126322, _127722]))], (3937 ^ _35321) ^ [] : [-(icext(_126318, 3925 ^ [_126318, _126320, _126322, _127722]))], (3939 ^ _35321) ^ [] : [3925 ^ [_126318, _126320, _126322, _127722] = 3924 ^ [_126318, _126320, _126322, _127722]]], -(icext(_126322, _127722))], (3893 ^ _35321) ^ [_126798] : [icext(_126322, _126798), 3896 ^ _35321 : [(3897 ^ _35321) ^ [_126998, _127000] : [-(_126998 = _127000), lv(_127000), iext(_126320, _126798, _127000), icext(_126318, _127000), lv(_126998), iext(_126320, _126798, _126998), icext(_126318, _126998)]]]]], (3943 ^ _35321) ^ [_128781, _128783, _128785] : [iext(uri_owl_maxQualifiedCardinality, _128785, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _128785, _128783), iext(uri_owl_onDataRange, _128785, _128781), 3954 ^ _35321 : [(3955 ^ _35321) ^ [] : [-(iodp(_128783))], (4003 ^ _35321) ^ [_130722] : [4007 ^ _35321 : [(4008 ^ _35321) ^ [] : [-(lv(4004 ^ [_128781, _128783, _128785, _130722]))], (4010 ^ _35321) ^ [] : [-(iext(_128783, _130722, 4004 ^ [_128781, _128783, _128785, _130722]))], (4012 ^ _35321) ^ [] : [-(icext(_128781, 4004 ^ [_128781, _128783, _128785, _130722]))], (4014 ^ _35321) ^ [] : [-(lv(4005 ^ [_128781, _128783, _128785, _130722]))], (4016 ^ _35321) ^ [] : [-(iext(_128783, _130722, 4005 ^ [_128781, _128783, _128785, _130722]))], (4018 ^ _35321) ^ [] : [-(icext(_128781, 4005 ^ [_128781, _128783, _128785, _130722]))], (4020 ^ _35321) ^ [] : [-(lv(4006 ^ [_128781, _128783, _128785, _130722]))], (4022 ^ _35321) ^ [] : [-(iext(_128783, _130722, 4006 ^ [_128781, _128783, _128785, _130722]))], (4024 ^ _35321) ^ [] : [-(icext(_128781, 4006 ^ [_128781, _128783, _128785, _130722]))], (4026 ^ _35321) ^ [] : [4006 ^ [_128781, _128783, _128785, _130722] = 4004 ^ [_128781, _128783, _128785, _130722]], (4028 ^ _35321) ^ [] : [4006 ^ [_128781, _128783, _128785, _130722] = 4005 ^ [_128781, _128783, _128785, _130722]]], -(icext(_128785, _130722))], (3957 ^ _35321) ^ [_129290] : [icext(_128785, _129290), 3960 ^ _35321 : [(3961 ^ _35321) ^ [_129533, _129535, _129537] : [-(_129533 = _129537), -(_129533 = _129535), lv(_129537), iext(_128783, _129290, _129537), icext(_128781, _129537), lv(_129535), iext(_128783, _129290, _129535), icext(_128781, _129535), lv(_129533), iext(_128783, _129290, _129533), icext(_128781, _129533)]]]]], (4032 ^ _35321) ^ [_132417, _132419, _132421] : [iext(uri_owl_maxQualifiedCardinality, _132421, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _132421, _132419), iext(uri_owl_onDataRange, _132421, _132417), 4043 ^ _35321 : [(4044 ^ _35321) ^ [] : [-(iodp(_132419))], (4108 ^ _35321) ^ [_134927] : [4113 ^ _35321 : [(4114 ^ _35321) ^ [] : [-(lv(4109 ^ [_132417, _132419, _132421, _134927]))], (4116 ^ _35321) ^ [] : [-(iext(_132419, _134927, 4109 ^ [_132417, _132419, _132421, _134927]))], (4118 ^ _35321) ^ [] : [-(icext(_132417, 4109 ^ [_132417, _132419, _132421, _134927]))], (4120 ^ _35321) ^ [] : [-(lv(4110 ^ [_132417, _132419, _132421, _134927]))], (4122 ^ _35321) ^ [] : [-(iext(_132419, _134927, 4110 ^ [_132417, _132419, _132421, _134927]))], (4124 ^ _35321) ^ [] : [-(icext(_132417, 4110 ^ [_132417, _132419, _132421, _134927]))], (4126 ^ _35321) ^ [] : [-(lv(4111 ^ [_132417, _132419, _132421, _134927]))], (4128 ^ _35321) ^ [] : [-(iext(_132419, _134927, 4111 ^ [_132417, _132419, _132421, _134927]))], (4130 ^ _35321) ^ [] : [-(icext(_132417, 4111 ^ [_132417, _132419, _132421, _134927]))], (4132 ^ _35321) ^ [] : [-(lv(4112 ^ [_132417, _132419, _132421, _134927]))], (4134 ^ _35321) ^ [] : [-(iext(_132419, _134927, 4112 ^ [_132417, _132419, _132421, _134927]))], (4136 ^ _35321) ^ [] : [-(icext(_132417, 4112 ^ [_132417, _132419, _132421, _134927]))], (4138 ^ _35321) ^ [] : [4112 ^ [_132417, _132419, _132421, _134927] = 4109 ^ [_132417, _132419, _132421, _134927]], (4140 ^ _35321) ^ [] : [4112 ^ [_132417, _132419, _132421, _134927] = 4110 ^ [_132417, _132419, _132421, _134927]], (4142 ^ _35321) ^ [] : [4112 ^ [_132417, _132419, _132421, _134927] = 4111 ^ [_132417, _132419, _132421, _134927]]], -(icext(_132421, _134927))], (4046 ^ _35321) ^ [_132955] : [icext(_132421, _132955), 4049 ^ _35321 : [(4050 ^ _35321) ^ [_133241, _133243, _133245, _133247] : [-(_133241 = _133247), -(_133241 = _133245), -(_133241 = _133243), lv(_133247), iext(_132419, _132955, _133247), icext(_132417, _133247), lv(_133245), iext(_132419, _132955, _133245), icext(_132417, _133245), lv(_133243), iext(_132419, _132955, _133243), icext(_132417, _133243), lv(_133241), iext(_132419, _132955, _133241), icext(_132417, _133241)]]]]], (4146 ^ _35321) ^ [_137355, _137357, _137359] : [iext(uri_owl_maxQualifiedCardinality, _137359, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137359, _137357), iext(uri_owl_onClass, _137359, _137355), 4157 ^ _35321 : [(4168 ^ _35321) ^ [_138079] : [4170 ^ _35321 : [(4171 ^ _35321) ^ [] : [-(iext(_137357, _138079, 4169 ^ [_137355, _137357, _137359, _138079]))], (4173 ^ _35321) ^ [] : [-(icext(_137355, 4169 ^ [_137355, _137357, _137359, _138079]))]], -(icext(_137359, _138079))], (4158 ^ _35321) ^ [_137731] : [icext(_137359, _137731), 4161 ^ _35321 : [(4162 ^ _35321) ^ [_137885] : [iext(_137357, _137731, _137885), icext(_137355, _137885)]]]]], (4177 ^ _35321) ^ [_138503, _138505, _138507] : [iext(uri_owl_maxQualifiedCardinality, _138507, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _138507, _138505), iext(uri_owl_onClass, _138507, _138503), 4188 ^ _35321 : [(4211 ^ _35321) ^ [_139609] : [4214 ^ _35321 : [(4215 ^ _35321) ^ [] : [-(iext(_138505, _139609, 4212 ^ [_138503, _138505, _138507, _139609]))], (4217 ^ _35321) ^ [] : [-(icext(_138503, 4212 ^ [_138503, _138505, _138507, _139609]))], (4219 ^ _35321) ^ [] : [-(iext(_138505, _139609, 4213 ^ [_138503, _138505, _138507, _139609]))], (4221 ^ _35321) ^ [] : [-(icext(_138503, 4213 ^ [_138503, _138505, _138507, _139609]))], (4223 ^ _35321) ^ [] : [4213 ^ [_138503, _138505, _138507, _139609] = 4212 ^ [_138503, _138505, _138507, _139609]]], -(icext(_138507, _139609))], (4189 ^ _35321) ^ [_138901] : [icext(_138507, _138901), 4192 ^ _35321 : [(4193 ^ _35321) ^ [_139091, _139093] : [-(_139091 = _139093), iext(_138505, _138901, _139093), icext(_138503, _139093), iext(_138505, _138901, _139091), icext(_138503, _139091)]]]]], (4227 ^ _35321) ^ [_140457, _140459, _140461] : [iext(uri_owl_maxQualifiedCardinality, _140461, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140461, _140459), iext(uri_owl_onClass, _140461, _140457), 4238 ^ _35321 : [(4273 ^ _35321) ^ [_141975] : [4277 ^ _35321 : [(4278 ^ _35321) ^ [] : [-(iext(_140459, _141975, 4274 ^ [_140457, _140459, _140461, _141975]))], (4280 ^ _35321) ^ [] : [-(icext(_140457, 4274 ^ [_140457, _140459, _140461, _141975]))], (4282 ^ _35321) ^ [] : [-(iext(_140459, _141975, 4275 ^ [_140457, _140459, _140461, _141975]))], (4284 ^ _35321) ^ [] : [-(icext(_140457, 4275 ^ [_140457, _140459, _140461, _141975]))], (4286 ^ _35321) ^ [] : [-(iext(_140459, _141975, 4276 ^ [_140457, _140459, _140461, _141975]))], (4288 ^ _35321) ^ [] : [-(icext(_140457, 4276 ^ [_140457, _140459, _140461, _141975]))], (4290 ^ _35321) ^ [] : [4276 ^ [_140457, _140459, _140461, _141975] = 4274 ^ [_140457, _140459, _140461, _141975]], (4292 ^ _35321) ^ [] : [4276 ^ [_140457, _140459, _140461, _141975] = 4275 ^ [_140457, _140459, _140461, _141975]]], -(icext(_140461, _141975))], (4239 ^ _35321) ^ [_140879] : [icext(_140461, _140879), 4242 ^ _35321 : [(4243 ^ _35321) ^ [_141107, _141109, _141111] : [-(_141107 = _141111), -(_141107 = _141109), iext(_140459, _140879, _141111), icext(_140457, _141111), iext(_140459, _140879, _141109), icext(_140457, _141109), iext(_140459, _140879, _141107), icext(_140457, _141107)]]]]], (4296 ^ _35321) ^ [_143323, _143325, _143327] : [iext(uri_owl_maxQualifiedCardinality, _143327, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _143327, _143325), iext(uri_owl_onClass, _143327, _143323), 4307 ^ _35321 : [(4354 ^ _35321) ^ [_145277] : [4359 ^ _35321 : [(4360 ^ _35321) ^ [] : [-(iext(_143325, _145277, 4355 ^ [_143323, _143325, _143327, _145277]))], (4362 ^ _35321) ^ [] : [-(icext(_143323, 4355 ^ [_143323, _143325, _143327, _145277]))], (4364 ^ _35321) ^ [] : [-(iext(_143325, _145277, 4356 ^ [_143323, _143325, _143327, _145277]))], (4366 ^ _35321) ^ [] : [-(icext(_143323, 4356 ^ [_143323, _143325, _143327, _145277]))], (4368 ^ _35321) ^ [] : [-(iext(_143325, _145277, 4357 ^ [_143323, _143325, _143327, _145277]))], (4370 ^ _35321) ^ [] : [-(icext(_143323, 4357 ^ [_143323, _143325, _143327, _145277]))], (4372 ^ _35321) ^ [] : [-(iext(_143325, _145277, 4358 ^ [_143323, _143325, _143327, _145277]))], (4374 ^ _35321) ^ [] : [-(icext(_143323, 4358 ^ [_143323, _143325, _143327, _145277]))], (4376 ^ _35321) ^ [] : [4358 ^ [_143323, _143325, _143327, _145277] = 4355 ^ [_143323, _143325, _143327, _145277]], (4378 ^ _35321) ^ [] : [4358 ^ [_143323, _143325, _143327, _145277] = 4356 ^ [_143323, _143325, _143327, _145277]], (4380 ^ _35321) ^ [] : [4358 ^ [_143323, _143325, _143327, _145277] = 4357 ^ [_143323, _143325, _143327, _145277]]], -(icext(_143327, _145277))], (4308 ^ _35321) ^ [_143769] : [icext(_143327, _143769), 4311 ^ _35321 : [(4312 ^ _35321) ^ [_144035, _144037, _144039, _144041] : [-(_144035 = _144041), -(_144035 = _144039), -(_144035 = _144037), iext(_143325, _143769, _144041), icext(_143323, _144041), iext(_143325, _143769, _144039), icext(_143323, _144039), iext(_143325, _143769, _144037), icext(_143323, _144037), iext(_143325, _143769, _144035), icext(_143323, _144035)]]]]], (4384 ^ _35321) ^ [_147187, _147189] : [4391 ^ _35321 : [(4392 ^ _35321) ^ [_147396] : [-(icext(_147189, _147396))]], iext(uri_owl_minCardinality, _147189, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147189, _147187)], (4394 ^ _35321) ^ [_147512, _147514] : [iext(uri_owl_minCardinality, _147514, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147514, _147512), 4401 ^ _35321 : [(4402 ^ _35321) ^ [_147777] : [icext(_147514, _147777), -(iext(_147512, _147777, 4405 ^ [_147512, _147514, _147777]))], (4409 ^ _35321) ^ [_148015] : [4410 ^ _35321 : [(4411 ^ _35321) ^ [_148092] : [iext(_147512, _148015, _148092)]], -(icext(_147514, _148015))]]], (4415 ^ _35321) ^ [_148268, _148270] : [iext(uri_owl_minCardinality, _148270, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148270, _148268), 4422 ^ _35321 : [(4423 ^ _35321) ^ [_148553] : [icext(_148270, _148553), 4428 ^ _35321 : [(4429 ^ _35321) ^ [] : [-(iext(_148268, _148553, 4426 ^ [_148268, _148270, _148553]))], (4431 ^ _35321) ^ [] : [-(iext(_148268, _148553, 4427 ^ [_148268, _148270, _148553]))], (4433 ^ _35321) ^ [] : [4426 ^ [_148268, _148270, _148553] = 4427 ^ [_148268, _148270, _148553]]]], (4435 ^ _35321) ^ [_149082] : [-(icext(_148270, _149082)), 4436 ^ _35321 : [(4437 ^ _35321) ^ [_149209, _149211] : [iext(_148268, _149082, _149211), iext(_148268, _149082, _149209), -(_149211 = _149209)]]]]], (4449 ^ _35321) ^ [_149612, _149614] : [iext(uri_owl_minCardinality, _149614, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149614, _149612), 4456 ^ _35321 : [(4457 ^ _35321) ^ [_149925] : [icext(_149614, _149925), 4463 ^ _35321 : [(4464 ^ _35321) ^ [] : [-(iext(_149612, _149925, 4460 ^ [_149612, _149614, _149925]))], (4466 ^ _35321) ^ [] : [-(iext(_149612, _149925, 4461 ^ [_149612, _149614, _149925]))], (4468 ^ _35321) ^ [] : [-(iext(_149612, _149925, 4462 ^ [_149612, _149614, _149925]))], (4470 ^ _35321) ^ [] : [4460 ^ [_149612, _149614, _149925] = 4461 ^ [_149612, _149614, _149925]], (4472 ^ _35321) ^ [] : [4460 ^ [_149612, _149614, _149925] = 4462 ^ [_149612, _149614, _149925]], (4474 ^ _35321) ^ [] : [4461 ^ [_149612, _149614, _149925] = 4462 ^ [_149612, _149614, _149925]]]], (4476 ^ _35321) ^ [_150943] : [-(icext(_149614, _150943)), 4477 ^ _35321 : [(4478 ^ _35321) ^ [_151112, _151114, _151116] : [iext(_149612, _150943, _151116), iext(_149612, _150943, _151114), iext(_149612, _150943, _151112), -(_151116 = _151114), -(_151116 = _151112), -(_151114 = _151112)]]]]], (4502 ^ _35321) ^ [_151862, _151864, _151866] : [4513 ^ _35321 : [(4514 ^ _35321) ^ [] : [-(iodp(_151864))], (4516 ^ _35321) ^ [_152246] : [-(icext(_151866, _152246))]], iext(uri_owl_minQualifiedCardinality, _151866, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151866, _151864), iext(uri_owl_onDataRange, _151866, _151862)], (4518 ^ _35321) ^ [_152380, _152382, _152384] : [iext(uri_owl_minQualifiedCardinality, _152384, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _152384, _152382), iext(uri_owl_onDataRange, _152384, _152380), 4529 ^ _35321 : [(4530 ^ _35321) ^ [] : [-(iodp(_152382))], (4532 ^ _35321) ^ [_152831] : [icext(_152384, _152831), 4536 ^ _35321 : [(4537 ^ _35321) ^ [] : [-(lv(4535 ^ [_152380, _152382, _152384, _152831]))], (4539 ^ _35321) ^ [] : [-(iext(_152382, _152831, 4535 ^ [_152380, _152382, _152384, _152831]))], (4541 ^ _35321) ^ [] : [-(icext(_152380, 4535 ^ [_152380, _152382, _152384, _152831]))]]], (4543 ^ _35321) ^ [_153271] : [-(icext(_152384, _153271)), 4544 ^ _35321 : [(4545 ^ _35321) ^ [_153379] : [lv(_153379), iext(_152382, _153271, _153379), icext(_152380, _153379)]]]]], (4557 ^ _35321) ^ [_153797, _153799, _153801] : [iext(uri_owl_minQualifiedCardinality, _153801, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _153801, _153799), iext(uri_owl_onDataRange, _153801, _153797), 4568 ^ _35321 : [(4569 ^ _35321) ^ [] : [-(iodp(_153799))], (4571 ^ _35321) ^ [_154279] : [icext(_153801, _154279), 4576 ^ _35321 : [(4577 ^ _35321) ^ [] : [-(lv(4574 ^ [_153797, _153799, _153801, _154279]))], (4579 ^ _35321) ^ [] : [-(iext(_153799, _154279, 4574 ^ [_153797, _153799, _153801, _154279]))], (4581 ^ _35321) ^ [] : [-(icext(_153797, 4574 ^ [_153797, _153799, _153801, _154279]))], (4583 ^ _35321) ^ [] : [-(lv(4575 ^ [_153797, _153799, _153801, _154279]))], (4585 ^ _35321) ^ [] : [-(iext(_153799, _154279, 4575 ^ [_153797, _153799, _153801, _154279]))], (4587 ^ _35321) ^ [] : [-(icext(_153797, 4575 ^ [_153797, _153799, _153801, _154279]))], (4589 ^ _35321) ^ [] : [4574 ^ [_153797, _153799, _153801, _154279] = 4575 ^ [_153797, _153799, _153801, _154279]]]], (4591 ^ _35321) ^ [_155258] : [-(icext(_153801, _155258)), 4592 ^ _35321 : [(4593 ^ _35321) ^ [_155411, _155413] : [lv(_155413), iext(_153799, _155258, _155413), icext(_153797, _155413), lv(_155411), iext(_153799, _155258, _155411), icext(_153797, _155411), -(_155413 = _155411)]]]]], (4621 ^ _35321) ^ [_156262, _156264, _156266] : [iext(uri_owl_minQualifiedCardinality, _156266, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _156266, _156264), iext(uri_owl_onDataRange, _156266, _156262), 4632 ^ _35321 : [(4633 ^ _35321) ^ [] : [-(iodp(_156264))], (4635 ^ _35321) ^ [_156783] : [icext(_156266, _156783), 4641 ^ _35321 : [(4642 ^ _35321) ^ [] : [-(lv(4638 ^ [_156262, _156264, _156266, _156783]))], (4644 ^ _35321) ^ [] : [-(iext(_156264, _156783, 4638 ^ [_156262, _156264, _156266, _156783]))], (4646 ^ _35321) ^ [] : [-(icext(_156262, 4638 ^ [_156262, _156264, _156266, _156783]))], (4648 ^ _35321) ^ [] : [-(lv(4639 ^ [_156262, _156264, _156266, _156783]))], (4650 ^ _35321) ^ [] : [-(iext(_156264, _156783, 4639 ^ [_156262, _156264, _156266, _156783]))], (4652 ^ _35321) ^ [] : [-(icext(_156262, 4639 ^ [_156262, _156264, _156266, _156783]))], (4654 ^ _35321) ^ [] : [-(lv(4640 ^ [_156262, _156264, _156266, _156783]))], (4656 ^ _35321) ^ [] : [-(iext(_156264, _156783, 4640 ^ [_156262, _156264, _156266, _156783]))], (4658 ^ _35321) ^ [] : [-(icext(_156262, 4640 ^ [_156262, _156264, _156266, _156783]))], (4660 ^ _35321) ^ [] : [4638 ^ [_156262, _156264, _156266, _156783] = 4639 ^ [_156262, _156264, _156266, _156783]], (4662 ^ _35321) ^ [] : [4638 ^ [_156262, _156264, _156266, _156783] = 4640 ^ [_156262, _156264, _156266, _156783]], (4664 ^ _35321) ^ [] : [4639 ^ [_156262, _156264, _156266, _156783] = 4640 ^ [_156262, _156264, _156266, _156783]]]], (4666 ^ _35321) ^ [_158560] : [-(icext(_156266, _158560)), 4667 ^ _35321 : [(4668 ^ _35321) ^ [_158766, _158768, _158770] : [lv(_158770), iext(_156264, _158560, _158770), icext(_156262, _158770), lv(_158768), iext(_156264, _158560, _158768), icext(_156262, _158768), lv(_158766), iext(_156264, _158560, _158766), icext(_156262, _158766), -(_158770 = _158768), -(_158770 = _158766), -(_158768 = _158766)]]]]], (4716 ^ _35321) ^ [_160194, _160196, _160198] : [4727 ^ _35321 : [(4728 ^ _35321) ^ [_160506] : [-(icext(_160198, _160506))]], iext(uri_owl_minQualifiedCardinality, _160198, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _160198, _160196), iext(uri_owl_onClass, _160198, _160194)], (4730 ^ _35321) ^ [_160638, _160640, _160642] : [iext(uri_owl_minQualifiedCardinality, _160642, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _160642, _160640), iext(uri_owl_onClass, _160642, _160638), 4741 ^ _35321 : [(4742 ^ _35321) ^ [_161012] : [icext(_160642, _161012), 4746 ^ _35321 : [(4747 ^ _35321) ^ [] : [-(iext(_160640, _161012, 4745 ^ [_160638, _160640, _160642, _161012]))], (4749 ^ _35321) ^ [] : [-(icext(_160638, 4745 ^ [_160638, _160640, _160642, _161012]))]]], (4751 ^ _35321) ^ [_161360] : [-(icext(_160642, _161360)), 4752 ^ _35321 : [(4753 ^ _35321) ^ [_161463] : [iext(_160640, _161360, _161463), icext(_160638, _161463)]]]]], (4761 ^ _35321) ^ [_161780, _161782, _161784] : [iext(uri_owl_minQualifiedCardinality, _161784, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _161784, _161782), iext(uri_owl_onClass, _161784, _161780), 4772 ^ _35321 : [(4773 ^ _35321) ^ [_162180] : [icext(_161784, _162180), 4778 ^ _35321 : [(4779 ^ _35321) ^ [] : [-(iext(_161782, _162180, 4776 ^ [_161780, _161782, _161784, _162180]))], (4781 ^ _35321) ^ [] : [-(icext(_161780, 4776 ^ [_161780, _161782, _161784, _162180]))], (4783 ^ _35321) ^ [] : [-(iext(_161782, _162180, 4777 ^ [_161780, _161782, _161784, _162180]))], (4785 ^ _35321) ^ [] : [-(icext(_161780, 4777 ^ [_161780, _161782, _161784, _162180]))], (4787 ^ _35321) ^ [] : [4776 ^ [_161780, _161782, _161784, _162180] = 4777 ^ [_161780, _161782, _161784, _162180]]]], (4789 ^ _35321) ^ [_162954] : [-(icext(_161784, _162954)), 4790 ^ _35321 : [(4791 ^ _35321) ^ [_163097, _163099] : [iext(_161782, _162954, _163099), icext(_161780, _163099), iext(_161782, _162954, _163097), icext(_161780, _163097), -(_163099 = _163097)]]]]], (4811 ^ _35321) ^ [_163740, _163742, _163744] : [iext(uri_owl_minQualifiedCardinality, _163744, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _163744, _163742), iext(uri_owl_onClass, _163744, _163740), 4822 ^ _35321 : [(4823 ^ _35321) ^ [_164174] : [icext(_163744, _164174), 4829 ^ _35321 : [(4830 ^ _35321) ^ [] : [-(iext(_163742, _164174, 4826 ^ [_163740, _163742, _163744, _164174]))], (4832 ^ _35321) ^ [] : [-(icext(_163740, 4826 ^ [_163740, _163742, _163744, _164174]))], (4834 ^ _35321) ^ [] : [-(iext(_163742, _164174, 4827 ^ [_163740, _163742, _163744, _164174]))], (4836 ^ _35321) ^ [] : [-(icext(_163740, 4827 ^ [_163740, _163742, _163744, _164174]))], (4838 ^ _35321) ^ [] : [-(iext(_163742, _164174, 4828 ^ [_163740, _163742, _163744, _164174]))], (4840 ^ _35321) ^ [] : [-(icext(_163740, 4828 ^ [_163740, _163742, _163744, _164174]))], (4842 ^ _35321) ^ [] : [4826 ^ [_163740, _163742, _163744, _164174] = 4827 ^ [_163740, _163742, _163744, _164174]], (4844 ^ _35321) ^ [] : [4826 ^ [_163740, _163742, _163744, _164174] = 4828 ^ [_163740, _163742, _163744, _164174]], (4846 ^ _35321) ^ [] : [4827 ^ [_163740, _163742, _163744, _164174] = 4828 ^ [_163740, _163742, _163744, _164174]]]], (4848 ^ _35321) ^ [_165612] : [-(icext(_163744, _165612)), 4849 ^ _35321 : [(4850 ^ _35321) ^ [_165803, _165805, _165807] : [iext(_163742, _165612, _165807), icext(_163740, _165807), iext(_163742, _165612, _165805), icext(_163740, _165805), iext(_163742, _165612, _165803), icext(_163740, _165803), -(_165807 = _165805), -(_165807 = _165803), -(_165805 = _165803)]]]]], (4886 ^ _35321) ^ [_166908, _166910, _166912] : [iext(uri_owl_someValuesFrom, _166912, _166908), iext(uri_owl_onProperty, _166912, _166910), 4893 ^ _35321 : [(4894 ^ _35321) ^ [_167187] : [icext(_166912, _167187), 4898 ^ _35321 : [(4899 ^ _35321) ^ [] : [-(iext(_166910, _167187, 4897 ^ [_166908, _166910, _166912, _167187]))], (4901 ^ _35321) ^ [] : [-(icext(_166908, 4897 ^ [_166908, _166910, _166912, _167187]))]]], (4903 ^ _35321) ^ [_167535] : [-(icext(_166912, _167535)), 4904 ^ _35321 : [(4905 ^ _35321) ^ [_167638] : [iext(_166910, _167535, _167638), icext(_166908, _167638)]]]]], (4913 ^ _35321) ^ [_167968, _167970] : [iext(uri_rdfs_domain, _167970, _167968), 4916 ^ _35321 : [(4917 ^ _35321) ^ [] : [-(ip(_167970))], (4919 ^ _35321) ^ [] : [-(ic(_167968))], (4921 ^ _35321) ^ [_168267, _168269] : [iext(_167970, _168269, _168267), -(icext(_167968, _168269))]]], (4927 ^ _35321) ^ [_168456, _168458] : [-(iext(uri_rdfs_domain, _168458, _168456)), ip(_168458), ic(_168456), 4938 ^ _35321 : [(4939 ^ _35321) ^ [] : [-(iext(_168458, 4936 ^ [_168456, _168458], 4937 ^ [_168456, _168458]))], (4941 ^ _35321) ^ [] : [icext(_168456, 4936 ^ [_168456, _168458])]]], (4945 ^ _35321) ^ [_169104, _169106] : [iext(uri_rdfs_range, _169106, _169104), 4948 ^ _35321 : [(4949 ^ _35321) ^ [] : [-(ip(_169106))], (4951 ^ _35321) ^ [] : [-(ip(_169104))], (4953 ^ _35321) ^ [_169403, _169405] : [iext(_169106, _169405, _169403), -(icext(_169104, _169403))]]], (4959 ^ _35321) ^ [_169592, _169594] : [-(iext(uri_rdfs_range, _169594, _169592)), ip(_169594), ip(_169592), 4970 ^ _35321 : [(4971 ^ _35321) ^ [] : [-(iext(_169594, 4968 ^ [_169592, _169594], 4969 ^ [_169592, _169594]))], (4973 ^ _35321) ^ [] : [icext(_169592, 4969 ^ [_169592, _169594])]]], (4977 ^ _35321) ^ [_170233, _170235] : [iext(uri_rdfs_subClassOf, _170235, _170233), 4980 ^ _35321 : [(4981 ^ _35321) ^ [] : [-(ic(_170235))], (4983 ^ _35321) ^ [] : [-(ic(_170233))], (4985 ^ _35321) ^ [_170512] : [icext(_170235, _170512), -(icext(_170233, _170512))]]], (4991 ^ _35321) ^ [_170693, _170695] : [-(iext(uri_rdfs_subClassOf, _170695, _170693)), ic(_170695), ic(_170693), 5001 ^ _35321 : [(5002 ^ _35321) ^ [] : [-(icext(_170695, 5000 ^ [_170693, _170695]))], (5004 ^ _35321) ^ [] : [icext(_170693, 5000 ^ [_170693, _170695])]]], (5008 ^ _35321) ^ [_171255, _171257] : [iext(uri_rdfs_subPropertyOf, _171257, _171255), 5011 ^ _35321 : [(5012 ^ _35321) ^ [] : [-(ip(_171257))], (5014 ^ _35321) ^ [] : [-(ip(_171255))], (5016 ^ _35321) ^ [_171555, _171557] : [iext(_171257, _171557, _171555), -(iext(_171255, _171557, _171555))]]], (5022 ^ _35321) ^ [_171746, _171748] : [-(iext(uri_rdfs_subPropertyOf, _171748, _171746)), ip(_171748), ip(_171746), 5033 ^ _35321 : [(5034 ^ _35321) ^ [] : [-(iext(_171748, 5031 ^ [_171746, _171748], 5032 ^ [_171746, _171748]))], (5036 ^ _35321) ^ [] : [iext(_171746, 5031 ^ [_171746, _171748], 5032 ^ [_171746, _171748])]]], (5040 ^ _35321) ^ [_172405, _172407] : [iext(uri_owl_differentFrom, _172407, _172405), _172407 = _172405], (5046 ^ _35321) ^ [_172570, _172572] : [-(_172572 = _172570), -(iext(uri_owl_differentFrom, _172572, _172570))], (5052 ^ _35321) ^ [_172802] : [iext(uri_owl_disjointUnionOf, _172802, uri_rdf_nil), 5055 ^ _35321 : [(5056 ^ _35321) ^ [] : [-(ic(_172802))], (5058 ^ _35321) ^ [_172985] : [icext(_172802, _172985)]]], (5060 ^ _35321) ^ [_173053] : [-(iext(uri_owl_disjointUnionOf, _173053, uri_rdf_nil)), ic(_173053), -(icext(_173053, 5065 ^ [_173053]))], (5071 ^ _35321) ^ [_173414, _173416, _173418] : [iext(uri_rdf_first, _173416, _173414), iext(uri_rdf_rest, _173416, uri_rdf_nil), 5078 ^ _35321 : [(5079 ^ _35321) ^ [] : [iext(uri_owl_disjointUnionOf, _173418, _173416), 5082 ^ _35321 : [(5083 ^ _35321) ^ [] : [-(ic(_173418))], (5085 ^ _35321) ^ [] : [-(ic(_173414))], (5087 ^ _35321) ^ [_173945] : [icext(_173418, _173945), -(icext(_173414, _173945))], (5093 ^ _35321) ^ [_174125] : [icext(_173414, _174125), -(icext(_173418, _174125))]]], (5099 ^ _35321) ^ [] : [-(iext(uri_owl_disjointUnionOf, _173418, _173416)), ic(_173418), ic(_173414), 5111 ^ _35321 : [(5112 ^ _35321) ^ [] : [-(icext(_173418, 5108 ^ [_173414, _173416, _173418]))], (5114 ^ _35321) ^ [] : [icext(_173414, 5108 ^ [_173414, _173416, _173418])]], 5115 ^ _35321 : [(5116 ^ _35321) ^ [] : [-(icext(_173414, 5108 ^ [_173414, _173416, _173418]))], (5118 ^ _35321) ^ [] : [icext(_173418, 5108 ^ [_173414, _173416, _173418])]]]]], (5122 ^ _35321) ^ [_175052, _175054, _175056, _175058, _175060] : [iext(uri_rdf_first, _175058, _175056), iext(uri_rdf_rest, _175058, _175054), iext(uri_rdf_first, _175054, _175052), iext(uri_rdf_rest, _175054, uri_rdf_nil), 5137 ^ _35321 : [(5178 ^ _35321) ^ [] : [-(iext(uri_owl_disjointUnionOf, _175060, _175058)), ic(_175060), ic(_175056), ic(_175052), 5194 ^ _35321 : [(5195 ^ _35321) ^ [] : [-(icext(_175060, 5191 ^ [_175052, _175054, _175056, _175058, _175060]))], (5197 ^ _35321) ^ [] : [5198 ^ _35321 : [(5199 ^ _35321) ^ [] : [icext(_175056, 5191 ^ [_175052, _175054, _175056, _175058, _175060])], (5201 ^ _35321) ^ [] : [icext(_175052, 5191 ^ [_175052, _175054, _175056, _175058, _175060])]], 5202 ^ _35321 : [(5203 ^ _35321) ^ [] : [-(icext(_175056, 5191 ^ [_175052, _175054, _175056, _175058, _175060]))], (5205 ^ _35321) ^ [] : [-(icext(_175052, 5191 ^ [_175052, _175054, _175056, _175058, _175060]))]]]], 5206 ^ _35321 : [(5219 ^ _35321) ^ [] : [icext(_175060, 5191 ^ [_175052, _175054, _175056, _175058, _175060])], (5207 ^ _35321) ^ [] : [-(icext(_175056, 5191 ^ [_175052, _175054, _175056, _175058, _175060])), -(icext(_175052, 5191 ^ [_175052, _175054, _175056, _175058, _175060]))], (5213 ^ _35321) ^ [] : [icext(_175056, 5191 ^ [_175052, _175054, _175056, _175058, _175060]), icext(_175052, 5191 ^ [_175052, _175054, _175056, _175058, _175060])]]], (5138 ^ _35321) ^ [] : [iext(uri_owl_disjointUnionOf, _175060, _175058), 5141 ^ _35321 : [(5142 ^ _35321) ^ [] : [-(ic(_175060))], (5144 ^ _35321) ^ [] : [-(ic(_175056))], (5146 ^ _35321) ^ [] : [-(ic(_175052))], (5164 ^ _35321) ^ [_176408] : [-(icext(_175060, _176408)), 5167 ^ _35321 : [(5168 ^ _35321) ^ [] : [icext(_175056, _176408)], (5170 ^ _35321) ^ [] : [icext(_175052, _176408)]], 5171 ^ _35321 : [(5172 ^ _35321) ^ [] : [-(icext(_175056, _176408))], (5174 ^ _35321) ^ [] : [-(icext(_175052, _176408))]]], (5148 ^ _35321) ^ [_175917] : [icext(_175060, _175917), 5151 ^ _35321 : [(5152 ^ _35321) ^ [] : [-(icext(_175056, _175917)), -(icext(_175052, _175917))], (5158 ^ _35321) ^ [] : [icext(_175056, _175917), icext(_175052, _175917)]]]]]]], (5223 ^ _35321) ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439] : [iext(uri_rdf_first, _178437, _178435), iext(uri_rdf_rest, _178437, _178433), iext(uri_rdf_first, _178433, _178431), iext(uri_rdf_rest, _178433, _178429), iext(uri_rdf_first, _178429, _178427), iext(uri_rdf_rest, _178429, uri_rdf_nil), 5246 ^ _35321 : [(5319 ^ _35321) ^ [] : [-(iext(uri_owl_disjointUnionOf, _178439, _178437)), ic(_178439), ic(_178435), ic(_178431), ic(_178427), 5339 ^ _35321 : [(5340 ^ _35321) ^ [] : [-(icext(_178439, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))], (5342 ^ _35321) ^ [] : [5343 ^ _35321 : [(5344 ^ _35321) ^ [] : [icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])], (5346 ^ _35321) ^ [] : [icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])], (5348 ^ _35321) ^ [] : [icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])]], 5351 ^ _35321 : [(5352 ^ _35321) ^ [] : [-(icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))], (5354 ^ _35321) ^ [] : [-(icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))]], 5357 ^ _35321 : [(5358 ^ _35321) ^ [] : [-(icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))], (5360 ^ _35321) ^ [] : [-(icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))]], 5361 ^ _35321 : [(5362 ^ _35321) ^ [] : [-(icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))], (5364 ^ _35321) ^ [] : [-(icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))]]]], 5365 ^ _35321 : [(5394 ^ _35321) ^ [] : [icext(_178439, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])], (5366 ^ _35321) ^ [] : [-(icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])), -(icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])), -(icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]))], (5376 ^ _35321) ^ [] : [icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]), icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])], (5382 ^ _35321) ^ [] : [icext(_178435, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]), icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])], (5388 ^ _35321) ^ [] : [icext(_178431, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439]), icext(_178427, 5336 ^ [_178427, _178429, _178431, _178433, _178435, _178437, _178439])]]], (5247 ^ _35321) ^ [] : [iext(uri_owl_disjointUnionOf, _178439, _178437), 5250 ^ _35321 : [(5251 ^ _35321) ^ [] : [-(ic(_178439))], (5253 ^ _35321) ^ [] : [-(ic(_178435))], (5255 ^ _35321) ^ [] : [-(ic(_178431))], (5257 ^ _35321) ^ [] : [-(ic(_178427))], (5291 ^ _35321) ^ [_180721] : [-(icext(_178439, _180721)), 5294 ^ _35321 : [(5295 ^ _35321) ^ [] : [icext(_178435, _180721)], (5297 ^ _35321) ^ [] : [icext(_178431, _180721)], (5299 ^ _35321) ^ [] : [icext(_178427, _180721)]], 5302 ^ _35321 : [(5303 ^ _35321) ^ [] : [-(icext(_178435, _180721))], (5305 ^ _35321) ^ [] : [-(icext(_178431, _180721))]], 5308 ^ _35321 : [(5309 ^ _35321) ^ [] : [-(icext(_178435, _180721))], (5311 ^ _35321) ^ [] : [-(icext(_178427, _180721))]], 5312 ^ _35321 : [(5313 ^ _35321) ^ [] : [-(icext(_178431, _180721))], (5315 ^ _35321) ^ [] : [-(icext(_178427, _180721))]]], (5259 ^ _35321) ^ [_179680] : [icext(_178439, _179680), 5262 ^ _35321 : [(5263 ^ _35321) ^ [] : [-(icext(_178435, _179680)), -(icext(_178431, _179680)), -(icext(_178427, _179680))], (5273 ^ _35321) ^ [] : [icext(_178435, _179680), icext(_178431, _179680)], (5279 ^ _35321) ^ [] : [icext(_178435, _179680), icext(_178427, _179680)], (5285 ^ _35321) ^ [] : [icext(_178431, _179680), icext(_178427, _179680)]]]]]]], (5398 ^ _35321) ^ [_184577, _184579] : [iext(uri_owl_disjointWith, _184579, _184577), 5401 ^ _35321 : [(5402 ^ _35321) ^ [] : [-(ic(_184579))], (5404 ^ _35321) ^ [] : [-(ic(_184577))], (5406 ^ _35321) ^ [_184858] : [icext(_184579, _184858), icext(_184577, _184858)]]], (5412 ^ _35321) ^ [_185038, _185040] : [-(iext(uri_owl_disjointWith, _185040, _185038)), ic(_185040), ic(_185038), 5422 ^ _35321 : [(5423 ^ _35321) ^ [] : [-(icext(_185040, 5421 ^ [_185038, _185040]))], (5425 ^ _35321) ^ [] : [-(icext(_185038, 5421 ^ [_185038, _185040]))]]], (5429 ^ _35321) ^ [_185605, _185607] : [iext(uri_owl_equivalentClass, _185607, _185605), 5432 ^ _35321 : [(5433 ^ _35321) ^ [] : [-(ic(_185607))], (5435 ^ _35321) ^ [] : [-(ic(_185605))], (5437 ^ _35321) ^ [_185913] : [icext(_185607, _185913), -(icext(_185605, _185913))], (5443 ^ _35321) ^ [_186085] : [icext(_185605, _186085), -(icext(_185607, _186085))]]], (5449 ^ _35321) ^ [_186268, _186270] : [-(iext(uri_owl_equivalentClass, _186270, _186268)), ic(_186270), ic(_186268), 5461 ^ _35321 : [(5462 ^ _35321) ^ [] : [-(icext(_186270, 5458 ^ [_186268, _186270]))], (5464 ^ _35321) ^ [] : [icext(_186268, 5458 ^ [_186268, _186270])]], 5465 ^ _35321 : [(5466 ^ _35321) ^ [] : [-(icext(_186268, 5458 ^ [_186268, _186270]))], (5468 ^ _35321) ^ [] : [icext(_186270, 5458 ^ [_186268, _186270])]]], (5472 ^ _35321) ^ [_187005, _187007] : [iext(uri_owl_equivalentProperty, _187007, _187005), 5475 ^ _35321 : [(5476 ^ _35321) ^ [] : [-(ip(_187007))], (5478 ^ _35321) ^ [] : [-(ip(_187005))], (5480 ^ _35321) ^ [_187334, _187336] : [iext(_187007, _187336, _187334), -(iext(_187005, _187336, _187334))], (5486 ^ _35321) ^ [_187516, _187518] : [iext(_187005, _187518, _187516), -(iext(_187007, _187518, _187516))]]], (5492 ^ _35321) ^ [_187709, _187711] : [-(iext(uri_owl_equivalentProperty, _187711, _187709)), ip(_187711), ip(_187709), 5505 ^ _35321 : [(5506 ^ _35321) ^ [] : [-(iext(_187711, 5501 ^ [_187709, _187711], 5502 ^ [_187709, _187711]))], (5508 ^ _35321) ^ [] : [iext(_187709, 5501 ^ [_187709, _187711], 5502 ^ [_187709, _187711])]], 5509 ^ _35321 : [(5510 ^ _35321) ^ [] : [-(iext(_187709, 5501 ^ [_187709, _187711], 5502 ^ [_187709, _187711]))], (5512 ^ _35321) ^ [] : [iext(_187711, 5501 ^ [_187709, _187711], 5502 ^ [_187709, _187711])]]], (5516 ^ _35321) ^ [_188559, _188561] : [iext(uri_owl_propertyDisjointWith, _188561, _188559), 5519 ^ _35321 : [(5520 ^ _35321) ^ [] : [-(ip(_188561))], (5522 ^ _35321) ^ [] : [-(ip(_188559))], (5524 ^ _35321) ^ [_188861, _188863] : [iext(_188561, _188863, _188861), iext(_188559, _188863, _188861)]]], (5530 ^ _35321) ^ [_189051, _189053] : [-(iext(uri_owl_propertyDisjointWith, _189053, _189051)), ip(_189053), ip(_189051), 5541 ^ _35321 : [(5542 ^ _35321) ^ [] : [-(iext(_189053, 5539 ^ [_189051, _189053], 5540 ^ [_189051, _189053]))], (5544 ^ _35321) ^ [] : [-(iext(_189051, 5539 ^ [_189051, _189053], 5540 ^ [_189051, _189053]))]]], (5548 ^ _35321) ^ [_189717, _189719] : [iext(uri_owl_sameAs, _189719, _189717), -(_189719 = _189717)], (5554 ^ _35321) ^ [_189881, _189883] : [_189883 = _189881, -(iext(uri_owl_sameAs, _189883, _189881))], (5561 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5559 ^ []))], (5563 ^ _35321) ^ [] : [-(iext(uri_owl_distinctMembers, 5559 ^ [], uri_rdf_nil))], (5565 ^ _35321) ^ [_190247, _190249] : [5573 ^ _35321 : [(5574 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5572 ^ [_190247, _190249]))], (5576 ^ _35321) ^ [] : [-(iext(uri_owl_distinctMembers, 5572 ^ [_190247, _190249], _190249))]], iext(uri_rdf_first, _190249, _190247), iext(uri_rdf_rest, _190249, uri_rdf_nil)], (5578 ^ _35321) ^ [_190726, _190728, _190730, _190732] : [5598 ^ _35321 : [(5599 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5597 ^ [_190726, _190728, _190730, _190732]))], (5601 ^ _35321) ^ [] : [-(iext(uri_owl_distinctMembers, 5597 ^ [_190726, _190728, _190730, _190732], _190732))]], iext(uri_rdf_first, _190732, _190730), iext(uri_rdf_rest, _190732, _190728), iext(uri_rdf_first, _190728, _190726), iext(uri_rdf_rest, _190728, uri_rdf_nil), -(_190730 = _190726)], (5603 ^ _35321) ^ [_191571, _191573, _191575, _191577, _191579, _191581] : [5639 ^ _35321 : [(5640 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5638 ^ [_191571, _191573, _191575, _191577, _191579, _191581]))], (5642 ^ _35321) ^ [] : [-(iext(uri_owl_distinctMembers, 5638 ^ [_191571, _191573, _191575, _191577, _191579, _191581], _191581))]], iext(uri_rdf_first, _191581, _191579), iext(uri_rdf_rest, _191581, _191577), iext(uri_rdf_first, _191577, _191575), iext(uri_rdf_rest, _191577, _191573), iext(uri_rdf_first, _191573, _191571), iext(uri_rdf_rest, _191573, uri_rdf_nil), -(_191579 = _191575), -(_191579 = _191571), -(_191575 = _191571)], (5644 ^ _35321) ^ [] : [-(tautology), tautology], (5650 ^ _35321) ^ [] : [-(tautology), tautology], (5656 ^ _35321) ^ [_193134, _193136, _193138, _193140, _193142] : [_193138 = _193134, iext(uri_rdf_first, _193140, _193138), iext(uri_rdf_rest, _193140, _193136), iext(uri_rdf_first, _193136, _193134), iext(uri_rdf_rest, _193136, uri_rdf_nil), icext(uri_owl_AllDifferent, _193142), iext(uri_owl_distinctMembers, _193142, _193140)], (5682 ^ _35321) ^ [_193948, _193950, _193952, _193954, _193956, _193958, _193960] : [5713 ^ _35321 : [(5714 ^ _35321) ^ [] : [_193956 = _193952], (5716 ^ _35321) ^ [] : [_193956 = _193948], (5718 ^ _35321) ^ [] : [_193952 = _193948]], iext(uri_rdf_first, _193958, _193956), iext(uri_rdf_rest, _193958, _193954), iext(uri_rdf_first, _193954, _193952), iext(uri_rdf_rest, _193954, _193950), iext(uri_rdf_first, _193950, _193948), iext(uri_rdf_rest, _193950, uri_rdf_nil), icext(uri_owl_AllDifferent, _193960), iext(uri_owl_distinctMembers, _193960, _193958)], (5721 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5719 ^ []))], (5723 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5719 ^ [], uri_rdf_nil))], (5725 ^ _35321) ^ [_195289, _195291] : [5733 ^ _35321 : [(5734 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5732 ^ [_195289, _195291]))], (5736 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5732 ^ [_195289, _195291], _195291))]], iext(uri_rdf_first, _195291, _195289), iext(uri_rdf_rest, _195291, uri_rdf_nil)], (5738 ^ _35321) ^ [_195768, _195770, _195772, _195774] : [5758 ^ _35321 : [(5759 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5757 ^ [_195768, _195770, _195772, _195774]))], (5761 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5757 ^ [_195768, _195770, _195772, _195774], _195774))]], iext(uri_rdf_first, _195774, _195772), iext(uri_rdf_rest, _195774, _195770), iext(uri_rdf_first, _195770, _195768), iext(uri_rdf_rest, _195770, uri_rdf_nil), -(_195772 = _195768)], (5763 ^ _35321) ^ [_196613, _196615, _196617, _196619, _196621, _196623] : [5799 ^ _35321 : [(5800 ^ _35321) ^ [] : [-(icext(uri_owl_AllDifferent, 5798 ^ [_196613, _196615, _196617, _196619, _196621, _196623]))], (5802 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5798 ^ [_196613, _196615, _196617, _196619, _196621, _196623], _196623))]], iext(uri_rdf_first, _196623, _196621), iext(uri_rdf_rest, _196623, _196619), iext(uri_rdf_first, _196619, _196617), iext(uri_rdf_rest, _196619, _196615), iext(uri_rdf_first, _196615, _196613), iext(uri_rdf_rest, _196615, uri_rdf_nil), -(_196621 = _196617), -(_196621 = _196613), -(_196617 = _196613)], (5804 ^ _35321) ^ [] : [-(tautology), tautology], (5810 ^ _35321) ^ [] : [-(tautology), tautology], (5816 ^ _35321) ^ [_198176, _198178, _198180, _198182, _198184] : [_198180 = _198176, iext(uri_rdf_first, _198182, _198180), iext(uri_rdf_rest, _198182, _198178), iext(uri_rdf_first, _198178, _198176), iext(uri_rdf_rest, _198178, uri_rdf_nil), icext(uri_owl_AllDifferent, _198184), iext(uri_owl_members, _198184, _198182)], (5842 ^ _35321) ^ [_198990, _198992, _198994, _198996, _198998, _199000, _199002] : [5873 ^ _35321 : [(5874 ^ _35321) ^ [] : [_198998 = _198994], (5876 ^ _35321) ^ [] : [_198998 = _198990], (5878 ^ _35321) ^ [] : [_198994 = _198990]], iext(uri_rdf_first, _199000, _198998), iext(uri_rdf_rest, _199000, _198996), iext(uri_rdf_first, _198996, _198994), iext(uri_rdf_rest, _198996, _198992), iext(uri_rdf_first, _198992, _198990), iext(uri_rdf_rest, _198992, uri_rdf_nil), icext(uri_owl_AllDifferent, _199002), iext(uri_owl_members, _199002, _199000)], (5881 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5879 ^ []))], (5883 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5879 ^ [], uri_rdf_nil))], (5885 ^ _35321) ^ [_200331, _200333] : [5893 ^ _35321 : [(5894 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5892 ^ [_200331, _200333]))], (5896 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5892 ^ [_200331, _200333], _200333))]], iext(uri_rdf_first, _200333, _200331), iext(uri_rdf_rest, _200333, uri_rdf_nil)], (5898 ^ _35321) ^ [_200810, _200812, _200814, _200816] : [5921 ^ _35321 : [(5922 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5920 ^ [_200810, _200812, _200814, _200816]))], (5924 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5920 ^ [_200810, _200812, _200814, _200816], _200816))]], iext(uri_rdf_first, _200816, _200814), iext(uri_rdf_rest, _200816, _200812), iext(uri_rdf_first, _200812, _200810), iext(uri_rdf_rest, _200812, uri_rdf_nil), 5916 ^ _35321 : [(5917 ^ _35321) ^ [] : [-(icext(_200814, 5915 ^ [_200810, _200812, _200814, _200816]))], (5919 ^ _35321) ^ [] : [-(icext(_200810, 5915 ^ [_200810, _200812, _200814, _200816]))]]], (5926 ^ _35321) ^ [_201822, _201824, _201826, _201828, _201830, _201832] : [5971 ^ _35321 : [(5972 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5970 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))], (5974 ^ _35321) ^ [] : [-(iext(uri_owl_members, 5970 ^ [_201822, _201824, _201826, _201828, _201830, _201832], _201832))]], iext(uri_rdf_first, _201832, _201830), iext(uri_rdf_rest, _201832, _201828), iext(uri_rdf_first, _201828, _201826), iext(uri_rdf_rest, _201828, _201824), iext(uri_rdf_first, _201824, _201822), iext(uri_rdf_rest, _201824, uri_rdf_nil), 5954 ^ _35321 : [(5955 ^ _35321) ^ [] : [-(icext(_201830, 5953 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))], (5957 ^ _35321) ^ [] : [-(icext(_201826, 5953 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))]], 5961 ^ _35321 : [(5962 ^ _35321) ^ [] : [-(icext(_201830, 5960 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))], (5964 ^ _35321) ^ [] : [-(icext(_201822, 5960 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))]], 5966 ^ _35321 : [(5967 ^ _35321) ^ [] : [-(icext(_201826, 5965 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))], (5969 ^ _35321) ^ [] : [-(icext(_201822, 5965 ^ [_201822, _201824, _201826, _201828, _201830, _201832]))]]], (5976 ^ _35321) ^ [] : [-(tautology), tautology], (5982 ^ _35321) ^ [] : [-(tautology), tautology], (5988 ^ _35321) ^ [_203946, _203948, _203950, _203952, _203954] : [6011 ^ _35321 : [(6012 ^ _35321) ^ [_204612] : [icext(_203950, _204612), icext(_203946, _204612)]], iext(uri_rdf_first, _203952, _203950), iext(uri_rdf_rest, _203952, _203948), iext(uri_rdf_first, _203948, _203946), iext(uri_rdf_rest, _203948, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _203954), iext(uri_owl_members, _203954, _203952)], (6018 ^ _35321) ^ [_204930, _204932, _204934, _204936, _204938, _204940, _204942] : [iext(uri_rdf_first, _204940, _204938), iext(uri_rdf_rest, _204940, _204936), iext(uri_rdf_first, _204936, _204934), iext(uri_rdf_rest, _204936, _204932), iext(uri_rdf_first, _204932, _204930), iext(uri_rdf_rest, _204932, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _204942), iext(uri_owl_members, _204942, _204940), 6049 ^ _35321 : [(6050 ^ _35321) ^ [_205924] : [icext(_204938, _205924), icext(_204934, _205924)], (6056 ^ _35321) ^ [_206169] : [icext(_204938, _206169), icext(_204930, _206169)], (6062 ^ _35321) ^ [_206394] : [icext(_204934, _206394), icext(_204930, _206394)]]], (6069 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6067 ^ []))], (6071 ^ _35321) ^ [] : [-(iext(uri_owl_members, 6067 ^ [], uri_rdf_nil))], (6073 ^ _35321) ^ [_206828, _206830] : [6081 ^ _35321 : [(6082 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6080 ^ [_206828, _206830]))], (6084 ^ _35321) ^ [] : [-(iext(uri_owl_members, 6080 ^ [_206828, _206830], _206830))]], iext(uri_rdf_first, _206830, _206828), iext(uri_rdf_rest, _206830, uri_rdf_nil)], (6086 ^ _35321) ^ [_207307, _207309, _207311, _207313] : [6110 ^ _35321 : [(6111 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6109 ^ [_207307, _207309, _207311, _207313]))], (6113 ^ _35321) ^ [] : [-(iext(uri_owl_members, 6109 ^ [_207307, _207309, _207311, _207313], _207313))]], iext(uri_rdf_first, _207313, _207311), iext(uri_rdf_rest, _207313, _207309), iext(uri_rdf_first, _207309, _207307), iext(uri_rdf_rest, _207309, uri_rdf_nil), 6105 ^ _35321 : [(6106 ^ _35321) ^ [] : [-(iext(_207311, 6103 ^ [_207307, _207309, _207311, _207313], 6104 ^ [_207307, _207309, _207311, _207313]))], (6108 ^ _35321) ^ [] : [-(iext(_207307, 6103 ^ [_207307, _207309, _207311, _207313], 6104 ^ [_207307, _207309, _207311, _207313]))]]], (6115 ^ _35321) ^ [_208442, _208444, _208446, _208448, _208450, _208452] : [6163 ^ _35321 : [(6164 ^ _35321) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6162 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))], (6166 ^ _35321) ^ [] : [-(iext(uri_owl_members, 6162 ^ [_208442, _208444, _208446, _208448, _208450, _208452], _208452))]], iext(uri_rdf_first, _208452, _208450), iext(uri_rdf_rest, _208452, _208448), iext(uri_rdf_first, _208448, _208446), iext(uri_rdf_rest, _208448, _208444), iext(uri_rdf_first, _208444, _208442), iext(uri_rdf_rest, _208444, uri_rdf_nil), 6144 ^ _35321 : [(6145 ^ _35321) ^ [] : [-(iext(_208450, 6142 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6143 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))], (6147 ^ _35321) ^ [] : [-(iext(_208446, 6142 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6143 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))]], 6152 ^ _35321 : [(6153 ^ _35321) ^ [] : [-(iext(_208450, 6150 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6151 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))], (6155 ^ _35321) ^ [] : [-(iext(_208442, 6150 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6151 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))]], 6158 ^ _35321 : [(6159 ^ _35321) ^ [] : [-(iext(_208446, 6156 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6157 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))], (6161 ^ _35321) ^ [] : [-(iext(_208442, 6156 ^ [_208442, _208444, _208446, _208448, _208450, _208452], 6157 ^ [_208442, _208444, _208446, _208448, _208450, _208452]))]]], (6168 ^ _35321) ^ [] : [-(tautology), tautology], (6174 ^ _35321) ^ [] : [-(tautology), tautology], (6180 ^ _35321) ^ [_211007, _211009, _211011, _211013, _211015] : [6203 ^ _35321 : [(6204 ^ _35321) ^ [_211694, _211696] : [iext(_211011, _211696, _211694), iext(_211007, _211696, _211694)]], iext(uri_rdf_first, _211013, _211011), iext(uri_rdf_rest, _211013, _211009), iext(uri_rdf_first, _211009, _211007), iext(uri_rdf_rest, _211009, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _211015), iext(uri_owl_members, _211015, _211013)], (6210 ^ _35321) ^ [_212022, _212024, _212026, _212028, _212030, _212032, _212034] : [iext(uri_rdf_first, _212032, _212030), iext(uri_rdf_rest, _212032, _212028), iext(uri_rdf_first, _212028, _212026), iext(uri_rdf_rest, _212028, _212024), iext(uri_rdf_first, _212024, _212022), iext(uri_rdf_rest, _212024, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _212034), iext(uri_owl_members, _212034, _212032), 6241 ^ _35321 : [(6242 ^ _35321) ^ [_213051, _213053] : [iext(_212030, _213053, _213051), iext(_212026, _213053, _213051)], (6248 ^ _35321) ^ [_213320, _213322] : [iext(_212030, _213322, _213320), iext(_212022, _213322, _213320)], (6254 ^ _35321) ^ [_213569, _213571] : [iext(_212026, _213571, _213569), iext(_212022, _213571, _213569)]]], (6260 ^ _35321) ^ [_213876] : [iext(uri_owl_propertyChainAxiom, _213876, uri_rdf_nil), 6263 ^ _35321 : [(6264 ^ _35321) ^ [] : [-(ip(_213876))], (6266 ^ _35321) ^ [_214059] : [-(iext(_213876, _214059, _214059))]]], (6268 ^ _35321) ^ [_214128] : [-(iext(uri_owl_propertyChainAxiom, _214128, uri_rdf_nil)), ip(_214128), iext(_214128, 6273 ^ [_214128], 6273 ^ [_214128])], (6279 ^ _35321) ^ [_214492, _214494, _214496] : [iext(uri_rdf_first, _214494, _214492), iext(uri_rdf_rest, _214494, uri_rdf_nil), 6286 ^ _35321 : [(6287 ^ _35321) ^ [] : [iext(uri_owl_propertyChainAxiom, _214496, _214494), 6290 ^ _35321 : [(6291 ^ _35321) ^ [] : [-(ip(_214496))], (6293 ^ _35321) ^ [] : [-(ip(_214492))], (6295 ^ _35321) ^ [_215015, _215017] : [iext(_214492, _215017, _215015), -(iext(_214496, _215017, _215015))]]], (6301 ^ _35321) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _214496, _214494)), ip(_214496), ip(_214492), 6312 ^ _35321 : [(6313 ^ _35321) ^ [] : [-(iext(_214492, 6310 ^ [_214492, _214494, _214496], 6311 ^ [_214492, _214494, _214496]))], (6315 ^ _35321) ^ [] : [iext(_214496, 6310 ^ [_214492, _214494, _214496], 6311 ^ [_214492, _214494, _214496])]]]]], (6319 ^ _35321) ^ [_215867, _215869, _215871, _215873, _215875] : [iext(uri_rdf_first, _215873, _215871), iext(uri_rdf_rest, _215873, _215869), iext(uri_rdf_first, _215869, _215867), iext(uri_rdf_rest, _215869, uri_rdf_nil), 6334 ^ _35321 : [(6335 ^ _35321) ^ [] : [iext(uri_owl_propertyChainAxiom, _215875, _215873), 6338 ^ _35321 : [(6339 ^ _35321) ^ [] : [-(ip(_215875))], (6341 ^ _35321) ^ [] : [-(ip(_215871))], (6343 ^ _35321) ^ [] : [-(ip(_215867))], (6345 ^ _35321) ^ [_216730, _216732, _216734] : [-(iext(_215875, _216734, _216730)), iext(_215871, _216734, _216732), iext(_215867, _216732, _216730)]]], (6355 ^ _35321) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _215875, _215873)), ip(_215875), ip(_215871), ip(_215867), 6371 ^ _35321 : [(6372 ^ _35321) ^ [] : [-(iext(_215871, 6368 ^ [_215867, _215869, _215871, _215873, _215875], 6369 ^ [_215867, _215869, _215871, _215873, _215875]))], (6374 ^ _35321) ^ [] : [-(iext(_215867, 6369 ^ [_215867, _215869, _215871, _215873, _215875], 6370 ^ [_215867, _215869, _215871, _215873, _215875]))], (6376 ^ _35321) ^ [] : [iext(_215875, 6368 ^ [_215867, _215869, _215871, _215873, _215875], 6370 ^ [_215867, _215869, _215871, _215873, _215875])]]]]], (6380 ^ _35321) ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182] : [iext(uri_rdf_first, _218180, _218178), iext(uri_rdf_rest, _218180, _218176), iext(uri_rdf_first, _218176, _218174), iext(uri_rdf_rest, _218176, _218172), iext(uri_rdf_first, _218172, _218170), iext(uri_rdf_rest, _218172, uri_rdf_nil), 6403 ^ _35321 : [(6404 ^ _35321) ^ [] : [iext(uri_owl_propertyChainAxiom, _218182, _218180), 6407 ^ _35321 : [(6408 ^ _35321) ^ [] : [-(ip(_218182))], (6410 ^ _35321) ^ [] : [-(ip(_218178))], (6412 ^ _35321) ^ [] : [-(ip(_218174))], (6414 ^ _35321) ^ [] : [-(ip(_218170))], (6416 ^ _35321) ^ [_219413, _219415, _219417, _219419] : [-(iext(_218182, _219419, _219413)), iext(_218178, _219419, _219417), iext(_218174, _219417, _219415), iext(_218170, _219415, _219413)]]], (6430 ^ _35321) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _218182, _218180)), ip(_218182), ip(_218178), ip(_218174), ip(_218170), 6451 ^ _35321 : [(6452 ^ _35321) ^ [] : [-(iext(_218178, 6447 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182], 6448 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182]))], (6454 ^ _35321) ^ [] : [-(iext(_218174, 6448 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182], 6449 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182]))], (6456 ^ _35321) ^ [] : [-(iext(_218170, 6449 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182], 6450 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182]))], (6458 ^ _35321) ^ [] : [iext(_218182, 6447 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182], 6450 ^ [_218170, _218172, _218174, _218176, _218178, _218180, _218182])]]]]], (6462 ^ _35321) ^ [_221537, _221539] : [iext(uri_owl_inverseOf, _221539, _221537), 6465 ^ _35321 : [(6466 ^ _35321) ^ [] : [-(ip(_221539))], (6468 ^ _35321) ^ [] : [-(ip(_221537))], (6470 ^ _35321) ^ [_221866, _221868] : [iext(_221539, _221868, _221866), -(iext(_221537, _221866, _221868))], (6476 ^ _35321) ^ [_222048, _222050] : [iext(_221537, _222048, _222050), -(iext(_221539, _222050, _222048))]]], (6482 ^ _35321) ^ [_222241, _222243] : [-(iext(uri_owl_inverseOf, _222243, _222241)), ip(_222243), ip(_222241), 6495 ^ _35321 : [(6496 ^ _35321) ^ [] : [-(iext(_222243, 6491 ^ [_222241, _222243], 6492 ^ [_222241, _222243]))], (6498 ^ _35321) ^ [] : [iext(_222241, 6492 ^ [_222241, _222243], 6491 ^ [_222241, _222243])]], 6499 ^ _35321 : [(6500 ^ _35321) ^ [] : [-(iext(_222241, 6492 ^ [_222241, _222243], 6491 ^ [_222241, _222243]))], (6502 ^ _35321) ^ [] : [iext(_222243, 6491 ^ [_222241, _222243], 6492 ^ [_222241, _222243])]]], (6506 ^ _35321) ^ [_223077] : [icext(uri_owl_AsymmetricProperty, _223077), 6509 ^ _35321 : [(6510 ^ _35321) ^ [] : [-(ip(_223077))], (6512 ^ _35321) ^ [_223301, _223303] : [iext(_223077, _223303, _223301), iext(_223077, _223301, _223303)]]], (6518 ^ _35321) ^ [_223483] : [-(icext(uri_owl_AsymmetricProperty, _223483)), ip(_223483), 6525 ^ _35321 : [(6526 ^ _35321) ^ [] : [-(iext(_223483, 6523 ^ [_223483], 6524 ^ [_223483]))], (6528 ^ _35321) ^ [] : [-(iext(_223483, 6524 ^ [_223483], 6523 ^ [_223483]))]]], (6548 ^ _35321) ^ [_224545] : [-(icext(uri_owl_FunctionalProperty, _224545)), ip(_224545), 6556 ^ _35321 : [(6557 ^ _35321) ^ [] : [-(iext(_224545, 6553 ^ [_224545], 6554 ^ [_224545]))], (6559 ^ _35321) ^ [] : [-(iext(_224545, 6553 ^ [_224545], 6555 ^ [_224545]))], (6561 ^ _35321) ^ [] : [6554 ^ [_224545] = 6555 ^ [_224545]]]], (6532 ^ _35321) ^ [_224014] : [icext(uri_owl_FunctionalProperty, _224014), 6535 ^ _35321 : [(6536 ^ _35321) ^ [] : [-(ip(_224014))], (6538 ^ _35321) ^ [_224261, _224263, _224265] : [-(_224263 = _224261), iext(_224014, _224265, _224263), iext(_224014, _224265, _224261)]]], (6581 ^ _35321) ^ [_225786] : [-(icext(uri_owl_InverseFunctionalProperty, _225786)), ip(_225786), 6589 ^ _35321 : [(6590 ^ _35321) ^ [] : [-(iext(_225786, 6586 ^ [_225786], 6588 ^ [_225786]))], (6592 ^ _35321) ^ [] : [-(iext(_225786, 6587 ^ [_225786], 6588 ^ [_225786]))], (6594 ^ _35321) ^ [] : [6586 ^ [_225786] = 6587 ^ [_225786]]]], (6565 ^ _35321) ^ [_225255] : [icext(uri_owl_InverseFunctionalProperty, _225255), 6568 ^ _35321 : [(6569 ^ _35321) ^ [] : [-(ip(_225255))], (6571 ^ _35321) ^ [_225502, _225504, _225506] : [-(_225506 = _225504), iext(_225255, _225506, _225502), iext(_225255, _225504, _225502)]]], (6598 ^ _35321) ^ [_226496] : [icext(uri_owl_IrreflexiveReflexiveProperty, _226496), 6601 ^ _35321 : [(6602 ^ _35321) ^ [] : [-(ip(_226496))], (6604 ^ _35321) ^ [_226678] : [iext(_226496, _226678, _226678)]]], (6606 ^ _35321) ^ [_226747] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _226747)), ip(_226747), -(iext(_226747, 6611 ^ [_226747], 6611 ^ [_226747]))], (6617 ^ _35321) ^ [_227115] : [icext(uri_owl_ReflexiveProperty, _227115), 6620 ^ _35321 : [(6621 ^ _35321) ^ [] : [-(ip(_227115))], (6623 ^ _35321) ^ [_227296] : [-(iext(_227115, _227296, _227296))]]], (6625 ^ _35321) ^ [_227365] : [-(icext(uri_owl_ReflexiveProperty, _227365)), ip(_227365), iext(_227365, 6630 ^ [_227365], 6630 ^ [_227365])], (6636 ^ _35321) ^ [_227728] : [icext(uri_owl_SymmetricProperty, _227728), 6639 ^ _35321 : [(6640 ^ _35321) ^ [] : [-(ip(_227728))], (6642 ^ _35321) ^ [_227950, _227952] : [iext(_227728, _227952, _227950), -(iext(_227728, _227950, _227952))]]], (6648 ^ _35321) ^ [_228131] : [-(icext(uri_owl_SymmetricProperty, _228131)), ip(_228131), 6655 ^ _35321 : [(6656 ^ _35321) ^ [] : [-(iext(_228131, 6653 ^ [_228131], 6654 ^ [_228131]))], (6658 ^ _35321) ^ [] : [iext(_228131, 6654 ^ [_228131], 6653 ^ [_228131])]]], (6678 ^ _35321) ^ [_229189] : [-(icext(uri_owl_TransitiveProperty, _229189)), ip(_229189), 6686 ^ _35321 : [(6687 ^ _35321) ^ [] : [-(iext(_229189, 6683 ^ [_229189], 6684 ^ [_229189]))], (6689 ^ _35321) ^ [] : [-(iext(_229189, 6684 ^ [_229189], 6685 ^ [_229189]))], (6691 ^ _35321) ^ [] : [iext(_229189, 6683 ^ [_229189], 6685 ^ [_229189])]]], (6662 ^ _35321) ^ [_228655] : [icext(uri_owl_TransitiveProperty, _228655), 6665 ^ _35321 : [(6666 ^ _35321) ^ [] : [-(ip(_228655))], (6668 ^ _35321) ^ [_228903, _228905, _228907] : [-(iext(_228655, _228907, _228903)), iext(_228655, _228907, _228905), iext(_228655, _228905, _228903)]]], (6711 ^ _35321) ^ [_230402] : [-(iext(uri_owl_hasKey, _230402, uri_rdf_nil)), ic(_230402), 6718 ^ _35321 : [(6719 ^ _35321) ^ [] : [-(icext(_230402, 6716 ^ [_230402]))], (6721 ^ _35321) ^ [] : [-(icext(_230402, 6717 ^ [_230402]))], (6723 ^ _35321) ^ [] : [6716 ^ [_230402] = 6717 ^ [_230402]]]], (6695 ^ _35321) ^ [_229904] : [iext(uri_owl_hasKey, _229904, uri_rdf_nil), 6698 ^ _35321 : [(6699 ^ _35321) ^ [] : [-(ic(_229904))], (6701 ^ _35321) ^ [_230132, _230134] : [-(_230134 = _230132), icext(_229904, _230134), icext(_229904, _230132)]]], (6727 ^ _35321) ^ [_231005, _231007, _231009] : [iext(uri_rdf_first, _231007, _231005), iext(uri_rdf_rest, _231007, uri_rdf_nil), 6734 ^ _35321 : [(6761 ^ _35321) ^ [] : [-(iext(uri_owl_hasKey, _231009, _231007)), ic(_231009), ip(_231005), 6773 ^ _35321 : [(6774 ^ _35321) ^ [] : [-(icext(_231009, 6770 ^ [_231005, _231007, _231009]))], (6776 ^ _35321) ^ [] : [-(icext(_231009, 6771 ^ [_231005, _231007, _231009]))], (6778 ^ _35321) ^ [] : [-(iext(_231005, 6770 ^ [_231005, _231007, _231009], 6772 ^ [_231005, _231007, _231009]))], (6780 ^ _35321) ^ [] : [-(iext(_231005, 6771 ^ [_231005, _231007, _231009], 6772 ^ [_231005, _231007, _231009]))], (6782 ^ _35321) ^ [] : [6770 ^ [_231005, _231007, _231009] = 6771 ^ [_231005, _231007, _231009]]]], (6735 ^ _35321) ^ [] : [iext(uri_owl_hasKey, _231009, _231007), 6738 ^ _35321 : [(6739 ^ _35321) ^ [] : [-(ic(_231009))], (6741 ^ _35321) ^ [] : [-(ip(_231005))], (6743 ^ _35321) ^ [_231565, _231567, _231569] : [-(_231569 = _231567), icext(_231009, _231569), icext(_231009, _231567), iext(_231005, _231569, _231565), iext(_231005, _231567, _231565)]]]]], (6786 ^ _35321) ^ [_233174, _233176, _233178, _233180, _233182] : [iext(uri_rdf_first, _233180, _233178), iext(uri_rdf_rest, _233180, _233176), iext(uri_rdf_first, _233176, _233174), iext(uri_rdf_rest, _233176, uri_rdf_nil), 6801 ^ _35321 : [(6838 ^ _35321) ^ [] : [-(iext(uri_owl_hasKey, _233182, _233180)), ic(_233182), ip(_233178), ip(_233174), 6855 ^ _35321 : [(6856 ^ _35321) ^ [] : [-(icext(_233182, 6851 ^ [_233174, _233176, _233178, _233180, _233182]))], (6858 ^ _35321) ^ [] : [-(icext(_233182, 6852 ^ [_233174, _233176, _233178, _233180, _233182]))], (6860 ^ _35321) ^ [] : [-(iext(_233178, 6851 ^ [_233174, _233176, _233178, _233180, _233182], 6853 ^ [_233174, _233176, _233178, _233180, _233182]))], (6862 ^ _35321) ^ [] : [-(iext(_233178, 6852 ^ [_233174, _233176, _233178, _233180, _233182], 6853 ^ [_233174, _233176, _233178, _233180, _233182]))], (6864 ^ _35321) ^ [] : [-(iext(_233174, 6851 ^ [_233174, _233176, _233178, _233180, _233182], 6854 ^ [_233174, _233176, _233178, _233180, _233182]))], (6866 ^ _35321) ^ [] : [-(iext(_233174, 6852 ^ [_233174, _233176, _233178, _233180, _233182], 6854 ^ [_233174, _233176, _233178, _233180, _233182]))], (6868 ^ _35321) ^ [] : [6851 ^ [_233174, _233176, _233178, _233180, _233182] = 6852 ^ [_233174, _233176, _233178, _233180, _233182]]]], (6802 ^ _35321) ^ [] : [iext(uri_owl_hasKey, _233182, _233180), 6805 ^ _35321 : [(6806 ^ _35321) ^ [] : [-(ic(_233182))], (6808 ^ _35321) ^ [] : [-(ip(_233178))], (6810 ^ _35321) ^ [] : [-(ip(_233174))], (6812 ^ _35321) ^ [_234081, _234083, _234085, _234087] : [-(_234087 = _234085), icext(_233182, _234087), icext(_233182, _234085), iext(_233178, _234087, _234083), iext(_233178, _234085, _234083), iext(_233174, _234087, _234081), iext(_233174, _234085, _234081)]]]]], (6872 ^ _35321) ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791] : [iext(uri_rdf_first, _236789, _236787), iext(uri_rdf_rest, _236789, _236785), iext(uri_rdf_first, _236785, _236783), iext(uri_rdf_rest, _236785, _236781), iext(uri_rdf_first, _236781, _236779), iext(uri_rdf_rest, _236781, uri_rdf_nil), 6895 ^ _35321 : [(6942 ^ _35321) ^ [] : [-(iext(uri_owl_hasKey, _236791, _236789)), ic(_236791), ip(_236787), ip(_236783), ip(_236779), 6964 ^ _35321 : [(6965 ^ _35321) ^ [] : [-(icext(_236791, 6959 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6967 ^ _35321) ^ [] : [-(icext(_236791, 6960 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6969 ^ _35321) ^ [] : [-(iext(_236787, 6959 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6961 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6971 ^ _35321) ^ [] : [-(iext(_236787, 6960 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6961 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6973 ^ _35321) ^ [] : [-(iext(_236783, 6959 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6962 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6975 ^ _35321) ^ [] : [-(iext(_236783, 6960 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6962 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6977 ^ _35321) ^ [] : [-(iext(_236779, 6959 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6963 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6979 ^ _35321) ^ [] : [-(iext(_236779, 6960 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791], 6963 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]))], (6981 ^ _35321) ^ [] : [6959 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791] = 6960 ^ [_236779, _236781, _236783, _236785, _236787, _236789, _236791]]]], (6896 ^ _35321) ^ [] : [iext(uri_owl_hasKey, _236791, _236789), 6899 ^ _35321 : [(6900 ^ _35321) ^ [] : [-(ic(_236791))], (6902 ^ _35321) ^ [] : [-(ip(_236787))], (6904 ^ _35321) ^ [] : [-(ip(_236783))], (6906 ^ _35321) ^ [] : [-(ip(_236779))], (6908 ^ _35321) ^ [_238073, _238075, _238077, _238079, _238081] : [-(_238081 = _238079), icext(_236791, _238081), icext(_236791, _238079), iext(_236787, _238081, _238077), iext(_236787, _238079, _238077), iext(_236783, _238081, _238075), iext(_236783, _238079, _238075), iext(_236779, _238081, _238073), iext(_236779, _238079, _238073)]]]]], (6985 ^ _35321) ^ [_242143, _242145, _242147] : [7001 ^ _35321 : [(7002 ^ _35321) ^ [] : [-(iext(uri_owl_sourceIndividual, 7000 ^ [_242143, _242145, _242147], _242145))], (7004 ^ _35321) ^ [] : [-(iext(uri_owl_assertionProperty, 7000 ^ [_242143, _242145, _242147], _242147))], (7006 ^ _35321) ^ [] : [-(iext(uri_owl_targetValue, 7000 ^ [_242143, _242145, _242147], _242143))]], ir(_242145), iodp(_242147), lv(_242143), -(iext(_242147, _242145, _242143))], (7008 ^ _35321) ^ [_242920, _242922, _242924, _242926] : [7019 ^ _35321 : [(7020 ^ _35321) ^ [] : [-(iodp(_242924))], (7022 ^ _35321) ^ [] : [iext(_242924, _242922, _242920)]], iext(uri_owl_sourceIndividual, _242926, _242922), iext(uri_owl_assertionProperty, _242926, _242924), iext(uri_owl_targetValue, _242926, _242920)], (7024 ^ _35321) ^ [_243436, _243438, _243440] : [7040 ^ _35321 : [(7041 ^ _35321) ^ [] : [-(iext(uri_owl_sourceIndividual, 7039 ^ [_243436, _243438, _243440], _243438))], (7043 ^ _35321) ^ [] : [-(iext(uri_owl_assertionProperty, 7039 ^ [_243436, _243438, _243440], _243440))], (7045 ^ _35321) ^ [] : [-(iext(uri_owl_targetIndividual, 7039 ^ [_243436, _243438, _243440], _243436))]], ir(_243438), ip(_243440), ir(_243436), -(iext(_243440, _243438, _243436))], (7047 ^ _35321) ^ [_244213, _244215, _244217, _244219] : [iext(_244217, _244215, _244213), iext(uri_owl_sourceIndividual, _244219, _244215), iext(uri_owl_assertionProperty, _244219, _244217), iext(uri_owl_targetIndividual, _244219, _244213)], (7061 ^ _35321) ^ [_244624] : [icext(uri_xsd_anyURI, _244624), -(lv(_244624))], (7067 ^ _35321) ^ [] : [-(idc(uri_xsd_anyURI))], (7069 ^ _35321) ^ [_244865] : [icext(uri_xsd_base64Binary, _244865), -(lv(_244865))], (7075 ^ _35321) ^ [] : [-(idc(uri_xsd_base64Binary))], (7077 ^ _35321) ^ [_245106] : [icext(uri_xsd_boolean, _245106), -(lv(_245106))], (7083 ^ _35321) ^ [] : [-(idc(uri_xsd_boolean))], (7085 ^ _35321) ^ [_245347] : [icext(uri_xsd_byte, _245347), -(lv(_245347))], (7091 ^ _35321) ^ [] : [-(idc(uri_xsd_byte))], (7093 ^ _35321) ^ [_245588] : [icext(uri_xsd_dateTime, _245588), -(lv(_245588))], (7099 ^ _35321) ^ [] : [-(idc(uri_xsd_dateTime))], (7101 ^ _35321) ^ [_245829] : [icext(uri_xsd_dateTimeStamp, _245829), -(lv(_245829))], (7107 ^ _35321) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (7109 ^ _35321) ^ [_246070] : [icext(uri_xsd_decimal, _246070), -(lv(_246070))], (7115 ^ _35321) ^ [] : [-(idc(uri_xsd_decimal))], (7117 ^ _35321) ^ [_246311] : [icext(uri_xsd_double, _246311), -(lv(_246311))], (7123 ^ _35321) ^ [] : [-(idc(uri_xsd_double))], (7125 ^ _35321) ^ [_246552] : [icext(uri_xsd_float, _246552), -(lv(_246552))], (7131 ^ _35321) ^ [] : [-(idc(uri_xsd_float))], (7133 ^ _35321) ^ [_246793] : [icext(uri_xsd_hexBinary, _246793), -(lv(_246793))], (7139 ^ _35321) ^ [] : [-(idc(uri_xsd_hexBinary))], (7141 ^ _35321) ^ [_247034] : [icext(uri_xsd_int, _247034), -(lv(_247034))], (7147 ^ _35321) ^ [] : [-(idc(uri_xsd_int))], (7149 ^ _35321) ^ [_247275] : [icext(uri_xsd_integer, _247275), -(lv(_247275))], (7155 ^ _35321) ^ [] : [-(idc(uri_xsd_integer))], (7157 ^ _35321) ^ [_247516] : [icext(uri_xsd_language, _247516), -(lv(_247516))], (7163 ^ _35321) ^ [] : [-(idc(uri_xsd_language))], (7165 ^ _35321) ^ [_247757] : [icext(uri_xsd_long, _247757), -(lv(_247757))], (7171 ^ _35321) ^ [] : [-(idc(uri_xsd_long))], (7173 ^ _35321) ^ [_247998] : [icext(uri_xsd_Name, _247998), -(lv(_247998))], (7179 ^ _35321) ^ [] : [-(idc(uri_xsd_Name))], (7181 ^ _35321) ^ [_248239] : [icext(uri_xsd_NCName, _248239), -(lv(_248239))], (7187 ^ _35321) ^ [] : [-(idc(uri_xsd_NCName))], (7189 ^ _35321) ^ [_248480] : [icext(uri_xsd_negativeInteger, _248480), -(lv(_248480))], (7195 ^ _35321) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7197 ^ _35321) ^ [_248721] : [icext(uri_xsd_NMTOKEN, _248721), -(lv(_248721))], (7203 ^ _35321) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7205 ^ _35321) ^ [_248962] : [icext(uri_xsd_nonNegativeInteger, _248962), -(lv(_248962))], (7211 ^ _35321) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7213 ^ _35321) ^ [_249203] : [icext(uri_xsd_nonPositiveInteger, _249203), -(lv(_249203))], (7219 ^ _35321) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7221 ^ _35321) ^ [_249444] : [icext(uri_xsd_normalizedString, _249444), -(lv(_249444))], (7227 ^ _35321) ^ [] : [-(idc(uri_xsd_normalizedString))], (7229 ^ _35321) ^ [_249685] : [icext(uri_rdf_PlainLiteral, _249685), -(lv(_249685))], (7235 ^ _35321) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7237 ^ _35321) ^ [_249926] : [icext(uri_xsd_positiveInteger, _249926), -(lv(_249926))], (7243 ^ _35321) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7245 ^ _35321) ^ [_250167] : [icext(uri_owl_rational, _250167), -(lv(_250167))], (7251 ^ _35321) ^ [] : [-(idc(uri_owl_rational))], (7253 ^ _35321) ^ [_250408] : [icext(uri_owl_real, _250408), -(lv(_250408))], (7259 ^ _35321) ^ [] : [-(idc(uri_owl_real))], (7261 ^ _35321) ^ [_250649] : [icext(uri_xsd_short, _250649), -(lv(_250649))], (7267 ^ _35321) ^ [] : [-(idc(uri_xsd_short))], (7269 ^ _35321) ^ [_250890] : [icext(uri_xsd_string, _250890), -(lv(_250890))], (7275 ^ _35321) ^ [] : [-(idc(uri_xsd_string))], (7277 ^ _35321) ^ [_251131] : [icext(uri_xsd_token, _251131), -(lv(_251131))], (7283 ^ _35321) ^ [] : [-(idc(uri_xsd_token))], (7285 ^ _35321) ^ [_251372] : [icext(uri_xsd_unsignedByte, _251372), -(lv(_251372))], (7291 ^ _35321) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7293 ^ _35321) ^ [_251613] : [icext(uri_xsd_unsignedInt, _251613), -(lv(_251613))], (7299 ^ _35321) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7301 ^ _35321) ^ [_251854] : [icext(uri_xsd_unsignedLong, _251854), -(lv(_251854))], (7307 ^ _35321) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7309 ^ _35321) ^ [_252095] : [icext(uri_xsd_unsignedShort, _252095), -(lv(_252095))], (7315 ^ _35321) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7317 ^ _35321) ^ [_252336] : [icext(uri_rdf_XMLLiteral, _252336), -(lv(_252336))], (7323 ^ _35321) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7325 ^ _35321) ^ [_252577] : [icext(uri_xsd_anyURI, _252577), icext(uri_xsd_base64Binary, _252577)], (7331 ^ _35321) ^ [_252766] : [icext(uri_xsd_anyURI, _252766), icext(uri_xsd_boolean, _252766)], (7337 ^ _35321) ^ [_252955] : [icext(uri_xsd_anyURI, _252955), icext(uri_xsd_dateTime, _252955)], (7343 ^ _35321) ^ [_253144] : [icext(uri_xsd_anyURI, _253144), icext(uri_xsd_double, _253144)], (7349 ^ _35321) ^ [_253333] : [icext(uri_xsd_anyURI, _253333), icext(uri_xsd_float, _253333)], (7355 ^ _35321) ^ [_253522] : [icext(uri_xsd_anyURI, _253522), icext(uri_xsd_hexBinary, _253522)], (7361 ^ _35321) ^ [_253711] : [icext(uri_xsd_anyURI, _253711), icext(uri_rdf_PlainLiteral, _253711)], (7367 ^ _35321) ^ [_253900] : [icext(uri_xsd_anyURI, _253900), icext(uri_owl_real, _253900)], (7373 ^ _35321) ^ [_254089] : [icext(uri_xsd_anyURI, _254089), icext(uri_rdf_XMLLiteral, _254089)], (7379 ^ _35321) ^ [_254278] : [icext(uri_xsd_base64Binary, _254278), icext(uri_xsd_boolean, _254278)], (7385 ^ _35321) ^ [_254467] : [icext(uri_xsd_base64Binary, _254467), icext(uri_xsd_dateTime, _254467)], (7391 ^ _35321) ^ [_254656] : [icext(uri_xsd_base64Binary, _254656), icext(uri_xsd_double, _254656)], (7397 ^ _35321) ^ [_254845] : [icext(uri_xsd_base64Binary, _254845), icext(uri_xsd_float, _254845)], (7403 ^ _35321) ^ [_255034] : [icext(uri_xsd_base64Binary, _255034), icext(uri_xsd_hexBinary, _255034)], (7409 ^ _35321) ^ [_255223] : [icext(uri_xsd_base64Binary, _255223), icext(uri_rdf_PlainLiteral, _255223)], (7415 ^ _35321) ^ [_255412] : [icext(uri_xsd_base64Binary, _255412), icext(uri_owl_real, _255412)], (7421 ^ _35321) ^ [_255601] : [icext(uri_xsd_base64Binary, _255601), icext(uri_rdf_XMLLiteral, _255601)], (7427 ^ _35321) ^ [_255790] : [icext(uri_xsd_boolean, _255790), icext(uri_xsd_dateTime, _255790)], (7433 ^ _35321) ^ [_255979] : [icext(uri_xsd_boolean, _255979), icext(uri_xsd_double, _255979)], (7439 ^ _35321) ^ [_256168] : [icext(uri_xsd_boolean, _256168), icext(uri_xsd_float, _256168)], (7445 ^ _35321) ^ [_256357] : [icext(uri_xsd_boolean, _256357), icext(uri_xsd_hexBinary, _256357)], (7451 ^ _35321) ^ [_256546] : [icext(uri_xsd_boolean, _256546), icext(uri_rdf_PlainLiteral, _256546)], (7457 ^ _35321) ^ [_256735] : [icext(uri_xsd_boolean, _256735), icext(uri_owl_real, _256735)], (7463 ^ _35321) ^ [_256924] : [icext(uri_xsd_boolean, _256924), icext(uri_rdf_XMLLiteral, _256924)], (7469 ^ _35321) ^ [_257113] : [icext(uri_xsd_dateTime, _257113), icext(uri_xsd_double, _257113)], (7475 ^ _35321) ^ [_257302] : [icext(uri_xsd_dateTime, _257302), icext(uri_xsd_float, _257302)], (7481 ^ _35321) ^ [_257491] : [icext(uri_xsd_dateTime, _257491), icext(uri_xsd_hexBinary, _257491)], (7487 ^ _35321) ^ [_257680] : [icext(uri_xsd_dateTime, _257680), icext(uri_rdf_PlainLiteral, _257680)], (7493 ^ _35321) ^ [_257869] : [icext(uri_xsd_dateTime, _257869), icext(uri_owl_real, _257869)], (7499 ^ _35321) ^ [_258058] : [icext(uri_xsd_dateTime, _258058), icext(uri_rdf_XMLLiteral, _258058)], (7505 ^ _35321) ^ [_258247] : [icext(uri_xsd_double, _258247), icext(uri_xsd_float, _258247)], (7511 ^ _35321) ^ [_258436] : [icext(uri_xsd_double, _258436), icext(uri_xsd_hexBinary, _258436)], (7517 ^ _35321) ^ [_258625] : [icext(uri_xsd_double, _258625), icext(uri_rdf_PlainLiteral, _258625)], (7523 ^ _35321) ^ [_258814] : [icext(uri_xsd_double, _258814), icext(uri_owl_real, _258814)], (7529 ^ _35321) ^ [_259003] : [icext(uri_xsd_double, _259003), icext(uri_rdf_XMLLiteral, _259003)], (7535 ^ _35321) ^ [_259192] : [icext(uri_xsd_float, _259192), icext(uri_xsd_hexBinary, _259192)], (7541 ^ _35321) ^ [_259381] : [icext(uri_xsd_float, _259381), icext(uri_rdf_PlainLiteral, _259381)], (7547 ^ _35321) ^ [_259570] : [icext(uri_xsd_float, _259570), icext(uri_owl_real, _259570)], (7553 ^ _35321) ^ [_259759] : [icext(uri_xsd_float, _259759), icext(uri_rdf_XMLLiteral, _259759)], (7559 ^ _35321) ^ [_259948] : [icext(uri_xsd_hexBinary, _259948), icext(uri_rdf_PlainLiteral, _259948)], (7565 ^ _35321) ^ [_260137] : [icext(uri_xsd_hexBinary, _260137), icext(uri_owl_real, _260137)], (7571 ^ _35321) ^ [_260326] : [icext(uri_xsd_hexBinary, _260326), icext(uri_rdf_XMLLiteral, _260326)], (7577 ^ _35321) ^ [_260515] : [icext(uri_rdf_PlainLiteral, _260515), icext(uri_owl_real, _260515)], (7583 ^ _35321) ^ [_260704] : [icext(uri_rdf_PlainLiteral, _260704), icext(uri_rdf_XMLLiteral, _260704)], (7589 ^ _35321) ^ [_260893] : [icext(uri_owl_real, _260893), icext(uri_rdf_XMLLiteral, _260893)], (7595 ^ _35321) ^ [_261082] : [icext(uri_xsd_byte, _261082), -(icext(uri_xsd_short, _261082))], (7601 ^ _35321) ^ [_261272] : [icext(uri_xsd_dateTimeStamp, _261272), -(icext(uri_xsd_dateTime, _261272))], (7607 ^ _35321) ^ [_261462] : [icext(uri_xsd_decimal, _261462), -(icext(uri_owl_rational, _261462))], (7613 ^ _35321) ^ [_261652] : [icext(uri_xsd_int, _261652), -(icext(uri_xsd_long, _261652))], (7619 ^ _35321) ^ [_261842] : [icext(uri_xsd_integer, _261842), -(icext(uri_xsd_decimal, _261842))], (7625 ^ _35321) ^ [_262032] : [icext(uri_xsd_language, _262032), -(icext(uri_xsd_token, _262032))], (7631 ^ _35321) ^ [_262222] : [icext(uri_xsd_long, _262222), -(icext(uri_xsd_integer, _262222))], (7637 ^ _35321) ^ [_262412] : [icext(uri_xsd_Name, _262412), -(icext(uri_xsd_token, _262412))], (7643 ^ _35321) ^ [_262602] : [icext(uri_xsd_NCName, _262602), -(icext(uri_xsd_Name, _262602))], (7649 ^ _35321) ^ [_262792] : [icext(uri_xsd_negativeInteger, _262792), -(icext(uri_xsd_nonPositiveInteger, _262792))], (7655 ^ _35321) ^ [_262982] : [icext(uri_xsd_NMTOKEN, _262982), -(icext(uri_xsd_token, _262982))], (7661 ^ _35321) ^ [_263172] : [icext(uri_xsd_nonNegativeInteger, _263172), -(icext(uri_xsd_integer, _263172))], (7667 ^ _35321) ^ [_263362] : [icext(uri_xsd_nonPositiveInteger, _263362), -(icext(uri_xsd_integer, _263362))], (7673 ^ _35321) ^ [_263552] : [icext(uri_xsd_normalizedString, _263552), -(icext(uri_xsd_string, _263552))], (7679 ^ _35321) ^ [_263742] : [icext(uri_xsd_positiveInteger, _263742), -(icext(uri_xsd_nonNegativeInteger, _263742))], (7685 ^ _35321) ^ [_263932] : [icext(uri_owl_rational, _263932), -(icext(uri_owl_real, _263932))], (7691 ^ _35321) ^ [_264122] : [icext(uri_xsd_short, _264122), -(icext(uri_xsd_int, _264122))], (7697 ^ _35321) ^ [_264312] : [icext(uri_xsd_string, _264312), -(icext(uri_rdf_PlainLiteral, _264312))], (7703 ^ _35321) ^ [_264502] : [icext(uri_xsd_token, _264502), -(icext(uri_xsd_normalizedString, _264502))], (7709 ^ _35321) ^ [_264692] : [icext(uri_xsd_unsignedByte, _264692), -(icext(uri_xsd_unsignedShort, _264692))], (7715 ^ _35321) ^ [_264882] : [icext(uri_xsd_unsignedInt, _264882), -(icext(uri_xsd_unsignedLong, _264882))], (7721 ^ _35321) ^ [_265072] : [icext(uri_xsd_unsignedLong, _265072), -(icext(uri_xsd_nonNegativeInteger, _265072))], (7727 ^ _35321) ^ [_265262] : [icext(uri_xsd_unsignedShort, _265262), -(icext(uri_xsd_unsignedInt, _265262))], (7733 ^ _35321) ^ [_265466, _265468] : [iext(uri_rdf_langRange, _265468, _265466), 7736 ^ _35321 : [(7737 ^ _35321) ^ [] : [-(ir(_265468))], (7739 ^ _35321) ^ [] : [-(lv(_265466))]]], (7741 ^ _35321) ^ [] : [-(iodp(uri_rdf_langRange))], (7743 ^ _35321) ^ [_265802, _265804] : [iext(uri_xsd_length, _265804, _265802), 7746 ^ _35321 : [(7747 ^ _35321) ^ [] : [-(ir(_265804))], (7749 ^ _35321) ^ [] : [-(lv(_265802))]]], (7751 ^ _35321) ^ [] : [-(iodp(uri_xsd_length))], (7753 ^ _35321) ^ [_266138, _266140] : [iext(uri_xsd_maxExclusive, _266140, _266138), 7756 ^ _35321 : [(7757 ^ _35321) ^ [] : [-(ir(_266140))], (7759 ^ _35321) ^ [] : [-(lv(_266138))]]], (7761 ^ _35321) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7763 ^ _35321) ^ [_266474, _266476] : [iext(uri_xsd_maxInclusive, _266476, _266474), 7766 ^ _35321 : [(7767 ^ _35321) ^ [] : [-(ir(_266476))], (7769 ^ _35321) ^ [] : [-(lv(_266474))]]], (7771 ^ _35321) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7773 ^ _35321) ^ [_266810, _266812] : [iext(uri_xsd_maxLength, _266812, _266810), 7776 ^ _35321 : [(7777 ^ _35321) ^ [] : [-(ir(_266812))], (7779 ^ _35321) ^ [] : [-(lv(_266810))]]], (7781 ^ _35321) ^ [] : [-(iodp(uri_xsd_maxLength))], (7783 ^ _35321) ^ [_267146, _267148] : [iext(uri_xsd_minExclusive, _267148, _267146), 7786 ^ _35321 : [(7787 ^ _35321) ^ [] : [-(ir(_267148))], (7789 ^ _35321) ^ [] : [-(lv(_267146))]]], (7791 ^ _35321) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7793 ^ _35321) ^ [_267482, _267484] : [iext(uri_xsd_minInclusive, _267484, _267482), 7796 ^ _35321 : [(7797 ^ _35321) ^ [] : [-(ir(_267484))], (7799 ^ _35321) ^ [] : [-(lv(_267482))]]], (7801 ^ _35321) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7803 ^ _35321) ^ [_267818, _267820] : [iext(uri_xsd_minLength, _267820, _267818), 7806 ^ _35321 : [(7807 ^ _35321) ^ [] : [-(ir(_267820))], (7809 ^ _35321) ^ [] : [-(lv(_267818))]]], (7811 ^ _35321) ^ [] : [-(iodp(uri_xsd_minLength))], (7821 ^ _35321) ^ [] : [-(iodp(uri_xsd_pattern))], (7813 ^ _35321) ^ [_268154, _268156] : [iext(uri_xsd_pattern, _268156, _268154), 7816 ^ _35321 : [(7817 ^ _35321) ^ [] : [-(ir(_268156))], (7819 ^ _35321) ^ [] : [-(lv(_268154))]]]], input).
% 0.45/1.39  ncf('1',plain,[iext(uri_ex_p, uri_ex_s, literal_plain(dat_str_foo))],start(7825 ^ 0,bind([[_275149], [literal_plain(dat_str_foo)]]))).
% 0.45/1.39  ncf('1.1',plain,[-(iext(uri_ex_p, uri_ex_s, literal_plain(dat_str_foo)))],extension(7823 ^ 1)).
% 0.45/1.39  %-----------------------------------------------------
% 0.45/1.39  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------