%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : CSR054+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n021.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 10:47:24 EDT 2023

% Result   : Theorem 0.47s 1.40s
% Output   : Proof 0.47s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13  % Problem  : CSR054+2 : TPTP v8.1.2. Released v3.4.0.
% 0.04/0.14  % Command  : nanocop.sh %s %d
% 0.13/0.36  % Computer : n021.cluster.edu
% 0.13/0.36  % Model    : x86_64 x86_64
% 0.13/0.36  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36  % Memory   : 8042.1875MB
% 0.13/0.36  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36  % CPULimit : 300
% 0.13/0.36  % WCLimit  : 300
% 0.13/0.36  % DateTime : Fri May 19 00:43:12 EDT 2023
% 0.13/0.36  % CPUTime  : 
% 0.47/1.40  
% 0.47/1.40  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.47/1.40  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.47/1.40  %-----------------------------------------------------
% 0.47/1.40  ncf(matrix, plain, [(5596 ^ _592484) ^ [_782011] : [-(mtvisible(c_currentworlddatacollectormt_nonhomocentric))], (5598 ^ _592484) ^ [_782048] : [tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), _782048)], (2 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592484) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592484) ^ [_592689] : [intangible(_592689), partiallytangible(_592689)], (12 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592484) ^ [_592927] : [tptpcol_15_40430(_592927), -(tptpcol_14_40429(_592927))], (20 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592484) ^ [_593166] : [tptpcol_10_72710(_593166), -(tptpcol_9_72709(_593166))], (28 ^ _592484) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592484) ^ [_593405] : [inanimateobject(_593405), -(partiallytangible(_593405))], (36 ^ _592484) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592484) ^ [_593672, _593674, _593676] : [-(genlpreds(_593676, _593672)), genlinverse(_593676, _593674), genlinverse(_593674, _593672)], (48 ^ _592484) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592484) ^ [_594034, _594036] : [subsetof(_594036, _594034), -(most(_594036, _594034))], (56 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592484) ^ [_594283] : [tptpcol_7_93186(_594283), -(tptpcol_6_92162(_594283))], (64 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592484) ^ [_594522] : [tptpcol_13_40421(_594522), -(tptpcol_12_40420(_594522))], (72 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592484) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592484) ^ [_594986] : [tptpcol_9_22021(_594986), -(tptpcol_8_22020(_594986))], (90 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592484) ^ [_595225] : [tptpcol_5_16388(_595225), -(tptpcol_4_16387(_595225))], (98 ^ _592484) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592484) ^ [_595583] : [tptpcol_14_72792(_595583), -(tptpcol_13_72791(_595583))], (112 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592484) ^ [_595822] : [tptpcol_5_20483(_595822), -(tptpcol_4_16387(_595822))], (120 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592484) ^ [_596061] : [tptpcol_11_22023(_596061), -(tptpcol_10_22022(_596061))], (128 ^ _592484) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592484) ^ [_596300] : [partiallyintangibleindividual(_596300), -(individual(_596300))], (136 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592484) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592484) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592484) ^ [_596645] : [trajector_underspecified(_596645), -(location_underspecified(_596645))], (148 ^ _592484) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592484) ^ [_596884] : [partiallytangible(_596884), -(enduringthing_localized(_596884))], (156 ^ _592484) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592484) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592484) ^ [_597242] : [tptpcol_3_81921(_597242), -(tptpcol_2_65537(_597242))], (170 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592484) ^ [_597481] : [tptpcol_10_18567(_597481), -(tptpcol_9_18439(_597481))], (178 ^ _592484) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592484) ^ [_597720] : [orderingpredicate(_597720), -(transitivebinarypredicate(_597720))], (186 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592484) ^ [_597959] : [tptpcol_11_92230(_597959), -(tptpcol_10_92166(_597959))], (194 ^ _592484) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592484) ^ [_598198] : [tptpcol_2_98304(_598198), -(tptpcol_1_65536(_598198))], (202 ^ _592484) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592484) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592484) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592484) ^ [_598662] : [tptpcol_12_40420(_598662), -(tptpcol_11_40388(_598662))], (220 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592484) ^ [_598915, _598917] : [tptptypes_9_693(_598917, _598915), -(tptptypes_8_692(_598917, _598915))], (228 ^ _592484) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592484) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592484) ^ [_599284, _599286] : [tptptypes_8_390(_599286, _599284), -(tptptypes_7_389(_599286, _599284))], (240 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592484) ^ [_599628, _599630, _599632, _599634] : [-(isa(f_relationexistsallfn(_599634, _599630, _599628, _599632), _599628)), isa(_599634, _599632), relationexistsall(_599630, _599628, _599632)], (254 ^ _592484) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592484) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592484) ^ [_600157] : [tptpcol_4_106497(_600157), -(tptpcol_3_98305(_600157))], (268 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592484) ^ [_600396] : [tptpcol_5_114690(_600396), -(tptpcol_4_114689(_600396))], (276 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592484) ^ [_600635] : [tptpcol_12_93765(_600635), -(tptpcol_11_93764(_600635))], (284 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592484) ^ [_600874] : [tptpcol_8_72708(_600874), -(tptpcol_7_72707(_600874))], (292 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592484) ^ [_601113] : [tptpcol_10_40324(_601113), -(tptpcol_9_40196(_601113))], (300 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592484) ^ [_601352] : [tptpcol_13_93766(_601352), -(tptpcol_12_93765(_601352))], (308 ^ _592484) ^ [_601538] : [-(tptpofobject(_601538, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601538)], (318 ^ _592484) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592484) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592484) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592484) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592484) ^ [_602202] : [location_underspecified(_602202), -(thing(_602202))], (342 ^ _592484) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592484) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592484) ^ [_602547] : [tptpcol_12_92262(_602547), -(tptpcol_11_92230(_602547))], (354 ^ _592484) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592484) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592484) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592484) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592484) ^ [_603064] : [tptpcol_10_109061(_603064), -(tptpcol_9_109060(_603064))], (374 ^ _592484) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592484) ^ [_603370, _603372] : [tptptypes_6_388(_603372, _603370), -(tptptypes_5_387(_603372, _603370))], (384 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592484) ^ [_603619] : [tptpcol_6_116738(_603619), -(tptpcol_5_114690(_603619))], (392 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592484) ^ [_603858] : [tptpcol_15_92268(_603858), -(tptpcol_14_92264(_603858))], (400 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592484) ^ [_604163] : [-(tptpofobject(_604163, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604163)], (416 ^ _592484) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592484) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592484) ^ [_604616, _604618] : [tptptypes_9_401(_604618, _604616), -(tptptypes_8_400(_604616, _604618))], (430 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592484) ^ [_604865] : [tptpcol_12_18663(_604865), -(tptpcol_11_18631(_604865))], (438 ^ _592484) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592484) ^ [_605104] : [setorcollection(_605104), -(mathematicalthing(_605104))], (446 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592484) ^ [_605343] : [tptpcol_13_109173(_605343), -(tptpcol_12_109157(_605343))], (454 ^ _592484) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592484) ^ [_605635] : [tptpcol_5_106498(_605635), -(tptpcol_4_106497(_605635))], (464 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592484) ^ [_605874] : [tptpcol_5_24579(_605874), -(tptpcol_4_24578(_605874))], (472 ^ _592484) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592484) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592484) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592484) ^ [_606404] : [tptpcol_1_65536(_606404), -(tptpcol_0_0(_606404))], (494 ^ _592484) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592484) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592484) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592484) ^ [_606829, _606831] : [geographicalsubregions(_606831, _606829), -(inregion(_606829, _606831))], (510 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592484) ^ [_607078] : [tptpcol_11_118084(_607078), -(tptpcol_10_118020(_607078))], (518 ^ _592484) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592484) ^ [_607317] : [mathematicalorcomputationalthing(_607317), -(intangible(_607317))], (526 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592484) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592484) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592484) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592484) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592484) ^ [_607835, _607837] : [tptptypes_7_819(_607837, _607835), -(tptptypes_6_818(_607837, _607835))], (544 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592484) ^ [_608137] : [tptpcol_12_26919(_608137), -(tptpcol_11_26887(_608137))], (554 ^ _592484) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592484) ^ [_608390, _608392] : [tptptypes_8_692(_608392, _608390), -(tptptypes_7_691(_608390, _608392))], (562 ^ _592484) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592484) ^ [_608639] : [tptpcol_2_2(_608639), -(tptpcol_1_1(_608639))], (570 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592484) ^ [_608931] : [tptpcol_9_92165(_608931), -(tptpcol_8_92164(_608931))], (580 ^ _592484) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592484) ^ [_609170] : [fixedordercollection(_609170), -(collection(_609170))], (588 ^ _592484) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592484) ^ [_609409] : [tptpcol_1_1(_609409), tptpcol_1_65536(_609409)], (596 ^ _592484) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592484) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592484) ^ [_609700] : [microtheory(_609700), -(aspatialinformationstore(_609700))], (606 ^ _592484) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592484) ^ [_610005] : [-(tptp_8_875(_610005, f_relationallexistsfn(_610005, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610005, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592484) ^ [] : [mtvisible(c_tptp_member2610_mt), -(relationallexists(c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))], (628 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592484) ^ [_610456] : [tptpcol_10_118020(_610456), -(tptpcol_9_118019(_610456))], (636 ^ _592484) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592484) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592484) ^ [_610814] : [-(tptp_9_720(_610814, f_relationallexistsfn(_610814, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610814)], (654 ^ _592484) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592484) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592484) ^ [_611263] : [individual(_611263), setorcollection(_611263)], (668 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592484) ^ [_611501] : [tptpcol_12_22055(_611501), -(tptpcol_11_22023(_611501))], (676 ^ _592484) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592484) ^ [_611740] : [applicationcontext(_611740), -(microtheory(_611740))], (684 ^ _592484) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592484) ^ [_612046, _612048] : [tptptypes_8_400(_612048, _612046), -(tptptypes_7_396(_612048, _612046))], (694 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592484) ^ [_612295] : [tptpcol_11_18631(_612295), -(tptpcol_10_18567(_612295))], (702 ^ _592484) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592484) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592484) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592484) ^ [_612706] : [mathematicalthing(_612706), -(mathematicalorcomputationalthing(_612706))], (718 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592484) ^ [_612998] : [tptpcol_15_93775(_612998), -(tptpcol_14_93774(_612998))], (728 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592484) ^ [_613237] : [tptpcol_8_109059(_613237), -(tptpcol_7_108547(_613237))], (736 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592484) ^ [_613476] : [tptpcol_14_40429(_613476), -(tptpcol_13_40421(_613476))], (744 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592484) ^ [_613834] : [tptpcol_14_22072(_613834), -(tptpcol_13_22071(_613834))], (758 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592484) ^ [_614073] : [tptpcol_14_93774(_614073), -(tptpcol_13_93766(_614073))], (766 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592484) ^ [_614312] : [tptpcol_10_22022(_614312), -(tptpcol_9_22021(_614312))], (774 ^ _592484) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592484) ^ [_614551] : [inanimateobject_nonnatural(_614551), -(inanimateobject(_614551))], (782 ^ _592484) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592484) ^ [_614896] : [tptpcol_9_72709(_614896), -(tptpcol_8_72708(_614896))], (794 ^ _592484) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592484) ^ [_615135] : [-(tptpofobject(_615135, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615135)], (806 ^ _592484) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592484) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592484) ^ [_615574] : [firstordercollection(_615574), -(fixedordercollection(_615574))], (820 ^ _592484) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592484) ^ [_615985] : [tptpcol_13_18664(_615985), -(tptpcol_12_18663(_615985))], (836 ^ _592484) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592484) ^ [_616224] : [artifact(_616224), -(inanimateobject_nonnatural(_616224))], (844 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592484) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592484) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592484) ^ [_616622] : [tptpcol_7_113665(_616622), -(tptpcol_6_112641(_616622))], (858 ^ _592484) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592484) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592484) ^ [_616980] : [geographicalregion(_616980), -(partiallytangible(_616980))], (872 ^ _592484) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592484) ^ [_617233, _617235] : [disjointwith(_617235, _617233), -(no(_617235, _617233))], (880 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592484) ^ [_617482] : [tptpcol_4_24578(_617482), -(tptpcol_3_16386(_617482))], (888 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592484) ^ [_617721] : [tptpcol_5_69635(_617721), -(tptpcol_4_65539(_617721))], (896 ^ _592484) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592484) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592484) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592484) ^ [_618080, _618082] : [genls(_618082, _618080), -(collection(_618082))], (908 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592484) ^ [_618327] : [tptpcol_13_22071(_618327), -(tptpcol_12_22055(_618327))], (916 ^ _592484) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592484) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592484) ^ [_618619] : [tptpcol_3_98305(_618619), -(tptpcol_2_98304(_618619))], (926 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592484) ^ [_618858] : [tptpcol_4_114689(_618858), -(tptpcol_3_114688(_618858))], (934 ^ _592484) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592484) ^ [_619097] : [artsupplies(_619097), -(supplies(_619097))], (942 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592484) ^ [_619336] : [tptpcol_8_26629(_619336), -(tptpcol_7_26628(_619336))], (950 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592484) ^ [_619575] : [tptpcol_9_109060(_619575), -(tptpcol_8_109059(_619575))], (958 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592484) ^ [_619814] : [isa(_619814, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619814, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619814))], (966 ^ _592484) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592484) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592484) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592484) ^ [_620398] : [tptpcol_14_109181(_620398), -(tptpcol_13_109173(_620398))], (988 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592484) ^ [_620637] : [tptpcol_16_30972(_620637), -(tptpcol_15_30970(_620637))], (996 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592484) ^ [_620929] : [tptpcol_9_18439(_620929), -(tptpcol_8_18438(_620929))], (1006 ^ _592484) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592484) ^ [_621221] : [tptpcol_12_118116(_621221), -(tptpcol_11_118084(_621221))], (1016 ^ _592484) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592484) ^ [_621513] : [tptpcol_7_26628(_621513), -(tptpcol_6_26627(_621513))], (1026 ^ _592484) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592484) ^ [_621766, _621768] : [most(_621768, _621766), -(setorcollection(_621768))], (1034 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592484) ^ [_622013] : [tptpcol_15_109185(_622013), -(tptpcol_14_109181(_622013))], (1042 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592484) ^ [_622252] : [tptpcol_16_92269(_622252), -(tptpcol_15_92268(_622252))], (1050 ^ _592484) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592484) ^ [_622558, _622560] : [tptptypes_8_823(_622560, _622558), -(tptptypes_7_819(_622560, _622558))], (1060 ^ _592484) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592484) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592484) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592484) ^ [_623138] : [tptpcol_10_26886(_623138), -(tptpcol_9_26885(_623138))], (1082 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592484) ^ [_623430] : [tptpcol_15_72793(_623430), -(tptpcol_14_72792(_623430))], (1092 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592484) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592484) ^ [_623788] : [navypersonnel(_623788), -(militaryperson(_623788))], (1106 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592484) ^ [_624027] : [tptpcol_4_16387(_624027), -(tptpcol_3_16386(_624027))], (1114 ^ _592484) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592484) ^ [_624266] : [enduringthing_localized(_624266), -(spatialthing_nonsituational(_624266))], (1122 ^ _592484) ^ [_624452] : [collection(_624452), individual(_624452)], (1128 ^ _592484) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592484) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592484) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592484) ^ [_624981] : [physicalorderingpredicate(_624981), -(orderingpredicate(_624981))], (1150 ^ _592484) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592484) ^ [_625234, _625236] : [disjointwith(_625236, _625234), -(collection(_625234))], (1158 ^ _592484) ^ [_625470, _625472, _625474, _625476] : [-(isa(f_relationallexistsfn(_625476, _625472, _625474, _625470), _625470)), isa(_625476, _625474), relationallexists(_625472, _625474, _625470)], (1168 ^ _592484) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592484) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592484) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592484) ^ [_626079, _626081] : [tptptypes_7_389(_626081, _626079), -(tptptypes_6_388(_626079, _626081))], (1186 ^ _592484) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592484) ^ [_626394] : [-(hpkb_subnationalagent(_626394)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626394)], (1202 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592484) ^ [_626712] : [tptpcol_8_22020(_626712), -(tptpcol_7_21508(_626712))], (1210 ^ _592484) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592484) ^ [_626951] : [-(tptp_9_51(f_relationexistsallfn(_626951, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _626951)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_626951, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592484) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592484) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592484) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592484) ^ [_627455] : [tptpcol_3_65538(_627455), -(tptpcol_2_65537(_627455))], (1238 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592484) ^ [_627694] : [tptpcol_14_26921(_627694), -(tptpcol_13_26920(_627694))], (1246 ^ _592484) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592484) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592484) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592484) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592484) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592484) ^ [_628145] : [intangibleindividual(_628145), -(partiallyintangibleindividual(_628145))], (1262 ^ _592484) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592484) ^ [_628503] : [tptpcol_16_130924(_628503), -(tptpcol_15_130923(_628503))], (1276 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592484) ^ [_628742] : [tptpcol_7_92163(_628742), -(tptpcol_6_92162(_628742))], (1284 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592484) ^ [_629034] : [tptpcol_16_130933(_629034), -(tptpcol_15_130931(_629034))], (1294 ^ _592484) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592484) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592484) ^ [_629340, _629342] : [no(_629342, _629340), -(few(_629342, _629340))], (1304 ^ _592484) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592484) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592484) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592484) ^ [_629748] : [tptpcol_6_20484(_629748), -(tptpcol_5_20483(_629748))], (1318 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592484) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592484) ^ [_630212] : [tptpcol_7_108547(_630212), -(tptpcol_6_108546(_630212))], (1336 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592484) ^ [_630451] : [tptpcol_11_109125(_630451), -(tptpcol_10_109061(_630451))], (1344 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592484) ^ [_630743] : [tptpcol_8_93698(_630743), -(tptpcol_7_93186(_630743))], (1354 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592484) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592484) ^ [_631035] : [tptpcol_2_65537(_631035), -(tptpcol_1_65536(_631035))], (1364 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592484) ^ [_631327] : [tptpcol_6_18436(_631327), -(tptpcol_5_16388(_631327))], (1374 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592484) ^ [_631566] : [tptpcol_8_18438(_631566), -(tptpcol_7_18437(_631566))], (1382 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592484) ^ [_631924] : [tptpcol_8_117763(_631924), -(tptpcol_7_117762(_631924))], (1396 ^ _592484) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592484) ^ [_632216] : [tptpcol_12_109157(_632216), -(tptpcol_11_109125(_632216))], (1406 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592484) ^ [_632455] : [tptpcol_7_117762(_632455), -(tptpcol_6_116738(_632455))], (1414 ^ _592484) ^ [_632669, _632671, _632673] : [isa(_632673, _632671), isa(_632673, _632669), disjointwith(_632671, _632669)], (1424 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592484) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592484) ^ [_633069] : [aspatialinformationstore(_633069), -(aspatialthing(_633069))], (1434 ^ _592484) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592484) ^ [_633467] : [tptpcol_9_93699(_633467), -(tptpcol_8_93698(_633467))], (1448 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592484) ^ [_633706] : [tptpcol_11_93764(_633706), -(tptpcol_10_93700(_633706))], (1456 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592484) ^ [_633945] : [tptpcol_6_26627(_633945), -(tptpcol_5_24579(_633945))], (1464 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592484) ^ [_634184] : [tptpcol_4_90113(_634184), -(tptpcol_3_81921(_634184))], (1472 ^ _592484) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592484) ^ [_634476] : [tptpcol_10_93700(_634476), -(tptpcol_9_93699(_634476))], (1482 ^ _592484) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592484) ^ [_634715] : [aspatialinformationstore(_634715), -(intangibleindividual(_634715))], (1490 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592484) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592484) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592484) ^ [_635126] : [tptpcol_3_16386(_635126), -(tptpcol_2_2(_635126))], (1506 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592484) ^ [_635365] : [tptpcol_9_118019(_635365), -(tptpcol_8_117763(_635365))], (1514 ^ _592484) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592484) ^ [_635604] : [individual(_635604), -(trajector_underspecified(_635604))], (1522 ^ _592484) ^ [_635790] : [shavingrazor_manual(_635790), -(tptp_8_271(f_relationexistsallfn(_635790, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635790))], (1528 ^ _592484) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592484) ^ [_636094] : [tptpcol_6_112641(_636094), -(tptpcol_5_110593(_636094))], (1538 ^ _592484) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592484) ^ [_636333] : [tptpcol_12_72775(_636333), -(tptpcol_11_72774(_636333))], (1546 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592484) ^ [_636572] : [tptpcol_7_72707(_636572), -(tptpcol_6_71683(_636572))], (1554 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592484) ^ [_636811] : [tptpcol_16_50958(_636811), -(tptpcol_15_50957(_636811))], (1562 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592484) ^ [_637050] : [tptpcol_8_114177(_637050), -(tptpcol_7_113665(_637050))], (1570 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592484) ^ [_637289] : [tptpcol_16_72795(_637289), -(tptpcol_15_72793(_637289))], (1578 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592484) ^ [_637528] : [tptpcol_6_71683(_637528), -(tptpcol_5_69635(_637528))], (1586 ^ _592484) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592484) ^ [_637834, _637836] : [tptptypes_7_396(_637836, _637834), -(tptptypes_6_388(_637836, _637834))], (1596 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592484) ^ [_638083] : [tptpcol_9_26885(_638083), -(tptpcol_8_26629(_638083))], (1604 ^ _592484) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592484) ^ [_638336, _638338] : [genls(_638338, _638336), -(subsetof(_638338, _638336))], (1612 ^ _592484) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592484) ^ [_638652, _638654] : [tptptypes_6_818(_638654, _638652), -(tptptypes_5_802(_638654, _638652))], (1622 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592484) ^ [_638901] : [tptpcol_6_92162(_638901), -(tptpcol_5_90114(_638901))], (1630 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592484) ^ [_639193] : [tptpcol_8_92164(_639193), -(tptpcol_7_92163(_639193))], (1640 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592484) ^ [_639432] : [tptpcol_13_118117(_639432), -(tptpcol_12_118116(_639432))], (1648 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592484) ^ [_639671] : [tptpcol_11_40388(_639671), -(tptpcol_10_40324(_639671))], (1656 ^ _592484) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592484) ^ [_639924, _639926] : [tptptypes_9_824(_639926, _639924), -(tptptypes_8_823(_639926, _639924))], (1664 ^ _592484) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592484) ^ [_640226] : [tptpcol_11_26887(_640226), -(tptpcol_10_26886(_640226))], (1674 ^ _592484) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592484) ^ [_640465] : [tptpcol_16_26926(_640465), -(tptpcol_15_26925(_640465))], (1682 ^ _592484) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592484) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592484) ^ [_640771, _640773] : [few(_640773, _640771), -(setorcollection(_640771))], (1692 ^ _592484) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592484) ^ [_641018] : [tptpcol_4_65539(_641018), -(tptpcol_3_65538(_641018))], (1700 ^ _592484) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592484) ^ [_641257] : [tptpcol_8_39940(_641257), -(tptpcol_7_39939(_641257))], (1708 ^ _592484) ^ [_641443] : [-(tptpofobject(_641443, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641443)], (1718 ^ _592484) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592484) ^ [_641882] : [tptpcol_15_22076(_641882), -(tptpcol_14_22072(_641882))], (1732 ^ _592484) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592484) ^ [_642121] : [tptpcol_0_0(_642121), -(individual(_642121))], (1740 ^ _592484) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592484) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592484) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592484) ^ [_642519] : [tptpcol_11_72774(_642519), -(tptpcol_10_72710(_642519))], (1754 ^ _592484) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592484) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592484) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592484) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592484) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592484) ^ [_643155] : [tptpcol_7_21508(_643155), -(tptpcol_6_20484(_643155))], (1780 ^ _592484) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592484) ^ [_643394] : [tptpcol_6_108546(_643394), -(tptpcol_5_106498(_643394))], (1788 ^ _592484) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592484) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592484) ^ [_643752] : [geolevel_4(_643752), -(geographicalregion(_643752))], (1802 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592484) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592484) ^ [_644229] : [tptpcol_13_26920(_644229), -(tptpcol_12_26919(_644229))], (1822 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592484) ^ [_644468] : [tptpcol_14_92264(_644468), -(tptpcol_13_92263(_644468))], (1830 ^ _592484) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592484) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592484) ^ [_644760] : [tptpcol_9_40196(_644760), -(tptpcol_8_39940(_644760))], (1840 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592484) ^ [_645118] : [tptpcol_13_92263(_645118), -(tptpcol_12_92262(_645118))], (1854 ^ _592484) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592484) ^ [_645410] : [tptpcol_5_90114(_645410), -(tptpcol_4_90113(_645410))], (1864 ^ _592484) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592484) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592484) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592484) ^ [_645821] : [tptpcol_15_26925(_645821), -(tptpcol_14_26921(_645821))], (1880 ^ _592484) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592484) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592484) ^ [_646179] : [tptpcol_7_18437(_646179), -(tptpcol_6_18436(_646179))], (1894 ^ _592484) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592484) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592484) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592484) ^ [_646590] : [tptpcol_3_98305(_646590), tptpcol_3_114688(_646590)], (1910 ^ _592484) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592484) ^ [_646828] : [tptpcol_5_110593(_646828), -(tptpcol_4_106497(_646828))], (1918 ^ _592484) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592484) ^ [_647067] : [tptpcol_13_72791(_647067), -(tptpcol_12_72775(_647067))], (1926 ^ _592484) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592484) ^ [_647306] : [computerdataartifact(_647306), -(artifact(_647306))], (1934 ^ _592484) ^ [_647492] : [-(tptpofobject(_647492, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647492)], (1944 ^ _592484) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592484) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592484) ^ [_647931] : [tptpcol_10_92166(_647931), -(tptpcol_9_92165(_647931))], (1958 ^ _592484) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592484) ^ [_648170] : [tptpcol_14_118118(_648170), -(tptpcol_13_118117(_648170))], (1966 ^ _592484) ^ [_648356] : [isa(_648356, c_tptpcol_14_118118), -(tptpcol_14_118118(_648356))], (1972 ^ _592484) ^ [_648544] : [tptpcol_14_118118(_648544), -(isa(_648544, c_tptpcol_14_118118))], (1978 ^ _592484) ^ [_648717] : [-(natfunction(f_tptpquantityfn_6(_648717), c_tptpquantityfn_6))], (1980 ^ _592484) ^ [_648797] : [-(natargument(f_tptpquantityfn_6(_648797), n_1, _648797))], (1982 ^ _592484) ^ [_648878] : [-(tptpquantity(f_tptpquantityfn_6(_648878)))], (1984 ^ _592484) ^ [_648972] : [isa(_648972, c_tptpcol_16_26939), -(tptpcol_16_26939(_648972))], (1990 ^ _592484) ^ [_649160] : [tptpcol_16_26939(_649160), -(isa(_649160, c_tptpcol_16_26939))], (1996 ^ _592484) ^ [_649348] : [isa(_649348, c_tptpcol_16_62187), -(tptpcol_16_62187(_649348))], (2002 ^ _592484) ^ [_649536] : [tptpcol_16_62187(_649536), -(isa(_649536, c_tptpcol_16_62187))], (2008 ^ _592484) ^ [_649724] : [isa(_649724, c_tptpcol_13_92263), -(tptpcol_13_92263(_649724))], (2014 ^ _592484) ^ [_649912] : [tptpcol_13_92263(_649912), -(isa(_649912, c_tptpcol_13_92263))], (2020 ^ _592484) ^ [_650100] : [isa(_650100, c_geolevel_4), -(geolevel_4(_650100))], (2026 ^ _592484) ^ [_650288] : [geolevel_4(_650288), -(isa(_650288, c_geolevel_4))], (2032 ^ _592484) ^ [_650476] : [isa(_650476, c_tptpcol_15_4027), -(tptpcol_15_4027(_650476))], (2038 ^ _592484) ^ [_650664] : [tptpcol_15_4027(_650664), -(isa(_650664, c_tptpcol_15_4027))], (2044 ^ _592484) ^ [_650852] : [isa(_650852, c_pushingwithfingers), -(pushingwithfingers(_650852))], (2050 ^ _592484) ^ [_651040] : [pushingwithfingers(_651040), -(isa(_651040, c_pushingwithfingers))], (2056 ^ _592484) ^ [_651242, _651244] : [affiliatedwith(_651244, _651242), -(agent_generic(_651242))], (2062 ^ _592484) ^ [_651450, _651452] : [affiliatedwith(_651452, _651450), -(agent_generic(_651452))], (2068 ^ _592484) ^ [_651658, _651660] : [affiliatedwith(_651660, _651658), -(affiliatedwith(_651658, _651660))], (2074 ^ _592484) ^ [_651838] : [affiliatedwith(_651838, _651838)], (2076 ^ _592484) ^ [_651931] : [isa(_651931, c_footballteam), -(footballteam(_651931))], (2082 ^ _592484) ^ [_652119] : [footballteam(_652119), -(isa(_652119, c_footballteam))], (2088 ^ _592484) ^ [_652307] : [isa(_652307, c_tptpcol_16_4451), -(tptpcol_16_4451(_652307))], (2094 ^ _592484) ^ [_652495] : [tptpcol_16_4451(_652495), -(isa(_652495, c_tptpcol_16_4451))], (2100 ^ _592484) ^ [_652683] : [isa(_652683, c_pushingwithopenhand), -(pushingwithopenhand(_652683))], (2106 ^ _592484) ^ [_652871] : [pushingwithopenhand(_652871), -(isa(_652871, c_pushingwithopenhand))], (2112 ^ _592484) ^ [_653059] : [isa(_653059, c_tptpcol_15_22076), -(tptpcol_15_22076(_653059))], (2118 ^ _592484) ^ [_653247] : [tptpcol_15_22076(_653247), -(isa(_653247, c_tptpcol_15_22076))], (2124 ^ _592484) ^ [_653420] : [-(natfunction(f_tptpquantityfn_2(_653420), c_tptpquantityfn_2))], (2126 ^ _592484) ^ [_653500] : [-(natargument(f_tptpquantityfn_2(_653500), n_1, _653500))], (2128 ^ _592484) ^ [_653581] : [-(tptpquantity(f_tptpquantityfn_2(_653581)))], (2130 ^ _592484) ^ [_653675] : [isa(_653675, c_tptpcol_7_39939), -(tptpcol_7_39939(_653675))], (2136 ^ _592484) ^ [_653863] : [tptpcol_7_39939(_653863), -(isa(_653863, c_tptpcol_7_39939))], (2142 ^ _592484) ^ [_654051] : [isa(_654051, c_tptpcol_8_39940), -(tptpcol_8_39940(_654051))], (2148 ^ _592484) ^ [_654239] : [tptpcol_8_39940(_654239), -(isa(_654239, c_tptpcol_8_39940))], (2154 ^ _592484) ^ [_654427] : [isa(_654427, c_tptpcol_15_26925), -(tptpcol_15_26925(_654427))], (2160 ^ _592484) ^ [_654615] : [tptpcol_15_26925(_654615), -(isa(_654615, c_tptpcol_15_26925))], (2166 ^ _592484) ^ [_654803] : [isa(_654803, c_tptpcol_16_26926), -(tptpcol_16_26926(_654803))], (2172 ^ _592484) ^ [_654991] : [tptpcol_16_26926(_654991), -(isa(_654991, c_tptpcol_16_26926))], (2178 ^ _592484) ^ [_655179] : [isa(_655179, c_tptpcol_13_118117), -(tptpcol_13_118117(_655179))], (2184 ^ _592484) ^ [_655367] : [tptpcol_13_118117(_655367), -(isa(_655367, c_tptpcol_13_118117))], (2190 ^ _592484) ^ [_655555] : [isa(_655555, c_tptpcol_5_90114), -(tptpcol_5_90114(_655555))], (2196 ^ _592484) ^ [_655743] : [tptpcol_5_90114(_655743), -(isa(_655743, c_tptpcol_5_90114))], (2202 ^ _592484) ^ [_655945, _655947] : [tptptypes_5_802(_655947, _655945), -(firstordercollection(_655945))], (2208 ^ _592484) ^ [_656153, _656155] : [tptptypes_5_802(_656155, _656153), -(firstordercollection(_656155))], (2214 ^ _592484) ^ [_656347] : [isa(_656347, c_tptpcol_16_72795), -(tptpcol_16_72795(_656347))], (2220 ^ _592484) ^ [_656535] : [tptpcol_16_72795(_656535), -(isa(_656535, c_tptpcol_16_72795))], (2226 ^ _592484) ^ [_656723] : [isa(_656723, c_tptpcol_8_114177), -(tptpcol_8_114177(_656723))], (2232 ^ _592484) ^ [_656911] : [tptpcol_8_114177(_656911), -(isa(_656911, c_tptpcol_8_114177))], (2238 ^ _592484) ^ [_657099] : [isa(_657099, c_tptpcol_15_50957), -(tptpcol_15_50957(_657099))], (2244 ^ _592484) ^ [_657287] : [tptpcol_15_50957(_657287), -(isa(_657287, c_tptpcol_15_50957))], (2250 ^ _592484) ^ [_657475] : [isa(_657475, c_tptpcol_16_50958), -(tptpcol_16_50958(_657475))], (2256 ^ _592484) ^ [_657663] : [tptpcol_16_50958(_657663), -(isa(_657663, c_tptpcol_16_50958))], (2262 ^ _592484) ^ [_657851] : [isa(_657851, c_tptpcol_6_71683), -(tptpcol_6_71683(_657851))], (2268 ^ _592484) ^ [_658039] : [tptpcol_6_71683(_658039), -(isa(_658039, c_tptpcol_6_71683))], (2274 ^ _592484) ^ [_658227] : [isa(_658227, c_tptpcol_11_72774), -(tptpcol_11_72774(_658227))], (2280 ^ _592484) ^ [_658415] : [tptpcol_11_72774(_658415), -(isa(_658415, c_tptpcol_11_72774))], (2286 ^ _592484) ^ [_658603] : [isa(_658603, c_tptpcol_12_72775), -(tptpcol_12_72775(_658603))], (2292 ^ _592484) ^ [_658791] : [tptpcol_12_72775(_658791), -(isa(_658791, c_tptpcol_12_72775))], (2298 ^ _592484) ^ [_658979] : [isa(_658979, c_tptpcol_5_110593), -(tptpcol_5_110593(_658979))], (2304 ^ _592484) ^ [_659167] : [tptpcol_5_110593(_659167), -(isa(_659167, c_tptpcol_5_110593))], (2310 ^ _592484) ^ [_659355] : [isa(_659355, c_tptpcol_16_25972), -(tptpcol_16_25972(_659355))], (2316 ^ _592484) ^ [_659543] : [tptpcol_16_25972(_659543), -(isa(_659543, c_tptpcol_16_25972))], (2322 ^ _592484) ^ [_659745, _659747] : [tptp_8_271(_659747, _659745), -(razor(_659745))], (2328 ^ _592484) ^ [_659953, _659955] : [tptp_8_271(_659955, _659953), -(tptpcol_5_24579(_659955))], (2334 ^ _592484) ^ [_660147] : [isa(_660147, c_tptpcol_4_90113), -(tptpcol_4_90113(_660147))], (2340 ^ _592484) ^ [_660335] : [tptpcol_4_90113(_660335), -(isa(_660335, c_tptpcol_4_90113))], (2346 ^ _592484) ^ [_660523] : [isa(_660523, c_tptpcol_10_93700), -(tptpcol_10_93700(_660523))], (2352 ^ _592484) ^ [_660711] : [tptpcol_10_93700(_660711), -(isa(_660711, c_tptpcol_10_93700))], (2358 ^ _592484) ^ [_660899] : [isa(_660899, c_tptpcol_9_93699), -(tptpcol_9_93699(_660899))], (2364 ^ _592484) ^ [_661087] : [tptpcol_9_93699(_661087), -(isa(_661087, c_tptpcol_9_93699))], (2370 ^ _592484) ^ [_661275] : [isa(_661275, c_aspatialthing), -(aspatialthing(_661275))], (2376 ^ _592484) ^ [_661463] : [aspatialthing(_661463), -(isa(_661463, c_aspatialthing))], (2382 ^ _592484) ^ [_661651] : [isa(_661651, c_tptpcol_7_117762), -(tptpcol_7_117762(_661651))], (2388 ^ _592484) ^ [_661839] : [tptpcol_7_117762(_661839), -(isa(_661839, c_tptpcol_7_117762))], (2394 ^ _592484) ^ [_662027] : [isa(_662027, c_tptpcol_8_117763), -(tptpcol_8_117763(_662027))], (2400 ^ _592484) ^ [_662215] : [tptpcol_8_117763(_662215), -(isa(_662215, c_tptpcol_8_117763))], (2406 ^ _592484) ^ [_662403] : [isa(_662403, c_tptpcol_7_18437), -(tptpcol_7_18437(_662403))], (2412 ^ _592484) ^ [_662591] : [tptpcol_7_18437(_662591), -(isa(_662591, c_tptpcol_7_18437))], (2418 ^ _592484) ^ [_662779] : [isa(_662779, c_tptpcol_6_18436), -(tptpcol_6_18436(_662779))], (2424 ^ _592484) ^ [_662967] : [tptpcol_6_18436(_662967), -(isa(_662967, c_tptpcol_6_18436))], (2430 ^ _592484) ^ [_663155] : [isa(_663155, c_tptpcol_8_93698), -(tptpcol_8_93698(_663155))], (2436 ^ _592484) ^ [_663343] : [tptpcol_8_93698(_663343), -(isa(_663343, c_tptpcol_8_93698))], (2442 ^ _592484) ^ [_663531] : [isa(_663531, c_tptpcol_11_109125), -(tptpcol_11_109125(_663531))], (2448 ^ _592484) ^ [_663719] : [tptpcol_11_109125(_663719), -(isa(_663719, c_tptpcol_11_109125))], (2454 ^ _592484) ^ [_663907] : [isa(_663907, c_tptpcol_6_108546), -(tptpcol_6_108546(_663907))], (2460 ^ _592484) ^ [_664095] : [tptpcol_6_108546(_664095), -(isa(_664095, c_tptpcol_6_108546))], (2466 ^ _592484) ^ [_664283] : [isa(_664283, c_tptpcol_6_20484), -(tptpcol_6_20484(_664283))], (2472 ^ _592484) ^ [_664471] : [tptpcol_6_20484(_664471), -(isa(_664471, c_tptpcol_6_20484))], (2478 ^ _592484) ^ [_664673, _664675] : [few(_664675, _664673), -(setorcollection(_664673))], (2484 ^ _592484) ^ [_664881, _664883] : [few(_664883, _664881), -(setorcollection(_664881))], (2490 ^ _592484) ^ [_665089, _665091] : [few(_665091, _665089), -(setorcollection(_665091))], (2496 ^ _592484) ^ [_665297, _665299] : [few(_665299, _665297), -(setorcollection(_665299))], (2502 ^ _592484) ^ [_665519, _665521, _665523] : [-(few(_665523, _665519)), few(_665523, _665521), subsetof(_665519, _665521)], (2512 ^ _592484) ^ [_665814] : [isa(_665814, c_tptpcol_15_130931), -(tptpcol_15_130931(_665814))], (2518 ^ _592484) ^ [_666002] : [tptpcol_15_130931(_666002), -(isa(_666002, c_tptpcol_15_130931))], (2524 ^ _592484) ^ [_666190] : [isa(_666190, c_tptpcol_16_130933), -(tptpcol_16_130933(_666190))], (2530 ^ _592484) ^ [_666378] : [tptpcol_16_130933(_666378), -(isa(_666378, c_tptpcol_16_130933))], (2536 ^ _592484) ^ [_666566] : [isa(_666566, c_tptpcol_7_92163), -(tptpcol_7_92163(_666566))], (2542 ^ _592484) ^ [_666754] : [tptpcol_7_92163(_666754), -(isa(_666754, c_tptpcol_7_92163))], (2548 ^ _592484) ^ [_666942] : [isa(_666942, c_tptpcol_15_130923), -(tptpcol_15_130923(_666942))], (2554 ^ _592484) ^ [_667130] : [tptpcol_15_130923(_667130), -(isa(_667130, c_tptpcol_15_130923))], (2560 ^ _592484) ^ [_667318] : [isa(_667318, c_tptpcol_16_130924), -(tptpcol_16_130924(_667318))], (2566 ^ _592484) ^ [_667506] : [tptpcol_16_130924(_667506), -(isa(_667506, c_tptpcol_16_130924))], (2572 ^ _592484) ^ [_667694] : [isa(_667694, c_intangibleindividual), -(intangibleindividual(_667694))], (2578 ^ _592484) ^ [_667882] : [intangibleindividual(_667882), -(isa(_667882, c_intangibleindividual))], (2584 ^ _592484) ^ [_668069, _668071] : [-(natfunction(f_citynamedfn(_668071, _668069), c_citynamedfn))], (2586 ^ _592484) ^ [_668166, _668168] : [-(natargument(f_citynamedfn(_668168, _668166), n_1, _668168))], (2588 ^ _592484) ^ [_668264, _668266] : [-(natargument(f_citynamedfn(_668266, _668264), n_2, _668264))], (2590 ^ _592484) ^ [_668362, _668364] : [-(city(f_citynamedfn(_668364, _668362)))], (2592 ^ _592484) ^ [_668459] : [isa(_668459, c_tptpcol_13_26920), -(tptpcol_13_26920(_668459))], (2598 ^ _592484) ^ [_668647] : [tptpcol_13_26920(_668647), -(isa(_668647, c_tptpcol_13_26920))], (2604 ^ _592484) ^ [_668835] : [isa(_668835, c_tptpcol_14_26921), -(tptpcol_14_26921(_668835))], (2610 ^ _592484) ^ [_669023] : [tptpcol_14_26921(_669023), -(isa(_669023, c_tptpcol_14_26921))], (2616 ^ _592484) ^ [_669211] : [isa(_669211, c_tptpcol_3_65538), -(tptpcol_3_65538(_669211))], (2622 ^ _592484) ^ [_669399] : [tptpcol_3_65538(_669399), -(isa(_669399, c_tptpcol_3_65538))], (2628 ^ _592484) ^ [_669587] : [isa(_669587, c_tptpcol_16_27189), -(tptpcol_16_27189(_669587))], (2634 ^ _592484) ^ [_669775] : [tptpcol_16_27189(_669775), -(isa(_669775, c_tptpcol_16_27189))], (2640 ^ _592484) ^ [_669977, _669979] : [tptp_9_51(_669979, _669977), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_669977))], (2646 ^ _592484) ^ [_670185, _670187] : [tptp_9_51(_670187, _670185), -(tptpcol_7_26628(_670187))], (2652 ^ _592484) ^ [_670379] : [isa(_670379, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670379))], (2658 ^ _592484) ^ [_670567] : [reflexivebinarypredicate(_670567), -(isa(_670567, c_reflexivebinarypredicate))], (2664 ^ _592484) ^ [_670755] : [isa(_670755, c_tptpcol_7_21508), -(tptpcol_7_21508(_670755))], (2670 ^ _592484) ^ [_670943] : [tptpcol_7_21508(_670943), -(isa(_670943, c_tptpcol_7_21508))], (2676 ^ _592484) ^ [_671131] : [isa(_671131, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671131))], (2682 ^ _592484) ^ [_671319] : [hpkb_subnationalagent(_671319), -(isa(_671319, c_hpkb_subnationalagent))], (2688 ^ _592484) ^ [_671507] : [isa(_671507, c_state_geopolitical), -(state_geopolitical(_671507))], (2694 ^ _592484) ^ [_671695] : [state_geopolitical(_671695), -(isa(_671695, c_state_geopolitical))], (2700 ^ _592484) ^ [_671910, _671912, _671914, _671916] : [-(natfunction(f_relationallexistsfn(_671916, _671914, _671912, _671910), c_relationallexistsfn))], (2702 ^ _592484) ^ [_672041, _672043, _672045, _672047] : [-(natargument(f_relationallexistsfn(_672047, _672045, _672043, _672041), n_1, _672047))], (2704 ^ _592484) ^ [_672173, _672175, _672177, _672179] : [-(natargument(f_relationallexistsfn(_672179, _672177, _672175, _672173), n_2, _672177))], (2706 ^ _592484) ^ [_672305, _672307, _672309, _672311] : [-(natargument(f_relationallexistsfn(_672311, _672309, _672307, _672305), n_3, _672307))], (2708 ^ _592484) ^ [_672437, _672439, _672441, _672443] : [-(natargument(f_relationallexistsfn(_672443, _672441, _672439, _672437), n_4, _672437))], (2710 ^ _592484) ^ [_672569, _672571, _672573, _672575] : [-(thing(f_relationallexistsfn(_672575, _672573, _672571, _672569)))], (2712 ^ _592484) ^ [_672686, _672688] : [arg2isa(_672688, _672686), -(collection(_672686))], (2718 ^ _592484) ^ [_672894, _672896] : [arg2isa(_672896, _672894), -(relation(_672896))], (2724 ^ _592484) ^ [_673116, _673118, _673120] : [-(arg2isa(_673120, _673116)), arg2isa(_673120, _673118), genls(_673118, _673116)], (2734 ^ _592484) ^ [_673439, _673441, _673443] : [-(arg2isa(_673443, _673439)), arg2isa(_673443, _673441), genls(_673441, _673439)], (2744 ^ _592484) ^ [_673734] : [isa(_673734, c_geolevel_1), -(geolevel_1(_673734))], (2750 ^ _592484) ^ [_673922] : [geolevel_1(_673922), -(isa(_673922, c_geolevel_1))], (2756 ^ _592484) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592484) ^ [_674163] : [isa(_674163, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674163))], (2764 ^ _592484) ^ [_674351] : [spatialthing_nonsituational(_674351), -(isa(_674351, c_spatialthing_nonsituational))], (2770 ^ _592484) ^ [_674539] : [isa(_674539, c_militaryperson), -(militaryperson(_674539))], (2776 ^ _592484) ^ [_674727] : [militaryperson(_674727), -(isa(_674727, c_militaryperson))], (2782 ^ _592484) ^ [_674915] : [isa(_674915, c_tptpcol_15_72793), -(tptpcol_15_72793(_674915))], (2788 ^ _592484) ^ [_675103] : [tptpcol_15_72793(_675103), -(isa(_675103, c_tptpcol_15_72793))], (2794 ^ _592484) ^ [_675291] : [isa(_675291, c_tptpcol_9_26885), -(tptpcol_9_26885(_675291))], (2800 ^ _592484) ^ [_675479] : [tptpcol_9_26885(_675479), -(isa(_675479, c_tptpcol_9_26885))], (2806 ^ _592484) ^ [_675667] : [isa(_675667, c_tptpcol_10_26886), -(tptpcol_10_26886(_675667))], (2812 ^ _592484) ^ [_675855] : [tptpcol_10_26886(_675855), -(isa(_675855, c_tptpcol_10_26886))], (2818 ^ _592484) ^ [_676057, _676059] : [tptptypes_8_823(_676059, _676057), -(firstordercollection(_676057))], (2824 ^ _592484) ^ [_676265, _676267] : [tptptypes_8_823(_676267, _676265), -(firstordercollection(_676267))], (2830 ^ _592484) ^ [_676459] : [isa(_676459, c_tptpcol_16_92269), -(tptpcol_16_92269(_676459))], (2836 ^ _592484) ^ [_676647] : [tptpcol_16_92269(_676647), -(isa(_676647, c_tptpcol_16_92269))], (2842 ^ _592484) ^ [_676835] : [isa(_676835, c_tptpcol_15_109185), -(tptpcol_15_109185(_676835))], (2848 ^ _592484) ^ [_677023] : [tptpcol_15_109185(_677023), -(isa(_677023, c_tptpcol_15_109185))], (2854 ^ _592484) ^ [_677211] : [isa(_677211, c_tptpcol_6_26627), -(tptpcol_6_26627(_677211))], (2860 ^ _592484) ^ [_677399] : [tptpcol_6_26627(_677399), -(isa(_677399, c_tptpcol_6_26627))], (2866 ^ _592484) ^ [_677587] : [isa(_677587, c_tptpcol_12_118116), -(tptpcol_12_118116(_677587))], (2872 ^ _592484) ^ [_677775] : [tptpcol_12_118116(_677775), -(isa(_677775, c_tptpcol_12_118116))], (2878 ^ _592484) ^ [_677963] : [isa(_677963, c_tptpcol_8_18438), -(tptpcol_8_18438(_677963))], (2884 ^ _592484) ^ [_678151] : [tptpcol_8_18438(_678151), -(isa(_678151, c_tptpcol_8_18438))], (2890 ^ _592484) ^ [_678339] : [isa(_678339, c_tptpcol_15_30970), -(tptpcol_15_30970(_678339))], (2896 ^ _592484) ^ [_678527] : [tptpcol_15_30970(_678527), -(isa(_678527, c_tptpcol_15_30970))], (2902 ^ _592484) ^ [_678715] : [isa(_678715, c_tptpcol_16_30972), -(tptpcol_16_30972(_678715))], (2908 ^ _592484) ^ [_678903] : [tptpcol_16_30972(_678903), -(isa(_678903, c_tptpcol_16_30972))], (2914 ^ _592484) ^ [_679091] : [isa(_679091, c_tptpcol_14_109181), -(tptpcol_14_109181(_679091))], (2920 ^ _592484) ^ [_679279] : [tptpcol_14_109181(_679279), -(isa(_679279, c_tptpcol_14_109181))], (2926 ^ _592484) ^ [_679467] : [isa(_679467, c_physicalorderingpredicate), -(physicalorderingpredicate(_679467))], (2932 ^ _592484) ^ [_679655] : [physicalorderingpredicate(_679655), -(isa(_679655, c_physicalorderingpredicate))], (2938 ^ _592484) ^ [_679843] : [isa(_679843, c_tptpcol_16_7738), -(tptpcol_16_7738(_679843))], (2944 ^ _592484) ^ [_680031] : [tptpcol_16_7738(_680031), -(isa(_680031, c_tptpcol_16_7738))], (2950 ^ _592484) ^ [_680233, _680235] : [tptp_8_968(_680235, _680233), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680233))], (2956 ^ _592484) ^ [_680441, _680443] : [tptp_8_968(_680443, _680441), -(tptpcol_7_7172(_680443))], (2962 ^ _592484) ^ [_680663, _680665, _680667] : [relationexistsall(_680667, _680665, _680663), -(collection(_680663))], (2968 ^ _592484) ^ [_680893, _680895, _680897] : [relationexistsall(_680897, _680895, _680893), -(collection(_680895))], (2974 ^ _592484) ^ [_681123, _681125, _681127] : [relationexistsall(_681127, _681125, _681123), -(binarypredicate(_681127))], (2980 ^ _592484) ^ [_681325] : [isa(_681325, c_tptpcol_7_26628), -(tptpcol_7_26628(_681325))], (2986 ^ _592484) ^ [_681513] : [tptpcol_7_26628(_681513), -(isa(_681513, c_tptpcol_7_26628))], (2992 ^ _592484) ^ [_681701] : [isa(_681701, c_tptpcol_8_26629), -(tptpcol_8_26629(_681701))], (2998 ^ _592484) ^ [_681889] : [tptpcol_8_26629(_681889), -(isa(_681889, c_tptpcol_8_26629))], (3004 ^ _592484) ^ [_682077] : [isa(_682077, c_tptpcol_3_114688), -(tptpcol_3_114688(_682077))], (3010 ^ _592484) ^ [_682265] : [tptpcol_3_114688(_682265), -(isa(_682265, c_tptpcol_3_114688))], (3016 ^ _592484) ^ [_682438] : [-(natfunction(f_contextofpcwfn(_682438), c_contextofpcwfn))], (3018 ^ _592484) ^ [_682518] : [-(natargument(f_contextofpcwfn(_682518), n_1, _682518))], (3020 ^ _592484) ^ [_682599] : [-(microtheory(f_contextofpcwfn(_682599)))], (3022 ^ _592484) ^ [_682707, _682709] : [arg1isa(_682709, _682707), -(collection(_682707))], (3028 ^ _592484) ^ [_682915, _682917] : [arg1isa(_682917, _682915), -(relation(_682917))], (3034 ^ _592484) ^ [_683137, _683139, _683141] : [-(arg1isa(_683141, _683137)), arg1isa(_683141, _683139), genls(_683139, _683137)], (3044 ^ _592484) ^ [_683460, _683462, _683464] : [-(arg1isa(_683464, _683460)), arg1isa(_683464, _683462), genls(_683462, _683460)], (3054 ^ _592484) ^ [_683769, _683771] : [objectfoundinlocation(_683771, _683769), -(spatialthing_nonsituational(_683769))], (3060 ^ _592484) ^ [_683977, _683979] : [objectfoundinlocation(_683979, _683977), -(spatialthing_localized(_683977))], (3066 ^ _592484) ^ [_684185, _684187] : [objectfoundinlocation(_684187, _684185), -(spatialthing_nonsituational(_684187))], (3072 ^ _592484) ^ [_684393, _684395] : [objectfoundinlocation(_684395, _684393), -(spatialthing_localized(_684395))], (3078 ^ _592484) ^ [_684615, _684617, _684619] : [-(objectfoundinlocation(_684619, _684615)), objectfoundinlocation(_684619, _684617), objectfoundinlocation(_684617, _684615)], (3088 ^ _592484) ^ [_684894] : [objectfoundinlocation(_684894, _684894)], (3090 ^ _592484) ^ [_685015, _685017, _685019] : [-(objectfoundinlocation(_685019, _685015)), objectfoundinlocation(_685019, _685017), geopoliticalsubdivision(_685015, _685017)], (3100 ^ _592484) ^ [_685338, _685340, _685342] : [-(objectfoundinlocation(_685342, _685338)), objectfoundinlocation(_685342, _685340), geographicallysubsumes(_685338, _685340)], (3110 ^ _592484) ^ [_685661, _685663, _685665] : [-(objectfoundinlocation(_685665, _685661)), objectfoundinlocation(_685665, _685663), subregions(_685661, _685663)], (3120 ^ _592484) ^ [_685956] : [isa(_685956, c_ship), -(ship(_685956))], (3126 ^ _592484) ^ [_686144] : [ship(_686144), -(isa(_686144, c_ship))], (3132 ^ _592484) ^ [_686345, _686347, _686349] : [-(natfunction(f_subcollectionofwithrelationtofn(_686349, _686347, _686345), c_subcollectionofwithrelationtofn))], (3134 ^ _592484) ^ [_686459, _686461, _686463] : [-(natargument(f_subcollectionofwithrelationtofn(_686463, _686461, _686459), n_1, _686463))], (3136 ^ _592484) ^ [_686574, _686576, _686578] : [-(natargument(f_subcollectionofwithrelationtofn(_686578, _686576, _686574), n_2, _686576))], (3138 ^ _592484) ^ [_686689, _686691, _686693] : [-(natargument(f_subcollectionofwithrelationtofn(_686693, _686691, _686689), n_3, _686689))], (3140 ^ _592484) ^ [_686804, _686806, _686808] : [-(collection(f_subcollectionofwithrelationtofn(_686808, _686806, _686804)))], (3142 ^ _592484) ^ [_686904] : [isa(_686904, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686904))], (3148 ^ _592484) ^ [_687092] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687092), -(isa(_687092, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592484) ^ [_687280] : [isa(_687280, c_tptpcol_4_65539), -(tptpcol_4_65539(_687280))], (3160 ^ _592484) ^ [_687468] : [tptpcol_4_65539(_687468), -(isa(_687468, c_tptpcol_4_65539))], (3166 ^ _592484) ^ [_687656] : [isa(_687656, c_tptpcol_5_69635), -(tptpcol_5_69635(_687656))], (3172 ^ _592484) ^ [_687844] : [tptpcol_5_69635(_687844), -(isa(_687844, c_tptpcol_5_69635))], (3178 ^ _592484) ^ [_688032] : [isa(_688032, c_tptpcol_3_16386), -(tptpcol_3_16386(_688032))], (3184 ^ _592484) ^ [_688220] : [tptpcol_3_16386(_688220), -(isa(_688220, c_tptpcol_3_16386))], (3190 ^ _592484) ^ [_688422, _688424] : [no(_688424, _688422), -(setorcollection(_688422))], (3196 ^ _592484) ^ [_688630, _688632] : [no(_688632, _688630), -(setorcollection(_688632))], (3202 ^ _592484) ^ [_688838, _688840] : [no(_688840, _688838), -(no(_688838, _688840))], (3208 ^ _592484) ^ [_689062, _689064, _689066] : [-(no(_689066, _689062)), no(_689066, _689064), subsetof(_689062, _689064)], (3218 ^ _592484) ^ [_689385, _689387, _689389] : [-(no(_689385, _689387)), no(_689389, _689387), subsetof(_689385, _689389)], (3228 ^ _592484) ^ [_689708, _689710, _689712] : [-(no(_689708, _689710)), no(_689712, _689710), genls(_689708, _689712)], (3238 ^ _592484) ^ [_690031, _690033, _690035] : [-(no(_690035, _690031)), no(_690035, _690033), genls(_690031, _690033)], (3248 ^ _592484) ^ [_690354, _690356, _690358] : [-(no(_690354, _690356)), no(_690358, _690356), subsetof(_690354, _690358)], (3258 ^ _592484) ^ [_690677, _690679, _690681] : [-(no(_690681, _690677)), no(_690681, _690679), subsetof(_690677, _690679)], (3268 ^ _592484) ^ [_690972] : [isa(_690972, c_geographicalregion), -(geographicalregion(_690972))], (3274 ^ _592484) ^ [_691160] : [geographicalregion(_691160), -(isa(_691160, c_geographicalregion))], (3280 ^ _592484) ^ [_691333] : [-(natfunction(f_tptpquantityfn_21(_691333), c_tptpquantityfn_21))], (3282 ^ _592484) ^ [_691413] : [-(natargument(f_tptpquantityfn_21(_691413), n_1, _691413))], (3284 ^ _592484) ^ [_691494] : [-(tptpquantity(f_tptpquantityfn_21(_691494)))], (3286 ^ _592484) ^ [_691602, _691604] : [airporthasiatacode(_691604, _691602), -(stringoflengthfn3(_691602))], (3292 ^ _592484) ^ [_691810, _691812] : [airporthasiatacode(_691812, _691810), -(airport_physical(_691812))], (3298 ^ _592484) ^ [_692004] : [isa(_692004, c_airport_physical), -(airport_physical(_692004))], (3304 ^ _592484) ^ [_692192] : [airport_physical(_692192), -(isa(_692192, c_airport_physical))], (3310 ^ _592484) ^ [_692393, _692395, _692397] : [-(natfunction(f_instancewithrelationtofn(_692397, _692395, _692393), c_instancewithrelationtofn))], (3312 ^ _592484) ^ [_692507, _692509, _692511] : [-(natargument(f_instancewithrelationtofn(_692511, _692509, _692507), n_1, _692511))], (3314 ^ _592484) ^ [_692622, _692624, _692626] : [-(natargument(f_instancewithrelationtofn(_692626, _692624, _692622), n_2, _692624))], (3316 ^ _592484) ^ [_692737, _692739, _692741] : [-(natargument(f_instancewithrelationtofn(_692741, _692739, _692737), n_3, _692737))], (3318 ^ _592484) ^ [_692852, _692854, _692856] : [-(thing(f_instancewithrelationtofn(_692856, _692854, _692852)))], (3320 ^ _592484) ^ [_692952] : [isa(_692952, c_tptpcol_6_112641), -(tptpcol_6_112641(_692952))], (3326 ^ _592484) ^ [_693140] : [tptpcol_6_112641(_693140), -(isa(_693140, c_tptpcol_6_112641))], (3332 ^ _592484) ^ [_693328] : [isa(_693328, c_tptpcol_7_113665), -(tptpcol_7_113665(_693328))], (3338 ^ _592484) ^ [_693516] : [tptpcol_7_113665(_693516), -(isa(_693516, c_tptpcol_7_113665))], (3344 ^ _592484) ^ [_693704] : [isa(_693704, c_artifact), -(artifact(_693704))], (3350 ^ _592484) ^ [_693892] : [artifact(_693892), -(isa(_693892, c_artifact))], (3356 ^ _592484) ^ [_694080] : [isa(_694080, c_tptpcol_13_18664), -(tptpcol_13_18664(_694080))], (3362 ^ _592484) ^ [_694268] : [tptpcol_13_18664(_694268), -(isa(_694268, c_tptpcol_13_18664))], (3368 ^ _592484) ^ [_694456] : [isa(_694456, c_firstordercollection), -(firstordercollection(_694456))], (3374 ^ _592484) ^ [_694644] : [firstordercollection(_694644), -(isa(_694644, c_firstordercollection))], (3380 ^ _592484) ^ [_694817] : [-(natfunction(f_tptpquantityfn_14(_694817), c_tptpquantityfn_14))], (3382 ^ _592484) ^ [_694897] : [-(natargument(f_tptpquantityfn_14(_694897), n_1, _694897))], (3384 ^ _592484) ^ [_694978] : [-(tptpquantity(f_tptpquantityfn_14(_694978)))], (3386 ^ _592484) ^ [_695072] : [isa(_695072, c_supplies), -(supplies(_695072))], (3392 ^ _592484) ^ [_695260] : [supplies(_695260), -(isa(_695260, c_supplies))], (3398 ^ _592484) ^ [_695448] : [isa(_695448, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695448))], (3404 ^ _592484) ^ [_695636] : [inanimateobject_nonnatural(_695636), -(isa(_695636, c_inanimateobject_nonnatural))], (3410 ^ _592484) ^ [_695824] : [isa(_695824, c_tptpcol_13_22071), -(tptpcol_13_22071(_695824))], (3416 ^ _592484) ^ [_696012] : [tptpcol_13_22071(_696012), -(isa(_696012, c_tptpcol_13_22071))], (3422 ^ _592484) ^ [_696200] : [isa(_696200, c_tptpcol_14_22072), -(tptpcol_14_22072(_696200))], (3428 ^ _592484) ^ [_696388] : [tptpcol_14_22072(_696388), -(isa(_696388, c_tptpcol_14_22072))], (3434 ^ _592484) ^ [_696576] : [isa(_696576, c_tptpcol_7_108547), -(tptpcol_7_108547(_696576))], (3440 ^ _592484) ^ [_696764] : [tptpcol_7_108547(_696764), -(isa(_696764, c_tptpcol_7_108547))], (3446 ^ _592484) ^ [_696952] : [isa(_696952, c_tptpcol_8_109059), -(tptpcol_8_109059(_696952))], (3452 ^ _592484) ^ [_697140] : [tptpcol_8_109059(_697140), -(isa(_697140, c_tptpcol_8_109059))], (3458 ^ _592484) ^ [_697328] : [isa(_697328, c_tptpcol_14_93774), -(tptpcol_14_93774(_697328))], (3464 ^ _592484) ^ [_697516] : [tptpcol_14_93774(_697516), -(isa(_697516, c_tptpcol_14_93774))], (3470 ^ _592484) ^ [_697704] : [isa(_697704, c_tptpcol_15_93775), -(tptpcol_15_93775(_697704))], (3476 ^ _592484) ^ [_697892] : [tptpcol_15_93775(_697892), -(isa(_697892, c_tptpcol_15_93775))], (3482 ^ _592484) ^ [_698080] : [isa(_698080, c_tptpcol_16_8886), -(tptpcol_16_8886(_698080))], (3488 ^ _592484) ^ [_698268] : [tptpcol_16_8886(_698268), -(isa(_698268, c_tptpcol_16_8886))], (3494 ^ _592484) ^ [_698470, _698472] : [orientation(_698472, _698470), -(orientationvector(_698470))], (3500 ^ _592484) ^ [_698678, _698680] : [orientation(_698680, _698678), -(spatialthing_localized(_698680))], (3506 ^ _592484) ^ [_698872] : [isa(_698872, c_orientationvector), -(orientationvector(_698872))], (3512 ^ _592484) ^ [_699060] : [orientationvector(_699060), -(isa(_699060, c_orientationvector))], (3518 ^ _592484) ^ [_699248] : [isa(_699248, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699248))], (3524 ^ _592484) ^ [_699436] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699436), -(isa(_699436, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592484) ^ [_699638, _699640] : [tptptypes_9_824(_699640, _699638), -(firstordercollection(_699638))], (3536 ^ _592484) ^ [_699846, _699848] : [tptptypes_9_824(_699848, _699846), -(firstordercollection(_699848))], (3542 ^ _592484) ^ [_700054, _700056] : [tptptypes_7_396(_700056, _700054), -(firstordercollection(_700054))], (3548 ^ _592484) ^ [_700262, _700264] : [tptptypes_7_396(_700264, _700262), -(firstordercollection(_700264))], (3554 ^ _592484) ^ [_700456] : [isa(_700456, c_tptpcol_12_22055), -(tptpcol_12_22055(_700456))], (3560 ^ _592484) ^ [_700644] : [tptpcol_12_22055(_700644), -(isa(_700644, c_tptpcol_12_22055))], (3566 ^ _592484) ^ [_700832] : [isa(_700832, c_tptpcol_16_29490), -(tptpcol_16_29490(_700832))], (3572 ^ _592484) ^ [_701020] : [tptpcol_16_29490(_701020), -(isa(_701020, c_tptpcol_16_29490))], (3578 ^ _592484) ^ [_701222, _701224] : [tptp_9_720(_701224, _701222), -(tptpcol_5_28674(_701222))], (3584 ^ _592484) ^ [_701430, _701432] : [tptp_9_720(_701432, _701430), -(executionbyfiringsquad(_701432))], (3590 ^ _592484) ^ [_701624] : [isa(_701624, c_runningshorts), -(runningshorts(_701624))], (3596 ^ _592484) ^ [_701812] : [runningshorts(_701812), -(isa(_701812, c_runningshorts))], (3602 ^ _592484) ^ [_702000] : [isa(_702000, c_tptpcol_9_118019), -(tptpcol_9_118019(_702000))], (3608 ^ _592484) ^ [_702188] : [tptpcol_9_118019(_702188), -(isa(_702188, c_tptpcol_9_118019))], (3614 ^ _592484) ^ [_702376] : [isa(_702376, c_tptpcol_16_31868), -(tptpcol_16_31868(_702376))], (3620 ^ _592484) ^ [_702564] : [tptpcol_16_31868(_702564), -(isa(_702564, c_tptpcol_16_31868))], (3626 ^ _592484) ^ [_702752] : [isa(_702752, c_movement_translationevent), -(movement_translationevent(_702752))], (3632 ^ _592484) ^ [_702940] : [movement_translationevent(_702940), -(isa(_702940, c_movement_translationevent))], (3638 ^ _592484) ^ [_703142, _703144] : [directionoftranslation_throughout(_703144, _703142), -(unitvectorinterval(_703142))], (3644 ^ _592484) ^ [_703350, _703352] : [directionoftranslation_throughout(_703352, _703350), -(movement_translationevent(_703352))], (3650 ^ _592484) ^ [_703572, _703574, _703576] : [-(directionoftranslation_throughout(_703572, _703574)), directionoftranslation_throughout(_703576, _703574), subevents(_703576, _703572)], (3660 ^ _592484) ^ [_703867] : [isa(_703867, c_unitvectorinterval), -(unitvectorinterval(_703867))], (3666 ^ _592484) ^ [_704055] : [unitvectorinterval(_704055), -(isa(_704055, c_unitvectorinterval))], (3672 ^ _592484) ^ [_704243] : [isa(_704243, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704243))], (3678 ^ _592484) ^ [_704431] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704431), -(isa(_704431, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592484) ^ [_704633, _704635] : [tptp_8_875(_704635, _704633), -(tptpcol_4_24578(_704633))], (3690 ^ _592484) ^ [_704841, _704843] : [tptp_8_875(_704843, _704841), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704843))], (3696 ^ _592484) ^ [_705063, _705065, _705067] : [relationallexists(_705067, _705065, _705063), -(collection(_705063))], (3702 ^ _592484) ^ [_705293, _705295, _705297] : [relationallexists(_705297, _705295, _705293), -(collection(_705295))], (3708 ^ _592484) ^ [_705523, _705525, _705527] : [relationallexists(_705527, _705525, _705523), -(binarypredicate(_705527))], (3714 ^ _592484) ^ [_705725] : [isa(_705725, c_tptpcol_16_10258), -(tptpcol_16_10258(_705725))], (3720 ^ _592484) ^ [_705913] : [tptpcol_16_10258(_705913), -(isa(_705913, c_tptpcol_16_10258))], (3726 ^ _592484) ^ [_706101] : [isa(_706101, c_pushingababycarriage), -(pushingababycarriage(_706101))], (3732 ^ _592484) ^ [_706289] : [pushingababycarriage(_706289), -(isa(_706289, c_pushingababycarriage))], (3738 ^ _592484) ^ [_706477] : [isa(_706477, c_aspatialinformationstore), -(aspatialinformationstore(_706477))], (3744 ^ _592484) ^ [_706665] : [aspatialinformationstore(_706665), -(isa(_706665, c_aspatialinformationstore))], (3750 ^ _592484) ^ [_706853] : [isa(_706853, c_collection), -(collection(_706853))], (3756 ^ _592484) ^ [_707041] : [collection(_707041), -(isa(_707041, c_collection))], (3762 ^ _592484) ^ [_707229] : [isa(_707229, c_fixedordercollection), -(fixedordercollection(_707229))], (3768 ^ _592484) ^ [_707417] : [fixedordercollection(_707417), -(isa(_707417, c_fixedordercollection))], (3774 ^ _592484) ^ [_707605] : [isa(_707605, c_tptpcol_8_92164), -(tptpcol_8_92164(_707605))], (3780 ^ _592484) ^ [_707793] : [tptpcol_8_92164(_707793), -(isa(_707793, c_tptpcol_8_92164))], (3786 ^ _592484) ^ [_707981] : [isa(_707981, c_tptpcol_9_92165), -(tptpcol_9_92165(_707981))], (3792 ^ _592484) ^ [_708169] : [tptpcol_9_92165(_708169), -(isa(_708169, c_tptpcol_9_92165))], (3798 ^ _592484) ^ [_708357] : [isa(_708357, c_tptpcol_1_1), -(tptpcol_1_1(_708357))], (3804 ^ _592484) ^ [_708545] : [tptpcol_1_1(_708545), -(isa(_708545, c_tptpcol_1_1))], (3810 ^ _592484) ^ [_708733] : [isa(_708733, c_tptpcol_2_2), -(tptpcol_2_2(_708733))], (3816 ^ _592484) ^ [_708921] : [tptpcol_2_2(_708921), -(isa(_708921, c_tptpcol_2_2))], (3822 ^ _592484) ^ [_709123, _709125] : [tptptypes_7_691(_709125, _709123), -(firstordercollection(_709123))], (3828 ^ _592484) ^ [_709331, _709333] : [tptptypes_7_691(_709333, _709331), -(firstordercollection(_709333))], (3834 ^ _592484) ^ [_709525] : [isa(_709525, c_tptpcol_11_26887), -(tptpcol_11_26887(_709525))], (3840 ^ _592484) ^ [_709713] : [tptpcol_11_26887(_709713), -(isa(_709713, c_tptpcol_11_26887))], (3846 ^ _592484) ^ [_709901] : [isa(_709901, c_tptpcol_12_26919), -(tptpcol_12_26919(_709901))], (3852 ^ _592484) ^ [_710089] : [tptpcol_12_26919(_710089), -(isa(_710089, c_tptpcol_12_26919))], (3858 ^ _592484) ^ [_710291, _710293] : [tptptypes_6_818(_710293, _710291), -(firstordercollection(_710291))], (3864 ^ _592484) ^ [_710499, _710501] : [tptptypes_6_818(_710501, _710499), -(firstordercollection(_710501))], (3870 ^ _592484) ^ [_710707, _710709] : [tptptypes_7_819(_710709, _710707), -(firstordercollection(_710707))], (3876 ^ _592484) ^ [_710915, _710917] : [tptptypes_7_819(_710917, _710915), -(firstordercollection(_710917))], (3882 ^ _592484) ^ [_711109] : [isa(_711109, c_correctivelensprescription), -(correctivelensprescription(_711109))], (3888 ^ _592484) ^ [_711297] : [correctivelensprescription(_711297), -(isa(_711297, c_correctivelensprescription))], (3894 ^ _592484) ^ [_711499, _711501] : [products(_711501, _711499), -(artifact(_711499))], (3900 ^ _592484) ^ [_711707, _711709] : [products(_711709, _711707), -(creationordestructionevent(_711709))], (3906 ^ _592484) ^ [_711901] : [isa(_711901, c_issuingaprescription), -(issuingaprescription(_711901))], (3912 ^ _592484) ^ [_712089] : [issuingaprescription(_712089), -(isa(_712089, c_issuingaprescription))], (3918 ^ _592484) ^ [_712290, _712292, _712294] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712294, _712292, _712290), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592484) ^ [_712404, _712406, _712408] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712408, _712406, _712404), n_1, _712408))], (3922 ^ _592484) ^ [_712519, _712521, _712523] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712523, _712521, _712519), n_2, _712521))], (3924 ^ _592484) ^ [_712634, _712636, _712638] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712638, _712636, _712634), n_3, _712634))], (3926 ^ _592484) ^ [_712749, _712751, _712753] : [-(collection(f_subcollectionofwithrelationtotypefn(_712753, _712751, _712749)))], (3928 ^ _592484) ^ [_712849] : [isa(_712849, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712849))], (3934 ^ _592484) ^ [_713037] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713037), -(isa(_713037, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592484) ^ [_713225] : [isa(_713225, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713225))], (3946 ^ _592484) ^ [_713413] : [mathematicalorcomputationalthing(_713413), -(isa(_713413, c_mathematicalorcomputationalthing))], (3952 ^ _592484) ^ [_713601] : [isa(_713601, c_tptpcol_10_118020), -(tptpcol_10_118020(_713601))], (3958 ^ _592484) ^ [_713789] : [tptpcol_10_118020(_713789), -(isa(_713789, c_tptpcol_10_118020))], (3964 ^ _592484) ^ [_713977] : [isa(_713977, c_tptpcol_11_118084), -(tptpcol_11_118084(_713977))], (3970 ^ _592484) ^ [_714165] : [tptpcol_11_118084(_714165), -(isa(_714165, c_tptpcol_11_118084))], (3976 ^ _592484) ^ [_714353] : [isa(_714353, c_terroristgroup), -(terroristgroup(_714353))], (3982 ^ _592484) ^ [_714541] : [terroristgroup(_714541), -(isa(_714541, c_terroristgroup))], (3988 ^ _592484) ^ [_714743, _714745] : [hasmembers(_714745, _714743), -(agent_generic(_714743))], (3994 ^ _592484) ^ [_714951, _714953] : [hasmembers(_714953, _714951), -(organization(_714953))], (4000 ^ _592484) ^ [_715145] : [isa(_715145, c_terrorist), -(terrorist(_715145))], (4006 ^ _592484) ^ [_715333] : [terrorist(_715333), -(isa(_715333, c_terrorist))], (4012 ^ _592484) ^ [_715534, _715536, _715538] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715538, _715536, _715534), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592484) ^ [_715648, _715650, _715652] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715652, _715650, _715648), n_1, _715652))], (4016 ^ _592484) ^ [_715763, _715765, _715767] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715767, _715765, _715763), n_2, _715765))], (4018 ^ _592484) ^ [_715878, _715880, _715882] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715882, _715880, _715878), n_3, _715878))], (4020 ^ _592484) ^ [_715993, _715995, _715997] : [-(collection(f_subcollectionofwithrelationfromtypefn(_715997, _715995, _715993)))], (4022 ^ _592484) ^ [_716093] : [isa(_716093, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716093))], (4028 ^ _592484) ^ [_716281] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716281), -(isa(_716281, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592484) ^ [_716483, _716485] : [prettystring(_716485, _716483), -(controlcharacterfreestring(_716483))], (4040 ^ _592484) ^ [_716691, _716693] : [prettystring(_716693, _716691), -(thing(_716693))], (4046 ^ _592484) ^ [_716885] : [isa(_716885, c_tptpcol_0_0), -(tptpcol_0_0(_716885))], (4052 ^ _592484) ^ [_717073] : [tptpcol_0_0(_717073), -(isa(_717073, c_tptpcol_0_0))], (4058 ^ _592484) ^ [_717261] : [isa(_717261, c_geolevel_3), -(geolevel_3(_717261))], (4064 ^ _592484) ^ [_717449] : [geolevel_3(_717449), -(isa(_717449, c_geolevel_3))], (4070 ^ _592484) ^ [_717637] : [isa(_717637, c_tptpcol_4_24578), -(tptpcol_4_24578(_717637))], (4076 ^ _592484) ^ [_717825] : [tptpcol_4_24578(_717825), -(isa(_717825, c_tptpcol_4_24578))], (4082 ^ _592484) ^ [_718013] : [isa(_718013, c_tptpcol_5_24579), -(tptpcol_5_24579(_718013))], (4088 ^ _592484) ^ [_718201] : [tptpcol_5_24579(_718201), -(isa(_718201, c_tptpcol_5_24579))], (4094 ^ _592484) ^ [_718389] : [isa(_718389, c_tptpcol_5_106498), -(tptpcol_5_106498(_718389))], (4100 ^ _592484) ^ [_718577] : [tptpcol_5_106498(_718577), -(isa(_718577, c_tptpcol_5_106498))], (4106 ^ _592484) ^ [_718765] : [isa(_718765, c_tptpcol_12_109157), -(tptpcol_12_109157(_718765))], (4112 ^ _592484) ^ [_718953] : [tptpcol_12_109157(_718953), -(isa(_718953, c_tptpcol_12_109157))], (4118 ^ _592484) ^ [_719141] : [isa(_719141, c_tptpcol_13_109173), -(tptpcol_13_109173(_719141))], (4124 ^ _592484) ^ [_719329] : [tptpcol_13_109173(_719329), -(isa(_719329, c_tptpcol_13_109173))], (4130 ^ _592484) ^ [_719517] : [isa(_719517, c_mathematicalthing), -(mathematicalthing(_719517))], (4136 ^ _592484) ^ [_719705] : [mathematicalthing(_719705), -(isa(_719705, c_mathematicalthing))], (4142 ^ _592484) ^ [_719893] : [isa(_719893, c_setorcollection), -(setorcollection(_719893))], (4148 ^ _592484) ^ [_720081] : [setorcollection(_720081), -(isa(_720081, c_setorcollection))], (4154 ^ _592484) ^ [_720269] : [isa(_720269, c_tptpcol_11_18631), -(tptpcol_11_18631(_720269))], (4160 ^ _592484) ^ [_720457] : [tptpcol_11_18631(_720457), -(isa(_720457, c_tptpcol_11_18631))], (4166 ^ _592484) ^ [_720645] : [isa(_720645, c_tptpcol_12_18663), -(tptpcol_12_18663(_720645))], (4172 ^ _592484) ^ [_720833] : [tptpcol_12_18663(_720833), -(isa(_720833, c_tptpcol_12_18663))], (4178 ^ _592484) ^ [_721035, _721037] : [tptptypes_8_400(_721037, _721035), -(firstordercollection(_721035))], (4184 ^ _592484) ^ [_721243, _721245] : [tptptypes_8_400(_721245, _721243), -(firstordercollection(_721245))], (4190 ^ _592484) ^ [_721451, _721453] : [tptptypes_9_401(_721453, _721451), -(firstordercollection(_721451))], (4196 ^ _592484) ^ [_721659, _721661] : [tptptypes_9_401(_721661, _721659), -(firstordercollection(_721661))], (4202 ^ _592484) ^ [_721838] : [-(natfunction(f_tptpquantityfn_13(_721838), c_tptpquantityfn_13))], (4204 ^ _592484) ^ [_721918] : [-(natargument(f_tptpquantityfn_13(_721918), n_1, _721918))], (4206 ^ _592484) ^ [_721999] : [-(tptpquantity(f_tptpquantityfn_13(_721999)))], (4208 ^ _592484) ^ [_722107, _722109] : [borderson(_722109, _722107), -(geographicalregion(_722107))], (4214 ^ _592484) ^ [_722315, _722317] : [borderson(_722317, _722315), -(geographicalregion(_722317))], (4220 ^ _592484) ^ [_722523, _722525] : [borderson(_722525, _722523), -(borderson(_722523, _722525))], (4226 ^ _592484) ^ [_722703] : [borderson(_722703, _722703)], (4228 ^ _592484) ^ [_722796] : [isa(_722796, c_tptpcol_14_92264), -(tptpcol_14_92264(_722796))], (4234 ^ _592484) ^ [_722984] : [tptpcol_14_92264(_722984), -(isa(_722984, c_tptpcol_14_92264))], (4240 ^ _592484) ^ [_723172] : [isa(_723172, c_tptpcol_15_92268), -(tptpcol_15_92268(_723172))], (4246 ^ _592484) ^ [_723360] : [tptpcol_15_92268(_723360), -(isa(_723360, c_tptpcol_15_92268))], (4252 ^ _592484) ^ [_723548] : [isa(_723548, c_tptpcol_6_116738), -(tptpcol_6_116738(_723548))], (4258 ^ _592484) ^ [_723736] : [tptpcol_6_116738(_723736), -(isa(_723736, c_tptpcol_6_116738))], (4264 ^ _592484) ^ [_723938, _723940] : [tptptypes_5_387(_723940, _723938), -(firstordercollection(_723938))], (4270 ^ _592484) ^ [_724146, _724148] : [tptptypes_5_387(_724148, _724146), -(firstordercollection(_724148))], (4276 ^ _592484) ^ [_724354, _724356] : [tptptypes_6_388(_724356, _724354), -(firstordercollection(_724354))], (4282 ^ _592484) ^ [_724562, _724564] : [tptptypes_6_388(_724564, _724562), -(firstordercollection(_724564))], (4288 ^ _592484) ^ [_724756] : [isa(_724756, c_shavingrazor_manual), -(shavingrazor_manual(_724756))], (4294 ^ _592484) ^ [_724944] : [shavingrazor_manual(_724944), -(isa(_724944, c_shavingrazor_manual))], (4300 ^ _592484) ^ [_725132] : [isa(_725132, c_tptpcol_9_109060), -(tptpcol_9_109060(_725132))], (4306 ^ _592484) ^ [_725320] : [tptpcol_9_109060(_725320), -(isa(_725320, c_tptpcol_9_109060))], (4312 ^ _592484) ^ [_725508] : [isa(_725508, c_tptpcol_10_109061), -(tptpcol_10_109061(_725508))], (4318 ^ _592484) ^ [_725696] : [tptpcol_10_109061(_725696), -(isa(_725696, c_tptpcol_10_109061))], (4324 ^ _592484) ^ [_725884] : [isa(_725884, c_executionbyfiringsquad), -(executionbyfiringsquad(_725884))], (4330 ^ _592484) ^ [_726072] : [executionbyfiringsquad(_726072), -(isa(_726072, c_executionbyfiringsquad))], (4336 ^ _592484) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592484) ^ [_726313] : [isa(_726313, c_navypersonnel), -(navypersonnel(_726313))], (4344 ^ _592484) ^ [_726501] : [navypersonnel(_726501), -(isa(_726501, c_navypersonnel))], (4350 ^ _592484) ^ [_726689] : [isa(_726689, c_tptpcol_12_92262), -(tptpcol_12_92262(_726689))], (4356 ^ _592484) ^ [_726877] : [tptpcol_12_92262(_726877), -(isa(_726877, c_tptpcol_12_92262))], (4362 ^ _592484) ^ [_727065] : [isa(_727065, c_thing), -(thing(_727065))], (4368 ^ _592484) ^ [_727253] : [thing(_727253), -(isa(_727253, c_thing))], (4374 ^ _592484) ^ [_727441] : [isa(_727441, c_computerdataartifact), -(computerdataartifact(_727441))], (4380 ^ _592484) ^ [_727629] : [computerdataartifact(_727629), -(isa(_727629, c_computerdataartifact))], (4386 ^ _592484) ^ [_727817] : [isa(_727817, c_applicationcontext), -(applicationcontext(_727817))], (4392 ^ _592484) ^ [_728005] : [applicationcontext(_728005), -(isa(_728005, c_applicationcontext))], (4398 ^ _592484) ^ [_728207, _728209] : [inregion(_728209, _728207), -(spatialthing_nonsituational(_728207))], (4404 ^ _592484) ^ [_728415, _728417] : [inregion(_728417, _728415), -(spatialthing_nonsituational(_728417))], (4410 ^ _592484) ^ [_728637, _728639, _728641] : [-(inregion(_728641, _728637)), inregion(_728641, _728639), inregion(_728639, _728637)], (4420 ^ _592484) ^ [_728932] : [spatialthing_nonsituational(_728932), -(inregion(_728932, _728932))], (4426 ^ _592484) ^ [_729105] : [-(natfunction(f_tptpquantityfn_1(_729105), c_tptpquantityfn_1))], (4428 ^ _592484) ^ [_729185] : [-(natargument(f_tptpquantityfn_1(_729185), n_1, _729185))], (4430 ^ _592484) ^ [_729266] : [-(tptpquantity(f_tptpquantityfn_1(_729266)))], (4432 ^ _592484) ^ [_729360] : [isa(_729360, c_furpelt), -(furpelt(_729360))], (4438 ^ _592484) ^ [_729548] : [furpelt(_729548), -(isa(_729548, c_furpelt))], (4444 ^ _592484) ^ [_729750, _729752] : [tptpofobject(_729752, _729750), -(tptpquantity(_729750))], (4450 ^ _592484) ^ [_729958, _729960] : [tptpofobject(_729960, _729958), -(partiallytangible(_729960))], (4456 ^ _592484) ^ [_730180, _730182, _730184] : [relationallinstance(_730184, _730182, _730180), -(thing(_730180))], (4462 ^ _592484) ^ [_730410, _730412, _730414] : [relationallinstance(_730414, _730412, _730410), -(collection(_730412))], (4468 ^ _592484) ^ [_730640, _730642, _730644] : [relationallinstance(_730644, _730642, _730640), -(binarypredicate(_730644))], (4474 ^ _592484) ^ [_730842] : [isa(_730842, c_tptpcol_13_93766), -(tptpcol_13_93766(_730842))], (4480 ^ _592484) ^ [_731030] : [tptpcol_13_93766(_731030), -(isa(_731030, c_tptpcol_13_93766))], (4486 ^ _592484) ^ [_731218] : [isa(_731218, c_tptpcol_9_40196), -(tptpcol_9_40196(_731218))], (4492 ^ _592484) ^ [_731406] : [tptpcol_9_40196(_731406), -(isa(_731406, c_tptpcol_9_40196))], (4498 ^ _592484) ^ [_731594] : [isa(_731594, c_tptpcol_10_40324), -(tptpcol_10_40324(_731594))], (4504 ^ _592484) ^ [_731782] : [tptpcol_10_40324(_731782), -(isa(_731782, c_tptpcol_10_40324))], (4510 ^ _592484) ^ [_731970] : [isa(_731970, c_tptpcol_7_72707), -(tptpcol_7_72707(_731970))], (4516 ^ _592484) ^ [_732158] : [tptpcol_7_72707(_732158), -(isa(_732158, c_tptpcol_7_72707))], (4522 ^ _592484) ^ [_732346] : [isa(_732346, c_tptpcol_8_72708), -(tptpcol_8_72708(_732346))], (4528 ^ _592484) ^ [_732534] : [tptpcol_8_72708(_732534), -(isa(_732534, c_tptpcol_8_72708))], (4534 ^ _592484) ^ [_732722] : [isa(_732722, c_tptpcol_11_93764), -(tptpcol_11_93764(_732722))], (4540 ^ _592484) ^ [_732910] : [tptpcol_11_93764(_732910), -(isa(_732910, c_tptpcol_11_93764))], (4546 ^ _592484) ^ [_733098] : [isa(_733098, c_tptpcol_12_93765), -(tptpcol_12_93765(_733098))], (4552 ^ _592484) ^ [_733286] : [tptpcol_12_93765(_733286), -(isa(_733286, c_tptpcol_12_93765))], (4558 ^ _592484) ^ [_733474] : [isa(_733474, c_tptpcol_4_114689), -(tptpcol_4_114689(_733474))], (4564 ^ _592484) ^ [_733662] : [tptpcol_4_114689(_733662), -(isa(_733662, c_tptpcol_4_114689))], (4570 ^ _592484) ^ [_733850] : [isa(_733850, c_tptpcol_5_114690), -(tptpcol_5_114690(_733850))], (4576 ^ _592484) ^ [_734038] : [tptpcol_5_114690(_734038), -(isa(_734038, c_tptpcol_5_114690))], (4582 ^ _592484) ^ [_734226] : [isa(_734226, c_tptpcol_3_98305), -(tptpcol_3_98305(_734226))], (4588 ^ _592484) ^ [_734414] : [tptpcol_3_98305(_734414), -(isa(_734414, c_tptpcol_3_98305))], (4594 ^ _592484) ^ [_734602] : [isa(_734602, c_tptpcol_4_106497), -(tptpcol_4_106497(_734602))], (4600 ^ _592484) ^ [_734790] : [tptpcol_4_106497(_734790), -(isa(_734790, c_tptpcol_4_106497))], (4606 ^ _592484) ^ [_735005, _735007, _735009, _735011] : [-(natfunction(f_relationexistsallfn(_735011, _735009, _735007, _735005), c_relationexistsallfn))], (4608 ^ _592484) ^ [_735136, _735138, _735140, _735142] : [-(natargument(f_relationexistsallfn(_735142, _735140, _735138, _735136), n_1, _735142))], (4610 ^ _592484) ^ [_735268, _735270, _735272, _735274] : [-(natargument(f_relationexistsallfn(_735274, _735272, _735270, _735268), n_2, _735272))], (4612 ^ _592484) ^ [_735400, _735402, _735404, _735406] : [-(natargument(f_relationexistsallfn(_735406, _735404, _735402, _735400), n_3, _735402))], (4614 ^ _592484) ^ [_735532, _735534, _735536, _735538] : [-(natargument(f_relationexistsallfn(_735538, _735536, _735534, _735532), n_4, _735532))], (4616 ^ _592484) ^ [_735664, _735666, _735668, _735670] : [-(thing(f_relationexistsallfn(_735670, _735668, _735666, _735664)))], (4618 ^ _592484) ^ [_735781, _735783] : [resultisaarg(_735783, _735781), -(positiveinteger(_735781))], (4624 ^ _592484) ^ [_735989, _735991] : [resultisaarg(_735991, _735989), -(function_denotational(_735991))], (4630 ^ _592484) ^ [_736197, _736199] : [tptptypes_7_389(_736199, _736197), -(firstordercollection(_736197))], (4636 ^ _592484) ^ [_736405, _736407] : [tptptypes_7_389(_736407, _736405), -(firstordercollection(_736407))], (4642 ^ _592484) ^ [_736613, _736615] : [tptptypes_8_390(_736615, _736613), -(firstordercollection(_736613))], (4648 ^ _592484) ^ [_736821, _736823] : [tptptypes_8_390(_736823, _736821), -(firstordercollection(_736823))], (4654 ^ _592484) ^ [_737029, _737031] : [tptptypes_8_692(_737031, _737029), -(firstordercollection(_737029))], (4660 ^ _592484) ^ [_737237, _737239] : [tptptypes_8_692(_737239, _737237), -(firstordercollection(_737239))], (4666 ^ _592484) ^ [_737445, _737447] : [tptptypes_9_693(_737447, _737445), -(firstordercollection(_737445))], (4672 ^ _592484) ^ [_737653, _737655] : [tptptypes_9_693(_737655, _737653), -(firstordercollection(_737655))], (4678 ^ _592484) ^ [_737847] : [isa(_737847, c_tptpcol_11_40388), -(tptpcol_11_40388(_737847))], (4684 ^ _592484) ^ [_738035] : [tptpcol_11_40388(_738035), -(isa(_738035, c_tptpcol_11_40388))], (4690 ^ _592484) ^ [_738223] : [isa(_738223, c_marriagelicensedocument), -(marriagelicensedocument(_738223))], (4696 ^ _592484) ^ [_738411] : [marriagelicensedocument(_738411), -(isa(_738411, c_marriagelicensedocument))], (4702 ^ _592484) ^ [_738599] : [isa(_738599, c_tptpcol_1_65536), -(tptpcol_1_65536(_738599))], (4708 ^ _592484) ^ [_738787] : [tptpcol_1_65536(_738787), -(isa(_738787, c_tptpcol_1_65536))], (4714 ^ _592484) ^ [_738975] : [isa(_738975, c_tptpcol_2_98304), -(tptpcol_2_98304(_738975))], (4720 ^ _592484) ^ [_739163] : [tptpcol_2_98304(_739163), -(isa(_739163, c_tptpcol_2_98304))], (4726 ^ _592484) ^ [_739351] : [isa(_739351, c_tptpcol_10_92166), -(tptpcol_10_92166(_739351))], (4732 ^ _592484) ^ [_739539] : [tptpcol_10_92166(_739539), -(isa(_739539, c_tptpcol_10_92166))], (4738 ^ _592484) ^ [_739727] : [isa(_739727, c_tptpcol_11_92230), -(tptpcol_11_92230(_739727))], (4744 ^ _592484) ^ [_739915] : [tptpcol_11_92230(_739915), -(isa(_739915, c_tptpcol_11_92230))], (4750 ^ _592484) ^ [_740103] : [isa(_740103, c_orderingpredicate), -(orderingpredicate(_740103))], (4756 ^ _592484) ^ [_740291] : [orderingpredicate(_740291), -(isa(_740291, c_orderingpredicate))], (4762 ^ _592484) ^ [_740479] : [isa(_740479, c_tptpcol_9_18439), -(tptpcol_9_18439(_740479))], (4768 ^ _592484) ^ [_740667] : [tptpcol_9_18439(_740667), -(isa(_740667, c_tptpcol_9_18439))], (4774 ^ _592484) ^ [_740855] : [isa(_740855, c_tptpcol_10_18567), -(tptpcol_10_18567(_740855))], (4780 ^ _592484) ^ [_741043] : [tptpcol_10_18567(_741043), -(isa(_741043, c_tptpcol_10_18567))], (4786 ^ _592484) ^ [_741231] : [isa(_741231, c_tptpcol_2_65537), -(tptpcol_2_65537(_741231))], (4792 ^ _592484) ^ [_741419] : [tptpcol_2_65537(_741419), -(isa(_741419, c_tptpcol_2_65537))], (4798 ^ _592484) ^ [_741607] : [isa(_741607, c_tptpcol_3_81921), -(tptpcol_3_81921(_741607))], (4804 ^ _592484) ^ [_741795] : [tptpcol_3_81921(_741795), -(isa(_741795, c_tptpcol_3_81921))], (4810 ^ _592484) ^ [_741983] : [isa(_741983, c_artsupplies), -(artsupplies(_741983))], (4816 ^ _592484) ^ [_742171] : [artsupplies(_742171), -(isa(_742171, c_artsupplies))], (4822 ^ _592484) ^ [_742359] : [isa(_742359, c_enduringthing_localized), -(enduringthing_localized(_742359))], (4828 ^ _592484) ^ [_742547] : [enduringthing_localized(_742547), -(isa(_742547, c_enduringthing_localized))], (4834 ^ _592484) ^ [_742735] : [isa(_742735, c_location_underspecified), -(location_underspecified(_742735))], (4840 ^ _592484) ^ [_742923] : [location_underspecified(_742923), -(isa(_742923, c_location_underspecified))], (4846 ^ _592484) ^ [_743111] : [isa(_743111, c_trajector_underspecified), -(trajector_underspecified(_743111))], (4852 ^ _592484) ^ [_743299] : [trajector_underspecified(_743299), -(isa(_743299, c_trajector_underspecified))], (4858 ^ _592484) ^ [_743487] : [isa(_743487, c_individual), -(individual(_743487))], (4864 ^ _592484) ^ [_743675] : [individual(_743675), -(isa(_743675, c_individual))], (4870 ^ _592484) ^ [_743863] : [isa(_743863, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743863))], (4876 ^ _592484) ^ [_744051] : [partiallyintangibleindividual(_744051), -(isa(_744051, c_partiallyintangibleindividual))], (4882 ^ _592484) ^ [_744239] : [isa(_744239, c_tptpcol_10_22022), -(tptpcol_10_22022(_744239))], (4888 ^ _592484) ^ [_744427] : [tptpcol_10_22022(_744427), -(isa(_744427, c_tptpcol_10_22022))], (4894 ^ _592484) ^ [_744615] : [isa(_744615, c_tptpcol_11_22023), -(tptpcol_11_22023(_744615))], (4900 ^ _592484) ^ [_744803] : [tptpcol_11_22023(_744803), -(isa(_744803, c_tptpcol_11_22023))], (4906 ^ _592484) ^ [_744991] : [isa(_744991, c_tptpcol_5_20483), -(tptpcol_5_20483(_744991))], (4912 ^ _592484) ^ [_745179] : [tptpcol_5_20483(_745179), -(isa(_745179, c_tptpcol_5_20483))], (4918 ^ _592484) ^ [_745367] : [isa(_745367, c_tptpcol_13_72791), -(tptpcol_13_72791(_745367))], (4924 ^ _592484) ^ [_745555] : [tptpcol_13_72791(_745555), -(isa(_745555, c_tptpcol_13_72791))], (4930 ^ _592484) ^ [_745743] : [isa(_745743, c_tptpcol_14_72792), -(tptpcol_14_72792(_745743))], (4936 ^ _592484) ^ [_745931] : [tptpcol_14_72792(_745931), -(isa(_745931, c_tptpcol_14_72792))], (4942 ^ _592484) ^ [_746119] : [isa(_746119, c_ridgeline_topographical), -(ridgeline_topographical(_746119))], (4948 ^ _592484) ^ [_746307] : [ridgeline_topographical(_746307), -(isa(_746307, c_ridgeline_topographical))], (4954 ^ _592484) ^ [_746495] : [isa(_746495, c_tptpcol_4_16387), -(tptpcol_4_16387(_746495))], (4960 ^ _592484) ^ [_746683] : [tptpcol_4_16387(_746683), -(isa(_746683, c_tptpcol_4_16387))], (4966 ^ _592484) ^ [_746871] : [isa(_746871, c_tptpcol_5_16388), -(tptpcol_5_16388(_746871))], (4972 ^ _592484) ^ [_747059] : [tptpcol_5_16388(_747059), -(isa(_747059, c_tptpcol_5_16388))], (4978 ^ _592484) ^ [_747247] : [isa(_747247, c_tptpcol_8_22020), -(tptpcol_8_22020(_747247))], (4984 ^ _592484) ^ [_747435] : [tptpcol_8_22020(_747435), -(isa(_747435, c_tptpcol_8_22020))], (4990 ^ _592484) ^ [_747623] : [isa(_747623, c_tptpcol_9_22021), -(tptpcol_9_22021(_747623))], (4996 ^ _592484) ^ [_747811] : [tptpcol_9_22021(_747811), -(isa(_747811, c_tptpcol_9_22021))], (5002 ^ _592484) ^ [_747999] : [isa(_747999, c_transitivebinarypredicate), -(transitivebinarypredicate(_747999))], (5008 ^ _592484) ^ [_748187] : [transitivebinarypredicate(_748187), -(isa(_748187, c_transitivebinarypredicate))], (5014 ^ _592484) ^ [_748389, _748391] : [geographicalsubregions(_748391, _748389), -(geographicalregion(_748389))], (5020 ^ _592484) ^ [_748597, _748599] : [geographicalsubregions(_748599, _748597), -(geographicalregion(_748599))], (5026 ^ _592484) ^ [_748819, _748821, _748823] : [-(geographicalsubregions(_748823, _748819)), geographicalsubregions(_748823, _748821), geographicalsubregions(_748821, _748819)], (5036 ^ _592484) ^ [_749114] : [geographicalregion(_749114), -(geographicalsubregions(_749114, _749114))], (5042 ^ _592484) ^ [_749302] : [isa(_749302, c_tptpcol_12_40420), -(tptpcol_12_40420(_749302))], (5048 ^ _592484) ^ [_749490] : [tptpcol_12_40420(_749490), -(isa(_749490, c_tptpcol_12_40420))], (5054 ^ _592484) ^ [_749678] : [isa(_749678, c_tptpcol_13_40421), -(tptpcol_13_40421(_749678))], (5060 ^ _592484) ^ [_749866] : [tptpcol_13_40421(_749866), -(isa(_749866, c_tptpcol_13_40421))], (5066 ^ _592484) ^ [_750054] : [isa(_750054, c_tptpcol_6_92162), -(tptpcol_6_92162(_750054))], (5072 ^ _592484) ^ [_750242] : [tptpcol_6_92162(_750242), -(isa(_750242, c_tptpcol_6_92162))], (5078 ^ _592484) ^ [_750430] : [isa(_750430, c_tptpcol_7_93186), -(tptpcol_7_93186(_750430))], (5084 ^ _592484) ^ [_750618] : [tptpcol_7_93186(_750618), -(isa(_750618, c_tptpcol_7_93186))], (5090 ^ _592484) ^ [_750820, _750822] : [most(_750822, _750820), -(setorcollection(_750820))], (5096 ^ _592484) ^ [_751028, _751030] : [most(_751030, _751028), -(setorcollection(_751028))], (5102 ^ _592484) ^ [_751236, _751238] : [most(_751238, _751236), -(setorcollection(_751238))], (5108 ^ _592484) ^ [_751444, _751446] : [most(_751446, _751444), -(setorcollection(_751446))], (5114 ^ _592484) ^ [_751638] : [setorcollection(_751638), -(most(_751638, _751638))], (5120 ^ _592484) ^ [_751826] : [setorcollection(_751826), -(most(_751826, _751826))], (5126 ^ _592484) ^ [_752042, _752044, _752046] : [-(most(_752046, _752042)), most(_752046, _752044), subsetof(_752044, _752042)], (5136 ^ _592484) ^ [_752365, _752367, _752369] : [-(most(_752369, _752365)), most(_752369, _752367), subsetof(_752367, _752365)], (5146 ^ _592484) ^ [_752674, _752676] : [subsetof(_752676, _752674), -(setorcollection(_752674))], (5152 ^ _592484) ^ [_752882, _752884] : [subsetof(_752884, _752882), -(setorcollection(_752884))], (5158 ^ _592484) ^ [_753104, _753106, _753108] : [-(subsetof(_753108, _753104)), subsetof(_753108, _753106), subsetof(_753106, _753104)], (5168 ^ _592484) ^ [_753399] : [setorcollection(_753399), -(subsetof(_753399, _753399))], (5174 ^ _592484) ^ [_753615, _753617, _753619] : [-(subsetof(_753615, _753617)), subsetof(_753619, _753617), subsetof(_753615, _753619)], (5184 ^ _592484) ^ [_753938, _753940, _753942] : [-(subsetof(_753942, _753938)), subsetof(_753942, _753940), subsetof(_753940, _753938)], (5194 ^ _592484) ^ [_754261, _754263, _754265] : [-(subsetof(_754265, _754261)), subsetof(_754265, _754263), subsetof(_754263, _754261)], (5204 ^ _592484) ^ [_754570, _754572] : [genlpreds(_754572, _754570), -(predicate(_754570))], (5210 ^ _592484) ^ [_754778, _754780] : [genlpreds(_754780, _754778), -(predicate(_754778))], (5216 ^ _592484) ^ [_754986, _754988] : [genlpreds(_754988, _754986), -(predicate(_754988))], (5222 ^ _592484) ^ [_755194, _755196] : [genlpreds(_755196, _755194), -(predicate(_755196))], (5228 ^ _592484) ^ [_755416, _755418, _755420] : [-(genlpreds(_755420, _755416)), genlpreds(_755420, _755418), genlpreds(_755418, _755416)], (5238 ^ _592484) ^ [_755711] : [predicate(_755711), -(genlpreds(_755711, _755711))], (5244 ^ _592484) ^ [_755899] : [predicate(_755899), -(genlpreds(_755899, _755899))], (5250 ^ _592484) ^ [_756101, _756103] : [genlinverse(_756103, _756101), -(binarypredicate(_756101))], (5256 ^ _592484) ^ [_756309, _756311] : [genlinverse(_756311, _756309), -(binarypredicate(_756311))], (5262 ^ _592484) ^ [_756531, _756533, _756535] : [-(genlinverse(_756531, _756533)), genlinverse(_756535, _756533), genlpreds(_756531, _756535)], (5272 ^ _592484) ^ [_756854, _756856, _756858] : [-(genlinverse(_756858, _756854)), genlinverse(_756858, _756856), genlpreds(_756856, _756854)], (5282 ^ _592484) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592484) ^ [_757202] : [isa(_757202, c_microtheory), -(microtheory(_757202))], (5290 ^ _592484) ^ [_757390] : [microtheory(_757390), -(isa(_757390, c_microtheory))], (5296 ^ _592484) ^ [_757563] : [-(natfunction(f_urlfn(_757563), c_urlfn))], (5298 ^ _592484) ^ [_757643] : [-(natargument(f_urlfn(_757643), n_1, _757643))], (5300 ^ _592484) ^ [_757724] : [-(uniformresourcelocator(f_urlfn(_757724)))], (5302 ^ _592484) ^ [_757803] : [-(natfunction(f_urlreferentfn(_757803), c_urlreferentfn))], (5304 ^ _592484) ^ [_757883] : [-(natargument(f_urlreferentfn(_757883), n_1, _757883))], (5306 ^ _592484) ^ [_757964] : [-(computerdataartifact(f_urlreferentfn(_757964)))], (5308 ^ _592484) ^ [_758057, _758059] : [-(natfunction(f_contentmtofcdafromeventfn(_758059, _758057), c_contentmtofcdafromeventfn))], (5310 ^ _592484) ^ [_758154, _758156] : [-(natargument(f_contentmtofcdafromeventfn(_758156, _758154), n_1, _758156))], (5312 ^ _592484) ^ [_758252, _758254] : [-(natargument(f_contentmtofcdafromeventfn(_758254, _758252), n_2, _758252))], (5314 ^ _592484) ^ [_758350, _758352] : [-(microtheory(f_contentmtofcdafromeventfn(_758352, _758350)))], (5316 ^ _592484) ^ [_758461, _758463] : [isa(_758463, _758461), -(collection(_758461))], (5322 ^ _592484) ^ [_758669, _758671] : [isa(_758671, _758669), -(collection(_758669))], (5328 ^ _592484) ^ [_758877, _758879] : [isa(_758879, _758877), -(thing(_758879))], (5334 ^ _592484) ^ [_759085, _759087] : [isa(_759087, _759085), -(thing(_759087))], (5340 ^ _592484) ^ [_759307, _759309, _759311] : [-(isa(_759311, _759307)), isa(_759311, _759309), genls(_759309, _759307)], (5350 ^ _592484) ^ [_759602] : [isa(_759602, c_inanimateobject), -(inanimateobject(_759602))], (5356 ^ _592484) ^ [_759790] : [inanimateobject(_759790), -(isa(_759790, c_inanimateobject))], (5362 ^ _592484) ^ [_759978] : [isa(_759978, c_tptpcol_9_72709), -(tptpcol_9_72709(_759978))], (5368 ^ _592484) ^ [_760166] : [tptpcol_9_72709(_760166), -(isa(_760166, c_tptpcol_9_72709))], (5374 ^ _592484) ^ [_760354] : [isa(_760354, c_tptpcol_10_72710), -(tptpcol_10_72710(_760354))], (5380 ^ _592484) ^ [_760542] : [tptpcol_10_72710(_760542), -(isa(_760542, c_tptpcol_10_72710))], (5386 ^ _592484) ^ [_760730] : [isa(_760730, c_tptpcol_14_40429), -(tptpcol_14_40429(_760730))], (5392 ^ _592484) ^ [_760918] : [tptpcol_14_40429(_760918), -(isa(_760918, c_tptpcol_14_40429))], (5398 ^ _592484) ^ [_761106] : [isa(_761106, c_tptpcol_15_40430), -(tptpcol_15_40430(_761106))], (5404 ^ _592484) ^ [_761294] : [tptpcol_15_40430(_761294), -(isa(_761294, c_tptpcol_15_40430))], (5410 ^ _592484) ^ [_761496, _761498] : [genls(_761498, _761496), -(collection(_761496))], (5416 ^ _592484) ^ [_761704, _761706] : [genls(_761706, _761704), -(collection(_761704))], (5422 ^ _592484) ^ [_761912, _761914] : [genls(_761914, _761912), -(collection(_761914))], (5428 ^ _592484) ^ [_762120, _762122] : [genls(_762122, _762120), -(collection(_762122))], (5434 ^ _592484) ^ [_762342, _762344, _762346] : [-(genls(_762346, _762342)), genls(_762346, _762344), genls(_762344, _762342)], (5444 ^ _592484) ^ [_762637] : [collection(_762637), -(genls(_762637, _762637))], (5450 ^ _592484) ^ [_762825] : [collection(_762825), -(genls(_762825, _762825))], (5456 ^ _592484) ^ [_763041, _763043, _763045] : [-(genls(_763041, _763043)), genls(_763045, _763043), genls(_763041, _763045)], (5466 ^ _592484) ^ [_763364, _763366, _763368] : [-(genls(_763368, _763364)), genls(_763368, _763366), genls(_763366, _763364)], (5476 ^ _592484) ^ [_763659] : [isa(_763659, c_partiallytangible), -(partiallytangible(_763659))], (5482 ^ _592484) ^ [_763847] : [partiallytangible(_763847), -(isa(_763847, c_partiallytangible))], (5488 ^ _592484) ^ [_764035] : [isa(_764035, c_intangible), -(intangible(_764035))], (5494 ^ _592484) ^ [_764223] : [intangible(_764223), -(isa(_764223, c_intangible))], (5500 ^ _592484) ^ [_764425, _764427] : [disjointwith(_764427, _764425), -(collection(_764425))], (5506 ^ _592484) ^ [_764633, _764635] : [disjointwith(_764635, _764633), -(collection(_764635))], (5512 ^ _592484) ^ [_764841, _764843] : [disjointwith(_764843, _764841), -(disjointwith(_764841, _764843))], (5518 ^ _592484) ^ [_765065, _765067, _765069] : [-(disjointwith(_765069, _765065)), disjointwith(_765069, _765067), genls(_765065, _765067)], (5528 ^ _592484) ^ [_765388, _765390, _765392] : [-(disjointwith(_765388, _765390)), disjointwith(_765392, _765390), genls(_765388, _765392)], (5538 ^ _592484) ^ [_765697, _765699] : [-(mtvisible(_765697)), mtvisible(_765699), genlmt(_765699, _765697)], (5548 ^ _592484) ^ [_765992, _765994] : [genlmt(_765994, _765992), -(microtheory(_765992))], (5554 ^ _592484) ^ [_766200, _766202] : [genlmt(_766202, _766200), -(microtheory(_766200))], (5560 ^ _592484) ^ [_766408, _766410] : [genlmt(_766410, _766408), -(microtheory(_766410))], (5566 ^ _592484) ^ [_766616, _766618] : [genlmt(_766618, _766616), -(microtheory(_766618))], (5572 ^ _592484) ^ [_766838, _766840, _766842] : [-(genlmt(_766842, _766838)), genlmt(_766842, _766840), genlmt(_766840, _766838)], (5582 ^ _592484) ^ [_767133] : [microtheory(_767133), -(genlmt(_767133, _767133))], (5594 ^ _592484) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592484) ^ [_767321] : [microtheory(_767321), -(genlmt(_767321, _767321))]], input).
% 0.47/1.40  ncf('1',plain,[tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170))],start(5598 ^ 0,bind([[_782048], [f_tptpquantityfn_21(n_170)]]))).
% 0.47/1.40  ncf('1.1',plain,[-(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170))), mtvisible(c_currentworlddatacollectormt_nonhomocentric)],extension(858 ^ 1)).
% 0.47/1.40  ncf('1.1.1',plain,[-(mtvisible(c_currentworlddatacollectormt_nonhomocentric))],extension(5596 ^ 2,bind([[_782011], [_400629]]))).
% 0.47/1.40  %-----------------------------------------------------
% 0.47/1.40  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------