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

% Computer : n027.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:36 EDT 2023

% Result   : Theorem 147.65s 143.30s
% Output   : Proof 147.65s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11  % Problem  : SWB025+1 : TPTP v8.1.2. Released v5.2.0.
% 0.00/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n027.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 21:19:20 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 147.65/143.30  
% 147.65/143.30  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 147.65/143.30  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 147.65/143.30  %-----------------------------------------------------
% 147.65/143.30  ncf(matrix, plain, [(7702 ^ _34933) ^ [] : [iext(uri_ex_hasUncle, uri_ex_alice, uri_ex_charly), iext(uri_ex_hasCousin, uri_ex_bob, uri_ex_alice)], (7672 ^ _34933) ^ [] : [-(iext(uri_owl_propertyChainAxiom, uri_ex_hasUncle, 7666 ^ []))], (7674 ^ _34933) ^ [] : [-(iext(uri_rdf_first, 7666 ^ [], uri_ex_hasCousin))], (7676 ^ _34933) ^ [] : [-(iext(uri_rdf_rest, 7666 ^ [], 7667 ^ []))], (7678 ^ _34933) ^ [] : [-(iext(uri_rdf_first, 7667 ^ [], uri_ex_hasFather))], (7680 ^ _34933) ^ [] : [-(iext(uri_rdf_rest, 7667 ^ [], uri_rdf_nil))], (7682 ^ _34933) ^ [] : [-(iext(uri_owl_propertyChainAxiom, uri_ex_hasCousin, 7668 ^ []))], (7684 ^ _34933) ^ [] : [-(iext(uri_rdf_first, 7668 ^ [], uri_ex_hasUncle))], (7686 ^ _34933) ^ [] : [-(iext(uri_rdf_rest, 7668 ^ [], 7669 ^ []))], (7688 ^ _34933) ^ [] : [-(iext(uri_rdf_first, 7669 ^ [], 7670 ^ []))], (7690 ^ _34933) ^ [] : [-(iext(uri_rdf_rest, 7669 ^ [], uri_rdf_nil))], (7692 ^ _34933) ^ [] : [-(iext(uri_owl_inverseOf, 7670 ^ [], uri_ex_hasFather))], (7694 ^ _34933) ^ [] : [-(iext(uri_ex_hasFather, uri_ex_alice, uri_ex_dave))], (7696 ^ _34933) ^ [] : [-(iext(uri_ex_hasCousin, uri_ex_alice, uri_ex_bob))], (7698 ^ _34933) ^ [] : [-(iext(uri_ex_hasFather, uri_ex_bob, uri_ex_charly))], (7700 ^ _34933) ^ [] : [-(iext(uri_ex_hasUncle, uri_ex_bob, uri_ex_dave))], (2 ^ _34933) ^ [_34956, _34958, _34960] : [iext(_34958, _34960, _34956), -(ip(_34958))], (8 ^ _34933) ^ [_35035] : [-(ir(_35035))], (10 ^ _34933) ^ [_35057] : [lv(_35057), -(ir(_35057))], (16 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (18 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (20 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (22 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (24 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (26 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (28 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (30 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (32 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (34 ^ _34933) ^ [_35302] : [iext(uri_rdf_type, _35302, uri_rdf_Property), -(ip(_35302))], (40 ^ _34933) ^ [_35373] : [ip(_35373), -(iext(uri_rdf_type, _35373, uri_rdf_Property))], (46 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (48 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (50 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (52 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (54 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (56 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (58 ^ _34933) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (60 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (62 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (64 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (66 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (68 ^ _34933) ^ [_35663, _35665] : [iext(uri_rdf_type, _35665, _35663), -(icext(_35663, _35665))], (74 ^ _34933) ^ [_35738, _35740] : [icext(_35738, _35740), -(iext(uri_rdf_type, _35740, _35738))], (80 ^ _34933) ^ [_35819] : [ic(_35819), -(iext(uri_rdfs_subClassOf, _35819, uri_rdfs_Resource))], (86 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (88 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (90 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (92 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (94 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (96 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (98 ^ _34933) ^ [_36002] : [icext(uri_rdfs_ContainerMembershipProperty, _36002), -(iext(uri_rdfs_subPropertyOf, _36002, uri_rdfs_member))], (104 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (106 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (108 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (110 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (112 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (114 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (116 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (118 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (120 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (122 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (124 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (126 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (128 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (130 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (132 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (134 ^ _34933) ^ [_36349] : [icext(uri_rdfs_Datatype, _36349), -(iext(uri_rdfs_subClassOf, _36349, uri_rdfs_Literal))], (140 ^ _34933) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (142 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (144 ^ _34933) ^ [_36462, _36464, _36466, _36468] : [-(icext(_36466, _36464)), iext(uri_rdfs_domain, _36468, _36466), iext(_36468, _36464, _36462)], (154 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (156 ^ _34933) ^ [_36633] : [ic(_36633), -(icext(uri_rdfs_Class, _36633))], (162 ^ _34933) ^ [_36702] : [icext(uri_rdfs_Class, _36702), -(ic(_36702))], (168 ^ _34933) ^ [_36789] : [ir(_36789), -(icext(uri_rdfs_Resource, _36789))], (174 ^ _34933) ^ [_36858] : [icext(uri_rdfs_Resource, _36858), -(ir(_36858))], (180 ^ _34933) ^ [_36945] : [lv(_36945), -(icext(uri_rdfs_Literal, _36945))], (186 ^ _34933) ^ [_37014] : [icext(uri_rdfs_Literal, _37014), -(lv(_37014))], (192 ^ _34933) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (194 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (196 ^ _34933) ^ [_37125, _37127, _37129, _37131] : [-(icext(_37129, _37125)), iext(uri_rdfs_range, _37131, _37129), iext(_37131, _37127, _37125)], (206 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (208 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (210 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (212 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (214 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (216 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (218 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (220 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (222 ^ _34933) ^ [_37410, _37412] : [iext(uri_rdfs_subClassOf, _37412, _37410), 225 ^ _34933 : [(226 ^ _34933) ^ [] : [-(ic(_37412))], (228 ^ _34933) ^ [] : [-(ic(_37410))], (230 ^ _34933) ^ [_37525] : [icext(_37412, _37525), -(icext(_37410, _37525))]]], (236 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (238 ^ _34933) ^ [_37630] : [ic(_37630), -(iext(uri_rdfs_subClassOf, _37630, _37630))], (244 ^ _34933) ^ [_37705, _37707, _37709] : [-(iext(uri_rdfs_subClassOf, _37709, _37705)), iext(uri_rdfs_subClassOf, _37709, _37707), iext(uri_rdfs_subClassOf, _37707, _37705)], (254 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (256 ^ _34933) ^ [_37862, _37864] : [iext(uri_rdfs_subPropertyOf, _37864, _37862), 259 ^ _34933 : [(260 ^ _34933) ^ [] : [-(ip(_37864))], (262 ^ _34933) ^ [] : [-(ip(_37862))], (264 ^ _34933) ^ [_37984, _37986] : [iext(_37864, _37986, _37984), -(iext(_37862, _37986, _37984))]]], (270 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (272 ^ _34933) ^ [_38095] : [ip(_38095), -(iext(uri_rdfs_subPropertyOf, _38095, _38095))], (278 ^ _34933) ^ [_38170, _38172, _38174] : [-(iext(uri_rdfs_subPropertyOf, _38174, _38170)), iext(uri_rdfs_subPropertyOf, _38174, _38172), iext(uri_rdfs_subPropertyOf, _38172, _38170)], (288 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (290 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (292 ^ _34933) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (294 ^ _34933) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (296 ^ _34933) ^ [_38381] : [ic(_38381), 299 ^ _34933 : [(300 ^ _34933) ^ [_38439] : [icext(_38381, _38439), -(ir(_38439))]]], (306 ^ _34933) ^ [_38518] : [ic(_38518), -(ir(_38518))], (312 ^ _34933) ^ [_38601] : [ic(_38601), -(iext(uri_rdf_type, _38601, uri_rdfs_Class))], (318 ^ _34933) ^ [_38672] : [iext(uri_rdf_type, _38672, uri_rdfs_Class), -(ic(_38672))], (324 ^ _34933) ^ [_38749] : [idc(_38749), 327 ^ _34933 : [(328 ^ _34933) ^ [_38807] : [icext(_38749, _38807), -(lv(_38807))]]], (334 ^ _34933) ^ [_38886] : [idc(_38886), -(ic(_38886))], (340 ^ _34933) ^ [_38969] : [idc(_38969), -(iext(uri_rdf_type, _38969, uri_rdfs_Datatype))], (346 ^ _34933) ^ [_39040] : [iext(uri_rdf_type, _39040, uri_rdfs_Datatype), -(idc(_39040))], (352 ^ _34933) ^ [_39117] : [ioap(_39117), 355 ^ _34933 : [(356 ^ _34933) ^ [_39186, _39188] : [iext(_39117, _39188, _39186), 359 ^ _34933 : [(360 ^ _34933) ^ [] : [-(ir(_39188))], (362 ^ _34933) ^ [] : [-(ir(_39186))]]]]], (364 ^ _34933) ^ [_39293] : [ioap(_39293), -(ip(_39293))], (370 ^ _34933) ^ [_39376] : [ioap(_39376), -(iext(uri_rdf_type, _39376, uri_owl_AnnotationProperty))], (376 ^ _34933) ^ [_39447] : [iext(uri_rdf_type, _39447, uri_owl_AnnotationProperty), -(ioap(_39447))], (382 ^ _34933) ^ [_39524] : [iodp(_39524), 385 ^ _34933 : [(386 ^ _34933) ^ [_39593, _39595] : [iext(_39524, _39595, _39593), 389 ^ _34933 : [(390 ^ _34933) ^ [] : [-(ir(_39595))], (392 ^ _34933) ^ [] : [-(lv(_39593))]]]]], (394 ^ _34933) ^ [_39700] : [iodp(_39700), -(ip(_39700))], (400 ^ _34933) ^ [_39783] : [iodp(_39783), -(iext(uri_rdf_type, _39783, uri_owl_DatatypeProperty))], (406 ^ _34933) ^ [_39854] : [iext(uri_rdf_type, _39854, uri_owl_DatatypeProperty), -(iodp(_39854))], (412 ^ _34933) ^ [_39931] : [ioxp(_39931), 415 ^ _34933 : [(416 ^ _34933) ^ [_40000, _40002] : [iext(_39931, _40002, _40000), 419 ^ _34933 : [(420 ^ _34933) ^ [] : [-(ix(_40002))], (422 ^ _34933) ^ [] : [-(ix(_40000))]]]]], (424 ^ _34933) ^ [_40107] : [ioxp(_40107), -(ip(_40107))], (430 ^ _34933) ^ [_40190] : [ioxp(_40190), -(iext(uri_rdf_type, _40190, uri_owl_OntologyProperty))], (436 ^ _34933) ^ [_40261] : [iext(uri_rdf_type, _40261, uri_owl_OntologyProperty), -(ioxp(_40261))], (442 ^ _34933) ^ [_40338] : [ip(_40338), 445 ^ _34933 : [(446 ^ _34933) ^ [_40407, _40409] : [iext(_40338, _40409, _40407), 449 ^ _34933 : [(450 ^ _34933) ^ [] : [-(ir(_40409))], (452 ^ _34933) ^ [] : [-(ir(_40407))]]]]], (454 ^ _34933) ^ [_40514] : [ip(_40514), -(ir(_40514))], (460 ^ _34933) ^ [_40597] : [ip(_40597), -(iext(uri_rdf_type, _40597, uri_rdf_Property))], (466 ^ _34933) ^ [_40668] : [iext(uri_rdf_type, _40668, uri_rdf_Property), -(ip(_40668))], (473 ^ _34933) ^ [] : [-(ir(471 ^ []))], (475 ^ _34933) ^ [_40781] : [ir(_40781), -(iext(uri_rdf_type, _40781, uri_rdfs_Resource))], (481 ^ _34933) ^ [_40852] : [iext(uri_rdf_type, _40852, uri_rdfs_Resource), -(ir(_40852))], (487 ^ _34933) ^ [_40929] : [ix(_40929), -(ir(_40929))], (493 ^ _34933) ^ [_41012] : [ix(_41012), -(iext(uri_rdf_type, _41012, uri_owl_Ontology))], (499 ^ _34933) ^ [_41083] : [iext(uri_rdf_type, _41083, uri_owl_Ontology), -(ix(_41083))], (505 ^ _34933) ^ [_41160] : [lv(_41160), -(ir(_41160))], (511 ^ _34933) ^ [_41243] : [lv(_41243), -(iext(uri_rdf_type, _41243, uri_rdfs_Literal))], (517 ^ _34933) ^ [_41314] : [iext(uri_rdf_type, _41314, uri_rdfs_Literal), -(lv(_41314))], (523 ^ _34933) ^ [_41391] : [icext(uri_owl_AllDifferent, _41391), -(ir(_41391))], (529 ^ _34933) ^ [] : [-(ic(uri_owl_AllDifferent))], (531 ^ _34933) ^ [_41482] : [icext(uri_owl_AllDisjointClasses, _41482), -(ir(_41482))], (537 ^ _34933) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (539 ^ _34933) ^ [_41573] : [icext(uri_owl_AllDisjointProperties, _41573), -(ir(_41573))], (545 ^ _34933) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (547 ^ _34933) ^ [_41664] : [icext(uri_owl_Annotation, _41664), -(ir(_41664))], (553 ^ _34933) ^ [] : [-(ic(uri_owl_Annotation))], (555 ^ _34933) ^ [_41767] : [icext(uri_owl_AnnotationProperty, _41767), -(ioap(_41767))], (561 ^ _34933) ^ [_41836] : [ioap(_41836), -(icext(uri_owl_AnnotationProperty, _41836))], (567 ^ _34933) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (569 ^ _34933) ^ [_41929] : [icext(uri_owl_AsymmetricProperty, _41929), -(ip(_41929))], (575 ^ _34933) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (577 ^ _34933) ^ [_42020] : [icext(uri_owl_Axiom, _42020), -(ir(_42020))], (583 ^ _34933) ^ [] : [-(ic(uri_owl_Axiom))], (585 ^ _34933) ^ [_42123] : [icext(uri_owl_Class, _42123), -(ic(_42123))], (591 ^ _34933) ^ [_42192] : [ic(_42192), -(icext(uri_owl_Class, _42192))], (597 ^ _34933) ^ [] : [-(ic(uri_owl_Class))], (599 ^ _34933) ^ [_42297] : [icext(uri_rdfs_Class, _42297), -(ic(_42297))], (605 ^ _34933) ^ [_42366] : [ic(_42366), -(icext(uri_rdfs_Class, _42366))], (611 ^ _34933) ^ [] : [-(ic(uri_rdfs_Class))], (613 ^ _34933) ^ [_42471] : [icext(uri_owl_DataRange, _42471), -(idc(_42471))], (619 ^ _34933) ^ [_42540] : [idc(_42540), -(icext(uri_owl_DataRange, _42540))], (625 ^ _34933) ^ [] : [-(ic(uri_owl_DataRange))], (627 ^ _34933) ^ [_42645] : [icext(uri_rdfs_Datatype, _42645), -(idc(_42645))], (633 ^ _34933) ^ [_42714] : [idc(_42714), -(icext(uri_rdfs_Datatype, _42714))], (639 ^ _34933) ^ [] : [-(ic(uri_rdfs_Datatype))], (641 ^ _34933) ^ [_42819] : [icext(uri_owl_DatatypeProperty, _42819), -(iodp(_42819))], (647 ^ _34933) ^ [_42888] : [iodp(_42888), -(icext(uri_owl_DatatypeProperty, _42888))], (653 ^ _34933) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (655 ^ _34933) ^ [_42981] : [icext(uri_owl_DeprecatedClass, _42981), -(ic(_42981))], (661 ^ _34933) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (663 ^ _34933) ^ [_43072] : [icext(uri_owl_DeprecatedProperty, _43072), -(ip(_43072))], (669 ^ _34933) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (671 ^ _34933) ^ [_43163] : [icext(uri_owl_FunctionalProperty, _43163), -(ip(_43163))], (677 ^ _34933) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (679 ^ _34933) ^ [_43254] : [icext(uri_owl_InverseFunctionalProperty, _43254), -(ip(_43254))], (685 ^ _34933) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (687 ^ _34933) ^ [_43345] : [icext(uri_owl_IrreflexiveProperty, _43345), -(ip(_43345))], (693 ^ _34933) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (695 ^ _34933) ^ [_43448] : [icext(uri_rdfs_Literal, _43448), -(lv(_43448))], (701 ^ _34933) ^ [_43517] : [lv(_43517), -(icext(uri_rdfs_Literal, _43517))], (707 ^ _34933) ^ [] : [-(idc(uri_rdfs_Literal))], (709 ^ _34933) ^ [_43610] : [icext(uri_owl_NamedIndividual, _43610), -(ir(_43610))], (715 ^ _34933) ^ [] : [-(ic(uri_owl_NamedIndividual))], (717 ^ _34933) ^ [_43701] : [icext(uri_owl_NegativePropertyAssertion, _43701), -(ir(_43701))], (723 ^ _34933) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (725 ^ _34933) ^ [_43801] : [icext(uri_owl_Nothing, _43801)], (727 ^ _34933) ^ [] : [-(ic(uri_owl_Nothing))], (729 ^ _34933) ^ [_43854] : [icext(uri_owl_ObjectProperty, _43854), -(ip(_43854))], (735 ^ _34933) ^ [_43923] : [ip(_43923), -(icext(uri_owl_ObjectProperty, _43923))], (741 ^ _34933) ^ [] : [-(ic(uri_owl_ObjectProperty))], (743 ^ _34933) ^ [_44028] : [icext(uri_owl_Ontology, _44028), -(ix(_44028))], (749 ^ _34933) ^ [_44097] : [ix(_44097), -(icext(uri_owl_Ontology, _44097))], (755 ^ _34933) ^ [] : [-(ic(uri_owl_Ontology))], (757 ^ _34933) ^ [_44202] : [icext(uri_owl_OntologyProperty, _44202), -(ioxp(_44202))], (763 ^ _34933) ^ [_44271] : [ioxp(_44271), -(icext(uri_owl_OntologyProperty, _44271))], (769 ^ _34933) ^ [] : [-(ic(uri_owl_OntologyProperty))], (771 ^ _34933) ^ [_44376] : [icext(uri_rdf_Property, _44376), -(ip(_44376))], (777 ^ _34933) ^ [_44445] : [ip(_44445), -(icext(uri_rdf_Property, _44445))], (783 ^ _34933) ^ [] : [-(ic(uri_rdf_Property))], (785 ^ _34933) ^ [_44538] : [icext(uri_owl_ReflexiveProperty, _44538), -(ip(_44538))], (791 ^ _34933) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (793 ^ _34933) ^ [_44641] : [icext(uri_rdfs_Resource, _44641), -(ir(_44641))], (799 ^ _34933) ^ [_44710] : [ir(_44710), -(icext(uri_rdfs_Resource, _44710))], (805 ^ _34933) ^ [] : [-(ic(uri_rdfs_Resource))], (807 ^ _34933) ^ [_44803] : [icext(uri_owl_Restriction, _44803), -(ic(_44803))], (813 ^ _34933) ^ [] : [-(ic(uri_owl_Restriction))], (815 ^ _34933) ^ [_44894] : [icext(uri_owl_SymmetricProperty, _44894), -(ip(_44894))], (821 ^ _34933) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (823 ^ _34933) ^ [_44997] : [icext(uri_owl_Thing, _44997), -(ir(_44997))], (829 ^ _34933) ^ [_45066] : [ir(_45066), -(icext(uri_owl_Thing, _45066))], (835 ^ _34933) ^ [] : [-(ic(uri_owl_Thing))], (837 ^ _34933) ^ [_45159] : [icext(uri_owl_TransitiveProperty, _45159), -(ip(_45159))], (843 ^ _34933) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (845 ^ _34933) ^ [_45250, _45252] : [iext(uri_owl_allValuesFrom, _45252, _45250), 848 ^ _34933 : [(849 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _45252))], (851 ^ _34933) ^ [] : [-(ic(_45250))]]], (853 ^ _34933) ^ [] : [-(ip(uri_owl_allValuesFrom))], (855 ^ _34933) ^ [_45371, _45373] : [iext(uri_owl_annotatedProperty, _45373, _45371), 858 ^ _34933 : [(859 ^ _34933) ^ [] : [-(ir(_45373))], (861 ^ _34933) ^ [] : [-(ir(_45371))]]], (863 ^ _34933) ^ [] : [-(ip(uri_owl_annotatedProperty))], (865 ^ _34933) ^ [_45490, _45492] : [iext(uri_owl_annotatedSource, _45492, _45490), 868 ^ _34933 : [(869 ^ _34933) ^ [] : [-(ir(_45492))], (871 ^ _34933) ^ [] : [-(ir(_45490))]]], (873 ^ _34933) ^ [] : [-(ip(uri_owl_annotatedSource))], (875 ^ _34933) ^ [_45609, _45611] : [iext(uri_owl_annotatedTarget, _45611, _45609), 878 ^ _34933 : [(879 ^ _34933) ^ [] : [-(ir(_45611))], (881 ^ _34933) ^ [] : [-(ir(_45609))]]], (883 ^ _34933) ^ [] : [-(ip(uri_owl_annotatedTarget))], (885 ^ _34933) ^ [_45728, _45730] : [iext(uri_owl_assertionProperty, _45730, _45728), 888 ^ _34933 : [(889 ^ _34933) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _45730))], (891 ^ _34933) ^ [] : [-(ip(_45728))]]], (893 ^ _34933) ^ [] : [-(ip(uri_owl_assertionProperty))], (895 ^ _34933) ^ [_45849, _45851] : [iext(uri_owl_backwardCompatibleWith, _45851, _45849), 898 ^ _34933 : [(899 ^ _34933) ^ [] : [-(ix(_45851))], (901 ^ _34933) ^ [] : [-(ix(_45849))]]], (903 ^ _34933) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (905 ^ _34933) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (907 ^ _34933) ^ [_45998, _46000] : [iext(uri_owl_bottomDataProperty, _46000, _45998)], (909 ^ _34933) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (911 ^ _34933) ^ [_46054, _46056] : [iext(uri_owl_bottomObjectProperty, _46056, _46054)], (913 ^ _34933) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (915 ^ _34933) ^ [_46098, _46100] : [iext(uri_owl_cardinality, _46100, _46098), 918 ^ _34933 : [(919 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _46100))], (921 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _46098))]]], (923 ^ _34933) ^ [] : [-(ip(uri_owl_cardinality))], (925 ^ _34933) ^ [_46221, _46223] : [iext(uri_rdfs_comment, _46223, _46221), 928 ^ _34933 : [(929 ^ _34933) ^ [] : [-(ir(_46223))], (931 ^ _34933) ^ [] : [-(lv(_46221))]]], (933 ^ _34933) ^ [] : [-(ioap(uri_rdfs_comment))], (935 ^ _34933) ^ [_46340, _46342] : [iext(uri_owl_complementOf, _46342, _46340), 938 ^ _34933 : [(939 ^ _34933) ^ [] : [-(ic(_46342))], (941 ^ _34933) ^ [] : [-(ic(_46340))]]], (943 ^ _34933) ^ [] : [-(ip(uri_owl_complementOf))], (945 ^ _34933) ^ [_46459, _46461] : [iext(uri_owl_datatypeComplementOf, _46461, _46459), 948 ^ _34933 : [(949 ^ _34933) ^ [] : [-(idc(_46461))], (951 ^ _34933) ^ [] : [-(idc(_46459))]]], (953 ^ _34933) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (955 ^ _34933) ^ [_46578, _46580] : [iext(uri_owl_deprecated, _46580, _46578), 958 ^ _34933 : [(959 ^ _34933) ^ [] : [-(ir(_46580))], (961 ^ _34933) ^ [] : [-(ir(_46578))]]], (963 ^ _34933) ^ [] : [-(ioap(uri_owl_deprecated))], (965 ^ _34933) ^ [_46697, _46699] : [iext(uri_owl_differentFrom, _46699, _46697), 968 ^ _34933 : [(969 ^ _34933) ^ [] : [-(ir(_46699))], (971 ^ _34933) ^ [] : [-(ir(_46697))]]], (973 ^ _34933) ^ [] : [-(ip(uri_owl_differentFrom))], (975 ^ _34933) ^ [_46816, _46818] : [iext(uri_owl_disjointUnionOf, _46818, _46816), 978 ^ _34933 : [(979 ^ _34933) ^ [] : [-(ic(_46818))], (981 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _46816))]]], (983 ^ _34933) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (985 ^ _34933) ^ [_46937, _46939] : [iext(uri_owl_disjointWith, _46939, _46937), 988 ^ _34933 : [(989 ^ _34933) ^ [] : [-(ic(_46939))], (991 ^ _34933) ^ [] : [-(ic(_46937))]]], (993 ^ _34933) ^ [] : [-(ip(uri_owl_disjointWith))], (995 ^ _34933) ^ [_47056, _47058] : [iext(uri_owl_distinctMembers, _47058, _47056), 998 ^ _34933 : [(999 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, _47058))], (1001 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _47056))]]], (1003 ^ _34933) ^ [] : [-(ip(uri_owl_distinctMembers))], (1005 ^ _34933) ^ [_47179, _47181] : [iext(uri_owl_equivalentClass, _47181, _47179), 1008 ^ _34933 : [(1009 ^ _34933) ^ [] : [-(ic(_47181))], (1011 ^ _34933) ^ [] : [-(ic(_47179))]]], (1013 ^ _34933) ^ [] : [-(ip(uri_owl_equivalentClass))], (1015 ^ _34933) ^ [_47298, _47300] : [iext(uri_owl_equivalentProperty, _47300, _47298), 1018 ^ _34933 : [(1019 ^ _34933) ^ [] : [-(ip(_47300))], (1021 ^ _34933) ^ [] : [-(ip(_47298))]]], (1023 ^ _34933) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1025 ^ _34933) ^ [_47417, _47419] : [iext(uri_owl_hasKey, _47419, _47417), 1028 ^ _34933 : [(1029 ^ _34933) ^ [] : [-(ic(_47419))], (1031 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _47417))]]], (1033 ^ _34933) ^ [] : [-(ip(uri_owl_hasKey))], (1035 ^ _34933) ^ [_47538, _47540] : [iext(uri_owl_hasSelf, _47540, _47538), 1038 ^ _34933 : [(1039 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _47540))], (1041 ^ _34933) ^ [] : [-(ir(_47538))]]], (1043 ^ _34933) ^ [] : [-(ip(uri_owl_hasSelf))], (1045 ^ _34933) ^ [_47659, _47661] : [iext(uri_owl_hasValue, _47661, _47659), 1048 ^ _34933 : [(1049 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _47661))], (1051 ^ _34933) ^ [] : [-(ir(_47659))]]], (1053 ^ _34933) ^ [] : [-(ip(uri_owl_hasValue))], (1055 ^ _34933) ^ [_47780, _47782] : [iext(uri_owl_imports, _47782, _47780), 1058 ^ _34933 : [(1059 ^ _34933) ^ [] : [-(ix(_47782))], (1061 ^ _34933) ^ [] : [-(ix(_47780))]]], (1063 ^ _34933) ^ [] : [-(ioxp(uri_owl_imports))], (1065 ^ _34933) ^ [_47899, _47901] : [iext(uri_owl_incompatibleWith, _47901, _47899), 1068 ^ _34933 : [(1069 ^ _34933) ^ [] : [-(ix(_47901))], (1071 ^ _34933) ^ [] : [-(ix(_47899))]]], (1073 ^ _34933) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1075 ^ _34933) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1077 ^ _34933) ^ [_48036, _48038] : [iext(uri_owl_intersectionOf, _48038, _48036), 1080 ^ _34933 : [(1081 ^ _34933) ^ [] : [-(ic(_48038))], (1083 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _48036))]]], (1085 ^ _34933) ^ [] : [-(ip(uri_owl_intersectionOf))], (1087 ^ _34933) ^ [_48157, _48159] : [iext(uri_owl_inverseOf, _48159, _48157), 1090 ^ _34933 : [(1091 ^ _34933) ^ [] : [-(ip(_48159))], (1093 ^ _34933) ^ [] : [-(ip(_48157))]]], (1095 ^ _34933) ^ [] : [-(ip(uri_owl_inverseOf))], (1097 ^ _34933) ^ [_48276, _48278] : [iext(uri_rdfs_isDefinedBy, _48278, _48276), 1100 ^ _34933 : [(1101 ^ _34933) ^ [] : [-(ir(_48278))], (1103 ^ _34933) ^ [] : [-(ir(_48276))]]], (1105 ^ _34933) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (1107 ^ _34933) ^ [_48395, _48397] : [iext(uri_rdfs_label, _48397, _48395), 1110 ^ _34933 : [(1111 ^ _34933) ^ [] : [-(ir(_48397))], (1113 ^ _34933) ^ [] : [-(lv(_48395))]]], (1115 ^ _34933) ^ [] : [-(ioap(uri_rdfs_label))], (1117 ^ _34933) ^ [_48514, _48516] : [iext(uri_owl_maxCardinality, _48516, _48514), 1120 ^ _34933 : [(1121 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _48516))], (1123 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48514))]]], (1125 ^ _34933) ^ [] : [-(ip(uri_owl_maxCardinality))], (1127 ^ _34933) ^ [_48637, _48639] : [iext(uri_owl_maxQualifiedCardinality, _48639, _48637), 1130 ^ _34933 : [(1131 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _48639))], (1133 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48637))]]], (1135 ^ _34933) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (1137 ^ _34933) ^ [_48760, _48762] : [iext(uri_owl_members, _48762, _48760), 1140 ^ _34933 : [(1141 ^ _34933) ^ [] : [-(ir(_48762))], (1143 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _48760))]]], (1145 ^ _34933) ^ [] : [-(ip(uri_owl_members))], (1147 ^ _34933) ^ [_48881, _48883] : [iext(uri_owl_minCardinality, _48883, _48881), 1150 ^ _34933 : [(1151 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _48883))], (1153 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _48881))]]], (1155 ^ _34933) ^ [] : [-(ip(uri_owl_minCardinality))], (1157 ^ _34933) ^ [_49004, _49006] : [iext(uri_owl_minQualifiedCardinality, _49006, _49004), 1160 ^ _34933 : [(1161 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _49006))], (1163 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _49004))]]], (1165 ^ _34933) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1167 ^ _34933) ^ [_49127, _49129] : [iext(uri_owl_onClass, _49129, _49127), 1170 ^ _34933 : [(1171 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _49129))], (1173 ^ _34933) ^ [] : [-(ic(_49127))]]], (1175 ^ _34933) ^ [] : [-(ip(uri_owl_onClass))], (1177 ^ _34933) ^ [_49248, _49250] : [iext(uri_owl_onDataRange, _49250, _49248), 1180 ^ _34933 : [(1181 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _49250))], (1183 ^ _34933) ^ [] : [-(idc(_49248))]]], (1185 ^ _34933) ^ [] : [-(ip(uri_owl_onDataRange))], (1187 ^ _34933) ^ [_49369, _49371] : [iext(uri_owl_onDatatype, _49371, _49369), 1190 ^ _34933 : [(1191 ^ _34933) ^ [] : [-(idc(_49371))], (1193 ^ _34933) ^ [] : [-(idc(_49369))]]], (1195 ^ _34933) ^ [] : [-(ip(uri_owl_onDatatype))], (1197 ^ _34933) ^ [_49488, _49490] : [iext(uri_owl_oneOf, _49490, _49488), 1200 ^ _34933 : [(1201 ^ _34933) ^ [] : [-(ic(_49490))], (1203 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _49488))]]], (1205 ^ _34933) ^ [] : [-(ip(uri_owl_oneOf))], (1207 ^ _34933) ^ [_49609, _49611] : [iext(uri_owl_onProperty, _49611, _49609), 1210 ^ _34933 : [(1211 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _49611))], (1213 ^ _34933) ^ [] : [-(ip(_49609))]]], (1215 ^ _34933) ^ [] : [-(ip(uri_owl_onProperty))], (1217 ^ _34933) ^ [_49730, _49732] : [iext(uri_owl_priorVersion, _49732, _49730), 1220 ^ _34933 : [(1221 ^ _34933) ^ [] : [-(ix(_49732))], (1223 ^ _34933) ^ [] : [-(ix(_49730))]]], (1225 ^ _34933) ^ [] : [-(ioap(uri_owl_priorVersion))], (1227 ^ _34933) ^ [] : [-(ioxp(uri_owl_priorVersion))], (1229 ^ _34933) ^ [_49867, _49869] : [iext(uri_owl_propertyChainAxiom, _49869, _49867), 1232 ^ _34933 : [(1233 ^ _34933) ^ [] : [-(ip(_49869))], (1235 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _49867))]]], (1237 ^ _34933) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (1239 ^ _34933) ^ [_49988, _49990] : [iext(uri_owl_propertyDisjointWith, _49990, _49988), 1242 ^ _34933 : [(1243 ^ _34933) ^ [] : [-(ip(_49990))], (1245 ^ _34933) ^ [] : [-(ip(_49988))]]], (1247 ^ _34933) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (1249 ^ _34933) ^ [_50107, _50109] : [iext(uri_owl_qualifiedCardinality, _50109, _50107), 1252 ^ _34933 : [(1253 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _50109))], (1255 ^ _34933) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _50107))]]], (1257 ^ _34933) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1259 ^ _34933) ^ [_50230, _50232] : [iext(uri_owl_sameAs, _50232, _50230), 1262 ^ _34933 : [(1263 ^ _34933) ^ [] : [-(ir(_50232))], (1265 ^ _34933) ^ [] : [-(ir(_50230))]]], (1267 ^ _34933) ^ [] : [-(ip(uri_owl_sameAs))], (1269 ^ _34933) ^ [_50349, _50351] : [iext(uri_rdfs_seeAlso, _50351, _50349), 1272 ^ _34933 : [(1273 ^ _34933) ^ [] : [-(ir(_50351))], (1275 ^ _34933) ^ [] : [-(ir(_50349))]]], (1277 ^ _34933) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (1279 ^ _34933) ^ [_50468, _50470] : [iext(uri_owl_someValuesFrom, _50470, _50468), 1282 ^ _34933 : [(1283 ^ _34933) ^ [] : [-(icext(uri_owl_Restriction, _50470))], (1285 ^ _34933) ^ [] : [-(ic(_50468))]]], (1287 ^ _34933) ^ [] : [-(ip(uri_owl_someValuesFrom))], (1289 ^ _34933) ^ [_50589, _50591] : [iext(uri_owl_sourceIndividual, _50591, _50589), 1292 ^ _34933 : [(1293 ^ _34933) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _50591))], (1295 ^ _34933) ^ [] : [-(ir(_50589))]]], (1297 ^ _34933) ^ [] : [-(ip(uri_owl_sourceIndividual))], (1299 ^ _34933) ^ [_50710, _50712] : [iext(uri_owl_targetIndividual, _50712, _50710), 1302 ^ _34933 : [(1303 ^ _34933) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _50712))], (1305 ^ _34933) ^ [] : [-(ir(_50710))]]], (1307 ^ _34933) ^ [] : [-(ip(uri_owl_targetIndividual))], (1309 ^ _34933) ^ [_50831, _50833] : [iext(uri_owl_targetValue, _50833, _50831), 1312 ^ _34933 : [(1313 ^ _34933) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _50833))], (1315 ^ _34933) ^ [] : [-(lv(_50831))]]], (1317 ^ _34933) ^ [] : [-(ip(uri_owl_targetValue))], (1319 ^ _34933) ^ [_50967, _50969] : [iext(uri_owl_topDataProperty, _50969, _50967), 1322 ^ _34933 : [(1323 ^ _34933) ^ [] : [-(ir(_50969))], (1325 ^ _34933) ^ [] : [-(lv(_50967))]]], (1327 ^ _34933) ^ [_51064, _51066] : [-(iext(uri_owl_topDataProperty, _51066, _51064)), ir(_51066), lv(_51064)], (1337 ^ _34933) ^ [] : [-(iodp(uri_owl_topDataProperty))], (1339 ^ _34933) ^ [_51226, _51228] : [iext(uri_owl_topObjectProperty, _51228, _51226), 1342 ^ _34933 : [(1343 ^ _34933) ^ [] : [-(ir(_51228))], (1345 ^ _34933) ^ [] : [-(ir(_51226))]]], (1347 ^ _34933) ^ [_51323, _51325] : [-(iext(uri_owl_topObjectProperty, _51325, _51323)), ir(_51325), ir(_51323)], (1357 ^ _34933) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1359 ^ _34933) ^ [_51470, _51472] : [iext(uri_owl_unionOf, _51472, _51470), 1362 ^ _34933 : [(1363 ^ _34933) ^ [] : [-(ic(_51472))], (1365 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _51470))]]], (1367 ^ _34933) ^ [] : [-(ip(uri_owl_unionOf))], (1369 ^ _34933) ^ [_51591, _51593] : [iext(uri_owl_versionInfo, _51593, _51591), 1372 ^ _34933 : [(1373 ^ _34933) ^ [] : [-(ir(_51593))], (1375 ^ _34933) ^ [] : [-(ir(_51591))]]], (1377 ^ _34933) ^ [] : [-(ioap(uri_owl_versionInfo))], (1379 ^ _34933) ^ [_51710, _51712] : [iext(uri_owl_versionIRI, _51712, _51710), 1382 ^ _34933 : [(1383 ^ _34933) ^ [] : [-(ix(_51712))], (1385 ^ _34933) ^ [] : [-(ix(_51710))]]], (1387 ^ _34933) ^ [] : [-(ioxp(uri_owl_versionIRI))], (1389 ^ _34933) ^ [_51829, _51831] : [iext(uri_owl_withRestrictions, _51831, _51829), 1392 ^ _34933 : [(1393 ^ _34933) ^ [] : [-(idc(_51831))], (1395 ^ _34933) ^ [] : [-(icext(uri_rdf_List, _51829))]]], (1397 ^ _34933) ^ [] : [-(ip(uri_owl_withRestrictions))], (1399 ^ _34933) ^ [_51950, _51952] : [iext(uri_owl_complementOf, _51952, _51950), 1402 ^ _34933 : [(1403 ^ _34933) ^ [] : [-(ic(_51952))], (1405 ^ _34933) ^ [] : [-(ic(_51950))], (1407 ^ _34933) ^ [_52080] : [icext(_51952, _52080), icext(_51950, _52080)], (1413 ^ _34933) ^ [_52154] : [-(icext(_51950, _52154)), -(icext(_51952, _52154))]]], (1419 ^ _34933) ^ [_52198, _52200] : [iext(uri_owl_datatypeComplementOf, _52200, _52198), 1422 ^ _34933 : [(1423 ^ _34933) ^ [_52282] : [icext(_52200, _52282), 1426 ^ _34933 : [(1427 ^ _34933) ^ [] : [-(lv(_52282))], (1429 ^ _34933) ^ [] : [icext(_52198, _52282)]]], (1431 ^ _34933) ^ [_52389] : [-(icext(_52200, _52389)), lv(_52389), -(icext(_52198, _52389))]]], (1459 ^ _34933) ^ [_52791] : [-(iext(uri_owl_intersectionOf, _52791, uri_rdf_nil)), ic(_52791), 1467 ^ _34933 : [(1468 ^ _34933) ^ [] : [-(icext(_52791, 1464 ^ [_52791]))], (1470 ^ _34933) ^ [] : [ir(1464 ^ [_52791])]], 1471 ^ _34933 : [(1472 ^ _34933) ^ [] : [-(ir(1464 ^ [_52791]))], (1474 ^ _34933) ^ [] : [icext(_52791, 1464 ^ [_52791])]]], (1441 ^ _34933) ^ [_52541] : [iext(uri_owl_intersectionOf, _52541, uri_rdf_nil), 1444 ^ _34933 : [(1445 ^ _34933) ^ [] : [-(ic(_52541))], (1447 ^ _34933) ^ [_52641] : [icext(_52541, _52641), -(ir(_52641))], (1453 ^ _34933) ^ [_52712] : [ir(_52712), -(icext(_52541, _52712))]]], (1478 ^ _34933) ^ [_53061, _53063, _53065] : [iext(uri_rdf_first, _53063, _53061), iext(uri_rdf_rest, _53063, uri_rdf_nil), 1485 ^ _34933 : [(1486 ^ _34933) ^ [] : [iext(uri_owl_intersectionOf, _53065, _53063), 1489 ^ _34933 : [(1490 ^ _34933) ^ [] : [-(ic(_53065))], (1492 ^ _34933) ^ [] : [-(ic(_53061))], (1494 ^ _34933) ^ [_53310] : [icext(_53065, _53310), -(icext(_53061, _53310))], (1500 ^ _34933) ^ [_53387] : [icext(_53061, _53387), -(icext(_53065, _53387))]]], (1506 ^ _34933) ^ [] : [-(iext(uri_owl_intersectionOf, _53065, _53063)), ic(_53065), ic(_53061), 1518 ^ _34933 : [(1519 ^ _34933) ^ [] : [-(icext(_53065, 1515 ^ [_53061, _53063, _53065]))], (1521 ^ _34933) ^ [] : [icext(_53061, 1515 ^ [_53061, _53063, _53065])]], 1522 ^ _34933 : [(1523 ^ _34933) ^ [] : [-(icext(_53061, 1515 ^ [_53061, _53063, _53065]))], (1525 ^ _34933) ^ [] : [icext(_53065, 1515 ^ [_53061, _53063, _53065])]]]]], (1529 ^ _34933) ^ [_53808, _53810, _53812, _53814, _53816] : [iext(uri_rdf_first, _53814, _53812), iext(uri_rdf_rest, _53814, _53810), iext(uri_rdf_first, _53810, _53808), iext(uri_rdf_rest, _53810, uri_rdf_nil), 1544 ^ _34933 : [(1545 ^ _34933) ^ [] : [iext(uri_owl_intersectionOf, _53816, _53814), 1548 ^ _34933 : [(1549 ^ _34933) ^ [] : [-(ic(_53816))], (1551 ^ _34933) ^ [] : [-(ic(_53812))], (1553 ^ _34933) ^ [] : [-(ic(_53808))], (1555 ^ _34933) ^ [_54220] : [icext(_53816, _54220), 1558 ^ _34933 : [(1559 ^ _34933) ^ [] : [-(icext(_53812, _54220))], (1561 ^ _34933) ^ [] : [-(icext(_53808, _54220))]]], (1563 ^ _34933) ^ [_54327] : [-(icext(_53816, _54327)), icext(_53812, _54327), icext(_53808, _54327)]]], (1573 ^ _34933) ^ [] : [-(iext(uri_owl_intersectionOf, _53816, _53814)), ic(_53816), ic(_53812), ic(_53808), 1597 ^ _34933 : [(1598 ^ _34933) ^ [] : [-(icext(_53812, 1586 ^ [_53808, _53810, _53812, _53814, _53816]))], (1600 ^ _34933) ^ [] : [-(icext(_53808, 1586 ^ [_53808, _53810, _53812, _53814, _53816]))], (1602 ^ _34933) ^ [] : [icext(_53816, 1586 ^ [_53808, _53810, _53812, _53814, _53816])]], 1589 ^ _34933 : [(1590 ^ _34933) ^ [] : [-(icext(_53816, 1586 ^ [_53808, _53810, _53812, _53814, _53816]))], (1592 ^ _34933) ^ [] : [icext(_53812, 1586 ^ [_53808, _53810, _53812, _53814, _53816]), icext(_53808, 1586 ^ [_53808, _53810, _53812, _53814, _53816])]]]]], (1606 ^ _34933) ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019] : [iext(uri_rdf_first, _55017, _55015), iext(uri_rdf_rest, _55017, _55013), iext(uri_rdf_first, _55013, _55011), iext(uri_rdf_rest, _55013, _55009), iext(uri_rdf_first, _55009, _55007), iext(uri_rdf_rest, _55009, uri_rdf_nil), 1629 ^ _34933 : [(1630 ^ _34933) ^ [] : [iext(uri_owl_intersectionOf, _55019, _55017), 1633 ^ _34933 : [(1634 ^ _34933) ^ [] : [-(ic(_55019))], (1636 ^ _34933) ^ [] : [-(ic(_55015))], (1638 ^ _34933) ^ [] : [-(ic(_55011))], (1640 ^ _34933) ^ [] : [-(ic(_55007))], (1642 ^ _34933) ^ [_55598] : [icext(_55019, _55598), 1645 ^ _34933 : [(1646 ^ _34933) ^ [] : [-(icext(_55015, _55598))], (1648 ^ _34933) ^ [] : [-(icext(_55011, _55598))], (1650 ^ _34933) ^ [] : [-(icext(_55007, _55598))]]], (1652 ^ _34933) ^ [_55733] : [-(icext(_55019, _55733)), icext(_55015, _55733), icext(_55011, _55733), icext(_55007, _55733)]]], (1666 ^ _34933) ^ [] : [-(iext(uri_owl_intersectionOf, _55019, _55017)), ic(_55019), ic(_55015), ic(_55011), ic(_55007), 1698 ^ _34933 : [(1699 ^ _34933) ^ [] : [-(icext(_55015, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]))], (1701 ^ _34933) ^ [] : [-(icext(_55011, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]))], (1703 ^ _34933) ^ [] : [-(icext(_55007, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]))], (1705 ^ _34933) ^ [] : [icext(_55019, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019])]], 1686 ^ _34933 : [(1687 ^ _34933) ^ [] : [-(icext(_55019, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]))], (1689 ^ _34933) ^ [] : [icext(_55015, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]), icext(_55011, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019]), icext(_55007, 1683 ^ [_55007, _55009, _55011, _55013, _55015, _55017, _55019])]]]]], (1709 ^ _34933) ^ [_56714, _56716, _56718] : [-(idc(_56718)), iext(uri_rdf_first, _56716, _56714), iext(uri_rdf_rest, _56716, uri_rdf_nil), idc(_56714), iext(uri_owl_intersectionOf, _56718, _56716)], (1727 ^ _34933) ^ [_56957, _56959, _56961, _56963, _56965] : [-(idc(_56965)), iext(uri_rdf_first, _56963, _56961), iext(uri_rdf_rest, _56963, _56959), iext(uri_rdf_first, _56959, _56957), iext(uri_rdf_rest, _56959, uri_rdf_nil), idc(_56961), idc(_56957), iext(uri_owl_intersectionOf, _56965, _56963)], (1757 ^ _34933) ^ [_57392, _57394, _57396, _57398, _57400, _57402, _57404] : [-(idc(_57404)), iext(uri_rdf_first, _57402, _57400), iext(uri_rdf_rest, _57402, _57398), iext(uri_rdf_first, _57398, _57396), iext(uri_rdf_rest, _57398, _57394), iext(uri_rdf_first, _57394, _57392), iext(uri_rdf_rest, _57394, uri_rdf_nil), idc(_57400), idc(_57396), idc(_57392), iext(uri_owl_intersectionOf, _57404, _57402)], (1799 ^ _34933) ^ [_58055] : [iext(uri_owl_unionOf, _58055, uri_rdf_nil), 1802 ^ _34933 : [(1803 ^ _34933) ^ [] : [-(ic(_58055))], (1805 ^ _34933) ^ [_58145] : [icext(_58055, _58145)]]], (1807 ^ _34933) ^ [_58170] : [-(iext(uri_owl_unionOf, _58170, uri_rdf_nil)), ic(_58170), -(icext(_58170, 1812 ^ [_58170]))], (1818 ^ _34933) ^ [_58310, _58312, _58314] : [iext(uri_rdf_first, _58312, _58310), iext(uri_rdf_rest, _58312, uri_rdf_nil), 1825 ^ _34933 : [(1826 ^ _34933) ^ [] : [iext(uri_owl_unionOf, _58314, _58312), 1829 ^ _34933 : [(1830 ^ _34933) ^ [] : [-(ic(_58314))], (1832 ^ _34933) ^ [] : [-(ic(_58310))], (1834 ^ _34933) ^ [_58559] : [icext(_58314, _58559), -(icext(_58310, _58559))], (1840 ^ _34933) ^ [_58636] : [icext(_58310, _58636), -(icext(_58314, _58636))]]], (1846 ^ _34933) ^ [] : [-(iext(uri_owl_unionOf, _58314, _58312)), ic(_58314), ic(_58310), 1858 ^ _34933 : [(1859 ^ _34933) ^ [] : [-(icext(_58314, 1855 ^ [_58310, _58312, _58314]))], (1861 ^ _34933) ^ [] : [icext(_58310, 1855 ^ [_58310, _58312, _58314])]], 1862 ^ _34933 : [(1863 ^ _34933) ^ [] : [-(icext(_58310, 1855 ^ [_58310, _58312, _58314]))], (1865 ^ _34933) ^ [] : [icext(_58314, 1855 ^ [_58310, _58312, _58314])]]]]], (1869 ^ _34933) ^ [_59057, _59059, _59061, _59063, _59065] : [iext(uri_rdf_first, _59063, _59061), iext(uri_rdf_rest, _59063, _59059), iext(uri_rdf_first, _59059, _59057), iext(uri_rdf_rest, _59059, uri_rdf_nil), 1884 ^ _34933 : [(1885 ^ _34933) ^ [] : [iext(uri_owl_unionOf, _59065, _59063), 1888 ^ _34933 : [(1889 ^ _34933) ^ [] : [-(ic(_59065))], (1891 ^ _34933) ^ [] : [-(ic(_59061))], (1893 ^ _34933) ^ [] : [-(ic(_59057))], (1905 ^ _34933) ^ [_59563] : [1906 ^ _34933 : [(1907 ^ _34933) ^ [] : [icext(_59061, _59563)], (1909 ^ _34933) ^ [] : [icext(_59057, _59563)]], -(icext(_59065, _59563))], (1895 ^ _34933) ^ [_59469] : [icext(_59065, _59469), -(icext(_59061, _59469)), -(icext(_59057, _59469))]]], (1913 ^ _34933) ^ [] : [-(iext(uri_owl_unionOf, _59065, _59063)), ic(_59065), ic(_59061), ic(_59057), 1929 ^ _34933 : [(1930 ^ _34933) ^ [] : [-(icext(_59065, 1926 ^ [_59057, _59059, _59061, _59063, _59065]))], (1932 ^ _34933) ^ [] : [icext(_59061, 1926 ^ [_59057, _59059, _59061, _59063, _59065])], (1934 ^ _34933) ^ [] : [icext(_59057, 1926 ^ [_59057, _59059, _59061, _59063, _59065])]], 1935 ^ _34933 : [(1942 ^ _34933) ^ [] : [icext(_59065, 1926 ^ [_59057, _59059, _59061, _59063, _59065])], (1936 ^ _34933) ^ [] : [-(icext(_59061, 1926 ^ [_59057, _59059, _59061, _59063, _59065])), -(icext(_59057, 1926 ^ [_59057, _59059, _59061, _59063, _59065]))]]]]], (1946 ^ _34933) ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197] : [iext(uri_rdf_first, _60195, _60193), iext(uri_rdf_rest, _60195, _60191), iext(uri_rdf_first, _60191, _60189), iext(uri_rdf_rest, _60191, _60187), iext(uri_rdf_first, _60187, _60185), iext(uri_rdf_rest, _60187, uri_rdf_nil), 1969 ^ _34933 : [(1970 ^ _34933) ^ [] : [iext(uri_owl_unionOf, _60197, _60195), 1973 ^ _34933 : [(1974 ^ _34933) ^ [] : [-(ic(_60197))], (1976 ^ _34933) ^ [] : [-(ic(_60193))], (1978 ^ _34933) ^ [] : [-(ic(_60189))], (1980 ^ _34933) ^ [] : [-(ic(_60185))], (1996 ^ _34933) ^ [_60887] : [1997 ^ _34933 : [(1998 ^ _34933) ^ [] : [icext(_60193, _60887)], (2000 ^ _34933) ^ [] : [icext(_60189, _60887)], (2002 ^ _34933) ^ [] : [icext(_60185, _60887)]], -(icext(_60197, _60887))], (1982 ^ _34933) ^ [_60776] : [icext(_60197, _60776), -(icext(_60193, _60776)), -(icext(_60189, _60776)), -(icext(_60185, _60776))]]], (2006 ^ _34933) ^ [] : [-(iext(uri_owl_unionOf, _60197, _60195)), ic(_60197), ic(_60193), ic(_60189), ic(_60185), 2026 ^ _34933 : [(2027 ^ _34933) ^ [] : [-(icext(_60197, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197]))], (2029 ^ _34933) ^ [] : [icext(_60193, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])], (2031 ^ _34933) ^ [] : [icext(_60189, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])], (2033 ^ _34933) ^ [] : [icext(_60185, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])]], 2034 ^ _34933 : [(2045 ^ _34933) ^ [] : [icext(_60197, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])], (2035 ^ _34933) ^ [] : [-(icext(_60193, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])), -(icext(_60189, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197])), -(icext(_60185, 2023 ^ [_60185, _60187, _60189, _60191, _60193, _60195, _60197]))]]]]], (2049 ^ _34933) ^ [_61733, _61735, _61737] : [-(idc(_61737)), iext(uri_rdf_first, _61735, _61733), iext(uri_rdf_rest, _61735, uri_rdf_nil), idc(_61733), iext(uri_owl_unionOf, _61737, _61735)], (2067 ^ _34933) ^ [_61976, _61978, _61980, _61982, _61984] : [-(idc(_61984)), iext(uri_rdf_first, _61982, _61980), iext(uri_rdf_rest, _61982, _61978), iext(uri_rdf_first, _61978, _61976), iext(uri_rdf_rest, _61978, uri_rdf_nil), idc(_61980), idc(_61976), iext(uri_owl_unionOf, _61984, _61982)], (2097 ^ _34933) ^ [_62411, _62413, _62415, _62417, _62419, _62421, _62423] : [-(idc(_62423)), iext(uri_rdf_first, _62421, _62419), iext(uri_rdf_rest, _62421, _62417), iext(uri_rdf_first, _62417, _62415), iext(uri_rdf_rest, _62417, _62413), iext(uri_rdf_first, _62413, _62411), iext(uri_rdf_rest, _62413, uri_rdf_nil), idc(_62419), idc(_62415), idc(_62411), iext(uri_owl_unionOf, _62423, _62421)], (2139 ^ _34933) ^ [_63074] : [iext(uri_owl_oneOf, _63074, uri_rdf_nil), 2142 ^ _34933 : [(2143 ^ _34933) ^ [] : [-(ic(_63074))], (2145 ^ _34933) ^ [_63164] : [icext(_63074, _63164)]]], (2147 ^ _34933) ^ [_63189] : [-(iext(uri_owl_oneOf, _63189, uri_rdf_nil)), ic(_63189), -(icext(_63189, 2152 ^ [_63189]))], (2158 ^ _34933) ^ [_63329, _63331, _63333] : [iext(uri_rdf_first, _63331, _63329), iext(uri_rdf_rest, _63331, uri_rdf_nil), 2165 ^ _34933 : [(2184 ^ _34933) ^ [] : [-(iext(uri_owl_oneOf, _63333, _63331)), ic(_63333), 2192 ^ _34933 : [(2193 ^ _34933) ^ [] : [-(icext(_63333, 2189 ^ [_63329, _63331, _63333]))], (2195 ^ _34933) ^ [] : [2189 ^ [_63329, _63331, _63333] = _63329]], 2196 ^ _34933 : [(2197 ^ _34933) ^ [] : [-(2189 ^ [_63329, _63331, _63333] = _63329)], (2199 ^ _34933) ^ [] : [icext(_63333, 2189 ^ [_63329, _63331, _63333])]]], (2166 ^ _34933) ^ [] : [iext(uri_owl_oneOf, _63333, _63331), 2169 ^ _34933 : [(2170 ^ _34933) ^ [] : [-(ic(_63333))], (2172 ^ _34933) ^ [_63553] : [icext(_63333, _63553), -(_63553 = _63329)], (2178 ^ _34933) ^ [_63630] : [_63630 = _63329, -(icext(_63333, _63630))]]]]], (2203 ^ _34933) ^ [_64002, _64004, _64006, _64008, _64010] : [iext(uri_rdf_first, _64008, _64006), iext(uri_rdf_rest, _64008, _64004), iext(uri_rdf_first, _64004, _64002), iext(uri_rdf_rest, _64004, uri_rdf_nil), 2218 ^ _34933 : [(2243 ^ _34933) ^ [] : [-(iext(uri_owl_oneOf, _64010, _64008)), ic(_64010), 2251 ^ _34933 : [(2252 ^ _34933) ^ [] : [-(icext(_64010, 2248 ^ [_64002, _64004, _64006, _64008, _64010]))], (2254 ^ _34933) ^ [] : [2248 ^ [_64002, _64004, _64006, _64008, _64010] = _64006], (2256 ^ _34933) ^ [] : [2248 ^ [_64002, _64004, _64006, _64008, _64010] = _64002]], 2257 ^ _34933 : [(2264 ^ _34933) ^ [] : [icext(_64010, 2248 ^ [_64002, _64004, _64006, _64008, _64010])], (2258 ^ _34933) ^ [] : [-(2248 ^ [_64002, _64004, _64006, _64008, _64010] = _64006), -(2248 ^ [_64002, _64004, _64006, _64008, _64010] = _64002)]]], (2219 ^ _34933) ^ [] : [iext(uri_owl_oneOf, _64010, _64008), 2222 ^ _34933 : [(2223 ^ _34933) ^ [] : [-(ic(_64010))], (2235 ^ _34933) ^ [_64458] : [2236 ^ _34933 : [(2237 ^ _34933) ^ [] : [_64458 = _64006], (2239 ^ _34933) ^ [] : [_64458 = _64002]], -(icext(_64010, _64458))], (2225 ^ _34933) ^ [_64364] : [icext(_64010, _64364), -(_64364 = _64006), -(_64364 = _64002)]]]]], (2268 ^ _34933) ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] : [iext(uri_rdf_first, _64984, _64982), iext(uri_rdf_rest, _64984, _64980), iext(uri_rdf_first, _64980, _64978), iext(uri_rdf_rest, _64980, _64976), iext(uri_rdf_first, _64976, _64974), iext(uri_rdf_rest, _64976, uri_rdf_nil), 2291 ^ _34933 : [(2322 ^ _34933) ^ [] : [-(iext(uri_owl_oneOf, _64986, _64984)), ic(_64986), 2330 ^ _34933 : [(2331 ^ _34933) ^ [] : [-(icext(_64986, 2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986]))], (2333 ^ _34933) ^ [] : [2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64982], (2335 ^ _34933) ^ [] : [2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64978], (2337 ^ _34933) ^ [] : [2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64974]], 2338 ^ _34933 : [(2349 ^ _34933) ^ [] : [icext(_64986, 2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986])], (2339 ^ _34933) ^ [] : [-(2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64982), -(2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64978), -(2327 ^ [_64974, _64976, _64978, _64980, _64982, _64984, _64986] = _64974)]]], (2292 ^ _34933) ^ [] : [iext(uri_owl_oneOf, _64986, _64984), 2295 ^ _34933 : [(2296 ^ _34933) ^ [] : [-(ic(_64986))], (2312 ^ _34933) ^ [_65601] : [2313 ^ _34933 : [(2314 ^ _34933) ^ [] : [_65601 = _64982], (2316 ^ _34933) ^ [] : [_65601 = _64978], (2318 ^ _34933) ^ [] : [_65601 = _64974]], -(icext(_64986, _65601))], (2298 ^ _34933) ^ [_65490] : [icext(_64986, _65490), -(_65490 = _64982), -(_65490 = _64978), -(_65490 = _64974)]]]]], (2353 ^ _34933) ^ [_66276, _66278, _66280] : [-(idc(_66280)), iext(uri_rdf_first, _66278, _66276), iext(uri_rdf_rest, _66278, uri_rdf_nil), lv(_66276), iext(uri_owl_oneOf, _66280, _66278)], (2371 ^ _34933) ^ [_66519, _66521, _66523, _66525, _66527] : [-(idc(_66527)), iext(uri_rdf_first, _66525, _66523), iext(uri_rdf_rest, _66525, _66521), iext(uri_rdf_first, _66521, _66519), iext(uri_rdf_rest, _66521, uri_rdf_nil), lv(_66523), lv(_66519), iext(uri_owl_oneOf, _66527, _66525)], (2401 ^ _34933) ^ [_66954, _66956, _66958, _66960, _66962, _66964, _66966] : [-(idc(_66966)), iext(uri_rdf_first, _66964, _66962), iext(uri_rdf_rest, _66964, _66960), iext(uri_rdf_first, _66960, _66958), iext(uri_rdf_rest, _66960, _66956), iext(uri_rdf_first, _66956, _66954), iext(uri_rdf_rest, _66956, uri_rdf_nil), lv(_66962), lv(_66958), lv(_66954), iext(uri_owl_oneOf, _66966, _66964)], (2443 ^ _34933) ^ [_67605, _67607, _67609] : [iext(uri_owl_allValuesFrom, _67609, _67605), iext(uri_owl_onProperty, _67609, _67607), 2450 ^ _34933 : [(2461 ^ _34933) ^ [_67905] : [2463 ^ _34933 : [(2464 ^ _34933) ^ [] : [-(iext(_67607, _67905, 2462 ^ [_67605, _67607, _67609, _67905]))], (2466 ^ _34933) ^ [] : [icext(_67605, 2462 ^ [_67605, _67607, _67609, _67905])]], -(icext(_67609, _67905))], (2451 ^ _34933) ^ [_67752] : [icext(_67609, _67752), 2454 ^ _34933 : [(2455 ^ _34933) ^ [_67820] : [iext(_67607, _67752, _67820), -(icext(_67605, _67820))]]]]], (2470 ^ _34933) ^ [_68071, _68073] : [iext(uri_owl_cardinality, _68073, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _68073, _68071), 2477 ^ _34933 : [(2478 ^ _34933) ^ [_68210] : [icext(_68073, _68210), 2481 ^ _34933 : [(2482 ^ _34933) ^ [_68277] : [iext(_68071, _68210, _68277)]]], (2484 ^ _34933) ^ [_68299] : [-(iext(_68071, _68299, 2485 ^ [_68071, _68073, _68299])), -(icext(_68073, _68299))]]], (2491 ^ _34933) ^ [_68351, _68353] : [iext(uri_owl_cardinality, _68353, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _68353, _68351), 2498 ^ _34933 : [(2516 ^ _34933) ^ [_68786] : [-(icext(_68353, _68786)), 2519 ^ _34933 : [(2520 ^ _34933) ^ [_68881] : [iext(_68351, _68786, _68881)]], 2523 ^ _34933 : [(2524 ^ _34933) ^ [] : [-(iext(_68351, _68786, 2521 ^ [_68351, _68353, _68786]))], (2526 ^ _34933) ^ [] : [-(iext(_68351, _68786, 2522 ^ [_68351, _68353, _68786]))], (2528 ^ _34933) ^ [] : [2522 ^ [_68351, _68353, _68786] = 2521 ^ [_68351, _68353, _68786]]]], (2499 ^ _34933) ^ [_68518] : [icext(_68353, _68518), 2503 ^ _34933 : [(2504 ^ _34933) ^ [] : [-(iext(_68351, _68518, 2502 ^ [_68351, _68353, _68518]))], (2506 ^ _34933) ^ [_68639, _68641] : [-(_68639 = _68641), iext(_68351, _68518, _68641), iext(_68351, _68518, _68639)]]]]], (2532 ^ _34933) ^ [_69076, _69078] : [iext(uri_owl_cardinality, _69078, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _69078, _69076), 2539 ^ _34933 : [(2570 ^ _34933) ^ [_69782] : [-(icext(_69078, _69782)), 2586 ^ _34933 : [(2587 ^ _34933) ^ [] : [-(iext(_69076, _69782, 2583 ^ [_69076, _69078, _69782]))], (2589 ^ _34933) ^ [] : [-(iext(_69076, _69782, 2584 ^ [_69076, _69078, _69782]))], (2591 ^ _34933) ^ [] : [-(iext(_69076, _69782, 2585 ^ [_69076, _69078, _69782]))], (2593 ^ _34933) ^ [] : [2585 ^ [_69076, _69078, _69782] = 2583 ^ [_69076, _69078, _69782]], (2595 ^ _34933) ^ [] : [2585 ^ [_69076, _69078, _69782] = 2584 ^ [_69076, _69078, _69782]]], 2573 ^ _34933 : [(2574 ^ _34933) ^ [_69910, _69912] : [iext(_69076, _69782, _69912), iext(_69076, _69782, _69910), -(_69912 = _69910)]]], (2540 ^ _34933) ^ [_69281] : [icext(_69078, _69281), 2545 ^ _34933 : [(2546 ^ _34933) ^ [] : [-(iext(_69076, _69281, 2543 ^ [_69076, _69078, _69281]))], (2548 ^ _34933) ^ [] : [-(iext(_69076, _69281, 2544 ^ [_69076, _69078, _69281]))], (2550 ^ _34933) ^ [] : [2543 ^ [_69076, _69078, _69281] = 2544 ^ [_69076, _69078, _69281]], (2552 ^ _34933) ^ [_69550, _69552, _69554] : [-(_69550 = _69554), -(_69550 = _69552), iext(_69076, _69281, _69554), iext(_69076, _69281, _69552), iext(_69076, _69281, _69550)]]]]], (2599 ^ _34933) ^ [_70320, _70322] : [iext(uri_owl_cardinality, _70322, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _70322, _70320), 2606 ^ _34933 : [(2607 ^ _34933) ^ [_70571] : [icext(_70322, _70571), 2613 ^ _34933 : [(2614 ^ _34933) ^ [] : [-(iext(_70320, _70571, 2610 ^ [_70320, _70322, _70571]))], (2616 ^ _34933) ^ [] : [-(iext(_70320, _70571, 2611 ^ [_70320, _70322, _70571]))], (2618 ^ _34933) ^ [] : [-(iext(_70320, _70571, 2612 ^ [_70320, _70322, _70571]))], (2620 ^ _34933) ^ [] : [2610 ^ [_70320, _70322, _70571] = 2611 ^ [_70320, _70322, _70571]], (2622 ^ _34933) ^ [] : [2610 ^ [_70320, _70322, _70571] = 2612 ^ [_70320, _70322, _70571]], (2624 ^ _34933) ^ [] : [2611 ^ [_70320, _70322, _70571] = 2612 ^ [_70320, _70322, _70571]], (2626 ^ _34933) ^ [_71072, _71074, _71076, _71078] : [-(_71072 = _71078), -(_71072 = _71076), -(_71072 = _71074), iext(_70320, _70571, _71078), iext(_70320, _70571, _71076), iext(_70320, _70571, _71074), iext(_70320, _70571, _71072)]]], (2652 ^ _34933) ^ [_71395] : [-(icext(_70322, _71395)), 2681 ^ _34933 : [(2682 ^ _34933) ^ [] : [-(iext(_70320, _71395, 2677 ^ [_70320, _70322, _71395]))], (2684 ^ _34933) ^ [] : [-(iext(_70320, _71395, 2678 ^ [_70320, _70322, _71395]))], (2686 ^ _34933) ^ [] : [-(iext(_70320, _71395, 2679 ^ [_70320, _70322, _71395]))], (2688 ^ _34933) ^ [] : [-(iext(_70320, _71395, 2680 ^ [_70320, _70322, _71395]))], (2690 ^ _34933) ^ [] : [2680 ^ [_70320, _70322, _71395] = 2677 ^ [_70320, _70322, _71395]], (2692 ^ _34933) ^ [] : [2680 ^ [_70320, _70322, _71395] = 2678 ^ [_70320, _70322, _71395]], (2694 ^ _34933) ^ [] : [2680 ^ [_70320, _70322, _71395] = 2679 ^ [_70320, _70322, _71395]]], 2655 ^ _34933 : [(2656 ^ _34933) ^ [_71569, _71571, _71573] : [iext(_70320, _71395, _71573), iext(_70320, _71395, _71571), iext(_70320, _71395, _71569), -(_71573 = _71571), -(_71573 = _71569), -(_71571 = _71569)]]]]], (2698 ^ _34933) ^ [_72167, _72169, _72171] : [iext(uri_owl_qualifiedCardinality, _72171, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72171, _72169), iext(uri_owl_onDataRange, _72171, _72167), 2709 ^ _34933 : [(2710 ^ _34933) ^ [] : [-(iodp(_72169))], (2726 ^ _34933) ^ [_72616] : [2728 ^ _34933 : [(2729 ^ _34933) ^ [] : [-(lv(2727 ^ [_72167, _72169, _72171, _72616]))], (2731 ^ _34933) ^ [] : [-(iext(_72169, _72616, 2727 ^ [_72167, _72169, _72171, _72616]))], (2733 ^ _34933) ^ [] : [-(icext(_72167, 2727 ^ [_72167, _72169, _72171, _72616]))]], -(icext(_72171, _72616))], (2712 ^ _34933) ^ [_72403] : [icext(_72171, _72403), 2715 ^ _34933 : [(2716 ^ _34933) ^ [_72478] : [lv(_72478), iext(_72169, _72403, _72478), icext(_72167, _72478)]]]]], (2737 ^ _34933) ^ [_72750, _72752, _72754] : [iext(uri_owl_qualifiedCardinality, _72754, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _72754, _72752), iext(uri_owl_onDataRange, _72754, _72750), 2748 ^ _34933 : [(2749 ^ _34933) ^ [] : [-(iodp(_72752))], (2788 ^ _34933) ^ [_73642] : [-(icext(_72754, _73642)), 2803 ^ _34933 : [(2804 ^ _34933) ^ [] : [-(lv(2801 ^ [_72750, _72752, _72754, _73642]))], (2806 ^ _34933) ^ [] : [-(iext(_72752, _73642, 2801 ^ [_72750, _72752, _72754, _73642]))], (2808 ^ _34933) ^ [] : [-(icext(_72750, 2801 ^ [_72750, _72752, _72754, _73642]))], (2810 ^ _34933) ^ [] : [-(lv(2802 ^ [_72750, _72752, _72754, _73642]))], (2812 ^ _34933) ^ [] : [-(iext(_72752, _73642, 2802 ^ [_72750, _72752, _72754, _73642]))], (2814 ^ _34933) ^ [] : [-(icext(_72750, 2802 ^ [_72750, _72752, _72754, _73642]))], (2816 ^ _34933) ^ [] : [2802 ^ [_72750, _72752, _72754, _73642] = 2801 ^ [_72750, _72752, _72754, _73642]]], 2791 ^ _34933 : [(2792 ^ _34933) ^ [_73769] : [lv(_73769), iext(_72752, _73642, _73769), icext(_72750, _73769)]]], (2751 ^ _34933) ^ [_73036] : [icext(_72754, _73036), 2755 ^ _34933 : [(2756 ^ _34933) ^ [] : [-(lv(2754 ^ [_72750, _72752, _72754, _73036]))], (2758 ^ _34933) ^ [] : [-(iext(_72752, _73036, 2754 ^ [_72750, _72752, _72754, _73036]))], (2760 ^ _34933) ^ [] : [-(icext(_72750, 2754 ^ [_72750, _72752, _72754, _73036]))], (2762 ^ _34933) ^ [_73251, _73253] : [-(_73251 = _73253), lv(_73253), iext(_72752, _73036, _73253), icext(_72750, _73253), lv(_73251), iext(_72752, _73036, _73251), icext(_72750, _73251)]]]]], (2820 ^ _34933) ^ [_74219, _74221, _74223] : [iext(uri_owl_qualifiedCardinality, _74223, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _74223, _74221), iext(uri_owl_onDataRange, _74223, _74219), 2831 ^ _34933 : [(2832 ^ _34933) ^ [] : [-(iodp(_74221))], (2896 ^ _34933) ^ [_75696] : [-(icext(_74223, _75696)), 2928 ^ _34933 : [(2929 ^ _34933) ^ [] : [-(lv(2925 ^ [_74219, _74221, _74223, _75696]))], (2931 ^ _34933) ^ [] : [-(iext(_74221, _75696, 2925 ^ [_74219, _74221, _74223, _75696]))], (2933 ^ _34933) ^ [] : [-(icext(_74219, 2925 ^ [_74219, _74221, _74223, _75696]))], (2935 ^ _34933) ^ [] : [-(lv(2926 ^ [_74219, _74221, _74223, _75696]))], (2937 ^ _34933) ^ [] : [-(iext(_74221, _75696, 2926 ^ [_74219, _74221, _74223, _75696]))], (2939 ^ _34933) ^ [] : [-(icext(_74219, 2926 ^ [_74219, _74221, _74223, _75696]))], (2941 ^ _34933) ^ [] : [-(lv(2927 ^ [_74219, _74221, _74223, _75696]))], (2943 ^ _34933) ^ [] : [-(iext(_74221, _75696, 2927 ^ [_74219, _74221, _74223, _75696]))], (2945 ^ _34933) ^ [] : [-(icext(_74219, 2927 ^ [_74219, _74221, _74223, _75696]))], (2947 ^ _34933) ^ [] : [2927 ^ [_74219, _74221, _74223, _75696] = 2925 ^ [_74219, _74221, _74223, _75696]], (2949 ^ _34933) ^ [] : [2927 ^ [_74219, _74221, _74223, _75696] = 2926 ^ [_74219, _74221, _74223, _75696]]], 2899 ^ _34933 : [(2900 ^ _34933) ^ [_75883, _75885] : [lv(_75885), iext(_74221, _75696, _75885), icext(_74219, _75885), lv(_75883), iext(_74221, _75696, _75883), icext(_74219, _75883), -(_75885 = _75883)]]], (2834 ^ _34933) ^ [_74565] : [icext(_74223, _74565), 2839 ^ _34933 : [(2840 ^ _34933) ^ [] : [-(lv(2837 ^ [_74219, _74221, _74223, _74565]))], (2842 ^ _34933) ^ [] : [-(iext(_74221, _74565, 2837 ^ [_74219, _74221, _74223, _74565]))], (2844 ^ _34933) ^ [] : [-(icext(_74219, 2837 ^ [_74219, _74221, _74223, _74565]))], (2846 ^ _34933) ^ [] : [-(lv(2838 ^ [_74219, _74221, _74223, _74565]))], (2848 ^ _34933) ^ [] : [-(iext(_74221, _74565, 2838 ^ [_74219, _74221, _74223, _74565]))], (2850 ^ _34933) ^ [] : [-(icext(_74219, 2838 ^ [_74219, _74221, _74223, _74565]))], (2852 ^ _34933) ^ [] : [2837 ^ [_74219, _74221, _74223, _74565] = 2838 ^ [_74219, _74221, _74223, _74565]], (2854 ^ _34933) ^ [_75084, _75086, _75088] : [-(_75084 = _75088), -(_75084 = _75086), lv(_75088), iext(_74221, _74565, _75088), icext(_74219, _75088), lv(_75086), iext(_74221, _74565, _75086), icext(_74219, _75086), lv(_75084), iext(_74221, _74565, _75084), icext(_74219, _75084)]]]]], (2953 ^ _34933) ^ [_76741, _76743, _76745] : [iext(uri_owl_qualifiedCardinality, _76745, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _76745, _76743), iext(uri_owl_onDataRange, _76745, _76741), 2964 ^ _34933 : [(2965 ^ _34933) ^ [] : [-(iodp(_76743))], (3056 ^ _34933) ^ [_78893] : [-(icext(_76745, _78893)), 3109 ^ _34933 : [(3110 ^ _34933) ^ [] : [-(lv(3105 ^ [_76741, _76743, _76745, _78893]))], (3112 ^ _34933) ^ [] : [-(iext(_76743, _78893, 3105 ^ [_76741, _76743, _76745, _78893]))], (3114 ^ _34933) ^ [] : [-(icext(_76741, 3105 ^ [_76741, _76743, _76745, _78893]))], (3116 ^ _34933) ^ [] : [-(lv(3106 ^ [_76741, _76743, _76745, _78893]))], (3118 ^ _34933) ^ [] : [-(iext(_76743, _78893, 3106 ^ [_76741, _76743, _76745, _78893]))], (3120 ^ _34933) ^ [] : [-(icext(_76741, 3106 ^ [_76741, _76743, _76745, _78893]))], (3122 ^ _34933) ^ [] : [-(lv(3107 ^ [_76741, _76743, _76745, _78893]))], (3124 ^ _34933) ^ [] : [-(iext(_76743, _78893, 3107 ^ [_76741, _76743, _76745, _78893]))], (3126 ^ _34933) ^ [] : [-(icext(_76741, 3107 ^ [_76741, _76743, _76745, _78893]))], (3128 ^ _34933) ^ [] : [-(lv(3108 ^ [_76741, _76743, _76745, _78893]))], (3130 ^ _34933) ^ [] : [-(iext(_76743, _78893, 3108 ^ [_76741, _76743, _76745, _78893]))], (3132 ^ _34933) ^ [] : [-(icext(_76741, 3108 ^ [_76741, _76743, _76745, _78893]))], (3134 ^ _34933) ^ [] : [3108 ^ [_76741, _76743, _76745, _78893] = 3105 ^ [_76741, _76743, _76745, _78893]], (3136 ^ _34933) ^ [] : [3108 ^ [_76741, _76743, _76745, _78893] = 3106 ^ [_76741, _76743, _76745, _78893]], (3138 ^ _34933) ^ [] : [3108 ^ [_76741, _76743, _76745, _78893] = 3107 ^ [_76741, _76743, _76745, _78893]]], 3059 ^ _34933 : [(3060 ^ _34933) ^ [_79148, _79150, _79152] : [lv(_79152), iext(_76743, _78893, _79152), icext(_76741, _79152), lv(_79150), iext(_76743, _78893, _79150), icext(_76741, _79150), lv(_79148), iext(_76743, _78893, _79148), icext(_76741, _79148), -(_79152 = _79150), -(_79152 = _79148), -(_79150 = _79148)]]], (2967 ^ _34933) ^ [_77155] : [icext(_76745, _77155), 2973 ^ _34933 : [(2974 ^ _34933) ^ [] : [-(lv(2970 ^ [_76741, _76743, _76745, _77155]))], (2976 ^ _34933) ^ [] : [-(iext(_76743, _77155, 2970 ^ [_76741, _76743, _76745, _77155]))], (2978 ^ _34933) ^ [] : [-(icext(_76741, 2970 ^ [_76741, _76743, _76745, _77155]))], (2980 ^ _34933) ^ [] : [-(lv(2971 ^ [_76741, _76743, _76745, _77155]))], (2982 ^ _34933) ^ [] : [-(iext(_76743, _77155, 2971 ^ [_76741, _76743, _76745, _77155]))], (2984 ^ _34933) ^ [] : [-(icext(_76741, 2971 ^ [_76741, _76743, _76745, _77155]))], (2986 ^ _34933) ^ [] : [-(lv(2972 ^ [_76741, _76743, _76745, _77155]))], (2988 ^ _34933) ^ [] : [-(iext(_76743, _77155, 2972 ^ [_76741, _76743, _76745, _77155]))], (2990 ^ _34933) ^ [] : [-(icext(_76741, 2972 ^ [_76741, _76743, _76745, _77155]))], (2992 ^ _34933) ^ [] : [2970 ^ [_76741, _76743, _76745, _77155] = 2971 ^ [_76741, _76743, _76745, _77155]], (2994 ^ _34933) ^ [] : [2970 ^ [_76741, _76743, _76745, _77155] = 2972 ^ [_76741, _76743, _76745, _77155]], (2996 ^ _34933) ^ [] : [2971 ^ [_76741, _76743, _76745, _77155] = 2972 ^ [_76741, _76743, _76745, _77155]], (2998 ^ _34933) ^ [_78046, _78048, _78050, _78052] : [-(_78046 = _78052), -(_78046 = _78050), -(_78046 = _78048), lv(_78052), iext(_76743, _77155, _78052), icext(_76741, _78052), lv(_78050), iext(_76743, _77155, _78050), icext(_76741, _78050), lv(_78048), iext(_76743, _77155, _78048), icext(_76741, _78048), lv(_78046), iext(_76743, _77155, _78046), icext(_76741, _78046)]]]]], (3142 ^ _34933) ^ [_80395, _80397, _80399] : [iext(uri_owl_qualifiedCardinality, _80399, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _80399, _80397), iext(uri_owl_onClass, _80399, _80395), 3153 ^ _34933 : [(3164 ^ _34933) ^ [_80752] : [3166 ^ _34933 : [(3167 ^ _34933) ^ [] : [-(iext(_80397, _80752, 3165 ^ [_80395, _80397, _80399, _80752]))], (3169 ^ _34933) ^ [] : [-(icext(_80395, 3165 ^ [_80395, _80397, _80399, _80752]))]], -(icext(_80399, _80752))], (3154 ^ _34933) ^ [_80600] : [icext(_80399, _80600), 3157 ^ _34933 : [(3158 ^ _34933) ^ [_80670] : [iext(_80397, _80600, _80670), icext(_80395, _80670)]]]]], (3173 ^ _34933) ^ [_80856, _80858, _80860] : [iext(uri_owl_qualifiedCardinality, _80860, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _80860, _80858), iext(uri_owl_onClass, _80860, _80856), 3184 ^ _34933 : [(3212 ^ _34933) ^ [_81546] : [-(icext(_80860, _81546)), 3223 ^ _34933 : [(3224 ^ _34933) ^ [] : [-(iext(_80858, _81546, 3221 ^ [_80856, _80858, _80860, _81546]))], (3226 ^ _34933) ^ [] : [-(icext(_80856, 3221 ^ [_80856, _80858, _80860, _81546]))], (3228 ^ _34933) ^ [] : [-(iext(_80858, _81546, 3222 ^ [_80856, _80858, _80860, _81546]))], (3230 ^ _34933) ^ [] : [-(icext(_80856, 3222 ^ [_80856, _80858, _80860, _81546]))], (3232 ^ _34933) ^ [] : [3222 ^ [_80856, _80858, _80860, _81546] = 3221 ^ [_80856, _80858, _80860, _81546]]], 3215 ^ _34933 : [(3216 ^ _34933) ^ [_81658] : [iext(_80858, _81546, _81658), icext(_80856, _81658)]]], (3185 ^ _34933) ^ [_81101] : [icext(_80860, _81101), 3189 ^ _34933 : [(3190 ^ _34933) ^ [] : [-(iext(_80858, _81101, 3188 ^ [_80856, _80858, _80860, _81101]))], (3192 ^ _34933) ^ [] : [-(icext(_80856, 3188 ^ [_80856, _80858, _80860, _81101]))], (3194 ^ _34933) ^ [_81273, _81275] : [-(_81273 = _81275), iext(_80858, _81101, _81275), icext(_80856, _81275), iext(_80858, _81101, _81273), icext(_80856, _81273)]]]]], (3236 ^ _34933) ^ [_81990, _81992, _81994] : [iext(uri_owl_qualifiedCardinality, _81994, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _81994, _81992), iext(uri_owl_onClass, _81994, _81990), 3247 ^ _34933 : [(3294 ^ _34933) ^ [_83118] : [-(icext(_81994, _83118)), 3318 ^ _34933 : [(3319 ^ _34933) ^ [] : [-(iext(_81992, _83118, 3315 ^ [_81990, _81992, _81994, _83118]))], (3321 ^ _34933) ^ [] : [-(icext(_81990, 3315 ^ [_81990, _81992, _81994, _83118]))], (3323 ^ _34933) ^ [] : [-(iext(_81992, _83118, 3316 ^ [_81990, _81992, _81994, _83118]))], (3325 ^ _34933) ^ [] : [-(icext(_81990, 3316 ^ [_81990, _81992, _81994, _83118]))], (3327 ^ _34933) ^ [] : [-(iext(_81992, _83118, 3317 ^ [_81990, _81992, _81994, _83118]))], (3329 ^ _34933) ^ [] : [-(icext(_81990, 3317 ^ [_81990, _81992, _81994, _83118]))], (3331 ^ _34933) ^ [] : [3317 ^ [_81990, _81992, _81994, _83118] = 3315 ^ [_81990, _81992, _81994, _83118]], (3333 ^ _34933) ^ [] : [3317 ^ [_81990, _81992, _81994, _83118] = 3316 ^ [_81990, _81992, _81994, _83118]]], 3297 ^ _34933 : [(3298 ^ _34933) ^ [_83280, _83282] : [iext(_81992, _83118, _83282), icext(_81990, _83282), iext(_81992, _83118, _83280), icext(_81990, _83280), -(_83282 = _83280)]]], (3248 ^ _34933) ^ [_82285] : [icext(_81994, _82285), 3253 ^ _34933 : [(3254 ^ _34933) ^ [] : [-(iext(_81992, _82285, 3251 ^ [_81990, _81992, _81994, _82285]))], (3256 ^ _34933) ^ [] : [-(icext(_81990, 3251 ^ [_81990, _81992, _81994, _82285]))], (3258 ^ _34933) ^ [] : [-(iext(_81992, _82285, 3252 ^ [_81990, _81992, _81994, _82285]))], (3260 ^ _34933) ^ [] : [-(icext(_81990, 3252 ^ [_81990, _81992, _81994, _82285]))], (3262 ^ _34933) ^ [] : [3251 ^ [_81990, _81992, _81994, _82285] = 3252 ^ [_81990, _81992, _81994, _82285]], (3264 ^ _34933) ^ [_82690, _82692, _82694] : [-(_82690 = _82694), -(_82690 = _82692), iext(_81992, _82285, _82694), icext(_81990, _82694), iext(_81992, _82285, _82692), icext(_81990, _82692), iext(_81992, _82285, _82690), icext(_81990, _82690)]]]]], (3337 ^ _34933) ^ [_83930, _83932, _83934] : [iext(uri_owl_qualifiedCardinality, _83934, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _83934, _83932), iext(uri_owl_onClass, _83934, _83930), 3348 ^ _34933 : [(3416 ^ _34933) ^ [_85594] : [-(icext(_83934, _85594)), 3457 ^ _34933 : [(3458 ^ _34933) ^ [] : [-(iext(_83932, _85594, 3453 ^ [_83930, _83932, _83934, _85594]))], (3460 ^ _34933) ^ [] : [-(icext(_83930, 3453 ^ [_83930, _83932, _83934, _85594]))], (3462 ^ _34933) ^ [] : [-(iext(_83932, _85594, 3454 ^ [_83930, _83932, _83934, _85594]))], (3464 ^ _34933) ^ [] : [-(icext(_83930, 3454 ^ [_83930, _83932, _83934, _85594]))], (3466 ^ _34933) ^ [] : [-(iext(_83932, _85594, 3455 ^ [_83930, _83932, _83934, _85594]))], (3468 ^ _34933) ^ [] : [-(icext(_83930, 3455 ^ [_83930, _83932, _83934, _85594]))], (3470 ^ _34933) ^ [] : [-(iext(_83932, _85594, 3456 ^ [_83930, _83932, _83934, _85594]))], (3472 ^ _34933) ^ [] : [-(icext(_83930, 3456 ^ [_83930, _83932, _83934, _85594]))], (3474 ^ _34933) ^ [] : [3456 ^ [_83930, _83932, _83934, _85594] = 3453 ^ [_83930, _83932, _83934, _85594]], (3476 ^ _34933) ^ [] : [3456 ^ [_83930, _83932, _83934, _85594] = 3454 ^ [_83930, _83932, _83934, _85594]], (3478 ^ _34933) ^ [] : [3456 ^ [_83930, _83932, _83934, _85594] = 3455 ^ [_83930, _83932, _83934, _85594]]], 3419 ^ _34933 : [(3420 ^ _34933) ^ [_85814, _85816, _85818] : [iext(_83932, _85594, _85818), icext(_83930, _85818), iext(_83932, _85594, _85816), icext(_83930, _85816), iext(_83932, _85594, _85814), icext(_83930, _85814), -(_85818 = _85816), -(_85818 = _85814), -(_85816 = _85814)]]], (3349 ^ _34933) ^ [_84283] : [icext(_83934, _84283), 3355 ^ _34933 : [(3356 ^ _34933) ^ [] : [-(iext(_83932, _84283, 3352 ^ [_83930, _83932, _83934, _84283]))], (3358 ^ _34933) ^ [] : [-(icext(_83930, 3352 ^ [_83930, _83932, _83934, _84283]))], (3360 ^ _34933) ^ [] : [-(iext(_83932, _84283, 3353 ^ [_83930, _83932, _83934, _84283]))], (3362 ^ _34933) ^ [] : [-(icext(_83930, 3353 ^ [_83930, _83932, _83934, _84283]))], (3364 ^ _34933) ^ [] : [-(iext(_83932, _84283, 3354 ^ [_83930, _83932, _83934, _84283]))], (3366 ^ _34933) ^ [] : [-(icext(_83930, 3354 ^ [_83930, _83932, _83934, _84283]))], (3368 ^ _34933) ^ [] : [3352 ^ [_83930, _83932, _83934, _84283] = 3353 ^ [_83930, _83932, _83934, _84283]], (3370 ^ _34933) ^ [] : [3352 ^ [_83930, _83932, _83934, _84283] = 3354 ^ [_83930, _83932, _83934, _84283]], (3372 ^ _34933) ^ [] : [3353 ^ [_83930, _83932, _83934, _84283] = 3354 ^ [_83930, _83932, _83934, _84283]], (3374 ^ _34933) ^ [_85001, _85003, _85005, _85007] : [-(_85001 = _85007), -(_85001 = _85005), -(_85001 = _85003), iext(_83932, _84283, _85007), icext(_83930, _85007), iext(_83932, _84283, _85005), icext(_83930, _85005), iext(_83932, _84283, _85003), icext(_83930, _85003), iext(_83932, _84283, _85001), icext(_83930, _85001)]]]]], (3482 ^ _34933) ^ [_86759, _86761, _86763] : [iext(uri_owl_hasSelf, _86763, _86759), iext(uri_owl_onProperty, _86763, _86761), 3489 ^ _34933 : [(3490 ^ _34933) ^ [_86895] : [icext(_86763, _86895), -(iext(_86761, _86895, _86895))], (3496 ^ _34933) ^ [_86974] : [iext(_86761, _86974, _86974), -(icext(_86763, _86974))]]], (3502 ^ _34933) ^ [_87065, _87067, _87069] : [iext(uri_owl_hasValue, _87069, _87065), iext(uri_owl_onProperty, _87069, _87067), 3509 ^ _34933 : [(3510 ^ _34933) ^ [_87201] : [icext(_87069, _87201), -(iext(_87067, _87201, _87065))], (3516 ^ _34933) ^ [_87280] : [iext(_87067, _87280, _87065), -(icext(_87069, _87280))]]], (3522 ^ _34933) ^ [_87371, _87373] : [iext(uri_owl_maxCardinality, _87373, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _87373, _87371), 3529 ^ _34933 : [(3530 ^ _34933) ^ [_87510] : [icext(_87373, _87510), 3533 ^ _34933 : [(3534 ^ _34933) ^ [_87577] : [iext(_87371, _87510, _87577)]]], (3536 ^ _34933) ^ [_87599] : [-(iext(_87371, _87599, 3537 ^ [_87371, _87373, _87599])), -(icext(_87373, _87599))]]], (3543 ^ _34933) ^ [_87651, _87653] : [iext(uri_owl_maxCardinality, _87653, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _87653, _87651), 3550 ^ _34933 : [(3565 ^ _34933) ^ [_88029] : [3568 ^ _34933 : [(3569 ^ _34933) ^ [] : [-(iext(_87651, _88029, 3566 ^ [_87651, _87653, _88029]))], (3571 ^ _34933) ^ [] : [-(iext(_87651, _88029, 3567 ^ [_87651, _87653, _88029]))], (3573 ^ _34933) ^ [] : [3567 ^ [_87651, _87653, _88029] = 3566 ^ [_87651, _87653, _88029]]], -(icext(_87653, _88029))], (3551 ^ _34933) ^ [_87806] : [icext(_87653, _87806), 3554 ^ _34933 : [(3555 ^ _34933) ^ [_87884, _87886] : [-(_87884 = _87886), iext(_87651, _87806, _87886), iext(_87651, _87806, _87884)]]]]], (3577 ^ _34933) ^ [_88250, _88252] : [iext(uri_owl_maxCardinality, _88252, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _88252, _88250), 3584 ^ _34933 : [(3607 ^ _34933) ^ [_88745] : [3611 ^ _34933 : [(3612 ^ _34933) ^ [] : [-(iext(_88250, _88745, 3608 ^ [_88250, _88252, _88745]))], (3614 ^ _34933) ^ [] : [-(iext(_88250, _88745, 3609 ^ [_88250, _88252, _88745]))], (3616 ^ _34933) ^ [] : [-(iext(_88250, _88745, 3610 ^ [_88250, _88252, _88745]))], (3618 ^ _34933) ^ [] : [3610 ^ [_88250, _88252, _88745] = 3608 ^ [_88250, _88252, _88745]], (3620 ^ _34933) ^ [] : [3610 ^ [_88250, _88252, _88745] = 3609 ^ [_88250, _88252, _88745]]], -(icext(_88252, _88745))], (3585 ^ _34933) ^ [_88423] : [icext(_88252, _88423), 3588 ^ _34933 : [(3589 ^ _34933) ^ [_88519, _88521, _88523] : [-(_88519 = _88523), -(_88519 = _88521), iext(_88250, _88423, _88523), iext(_88250, _88423, _88521), iext(_88250, _88423, _88519)]]]]], (3624 ^ _34933) ^ [_89076, _89078] : [iext(uri_owl_maxCardinality, _89078, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _89078, _89076), 3631 ^ _34933 : [(3662 ^ _34933) ^ [_89692] : [3667 ^ _34933 : [(3668 ^ _34933) ^ [] : [-(iext(_89076, _89692, 3663 ^ [_89076, _89078, _89692]))], (3670 ^ _34933) ^ [] : [-(iext(_89076, _89692, 3664 ^ [_89076, _89078, _89692]))], (3672 ^ _34933) ^ [] : [-(iext(_89076, _89692, 3665 ^ [_89076, _89078, _89692]))], (3674 ^ _34933) ^ [] : [-(iext(_89076, _89692, 3666 ^ [_89076, _89078, _89692]))], (3676 ^ _34933) ^ [] : [3666 ^ [_89076, _89078, _89692] = 3663 ^ [_89076, _89078, _89692]], (3678 ^ _34933) ^ [] : [3666 ^ [_89076, _89078, _89692] = 3664 ^ [_89076, _89078, _89692]], (3680 ^ _34933) ^ [] : [3666 ^ [_89076, _89078, _89692] = 3665 ^ [_89076, _89078, _89692]]], -(icext(_89078, _89692))], (3632 ^ _34933) ^ [_89267] : [icext(_89078, _89267), 3635 ^ _34933 : [(3636 ^ _34933) ^ [_89381, _89383, _89385, _89387] : [-(_89381 = _89387), -(_89381 = _89385), -(_89381 = _89383), iext(_89076, _89267, _89387), iext(_89076, _89267, _89385), iext(_89076, _89267, _89383), iext(_89076, _89267, _89381)]]]]], (3684 ^ _34933) ^ [_90133, _90135, _90137] : [iext(uri_owl_maxQualifiedCardinality, _90137, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _90137, _90135), iext(uri_owl_onDataRange, _90137, _90133), 3695 ^ _34933 : [(3696 ^ _34933) ^ [] : [-(iodp(_90135))], (3712 ^ _34933) ^ [_90582] : [3714 ^ _34933 : [(3715 ^ _34933) ^ [] : [-(lv(3713 ^ [_90133, _90135, _90137, _90582]))], (3717 ^ _34933) ^ [] : [-(iext(_90135, _90582, 3713 ^ [_90133, _90135, _90137, _90582]))], (3719 ^ _34933) ^ [] : [-(icext(_90133, 3713 ^ [_90133, _90135, _90137, _90582]))]], -(icext(_90137, _90582))], (3698 ^ _34933) ^ [_90369] : [icext(_90137, _90369), 3701 ^ _34933 : [(3702 ^ _34933) ^ [_90444] : [lv(_90444), iext(_90135, _90369, _90444), icext(_90133, _90444)]]]]], (3723 ^ _34933) ^ [_90716, _90718, _90720] : [iext(uri_owl_maxQualifiedCardinality, _90720, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _90720, _90718), iext(uri_owl_onDataRange, _90720, _90716), 3734 ^ _34933 : [(3735 ^ _34933) ^ [] : [-(iodp(_90718))], (3767 ^ _34933) ^ [_91466] : [3770 ^ _34933 : [(3771 ^ _34933) ^ [] : [-(lv(3768 ^ [_90716, _90718, _90720, _91466]))], (3773 ^ _34933) ^ [] : [-(iext(_90718, _91466, 3768 ^ [_90716, _90718, _90720, _91466]))], (3775 ^ _34933) ^ [] : [-(icext(_90716, 3768 ^ [_90716, _90718, _90720, _91466]))], (3777 ^ _34933) ^ [] : [-(lv(3769 ^ [_90716, _90718, _90720, _91466]))], (3779 ^ _34933) ^ [] : [-(iext(_90718, _91466, 3769 ^ [_90716, _90718, _90720, _91466]))], (3781 ^ _34933) ^ [] : [-(icext(_90716, 3769 ^ [_90716, _90718, _90720, _91466]))], (3783 ^ _34933) ^ [] : [3769 ^ [_90716, _90718, _90720, _91466] = 3768 ^ [_90716, _90718, _90720, _91466]]], -(icext(_90720, _91466))], (3737 ^ _34933) ^ [_90979] : [icext(_90720, _90979), 3740 ^ _34933 : [(3741 ^ _34933) ^ [_91081, _91083] : [-(_91081 = _91083), lv(_91083), iext(_90718, _90979, _91083), icext(_90716, _91083), lv(_91081), iext(_90718, _90979, _91081), icext(_90716, _91081)]]]]], (3787 ^ _34933) ^ [_91850, _91852, _91854] : [iext(uri_owl_maxQualifiedCardinality, _91854, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _91854, _91852), iext(uri_owl_onDataRange, _91854, _91850), 3798 ^ _34933 : [(3799 ^ _34933) ^ [] : [-(iodp(_91852))], (3847 ^ _34933) ^ [_92871] : [3851 ^ _34933 : [(3852 ^ _34933) ^ [] : [-(lv(3848 ^ [_91850, _91852, _91854, _92871]))], (3854 ^ _34933) ^ [] : [-(iext(_91852, _92871, 3848 ^ [_91850, _91852, _91854, _92871]))], (3856 ^ _34933) ^ [] : [-(icext(_91850, 3848 ^ [_91850, _91852, _91854, _92871]))], (3858 ^ _34933) ^ [] : [-(lv(3849 ^ [_91850, _91852, _91854, _92871]))], (3860 ^ _34933) ^ [] : [-(iext(_91852, _92871, 3849 ^ [_91850, _91852, _91854, _92871]))], (3862 ^ _34933) ^ [] : [-(icext(_91850, 3849 ^ [_91850, _91852, _91854, _92871]))], (3864 ^ _34933) ^ [] : [-(lv(3850 ^ [_91850, _91852, _91854, _92871]))], (3866 ^ _34933) ^ [] : [-(iext(_91852, _92871, 3850 ^ [_91850, _91852, _91854, _92871]))], (3868 ^ _34933) ^ [] : [-(icext(_91850, 3850 ^ [_91850, _91852, _91854, _92871]))], (3870 ^ _34933) ^ [] : [3850 ^ [_91850, _91852, _91854, _92871] = 3848 ^ [_91850, _91852, _91854, _92871]], (3872 ^ _34933) ^ [] : [3850 ^ [_91850, _91852, _91854, _92871] = 3849 ^ [_91850, _91852, _91854, _92871]]], -(icext(_91854, _92871))], (3801 ^ _34933) ^ [_92142] : [icext(_91854, _92142), 3804 ^ _34933 : [(3805 ^ _34933) ^ [_92273, _92275, _92277] : [-(_92273 = _92277), -(_92273 = _92275), lv(_92277), iext(_91852, _92142, _92277), icext(_91850, _92277), lv(_92275), iext(_91852, _92142, _92275), icext(_91850, _92275), lv(_92273), iext(_91852, _92142, _92273), icext(_91850, _92273)]]]]], (3876 ^ _34933) ^ [_93445, _93447, _93449] : [iext(uri_owl_maxQualifiedCardinality, _93449, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _93449, _93447), iext(uri_owl_onDataRange, _93449, _93445), 3887 ^ _34933 : [(3888 ^ _34933) ^ [] : [-(iodp(_93447))], (3952 ^ _34933) ^ [_94749] : [3957 ^ _34933 : [(3958 ^ _34933) ^ [] : [-(lv(3953 ^ [_93445, _93447, _93449, _94749]))], (3960 ^ _34933) ^ [] : [-(iext(_93447, _94749, 3953 ^ [_93445, _93447, _93449, _94749]))], (3962 ^ _34933) ^ [] : [-(icext(_93445, 3953 ^ [_93445, _93447, _93449, _94749]))], (3964 ^ _34933) ^ [] : [-(lv(3954 ^ [_93445, _93447, _93449, _94749]))], (3966 ^ _34933) ^ [] : [-(iext(_93447, _94749, 3954 ^ [_93445, _93447, _93449, _94749]))], (3968 ^ _34933) ^ [] : [-(icext(_93445, 3954 ^ [_93445, _93447, _93449, _94749]))], (3970 ^ _34933) ^ [] : [-(lv(3955 ^ [_93445, _93447, _93449, _94749]))], (3972 ^ _34933) ^ [] : [-(iext(_93447, _94749, 3955 ^ [_93445, _93447, _93449, _94749]))], (3974 ^ _34933) ^ [] : [-(icext(_93445, 3955 ^ [_93445, _93447, _93449, _94749]))], (3976 ^ _34933) ^ [] : [-(lv(3956 ^ [_93445, _93447, _93449, _94749]))], (3978 ^ _34933) ^ [] : [-(iext(_93447, _94749, 3956 ^ [_93445, _93447, _93449, _94749]))], (3980 ^ _34933) ^ [] : [-(icext(_93445, 3956 ^ [_93445, _93447, _93449, _94749]))], (3982 ^ _34933) ^ [] : [3956 ^ [_93445, _93447, _93449, _94749] = 3953 ^ [_93445, _93447, _93449, _94749]], (3984 ^ _34933) ^ [] : [3956 ^ [_93445, _93447, _93449, _94749] = 3954 ^ [_93445, _93447, _93449, _94749]], (3986 ^ _34933) ^ [] : [3956 ^ [_93445, _93447, _93449, _94749] = 3955 ^ [_93445, _93447, _93449, _94749]]], -(icext(_93449, _94749))], (3890 ^ _34933) ^ [_93766] : [icext(_93449, _93766), 3893 ^ _34933 : [(3894 ^ _34933) ^ [_93926, _93928, _93930, _93932] : [-(_93926 = _93932), -(_93926 = _93930), -(_93926 = _93928), lv(_93932), iext(_93447, _93766, _93932), icext(_93445, _93932), lv(_93930), iext(_93447, _93766, _93930), icext(_93445, _93930), lv(_93928), iext(_93447, _93766, _93928), icext(_93445, _93928), lv(_93926), iext(_93447, _93766, _93926), icext(_93445, _93926)]]]]], (3990 ^ _34933) ^ [_95513, _95515, _95517] : [iext(uri_owl_maxQualifiedCardinality, _95517, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95517, _95515), iext(uri_owl_onClass, _95517, _95513), 4001 ^ _34933 : [(4012 ^ _34933) ^ [_95870] : [4014 ^ _34933 : [(4015 ^ _34933) ^ [] : [-(iext(_95515, _95870, 4013 ^ [_95513, _95515, _95517, _95870]))], (4017 ^ _34933) ^ [] : [-(icext(_95513, 4013 ^ [_95513, _95515, _95517, _95870]))]], -(icext(_95517, _95870))], (4002 ^ _34933) ^ [_95718] : [icext(_95517, _95718), 4005 ^ _34933 : [(4006 ^ _34933) ^ [_95788] : [iext(_95515, _95718, _95788), icext(_95513, _95788)]]]]], (4021 ^ _34933) ^ [_95974, _95976, _95978] : [iext(uri_owl_maxQualifiedCardinality, _95978, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _95978, _95976), iext(uri_owl_onClass, _95978, _95974), 4032 ^ _34933 : [(4055 ^ _34933) ^ [_96562] : [4058 ^ _34933 : [(4059 ^ _34933) ^ [] : [-(iext(_95976, _96562, 4056 ^ [_95974, _95976, _95978, _96562]))], (4061 ^ _34933) ^ [] : [-(icext(_95974, 4056 ^ [_95974, _95976, _95978, _96562]))], (4063 ^ _34933) ^ [] : [-(iext(_95976, _96562, 4057 ^ [_95974, _95976, _95978, _96562]))], (4065 ^ _34933) ^ [] : [-(icext(_95974, 4057 ^ [_95974, _95976, _95978, _96562]))], (4067 ^ _34933) ^ [] : [4057 ^ [_95974, _95976, _95978, _96562] = 4056 ^ [_95974, _95976, _95978, _96562]]], -(icext(_95978, _96562))], (4033 ^ _34933) ^ [_96201] : [icext(_95978, _96201), 4036 ^ _34933 : [(4037 ^ _34933) ^ [_96293, _96295] : [-(_96293 = _96295), iext(_95976, _96201, _96295), icext(_95974, _96295), iext(_95976, _96201, _96293), icext(_95974, _96293)]]]]], (4071 ^ _34933) ^ [_96874, _96876, _96878] : [iext(uri_owl_maxQualifiedCardinality, _96878, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _96878, _96876), iext(uri_owl_onClass, _96878, _96874), 4082 ^ _34933 : [(4117 ^ _34933) ^ [_97659] : [4121 ^ _34933 : [(4122 ^ _34933) ^ [] : [-(iext(_96876, _97659, 4118 ^ [_96874, _96876, _96878, _97659]))], (4124 ^ _34933) ^ [] : [-(icext(_96874, 4118 ^ [_96874, _96876, _96878, _97659]))], (4126 ^ _34933) ^ [] : [-(iext(_96876, _97659, 4119 ^ [_96874, _96876, _96878, _97659]))], (4128 ^ _34933) ^ [] : [-(icext(_96874, 4119 ^ [_96874, _96876, _96878, _97659]))], (4130 ^ _34933) ^ [] : [-(iext(_96876, _97659, 4120 ^ [_96874, _96876, _96878, _97659]))], (4132 ^ _34933) ^ [] : [-(icext(_96874, 4120 ^ [_96874, _96876, _96878, _97659]))], (4134 ^ _34933) ^ [] : [4120 ^ [_96874, _96876, _96878, _97659] = 4118 ^ [_96874, _96876, _96878, _97659]], (4136 ^ _34933) ^ [] : [4120 ^ [_96874, _96876, _96878, _97659] = 4119 ^ [_96874, _96876, _96878, _97659]]], -(icext(_96878, _97659))], (4083 ^ _34933) ^ [_97125] : [icext(_96878, _97125), 4086 ^ _34933 : [(4087 ^ _34933) ^ [_97241, _97243, _97245] : [-(_97241 = _97245), -(_97241 = _97243), iext(_96876, _97125, _97245), icext(_96874, _97245), iext(_96876, _97125, _97243), icext(_96874, _97243), iext(_96876, _97125, _97241), icext(_96874, _97241)]]]]], (4140 ^ _34933) ^ [_98126, _98128, _98130] : [iext(uri_owl_maxQualifiedCardinality, _98130, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _98130, _98128), iext(uri_owl_onClass, _98130, _98126), 4151 ^ _34933 : [(4198 ^ _34933) ^ [_99116] : [4203 ^ _34933 : [(4204 ^ _34933) ^ [] : [-(iext(_98128, _99116, 4199 ^ [_98126, _98128, _98130, _99116]))], (4206 ^ _34933) ^ [] : [-(icext(_98126, 4199 ^ [_98126, _98128, _98130, _99116]))], (4208 ^ _34933) ^ [] : [-(iext(_98128, _99116, 4200 ^ [_98126, _98128, _98130, _99116]))], (4210 ^ _34933) ^ [] : [-(icext(_98126, 4200 ^ [_98126, _98128, _98130, _99116]))], (4212 ^ _34933) ^ [] : [-(iext(_98128, _99116, 4201 ^ [_98126, _98128, _98130, _99116]))], (4214 ^ _34933) ^ [] : [-(icext(_98126, 4201 ^ [_98126, _98128, _98130, _99116]))], (4216 ^ _34933) ^ [] : [-(iext(_98128, _99116, 4202 ^ [_98126, _98128, _98130, _99116]))], (4218 ^ _34933) ^ [] : [-(icext(_98126, 4202 ^ [_98126, _98128, _98130, _99116]))], (4220 ^ _34933) ^ [] : [4202 ^ [_98126, _98128, _98130, _99116] = 4199 ^ [_98126, _98128, _98130, _99116]], (4222 ^ _34933) ^ [] : [4202 ^ [_98126, _98128, _98130, _99116] = 4200 ^ [_98126, _98128, _98130, _99116]], (4224 ^ _34933) ^ [] : [4202 ^ [_98126, _98128, _98130, _99116] = 4201 ^ [_98126, _98128, _98130, _99116]]], -(icext(_98130, _99116))], (4152 ^ _34933) ^ [_98401] : [icext(_98130, _98401), 4155 ^ _34933 : [(4156 ^ _34933) ^ [_98541, _98543, _98545, _98547] : [-(_98541 = _98547), -(_98541 = _98545), -(_98541 = _98543), iext(_98128, _98401, _98547), icext(_98126, _98547), iext(_98128, _98401, _98545), icext(_98126, _98545), iext(_98128, _98401, _98543), icext(_98126, _98543), iext(_98128, _98401, _98541), icext(_98126, _98541)]]]]], (4228 ^ _34933) ^ [_99738, _99740] : [4235 ^ _34933 : [(4236 ^ _34933) ^ [_99853] : [-(icext(_99740, _99853))]], iext(uri_owl_minCardinality, _99740, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99740, _99738)], (4238 ^ _34933) ^ [_99880, _99882] : [iext(uri_owl_minCardinality, _99882, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _99882, _99880), 4245 ^ _34933 : [(4246 ^ _34933) ^ [_100017] : [icext(_99882, _100017), -(iext(_99880, _100017, 4249 ^ [_99880, _99882, _100017]))], (4253 ^ _34933) ^ [_100108] : [4254 ^ _34933 : [(4255 ^ _34933) ^ [_100150] : [iext(_99880, _100108, _100150)]], -(icext(_99882, _100108))]]], (4259 ^ _34933) ^ [_100210, _100212] : [iext(uri_owl_minCardinality, _100212, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _100212, _100210), 4266 ^ _34933 : [(4267 ^ _34933) ^ [_100367] : [icext(_100212, _100367), 4272 ^ _34933 : [(4273 ^ _34933) ^ [] : [-(iext(_100210, _100367, 4270 ^ [_100210, _100212, _100367]))], (4275 ^ _34933) ^ [] : [-(iext(_100210, _100367, 4271 ^ [_100210, _100212, _100367]))], (4277 ^ _34933) ^ [] : [4270 ^ [_100210, _100212, _100367] = 4271 ^ [_100210, _100212, _100367]]]], (4279 ^ _34933) ^ [_100589] : [-(icext(_100212, _100589)), 4280 ^ _34933 : [(4281 ^ _34933) ^ [_100646, _100648] : [iext(_100210, _100589, _100648), iext(_100210, _100589, _100646), -(_100648 = _100646)]]]]], (4293 ^ _34933) ^ [_100829, _100831] : [iext(uri_owl_minCardinality, _100831, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _100831, _100829), 4300 ^ _34933 : [(4301 ^ _34933) ^ [_101014] : [icext(_100831, _101014), 4307 ^ _34933 : [(4308 ^ _34933) ^ [] : [-(iext(_100829, _101014, 4304 ^ [_100829, _100831, _101014]))], (4310 ^ _34933) ^ [] : [-(iext(_100829, _101014, 4305 ^ [_100829, _100831, _101014]))], (4312 ^ _34933) ^ [] : [-(iext(_100829, _101014, 4306 ^ [_100829, _100831, _101014]))], (4314 ^ _34933) ^ [] : [4304 ^ [_100829, _100831, _101014] = 4305 ^ [_100829, _100831, _101014]], (4316 ^ _34933) ^ [] : [4304 ^ [_100829, _100831, _101014] = 4306 ^ [_100829, _100831, _101014]], (4318 ^ _34933) ^ [] : [4305 ^ [_100829, _100831, _101014] = 4306 ^ [_100829, _100831, _101014]]]], (4320 ^ _34933) ^ [_101450] : [-(icext(_100831, _101450)), 4321 ^ _34933 : [(4322 ^ _34933) ^ [_101535, _101537, _101539] : [iext(_100829, _101450, _101539), iext(_100829, _101450, _101537), iext(_100829, _101450, _101535), -(_101539 = _101537), -(_101539 = _101535), -(_101537 = _101535)]]]]], (4346 ^ _34933) ^ [_101814, _101816, _101818] : [4357 ^ _34933 : [(4358 ^ _34933) ^ [] : [-(iodp(_101816))], (4360 ^ _34933) ^ [_102009] : [-(icext(_101818, _102009))]], iext(uri_owl_minQualifiedCardinality, _101818, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _101818, _101816), iext(uri_owl_onDataRange, _101818, _101814)], (4362 ^ _34933) ^ [_102038, _102040, _102042] : [iext(uri_owl_minQualifiedCardinality, _102042, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102042, _102040), iext(uri_owl_onDataRange, _102042, _102038), 4373 ^ _34933 : [(4374 ^ _34933) ^ [] : [-(iodp(_102040))], (4376 ^ _34933) ^ [_102272] : [icext(_102042, _102272), 4380 ^ _34933 : [(4381 ^ _34933) ^ [] : [-(lv(4379 ^ [_102038, _102040, _102042, _102272]))], (4383 ^ _34933) ^ [] : [-(iext(_102040, _102272, 4379 ^ [_102038, _102040, _102042, _102272]))], (4385 ^ _34933) ^ [] : [-(icext(_102038, 4379 ^ [_102038, _102040, _102042, _102272]))]]], (4387 ^ _34933) ^ [_102437] : [-(icext(_102042, _102437)), 4388 ^ _34933 : [(4389 ^ _34933) ^ [_102487] : [lv(_102487), iext(_102040, _102437, _102487), icext(_102038, _102487)]]]]], (4401 ^ _34933) ^ [_102667, _102669, _102671] : [iext(uri_owl_minQualifiedCardinality, _102671, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _102671, _102669), iext(uri_owl_onDataRange, _102671, _102667), 4412 ^ _34933 : [(4413 ^ _34933) ^ [] : [-(iodp(_102669))], (4415 ^ _34933) ^ [_102932] : [icext(_102671, _102932), 4420 ^ _34933 : [(4421 ^ _34933) ^ [] : [-(lv(4418 ^ [_102667, _102669, _102671, _102932]))], (4423 ^ _34933) ^ [] : [-(iext(_102669, _102932, 4418 ^ [_102667, _102669, _102671, _102932]))], (4425 ^ _34933) ^ [] : [-(icext(_102667, 4418 ^ [_102667, _102669, _102671, _102932]))], (4427 ^ _34933) ^ [] : [-(lv(4419 ^ [_102667, _102669, _102671, _102932]))], (4429 ^ _34933) ^ [] : [-(iext(_102669, _102932, 4419 ^ [_102667, _102669, _102671, _102932]))], (4431 ^ _34933) ^ [] : [-(icext(_102667, 4419 ^ [_102667, _102669, _102671, _102932]))], (4433 ^ _34933) ^ [] : [4418 ^ [_102667, _102669, _102671, _102932] = 4419 ^ [_102667, _102669, _102671, _102932]]]], (4435 ^ _34933) ^ [_103371] : [-(icext(_102671, _103371)), 4436 ^ _34933 : [(4437 ^ _34933) ^ [_103452, _103454] : [lv(_103454), iext(_102669, _103371, _103454), icext(_102667, _103454), lv(_103452), iext(_102669, _103371, _103452), icext(_102667, _103452), -(_103454 = _103452)]]]]], (4465 ^ _34933) ^ [_103879, _103881, _103883] : [iext(uri_owl_minQualifiedCardinality, _103883, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _103883, _103881), iext(uri_owl_onDataRange, _103883, _103879), 4476 ^ _34933 : [(4477 ^ _34933) ^ [] : [-(iodp(_103881))], (4479 ^ _34933) ^ [_104183] : [icext(_103883, _104183), 4485 ^ _34933 : [(4486 ^ _34933) ^ [] : [-(lv(4482 ^ [_103879, _103881, _103883, _104183]))], (4488 ^ _34933) ^ [] : [-(iext(_103881, _104183, 4482 ^ [_103879, _103881, _103883, _104183]))], (4490 ^ _34933) ^ [] : [-(icext(_103879, 4482 ^ [_103879, _103881, _103883, _104183]))], (4492 ^ _34933) ^ [] : [-(lv(4483 ^ [_103879, _103881, _103883, _104183]))], (4494 ^ _34933) ^ [] : [-(iext(_103881, _104183, 4483 ^ [_103879, _103881, _103883, _104183]))], (4496 ^ _34933) ^ [] : [-(icext(_103879, 4483 ^ [_103879, _103881, _103883, _104183]))], (4498 ^ _34933) ^ [] : [-(lv(4484 ^ [_103879, _103881, _103883, _104183]))], (4500 ^ _34933) ^ [] : [-(iext(_103881, _104183, 4484 ^ [_103879, _103881, _103883, _104183]))], (4502 ^ _34933) ^ [] : [-(icext(_103879, 4484 ^ [_103879, _103881, _103883, _104183]))], (4504 ^ _34933) ^ [] : [4482 ^ [_103879, _103881, _103883, _104183] = 4483 ^ [_103879, _103881, _103883, _104183]], (4506 ^ _34933) ^ [] : [4482 ^ [_103879, _103881, _103883, _104183] = 4484 ^ [_103879, _103881, _103883, _104183]], (4508 ^ _34933) ^ [] : [4483 ^ [_103879, _103881, _103883, _104183] = 4484 ^ [_103879, _103881, _103883, _104183]]]], (4510 ^ _34933) ^ [_104965] : [-(icext(_103883, _104965)), 4511 ^ _34933 : [(4512 ^ _34933) ^ [_105085, _105087, _105089] : [lv(_105089), iext(_103881, _104965, _105089), icext(_103879, _105089), lv(_105087), iext(_103881, _104965, _105087), icext(_103879, _105087), lv(_105085), iext(_103881, _104965, _105085), icext(_103879, _105085), -(_105089 = _105087), -(_105089 = _105085), -(_105087 = _105085)]]]]], (4560 ^ _34933) ^ [_105740, _105742, _105744] : [4571 ^ _34933 : [(4572 ^ _34933) ^ [_105915] : [-(icext(_105744, _105915))]], iext(uri_owl_minQualifiedCardinality, _105744, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _105744, _105742), iext(uri_owl_onClass, _105744, _105740)], (4574 ^ _34933) ^ [_105942, _105944, _105946] : [iext(uri_owl_minQualifiedCardinality, _105946, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _105946, _105944), iext(uri_owl_onClass, _105946, _105942), 4585 ^ _34933 : [(4586 ^ _34933) ^ [_106236] : [icext(_105946, _106236), 4590 ^ _34933 : [(4591 ^ _34933) ^ [] : [-(iext(_105944, _106236, 4589 ^ [_105942, _105944, _105946, _106236]))], (4593 ^ _34933) ^ [] : [-(icext(_105942, 4589 ^ [_105942, _105944, _105946, _106236]))]]], (4595 ^ _34933) ^ [_106584] : [-(icext(_105946, _106584)), 4596 ^ _34933 : [(4597 ^ _34933) ^ [_106687] : [iext(_105944, _106584, _106687), icext(_105942, _106687)]]]]], (4605 ^ _34933) ^ [_107004, _107006, _107008] : [iext(uri_owl_minQualifiedCardinality, _107008, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _107008, _107006), iext(uri_owl_onClass, _107008, _107004), 4616 ^ _34933 : [(4617 ^ _34933) ^ [_107404] : [icext(_107008, _107404), 4622 ^ _34933 : [(4623 ^ _34933) ^ [] : [-(iext(_107006, _107404, 4620 ^ [_107004, _107006, _107008, _107404]))], (4625 ^ _34933) ^ [] : [-(icext(_107004, 4620 ^ [_107004, _107006, _107008, _107404]))], (4627 ^ _34933) ^ [] : [-(iext(_107006, _107404, 4621 ^ [_107004, _107006, _107008, _107404]))], (4629 ^ _34933) ^ [] : [-(icext(_107004, 4621 ^ [_107004, _107006, _107008, _107404]))], (4631 ^ _34933) ^ [] : [4620 ^ [_107004, _107006, _107008, _107404] = 4621 ^ [_107004, _107006, _107008, _107404]]]], (4633 ^ _34933) ^ [_108178] : [-(icext(_107008, _108178)), 4634 ^ _34933 : [(4635 ^ _34933) ^ [_108321, _108323] : [iext(_107006, _108178, _108323), icext(_107004, _108323), iext(_107006, _108178, _108321), icext(_107004, _108321), -(_108323 = _108321)]]]]], (4655 ^ _34933) ^ [_108964, _108966, _108968] : [iext(uri_owl_minQualifiedCardinality, _108968, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _108968, _108966), iext(uri_owl_onClass, _108968, _108964), 4666 ^ _34933 : [(4667 ^ _34933) ^ [_109398] : [icext(_108968, _109398), 4673 ^ _34933 : [(4674 ^ _34933) ^ [] : [-(iext(_108966, _109398, 4670 ^ [_108964, _108966, _108968, _109398]))], (4676 ^ _34933) ^ [] : [-(icext(_108964, 4670 ^ [_108964, _108966, _108968, _109398]))], (4678 ^ _34933) ^ [] : [-(iext(_108966, _109398, 4671 ^ [_108964, _108966, _108968, _109398]))], (4680 ^ _34933) ^ [] : [-(icext(_108964, 4671 ^ [_108964, _108966, _108968, _109398]))], (4682 ^ _34933) ^ [] : [-(iext(_108966, _109398, 4672 ^ [_108964, _108966, _108968, _109398]))], (4684 ^ _34933) ^ [] : [-(icext(_108964, 4672 ^ [_108964, _108966, _108968, _109398]))], (4686 ^ _34933) ^ [] : [4670 ^ [_108964, _108966, _108968, _109398] = 4671 ^ [_108964, _108966, _108968, _109398]], (4688 ^ _34933) ^ [] : [4670 ^ [_108964, _108966, _108968, _109398] = 4672 ^ [_108964, _108966, _108968, _109398]], (4690 ^ _34933) ^ [] : [4671 ^ [_108964, _108966, _108968, _109398] = 4672 ^ [_108964, _108966, _108968, _109398]]]], (4692 ^ _34933) ^ [_110836] : [-(icext(_108968, _110836)), 4693 ^ _34933 : [(4694 ^ _34933) ^ [_111027, _111029, _111031] : [iext(_108966, _110836, _111031), icext(_108964, _111031), iext(_108966, _110836, _111029), icext(_108964, _111029), iext(_108966, _110836, _111027), icext(_108964, _111027), -(_111031 = _111029), -(_111031 = _111027), -(_111029 = _111027)]]]]], (4730 ^ _34933) ^ [_112132, _112134, _112136] : [iext(uri_owl_someValuesFrom, _112136, _112132), iext(uri_owl_onProperty, _112136, _112134), 4737 ^ _34933 : [(4738 ^ _34933) ^ [_112411] : [icext(_112136, _112411), 4742 ^ _34933 : [(4743 ^ _34933) ^ [] : [-(iext(_112134, _112411, 4741 ^ [_112132, _112134, _112136, _112411]))], (4745 ^ _34933) ^ [] : [-(icext(_112132, 4741 ^ [_112132, _112134, _112136, _112411]))]]], (4747 ^ _34933) ^ [_112759] : [-(icext(_112136, _112759)), 4748 ^ _34933 : [(4749 ^ _34933) ^ [_112862] : [iext(_112134, _112759, _112862), icext(_112132, _112862)]]]]], (4757 ^ _34933) ^ [_113192, _113194] : [iext(uri_rdfs_domain, _113194, _113192), 4760 ^ _34933 : [(4761 ^ _34933) ^ [] : [-(ip(_113194))], (4763 ^ _34933) ^ [] : [-(ic(_113192))], (4765 ^ _34933) ^ [_113491, _113493] : [iext(_113194, _113493, _113491), -(icext(_113192, _113493))]]], (4771 ^ _34933) ^ [_113680, _113682] : [-(iext(uri_rdfs_domain, _113682, _113680)), ip(_113682), ic(_113680), 4782 ^ _34933 : [(4783 ^ _34933) ^ [] : [-(iext(_113682, 4780 ^ [_113680, _113682], 4781 ^ [_113680, _113682]))], (4785 ^ _34933) ^ [] : [icext(_113680, 4780 ^ [_113680, _113682])]]], (4789 ^ _34933) ^ [_114328, _114330] : [iext(uri_rdfs_range, _114330, _114328), 4792 ^ _34933 : [(4793 ^ _34933) ^ [] : [-(ip(_114330))], (4795 ^ _34933) ^ [] : [-(ip(_114328))], (4797 ^ _34933) ^ [_114627, _114629] : [iext(_114330, _114629, _114627), -(icext(_114328, _114627))]]], (4803 ^ _34933) ^ [_114816, _114818] : [-(iext(uri_rdfs_range, _114818, _114816)), ip(_114818), ip(_114816), 4814 ^ _34933 : [(4815 ^ _34933) ^ [] : [-(iext(_114818, 4812 ^ [_114816, _114818], 4813 ^ [_114816, _114818]))], (4817 ^ _34933) ^ [] : [icext(_114816, 4813 ^ [_114816, _114818])]]], (4821 ^ _34933) ^ [_115457, _115459] : [iext(uri_rdfs_subClassOf, _115459, _115457), 4824 ^ _34933 : [(4825 ^ _34933) ^ [] : [-(ic(_115459))], (4827 ^ _34933) ^ [] : [-(ic(_115457))], (4829 ^ _34933) ^ [_115736] : [icext(_115459, _115736), -(icext(_115457, _115736))]]], (4835 ^ _34933) ^ [_115917, _115919] : [-(iext(uri_rdfs_subClassOf, _115919, _115917)), ic(_115919), ic(_115917), 4845 ^ _34933 : [(4846 ^ _34933) ^ [] : [-(icext(_115919, 4844 ^ [_115917, _115919]))], (4848 ^ _34933) ^ [] : [icext(_115917, 4844 ^ [_115917, _115919])]]], (4852 ^ _34933) ^ [_116479, _116481] : [iext(uri_rdfs_subPropertyOf, _116481, _116479), 4855 ^ _34933 : [(4856 ^ _34933) ^ [] : [-(ip(_116481))], (4858 ^ _34933) ^ [] : [-(ip(_116479))], (4860 ^ _34933) ^ [_116779, _116781] : [iext(_116481, _116781, _116779), -(iext(_116479, _116781, _116779))]]], (4866 ^ _34933) ^ [_116970, _116972] : [-(iext(uri_rdfs_subPropertyOf, _116972, _116970)), ip(_116972), ip(_116970), 4877 ^ _34933 : [(4878 ^ _34933) ^ [] : [-(iext(_116972, 4875 ^ [_116970, _116972], 4876 ^ [_116970, _116972]))], (4880 ^ _34933) ^ [] : [iext(_116970, 4875 ^ [_116970, _116972], 4876 ^ [_116970, _116972])]]], (4884 ^ _34933) ^ [_117629, _117631] : [iext(uri_owl_differentFrom, _117631, _117629), _117631 = _117629], (4890 ^ _34933) ^ [_117794, _117796] : [-(_117796 = _117794), -(iext(uri_owl_differentFrom, _117796, _117794))], (4896 ^ _34933) ^ [_118026] : [iext(uri_owl_disjointUnionOf, _118026, uri_rdf_nil), 4899 ^ _34933 : [(4900 ^ _34933) ^ [] : [-(ic(_118026))], (4902 ^ _34933) ^ [_118209] : [icext(_118026, _118209)]]], (4904 ^ _34933) ^ [_118277] : [-(iext(uri_owl_disjointUnionOf, _118277, uri_rdf_nil)), ic(_118277), -(icext(_118277, 4909 ^ [_118277]))], (4915 ^ _34933) ^ [_118638, _118640, _118642] : [iext(uri_rdf_first, _118640, _118638), iext(uri_rdf_rest, _118640, uri_rdf_nil), 4922 ^ _34933 : [(4923 ^ _34933) ^ [] : [iext(uri_owl_disjointUnionOf, _118642, _118640), 4926 ^ _34933 : [(4927 ^ _34933) ^ [] : [-(ic(_118642))], (4929 ^ _34933) ^ [] : [-(ic(_118638))], (4931 ^ _34933) ^ [_119169] : [icext(_118642, _119169), -(icext(_118638, _119169))], (4937 ^ _34933) ^ [_119349] : [icext(_118638, _119349), -(icext(_118642, _119349))]]], (4943 ^ _34933) ^ [] : [-(iext(uri_owl_disjointUnionOf, _118642, _118640)), ic(_118642), ic(_118638), 4955 ^ _34933 : [(4956 ^ _34933) ^ [] : [-(icext(_118642, 4952 ^ [_118638, _118640, _118642]))], (4958 ^ _34933) ^ [] : [icext(_118638, 4952 ^ [_118638, _118640, _118642])]], 4959 ^ _34933 : [(4960 ^ _34933) ^ [] : [-(icext(_118638, 4952 ^ [_118638, _118640, _118642]))], (4962 ^ _34933) ^ [] : [icext(_118642, 4952 ^ [_118638, _118640, _118642])]]]]], (4966 ^ _34933) ^ [_120276, _120278, _120280, _120282, _120284] : [iext(uri_rdf_first, _120282, _120280), iext(uri_rdf_rest, _120282, _120278), iext(uri_rdf_first, _120278, _120276), iext(uri_rdf_rest, _120278, uri_rdf_nil), 4981 ^ _34933 : [(5022 ^ _34933) ^ [] : [-(iext(uri_owl_disjointUnionOf, _120284, _120282)), ic(_120284), ic(_120280), ic(_120276), 5038 ^ _34933 : [(5039 ^ _34933) ^ [] : [-(icext(_120284, 5035 ^ [_120276, _120278, _120280, _120282, _120284]))], (5041 ^ _34933) ^ [] : [5042 ^ _34933 : [(5043 ^ _34933) ^ [] : [icext(_120280, 5035 ^ [_120276, _120278, _120280, _120282, _120284])], (5045 ^ _34933) ^ [] : [icext(_120276, 5035 ^ [_120276, _120278, _120280, _120282, _120284])]], 5046 ^ _34933 : [(5047 ^ _34933) ^ [] : [-(icext(_120280, 5035 ^ [_120276, _120278, _120280, _120282, _120284]))], (5049 ^ _34933) ^ [] : [-(icext(_120276, 5035 ^ [_120276, _120278, _120280, _120282, _120284]))]]]], 5050 ^ _34933 : [(5063 ^ _34933) ^ [] : [icext(_120284, 5035 ^ [_120276, _120278, _120280, _120282, _120284])], (5051 ^ _34933) ^ [] : [-(icext(_120280, 5035 ^ [_120276, _120278, _120280, _120282, _120284])), -(icext(_120276, 5035 ^ [_120276, _120278, _120280, _120282, _120284]))], (5057 ^ _34933) ^ [] : [icext(_120280, 5035 ^ [_120276, _120278, _120280, _120282, _120284]), icext(_120276, 5035 ^ [_120276, _120278, _120280, _120282, _120284])]]], (4982 ^ _34933) ^ [] : [iext(uri_owl_disjointUnionOf, _120284, _120282), 4985 ^ _34933 : [(4986 ^ _34933) ^ [] : [-(ic(_120284))], (4988 ^ _34933) ^ [] : [-(ic(_120280))], (4990 ^ _34933) ^ [] : [-(ic(_120276))], (5008 ^ _34933) ^ [_121632] : [-(icext(_120284, _121632)), 5011 ^ _34933 : [(5012 ^ _34933) ^ [] : [icext(_120280, _121632)], (5014 ^ _34933) ^ [] : [icext(_120276, _121632)]], 5015 ^ _34933 : [(5016 ^ _34933) ^ [] : [-(icext(_120280, _121632))], (5018 ^ _34933) ^ [] : [-(icext(_120276, _121632))]]], (4992 ^ _34933) ^ [_121141] : [icext(_120284, _121141), 4995 ^ _34933 : [(4996 ^ _34933) ^ [] : [-(icext(_120280, _121141)), -(icext(_120276, _121141))], (5002 ^ _34933) ^ [] : [icext(_120280, _121141), icext(_120276, _121141)]]]]]]], (5067 ^ _34933) ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663] : [iext(uri_rdf_first, _123661, _123659), iext(uri_rdf_rest, _123661, _123657), iext(uri_rdf_first, _123657, _123655), iext(uri_rdf_rest, _123657, _123653), iext(uri_rdf_first, _123653, _123651), iext(uri_rdf_rest, _123653, uri_rdf_nil), 5090 ^ _34933 : [(5163 ^ _34933) ^ [] : [-(iext(uri_owl_disjointUnionOf, _123663, _123661)), ic(_123663), ic(_123659), ic(_123655), ic(_123651), 5183 ^ _34933 : [(5184 ^ _34933) ^ [] : [-(icext(_123663, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))], (5186 ^ _34933) ^ [] : [5187 ^ _34933 : [(5188 ^ _34933) ^ [] : [icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])], (5190 ^ _34933) ^ [] : [icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])], (5192 ^ _34933) ^ [] : [icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])]], 5195 ^ _34933 : [(5196 ^ _34933) ^ [] : [-(icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))], (5198 ^ _34933) ^ [] : [-(icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))]], 5201 ^ _34933 : [(5202 ^ _34933) ^ [] : [-(icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))], (5204 ^ _34933) ^ [] : [-(icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))]], 5205 ^ _34933 : [(5206 ^ _34933) ^ [] : [-(icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))], (5208 ^ _34933) ^ [] : [-(icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))]]]], 5209 ^ _34933 : [(5238 ^ _34933) ^ [] : [icext(_123663, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])], (5210 ^ _34933) ^ [] : [-(icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])), -(icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])), -(icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]))], (5220 ^ _34933) ^ [] : [icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]), icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])], (5226 ^ _34933) ^ [] : [icext(_123659, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]), icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])], (5232 ^ _34933) ^ [] : [icext(_123655, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663]), icext(_123651, 5180 ^ [_123651, _123653, _123655, _123657, _123659, _123661, _123663])]]], (5091 ^ _34933) ^ [] : [iext(uri_owl_disjointUnionOf, _123663, _123661), 5094 ^ _34933 : [(5095 ^ _34933) ^ [] : [-(ic(_123663))], (5097 ^ _34933) ^ [] : [-(ic(_123659))], (5099 ^ _34933) ^ [] : [-(ic(_123655))], (5101 ^ _34933) ^ [] : [-(ic(_123651))], (5135 ^ _34933) ^ [_125945] : [-(icext(_123663, _125945)), 5138 ^ _34933 : [(5139 ^ _34933) ^ [] : [icext(_123659, _125945)], (5141 ^ _34933) ^ [] : [icext(_123655, _125945)], (5143 ^ _34933) ^ [] : [icext(_123651, _125945)]], 5146 ^ _34933 : [(5147 ^ _34933) ^ [] : [-(icext(_123659, _125945))], (5149 ^ _34933) ^ [] : [-(icext(_123655, _125945))]], 5152 ^ _34933 : [(5153 ^ _34933) ^ [] : [-(icext(_123659, _125945))], (5155 ^ _34933) ^ [] : [-(icext(_123651, _125945))]], 5156 ^ _34933 : [(5157 ^ _34933) ^ [] : [-(icext(_123655, _125945))], (5159 ^ _34933) ^ [] : [-(icext(_123651, _125945))]]], (5103 ^ _34933) ^ [_124904] : [icext(_123663, _124904), 5106 ^ _34933 : [(5107 ^ _34933) ^ [] : [-(icext(_123659, _124904)), -(icext(_123655, _124904)), -(icext(_123651, _124904))], (5117 ^ _34933) ^ [] : [icext(_123659, _124904), icext(_123655, _124904)], (5123 ^ _34933) ^ [] : [icext(_123659, _124904), icext(_123651, _124904)], (5129 ^ _34933) ^ [] : [icext(_123655, _124904), icext(_123651, _124904)]]]]]]], (5242 ^ _34933) ^ [_129801, _129803] : [iext(uri_owl_disjointWith, _129803, _129801), 5245 ^ _34933 : [(5246 ^ _34933) ^ [] : [-(ic(_129803))], (5248 ^ _34933) ^ [] : [-(ic(_129801))], (5250 ^ _34933) ^ [_130082] : [icext(_129803, _130082), icext(_129801, _130082)]]], (5256 ^ _34933) ^ [_130262, _130264] : [-(iext(uri_owl_disjointWith, _130264, _130262)), ic(_130264), ic(_130262), 5266 ^ _34933 : [(5267 ^ _34933) ^ [] : [-(icext(_130264, 5265 ^ [_130262, _130264]))], (5269 ^ _34933) ^ [] : [-(icext(_130262, 5265 ^ [_130262, _130264]))]]], (5273 ^ _34933) ^ [_130829, _130831] : [iext(uri_owl_equivalentClass, _130831, _130829), 5276 ^ _34933 : [(5277 ^ _34933) ^ [] : [-(ic(_130831))], (5279 ^ _34933) ^ [] : [-(ic(_130829))], (5281 ^ _34933) ^ [_131137] : [icext(_130831, _131137), -(icext(_130829, _131137))], (5287 ^ _34933) ^ [_131309] : [icext(_130829, _131309), -(icext(_130831, _131309))]]], (5293 ^ _34933) ^ [_131492, _131494] : [-(iext(uri_owl_equivalentClass, _131494, _131492)), ic(_131494), ic(_131492), 5305 ^ _34933 : [(5306 ^ _34933) ^ [] : [-(icext(_131494, 5302 ^ [_131492, _131494]))], (5308 ^ _34933) ^ [] : [icext(_131492, 5302 ^ [_131492, _131494])]], 5309 ^ _34933 : [(5310 ^ _34933) ^ [] : [-(icext(_131492, 5302 ^ [_131492, _131494]))], (5312 ^ _34933) ^ [] : [icext(_131494, 5302 ^ [_131492, _131494])]]], (5316 ^ _34933) ^ [_132229, _132231] : [iext(uri_owl_equivalentProperty, _132231, _132229), 5319 ^ _34933 : [(5320 ^ _34933) ^ [] : [-(ip(_132231))], (5322 ^ _34933) ^ [] : [-(ip(_132229))], (5324 ^ _34933) ^ [_132558, _132560] : [iext(_132231, _132560, _132558), -(iext(_132229, _132560, _132558))], (5330 ^ _34933) ^ [_132740, _132742] : [iext(_132229, _132742, _132740), -(iext(_132231, _132742, _132740))]]], (5336 ^ _34933) ^ [_132933, _132935] : [-(iext(uri_owl_equivalentProperty, _132935, _132933)), ip(_132935), ip(_132933), 5349 ^ _34933 : [(5350 ^ _34933) ^ [] : [-(iext(_132935, 5345 ^ [_132933, _132935], 5346 ^ [_132933, _132935]))], (5352 ^ _34933) ^ [] : [iext(_132933, 5345 ^ [_132933, _132935], 5346 ^ [_132933, _132935])]], 5353 ^ _34933 : [(5354 ^ _34933) ^ [] : [-(iext(_132933, 5345 ^ [_132933, _132935], 5346 ^ [_132933, _132935]))], (5356 ^ _34933) ^ [] : [iext(_132935, 5345 ^ [_132933, _132935], 5346 ^ [_132933, _132935])]]], (5360 ^ _34933) ^ [_133783, _133785] : [iext(uri_owl_propertyDisjointWith, _133785, _133783), 5363 ^ _34933 : [(5364 ^ _34933) ^ [] : [-(ip(_133785))], (5366 ^ _34933) ^ [] : [-(ip(_133783))], (5368 ^ _34933) ^ [_134085, _134087] : [iext(_133785, _134087, _134085), iext(_133783, _134087, _134085)]]], (5374 ^ _34933) ^ [_134275, _134277] : [-(iext(uri_owl_propertyDisjointWith, _134277, _134275)), ip(_134277), ip(_134275), 5385 ^ _34933 : [(5386 ^ _34933) ^ [] : [-(iext(_134277, 5383 ^ [_134275, _134277], 5384 ^ [_134275, _134277]))], (5388 ^ _34933) ^ [] : [-(iext(_134275, 5383 ^ [_134275, _134277], 5384 ^ [_134275, _134277]))]]], (5392 ^ _34933) ^ [_134941, _134943] : [iext(uri_owl_sameAs, _134943, _134941), -(_134943 = _134941)], (5398 ^ _34933) ^ [_135105, _135107] : [_135107 = _135105, -(iext(uri_owl_sameAs, _135107, _135105))], (5405 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5403 ^ []))], (5407 ^ _34933) ^ [] : [-(iext(uri_owl_distinctMembers, 5403 ^ [], uri_rdf_nil))], (5409 ^ _34933) ^ [_135471, _135473] : [5417 ^ _34933 : [(5418 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5416 ^ [_135471, _135473]))], (5420 ^ _34933) ^ [] : [-(iext(uri_owl_distinctMembers, 5416 ^ [_135471, _135473], _135473))]], iext(uri_rdf_first, _135473, _135471), iext(uri_rdf_rest, _135473, uri_rdf_nil)], (5422 ^ _34933) ^ [_135950, _135952, _135954, _135956] : [5442 ^ _34933 : [(5443 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5441 ^ [_135950, _135952, _135954, _135956]))], (5445 ^ _34933) ^ [] : [-(iext(uri_owl_distinctMembers, 5441 ^ [_135950, _135952, _135954, _135956], _135956))]], iext(uri_rdf_first, _135956, _135954), iext(uri_rdf_rest, _135956, _135952), iext(uri_rdf_first, _135952, _135950), iext(uri_rdf_rest, _135952, uri_rdf_nil), -(_135954 = _135950)], (5447 ^ _34933) ^ [_136795, _136797, _136799, _136801, _136803, _136805] : [5483 ^ _34933 : [(5484 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5482 ^ [_136795, _136797, _136799, _136801, _136803, _136805]))], (5486 ^ _34933) ^ [] : [-(iext(uri_owl_distinctMembers, 5482 ^ [_136795, _136797, _136799, _136801, _136803, _136805], _136805))]], iext(uri_rdf_first, _136805, _136803), iext(uri_rdf_rest, _136805, _136801), iext(uri_rdf_first, _136801, _136799), iext(uri_rdf_rest, _136801, _136797), iext(uri_rdf_first, _136797, _136795), iext(uri_rdf_rest, _136797, uri_rdf_nil), -(_136803 = _136799), -(_136803 = _136795), -(_136799 = _136795)], (5488 ^ _34933) ^ [] : [-(tautology), tautology], (5494 ^ _34933) ^ [] : [-(tautology), tautology], (5500 ^ _34933) ^ [_138358, _138360, _138362, _138364, _138366] : [_138362 = _138358, iext(uri_rdf_first, _138364, _138362), iext(uri_rdf_rest, _138364, _138360), iext(uri_rdf_first, _138360, _138358), iext(uri_rdf_rest, _138360, uri_rdf_nil), icext(uri_owl_AllDifferent, _138366), iext(uri_owl_distinctMembers, _138366, _138364)], (5526 ^ _34933) ^ [_139172, _139174, _139176, _139178, _139180, _139182, _139184] : [5557 ^ _34933 : [(5558 ^ _34933) ^ [] : [_139180 = _139176], (5560 ^ _34933) ^ [] : [_139180 = _139172], (5562 ^ _34933) ^ [] : [_139176 = _139172]], iext(uri_rdf_first, _139182, _139180), iext(uri_rdf_rest, _139182, _139178), iext(uri_rdf_first, _139178, _139176), iext(uri_rdf_rest, _139178, _139174), iext(uri_rdf_first, _139174, _139172), iext(uri_rdf_rest, _139174, uri_rdf_nil), icext(uri_owl_AllDifferent, _139184), iext(uri_owl_distinctMembers, _139184, _139182)], (5565 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5563 ^ []))], (5567 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5563 ^ [], uri_rdf_nil))], (5569 ^ _34933) ^ [_140513, _140515] : [5577 ^ _34933 : [(5578 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5576 ^ [_140513, _140515]))], (5580 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5576 ^ [_140513, _140515], _140515))]], iext(uri_rdf_first, _140515, _140513), iext(uri_rdf_rest, _140515, uri_rdf_nil)], (5582 ^ _34933) ^ [_140992, _140994, _140996, _140998] : [5602 ^ _34933 : [(5603 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5601 ^ [_140992, _140994, _140996, _140998]))], (5605 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5601 ^ [_140992, _140994, _140996, _140998], _140998))]], iext(uri_rdf_first, _140998, _140996), iext(uri_rdf_rest, _140998, _140994), iext(uri_rdf_first, _140994, _140992), iext(uri_rdf_rest, _140994, uri_rdf_nil), -(_140996 = _140992)], (5607 ^ _34933) ^ [_141837, _141839, _141841, _141843, _141845, _141847] : [5643 ^ _34933 : [(5644 ^ _34933) ^ [] : [-(icext(uri_owl_AllDifferent, 5642 ^ [_141837, _141839, _141841, _141843, _141845, _141847]))], (5646 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5642 ^ [_141837, _141839, _141841, _141843, _141845, _141847], _141847))]], iext(uri_rdf_first, _141847, _141845), iext(uri_rdf_rest, _141847, _141843), iext(uri_rdf_first, _141843, _141841), iext(uri_rdf_rest, _141843, _141839), iext(uri_rdf_first, _141839, _141837), iext(uri_rdf_rest, _141839, uri_rdf_nil), -(_141845 = _141841), -(_141845 = _141837), -(_141841 = _141837)], (5648 ^ _34933) ^ [] : [-(tautology), tautology], (5654 ^ _34933) ^ [] : [-(tautology), tautology], (5660 ^ _34933) ^ [_143400, _143402, _143404, _143406, _143408] : [_143404 = _143400, iext(uri_rdf_first, _143406, _143404), iext(uri_rdf_rest, _143406, _143402), iext(uri_rdf_first, _143402, _143400), iext(uri_rdf_rest, _143402, uri_rdf_nil), icext(uri_owl_AllDifferent, _143408), iext(uri_owl_members, _143408, _143406)], (5686 ^ _34933) ^ [_144214, _144216, _144218, _144220, _144222, _144224, _144226] : [5717 ^ _34933 : [(5718 ^ _34933) ^ [] : [_144222 = _144218], (5720 ^ _34933) ^ [] : [_144222 = _144214], (5722 ^ _34933) ^ [] : [_144218 = _144214]], iext(uri_rdf_first, _144224, _144222), iext(uri_rdf_rest, _144224, _144220), iext(uri_rdf_first, _144220, _144218), iext(uri_rdf_rest, _144220, _144216), iext(uri_rdf_first, _144216, _144214), iext(uri_rdf_rest, _144216, uri_rdf_nil), icext(uri_owl_AllDifferent, _144226), iext(uri_owl_members, _144226, _144224)], (5725 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5723 ^ []))], (5727 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5723 ^ [], uri_rdf_nil))], (5729 ^ _34933) ^ [_145555, _145557] : [5737 ^ _34933 : [(5738 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5736 ^ [_145555, _145557]))], (5740 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5736 ^ [_145555, _145557], _145557))]], iext(uri_rdf_first, _145557, _145555), iext(uri_rdf_rest, _145557, uri_rdf_nil)], (5742 ^ _34933) ^ [_146034, _146036, _146038, _146040] : [5765 ^ _34933 : [(5766 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5764 ^ [_146034, _146036, _146038, _146040]))], (5768 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5764 ^ [_146034, _146036, _146038, _146040], _146040))]], iext(uri_rdf_first, _146040, _146038), iext(uri_rdf_rest, _146040, _146036), iext(uri_rdf_first, _146036, _146034), iext(uri_rdf_rest, _146036, uri_rdf_nil), 5760 ^ _34933 : [(5761 ^ _34933) ^ [] : [-(icext(_146038, 5759 ^ [_146034, _146036, _146038, _146040]))], (5763 ^ _34933) ^ [] : [-(icext(_146034, 5759 ^ [_146034, _146036, _146038, _146040]))]]], (5770 ^ _34933) ^ [_147046, _147048, _147050, _147052, _147054, _147056] : [5815 ^ _34933 : [(5816 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5814 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))], (5818 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5814 ^ [_147046, _147048, _147050, _147052, _147054, _147056], _147056))]], iext(uri_rdf_first, _147056, _147054), iext(uri_rdf_rest, _147056, _147052), iext(uri_rdf_first, _147052, _147050), iext(uri_rdf_rest, _147052, _147048), iext(uri_rdf_first, _147048, _147046), iext(uri_rdf_rest, _147048, uri_rdf_nil), 5798 ^ _34933 : [(5799 ^ _34933) ^ [] : [-(icext(_147054, 5797 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))], (5801 ^ _34933) ^ [] : [-(icext(_147050, 5797 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))]], 5805 ^ _34933 : [(5806 ^ _34933) ^ [] : [-(icext(_147054, 5804 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))], (5808 ^ _34933) ^ [] : [-(icext(_147046, 5804 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))]], 5810 ^ _34933 : [(5811 ^ _34933) ^ [] : [-(icext(_147050, 5809 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))], (5813 ^ _34933) ^ [] : [-(icext(_147046, 5809 ^ [_147046, _147048, _147050, _147052, _147054, _147056]))]]], (5820 ^ _34933) ^ [] : [-(tautology), tautology], (5826 ^ _34933) ^ [] : [-(tautology), tautology], (5832 ^ _34933) ^ [_149170, _149172, _149174, _149176, _149178] : [5855 ^ _34933 : [(5856 ^ _34933) ^ [_149836] : [icext(_149174, _149836), icext(_149170, _149836)]], iext(uri_rdf_first, _149176, _149174), iext(uri_rdf_rest, _149176, _149172), iext(uri_rdf_first, _149172, _149170), iext(uri_rdf_rest, _149172, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _149178), iext(uri_owl_members, _149178, _149176)], (5862 ^ _34933) ^ [_150154, _150156, _150158, _150160, _150162, _150164, _150166] : [iext(uri_rdf_first, _150164, _150162), iext(uri_rdf_rest, _150164, _150160), iext(uri_rdf_first, _150160, _150158), iext(uri_rdf_rest, _150160, _150156), iext(uri_rdf_first, _150156, _150154), iext(uri_rdf_rest, _150156, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _150166), iext(uri_owl_members, _150166, _150164), 5893 ^ _34933 : [(5894 ^ _34933) ^ [_151148] : [icext(_150162, _151148), icext(_150158, _151148)], (5900 ^ _34933) ^ [_151393] : [icext(_150162, _151393), icext(_150154, _151393)], (5906 ^ _34933) ^ [_151618] : [icext(_150158, _151618), icext(_150154, _151618)]]], (5913 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 5911 ^ []))], (5915 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5911 ^ [], uri_rdf_nil))], (5917 ^ _34933) ^ [_152052, _152054] : [5925 ^ _34933 : [(5926 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 5924 ^ [_152052, _152054]))], (5928 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5924 ^ [_152052, _152054], _152054))]], iext(uri_rdf_first, _152054, _152052), iext(uri_rdf_rest, _152054, uri_rdf_nil)], (5930 ^ _34933) ^ [_152531, _152533, _152535, _152537] : [5954 ^ _34933 : [(5955 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 5953 ^ [_152531, _152533, _152535, _152537]))], (5957 ^ _34933) ^ [] : [-(iext(uri_owl_members, 5953 ^ [_152531, _152533, _152535, _152537], _152537))]], iext(uri_rdf_first, _152537, _152535), iext(uri_rdf_rest, _152537, _152533), iext(uri_rdf_first, _152533, _152531), iext(uri_rdf_rest, _152533, uri_rdf_nil), 5949 ^ _34933 : [(5950 ^ _34933) ^ [] : [-(iext(_152535, 5947 ^ [_152531, _152533, _152535, _152537], 5948 ^ [_152531, _152533, _152535, _152537]))], (5952 ^ _34933) ^ [] : [-(iext(_152531, 5947 ^ [_152531, _152533, _152535, _152537], 5948 ^ [_152531, _152533, _152535, _152537]))]]], (5959 ^ _34933) ^ [_153666, _153668, _153670, _153672, _153674, _153676] : [6007 ^ _34933 : [(6008 ^ _34933) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6006 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))], (6010 ^ _34933) ^ [] : [-(iext(uri_owl_members, 6006 ^ [_153666, _153668, _153670, _153672, _153674, _153676], _153676))]], iext(uri_rdf_first, _153676, _153674), iext(uri_rdf_rest, _153676, _153672), iext(uri_rdf_first, _153672, _153670), iext(uri_rdf_rest, _153672, _153668), iext(uri_rdf_first, _153668, _153666), iext(uri_rdf_rest, _153668, uri_rdf_nil), 5988 ^ _34933 : [(5989 ^ _34933) ^ [] : [-(iext(_153674, 5986 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 5987 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))], (5991 ^ _34933) ^ [] : [-(iext(_153670, 5986 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 5987 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))]], 5996 ^ _34933 : [(5997 ^ _34933) ^ [] : [-(iext(_153674, 5994 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 5995 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))], (5999 ^ _34933) ^ [] : [-(iext(_153666, 5994 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 5995 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))]], 6002 ^ _34933 : [(6003 ^ _34933) ^ [] : [-(iext(_153670, 6000 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 6001 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))], (6005 ^ _34933) ^ [] : [-(iext(_153666, 6000 ^ [_153666, _153668, _153670, _153672, _153674, _153676], 6001 ^ [_153666, _153668, _153670, _153672, _153674, _153676]))]]], (6012 ^ _34933) ^ [] : [-(tautology), tautology], (6018 ^ _34933) ^ [] : [-(tautology), tautology], (6024 ^ _34933) ^ [_156231, _156233, _156235, _156237, _156239] : [6047 ^ _34933 : [(6048 ^ _34933) ^ [_156918, _156920] : [iext(_156235, _156920, _156918), iext(_156231, _156920, _156918)]], iext(uri_rdf_first, _156237, _156235), iext(uri_rdf_rest, _156237, _156233), iext(uri_rdf_first, _156233, _156231), iext(uri_rdf_rest, _156233, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _156239), iext(uri_owl_members, _156239, _156237)], (6054 ^ _34933) ^ [_157246, _157248, _157250, _157252, _157254, _157256, _157258] : [iext(uri_rdf_first, _157256, _157254), iext(uri_rdf_rest, _157256, _157252), iext(uri_rdf_first, _157252, _157250), iext(uri_rdf_rest, _157252, _157248), iext(uri_rdf_first, _157248, _157246), iext(uri_rdf_rest, _157248, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _157258), iext(uri_owl_members, _157258, _157256), 6085 ^ _34933 : [(6086 ^ _34933) ^ [_158275, _158277] : [iext(_157254, _158277, _158275), iext(_157250, _158277, _158275)], (6092 ^ _34933) ^ [_158544, _158546] : [iext(_157254, _158546, _158544), iext(_157246, _158546, _158544)], (6098 ^ _34933) ^ [_158793, _158795] : [iext(_157250, _158795, _158793), iext(_157246, _158795, _158793)]]], (6104 ^ _34933) ^ [_159100] : [iext(uri_owl_propertyChainAxiom, _159100, uri_rdf_nil), 6107 ^ _34933 : [(6108 ^ _34933) ^ [] : [-(ip(_159100))], (6110 ^ _34933) ^ [_159283] : [-(iext(_159100, _159283, _159283))]]], (6112 ^ _34933) ^ [_159352] : [-(iext(uri_owl_propertyChainAxiom, _159352, uri_rdf_nil)), ip(_159352), iext(_159352, 6117 ^ [_159352], 6117 ^ [_159352])], (6123 ^ _34933) ^ [_159716, _159718, _159720] : [iext(uri_rdf_first, _159718, _159716), iext(uri_rdf_rest, _159718, uri_rdf_nil), 6130 ^ _34933 : [(6131 ^ _34933) ^ [] : [iext(uri_owl_propertyChainAxiom, _159720, _159718), 6134 ^ _34933 : [(6135 ^ _34933) ^ [] : [-(ip(_159720))], (6137 ^ _34933) ^ [] : [-(ip(_159716))], (6139 ^ _34933) ^ [_160239, _160241] : [iext(_159716, _160241, _160239), -(iext(_159720, _160241, _160239))]]], (6145 ^ _34933) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _159720, _159718)), ip(_159720), ip(_159716), 6156 ^ _34933 : [(6157 ^ _34933) ^ [] : [-(iext(_159716, 6154 ^ [_159716, _159718, _159720], 6155 ^ [_159716, _159718, _159720]))], (6159 ^ _34933) ^ [] : [iext(_159720, 6154 ^ [_159716, _159718, _159720], 6155 ^ [_159716, _159718, _159720])]]]]], (6163 ^ _34933) ^ [_161091, _161093, _161095, _161097, _161099] : [iext(uri_rdf_first, _161097, _161095), iext(uri_rdf_rest, _161097, _161093), iext(uri_rdf_first, _161093, _161091), iext(uri_rdf_rest, _161093, uri_rdf_nil), 6178 ^ _34933 : [(6179 ^ _34933) ^ [] : [iext(uri_owl_propertyChainAxiom, _161099, _161097), 6182 ^ _34933 : [(6183 ^ _34933) ^ [] : [-(ip(_161099))], (6185 ^ _34933) ^ [] : [-(ip(_161095))], (6187 ^ _34933) ^ [] : [-(ip(_161091))], (6189 ^ _34933) ^ [_161954, _161956, _161958] : [-(iext(_161099, _161958, _161954)), iext(_161095, _161958, _161956), iext(_161091, _161956, _161954)]]], (6199 ^ _34933) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _161099, _161097)), ip(_161099), ip(_161095), ip(_161091), 6215 ^ _34933 : [(6216 ^ _34933) ^ [] : [-(iext(_161095, 6212 ^ [_161091, _161093, _161095, _161097, _161099], 6213 ^ [_161091, _161093, _161095, _161097, _161099]))], (6218 ^ _34933) ^ [] : [-(iext(_161091, 6213 ^ [_161091, _161093, _161095, _161097, _161099], 6214 ^ [_161091, _161093, _161095, _161097, _161099]))], (6220 ^ _34933) ^ [] : [iext(_161099, 6212 ^ [_161091, _161093, _161095, _161097, _161099], 6214 ^ [_161091, _161093, _161095, _161097, _161099])]]]]], (6224 ^ _34933) ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406] : [iext(uri_rdf_first, _163404, _163402), iext(uri_rdf_rest, _163404, _163400), iext(uri_rdf_first, _163400, _163398), iext(uri_rdf_rest, _163400, _163396), iext(uri_rdf_first, _163396, _163394), iext(uri_rdf_rest, _163396, uri_rdf_nil), 6247 ^ _34933 : [(6248 ^ _34933) ^ [] : [iext(uri_owl_propertyChainAxiom, _163406, _163404), 6251 ^ _34933 : [(6252 ^ _34933) ^ [] : [-(ip(_163406))], (6254 ^ _34933) ^ [] : [-(ip(_163402))], (6256 ^ _34933) ^ [] : [-(ip(_163398))], (6258 ^ _34933) ^ [] : [-(ip(_163394))], (6260 ^ _34933) ^ [_164637, _164639, _164641, _164643] : [-(iext(_163406, _164643, _164637)), iext(_163402, _164643, _164641), iext(_163398, _164641, _164639), iext(_163394, _164639, _164637)]]], (6274 ^ _34933) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _163406, _163404)), ip(_163406), ip(_163402), ip(_163398), ip(_163394), 6295 ^ _34933 : [(6296 ^ _34933) ^ [] : [-(iext(_163402, 6291 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406], 6292 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406]))], (6298 ^ _34933) ^ [] : [-(iext(_163398, 6292 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406], 6293 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406]))], (6300 ^ _34933) ^ [] : [-(iext(_163394, 6293 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406], 6294 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406]))], (6302 ^ _34933) ^ [] : [iext(_163406, 6291 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406], 6294 ^ [_163394, _163396, _163398, _163400, _163402, _163404, _163406])]]]]], (6306 ^ _34933) ^ [_166761, _166763] : [iext(uri_owl_inverseOf, _166763, _166761), 6309 ^ _34933 : [(6310 ^ _34933) ^ [] : [-(ip(_166763))], (6312 ^ _34933) ^ [] : [-(ip(_166761))], (6314 ^ _34933) ^ [_167090, _167092] : [iext(_166763, _167092, _167090), -(iext(_166761, _167090, _167092))], (6320 ^ _34933) ^ [_167272, _167274] : [iext(_166761, _167272, _167274), -(iext(_166763, _167274, _167272))]]], (6326 ^ _34933) ^ [_167465, _167467] : [-(iext(uri_owl_inverseOf, _167467, _167465)), ip(_167467), ip(_167465), 6339 ^ _34933 : [(6340 ^ _34933) ^ [] : [-(iext(_167467, 6335 ^ [_167465, _167467], 6336 ^ [_167465, _167467]))], (6342 ^ _34933) ^ [] : [iext(_167465, 6336 ^ [_167465, _167467], 6335 ^ [_167465, _167467])]], 6343 ^ _34933 : [(6344 ^ _34933) ^ [] : [-(iext(_167465, 6336 ^ [_167465, _167467], 6335 ^ [_167465, _167467]))], (6346 ^ _34933) ^ [] : [iext(_167467, 6335 ^ [_167465, _167467], 6336 ^ [_167465, _167467])]]], (6350 ^ _34933) ^ [_168301] : [icext(uri_owl_AsymmetricProperty, _168301), 6353 ^ _34933 : [(6354 ^ _34933) ^ [] : [-(ip(_168301))], (6356 ^ _34933) ^ [_168525, _168527] : [iext(_168301, _168527, _168525), iext(_168301, _168525, _168527)]]], (6362 ^ _34933) ^ [_168707] : [-(icext(uri_owl_AsymmetricProperty, _168707)), ip(_168707), 6369 ^ _34933 : [(6370 ^ _34933) ^ [] : [-(iext(_168707, 6367 ^ [_168707], 6368 ^ [_168707]))], (6372 ^ _34933) ^ [] : [-(iext(_168707, 6368 ^ [_168707], 6367 ^ [_168707]))]]], (6392 ^ _34933) ^ [_169769] : [-(icext(uri_owl_FunctionalProperty, _169769)), ip(_169769), 6400 ^ _34933 : [(6401 ^ _34933) ^ [] : [-(iext(_169769, 6397 ^ [_169769], 6398 ^ [_169769]))], (6403 ^ _34933) ^ [] : [-(iext(_169769, 6397 ^ [_169769], 6399 ^ [_169769]))], (6405 ^ _34933) ^ [] : [6398 ^ [_169769] = 6399 ^ [_169769]]]], (6376 ^ _34933) ^ [_169238] : [icext(uri_owl_FunctionalProperty, _169238), 6379 ^ _34933 : [(6380 ^ _34933) ^ [] : [-(ip(_169238))], (6382 ^ _34933) ^ [_169485, _169487, _169489] : [-(_169487 = _169485), iext(_169238, _169489, _169487), iext(_169238, _169489, _169485)]]], (6425 ^ _34933) ^ [_171010] : [-(icext(uri_owl_InverseFunctionalProperty, _171010)), ip(_171010), 6433 ^ _34933 : [(6434 ^ _34933) ^ [] : [-(iext(_171010, 6430 ^ [_171010], 6432 ^ [_171010]))], (6436 ^ _34933) ^ [] : [-(iext(_171010, 6431 ^ [_171010], 6432 ^ [_171010]))], (6438 ^ _34933) ^ [] : [6430 ^ [_171010] = 6431 ^ [_171010]]]], (6409 ^ _34933) ^ [_170479] : [icext(uri_owl_InverseFunctionalProperty, _170479), 6412 ^ _34933 : [(6413 ^ _34933) ^ [] : [-(ip(_170479))], (6415 ^ _34933) ^ [_170726, _170728, _170730] : [-(_170730 = _170728), iext(_170479, _170730, _170726), iext(_170479, _170728, _170726)]]], (6442 ^ _34933) ^ [_171720] : [icext(uri_owl_IrreflexiveReflexiveProperty, _171720), 6445 ^ _34933 : [(6446 ^ _34933) ^ [] : [-(ip(_171720))], (6448 ^ _34933) ^ [_171902] : [iext(_171720, _171902, _171902)]]], (6450 ^ _34933) ^ [_171971] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _171971)), ip(_171971), -(iext(_171971, 6455 ^ [_171971], 6455 ^ [_171971]))], (6461 ^ _34933) ^ [_172339] : [icext(uri_owl_ReflexiveProperty, _172339), 6464 ^ _34933 : [(6465 ^ _34933) ^ [] : [-(ip(_172339))], (6467 ^ _34933) ^ [_172520] : [-(iext(_172339, _172520, _172520))]]], (6469 ^ _34933) ^ [_172589] : [-(icext(uri_owl_ReflexiveProperty, _172589)), ip(_172589), iext(_172589, 6474 ^ [_172589], 6474 ^ [_172589])], (6480 ^ _34933) ^ [_172952] : [icext(uri_owl_SymmetricProperty, _172952), 6483 ^ _34933 : [(6484 ^ _34933) ^ [] : [-(ip(_172952))], (6486 ^ _34933) ^ [_173174, _173176] : [iext(_172952, _173176, _173174), -(iext(_172952, _173174, _173176))]]], (6492 ^ _34933) ^ [_173355] : [-(icext(uri_owl_SymmetricProperty, _173355)), ip(_173355), 6499 ^ _34933 : [(6500 ^ _34933) ^ [] : [-(iext(_173355, 6497 ^ [_173355], 6498 ^ [_173355]))], (6502 ^ _34933) ^ [] : [iext(_173355, 6498 ^ [_173355], 6497 ^ [_173355])]]], (6522 ^ _34933) ^ [_174413] : [-(icext(uri_owl_TransitiveProperty, _174413)), ip(_174413), 6530 ^ _34933 : [(6531 ^ _34933) ^ [] : [-(iext(_174413, 6527 ^ [_174413], 6528 ^ [_174413]))], (6533 ^ _34933) ^ [] : [-(iext(_174413, 6528 ^ [_174413], 6529 ^ [_174413]))], (6535 ^ _34933) ^ [] : [iext(_174413, 6527 ^ [_174413], 6529 ^ [_174413])]]], (6506 ^ _34933) ^ [_173879] : [icext(uri_owl_TransitiveProperty, _173879), 6509 ^ _34933 : [(6510 ^ _34933) ^ [] : [-(ip(_173879))], (6512 ^ _34933) ^ [_174127, _174129, _174131] : [-(iext(_173879, _174131, _174127)), iext(_173879, _174131, _174129), iext(_173879, _174129, _174127)]]], (6555 ^ _34933) ^ [_175626] : [-(iext(uri_owl_hasKey, _175626, uri_rdf_nil)), ic(_175626), 6562 ^ _34933 : [(6563 ^ _34933) ^ [] : [-(icext(_175626, 6560 ^ [_175626]))], (6565 ^ _34933) ^ [] : [-(icext(_175626, 6561 ^ [_175626]))], (6567 ^ _34933) ^ [] : [6560 ^ [_175626] = 6561 ^ [_175626]]]], (6539 ^ _34933) ^ [_175128] : [iext(uri_owl_hasKey, _175128, uri_rdf_nil), 6542 ^ _34933 : [(6543 ^ _34933) ^ [] : [-(ic(_175128))], (6545 ^ _34933) ^ [_175356, _175358] : [-(_175358 = _175356), icext(_175128, _175358), icext(_175128, _175356)]]], (6571 ^ _34933) ^ [_176229, _176231, _176233] : [iext(uri_rdf_first, _176231, _176229), iext(uri_rdf_rest, _176231, uri_rdf_nil), 6578 ^ _34933 : [(6605 ^ _34933) ^ [] : [-(iext(uri_owl_hasKey, _176233, _176231)), ic(_176233), ip(_176229), 6617 ^ _34933 : [(6618 ^ _34933) ^ [] : [-(icext(_176233, 6614 ^ [_176229, _176231, _176233]))], (6620 ^ _34933) ^ [] : [-(icext(_176233, 6615 ^ [_176229, _176231, _176233]))], (6622 ^ _34933) ^ [] : [-(iext(_176229, 6614 ^ [_176229, _176231, _176233], 6616 ^ [_176229, _176231, _176233]))], (6624 ^ _34933) ^ [] : [-(iext(_176229, 6615 ^ [_176229, _176231, _176233], 6616 ^ [_176229, _176231, _176233]))], (6626 ^ _34933) ^ [] : [6614 ^ [_176229, _176231, _176233] = 6615 ^ [_176229, _176231, _176233]]]], (6579 ^ _34933) ^ [] : [iext(uri_owl_hasKey, _176233, _176231), 6582 ^ _34933 : [(6583 ^ _34933) ^ [] : [-(ic(_176233))], (6585 ^ _34933) ^ [] : [-(ip(_176229))], (6587 ^ _34933) ^ [_176789, _176791, _176793] : [-(_176793 = _176791), icext(_176233, _176793), icext(_176233, _176791), iext(_176229, _176793, _176789), iext(_176229, _176791, _176789)]]]]], (6630 ^ _34933) ^ [_178398, _178400, _178402, _178404, _178406] : [iext(uri_rdf_first, _178404, _178402), iext(uri_rdf_rest, _178404, _178400), iext(uri_rdf_first, _178400, _178398), iext(uri_rdf_rest, _178400, uri_rdf_nil), 6645 ^ _34933 : [(6682 ^ _34933) ^ [] : [-(iext(uri_owl_hasKey, _178406, _178404)), ic(_178406), ip(_178402), ip(_178398), 6699 ^ _34933 : [(6700 ^ _34933) ^ [] : [-(icext(_178406, 6695 ^ [_178398, _178400, _178402, _178404, _178406]))], (6702 ^ _34933) ^ [] : [-(icext(_178406, 6696 ^ [_178398, _178400, _178402, _178404, _178406]))], (6704 ^ _34933) ^ [] : [-(iext(_178402, 6695 ^ [_178398, _178400, _178402, _178404, _178406], 6697 ^ [_178398, _178400, _178402, _178404, _178406]))], (6706 ^ _34933) ^ [] : [-(iext(_178402, 6696 ^ [_178398, _178400, _178402, _178404, _178406], 6697 ^ [_178398, _178400, _178402, _178404, _178406]))], (6708 ^ _34933) ^ [] : [-(iext(_178398, 6695 ^ [_178398, _178400, _178402, _178404, _178406], 6698 ^ [_178398, _178400, _178402, _178404, _178406]))], (6710 ^ _34933) ^ [] : [-(iext(_178398, 6696 ^ [_178398, _178400, _178402, _178404, _178406], 6698 ^ [_178398, _178400, _178402, _178404, _178406]))], (6712 ^ _34933) ^ [] : [6695 ^ [_178398, _178400, _178402, _178404, _178406] = 6696 ^ [_178398, _178400, _178402, _178404, _178406]]]], (6646 ^ _34933) ^ [] : [iext(uri_owl_hasKey, _178406, _178404), 6649 ^ _34933 : [(6650 ^ _34933) ^ [] : [-(ic(_178406))], (6652 ^ _34933) ^ [] : [-(ip(_178402))], (6654 ^ _34933) ^ [] : [-(ip(_178398))], (6656 ^ _34933) ^ [_179305, _179307, _179309, _179311] : [-(_179311 = _179309), icext(_178406, _179311), icext(_178406, _179309), iext(_178402, _179311, _179307), iext(_178402, _179309, _179307), iext(_178398, _179311, _179305), iext(_178398, _179309, _179305)]]]]], (6716 ^ _34933) ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015] : [iext(uri_rdf_first, _182013, _182011), iext(uri_rdf_rest, _182013, _182009), iext(uri_rdf_first, _182009, _182007), iext(uri_rdf_rest, _182009, _182005), iext(uri_rdf_first, _182005, _182003), iext(uri_rdf_rest, _182005, uri_rdf_nil), 6739 ^ _34933 : [(6786 ^ _34933) ^ [] : [-(iext(uri_owl_hasKey, _182015, _182013)), ic(_182015), ip(_182011), ip(_182007), ip(_182003), 6808 ^ _34933 : [(6809 ^ _34933) ^ [] : [-(icext(_182015, 6803 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6811 ^ _34933) ^ [] : [-(icext(_182015, 6804 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6813 ^ _34933) ^ [] : [-(iext(_182011, 6803 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6805 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6815 ^ _34933) ^ [] : [-(iext(_182011, 6804 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6805 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6817 ^ _34933) ^ [] : [-(iext(_182007, 6803 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6806 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6819 ^ _34933) ^ [] : [-(iext(_182007, 6804 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6806 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6821 ^ _34933) ^ [] : [-(iext(_182003, 6803 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6807 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6823 ^ _34933) ^ [] : [-(iext(_182003, 6804 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015], 6807 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]))], (6825 ^ _34933) ^ [] : [6803 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015] = 6804 ^ [_182003, _182005, _182007, _182009, _182011, _182013, _182015]]]], (6740 ^ _34933) ^ [] : [iext(uri_owl_hasKey, _182015, _182013), 6743 ^ _34933 : [(6744 ^ _34933) ^ [] : [-(ic(_182015))], (6746 ^ _34933) ^ [] : [-(ip(_182011))], (6748 ^ _34933) ^ [] : [-(ip(_182007))], (6750 ^ _34933) ^ [] : [-(ip(_182003))], (6752 ^ _34933) ^ [_183297, _183299, _183301, _183303, _183305] : [-(_183305 = _183303), icext(_182015, _183305), icext(_182015, _183303), iext(_182011, _183305, _183301), iext(_182011, _183303, _183301), iext(_182007, _183305, _183299), iext(_182007, _183303, _183299), iext(_182003, _183305, _183297), iext(_182003, _183303, _183297)]]]]], (6829 ^ _34933) ^ [_187367, _187369, _187371] : [6845 ^ _34933 : [(6846 ^ _34933) ^ [] : [-(iext(uri_owl_sourceIndividual, 6844 ^ [_187367, _187369, _187371], _187369))], (6848 ^ _34933) ^ [] : [-(iext(uri_owl_assertionProperty, 6844 ^ [_187367, _187369, _187371], _187371))], (6850 ^ _34933) ^ [] : [-(iext(uri_owl_targetValue, 6844 ^ [_187367, _187369, _187371], _187367))]], ir(_187369), iodp(_187371), lv(_187367), -(iext(_187371, _187369, _187367))], (6852 ^ _34933) ^ [_188144, _188146, _188148, _188150] : [6863 ^ _34933 : [(6864 ^ _34933) ^ [] : [-(iodp(_188148))], (6866 ^ _34933) ^ [] : [iext(_188148, _188146, _188144)]], iext(uri_owl_sourceIndividual, _188150, _188146), iext(uri_owl_assertionProperty, _188150, _188148), iext(uri_owl_targetValue, _188150, _188144)], (6868 ^ _34933) ^ [_188660, _188662, _188664] : [6884 ^ _34933 : [(6885 ^ _34933) ^ [] : [-(iext(uri_owl_sourceIndividual, 6883 ^ [_188660, _188662, _188664], _188662))], (6887 ^ _34933) ^ [] : [-(iext(uri_owl_assertionProperty, 6883 ^ [_188660, _188662, _188664], _188664))], (6889 ^ _34933) ^ [] : [-(iext(uri_owl_targetIndividual, 6883 ^ [_188660, _188662, _188664], _188660))]], ir(_188662), ip(_188664), ir(_188660), -(iext(_188664, _188662, _188660))], (6891 ^ _34933) ^ [_189437, _189439, _189441, _189443] : [iext(_189441, _189439, _189437), iext(uri_owl_sourceIndividual, _189443, _189439), iext(uri_owl_assertionProperty, _189443, _189441), iext(uri_owl_targetIndividual, _189443, _189437)], (6905 ^ _34933) ^ [_189848] : [icext(uri_xsd_anyURI, _189848), -(lv(_189848))], (6911 ^ _34933) ^ [] : [-(idc(uri_xsd_anyURI))], (6913 ^ _34933) ^ [_190089] : [icext(uri_xsd_base64Binary, _190089), -(lv(_190089))], (6919 ^ _34933) ^ [] : [-(idc(uri_xsd_base64Binary))], (6921 ^ _34933) ^ [_190330] : [icext(uri_xsd_boolean, _190330), -(lv(_190330))], (6927 ^ _34933) ^ [] : [-(idc(uri_xsd_boolean))], (6929 ^ _34933) ^ [_190571] : [icext(uri_xsd_byte, _190571), -(lv(_190571))], (6935 ^ _34933) ^ [] : [-(idc(uri_xsd_byte))], (6937 ^ _34933) ^ [_190812] : [icext(uri_xsd_dateTime, _190812), -(lv(_190812))], (6943 ^ _34933) ^ [] : [-(idc(uri_xsd_dateTime))], (6945 ^ _34933) ^ [_191053] : [icext(uri_xsd_dateTimeStamp, _191053), -(lv(_191053))], (6951 ^ _34933) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (6953 ^ _34933) ^ [_191294] : [icext(uri_xsd_decimal, _191294), -(lv(_191294))], (6959 ^ _34933) ^ [] : [-(idc(uri_xsd_decimal))], (6961 ^ _34933) ^ [_191535] : [icext(uri_xsd_double, _191535), -(lv(_191535))], (6967 ^ _34933) ^ [] : [-(idc(uri_xsd_double))], (6969 ^ _34933) ^ [_191776] : [icext(uri_xsd_float, _191776), -(lv(_191776))], (6975 ^ _34933) ^ [] : [-(idc(uri_xsd_float))], (6977 ^ _34933) ^ [_192017] : [icext(uri_xsd_hexBinary, _192017), -(lv(_192017))], (6983 ^ _34933) ^ [] : [-(idc(uri_xsd_hexBinary))], (6985 ^ _34933) ^ [_192258] : [icext(uri_xsd_int, _192258), -(lv(_192258))], (6991 ^ _34933) ^ [] : [-(idc(uri_xsd_int))], (6993 ^ _34933) ^ [_192499] : [icext(uri_xsd_integer, _192499), -(lv(_192499))], (6999 ^ _34933) ^ [] : [-(idc(uri_xsd_integer))], (7001 ^ _34933) ^ [_192740] : [icext(uri_xsd_language, _192740), -(lv(_192740))], (7007 ^ _34933) ^ [] : [-(idc(uri_xsd_language))], (7009 ^ _34933) ^ [_192981] : [icext(uri_xsd_long, _192981), -(lv(_192981))], (7015 ^ _34933) ^ [] : [-(idc(uri_xsd_long))], (7017 ^ _34933) ^ [_193222] : [icext(uri_xsd_Name, _193222), -(lv(_193222))], (7023 ^ _34933) ^ [] : [-(idc(uri_xsd_Name))], (7025 ^ _34933) ^ [_193463] : [icext(uri_xsd_NCName, _193463), -(lv(_193463))], (7031 ^ _34933) ^ [] : [-(idc(uri_xsd_NCName))], (7033 ^ _34933) ^ [_193704] : [icext(uri_xsd_negativeInteger, _193704), -(lv(_193704))], (7039 ^ _34933) ^ [] : [-(idc(uri_xsd_negativeInteger))], (7041 ^ _34933) ^ [_193945] : [icext(uri_xsd_NMTOKEN, _193945), -(lv(_193945))], (7047 ^ _34933) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (7049 ^ _34933) ^ [_194186] : [icext(uri_xsd_nonNegativeInteger, _194186), -(lv(_194186))], (7055 ^ _34933) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (7057 ^ _34933) ^ [_194427] : [icext(uri_xsd_nonPositiveInteger, _194427), -(lv(_194427))], (7063 ^ _34933) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7065 ^ _34933) ^ [_194668] : [icext(uri_xsd_normalizedString, _194668), -(lv(_194668))], (7071 ^ _34933) ^ [] : [-(idc(uri_xsd_normalizedString))], (7073 ^ _34933) ^ [_194909] : [icext(uri_rdf_PlainLiteral, _194909), -(lv(_194909))], (7079 ^ _34933) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (7081 ^ _34933) ^ [_195150] : [icext(uri_xsd_positiveInteger, _195150), -(lv(_195150))], (7087 ^ _34933) ^ [] : [-(idc(uri_xsd_positiveInteger))], (7089 ^ _34933) ^ [_195391] : [icext(uri_owl_rational, _195391), -(lv(_195391))], (7095 ^ _34933) ^ [] : [-(idc(uri_owl_rational))], (7097 ^ _34933) ^ [_195632] : [icext(uri_owl_real, _195632), -(lv(_195632))], (7103 ^ _34933) ^ [] : [-(idc(uri_owl_real))], (7105 ^ _34933) ^ [_195873] : [icext(uri_xsd_short, _195873), -(lv(_195873))], (7111 ^ _34933) ^ [] : [-(idc(uri_xsd_short))], (7113 ^ _34933) ^ [_196114] : [icext(uri_xsd_string, _196114), -(lv(_196114))], (7119 ^ _34933) ^ [] : [-(idc(uri_xsd_string))], (7121 ^ _34933) ^ [_196355] : [icext(uri_xsd_token, _196355), -(lv(_196355))], (7127 ^ _34933) ^ [] : [-(idc(uri_xsd_token))], (7129 ^ _34933) ^ [_196596] : [icext(uri_xsd_unsignedByte, _196596), -(lv(_196596))], (7135 ^ _34933) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7137 ^ _34933) ^ [_196837] : [icext(uri_xsd_unsignedInt, _196837), -(lv(_196837))], (7143 ^ _34933) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7145 ^ _34933) ^ [_197078] : [icext(uri_xsd_unsignedLong, _197078), -(lv(_197078))], (7151 ^ _34933) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7153 ^ _34933) ^ [_197319] : [icext(uri_xsd_unsignedShort, _197319), -(lv(_197319))], (7159 ^ _34933) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7161 ^ _34933) ^ [_197560] : [icext(uri_rdf_XMLLiteral, _197560), -(lv(_197560))], (7167 ^ _34933) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7169 ^ _34933) ^ [_197801] : [icext(uri_xsd_anyURI, _197801), icext(uri_xsd_base64Binary, _197801)], (7175 ^ _34933) ^ [_197990] : [icext(uri_xsd_anyURI, _197990), icext(uri_xsd_boolean, _197990)], (7181 ^ _34933) ^ [_198179] : [icext(uri_xsd_anyURI, _198179), icext(uri_xsd_dateTime, _198179)], (7187 ^ _34933) ^ [_198368] : [icext(uri_xsd_anyURI, _198368), icext(uri_xsd_double, _198368)], (7193 ^ _34933) ^ [_198557] : [icext(uri_xsd_anyURI, _198557), icext(uri_xsd_float, _198557)], (7199 ^ _34933) ^ [_198746] : [icext(uri_xsd_anyURI, _198746), icext(uri_xsd_hexBinary, _198746)], (7205 ^ _34933) ^ [_198935] : [icext(uri_xsd_anyURI, _198935), icext(uri_rdf_PlainLiteral, _198935)], (7211 ^ _34933) ^ [_199124] : [icext(uri_xsd_anyURI, _199124), icext(uri_owl_real, _199124)], (7217 ^ _34933) ^ [_199313] : [icext(uri_xsd_anyURI, _199313), icext(uri_rdf_XMLLiteral, _199313)], (7223 ^ _34933) ^ [_199502] : [icext(uri_xsd_base64Binary, _199502), icext(uri_xsd_boolean, _199502)], (7229 ^ _34933) ^ [_199691] : [icext(uri_xsd_base64Binary, _199691), icext(uri_xsd_dateTime, _199691)], (7235 ^ _34933) ^ [_199880] : [icext(uri_xsd_base64Binary, _199880), icext(uri_xsd_double, _199880)], (7241 ^ _34933) ^ [_200069] : [icext(uri_xsd_base64Binary, _200069), icext(uri_xsd_float, _200069)], (7247 ^ _34933) ^ [_200258] : [icext(uri_xsd_base64Binary, _200258), icext(uri_xsd_hexBinary, _200258)], (7253 ^ _34933) ^ [_200447] : [icext(uri_xsd_base64Binary, _200447), icext(uri_rdf_PlainLiteral, _200447)], (7259 ^ _34933) ^ [_200636] : [icext(uri_xsd_base64Binary, _200636), icext(uri_owl_real, _200636)], (7265 ^ _34933) ^ [_200825] : [icext(uri_xsd_base64Binary, _200825), icext(uri_rdf_XMLLiteral, _200825)], (7271 ^ _34933) ^ [_201014] : [icext(uri_xsd_boolean, _201014), icext(uri_xsd_dateTime, _201014)], (7277 ^ _34933) ^ [_201203] : [icext(uri_xsd_boolean, _201203), icext(uri_xsd_double, _201203)], (7283 ^ _34933) ^ [_201392] : [icext(uri_xsd_boolean, _201392), icext(uri_xsd_float, _201392)], (7289 ^ _34933) ^ [_201581] : [icext(uri_xsd_boolean, _201581), icext(uri_xsd_hexBinary, _201581)], (7295 ^ _34933) ^ [_201770] : [icext(uri_xsd_boolean, _201770), icext(uri_rdf_PlainLiteral, _201770)], (7301 ^ _34933) ^ [_201959] : [icext(uri_xsd_boolean, _201959), icext(uri_owl_real, _201959)], (7307 ^ _34933) ^ [_202148] : [icext(uri_xsd_boolean, _202148), icext(uri_rdf_XMLLiteral, _202148)], (7313 ^ _34933) ^ [_202337] : [icext(uri_xsd_dateTime, _202337), icext(uri_xsd_double, _202337)], (7319 ^ _34933) ^ [_202526] : [icext(uri_xsd_dateTime, _202526), icext(uri_xsd_float, _202526)], (7325 ^ _34933) ^ [_202715] : [icext(uri_xsd_dateTime, _202715), icext(uri_xsd_hexBinary, _202715)], (7331 ^ _34933) ^ [_202904] : [icext(uri_xsd_dateTime, _202904), icext(uri_rdf_PlainLiteral, _202904)], (7337 ^ _34933) ^ [_203093] : [icext(uri_xsd_dateTime, _203093), icext(uri_owl_real, _203093)], (7343 ^ _34933) ^ [_203282] : [icext(uri_xsd_dateTime, _203282), icext(uri_rdf_XMLLiteral, _203282)], (7349 ^ _34933) ^ [_203471] : [icext(uri_xsd_double, _203471), icext(uri_xsd_float, _203471)], (7355 ^ _34933) ^ [_203660] : [icext(uri_xsd_double, _203660), icext(uri_xsd_hexBinary, _203660)], (7361 ^ _34933) ^ [_203849] : [icext(uri_xsd_double, _203849), icext(uri_rdf_PlainLiteral, _203849)], (7367 ^ _34933) ^ [_204038] : [icext(uri_xsd_double, _204038), icext(uri_owl_real, _204038)], (7373 ^ _34933) ^ [_204227] : [icext(uri_xsd_double, _204227), icext(uri_rdf_XMLLiteral, _204227)], (7379 ^ _34933) ^ [_204416] : [icext(uri_xsd_float, _204416), icext(uri_xsd_hexBinary, _204416)], (7385 ^ _34933) ^ [_204605] : [icext(uri_xsd_float, _204605), icext(uri_rdf_PlainLiteral, _204605)], (7391 ^ _34933) ^ [_204794] : [icext(uri_xsd_float, _204794), icext(uri_owl_real, _204794)], (7397 ^ _34933) ^ [_204983] : [icext(uri_xsd_float, _204983), icext(uri_rdf_XMLLiteral, _204983)], (7403 ^ _34933) ^ [_205172] : [icext(uri_xsd_hexBinary, _205172), icext(uri_rdf_PlainLiteral, _205172)], (7409 ^ _34933) ^ [_205361] : [icext(uri_xsd_hexBinary, _205361), icext(uri_owl_real, _205361)], (7415 ^ _34933) ^ [_205550] : [icext(uri_xsd_hexBinary, _205550), icext(uri_rdf_XMLLiteral, _205550)], (7421 ^ _34933) ^ [_205739] : [icext(uri_rdf_PlainLiteral, _205739), icext(uri_owl_real, _205739)], (7427 ^ _34933) ^ [_205928] : [icext(uri_rdf_PlainLiteral, _205928), icext(uri_rdf_XMLLiteral, _205928)], (7433 ^ _34933) ^ [_206117] : [icext(uri_owl_real, _206117), icext(uri_rdf_XMLLiteral, _206117)], (7439 ^ _34933) ^ [_206306] : [icext(uri_xsd_byte, _206306), -(icext(uri_xsd_short, _206306))], (7445 ^ _34933) ^ [_206496] : [icext(uri_xsd_dateTimeStamp, _206496), -(icext(uri_xsd_dateTime, _206496))], (7451 ^ _34933) ^ [_206686] : [icext(uri_xsd_decimal, _206686), -(icext(uri_owl_rational, _206686))], (7457 ^ _34933) ^ [_206876] : [icext(uri_xsd_int, _206876), -(icext(uri_xsd_long, _206876))], (7463 ^ _34933) ^ [_207066] : [icext(uri_xsd_integer, _207066), -(icext(uri_xsd_decimal, _207066))], (7469 ^ _34933) ^ [_207256] : [icext(uri_xsd_language, _207256), -(icext(uri_xsd_token, _207256))], (7475 ^ _34933) ^ [_207446] : [icext(uri_xsd_long, _207446), -(icext(uri_xsd_integer, _207446))], (7481 ^ _34933) ^ [_207636] : [icext(uri_xsd_Name, _207636), -(icext(uri_xsd_token, _207636))], (7487 ^ _34933) ^ [_207826] : [icext(uri_xsd_NCName, _207826), -(icext(uri_xsd_Name, _207826))], (7493 ^ _34933) ^ [_208016] : [icext(uri_xsd_negativeInteger, _208016), -(icext(uri_xsd_nonPositiveInteger, _208016))], (7499 ^ _34933) ^ [_208206] : [icext(uri_xsd_NMTOKEN, _208206), -(icext(uri_xsd_token, _208206))], (7505 ^ _34933) ^ [_208396] : [icext(uri_xsd_nonNegativeInteger, _208396), -(icext(uri_xsd_integer, _208396))], (7511 ^ _34933) ^ [_208586] : [icext(uri_xsd_nonPositiveInteger, _208586), -(icext(uri_xsd_integer, _208586))], (7517 ^ _34933) ^ [_208776] : [icext(uri_xsd_normalizedString, _208776), -(icext(uri_xsd_string, _208776))], (7523 ^ _34933) ^ [_208966] : [icext(uri_xsd_positiveInteger, _208966), -(icext(uri_xsd_nonNegativeInteger, _208966))], (7529 ^ _34933) ^ [_209156] : [icext(uri_owl_rational, _209156), -(icext(uri_owl_real, _209156))], (7535 ^ _34933) ^ [_209346] : [icext(uri_xsd_short, _209346), -(icext(uri_xsd_int, _209346))], (7541 ^ _34933) ^ [_209536] : [icext(uri_xsd_string, _209536), -(icext(uri_rdf_PlainLiteral, _209536))], (7547 ^ _34933) ^ [_209726] : [icext(uri_xsd_token, _209726), -(icext(uri_xsd_normalizedString, _209726))], (7553 ^ _34933) ^ [_209916] : [icext(uri_xsd_unsignedByte, _209916), -(icext(uri_xsd_unsignedShort, _209916))], (7559 ^ _34933) ^ [_210106] : [icext(uri_xsd_unsignedInt, _210106), -(icext(uri_xsd_unsignedLong, _210106))], (7565 ^ _34933) ^ [_210296] : [icext(uri_xsd_unsignedLong, _210296), -(icext(uri_xsd_nonNegativeInteger, _210296))], (7571 ^ _34933) ^ [_210486] : [icext(uri_xsd_unsignedShort, _210486), -(icext(uri_xsd_unsignedInt, _210486))], (7577 ^ _34933) ^ [_210690, _210692] : [iext(uri_rdf_langRange, _210692, _210690), 7580 ^ _34933 : [(7581 ^ _34933) ^ [] : [-(ir(_210692))], (7583 ^ _34933) ^ [] : [-(lv(_210690))]]], (7585 ^ _34933) ^ [] : [-(iodp(uri_rdf_langRange))], (7587 ^ _34933) ^ [_211026, _211028] : [iext(uri_xsd_length, _211028, _211026), 7590 ^ _34933 : [(7591 ^ _34933) ^ [] : [-(ir(_211028))], (7593 ^ _34933) ^ [] : [-(lv(_211026))]]], (7595 ^ _34933) ^ [] : [-(iodp(uri_xsd_length))], (7597 ^ _34933) ^ [_211362, _211364] : [iext(uri_xsd_maxExclusive, _211364, _211362), 7600 ^ _34933 : [(7601 ^ _34933) ^ [] : [-(ir(_211364))], (7603 ^ _34933) ^ [] : [-(lv(_211362))]]], (7605 ^ _34933) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (7607 ^ _34933) ^ [_211698, _211700] : [iext(uri_xsd_maxInclusive, _211700, _211698), 7610 ^ _34933 : [(7611 ^ _34933) ^ [] : [-(ir(_211700))], (7613 ^ _34933) ^ [] : [-(lv(_211698))]]], (7615 ^ _34933) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (7617 ^ _34933) ^ [_212034, _212036] : [iext(uri_xsd_maxLength, _212036, _212034), 7620 ^ _34933 : [(7621 ^ _34933) ^ [] : [-(ir(_212036))], (7623 ^ _34933) ^ [] : [-(lv(_212034))]]], (7625 ^ _34933) ^ [] : [-(iodp(uri_xsd_maxLength))], (7627 ^ _34933) ^ [_212370, _212372] : [iext(uri_xsd_minExclusive, _212372, _212370), 7630 ^ _34933 : [(7631 ^ _34933) ^ [] : [-(ir(_212372))], (7633 ^ _34933) ^ [] : [-(lv(_212370))]]], (7635 ^ _34933) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7637 ^ _34933) ^ [_212706, _212708] : [iext(uri_xsd_minInclusive, _212708, _212706), 7640 ^ _34933 : [(7641 ^ _34933) ^ [] : [-(ir(_212708))], (7643 ^ _34933) ^ [] : [-(lv(_212706))]]], (7645 ^ _34933) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7647 ^ _34933) ^ [_213042, _213044] : [iext(uri_xsd_minLength, _213044, _213042), 7650 ^ _34933 : [(7651 ^ _34933) ^ [] : [-(ir(_213044))], (7653 ^ _34933) ^ [] : [-(lv(_213042))]]], (7655 ^ _34933) ^ [] : [-(iodp(uri_xsd_minLength))], (7665 ^ _34933) ^ [] : [-(iodp(uri_xsd_pattern))], (7657 ^ _34933) ^ [_213378, _213380] : [iext(uri_xsd_pattern, _213380, _213378), 7660 ^ _34933 : [(7661 ^ _34933) ^ [] : [-(ir(_213380))], (7663 ^ _34933) ^ [] : [-(lv(_213378))]]]], input).
% 147.65/143.30  ncf('1',plain,[iext(uri_ex_hasUncle, uri_ex_alice, uri_ex_charly), iext(uri_ex_hasCousin, uri_ex_bob, uri_ex_alice)],start(7702 ^ 0)).
% 147.65/143.30  ncf('1.1',plain,[-(iext(uri_ex_hasUncle, uri_ex_alice, uri_ex_charly)), 6189 : iext(uri_ex_hasCousin, uri_ex_alice, uri_ex_bob), 6189 : iext(uri_ex_hasFather, uri_ex_bob, uri_ex_charly), 6189 : iext(uri_owl_propertyChainAxiom, uri_ex_hasUncle, 7666 ^ []), 6179 : iext(uri_rdf_first, 7666 ^ [], uri_ex_hasCousin), 6179 : iext(uri_rdf_rest, 7666 ^ [], 7667 ^ []), 6179 : iext(uri_rdf_first, 7667 ^ [], uri_ex_hasFather), 6179 : iext(uri_rdf_rest, 7667 ^ [], uri_rdf_nil)],extension(6163 ^ 1,bind([[_161091, _161093, _161095, _161097, _161099, _161954, _161956, _161958], [uri_ex_hasFather, 7667 ^ [], uri_ex_hasCousin, 7666 ^ [], uri_ex_hasUncle, uri_ex_charly, uri_ex_bob, uri_ex_alice]]))).
% 147.65/143.30  ncf('1.1.1',plain,[-(iext(uri_ex_hasCousin, uri_ex_alice, uri_ex_bob))],extension(7696 ^ 6)).
% 147.65/143.30  ncf('1.1.2',plain,[-(iext(uri_ex_hasFather, uri_ex_bob, uri_ex_charly))],extension(7698 ^ 6)).
% 147.65/143.30  ncf('1.1.3',plain,[-(iext(uri_owl_propertyChainAxiom, uri_ex_hasUncle, 7666 ^ []))],extension(7672 ^ 4)).
% 147.65/143.30  ncf('1.1.4',plain,[-(iext(uri_rdf_first, 7666 ^ [], uri_ex_hasCousin))],extension(7674 ^ 2)).
% 147.65/143.30  ncf('1.1.5',plain,[-(iext(uri_rdf_rest, 7666 ^ [], 7667 ^ []))],extension(7676 ^ 2)).
% 147.65/143.30  ncf('1.1.6',plain,[-(iext(uri_rdf_first, 7667 ^ [], uri_ex_hasFather))],extension(7678 ^ 2)).
% 147.65/143.30  ncf('1.1.7',plain,[-(iext(uri_rdf_rest, 7667 ^ [], uri_rdf_nil))],extension(7680 ^ 2)).
% 147.65/143.30  ncf('1.2',plain,[-(iext(uri_ex_hasCousin, uri_ex_bob, uri_ex_alice)), 6189 : iext(uri_ex_hasUncle, uri_ex_bob, uri_ex_dave), 6189 : iext(7670 ^ [], uri_ex_dave, uri_ex_alice), 6189 : iext(uri_owl_propertyChainAxiom, uri_ex_hasCousin, 7668 ^ []), 6179 : iext(uri_rdf_first, 7668 ^ [], uri_ex_hasUncle), 6179 : iext(uri_rdf_rest, 7668 ^ [], 7669 ^ []), 6179 : iext(uri_rdf_first, 7669 ^ [], 7670 ^ []), 6179 : iext(uri_rdf_rest, 7669 ^ [], uri_rdf_nil)],extension(6163 ^ 1,bind([[_161091, _161093, _161095, _161097, _161099, _161954, _161956, _161958], [7670 ^ [], 7669 ^ [], uri_ex_hasUncle, 7668 ^ [], uri_ex_hasCousin, uri_ex_alice, uri_ex_dave, uri_ex_bob]]))).
% 147.65/143.30  ncf('1.2.1',plain,[-(iext(uri_ex_hasUncle, uri_ex_bob, uri_ex_dave))],extension(7700 ^ 6)).
% 147.65/143.30  ncf('1.2.2',plain,[-(iext(7670 ^ [], uri_ex_dave, uri_ex_alice)), 6320 : iext(uri_ex_hasFather, uri_ex_alice, uri_ex_dave), 6320 : iext(uri_owl_inverseOf, 7670 ^ [], uri_ex_hasFather)],extension(6306 ^ 6,bind([[_166761, _166763, _167272, _167274], [uri_ex_hasFather, 7670 ^ [], uri_ex_alice, uri_ex_dave]]))).
% 147.65/143.30  ncf('1.2.2.1',plain,[-(iext(uri_ex_hasFather, uri_ex_alice, uri_ex_dave))],extension(7694 ^ 9)).
% 147.65/143.30  ncf('1.2.2.2',plain,[-(iext(uri_owl_inverseOf, 7670 ^ [], uri_ex_hasFather))],extension(7692 ^ 7)).
% 147.65/143.30  ncf('1.2.3',plain,[-(iext(uri_owl_propertyChainAxiom, uri_ex_hasCousin, 7668 ^ []))],extension(7682 ^ 4)).
% 147.65/143.30  ncf('1.2.4',plain,[-(iext(uri_rdf_first, 7668 ^ [], uri_ex_hasUncle))],extension(7684 ^ 2)).
% 147.65/143.30  ncf('1.2.5',plain,[-(iext(uri_rdf_rest, 7668 ^ [], 7669 ^ []))],extension(7686 ^ 2)).
% 147.65/143.30  ncf('1.2.6',plain,[-(iext(uri_rdf_first, 7669 ^ [], 7670 ^ []))],extension(7688 ^ 2)).
% 147.65/143.30  ncf('1.2.7',plain,[-(iext(uri_rdf_rest, 7669 ^ [], uri_rdf_nil))],extension(7690 ^ 2)).
% 147.65/143.30  %-----------------------------------------------------
% 147.65/143.30  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------