%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : CSR035+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:31:53 EDT 2023

% Result   : Theorem 0.43s 1.43s
% Output   : Proof 0.43s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14  % Problem  : CSR035+2 : TPTP v8.1.2. Released v3.4.0.
% 0.08/0.15  % Command  : nanocop.sh %s %d
% 0.14/0.37  % Computer : n021.cluster.edu
% 0.14/0.37  % Model    : x86_64 x86_64
% 0.14/0.37  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.37  % Memory   : 8042.1875MB
% 0.14/0.37  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.37  % CPULimit : 300
% 0.14/0.37  % WCLimit  : 300
% 0.14/0.37  % DateTime : Fri May 19 00:51:12 EDT 2023
% 0.14/0.37  % CPUTime  : 
% 0.43/1.43  
% 0.43/1.43  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.43/1.43  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.43/1.43  %-----------------------------------------------------
% 0.43/1.43  ncf(matrix, plain, [(5596 ^ _593420) ^ [_782947] : [-(mtvisible(c_englishmt))], (5598 ^ _593420) ^ [_782984] : [prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), _782984)], (2 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _593420) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _593420) ^ [_593625] : [intangible(_593625), partiallytangible(_593625)], (12 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _593420) ^ [_593863] : [tptpcol_15_40430(_593863), -(tptpcol_14_40429(_593863))], (20 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _593420) ^ [_594102] : [tptpcol_10_72710(_594102), -(tptpcol_9_72709(_594102))], (28 ^ _593420) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _593420) ^ [_594341] : [inanimateobject(_594341), -(partiallytangible(_594341))], (36 ^ _593420) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _593420) ^ [_594608, _594610, _594612] : [-(genlpreds(_594612, _594608)), genlinverse(_594612, _594610), genlinverse(_594610, _594608)], (48 ^ _593420) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _593420) ^ [_594970, _594972] : [subsetof(_594972, _594970), -(most(_594972, _594970))], (56 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _593420) ^ [_595219] : [tptpcol_7_93186(_595219), -(tptpcol_6_92162(_595219))], (64 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _593420) ^ [_595458] : [tptpcol_13_40421(_595458), -(tptpcol_12_40420(_595458))], (72 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _593420) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _593420) ^ [_595922] : [tptpcol_9_22021(_595922), -(tptpcol_8_22020(_595922))], (90 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _593420) ^ [_596161] : [tptpcol_5_16388(_596161), -(tptpcol_4_16387(_596161))], (98 ^ _593420) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _593420) ^ [_596519] : [tptpcol_14_72792(_596519), -(tptpcol_13_72791(_596519))], (112 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _593420) ^ [_596758] : [tptpcol_5_20483(_596758), -(tptpcol_4_16387(_596758))], (120 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _593420) ^ [_596997] : [tptpcol_11_22023(_596997), -(tptpcol_10_22022(_596997))], (128 ^ _593420) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _593420) ^ [_597236] : [partiallyintangibleindividual(_597236), -(individual(_597236))], (136 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _593420) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _593420) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _593420) ^ [_597581] : [trajector_underspecified(_597581), -(location_underspecified(_597581))], (148 ^ _593420) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _593420) ^ [_597820] : [partiallytangible(_597820), -(enduringthing_localized(_597820))], (156 ^ _593420) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _593420) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _593420) ^ [_598178] : [tptpcol_3_81921(_598178), -(tptpcol_2_65537(_598178))], (170 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _593420) ^ [_598417] : [tptpcol_10_18567(_598417), -(tptpcol_9_18439(_598417))], (178 ^ _593420) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _593420) ^ [_598656] : [orderingpredicate(_598656), -(transitivebinarypredicate(_598656))], (186 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _593420) ^ [_598895] : [tptpcol_11_92230(_598895), -(tptpcol_10_92166(_598895))], (194 ^ _593420) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _593420) ^ [_599134] : [tptpcol_2_98304(_599134), -(tptpcol_1_65536(_599134))], (202 ^ _593420) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _593420) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _593420) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _593420) ^ [_599598] : [tptpcol_12_40420(_599598), -(tptpcol_11_40388(_599598))], (220 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _593420) ^ [_599851, _599853] : [tptptypes_9_693(_599853, _599851), -(tptptypes_8_692(_599853, _599851))], (228 ^ _593420) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _593420) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _593420) ^ [_600220, _600222] : [tptptypes_8_390(_600222, _600220), -(tptptypes_7_389(_600222, _600220))], (240 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _593420) ^ [_600564, _600566, _600568, _600570] : [-(isa(f_relationexistsallfn(_600570, _600566, _600564, _600568), _600564)), isa(_600570, _600568), relationexistsall(_600566, _600564, _600568)], (254 ^ _593420) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _593420) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _593420) ^ [_601093] : [tptpcol_4_106497(_601093), -(tptpcol_3_98305(_601093))], (268 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _593420) ^ [_601332] : [tptpcol_5_114690(_601332), -(tptpcol_4_114689(_601332))], (276 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _593420) ^ [_601571] : [tptpcol_12_93765(_601571), -(tptpcol_11_93764(_601571))], (284 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _593420) ^ [_601810] : [tptpcol_8_72708(_601810), -(tptpcol_7_72707(_601810))], (292 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _593420) ^ [_602049] : [tptpcol_10_40324(_602049), -(tptpcol_9_40196(_602049))], (300 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _593420) ^ [_602288] : [tptpcol_13_93766(_602288), -(tptpcol_12_93765(_602288))], (308 ^ _593420) ^ [_602474] : [-(tptpofobject(_602474, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_602474)], (318 ^ _593420) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _593420) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _593420) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _593420) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _593420) ^ [_603138] : [location_underspecified(_603138), -(thing(_603138))], (342 ^ _593420) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _593420) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _593420) ^ [_603483] : [tptpcol_12_92262(_603483), -(tptpcol_11_92230(_603483))], (354 ^ _593420) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _593420) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _593420) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _593420) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _593420) ^ [_604000] : [tptpcol_10_109061(_604000), -(tptpcol_9_109060(_604000))], (374 ^ _593420) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _593420) ^ [_604306, _604308] : [tptptypes_6_388(_604308, _604306), -(tptptypes_5_387(_604308, _604306))], (384 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _593420) ^ [_604555] : [tptpcol_6_116738(_604555), -(tptpcol_5_114690(_604555))], (392 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _593420) ^ [_604794] : [tptpcol_15_92268(_604794), -(tptpcol_14_92264(_604794))], (400 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _593420) ^ [_605099] : [-(tptpofobject(_605099, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_605099)], (416 ^ _593420) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _593420) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _593420) ^ [_605552, _605554] : [tptptypes_9_401(_605554, _605552), -(tptptypes_8_400(_605552, _605554))], (430 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _593420) ^ [_605801] : [tptpcol_12_18663(_605801), -(tptpcol_11_18631(_605801))], (438 ^ _593420) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _593420) ^ [_606040] : [setorcollection(_606040), -(mathematicalthing(_606040))], (446 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _593420) ^ [_606279] : [tptpcol_13_109173(_606279), -(tptpcol_12_109157(_606279))], (454 ^ _593420) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _593420) ^ [_606571] : [tptpcol_5_106498(_606571), -(tptpcol_4_106497(_606571))], (464 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _593420) ^ [_606810] : [tptpcol_5_24579(_606810), -(tptpcol_4_24578(_606810))], (472 ^ _593420) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _593420) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _593420) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _593420) ^ [_607340] : [tptpcol_1_65536(_607340), -(tptpcol_0_0(_607340))], (494 ^ _593420) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _593420) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _593420) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _593420) ^ [_607765, _607767] : [geographicalsubregions(_607767, _607765), -(inregion(_607765, _607767))], (510 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _593420) ^ [_608014] : [tptpcol_11_118084(_608014), -(tptpcol_10_118020(_608014))], (518 ^ _593420) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _593420) ^ [_608253] : [mathematicalorcomputationalthing(_608253), -(intangible(_608253))], (526 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _593420) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _593420) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _593420) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _593420) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _593420) ^ [_608771, _608773] : [tptptypes_7_819(_608773, _608771), -(tptptypes_6_818(_608773, _608771))], (544 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _593420) ^ [_609073] : [tptpcol_12_26919(_609073), -(tptpcol_11_26887(_609073))], (554 ^ _593420) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _593420) ^ [_609326, _609328] : [tptptypes_8_692(_609328, _609326), -(tptptypes_7_691(_609326, _609328))], (562 ^ _593420) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _593420) ^ [_609575] : [tptpcol_2_2(_609575), -(tptpcol_1_1(_609575))], (570 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _593420) ^ [_609867] : [tptpcol_9_92165(_609867), -(tptpcol_8_92164(_609867))], (580 ^ _593420) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _593420) ^ [_610106] : [fixedordercollection(_610106), -(collection(_610106))], (588 ^ _593420) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _593420) ^ [_610345] : [tptpcol_1_1(_610345), tptpcol_1_65536(_610345)], (596 ^ _593420) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _593420) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _593420) ^ [_610636] : [microtheory(_610636), -(aspatialinformationstore(_610636))], (606 ^ _593420) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _593420) ^ [_610941] : [-(tptp_8_875(_610941, f_relationallexistsfn(_610941, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610941, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _593420) ^ [] : [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 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _593420) ^ [_611392] : [tptpcol_10_118020(_611392), -(tptpcol_9_118019(_611392))], (636 ^ _593420) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _593420) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _593420) ^ [_611750] : [-(tptp_9_720(_611750, f_relationallexistsfn(_611750, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_611750)], (654 ^ _593420) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _593420) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _593420) ^ [_612199] : [individual(_612199), setorcollection(_612199)], (668 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _593420) ^ [_612437] : [tptpcol_12_22055(_612437), -(tptpcol_11_22023(_612437))], (676 ^ _593420) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _593420) ^ [_612676] : [applicationcontext(_612676), -(microtheory(_612676))], (684 ^ _593420) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _593420) ^ [_612982, _612984] : [tptptypes_8_400(_612984, _612982), -(tptptypes_7_396(_612984, _612982))], (694 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _593420) ^ [_613231] : [tptpcol_11_18631(_613231), -(tptpcol_10_18567(_613231))], (702 ^ _593420) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _593420) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _593420) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _593420) ^ [_613642] : [mathematicalthing(_613642), -(mathematicalorcomputationalthing(_613642))], (718 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _593420) ^ [_613934] : [tptpcol_15_93775(_613934), -(tptpcol_14_93774(_613934))], (728 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _593420) ^ [_614173] : [tptpcol_8_109059(_614173), -(tptpcol_7_108547(_614173))], (736 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _593420) ^ [_614412] : [tptpcol_14_40429(_614412), -(tptpcol_13_40421(_614412))], (744 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _593420) ^ [_614770] : [tptpcol_14_22072(_614770), -(tptpcol_13_22071(_614770))], (758 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _593420) ^ [_615009] : [tptpcol_14_93774(_615009), -(tptpcol_13_93766(_615009))], (766 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _593420) ^ [_615248] : [tptpcol_10_22022(_615248), -(tptpcol_9_22021(_615248))], (774 ^ _593420) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _593420) ^ [_615487] : [inanimateobject_nonnatural(_615487), -(inanimateobject(_615487))], (782 ^ _593420) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _593420) ^ [_615832] : [tptpcol_9_72709(_615832), -(tptpcol_8_72708(_615832))], (794 ^ _593420) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _593420) ^ [_616071] : [-(tptpofobject(_616071, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_616071)], (806 ^ _593420) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _593420) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _593420) ^ [_616510] : [firstordercollection(_616510), -(fixedordercollection(_616510))], (820 ^ _593420) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _593420) ^ [_616921] : [tptpcol_13_18664(_616921), -(tptpcol_12_18663(_616921))], (836 ^ _593420) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _593420) ^ [_617160] : [artifact(_617160), -(inanimateobject_nonnatural(_617160))], (844 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _593420) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _593420) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _593420) ^ [_617558] : [tptpcol_7_113665(_617558), -(tptpcol_6_112641(_617558))], (858 ^ _593420) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _593420) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _593420) ^ [_617916] : [geographicalregion(_617916), -(partiallytangible(_617916))], (872 ^ _593420) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _593420) ^ [_618169, _618171] : [disjointwith(_618171, _618169), -(no(_618171, _618169))], (880 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _593420) ^ [_618418] : [tptpcol_4_24578(_618418), -(tptpcol_3_16386(_618418))], (888 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _593420) ^ [_618657] : [tptpcol_5_69635(_618657), -(tptpcol_4_65539(_618657))], (896 ^ _593420) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _593420) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _593420) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _593420) ^ [_619016, _619018] : [genls(_619018, _619016), -(collection(_619018))], (908 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _593420) ^ [_619263] : [tptpcol_13_22071(_619263), -(tptpcol_12_22055(_619263))], (916 ^ _593420) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _593420) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _593420) ^ [_619555] : [tptpcol_3_98305(_619555), -(tptpcol_2_98304(_619555))], (926 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _593420) ^ [_619794] : [tptpcol_4_114689(_619794), -(tptpcol_3_114688(_619794))], (934 ^ _593420) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _593420) ^ [_620033] : [artsupplies(_620033), -(supplies(_620033))], (942 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _593420) ^ [_620272] : [tptpcol_8_26629(_620272), -(tptpcol_7_26628(_620272))], (950 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _593420) ^ [_620511] : [tptpcol_9_109060(_620511), -(tptpcol_8_109059(_620511))], (958 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _593420) ^ [_620750] : [isa(_620750, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_620750, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _620750))], (966 ^ _593420) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _593420) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _593420) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _593420) ^ [_621334] : [tptpcol_14_109181(_621334), -(tptpcol_13_109173(_621334))], (988 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _593420) ^ [_621573] : [tptpcol_16_30972(_621573), -(tptpcol_15_30970(_621573))], (996 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _593420) ^ [_621865] : [tptpcol_9_18439(_621865), -(tptpcol_8_18438(_621865))], (1006 ^ _593420) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _593420) ^ [_622157] : [tptpcol_12_118116(_622157), -(tptpcol_11_118084(_622157))], (1016 ^ _593420) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _593420) ^ [_622449] : [tptpcol_7_26628(_622449), -(tptpcol_6_26627(_622449))], (1026 ^ _593420) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _593420) ^ [_622702, _622704] : [most(_622704, _622702), -(setorcollection(_622704))], (1034 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _593420) ^ [_622949] : [tptpcol_15_109185(_622949), -(tptpcol_14_109181(_622949))], (1042 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _593420) ^ [_623188] : [tptpcol_16_92269(_623188), -(tptpcol_15_92268(_623188))], (1050 ^ _593420) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _593420) ^ [_623494, _623496] : [tptptypes_8_823(_623496, _623494), -(tptptypes_7_819(_623496, _623494))], (1060 ^ _593420) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _593420) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _593420) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _593420) ^ [_624074] : [tptpcol_10_26886(_624074), -(tptpcol_9_26885(_624074))], (1082 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _593420) ^ [_624366] : [tptpcol_15_72793(_624366), -(tptpcol_14_72792(_624366))], (1092 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _593420) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _593420) ^ [_624724] : [navypersonnel(_624724), -(militaryperson(_624724))], (1106 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _593420) ^ [_624963] : [tptpcol_4_16387(_624963), -(tptpcol_3_16386(_624963))], (1114 ^ _593420) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _593420) ^ [_625202] : [enduringthing_localized(_625202), -(spatialthing_nonsituational(_625202))], (1122 ^ _593420) ^ [_625388] : [collection(_625388), individual(_625388)], (1128 ^ _593420) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _593420) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _593420) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _593420) ^ [_625917] : [physicalorderingpredicate(_625917), -(orderingpredicate(_625917))], (1150 ^ _593420) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _593420) ^ [_626170, _626172] : [disjointwith(_626172, _626170), -(collection(_626170))], (1158 ^ _593420) ^ [_626406, _626408, _626410, _626412] : [-(isa(f_relationallexistsfn(_626412, _626408, _626410, _626406), _626406)), isa(_626412, _626410), relationallexists(_626408, _626410, _626406)], (1168 ^ _593420) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _593420) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _593420) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _593420) ^ [_627015, _627017] : [tptptypes_7_389(_627017, _627015), -(tptptypes_6_388(_627015, _627017))], (1186 ^ _593420) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _593420) ^ [_627330] : [-(hpkb_subnationalagent(_627330)), mtvisible(c_hpkbvocabmt), state_geopolitical(_627330)], (1202 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _593420) ^ [_627648] : [tptpcol_8_22020(_627648), -(tptpcol_7_21508(_627648))], (1210 ^ _593420) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _593420) ^ [_627887] : [-(tptp_9_51(f_relationexistsallfn(_627887, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _627887)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_627887, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _593420) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _593420) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _593420) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _593420) ^ [_628391] : [tptpcol_3_65538(_628391), -(tptpcol_2_65537(_628391))], (1238 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _593420) ^ [_628630] : [tptpcol_14_26921(_628630), -(tptpcol_13_26920(_628630))], (1246 ^ _593420) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _593420) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _593420) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _593420) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _593420) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _593420) ^ [_629081] : [intangibleindividual(_629081), -(partiallyintangibleindividual(_629081))], (1262 ^ _593420) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _593420) ^ [_629439] : [tptpcol_16_130924(_629439), -(tptpcol_15_130923(_629439))], (1276 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _593420) ^ [_629678] : [tptpcol_7_92163(_629678), -(tptpcol_6_92162(_629678))], (1284 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _593420) ^ [_629970] : [tptpcol_16_130933(_629970), -(tptpcol_15_130931(_629970))], (1294 ^ _593420) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _593420) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _593420) ^ [_630276, _630278] : [no(_630278, _630276), -(few(_630278, _630276))], (1304 ^ _593420) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _593420) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _593420) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _593420) ^ [_630684] : [tptpcol_6_20484(_630684), -(tptpcol_5_20483(_630684))], (1318 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _593420) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _593420) ^ [_631148] : [tptpcol_7_108547(_631148), -(tptpcol_6_108546(_631148))], (1336 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _593420) ^ [_631387] : [tptpcol_11_109125(_631387), -(tptpcol_10_109061(_631387))], (1344 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _593420) ^ [_631679] : [tptpcol_8_93698(_631679), -(tptpcol_7_93186(_631679))], (1354 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _593420) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _593420) ^ [_631971] : [tptpcol_2_65537(_631971), -(tptpcol_1_65536(_631971))], (1364 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _593420) ^ [_632263] : [tptpcol_6_18436(_632263), -(tptpcol_5_16388(_632263))], (1374 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _593420) ^ [_632502] : [tptpcol_8_18438(_632502), -(tptpcol_7_18437(_632502))], (1382 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _593420) ^ [_632860] : [tptpcol_8_117763(_632860), -(tptpcol_7_117762(_632860))], (1396 ^ _593420) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _593420) ^ [_633152] : [tptpcol_12_109157(_633152), -(tptpcol_11_109125(_633152))], (1406 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _593420) ^ [_633391] : [tptpcol_7_117762(_633391), -(tptpcol_6_116738(_633391))], (1414 ^ _593420) ^ [_633605, _633607, _633609] : [isa(_633609, _633607), isa(_633609, _633605), disjointwith(_633607, _633605)], (1424 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _593420) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _593420) ^ [_634005] : [aspatialinformationstore(_634005), -(aspatialthing(_634005))], (1434 ^ _593420) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _593420) ^ [_634403] : [tptpcol_9_93699(_634403), -(tptpcol_8_93698(_634403))], (1448 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _593420) ^ [_634642] : [tptpcol_11_93764(_634642), -(tptpcol_10_93700(_634642))], (1456 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _593420) ^ [_634881] : [tptpcol_6_26627(_634881), -(tptpcol_5_24579(_634881))], (1464 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _593420) ^ [_635120] : [tptpcol_4_90113(_635120), -(tptpcol_3_81921(_635120))], (1472 ^ _593420) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _593420) ^ [_635412] : [tptpcol_10_93700(_635412), -(tptpcol_9_93699(_635412))], (1482 ^ _593420) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _593420) ^ [_635651] : [aspatialinformationstore(_635651), -(intangibleindividual(_635651))], (1490 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _593420) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _593420) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _593420) ^ [_636062] : [tptpcol_3_16386(_636062), -(tptpcol_2_2(_636062))], (1506 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _593420) ^ [_636301] : [tptpcol_9_118019(_636301), -(tptpcol_8_117763(_636301))], (1514 ^ _593420) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _593420) ^ [_636540] : [individual(_636540), -(trajector_underspecified(_636540))], (1522 ^ _593420) ^ [_636726] : [shavingrazor_manual(_636726), -(tptp_8_271(f_relationexistsallfn(_636726, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _636726))], (1528 ^ _593420) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _593420) ^ [_637030] : [tptpcol_6_112641(_637030), -(tptpcol_5_110593(_637030))], (1538 ^ _593420) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _593420) ^ [_637269] : [tptpcol_12_72775(_637269), -(tptpcol_11_72774(_637269))], (1546 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _593420) ^ [_637508] : [tptpcol_7_72707(_637508), -(tptpcol_6_71683(_637508))], (1554 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _593420) ^ [_637747] : [tptpcol_16_50958(_637747), -(tptpcol_15_50957(_637747))], (1562 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _593420) ^ [_637986] : [tptpcol_8_114177(_637986), -(tptpcol_7_113665(_637986))], (1570 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _593420) ^ [_638225] : [tptpcol_16_72795(_638225), -(tptpcol_15_72793(_638225))], (1578 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _593420) ^ [_638464] : [tptpcol_6_71683(_638464), -(tptpcol_5_69635(_638464))], (1586 ^ _593420) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _593420) ^ [_638770, _638772] : [tptptypes_7_396(_638772, _638770), -(tptptypes_6_388(_638772, _638770))], (1596 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _593420) ^ [_639019] : [tptpcol_9_26885(_639019), -(tptpcol_8_26629(_639019))], (1604 ^ _593420) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _593420) ^ [_639272, _639274] : [genls(_639274, _639272), -(subsetof(_639274, _639272))], (1612 ^ _593420) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _593420) ^ [_639588, _639590] : [tptptypes_6_818(_639590, _639588), -(tptptypes_5_802(_639590, _639588))], (1622 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _593420) ^ [_639837] : [tptpcol_6_92162(_639837), -(tptpcol_5_90114(_639837))], (1630 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _593420) ^ [_640129] : [tptpcol_8_92164(_640129), -(tptpcol_7_92163(_640129))], (1640 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _593420) ^ [_640368] : [tptpcol_13_118117(_640368), -(tptpcol_12_118116(_640368))], (1648 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _593420) ^ [_640607] : [tptpcol_11_40388(_640607), -(tptpcol_10_40324(_640607))], (1656 ^ _593420) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _593420) ^ [_640860, _640862] : [tptptypes_9_824(_640862, _640860), -(tptptypes_8_823(_640862, _640860))], (1664 ^ _593420) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _593420) ^ [_641162] : [tptpcol_11_26887(_641162), -(tptpcol_10_26886(_641162))], (1674 ^ _593420) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _593420) ^ [_641401] : [tptpcol_16_26926(_641401), -(tptpcol_15_26925(_641401))], (1682 ^ _593420) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _593420) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _593420) ^ [_641707, _641709] : [few(_641709, _641707), -(setorcollection(_641707))], (1692 ^ _593420) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _593420) ^ [_641954] : [tptpcol_4_65539(_641954), -(tptpcol_3_65538(_641954))], (1700 ^ _593420) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _593420) ^ [_642193] : [tptpcol_8_39940(_642193), -(tptpcol_7_39939(_642193))], (1708 ^ _593420) ^ [_642379] : [-(tptpofobject(_642379, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_642379)], (1718 ^ _593420) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _593420) ^ [_642818] : [tptpcol_15_22076(_642818), -(tptpcol_14_22072(_642818))], (1732 ^ _593420) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _593420) ^ [_643057] : [tptpcol_0_0(_643057), -(individual(_643057))], (1740 ^ _593420) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _593420) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _593420) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _593420) ^ [_643455] : [tptpcol_11_72774(_643455), -(tptpcol_10_72710(_643455))], (1754 ^ _593420) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _593420) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _593420) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _593420) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _593420) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _593420) ^ [_644091] : [tptpcol_7_21508(_644091), -(tptpcol_6_20484(_644091))], (1780 ^ _593420) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _593420) ^ [_644330] : [tptpcol_6_108546(_644330), -(tptpcol_5_106498(_644330))], (1788 ^ _593420) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _593420) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _593420) ^ [_644688] : [geolevel_4(_644688), -(geographicalregion(_644688))], (1802 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _593420) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _593420) ^ [_645165] : [tptpcol_13_26920(_645165), -(tptpcol_12_26919(_645165))], (1822 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _593420) ^ [_645404] : [tptpcol_14_92264(_645404), -(tptpcol_13_92263(_645404))], (1830 ^ _593420) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _593420) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _593420) ^ [_645696] : [tptpcol_9_40196(_645696), -(tptpcol_8_39940(_645696))], (1840 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _593420) ^ [_646054] : [tptpcol_13_92263(_646054), -(tptpcol_12_92262(_646054))], (1854 ^ _593420) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _593420) ^ [_646346] : [tptpcol_5_90114(_646346), -(tptpcol_4_90113(_646346))], (1864 ^ _593420) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _593420) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _593420) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _593420) ^ [_646757] : [tptpcol_15_26925(_646757), -(tptpcol_14_26921(_646757))], (1880 ^ _593420) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _593420) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _593420) ^ [_647115] : [tptpcol_7_18437(_647115), -(tptpcol_6_18436(_647115))], (1894 ^ _593420) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _593420) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _593420) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _593420) ^ [_647526] : [tptpcol_3_98305(_647526), tptpcol_3_114688(_647526)], (1910 ^ _593420) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _593420) ^ [_647764] : [tptpcol_5_110593(_647764), -(tptpcol_4_106497(_647764))], (1918 ^ _593420) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _593420) ^ [_648003] : [tptpcol_13_72791(_648003), -(tptpcol_12_72775(_648003))], (1926 ^ _593420) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _593420) ^ [_648242] : [computerdataartifact(_648242), -(artifact(_648242))], (1934 ^ _593420) ^ [_648428] : [-(tptpofobject(_648428, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_648428)], (1944 ^ _593420) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _593420) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _593420) ^ [_648867] : [tptpcol_10_92166(_648867), -(tptpcol_9_92165(_648867))], (1958 ^ _593420) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _593420) ^ [_649106] : [tptpcol_14_118118(_649106), -(tptpcol_13_118117(_649106))], (1966 ^ _593420) ^ [_649292] : [isa(_649292, c_tptpcol_14_118118), -(tptpcol_14_118118(_649292))], (1972 ^ _593420) ^ [_649480] : [tptpcol_14_118118(_649480), -(isa(_649480, c_tptpcol_14_118118))], (1978 ^ _593420) ^ [_649653] : [-(natfunction(f_tptpquantityfn_6(_649653), c_tptpquantityfn_6))], (1980 ^ _593420) ^ [_649733] : [-(natargument(f_tptpquantityfn_6(_649733), n_1, _649733))], (1982 ^ _593420) ^ [_649814] : [-(tptpquantity(f_tptpquantityfn_6(_649814)))], (1984 ^ _593420) ^ [_649908] : [isa(_649908, c_tptpcol_16_26939), -(tptpcol_16_26939(_649908))], (1990 ^ _593420) ^ [_650096] : [tptpcol_16_26939(_650096), -(isa(_650096, c_tptpcol_16_26939))], (1996 ^ _593420) ^ [_650284] : [isa(_650284, c_tptpcol_16_62187), -(tptpcol_16_62187(_650284))], (2002 ^ _593420) ^ [_650472] : [tptpcol_16_62187(_650472), -(isa(_650472, c_tptpcol_16_62187))], (2008 ^ _593420) ^ [_650660] : [isa(_650660, c_tptpcol_13_92263), -(tptpcol_13_92263(_650660))], (2014 ^ _593420) ^ [_650848] : [tptpcol_13_92263(_650848), -(isa(_650848, c_tptpcol_13_92263))], (2020 ^ _593420) ^ [_651036] : [isa(_651036, c_geolevel_4), -(geolevel_4(_651036))], (2026 ^ _593420) ^ [_651224] : [geolevel_4(_651224), -(isa(_651224, c_geolevel_4))], (2032 ^ _593420) ^ [_651412] : [isa(_651412, c_tptpcol_15_4027), -(tptpcol_15_4027(_651412))], (2038 ^ _593420) ^ [_651600] : [tptpcol_15_4027(_651600), -(isa(_651600, c_tptpcol_15_4027))], (2044 ^ _593420) ^ [_651788] : [isa(_651788, c_pushingwithfingers), -(pushingwithfingers(_651788))], (2050 ^ _593420) ^ [_651976] : [pushingwithfingers(_651976), -(isa(_651976, c_pushingwithfingers))], (2056 ^ _593420) ^ [_652178, _652180] : [affiliatedwith(_652180, _652178), -(agent_generic(_652178))], (2062 ^ _593420) ^ [_652386, _652388] : [affiliatedwith(_652388, _652386), -(agent_generic(_652388))], (2068 ^ _593420) ^ [_652594, _652596] : [affiliatedwith(_652596, _652594), -(affiliatedwith(_652594, _652596))], (2074 ^ _593420) ^ [_652774] : [affiliatedwith(_652774, _652774)], (2076 ^ _593420) ^ [_652867] : [isa(_652867, c_footballteam), -(footballteam(_652867))], (2082 ^ _593420) ^ [_653055] : [footballteam(_653055), -(isa(_653055, c_footballteam))], (2088 ^ _593420) ^ [_653243] : [isa(_653243, c_tptpcol_16_4451), -(tptpcol_16_4451(_653243))], (2094 ^ _593420) ^ [_653431] : [tptpcol_16_4451(_653431), -(isa(_653431, c_tptpcol_16_4451))], (2100 ^ _593420) ^ [_653619] : [isa(_653619, c_pushingwithopenhand), -(pushingwithopenhand(_653619))], (2106 ^ _593420) ^ [_653807] : [pushingwithopenhand(_653807), -(isa(_653807, c_pushingwithopenhand))], (2112 ^ _593420) ^ [_653995] : [isa(_653995, c_tptpcol_15_22076), -(tptpcol_15_22076(_653995))], (2118 ^ _593420) ^ [_654183] : [tptpcol_15_22076(_654183), -(isa(_654183, c_tptpcol_15_22076))], (2124 ^ _593420) ^ [_654356] : [-(natfunction(f_tptpquantityfn_2(_654356), c_tptpquantityfn_2))], (2126 ^ _593420) ^ [_654436] : [-(natargument(f_tptpquantityfn_2(_654436), n_1, _654436))], (2128 ^ _593420) ^ [_654517] : [-(tptpquantity(f_tptpquantityfn_2(_654517)))], (2130 ^ _593420) ^ [_654611] : [isa(_654611, c_tptpcol_7_39939), -(tptpcol_7_39939(_654611))], (2136 ^ _593420) ^ [_654799] : [tptpcol_7_39939(_654799), -(isa(_654799, c_tptpcol_7_39939))], (2142 ^ _593420) ^ [_654987] : [isa(_654987, c_tptpcol_8_39940), -(tptpcol_8_39940(_654987))], (2148 ^ _593420) ^ [_655175] : [tptpcol_8_39940(_655175), -(isa(_655175, c_tptpcol_8_39940))], (2154 ^ _593420) ^ [_655363] : [isa(_655363, c_tptpcol_15_26925), -(tptpcol_15_26925(_655363))], (2160 ^ _593420) ^ [_655551] : [tptpcol_15_26925(_655551), -(isa(_655551, c_tptpcol_15_26925))], (2166 ^ _593420) ^ [_655739] : [isa(_655739, c_tptpcol_16_26926), -(tptpcol_16_26926(_655739))], (2172 ^ _593420) ^ [_655927] : [tptpcol_16_26926(_655927), -(isa(_655927, c_tptpcol_16_26926))], (2178 ^ _593420) ^ [_656115] : [isa(_656115, c_tptpcol_13_118117), -(tptpcol_13_118117(_656115))], (2184 ^ _593420) ^ [_656303] : [tptpcol_13_118117(_656303), -(isa(_656303, c_tptpcol_13_118117))], (2190 ^ _593420) ^ [_656491] : [isa(_656491, c_tptpcol_5_90114), -(tptpcol_5_90114(_656491))], (2196 ^ _593420) ^ [_656679] : [tptpcol_5_90114(_656679), -(isa(_656679, c_tptpcol_5_90114))], (2202 ^ _593420) ^ [_656881, _656883] : [tptptypes_5_802(_656883, _656881), -(firstordercollection(_656881))], (2208 ^ _593420) ^ [_657089, _657091] : [tptptypes_5_802(_657091, _657089), -(firstordercollection(_657091))], (2214 ^ _593420) ^ [_657283] : [isa(_657283, c_tptpcol_16_72795), -(tptpcol_16_72795(_657283))], (2220 ^ _593420) ^ [_657471] : [tptpcol_16_72795(_657471), -(isa(_657471, c_tptpcol_16_72795))], (2226 ^ _593420) ^ [_657659] : [isa(_657659, c_tptpcol_8_114177), -(tptpcol_8_114177(_657659))], (2232 ^ _593420) ^ [_657847] : [tptpcol_8_114177(_657847), -(isa(_657847, c_tptpcol_8_114177))], (2238 ^ _593420) ^ [_658035] : [isa(_658035, c_tptpcol_15_50957), -(tptpcol_15_50957(_658035))], (2244 ^ _593420) ^ [_658223] : [tptpcol_15_50957(_658223), -(isa(_658223, c_tptpcol_15_50957))], (2250 ^ _593420) ^ [_658411] : [isa(_658411, c_tptpcol_16_50958), -(tptpcol_16_50958(_658411))], (2256 ^ _593420) ^ [_658599] : [tptpcol_16_50958(_658599), -(isa(_658599, c_tptpcol_16_50958))], (2262 ^ _593420) ^ [_658787] : [isa(_658787, c_tptpcol_6_71683), -(tptpcol_6_71683(_658787))], (2268 ^ _593420) ^ [_658975] : [tptpcol_6_71683(_658975), -(isa(_658975, c_tptpcol_6_71683))], (2274 ^ _593420) ^ [_659163] : [isa(_659163, c_tptpcol_11_72774), -(tptpcol_11_72774(_659163))], (2280 ^ _593420) ^ [_659351] : [tptpcol_11_72774(_659351), -(isa(_659351, c_tptpcol_11_72774))], (2286 ^ _593420) ^ [_659539] : [isa(_659539, c_tptpcol_12_72775), -(tptpcol_12_72775(_659539))], (2292 ^ _593420) ^ [_659727] : [tptpcol_12_72775(_659727), -(isa(_659727, c_tptpcol_12_72775))], (2298 ^ _593420) ^ [_659915] : [isa(_659915, c_tptpcol_5_110593), -(tptpcol_5_110593(_659915))], (2304 ^ _593420) ^ [_660103] : [tptpcol_5_110593(_660103), -(isa(_660103, c_tptpcol_5_110593))], (2310 ^ _593420) ^ [_660291] : [isa(_660291, c_tptpcol_16_25972), -(tptpcol_16_25972(_660291))], (2316 ^ _593420) ^ [_660479] : [tptpcol_16_25972(_660479), -(isa(_660479, c_tptpcol_16_25972))], (2322 ^ _593420) ^ [_660681, _660683] : [tptp_8_271(_660683, _660681), -(razor(_660681))], (2328 ^ _593420) ^ [_660889, _660891] : [tptp_8_271(_660891, _660889), -(tptpcol_5_24579(_660891))], (2334 ^ _593420) ^ [_661083] : [isa(_661083, c_tptpcol_4_90113), -(tptpcol_4_90113(_661083))], (2340 ^ _593420) ^ [_661271] : [tptpcol_4_90113(_661271), -(isa(_661271, c_tptpcol_4_90113))], (2346 ^ _593420) ^ [_661459] : [isa(_661459, c_tptpcol_10_93700), -(tptpcol_10_93700(_661459))], (2352 ^ _593420) ^ [_661647] : [tptpcol_10_93700(_661647), -(isa(_661647, c_tptpcol_10_93700))], (2358 ^ _593420) ^ [_661835] : [isa(_661835, c_tptpcol_9_93699), -(tptpcol_9_93699(_661835))], (2364 ^ _593420) ^ [_662023] : [tptpcol_9_93699(_662023), -(isa(_662023, c_tptpcol_9_93699))], (2370 ^ _593420) ^ [_662211] : [isa(_662211, c_aspatialthing), -(aspatialthing(_662211))], (2376 ^ _593420) ^ [_662399] : [aspatialthing(_662399), -(isa(_662399, c_aspatialthing))], (2382 ^ _593420) ^ [_662587] : [isa(_662587, c_tptpcol_7_117762), -(tptpcol_7_117762(_662587))], (2388 ^ _593420) ^ [_662775] : [tptpcol_7_117762(_662775), -(isa(_662775, c_tptpcol_7_117762))], (2394 ^ _593420) ^ [_662963] : [isa(_662963, c_tptpcol_8_117763), -(tptpcol_8_117763(_662963))], (2400 ^ _593420) ^ [_663151] : [tptpcol_8_117763(_663151), -(isa(_663151, c_tptpcol_8_117763))], (2406 ^ _593420) ^ [_663339] : [isa(_663339, c_tptpcol_7_18437), -(tptpcol_7_18437(_663339))], (2412 ^ _593420) ^ [_663527] : [tptpcol_7_18437(_663527), -(isa(_663527, c_tptpcol_7_18437))], (2418 ^ _593420) ^ [_663715] : [isa(_663715, c_tptpcol_6_18436), -(tptpcol_6_18436(_663715))], (2424 ^ _593420) ^ [_663903] : [tptpcol_6_18436(_663903), -(isa(_663903, c_tptpcol_6_18436))], (2430 ^ _593420) ^ [_664091] : [isa(_664091, c_tptpcol_8_93698), -(tptpcol_8_93698(_664091))], (2436 ^ _593420) ^ [_664279] : [tptpcol_8_93698(_664279), -(isa(_664279, c_tptpcol_8_93698))], (2442 ^ _593420) ^ [_664467] : [isa(_664467, c_tptpcol_11_109125), -(tptpcol_11_109125(_664467))], (2448 ^ _593420) ^ [_664655] : [tptpcol_11_109125(_664655), -(isa(_664655, c_tptpcol_11_109125))], (2454 ^ _593420) ^ [_664843] : [isa(_664843, c_tptpcol_6_108546), -(tptpcol_6_108546(_664843))], (2460 ^ _593420) ^ [_665031] : [tptpcol_6_108546(_665031), -(isa(_665031, c_tptpcol_6_108546))], (2466 ^ _593420) ^ [_665219] : [isa(_665219, c_tptpcol_6_20484), -(tptpcol_6_20484(_665219))], (2472 ^ _593420) ^ [_665407] : [tptpcol_6_20484(_665407), -(isa(_665407, c_tptpcol_6_20484))], (2478 ^ _593420) ^ [_665609, _665611] : [few(_665611, _665609), -(setorcollection(_665609))], (2484 ^ _593420) ^ [_665817, _665819] : [few(_665819, _665817), -(setorcollection(_665817))], (2490 ^ _593420) ^ [_666025, _666027] : [few(_666027, _666025), -(setorcollection(_666027))], (2496 ^ _593420) ^ [_666233, _666235] : [few(_666235, _666233), -(setorcollection(_666235))], (2502 ^ _593420) ^ [_666455, _666457, _666459] : [-(few(_666459, _666455)), few(_666459, _666457), subsetof(_666455, _666457)], (2512 ^ _593420) ^ [_666750] : [isa(_666750, c_tptpcol_15_130931), -(tptpcol_15_130931(_666750))], (2518 ^ _593420) ^ [_666938] : [tptpcol_15_130931(_666938), -(isa(_666938, c_tptpcol_15_130931))], (2524 ^ _593420) ^ [_667126] : [isa(_667126, c_tptpcol_16_130933), -(tptpcol_16_130933(_667126))], (2530 ^ _593420) ^ [_667314] : [tptpcol_16_130933(_667314), -(isa(_667314, c_tptpcol_16_130933))], (2536 ^ _593420) ^ [_667502] : [isa(_667502, c_tptpcol_7_92163), -(tptpcol_7_92163(_667502))], (2542 ^ _593420) ^ [_667690] : [tptpcol_7_92163(_667690), -(isa(_667690, c_tptpcol_7_92163))], (2548 ^ _593420) ^ [_667878] : [isa(_667878, c_tptpcol_15_130923), -(tptpcol_15_130923(_667878))], (2554 ^ _593420) ^ [_668066] : [tptpcol_15_130923(_668066), -(isa(_668066, c_tptpcol_15_130923))], (2560 ^ _593420) ^ [_668254] : [isa(_668254, c_tptpcol_16_130924), -(tptpcol_16_130924(_668254))], (2566 ^ _593420) ^ [_668442] : [tptpcol_16_130924(_668442), -(isa(_668442, c_tptpcol_16_130924))], (2572 ^ _593420) ^ [_668630] : [isa(_668630, c_intangibleindividual), -(intangibleindividual(_668630))], (2578 ^ _593420) ^ [_668818] : [intangibleindividual(_668818), -(isa(_668818, c_intangibleindividual))], (2584 ^ _593420) ^ [_669005, _669007] : [-(natfunction(f_citynamedfn(_669007, _669005), c_citynamedfn))], (2586 ^ _593420) ^ [_669102, _669104] : [-(natargument(f_citynamedfn(_669104, _669102), n_1, _669104))], (2588 ^ _593420) ^ [_669200, _669202] : [-(natargument(f_citynamedfn(_669202, _669200), n_2, _669200))], (2590 ^ _593420) ^ [_669298, _669300] : [-(city(f_citynamedfn(_669300, _669298)))], (2592 ^ _593420) ^ [_669395] : [isa(_669395, c_tptpcol_13_26920), -(tptpcol_13_26920(_669395))], (2598 ^ _593420) ^ [_669583] : [tptpcol_13_26920(_669583), -(isa(_669583, c_tptpcol_13_26920))], (2604 ^ _593420) ^ [_669771] : [isa(_669771, c_tptpcol_14_26921), -(tptpcol_14_26921(_669771))], (2610 ^ _593420) ^ [_669959] : [tptpcol_14_26921(_669959), -(isa(_669959, c_tptpcol_14_26921))], (2616 ^ _593420) ^ [_670147] : [isa(_670147, c_tptpcol_3_65538), -(tptpcol_3_65538(_670147))], (2622 ^ _593420) ^ [_670335] : [tptpcol_3_65538(_670335), -(isa(_670335, c_tptpcol_3_65538))], (2628 ^ _593420) ^ [_670523] : [isa(_670523, c_tptpcol_16_27189), -(tptpcol_16_27189(_670523))], (2634 ^ _593420) ^ [_670711] : [tptpcol_16_27189(_670711), -(isa(_670711, c_tptpcol_16_27189))], (2640 ^ _593420) ^ [_670913, _670915] : [tptp_9_51(_670915, _670913), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_670913))], (2646 ^ _593420) ^ [_671121, _671123] : [tptp_9_51(_671123, _671121), -(tptpcol_7_26628(_671123))], (2652 ^ _593420) ^ [_671315] : [isa(_671315, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_671315))], (2658 ^ _593420) ^ [_671503] : [reflexivebinarypredicate(_671503), -(isa(_671503, c_reflexivebinarypredicate))], (2664 ^ _593420) ^ [_671691] : [isa(_671691, c_tptpcol_7_21508), -(tptpcol_7_21508(_671691))], (2670 ^ _593420) ^ [_671879] : [tptpcol_7_21508(_671879), -(isa(_671879, c_tptpcol_7_21508))], (2676 ^ _593420) ^ [_672067] : [isa(_672067, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_672067))], (2682 ^ _593420) ^ [_672255] : [hpkb_subnationalagent(_672255), -(isa(_672255, c_hpkb_subnationalagent))], (2688 ^ _593420) ^ [_672443] : [isa(_672443, c_state_geopolitical), -(state_geopolitical(_672443))], (2694 ^ _593420) ^ [_672631] : [state_geopolitical(_672631), -(isa(_672631, c_state_geopolitical))], (2700 ^ _593420) ^ [_672846, _672848, _672850, _672852] : [-(natfunction(f_relationallexistsfn(_672852, _672850, _672848, _672846), c_relationallexistsfn))], (2702 ^ _593420) ^ [_672977, _672979, _672981, _672983] : [-(natargument(f_relationallexistsfn(_672983, _672981, _672979, _672977), n_1, _672983))], (2704 ^ _593420) ^ [_673109, _673111, _673113, _673115] : [-(natargument(f_relationallexistsfn(_673115, _673113, _673111, _673109), n_2, _673113))], (2706 ^ _593420) ^ [_673241, _673243, _673245, _673247] : [-(natargument(f_relationallexistsfn(_673247, _673245, _673243, _673241), n_3, _673243))], (2708 ^ _593420) ^ [_673373, _673375, _673377, _673379] : [-(natargument(f_relationallexistsfn(_673379, _673377, _673375, _673373), n_4, _673373))], (2710 ^ _593420) ^ [_673505, _673507, _673509, _673511] : [-(thing(f_relationallexistsfn(_673511, _673509, _673507, _673505)))], (2712 ^ _593420) ^ [_673622, _673624] : [arg2isa(_673624, _673622), -(collection(_673622))], (2718 ^ _593420) ^ [_673830, _673832] : [arg2isa(_673832, _673830), -(relation(_673832))], (2724 ^ _593420) ^ [_674052, _674054, _674056] : [-(arg2isa(_674056, _674052)), arg2isa(_674056, _674054), genls(_674054, _674052)], (2734 ^ _593420) ^ [_674375, _674377, _674379] : [-(arg2isa(_674379, _674375)), arg2isa(_674379, _674377), genls(_674377, _674375)], (2744 ^ _593420) ^ [_674670] : [isa(_674670, c_geolevel_1), -(geolevel_1(_674670))], (2750 ^ _593420) ^ [_674858] : [geolevel_1(_674858), -(isa(_674858, c_geolevel_1))], (2756 ^ _593420) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _593420) ^ [_675099] : [isa(_675099, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_675099))], (2764 ^ _593420) ^ [_675287] : [spatialthing_nonsituational(_675287), -(isa(_675287, c_spatialthing_nonsituational))], (2770 ^ _593420) ^ [_675475] : [isa(_675475, c_militaryperson), -(militaryperson(_675475))], (2776 ^ _593420) ^ [_675663] : [militaryperson(_675663), -(isa(_675663, c_militaryperson))], (2782 ^ _593420) ^ [_675851] : [isa(_675851, c_tptpcol_15_72793), -(tptpcol_15_72793(_675851))], (2788 ^ _593420) ^ [_676039] : [tptpcol_15_72793(_676039), -(isa(_676039, c_tptpcol_15_72793))], (2794 ^ _593420) ^ [_676227] : [isa(_676227, c_tptpcol_9_26885), -(tptpcol_9_26885(_676227))], (2800 ^ _593420) ^ [_676415] : [tptpcol_9_26885(_676415), -(isa(_676415, c_tptpcol_9_26885))], (2806 ^ _593420) ^ [_676603] : [isa(_676603, c_tptpcol_10_26886), -(tptpcol_10_26886(_676603))], (2812 ^ _593420) ^ [_676791] : [tptpcol_10_26886(_676791), -(isa(_676791, c_tptpcol_10_26886))], (2818 ^ _593420) ^ [_676993, _676995] : [tptptypes_8_823(_676995, _676993), -(firstordercollection(_676993))], (2824 ^ _593420) ^ [_677201, _677203] : [tptptypes_8_823(_677203, _677201), -(firstordercollection(_677203))], (2830 ^ _593420) ^ [_677395] : [isa(_677395, c_tptpcol_16_92269), -(tptpcol_16_92269(_677395))], (2836 ^ _593420) ^ [_677583] : [tptpcol_16_92269(_677583), -(isa(_677583, c_tptpcol_16_92269))], (2842 ^ _593420) ^ [_677771] : [isa(_677771, c_tptpcol_15_109185), -(tptpcol_15_109185(_677771))], (2848 ^ _593420) ^ [_677959] : [tptpcol_15_109185(_677959), -(isa(_677959, c_tptpcol_15_109185))], (2854 ^ _593420) ^ [_678147] : [isa(_678147, c_tptpcol_6_26627), -(tptpcol_6_26627(_678147))], (2860 ^ _593420) ^ [_678335] : [tptpcol_6_26627(_678335), -(isa(_678335, c_tptpcol_6_26627))], (2866 ^ _593420) ^ [_678523] : [isa(_678523, c_tptpcol_12_118116), -(tptpcol_12_118116(_678523))], (2872 ^ _593420) ^ [_678711] : [tptpcol_12_118116(_678711), -(isa(_678711, c_tptpcol_12_118116))], (2878 ^ _593420) ^ [_678899] : [isa(_678899, c_tptpcol_8_18438), -(tptpcol_8_18438(_678899))], (2884 ^ _593420) ^ [_679087] : [tptpcol_8_18438(_679087), -(isa(_679087, c_tptpcol_8_18438))], (2890 ^ _593420) ^ [_679275] : [isa(_679275, c_tptpcol_15_30970), -(tptpcol_15_30970(_679275))], (2896 ^ _593420) ^ [_679463] : [tptpcol_15_30970(_679463), -(isa(_679463, c_tptpcol_15_30970))], (2902 ^ _593420) ^ [_679651] : [isa(_679651, c_tptpcol_16_30972), -(tptpcol_16_30972(_679651))], (2908 ^ _593420) ^ [_679839] : [tptpcol_16_30972(_679839), -(isa(_679839, c_tptpcol_16_30972))], (2914 ^ _593420) ^ [_680027] : [isa(_680027, c_tptpcol_14_109181), -(tptpcol_14_109181(_680027))], (2920 ^ _593420) ^ [_680215] : [tptpcol_14_109181(_680215), -(isa(_680215, c_tptpcol_14_109181))], (2926 ^ _593420) ^ [_680403] : [isa(_680403, c_physicalorderingpredicate), -(physicalorderingpredicate(_680403))], (2932 ^ _593420) ^ [_680591] : [physicalorderingpredicate(_680591), -(isa(_680591, c_physicalorderingpredicate))], (2938 ^ _593420) ^ [_680779] : [isa(_680779, c_tptpcol_16_7738), -(tptpcol_16_7738(_680779))], (2944 ^ _593420) ^ [_680967] : [tptpcol_16_7738(_680967), -(isa(_680967, c_tptpcol_16_7738))], (2950 ^ _593420) ^ [_681169, _681171] : [tptp_8_968(_681171, _681169), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_681169))], (2956 ^ _593420) ^ [_681377, _681379] : [tptp_8_968(_681379, _681377), -(tptpcol_7_7172(_681379))], (2962 ^ _593420) ^ [_681599, _681601, _681603] : [relationexistsall(_681603, _681601, _681599), -(collection(_681599))], (2968 ^ _593420) ^ [_681829, _681831, _681833] : [relationexistsall(_681833, _681831, _681829), -(collection(_681831))], (2974 ^ _593420) ^ [_682059, _682061, _682063] : [relationexistsall(_682063, _682061, _682059), -(binarypredicate(_682063))], (2980 ^ _593420) ^ [_682261] : [isa(_682261, c_tptpcol_7_26628), -(tptpcol_7_26628(_682261))], (2986 ^ _593420) ^ [_682449] : [tptpcol_7_26628(_682449), -(isa(_682449, c_tptpcol_7_26628))], (2992 ^ _593420) ^ [_682637] : [isa(_682637, c_tptpcol_8_26629), -(tptpcol_8_26629(_682637))], (2998 ^ _593420) ^ [_682825] : [tptpcol_8_26629(_682825), -(isa(_682825, c_tptpcol_8_26629))], (3004 ^ _593420) ^ [_683013] : [isa(_683013, c_tptpcol_3_114688), -(tptpcol_3_114688(_683013))], (3010 ^ _593420) ^ [_683201] : [tptpcol_3_114688(_683201), -(isa(_683201, c_tptpcol_3_114688))], (3016 ^ _593420) ^ [_683374] : [-(natfunction(f_contextofpcwfn(_683374), c_contextofpcwfn))], (3018 ^ _593420) ^ [_683454] : [-(natargument(f_contextofpcwfn(_683454), n_1, _683454))], (3020 ^ _593420) ^ [_683535] : [-(microtheory(f_contextofpcwfn(_683535)))], (3022 ^ _593420) ^ [_683643, _683645] : [arg1isa(_683645, _683643), -(collection(_683643))], (3028 ^ _593420) ^ [_683851, _683853] : [arg1isa(_683853, _683851), -(relation(_683853))], (3034 ^ _593420) ^ [_684073, _684075, _684077] : [-(arg1isa(_684077, _684073)), arg1isa(_684077, _684075), genls(_684075, _684073)], (3044 ^ _593420) ^ [_684396, _684398, _684400] : [-(arg1isa(_684400, _684396)), arg1isa(_684400, _684398), genls(_684398, _684396)], (3054 ^ _593420) ^ [_684705, _684707] : [objectfoundinlocation(_684707, _684705), -(spatialthing_nonsituational(_684705))], (3060 ^ _593420) ^ [_684913, _684915] : [objectfoundinlocation(_684915, _684913), -(spatialthing_localized(_684913))], (3066 ^ _593420) ^ [_685121, _685123] : [objectfoundinlocation(_685123, _685121), -(spatialthing_nonsituational(_685123))], (3072 ^ _593420) ^ [_685329, _685331] : [objectfoundinlocation(_685331, _685329), -(spatialthing_localized(_685331))], (3078 ^ _593420) ^ [_685551, _685553, _685555] : [-(objectfoundinlocation(_685555, _685551)), objectfoundinlocation(_685555, _685553), objectfoundinlocation(_685553, _685551)], (3088 ^ _593420) ^ [_685830] : [objectfoundinlocation(_685830, _685830)], (3090 ^ _593420) ^ [_685951, _685953, _685955] : [-(objectfoundinlocation(_685955, _685951)), objectfoundinlocation(_685955, _685953), geopoliticalsubdivision(_685951, _685953)], (3100 ^ _593420) ^ [_686274, _686276, _686278] : [-(objectfoundinlocation(_686278, _686274)), objectfoundinlocation(_686278, _686276), geographicallysubsumes(_686274, _686276)], (3110 ^ _593420) ^ [_686597, _686599, _686601] : [-(objectfoundinlocation(_686601, _686597)), objectfoundinlocation(_686601, _686599), subregions(_686597, _686599)], (3120 ^ _593420) ^ [_686892] : [isa(_686892, c_ship), -(ship(_686892))], (3126 ^ _593420) ^ [_687080] : [ship(_687080), -(isa(_687080, c_ship))], (3132 ^ _593420) ^ [_687281, _687283, _687285] : [-(natfunction(f_subcollectionofwithrelationtofn(_687285, _687283, _687281), c_subcollectionofwithrelationtofn))], (3134 ^ _593420) ^ [_687395, _687397, _687399] : [-(natargument(f_subcollectionofwithrelationtofn(_687399, _687397, _687395), n_1, _687399))], (3136 ^ _593420) ^ [_687510, _687512, _687514] : [-(natargument(f_subcollectionofwithrelationtofn(_687514, _687512, _687510), n_2, _687512))], (3138 ^ _593420) ^ [_687625, _687627, _687629] : [-(natargument(f_subcollectionofwithrelationtofn(_687629, _687627, _687625), n_3, _687625))], (3140 ^ _593420) ^ [_687740, _687742, _687744] : [-(collection(f_subcollectionofwithrelationtofn(_687744, _687742, _687740)))], (3142 ^ _593420) ^ [_687840] : [isa(_687840, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687840))], (3148 ^ _593420) ^ [_688028] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688028), -(isa(_688028, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _593420) ^ [_688216] : [isa(_688216, c_tptpcol_4_65539), -(tptpcol_4_65539(_688216))], (3160 ^ _593420) ^ [_688404] : [tptpcol_4_65539(_688404), -(isa(_688404, c_tptpcol_4_65539))], (3166 ^ _593420) ^ [_688592] : [isa(_688592, c_tptpcol_5_69635), -(tptpcol_5_69635(_688592))], (3172 ^ _593420) ^ [_688780] : [tptpcol_5_69635(_688780), -(isa(_688780, c_tptpcol_5_69635))], (3178 ^ _593420) ^ [_688968] : [isa(_688968, c_tptpcol_3_16386), -(tptpcol_3_16386(_688968))], (3184 ^ _593420) ^ [_689156] : [tptpcol_3_16386(_689156), -(isa(_689156, c_tptpcol_3_16386))], (3190 ^ _593420) ^ [_689358, _689360] : [no(_689360, _689358), -(setorcollection(_689358))], (3196 ^ _593420) ^ [_689566, _689568] : [no(_689568, _689566), -(setorcollection(_689568))], (3202 ^ _593420) ^ [_689774, _689776] : [no(_689776, _689774), -(no(_689774, _689776))], (3208 ^ _593420) ^ [_689998, _690000, _690002] : [-(no(_690002, _689998)), no(_690002, _690000), subsetof(_689998, _690000)], (3218 ^ _593420) ^ [_690321, _690323, _690325] : [-(no(_690321, _690323)), no(_690325, _690323), subsetof(_690321, _690325)], (3228 ^ _593420) ^ [_690644, _690646, _690648] : [-(no(_690644, _690646)), no(_690648, _690646), genls(_690644, _690648)], (3238 ^ _593420) ^ [_690967, _690969, _690971] : [-(no(_690971, _690967)), no(_690971, _690969), genls(_690967, _690969)], (3248 ^ _593420) ^ [_691290, _691292, _691294] : [-(no(_691290, _691292)), no(_691294, _691292), subsetof(_691290, _691294)], (3258 ^ _593420) ^ [_691613, _691615, _691617] : [-(no(_691617, _691613)), no(_691617, _691615), subsetof(_691613, _691615)], (3268 ^ _593420) ^ [_691908] : [isa(_691908, c_geographicalregion), -(geographicalregion(_691908))], (3274 ^ _593420) ^ [_692096] : [geographicalregion(_692096), -(isa(_692096, c_geographicalregion))], (3280 ^ _593420) ^ [_692269] : [-(natfunction(f_tptpquantityfn_21(_692269), c_tptpquantityfn_21))], (3282 ^ _593420) ^ [_692349] : [-(natargument(f_tptpquantityfn_21(_692349), n_1, _692349))], (3284 ^ _593420) ^ [_692430] : [-(tptpquantity(f_tptpquantityfn_21(_692430)))], (3286 ^ _593420) ^ [_692538, _692540] : [airporthasiatacode(_692540, _692538), -(stringoflengthfn3(_692538))], (3292 ^ _593420) ^ [_692746, _692748] : [airporthasiatacode(_692748, _692746), -(airport_physical(_692748))], (3298 ^ _593420) ^ [_692940] : [isa(_692940, c_airport_physical), -(airport_physical(_692940))], (3304 ^ _593420) ^ [_693128] : [airport_physical(_693128), -(isa(_693128, c_airport_physical))], (3310 ^ _593420) ^ [_693329, _693331, _693333] : [-(natfunction(f_instancewithrelationtofn(_693333, _693331, _693329), c_instancewithrelationtofn))], (3312 ^ _593420) ^ [_693443, _693445, _693447] : [-(natargument(f_instancewithrelationtofn(_693447, _693445, _693443), n_1, _693447))], (3314 ^ _593420) ^ [_693558, _693560, _693562] : [-(natargument(f_instancewithrelationtofn(_693562, _693560, _693558), n_2, _693560))], (3316 ^ _593420) ^ [_693673, _693675, _693677] : [-(natargument(f_instancewithrelationtofn(_693677, _693675, _693673), n_3, _693673))], (3318 ^ _593420) ^ [_693788, _693790, _693792] : [-(thing(f_instancewithrelationtofn(_693792, _693790, _693788)))], (3320 ^ _593420) ^ [_693888] : [isa(_693888, c_tptpcol_6_112641), -(tptpcol_6_112641(_693888))], (3326 ^ _593420) ^ [_694076] : [tptpcol_6_112641(_694076), -(isa(_694076, c_tptpcol_6_112641))], (3332 ^ _593420) ^ [_694264] : [isa(_694264, c_tptpcol_7_113665), -(tptpcol_7_113665(_694264))], (3338 ^ _593420) ^ [_694452] : [tptpcol_7_113665(_694452), -(isa(_694452, c_tptpcol_7_113665))], (3344 ^ _593420) ^ [_694640] : [isa(_694640, c_artifact), -(artifact(_694640))], (3350 ^ _593420) ^ [_694828] : [artifact(_694828), -(isa(_694828, c_artifact))], (3356 ^ _593420) ^ [_695016] : [isa(_695016, c_tptpcol_13_18664), -(tptpcol_13_18664(_695016))], (3362 ^ _593420) ^ [_695204] : [tptpcol_13_18664(_695204), -(isa(_695204, c_tptpcol_13_18664))], (3368 ^ _593420) ^ [_695392] : [isa(_695392, c_firstordercollection), -(firstordercollection(_695392))], (3374 ^ _593420) ^ [_695580] : [firstordercollection(_695580), -(isa(_695580, c_firstordercollection))], (3380 ^ _593420) ^ [_695753] : [-(natfunction(f_tptpquantityfn_14(_695753), c_tptpquantityfn_14))], (3382 ^ _593420) ^ [_695833] : [-(natargument(f_tptpquantityfn_14(_695833), n_1, _695833))], (3384 ^ _593420) ^ [_695914] : [-(tptpquantity(f_tptpquantityfn_14(_695914)))], (3386 ^ _593420) ^ [_696008] : [isa(_696008, c_supplies), -(supplies(_696008))], (3392 ^ _593420) ^ [_696196] : [supplies(_696196), -(isa(_696196, c_supplies))], (3398 ^ _593420) ^ [_696384] : [isa(_696384, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_696384))], (3404 ^ _593420) ^ [_696572] : [inanimateobject_nonnatural(_696572), -(isa(_696572, c_inanimateobject_nonnatural))], (3410 ^ _593420) ^ [_696760] : [isa(_696760, c_tptpcol_13_22071), -(tptpcol_13_22071(_696760))], (3416 ^ _593420) ^ [_696948] : [tptpcol_13_22071(_696948), -(isa(_696948, c_tptpcol_13_22071))], (3422 ^ _593420) ^ [_697136] : [isa(_697136, c_tptpcol_14_22072), -(tptpcol_14_22072(_697136))], (3428 ^ _593420) ^ [_697324] : [tptpcol_14_22072(_697324), -(isa(_697324, c_tptpcol_14_22072))], (3434 ^ _593420) ^ [_697512] : [isa(_697512, c_tptpcol_7_108547), -(tptpcol_7_108547(_697512))], (3440 ^ _593420) ^ [_697700] : [tptpcol_7_108547(_697700), -(isa(_697700, c_tptpcol_7_108547))], (3446 ^ _593420) ^ [_697888] : [isa(_697888, c_tptpcol_8_109059), -(tptpcol_8_109059(_697888))], (3452 ^ _593420) ^ [_698076] : [tptpcol_8_109059(_698076), -(isa(_698076, c_tptpcol_8_109059))], (3458 ^ _593420) ^ [_698264] : [isa(_698264, c_tptpcol_14_93774), -(tptpcol_14_93774(_698264))], (3464 ^ _593420) ^ [_698452] : [tptpcol_14_93774(_698452), -(isa(_698452, c_tptpcol_14_93774))], (3470 ^ _593420) ^ [_698640] : [isa(_698640, c_tptpcol_15_93775), -(tptpcol_15_93775(_698640))], (3476 ^ _593420) ^ [_698828] : [tptpcol_15_93775(_698828), -(isa(_698828, c_tptpcol_15_93775))], (3482 ^ _593420) ^ [_699016] : [isa(_699016, c_tptpcol_16_8886), -(tptpcol_16_8886(_699016))], (3488 ^ _593420) ^ [_699204] : [tptpcol_16_8886(_699204), -(isa(_699204, c_tptpcol_16_8886))], (3494 ^ _593420) ^ [_699406, _699408] : [orientation(_699408, _699406), -(orientationvector(_699406))], (3500 ^ _593420) ^ [_699614, _699616] : [orientation(_699616, _699614), -(spatialthing_localized(_699616))], (3506 ^ _593420) ^ [_699808] : [isa(_699808, c_orientationvector), -(orientationvector(_699808))], (3512 ^ _593420) ^ [_699996] : [orientationvector(_699996), -(isa(_699996, c_orientationvector))], (3518 ^ _593420) ^ [_700184] : [isa(_700184, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700184))], (3524 ^ _593420) ^ [_700372] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700372), -(isa(_700372, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _593420) ^ [_700574, _700576] : [tptptypes_9_824(_700576, _700574), -(firstordercollection(_700574))], (3536 ^ _593420) ^ [_700782, _700784] : [tptptypes_9_824(_700784, _700782), -(firstordercollection(_700784))], (3542 ^ _593420) ^ [_700990, _700992] : [tptptypes_7_396(_700992, _700990), -(firstordercollection(_700990))], (3548 ^ _593420) ^ [_701198, _701200] : [tptptypes_7_396(_701200, _701198), -(firstordercollection(_701200))], (3554 ^ _593420) ^ [_701392] : [isa(_701392, c_tptpcol_12_22055), -(tptpcol_12_22055(_701392))], (3560 ^ _593420) ^ [_701580] : [tptpcol_12_22055(_701580), -(isa(_701580, c_tptpcol_12_22055))], (3566 ^ _593420) ^ [_701768] : [isa(_701768, c_tptpcol_16_29490), -(tptpcol_16_29490(_701768))], (3572 ^ _593420) ^ [_701956] : [tptpcol_16_29490(_701956), -(isa(_701956, c_tptpcol_16_29490))], (3578 ^ _593420) ^ [_702158, _702160] : [tptp_9_720(_702160, _702158), -(tptpcol_5_28674(_702158))], (3584 ^ _593420) ^ [_702366, _702368] : [tptp_9_720(_702368, _702366), -(executionbyfiringsquad(_702368))], (3590 ^ _593420) ^ [_702560] : [isa(_702560, c_runningshorts), -(runningshorts(_702560))], (3596 ^ _593420) ^ [_702748] : [runningshorts(_702748), -(isa(_702748, c_runningshorts))], (3602 ^ _593420) ^ [_702936] : [isa(_702936, c_tptpcol_9_118019), -(tptpcol_9_118019(_702936))], (3608 ^ _593420) ^ [_703124] : [tptpcol_9_118019(_703124), -(isa(_703124, c_tptpcol_9_118019))], (3614 ^ _593420) ^ [_703312] : [isa(_703312, c_tptpcol_16_31868), -(tptpcol_16_31868(_703312))], (3620 ^ _593420) ^ [_703500] : [tptpcol_16_31868(_703500), -(isa(_703500, c_tptpcol_16_31868))], (3626 ^ _593420) ^ [_703688] : [isa(_703688, c_movement_translationevent), -(movement_translationevent(_703688))], (3632 ^ _593420) ^ [_703876] : [movement_translationevent(_703876), -(isa(_703876, c_movement_translationevent))], (3638 ^ _593420) ^ [_704078, _704080] : [directionoftranslation_throughout(_704080, _704078), -(unitvectorinterval(_704078))], (3644 ^ _593420) ^ [_704286, _704288] : [directionoftranslation_throughout(_704288, _704286), -(movement_translationevent(_704288))], (3650 ^ _593420) ^ [_704508, _704510, _704512] : [-(directionoftranslation_throughout(_704508, _704510)), directionoftranslation_throughout(_704512, _704510), subevents(_704512, _704508)], (3660 ^ _593420) ^ [_704803] : [isa(_704803, c_unitvectorinterval), -(unitvectorinterval(_704803))], (3666 ^ _593420) ^ [_704991] : [unitvectorinterval(_704991), -(isa(_704991, c_unitvectorinterval))], (3672 ^ _593420) ^ [_705179] : [isa(_705179, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705179))], (3678 ^ _593420) ^ [_705367] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705367), -(isa(_705367, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _593420) ^ [_705569, _705571] : [tptp_8_875(_705571, _705569), -(tptpcol_4_24578(_705569))], (3690 ^ _593420) ^ [_705777, _705779] : [tptp_8_875(_705779, _705777), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705779))], (3696 ^ _593420) ^ [_705999, _706001, _706003] : [relationallexists(_706003, _706001, _705999), -(collection(_705999))], (3702 ^ _593420) ^ [_706229, _706231, _706233] : [relationallexists(_706233, _706231, _706229), -(collection(_706231))], (3708 ^ _593420) ^ [_706459, _706461, _706463] : [relationallexists(_706463, _706461, _706459), -(binarypredicate(_706463))], (3714 ^ _593420) ^ [_706661] : [isa(_706661, c_tptpcol_16_10258), -(tptpcol_16_10258(_706661))], (3720 ^ _593420) ^ [_706849] : [tptpcol_16_10258(_706849), -(isa(_706849, c_tptpcol_16_10258))], (3726 ^ _593420) ^ [_707037] : [isa(_707037, c_pushingababycarriage), -(pushingababycarriage(_707037))], (3732 ^ _593420) ^ [_707225] : [pushingababycarriage(_707225), -(isa(_707225, c_pushingababycarriage))], (3738 ^ _593420) ^ [_707413] : [isa(_707413, c_aspatialinformationstore), -(aspatialinformationstore(_707413))], (3744 ^ _593420) ^ [_707601] : [aspatialinformationstore(_707601), -(isa(_707601, c_aspatialinformationstore))], (3750 ^ _593420) ^ [_707789] : [isa(_707789, c_collection), -(collection(_707789))], (3756 ^ _593420) ^ [_707977] : [collection(_707977), -(isa(_707977, c_collection))], (3762 ^ _593420) ^ [_708165] : [isa(_708165, c_fixedordercollection), -(fixedordercollection(_708165))], (3768 ^ _593420) ^ [_708353] : [fixedordercollection(_708353), -(isa(_708353, c_fixedordercollection))], (3774 ^ _593420) ^ [_708541] : [isa(_708541, c_tptpcol_8_92164), -(tptpcol_8_92164(_708541))], (3780 ^ _593420) ^ [_708729] : [tptpcol_8_92164(_708729), -(isa(_708729, c_tptpcol_8_92164))], (3786 ^ _593420) ^ [_708917] : [isa(_708917, c_tptpcol_9_92165), -(tptpcol_9_92165(_708917))], (3792 ^ _593420) ^ [_709105] : [tptpcol_9_92165(_709105), -(isa(_709105, c_tptpcol_9_92165))], (3798 ^ _593420) ^ [_709293] : [isa(_709293, c_tptpcol_1_1), -(tptpcol_1_1(_709293))], (3804 ^ _593420) ^ [_709481] : [tptpcol_1_1(_709481), -(isa(_709481, c_tptpcol_1_1))], (3810 ^ _593420) ^ [_709669] : [isa(_709669, c_tptpcol_2_2), -(tptpcol_2_2(_709669))], (3816 ^ _593420) ^ [_709857] : [tptpcol_2_2(_709857), -(isa(_709857, c_tptpcol_2_2))], (3822 ^ _593420) ^ [_710059, _710061] : [tptptypes_7_691(_710061, _710059), -(firstordercollection(_710059))], (3828 ^ _593420) ^ [_710267, _710269] : [tptptypes_7_691(_710269, _710267), -(firstordercollection(_710269))], (3834 ^ _593420) ^ [_710461] : [isa(_710461, c_tptpcol_11_26887), -(tptpcol_11_26887(_710461))], (3840 ^ _593420) ^ [_710649] : [tptpcol_11_26887(_710649), -(isa(_710649, c_tptpcol_11_26887))], (3846 ^ _593420) ^ [_710837] : [isa(_710837, c_tptpcol_12_26919), -(tptpcol_12_26919(_710837))], (3852 ^ _593420) ^ [_711025] : [tptpcol_12_26919(_711025), -(isa(_711025, c_tptpcol_12_26919))], (3858 ^ _593420) ^ [_711227, _711229] : [tptptypes_6_818(_711229, _711227), -(firstordercollection(_711227))], (3864 ^ _593420) ^ [_711435, _711437] : [tptptypes_6_818(_711437, _711435), -(firstordercollection(_711437))], (3870 ^ _593420) ^ [_711643, _711645] : [tptptypes_7_819(_711645, _711643), -(firstordercollection(_711643))], (3876 ^ _593420) ^ [_711851, _711853] : [tptptypes_7_819(_711853, _711851), -(firstordercollection(_711853))], (3882 ^ _593420) ^ [_712045] : [isa(_712045, c_correctivelensprescription), -(correctivelensprescription(_712045))], (3888 ^ _593420) ^ [_712233] : [correctivelensprescription(_712233), -(isa(_712233, c_correctivelensprescription))], (3894 ^ _593420) ^ [_712435, _712437] : [products(_712437, _712435), -(artifact(_712435))], (3900 ^ _593420) ^ [_712643, _712645] : [products(_712645, _712643), -(creationordestructionevent(_712645))], (3906 ^ _593420) ^ [_712837] : [isa(_712837, c_issuingaprescription), -(issuingaprescription(_712837))], (3912 ^ _593420) ^ [_713025] : [issuingaprescription(_713025), -(isa(_713025, c_issuingaprescription))], (3918 ^ _593420) ^ [_713226, _713228, _713230] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_713230, _713228, _713226), c_subcollectionofwithrelationtotypefn))], (3920 ^ _593420) ^ [_713340, _713342, _713344] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713344, _713342, _713340), n_1, _713344))], (3922 ^ _593420) ^ [_713455, _713457, _713459] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713459, _713457, _713455), n_2, _713457))], (3924 ^ _593420) ^ [_713570, _713572, _713574] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713574, _713572, _713570), n_3, _713570))], (3926 ^ _593420) ^ [_713685, _713687, _713689] : [-(collection(f_subcollectionofwithrelationtotypefn(_713689, _713687, _713685)))], (3928 ^ _593420) ^ [_713785] : [isa(_713785, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713785))], (3934 ^ _593420) ^ [_713973] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713973), -(isa(_713973, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _593420) ^ [_714161] : [isa(_714161, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_714161))], (3946 ^ _593420) ^ [_714349] : [mathematicalorcomputationalthing(_714349), -(isa(_714349, c_mathematicalorcomputationalthing))], (3952 ^ _593420) ^ [_714537] : [isa(_714537, c_tptpcol_10_118020), -(tptpcol_10_118020(_714537))], (3958 ^ _593420) ^ [_714725] : [tptpcol_10_118020(_714725), -(isa(_714725, c_tptpcol_10_118020))], (3964 ^ _593420) ^ [_714913] : [isa(_714913, c_tptpcol_11_118084), -(tptpcol_11_118084(_714913))], (3970 ^ _593420) ^ [_715101] : [tptpcol_11_118084(_715101), -(isa(_715101, c_tptpcol_11_118084))], (3976 ^ _593420) ^ [_715289] : [isa(_715289, c_terroristgroup), -(terroristgroup(_715289))], (3982 ^ _593420) ^ [_715477] : [terroristgroup(_715477), -(isa(_715477, c_terroristgroup))], (3988 ^ _593420) ^ [_715679, _715681] : [hasmembers(_715681, _715679), -(agent_generic(_715679))], (3994 ^ _593420) ^ [_715887, _715889] : [hasmembers(_715889, _715887), -(organization(_715889))], (4000 ^ _593420) ^ [_716081] : [isa(_716081, c_terrorist), -(terrorist(_716081))], (4006 ^ _593420) ^ [_716269] : [terrorist(_716269), -(isa(_716269, c_terrorist))], (4012 ^ _593420) ^ [_716470, _716472, _716474] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_716474, _716472, _716470), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _593420) ^ [_716584, _716586, _716588] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716588, _716586, _716584), n_1, _716588))], (4016 ^ _593420) ^ [_716699, _716701, _716703] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716703, _716701, _716699), n_2, _716701))], (4018 ^ _593420) ^ [_716814, _716816, _716818] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716818, _716816, _716814), n_3, _716814))], (4020 ^ _593420) ^ [_716929, _716931, _716933] : [-(collection(f_subcollectionofwithrelationfromtypefn(_716933, _716931, _716929)))], (4022 ^ _593420) ^ [_717029] : [isa(_717029, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717029))], (4028 ^ _593420) ^ [_717217] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717217), -(isa(_717217, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _593420) ^ [_717419, _717421] : [prettystring(_717421, _717419), -(controlcharacterfreestring(_717419))], (4040 ^ _593420) ^ [_717627, _717629] : [prettystring(_717629, _717627), -(thing(_717629))], (4046 ^ _593420) ^ [_717821] : [isa(_717821, c_tptpcol_0_0), -(tptpcol_0_0(_717821))], (4052 ^ _593420) ^ [_718009] : [tptpcol_0_0(_718009), -(isa(_718009, c_tptpcol_0_0))], (4058 ^ _593420) ^ [_718197] : [isa(_718197, c_geolevel_3), -(geolevel_3(_718197))], (4064 ^ _593420) ^ [_718385] : [geolevel_3(_718385), -(isa(_718385, c_geolevel_3))], (4070 ^ _593420) ^ [_718573] : [isa(_718573, c_tptpcol_4_24578), -(tptpcol_4_24578(_718573))], (4076 ^ _593420) ^ [_718761] : [tptpcol_4_24578(_718761), -(isa(_718761, c_tptpcol_4_24578))], (4082 ^ _593420) ^ [_718949] : [isa(_718949, c_tptpcol_5_24579), -(tptpcol_5_24579(_718949))], (4088 ^ _593420) ^ [_719137] : [tptpcol_5_24579(_719137), -(isa(_719137, c_tptpcol_5_24579))], (4094 ^ _593420) ^ [_719325] : [isa(_719325, c_tptpcol_5_106498), -(tptpcol_5_106498(_719325))], (4100 ^ _593420) ^ [_719513] : [tptpcol_5_106498(_719513), -(isa(_719513, c_tptpcol_5_106498))], (4106 ^ _593420) ^ [_719701] : [isa(_719701, c_tptpcol_12_109157), -(tptpcol_12_109157(_719701))], (4112 ^ _593420) ^ [_719889] : [tptpcol_12_109157(_719889), -(isa(_719889, c_tptpcol_12_109157))], (4118 ^ _593420) ^ [_720077] : [isa(_720077, c_tptpcol_13_109173), -(tptpcol_13_109173(_720077))], (4124 ^ _593420) ^ [_720265] : [tptpcol_13_109173(_720265), -(isa(_720265, c_tptpcol_13_109173))], (4130 ^ _593420) ^ [_720453] : [isa(_720453, c_mathematicalthing), -(mathematicalthing(_720453))], (4136 ^ _593420) ^ [_720641] : [mathematicalthing(_720641), -(isa(_720641, c_mathematicalthing))], (4142 ^ _593420) ^ [_720829] : [isa(_720829, c_setorcollection), -(setorcollection(_720829))], (4148 ^ _593420) ^ [_721017] : [setorcollection(_721017), -(isa(_721017, c_setorcollection))], (4154 ^ _593420) ^ [_721205] : [isa(_721205, c_tptpcol_11_18631), -(tptpcol_11_18631(_721205))], (4160 ^ _593420) ^ [_721393] : [tptpcol_11_18631(_721393), -(isa(_721393, c_tptpcol_11_18631))], (4166 ^ _593420) ^ [_721581] : [isa(_721581, c_tptpcol_12_18663), -(tptpcol_12_18663(_721581))], (4172 ^ _593420) ^ [_721769] : [tptpcol_12_18663(_721769), -(isa(_721769, c_tptpcol_12_18663))], (4178 ^ _593420) ^ [_721971, _721973] : [tptptypes_8_400(_721973, _721971), -(firstordercollection(_721971))], (4184 ^ _593420) ^ [_722179, _722181] : [tptptypes_8_400(_722181, _722179), -(firstordercollection(_722181))], (4190 ^ _593420) ^ [_722387, _722389] : [tptptypes_9_401(_722389, _722387), -(firstordercollection(_722387))], (4196 ^ _593420) ^ [_722595, _722597] : [tptptypes_9_401(_722597, _722595), -(firstordercollection(_722597))], (4202 ^ _593420) ^ [_722774] : [-(natfunction(f_tptpquantityfn_13(_722774), c_tptpquantityfn_13))], (4204 ^ _593420) ^ [_722854] : [-(natargument(f_tptpquantityfn_13(_722854), n_1, _722854))], (4206 ^ _593420) ^ [_722935] : [-(tptpquantity(f_tptpquantityfn_13(_722935)))], (4208 ^ _593420) ^ [_723043, _723045] : [borderson(_723045, _723043), -(geographicalregion(_723043))], (4214 ^ _593420) ^ [_723251, _723253] : [borderson(_723253, _723251), -(geographicalregion(_723253))], (4220 ^ _593420) ^ [_723459, _723461] : [borderson(_723461, _723459), -(borderson(_723459, _723461))], (4226 ^ _593420) ^ [_723639] : [borderson(_723639, _723639)], (4228 ^ _593420) ^ [_723732] : [isa(_723732, c_tptpcol_14_92264), -(tptpcol_14_92264(_723732))], (4234 ^ _593420) ^ [_723920] : [tptpcol_14_92264(_723920), -(isa(_723920, c_tptpcol_14_92264))], (4240 ^ _593420) ^ [_724108] : [isa(_724108, c_tptpcol_15_92268), -(tptpcol_15_92268(_724108))], (4246 ^ _593420) ^ [_724296] : [tptpcol_15_92268(_724296), -(isa(_724296, c_tptpcol_15_92268))], (4252 ^ _593420) ^ [_724484] : [isa(_724484, c_tptpcol_6_116738), -(tptpcol_6_116738(_724484))], (4258 ^ _593420) ^ [_724672] : [tptpcol_6_116738(_724672), -(isa(_724672, c_tptpcol_6_116738))], (4264 ^ _593420) ^ [_724874, _724876] : [tptptypes_5_387(_724876, _724874), -(firstordercollection(_724874))], (4270 ^ _593420) ^ [_725082, _725084] : [tptptypes_5_387(_725084, _725082), -(firstordercollection(_725084))], (4276 ^ _593420) ^ [_725290, _725292] : [tptptypes_6_388(_725292, _725290), -(firstordercollection(_725290))], (4282 ^ _593420) ^ [_725498, _725500] : [tptptypes_6_388(_725500, _725498), -(firstordercollection(_725500))], (4288 ^ _593420) ^ [_725692] : [isa(_725692, c_shavingrazor_manual), -(shavingrazor_manual(_725692))], (4294 ^ _593420) ^ [_725880] : [shavingrazor_manual(_725880), -(isa(_725880, c_shavingrazor_manual))], (4300 ^ _593420) ^ [_726068] : [isa(_726068, c_tptpcol_9_109060), -(tptpcol_9_109060(_726068))], (4306 ^ _593420) ^ [_726256] : [tptpcol_9_109060(_726256), -(isa(_726256, c_tptpcol_9_109060))], (4312 ^ _593420) ^ [_726444] : [isa(_726444, c_tptpcol_10_109061), -(tptpcol_10_109061(_726444))], (4318 ^ _593420) ^ [_726632] : [tptpcol_10_109061(_726632), -(isa(_726632, c_tptpcol_10_109061))], (4324 ^ _593420) ^ [_726820] : [isa(_726820, c_executionbyfiringsquad), -(executionbyfiringsquad(_726820))], (4330 ^ _593420) ^ [_727008] : [executionbyfiringsquad(_727008), -(isa(_727008, c_executionbyfiringsquad))], (4336 ^ _593420) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _593420) ^ [_727249] : [isa(_727249, c_navypersonnel), -(navypersonnel(_727249))], (4344 ^ _593420) ^ [_727437] : [navypersonnel(_727437), -(isa(_727437, c_navypersonnel))], (4350 ^ _593420) ^ [_727625] : [isa(_727625, c_tptpcol_12_92262), -(tptpcol_12_92262(_727625))], (4356 ^ _593420) ^ [_727813] : [tptpcol_12_92262(_727813), -(isa(_727813, c_tptpcol_12_92262))], (4362 ^ _593420) ^ [_728001] : [isa(_728001, c_thing), -(thing(_728001))], (4368 ^ _593420) ^ [_728189] : [thing(_728189), -(isa(_728189, c_thing))], (4374 ^ _593420) ^ [_728377] : [isa(_728377, c_computerdataartifact), -(computerdataartifact(_728377))], (4380 ^ _593420) ^ [_728565] : [computerdataartifact(_728565), -(isa(_728565, c_computerdataartifact))], (4386 ^ _593420) ^ [_728753] : [isa(_728753, c_applicationcontext), -(applicationcontext(_728753))], (4392 ^ _593420) ^ [_728941] : [applicationcontext(_728941), -(isa(_728941, c_applicationcontext))], (4398 ^ _593420) ^ [_729143, _729145] : [inregion(_729145, _729143), -(spatialthing_nonsituational(_729143))], (4404 ^ _593420) ^ [_729351, _729353] : [inregion(_729353, _729351), -(spatialthing_nonsituational(_729353))], (4410 ^ _593420) ^ [_729573, _729575, _729577] : [-(inregion(_729577, _729573)), inregion(_729577, _729575), inregion(_729575, _729573)], (4420 ^ _593420) ^ [_729868] : [spatialthing_nonsituational(_729868), -(inregion(_729868, _729868))], (4426 ^ _593420) ^ [_730041] : [-(natfunction(f_tptpquantityfn_1(_730041), c_tptpquantityfn_1))], (4428 ^ _593420) ^ [_730121] : [-(natargument(f_tptpquantityfn_1(_730121), n_1, _730121))], (4430 ^ _593420) ^ [_730202] : [-(tptpquantity(f_tptpquantityfn_1(_730202)))], (4432 ^ _593420) ^ [_730296] : [isa(_730296, c_furpelt), -(furpelt(_730296))], (4438 ^ _593420) ^ [_730484] : [furpelt(_730484), -(isa(_730484, c_furpelt))], (4444 ^ _593420) ^ [_730686, _730688] : [tptpofobject(_730688, _730686), -(tptpquantity(_730686))], (4450 ^ _593420) ^ [_730894, _730896] : [tptpofobject(_730896, _730894), -(partiallytangible(_730896))], (4456 ^ _593420) ^ [_731116, _731118, _731120] : [relationallinstance(_731120, _731118, _731116), -(thing(_731116))], (4462 ^ _593420) ^ [_731346, _731348, _731350] : [relationallinstance(_731350, _731348, _731346), -(collection(_731348))], (4468 ^ _593420) ^ [_731576, _731578, _731580] : [relationallinstance(_731580, _731578, _731576), -(binarypredicate(_731580))], (4474 ^ _593420) ^ [_731778] : [isa(_731778, c_tptpcol_13_93766), -(tptpcol_13_93766(_731778))], (4480 ^ _593420) ^ [_731966] : [tptpcol_13_93766(_731966), -(isa(_731966, c_tptpcol_13_93766))], (4486 ^ _593420) ^ [_732154] : [isa(_732154, c_tptpcol_9_40196), -(tptpcol_9_40196(_732154))], (4492 ^ _593420) ^ [_732342] : [tptpcol_9_40196(_732342), -(isa(_732342, c_tptpcol_9_40196))], (4498 ^ _593420) ^ [_732530] : [isa(_732530, c_tptpcol_10_40324), -(tptpcol_10_40324(_732530))], (4504 ^ _593420) ^ [_732718] : [tptpcol_10_40324(_732718), -(isa(_732718, c_tptpcol_10_40324))], (4510 ^ _593420) ^ [_732906] : [isa(_732906, c_tptpcol_7_72707), -(tptpcol_7_72707(_732906))], (4516 ^ _593420) ^ [_733094] : [tptpcol_7_72707(_733094), -(isa(_733094, c_tptpcol_7_72707))], (4522 ^ _593420) ^ [_733282] : [isa(_733282, c_tptpcol_8_72708), -(tptpcol_8_72708(_733282))], (4528 ^ _593420) ^ [_733470] : [tptpcol_8_72708(_733470), -(isa(_733470, c_tptpcol_8_72708))], (4534 ^ _593420) ^ [_733658] : [isa(_733658, c_tptpcol_11_93764), -(tptpcol_11_93764(_733658))], (4540 ^ _593420) ^ [_733846] : [tptpcol_11_93764(_733846), -(isa(_733846, c_tptpcol_11_93764))], (4546 ^ _593420) ^ [_734034] : [isa(_734034, c_tptpcol_12_93765), -(tptpcol_12_93765(_734034))], (4552 ^ _593420) ^ [_734222] : [tptpcol_12_93765(_734222), -(isa(_734222, c_tptpcol_12_93765))], (4558 ^ _593420) ^ [_734410] : [isa(_734410, c_tptpcol_4_114689), -(tptpcol_4_114689(_734410))], (4564 ^ _593420) ^ [_734598] : [tptpcol_4_114689(_734598), -(isa(_734598, c_tptpcol_4_114689))], (4570 ^ _593420) ^ [_734786] : [isa(_734786, c_tptpcol_5_114690), -(tptpcol_5_114690(_734786))], (4576 ^ _593420) ^ [_734974] : [tptpcol_5_114690(_734974), -(isa(_734974, c_tptpcol_5_114690))], (4582 ^ _593420) ^ [_735162] : [isa(_735162, c_tptpcol_3_98305), -(tptpcol_3_98305(_735162))], (4588 ^ _593420) ^ [_735350] : [tptpcol_3_98305(_735350), -(isa(_735350, c_tptpcol_3_98305))], (4594 ^ _593420) ^ [_735538] : [isa(_735538, c_tptpcol_4_106497), -(tptpcol_4_106497(_735538))], (4600 ^ _593420) ^ [_735726] : [tptpcol_4_106497(_735726), -(isa(_735726, c_tptpcol_4_106497))], (4606 ^ _593420) ^ [_735941, _735943, _735945, _735947] : [-(natfunction(f_relationexistsallfn(_735947, _735945, _735943, _735941), c_relationexistsallfn))], (4608 ^ _593420) ^ [_736072, _736074, _736076, _736078] : [-(natargument(f_relationexistsallfn(_736078, _736076, _736074, _736072), n_1, _736078))], (4610 ^ _593420) ^ [_736204, _736206, _736208, _736210] : [-(natargument(f_relationexistsallfn(_736210, _736208, _736206, _736204), n_2, _736208))], (4612 ^ _593420) ^ [_736336, _736338, _736340, _736342] : [-(natargument(f_relationexistsallfn(_736342, _736340, _736338, _736336), n_3, _736338))], (4614 ^ _593420) ^ [_736468, _736470, _736472, _736474] : [-(natargument(f_relationexistsallfn(_736474, _736472, _736470, _736468), n_4, _736468))], (4616 ^ _593420) ^ [_736600, _736602, _736604, _736606] : [-(thing(f_relationexistsallfn(_736606, _736604, _736602, _736600)))], (4618 ^ _593420) ^ [_736717, _736719] : [resultisaarg(_736719, _736717), -(positiveinteger(_736717))], (4624 ^ _593420) ^ [_736925, _736927] : [resultisaarg(_736927, _736925), -(function_denotational(_736927))], (4630 ^ _593420) ^ [_737133, _737135] : [tptptypes_7_389(_737135, _737133), -(firstordercollection(_737133))], (4636 ^ _593420) ^ [_737341, _737343] : [tptptypes_7_389(_737343, _737341), -(firstordercollection(_737343))], (4642 ^ _593420) ^ [_737549, _737551] : [tptptypes_8_390(_737551, _737549), -(firstordercollection(_737549))], (4648 ^ _593420) ^ [_737757, _737759] : [tptptypes_8_390(_737759, _737757), -(firstordercollection(_737759))], (4654 ^ _593420) ^ [_737965, _737967] : [tptptypes_8_692(_737967, _737965), -(firstordercollection(_737965))], (4660 ^ _593420) ^ [_738173, _738175] : [tptptypes_8_692(_738175, _738173), -(firstordercollection(_738175))], (4666 ^ _593420) ^ [_738381, _738383] : [tptptypes_9_693(_738383, _738381), -(firstordercollection(_738381))], (4672 ^ _593420) ^ [_738589, _738591] : [tptptypes_9_693(_738591, _738589), -(firstordercollection(_738591))], (4678 ^ _593420) ^ [_738783] : [isa(_738783, c_tptpcol_11_40388), -(tptpcol_11_40388(_738783))], (4684 ^ _593420) ^ [_738971] : [tptpcol_11_40388(_738971), -(isa(_738971, c_tptpcol_11_40388))], (4690 ^ _593420) ^ [_739159] : [isa(_739159, c_marriagelicensedocument), -(marriagelicensedocument(_739159))], (4696 ^ _593420) ^ [_739347] : [marriagelicensedocument(_739347), -(isa(_739347, c_marriagelicensedocument))], (4702 ^ _593420) ^ [_739535] : [isa(_739535, c_tptpcol_1_65536), -(tptpcol_1_65536(_739535))], (4708 ^ _593420) ^ [_739723] : [tptpcol_1_65536(_739723), -(isa(_739723, c_tptpcol_1_65536))], (4714 ^ _593420) ^ [_739911] : [isa(_739911, c_tptpcol_2_98304), -(tptpcol_2_98304(_739911))], (4720 ^ _593420) ^ [_740099] : [tptpcol_2_98304(_740099), -(isa(_740099, c_tptpcol_2_98304))], (4726 ^ _593420) ^ [_740287] : [isa(_740287, c_tptpcol_10_92166), -(tptpcol_10_92166(_740287))], (4732 ^ _593420) ^ [_740475] : [tptpcol_10_92166(_740475), -(isa(_740475, c_tptpcol_10_92166))], (4738 ^ _593420) ^ [_740663] : [isa(_740663, c_tptpcol_11_92230), -(tptpcol_11_92230(_740663))], (4744 ^ _593420) ^ [_740851] : [tptpcol_11_92230(_740851), -(isa(_740851, c_tptpcol_11_92230))], (4750 ^ _593420) ^ [_741039] : [isa(_741039, c_orderingpredicate), -(orderingpredicate(_741039))], (4756 ^ _593420) ^ [_741227] : [orderingpredicate(_741227), -(isa(_741227, c_orderingpredicate))], (4762 ^ _593420) ^ [_741415] : [isa(_741415, c_tptpcol_9_18439), -(tptpcol_9_18439(_741415))], (4768 ^ _593420) ^ [_741603] : [tptpcol_9_18439(_741603), -(isa(_741603, c_tptpcol_9_18439))], (4774 ^ _593420) ^ [_741791] : [isa(_741791, c_tptpcol_10_18567), -(tptpcol_10_18567(_741791))], (4780 ^ _593420) ^ [_741979] : [tptpcol_10_18567(_741979), -(isa(_741979, c_tptpcol_10_18567))], (4786 ^ _593420) ^ [_742167] : [isa(_742167, c_tptpcol_2_65537), -(tptpcol_2_65537(_742167))], (4792 ^ _593420) ^ [_742355] : [tptpcol_2_65537(_742355), -(isa(_742355, c_tptpcol_2_65537))], (4798 ^ _593420) ^ [_742543] : [isa(_742543, c_tptpcol_3_81921), -(tptpcol_3_81921(_742543))], (4804 ^ _593420) ^ [_742731] : [tptpcol_3_81921(_742731), -(isa(_742731, c_tptpcol_3_81921))], (4810 ^ _593420) ^ [_742919] : [isa(_742919, c_artsupplies), -(artsupplies(_742919))], (4816 ^ _593420) ^ [_743107] : [artsupplies(_743107), -(isa(_743107, c_artsupplies))], (4822 ^ _593420) ^ [_743295] : [isa(_743295, c_enduringthing_localized), -(enduringthing_localized(_743295))], (4828 ^ _593420) ^ [_743483] : [enduringthing_localized(_743483), -(isa(_743483, c_enduringthing_localized))], (4834 ^ _593420) ^ [_743671] : [isa(_743671, c_location_underspecified), -(location_underspecified(_743671))], (4840 ^ _593420) ^ [_743859] : [location_underspecified(_743859), -(isa(_743859, c_location_underspecified))], (4846 ^ _593420) ^ [_744047] : [isa(_744047, c_trajector_underspecified), -(trajector_underspecified(_744047))], (4852 ^ _593420) ^ [_744235] : [trajector_underspecified(_744235), -(isa(_744235, c_trajector_underspecified))], (4858 ^ _593420) ^ [_744423] : [isa(_744423, c_individual), -(individual(_744423))], (4864 ^ _593420) ^ [_744611] : [individual(_744611), -(isa(_744611, c_individual))], (4870 ^ _593420) ^ [_744799] : [isa(_744799, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_744799))], (4876 ^ _593420) ^ [_744987] : [partiallyintangibleindividual(_744987), -(isa(_744987, c_partiallyintangibleindividual))], (4882 ^ _593420) ^ [_745175] : [isa(_745175, c_tptpcol_10_22022), -(tptpcol_10_22022(_745175))], (4888 ^ _593420) ^ [_745363] : [tptpcol_10_22022(_745363), -(isa(_745363, c_tptpcol_10_22022))], (4894 ^ _593420) ^ [_745551] : [isa(_745551, c_tptpcol_11_22023), -(tptpcol_11_22023(_745551))], (4900 ^ _593420) ^ [_745739] : [tptpcol_11_22023(_745739), -(isa(_745739, c_tptpcol_11_22023))], (4906 ^ _593420) ^ [_745927] : [isa(_745927, c_tptpcol_5_20483), -(tptpcol_5_20483(_745927))], (4912 ^ _593420) ^ [_746115] : [tptpcol_5_20483(_746115), -(isa(_746115, c_tptpcol_5_20483))], (4918 ^ _593420) ^ [_746303] : [isa(_746303, c_tptpcol_13_72791), -(tptpcol_13_72791(_746303))], (4924 ^ _593420) ^ [_746491] : [tptpcol_13_72791(_746491), -(isa(_746491, c_tptpcol_13_72791))], (4930 ^ _593420) ^ [_746679] : [isa(_746679, c_tptpcol_14_72792), -(tptpcol_14_72792(_746679))], (4936 ^ _593420) ^ [_746867] : [tptpcol_14_72792(_746867), -(isa(_746867, c_tptpcol_14_72792))], (4942 ^ _593420) ^ [_747055] : [isa(_747055, c_ridgeline_topographical), -(ridgeline_topographical(_747055))], (4948 ^ _593420) ^ [_747243] : [ridgeline_topographical(_747243), -(isa(_747243, c_ridgeline_topographical))], (4954 ^ _593420) ^ [_747431] : [isa(_747431, c_tptpcol_4_16387), -(tptpcol_4_16387(_747431))], (4960 ^ _593420) ^ [_747619] : [tptpcol_4_16387(_747619), -(isa(_747619, c_tptpcol_4_16387))], (4966 ^ _593420) ^ [_747807] : [isa(_747807, c_tptpcol_5_16388), -(tptpcol_5_16388(_747807))], (4972 ^ _593420) ^ [_747995] : [tptpcol_5_16388(_747995), -(isa(_747995, c_tptpcol_5_16388))], (4978 ^ _593420) ^ [_748183] : [isa(_748183, c_tptpcol_8_22020), -(tptpcol_8_22020(_748183))], (4984 ^ _593420) ^ [_748371] : [tptpcol_8_22020(_748371), -(isa(_748371, c_tptpcol_8_22020))], (4990 ^ _593420) ^ [_748559] : [isa(_748559, c_tptpcol_9_22021), -(tptpcol_9_22021(_748559))], (4996 ^ _593420) ^ [_748747] : [tptpcol_9_22021(_748747), -(isa(_748747, c_tptpcol_9_22021))], (5002 ^ _593420) ^ [_748935] : [isa(_748935, c_transitivebinarypredicate), -(transitivebinarypredicate(_748935))], (5008 ^ _593420) ^ [_749123] : [transitivebinarypredicate(_749123), -(isa(_749123, c_transitivebinarypredicate))], (5014 ^ _593420) ^ [_749325, _749327] : [geographicalsubregions(_749327, _749325), -(geographicalregion(_749325))], (5020 ^ _593420) ^ [_749533, _749535] : [geographicalsubregions(_749535, _749533), -(geographicalregion(_749535))], (5026 ^ _593420) ^ [_749755, _749757, _749759] : [-(geographicalsubregions(_749759, _749755)), geographicalsubregions(_749759, _749757), geographicalsubregions(_749757, _749755)], (5036 ^ _593420) ^ [_750050] : [geographicalregion(_750050), -(geographicalsubregions(_750050, _750050))], (5042 ^ _593420) ^ [_750238] : [isa(_750238, c_tptpcol_12_40420), -(tptpcol_12_40420(_750238))], (5048 ^ _593420) ^ [_750426] : [tptpcol_12_40420(_750426), -(isa(_750426, c_tptpcol_12_40420))], (5054 ^ _593420) ^ [_750614] : [isa(_750614, c_tptpcol_13_40421), -(tptpcol_13_40421(_750614))], (5060 ^ _593420) ^ [_750802] : [tptpcol_13_40421(_750802), -(isa(_750802, c_tptpcol_13_40421))], (5066 ^ _593420) ^ [_750990] : [isa(_750990, c_tptpcol_6_92162), -(tptpcol_6_92162(_750990))], (5072 ^ _593420) ^ [_751178] : [tptpcol_6_92162(_751178), -(isa(_751178, c_tptpcol_6_92162))], (5078 ^ _593420) ^ [_751366] : [isa(_751366, c_tptpcol_7_93186), -(tptpcol_7_93186(_751366))], (5084 ^ _593420) ^ [_751554] : [tptpcol_7_93186(_751554), -(isa(_751554, c_tptpcol_7_93186))], (5090 ^ _593420) ^ [_751756, _751758] : [most(_751758, _751756), -(setorcollection(_751756))], (5096 ^ _593420) ^ [_751964, _751966] : [most(_751966, _751964), -(setorcollection(_751964))], (5102 ^ _593420) ^ [_752172, _752174] : [most(_752174, _752172), -(setorcollection(_752174))], (5108 ^ _593420) ^ [_752380, _752382] : [most(_752382, _752380), -(setorcollection(_752382))], (5114 ^ _593420) ^ [_752574] : [setorcollection(_752574), -(most(_752574, _752574))], (5120 ^ _593420) ^ [_752762] : [setorcollection(_752762), -(most(_752762, _752762))], (5126 ^ _593420) ^ [_752978, _752980, _752982] : [-(most(_752982, _752978)), most(_752982, _752980), subsetof(_752980, _752978)], (5136 ^ _593420) ^ [_753301, _753303, _753305] : [-(most(_753305, _753301)), most(_753305, _753303), subsetof(_753303, _753301)], (5146 ^ _593420) ^ [_753610, _753612] : [subsetof(_753612, _753610), -(setorcollection(_753610))], (5152 ^ _593420) ^ [_753818, _753820] : [subsetof(_753820, _753818), -(setorcollection(_753820))], (5158 ^ _593420) ^ [_754040, _754042, _754044] : [-(subsetof(_754044, _754040)), subsetof(_754044, _754042), subsetof(_754042, _754040)], (5168 ^ _593420) ^ [_754335] : [setorcollection(_754335), -(subsetof(_754335, _754335))], (5174 ^ _593420) ^ [_754551, _754553, _754555] : [-(subsetof(_754551, _754553)), subsetof(_754555, _754553), subsetof(_754551, _754555)], (5184 ^ _593420) ^ [_754874, _754876, _754878] : [-(subsetof(_754878, _754874)), subsetof(_754878, _754876), subsetof(_754876, _754874)], (5194 ^ _593420) ^ [_755197, _755199, _755201] : [-(subsetof(_755201, _755197)), subsetof(_755201, _755199), subsetof(_755199, _755197)], (5204 ^ _593420) ^ [_755506, _755508] : [genlpreds(_755508, _755506), -(predicate(_755506))], (5210 ^ _593420) ^ [_755714, _755716] : [genlpreds(_755716, _755714), -(predicate(_755714))], (5216 ^ _593420) ^ [_755922, _755924] : [genlpreds(_755924, _755922), -(predicate(_755924))], (5222 ^ _593420) ^ [_756130, _756132] : [genlpreds(_756132, _756130), -(predicate(_756132))], (5228 ^ _593420) ^ [_756352, _756354, _756356] : [-(genlpreds(_756356, _756352)), genlpreds(_756356, _756354), genlpreds(_756354, _756352)], (5238 ^ _593420) ^ [_756647] : [predicate(_756647), -(genlpreds(_756647, _756647))], (5244 ^ _593420) ^ [_756835] : [predicate(_756835), -(genlpreds(_756835, _756835))], (5250 ^ _593420) ^ [_757037, _757039] : [genlinverse(_757039, _757037), -(binarypredicate(_757037))], (5256 ^ _593420) ^ [_757245, _757247] : [genlinverse(_757247, _757245), -(binarypredicate(_757247))], (5262 ^ _593420) ^ [_757467, _757469, _757471] : [-(genlinverse(_757467, _757469)), genlinverse(_757471, _757469), genlpreds(_757467, _757471)], (5272 ^ _593420) ^ [_757790, _757792, _757794] : [-(genlinverse(_757794, _757790)), genlinverse(_757794, _757792), genlpreds(_757792, _757790)], (5282 ^ _593420) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _593420) ^ [_758138] : [isa(_758138, c_microtheory), -(microtheory(_758138))], (5290 ^ _593420) ^ [_758326] : [microtheory(_758326), -(isa(_758326, c_microtheory))], (5296 ^ _593420) ^ [_758499] : [-(natfunction(f_urlfn(_758499), c_urlfn))], (5298 ^ _593420) ^ [_758579] : [-(natargument(f_urlfn(_758579), n_1, _758579))], (5300 ^ _593420) ^ [_758660] : [-(uniformresourcelocator(f_urlfn(_758660)))], (5302 ^ _593420) ^ [_758739] : [-(natfunction(f_urlreferentfn(_758739), c_urlreferentfn))], (5304 ^ _593420) ^ [_758819] : [-(natargument(f_urlreferentfn(_758819), n_1, _758819))], (5306 ^ _593420) ^ [_758900] : [-(computerdataartifact(f_urlreferentfn(_758900)))], (5308 ^ _593420) ^ [_758993, _758995] : [-(natfunction(f_contentmtofcdafromeventfn(_758995, _758993), c_contentmtofcdafromeventfn))], (5310 ^ _593420) ^ [_759090, _759092] : [-(natargument(f_contentmtofcdafromeventfn(_759092, _759090), n_1, _759092))], (5312 ^ _593420) ^ [_759188, _759190] : [-(natargument(f_contentmtofcdafromeventfn(_759190, _759188), n_2, _759188))], (5314 ^ _593420) ^ [_759286, _759288] : [-(microtheory(f_contentmtofcdafromeventfn(_759288, _759286)))], (5316 ^ _593420) ^ [_759397, _759399] : [isa(_759399, _759397), -(collection(_759397))], (5322 ^ _593420) ^ [_759605, _759607] : [isa(_759607, _759605), -(collection(_759605))], (5328 ^ _593420) ^ [_759813, _759815] : [isa(_759815, _759813), -(thing(_759815))], (5334 ^ _593420) ^ [_760021, _760023] : [isa(_760023, _760021), -(thing(_760023))], (5340 ^ _593420) ^ [_760243, _760245, _760247] : [-(isa(_760247, _760243)), isa(_760247, _760245), genls(_760245, _760243)], (5350 ^ _593420) ^ [_760538] : [isa(_760538, c_inanimateobject), -(inanimateobject(_760538))], (5356 ^ _593420) ^ [_760726] : [inanimateobject(_760726), -(isa(_760726, c_inanimateobject))], (5362 ^ _593420) ^ [_760914] : [isa(_760914, c_tptpcol_9_72709), -(tptpcol_9_72709(_760914))], (5368 ^ _593420) ^ [_761102] : [tptpcol_9_72709(_761102), -(isa(_761102, c_tptpcol_9_72709))], (5374 ^ _593420) ^ [_761290] : [isa(_761290, c_tptpcol_10_72710), -(tptpcol_10_72710(_761290))], (5380 ^ _593420) ^ [_761478] : [tptpcol_10_72710(_761478), -(isa(_761478, c_tptpcol_10_72710))], (5386 ^ _593420) ^ [_761666] : [isa(_761666, c_tptpcol_14_40429), -(tptpcol_14_40429(_761666))], (5392 ^ _593420) ^ [_761854] : [tptpcol_14_40429(_761854), -(isa(_761854, c_tptpcol_14_40429))], (5398 ^ _593420) ^ [_762042] : [isa(_762042, c_tptpcol_15_40430), -(tptpcol_15_40430(_762042))], (5404 ^ _593420) ^ [_762230] : [tptpcol_15_40430(_762230), -(isa(_762230, c_tptpcol_15_40430))], (5410 ^ _593420) ^ [_762432, _762434] : [genls(_762434, _762432), -(collection(_762432))], (5416 ^ _593420) ^ [_762640, _762642] : [genls(_762642, _762640), -(collection(_762640))], (5422 ^ _593420) ^ [_762848, _762850] : [genls(_762850, _762848), -(collection(_762850))], (5428 ^ _593420) ^ [_763056, _763058] : [genls(_763058, _763056), -(collection(_763058))], (5434 ^ _593420) ^ [_763278, _763280, _763282] : [-(genls(_763282, _763278)), genls(_763282, _763280), genls(_763280, _763278)], (5444 ^ _593420) ^ [_763573] : [collection(_763573), -(genls(_763573, _763573))], (5450 ^ _593420) ^ [_763761] : [collection(_763761), -(genls(_763761, _763761))], (5456 ^ _593420) ^ [_763977, _763979, _763981] : [-(genls(_763977, _763979)), genls(_763981, _763979), genls(_763977, _763981)], (5466 ^ _593420) ^ [_764300, _764302, _764304] : [-(genls(_764304, _764300)), genls(_764304, _764302), genls(_764302, _764300)], (5476 ^ _593420) ^ [_764595] : [isa(_764595, c_partiallytangible), -(partiallytangible(_764595))], (5482 ^ _593420) ^ [_764783] : [partiallytangible(_764783), -(isa(_764783, c_partiallytangible))], (5488 ^ _593420) ^ [_764971] : [isa(_764971, c_intangible), -(intangible(_764971))], (5494 ^ _593420) ^ [_765159] : [intangible(_765159), -(isa(_765159, c_intangible))], (5500 ^ _593420) ^ [_765361, _765363] : [disjointwith(_765363, _765361), -(collection(_765361))], (5506 ^ _593420) ^ [_765569, _765571] : [disjointwith(_765571, _765569), -(collection(_765571))], (5512 ^ _593420) ^ [_765777, _765779] : [disjointwith(_765779, _765777), -(disjointwith(_765777, _765779))], (5518 ^ _593420) ^ [_766001, _766003, _766005] : [-(disjointwith(_766005, _766001)), disjointwith(_766005, _766003), genls(_766001, _766003)], (5528 ^ _593420) ^ [_766324, _766326, _766328] : [-(disjointwith(_766324, _766326)), disjointwith(_766328, _766326), genls(_766324, _766328)], (5538 ^ _593420) ^ [_766633, _766635] : [-(mtvisible(_766633)), mtvisible(_766635), genlmt(_766635, _766633)], (5548 ^ _593420) ^ [_766928, _766930] : [genlmt(_766930, _766928), -(microtheory(_766928))], (5554 ^ _593420) ^ [_767136, _767138] : [genlmt(_767138, _767136), -(microtheory(_767136))], (5560 ^ _593420) ^ [_767344, _767346] : [genlmt(_767346, _767344), -(microtheory(_767346))], (5566 ^ _593420) ^ [_767552, _767554] : [genlmt(_767554, _767552), -(microtheory(_767554))], (5572 ^ _593420) ^ [_767774, _767776, _767778] : [-(genlmt(_767778, _767774)), genlmt(_767778, _767776), genlmt(_767776, _767774)], (5582 ^ _593420) ^ [_768069] : [microtheory(_768069), -(genlmt(_768069, _768069))], (5594 ^ _593420) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _593420) ^ [_768257] : [microtheory(_768257), -(genlmt(_768257, _768257))]], input).
% 0.43/1.43  ncf('1',plain,[prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege)],start(5598 ^ 0,bind([[_782984], [s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege]]))).
% 0.43/1.43  ncf('1.1',plain,[-(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege)), mtvisible(c_englishmt)],extension(1760 ^ 1)).
% 0.43/1.43  ncf('1.1.1',plain,[-(mtvisible(c_englishmt))],extension(5596 ^ 2,bind([[_782947], [_401565]]))).
% 0.43/1.43  %-----------------------------------------------------
% 0.43/1.43  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------