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

% Computer : n010.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:40 EDT 2023

% Result   : Theorem 75.11s 72.96s
% Output   : Proof 75.11s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : SWB043+1 : TPTP v8.1.2. Released v5.2.0.
% 0.10/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n010.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 20:43:12 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 75.11/72.96  
% 75.11/72.96  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 75.11/72.96  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 75.11/72.96  %-----------------------------------------------------
% 75.11/72.96  ncf(matrix, plain, [(7824 ^ _335556) ^ [] : [iext(uri_rdfs_subPropertyOf, uri_ex_p1, uri_ex_p)], !, (4026 ^ _50299) ^ [_192703, _192705, _192707] : [iext(uri_owl_maxQualifiedCardinality, _192707, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _192707, _192705), iext(uri_owl_onDataRange, _192707, _192703), 4037 ^ _50299 : [(4040 ^ _50299) ^ [_193241] : [icext(_192707, _193241), 4043 ^ _50299 : [(4044 ^ _50299) ^ [_193527, _193529, _193531, _193533] : [-(_193527 = _193533), -(_193527 = _193531), -(_193527 = _193529), lv(_193533), iext(_192705, _193241, _193533), icext(_192703, _193533), lv(_193531), iext(_192705, _193241, _193531), icext(_192703, _193531), lv(_193529), iext(_192705, _193241, _193529), icext(_192703, _193529), lv(_193527), iext(_192705, _193241, _193527), icext(_192703, _193527)]]], (4102 ^ _50299) ^ [_195213] : [4107 ^ _50299 : [(4112 ^ _50299) ^ [] : [-(icext(_192703, 4103 ^ [_192703, _192705, _192707, _195213]))], (4108 ^ _50299) ^ [] : [-(lv(4103 ^ [_192703, _192705, _192707, _195213]))], (4134 ^ _50299) ^ [] : [4106 ^ [_192703, _192705, _192707, _195213] = 4104 ^ [_192703, _192705, _192707, _195213]], (4122 ^ _50299) ^ [] : [-(iext(_192705, _195213, 4105 ^ [_192703, _192705, _192707, _195213]))], (4116 ^ _50299) ^ [] : [-(iext(_192705, _195213, 4104 ^ [_192703, _192705, _192707, _195213]))], (4136 ^ _50299) ^ [] : [4106 ^ [_192703, _192705, _192707, _195213] = 4105 ^ [_192703, _192705, _192707, _195213]], (4126 ^ _50299) ^ [] : [-(lv(4106 ^ [_192703, _192705, _192707, _195213]))], (4128 ^ _50299) ^ [] : [-(iext(_192705, _195213, 4106 ^ [_192703, _192705, _192707, _195213]))], (4120 ^ _50299) ^ [] : [-(lv(4105 ^ [_192703, _192705, _192707, _195213]))], (4130 ^ _50299) ^ [] : [-(icext(_192703, 4106 ^ [_192703, _192705, _192707, _195213]))], (4110 ^ _50299) ^ [] : [-(iext(_192705, _195213, 4103 ^ [_192703, _192705, _192707, _195213]))], (4118 ^ _50299) ^ [] : [-(icext(_192703, 4104 ^ [_192703, _192705, _192707, _195213]))], (4132 ^ _50299) ^ [] : [4106 ^ [_192703, _192705, _192707, _195213] = 4103 ^ [_192703, _192705, _192707, _195213]], (4124 ^ _50299) ^ [] : [-(icext(_192703, 4105 ^ [_192703, _192705, _192707, _195213]))], (4114 ^ _50299) ^ [] : [-(lv(4104 ^ [_192703, _192705, _192707, _195213]))]], -(icext(_192707, _195213))], (4038 ^ _50299) ^ [] : [-(iodp(_192705))]]], (879 ^ _50299) ^ [_77760] : [icext(uri_owl_ObjectProperty, _77760), -(ip(_77760))], (176 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (6689 ^ _50299) ^ [_290190] : [iext(uri_owl_hasKey, _290190, uri_rdf_nil), 6692 ^ _50299 : [(6695 ^ _50299) ^ [_290418, _290420] : [-(_290420 = _290418), icext(_290190, _290420), icext(_290190, _290418)], (6693 ^ _50299) ^ [] : [-(ic(_290190))]]], (4388 ^ _50299) ^ [_207798, _207800] : [iext(uri_owl_minCardinality, _207800, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _207800, _207798), 4395 ^ _50299 : [(4403 ^ _50299) ^ [_208301] : [4404 ^ _50299 : [(4405 ^ _50299) ^ [_208378] : [iext(_207798, _208301, _208378)]], -(icext(_207800, _208301))], (4396 ^ _50299) ^ [_208063] : [icext(_207800, _208063), -(iext(_207798, _208063, 4399 ^ [_207798, _207800, _208063]))]]], (438 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (7125 ^ _50299) ^ [] : [-(idc(uri_xsd_float))], (1285 ^ _50299) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (655 ^ _50299) ^ [_70923] : [lv(_70923), -(ir(_70923))], (1123 ^ _50299) ^ [] : [-(ip(uri_owl_differentFrom))], (7173 ^ _50299) ^ [] : [-(idc(uri_xsd_Name))], (7517 ^ _50299) ^ [_319100] : [icext(uri_xsd_double, _319100), icext(uri_owl_real, _319100)], (6642 ^ _50299) ^ [_288417] : [-(icext(uri_owl_SymmetricProperty, _288417)), ip(_288417), 6649 ^ _50299 : [(6652 ^ _50299) ^ [] : [iext(_288417, 6648 ^ [_288417], 6647 ^ [_288417])], (6650 ^ _50299) ^ [] : [-(iext(_288417, 6647 ^ [_288417], 6648 ^ [_288417]))]]], (1055 ^ _50299) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (294 ^ _50299) ^ [_59280, _59282, _59284, _59286] : [-(icext(_59284, _59282)), iext(uri_rdfs_domain, _59286, _59284), iext(_59286, _59282, _59280)], (3487 ^ _50299) ^ [_170669, _170671, _170673] : [iext(uri_owl_qualifiedCardinality, _170673, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _170673, _170671), iext(uri_owl_onClass, _170673, _170669), 3498 ^ _50299 : [(3499 ^ _50299) ^ [_171193] : [icext(_170673, _171193), 3505 ^ _50299 : [(3512 ^ _50299) ^ [] : [-(icext(_170669, 3503 ^ [_170669, _170671, _170673, _171193]))], (3524 ^ _50299) ^ [_172792, _172794, _172796, _172798] : [-(_172792 = _172798), -(_172792 = _172796), -(_172792 = _172794), iext(_170671, _171193, _172798), icext(_170669, _172798), iext(_170671, _171193, _172796), icext(_170669, _172796), iext(_170671, _171193, _172794), icext(_170669, _172794), iext(_170671, _171193, _172792), icext(_170669, _172792)], (3508 ^ _50299) ^ [] : [-(icext(_170669, 3502 ^ [_170669, _170671, _170673, _171193]))], (3506 ^ _50299) ^ [] : [-(iext(_170671, _171193, 3502 ^ [_170669, _170671, _170673, _171193]))], (3516 ^ _50299) ^ [] : [-(icext(_170669, 3504 ^ [_170669, _170671, _170673, _171193]))], (3522 ^ _50299) ^ [] : [3503 ^ [_170669, _170671, _170673, _171193] = 3504 ^ [_170669, _170671, _170673, _171193]], (3510 ^ _50299) ^ [] : [-(iext(_170671, _171193, 3503 ^ [_170669, _170671, _170673, _171193]))], (3520 ^ _50299) ^ [] : [3502 ^ [_170669, _170671, _170673, _171193] = 3504 ^ [_170669, _170671, _170673, _171193]], (3514 ^ _50299) ^ [] : [-(iext(_170671, _171193, 3504 ^ [_170669, _170671, _170673, _171193]))], (3518 ^ _50299) ^ [] : [3502 ^ [_170669, _170671, _170673, _171193] = 3503 ^ [_170669, _170671, _170673, _171193]]]], (3566 ^ _50299) ^ [_174052] : [-(icext(_170673, _174052)), 3607 ^ _50299 : [(3618 ^ _50299) ^ [] : [-(icext(_170669, 3605 ^ [_170669, _170671, _170673, _174052]))], (3626 ^ _50299) ^ [] : [3606 ^ [_170669, _170671, _170673, _174052] = 3604 ^ [_170669, _170671, _170673, _174052]], (3616 ^ _50299) ^ [] : [-(iext(_170671, _174052, 3605 ^ [_170669, _170671, _170673, _174052]))], (3620 ^ _50299) ^ [] : [-(iext(_170671, _174052, 3606 ^ [_170669, _170671, _170673, _174052]))], (3608 ^ _50299) ^ [] : [-(iext(_170671, _174052, 3603 ^ [_170669, _170671, _170673, _174052]))], (3610 ^ _50299) ^ [] : [-(icext(_170669, 3603 ^ [_170669, _170671, _170673, _174052]))], (3612 ^ _50299) ^ [] : [-(iext(_170671, _174052, 3604 ^ [_170669, _170671, _170673, _174052]))], (3614 ^ _50299) ^ [] : [-(icext(_170669, 3604 ^ [_170669, _170671, _170673, _174052]))], (3622 ^ _50299) ^ [] : [-(icext(_170669, 3606 ^ [_170669, _170671, _170673, _174052]))], (3624 ^ _50299) ^ [] : [3606 ^ [_170669, _170671, _170673, _174052] = 3603 ^ [_170669, _170671, _170673, _174052]], (3628 ^ _50299) ^ [] : [3606 ^ [_170669, _170671, _170673, _174052] = 3605 ^ [_170669, _170671, _170673, _174052]]], 3569 ^ _50299 : [(3570 ^ _50299) ^ [_174371, _174373, _174375] : [iext(_170671, _174052, _174375), icext(_170669, _174375), iext(_170671, _174052, _174373), icext(_170669, _174373), iext(_170671, _174052, _174371), icext(_170669, _174371), -(_174375 = _174373), -(_174375 = _174371), -(_174373 = _174371)]]]]], (725 ^ _50299) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (284 ^ _50299) ^ [_58940] : [icext(uri_rdfs_Datatype, _58940), -(iext(uri_rdfs_subClassOf, _58940, uri_rdfs_Literal))], (7709 ^ _50299) ^ [_325168] : [icext(uri_xsd_unsignedInt, _325168), -(icext(uri_xsd_unsignedLong, _325168))], (689 ^ _50299) ^ [_71968] : [icext(uri_owl_AllDisjointProperties, _71968), -(ir(_71968))], (6619 ^ _50299) ^ [_287651] : [-(icext(uri_owl_ReflexiveProperty, _287651)), ip(_287651), iext(_287651, 6624 ^ [_287651], 6624 ^ [_287651])], (7667 ^ _50299) ^ [_323838] : [icext(uri_xsd_normalizedString, _323838), -(icext(uri_xsd_string, _323838))], (1609 ^ _50299) ^ [_101856] : [-(iext(uri_owl_intersectionOf, _101856, uri_rdf_nil)), ic(_101856), 1617 ^ _50299 : [(1620 ^ _50299) ^ [] : [ir(1614 ^ [_101856])], (1618 ^ _50299) ^ [] : [-(icext(_101856, 1614 ^ [_101856]))]], 1621 ^ _50299 : [(1624 ^ _50299) ^ [] : [icext(_101856, 1614 ^ [_101856])], (1622 ^ _50299) ^ [] : [-(ir(1614 ^ [_101856]))]]], (625 ^ _50299) ^ [_70012] : [ir(_70012), -(iext(uri_rdf_type, _70012, uri_rdfs_Resource))], (1337 ^ _50299) ^ [_92797, _92799] : [iext(uri_owl_onDatatype, _92799, _92797), 1340 ^ _50299 : [(1343 ^ _50299) ^ [] : [-(idc(_92797))], (1341 ^ _50299) ^ [] : [-(idc(_92799))]]], (7379 ^ _50299) ^ [_314753] : [icext(uri_xsd_base64Binary, _314753), icext(uri_xsd_dateTime, _314753)], (1115 ^ _50299) ^ [_85316, _85318] : [iext(uri_owl_differentFrom, _85318, _85316), 1118 ^ _50299 : [(1121 ^ _50299) ^ [] : [-(ir(_85316))], (1119 ^ _50299) ^ [] : [-(ir(_85318))]]], (306 ^ _50299) ^ [_59671] : [ic(_59671), -(icext(uri_rdfs_Class, _59671))], (7391 ^ _50299) ^ [_315131] : [icext(uri_xsd_base64Binary, _315131), icext(uri_xsd_float, _315131)], (775 ^ _50299) ^ [] : [-(ic(uri_owl_DataRange))], (7237 ^ _50299) ^ [] : [-(idc(uri_xsd_positiveInteger))], (502 ^ _50299) ^ [_65886] : [ioap(_65886), 505 ^ _50299 : [(506 ^ _50299) ^ [_66041, _66043] : [iext(_65886, _66043, _66041), 509 ^ _50299 : [(512 ^ _50299) ^ [] : [-(ir(_66041))], (510 ^ _50299) ^ [] : [-(ir(_66043))]]]]], (266 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (935 ^ _50299) ^ [_79435] : [icext(uri_owl_ReflexiveProperty, _79435), -(ip(_79435))], (2308 ^ _50299) ^ [_124585, _124587, _124589] : [iext(uri_rdf_first, _124587, _124585), iext(uri_rdf_rest, _124587, uri_rdf_nil), 2315 ^ _50299 : [(2316 ^ _50299) ^ [] : [iext(uri_owl_oneOf, _124589, _124587), 2319 ^ _50299 : [(2328 ^ _50299) ^ [_125224] : [_125224 = _124585, -(icext(_124589, _125224))], (2322 ^ _50299) ^ [_125044] : [icext(_124589, _125044), -(_125044 = _124585)], (2320 ^ _50299) ^ [] : [-(ic(_124589))]]], (2334 ^ _50299) ^ [] : [-(iext(uri_owl_oneOf, _124589, _124587)), ic(_124589), 2342 ^ _50299 : [(2345 ^ _50299) ^ [] : [2339 ^ [_124585, _124587, _124589] = _124585], (2343 ^ _50299) ^ [] : [-(icext(_124589, 2339 ^ [_124585, _124587, _124589]))]], 2346 ^ _50299 : [(2349 ^ _50299) ^ [] : [icext(_124589, 2339 ^ [_124585, _124587, _124589])], (2347 ^ _50299) ^ [] : [-(2339 ^ [_124585, _124587, _124589] = _124585)]]]]], (7475 ^ _50299) ^ [_317777] : [icext(uri_xsd_dateTime, _317777), icext(uri_xsd_hexBinary, _317777)], (643 ^ _50299) ^ [_70575] : [ix(_70575), -(iext(uri_rdf_type, _70575, uri_owl_Ontology))], (7805 ^ _50299) ^ [] : [-(iodp(uri_xsd_minLength))], (5406 ^ _50299) ^ [_245324, _245326] : [-(iext(uri_owl_disjointWith, _245326, _245324)), ic(_245326), ic(_245324), 5416 ^ _50299 : [(5419 ^ _50299) ^ [] : [-(icext(_245324, 5415 ^ [_245324, _245326]))], (5417 ^ _50299) ^ [] : [-(icext(_245326, 5415 ^ [_245324, _245326]))]]], (556 ^ _50299) ^ [_67698] : [iext(uri_rdf_type, _67698, uri_owl_DatatypeProperty), -(iodp(_67698))], (7077 ^ _50299) ^ [] : [-(idc(uri_xsd_boolean))], (735 ^ _50299) ^ [_73387] : [icext(uri_owl_Class, _73387), -(ic(_73387))], (1327 ^ _50299) ^ [_92459, _92461] : [iext(uri_owl_onDataRange, _92461, _92459), 1330 ^ _50299 : [(1333 ^ _50299) ^ [] : [-(idc(_92459))], (1331 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _92461))]]], (360 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (260 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (1257 ^ _50299) ^ [_90087, _90089] : [iext(uri_rdfs_label, _90089, _90087), 1260 ^ _50299 : [(1263 ^ _50299) ^ [] : [-(lv(_90087))], (1261 ^ _50299) ^ [] : [-(ir(_90089))]]], (7018 ^ _50299) ^ [_303722, _303724, _303726] : [7034 ^ _50299 : [(7039 ^ _50299) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_303722, _303724, _303726], _303722))], (7037 ^ _50299) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_303722, _303724, _303726], _303726))], (7035 ^ _50299) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_303722, _303724, _303726], _303724))]], ir(_303724), ip(_303726), ir(_303722), -(iext(_303726, _303724, _303722))], (4171 ^ _50299) ^ [_198789, _198791, _198793] : [iext(uri_owl_maxQualifiedCardinality, _198793, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _198793, _198791), iext(uri_owl_onClass, _198793, _198789), 4182 ^ _50299 : [(4183 ^ _50299) ^ [_199187] : [icext(_198793, _199187), 4186 ^ _50299 : [(4187 ^ _50299) ^ [_199377, _199379] : [-(_199377 = _199379), iext(_198791, _199187, _199379), icext(_198789, _199379), iext(_198791, _199187, _199377), icext(_198789, _199377)]]], (4205 ^ _50299) ^ [_199895] : [4208 ^ _50299 : [(4209 ^ _50299) ^ [] : [-(iext(_198791, _199895, 4206 ^ [_198789, _198791, _198793, _199895]))], (4213 ^ _50299) ^ [] : [-(iext(_198791, _199895, 4207 ^ [_198789, _198791, _198793, _199895]))], (4217 ^ _50299) ^ [] : [4207 ^ [_198789, _198791, _198793, _199895] = 4206 ^ [_198789, _198791, _198793, _199895]], (4215 ^ _50299) ^ [] : [-(icext(_198789, 4207 ^ [_198789, _198791, _198793, _199895]))], (4211 ^ _50299) ^ [] : [-(icext(_198789, 4206 ^ [_198789, _198791, _198793, _199895]))]], -(icext(_198793, _199895))]]], (717 ^ _50299) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (2848 ^ _50299) ^ [_144574, _144576, _144578] : [iext(uri_owl_qualifiedCardinality, _144578, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _144578, _144576), iext(uri_owl_onDataRange, _144578, _144574), 2859 ^ _50299 : [(2862 ^ _50299) ^ [_145027] : [icext(_144578, _145027), 2865 ^ _50299 : [(2866 ^ _50299) ^ [_145186] : [lv(_145186), iext(_144576, _145027, _145186), icext(_144574, _145186)]]], (2876 ^ _50299) ^ [_145479] : [2878 ^ _50299 : [(2883 ^ _50299) ^ [] : [-(icext(_144574, 2877 ^ [_144574, _144576, _144578, _145479]))], (2881 ^ _50299) ^ [] : [-(iext(_144576, _145479, 2877 ^ [_144574, _144576, _144578, _145479]))], (2879 ^ _50299) ^ [] : [-(lv(2877 ^ [_144574, _144576, _144578, _145479]))]], -(icext(_144578, _145479))], (2860 ^ _50299) ^ [] : [-(iodp(_144576))]]], (7818 ^ _50299) ^ [] : [-(iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []))], (7523 ^ _50299) ^ [_319289] : [icext(uri_xsd_double, _319289), icext(uri_rdf_XMLLiteral, _319289)], (274 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (7649 ^ _50299) ^ [_323268] : [icext(uri_xsd_NMTOKEN, _323268), -(icext(uri_xsd_token, _323268))], (262 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (1305 ^ _50299) ^ [] : [-(ip(uri_owl_minCardinality))], (7285 ^ _50299) ^ [] : [-(idc(uri_xsd_unsignedByte))], (919 ^ _50299) ^ [] : [-(ic(uri_owl_OntologyProperty))], (865 ^ _50299) ^ [] : [-(ic(uri_owl_NamedIndividual))], (5976 ^ _50299) ^ [] : [-(tautology), tautology], (514 ^ _50299) ^ [_66325] : [ioap(_66325), -(ip(_66325))], (7745 ^ _50299) ^ [] : [-(iodp(uri_xsd_length))], (6630 ^ _50299) ^ [_288014] : [icext(uri_owl_SymmetricProperty, _288014), 6633 ^ _50299 : [(6636 ^ _50299) ^ [_288236, _288238] : [iext(_288014, _288238, _288236), -(iext(_288014, _288236, _288238))], (6634 ^ _50299) ^ [] : [-(ip(_288014))]]], (1509 ^ _50299) ^ [_98468, _98470] : [iext(uri_owl_unionOf, _98470, _98468), 1512 ^ _50299 : [(1515 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _98468))], (1513 ^ _50299) ^ [] : [-(ic(_98470))]]], (7373 ^ _50299) ^ [_314564] : [icext(uri_xsd_base64Binary, _314564), icext(uri_xsd_boolean, _314564)], (7721 ^ _50299) ^ [_325548] : [icext(uri_xsd_unsignedShort, _325548), -(icext(uri_xsd_unsignedInt, _325548))], (1399 ^ _50299) ^ [_94872, _94874] : [iext(uri_owl_qualifiedCardinality, _94874, _94872), 1402 ^ _50299 : [(1405 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _94872))], (1403 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _94874))]]], (1003 ^ _50299) ^ [] : [-(ip(uri_owl_allValuesFrom))], (2620 ^ _50299) ^ [_135008, _135010] : [iext(uri_owl_cardinality, _135010, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135010, _135008), 2627 ^ _50299 : [(2634 ^ _50299) ^ [_135472] : [-(iext(_135008, _135472, 2635 ^ [_135008, _135010, _135472])), -(icext(_135010, _135472))], (2628 ^ _50299) ^ [_135275] : [icext(_135010, _135275), 2631 ^ _50299 : [(2632 ^ _50299) ^ [_135401] : [iext(_135008, _135275, _135401)]]]]], (4409 ^ _50299) ^ [_208554, _208556] : [iext(uri_owl_minCardinality, _208556, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _208556, _208554), 4416 ^ _50299 : [(4429 ^ _50299) ^ [_209368] : [-(icext(_208556, _209368)), 4430 ^ _50299 : [(4431 ^ _50299) ^ [_209495, _209497] : [iext(_208554, _209368, _209497), iext(_208554, _209368, _209495), -(_209497 = _209495)]]], (4417 ^ _50299) ^ [_208839] : [icext(_208556, _208839), 4422 ^ _50299 : [(4427 ^ _50299) ^ [] : [4420 ^ [_208554, _208556, _208839] = 4421 ^ [_208554, _208556, _208839]], (4425 ^ _50299) ^ [] : [-(iext(_208554, _208839, 4421 ^ [_208554, _208556, _208839]))], (4423 ^ _50299) ^ [] : [-(iext(_208554, _208839, 4420 ^ [_208554, _208556, _208839]))]]]]], (7511 ^ _50299) ^ [_318911] : [icext(uri_xsd_double, _318911), icext(uri_rdf_PlainLiteral, _318911)], (7119 ^ _50299) ^ [_306838] : [icext(uri_xsd_float, _306838), -(lv(_306838))], (1073 ^ _50299) ^ [] : [-(ip(uri_owl_cardinality))], (7071 ^ _50299) ^ [_305392] : [icext(uri_xsd_boolean, _305392), -(lv(_305392))], (1907 ^ _50299) ^ [_111670, _111672, _111674, _111676, _111678, _111680, _111682] : [-(idc(_111682)), iext(uri_rdf_first, _111680, _111678), iext(uri_rdf_rest, _111680, _111676), iext(uri_rdf_first, _111676, _111674), iext(uri_rdf_rest, _111676, _111672), iext(uri_rdf_first, _111672, _111670), iext(uri_rdf_rest, _111672, uri_rdf_nil), idc(_111678), idc(_111674), idc(_111670), iext(uri_owl_intersectionOf, _111682, _111680)], (7337 ^ _50299) ^ [_313430] : [icext(uri_xsd_anyURI, _313430), icext(uri_xsd_double, _313430)], (616 ^ _50299) ^ [_69702] : [iext(uri_rdf_type, _69702, uri_rdf_Property), -(ip(_69702))], (1035 ^ _50299) ^ [_82611, _82613] : [iext(uri_owl_assertionProperty, _82613, _82611), 1038 ^ _50299 : [(1041 ^ _50299) ^ [] : [-(ip(_82611))], (1039 ^ _50299) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _82613))]]], (7183 ^ _50299) ^ [_308766] : [icext(uri_xsd_negativeInteger, _308766), -(lv(_308766))], (7207 ^ _50299) ^ [_309489] : [icext(uri_xsd_nonPositiveInteger, _309489), -(lv(_309489))], (3774 ^ _50299) ^ [_182548, _182550] : [iext(uri_owl_maxCardinality, _182550, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _182550, _182548), 3781 ^ _50299 : [(3782 ^ _50299) ^ [_182867] : [icext(_182550, _182867), 3785 ^ _50299 : [(3786 ^ _50299) ^ [_183103, _183105, _183107, _183109] : [-(_183103 = _183109), -(_183103 = _183107), -(_183103 = _183105), iext(_182548, _182867, _183109), iext(_182548, _182867, _183107), iext(_182548, _182867, _183105), iext(_182548, _182867, _183103)]]], (3812 ^ _50299) ^ [_183865] : [3817 ^ _50299 : [(3822 ^ _50299) ^ [] : [-(iext(_182548, _183865, 3815 ^ [_182548, _182550, _183865]))], (3828 ^ _50299) ^ [] : [3816 ^ [_182548, _182550, _183865] = 3814 ^ [_182548, _182550, _183865]], (3830 ^ _50299) ^ [] : [3816 ^ [_182548, _182550, _183865] = 3815 ^ [_182548, _182550, _183865]], (3824 ^ _50299) ^ [] : [-(iext(_182548, _183865, 3816 ^ [_182548, _182550, _183865]))], (3818 ^ _50299) ^ [] : [-(iext(_182548, _183865, 3813 ^ [_182548, _182550, _183865]))], (3820 ^ _50299) ^ [] : [-(iext(_182548, _183865, 3814 ^ [_182548, _182550, _183865]))], (3826 ^ _50299) ^ [] : [3816 ^ [_182548, _182550, _183865] = 3813 ^ [_182548, _182550, _183865]]], -(icext(_182550, _183865))]]], (242 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (4615 ^ _50299) ^ [_216548, _216550, _216552] : [iext(uri_owl_minQualifiedCardinality, _216552, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _216552, _216550), iext(uri_owl_onDataRange, _216552, _216548), 4626 ^ _50299 : [(4660 ^ _50299) ^ [_218846] : [-(icext(_216552, _218846)), 4661 ^ _50299 : [(4662 ^ _50299) ^ [_219052, _219054, _219056] : [lv(_219056), iext(_216550, _218846, _219056), icext(_216548, _219056), lv(_219054), iext(_216550, _218846, _219054), icext(_216548, _219054), lv(_219052), iext(_216550, _218846, _219052), icext(_216548, _219052), -(_219056 = _219054), -(_219056 = _219052), -(_219054 = _219052)]]], (4629 ^ _50299) ^ [_217069] : [icext(_216552, _217069), 4635 ^ _50299 : [(4652 ^ _50299) ^ [] : [-(icext(_216548, 4634 ^ [_216548, _216550, _216552, _217069]))], (4642 ^ _50299) ^ [] : [-(lv(4633 ^ [_216548, _216550, _216552, _217069]))], (4658 ^ _50299) ^ [] : [4633 ^ [_216548, _216550, _216552, _217069] = 4634 ^ [_216548, _216550, _216552, _217069]], (4638 ^ _50299) ^ [] : [-(iext(_216550, _217069, 4632 ^ [_216548, _216550, _216552, _217069]))], (4644 ^ _50299) ^ [] : [-(iext(_216550, _217069, 4633 ^ [_216548, _216550, _216552, _217069]))], (4646 ^ _50299) ^ [] : [-(icext(_216548, 4633 ^ [_216548, _216550, _216552, _217069]))], (4656 ^ _50299) ^ [] : [4632 ^ [_216548, _216550, _216552, _217069] = 4634 ^ [_216548, _216550, _216552, _217069]], (4640 ^ _50299) ^ [] : [-(icext(_216548, 4632 ^ [_216548, _216550, _216552, _217069]))], (4636 ^ _50299) ^ [] : [-(lv(4632 ^ [_216548, _216550, _216552, _217069]))], (4648 ^ _50299) ^ [] : [-(lv(4634 ^ [_216548, _216550, _216552, _217069]))], (4654 ^ _50299) ^ [] : [4632 ^ [_216548, _216550, _216552, _217069] = 4633 ^ [_216548, _216550, _216552, _217069]], (4650 ^ _50299) ^ [] : [-(iext(_216550, _217069, 4634 ^ [_216548, _216550, _216552, _217069]))]]], (4627 ^ _50299) ^ [] : [-(iodp(_216550))]]], (5046 ^ _50299) ^ [_233088] : [iext(uri_owl_disjointUnionOf, _233088, uri_rdf_nil), 5049 ^ _50299 : [(5052 ^ _50299) ^ [_233271] : [icext(_233088, _233271)], (5050 ^ _50299) ^ [] : [-(ic(_233088))]]], (7685 ^ _50299) ^ [_324408] : [icext(uri_xsd_short, _324408), -(icext(uri_xsd_int, _324408))], (667 ^ _50299) ^ [_71294] : [iext(uri_rdf_type, _71294, uri_rdfs_Literal), -(lv(_71294))], (7055 ^ _50299) ^ [_304910] : [icext(uri_xsd_anyURI, _304910), -(lv(_304910))], (741 ^ _50299) ^ [_73541] : [ic(_73541), -(icext(uri_owl_Class, _73541))], (358 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (7583 ^ _50299) ^ [_321179] : [icext(uri_owl_real, _321179), icext(uri_rdf_XMLLiteral, _321179)], (5486 ^ _50299) ^ [_247995, _247997] : [-(iext(uri_owl_equivalentProperty, _247997, _247995)), ip(_247997), ip(_247995), 5499 ^ _50299 : [(5502 ^ _50299) ^ [] : [iext(_247995, 5495 ^ [_247995, _247997], 5496 ^ [_247995, _247997])], (5500 ^ _50299) ^ [] : [-(iext(_247997, 5495 ^ [_247995, _247997], 5496 ^ [_247995, _247997]))]], 5503 ^ _50299 : [(5506 ^ _50299) ^ [] : [iext(_247997, 5495 ^ [_247995, _247997], 5496 ^ [_247995, _247997])], (5504 ^ _50299) ^ [] : [-(iext(_247995, 5495 ^ [_247995, _247997], 5496 ^ [_247995, _247997]))]]], (7797 ^ _50299) ^ [_328104, _328106] : [iext(uri_xsd_minLength, _328106, _328104), 7800 ^ _50299 : [(7803 ^ _50299) ^ [] : [-(lv(_328104))], (7801 ^ _50299) ^ [] : [-(ir(_328106))]]], (7541 ^ _50299) ^ [_319856] : [icext(uri_xsd_float, _319856), icext(uri_owl_real, _319856)], (1235 ^ _50299) ^ [] : [-(ip(uri_owl_intersectionOf))], (7141 ^ _50299) ^ [] : [-(idc(uri_xsd_int))], (1275 ^ _50299) ^ [] : [-(ip(uri_owl_maxCardinality))], (7111 ^ _50299) ^ [_306597] : [icext(uri_xsd_double, _306597), -(lv(_306597))], (456 ^ _50299) ^ [_64429] : [ic(_64429), -(ir(_64429))], (1165 ^ _50299) ^ [_87002, _87004] : [iext(uri_owl_equivalentProperty, _87004, _87002), 1168 ^ _50299 : [(1171 ^ _50299) ^ [] : [-(ip(_87002))], (1169 ^ _50299) ^ [] : [-(ip(_87004))]]], (5804 ^ _50299) ^ [] : [-(tautology), tautology], (3834 ^ _50299) ^ [_185181, _185183, _185185] : [iext(uri_owl_maxQualifiedCardinality, _185185, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _185185, _185183), iext(uri_owl_onDataRange, _185185, _185181), 3845 ^ _50299 : [(3848 ^ _50299) ^ [_185634] : [icext(_185185, _185634), 3851 ^ _50299 : [(3852 ^ _50299) ^ [_185793] : [lv(_185793), iext(_185183, _185634, _185793), icext(_185181, _185793)]]], (3862 ^ _50299) ^ [_186086] : [3864 ^ _50299 : [(3869 ^ _50299) ^ [] : [-(icext(_185181, 3863 ^ [_185181, _185183, _185185, _186086]))], (3867 ^ _50299) ^ [] : [-(iext(_185183, _186086, 3863 ^ [_185181, _185183, _185185, _186086]))], (3865 ^ _50299) ^ [] : [-(lv(3863 ^ [_185181, _185183, _185185, _186086]))]], -(icext(_185185, _186086))], (3846 ^ _50299) ^ [] : [-(iodp(_185183))]]], (6592 ^ _50299) ^ [_286782] : [icext(uri_owl_IrreflexiveReflexiveProperty, _286782), 6595 ^ _50299 : [(6598 ^ _50299) ^ [_286964] : [iext(_286782, _286964, _286964)], (6596 ^ _50299) ^ [] : [-(ip(_286782))]]], (7213 ^ _50299) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (7469 ^ _50299) ^ [_317588] : [icext(uri_xsd_dateTime, _317588), icext(uri_xsd_float, _317588)], (5054 ^ _50299) ^ [_233339] : [-(iext(uri_owl_disjointUnionOf, _233339, uri_rdf_nil)), ic(_233339), -(icext(_233339, 5059 ^ [_233339]))], (6721 ^ _50299) ^ [_291291, _291293, _291295] : [iext(uri_rdf_first, _291293, _291291), iext(uri_rdf_rest, _291293, uri_rdf_nil), 6728 ^ _50299 : [(6729 ^ _50299) ^ [] : [iext(uri_owl_hasKey, _291295, _291293), 6732 ^ _50299 : [(6737 ^ _50299) ^ [_291851, _291853, _291855] : [-(_291855 = _291853), icext(_291295, _291855), icext(_291295, _291853), iext(_291291, _291855, _291851), iext(_291291, _291853, _291851)], (6735 ^ _50299) ^ [] : [-(ip(_291291))], (6733 ^ _50299) ^ [] : [-(ic(_291295))]]], (6755 ^ _50299) ^ [] : [-(iext(uri_owl_hasKey, _291295, _291293)), ic(_291295), ip(_291291), 6767 ^ _50299 : [(6768 ^ _50299) ^ [] : [-(icext(_291295, 6764 ^ [_291291, _291293, _291295]))], (6772 ^ _50299) ^ [] : [-(iext(_291291, 6764 ^ [_291291, _291293, _291295], 6766 ^ [_291291, _291293, _291295]))], (6776 ^ _50299) ^ [] : [6764 ^ [_291291, _291293, _291295] = 6765 ^ [_291291, _291293, _291295]], (6774 ^ _50299) ^ [] : [-(iext(_291291, 6765 ^ [_291291, _291293, _291295], 6766 ^ [_291291, _291293, _291295]))], (6770 ^ _50299) ^ [] : [-(icext(_291295, 6765 ^ [_291291, _291293, _291295]))]]]]], (180 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (440 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (1133 ^ _50299) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (7785 ^ _50299) ^ [] : [-(iodp(uri_xsd_minExclusive))], (4907 ^ _50299) ^ [_228254, _228256] : [iext(uri_rdfs_domain, _228256, _228254), 4910 ^ _50299 : [(4915 ^ _50299) ^ [_228553, _228555] : [iext(_228256, _228555, _228553), -(icext(_228254, _228555))], (4913 ^ _50299) ^ [] : [-(ic(_228254))], (4911 ^ _50299) ^ [] : [-(ip(_228256))]]], (50 ^ _50299) ^ [_51932, _51934] : [-(ic(_51932)), _51934 = _51932, ic(_51934)], (867 ^ _50299) ^ [_77360] : [icext(uri_owl_NegativePropertyAssertion, _77360), -(ir(_77360))], (218 ^ _50299) ^ [_57081, _57083] : [iext(uri_rdf_type, _57083, _57081), -(icext(_57081, _57083))], (907 ^ _50299) ^ [_78612] : [icext(uri_owl_OntologyProperty, _78612), -(ioxp(_78612))], (4221 ^ _50299) ^ [_200743, _200745, _200747] : [iext(uri_owl_maxQualifiedCardinality, _200747, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _200747, _200745), iext(uri_owl_onClass, _200747, _200743), 4232 ^ _50299 : [(4233 ^ _50299) ^ [_201165] : [icext(_200747, _201165), 4236 ^ _50299 : [(4237 ^ _50299) ^ [_201393, _201395, _201397] : [-(_201393 = _201397), -(_201393 = _201395), iext(_200745, _201165, _201397), icext(_200743, _201397), iext(_200745, _201165, _201395), icext(_200743, _201395), iext(_200745, _201165, _201393), icext(_200743, _201393)]]], (4267 ^ _50299) ^ [_202261] : [4271 ^ _50299 : [(4276 ^ _50299) ^ [] : [-(iext(_200745, _202261, 4269 ^ [_200743, _200745, _200747, _202261]))], (4282 ^ _50299) ^ [] : [-(icext(_200743, 4270 ^ [_200743, _200745, _200747, _202261]))], (4272 ^ _50299) ^ [] : [-(iext(_200745, _202261, 4268 ^ [_200743, _200745, _200747, _202261]))], (4284 ^ _50299) ^ [] : [4270 ^ [_200743, _200745, _200747, _202261] = 4268 ^ [_200743, _200745, _200747, _202261]], (4278 ^ _50299) ^ [] : [-(icext(_200743, 4269 ^ [_200743, _200745, _200747, _202261]))], (4280 ^ _50299) ^ [] : [-(iext(_200745, _202261, 4270 ^ [_200743, _200745, _200747, _202261]))], (4286 ^ _50299) ^ [] : [4270 ^ [_200743, _200745, _200747, _202261] = 4269 ^ [_200743, _200745, _200747, _202261]], (4274 ^ _50299) ^ [] : [-(icext(_200743, 4268 ^ [_200743, _200745, _200747, _202261]))]], -(icext(_200747, _202261))]]], (484 ^ _50299) ^ [_65323] : [idc(_65323), -(ic(_65323))], (7331 ^ _50299) ^ [_313241] : [icext(uri_xsd_anyURI, _313241), icext(uri_xsd_dateTime, _313241)], (190 ^ _50299) ^ [_56263] : [ip(_56263), -(iext(uri_rdf_type, _56263, uri_rdf_Property))], (1477 ^ _50299) ^ [_97500, _97502] : [-(iext(uri_owl_topDataProperty, _97502, _97500)), ir(_97502), lv(_97500)], (212 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (254 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (6559 ^ _50299) ^ [_285541] : [icext(uri_owl_InverseFunctionalProperty, _285541), 6562 ^ _50299 : [(6565 ^ _50299) ^ [_285788, _285790, _285792] : [-(_285792 = _285790), iext(_285541, _285792, _285788), iext(_285541, _285790, _285788)], (6563 ^ _50299) ^ [] : [-(ip(_285541))]]], (324 ^ _50299) ^ [_60198] : [icext(uri_rdfs_Resource, _60198), -(ir(_60198))], (168 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (7409 ^ _50299) ^ [_315698] : [icext(uri_xsd_base64Binary, _315698), icext(uri_owl_real, _315698)], (1267 ^ _50299) ^ [_90423, _90425] : [iext(uri_owl_maxCardinality, _90425, _90423), 1270 ^ _50299 : [(1273 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _90423))], (1271 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _90425))]]], (394 ^ _50299) ^ [_62421, _62423, _62425] : [-(iext(uri_rdfs_subClassOf, _62425, _62421)), iext(uri_rdfs_subClassOf, _62425, _62423), iext(uri_rdfs_subClassOf, _62423, _62421)], (7691 ^ _50299) ^ [_324598] : [icext(uri_xsd_string, _324598), -(icext(uri_rdf_PlainLiteral, _324598))], (214 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (4724 ^ _50299) ^ [_220924, _220926, _220928] : [iext(uri_owl_minQualifiedCardinality, _220928, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _220928, _220926), iext(uri_owl_onClass, _220928, _220924), 4735 ^ _50299 : [(4745 ^ _50299) ^ [_221646] : [-(icext(_220928, _221646)), 4746 ^ _50299 : [(4747 ^ _50299) ^ [_221749] : [iext(_220926, _221646, _221749), icext(_220924, _221749)]]], (4736 ^ _50299) ^ [_221298] : [icext(_220928, _221298), 4740 ^ _50299 : [(4743 ^ _50299) ^ [] : [-(icext(_220924, 4739 ^ [_220924, _220926, _220928, _221298]))], (4741 ^ _50299) ^ [] : [-(iext(_220926, _221298, 4739 ^ [_220924, _220926, _220928, _221298]))]]]]], (268 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (5920 ^ _50299) ^ [_262108, _262110, _262112, _262114, _262116, _262118] : [5965 ^ _50299 : [(5968 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_262108, _262110, _262112, _262114, _262116, _262118], _262118))], (5966 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))]], iext(uri_rdf_first, _262118, _262116), iext(uri_rdf_rest, _262118, _262114), iext(uri_rdf_first, _262114, _262112), iext(uri_rdf_rest, _262114, _262110), iext(uri_rdf_first, _262110, _262108), iext(uri_rdf_rest, _262110, uri_rdf_nil), 5948 ^ _50299 : [(5951 ^ _50299) ^ [] : [-(icext(_262112, 5947 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))], (5949 ^ _50299) ^ [] : [-(icext(_262116, 5947 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))]], 5955 ^ _50299 : [(5958 ^ _50299) ^ [] : [-(icext(_262108, 5954 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))], (5956 ^ _50299) ^ [] : [-(icext(_262116, 5954 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))]], 5960 ^ _50299 : [(5963 ^ _50299) ^ [] : [-(icext(_262108, 5959 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))], (5961 ^ _50299) ^ [] : [-(icext(_262112, 5959 ^ [_262108, _262110, _262112, _262114, _262116, _262118]))]]], (1859 ^ _50299) ^ [_110223, _110225, _110227] : [-(idc(_110227)), iext(uri_rdf_first, _110225, _110223), iext(uri_rdf_rest, _110225, uri_rdf_nil), idc(_110223), iext(uri_owl_intersectionOf, _110227, _110225)], (6705 ^ _50299) ^ [_290688] : [-(iext(uri_owl_hasKey, _290688, uri_rdf_nil)), ic(_290688), 6712 ^ _50299 : [(6717 ^ _50299) ^ [] : [6710 ^ [_290688] = 6711 ^ [_290688]], (6715 ^ _50299) ^ [] : [-(icext(_290688, 6711 ^ [_290688]))], (6713 ^ _50299) ^ [] : [-(icext(_290688, 6710 ^ [_290688]))]]], (7271 ^ _50299) ^ [_311417] : [icext(uri_xsd_token, _311417), -(lv(_311417))], (198 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (1325 ^ _50299) ^ [] : [-(ip(uri_owl_onClass))], (172 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (957 ^ _50299) ^ [_80102] : [icext(uri_owl_Restriction, _80102), -(ic(_80102))], (256 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (166 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (366 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (1307 ^ _50299) ^ [_91781, _91783] : [iext(uri_owl_minQualifiedCardinality, _91783, _91781), 1310 ^ _50299 : [(1313 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _91781))], (1311 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _91783))]]], (184 ^ _50299) ^ [_56107] : [iext(uri_rdf_type, _56107, uri_rdf_Property), -(ip(_56107))], (5597 ^ _50299) ^ [_251857, _251859, _251861, _251863, _251865, _251867] : [5633 ^ _50299 : [(5636 ^ _50299) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_251857, _251859, _251861, _251863, _251865, _251867], _251867))], (5634 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_251857, _251859, _251861, _251863, _251865, _251867]))]], iext(uri_rdf_first, _251867, _251865), iext(uri_rdf_rest, _251867, _251863), iext(uri_rdf_first, _251863, _251861), iext(uri_rdf_rest, _251863, _251859), iext(uri_rdf_first, _251859, _251857), iext(uri_rdf_rest, _251859, uri_rdf_nil), -(_251865 = _251861), -(_251865 = _251857), -(_251861 = _251857)], (1387 ^ _50299) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (258 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (985 ^ _50299) ^ [] : [-(ic(uri_owl_Thing))], (777 ^ _50299) ^ [_74665] : [icext(uri_rdfs_Datatype, _74665), -(idc(_74665))], (857 ^ _50299) ^ [] : [-(idc(uri_rdfs_Literal))], (979 ^ _50299) ^ [_80767] : [ir(_80767), -(icext(uri_owl_Thing, _80767))], (7529 ^ _50299) ^ [_319478] : [icext(uri_xsd_float, _319478), icext(uri_xsd_hexBinary, _319478)], (6672 ^ _50299) ^ [_289475] : [-(icext(uri_owl_TransitiveProperty, _289475)), ip(_289475), 6680 ^ _50299 : [(6685 ^ _50299) ^ [] : [iext(_289475, 6677 ^ [_289475], 6679 ^ [_289475])], (6683 ^ _50299) ^ [] : [-(iext(_289475, 6678 ^ [_289475], 6679 ^ [_289475]))], (6681 ^ _50299) ^ [] : [-(iext(_289475, 6677 ^ [_289475], 6678 ^ [_289475]))]]], (1143 ^ _50299) ^ [] : [-(ip(uri_owl_disjointWith))], (7279 ^ _50299) ^ [_311658] : [icext(uri_xsd_unsignedByte, _311658), -(lv(_311658))], (1957 ^ _50299) ^ [_113163] : [-(iext(uri_owl_unionOf, _113163, uri_rdf_nil)), ic(_113163), -(icext(_113163, 1962 ^ [_113163]))], (6162 ^ _50299) ^ [] : [-(tautology), tautology], (574 ^ _50299) ^ [_68329] : [ioxp(_68329), -(ip(_68329))], (7619 ^ _50299) ^ [_322318] : [icext(uri_xsd_language, _322318), -(icext(uri_xsd_token, _322318))], (1075 ^ _50299) ^ [_83972, _83974] : [iext(uri_rdfs_comment, _83974, _83972), 1078 ^ _50299 : [(1081 ^ _50299) ^ [] : [-(lv(_83972))], (1079 ^ _50299) ^ [] : [-(ir(_83974))]]], (344 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (7727 ^ _50299) ^ [_325752, _325754] : [iext(uri_rdf_langRange, _325754, _325752), 7730 ^ _50299 : [(7733 ^ _50299) ^ [] : [-(lv(_325752))], (7731 ^ _50299) ^ [] : [-(ir(_325754))]]], (5877 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (7747 ^ _50299) ^ [_326424, _326426] : [iext(uri_xsd_maxExclusive, _326426, _326424), 7750 ^ _50299 : [(7753 ^ _50299) ^ [] : [-(lv(_326424))], (7751 ^ _50299) ^ [] : [-(ir(_326426))]]], (7703 ^ _50299) ^ [_324978] : [icext(uri_xsd_unsignedByte, _324978), -(icext(uri_xsd_unsignedShort, _324978))], (580 ^ _50299) ^ [_68544] : [ioxp(_68544), -(iext(uri_rdf_type, _68544, uri_owl_OntologyProperty))], (845 ^ _50299) ^ [_76722] : [icext(uri_rdfs_Literal, _76722), -(lv(_76722))], (236 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (356 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (6063 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6080 ^ _50299) ^ [_267593, _267595, _267597, _267599] : [6104 ^ _50299 : [(6107 ^ _50299) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_267593, _267595, _267597, _267599], _267599))], (6105 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_267593, _267595, _267597, _267599]))]], iext(uri_rdf_first, _267599, _267597), iext(uri_rdf_rest, _267599, _267595), iext(uri_rdf_first, _267595, _267593), iext(uri_rdf_rest, _267595, uri_rdf_nil), 6099 ^ _50299 : [(6102 ^ _50299) ^ [] : [-(iext(_267593, 6097 ^ [_267593, _267595, _267597, _267599], 6098 ^ [_267593, _267595, _267597, _267599]))], (6100 ^ _50299) ^ [] : [-(iext(_267597, 6097 ^ [_267593, _267595, _267597, _267599], 6098 ^ [_267593, _267595, _267597, _267599]))]]], (7559 ^ _50299) ^ [_320423] : [icext(uri_xsd_hexBinary, _320423), icext(uri_owl_real, _320423)], (899 ^ _50299) ^ [_78340] : [ix(_78340), -(icext(uri_owl_Ontology, _78340))], (1877 ^ _50299) ^ [_110762, _110764, _110766, _110768, _110770] : [-(idc(_110770)), iext(uri_rdf_first, _110768, _110766), iext(uri_rdf_rest, _110768, _110764), iext(uri_rdf_first, _110764, _110762), iext(uri_rdf_rest, _110764, uri_rdf_nil), idc(_110766), idc(_110762), iext(uri_owl_intersectionOf, _110770, _110768)], (7317 ^ _50299) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7815 ^ _50299) ^ [] : [-(iodp(uri_xsd_pattern))], (202 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (7151 ^ _50299) ^ [_307802] : [icext(uri_xsd_language, _307802), -(lv(_307802))], (6476 ^ _50299) ^ [_282527, _282529] : [-(iext(uri_owl_inverseOf, _282529, _282527)), ip(_282529), ip(_282527), 6489 ^ _50299 : [(6492 ^ _50299) ^ [] : [iext(_282527, 6486 ^ [_282527, _282529], 6485 ^ [_282527, _282529])], (6490 ^ _50299) ^ [] : [-(iext(_282529, 6485 ^ [_282527, _282529], 6486 ^ [_282527, _282529]))]], 6493 ^ _50299 : [(6496 ^ _50299) ^ [] : [iext(_282529, 6485 ^ [_282527, _282529], 6486 ^ [_282527, _282529])], (6494 ^ _50299) ^ [] : [-(iext(_282527, 6486 ^ [_282527, _282529], 6485 ^ [_282527, _282529]))]]], (4755 ^ _50299) ^ [_222066, _222068, _222070] : [iext(uri_owl_minQualifiedCardinality, _222070, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _222070, _222068), iext(uri_owl_onClass, _222070, _222066), 4766 ^ _50299 : [(4783 ^ _50299) ^ [_223240] : [-(icext(_222070, _223240)), 4784 ^ _50299 : [(4785 ^ _50299) ^ [_223383, _223385] : [iext(_222068, _223240, _223385), icext(_222066, _223385), iext(_222068, _223240, _223383), icext(_222066, _223383), -(_223385 = _223383)]]], (4767 ^ _50299) ^ [_222466] : [icext(_222070, _222466), 4772 ^ _50299 : [(4773 ^ _50299) ^ [] : [-(iext(_222068, _222466, 4770 ^ [_222066, _222068, _222070, _222466]))], (4777 ^ _50299) ^ [] : [-(iext(_222068, _222466, 4771 ^ [_222066, _222068, _222070, _222466]))], (4781 ^ _50299) ^ [] : [4770 ^ [_222066, _222068, _222070, _222466] = 4771 ^ [_222066, _222068, _222070, _222466]], (4779 ^ _50299) ^ [] : [-(icext(_222066, 4771 ^ [_222066, _222068, _222070, _222466]))], (4775 ^ _50299) ^ [] : [-(icext(_222066, 4770 ^ [_222066, _222068, _222070, _222466]))]]]]], (152 ^ _50299) ^ [_55136, _55138, _55140] : [iext(_55138, _55140, _55136), -(ip(_55138))], (3386 ^ _50299) ^ [_166450, _166452, _166454] : [iext(uri_owl_qualifiedCardinality, _166454, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _166454, _166452), iext(uri_owl_onClass, _166454, _166450), 3397 ^ _50299 : [(3398 ^ _50299) ^ [_166916] : [icext(_166454, _166916), 3403 ^ _50299 : [(3406 ^ _50299) ^ [] : [-(icext(_166450, 3401 ^ [_166450, _166452, _166454, _166916]))], (3404 ^ _50299) ^ [] : [-(iext(_166452, _166916, 3401 ^ [_166450, _166452, _166454, _166916]))], (3414 ^ _50299) ^ [_167813, _167815, _167817] : [-(_167813 = _167817), -(_167813 = _167815), iext(_166452, _166916, _167817), icext(_166450, _167817), iext(_166452, _166916, _167815), icext(_166450, _167815), iext(_166452, _166916, _167813), icext(_166450, _167813)], (3410 ^ _50299) ^ [] : [-(icext(_166450, 3402 ^ [_166450, _166452, _166454, _166916]))], (3412 ^ _50299) ^ [] : [3401 ^ [_166450, _166452, _166454, _166916] = 3402 ^ [_166450, _166452, _166454, _166916]], (3408 ^ _50299) ^ [] : [-(iext(_166452, _166916, 3402 ^ [_166450, _166452, _166454, _166916]))]]], (3444 ^ _50299) ^ [_168691] : [-(icext(_166454, _168691)), 3468 ^ _50299 : [(3473 ^ _50299) ^ [] : [-(iext(_166452, _168691, 3466 ^ [_166450, _166452, _166454, _168691]))], (3479 ^ _50299) ^ [] : [-(icext(_166450, 3467 ^ [_166450, _166452, _166454, _168691]))], (3469 ^ _50299) ^ [] : [-(iext(_166452, _168691, 3465 ^ [_166450, _166452, _166454, _168691]))], (3481 ^ _50299) ^ [] : [3467 ^ [_166450, _166452, _166454, _168691] = 3465 ^ [_166450, _166452, _166454, _168691]], (3475 ^ _50299) ^ [] : [-(icext(_166450, 3466 ^ [_166450, _166452, _166454, _168691]))], (3477 ^ _50299) ^ [] : [-(iext(_166452, _168691, 3467 ^ [_166450, _166452, _166454, _168691]))], (3483 ^ _50299) ^ [] : [3467 ^ [_166450, _166452, _166454, _168691] = 3466 ^ [_166450, _166452, _166454, _168691]], (3471 ^ _50299) ^ [] : [-(icext(_166450, 3465 ^ [_166450, _166452, _166454, _168691]))]], 3447 ^ _50299 : [(3448 ^ _50299) ^ [_168938, _168940] : [iext(_166452, _168691, _168940), icext(_166450, _168940), iext(_166452, _168691, _168938), icext(_166450, _168938), -(_168940 = _168938)]]]]], (216 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (5650 ^ _50299) ^ [_253420, _253422, _253424, _253426, _253428] : [_253424 = _253420, iext(uri_rdf_first, _253426, _253424), iext(uri_rdf_rest, _253426, _253422), iext(uri_rdf_first, _253422, _253420), iext(uri_rdf_rest, _253422, uri_rdf_nil), icext(uri_owl_AllDifferent, _253428), iext(uri_owl_distinctMembers, _253428, _253426)], (2749 ^ _50299) ^ [_140181, _140183] : [iext(uri_owl_cardinality, _140183, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _140183, _140181), 2756 ^ _50299 : [(2802 ^ _50299) ^ [_142489] : [-(icext(_140183, _142489)), 2831 ^ _50299 : [(2836 ^ _50299) ^ [] : [-(iext(_140181, _142489, 2829 ^ [_140181, _140183, _142489]))], (2842 ^ _50299) ^ [] : [2830 ^ [_140181, _140183, _142489] = 2828 ^ [_140181, _140183, _142489]], (2844 ^ _50299) ^ [] : [2830 ^ [_140181, _140183, _142489] = 2829 ^ [_140181, _140183, _142489]], (2838 ^ _50299) ^ [] : [-(iext(_140181, _142489, 2830 ^ [_140181, _140183, _142489]))], (2832 ^ _50299) ^ [] : [-(iext(_140181, _142489, 2827 ^ [_140181, _140183, _142489]))], (2834 ^ _50299) ^ [] : [-(iext(_140181, _142489, 2828 ^ [_140181, _140183, _142489]))], (2840 ^ _50299) ^ [] : [2830 ^ [_140181, _140183, _142489] = 2827 ^ [_140181, _140183, _142489]]], 2805 ^ _50299 : [(2806 ^ _50299) ^ [_142760, _142762, _142764] : [iext(_140181, _142489, _142764), iext(_140181, _142489, _142762), iext(_140181, _142489, _142760), -(_142764 = _142762), -(_142764 = _142760), -(_142762 = _142760)]]], (2757 ^ _50299) ^ [_140560] : [icext(_140183, _140560), 2763 ^ _50299 : [(2768 ^ _50299) ^ [] : [-(iext(_140181, _140560, 2762 ^ [_140181, _140183, _140560]))], (2774 ^ _50299) ^ [] : [2761 ^ [_140181, _140183, _140560] = 2762 ^ [_140181, _140183, _140560]], (2776 ^ _50299) ^ [_141715, _141717, _141719, _141721] : [-(_141715 = _141721), -(_141715 = _141719), -(_141715 = _141717), iext(_140181, _140560, _141721), iext(_140181, _140560, _141719), iext(_140181, _140560, _141717), iext(_140181, _140560, _141715)], (2770 ^ _50299) ^ [] : [2760 ^ [_140181, _140183, _140560] = 2761 ^ [_140181, _140183, _140560]], (2764 ^ _50299) ^ [] : [-(iext(_140181, _140560, 2760 ^ [_140181, _140183, _140560]))], (2766 ^ _50299) ^ [] : [-(iext(_140181, _140560, 2761 ^ [_140181, _140183, _140560]))], (2772 ^ _50299) ^ [] : [2760 ^ [_140181, _140183, _140560] = 2762 ^ [_140181, _140183, _140560]]]]]], (905 ^ _50299) ^ [] : [-(ic(uri_owl_Ontology))], (763 ^ _50299) ^ [_74239] : [icext(uri_owl_DataRange, _74239), -(idc(_74239))], (2019 ^ _50299) ^ [_115162, _115164, _115166, _115168, _115170] : [iext(uri_rdf_first, _115168, _115166), iext(uri_rdf_rest, _115168, _115164), iext(uri_rdf_first, _115164, _115162), iext(uri_rdf_rest, _115164, uri_rdf_nil), 2034 ^ _50299 : [(2063 ^ _50299) ^ [] : [-(iext(uri_owl_unionOf, _115170, _115168)), ic(_115170), ic(_115166), ic(_115162), 2079 ^ _50299 : [(2084 ^ _50299) ^ [] : [icext(_115162, 2076 ^ [_115162, _115164, _115166, _115168, _115170])], (2082 ^ _50299) ^ [] : [icext(_115166, 2076 ^ [_115162, _115164, _115166, _115168, _115170])], (2080 ^ _50299) ^ [] : [-(icext(_115170, 2076 ^ [_115162, _115164, _115166, _115168, _115170]))]], 2085 ^ _50299 : [(2086 ^ _50299) ^ [] : [-(icext(_115166, 2076 ^ [_115162, _115164, _115166, _115168, _115170])), -(icext(_115162, 2076 ^ [_115162, _115164, _115166, _115168, _115170]))], (2092 ^ _50299) ^ [] : [icext(_115170, 2076 ^ [_115162, _115164, _115166, _115168, _115170])]]], (2035 ^ _50299) ^ [] : [iext(uri_owl_unionOf, _115170, _115168), 2038 ^ _50299 : [(2039 ^ _50299) ^ [] : [-(ic(_115170))], (2043 ^ _50299) ^ [] : [-(ic(_115162))], (2045 ^ _50299) ^ [_116013] : [icext(_115170, _116013), -(icext(_115166, _116013)), -(icext(_115162, _116013))], (2055 ^ _50299) ^ [_116315] : [2056 ^ _50299 : [(2059 ^ _50299) ^ [] : [icext(_115162, _116315)], (2057 ^ _50299) ^ [] : [icext(_115166, _116315)]], -(icext(_115170, _116315))], (2041 ^ _50299) ^ [] : [-(ic(_115166))]]]]], (3727 ^ _50299) ^ [_180604, _180606] : [iext(uri_owl_maxCardinality, _180606, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _180606, _180604), 3734 ^ _50299 : [(3735 ^ _50299) ^ [_180905] : [icext(_180606, _180905), 3738 ^ _50299 : [(3739 ^ _50299) ^ [_181109, _181111, _181113] : [-(_181109 = _181113), -(_181109 = _181111), iext(_180604, _180905, _181113), iext(_180604, _180905, _181111), iext(_180604, _180905, _181109)]]], (3757 ^ _50299) ^ [_181630] : [3761 ^ _50299 : [(3762 ^ _50299) ^ [] : [-(iext(_180604, _181630, 3758 ^ [_180604, _180606, _181630]))], (3766 ^ _50299) ^ [] : [-(iext(_180604, _181630, 3760 ^ [_180604, _180606, _181630]))], (3770 ^ _50299) ^ [] : [3760 ^ [_180604, _180606, _181630] = 3759 ^ [_180604, _180606, _181630]], (3768 ^ _50299) ^ [] : [3760 ^ [_180604, _180606, _181630] = 3758 ^ [_180604, _180606, _181630]], (3764 ^ _50299) ^ [] : [-(iext(_180604, _181630, 3759 ^ [_180604, _180606, _181630]))]], -(icext(_180606, _181630))]]], (3292 ^ _50299) ^ [_162819, _162821, _162823] : [iext(uri_owl_qualifiedCardinality, _162823, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _162823, _162821), iext(uri_owl_onClass, _162823, _162819), 3303 ^ _50299 : [(3304 ^ _50299) ^ [_163195] : [icext(_162823, _163195), 3307 ^ _50299 : [(3308 ^ _50299) ^ [_163349] : [iext(_162821, _163195, _163349), icext(_162819, _163349)]]], (3314 ^ _50299) ^ [_163543] : [3316 ^ _50299 : [(3319 ^ _50299) ^ [] : [-(icext(_162819, 3315 ^ [_162819, _162821, _162823, _163543]))], (3317 ^ _50299) ^ [] : [-(iext(_162821, _163543, 3315 ^ [_162819, _162821, _162823, _163543]))]], -(icext(_162823, _163543))]]], (1407 ^ _50299) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (5016 ^ _50299) ^ [_232032, _232034] : [-(iext(uri_rdfs_subPropertyOf, _232034, _232032)), ip(_232034), ip(_232032), 5027 ^ _50299 : [(5030 ^ _50299) ^ [] : [iext(_232032, 5025 ^ [_232032, _232034], 5026 ^ [_232032, _232034])], (5028 ^ _50299) ^ [] : [-(iext(_232034, 5025 ^ [_232032, _232034], 5026 ^ [_232032, _232034]))]]], (1125 ^ _50299) ^ [_85652, _85654] : [iext(uri_owl_disjointUnionOf, _85654, _85652), 1128 ^ _50299 : [(1131 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _85652))], (1129 ^ _50299) ^ [] : [-(ic(_85654))]]], (3103 ^ _50299) ^ [_154616, _154618, _154620] : [iext(uri_owl_qualifiedCardinality, _154620, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _154620, _154618), iext(uri_owl_onDataRange, _154620, _154616), 3114 ^ _50299 : [(3117 ^ _50299) ^ [_155247] : [icext(_154620, _155247), 3123 ^ _50299 : [(3134 ^ _50299) ^ [] : [-(icext(_154616, 3121 ^ [_154616, _154618, _154620, _155247]))], (3126 ^ _50299) ^ [] : [-(iext(_154618, _155247, 3120 ^ [_154616, _154618, _154620, _155247]))], (3148 ^ _50299) ^ [_157205, _157207, _157209, _157211] : [-(_157205 = _157211), -(_157205 = _157209), -(_157205 = _157207), lv(_157211), iext(_154618, _155247, _157211), icext(_154616, _157211), lv(_157209), iext(_154618, _155247, _157209), icext(_154616, _157209), lv(_157207), iext(_154618, _155247, _157207), icext(_154616, _157207), lv(_157205), iext(_154618, _155247, _157205), icext(_154616, _157205)], (3142 ^ _50299) ^ [] : [3120 ^ [_154616, _154618, _154620, _155247] = 3121 ^ [_154616, _154618, _154620, _155247]], (3132 ^ _50299) ^ [] : [-(iext(_154618, _155247, 3121 ^ [_154616, _154618, _154620, _155247]))], (3128 ^ _50299) ^ [] : [-(icext(_154616, 3120 ^ [_154616, _154618, _154620, _155247]))], (3138 ^ _50299) ^ [] : [-(iext(_154618, _155247, 3122 ^ [_154616, _154618, _154620, _155247]))], (3146 ^ _50299) ^ [] : [3121 ^ [_154616, _154618, _154620, _155247] = 3122 ^ [_154616, _154618, _154620, _155247]], (3136 ^ _50299) ^ [] : [-(lv(3122 ^ [_154616, _154618, _154620, _155247]))], (3144 ^ _50299) ^ [] : [3120 ^ [_154616, _154618, _154620, _155247] = 3122 ^ [_154616, _154618, _154620, _155247]], (3140 ^ _50299) ^ [] : [-(icext(_154616, 3122 ^ [_154616, _154618, _154620, _155247]))], (3130 ^ _50299) ^ [] : [-(lv(3121 ^ [_154616, _154618, _154620, _155247]))], (3124 ^ _50299) ^ [] : [-(lv(3120 ^ [_154616, _154618, _154620, _155247]))]]], (3206 ^ _50299) ^ [_158915] : [-(icext(_154620, _158915)), 3259 ^ _50299 : [(3264 ^ _50299) ^ [] : [-(icext(_154616, 3255 ^ [_154616, _154618, _154620, _158915]))], (3260 ^ _50299) ^ [] : [-(lv(3255 ^ [_154616, _154618, _154620, _158915]))], (3286 ^ _50299) ^ [] : [3258 ^ [_154616, _154618, _154620, _158915] = 3256 ^ [_154616, _154618, _154620, _158915]], (3274 ^ _50299) ^ [] : [-(iext(_154618, _158915, 3257 ^ [_154616, _154618, _154620, _158915]))], (3268 ^ _50299) ^ [] : [-(iext(_154618, _158915, 3256 ^ [_154616, _154618, _154620, _158915]))], (3288 ^ _50299) ^ [] : [3258 ^ [_154616, _154618, _154620, _158915] = 3257 ^ [_154616, _154618, _154620, _158915]], (3278 ^ _50299) ^ [] : [-(lv(3258 ^ [_154616, _154618, _154620, _158915]))], (3280 ^ _50299) ^ [] : [-(iext(_154618, _158915, 3258 ^ [_154616, _154618, _154620, _158915]))], (3272 ^ _50299) ^ [] : [-(lv(3257 ^ [_154616, _154618, _154620, _158915]))], (3282 ^ _50299) ^ [] : [-(icext(_154616, 3258 ^ [_154616, _154618, _154620, _158915]))], (3262 ^ _50299) ^ [] : [-(iext(_154618, _158915, 3255 ^ [_154616, _154618, _154620, _158915]))], (3270 ^ _50299) ^ [] : [-(icext(_154616, 3256 ^ [_154616, _154618, _154620, _158915]))], (3284 ^ _50299) ^ [] : [3258 ^ [_154616, _154618, _154620, _158915] = 3255 ^ [_154616, _154618, _154620, _158915]], (3276 ^ _50299) ^ [] : [-(icext(_154616, 3257 ^ [_154616, _154618, _154620, _158915]))], (3266 ^ _50299) ^ [] : [-(lv(3256 ^ [_154616, _154618, _154620, _158915]))]], 3209 ^ _50299 : [(3210 ^ _50299) ^ [_159269, _159271, _159273] : [lv(_159273), iext(_154618, _158915, _159273), icext(_154616, _159273), lv(_159271), iext(_154618, _158915, _159271), icext(_154616, _159271), lv(_159269), iext(_154618, _158915, _159269), icext(_154616, _159269), -(_159273 = _159271), -(_159273 = _159269), -(_159271 = _159269)]]], (3115 ^ _50299) ^ [] : [-(iodp(_154618))]]], (7553 ^ _50299) ^ [_320234] : [icext(uri_xsd_hexBinary, _320234), icext(uri_rdf_PlainLiteral, _320234)], (949 ^ _50299) ^ [_79859] : [ir(_79859), -(icext(uri_rdfs_Resource, _79859))], (104 ^ _50299) ^ [_53556, _53558] : [-(lv(_53556)), _53558 = _53556, lv(_53558)], (6273 ^ _50299) ^ [_274778, _274780, _274782] : [iext(uri_rdf_first, _274780, _274778), iext(uri_rdf_rest, _274780, uri_rdf_nil), 6280 ^ _50299 : [(6295 ^ _50299) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _274782, _274780)), ip(_274782), ip(_274778), 6306 ^ _50299 : [(6309 ^ _50299) ^ [] : [iext(_274782, 6304 ^ [_274778, _274780, _274782], 6305 ^ [_274778, _274780, _274782])], (6307 ^ _50299) ^ [] : [-(iext(_274778, 6304 ^ [_274778, _274780, _274782], 6305 ^ [_274778, _274780, _274782]))]]], (6281 ^ _50299) ^ [] : [iext(uri_owl_propertyChainAxiom, _274782, _274780), 6284 ^ _50299 : [(6289 ^ _50299) ^ [_275301, _275303] : [iext(_274778, _275303, _275301), -(iext(_274782, _275303, _275301))], (6287 ^ _50299) ^ [] : [-(ip(_274778))], (6285 ^ _50299) ^ [] : [-(ip(_274782))]]]]], (7295 ^ _50299) ^ [_312140] : [icext(uri_xsd_unsignedLong, _312140), -(lv(_312140))], (1175 ^ _50299) ^ [_87338, _87340] : [iext(uri_owl_hasKey, _87340, _87338), 1178 ^ _50299 : [(1181 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _87338))], (1179 ^ _50299) ^ [] : [-(ic(_87340))]]], (182 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (875 ^ _50299) ^ [_77585] : [icext(uri_owl_Nothing, _77585)], (364 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (586 ^ _50299) ^ [_68700] : [iext(uri_rdf_type, _68700, uri_owl_OntologyProperty), -(ioxp(_68700))], (1355 ^ _50299) ^ [] : [-(ip(uri_owl_oneOf))], (7679 ^ _50299) ^ [_324218] : [icext(uri_owl_rational, _324218), -(icext(uri_owl_real, _324218))], (7199 ^ _50299) ^ [_309248] : [icext(uri_xsd_nonNegativeInteger, _309248), -(lv(_309248))], (7463 ^ _50299) ^ [_317399] : [icext(uri_xsd_dateTime, _317399), icext(uri_xsd_double, _317399)], (6262 ^ _50299) ^ [_274414] : [-(iext(uri_owl_propertyChainAxiom, _274414, uri_rdf_nil)), ip(_274414), iext(_274414, 6267 ^ [_274414], 6267 ^ [_274414])], (7577 ^ _50299) ^ [_320990] : [icext(uri_rdf_PlainLiteral, _320990), icext(uri_rdf_XMLLiteral, _320990)], (1247 ^ _50299) ^ [_89751, _89753] : [iext(uri_rdfs_isDefinedBy, _89753, _89751), 1250 ^ _50299 : [(1253 ^ _50299) ^ [] : [-(ir(_89751))], (1251 ^ _50299) ^ [] : [-(ir(_89753))]]], (1469 ^ _50299) ^ [_97265, _97267] : [iext(uri_owl_topDataProperty, _97267, _97265), 1472 ^ _50299 : [(1475 ^ _50299) ^ [] : [-(lv(_97265))], (1473 ^ _50299) ^ [] : [-(ir(_97267))]]], (362 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (4551 ^ _50299) ^ [_214083, _214085, _214087] : [iext(uri_owl_minQualifiedCardinality, _214087, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _214087, _214085), iext(uri_owl_onDataRange, _214087, _214083), 4562 ^ _50299 : [(4585 ^ _50299) ^ [_215544] : [-(icext(_214087, _215544)), 4586 ^ _50299 : [(4587 ^ _50299) ^ [_215697, _215699] : [lv(_215699), iext(_214085, _215544, _215699), icext(_214083, _215699), lv(_215697), iext(_214085, _215544, _215697), icext(_214083, _215697), -(_215699 = _215697)]]], (4565 ^ _50299) ^ [_214565] : [icext(_214087, _214565), 4570 ^ _50299 : [(4575 ^ _50299) ^ [] : [-(icext(_214083, 4568 ^ [_214083, _214085, _214087, _214565]))], (4581 ^ _50299) ^ [] : [-(icext(_214083, 4569 ^ [_214083, _214085, _214087, _214565]))], (4583 ^ _50299) ^ [] : [4568 ^ [_214083, _214085, _214087, _214565] = 4569 ^ [_214083, _214085, _214087, _214565]], (4577 ^ _50299) ^ [] : [-(lv(4569 ^ [_214083, _214085, _214087, _214565]))], (4571 ^ _50299) ^ [] : [-(lv(4568 ^ [_214083, _214085, _214087, _214565]))], (4573 ^ _50299) ^ [] : [-(iext(_214085, _214565, 4568 ^ [_214083, _214085, _214087, _214565]))], (4579 ^ _50299) ^ [] : [-(iext(_214085, _214565, 4569 ^ [_214083, _214085, _214087, _214565]))]]], (4563 ^ _50299) ^ [] : [-(iodp(_214085))]]], (174 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (7631 ^ _50299) ^ [_322698] : [icext(uri_xsd_Name, _322698), -(icext(uri_xsd_token, _322698))], (158 ^ _50299) ^ [_55323] : [-(ir(_55323))], (5717 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (7269 ^ _50299) ^ [] : [-(idc(uri_xsd_string))], (711 ^ _50299) ^ [_72633] : [ioap(_72633), -(icext(uri_owl_AnnotationProperty, _72633))], (2521 ^ _50299) ^ [_131828, _131830, _131832, _131834, _131836] : [-(idc(_131836)), iext(uri_rdf_first, _131834, _131832), iext(uri_rdf_rest, _131834, _131830), iext(uri_rdf_first, _131830, _131828), iext(uri_rdf_rest, _131830, uri_rdf_nil), lv(_131832), lv(_131828), iext(uri_owl_oneOf, _131836, _131834)], (6979 ^ _50299) ^ [_302429, _302431, _302433] : [6995 ^ _50299 : [(7000 ^ _50299) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_302429, _302431, _302433], _302429))], (6998 ^ _50299) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_302429, _302431, _302433], _302433))], (6996 ^ _50299) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_302429, _302431, _302433], _302431))]], ir(_302431), iodp(_302433), lv(_302429), -(iext(_302433, _302431, _302429))], (4443 ^ _50299) ^ [_209898, _209900] : [iext(uri_owl_minCardinality, _209900, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _209900, _209898), 4450 ^ _50299 : [(4470 ^ _50299) ^ [_211229] : [-(icext(_209900, _211229)), 4471 ^ _50299 : [(4472 ^ _50299) ^ [_211398, _211400, _211402] : [iext(_209898, _211229, _211402), iext(_209898, _211229, _211400), iext(_209898, _211229, _211398), -(_211402 = _211400), -(_211402 = _211398), -(_211400 = _211398)]]], (4451 ^ _50299) ^ [_210211] : [icext(_209900, _210211), 4457 ^ _50299 : [(4460 ^ _50299) ^ [] : [-(iext(_209898, _210211, 4455 ^ [_209898, _209900, _210211]))], (4458 ^ _50299) ^ [] : [-(iext(_209898, _210211, 4454 ^ [_209898, _209900, _210211]))], (4468 ^ _50299) ^ [] : [4455 ^ [_209898, _209900, _210211] = 4456 ^ [_209898, _209900, _210211]], (4464 ^ _50299) ^ [] : [4454 ^ [_209898, _209900, _210211] = 4455 ^ [_209898, _209900, _210211]], (4466 ^ _50299) ^ [] : [4454 ^ [_209898, _209900, _210211] = 4456 ^ [_209898, _209900, _210211]], (4462 ^ _50299) ^ [] : [-(iext(_209898, _210211, 4456 ^ [_209898, _209900, _210211]))]]]]], (1237 ^ _50299) ^ [_89415, _89417] : [iext(uri_owl_inverseOf, _89417, _89415), 1240 ^ _50299 : [(1243 ^ _50299) ^ [] : [-(ip(_89415))], (1241 ^ _50299) ^ [] : [-(ip(_89417))]]], (532 ^ _50299) ^ [_66888] : [iodp(_66888), 535 ^ _50299 : [(536 ^ _50299) ^ [_67043, _67045] : [iext(_66888, _67045, _67043), 539 ^ _50299 : [(542 ^ _50299) ^ [] : [-(lv(_67043))], (540 ^ _50299) ^ [] : [-(ir(_67045))]]]]], (248 ^ _50299) ^ [_57953] : [icext(uri_rdfs_ContainerMembershipProperty, _57953), -(iext(uri_rdfs_subPropertyOf, _57953, uri_rdfs_member))], (4290 ^ _50299) ^ [_203609, _203611, _203613] : [iext(uri_owl_maxQualifiedCardinality, _203613, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _203613, _203611), iext(uri_owl_onClass, _203613, _203609), 4301 ^ _50299 : [(4302 ^ _50299) ^ [_204055] : [icext(_203613, _204055), 4305 ^ _50299 : [(4306 ^ _50299) ^ [_204321, _204323, _204325, _204327] : [-(_204321 = _204327), -(_204321 = _204325), -(_204321 = _204323), iext(_203611, _204055, _204327), icext(_203609, _204327), iext(_203611, _204055, _204325), icext(_203609, _204325), iext(_203611, _204055, _204323), icext(_203609, _204323), iext(_203611, _204055, _204321), icext(_203609, _204321)]]], (4348 ^ _50299) ^ [_205563] : [4353 ^ _50299 : [(4364 ^ _50299) ^ [] : [-(icext(_203609, 4351 ^ [_203609, _203611, _203613, _205563]))], (4372 ^ _50299) ^ [] : [4352 ^ [_203609, _203611, _203613, _205563] = 4350 ^ [_203609, _203611, _203613, _205563]], (4362 ^ _50299) ^ [] : [-(iext(_203611, _205563, 4351 ^ [_203609, _203611, _203613, _205563]))], (4366 ^ _50299) ^ [] : [-(iext(_203611, _205563, 4352 ^ [_203609, _203611, _203613, _205563]))], (4354 ^ _50299) ^ [] : [-(iext(_203611, _205563, 4349 ^ [_203609, _203611, _203613, _205563]))], (4356 ^ _50299) ^ [] : [-(icext(_203609, 4349 ^ [_203609, _203611, _203613, _205563]))], (4358 ^ _50299) ^ [] : [-(iext(_203611, _205563, 4350 ^ [_203609, _203611, _203613, _205563]))], (4360 ^ _50299) ^ [] : [-(icext(_203609, 4350 ^ [_203609, _203611, _203613, _205563]))], (4368 ^ _50299) ^ [] : [-(icext(_203609, 4352 ^ [_203609, _203611, _203613, _205563]))], (4370 ^ _50299) ^ [] : [4352 ^ [_203609, _203611, _203613, _205563] = 4349 ^ [_203609, _203611, _203613, _205563]], (4374 ^ _50299) ^ [] : [4352 ^ [_203609, _203611, _203613, _205563] = 4351 ^ [_203609, _203611, _203613, _205563]]], -(icext(_203613, _205563))]]], (2217 ^ _50299) ^ [_121823, _121825, _121827, _121829, _121831] : [-(idc(_121831)), iext(uri_rdf_first, _121829, _121827), iext(uri_rdf_rest, _121829, _121825), iext(uri_rdf_first, _121825, _121823), iext(uri_rdf_rest, _121825, uri_rdf_nil), idc(_121827), idc(_121823), iext(uri_owl_unionOf, _121831, _121829)], (637 ^ _50299) ^ [_70360] : [ix(_70360), -(ir(_70360))], (941 ^ _50299) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (6542 ^ _50299) ^ [_284831] : [-(icext(uri_owl_FunctionalProperty, _284831)), ip(_284831), 6550 ^ _50299 : [(6555 ^ _50299) ^ [] : [6548 ^ [_284831] = 6549 ^ [_284831]], (6553 ^ _50299) ^ [] : [-(iext(_284831, 6547 ^ [_284831], 6549 ^ [_284831]))], (6551 ^ _50299) ^ [] : [-(iext(_284831, 6547 ^ [_284831], 6548 ^ [_284831]))]]], (10 ^ _50299) ^ [_50734, _50736, _50738] : [-(_50738 = _50734), _50738 = _50736, _50736 = _50734], (6174 ^ _50299) ^ [_271293, _271295, _271297, _271299, _271301] : [6197 ^ _50299 : [(6198 ^ _50299) ^ [_271980, _271982] : [iext(_271297, _271982, _271980), iext(_271293, _271982, _271980)]], iext(uri_rdf_first, _271299, _271297), iext(uri_rdf_rest, _271299, _271295), iext(uri_rdf_first, _271295, _271293), iext(uri_rdf_rest, _271295, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _271301), iext(uri_owl_members, _271301, _271299)], (1529 ^ _50299) ^ [_99142, _99144] : [iext(uri_owl_versionIRI, _99144, _99142), 1532 ^ _50299 : [(1535 ^ _50299) ^ [] : [-(ix(_99142))], (1533 ^ _50299) ^ [] : [-(ix(_99144))]]], (142 ^ _50299) ^ [_54769, _54771, _54773, _54775] : [-(literal_typed(_54775, _54771) = literal_typed(_54773, _54769)), _54775 = _54773, _54771 = _54769], (1155 ^ _50299) ^ [_86666, _86668] : [iext(uri_owl_equivalentClass, _86668, _86666), 1158 ^ _50299 : [(1161 ^ _50299) ^ [] : [-(ic(_86666))], (1159 ^ _50299) ^ [] : [-(ic(_86668))]]], (474 ^ _50299) ^ [_64992] : [idc(_64992), 477 ^ _50299 : [(478 ^ _50299) ^ [_65122] : [icext(_64992, _65122), -(lv(_65122))]]], (3672 ^ _50299) ^ [_178508, _178510] : [iext(uri_owl_maxCardinality, _178510, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _178510, _178508), 3679 ^ _50299 : [(3686 ^ _50299) ^ [_178972] : [-(iext(_178508, _178972, 3687 ^ [_178508, _178510, _178972])), -(icext(_178510, _178972))], (3680 ^ _50299) ^ [_178775] : [icext(_178510, _178775), 3683 ^ _50299 : [(3684 ^ _50299) ^ [_178901] : [iext(_178508, _178775, _178901)]]]]], (797 ^ _50299) ^ [_75245] : [iodp(_75245), -(icext(uri_owl_DatatypeProperty, _75245))], (280 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (7737 ^ _50299) ^ [_326088, _326090] : [iext(uri_xsd_length, _326090, _326088), 7740 ^ _50299 : [(7743 ^ _50299) ^ [] : [-(lv(_326088))], (7741 ^ _50299) ^ [] : [-(ir(_326090))]]], (420 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (1059 ^ _50299) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (7117 ^ _50299) ^ [] : [-(idc(uri_xsd_double))], (446 ^ _50299) ^ [_64098] : [ic(_64098), 449 ^ _50299 : [(450 ^ _50299) ^ [_64228] : [icext(_64098, _64228), -(ir(_64228))]]], (272 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (1277 ^ _50299) ^ [_90763, _90765] : [iext(uri_owl_maxQualifiedCardinality, _90765, _90763), 1280 ^ _50299 : [(1283 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _90763))], (1281 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _90765))]]], (6204 ^ _50299) ^ [_272308, _272310, _272312, _272314, _272316, _272318, _272320] : [iext(uri_rdf_first, _272318, _272316), iext(uri_rdf_rest, _272318, _272314), iext(uri_rdf_first, _272314, _272312), iext(uri_rdf_rest, _272314, _272310), iext(uri_rdf_first, _272310, _272308), iext(uri_rdf_rest, _272310, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _272320), iext(uri_owl_members, _272320, _272318), 6235 ^ _50299 : [(6248 ^ _50299) ^ [_273855, _273857] : [iext(_272312, _273857, _273855), iext(_272308, _273857, _273855)], (6242 ^ _50299) ^ [_273606, _273608] : [iext(_272316, _273608, _273606), iext(_272308, _273608, _273606)], (6236 ^ _50299) ^ [_273337, _273339] : [iext(_272316, _273339, _273337), iext(_272312, _273339, _273337)]]], (7499 ^ _50299) ^ [_318533] : [icext(uri_xsd_double, _318533), icext(uri_xsd_float, _318533)], (5676 ^ _50299) ^ [_254234, _254236, _254238, _254240, _254242, _254244, _254246] : [5707 ^ _50299 : [(5712 ^ _50299) ^ [] : [_254238 = _254234], (5710 ^ _50299) ^ [] : [_254242 = _254234], (5708 ^ _50299) ^ [] : [_254242 = _254238]], iext(uri_rdf_first, _254244, _254242), iext(uri_rdf_rest, _254244, _254240), iext(uri_rdf_first, _254240, _254238), iext(uri_rdf_rest, _254240, _254236), iext(uri_rdf_first, _254236, _254234), iext(uri_rdf_rest, _254236, uri_rdf_nil), icext(uri_owl_AllDifferent, _254246), iext(uri_owl_distinctMembers, _254246, _254244)], (2887 ^ _50299) ^ [_145997, _145999, _146001] : [iext(uri_owl_qualifiedCardinality, _146001, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _146001, _145999), iext(uri_owl_onDataRange, _146001, _145997), 2898 ^ _50299 : [(2901 ^ _50299) ^ [_146500] : [icext(_146001, _146500), 2905 ^ _50299 : [(2908 ^ _50299) ^ [] : [-(iext(_145999, _146500, 2904 ^ [_145997, _145999, _146001, _146500]))], (2910 ^ _50299) ^ [] : [-(icext(_145997, 2904 ^ [_145997, _145999, _146001, _146500]))], (2912 ^ _50299) ^ [_147035, _147037] : [-(_147035 = _147037), lv(_147037), iext(_145999, _146500, _147037), icext(_145997, _147037), lv(_147035), iext(_145999, _146500, _147035), icext(_145997, _147035)], (2906 ^ _50299) ^ [] : [-(lv(2904 ^ [_145997, _145999, _146001, _146500]))]]], (2938 ^ _50299) ^ [_147765] : [-(icext(_146001, _147765)), 2953 ^ _50299 : [(2958 ^ _50299) ^ [] : [-(icext(_145997, 2951 ^ [_145997, _145999, _146001, _147765]))], (2964 ^ _50299) ^ [] : [-(icext(_145997, 2952 ^ [_145997, _145999, _146001, _147765]))], (2966 ^ _50299) ^ [] : [2952 ^ [_145997, _145999, _146001, _147765] = 2951 ^ [_145997, _145999, _146001, _147765]], (2960 ^ _50299) ^ [] : [-(lv(2952 ^ [_145997, _145999, _146001, _147765]))], (2954 ^ _50299) ^ [] : [-(lv(2951 ^ [_145997, _145999, _146001, _147765]))], (2956 ^ _50299) ^ [] : [-(iext(_145999, _147765, 2951 ^ [_145997, _145999, _146001, _147765]))], (2962 ^ _50299) ^ [] : [-(iext(_145999, _147765, 2952 ^ [_145997, _145999, _146001, _147765]))]], 2941 ^ _50299 : [(2942 ^ _50299) ^ [_147963] : [lv(_147963), iext(_145999, _147765, _147963), icext(_145997, _147963)]]], (2899 ^ _50299) ^ [] : [-(iodp(_145999))]]], (6374 ^ _50299) ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468] : [iext(uri_rdf_first, _278466, _278464), iext(uri_rdf_rest, _278466, _278462), iext(uri_rdf_first, _278462, _278460), iext(uri_rdf_rest, _278462, _278458), iext(uri_rdf_first, _278458, _278456), iext(uri_rdf_rest, _278458, uri_rdf_nil), 6397 ^ _50299 : [(6424 ^ _50299) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _278468, _278466)), ip(_278468), ip(_278464), ip(_278460), ip(_278456), 6445 ^ _50299 : [(6448 ^ _50299) ^ [] : [-(iext(_278460, 6442 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468], 6443 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468]))], (6450 ^ _50299) ^ [] : [-(iext(_278456, 6443 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468], 6444 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468]))], (6452 ^ _50299) ^ [] : [iext(_278468, 6441 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468], 6444 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468])], (6446 ^ _50299) ^ [] : [-(iext(_278464, 6441 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468], 6442 ^ [_278456, _278458, _278460, _278462, _278464, _278466, _278468]))]]], (6398 ^ _50299) ^ [] : [iext(uri_owl_propertyChainAxiom, _278468, _278466), 6401 ^ _50299 : [(6402 ^ _50299) ^ [] : [-(ip(_278468))], (6406 ^ _50299) ^ [] : [-(ip(_278460))], (6410 ^ _50299) ^ [_279699, _279701, _279703, _279705] : [-(iext(_278468, _279705, _279699)), iext(_278464, _279705, _279703), iext(_278460, _279703, _279701), iext(_278456, _279701, _279699)], (6408 ^ _50299) ^ [] : [-(ip(_278456))], (6404 ^ _50299) ^ [] : [-(ip(_278464))]]]]], (1145 ^ _50299) ^ [_86326, _86328] : [iext(uri_owl_distinctMembers, _86328, _86326), 1148 ^ _50299 : [(1151 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _86326))], (1149 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, _86328))]]], (7143 ^ _50299) ^ [_307561] : [icext(uri_xsd_integer, _307561), -(lv(_307561))], (368 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (993 ^ _50299) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (1429 ^ _50299) ^ [_95884, _95886] : [iext(uri_owl_someValuesFrom, _95886, _95884), 1432 ^ _50299 : [(1435 ^ _50299) ^ [] : [-(ic(_95884))], (1433 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _95886))]]], (428 ^ _50299) ^ [_63585, _63587, _63589] : [-(iext(uri_rdfs_subPropertyOf, _63589, _63585)), iext(uri_rdfs_subPropertyOf, _63589, _63587), iext(uri_rdfs_subPropertyOf, _63587, _63585)], (813 ^ _50299) ^ [_75729] : [icext(uri_owl_DeprecatedProperty, _75729), -(ip(_75729))], (1095 ^ _50299) ^ [_84644, _84646] : [iext(uri_owl_datatypeComplementOf, _84646, _84644), 1098 ^ _50299 : [(1101 ^ _50299) ^ [] : [-(idc(_84644))], (1099 ^ _50299) ^ [] : [-(idc(_84646))]]], (490 ^ _50299) ^ [_65538] : [idc(_65538), -(iext(uri_rdf_type, _65538, uri_rdfs_Datatype))], (7757 ^ _50299) ^ [_326760, _326762] : [iext(uri_xsd_maxInclusive, _326762, _326760), 7760 ^ _50299 : [(7763 ^ _50299) ^ [] : [-(lv(_326760))], (7761 ^ _50299) ^ [] : [-(ir(_326762))]]], (6067 ^ _50299) ^ [_267114, _267116] : [6075 ^ _50299 : [(6078 ^ _50299) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_267114, _267116], _267116))], (6076 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_267114, _267116]))]], iext(uri_rdf_first, _267116, _267114), iext(uri_rdf_rest, _267116, uri_rdf_nil)], (7277 ^ _50299) ^ [] : [-(idc(uri_xsd_token))], (1591 ^ _50299) ^ [_101292] : [iext(uri_owl_intersectionOf, _101292, uri_rdf_nil), 1594 ^ _50299 : [(1603 ^ _50299) ^ [_101685] : [ir(_101685), -(icext(_101292, _101685))], (1597 ^ _50299) ^ [_101523] : [icext(_101292, _101523), -(ir(_101523))], (1595 ^ _50299) ^ [] : [-(ic(_101292))]]], (1457 ^ _50299) ^ [] : [-(ip(uri_owl_targetIndividual))], (7595 ^ _50299) ^ [_321558] : [icext(uri_xsd_dateTimeStamp, _321558), -(icext(uri_xsd_dateTime, _321558))], (4953 ^ _50299) ^ [_229878, _229880] : [-(iext(uri_rdfs_range, _229880, _229878)), ip(_229880), ip(_229878), 4964 ^ _50299 : [(4967 ^ _50299) ^ [] : [icext(_229878, 4963 ^ [_229878, _229880])], (4965 ^ _50299) ^ [] : [-(iext(_229880, 4962 ^ [_229878, _229880], 4963 ^ [_229878, _229880]))]]], (6780 ^ _50299) ^ [_293460, _293462, _293464, _293466, _293468] : [iext(uri_rdf_first, _293466, _293464), iext(uri_rdf_rest, _293466, _293462), iext(uri_rdf_first, _293462, _293460), iext(uri_rdf_rest, _293462, uri_rdf_nil), 6795 ^ _50299 : [(6796 ^ _50299) ^ [] : [iext(uri_owl_hasKey, _293468, _293466), 6799 ^ _50299 : [(6802 ^ _50299) ^ [] : [-(ip(_293464))], (6804 ^ _50299) ^ [] : [-(ip(_293460))], (6806 ^ _50299) ^ [_294367, _294369, _294371, _294373] : [-(_294373 = _294371), icext(_293468, _294373), icext(_293468, _294371), iext(_293464, _294373, _294369), iext(_293464, _294371, _294369), iext(_293460, _294373, _294367), iext(_293460, _294371, _294367)], (6800 ^ _50299) ^ [] : [-(ic(_293468))]]], (6832 ^ _50299) ^ [] : [-(iext(uri_owl_hasKey, _293468, _293466)), ic(_293468), ip(_293464), ip(_293460), 6849 ^ _50299 : [(6854 ^ _50299) ^ [] : [-(iext(_293464, 6845 ^ [_293460, _293462, _293464, _293466, _293468], 6847 ^ [_293460, _293462, _293464, _293466, _293468]))], (6860 ^ _50299) ^ [] : [-(iext(_293460, 6846 ^ [_293460, _293462, _293464, _293466, _293468], 6848 ^ [_293460, _293462, _293464, _293466, _293468]))], (6862 ^ _50299) ^ [] : [6845 ^ [_293460, _293462, _293464, _293466, _293468] = 6846 ^ [_293460, _293462, _293464, _293466, _293468]], (6856 ^ _50299) ^ [] : [-(iext(_293464, 6846 ^ [_293460, _293462, _293464, _293466, _293468], 6847 ^ [_293460, _293462, _293464, _293466, _293468]))], (6850 ^ _50299) ^ [] : [-(icext(_293468, 6845 ^ [_293460, _293462, _293464, _293466, _293468]))], (6852 ^ _50299) ^ [] : [-(icext(_293468, 6846 ^ [_293460, _293462, _293464, _293466, _293468]))], (6858 ^ _50299) ^ [] : [-(iext(_293460, 6845 ^ [_293460, _293462, _293464, _293466, _293468], 6848 ^ [_293460, _293462, _293464, _293466, _293468]))]]]]], (705 ^ _50299) ^ [_72479] : [icext(uri_owl_AnnotationProperty, _72479), -(ioap(_72479))], (7041 ^ _50299) ^ [_304499, _304501, _304503, _304505] : [iext(_304503, _304501, _304499), iext(uri_owl_sourceIndividual, _304505, _304501), iext(uri_owl_assertionProperty, _304505, _304503), iext(uri_owl_targetIndividual, _304505, _304499)], (943 ^ _50299) ^ [_79705] : [icext(uri_rdfs_Resource, _79705), -(ir(_79705))], (819 ^ _50299) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (7439 ^ _50299) ^ [_316643] : [icext(uri_xsd_boolean, _316643), icext(uri_xsd_hexBinary, _316643)], (933 ^ _50299) ^ [] : [-(ic(uri_rdf_Property))], (6456 ^ _50299) ^ [_281823, _281825] : [iext(uri_owl_inverseOf, _281825, _281823), 6459 ^ _50299 : [(6462 ^ _50299) ^ [] : [-(ip(_281823))], (6464 ^ _50299) ^ [_282152, _282154] : [iext(_281825, _282154, _282152), -(iext(_281823, _282152, _282154))], (6470 ^ _50299) ^ [_282334, _282336] : [iext(_281823, _282334, _282336), -(iext(_281825, _282336, _282334))], (6460 ^ _50299) ^ [] : [-(ip(_281825))]]], (1063 ^ _50299) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (649 ^ _50299) ^ [_70731] : [iext(uri_rdf_type, _70731, uri_owl_Ontology), -(ix(_70731))], (893 ^ _50299) ^ [_78186] : [icext(uri_owl_Ontology, _78186), -(ix(_78186))], (318 ^ _50299) ^ [_60044] : [ir(_60044), -(icext(uri_rdfs_Resource, _60044))], (1569 ^ _50299) ^ [_100533, _100535] : [iext(uri_owl_datatypeComplementOf, _100535, _100533), 1572 ^ _50299 : [(1581 ^ _50299) ^ [_100956] : [-(icext(_100535, _100956)), lv(_100956), -(icext(_100533, _100956))], (1573 ^ _50299) ^ [_100708] : [icext(_100535, _100708), 1576 ^ _50299 : [(1579 ^ _50299) ^ [] : [icext(_100533, _100708)], (1577 ^ _50299) ^ [] : [-(lv(_100708))]]]]], (3323 ^ _50299) ^ [_163967, _163969, _163971] : [iext(uri_owl_qualifiedCardinality, _163971, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _163971, _163969), iext(uri_owl_onClass, _163971, _163967), 3334 ^ _50299 : [(3335 ^ _50299) ^ [_164383] : [icext(_163971, _164383), 3339 ^ _50299 : [(3344 ^ _50299) ^ [_164816, _164818] : [-(_164816 = _164818), iext(_163969, _164383, _164818), icext(_163967, _164818), iext(_163969, _164383, _164816), icext(_163967, _164816)], (3342 ^ _50299) ^ [] : [-(icext(_163967, 3338 ^ [_163967, _163969, _163971, _164383]))], (3340 ^ _50299) ^ [] : [-(iext(_163969, _164383, 3338 ^ [_163967, _163969, _163971, _164383]))]]], (3362 ^ _50299) ^ [_165338] : [-(icext(_163971, _165338)), 3373 ^ _50299 : [(3374 ^ _50299) ^ [] : [-(iext(_163969, _165338, 3371 ^ [_163967, _163969, _163971, _165338]))], (3378 ^ _50299) ^ [] : [-(iext(_163969, _165338, 3372 ^ [_163967, _163969, _163971, _165338]))], (3382 ^ _50299) ^ [] : [3372 ^ [_163967, _163969, _163971, _165338] = 3371 ^ [_163967, _163969, _163971, _165338]], (3380 ^ _50299) ^ [] : [-(icext(_163967, 3372 ^ [_163967, _163969, _163971, _165338]))], (3376 ^ _50299) ^ [] : [-(icext(_163967, 3371 ^ [_163967, _163969, _163971, _165338]))]], 3365 ^ _50299 : [(3366 ^ _50299) ^ [_165521] : [iext(_163969, _165338, _165521), icext(_163967, _165521)]]]]], (703 ^ _50299) ^ [] : [-(ic(uri_owl_Annotation))], (238 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (7069 ^ _50299) ^ [] : [-(idc(uri_xsd_base64Binary))], (1427 ^ _50299) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (200 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (5732 ^ _50299) ^ [_256054, _256056, _256058, _256060] : [5752 ^ _50299 : [(5755 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_256054, _256056, _256058, _256060], _256060))], (5753 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_256054, _256056, _256058, _256060]))]], iext(uri_rdf_first, _256060, _256058), iext(uri_rdf_rest, _256060, _256056), iext(uri_rdf_first, _256056, _256054), iext(uri_rdf_rest, _256056, uri_rdf_nil), -(_256058 = _256054)], (6575 ^ _50299) ^ [_286072] : [-(icext(uri_owl_InverseFunctionalProperty, _286072)), ip(_286072), 6583 ^ _50299 : [(6588 ^ _50299) ^ [] : [6580 ^ [_286072] = 6581 ^ [_286072]], (6586 ^ _50299) ^ [] : [-(iext(_286072, 6581 ^ [_286072], 6582 ^ [_286072]))], (6584 ^ _50299) ^ [] : [-(iext(_286072, 6580 ^ [_286072], 6582 ^ [_286072]))]]], (7735 ^ _50299) ^ [] : [-(iodp(uri_rdf_langRange))], (224 ^ _50299) ^ [_57245, _57247] : [icext(_57245, _57247), -(iext(uri_rdf_type, _57247, _57245))], (4512 ^ _50299) ^ [_212666, _212668, _212670] : [iext(uri_owl_minQualifiedCardinality, _212670, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _212670, _212668), iext(uri_owl_onDataRange, _212670, _212666), 4523 ^ _50299 : [(4537 ^ _50299) ^ [_213557] : [-(icext(_212670, _213557)), 4538 ^ _50299 : [(4539 ^ _50299) ^ [_213665] : [lv(_213665), iext(_212668, _213557, _213665), icext(_212666, _213665)]]], (4526 ^ _50299) ^ [_213117] : [icext(_212670, _213117), 4530 ^ _50299 : [(4535 ^ _50299) ^ [] : [-(icext(_212666, 4529 ^ [_212666, _212668, _212670, _213117]))], (4533 ^ _50299) ^ [] : [-(iext(_212668, _213117, 4529 ^ [_212666, _212668, _212670, _213117]))], (4531 ^ _50299) ^ [] : [-(lv(4529 ^ [_212666, _212668, _212670, _213117]))]]], (4524 ^ _50299) ^ [] : [-(iodp(_212668))]]], (1083 ^ _50299) ^ [] : [-(ioap(uri_rdfs_comment))], (7261 ^ _50299) ^ [] : [-(idc(uri_xsd_short))], (921 ^ _50299) ^ [_79038] : [icext(uri_rdf_Property, _79038), -(ip(_79038))], (1173 ^ _50299) ^ [] : [-(ip(uri_owl_equivalentProperty))], (1679 ^ _50299) ^ [_104095, _104097, _104099, _104101, _104103] : [iext(uri_rdf_first, _104101, _104099), iext(uri_rdf_rest, _104101, _104097), iext(uri_rdf_first, _104097, _104095), iext(uri_rdf_rest, _104097, uri_rdf_nil), 1694 ^ _50299 : [(1723 ^ _50299) ^ [] : [-(iext(uri_owl_intersectionOf, _104103, _104101)), ic(_104103), ic(_104099), ic(_104095), 1747 ^ _50299 : [(1752 ^ _50299) ^ [] : [icext(_104103, 1736 ^ [_104095, _104097, _104099, _104101, _104103])], (1750 ^ _50299) ^ [] : [-(icext(_104095, 1736 ^ [_104095, _104097, _104099, _104101, _104103]))], (1748 ^ _50299) ^ [] : [-(icext(_104099, 1736 ^ [_104095, _104097, _104099, _104101, _104103]))]], 1739 ^ _50299 : [(1742 ^ _50299) ^ [] : [icext(_104099, 1736 ^ [_104095, _104097, _104099, _104101, _104103]), icext(_104095, 1736 ^ [_104095, _104097, _104099, _104101, _104103])], (1740 ^ _50299) ^ [] : [-(icext(_104103, 1736 ^ [_104095, _104097, _104099, _104101, _104103]))]]], (1695 ^ _50299) ^ [] : [iext(uri_owl_intersectionOf, _104103, _104101), 1698 ^ _50299 : [(1699 ^ _50299) ^ [] : [-(ic(_104103))], (1703 ^ _50299) ^ [] : [-(ic(_104095))], (1713 ^ _50299) ^ [_105225] : [-(icext(_104103, _105225)), icext(_104099, _105225), icext(_104095, _105225)], (1705 ^ _50299) ^ [_104946] : [icext(_104103, _104946), 1708 ^ _50299 : [(1711 ^ _50299) ^ [] : [-(icext(_104095, _104946))], (1709 ^ _50299) ^ [] : [-(icext(_104099, _104946))]]], (1701 ^ _50299) ^ [] : [-(ic(_104099))]]]]], (1153 ^ _50299) ^ [] : [-(ip(uri_owl_distinctMembers))], (7589 ^ _50299) ^ [_321368] : [icext(uri_xsd_byte, _321368), -(icext(uri_xsd_short, _321368))], (631 ^ _50299) ^ [_70168] : [iext(uri_rdf_type, _70168, uri_rdfs_Resource), -(ir(_70168))], (264 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (7433 ^ _50299) ^ [_316454] : [icext(uri_xsd_boolean, _316454), icext(uri_xsd_float, _316454)], (7311 ^ _50299) ^ [_312622] : [icext(uri_rdf_XMLLiteral, _312622), -(lv(_312622))], (2418 ^ _50299) ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] : [iext(uri_rdf_first, _128304, _128302), iext(uri_rdf_rest, _128304, _128300), iext(uri_rdf_first, _128300, _128298), iext(uri_rdf_rest, _128300, _128296), iext(uri_rdf_first, _128296, _128294), iext(uri_rdf_rest, _128296, uri_rdf_nil), 2441 ^ _50299 : [(2442 ^ _50299) ^ [] : [iext(uri_owl_oneOf, _128306, _128304), 2445 ^ _50299 : [(2448 ^ _50299) ^ [_129265] : [icext(_128306, _129265), -(_129265 = _128302), -(_129265 = _128298), -(_129265 = _128294)], (2462 ^ _50299) ^ [_129705] : [2463 ^ _50299 : [(2468 ^ _50299) ^ [] : [_129705 = _128294], (2466 ^ _50299) ^ [] : [_129705 = _128298], (2464 ^ _50299) ^ [] : [_129705 = _128302]], -(icext(_128306, _129705))], (2446 ^ _50299) ^ [] : [-(ic(_128306))]]], (2472 ^ _50299) ^ [] : [-(iext(uri_owl_oneOf, _128306, _128304)), ic(_128306), 2480 ^ _50299 : [(2483 ^ _50299) ^ [] : [2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128302], (2485 ^ _50299) ^ [] : [2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128298], (2487 ^ _50299) ^ [] : [2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128294], (2481 ^ _50299) ^ [] : [-(icext(_128306, 2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306]))]], 2488 ^ _50299 : [(2489 ^ _50299) ^ [] : [-(2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128302), -(2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128298), -(2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306] = _128294)], (2499 ^ _50299) ^ [] : [icext(_128306, 2477 ^ [_128294, _128296, _128298, _128300, _128302, _128304, _128306])]]]]], (623 ^ _50299) ^ [] : [-(ir(621 ^ []))], (1093 ^ _50299) ^ [] : [-(ip(uri_owl_complementOf))], (6600 ^ _50299) ^ [_287033] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _287033)), ip(_287033), -(iext(_287033, 6605 ^ [_287033], 6605 ^ [_287033]))], (1467 ^ _50299) ^ [] : [-(ip(uri_owl_targetValue))], (1517 ^ _50299) ^ [] : [-(ip(uri_owl_unionOf))], (1497 ^ _50299) ^ [_98116, _98118] : [-(iext(uri_owl_topObjectProperty, _98118, _98116)), ir(_98118), ir(_98116)], (1043 ^ _50299) ^ [] : [-(ip(uri_owl_assertionProperty))], (5040 ^ _50299) ^ [_232856, _232858] : [-(_232858 = _232856), -(iext(uri_owl_differentFrom, _232858, _232856))], (1367 ^ _50299) ^ [_93809, _93811] : [iext(uri_owl_priorVersion, _93811, _93809), 1370 ^ _50299 : [(1373 ^ _50299) ^ [] : [-(ix(_93809))], (1371 ^ _50299) ^ [] : [-(ix(_93811))]]], (7697 ^ _50299) ^ [_324788] : [icext(uri_xsd_token, _324788), -(icext(uri_xsd_normalizedString, _324788))], (697 ^ _50299) ^ [_72209] : [icext(uri_owl_Annotation, _72209), -(ir(_72209))], (1549 ^ _50299) ^ [_99816, _99818] : [iext(uri_owl_complementOf, _99818, _99816), 1552 ^ _50299 : [(1555 ^ _50299) ^ [] : [-(ic(_99816))], (1557 ^ _50299) ^ [_100126] : [icext(_99818, _100126), icext(_99816, _100126)], (1563 ^ _50299) ^ [_100299] : [-(icext(_99816, _100299)), -(icext(_99818, _100299))], (1553 ^ _50299) ^ [] : [-(ic(_99818))]]], (372 ^ _50299) ^ [_61656, _61658] : [iext(uri_rdfs_subClassOf, _61658, _61656), 375 ^ _50299 : [(380 ^ _50299) ^ [_61935] : [icext(_61658, _61935), -(icext(_61656, _61935))], (378 ^ _50299) ^ [] : [-(ic(_61656))], (376 ^ _50299) ^ [] : [-(ic(_61658))]]], (4378 ^ _50299) ^ [_207473, _207475] : [4385 ^ _50299 : [(4386 ^ _50299) ^ [_207682] : [-(icext(_207475, _207682))]], iext(uri_owl_minCardinality, _207475, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _207475, _207473)], (2199 ^ _50299) ^ [_121284, _121286, _121288] : [-(idc(_121288)), iext(uri_rdf_first, _121286, _121284), iext(uri_rdf_rest, _121286, uri_rdf_nil), idc(_121284), iext(uri_owl_unionOf, _121288, _121286)], (7403 ^ _50299) ^ [_315509] : [icext(uri_xsd_base64Binary, _315509), icext(uri_rdf_PlainLiteral, _315509)], (7167 ^ _50299) ^ [_308284] : [icext(uri_xsd_Name, _308284), -(lv(_308284))], (965 ^ _50299) ^ [_80343] : [icext(uri_owl_SymmetricProperty, _80343), -(ip(_80343))], (342 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (1085 ^ _50299) ^ [_84308, _84310] : [iext(uri_owl_complementOf, _84310, _84308), 1088 ^ _50299 : [(1091 ^ _50299) ^ [] : [-(ic(_84308))], (1089 ^ _50299) ^ [] : [-(ic(_84310))]]], (873 ^ _50299) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (7571 ^ _50299) ^ [_320801] : [icext(uri_rdf_PlainLiteral, _320801), icext(uri_owl_real, _320801)], (7451 ^ _50299) ^ [_317021] : [icext(uri_xsd_boolean, _317021), icext(uri_owl_real, _317021)], (1335 ^ _50299) ^ [] : [-(ip(uri_owl_onDataRange))], (1547 ^ _50299) ^ [] : [-(ip(uri_owl_withRestrictions))], (246 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (995 ^ _50299) ^ [_81265, _81267] : [iext(uri_owl_allValuesFrom, _81267, _81265), 998 ^ _50299 : [(1001 ^ _50299) ^ [] : [-(ic(_81265))], (999 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _81267))]]], (6012 ^ _50299) ^ [_265216, _265218, _265220, _265222, _265224, _265226, _265228] : [iext(uri_rdf_first, _265226, _265224), iext(uri_rdf_rest, _265226, _265222), iext(uri_rdf_first, _265222, _265220), iext(uri_rdf_rest, _265222, _265218), iext(uri_rdf_first, _265218, _265216), iext(uri_rdf_rest, _265218, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _265228), iext(uri_owl_members, _265228, _265226), 6043 ^ _50299 : [(6056 ^ _50299) ^ [_266680] : [icext(_265220, _266680), icext(_265216, _266680)], (6050 ^ _50299) ^ [_266455] : [icext(_265224, _266455), icext(_265216, _266455)], (6044 ^ _50299) ^ [_266210] : [icext(_265224, _266210), icext(_265220, _266210)]]], (278 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (859 ^ _50299) ^ [_77119] : [icext(uri_owl_NamedIndividual, _77119), -(ir(_77119))], (7229 ^ _50299) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (5982 ^ _50299) ^ [_264232, _264234, _264236, _264238, _264240] : [6005 ^ _50299 : [(6006 ^ _50299) ^ [_264898] : [icext(_264236, _264898), icext(_264232, _264898)]], iext(uri_rdf_first, _264238, _264236), iext(uri_rdf_rest, _264238, _264234), iext(uri_rdf_first, _264234, _264232), iext(uri_rdf_rest, _264234, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _264240), iext(uri_owl_members, _264240, _264238)], (1377 ^ _50299) ^ [] : [-(ioxp(uri_owl_priorVersion))], (695 ^ _50299) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (40 ^ _50299) ^ [_51637, _51639] : [-(ioxp(_51637)), _51639 = _51637, ioxp(_51639)], (442 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (1287 ^ _50299) ^ [_91103, _91105] : [iext(uri_owl_members, _91105, _91103), 1290 ^ _50299 : [(1293 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _91103))], (1291 ^ _50299) ^ [] : [-(ir(_91105))]]], (5392 ^ _50299) ^ [_244863, _244865] : [iext(uri_owl_disjointWith, _244865, _244863), 5395 ^ _50299 : [(5400 ^ _50299) ^ [_245144] : [icext(_244865, _245144), icext(_244863, _245144)], (5398 ^ _50299) ^ [] : [-(ic(_244863))], (5396 ^ _50299) ^ [] : [-(ic(_244865))]]], (5572 ^ _50299) ^ [_251012, _251014, _251016, _251018] : [5592 ^ _50299 : [(5595 ^ _50299) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_251012, _251014, _251016, _251018], _251018))], (5593 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_251012, _251014, _251016, _251018]))]], iext(uri_rdf_first, _251018, _251016), iext(uri_rdf_rest, _251018, _251014), iext(uri_rdf_first, _251014, _251012), iext(uri_rdf_rest, _251014, uri_rdf_nil), -(_251016 = _251012)], (7303 ^ _50299) ^ [_312381] : [icext(uri_xsd_unsignedShort, _312381), -(lv(_312381))], (7255 ^ _50299) ^ [_310935] : [icext(uri_xsd_short, _310935), -(lv(_310935))], (2503 ^ _50299) ^ [_131289, _131291, _131293] : [-(idc(_131293)), iext(uri_rdf_first, _131291, _131289), iext(uri_rdf_rest, _131291, uri_rdf_nil), lv(_131289), iext(uri_owl_oneOf, _131293, _131291)], (3937 ^ _50299) ^ [_189067, _189069, _189071] : [iext(uri_owl_maxQualifiedCardinality, _189071, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _189071, _189069), iext(uri_owl_onDataRange, _189071, _189067), 3948 ^ _50299 : [(3951 ^ _50299) ^ [_189576] : [icext(_189071, _189576), 3954 ^ _50299 : [(3955 ^ _50299) ^ [_189819, _189821, _189823] : [-(_189819 = _189823), -(_189819 = _189821), lv(_189823), iext(_189069, _189576, _189823), icext(_189067, _189823), lv(_189821), iext(_189069, _189576, _189821), icext(_189067, _189821), lv(_189819), iext(_189069, _189576, _189819), icext(_189067, _189819)]]], (3997 ^ _50299) ^ [_191008] : [4001 ^ _50299 : [(4012 ^ _50299) ^ [] : [-(icext(_189067, 3999 ^ [_189067, _189069, _189071, _191008]))], (4020 ^ _50299) ^ [] : [4000 ^ [_189067, _189069, _189071, _191008] = 3998 ^ [_189067, _189069, _189071, _191008]], (4010 ^ _50299) ^ [] : [-(iext(_189069, _191008, 3999 ^ [_189067, _189069, _189071, _191008]))], (4014 ^ _50299) ^ [] : [-(lv(4000 ^ [_189067, _189069, _189071, _191008]))], (4002 ^ _50299) ^ [] : [-(lv(3998 ^ [_189067, _189069, _189071, _191008]))], (4004 ^ _50299) ^ [] : [-(iext(_189069, _191008, 3998 ^ [_189067, _189069, _189071, _191008]))], (4006 ^ _50299) ^ [] : [-(icext(_189067, 3998 ^ [_189067, _189069, _189071, _191008]))], (4008 ^ _50299) ^ [] : [-(lv(3999 ^ [_189067, _189069, _189071, _191008]))], (4016 ^ _50299) ^ [] : [-(iext(_189069, _191008, 4000 ^ [_189067, _189069, _189071, _191008]))], (4018 ^ _50299) ^ [] : [-(icext(_189067, 4000 ^ [_189067, _189069, _189071, _191008]))], (4022 ^ _50299) ^ [] : [4000 ^ [_189067, _189069, _189071, _191008] = 3999 ^ [_189067, _189069, _189071, _191008]]], -(icext(_189071, _191008))], (3949 ^ _50299) ^ [] : [-(iodp(_189069))]]], (422 ^ _50299) ^ [_63367] : [ip(_63367), -(iext(uri_rdfs_subPropertyOf, _63367, _63367))], (2297 ^ _50299) ^ [_124224] : [-(iext(uri_owl_oneOf, _124224, uri_rdf_nil)), ic(_124224), -(icext(_124224, 2302 ^ [_124224]))], (6313 ^ _50299) ^ [_276153, _276155, _276157, _276159, _276161] : [iext(uri_rdf_first, _276159, _276157), iext(uri_rdf_rest, _276159, _276155), iext(uri_rdf_first, _276155, _276153), iext(uri_rdf_rest, _276155, uri_rdf_nil), 6328 ^ _50299 : [(6349 ^ _50299) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _276161, _276159)), ip(_276161), ip(_276157), ip(_276153), 6365 ^ _50299 : [(6370 ^ _50299) ^ [] : [iext(_276161, 6362 ^ [_276153, _276155, _276157, _276159, _276161], 6364 ^ [_276153, _276155, _276157, _276159, _276161])], (6368 ^ _50299) ^ [] : [-(iext(_276153, 6363 ^ [_276153, _276155, _276157, _276159, _276161], 6364 ^ [_276153, _276155, _276157, _276159, _276161]))], (6366 ^ _50299) ^ [] : [-(iext(_276157, 6362 ^ [_276153, _276155, _276157, _276159, _276161], 6363 ^ [_276153, _276155, _276157, _276159, _276161]))]]], (6329 ^ _50299) ^ [] : [iext(uri_owl_propertyChainAxiom, _276161, _276159), 6332 ^ _50299 : [(6335 ^ _50299) ^ [] : [-(ip(_276157))], (6337 ^ _50299) ^ [] : [-(ip(_276153))], (6339 ^ _50299) ^ [_277016, _277018, _277020] : [-(iext(_276161, _277020, _277016)), iext(_276157, _277020, _277018), iext(_276153, _277018, _277016)], (6333 ^ _50299) ^ [] : [-(ip(_276161))]]]]], (1061 ^ _50299) ^ [_83469, _83471] : [iext(uri_owl_bottomObjectProperty, _83471, _83469)], (7087 ^ _50299) ^ [_305874] : [icext(uri_xsd_dateTime, _305874), -(lv(_305874))], (7287 ^ _50299) ^ [_311899] : [icext(uri_xsd_unsignedInt, _311899), -(lv(_311899))], (1015 ^ _50299) ^ [_81939, _81941] : [iext(uri_owl_annotatedSource, _81941, _81939), 1018 ^ _50299 : [(1021 ^ _50299) ^ [] : [-(ir(_81939))], (1019 ^ _50299) ^ [] : [-(ir(_81941))]]], (170 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (7607 ^ _50299) ^ [_321938] : [icext(uri_xsd_int, _321938), -(icext(uri_xsd_long, _321938))], (5524 ^ _50299) ^ [_249337, _249339] : [-(iext(uri_owl_propertyDisjointWith, _249339, _249337)), ip(_249339), ip(_249337), 5535 ^ _50299 : [(5538 ^ _50299) ^ [] : [-(iext(_249337, 5533 ^ [_249337, _249339], 5534 ^ [_249337, _249339]))], (5536 ^ _50299) ^ [] : [-(iext(_249339, 5533 ^ [_249337, _249339], 5534 ^ [_249337, _249339]))]]], (388 ^ _50299) ^ [_62203] : [ic(_62203), -(iext(uri_rdfs_subClassOf, _62203, _62203))], (330 ^ _50299) ^ [_60417] : [lv(_60417), -(icext(uri_rdfs_Literal, _60417))], (7547 ^ _50299) ^ [_320045] : [icext(uri_xsd_float, _320045), icext(uri_rdf_XMLLiteral, _320045)], (7205 ^ _50299) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (1005 ^ _50299) ^ [_81603, _81605] : [iext(uri_owl_annotatedProperty, _81605, _81603), 1008 ^ _50299 : [(1011 ^ _50299) ^ [] : [-(ir(_81603))], (1009 ^ _50299) ^ [] : [-(ir(_81605))]]], (1756 ^ _50299) ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684] : [iext(uri_rdf_first, _106682, _106680), iext(uri_rdf_rest, _106682, _106678), iext(uri_rdf_first, _106678, _106676), iext(uri_rdf_rest, _106678, _106674), iext(uri_rdf_first, _106674, _106672), iext(uri_rdf_rest, _106674, uri_rdf_nil), 1779 ^ _50299 : [(1816 ^ _50299) ^ [] : [-(iext(uri_owl_intersectionOf, _106684, _106682)), ic(_106684), ic(_106680), ic(_106676), ic(_106672), 1848 ^ _50299 : [(1851 ^ _50299) ^ [] : [-(icext(_106676, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]))], (1853 ^ _50299) ^ [] : [-(icext(_106672, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]))], (1855 ^ _50299) ^ [] : [icext(_106684, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684])], (1849 ^ _50299) ^ [] : [-(icext(_106680, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]))]], 1836 ^ _50299 : [(1839 ^ _50299) ^ [] : [icext(_106680, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]), icext(_106676, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]), icext(_106672, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684])], (1837 ^ _50299) ^ [] : [-(icext(_106684, 1833 ^ [_106672, _106674, _106676, _106678, _106680, _106682, _106684]))]]], (1780 ^ _50299) ^ [] : [iext(uri_owl_intersectionOf, _106684, _106682), 1783 ^ _50299 : [(1786 ^ _50299) ^ [] : [-(ic(_106680))], (1784 ^ _50299) ^ [] : [-(ic(_106684))], (1802 ^ _50299) ^ [_108268] : [-(icext(_106684, _108268)), icext(_106680, _108268), icext(_106676, _108268), icext(_106672, _108268)], (1790 ^ _50299) ^ [] : [-(ic(_106672))], (1792 ^ _50299) ^ [_107883] : [icext(_106684, _107883), 1795 ^ _50299 : [(1800 ^ _50299) ^ [] : [-(icext(_106672, _107883))], (1798 ^ _50299) ^ [] : [-(icext(_106676, _107883))], (1796 ^ _50299) ^ [] : [-(icext(_106680, _107883))]]], (1788 ^ _50299) ^ [] : [-(ic(_106676))]]]]], (7655 ^ _50299) ^ [_323458] : [icext(uri_xsd_nonNegativeInteger, _323458), -(icext(uri_xsd_integer, _323458))], (7061 ^ _50299) ^ [] : [-(idc(uri_xsd_anyURI))], (7109 ^ _50299) ^ [] : [-(idc(uri_xsd_decimal))], (2551 ^ _50299) ^ [_132736, _132738, _132740, _132742, _132744, _132746, _132748] : [-(idc(_132748)), iext(uri_rdf_first, _132746, _132744), iext(uri_rdf_rest, _132746, _132742), iext(uri_rdf_first, _132742, _132740), iext(uri_rdf_rest, _132742, _132738), iext(uri_rdf_first, _132738, _132736), iext(uri_rdf_rest, _132738, uri_rdf_nil), lv(_132744), lv(_132740), lv(_132736), iext(uri_owl_oneOf, _132748, _132746)], (2641 ^ _50299) ^ [_135770, _135772] : [iext(uri_owl_cardinality, _135772, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _135772, _135770), 2648 ^ _50299 : [(2649 ^ _50299) ^ [_136065] : [icext(_135772, _136065), 2653 ^ _50299 : [(2656 ^ _50299) ^ [_136377, _136379] : [-(_136377 = _136379), iext(_135770, _136065, _136379), iext(_135770, _136065, _136377)], (2654 ^ _50299) ^ [] : [-(iext(_135770, _136065, 2652 ^ [_135770, _135772, _136065]))]]], (2666 ^ _50299) ^ [_136675] : [-(icext(_135772, _136675)), 2669 ^ _50299 : [(2670 ^ _50299) ^ [_136818] : [iext(_135770, _136675, _136818)]], 2673 ^ _50299 : [(2678 ^ _50299) ^ [] : [2672 ^ [_135770, _135772, _136675] = 2671 ^ [_135770, _135772, _136675]], (2676 ^ _50299) ^ [] : [-(iext(_135770, _136675, 2672 ^ [_135770, _135772, _136675]))], (2674 ^ _50299) ^ [] : [-(iext(_135770, _136675, 2671 ^ [_135770, _135772, _136675]))]]]]], (7133 ^ _50299) ^ [] : [-(idc(uri_xsd_hexBinary))], (7795 ^ _50299) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7715 ^ _50299) ^ [_325358] : [icext(uri_xsd_unsignedLong, _325358), -(icext(uri_xsd_nonNegativeInteger, _325358))], (7157 ^ _50299) ^ [] : [-(idc(uri_xsd_language))], (5065 ^ _50299) ^ [_233700, _233702, _233704] : [iext(uri_rdf_first, _233702, _233700), iext(uri_rdf_rest, _233702, uri_rdf_nil), 5072 ^ _50299 : [(5093 ^ _50299) ^ [] : [-(iext(uri_owl_disjointUnionOf, _233704, _233702)), ic(_233704), ic(_233700), 5105 ^ _50299 : [(5108 ^ _50299) ^ [] : [icext(_233700, 5102 ^ [_233700, _233702, _233704])], (5106 ^ _50299) ^ [] : [-(icext(_233704, 5102 ^ [_233700, _233702, _233704]))]], 5109 ^ _50299 : [(5112 ^ _50299) ^ [] : [icext(_233704, 5102 ^ [_233700, _233702, _233704])], (5110 ^ _50299) ^ [] : [-(icext(_233700, 5102 ^ [_233700, _233702, _233704]))]]], (5073 ^ _50299) ^ [] : [iext(uri_owl_disjointUnionOf, _233704, _233702), 5076 ^ _50299 : [(5079 ^ _50299) ^ [] : [-(ic(_233700))], (5081 ^ _50299) ^ [_234231] : [icext(_233704, _234231), -(icext(_233700, _234231))], (5087 ^ _50299) ^ [_234411] : [icext(_233700, _234411), -(icext(_233704, _234411))], (5077 ^ _50299) ^ [] : [-(ic(_233704))]]]]], (7643 ^ _50299) ^ [_323078] : [icext(uri_xsd_negativeInteger, _323078), -(icext(uri_xsd_nonPositiveInteger, _323078))], (7175 ^ _50299) ^ [_308525] : [icext(uri_xsd_NCName, _308525), -(lv(_308525))], (811 ^ _50299) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (877 ^ _50299) ^ [] : [-(ic(uri_owl_Nothing))], (160 ^ _50299) ^ [_55415] : [lv(_55415), -(ir(_55415))], (1539 ^ _50299) ^ [_99478, _99480] : [iext(uri_owl_withRestrictions, _99480, _99478), 1542 ^ _50299 : [(1545 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _99478))], (1543 ^ _50299) ^ [] : [-(idc(_99480))]]], (7247 ^ _50299) ^ [_310694] : [icext(uri_owl_real, _310694), -(lv(_310694))], (1365 ^ _50299) ^ [] : [-(ip(uri_owl_onProperty))], (791 ^ _50299) ^ [_75091] : [icext(uri_owl_DatatypeProperty, _75091), -(iodp(_75091))], (5548 ^ _50299) ^ [_250167, _250169] : [_250169 = _250167, -(iext(uri_owl_sameAs, _250169, _250167))], (1389 ^ _50299) ^ [_94536, _94538] : [iext(uri_owl_propertyDisjointWith, _94538, _94536), 1392 ^ _50299 : [(1395 ^ _50299) ^ [] : [-(ip(_94536))], (1393 ^ _50299) ^ [] : [-(ip(_94538))]]], (1255 ^ _50299) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (4710 ^ _50299) ^ [_220480, _220482, _220484] : [4721 ^ _50299 : [(4722 ^ _50299) ^ [_220792] : [-(icext(_220484, _220792))]], iext(uri_owl_minQualifiedCardinality, _220484, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _220484, _220482), iext(uri_owl_onClass, _220484, _220480)], (7457 ^ _50299) ^ [_317210] : [icext(uri_xsd_boolean, _317210), icext(uri_rdf_XMLLiteral, _317210)], (5879 ^ _50299) ^ [_260617, _260619] : [5887 ^ _50299 : [(5890 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_260617, _260619], _260619))], (5888 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_260617, _260619]))]], iext(uri_rdf_first, _260619, _260617), iext(uri_rdf_rest, _260619, uri_rdf_nil)], (7367 ^ _50299) ^ [_314375] : [icext(uri_xsd_anyURI, _314375), icext(uri_rdf_XMLLiteral, _314375)], (7427 ^ _50299) ^ [_316265] : [icext(uri_xsd_boolean, _316265), icext(uri_xsd_double, _316265)], (7263 ^ _50299) ^ [_311176] : [icext(uri_xsd_string, _311176), -(lv(_311176))], (1489 ^ _50299) ^ [_97881, _97883] : [iext(uri_owl_topObjectProperty, _97883, _97881), 1492 ^ _50299 : [(1495 ^ _50299) ^ [] : [-(ir(_97881))], (1493 ^ _50299) ^ [] : [-(ir(_97883))]]], (114 ^ _50299) ^ [_53851, _53853] : [-(iodp(_53851)), _53853 = _53851, iodp(_53853)], (290 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (5798 ^ _50299) ^ [] : [-(tautology), tautology], (5557 ^ _50299) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (550 ^ _50299) ^ [_67542] : [iodp(_67542), -(iext(uri_rdf_type, _67542, uri_owl_DatatypeProperty))], (196 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (5542 ^ _50299) ^ [_250003, _250005] : [iext(uri_owl_sameAs, _250005, _250003), -(_250005 = _250003)], (7775 ^ _50299) ^ [] : [-(iodp(uri_xsd_maxLength))], (2593 ^ _50299) ^ [_133977, _133979, _133981] : [iext(uri_owl_allValuesFrom, _133981, _133977), iext(uri_owl_onProperty, _133981, _133979), 2600 ^ _50299 : [(2601 ^ _50299) ^ [_134256] : [icext(_133981, _134256), 2604 ^ _50299 : [(2605 ^ _50299) ^ [_134408] : [iext(_133979, _134256, _134408), -(icext(_133977, _134408))]]], (2611 ^ _50299) ^ [_134603] : [2613 ^ _50299 : [(2616 ^ _50299) ^ [] : [icext(_133977, 2612 ^ [_133977, _133979, _133981, _134603])], (2614 ^ _50299) ^ [] : [-(iext(_133979, _134603, 2612 ^ [_133977, _133979, _133981, _134603]))]], -(icext(_133981, _134603))]]], (5810 ^ _50299) ^ [_258462, _258464, _258466, _258468, _258470] : [_258466 = _258462, iext(uri_rdf_first, _258468, _258466), iext(uri_rdf_rest, _258468, _258464), iext(uri_rdf_first, _258464, _258462), iext(uri_rdf_rest, _258464, uri_rdf_nil), icext(uri_owl_AllDifferent, _258470), iext(uri_owl_members, _258470, _258468)], (1195 ^ _50299) ^ [_88014, _88016] : [iext(uri_owl_hasValue, _88016, _88014), 1198 ^ _50299 : [(1201 ^ _50299) ^ [] : [-(ir(_88014))], (1199 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _88016))]]], (803 ^ _50299) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (7661 ^ _50299) ^ [_323648] : [icext(uri_xsd_nonPositiveInteger, _323648), -(icext(uri_xsd_integer, _323648))], (346 ^ _50299) ^ [_60909, _60911, _60913, _60915] : [-(icext(_60913, _60909)), iext(uri_rdfs_range, _60915, _60913), iext(_60915, _60911, _60909)], (276 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (6168 ^ _50299) ^ [] : [-(tautology), tautology], (7093 ^ _50299) ^ [] : [-(idc(uri_xsd_dateTime))], (1447 ^ _50299) ^ [] : [-(ip(uri_owl_sourceIndividual))], (124 ^ _50299) ^ [_54182, _54184, _54186, _54188, _54190, _54192] : [-(iext(_54190, _54186, _54182)), iext(_54192, _54188, _54184), _54192 = _54190, _54188 = _54186, _54184 = _54182], (4985 ^ _50299) ^ [_230979, _230981] : [-(iext(uri_rdfs_subClassOf, _230981, _230979)), ic(_230981), ic(_230979), 4995 ^ _50299 : [(4998 ^ _50299) ^ [] : [icext(_230979, 4994 ^ [_230979, _230981])], (4996 ^ _50299) ^ [] : [-(icext(_230981, 4994 ^ [_230979, _230981]))]]], (404 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (1013 ^ _50299) ^ [] : [-(ip(uri_owl_annotatedProperty))], (747 ^ _50299) ^ [] : [-(ic(uri_owl_Class))], (526 ^ _50299) ^ [_66696] : [iext(uri_rdf_type, _66696, uri_owl_AnnotationProperty), -(ioap(_66696))], (5757 ^ _50299) ^ [_256899, _256901, _256903, _256905, _256907, _256909] : [5793 ^ _50299 : [(5796 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_256899, _256901, _256903, _256905, _256907, _256909], _256909))], (5794 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_256899, _256901, _256903, _256905, _256907, _256909]))]], iext(uri_rdf_first, _256909, _256907), iext(uri_rdf_rest, _256909, _256905), iext(uri_rdf_first, _256905, _256903), iext(uri_rdf_rest, _256905, _256901), iext(uri_rdf_first, _256901, _256899), iext(uri_rdf_rest, _256901, uri_rdf_nil), -(_256907 = _256903), -(_256907 = _256899), -(_256903 = _256899)], (7253 ^ _50299) ^ [] : [-(idc(uri_owl_real))], (955 ^ _50299) ^ [] : [-(ic(uri_rdfs_Resource))], (749 ^ _50299) ^ [_73813] : [icext(uri_rdfs_Class, _73813), -(ic(_73813))], (1057 ^ _50299) ^ [_83322, _83324] : [iext(uri_owl_bottomDataProperty, _83324, _83322)], (805 ^ _50299) ^ [_75488] : [icext(uri_owl_DeprecatedClass, _75488), -(ic(_75488))], (1968 ^ _50299) ^ [_113524, _113526, _113528] : [iext(uri_rdf_first, _113526, _113524), iext(uri_rdf_rest, _113526, uri_rdf_nil), 1975 ^ _50299 : [(1996 ^ _50299) ^ [] : [-(iext(uri_owl_unionOf, _113528, _113526)), ic(_113528), ic(_113524), 2008 ^ _50299 : [(2011 ^ _50299) ^ [] : [icext(_113524, 2005 ^ [_113524, _113526, _113528])], (2009 ^ _50299) ^ [] : [-(icext(_113528, 2005 ^ [_113524, _113526, _113528]))]], 2012 ^ _50299 : [(2015 ^ _50299) ^ [] : [icext(_113528, 2005 ^ [_113524, _113526, _113528])], (2013 ^ _50299) ^ [] : [-(icext(_113524, 2005 ^ [_113524, _113526, _113528]))]]], (1976 ^ _50299) ^ [] : [iext(uri_owl_unionOf, _113528, _113526), 1979 ^ _50299 : [(1982 ^ _50299) ^ [] : [-(ic(_113524))], (1984 ^ _50299) ^ [_114055] : [icext(_113528, _114055), -(icext(_113524, _114055))], (1990 ^ _50299) ^ [_114235] : [icext(_113524, _114235), -(icext(_113528, _114235))], (1980 ^ _50299) ^ [] : [-(ic(_113528))]]]]], (681 ^ _50299) ^ [_71727] : [icext(uri_owl_AllDisjointClasses, _71727), -(ir(_71727))], (7535 ^ _50299) ^ [_319667] : [icext(uri_xsd_float, _319667), icext(uri_rdf_PlainLiteral, _319667)], (6500 ^ _50299) ^ [_283363] : [icext(uri_owl_AsymmetricProperty, _283363), 6503 ^ _50299 : [(6506 ^ _50299) ^ [_283587, _283589] : [iext(_283363, _283589, _283587), iext(_283363, _283587, _283589)], (6504 ^ _50299) ^ [] : [-(ip(_283363))]]], (70 ^ _50299) ^ [_52522, _52524] : [-(idc(_52522)), _52524 = _52522, idc(_52524)], (386 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (7613 ^ _50299) ^ [_322128] : [icext(uri_xsd_integer, _322128), -(icext(uri_xsd_decimal, _322128))], (20 ^ _50299) ^ [_51047, _51049] : [-(ioap(_51047)), _51049 = _51047, ioap(_51049)], (843 ^ _50299) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (5970 ^ _50299) ^ [] : [-(tautology), tautology], (727 ^ _50299) ^ [_73117] : [icext(uri_owl_Axiom, _73117), -(ir(_73117))], (7197 ^ _50299) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (2682 ^ _50299) ^ [_137375, _137377] : [iext(uri_owl_cardinality, _137377, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _137377, _137375), 2689 ^ _50299 : [(2690 ^ _50299) ^ [_137708] : [icext(_137377, _137708), 2695 ^ _50299 : [(2698 ^ _50299) ^ [] : [-(iext(_137375, _137708, 2694 ^ [_137375, _137377, _137708]))], (2700 ^ _50299) ^ [] : [2693 ^ [_137375, _137377, _137708] = 2694 ^ [_137375, _137377, _137708]], (2702 ^ _50299) ^ [_138342, _138344, _138346] : [-(_138342 = _138346), -(_138342 = _138344), iext(_137375, _137708, _138346), iext(_137375, _137708, _138344), iext(_137375, _137708, _138342)], (2696 ^ _50299) ^ [] : [-(iext(_137375, _137708, 2693 ^ [_137375, _137377, _137708]))]]], (2720 ^ _50299) ^ [_138869] : [-(icext(_137377, _138869)), 2736 ^ _50299 : [(2737 ^ _50299) ^ [] : [-(iext(_137375, _138869, 2733 ^ [_137375, _137377, _138869]))], (2741 ^ _50299) ^ [] : [-(iext(_137375, _138869, 2735 ^ [_137375, _137377, _138869]))], (2745 ^ _50299) ^ [] : [2735 ^ [_137375, _137377, _138869] = 2734 ^ [_137375, _137377, _138869]], (2743 ^ _50299) ^ [] : [2735 ^ [_137375, _137377, _138869] = 2733 ^ [_137375, _137377, _138869]], (2739 ^ _50299) ^ [] : [-(iext(_137375, _138869, 2734 ^ [_137375, _137377, _138869]))]], 2723 ^ _50299 : [(2724 ^ _50299) ^ [_139080, _139082] : [iext(_137375, _138869, _139082), iext(_137375, _138869, _139080), -(_139082 = _139080)]]]]], (1205 ^ _50299) ^ [_88352, _88354] : [iext(uri_owl_imports, _88354, _88352), 1208 ^ _50299 : [(1211 ^ _50299) ^ [] : [-(ix(_88352))], (1209 ^ _50299) ^ [] : [-(ix(_88354))]]], (927 ^ _50299) ^ [_79192] : [ip(_79192), -(icext(uri_rdf_Property, _79192))], (885 ^ _50299) ^ [_77914] : [ip(_77914), -(icext(uri_owl_ObjectProperty, _77914))], (1023 ^ _50299) ^ [] : [-(ip(uri_owl_annotatedSource))], (719 ^ _50299) ^ [_72876] : [icext(uri_owl_AsymmetricProperty, _72876), -(ip(_72876))], (687 ^ _50299) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (1245 ^ _50299) ^ [] : [-(ip(uri_owl_inverseOf))], (837 ^ _50299) ^ [_76452] : [icext(uri_owl_IrreflexiveProperty, _76452), -(ip(_76452))], (1375 ^ _50299) ^ [] : [-(ioap(uri_owl_priorVersion))], (7505 ^ _50299) ^ [_318722] : [icext(uri_xsd_double, _318722), icext(uri_xsd_hexBinary, _318722)], (1215 ^ _50299) ^ [_88688, _88690] : [iext(uri_owl_incompatibleWith, _88690, _88688), 1218 ^ _50299 : [(1221 ^ _50299) ^ [] : [-(ix(_88688))], (1219 ^ _50299) ^ [] : [-(ix(_88690))]]], (1183 ^ _50299) ^ [] : [-(ip(uri_owl_hasKey))], (4971 ^ _50299) ^ [_230519, _230521] : [iext(uri_rdfs_subClassOf, _230521, _230519), 4974 ^ _50299 : [(4979 ^ _50299) ^ [_230798] : [icext(_230521, _230798), -(icext(_230519, _230798))], (4977 ^ _50299) ^ [] : [-(ic(_230519))], (4975 ^ _50299) ^ [] : [-(ic(_230521))]]], (544 ^ _50299) ^ [_67327] : [iodp(_67327), -(ip(_67327))], (2289 ^ _50299) ^ [_123973] : [iext(uri_owl_oneOf, _123973, uri_rdf_nil), 2292 ^ _50299 : [(2295 ^ _50299) ^ [_124156] : [icext(_123973, _124156)], (2293 ^ _50299) ^ [] : [-(ic(_123973))]]], (891 ^ _50299) ^ [] : [-(ic(uri_owl_ObjectProperty))], (282 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (4939 ^ _50299) ^ [_229390, _229392] : [iext(uri_rdfs_range, _229392, _229390), 4942 ^ _50299 : [(4947 ^ _50299) ^ [_229689, _229691] : [iext(_229392, _229691, _229689), -(icext(_229390, _229689))], (4945 ^ _50299) ^ [] : [-(ip(_229390))], (4943 ^ _50299) ^ [] : [-(ip(_229392))]]], (4805 ^ _50299) ^ [_224026, _224028, _224030] : [iext(uri_owl_minQualifiedCardinality, _224030, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _224030, _224028), iext(uri_owl_onClass, _224030, _224026), 4816 ^ _50299 : [(4842 ^ _50299) ^ [_225898] : [-(icext(_224030, _225898)), 4843 ^ _50299 : [(4844 ^ _50299) ^ [_226089, _226091, _226093] : [iext(_224028, _225898, _226093), icext(_224026, _226093), iext(_224028, _225898, _226091), icext(_224026, _226091), iext(_224028, _225898, _226089), icext(_224026, _226089), -(_226093 = _226091), -(_226093 = _226089), -(_226091 = _226089)]]], (4817 ^ _50299) ^ [_224460] : [icext(_224030, _224460), 4823 ^ _50299 : [(4832 ^ _50299) ^ [] : [-(iext(_224028, _224460, 4822 ^ [_224026, _224028, _224030, _224460]))], (4824 ^ _50299) ^ [] : [-(iext(_224028, _224460, 4820 ^ [_224026, _224028, _224030, _224460]))], (4826 ^ _50299) ^ [] : [-(icext(_224026, 4820 ^ [_224026, _224028, _224030, _224460]))], (4836 ^ _50299) ^ [] : [4820 ^ [_224026, _224028, _224030, _224460] = 4821 ^ [_224026, _224028, _224030, _224460]], (4834 ^ _50299) ^ [] : [-(icext(_224026, 4822 ^ [_224026, _224028, _224030, _224460]))], (4840 ^ _50299) ^ [] : [4821 ^ [_224026, _224028, _224030, _224460] = 4822 ^ [_224026, _224028, _224030, _224460]], (4830 ^ _50299) ^ [] : [-(icext(_224026, 4821 ^ [_224026, _224028, _224030, _224460]))], (4838 ^ _50299) ^ [] : [4820 ^ [_224026, _224028, _224030, _224460] = 4822 ^ [_224026, _224028, _224030, _224460]], (4828 ^ _50299) ^ [] : [-(iext(_224028, _224460, 4821 ^ [_224026, _224028, _224030, _224460]))]]]]], (7565 ^ _50299) ^ [_320612] : [icext(uri_xsd_hexBinary, _320612), icext(uri_rdf_XMLLiteral, _320612)], (7165 ^ _50299) ^ [] : [-(idc(uri_xsd_long))], (1628 ^ _50299) ^ [_102457, _102459, _102461] : [iext(uri_rdf_first, _102459, _102457), iext(uri_rdf_rest, _102459, uri_rdf_nil), 1635 ^ _50299 : [(1656 ^ _50299) ^ [] : [-(iext(uri_owl_intersectionOf, _102461, _102459)), ic(_102461), ic(_102457), 1668 ^ _50299 : [(1671 ^ _50299) ^ [] : [icext(_102457, 1665 ^ [_102457, _102459, _102461])], (1669 ^ _50299) ^ [] : [-(icext(_102461, 1665 ^ [_102457, _102459, _102461]))]], 1672 ^ _50299 : [(1675 ^ _50299) ^ [] : [icext(_102461, 1665 ^ [_102457, _102459, _102461])], (1673 ^ _50299) ^ [] : [-(icext(_102457, 1665 ^ [_102457, _102459, _102461]))]]], (1636 ^ _50299) ^ [] : [iext(uri_owl_intersectionOf, _102461, _102459), 1639 ^ _50299 : [(1642 ^ _50299) ^ [] : [-(ic(_102457))], (1644 ^ _50299) ^ [_102988] : [icext(_102461, _102988), -(icext(_102457, _102988))], (1650 ^ _50299) ^ [_103168] : [icext(_102457, _103168), -(icext(_102461, _103168))], (1640 ^ _50299) ^ [] : [-(ic(_102461))]]]]], (971 ^ _50299) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (7063 ^ _50299) ^ [_305151] : [icext(uri_xsd_base64Binary, _305151), -(lv(_305151))], (1227 ^ _50299) ^ [_89077, _89079] : [iext(uri_owl_intersectionOf, _89079, _89077), 1230 ^ _50299 : [(1233 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _89077))], (1231 ^ _50299) ^ [] : [-(ic(_89079))]]], (7085 ^ _50299) ^ [] : [-(idc(uri_xsd_byte))], (7301 ^ _50299) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7239 ^ _50299) ^ [_310453] : [icext(uri_owl_rational, _310453), -(lv(_310453))], (5644 ^ _50299) ^ [] : [-(tautology), tautology], (5002 ^ _50299) ^ [_231541, _231543] : [iext(uri_rdfs_subPropertyOf, _231543, _231541), 5005 ^ _50299 : [(5010 ^ _50299) ^ [_231841, _231843] : [iext(_231543, _231843, _231841), -(iext(_231541, _231843, _231841))], (5008 ^ _50299) ^ [] : [-(ip(_231541))], (5006 ^ _50299) ^ [] : [-(ip(_231543))]]], (312 ^ _50299) ^ [_59825] : [icext(uri_rdfs_Class, _59825), -(ic(_59825))], (610 ^ _50299) ^ [_69546] : [ip(_69546), -(iext(uri_rdf_type, _69546, uri_rdf_Property))], (1437 ^ _50299) ^ [] : [-(ip(uri_owl_someValuesFrom))], (7293 ^ _50299) ^ [] : [-(idc(uri_xsd_unsignedInt))], (7355 ^ _50299) ^ [_313997] : [icext(uri_xsd_anyURI, _313997), icext(uri_rdf_PlainLiteral, _313997)], (7487 ^ _50299) ^ [_318155] : [icext(uri_xsd_dateTime, _318155), icext(uri_owl_real, _318155)], (1417 ^ _50299) ^ [] : [-(ip(uri_owl_sameAs))], (1419 ^ _50299) ^ [_95548, _95550] : [iext(uri_rdfs_seeAlso, _95550, _95548), 1422 ^ _50299 : [(1425 ^ _50299) ^ [] : [-(ir(_95548))], (1423 ^ _50299) ^ [] : [-(ir(_95550))]]], (7149 ^ _50299) ^ [] : [-(idc(uri_xsd_integer))], (5715 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (270 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (829 ^ _50299) ^ [_76211] : [icext(uri_owl_InverseFunctionalProperty, _76211), -(ip(_76211))], (496 ^ _50299) ^ [_65694] : [iext(uri_rdf_type, _65694, uri_rdfs_Datatype), -(idc(_65694))], (1527 ^ _50299) ^ [] : [-(ioap(uri_owl_versionInfo))], (462 ^ _50299) ^ [_64644] : [ic(_64644), -(iext(uri_rdf_type, _64644, uri_rdfs_Class))], (7101 ^ _50299) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (5836 ^ _50299) ^ [_259276, _259278, _259280, _259282, _259284, _259286, _259288] : [5867 ^ _50299 : [(5872 ^ _50299) ^ [] : [_259280 = _259276], (5870 ^ _50299) ^ [] : [_259284 = _259276], (5868 ^ _50299) ^ [] : [_259284 = _259280]], iext(uri_rdf_first, _259286, _259284), iext(uri_rdf_rest, _259286, _259282), iext(uri_rdf_first, _259282, _259280), iext(uri_rdf_rest, _259282, _259278), iext(uri_rdf_first, _259278, _259276), iext(uri_rdf_rest, _259278, uri_rdf_nil), icext(uri_owl_AllDifferent, _259288), iext(uri_owl_members, _259288, _259286)], (208 ^ _50299) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (5555 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (7215 ^ _50299) ^ [_309730] : [icext(uri_xsd_normalizedString, _309730), -(lv(_309730))], (1347 ^ _50299) ^ [_93133, _93135] : [iext(uri_owl_oneOf, _93135, _93133), 1350 ^ _50299 : [(1353 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _93133))], (1351 ^ _50299) ^ [] : [-(ic(_93135))]]], (661 ^ _50299) ^ [_71138] : [lv(_71138), -(iext(uri_rdf_type, _71138, uri_rdfs_Literal))], (987 ^ _50299) ^ [_81010] : [icext(uri_owl_TransitiveProperty, _81010), -(ip(_81010))], (1053 ^ _50299) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (60 ^ _50299) ^ [_52227, _52229] : [-(ip(_52227)), _52229 = _52227, ip(_52229)], (178 ^ _50299) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (80 ^ _50299) ^ [_52845, _52847, _52849, _52851] : [-(icext(_52849, _52845)), icext(_52851, _52847), _52851 = _52849, _52847 = _52845], (3873 ^ _50299) ^ [_186604, _186606, _186608] : [iext(uri_owl_maxQualifiedCardinality, _186608, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _186608, _186606), iext(uri_owl_onDataRange, _186608, _186604), 3884 ^ _50299 : [(3887 ^ _50299) ^ [_187084] : [icext(_186608, _187084), 3890 ^ _50299 : [(3891 ^ _50299) ^ [_187284, _187286] : [-(_187284 = _187286), lv(_187286), iext(_186606, _187084, _187286), icext(_186604, _187286), lv(_187284), iext(_186606, _187084, _187284), icext(_186604, _187284)]]], (3917 ^ _50299) ^ [_188008] : [3920 ^ _50299 : [(3925 ^ _50299) ^ [] : [-(icext(_186604, 3918 ^ [_186604, _186606, _186608, _188008]))], (3931 ^ _50299) ^ [] : [-(icext(_186604, 3919 ^ [_186604, _186606, _186608, _188008]))], (3933 ^ _50299) ^ [] : [3919 ^ [_186604, _186606, _186608, _188008] = 3918 ^ [_186604, _186606, _186608, _188008]], (3927 ^ _50299) ^ [] : [-(lv(3919 ^ [_186604, _186606, _186608, _188008]))], (3921 ^ _50299) ^ [] : [-(lv(3918 ^ [_186604, _186606, _186608, _188008]))], (3923 ^ _50299) ^ [] : [-(iext(_186606, _188008, 3918 ^ [_186604, _186606, _186608, _188008]))], (3929 ^ _50299) ^ [] : [-(iext(_186606, _188008, 3919 ^ [_186604, _186606, _186608, _188008]))]], -(icext(_186608, _188008))], (3885 ^ _50299) ^ [] : [-(iodp(_186606))]]], (7189 ^ _50299) ^ [] : [-(idc(uri_xsd_negativeInteger))], (783 ^ _50299) ^ [_74819] : [idc(_74819), -(icext(uri_rdfs_Datatype, _74819))], (821 ^ _50299) ^ [_75970] : [icext(uri_owl_FunctionalProperty, _75970), -(ip(_75970))], (1203 ^ _50299) ^ [] : [-(ip(uri_owl_hasValue))], (3632 ^ _50299) ^ [_177116, _177118, _177120] : [iext(uri_owl_hasSelf, _177120, _177116), iext(uri_owl_onProperty, _177120, _177118), 3639 ^ _50299 : [(3646 ^ _50299) ^ [_177566] : [iext(_177118, _177566, _177566), -(icext(_177120, _177566))], (3640 ^ _50299) ^ [_177384] : [icext(_177120, _177384), -(iext(_177118, _177384, _177384))]]], (244 ^ _50299) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (1357 ^ _50299) ^ [_93471, _93473] : [iext(uri_owl_onProperty, _93473, _93471), 1360 ^ _50299 : [(1363 ^ _50299) ^ [] : [-(ip(_93471))], (1361 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _93473))]]], (7191 ^ _50299) ^ [_309007] : [icext(uri_xsd_NMTOKEN, _309007), -(lv(_309007))], (7807 ^ _50299) ^ [_328440, _328442] : [iext(uri_xsd_pattern, _328442, _328440), 7810 ^ _50299 : [(7813 ^ _50299) ^ [] : [-(lv(_328440))], (7811 ^ _50299) ^ [] : [-(ir(_328442))]]], (7002 ^ _50299) ^ [_303206, _303208, _303210, _303212] : [7013 ^ _50299 : [(7016 ^ _50299) ^ [] : [iext(_303210, _303208, _303206)], (7014 ^ _50299) ^ [] : [-(iodp(_303210))]], iext(uri_owl_sourceIndividual, _303212, _303208), iext(uri_owl_assertionProperty, _303212, _303210), iext(uri_owl_targetValue, _303212, _303206)], (7637 ^ _50299) ^ [_322888] : [icext(uri_xsd_NCName, _322888), -(icext(uri_xsd_Name, _322888))], (7361 ^ _50299) ^ [_314186] : [icext(uri_xsd_anyURI, _314186), icext(uri_owl_real, _314186)], (336 ^ _50299) ^ [_60571] : [icext(uri_rdfs_Literal, _60571), -(lv(_60571))], (7481 ^ _50299) ^ [_317966] : [icext(uri_xsd_dateTime, _317966), icext(uri_rdf_PlainLiteral, _317966)], (963 ^ _50299) ^ [] : [-(ic(uri_owl_Restriction))], (4880 ^ _50299) ^ [_227194, _227196, _227198] : [iext(uri_owl_someValuesFrom, _227198, _227194), iext(uri_owl_onProperty, _227198, _227196), 4887 ^ _50299 : [(4897 ^ _50299) ^ [_227821] : [-(icext(_227198, _227821)), 4898 ^ _50299 : [(4899 ^ _50299) ^ [_227924] : [iext(_227196, _227821, _227924), icext(_227194, _227924)]]], (4888 ^ _50299) ^ [_227473] : [icext(_227198, _227473), 4892 ^ _50299 : [(4895 ^ _50299) ^ [] : [-(icext(_227194, 4891 ^ [_227194, _227196, _227198, _227473]))], (4893 ^ _50299) ^ [] : [-(iext(_227196, _227473, 4891 ^ [_227194, _227196, _227198, _227473]))]]]]], (7787 ^ _50299) ^ [_327768, _327770] : [iext(uri_xsd_minInclusive, _327770, _327768), 7790 ^ _50299 : [(7793 ^ _50299) ^ [] : [-(lv(_327768))], (7791 ^ _50299) ^ [] : [-(ir(_327770))]]], (5217 ^ _50299) ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725] : [iext(uri_rdf_first, _238723, _238721), iext(uri_rdf_rest, _238723, _238719), iext(uri_rdf_first, _238719, _238717), iext(uri_rdf_rest, _238719, _238715), iext(uri_rdf_first, _238715, _238713), iext(uri_rdf_rest, _238715, uri_rdf_nil), 5240 ^ _50299 : [(5241 ^ _50299) ^ [] : [iext(uri_owl_disjointUnionOf, _238725, _238723), 5244 ^ _50299 : [(5247 ^ _50299) ^ [] : [-(ic(_238721))], (5245 ^ _50299) ^ [] : [-(ic(_238725))], (5253 ^ _50299) ^ [_239966] : [icext(_238725, _239966), 5256 ^ _50299 : [(5267 ^ _50299) ^ [] : [icext(_238721, _239966), icext(_238717, _239966)], (5273 ^ _50299) ^ [] : [icext(_238721, _239966), icext(_238713, _239966)], (5279 ^ _50299) ^ [] : [icext(_238717, _239966), icext(_238713, _239966)], (5257 ^ _50299) ^ [] : [-(icext(_238721, _239966)), -(icext(_238717, _239966)), -(icext(_238713, _239966))]]], (5251 ^ _50299) ^ [] : [-(ic(_238713))], (5285 ^ _50299) ^ [_241007] : [-(icext(_238725, _241007)), 5288 ^ _50299 : [(5293 ^ _50299) ^ [] : [icext(_238713, _241007)], (5291 ^ _50299) ^ [] : [icext(_238717, _241007)], (5289 ^ _50299) ^ [] : [icext(_238721, _241007)]], 5296 ^ _50299 : [(5299 ^ _50299) ^ [] : [-(icext(_238717, _241007))], (5297 ^ _50299) ^ [] : [-(icext(_238721, _241007))]], 5302 ^ _50299 : [(5305 ^ _50299) ^ [] : [-(icext(_238713, _241007))], (5303 ^ _50299) ^ [] : [-(icext(_238721, _241007))]], 5306 ^ _50299 : [(5309 ^ _50299) ^ [] : [-(icext(_238713, _241007))], (5307 ^ _50299) ^ [] : [-(icext(_238717, _241007))]]], (5249 ^ _50299) ^ [] : [-(ic(_238717))]]], (5313 ^ _50299) ^ [] : [-(iext(uri_owl_disjointUnionOf, _238725, _238723)), ic(_238725), ic(_238721), ic(_238717), ic(_238713), 5333 ^ _50299 : [(5336 ^ _50299) ^ [] : [5337 ^ _50299 : [(5342 ^ _50299) ^ [] : [icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5340 ^ _50299) ^ [] : [icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5338 ^ _50299) ^ [] : [icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])]], 5345 ^ _50299 : [(5348 ^ _50299) ^ [] : [-(icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))], (5346 ^ _50299) ^ [] : [-(icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))]], 5351 ^ _50299 : [(5354 ^ _50299) ^ [] : [-(icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))], (5352 ^ _50299) ^ [] : [-(icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))]], 5355 ^ _50299 : [(5358 ^ _50299) ^ [] : [-(icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))], (5356 ^ _50299) ^ [] : [-(icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))]]], (5334 ^ _50299) ^ [] : [-(icext(_238725, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))]], 5359 ^ _50299 : [(5388 ^ _50299) ^ [] : [icext(_238725, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5370 ^ _50299) ^ [] : [icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]), icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5382 ^ _50299) ^ [] : [icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]), icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5376 ^ _50299) ^ [] : [icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]), icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])], (5360 ^ _50299) ^ [] : [-(icext(_238721, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])), -(icext(_238717, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725])), -(icext(_238713, 5330 ^ [_238713, _238715, _238717, _238719, _238721, _238723, _238725]))]]]]], (973 ^ _50299) ^ [_80613] : [icext(uri_owl_Thing, _80613), -(ir(_80613))], (761 ^ _50299) ^ [] : [-(ic(uri_rdfs_Class))], (5116 ^ _50299) ^ [_235338, _235340, _235342, _235344, _235346] : [iext(uri_rdf_first, _235344, _235342), iext(uri_rdf_rest, _235344, _235340), iext(uri_rdf_first, _235340, _235338), iext(uri_rdf_rest, _235340, uri_rdf_nil), 5131 ^ _50299 : [(5132 ^ _50299) ^ [] : [iext(uri_owl_disjointUnionOf, _235346, _235344), 5135 ^ _50299 : [(5136 ^ _50299) ^ [] : [-(ic(_235346))], (5140 ^ _50299) ^ [] : [-(ic(_235338))], (5142 ^ _50299) ^ [_236203] : [icext(_235346, _236203), 5145 ^ _50299 : [(5152 ^ _50299) ^ [] : [icext(_235342, _236203), icext(_235338, _236203)], (5146 ^ _50299) ^ [] : [-(icext(_235342, _236203)), -(icext(_235338, _236203))]]], (5158 ^ _50299) ^ [_236694] : [-(icext(_235346, _236694)), 5161 ^ _50299 : [(5164 ^ _50299) ^ [] : [icext(_235338, _236694)], (5162 ^ _50299) ^ [] : [icext(_235342, _236694)]], 5165 ^ _50299 : [(5168 ^ _50299) ^ [] : [-(icext(_235338, _236694))], (5166 ^ _50299) ^ [] : [-(icext(_235342, _236694))]]], (5138 ^ _50299) ^ [] : [-(ic(_235342))]]], (5172 ^ _50299) ^ [] : [-(iext(uri_owl_disjointUnionOf, _235346, _235344)), ic(_235346), ic(_235342), ic(_235338), 5188 ^ _50299 : [(5191 ^ _50299) ^ [] : [5192 ^ _50299 : [(5195 ^ _50299) ^ [] : [icext(_235338, 5185 ^ [_235338, _235340, _235342, _235344, _235346])], (5193 ^ _50299) ^ [] : [icext(_235342, 5185 ^ [_235338, _235340, _235342, _235344, _235346])]], 5196 ^ _50299 : [(5199 ^ _50299) ^ [] : [-(icext(_235338, 5185 ^ [_235338, _235340, _235342, _235344, _235346]))], (5197 ^ _50299) ^ [] : [-(icext(_235342, 5185 ^ [_235338, _235340, _235342, _235344, _235346]))]]], (5189 ^ _50299) ^ [] : [-(icext(_235346, 5185 ^ [_235338, _235340, _235342, _235344, _235346]))]], 5200 ^ _50299 : [(5207 ^ _50299) ^ [] : [icext(_235342, 5185 ^ [_235338, _235340, _235342, _235344, _235346]), icext(_235338, 5185 ^ [_235338, _235340, _235342, _235344, _235346])], (5201 ^ _50299) ^ [] : [-(icext(_235342, 5185 ^ [_235338, _235340, _235342, _235344, _235346])), -(icext(_235338, 5185 ^ [_235338, _235340, _235342, _235344, _235346]))], (5213 ^ _50299) ^ [] : [icext(_235346, 5185 ^ [_235338, _235340, _235342, _235344, _235346])]]]]], (733 ^ _50299) ^ [] : [-(ic(uri_owl_Axiom))], (1397 ^ _50299) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (7223 ^ _50299) ^ [_309971] : [icext(uri_rdf_PlainLiteral, _309971), -(lv(_309971))], (1487 ^ _50299) ^ [] : [-(iodp(uri_owl_topDataProperty))], (7445 ^ _50299) ^ [_316832] : [icext(uri_xsd_boolean, _316832), icext(uri_rdf_PlainLiteral, _316832)], (30 ^ _50299) ^ [_51342, _51344] : [-(ix(_51342)), _51344 = _51342, ix(_51344)], (1345 ^ _50299) ^ [] : [-(ip(uri_owl_onDatatype))], (5719 ^ _50299) ^ [_255575, _255577] : [5727 ^ _50299 : [(5730 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_255575, _255577], _255577))], (5728 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_255575, _255577]))]], iext(uri_rdf_first, _255577, _255575), iext(uri_rdf_rest, _255577, uri_rdf_nil)], (673 ^ _50299) ^ [_71486] : [icext(uri_owl_AllDifferent, _71486), -(ir(_71486))], (1113 ^ _50299) ^ [] : [-(ioap(uri_owl_deprecated))], (1265 ^ _50299) ^ [] : [-(ioap(uri_rdfs_label))], (444 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (7601 ^ _50299) ^ [_321748] : [icext(uri_xsd_decimal, _321748), -(icext(uri_owl_rational, _321748))], (7095 ^ _50299) ^ [_306115] : [icext(uri_xsd_dateTimeStamp, _306115), -(lv(_306115))], (2096 ^ _50299) ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749] : [iext(uri_rdf_first, _117747, _117745), iext(uri_rdf_rest, _117747, _117743), iext(uri_rdf_first, _117743, _117741), iext(uri_rdf_rest, _117743, _117739), iext(uri_rdf_first, _117739, _117737), iext(uri_rdf_rest, _117739, uri_rdf_nil), 2119 ^ _50299 : [(2156 ^ _50299) ^ [] : [-(iext(uri_owl_unionOf, _117749, _117747)), ic(_117749), ic(_117745), ic(_117741), ic(_117737), 2176 ^ _50299 : [(2179 ^ _50299) ^ [] : [icext(_117745, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])], (2181 ^ _50299) ^ [] : [icext(_117741, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])], (2183 ^ _50299) ^ [] : [icext(_117737, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])], (2177 ^ _50299) ^ [] : [-(icext(_117749, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749]))]], 2184 ^ _50299 : [(2185 ^ _50299) ^ [] : [-(icext(_117745, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])), -(icext(_117741, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])), -(icext(_117737, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749]))], (2195 ^ _50299) ^ [] : [icext(_117749, 2173 ^ [_117737, _117739, _117741, _117743, _117745, _117747, _117749])]]], (2120 ^ _50299) ^ [] : [iext(uri_owl_unionOf, _117749, _117747), 2123 ^ _50299 : [(2126 ^ _50299) ^ [] : [-(ic(_117745))], (2124 ^ _50299) ^ [] : [-(ic(_117749))], (2132 ^ _50299) ^ [_118948] : [icext(_117749, _118948), -(icext(_117745, _118948)), -(icext(_117741, _118948)), -(icext(_117737, _118948))], (2130 ^ _50299) ^ [] : [-(ic(_117737))], (2146 ^ _50299) ^ [_119388] : [2147 ^ _50299 : [(2152 ^ _50299) ^ [] : [icext(_117737, _119388)], (2150 ^ _50299) ^ [] : [icext(_117741, _119388)], (2148 ^ _50299) ^ [] : [icext(_117745, _119388)]], -(icext(_117749, _119388))], (2128 ^ _50299) ^ [] : [-(ic(_117741))]]]]], (206 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (1193 ^ _50299) ^ [] : [-(ip(uri_owl_hasSelf))], (789 ^ _50299) ^ [] : [-(ic(uri_rdfs_Datatype))], (851 ^ _50299) ^ [_76876] : [lv(_76876), -(icext(uri_rdfs_Literal, _76876))], (5559 ^ _50299) ^ [_250533, _250535] : [5567 ^ _50299 : [(5570 ^ _50299) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_250533, _250535], _250535))], (5568 ^ _50299) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_250533, _250535]))]], iext(uri_rdf_first, _250535, _250533), iext(uri_rdf_rest, _250535, uri_rdf_nil)], (210 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (7343 ^ _50299) ^ [_313619] : [icext(uri_xsd_anyURI, _313619), icext(uri_xsd_float, _313619)], (7385 ^ _50299) ^ [_314942] : [icext(uri_xsd_base64Binary, _314942), icext(uri_xsd_double, _314942)], (1537 ^ _50299) ^ [] : [-(ioxp(uri_owl_versionIRI))], (755 ^ _50299) ^ [_73967] : [ic(_73967), -(icext(uri_rdfs_Class, _73967))], (5638 ^ _50299) ^ [] : [-(tautology), tautology], (7309 ^ _50299) ^ [] : [-(idc(uri_xsd_unsignedShort))], (204 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (1317 ^ _50299) ^ [_92121, _92123] : [iext(uri_owl_onClass, _92123, _92121), 1320 ^ _50299 : [(1323 ^ _50299) ^ [] : [-(ic(_92121))], (1321 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _92123))]]], (4496 ^ _50299) ^ [_212148, _212150, _212152] : [4507 ^ _50299 : [(4510 ^ _50299) ^ [_212532] : [-(icext(_212152, _212532))], (4508 ^ _50299) ^ [] : [-(iodp(_212150))]], iext(uri_owl_minQualifiedCardinality, _212152, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _212152, _212150), iext(uri_owl_onDataRange, _212152, _212148)], (5423 ^ _50299) ^ [_245891, _245893] : [iext(uri_owl_equivalentClass, _245893, _245891), 5426 ^ _50299 : [(5429 ^ _50299) ^ [] : [-(ic(_245891))], (5431 ^ _50299) ^ [_246199] : [icext(_245893, _246199), -(icext(_245891, _246199))], (5437 ^ _50299) ^ [_246371] : [icext(_245891, _246371), -(icext(_245893, _246371))], (5427 ^ _50299) ^ [] : [-(ic(_245893))]]], (1949 ^ _50299) ^ [_112912] : [iext(uri_owl_unionOf, _112912, uri_rdf_nil), 1952 ^ _50299 : [(1955 ^ _50299) ^ [_113095] : [icext(_112912, _113095)], (1953 ^ _50299) ^ [] : [-(ic(_112912))]]], (2353 ^ _50299) ^ [_126063, _126065, _126067, _126069, _126071] : [iext(uri_rdf_first, _126069, _126067), iext(uri_rdf_rest, _126069, _126065), iext(uri_rdf_first, _126065, _126063), iext(uri_rdf_rest, _126065, uri_rdf_nil), 2368 ^ _50299 : [(2369 ^ _50299) ^ [] : [iext(uri_owl_oneOf, _126071, _126069), 2372 ^ _50299 : [(2375 ^ _50299) ^ [_126762] : [icext(_126071, _126762), -(_126762 = _126067), -(_126762 = _126063)], (2385 ^ _50299) ^ [_127064] : [2386 ^ _50299 : [(2389 ^ _50299) ^ [] : [_127064 = _126063], (2387 ^ _50299) ^ [] : [_127064 = _126067]], -(icext(_126071, _127064))], (2373 ^ _50299) ^ [] : [-(ic(_126071))]]], (2393 ^ _50299) ^ [] : [-(iext(uri_owl_oneOf, _126071, _126069)), ic(_126071), 2401 ^ _50299 : [(2406 ^ _50299) ^ [] : [2398 ^ [_126063, _126065, _126067, _126069, _126071] = _126063], (2404 ^ _50299) ^ [] : [2398 ^ [_126063, _126065, _126067, _126069, _126071] = _126067], (2402 ^ _50299) ^ [] : [-(icext(_126071, 2398 ^ [_126063, _126065, _126067, _126069, _126071]))]], 2407 ^ _50299 : [(2408 ^ _50299) ^ [] : [-(2398 ^ [_126063, _126065, _126067, _126069, _126071] = _126067), -(2398 ^ [_126063, _126065, _126067, _126069, _126071] = _126063)], (2414 ^ _50299) ^ [] : [icext(_126071, 2398 ^ [_126063, _126065, _126067, _126069, _126071])]]]]], (4921 ^ _50299) ^ [_228742, _228744] : [-(iext(uri_rdfs_domain, _228744, _228742)), ip(_228744), ic(_228742), 4932 ^ _50299 : [(4935 ^ _50299) ^ [] : [icext(_228742, 4930 ^ [_228742, _228744])], (4933 ^ _50299) ^ [] : [-(iext(_228744, 4930 ^ [_228742, _228744], 4931 ^ [_228742, _228744]))]]], (7415 ^ _50299) ^ [_315887] : [icext(uri_xsd_base64Binary, _315887), icext(uri_rdf_XMLLiteral, _315887)], (7765 ^ _50299) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (520 ^ _50299) ^ [_66540] : [ioap(_66540), -(iext(uri_rdf_type, _66540, uri_owl_AnnotationProperty))], (94 ^ _50299) ^ [_53261, _53263] : [-(ir(_53261)), _53263 = _53261, ir(_53263)], (769 ^ _50299) ^ [_74393] : [idc(_74393), -(icext(uri_owl_DataRange, _74393))], (468 ^ _50299) ^ [_64800] : [iext(uri_rdf_type, _64800, uri_rdfs_Class), -(ic(_64800))], (7079 ^ _50299) ^ [_305633] : [icext(uri_xsd_byte, _305633), -(lv(_305633))], (4140 ^ _50299) ^ [_197641, _197643, _197645] : [iext(uri_owl_maxQualifiedCardinality, _197645, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _197645, _197643), iext(uri_owl_onClass, _197645, _197641), 4151 ^ _50299 : [(4152 ^ _50299) ^ [_198017] : [icext(_197645, _198017), 4155 ^ _50299 : [(4156 ^ _50299) ^ [_198171] : [iext(_197643, _198017, _198171), icext(_197641, _198171)]]], (4162 ^ _50299) ^ [_198365] : [4164 ^ _50299 : [(4167 ^ _50299) ^ [] : [-(icext(_197641, 4163 ^ [_197641, _197643, _197645, _198365]))], (4165 ^ _50299) ^ [] : [-(iext(_197643, _198365, 4163 ^ [_197641, _197643, _197645, _198365]))]], -(icext(_197645, _198365))]]], (7135 ^ _50299) ^ [_307320] : [icext(uri_xsd_int, _307320), -(lv(_307320))], (1033 ^ _50299) ^ [] : [-(ip(uri_owl_annotatedTarget))], (1439 ^ _50299) ^ [_96222, _96224] : [iext(uri_owl_sourceIndividual, _96224, _96222), 1442 ^ _50299 : [(1445 ^ _50299) ^ [] : [-(ir(_96222))], (1443 ^ _50299) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _96224))]]], (592 ^ _50299) ^ [_68892] : [ip(_68892), 595 ^ _50299 : [(596 ^ _50299) ^ [_69047, _69049] : [iext(_68892, _69049, _69047), 599 ^ _50299 : [(602 ^ _50299) ^ [] : [-(ir(_69047))], (600 ^ _50299) ^ [] : [-(ir(_69049))]]]]], (5466 ^ _50299) ^ [_247291, _247293] : [iext(uri_owl_equivalentProperty, _247293, _247291), 5469 ^ _50299 : [(5472 ^ _50299) ^ [] : [-(ip(_247291))], (5474 ^ _50299) ^ [_247620, _247622] : [iext(_247293, _247622, _247620), -(iext(_247291, _247622, _247620))], (5480 ^ _50299) ^ [_247802, _247804] : [iext(_247291, _247804, _247802), -(iext(_247293, _247804, _247802))], (5470 ^ _50299) ^ [] : [-(ip(_247293))]]], (1163 ^ _50299) ^ [] : [-(ip(uri_owl_equivalentClass))], (4 ^ _50299) ^ [_50530, _50532] : [_50532 = _50530, -(_50530 = _50532)], (5443 ^ _50299) ^ [_246554, _246556] : [-(iext(uri_owl_equivalentClass, _246556, _246554)), ic(_246556), ic(_246554), 5455 ^ _50299 : [(5458 ^ _50299) ^ [] : [icext(_246554, 5452 ^ [_246554, _246556])], (5456 ^ _50299) ^ [] : [-(icext(_246556, 5452 ^ [_246554, _246556]))]], 5459 ^ _50299 : [(5462 ^ _50299) ^ [] : [icext(_246556, 5452 ^ [_246554, _246556])], (5460 ^ _50299) ^ [] : [-(icext(_246554, 5452 ^ [_246554, _246556]))]]], (2970 ^ _50299) ^ [_149192, _149194, _149196] : [iext(uri_owl_qualifiedCardinality, _149196, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _149196, _149194), iext(uri_owl_onDataRange, _149196, _149192), 2981 ^ _50299 : [(2984 ^ _50299) ^ [_149755] : [icext(_149196, _149755), 2989 ^ _50299 : [(2994 ^ _50299) ^ [] : [-(icext(_149192, 2987 ^ [_149192, _149194, _149196, _149755]))], (3000 ^ _50299) ^ [] : [-(icext(_149192, 2988 ^ [_149192, _149194, _149196, _149755]))], (2990 ^ _50299) ^ [] : [-(lv(2987 ^ [_149192, _149194, _149196, _149755]))], (3002 ^ _50299) ^ [] : [2987 ^ [_149192, _149194, _149196, _149755] = 2988 ^ [_149192, _149194, _149196, _149755]], (2996 ^ _50299) ^ [] : [-(lv(2988 ^ [_149192, _149194, _149196, _149755]))], (2998 ^ _50299) ^ [] : [-(iext(_149194, _149755, 2988 ^ [_149192, _149194, _149196, _149755]))], (3004 ^ _50299) ^ [_150872, _150874, _150876] : [-(_150872 = _150876), -(_150872 = _150874), lv(_150876), iext(_149194, _149755, _150876), icext(_149192, _150876), lv(_150874), iext(_149194, _149755, _150874), icext(_149192, _150874), lv(_150872), iext(_149194, _149755, _150872), icext(_149192, _150872)], (2992 ^ _50299) ^ [] : [-(iext(_149194, _149755, 2987 ^ [_149192, _149194, _149196, _149755]))]]], (3046 ^ _50299) ^ [_152075] : [-(icext(_149196, _152075)), 3078 ^ _50299 : [(3089 ^ _50299) ^ [] : [-(icext(_149192, 3076 ^ [_149192, _149194, _149196, _152075]))], (3097 ^ _50299) ^ [] : [3077 ^ [_149192, _149194, _149196, _152075] = 3075 ^ [_149192, _149194, _149196, _152075]], (3087 ^ _50299) ^ [] : [-(iext(_149194, _152075, 3076 ^ [_149192, _149194, _149196, _152075]))], (3091 ^ _50299) ^ [] : [-(lv(3077 ^ [_149192, _149194, _149196, _152075]))], (3079 ^ _50299) ^ [] : [-(lv(3075 ^ [_149192, _149194, _149196, _152075]))], (3081 ^ _50299) ^ [] : [-(iext(_149194, _152075, 3075 ^ [_149192, _149194, _149196, _152075]))], (3083 ^ _50299) ^ [] : [-(icext(_149192, 3075 ^ [_149192, _149194, _149196, _152075]))], (3085 ^ _50299) ^ [] : [-(lv(3076 ^ [_149192, _149194, _149196, _152075]))], (3093 ^ _50299) ^ [] : [-(iext(_149194, _152075, 3077 ^ [_149192, _149194, _149196, _152075]))], (3095 ^ _50299) ^ [] : [-(icext(_149192, 3077 ^ [_149192, _149194, _149196, _152075]))], (3099 ^ _50299) ^ [] : [3077 ^ [_149192, _149194, _149196, _152075] = 3076 ^ [_149192, _149194, _149196, _152075]]], 3049 ^ _50299 : [(3050 ^ _50299) ^ [_152347, _152349] : [lv(_152349), iext(_149194, _152075, _152349), icext(_149192, _152349), lv(_152347), iext(_149194, _152075, _152347), icext(_149192, _152347), -(_152349 = _152347)]]], (2982 ^ _50299) ^ [] : [-(iodp(_149194))]]], (6866 ^ _50299) ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077] : [iext(uri_rdf_first, _297075, _297073), iext(uri_rdf_rest, _297075, _297071), iext(uri_rdf_first, _297071, _297069), iext(uri_rdf_rest, _297071, _297067), iext(uri_rdf_first, _297067, _297065), iext(uri_rdf_rest, _297067, uri_rdf_nil), 6889 ^ _50299 : [(6890 ^ _50299) ^ [] : [iext(uri_owl_hasKey, _297077, _297075), 6893 ^ _50299 : [(6894 ^ _50299) ^ [] : [-(ic(_297077))], (6898 ^ _50299) ^ [] : [-(ip(_297069))], (6902 ^ _50299) ^ [_298359, _298361, _298363, _298365, _298367] : [-(_298367 = _298365), icext(_297077, _298367), icext(_297077, _298365), iext(_297073, _298367, _298363), iext(_297073, _298365, _298363), iext(_297069, _298367, _298361), iext(_297069, _298365, _298361), iext(_297065, _298367, _298359), iext(_297065, _298365, _298359)], (6900 ^ _50299) ^ [] : [-(ip(_297065))], (6896 ^ _50299) ^ [] : [-(ip(_297073))]]], (6936 ^ _50299) ^ [] : [-(iext(uri_owl_hasKey, _297077, _297075)), ic(_297077), ip(_297073), ip(_297069), ip(_297065), 6958 ^ _50299 : [(6967 ^ _50299) ^ [] : [-(iext(_297069, 6953 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6956 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6959 ^ _50299) ^ [] : [-(icext(_297077, 6953 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6961 ^ _50299) ^ [] : [-(icext(_297077, 6954 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6971 ^ _50299) ^ [] : [-(iext(_297065, 6953 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6957 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6969 ^ _50299) ^ [] : [-(iext(_297069, 6954 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6956 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6975 ^ _50299) ^ [] : [6953 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077] = 6954 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]], (6965 ^ _50299) ^ [] : [-(iext(_297073, 6954 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6955 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6973 ^ _50299) ^ [] : [-(iext(_297065, 6954 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6957 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))], (6963 ^ _50299) ^ [] : [-(iext(_297073, 6953 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077], 6955 ^ [_297065, _297067, _297069, _297071, _297073, _297075, _297077]))]]]]], (7777 ^ _50299) ^ [_327432, _327434] : [iext(uri_xsd_minExclusive, _327434, _327432), 7780 ^ _50299 : [(7783 ^ _50299) ^ [] : [-(lv(_327432))], (7781 ^ _50299) ^ [] : [-(ir(_327434))]]], (7127 ^ _50299) ^ [_307079] : [icext(uri_xsd_hexBinary, _307079), -(lv(_307079))], (304 ^ _50299) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (1297 ^ _50299) ^ [_91441, _91443] : [iext(uri_owl_minCardinality, _91443, _91441), 1300 ^ _50299 : [(1303 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _91441))], (1301 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _91443))]]], (7822 ^ _50299) ^ [] : [-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))], (1519 ^ _50299) ^ [_98806, _98808] : [iext(uri_owl_versionInfo, _98808, _98806), 1522 ^ _50299 : [(1525 ^ _50299) ^ [] : [-(ir(_98806))], (1523 ^ _50299) ^ [] : [-(ir(_98808))]]], (7493 ^ _50299) ^ [_318344] : [icext(uri_xsd_dateTime, _318344), icext(uri_rdf_XMLLiteral, _318344)], (2 ^ _50299) ^ [_50423] : [-(_50423 = _50423)], (1065 ^ _50299) ^ [_83632, _83634] : [iext(uri_owl_cardinality, _83634, _83632), 1068 ^ _50299 : [(1071 ^ _50299) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _83632))], (1069 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _83634))]]], (1223 ^ _50299) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (6109 ^ _50299) ^ [_268728, _268730, _268732, _268734, _268736, _268738] : [6157 ^ _50299 : [(6160 ^ _50299) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_268728, _268730, _268732, _268734, _268736, _268738], _268738))], (6158 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))]], iext(uri_rdf_first, _268738, _268736), iext(uri_rdf_rest, _268738, _268734), iext(uri_rdf_first, _268734, _268732), iext(uri_rdf_rest, _268734, _268730), iext(uri_rdf_first, _268730, _268728), iext(uri_rdf_rest, _268730, uri_rdf_nil), 6138 ^ _50299 : [(6141 ^ _50299) ^ [] : [-(iext(_268732, 6136 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6137 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))], (6139 ^ _50299) ^ [] : [-(iext(_268736, 6136 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6137 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))]], 6146 ^ _50299 : [(6149 ^ _50299) ^ [] : [-(iext(_268728, 6144 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6145 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))], (6147 ^ _50299) ^ [] : [-(iext(_268736, 6144 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6145 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))]], 6152 ^ _50299 : [(6155 ^ _50299) ^ [] : [-(iext(_268728, 6150 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6151 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))], (6153 ^ _50299) ^ [] : [-(iext(_268732, 6150 ^ [_268728, _268730, _268732, _268734, _268736, _268738], 6151 ^ [_268728, _268730, _268732, _268734, _268736, _268738]))]]], (913 ^ _50299) ^ [_78766] : [ioxp(_78766), -(icext(uri_owl_OntologyProperty, _78766))], (5892 ^ _50299) ^ [_261096, _261098, _261100, _261102] : [5915 ^ _50299 : [(5918 ^ _50299) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_261096, _261098, _261100, _261102], _261102))], (5916 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_261096, _261098, _261100, _261102]))]], iext(uri_rdf_first, _261102, _261100), iext(uri_rdf_rest, _261102, _261098), iext(uri_rdf_first, _261098, _261096), iext(uri_rdf_rest, _261098, uri_rdf_nil), 5910 ^ _50299 : [(5913 ^ _50299) ^ [] : [-(icext(_261096, 5909 ^ [_261096, _261098, _261100, _261102]))], (5911 ^ _50299) ^ [] : [-(icext(_261100, 5909 ^ [_261096, _261098, _261100, _261102]))]]], (1105 ^ _50299) ^ [_84980, _84982] : [iext(uri_owl_deprecated, _84982, _84980), 1108 ^ _50299 : [(1111 ^ _50299) ^ [] : [-(ir(_84980))], (1109 ^ _50299) ^ [] : [-(ir(_84982))]]], (835 ^ _50299) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (7820 ^ _50299) ^ [] : [-(iext(uri_rdf_first, 7816 ^ [], uri_ex_p1))], (6065 ^ _50299) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (1507 ^ _50299) ^ [] : [-(ip(uri_owl_topObjectProperty))], (1295 ^ _50299) ^ [] : [-(ip(uri_owl_members))], (562 ^ _50299) ^ [_67890] : [ioxp(_67890), 565 ^ _50299 : [(566 ^ _50299) ^ [_68045, _68047] : [iext(_67890, _68047, _68045), 569 ^ _50299 : [(572 ^ _50299) ^ [] : [-(ix(_68045))], (570 ^ _50299) ^ [] : [-(ix(_68047))]]]]], (5875 ^ _50299) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (1225 ^ _50299) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (7349 ^ _50299) ^ [_313808] : [icext(uri_xsd_anyURI, _313808), icext(uri_xsd_hexBinary, _313808)], (1409 ^ _50299) ^ [_95212, _95214] : [iext(uri_owl_sameAs, _95214, _95212), 1412 ^ _50299 : [(1415 ^ _50299) ^ [] : [-(ir(_95212))], (1413 ^ _50299) ^ [] : [-(ir(_95214))]]], (240 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (370 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (6512 ^ _50299) ^ [_283769] : [-(icext(uri_owl_AsymmetricProperty, _283769)), ip(_283769), 6519 ^ _50299 : [(6522 ^ _50299) ^ [] : [-(iext(_283769, 6518 ^ [_283769], 6517 ^ [_283769]))], (6520 ^ _50299) ^ [] : [-(iext(_283769, 6517 ^ [_283769], 6518 ^ [_283769]))]]], (679 ^ _50299) ^ [] : [-(ic(uri_owl_AllDifferent))], (3693 ^ _50299) ^ [_179270, _179272] : [iext(uri_owl_maxCardinality, _179272, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _179272, _179270), 3700 ^ _50299 : [(3701 ^ _50299) ^ [_179553] : [icext(_179272, _179553), 3704 ^ _50299 : [(3705 ^ _50299) ^ [_179725, _179727] : [-(_179725 = _179727), iext(_179270, _179553, _179727), iext(_179270, _179553, _179725)]]], (3715 ^ _50299) ^ [_180021] : [3718 ^ _50299 : [(3723 ^ _50299) ^ [] : [3717 ^ [_179270, _179272, _180021] = 3716 ^ [_179270, _179272, _180021]], (3721 ^ _50299) ^ [] : [-(iext(_179270, _180021, 3717 ^ [_179270, _179272, _180021]))], (3719 ^ _50299) ^ [] : [-(iext(_179270, _180021, 3716 ^ [_179270, _179272, _180021]))]], -(icext(_179272, _180021))]]], (3652 ^ _50299) ^ [_177819, _177821, _177823] : [iext(uri_owl_hasValue, _177823, _177819), iext(uri_owl_onProperty, _177823, _177821), 3659 ^ _50299 : [(3666 ^ _50299) ^ [_178269] : [iext(_177821, _178269, _177819), -(icext(_177823, _178269))], (3660 ^ _50299) ^ [_178087] : [icext(_177823, _178087), -(iext(_177821, _178087, _177819))]]], (1449 ^ _50299) ^ [_96560, _96562] : [iext(uri_owl_targetIndividual, _96562, _96560), 1452 ^ _50299 : [(1455 ^ _50299) ^ [] : [-(ir(_96560))], (1453 ^ _50299) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _96562))]]], (604 ^ _50299) ^ [_69331] : [ip(_69331), -(ir(_69331))], (7673 ^ _50299) ^ [_324028] : [icext(uri_xsd_positiveInteger, _324028), -(icext(uri_xsd_nonNegativeInteger, _324028))], (6254 ^ _50299) ^ [_274162] : [iext(uri_owl_propertyChainAxiom, _274162, uri_rdf_nil), 6257 ^ _50299 : [(6260 ^ _50299) ^ [_274345] : [-(iext(_274162, _274345, _274345))], (6258 ^ _50299) ^ [] : [-(ip(_274162))]]], (292 ^ _50299) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (1045 ^ _50299) ^ [_82949, _82951] : [iext(uri_owl_backwardCompatibleWith, _82951, _82949), 1048 ^ _50299 : [(1051 ^ _50299) ^ [] : [-(ix(_82949))], (1049 ^ _50299) ^ [] : [-(ix(_82951))]]], (5510 ^ _50299) ^ [_248845, _248847] : [iext(uri_owl_propertyDisjointWith, _248847, _248845), 5513 ^ _50299 : [(5518 ^ _50299) ^ [_249147, _249149] : [iext(_248847, _249149, _249147), iext(_248845, _249149, _249147)], (5516 ^ _50299) ^ [] : [-(ip(_248845))], (5514 ^ _50299) ^ [] : [-(ip(_248847))]]], (7421 ^ _50299) ^ [_316076] : [icext(uri_xsd_boolean, _316076), icext(uri_xsd_dateTime, _316076)], (7159 ^ _50299) ^ [_308043] : [icext(uri_xsd_long, _308043), -(lv(_308043))], (7181 ^ _50299) ^ [] : [-(idc(uri_xsd_NCName))], (7231 ^ _50299) ^ [_310212] : [icext(uri_xsd_positiveInteger, _310212), -(lv(_310212))], (7767 ^ _50299) ^ [_327096, _327098] : [iext(uri_xsd_maxLength, _327098, _327096), 7770 ^ _50299 : [(7773 ^ _50299) ^ [] : [-(lv(_327096))], (7771 ^ _50299) ^ [] : [-(ir(_327098))]]], (406 ^ _50299) ^ [_62789, _62791] : [iext(uri_rdfs_subPropertyOf, _62791, _62789), 409 ^ _50299 : [(414 ^ _50299) ^ [_63089, _63091] : [iext(_62791, _63091, _63089), -(iext(_62789, _63091, _63089))], (412 ^ _50299) ^ [] : [-(ip(_62789))], (410 ^ _50299) ^ [] : [-(ip(_62791))]]], (230 ^ _50299) ^ [_57445] : [ic(_57445), -(iext(uri_rdfs_subClassOf, _57445, uri_rdfs_Resource))], (7319 ^ _50299) ^ [_312863] : [icext(uri_xsd_anyURI, _312863), icext(uri_xsd_base64Binary, _312863)], (7103 ^ _50299) ^ [_306356] : [icext(uri_xsd_decimal, _306356), -(lv(_306356))], (7325 ^ _50299) ^ [_313052] : [icext(uri_xsd_anyURI, _313052), icext(uri_xsd_boolean, _313052)], (1459 ^ _50299) ^ [_96898, _96900] : [iext(uri_owl_targetValue, _96900, _96898), 1462 ^ _50299 : [(1465 ^ _50299) ^ [] : [-(lv(_96898))], (1463 ^ _50299) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _96900))]]], (7625 ^ _50299) ^ [_322508] : [icext(uri_xsd_long, _322508), -(icext(uri_xsd_integer, _322508))], (1103 ^ _50299) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (1025 ^ _50299) ^ [_82275, _82277] : [iext(uri_owl_annotatedTarget, _82277, _82275), 1028 ^ _50299 : [(1031 ^ _50299) ^ [] : [-(ir(_82275))], (1029 ^ _50299) ^ [] : [-(ir(_82277))]]], (7755 ^ _50299) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (827 ^ _50299) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (2247 ^ _50299) ^ [_122731, _122733, _122735, _122737, _122739, _122741, _122743] : [-(idc(_122743)), iext(uri_rdf_first, _122741, _122739), iext(uri_rdf_rest, _122741, _122737), iext(uri_rdf_first, _122737, _122735), iext(uri_rdf_rest, _122737, _122733), iext(uri_rdf_first, _122733, _122731), iext(uri_rdf_rest, _122733, uri_rdf_nil), idc(_122739), idc(_122735), idc(_122731), iext(uri_owl_unionOf, _122743, _122741)], (1135 ^ _50299) ^ [_85990, _85992] : [iext(uri_owl_disjointWith, _85992, _85990), 1138 ^ _50299 : [(1141 ^ _50299) ^ [] : [-(ic(_85990))], (1139 ^ _50299) ^ [] : [-(ic(_85992))]]], (1213 ^ _50299) ^ [] : [-(ioxp(uri_owl_imports))], (6656 ^ _50299) ^ [_288941] : [icext(uri_owl_TransitiveProperty, _288941), 6659 ^ _50299 : [(6662 ^ _50299) ^ [_289189, _289191, _289193] : [-(iext(_288941, _289193, _289189)), iext(_288941, _289193, _289191), iext(_288941, _289191, _289189)], (6660 ^ _50299) ^ [] : [-(ip(_288941))]]], (7245 ^ _50299) ^ [] : [-(idc(uri_owl_rational))], (1379 ^ _50299) ^ [_94198, _94200] : [iext(uri_owl_propertyChainAxiom, _94200, _94198), 1382 ^ _50299 : [(1385 ^ _50299) ^ [] : [-(icext(uri_rdf_List, _94198))], (1383 ^ _50299) ^ [] : [-(ip(_94200))]]], (7221 ^ _50299) ^ [] : [-(idc(uri_xsd_normalizedString))], (6611 ^ _50299) ^ [_287401] : [icext(uri_owl_ReflexiveProperty, _287401), 6614 ^ _50299 : [(6617 ^ _50299) ^ [_287582] : [-(iext(_287401, _287582, _287582))], (6615 ^ _50299) ^ [] : [-(ip(_287401))]]], (1315 ^ _50299) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (1185 ^ _50299) ^ [_87676, _87678] : [iext(uri_owl_hasSelf, _87678, _87676), 1188 ^ _50299 : [(1191 ^ _50299) ^ [] : [-(ir(_87676))], (1189 ^ _50299) ^ [] : [-(icext(uri_owl_Restriction, _87678))]]], (5034 ^ _50299) ^ [_232691, _232693] : [iext(uri_owl_differentFrom, _232693, _232691), _232693 = _232691], (7397 ^ _50299) ^ [_315320] : [icext(uri_xsd_base64Binary, _315320), icext(uri_xsd_hexBinary, _315320)], (6526 ^ _50299) ^ [_284300] : [icext(uri_owl_FunctionalProperty, _284300), 6529 ^ _50299 : [(6532 ^ _50299) ^ [_284547, _284549, _284551] : [-(_284549 = _284547), iext(_284300, _284551, _284549), iext(_284300, _284551, _284547)], (6530 ^ _50299) ^ [] : [-(ip(_284300))]]]], input).
% 75.11/72.97  ncf('1',plain,[iext(uri_rdfs_subPropertyOf, uri_ex_p1, uri_ex_p)],start(7824 ^ 0)).
% 75.11/72.97  ncf('1.1',plain,[-(iext(uri_rdfs_subPropertyOf, uri_ex_p1, uri_ex_p)), ip(uri_ex_p1), ip(uri_ex_p), 5030 : iext(uri_ex_p, 5025 ^ [uri_ex_p, uri_ex_p1], 5026 ^ [uri_ex_p, uri_ex_p1])],extension(5016 ^ 1,bind([[_232032, _232034], [uri_ex_p, uri_ex_p1]]))).
% 75.11/72.97  ncf('1.1.1',plain,[-(ip(uri_ex_p1)), 6281 : iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []), 6281 : iext(uri_rdf_first, 7816 ^ [], uri_ex_p1), 6281 : iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil)],extension(6273 ^ 2,bind([[_274778, _274780, _274782], [uri_ex_p1, 7816 ^ [], uri_ex_p]]))).
% 75.11/72.97  ncf('1.1.1.1',plain,[-(iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []))],extension(7818 ^ 5)).
% 75.11/72.97  ncf('1.1.1.2',plain,[-(iext(uri_rdf_first, 7816 ^ [], uri_ex_p1))],extension(7820 ^ 3)).
% 75.11/72.97  ncf('1.1.1.3',plain,[-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))],extension(7822 ^ 3)).
% 75.11/72.97  ncf('1.1.2',plain,[-(ip(uri_ex_p)), 6281 : iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []), 6281 : iext(uri_rdf_first, 7816 ^ [], uri_ex_p1), 6281 : iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil)],extension(6273 ^ 2,bind([[_274778, _274780, _274782], [uri_ex_p1, 7816 ^ [], uri_ex_p]]))).
% 75.11/72.97  ncf('1.1.2.1',plain,[-(iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []))],extension(7818 ^ 5)).
% 75.11/72.97  ncf('1.1.2.2',plain,[-(iext(uri_rdf_first, 7816 ^ [], uri_ex_p1))],extension(7820 ^ 3)).
% 75.11/72.97  ncf('1.1.2.3',plain,[-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))],extension(7822 ^ 3)).
% 75.11/72.97  ncf('1.1.3',plain,[-(iext(uri_ex_p, 5025 ^ [uri_ex_p, uri_ex_p1], 5026 ^ [uri_ex_p, uri_ex_p1])), 6289 : iext(uri_ex_p1, 5025 ^ [uri_ex_p, uri_ex_p1], 5026 ^ [uri_ex_p, uri_ex_p1]), 6289 : iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []), 6281 : iext(uri_rdf_first, 7816 ^ [], uri_ex_p1), 6281 : iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil)],extension(6273 ^ 4,bind([[_274778, _274780, _274782, _275301, _275303], [uri_ex_p1, 7816 ^ [], uri_ex_p, 5026 ^ [uri_ex_p, uri_ex_p1], 5025 ^ [uri_ex_p, uri_ex_p1]]]))).
% 75.11/72.97  ncf('1.1.3.1',plain,[-(iext(uri_ex_p1, 5025 ^ [uri_ex_p, uri_ex_p1], 5026 ^ [uri_ex_p, uri_ex_p1]))],extension(5028 ^ 9)).
% 75.11/72.97  ncf('1.1.3.2',plain,[-(iext(uri_owl_propertyChainAxiom, uri_ex_p, 7816 ^ []))],extension(7818 ^ 7)).
% 75.11/72.97  ncf('1.1.3.3',plain,[-(iext(uri_rdf_first, 7816 ^ [], uri_ex_p1))],extension(7820 ^ 5)).
% 75.11/72.97  ncf('1.1.3.4',plain,[-(iext(uri_rdf_rest, 7816 ^ [], uri_rdf_nil))],extension(7822 ^ 5)).
% 75.11/72.97  %-----------------------------------------------------
% 75.11/72.97  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------