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

% Computer : n002.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:33:31 EDT 2023

% Result   : Theorem 0.44s 1.38s
% Output   : Proof 0.44s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR037+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n002.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Fri May 19 00:44:34 EDT 2023
% 0.13/0.33  % CPUTime  : 
% 0.44/1.38  
% 0.44/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.44/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.44/1.38  %-----------------------------------------------------
% 0.44/1.38  ncf(matrix, plain, [(5596 ^ _597613) ^ [] : [-(mtvisible(c_tptpgeo_member7_mt))], (5598 ^ _597613) ^ [] : [geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l4_x45_y72)], (2 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _597613) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _597613) ^ [_597818] : [intangible(_597818), partiallytangible(_597818)], (12 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _597613) ^ [_598056] : [tptpcol_15_40430(_598056), -(tptpcol_14_40429(_598056))], (20 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _597613) ^ [_598295] : [tptpcol_10_72710(_598295), -(tptpcol_9_72709(_598295))], (28 ^ _597613) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _597613) ^ [_598534] : [inanimateobject(_598534), -(partiallytangible(_598534))], (36 ^ _597613) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _597613) ^ [_598801, _598803, _598805] : [-(genlpreds(_598805, _598801)), genlinverse(_598805, _598803), genlinverse(_598803, _598801)], (48 ^ _597613) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _597613) ^ [_599163, _599165] : [subsetof(_599165, _599163), -(most(_599165, _599163))], (56 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _597613) ^ [_599412] : [tptpcol_7_93186(_599412), -(tptpcol_6_92162(_599412))], (64 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _597613) ^ [_599651] : [tptpcol_13_40421(_599651), -(tptpcol_12_40420(_599651))], (72 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _597613) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _597613) ^ [_600115] : [tptpcol_9_22021(_600115), -(tptpcol_8_22020(_600115))], (90 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _597613) ^ [_600354] : [tptpcol_5_16388(_600354), -(tptpcol_4_16387(_600354))], (98 ^ _597613) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _597613) ^ [_600712] : [tptpcol_14_72792(_600712), -(tptpcol_13_72791(_600712))], (112 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _597613) ^ [_600951] : [tptpcol_5_20483(_600951), -(tptpcol_4_16387(_600951))], (120 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _597613) ^ [_601190] : [tptpcol_11_22023(_601190), -(tptpcol_10_22022(_601190))], (128 ^ _597613) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _597613) ^ [_601429] : [partiallyintangibleindividual(_601429), -(individual(_601429))], (136 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _597613) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _597613) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _597613) ^ [_601774] : [trajector_underspecified(_601774), -(location_underspecified(_601774))], (148 ^ _597613) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _597613) ^ [_602013] : [partiallytangible(_602013), -(enduringthing_localized(_602013))], (156 ^ _597613) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _597613) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _597613) ^ [_602371] : [tptpcol_3_81921(_602371), -(tptpcol_2_65537(_602371))], (170 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _597613) ^ [_602610] : [tptpcol_10_18567(_602610), -(tptpcol_9_18439(_602610))], (178 ^ _597613) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _597613) ^ [_602849] : [orderingpredicate(_602849), -(transitivebinarypredicate(_602849))], (186 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _597613) ^ [_603088] : [tptpcol_11_92230(_603088), -(tptpcol_10_92166(_603088))], (194 ^ _597613) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _597613) ^ [_603327] : [tptpcol_2_98304(_603327), -(tptpcol_1_65536(_603327))], (202 ^ _597613) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _597613) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _597613) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _597613) ^ [_603791] : [tptpcol_12_40420(_603791), -(tptpcol_11_40388(_603791))], (220 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _597613) ^ [_604044, _604046] : [tptptypes_9_693(_604046, _604044), -(tptptypes_8_692(_604046, _604044))], (228 ^ _597613) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _597613) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _597613) ^ [_604413, _604415] : [tptptypes_8_390(_604415, _604413), -(tptptypes_7_389(_604415, _604413))], (240 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _597613) ^ [_604757, _604759, _604761, _604763] : [-(isa(f_relationexistsallfn(_604763, _604759, _604757, _604761), _604757)), isa(_604763, _604761), relationexistsall(_604759, _604757, _604761)], (254 ^ _597613) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _597613) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _597613) ^ [_605286] : [tptpcol_4_106497(_605286), -(tptpcol_3_98305(_605286))], (268 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _597613) ^ [_605525] : [tptpcol_5_114690(_605525), -(tptpcol_4_114689(_605525))], (276 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _597613) ^ [_605764] : [tptpcol_12_93765(_605764), -(tptpcol_11_93764(_605764))], (284 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _597613) ^ [_606003] : [tptpcol_8_72708(_606003), -(tptpcol_7_72707(_606003))], (292 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _597613) ^ [_606242] : [tptpcol_10_40324(_606242), -(tptpcol_9_40196(_606242))], (300 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _597613) ^ [_606481] : [tptpcol_13_93766(_606481), -(tptpcol_12_93765(_606481))], (308 ^ _597613) ^ [_606667] : [-(tptpofobject(_606667, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_606667)], (318 ^ _597613) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _597613) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _597613) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _597613) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _597613) ^ [_607331] : [location_underspecified(_607331), -(thing(_607331))], (342 ^ _597613) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _597613) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _597613) ^ [_607676] : [tptpcol_12_92262(_607676), -(tptpcol_11_92230(_607676))], (354 ^ _597613) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _597613) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _597613) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _597613) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _597613) ^ [_608193] : [tptpcol_10_109061(_608193), -(tptpcol_9_109060(_608193))], (374 ^ _597613) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _597613) ^ [_608499, _608501] : [tptptypes_6_388(_608501, _608499), -(tptptypes_5_387(_608501, _608499))], (384 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _597613) ^ [_608748] : [tptpcol_6_116738(_608748), -(tptpcol_5_114690(_608748))], (392 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _597613) ^ [_608987] : [tptpcol_15_92268(_608987), -(tptpcol_14_92264(_608987))], (400 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _597613) ^ [_609292] : [-(tptpofobject(_609292, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_609292)], (416 ^ _597613) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _597613) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _597613) ^ [_609745, _609747] : [tptptypes_9_401(_609747, _609745), -(tptptypes_8_400(_609745, _609747))], (430 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _597613) ^ [_609994] : [tptpcol_12_18663(_609994), -(tptpcol_11_18631(_609994))], (438 ^ _597613) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _597613) ^ [_610233] : [setorcollection(_610233), -(mathematicalthing(_610233))], (446 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _597613) ^ [_610472] : [tptpcol_13_109173(_610472), -(tptpcol_12_109157(_610472))], (454 ^ _597613) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _597613) ^ [_610764] : [tptpcol_5_106498(_610764), -(tptpcol_4_106497(_610764))], (464 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _597613) ^ [_611003] : [tptpcol_5_24579(_611003), -(tptpcol_4_24578(_611003))], (472 ^ _597613) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _597613) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _597613) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _597613) ^ [_611533] : [tptpcol_1_65536(_611533), -(tptpcol_0_0(_611533))], (494 ^ _597613) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _597613) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _597613) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _597613) ^ [_611958, _611960] : [geographicalsubregions(_611960, _611958), -(inregion(_611958, _611960))], (510 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _597613) ^ [_612207] : [tptpcol_11_118084(_612207), -(tptpcol_10_118020(_612207))], (518 ^ _597613) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _597613) ^ [_612446] : [mathematicalorcomputationalthing(_612446), -(intangible(_612446))], (526 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _597613) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _597613) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _597613) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _597613) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _597613) ^ [_612964, _612966] : [tptptypes_7_819(_612966, _612964), -(tptptypes_6_818(_612966, _612964))], (544 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _597613) ^ [_613266] : [tptpcol_12_26919(_613266), -(tptpcol_11_26887(_613266))], (554 ^ _597613) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _597613) ^ [_613519, _613521] : [tptptypes_8_692(_613521, _613519), -(tptptypes_7_691(_613519, _613521))], (562 ^ _597613) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _597613) ^ [_613768] : [tptpcol_2_2(_613768), -(tptpcol_1_1(_613768))], (570 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _597613) ^ [_614060] : [tptpcol_9_92165(_614060), -(tptpcol_8_92164(_614060))], (580 ^ _597613) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _597613) ^ [_614299] : [fixedordercollection(_614299), -(collection(_614299))], (588 ^ _597613) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _597613) ^ [_614538] : [tptpcol_1_1(_614538), tptpcol_1_65536(_614538)], (596 ^ _597613) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _597613) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _597613) ^ [_614829] : [microtheory(_614829), -(aspatialinformationstore(_614829))], (606 ^ _597613) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _597613) ^ [_615134] : [-(tptp_8_875(_615134, f_relationallexistsfn(_615134, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_615134, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _597613) ^ [] : [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 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _597613) ^ [_615585] : [tptpcol_10_118020(_615585), -(tptpcol_9_118019(_615585))], (636 ^ _597613) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _597613) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _597613) ^ [_615943] : [-(tptp_9_720(_615943, f_relationallexistsfn(_615943, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_615943)], (654 ^ _597613) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _597613) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _597613) ^ [_616392] : [individual(_616392), setorcollection(_616392)], (668 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _597613) ^ [_616630] : [tptpcol_12_22055(_616630), -(tptpcol_11_22023(_616630))], (676 ^ _597613) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _597613) ^ [_616869] : [applicationcontext(_616869), -(microtheory(_616869))], (684 ^ _597613) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _597613) ^ [_617175, _617177] : [tptptypes_8_400(_617177, _617175), -(tptptypes_7_396(_617177, _617175))], (694 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _597613) ^ [_617424] : [tptpcol_11_18631(_617424), -(tptpcol_10_18567(_617424))], (702 ^ _597613) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _597613) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _597613) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _597613) ^ [_617835] : [mathematicalthing(_617835), -(mathematicalorcomputationalthing(_617835))], (718 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _597613) ^ [_618127] : [tptpcol_15_93775(_618127), -(tptpcol_14_93774(_618127))], (728 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _597613) ^ [_618366] : [tptpcol_8_109059(_618366), -(tptpcol_7_108547(_618366))], (736 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _597613) ^ [_618605] : [tptpcol_14_40429(_618605), -(tptpcol_13_40421(_618605))], (744 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _597613) ^ [_618963] : [tptpcol_14_22072(_618963), -(tptpcol_13_22071(_618963))], (758 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _597613) ^ [_619202] : [tptpcol_14_93774(_619202), -(tptpcol_13_93766(_619202))], (766 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _597613) ^ [_619441] : [tptpcol_10_22022(_619441), -(tptpcol_9_22021(_619441))], (774 ^ _597613) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _597613) ^ [_619680] : [inanimateobject_nonnatural(_619680), -(inanimateobject(_619680))], (782 ^ _597613) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _597613) ^ [_620025] : [tptpcol_9_72709(_620025), -(tptpcol_8_72708(_620025))], (794 ^ _597613) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _597613) ^ [_620264] : [-(tptpofobject(_620264, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_620264)], (806 ^ _597613) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _597613) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _597613) ^ [_620703] : [firstordercollection(_620703), -(fixedordercollection(_620703))], (820 ^ _597613) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _597613) ^ [_621114] : [tptpcol_13_18664(_621114), -(tptpcol_12_18663(_621114))], (836 ^ _597613) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _597613) ^ [_621353] : [artifact(_621353), -(inanimateobject_nonnatural(_621353))], (844 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _597613) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _597613) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _597613) ^ [_621751] : [tptpcol_7_113665(_621751), -(tptpcol_6_112641(_621751))], (858 ^ _597613) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _597613) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _597613) ^ [_622109] : [geographicalregion(_622109), -(partiallytangible(_622109))], (872 ^ _597613) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _597613) ^ [_622362, _622364] : [disjointwith(_622364, _622362), -(no(_622364, _622362))], (880 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _597613) ^ [_622611] : [tptpcol_4_24578(_622611), -(tptpcol_3_16386(_622611))], (888 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _597613) ^ [_622850] : [tptpcol_5_69635(_622850), -(tptpcol_4_65539(_622850))], (896 ^ _597613) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _597613) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _597613) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _597613) ^ [_623209, _623211] : [genls(_623211, _623209), -(collection(_623211))], (908 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _597613) ^ [_623456] : [tptpcol_13_22071(_623456), -(tptpcol_12_22055(_623456))], (916 ^ _597613) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _597613) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _597613) ^ [_623748] : [tptpcol_3_98305(_623748), -(tptpcol_2_98304(_623748))], (926 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _597613) ^ [_623987] : [tptpcol_4_114689(_623987), -(tptpcol_3_114688(_623987))], (934 ^ _597613) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _597613) ^ [_624226] : [artsupplies(_624226), -(supplies(_624226))], (942 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _597613) ^ [_624465] : [tptpcol_8_26629(_624465), -(tptpcol_7_26628(_624465))], (950 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _597613) ^ [_624704] : [tptpcol_9_109060(_624704), -(tptpcol_8_109059(_624704))], (958 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _597613) ^ [_624943] : [isa(_624943, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_624943, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _624943))], (966 ^ _597613) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _597613) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _597613) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _597613) ^ [_625527] : [tptpcol_14_109181(_625527), -(tptpcol_13_109173(_625527))], (988 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _597613) ^ [_625766] : [tptpcol_16_30972(_625766), -(tptpcol_15_30970(_625766))], (996 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _597613) ^ [_626058] : [tptpcol_9_18439(_626058), -(tptpcol_8_18438(_626058))], (1006 ^ _597613) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _597613) ^ [_626350] : [tptpcol_12_118116(_626350), -(tptpcol_11_118084(_626350))], (1016 ^ _597613) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _597613) ^ [_626642] : [tptpcol_7_26628(_626642), -(tptpcol_6_26627(_626642))], (1026 ^ _597613) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _597613) ^ [_626895, _626897] : [most(_626897, _626895), -(setorcollection(_626897))], (1034 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _597613) ^ [_627142] : [tptpcol_15_109185(_627142), -(tptpcol_14_109181(_627142))], (1042 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _597613) ^ [_627381] : [tptpcol_16_92269(_627381), -(tptpcol_15_92268(_627381))], (1050 ^ _597613) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _597613) ^ [_627687, _627689] : [tptptypes_8_823(_627689, _627687), -(tptptypes_7_819(_627689, _627687))], (1060 ^ _597613) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _597613) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _597613) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _597613) ^ [_628267] : [tptpcol_10_26886(_628267), -(tptpcol_9_26885(_628267))], (1082 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _597613) ^ [_628559] : [tptpcol_15_72793(_628559), -(tptpcol_14_72792(_628559))], (1092 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _597613) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _597613) ^ [_628917] : [navypersonnel(_628917), -(militaryperson(_628917))], (1106 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _597613) ^ [_629156] : [tptpcol_4_16387(_629156), -(tptpcol_3_16386(_629156))], (1114 ^ _597613) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _597613) ^ [_629395] : [enduringthing_localized(_629395), -(spatialthing_nonsituational(_629395))], (1122 ^ _597613) ^ [_629581] : [collection(_629581), individual(_629581)], (1128 ^ _597613) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _597613) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _597613) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _597613) ^ [_630110] : [physicalorderingpredicate(_630110), -(orderingpredicate(_630110))], (1150 ^ _597613) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _597613) ^ [_630363, _630365] : [disjointwith(_630365, _630363), -(collection(_630363))], (1158 ^ _597613) ^ [_630599, _630601, _630603, _630605] : [-(isa(f_relationallexistsfn(_630605, _630601, _630603, _630599), _630599)), isa(_630605, _630603), relationallexists(_630601, _630603, _630599)], (1168 ^ _597613) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _597613) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _597613) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _597613) ^ [_631208, _631210] : [tptptypes_7_389(_631210, _631208), -(tptptypes_6_388(_631208, _631210))], (1186 ^ _597613) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _597613) ^ [_631523] : [-(hpkb_subnationalagent(_631523)), mtvisible(c_hpkbvocabmt), state_geopolitical(_631523)], (1202 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _597613) ^ [_631841] : [tptpcol_8_22020(_631841), -(tptpcol_7_21508(_631841))], (1210 ^ _597613) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _597613) ^ [_632080] : [-(tptp_9_51(f_relationexistsallfn(_632080, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _632080)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_632080, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _597613) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _597613) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _597613) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _597613) ^ [_632584] : [tptpcol_3_65538(_632584), -(tptpcol_2_65537(_632584))], (1238 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _597613) ^ [_632823] : [tptpcol_14_26921(_632823), -(tptpcol_13_26920(_632823))], (1246 ^ _597613) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _597613) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _597613) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _597613) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _597613) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _597613) ^ [_633274] : [intangibleindividual(_633274), -(partiallyintangibleindividual(_633274))], (1262 ^ _597613) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _597613) ^ [_633632] : [tptpcol_16_130924(_633632), -(tptpcol_15_130923(_633632))], (1276 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _597613) ^ [_633871] : [tptpcol_7_92163(_633871), -(tptpcol_6_92162(_633871))], (1284 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _597613) ^ [_634163] : [tptpcol_16_130933(_634163), -(tptpcol_15_130931(_634163))], (1294 ^ _597613) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _597613) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _597613) ^ [_634469, _634471] : [no(_634471, _634469), -(few(_634471, _634469))], (1304 ^ _597613) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _597613) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _597613) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _597613) ^ [_634877] : [tptpcol_6_20484(_634877), -(tptpcol_5_20483(_634877))], (1318 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _597613) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _597613) ^ [_635341] : [tptpcol_7_108547(_635341), -(tptpcol_6_108546(_635341))], (1336 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _597613) ^ [_635580] : [tptpcol_11_109125(_635580), -(tptpcol_10_109061(_635580))], (1344 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _597613) ^ [_635872] : [tptpcol_8_93698(_635872), -(tptpcol_7_93186(_635872))], (1354 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _597613) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _597613) ^ [_636164] : [tptpcol_2_65537(_636164), -(tptpcol_1_65536(_636164))], (1364 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _597613) ^ [_636456] : [tptpcol_6_18436(_636456), -(tptpcol_5_16388(_636456))], (1374 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _597613) ^ [_636695] : [tptpcol_8_18438(_636695), -(tptpcol_7_18437(_636695))], (1382 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _597613) ^ [_637053] : [tptpcol_8_117763(_637053), -(tptpcol_7_117762(_637053))], (1396 ^ _597613) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _597613) ^ [_637345] : [tptpcol_12_109157(_637345), -(tptpcol_11_109125(_637345))], (1406 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _597613) ^ [_637584] : [tptpcol_7_117762(_637584), -(tptpcol_6_116738(_637584))], (1414 ^ _597613) ^ [_637798, _637800, _637802] : [isa(_637802, _637800), isa(_637802, _637798), disjointwith(_637800, _637798)], (1424 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _597613) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _597613) ^ [_638198] : [aspatialinformationstore(_638198), -(aspatialthing(_638198))], (1434 ^ _597613) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _597613) ^ [_638596] : [tptpcol_9_93699(_638596), -(tptpcol_8_93698(_638596))], (1448 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _597613) ^ [_638835] : [tptpcol_11_93764(_638835), -(tptpcol_10_93700(_638835))], (1456 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _597613) ^ [_639074] : [tptpcol_6_26627(_639074), -(tptpcol_5_24579(_639074))], (1464 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _597613) ^ [_639313] : [tptpcol_4_90113(_639313), -(tptpcol_3_81921(_639313))], (1472 ^ _597613) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _597613) ^ [_639605] : [tptpcol_10_93700(_639605), -(tptpcol_9_93699(_639605))], (1482 ^ _597613) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _597613) ^ [_639844] : [aspatialinformationstore(_639844), -(intangibleindividual(_639844))], (1490 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _597613) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _597613) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _597613) ^ [_640255] : [tptpcol_3_16386(_640255), -(tptpcol_2_2(_640255))], (1506 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _597613) ^ [_640494] : [tptpcol_9_118019(_640494), -(tptpcol_8_117763(_640494))], (1514 ^ _597613) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _597613) ^ [_640733] : [individual(_640733), -(trajector_underspecified(_640733))], (1522 ^ _597613) ^ [_640919] : [shavingrazor_manual(_640919), -(tptp_8_271(f_relationexistsallfn(_640919, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _640919))], (1528 ^ _597613) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _597613) ^ [_641223] : [tptpcol_6_112641(_641223), -(tptpcol_5_110593(_641223))], (1538 ^ _597613) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _597613) ^ [_641462] : [tptpcol_12_72775(_641462), -(tptpcol_11_72774(_641462))], (1546 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _597613) ^ [_641701] : [tptpcol_7_72707(_641701), -(tptpcol_6_71683(_641701))], (1554 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _597613) ^ [_641940] : [tptpcol_16_50958(_641940), -(tptpcol_15_50957(_641940))], (1562 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _597613) ^ [_642179] : [tptpcol_8_114177(_642179), -(tptpcol_7_113665(_642179))], (1570 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _597613) ^ [_642418] : [tptpcol_16_72795(_642418), -(tptpcol_15_72793(_642418))], (1578 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _597613) ^ [_642657] : [tptpcol_6_71683(_642657), -(tptpcol_5_69635(_642657))], (1586 ^ _597613) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _597613) ^ [_642963, _642965] : [tptptypes_7_396(_642965, _642963), -(tptptypes_6_388(_642965, _642963))], (1596 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _597613) ^ [_643212] : [tptpcol_9_26885(_643212), -(tptpcol_8_26629(_643212))], (1604 ^ _597613) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _597613) ^ [_643465, _643467] : [genls(_643467, _643465), -(subsetof(_643467, _643465))], (1612 ^ _597613) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _597613) ^ [_643781, _643783] : [tptptypes_6_818(_643783, _643781), -(tptptypes_5_802(_643783, _643781))], (1622 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _597613) ^ [_644030] : [tptpcol_6_92162(_644030), -(tptpcol_5_90114(_644030))], (1630 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _597613) ^ [_644322] : [tptpcol_8_92164(_644322), -(tptpcol_7_92163(_644322))], (1640 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _597613) ^ [_644561] : [tptpcol_13_118117(_644561), -(tptpcol_12_118116(_644561))], (1648 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _597613) ^ [_644800] : [tptpcol_11_40388(_644800), -(tptpcol_10_40324(_644800))], (1656 ^ _597613) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _597613) ^ [_645053, _645055] : [tptptypes_9_824(_645055, _645053), -(tptptypes_8_823(_645055, _645053))], (1664 ^ _597613) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _597613) ^ [_645355] : [tptpcol_11_26887(_645355), -(tptpcol_10_26886(_645355))], (1674 ^ _597613) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _597613) ^ [_645594] : [tptpcol_16_26926(_645594), -(tptpcol_15_26925(_645594))], (1682 ^ _597613) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _597613) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _597613) ^ [_645900, _645902] : [few(_645902, _645900), -(setorcollection(_645900))], (1692 ^ _597613) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _597613) ^ [_646147] : [tptpcol_4_65539(_646147), -(tptpcol_3_65538(_646147))], (1700 ^ _597613) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _597613) ^ [_646386] : [tptpcol_8_39940(_646386), -(tptpcol_7_39939(_646386))], (1708 ^ _597613) ^ [_646572] : [-(tptpofobject(_646572, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_646572)], (1718 ^ _597613) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _597613) ^ [_647011] : [tptpcol_15_22076(_647011), -(tptpcol_14_22072(_647011))], (1732 ^ _597613) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _597613) ^ [_647250] : [tptpcol_0_0(_647250), -(individual(_647250))], (1740 ^ _597613) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _597613) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _597613) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _597613) ^ [_647648] : [tptpcol_11_72774(_647648), -(tptpcol_10_72710(_647648))], (1754 ^ _597613) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _597613) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _597613) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _597613) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _597613) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _597613) ^ [_648284] : [tptpcol_7_21508(_648284), -(tptpcol_6_20484(_648284))], (1780 ^ _597613) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _597613) ^ [_648523] : [tptpcol_6_108546(_648523), -(tptpcol_5_106498(_648523))], (1788 ^ _597613) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _597613) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _597613) ^ [_648881] : [geolevel_4(_648881), -(geographicalregion(_648881))], (1802 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _597613) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _597613) ^ [_649358] : [tptpcol_13_26920(_649358), -(tptpcol_12_26919(_649358))], (1822 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _597613) ^ [_649597] : [tptpcol_14_92264(_649597), -(tptpcol_13_92263(_649597))], (1830 ^ _597613) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _597613) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _597613) ^ [_649889] : [tptpcol_9_40196(_649889), -(tptpcol_8_39940(_649889))], (1840 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _597613) ^ [_650247] : [tptpcol_13_92263(_650247), -(tptpcol_12_92262(_650247))], (1854 ^ _597613) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _597613) ^ [_650539] : [tptpcol_5_90114(_650539), -(tptpcol_4_90113(_650539))], (1864 ^ _597613) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _597613) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _597613) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _597613) ^ [_650950] : [tptpcol_15_26925(_650950), -(tptpcol_14_26921(_650950))], (1880 ^ _597613) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _597613) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _597613) ^ [_651308] : [tptpcol_7_18437(_651308), -(tptpcol_6_18436(_651308))], (1894 ^ _597613) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _597613) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _597613) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _597613) ^ [_651719] : [tptpcol_3_98305(_651719), tptpcol_3_114688(_651719)], (1910 ^ _597613) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _597613) ^ [_651957] : [tptpcol_5_110593(_651957), -(tptpcol_4_106497(_651957))], (1918 ^ _597613) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _597613) ^ [_652196] : [tptpcol_13_72791(_652196), -(tptpcol_12_72775(_652196))], (1926 ^ _597613) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _597613) ^ [_652435] : [computerdataartifact(_652435), -(artifact(_652435))], (1934 ^ _597613) ^ [_652621] : [-(tptpofobject(_652621, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_652621)], (1944 ^ _597613) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _597613) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _597613) ^ [_653060] : [tptpcol_10_92166(_653060), -(tptpcol_9_92165(_653060))], (1958 ^ _597613) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _597613) ^ [_653299] : [tptpcol_14_118118(_653299), -(tptpcol_13_118117(_653299))], (1966 ^ _597613) ^ [_653485] : [isa(_653485, c_tptpcol_14_118118), -(tptpcol_14_118118(_653485))], (1972 ^ _597613) ^ [_653673] : [tptpcol_14_118118(_653673), -(isa(_653673, c_tptpcol_14_118118))], (1978 ^ _597613) ^ [_653846] : [-(natfunction(f_tptpquantityfn_6(_653846), c_tptpquantityfn_6))], (1980 ^ _597613) ^ [_653926] : [-(natargument(f_tptpquantityfn_6(_653926), n_1, _653926))], (1982 ^ _597613) ^ [_654007] : [-(tptpquantity(f_tptpquantityfn_6(_654007)))], (1984 ^ _597613) ^ [_654101] : [isa(_654101, c_tptpcol_16_26939), -(tptpcol_16_26939(_654101))], (1990 ^ _597613) ^ [_654289] : [tptpcol_16_26939(_654289), -(isa(_654289, c_tptpcol_16_26939))], (1996 ^ _597613) ^ [_654477] : [isa(_654477, c_tptpcol_16_62187), -(tptpcol_16_62187(_654477))], (2002 ^ _597613) ^ [_654665] : [tptpcol_16_62187(_654665), -(isa(_654665, c_tptpcol_16_62187))], (2008 ^ _597613) ^ [_654853] : [isa(_654853, c_tptpcol_13_92263), -(tptpcol_13_92263(_654853))], (2014 ^ _597613) ^ [_655041] : [tptpcol_13_92263(_655041), -(isa(_655041, c_tptpcol_13_92263))], (2020 ^ _597613) ^ [_655229] : [isa(_655229, c_geolevel_4), -(geolevel_4(_655229))], (2026 ^ _597613) ^ [_655417] : [geolevel_4(_655417), -(isa(_655417, c_geolevel_4))], (2032 ^ _597613) ^ [_655605] : [isa(_655605, c_tptpcol_15_4027), -(tptpcol_15_4027(_655605))], (2038 ^ _597613) ^ [_655793] : [tptpcol_15_4027(_655793), -(isa(_655793, c_tptpcol_15_4027))], (2044 ^ _597613) ^ [_655981] : [isa(_655981, c_pushingwithfingers), -(pushingwithfingers(_655981))], (2050 ^ _597613) ^ [_656169] : [pushingwithfingers(_656169), -(isa(_656169, c_pushingwithfingers))], (2056 ^ _597613) ^ [_656371, _656373] : [affiliatedwith(_656373, _656371), -(agent_generic(_656371))], (2062 ^ _597613) ^ [_656579, _656581] : [affiliatedwith(_656581, _656579), -(agent_generic(_656581))], (2068 ^ _597613) ^ [_656787, _656789] : [affiliatedwith(_656789, _656787), -(affiliatedwith(_656787, _656789))], (2074 ^ _597613) ^ [_656967] : [affiliatedwith(_656967, _656967)], (2076 ^ _597613) ^ [_657060] : [isa(_657060, c_footballteam), -(footballteam(_657060))], (2082 ^ _597613) ^ [_657248] : [footballteam(_657248), -(isa(_657248, c_footballteam))], (2088 ^ _597613) ^ [_657436] : [isa(_657436, c_tptpcol_16_4451), -(tptpcol_16_4451(_657436))], (2094 ^ _597613) ^ [_657624] : [tptpcol_16_4451(_657624), -(isa(_657624, c_tptpcol_16_4451))], (2100 ^ _597613) ^ [_657812] : [isa(_657812, c_pushingwithopenhand), -(pushingwithopenhand(_657812))], (2106 ^ _597613) ^ [_658000] : [pushingwithopenhand(_658000), -(isa(_658000, c_pushingwithopenhand))], (2112 ^ _597613) ^ [_658188] : [isa(_658188, c_tptpcol_15_22076), -(tptpcol_15_22076(_658188))], (2118 ^ _597613) ^ [_658376] : [tptpcol_15_22076(_658376), -(isa(_658376, c_tptpcol_15_22076))], (2124 ^ _597613) ^ [_658549] : [-(natfunction(f_tptpquantityfn_2(_658549), c_tptpquantityfn_2))], (2126 ^ _597613) ^ [_658629] : [-(natargument(f_tptpquantityfn_2(_658629), n_1, _658629))], (2128 ^ _597613) ^ [_658710] : [-(tptpquantity(f_tptpquantityfn_2(_658710)))], (2130 ^ _597613) ^ [_658804] : [isa(_658804, c_tptpcol_7_39939), -(tptpcol_7_39939(_658804))], (2136 ^ _597613) ^ [_658992] : [tptpcol_7_39939(_658992), -(isa(_658992, c_tptpcol_7_39939))], (2142 ^ _597613) ^ [_659180] : [isa(_659180, c_tptpcol_8_39940), -(tptpcol_8_39940(_659180))], (2148 ^ _597613) ^ [_659368] : [tptpcol_8_39940(_659368), -(isa(_659368, c_tptpcol_8_39940))], (2154 ^ _597613) ^ [_659556] : [isa(_659556, c_tptpcol_15_26925), -(tptpcol_15_26925(_659556))], (2160 ^ _597613) ^ [_659744] : [tptpcol_15_26925(_659744), -(isa(_659744, c_tptpcol_15_26925))], (2166 ^ _597613) ^ [_659932] : [isa(_659932, c_tptpcol_16_26926), -(tptpcol_16_26926(_659932))], (2172 ^ _597613) ^ [_660120] : [tptpcol_16_26926(_660120), -(isa(_660120, c_tptpcol_16_26926))], (2178 ^ _597613) ^ [_660308] : [isa(_660308, c_tptpcol_13_118117), -(tptpcol_13_118117(_660308))], (2184 ^ _597613) ^ [_660496] : [tptpcol_13_118117(_660496), -(isa(_660496, c_tptpcol_13_118117))], (2190 ^ _597613) ^ [_660684] : [isa(_660684, c_tptpcol_5_90114), -(tptpcol_5_90114(_660684))], (2196 ^ _597613) ^ [_660872] : [tptpcol_5_90114(_660872), -(isa(_660872, c_tptpcol_5_90114))], (2202 ^ _597613) ^ [_661074, _661076] : [tptptypes_5_802(_661076, _661074), -(firstordercollection(_661074))], (2208 ^ _597613) ^ [_661282, _661284] : [tptptypes_5_802(_661284, _661282), -(firstordercollection(_661284))], (2214 ^ _597613) ^ [_661476] : [isa(_661476, c_tptpcol_16_72795), -(tptpcol_16_72795(_661476))], (2220 ^ _597613) ^ [_661664] : [tptpcol_16_72795(_661664), -(isa(_661664, c_tptpcol_16_72795))], (2226 ^ _597613) ^ [_661852] : [isa(_661852, c_tptpcol_8_114177), -(tptpcol_8_114177(_661852))], (2232 ^ _597613) ^ [_662040] : [tptpcol_8_114177(_662040), -(isa(_662040, c_tptpcol_8_114177))], (2238 ^ _597613) ^ [_662228] : [isa(_662228, c_tptpcol_15_50957), -(tptpcol_15_50957(_662228))], (2244 ^ _597613) ^ [_662416] : [tptpcol_15_50957(_662416), -(isa(_662416, c_tptpcol_15_50957))], (2250 ^ _597613) ^ [_662604] : [isa(_662604, c_tptpcol_16_50958), -(tptpcol_16_50958(_662604))], (2256 ^ _597613) ^ [_662792] : [tptpcol_16_50958(_662792), -(isa(_662792, c_tptpcol_16_50958))], (2262 ^ _597613) ^ [_662980] : [isa(_662980, c_tptpcol_6_71683), -(tptpcol_6_71683(_662980))], (2268 ^ _597613) ^ [_663168] : [tptpcol_6_71683(_663168), -(isa(_663168, c_tptpcol_6_71683))], (2274 ^ _597613) ^ [_663356] : [isa(_663356, c_tptpcol_11_72774), -(tptpcol_11_72774(_663356))], (2280 ^ _597613) ^ [_663544] : [tptpcol_11_72774(_663544), -(isa(_663544, c_tptpcol_11_72774))], (2286 ^ _597613) ^ [_663732] : [isa(_663732, c_tptpcol_12_72775), -(tptpcol_12_72775(_663732))], (2292 ^ _597613) ^ [_663920] : [tptpcol_12_72775(_663920), -(isa(_663920, c_tptpcol_12_72775))], (2298 ^ _597613) ^ [_664108] : [isa(_664108, c_tptpcol_5_110593), -(tptpcol_5_110593(_664108))], (2304 ^ _597613) ^ [_664296] : [tptpcol_5_110593(_664296), -(isa(_664296, c_tptpcol_5_110593))], (2310 ^ _597613) ^ [_664484] : [isa(_664484, c_tptpcol_16_25972), -(tptpcol_16_25972(_664484))], (2316 ^ _597613) ^ [_664672] : [tptpcol_16_25972(_664672), -(isa(_664672, c_tptpcol_16_25972))], (2322 ^ _597613) ^ [_664874, _664876] : [tptp_8_271(_664876, _664874), -(razor(_664874))], (2328 ^ _597613) ^ [_665082, _665084] : [tptp_8_271(_665084, _665082), -(tptpcol_5_24579(_665084))], (2334 ^ _597613) ^ [_665276] : [isa(_665276, c_tptpcol_4_90113), -(tptpcol_4_90113(_665276))], (2340 ^ _597613) ^ [_665464] : [tptpcol_4_90113(_665464), -(isa(_665464, c_tptpcol_4_90113))], (2346 ^ _597613) ^ [_665652] : [isa(_665652, c_tptpcol_10_93700), -(tptpcol_10_93700(_665652))], (2352 ^ _597613) ^ [_665840] : [tptpcol_10_93700(_665840), -(isa(_665840, c_tptpcol_10_93700))], (2358 ^ _597613) ^ [_666028] : [isa(_666028, c_tptpcol_9_93699), -(tptpcol_9_93699(_666028))], (2364 ^ _597613) ^ [_666216] : [tptpcol_9_93699(_666216), -(isa(_666216, c_tptpcol_9_93699))], (2370 ^ _597613) ^ [_666404] : [isa(_666404, c_aspatialthing), -(aspatialthing(_666404))], (2376 ^ _597613) ^ [_666592] : [aspatialthing(_666592), -(isa(_666592, c_aspatialthing))], (2382 ^ _597613) ^ [_666780] : [isa(_666780, c_tptpcol_7_117762), -(tptpcol_7_117762(_666780))], (2388 ^ _597613) ^ [_666968] : [tptpcol_7_117762(_666968), -(isa(_666968, c_tptpcol_7_117762))], (2394 ^ _597613) ^ [_667156] : [isa(_667156, c_tptpcol_8_117763), -(tptpcol_8_117763(_667156))], (2400 ^ _597613) ^ [_667344] : [tptpcol_8_117763(_667344), -(isa(_667344, c_tptpcol_8_117763))], (2406 ^ _597613) ^ [_667532] : [isa(_667532, c_tptpcol_7_18437), -(tptpcol_7_18437(_667532))], (2412 ^ _597613) ^ [_667720] : [tptpcol_7_18437(_667720), -(isa(_667720, c_tptpcol_7_18437))], (2418 ^ _597613) ^ [_667908] : [isa(_667908, c_tptpcol_6_18436), -(tptpcol_6_18436(_667908))], (2424 ^ _597613) ^ [_668096] : [tptpcol_6_18436(_668096), -(isa(_668096, c_tptpcol_6_18436))], (2430 ^ _597613) ^ [_668284] : [isa(_668284, c_tptpcol_8_93698), -(tptpcol_8_93698(_668284))], (2436 ^ _597613) ^ [_668472] : [tptpcol_8_93698(_668472), -(isa(_668472, c_tptpcol_8_93698))], (2442 ^ _597613) ^ [_668660] : [isa(_668660, c_tptpcol_11_109125), -(tptpcol_11_109125(_668660))], (2448 ^ _597613) ^ [_668848] : [tptpcol_11_109125(_668848), -(isa(_668848, c_tptpcol_11_109125))], (2454 ^ _597613) ^ [_669036] : [isa(_669036, c_tptpcol_6_108546), -(tptpcol_6_108546(_669036))], (2460 ^ _597613) ^ [_669224] : [tptpcol_6_108546(_669224), -(isa(_669224, c_tptpcol_6_108546))], (2466 ^ _597613) ^ [_669412] : [isa(_669412, c_tptpcol_6_20484), -(tptpcol_6_20484(_669412))], (2472 ^ _597613) ^ [_669600] : [tptpcol_6_20484(_669600), -(isa(_669600, c_tptpcol_6_20484))], (2478 ^ _597613) ^ [_669802, _669804] : [few(_669804, _669802), -(setorcollection(_669802))], (2484 ^ _597613) ^ [_670010, _670012] : [few(_670012, _670010), -(setorcollection(_670010))], (2490 ^ _597613) ^ [_670218, _670220] : [few(_670220, _670218), -(setorcollection(_670220))], (2496 ^ _597613) ^ [_670426, _670428] : [few(_670428, _670426), -(setorcollection(_670428))], (2502 ^ _597613) ^ [_670648, _670650, _670652] : [-(few(_670652, _670648)), few(_670652, _670650), subsetof(_670648, _670650)], (2512 ^ _597613) ^ [_670943] : [isa(_670943, c_tptpcol_15_130931), -(tptpcol_15_130931(_670943))], (2518 ^ _597613) ^ [_671131] : [tptpcol_15_130931(_671131), -(isa(_671131, c_tptpcol_15_130931))], (2524 ^ _597613) ^ [_671319] : [isa(_671319, c_tptpcol_16_130933), -(tptpcol_16_130933(_671319))], (2530 ^ _597613) ^ [_671507] : [tptpcol_16_130933(_671507), -(isa(_671507, c_tptpcol_16_130933))], (2536 ^ _597613) ^ [_671695] : [isa(_671695, c_tptpcol_7_92163), -(tptpcol_7_92163(_671695))], (2542 ^ _597613) ^ [_671883] : [tptpcol_7_92163(_671883), -(isa(_671883, c_tptpcol_7_92163))], (2548 ^ _597613) ^ [_672071] : [isa(_672071, c_tptpcol_15_130923), -(tptpcol_15_130923(_672071))], (2554 ^ _597613) ^ [_672259] : [tptpcol_15_130923(_672259), -(isa(_672259, c_tptpcol_15_130923))], (2560 ^ _597613) ^ [_672447] : [isa(_672447, c_tptpcol_16_130924), -(tptpcol_16_130924(_672447))], (2566 ^ _597613) ^ [_672635] : [tptpcol_16_130924(_672635), -(isa(_672635, c_tptpcol_16_130924))], (2572 ^ _597613) ^ [_672823] : [isa(_672823, c_intangibleindividual), -(intangibleindividual(_672823))], (2578 ^ _597613) ^ [_673011] : [intangibleindividual(_673011), -(isa(_673011, c_intangibleindividual))], (2584 ^ _597613) ^ [_673198, _673200] : [-(natfunction(f_citynamedfn(_673200, _673198), c_citynamedfn))], (2586 ^ _597613) ^ [_673295, _673297] : [-(natargument(f_citynamedfn(_673297, _673295), n_1, _673297))], (2588 ^ _597613) ^ [_673393, _673395] : [-(natargument(f_citynamedfn(_673395, _673393), n_2, _673393))], (2590 ^ _597613) ^ [_673491, _673493] : [-(city(f_citynamedfn(_673493, _673491)))], (2592 ^ _597613) ^ [_673588] : [isa(_673588, c_tptpcol_13_26920), -(tptpcol_13_26920(_673588))], (2598 ^ _597613) ^ [_673776] : [tptpcol_13_26920(_673776), -(isa(_673776, c_tptpcol_13_26920))], (2604 ^ _597613) ^ [_673964] : [isa(_673964, c_tptpcol_14_26921), -(tptpcol_14_26921(_673964))], (2610 ^ _597613) ^ [_674152] : [tptpcol_14_26921(_674152), -(isa(_674152, c_tptpcol_14_26921))], (2616 ^ _597613) ^ [_674340] : [isa(_674340, c_tptpcol_3_65538), -(tptpcol_3_65538(_674340))], (2622 ^ _597613) ^ [_674528] : [tptpcol_3_65538(_674528), -(isa(_674528, c_tptpcol_3_65538))], (2628 ^ _597613) ^ [_674716] : [isa(_674716, c_tptpcol_16_27189), -(tptpcol_16_27189(_674716))], (2634 ^ _597613) ^ [_674904] : [tptpcol_16_27189(_674904), -(isa(_674904, c_tptpcol_16_27189))], (2640 ^ _597613) ^ [_675106, _675108] : [tptp_9_51(_675108, _675106), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_675106))], (2646 ^ _597613) ^ [_675314, _675316] : [tptp_9_51(_675316, _675314), -(tptpcol_7_26628(_675316))], (2652 ^ _597613) ^ [_675508] : [isa(_675508, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_675508))], (2658 ^ _597613) ^ [_675696] : [reflexivebinarypredicate(_675696), -(isa(_675696, c_reflexivebinarypredicate))], (2664 ^ _597613) ^ [_675884] : [isa(_675884, c_tptpcol_7_21508), -(tptpcol_7_21508(_675884))], (2670 ^ _597613) ^ [_676072] : [tptpcol_7_21508(_676072), -(isa(_676072, c_tptpcol_7_21508))], (2676 ^ _597613) ^ [_676260] : [isa(_676260, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_676260))], (2682 ^ _597613) ^ [_676448] : [hpkb_subnationalagent(_676448), -(isa(_676448, c_hpkb_subnationalagent))], (2688 ^ _597613) ^ [_676636] : [isa(_676636, c_state_geopolitical), -(state_geopolitical(_676636))], (2694 ^ _597613) ^ [_676824] : [state_geopolitical(_676824), -(isa(_676824, c_state_geopolitical))], (2700 ^ _597613) ^ [_677039, _677041, _677043, _677045] : [-(natfunction(f_relationallexistsfn(_677045, _677043, _677041, _677039), c_relationallexistsfn))], (2702 ^ _597613) ^ [_677170, _677172, _677174, _677176] : [-(natargument(f_relationallexistsfn(_677176, _677174, _677172, _677170), n_1, _677176))], (2704 ^ _597613) ^ [_677302, _677304, _677306, _677308] : [-(natargument(f_relationallexistsfn(_677308, _677306, _677304, _677302), n_2, _677306))], (2706 ^ _597613) ^ [_677434, _677436, _677438, _677440] : [-(natargument(f_relationallexistsfn(_677440, _677438, _677436, _677434), n_3, _677436))], (2708 ^ _597613) ^ [_677566, _677568, _677570, _677572] : [-(natargument(f_relationallexistsfn(_677572, _677570, _677568, _677566), n_4, _677566))], (2710 ^ _597613) ^ [_677698, _677700, _677702, _677704] : [-(thing(f_relationallexistsfn(_677704, _677702, _677700, _677698)))], (2712 ^ _597613) ^ [_677815, _677817] : [arg2isa(_677817, _677815), -(collection(_677815))], (2718 ^ _597613) ^ [_678023, _678025] : [arg2isa(_678025, _678023), -(relation(_678025))], (2724 ^ _597613) ^ [_678245, _678247, _678249] : [-(arg2isa(_678249, _678245)), arg2isa(_678249, _678247), genls(_678247, _678245)], (2734 ^ _597613) ^ [_678568, _678570, _678572] : [-(arg2isa(_678572, _678568)), arg2isa(_678572, _678570), genls(_678570, _678568)], (2744 ^ _597613) ^ [_678863] : [isa(_678863, c_geolevel_1), -(geolevel_1(_678863))], (2750 ^ _597613) ^ [_679051] : [geolevel_1(_679051), -(isa(_679051, c_geolevel_1))], (2756 ^ _597613) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _597613) ^ [_679292] : [isa(_679292, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_679292))], (2764 ^ _597613) ^ [_679480] : [spatialthing_nonsituational(_679480), -(isa(_679480, c_spatialthing_nonsituational))], (2770 ^ _597613) ^ [_679668] : [isa(_679668, c_militaryperson), -(militaryperson(_679668))], (2776 ^ _597613) ^ [_679856] : [militaryperson(_679856), -(isa(_679856, c_militaryperson))], (2782 ^ _597613) ^ [_680044] : [isa(_680044, c_tptpcol_15_72793), -(tptpcol_15_72793(_680044))], (2788 ^ _597613) ^ [_680232] : [tptpcol_15_72793(_680232), -(isa(_680232, c_tptpcol_15_72793))], (2794 ^ _597613) ^ [_680420] : [isa(_680420, c_tptpcol_9_26885), -(tptpcol_9_26885(_680420))], (2800 ^ _597613) ^ [_680608] : [tptpcol_9_26885(_680608), -(isa(_680608, c_tptpcol_9_26885))], (2806 ^ _597613) ^ [_680796] : [isa(_680796, c_tptpcol_10_26886), -(tptpcol_10_26886(_680796))], (2812 ^ _597613) ^ [_680984] : [tptpcol_10_26886(_680984), -(isa(_680984, c_tptpcol_10_26886))], (2818 ^ _597613) ^ [_681186, _681188] : [tptptypes_8_823(_681188, _681186), -(firstordercollection(_681186))], (2824 ^ _597613) ^ [_681394, _681396] : [tptptypes_8_823(_681396, _681394), -(firstordercollection(_681396))], (2830 ^ _597613) ^ [_681588] : [isa(_681588, c_tptpcol_16_92269), -(tptpcol_16_92269(_681588))], (2836 ^ _597613) ^ [_681776] : [tptpcol_16_92269(_681776), -(isa(_681776, c_tptpcol_16_92269))], (2842 ^ _597613) ^ [_681964] : [isa(_681964, c_tptpcol_15_109185), -(tptpcol_15_109185(_681964))], (2848 ^ _597613) ^ [_682152] : [tptpcol_15_109185(_682152), -(isa(_682152, c_tptpcol_15_109185))], (2854 ^ _597613) ^ [_682340] : [isa(_682340, c_tptpcol_6_26627), -(tptpcol_6_26627(_682340))], (2860 ^ _597613) ^ [_682528] : [tptpcol_6_26627(_682528), -(isa(_682528, c_tptpcol_6_26627))], (2866 ^ _597613) ^ [_682716] : [isa(_682716, c_tptpcol_12_118116), -(tptpcol_12_118116(_682716))], (2872 ^ _597613) ^ [_682904] : [tptpcol_12_118116(_682904), -(isa(_682904, c_tptpcol_12_118116))], (2878 ^ _597613) ^ [_683092] : [isa(_683092, c_tptpcol_8_18438), -(tptpcol_8_18438(_683092))], (2884 ^ _597613) ^ [_683280] : [tptpcol_8_18438(_683280), -(isa(_683280, c_tptpcol_8_18438))], (2890 ^ _597613) ^ [_683468] : [isa(_683468, c_tptpcol_15_30970), -(tptpcol_15_30970(_683468))], (2896 ^ _597613) ^ [_683656] : [tptpcol_15_30970(_683656), -(isa(_683656, c_tptpcol_15_30970))], (2902 ^ _597613) ^ [_683844] : [isa(_683844, c_tptpcol_16_30972), -(tptpcol_16_30972(_683844))], (2908 ^ _597613) ^ [_684032] : [tptpcol_16_30972(_684032), -(isa(_684032, c_tptpcol_16_30972))], (2914 ^ _597613) ^ [_684220] : [isa(_684220, c_tptpcol_14_109181), -(tptpcol_14_109181(_684220))], (2920 ^ _597613) ^ [_684408] : [tptpcol_14_109181(_684408), -(isa(_684408, c_tptpcol_14_109181))], (2926 ^ _597613) ^ [_684596] : [isa(_684596, c_physicalorderingpredicate), -(physicalorderingpredicate(_684596))], (2932 ^ _597613) ^ [_684784] : [physicalorderingpredicate(_684784), -(isa(_684784, c_physicalorderingpredicate))], (2938 ^ _597613) ^ [_684972] : [isa(_684972, c_tptpcol_16_7738), -(tptpcol_16_7738(_684972))], (2944 ^ _597613) ^ [_685160] : [tptpcol_16_7738(_685160), -(isa(_685160, c_tptpcol_16_7738))], (2950 ^ _597613) ^ [_685362, _685364] : [tptp_8_968(_685364, _685362), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_685362))], (2956 ^ _597613) ^ [_685570, _685572] : [tptp_8_968(_685572, _685570), -(tptpcol_7_7172(_685572))], (2962 ^ _597613) ^ [_685792, _685794, _685796] : [relationexistsall(_685796, _685794, _685792), -(collection(_685792))], (2968 ^ _597613) ^ [_686022, _686024, _686026] : [relationexistsall(_686026, _686024, _686022), -(collection(_686024))], (2974 ^ _597613) ^ [_686252, _686254, _686256] : [relationexistsall(_686256, _686254, _686252), -(binarypredicate(_686256))], (2980 ^ _597613) ^ [_686454] : [isa(_686454, c_tptpcol_7_26628), -(tptpcol_7_26628(_686454))], (2986 ^ _597613) ^ [_686642] : [tptpcol_7_26628(_686642), -(isa(_686642, c_tptpcol_7_26628))], (2992 ^ _597613) ^ [_686830] : [isa(_686830, c_tptpcol_8_26629), -(tptpcol_8_26629(_686830))], (2998 ^ _597613) ^ [_687018] : [tptpcol_8_26629(_687018), -(isa(_687018, c_tptpcol_8_26629))], (3004 ^ _597613) ^ [_687206] : [isa(_687206, c_tptpcol_3_114688), -(tptpcol_3_114688(_687206))], (3010 ^ _597613) ^ [_687394] : [tptpcol_3_114688(_687394), -(isa(_687394, c_tptpcol_3_114688))], (3016 ^ _597613) ^ [_687567] : [-(natfunction(f_contextofpcwfn(_687567), c_contextofpcwfn))], (3018 ^ _597613) ^ [_687647] : [-(natargument(f_contextofpcwfn(_687647), n_1, _687647))], (3020 ^ _597613) ^ [_687728] : [-(microtheory(f_contextofpcwfn(_687728)))], (3022 ^ _597613) ^ [_687836, _687838] : [arg1isa(_687838, _687836), -(collection(_687836))], (3028 ^ _597613) ^ [_688044, _688046] : [arg1isa(_688046, _688044), -(relation(_688046))], (3034 ^ _597613) ^ [_688266, _688268, _688270] : [-(arg1isa(_688270, _688266)), arg1isa(_688270, _688268), genls(_688268, _688266)], (3044 ^ _597613) ^ [_688589, _688591, _688593] : [-(arg1isa(_688593, _688589)), arg1isa(_688593, _688591), genls(_688591, _688589)], (3054 ^ _597613) ^ [_688898, _688900] : [objectfoundinlocation(_688900, _688898), -(spatialthing_nonsituational(_688898))], (3060 ^ _597613) ^ [_689106, _689108] : [objectfoundinlocation(_689108, _689106), -(spatialthing_localized(_689106))], (3066 ^ _597613) ^ [_689314, _689316] : [objectfoundinlocation(_689316, _689314), -(spatialthing_nonsituational(_689316))], (3072 ^ _597613) ^ [_689522, _689524] : [objectfoundinlocation(_689524, _689522), -(spatialthing_localized(_689524))], (3078 ^ _597613) ^ [_689744, _689746, _689748] : [-(objectfoundinlocation(_689748, _689744)), objectfoundinlocation(_689748, _689746), objectfoundinlocation(_689746, _689744)], (3088 ^ _597613) ^ [_690023] : [objectfoundinlocation(_690023, _690023)], (3090 ^ _597613) ^ [_690144, _690146, _690148] : [-(objectfoundinlocation(_690148, _690144)), objectfoundinlocation(_690148, _690146), geopoliticalsubdivision(_690144, _690146)], (3100 ^ _597613) ^ [_690467, _690469, _690471] : [-(objectfoundinlocation(_690471, _690467)), objectfoundinlocation(_690471, _690469), geographicallysubsumes(_690467, _690469)], (3110 ^ _597613) ^ [_690790, _690792, _690794] : [-(objectfoundinlocation(_690794, _690790)), objectfoundinlocation(_690794, _690792), subregions(_690790, _690792)], (3120 ^ _597613) ^ [_691085] : [isa(_691085, c_ship), -(ship(_691085))], (3126 ^ _597613) ^ [_691273] : [ship(_691273), -(isa(_691273, c_ship))], (3132 ^ _597613) ^ [_691474, _691476, _691478] : [-(natfunction(f_subcollectionofwithrelationtofn(_691478, _691476, _691474), c_subcollectionofwithrelationtofn))], (3134 ^ _597613) ^ [_691588, _691590, _691592] : [-(natargument(f_subcollectionofwithrelationtofn(_691592, _691590, _691588), n_1, _691592))], (3136 ^ _597613) ^ [_691703, _691705, _691707] : [-(natargument(f_subcollectionofwithrelationtofn(_691707, _691705, _691703), n_2, _691705))], (3138 ^ _597613) ^ [_691818, _691820, _691822] : [-(natargument(f_subcollectionofwithrelationtofn(_691822, _691820, _691818), n_3, _691818))], (3140 ^ _597613) ^ [_691933, _691935, _691937] : [-(collection(f_subcollectionofwithrelationtofn(_691937, _691935, _691933)))], (3142 ^ _597613) ^ [_692033] : [isa(_692033, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_692033))], (3148 ^ _597613) ^ [_692221] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_692221), -(isa(_692221, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _597613) ^ [_692409] : [isa(_692409, c_tptpcol_4_65539), -(tptpcol_4_65539(_692409))], (3160 ^ _597613) ^ [_692597] : [tptpcol_4_65539(_692597), -(isa(_692597, c_tptpcol_4_65539))], (3166 ^ _597613) ^ [_692785] : [isa(_692785, c_tptpcol_5_69635), -(tptpcol_5_69635(_692785))], (3172 ^ _597613) ^ [_692973] : [tptpcol_5_69635(_692973), -(isa(_692973, c_tptpcol_5_69635))], (3178 ^ _597613) ^ [_693161] : [isa(_693161, c_tptpcol_3_16386), -(tptpcol_3_16386(_693161))], (3184 ^ _597613) ^ [_693349] : [tptpcol_3_16386(_693349), -(isa(_693349, c_tptpcol_3_16386))], (3190 ^ _597613) ^ [_693551, _693553] : [no(_693553, _693551), -(setorcollection(_693551))], (3196 ^ _597613) ^ [_693759, _693761] : [no(_693761, _693759), -(setorcollection(_693761))], (3202 ^ _597613) ^ [_693967, _693969] : [no(_693969, _693967), -(no(_693967, _693969))], (3208 ^ _597613) ^ [_694191, _694193, _694195] : [-(no(_694195, _694191)), no(_694195, _694193), subsetof(_694191, _694193)], (3218 ^ _597613) ^ [_694514, _694516, _694518] : [-(no(_694514, _694516)), no(_694518, _694516), subsetof(_694514, _694518)], (3228 ^ _597613) ^ [_694837, _694839, _694841] : [-(no(_694837, _694839)), no(_694841, _694839), genls(_694837, _694841)], (3238 ^ _597613) ^ [_695160, _695162, _695164] : [-(no(_695164, _695160)), no(_695164, _695162), genls(_695160, _695162)], (3248 ^ _597613) ^ [_695483, _695485, _695487] : [-(no(_695483, _695485)), no(_695487, _695485), subsetof(_695483, _695487)], (3258 ^ _597613) ^ [_695806, _695808, _695810] : [-(no(_695810, _695806)), no(_695810, _695808), subsetof(_695806, _695808)], (3268 ^ _597613) ^ [_696101] : [isa(_696101, c_geographicalregion), -(geographicalregion(_696101))], (3274 ^ _597613) ^ [_696289] : [geographicalregion(_696289), -(isa(_696289, c_geographicalregion))], (3280 ^ _597613) ^ [_696462] : [-(natfunction(f_tptpquantityfn_21(_696462), c_tptpquantityfn_21))], (3282 ^ _597613) ^ [_696542] : [-(natargument(f_tptpquantityfn_21(_696542), n_1, _696542))], (3284 ^ _597613) ^ [_696623] : [-(tptpquantity(f_tptpquantityfn_21(_696623)))], (3286 ^ _597613) ^ [_696731, _696733] : [airporthasiatacode(_696733, _696731), -(stringoflengthfn3(_696731))], (3292 ^ _597613) ^ [_696939, _696941] : [airporthasiatacode(_696941, _696939), -(airport_physical(_696941))], (3298 ^ _597613) ^ [_697133] : [isa(_697133, c_airport_physical), -(airport_physical(_697133))], (3304 ^ _597613) ^ [_697321] : [airport_physical(_697321), -(isa(_697321, c_airport_physical))], (3310 ^ _597613) ^ [_697522, _697524, _697526] : [-(natfunction(f_instancewithrelationtofn(_697526, _697524, _697522), c_instancewithrelationtofn))], (3312 ^ _597613) ^ [_697636, _697638, _697640] : [-(natargument(f_instancewithrelationtofn(_697640, _697638, _697636), n_1, _697640))], (3314 ^ _597613) ^ [_697751, _697753, _697755] : [-(natargument(f_instancewithrelationtofn(_697755, _697753, _697751), n_2, _697753))], (3316 ^ _597613) ^ [_697866, _697868, _697870] : [-(natargument(f_instancewithrelationtofn(_697870, _697868, _697866), n_3, _697866))], (3318 ^ _597613) ^ [_697981, _697983, _697985] : [-(thing(f_instancewithrelationtofn(_697985, _697983, _697981)))], (3320 ^ _597613) ^ [_698081] : [isa(_698081, c_tptpcol_6_112641), -(tptpcol_6_112641(_698081))], (3326 ^ _597613) ^ [_698269] : [tptpcol_6_112641(_698269), -(isa(_698269, c_tptpcol_6_112641))], (3332 ^ _597613) ^ [_698457] : [isa(_698457, c_tptpcol_7_113665), -(tptpcol_7_113665(_698457))], (3338 ^ _597613) ^ [_698645] : [tptpcol_7_113665(_698645), -(isa(_698645, c_tptpcol_7_113665))], (3344 ^ _597613) ^ [_698833] : [isa(_698833, c_artifact), -(artifact(_698833))], (3350 ^ _597613) ^ [_699021] : [artifact(_699021), -(isa(_699021, c_artifact))], (3356 ^ _597613) ^ [_699209] : [isa(_699209, c_tptpcol_13_18664), -(tptpcol_13_18664(_699209))], (3362 ^ _597613) ^ [_699397] : [tptpcol_13_18664(_699397), -(isa(_699397, c_tptpcol_13_18664))], (3368 ^ _597613) ^ [_699585] : [isa(_699585, c_firstordercollection), -(firstordercollection(_699585))], (3374 ^ _597613) ^ [_699773] : [firstordercollection(_699773), -(isa(_699773, c_firstordercollection))], (3380 ^ _597613) ^ [_699946] : [-(natfunction(f_tptpquantityfn_14(_699946), c_tptpquantityfn_14))], (3382 ^ _597613) ^ [_700026] : [-(natargument(f_tptpquantityfn_14(_700026), n_1, _700026))], (3384 ^ _597613) ^ [_700107] : [-(tptpquantity(f_tptpquantityfn_14(_700107)))], (3386 ^ _597613) ^ [_700201] : [isa(_700201, c_supplies), -(supplies(_700201))], (3392 ^ _597613) ^ [_700389] : [supplies(_700389), -(isa(_700389, c_supplies))], (3398 ^ _597613) ^ [_700577] : [isa(_700577, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_700577))], (3404 ^ _597613) ^ [_700765] : [inanimateobject_nonnatural(_700765), -(isa(_700765, c_inanimateobject_nonnatural))], (3410 ^ _597613) ^ [_700953] : [isa(_700953, c_tptpcol_13_22071), -(tptpcol_13_22071(_700953))], (3416 ^ _597613) ^ [_701141] : [tptpcol_13_22071(_701141), -(isa(_701141, c_tptpcol_13_22071))], (3422 ^ _597613) ^ [_701329] : [isa(_701329, c_tptpcol_14_22072), -(tptpcol_14_22072(_701329))], (3428 ^ _597613) ^ [_701517] : [tptpcol_14_22072(_701517), -(isa(_701517, c_tptpcol_14_22072))], (3434 ^ _597613) ^ [_701705] : [isa(_701705, c_tptpcol_7_108547), -(tptpcol_7_108547(_701705))], (3440 ^ _597613) ^ [_701893] : [tptpcol_7_108547(_701893), -(isa(_701893, c_tptpcol_7_108547))], (3446 ^ _597613) ^ [_702081] : [isa(_702081, c_tptpcol_8_109059), -(tptpcol_8_109059(_702081))], (3452 ^ _597613) ^ [_702269] : [tptpcol_8_109059(_702269), -(isa(_702269, c_tptpcol_8_109059))], (3458 ^ _597613) ^ [_702457] : [isa(_702457, c_tptpcol_14_93774), -(tptpcol_14_93774(_702457))], (3464 ^ _597613) ^ [_702645] : [tptpcol_14_93774(_702645), -(isa(_702645, c_tptpcol_14_93774))], (3470 ^ _597613) ^ [_702833] : [isa(_702833, c_tptpcol_15_93775), -(tptpcol_15_93775(_702833))], (3476 ^ _597613) ^ [_703021] : [tptpcol_15_93775(_703021), -(isa(_703021, c_tptpcol_15_93775))], (3482 ^ _597613) ^ [_703209] : [isa(_703209, c_tptpcol_16_8886), -(tptpcol_16_8886(_703209))], (3488 ^ _597613) ^ [_703397] : [tptpcol_16_8886(_703397), -(isa(_703397, c_tptpcol_16_8886))], (3494 ^ _597613) ^ [_703599, _703601] : [orientation(_703601, _703599), -(orientationvector(_703599))], (3500 ^ _597613) ^ [_703807, _703809] : [orientation(_703809, _703807), -(spatialthing_localized(_703809))], (3506 ^ _597613) ^ [_704001] : [isa(_704001, c_orientationvector), -(orientationvector(_704001))], (3512 ^ _597613) ^ [_704189] : [orientationvector(_704189), -(isa(_704189, c_orientationvector))], (3518 ^ _597613) ^ [_704377] : [isa(_704377, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704377))], (3524 ^ _597613) ^ [_704565] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704565), -(isa(_704565, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _597613) ^ [_704767, _704769] : [tptptypes_9_824(_704769, _704767), -(firstordercollection(_704767))], (3536 ^ _597613) ^ [_704975, _704977] : [tptptypes_9_824(_704977, _704975), -(firstordercollection(_704977))], (3542 ^ _597613) ^ [_705183, _705185] : [tptptypes_7_396(_705185, _705183), -(firstordercollection(_705183))], (3548 ^ _597613) ^ [_705391, _705393] : [tptptypes_7_396(_705393, _705391), -(firstordercollection(_705393))], (3554 ^ _597613) ^ [_705585] : [isa(_705585, c_tptpcol_12_22055), -(tptpcol_12_22055(_705585))], (3560 ^ _597613) ^ [_705773] : [tptpcol_12_22055(_705773), -(isa(_705773, c_tptpcol_12_22055))], (3566 ^ _597613) ^ [_705961] : [isa(_705961, c_tptpcol_16_29490), -(tptpcol_16_29490(_705961))], (3572 ^ _597613) ^ [_706149] : [tptpcol_16_29490(_706149), -(isa(_706149, c_tptpcol_16_29490))], (3578 ^ _597613) ^ [_706351, _706353] : [tptp_9_720(_706353, _706351), -(tptpcol_5_28674(_706351))], (3584 ^ _597613) ^ [_706559, _706561] : [tptp_9_720(_706561, _706559), -(executionbyfiringsquad(_706561))], (3590 ^ _597613) ^ [_706753] : [isa(_706753, c_runningshorts), -(runningshorts(_706753))], (3596 ^ _597613) ^ [_706941] : [runningshorts(_706941), -(isa(_706941, c_runningshorts))], (3602 ^ _597613) ^ [_707129] : [isa(_707129, c_tptpcol_9_118019), -(tptpcol_9_118019(_707129))], (3608 ^ _597613) ^ [_707317] : [tptpcol_9_118019(_707317), -(isa(_707317, c_tptpcol_9_118019))], (3614 ^ _597613) ^ [_707505] : [isa(_707505, c_tptpcol_16_31868), -(tptpcol_16_31868(_707505))], (3620 ^ _597613) ^ [_707693] : [tptpcol_16_31868(_707693), -(isa(_707693, c_tptpcol_16_31868))], (3626 ^ _597613) ^ [_707881] : [isa(_707881, c_movement_translationevent), -(movement_translationevent(_707881))], (3632 ^ _597613) ^ [_708069] : [movement_translationevent(_708069), -(isa(_708069, c_movement_translationevent))], (3638 ^ _597613) ^ [_708271, _708273] : [directionoftranslation_throughout(_708273, _708271), -(unitvectorinterval(_708271))], (3644 ^ _597613) ^ [_708479, _708481] : [directionoftranslation_throughout(_708481, _708479), -(movement_translationevent(_708481))], (3650 ^ _597613) ^ [_708701, _708703, _708705] : [-(directionoftranslation_throughout(_708701, _708703)), directionoftranslation_throughout(_708705, _708703), subevents(_708705, _708701)], (3660 ^ _597613) ^ [_708996] : [isa(_708996, c_unitvectorinterval), -(unitvectorinterval(_708996))], (3666 ^ _597613) ^ [_709184] : [unitvectorinterval(_709184), -(isa(_709184, c_unitvectorinterval))], (3672 ^ _597613) ^ [_709372] : [isa(_709372, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709372))], (3678 ^ _597613) ^ [_709560] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709560), -(isa(_709560, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _597613) ^ [_709762, _709764] : [tptp_8_875(_709764, _709762), -(tptpcol_4_24578(_709762))], (3690 ^ _597613) ^ [_709970, _709972] : [tptp_8_875(_709972, _709970), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709972))], (3696 ^ _597613) ^ [_710192, _710194, _710196] : [relationallexists(_710196, _710194, _710192), -(collection(_710192))], (3702 ^ _597613) ^ [_710422, _710424, _710426] : [relationallexists(_710426, _710424, _710422), -(collection(_710424))], (3708 ^ _597613) ^ [_710652, _710654, _710656] : [relationallexists(_710656, _710654, _710652), -(binarypredicate(_710656))], (3714 ^ _597613) ^ [_710854] : [isa(_710854, c_tptpcol_16_10258), -(tptpcol_16_10258(_710854))], (3720 ^ _597613) ^ [_711042] : [tptpcol_16_10258(_711042), -(isa(_711042, c_tptpcol_16_10258))], (3726 ^ _597613) ^ [_711230] : [isa(_711230, c_pushingababycarriage), -(pushingababycarriage(_711230))], (3732 ^ _597613) ^ [_711418] : [pushingababycarriage(_711418), -(isa(_711418, c_pushingababycarriage))], (3738 ^ _597613) ^ [_711606] : [isa(_711606, c_aspatialinformationstore), -(aspatialinformationstore(_711606))], (3744 ^ _597613) ^ [_711794] : [aspatialinformationstore(_711794), -(isa(_711794, c_aspatialinformationstore))], (3750 ^ _597613) ^ [_711982] : [isa(_711982, c_collection), -(collection(_711982))], (3756 ^ _597613) ^ [_712170] : [collection(_712170), -(isa(_712170, c_collection))], (3762 ^ _597613) ^ [_712358] : [isa(_712358, c_fixedordercollection), -(fixedordercollection(_712358))], (3768 ^ _597613) ^ [_712546] : [fixedordercollection(_712546), -(isa(_712546, c_fixedordercollection))], (3774 ^ _597613) ^ [_712734] : [isa(_712734, c_tptpcol_8_92164), -(tptpcol_8_92164(_712734))], (3780 ^ _597613) ^ [_712922] : [tptpcol_8_92164(_712922), -(isa(_712922, c_tptpcol_8_92164))], (3786 ^ _597613) ^ [_713110] : [isa(_713110, c_tptpcol_9_92165), -(tptpcol_9_92165(_713110))], (3792 ^ _597613) ^ [_713298] : [tptpcol_9_92165(_713298), -(isa(_713298, c_tptpcol_9_92165))], (3798 ^ _597613) ^ [_713486] : [isa(_713486, c_tptpcol_1_1), -(tptpcol_1_1(_713486))], (3804 ^ _597613) ^ [_713674] : [tptpcol_1_1(_713674), -(isa(_713674, c_tptpcol_1_1))], (3810 ^ _597613) ^ [_713862] : [isa(_713862, c_tptpcol_2_2), -(tptpcol_2_2(_713862))], (3816 ^ _597613) ^ [_714050] : [tptpcol_2_2(_714050), -(isa(_714050, c_tptpcol_2_2))], (3822 ^ _597613) ^ [_714252, _714254] : [tptptypes_7_691(_714254, _714252), -(firstordercollection(_714252))], (3828 ^ _597613) ^ [_714460, _714462] : [tptptypes_7_691(_714462, _714460), -(firstordercollection(_714462))], (3834 ^ _597613) ^ [_714654] : [isa(_714654, c_tptpcol_11_26887), -(tptpcol_11_26887(_714654))], (3840 ^ _597613) ^ [_714842] : [tptpcol_11_26887(_714842), -(isa(_714842, c_tptpcol_11_26887))], (3846 ^ _597613) ^ [_715030] : [isa(_715030, c_tptpcol_12_26919), -(tptpcol_12_26919(_715030))], (3852 ^ _597613) ^ [_715218] : [tptpcol_12_26919(_715218), -(isa(_715218, c_tptpcol_12_26919))], (3858 ^ _597613) ^ [_715420, _715422] : [tptptypes_6_818(_715422, _715420), -(firstordercollection(_715420))], (3864 ^ _597613) ^ [_715628, _715630] : [tptptypes_6_818(_715630, _715628), -(firstordercollection(_715630))], (3870 ^ _597613) ^ [_715836, _715838] : [tptptypes_7_819(_715838, _715836), -(firstordercollection(_715836))], (3876 ^ _597613) ^ [_716044, _716046] : [tptptypes_7_819(_716046, _716044), -(firstordercollection(_716046))], (3882 ^ _597613) ^ [_716238] : [isa(_716238, c_correctivelensprescription), -(correctivelensprescription(_716238))], (3888 ^ _597613) ^ [_716426] : [correctivelensprescription(_716426), -(isa(_716426, c_correctivelensprescription))], (3894 ^ _597613) ^ [_716628, _716630] : [products(_716630, _716628), -(artifact(_716628))], (3900 ^ _597613) ^ [_716836, _716838] : [products(_716838, _716836), -(creationordestructionevent(_716838))], (3906 ^ _597613) ^ [_717030] : [isa(_717030, c_issuingaprescription), -(issuingaprescription(_717030))], (3912 ^ _597613) ^ [_717218] : [issuingaprescription(_717218), -(isa(_717218, c_issuingaprescription))], (3918 ^ _597613) ^ [_717419, _717421, _717423] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_717423, _717421, _717419), c_subcollectionofwithrelationtotypefn))], (3920 ^ _597613) ^ [_717533, _717535, _717537] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717537, _717535, _717533), n_1, _717537))], (3922 ^ _597613) ^ [_717648, _717650, _717652] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717652, _717650, _717648), n_2, _717650))], (3924 ^ _597613) ^ [_717763, _717765, _717767] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717767, _717765, _717763), n_3, _717763))], (3926 ^ _597613) ^ [_717878, _717880, _717882] : [-(collection(f_subcollectionofwithrelationtotypefn(_717882, _717880, _717878)))], (3928 ^ _597613) ^ [_717978] : [isa(_717978, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717978))], (3934 ^ _597613) ^ [_718166] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_718166), -(isa(_718166, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _597613) ^ [_718354] : [isa(_718354, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_718354))], (3946 ^ _597613) ^ [_718542] : [mathematicalorcomputationalthing(_718542), -(isa(_718542, c_mathematicalorcomputationalthing))], (3952 ^ _597613) ^ [_718730] : [isa(_718730, c_tptpcol_10_118020), -(tptpcol_10_118020(_718730))], (3958 ^ _597613) ^ [_718918] : [tptpcol_10_118020(_718918), -(isa(_718918, c_tptpcol_10_118020))], (3964 ^ _597613) ^ [_719106] : [isa(_719106, c_tptpcol_11_118084), -(tptpcol_11_118084(_719106))], (3970 ^ _597613) ^ [_719294] : [tptpcol_11_118084(_719294), -(isa(_719294, c_tptpcol_11_118084))], (3976 ^ _597613) ^ [_719482] : [isa(_719482, c_terroristgroup), -(terroristgroup(_719482))], (3982 ^ _597613) ^ [_719670] : [terroristgroup(_719670), -(isa(_719670, c_terroristgroup))], (3988 ^ _597613) ^ [_719872, _719874] : [hasmembers(_719874, _719872), -(agent_generic(_719872))], (3994 ^ _597613) ^ [_720080, _720082] : [hasmembers(_720082, _720080), -(organization(_720082))], (4000 ^ _597613) ^ [_720274] : [isa(_720274, c_terrorist), -(terrorist(_720274))], (4006 ^ _597613) ^ [_720462] : [terrorist(_720462), -(isa(_720462, c_terrorist))], (4012 ^ _597613) ^ [_720663, _720665, _720667] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_720667, _720665, _720663), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _597613) ^ [_720777, _720779, _720781] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720781, _720779, _720777), n_1, _720781))], (4016 ^ _597613) ^ [_720892, _720894, _720896] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720896, _720894, _720892), n_2, _720894))], (4018 ^ _597613) ^ [_721007, _721009, _721011] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_721011, _721009, _721007), n_3, _721007))], (4020 ^ _597613) ^ [_721122, _721124, _721126] : [-(collection(f_subcollectionofwithrelationfromtypefn(_721126, _721124, _721122)))], (4022 ^ _597613) ^ [_721222] : [isa(_721222, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721222))], (4028 ^ _597613) ^ [_721410] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721410), -(isa(_721410, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _597613) ^ [_721612, _721614] : [prettystring(_721614, _721612), -(controlcharacterfreestring(_721612))], (4040 ^ _597613) ^ [_721820, _721822] : [prettystring(_721822, _721820), -(thing(_721822))], (4046 ^ _597613) ^ [_722014] : [isa(_722014, c_tptpcol_0_0), -(tptpcol_0_0(_722014))], (4052 ^ _597613) ^ [_722202] : [tptpcol_0_0(_722202), -(isa(_722202, c_tptpcol_0_0))], (4058 ^ _597613) ^ [_722390] : [isa(_722390, c_geolevel_3), -(geolevel_3(_722390))], (4064 ^ _597613) ^ [_722578] : [geolevel_3(_722578), -(isa(_722578, c_geolevel_3))], (4070 ^ _597613) ^ [_722766] : [isa(_722766, c_tptpcol_4_24578), -(tptpcol_4_24578(_722766))], (4076 ^ _597613) ^ [_722954] : [tptpcol_4_24578(_722954), -(isa(_722954, c_tptpcol_4_24578))], (4082 ^ _597613) ^ [_723142] : [isa(_723142, c_tptpcol_5_24579), -(tptpcol_5_24579(_723142))], (4088 ^ _597613) ^ [_723330] : [tptpcol_5_24579(_723330), -(isa(_723330, c_tptpcol_5_24579))], (4094 ^ _597613) ^ [_723518] : [isa(_723518, c_tptpcol_5_106498), -(tptpcol_5_106498(_723518))], (4100 ^ _597613) ^ [_723706] : [tptpcol_5_106498(_723706), -(isa(_723706, c_tptpcol_5_106498))], (4106 ^ _597613) ^ [_723894] : [isa(_723894, c_tptpcol_12_109157), -(tptpcol_12_109157(_723894))], (4112 ^ _597613) ^ [_724082] : [tptpcol_12_109157(_724082), -(isa(_724082, c_tptpcol_12_109157))], (4118 ^ _597613) ^ [_724270] : [isa(_724270, c_tptpcol_13_109173), -(tptpcol_13_109173(_724270))], (4124 ^ _597613) ^ [_724458] : [tptpcol_13_109173(_724458), -(isa(_724458, c_tptpcol_13_109173))], (4130 ^ _597613) ^ [_724646] : [isa(_724646, c_mathematicalthing), -(mathematicalthing(_724646))], (4136 ^ _597613) ^ [_724834] : [mathematicalthing(_724834), -(isa(_724834, c_mathematicalthing))], (4142 ^ _597613) ^ [_725022] : [isa(_725022, c_setorcollection), -(setorcollection(_725022))], (4148 ^ _597613) ^ [_725210] : [setorcollection(_725210), -(isa(_725210, c_setorcollection))], (4154 ^ _597613) ^ [_725398] : [isa(_725398, c_tptpcol_11_18631), -(tptpcol_11_18631(_725398))], (4160 ^ _597613) ^ [_725586] : [tptpcol_11_18631(_725586), -(isa(_725586, c_tptpcol_11_18631))], (4166 ^ _597613) ^ [_725774] : [isa(_725774, c_tptpcol_12_18663), -(tptpcol_12_18663(_725774))], (4172 ^ _597613) ^ [_725962] : [tptpcol_12_18663(_725962), -(isa(_725962, c_tptpcol_12_18663))], (4178 ^ _597613) ^ [_726164, _726166] : [tptptypes_8_400(_726166, _726164), -(firstordercollection(_726164))], (4184 ^ _597613) ^ [_726372, _726374] : [tptptypes_8_400(_726374, _726372), -(firstordercollection(_726374))], (4190 ^ _597613) ^ [_726580, _726582] : [tptptypes_9_401(_726582, _726580), -(firstordercollection(_726580))], (4196 ^ _597613) ^ [_726788, _726790] : [tptptypes_9_401(_726790, _726788), -(firstordercollection(_726790))], (4202 ^ _597613) ^ [_726967] : [-(natfunction(f_tptpquantityfn_13(_726967), c_tptpquantityfn_13))], (4204 ^ _597613) ^ [_727047] : [-(natargument(f_tptpquantityfn_13(_727047), n_1, _727047))], (4206 ^ _597613) ^ [_727128] : [-(tptpquantity(f_tptpquantityfn_13(_727128)))], (4208 ^ _597613) ^ [_727236, _727238] : [borderson(_727238, _727236), -(geographicalregion(_727236))], (4214 ^ _597613) ^ [_727444, _727446] : [borderson(_727446, _727444), -(geographicalregion(_727446))], (4220 ^ _597613) ^ [_727652, _727654] : [borderson(_727654, _727652), -(borderson(_727652, _727654))], (4226 ^ _597613) ^ [_727832] : [borderson(_727832, _727832)], (4228 ^ _597613) ^ [_727925] : [isa(_727925, c_tptpcol_14_92264), -(tptpcol_14_92264(_727925))], (4234 ^ _597613) ^ [_728113] : [tptpcol_14_92264(_728113), -(isa(_728113, c_tptpcol_14_92264))], (4240 ^ _597613) ^ [_728301] : [isa(_728301, c_tptpcol_15_92268), -(tptpcol_15_92268(_728301))], (4246 ^ _597613) ^ [_728489] : [tptpcol_15_92268(_728489), -(isa(_728489, c_tptpcol_15_92268))], (4252 ^ _597613) ^ [_728677] : [isa(_728677, c_tptpcol_6_116738), -(tptpcol_6_116738(_728677))], (4258 ^ _597613) ^ [_728865] : [tptpcol_6_116738(_728865), -(isa(_728865, c_tptpcol_6_116738))], (4264 ^ _597613) ^ [_729067, _729069] : [tptptypes_5_387(_729069, _729067), -(firstordercollection(_729067))], (4270 ^ _597613) ^ [_729275, _729277] : [tptptypes_5_387(_729277, _729275), -(firstordercollection(_729277))], (4276 ^ _597613) ^ [_729483, _729485] : [tptptypes_6_388(_729485, _729483), -(firstordercollection(_729483))], (4282 ^ _597613) ^ [_729691, _729693] : [tptptypes_6_388(_729693, _729691), -(firstordercollection(_729693))], (4288 ^ _597613) ^ [_729885] : [isa(_729885, c_shavingrazor_manual), -(shavingrazor_manual(_729885))], (4294 ^ _597613) ^ [_730073] : [shavingrazor_manual(_730073), -(isa(_730073, c_shavingrazor_manual))], (4300 ^ _597613) ^ [_730261] : [isa(_730261, c_tptpcol_9_109060), -(tptpcol_9_109060(_730261))], (4306 ^ _597613) ^ [_730449] : [tptpcol_9_109060(_730449), -(isa(_730449, c_tptpcol_9_109060))], (4312 ^ _597613) ^ [_730637] : [isa(_730637, c_tptpcol_10_109061), -(tptpcol_10_109061(_730637))], (4318 ^ _597613) ^ [_730825] : [tptpcol_10_109061(_730825), -(isa(_730825, c_tptpcol_10_109061))], (4324 ^ _597613) ^ [_731013] : [isa(_731013, c_executionbyfiringsquad), -(executionbyfiringsquad(_731013))], (4330 ^ _597613) ^ [_731201] : [executionbyfiringsquad(_731201), -(isa(_731201, c_executionbyfiringsquad))], (4336 ^ _597613) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _597613) ^ [_731442] : [isa(_731442, c_navypersonnel), -(navypersonnel(_731442))], (4344 ^ _597613) ^ [_731630] : [navypersonnel(_731630), -(isa(_731630, c_navypersonnel))], (4350 ^ _597613) ^ [_731818] : [isa(_731818, c_tptpcol_12_92262), -(tptpcol_12_92262(_731818))], (4356 ^ _597613) ^ [_732006] : [tptpcol_12_92262(_732006), -(isa(_732006, c_tptpcol_12_92262))], (4362 ^ _597613) ^ [_732194] : [isa(_732194, c_thing), -(thing(_732194))], (4368 ^ _597613) ^ [_732382] : [thing(_732382), -(isa(_732382, c_thing))], (4374 ^ _597613) ^ [_732570] : [isa(_732570, c_computerdataartifact), -(computerdataartifact(_732570))], (4380 ^ _597613) ^ [_732758] : [computerdataartifact(_732758), -(isa(_732758, c_computerdataartifact))], (4386 ^ _597613) ^ [_732946] : [isa(_732946, c_applicationcontext), -(applicationcontext(_732946))], (4392 ^ _597613) ^ [_733134] : [applicationcontext(_733134), -(isa(_733134, c_applicationcontext))], (4398 ^ _597613) ^ [_733336, _733338] : [inregion(_733338, _733336), -(spatialthing_nonsituational(_733336))], (4404 ^ _597613) ^ [_733544, _733546] : [inregion(_733546, _733544), -(spatialthing_nonsituational(_733546))], (4410 ^ _597613) ^ [_733766, _733768, _733770] : [-(inregion(_733770, _733766)), inregion(_733770, _733768), inregion(_733768, _733766)], (4420 ^ _597613) ^ [_734061] : [spatialthing_nonsituational(_734061), -(inregion(_734061, _734061))], (4426 ^ _597613) ^ [_734234] : [-(natfunction(f_tptpquantityfn_1(_734234), c_tptpquantityfn_1))], (4428 ^ _597613) ^ [_734314] : [-(natargument(f_tptpquantityfn_1(_734314), n_1, _734314))], (4430 ^ _597613) ^ [_734395] : [-(tptpquantity(f_tptpquantityfn_1(_734395)))], (4432 ^ _597613) ^ [_734489] : [isa(_734489, c_furpelt), -(furpelt(_734489))], (4438 ^ _597613) ^ [_734677] : [furpelt(_734677), -(isa(_734677, c_furpelt))], (4444 ^ _597613) ^ [_734879, _734881] : [tptpofobject(_734881, _734879), -(tptpquantity(_734879))], (4450 ^ _597613) ^ [_735087, _735089] : [tptpofobject(_735089, _735087), -(partiallytangible(_735089))], (4456 ^ _597613) ^ [_735309, _735311, _735313] : [relationallinstance(_735313, _735311, _735309), -(thing(_735309))], (4462 ^ _597613) ^ [_735539, _735541, _735543] : [relationallinstance(_735543, _735541, _735539), -(collection(_735541))], (4468 ^ _597613) ^ [_735769, _735771, _735773] : [relationallinstance(_735773, _735771, _735769), -(binarypredicate(_735773))], (4474 ^ _597613) ^ [_735971] : [isa(_735971, c_tptpcol_13_93766), -(tptpcol_13_93766(_735971))], (4480 ^ _597613) ^ [_736159] : [tptpcol_13_93766(_736159), -(isa(_736159, c_tptpcol_13_93766))], (4486 ^ _597613) ^ [_736347] : [isa(_736347, c_tptpcol_9_40196), -(tptpcol_9_40196(_736347))], (4492 ^ _597613) ^ [_736535] : [tptpcol_9_40196(_736535), -(isa(_736535, c_tptpcol_9_40196))], (4498 ^ _597613) ^ [_736723] : [isa(_736723, c_tptpcol_10_40324), -(tptpcol_10_40324(_736723))], (4504 ^ _597613) ^ [_736911] : [tptpcol_10_40324(_736911), -(isa(_736911, c_tptpcol_10_40324))], (4510 ^ _597613) ^ [_737099] : [isa(_737099, c_tptpcol_7_72707), -(tptpcol_7_72707(_737099))], (4516 ^ _597613) ^ [_737287] : [tptpcol_7_72707(_737287), -(isa(_737287, c_tptpcol_7_72707))], (4522 ^ _597613) ^ [_737475] : [isa(_737475, c_tptpcol_8_72708), -(tptpcol_8_72708(_737475))], (4528 ^ _597613) ^ [_737663] : [tptpcol_8_72708(_737663), -(isa(_737663, c_tptpcol_8_72708))], (4534 ^ _597613) ^ [_737851] : [isa(_737851, c_tptpcol_11_93764), -(tptpcol_11_93764(_737851))], (4540 ^ _597613) ^ [_738039] : [tptpcol_11_93764(_738039), -(isa(_738039, c_tptpcol_11_93764))], (4546 ^ _597613) ^ [_738227] : [isa(_738227, c_tptpcol_12_93765), -(tptpcol_12_93765(_738227))], (4552 ^ _597613) ^ [_738415] : [tptpcol_12_93765(_738415), -(isa(_738415, c_tptpcol_12_93765))], (4558 ^ _597613) ^ [_738603] : [isa(_738603, c_tptpcol_4_114689), -(tptpcol_4_114689(_738603))], (4564 ^ _597613) ^ [_738791] : [tptpcol_4_114689(_738791), -(isa(_738791, c_tptpcol_4_114689))], (4570 ^ _597613) ^ [_738979] : [isa(_738979, c_tptpcol_5_114690), -(tptpcol_5_114690(_738979))], (4576 ^ _597613) ^ [_739167] : [tptpcol_5_114690(_739167), -(isa(_739167, c_tptpcol_5_114690))], (4582 ^ _597613) ^ [_739355] : [isa(_739355, c_tptpcol_3_98305), -(tptpcol_3_98305(_739355))], (4588 ^ _597613) ^ [_739543] : [tptpcol_3_98305(_739543), -(isa(_739543, c_tptpcol_3_98305))], (4594 ^ _597613) ^ [_739731] : [isa(_739731, c_tptpcol_4_106497), -(tptpcol_4_106497(_739731))], (4600 ^ _597613) ^ [_739919] : [tptpcol_4_106497(_739919), -(isa(_739919, c_tptpcol_4_106497))], (4606 ^ _597613) ^ [_740134, _740136, _740138, _740140] : [-(natfunction(f_relationexistsallfn(_740140, _740138, _740136, _740134), c_relationexistsallfn))], (4608 ^ _597613) ^ [_740265, _740267, _740269, _740271] : [-(natargument(f_relationexistsallfn(_740271, _740269, _740267, _740265), n_1, _740271))], (4610 ^ _597613) ^ [_740397, _740399, _740401, _740403] : [-(natargument(f_relationexistsallfn(_740403, _740401, _740399, _740397), n_2, _740401))], (4612 ^ _597613) ^ [_740529, _740531, _740533, _740535] : [-(natargument(f_relationexistsallfn(_740535, _740533, _740531, _740529), n_3, _740531))], (4614 ^ _597613) ^ [_740661, _740663, _740665, _740667] : [-(natargument(f_relationexistsallfn(_740667, _740665, _740663, _740661), n_4, _740661))], (4616 ^ _597613) ^ [_740793, _740795, _740797, _740799] : [-(thing(f_relationexistsallfn(_740799, _740797, _740795, _740793)))], (4618 ^ _597613) ^ [_740910, _740912] : [resultisaarg(_740912, _740910), -(positiveinteger(_740910))], (4624 ^ _597613) ^ [_741118, _741120] : [resultisaarg(_741120, _741118), -(function_denotational(_741120))], (4630 ^ _597613) ^ [_741326, _741328] : [tptptypes_7_389(_741328, _741326), -(firstordercollection(_741326))], (4636 ^ _597613) ^ [_741534, _741536] : [tptptypes_7_389(_741536, _741534), -(firstordercollection(_741536))], (4642 ^ _597613) ^ [_741742, _741744] : [tptptypes_8_390(_741744, _741742), -(firstordercollection(_741742))], (4648 ^ _597613) ^ [_741950, _741952] : [tptptypes_8_390(_741952, _741950), -(firstordercollection(_741952))], (4654 ^ _597613) ^ [_742158, _742160] : [tptptypes_8_692(_742160, _742158), -(firstordercollection(_742158))], (4660 ^ _597613) ^ [_742366, _742368] : [tptptypes_8_692(_742368, _742366), -(firstordercollection(_742368))], (4666 ^ _597613) ^ [_742574, _742576] : [tptptypes_9_693(_742576, _742574), -(firstordercollection(_742574))], (4672 ^ _597613) ^ [_742782, _742784] : [tptptypes_9_693(_742784, _742782), -(firstordercollection(_742784))], (4678 ^ _597613) ^ [_742976] : [isa(_742976, c_tptpcol_11_40388), -(tptpcol_11_40388(_742976))], (4684 ^ _597613) ^ [_743164] : [tptpcol_11_40388(_743164), -(isa(_743164, c_tptpcol_11_40388))], (4690 ^ _597613) ^ [_743352] : [isa(_743352, c_marriagelicensedocument), -(marriagelicensedocument(_743352))], (4696 ^ _597613) ^ [_743540] : [marriagelicensedocument(_743540), -(isa(_743540, c_marriagelicensedocument))], (4702 ^ _597613) ^ [_743728] : [isa(_743728, c_tptpcol_1_65536), -(tptpcol_1_65536(_743728))], (4708 ^ _597613) ^ [_743916] : [tptpcol_1_65536(_743916), -(isa(_743916, c_tptpcol_1_65536))], (4714 ^ _597613) ^ [_744104] : [isa(_744104, c_tptpcol_2_98304), -(tptpcol_2_98304(_744104))], (4720 ^ _597613) ^ [_744292] : [tptpcol_2_98304(_744292), -(isa(_744292, c_tptpcol_2_98304))], (4726 ^ _597613) ^ [_744480] : [isa(_744480, c_tptpcol_10_92166), -(tptpcol_10_92166(_744480))], (4732 ^ _597613) ^ [_744668] : [tptpcol_10_92166(_744668), -(isa(_744668, c_tptpcol_10_92166))], (4738 ^ _597613) ^ [_744856] : [isa(_744856, c_tptpcol_11_92230), -(tptpcol_11_92230(_744856))], (4744 ^ _597613) ^ [_745044] : [tptpcol_11_92230(_745044), -(isa(_745044, c_tptpcol_11_92230))], (4750 ^ _597613) ^ [_745232] : [isa(_745232, c_orderingpredicate), -(orderingpredicate(_745232))], (4756 ^ _597613) ^ [_745420] : [orderingpredicate(_745420), -(isa(_745420, c_orderingpredicate))], (4762 ^ _597613) ^ [_745608] : [isa(_745608, c_tptpcol_9_18439), -(tptpcol_9_18439(_745608))], (4768 ^ _597613) ^ [_745796] : [tptpcol_9_18439(_745796), -(isa(_745796, c_tptpcol_9_18439))], (4774 ^ _597613) ^ [_745984] : [isa(_745984, c_tptpcol_10_18567), -(tptpcol_10_18567(_745984))], (4780 ^ _597613) ^ [_746172] : [tptpcol_10_18567(_746172), -(isa(_746172, c_tptpcol_10_18567))], (4786 ^ _597613) ^ [_746360] : [isa(_746360, c_tptpcol_2_65537), -(tptpcol_2_65537(_746360))], (4792 ^ _597613) ^ [_746548] : [tptpcol_2_65537(_746548), -(isa(_746548, c_tptpcol_2_65537))], (4798 ^ _597613) ^ [_746736] : [isa(_746736, c_tptpcol_3_81921), -(tptpcol_3_81921(_746736))], (4804 ^ _597613) ^ [_746924] : [tptpcol_3_81921(_746924), -(isa(_746924, c_tptpcol_3_81921))], (4810 ^ _597613) ^ [_747112] : [isa(_747112, c_artsupplies), -(artsupplies(_747112))], (4816 ^ _597613) ^ [_747300] : [artsupplies(_747300), -(isa(_747300, c_artsupplies))], (4822 ^ _597613) ^ [_747488] : [isa(_747488, c_enduringthing_localized), -(enduringthing_localized(_747488))], (4828 ^ _597613) ^ [_747676] : [enduringthing_localized(_747676), -(isa(_747676, c_enduringthing_localized))], (4834 ^ _597613) ^ [_747864] : [isa(_747864, c_location_underspecified), -(location_underspecified(_747864))], (4840 ^ _597613) ^ [_748052] : [location_underspecified(_748052), -(isa(_748052, c_location_underspecified))], (4846 ^ _597613) ^ [_748240] : [isa(_748240, c_trajector_underspecified), -(trajector_underspecified(_748240))], (4852 ^ _597613) ^ [_748428] : [trajector_underspecified(_748428), -(isa(_748428, c_trajector_underspecified))], (4858 ^ _597613) ^ [_748616] : [isa(_748616, c_individual), -(individual(_748616))], (4864 ^ _597613) ^ [_748804] : [individual(_748804), -(isa(_748804, c_individual))], (4870 ^ _597613) ^ [_748992] : [isa(_748992, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_748992))], (4876 ^ _597613) ^ [_749180] : [partiallyintangibleindividual(_749180), -(isa(_749180, c_partiallyintangibleindividual))], (4882 ^ _597613) ^ [_749368] : [isa(_749368, c_tptpcol_10_22022), -(tptpcol_10_22022(_749368))], (4888 ^ _597613) ^ [_749556] : [tptpcol_10_22022(_749556), -(isa(_749556, c_tptpcol_10_22022))], (4894 ^ _597613) ^ [_749744] : [isa(_749744, c_tptpcol_11_22023), -(tptpcol_11_22023(_749744))], (4900 ^ _597613) ^ [_749932] : [tptpcol_11_22023(_749932), -(isa(_749932, c_tptpcol_11_22023))], (4906 ^ _597613) ^ [_750120] : [isa(_750120, c_tptpcol_5_20483), -(tptpcol_5_20483(_750120))], (4912 ^ _597613) ^ [_750308] : [tptpcol_5_20483(_750308), -(isa(_750308, c_tptpcol_5_20483))], (4918 ^ _597613) ^ [_750496] : [isa(_750496, c_tptpcol_13_72791), -(tptpcol_13_72791(_750496))], (4924 ^ _597613) ^ [_750684] : [tptpcol_13_72791(_750684), -(isa(_750684, c_tptpcol_13_72791))], (4930 ^ _597613) ^ [_750872] : [isa(_750872, c_tptpcol_14_72792), -(tptpcol_14_72792(_750872))], (4936 ^ _597613) ^ [_751060] : [tptpcol_14_72792(_751060), -(isa(_751060, c_tptpcol_14_72792))], (4942 ^ _597613) ^ [_751248] : [isa(_751248, c_ridgeline_topographical), -(ridgeline_topographical(_751248))], (4948 ^ _597613) ^ [_751436] : [ridgeline_topographical(_751436), -(isa(_751436, c_ridgeline_topographical))], (4954 ^ _597613) ^ [_751624] : [isa(_751624, c_tptpcol_4_16387), -(tptpcol_4_16387(_751624))], (4960 ^ _597613) ^ [_751812] : [tptpcol_4_16387(_751812), -(isa(_751812, c_tptpcol_4_16387))], (4966 ^ _597613) ^ [_752000] : [isa(_752000, c_tptpcol_5_16388), -(tptpcol_5_16388(_752000))], (4972 ^ _597613) ^ [_752188] : [tptpcol_5_16388(_752188), -(isa(_752188, c_tptpcol_5_16388))], (4978 ^ _597613) ^ [_752376] : [isa(_752376, c_tptpcol_8_22020), -(tptpcol_8_22020(_752376))], (4984 ^ _597613) ^ [_752564] : [tptpcol_8_22020(_752564), -(isa(_752564, c_tptpcol_8_22020))], (4990 ^ _597613) ^ [_752752] : [isa(_752752, c_tptpcol_9_22021), -(tptpcol_9_22021(_752752))], (4996 ^ _597613) ^ [_752940] : [tptpcol_9_22021(_752940), -(isa(_752940, c_tptpcol_9_22021))], (5002 ^ _597613) ^ [_753128] : [isa(_753128, c_transitivebinarypredicate), -(transitivebinarypredicate(_753128))], (5008 ^ _597613) ^ [_753316] : [transitivebinarypredicate(_753316), -(isa(_753316, c_transitivebinarypredicate))], (5014 ^ _597613) ^ [_753518, _753520] : [geographicalsubregions(_753520, _753518), -(geographicalregion(_753518))], (5020 ^ _597613) ^ [_753726, _753728] : [geographicalsubregions(_753728, _753726), -(geographicalregion(_753728))], (5026 ^ _597613) ^ [_753948, _753950, _753952] : [-(geographicalsubregions(_753952, _753948)), geographicalsubregions(_753952, _753950), geographicalsubregions(_753950, _753948)], (5036 ^ _597613) ^ [_754243] : [geographicalregion(_754243), -(geographicalsubregions(_754243, _754243))], (5042 ^ _597613) ^ [_754431] : [isa(_754431, c_tptpcol_12_40420), -(tptpcol_12_40420(_754431))], (5048 ^ _597613) ^ [_754619] : [tptpcol_12_40420(_754619), -(isa(_754619, c_tptpcol_12_40420))], (5054 ^ _597613) ^ [_754807] : [isa(_754807, c_tptpcol_13_40421), -(tptpcol_13_40421(_754807))], (5060 ^ _597613) ^ [_754995] : [tptpcol_13_40421(_754995), -(isa(_754995, c_tptpcol_13_40421))], (5066 ^ _597613) ^ [_755183] : [isa(_755183, c_tptpcol_6_92162), -(tptpcol_6_92162(_755183))], (5072 ^ _597613) ^ [_755371] : [tptpcol_6_92162(_755371), -(isa(_755371, c_tptpcol_6_92162))], (5078 ^ _597613) ^ [_755559] : [isa(_755559, c_tptpcol_7_93186), -(tptpcol_7_93186(_755559))], (5084 ^ _597613) ^ [_755747] : [tptpcol_7_93186(_755747), -(isa(_755747, c_tptpcol_7_93186))], (5090 ^ _597613) ^ [_755949, _755951] : [most(_755951, _755949), -(setorcollection(_755949))], (5096 ^ _597613) ^ [_756157, _756159] : [most(_756159, _756157), -(setorcollection(_756157))], (5102 ^ _597613) ^ [_756365, _756367] : [most(_756367, _756365), -(setorcollection(_756367))], (5108 ^ _597613) ^ [_756573, _756575] : [most(_756575, _756573), -(setorcollection(_756575))], (5114 ^ _597613) ^ [_756767] : [setorcollection(_756767), -(most(_756767, _756767))], (5120 ^ _597613) ^ [_756955] : [setorcollection(_756955), -(most(_756955, _756955))], (5126 ^ _597613) ^ [_757171, _757173, _757175] : [-(most(_757175, _757171)), most(_757175, _757173), subsetof(_757173, _757171)], (5136 ^ _597613) ^ [_757494, _757496, _757498] : [-(most(_757498, _757494)), most(_757498, _757496), subsetof(_757496, _757494)], (5146 ^ _597613) ^ [_757803, _757805] : [subsetof(_757805, _757803), -(setorcollection(_757803))], (5152 ^ _597613) ^ [_758011, _758013] : [subsetof(_758013, _758011), -(setorcollection(_758013))], (5158 ^ _597613) ^ [_758233, _758235, _758237] : [-(subsetof(_758237, _758233)), subsetof(_758237, _758235), subsetof(_758235, _758233)], (5168 ^ _597613) ^ [_758528] : [setorcollection(_758528), -(subsetof(_758528, _758528))], (5174 ^ _597613) ^ [_758744, _758746, _758748] : [-(subsetof(_758744, _758746)), subsetof(_758748, _758746), subsetof(_758744, _758748)], (5184 ^ _597613) ^ [_759067, _759069, _759071] : [-(subsetof(_759071, _759067)), subsetof(_759071, _759069), subsetof(_759069, _759067)], (5194 ^ _597613) ^ [_759390, _759392, _759394] : [-(subsetof(_759394, _759390)), subsetof(_759394, _759392), subsetof(_759392, _759390)], (5204 ^ _597613) ^ [_759699, _759701] : [genlpreds(_759701, _759699), -(predicate(_759699))], (5210 ^ _597613) ^ [_759907, _759909] : [genlpreds(_759909, _759907), -(predicate(_759907))], (5216 ^ _597613) ^ [_760115, _760117] : [genlpreds(_760117, _760115), -(predicate(_760117))], (5222 ^ _597613) ^ [_760323, _760325] : [genlpreds(_760325, _760323), -(predicate(_760325))], (5228 ^ _597613) ^ [_760545, _760547, _760549] : [-(genlpreds(_760549, _760545)), genlpreds(_760549, _760547), genlpreds(_760547, _760545)], (5238 ^ _597613) ^ [_760840] : [predicate(_760840), -(genlpreds(_760840, _760840))], (5244 ^ _597613) ^ [_761028] : [predicate(_761028), -(genlpreds(_761028, _761028))], (5250 ^ _597613) ^ [_761230, _761232] : [genlinverse(_761232, _761230), -(binarypredicate(_761230))], (5256 ^ _597613) ^ [_761438, _761440] : [genlinverse(_761440, _761438), -(binarypredicate(_761440))], (5262 ^ _597613) ^ [_761660, _761662, _761664] : [-(genlinverse(_761660, _761662)), genlinverse(_761664, _761662), genlpreds(_761660, _761664)], (5272 ^ _597613) ^ [_761983, _761985, _761987] : [-(genlinverse(_761987, _761983)), genlinverse(_761987, _761985), genlpreds(_761985, _761983)], (5282 ^ _597613) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _597613) ^ [_762331] : [isa(_762331, c_microtheory), -(microtheory(_762331))], (5290 ^ _597613) ^ [_762519] : [microtheory(_762519), -(isa(_762519, c_microtheory))], (5296 ^ _597613) ^ [_762692] : [-(natfunction(f_urlfn(_762692), c_urlfn))], (5298 ^ _597613) ^ [_762772] : [-(natargument(f_urlfn(_762772), n_1, _762772))], (5300 ^ _597613) ^ [_762853] : [-(uniformresourcelocator(f_urlfn(_762853)))], (5302 ^ _597613) ^ [_762932] : [-(natfunction(f_urlreferentfn(_762932), c_urlreferentfn))], (5304 ^ _597613) ^ [_763012] : [-(natargument(f_urlreferentfn(_763012), n_1, _763012))], (5306 ^ _597613) ^ [_763093] : [-(computerdataartifact(f_urlreferentfn(_763093)))], (5308 ^ _597613) ^ [_763186, _763188] : [-(natfunction(f_contentmtofcdafromeventfn(_763188, _763186), c_contentmtofcdafromeventfn))], (5310 ^ _597613) ^ [_763283, _763285] : [-(natargument(f_contentmtofcdafromeventfn(_763285, _763283), n_1, _763285))], (5312 ^ _597613) ^ [_763381, _763383] : [-(natargument(f_contentmtofcdafromeventfn(_763383, _763381), n_2, _763381))], (5314 ^ _597613) ^ [_763479, _763481] : [-(microtheory(f_contentmtofcdafromeventfn(_763481, _763479)))], (5316 ^ _597613) ^ [_763590, _763592] : [isa(_763592, _763590), -(collection(_763590))], (5322 ^ _597613) ^ [_763798, _763800] : [isa(_763800, _763798), -(collection(_763798))], (5328 ^ _597613) ^ [_764006, _764008] : [isa(_764008, _764006), -(thing(_764008))], (5334 ^ _597613) ^ [_764214, _764216] : [isa(_764216, _764214), -(thing(_764216))], (5340 ^ _597613) ^ [_764436, _764438, _764440] : [-(isa(_764440, _764436)), isa(_764440, _764438), genls(_764438, _764436)], (5350 ^ _597613) ^ [_764731] : [isa(_764731, c_inanimateobject), -(inanimateobject(_764731))], (5356 ^ _597613) ^ [_764919] : [inanimateobject(_764919), -(isa(_764919, c_inanimateobject))], (5362 ^ _597613) ^ [_765107] : [isa(_765107, c_tptpcol_9_72709), -(tptpcol_9_72709(_765107))], (5368 ^ _597613) ^ [_765295] : [tptpcol_9_72709(_765295), -(isa(_765295, c_tptpcol_9_72709))], (5374 ^ _597613) ^ [_765483] : [isa(_765483, c_tptpcol_10_72710), -(tptpcol_10_72710(_765483))], (5380 ^ _597613) ^ [_765671] : [tptpcol_10_72710(_765671), -(isa(_765671, c_tptpcol_10_72710))], (5386 ^ _597613) ^ [_765859] : [isa(_765859, c_tptpcol_14_40429), -(tptpcol_14_40429(_765859))], (5392 ^ _597613) ^ [_766047] : [tptpcol_14_40429(_766047), -(isa(_766047, c_tptpcol_14_40429))], (5398 ^ _597613) ^ [_766235] : [isa(_766235, c_tptpcol_15_40430), -(tptpcol_15_40430(_766235))], (5404 ^ _597613) ^ [_766423] : [tptpcol_15_40430(_766423), -(isa(_766423, c_tptpcol_15_40430))], (5410 ^ _597613) ^ [_766625, _766627] : [genls(_766627, _766625), -(collection(_766625))], (5416 ^ _597613) ^ [_766833, _766835] : [genls(_766835, _766833), -(collection(_766833))], (5422 ^ _597613) ^ [_767041, _767043] : [genls(_767043, _767041), -(collection(_767043))], (5428 ^ _597613) ^ [_767249, _767251] : [genls(_767251, _767249), -(collection(_767251))], (5434 ^ _597613) ^ [_767471, _767473, _767475] : [-(genls(_767475, _767471)), genls(_767475, _767473), genls(_767473, _767471)], (5444 ^ _597613) ^ [_767766] : [collection(_767766), -(genls(_767766, _767766))], (5450 ^ _597613) ^ [_767954] : [collection(_767954), -(genls(_767954, _767954))], (5456 ^ _597613) ^ [_768170, _768172, _768174] : [-(genls(_768170, _768172)), genls(_768174, _768172), genls(_768170, _768174)], (5466 ^ _597613) ^ [_768493, _768495, _768497] : [-(genls(_768497, _768493)), genls(_768497, _768495), genls(_768495, _768493)], (5476 ^ _597613) ^ [_768788] : [isa(_768788, c_partiallytangible), -(partiallytangible(_768788))], (5482 ^ _597613) ^ [_768976] : [partiallytangible(_768976), -(isa(_768976, c_partiallytangible))], (5488 ^ _597613) ^ [_769164] : [isa(_769164, c_intangible), -(intangible(_769164))], (5494 ^ _597613) ^ [_769352] : [intangible(_769352), -(isa(_769352, c_intangible))], (5500 ^ _597613) ^ [_769554, _769556] : [disjointwith(_769556, _769554), -(collection(_769554))], (5506 ^ _597613) ^ [_769762, _769764] : [disjointwith(_769764, _769762), -(collection(_769764))], (5512 ^ _597613) ^ [_769970, _769972] : [disjointwith(_769972, _769970), -(disjointwith(_769970, _769972))], (5518 ^ _597613) ^ [_770194, _770196, _770198] : [-(disjointwith(_770198, _770194)), disjointwith(_770198, _770196), genls(_770194, _770196)], (5528 ^ _597613) ^ [_770517, _770519, _770521] : [-(disjointwith(_770517, _770519)), disjointwith(_770521, _770519), genls(_770517, _770521)], (5538 ^ _597613) ^ [_770826, _770828] : [-(mtvisible(_770826)), mtvisible(_770828), genlmt(_770828, _770826)], (5548 ^ _597613) ^ [_771121, _771123] : [genlmt(_771123, _771121), -(microtheory(_771121))], (5554 ^ _597613) ^ [_771329, _771331] : [genlmt(_771331, _771329), -(microtheory(_771329))], (5560 ^ _597613) ^ [_771537, _771539] : [genlmt(_771539, _771537), -(microtheory(_771539))], (5566 ^ _597613) ^ [_771745, _771747] : [genlmt(_771747, _771745), -(microtheory(_771747))], (5572 ^ _597613) ^ [_771967, _771969, _771971] : [-(genlmt(_771971, _771967)), genlmt(_771971, _771969), genlmt(_771969, _771967)], (5582 ^ _597613) ^ [_772262] : [microtheory(_772262), -(genlmt(_772262, _772262))], (5594 ^ _597613) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _597613) ^ [_772450] : [microtheory(_772450), -(genlmt(_772450, _772450))]], input).
% 0.44/1.38  ncf('1',plain,[geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l4_x45_y72)],start(5598 ^ 0)).
% 0.44/1.38  ncf('1.1',plain,[-(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l4_x45_y72)), geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24), geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72)],extension(5026 ^ 1,bind([[_753948, _753950, _753952], [c_georegion_l4_x45_y72, c_georegion_l3_x15_y24, c_georegion_l2_x5_y8]]))).
% 0.44/1.38  ncf('1.1.1',plain,[-(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24)), mtvisible(c_tptpgeo_member7_mt)],extension(1068 ^ 2)).
% 0.44/1.38  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3)).
% 0.44/1.38  ncf('1.1.2',plain,[-(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72)), mtvisible(c_tptpgeo_member7_mt)],extension(744 ^ 2)).
% 0.44/1.38  ncf('1.1.2.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3)).
% 0.44/1.38  %-----------------------------------------------------
% 0.44/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------