%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR044+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n013.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri May 19 10:39:17 EDT 2023
% Result : Theorem 1.30s 2.42s
% Output : Proof 1.30s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR044+2 : TPTP v8.1.2. Released v3.4.0.
% 0.00/0.12 % Command : nanocop.sh %s %d
% 0.12/0.34 % Computer : n013.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Thu May 18 23:43:05 EDT 2023
% 0.12/0.34 % CPUTime :
% 1.30/2.42
% 1.30/2.42 /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 1.30/2.42 Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 1.30/2.42 %-----------------------------------------------------
% 1.30/2.42 ncf(matrix, plain, [(5596 ^ _625140) ^ [_814667] : [-(mtvisible(c_tptp_member3633_mt))], (5598 ^ _625140) ^ [_814720] : [tptp_9_720(c_tptpexecutionbyfiringsquad_90, _814720), tptpcol_16_29490(_814720)], (2 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _625140) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _625140) ^ [_625345] : [intangible(_625345), partiallytangible(_625345)], (12 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _625140) ^ [_625583] : [tptpcol_15_40430(_625583), -(tptpcol_14_40429(_625583))], (20 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _625140) ^ [_625822] : [tptpcol_10_72710(_625822), -(tptpcol_9_72709(_625822))], (28 ^ _625140) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _625140) ^ [_626061] : [inanimateobject(_626061), -(partiallytangible(_626061))], (36 ^ _625140) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _625140) ^ [_626328, _626330, _626332] : [-(genlpreds(_626332, _626328)), genlinverse(_626332, _626330), genlinverse(_626330, _626328)], (48 ^ _625140) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _625140) ^ [_626690, _626692] : [subsetof(_626692, _626690), -(most(_626692, _626690))], (56 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _625140) ^ [_626939] : [tptpcol_7_93186(_626939), -(tptpcol_6_92162(_626939))], (64 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _625140) ^ [_627178] : [tptpcol_13_40421(_627178), -(tptpcol_12_40420(_627178))], (72 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _625140) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _625140) ^ [_627642] : [tptpcol_9_22021(_627642), -(tptpcol_8_22020(_627642))], (90 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _625140) ^ [_627881] : [tptpcol_5_16388(_627881), -(tptpcol_4_16387(_627881))], (98 ^ _625140) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _625140) ^ [_628239] : [tptpcol_14_72792(_628239), -(tptpcol_13_72791(_628239))], (112 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _625140) ^ [_628478] : [tptpcol_5_20483(_628478), -(tptpcol_4_16387(_628478))], (120 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _625140) ^ [_628717] : [tptpcol_11_22023(_628717), -(tptpcol_10_22022(_628717))], (128 ^ _625140) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _625140) ^ [_628956] : [partiallyintangibleindividual(_628956), -(individual(_628956))], (136 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _625140) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _625140) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _625140) ^ [_629301] : [trajector_underspecified(_629301), -(location_underspecified(_629301))], (148 ^ _625140) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _625140) ^ [_629540] : [partiallytangible(_629540), -(enduringthing_localized(_629540))], (156 ^ _625140) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _625140) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _625140) ^ [_629898] : [tptpcol_3_81921(_629898), -(tptpcol_2_65537(_629898))], (170 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _625140) ^ [_630137] : [tptpcol_10_18567(_630137), -(tptpcol_9_18439(_630137))], (178 ^ _625140) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _625140) ^ [_630376] : [orderingpredicate(_630376), -(transitivebinarypredicate(_630376))], (186 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _625140) ^ [_630615] : [tptpcol_11_92230(_630615), -(tptpcol_10_92166(_630615))], (194 ^ _625140) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _625140) ^ [_630854] : [tptpcol_2_98304(_630854), -(tptpcol_1_65536(_630854))], (202 ^ _625140) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _625140) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _625140) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _625140) ^ [_631318] : [tptpcol_12_40420(_631318), -(tptpcol_11_40388(_631318))], (220 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _625140) ^ [_631571, _631573] : [tptptypes_9_693(_631573, _631571), -(tptptypes_8_692(_631573, _631571))], (228 ^ _625140) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _625140) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _625140) ^ [_631940, _631942] : [tptptypes_8_390(_631942, _631940), -(tptptypes_7_389(_631942, _631940))], (240 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _625140) ^ [_632284, _632286, _632288, _632290] : [-(isa(f_relationexistsallfn(_632290, _632286, _632284, _632288), _632284)), isa(_632290, _632288), relationexistsall(_632286, _632284, _632288)], (254 ^ _625140) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _625140) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _625140) ^ [_632813] : [tptpcol_4_106497(_632813), -(tptpcol_3_98305(_632813))], (268 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _625140) ^ [_633052] : [tptpcol_5_114690(_633052), -(tptpcol_4_114689(_633052))], (276 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _625140) ^ [_633291] : [tptpcol_12_93765(_633291), -(tptpcol_11_93764(_633291))], (284 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _625140) ^ [_633530] : [tptpcol_8_72708(_633530), -(tptpcol_7_72707(_633530))], (292 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _625140) ^ [_633769] : [tptpcol_10_40324(_633769), -(tptpcol_9_40196(_633769))], (300 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _625140) ^ [_634008] : [tptpcol_13_93766(_634008), -(tptpcol_12_93765(_634008))], (308 ^ _625140) ^ [_634194] : [-(tptpofobject(_634194, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_634194)], (318 ^ _625140) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _625140) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _625140) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _625140) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _625140) ^ [_634858] : [location_underspecified(_634858), -(thing(_634858))], (342 ^ _625140) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _625140) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _625140) ^ [_635203] : [tptpcol_12_92262(_635203), -(tptpcol_11_92230(_635203))], (354 ^ _625140) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _625140) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _625140) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _625140) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _625140) ^ [_635720] : [tptpcol_10_109061(_635720), -(tptpcol_9_109060(_635720))], (374 ^ _625140) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _625140) ^ [_636026, _636028] : [tptptypes_6_388(_636028, _636026), -(tptptypes_5_387(_636028, _636026))], (384 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _625140) ^ [_636275] : [tptpcol_6_116738(_636275), -(tptpcol_5_114690(_636275))], (392 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _625140) ^ [_636514] : [tptpcol_15_92268(_636514), -(tptpcol_14_92264(_636514))], (400 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _625140) ^ [_636819] : [-(tptpofobject(_636819, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_636819)], (416 ^ _625140) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _625140) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _625140) ^ [_637272, _637274] : [tptptypes_9_401(_637274, _637272), -(tptptypes_8_400(_637272, _637274))], (430 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _625140) ^ [_637521] : [tptpcol_12_18663(_637521), -(tptpcol_11_18631(_637521))], (438 ^ _625140) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _625140) ^ [_637760] : [setorcollection(_637760), -(mathematicalthing(_637760))], (446 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _625140) ^ [_637999] : [tptpcol_13_109173(_637999), -(tptpcol_12_109157(_637999))], (454 ^ _625140) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _625140) ^ [_638291] : [tptpcol_5_106498(_638291), -(tptpcol_4_106497(_638291))], (464 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _625140) ^ [_638530] : [tptpcol_5_24579(_638530), -(tptpcol_4_24578(_638530))], (472 ^ _625140) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _625140) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _625140) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _625140) ^ [_639060] : [tptpcol_1_65536(_639060), -(tptpcol_0_0(_639060))], (494 ^ _625140) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _625140) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _625140) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _625140) ^ [_639485, _639487] : [geographicalsubregions(_639487, _639485), -(inregion(_639485, _639487))], (510 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _625140) ^ [_639734] : [tptpcol_11_118084(_639734), -(tptpcol_10_118020(_639734))], (518 ^ _625140) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _625140) ^ [_639973] : [mathematicalorcomputationalthing(_639973), -(intangible(_639973))], (526 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _625140) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _625140) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _625140) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _625140) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _625140) ^ [_640491, _640493] : [tptptypes_7_819(_640493, _640491), -(tptptypes_6_818(_640493, _640491))], (544 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _625140) ^ [_640793] : [tptpcol_12_26919(_640793), -(tptpcol_11_26887(_640793))], (554 ^ _625140) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _625140) ^ [_641046, _641048] : [tptptypes_8_692(_641048, _641046), -(tptptypes_7_691(_641046, _641048))], (562 ^ _625140) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _625140) ^ [_641295] : [tptpcol_2_2(_641295), -(tptpcol_1_1(_641295))], (570 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _625140) ^ [_641587] : [tptpcol_9_92165(_641587), -(tptpcol_8_92164(_641587))], (580 ^ _625140) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _625140) ^ [_641826] : [fixedordercollection(_641826), -(collection(_641826))], (588 ^ _625140) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _625140) ^ [_642065] : [tptpcol_1_1(_642065), tptpcol_1_65536(_642065)], (596 ^ _625140) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _625140) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _625140) ^ [_642356] : [microtheory(_642356), -(aspatialinformationstore(_642356))], (606 ^ _625140) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _625140) ^ [_642661] : [-(tptp_8_875(_642661, f_relationallexistsfn(_642661, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_642661, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _625140) ^ [] : [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 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _625140) ^ [_643112] : [tptpcol_10_118020(_643112), -(tptpcol_9_118019(_643112))], (636 ^ _625140) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _625140) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _625140) ^ [_643470] : [-(tptp_9_720(_643470, f_relationallexistsfn(_643470, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_643470)], (654 ^ _625140) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _625140) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _625140) ^ [_643919] : [individual(_643919), setorcollection(_643919)], (668 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _625140) ^ [_644157] : [tptpcol_12_22055(_644157), -(tptpcol_11_22023(_644157))], (676 ^ _625140) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _625140) ^ [_644396] : [applicationcontext(_644396), -(microtheory(_644396))], (684 ^ _625140) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _625140) ^ [_644702, _644704] : [tptptypes_8_400(_644704, _644702), -(tptptypes_7_396(_644704, _644702))], (694 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _625140) ^ [_644951] : [tptpcol_11_18631(_644951), -(tptpcol_10_18567(_644951))], (702 ^ _625140) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _625140) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _625140) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _625140) ^ [_645362] : [mathematicalthing(_645362), -(mathematicalorcomputationalthing(_645362))], (718 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _625140) ^ [_645654] : [tptpcol_15_93775(_645654), -(tptpcol_14_93774(_645654))], (728 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _625140) ^ [_645893] : [tptpcol_8_109059(_645893), -(tptpcol_7_108547(_645893))], (736 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _625140) ^ [_646132] : [tptpcol_14_40429(_646132), -(tptpcol_13_40421(_646132))], (744 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _625140) ^ [_646490] : [tptpcol_14_22072(_646490), -(tptpcol_13_22071(_646490))], (758 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _625140) ^ [_646729] : [tptpcol_14_93774(_646729), -(tptpcol_13_93766(_646729))], (766 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _625140) ^ [_646968] : [tptpcol_10_22022(_646968), -(tptpcol_9_22021(_646968))], (774 ^ _625140) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _625140) ^ [_647207] : [inanimateobject_nonnatural(_647207), -(inanimateobject(_647207))], (782 ^ _625140) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _625140) ^ [_647552] : [tptpcol_9_72709(_647552), -(tptpcol_8_72708(_647552))], (794 ^ _625140) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _625140) ^ [_647791] : [-(tptpofobject(_647791, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_647791)], (806 ^ _625140) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _625140) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _625140) ^ [_648230] : [firstordercollection(_648230), -(fixedordercollection(_648230))], (820 ^ _625140) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _625140) ^ [_648641] : [tptpcol_13_18664(_648641), -(tptpcol_12_18663(_648641))], (836 ^ _625140) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _625140) ^ [_648880] : [artifact(_648880), -(inanimateobject_nonnatural(_648880))], (844 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _625140) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _625140) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _625140) ^ [_649278] : [tptpcol_7_113665(_649278), -(tptpcol_6_112641(_649278))], (858 ^ _625140) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _625140) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _625140) ^ [_649636] : [geographicalregion(_649636), -(partiallytangible(_649636))], (872 ^ _625140) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _625140) ^ [_649889, _649891] : [disjointwith(_649891, _649889), -(no(_649891, _649889))], (880 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _625140) ^ [_650138] : [tptpcol_4_24578(_650138), -(tptpcol_3_16386(_650138))], (888 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _625140) ^ [_650377] : [tptpcol_5_69635(_650377), -(tptpcol_4_65539(_650377))], (896 ^ _625140) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _625140) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _625140) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _625140) ^ [_650736, _650738] : [genls(_650738, _650736), -(collection(_650738))], (908 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _625140) ^ [_650983] : [tptpcol_13_22071(_650983), -(tptpcol_12_22055(_650983))], (916 ^ _625140) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _625140) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _625140) ^ [_651275] : [tptpcol_3_98305(_651275), -(tptpcol_2_98304(_651275))], (926 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _625140) ^ [_651514] : [tptpcol_4_114689(_651514), -(tptpcol_3_114688(_651514))], (934 ^ _625140) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _625140) ^ [_651753] : [artsupplies(_651753), -(supplies(_651753))], (942 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _625140) ^ [_651992] : [tptpcol_8_26629(_651992), -(tptpcol_7_26628(_651992))], (950 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _625140) ^ [_652231] : [tptpcol_9_109060(_652231), -(tptpcol_8_109059(_652231))], (958 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _625140) ^ [_652470] : [isa(_652470, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_652470, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _652470))], (966 ^ _625140) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _625140) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _625140) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _625140) ^ [_653054] : [tptpcol_14_109181(_653054), -(tptpcol_13_109173(_653054))], (988 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _625140) ^ [_653293] : [tptpcol_16_30972(_653293), -(tptpcol_15_30970(_653293))], (996 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _625140) ^ [_653585] : [tptpcol_9_18439(_653585), -(tptpcol_8_18438(_653585))], (1006 ^ _625140) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _625140) ^ [_653877] : [tptpcol_12_118116(_653877), -(tptpcol_11_118084(_653877))], (1016 ^ _625140) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _625140) ^ [_654169] : [tptpcol_7_26628(_654169), -(tptpcol_6_26627(_654169))], (1026 ^ _625140) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _625140) ^ [_654422, _654424] : [most(_654424, _654422), -(setorcollection(_654424))], (1034 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _625140) ^ [_654669] : [tptpcol_15_109185(_654669), -(tptpcol_14_109181(_654669))], (1042 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _625140) ^ [_654908] : [tptpcol_16_92269(_654908), -(tptpcol_15_92268(_654908))], (1050 ^ _625140) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _625140) ^ [_655214, _655216] : [tptptypes_8_823(_655216, _655214), -(tptptypes_7_819(_655216, _655214))], (1060 ^ _625140) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _625140) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _625140) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _625140) ^ [_655794] : [tptpcol_10_26886(_655794), -(tptpcol_9_26885(_655794))], (1082 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _625140) ^ [_656086] : [tptpcol_15_72793(_656086), -(tptpcol_14_72792(_656086))], (1092 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _625140) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _625140) ^ [_656444] : [navypersonnel(_656444), -(militaryperson(_656444))], (1106 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _625140) ^ [_656683] : [tptpcol_4_16387(_656683), -(tptpcol_3_16386(_656683))], (1114 ^ _625140) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _625140) ^ [_656922] : [enduringthing_localized(_656922), -(spatialthing_nonsituational(_656922))], (1122 ^ _625140) ^ [_657108] : [collection(_657108), individual(_657108)], (1128 ^ _625140) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _625140) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _625140) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _625140) ^ [_657637] : [physicalorderingpredicate(_657637), -(orderingpredicate(_657637))], (1150 ^ _625140) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _625140) ^ [_657890, _657892] : [disjointwith(_657892, _657890), -(collection(_657890))], (1158 ^ _625140) ^ [_658126, _658128, _658130, _658132] : [-(isa(f_relationallexistsfn(_658132, _658128, _658130, _658126), _658126)), isa(_658132, _658130), relationallexists(_658128, _658130, _658126)], (1168 ^ _625140) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _625140) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _625140) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _625140) ^ [_658735, _658737] : [tptptypes_7_389(_658737, _658735), -(tptptypes_6_388(_658735, _658737))], (1186 ^ _625140) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _625140) ^ [_659050] : [-(hpkb_subnationalagent(_659050)), mtvisible(c_hpkbvocabmt), state_geopolitical(_659050)], (1202 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _625140) ^ [_659368] : [tptpcol_8_22020(_659368), -(tptpcol_7_21508(_659368))], (1210 ^ _625140) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _625140) ^ [_659607] : [-(tptp_9_51(f_relationexistsallfn(_659607, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _659607)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_659607, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _625140) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _625140) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _625140) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _625140) ^ [_660111] : [tptpcol_3_65538(_660111), -(tptpcol_2_65537(_660111))], (1238 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _625140) ^ [_660350] : [tptpcol_14_26921(_660350), -(tptpcol_13_26920(_660350))], (1246 ^ _625140) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _625140) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _625140) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _625140) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _625140) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _625140) ^ [_660801] : [intangibleindividual(_660801), -(partiallyintangibleindividual(_660801))], (1262 ^ _625140) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _625140) ^ [_661159] : [tptpcol_16_130924(_661159), -(tptpcol_15_130923(_661159))], (1276 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _625140) ^ [_661398] : [tptpcol_7_92163(_661398), -(tptpcol_6_92162(_661398))], (1284 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _625140) ^ [_661690] : [tptpcol_16_130933(_661690), -(tptpcol_15_130931(_661690))], (1294 ^ _625140) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _625140) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _625140) ^ [_661996, _661998] : [no(_661998, _661996), -(few(_661998, _661996))], (1304 ^ _625140) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _625140) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _625140) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _625140) ^ [_662404] : [tptpcol_6_20484(_662404), -(tptpcol_5_20483(_662404))], (1318 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _625140) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _625140) ^ [_662868] : [tptpcol_7_108547(_662868), -(tptpcol_6_108546(_662868))], (1336 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _625140) ^ [_663107] : [tptpcol_11_109125(_663107), -(tptpcol_10_109061(_663107))], (1344 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _625140) ^ [_663399] : [tptpcol_8_93698(_663399), -(tptpcol_7_93186(_663399))], (1354 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _625140) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _625140) ^ [_663691] : [tptpcol_2_65537(_663691), -(tptpcol_1_65536(_663691))], (1364 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _625140) ^ [_663983] : [tptpcol_6_18436(_663983), -(tptpcol_5_16388(_663983))], (1374 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _625140) ^ [_664222] : [tptpcol_8_18438(_664222), -(tptpcol_7_18437(_664222))], (1382 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _625140) ^ [_664580] : [tptpcol_8_117763(_664580), -(tptpcol_7_117762(_664580))], (1396 ^ _625140) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _625140) ^ [_664872] : [tptpcol_12_109157(_664872), -(tptpcol_11_109125(_664872))], (1406 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _625140) ^ [_665111] : [tptpcol_7_117762(_665111), -(tptpcol_6_116738(_665111))], (1414 ^ _625140) ^ [_665325, _665327, _665329] : [isa(_665329, _665327), isa(_665329, _665325), disjointwith(_665327, _665325)], (1424 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _625140) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _625140) ^ [_665725] : [aspatialinformationstore(_665725), -(aspatialthing(_665725))], (1434 ^ _625140) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _625140) ^ [_666123] : [tptpcol_9_93699(_666123), -(tptpcol_8_93698(_666123))], (1448 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _625140) ^ [_666362] : [tptpcol_11_93764(_666362), -(tptpcol_10_93700(_666362))], (1456 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _625140) ^ [_666601] : [tptpcol_6_26627(_666601), -(tptpcol_5_24579(_666601))], (1464 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _625140) ^ [_666840] : [tptpcol_4_90113(_666840), -(tptpcol_3_81921(_666840))], (1472 ^ _625140) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _625140) ^ [_667132] : [tptpcol_10_93700(_667132), -(tptpcol_9_93699(_667132))], (1482 ^ _625140) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _625140) ^ [_667371] : [aspatialinformationstore(_667371), -(intangibleindividual(_667371))], (1490 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _625140) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _625140) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _625140) ^ [_667782] : [tptpcol_3_16386(_667782), -(tptpcol_2_2(_667782))], (1506 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _625140) ^ [_668021] : [tptpcol_9_118019(_668021), -(tptpcol_8_117763(_668021))], (1514 ^ _625140) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _625140) ^ [_668260] : [individual(_668260), -(trajector_underspecified(_668260))], (1522 ^ _625140) ^ [_668446] : [shavingrazor_manual(_668446), -(tptp_8_271(f_relationexistsallfn(_668446, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _668446))], (1528 ^ _625140) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _625140) ^ [_668750] : [tptpcol_6_112641(_668750), -(tptpcol_5_110593(_668750))], (1538 ^ _625140) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _625140) ^ [_668989] : [tptpcol_12_72775(_668989), -(tptpcol_11_72774(_668989))], (1546 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _625140) ^ [_669228] : [tptpcol_7_72707(_669228), -(tptpcol_6_71683(_669228))], (1554 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _625140) ^ [_669467] : [tptpcol_16_50958(_669467), -(tptpcol_15_50957(_669467))], (1562 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _625140) ^ [_669706] : [tptpcol_8_114177(_669706), -(tptpcol_7_113665(_669706))], (1570 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _625140) ^ [_669945] : [tptpcol_16_72795(_669945), -(tptpcol_15_72793(_669945))], (1578 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _625140) ^ [_670184] : [tptpcol_6_71683(_670184), -(tptpcol_5_69635(_670184))], (1586 ^ _625140) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _625140) ^ [_670490, _670492] : [tptptypes_7_396(_670492, _670490), -(tptptypes_6_388(_670492, _670490))], (1596 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _625140) ^ [_670739] : [tptpcol_9_26885(_670739), -(tptpcol_8_26629(_670739))], (1604 ^ _625140) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _625140) ^ [_670992, _670994] : [genls(_670994, _670992), -(subsetof(_670994, _670992))], (1612 ^ _625140) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _625140) ^ [_671308, _671310] : [tptptypes_6_818(_671310, _671308), -(tptptypes_5_802(_671310, _671308))], (1622 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _625140) ^ [_671557] : [tptpcol_6_92162(_671557), -(tptpcol_5_90114(_671557))], (1630 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _625140) ^ [_671849] : [tptpcol_8_92164(_671849), -(tptpcol_7_92163(_671849))], (1640 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _625140) ^ [_672088] : [tptpcol_13_118117(_672088), -(tptpcol_12_118116(_672088))], (1648 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _625140) ^ [_672327] : [tptpcol_11_40388(_672327), -(tptpcol_10_40324(_672327))], (1656 ^ _625140) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _625140) ^ [_672580, _672582] : [tptptypes_9_824(_672582, _672580), -(tptptypes_8_823(_672582, _672580))], (1664 ^ _625140) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _625140) ^ [_672882] : [tptpcol_11_26887(_672882), -(tptpcol_10_26886(_672882))], (1674 ^ _625140) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _625140) ^ [_673121] : [tptpcol_16_26926(_673121), -(tptpcol_15_26925(_673121))], (1682 ^ _625140) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _625140) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _625140) ^ [_673427, _673429] : [few(_673429, _673427), -(setorcollection(_673427))], (1692 ^ _625140) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _625140) ^ [_673674] : [tptpcol_4_65539(_673674), -(tptpcol_3_65538(_673674))], (1700 ^ _625140) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _625140) ^ [_673913] : [tptpcol_8_39940(_673913), -(tptpcol_7_39939(_673913))], (1708 ^ _625140) ^ [_674099] : [-(tptpofobject(_674099, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_674099)], (1718 ^ _625140) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _625140) ^ [_674538] : [tptpcol_15_22076(_674538), -(tptpcol_14_22072(_674538))], (1732 ^ _625140) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _625140) ^ [_674777] : [tptpcol_0_0(_674777), -(individual(_674777))], (1740 ^ _625140) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _625140) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _625140) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _625140) ^ [_675175] : [tptpcol_11_72774(_675175), -(tptpcol_10_72710(_675175))], (1754 ^ _625140) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _625140) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _625140) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _625140) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _625140) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _625140) ^ [_675811] : [tptpcol_7_21508(_675811), -(tptpcol_6_20484(_675811))], (1780 ^ _625140) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _625140) ^ [_676050] : [tptpcol_6_108546(_676050), -(tptpcol_5_106498(_676050))], (1788 ^ _625140) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _625140) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _625140) ^ [_676408] : [geolevel_4(_676408), -(geographicalregion(_676408))], (1802 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _625140) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _625140) ^ [_676885] : [tptpcol_13_26920(_676885), -(tptpcol_12_26919(_676885))], (1822 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _625140) ^ [_677124] : [tptpcol_14_92264(_677124), -(tptpcol_13_92263(_677124))], (1830 ^ _625140) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _625140) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _625140) ^ [_677416] : [tptpcol_9_40196(_677416), -(tptpcol_8_39940(_677416))], (1840 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _625140) ^ [_677774] : [tptpcol_13_92263(_677774), -(tptpcol_12_92262(_677774))], (1854 ^ _625140) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _625140) ^ [_678066] : [tptpcol_5_90114(_678066), -(tptpcol_4_90113(_678066))], (1864 ^ _625140) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _625140) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _625140) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _625140) ^ [_678477] : [tptpcol_15_26925(_678477), -(tptpcol_14_26921(_678477))], (1880 ^ _625140) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _625140) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _625140) ^ [_678835] : [tptpcol_7_18437(_678835), -(tptpcol_6_18436(_678835))], (1894 ^ _625140) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _625140) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _625140) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _625140) ^ [_679246] : [tptpcol_3_98305(_679246), tptpcol_3_114688(_679246)], (1910 ^ _625140) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _625140) ^ [_679484] : [tptpcol_5_110593(_679484), -(tptpcol_4_106497(_679484))], (1918 ^ _625140) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _625140) ^ [_679723] : [tptpcol_13_72791(_679723), -(tptpcol_12_72775(_679723))], (1926 ^ _625140) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _625140) ^ [_679962] : [computerdataartifact(_679962), -(artifact(_679962))], (1934 ^ _625140) ^ [_680148] : [-(tptpofobject(_680148, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_680148)], (1944 ^ _625140) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _625140) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _625140) ^ [_680587] : [tptpcol_10_92166(_680587), -(tptpcol_9_92165(_680587))], (1958 ^ _625140) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _625140) ^ [_680826] : [tptpcol_14_118118(_680826), -(tptpcol_13_118117(_680826))], (1966 ^ _625140) ^ [_681012] : [isa(_681012, c_tptpcol_14_118118), -(tptpcol_14_118118(_681012))], (1972 ^ _625140) ^ [_681200] : [tptpcol_14_118118(_681200), -(isa(_681200, c_tptpcol_14_118118))], (1978 ^ _625140) ^ [_681373] : [-(natfunction(f_tptpquantityfn_6(_681373), c_tptpquantityfn_6))], (1980 ^ _625140) ^ [_681453] : [-(natargument(f_tptpquantityfn_6(_681453), n_1, _681453))], (1982 ^ _625140) ^ [_681534] : [-(tptpquantity(f_tptpquantityfn_6(_681534)))], (1984 ^ _625140) ^ [_681628] : [isa(_681628, c_tptpcol_16_26939), -(tptpcol_16_26939(_681628))], (1990 ^ _625140) ^ [_681816] : [tptpcol_16_26939(_681816), -(isa(_681816, c_tptpcol_16_26939))], (1996 ^ _625140) ^ [_682004] : [isa(_682004, c_tptpcol_16_62187), -(tptpcol_16_62187(_682004))], (2002 ^ _625140) ^ [_682192] : [tptpcol_16_62187(_682192), -(isa(_682192, c_tptpcol_16_62187))], (2008 ^ _625140) ^ [_682380] : [isa(_682380, c_tptpcol_13_92263), -(tptpcol_13_92263(_682380))], (2014 ^ _625140) ^ [_682568] : [tptpcol_13_92263(_682568), -(isa(_682568, c_tptpcol_13_92263))], (2020 ^ _625140) ^ [_682756] : [isa(_682756, c_geolevel_4), -(geolevel_4(_682756))], (2026 ^ _625140) ^ [_682944] : [geolevel_4(_682944), -(isa(_682944, c_geolevel_4))], (2032 ^ _625140) ^ [_683132] : [isa(_683132, c_tptpcol_15_4027), -(tptpcol_15_4027(_683132))], (2038 ^ _625140) ^ [_683320] : [tptpcol_15_4027(_683320), -(isa(_683320, c_tptpcol_15_4027))], (2044 ^ _625140) ^ [_683508] : [isa(_683508, c_pushingwithfingers), -(pushingwithfingers(_683508))], (2050 ^ _625140) ^ [_683696] : [pushingwithfingers(_683696), -(isa(_683696, c_pushingwithfingers))], (2056 ^ _625140) ^ [_683898, _683900] : [affiliatedwith(_683900, _683898), -(agent_generic(_683898))], (2062 ^ _625140) ^ [_684106, _684108] : [affiliatedwith(_684108, _684106), -(agent_generic(_684108))], (2068 ^ _625140) ^ [_684314, _684316] : [affiliatedwith(_684316, _684314), -(affiliatedwith(_684314, _684316))], (2074 ^ _625140) ^ [_684494] : [affiliatedwith(_684494, _684494)], (2076 ^ _625140) ^ [_684587] : [isa(_684587, c_footballteam), -(footballteam(_684587))], (2082 ^ _625140) ^ [_684775] : [footballteam(_684775), -(isa(_684775, c_footballteam))], (2088 ^ _625140) ^ [_684963] : [isa(_684963, c_tptpcol_16_4451), -(tptpcol_16_4451(_684963))], (2094 ^ _625140) ^ [_685151] : [tptpcol_16_4451(_685151), -(isa(_685151, c_tptpcol_16_4451))], (2100 ^ _625140) ^ [_685339] : [isa(_685339, c_pushingwithopenhand), -(pushingwithopenhand(_685339))], (2106 ^ _625140) ^ [_685527] : [pushingwithopenhand(_685527), -(isa(_685527, c_pushingwithopenhand))], (2112 ^ _625140) ^ [_685715] : [isa(_685715, c_tptpcol_15_22076), -(tptpcol_15_22076(_685715))], (2118 ^ _625140) ^ [_685903] : [tptpcol_15_22076(_685903), -(isa(_685903, c_tptpcol_15_22076))], (2124 ^ _625140) ^ [_686076] : [-(natfunction(f_tptpquantityfn_2(_686076), c_tptpquantityfn_2))], (2126 ^ _625140) ^ [_686156] : [-(natargument(f_tptpquantityfn_2(_686156), n_1, _686156))], (2128 ^ _625140) ^ [_686237] : [-(tptpquantity(f_tptpquantityfn_2(_686237)))], (2130 ^ _625140) ^ [_686331] : [isa(_686331, c_tptpcol_7_39939), -(tptpcol_7_39939(_686331))], (2136 ^ _625140) ^ [_686519] : [tptpcol_7_39939(_686519), -(isa(_686519, c_tptpcol_7_39939))], (2142 ^ _625140) ^ [_686707] : [isa(_686707, c_tptpcol_8_39940), -(tptpcol_8_39940(_686707))], (2148 ^ _625140) ^ [_686895] : [tptpcol_8_39940(_686895), -(isa(_686895, c_tptpcol_8_39940))], (2154 ^ _625140) ^ [_687083] : [isa(_687083, c_tptpcol_15_26925), -(tptpcol_15_26925(_687083))], (2160 ^ _625140) ^ [_687271] : [tptpcol_15_26925(_687271), -(isa(_687271, c_tptpcol_15_26925))], (2166 ^ _625140) ^ [_687459] : [isa(_687459, c_tptpcol_16_26926), -(tptpcol_16_26926(_687459))], (2172 ^ _625140) ^ [_687647] : [tptpcol_16_26926(_687647), -(isa(_687647, c_tptpcol_16_26926))], (2178 ^ _625140) ^ [_687835] : [isa(_687835, c_tptpcol_13_118117), -(tptpcol_13_118117(_687835))], (2184 ^ _625140) ^ [_688023] : [tptpcol_13_118117(_688023), -(isa(_688023, c_tptpcol_13_118117))], (2190 ^ _625140) ^ [_688211] : [isa(_688211, c_tptpcol_5_90114), -(tptpcol_5_90114(_688211))], (2196 ^ _625140) ^ [_688399] : [tptpcol_5_90114(_688399), -(isa(_688399, c_tptpcol_5_90114))], (2202 ^ _625140) ^ [_688601, _688603] : [tptptypes_5_802(_688603, _688601), -(firstordercollection(_688601))], (2208 ^ _625140) ^ [_688809, _688811] : [tptptypes_5_802(_688811, _688809), -(firstordercollection(_688811))], (2214 ^ _625140) ^ [_689003] : [isa(_689003, c_tptpcol_16_72795), -(tptpcol_16_72795(_689003))], (2220 ^ _625140) ^ [_689191] : [tptpcol_16_72795(_689191), -(isa(_689191, c_tptpcol_16_72795))], (2226 ^ _625140) ^ [_689379] : [isa(_689379, c_tptpcol_8_114177), -(tptpcol_8_114177(_689379))], (2232 ^ _625140) ^ [_689567] : [tptpcol_8_114177(_689567), -(isa(_689567, c_tptpcol_8_114177))], (2238 ^ _625140) ^ [_689755] : [isa(_689755, c_tptpcol_15_50957), -(tptpcol_15_50957(_689755))], (2244 ^ _625140) ^ [_689943] : [tptpcol_15_50957(_689943), -(isa(_689943, c_tptpcol_15_50957))], (2250 ^ _625140) ^ [_690131] : [isa(_690131, c_tptpcol_16_50958), -(tptpcol_16_50958(_690131))], (2256 ^ _625140) ^ [_690319] : [tptpcol_16_50958(_690319), -(isa(_690319, c_tptpcol_16_50958))], (2262 ^ _625140) ^ [_690507] : [isa(_690507, c_tptpcol_6_71683), -(tptpcol_6_71683(_690507))], (2268 ^ _625140) ^ [_690695] : [tptpcol_6_71683(_690695), -(isa(_690695, c_tptpcol_6_71683))], (2274 ^ _625140) ^ [_690883] : [isa(_690883, c_tptpcol_11_72774), -(tptpcol_11_72774(_690883))], (2280 ^ _625140) ^ [_691071] : [tptpcol_11_72774(_691071), -(isa(_691071, c_tptpcol_11_72774))], (2286 ^ _625140) ^ [_691259] : [isa(_691259, c_tptpcol_12_72775), -(tptpcol_12_72775(_691259))], (2292 ^ _625140) ^ [_691447] : [tptpcol_12_72775(_691447), -(isa(_691447, c_tptpcol_12_72775))], (2298 ^ _625140) ^ [_691635] : [isa(_691635, c_tptpcol_5_110593), -(tptpcol_5_110593(_691635))], (2304 ^ _625140) ^ [_691823] : [tptpcol_5_110593(_691823), -(isa(_691823, c_tptpcol_5_110593))], (2310 ^ _625140) ^ [_692011] : [isa(_692011, c_tptpcol_16_25972), -(tptpcol_16_25972(_692011))], (2316 ^ _625140) ^ [_692199] : [tptpcol_16_25972(_692199), -(isa(_692199, c_tptpcol_16_25972))], (2322 ^ _625140) ^ [_692401, _692403] : [tptp_8_271(_692403, _692401), -(razor(_692401))], (2328 ^ _625140) ^ [_692609, _692611] : [tptp_8_271(_692611, _692609), -(tptpcol_5_24579(_692611))], (2334 ^ _625140) ^ [_692803] : [isa(_692803, c_tptpcol_4_90113), -(tptpcol_4_90113(_692803))], (2340 ^ _625140) ^ [_692991] : [tptpcol_4_90113(_692991), -(isa(_692991, c_tptpcol_4_90113))], (2346 ^ _625140) ^ [_693179] : [isa(_693179, c_tptpcol_10_93700), -(tptpcol_10_93700(_693179))], (2352 ^ _625140) ^ [_693367] : [tptpcol_10_93700(_693367), -(isa(_693367, c_tptpcol_10_93700))], (2358 ^ _625140) ^ [_693555] : [isa(_693555, c_tptpcol_9_93699), -(tptpcol_9_93699(_693555))], (2364 ^ _625140) ^ [_693743] : [tptpcol_9_93699(_693743), -(isa(_693743, c_tptpcol_9_93699))], (2370 ^ _625140) ^ [_693931] : [isa(_693931, c_aspatialthing), -(aspatialthing(_693931))], (2376 ^ _625140) ^ [_694119] : [aspatialthing(_694119), -(isa(_694119, c_aspatialthing))], (2382 ^ _625140) ^ [_694307] : [isa(_694307, c_tptpcol_7_117762), -(tptpcol_7_117762(_694307))], (2388 ^ _625140) ^ [_694495] : [tptpcol_7_117762(_694495), -(isa(_694495, c_tptpcol_7_117762))], (2394 ^ _625140) ^ [_694683] : [isa(_694683, c_tptpcol_8_117763), -(tptpcol_8_117763(_694683))], (2400 ^ _625140) ^ [_694871] : [tptpcol_8_117763(_694871), -(isa(_694871, c_tptpcol_8_117763))], (2406 ^ _625140) ^ [_695059] : [isa(_695059, c_tptpcol_7_18437), -(tptpcol_7_18437(_695059))], (2412 ^ _625140) ^ [_695247] : [tptpcol_7_18437(_695247), -(isa(_695247, c_tptpcol_7_18437))], (2418 ^ _625140) ^ [_695435] : [isa(_695435, c_tptpcol_6_18436), -(tptpcol_6_18436(_695435))], (2424 ^ _625140) ^ [_695623] : [tptpcol_6_18436(_695623), -(isa(_695623, c_tptpcol_6_18436))], (2430 ^ _625140) ^ [_695811] : [isa(_695811, c_tptpcol_8_93698), -(tptpcol_8_93698(_695811))], (2436 ^ _625140) ^ [_695999] : [tptpcol_8_93698(_695999), -(isa(_695999, c_tptpcol_8_93698))], (2442 ^ _625140) ^ [_696187] : [isa(_696187, c_tptpcol_11_109125), -(tptpcol_11_109125(_696187))], (2448 ^ _625140) ^ [_696375] : [tptpcol_11_109125(_696375), -(isa(_696375, c_tptpcol_11_109125))], (2454 ^ _625140) ^ [_696563] : [isa(_696563, c_tptpcol_6_108546), -(tptpcol_6_108546(_696563))], (2460 ^ _625140) ^ [_696751] : [tptpcol_6_108546(_696751), -(isa(_696751, c_tptpcol_6_108546))], (2466 ^ _625140) ^ [_696939] : [isa(_696939, c_tptpcol_6_20484), -(tptpcol_6_20484(_696939))], (2472 ^ _625140) ^ [_697127] : [tptpcol_6_20484(_697127), -(isa(_697127, c_tptpcol_6_20484))], (2478 ^ _625140) ^ [_697329, _697331] : [few(_697331, _697329), -(setorcollection(_697329))], (2484 ^ _625140) ^ [_697537, _697539] : [few(_697539, _697537), -(setorcollection(_697537))], (2490 ^ _625140) ^ [_697745, _697747] : [few(_697747, _697745), -(setorcollection(_697747))], (2496 ^ _625140) ^ [_697953, _697955] : [few(_697955, _697953), -(setorcollection(_697955))], (2502 ^ _625140) ^ [_698175, _698177, _698179] : [-(few(_698179, _698175)), few(_698179, _698177), subsetof(_698175, _698177)], (2512 ^ _625140) ^ [_698470] : [isa(_698470, c_tptpcol_15_130931), -(tptpcol_15_130931(_698470))], (2518 ^ _625140) ^ [_698658] : [tptpcol_15_130931(_698658), -(isa(_698658, c_tptpcol_15_130931))], (2524 ^ _625140) ^ [_698846] : [isa(_698846, c_tptpcol_16_130933), -(tptpcol_16_130933(_698846))], (2530 ^ _625140) ^ [_699034] : [tptpcol_16_130933(_699034), -(isa(_699034, c_tptpcol_16_130933))], (2536 ^ _625140) ^ [_699222] : [isa(_699222, c_tptpcol_7_92163), -(tptpcol_7_92163(_699222))], (2542 ^ _625140) ^ [_699410] : [tptpcol_7_92163(_699410), -(isa(_699410, c_tptpcol_7_92163))], (2548 ^ _625140) ^ [_699598] : [isa(_699598, c_tptpcol_15_130923), -(tptpcol_15_130923(_699598))], (2554 ^ _625140) ^ [_699786] : [tptpcol_15_130923(_699786), -(isa(_699786, c_tptpcol_15_130923))], (2560 ^ _625140) ^ [_699974] : [isa(_699974, c_tptpcol_16_130924), -(tptpcol_16_130924(_699974))], (2566 ^ _625140) ^ [_700162] : [tptpcol_16_130924(_700162), -(isa(_700162, c_tptpcol_16_130924))], (2572 ^ _625140) ^ [_700350] : [isa(_700350, c_intangibleindividual), -(intangibleindividual(_700350))], (2578 ^ _625140) ^ [_700538] : [intangibleindividual(_700538), -(isa(_700538, c_intangibleindividual))], (2584 ^ _625140) ^ [_700725, _700727] : [-(natfunction(f_citynamedfn(_700727, _700725), c_citynamedfn))], (2586 ^ _625140) ^ [_700822, _700824] : [-(natargument(f_citynamedfn(_700824, _700822), n_1, _700824))], (2588 ^ _625140) ^ [_700920, _700922] : [-(natargument(f_citynamedfn(_700922, _700920), n_2, _700920))], (2590 ^ _625140) ^ [_701018, _701020] : [-(city(f_citynamedfn(_701020, _701018)))], (2592 ^ _625140) ^ [_701115] : [isa(_701115, c_tptpcol_13_26920), -(tptpcol_13_26920(_701115))], (2598 ^ _625140) ^ [_701303] : [tptpcol_13_26920(_701303), -(isa(_701303, c_tptpcol_13_26920))], (2604 ^ _625140) ^ [_701491] : [isa(_701491, c_tptpcol_14_26921), -(tptpcol_14_26921(_701491))], (2610 ^ _625140) ^ [_701679] : [tptpcol_14_26921(_701679), -(isa(_701679, c_tptpcol_14_26921))], (2616 ^ _625140) ^ [_701867] : [isa(_701867, c_tptpcol_3_65538), -(tptpcol_3_65538(_701867))], (2622 ^ _625140) ^ [_702055] : [tptpcol_3_65538(_702055), -(isa(_702055, c_tptpcol_3_65538))], (2628 ^ _625140) ^ [_702243] : [isa(_702243, c_tptpcol_16_27189), -(tptpcol_16_27189(_702243))], (2634 ^ _625140) ^ [_702431] : [tptpcol_16_27189(_702431), -(isa(_702431, c_tptpcol_16_27189))], (2640 ^ _625140) ^ [_702633, _702635] : [tptp_9_51(_702635, _702633), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_702633))], (2646 ^ _625140) ^ [_702841, _702843] : [tptp_9_51(_702843, _702841), -(tptpcol_7_26628(_702843))], (2652 ^ _625140) ^ [_703035] : [isa(_703035, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_703035))], (2658 ^ _625140) ^ [_703223] : [reflexivebinarypredicate(_703223), -(isa(_703223, c_reflexivebinarypredicate))], (2664 ^ _625140) ^ [_703411] : [isa(_703411, c_tptpcol_7_21508), -(tptpcol_7_21508(_703411))], (2670 ^ _625140) ^ [_703599] : [tptpcol_7_21508(_703599), -(isa(_703599, c_tptpcol_7_21508))], (2676 ^ _625140) ^ [_703787] : [isa(_703787, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_703787))], (2682 ^ _625140) ^ [_703975] : [hpkb_subnationalagent(_703975), -(isa(_703975, c_hpkb_subnationalagent))], (2688 ^ _625140) ^ [_704163] : [isa(_704163, c_state_geopolitical), -(state_geopolitical(_704163))], (2694 ^ _625140) ^ [_704351] : [state_geopolitical(_704351), -(isa(_704351, c_state_geopolitical))], (2700 ^ _625140) ^ [_704566, _704568, _704570, _704572] : [-(natfunction(f_relationallexistsfn(_704572, _704570, _704568, _704566), c_relationallexistsfn))], (2702 ^ _625140) ^ [_704697, _704699, _704701, _704703] : [-(natargument(f_relationallexistsfn(_704703, _704701, _704699, _704697), n_1, _704703))], (2704 ^ _625140) ^ [_704829, _704831, _704833, _704835] : [-(natargument(f_relationallexistsfn(_704835, _704833, _704831, _704829), n_2, _704833))], (2706 ^ _625140) ^ [_704961, _704963, _704965, _704967] : [-(natargument(f_relationallexistsfn(_704967, _704965, _704963, _704961), n_3, _704963))], (2708 ^ _625140) ^ [_705093, _705095, _705097, _705099] : [-(natargument(f_relationallexistsfn(_705099, _705097, _705095, _705093), n_4, _705093))], (2710 ^ _625140) ^ [_705225, _705227, _705229, _705231] : [-(thing(f_relationallexistsfn(_705231, _705229, _705227, _705225)))], (2712 ^ _625140) ^ [_705342, _705344] : [arg2isa(_705344, _705342), -(collection(_705342))], (2718 ^ _625140) ^ [_705550, _705552] : [arg2isa(_705552, _705550), -(relation(_705552))], (2724 ^ _625140) ^ [_705772, _705774, _705776] : [-(arg2isa(_705776, _705772)), arg2isa(_705776, _705774), genls(_705774, _705772)], (2734 ^ _625140) ^ [_706095, _706097, _706099] : [-(arg2isa(_706099, _706095)), arg2isa(_706099, _706097), genls(_706097, _706095)], (2744 ^ _625140) ^ [_706390] : [isa(_706390, c_geolevel_1), -(geolevel_1(_706390))], (2750 ^ _625140) ^ [_706578] : [geolevel_1(_706578), -(isa(_706578, c_geolevel_1))], (2756 ^ _625140) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _625140) ^ [_706819] : [isa(_706819, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_706819))], (2764 ^ _625140) ^ [_707007] : [spatialthing_nonsituational(_707007), -(isa(_707007, c_spatialthing_nonsituational))], (2770 ^ _625140) ^ [_707195] : [isa(_707195, c_militaryperson), -(militaryperson(_707195))], (2776 ^ _625140) ^ [_707383] : [militaryperson(_707383), -(isa(_707383, c_militaryperson))], (2782 ^ _625140) ^ [_707571] : [isa(_707571, c_tptpcol_15_72793), -(tptpcol_15_72793(_707571))], (2788 ^ _625140) ^ [_707759] : [tptpcol_15_72793(_707759), -(isa(_707759, c_tptpcol_15_72793))], (2794 ^ _625140) ^ [_707947] : [isa(_707947, c_tptpcol_9_26885), -(tptpcol_9_26885(_707947))], (2800 ^ _625140) ^ [_708135] : [tptpcol_9_26885(_708135), -(isa(_708135, c_tptpcol_9_26885))], (2806 ^ _625140) ^ [_708323] : [isa(_708323, c_tptpcol_10_26886), -(tptpcol_10_26886(_708323))], (2812 ^ _625140) ^ [_708511] : [tptpcol_10_26886(_708511), -(isa(_708511, c_tptpcol_10_26886))], (2818 ^ _625140) ^ [_708713, _708715] : [tptptypes_8_823(_708715, _708713), -(firstordercollection(_708713))], (2824 ^ _625140) ^ [_708921, _708923] : [tptptypes_8_823(_708923, _708921), -(firstordercollection(_708923))], (2830 ^ _625140) ^ [_709115] : [isa(_709115, c_tptpcol_16_92269), -(tptpcol_16_92269(_709115))], (2836 ^ _625140) ^ [_709303] : [tptpcol_16_92269(_709303), -(isa(_709303, c_tptpcol_16_92269))], (2842 ^ _625140) ^ [_709491] : [isa(_709491, c_tptpcol_15_109185), -(tptpcol_15_109185(_709491))], (2848 ^ _625140) ^ [_709679] : [tptpcol_15_109185(_709679), -(isa(_709679, c_tptpcol_15_109185))], (2854 ^ _625140) ^ [_709867] : [isa(_709867, c_tptpcol_6_26627), -(tptpcol_6_26627(_709867))], (2860 ^ _625140) ^ [_710055] : [tptpcol_6_26627(_710055), -(isa(_710055, c_tptpcol_6_26627))], (2866 ^ _625140) ^ [_710243] : [isa(_710243, c_tptpcol_12_118116), -(tptpcol_12_118116(_710243))], (2872 ^ _625140) ^ [_710431] : [tptpcol_12_118116(_710431), -(isa(_710431, c_tptpcol_12_118116))], (2878 ^ _625140) ^ [_710619] : [isa(_710619, c_tptpcol_8_18438), -(tptpcol_8_18438(_710619))], (2884 ^ _625140) ^ [_710807] : [tptpcol_8_18438(_710807), -(isa(_710807, c_tptpcol_8_18438))], (2890 ^ _625140) ^ [_710995] : [isa(_710995, c_tptpcol_15_30970), -(tptpcol_15_30970(_710995))], (2896 ^ _625140) ^ [_711183] : [tptpcol_15_30970(_711183), -(isa(_711183, c_tptpcol_15_30970))], (2902 ^ _625140) ^ [_711371] : [isa(_711371, c_tptpcol_16_30972), -(tptpcol_16_30972(_711371))], (2908 ^ _625140) ^ [_711559] : [tptpcol_16_30972(_711559), -(isa(_711559, c_tptpcol_16_30972))], (2914 ^ _625140) ^ [_711747] : [isa(_711747, c_tptpcol_14_109181), -(tptpcol_14_109181(_711747))], (2920 ^ _625140) ^ [_711935] : [tptpcol_14_109181(_711935), -(isa(_711935, c_tptpcol_14_109181))], (2926 ^ _625140) ^ [_712123] : [isa(_712123, c_physicalorderingpredicate), -(physicalorderingpredicate(_712123))], (2932 ^ _625140) ^ [_712311] : [physicalorderingpredicate(_712311), -(isa(_712311, c_physicalorderingpredicate))], (2938 ^ _625140) ^ [_712499] : [isa(_712499, c_tptpcol_16_7738), -(tptpcol_16_7738(_712499))], (2944 ^ _625140) ^ [_712687] : [tptpcol_16_7738(_712687), -(isa(_712687, c_tptpcol_16_7738))], (2950 ^ _625140) ^ [_712889, _712891] : [tptp_8_968(_712891, _712889), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712889))], (2956 ^ _625140) ^ [_713097, _713099] : [tptp_8_968(_713099, _713097), -(tptpcol_7_7172(_713099))], (2962 ^ _625140) ^ [_713319, _713321, _713323] : [relationexistsall(_713323, _713321, _713319), -(collection(_713319))], (2968 ^ _625140) ^ [_713549, _713551, _713553] : [relationexistsall(_713553, _713551, _713549), -(collection(_713551))], (2974 ^ _625140) ^ [_713779, _713781, _713783] : [relationexistsall(_713783, _713781, _713779), -(binarypredicate(_713783))], (2980 ^ _625140) ^ [_713981] : [isa(_713981, c_tptpcol_7_26628), -(tptpcol_7_26628(_713981))], (2986 ^ _625140) ^ [_714169] : [tptpcol_7_26628(_714169), -(isa(_714169, c_tptpcol_7_26628))], (2992 ^ _625140) ^ [_714357] : [isa(_714357, c_tptpcol_8_26629), -(tptpcol_8_26629(_714357))], (2998 ^ _625140) ^ [_714545] : [tptpcol_8_26629(_714545), -(isa(_714545, c_tptpcol_8_26629))], (3004 ^ _625140) ^ [_714733] : [isa(_714733, c_tptpcol_3_114688), -(tptpcol_3_114688(_714733))], (3010 ^ _625140) ^ [_714921] : [tptpcol_3_114688(_714921), -(isa(_714921, c_tptpcol_3_114688))], (3016 ^ _625140) ^ [_715094] : [-(natfunction(f_contextofpcwfn(_715094), c_contextofpcwfn))], (3018 ^ _625140) ^ [_715174] : [-(natargument(f_contextofpcwfn(_715174), n_1, _715174))], (3020 ^ _625140) ^ [_715255] : [-(microtheory(f_contextofpcwfn(_715255)))], (3022 ^ _625140) ^ [_715363, _715365] : [arg1isa(_715365, _715363), -(collection(_715363))], (3028 ^ _625140) ^ [_715571, _715573] : [arg1isa(_715573, _715571), -(relation(_715573))], (3034 ^ _625140) ^ [_715793, _715795, _715797] : [-(arg1isa(_715797, _715793)), arg1isa(_715797, _715795), genls(_715795, _715793)], (3044 ^ _625140) ^ [_716116, _716118, _716120] : [-(arg1isa(_716120, _716116)), arg1isa(_716120, _716118), genls(_716118, _716116)], (3054 ^ _625140) ^ [_716425, _716427] : [objectfoundinlocation(_716427, _716425), -(spatialthing_nonsituational(_716425))], (3060 ^ _625140) ^ [_716633, _716635] : [objectfoundinlocation(_716635, _716633), -(spatialthing_localized(_716633))], (3066 ^ _625140) ^ [_716841, _716843] : [objectfoundinlocation(_716843, _716841), -(spatialthing_nonsituational(_716843))], (3072 ^ _625140) ^ [_717049, _717051] : [objectfoundinlocation(_717051, _717049), -(spatialthing_localized(_717051))], (3078 ^ _625140) ^ [_717271, _717273, _717275] : [-(objectfoundinlocation(_717275, _717271)), objectfoundinlocation(_717275, _717273), objectfoundinlocation(_717273, _717271)], (3088 ^ _625140) ^ [_717550] : [objectfoundinlocation(_717550, _717550)], (3090 ^ _625140) ^ [_717671, _717673, _717675] : [-(objectfoundinlocation(_717675, _717671)), objectfoundinlocation(_717675, _717673), geopoliticalsubdivision(_717671, _717673)], (3100 ^ _625140) ^ [_717994, _717996, _717998] : [-(objectfoundinlocation(_717998, _717994)), objectfoundinlocation(_717998, _717996), geographicallysubsumes(_717994, _717996)], (3110 ^ _625140) ^ [_718317, _718319, _718321] : [-(objectfoundinlocation(_718321, _718317)), objectfoundinlocation(_718321, _718319), subregions(_718317, _718319)], (3120 ^ _625140) ^ [_718612] : [isa(_718612, c_ship), -(ship(_718612))], (3126 ^ _625140) ^ [_718800] : [ship(_718800), -(isa(_718800, c_ship))], (3132 ^ _625140) ^ [_719001, _719003, _719005] : [-(natfunction(f_subcollectionofwithrelationtofn(_719005, _719003, _719001), c_subcollectionofwithrelationtofn))], (3134 ^ _625140) ^ [_719115, _719117, _719119] : [-(natargument(f_subcollectionofwithrelationtofn(_719119, _719117, _719115), n_1, _719119))], (3136 ^ _625140) ^ [_719230, _719232, _719234] : [-(natargument(f_subcollectionofwithrelationtofn(_719234, _719232, _719230), n_2, _719232))], (3138 ^ _625140) ^ [_719345, _719347, _719349] : [-(natargument(f_subcollectionofwithrelationtofn(_719349, _719347, _719345), n_3, _719345))], (3140 ^ _625140) ^ [_719460, _719462, _719464] : [-(collection(f_subcollectionofwithrelationtofn(_719464, _719462, _719460)))], (3142 ^ _625140) ^ [_719560] : [isa(_719560, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_719560))], (3148 ^ _625140) ^ [_719748] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_719748), -(isa(_719748, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _625140) ^ [_719936] : [isa(_719936, c_tptpcol_4_65539), -(tptpcol_4_65539(_719936))], (3160 ^ _625140) ^ [_720124] : [tptpcol_4_65539(_720124), -(isa(_720124, c_tptpcol_4_65539))], (3166 ^ _625140) ^ [_720312] : [isa(_720312, c_tptpcol_5_69635), -(tptpcol_5_69635(_720312))], (3172 ^ _625140) ^ [_720500] : [tptpcol_5_69635(_720500), -(isa(_720500, c_tptpcol_5_69635))], (3178 ^ _625140) ^ [_720688] : [isa(_720688, c_tptpcol_3_16386), -(tptpcol_3_16386(_720688))], (3184 ^ _625140) ^ [_720876] : [tptpcol_3_16386(_720876), -(isa(_720876, c_tptpcol_3_16386))], (3190 ^ _625140) ^ [_721078, _721080] : [no(_721080, _721078), -(setorcollection(_721078))], (3196 ^ _625140) ^ [_721286, _721288] : [no(_721288, _721286), -(setorcollection(_721288))], (3202 ^ _625140) ^ [_721494, _721496] : [no(_721496, _721494), -(no(_721494, _721496))], (3208 ^ _625140) ^ [_721718, _721720, _721722] : [-(no(_721722, _721718)), no(_721722, _721720), subsetof(_721718, _721720)], (3218 ^ _625140) ^ [_722041, _722043, _722045] : [-(no(_722041, _722043)), no(_722045, _722043), subsetof(_722041, _722045)], (3228 ^ _625140) ^ [_722364, _722366, _722368] : [-(no(_722364, _722366)), no(_722368, _722366), genls(_722364, _722368)], (3238 ^ _625140) ^ [_722687, _722689, _722691] : [-(no(_722691, _722687)), no(_722691, _722689), genls(_722687, _722689)], (3248 ^ _625140) ^ [_723010, _723012, _723014] : [-(no(_723010, _723012)), no(_723014, _723012), subsetof(_723010, _723014)], (3258 ^ _625140) ^ [_723333, _723335, _723337] : [-(no(_723337, _723333)), no(_723337, _723335), subsetof(_723333, _723335)], (3268 ^ _625140) ^ [_723628] : [isa(_723628, c_geographicalregion), -(geographicalregion(_723628))], (3274 ^ _625140) ^ [_723816] : [geographicalregion(_723816), -(isa(_723816, c_geographicalregion))], (3280 ^ _625140) ^ [_723989] : [-(natfunction(f_tptpquantityfn_21(_723989), c_tptpquantityfn_21))], (3282 ^ _625140) ^ [_724069] : [-(natargument(f_tptpquantityfn_21(_724069), n_1, _724069))], (3284 ^ _625140) ^ [_724150] : [-(tptpquantity(f_tptpquantityfn_21(_724150)))], (3286 ^ _625140) ^ [_724258, _724260] : [airporthasiatacode(_724260, _724258), -(stringoflengthfn3(_724258))], (3292 ^ _625140) ^ [_724466, _724468] : [airporthasiatacode(_724468, _724466), -(airport_physical(_724468))], (3298 ^ _625140) ^ [_724660] : [isa(_724660, c_airport_physical), -(airport_physical(_724660))], (3304 ^ _625140) ^ [_724848] : [airport_physical(_724848), -(isa(_724848, c_airport_physical))], (3310 ^ _625140) ^ [_725049, _725051, _725053] : [-(natfunction(f_instancewithrelationtofn(_725053, _725051, _725049), c_instancewithrelationtofn))], (3312 ^ _625140) ^ [_725163, _725165, _725167] : [-(natargument(f_instancewithrelationtofn(_725167, _725165, _725163), n_1, _725167))], (3314 ^ _625140) ^ [_725278, _725280, _725282] : [-(natargument(f_instancewithrelationtofn(_725282, _725280, _725278), n_2, _725280))], (3316 ^ _625140) ^ [_725393, _725395, _725397] : [-(natargument(f_instancewithrelationtofn(_725397, _725395, _725393), n_3, _725393))], (3318 ^ _625140) ^ [_725508, _725510, _725512] : [-(thing(f_instancewithrelationtofn(_725512, _725510, _725508)))], (3320 ^ _625140) ^ [_725608] : [isa(_725608, c_tptpcol_6_112641), -(tptpcol_6_112641(_725608))], (3326 ^ _625140) ^ [_725796] : [tptpcol_6_112641(_725796), -(isa(_725796, c_tptpcol_6_112641))], (3332 ^ _625140) ^ [_725984] : [isa(_725984, c_tptpcol_7_113665), -(tptpcol_7_113665(_725984))], (3338 ^ _625140) ^ [_726172] : [tptpcol_7_113665(_726172), -(isa(_726172, c_tptpcol_7_113665))], (3344 ^ _625140) ^ [_726360] : [isa(_726360, c_artifact), -(artifact(_726360))], (3350 ^ _625140) ^ [_726548] : [artifact(_726548), -(isa(_726548, c_artifact))], (3356 ^ _625140) ^ [_726736] : [isa(_726736, c_tptpcol_13_18664), -(tptpcol_13_18664(_726736))], (3362 ^ _625140) ^ [_726924] : [tptpcol_13_18664(_726924), -(isa(_726924, c_tptpcol_13_18664))], (3368 ^ _625140) ^ [_727112] : [isa(_727112, c_firstordercollection), -(firstordercollection(_727112))], (3374 ^ _625140) ^ [_727300] : [firstordercollection(_727300), -(isa(_727300, c_firstordercollection))], (3380 ^ _625140) ^ [_727473] : [-(natfunction(f_tptpquantityfn_14(_727473), c_tptpquantityfn_14))], (3382 ^ _625140) ^ [_727553] : [-(natargument(f_tptpquantityfn_14(_727553), n_1, _727553))], (3384 ^ _625140) ^ [_727634] : [-(tptpquantity(f_tptpquantityfn_14(_727634)))], (3386 ^ _625140) ^ [_727728] : [isa(_727728, c_supplies), -(supplies(_727728))], (3392 ^ _625140) ^ [_727916] : [supplies(_727916), -(isa(_727916, c_supplies))], (3398 ^ _625140) ^ [_728104] : [isa(_728104, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_728104))], (3404 ^ _625140) ^ [_728292] : [inanimateobject_nonnatural(_728292), -(isa(_728292, c_inanimateobject_nonnatural))], (3410 ^ _625140) ^ [_728480] : [isa(_728480, c_tptpcol_13_22071), -(tptpcol_13_22071(_728480))], (3416 ^ _625140) ^ [_728668] : [tptpcol_13_22071(_728668), -(isa(_728668, c_tptpcol_13_22071))], (3422 ^ _625140) ^ [_728856] : [isa(_728856, c_tptpcol_14_22072), -(tptpcol_14_22072(_728856))], (3428 ^ _625140) ^ [_729044] : [tptpcol_14_22072(_729044), -(isa(_729044, c_tptpcol_14_22072))], (3434 ^ _625140) ^ [_729232] : [isa(_729232, c_tptpcol_7_108547), -(tptpcol_7_108547(_729232))], (3440 ^ _625140) ^ [_729420] : [tptpcol_7_108547(_729420), -(isa(_729420, c_tptpcol_7_108547))], (3446 ^ _625140) ^ [_729608] : [isa(_729608, c_tptpcol_8_109059), -(tptpcol_8_109059(_729608))], (3452 ^ _625140) ^ [_729796] : [tptpcol_8_109059(_729796), -(isa(_729796, c_tptpcol_8_109059))], (3458 ^ _625140) ^ [_729984] : [isa(_729984, c_tptpcol_14_93774), -(tptpcol_14_93774(_729984))], (3464 ^ _625140) ^ [_730172] : [tptpcol_14_93774(_730172), -(isa(_730172, c_tptpcol_14_93774))], (3470 ^ _625140) ^ [_730360] : [isa(_730360, c_tptpcol_15_93775), -(tptpcol_15_93775(_730360))], (3476 ^ _625140) ^ [_730548] : [tptpcol_15_93775(_730548), -(isa(_730548, c_tptpcol_15_93775))], (3482 ^ _625140) ^ [_730736] : [isa(_730736, c_tptpcol_16_8886), -(tptpcol_16_8886(_730736))], (3488 ^ _625140) ^ [_730924] : [tptpcol_16_8886(_730924), -(isa(_730924, c_tptpcol_16_8886))], (3494 ^ _625140) ^ [_731126, _731128] : [orientation(_731128, _731126), -(orientationvector(_731126))], (3500 ^ _625140) ^ [_731334, _731336] : [orientation(_731336, _731334), -(spatialthing_localized(_731336))], (3506 ^ _625140) ^ [_731528] : [isa(_731528, c_orientationvector), -(orientationvector(_731528))], (3512 ^ _625140) ^ [_731716] : [orientationvector(_731716), -(isa(_731716, c_orientationvector))], (3518 ^ _625140) ^ [_731904] : [isa(_731904, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_731904))], (3524 ^ _625140) ^ [_732092] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_732092), -(isa(_732092, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _625140) ^ [_732294, _732296] : [tptptypes_9_824(_732296, _732294), -(firstordercollection(_732294))], (3536 ^ _625140) ^ [_732502, _732504] : [tptptypes_9_824(_732504, _732502), -(firstordercollection(_732504))], (3542 ^ _625140) ^ [_732710, _732712] : [tptptypes_7_396(_732712, _732710), -(firstordercollection(_732710))], (3548 ^ _625140) ^ [_732918, _732920] : [tptptypes_7_396(_732920, _732918), -(firstordercollection(_732920))], (3554 ^ _625140) ^ [_733112] : [isa(_733112, c_tptpcol_12_22055), -(tptpcol_12_22055(_733112))], (3560 ^ _625140) ^ [_733300] : [tptpcol_12_22055(_733300), -(isa(_733300, c_tptpcol_12_22055))], (3566 ^ _625140) ^ [_733488] : [isa(_733488, c_tptpcol_16_29490), -(tptpcol_16_29490(_733488))], (3572 ^ _625140) ^ [_733676] : [tptpcol_16_29490(_733676), -(isa(_733676, c_tptpcol_16_29490))], (3578 ^ _625140) ^ [_733878, _733880] : [tptp_9_720(_733880, _733878), -(tptpcol_5_28674(_733878))], (3584 ^ _625140) ^ [_734086, _734088] : [tptp_9_720(_734088, _734086), -(executionbyfiringsquad(_734088))], (3590 ^ _625140) ^ [_734280] : [isa(_734280, c_runningshorts), -(runningshorts(_734280))], (3596 ^ _625140) ^ [_734468] : [runningshorts(_734468), -(isa(_734468, c_runningshorts))], (3602 ^ _625140) ^ [_734656] : [isa(_734656, c_tptpcol_9_118019), -(tptpcol_9_118019(_734656))], (3608 ^ _625140) ^ [_734844] : [tptpcol_9_118019(_734844), -(isa(_734844, c_tptpcol_9_118019))], (3614 ^ _625140) ^ [_735032] : [isa(_735032, c_tptpcol_16_31868), -(tptpcol_16_31868(_735032))], (3620 ^ _625140) ^ [_735220] : [tptpcol_16_31868(_735220), -(isa(_735220, c_tptpcol_16_31868))], (3626 ^ _625140) ^ [_735408] : [isa(_735408, c_movement_translationevent), -(movement_translationevent(_735408))], (3632 ^ _625140) ^ [_735596] : [movement_translationevent(_735596), -(isa(_735596, c_movement_translationevent))], (3638 ^ _625140) ^ [_735798, _735800] : [directionoftranslation_throughout(_735800, _735798), -(unitvectorinterval(_735798))], (3644 ^ _625140) ^ [_736006, _736008] : [directionoftranslation_throughout(_736008, _736006), -(movement_translationevent(_736008))], (3650 ^ _625140) ^ [_736228, _736230, _736232] : [-(directionoftranslation_throughout(_736228, _736230)), directionoftranslation_throughout(_736232, _736230), subevents(_736232, _736228)], (3660 ^ _625140) ^ [_736523] : [isa(_736523, c_unitvectorinterval), -(unitvectorinterval(_736523))], (3666 ^ _625140) ^ [_736711] : [unitvectorinterval(_736711), -(isa(_736711, c_unitvectorinterval))], (3672 ^ _625140) ^ [_736899] : [isa(_736899, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_736899))], (3678 ^ _625140) ^ [_737087] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_737087), -(isa(_737087, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _625140) ^ [_737289, _737291] : [tptp_8_875(_737291, _737289), -(tptpcol_4_24578(_737289))], (3690 ^ _625140) ^ [_737497, _737499] : [tptp_8_875(_737499, _737497), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_737499))], (3696 ^ _625140) ^ [_737719, _737721, _737723] : [relationallexists(_737723, _737721, _737719), -(collection(_737719))], (3702 ^ _625140) ^ [_737949, _737951, _737953] : [relationallexists(_737953, _737951, _737949), -(collection(_737951))], (3708 ^ _625140) ^ [_738179, _738181, _738183] : [relationallexists(_738183, _738181, _738179), -(binarypredicate(_738183))], (3714 ^ _625140) ^ [_738381] : [isa(_738381, c_tptpcol_16_10258), -(tptpcol_16_10258(_738381))], (3720 ^ _625140) ^ [_738569] : [tptpcol_16_10258(_738569), -(isa(_738569, c_tptpcol_16_10258))], (3726 ^ _625140) ^ [_738757] : [isa(_738757, c_pushingababycarriage), -(pushingababycarriage(_738757))], (3732 ^ _625140) ^ [_738945] : [pushingababycarriage(_738945), -(isa(_738945, c_pushingababycarriage))], (3738 ^ _625140) ^ [_739133] : [isa(_739133, c_aspatialinformationstore), -(aspatialinformationstore(_739133))], (3744 ^ _625140) ^ [_739321] : [aspatialinformationstore(_739321), -(isa(_739321, c_aspatialinformationstore))], (3750 ^ _625140) ^ [_739509] : [isa(_739509, c_collection), -(collection(_739509))], (3756 ^ _625140) ^ [_739697] : [collection(_739697), -(isa(_739697, c_collection))], (3762 ^ _625140) ^ [_739885] : [isa(_739885, c_fixedordercollection), -(fixedordercollection(_739885))], (3768 ^ _625140) ^ [_740073] : [fixedordercollection(_740073), -(isa(_740073, c_fixedordercollection))], (3774 ^ _625140) ^ [_740261] : [isa(_740261, c_tptpcol_8_92164), -(tptpcol_8_92164(_740261))], (3780 ^ _625140) ^ [_740449] : [tptpcol_8_92164(_740449), -(isa(_740449, c_tptpcol_8_92164))], (3786 ^ _625140) ^ [_740637] : [isa(_740637, c_tptpcol_9_92165), -(tptpcol_9_92165(_740637))], (3792 ^ _625140) ^ [_740825] : [tptpcol_9_92165(_740825), -(isa(_740825, c_tptpcol_9_92165))], (3798 ^ _625140) ^ [_741013] : [isa(_741013, c_tptpcol_1_1), -(tptpcol_1_1(_741013))], (3804 ^ _625140) ^ [_741201] : [tptpcol_1_1(_741201), -(isa(_741201, c_tptpcol_1_1))], (3810 ^ _625140) ^ [_741389] : [isa(_741389, c_tptpcol_2_2), -(tptpcol_2_2(_741389))], (3816 ^ _625140) ^ [_741577] : [tptpcol_2_2(_741577), -(isa(_741577, c_tptpcol_2_2))], (3822 ^ _625140) ^ [_741779, _741781] : [tptptypes_7_691(_741781, _741779), -(firstordercollection(_741779))], (3828 ^ _625140) ^ [_741987, _741989] : [tptptypes_7_691(_741989, _741987), -(firstordercollection(_741989))], (3834 ^ _625140) ^ [_742181] : [isa(_742181, c_tptpcol_11_26887), -(tptpcol_11_26887(_742181))], (3840 ^ _625140) ^ [_742369] : [tptpcol_11_26887(_742369), -(isa(_742369, c_tptpcol_11_26887))], (3846 ^ _625140) ^ [_742557] : [isa(_742557, c_tptpcol_12_26919), -(tptpcol_12_26919(_742557))], (3852 ^ _625140) ^ [_742745] : [tptpcol_12_26919(_742745), -(isa(_742745, c_tptpcol_12_26919))], (3858 ^ _625140) ^ [_742947, _742949] : [tptptypes_6_818(_742949, _742947), -(firstordercollection(_742947))], (3864 ^ _625140) ^ [_743155, _743157] : [tptptypes_6_818(_743157, _743155), -(firstordercollection(_743157))], (3870 ^ _625140) ^ [_743363, _743365] : [tptptypes_7_819(_743365, _743363), -(firstordercollection(_743363))], (3876 ^ _625140) ^ [_743571, _743573] : [tptptypes_7_819(_743573, _743571), -(firstordercollection(_743573))], (3882 ^ _625140) ^ [_743765] : [isa(_743765, c_correctivelensprescription), -(correctivelensprescription(_743765))], (3888 ^ _625140) ^ [_743953] : [correctivelensprescription(_743953), -(isa(_743953, c_correctivelensprescription))], (3894 ^ _625140) ^ [_744155, _744157] : [products(_744157, _744155), -(artifact(_744155))], (3900 ^ _625140) ^ [_744363, _744365] : [products(_744365, _744363), -(creationordestructionevent(_744365))], (3906 ^ _625140) ^ [_744557] : [isa(_744557, c_issuingaprescription), -(issuingaprescription(_744557))], (3912 ^ _625140) ^ [_744745] : [issuingaprescription(_744745), -(isa(_744745, c_issuingaprescription))], (3918 ^ _625140) ^ [_744946, _744948, _744950] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_744950, _744948, _744946), c_subcollectionofwithrelationtotypefn))], (3920 ^ _625140) ^ [_745060, _745062, _745064] : [-(natargument(f_subcollectionofwithrelationtotypefn(_745064, _745062, _745060), n_1, _745064))], (3922 ^ _625140) ^ [_745175, _745177, _745179] : [-(natargument(f_subcollectionofwithrelationtotypefn(_745179, _745177, _745175), n_2, _745177))], (3924 ^ _625140) ^ [_745290, _745292, _745294] : [-(natargument(f_subcollectionofwithrelationtotypefn(_745294, _745292, _745290), n_3, _745290))], (3926 ^ _625140) ^ [_745405, _745407, _745409] : [-(collection(f_subcollectionofwithrelationtotypefn(_745409, _745407, _745405)))], (3928 ^ _625140) ^ [_745505] : [isa(_745505, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_745505))], (3934 ^ _625140) ^ [_745693] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_745693), -(isa(_745693, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _625140) ^ [_745881] : [isa(_745881, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_745881))], (3946 ^ _625140) ^ [_746069] : [mathematicalorcomputationalthing(_746069), -(isa(_746069, c_mathematicalorcomputationalthing))], (3952 ^ _625140) ^ [_746257] : [isa(_746257, c_tptpcol_10_118020), -(tptpcol_10_118020(_746257))], (3958 ^ _625140) ^ [_746445] : [tptpcol_10_118020(_746445), -(isa(_746445, c_tptpcol_10_118020))], (3964 ^ _625140) ^ [_746633] : [isa(_746633, c_tptpcol_11_118084), -(tptpcol_11_118084(_746633))], (3970 ^ _625140) ^ [_746821] : [tptpcol_11_118084(_746821), -(isa(_746821, c_tptpcol_11_118084))], (3976 ^ _625140) ^ [_747009] : [isa(_747009, c_terroristgroup), -(terroristgroup(_747009))], (3982 ^ _625140) ^ [_747197] : [terroristgroup(_747197), -(isa(_747197, c_terroristgroup))], (3988 ^ _625140) ^ [_747399, _747401] : [hasmembers(_747401, _747399), -(agent_generic(_747399))], (3994 ^ _625140) ^ [_747607, _747609] : [hasmembers(_747609, _747607), -(organization(_747609))], (4000 ^ _625140) ^ [_747801] : [isa(_747801, c_terrorist), -(terrorist(_747801))], (4006 ^ _625140) ^ [_747989] : [terrorist(_747989), -(isa(_747989, c_terrorist))], (4012 ^ _625140) ^ [_748190, _748192, _748194] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_748194, _748192, _748190), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _625140) ^ [_748304, _748306, _748308] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_748308, _748306, _748304), n_1, _748308))], (4016 ^ _625140) ^ [_748419, _748421, _748423] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_748423, _748421, _748419), n_2, _748421))], (4018 ^ _625140) ^ [_748534, _748536, _748538] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_748538, _748536, _748534), n_3, _748534))], (4020 ^ _625140) ^ [_748649, _748651, _748653] : [-(collection(f_subcollectionofwithrelationfromtypefn(_748653, _748651, _748649)))], (4022 ^ _625140) ^ [_748749] : [isa(_748749, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_748749))], (4028 ^ _625140) ^ [_748937] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_748937), -(isa(_748937, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _625140) ^ [_749139, _749141] : [prettystring(_749141, _749139), -(controlcharacterfreestring(_749139))], (4040 ^ _625140) ^ [_749347, _749349] : [prettystring(_749349, _749347), -(thing(_749349))], (4046 ^ _625140) ^ [_749541] : [isa(_749541, c_tptpcol_0_0), -(tptpcol_0_0(_749541))], (4052 ^ _625140) ^ [_749729] : [tptpcol_0_0(_749729), -(isa(_749729, c_tptpcol_0_0))], (4058 ^ _625140) ^ [_749917] : [isa(_749917, c_geolevel_3), -(geolevel_3(_749917))], (4064 ^ _625140) ^ [_750105] : [geolevel_3(_750105), -(isa(_750105, c_geolevel_3))], (4070 ^ _625140) ^ [_750293] : [isa(_750293, c_tptpcol_4_24578), -(tptpcol_4_24578(_750293))], (4076 ^ _625140) ^ [_750481] : [tptpcol_4_24578(_750481), -(isa(_750481, c_tptpcol_4_24578))], (4082 ^ _625140) ^ [_750669] : [isa(_750669, c_tptpcol_5_24579), -(tptpcol_5_24579(_750669))], (4088 ^ _625140) ^ [_750857] : [tptpcol_5_24579(_750857), -(isa(_750857, c_tptpcol_5_24579))], (4094 ^ _625140) ^ [_751045] : [isa(_751045, c_tptpcol_5_106498), -(tptpcol_5_106498(_751045))], (4100 ^ _625140) ^ [_751233] : [tptpcol_5_106498(_751233), -(isa(_751233, c_tptpcol_5_106498))], (4106 ^ _625140) ^ [_751421] : [isa(_751421, c_tptpcol_12_109157), -(tptpcol_12_109157(_751421))], (4112 ^ _625140) ^ [_751609] : [tptpcol_12_109157(_751609), -(isa(_751609, c_tptpcol_12_109157))], (4118 ^ _625140) ^ [_751797] : [isa(_751797, c_tptpcol_13_109173), -(tptpcol_13_109173(_751797))], (4124 ^ _625140) ^ [_751985] : [tptpcol_13_109173(_751985), -(isa(_751985, c_tptpcol_13_109173))], (4130 ^ _625140) ^ [_752173] : [isa(_752173, c_mathematicalthing), -(mathematicalthing(_752173))], (4136 ^ _625140) ^ [_752361] : [mathematicalthing(_752361), -(isa(_752361, c_mathematicalthing))], (4142 ^ _625140) ^ [_752549] : [isa(_752549, c_setorcollection), -(setorcollection(_752549))], (4148 ^ _625140) ^ [_752737] : [setorcollection(_752737), -(isa(_752737, c_setorcollection))], (4154 ^ _625140) ^ [_752925] : [isa(_752925, c_tptpcol_11_18631), -(tptpcol_11_18631(_752925))], (4160 ^ _625140) ^ [_753113] : [tptpcol_11_18631(_753113), -(isa(_753113, c_tptpcol_11_18631))], (4166 ^ _625140) ^ [_753301] : [isa(_753301, c_tptpcol_12_18663), -(tptpcol_12_18663(_753301))], (4172 ^ _625140) ^ [_753489] : [tptpcol_12_18663(_753489), -(isa(_753489, c_tptpcol_12_18663))], (4178 ^ _625140) ^ [_753691, _753693] : [tptptypes_8_400(_753693, _753691), -(firstordercollection(_753691))], (4184 ^ _625140) ^ [_753899, _753901] : [tptptypes_8_400(_753901, _753899), -(firstordercollection(_753901))], (4190 ^ _625140) ^ [_754107, _754109] : [tptptypes_9_401(_754109, _754107), -(firstordercollection(_754107))], (4196 ^ _625140) ^ [_754315, _754317] : [tptptypes_9_401(_754317, _754315), -(firstordercollection(_754317))], (4202 ^ _625140) ^ [_754494] : [-(natfunction(f_tptpquantityfn_13(_754494), c_tptpquantityfn_13))], (4204 ^ _625140) ^ [_754574] : [-(natargument(f_tptpquantityfn_13(_754574), n_1, _754574))], (4206 ^ _625140) ^ [_754655] : [-(tptpquantity(f_tptpquantityfn_13(_754655)))], (4208 ^ _625140) ^ [_754763, _754765] : [borderson(_754765, _754763), -(geographicalregion(_754763))], (4214 ^ _625140) ^ [_754971, _754973] : [borderson(_754973, _754971), -(geographicalregion(_754973))], (4220 ^ _625140) ^ [_755179, _755181] : [borderson(_755181, _755179), -(borderson(_755179, _755181))], (4226 ^ _625140) ^ [_755359] : [borderson(_755359, _755359)], (4228 ^ _625140) ^ [_755452] : [isa(_755452, c_tptpcol_14_92264), -(tptpcol_14_92264(_755452))], (4234 ^ _625140) ^ [_755640] : [tptpcol_14_92264(_755640), -(isa(_755640, c_tptpcol_14_92264))], (4240 ^ _625140) ^ [_755828] : [isa(_755828, c_tptpcol_15_92268), -(tptpcol_15_92268(_755828))], (4246 ^ _625140) ^ [_756016] : [tptpcol_15_92268(_756016), -(isa(_756016, c_tptpcol_15_92268))], (4252 ^ _625140) ^ [_756204] : [isa(_756204, c_tptpcol_6_116738), -(tptpcol_6_116738(_756204))], (4258 ^ _625140) ^ [_756392] : [tptpcol_6_116738(_756392), -(isa(_756392, c_tptpcol_6_116738))], (4264 ^ _625140) ^ [_756594, _756596] : [tptptypes_5_387(_756596, _756594), -(firstordercollection(_756594))], (4270 ^ _625140) ^ [_756802, _756804] : [tptptypes_5_387(_756804, _756802), -(firstordercollection(_756804))], (4276 ^ _625140) ^ [_757010, _757012] : [tptptypes_6_388(_757012, _757010), -(firstordercollection(_757010))], (4282 ^ _625140) ^ [_757218, _757220] : [tptptypes_6_388(_757220, _757218), -(firstordercollection(_757220))], (4288 ^ _625140) ^ [_757412] : [isa(_757412, c_shavingrazor_manual), -(shavingrazor_manual(_757412))], (4294 ^ _625140) ^ [_757600] : [shavingrazor_manual(_757600), -(isa(_757600, c_shavingrazor_manual))], (4300 ^ _625140) ^ [_757788] : [isa(_757788, c_tptpcol_9_109060), -(tptpcol_9_109060(_757788))], (4306 ^ _625140) ^ [_757976] : [tptpcol_9_109060(_757976), -(isa(_757976, c_tptpcol_9_109060))], (4312 ^ _625140) ^ [_758164] : [isa(_758164, c_tptpcol_10_109061), -(tptpcol_10_109061(_758164))], (4318 ^ _625140) ^ [_758352] : [tptpcol_10_109061(_758352), -(isa(_758352, c_tptpcol_10_109061))], (4324 ^ _625140) ^ [_758540] : [isa(_758540, c_executionbyfiringsquad), -(executionbyfiringsquad(_758540))], (4330 ^ _625140) ^ [_758728] : [executionbyfiringsquad(_758728), -(isa(_758728, c_executionbyfiringsquad))], (4336 ^ _625140) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _625140) ^ [_758969] : [isa(_758969, c_navypersonnel), -(navypersonnel(_758969))], (4344 ^ _625140) ^ [_759157] : [navypersonnel(_759157), -(isa(_759157, c_navypersonnel))], (4350 ^ _625140) ^ [_759345] : [isa(_759345, c_tptpcol_12_92262), -(tptpcol_12_92262(_759345))], (4356 ^ _625140) ^ [_759533] : [tptpcol_12_92262(_759533), -(isa(_759533, c_tptpcol_12_92262))], (4362 ^ _625140) ^ [_759721] : [isa(_759721, c_thing), -(thing(_759721))], (4368 ^ _625140) ^ [_759909] : [thing(_759909), -(isa(_759909, c_thing))], (4374 ^ _625140) ^ [_760097] : [isa(_760097, c_computerdataartifact), -(computerdataartifact(_760097))], (4380 ^ _625140) ^ [_760285] : [computerdataartifact(_760285), -(isa(_760285, c_computerdataartifact))], (4386 ^ _625140) ^ [_760473] : [isa(_760473, c_applicationcontext), -(applicationcontext(_760473))], (4392 ^ _625140) ^ [_760661] : [applicationcontext(_760661), -(isa(_760661, c_applicationcontext))], (4398 ^ _625140) ^ [_760863, _760865] : [inregion(_760865, _760863), -(spatialthing_nonsituational(_760863))], (4404 ^ _625140) ^ [_761071, _761073] : [inregion(_761073, _761071), -(spatialthing_nonsituational(_761073))], (4410 ^ _625140) ^ [_761293, _761295, _761297] : [-(inregion(_761297, _761293)), inregion(_761297, _761295), inregion(_761295, _761293)], (4420 ^ _625140) ^ [_761588] : [spatialthing_nonsituational(_761588), -(inregion(_761588, _761588))], (4426 ^ _625140) ^ [_761761] : [-(natfunction(f_tptpquantityfn_1(_761761), c_tptpquantityfn_1))], (4428 ^ _625140) ^ [_761841] : [-(natargument(f_tptpquantityfn_1(_761841), n_1, _761841))], (4430 ^ _625140) ^ [_761922] : [-(tptpquantity(f_tptpquantityfn_1(_761922)))], (4432 ^ _625140) ^ [_762016] : [isa(_762016, c_furpelt), -(furpelt(_762016))], (4438 ^ _625140) ^ [_762204] : [furpelt(_762204), -(isa(_762204, c_furpelt))], (4444 ^ _625140) ^ [_762406, _762408] : [tptpofobject(_762408, _762406), -(tptpquantity(_762406))], (4450 ^ _625140) ^ [_762614, _762616] : [tptpofobject(_762616, _762614), -(partiallytangible(_762616))], (4456 ^ _625140) ^ [_762836, _762838, _762840] : [relationallinstance(_762840, _762838, _762836), -(thing(_762836))], (4462 ^ _625140) ^ [_763066, _763068, _763070] : [relationallinstance(_763070, _763068, _763066), -(collection(_763068))], (4468 ^ _625140) ^ [_763296, _763298, _763300] : [relationallinstance(_763300, _763298, _763296), -(binarypredicate(_763300))], (4474 ^ _625140) ^ [_763498] : [isa(_763498, c_tptpcol_13_93766), -(tptpcol_13_93766(_763498))], (4480 ^ _625140) ^ [_763686] : [tptpcol_13_93766(_763686), -(isa(_763686, c_tptpcol_13_93766))], (4486 ^ _625140) ^ [_763874] : [isa(_763874, c_tptpcol_9_40196), -(tptpcol_9_40196(_763874))], (4492 ^ _625140) ^ [_764062] : [tptpcol_9_40196(_764062), -(isa(_764062, c_tptpcol_9_40196))], (4498 ^ _625140) ^ [_764250] : [isa(_764250, c_tptpcol_10_40324), -(tptpcol_10_40324(_764250))], (4504 ^ _625140) ^ [_764438] : [tptpcol_10_40324(_764438), -(isa(_764438, c_tptpcol_10_40324))], (4510 ^ _625140) ^ [_764626] : [isa(_764626, c_tptpcol_7_72707), -(tptpcol_7_72707(_764626))], (4516 ^ _625140) ^ [_764814] : [tptpcol_7_72707(_764814), -(isa(_764814, c_tptpcol_7_72707))], (4522 ^ _625140) ^ [_765002] : [isa(_765002, c_tptpcol_8_72708), -(tptpcol_8_72708(_765002))], (4528 ^ _625140) ^ [_765190] : [tptpcol_8_72708(_765190), -(isa(_765190, c_tptpcol_8_72708))], (4534 ^ _625140) ^ [_765378] : [isa(_765378, c_tptpcol_11_93764), -(tptpcol_11_93764(_765378))], (4540 ^ _625140) ^ [_765566] : [tptpcol_11_93764(_765566), -(isa(_765566, c_tptpcol_11_93764))], (4546 ^ _625140) ^ [_765754] : [isa(_765754, c_tptpcol_12_93765), -(tptpcol_12_93765(_765754))], (4552 ^ _625140) ^ [_765942] : [tptpcol_12_93765(_765942), -(isa(_765942, c_tptpcol_12_93765))], (4558 ^ _625140) ^ [_766130] : [isa(_766130, c_tptpcol_4_114689), -(tptpcol_4_114689(_766130))], (4564 ^ _625140) ^ [_766318] : [tptpcol_4_114689(_766318), -(isa(_766318, c_tptpcol_4_114689))], (4570 ^ _625140) ^ [_766506] : [isa(_766506, c_tptpcol_5_114690), -(tptpcol_5_114690(_766506))], (4576 ^ _625140) ^ [_766694] : [tptpcol_5_114690(_766694), -(isa(_766694, c_tptpcol_5_114690))], (4582 ^ _625140) ^ [_766882] : [isa(_766882, c_tptpcol_3_98305), -(tptpcol_3_98305(_766882))], (4588 ^ _625140) ^ [_767070] : [tptpcol_3_98305(_767070), -(isa(_767070, c_tptpcol_3_98305))], (4594 ^ _625140) ^ [_767258] : [isa(_767258, c_tptpcol_4_106497), -(tptpcol_4_106497(_767258))], (4600 ^ _625140) ^ [_767446] : [tptpcol_4_106497(_767446), -(isa(_767446, c_tptpcol_4_106497))], (4606 ^ _625140) ^ [_767661, _767663, _767665, _767667] : [-(natfunction(f_relationexistsallfn(_767667, _767665, _767663, _767661), c_relationexistsallfn))], (4608 ^ _625140) ^ [_767792, _767794, _767796, _767798] : [-(natargument(f_relationexistsallfn(_767798, _767796, _767794, _767792), n_1, _767798))], (4610 ^ _625140) ^ [_767924, _767926, _767928, _767930] : [-(natargument(f_relationexistsallfn(_767930, _767928, _767926, _767924), n_2, _767928))], (4612 ^ _625140) ^ [_768056, _768058, _768060, _768062] : [-(natargument(f_relationexistsallfn(_768062, _768060, _768058, _768056), n_3, _768058))], (4614 ^ _625140) ^ [_768188, _768190, _768192, _768194] : [-(natargument(f_relationexistsallfn(_768194, _768192, _768190, _768188), n_4, _768188))], (4616 ^ _625140) ^ [_768320, _768322, _768324, _768326] : [-(thing(f_relationexistsallfn(_768326, _768324, _768322, _768320)))], (4618 ^ _625140) ^ [_768437, _768439] : [resultisaarg(_768439, _768437), -(positiveinteger(_768437))], (4624 ^ _625140) ^ [_768645, _768647] : [resultisaarg(_768647, _768645), -(function_denotational(_768647))], (4630 ^ _625140) ^ [_768853, _768855] : [tptptypes_7_389(_768855, _768853), -(firstordercollection(_768853))], (4636 ^ _625140) ^ [_769061, _769063] : [tptptypes_7_389(_769063, _769061), -(firstordercollection(_769063))], (4642 ^ _625140) ^ [_769269, _769271] : [tptptypes_8_390(_769271, _769269), -(firstordercollection(_769269))], (4648 ^ _625140) ^ [_769477, _769479] : [tptptypes_8_390(_769479, _769477), -(firstordercollection(_769479))], (4654 ^ _625140) ^ [_769685, _769687] : [tptptypes_8_692(_769687, _769685), -(firstordercollection(_769685))], (4660 ^ _625140) ^ [_769893, _769895] : [tptptypes_8_692(_769895, _769893), -(firstordercollection(_769895))], (4666 ^ _625140) ^ [_770101, _770103] : [tptptypes_9_693(_770103, _770101), -(firstordercollection(_770101))], (4672 ^ _625140) ^ [_770309, _770311] : [tptptypes_9_693(_770311, _770309), -(firstordercollection(_770311))], (4678 ^ _625140) ^ [_770503] : [isa(_770503, c_tptpcol_11_40388), -(tptpcol_11_40388(_770503))], (4684 ^ _625140) ^ [_770691] : [tptpcol_11_40388(_770691), -(isa(_770691, c_tptpcol_11_40388))], (4690 ^ _625140) ^ [_770879] : [isa(_770879, c_marriagelicensedocument), -(marriagelicensedocument(_770879))], (4696 ^ _625140) ^ [_771067] : [marriagelicensedocument(_771067), -(isa(_771067, c_marriagelicensedocument))], (4702 ^ _625140) ^ [_771255] : [isa(_771255, c_tptpcol_1_65536), -(tptpcol_1_65536(_771255))], (4708 ^ _625140) ^ [_771443] : [tptpcol_1_65536(_771443), -(isa(_771443, c_tptpcol_1_65536))], (4714 ^ _625140) ^ [_771631] : [isa(_771631, c_tptpcol_2_98304), -(tptpcol_2_98304(_771631))], (4720 ^ _625140) ^ [_771819] : [tptpcol_2_98304(_771819), -(isa(_771819, c_tptpcol_2_98304))], (4726 ^ _625140) ^ [_772007] : [isa(_772007, c_tptpcol_10_92166), -(tptpcol_10_92166(_772007))], (4732 ^ _625140) ^ [_772195] : [tptpcol_10_92166(_772195), -(isa(_772195, c_tptpcol_10_92166))], (4738 ^ _625140) ^ [_772383] : [isa(_772383, c_tptpcol_11_92230), -(tptpcol_11_92230(_772383))], (4744 ^ _625140) ^ [_772571] : [tptpcol_11_92230(_772571), -(isa(_772571, c_tptpcol_11_92230))], (4750 ^ _625140) ^ [_772759] : [isa(_772759, c_orderingpredicate), -(orderingpredicate(_772759))], (4756 ^ _625140) ^ [_772947] : [orderingpredicate(_772947), -(isa(_772947, c_orderingpredicate))], (4762 ^ _625140) ^ [_773135] : [isa(_773135, c_tptpcol_9_18439), -(tptpcol_9_18439(_773135))], (4768 ^ _625140) ^ [_773323] : [tptpcol_9_18439(_773323), -(isa(_773323, c_tptpcol_9_18439))], (4774 ^ _625140) ^ [_773511] : [isa(_773511, c_tptpcol_10_18567), -(tptpcol_10_18567(_773511))], (4780 ^ _625140) ^ [_773699] : [tptpcol_10_18567(_773699), -(isa(_773699, c_tptpcol_10_18567))], (4786 ^ _625140) ^ [_773887] : [isa(_773887, c_tptpcol_2_65537), -(tptpcol_2_65537(_773887))], (4792 ^ _625140) ^ [_774075] : [tptpcol_2_65537(_774075), -(isa(_774075, c_tptpcol_2_65537))], (4798 ^ _625140) ^ [_774263] : [isa(_774263, c_tptpcol_3_81921), -(tptpcol_3_81921(_774263))], (4804 ^ _625140) ^ [_774451] : [tptpcol_3_81921(_774451), -(isa(_774451, c_tptpcol_3_81921))], (4810 ^ _625140) ^ [_774639] : [isa(_774639, c_artsupplies), -(artsupplies(_774639))], (4816 ^ _625140) ^ [_774827] : [artsupplies(_774827), -(isa(_774827, c_artsupplies))], (4822 ^ _625140) ^ [_775015] : [isa(_775015, c_enduringthing_localized), -(enduringthing_localized(_775015))], (4828 ^ _625140) ^ [_775203] : [enduringthing_localized(_775203), -(isa(_775203, c_enduringthing_localized))], (4834 ^ _625140) ^ [_775391] : [isa(_775391, c_location_underspecified), -(location_underspecified(_775391))], (4840 ^ _625140) ^ [_775579] : [location_underspecified(_775579), -(isa(_775579, c_location_underspecified))], (4846 ^ _625140) ^ [_775767] : [isa(_775767, c_trajector_underspecified), -(trajector_underspecified(_775767))], (4852 ^ _625140) ^ [_775955] : [trajector_underspecified(_775955), -(isa(_775955, c_trajector_underspecified))], (4858 ^ _625140) ^ [_776143] : [isa(_776143, c_individual), -(individual(_776143))], (4864 ^ _625140) ^ [_776331] : [individual(_776331), -(isa(_776331, c_individual))], (4870 ^ _625140) ^ [_776519] : [isa(_776519, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_776519))], (4876 ^ _625140) ^ [_776707] : [partiallyintangibleindividual(_776707), -(isa(_776707, c_partiallyintangibleindividual))], (4882 ^ _625140) ^ [_776895] : [isa(_776895, c_tptpcol_10_22022), -(tptpcol_10_22022(_776895))], (4888 ^ _625140) ^ [_777083] : [tptpcol_10_22022(_777083), -(isa(_777083, c_tptpcol_10_22022))], (4894 ^ _625140) ^ [_777271] : [isa(_777271, c_tptpcol_11_22023), -(tptpcol_11_22023(_777271))], (4900 ^ _625140) ^ [_777459] : [tptpcol_11_22023(_777459), -(isa(_777459, c_tptpcol_11_22023))], (4906 ^ _625140) ^ [_777647] : [isa(_777647, c_tptpcol_5_20483), -(tptpcol_5_20483(_777647))], (4912 ^ _625140) ^ [_777835] : [tptpcol_5_20483(_777835), -(isa(_777835, c_tptpcol_5_20483))], (4918 ^ _625140) ^ [_778023] : [isa(_778023, c_tptpcol_13_72791), -(tptpcol_13_72791(_778023))], (4924 ^ _625140) ^ [_778211] : [tptpcol_13_72791(_778211), -(isa(_778211, c_tptpcol_13_72791))], (4930 ^ _625140) ^ [_778399] : [isa(_778399, c_tptpcol_14_72792), -(tptpcol_14_72792(_778399))], (4936 ^ _625140) ^ [_778587] : [tptpcol_14_72792(_778587), -(isa(_778587, c_tptpcol_14_72792))], (4942 ^ _625140) ^ [_778775] : [isa(_778775, c_ridgeline_topographical), -(ridgeline_topographical(_778775))], (4948 ^ _625140) ^ [_778963] : [ridgeline_topographical(_778963), -(isa(_778963, c_ridgeline_topographical))], (4954 ^ _625140) ^ [_779151] : [isa(_779151, c_tptpcol_4_16387), -(tptpcol_4_16387(_779151))], (4960 ^ _625140) ^ [_779339] : [tptpcol_4_16387(_779339), -(isa(_779339, c_tptpcol_4_16387))], (4966 ^ _625140) ^ [_779527] : [isa(_779527, c_tptpcol_5_16388), -(tptpcol_5_16388(_779527))], (4972 ^ _625140) ^ [_779715] : [tptpcol_5_16388(_779715), -(isa(_779715, c_tptpcol_5_16388))], (4978 ^ _625140) ^ [_779903] : [isa(_779903, c_tptpcol_8_22020), -(tptpcol_8_22020(_779903))], (4984 ^ _625140) ^ [_780091] : [tptpcol_8_22020(_780091), -(isa(_780091, c_tptpcol_8_22020))], (4990 ^ _625140) ^ [_780279] : [isa(_780279, c_tptpcol_9_22021), -(tptpcol_9_22021(_780279))], (4996 ^ _625140) ^ [_780467] : [tptpcol_9_22021(_780467), -(isa(_780467, c_tptpcol_9_22021))], (5002 ^ _625140) ^ [_780655] : [isa(_780655, c_transitivebinarypredicate), -(transitivebinarypredicate(_780655))], (5008 ^ _625140) ^ [_780843] : [transitivebinarypredicate(_780843), -(isa(_780843, c_transitivebinarypredicate))], (5014 ^ _625140) ^ [_781045, _781047] : [geographicalsubregions(_781047, _781045), -(geographicalregion(_781045))], (5020 ^ _625140) ^ [_781253, _781255] : [geographicalsubregions(_781255, _781253), -(geographicalregion(_781255))], (5026 ^ _625140) ^ [_781475, _781477, _781479] : [-(geographicalsubregions(_781479, _781475)), geographicalsubregions(_781479, _781477), geographicalsubregions(_781477, _781475)], (5036 ^ _625140) ^ [_781770] : [geographicalregion(_781770), -(geographicalsubregions(_781770, _781770))], (5042 ^ _625140) ^ [_781958] : [isa(_781958, c_tptpcol_12_40420), -(tptpcol_12_40420(_781958))], (5048 ^ _625140) ^ [_782146] : [tptpcol_12_40420(_782146), -(isa(_782146, c_tptpcol_12_40420))], (5054 ^ _625140) ^ [_782334] : [isa(_782334, c_tptpcol_13_40421), -(tptpcol_13_40421(_782334))], (5060 ^ _625140) ^ [_782522] : [tptpcol_13_40421(_782522), -(isa(_782522, c_tptpcol_13_40421))], (5066 ^ _625140) ^ [_782710] : [isa(_782710, c_tptpcol_6_92162), -(tptpcol_6_92162(_782710))], (5072 ^ _625140) ^ [_782898] : [tptpcol_6_92162(_782898), -(isa(_782898, c_tptpcol_6_92162))], (5078 ^ _625140) ^ [_783086] : [isa(_783086, c_tptpcol_7_93186), -(tptpcol_7_93186(_783086))], (5084 ^ _625140) ^ [_783274] : [tptpcol_7_93186(_783274), -(isa(_783274, c_tptpcol_7_93186))], (5090 ^ _625140) ^ [_783476, _783478] : [most(_783478, _783476), -(setorcollection(_783476))], (5096 ^ _625140) ^ [_783684, _783686] : [most(_783686, _783684), -(setorcollection(_783684))], (5102 ^ _625140) ^ [_783892, _783894] : [most(_783894, _783892), -(setorcollection(_783894))], (5108 ^ _625140) ^ [_784100, _784102] : [most(_784102, _784100), -(setorcollection(_784102))], (5114 ^ _625140) ^ [_784294] : [setorcollection(_784294), -(most(_784294, _784294))], (5120 ^ _625140) ^ [_784482] : [setorcollection(_784482), -(most(_784482, _784482))], (5126 ^ _625140) ^ [_784698, _784700, _784702] : [-(most(_784702, _784698)), most(_784702, _784700), subsetof(_784700, _784698)], (5136 ^ _625140) ^ [_785021, _785023, _785025] : [-(most(_785025, _785021)), most(_785025, _785023), subsetof(_785023, _785021)], (5146 ^ _625140) ^ [_785330, _785332] : [subsetof(_785332, _785330), -(setorcollection(_785330))], (5152 ^ _625140) ^ [_785538, _785540] : [subsetof(_785540, _785538), -(setorcollection(_785540))], (5158 ^ _625140) ^ [_785760, _785762, _785764] : [-(subsetof(_785764, _785760)), subsetof(_785764, _785762), subsetof(_785762, _785760)], (5168 ^ _625140) ^ [_786055] : [setorcollection(_786055), -(subsetof(_786055, _786055))], (5174 ^ _625140) ^ [_786271, _786273, _786275] : [-(subsetof(_786271, _786273)), subsetof(_786275, _786273), subsetof(_786271, _786275)], (5184 ^ _625140) ^ [_786594, _786596, _786598] : [-(subsetof(_786598, _786594)), subsetof(_786598, _786596), subsetof(_786596, _786594)], (5194 ^ _625140) ^ [_786917, _786919, _786921] : [-(subsetof(_786921, _786917)), subsetof(_786921, _786919), subsetof(_786919, _786917)], (5204 ^ _625140) ^ [_787226, _787228] : [genlpreds(_787228, _787226), -(predicate(_787226))], (5210 ^ _625140) ^ [_787434, _787436] : [genlpreds(_787436, _787434), -(predicate(_787434))], (5216 ^ _625140) ^ [_787642, _787644] : [genlpreds(_787644, _787642), -(predicate(_787644))], (5222 ^ _625140) ^ [_787850, _787852] : [genlpreds(_787852, _787850), -(predicate(_787852))], (5228 ^ _625140) ^ [_788072, _788074, _788076] : [-(genlpreds(_788076, _788072)), genlpreds(_788076, _788074), genlpreds(_788074, _788072)], (5238 ^ _625140) ^ [_788367] : [predicate(_788367), -(genlpreds(_788367, _788367))], (5244 ^ _625140) ^ [_788555] : [predicate(_788555), -(genlpreds(_788555, _788555))], (5250 ^ _625140) ^ [_788757, _788759] : [genlinverse(_788759, _788757), -(binarypredicate(_788757))], (5256 ^ _625140) ^ [_788965, _788967] : [genlinverse(_788967, _788965), -(binarypredicate(_788967))], (5262 ^ _625140) ^ [_789187, _789189, _789191] : [-(genlinverse(_789187, _789189)), genlinverse(_789191, _789189), genlpreds(_789187, _789191)], (5272 ^ _625140) ^ [_789510, _789512, _789514] : [-(genlinverse(_789514, _789510)), genlinverse(_789514, _789512), genlpreds(_789512, _789510)], (5282 ^ _625140) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _625140) ^ [_789858] : [isa(_789858, c_microtheory), -(microtheory(_789858))], (5290 ^ _625140) ^ [_790046] : [microtheory(_790046), -(isa(_790046, c_microtheory))], (5296 ^ _625140) ^ [_790219] : [-(natfunction(f_urlfn(_790219), c_urlfn))], (5298 ^ _625140) ^ [_790299] : [-(natargument(f_urlfn(_790299), n_1, _790299))], (5300 ^ _625140) ^ [_790380] : [-(uniformresourcelocator(f_urlfn(_790380)))], (5302 ^ _625140) ^ [_790459] : [-(natfunction(f_urlreferentfn(_790459), c_urlreferentfn))], (5304 ^ _625140) ^ [_790539] : [-(natargument(f_urlreferentfn(_790539), n_1, _790539))], (5306 ^ _625140) ^ [_790620] : [-(computerdataartifact(f_urlreferentfn(_790620)))], (5308 ^ _625140) ^ [_790713, _790715] : [-(natfunction(f_contentmtofcdafromeventfn(_790715, _790713), c_contentmtofcdafromeventfn))], (5310 ^ _625140) ^ [_790810, _790812] : [-(natargument(f_contentmtofcdafromeventfn(_790812, _790810), n_1, _790812))], (5312 ^ _625140) ^ [_790908, _790910] : [-(natargument(f_contentmtofcdafromeventfn(_790910, _790908), n_2, _790908))], (5314 ^ _625140) ^ [_791006, _791008] : [-(microtheory(f_contentmtofcdafromeventfn(_791008, _791006)))], (5316 ^ _625140) ^ [_791117, _791119] : [isa(_791119, _791117), -(collection(_791117))], (5322 ^ _625140) ^ [_791325, _791327] : [isa(_791327, _791325), -(collection(_791325))], (5328 ^ _625140) ^ [_791533, _791535] : [isa(_791535, _791533), -(thing(_791535))], (5334 ^ _625140) ^ [_791741, _791743] : [isa(_791743, _791741), -(thing(_791743))], (5340 ^ _625140) ^ [_791963, _791965, _791967] : [-(isa(_791967, _791963)), isa(_791967, _791965), genls(_791965, _791963)], (5350 ^ _625140) ^ [_792258] : [isa(_792258, c_inanimateobject), -(inanimateobject(_792258))], (5356 ^ _625140) ^ [_792446] : [inanimateobject(_792446), -(isa(_792446, c_inanimateobject))], (5362 ^ _625140) ^ [_792634] : [isa(_792634, c_tptpcol_9_72709), -(tptpcol_9_72709(_792634))], (5368 ^ _625140) ^ [_792822] : [tptpcol_9_72709(_792822), -(isa(_792822, c_tptpcol_9_72709))], (5374 ^ _625140) ^ [_793010] : [isa(_793010, c_tptpcol_10_72710), -(tptpcol_10_72710(_793010))], (5380 ^ _625140) ^ [_793198] : [tptpcol_10_72710(_793198), -(isa(_793198, c_tptpcol_10_72710))], (5386 ^ _625140) ^ [_793386] : [isa(_793386, c_tptpcol_14_40429), -(tptpcol_14_40429(_793386))], (5392 ^ _625140) ^ [_793574] : [tptpcol_14_40429(_793574), -(isa(_793574, c_tptpcol_14_40429))], (5398 ^ _625140) ^ [_793762] : [isa(_793762, c_tptpcol_15_40430), -(tptpcol_15_40430(_793762))], (5404 ^ _625140) ^ [_793950] : [tptpcol_15_40430(_793950), -(isa(_793950, c_tptpcol_15_40430))], (5410 ^ _625140) ^ [_794152, _794154] : [genls(_794154, _794152), -(collection(_794152))], (5416 ^ _625140) ^ [_794360, _794362] : [genls(_794362, _794360), -(collection(_794360))], (5422 ^ _625140) ^ [_794568, _794570] : [genls(_794570, _794568), -(collection(_794570))], (5428 ^ _625140) ^ [_794776, _794778] : [genls(_794778, _794776), -(collection(_794778))], (5434 ^ _625140) ^ [_794998, _795000, _795002] : [-(genls(_795002, _794998)), genls(_795002, _795000), genls(_795000, _794998)], (5444 ^ _625140) ^ [_795293] : [collection(_795293), -(genls(_795293, _795293))], (5450 ^ _625140) ^ [_795481] : [collection(_795481), -(genls(_795481, _795481))], (5456 ^ _625140) ^ [_795697, _795699, _795701] : [-(genls(_795697, _795699)), genls(_795701, _795699), genls(_795697, _795701)], (5466 ^ _625140) ^ [_796020, _796022, _796024] : [-(genls(_796024, _796020)), genls(_796024, _796022), genls(_796022, _796020)], (5476 ^ _625140) ^ [_796315] : [isa(_796315, c_partiallytangible), -(partiallytangible(_796315))], (5482 ^ _625140) ^ [_796503] : [partiallytangible(_796503), -(isa(_796503, c_partiallytangible))], (5488 ^ _625140) ^ [_796691] : [isa(_796691, c_intangible), -(intangible(_796691))], (5494 ^ _625140) ^ [_796879] : [intangible(_796879), -(isa(_796879, c_intangible))], (5500 ^ _625140) ^ [_797081, _797083] : [disjointwith(_797083, _797081), -(collection(_797081))], (5506 ^ _625140) ^ [_797289, _797291] : [disjointwith(_797291, _797289), -(collection(_797291))], (5512 ^ _625140) ^ [_797497, _797499] : [disjointwith(_797499, _797497), -(disjointwith(_797497, _797499))], (5518 ^ _625140) ^ [_797721, _797723, _797725] : [-(disjointwith(_797725, _797721)), disjointwith(_797725, _797723), genls(_797721, _797723)], (5528 ^ _625140) ^ [_798044, _798046, _798048] : [-(disjointwith(_798044, _798046)), disjointwith(_798048, _798046), genls(_798044, _798048)], (5538 ^ _625140) ^ [_798353, _798355] : [-(mtvisible(_798353)), mtvisible(_798355), genlmt(_798355, _798353)], (5548 ^ _625140) ^ [_798648, _798650] : [genlmt(_798650, _798648), -(microtheory(_798648))], (5554 ^ _625140) ^ [_798856, _798858] : [genlmt(_798858, _798856), -(microtheory(_798856))], (5560 ^ _625140) ^ [_799064, _799066] : [genlmt(_799066, _799064), -(microtheory(_799066))], (5566 ^ _625140) ^ [_799272, _799274] : [genlmt(_799274, _799272), -(microtheory(_799274))], (5572 ^ _625140) ^ [_799494, _799496, _799498] : [-(genlmt(_799498, _799494)), genlmt(_799498, _799496), genlmt(_799496, _799494)], (5582 ^ _625140) ^ [_799789] : [microtheory(_799789), -(genlmt(_799789, _799789))], (5594 ^ _625140) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _625140) ^ [_799977] : [microtheory(_799977), -(genlmt(_799977, _799977))]], input).
% 1.30/2.42 ncf('1',plain,[tptp_9_720(c_tptpexecutionbyfiringsquad_90, f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490)), tptpcol_16_29490(f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))],start(5598 ^ 0,bind([[_814720], [f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490)]]))).
% 1.30/2.43 ncf('1.1',plain,[-(tptp_9_720(c_tptpexecutionbyfiringsquad_90, f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90)],extension(644 ^ 1,bind([[_643470], [c_tptpexecutionbyfiringsquad_90]]))).
% 1.30/2.43 ncf('1.1.1',plain,[-(mtvisible(c_cyclistsmt)), mtvisible(c_tptp_member3633_mt), genlmt(c_tptp_member3633_mt, c_cyclistsmt)],extension(5538 ^ 2,bind([[_798353, _798355], [c_cyclistsmt, c_tptp_member3633_mt]]))).
% 1.30/2.43 ncf('1.1.1.1',plain,[-(mtvisible(c_tptp_member3633_mt))],extension(5596 ^ 3,bind([[_814667], [_405125]]))).
% 1.30/2.43 ncf('1.1.1.2',plain,[-(genlmt(c_tptp_member3633_mt, c_cyclistsmt)), genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt), genlmt(c_tptp_spindleheadmt, c_cyclistsmt)],extension(5572 ^ 3,bind([[_799494, _799496, _799498], [c_cyclistsmt, c_tptp_spindleheadmt, c_tptp_member3633_mt]]))).
% 1.30/2.43 ncf('1.1.1.2.1',plain,[-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))],extension(958 ^ 4)).
% 1.30/2.43 ncf('1.1.1.2.2',plain,[-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))],extension(996 ^ 4)).
% 1.30/2.43 ncf('1.1.2',plain,[-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))],extension(364 ^ 2)).
% 1.30/2.43 ncf('1.2',plain,[-(tptpcol_16_29490(f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), isa(f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490), c_tptpcol_16_29490)],extension(3566 ^ 1,bind([[_733488], [f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490)]]))).
% 1.30/2.43 ncf('1.2.1',plain,[-(isa(f_relationallexistsfn(c_tptpexecutionbyfiringsquad_90, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490), c_tptpcol_16_29490)), isa(c_tptpexecutionbyfiringsquad_90, c_executionbyfiringsquad), relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490)],extension(1158 ^ 2,bind([[_658126, _658128, _658130, _658132], [c_tptpcol_16_29490, c_tptp_9_720, c_executionbyfiringsquad, c_tptpexecutionbyfiringsquad_90]]))).
% 1.30/2.43 ncf('1.2.1.1',plain,[-(isa(c_tptpexecutionbyfiringsquad_90, c_executionbyfiringsquad)), executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90)],extension(4330 ^ 3,bind([[_758728], [c_tptpexecutionbyfiringsquad_90]]))).
% 1.30/2.43 ncf('1.2.1.1.1',plain,[-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))],extension(364 ^ 4)).
% 1.30/2.43 ncf('1.2.1.2',plain,[-(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490)), mtvisible(c_cyclistsmt)],extension(654 ^ 3)).
% 1.30/2.43 ncf('1.2.1.2.1',plain,[-(mtvisible(c_cyclistsmt)), mtvisible(c_tptp_member3633_mt), genlmt(c_tptp_member3633_mt, c_cyclistsmt)],extension(5538 ^ 4,bind([[_798353, _798355], [c_cyclistsmt, c_tptp_member3633_mt]]))).
% 1.30/2.43 ncf('1.2.1.2.1.1',plain,[-(mtvisible(c_tptp_member3633_mt))],extension(5596 ^ 5,bind([[_814667], [_426522]]))).
% 1.30/2.43 ncf('1.2.1.2.1.2',plain,[-(genlmt(c_tptp_member3633_mt, c_cyclistsmt)), genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt), genlmt(c_tptp_spindleheadmt, c_cyclistsmt)],extension(5572 ^ 5,bind([[_799494, _799496, _799498], [c_cyclistsmt, c_tptp_spindleheadmt, c_tptp_member3633_mt]]))).
% 1.30/2.43 ncf('1.2.1.2.1.2.1',plain,[-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))],extension(958 ^ 6)).
% 1.30/2.43 ncf('1.2.1.2.1.2.2',plain,[-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))],extension(996 ^ 6)).
% 1.30/2.43 %-----------------------------------------------------
% 1.30/2.43 End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------