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

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

% Result   : Theorem 0.42s 1.39s
% Output   : Proof 0.42s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : CSR046+2 : TPTP v8.1.2. Released v3.4.0.
% 0.11/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n014.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:47:42 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.42/1.39  
% 0.42/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.42/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  ncf(matrix, plain, [(5596 ^ _592979) ^ [] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885)))], (5598 ^ _592979) ^ [] : [genls(c_tptpcol_16_50958, c_tptpcol_15_50957)], (2 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592979) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592979) ^ [_593184] : [intangible(_593184), partiallytangible(_593184)], (12 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592979) ^ [_593422] : [tptpcol_15_40430(_593422), -(tptpcol_14_40429(_593422))], (20 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592979) ^ [_593661] : [tptpcol_10_72710(_593661), -(tptpcol_9_72709(_593661))], (28 ^ _592979) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592979) ^ [_593900] : [inanimateobject(_593900), -(partiallytangible(_593900))], (36 ^ _592979) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592979) ^ [_594167, _594169, _594171] : [-(genlpreds(_594171, _594167)), genlinverse(_594171, _594169), genlinverse(_594169, _594167)], (48 ^ _592979) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592979) ^ [_594529, _594531] : [subsetof(_594531, _594529), -(most(_594531, _594529))], (56 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592979) ^ [_594778] : [tptpcol_7_93186(_594778), -(tptpcol_6_92162(_594778))], (64 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592979) ^ [_595017] : [tptpcol_13_40421(_595017), -(tptpcol_12_40420(_595017))], (72 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592979) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592979) ^ [_595481] : [tptpcol_9_22021(_595481), -(tptpcol_8_22020(_595481))], (90 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592979) ^ [_595720] : [tptpcol_5_16388(_595720), -(tptpcol_4_16387(_595720))], (98 ^ _592979) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592979) ^ [_596078] : [tptpcol_14_72792(_596078), -(tptpcol_13_72791(_596078))], (112 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592979) ^ [_596317] : [tptpcol_5_20483(_596317), -(tptpcol_4_16387(_596317))], (120 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592979) ^ [_596556] : [tptpcol_11_22023(_596556), -(tptpcol_10_22022(_596556))], (128 ^ _592979) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592979) ^ [_596795] : [partiallyintangibleindividual(_596795), -(individual(_596795))], (136 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592979) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592979) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592979) ^ [_597140] : [trajector_underspecified(_597140), -(location_underspecified(_597140))], (148 ^ _592979) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592979) ^ [_597379] : [partiallytangible(_597379), -(enduringthing_localized(_597379))], (156 ^ _592979) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592979) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592979) ^ [_597737] : [tptpcol_3_81921(_597737), -(tptpcol_2_65537(_597737))], (170 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592979) ^ [_597976] : [tptpcol_10_18567(_597976), -(tptpcol_9_18439(_597976))], (178 ^ _592979) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592979) ^ [_598215] : [orderingpredicate(_598215), -(transitivebinarypredicate(_598215))], (186 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592979) ^ [_598454] : [tptpcol_11_92230(_598454), -(tptpcol_10_92166(_598454))], (194 ^ _592979) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592979) ^ [_598693] : [tptpcol_2_98304(_598693), -(tptpcol_1_65536(_598693))], (202 ^ _592979) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592979) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592979) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592979) ^ [_599157] : [tptpcol_12_40420(_599157), -(tptpcol_11_40388(_599157))], (220 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592979) ^ [_599410, _599412] : [tptptypes_9_693(_599412, _599410), -(tptptypes_8_692(_599412, _599410))], (228 ^ _592979) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592979) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592979) ^ [_599779, _599781] : [tptptypes_8_390(_599781, _599779), -(tptptypes_7_389(_599781, _599779))], (240 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592979) ^ [_600123, _600125, _600127, _600129] : [-(isa(f_relationexistsallfn(_600129, _600125, _600123, _600127), _600123)), isa(_600129, _600127), relationexistsall(_600125, _600123, _600127)], (254 ^ _592979) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592979) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592979) ^ [_600652] : [tptpcol_4_106497(_600652), -(tptpcol_3_98305(_600652))], (268 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592979) ^ [_600891] : [tptpcol_5_114690(_600891), -(tptpcol_4_114689(_600891))], (276 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592979) ^ [_601130] : [tptpcol_12_93765(_601130), -(tptpcol_11_93764(_601130))], (284 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592979) ^ [_601369] : [tptpcol_8_72708(_601369), -(tptpcol_7_72707(_601369))], (292 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592979) ^ [_601608] : [tptpcol_10_40324(_601608), -(tptpcol_9_40196(_601608))], (300 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592979) ^ [_601847] : [tptpcol_13_93766(_601847), -(tptpcol_12_93765(_601847))], (308 ^ _592979) ^ [_602033] : [-(tptpofobject(_602033, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_602033)], (318 ^ _592979) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592979) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592979) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592979) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592979) ^ [_602697] : [location_underspecified(_602697), -(thing(_602697))], (342 ^ _592979) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592979) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592979) ^ [_603042] : [tptpcol_12_92262(_603042), -(tptpcol_11_92230(_603042))], (354 ^ _592979) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592979) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592979) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592979) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592979) ^ [_603559] : [tptpcol_10_109061(_603559), -(tptpcol_9_109060(_603559))], (374 ^ _592979) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592979) ^ [_603865, _603867] : [tptptypes_6_388(_603867, _603865), -(tptptypes_5_387(_603867, _603865))], (384 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592979) ^ [_604114] : [tptpcol_6_116738(_604114), -(tptpcol_5_114690(_604114))], (392 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592979) ^ [_604353] : [tptpcol_15_92268(_604353), -(tptpcol_14_92264(_604353))], (400 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592979) ^ [_604658] : [-(tptpofobject(_604658, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604658)], (416 ^ _592979) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592979) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592979) ^ [_605111, _605113] : [tptptypes_9_401(_605113, _605111), -(tptptypes_8_400(_605111, _605113))], (430 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592979) ^ [_605360] : [tptpcol_12_18663(_605360), -(tptpcol_11_18631(_605360))], (438 ^ _592979) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592979) ^ [_605599] : [setorcollection(_605599), -(mathematicalthing(_605599))], (446 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592979) ^ [_605838] : [tptpcol_13_109173(_605838), -(tptpcol_12_109157(_605838))], (454 ^ _592979) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592979) ^ [_606130] : [tptpcol_5_106498(_606130), -(tptpcol_4_106497(_606130))], (464 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592979) ^ [_606369] : [tptpcol_5_24579(_606369), -(tptpcol_4_24578(_606369))], (472 ^ _592979) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592979) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592979) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592979) ^ [_606899] : [tptpcol_1_65536(_606899), -(tptpcol_0_0(_606899))], (494 ^ _592979) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592979) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592979) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592979) ^ [_607324, _607326] : [geographicalsubregions(_607326, _607324), -(inregion(_607324, _607326))], (510 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592979) ^ [_607573] : [tptpcol_11_118084(_607573), -(tptpcol_10_118020(_607573))], (518 ^ _592979) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592979) ^ [_607812] : [mathematicalorcomputationalthing(_607812), -(intangible(_607812))], (526 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592979) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592979) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592979) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592979) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592979) ^ [_608330, _608332] : [tptptypes_7_819(_608332, _608330), -(tptptypes_6_818(_608332, _608330))], (544 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592979) ^ [_608632] : [tptpcol_12_26919(_608632), -(tptpcol_11_26887(_608632))], (554 ^ _592979) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592979) ^ [_608885, _608887] : [tptptypes_8_692(_608887, _608885), -(tptptypes_7_691(_608885, _608887))], (562 ^ _592979) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592979) ^ [_609134] : [tptpcol_2_2(_609134), -(tptpcol_1_1(_609134))], (570 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592979) ^ [_609426] : [tptpcol_9_92165(_609426), -(tptpcol_8_92164(_609426))], (580 ^ _592979) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592979) ^ [_609665] : [fixedordercollection(_609665), -(collection(_609665))], (588 ^ _592979) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592979) ^ [_609904] : [tptpcol_1_1(_609904), tptpcol_1_65536(_609904)], (596 ^ _592979) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592979) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592979) ^ [_610195] : [microtheory(_610195), -(aspatialinformationstore(_610195))], (606 ^ _592979) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592979) ^ [_610500] : [-(tptp_8_875(_610500, f_relationallexistsfn(_610500, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610500, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592979) ^ [] : [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 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592979) ^ [_610951] : [tptpcol_10_118020(_610951), -(tptpcol_9_118019(_610951))], (636 ^ _592979) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592979) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592979) ^ [_611309] : [-(tptp_9_720(_611309, f_relationallexistsfn(_611309, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_611309)], (654 ^ _592979) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592979) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592979) ^ [_611758] : [individual(_611758), setorcollection(_611758)], (668 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592979) ^ [_611996] : [tptpcol_12_22055(_611996), -(tptpcol_11_22023(_611996))], (676 ^ _592979) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592979) ^ [_612235] : [applicationcontext(_612235), -(microtheory(_612235))], (684 ^ _592979) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592979) ^ [_612541, _612543] : [tptptypes_8_400(_612543, _612541), -(tptptypes_7_396(_612543, _612541))], (694 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592979) ^ [_612790] : [tptpcol_11_18631(_612790), -(tptpcol_10_18567(_612790))], (702 ^ _592979) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592979) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592979) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592979) ^ [_613201] : [mathematicalthing(_613201), -(mathematicalorcomputationalthing(_613201))], (718 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592979) ^ [_613493] : [tptpcol_15_93775(_613493), -(tptpcol_14_93774(_613493))], (728 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592979) ^ [_613732] : [tptpcol_8_109059(_613732), -(tptpcol_7_108547(_613732))], (736 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592979) ^ [_613971] : [tptpcol_14_40429(_613971), -(tptpcol_13_40421(_613971))], (744 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592979) ^ [_614329] : [tptpcol_14_22072(_614329), -(tptpcol_13_22071(_614329))], (758 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592979) ^ [_614568] : [tptpcol_14_93774(_614568), -(tptpcol_13_93766(_614568))], (766 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592979) ^ [_614807] : [tptpcol_10_22022(_614807), -(tptpcol_9_22021(_614807))], (774 ^ _592979) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592979) ^ [_615046] : [inanimateobject_nonnatural(_615046), -(inanimateobject(_615046))], (782 ^ _592979) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592979) ^ [_615391] : [tptpcol_9_72709(_615391), -(tptpcol_8_72708(_615391))], (794 ^ _592979) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592979) ^ [_615630] : [-(tptpofobject(_615630, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615630)], (806 ^ _592979) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592979) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592979) ^ [_616069] : [firstordercollection(_616069), -(fixedordercollection(_616069))], (820 ^ _592979) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592979) ^ [_616480] : [tptpcol_13_18664(_616480), -(tptpcol_12_18663(_616480))], (836 ^ _592979) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592979) ^ [_616719] : [artifact(_616719), -(inanimateobject_nonnatural(_616719))], (844 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592979) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592979) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592979) ^ [_617117] : [tptpcol_7_113665(_617117), -(tptpcol_6_112641(_617117))], (858 ^ _592979) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592979) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592979) ^ [_617475] : [geographicalregion(_617475), -(partiallytangible(_617475))], (872 ^ _592979) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592979) ^ [_617728, _617730] : [disjointwith(_617730, _617728), -(no(_617730, _617728))], (880 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592979) ^ [_617977] : [tptpcol_4_24578(_617977), -(tptpcol_3_16386(_617977))], (888 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592979) ^ [_618216] : [tptpcol_5_69635(_618216), -(tptpcol_4_65539(_618216))], (896 ^ _592979) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592979) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592979) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592979) ^ [_618575, _618577] : [genls(_618577, _618575), -(collection(_618577))], (908 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592979) ^ [_618822] : [tptpcol_13_22071(_618822), -(tptpcol_12_22055(_618822))], (916 ^ _592979) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592979) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592979) ^ [_619114] : [tptpcol_3_98305(_619114), -(tptpcol_2_98304(_619114))], (926 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592979) ^ [_619353] : [tptpcol_4_114689(_619353), -(tptpcol_3_114688(_619353))], (934 ^ _592979) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592979) ^ [_619592] : [artsupplies(_619592), -(supplies(_619592))], (942 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592979) ^ [_619831] : [tptpcol_8_26629(_619831), -(tptpcol_7_26628(_619831))], (950 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592979) ^ [_620070] : [tptpcol_9_109060(_620070), -(tptpcol_8_109059(_620070))], (958 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592979) ^ [_620309] : [isa(_620309, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_620309, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _620309))], (966 ^ _592979) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592979) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592979) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592979) ^ [_620893] : [tptpcol_14_109181(_620893), -(tptpcol_13_109173(_620893))], (988 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592979) ^ [_621132] : [tptpcol_16_30972(_621132), -(tptpcol_15_30970(_621132))], (996 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592979) ^ [_621424] : [tptpcol_9_18439(_621424), -(tptpcol_8_18438(_621424))], (1006 ^ _592979) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592979) ^ [_621716] : [tptpcol_12_118116(_621716), -(tptpcol_11_118084(_621716))], (1016 ^ _592979) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592979) ^ [_622008] : [tptpcol_7_26628(_622008), -(tptpcol_6_26627(_622008))], (1026 ^ _592979) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592979) ^ [_622261, _622263] : [most(_622263, _622261), -(setorcollection(_622263))], (1034 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592979) ^ [_622508] : [tptpcol_15_109185(_622508), -(tptpcol_14_109181(_622508))], (1042 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592979) ^ [_622747] : [tptpcol_16_92269(_622747), -(tptpcol_15_92268(_622747))], (1050 ^ _592979) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592979) ^ [_623053, _623055] : [tptptypes_8_823(_623055, _623053), -(tptptypes_7_819(_623055, _623053))], (1060 ^ _592979) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592979) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592979) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592979) ^ [_623633] : [tptpcol_10_26886(_623633), -(tptpcol_9_26885(_623633))], (1082 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592979) ^ [_623925] : [tptpcol_15_72793(_623925), -(tptpcol_14_72792(_623925))], (1092 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592979) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592979) ^ [_624283] : [navypersonnel(_624283), -(militaryperson(_624283))], (1106 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592979) ^ [_624522] : [tptpcol_4_16387(_624522), -(tptpcol_3_16386(_624522))], (1114 ^ _592979) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592979) ^ [_624761] : [enduringthing_localized(_624761), -(spatialthing_nonsituational(_624761))], (1122 ^ _592979) ^ [_624947] : [collection(_624947), individual(_624947)], (1128 ^ _592979) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592979) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592979) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592979) ^ [_625476] : [physicalorderingpredicate(_625476), -(orderingpredicate(_625476))], (1150 ^ _592979) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592979) ^ [_625729, _625731] : [disjointwith(_625731, _625729), -(collection(_625729))], (1158 ^ _592979) ^ [_625965, _625967, _625969, _625971] : [-(isa(f_relationallexistsfn(_625971, _625967, _625969, _625965), _625965)), isa(_625971, _625969), relationallexists(_625967, _625969, _625965)], (1168 ^ _592979) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592979) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592979) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592979) ^ [_626574, _626576] : [tptptypes_7_389(_626576, _626574), -(tptptypes_6_388(_626574, _626576))], (1186 ^ _592979) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592979) ^ [_626889] : [-(hpkb_subnationalagent(_626889)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626889)], (1202 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592979) ^ [_627207] : [tptpcol_8_22020(_627207), -(tptpcol_7_21508(_627207))], (1210 ^ _592979) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592979) ^ [_627446] : [-(tptp_9_51(f_relationexistsallfn(_627446, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _627446)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_627446, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592979) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592979) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592979) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592979) ^ [_627950] : [tptpcol_3_65538(_627950), -(tptpcol_2_65537(_627950))], (1238 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592979) ^ [_628189] : [tptpcol_14_26921(_628189), -(tptpcol_13_26920(_628189))], (1246 ^ _592979) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592979) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592979) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592979) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592979) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592979) ^ [_628640] : [intangibleindividual(_628640), -(partiallyintangibleindividual(_628640))], (1262 ^ _592979) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592979) ^ [_628998] : [tptpcol_16_130924(_628998), -(tptpcol_15_130923(_628998))], (1276 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592979) ^ [_629237] : [tptpcol_7_92163(_629237), -(tptpcol_6_92162(_629237))], (1284 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592979) ^ [_629529] : [tptpcol_16_130933(_629529), -(tptpcol_15_130931(_629529))], (1294 ^ _592979) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592979) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592979) ^ [_629835, _629837] : [no(_629837, _629835), -(few(_629837, _629835))], (1304 ^ _592979) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592979) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592979) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592979) ^ [_630243] : [tptpcol_6_20484(_630243), -(tptpcol_5_20483(_630243))], (1318 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592979) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592979) ^ [_630707] : [tptpcol_7_108547(_630707), -(tptpcol_6_108546(_630707))], (1336 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592979) ^ [_630946] : [tptpcol_11_109125(_630946), -(tptpcol_10_109061(_630946))], (1344 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592979) ^ [_631238] : [tptpcol_8_93698(_631238), -(tptpcol_7_93186(_631238))], (1354 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592979) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592979) ^ [_631530] : [tptpcol_2_65537(_631530), -(tptpcol_1_65536(_631530))], (1364 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592979) ^ [_631822] : [tptpcol_6_18436(_631822), -(tptpcol_5_16388(_631822))], (1374 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592979) ^ [_632061] : [tptpcol_8_18438(_632061), -(tptpcol_7_18437(_632061))], (1382 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592979) ^ [_632419] : [tptpcol_8_117763(_632419), -(tptpcol_7_117762(_632419))], (1396 ^ _592979) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592979) ^ [_632711] : [tptpcol_12_109157(_632711), -(tptpcol_11_109125(_632711))], (1406 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592979) ^ [_632950] : [tptpcol_7_117762(_632950), -(tptpcol_6_116738(_632950))], (1414 ^ _592979) ^ [_633164, _633166, _633168] : [isa(_633168, _633166), isa(_633168, _633164), disjointwith(_633166, _633164)], (1424 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592979) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592979) ^ [_633564] : [aspatialinformationstore(_633564), -(aspatialthing(_633564))], (1434 ^ _592979) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592979) ^ [_633962] : [tptpcol_9_93699(_633962), -(tptpcol_8_93698(_633962))], (1448 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592979) ^ [_634201] : [tptpcol_11_93764(_634201), -(tptpcol_10_93700(_634201))], (1456 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592979) ^ [_634440] : [tptpcol_6_26627(_634440), -(tptpcol_5_24579(_634440))], (1464 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592979) ^ [_634679] : [tptpcol_4_90113(_634679), -(tptpcol_3_81921(_634679))], (1472 ^ _592979) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592979) ^ [_634971] : [tptpcol_10_93700(_634971), -(tptpcol_9_93699(_634971))], (1482 ^ _592979) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592979) ^ [_635210] : [aspatialinformationstore(_635210), -(intangibleindividual(_635210))], (1490 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592979) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592979) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592979) ^ [_635621] : [tptpcol_3_16386(_635621), -(tptpcol_2_2(_635621))], (1506 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592979) ^ [_635860] : [tptpcol_9_118019(_635860), -(tptpcol_8_117763(_635860))], (1514 ^ _592979) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592979) ^ [_636099] : [individual(_636099), -(trajector_underspecified(_636099))], (1522 ^ _592979) ^ [_636285] : [shavingrazor_manual(_636285), -(tptp_8_271(f_relationexistsallfn(_636285, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _636285))], (1528 ^ _592979) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592979) ^ [_636589] : [tptpcol_6_112641(_636589), -(tptpcol_5_110593(_636589))], (1538 ^ _592979) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592979) ^ [_636828] : [tptpcol_12_72775(_636828), -(tptpcol_11_72774(_636828))], (1546 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592979) ^ [_637067] : [tptpcol_7_72707(_637067), -(tptpcol_6_71683(_637067))], (1554 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592979) ^ [_637306] : [tptpcol_16_50958(_637306), -(tptpcol_15_50957(_637306))], (1562 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592979) ^ [_637545] : [tptpcol_8_114177(_637545), -(tptpcol_7_113665(_637545))], (1570 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592979) ^ [_637784] : [tptpcol_16_72795(_637784), -(tptpcol_15_72793(_637784))], (1578 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592979) ^ [_638023] : [tptpcol_6_71683(_638023), -(tptpcol_5_69635(_638023))], (1586 ^ _592979) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592979) ^ [_638329, _638331] : [tptptypes_7_396(_638331, _638329), -(tptptypes_6_388(_638331, _638329))], (1596 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592979) ^ [_638578] : [tptpcol_9_26885(_638578), -(tptpcol_8_26629(_638578))], (1604 ^ _592979) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592979) ^ [_638831, _638833] : [genls(_638833, _638831), -(subsetof(_638833, _638831))], (1612 ^ _592979) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592979) ^ [_639147, _639149] : [tptptypes_6_818(_639149, _639147), -(tptptypes_5_802(_639149, _639147))], (1622 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592979) ^ [_639396] : [tptpcol_6_92162(_639396), -(tptpcol_5_90114(_639396))], (1630 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592979) ^ [_639688] : [tptpcol_8_92164(_639688), -(tptpcol_7_92163(_639688))], (1640 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592979) ^ [_639927] : [tptpcol_13_118117(_639927), -(tptpcol_12_118116(_639927))], (1648 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592979) ^ [_640166] : [tptpcol_11_40388(_640166), -(tptpcol_10_40324(_640166))], (1656 ^ _592979) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592979) ^ [_640419, _640421] : [tptptypes_9_824(_640421, _640419), -(tptptypes_8_823(_640421, _640419))], (1664 ^ _592979) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592979) ^ [_640721] : [tptpcol_11_26887(_640721), -(tptpcol_10_26886(_640721))], (1674 ^ _592979) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592979) ^ [_640960] : [tptpcol_16_26926(_640960), -(tptpcol_15_26925(_640960))], (1682 ^ _592979) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592979) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592979) ^ [_641266, _641268] : [few(_641268, _641266), -(setorcollection(_641266))], (1692 ^ _592979) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592979) ^ [_641513] : [tptpcol_4_65539(_641513), -(tptpcol_3_65538(_641513))], (1700 ^ _592979) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592979) ^ [_641752] : [tptpcol_8_39940(_641752), -(tptpcol_7_39939(_641752))], (1708 ^ _592979) ^ [_641938] : [-(tptpofobject(_641938, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641938)], (1718 ^ _592979) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592979) ^ [_642377] : [tptpcol_15_22076(_642377), -(tptpcol_14_22072(_642377))], (1732 ^ _592979) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592979) ^ [_642616] : [tptpcol_0_0(_642616), -(individual(_642616))], (1740 ^ _592979) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592979) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592979) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592979) ^ [_643014] : [tptpcol_11_72774(_643014), -(tptpcol_10_72710(_643014))], (1754 ^ _592979) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592979) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592979) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592979) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592979) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592979) ^ [_643650] : [tptpcol_7_21508(_643650), -(tptpcol_6_20484(_643650))], (1780 ^ _592979) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592979) ^ [_643889] : [tptpcol_6_108546(_643889), -(tptpcol_5_106498(_643889))], (1788 ^ _592979) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592979) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592979) ^ [_644247] : [geolevel_4(_644247), -(geographicalregion(_644247))], (1802 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592979) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592979) ^ [_644724] : [tptpcol_13_26920(_644724), -(tptpcol_12_26919(_644724))], (1822 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592979) ^ [_644963] : [tptpcol_14_92264(_644963), -(tptpcol_13_92263(_644963))], (1830 ^ _592979) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592979) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592979) ^ [_645255] : [tptpcol_9_40196(_645255), -(tptpcol_8_39940(_645255))], (1840 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592979) ^ [_645613] : [tptpcol_13_92263(_645613), -(tptpcol_12_92262(_645613))], (1854 ^ _592979) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592979) ^ [_645905] : [tptpcol_5_90114(_645905), -(tptpcol_4_90113(_645905))], (1864 ^ _592979) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592979) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592979) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592979) ^ [_646316] : [tptpcol_15_26925(_646316), -(tptpcol_14_26921(_646316))], (1880 ^ _592979) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592979) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592979) ^ [_646674] : [tptpcol_7_18437(_646674), -(tptpcol_6_18436(_646674))], (1894 ^ _592979) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592979) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592979) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592979) ^ [_647085] : [tptpcol_3_98305(_647085), tptpcol_3_114688(_647085)], (1910 ^ _592979) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592979) ^ [_647323] : [tptpcol_5_110593(_647323), -(tptpcol_4_106497(_647323))], (1918 ^ _592979) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592979) ^ [_647562] : [tptpcol_13_72791(_647562), -(tptpcol_12_72775(_647562))], (1926 ^ _592979) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592979) ^ [_647801] : [computerdataartifact(_647801), -(artifact(_647801))], (1934 ^ _592979) ^ [_647987] : [-(tptpofobject(_647987, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647987)], (1944 ^ _592979) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592979) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592979) ^ [_648426] : [tptpcol_10_92166(_648426), -(tptpcol_9_92165(_648426))], (1958 ^ _592979) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592979) ^ [_648665] : [tptpcol_14_118118(_648665), -(tptpcol_13_118117(_648665))], (1966 ^ _592979) ^ [_648851] : [isa(_648851, c_tptpcol_14_118118), -(tptpcol_14_118118(_648851))], (1972 ^ _592979) ^ [_649039] : [tptpcol_14_118118(_649039), -(isa(_649039, c_tptpcol_14_118118))], (1978 ^ _592979) ^ [_649212] : [-(natfunction(f_tptpquantityfn_6(_649212), c_tptpquantityfn_6))], (1980 ^ _592979) ^ [_649292] : [-(natargument(f_tptpquantityfn_6(_649292), n_1, _649292))], (1982 ^ _592979) ^ [_649373] : [-(tptpquantity(f_tptpquantityfn_6(_649373)))], (1984 ^ _592979) ^ [_649467] : [isa(_649467, c_tptpcol_16_26939), -(tptpcol_16_26939(_649467))], (1990 ^ _592979) ^ [_649655] : [tptpcol_16_26939(_649655), -(isa(_649655, c_tptpcol_16_26939))], (1996 ^ _592979) ^ [_649843] : [isa(_649843, c_tptpcol_16_62187), -(tptpcol_16_62187(_649843))], (2002 ^ _592979) ^ [_650031] : [tptpcol_16_62187(_650031), -(isa(_650031, c_tptpcol_16_62187))], (2008 ^ _592979) ^ [_650219] : [isa(_650219, c_tptpcol_13_92263), -(tptpcol_13_92263(_650219))], (2014 ^ _592979) ^ [_650407] : [tptpcol_13_92263(_650407), -(isa(_650407, c_tptpcol_13_92263))], (2020 ^ _592979) ^ [_650595] : [isa(_650595, c_geolevel_4), -(geolevel_4(_650595))], (2026 ^ _592979) ^ [_650783] : [geolevel_4(_650783), -(isa(_650783, c_geolevel_4))], (2032 ^ _592979) ^ [_650971] : [isa(_650971, c_tptpcol_15_4027), -(tptpcol_15_4027(_650971))], (2038 ^ _592979) ^ [_651159] : [tptpcol_15_4027(_651159), -(isa(_651159, c_tptpcol_15_4027))], (2044 ^ _592979) ^ [_651347] : [isa(_651347, c_pushingwithfingers), -(pushingwithfingers(_651347))], (2050 ^ _592979) ^ [_651535] : [pushingwithfingers(_651535), -(isa(_651535, c_pushingwithfingers))], (2056 ^ _592979) ^ [_651737, _651739] : [affiliatedwith(_651739, _651737), -(agent_generic(_651737))], (2062 ^ _592979) ^ [_651945, _651947] : [affiliatedwith(_651947, _651945), -(agent_generic(_651947))], (2068 ^ _592979) ^ [_652153, _652155] : [affiliatedwith(_652155, _652153), -(affiliatedwith(_652153, _652155))], (2074 ^ _592979) ^ [_652333] : [affiliatedwith(_652333, _652333)], (2076 ^ _592979) ^ [_652426] : [isa(_652426, c_footballteam), -(footballteam(_652426))], (2082 ^ _592979) ^ [_652614] : [footballteam(_652614), -(isa(_652614, c_footballteam))], (2088 ^ _592979) ^ [_652802] : [isa(_652802, c_tptpcol_16_4451), -(tptpcol_16_4451(_652802))], (2094 ^ _592979) ^ [_652990] : [tptpcol_16_4451(_652990), -(isa(_652990, c_tptpcol_16_4451))], (2100 ^ _592979) ^ [_653178] : [isa(_653178, c_pushingwithopenhand), -(pushingwithopenhand(_653178))], (2106 ^ _592979) ^ [_653366] : [pushingwithopenhand(_653366), -(isa(_653366, c_pushingwithopenhand))], (2112 ^ _592979) ^ [_653554] : [isa(_653554, c_tptpcol_15_22076), -(tptpcol_15_22076(_653554))], (2118 ^ _592979) ^ [_653742] : [tptpcol_15_22076(_653742), -(isa(_653742, c_tptpcol_15_22076))], (2124 ^ _592979) ^ [_653915] : [-(natfunction(f_tptpquantityfn_2(_653915), c_tptpquantityfn_2))], (2126 ^ _592979) ^ [_653995] : [-(natargument(f_tptpquantityfn_2(_653995), n_1, _653995))], (2128 ^ _592979) ^ [_654076] : [-(tptpquantity(f_tptpquantityfn_2(_654076)))], (2130 ^ _592979) ^ [_654170] : [isa(_654170, c_tptpcol_7_39939), -(tptpcol_7_39939(_654170))], (2136 ^ _592979) ^ [_654358] : [tptpcol_7_39939(_654358), -(isa(_654358, c_tptpcol_7_39939))], (2142 ^ _592979) ^ [_654546] : [isa(_654546, c_tptpcol_8_39940), -(tptpcol_8_39940(_654546))], (2148 ^ _592979) ^ [_654734] : [tptpcol_8_39940(_654734), -(isa(_654734, c_tptpcol_8_39940))], (2154 ^ _592979) ^ [_654922] : [isa(_654922, c_tptpcol_15_26925), -(tptpcol_15_26925(_654922))], (2160 ^ _592979) ^ [_655110] : [tptpcol_15_26925(_655110), -(isa(_655110, c_tptpcol_15_26925))], (2166 ^ _592979) ^ [_655298] : [isa(_655298, c_tptpcol_16_26926), -(tptpcol_16_26926(_655298))], (2172 ^ _592979) ^ [_655486] : [tptpcol_16_26926(_655486), -(isa(_655486, c_tptpcol_16_26926))], (2178 ^ _592979) ^ [_655674] : [isa(_655674, c_tptpcol_13_118117), -(tptpcol_13_118117(_655674))], (2184 ^ _592979) ^ [_655862] : [tptpcol_13_118117(_655862), -(isa(_655862, c_tptpcol_13_118117))], (2190 ^ _592979) ^ [_656050] : [isa(_656050, c_tptpcol_5_90114), -(tptpcol_5_90114(_656050))], (2196 ^ _592979) ^ [_656238] : [tptpcol_5_90114(_656238), -(isa(_656238, c_tptpcol_5_90114))], (2202 ^ _592979) ^ [_656440, _656442] : [tptptypes_5_802(_656442, _656440), -(firstordercollection(_656440))], (2208 ^ _592979) ^ [_656648, _656650] : [tptptypes_5_802(_656650, _656648), -(firstordercollection(_656650))], (2214 ^ _592979) ^ [_656842] : [isa(_656842, c_tptpcol_16_72795), -(tptpcol_16_72795(_656842))], (2220 ^ _592979) ^ [_657030] : [tptpcol_16_72795(_657030), -(isa(_657030, c_tptpcol_16_72795))], (2226 ^ _592979) ^ [_657218] : [isa(_657218, c_tptpcol_8_114177), -(tptpcol_8_114177(_657218))], (2232 ^ _592979) ^ [_657406] : [tptpcol_8_114177(_657406), -(isa(_657406, c_tptpcol_8_114177))], (2238 ^ _592979) ^ [_657594] : [isa(_657594, c_tptpcol_15_50957), -(tptpcol_15_50957(_657594))], (2244 ^ _592979) ^ [_657782] : [tptpcol_15_50957(_657782), -(isa(_657782, c_tptpcol_15_50957))], (2250 ^ _592979) ^ [_657970] : [isa(_657970, c_tptpcol_16_50958), -(tptpcol_16_50958(_657970))], (2256 ^ _592979) ^ [_658158] : [tptpcol_16_50958(_658158), -(isa(_658158, c_tptpcol_16_50958))], (2262 ^ _592979) ^ [_658346] : [isa(_658346, c_tptpcol_6_71683), -(tptpcol_6_71683(_658346))], (2268 ^ _592979) ^ [_658534] : [tptpcol_6_71683(_658534), -(isa(_658534, c_tptpcol_6_71683))], (2274 ^ _592979) ^ [_658722] : [isa(_658722, c_tptpcol_11_72774), -(tptpcol_11_72774(_658722))], (2280 ^ _592979) ^ [_658910] : [tptpcol_11_72774(_658910), -(isa(_658910, c_tptpcol_11_72774))], (2286 ^ _592979) ^ [_659098] : [isa(_659098, c_tptpcol_12_72775), -(tptpcol_12_72775(_659098))], (2292 ^ _592979) ^ [_659286] : [tptpcol_12_72775(_659286), -(isa(_659286, c_tptpcol_12_72775))], (2298 ^ _592979) ^ [_659474] : [isa(_659474, c_tptpcol_5_110593), -(tptpcol_5_110593(_659474))], (2304 ^ _592979) ^ [_659662] : [tptpcol_5_110593(_659662), -(isa(_659662, c_tptpcol_5_110593))], (2310 ^ _592979) ^ [_659850] : [isa(_659850, c_tptpcol_16_25972), -(tptpcol_16_25972(_659850))], (2316 ^ _592979) ^ [_660038] : [tptpcol_16_25972(_660038), -(isa(_660038, c_tptpcol_16_25972))], (2322 ^ _592979) ^ [_660240, _660242] : [tptp_8_271(_660242, _660240), -(razor(_660240))], (2328 ^ _592979) ^ [_660448, _660450] : [tptp_8_271(_660450, _660448), -(tptpcol_5_24579(_660450))], (2334 ^ _592979) ^ [_660642] : [isa(_660642, c_tptpcol_4_90113), -(tptpcol_4_90113(_660642))], (2340 ^ _592979) ^ [_660830] : [tptpcol_4_90113(_660830), -(isa(_660830, c_tptpcol_4_90113))], (2346 ^ _592979) ^ [_661018] : [isa(_661018, c_tptpcol_10_93700), -(tptpcol_10_93700(_661018))], (2352 ^ _592979) ^ [_661206] : [tptpcol_10_93700(_661206), -(isa(_661206, c_tptpcol_10_93700))], (2358 ^ _592979) ^ [_661394] : [isa(_661394, c_tptpcol_9_93699), -(tptpcol_9_93699(_661394))], (2364 ^ _592979) ^ [_661582] : [tptpcol_9_93699(_661582), -(isa(_661582, c_tptpcol_9_93699))], (2370 ^ _592979) ^ [_661770] : [isa(_661770, c_aspatialthing), -(aspatialthing(_661770))], (2376 ^ _592979) ^ [_661958] : [aspatialthing(_661958), -(isa(_661958, c_aspatialthing))], (2382 ^ _592979) ^ [_662146] : [isa(_662146, c_tptpcol_7_117762), -(tptpcol_7_117762(_662146))], (2388 ^ _592979) ^ [_662334] : [tptpcol_7_117762(_662334), -(isa(_662334, c_tptpcol_7_117762))], (2394 ^ _592979) ^ [_662522] : [isa(_662522, c_tptpcol_8_117763), -(tptpcol_8_117763(_662522))], (2400 ^ _592979) ^ [_662710] : [tptpcol_8_117763(_662710), -(isa(_662710, c_tptpcol_8_117763))], (2406 ^ _592979) ^ [_662898] : [isa(_662898, c_tptpcol_7_18437), -(tptpcol_7_18437(_662898))], (2412 ^ _592979) ^ [_663086] : [tptpcol_7_18437(_663086), -(isa(_663086, c_tptpcol_7_18437))], (2418 ^ _592979) ^ [_663274] : [isa(_663274, c_tptpcol_6_18436), -(tptpcol_6_18436(_663274))], (2424 ^ _592979) ^ [_663462] : [tptpcol_6_18436(_663462), -(isa(_663462, c_tptpcol_6_18436))], (2430 ^ _592979) ^ [_663650] : [isa(_663650, c_tptpcol_8_93698), -(tptpcol_8_93698(_663650))], (2436 ^ _592979) ^ [_663838] : [tptpcol_8_93698(_663838), -(isa(_663838, c_tptpcol_8_93698))], (2442 ^ _592979) ^ [_664026] : [isa(_664026, c_tptpcol_11_109125), -(tptpcol_11_109125(_664026))], (2448 ^ _592979) ^ [_664214] : [tptpcol_11_109125(_664214), -(isa(_664214, c_tptpcol_11_109125))], (2454 ^ _592979) ^ [_664402] : [isa(_664402, c_tptpcol_6_108546), -(tptpcol_6_108546(_664402))], (2460 ^ _592979) ^ [_664590] : [tptpcol_6_108546(_664590), -(isa(_664590, c_tptpcol_6_108546))], (2466 ^ _592979) ^ [_664778] : [isa(_664778, c_tptpcol_6_20484), -(tptpcol_6_20484(_664778))], (2472 ^ _592979) ^ [_664966] : [tptpcol_6_20484(_664966), -(isa(_664966, c_tptpcol_6_20484))], (2478 ^ _592979) ^ [_665168, _665170] : [few(_665170, _665168), -(setorcollection(_665168))], (2484 ^ _592979) ^ [_665376, _665378] : [few(_665378, _665376), -(setorcollection(_665376))], (2490 ^ _592979) ^ [_665584, _665586] : [few(_665586, _665584), -(setorcollection(_665586))], (2496 ^ _592979) ^ [_665792, _665794] : [few(_665794, _665792), -(setorcollection(_665794))], (2502 ^ _592979) ^ [_666014, _666016, _666018] : [-(few(_666018, _666014)), few(_666018, _666016), subsetof(_666014, _666016)], (2512 ^ _592979) ^ [_666309] : [isa(_666309, c_tptpcol_15_130931), -(tptpcol_15_130931(_666309))], (2518 ^ _592979) ^ [_666497] : [tptpcol_15_130931(_666497), -(isa(_666497, c_tptpcol_15_130931))], (2524 ^ _592979) ^ [_666685] : [isa(_666685, c_tptpcol_16_130933), -(tptpcol_16_130933(_666685))], (2530 ^ _592979) ^ [_666873] : [tptpcol_16_130933(_666873), -(isa(_666873, c_tptpcol_16_130933))], (2536 ^ _592979) ^ [_667061] : [isa(_667061, c_tptpcol_7_92163), -(tptpcol_7_92163(_667061))], (2542 ^ _592979) ^ [_667249] : [tptpcol_7_92163(_667249), -(isa(_667249, c_tptpcol_7_92163))], (2548 ^ _592979) ^ [_667437] : [isa(_667437, c_tptpcol_15_130923), -(tptpcol_15_130923(_667437))], (2554 ^ _592979) ^ [_667625] : [tptpcol_15_130923(_667625), -(isa(_667625, c_tptpcol_15_130923))], (2560 ^ _592979) ^ [_667813] : [isa(_667813, c_tptpcol_16_130924), -(tptpcol_16_130924(_667813))], (2566 ^ _592979) ^ [_668001] : [tptpcol_16_130924(_668001), -(isa(_668001, c_tptpcol_16_130924))], (2572 ^ _592979) ^ [_668189] : [isa(_668189, c_intangibleindividual), -(intangibleindividual(_668189))], (2578 ^ _592979) ^ [_668377] : [intangibleindividual(_668377), -(isa(_668377, c_intangibleindividual))], (2584 ^ _592979) ^ [_668564, _668566] : [-(natfunction(f_citynamedfn(_668566, _668564), c_citynamedfn))], (2586 ^ _592979) ^ [_668661, _668663] : [-(natargument(f_citynamedfn(_668663, _668661), n_1, _668663))], (2588 ^ _592979) ^ [_668759, _668761] : [-(natargument(f_citynamedfn(_668761, _668759), n_2, _668759))], (2590 ^ _592979) ^ [_668857, _668859] : [-(city(f_citynamedfn(_668859, _668857)))], (2592 ^ _592979) ^ [_668954] : [isa(_668954, c_tptpcol_13_26920), -(tptpcol_13_26920(_668954))], (2598 ^ _592979) ^ [_669142] : [tptpcol_13_26920(_669142), -(isa(_669142, c_tptpcol_13_26920))], (2604 ^ _592979) ^ [_669330] : [isa(_669330, c_tptpcol_14_26921), -(tptpcol_14_26921(_669330))], (2610 ^ _592979) ^ [_669518] : [tptpcol_14_26921(_669518), -(isa(_669518, c_tptpcol_14_26921))], (2616 ^ _592979) ^ [_669706] : [isa(_669706, c_tptpcol_3_65538), -(tptpcol_3_65538(_669706))], (2622 ^ _592979) ^ [_669894] : [tptpcol_3_65538(_669894), -(isa(_669894, c_tptpcol_3_65538))], (2628 ^ _592979) ^ [_670082] : [isa(_670082, c_tptpcol_16_27189), -(tptpcol_16_27189(_670082))], (2634 ^ _592979) ^ [_670270] : [tptpcol_16_27189(_670270), -(isa(_670270, c_tptpcol_16_27189))], (2640 ^ _592979) ^ [_670472, _670474] : [tptp_9_51(_670474, _670472), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_670472))], (2646 ^ _592979) ^ [_670680, _670682] : [tptp_9_51(_670682, _670680), -(tptpcol_7_26628(_670682))], (2652 ^ _592979) ^ [_670874] : [isa(_670874, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670874))], (2658 ^ _592979) ^ [_671062] : [reflexivebinarypredicate(_671062), -(isa(_671062, c_reflexivebinarypredicate))], (2664 ^ _592979) ^ [_671250] : [isa(_671250, c_tptpcol_7_21508), -(tptpcol_7_21508(_671250))], (2670 ^ _592979) ^ [_671438] : [tptpcol_7_21508(_671438), -(isa(_671438, c_tptpcol_7_21508))], (2676 ^ _592979) ^ [_671626] : [isa(_671626, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671626))], (2682 ^ _592979) ^ [_671814] : [hpkb_subnationalagent(_671814), -(isa(_671814, c_hpkb_subnationalagent))], (2688 ^ _592979) ^ [_672002] : [isa(_672002, c_state_geopolitical), -(state_geopolitical(_672002))], (2694 ^ _592979) ^ [_672190] : [state_geopolitical(_672190), -(isa(_672190, c_state_geopolitical))], (2700 ^ _592979) ^ [_672405, _672407, _672409, _672411] : [-(natfunction(f_relationallexistsfn(_672411, _672409, _672407, _672405), c_relationallexistsfn))], (2702 ^ _592979) ^ [_672536, _672538, _672540, _672542] : [-(natargument(f_relationallexistsfn(_672542, _672540, _672538, _672536), n_1, _672542))], (2704 ^ _592979) ^ [_672668, _672670, _672672, _672674] : [-(natargument(f_relationallexistsfn(_672674, _672672, _672670, _672668), n_2, _672672))], (2706 ^ _592979) ^ [_672800, _672802, _672804, _672806] : [-(natargument(f_relationallexistsfn(_672806, _672804, _672802, _672800), n_3, _672802))], (2708 ^ _592979) ^ [_672932, _672934, _672936, _672938] : [-(natargument(f_relationallexistsfn(_672938, _672936, _672934, _672932), n_4, _672932))], (2710 ^ _592979) ^ [_673064, _673066, _673068, _673070] : [-(thing(f_relationallexistsfn(_673070, _673068, _673066, _673064)))], (2712 ^ _592979) ^ [_673181, _673183] : [arg2isa(_673183, _673181), -(collection(_673181))], (2718 ^ _592979) ^ [_673389, _673391] : [arg2isa(_673391, _673389), -(relation(_673391))], (2724 ^ _592979) ^ [_673611, _673613, _673615] : [-(arg2isa(_673615, _673611)), arg2isa(_673615, _673613), genls(_673613, _673611)], (2734 ^ _592979) ^ [_673934, _673936, _673938] : [-(arg2isa(_673938, _673934)), arg2isa(_673938, _673936), genls(_673936, _673934)], (2744 ^ _592979) ^ [_674229] : [isa(_674229, c_geolevel_1), -(geolevel_1(_674229))], (2750 ^ _592979) ^ [_674417] : [geolevel_1(_674417), -(isa(_674417, c_geolevel_1))], (2756 ^ _592979) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592979) ^ [_674658] : [isa(_674658, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674658))], (2764 ^ _592979) ^ [_674846] : [spatialthing_nonsituational(_674846), -(isa(_674846, c_spatialthing_nonsituational))], (2770 ^ _592979) ^ [_675034] : [isa(_675034, c_militaryperson), -(militaryperson(_675034))], (2776 ^ _592979) ^ [_675222] : [militaryperson(_675222), -(isa(_675222, c_militaryperson))], (2782 ^ _592979) ^ [_675410] : [isa(_675410, c_tptpcol_15_72793), -(tptpcol_15_72793(_675410))], (2788 ^ _592979) ^ [_675598] : [tptpcol_15_72793(_675598), -(isa(_675598, c_tptpcol_15_72793))], (2794 ^ _592979) ^ [_675786] : [isa(_675786, c_tptpcol_9_26885), -(tptpcol_9_26885(_675786))], (2800 ^ _592979) ^ [_675974] : [tptpcol_9_26885(_675974), -(isa(_675974, c_tptpcol_9_26885))], (2806 ^ _592979) ^ [_676162] : [isa(_676162, c_tptpcol_10_26886), -(tptpcol_10_26886(_676162))], (2812 ^ _592979) ^ [_676350] : [tptpcol_10_26886(_676350), -(isa(_676350, c_tptpcol_10_26886))], (2818 ^ _592979) ^ [_676552, _676554] : [tptptypes_8_823(_676554, _676552), -(firstordercollection(_676552))], (2824 ^ _592979) ^ [_676760, _676762] : [tptptypes_8_823(_676762, _676760), -(firstordercollection(_676762))], (2830 ^ _592979) ^ [_676954] : [isa(_676954, c_tptpcol_16_92269), -(tptpcol_16_92269(_676954))], (2836 ^ _592979) ^ [_677142] : [tptpcol_16_92269(_677142), -(isa(_677142, c_tptpcol_16_92269))], (2842 ^ _592979) ^ [_677330] : [isa(_677330, c_tptpcol_15_109185), -(tptpcol_15_109185(_677330))], (2848 ^ _592979) ^ [_677518] : [tptpcol_15_109185(_677518), -(isa(_677518, c_tptpcol_15_109185))], (2854 ^ _592979) ^ [_677706] : [isa(_677706, c_tptpcol_6_26627), -(tptpcol_6_26627(_677706))], (2860 ^ _592979) ^ [_677894] : [tptpcol_6_26627(_677894), -(isa(_677894, c_tptpcol_6_26627))], (2866 ^ _592979) ^ [_678082] : [isa(_678082, c_tptpcol_12_118116), -(tptpcol_12_118116(_678082))], (2872 ^ _592979) ^ [_678270] : [tptpcol_12_118116(_678270), -(isa(_678270, c_tptpcol_12_118116))], (2878 ^ _592979) ^ [_678458] : [isa(_678458, c_tptpcol_8_18438), -(tptpcol_8_18438(_678458))], (2884 ^ _592979) ^ [_678646] : [tptpcol_8_18438(_678646), -(isa(_678646, c_tptpcol_8_18438))], (2890 ^ _592979) ^ [_678834] : [isa(_678834, c_tptpcol_15_30970), -(tptpcol_15_30970(_678834))], (2896 ^ _592979) ^ [_679022] : [tptpcol_15_30970(_679022), -(isa(_679022, c_tptpcol_15_30970))], (2902 ^ _592979) ^ [_679210] : [isa(_679210, c_tptpcol_16_30972), -(tptpcol_16_30972(_679210))], (2908 ^ _592979) ^ [_679398] : [tptpcol_16_30972(_679398), -(isa(_679398, c_tptpcol_16_30972))], (2914 ^ _592979) ^ [_679586] : [isa(_679586, c_tptpcol_14_109181), -(tptpcol_14_109181(_679586))], (2920 ^ _592979) ^ [_679774] : [tptpcol_14_109181(_679774), -(isa(_679774, c_tptpcol_14_109181))], (2926 ^ _592979) ^ [_679962] : [isa(_679962, c_physicalorderingpredicate), -(physicalorderingpredicate(_679962))], (2932 ^ _592979) ^ [_680150] : [physicalorderingpredicate(_680150), -(isa(_680150, c_physicalorderingpredicate))], (2938 ^ _592979) ^ [_680338] : [isa(_680338, c_tptpcol_16_7738), -(tptpcol_16_7738(_680338))], (2944 ^ _592979) ^ [_680526] : [tptpcol_16_7738(_680526), -(isa(_680526, c_tptpcol_16_7738))], (2950 ^ _592979) ^ [_680728, _680730] : [tptp_8_968(_680730, _680728), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680728))], (2956 ^ _592979) ^ [_680936, _680938] : [tptp_8_968(_680938, _680936), -(tptpcol_7_7172(_680938))], (2962 ^ _592979) ^ [_681158, _681160, _681162] : [relationexistsall(_681162, _681160, _681158), -(collection(_681158))], (2968 ^ _592979) ^ [_681388, _681390, _681392] : [relationexistsall(_681392, _681390, _681388), -(collection(_681390))], (2974 ^ _592979) ^ [_681618, _681620, _681622] : [relationexistsall(_681622, _681620, _681618), -(binarypredicate(_681622))], (2980 ^ _592979) ^ [_681820] : [isa(_681820, c_tptpcol_7_26628), -(tptpcol_7_26628(_681820))], (2986 ^ _592979) ^ [_682008] : [tptpcol_7_26628(_682008), -(isa(_682008, c_tptpcol_7_26628))], (2992 ^ _592979) ^ [_682196] : [isa(_682196, c_tptpcol_8_26629), -(tptpcol_8_26629(_682196))], (2998 ^ _592979) ^ [_682384] : [tptpcol_8_26629(_682384), -(isa(_682384, c_tptpcol_8_26629))], (3004 ^ _592979) ^ [_682572] : [isa(_682572, c_tptpcol_3_114688), -(tptpcol_3_114688(_682572))], (3010 ^ _592979) ^ [_682760] : [tptpcol_3_114688(_682760), -(isa(_682760, c_tptpcol_3_114688))], (3016 ^ _592979) ^ [_682933] : [-(natfunction(f_contextofpcwfn(_682933), c_contextofpcwfn))], (3018 ^ _592979) ^ [_683013] : [-(natargument(f_contextofpcwfn(_683013), n_1, _683013))], (3020 ^ _592979) ^ [_683094] : [-(microtheory(f_contextofpcwfn(_683094)))], (3022 ^ _592979) ^ [_683202, _683204] : [arg1isa(_683204, _683202), -(collection(_683202))], (3028 ^ _592979) ^ [_683410, _683412] : [arg1isa(_683412, _683410), -(relation(_683412))], (3034 ^ _592979) ^ [_683632, _683634, _683636] : [-(arg1isa(_683636, _683632)), arg1isa(_683636, _683634), genls(_683634, _683632)], (3044 ^ _592979) ^ [_683955, _683957, _683959] : [-(arg1isa(_683959, _683955)), arg1isa(_683959, _683957), genls(_683957, _683955)], (3054 ^ _592979) ^ [_684264, _684266] : [objectfoundinlocation(_684266, _684264), -(spatialthing_nonsituational(_684264))], (3060 ^ _592979) ^ [_684472, _684474] : [objectfoundinlocation(_684474, _684472), -(spatialthing_localized(_684472))], (3066 ^ _592979) ^ [_684680, _684682] : [objectfoundinlocation(_684682, _684680), -(spatialthing_nonsituational(_684682))], (3072 ^ _592979) ^ [_684888, _684890] : [objectfoundinlocation(_684890, _684888), -(spatialthing_localized(_684890))], (3078 ^ _592979) ^ [_685110, _685112, _685114] : [-(objectfoundinlocation(_685114, _685110)), objectfoundinlocation(_685114, _685112), objectfoundinlocation(_685112, _685110)], (3088 ^ _592979) ^ [_685389] : [objectfoundinlocation(_685389, _685389)], (3090 ^ _592979) ^ [_685510, _685512, _685514] : [-(objectfoundinlocation(_685514, _685510)), objectfoundinlocation(_685514, _685512), geopoliticalsubdivision(_685510, _685512)], (3100 ^ _592979) ^ [_685833, _685835, _685837] : [-(objectfoundinlocation(_685837, _685833)), objectfoundinlocation(_685837, _685835), geographicallysubsumes(_685833, _685835)], (3110 ^ _592979) ^ [_686156, _686158, _686160] : [-(objectfoundinlocation(_686160, _686156)), objectfoundinlocation(_686160, _686158), subregions(_686156, _686158)], (3120 ^ _592979) ^ [_686451] : [isa(_686451, c_ship), -(ship(_686451))], (3126 ^ _592979) ^ [_686639] : [ship(_686639), -(isa(_686639, c_ship))], (3132 ^ _592979) ^ [_686840, _686842, _686844] : [-(natfunction(f_subcollectionofwithrelationtofn(_686844, _686842, _686840), c_subcollectionofwithrelationtofn))], (3134 ^ _592979) ^ [_686954, _686956, _686958] : [-(natargument(f_subcollectionofwithrelationtofn(_686958, _686956, _686954), n_1, _686958))], (3136 ^ _592979) ^ [_687069, _687071, _687073] : [-(natargument(f_subcollectionofwithrelationtofn(_687073, _687071, _687069), n_2, _687071))], (3138 ^ _592979) ^ [_687184, _687186, _687188] : [-(natargument(f_subcollectionofwithrelationtofn(_687188, _687186, _687184), n_3, _687184))], (3140 ^ _592979) ^ [_687299, _687301, _687303] : [-(collection(f_subcollectionofwithrelationtofn(_687303, _687301, _687299)))], (3142 ^ _592979) ^ [_687399] : [isa(_687399, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687399))], (3148 ^ _592979) ^ [_687587] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687587), -(isa(_687587, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592979) ^ [_687775] : [isa(_687775, c_tptpcol_4_65539), -(tptpcol_4_65539(_687775))], (3160 ^ _592979) ^ [_687963] : [tptpcol_4_65539(_687963), -(isa(_687963, c_tptpcol_4_65539))], (3166 ^ _592979) ^ [_688151] : [isa(_688151, c_tptpcol_5_69635), -(tptpcol_5_69635(_688151))], (3172 ^ _592979) ^ [_688339] : [tptpcol_5_69635(_688339), -(isa(_688339, c_tptpcol_5_69635))], (3178 ^ _592979) ^ [_688527] : [isa(_688527, c_tptpcol_3_16386), -(tptpcol_3_16386(_688527))], (3184 ^ _592979) ^ [_688715] : [tptpcol_3_16386(_688715), -(isa(_688715, c_tptpcol_3_16386))], (3190 ^ _592979) ^ [_688917, _688919] : [no(_688919, _688917), -(setorcollection(_688917))], (3196 ^ _592979) ^ [_689125, _689127] : [no(_689127, _689125), -(setorcollection(_689127))], (3202 ^ _592979) ^ [_689333, _689335] : [no(_689335, _689333), -(no(_689333, _689335))], (3208 ^ _592979) ^ [_689557, _689559, _689561] : [-(no(_689561, _689557)), no(_689561, _689559), subsetof(_689557, _689559)], (3218 ^ _592979) ^ [_689880, _689882, _689884] : [-(no(_689880, _689882)), no(_689884, _689882), subsetof(_689880, _689884)], (3228 ^ _592979) ^ [_690203, _690205, _690207] : [-(no(_690203, _690205)), no(_690207, _690205), genls(_690203, _690207)], (3238 ^ _592979) ^ [_690526, _690528, _690530] : [-(no(_690530, _690526)), no(_690530, _690528), genls(_690526, _690528)], (3248 ^ _592979) ^ [_690849, _690851, _690853] : [-(no(_690849, _690851)), no(_690853, _690851), subsetof(_690849, _690853)], (3258 ^ _592979) ^ [_691172, _691174, _691176] : [-(no(_691176, _691172)), no(_691176, _691174), subsetof(_691172, _691174)], (3268 ^ _592979) ^ [_691467] : [isa(_691467, c_geographicalregion), -(geographicalregion(_691467))], (3274 ^ _592979) ^ [_691655] : [geographicalregion(_691655), -(isa(_691655, c_geographicalregion))], (3280 ^ _592979) ^ [_691828] : [-(natfunction(f_tptpquantityfn_21(_691828), c_tptpquantityfn_21))], (3282 ^ _592979) ^ [_691908] : [-(natargument(f_tptpquantityfn_21(_691908), n_1, _691908))], (3284 ^ _592979) ^ [_691989] : [-(tptpquantity(f_tptpquantityfn_21(_691989)))], (3286 ^ _592979) ^ [_692097, _692099] : [airporthasiatacode(_692099, _692097), -(stringoflengthfn3(_692097))], (3292 ^ _592979) ^ [_692305, _692307] : [airporthasiatacode(_692307, _692305), -(airport_physical(_692307))], (3298 ^ _592979) ^ [_692499] : [isa(_692499, c_airport_physical), -(airport_physical(_692499))], (3304 ^ _592979) ^ [_692687] : [airport_physical(_692687), -(isa(_692687, c_airport_physical))], (3310 ^ _592979) ^ [_692888, _692890, _692892] : [-(natfunction(f_instancewithrelationtofn(_692892, _692890, _692888), c_instancewithrelationtofn))], (3312 ^ _592979) ^ [_693002, _693004, _693006] : [-(natargument(f_instancewithrelationtofn(_693006, _693004, _693002), n_1, _693006))], (3314 ^ _592979) ^ [_693117, _693119, _693121] : [-(natargument(f_instancewithrelationtofn(_693121, _693119, _693117), n_2, _693119))], (3316 ^ _592979) ^ [_693232, _693234, _693236] : [-(natargument(f_instancewithrelationtofn(_693236, _693234, _693232), n_3, _693232))], (3318 ^ _592979) ^ [_693347, _693349, _693351] : [-(thing(f_instancewithrelationtofn(_693351, _693349, _693347)))], (3320 ^ _592979) ^ [_693447] : [isa(_693447, c_tptpcol_6_112641), -(tptpcol_6_112641(_693447))], (3326 ^ _592979) ^ [_693635] : [tptpcol_6_112641(_693635), -(isa(_693635, c_tptpcol_6_112641))], (3332 ^ _592979) ^ [_693823] : [isa(_693823, c_tptpcol_7_113665), -(tptpcol_7_113665(_693823))], (3338 ^ _592979) ^ [_694011] : [tptpcol_7_113665(_694011), -(isa(_694011, c_tptpcol_7_113665))], (3344 ^ _592979) ^ [_694199] : [isa(_694199, c_artifact), -(artifact(_694199))], (3350 ^ _592979) ^ [_694387] : [artifact(_694387), -(isa(_694387, c_artifact))], (3356 ^ _592979) ^ [_694575] : [isa(_694575, c_tptpcol_13_18664), -(tptpcol_13_18664(_694575))], (3362 ^ _592979) ^ [_694763] : [tptpcol_13_18664(_694763), -(isa(_694763, c_tptpcol_13_18664))], (3368 ^ _592979) ^ [_694951] : [isa(_694951, c_firstordercollection), -(firstordercollection(_694951))], (3374 ^ _592979) ^ [_695139] : [firstordercollection(_695139), -(isa(_695139, c_firstordercollection))], (3380 ^ _592979) ^ [_695312] : [-(natfunction(f_tptpquantityfn_14(_695312), c_tptpquantityfn_14))], (3382 ^ _592979) ^ [_695392] : [-(natargument(f_tptpquantityfn_14(_695392), n_1, _695392))], (3384 ^ _592979) ^ [_695473] : [-(tptpquantity(f_tptpquantityfn_14(_695473)))], (3386 ^ _592979) ^ [_695567] : [isa(_695567, c_supplies), -(supplies(_695567))], (3392 ^ _592979) ^ [_695755] : [supplies(_695755), -(isa(_695755, c_supplies))], (3398 ^ _592979) ^ [_695943] : [isa(_695943, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695943))], (3404 ^ _592979) ^ [_696131] : [inanimateobject_nonnatural(_696131), -(isa(_696131, c_inanimateobject_nonnatural))], (3410 ^ _592979) ^ [_696319] : [isa(_696319, c_tptpcol_13_22071), -(tptpcol_13_22071(_696319))], (3416 ^ _592979) ^ [_696507] : [tptpcol_13_22071(_696507), -(isa(_696507, c_tptpcol_13_22071))], (3422 ^ _592979) ^ [_696695] : [isa(_696695, c_tptpcol_14_22072), -(tptpcol_14_22072(_696695))], (3428 ^ _592979) ^ [_696883] : [tptpcol_14_22072(_696883), -(isa(_696883, c_tptpcol_14_22072))], (3434 ^ _592979) ^ [_697071] : [isa(_697071, c_tptpcol_7_108547), -(tptpcol_7_108547(_697071))], (3440 ^ _592979) ^ [_697259] : [tptpcol_7_108547(_697259), -(isa(_697259, c_tptpcol_7_108547))], (3446 ^ _592979) ^ [_697447] : [isa(_697447, c_tptpcol_8_109059), -(tptpcol_8_109059(_697447))], (3452 ^ _592979) ^ [_697635] : [tptpcol_8_109059(_697635), -(isa(_697635, c_tptpcol_8_109059))], (3458 ^ _592979) ^ [_697823] : [isa(_697823, c_tptpcol_14_93774), -(tptpcol_14_93774(_697823))], (3464 ^ _592979) ^ [_698011] : [tptpcol_14_93774(_698011), -(isa(_698011, c_tptpcol_14_93774))], (3470 ^ _592979) ^ [_698199] : [isa(_698199, c_tptpcol_15_93775), -(tptpcol_15_93775(_698199))], (3476 ^ _592979) ^ [_698387] : [tptpcol_15_93775(_698387), -(isa(_698387, c_tptpcol_15_93775))], (3482 ^ _592979) ^ [_698575] : [isa(_698575, c_tptpcol_16_8886), -(tptpcol_16_8886(_698575))], (3488 ^ _592979) ^ [_698763] : [tptpcol_16_8886(_698763), -(isa(_698763, c_tptpcol_16_8886))], (3494 ^ _592979) ^ [_698965, _698967] : [orientation(_698967, _698965), -(orientationvector(_698965))], (3500 ^ _592979) ^ [_699173, _699175] : [orientation(_699175, _699173), -(spatialthing_localized(_699175))], (3506 ^ _592979) ^ [_699367] : [isa(_699367, c_orientationvector), -(orientationvector(_699367))], (3512 ^ _592979) ^ [_699555] : [orientationvector(_699555), -(isa(_699555, c_orientationvector))], (3518 ^ _592979) ^ [_699743] : [isa(_699743, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699743))], (3524 ^ _592979) ^ [_699931] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699931), -(isa(_699931, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592979) ^ [_700133, _700135] : [tptptypes_9_824(_700135, _700133), -(firstordercollection(_700133))], (3536 ^ _592979) ^ [_700341, _700343] : [tptptypes_9_824(_700343, _700341), -(firstordercollection(_700343))], (3542 ^ _592979) ^ [_700549, _700551] : [tptptypes_7_396(_700551, _700549), -(firstordercollection(_700549))], (3548 ^ _592979) ^ [_700757, _700759] : [tptptypes_7_396(_700759, _700757), -(firstordercollection(_700759))], (3554 ^ _592979) ^ [_700951] : [isa(_700951, c_tptpcol_12_22055), -(tptpcol_12_22055(_700951))], (3560 ^ _592979) ^ [_701139] : [tptpcol_12_22055(_701139), -(isa(_701139, c_tptpcol_12_22055))], (3566 ^ _592979) ^ [_701327] : [isa(_701327, c_tptpcol_16_29490), -(tptpcol_16_29490(_701327))], (3572 ^ _592979) ^ [_701515] : [tptpcol_16_29490(_701515), -(isa(_701515, c_tptpcol_16_29490))], (3578 ^ _592979) ^ [_701717, _701719] : [tptp_9_720(_701719, _701717), -(tptpcol_5_28674(_701717))], (3584 ^ _592979) ^ [_701925, _701927] : [tptp_9_720(_701927, _701925), -(executionbyfiringsquad(_701927))], (3590 ^ _592979) ^ [_702119] : [isa(_702119, c_runningshorts), -(runningshorts(_702119))], (3596 ^ _592979) ^ [_702307] : [runningshorts(_702307), -(isa(_702307, c_runningshorts))], (3602 ^ _592979) ^ [_702495] : [isa(_702495, c_tptpcol_9_118019), -(tptpcol_9_118019(_702495))], (3608 ^ _592979) ^ [_702683] : [tptpcol_9_118019(_702683), -(isa(_702683, c_tptpcol_9_118019))], (3614 ^ _592979) ^ [_702871] : [isa(_702871, c_tptpcol_16_31868), -(tptpcol_16_31868(_702871))], (3620 ^ _592979) ^ [_703059] : [tptpcol_16_31868(_703059), -(isa(_703059, c_tptpcol_16_31868))], (3626 ^ _592979) ^ [_703247] : [isa(_703247, c_movement_translationevent), -(movement_translationevent(_703247))], (3632 ^ _592979) ^ [_703435] : [movement_translationevent(_703435), -(isa(_703435, c_movement_translationevent))], (3638 ^ _592979) ^ [_703637, _703639] : [directionoftranslation_throughout(_703639, _703637), -(unitvectorinterval(_703637))], (3644 ^ _592979) ^ [_703845, _703847] : [directionoftranslation_throughout(_703847, _703845), -(movement_translationevent(_703847))], (3650 ^ _592979) ^ [_704067, _704069, _704071] : [-(directionoftranslation_throughout(_704067, _704069)), directionoftranslation_throughout(_704071, _704069), subevents(_704071, _704067)], (3660 ^ _592979) ^ [_704362] : [isa(_704362, c_unitvectorinterval), -(unitvectorinterval(_704362))], (3666 ^ _592979) ^ [_704550] : [unitvectorinterval(_704550), -(isa(_704550, c_unitvectorinterval))], (3672 ^ _592979) ^ [_704738] : [isa(_704738, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704738))], (3678 ^ _592979) ^ [_704926] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704926), -(isa(_704926, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592979) ^ [_705128, _705130] : [tptp_8_875(_705130, _705128), -(tptpcol_4_24578(_705128))], (3690 ^ _592979) ^ [_705336, _705338] : [tptp_8_875(_705338, _705336), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705338))], (3696 ^ _592979) ^ [_705558, _705560, _705562] : [relationallexists(_705562, _705560, _705558), -(collection(_705558))], (3702 ^ _592979) ^ [_705788, _705790, _705792] : [relationallexists(_705792, _705790, _705788), -(collection(_705790))], (3708 ^ _592979) ^ [_706018, _706020, _706022] : [relationallexists(_706022, _706020, _706018), -(binarypredicate(_706022))], (3714 ^ _592979) ^ [_706220] : [isa(_706220, c_tptpcol_16_10258), -(tptpcol_16_10258(_706220))], (3720 ^ _592979) ^ [_706408] : [tptpcol_16_10258(_706408), -(isa(_706408, c_tptpcol_16_10258))], (3726 ^ _592979) ^ [_706596] : [isa(_706596, c_pushingababycarriage), -(pushingababycarriage(_706596))], (3732 ^ _592979) ^ [_706784] : [pushingababycarriage(_706784), -(isa(_706784, c_pushingababycarriage))], (3738 ^ _592979) ^ [_706972] : [isa(_706972, c_aspatialinformationstore), -(aspatialinformationstore(_706972))], (3744 ^ _592979) ^ [_707160] : [aspatialinformationstore(_707160), -(isa(_707160, c_aspatialinformationstore))], (3750 ^ _592979) ^ [_707348] : [isa(_707348, c_collection), -(collection(_707348))], (3756 ^ _592979) ^ [_707536] : [collection(_707536), -(isa(_707536, c_collection))], (3762 ^ _592979) ^ [_707724] : [isa(_707724, c_fixedordercollection), -(fixedordercollection(_707724))], (3768 ^ _592979) ^ [_707912] : [fixedordercollection(_707912), -(isa(_707912, c_fixedordercollection))], (3774 ^ _592979) ^ [_708100] : [isa(_708100, c_tptpcol_8_92164), -(tptpcol_8_92164(_708100))], (3780 ^ _592979) ^ [_708288] : [tptpcol_8_92164(_708288), -(isa(_708288, c_tptpcol_8_92164))], (3786 ^ _592979) ^ [_708476] : [isa(_708476, c_tptpcol_9_92165), -(tptpcol_9_92165(_708476))], (3792 ^ _592979) ^ [_708664] : [tptpcol_9_92165(_708664), -(isa(_708664, c_tptpcol_9_92165))], (3798 ^ _592979) ^ [_708852] : [isa(_708852, c_tptpcol_1_1), -(tptpcol_1_1(_708852))], (3804 ^ _592979) ^ [_709040] : [tptpcol_1_1(_709040), -(isa(_709040, c_tptpcol_1_1))], (3810 ^ _592979) ^ [_709228] : [isa(_709228, c_tptpcol_2_2), -(tptpcol_2_2(_709228))], (3816 ^ _592979) ^ [_709416] : [tptpcol_2_2(_709416), -(isa(_709416, c_tptpcol_2_2))], (3822 ^ _592979) ^ [_709618, _709620] : [tptptypes_7_691(_709620, _709618), -(firstordercollection(_709618))], (3828 ^ _592979) ^ [_709826, _709828] : [tptptypes_7_691(_709828, _709826), -(firstordercollection(_709828))], (3834 ^ _592979) ^ [_710020] : [isa(_710020, c_tptpcol_11_26887), -(tptpcol_11_26887(_710020))], (3840 ^ _592979) ^ [_710208] : [tptpcol_11_26887(_710208), -(isa(_710208, c_tptpcol_11_26887))], (3846 ^ _592979) ^ [_710396] : [isa(_710396, c_tptpcol_12_26919), -(tptpcol_12_26919(_710396))], (3852 ^ _592979) ^ [_710584] : [tptpcol_12_26919(_710584), -(isa(_710584, c_tptpcol_12_26919))], (3858 ^ _592979) ^ [_710786, _710788] : [tptptypes_6_818(_710788, _710786), -(firstordercollection(_710786))], (3864 ^ _592979) ^ [_710994, _710996] : [tptptypes_6_818(_710996, _710994), -(firstordercollection(_710996))], (3870 ^ _592979) ^ [_711202, _711204] : [tptptypes_7_819(_711204, _711202), -(firstordercollection(_711202))], (3876 ^ _592979) ^ [_711410, _711412] : [tptptypes_7_819(_711412, _711410), -(firstordercollection(_711412))], (3882 ^ _592979) ^ [_711604] : [isa(_711604, c_correctivelensprescription), -(correctivelensprescription(_711604))], (3888 ^ _592979) ^ [_711792] : [correctivelensprescription(_711792), -(isa(_711792, c_correctivelensprescription))], (3894 ^ _592979) ^ [_711994, _711996] : [products(_711996, _711994), -(artifact(_711994))], (3900 ^ _592979) ^ [_712202, _712204] : [products(_712204, _712202), -(creationordestructionevent(_712204))], (3906 ^ _592979) ^ [_712396] : [isa(_712396, c_issuingaprescription), -(issuingaprescription(_712396))], (3912 ^ _592979) ^ [_712584] : [issuingaprescription(_712584), -(isa(_712584, c_issuingaprescription))], (3918 ^ _592979) ^ [_712785, _712787, _712789] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712789, _712787, _712785), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592979) ^ [_712899, _712901, _712903] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712903, _712901, _712899), n_1, _712903))], (3922 ^ _592979) ^ [_713014, _713016, _713018] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713018, _713016, _713014), n_2, _713016))], (3924 ^ _592979) ^ [_713129, _713131, _713133] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713133, _713131, _713129), n_3, _713129))], (3926 ^ _592979) ^ [_713244, _713246, _713248] : [-(collection(f_subcollectionofwithrelationtotypefn(_713248, _713246, _713244)))], (3928 ^ _592979) ^ [_713344] : [isa(_713344, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713344))], (3934 ^ _592979) ^ [_713532] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713532), -(isa(_713532, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592979) ^ [_713720] : [isa(_713720, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713720))], (3946 ^ _592979) ^ [_713908] : [mathematicalorcomputationalthing(_713908), -(isa(_713908, c_mathematicalorcomputationalthing))], (3952 ^ _592979) ^ [_714096] : [isa(_714096, c_tptpcol_10_118020), -(tptpcol_10_118020(_714096))], (3958 ^ _592979) ^ [_714284] : [tptpcol_10_118020(_714284), -(isa(_714284, c_tptpcol_10_118020))], (3964 ^ _592979) ^ [_714472] : [isa(_714472, c_tptpcol_11_118084), -(tptpcol_11_118084(_714472))], (3970 ^ _592979) ^ [_714660] : [tptpcol_11_118084(_714660), -(isa(_714660, c_tptpcol_11_118084))], (3976 ^ _592979) ^ [_714848] : [isa(_714848, c_terroristgroup), -(terroristgroup(_714848))], (3982 ^ _592979) ^ [_715036] : [terroristgroup(_715036), -(isa(_715036, c_terroristgroup))], (3988 ^ _592979) ^ [_715238, _715240] : [hasmembers(_715240, _715238), -(agent_generic(_715238))], (3994 ^ _592979) ^ [_715446, _715448] : [hasmembers(_715448, _715446), -(organization(_715448))], (4000 ^ _592979) ^ [_715640] : [isa(_715640, c_terrorist), -(terrorist(_715640))], (4006 ^ _592979) ^ [_715828] : [terrorist(_715828), -(isa(_715828, c_terrorist))], (4012 ^ _592979) ^ [_716029, _716031, _716033] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_716033, _716031, _716029), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592979) ^ [_716143, _716145, _716147] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716147, _716145, _716143), n_1, _716147))], (4016 ^ _592979) ^ [_716258, _716260, _716262] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716262, _716260, _716258), n_2, _716260))], (4018 ^ _592979) ^ [_716373, _716375, _716377] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716377, _716375, _716373), n_3, _716373))], (4020 ^ _592979) ^ [_716488, _716490, _716492] : [-(collection(f_subcollectionofwithrelationfromtypefn(_716492, _716490, _716488)))], (4022 ^ _592979) ^ [_716588] : [isa(_716588, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716588))], (4028 ^ _592979) ^ [_716776] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716776), -(isa(_716776, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592979) ^ [_716978, _716980] : [prettystring(_716980, _716978), -(controlcharacterfreestring(_716978))], (4040 ^ _592979) ^ [_717186, _717188] : [prettystring(_717188, _717186), -(thing(_717188))], (4046 ^ _592979) ^ [_717380] : [isa(_717380, c_tptpcol_0_0), -(tptpcol_0_0(_717380))], (4052 ^ _592979) ^ [_717568] : [tptpcol_0_0(_717568), -(isa(_717568, c_tptpcol_0_0))], (4058 ^ _592979) ^ [_717756] : [isa(_717756, c_geolevel_3), -(geolevel_3(_717756))], (4064 ^ _592979) ^ [_717944] : [geolevel_3(_717944), -(isa(_717944, c_geolevel_3))], (4070 ^ _592979) ^ [_718132] : [isa(_718132, c_tptpcol_4_24578), -(tptpcol_4_24578(_718132))], (4076 ^ _592979) ^ [_718320] : [tptpcol_4_24578(_718320), -(isa(_718320, c_tptpcol_4_24578))], (4082 ^ _592979) ^ [_718508] : [isa(_718508, c_tptpcol_5_24579), -(tptpcol_5_24579(_718508))], (4088 ^ _592979) ^ [_718696] : [tptpcol_5_24579(_718696), -(isa(_718696, c_tptpcol_5_24579))], (4094 ^ _592979) ^ [_718884] : [isa(_718884, c_tptpcol_5_106498), -(tptpcol_5_106498(_718884))], (4100 ^ _592979) ^ [_719072] : [tptpcol_5_106498(_719072), -(isa(_719072, c_tptpcol_5_106498))], (4106 ^ _592979) ^ [_719260] : [isa(_719260, c_tptpcol_12_109157), -(tptpcol_12_109157(_719260))], (4112 ^ _592979) ^ [_719448] : [tptpcol_12_109157(_719448), -(isa(_719448, c_tptpcol_12_109157))], (4118 ^ _592979) ^ [_719636] : [isa(_719636, c_tptpcol_13_109173), -(tptpcol_13_109173(_719636))], (4124 ^ _592979) ^ [_719824] : [tptpcol_13_109173(_719824), -(isa(_719824, c_tptpcol_13_109173))], (4130 ^ _592979) ^ [_720012] : [isa(_720012, c_mathematicalthing), -(mathematicalthing(_720012))], (4136 ^ _592979) ^ [_720200] : [mathematicalthing(_720200), -(isa(_720200, c_mathematicalthing))], (4142 ^ _592979) ^ [_720388] : [isa(_720388, c_setorcollection), -(setorcollection(_720388))], (4148 ^ _592979) ^ [_720576] : [setorcollection(_720576), -(isa(_720576, c_setorcollection))], (4154 ^ _592979) ^ [_720764] : [isa(_720764, c_tptpcol_11_18631), -(tptpcol_11_18631(_720764))], (4160 ^ _592979) ^ [_720952] : [tptpcol_11_18631(_720952), -(isa(_720952, c_tptpcol_11_18631))], (4166 ^ _592979) ^ [_721140] : [isa(_721140, c_tptpcol_12_18663), -(tptpcol_12_18663(_721140))], (4172 ^ _592979) ^ [_721328] : [tptpcol_12_18663(_721328), -(isa(_721328, c_tptpcol_12_18663))], (4178 ^ _592979) ^ [_721530, _721532] : [tptptypes_8_400(_721532, _721530), -(firstordercollection(_721530))], (4184 ^ _592979) ^ [_721738, _721740] : [tptptypes_8_400(_721740, _721738), -(firstordercollection(_721740))], (4190 ^ _592979) ^ [_721946, _721948] : [tptptypes_9_401(_721948, _721946), -(firstordercollection(_721946))], (4196 ^ _592979) ^ [_722154, _722156] : [tptptypes_9_401(_722156, _722154), -(firstordercollection(_722156))], (4202 ^ _592979) ^ [_722333] : [-(natfunction(f_tptpquantityfn_13(_722333), c_tptpquantityfn_13))], (4204 ^ _592979) ^ [_722413] : [-(natargument(f_tptpquantityfn_13(_722413), n_1, _722413))], (4206 ^ _592979) ^ [_722494] : [-(tptpquantity(f_tptpquantityfn_13(_722494)))], (4208 ^ _592979) ^ [_722602, _722604] : [borderson(_722604, _722602), -(geographicalregion(_722602))], (4214 ^ _592979) ^ [_722810, _722812] : [borderson(_722812, _722810), -(geographicalregion(_722812))], (4220 ^ _592979) ^ [_723018, _723020] : [borderson(_723020, _723018), -(borderson(_723018, _723020))], (4226 ^ _592979) ^ [_723198] : [borderson(_723198, _723198)], (4228 ^ _592979) ^ [_723291] : [isa(_723291, c_tptpcol_14_92264), -(tptpcol_14_92264(_723291))], (4234 ^ _592979) ^ [_723479] : [tptpcol_14_92264(_723479), -(isa(_723479, c_tptpcol_14_92264))], (4240 ^ _592979) ^ [_723667] : [isa(_723667, c_tptpcol_15_92268), -(tptpcol_15_92268(_723667))], (4246 ^ _592979) ^ [_723855] : [tptpcol_15_92268(_723855), -(isa(_723855, c_tptpcol_15_92268))], (4252 ^ _592979) ^ [_724043] : [isa(_724043, c_tptpcol_6_116738), -(tptpcol_6_116738(_724043))], (4258 ^ _592979) ^ [_724231] : [tptpcol_6_116738(_724231), -(isa(_724231, c_tptpcol_6_116738))], (4264 ^ _592979) ^ [_724433, _724435] : [tptptypes_5_387(_724435, _724433), -(firstordercollection(_724433))], (4270 ^ _592979) ^ [_724641, _724643] : [tptptypes_5_387(_724643, _724641), -(firstordercollection(_724643))], (4276 ^ _592979) ^ [_724849, _724851] : [tptptypes_6_388(_724851, _724849), -(firstordercollection(_724849))], (4282 ^ _592979) ^ [_725057, _725059] : [tptptypes_6_388(_725059, _725057), -(firstordercollection(_725059))], (4288 ^ _592979) ^ [_725251] : [isa(_725251, c_shavingrazor_manual), -(shavingrazor_manual(_725251))], (4294 ^ _592979) ^ [_725439] : [shavingrazor_manual(_725439), -(isa(_725439, c_shavingrazor_manual))], (4300 ^ _592979) ^ [_725627] : [isa(_725627, c_tptpcol_9_109060), -(tptpcol_9_109060(_725627))], (4306 ^ _592979) ^ [_725815] : [tptpcol_9_109060(_725815), -(isa(_725815, c_tptpcol_9_109060))], (4312 ^ _592979) ^ [_726003] : [isa(_726003, c_tptpcol_10_109061), -(tptpcol_10_109061(_726003))], (4318 ^ _592979) ^ [_726191] : [tptpcol_10_109061(_726191), -(isa(_726191, c_tptpcol_10_109061))], (4324 ^ _592979) ^ [_726379] : [isa(_726379, c_executionbyfiringsquad), -(executionbyfiringsquad(_726379))], (4330 ^ _592979) ^ [_726567] : [executionbyfiringsquad(_726567), -(isa(_726567, c_executionbyfiringsquad))], (4336 ^ _592979) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592979) ^ [_726808] : [isa(_726808, c_navypersonnel), -(navypersonnel(_726808))], (4344 ^ _592979) ^ [_726996] : [navypersonnel(_726996), -(isa(_726996, c_navypersonnel))], (4350 ^ _592979) ^ [_727184] : [isa(_727184, c_tptpcol_12_92262), -(tptpcol_12_92262(_727184))], (4356 ^ _592979) ^ [_727372] : [tptpcol_12_92262(_727372), -(isa(_727372, c_tptpcol_12_92262))], (4362 ^ _592979) ^ [_727560] : [isa(_727560, c_thing), -(thing(_727560))], (4368 ^ _592979) ^ [_727748] : [thing(_727748), -(isa(_727748, c_thing))], (4374 ^ _592979) ^ [_727936] : [isa(_727936, c_computerdataartifact), -(computerdataartifact(_727936))], (4380 ^ _592979) ^ [_728124] : [computerdataartifact(_728124), -(isa(_728124, c_computerdataartifact))], (4386 ^ _592979) ^ [_728312] : [isa(_728312, c_applicationcontext), -(applicationcontext(_728312))], (4392 ^ _592979) ^ [_728500] : [applicationcontext(_728500), -(isa(_728500, c_applicationcontext))], (4398 ^ _592979) ^ [_728702, _728704] : [inregion(_728704, _728702), -(spatialthing_nonsituational(_728702))], (4404 ^ _592979) ^ [_728910, _728912] : [inregion(_728912, _728910), -(spatialthing_nonsituational(_728912))], (4410 ^ _592979) ^ [_729132, _729134, _729136] : [-(inregion(_729136, _729132)), inregion(_729136, _729134), inregion(_729134, _729132)], (4420 ^ _592979) ^ [_729427] : [spatialthing_nonsituational(_729427), -(inregion(_729427, _729427))], (4426 ^ _592979) ^ [_729600] : [-(natfunction(f_tptpquantityfn_1(_729600), c_tptpquantityfn_1))], (4428 ^ _592979) ^ [_729680] : [-(natargument(f_tptpquantityfn_1(_729680), n_1, _729680))], (4430 ^ _592979) ^ [_729761] : [-(tptpquantity(f_tptpquantityfn_1(_729761)))], (4432 ^ _592979) ^ [_729855] : [isa(_729855, c_furpelt), -(furpelt(_729855))], (4438 ^ _592979) ^ [_730043] : [furpelt(_730043), -(isa(_730043, c_furpelt))], (4444 ^ _592979) ^ [_730245, _730247] : [tptpofobject(_730247, _730245), -(tptpquantity(_730245))], (4450 ^ _592979) ^ [_730453, _730455] : [tptpofobject(_730455, _730453), -(partiallytangible(_730455))], (4456 ^ _592979) ^ [_730675, _730677, _730679] : [relationallinstance(_730679, _730677, _730675), -(thing(_730675))], (4462 ^ _592979) ^ [_730905, _730907, _730909] : [relationallinstance(_730909, _730907, _730905), -(collection(_730907))], (4468 ^ _592979) ^ [_731135, _731137, _731139] : [relationallinstance(_731139, _731137, _731135), -(binarypredicate(_731139))], (4474 ^ _592979) ^ [_731337] : [isa(_731337, c_tptpcol_13_93766), -(tptpcol_13_93766(_731337))], (4480 ^ _592979) ^ [_731525] : [tptpcol_13_93766(_731525), -(isa(_731525, c_tptpcol_13_93766))], (4486 ^ _592979) ^ [_731713] : [isa(_731713, c_tptpcol_9_40196), -(tptpcol_9_40196(_731713))], (4492 ^ _592979) ^ [_731901] : [tptpcol_9_40196(_731901), -(isa(_731901, c_tptpcol_9_40196))], (4498 ^ _592979) ^ [_732089] : [isa(_732089, c_tptpcol_10_40324), -(tptpcol_10_40324(_732089))], (4504 ^ _592979) ^ [_732277] : [tptpcol_10_40324(_732277), -(isa(_732277, c_tptpcol_10_40324))], (4510 ^ _592979) ^ [_732465] : [isa(_732465, c_tptpcol_7_72707), -(tptpcol_7_72707(_732465))], (4516 ^ _592979) ^ [_732653] : [tptpcol_7_72707(_732653), -(isa(_732653, c_tptpcol_7_72707))], (4522 ^ _592979) ^ [_732841] : [isa(_732841, c_tptpcol_8_72708), -(tptpcol_8_72708(_732841))], (4528 ^ _592979) ^ [_733029] : [tptpcol_8_72708(_733029), -(isa(_733029, c_tptpcol_8_72708))], (4534 ^ _592979) ^ [_733217] : [isa(_733217, c_tptpcol_11_93764), -(tptpcol_11_93764(_733217))], (4540 ^ _592979) ^ [_733405] : [tptpcol_11_93764(_733405), -(isa(_733405, c_tptpcol_11_93764))], (4546 ^ _592979) ^ [_733593] : [isa(_733593, c_tptpcol_12_93765), -(tptpcol_12_93765(_733593))], (4552 ^ _592979) ^ [_733781] : [tptpcol_12_93765(_733781), -(isa(_733781, c_tptpcol_12_93765))], (4558 ^ _592979) ^ [_733969] : [isa(_733969, c_tptpcol_4_114689), -(tptpcol_4_114689(_733969))], (4564 ^ _592979) ^ [_734157] : [tptpcol_4_114689(_734157), -(isa(_734157, c_tptpcol_4_114689))], (4570 ^ _592979) ^ [_734345] : [isa(_734345, c_tptpcol_5_114690), -(tptpcol_5_114690(_734345))], (4576 ^ _592979) ^ [_734533] : [tptpcol_5_114690(_734533), -(isa(_734533, c_tptpcol_5_114690))], (4582 ^ _592979) ^ [_734721] : [isa(_734721, c_tptpcol_3_98305), -(tptpcol_3_98305(_734721))], (4588 ^ _592979) ^ [_734909] : [tptpcol_3_98305(_734909), -(isa(_734909, c_tptpcol_3_98305))], (4594 ^ _592979) ^ [_735097] : [isa(_735097, c_tptpcol_4_106497), -(tptpcol_4_106497(_735097))], (4600 ^ _592979) ^ [_735285] : [tptpcol_4_106497(_735285), -(isa(_735285, c_tptpcol_4_106497))], (4606 ^ _592979) ^ [_735500, _735502, _735504, _735506] : [-(natfunction(f_relationexistsallfn(_735506, _735504, _735502, _735500), c_relationexistsallfn))], (4608 ^ _592979) ^ [_735631, _735633, _735635, _735637] : [-(natargument(f_relationexistsallfn(_735637, _735635, _735633, _735631), n_1, _735637))], (4610 ^ _592979) ^ [_735763, _735765, _735767, _735769] : [-(natargument(f_relationexistsallfn(_735769, _735767, _735765, _735763), n_2, _735767))], (4612 ^ _592979) ^ [_735895, _735897, _735899, _735901] : [-(natargument(f_relationexistsallfn(_735901, _735899, _735897, _735895), n_3, _735897))], (4614 ^ _592979) ^ [_736027, _736029, _736031, _736033] : [-(natargument(f_relationexistsallfn(_736033, _736031, _736029, _736027), n_4, _736027))], (4616 ^ _592979) ^ [_736159, _736161, _736163, _736165] : [-(thing(f_relationexistsallfn(_736165, _736163, _736161, _736159)))], (4618 ^ _592979) ^ [_736276, _736278] : [resultisaarg(_736278, _736276), -(positiveinteger(_736276))], (4624 ^ _592979) ^ [_736484, _736486] : [resultisaarg(_736486, _736484), -(function_denotational(_736486))], (4630 ^ _592979) ^ [_736692, _736694] : [tptptypes_7_389(_736694, _736692), -(firstordercollection(_736692))], (4636 ^ _592979) ^ [_736900, _736902] : [tptptypes_7_389(_736902, _736900), -(firstordercollection(_736902))], (4642 ^ _592979) ^ [_737108, _737110] : [tptptypes_8_390(_737110, _737108), -(firstordercollection(_737108))], (4648 ^ _592979) ^ [_737316, _737318] : [tptptypes_8_390(_737318, _737316), -(firstordercollection(_737318))], (4654 ^ _592979) ^ [_737524, _737526] : [tptptypes_8_692(_737526, _737524), -(firstordercollection(_737524))], (4660 ^ _592979) ^ [_737732, _737734] : [tptptypes_8_692(_737734, _737732), -(firstordercollection(_737734))], (4666 ^ _592979) ^ [_737940, _737942] : [tptptypes_9_693(_737942, _737940), -(firstordercollection(_737940))], (4672 ^ _592979) ^ [_738148, _738150] : [tptptypes_9_693(_738150, _738148), -(firstordercollection(_738150))], (4678 ^ _592979) ^ [_738342] : [isa(_738342, c_tptpcol_11_40388), -(tptpcol_11_40388(_738342))], (4684 ^ _592979) ^ [_738530] : [tptpcol_11_40388(_738530), -(isa(_738530, c_tptpcol_11_40388))], (4690 ^ _592979) ^ [_738718] : [isa(_738718, c_marriagelicensedocument), -(marriagelicensedocument(_738718))], (4696 ^ _592979) ^ [_738906] : [marriagelicensedocument(_738906), -(isa(_738906, c_marriagelicensedocument))], (4702 ^ _592979) ^ [_739094] : [isa(_739094, c_tptpcol_1_65536), -(tptpcol_1_65536(_739094))], (4708 ^ _592979) ^ [_739282] : [tptpcol_1_65536(_739282), -(isa(_739282, c_tptpcol_1_65536))], (4714 ^ _592979) ^ [_739470] : [isa(_739470, c_tptpcol_2_98304), -(tptpcol_2_98304(_739470))], (4720 ^ _592979) ^ [_739658] : [tptpcol_2_98304(_739658), -(isa(_739658, c_tptpcol_2_98304))], (4726 ^ _592979) ^ [_739846] : [isa(_739846, c_tptpcol_10_92166), -(tptpcol_10_92166(_739846))], (4732 ^ _592979) ^ [_740034] : [tptpcol_10_92166(_740034), -(isa(_740034, c_tptpcol_10_92166))], (4738 ^ _592979) ^ [_740222] : [isa(_740222, c_tptpcol_11_92230), -(tptpcol_11_92230(_740222))], (4744 ^ _592979) ^ [_740410] : [tptpcol_11_92230(_740410), -(isa(_740410, c_tptpcol_11_92230))], (4750 ^ _592979) ^ [_740598] : [isa(_740598, c_orderingpredicate), -(orderingpredicate(_740598))], (4756 ^ _592979) ^ [_740786] : [orderingpredicate(_740786), -(isa(_740786, c_orderingpredicate))], (4762 ^ _592979) ^ [_740974] : [isa(_740974, c_tptpcol_9_18439), -(tptpcol_9_18439(_740974))], (4768 ^ _592979) ^ [_741162] : [tptpcol_9_18439(_741162), -(isa(_741162, c_tptpcol_9_18439))], (4774 ^ _592979) ^ [_741350] : [isa(_741350, c_tptpcol_10_18567), -(tptpcol_10_18567(_741350))], (4780 ^ _592979) ^ [_741538] : [tptpcol_10_18567(_741538), -(isa(_741538, c_tptpcol_10_18567))], (4786 ^ _592979) ^ [_741726] : [isa(_741726, c_tptpcol_2_65537), -(tptpcol_2_65537(_741726))], (4792 ^ _592979) ^ [_741914] : [tptpcol_2_65537(_741914), -(isa(_741914, c_tptpcol_2_65537))], (4798 ^ _592979) ^ [_742102] : [isa(_742102, c_tptpcol_3_81921), -(tptpcol_3_81921(_742102))], (4804 ^ _592979) ^ [_742290] : [tptpcol_3_81921(_742290), -(isa(_742290, c_tptpcol_3_81921))], (4810 ^ _592979) ^ [_742478] : [isa(_742478, c_artsupplies), -(artsupplies(_742478))], (4816 ^ _592979) ^ [_742666] : [artsupplies(_742666), -(isa(_742666, c_artsupplies))], (4822 ^ _592979) ^ [_742854] : [isa(_742854, c_enduringthing_localized), -(enduringthing_localized(_742854))], (4828 ^ _592979) ^ [_743042] : [enduringthing_localized(_743042), -(isa(_743042, c_enduringthing_localized))], (4834 ^ _592979) ^ [_743230] : [isa(_743230, c_location_underspecified), -(location_underspecified(_743230))], (4840 ^ _592979) ^ [_743418] : [location_underspecified(_743418), -(isa(_743418, c_location_underspecified))], (4846 ^ _592979) ^ [_743606] : [isa(_743606, c_trajector_underspecified), -(trajector_underspecified(_743606))], (4852 ^ _592979) ^ [_743794] : [trajector_underspecified(_743794), -(isa(_743794, c_trajector_underspecified))], (4858 ^ _592979) ^ [_743982] : [isa(_743982, c_individual), -(individual(_743982))], (4864 ^ _592979) ^ [_744170] : [individual(_744170), -(isa(_744170, c_individual))], (4870 ^ _592979) ^ [_744358] : [isa(_744358, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_744358))], (4876 ^ _592979) ^ [_744546] : [partiallyintangibleindividual(_744546), -(isa(_744546, c_partiallyintangibleindividual))], (4882 ^ _592979) ^ [_744734] : [isa(_744734, c_tptpcol_10_22022), -(tptpcol_10_22022(_744734))], (4888 ^ _592979) ^ [_744922] : [tptpcol_10_22022(_744922), -(isa(_744922, c_tptpcol_10_22022))], (4894 ^ _592979) ^ [_745110] : [isa(_745110, c_tptpcol_11_22023), -(tptpcol_11_22023(_745110))], (4900 ^ _592979) ^ [_745298] : [tptpcol_11_22023(_745298), -(isa(_745298, c_tptpcol_11_22023))], (4906 ^ _592979) ^ [_745486] : [isa(_745486, c_tptpcol_5_20483), -(tptpcol_5_20483(_745486))], (4912 ^ _592979) ^ [_745674] : [tptpcol_5_20483(_745674), -(isa(_745674, c_tptpcol_5_20483))], (4918 ^ _592979) ^ [_745862] : [isa(_745862, c_tptpcol_13_72791), -(tptpcol_13_72791(_745862))], (4924 ^ _592979) ^ [_746050] : [tptpcol_13_72791(_746050), -(isa(_746050, c_tptpcol_13_72791))], (4930 ^ _592979) ^ [_746238] : [isa(_746238, c_tptpcol_14_72792), -(tptpcol_14_72792(_746238))], (4936 ^ _592979) ^ [_746426] : [tptpcol_14_72792(_746426), -(isa(_746426, c_tptpcol_14_72792))], (4942 ^ _592979) ^ [_746614] : [isa(_746614, c_ridgeline_topographical), -(ridgeline_topographical(_746614))], (4948 ^ _592979) ^ [_746802] : [ridgeline_topographical(_746802), -(isa(_746802, c_ridgeline_topographical))], (4954 ^ _592979) ^ [_746990] : [isa(_746990, c_tptpcol_4_16387), -(tptpcol_4_16387(_746990))], (4960 ^ _592979) ^ [_747178] : [tptpcol_4_16387(_747178), -(isa(_747178, c_tptpcol_4_16387))], (4966 ^ _592979) ^ [_747366] : [isa(_747366, c_tptpcol_5_16388), -(tptpcol_5_16388(_747366))], (4972 ^ _592979) ^ [_747554] : [tptpcol_5_16388(_747554), -(isa(_747554, c_tptpcol_5_16388))], (4978 ^ _592979) ^ [_747742] : [isa(_747742, c_tptpcol_8_22020), -(tptpcol_8_22020(_747742))], (4984 ^ _592979) ^ [_747930] : [tptpcol_8_22020(_747930), -(isa(_747930, c_tptpcol_8_22020))], (4990 ^ _592979) ^ [_748118] : [isa(_748118, c_tptpcol_9_22021), -(tptpcol_9_22021(_748118))], (4996 ^ _592979) ^ [_748306] : [tptpcol_9_22021(_748306), -(isa(_748306, c_tptpcol_9_22021))], (5002 ^ _592979) ^ [_748494] : [isa(_748494, c_transitivebinarypredicate), -(transitivebinarypredicate(_748494))], (5008 ^ _592979) ^ [_748682] : [transitivebinarypredicate(_748682), -(isa(_748682, c_transitivebinarypredicate))], (5014 ^ _592979) ^ [_748884, _748886] : [geographicalsubregions(_748886, _748884), -(geographicalregion(_748884))], (5020 ^ _592979) ^ [_749092, _749094] : [geographicalsubregions(_749094, _749092), -(geographicalregion(_749094))], (5026 ^ _592979) ^ [_749314, _749316, _749318] : [-(geographicalsubregions(_749318, _749314)), geographicalsubregions(_749318, _749316), geographicalsubregions(_749316, _749314)], (5036 ^ _592979) ^ [_749609] : [geographicalregion(_749609), -(geographicalsubregions(_749609, _749609))], (5042 ^ _592979) ^ [_749797] : [isa(_749797, c_tptpcol_12_40420), -(tptpcol_12_40420(_749797))], (5048 ^ _592979) ^ [_749985] : [tptpcol_12_40420(_749985), -(isa(_749985, c_tptpcol_12_40420))], (5054 ^ _592979) ^ [_750173] : [isa(_750173, c_tptpcol_13_40421), -(tptpcol_13_40421(_750173))], (5060 ^ _592979) ^ [_750361] : [tptpcol_13_40421(_750361), -(isa(_750361, c_tptpcol_13_40421))], (5066 ^ _592979) ^ [_750549] : [isa(_750549, c_tptpcol_6_92162), -(tptpcol_6_92162(_750549))], (5072 ^ _592979) ^ [_750737] : [tptpcol_6_92162(_750737), -(isa(_750737, c_tptpcol_6_92162))], (5078 ^ _592979) ^ [_750925] : [isa(_750925, c_tptpcol_7_93186), -(tptpcol_7_93186(_750925))], (5084 ^ _592979) ^ [_751113] : [tptpcol_7_93186(_751113), -(isa(_751113, c_tptpcol_7_93186))], (5090 ^ _592979) ^ [_751315, _751317] : [most(_751317, _751315), -(setorcollection(_751315))], (5096 ^ _592979) ^ [_751523, _751525] : [most(_751525, _751523), -(setorcollection(_751523))], (5102 ^ _592979) ^ [_751731, _751733] : [most(_751733, _751731), -(setorcollection(_751733))], (5108 ^ _592979) ^ [_751939, _751941] : [most(_751941, _751939), -(setorcollection(_751941))], (5114 ^ _592979) ^ [_752133] : [setorcollection(_752133), -(most(_752133, _752133))], (5120 ^ _592979) ^ [_752321] : [setorcollection(_752321), -(most(_752321, _752321))], (5126 ^ _592979) ^ [_752537, _752539, _752541] : [-(most(_752541, _752537)), most(_752541, _752539), subsetof(_752539, _752537)], (5136 ^ _592979) ^ [_752860, _752862, _752864] : [-(most(_752864, _752860)), most(_752864, _752862), subsetof(_752862, _752860)], (5146 ^ _592979) ^ [_753169, _753171] : [subsetof(_753171, _753169), -(setorcollection(_753169))], (5152 ^ _592979) ^ [_753377, _753379] : [subsetof(_753379, _753377), -(setorcollection(_753379))], (5158 ^ _592979) ^ [_753599, _753601, _753603] : [-(subsetof(_753603, _753599)), subsetof(_753603, _753601), subsetof(_753601, _753599)], (5168 ^ _592979) ^ [_753894] : [setorcollection(_753894), -(subsetof(_753894, _753894))], (5174 ^ _592979) ^ [_754110, _754112, _754114] : [-(subsetof(_754110, _754112)), subsetof(_754114, _754112), subsetof(_754110, _754114)], (5184 ^ _592979) ^ [_754433, _754435, _754437] : [-(subsetof(_754437, _754433)), subsetof(_754437, _754435), subsetof(_754435, _754433)], (5194 ^ _592979) ^ [_754756, _754758, _754760] : [-(subsetof(_754760, _754756)), subsetof(_754760, _754758), subsetof(_754758, _754756)], (5204 ^ _592979) ^ [_755065, _755067] : [genlpreds(_755067, _755065), -(predicate(_755065))], (5210 ^ _592979) ^ [_755273, _755275] : [genlpreds(_755275, _755273), -(predicate(_755273))], (5216 ^ _592979) ^ [_755481, _755483] : [genlpreds(_755483, _755481), -(predicate(_755483))], (5222 ^ _592979) ^ [_755689, _755691] : [genlpreds(_755691, _755689), -(predicate(_755691))], (5228 ^ _592979) ^ [_755911, _755913, _755915] : [-(genlpreds(_755915, _755911)), genlpreds(_755915, _755913), genlpreds(_755913, _755911)], (5238 ^ _592979) ^ [_756206] : [predicate(_756206), -(genlpreds(_756206, _756206))], (5244 ^ _592979) ^ [_756394] : [predicate(_756394), -(genlpreds(_756394, _756394))], (5250 ^ _592979) ^ [_756596, _756598] : [genlinverse(_756598, _756596), -(binarypredicate(_756596))], (5256 ^ _592979) ^ [_756804, _756806] : [genlinverse(_756806, _756804), -(binarypredicate(_756806))], (5262 ^ _592979) ^ [_757026, _757028, _757030] : [-(genlinverse(_757026, _757028)), genlinverse(_757030, _757028), genlpreds(_757026, _757030)], (5272 ^ _592979) ^ [_757349, _757351, _757353] : [-(genlinverse(_757353, _757349)), genlinverse(_757353, _757351), genlpreds(_757351, _757349)], (5282 ^ _592979) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592979) ^ [_757697] : [isa(_757697, c_microtheory), -(microtheory(_757697))], (5290 ^ _592979) ^ [_757885] : [microtheory(_757885), -(isa(_757885, c_microtheory))], (5296 ^ _592979) ^ [_758058] : [-(natfunction(f_urlfn(_758058), c_urlfn))], (5298 ^ _592979) ^ [_758138] : [-(natargument(f_urlfn(_758138), n_1, _758138))], (5300 ^ _592979) ^ [_758219] : [-(uniformresourcelocator(f_urlfn(_758219)))], (5302 ^ _592979) ^ [_758298] : [-(natfunction(f_urlreferentfn(_758298), c_urlreferentfn))], (5304 ^ _592979) ^ [_758378] : [-(natargument(f_urlreferentfn(_758378), n_1, _758378))], (5306 ^ _592979) ^ [_758459] : [-(computerdataartifact(f_urlreferentfn(_758459)))], (5308 ^ _592979) ^ [_758552, _758554] : [-(natfunction(f_contentmtofcdafromeventfn(_758554, _758552), c_contentmtofcdafromeventfn))], (5310 ^ _592979) ^ [_758649, _758651] : [-(natargument(f_contentmtofcdafromeventfn(_758651, _758649), n_1, _758651))], (5312 ^ _592979) ^ [_758747, _758749] : [-(natargument(f_contentmtofcdafromeventfn(_758749, _758747), n_2, _758747))], (5314 ^ _592979) ^ [_758845, _758847] : [-(microtheory(f_contentmtofcdafromeventfn(_758847, _758845)))], (5316 ^ _592979) ^ [_758956, _758958] : [isa(_758958, _758956), -(collection(_758956))], (5322 ^ _592979) ^ [_759164, _759166] : [isa(_759166, _759164), -(collection(_759164))], (5328 ^ _592979) ^ [_759372, _759374] : [isa(_759374, _759372), -(thing(_759374))], (5334 ^ _592979) ^ [_759580, _759582] : [isa(_759582, _759580), -(thing(_759582))], (5340 ^ _592979) ^ [_759802, _759804, _759806] : [-(isa(_759806, _759802)), isa(_759806, _759804), genls(_759804, _759802)], (5350 ^ _592979) ^ [_760097] : [isa(_760097, c_inanimateobject), -(inanimateobject(_760097))], (5356 ^ _592979) ^ [_760285] : [inanimateobject(_760285), -(isa(_760285, c_inanimateobject))], (5362 ^ _592979) ^ [_760473] : [isa(_760473, c_tptpcol_9_72709), -(tptpcol_9_72709(_760473))], (5368 ^ _592979) ^ [_760661] : [tptpcol_9_72709(_760661), -(isa(_760661, c_tptpcol_9_72709))], (5374 ^ _592979) ^ [_760849] : [isa(_760849, c_tptpcol_10_72710), -(tptpcol_10_72710(_760849))], (5380 ^ _592979) ^ [_761037] : [tptpcol_10_72710(_761037), -(isa(_761037, c_tptpcol_10_72710))], (5386 ^ _592979) ^ [_761225] : [isa(_761225, c_tptpcol_14_40429), -(tptpcol_14_40429(_761225))], (5392 ^ _592979) ^ [_761413] : [tptpcol_14_40429(_761413), -(isa(_761413, c_tptpcol_14_40429))], (5398 ^ _592979) ^ [_761601] : [isa(_761601, c_tptpcol_15_40430), -(tptpcol_15_40430(_761601))], (5404 ^ _592979) ^ [_761789] : [tptpcol_15_40430(_761789), -(isa(_761789, c_tptpcol_15_40430))], (5410 ^ _592979) ^ [_761991, _761993] : [genls(_761993, _761991), -(collection(_761991))], (5416 ^ _592979) ^ [_762199, _762201] : [genls(_762201, _762199), -(collection(_762199))], (5422 ^ _592979) ^ [_762407, _762409] : [genls(_762409, _762407), -(collection(_762409))], (5428 ^ _592979) ^ [_762615, _762617] : [genls(_762617, _762615), -(collection(_762617))], (5434 ^ _592979) ^ [_762837, _762839, _762841] : [-(genls(_762841, _762837)), genls(_762841, _762839), genls(_762839, _762837)], (5444 ^ _592979) ^ [_763132] : [collection(_763132), -(genls(_763132, _763132))], (5450 ^ _592979) ^ [_763320] : [collection(_763320), -(genls(_763320, _763320))], (5456 ^ _592979) ^ [_763536, _763538, _763540] : [-(genls(_763536, _763538)), genls(_763540, _763538), genls(_763536, _763540)], (5466 ^ _592979) ^ [_763859, _763861, _763863] : [-(genls(_763863, _763859)), genls(_763863, _763861), genls(_763861, _763859)], (5476 ^ _592979) ^ [_764154] : [isa(_764154, c_partiallytangible), -(partiallytangible(_764154))], (5482 ^ _592979) ^ [_764342] : [partiallytangible(_764342), -(isa(_764342, c_partiallytangible))], (5488 ^ _592979) ^ [_764530] : [isa(_764530, c_intangible), -(intangible(_764530))], (5494 ^ _592979) ^ [_764718] : [intangible(_764718), -(isa(_764718, c_intangible))], (5500 ^ _592979) ^ [_764920, _764922] : [disjointwith(_764922, _764920), -(collection(_764920))], (5506 ^ _592979) ^ [_765128, _765130] : [disjointwith(_765130, _765128), -(collection(_765130))], (5512 ^ _592979) ^ [_765336, _765338] : [disjointwith(_765338, _765336), -(disjointwith(_765336, _765338))], (5518 ^ _592979) ^ [_765560, _765562, _765564] : [-(disjointwith(_765564, _765560)), disjointwith(_765564, _765562), genls(_765560, _765562)], (5528 ^ _592979) ^ [_765883, _765885, _765887] : [-(disjointwith(_765883, _765885)), disjointwith(_765887, _765885), genls(_765883, _765887)], (5538 ^ _592979) ^ [_766192, _766194] : [-(mtvisible(_766192)), mtvisible(_766194), genlmt(_766194, _766192)], (5548 ^ _592979) ^ [_766487, _766489] : [genlmt(_766489, _766487), -(microtheory(_766487))], (5554 ^ _592979) ^ [_766695, _766697] : [genlmt(_766697, _766695), -(microtheory(_766695))], (5560 ^ _592979) ^ [_766903, _766905] : [genlmt(_766905, _766903), -(microtheory(_766905))], (5566 ^ _592979) ^ [_767111, _767113] : [genlmt(_767113, _767111), -(microtheory(_767113))], (5572 ^ _592979) ^ [_767333, _767335, _767337] : [-(genlmt(_767337, _767333)), genlmt(_767337, _767335), genlmt(_767335, _767333)], (5582 ^ _592979) ^ [_767628] : [microtheory(_767628), -(genlmt(_767628, _767628))], (5594 ^ _592979) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592979) ^ [_767816] : [microtheory(_767816), -(genlmt(_767816, _767816))]], input).
% 0.42/1.39  ncf('1',plain,[genls(c_tptpcol_16_50958, c_tptpcol_15_50957)],start(5598 ^ 0)).
% 0.42/1.39  ncf('1.1',plain,[-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))],extension(1554 ^ 1)).
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------