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

% Computer : n021.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:45 EDT 2023

% Result   : Theorem 229.84s 221.56s
% Output   : Proof 229.84s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : SWB097+1 : TPTP v8.1.2. Released v5.2.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n021.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Thu May 18 21:01:57 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 229.84/221.56  
% 229.84/221.56  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 229.84/221.56  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 229.84/221.56  %-----------------------------------------------------
% 229.84/221.56  ncf(matrix, plain, [(7827 ^ _362693) ^ [] : [iext(uri_rdf_type, uri_ex_w, uri_ex_z)], !, (1628 ^ _77374) ^ [_129532, _129534, _129536] : [iext(uri_rdf_first, _129534, _129532), iext(uri_rdf_rest, _129534, uri_rdf_nil), 1635 ^ _77374 : [(1656 ^ _77374) ^ [] : [-(iext(uri_owl_intersectionOf, _129536, _129534)), ic(_129536), ic(_129532), 1668 ^ _77374 : [(1671 ^ _77374) ^ [] : [icext(_129532, 1665 ^ [_129532, _129534, _129536])], (1669 ^ _77374) ^ [] : [-(icext(_129536, 1665 ^ [_129532, _129534, _129536]))]], 1672 ^ _77374 : [(1675 ^ _77374) ^ [] : [icext(_129536, 1665 ^ [_129532, _129534, _129536])], (1673 ^ _77374) ^ [] : [-(icext(_129532, 1665 ^ [_129532, _129534, _129536]))]]], (1636 ^ _77374) ^ [] : [iext(uri_owl_intersectionOf, _129536, _129534), 1639 ^ _77374 : [(1640 ^ _77374) ^ [] : [-(ic(_129536))], (1642 ^ _77374) ^ [] : [-(ic(_129532))], (1650 ^ _77374) ^ [_130243] : [icext(_129532, _130243), -(icext(_129536, _130243))], (1644 ^ _77374) ^ [_130063] : [icext(_129536, _130063), -(icext(_129532, _130063))]]]]], (7673 ^ _77374) ^ [_351103] : [icext(uri_xsd_positiveInteger, _351103), -(icext(uri_xsd_nonNegativeInteger, _351103))], (7757 ^ _77374) ^ [_353835, _353837] : [iext(uri_xsd_maxInclusive, _353837, _353835), 7760 ^ _77374 : [(7763 ^ _77374) ^ [] : [-(lv(_353835))], (7761 ^ _77374) ^ [] : [-(ir(_353837))]]], (1205 ^ _77374) ^ [_115427, _115429] : [iext(uri_owl_imports, _115429, _115427), 1208 ^ _77374 : [(1211 ^ _77374) ^ [] : [-(ix(_115427))], (1209 ^ _77374) ^ [] : [-(ix(_115429))]]], (266 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (703 ^ _77374) ^ [] : [-(ic(uri_owl_Annotation))], (6672 ^ _77374) ^ [_316550] : [-(icext(uri_owl_TransitiveProperty, _316550)), ip(_316550), 6680 ^ _77374 : [(6683 ^ _77374) ^ [] : [-(iext(_316550, 6678 ^ [_316550], 6679 ^ [_316550]))], (6685 ^ _77374) ^ [] : [iext(_316550, 6677 ^ [_316550], 6679 ^ [_316550])], (6681 ^ _77374) ^ [] : [-(iext(_316550, 6677 ^ [_316550], 6678 ^ [_316550]))]]], (4140 ^ _77374) ^ [_224716, _224718, _224720] : [iext(uri_owl_maxQualifiedCardinality, _224720, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _224720, _224718), iext(uri_owl_onClass, _224720, _224716), 4151 ^ _77374 : [(4152 ^ _77374) ^ [_225092] : [icext(_224720, _225092), 4155 ^ _77374 : [(4156 ^ _77374) ^ [_225246] : [iext(_224718, _225092, _225246), icext(_224716, _225246)]]], (4162 ^ _77374) ^ [_225440] : [4164 ^ _77374 : [(4167 ^ _77374) ^ [] : [-(icext(_224716, 4163 ^ [_224716, _224718, _224720, _225440]))], (4165 ^ _77374) ^ [] : [-(iext(_224718, _225440, 4163 ^ [_224716, _224718, _224720, _225440]))]], -(icext(_224720, _225440))]]], (687 ^ _77374) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (272 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (7223 ^ _77374) ^ [_337046] : [icext(uri_rdf_PlainLiteral, _337046), -(lv(_337046))], (7263 ^ _77374) ^ [_338251] : [icext(uri_xsd_string, _338251), -(lv(_338251))], (1003 ^ _77374) ^ [] : [-(ip(uri_owl_allValuesFrom))], (2217 ^ _77374) ^ [_148898, _148900, _148902, _148904, _148906] : [-(idc(_148906)), iext(uri_rdf_first, _148904, _148902), iext(uri_rdf_rest, _148904, _148900), iext(uri_rdf_first, _148900, _148898), iext(uri_rdf_rest, _148900, uri_rdf_nil), idc(_148902), idc(_148898), iext(uri_owl_unionOf, _148906, _148904)], (1419 ^ _77374) ^ [_122623, _122625] : [iext(uri_rdfs_seeAlso, _122625, _122623), 1422 ^ _77374 : [(1425 ^ _77374) ^ [] : [-(ir(_122623))], (1423 ^ _77374) ^ [] : [-(ir(_122625))]]], (1163 ^ _77374) ^ [] : [-(ip(uri_owl_equivalentClass))], (294 ^ _77374) ^ [_86355, _86357, _86359, _86361] : [-(icext(_86359, _86357)), iext(uri_rdfs_domain, _86361, _86359), iext(_86361, _86357, _86355)], (7247 ^ _77374) ^ [_337769] : [icext(uri_owl_real, _337769), -(lv(_337769))], (7133 ^ _77374) ^ [] : [-(idc(uri_xsd_hexBinary))], (284 ^ _77374) ^ [_86015] : [icext(uri_rdfs_Datatype, _86015), -(iext(uri_rdfs_subClassOf, _86015, uri_rdfs_Literal))], (7819 ^ _77374) ^ [] : [-(iext(uri_owl_onProperty, uri_ex_z, uri_ex_p))], (7181 ^ _77374) ^ [] : [-(idc(uri_xsd_NCName))], (256 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (7727 ^ _77374) ^ [_352827, _352829] : [iext(uri_rdf_langRange, _352829, _352827), 7730 ^ _77374 : [(7733 ^ _77374) ^ [] : [-(lv(_352827))], (7731 ^ _77374) ^ [] : [-(ir(_352829))]]], (7433 ^ _77374) ^ [_343529] : [icext(uri_xsd_boolean, _343529), icext(uri_xsd_float, _343529)], (616 ^ _77374) ^ [_96777] : [iext(uri_rdf_type, _96777, uri_rdf_Property), -(ip(_96777))], (490 ^ _77374) ^ [_92613] : [idc(_92613), -(iext(uri_rdf_type, _92613, uri_rdfs_Datatype))], (2620 ^ _77374) ^ [_162083, _162085] : [iext(uri_owl_cardinality, _162085, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _162085, _162083), 2627 ^ _77374 : [(2634 ^ _77374) ^ [_162547] : [-(iext(_162083, _162547, 2635 ^ [_162083, _162085, _162547])), -(icext(_162085, _162547))], (2628 ^ _77374) ^ [_162350] : [icext(_162085, _162350), 2631 ^ _77374 : [(2632 ^ _77374) ^ [_162476] : [iext(_162083, _162350, _162476)]]]]], (7331 ^ _77374) ^ [_340316] : [icext(uri_xsd_anyURI, _340316), icext(uri_xsd_dateTime, _340316)], (1195 ^ _77374) ^ [_115089, _115091] : [iext(uri_owl_hasValue, _115091, _115089), 1198 ^ _77374 : [(1201 ^ _77374) ^ [] : [-(ir(_115089))], (1199 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _115091))]]], (7253 ^ _77374) ^ [] : [-(idc(uri_owl_real))], (1355 ^ _77374) ^ [] : [-(ip(uri_owl_oneOf))], (1267 ^ _77374) ^ [_117498, _117500] : [iext(uri_owl_maxCardinality, _117500, _117498), 1270 ^ _77374 : [(1273 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _117498))], (1271 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _117500))]]], (1467 ^ _77374) ^ [] : [-(ip(uri_owl_targetValue))], (1527 ^ _77374) ^ [] : [-(ioap(uri_owl_versionInfo))], (1507 ^ _77374) ^ [] : [-(ip(uri_owl_topObjectProperty))], (7215 ^ _77374) ^ [_336805] : [icext(uri_xsd_normalizedString, _336805), -(lv(_336805))], (7409 ^ _77374) ^ [_342773] : [icext(uri_xsd_base64Binary, _342773), icext(uri_owl_real, _342773)], (224 ^ _77374) ^ [_84320, _84322] : [icext(_84320, _84322), -(iext(uri_rdf_type, _84322, _84320))], (7745 ^ _77374) ^ [] : [-(iodp(uri_xsd_length))], (1377 ^ _77374) ^ [] : [-(ioxp(uri_owl_priorVersion))], (7085 ^ _77374) ^ [] : [-(idc(uri_xsd_byte))], (927 ^ _77374) ^ [_106267] : [ip(_106267), -(icext(uri_rdf_Property, _106267))], (2019 ^ _77374) ^ [_142237, _142239, _142241, _142243, _142245] : [iext(uri_rdf_first, _142243, _142241), iext(uri_rdf_rest, _142243, _142239), iext(uri_rdf_first, _142239, _142237), iext(uri_rdf_rest, _142239, uri_rdf_nil), 2034 ^ _77374 : [(2063 ^ _77374) ^ [] : [-(iext(uri_owl_unionOf, _142245, _142243)), ic(_142245), ic(_142241), ic(_142237), 2079 ^ _77374 : [(2082 ^ _77374) ^ [] : [icext(_142241, 2076 ^ [_142237, _142239, _142241, _142243, _142245])], (2084 ^ _77374) ^ [] : [icext(_142237, 2076 ^ [_142237, _142239, _142241, _142243, _142245])], (2080 ^ _77374) ^ [] : [-(icext(_142245, 2076 ^ [_142237, _142239, _142241, _142243, _142245]))]], 2085 ^ _77374 : [(2086 ^ _77374) ^ [] : [-(icext(_142241, 2076 ^ [_142237, _142239, _142241, _142243, _142245])), -(icext(_142237, 2076 ^ [_142237, _142239, _142241, _142243, _142245]))], (2092 ^ _77374) ^ [] : [icext(_142245, 2076 ^ [_142237, _142239, _142241, _142243, _142245])]]], (2035 ^ _77374) ^ [] : [iext(uri_owl_unionOf, _142245, _142243), 2038 ^ _77374 : [(2055 ^ _77374) ^ [_143390] : [2056 ^ _77374 : [(2059 ^ _77374) ^ [] : [icext(_142237, _143390)], (2057 ^ _77374) ^ [] : [icext(_142241, _143390)]], -(icext(_142245, _143390))], (2043 ^ _77374) ^ [] : [-(ic(_142237))], (2041 ^ _77374) ^ [] : [-(ic(_142241))], (2039 ^ _77374) ^ [] : [-(ic(_142245))], (2045 ^ _77374) ^ [_143088] : [icext(_142245, _143088), -(icext(_142241, _143088)), -(icext(_142237, _143088))]]]]], (7117 ^ _77374) ^ [] : [-(idc(uri_xsd_double))], (7197 ^ _77374) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (1609 ^ _77374) ^ [_128931] : [-(iext(uri_owl_intersectionOf, _128931, uri_rdf_nil)), ic(_128931), 1617 ^ _77374 : [(1620 ^ _77374) ^ [] : [ir(1614 ^ [_128931])], (1618 ^ _77374) ^ [] : [-(icext(_128931, 1614 ^ [_128931]))]], 1621 ^ _77374 : [(1624 ^ _77374) ^ [] : [icext(_128931, 1614 ^ [_128931])], (1622 ^ _77374) ^ [] : [-(ir(1614 ^ [_128931]))]]], (7595 ^ _77374) ^ [_348633] : [icext(uri_xsd_dateTimeStamp, _348633), -(icext(uri_xsd_dateTime, _348633))], (3937 ^ _77374) ^ [_216142, _216144, _216146] : [iext(uri_owl_maxQualifiedCardinality, _216146, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _216146, _216144), iext(uri_owl_onDataRange, _216146, _216142), 3948 ^ _77374 : [(3997 ^ _77374) ^ [_218083] : [4001 ^ _77374 : [(4006 ^ _77374) ^ [] : [-(icext(_216142, 3998 ^ [_216142, _216144, _216146, _218083]))], (4018 ^ _77374) ^ [] : [-(icext(_216142, 4000 ^ [_216142, _216144, _216146, _218083]))], (4004 ^ _77374) ^ [] : [-(iext(_216144, _218083, 3998 ^ [_216142, _216144, _216146, _218083]))], (4010 ^ _77374) ^ [] : [-(iext(_216144, _218083, 3999 ^ [_216142, _216144, _216146, _218083]))], (4008 ^ _77374) ^ [] : [-(lv(3999 ^ [_216142, _216144, _216146, _218083]))], (4016 ^ _77374) ^ [] : [-(iext(_216144, _218083, 4000 ^ [_216142, _216144, _216146, _218083]))], (4014 ^ _77374) ^ [] : [-(lv(4000 ^ [_216142, _216144, _216146, _218083]))], (4012 ^ _77374) ^ [] : [-(icext(_216142, 3999 ^ [_216142, _216144, _216146, _218083]))], (4020 ^ _77374) ^ [] : [4000 ^ [_216142, _216144, _216146, _218083] = 3998 ^ [_216142, _216144, _216146, _218083]], (4022 ^ _77374) ^ [] : [4000 ^ [_216142, _216144, _216146, _218083] = 3999 ^ [_216142, _216144, _216146, _218083]], (4002 ^ _77374) ^ [] : [-(lv(3998 ^ [_216142, _216144, _216146, _218083]))]], -(icext(_216146, _218083))], (3951 ^ _77374) ^ [_216651] : [icext(_216146, _216651), 3954 ^ _77374 : [(3955 ^ _77374) ^ [_216894, _216896, _216898] : [-(_216894 = _216898), -(_216894 = _216896), lv(_216898), iext(_216144, _216651, _216898), icext(_216142, _216898), lv(_216896), iext(_216144, _216651, _216896), icext(_216142, _216896), lv(_216894), iext(_216144, _216651, _216894), icext(_216142, _216894)]]], (3949 ^ _77374) ^ [] : [-(iodp(_216144))]]], (1255 ^ _77374) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (2096 ^ _77374) ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824] : [iext(uri_rdf_first, _144822, _144820), iext(uri_rdf_rest, _144822, _144818), iext(uri_rdf_first, _144818, _144816), iext(uri_rdf_rest, _144818, _144814), iext(uri_rdf_first, _144814, _144812), iext(uri_rdf_rest, _144814, uri_rdf_nil), 2119 ^ _77374 : [(2156 ^ _77374) ^ [] : [-(iext(uri_owl_unionOf, _144824, _144822)), ic(_144824), ic(_144820), ic(_144816), ic(_144812), 2176 ^ _77374 : [(2177 ^ _77374) ^ [] : [-(icext(_144824, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824]))], (2179 ^ _77374) ^ [] : [icext(_144820, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])], (2183 ^ _77374) ^ [] : [icext(_144812, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])], (2181 ^ _77374) ^ [] : [icext(_144816, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])]], 2184 ^ _77374 : [(2185 ^ _77374) ^ [] : [-(icext(_144820, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])), -(icext(_144816, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])), -(icext(_144812, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824]))], (2195 ^ _77374) ^ [] : [icext(_144824, 2173 ^ [_144812, _144814, _144816, _144818, _144820, _144822, _144824])]]], (2120 ^ _77374) ^ [] : [iext(uri_owl_unionOf, _144824, _144822), 2123 ^ _77374 : [(2146 ^ _77374) ^ [_146463] : [2147 ^ _77374 : [(2150 ^ _77374) ^ [] : [icext(_144816, _146463)], (2152 ^ _77374) ^ [] : [icext(_144812, _146463)], (2148 ^ _77374) ^ [] : [icext(_144820, _146463)]], -(icext(_144824, _146463))], (2128 ^ _77374) ^ [] : [-(ic(_144816))], (2130 ^ _77374) ^ [] : [-(ic(_144812))], (2132 ^ _77374) ^ [_146023] : [icext(_144824, _146023), -(icext(_144820, _146023)), -(icext(_144816, _146023)), -(icext(_144812, _146023))], (2124 ^ _77374) ^ [] : [-(ic(_144824))], (2126 ^ _77374) ^ [] : [-(ic(_144820))]]]]], (755 ^ _77374) ^ [_101042] : [ic(_101042), -(icext(uri_rdfs_Class, _101042))], (526 ^ _77374) ^ [_93771] : [iext(uri_rdf_type, _93771, uri_owl_AnnotationProperty), -(ioap(_93771))], (258 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (655 ^ _77374) ^ [_97998] : [lv(_97998), -(ir(_97998))], (7093 ^ _77374) ^ [] : [-(idc(uri_xsd_dateTime))], (442 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (631 ^ _77374) ^ [_97243] : [iext(uri_rdf_type, _97243, uri_rdfs_Resource), -(ir(_97243))], (7541 ^ _77374) ^ [_346931] : [icext(uri_xsd_float, _346931), icext(uri_owl_real, _346931)], (7691 ^ _77374) ^ [_351673] : [icext(uri_xsd_string, _351673), -(icext(uri_rdf_PlainLiteral, _351673))], (1497 ^ _77374) ^ [_125191, _125193] : [-(iext(uri_owl_topObjectProperty, _125193, _125191)), ir(_125193), ir(_125191)], (4496 ^ _77374) ^ [_239223, _239225, _239227] : [4507 ^ _77374 : [(4510 ^ _77374) ^ [_239607] : [-(icext(_239227, _239607))], (4508 ^ _77374) ^ [] : [-(iodp(_239225))]], iext(uri_owl_minQualifiedCardinality, _239227, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _239227, _239225), iext(uri_owl_onDataRange, _239227, _239223)], (7183 ^ _77374) ^ [_335841] : [icext(uri_xsd_negativeInteger, _335841), -(lv(_335841))], (218 ^ _77374) ^ [_84156, _84158] : [iext(uri_rdf_type, _84158, _84156), -(icext(_84156, _84158))], (586 ^ _77374) ^ [_95775] : [iext(uri_rdf_type, _95775, uri_owl_OntologyProperty), -(ioxp(_95775))], (1968 ^ _77374) ^ [_140599, _140601, _140603] : [iext(uri_rdf_first, _140601, _140599), iext(uri_rdf_rest, _140601, uri_rdf_nil), 1975 ^ _77374 : [(1996 ^ _77374) ^ [] : [-(iext(uri_owl_unionOf, _140603, _140601)), ic(_140603), ic(_140599), 2008 ^ _77374 : [(2011 ^ _77374) ^ [] : [icext(_140599, 2005 ^ [_140599, _140601, _140603])], (2009 ^ _77374) ^ [] : [-(icext(_140603, 2005 ^ [_140599, _140601, _140603]))]], 2012 ^ _77374 : [(2015 ^ _77374) ^ [] : [icext(_140603, 2005 ^ [_140599, _140601, _140603])], (2013 ^ _77374) ^ [] : [-(icext(_140599, 2005 ^ [_140599, _140601, _140603]))]]], (1976 ^ _77374) ^ [] : [iext(uri_owl_unionOf, _140603, _140601), 1979 ^ _77374 : [(1980 ^ _77374) ^ [] : [-(ic(_140603))], (1982 ^ _77374) ^ [] : [-(ic(_140599))], (1990 ^ _77374) ^ [_141310] : [icext(_140599, _141310), -(icext(_140603, _141310))], (1984 ^ _77374) ^ [_141130] : [icext(_140603, _141130), -(icext(_140599, _141130))]]]]], (1957 ^ _77374) ^ [_140238] : [-(iext(uri_owl_unionOf, _140238, uri_rdf_nil)), ic(_140238), -(icext(_140238, 1962 ^ [_140238]))], (7505 ^ _77374) ^ [_345797] : [icext(uri_xsd_double, _345797), icext(uri_xsd_hexBinary, _345797)], (7159 ^ _77374) ^ [_335118] : [icext(uri_xsd_long, _335118), -(lv(_335118))], (697 ^ _77374) ^ [_99284] : [icext(uri_owl_Annotation, _99284), -(ir(_99284))], (7589 ^ _77374) ^ [_348443] : [icext(uri_xsd_byte, _348443), -(icext(uri_xsd_short, _348443))], (2247 ^ _77374) ^ [_149806, _149808, _149810, _149812, _149814, _149816, _149818] : [-(idc(_149818)), iext(uri_rdf_first, _149816, _149814), iext(uri_rdf_rest, _149816, _149812), iext(uri_rdf_first, _149812, _149810), iext(uri_rdf_rest, _149812, _149808), iext(uri_rdf_first, _149808, _149806), iext(uri_rdf_rest, _149808, uri_rdf_nil), idc(_149814), idc(_149810), idc(_149806), iext(uri_owl_unionOf, _149818, _149816)], (1357 ^ _77374) ^ [_120546, _120548] : [iext(uri_owl_onProperty, _120548, _120546), 1360 ^ _77374 : [(1363 ^ _77374) ^ [] : [-(ip(_120546))], (1361 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _120548))]]], (366 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (993 ^ _77374) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (7361 ^ _77374) ^ [_341261] : [icext(uri_xsd_anyURI, _341261), icext(uri_owl_real, _341261)], (4 ^ _77374) ^ [_77605, _77607] : [_77607 = _77605, -(_77605 = _77607)], (4221 ^ _77374) ^ [_227818, _227820, _227822] : [iext(uri_owl_maxQualifiedCardinality, _227822, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _227822, _227820), iext(uri_owl_onClass, _227822, _227818), 4232 ^ _77374 : [(4233 ^ _77374) ^ [_228240] : [icext(_227822, _228240), 4236 ^ _77374 : [(4237 ^ _77374) ^ [_228468, _228470, _228472] : [-(_228468 = _228472), -(_228468 = _228470), iext(_227820, _228240, _228472), icext(_227818, _228472), iext(_227820, _228240, _228470), icext(_227818, _228470), iext(_227820, _228240, _228468), icext(_227818, _228468)]]], (4267 ^ _77374) ^ [_229336] : [4271 ^ _77374 : [(4286 ^ _77374) ^ [] : [4270 ^ [_227818, _227820, _227822, _229336] = 4269 ^ [_227818, _227820, _227822, _229336]], (4280 ^ _77374) ^ [] : [-(iext(_227820, _229336, 4270 ^ [_227818, _227820, _227822, _229336]))], (4282 ^ _77374) ^ [] : [-(icext(_227818, 4270 ^ [_227818, _227820, _227822, _229336]))], (4284 ^ _77374) ^ [] : [4270 ^ [_227818, _227820, _227822, _229336] = 4268 ^ [_227818, _227820, _227822, _229336]], (4276 ^ _77374) ^ [] : [-(iext(_227820, _229336, 4269 ^ [_227818, _227820, _227822, _229336]))], (4274 ^ _77374) ^ [] : [-(icext(_227818, 4268 ^ [_227818, _227820, _227822, _229336]))], (4272 ^ _77374) ^ [] : [-(iext(_227820, _229336, 4268 ^ [_227818, _227820, _227822, _229336]))], (4278 ^ _77374) ^ [] : [-(icext(_227818, 4269 ^ [_227818, _227820, _227822, _229336]))]], -(icext(_227822, _229336))]]], (1337 ^ _77374) ^ [_119872, _119874] : [iext(uri_owl_onDatatype, _119874, _119872), 1340 ^ _77374 : [(1343 ^ _77374) ^ [] : [-(idc(_119872))], (1341 ^ _77374) ^ [] : [-(idc(_119874))]]], (4985 ^ _77374) ^ [_258054, _258056] : [-(iext(uri_rdfs_subClassOf, _258056, _258054)), ic(_258056), ic(_258054), 4995 ^ _77374 : [(4998 ^ _77374) ^ [] : [icext(_258054, 4994 ^ [_258054, _258056])], (4996 ^ _77374) ^ [] : [-(icext(_258056, 4994 ^ [_258054, _258056]))]]], (324 ^ _77374) ^ [_87273] : [icext(uri_rdfs_Resource, _87273), -(ir(_87273))], (3652 ^ _77374) ^ [_204894, _204896, _204898] : [iext(uri_owl_hasValue, _204898, _204894), iext(uri_owl_onProperty, _204898, _204896), 3659 ^ _77374 : [(3666 ^ _77374) ^ [_205344] : [iext(_204896, _205344, _204894), -(icext(_204898, _205344))], (3660 ^ _77374) ^ [_205162] : [icext(_204898, _205162), -(iext(_204896, _205162, _204894))]]], (7103 ^ _77374) ^ [_333431] : [icext(uri_xsd_decimal, _333431), -(lv(_333431))], (1073 ^ _77374) ^ [] : [-(ip(uri_owl_cardinality))], (689 ^ _77374) ^ [_99043] : [icext(uri_owl_AllDisjointProperties, _99043), -(ir(_99043))], (2418 ^ _77374) ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] : [iext(uri_rdf_first, _155379, _155377), iext(uri_rdf_rest, _155379, _155375), iext(uri_rdf_first, _155375, _155373), iext(uri_rdf_rest, _155375, _155371), iext(uri_rdf_first, _155371, _155369), iext(uri_rdf_rest, _155371, uri_rdf_nil), 2441 ^ _77374 : [(2442 ^ _77374) ^ [] : [iext(uri_owl_oneOf, _155381, _155379), 2445 ^ _77374 : [(2462 ^ _77374) ^ [_156780] : [2463 ^ _77374 : [(2466 ^ _77374) ^ [] : [_156780 = _155373], (2468 ^ _77374) ^ [] : [_156780 = _155369], (2464 ^ _77374) ^ [] : [_156780 = _155377]], -(icext(_155381, _156780))], (2448 ^ _77374) ^ [_156340] : [icext(_155381, _156340), -(_156340 = _155377), -(_156340 = _155373), -(_156340 = _155369)], (2446 ^ _77374) ^ [] : [-(ic(_155381))]]], (2472 ^ _77374) ^ [] : [-(iext(uri_owl_oneOf, _155381, _155379)), ic(_155381), 2480 ^ _77374 : [(2481 ^ _77374) ^ [] : [-(icext(_155381, 2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381]))], (2483 ^ _77374) ^ [] : [2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155377], (2487 ^ _77374) ^ [] : [2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155369], (2485 ^ _77374) ^ [] : [2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155373]], 2488 ^ _77374 : [(2489 ^ _77374) ^ [] : [-(2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155377), -(2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155373), -(2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381] = _155369)], (2499 ^ _77374) ^ [] : [icext(_155381, 2477 ^ [_155369, _155371, _155373, _155375, _155377, _155379, _155381])]]]]], (7373 ^ _77374) ^ [_341639] : [icext(uri_xsd_base64Binary, _341639), icext(uri_xsd_boolean, _341639)], (7213 ^ _77374) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (1023 ^ _77374) ^ [] : [-(ip(uri_owl_annotatedSource))], (1125 ^ _77374) ^ [_112727, _112729] : [iext(uri_owl_disjointUnionOf, _112729, _112727), 1128 ^ _77374 : [(1131 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _112727))], (1129 ^ _77374) ^ [] : [-(ic(_112729))]]], (1005 ^ _77374) ^ [_108678, _108680] : [iext(uri_owl_annotatedProperty, _108680, _108678), 1008 ^ _77374 : [(1011 ^ _77374) ^ [] : [-(ir(_108678))], (1009 ^ _77374) ^ [] : [-(ir(_108680))]]], (7565 ^ _77374) ^ [_347687] : [icext(uri_xsd_hexBinary, _347687), icext(uri_rdf_XMLLiteral, _347687)], (1285 ^ _77374) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (7517 ^ _77374) ^ [_346175] : [icext(uri_xsd_double, _346175), icext(uri_owl_real, _346175)], (705 ^ _77374) ^ [_99554] : [icext(uri_owl_AnnotationProperty, _99554), -(ioap(_99554))], (7311 ^ _77374) ^ [_339697] : [icext(uri_rdf_XMLLiteral, _339697), -(lv(_339697))], (6592 ^ _77374) ^ [_313857] : [icext(uri_owl_IrreflexiveReflexiveProperty, _313857), 6595 ^ _77374 : [(6598 ^ _77374) ^ [_314039] : [iext(_313857, _314039, _314039)], (6596 ^ _77374) ^ [] : [-(ip(_313857))]]], (1409 ^ _77374) ^ [_122287, _122289] : [iext(uri_owl_sameAs, _122289, _122287), 1412 ^ _77374 : [(1415 ^ _77374) ^ [] : [-(ir(_122287))], (1413 ^ _77374) ^ [] : [-(ir(_122289))]]], (360 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (933 ^ _77374) ^ [] : [-(ic(uri_rdf_Property))], (7511 ^ _77374) ^ [_345986] : [icext(uri_xsd_double, _345986), icext(uri_rdf_PlainLiteral, _345986)], (7135 ^ _77374) ^ [_334395] : [icext(uri_xsd_int, _334395), -(lv(_334395))], (1379 ^ _77374) ^ [_121273, _121275] : [iext(uri_owl_propertyChainAxiom, _121275, _121273), 1382 ^ _77374 : [(1385 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _121273))], (1383 ^ _77374) ^ [] : [-(ip(_121275))]]], (406 ^ _77374) ^ [_89864, _89866] : [iext(uri_rdfs_subPropertyOf, _89866, _89864), 409 ^ _77374 : [(412 ^ _77374) ^ [] : [-(ip(_89864))], (414 ^ _77374) ^ [_90164, _90166] : [iext(_89866, _90166, _90164), -(iext(_89864, _90166, _90164))], (410 ^ _77374) ^ [] : [-(ip(_89866))]]], (971 ^ _77374) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (717 ^ _77374) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (7018 ^ _77374) ^ [_330797, _330799, _330801] : [7034 ^ _77374 : [(7037 ^ _77374) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_330797, _330799, _330801], _330801))], (7039 ^ _77374) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_330797, _330799, _330801], _330797))], (7035 ^ _77374) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_330797, _330799, _330801], _330799))]], ir(_330799), ip(_330801), ir(_330797), -(iext(_330801, _330799, _330797))], (963 ^ _77374) ^ [] : [-(ic(uri_owl_Restriction))], (318 ^ _77374) ^ [_87119] : [ir(_87119), -(icext(uri_rdfs_Resource, _87119))], (879 ^ _77374) ^ [_104835] : [icext(uri_owl_ObjectProperty, _104835), -(ip(_104835))], (2887 ^ _77374) ^ [_173072, _173074, _173076] : [iext(uri_owl_qualifiedCardinality, _173076, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _173076, _173074), iext(uri_owl_onDataRange, _173076, _173072), 2898 ^ _77374 : [(2938 ^ _77374) ^ [_174840] : [-(icext(_173076, _174840)), 2953 ^ _77374 : [(2962 ^ _77374) ^ [] : [-(iext(_173074, _174840, 2952 ^ [_173072, _173074, _173076, _174840]))], (2958 ^ _77374) ^ [] : [-(icext(_173072, 2951 ^ [_173072, _173074, _173076, _174840]))], (2960 ^ _77374) ^ [] : [-(lv(2952 ^ [_173072, _173074, _173076, _174840]))], (2954 ^ _77374) ^ [] : [-(lv(2951 ^ [_173072, _173074, _173076, _174840]))], (2966 ^ _77374) ^ [] : [2952 ^ [_173072, _173074, _173076, _174840] = 2951 ^ [_173072, _173074, _173076, _174840]], (2964 ^ _77374) ^ [] : [-(icext(_173072, 2952 ^ [_173072, _173074, _173076, _174840]))], (2956 ^ _77374) ^ [] : [-(iext(_173074, _174840, 2951 ^ [_173072, _173074, _173076, _174840]))]], 2941 ^ _77374 : [(2942 ^ _77374) ^ [_175038] : [lv(_175038), iext(_173074, _174840, _175038), icext(_173072, _175038)]]], (2901 ^ _77374) ^ [_173575] : [icext(_173076, _173575), 2905 ^ _77374 : [(2906 ^ _77374) ^ [] : [-(lv(2904 ^ [_173072, _173074, _173076, _173575]))], (2908 ^ _77374) ^ [] : [-(iext(_173074, _173575, 2904 ^ [_173072, _173074, _173076, _173575]))], (2912 ^ _77374) ^ [_174110, _174112] : [-(_174110 = _174112), lv(_174112), iext(_173074, _173575, _174112), icext(_173072, _174112), lv(_174110), iext(_173074, _173575, _174110), icext(_173072, _174110)], (2910 ^ _77374) ^ [] : [-(icext(_173072, 2904 ^ [_173072, _173074, _173076, _173575]))]]], (2899 ^ _77374) ^ [] : [-(iodp(_173074))]]], (1123 ^ _77374) ^ [] : [-(ip(uri_owl_differentFrom))], (1447 ^ _77374) ^ [] : [-(ip(uri_owl_sourceIndividual))], (7237 ^ _77374) ^ [] : [-(idc(uri_xsd_positiveInteger))], (5757 ^ _77374) ^ [_283974, _283976, _283978, _283980, _283982, _283984] : [5793 ^ _77374 : [(5796 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_283974, _283976, _283978, _283980, _283982, _283984], _283984))], (5794 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_283974, _283976, _283978, _283980, _283982, _283984]))]], iext(uri_rdf_first, _283984, _283982), iext(uri_rdf_rest, _283984, _283980), iext(uri_rdf_first, _283980, _283978), iext(uri_rdf_rest, _283980, _283976), iext(uri_rdf_first, _283976, _283974), iext(uri_rdf_rest, _283976, uri_rdf_nil), -(_283982 = _283978), -(_283982 = _283974), -(_283978 = _283974)], (797 ^ _77374) ^ [_102320] : [iodp(_102320), -(icext(uri_owl_DatatypeProperty, _102320))], (761 ^ _77374) ^ [] : [-(ic(uri_rdfs_Class))], (1095 ^ _77374) ^ [_111719, _111721] : [iext(uri_owl_datatypeComplementOf, _111721, _111719), 1098 ^ _77374 : [(1101 ^ _77374) ^ [] : [-(idc(_111719))], (1099 ^ _77374) ^ [] : [-(idc(_111721))]]], (6619 ^ _77374) ^ [_314726] : [-(icext(uri_owl_ReflexiveProperty, _314726)), ip(_314726), iext(_314726, 6624 ^ [_314726], 6624 ^ [_314726])], (4443 ^ _77374) ^ [_236973, _236975] : [iext(uri_owl_minCardinality, _236975, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _236975, _236973), 4450 ^ _77374 : [(4470 ^ _77374) ^ [_238304] : [-(icext(_236975, _238304)), 4471 ^ _77374 : [(4472 ^ _77374) ^ [_238473, _238475, _238477] : [iext(_236973, _238304, _238477), iext(_236973, _238304, _238475), iext(_236973, _238304, _238473), -(_238477 = _238475), -(_238477 = _238473), -(_238475 = _238473)]]], (4451 ^ _77374) ^ [_237286] : [icext(_236975, _237286), 4457 ^ _77374 : [(4466 ^ _77374) ^ [] : [4454 ^ [_236973, _236975, _237286] = 4456 ^ [_236973, _236975, _237286]], (4462 ^ _77374) ^ [] : [-(iext(_236973, _237286, 4456 ^ [_236973, _236975, _237286]))], (4464 ^ _77374) ^ [] : [4454 ^ [_236973, _236975, _237286] = 4455 ^ [_236973, _236975, _237286]], (4468 ^ _77374) ^ [] : [4455 ^ [_236973, _236975, _237286] = 4456 ^ [_236973, _236975, _237286]], (4458 ^ _77374) ^ [] : [-(iext(_236973, _237286, 4454 ^ [_236973, _236975, _237286]))], (4460 ^ _77374) ^ [] : [-(iext(_236973, _237286, 4455 ^ [_236973, _236975, _237286]))]]]]], (172 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (763 ^ _77374) ^ [_101314] : [icext(uri_owl_DataRange, _101314), -(idc(_101314))], (7109 ^ _77374) ^ [] : [-(idc(uri_xsd_decimal))], (7071 ^ _77374) ^ [_332467] : [icext(uri_xsd_boolean, _332467), -(lv(_332467))], (935 ^ _77374) ^ [_106510] : [icext(uri_owl_ReflexiveProperty, _106510), -(ip(_106510))], (4971 ^ _77374) ^ [_257594, _257596] : [iext(uri_rdfs_subClassOf, _257596, _257594), 4974 ^ _77374 : [(4977 ^ _77374) ^ [] : [-(ic(_257594))], (4979 ^ _77374) ^ [_257873] : [icext(_257596, _257873), -(icext(_257594, _257873))], (4975 ^ _77374) ^ [] : [-(ic(_257596))]]], (7063 ^ _77374) ^ [_332226] : [icext(uri_xsd_base64Binary, _332226), -(lv(_332226))], (837 ^ _77374) ^ [_103527] : [icext(uri_owl_IrreflexiveProperty, _103527), -(ip(_103527))], (6162 ^ _77374) ^ [] : [-(tautology), tautology], (6512 ^ _77374) ^ [_310844] : [-(icext(uri_owl_AsymmetricProperty, _310844)), ip(_310844), 6519 ^ _77374 : [(6522 ^ _77374) ^ [] : [-(iext(_310844, 6518 ^ [_310844], 6517 ^ [_310844]))], (6520 ^ _77374) ^ [] : [-(iext(_310844, 6517 ^ [_310844], 6518 ^ [_310844]))]]], (292 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (1459 ^ _77374) ^ [_123973, _123975] : [iext(uri_owl_targetValue, _123975, _123973), 1462 ^ _77374 : [(1465 ^ _77374) ^ [] : [-(lv(_123973))], (1463 ^ _77374) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _123975))]]], (160 ^ _77374) ^ [_82490] : [lv(_82490), -(ir(_82490))], (1287 ^ _77374) ^ [_118178, _118180] : [iext(uri_owl_members, _118180, _118178), 1290 ^ _77374 : [(1293 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _118178))], (1291 ^ _77374) ^ [] : [-(ir(_118180))]]], (5732 ^ _77374) ^ [_283129, _283131, _283133, _283135] : [5752 ^ _77374 : [(5755 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_283129, _283131, _283133, _283135], _283135))], (5753 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_283129, _283131, _283133, _283135]))]], iext(uri_rdf_first, _283135, _283133), iext(uri_rdf_rest, _283135, _283131), iext(uri_rdf_first, _283131, _283129), iext(uri_rdf_rest, _283131, uri_rdf_nil), -(_283133 = _283129)], (907 ^ _77374) ^ [_105687] : [icext(uri_owl_OntologyProperty, _105687), -(ioxp(_105687))], (7775 ^ _77374) ^ [] : [-(iodp(uri_xsd_maxLength))], (114 ^ _77374) ^ [_80926, _80928] : [-(iodp(_80926)), _80928 = _80926, iodp(_80928)], (1305 ^ _77374) ^ [] : [-(ip(uri_owl_minCardinality))], (344 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (372 ^ _77374) ^ [_88731, _88733] : [iext(uri_rdfs_subClassOf, _88733, _88731), 375 ^ _77374 : [(378 ^ _77374) ^ [] : [-(ic(_88731))], (380 ^ _77374) ^ [_89010] : [icext(_88733, _89010), -(icext(_88731, _89010))], (376 ^ _77374) ^ [] : [-(ic(_88733))]]], (7807 ^ _77374) ^ [_355515, _355517] : [iext(uri_xsd_pattern, _355517, _355515), 7810 ^ _77374 : [(7813 ^ _77374) ^ [] : [-(lv(_355515))], (7811 ^ _77374) ^ [] : [-(ir(_355517))]]], (4551 ^ _77374) ^ [_241158, _241160, _241162] : [iext(uri_owl_minQualifiedCardinality, _241162, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _241162, _241160), iext(uri_owl_onDataRange, _241162, _241158), 4562 ^ _77374 : [(4565 ^ _77374) ^ [_241640] : [icext(_241162, _241640), 4570 ^ _77374 : [(4579 ^ _77374) ^ [] : [-(iext(_241160, _241640, 4569 ^ [_241158, _241160, _241162, _241640]))], (4575 ^ _77374) ^ [] : [-(icext(_241158, 4568 ^ [_241158, _241160, _241162, _241640]))], (4577 ^ _77374) ^ [] : [-(lv(4569 ^ [_241158, _241160, _241162, _241640]))], (4571 ^ _77374) ^ [] : [-(lv(4568 ^ [_241158, _241160, _241162, _241640]))], (4583 ^ _77374) ^ [] : [4568 ^ [_241158, _241160, _241162, _241640] = 4569 ^ [_241158, _241160, _241162, _241640]], (4581 ^ _77374) ^ [] : [-(icext(_241158, 4569 ^ [_241158, _241160, _241162, _241640]))], (4573 ^ _77374) ^ [] : [-(iext(_241160, _241640, 4568 ^ [_241158, _241160, _241162, _241640]))]]], (4585 ^ _77374) ^ [_242619] : [-(icext(_241162, _242619)), 4586 ^ _77374 : [(4587 ^ _77374) ^ [_242772, _242774] : [lv(_242774), iext(_241160, _242619, _242774), icext(_241158, _242774), lv(_242772), iext(_241160, _242619, _242772), icext(_241158, _242772), -(_242774 = _242772)]]], (4563 ^ _77374) ^ [] : [-(iodp(_241160))]]], (358 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (7755 ^ _77374) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (661 ^ _77374) ^ [_98213] : [lv(_98213), -(iext(uri_rdf_type, _98213, uri_rdfs_Literal))], (1043 ^ _77374) ^ [] : [-(ip(uri_owl_assertionProperty))], (1315 ^ _77374) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (4171 ^ _77374) ^ [_225864, _225866, _225868] : [iext(uri_owl_maxQualifiedCardinality, _225868, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _225868, _225866), iext(uri_owl_onClass, _225868, _225864), 4182 ^ _77374 : [(4183 ^ _77374) ^ [_226262] : [icext(_225868, _226262), 4186 ^ _77374 : [(4187 ^ _77374) ^ [_226452, _226454] : [-(_226452 = _226454), iext(_225866, _226262, _226454), icext(_225864, _226454), iext(_225866, _226262, _226452), icext(_225864, _226452)]]], (4205 ^ _77374) ^ [_226970] : [4208 ^ _77374 : [(4215 ^ _77374) ^ [] : [-(icext(_225864, 4207 ^ [_225864, _225866, _225868, _226970]))], (4213 ^ _77374) ^ [] : [-(iext(_225866, _226970, 4207 ^ [_225864, _225866, _225868, _226970]))], (4211 ^ _77374) ^ [] : [-(icext(_225864, 4206 ^ [_225864, _225866, _225868, _226970]))], (4209 ^ _77374) ^ [] : [-(iext(_225866, _226970, 4206 ^ [_225864, _225866, _225868, _226970]))], (4217 ^ _77374) ^ [] : [4207 ^ [_225864, _225866, _225868, _226970] = 4206 ^ [_225864, _225866, _225868, _226970]]], -(icext(_225868, _226970))]]], (1213 ^ _77374) ^ [] : [-(ioxp(uri_owl_imports))], (859 ^ _77374) ^ [_104194] : [icext(uri_owl_NamedIndividual, _104194), -(ir(_104194))], (679 ^ _77374) ^ [] : [-(ic(uri_owl_AllDifferent))], (7767 ^ _77374) ^ [_354171, _354173] : [iext(uri_xsd_maxLength, _354173, _354171), 7770 ^ _77374 : [(7773 ^ _77374) ^ [] : [-(lv(_354171))], (7771 ^ _77374) ^ [] : [-(ir(_354173))]]], (5065 ^ _77374) ^ [_260775, _260777, _260779] : [iext(uri_rdf_first, _260777, _260775), iext(uri_rdf_rest, _260777, uri_rdf_nil), 5072 ^ _77374 : [(5093 ^ _77374) ^ [] : [-(iext(uri_owl_disjointUnionOf, _260779, _260777)), ic(_260779), ic(_260775), 5105 ^ _77374 : [(5108 ^ _77374) ^ [] : [icext(_260775, 5102 ^ [_260775, _260777, _260779])], (5106 ^ _77374) ^ [] : [-(icext(_260779, 5102 ^ [_260775, _260777, _260779]))]], 5109 ^ _77374 : [(5112 ^ _77374) ^ [] : [icext(_260779, 5102 ^ [_260775, _260777, _260779])], (5110 ^ _77374) ^ [] : [-(icext(_260775, 5102 ^ [_260775, _260777, _260779]))]]], (5073 ^ _77374) ^ [] : [iext(uri_owl_disjointUnionOf, _260779, _260777), 5076 ^ _77374 : [(5077 ^ _77374) ^ [] : [-(ic(_260779))], (5079 ^ _77374) ^ [] : [-(ic(_260775))], (5087 ^ _77374) ^ [_261486] : [icext(_260775, _261486), -(icext(_260779, _261486))], (5081 ^ _77374) ^ [_261306] : [icext(_260779, _261306), -(icext(_260775, _261306))]]]]], (532 ^ _77374) ^ [_93963] : [iodp(_93963), 535 ^ _77374 : [(536 ^ _77374) ^ [_94118, _94120] : [iext(_93963, _94120, _94118), 539 ^ _77374 : [(542 ^ _77374) ^ [] : [-(lv(_94118))], (540 ^ _77374) ^ [] : [-(ir(_94120))]]]]], (2749 ^ _77374) ^ [_167256, _167258] : [iext(uri_owl_cardinality, _167258, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _167258, _167256), 2756 ^ _77374 : [(2802 ^ _77374) ^ [_169564] : [-(icext(_167258, _169564)), 2831 ^ _77374 : [(2840 ^ _77374) ^ [] : [2830 ^ [_167256, _167258, _169564] = 2827 ^ [_167256, _167258, _169564]], (2836 ^ _77374) ^ [] : [-(iext(_167256, _169564, 2829 ^ [_167256, _167258, _169564]))], (2838 ^ _77374) ^ [] : [-(iext(_167256, _169564, 2830 ^ [_167256, _167258, _169564]))], (2832 ^ _77374) ^ [] : [-(iext(_167256, _169564, 2827 ^ [_167256, _167258, _169564]))], (2844 ^ _77374) ^ [] : [2830 ^ [_167256, _167258, _169564] = 2829 ^ [_167256, _167258, _169564]], (2842 ^ _77374) ^ [] : [2830 ^ [_167256, _167258, _169564] = 2828 ^ [_167256, _167258, _169564]], (2834 ^ _77374) ^ [] : [-(iext(_167256, _169564, 2828 ^ [_167256, _167258, _169564]))]], 2805 ^ _77374 : [(2806 ^ _77374) ^ [_169835, _169837, _169839] : [iext(_167256, _169564, _169839), iext(_167256, _169564, _169837), iext(_167256, _169564, _169835), -(_169839 = _169837), -(_169839 = _169835), -(_169837 = _169835)]]], (2757 ^ _77374) ^ [_167635] : [icext(_167258, _167635), 2763 ^ _77374 : [(2772 ^ _77374) ^ [] : [2760 ^ [_167256, _167258, _167635] = 2762 ^ [_167256, _167258, _167635]], (2768 ^ _77374) ^ [] : [-(iext(_167256, _167635, 2762 ^ [_167256, _167258, _167635]))], (2770 ^ _77374) ^ [] : [2760 ^ [_167256, _167258, _167635] = 2761 ^ [_167256, _167258, _167635]], (2764 ^ _77374) ^ [] : [-(iext(_167256, _167635, 2760 ^ [_167256, _167258, _167635]))], (2776 ^ _77374) ^ [_168790, _168792, _168794, _168796] : [-(_168790 = _168796), -(_168790 = _168794), -(_168790 = _168792), iext(_167256, _167635, _168796), iext(_167256, _167635, _168794), iext(_167256, _167635, _168792), iext(_167256, _167635, _168790)], (2774 ^ _77374) ^ [] : [2761 ^ [_167256, _167258, _167635] = 2762 ^ [_167256, _167258, _167635]], (2766 ^ _77374) ^ [] : [-(iext(_167256, _167635, 2761 ^ [_167256, _167258, _167635]))]]]]], (196 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (7529 ^ _77374) ^ [_346553] : [icext(uri_xsd_float, _346553), icext(uri_xsd_hexBinary, _346553)], (1591 ^ _77374) ^ [_128367] : [iext(uri_owl_intersectionOf, _128367, uri_rdf_nil), 1594 ^ _77374 : [(1597 ^ _77374) ^ [_128598] : [icext(_128367, _128598), -(ir(_128598))], (1603 ^ _77374) ^ [_128760] : [ir(_128760), -(icext(_128367, _128760))], (1595 ^ _77374) ^ [] : [-(ic(_128367))]]], (1075 ^ _77374) ^ [_111047, _111049] : [iext(uri_rdfs_comment, _111049, _111047), 1078 ^ _77374 : [(1081 ^ _77374) ^ [] : [-(lv(_111047))], (1079 ^ _77374) ^ [] : [-(ir(_111049))]]], (4724 ^ _77374) ^ [_247999, _248001, _248003] : [iext(uri_owl_minQualifiedCardinality, _248003, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _248003, _248001), iext(uri_owl_onClass, _248003, _247999), 4735 ^ _77374 : [(4745 ^ _77374) ^ [_248721] : [-(icext(_248003, _248721)), 4746 ^ _77374 : [(4747 ^ _77374) ^ [_248824] : [iext(_248001, _248721, _248824), icext(_247999, _248824)]]], (4736 ^ _77374) ^ [_248373] : [icext(_248003, _248373), 4740 ^ _77374 : [(4743 ^ _77374) ^ [] : [-(icext(_247999, 4739 ^ [_247999, _248001, _248003, _248373]))], (4741 ^ _77374) ^ [] : [-(iext(_248001, _248373, 4739 ^ [_247999, _248001, _248003, _248373]))]]]]], (7737 ^ _77374) ^ [_353163, _353165] : [iext(uri_xsd_length, _353165, _353163), 7740 ^ _77374 : [(7743 ^ _77374) ^ [] : [-(lv(_353163))], (7741 ^ _77374) ^ [] : [-(ir(_353165))]]], (244 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (1417 ^ _77374) ^ [] : [-(ip(uri_owl_sameAs))], (1085 ^ _77374) ^ [_111383, _111385] : [iext(uri_owl_complementOf, _111385, _111383), 1088 ^ _77374 : [(1091 ^ _77374) ^ [] : [-(ic(_111383))], (1089 ^ _77374) ^ [] : [-(ic(_111385))]]], (7149 ^ _77374) ^ [] : [-(idc(uri_xsd_integer))], (1115 ^ _77374) ^ [_112391, _112393] : [iext(uri_owl_differentFrom, _112393, _112391), 1118 ^ _77374 : [(1121 ^ _77374) ^ [] : [-(ir(_112391))], (1119 ^ _77374) ^ [] : [-(ir(_112393))]]], (2682 ^ _77374) ^ [_164450, _164452] : [iext(uri_owl_cardinality, _164452, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _164452, _164450), 2689 ^ _77374 : [(2690 ^ _77374) ^ [_164783] : [icext(_164452, _164783), 2695 ^ _77374 : [(2696 ^ _77374) ^ [] : [-(iext(_164450, _164783, 2693 ^ [_164450, _164452, _164783]))], (2698 ^ _77374) ^ [] : [-(iext(_164450, _164783, 2694 ^ [_164450, _164452, _164783]))], (2702 ^ _77374) ^ [_165417, _165419, _165421] : [-(_165417 = _165421), -(_165417 = _165419), iext(_164450, _164783, _165421), iext(_164450, _164783, _165419), iext(_164450, _164783, _165417)], (2700 ^ _77374) ^ [] : [2693 ^ [_164450, _164452, _164783] = 2694 ^ [_164450, _164452, _164783]]]], (2720 ^ _77374) ^ [_165944] : [-(icext(_164452, _165944)), 2736 ^ _77374 : [(2743 ^ _77374) ^ [] : [2735 ^ [_164450, _164452, _165944] = 2733 ^ [_164450, _164452, _165944]], (2741 ^ _77374) ^ [] : [-(iext(_164450, _165944, 2735 ^ [_164450, _164452, _165944]))], (2739 ^ _77374) ^ [] : [-(iext(_164450, _165944, 2734 ^ [_164450, _164452, _165944]))], (2737 ^ _77374) ^ [] : [-(iext(_164450, _165944, 2733 ^ [_164450, _164452, _165944]))], (2745 ^ _77374) ^ [] : [2735 ^ [_164450, _164452, _165944] = 2734 ^ [_164450, _164452, _165944]]], 2723 ^ _77374 : [(2724 ^ _77374) ^ [_166155, _166157] : [iext(_164450, _165944, _166157), iext(_164450, _165944, _166155), -(_166157 = _166155)]]]]], (438 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (176 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (7697 ^ _77374) ^ [_351863] : [icext(uri_xsd_token, _351863), -(icext(uri_xsd_normalizedString, _351863))], (6067 ^ _77374) ^ [_294189, _294191] : [6075 ^ _77374 : [(6078 ^ _77374) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_294189, _294191], _294191))], (6076 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_294189, _294191]))]], iext(uri_rdf_first, _294191, _294189), iext(uri_rdf_rest, _294191, uri_rdf_nil)], (7231 ^ _77374) ^ [_337287] : [icext(uri_xsd_positiveInteger, _337287), -(lv(_337287))], (7817 ^ _77374) ^ [] : [-(iext(uri_owl_minQualifiedCardinality, uri_ex_z, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)))], (7825 ^ _77374) ^ [] : [-(iext(uri_ex_p, uri_ex_w, uri_ex_x))], (3834 ^ _77374) ^ [_212256, _212258, _212260] : [iext(uri_owl_maxQualifiedCardinality, _212260, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _212260, _212258), iext(uri_owl_onDataRange, _212260, _212256), 3845 ^ _77374 : [(3862 ^ _77374) ^ [_213161] : [3864 ^ _77374 : [(3867 ^ _77374) ^ [] : [-(iext(_212258, _213161, 3863 ^ [_212256, _212258, _212260, _213161]))], (3869 ^ _77374) ^ [] : [-(icext(_212256, 3863 ^ [_212256, _212258, _212260, _213161]))], (3865 ^ _77374) ^ [] : [-(lv(3863 ^ [_212256, _212258, _212260, _213161]))]], -(icext(_212260, _213161))], (3848 ^ _77374) ^ [_212709] : [icext(_212260, _212709), 3851 ^ _77374 : [(3852 ^ _77374) ^ [_212868] : [lv(_212868), iext(_212258, _212709, _212868), icext(_212256, _212868)]]], (3846 ^ _77374) ^ [] : [-(iodp(_212258))]]], (921 ^ _77374) ^ [_106113] : [icext(uri_rdf_Property, _106113), -(ip(_106113))], (264 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (1215 ^ _77374) ^ [_115763, _115765] : [iext(uri_owl_incompatibleWith, _115765, _115763), 1218 ^ _77374 : [(1221 ^ _77374) ^ [] : [-(ix(_115763))], (1219 ^ _77374) ^ [] : [-(ix(_115765))]]], (7661 ^ _77374) ^ [_350723] : [icext(uri_xsd_nonPositiveInteger, _350723), -(icext(uri_xsd_integer, _350723))], (3727 ^ _77374) ^ [_207679, _207681] : [iext(uri_owl_maxCardinality, _207681, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _207681, _207679), 3734 ^ _77374 : [(3735 ^ _77374) ^ [_207980] : [icext(_207681, _207980), 3738 ^ _77374 : [(3739 ^ _77374) ^ [_208184, _208186, _208188] : [-(_208184 = _208188), -(_208184 = _208186), iext(_207679, _207980, _208188), iext(_207679, _207980, _208186), iext(_207679, _207980, _208184)]]], (3757 ^ _77374) ^ [_208705] : [3761 ^ _77374 : [(3768 ^ _77374) ^ [] : [3760 ^ [_207679, _207681, _208705] = 3758 ^ [_207679, _207681, _208705]], (3766 ^ _77374) ^ [] : [-(iext(_207679, _208705, 3760 ^ [_207679, _207681, _208705]))], (3764 ^ _77374) ^ [] : [-(iext(_207679, _208705, 3759 ^ [_207679, _207681, _208705]))], (3762 ^ _77374) ^ [] : [-(iext(_207679, _208705, 3758 ^ [_207679, _207681, _208705]))], (3770 ^ _77374) ^ [] : [3760 ^ [_207679, _207681, _208705] = 3759 ^ [_207679, _207681, _208705]]], -(icext(_207681, _208705))]]], (6313 ^ _77374) ^ [_303228, _303230, _303232, _303234, _303236] : [iext(uri_rdf_first, _303234, _303232), iext(uri_rdf_rest, _303234, _303230), iext(uri_rdf_first, _303230, _303228), iext(uri_rdf_rest, _303230, uri_rdf_nil), 6328 ^ _77374 : [(6349 ^ _77374) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _303236, _303234)), ip(_303236), ip(_303232), ip(_303228), 6365 ^ _77374 : [(6368 ^ _77374) ^ [] : [-(iext(_303228, 6363 ^ [_303228, _303230, _303232, _303234, _303236], 6364 ^ [_303228, _303230, _303232, _303234, _303236]))], (6370 ^ _77374) ^ [] : [iext(_303236, 6362 ^ [_303228, _303230, _303232, _303234, _303236], 6364 ^ [_303228, _303230, _303232, _303234, _303236])], (6366 ^ _77374) ^ [] : [-(iext(_303232, 6362 ^ [_303228, _303230, _303232, _303234, _303236], 6363 ^ [_303228, _303230, _303232, _303234, _303236]))]]], (6329 ^ _77374) ^ [] : [iext(uri_owl_propertyChainAxiom, _303236, _303234), 6332 ^ _77374 : [(6333 ^ _77374) ^ [] : [-(ip(_303236))], (6335 ^ _77374) ^ [] : [-(ip(_303232))], (6339 ^ _77374) ^ [_304091, _304093, _304095] : [-(iext(_303236, _304095, _304091)), iext(_303232, _304095, _304093), iext(_303228, _304093, _304091)], (6337 ^ _77374) ^ [] : [-(ip(_303228))]]]]], (364 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (7309 ^ _77374) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7499 ^ _77374) ^ [_345608] : [icext(uri_xsd_double, _345608), icext(uri_xsd_float, _345608)], (995 ^ _77374) ^ [_108340, _108342] : [iext(uri_owl_allValuesFrom, _108342, _108340), 998 ^ _77374 : [(1001 ^ _77374) ^ [] : [-(ic(_108340))], (999 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _108342))]]], (803 ^ _77374) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (7079 ^ _77374) ^ [_332708] : [icext(uri_xsd_byte, _332708), -(lv(_332708))], (1907 ^ _77374) ^ [_138745, _138747, _138749, _138751, _138753, _138755, _138757] : [-(idc(_138757)), iext(uri_rdf_first, _138755, _138753), iext(uri_rdf_rest, _138755, _138751), iext(uri_rdf_first, _138751, _138749), iext(uri_rdf_rest, _138751, _138747), iext(uri_rdf_first, _138747, _138745), iext(uri_rdf_rest, _138747, uri_rdf_nil), idc(_138753), idc(_138749), idc(_138745), iext(uri_owl_intersectionOf, _138757, _138755)], (1247 ^ _77374) ^ [_116826, _116828] : [iext(uri_rdfs_isDefinedBy, _116828, _116826), 1250 ^ _77374 : [(1253 ^ _77374) ^ [] : [-(ir(_116826))], (1251 ^ _77374) ^ [] : [-(ir(_116828))]]], (7607 ^ _77374) ^ [_349013] : [icext(uri_xsd_int, _349013), -(icext(uri_xsd_long, _349013))], (7245 ^ _77374) ^ [] : [-(idc(uri_owl_rational))], (7463 ^ _77374) ^ [_344474] : [icext(uri_xsd_dateTime, _344474), icext(uri_xsd_double, _344474)], (783 ^ _77374) ^ [_101894] : [idc(_101894), -(icext(uri_rdfs_Datatype, _101894))], (1033 ^ _77374) ^ [] : [-(ip(uri_owl_annotatedTarget))], (330 ^ _77374) ^ [_87492] : [lv(_87492), -(icext(uri_rdfs_Literal, _87492))], (7703 ^ _77374) ^ [_352053] : [icext(uri_xsd_unsignedByte, _352053), -(icext(uri_xsd_unsignedShort, _352053))], (5804 ^ _77374) ^ [] : [-(tautology), tautology], (943 ^ _77374) ^ [_106780] : [icext(uri_rdfs_Resource, _106780), -(ir(_106780))], (2199 ^ _77374) ^ [_148359, _148361, _148363] : [-(idc(_148363)), iext(uri_rdf_first, _148361, _148359), iext(uri_rdf_rest, _148361, uri_rdf_nil), idc(_148359), iext(uri_owl_unionOf, _148363, _148361)], (514 ^ _77374) ^ [_93400] : [ioap(_93400), -(ip(_93400))], (1367 ^ _77374) ^ [_120884, _120886] : [iext(uri_owl_priorVersion, _120886, _120884), 1370 ^ _77374 : [(1373 ^ _77374) ^ [] : [-(ix(_120884))], (1371 ^ _77374) ^ [] : [-(ix(_120886))]]], (791 ^ _77374) ^ [_102166] : [icext(uri_owl_DatatypeProperty, _102166), -(iodp(_102166))], (3693 ^ _77374) ^ [_206345, _206347] : [iext(uri_owl_maxCardinality, _206347, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _206347, _206345), 3700 ^ _77374 : [(3701 ^ _77374) ^ [_206628] : [icext(_206347, _206628), 3704 ^ _77374 : [(3705 ^ _77374) ^ [_206800, _206802] : [-(_206800 = _206802), iext(_206345, _206628, _206802), iext(_206345, _206628, _206800)]]], (3715 ^ _77374) ^ [_207096] : [3718 ^ _77374 : [(3721 ^ _77374) ^ [] : [-(iext(_206345, _207096, 3717 ^ [_206345, _206347, _207096]))], (3723 ^ _77374) ^ [] : [3717 ^ [_206345, _206347, _207096] = 3716 ^ [_206345, _206347, _207096]], (3719 ^ _77374) ^ [] : [-(iext(_206345, _207096, 3716 ^ [_206345, _206347, _207096]))]], -(icext(_206347, _207096))]]], (2593 ^ _77374) ^ [_161052, _161054, _161056] : [iext(uri_owl_allValuesFrom, _161056, _161052), iext(uri_owl_onProperty, _161056, _161054), 2600 ^ _77374 : [(2601 ^ _77374) ^ [_161331] : [icext(_161056, _161331), 2604 ^ _77374 : [(2605 ^ _77374) ^ [_161483] : [iext(_161054, _161331, _161483), -(icext(_161052, _161483))]]], (2611 ^ _77374) ^ [_161678] : [2613 ^ _77374 : [(2616 ^ _77374) ^ [] : [icext(_161052, 2612 ^ [_161052, _161054, _161056, _161678])], (2614 ^ _77374) ^ [] : [-(iext(_161054, _161678, 2612 ^ [_161052, _161054, _161056, _161678]))]], -(icext(_161056, _161678))]]], (212 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (7547 ^ _77374) ^ [_347120] : [icext(uri_xsd_float, _347120), icext(uri_rdf_XMLLiteral, _347120)], (5559 ^ _77374) ^ [_277608, _277610] : [5567 ^ _77374 : [(5570 ^ _77374) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_277608, _277610], _277610))], (5568 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_277608, _277610]))]], iext(uri_rdf_first, _277610, _277608), iext(uri_rdf_rest, _277610, uri_rdf_nil)], (1143 ^ _77374) ^ [] : [-(ip(uri_owl_disjointWith))], (386 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (829 ^ _77374) ^ [_103286] : [icext(uri_owl_InverseFunctionalProperty, _103286), -(ip(_103286))], (1093 ^ _77374) ^ [] : [-(ip(uri_owl_complementOf))], (6374 ^ _77374) ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543] : [iext(uri_rdf_first, _305541, _305539), iext(uri_rdf_rest, _305541, _305537), iext(uri_rdf_first, _305537, _305535), iext(uri_rdf_rest, _305537, _305533), iext(uri_rdf_first, _305533, _305531), iext(uri_rdf_rest, _305533, uri_rdf_nil), 6397 ^ _77374 : [(6424 ^ _77374) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _305543, _305541)), ip(_305543), ip(_305539), ip(_305535), ip(_305531), 6445 ^ _77374 : [(6446 ^ _77374) ^ [] : [-(iext(_305539, 6441 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543], 6442 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543]))], (6448 ^ _77374) ^ [] : [-(iext(_305535, 6442 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543], 6443 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543]))], (6452 ^ _77374) ^ [] : [iext(_305543, 6441 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543], 6444 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543])], (6450 ^ _77374) ^ [] : [-(iext(_305531, 6443 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543], 6444 ^ [_305531, _305533, _305535, _305537, _305539, _305541, _305543]))]]], (6398 ^ _77374) ^ [] : [iext(uri_owl_propertyChainAxiom, _305543, _305541), 6401 ^ _77374 : [(6408 ^ _77374) ^ [] : [-(ip(_305531))], (6406 ^ _77374) ^ [] : [-(ip(_305535))], (6404 ^ _77374) ^ [] : [-(ip(_305539))], (6402 ^ _77374) ^ [] : [-(ip(_305543))], (6410 ^ _77374) ^ [_306774, _306776, _306778, _306780] : [-(iext(_305543, _306780, _306774)), iext(_305539, _306780, _306778), iext(_305535, _306778, _306776), iext(_305531, _306776, _306774)]]]]], (3632 ^ _77374) ^ [_204191, _204193, _204195] : [iext(uri_owl_hasSelf, _204195, _204191), iext(uri_owl_onProperty, _204195, _204193), 3639 ^ _77374 : [(3646 ^ _77374) ^ [_204641] : [iext(_204193, _204641, _204641), -(icext(_204195, _204641))], (3640 ^ _77374) ^ [_204459] : [icext(_204195, _204459), -(iext(_204193, _204459, _204459))]]], (6526 ^ _77374) ^ [_311375] : [icext(uri_owl_FunctionalProperty, _311375), 6529 ^ _77374 : [(6532 ^ _77374) ^ [_311622, _311624, _311626] : [-(_311624 = _311622), iext(_311375, _311626, _311624), iext(_311375, _311626, _311622)], (6530 ^ _77374) ^ [] : [-(ip(_311375))]]], (4378 ^ _77374) ^ [_234548, _234550] : [4385 ^ _77374 : [(4386 ^ _77374) ^ [_234757] : [-(icext(_234550, _234757))]], iext(uri_owl_minCardinality, _234550, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _234550, _234548)], (6642 ^ _77374) ^ [_315492] : [-(icext(uri_owl_SymmetricProperty, _315492)), ip(_315492), 6649 ^ _77374 : [(6652 ^ _77374) ^ [] : [iext(_315492, 6648 ^ [_315492], 6647 ^ [_315492])], (6650 ^ _77374) ^ [] : [-(iext(_315492, 6647 ^ [_315492], 6648 ^ [_315492]))]]], (7319 ^ _77374) ^ [_339938] : [icext(uri_xsd_anyURI, _339938), icext(uri_xsd_base64Binary, _339938)], (3487 ^ _77374) ^ [_197744, _197746, _197748] : [iext(uri_owl_qualifiedCardinality, _197748, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _197748, _197746), iext(uri_owl_onClass, _197748, _197744), 3498 ^ _77374 : [(3499 ^ _77374) ^ [_198268] : [icext(_197748, _198268), 3505 ^ _77374 : [(3524 ^ _77374) ^ [_199867, _199869, _199871, _199873] : [-(_199867 = _199873), -(_199867 = _199871), -(_199867 = _199869), iext(_197746, _198268, _199873), icext(_197744, _199873), iext(_197746, _198268, _199871), icext(_197744, _199871), iext(_197746, _198268, _199869), icext(_197744, _199869), iext(_197746, _198268, _199867), icext(_197744, _199867)], (3512 ^ _77374) ^ [] : [-(icext(_197744, 3503 ^ [_197744, _197746, _197748, _198268]))], (3514 ^ _77374) ^ [] : [-(iext(_197746, _198268, 3504 ^ [_197744, _197746, _197748, _198268]))], (3520 ^ _77374) ^ [] : [3502 ^ [_197744, _197746, _197748, _198268] = 3504 ^ [_197744, _197746, _197748, _198268]], (3518 ^ _77374) ^ [] : [3502 ^ [_197744, _197746, _197748, _198268] = 3503 ^ [_197744, _197746, _197748, _198268]], (3508 ^ _77374) ^ [] : [-(icext(_197744, 3502 ^ [_197744, _197746, _197748, _198268]))], (3506 ^ _77374) ^ [] : [-(iext(_197746, _198268, 3502 ^ [_197744, _197746, _197748, _198268]))], (3516 ^ _77374) ^ [] : [-(icext(_197744, 3504 ^ [_197744, _197746, _197748, _198268]))], (3510 ^ _77374) ^ [] : [-(iext(_197746, _198268, 3503 ^ [_197744, _197746, _197748, _198268]))], (3522 ^ _77374) ^ [] : [3503 ^ [_197744, _197746, _197748, _198268] = 3504 ^ [_197744, _197746, _197748, _198268]]]], (3566 ^ _77374) ^ [_201127] : [-(icext(_197748, _201127)), 3607 ^ _77374 : [(3612 ^ _77374) ^ [] : [-(iext(_197746, _201127, 3604 ^ [_197744, _197746, _197748, _201127]))], (3624 ^ _77374) ^ [] : [3606 ^ [_197744, _197746, _197748, _201127] = 3603 ^ [_197744, _197746, _197748, _201127]], (3610 ^ _77374) ^ [] : [-(icext(_197744, 3603 ^ [_197744, _197746, _197748, _201127]))], (3616 ^ _77374) ^ [] : [-(iext(_197746, _201127, 3605 ^ [_197744, _197746, _197748, _201127]))], (3614 ^ _77374) ^ [] : [-(icext(_197744, 3604 ^ [_197744, _197746, _197748, _201127]))], (3622 ^ _77374) ^ [] : [-(icext(_197744, 3606 ^ [_197744, _197746, _197748, _201127]))], (3620 ^ _77374) ^ [] : [-(iext(_197746, _201127, 3606 ^ [_197744, _197746, _197748, _201127]))], (3618 ^ _77374) ^ [] : [-(icext(_197744, 3605 ^ [_197744, _197746, _197748, _201127]))], (3626 ^ _77374) ^ [] : [3606 ^ [_197744, _197746, _197748, _201127] = 3604 ^ [_197744, _197746, _197748, _201127]], (3628 ^ _77374) ^ [] : [3606 ^ [_197744, _197746, _197748, _201127] = 3605 ^ [_197744, _197746, _197748, _201127]], (3608 ^ _77374) ^ [] : [-(iext(_197746, _201127, 3603 ^ [_197744, _197746, _197748, _201127]))]], 3569 ^ _77374 : [(3570 ^ _77374) ^ [_201446, _201448, _201450] : [iext(_197746, _201127, _201450), icext(_197744, _201450), iext(_197746, _201127, _201448), icext(_197744, _201448), iext(_197746, _201127, _201446), icext(_197744, _201446), -(_201450 = _201448), -(_201450 = _201446), -(_201448 = _201446)]]]]], (7061 ^ _77374) ^ [] : [-(idc(uri_xsd_anyURI))], (7709 ^ _77374) ^ [_352243] : [icext(uri_xsd_unsignedInt, _352243), -(icext(uri_xsd_unsignedLong, _352243))], (777 ^ _77374) ^ [_101740] : [icext(uri_rdfs_Datatype, _101740), -(idc(_101740))], (562 ^ _77374) ^ [_94965] : [ioxp(_94965), 565 ^ _77374 : [(566 ^ _77374) ^ [_95120, _95122] : [iext(_94965, _95122, _95120), 569 ^ _77374 : [(572 ^ _77374) ^ [] : [-(ix(_95120))], (570 ^ _77374) ^ [] : [-(ix(_95122))]]]]], (2970 ^ _77374) ^ [_176267, _176269, _176271] : [iext(uri_owl_qualifiedCardinality, _176271, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _176271, _176269), iext(uri_owl_onDataRange, _176271, _176267), 2981 ^ _77374 : [(3046 ^ _77374) ^ [_179150] : [-(icext(_176271, _179150)), 3078 ^ _77374 : [(3083 ^ _77374) ^ [] : [-(icext(_176267, 3075 ^ [_176267, _176269, _176271, _179150]))], (3095 ^ _77374) ^ [] : [-(icext(_176267, 3077 ^ [_176267, _176269, _176271, _179150]))], (3081 ^ _77374) ^ [] : [-(iext(_176269, _179150, 3075 ^ [_176267, _176269, _176271, _179150]))], (3087 ^ _77374) ^ [] : [-(iext(_176269, _179150, 3076 ^ [_176267, _176269, _176271, _179150]))], (3085 ^ _77374) ^ [] : [-(lv(3076 ^ [_176267, _176269, _176271, _179150]))], (3093 ^ _77374) ^ [] : [-(iext(_176269, _179150, 3077 ^ [_176267, _176269, _176271, _179150]))], (3091 ^ _77374) ^ [] : [-(lv(3077 ^ [_176267, _176269, _176271, _179150]))], (3089 ^ _77374) ^ [] : [-(icext(_176267, 3076 ^ [_176267, _176269, _176271, _179150]))], (3097 ^ _77374) ^ [] : [3077 ^ [_176267, _176269, _176271, _179150] = 3075 ^ [_176267, _176269, _176271, _179150]], (3099 ^ _77374) ^ [] : [3077 ^ [_176267, _176269, _176271, _179150] = 3076 ^ [_176267, _176269, _176271, _179150]], (3079 ^ _77374) ^ [] : [-(lv(3075 ^ [_176267, _176269, _176271, _179150]))]], 3049 ^ _77374 : [(3050 ^ _77374) ^ [_179422, _179424] : [lv(_179424), iext(_176269, _179150, _179424), icext(_176267, _179424), lv(_179422), iext(_176269, _179150, _179422), icext(_176267, _179422), -(_179424 = _179422)]]], (2984 ^ _77374) ^ [_176830] : [icext(_176271, _176830), 2989 ^ _77374 : [(3004 ^ _77374) ^ [_177947, _177949, _177951] : [-(_177947 = _177951), -(_177947 = _177949), lv(_177951), iext(_176269, _176830, _177951), icext(_176267, _177951), lv(_177949), iext(_176269, _176830, _177949), icext(_176267, _177949), lv(_177947), iext(_176269, _176830, _177947), icext(_176267, _177947)], (2998 ^ _77374) ^ [] : [-(iext(_176269, _176830, 2988 ^ [_176267, _176269, _176271, _176830]))], (3000 ^ _77374) ^ [] : [-(icext(_176267, 2988 ^ [_176267, _176269, _176271, _176830]))], (3002 ^ _77374) ^ [] : [2987 ^ [_176267, _176269, _176271, _176830] = 2988 ^ [_176267, _176269, _176271, _176830]], (2994 ^ _77374) ^ [] : [-(icext(_176267, 2987 ^ [_176267, _176269, _176271, _176830]))], (2992 ^ _77374) ^ [] : [-(iext(_176269, _176830, 2987 ^ [_176267, _176269, _176271, _176830]))], (2990 ^ _77374) ^ [] : [-(lv(2987 ^ [_176267, _176269, _176271, _176830]))], (2996 ^ _77374) ^ [] : [-(lv(2988 ^ [_176267, _176269, _176271, _176830]))]]], (2982 ^ _77374) ^ [] : [-(iodp(_176269))]]], (7397 ^ _77374) ^ [_342395] : [icext(uri_xsd_base64Binary, _342395), icext(uri_xsd_hexBinary, _342395)], (7143 ^ _77374) ^ [_334636] : [icext(uri_xsd_integer, _334636), -(lv(_334636))], (7207 ^ _77374) ^ [_336564] : [icext(uri_xsd_nonPositiveInteger, _336564), -(lv(_336564))], (7765 ^ _77374) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (2641 ^ _77374) ^ [_162845, _162847] : [iext(uri_owl_cardinality, _162847, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _162847, _162845), 2648 ^ _77374 : [(2649 ^ _77374) ^ [_163140] : [icext(_162847, _163140), 2653 ^ _77374 : [(2656 ^ _77374) ^ [_163452, _163454] : [-(_163452 = _163454), iext(_162845, _163140, _163454), iext(_162845, _163140, _163452)], (2654 ^ _77374) ^ [] : [-(iext(_162845, _163140, 2652 ^ [_162845, _162847, _163140]))]]], (2666 ^ _77374) ^ [_163750] : [-(icext(_162847, _163750)), 2669 ^ _77374 : [(2670 ^ _77374) ^ [_163893] : [iext(_162845, _163750, _163893)]], 2673 ^ _77374 : [(2676 ^ _77374) ^ [] : [-(iext(_162845, _163750, 2672 ^ [_162845, _162847, _163750]))], (2678 ^ _77374) ^ [] : [2672 ^ [_162845, _162847, _163750] = 2671 ^ [_162845, _162847, _163750]], (2674 ^ _77374) ^ [] : [-(iext(_162845, _163750, 2671 ^ [_162845, _162847, _163750]))]]]]], (290 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (6600 ^ _77374) ^ [_314108] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _314108)), ip(_314108), -(iext(_314108, 6605 ^ [_314108], 6605 ^ [_314108]))], (7787 ^ _77374) ^ [_354843, _354845] : [iext(uri_xsd_minInclusive, _354845, _354843), 7790 ^ _77374 : [(7793 ^ _77374) ^ [] : [-(lv(_354843))], (7791 ^ _77374) ^ [] : [-(ir(_354845))]]], (270 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (7643 ^ _77374) ^ [_350153] : [icext(uri_xsd_negativeInteger, _350153), -(icext(uri_xsd_nonPositiveInteger, _350153))], (7165 ^ _77374) ^ [] : [-(idc(uri_xsd_long))], (6611 ^ _77374) ^ [_314476] : [icext(uri_owl_ReflexiveProperty, _314476), 6614 ^ _77374 : [(6617 ^ _77374) ^ [_314657] : [-(iext(_314476, _314657, _314657))], (6615 ^ _77374) ^ [] : [-(ip(_314476))]]], (5486 ^ _77374) ^ [_275070, _275072] : [-(iext(uri_owl_equivalentProperty, _275072, _275070)), ip(_275072), ip(_275070), 5499 ^ _77374 : [(5502 ^ _77374) ^ [] : [iext(_275070, 5495 ^ [_275070, _275072], 5496 ^ [_275070, _275072])], (5500 ^ _77374) ^ [] : [-(iext(_275072, 5495 ^ [_275070, _275072], 5496 ^ [_275070, _275072]))]], 5503 ^ _77374 : [(5506 ^ _77374) ^ [] : [iext(_275072, 5495 ^ [_275070, _275072], 5496 ^ [_275070, _275072])], (5504 ^ _77374) ^ [] : [-(iext(_275070, 5495 ^ [_275070, _275072], 5496 ^ [_275070, _275072]))]]], (1345 ^ _77374) ^ [] : [-(ip(uri_owl_onDatatype))], (2521 ^ _77374) ^ [_158903, _158905, _158907, _158909, _158911] : [-(idc(_158911)), iext(uri_rdf_first, _158909, _158907), iext(uri_rdf_rest, _158909, _158905), iext(uri_rdf_first, _158905, _158903), iext(uri_rdf_rest, _158905, uri_rdf_nil), lv(_158907), lv(_158903), iext(uri_owl_oneOf, _158911, _158909)], (873 ^ _77374) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (7151 ^ _77374) ^ [_334877] : [icext(uri_xsd_language, _334877), -(lv(_334877))], (502 ^ _77374) ^ [_92961] : [ioap(_92961), 505 ^ _77374 : [(506 ^ _77374) ^ [_93116, _93118] : [iext(_92961, _93118, _93116), 509 ^ _77374 : [(512 ^ _77374) ^ [] : [-(ir(_93116))], (510 ^ _77374) ^ [] : [-(ir(_93118))]]]]], (919 ^ _77374) ^ [] : [-(ic(uri_owl_OntologyProperty))], (5597 ^ _77374) ^ [_278932, _278934, _278936, _278938, _278940, _278942] : [5633 ^ _77374 : [(5636 ^ _77374) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_278932, _278934, _278936, _278938, _278940, _278942], _278942))], (5634 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_278932, _278934, _278936, _278938, _278940, _278942]))]], iext(uri_rdf_first, _278942, _278940), iext(uri_rdf_rest, _278942, _278938), iext(uri_rdf_first, _278938, _278936), iext(uri_rdf_rest, _278938, _278934), iext(uri_rdf_first, _278934, _278932), iext(uri_rdf_rest, _278934, uri_rdf_nil), -(_278940 = _278936), -(_278940 = _278932), -(_278936 = _278932)], (819 ^ _77374) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (4921 ^ _77374) ^ [_255817, _255819] : [-(iext(uri_rdfs_domain, _255819, _255817)), ip(_255819), ic(_255817), 4932 ^ _77374 : [(4935 ^ _77374) ^ [] : [icext(_255817, 4930 ^ [_255817, _255819])], (4933 ^ _77374) ^ [] : [-(iext(_255819, 4930 ^ [_255817, _255819], 4931 ^ [_255817, _255819]))]]], (520 ^ _77374) ^ [_93615] : [ioap(_93615), -(iext(uri_rdf_type, _93615, uri_owl_AnnotationProperty))], (6559 ^ _77374) ^ [_312616] : [icext(uri_owl_InverseFunctionalProperty, _312616), 6562 ^ _77374 : [(6565 ^ _77374) ^ [_312863, _312865, _312867] : [-(_312867 = _312865), iext(_312616, _312867, _312863), iext(_312616, _312865, _312863)], (6563 ^ _77374) ^ [] : [-(ip(_312616))]]], (955 ^ _77374) ^ [] : [-(ic(uri_rdfs_Resource))], (5650 ^ _77374) ^ [_280495, _280497, _280499, _280501, _280503] : [_280499 = _280495, iext(uri_rdf_first, _280501, _280499), iext(uri_rdf_rest, _280501, _280497), iext(uri_rdf_first, _280497, _280495), iext(uri_rdf_rest, _280497, uri_rdf_nil), icext(uri_owl_AllDifferent, _280503), iext(uri_owl_distinctMembers, _280503, _280501)], (4805 ^ _77374) ^ [_251101, _251103, _251105] : [iext(uri_owl_minQualifiedCardinality, _251105, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _251105, _251103), iext(uri_owl_onClass, _251105, _251101), 4816 ^ _77374 : [(4842 ^ _77374) ^ [_252973] : [-(icext(_251105, _252973)), 4843 ^ _77374 : [(4844 ^ _77374) ^ [_253164, _253166, _253168] : [iext(_251103, _252973, _253168), icext(_251101, _253168), iext(_251103, _252973, _253166), icext(_251101, _253166), iext(_251103, _252973, _253164), icext(_251101, _253164), -(_253168 = _253166), -(_253168 = _253164), -(_253166 = _253164)]]], (4817 ^ _77374) ^ [_251535] : [icext(_251105, _251535), 4823 ^ _77374 : [(4830 ^ _77374) ^ [] : [-(icext(_251101, 4821 ^ [_251101, _251103, _251105, _251535]))], (4828 ^ _77374) ^ [] : [-(iext(_251103, _251535, 4821 ^ [_251101, _251103, _251105, _251535]))], (4838 ^ _77374) ^ [] : [4820 ^ [_251101, _251103, _251105, _251535] = 4822 ^ [_251101, _251103, _251105, _251535]], (4832 ^ _77374) ^ [] : [-(iext(_251103, _251535, 4822 ^ [_251101, _251103, _251105, _251535]))], (4826 ^ _77374) ^ [] : [-(icext(_251101, 4820 ^ [_251101, _251103, _251105, _251535]))], (4836 ^ _77374) ^ [] : [4820 ^ [_251101, _251103, _251105, _251535] = 4821 ^ [_251101, _251103, _251105, _251535]], (4840 ^ _77374) ^ [] : [4821 ^ [_251101, _251103, _251105, _251535] = 4822 ^ [_251101, _251103, _251105, _251535]], (4834 ^ _77374) ^ [] : [-(icext(_251101, 4822 ^ [_251101, _251103, _251105, _251535]))], (4824 ^ _77374) ^ [] : [-(iext(_251103, _251535, 4820 ^ [_251101, _251103, _251105, _251535]))]]]]], (857 ^ _77374) ^ [] : [-(idc(uri_rdfs_Literal))], (1756 ^ _77374) ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759] : [iext(uri_rdf_first, _133757, _133755), iext(uri_rdf_rest, _133757, _133753), iext(uri_rdf_first, _133753, _133751), iext(uri_rdf_rest, _133753, _133749), iext(uri_rdf_first, _133749, _133747), iext(uri_rdf_rest, _133749, uri_rdf_nil), 1779 ^ _77374 : [(1816 ^ _77374) ^ [] : [-(iext(uri_owl_intersectionOf, _133759, _133757)), ic(_133759), ic(_133755), ic(_133751), ic(_133747), 1848 ^ _77374 : [(1849 ^ _77374) ^ [] : [-(icext(_133755, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]))], (1851 ^ _77374) ^ [] : [-(icext(_133751, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]))], (1855 ^ _77374) ^ [] : [icext(_133759, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759])], (1853 ^ _77374) ^ [] : [-(icext(_133747, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]))]], 1836 ^ _77374 : [(1839 ^ _77374) ^ [] : [icext(_133755, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]), icext(_133751, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]), icext(_133747, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759])], (1837 ^ _77374) ^ [] : [-(icext(_133759, 1833 ^ [_133747, _133749, _133751, _133753, _133755, _133757, _133759]))]]], (1780 ^ _77374) ^ [] : [iext(uri_owl_intersectionOf, _133759, _133757), 1783 ^ _77374 : [(1792 ^ _77374) ^ [_134958] : [icext(_133759, _134958), 1795 ^ _77374 : [(1798 ^ _77374) ^ [] : [-(icext(_133751, _134958))], (1800 ^ _77374) ^ [] : [-(icext(_133747, _134958))], (1796 ^ _77374) ^ [] : [-(icext(_133755, _134958))]]], (1788 ^ _77374) ^ [] : [-(ic(_133751))], (1790 ^ _77374) ^ [] : [-(ic(_133747))], (1802 ^ _77374) ^ [_135343] : [-(icext(_133759, _135343)), icext(_133755, _135343), icext(_133751, _135343), icext(_133747, _135343)], (1784 ^ _77374) ^ [] : [-(ic(_133759))], (1786 ^ _77374) ^ [] : [-(ic(_133755))]]]]], (1045 ^ _77374) ^ [_110024, _110026] : [iext(uri_owl_backwardCompatibleWith, _110026, _110024), 1048 ^ _77374 : [(1051 ^ _77374) ^ [] : [-(ix(_110024))], (1049 ^ _77374) ^ [] : [-(ix(_110026))]]], (7277 ^ _77374) ^ [] : [-(idc(uri_xsd_token))], (623 ^ _77374) ^ [] : [-(ir(621 ^ []))], (7535 ^ _77374) ^ [_346742] : [icext(uri_xsd_float, _346742), icext(uri_rdf_PlainLiteral, _346742)], (5638 ^ _77374) ^ [] : [-(tautology), tautology], (5676 ^ _77374) ^ [_281309, _281311, _281313, _281315, _281317, _281319, _281321] : [5707 ^ _77374 : [(5710 ^ _77374) ^ [] : [_281317 = _281309], (5712 ^ _77374) ^ [] : [_281313 = _281309], (5708 ^ _77374) ^ [] : [_281317 = _281313]], iext(uri_rdf_first, _281319, _281317), iext(uri_rdf_rest, _281319, _281315), iext(uri_rdf_first, _281315, _281313), iext(uri_rdf_rest, _281315, _281311), iext(uri_rdf_first, _281311, _281309), iext(uri_rdf_rest, _281311, uri_rdf_nil), icext(uri_owl_AllDifferent, _281321), iext(uri_owl_distinctMembers, _281321, _281319)], (821 ^ _77374) ^ [_103045] : [icext(uri_owl_FunctionalProperty, _103045), -(ip(_103045))], (214 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (1859 ^ _77374) ^ [_137298, _137300, _137302] : [-(idc(_137302)), iext(uri_rdf_first, _137300, _137298), iext(uri_rdf_rest, _137300, uri_rdf_nil), idc(_137298), iext(uri_owl_intersectionOf, _137302, _137300)], (1375 ^ _77374) ^ [] : [-(ioap(uri_owl_priorVersion))], (7317 ^ _77374) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (4755 ^ _77374) ^ [_249141, _249143, _249145] : [iext(uri_owl_minQualifiedCardinality, _249145, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _249145, _249143), iext(uri_owl_onClass, _249145, _249141), 4766 ^ _77374 : [(4783 ^ _77374) ^ [_250315] : [-(icext(_249145, _250315)), 4784 ^ _77374 : [(4785 ^ _77374) ^ [_250458, _250460] : [iext(_249143, _250315, _250460), icext(_249141, _250460), iext(_249143, _250315, _250458), icext(_249141, _250458), -(_250460 = _250458)]]], (4767 ^ _77374) ^ [_249541] : [icext(_249145, _249541), 4772 ^ _77374 : [(4779 ^ _77374) ^ [] : [-(icext(_249141, 4771 ^ [_249141, _249143, _249145, _249541]))], (4777 ^ _77374) ^ [] : [-(iext(_249143, _249541, 4771 ^ [_249141, _249143, _249145, _249541]))], (4775 ^ _77374) ^ [] : [-(icext(_249141, 4770 ^ [_249141, _249143, _249145, _249541]))], (4773 ^ _77374) ^ [] : [-(iext(_249143, _249541, 4770 ^ [_249141, _249143, _249145, _249541]))], (4781 ^ _77374) ^ [] : [4770 ^ [_249141, _249143, _249145, _249541] = 4771 ^ [_249141, _249143, _249145, _249541]]]]]], (7141 ^ _77374) ^ [] : [-(idc(uri_xsd_int))], (1439 ^ _77374) ^ [_123297, _123299] : [iext(uri_owl_sourceIndividual, _123299, _123297), 1442 ^ _77374 : [(1445 ^ _77374) ^ [] : [-(ir(_123297))], (1443 ^ _77374) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _123299))]]], (7619 ^ _77374) ^ [_349393] : [icext(uri_xsd_language, _349393), -(icext(uri_xsd_token, _349393))], (7815 ^ _77374) ^ [] : [-(iodp(uri_xsd_pattern))], (5542 ^ _77374) ^ [_277078, _277080] : [iext(uri_owl_sameAs, _277080, _277078), -(_277080 = _277078)], (6065 ^ _77374) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (7191 ^ _77374) ^ [_336082] : [icext(uri_xsd_NMTOKEN, _336082), -(lv(_336082))], (496 ^ _77374) ^ [_92769] : [iext(uri_rdf_type, _92769, uri_rdfs_Datatype), -(idc(_92769))], (7229 ^ _77374) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (6080 ^ _77374) ^ [_294668, _294670, _294672, _294674] : [6104 ^ _77374 : [(6107 ^ _77374) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_294668, _294670, _294672, _294674], _294674))], (6105 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_294668, _294670, _294672, _294674]))]], iext(uri_rdf_first, _294674, _294672), iext(uri_rdf_rest, _294674, _294670), iext(uri_rdf_first, _294670, _294668), iext(uri_rdf_rest, _294670, uri_rdf_nil), 6099 ^ _77374 : [(6102 ^ _77374) ^ [] : [-(iext(_294668, 6097 ^ [_294668, _294670, _294672, _294674], 6098 ^ [_294668, _294670, _294672, _294674]))], (6100 ^ _77374) ^ [] : [-(iext(_294672, 6097 ^ [_294668, _294670, _294672, _294674], 6098 ^ [_294668, _294670, _294672, _294674]))]]], (7493 ^ _77374) ^ [_345419] : [icext(uri_xsd_dateTime, _345419), icext(uri_rdf_XMLLiteral, _345419)], (769 ^ _77374) ^ [_101468] : [idc(_101468), -(icext(uri_owl_DataRange, _101468))], (1275 ^ _77374) ^ [] : [-(ip(uri_owl_maxCardinality))], (5877 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (60 ^ _77374) ^ [_79302, _79304] : [-(ip(_79302)), _79304 = _79302, ip(_79304)], (356 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (7111 ^ _77374) ^ [_333672] : [icext(uri_xsd_double, _333672), -(lv(_333672))], (7391 ^ _77374) ^ [_342206] : [icext(uri_xsd_base64Binary, _342206), icext(uri_xsd_float, _342206)], (5510 ^ _77374) ^ [_275920, _275922] : [iext(uri_owl_propertyDisjointWith, _275922, _275920), 5513 ^ _77374 : [(5516 ^ _77374) ^ [] : [-(ip(_275920))], (5518 ^ _77374) ^ [_276222, _276224] : [iext(_275922, _276224, _276222), iext(_275920, _276224, _276222)], (5514 ^ _77374) ^ [] : [-(ip(_275922))]]], (747 ^ _77374) ^ [] : [-(ic(uri_owl_Class))], (5644 ^ _77374) ^ [] : [-(tautology), tautology], (5810 ^ _77374) ^ [_285537, _285539, _285541, _285543, _285545] : [_285541 = _285537, iext(uri_rdf_first, _285543, _285541), iext(uri_rdf_rest, _285543, _285539), iext(uri_rdf_first, _285539, _285537), iext(uri_rdf_rest, _285539, uri_rdf_nil), icext(uri_owl_AllDifferent, _285545), iext(uri_owl_members, _285545, _285543)], (1449 ^ _77374) ^ [_123635, _123637] : [iext(uri_owl_targetIndividual, _123637, _123635), 1452 ^ _77374 : [(1455 ^ _77374) ^ [] : [-(ir(_123635))], (1453 ^ _77374) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _123637))]]], (637 ^ _77374) ^ [_97435] : [ix(_97435), -(ir(_97435))], (7747 ^ _77374) ^ [_353499, _353501] : [iext(uri_xsd_maxExclusive, _353501, _353499), 7750 ^ _77374 : [(7753 ^ _77374) ^ [] : [-(lv(_353499))], (7751 ^ _77374) ^ [] : [-(ir(_353501))]]], (5466 ^ _77374) ^ [_274366, _274368] : [iext(uri_owl_equivalentProperty, _274368, _274366), 5469 ^ _77374 : [(5470 ^ _77374) ^ [] : [-(ip(_274368))], (5472 ^ _77374) ^ [] : [-(ip(_274366))], (5480 ^ _77374) ^ [_274877, _274879] : [iext(_274366, _274879, _274877), -(iext(_274368, _274879, _274877))], (5474 ^ _77374) ^ [_274695, _274697] : [iext(_274368, _274697, _274695), -(iext(_274366, _274697, _274695))]]], (474 ^ _77374) ^ [_92067] : [idc(_92067), 477 ^ _77374 : [(478 ^ _77374) ^ [_92197] : [icext(_92067, _92197), -(lv(_92197))]]], (1469 ^ _77374) ^ [_124340, _124342] : [iext(uri_owl_topDataProperty, _124342, _124340), 1472 ^ _77374 : [(1475 ^ _77374) ^ [] : [-(lv(_124340))], (1473 ^ _77374) ^ [] : [-(ir(_124342))]]], (7805 ^ _77374) ^ [] : [-(iodp(uri_xsd_minLength))], (180 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (200 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (242 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (891 ^ _77374) ^ [] : [-(ic(uri_owl_ObjectProperty))], (6204 ^ _77374) ^ [_299383, _299385, _299387, _299389, _299391, _299393, _299395] : [iext(uri_rdf_first, _299393, _299391), iext(uri_rdf_rest, _299393, _299389), iext(uri_rdf_first, _299389, _299387), iext(uri_rdf_rest, _299389, _299385), iext(uri_rdf_first, _299385, _299383), iext(uri_rdf_rest, _299385, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _299395), iext(uri_owl_members, _299395, _299393), 6235 ^ _77374 : [(6242 ^ _77374) ^ [_300681, _300683] : [iext(_299391, _300683, _300681), iext(_299383, _300683, _300681)], (6248 ^ _77374) ^ [_300930, _300932] : [iext(_299387, _300932, _300930), iext(_299383, _300932, _300930)], (6236 ^ _77374) ^ [_300412, _300414] : [iext(_299391, _300414, _300412), iext(_299387, _300414, _300412)]]], (158 ^ _77374) ^ [_82398] : [-(ir(_82398))], (1053 ^ _77374) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (592 ^ _77374) ^ [_95967] : [ip(_95967), 595 ^ _77374 : [(596 ^ _77374) ^ [_96122, _96124] : [iext(_95967, _96124, _96122), 599 ^ _77374 : [(602 ^ _77374) ^ [] : [-(ir(_96122))], (600 ^ _77374) ^ [] : [-(ir(_96124))]]]]], (7041 ^ _77374) ^ [_331574, _331576, _331578, _331580] : [iext(_331578, _331576, _331574), iext(uri_owl_sourceIndividual, _331580, _331576), iext(uri_owl_assertionProperty, _331580, _331578), iext(uri_owl_targetIndividual, _331580, _331574)], (3873 ^ _77374) ^ [_213679, _213681, _213683] : [iext(uri_owl_maxQualifiedCardinality, _213683, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _213683, _213681), iext(uri_owl_onDataRange, _213683, _213679), 3884 ^ _77374 : [(3917 ^ _77374) ^ [_215083] : [3920 ^ _77374 : [(3929 ^ _77374) ^ [] : [-(iext(_213681, _215083, 3919 ^ [_213679, _213681, _213683, _215083]))], (3925 ^ _77374) ^ [] : [-(icext(_213679, 3918 ^ [_213679, _213681, _213683, _215083]))], (3927 ^ _77374) ^ [] : [-(lv(3919 ^ [_213679, _213681, _213683, _215083]))], (3921 ^ _77374) ^ [] : [-(lv(3918 ^ [_213679, _213681, _213683, _215083]))], (3933 ^ _77374) ^ [] : [3919 ^ [_213679, _213681, _213683, _215083] = 3918 ^ [_213679, _213681, _213683, _215083]], (3931 ^ _77374) ^ [] : [-(icext(_213679, 3919 ^ [_213679, _213681, _213683, _215083]))], (3923 ^ _77374) ^ [] : [-(iext(_213681, _215083, 3918 ^ [_213679, _213681, _213683, _215083]))]], -(icext(_213683, _215083))], (3887 ^ _77374) ^ [_214159] : [icext(_213683, _214159), 3890 ^ _77374 : [(3891 ^ _77374) ^ [_214359, _214361] : [-(_214359 = _214361), lv(_214361), iext(_213681, _214159, _214361), icext(_213679, _214361), lv(_214359), iext(_213681, _214159, _214359), icext(_213679, _214359)]]], (3885 ^ _77374) ^ [] : [-(iodp(_213681))]]], (727 ^ _77374) ^ [_100192] : [icext(uri_owl_Axiom, _100192), -(ir(_100192))], (4907 ^ _77374) ^ [_255329, _255331] : [iext(uri_rdfs_domain, _255331, _255329), 4910 ^ _77374 : [(4913 ^ _77374) ^ [] : [-(ic(_255329))], (4915 ^ _77374) ^ [_255628, _255630] : [iext(_255331, _255630, _255628), -(icext(_255329, _255630))], (4911 ^ _77374) ^ [] : [-(ip(_255331))]]], (70 ^ _77374) ^ [_79597, _79599] : [-(idc(_79597)), _79599 = _79597, idc(_79599)], (6780 ^ _77374) ^ [_320535, _320537, _320539, _320541, _320543] : [iext(uri_rdf_first, _320541, _320539), iext(uri_rdf_rest, _320541, _320537), iext(uri_rdf_first, _320537, _320535), iext(uri_rdf_rest, _320537, uri_rdf_nil), 6795 ^ _77374 : [(6796 ^ _77374) ^ [] : [iext(uri_owl_hasKey, _320543, _320541), 6799 ^ _77374 : [(6800 ^ _77374) ^ [] : [-(ic(_320543))], (6802 ^ _77374) ^ [] : [-(ip(_320539))], (6806 ^ _77374) ^ [_321442, _321444, _321446, _321448] : [-(_321448 = _321446), icext(_320543, _321448), icext(_320543, _321446), iext(_320539, _321448, _321444), iext(_320539, _321446, _321444), iext(_320535, _321448, _321442), iext(_320535, _321446, _321442)], (6804 ^ _77374) ^ [] : [-(ip(_320535))]]], (6832 ^ _77374) ^ [] : [-(iext(uri_owl_hasKey, _320543, _320541)), ic(_320543), ip(_320539), ip(_320535), 6849 ^ _77374 : [(6858 ^ _77374) ^ [] : [-(iext(_320535, 6845 ^ [_320535, _320537, _320539, _320541, _320543], 6848 ^ [_320535, _320537, _320539, _320541, _320543]))], (6854 ^ _77374) ^ [] : [-(iext(_320539, 6845 ^ [_320535, _320537, _320539, _320541, _320543], 6847 ^ [_320535, _320537, _320539, _320541, _320543]))], (6856 ^ _77374) ^ [] : [-(iext(_320539, 6846 ^ [_320535, _320537, _320539, _320541, _320543], 6847 ^ [_320535, _320537, _320539, _320541, _320543]))], (6850 ^ _77374) ^ [] : [-(icext(_320543, 6845 ^ [_320535, _320537, _320539, _320541, _320543]))], (6862 ^ _77374) ^ [] : [6845 ^ [_320535, _320537, _320539, _320541, _320543] = 6846 ^ [_320535, _320537, _320539, _320541, _320543]], (6860 ^ _77374) ^ [] : [-(iext(_320535, 6846 ^ [_320535, _320537, _320539, _320541, _320543], 6848 ^ [_320535, _320537, _320539, _320541, _320543]))], (6852 ^ _77374) ^ [] : [-(icext(_320543, 6846 ^ [_320535, _320537, _320539, _320541, _320543]))]]]]], (7475 ^ _77374) ^ [_344852] : [icext(uri_xsd_dateTime, _344852), icext(uri_xsd_hexBinary, _344852)], (4953 ^ _77374) ^ [_256953, _256955] : [-(iext(uri_rdfs_range, _256955, _256953)), ip(_256955), ip(_256953), 4964 ^ _77374 : [(4967 ^ _77374) ^ [] : [icext(_256953, 4963 ^ [_256953, _256955])], (4965 ^ _77374) ^ [] : [-(iext(_256955, 4962 ^ [_256953, _256955], 4963 ^ [_256953, _256955]))]]], (7295 ^ _77374) ^ [_339215] : [icext(uri_xsd_unsignedLong, _339215), -(lv(_339215))], (5392 ^ _77374) ^ [_271938, _271940] : [iext(uri_owl_disjointWith, _271940, _271938), 5395 ^ _77374 : [(5398 ^ _77374) ^ [] : [-(ic(_271938))], (5400 ^ _77374) ^ [_272219] : [icext(_271940, _272219), icext(_271938, _272219)], (5396 ^ _77374) ^ [] : [-(ic(_271940))]]], (7795 ^ _77374) ^ [] : [-(iodp(uri_xsd_minInclusive))], (260 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (1537 ^ _77374) ^ [] : [-(ioxp(uri_owl_versionIRI))], (440 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (166 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (2 ^ _77374) ^ [_77498] : [-(_77498 = _77498)], (610 ^ _77374) ^ [_96621] : [ip(_96621), -(iext(uri_rdf_type, _96621, uri_rdf_Property))], (7613 ^ _77374) ^ [_349203] : [icext(uri_xsd_integer, _349203), -(icext(uri_xsd_decimal, _349203))], (7287 ^ _77374) ^ [_338974] : [icext(uri_xsd_unsignedInt, _338974), -(lv(_338974))], (580 ^ _77374) ^ [_95619] : [ioxp(_95619), -(iext(uri_rdf_type, _95619, uri_owl_OntologyProperty))], (428 ^ _77374) ^ [_90660, _90662, _90664] : [-(iext(uri_rdfs_subPropertyOf, _90664, _90660)), iext(uri_rdfs_subPropertyOf, _90664, _90662), iext(uri_rdfs_subPropertyOf, _90662, _90660)], (7625 ^ _77374) ^ [_349583] : [icext(uri_xsd_long, _349583), -(icext(uri_xsd_integer, _349583))], (190 ^ _77374) ^ [_83338] : [ip(_83338), -(iext(uri_rdf_type, _83338, uri_rdf_Property))], (216 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (941 ^ _77374) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (2289 ^ _77374) ^ [_151048] : [iext(uri_owl_oneOf, _151048, uri_rdf_nil), 2292 ^ _77374 : [(2295 ^ _77374) ^ [_151231] : [icext(_151048, _151231)], (2293 ^ _77374) ^ [] : [-(ic(_151048))]]], (711 ^ _77374) ^ [_99708] : [ioap(_99708), -(icext(uri_owl_AnnotationProperty, _99708))], (7735 ^ _77374) ^ [] : [-(iodp(uri_rdf_langRange))], (1489 ^ _77374) ^ [_124956, _124958] : [iext(uri_owl_topObjectProperty, _124958, _124956), 1492 ^ _77374 : [(1495 ^ _77374) ^ [] : [-(ir(_124956))], (1493 ^ _77374) ^ [] : [-(ir(_124958))]]], (719 ^ _77374) ^ [_99951] : [icext(uri_owl_AsymmetricProperty, _99951), -(ip(_99951))], (7403 ^ _77374) ^ [_342584] : [icext(uri_xsd_base64Binary, _342584), icext(uri_rdf_PlainLiteral, _342584)], (7481 ^ _77374) ^ [_345041] : [icext(uri_xsd_dateTime, _345041), icext(uri_rdf_PlainLiteral, _345041)], (1235 ^ _77374) ^ [] : [-(ip(uri_owl_intersectionOf))], (6273 ^ _77374) ^ [_301853, _301855, _301857] : [iext(uri_rdf_first, _301855, _301853), iext(uri_rdf_rest, _301855, uri_rdf_nil), 6280 ^ _77374 : [(6295 ^ _77374) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _301857, _301855)), ip(_301857), ip(_301853), 6306 ^ _77374 : [(6309 ^ _77374) ^ [] : [iext(_301857, 6304 ^ [_301853, _301855, _301857], 6305 ^ [_301853, _301855, _301857])], (6307 ^ _77374) ^ [] : [-(iext(_301853, 6304 ^ [_301853, _301855, _301857], 6305 ^ [_301853, _301855, _301857]))]]], (6281 ^ _77374) ^ [] : [iext(uri_owl_propertyChainAxiom, _301857, _301855), 6284 ^ _77374 : [(6287 ^ _77374) ^ [] : [-(ip(_301853))], (6289 ^ _77374) ^ [_302376, _302378] : [iext(_301853, _302378, _302376), -(iext(_301857, _302378, _302376))], (6285 ^ _77374) ^ [] : [-(ip(_301857))]]]]], (94 ^ _77374) ^ [_80336, _80338] : [-(ir(_80336)), _80338 = _80336, ir(_80338)], (6174 ^ _77374) ^ [_298368, _298370, _298372, _298374, _298376] : [6197 ^ _77374 : [(6198 ^ _77374) ^ [_299055, _299057] : [iext(_298372, _299057, _299055), iext(_298368, _299057, _299055)]], iext(uri_rdf_first, _298374, _298372), iext(uri_rdf_rest, _298374, _298370), iext(uri_rdf_first, _298370, _298368), iext(uri_rdf_rest, _298370, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _298376), iext(uri_owl_members, _298376, _298374)], (6866 ^ _77374) ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152] : [iext(uri_rdf_first, _324150, _324148), iext(uri_rdf_rest, _324150, _324146), iext(uri_rdf_first, _324146, _324144), iext(uri_rdf_rest, _324146, _324142), iext(uri_rdf_first, _324142, _324140), iext(uri_rdf_rest, _324142, uri_rdf_nil), 6889 ^ _77374 : [(6890 ^ _77374) ^ [] : [iext(uri_owl_hasKey, _324152, _324150), 6893 ^ _77374 : [(6900 ^ _77374) ^ [] : [-(ip(_324140))], (6898 ^ _77374) ^ [] : [-(ip(_324144))], (6896 ^ _77374) ^ [] : [-(ip(_324148))], (6894 ^ _77374) ^ [] : [-(ic(_324152))], (6902 ^ _77374) ^ [_325434, _325436, _325438, _325440, _325442] : [-(_325442 = _325440), icext(_324152, _325442), icext(_324152, _325440), iext(_324148, _325442, _325438), iext(_324148, _325440, _325438), iext(_324144, _325442, _325436), iext(_324144, _325440, _325436), iext(_324140, _325442, _325434), iext(_324140, _325440, _325434)]]], (6936 ^ _77374) ^ [] : [-(iext(uri_owl_hasKey, _324152, _324150)), ic(_324152), ip(_324148), ip(_324144), ip(_324140), 6958 ^ _77374 : [(6965 ^ _77374) ^ [] : [-(iext(_324148, 6954 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6955 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6963 ^ _77374) ^ [] : [-(iext(_324148, 6953 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6955 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6973 ^ _77374) ^ [] : [-(iext(_324140, 6954 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6957 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6967 ^ _77374) ^ [] : [-(iext(_324144, 6953 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6956 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6961 ^ _77374) ^ [] : [-(icext(_324152, 6954 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6971 ^ _77374) ^ [] : [-(iext(_324140, 6953 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6957 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6975 ^ _77374) ^ [] : [6953 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152] = 6954 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]], (6969 ^ _77374) ^ [] : [-(iext(_324144, 6954 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152], 6956 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))], (6959 ^ _77374) ^ [] : [-(icext(_324152, 6953 ^ [_324140, _324142, _324144, _324146, _324148, _324150, _324152]))]]]]], (2308 ^ _77374) ^ [_151660, _151662, _151664] : [iext(uri_rdf_first, _151662, _151660), iext(uri_rdf_rest, _151662, uri_rdf_nil), 2315 ^ _77374 : [(2316 ^ _77374) ^ [] : [iext(uri_owl_oneOf, _151664, _151662), 2319 ^ _77374 : [(2322 ^ _77374) ^ [_152119] : [icext(_151664, _152119), -(_152119 = _151660)], (2328 ^ _77374) ^ [_152299] : [_152299 = _151660, -(icext(_151664, _152299))], (2320 ^ _77374) ^ [] : [-(ic(_151664))]]], (2334 ^ _77374) ^ [] : [-(iext(uri_owl_oneOf, _151664, _151662)), ic(_151664), 2342 ^ _77374 : [(2345 ^ _77374) ^ [] : [2339 ^ [_151660, _151662, _151664] = _151660], (2343 ^ _77374) ^ [] : [-(icext(_151664, 2339 ^ [_151660, _151662, _151664]))]], 2346 ^ _77374 : [(2349 ^ _77374) ^ [] : [icext(_151664, 2339 ^ [_151660, _151662, _151664])], (2347 ^ _77374) ^ [] : [-(2339 ^ [_151660, _151662, _151664] = _151660)]]]]], (5423 ^ _77374) ^ [_272966, _272968] : [iext(uri_owl_equivalentClass, _272968, _272966), 5426 ^ _77374 : [(5427 ^ _77374) ^ [] : [-(ic(_272968))], (5429 ^ _77374) ^ [] : [-(ic(_272966))], (5437 ^ _77374) ^ [_273446] : [icext(_272966, _273446), -(icext(_272968, _273446))], (5431 ^ _77374) ^ [_273274] : [icext(_272968, _273274), -(icext(_272966, _273274))]]], (1877 ^ _77374) ^ [_137837, _137839, _137841, _137843, _137845] : [-(idc(_137845)), iext(uri_rdf_first, _137843, _137841), iext(uri_rdf_rest, _137843, _137839), iext(uri_rdf_first, _137839, _137837), iext(uri_rdf_rest, _137839, uri_rdf_nil), idc(_137841), idc(_137837), iext(uri_owl_intersectionOf, _137845, _137843)], (1365 ^ _77374) ^ [] : [-(ip(uri_owl_onProperty))], (4388 ^ _77374) ^ [_234873, _234875] : [iext(uri_owl_minCardinality, _234875, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _234875, _234873), 4395 ^ _77374 : [(4403 ^ _77374) ^ [_235376] : [4404 ^ _77374 : [(4405 ^ _77374) ^ [_235453] : [iext(_234873, _235376, _235453)]], -(icext(_234875, _235376))], (4396 ^ _77374) ^ [_235138] : [icext(_234875, _235138), -(iext(_234873, _235138, 4399 ^ [_234873, _234875, _235138]))]]], (649 ^ _77374) ^ [_97806] : [iext(uri_rdf_type, _97806, uri_owl_Ontology), -(ix(_97806))], (735 ^ _77374) ^ [_100462] : [icext(uri_owl_Class, _100462), -(ic(_100462))], (5892 ^ _77374) ^ [_288171, _288173, _288175, _288177] : [5915 ^ _77374 : [(5918 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_288171, _288173, _288175, _288177], _288177))], (5916 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_288171, _288173, _288175, _288177]))]], iext(uri_rdf_first, _288177, _288175), iext(uri_rdf_rest, _288177, _288173), iext(uri_rdf_first, _288173, _288171), iext(uri_rdf_rest, _288173, uri_rdf_nil), 5910 ^ _77374 : [(5913 ^ _77374) ^ [] : [-(icext(_288171, 5909 ^ [_288171, _288173, _288175, _288177]))], (5911 ^ _77374) ^ [] : [-(icext(_288175, 5909 ^ [_288171, _288173, _288175, _288177]))]]], (1193 ^ _77374) ^ [] : [-(ip(uri_owl_hasSelf))], (7221 ^ _77374) ^ [] : [-(idc(uri_xsd_normalizedString))], (7095 ^ _77374) ^ [_333190] : [icext(uri_xsd_dateTimeStamp, _333190), -(lv(_333190))], (7343 ^ _77374) ^ [_340694] : [icext(uri_xsd_anyURI, _340694), icext(uri_xsd_float, _340694)], (1133 ^ _77374) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (278 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (6656 ^ _77374) ^ [_316016] : [icext(uri_owl_TransitiveProperty, _316016), 6659 ^ _77374 : [(6662 ^ _77374) ^ [_316264, _316266, _316268] : [-(iext(_316016, _316268, _316264)), iext(_316016, _316268, _316266), iext(_316016, _316266, _316264)], (6660 ^ _77374) ^ [] : [-(ip(_316016))]]], (1407 ^ _77374) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (240 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (625 ^ _77374) ^ [_97087] : [ir(_97087), -(iext(uri_rdf_type, _97087, uri_rdfs_Resource))], (3323 ^ _77374) ^ [_191042, _191044, _191046] : [iext(uri_owl_qualifiedCardinality, _191046, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _191046, _191044), iext(uri_owl_onClass, _191046, _191042), 3334 ^ _77374 : [(3335 ^ _77374) ^ [_191458] : [icext(_191046, _191458), 3339 ^ _77374 : [(3342 ^ _77374) ^ [] : [-(icext(_191042, 3338 ^ [_191042, _191044, _191046, _191458]))], (3344 ^ _77374) ^ [_191891, _191893] : [-(_191891 = _191893), iext(_191044, _191458, _191893), icext(_191042, _191893), iext(_191044, _191458, _191891), icext(_191042, _191891)], (3340 ^ _77374) ^ [] : [-(iext(_191044, _191458, 3338 ^ [_191042, _191044, _191046, _191458]))]]], (3362 ^ _77374) ^ [_192413] : [-(icext(_191046, _192413)), 3373 ^ _77374 : [(3380 ^ _77374) ^ [] : [-(icext(_191042, 3372 ^ [_191042, _191044, _191046, _192413]))], (3378 ^ _77374) ^ [] : [-(iext(_191044, _192413, 3372 ^ [_191042, _191044, _191046, _192413]))], (3376 ^ _77374) ^ [] : [-(icext(_191042, 3371 ^ [_191042, _191044, _191046, _192413]))], (3374 ^ _77374) ^ [] : [-(iext(_191044, _192413, 3371 ^ [_191042, _191044, _191046, _192413]))], (3382 ^ _77374) ^ [] : [3372 ^ [_191042, _191044, _191046, _192413] = 3371 ^ [_191042, _191044, _191046, _192413]]], 3365 ^ _77374 : [(3366 ^ _77374) ^ [_192596] : [iext(_191044, _192413, _192596), icext(_191042, _192596)]]]]], (10 ^ _77374) ^ [_77809, _77811, _77813] : [-(_77813 = _77809), _77813 = _77811, _77811 = _77809], (104 ^ _77374) ^ [_80631, _80633] : [-(lv(_80631)), _80633 = _80631, lv(_80633)], (7101 ^ _77374) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (370 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (6063 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (6168 ^ _77374) ^ [] : [-(tautology), tautology], (7445 ^ _77374) ^ [_343907] : [icext(uri_xsd_boolean, _343907), icext(uri_rdf_PlainLiteral, _343907)], (7439 ^ _77374) ^ [_343718] : [icext(uri_xsd_boolean, _343718), icext(uri_xsd_hexBinary, _343718)], (1295 ^ _77374) ^ [] : [-(ip(uri_owl_members))], (604 ^ _77374) ^ [_96406] : [ip(_96406), -(ir(_96406))], (1185 ^ _77374) ^ [_114751, _114753] : [iext(uri_owl_hasSelf, _114753, _114751), 1188 ^ _77374 : [(1191 ^ _77374) ^ [] : [-(ir(_114751))], (1189 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _114753))]]], (7785 ^ _77374) ^ [] : [-(iodp(uri_xsd_minExclusive))], (1437 ^ _77374) ^ [] : [-(ip(uri_owl_someValuesFrom))], (342 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (851 ^ _77374) ^ [_103951] : [lv(_103951), -(icext(uri_rdfs_Literal, _103951))], (789 ^ _77374) ^ [] : [-(ic(uri_rdfs_Datatype))], (7469 ^ _77374) ^ [_344663] : [icext(uri_xsd_dateTime, _344663), icext(uri_xsd_float, _344663)], (1223 ^ _77374) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (1519 ^ _77374) ^ [_125881, _125883] : [iext(uri_owl_versionInfo, _125883, _125881), 1522 ^ _77374 : [(1525 ^ _77374) ^ [] : [-(ir(_125881))], (1523 ^ _77374) ^ [] : [-(ir(_125883))]]], (2503 ^ _77374) ^ [_158364, _158366, _158368] : [-(idc(_158368)), iext(uri_rdf_first, _158366, _158364), iext(uri_rdf_rest, _158366, uri_rdf_nil), lv(_158364), iext(uri_owl_oneOf, _158368, _158366)], (979 ^ _77374) ^ [_107842] : [ir(_107842), -(icext(uri_owl_Thing, _107842))], (7087 ^ _77374) ^ [_332949] : [icext(uri_xsd_dateTime, _332949), -(lv(_332949))], (899 ^ _77374) ^ [_105415] : [ix(_105415), -(icext(uri_owl_Ontology, _105415))], (206 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (306 ^ _77374) ^ [_86746] : [ic(_86746), -(icext(uri_rdfs_Class, _86746))], (667 ^ _77374) ^ [_98369] : [iext(uri_rdf_type, _98369, uri_rdfs_Literal), -(lv(_98369))], (913 ^ _77374) ^ [_105841] : [ioxp(_105841), -(icext(uri_owl_OntologyProperty, _105841))], (1173 ^ _77374) ^ [] : [-(ip(uri_owl_equivalentProperty))], (7777 ^ _77374) ^ [_354507, _354509] : [iext(uri_xsd_minExclusive, _354509, _354507), 7780 ^ _77374 : [(7783 ^ _77374) ^ [] : [-(lv(_354507))], (7781 ^ _77374) ^ [] : [-(ir(_354509))]]], (1317 ^ _77374) ^ [_119196, _119198] : [iext(uri_owl_onClass, _119198, _119196), 1320 ^ _77374 : [(1323 ^ _77374) ^ [] : [-(ic(_119196))], (1321 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _119198))]]], (7649 ^ _77374) ^ [_350343] : [icext(uri_xsd_NMTOKEN, _350343), -(icext(uri_xsd_token, _350343))], (775 ^ _77374) ^ [] : [-(ic(uri_owl_DataRange))], (80 ^ _77374) ^ [_79920, _79922, _79924, _79926] : [-(icext(_79924, _79920)), icext(_79926, _79922), _79926 = _79924, _79922 = _79920], (1165 ^ _77374) ^ [_114077, _114079] : [iext(uri_owl_equivalentProperty, _114079, _114077), 1168 ^ _77374 : [(1171 ^ _77374) ^ [] : [-(ip(_114077))], (1169 ^ _77374) ^ [] : [-(ip(_114079))]]], (1389 ^ _77374) ^ [_121611, _121613] : [iext(uri_owl_propertyDisjointWith, _121613, _121611), 1392 ^ _77374 : [(1395 ^ _77374) ^ [] : [-(ip(_121611))], (1393 ^ _77374) ^ [] : [-(ip(_121613))]]], (7637 ^ _77374) ^ [_349963] : [icext(uri_xsd_NCName, _349963), -(icext(uri_xsd_Name, _349963))], (5717 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (805 ^ _77374) ^ [_102563] : [icext(uri_owl_DeprecatedClass, _102563), -(ic(_102563))], (236 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (1277 ^ _77374) ^ [_117838, _117840] : [iext(uri_owl_maxQualifiedCardinality, _117840, _117838), 1280 ^ _77374 : [(1283 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _117838))], (1281 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _117840))]]], (404 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (7303 ^ _77374) ^ [_339456] : [icext(uri_xsd_unsignedShort, _339456), -(lv(_339456))], (312 ^ _77374) ^ [_86900] : [icext(uri_rdfs_Class, _86900), -(ic(_86900))], (1105 ^ _77374) ^ [_112055, _112057] : [iext(uri_owl_deprecated, _112057, _112055), 1108 ^ _77374 : [(1111 ^ _77374) ^ [] : [-(ir(_112055))], (1109 ^ _77374) ^ [] : [-(ir(_112057))]]], (6500 ^ _77374) ^ [_310438] : [icext(uri_owl_AsymmetricProperty, _310438), 6503 ^ _77374 : [(6506 ^ _77374) ^ [_310662, _310664] : [iext(_310438, _310664, _310662), iext(_310438, _310662, _310664)], (6504 ^ _77374) ^ [] : [-(ip(_310438))]]], (230 ^ _77374) ^ [_84520] : [ic(_84520), -(iext(uri_rdfs_subClassOf, _84520, uri_rdfs_Resource))], (7261 ^ _77374) ^ [] : [-(idc(uri_xsd_short))], (248 ^ _77374) ^ [_85028] : [icext(uri_rdfs_ContainerMembershipProperty, _85028), -(iext(uri_rdfs_subPropertyOf, _85028, uri_rdfs_member))], (7601 ^ _77374) ^ [_348823] : [icext(uri_xsd_decimal, _348823), -(icext(uri_owl_rational, _348823))], (5875 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (168 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (1225 ^ _77374) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (1013 ^ _77374) ^ [] : [-(ip(uri_owl_annotatedProperty))], (184 ^ _77374) ^ [_83182] : [iext(uri_rdf_type, _83182, uri_rdf_Property), -(ip(_83182))], (1569 ^ _77374) ^ [_127608, _127610] : [iext(uri_owl_datatypeComplementOf, _127610, _127608), 1572 ^ _77374 : [(1581 ^ _77374) ^ [_128031] : [-(icext(_127610, _128031)), lv(_128031), -(icext(_127608, _128031))], (1573 ^ _77374) ^ [_127783] : [icext(_127610, _127783), 1576 ^ _77374 : [(1579 ^ _77374) ^ [] : [icext(_127608, _127783)], (1577 ^ _77374) ^ [] : [-(lv(_127783))]]]]], (7119 ^ _77374) ^ [_333913] : [icext(uri_xsd_float, _333913), -(lv(_333913))], (1429 ^ _77374) ^ [_122959, _122961] : [iext(uri_owl_someValuesFrom, _122961, _122959), 1432 ^ _77374 : [(1435 ^ _77374) ^ [] : [-(ic(_122959))], (1433 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _122961))]]], (1145 ^ _77374) ^ [_113401, _113403] : [iext(uri_owl_distinctMembers, _113403, _113401), 1148 ^ _77374 : [(1151 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _113401))], (1149 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, _113403))]]], (7685 ^ _77374) ^ [_351483] : [icext(uri_xsd_short, _351483), -(icext(uri_xsd_int, _351483))], (1427 ^ _77374) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (7157 ^ _77374) ^ [] : [-(idc(uri_xsd_language))], (987 ^ _77374) ^ [_108085] : [icext(uri_owl_TransitiveProperty, _108085), -(ip(_108085))], (336 ^ _77374) ^ [_87646] : [icext(uri_rdfs_Literal, _87646), -(lv(_87646))], (238 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (2297 ^ _77374) ^ [_151299] : [-(iext(uri_owl_oneOf, _151299, uri_rdf_nil)), ic(_151299), -(icext(_151299, 2302 ^ [_151299]))], (1327 ^ _77374) ^ [_119534, _119536] : [iext(uri_owl_onDataRange, _119536, _119534), 1330 ^ _77374 : [(1333 ^ _77374) ^ [] : [-(idc(_119534))], (1331 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _119536))]]], (5034 ^ _77374) ^ [_259766, _259768] : [iext(uri_owl_differentFrom, _259768, _259766), _259768 = _259766], (7199 ^ _77374) ^ [_336323] : [icext(uri_xsd_nonNegativeInteger, _336323), -(lv(_336323))], (7205 ^ _77374) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (544 ^ _77374) ^ [_94402] : [iodp(_94402), -(ip(_94402))], (6254 ^ _77374) ^ [_301237] : [iext(uri_owl_propertyChainAxiom, _301237, uri_rdf_nil), 6257 ^ _77374 : [(6260 ^ _77374) ^ [_301420] : [-(iext(_301237, _301420, _301420))], (6258 ^ _77374) ^ [] : [-(ip(_301237))]]], (5555 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (6630 ^ _77374) ^ [_315089] : [icext(uri_owl_SymmetricProperty, _315089), 6633 ^ _77374 : [(6636 ^ _77374) ^ [_315311, _315313] : [iext(_315089, _315313, _315311), -(iext(_315089, _315311, _315313))], (6634 ^ _77374) ^ [] : [-(ip(_315089))]]], (7293 ^ _77374) ^ [] : [-(idc(uri_xsd_unsignedInt))], (444 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (254 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (1203 ^ _77374) ^ [] : [-(ip(uri_owl_hasValue))], (282 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (462 ^ _77374) ^ [_91719] : [ic(_91719), -(iext(uri_rdf_type, _91719, uri_rdfs_Class))], (178 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (1237 ^ _77374) ^ [_116490, _116492] : [iext(uri_owl_inverseOf, _116492, _116490), 1240 ^ _77374 : [(1243 ^ _77374) ^ [] : [-(ip(_116490))], (1241 ^ _77374) ^ [] : [-(ip(_116492))]]], (5719 ^ _77374) ^ [_282650, _282652] : [5727 ^ _77374 : [(5730 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_282650, _282652], _282652))], (5728 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_282650, _282652]))]], iext(uri_rdf_first, _282652, _282650), iext(uri_rdf_rest, _282652, uri_rdf_nil)], (7667 ^ _77374) ^ [_350913] : [icext(uri_xsd_normalizedString, _350913), -(icext(uri_xsd_string, _350913))], (877 ^ _77374) ^ [] : [-(ic(uri_owl_Nothing))], (274 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (5040 ^ _77374) ^ [_259931, _259933] : [-(_259933 = _259931), -(iext(uri_owl_differentFrom, _259933, _259931))], (1399 ^ _77374) ^ [_121947, _121949] : [iext(uri_owl_qualifiedCardinality, _121949, _121947), 1402 ^ _77374 : [(1405 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _121947))], (1403 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _121949))]]], (7125 ^ _77374) ^ [] : [-(idc(uri_xsd_float))], (3292 ^ _77374) ^ [_189894, _189896, _189898] : [iext(uri_owl_qualifiedCardinality, _189898, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _189898, _189896), iext(uri_owl_onClass, _189898, _189894), 3303 ^ _77374 : [(3304 ^ _77374) ^ [_190270] : [icext(_189898, _190270), 3307 ^ _77374 : [(3308 ^ _77374) ^ [_190424] : [iext(_189896, _190270, _190424), icext(_189894, _190424)]]], (3314 ^ _77374) ^ [_190618] : [3316 ^ _77374 : [(3319 ^ _77374) ^ [] : [-(icext(_189894, 3315 ^ [_189894, _189896, _189898, _190618]))], (3317 ^ _77374) ^ [] : [-(iext(_189896, _190618, 3315 ^ [_189894, _189896, _189898, _190618]))]], -(icext(_189898, _190618))]]], (1083 ^ _77374) ^ [] : [-(ioap(uri_rdfs_comment))], (280 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (1487 ^ _77374) ^ [] : [-(iodp(uri_owl_topDataProperty))], (6575 ^ _77374) ^ [_313147] : [-(icext(uri_owl_InverseFunctionalProperty, _313147)), ip(_313147), 6583 ^ _77374 : [(6586 ^ _77374) ^ [] : [-(iext(_313147, 6581 ^ [_313147], 6582 ^ [_313147]))], (6588 ^ _77374) ^ [] : [6580 ^ [_313147] = 6581 ^ [_313147]], (6584 ^ _77374) ^ [] : [-(iext(_313147, 6580 ^ [_313147], 6582 ^ [_313147]))]]], (3672 ^ _77374) ^ [_205583, _205585] : [iext(uri_owl_maxCardinality, _205585, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _205585, _205583), 3679 ^ _77374 : [(3686 ^ _77374) ^ [_206047] : [-(iext(_205583, _206047, 3687 ^ [_205583, _205585, _206047])), -(icext(_205585, _206047))], (3680 ^ _77374) ^ [_205850] : [icext(_205585, _205850), 3683 ^ _77374 : [(3684 ^ _77374) ^ [_205976] : [iext(_205583, _205850, _205976)]]]]], (6542 ^ _77374) ^ [_311906] : [-(icext(uri_owl_FunctionalProperty, _311906)), ip(_311906), 6550 ^ _77374 : [(6553 ^ _77374) ^ [] : [-(iext(_311906, 6547 ^ [_311906], 6549 ^ [_311906]))], (6555 ^ _77374) ^ [] : [6548 ^ [_311906] = 6549 ^ [_311906]], (6551 ^ _77374) ^ [] : [-(iext(_311906, 6547 ^ [_311906], 6548 ^ [_311906]))]]], (1257 ^ _77374) ^ [_117162, _117164] : [iext(uri_rdfs_label, _117164, _117162), 1260 ^ _77374 : [(1263 ^ _77374) ^ [] : [-(lv(_117162))], (1261 ^ _77374) ^ [] : [-(ir(_117164))]]], (905 ^ _77374) ^ [] : [-(ic(uri_owl_Ontology))], (1539 ^ _77374) ^ [_126553, _126555] : [iext(uri_owl_withRestrictions, _126555, _126553), 1542 ^ _77374 : [(1545 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _126553))], (1543 ^ _77374) ^ [] : [-(idc(_126555))]]], (7055 ^ _77374) ^ [_331985] : [icext(uri_xsd_anyURI, _331985), -(lv(_331985))], (6705 ^ _77374) ^ [_317763] : [-(iext(uri_owl_hasKey, _317763, uri_rdf_nil)), ic(_317763), 6712 ^ _77374 : [(6715 ^ _77374) ^ [] : [-(icext(_317763, 6711 ^ [_317763]))], (6717 ^ _77374) ^ [] : [6710 ^ [_317763] = 6711 ^ [_317763]], (6713 ^ _77374) ^ [] : [-(icext(_317763, 6710 ^ [_317763]))]]], (7553 ^ _77374) ^ [_347309] : [icext(uri_xsd_hexBinary, _347309), icext(uri_rdf_PlainLiteral, _347309)], (6262 ^ _77374) ^ [_301489] : [-(iext(uri_owl_propertyChainAxiom, _301489, uri_rdf_nil)), ip(_301489), iext(_301489, 6267 ^ [_301489], 6267 ^ [_301489])], (1175 ^ _77374) ^ [_114413, _114415] : [iext(uri_owl_hasKey, _114415, _114413), 1178 ^ _77374 : [(1181 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _114413))], (1179 ^ _77374) ^ [] : [-(ic(_114415))]]], (198 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (1549 ^ _77374) ^ [_126891, _126893] : [iext(uri_owl_complementOf, _126893, _126891), 1552 ^ _77374 : [(1553 ^ _77374) ^ [] : [-(ic(_126893))], (1555 ^ _77374) ^ [] : [-(ic(_126891))], (1563 ^ _77374) ^ [_127374] : [-(icext(_126891, _127374)), -(icext(_126893, _127374))], (1557 ^ _77374) ^ [_127201] : [icext(_126893, _127201), icext(_126891, _127201)]]], (695 ^ _77374) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (7069 ^ _77374) ^ [] : [-(idc(uri_xsd_base64Binary))], (4512 ^ _77374) ^ [_239741, _239743, _239745] : [iext(uri_owl_minQualifiedCardinality, _239745, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _239745, _239743), iext(uri_owl_onDataRange, _239745, _239741), 4523 ^ _77374 : [(4526 ^ _77374) ^ [_240192] : [icext(_239745, _240192), 4530 ^ _77374 : [(4533 ^ _77374) ^ [] : [-(iext(_239743, _240192, 4529 ^ [_239741, _239743, _239745, _240192]))], (4535 ^ _77374) ^ [] : [-(icext(_239741, 4529 ^ [_239741, _239743, _239745, _240192]))], (4531 ^ _77374) ^ [] : [-(lv(4529 ^ [_239741, _239743, _239745, _240192]))]]], (4537 ^ _77374) ^ [_240632] : [-(icext(_239745, _240632)), 4538 ^ _77374 : [(4539 ^ _77374) ^ [_240740] : [lv(_240740), iext(_239743, _240632, _240740), icext(_239741, _240740)]]], (4524 ^ _77374) ^ [] : [-(iodp(_239743))]]], (7559 ^ _77374) ^ [_347498] : [icext(uri_xsd_hexBinary, _347498), icext(uri_owl_real, _347498)], (142 ^ _77374) ^ [_81844, _81846, _81848, _81850] : [-(literal_typed(_81850, _81846) = literal_typed(_81848, _81844)), _81850 = _81848, _81846 = _81844], (1057 ^ _77374) ^ [_110397, _110399] : [iext(uri_owl_bottomDataProperty, _110399, _110397)], (152 ^ _77374) ^ [_82211, _82213, _82215] : [iext(_82213, _82215, _82211), -(ip(_82213))], (6979 ^ _77374) ^ [_329504, _329506, _329508] : [6995 ^ _77374 : [(6998 ^ _77374) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_329504, _329506, _329508], _329508))], (7000 ^ _77374) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_329504, _329506, _329508], _329504))], (6996 ^ _77374) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_329504, _329506, _329508], _329506))]], ir(_329506), iodp(_329508), lv(_329504), -(iext(_329508, _329506, _329504))], (1347 ^ _77374) ^ [_120208, _120210] : [iext(uri_owl_oneOf, _120210, _120208), 1350 ^ _77374 : [(1353 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _120208))], (1351 ^ _77374) ^ [] : [-(ic(_120210))]]], (835 ^ _77374) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (5920 ^ _77374) ^ [_289183, _289185, _289187, _289189, _289191, _289193] : [5965 ^ _77374 : [(5968 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_289183, _289185, _289187, _289189, _289191, _289193], _289193))], (5966 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))]], iext(uri_rdf_first, _289193, _289191), iext(uri_rdf_rest, _289193, _289189), iext(uri_rdf_first, _289189, _289187), iext(uri_rdf_rest, _289189, _289185), iext(uri_rdf_first, _289185, _289183), iext(uri_rdf_rest, _289185, uri_rdf_nil), 5948 ^ _77374 : [(5951 ^ _77374) ^ [] : [-(icext(_289187, 5947 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))], (5949 ^ _77374) ^ [] : [-(icext(_289191, 5947 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))]], 5955 ^ _77374 : [(5958 ^ _77374) ^ [] : [-(icext(_289183, 5954 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))], (5956 ^ _77374) ^ [] : [-(icext(_289191, 5954 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))]], 5960 ^ _77374 : [(5963 ^ _77374) ^ [] : [-(icext(_289183, 5959 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))], (5961 ^ _77374) ^ [] : [-(icext(_289187, 5959 ^ [_289183, _289185, _289187, _289189, _289191, _289193]))]]], (40 ^ _77374) ^ [_78712, _78714] : [-(ioxp(_78712)), _78714 = _78712, ioxp(_78714)], (875 ^ _77374) ^ [_104660] : [icext(uri_owl_Nothing, _104660)], (1025 ^ _77374) ^ [_109350, _109352] : [iext(uri_owl_annotatedTarget, _109352, _109350), 1028 ^ _77374 : [(1031 ^ _77374) ^ [] : [-(ir(_109350))], (1029 ^ _77374) ^ [] : [-(ir(_109352))]]], (1335 ^ _77374) ^ [] : [-(ip(uri_owl_onDataRange))], (420 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (1065 ^ _77374) ^ [_110707, _110709] : [iext(uri_owl_cardinality, _110709, _110707), 1068 ^ _77374 : [(1071 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _110707))], (1069 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _110709))]]], (1517 ^ _77374) ^ [] : [-(ip(uri_owl_unionOf))], (7679 ^ _77374) ^ [_351293] : [icext(uri_owl_rational, _351293), -(icext(uri_owl_real, _351293))], (7821 ^ _77374) ^ [] : [-(iext(uri_owl_onClass, uri_ex_z, uri_ex_c))], (5054 ^ _77374) ^ [_260414] : [-(iext(uri_owl_disjointUnionOf, _260414, uri_rdf_nil)), ic(_260414), -(icext(_260414, 5059 ^ [_260414]))], (1325 ^ _77374) ^ [] : [-(ip(uri_owl_onClass))], (202 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (5798 ^ _77374) ^ [] : [-(tautology), tautology], (741 ^ _77374) ^ [_100616] : [ic(_100616), -(icext(uri_owl_Class, _100616))], (1227 ^ _77374) ^ [_116152, _116154] : [iext(uri_owl_intersectionOf, _116154, _116152), 1230 ^ _77374 : [(1233 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _116152))], (1231 ^ _77374) ^ [] : [-(ic(_116154))]]], (7487 ^ _77374) ^ [_345230] : [icext(uri_xsd_dateTime, _345230), icext(uri_owl_real, _345230)], (5443 ^ _77374) ^ [_273629, _273631] : [-(iext(uri_owl_equivalentClass, _273631, _273629)), ic(_273631), ic(_273629), 5455 ^ _77374 : [(5458 ^ _77374) ^ [] : [icext(_273629, 5452 ^ [_273629, _273631])], (5456 ^ _77374) ^ [] : [-(icext(_273631, 5452 ^ [_273629, _273631]))]], 5459 ^ _77374 : [(5462 ^ _77374) ^ [] : [icext(_273631, 5452 ^ [_273629, _273631])], (5460 ^ _77374) ^ [] : [-(icext(_273629, 5452 ^ [_273629, _273631]))]]], (3386 ^ _77374) ^ [_193525, _193527, _193529] : [iext(uri_owl_qualifiedCardinality, _193529, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _193529, _193527), iext(uri_owl_onClass, _193529, _193525), 3397 ^ _77374 : [(3398 ^ _77374) ^ [_193991] : [icext(_193529, _193991), 3403 ^ _77374 : [(3412 ^ _77374) ^ [] : [3401 ^ [_193525, _193527, _193529, _193991] = 3402 ^ [_193525, _193527, _193529, _193991]], (3408 ^ _77374) ^ [] : [-(iext(_193527, _193991, 3402 ^ [_193525, _193527, _193529, _193991]))], (3410 ^ _77374) ^ [] : [-(icext(_193525, 3402 ^ [_193525, _193527, _193529, _193991]))], (3414 ^ _77374) ^ [_194888, _194890, _194892] : [-(_194888 = _194892), -(_194888 = _194890), iext(_193527, _193991, _194892), icext(_193525, _194892), iext(_193527, _193991, _194890), icext(_193525, _194890), iext(_193527, _193991, _194888), icext(_193525, _194888)], (3404 ^ _77374) ^ [] : [-(iext(_193527, _193991, 3401 ^ [_193525, _193527, _193529, _193991]))], (3406 ^ _77374) ^ [] : [-(icext(_193525, 3401 ^ [_193525, _193527, _193529, _193991]))]]], (3444 ^ _77374) ^ [_195766] : [-(icext(_193529, _195766)), 3468 ^ _77374 : [(3483 ^ _77374) ^ [] : [3467 ^ [_193525, _193527, _193529, _195766] = 3466 ^ [_193525, _193527, _193529, _195766]], (3477 ^ _77374) ^ [] : [-(iext(_193527, _195766, 3467 ^ [_193525, _193527, _193529, _195766]))], (3479 ^ _77374) ^ [] : [-(icext(_193525, 3467 ^ [_193525, _193527, _193529, _195766]))], (3481 ^ _77374) ^ [] : [3467 ^ [_193525, _193527, _193529, _195766] = 3465 ^ [_193525, _193527, _193529, _195766]], (3473 ^ _77374) ^ [] : [-(iext(_193527, _195766, 3466 ^ [_193525, _193527, _193529, _195766]))], (3471 ^ _77374) ^ [] : [-(icext(_193525, 3465 ^ [_193525, _193527, _193529, _195766]))], (3469 ^ _77374) ^ [] : [-(iext(_193527, _195766, 3465 ^ [_193525, _193527, _193529, _195766]))], (3475 ^ _77374) ^ [] : [-(icext(_193525, 3466 ^ [_193525, _193527, _193529, _195766]))]], 3447 ^ _77374 : [(3448 ^ _77374) ^ [_196013, _196015] : [iext(_193527, _195766, _196015), icext(_193525, _196015), iext(_193527, _195766, _196013), icext(_193525, _196013), -(_196015 = _196013)]]]]], (827 ^ _77374) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (6456 ^ _77374) ^ [_308898, _308900] : [iext(uri_owl_inverseOf, _308900, _308898), 6459 ^ _77374 : [(6460 ^ _77374) ^ [] : [-(ip(_308900))], (6462 ^ _77374) ^ [] : [-(ip(_308898))], (6470 ^ _77374) ^ [_309409, _309411] : [iext(_308898, _309409, _309411), -(iext(_308900, _309411, _309409))], (6464 ^ _77374) ^ [_309227, _309229] : [iext(_308900, _309229, _309227), -(iext(_308898, _309227, _309229))]]], (1387 ^ _77374) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (673 ^ _77374) ^ [_98561] : [icext(uri_owl_AllDifferent, _98561), -(ir(_98561))], (7355 ^ _77374) ^ [_341072] : [icext(uri_xsd_anyURI, _341072), icext(uri_rdf_PlainLiteral, _341072)], (2353 ^ _77374) ^ [_153138, _153140, _153142, _153144, _153146] : [iext(uri_rdf_first, _153144, _153142), iext(uri_rdf_rest, _153144, _153140), iext(uri_rdf_first, _153140, _153138), iext(uri_rdf_rest, _153140, uri_rdf_nil), 2368 ^ _77374 : [(2369 ^ _77374) ^ [] : [iext(uri_owl_oneOf, _153146, _153144), 2372 ^ _77374 : [(2385 ^ _77374) ^ [_154139] : [2386 ^ _77374 : [(2389 ^ _77374) ^ [] : [_154139 = _153138], (2387 ^ _77374) ^ [] : [_154139 = _153142]], -(icext(_153146, _154139))], (2375 ^ _77374) ^ [_153837] : [icext(_153146, _153837), -(_153837 = _153142), -(_153837 = _153138)], (2373 ^ _77374) ^ [] : [-(ic(_153146))]]], (2393 ^ _77374) ^ [] : [-(iext(uri_owl_oneOf, _153146, _153144)), ic(_153146), 2401 ^ _77374 : [(2404 ^ _77374) ^ [] : [2398 ^ [_153138, _153140, _153142, _153144, _153146] = _153142], (2406 ^ _77374) ^ [] : [2398 ^ [_153138, _153140, _153142, _153144, _153146] = _153138], (2402 ^ _77374) ^ [] : [-(icext(_153146, 2398 ^ [_153138, _153140, _153142, _153144, _153146]))]], 2407 ^ _77374 : [(2408 ^ _77374) ^ [] : [-(2398 ^ [_153138, _153140, _153142, _153144, _153146] = _153142), -(2398 ^ [_153138, _153140, _153142, _153144, _153146] = _153138)], (2414 ^ _77374) ^ [] : [icext(_153146, 2398 ^ [_153138, _153140, _153142, _153144, _153146])]]]]], (7127 ^ _77374) ^ [_334154] : [icext(uri_xsd_hexBinary, _334154), -(lv(_334154))], (182 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (1529 ^ _77374) ^ [_126217, _126219] : [iext(uri_owl_versionIRI, _126219, _126217), 1532 ^ _77374 : [(1535 ^ _77374) ^ [] : [-(ix(_126217))], (1533 ^ _77374) ^ [] : [-(ix(_126219))]]], (5715 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (1265 ^ _77374) ^ [] : [-(ioap(uri_rdfs_label))], (268 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (949 ^ _77374) ^ [_106934] : [ir(_106934), -(icext(uri_rdfs_Resource, _106934))], (5572 ^ _77374) ^ [_278087, _278089, _278091, _278093] : [5592 ^ _77374 : [(5595 ^ _77374) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_278087, _278089, _278091, _278093], _278093))], (5593 ^ _77374) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_278087, _278089, _278091, _278093]))]], iext(uri_rdf_first, _278093, _278091), iext(uri_rdf_rest, _278093, _278089), iext(uri_rdf_first, _278089, _278087), iext(uri_rdf_rest, _278089, uri_rdf_nil), -(_278091 = _278087)], (5970 ^ _77374) ^ [] : [-(tautology), tautology], (1113 ^ _77374) ^ [] : [-(ioap(uri_owl_deprecated))], (30 ^ _77374) ^ [_78417, _78419] : [-(ix(_78417)), _78419 = _78417, ix(_78419)], (7189 ^ _77374) ^ [] : [-(idc(uri_xsd_negativeInteger))], (4880 ^ _77374) ^ [_254269, _254271, _254273] : [iext(uri_owl_someValuesFrom, _254273, _254269), iext(uri_owl_onProperty, _254273, _254271), 4887 ^ _77374 : [(4897 ^ _77374) ^ [_254896] : [-(icext(_254273, _254896)), 4898 ^ _77374 : [(4899 ^ _77374) ^ [_254999] : [iext(_254271, _254896, _254999), icext(_254269, _254999)]]], (4888 ^ _77374) ^ [_254548] : [icext(_254273, _254548), 4892 ^ _77374 : [(4895 ^ _77374) ^ [] : [-(icext(_254269, 4891 ^ [_254269, _254271, _254273, _254548]))], (4893 ^ _77374) ^ [] : [-(iext(_254271, _254548, 4891 ^ [_254269, _254271, _254273, _254548]))]]]]], (262 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (6476 ^ _77374) ^ [_309602, _309604] : [-(iext(uri_owl_inverseOf, _309604, _309602)), ip(_309604), ip(_309602), 6489 ^ _77374 : [(6492 ^ _77374) ^ [] : [iext(_309602, 6486 ^ [_309602, _309604], 6485 ^ [_309602, _309604])], (6490 ^ _77374) ^ [] : [-(iext(_309604, 6485 ^ [_309602, _309604], 6486 ^ [_309602, _309604]))]], 6493 ^ _77374 : [(6496 ^ _77374) ^ [] : [iext(_309604, 6485 ^ [_309602, _309604], 6486 ^ [_309602, _309604])], (6494 ^ _77374) ^ [] : [-(iext(_309602, 6486 ^ [_309602, _309604], 6485 ^ [_309602, _309604]))]]], (7271 ^ _77374) ^ [_338492] : [icext(uri_xsd_token, _338492), -(lv(_338492))], (7349 ^ _77374) ^ [_340883] : [icext(uri_xsd_anyURI, _340883), icext(uri_xsd_hexBinary, _340883)], (394 ^ _77374) ^ [_89496, _89498, _89500] : [-(iext(uri_rdfs_subClassOf, _89500, _89496)), iext(uri_rdfs_subClassOf, _89500, _89498), iext(uri_rdfs_subClassOf, _89498, _89496)], (484 ^ _77374) ^ [_92398] : [idc(_92398), -(ic(_92398))], (1059 ^ _77374) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (124 ^ _77374) ^ [_81257, _81259, _81261, _81263, _81265, _81267] : [-(iext(_81265, _81261, _81257)), iext(_81267, _81263, _81259), _81267 = _81265, _81263 = _81261, _81259 = _81257], (7279 ^ _77374) ^ [_338733] : [icext(uri_xsd_unsignedByte, _338733), -(lv(_338733))], (170 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (7571 ^ _77374) ^ [_347876] : [icext(uri_rdf_PlainLiteral, _347876), icext(uri_owl_real, _347876)], (2551 ^ _77374) ^ [_159811, _159813, _159815, _159817, _159819, _159821, _159823] : [-(idc(_159823)), iext(uri_rdf_first, _159821, _159819), iext(uri_rdf_rest, _159821, _159817), iext(uri_rdf_first, _159817, _159815), iext(uri_rdf_rest, _159817, _159813), iext(uri_rdf_first, _159813, _159811), iext(uri_rdf_rest, _159813, uri_rdf_nil), lv(_159819), lv(_159815), lv(_159811), iext(uri_owl_oneOf, _159823, _159821)], (3774 ^ _77374) ^ [_209623, _209625] : [iext(uri_owl_maxCardinality, _209625, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _209625, _209623), 3781 ^ _77374 : [(3782 ^ _77374) ^ [_209942] : [icext(_209625, _209942), 3785 ^ _77374 : [(3786 ^ _77374) ^ [_210178, _210180, _210182, _210184] : [-(_210178 = _210184), -(_210178 = _210182), -(_210178 = _210180), iext(_209623, _209942, _210184), iext(_209623, _209942, _210182), iext(_209623, _209942, _210180), iext(_209623, _209942, _210178)]]], (3812 ^ _77374) ^ [_210940] : [3817 ^ _77374 : [(3826 ^ _77374) ^ [] : [3816 ^ [_209623, _209625, _210940] = 3813 ^ [_209623, _209625, _210940]], (3822 ^ _77374) ^ [] : [-(iext(_209623, _210940, 3815 ^ [_209623, _209625, _210940]))], (3824 ^ _77374) ^ [] : [-(iext(_209623, _210940, 3816 ^ [_209623, _209625, _210940]))], (3818 ^ _77374) ^ [] : [-(iext(_209623, _210940, 3813 ^ [_209623, _209625, _210940]))], (3830 ^ _77374) ^ [] : [3816 ^ [_209623, _209625, _210940] = 3815 ^ [_209623, _209625, _210940]], (3828 ^ _77374) ^ [] : [3816 ^ [_209623, _209625, _210940] = 3814 ^ [_209623, _209625, _210940]], (3820 ^ _77374) ^ [] : [-(iext(_209623, _210940, 3814 ^ [_209623, _209625, _210940]))]], -(icext(_209625, _210940))]]], (5046 ^ _77374) ^ [_260163] : [iext(uri_owl_disjointUnionOf, _260163, uri_rdf_nil), 5049 ^ _77374 : [(5052 ^ _77374) ^ [_260346] : [icext(_260163, _260346)], (5050 ^ _77374) ^ [] : [-(ic(_260163))]]], (5002 ^ _77374) ^ [_258616, _258618] : [iext(uri_rdfs_subPropertyOf, _258618, _258616), 5005 ^ _77374 : [(5008 ^ _77374) ^ [] : [-(ip(_258616))], (5010 ^ _77374) ^ [_258916, _258918] : [iext(_258618, _258918, _258916), -(iext(_258616, _258918, _258916))], (5006 ^ _77374) ^ [] : [-(ip(_258618))]]], (4939 ^ _77374) ^ [_256465, _256467] : [iext(uri_rdfs_range, _256467, _256465), 4942 ^ _77374 : [(4945 ^ _77374) ^ [] : [-(ip(_256465))], (4947 ^ _77374) ^ [_256764, _256766] : [iext(_256467, _256766, _256764), -(icext(_256465, _256764))], (4943 ^ _77374) ^ [] : [-(ip(_256467))]]], (7269 ^ _77374) ^ [] : [-(idc(uri_xsd_string))], (7577 ^ _77374) ^ [_348065] : [icext(uri_rdf_PlainLiteral, _348065), icext(uri_rdf_XMLLiteral, _348065)], (7077 ^ _77374) ^ [] : [-(idc(uri_xsd_boolean))], (304 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (1103 ^ _77374) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (7797 ^ _77374) ^ [_355179, _355181] : [iext(uri_xsd_minLength, _355181, _355179), 7800 ^ _77374 : [(7803 ^ _77374) ^ [] : [-(lv(_355179))], (7801 ^ _77374) ^ [] : [-(ir(_355181))]]], (4710 ^ _77374) ^ [_247555, _247557, _247559] : [4721 ^ _77374 : [(4722 ^ _77374) ^ [_247867] : [-(icext(_247559, _247867))]], iext(uri_owl_minQualifiedCardinality, _247559, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _247559, _247557), iext(uri_owl_onClass, _247559, _247555)], (204 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (1155 ^ _77374) ^ [_113741, _113743] : [iext(uri_owl_equivalentClass, _113743, _113741), 1158 ^ _77374 : [(1161 ^ _77374) ^ [] : [-(ic(_113741))], (1159 ^ _77374) ^ [] : [-(ic(_113743))]]], (7301 ^ _77374) ^ [] : [-(idc(uri_xsd_unsignedLong))], (446 ^ _77374) ^ [_91173] : [ic(_91173), 449 ^ _77374 : [(450 ^ _77374) ^ [_91303] : [icext(_91173, _91303), -(ir(_91303))]]], (1509 ^ _77374) ^ [_125543, _125545] : [iext(uri_owl_unionOf, _125545, _125543), 1512 ^ _77374 : [(1515 ^ _77374) ^ [] : [-(icext(uri_rdf_List, _125543))], (1513 ^ _77374) ^ [] : [-(ic(_125545))]]], (1061 ^ _77374) ^ [_110544, _110546] : [iext(uri_owl_bottomObjectProperty, _110546, _110544)], (1135 ^ _77374) ^ [_113065, _113067] : [iext(uri_owl_disjointWith, _113067, _113065), 1138 ^ _77374 : [(1141 ^ _77374) ^ [] : [-(ic(_113065))], (1139 ^ _77374) ^ [] : [-(ic(_113067))]]], (362 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (749 ^ _77374) ^ [_100888] : [icext(uri_rdfs_Class, _100888), -(ic(_100888))], (985 ^ _77374) ^ [] : [-(ic(uri_owl_Thing))], (6689 ^ _77374) ^ [_317265] : [iext(uri_owl_hasKey, _317265, uri_rdf_nil), 6692 ^ _77374 : [(6695 ^ _77374) ^ [_317493, _317495] : [-(_317495 = _317493), icext(_317265, _317495), icext(_317265, _317493)], (6693 ^ _77374) ^ [] : [-(ic(_317265))]]], (7655 ^ _77374) ^ [_350533] : [icext(uri_xsd_nonNegativeInteger, _350533), -(icext(uri_xsd_integer, _350533))], (5016 ^ _77374) ^ [_259107, _259109] : [-(iext(uri_rdfs_subPropertyOf, _259109, _259107)), ip(_259109), ip(_259107), 5027 ^ _77374 : [(5030 ^ _77374) ^ [] : [iext(_259107, 5025 ^ [_259107, _259109], 5026 ^ [_259107, _259109])], (5028 ^ _77374) ^ [] : [-(iext(_259109, 5025 ^ [_259107, _259109], 5026 ^ [_259107, _259109]))]]], (5976 ^ _77374) ^ [] : [-(tautology), tautology], (1307 ^ _77374) ^ [_118856, _118858] : [iext(uri_owl_minQualifiedCardinality, _118858, _118856), 1310 ^ _77374 : [(1313 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _118856))], (1311 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _118858))]]], (7523 ^ _77374) ^ [_346364] : [icext(uri_xsd_double, _346364), icext(uri_rdf_XMLLiteral, _346364)], (5217 ^ _77374) ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800] : [iext(uri_rdf_first, _265798, _265796), iext(uri_rdf_rest, _265798, _265794), iext(uri_rdf_first, _265794, _265792), iext(uri_rdf_rest, _265794, _265790), iext(uri_rdf_first, _265790, _265788), iext(uri_rdf_rest, _265790, uri_rdf_nil), 5240 ^ _77374 : [(5241 ^ _77374) ^ [] : [iext(uri_owl_disjointUnionOf, _265800, _265798), 5244 ^ _77374 : [(5285 ^ _77374) ^ [_268082] : [-(icext(_265800, _268082)), 5288 ^ _77374 : [(5291 ^ _77374) ^ [] : [icext(_265792, _268082)], (5293 ^ _77374) ^ [] : [icext(_265788, _268082)], (5289 ^ _77374) ^ [] : [icext(_265796, _268082)]], 5296 ^ _77374 : [(5299 ^ _77374) ^ [] : [-(icext(_265792, _268082))], (5297 ^ _77374) ^ [] : [-(icext(_265796, _268082))]], 5302 ^ _77374 : [(5305 ^ _77374) ^ [] : [-(icext(_265788, _268082))], (5303 ^ _77374) ^ [] : [-(icext(_265796, _268082))]], 5306 ^ _77374 : [(5309 ^ _77374) ^ [] : [-(icext(_265788, _268082))], (5307 ^ _77374) ^ [] : [-(icext(_265792, _268082))]]], (5249 ^ _77374) ^ [] : [-(ic(_265792))], (5251 ^ _77374) ^ [] : [-(ic(_265788))], (5253 ^ _77374) ^ [_267041] : [icext(_265800, _267041), 5256 ^ _77374 : [(5257 ^ _77374) ^ [] : [-(icext(_265796, _267041)), -(icext(_265792, _267041)), -(icext(_265788, _267041))], (5267 ^ _77374) ^ [] : [icext(_265796, _267041), icext(_265792, _267041)], (5279 ^ _77374) ^ [] : [icext(_265792, _267041), icext(_265788, _267041)], (5273 ^ _77374) ^ [] : [icext(_265796, _267041), icext(_265788, _267041)]]], (5245 ^ _77374) ^ [] : [-(ic(_265800))], (5247 ^ _77374) ^ [] : [-(ic(_265796))]]], (5313 ^ _77374) ^ [] : [-(iext(uri_owl_disjointUnionOf, _265800, _265798)), ic(_265800), ic(_265796), ic(_265792), ic(_265788), 5333 ^ _77374 : [(5336 ^ _77374) ^ [] : [5337 ^ _77374 : [(5340 ^ _77374) ^ [] : [icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])], (5342 ^ _77374) ^ [] : [icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])], (5338 ^ _77374) ^ [] : [icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])]], 5345 ^ _77374 : [(5348 ^ _77374) ^ [] : [-(icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))], (5346 ^ _77374) ^ [] : [-(icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))]], 5351 ^ _77374 : [(5354 ^ _77374) ^ [] : [-(icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))], (5352 ^ _77374) ^ [] : [-(icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))]], 5355 ^ _77374 : [(5358 ^ _77374) ^ [] : [-(icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))], (5356 ^ _77374) ^ [] : [-(icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))]]], (5334 ^ _77374) ^ [] : [-(icext(_265800, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))]], 5359 ^ _77374 : [(5376 ^ _77374) ^ [] : [icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]), icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])], (5370 ^ _77374) ^ [] : [icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]), icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])], (5360 ^ _77374) ^ [] : [-(icext(_265796, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])), -(icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])), -(icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]))], (5388 ^ _77374) ^ [] : [icext(_265800, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])], (5382 ^ _77374) ^ [] : [icext(_265792, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800]), icext(_265788, 5330 ^ [_265788, _265790, _265792, _265794, _265796, _265798, _265800])]]]]], (7167 ^ _77374) ^ [_335359] : [icext(uri_xsd_Name, _335359), -(lv(_335359))], (7721 ^ _77374) ^ [_352623] : [icext(uri_xsd_unsignedShort, _352623), -(icext(uri_xsd_unsignedInt, _352623))], (865 ^ _77374) ^ [] : [-(ic(uri_owl_NamedIndividual))], (885 ^ _77374) ^ [_104989] : [ip(_104989), -(icext(uri_owl_ObjectProperty, _104989))], (6012 ^ _77374) ^ [_292291, _292293, _292295, _292297, _292299, _292301, _292303] : [iext(uri_rdf_first, _292301, _292299), iext(uri_rdf_rest, _292301, _292297), iext(uri_rdf_first, _292297, _292295), iext(uri_rdf_rest, _292297, _292293), iext(uri_rdf_first, _292293, _292291), iext(uri_rdf_rest, _292293, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _292303), iext(uri_owl_members, _292303, _292301), 6043 ^ _77374 : [(6050 ^ _77374) ^ [_293530] : [icext(_292299, _293530), icext(_292291, _293530)], (6056 ^ _77374) ^ [_293755] : [icext(_292295, _293755), icext(_292291, _293755)], (6044 ^ _77374) ^ [_293285] : [icext(_292299, _293285), icext(_292295, _293285)]]], (1063 ^ _77374) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (50 ^ _77374) ^ [_79007, _79009] : [-(ic(_79007)), _79009 = _79007, ic(_79009)], (574 ^ _77374) ^ [_95404] : [ioxp(_95404), -(ip(_95404))], (1547 ^ _77374) ^ [] : [-(ip(uri_owl_withRestrictions))], (6721 ^ _77374) ^ [_318366, _318368, _318370] : [iext(uri_rdf_first, _318368, _318366), iext(uri_rdf_rest, _318368, uri_rdf_nil), 6728 ^ _77374 : [(6729 ^ _77374) ^ [] : [iext(uri_owl_hasKey, _318370, _318368), 6732 ^ _77374 : [(6735 ^ _77374) ^ [] : [-(ip(_318366))], (6737 ^ _77374) ^ [_318926, _318928, _318930] : [-(_318930 = _318928), icext(_318370, _318930), icext(_318370, _318928), iext(_318366, _318930, _318926), iext(_318366, _318928, _318926)], (6733 ^ _77374) ^ [] : [-(ic(_318370))]]], (6755 ^ _77374) ^ [] : [-(iext(uri_owl_hasKey, _318370, _318368)), ic(_318370), ip(_318366), 6767 ^ _77374 : [(6774 ^ _77374) ^ [] : [-(iext(_318366, 6765 ^ [_318366, _318368, _318370], 6766 ^ [_318366, _318368, _318370]))], (6772 ^ _77374) ^ [] : [-(iext(_318366, 6764 ^ [_318366, _318368, _318370], 6766 ^ [_318366, _318368, _318370]))], (6770 ^ _77374) ^ [] : [-(icext(_318370, 6765 ^ [_318366, _318368, _318370]))], (6768 ^ _77374) ^ [] : [-(icext(_318370, 6764 ^ [_318366, _318368, _318370]))], (6776 ^ _77374) ^ [] : [6764 ^ [_318366, _318368, _318370] = 6765 ^ [_318366, _318368, _318370]]]]]], (811 ^ _77374) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (7823 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_ex_x, uri_ex_c))], (388 ^ _77374) ^ [_89278] : [ic(_89278), -(iext(uri_rdfs_subClassOf, _89278, _89278))], (893 ^ _77374) ^ [_105261] : [icext(uri_owl_Ontology, _105261), -(ix(_105261))], (6109 ^ _77374) ^ [_295803, _295805, _295807, _295809, _295811, _295813] : [6157 ^ _77374 : [(6160 ^ _77374) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_295803, _295805, _295807, _295809, _295811, _295813], _295813))], (6158 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))]], iext(uri_rdf_first, _295813, _295811), iext(uri_rdf_rest, _295813, _295809), iext(uri_rdf_first, _295809, _295807), iext(uri_rdf_rest, _295809, _295805), iext(uri_rdf_first, _295805, _295803), iext(uri_rdf_rest, _295805, uri_rdf_nil), 6138 ^ _77374 : [(6141 ^ _77374) ^ [] : [-(iext(_295807, 6136 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6137 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))], (6139 ^ _77374) ^ [] : [-(iext(_295811, 6136 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6137 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))]], 6146 ^ _77374 : [(6149 ^ _77374) ^ [] : [-(iext(_295803, 6144 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6145 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))], (6147 ^ _77374) ^ [] : [-(iext(_295811, 6144 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6145 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))]], 6152 ^ _77374 : [(6155 ^ _77374) ^ [] : [-(iext(_295803, 6150 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6151 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))], (6153 ^ _77374) ^ [] : [-(iext(_295807, 6150 ^ [_295803, _295805, _295807, _295809, _295811, _295813], 6151 ^ [_295803, _295805, _295807, _295809, _295811, _295813]))]]], (7239 ^ _77374) ^ [_337528] : [icext(uri_owl_rational, _337528), -(lv(_337528))], (7385 ^ _77374) ^ [_342017] : [icext(uri_xsd_base64Binary, _342017), icext(uri_xsd_double, _342017)], (174 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (7379 ^ _77374) ^ [_341828] : [icext(uri_xsd_base64Binary, _341828), icext(uri_xsd_dateTime, _341828)], (1457 ^ _77374) ^ [] : [-(ip(uri_owl_targetIndividual))], (1297 ^ _77374) ^ [_118516, _118518] : [iext(uri_owl_minCardinality, _118518, _118516), 1300 ^ _77374 : [(1303 ^ _77374) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _118516))], (1301 ^ _77374) ^ [] : [-(icext(uri_owl_Restriction, _118518))]]], (4026 ^ _77374) ^ [_219778, _219780, _219782] : [iext(uri_owl_maxQualifiedCardinality, _219782, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _219782, _219780), iext(uri_owl_onDataRange, _219782, _219778), 4037 ^ _77374 : [(4102 ^ _77374) ^ [_222288] : [4107 ^ _77374 : [(4134 ^ _77374) ^ [] : [4106 ^ [_219778, _219780, _219782, _222288] = 4104 ^ [_219778, _219780, _219782, _222288]], (4112 ^ _77374) ^ [] : [-(icext(_219778, 4103 ^ [_219778, _219780, _219782, _222288]))], (4122 ^ _77374) ^ [] : [-(iext(_219780, _222288, 4105 ^ [_219778, _219780, _219782, _222288]))], (4126 ^ _77374) ^ [] : [-(lv(4106 ^ [_219778, _219780, _219782, _222288]))], (4110 ^ _77374) ^ [] : [-(iext(_219780, _222288, 4103 ^ [_219778, _219780, _219782, _222288]))], (4118 ^ _77374) ^ [] : [-(icext(_219778, 4104 ^ [_219778, _219780, _219782, _222288]))], (4116 ^ _77374) ^ [] : [-(iext(_219780, _222288, 4104 ^ [_219778, _219780, _219782, _222288]))], (4114 ^ _77374) ^ [] : [-(lv(4104 ^ [_219778, _219780, _219782, _222288]))], (4128 ^ _77374) ^ [] : [-(iext(_219780, _222288, 4106 ^ [_219778, _219780, _219782, _222288]))], (4130 ^ _77374) ^ [] : [-(icext(_219778, 4106 ^ [_219778, _219780, _219782, _222288]))], (4124 ^ _77374) ^ [] : [-(icext(_219778, 4105 ^ [_219778, _219780, _219782, _222288]))], (4108 ^ _77374) ^ [] : [-(lv(4103 ^ [_219778, _219780, _219782, _222288]))], (4120 ^ _77374) ^ [] : [-(lv(4105 ^ [_219778, _219780, _219782, _222288]))], (4132 ^ _77374) ^ [] : [4106 ^ [_219778, _219780, _219782, _222288] = 4103 ^ [_219778, _219780, _219782, _222288]], (4136 ^ _77374) ^ [] : [4106 ^ [_219778, _219780, _219782, _222288] = 4105 ^ [_219778, _219780, _219782, _222288]]], -(icext(_219782, _222288))], (4040 ^ _77374) ^ [_220316] : [icext(_219782, _220316), 4043 ^ _77374 : [(4044 ^ _77374) ^ [_220602, _220604, _220606, _220608] : [-(_220602 = _220608), -(_220602 = _220606), -(_220602 = _220604), lv(_220608), iext(_219780, _220316, _220608), icext(_219778, _220608), lv(_220606), iext(_219780, _220316, _220606), icext(_219778, _220606), lv(_220604), iext(_219780, _220316, _220604), icext(_219778, _220604), lv(_220602), iext(_219780, _220316, _220602), icext(_219778, _220602)]]], (4038 ^ _77374) ^ [] : [-(iodp(_219780))]]], (4409 ^ _77374) ^ [_235629, _235631] : [iext(uri_owl_minCardinality, _235631, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _235631, _235629), 4416 ^ _77374 : [(4429 ^ _77374) ^ [_236443] : [-(icext(_235631, _236443)), 4430 ^ _77374 : [(4431 ^ _77374) ^ [_236570, _236572] : [iext(_235629, _236443, _236572), iext(_235629, _236443, _236570), -(_236572 = _236570)]]], (4417 ^ _77374) ^ [_235914] : [icext(_235631, _235914), 4422 ^ _77374 : [(4425 ^ _77374) ^ [] : [-(iext(_235629, _235914, 4421 ^ [_235629, _235631, _235914]))], (4427 ^ _77374) ^ [] : [4420 ^ [_235629, _235631, _235914] = 4421 ^ [_235629, _235631, _235914]], (4423 ^ _77374) ^ [] : [-(iext(_235629, _235914, 4420 ^ [_235629, _235631, _235914]))]]]]], (5982 ^ _77374) ^ [_291307, _291309, _291311, _291313, _291315] : [6005 ^ _77374 : [(6006 ^ _77374) ^ [_291973] : [icext(_291311, _291973), icext(_291307, _291973)]], iext(uri_rdf_first, _291313, _291311), iext(uri_rdf_rest, _291313, _291309), iext(uri_rdf_first, _291309, _291307), iext(uri_rdf_rest, _291309, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _291315), iext(uri_owl_members, _291315, _291313)], (7367 ^ _77374) ^ [_341450] : [icext(uri_xsd_anyURI, _341450), icext(uri_rdf_XMLLiteral, _341450)], (5406 ^ _77374) ^ [_272399, _272401] : [-(iext(uri_owl_disjointWith, _272401, _272399)), ic(_272401), ic(_272399), 5416 ^ _77374 : [(5419 ^ _77374) ^ [] : [-(icext(_272399, 5415 ^ [_272399, _272401]))], (5417 ^ _77374) ^ [] : [-(icext(_272401, 5415 ^ [_272399, _272401]))]]], (813 ^ _77374) ^ [_102804] : [icext(uri_owl_DeprecatedProperty, _102804), -(ip(_102804))], (843 ^ _77374) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (7457 ^ _77374) ^ [_344285] : [icext(uri_xsd_boolean, _344285), icext(uri_rdf_XMLLiteral, _344285)], (7325 ^ _77374) ^ [_340127] : [icext(uri_xsd_anyURI, _340127), icext(uri_xsd_boolean, _340127)], (725 ^ _77374) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (2848 ^ _77374) ^ [_171649, _171651, _171653] : [iext(uri_owl_qualifiedCardinality, _171653, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _171653, _171651), iext(uri_owl_onDataRange, _171653, _171649), 2859 ^ _77374 : [(2876 ^ _77374) ^ [_172554] : [2878 ^ _77374 : [(2881 ^ _77374) ^ [] : [-(iext(_171651, _172554, 2877 ^ [_171649, _171651, _171653, _172554]))], (2883 ^ _77374) ^ [] : [-(icext(_171649, 2877 ^ [_171649, _171651, _171653, _172554]))], (2879 ^ _77374) ^ [] : [-(lv(2877 ^ [_171649, _171651, _171653, _172554]))]], -(icext(_171653, _172554))], (2862 ^ _77374) ^ [_172102] : [icext(_171653, _172102), 2865 ^ _77374 : [(2866 ^ _77374) ^ [_172261] : [lv(_172261), iext(_171651, _172102, _172261), icext(_171649, _172261)]]], (2860 ^ _77374) ^ [] : [-(iodp(_171651))]]], (20 ^ _77374) ^ [_78122, _78124] : [-(ioap(_78122)), _78124 = _78122, ioap(_78124)], (7427 ^ _77374) ^ [_343340] : [icext(uri_xsd_boolean, _343340), icext(uri_xsd_double, _343340)], (1055 ^ _77374) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (210 ^ _77374) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (7337 ^ _77374) ^ [_340505] : [icext(uri_xsd_anyURI, _340505), icext(uri_xsd_double, _340505)], (422 ^ _77374) ^ [_90442] : [ip(_90442), -(iext(uri_rdfs_subPropertyOf, _90442, _90442))], (957 ^ _77374) ^ [_107177] : [icext(uri_owl_Restriction, _107177), -(ic(_107177))], (1035 ^ _77374) ^ [_109686, _109688] : [iext(uri_owl_assertionProperty, _109688, _109686), 1038 ^ _77374 : [(1041 ^ _77374) ^ [] : [-(ip(_109686))], (1039 ^ _77374) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _109688))]]], (965 ^ _77374) ^ [_107418] : [icext(uri_owl_SymmetricProperty, _107418), -(ip(_107418))], (5836 ^ _77374) ^ [_286351, _286353, _286355, _286357, _286359, _286361, _286363] : [5867 ^ _77374 : [(5870 ^ _77374) ^ [] : [_286359 = _286351], (5872 ^ _77374) ^ [] : [_286355 = _286351], (5868 ^ _77374) ^ [] : [_286359 = _286355]], iext(uri_rdf_first, _286361, _286359), iext(uri_rdf_rest, _286361, _286357), iext(uri_rdf_first, _286357, _286355), iext(uri_rdf_rest, _286357, _286353), iext(uri_rdf_first, _286353, _286351), iext(uri_rdf_rest, _286353, uri_rdf_nil), icext(uri_owl_AllDifferent, _286363), iext(uri_owl_members, _286363, _286361)], (3103 ^ _77374) ^ [_181691, _181693, _181695] : [iext(uri_owl_qualifiedCardinality, _181695, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _181695, _181693), iext(uri_owl_onDataRange, _181695, _181691), 3114 ^ _77374 : [(3206 ^ _77374) ^ [_185990] : [-(icext(_181695, _185990)), 3259 ^ _77374 : [(3286 ^ _77374) ^ [] : [3258 ^ [_181691, _181693, _181695, _185990] = 3256 ^ [_181691, _181693, _181695, _185990]], (3264 ^ _77374) ^ [] : [-(icext(_181691, 3255 ^ [_181691, _181693, _181695, _185990]))], (3274 ^ _77374) ^ [] : [-(iext(_181693, _185990, 3257 ^ [_181691, _181693, _181695, _185990]))], (3278 ^ _77374) ^ [] : [-(lv(3258 ^ [_181691, _181693, _181695, _185990]))], (3262 ^ _77374) ^ [] : [-(iext(_181693, _185990, 3255 ^ [_181691, _181693, _181695, _185990]))], (3270 ^ _77374) ^ [] : [-(icext(_181691, 3256 ^ [_181691, _181693, _181695, _185990]))], (3268 ^ _77374) ^ [] : [-(iext(_181693, _185990, 3256 ^ [_181691, _181693, _181695, _185990]))], (3266 ^ _77374) ^ [] : [-(lv(3256 ^ [_181691, _181693, _181695, _185990]))], (3280 ^ _77374) ^ [] : [-(iext(_181693, _185990, 3258 ^ [_181691, _181693, _181695, _185990]))], (3282 ^ _77374) ^ [] : [-(icext(_181691, 3258 ^ [_181691, _181693, _181695, _185990]))], (3276 ^ _77374) ^ [] : [-(icext(_181691, 3257 ^ [_181691, _181693, _181695, _185990]))], (3260 ^ _77374) ^ [] : [-(lv(3255 ^ [_181691, _181693, _181695, _185990]))], (3272 ^ _77374) ^ [] : [-(lv(3257 ^ [_181691, _181693, _181695, _185990]))], (3284 ^ _77374) ^ [] : [3258 ^ [_181691, _181693, _181695, _185990] = 3255 ^ [_181691, _181693, _181695, _185990]], (3288 ^ _77374) ^ [] : [3258 ^ [_181691, _181693, _181695, _185990] = 3257 ^ [_181691, _181693, _181695, _185990]]], 3209 ^ _77374 : [(3210 ^ _77374) ^ [_186344, _186346, _186348] : [lv(_186348), iext(_181693, _185990, _186348), icext(_181691, _186348), lv(_186346), iext(_181693, _185990, _186346), icext(_181691, _186346), lv(_186344), iext(_181693, _185990, _186344), icext(_181691, _186344), -(_186348 = _186346), -(_186348 = _186344), -(_186346 = _186344)]]], (3117 ^ _77374) ^ [_182322] : [icext(_181695, _182322), 3123 ^ _77374 : [(3126 ^ _77374) ^ [] : [-(iext(_181693, _182322, 3120 ^ [_181691, _181693, _181695, _182322]))], (3138 ^ _77374) ^ [] : [-(iext(_181693, _182322, 3122 ^ [_181691, _181693, _181695, _182322]))], (3130 ^ _77374) ^ [] : [-(lv(3121 ^ [_181691, _181693, _181695, _182322]))], (3132 ^ _77374) ^ [] : [-(iext(_181693, _182322, 3121 ^ [_181691, _181693, _181695, _182322]))], (3140 ^ _77374) ^ [] : [-(icext(_181691, 3122 ^ [_181691, _181693, _181695, _182322]))], (3136 ^ _77374) ^ [] : [-(lv(3122 ^ [_181691, _181693, _181695, _182322]))], (3144 ^ _77374) ^ [] : [3120 ^ [_181691, _181693, _181695, _182322] = 3122 ^ [_181691, _181693, _181695, _182322]], (3146 ^ _77374) ^ [] : [3121 ^ [_181691, _181693, _181695, _182322] = 3122 ^ [_181691, _181693, _181695, _182322]], (3134 ^ _77374) ^ [] : [-(icext(_181691, 3121 ^ [_181691, _181693, _181695, _182322]))], (3148 ^ _77374) ^ [_184280, _184282, _184284, _184286] : [-(_184280 = _184286), -(_184280 = _184284), -(_184280 = _184282), lv(_184286), iext(_181693, _182322, _184286), icext(_181691, _184286), lv(_184284), iext(_181693, _182322, _184284), icext(_181691, _184284), lv(_184282), iext(_181693, _182322, _184282), icext(_181691, _184282), lv(_184280), iext(_181693, _182322, _184280), icext(_181691, _184280)], (3142 ^ _77374) ^ [] : [3120 ^ [_181691, _181693, _181695, _182322] = 3121 ^ [_181691, _181693, _181695, _182322]], (3128 ^ _77374) ^ [] : [-(icext(_181691, 3120 ^ [_181691, _181693, _181695, _182322]))], (3124 ^ _77374) ^ [] : [-(lv(3120 ^ [_181691, _181693, _181695, _182322]))]]], (3115 ^ _77374) ^ [] : [-(iodp(_181693))]]], (7631 ^ _77374) ^ [_349773] : [icext(uri_xsd_Name, _349773), -(icext(uri_xsd_token, _349773))], (556 ^ _77374) ^ [_94773] : [iext(uri_rdf_type, _94773, uri_owl_DatatypeProperty), -(iodp(_94773))], (5557 ^ _77374) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (1397 ^ _77374) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (7451 ^ _77374) ^ [_344096] : [icext(uri_xsd_boolean, _344096), icext(uri_owl_real, _344096)], (7421 ^ _77374) ^ [_343151] : [icext(uri_xsd_boolean, _343151), icext(uri_xsd_dateTime, _343151)], (7583 ^ _77374) ^ [_348254] : [icext(uri_owl_real, _348254), icext(uri_rdf_XMLLiteral, _348254)], (550 ^ _77374) ^ [_94617] : [iodp(_94617), -(iext(uri_rdf_type, _94617, uri_owl_DatatypeProperty))], (7173 ^ _77374) ^ [] : [-(idc(uri_xsd_Name))], (7255 ^ _77374) ^ [_338010] : [icext(uri_xsd_short, _338010), -(lv(_338010))], (973 ^ _77374) ^ [_107688] : [icext(uri_owl_Thing, _107688), -(ir(_107688))], (5879 ^ _77374) ^ [_287692, _287694] : [5887 ^ _77374 : [(5890 ^ _77374) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_287692, _287694], _287694))], (5888 ^ _77374) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_287692, _287694]))]], iext(uri_rdf_first, _287694, _287692), iext(uri_rdf_rest, _287694, uri_rdf_nil)], (368 ^ _77374) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (246 ^ _77374) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (7002 ^ _77374) ^ [_330281, _330283, _330285, _330287] : [7013 ^ _77374 : [(7016 ^ _77374) ^ [] : [iext(_330285, _330283, _330281)], (7014 ^ _77374) ^ [] : [-(iodp(_330285))]], iext(uri_owl_sourceIndividual, _330287, _330283), iext(uri_owl_assertionProperty, _330287, _330285), iext(uri_owl_targetValue, _330287, _330281)], (1183 ^ _77374) ^ [] : [-(ip(uri_owl_hasKey))], (7415 ^ _77374) ^ [_342962] : [icext(uri_xsd_base64Binary, _342962), icext(uri_rdf_XMLLiteral, _342962)], (681 ^ _77374) ^ [_98802] : [icext(uri_owl_AllDisjointClasses, _98802), -(ir(_98802))], (5548 ^ _77374) ^ [_277242, _277244] : [_277244 = _277242, -(iext(uri_owl_sameAs, _277244, _277242))], (1153 ^ _77374) ^ [] : [-(ip(uri_owl_distinctMembers))], (845 ^ _77374) ^ [_103797] : [icext(uri_rdfs_Literal, _103797), -(lv(_103797))], (7285 ^ _77374) ^ [] : [-(idc(uri_xsd_unsignedByte))], (7175 ^ _77374) ^ [_335600] : [icext(uri_xsd_NCName, _335600), -(lv(_335600))], (1477 ^ _77374) ^ [_124575, _124577] : [-(iext(uri_owl_topDataProperty, _124577, _124575)), ir(_124577), lv(_124575)], (867 ^ _77374) ^ [_104435] : [icext(uri_owl_NegativePropertyAssertion, _104435), -(ir(_104435))], (1949 ^ _77374) ^ [_139987] : [iext(uri_owl_unionOf, _139987, uri_rdf_nil), 1952 ^ _77374 : [(1955 ^ _77374) ^ [_140170] : [icext(_139987, _140170)], (1953 ^ _77374) ^ [] : [-(ic(_139987))]]], (1015 ^ _77374) ^ [_109014, _109016] : [iext(uri_owl_annotatedSource, _109016, _109014), 1018 ^ _77374 : [(1021 ^ _77374) ^ [] : [-(ir(_109014))], (1019 ^ _77374) ^ [] : [-(ir(_109016))]]], (276 ^ _77374) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (7715 ^ _77374) ^ [_352433] : [icext(uri_xsd_unsignedLong, _352433), -(icext(uri_xsd_nonNegativeInteger, _352433))], (5116 ^ _77374) ^ [_262413, _262415, _262417, _262419, _262421] : [iext(uri_rdf_first, _262419, _262417), iext(uri_rdf_rest, _262419, _262415), iext(uri_rdf_first, _262415, _262413), iext(uri_rdf_rest, _262415, uri_rdf_nil), 5131 ^ _77374 : [(5132 ^ _77374) ^ [] : [iext(uri_owl_disjointUnionOf, _262421, _262419), 5135 ^ _77374 : [(5158 ^ _77374) ^ [_263769] : [-(icext(_262421, _263769)), 5161 ^ _77374 : [(5164 ^ _77374) ^ [] : [icext(_262413, _263769)], (5162 ^ _77374) ^ [] : [icext(_262417, _263769)]], 5165 ^ _77374 : [(5168 ^ _77374) ^ [] : [-(icext(_262413, _263769))], (5166 ^ _77374) ^ [] : [-(icext(_262417, _263769))]]], (5140 ^ _77374) ^ [] : [-(ic(_262413))], (5138 ^ _77374) ^ [] : [-(ic(_262417))], (5136 ^ _77374) ^ [] : [-(ic(_262421))], (5142 ^ _77374) ^ [_263278] : [icext(_262421, _263278), 5145 ^ _77374 : [(5152 ^ _77374) ^ [] : [icext(_262417, _263278), icext(_262413, _263278)], (5146 ^ _77374) ^ [] : [-(icext(_262417, _263278)), -(icext(_262413, _263278))]]]]], (5172 ^ _77374) ^ [] : [-(iext(uri_owl_disjointUnionOf, _262421, _262419)), ic(_262421), ic(_262417), ic(_262413), 5188 ^ _77374 : [(5191 ^ _77374) ^ [] : [5192 ^ _77374 : [(5195 ^ _77374) ^ [] : [icext(_262413, 5185 ^ [_262413, _262415, _262417, _262419, _262421])], (5193 ^ _77374) ^ [] : [icext(_262417, 5185 ^ [_262413, _262415, _262417, _262419, _262421])]], 5196 ^ _77374 : [(5199 ^ _77374) ^ [] : [-(icext(_262413, 5185 ^ [_262413, _262415, _262417, _262419, _262421]))], (5197 ^ _77374) ^ [] : [-(icext(_262417, 5185 ^ [_262413, _262415, _262417, _262419, _262421]))]]], (5189 ^ _77374) ^ [] : [-(icext(_262421, 5185 ^ [_262413, _262415, _262417, _262419, _262421]))]], 5200 ^ _77374 : [(5201 ^ _77374) ^ [] : [-(icext(_262417, 5185 ^ [_262413, _262415, _262417, _262419, _262421])), -(icext(_262413, 5185 ^ [_262413, _262415, _262417, _262419, _262421]))], (5207 ^ _77374) ^ [] : [icext(_262417, 5185 ^ [_262413, _262415, _262417, _262419, _262421]), icext(_262413, 5185 ^ [_262413, _262415, _262417, _262419, _262421])], (5213 ^ _77374) ^ [] : [icext(_262421, 5185 ^ [_262413, _262415, _262417, _262419, _262421])]]]]], (468 ^ _77374) ^ [_91875] : [iext(uri_rdf_type, _91875, uri_rdfs_Class), -(ic(_91875))], (4290 ^ _77374) ^ [_230684, _230686, _230688] : [iext(uri_owl_maxQualifiedCardinality, _230688, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _230688, _230686), iext(uri_owl_onClass, _230688, _230684), 4301 ^ _77374 : [(4302 ^ _77374) ^ [_231130] : [icext(_230688, _231130), 4305 ^ _77374 : [(4306 ^ _77374) ^ [_231396, _231398, _231400, _231402] : [-(_231396 = _231402), -(_231396 = _231400), -(_231396 = _231398), iext(_230686, _231130, _231402), icext(_230684, _231402), iext(_230686, _231130, _231400), icext(_230684, _231400), iext(_230686, _231130, _231398), icext(_230684, _231398), iext(_230686, _231130, _231396), icext(_230684, _231396)]]], (4348 ^ _77374) ^ [_232638] : [4353 ^ _77374 : [(4358 ^ _77374) ^ [] : [-(iext(_230686, _232638, 4350 ^ [_230684, _230686, _230688, _232638]))], (4370 ^ _77374) ^ [] : [4352 ^ [_230684, _230686, _230688, _232638] = 4349 ^ [_230684, _230686, _230688, _232638]], (4356 ^ _77374) ^ [] : [-(icext(_230684, 4349 ^ [_230684, _230686, _230688, _232638]))], (4362 ^ _77374) ^ [] : [-(iext(_230686, _232638, 4351 ^ [_230684, _230686, _230688, _232638]))], (4360 ^ _77374) ^ [] : [-(icext(_230684, 4350 ^ [_230684, _230686, _230688, _232638]))], (4368 ^ _77374) ^ [] : [-(icext(_230684, 4352 ^ [_230684, _230686, _230688, _232638]))], (4366 ^ _77374) ^ [] : [-(iext(_230686, _232638, 4352 ^ [_230684, _230686, _230688, _232638]))], (4364 ^ _77374) ^ [] : [-(icext(_230684, 4351 ^ [_230684, _230686, _230688, _232638]))], (4372 ^ _77374) ^ [] : [4352 ^ [_230684, _230686, _230688, _232638] = 4350 ^ [_230684, _230686, _230688, _232638]], (4374 ^ _77374) ^ [] : [4352 ^ [_230684, _230686, _230688, _232638] = 4351 ^ [_230684, _230686, _230688, _232638]], (4354 ^ _77374) ^ [] : [-(iext(_230686, _232638, 4349 ^ [_230684, _230686, _230688, _232638]))]], -(icext(_230688, _232638))]]], (1679 ^ _77374) ^ [_131170, _131172, _131174, _131176, _131178] : [iext(uri_rdf_first, _131176, _131174), iext(uri_rdf_rest, _131176, _131172), iext(uri_rdf_first, _131172, _131170), iext(uri_rdf_rest, _131172, uri_rdf_nil), 1694 ^ _77374 : [(1723 ^ _77374) ^ [] : [-(iext(uri_owl_intersectionOf, _131178, _131176)), ic(_131178), ic(_131174), ic(_131170), 1747 ^ _77374 : [(1750 ^ _77374) ^ [] : [-(icext(_131170, 1736 ^ [_131170, _131172, _131174, _131176, _131178]))], (1752 ^ _77374) ^ [] : [icext(_131178, 1736 ^ [_131170, _131172, _131174, _131176, _131178])], (1748 ^ _77374) ^ [] : [-(icext(_131174, 1736 ^ [_131170, _131172, _131174, _131176, _131178]))]], 1739 ^ _77374 : [(1742 ^ _77374) ^ [] : [icext(_131174, 1736 ^ [_131170, _131172, _131174, _131176, _131178]), icext(_131170, 1736 ^ [_131170, _131172, _131174, _131176, _131178])], (1740 ^ _77374) ^ [] : [-(icext(_131178, 1736 ^ [_131170, _131172, _131174, _131176, _131178]))]]], (1695 ^ _77374) ^ [] : [iext(uri_owl_intersectionOf, _131178, _131176), 1698 ^ _77374 : [(1705 ^ _77374) ^ [_132021] : [icext(_131178, _132021), 1708 ^ _77374 : [(1711 ^ _77374) ^ [] : [-(icext(_131170, _132021))], (1709 ^ _77374) ^ [] : [-(icext(_131174, _132021))]]], (1703 ^ _77374) ^ [] : [-(ic(_131170))], (1701 ^ _77374) ^ [] : [-(ic(_131174))], (1699 ^ _77374) ^ [] : [-(ic(_131178))], (1713 ^ _77374) ^ [_132300] : [-(icext(_131178, _132300)), icext(_131174, _132300), icext(_131170, _132300)]]]]], (1245 ^ _77374) ^ [] : [-(ip(uri_owl_inverseOf))], (4615 ^ _77374) ^ [_243623, _243625, _243627] : [iext(uri_owl_minQualifiedCardinality, _243627, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _243627, _243625), iext(uri_owl_onDataRange, _243627, _243623), 4626 ^ _77374 : [(4629 ^ _77374) ^ [_244144] : [icext(_243627, _244144), 4635 ^ _77374 : [(4640 ^ _77374) ^ [] : [-(icext(_243623, 4632 ^ [_243623, _243625, _243627, _244144]))], (4652 ^ _77374) ^ [] : [-(icext(_243623, 4634 ^ [_243623, _243625, _243627, _244144]))], (4648 ^ _77374) ^ [] : [-(lv(4634 ^ [_243623, _243625, _243627, _244144]))], (4642 ^ _77374) ^ [] : [-(lv(4633 ^ [_243623, _243625, _243627, _244144]))], (4656 ^ _77374) ^ [] : [4632 ^ [_243623, _243625, _243627, _244144] = 4634 ^ [_243623, _243625, _243627, _244144]], (4646 ^ _77374) ^ [] : [-(icext(_243623, 4633 ^ [_243623, _243625, _243627, _244144]))], (4654 ^ _77374) ^ [] : [4632 ^ [_243623, _243625, _243627, _244144] = 4633 ^ [_243623, _243625, _243627, _244144]], (4644 ^ _77374) ^ [] : [-(iext(_243625, _244144, 4633 ^ [_243623, _243625, _243627, _244144]))], (4636 ^ _77374) ^ [] : [-(lv(4632 ^ [_243623, _243625, _243627, _244144]))], (4658 ^ _77374) ^ [] : [4633 ^ [_243623, _243625, _243627, _244144] = 4634 ^ [_243623, _243625, _243627, _244144]], (4650 ^ _77374) ^ [] : [-(iext(_243625, _244144, 4634 ^ [_243623, _243625, _243627, _244144]))], (4638 ^ _77374) ^ [] : [-(iext(_243625, _244144, 4632 ^ [_243623, _243625, _243627, _244144]))]]], (4660 ^ _77374) ^ [_245921] : [-(icext(_243627, _245921)), 4661 ^ _77374 : [(4662 ^ _77374) ^ [_246127, _246129, _246131] : [lv(_246131), iext(_243625, _245921, _246131), icext(_243623, _246131), lv(_246129), iext(_243625, _245921, _246129), icext(_243623, _246129), lv(_246127), iext(_243625, _245921, _246127), icext(_243623, _246127), -(_246131 = _246129), -(_246131 = _246127), -(_246129 = _246127)]]], (4627 ^ _77374) ^ [] : [-(iodp(_243625))]]], (5524 ^ _77374) ^ [_276412, _276414] : [-(iext(uri_owl_propertyDisjointWith, _276414, _276412)), ip(_276414), ip(_276412), 5535 ^ _77374 : [(5538 ^ _77374) ^ [] : [-(iext(_276412, 5533 ^ [_276412, _276414], 5534 ^ [_276412, _276414]))], (5536 ^ _77374) ^ [] : [-(iext(_276414, 5533 ^ [_276412, _276414], 5534 ^ [_276412, _276414]))]]], (456 ^ _77374) ^ [_91504] : [ic(_91504), -(ir(_91504))], (643 ^ _77374) ^ [_97650] : [ix(_97650), -(iext(uri_rdf_type, _97650, uri_owl_Ontology))], (733 ^ _77374) ^ [] : [-(ic(uri_owl_Axiom))], (346 ^ _77374) ^ [_87984, _87986, _87988, _87990] : [-(icext(_87988, _87984)), iext(uri_rdfs_range, _87990, _87988), iext(_87990, _87986, _87984)], (208 ^ _77374) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))]], input).
% 229.84/221.56  ncf('1',plain,[iext(uri_rdf_type, uri_ex_w, uri_ex_z)],start(7827 ^ 0)).
% 229.84/221.56  ncf('1.1',plain,[-(iext(uri_rdf_type, uri_ex_w, uri_ex_z)), icext(uri_ex_z, uri_ex_w)],extension(224 ^ 1,bind([[_84320, _84322], [uri_ex_z, uri_ex_w]]))).
% 229.84/221.56  ncf('1.1.1',plain,[-(icext(uri_ex_z, uri_ex_w)), 4747 : iext(uri_ex_p, uri_ex_w, uri_ex_x), 4747 : icext(uri_ex_c, uri_ex_x), 4745 : iext(uri_owl_minQualifiedCardinality, uri_ex_z, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), 4745 : iext(uri_owl_onProperty, uri_ex_z, uri_ex_p), 4745 : iext(uri_owl_onClass, uri_ex_z, uri_ex_c)],extension(4724 ^ 2,bind([[_247999, _248001, _248003, _248721, _248824], [uri_ex_c, uri_ex_p, uri_ex_z, uri_ex_w, uri_ex_x]]))).
% 229.84/221.56  ncf('1.1.1.1',plain,[-(iext(uri_ex_p, uri_ex_w, uri_ex_x))],extension(7825 ^ 7)).
% 229.84/221.56  ncf('1.1.1.2',plain,[-(icext(uri_ex_c, uri_ex_x)), iext(uri_rdf_type, uri_ex_x, uri_ex_c)],extension(218 ^ 7,bind([[_84156, _84158], [uri_ex_c, uri_ex_x]]))).
% 229.84/221.56  ncf('1.1.1.2.1',plain,[-(iext(uri_rdf_type, uri_ex_x, uri_ex_c))],extension(7823 ^ 8)).
% 229.84/221.56  ncf('1.1.1.3',plain,[-(iext(uri_owl_minQualifiedCardinality, uri_ex_z, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)))],extension(7817 ^ 3)).
% 229.84/221.56  ncf('1.1.1.4',plain,[-(iext(uri_owl_onProperty, uri_ex_z, uri_ex_p))],extension(7819 ^ 3)).
% 229.84/221.56  ncf('1.1.1.5',plain,[-(iext(uri_owl_onClass, uri_ex_z, uri_ex_c))],extension(7821 ^ 3)).
% 229.84/221.56  %-----------------------------------------------------
% 229.84/221.56  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------