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

% Computer : n013.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:43 EDT 2023

% Result   : Theorem 60.18s 58.50s
% Output   : Proof 60.18s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : SWB073+1 : TPTP v8.1.2. Released v5.2.0.
% 0.07/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n013.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Thu May 18 20:42:20 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 60.18/58.50  
% 60.18/58.50  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 60.18/58.50  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 60.18/58.50  %-----------------------------------------------------
% 60.18/58.50  ncf(matrix, plain, [(7819 ^ _320288) ^ [] : [iext(uri_rdfs_subPropertyOf, uri_owl_bottomDataProperty, uri_ex_p)], !, (5920 ^ _35406) ^ [_247006, _247008, _247010, _247012, _247014, _247016] : [5965 ^ _35406 : [(5968 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5964 ^ [_247006, _247008, _247010, _247012, _247014, _247016], _247016))], (5966 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5964 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))]], iext(uri_rdf_first, _247016, _247014), iext(uri_rdf_rest, _247016, _247012), iext(uri_rdf_first, _247012, _247010), iext(uri_rdf_rest, _247012, _247008), iext(uri_rdf_first, _247008, _247006), iext(uri_rdf_rest, _247008, uri_rdf_nil), 5948 ^ _35406 : [(5951 ^ _35406) ^ [] : [-(icext(_247010, 5947 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))], (5949 ^ _35406) ^ [] : [-(icext(_247014, 5947 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))]], 5955 ^ _35406 : [(5958 ^ _35406) ^ [] : [-(icext(_247006, 5954 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))], (5956 ^ _35406) ^ [] : [-(icext(_247014, 5954 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))]], 5960 ^ _35406 : [(5963 ^ _35406) ^ [] : [-(icext(_247006, 5959 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))], (5961 ^ _35406) ^ [] : [-(icext(_247010, 5959 ^ [_247006, _247008, _247010, _247012, _247014, _247016]))]]], (875 ^ _35406) ^ [_62483] : [icext(uri_owl_Nothing, _62483)], (7239 ^ _35406) ^ [_295351] : [icext(uri_owl_rational, _295351), -(lv(_295351))], (7583 ^ _35406) ^ [_306077] : [icext(uri_owl_real, _306077), icext(uri_rdf_XMLLiteral, _306077)], (1055 ^ _35406) ^ [] : [-(ioxp(uri_owl_backwardCompatibleWith))], (50 ^ _35406) ^ [_36830, _36832] : [-(ic(_36830)), _36832 = _36830, ic(_36832)], (7325 ^ _35406) ^ [_297950] : [icext(uri_xsd_anyURI, _297950), icext(uri_xsd_boolean, _297950)], (7529 ^ _35406) ^ [_304376] : [icext(uri_xsd_float, _304376), icext(uri_xsd_hexBinary, _304376)], (7093 ^ _35406) ^ [] : [-(idc(uri_xsd_dateTime))], (7613 ^ _35406) ^ [_307026] : [icext(uri_xsd_integer, _307026), -(icext(uri_xsd_decimal, _307026))], (80 ^ _35406) ^ [_37743, _37745, _37747, _37749] : [-(icext(_37747, _37743)), icext(_37749, _37745), _37749 = _37747, _37745 = _37743], (5717 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5713 ^ [], uri_rdf_nil))], (851 ^ _35406) ^ [_61774] : [lv(_61774), -(icext(uri_rdfs_Literal, _61774))], (1203 ^ _35406) ^ [] : [-(ip(uri_owl_hasValue))], (7727 ^ _35406) ^ [_310650, _310652] : [iext(uri_rdf_langRange, _310652, _310650), 7730 ^ _35406 : [(7733 ^ _35406) ^ [] : [-(lv(_310650))], (7731 ^ _35406) ^ [] : [-(ir(_310652))]]], (735 ^ _35406) ^ [_58285] : [icext(uri_owl_Class, _58285), -(ic(_58285))], (346 ^ _35406) ^ [_45807, _45809, _45811, _45813] : [-(icext(_45811, _45807)), iext(uri_rdfs_range, _45813, _45811), iext(_45813, _45809, _45807)], (7261 ^ _35406) ^ [] : [-(idc(uri_xsd_short))], (1537 ^ _35406) ^ [] : [-(ioxp(uri_owl_versionIRI))], (655 ^ _35406) ^ [_55821] : [lv(_55821), -(ir(_55821))], (1035 ^ _35406) ^ [_67509, _67511] : [iext(uri_owl_assertionProperty, _67511, _67509), 1038 ^ _35406 : [(1041 ^ _35406) ^ [] : [-(ip(_67509))], (1039 ^ _35406) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _67511))]]], (7167 ^ _35406) ^ [_293182] : [icext(uri_xsd_Name, _293182), -(lv(_293182))], (4953 ^ _35406) ^ [_214776, _214778] : [-(iext(uri_rdfs_range, _214778, _214776)), ip(_214778), ip(_214776), 4964 ^ _35406 : [(4967 ^ _35406) ^ [] : [icext(_214776, 4963 ^ [_214776, _214778])], (4965 ^ _35406) ^ [] : [-(iext(_214778, 4962 ^ [_214776, _214778], 4963 ^ [_214776, _214778]))]]], (7691 ^ _35406) ^ [_309496] : [icext(uri_xsd_string, _309496), -(icext(uri_rdf_PlainLiteral, _309496))], (805 ^ _35406) ^ [_60386] : [icext(uri_owl_DeprecatedClass, _60386), -(ic(_60386))], (404 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property))], (1085 ^ _35406) ^ [_69206, _69208] : [iext(uri_owl_complementOf, _69208, _69206), 1088 ^ _35406 : [(1091 ^ _35406) ^ [] : [-(ic(_69206))], (1089 ^ _35406) ^ [] : [-(ic(_69208))]]], (7271 ^ _35406) ^ [_296315] : [icext(uri_xsd_token, _296315), -(lv(_296315))], (1285 ^ _35406) ^ [] : [-(ip(uri_owl_maxQualifiedCardinality))], (623 ^ _35406) ^ [] : [-(ir(621 ^ []))], (843 ^ _35406) ^ [] : [-(ic(uri_owl_IrreflexiveProperty))], (971 ^ _35406) ^ [] : [-(ic(uri_owl_SymmetricProperty))], (6866 ^ _35406) ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975] : [iext(uri_rdf_first, _281973, _281971), iext(uri_rdf_rest, _281973, _281969), iext(uri_rdf_first, _281969, _281967), iext(uri_rdf_rest, _281969, _281965), iext(uri_rdf_first, _281965, _281963), iext(uri_rdf_rest, _281965, uri_rdf_nil), 6889 ^ _35406 : [(6890 ^ _35406) ^ [] : [iext(uri_owl_hasKey, _281975, _281973), 6893 ^ _35406 : [(6894 ^ _35406) ^ [] : [-(ic(_281975))], (6898 ^ _35406) ^ [] : [-(ip(_281967))], (6902 ^ _35406) ^ [_283257, _283259, _283261, _283263, _283265] : [-(_283265 = _283263), icext(_281975, _283265), icext(_281975, _283263), iext(_281971, _283265, _283261), iext(_281971, _283263, _283261), iext(_281967, _283265, _283259), iext(_281967, _283263, _283259), iext(_281963, _283265, _283257), iext(_281963, _283263, _283257)], (6900 ^ _35406) ^ [] : [-(ip(_281963))], (6896 ^ _35406) ^ [] : [-(ip(_281971))]]], (6936 ^ _35406) ^ [] : [-(iext(uri_owl_hasKey, _281975, _281973)), ic(_281975), ip(_281971), ip(_281967), ip(_281963), 6958 ^ _35406 : [(6967 ^ _35406) ^ [] : [-(iext(_281967, 6953 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6956 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6959 ^ _35406) ^ [] : [-(icext(_281975, 6953 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6961 ^ _35406) ^ [] : [-(icext(_281975, 6954 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6971 ^ _35406) ^ [] : [-(iext(_281963, 6953 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6957 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6969 ^ _35406) ^ [] : [-(iext(_281967, 6954 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6956 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6975 ^ _35406) ^ [] : [6953 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975] = 6954 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]], (6965 ^ _35406) ^ [] : [-(iext(_281971, 6954 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6955 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6973 ^ _35406) ^ [] : [-(iext(_281963, 6954 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6957 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))], (6963 ^ _35406) ^ [] : [-(iext(_281971, 6953 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975], 6955 ^ [_281963, _281965, _281967, _281969, _281971, _281973, _281975]))]]]]], (5804 ^ _35406) ^ [] : [-(tautology), tautology], (7487 ^ _35406) ^ [_303053] : [icext(uri_xsd_dateTime, _303053), icext(uri_owl_real, _303053)], (4171 ^ _35406) ^ [_183687, _183689, _183691] : [iext(uri_owl_maxQualifiedCardinality, _183691, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _183691, _183689), iext(uri_owl_onClass, _183691, _183687), 4182 ^ _35406 : [(4183 ^ _35406) ^ [_184085] : [icext(_183691, _184085), 4186 ^ _35406 : [(4187 ^ _35406) ^ [_184275, _184277] : [-(_184275 = _184277), iext(_183689, _184085, _184277), icext(_183687, _184277), iext(_183689, _184085, _184275), icext(_183687, _184275)]]], (4205 ^ _35406) ^ [_184793] : [4208 ^ _35406 : [(4209 ^ _35406) ^ [] : [-(iext(_183689, _184793, 4206 ^ [_183687, _183689, _183691, _184793]))], (4213 ^ _35406) ^ [] : [-(iext(_183689, _184793, 4207 ^ [_183687, _183689, _183691, _184793]))], (4217 ^ _35406) ^ [] : [4207 ^ [_183687, _183689, _183691, _184793] = 4206 ^ [_183687, _183689, _183691, _184793]], (4215 ^ _35406) ^ [] : [-(icext(_183687, 4207 ^ [_183687, _183689, _183691, _184793]))], (4211 ^ _35406) ^ [] : [-(icext(_183687, 4206 ^ [_183687, _183689, _183691, _184793]))]], -(icext(_183691, _184793))]]], (2848 ^ _35406) ^ [_129472, _129474, _129476] : [iext(uri_owl_qualifiedCardinality, _129476, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _129476, _129474), iext(uri_owl_onDataRange, _129476, _129472), 2859 ^ _35406 : [(2862 ^ _35406) ^ [_129925] : [icext(_129476, _129925), 2865 ^ _35406 : [(2866 ^ _35406) ^ [_130084] : [lv(_130084), iext(_129474, _129925, _130084), icext(_129472, _130084)]]], (2876 ^ _35406) ^ [_130377] : [2878 ^ _35406 : [(2883 ^ _35406) ^ [] : [-(icext(_129472, 2877 ^ [_129472, _129474, _129476, _130377]))], (2881 ^ _35406) ^ [] : [-(iext(_129474, _130377, 2877 ^ [_129472, _129474, _129476, _130377]))], (2879 ^ _35406) ^ [] : [-(lv(2877 ^ [_129472, _129474, _129476, _130377]))]], -(icext(_129476, _130377))], (2860 ^ _35406) ^ [] : [-(iodp(_129474))]]], (5054 ^ _35406) ^ [_218237] : [-(iext(uri_owl_disjointUnionOf, _218237, uri_rdf_nil)), ic(_218237), -(icext(_218237, 5059 ^ [_218237]))], (94 ^ _35406) ^ [_38159, _38161] : [-(ir(_38159)), _38161 = _38159, ir(_38161)], (394 ^ _35406) ^ [_47319, _47321, _47323] : [-(iext(uri_rdfs_subClassOf, _47323, _47319)), iext(uri_rdfs_subClassOf, _47323, _47321), iext(uri_rdfs_subClassOf, _47321, _47319)], (1539 ^ _35406) ^ [_84376, _84378] : [iext(uri_owl_withRestrictions, _84378, _84376), 1542 ^ _35406 : [(1545 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _84376))], (1543 ^ _35406) ^ [] : [-(idc(_84378))]]], (1287 ^ _35406) ^ [_76001, _76003] : [iext(uri_owl_members, _76003, _76001), 1290 ^ _35406 : [(1293 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _76001))], (1291 ^ _35406) ^ [] : [-(ir(_76003))]]], (2217 ^ _35406) ^ [_106721, _106723, _106725, _106727, _106729] : [-(idc(_106729)), iext(uri_rdf_first, _106727, _106725), iext(uri_rdf_rest, _106727, _106723), iext(uri_rdf_first, _106723, _106721), iext(uri_rdf_rest, _106723, uri_rdf_nil), idc(_106725), idc(_106721), iext(uri_owl_unionOf, _106729, _106727)], (3632 ^ _35406) ^ [_162014, _162016, _162018] : [iext(uri_owl_hasSelf, _162018, _162014), iext(uri_owl_onProperty, _162018, _162016), 3639 ^ _35406 : [(3646 ^ _35406) ^ [_162464] : [iext(_162016, _162464, _162464), -(icext(_162018, _162464))], (3640 ^ _35406) ^ [_162282] : [icext(_162018, _162282), -(iext(_162016, _162282, _162282))]]], (7517 ^ _35406) ^ [_303998] : [icext(uri_xsd_double, _303998), icext(uri_owl_real, _303998)], (7181 ^ _35406) ^ [] : [-(idc(uri_xsd_NCName))], (7245 ^ _35406) ^ [] : [-(idc(uri_owl_rational))], (6512 ^ _35406) ^ [_268667] : [-(icext(uri_owl_AsymmetricProperty, _268667)), ip(_268667), 6519 ^ _35406 : [(6522 ^ _35406) ^ [] : [-(iext(_268667, 6518 ^ [_268667], 6517 ^ [_268667]))], (6520 ^ _35406) ^ [] : [-(iext(_268667, 6517 ^ [_268667], 6518 ^ [_268667]))]]], (1235 ^ _35406) ^ [] : [-(ip(uri_owl_intersectionOf))], (168 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List))], (697 ^ _35406) ^ [_57107] : [icext(uri_owl_Annotation, _57107), -(ir(_57107))], (1489 ^ _35406) ^ [_82779, _82781] : [iext(uri_owl_topObjectProperty, _82781, _82779), 1492 ^ _35406 : [(1495 ^ _35406) ^ [] : [-(ir(_82779))], (1493 ^ _35406) ^ [] : [-(ir(_82781))]]], (7331 ^ _35406) ^ [_298139] : [icext(uri_xsd_anyURI, _298139), icext(uri_xsd_dateTime, _298139)], (358 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement))], (5510 ^ _35406) ^ [_233743, _233745] : [iext(uri_owl_propertyDisjointWith, _233745, _233743), 5513 ^ _35406 : [(5518 ^ _35406) ^ [_234045, _234047] : [iext(_233745, _234047, _234045), iext(_233743, _234047, _234045)], (5516 ^ _35406) ^ [] : [-(ip(_233743))], (5514 ^ _35406) ^ [] : [-(ip(_233745))]]], (3693 ^ _35406) ^ [_164168, _164170] : [iext(uri_owl_maxCardinality, _164170, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _164170, _164168), 3700 ^ _35406 : [(3701 ^ _35406) ^ [_164451] : [icext(_164170, _164451), 3704 ^ _35406 : [(3705 ^ _35406) ^ [_164623, _164625] : [-(_164623 = _164625), iext(_164168, _164451, _164625), iext(_164168, _164451, _164623)]]], (3715 ^ _35406) ^ [_164919] : [3718 ^ _35406 : [(3723 ^ _35406) ^ [] : [3717 ^ [_164168, _164170, _164919] = 3716 ^ [_164168, _164170, _164919]], (3721 ^ _35406) ^ [] : [-(iext(_164168, _164919, 3717 ^ [_164168, _164170, _164919]))], (3719 ^ _35406) ^ [] : [-(iext(_164168, _164919, 3716 ^ [_164168, _164170, _164919]))]], -(icext(_164170, _164919))]]], (791 ^ _35406) ^ [_59989] : [icext(uri_owl_DatatypeProperty, _59989), -(iodp(_59989))], (7385 ^ _35406) ^ [_299840] : [icext(uri_xsd_base64Binary, _299840), icext(uri_xsd_double, _299840)], (7523 ^ _35406) ^ [_304187] : [icext(uri_xsd_double, _304187), icext(uri_rdf_XMLLiteral, _304187)], (184 ^ _35406) ^ [_41005] : [iext(uri_rdf_type, _41005, uri_rdf_Property), -(ip(_41005))], (592 ^ _35406) ^ [_53790] : [ip(_53790), 595 ^ _35406 : [(596 ^ _35406) ^ [_53945, _53947] : [iext(_53790, _53947, _53945), 599 ^ _35406 : [(602 ^ _35406) ^ [] : [-(ir(_53945))], (600 ^ _35406) ^ [] : [-(ir(_53947))]]]]], (456 ^ _35406) ^ [_49327] : [ic(_49327), -(ir(_49327))], (7215 ^ _35406) ^ [_294628] : [icext(uri_xsd_normalizedString, _294628), -(lv(_294628))], (867 ^ _35406) ^ [_62258] : [icext(uri_owl_NegativePropertyAssertion, _62258), -(ir(_62258))], (6642 ^ _35406) ^ [_273315] : [-(icext(uri_owl_SymmetricProperty, _273315)), ip(_273315), 6649 ^ _35406 : [(6652 ^ _35406) ^ [] : [iext(_273315, 6648 ^ [_273315], 6647 ^ [_273315])], (6650 ^ _35406) ^ [] : [-(iext(_273315, 6647 ^ [_273315], 6648 ^ [_273315]))]]], (5034 ^ _35406) ^ [_217589, _217591] : [iext(uri_owl_differentFrom, _217591, _217589), _217591 = _217589], (270 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource))], (7101 ^ _35406) ^ [] : [-(idc(uri_xsd_dateTimeStamp))], (204 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (7189 ^ _35406) ^ [] : [-(idc(uri_xsd_negativeInteger))], (995 ^ _35406) ^ [_66163, _66165] : [iext(uri_owl_allValuesFrom, _66165, _66163), 998 ^ _35406 : [(1001 ^ _35406) ^ [] : [-(ic(_66163))], (999 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _66165))]]], (6067 ^ _35406) ^ [_252012, _252014] : [6075 ^ _35406 : [(6078 ^ _35406) ^ [] : [-(iext(uri_owl_members, 6074 ^ [_252012, _252014], _252014))], (6076 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6074 ^ [_252012, _252014]))]], iext(uri_rdf_first, _252014, _252012), iext(uri_rdf_rest, _252014, uri_rdf_nil)], (7151 ^ _35406) ^ [_292700] : [icext(uri_xsd_language, _292700), -(lv(_292700))], (7191 ^ _35406) ^ [_293905] : [icext(uri_xsd_NMTOKEN, _293905), -(lv(_293905))], (1467 ^ _35406) ^ [] : [-(ip(uri_owl_targetValue))], (3487 ^ _35406) ^ [_155567, _155569, _155571] : [iext(uri_owl_qualifiedCardinality, _155571, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _155571, _155569), iext(uri_owl_onClass, _155571, _155567), 3498 ^ _35406 : [(3499 ^ _35406) ^ [_156091] : [icext(_155571, _156091), 3505 ^ _35406 : [(3512 ^ _35406) ^ [] : [-(icext(_155567, 3503 ^ [_155567, _155569, _155571, _156091]))], (3524 ^ _35406) ^ [_157690, _157692, _157694, _157696] : [-(_157690 = _157696), -(_157690 = _157694), -(_157690 = _157692), iext(_155569, _156091, _157696), icext(_155567, _157696), iext(_155569, _156091, _157694), icext(_155567, _157694), iext(_155569, _156091, _157692), icext(_155567, _157692), iext(_155569, _156091, _157690), icext(_155567, _157690)], (3508 ^ _35406) ^ [] : [-(icext(_155567, 3502 ^ [_155567, _155569, _155571, _156091]))], (3506 ^ _35406) ^ [] : [-(iext(_155569, _156091, 3502 ^ [_155567, _155569, _155571, _156091]))], (3516 ^ _35406) ^ [] : [-(icext(_155567, 3504 ^ [_155567, _155569, _155571, _156091]))], (3522 ^ _35406) ^ [] : [3503 ^ [_155567, _155569, _155571, _156091] = 3504 ^ [_155567, _155569, _155571, _156091]], (3510 ^ _35406) ^ [] : [-(iext(_155569, _156091, 3503 ^ [_155567, _155569, _155571, _156091]))], (3520 ^ _35406) ^ [] : [3502 ^ [_155567, _155569, _155571, _156091] = 3504 ^ [_155567, _155569, _155571, _156091]], (3514 ^ _35406) ^ [] : [-(iext(_155569, _156091, 3504 ^ [_155567, _155569, _155571, _156091]))], (3518 ^ _35406) ^ [] : [3502 ^ [_155567, _155569, _155571, _156091] = 3503 ^ [_155567, _155569, _155571, _156091]]]], (3566 ^ _35406) ^ [_158950] : [-(icext(_155571, _158950)), 3607 ^ _35406 : [(3618 ^ _35406) ^ [] : [-(icext(_155567, 3605 ^ [_155567, _155569, _155571, _158950]))], (3626 ^ _35406) ^ [] : [3606 ^ [_155567, _155569, _155571, _158950] = 3604 ^ [_155567, _155569, _155571, _158950]], (3616 ^ _35406) ^ [] : [-(iext(_155569, _158950, 3605 ^ [_155567, _155569, _155571, _158950]))], (3620 ^ _35406) ^ [] : [-(iext(_155569, _158950, 3606 ^ [_155567, _155569, _155571, _158950]))], (3608 ^ _35406) ^ [] : [-(iext(_155569, _158950, 3603 ^ [_155567, _155569, _155571, _158950]))], (3610 ^ _35406) ^ [] : [-(icext(_155567, 3603 ^ [_155567, _155569, _155571, _158950]))], (3612 ^ _35406) ^ [] : [-(iext(_155569, _158950, 3604 ^ [_155567, _155569, _155571, _158950]))], (3614 ^ _35406) ^ [] : [-(icext(_155567, 3604 ^ [_155567, _155569, _155571, _158950]))], (3622 ^ _35406) ^ [] : [-(icext(_155567, 3606 ^ [_155567, _155569, _155571, _158950]))], (3624 ^ _35406) ^ [] : [3606 ^ [_155567, _155569, _155571, _158950] = 3603 ^ [_155567, _155569, _155571, _158950]], (3628 ^ _35406) ^ [] : [3606 ^ [_155567, _155569, _155571, _158950] = 3605 ^ [_155567, _155569, _155571, _158950]]], 3569 ^ _35406 : [(3570 ^ _35406) ^ [_159269, _159271, _159273] : [iext(_155569, _158950, _159273), icext(_155567, _159273), iext(_155569, _158950, _159271), icext(_155567, _159271), iext(_155569, _158950, _159269), icext(_155567, _159269), -(_159273 = _159271), -(_159273 = _159269), -(_159271 = _159269)]]]]], (1163 ^ _35406) ^ [] : [-(ip(uri_owl_equivalentClass))], (172 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property))], (1397 ^ _35406) ^ [] : [-(ip(uri_owl_propertyDisjointWith))], (2 ^ _35406) ^ [_35433] : [-(_35433 = _35433)], (616 ^ _35406) ^ [_54600] : [iext(uri_rdf_type, _54600, uri_rdf_Property), -(ip(_54600))], (993 ^ _35406) ^ [] : [-(ic(uri_owl_TransitiveProperty))], (1215 ^ _35406) ^ [_73586, _73588] : [iext(uri_owl_incompatibleWith, _73588, _73586), 1218 ^ _35406 : [(1221 ^ _35406) ^ [] : [-(ix(_73586))], (1219 ^ _35406) ^ [] : [-(ix(_73588))]]], (442 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource))], (625 ^ _35406) ^ [_54910] : [ir(_54910), -(iext(uri_rdf_type, _54910, uri_rdfs_Resource))], (1477 ^ _35406) ^ [_82398, _82400] : [-(iext(uri_owl_topDataProperty, _82400, _82398)), ir(_82400), lv(_82398)], (1459 ^ _35406) ^ [_81796, _81798] : [iext(uri_owl_targetValue, _81798, _81796), 1462 ^ _35406 : [(1465 ^ _35406) ^ [] : [-(lv(_81796))], (1463 ^ _35406) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _81798))]]], (7403 ^ _35406) ^ [_300407] : [icext(uri_xsd_base64Binary, _300407), icext(uri_rdf_PlainLiteral, _300407)], (1907 ^ _35406) ^ [_96568, _96570, _96572, _96574, _96576, _96578, _96580] : [-(idc(_96580)), iext(uri_rdf_first, _96578, _96576), iext(uri_rdf_rest, _96578, _96574), iext(uri_rdf_first, _96574, _96572), iext(uri_rdf_rest, _96574, _96570), iext(uri_rdf_first, _96570, _96568), iext(uri_rdf_rest, _96570, uri_rdf_nil), idc(_96576), idc(_96572), idc(_96568), iext(uri_owl_intersectionOf, _96580, _96578)], (1095 ^ _35406) ^ [_69542, _69544] : [iext(uri_owl_datatypeComplementOf, _69544, _69542), 1098 ^ _35406 : [(1101 ^ _35406) ^ [] : [-(idc(_69542))], (1099 ^ _35406) ^ [] : [-(idc(_69544))]]], (5016 ^ _35406) ^ [_216930, _216932] : [-(iext(uri_rdfs_subPropertyOf, _216932, _216930)), ip(_216932), ip(_216930), 5027 ^ _35406 : [(5030 ^ _35406) ^ [] : [iext(_216930, 5025 ^ [_216930, _216932], 5026 ^ [_216930, _216932])], (5028 ^ _35406) ^ [] : [-(iext(_216932, 5025 ^ [_216930, _216932], 5026 ^ [_216930, _216932]))]]], (829 ^ _35406) ^ [_61109] : [icext(uri_owl_InverseFunctionalProperty, _61109), -(ip(_61109))], (370 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class))], (5548 ^ _35406) ^ [_235065, _235067] : [_235067 = _235065, -(iext(uri_owl_sameAs, _235067, _235065))], (1547 ^ _35406) ^ [] : [-(ip(uri_owl_withRestrictions))], (1335 ^ _35406) ^ [] : [-(ip(uri_owl_onDataRange))], (170 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property))], (7427 ^ _35406) ^ [_301163] : [icext(uri_xsd_boolean, _301163), icext(uri_xsd_double, _301163)], (6721 ^ _35406) ^ [_276189, _276191, _276193] : [iext(uri_rdf_first, _276191, _276189), iext(uri_rdf_rest, _276191, uri_rdf_nil), 6728 ^ _35406 : [(6729 ^ _35406) ^ [] : [iext(uri_owl_hasKey, _276193, _276191), 6732 ^ _35406 : [(6737 ^ _35406) ^ [_276749, _276751, _276753] : [-(_276753 = _276751), icext(_276193, _276753), icext(_276193, _276751), iext(_276189, _276753, _276749), iext(_276189, _276751, _276749)], (6735 ^ _35406) ^ [] : [-(ip(_276189))], (6733 ^ _35406) ^ [] : [-(ic(_276193))]]], (6755 ^ _35406) ^ [] : [-(iext(uri_owl_hasKey, _276193, _276191)), ic(_276193), ip(_276189), 6767 ^ _35406 : [(6768 ^ _35406) ^ [] : [-(icext(_276193, 6764 ^ [_276189, _276191, _276193]))], (6772 ^ _35406) ^ [] : [-(iext(_276189, 6764 ^ [_276189, _276191, _276193], 6766 ^ [_276189, _276191, _276193]))], (6776 ^ _35406) ^ [] : [6764 ^ [_276189, _276191, _276193] = 6765 ^ [_276189, _276191, _276193]], (6774 ^ _35406) ^ [] : [-(iext(_276189, 6765 ^ [_276189, _276191, _276193], 6766 ^ [_276189, _276191, _276193]))], (6770 ^ _35406) ^ [] : [-(icext(_276193, 6765 ^ [_276189, _276191, _276193]))]]]]], (7595 ^ _35406) ^ [_306456] : [icext(uri_xsd_dateTimeStamp, _306456), -(icext(uri_xsd_dateTime, _306456))], (1245 ^ _35406) ^ [] : [-(ip(uri_owl_inverseOf))], (1133 ^ _35406) ^ [] : [-(ip(uri_owl_disjointUnionOf))], (7649 ^ _35406) ^ [_308166] : [icext(uri_xsd_NMTOKEN, _308166), -(icext(uri_xsd_token, _308166))], (7767 ^ _35406) ^ [_311994, _311996] : [iext(uri_xsd_maxLength, _311996, _311994), 7770 ^ _35406 : [(7773 ^ _35406) ^ [] : [-(lv(_311994))], (7771 ^ _35406) ^ [] : [-(ir(_311996))]]], (366 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement))], (1175 ^ _35406) ^ [_72236, _72238] : [iext(uri_owl_hasKey, _72238, _72236), 1178 ^ _35406 : [(1181 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _72236))], (1179 ^ _35406) ^ [] : [-(ic(_72238))]]], (7433 ^ _35406) ^ [_301352] : [icext(uri_xsd_boolean, _301352), icext(uri_xsd_float, _301352)], (1297 ^ _35406) ^ [_76339, _76341] : [iext(uri_owl_minCardinality, _76341, _76339), 1300 ^ _35406 : [(1303 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _76339))], (1301 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _76341))]]], (5644 ^ _35406) ^ [] : [-(tautology), tautology], (7667 ^ _35406) ^ [_308736] : [icext(uri_xsd_normalizedString, _308736), -(icext(uri_xsd_string, _308736))], (152 ^ _35406) ^ [_40034, _40036, _40038] : [iext(_40036, _40038, _40034), -(ip(_40036))], (1247 ^ _35406) ^ [_74649, _74651] : [iext(uri_rdfs_isDefinedBy, _74651, _74649), 1250 ^ _35406 : [(1253 ^ _35406) ^ [] : [-(ir(_74649))], (1251 ^ _35406) ^ [] : [-(ir(_74651))]]], (406 ^ _35406) ^ [_47687, _47689] : [iext(uri_rdfs_subPropertyOf, _47689, _47687), 409 ^ _35406 : [(414 ^ _35406) ^ [_47987, _47989] : [iext(_47689, _47989, _47987), -(iext(_47687, _47989, _47987))], (412 ^ _35406) ^ [] : [-(ip(_47687))], (410 ^ _35406) ^ [] : [-(ip(_47689))]]], (7661 ^ _35406) ^ [_308546] : [icext(uri_xsd_nonPositiveInteger, _308546), -(icext(uri_xsd_integer, _308546))], (4290 ^ _35406) ^ [_188507, _188509, _188511] : [iext(uri_owl_maxQualifiedCardinality, _188511, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _188511, _188509), iext(uri_owl_onClass, _188511, _188507), 4301 ^ _35406 : [(4302 ^ _35406) ^ [_188953] : [icext(_188511, _188953), 4305 ^ _35406 : [(4306 ^ _35406) ^ [_189219, _189221, _189223, _189225] : [-(_189219 = _189225), -(_189219 = _189223), -(_189219 = _189221), iext(_188509, _188953, _189225), icext(_188507, _189225), iext(_188509, _188953, _189223), icext(_188507, _189223), iext(_188509, _188953, _189221), icext(_188507, _189221), iext(_188509, _188953, _189219), icext(_188507, _189219)]]], (4348 ^ _35406) ^ [_190461] : [4353 ^ _35406 : [(4364 ^ _35406) ^ [] : [-(icext(_188507, 4351 ^ [_188507, _188509, _188511, _190461]))], (4372 ^ _35406) ^ [] : [4352 ^ [_188507, _188509, _188511, _190461] = 4350 ^ [_188507, _188509, _188511, _190461]], (4362 ^ _35406) ^ [] : [-(iext(_188509, _190461, 4351 ^ [_188507, _188509, _188511, _190461]))], (4366 ^ _35406) ^ [] : [-(iext(_188509, _190461, 4352 ^ [_188507, _188509, _188511, _190461]))], (4354 ^ _35406) ^ [] : [-(iext(_188509, _190461, 4349 ^ [_188507, _188509, _188511, _190461]))], (4356 ^ _35406) ^ [] : [-(icext(_188507, 4349 ^ [_188507, _188509, _188511, _190461]))], (4358 ^ _35406) ^ [] : [-(iext(_188509, _190461, 4350 ^ [_188507, _188509, _188511, _190461]))], (4360 ^ _35406) ^ [] : [-(icext(_188507, 4350 ^ [_188507, _188509, _188511, _190461]))], (4368 ^ _35406) ^ [] : [-(icext(_188507, 4352 ^ [_188507, _188509, _188511, _190461]))], (4370 ^ _35406) ^ [] : [4352 ^ [_188507, _188509, _188511, _190461] = 4349 ^ [_188507, _188509, _188511, _190461]], (4374 ^ _35406) ^ [] : [4352 ^ [_188507, _188509, _188511, _190461] = 4351 ^ [_188507, _188509, _188511, _190461]]], -(icext(_188511, _190461))]]], (474 ^ _35406) ^ [_49890] : [idc(_49890), 477 ^ _35406 : [(478 ^ _35406) ^ [_50020] : [icext(_49890, _50020), -(lv(_50020))]]], (420 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property))], (891 ^ _35406) ^ [] : [-(ic(uri_owl_ObjectProperty))], (7055 ^ _35406) ^ [_289808] : [icext(uri_xsd_anyURI, _289808), -(lv(_289808))], (955 ^ _35406) ^ [] : [-(ic(uri_rdfs_Resource))], (1507 ^ _35406) ^ [] : [-(ip(uri_owl_topObjectProperty))], (142 ^ _35406) ^ [_39667, _39669, _39671, _39673] : [-(literal_typed(_39673, _39669) = literal_typed(_39671, _39667)), _39673 = _39671, _39669 = _39667], (5559 ^ _35406) ^ [_235431, _235433] : [5567 ^ _35406 : [(5570 ^ _35406) ^ [] : [-(iext(uri_owl_distinctMembers, 5566 ^ [_235431, _235433], _235433))], (5568 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5566 ^ [_235431, _235433]))]], iext(uri_rdf_first, _235433, _235431), iext(uri_rdf_rest, _235433, uri_rdf_nil)], (935 ^ _35406) ^ [_64333] : [icext(uri_owl_ReflexiveProperty, _64333), -(ip(_64333))], (943 ^ _35406) ^ [_64603] : [icext(uri_rdfs_Resource, _64603), -(ir(_64603))], (7775 ^ _35406) ^ [] : [-(iodp(uri_xsd_maxLength))], (6313 ^ _35406) ^ [_261051, _261053, _261055, _261057, _261059] : [iext(uri_rdf_first, _261057, _261055), iext(uri_rdf_rest, _261057, _261053), iext(uri_rdf_first, _261053, _261051), iext(uri_rdf_rest, _261053, uri_rdf_nil), 6328 ^ _35406 : [(6349 ^ _35406) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _261059, _261057)), ip(_261059), ip(_261055), ip(_261051), 6365 ^ _35406 : [(6370 ^ _35406) ^ [] : [iext(_261059, 6362 ^ [_261051, _261053, _261055, _261057, _261059], 6364 ^ [_261051, _261053, _261055, _261057, _261059])], (6368 ^ _35406) ^ [] : [-(iext(_261051, 6363 ^ [_261051, _261053, _261055, _261057, _261059], 6364 ^ [_261051, _261053, _261055, _261057, _261059]))], (6366 ^ _35406) ^ [] : [-(iext(_261055, 6362 ^ [_261051, _261053, _261055, _261057, _261059], 6363 ^ [_261051, _261053, _261055, _261057, _261059]))]]], (6329 ^ _35406) ^ [] : [iext(uri_owl_propertyChainAxiom, _261059, _261057), 6332 ^ _35406 : [(6335 ^ _35406) ^ [] : [-(ip(_261055))], (6337 ^ _35406) ^ [] : [-(ip(_261051))], (6339 ^ _35406) ^ [_261914, _261916, _261918] : [-(iext(_261059, _261918, _261914)), iext(_261055, _261918, _261916), iext(_261051, _261916, _261914)], (6333 ^ _35406) ^ [] : [-(ip(_261059))]]]]], (1013 ^ _35406) ^ [] : [-(ip(uri_owl_annotatedProperty))], (7361 ^ _35406) ^ [_299084] : [icext(uri_xsd_anyURI, _299084), icext(uri_owl_real, _299084)], (963 ^ _35406) ^ [] : [-(ic(uri_owl_Restriction))], (248 ^ _35406) ^ [_42851] : [icext(uri_rdfs_ContainerMembershipProperty, _42851), -(iext(uri_rdfs_subPropertyOf, _42851, uri_rdfs_member))], (6705 ^ _35406) ^ [_275586] : [-(iext(uri_owl_hasKey, _275586, uri_rdf_nil)), ic(_275586), 6712 ^ _35406 : [(6717 ^ _35406) ^ [] : [6710 ^ [_275586] = 6711 ^ [_275586]], (6715 ^ _35406) ^ [] : [-(icext(_275586, 6711 ^ [_275586]))], (6713 ^ _35406) ^ [] : [-(icext(_275586, 6710 ^ [_275586]))]]], (687 ^ _35406) ^ [] : [-(ic(uri_owl_AllDisjointClasses))], (158 ^ _35406) ^ [_40221] : [-(ir(_40221))], (3834 ^ _35406) ^ [_170079, _170081, _170083] : [iext(uri_owl_maxQualifiedCardinality, _170083, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _170083, _170081), iext(uri_owl_onDataRange, _170083, _170079), 3845 ^ _35406 : [(3848 ^ _35406) ^ [_170532] : [icext(_170083, _170532), 3851 ^ _35406 : [(3852 ^ _35406) ^ [_170691] : [lv(_170691), iext(_170081, _170532, _170691), icext(_170079, _170691)]]], (3862 ^ _35406) ^ [_170984] : [3864 ^ _35406 : [(3869 ^ _35406) ^ [] : [-(icext(_170079, 3863 ^ [_170079, _170081, _170083, _170984]))], (3867 ^ _35406) ^ [] : [-(iext(_170081, _170984, 3863 ^ [_170079, _170081, _170083, _170984]))], (3865 ^ _35406) ^ [] : [-(lv(3863 ^ [_170079, _170081, _170083, _170984]))]], -(icext(_170083, _170984))], (3846 ^ _35406) ^ [] : [-(iodp(_170081))]]], (827 ^ _35406) ^ [] : [-(ic(uri_owl_FunctionalProperty))], (733 ^ _35406) ^ [] : [-(ic(uri_owl_Axiom))], (1295 ^ _35406) ^ [] : [-(ip(uri_owl_members))], (174 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property))], (7619 ^ _35406) ^ [_307216] : [icext(uri_xsd_language, _307216), -(icext(uri_xsd_token, _307216))], (1223 ^ _35406) ^ [] : [-(ioap(uri_owl_incompatibleWith))], (4921 ^ _35406) ^ [_213640, _213642] : [-(iext(uri_rdfs_domain, _213642, _213640)), ip(_213642), ic(_213640), 4932 ^ _35406 : [(4935 ^ _35406) ^ [] : [icext(_213640, 4930 ^ [_213640, _213642])], (4933 ^ _35406) ^ [] : [-(iext(_213642, 4930 ^ [_213640, _213642], 4931 ^ [_213640, _213642]))]]], (1063 ^ _35406) ^ [] : [-(ip(uri_owl_bottomObjectProperty))], (7221 ^ _35406) ^ [] : [-(idc(uri_xsd_normalizedString))], (1305 ^ _35406) ^ [] : [-(ip(uri_owl_minCardinality))], (2749 ^ _35406) ^ [_125079, _125081] : [iext(uri_owl_cardinality, _125081, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _125081, _125079), 2756 ^ _35406 : [(2802 ^ _35406) ^ [_127387] : [-(icext(_125081, _127387)), 2831 ^ _35406 : [(2836 ^ _35406) ^ [] : [-(iext(_125079, _127387, 2829 ^ [_125079, _125081, _127387]))], (2842 ^ _35406) ^ [] : [2830 ^ [_125079, _125081, _127387] = 2828 ^ [_125079, _125081, _127387]], (2844 ^ _35406) ^ [] : [2830 ^ [_125079, _125081, _127387] = 2829 ^ [_125079, _125081, _127387]], (2838 ^ _35406) ^ [] : [-(iext(_125079, _127387, 2830 ^ [_125079, _125081, _127387]))], (2832 ^ _35406) ^ [] : [-(iext(_125079, _127387, 2827 ^ [_125079, _125081, _127387]))], (2834 ^ _35406) ^ [] : [-(iext(_125079, _127387, 2828 ^ [_125079, _125081, _127387]))], (2840 ^ _35406) ^ [] : [2830 ^ [_125079, _125081, _127387] = 2827 ^ [_125079, _125081, _127387]]], 2805 ^ _35406 : [(2806 ^ _35406) ^ [_127658, _127660, _127662] : [iext(_125079, _127387, _127662), iext(_125079, _127387, _127660), iext(_125079, _127387, _127658), -(_127662 = _127660), -(_127662 = _127658), -(_127660 = _127658)]]], (2757 ^ _35406) ^ [_125458] : [icext(_125081, _125458), 2763 ^ _35406 : [(2768 ^ _35406) ^ [] : [-(iext(_125079, _125458, 2762 ^ [_125079, _125081, _125458]))], (2774 ^ _35406) ^ [] : [2761 ^ [_125079, _125081, _125458] = 2762 ^ [_125079, _125081, _125458]], (2776 ^ _35406) ^ [_126613, _126615, _126617, _126619] : [-(_126613 = _126619), -(_126613 = _126617), -(_126613 = _126615), iext(_125079, _125458, _126619), iext(_125079, _125458, _126617), iext(_125079, _125458, _126615), iext(_125079, _125458, _126613)], (2770 ^ _35406) ^ [] : [2760 ^ [_125079, _125081, _125458] = 2761 ^ [_125079, _125081, _125458]], (2764 ^ _35406) ^ [] : [-(iext(_125079, _125458, 2760 ^ [_125079, _125081, _125458]))], (2766 ^ _35406) ^ [] : [-(iext(_125079, _125458, 2761 ^ [_125079, _125081, _125458]))], (2772 ^ _35406) ^ [] : [2760 ^ [_125079, _125081, _125458] = 2762 ^ [_125079, _125081, _125458]]]]]], (661 ^ _35406) ^ [_56036] : [lv(_56036), -(iext(uri_rdf_type, _56036, uri_rdfs_Literal))], (7463 ^ _35406) ^ [_302297] : [icext(uri_xsd_dateTime, _302297), icext(uri_xsd_double, _302297)], (7637 ^ _35406) ^ [_307786] : [icext(uri_xsd_NCName, _307786), -(icext(uri_xsd_Name, _307786))], (7085 ^ _35406) ^ [] : [-(idc(uri_xsd_byte))], (7041 ^ _35406) ^ [_289397, _289399, _289401, _289403] : [iext(_289401, _289399, _289397), iext(uri_owl_sourceIndividual, _289403, _289399), iext(uri_owl_assertionProperty, _289403, _289401), iext(uri_owl_targetIndividual, _289403, _289397)], (6262 ^ _35406) ^ [_259312] : [-(iext(uri_owl_propertyChainAxiom, _259312, uri_rdf_nil)), ip(_259312), iext(_259312, 6267 ^ [_259312], 6267 ^ [_259312])], (180 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property))], (254 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property))], (1439 ^ _35406) ^ [_81120, _81122] : [iext(uri_owl_sourceIndividual, _81122, _81120), 1442 ^ _35406 : [(1445 ^ _35406) ^ [] : [-(ir(_81120))], (1443 ^ _35406) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _81122))]]], (649 ^ _35406) ^ [_55629] : [iext(uri_rdf_type, _55629, uri_owl_Ontology), -(ix(_55629))], (1859 ^ _35406) ^ [_95121, _95123, _95125] : [-(idc(_95125)), iext(uri_rdf_first, _95123, _95121), iext(uri_rdf_rest, _95123, uri_rdf_nil), idc(_95121), iext(uri_owl_intersectionOf, _95125, _95123)], (6254 ^ _35406) ^ [_259060] : [iext(uri_owl_propertyChainAxiom, _259060, uri_rdf_nil), 6257 ^ _35406 : [(6260 ^ _35406) ^ [_259243] : [-(iext(_259060, _259243, _259243))], (6258 ^ _35406) ^ [] : [-(ip(_259060))]]], (7787 ^ _35406) ^ [_312666, _312668] : [iext(uri_xsd_minInclusive, _312668, _312666), 7790 ^ _35406 : [(7793 ^ _35406) ^ [] : [-(lv(_312666))], (7791 ^ _35406) ^ [] : [-(ir(_312668))]]], (1275 ^ _35406) ^ [] : [-(ip(uri_owl_maxCardinality))], (7247 ^ _35406) ^ [_295592] : [icext(uri_owl_real, _295592), -(lv(_295592))], (422 ^ _35406) ^ [_48265] : [ip(_48265), -(iext(uri_rdfs_subPropertyOf, _48265, _48265))], (5879 ^ _35406) ^ [_245515, _245517] : [5887 ^ _35406 : [(5890 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5886 ^ [_245515, _245517], _245517))], (5888 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5886 ^ [_245515, _245517]))]], iext(uri_rdf_first, _245517, _245515), iext(uri_rdf_rest, _245517, uri_rdf_nil)], (4615 ^ _35406) ^ [_201446, _201448, _201450] : [iext(uri_owl_minQualifiedCardinality, _201450, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _201450, _201448), iext(uri_owl_onDataRange, _201450, _201446), 4626 ^ _35406 : [(4660 ^ _35406) ^ [_203744] : [-(icext(_201450, _203744)), 4661 ^ _35406 : [(4662 ^ _35406) ^ [_203950, _203952, _203954] : [lv(_203954), iext(_201448, _203744, _203954), icext(_201446, _203954), lv(_203952), iext(_201448, _203744, _203952), icext(_201446, _203952), lv(_203950), iext(_201448, _203744, _203950), icext(_201446, _203950), -(_203954 = _203952), -(_203954 = _203950), -(_203952 = _203950)]]], (4629 ^ _35406) ^ [_201967] : [icext(_201450, _201967), 4635 ^ _35406 : [(4652 ^ _35406) ^ [] : [-(icext(_201446, 4634 ^ [_201446, _201448, _201450, _201967]))], (4642 ^ _35406) ^ [] : [-(lv(4633 ^ [_201446, _201448, _201450, _201967]))], (4658 ^ _35406) ^ [] : [4633 ^ [_201446, _201448, _201450, _201967] = 4634 ^ [_201446, _201448, _201450, _201967]], (4638 ^ _35406) ^ [] : [-(iext(_201448, _201967, 4632 ^ [_201446, _201448, _201450, _201967]))], (4644 ^ _35406) ^ [] : [-(iext(_201448, _201967, 4633 ^ [_201446, _201448, _201450, _201967]))], (4646 ^ _35406) ^ [] : [-(icext(_201446, 4633 ^ [_201446, _201448, _201450, _201967]))], (4656 ^ _35406) ^ [] : [4632 ^ [_201446, _201448, _201450, _201967] = 4634 ^ [_201446, _201448, _201450, _201967]], (4640 ^ _35406) ^ [] : [-(icext(_201446, 4632 ^ [_201446, _201448, _201450, _201967]))], (4636 ^ _35406) ^ [] : [-(lv(4632 ^ [_201446, _201448, _201450, _201967]))], (4648 ^ _35406) ^ [] : [-(lv(4634 ^ [_201446, _201448, _201450, _201967]))], (4654 ^ _35406) ^ [] : [4632 ^ [_201446, _201448, _201450, _201967] = 4633 ^ [_201446, _201448, _201450, _201967]], (4650 ^ _35406) ^ [] : [-(iext(_201448, _201967, 4634 ^ [_201446, _201448, _201450, _201967]))]]], (4627 ^ _35406) ^ [] : [-(iodp(_201448))]]], (264 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource))], (4710 ^ _35406) ^ [_205378, _205380, _205382] : [4721 ^ _35406 : [(4722 ^ _35406) ^ [_205690] : [-(icext(_205382, _205690))]], iext(uri_owl_minQualifiedCardinality, _205382, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _205382, _205380), iext(uri_owl_onClass, _205382, _205378)], (342 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class))], (356 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class))], (6575 ^ _35406) ^ [_270970] : [-(icext(uri_owl_InverseFunctionalProperty, _270970)), ip(_270970), 6583 ^ _35406 : [(6588 ^ _35406) ^ [] : [6580 ^ [_270970] = 6581 ^ [_270970]], (6586 ^ _35406) ^ [] : [-(iext(_270970, 6581 ^ [_270970], 6582 ^ [_270970]))], (6584 ^ _35406) ^ [] : [-(iext(_270970, 6580 ^ [_270970], 6582 ^ [_270970]))]]], (2019 ^ _35406) ^ [_100060, _100062, _100064, _100066, _100068] : [iext(uri_rdf_first, _100066, _100064), iext(uri_rdf_rest, _100066, _100062), iext(uri_rdf_first, _100062, _100060), iext(uri_rdf_rest, _100062, uri_rdf_nil), 2034 ^ _35406 : [(2063 ^ _35406) ^ [] : [-(iext(uri_owl_unionOf, _100068, _100066)), ic(_100068), ic(_100064), ic(_100060), 2079 ^ _35406 : [(2084 ^ _35406) ^ [] : [icext(_100060, 2076 ^ [_100060, _100062, _100064, _100066, _100068])], (2082 ^ _35406) ^ [] : [icext(_100064, 2076 ^ [_100060, _100062, _100064, _100066, _100068])], (2080 ^ _35406) ^ [] : [-(icext(_100068, 2076 ^ [_100060, _100062, _100064, _100066, _100068]))]], 2085 ^ _35406 : [(2086 ^ _35406) ^ [] : [-(icext(_100064, 2076 ^ [_100060, _100062, _100064, _100066, _100068])), -(icext(_100060, 2076 ^ [_100060, _100062, _100064, _100066, _100068]))], (2092 ^ _35406) ^ [] : [icext(_100068, 2076 ^ [_100060, _100062, _100064, _100066, _100068])]]], (2035 ^ _35406) ^ [] : [iext(uri_owl_unionOf, _100068, _100066), 2038 ^ _35406 : [(2039 ^ _35406) ^ [] : [-(ic(_100068))], (2043 ^ _35406) ^ [] : [-(ic(_100060))], (2045 ^ _35406) ^ [_100911] : [icext(_100068, _100911), -(icext(_100064, _100911)), -(icext(_100060, _100911))], (2055 ^ _35406) ^ [_101213] : [2056 ^ _35406 : [(2059 ^ _35406) ^ [] : [icext(_100060, _101213)], (2057 ^ _35406) ^ [] : [icext(_100064, _101213)]], -(icext(_100068, _101213))], (2041 ^ _35406) ^ [] : [-(ic(_100064))]]]]], (7785 ^ _35406) ^ [] : [-(iodp(uri_xsd_minExclusive))], (7311 ^ _35406) ^ [_297520] : [icext(uri_rdf_XMLLiteral, _297520), -(lv(_297520))], (198 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (7817 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_ex_p, uri_owl_DatatypeProperty))], (1155 ^ _35406) ^ [_71564, _71566] : [iext(uri_owl_equivalentClass, _71566, _71564), 1158 ^ _35406 : [(1161 ^ _35406) ^ [] : [-(ic(_71564))], (1159 ^ _35406) ^ [] : [-(ic(_71566))]]], (761 ^ _35406) ^ [] : [-(ic(uri_rdfs_Class))], (1968 ^ _35406) ^ [_98422, _98424, _98426] : [iext(uri_rdf_first, _98424, _98422), iext(uri_rdf_rest, _98424, uri_rdf_nil), 1975 ^ _35406 : [(1996 ^ _35406) ^ [] : [-(iext(uri_owl_unionOf, _98426, _98424)), ic(_98426), ic(_98422), 2008 ^ _35406 : [(2011 ^ _35406) ^ [] : [icext(_98422, 2005 ^ [_98422, _98424, _98426])], (2009 ^ _35406) ^ [] : [-(icext(_98426, 2005 ^ [_98422, _98424, _98426]))]], 2012 ^ _35406 : [(2015 ^ _35406) ^ [] : [icext(_98426, 2005 ^ [_98422, _98424, _98426])], (2013 ^ _35406) ^ [] : [-(icext(_98422, 2005 ^ [_98422, _98424, _98426]))]]], (1976 ^ _35406) ^ [] : [iext(uri_owl_unionOf, _98426, _98424), 1979 ^ _35406 : [(1982 ^ _35406) ^ [] : [-(ic(_98422))], (1984 ^ _35406) ^ [_98953] : [icext(_98426, _98953), -(icext(_98422, _98953))], (1990 ^ _35406) ^ [_99133] : [icext(_98422, _99133), -(icext(_98426, _99133))], (1980 ^ _35406) ^ [] : [-(ic(_98426))]]]]], (979 ^ _35406) ^ [_65665] : [ir(_65665), -(icext(uri_owl_Thing, _65665))], (7655 ^ _35406) ^ [_308356] : [icext(uri_xsd_nonNegativeInteger, _308356), -(icext(uri_xsd_integer, _308356))], (1143 ^ _35406) ^ [] : [-(ip(uri_owl_disjointWith))], (7499 ^ _35406) ^ [_303431] : [icext(uri_xsd_double, _303431), icext(uri_xsd_float, _303431)], (5217 ^ _35406) ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623] : [iext(uri_rdf_first, _223621, _223619), iext(uri_rdf_rest, _223621, _223617), iext(uri_rdf_first, _223617, _223615), iext(uri_rdf_rest, _223617, _223613), iext(uri_rdf_first, _223613, _223611), iext(uri_rdf_rest, _223613, uri_rdf_nil), 5240 ^ _35406 : [(5241 ^ _35406) ^ [] : [iext(uri_owl_disjointUnionOf, _223623, _223621), 5244 ^ _35406 : [(5247 ^ _35406) ^ [] : [-(ic(_223619))], (5245 ^ _35406) ^ [] : [-(ic(_223623))], (5253 ^ _35406) ^ [_224864] : [icext(_223623, _224864), 5256 ^ _35406 : [(5267 ^ _35406) ^ [] : [icext(_223619, _224864), icext(_223615, _224864)], (5273 ^ _35406) ^ [] : [icext(_223619, _224864), icext(_223611, _224864)], (5279 ^ _35406) ^ [] : [icext(_223615, _224864), icext(_223611, _224864)], (5257 ^ _35406) ^ [] : [-(icext(_223619, _224864)), -(icext(_223615, _224864)), -(icext(_223611, _224864))]]], (5251 ^ _35406) ^ [] : [-(ic(_223611))], (5285 ^ _35406) ^ [_225905] : [-(icext(_223623, _225905)), 5288 ^ _35406 : [(5293 ^ _35406) ^ [] : [icext(_223611, _225905)], (5291 ^ _35406) ^ [] : [icext(_223615, _225905)], (5289 ^ _35406) ^ [] : [icext(_223619, _225905)]], 5296 ^ _35406 : [(5299 ^ _35406) ^ [] : [-(icext(_223615, _225905))], (5297 ^ _35406) ^ [] : [-(icext(_223619, _225905))]], 5302 ^ _35406 : [(5305 ^ _35406) ^ [] : [-(icext(_223611, _225905))], (5303 ^ _35406) ^ [] : [-(icext(_223619, _225905))]], 5306 ^ _35406 : [(5309 ^ _35406) ^ [] : [-(icext(_223611, _225905))], (5307 ^ _35406) ^ [] : [-(icext(_223615, _225905))]]], (5249 ^ _35406) ^ [] : [-(ic(_223615))]]], (5313 ^ _35406) ^ [] : [-(iext(uri_owl_disjointUnionOf, _223623, _223621)), ic(_223623), ic(_223619), ic(_223615), ic(_223611), 5333 ^ _35406 : [(5336 ^ _35406) ^ [] : [5337 ^ _35406 : [(5342 ^ _35406) ^ [] : [icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5340 ^ _35406) ^ [] : [icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5338 ^ _35406) ^ [] : [icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])]], 5345 ^ _35406 : [(5348 ^ _35406) ^ [] : [-(icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))], (5346 ^ _35406) ^ [] : [-(icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))]], 5351 ^ _35406 : [(5354 ^ _35406) ^ [] : [-(icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))], (5352 ^ _35406) ^ [] : [-(icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))]], 5355 ^ _35406 : [(5358 ^ _35406) ^ [] : [-(icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))], (5356 ^ _35406) ^ [] : [-(icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))]]], (5334 ^ _35406) ^ [] : [-(icext(_223623, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))]], 5359 ^ _35406 : [(5388 ^ _35406) ^ [] : [icext(_223623, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5370 ^ _35406) ^ [] : [icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]), icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5382 ^ _35406) ^ [] : [icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]), icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5376 ^ _35406) ^ [] : [icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]), icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])], (5360 ^ _35406) ^ [] : [-(icext(_223619, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])), -(icext(_223615, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623])), -(icext(_223611, 5330 ^ [_223611, _223613, _223615, _223617, _223619, _223621, _223623]))]]]]], (4221 ^ _35406) ^ [_185641, _185643, _185645] : [iext(uri_owl_maxQualifiedCardinality, _185645, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _185645, _185643), iext(uri_owl_onClass, _185645, _185641), 4232 ^ _35406 : [(4233 ^ _35406) ^ [_186063] : [icext(_185645, _186063), 4236 ^ _35406 : [(4237 ^ _35406) ^ [_186291, _186293, _186295] : [-(_186291 = _186295), -(_186291 = _186293), iext(_185643, _186063, _186295), icext(_185641, _186295), iext(_185643, _186063, _186293), icext(_185641, _186293), iext(_185643, _186063, _186291), icext(_185641, _186291)]]], (4267 ^ _35406) ^ [_187159] : [4271 ^ _35406 : [(4276 ^ _35406) ^ [] : [-(iext(_185643, _187159, 4269 ^ [_185641, _185643, _185645, _187159]))], (4282 ^ _35406) ^ [] : [-(icext(_185641, 4270 ^ [_185641, _185643, _185645, _187159]))], (4272 ^ _35406) ^ [] : [-(iext(_185643, _187159, 4268 ^ [_185641, _185643, _185645, _187159]))], (4284 ^ _35406) ^ [] : [4270 ^ [_185641, _185643, _185645, _187159] = 4268 ^ [_185641, _185643, _185645, _187159]], (4278 ^ _35406) ^ [] : [-(icext(_185641, 4269 ^ [_185641, _185643, _185645, _187159]))], (4280 ^ _35406) ^ [] : [-(iext(_185643, _187159, 4270 ^ [_185641, _185643, _185645, _187159]))], (4286 ^ _35406) ^ [] : [4270 ^ [_185641, _185643, _185645, _187159] = 4269 ^ [_185641, _185643, _185645, _187159]], (4274 ^ _35406) ^ [] : [-(icext(_185641, 4268 ^ [_185641, _185643, _185645, _187159]))]], -(icext(_185645, _187159))]]], (388 ^ _35406) ^ [_47101] : [ic(_47101), -(iext(uri_rdfs_subClassOf, _47101, _47101))], (7157 ^ _35406) ^ [] : [-(idc(uri_xsd_language))], (7777 ^ _35406) ^ [_312330, _312332] : [iext(uri_xsd_minExclusive, _312332, _312330), 7780 ^ _35406 : [(7783 ^ _35406) ^ [] : [-(lv(_312330))], (7781 ^ _35406) ^ [] : [-(ir(_312332))]]], (260 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource))], (865 ^ _35406) ^ [] : [-(ic(uri_owl_NamedIndividual))], (1429 ^ _35406) ^ [_80782, _80784] : [iext(uri_owl_someValuesFrom, _80784, _80782), 1432 ^ _35406 : [(1435 ^ _35406) ^ [] : [-(ic(_80782))], (1433 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _80784))]]], (703 ^ _35406) ^ [] : [-(ic(uri_owl_Annotation))], (258 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource))], (819 ^ _35406) ^ [] : [-(ic(uri_owl_DeprecatedProperty))], (7149 ^ _35406) ^ [] : [-(idc(uri_xsd_integer))], (7253 ^ _35406) ^ [] : [-(idc(uri_owl_real))], (1437 ^ _35406) ^ [] : [-(ip(uri_owl_someValuesFrom))], (2418 ^ _35406) ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] : [iext(uri_rdf_first, _113202, _113200), iext(uri_rdf_rest, _113202, _113198), iext(uri_rdf_first, _113198, _113196), iext(uri_rdf_rest, _113198, _113194), iext(uri_rdf_first, _113194, _113192), iext(uri_rdf_rest, _113194, uri_rdf_nil), 2441 ^ _35406 : [(2442 ^ _35406) ^ [] : [iext(uri_owl_oneOf, _113204, _113202), 2445 ^ _35406 : [(2448 ^ _35406) ^ [_114163] : [icext(_113204, _114163), -(_114163 = _113200), -(_114163 = _113196), -(_114163 = _113192)], (2462 ^ _35406) ^ [_114603] : [2463 ^ _35406 : [(2468 ^ _35406) ^ [] : [_114603 = _113192], (2466 ^ _35406) ^ [] : [_114603 = _113196], (2464 ^ _35406) ^ [] : [_114603 = _113200]], -(icext(_113204, _114603))], (2446 ^ _35406) ^ [] : [-(ic(_113204))]]], (2472 ^ _35406) ^ [] : [-(iext(uri_owl_oneOf, _113204, _113202)), ic(_113204), 2480 ^ _35406 : [(2483 ^ _35406) ^ [] : [2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113200], (2485 ^ _35406) ^ [] : [2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113196], (2487 ^ _35406) ^ [] : [2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113192], (2481 ^ _35406) ^ [] : [-(icext(_113204, 2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204]))]], 2488 ^ _35406 : [(2489 ^ _35406) ^ [] : [-(2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113200), -(2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113196), -(2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204] = _113192)], (2499 ^ _35406) ^ [] : [icext(_113204, 2477 ^ [_113192, _113194, _113196, _113198, _113200, _113202, _113204])]]]]], (6979 ^ _35406) ^ [_287327, _287329, _287331] : [6995 ^ _35406 : [(7000 ^ _35406) ^ [] : [-(iext(uri_owl_targetValue, 6994 ^ [_287327, _287329, _287331], _287327))], (6998 ^ _35406) ^ [] : [-(iext(uri_owl_assertionProperty, 6994 ^ [_287327, _287329, _287331], _287331))], (6996 ^ _35406) ^ [] : [-(iext(uri_owl_sourceIndividual, 6994 ^ [_287327, _287329, _287331], _287329))]], ir(_287329), iodp(_287331), lv(_287327), -(iext(_287331, _287329, _287327))], (7229 ^ _35406) ^ [] : [-(idc(uri_rdf_PlainLiteral))], (238 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource))], (637 ^ _35406) ^ [_55258] : [ix(_55258), -(ir(_55258))], (6204 ^ _35406) ^ [_257206, _257208, _257210, _257212, _257214, _257216, _257218] : [iext(uri_rdf_first, _257216, _257214), iext(uri_rdf_rest, _257216, _257212), iext(uri_rdf_first, _257212, _257210), iext(uri_rdf_rest, _257212, _257208), iext(uri_rdf_first, _257208, _257206), iext(uri_rdf_rest, _257208, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _257218), iext(uri_owl_members, _257218, _257216), 6235 ^ _35406 : [(6248 ^ _35406) ^ [_258753, _258755] : [iext(_257210, _258755, _258753), iext(_257206, _258755, _258753)], (6242 ^ _35406) ^ [_258504, _258506] : [iext(_257214, _258506, _258504), iext(_257206, _258506, _258504)], (6236 ^ _35406) ^ [_258235, _258237] : [iext(_257214, _258237, _258235), iext(_257210, _258237, _258235)]]], (1015 ^ _35406) ^ [_66837, _66839] : [iext(uri_owl_annotatedSource, _66839, _66837), 1018 ^ _35406 : [(1021 ^ _35406) ^ [] : [-(ir(_66837))], (1019 ^ _35406) ^ [] : [-(ir(_66839))]]], (210 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource))], (1061 ^ _35406) ^ [_68367, _68369] : [iext(uri_owl_bottomObjectProperty, _68369, _68367)], (1517 ^ _35406) ^ [] : [-(ip(uri_owl_unionOf))], (7213 ^ _35406) ^ [] : [-(idc(uri_xsd_nonPositiveInteger))], (344 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property))], (610 ^ _35406) ^ [_54444] : [ip(_54444), -(iext(uri_rdf_type, _54444, uri_rdf_Property))], (1756 ^ _35406) ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582] : [iext(uri_rdf_first, _91580, _91578), iext(uri_rdf_rest, _91580, _91576), iext(uri_rdf_first, _91576, _91574), iext(uri_rdf_rest, _91576, _91572), iext(uri_rdf_first, _91572, _91570), iext(uri_rdf_rest, _91572, uri_rdf_nil), 1779 ^ _35406 : [(1816 ^ _35406) ^ [] : [-(iext(uri_owl_intersectionOf, _91582, _91580)), ic(_91582), ic(_91578), ic(_91574), ic(_91570), 1848 ^ _35406 : [(1851 ^ _35406) ^ [] : [-(icext(_91574, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]))], (1853 ^ _35406) ^ [] : [-(icext(_91570, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]))], (1855 ^ _35406) ^ [] : [icext(_91582, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582])], (1849 ^ _35406) ^ [] : [-(icext(_91578, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]))]], 1836 ^ _35406 : [(1839 ^ _35406) ^ [] : [icext(_91578, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]), icext(_91574, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]), icext(_91570, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582])], (1837 ^ _35406) ^ [] : [-(icext(_91582, 1833 ^ [_91570, _91572, _91574, _91576, _91578, _91580, _91582]))]]], (1780 ^ _35406) ^ [] : [iext(uri_owl_intersectionOf, _91582, _91580), 1783 ^ _35406 : [(1786 ^ _35406) ^ [] : [-(ic(_91578))], (1784 ^ _35406) ^ [] : [-(ic(_91582))], (1802 ^ _35406) ^ [_93166] : [-(icext(_91582, _93166)), icext(_91578, _93166), icext(_91574, _93166), icext(_91570, _93166)], (1790 ^ _35406) ^ [] : [-(ic(_91570))], (1792 ^ _35406) ^ [_92781] : [icext(_91582, _92781), 1795 ^ _35406 : [(1800 ^ _35406) ^ [] : [-(icext(_91570, _92781))], (1798 ^ _35406) ^ [] : [-(icext(_91574, _92781))], (1796 ^ _35406) ^ [] : [-(icext(_91578, _92781))]]], (1788 ^ _35406) ^ [] : [-(ic(_91574))]]]]], (10 ^ _35406) ^ [_35632, _35634, _35636] : [-(_35636 = _35632), _35636 = _35634, _35634 = _35632], (6592 ^ _35406) ^ [_271680] : [icext(uri_owl_IrreflexiveReflexiveProperty, _271680), 6595 ^ _35406 : [(6598 ^ _35406) ^ [_271862] : [iext(_271680, _271862, _271862)], (6596 ^ _35406) ^ [] : [-(ip(_271680))]]], (294 ^ _35406) ^ [_44178, _44180, _44182, _44184] : [-(icext(_44182, _44180)), iext(uri_rdfs_domain, _44184, _44182), iext(_44184, _44180, _44178)], (631 ^ _35406) ^ [_55066] : [iext(uri_rdf_type, _55066, uri_rdfs_Resource), -(ir(_55066))], (7367 ^ _35406) ^ [_299273] : [icext(uri_xsd_anyURI, _299273), icext(uri_rdf_XMLLiteral, _299273)], (7079 ^ _35406) ^ [_290531] : [icext(uri_xsd_byte, _290531), -(lv(_290531))], (274 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty))], (5557 ^ _35406) ^ [] : [-(iext(uri_owl_distinctMembers, 5553 ^ [], uri_rdf_nil))], (7685 ^ _35406) ^ [_309306] : [icext(uri_xsd_short, _309306), -(icext(uri_xsd_int, _309306))], (4388 ^ _35406) ^ [_192696, _192698] : [iext(uri_owl_minCardinality, _192698, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _192698, _192696), 4395 ^ _35406 : [(4403 ^ _35406) ^ [_193199] : [4404 ^ _35406 : [(4405 ^ _35406) ^ [_193276] : [iext(_192696, _193199, _193276)]], -(icext(_192698, _193199))], (4396 ^ _35406) ^ [_192961] : [icext(_192698, _192961), -(iext(_192696, _192961, 4399 ^ [_192696, _192698, _192961]))]]], (783 ^ _35406) ^ [_59717] : [idc(_59717), -(icext(uri_rdfs_Datatype, _59717))], (7391 ^ _35406) ^ [_300029] : [icext(uri_xsd_base64Binary, _300029), icext(uri_xsd_float, _300029)], (893 ^ _35406) ^ [_63084] : [icext(uri_owl_Ontology, _63084), -(ix(_63084))], (224 ^ _35406) ^ [_42143, _42145] : [icext(_42143, _42145), -(iext(uri_rdf_type, _42145, _42143))], (7277 ^ _35406) ^ [] : [-(idc(uri_xsd_token))], (1277 ^ _35406) ^ [_75661, _75663] : [iext(uri_owl_maxQualifiedCardinality, _75663, _75661), 1280 ^ _35406 : [(1283 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _75661))], (1281 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _75663))]]], (2289 ^ _35406) ^ [_108871] : [iext(uri_owl_oneOf, _108871, uri_rdf_nil), 2292 ^ _35406 : [(2295 ^ _35406) ^ [_109054] : [icext(_108871, _109054)], (2293 ^ _35406) ^ [] : [-(ic(_108871))]]], (1315 ^ _35406) ^ [] : [-(ip(uri_owl_minQualifiedCardinality))], (2096 ^ _35406) ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647] : [iext(uri_rdf_first, _102645, _102643), iext(uri_rdf_rest, _102645, _102641), iext(uri_rdf_first, _102641, _102639), iext(uri_rdf_rest, _102641, _102637), iext(uri_rdf_first, _102637, _102635), iext(uri_rdf_rest, _102637, uri_rdf_nil), 2119 ^ _35406 : [(2156 ^ _35406) ^ [] : [-(iext(uri_owl_unionOf, _102647, _102645)), ic(_102647), ic(_102643), ic(_102639), ic(_102635), 2176 ^ _35406 : [(2179 ^ _35406) ^ [] : [icext(_102643, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])], (2181 ^ _35406) ^ [] : [icext(_102639, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])], (2183 ^ _35406) ^ [] : [icext(_102635, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])], (2177 ^ _35406) ^ [] : [-(icext(_102647, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647]))]], 2184 ^ _35406 : [(2185 ^ _35406) ^ [] : [-(icext(_102643, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])), -(icext(_102639, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])), -(icext(_102635, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647]))], (2195 ^ _35406) ^ [] : [icext(_102647, 2173 ^ [_102635, _102637, _102639, _102641, _102643, _102645, _102647])]]], (2120 ^ _35406) ^ [] : [iext(uri_owl_unionOf, _102647, _102645), 2123 ^ _35406 : [(2126 ^ _35406) ^ [] : [-(ic(_102643))], (2124 ^ _35406) ^ [] : [-(ic(_102647))], (2132 ^ _35406) ^ [_103846] : [icext(_102647, _103846), -(icext(_102643, _103846)), -(icext(_102639, _103846)), -(icext(_102635, _103846))], (2130 ^ _35406) ^ [] : [-(ic(_102635))], (2146 ^ _35406) ^ [_104286] : [2147 ^ _35406 : [(2152 ^ _35406) ^ [] : [icext(_102635, _104286)], (2150 ^ _35406) ^ [] : [icext(_102639, _104286)], (2148 ^ _35406) ^ [] : [icext(_102643, _104286)]], -(icext(_102647, _104286))], (2128 ^ _35406) ^ [] : [-(ic(_102639))]]]]], (811 ^ _35406) ^ [] : [-(ic(uri_owl_DeprecatedClass))], (20 ^ _35406) ^ [_35945, _35947] : [-(ioap(_35945)), _35947 = _35945, ioap(_35947)], (719 ^ _35406) ^ [_57774] : [icext(uri_owl_AsymmetricProperty, _57774), -(ip(_57774))], (282 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype))], (5040 ^ _35406) ^ [_217754, _217756] : [-(_217756 = _217754), -(iext(uri_owl_differentFrom, _217756, _217754))], (324 ^ _35406) ^ [_45096] : [icext(uri_rdfs_Resource, _45096), -(ir(_45096))], (3937 ^ _35406) ^ [_173965, _173967, _173969] : [iext(uri_owl_maxQualifiedCardinality, _173969, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _173969, _173967), iext(uri_owl_onDataRange, _173969, _173965), 3948 ^ _35406 : [(3951 ^ _35406) ^ [_174474] : [icext(_173969, _174474), 3954 ^ _35406 : [(3955 ^ _35406) ^ [_174717, _174719, _174721] : [-(_174717 = _174721), -(_174717 = _174719), lv(_174721), iext(_173967, _174474, _174721), icext(_173965, _174721), lv(_174719), iext(_173967, _174474, _174719), icext(_173965, _174719), lv(_174717), iext(_173967, _174474, _174717), icext(_173965, _174717)]]], (3997 ^ _35406) ^ [_175906] : [4001 ^ _35406 : [(4012 ^ _35406) ^ [] : [-(icext(_173965, 3999 ^ [_173965, _173967, _173969, _175906]))], (4020 ^ _35406) ^ [] : [4000 ^ [_173965, _173967, _173969, _175906] = 3998 ^ [_173965, _173967, _173969, _175906]], (4010 ^ _35406) ^ [] : [-(iext(_173967, _175906, 3999 ^ [_173965, _173967, _173969, _175906]))], (4014 ^ _35406) ^ [] : [-(lv(4000 ^ [_173965, _173967, _173969, _175906]))], (4002 ^ _35406) ^ [] : [-(lv(3998 ^ [_173965, _173967, _173969, _175906]))], (4004 ^ _35406) ^ [] : [-(iext(_173967, _175906, 3998 ^ [_173965, _173967, _173969, _175906]))], (4006 ^ _35406) ^ [] : [-(icext(_173965, 3998 ^ [_173965, _173967, _173969, _175906]))], (4008 ^ _35406) ^ [] : [-(lv(3999 ^ [_173965, _173967, _173969, _175906]))], (4016 ^ _35406) ^ [] : [-(iext(_173967, _175906, 4000 ^ [_173965, _173967, _173969, _175906]))], (4018 ^ _35406) ^ [] : [-(icext(_173965, 4000 ^ [_173965, _173967, _173969, _175906]))], (4022 ^ _35406) ^ [] : [4000 ^ [_173965, _173967, _173969, _175906] = 3999 ^ [_173965, _173967, _173969, _175906]]], -(icext(_173969, _175906))], (3949 ^ _35406) ^ [] : [-(iodp(_173967))]]], (262 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource))], (6500 ^ _35406) ^ [_268261] : [icext(uri_owl_AsymmetricProperty, _268261), 6503 ^ _35406 : [(6506 ^ _35406) ^ [_268485, _268487] : [iext(_268261, _268487, _268485), iext(_268261, _268485, _268487)], (6504 ^ _35406) ^ [] : [-(ip(_268261))]]], (580 ^ _35406) ^ [_53442] : [ioxp(_53442), -(iext(uri_rdf_type, _53442, uri_owl_OntologyProperty))], (1327 ^ _35406) ^ [_77357, _77359] : [iext(uri_owl_onDataRange, _77359, _77357), 1330 ^ _35406 : [(1333 ^ _35406) ^ [] : [-(idc(_77357))], (1331 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _77359))]]], (5572 ^ _35406) ^ [_235910, _235912, _235914, _235916] : [5592 ^ _35406 : [(5595 ^ _35406) ^ [] : [-(iext(uri_owl_distinctMembers, 5591 ^ [_235910, _235912, _235914, _235916], _235916))], (5593 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5591 ^ [_235910, _235912, _235914, _235916]))]], iext(uri_rdf_first, _235916, _235914), iext(uri_rdf_rest, _235916, _235912), iext(uri_rdf_first, _235912, _235910), iext(uri_rdf_rest, _235912, uri_rdf_nil), -(_235914 = _235910)], (7337 ^ _35406) ^ [_298328] : [icext(uri_xsd_anyURI, _298328), icext(uri_xsd_double, _298328)], (7737 ^ _35406) ^ [_310986, _310988] : [iext(uri_xsd_length, _310988, _310986), 7740 ^ _35406 : [(7743 ^ _35406) ^ [] : [-(lv(_310986))], (7741 ^ _35406) ^ [] : [-(ir(_310988))]]], (907 ^ _35406) ^ [_63510] : [icext(uri_owl_OntologyProperty, _63510), -(ioxp(_63510))], (845 ^ _35406) ^ [_61620] : [icext(uri_rdfs_Literal, _61620), -(lv(_61620))], (1325 ^ _35406) ^ [] : [-(ip(uri_owl_onClass))], (440 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class))], (1417 ^ _35406) ^ [] : [-(ip(uri_owl_sameAs))], (246 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container))], (7301 ^ _35406) ^ [] : [-(idc(uri_xsd_unsignedLong))], (7279 ^ _35406) ^ [_296556] : [icext(uri_xsd_unsignedByte, _296556), -(lv(_296556))], (7175 ^ _35406) ^ [_293423] : [icext(uri_xsd_NCName, _293423), -(lv(_293423))], (1367 ^ _35406) ^ [_78707, _78709] : [iext(uri_owl_priorVersion, _78709, _78707), 1370 ^ _35406 : [(1373 ^ _35406) ^ [] : [-(ix(_78707))], (1371 ^ _35406) ^ [] : [-(ix(_78709))]]], (7355 ^ _35406) ^ [_298895] : [icext(uri_xsd_anyURI, _298895), icext(uri_rdf_PlainLiteral, _298895)], (5875 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5873 ^ []))], (306 ^ _35406) ^ [_44569] : [ic(_44569), -(icext(uri_rdfs_Class, _44569))], (813 ^ _35406) ^ [_60627] : [icext(uri_owl_DeprecatedProperty, _60627), -(ip(_60627))], (7269 ^ _35406) ^ [] : [-(idc(uri_xsd_string))], (6630 ^ _35406) ^ [_272912] : [icext(uri_owl_SymmetricProperty, _272912), 6633 ^ _35406 : [(6636 ^ _35406) ^ [_273134, _273136] : [iext(_272912, _273136, _273134), -(iext(_272912, _273134, _273136))], (6634 ^ _35406) ^ [] : [-(ip(_272912))]]], (520 ^ _35406) ^ [_51438] : [ioap(_51438), -(iext(uri_rdf_type, _51438, uri_owl_AnnotationProperty))], (965 ^ _35406) ^ [_65241] : [icext(uri_owl_SymmetricProperty, _65241), -(ip(_65241))], (717 ^ _35406) ^ [] : [-(ic(uri_owl_AnnotationProperty))], (4443 ^ _35406) ^ [_194796, _194798] : [iext(uri_owl_minCardinality, _194798, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _194798, _194796), 4450 ^ _35406 : [(4470 ^ _35406) ^ [_196127] : [-(icext(_194798, _196127)), 4471 ^ _35406 : [(4472 ^ _35406) ^ [_196296, _196298, _196300] : [iext(_194796, _196127, _196300), iext(_194796, _196127, _196298), iext(_194796, _196127, _196296), -(_196300 = _196298), -(_196300 = _196296), -(_196298 = _196296)]]], (4451 ^ _35406) ^ [_195109] : [icext(_194798, _195109), 4457 ^ _35406 : [(4460 ^ _35406) ^ [] : [-(iext(_194796, _195109, 4455 ^ [_194796, _194798, _195109]))], (4458 ^ _35406) ^ [] : [-(iext(_194796, _195109, 4454 ^ [_194796, _194798, _195109]))], (4468 ^ _35406) ^ [] : [4455 ^ [_194796, _194798, _195109] = 4456 ^ [_194796, _194798, _195109]], (4464 ^ _35406) ^ [] : [4454 ^ [_194796, _194798, _195109] = 4455 ^ [_194796, _194798, _195109]], (4466 ^ _35406) ^ [] : [4454 ^ [_194796, _194798, _195109] = 4456 ^ [_194796, _194798, _195109]], (4462 ^ _35406) ^ [] : [-(iext(_194796, _195109, 4456 ^ [_194796, _194798, _195109]))]]]]], (1419 ^ _35406) ^ [_80446, _80448] : [iext(uri_rdfs_seeAlso, _80448, _80446), 1422 ^ _35406 : [(1425 ^ _35406) ^ [] : [-(ir(_80446))], (1423 ^ _35406) ^ [] : [-(ir(_80448))]]], (7735 ^ _35406) ^ [] : [-(iodp(uri_rdf_langRange))], (7199 ^ _35406) ^ [_294146] : [icext(uri_xsd_nonNegativeInteger, _294146), -(lv(_294146))], (7205 ^ _35406) ^ [] : [-(idc(uri_xsd_nonNegativeInteger))], (1267 ^ _35406) ^ [_75321, _75323] : [iext(uri_owl_maxCardinality, _75323, _75321), 1270 ^ _35406 : [(1273 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _75321))], (1271 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _75323))]]], (4512 ^ _35406) ^ [_197564, _197566, _197568] : [iext(uri_owl_minQualifiedCardinality, _197568, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _197568, _197566), iext(uri_owl_onDataRange, _197568, _197564), 4523 ^ _35406 : [(4537 ^ _35406) ^ [_198455] : [-(icext(_197568, _198455)), 4538 ^ _35406 : [(4539 ^ _35406) ^ [_198563] : [lv(_198563), iext(_197566, _198455, _198563), icext(_197564, _198563)]]], (4526 ^ _35406) ^ [_198015] : [icext(_197568, _198015), 4530 ^ _35406 : [(4535 ^ _35406) ^ [] : [-(icext(_197564, 4529 ^ [_197564, _197566, _197568, _198015]))], (4533 ^ _35406) ^ [] : [-(iext(_197566, _198015, 4529 ^ [_197564, _197566, _197568, _198015]))], (4531 ^ _35406) ^ [] : [-(lv(4529 ^ [_197564, _197566, _197568, _198015]))]]], (4524 ^ _35406) ^ [] : [-(iodp(_197566))]]], (1115 ^ _35406) ^ [_70214, _70216] : [iext(uri_owl_differentFrom, _70216, _70214), 1118 ^ _35406 : [(1121 ^ _35406) ^ [] : [-(ir(_70214))], (1119 ^ _35406) ^ [] : [-(ir(_70216))]]], (741 ^ _35406) ^ [_58439] : [ic(_58439), -(icext(uri_owl_Class, _58439))], (1407 ^ _35406) ^ [] : [-(ip(uri_owl_qualifiedCardinality))], (1105 ^ _35406) ^ [_69878, _69880] : [iext(uri_owl_deprecated, _69880, _69878), 1108 ^ _35406 : [(1111 ^ _35406) ^ [] : [-(ir(_69878))], (1109 ^ _35406) ^ [] : [-(ir(_69880))]]], (711 ^ _35406) ^ [_57531] : [ioap(_57531), -(icext(uri_owl_AnnotationProperty, _57531))], (562 ^ _35406) ^ [_52788] : [ioxp(_52788), 565 ^ _35406 : [(566 ^ _35406) ^ [_52943, _52945] : [iext(_52788, _52945, _52943), 569 ^ _35406 : [(572 ^ _35406) ^ [] : [-(ix(_52943))], (570 ^ _35406) ^ [] : [-(ix(_52945))]]]]], (484 ^ _35406) ^ [_50221] : [idc(_50221), -(ic(_50221))], (256 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource))], (837 ^ _35406) ^ [_61350] : [icext(uri_owl_IrreflexiveProperty, _61350), -(ip(_61350))], (5065 ^ _35406) ^ [_218598, _218600, _218602] : [iext(uri_rdf_first, _218600, _218598), iext(uri_rdf_rest, _218600, uri_rdf_nil), 5072 ^ _35406 : [(5093 ^ _35406) ^ [] : [-(iext(uri_owl_disjointUnionOf, _218602, _218600)), ic(_218602), ic(_218598), 5105 ^ _35406 : [(5108 ^ _35406) ^ [] : [icext(_218598, 5102 ^ [_218598, _218600, _218602])], (5106 ^ _35406) ^ [] : [-(icext(_218602, 5102 ^ [_218598, _218600, _218602]))]], 5109 ^ _35406 : [(5112 ^ _35406) ^ [] : [icext(_218602, 5102 ^ [_218598, _218600, _218602])], (5110 ^ _35406) ^ [] : [-(icext(_218598, 5102 ^ [_218598, _218600, _218602]))]]], (5073 ^ _35406) ^ [] : [iext(uri_owl_disjointUnionOf, _218602, _218600), 5076 ^ _35406 : [(5079 ^ _35406) ^ [] : [-(ic(_218598))], (5081 ^ _35406) ^ [_219129] : [icext(_218602, _219129), -(icext(_218598, _219129))], (5087 ^ _35406) ^ [_219309] : [icext(_218598, _219309), -(icext(_218602, _219309))], (5077 ^ _35406) ^ [] : [-(ic(_218602))]]]]], (885 ^ _35406) ^ [_62812] : [ip(_62812), -(icext(uri_owl_ObjectProperty, _62812))], (7807 ^ _35406) ^ [_313338, _313340] : [iext(uri_xsd_pattern, _313340, _313338), 7810 ^ _35406 : [(7813 ^ _35406) ^ [] : [-(lv(_313338))], (7811 ^ _35406) ^ [] : [-(ir(_313340))]]], (7018 ^ _35406) ^ [_288620, _288622, _288624] : [7034 ^ _35406 : [(7039 ^ _35406) ^ [] : [-(iext(uri_owl_targetIndividual, 7033 ^ [_288620, _288622, _288624], _288620))], (7037 ^ _35406) ^ [] : [-(iext(uri_owl_assertionProperty, 7033 ^ [_288620, _288622, _288624], _288624))], (7035 ^ _35406) ^ [] : [-(iext(uri_owl_sourceIndividual, 7033 ^ [_288620, _288622, _288624], _288622))]], ir(_288622), ip(_288624), ir(_288620), -(iext(_288624, _288622, _288620))], (3323 ^ _35406) ^ [_148865, _148867, _148869] : [iext(uri_owl_qualifiedCardinality, _148869, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _148869, _148867), iext(uri_owl_onClass, _148869, _148865), 3334 ^ _35406 : [(3335 ^ _35406) ^ [_149281] : [icext(_148869, _149281), 3339 ^ _35406 : [(3344 ^ _35406) ^ [_149714, _149716] : [-(_149714 = _149716), iext(_148867, _149281, _149716), icext(_148865, _149716), iext(_148867, _149281, _149714), icext(_148865, _149714)], (3342 ^ _35406) ^ [] : [-(icext(_148865, 3338 ^ [_148865, _148867, _148869, _149281]))], (3340 ^ _35406) ^ [] : [-(iext(_148867, _149281, 3338 ^ [_148865, _148867, _148869, _149281]))]]], (3362 ^ _35406) ^ [_150236] : [-(icext(_148869, _150236)), 3373 ^ _35406 : [(3374 ^ _35406) ^ [] : [-(iext(_148867, _150236, 3371 ^ [_148865, _148867, _148869, _150236]))], (3378 ^ _35406) ^ [] : [-(iext(_148867, _150236, 3372 ^ [_148865, _148867, _148869, _150236]))], (3382 ^ _35406) ^ [] : [3372 ^ [_148865, _148867, _148869, _150236] = 3371 ^ [_148865, _148867, _148869, _150236]], (3380 ^ _35406) ^ [] : [-(icext(_148865, 3372 ^ [_148865, _148867, _148869, _150236]))], (3376 ^ _35406) ^ [] : [-(icext(_148865, 3371 ^ [_148865, _148867, _148869, _150236]))]], 3365 ^ _35406 : [(3366 ^ _35406) ^ [_150419] : [iext(_148867, _150236, _150419), icext(_148865, _150419)]]]]], (5798 ^ _35406) ^ [] : [-(tautology), tautology], (2521 ^ _35406) ^ [_116726, _116728, _116730, _116732, _116734] : [-(idc(_116734)), iext(uri_rdf_first, _116732, _116730), iext(uri_rdf_rest, _116732, _116728), iext(uri_rdf_first, _116728, _116726), iext(uri_rdf_rest, _116728, uri_rdf_nil), lv(_116730), lv(_116726), iext(uri_owl_oneOf, _116734, _116732)], (5524 ^ _35406) ^ [_234235, _234237] : [-(iext(uri_owl_propertyDisjointWith, _234237, _234235)), ip(_234237), ip(_234235), 5535 ^ _35406 : [(5538 ^ _35406) ^ [] : [-(iext(_234235, 5533 ^ [_234235, _234237], 5534 ^ [_234235, _234237]))], (5536 ^ _35406) ^ [] : [-(iext(_234237, 5533 ^ [_234235, _234237], 5534 ^ [_234235, _234237]))]]], (1387 ^ _35406) ^ [] : [-(ip(uri_owl_propertyChainAxiom))], (775 ^ _35406) ^ [] : [-(ic(uri_owl_DataRange))], (7141 ^ _35406) ^ [] : [-(idc(uri_xsd_int))], (1957 ^ _35406) ^ [_98061] : [-(iext(uri_owl_unionOf, _98061, uri_rdf_nil)), ic(_98061), -(icext(_98061, 1962 ^ [_98061]))], (1337 ^ _35406) ^ [_77695, _77697] : [iext(uri_owl_onDatatype, _77697, _77695), 1340 ^ _35406 : [(1343 ^ _35406) ^ [] : [-(idc(_77695))], (1341 ^ _35406) ^ [] : [-(idc(_77697))]]], (797 ^ _35406) ^ [_60143] : [iodp(_60143), -(icext(uri_owl_DatatypeProperty, _60143))], (490 ^ _35406) ^ [_50436] : [idc(_50436), -(iext(uri_rdf_type, _50436, uri_rdfs_Datatype))], (1237 ^ _35406) ^ [_74313, _74315] : [iext(uri_owl_inverseOf, _74315, _74313), 1240 ^ _35406 : [(1243 ^ _35406) ^ [] : [-(ip(_74313))], (1241 ^ _35406) ^ [] : [-(ip(_74315))]]], (30 ^ _35406) ^ [_36240, _36242] : [-(ix(_36240)), _36242 = _36240, ix(_36242)], (4 ^ _35406) ^ [_35456, _35458] : [_35458 = _35456, -(_35456 = _35458)], (2887 ^ _35406) ^ [_130895, _130897, _130899] : [iext(uri_owl_qualifiedCardinality, _130899, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _130899, _130897), iext(uri_owl_onDataRange, _130899, _130895), 2898 ^ _35406 : [(2901 ^ _35406) ^ [_131398] : [icext(_130899, _131398), 2905 ^ _35406 : [(2908 ^ _35406) ^ [] : [-(iext(_130897, _131398, 2904 ^ [_130895, _130897, _130899, _131398]))], (2910 ^ _35406) ^ [] : [-(icext(_130895, 2904 ^ [_130895, _130897, _130899, _131398]))], (2912 ^ _35406) ^ [_131933, _131935] : [-(_131933 = _131935), lv(_131935), iext(_130897, _131398, _131935), icext(_130895, _131935), lv(_131933), iext(_130897, _131398, _131933), icext(_130895, _131933)], (2906 ^ _35406) ^ [] : [-(lv(2904 ^ [_130895, _130897, _130899, _131398]))]]], (2938 ^ _35406) ^ [_132663] : [-(icext(_130899, _132663)), 2953 ^ _35406 : [(2958 ^ _35406) ^ [] : [-(icext(_130895, 2951 ^ [_130895, _130897, _130899, _132663]))], (2964 ^ _35406) ^ [] : [-(icext(_130895, 2952 ^ [_130895, _130897, _130899, _132663]))], (2966 ^ _35406) ^ [] : [2952 ^ [_130895, _130897, _130899, _132663] = 2951 ^ [_130895, _130897, _130899, _132663]], (2960 ^ _35406) ^ [] : [-(lv(2952 ^ [_130895, _130897, _130899, _132663]))], (2954 ^ _35406) ^ [] : [-(lv(2951 ^ [_130895, _130897, _130899, _132663]))], (2956 ^ _35406) ^ [] : [-(iext(_130897, _132663, 2951 ^ [_130895, _130897, _130899, _132663]))], (2962 ^ _35406) ^ [] : [-(iext(_130897, _132663, 2952 ^ [_130895, _130897, _130899, _132663]))]], 2941 ^ _35406 : [(2942 ^ _35406) ^ [_132861] : [lv(_132861), iext(_130897, _132663, _132861), icext(_130895, _132861)]]], (2899 ^ _35406) ^ [] : [-(iodp(_130897))]]], (7421 ^ _35406) ^ [_300974] : [icext(uri_xsd_boolean, _300974), icext(uri_xsd_dateTime, _300974)], (7255 ^ _35406) ^ [_295833] : [icext(uri_xsd_short, _295833), -(lv(_295833))], (104 ^ _35406) ^ [_38454, _38456] : [-(lv(_38454)), _38456 = _38454, lv(_38456)], (4496 ^ _35406) ^ [_197046, _197048, _197050] : [4507 ^ _35406 : [(4510 ^ _35406) ^ [_197430] : [-(icext(_197050, _197430))], (4508 ^ _35406) ^ [] : [-(iodp(_197048))]], iext(uri_owl_minQualifiedCardinality, _197050, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _197050, _197048), iext(uri_owl_onDataRange, _197050, _197046)], (444 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource))], (7745 ^ _35406) ^ [] : [-(iodp(uri_xsd_length))], (1307 ^ _35406) ^ [_76679, _76681] : [iext(uri_owl_minQualifiedCardinality, _76681, _76679), 1310 ^ _35406 : [(1313 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _76679))], (1311 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _76681))]]], (1125 ^ _35406) ^ [_70550, _70552] : [iext(uri_owl_disjointUnionOf, _70552, _70550), 1128 ^ _35406 : [(1131 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _70550))], (1129 ^ _35406) ^ [] : [-(ic(_70552))]]], (1347 ^ _35406) ^ [_78031, _78033] : [iext(uri_owl_oneOf, _78033, _78031), 1350 ^ _35406 : [(1353 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _78031))], (1351 ^ _35406) ^ [] : [-(ic(_78033))]]], (7173 ^ _35406) ^ [] : [-(idc(uri_xsd_Name))], (7703 ^ _35406) ^ [_309876] : [icext(uri_xsd_unsignedByte, _309876), -(icext(uri_xsd_unsignedShort, _309876))], (1519 ^ _35406) ^ [_83704, _83706] : [iext(uri_owl_versionInfo, _83706, _83704), 1522 ^ _35406 : [(1525 ^ _35406) ^ [] : [-(ir(_83704))], (1523 ^ _35406) ^ [] : [-(ir(_83706))]]], (7133 ^ _35406) ^ [] : [-(idc(uri_xsd_hexBinary))], (1377 ^ _35406) ^ [] : [-(ioxp(uri_owl_priorVersion))], (7409 ^ _35406) ^ [_300596] : [icext(uri_xsd_base64Binary, _300596), icext(uri_owl_real, _300596)], (7071 ^ _35406) ^ [_290290] : [icext(uri_xsd_boolean, _290290), -(lv(_290290))], (7757 ^ _35406) ^ [_311658, _311660] : [iext(uri_xsd_maxInclusive, _311660, _311658), 7760 ^ _35406 : [(7763 ^ _35406) ^ [] : [-(lv(_311658))], (7761 ^ _35406) ^ [] : [-(ir(_311660))]]], (1059 ^ _35406) ^ [] : [-(iodp(uri_owl_bottomDataProperty))], (7607 ^ _35406) ^ [_306836] : [icext(uri_xsd_int, _306836), -(icext(uri_xsd_long, _306836))], (7765 ^ _35406) ^ [] : [-(iodp(uri_xsd_maxInclusive))], (4939 ^ _35406) ^ [_214288, _214290] : [iext(uri_rdfs_range, _214290, _214288), 4942 ^ _35406 : [(4947 ^ _35406) ^ [_214587, _214589] : [iext(_214290, _214589, _214587), -(icext(_214288, _214587))], (4945 ^ _35406) ^ [] : [-(ip(_214288))], (4943 ^ _35406) ^ [] : [-(ip(_214290))]]], (5976 ^ _35406) ^ [] : [-(tautology), tautology], (755 ^ _35406) ^ [_58865] : [ic(_58865), -(icext(uri_rdfs_Class, _58865))], (7795 ^ _35406) ^ [] : [-(iodp(uri_xsd_minInclusive))], (7295 ^ _35406) ^ [_297038] : [icext(uri_xsd_unsignedLong, _297038), -(lv(_297038))], (921 ^ _35406) ^ [_63936] : [icext(uri_rdf_Property, _63936), -(ip(_63936))], (462 ^ _35406) ^ [_49542] : [ic(_49542), -(iext(uri_rdf_type, _49542, uri_rdfs_Class))], (1183 ^ _35406) ^ [] : [-(ip(uri_owl_hasKey))], (4724 ^ _35406) ^ [_205822, _205824, _205826] : [iext(uri_owl_minQualifiedCardinality, _205826, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _205826, _205824), iext(uri_owl_onClass, _205826, _205822), 4735 ^ _35406 : [(4745 ^ _35406) ^ [_206544] : [-(icext(_205826, _206544)), 4746 ^ _35406 : [(4747 ^ _35406) ^ [_206647] : [iext(_205824, _206544, _206647), icext(_205822, _206647)]]], (4736 ^ _35406) ^ [_206196] : [icext(_205826, _206196), 4740 ^ _35406 : [(4743 ^ _35406) ^ [] : [-(icext(_205822, 4739 ^ [_205822, _205824, _205826, _206196]))], (4741 ^ _35406) ^ [] : [-(iext(_205824, _206196, 4739 ^ [_205822, _205824, _205826, _206196]))]]]]], (7469 ^ _35406) ^ [_302486] : [icext(uri_xsd_dateTime, _302486), icext(uri_xsd_float, _302486)], (216 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource))], (6065 ^ _35406) ^ [] : [-(iext(uri_owl_members, 6061 ^ [], uri_rdf_nil))], (7445 ^ _35406) ^ [_301730] : [icext(uri_xsd_boolean, _301730), icext(uri_rdf_PlainLiteral, _301730)], (1185 ^ _35406) ^ [_72574, _72576] : [iext(uri_owl_hasSelf, _72576, _72574), 1188 ^ _35406 : [(1191 ^ _35406) ^ [] : [-(ir(_72574))], (1189 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _72576))]]], (364 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (7571 ^ _35406) ^ [_305699] : [icext(uri_rdf_PlainLiteral, _305699), icext(uri_owl_real, _305699)], (318 ^ _35406) ^ [_44942] : [ir(_44942), -(icext(uri_rdfs_Resource, _44942))], (214 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource))], (7643 ^ _35406) ^ [_307976] : [icext(uri_xsd_negativeInteger, _307976), -(icext(uri_xsd_nonPositiveInteger, _307976))], (2551 ^ _35406) ^ [_117634, _117636, _117638, _117640, _117642, _117644, _117646] : [-(idc(_117646)), iext(uri_rdf_first, _117644, _117642), iext(uri_rdf_rest, _117644, _117640), iext(uri_rdf_first, _117640, _117638), iext(uri_rdf_rest, _117640, _117636), iext(uri_rdf_first, _117636, _117634), iext(uri_rdf_rest, _117636, uri_rdf_nil), lv(_117642), lv(_117638), lv(_117634), iext(uri_owl_oneOf, _117646, _117644)], (1045 ^ _35406) ^ [_67847, _67849] : [iext(uri_owl_backwardCompatibleWith, _67849, _67847), 1048 ^ _35406 : [(1051 ^ _35406) ^ [] : [-(ix(_67847))], (1049 ^ _35406) ^ [] : [-(ix(_67849))]]], (6080 ^ _35406) ^ [_252491, _252493, _252495, _252497] : [6104 ^ _35406 : [(6107 ^ _35406) ^ [] : [-(iext(uri_owl_members, 6103 ^ [_252491, _252493, _252495, _252497], _252497))], (6105 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6103 ^ [_252491, _252493, _252495, _252497]))]], iext(uri_rdf_first, _252497, _252495), iext(uri_rdf_rest, _252497, _252493), iext(uri_rdf_first, _252493, _252491), iext(uri_rdf_rest, _252493, uri_rdf_nil), 6099 ^ _35406 : [(6102 ^ _35406) ^ [] : [-(iext(_252491, 6097 ^ [_252491, _252493, _252495, _252497], 6098 ^ [_252491, _252493, _252495, _252497]))], (6100 ^ _35406) ^ [] : [-(iext(_252495, 6097 ^ [_252491, _252493, _252495, _252497], 6098 ^ [_252491, _252493, _252495, _252497]))]]], (7697 ^ _35406) ^ [_309686] : [icext(uri_xsd_token, _309686), -(icext(uri_xsd_normalizedString, _309686))], (803 ^ _35406) ^ [] : [-(ic(uri_owl_DatatypeProperty))], (330 ^ _35406) ^ [_45315] : [lv(_45315), -(icext(uri_rdfs_Literal, _45315))], (1057 ^ _35406) ^ [_68220, _68222] : [iext(uri_owl_bottomDataProperty, _68222, _68220)], (7475 ^ _35406) ^ [_302675] : [icext(uri_xsd_dateTime, _302675), icext(uri_xsd_hexBinary, _302675)], (5757 ^ _35406) ^ [_241797, _241799, _241801, _241803, _241805, _241807] : [5793 ^ _35406 : [(5796 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5792 ^ [_241797, _241799, _241801, _241803, _241805, _241807], _241807))], (5794 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5792 ^ [_241797, _241799, _241801, _241803, _241805, _241807]))]], iext(uri_rdf_first, _241807, _241805), iext(uri_rdf_rest, _241807, _241803), iext(uri_rdf_first, _241803, _241801), iext(uri_rdf_rest, _241803, _241799), iext(uri_rdf_first, _241799, _241797), iext(uri_rdf_rest, _241799, uri_rdf_nil), -(_241805 = _241801), -(_241805 = _241797), -(_241801 = _241797)], (1509 ^ _35406) ^ [_83366, _83368] : [iext(uri_owl_unionOf, _83368, _83366), 1512 ^ _35406 : [(1515 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _83366))], (1513 ^ _35406) ^ [] : [-(ic(_83368))]]], (6526 ^ _35406) ^ [_269198] : [icext(uri_owl_FunctionalProperty, _269198), 6529 ^ _35406 : [(6532 ^ _35406) ^ [_269445, _269447, _269449] : [-(_269447 = _269445), iext(_269198, _269449, _269447), iext(_269198, _269449, _269445)], (6530 ^ _35406) ^ [] : [-(ip(_269198))]]], (7109 ^ _35406) ^ [] : [-(idc(uri_xsd_decimal))], (763 ^ _35406) ^ [_59137] : [icext(uri_owl_DataRange, _59137), -(idc(_59137))], (276 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty))], (1093 ^ _35406) ^ [] : [-(ip(uri_owl_complementOf))], (1193 ^ _35406) ^ [] : [-(ip(uri_owl_hasSelf))], (1113 ^ _35406) ^ [] : [-(ioap(uri_owl_deprecated))], (124 ^ _35406) ^ [_39080, _39082, _39084, _39086, _39088, _39090] : [-(iext(_39088, _39084, _39080)), iext(_39090, _39086, _39082), _39090 = _39088, _39086 = _39084, _39082 = _39080], (230 ^ _35406) ^ [_42343] : [ic(_42343), -(iext(uri_rdfs_subClassOf, _42343, uri_rdfs_Resource))], (7601 ^ _35406) ^ [_306646] : [icext(uri_xsd_decimal, _306646), -(icext(uri_owl_rational, _306646))], (360 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource))], (7349 ^ _35406) ^ [_298706] : [icext(uri_xsd_anyURI, _298706), icext(uri_xsd_hexBinary, _298706)], (7397 ^ _35406) ^ [_300218] : [icext(uri_xsd_base64Binary, _300218), icext(uri_xsd_hexBinary, _300218)], (7577 ^ _35406) ^ [_305888] : [icext(uri_rdf_PlainLiteral, _305888), icext(uri_rdf_XMLLiteral, _305888)], (7237 ^ _35406) ^ [] : [-(idc(uri_xsd_positiveInteger))], (777 ^ _35406) ^ [_59563] : [icext(uri_rdfs_Datatype, _59563), -(idc(_59563))], (6162 ^ _35406) ^ [] : [-(tautology), tautology], (502 ^ _35406) ^ [_50784] : [ioap(_50784), 505 ^ _35406 : [(506 ^ _35406) ^ [_50939, _50941] : [iext(_50784, _50941, _50939), 509 ^ _35406 : [(512 ^ _35406) ^ [] : [-(ir(_50939))], (510 ^ _35406) ^ [] : [-(ir(_50941))]]]]], (1628 ^ _35406) ^ [_87355, _87357, _87359] : [iext(uri_rdf_first, _87357, _87355), iext(uri_rdf_rest, _87357, uri_rdf_nil), 1635 ^ _35406 : [(1656 ^ _35406) ^ [] : [-(iext(uri_owl_intersectionOf, _87359, _87357)), ic(_87359), ic(_87355), 1668 ^ _35406 : [(1671 ^ _35406) ^ [] : [icext(_87355, 1665 ^ [_87355, _87357, _87359])], (1669 ^ _35406) ^ [] : [-(icext(_87359, 1665 ^ [_87355, _87357, _87359]))]], 1672 ^ _35406 : [(1675 ^ _35406) ^ [] : [icext(_87359, 1665 ^ [_87355, _87357, _87359])], (1673 ^ _35406) ^ [] : [-(icext(_87355, 1665 ^ [_87355, _87357, _87359]))]]], (1636 ^ _35406) ^ [] : [iext(uri_owl_intersectionOf, _87359, _87357), 1639 ^ _35406 : [(1642 ^ _35406) ^ [] : [-(ic(_87355))], (1644 ^ _35406) ^ [_87886] : [icext(_87359, _87886), -(icext(_87355, _87886))], (1650 ^ _35406) ^ [_88066] : [icext(_87355, _88066), -(icext(_87359, _88066))], (1640 ^ _35406) ^ [] : [-(ic(_87359))]]]]], (200 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource))], (4140 ^ _35406) ^ [_182539, _182541, _182543] : [iext(uri_owl_maxQualifiedCardinality, _182543, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _182543, _182541), iext(uri_owl_onClass, _182543, _182539), 4151 ^ _35406 : [(4152 ^ _35406) ^ [_182915] : [icext(_182543, _182915), 4155 ^ _35406 : [(4156 ^ _35406) ^ [_183069] : [iext(_182541, _182915, _183069), icext(_182539, _183069)]]], (4162 ^ _35406) ^ [_183263] : [4164 ^ _35406 : [(4167 ^ _35406) ^ [] : [-(icext(_182539, 4163 ^ [_182539, _182541, _182543, _183263]))], (4165 ^ _35406) ^ [] : [-(iext(_182541, _183263, 4163 ^ [_182539, _182541, _182543, _183263]))]], -(icext(_182543, _183263))]]], (7125 ^ _35406) ^ [] : [-(idc(uri_xsd_float))], (1227 ^ _35406) ^ [_73975, _73977] : [iext(uri_owl_intersectionOf, _73977, _73975), 1230 ^ _35406 : [(1233 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _73975))], (1231 ^ _35406) ^ [] : [-(ic(_73977))]]], (1195 ^ _35406) ^ [_72912, _72914] : [iext(uri_owl_hasValue, _72914, _72912), 1198 ^ _35406 : [(1201 ^ _35406) ^ [] : [-(ir(_72912))], (1199 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _72914))]]], (1317 ^ _35406) ^ [_77019, _77021] : [iext(uri_owl_onClass, _77021, _77019), 1320 ^ _35406 : [(1323 ^ _35406) ^ [] : [-(ic(_77019))], (1321 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _77021))]]], (6542 ^ _35406) ^ [_269729] : [-(icext(uri_owl_FunctionalProperty, _269729)), ip(_269729), 6550 ^ _35406 : [(6555 ^ _35406) ^ [] : [6548 ^ [_269729] = 6549 ^ [_269729]], (6553 ^ _35406) ^ [] : [-(iext(_269729, 6547 ^ [_269729], 6549 ^ [_269729]))], (6551 ^ _35406) ^ [] : [-(iext(_269729, 6547 ^ [_269729], 6548 ^ [_269729]))]]], (178 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property))], (859 ^ _35406) ^ [_62017] : [icext(uri_owl_NamedIndividual, _62017), -(ir(_62017))], (689 ^ _35406) ^ [_56866] : [icext(uri_owl_AllDisjointProperties, _56866), -(ir(_56866))], (3292 ^ _35406) ^ [_147717, _147719, _147721] : [iext(uri_owl_qualifiedCardinality, _147721, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _147721, _147719), iext(uri_owl_onClass, _147721, _147717), 3303 ^ _35406 : [(3304 ^ _35406) ^ [_148093] : [icext(_147721, _148093), 3307 ^ _35406 : [(3308 ^ _35406) ^ [_148247] : [iext(_147719, _148093, _148247), icext(_147717, _148247)]]], (3314 ^ _35406) ^ [_148441] : [3316 ^ _35406 : [(3319 ^ _35406) ^ [] : [-(icext(_147717, 3315 ^ [_147717, _147719, _147721, _148441]))], (3317 ^ _35406) ^ [] : [-(iext(_147719, _148441, 3315 ^ [_147717, _147719, _147721, _148441]))]], -(icext(_147721, _148441))]]], (2620 ^ _35406) ^ [_119906, _119908] : [iext(uri_owl_cardinality, _119908, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _119908, _119906), 2627 ^ _35406 : [(2634 ^ _35406) ^ [_120370] : [-(iext(_119906, _120370, 2635 ^ [_119906, _119908, _120370])), -(icext(_119908, _120370))], (2628 ^ _35406) ^ [_120173] : [icext(_119908, _120173), 2631 ^ _35406 : [(2632 ^ _35406) ^ [_120299] : [iext(_119906, _120173, _120299)]]]]], (2308 ^ _35406) ^ [_109483, _109485, _109487] : [iext(uri_rdf_first, _109485, _109483), iext(uri_rdf_rest, _109485, uri_rdf_nil), 2315 ^ _35406 : [(2316 ^ _35406) ^ [] : [iext(uri_owl_oneOf, _109487, _109485), 2319 ^ _35406 : [(2328 ^ _35406) ^ [_110122] : [_110122 = _109483, -(icext(_109487, _110122))], (2322 ^ _35406) ^ [_109942] : [icext(_109487, _109942), -(_109942 = _109483)], (2320 ^ _35406) ^ [] : [-(ic(_109487))]]], (2334 ^ _35406) ^ [] : [-(iext(uri_owl_oneOf, _109487, _109485)), ic(_109487), 2342 ^ _35406 : [(2345 ^ _35406) ^ [] : [2339 ^ [_109483, _109485, _109487] = _109483], (2343 ^ _35406) ^ [] : [-(icext(_109487, 2339 ^ [_109483, _109485, _109487]))]], 2346 ^ _35406 : [(2349 ^ _35406) ^ [] : [icext(_109487, 2339 ^ [_109483, _109485, _109487])], (2347 ^ _35406) ^ [] : [-(2339 ^ [_109483, _109485, _109487] = _109483)]]]]], (695 ^ _35406) ^ [] : [-(ic(uri_owl_AllDisjointProperties))], (7087 ^ _35406) ^ [_290772] : [icext(uri_xsd_dateTime, _290772), -(lv(_290772))], (7715 ^ _35406) ^ [_310256] : [icext(uri_xsd_unsignedLong, _310256), -(icext(uri_xsd_nonNegativeInteger, _310256))], (468 ^ _35406) ^ [_49698] : [iext(uri_rdf_type, _49698, uri_rdfs_Class), -(ic(_49698))], (7061 ^ _35406) ^ [] : [-(idc(uri_xsd_anyURI))], (1449 ^ _35406) ^ [_81458, _81460] : [iext(uri_owl_targetIndividual, _81460, _81458), 1452 ^ _35406 : [(1455 ^ _35406) ^ [] : [-(ir(_81458))], (1453 ^ _35406) ^ [] : [-(icext(uri_owl_NegativePropertyAssertion, _81460))]]], (681 ^ _35406) ^ [_56625] : [icext(uri_owl_AllDisjointClasses, _56625), -(ir(_56625))], (5719 ^ _35406) ^ [_240473, _240475] : [5727 ^ _35406 : [(5730 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5726 ^ [_240473, _240475], _240475))], (5728 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5726 ^ [_240473, _240475]))]], iext(uri_rdf_first, _240475, _240473), iext(uri_rdf_rest, _240475, uri_rdf_nil)], (7287 ^ _35406) ^ [_296797] : [icext(uri_xsd_unsignedInt, _296797), -(lv(_296797))], (7415 ^ _35406) ^ [_300785] : [icext(uri_xsd_base64Binary, _300785), icext(uri_rdf_XMLLiteral, _300785)], (1345 ^ _35406) ^ [] : [-(ip(uri_owl_onDatatype))], (1073 ^ _35406) ^ [] : [-(ip(uri_owl_cardinality))], (7547 ^ _35406) ^ [_304943] : [icext(uri_xsd_float, _304943), icext(uri_rdf_XMLLiteral, _304943)], (206 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource))], (927 ^ _35406) ^ [_64090] : [ip(_64090), -(icext(uri_rdf_Property, _64090))], (556 ^ _35406) ^ [_52596] : [iext(uri_rdf_type, _52596, uri_owl_DatatypeProperty), -(iodp(_52596))], (7223 ^ _35406) ^ [_294869] : [icext(uri_rdf_PlainLiteral, _294869), -(lv(_294869))], (1375 ^ _35406) ^ [] : [-(ioap(uri_owl_priorVersion))], (268 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource))], (7197 ^ _35406) ^ [] : [-(idc(uri_xsd_NMTOKEN))], (266 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource))], (7309 ^ _35406) ^ [] : [-(idc(uri_xsd_unsignedShort))], (7183 ^ _35406) ^ [_293664] : [icext(uri_xsd_negativeInteger, _293664), -(lv(_293664))], (5982 ^ _35406) ^ [_249130, _249132, _249134, _249136, _249138] : [6005 ^ _35406 : [(6006 ^ _35406) ^ [_249796] : [icext(_249134, _249796), icext(_249130, _249796)]], iext(uri_rdf_first, _249136, _249134), iext(uri_rdf_rest, _249136, _249132), iext(uri_rdf_first, _249132, _249130), iext(uri_rdf_rest, _249132, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _249138), iext(uri_owl_members, _249138, _249136)], (7119 ^ _35406) ^ [_291736] : [icext(uri_xsd_float, _291736), -(lv(_291736))], (7589 ^ _35406) ^ [_306266] : [icext(uri_xsd_byte, _306266), -(icext(uri_xsd_short, _306266))], (368 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource))], (526 ^ _35406) ^ [_51594] : [iext(uri_rdf_type, _51594, uri_owl_AnnotationProperty), -(ioap(_51594))], (1427 ^ _35406) ^ [] : [-(ioap(uri_rdfs_seeAlso))], (5406 ^ _35406) ^ [_230222, _230224] : [-(iext(uri_owl_disjointWith, _230224, _230222)), ic(_230224), ic(_230222), 5416 ^ _35406 : [(5419 ^ _35406) ^ [] : [-(icext(_230222, 5415 ^ [_230222, _230224]))], (5417 ^ _35406) ^ [] : [-(icext(_230224, 5415 ^ [_230222, _230224]))]]], (7535 ^ _35406) ^ [_304565] : [icext(uri_xsd_float, _304565), icext(uri_rdf_PlainLiteral, _304565)], (877 ^ _35406) ^ [] : [-(ic(uri_owl_Nothing))], (244 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container))], (604 ^ _35406) ^ [_54229] : [ip(_54229), -(ir(_54229))], (7063 ^ _35406) ^ [_290049] : [icext(uri_xsd_base64Binary, _290049), -(lv(_290049))], (176 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property))], (1529 ^ _35406) ^ [_84040, _84042] : [iext(uri_owl_versionIRI, _84042, _84040), 1532 ^ _35406 : [(1535 ^ _35406) ^ [] : [-(ix(_84040))], (1533 ^ _35406) ^ [] : [-(ix(_84042))]]], (3386 ^ _35406) ^ [_151348, _151350, _151352] : [iext(uri_owl_qualifiedCardinality, _151352, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _151352, _151350), iext(uri_owl_onClass, _151352, _151348), 3397 ^ _35406 : [(3398 ^ _35406) ^ [_151814] : [icext(_151352, _151814), 3403 ^ _35406 : [(3406 ^ _35406) ^ [] : [-(icext(_151348, 3401 ^ [_151348, _151350, _151352, _151814]))], (3404 ^ _35406) ^ [] : [-(iext(_151350, _151814, 3401 ^ [_151348, _151350, _151352, _151814]))], (3414 ^ _35406) ^ [_152711, _152713, _152715] : [-(_152711 = _152715), -(_152711 = _152713), iext(_151350, _151814, _152715), icext(_151348, _152715), iext(_151350, _151814, _152713), icext(_151348, _152713), iext(_151350, _151814, _152711), icext(_151348, _152711)], (3410 ^ _35406) ^ [] : [-(icext(_151348, 3402 ^ [_151348, _151350, _151352, _151814]))], (3412 ^ _35406) ^ [] : [3401 ^ [_151348, _151350, _151352, _151814] = 3402 ^ [_151348, _151350, _151352, _151814]], (3408 ^ _35406) ^ [] : [-(iext(_151350, _151814, 3402 ^ [_151348, _151350, _151352, _151814]))]]], (3444 ^ _35406) ^ [_153589] : [-(icext(_151352, _153589)), 3468 ^ _35406 : [(3473 ^ _35406) ^ [] : [-(iext(_151350, _153589, 3466 ^ [_151348, _151350, _151352, _153589]))], (3479 ^ _35406) ^ [] : [-(icext(_151348, 3467 ^ [_151348, _151350, _151352, _153589]))], (3469 ^ _35406) ^ [] : [-(iext(_151350, _153589, 3465 ^ [_151348, _151350, _151352, _153589]))], (3481 ^ _35406) ^ [] : [3467 ^ [_151348, _151350, _151352, _153589] = 3465 ^ [_151348, _151350, _151352, _153589]], (3475 ^ _35406) ^ [] : [-(icext(_151348, 3466 ^ [_151348, _151350, _151352, _153589]))], (3477 ^ _35406) ^ [] : [-(iext(_151350, _153589, 3467 ^ [_151348, _151350, _151352, _153589]))], (3483 ^ _35406) ^ [] : [3467 ^ [_151348, _151350, _151352, _153589] = 3466 ^ [_151348, _151350, _151352, _153589]], (3471 ^ _35406) ^ [] : [-(icext(_151348, 3465 ^ [_151348, _151350, _151352, _153589]))]], 3447 ^ _35406 : [(3448 ^ _35406) ^ [_153836, _153838] : [iext(_151350, _153589, _153838), icext(_151348, _153838), iext(_151350, _153589, _153836), icext(_151348, _153836), -(_153838 = _153836)]]]]], (987 ^ _35406) ^ [_65908] : [icext(uri_owl_TransitiveProperty, _65908), -(ip(_65908))], (532 ^ _35406) ^ [_51786] : [iodp(_51786), 535 ^ _35406 : [(536 ^ _35406) ^ [_51941, _51943] : [iext(_51786, _51943, _51941), 539 ^ _35406 : [(542 ^ _35406) ^ [] : [-(lv(_51941))], (540 ^ _35406) ^ [] : [-(ir(_51943))]]]]], (5970 ^ _35406) ^ [] : [-(tautology), tautology], (1053 ^ _35406) ^ [] : [-(ioap(uri_owl_backwardCompatibleWith))], (1083 ^ _35406) ^ [] : [-(ioap(uri_rdfs_comment))], (428 ^ _35406) ^ [_48483, _48485, _48487] : [-(iext(uri_rdfs_subPropertyOf, _48487, _48483)), iext(uri_rdfs_subPropertyOf, _48487, _48485), iext(uri_rdfs_subPropertyOf, _48485, _48483)], (1487 ^ _35406) ^ [] : [-(iodp(uri_owl_topDataProperty))], (6456 ^ _35406) ^ [_266721, _266723] : [iext(uri_owl_inverseOf, _266723, _266721), 6459 ^ _35406 : [(6462 ^ _35406) ^ [] : [-(ip(_266721))], (6464 ^ _35406) ^ [_267050, _267052] : [iext(_266723, _267052, _267050), -(iext(_266721, _267050, _267052))], (6470 ^ _35406) ^ [_267232, _267234] : [iext(_266721, _267232, _267234), -(iext(_266723, _267234, _267232))], (6460 ^ _35406) ^ [] : [-(ip(_266723))]]], (4880 ^ _35406) ^ [_212092, _212094, _212096] : [iext(uri_owl_someValuesFrom, _212096, _212092), iext(uri_owl_onProperty, _212096, _212094), 4887 ^ _35406 : [(4897 ^ _35406) ^ [_212719] : [-(icext(_212096, _212719)), 4898 ^ _35406 : [(4899 ^ _35406) ^ [_212822] : [iext(_212094, _212719, _212822), icext(_212092, _212822)]]], (4888 ^ _35406) ^ [_212371] : [icext(_212096, _212371), 4892 ^ _35406 : [(4895 ^ _35406) ^ [] : [-(icext(_212092, 4891 ^ [_212092, _212094, _212096, _212371]))], (4893 ^ _35406) ^ [] : [-(iext(_212094, _212371, 4891 ^ [_212092, _212094, _212096, _212371]))]]]]], (3774 ^ _35406) ^ [_167446, _167448] : [iext(uri_owl_maxCardinality, _167448, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _167448, _167446), 3781 ^ _35406 : [(3782 ^ _35406) ^ [_167765] : [icext(_167448, _167765), 3785 ^ _35406 : [(3786 ^ _35406) ^ [_168001, _168003, _168005, _168007] : [-(_168001 = _168007), -(_168001 = _168005), -(_168001 = _168003), iext(_167446, _167765, _168007), iext(_167446, _167765, _168005), iext(_167446, _167765, _168003), iext(_167446, _167765, _168001)]]], (3812 ^ _35406) ^ [_168763] : [3817 ^ _35406 : [(3822 ^ _35406) ^ [] : [-(iext(_167446, _168763, 3815 ^ [_167446, _167448, _168763]))], (3828 ^ _35406) ^ [] : [3816 ^ [_167446, _167448, _168763] = 3814 ^ [_167446, _167448, _168763]], (3830 ^ _35406) ^ [] : [3816 ^ [_167446, _167448, _168763] = 3815 ^ [_167446, _167448, _168763]], (3824 ^ _35406) ^ [] : [-(iext(_167446, _168763, 3816 ^ [_167446, _167448, _168763]))], (3818 ^ _35406) ^ [] : [-(iext(_167446, _168763, 3813 ^ [_167446, _167448, _168763]))], (3820 ^ _35406) ^ [] : [-(iext(_167446, _168763, 3814 ^ [_167446, _167448, _168763]))], (3826 ^ _35406) ^ [] : [3816 ^ [_167446, _167448, _168763] = 3813 ^ [_167446, _167448, _168763]]], -(icext(_167448, _168763))]]], (1409 ^ _35406) ^ [_80110, _80112] : [iext(uri_owl_sameAs, _80112, _80110), 1412 ^ _35406 : [(1415 ^ _35406) ^ [] : [-(ir(_80110))], (1413 ^ _35406) ^ [] : [-(ir(_80112))]]], (1949 ^ _35406) ^ [_97810] : [iext(uri_owl_unionOf, _97810, uri_rdf_nil), 1952 ^ _35406 : [(1955 ^ _35406) ^ [_97993] : [icext(_97810, _97993)], (1953 ^ _35406) ^ [] : [-(ic(_97810))]]], (1365 ^ _35406) ^ [] : [-(ip(uri_owl_onProperty))], (284 ^ _35406) ^ [_43838] : [icext(uri_rdfs_Datatype, _43838), -(iext(uri_rdfs_subClassOf, _43838, uri_rdfs_Literal))], (7159 ^ _35406) ^ [_292941] : [icext(uri_xsd_long, _292941), -(lv(_292941))], (4026 ^ _35406) ^ [_177601, _177603, _177605] : [iext(uri_owl_maxQualifiedCardinality, _177605, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _177605, _177603), iext(uri_owl_onDataRange, _177605, _177601), 4037 ^ _35406 : [(4040 ^ _35406) ^ [_178139] : [icext(_177605, _178139), 4043 ^ _35406 : [(4044 ^ _35406) ^ [_178425, _178427, _178429, _178431] : [-(_178425 = _178431), -(_178425 = _178429), -(_178425 = _178427), lv(_178431), iext(_177603, _178139, _178431), icext(_177601, _178431), lv(_178429), iext(_177603, _178139, _178429), icext(_177601, _178429), lv(_178427), iext(_177603, _178139, _178427), icext(_177601, _178427), lv(_178425), iext(_177603, _178139, _178425), icext(_177601, _178425)]]], (4102 ^ _35406) ^ [_180111] : [4107 ^ _35406 : [(4112 ^ _35406) ^ [] : [-(icext(_177601, 4103 ^ [_177601, _177603, _177605, _180111]))], (4108 ^ _35406) ^ [] : [-(lv(4103 ^ [_177601, _177603, _177605, _180111]))], (4134 ^ _35406) ^ [] : [4106 ^ [_177601, _177603, _177605, _180111] = 4104 ^ [_177601, _177603, _177605, _180111]], (4122 ^ _35406) ^ [] : [-(iext(_177603, _180111, 4105 ^ [_177601, _177603, _177605, _180111]))], (4116 ^ _35406) ^ [] : [-(iext(_177603, _180111, 4104 ^ [_177601, _177603, _177605, _180111]))], (4136 ^ _35406) ^ [] : [4106 ^ [_177601, _177603, _177605, _180111] = 4105 ^ [_177601, _177603, _177605, _180111]], (4126 ^ _35406) ^ [] : [-(lv(4106 ^ [_177601, _177603, _177605, _180111]))], (4128 ^ _35406) ^ [] : [-(iext(_177603, _180111, 4106 ^ [_177601, _177603, _177605, _180111]))], (4120 ^ _35406) ^ [] : [-(lv(4105 ^ [_177601, _177603, _177605, _180111]))], (4130 ^ _35406) ^ [] : [-(icext(_177601, 4106 ^ [_177601, _177603, _177605, _180111]))], (4110 ^ _35406) ^ [] : [-(iext(_177603, _180111, 4103 ^ [_177601, _177603, _177605, _180111]))], (4118 ^ _35406) ^ [] : [-(icext(_177601, 4104 ^ [_177601, _177603, _177605, _180111]))], (4132 ^ _35406) ^ [] : [4106 ^ [_177601, _177603, _177605, _180111] = 4103 ^ [_177601, _177603, _177605, _180111]], (4124 ^ _35406) ^ [] : [-(icext(_177601, 4105 ^ [_177601, _177603, _177605, _180111]))], (4114 ^ _35406) ^ [] : [-(lv(4104 ^ [_177601, _177603, _177605, _180111]))]], -(icext(_177605, _180111))], (4038 ^ _35406) ^ [] : [-(iodp(_177603))]]], (7481 ^ _35406) ^ [_302864] : [icext(uri_xsd_dateTime, _302864), icext(uri_rdf_PlainLiteral, _302864)], (6559 ^ _35406) ^ [_270439] : [icext(uri_owl_InverseFunctionalProperty, _270439), 6562 ^ _35406 : [(6565 ^ _35406) ^ [_270686, _270688, _270690] : [-(_270690 = _270688), iext(_270439, _270690, _270686), iext(_270439, _270688, _270686)], (6563 ^ _35406) ^ [] : [-(ip(_270439))]]], (1165 ^ _35406) ^ [_71900, _71902] : [iext(uri_owl_equivalentProperty, _71902, _71900), 1168 ^ _35406 : [(1171 ^ _35406) ^ [] : [-(ip(_71900))], (1169 ^ _35406) ^ [] : [-(ip(_71902))]]], (7439 ^ _35406) ^ [_301541] : [icext(uri_xsd_boolean, _301541), icext(uri_xsd_hexBinary, _301541)], (5392 ^ _35406) ^ [_229761, _229763] : [iext(uri_owl_disjointWith, _229763, _229761), 5395 ^ _35406 : [(5400 ^ _35406) ^ [_230042] : [icext(_229763, _230042), icext(_229761, _230042)], (5398 ^ _35406) ^ [] : [-(ic(_229761))], (5396 ^ _35406) ^ [] : [-(ic(_229763))]]], (7317 ^ _35406) ^ [] : [-(idc(uri_rdf_XMLLiteral))], (7319 ^ _35406) ^ [_297761] : [icext(uri_xsd_anyURI, _297761), icext(uri_xsd_base64Binary, _297761)], (1135 ^ _35406) ^ [_70888, _70890] : [iext(uri_owl_disjointWith, _70890, _70888), 1138 ^ _35406 : [(1141 ^ _35406) ^ [] : [-(ic(_70888))], (1139 ^ _35406) ^ [] : [-(ic(_70890))]]], (586 ^ _35406) ^ [_53598] : [iext(uri_rdf_type, _53598, uri_owl_OntologyProperty), -(ioxp(_53598))], (7231 ^ _35406) ^ [_295110] : [icext(uri_xsd_positiveInteger, _295110), -(lv(_295110))], (4755 ^ _35406) ^ [_206964, _206966, _206968] : [iext(uri_owl_minQualifiedCardinality, _206968, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _206968, _206966), iext(uri_owl_onClass, _206968, _206964), 4766 ^ _35406 : [(4783 ^ _35406) ^ [_208138] : [-(icext(_206968, _208138)), 4784 ^ _35406 : [(4785 ^ _35406) ^ [_208281, _208283] : [iext(_206966, _208138, _208283), icext(_206964, _208283), iext(_206966, _208138, _208281), icext(_206964, _208281), -(_208283 = _208281)]]], (4767 ^ _35406) ^ [_207364] : [icext(_206968, _207364), 4772 ^ _35406 : [(4773 ^ _35406) ^ [] : [-(iext(_206966, _207364, 4770 ^ [_206964, _206966, _206968, _207364]))], (4777 ^ _35406) ^ [] : [-(iext(_206966, _207364, 4771 ^ [_206964, _206966, _206968, _207364]))], (4781 ^ _35406) ^ [] : [4770 ^ [_206964, _206966, _206968, _207364] = 4771 ^ [_206964, _206966, _206968, _207364]], (4779 ^ _35406) ^ [] : [-(icext(_206964, 4771 ^ [_206964, _206966, _206968, _207364]))], (4775 ^ _35406) ^ [] : [-(icext(_206964, 4770 ^ [_206964, _206966, _206968, _207364]))]]]]], (2682 ^ _35406) ^ [_122273, _122275] : [iext(uri_owl_cardinality, _122275, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _122275, _122273), 2689 ^ _35406 : [(2690 ^ _35406) ^ [_122606] : [icext(_122275, _122606), 2695 ^ _35406 : [(2698 ^ _35406) ^ [] : [-(iext(_122273, _122606, 2694 ^ [_122273, _122275, _122606]))], (2700 ^ _35406) ^ [] : [2693 ^ [_122273, _122275, _122606] = 2694 ^ [_122273, _122275, _122606]], (2702 ^ _35406) ^ [_123240, _123242, _123244] : [-(_123240 = _123244), -(_123240 = _123242), iext(_122273, _122606, _123244), iext(_122273, _122606, _123242), iext(_122273, _122606, _123240)], (2696 ^ _35406) ^ [] : [-(iext(_122273, _122606, 2693 ^ [_122273, _122275, _122606]))]]], (2720 ^ _35406) ^ [_123767] : [-(icext(_122275, _123767)), 2736 ^ _35406 : [(2737 ^ _35406) ^ [] : [-(iext(_122273, _123767, 2733 ^ [_122273, _122275, _123767]))], (2741 ^ _35406) ^ [] : [-(iext(_122273, _123767, 2735 ^ [_122273, _122275, _123767]))], (2745 ^ _35406) ^ [] : [2735 ^ [_122273, _122275, _123767] = 2734 ^ [_122273, _122275, _123767]], (2743 ^ _35406) ^ [] : [2735 ^ [_122273, _122275, _123767] = 2733 ^ [_122273, _122275, _123767]], (2739 ^ _35406) ^ [] : [-(iext(_122273, _123767, 2734 ^ [_122273, _122275, _123767]))]], 2723 ^ _35406 : [(2724 ^ _35406) ^ [_123978, _123980] : [iext(_122273, _123767, _123980), iext(_122273, _123767, _123978), -(_123980 = _123978)]]]]], (7379 ^ _35406) ^ [_299651] : [icext(uri_xsd_base64Binary, _299651), icext(uri_xsd_dateTime, _299651)], (240 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List))], (7207 ^ _35406) ^ [_294387] : [icext(uri_xsd_nonPositiveInteger, _294387), -(lv(_294387))], (7805 ^ _35406) ^ [] : [-(iodp(uri_xsd_minLength))], (1399 ^ _35406) ^ [_79770, _79772] : [iext(uri_owl_qualifiedCardinality, _79772, _79770), 1402 ^ _35406 : [(1405 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _79770))], (1403 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _79772))]]], (1033 ^ _35406) ^ [] : [-(ip(uri_owl_annotatedTarget))], (6109 ^ _35406) ^ [_253626, _253628, _253630, _253632, _253634, _253636] : [6157 ^ _35406 : [(6160 ^ _35406) ^ [] : [-(iext(uri_owl_members, 6156 ^ [_253626, _253628, _253630, _253632, _253634, _253636], _253636))], (6158 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6156 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))]], iext(uri_rdf_first, _253636, _253634), iext(uri_rdf_rest, _253636, _253632), iext(uri_rdf_first, _253632, _253630), iext(uri_rdf_rest, _253632, _253628), iext(uri_rdf_first, _253628, _253626), iext(uri_rdf_rest, _253628, uri_rdf_nil), 6138 ^ _35406 : [(6141 ^ _35406) ^ [] : [-(iext(_253630, 6136 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6137 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))], (6139 ^ _35406) ^ [] : [-(iext(_253634, 6136 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6137 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))]], 6146 ^ _35406 : [(6149 ^ _35406) ^ [] : [-(iext(_253626, 6144 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6145 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))], (6147 ^ _35406) ^ [] : [-(iext(_253634, 6144 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6145 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))]], 6152 ^ _35406 : [(6155 ^ _35406) ^ [] : [-(iext(_253626, 6150 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6151 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))], (6153 ^ _35406) ^ [] : [-(iext(_253630, 6150 ^ [_253626, _253628, _253630, _253632, _253634, _253636], 6151 ^ [_253626, _253628, _253630, _253632, _253634, _253636]))]]], (1043 ^ _35406) ^ [] : [-(ip(uri_owl_assertionProperty))], (1447 ^ _35406) ^ [] : [-(ip(uri_owl_sourceIndividual))], (574 ^ _35406) ^ [_53227] : [ioxp(_53227), -(ip(_53227))], (7143 ^ _35406) ^ [_292459] : [icext(uri_xsd_integer, _292459), -(lv(_292459))], (7797 ^ _35406) ^ [_313002, _313004] : [iext(uri_xsd_minLength, _313004, _313002), 7800 ^ _35406 : [(7803 ^ _35406) ^ [] : [-(lv(_313002))], (7801 ^ _35406) ^ [] : [-(ir(_313004))]]], (789 ^ _35406) ^ [] : [-(ic(uri_rdfs_Datatype))], (6273 ^ _35406) ^ [_259676, _259678, _259680] : [iext(uri_rdf_first, _259678, _259676), iext(uri_rdf_rest, _259678, uri_rdf_nil), 6280 ^ _35406 : [(6295 ^ _35406) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _259680, _259678)), ip(_259680), ip(_259676), 6306 ^ _35406 : [(6309 ^ _35406) ^ [] : [iext(_259680, 6304 ^ [_259676, _259678, _259680], 6305 ^ [_259676, _259678, _259680])], (6307 ^ _35406) ^ [] : [-(iext(_259676, 6304 ^ [_259676, _259678, _259680], 6305 ^ [_259676, _259678, _259680]))]]], (6281 ^ _35406) ^ [] : [iext(uri_owl_propertyChainAxiom, _259680, _259678), 6284 ^ _35406 : [(6289 ^ _35406) ^ [_260199, _260201] : [iext(_259676, _260201, _260199), -(iext(_259680, _260201, _260199))], (6287 ^ _35406) ^ [] : [-(ip(_259676))], (6285 ^ _35406) ^ [] : [-(ip(_259680))]]]]], (7373 ^ _35406) ^ [_299462] : [icext(uri_xsd_base64Binary, _299462), icext(uri_xsd_boolean, _299462)], (1549 ^ _35406) ^ [_84714, _84716] : [iext(uri_owl_complementOf, _84716, _84714), 1552 ^ _35406 : [(1555 ^ _35406) ^ [] : [-(ic(_84714))], (1557 ^ _35406) ^ [_85024] : [icext(_84716, _85024), icext(_84714, _85024)], (1563 ^ _35406) ^ [_85197] : [-(icext(_84714, _85197)), -(icext(_84716, _85197))], (1553 ^ _35406) ^ [] : [-(ic(_84716))]]], (2199 ^ _35406) ^ [_106182, _106184, _106186] : [-(idc(_106186)), iext(uri_rdf_first, _106184, _106182), iext(uri_rdf_rest, _106184, uri_rdf_nil), idc(_106182), iext(uri_owl_unionOf, _106186, _106184)], (5443 ^ _35406) ^ [_231452, _231454] : [-(iext(uri_owl_equivalentClass, _231454, _231452)), ic(_231454), ic(_231452), 5455 ^ _35406 : [(5458 ^ _35406) ^ [] : [icext(_231452, 5452 ^ [_231452, _231454])], (5456 ^ _35406) ^ [] : [-(icext(_231454, 5452 ^ [_231452, _231454]))]], 5459 ^ _35406 : [(5462 ^ _35406) ^ [] : [icext(_231454, 5452 ^ [_231452, _231454])], (5460 ^ _35406) ^ [] : [-(icext(_231452, 5452 ^ [_231452, _231454]))]]], (5810 ^ _35406) ^ [_243360, _243362, _243364, _243366, _243368] : [_243364 = _243360, iext(uri_rdf_first, _243366, _243364), iext(uri_rdf_rest, _243366, _243362), iext(uri_rdf_first, _243362, _243360), iext(uri_rdf_rest, _243362, uri_rdf_nil), icext(uri_owl_AllDifferent, _243368), iext(uri_owl_members, _243368, _243366)], (7077 ^ _35406) ^ [] : [-(idc(uri_xsd_boolean))], (7541 ^ _35406) ^ [_304754] : [icext(uri_xsd_float, _304754), icext(uri_owl_real, _304754)], (7625 ^ _35406) ^ [_307406] : [icext(uri_xsd_long, _307406), -(icext(uri_xsd_integer, _307406))], (913 ^ _35406) ^ [_63664] : [ioxp(_63664), -(icext(uri_owl_OntologyProperty, _63664))], (438 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource))], (5638 ^ _35406) ^ [] : [-(tautology), tautology], (835 ^ _35406) ^ [] : [-(ic(uri_owl_InverseFunctionalProperty))], (5116 ^ _35406) ^ [_220236, _220238, _220240, _220242, _220244] : [iext(uri_rdf_first, _220242, _220240), iext(uri_rdf_rest, _220242, _220238), iext(uri_rdf_first, _220238, _220236), iext(uri_rdf_rest, _220238, uri_rdf_nil), 5131 ^ _35406 : [(5132 ^ _35406) ^ [] : [iext(uri_owl_disjointUnionOf, _220244, _220242), 5135 ^ _35406 : [(5136 ^ _35406) ^ [] : [-(ic(_220244))], (5140 ^ _35406) ^ [] : [-(ic(_220236))], (5142 ^ _35406) ^ [_221101] : [icext(_220244, _221101), 5145 ^ _35406 : [(5152 ^ _35406) ^ [] : [icext(_220240, _221101), icext(_220236, _221101)], (5146 ^ _35406) ^ [] : [-(icext(_220240, _221101)), -(icext(_220236, _221101))]]], (5158 ^ _35406) ^ [_221592] : [-(icext(_220244, _221592)), 5161 ^ _35406 : [(5164 ^ _35406) ^ [] : [icext(_220236, _221592)], (5162 ^ _35406) ^ [] : [icext(_220240, _221592)]], 5165 ^ _35406 : [(5168 ^ _35406) ^ [] : [-(icext(_220236, _221592))], (5166 ^ _35406) ^ [] : [-(icext(_220240, _221592))]]], (5138 ^ _35406) ^ [] : [-(ic(_220240))]]], (5172 ^ _35406) ^ [] : [-(iext(uri_owl_disjointUnionOf, _220244, _220242)), ic(_220244), ic(_220240), ic(_220236), 5188 ^ _35406 : [(5191 ^ _35406) ^ [] : [5192 ^ _35406 : [(5195 ^ _35406) ^ [] : [icext(_220236, 5185 ^ [_220236, _220238, _220240, _220242, _220244])], (5193 ^ _35406) ^ [] : [icext(_220240, 5185 ^ [_220236, _220238, _220240, _220242, _220244])]], 5196 ^ _35406 : [(5199 ^ _35406) ^ [] : [-(icext(_220236, 5185 ^ [_220236, _220238, _220240, _220242, _220244]))], (5197 ^ _35406) ^ [] : [-(icext(_220240, 5185 ^ [_220236, _220238, _220240, _220242, _220244]))]]], (5189 ^ _35406) ^ [] : [-(icext(_220244, 5185 ^ [_220236, _220238, _220240, _220242, _220244]))]], 5200 ^ _35406 : [(5207 ^ _35406) ^ [] : [icext(_220240, 5185 ^ [_220236, _220238, _220240, _220242, _220244]), icext(_220236, 5185 ^ [_220236, _220238, _220240, _220242, _220244])], (5201 ^ _35406) ^ [] : [-(icext(_220240, 5185 ^ [_220236, _220238, _220240, _220242, _220244])), -(icext(_220236, 5185 ^ [_220236, _220238, _220240, _220242, _220244]))], (5213 ^ _35406) ^ [] : [icext(_220244, 5185 ^ [_220236, _220238, _220240, _220242, _220244])]]]]], (1145 ^ _35406) ^ [_71224, _71226] : [iext(uri_owl_distinctMembers, _71226, _71224), 1148 ^ _35406 : [(1151 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _71224))], (1149 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, _71226))]]], (3873 ^ _35406) ^ [_171502, _171504, _171506] : [iext(uri_owl_maxQualifiedCardinality, _171506, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _171506, _171504), iext(uri_owl_onDataRange, _171506, _171502), 3884 ^ _35406 : [(3887 ^ _35406) ^ [_171982] : [icext(_171506, _171982), 3890 ^ _35406 : [(3891 ^ _35406) ^ [_172182, _172184] : [-(_172182 = _172184), lv(_172184), iext(_171504, _171982, _172184), icext(_171502, _172184), lv(_172182), iext(_171504, _171982, _172182), icext(_171502, _172182)]]], (3917 ^ _35406) ^ [_172906] : [3920 ^ _35406 : [(3925 ^ _35406) ^ [] : [-(icext(_171502, 3918 ^ [_171502, _171504, _171506, _172906]))], (3931 ^ _35406) ^ [] : [-(icext(_171502, 3919 ^ [_171502, _171504, _171506, _172906]))], (3933 ^ _35406) ^ [] : [3919 ^ [_171502, _171504, _171506, _172906] = 3918 ^ [_171502, _171504, _171506, _172906]], (3927 ^ _35406) ^ [] : [-(lv(3919 ^ [_171502, _171504, _171506, _172906]))], (3921 ^ _35406) ^ [] : [-(lv(3918 ^ [_171502, _171504, _171506, _172906]))], (3923 ^ _35406) ^ [] : [-(iext(_171504, _172906, 3918 ^ [_171502, _171504, _171506, _172906]))], (3929 ^ _35406) ^ [] : [-(iext(_171504, _172906, 3919 ^ [_171502, _171504, _171506, _172906]))]], -(icext(_171506, _172906))], (3885 ^ _35406) ^ [] : [-(iodp(_171504))]]], (7457 ^ _35406) ^ [_302108] : [icext(uri_xsd_boolean, _302108), icext(uri_rdf_XMLLiteral, _302108)], (166 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property))], (7673 ^ _35406) ^ [_308926] : [icext(uri_xsd_positiveInteger, _308926), -(icext(uri_xsd_nonNegativeInteger, _308926))], (5423 ^ _35406) ^ [_230789, _230791] : [iext(uri_owl_equivalentClass, _230791, _230789), 5426 ^ _35406 : [(5429 ^ _35406) ^ [] : [-(ic(_230789))], (5431 ^ _35406) ^ [_231097] : [icext(_230791, _231097), -(icext(_230789, _231097))], (5437 ^ _35406) ^ [_231269] : [icext(_230789, _231269), -(icext(_230791, _231269))], (5427 ^ _35406) ^ [] : [-(ic(_230791))]]], (7747 ^ _35406) ^ [_311322, _311324] : [iext(uri_xsd_maxExclusive, _311324, _311322), 7750 ^ _35406 : [(7753 ^ _35406) ^ [] : [-(lv(_311322))], (7751 ^ _35406) ^ [] : [-(ir(_311324))]]], (705 ^ _35406) ^ [_57377] : [icext(uri_owl_AnnotationProperty, _57377), -(ioap(_57377))], (1355 ^ _35406) ^ [] : [-(ip(uri_owl_oneOf))], (1265 ^ _35406) ^ [] : [-(ioap(uri_rdfs_label))], (2593 ^ _35406) ^ [_118875, _118877, _118879] : [iext(uri_owl_allValuesFrom, _118879, _118875), iext(uri_owl_onProperty, _118879, _118877), 2600 ^ _35406 : [(2601 ^ _35406) ^ [_119154] : [icext(_118879, _119154), 2604 ^ _35406 : [(2605 ^ _35406) ^ [_119306] : [iext(_118877, _119154, _119306), -(icext(_118875, _119306))]]], (2611 ^ _35406) ^ [_119501] : [2613 ^ _35406 : [(2616 ^ _35406) ^ [] : [icext(_118875, 2612 ^ [_118875, _118877, _118879, _119501])], (2614 ^ _35406) ^ [] : [-(iext(_118877, _119501, 2612 ^ [_118875, _118877, _118879, _119501]))]], -(icext(_118879, _119501))]]], (202 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal))], (280 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal))], (933 ^ _35406) ^ [] : [-(ic(uri_rdf_Property))], (218 ^ _35406) ^ [_41979, _41981] : [iext(uri_rdf_type, _41981, _41979), -(icext(_41979, _41981))], (6012 ^ _35406) ^ [_250114, _250116, _250118, _250120, _250122, _250124, _250126] : [iext(uri_rdf_first, _250124, _250122), iext(uri_rdf_rest, _250124, _250120), iext(uri_rdf_first, _250120, _250118), iext(uri_rdf_rest, _250120, _250116), iext(uri_rdf_first, _250116, _250114), iext(uri_rdf_rest, _250116, uri_rdf_nil), icext(uri_owl_AllDisjointClasses, _250126), iext(uri_owl_members, _250126, _250124), 6043 ^ _35406 : [(6056 ^ _35406) ^ [_251578] : [icext(_250118, _251578), icext(_250114, _251578)], (6050 ^ _35406) ^ [_251353] : [icext(_250122, _251353), icext(_250114, _251353)], (6044 ^ _35406) ^ [_251108] : [icext(_250122, _251108), icext(_250118, _251108)]]], (70 ^ _35406) ^ [_37420, _37422] : [-(idc(_37420)), _37422 = _37420, idc(_37422)], (1357 ^ _35406) ^ [_78369, _78371] : [iext(uri_owl_onProperty, _78371, _78369), 1360 ^ _35406 : [(1363 ^ _35406) ^ [] : [-(ip(_78369))], (1361 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _78371))]]], (6672 ^ _35406) ^ [_274373] : [-(icext(uri_owl_TransitiveProperty, _274373)), ip(_274373), 6680 ^ _35406 : [(6685 ^ _35406) ^ [] : [iext(_274373, 6677 ^ [_274373], 6679 ^ [_274373])], (6683 ^ _35406) ^ [] : [-(iext(_274373, 6678 ^ [_274373], 6679 ^ [_274373]))], (6681 ^ _35406) ^ [] : [-(iext(_274373, 6677 ^ [_274373], 6678 ^ [_274373]))]]], (1025 ^ _35406) ^ [_67173, _67175] : [iext(uri_owl_annotatedTarget, _67175, _67173), 1028 ^ _35406 : [(1031 ^ _35406) ^ [] : [-(ir(_67173))], (1029 ^ _35406) ^ [] : [-(ir(_67175))]]], (5676 ^ _35406) ^ [_239132, _239134, _239136, _239138, _239140, _239142, _239144] : [5707 ^ _35406 : [(5712 ^ _35406) ^ [] : [_239136 = _239132], (5710 ^ _35406) ^ [] : [_239140 = _239132], (5708 ^ _35406) ^ [] : [_239140 = _239136]], iext(uri_rdf_first, _239142, _239140), iext(uri_rdf_rest, _239142, _239138), iext(uri_rdf_first, _239138, _239136), iext(uri_rdf_rest, _239138, _239134), iext(uri_rdf_first, _239134, _239132), iext(uri_rdf_rest, _239134, uri_rdf_nil), icext(uri_owl_AllDifferent, _239144), iext(uri_owl_distinctMembers, _239144, _239142)], (6780 ^ _35406) ^ [_278358, _278360, _278362, _278364, _278366] : [iext(uri_rdf_first, _278364, _278362), iext(uri_rdf_rest, _278364, _278360), iext(uri_rdf_first, _278360, _278358), iext(uri_rdf_rest, _278360, uri_rdf_nil), 6795 ^ _35406 : [(6796 ^ _35406) ^ [] : [iext(uri_owl_hasKey, _278366, _278364), 6799 ^ _35406 : [(6802 ^ _35406) ^ [] : [-(ip(_278362))], (6804 ^ _35406) ^ [] : [-(ip(_278358))], (6806 ^ _35406) ^ [_279265, _279267, _279269, _279271] : [-(_279271 = _279269), icext(_278366, _279271), icext(_278366, _279269), iext(_278362, _279271, _279267), iext(_278362, _279269, _279267), iext(_278358, _279271, _279265), iext(_278358, _279269, _279265)], (6800 ^ _35406) ^ [] : [-(ic(_278366))]]], (6832 ^ _35406) ^ [] : [-(iext(uri_owl_hasKey, _278366, _278364)), ic(_278366), ip(_278362), ip(_278358), 6849 ^ _35406 : [(6854 ^ _35406) ^ [] : [-(iext(_278362, 6845 ^ [_278358, _278360, _278362, _278364, _278366], 6847 ^ [_278358, _278360, _278362, _278364, _278366]))], (6860 ^ _35406) ^ [] : [-(iext(_278358, 6846 ^ [_278358, _278360, _278362, _278364, _278366], 6848 ^ [_278358, _278360, _278362, _278364, _278366]))], (6862 ^ _35406) ^ [] : [6845 ^ [_278358, _278360, _278362, _278364, _278366] = 6846 ^ [_278358, _278360, _278362, _278364, _278366]], (6856 ^ _35406) ^ [] : [-(iext(_278362, 6846 ^ [_278358, _278360, _278362, _278364, _278366], 6847 ^ [_278358, _278360, _278362, _278364, _278366]))], (6850 ^ _35406) ^ [] : [-(icext(_278366, 6845 ^ [_278358, _278360, _278362, _278364, _278366]))], (6852 ^ _35406) ^ [] : [-(icext(_278366, 6846 ^ [_278358, _278360, _278362, _278364, _278366]))], (6858 ^ _35406) ^ [] : [-(iext(_278358, 6845 ^ [_278358, _278360, _278362, _278364, _278366], 6848 ^ [_278358, _278360, _278362, _278364, _278366]))]]]]], (372 ^ _35406) ^ [_46554, _46556] : [iext(uri_rdfs_subClassOf, _46556, _46554), 375 ^ _35406 : [(380 ^ _35406) ^ [_46833] : [icext(_46556, _46833), -(icext(_46554, _46833))], (378 ^ _35406) ^ [] : [-(ic(_46554))], (376 ^ _35406) ^ [] : [-(ic(_46556))]]], (3652 ^ _35406) ^ [_162717, _162719, _162721] : [iext(uri_owl_hasValue, _162721, _162717), iext(uri_owl_onProperty, _162721, _162719), 3659 ^ _35406 : [(3666 ^ _35406) ^ [_163167] : [iext(_162719, _163167, _162717), -(icext(_162721, _163167))], (3660 ^ _35406) ^ [_162985] : [icext(_162721, _162985), -(iext(_162719, _162985, _162717))]]], (6656 ^ _35406) ^ [_273839] : [icext(uri_owl_TransitiveProperty, _273839), 6659 ^ _35406 : [(6662 ^ _35406) ^ [_274087, _274089, _274091] : [-(iext(_273839, _274091, _274087)), iext(_273839, _274091, _274089), iext(_273839, _274089, _274087)], (6660 ^ _35406) ^ [] : [-(ip(_273839))]]], (7493 ^ _35406) ^ [_303242] : [icext(uri_xsd_dateTime, _303242), icext(uri_rdf_XMLLiteral, _303242)], (673 ^ _35406) ^ [_56384] : [icext(uri_owl_AllDifferent, _56384), -(ir(_56384))], (1379 ^ _35406) ^ [_79096, _79098] : [iext(uri_owl_propertyChainAxiom, _79098, _79096), 1382 ^ _35406 : [(1385 ^ _35406) ^ [] : [-(icext(uri_rdf_List, _79096))], (1383 ^ _35406) ^ [] : [-(ip(_79098))]]], (362 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement))], (160 ^ _35406) ^ [_40313] : [lv(_40313), -(ir(_40313))], (667 ^ _35406) ^ [_56192] : [iext(uri_rdf_type, _56192, uri_rdfs_Literal), -(lv(_56192))], (7511 ^ _35406) ^ [_303809] : [icext(uri_xsd_double, _303809), icext(uri_rdf_PlainLiteral, _303809)], (1569 ^ _35406) ^ [_85431, _85433] : [iext(uri_owl_datatypeComplementOf, _85433, _85431), 1572 ^ _35406 : [(1581 ^ _35406) ^ [_85854] : [-(icext(_85433, _85854)), lv(_85854), -(icext(_85431, _85854))], (1573 ^ _35406) ^ [_85606] : [icext(_85433, _85606), 1576 ^ _35406 : [(1579 ^ _35406) ^ [] : [icext(_85431, _85606)], (1577 ^ _35406) ^ [] : [-(lv(_85606))]]]]], (7069 ^ _35406) ^ [] : [-(idc(uri_xsd_base64Binary))], (312 ^ _35406) ^ [_44723] : [icext(uri_rdfs_Class, _44723), -(ic(_44723))], (7095 ^ _35406) ^ [_291013] : [icext(uri_xsd_dateTimeStamp, _291013), -(lv(_291013))], (1469 ^ _35406) ^ [_82163, _82165] : [iext(uri_owl_topDataProperty, _82165, _82163), 1472 ^ _35406 : [(1475 ^ _35406) ^ [] : [-(lv(_82163))], (1473 ^ _35406) ^ [] : [-(ir(_82165))]]], (5046 ^ _35406) ^ [_217986] : [iext(uri_owl_disjointUnionOf, _217986, uri_rdf_nil), 5049 ^ _35406 : [(5052 ^ _35406) ^ [_218169] : [icext(_217986, _218169)], (5050 ^ _35406) ^ [] : [-(ic(_217986))]]], (1497 ^ _35406) ^ [_83014, _83016] : [-(iext(uri_owl_topObjectProperty, _83016, _83014)), ir(_83016), ir(_83014)], (7002 ^ _35406) ^ [_288104, _288106, _288108, _288110] : [7013 ^ _35406 : [(7016 ^ _35406) ^ [] : [iext(_288108, _288106, _288104)], (7014 ^ _35406) ^ [] : [-(iodp(_288108))]], iext(uri_owl_sourceIndividual, _288110, _288106), iext(uri_owl_assertionProperty, _288110, _288108), iext(uri_owl_targetValue, _288110, _288104)], (5486 ^ _35406) ^ [_232893, _232895] : [-(iext(uri_owl_equivalentProperty, _232895, _232893)), ip(_232895), ip(_232893), 5499 ^ _35406 : [(5502 ^ _35406) ^ [] : [iext(_232893, 5495 ^ [_232893, _232895], 5496 ^ [_232893, _232895])], (5500 ^ _35406) ^ [] : [-(iext(_232895, 5495 ^ [_232893, _232895], 5496 ^ [_232893, _232895]))]], 5503 ^ _35406 : [(5506 ^ _35406) ^ [] : [iext(_232895, 5495 ^ [_232893, _232895], 5496 ^ [_232893, _232895])], (5504 ^ _35406) ^ [] : [-(iext(_232893, 5495 ^ [_232893, _232895], 5496 ^ [_232893, _232895]))]]], (2503 ^ _35406) ^ [_116187, _116189, _116191] : [-(idc(_116191)), iext(uri_rdf_first, _116189, _116187), iext(uri_rdf_rest, _116189, uri_rdf_nil), lv(_116187), iext(uri_owl_oneOf, _116191, _116189)], (899 ^ _35406) ^ [_63238] : [ix(_63238), -(icext(uri_owl_Ontology, _63238))], (5542 ^ _35406) ^ [_234901, _234903] : [iext(uri_owl_sameAs, _234903, _234901), -(_234903 = _234901)], (7679 ^ _35406) ^ [_309116] : [icext(uri_owl_rational, _309116), -(icext(uri_owl_real, _309116))], (5877 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5873 ^ [], uri_rdf_nil))], (7263 ^ _35406) ^ [_296074] : [icext(uri_xsd_string, _296074), -(lv(_296074))], (7165 ^ _35406) ^ [] : [-(idc(uri_xsd_long))], (1103 ^ _35406) ^ [] : [-(ip(uri_owl_datatypeComplementOf))], (6611 ^ _35406) ^ [_272299] : [icext(uri_owl_ReflexiveProperty, _272299), 6614 ^ _35406 : [(6617 ^ _35406) ^ [_272480] : [-(iext(_272299, _272480, _272480))], (6615 ^ _35406) ^ [] : [-(ip(_272299))]]], (7505 ^ _35406) ^ [_303620] : [icext(uri_xsd_double, _303620), icext(uri_xsd_hexBinary, _303620)], (643 ^ _35406) ^ [_55473] : [ix(_55473), -(iext(uri_rdf_type, _55473, uri_owl_Ontology))], (5555 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5553 ^ []))], (7343 ^ _35406) ^ [_298517] : [icext(uri_xsd_anyURI, _298517), icext(uri_xsd_float, _298517)], (446 ^ _35406) ^ [_48996] : [ic(_48996), 449 ^ _35406 : [(450 ^ _35406) ^ [_49126] : [icext(_48996, _49126), -(ir(_49126))]]], (7721 ^ _35406) ^ [_310446] : [icext(uri_xsd_unsignedShort, _310446), -(icext(uri_xsd_unsignedInt, _310446))], (5892 ^ _35406) ^ [_245994, _245996, _245998, _246000] : [5915 ^ _35406 : [(5918 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5914 ^ [_245994, _245996, _245998, _246000], _246000))], (5916 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointClasses, 5914 ^ [_245994, _245996, _245998, _246000]))]], iext(uri_rdf_first, _246000, _245998), iext(uri_rdf_rest, _246000, _245996), iext(uri_rdf_first, _245996, _245994), iext(uri_rdf_rest, _245996, uri_rdf_nil), 5910 ^ _35406 : [(5913 ^ _35406) ^ [] : [-(icext(_245994, 5909 ^ [_245994, _245996, _245998, _246000]))], (5911 ^ _35406) ^ [] : [-(icext(_245998, 5909 ^ [_245994, _245996, _245998, _246000]))]]], (1255 ^ _35406) ^ [] : [-(ioap(uri_rdfs_isDefinedBy))], (6174 ^ _35406) ^ [_256191, _256193, _256195, _256197, _256199] : [6197 ^ _35406 : [(6198 ^ _35406) ^ [_256878, _256880] : [iext(_256195, _256880, _256878), iext(_256191, _256880, _256878)]], iext(uri_rdf_first, _256197, _256195), iext(uri_rdf_rest, _256197, _256193), iext(uri_rdf_first, _256193, _256191), iext(uri_rdf_rest, _256193, uri_rdf_nil), icext(uri_owl_AllDisjointProperties, _256199), iext(uri_owl_members, _256199, _256197)], (985 ^ _35406) ^ [] : [-(ic(uri_owl_Thing))], (336 ^ _35406) ^ [_45469] : [icext(uri_rdfs_Literal, _45469), -(lv(_45469))], (4409 ^ _35406) ^ [_193452, _193454] : [iext(uri_owl_minCardinality, _193454, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _193454, _193452), 4416 ^ _35406 : [(4429 ^ _35406) ^ [_194266] : [-(icext(_193454, _194266)), 4430 ^ _35406 : [(4431 ^ _35406) ^ [_194393, _194395] : [iext(_193452, _194266, _194395), iext(_193452, _194266, _194393), -(_194395 = _194393)]]], (4417 ^ _35406) ^ [_193737] : [icext(_193454, _193737), 4422 ^ _35406 : [(4427 ^ _35406) ^ [] : [4420 ^ [_193452, _193454, _193737] = 4421 ^ [_193452, _193454, _193737]], (4425 ^ _35406) ^ [] : [-(iext(_193452, _193737, 4421 ^ [_193452, _193454, _193737]))], (4423 ^ _35406) ^ [] : [-(iext(_193452, _193737, 4420 ^ [_193452, _193454, _193737]))]]]]], (4985 ^ _35406) ^ [_215877, _215879] : [-(iext(uri_rdfs_subClassOf, _215879, _215877)), ic(_215879), ic(_215877), 4995 ^ _35406 : [(4998 ^ _35406) ^ [] : [icext(_215877, 4994 ^ [_215877, _215879])], (4996 ^ _35406) ^ [] : [-(icext(_215879, 4994 ^ [_215877, _215879]))]]], (6600 ^ _35406) ^ [_271931] : [-(icext(uri_owl_IrreflexiveReflexiveProperty, _271931)), ip(_271931), -(iext(_271931, 6605 ^ [_271931], 6605 ^ [_271931]))], (182 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property))], (5715 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5713 ^ []))], (7755 ^ _35406) ^ [] : [-(iodp(uri_xsd_maxExclusive))], (4907 ^ _35406) ^ [_213152, _213154] : [iext(uri_rdfs_domain, _213154, _213152), 4910 ^ _35406 : [(4915 ^ _35406) ^ [_213451, _213453] : [iext(_213154, _213453, _213451), -(icext(_213152, _213453))], (4913 ^ _35406) ^ [] : [-(ic(_213152))], (4911 ^ _35406) ^ [] : [-(ip(_213154))]]], (272 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty))], (941 ^ _35406) ^ [] : [-(ic(uri_owl_ReflexiveProperty))], (4378 ^ _35406) ^ [_192371, _192373] : [4385 ^ _35406 : [(4386 ^ _35406) ^ [_192580] : [-(icext(_192373, _192580))]], iext(uri_owl_minCardinality, _192373, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _192373, _192371)], (1213 ^ _35406) ^ [] : [-(ioxp(uri_owl_imports))], (7559 ^ _35406) ^ [_305321] : [icext(uri_xsd_hexBinary, _305321), icext(uri_owl_real, _305321)], (769 ^ _35406) ^ [_59291] : [idc(_59291), -(icext(uri_owl_DataRange, _59291))], (857 ^ _35406) ^ [] : [-(idc(uri_rdfs_Literal))], (6374 ^ _35406) ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366] : [iext(uri_rdf_first, _263364, _263362), iext(uri_rdf_rest, _263364, _263360), iext(uri_rdf_first, _263360, _263358), iext(uri_rdf_rest, _263360, _263356), iext(uri_rdf_first, _263356, _263354), iext(uri_rdf_rest, _263356, uri_rdf_nil), 6397 ^ _35406 : [(6424 ^ _35406) ^ [] : [-(iext(uri_owl_propertyChainAxiom, _263366, _263364)), ip(_263366), ip(_263362), ip(_263358), ip(_263354), 6445 ^ _35406 : [(6448 ^ _35406) ^ [] : [-(iext(_263358, 6442 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366], 6443 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366]))], (6450 ^ _35406) ^ [] : [-(iext(_263354, 6443 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366], 6444 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366]))], (6452 ^ _35406) ^ [] : [iext(_263366, 6441 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366], 6444 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366])], (6446 ^ _35406) ^ [] : [-(iext(_263362, 6441 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366], 6442 ^ [_263354, _263356, _263358, _263360, _263362, _263364, _263366]))]]], (6398 ^ _35406) ^ [] : [iext(uri_owl_propertyChainAxiom, _263366, _263364), 6401 ^ _35406 : [(6402 ^ _35406) ^ [] : [-(ip(_263366))], (6406 ^ _35406) ^ [] : [-(ip(_263358))], (6410 ^ _35406) ^ [_264597, _264599, _264601, _264603] : [-(iext(_263366, _264603, _264597)), iext(_263362, _264603, _264601), iext(_263358, _264601, _264599), iext(_263354, _264599, _264597)], (6408 ^ _35406) ^ [] : [-(ip(_263354))], (6404 ^ _35406) ^ [] : [-(ip(_263362))]]]]], (292 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property))], (727 ^ _35406) ^ [_58015] : [icext(uri_owl_Axiom, _58015), -(ir(_58015))], (1389 ^ _35406) ^ [_79434, _79436] : [iext(uri_owl_propertyDisjointWith, _79436, _79434), 1392 ^ _35406 : [(1395 ^ _35406) ^ [] : [-(ip(_79434))], (1393 ^ _35406) ^ [] : [-(ip(_79436))]]], (5597 ^ _35406) ^ [_236755, _236757, _236759, _236761, _236763, _236765] : [5633 ^ _35406 : [(5636 ^ _35406) ^ [] : [-(iext(uri_owl_distinctMembers, 5632 ^ [_236755, _236757, _236759, _236761, _236763, _236765], _236765))], (5634 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5632 ^ [_236755, _236757, _236759, _236761, _236763, _236765]))]], iext(uri_rdf_first, _236765, _236763), iext(uri_rdf_rest, _236765, _236761), iext(uri_rdf_first, _236761, _236759), iext(uri_rdf_rest, _236761, _236757), iext(uri_rdf_first, _236757, _236755), iext(uri_rdf_rest, _236757, uri_rdf_nil), -(_236763 = _236759), -(_236763 = _236755), -(_236759 = _236755)], (1225 ^ _35406) ^ [] : [-(ioxp(uri_owl_incompatibleWith))], (7815 ^ _35406) ^ [] : [-(iodp(uri_xsd_pattern))], (725 ^ _35406) ^ [] : [-(ic(uri_owl_AsymmetricProperty))], (386 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class))], (60 ^ _35406) ^ [_37125, _37127] : [-(ip(_37125)), _37127 = _37125, ip(_37127)], (905 ^ _35406) ^ [] : [-(ic(uri_owl_Ontology))], (1591 ^ _35406) ^ [_86190] : [iext(uri_owl_intersectionOf, _86190, uri_rdf_nil), 1594 ^ _35406 : [(1603 ^ _35406) ^ [_86583] : [ir(_86583), -(icext(_86190, _86583))], (1597 ^ _35406) ^ [_86421] : [icext(_86190, _86421), -(ir(_86421))], (1595 ^ _35406) ^ [] : [-(ic(_86190))]]], (1205 ^ _35406) ^ [_73250, _73252] : [iext(uri_owl_imports, _73252, _73250), 1208 ^ _35406 : [(1211 ^ _35406) ^ [] : [-(ix(_73250))], (1209 ^ _35406) ^ [] : [-(ix(_73252))]]], (1877 ^ _35406) ^ [_95660, _95662, _95664, _95666, _95668] : [-(idc(_95668)), iext(uri_rdf_first, _95666, _95664), iext(uri_rdf_rest, _95666, _95662), iext(uri_rdf_first, _95662, _95660), iext(uri_rdf_rest, _95662, uri_rdf_nil), idc(_95664), idc(_95660), iext(uri_owl_intersectionOf, _95668, _95666)], (1679 ^ _35406) ^ [_88993, _88995, _88997, _88999, _89001] : [iext(uri_rdf_first, _88999, _88997), iext(uri_rdf_rest, _88999, _88995), iext(uri_rdf_first, _88995, _88993), iext(uri_rdf_rest, _88995, uri_rdf_nil), 1694 ^ _35406 : [(1723 ^ _35406) ^ [] : [-(iext(uri_owl_intersectionOf, _89001, _88999)), ic(_89001), ic(_88997), ic(_88993), 1747 ^ _35406 : [(1752 ^ _35406) ^ [] : [icext(_89001, 1736 ^ [_88993, _88995, _88997, _88999, _89001])], (1750 ^ _35406) ^ [] : [-(icext(_88993, 1736 ^ [_88993, _88995, _88997, _88999, _89001]))], (1748 ^ _35406) ^ [] : [-(icext(_88997, 1736 ^ [_88993, _88995, _88997, _88999, _89001]))]], 1739 ^ _35406 : [(1742 ^ _35406) ^ [] : [icext(_88997, 1736 ^ [_88993, _88995, _88997, _88999, _89001]), icext(_88993, 1736 ^ [_88993, _88995, _88997, _88999, _89001])], (1740 ^ _35406) ^ [] : [-(icext(_89001, 1736 ^ [_88993, _88995, _88997, _88999, _89001]))]]], (1695 ^ _35406) ^ [] : [iext(uri_owl_intersectionOf, _89001, _88999), 1698 ^ _35406 : [(1699 ^ _35406) ^ [] : [-(ic(_89001))], (1703 ^ _35406) ^ [] : [-(ic(_88993))], (1713 ^ _35406) ^ [_90123] : [-(icext(_89001, _90123)), icext(_88997, _90123), icext(_88993, _90123)], (1705 ^ _35406) ^ [_89844] : [icext(_89001, _89844), 1708 ^ _35406 : [(1711 ^ _35406) ^ [] : [-(icext(_88993, _89844))], (1709 ^ _35406) ^ [] : [-(icext(_88997, _89844))]]], (1701 ^ _35406) ^ [] : [-(ic(_88997))]]]]], (544 ^ _35406) ^ [_52225] : [iodp(_52225), -(ip(_52225))], (5836 ^ _35406) ^ [_244174, _244176, _244178, _244180, _244182, _244184, _244186] : [5867 ^ _35406 : [(5872 ^ _35406) ^ [] : [_244178 = _244174], (5870 ^ _35406) ^ [] : [_244182 = _244174], (5868 ^ _35406) ^ [] : [_244182 = _244178]], iext(uri_rdf_first, _244184, _244182), iext(uri_rdf_rest, _244184, _244180), iext(uri_rdf_first, _244180, _244178), iext(uri_rdf_rest, _244180, _244176), iext(uri_rdf_first, _244176, _244174), iext(uri_rdf_rest, _244176, uri_rdf_nil), icext(uri_owl_AllDifferent, _244186), iext(uri_owl_members, _244186, _244184)], (747 ^ _35406) ^ [] : [-(ic(uri_owl_Class))], (957 ^ _35406) ^ [_65000] : [icext(uri_owl_Restriction, _65000), -(ic(_65000))], (1005 ^ _35406) ^ [_66501, _66503] : [iext(uri_owl_annotatedProperty, _66503, _66501), 1008 ^ _35406 : [(1011 ^ _35406) ^ [] : [-(ir(_66501))], (1009 ^ _35406) ^ [] : [-(ir(_66503))]]], (5732 ^ _35406) ^ [_240952, _240954, _240956, _240958] : [5752 ^ _35406 : [(5755 ^ _35406) ^ [] : [-(iext(uri_owl_members, 5751 ^ [_240952, _240954, _240956, _240958], _240958))], (5753 ^ _35406) ^ [] : [-(icext(uri_owl_AllDifferent, 5751 ^ [_240952, _240954, _240956, _240958]))]], iext(uri_rdf_first, _240958, _240956), iext(uri_rdf_rest, _240958, _240954), iext(uri_rdf_first, _240954, _240952), iext(uri_rdf_rest, _240954, uri_rdf_nil), -(_240956 = _240952)], (304 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class))], (879 ^ _35406) ^ [_62658] : [icext(uri_owl_ObjectProperty, _62658), -(ip(_62658))], (6476 ^ _35406) ^ [_267425, _267427] : [-(iext(uri_owl_inverseOf, _267427, _267425)), ip(_267427), ip(_267425), 6489 ^ _35406 : [(6492 ^ _35406) ^ [] : [iext(_267425, 6486 ^ [_267425, _267427], 6485 ^ [_267425, _267427])], (6490 ^ _35406) ^ [] : [-(iext(_267427, 6485 ^ [_267425, _267427], 6486 ^ [_267425, _267427]))]], 6493 ^ _35406 : [(6496 ^ _35406) ^ [] : [iext(_267427, 6485 ^ [_267425, _267427], 6486 ^ [_267425, _267427])], (6494 ^ _35406) ^ [] : [-(iext(_267425, 6486 ^ [_267425, _267427], 6485 ^ [_267425, _267427]))]]], (1457 ^ _35406) ^ [] : [-(ip(uri_owl_targetIndividual))], (1023 ^ _35406) ^ [] : [-(ip(uri_owl_annotatedSource))], (1075 ^ _35406) ^ [_68870, _68872] : [iext(uri_rdfs_comment, _68872, _68870), 1078 ^ _35406 : [(1081 ^ _35406) ^ [] : [-(lv(_68870))], (1079 ^ _35406) ^ [] : [-(ir(_68872))]]], (550 ^ _35406) ^ [_52440] : [iodp(_52440), -(iext(uri_rdf_type, _52440, uri_owl_DatatypeProperty))], (1153 ^ _35406) ^ [] : [-(ip(uri_owl_distinctMembers))], (919 ^ _35406) ^ [] : [-(ic(uri_owl_OntologyProperty))], (2641 ^ _35406) ^ [_120668, _120670] : [iext(uri_owl_cardinality, _120670, literal_typed(dat_str_1, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _120670, _120668), 2648 ^ _35406 : [(2649 ^ _35406) ^ [_120963] : [icext(_120670, _120963), 2653 ^ _35406 : [(2656 ^ _35406) ^ [_121275, _121277] : [-(_121275 = _121277), iext(_120668, _120963, _121277), iext(_120668, _120963, _121275)], (2654 ^ _35406) ^ [] : [-(iext(_120668, _120963, 2652 ^ [_120668, _120670, _120963]))]]], (2666 ^ _35406) ^ [_121573] : [-(icext(_120670, _121573)), 2669 ^ _35406 : [(2670 ^ _35406) ^ [_121716] : [iext(_120668, _121573, _121716)]], 2673 ^ _35406 : [(2678 ^ _35406) ^ [] : [2672 ^ [_120668, _120670, _121573] = 2671 ^ [_120668, _120670, _121573]], (2676 ^ _35406) ^ [] : [-(iext(_120668, _121573, 2672 ^ [_120668, _120670, _121573]))], (2674 ^ _35406) ^ [] : [-(iext(_120668, _121573, 2671 ^ [_120668, _120670, _121573]))]]]]], (3727 ^ _35406) ^ [_165502, _165504] : [iext(uri_owl_maxCardinality, _165504, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _165504, _165502), 3734 ^ _35406 : [(3735 ^ _35406) ^ [_165803] : [icext(_165504, _165803), 3738 ^ _35406 : [(3739 ^ _35406) ^ [_166007, _166009, _166011] : [-(_166007 = _166011), -(_166007 = _166009), iext(_165502, _165803, _166011), iext(_165502, _165803, _166009), iext(_165502, _165803, _166007)]]], (3757 ^ _35406) ^ [_166528] : [3761 ^ _35406 : [(3762 ^ _35406) ^ [] : [-(iext(_165502, _166528, 3758 ^ [_165502, _165504, _166528]))], (3766 ^ _35406) ^ [] : [-(iext(_165502, _166528, 3760 ^ [_165502, _165504, _166528]))], (3770 ^ _35406) ^ [] : [3760 ^ [_165502, _165504, _166528] = 3759 ^ [_165502, _165504, _166528]], (3768 ^ _35406) ^ [] : [3760 ^ [_165502, _165504, _166528] = 3758 ^ [_165502, _165504, _166528]], (3764 ^ _35406) ^ [] : [-(iext(_165502, _166528, 3759 ^ [_165502, _165504, _166528]))]], -(icext(_165504, _166528))]]], (2247 ^ _35406) ^ [_107629, _107631, _107633, _107635, _107637, _107639, _107641] : [-(idc(_107641)), iext(uri_rdf_first, _107639, _107637), iext(uri_rdf_rest, _107639, _107635), iext(uri_rdf_first, _107635, _107633), iext(uri_rdf_rest, _107635, _107631), iext(uri_rdf_first, _107631, _107629), iext(uri_rdf_rest, _107631, uri_rdf_nil), idc(_107637), idc(_107633), idc(_107629), iext(uri_owl_unionOf, _107641, _107639)], (4805 ^ _35406) ^ [_208924, _208926, _208928] : [iext(uri_owl_minQualifiedCardinality, _208928, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _208928, _208926), iext(uri_owl_onClass, _208928, _208924), 4816 ^ _35406 : [(4842 ^ _35406) ^ [_210796] : [-(icext(_208928, _210796)), 4843 ^ _35406 : [(4844 ^ _35406) ^ [_210987, _210989, _210991] : [iext(_208926, _210796, _210991), icext(_208924, _210991), iext(_208926, _210796, _210989), icext(_208924, _210989), iext(_208926, _210796, _210987), icext(_208924, _210987), -(_210991 = _210989), -(_210991 = _210987), -(_210989 = _210987)]]], (4817 ^ _35406) ^ [_209358] : [icext(_208928, _209358), 4823 ^ _35406 : [(4832 ^ _35406) ^ [] : [-(iext(_208926, _209358, 4822 ^ [_208924, _208926, _208928, _209358]))], (4824 ^ _35406) ^ [] : [-(iext(_208926, _209358, 4820 ^ [_208924, _208926, _208928, _209358]))], (4826 ^ _35406) ^ [] : [-(icext(_208924, 4820 ^ [_208924, _208926, _208928, _209358]))], (4836 ^ _35406) ^ [] : [4820 ^ [_208924, _208926, _208928, _209358] = 4821 ^ [_208924, _208926, _208928, _209358]], (4834 ^ _35406) ^ [] : [-(icext(_208924, 4822 ^ [_208924, _208926, _208928, _209358]))], (4840 ^ _35406) ^ [] : [4821 ^ [_208924, _208926, _208928, _209358] = 4822 ^ [_208924, _208926, _208928, _209358]], (4830 ^ _35406) ^ [] : [-(icext(_208924, 4821 ^ [_208924, _208926, _208928, _209358]))], (4838 ^ _35406) ^ [] : [4820 ^ [_208924, _208926, _208928, _209358] = 4822 ^ [_208924, _208926, _208928, _209358]], (4828 ^ _35406) ^ [] : [-(iext(_208926, _209358, 4821 ^ [_208924, _208926, _208928, _209358]))]]]]], (496 ^ _35406) ^ [_50592] : [iext(uri_rdf_type, _50592, uri_rdfs_Datatype), -(idc(_50592))], (1003 ^ _35406) ^ [] : [-(ip(uri_owl_allValuesFrom))], (3103 ^ _35406) ^ [_139514, _139516, _139518] : [iext(uri_owl_qualifiedCardinality, _139518, literal_typed(dat_str_3, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _139518, _139516), iext(uri_owl_onDataRange, _139518, _139514), 3114 ^ _35406 : [(3117 ^ _35406) ^ [_140145] : [icext(_139518, _140145), 3123 ^ _35406 : [(3134 ^ _35406) ^ [] : [-(icext(_139514, 3121 ^ [_139514, _139516, _139518, _140145]))], (3126 ^ _35406) ^ [] : [-(iext(_139516, _140145, 3120 ^ [_139514, _139516, _139518, _140145]))], (3148 ^ _35406) ^ [_142103, _142105, _142107, _142109] : [-(_142103 = _142109), -(_142103 = _142107), -(_142103 = _142105), lv(_142109), iext(_139516, _140145, _142109), icext(_139514, _142109), lv(_142107), iext(_139516, _140145, _142107), icext(_139514, _142107), lv(_142105), iext(_139516, _140145, _142105), icext(_139514, _142105), lv(_142103), iext(_139516, _140145, _142103), icext(_139514, _142103)], (3142 ^ _35406) ^ [] : [3120 ^ [_139514, _139516, _139518, _140145] = 3121 ^ [_139514, _139516, _139518, _140145]], (3132 ^ _35406) ^ [] : [-(iext(_139516, _140145, 3121 ^ [_139514, _139516, _139518, _140145]))], (3128 ^ _35406) ^ [] : [-(icext(_139514, 3120 ^ [_139514, _139516, _139518, _140145]))], (3138 ^ _35406) ^ [] : [-(iext(_139516, _140145, 3122 ^ [_139514, _139516, _139518, _140145]))], (3146 ^ _35406) ^ [] : [3121 ^ [_139514, _139516, _139518, _140145] = 3122 ^ [_139514, _139516, _139518, _140145]], (3136 ^ _35406) ^ [] : [-(lv(3122 ^ [_139514, _139516, _139518, _140145]))], (3144 ^ _35406) ^ [] : [3120 ^ [_139514, _139516, _139518, _140145] = 3122 ^ [_139514, _139516, _139518, _140145]], (3140 ^ _35406) ^ [] : [-(icext(_139514, 3122 ^ [_139514, _139516, _139518, _140145]))], (3130 ^ _35406) ^ [] : [-(lv(3121 ^ [_139514, _139516, _139518, _140145]))], (3124 ^ _35406) ^ [] : [-(lv(3120 ^ [_139514, _139516, _139518, _140145]))]]], (3206 ^ _35406) ^ [_143813] : [-(icext(_139518, _143813)), 3259 ^ _35406 : [(3264 ^ _35406) ^ [] : [-(icext(_139514, 3255 ^ [_139514, _139516, _139518, _143813]))], (3260 ^ _35406) ^ [] : [-(lv(3255 ^ [_139514, _139516, _139518, _143813]))], (3286 ^ _35406) ^ [] : [3258 ^ [_139514, _139516, _139518, _143813] = 3256 ^ [_139514, _139516, _139518, _143813]], (3274 ^ _35406) ^ [] : [-(iext(_139516, _143813, 3257 ^ [_139514, _139516, _139518, _143813]))], (3268 ^ _35406) ^ [] : [-(iext(_139516, _143813, 3256 ^ [_139514, _139516, _139518, _143813]))], (3288 ^ _35406) ^ [] : [3258 ^ [_139514, _139516, _139518, _143813] = 3257 ^ [_139514, _139516, _139518, _143813]], (3278 ^ _35406) ^ [] : [-(lv(3258 ^ [_139514, _139516, _139518, _143813]))], (3280 ^ _35406) ^ [] : [-(iext(_139516, _143813, 3258 ^ [_139514, _139516, _139518, _143813]))], (3272 ^ _35406) ^ [] : [-(lv(3257 ^ [_139514, _139516, _139518, _143813]))], (3282 ^ _35406) ^ [] : [-(icext(_139514, 3258 ^ [_139514, _139516, _139518, _143813]))], (3262 ^ _35406) ^ [] : [-(iext(_139516, _143813, 3255 ^ [_139514, _139516, _139518, _143813]))], (3270 ^ _35406) ^ [] : [-(icext(_139514, 3256 ^ [_139514, _139516, _139518, _143813]))], (3284 ^ _35406) ^ [] : [3258 ^ [_139514, _139516, _139518, _143813] = 3255 ^ [_139514, _139516, _139518, _143813]], (3276 ^ _35406) ^ [] : [-(icext(_139514, 3257 ^ [_139514, _139516, _139518, _143813]))], (3266 ^ _35406) ^ [] : [-(lv(3256 ^ [_139514, _139516, _139518, _143813]))]], 3209 ^ _35406 : [(3210 ^ _35406) ^ [_144167, _144169, _144171] : [lv(_144171), iext(_139516, _143813, _144171), icext(_139514, _144171), lv(_144169), iext(_139516, _143813, _144169), icext(_139514, _144169), lv(_144167), iext(_139516, _143813, _144167), icext(_139514, _144167), -(_144171 = _144169), -(_144171 = _144167), -(_144169 = _144167)]]], (3115 ^ _35406) ^ [] : [-(iodp(_139516))]]], (6063 ^ _35406) ^ [] : [-(icext(uri_owl_AllDisjointProperties, 6061 ^ []))], (7111 ^ _35406) ^ [_291495] : [icext(uri_xsd_double, _291495), -(lv(_291495))], (2297 ^ _35406) ^ [_109122] : [-(iext(uri_owl_oneOf, _109122, uri_rdf_nil)), ic(_109122), -(icext(_109122, 2302 ^ [_109122]))], (3672 ^ _35406) ^ [_163406, _163408] : [iext(uri_owl_maxCardinality, _163408, literal_typed(dat_str_0, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _163408, _163406), 3679 ^ _35406 : [(3686 ^ _35406) ^ [_163870] : [-(iext(_163406, _163870, 3687 ^ [_163406, _163408, _163870])), -(icext(_163408, _163870))], (3680 ^ _35406) ^ [_163673] : [icext(_163408, _163673), 3683 ^ _35406 : [(3684 ^ _35406) ^ [_163799] : [iext(_163406, _163673, _163799)]]]]], (7303 ^ _35406) ^ [_297279] : [icext(uri_xsd_unsignedShort, _297279), -(lv(_297279))], (7127 ^ _35406) ^ [_291977] : [icext(uri_xsd_hexBinary, _291977), -(lv(_291977))], (7709 ^ _35406) ^ [_310066] : [icext(uri_xsd_unsignedInt, _310066), -(icext(uri_xsd_unsignedLong, _310066))], (278 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container))], (242 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List))], (236 ^ _35406) ^ [] : [-(iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List))], (1609 ^ _35406) ^ [_86754] : [-(iext(uri_owl_intersectionOf, _86754, uri_rdf_nil)), ic(_86754), 1617 ^ _35406 : [(1620 ^ _35406) ^ [] : [ir(1614 ^ [_86754])], (1618 ^ _35406) ^ [] : [-(icext(_86754, 1614 ^ [_86754]))]], 1621 ^ _35406 : [(1624 ^ _35406) ^ [] : [icext(_86754, 1614 ^ [_86754])], (1622 ^ _35406) ^ [] : [-(ir(1614 ^ [_86754]))]]], (4551 ^ _35406) ^ [_198981, _198983, _198985] : [iext(uri_owl_minQualifiedCardinality, _198985, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _198985, _198983), iext(uri_owl_onDataRange, _198985, _198981), 4562 ^ _35406 : [(4585 ^ _35406) ^ [_200442] : [-(icext(_198985, _200442)), 4586 ^ _35406 : [(4587 ^ _35406) ^ [_200595, _200597] : [lv(_200597), iext(_198983, _200442, _200597), icext(_198981, _200597), lv(_200595), iext(_198983, _200442, _200595), icext(_198981, _200595), -(_200597 = _200595)]]], (4565 ^ _35406) ^ [_199463] : [icext(_198985, _199463), 4570 ^ _35406 : [(4575 ^ _35406) ^ [] : [-(icext(_198981, 4568 ^ [_198981, _198983, _198985, _199463]))], (4581 ^ _35406) ^ [] : [-(icext(_198981, 4569 ^ [_198981, _198983, _198985, _199463]))], (4583 ^ _35406) ^ [] : [4568 ^ [_198981, _198983, _198985, _199463] = 4569 ^ [_198981, _198983, _198985, _199463]], (4577 ^ _35406) ^ [] : [-(lv(4569 ^ [_198981, _198983, _198985, _199463]))], (4571 ^ _35406) ^ [] : [-(lv(4568 ^ [_198981, _198983, _198985, _199463]))], (4573 ^ _35406) ^ [] : [-(iext(_198983, _199463, 4568 ^ [_198981, _198983, _198985, _199463]))], (4579 ^ _35406) ^ [] : [-(iext(_198983, _199463, 4569 ^ [_198981, _198983, _198985, _199463]))]]], (4563 ^ _35406) ^ [] : [-(iodp(_198983))]]], (749 ^ _35406) ^ [_58711] : [icext(uri_rdfs_Class, _58711), -(ic(_58711))], (190 ^ _35406) ^ [_41161] : [ip(_41161), -(iext(uri_rdf_type, _41161, uri_rdf_Property))], (5466 ^ _35406) ^ [_232189, _232191] : [iext(uri_owl_equivalentProperty, _232191, _232189), 5469 ^ _35406 : [(5472 ^ _35406) ^ [] : [-(ip(_232189))], (5474 ^ _35406) ^ [_232518, _232520] : [iext(_232191, _232520, _232518), -(iext(_232189, _232520, _232518))], (5480 ^ _35406) ^ [_232700, _232702] : [iext(_232189, _232702, _232700), -(iext(_232191, _232702, _232700))], (5470 ^ _35406) ^ [] : [-(ip(_232191))]]], (40 ^ _35406) ^ [_36535, _36537] : [-(ioxp(_36535)), _36537 = _36535, ioxp(_36537)], (4971 ^ _35406) ^ [_215417, _215419] : [iext(uri_rdfs_subClassOf, _215419, _215417), 4974 ^ _35406 : [(4979 ^ _35406) ^ [_215696] : [icext(_215419, _215696), -(icext(_215417, _215696))], (4977 ^ _35406) ^ [] : [-(ic(_215417))], (4975 ^ _35406) ^ [] : [-(ic(_215419))]]], (1065 ^ _35406) ^ [_68530, _68532] : [iext(uri_owl_cardinality, _68532, _68530), 1068 ^ _35406 : [(1071 ^ _35406) ^ [] : [-(icext(uri_xml_nonNegativeInteger, _68530))], (1069 ^ _35406) ^ [] : [-(icext(uri_owl_Restriction, _68532))]]], (973 ^ _35406) ^ [_65511] : [icext(uri_owl_Thing, _65511), -(ir(_65511))], (7293 ^ _35406) ^ [] : [-(idc(uri_xsd_unsignedInt))], (1173 ^ _35406) ^ [] : [-(ip(uri_owl_equivalentProperty))], (873 ^ _35406) ^ [] : [-(ic(uri_owl_NegativePropertyAssertion))], (7553 ^ _35406) ^ [_305132] : [icext(uri_xsd_hexBinary, _305132), icext(uri_rdf_PlainLiteral, _305132)], (7285 ^ _35406) ^ [] : [-(idc(uri_xsd_unsignedByte))], (6168 ^ _35406) ^ [] : [-(tautology), tautology], (2353 ^ _35406) ^ [_110961, _110963, _110965, _110967, _110969] : [iext(uri_rdf_first, _110967, _110965), iext(uri_rdf_rest, _110967, _110963), iext(uri_rdf_first, _110963, _110961), iext(uri_rdf_rest, _110963, uri_rdf_nil), 2368 ^ _35406 : [(2369 ^ _35406) ^ [] : [iext(uri_owl_oneOf, _110969, _110967), 2372 ^ _35406 : [(2375 ^ _35406) ^ [_111660] : [icext(_110969, _111660), -(_111660 = _110965), -(_111660 = _110961)], (2385 ^ _35406) ^ [_111962] : [2386 ^ _35406 : [(2389 ^ _35406) ^ [] : [_111962 = _110961], (2387 ^ _35406) ^ [] : [_111962 = _110965]], -(icext(_110969, _111962))], (2373 ^ _35406) ^ [] : [-(ic(_110969))]]], (2393 ^ _35406) ^ [] : [-(iext(uri_owl_oneOf, _110969, _110967)), ic(_110969), 2401 ^ _35406 : [(2406 ^ _35406) ^ [] : [2398 ^ [_110961, _110963, _110965, _110967, _110969] = _110961], (2404 ^ _35406) ^ [] : [2398 ^ [_110961, _110963, _110965, _110967, _110969] = _110965], (2402 ^ _35406) ^ [] : [-(icext(_110969, 2398 ^ [_110961, _110963, _110965, _110967, _110969]))]], 2407 ^ _35406 : [(2408 ^ _35406) ^ [] : [-(2398 ^ [_110961, _110963, _110965, _110967, _110969] = _110965), -(2398 ^ [_110961, _110963, _110965, _110967, _110969] = _110961)], (2414 ^ _35406) ^ [] : [icext(_110969, 2398 ^ [_110961, _110963, _110965, _110967, _110969])]]]]], (7631 ^ _35406) ^ [_307596] : [icext(uri_xsd_Name, _307596), -(icext(uri_xsd_token, _307596))], (1123 ^ _35406) ^ [] : [-(ip(uri_owl_differentFrom))], (7135 ^ _35406) ^ [_292218] : [icext(uri_xsd_int, _292218), -(lv(_292218))], (208 ^ _35406) ^ [] : [-(iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso))], (196 ^ _35406) ^ [] : [-(iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property))], (821 ^ _35406) ^ [_60868] : [icext(uri_owl_FunctionalProperty, _60868), -(ip(_60868))], (5650 ^ _35406) ^ [_238318, _238320, _238322, _238324, _238326] : [_238322 = _238318, iext(uri_rdf_first, _238324, _238322), iext(uri_rdf_rest, _238324, _238320), iext(uri_rdf_first, _238320, _238318), iext(uri_rdf_rest, _238320, uri_rdf_nil), icext(uri_owl_AllDifferent, _238326), iext(uri_owl_distinctMembers, _238326, _238324)], (1527 ^ _35406) ^ [] : [-(ioap(uri_owl_versionInfo))], (2970 ^ _35406) ^ [_134090, _134092, _134094] : [iext(uri_owl_qualifiedCardinality, _134094, literal_typed(dat_str_2, uri_xsd_nonNegativeInteger)), iext(uri_owl_onProperty, _134094, _134092), iext(uri_owl_onDataRange, _134094, _134090), 2981 ^ _35406 : [(2984 ^ _35406) ^ [_134653] : [icext(_134094, _134653), 2989 ^ _35406 : [(2994 ^ _35406) ^ [] : [-(icext(_134090, 2987 ^ [_134090, _134092, _134094, _134653]))], (3000 ^ _35406) ^ [] : [-(icext(_134090, 2988 ^ [_134090, _134092, _134094, _134653]))], (2990 ^ _35406) ^ [] : [-(lv(2987 ^ [_134090, _134092, _134094, _134653]))], (3002 ^ _35406) ^ [] : [2987 ^ [_134090, _134092, _134094, _134653] = 2988 ^ [_134090, _134092, _134094, _134653]], (2996 ^ _35406) ^ [] : [-(lv(2988 ^ [_134090, _134092, _134094, _134653]))], (2998 ^ _35406) ^ [] : [-(iext(_134092, _134653, 2988 ^ [_134090, _134092, _134094, _134653]))], (3004 ^ _35406) ^ [_135770, _135772, _135774] : [-(_135770 = _135774), -(_135770 = _135772), lv(_135774), iext(_134092, _134653, _135774), icext(_134090, _135774), lv(_135772), iext(_134092, _134653, _135772), icext(_134090, _135772), lv(_135770), iext(_134092, _134653, _135770), icext(_134090, _135770)], (2992 ^ _35406) ^ [] : [-(iext(_134092, _134653, 2987 ^ [_134090, _134092, _134094, _134653]))]]], (3046 ^ _35406) ^ [_136973] : [-(icext(_134094, _136973)), 3078 ^ _35406 : [(3089 ^ _35406) ^ [] : [-(icext(_134090, 3076 ^ [_134090, _134092, _134094, _136973]))], (3097 ^ _35406) ^ [] : [3077 ^ [_134090, _134092, _134094, _136973] = 3075 ^ [_134090, _134092, _134094, _136973]], (3087 ^ _35406) ^ [] : [-(iext(_134092, _136973, 3076 ^ [_134090, _134092, _134094, _136973]))], (3091 ^ _35406) ^ [] : [-(lv(3077 ^ [_134090, _134092, _134094, _136973]))], (3079 ^ _35406) ^ [] : [-(lv(3075 ^ [_134090, _134092, _134094, _136973]))], (3081 ^ _35406) ^ [] : [-(iext(_134092, _136973, 3075 ^ [_134090, _134092, _134094, _136973]))], (3083 ^ _35406) ^ [] : [-(icext(_134090, 3075 ^ [_134090, _134092, _134094, _136973]))], (3085 ^ _35406) ^ [] : [-(lv(3076 ^ [_134090, _134092, _134094, _136973]))], (3093 ^ _35406) ^ [] : [-(iext(_134092, _136973, 3077 ^ [_134090, _134092, _134094, _136973]))], (3095 ^ _35406) ^ [] : [-(icext(_134090, 3077 ^ [_134090, _134092, _134094, _136973]))], (3099 ^ _35406) ^ [] : [3077 ^ [_134090, _134092, _134094, _136973] = 3076 ^ [_134090, _134092, _134094, _136973]]], 3049 ^ _35406 : [(3050 ^ _35406) ^ [_137245, _137247] : [lv(_137247), iext(_134092, _136973, _137247), icext(_134090, _137247), lv(_137245), iext(_134092, _136973, _137245), icext(_134090, _137245), -(_137247 = _137245)]]], (2982 ^ _35406) ^ [] : [-(iodp(_134092))]]], (679 ^ _35406) ^ [] : [-(ic(uri_owl_AllDifferent))], (7117 ^ _35406) ^ [] : [-(idc(uri_xsd_double))], (212 ^ _35406) ^ [] : [-(iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal))], (290 ^ _35406) ^ [] : [-(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class))], (114 ^ _35406) ^ [_38749, _38751] : [-(iodp(_38749)), _38751 = _38749, iodp(_38751)], (514 ^ _35406) ^ [_51223] : [ioap(_51223), -(ip(_51223))], (5002 ^ _35406) ^ [_216439, _216441] : [iext(uri_rdfs_subPropertyOf, _216441, _216439), 5005 ^ _35406 : [(5010 ^ _35406) ^ [_216739, _216741] : [iext(_216441, _216741, _216739), -(iext(_216439, _216741, _216739))], (5008 ^ _35406) ^ [] : [-(ip(_216439))], (5006 ^ _35406) ^ [] : [-(ip(_216441))]]], (6689 ^ _35406) ^ [_275088] : [iext(uri_owl_hasKey, _275088, uri_rdf_nil), 6692 ^ _35406 : [(6695 ^ _35406) ^ [_275316, _275318] : [-(_275318 = _275316), icext(_275088, _275318), icext(_275088, _275316)], (6693 ^ _35406) ^ [] : [-(ic(_275088))]]], (7565 ^ _35406) ^ [_305510] : [icext(uri_xsd_hexBinary, _305510), icext(uri_rdf_XMLLiteral, _305510)], (6619 ^ _35406) ^ [_272549] : [-(icext(uri_owl_ReflexiveProperty, _272549)), ip(_272549), iext(_272549, 6624 ^ [_272549], 6624 ^ [_272549])], (1257 ^ _35406) ^ [_74985, _74987] : [iext(uri_rdfs_label, _74987, _74985), 1260 ^ _35406 : [(1263 ^ _35406) ^ [] : [-(lv(_74985))], (1261 ^ _35406) ^ [] : [-(ir(_74987))]]], (7103 ^ _35406) ^ [_291254] : [icext(uri_xsd_decimal, _291254), -(lv(_291254))], (949 ^ _35406) ^ [_64757] : [ir(_64757), -(icext(uri_rdfs_Resource, _64757))], (7451 ^ _35406) ^ [_301919] : [icext(uri_xsd_boolean, _301919), icext(uri_owl_real, _301919)]], input).
% 60.18/58.50  ncf('1',plain,[iext(uri_rdfs_subPropertyOf, uri_owl_bottomDataProperty, uri_ex_p)],start(7819 ^ 0)).
% 60.18/58.50  ncf('1.1',plain,[-(iext(uri_rdfs_subPropertyOf, uri_owl_bottomDataProperty, uri_ex_p)), ip(uri_owl_bottomDataProperty), ip(uri_ex_p), 5028 : -(iext(uri_owl_bottomDataProperty, 5025 ^ [uri_ex_p, uri_owl_bottomDataProperty], 5026 ^ [uri_ex_p, uri_owl_bottomDataProperty]))],extension(5016 ^ 1,bind([[_216930, _216932], [uri_ex_p, uri_owl_bottomDataProperty]]))).
% 60.18/58.50  ncf('1.1.1',plain,[-(ip(uri_owl_bottomDataProperty)), iodp(uri_owl_bottomDataProperty)],extension(544 ^ 2,bind([[_52225], [uri_owl_bottomDataProperty]]))).
% 60.18/58.50  ncf('1.1.1.1',plain,[-(iodp(uri_owl_bottomDataProperty))],extension(1059 ^ 3)).
% 60.18/58.50  ncf('1.1.2',plain,[-(ip(uri_ex_p)), iodp(uri_ex_p)],extension(544 ^ 2,bind([[_52225], [uri_ex_p]]))).
% 60.18/58.50  ncf('1.1.2.1',plain,[-(iodp(uri_ex_p)), iext(uri_rdf_type, uri_ex_p, uri_owl_DatatypeProperty)],extension(556 ^ 3,bind([[_52596], [uri_ex_p]]))).
% 60.18/58.50  ncf('1.1.2.1.1',plain,[-(iext(uri_rdf_type, uri_ex_p, uri_owl_DatatypeProperty))],extension(7817 ^ 4)).
% 60.18/58.50  ncf('1.1.3',plain,[iext(uri_owl_bottomDataProperty, 5025 ^ [uri_ex_p, uri_owl_bottomDataProperty], 5026 ^ [uri_ex_p, uri_owl_bottomDataProperty])],extension(1057 ^ 4,bind([[_68220, _68222], [5026 ^ [uri_ex_p, uri_owl_bottomDataProperty], 5025 ^ [uri_ex_p, uri_owl_bottomDataProperty]]]))).
% 60.18/58.50  %-----------------------------------------------------
% 60.18/58.50  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------