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

% Computer : n004.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:51:34 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : CSR059+2 : TPTP v8.1.2. Released v3.4.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n004.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:46:39 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.43/1.39  
% 0.43/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.43/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.43/1.39  %-----------------------------------------------------
% 0.43/1.39  ncf(matrix, plain, [(5596 ^ _601740) ^ [] : [-(mtvisible(c_tptpgeo_spindlecollectormt))], (5598 ^ _601740) ^ [] : [borderson(c_georegion_l4_x57_y47, c_georegion_l4_x56_y47)], (2 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _601740) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _601740) ^ [_601945] : [intangible(_601945), partiallytangible(_601945)], (12 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _601740) ^ [_602183] : [tptpcol_15_40430(_602183), -(tptpcol_14_40429(_602183))], (20 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _601740) ^ [_602422] : [tptpcol_10_72710(_602422), -(tptpcol_9_72709(_602422))], (28 ^ _601740) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _601740) ^ [_602661] : [inanimateobject(_602661), -(partiallytangible(_602661))], (36 ^ _601740) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _601740) ^ [_602928, _602930, _602932] : [-(genlpreds(_602932, _602928)), genlinverse(_602932, _602930), genlinverse(_602930, _602928)], (48 ^ _601740) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _601740) ^ [_603290, _603292] : [subsetof(_603292, _603290), -(most(_603292, _603290))], (56 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _601740) ^ [_603539] : [tptpcol_7_93186(_603539), -(tptpcol_6_92162(_603539))], (64 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _601740) ^ [_603778] : [tptpcol_13_40421(_603778), -(tptpcol_12_40420(_603778))], (72 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _601740) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _601740) ^ [_604242] : [tptpcol_9_22021(_604242), -(tptpcol_8_22020(_604242))], (90 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _601740) ^ [_604481] : [tptpcol_5_16388(_604481), -(tptpcol_4_16387(_604481))], (98 ^ _601740) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _601740) ^ [_604839] : [tptpcol_14_72792(_604839), -(tptpcol_13_72791(_604839))], (112 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _601740) ^ [_605078] : [tptpcol_5_20483(_605078), -(tptpcol_4_16387(_605078))], (120 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _601740) ^ [_605317] : [tptpcol_11_22023(_605317), -(tptpcol_10_22022(_605317))], (128 ^ _601740) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _601740) ^ [_605556] : [partiallyintangibleindividual(_605556), -(individual(_605556))], (136 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _601740) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _601740) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _601740) ^ [_605901] : [trajector_underspecified(_605901), -(location_underspecified(_605901))], (148 ^ _601740) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _601740) ^ [_606140] : [partiallytangible(_606140), -(enduringthing_localized(_606140))], (156 ^ _601740) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _601740) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _601740) ^ [_606498] : [tptpcol_3_81921(_606498), -(tptpcol_2_65537(_606498))], (170 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _601740) ^ [_606737] : [tptpcol_10_18567(_606737), -(tptpcol_9_18439(_606737))], (178 ^ _601740) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _601740) ^ [_606976] : [orderingpredicate(_606976), -(transitivebinarypredicate(_606976))], (186 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _601740) ^ [_607215] : [tptpcol_11_92230(_607215), -(tptpcol_10_92166(_607215))], (194 ^ _601740) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _601740) ^ [_607454] : [tptpcol_2_98304(_607454), -(tptpcol_1_65536(_607454))], (202 ^ _601740) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _601740) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _601740) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _601740) ^ [_607918] : [tptpcol_12_40420(_607918), -(tptpcol_11_40388(_607918))], (220 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _601740) ^ [_608171, _608173] : [tptptypes_9_693(_608173, _608171), -(tptptypes_8_692(_608173, _608171))], (228 ^ _601740) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _601740) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _601740) ^ [_608540, _608542] : [tptptypes_8_390(_608542, _608540), -(tptptypes_7_389(_608542, _608540))], (240 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _601740) ^ [_608884, _608886, _608888, _608890] : [-(isa(f_relationexistsallfn(_608890, _608886, _608884, _608888), _608884)), isa(_608890, _608888), relationexistsall(_608886, _608884, _608888)], (254 ^ _601740) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _601740) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _601740) ^ [_609413] : [tptpcol_4_106497(_609413), -(tptpcol_3_98305(_609413))], (268 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _601740) ^ [_609652] : [tptpcol_5_114690(_609652), -(tptpcol_4_114689(_609652))], (276 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _601740) ^ [_609891] : [tptpcol_12_93765(_609891), -(tptpcol_11_93764(_609891))], (284 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _601740) ^ [_610130] : [tptpcol_8_72708(_610130), -(tptpcol_7_72707(_610130))], (292 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _601740) ^ [_610369] : [tptpcol_10_40324(_610369), -(tptpcol_9_40196(_610369))], (300 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _601740) ^ [_610608] : [tptpcol_13_93766(_610608), -(tptpcol_12_93765(_610608))], (308 ^ _601740) ^ [_610794] : [-(tptpofobject(_610794, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_610794)], (318 ^ _601740) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _601740) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _601740) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _601740) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _601740) ^ [_611458] : [location_underspecified(_611458), -(thing(_611458))], (342 ^ _601740) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _601740) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _601740) ^ [_611803] : [tptpcol_12_92262(_611803), -(tptpcol_11_92230(_611803))], (354 ^ _601740) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _601740) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _601740) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _601740) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _601740) ^ [_612320] : [tptpcol_10_109061(_612320), -(tptpcol_9_109060(_612320))], (374 ^ _601740) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _601740) ^ [_612626, _612628] : [tptptypes_6_388(_612628, _612626), -(tptptypes_5_387(_612628, _612626))], (384 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _601740) ^ [_612875] : [tptpcol_6_116738(_612875), -(tptpcol_5_114690(_612875))], (392 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _601740) ^ [_613114] : [tptpcol_15_92268(_613114), -(tptpcol_14_92264(_613114))], (400 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _601740) ^ [_613419] : [-(tptpofobject(_613419, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_613419)], (416 ^ _601740) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _601740) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _601740) ^ [_613872, _613874] : [tptptypes_9_401(_613874, _613872), -(tptptypes_8_400(_613872, _613874))], (430 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _601740) ^ [_614121] : [tptpcol_12_18663(_614121), -(tptpcol_11_18631(_614121))], (438 ^ _601740) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _601740) ^ [_614360] : [setorcollection(_614360), -(mathematicalthing(_614360))], (446 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _601740) ^ [_614599] : [tptpcol_13_109173(_614599), -(tptpcol_12_109157(_614599))], (454 ^ _601740) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _601740) ^ [_614891] : [tptpcol_5_106498(_614891), -(tptpcol_4_106497(_614891))], (464 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _601740) ^ [_615130] : [tptpcol_5_24579(_615130), -(tptpcol_4_24578(_615130))], (472 ^ _601740) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _601740) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _601740) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _601740) ^ [_615660] : [tptpcol_1_65536(_615660), -(tptpcol_0_0(_615660))], (494 ^ _601740) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _601740) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _601740) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _601740) ^ [_616085, _616087] : [geographicalsubregions(_616087, _616085), -(inregion(_616085, _616087))], (510 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _601740) ^ [_616334] : [tptpcol_11_118084(_616334), -(tptpcol_10_118020(_616334))], (518 ^ _601740) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _601740) ^ [_616573] : [mathematicalorcomputationalthing(_616573), -(intangible(_616573))], (526 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _601740) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _601740) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _601740) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _601740) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _601740) ^ [_617091, _617093] : [tptptypes_7_819(_617093, _617091), -(tptptypes_6_818(_617093, _617091))], (544 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _601740) ^ [_617393] : [tptpcol_12_26919(_617393), -(tptpcol_11_26887(_617393))], (554 ^ _601740) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _601740) ^ [_617646, _617648] : [tptptypes_8_692(_617648, _617646), -(tptptypes_7_691(_617646, _617648))], (562 ^ _601740) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _601740) ^ [_617895] : [tptpcol_2_2(_617895), -(tptpcol_1_1(_617895))], (570 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _601740) ^ [_618187] : [tptpcol_9_92165(_618187), -(tptpcol_8_92164(_618187))], (580 ^ _601740) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _601740) ^ [_618426] : [fixedordercollection(_618426), -(collection(_618426))], (588 ^ _601740) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _601740) ^ [_618665] : [tptpcol_1_1(_618665), tptpcol_1_65536(_618665)], (596 ^ _601740) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _601740) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _601740) ^ [_618956] : [microtheory(_618956), -(aspatialinformationstore(_618956))], (606 ^ _601740) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _601740) ^ [_619261] : [-(tptp_8_875(_619261, f_relationallexistsfn(_619261, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_619261, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _601740) ^ [] : [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 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _601740) ^ [_619712] : [tptpcol_10_118020(_619712), -(tptpcol_9_118019(_619712))], (636 ^ _601740) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _601740) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _601740) ^ [_620070] : [-(tptp_9_720(_620070, f_relationallexistsfn(_620070, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_620070)], (654 ^ _601740) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _601740) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _601740) ^ [_620519] : [individual(_620519), setorcollection(_620519)], (668 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _601740) ^ [_620757] : [tptpcol_12_22055(_620757), -(tptpcol_11_22023(_620757))], (676 ^ _601740) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _601740) ^ [_620996] : [applicationcontext(_620996), -(microtheory(_620996))], (684 ^ _601740) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _601740) ^ [_621302, _621304] : [tptptypes_8_400(_621304, _621302), -(tptptypes_7_396(_621304, _621302))], (694 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _601740) ^ [_621551] : [tptpcol_11_18631(_621551), -(tptpcol_10_18567(_621551))], (702 ^ _601740) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _601740) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _601740) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _601740) ^ [_621962] : [mathematicalthing(_621962), -(mathematicalorcomputationalthing(_621962))], (718 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _601740) ^ [_622254] : [tptpcol_15_93775(_622254), -(tptpcol_14_93774(_622254))], (728 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _601740) ^ [_622493] : [tptpcol_8_109059(_622493), -(tptpcol_7_108547(_622493))], (736 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _601740) ^ [_622732] : [tptpcol_14_40429(_622732), -(tptpcol_13_40421(_622732))], (744 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _601740) ^ [_623090] : [tptpcol_14_22072(_623090), -(tptpcol_13_22071(_623090))], (758 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _601740) ^ [_623329] : [tptpcol_14_93774(_623329), -(tptpcol_13_93766(_623329))], (766 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _601740) ^ [_623568] : [tptpcol_10_22022(_623568), -(tptpcol_9_22021(_623568))], (774 ^ _601740) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _601740) ^ [_623807] : [inanimateobject_nonnatural(_623807), -(inanimateobject(_623807))], (782 ^ _601740) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _601740) ^ [_624152] : [tptpcol_9_72709(_624152), -(tptpcol_8_72708(_624152))], (794 ^ _601740) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _601740) ^ [_624391] : [-(tptpofobject(_624391, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_624391)], (806 ^ _601740) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _601740) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _601740) ^ [_624830] : [firstordercollection(_624830), -(fixedordercollection(_624830))], (820 ^ _601740) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _601740) ^ [_625241] : [tptpcol_13_18664(_625241), -(tptpcol_12_18663(_625241))], (836 ^ _601740) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _601740) ^ [_625480] : [artifact(_625480), -(inanimateobject_nonnatural(_625480))], (844 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _601740) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _601740) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _601740) ^ [_625878] : [tptpcol_7_113665(_625878), -(tptpcol_6_112641(_625878))], (858 ^ _601740) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _601740) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _601740) ^ [_626236] : [geographicalregion(_626236), -(partiallytangible(_626236))], (872 ^ _601740) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _601740) ^ [_626489, _626491] : [disjointwith(_626491, _626489), -(no(_626491, _626489))], (880 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _601740) ^ [_626738] : [tptpcol_4_24578(_626738), -(tptpcol_3_16386(_626738))], (888 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _601740) ^ [_626977] : [tptpcol_5_69635(_626977), -(tptpcol_4_65539(_626977))], (896 ^ _601740) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _601740) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _601740) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _601740) ^ [_627336, _627338] : [genls(_627338, _627336), -(collection(_627338))], (908 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _601740) ^ [_627583] : [tptpcol_13_22071(_627583), -(tptpcol_12_22055(_627583))], (916 ^ _601740) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _601740) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _601740) ^ [_627875] : [tptpcol_3_98305(_627875), -(tptpcol_2_98304(_627875))], (926 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _601740) ^ [_628114] : [tptpcol_4_114689(_628114), -(tptpcol_3_114688(_628114))], (934 ^ _601740) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _601740) ^ [_628353] : [artsupplies(_628353), -(supplies(_628353))], (942 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _601740) ^ [_628592] : [tptpcol_8_26629(_628592), -(tptpcol_7_26628(_628592))], (950 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _601740) ^ [_628831] : [tptpcol_9_109060(_628831), -(tptpcol_8_109059(_628831))], (958 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _601740) ^ [_629070] : [isa(_629070, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_629070, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _629070))], (966 ^ _601740) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _601740) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _601740) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _601740) ^ [_629654] : [tptpcol_14_109181(_629654), -(tptpcol_13_109173(_629654))], (988 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _601740) ^ [_629893] : [tptpcol_16_30972(_629893), -(tptpcol_15_30970(_629893))], (996 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _601740) ^ [_630185] : [tptpcol_9_18439(_630185), -(tptpcol_8_18438(_630185))], (1006 ^ _601740) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _601740) ^ [_630477] : [tptpcol_12_118116(_630477), -(tptpcol_11_118084(_630477))], (1016 ^ _601740) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _601740) ^ [_630769] : [tptpcol_7_26628(_630769), -(tptpcol_6_26627(_630769))], (1026 ^ _601740) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _601740) ^ [_631022, _631024] : [most(_631024, _631022), -(setorcollection(_631024))], (1034 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _601740) ^ [_631269] : [tptpcol_15_109185(_631269), -(tptpcol_14_109181(_631269))], (1042 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _601740) ^ [_631508] : [tptpcol_16_92269(_631508), -(tptpcol_15_92268(_631508))], (1050 ^ _601740) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _601740) ^ [_631814, _631816] : [tptptypes_8_823(_631816, _631814), -(tptptypes_7_819(_631816, _631814))], (1060 ^ _601740) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _601740) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _601740) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _601740) ^ [_632394] : [tptpcol_10_26886(_632394), -(tptpcol_9_26885(_632394))], (1082 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _601740) ^ [_632686] : [tptpcol_15_72793(_632686), -(tptpcol_14_72792(_632686))], (1092 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _601740) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _601740) ^ [_633044] : [navypersonnel(_633044), -(militaryperson(_633044))], (1106 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _601740) ^ [_633283] : [tptpcol_4_16387(_633283), -(tptpcol_3_16386(_633283))], (1114 ^ _601740) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _601740) ^ [_633522] : [enduringthing_localized(_633522), -(spatialthing_nonsituational(_633522))], (1122 ^ _601740) ^ [_633708] : [collection(_633708), individual(_633708)], (1128 ^ _601740) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _601740) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _601740) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _601740) ^ [_634237] : [physicalorderingpredicate(_634237), -(orderingpredicate(_634237))], (1150 ^ _601740) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _601740) ^ [_634490, _634492] : [disjointwith(_634492, _634490), -(collection(_634490))], (1158 ^ _601740) ^ [_634726, _634728, _634730, _634732] : [-(isa(f_relationallexistsfn(_634732, _634728, _634730, _634726), _634726)), isa(_634732, _634730), relationallexists(_634728, _634730, _634726)], (1168 ^ _601740) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _601740) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _601740) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _601740) ^ [_635335, _635337] : [tptptypes_7_389(_635337, _635335), -(tptptypes_6_388(_635335, _635337))], (1186 ^ _601740) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _601740) ^ [_635650] : [-(hpkb_subnationalagent(_635650)), mtvisible(c_hpkbvocabmt), state_geopolitical(_635650)], (1202 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _601740) ^ [_635968] : [tptpcol_8_22020(_635968), -(tptpcol_7_21508(_635968))], (1210 ^ _601740) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _601740) ^ [_636207] : [-(tptp_9_51(f_relationexistsallfn(_636207, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _636207)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_636207, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _601740) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _601740) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _601740) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _601740) ^ [_636711] : [tptpcol_3_65538(_636711), -(tptpcol_2_65537(_636711))], (1238 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _601740) ^ [_636950] : [tptpcol_14_26921(_636950), -(tptpcol_13_26920(_636950))], (1246 ^ _601740) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _601740) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _601740) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _601740) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _601740) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _601740) ^ [_637401] : [intangibleindividual(_637401), -(partiallyintangibleindividual(_637401))], (1262 ^ _601740) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _601740) ^ [_637759] : [tptpcol_16_130924(_637759), -(tptpcol_15_130923(_637759))], (1276 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _601740) ^ [_637998] : [tptpcol_7_92163(_637998), -(tptpcol_6_92162(_637998))], (1284 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _601740) ^ [_638290] : [tptpcol_16_130933(_638290), -(tptpcol_15_130931(_638290))], (1294 ^ _601740) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _601740) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _601740) ^ [_638596, _638598] : [no(_638598, _638596), -(few(_638598, _638596))], (1304 ^ _601740) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _601740) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _601740) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _601740) ^ [_639004] : [tptpcol_6_20484(_639004), -(tptpcol_5_20483(_639004))], (1318 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _601740) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _601740) ^ [_639468] : [tptpcol_7_108547(_639468), -(tptpcol_6_108546(_639468))], (1336 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _601740) ^ [_639707] : [tptpcol_11_109125(_639707), -(tptpcol_10_109061(_639707))], (1344 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _601740) ^ [_639999] : [tptpcol_8_93698(_639999), -(tptpcol_7_93186(_639999))], (1354 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _601740) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _601740) ^ [_640291] : [tptpcol_2_65537(_640291), -(tptpcol_1_65536(_640291))], (1364 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _601740) ^ [_640583] : [tptpcol_6_18436(_640583), -(tptpcol_5_16388(_640583))], (1374 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _601740) ^ [_640822] : [tptpcol_8_18438(_640822), -(tptpcol_7_18437(_640822))], (1382 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _601740) ^ [_641180] : [tptpcol_8_117763(_641180), -(tptpcol_7_117762(_641180))], (1396 ^ _601740) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _601740) ^ [_641472] : [tptpcol_12_109157(_641472), -(tptpcol_11_109125(_641472))], (1406 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _601740) ^ [_641711] : [tptpcol_7_117762(_641711), -(tptpcol_6_116738(_641711))], (1414 ^ _601740) ^ [_641925, _641927, _641929] : [isa(_641929, _641927), isa(_641929, _641925), disjointwith(_641927, _641925)], (1424 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _601740) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _601740) ^ [_642325] : [aspatialinformationstore(_642325), -(aspatialthing(_642325))], (1434 ^ _601740) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _601740) ^ [_642723] : [tptpcol_9_93699(_642723), -(tptpcol_8_93698(_642723))], (1448 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _601740) ^ [_642962] : [tptpcol_11_93764(_642962), -(tptpcol_10_93700(_642962))], (1456 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _601740) ^ [_643201] : [tptpcol_6_26627(_643201), -(tptpcol_5_24579(_643201))], (1464 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _601740) ^ [_643440] : [tptpcol_4_90113(_643440), -(tptpcol_3_81921(_643440))], (1472 ^ _601740) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _601740) ^ [_643732] : [tptpcol_10_93700(_643732), -(tptpcol_9_93699(_643732))], (1482 ^ _601740) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _601740) ^ [_643971] : [aspatialinformationstore(_643971), -(intangibleindividual(_643971))], (1490 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _601740) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _601740) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _601740) ^ [_644382] : [tptpcol_3_16386(_644382), -(tptpcol_2_2(_644382))], (1506 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _601740) ^ [_644621] : [tptpcol_9_118019(_644621), -(tptpcol_8_117763(_644621))], (1514 ^ _601740) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _601740) ^ [_644860] : [individual(_644860), -(trajector_underspecified(_644860))], (1522 ^ _601740) ^ [_645046] : [shavingrazor_manual(_645046), -(tptp_8_271(f_relationexistsallfn(_645046, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _645046))], (1528 ^ _601740) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _601740) ^ [_645350] : [tptpcol_6_112641(_645350), -(tptpcol_5_110593(_645350))], (1538 ^ _601740) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _601740) ^ [_645589] : [tptpcol_12_72775(_645589), -(tptpcol_11_72774(_645589))], (1546 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _601740) ^ [_645828] : [tptpcol_7_72707(_645828), -(tptpcol_6_71683(_645828))], (1554 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _601740) ^ [_646067] : [tptpcol_16_50958(_646067), -(tptpcol_15_50957(_646067))], (1562 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _601740) ^ [_646306] : [tptpcol_8_114177(_646306), -(tptpcol_7_113665(_646306))], (1570 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _601740) ^ [_646545] : [tptpcol_16_72795(_646545), -(tptpcol_15_72793(_646545))], (1578 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _601740) ^ [_646784] : [tptpcol_6_71683(_646784), -(tptpcol_5_69635(_646784))], (1586 ^ _601740) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _601740) ^ [_647090, _647092] : [tptptypes_7_396(_647092, _647090), -(tptptypes_6_388(_647092, _647090))], (1596 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _601740) ^ [_647339] : [tptpcol_9_26885(_647339), -(tptpcol_8_26629(_647339))], (1604 ^ _601740) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _601740) ^ [_647592, _647594] : [genls(_647594, _647592), -(subsetof(_647594, _647592))], (1612 ^ _601740) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _601740) ^ [_647908, _647910] : [tptptypes_6_818(_647910, _647908), -(tptptypes_5_802(_647910, _647908))], (1622 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _601740) ^ [_648157] : [tptpcol_6_92162(_648157), -(tptpcol_5_90114(_648157))], (1630 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _601740) ^ [_648449] : [tptpcol_8_92164(_648449), -(tptpcol_7_92163(_648449))], (1640 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _601740) ^ [_648688] : [tptpcol_13_118117(_648688), -(tptpcol_12_118116(_648688))], (1648 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _601740) ^ [_648927] : [tptpcol_11_40388(_648927), -(tptpcol_10_40324(_648927))], (1656 ^ _601740) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _601740) ^ [_649180, _649182] : [tptptypes_9_824(_649182, _649180), -(tptptypes_8_823(_649182, _649180))], (1664 ^ _601740) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _601740) ^ [_649482] : [tptpcol_11_26887(_649482), -(tptpcol_10_26886(_649482))], (1674 ^ _601740) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _601740) ^ [_649721] : [tptpcol_16_26926(_649721), -(tptpcol_15_26925(_649721))], (1682 ^ _601740) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _601740) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _601740) ^ [_650027, _650029] : [few(_650029, _650027), -(setorcollection(_650027))], (1692 ^ _601740) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _601740) ^ [_650274] : [tptpcol_4_65539(_650274), -(tptpcol_3_65538(_650274))], (1700 ^ _601740) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _601740) ^ [_650513] : [tptpcol_8_39940(_650513), -(tptpcol_7_39939(_650513))], (1708 ^ _601740) ^ [_650699] : [-(tptpofobject(_650699, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_650699)], (1718 ^ _601740) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _601740) ^ [_651138] : [tptpcol_15_22076(_651138), -(tptpcol_14_22072(_651138))], (1732 ^ _601740) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _601740) ^ [_651377] : [tptpcol_0_0(_651377), -(individual(_651377))], (1740 ^ _601740) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _601740) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _601740) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _601740) ^ [_651775] : [tptpcol_11_72774(_651775), -(tptpcol_10_72710(_651775))], (1754 ^ _601740) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _601740) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _601740) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _601740) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _601740) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _601740) ^ [_652411] : [tptpcol_7_21508(_652411), -(tptpcol_6_20484(_652411))], (1780 ^ _601740) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _601740) ^ [_652650] : [tptpcol_6_108546(_652650), -(tptpcol_5_106498(_652650))], (1788 ^ _601740) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _601740) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _601740) ^ [_653008] : [geolevel_4(_653008), -(geographicalregion(_653008))], (1802 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _601740) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _601740) ^ [_653485] : [tptpcol_13_26920(_653485), -(tptpcol_12_26919(_653485))], (1822 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _601740) ^ [_653724] : [tptpcol_14_92264(_653724), -(tptpcol_13_92263(_653724))], (1830 ^ _601740) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _601740) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _601740) ^ [_654016] : [tptpcol_9_40196(_654016), -(tptpcol_8_39940(_654016))], (1840 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _601740) ^ [_654374] : [tptpcol_13_92263(_654374), -(tptpcol_12_92262(_654374))], (1854 ^ _601740) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _601740) ^ [_654666] : [tptpcol_5_90114(_654666), -(tptpcol_4_90113(_654666))], (1864 ^ _601740) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _601740) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _601740) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _601740) ^ [_655077] : [tptpcol_15_26925(_655077), -(tptpcol_14_26921(_655077))], (1880 ^ _601740) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _601740) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _601740) ^ [_655435] : [tptpcol_7_18437(_655435), -(tptpcol_6_18436(_655435))], (1894 ^ _601740) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _601740) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _601740) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _601740) ^ [_655846] : [tptpcol_3_98305(_655846), tptpcol_3_114688(_655846)], (1910 ^ _601740) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _601740) ^ [_656084] : [tptpcol_5_110593(_656084), -(tptpcol_4_106497(_656084))], (1918 ^ _601740) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _601740) ^ [_656323] : [tptpcol_13_72791(_656323), -(tptpcol_12_72775(_656323))], (1926 ^ _601740) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _601740) ^ [_656562] : [computerdataartifact(_656562), -(artifact(_656562))], (1934 ^ _601740) ^ [_656748] : [-(tptpofobject(_656748, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_656748)], (1944 ^ _601740) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _601740) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _601740) ^ [_657187] : [tptpcol_10_92166(_657187), -(tptpcol_9_92165(_657187))], (1958 ^ _601740) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _601740) ^ [_657426] : [tptpcol_14_118118(_657426), -(tptpcol_13_118117(_657426))], (1966 ^ _601740) ^ [_657612] : [isa(_657612, c_tptpcol_14_118118), -(tptpcol_14_118118(_657612))], (1972 ^ _601740) ^ [_657800] : [tptpcol_14_118118(_657800), -(isa(_657800, c_tptpcol_14_118118))], (1978 ^ _601740) ^ [_657973] : [-(natfunction(f_tptpquantityfn_6(_657973), c_tptpquantityfn_6))], (1980 ^ _601740) ^ [_658053] : [-(natargument(f_tptpquantityfn_6(_658053), n_1, _658053))], (1982 ^ _601740) ^ [_658134] : [-(tptpquantity(f_tptpquantityfn_6(_658134)))], (1984 ^ _601740) ^ [_658228] : [isa(_658228, c_tptpcol_16_26939), -(tptpcol_16_26939(_658228))], (1990 ^ _601740) ^ [_658416] : [tptpcol_16_26939(_658416), -(isa(_658416, c_tptpcol_16_26939))], (1996 ^ _601740) ^ [_658604] : [isa(_658604, c_tptpcol_16_62187), -(tptpcol_16_62187(_658604))], (2002 ^ _601740) ^ [_658792] : [tptpcol_16_62187(_658792), -(isa(_658792, c_tptpcol_16_62187))], (2008 ^ _601740) ^ [_658980] : [isa(_658980, c_tptpcol_13_92263), -(tptpcol_13_92263(_658980))], (2014 ^ _601740) ^ [_659168] : [tptpcol_13_92263(_659168), -(isa(_659168, c_tptpcol_13_92263))], (2020 ^ _601740) ^ [_659356] : [isa(_659356, c_geolevel_4), -(geolevel_4(_659356))], (2026 ^ _601740) ^ [_659544] : [geolevel_4(_659544), -(isa(_659544, c_geolevel_4))], (2032 ^ _601740) ^ [_659732] : [isa(_659732, c_tptpcol_15_4027), -(tptpcol_15_4027(_659732))], (2038 ^ _601740) ^ [_659920] : [tptpcol_15_4027(_659920), -(isa(_659920, c_tptpcol_15_4027))], (2044 ^ _601740) ^ [_660108] : [isa(_660108, c_pushingwithfingers), -(pushingwithfingers(_660108))], (2050 ^ _601740) ^ [_660296] : [pushingwithfingers(_660296), -(isa(_660296, c_pushingwithfingers))], (2056 ^ _601740) ^ [_660498, _660500] : [affiliatedwith(_660500, _660498), -(agent_generic(_660498))], (2062 ^ _601740) ^ [_660706, _660708] : [affiliatedwith(_660708, _660706), -(agent_generic(_660708))], (2068 ^ _601740) ^ [_660914, _660916] : [affiliatedwith(_660916, _660914), -(affiliatedwith(_660914, _660916))], (2074 ^ _601740) ^ [_661094] : [affiliatedwith(_661094, _661094)], (2076 ^ _601740) ^ [_661187] : [isa(_661187, c_footballteam), -(footballteam(_661187))], (2082 ^ _601740) ^ [_661375] : [footballteam(_661375), -(isa(_661375, c_footballteam))], (2088 ^ _601740) ^ [_661563] : [isa(_661563, c_tptpcol_16_4451), -(tptpcol_16_4451(_661563))], (2094 ^ _601740) ^ [_661751] : [tptpcol_16_4451(_661751), -(isa(_661751, c_tptpcol_16_4451))], (2100 ^ _601740) ^ [_661939] : [isa(_661939, c_pushingwithopenhand), -(pushingwithopenhand(_661939))], (2106 ^ _601740) ^ [_662127] : [pushingwithopenhand(_662127), -(isa(_662127, c_pushingwithopenhand))], (2112 ^ _601740) ^ [_662315] : [isa(_662315, c_tptpcol_15_22076), -(tptpcol_15_22076(_662315))], (2118 ^ _601740) ^ [_662503] : [tptpcol_15_22076(_662503), -(isa(_662503, c_tptpcol_15_22076))], (2124 ^ _601740) ^ [_662676] : [-(natfunction(f_tptpquantityfn_2(_662676), c_tptpquantityfn_2))], (2126 ^ _601740) ^ [_662756] : [-(natargument(f_tptpquantityfn_2(_662756), n_1, _662756))], (2128 ^ _601740) ^ [_662837] : [-(tptpquantity(f_tptpquantityfn_2(_662837)))], (2130 ^ _601740) ^ [_662931] : [isa(_662931, c_tptpcol_7_39939), -(tptpcol_7_39939(_662931))], (2136 ^ _601740) ^ [_663119] : [tptpcol_7_39939(_663119), -(isa(_663119, c_tptpcol_7_39939))], (2142 ^ _601740) ^ [_663307] : [isa(_663307, c_tptpcol_8_39940), -(tptpcol_8_39940(_663307))], (2148 ^ _601740) ^ [_663495] : [tptpcol_8_39940(_663495), -(isa(_663495, c_tptpcol_8_39940))], (2154 ^ _601740) ^ [_663683] : [isa(_663683, c_tptpcol_15_26925), -(tptpcol_15_26925(_663683))], (2160 ^ _601740) ^ [_663871] : [tptpcol_15_26925(_663871), -(isa(_663871, c_tptpcol_15_26925))], (2166 ^ _601740) ^ [_664059] : [isa(_664059, c_tptpcol_16_26926), -(tptpcol_16_26926(_664059))], (2172 ^ _601740) ^ [_664247] : [tptpcol_16_26926(_664247), -(isa(_664247, c_tptpcol_16_26926))], (2178 ^ _601740) ^ [_664435] : [isa(_664435, c_tptpcol_13_118117), -(tptpcol_13_118117(_664435))], (2184 ^ _601740) ^ [_664623] : [tptpcol_13_118117(_664623), -(isa(_664623, c_tptpcol_13_118117))], (2190 ^ _601740) ^ [_664811] : [isa(_664811, c_tptpcol_5_90114), -(tptpcol_5_90114(_664811))], (2196 ^ _601740) ^ [_664999] : [tptpcol_5_90114(_664999), -(isa(_664999, c_tptpcol_5_90114))], (2202 ^ _601740) ^ [_665201, _665203] : [tptptypes_5_802(_665203, _665201), -(firstordercollection(_665201))], (2208 ^ _601740) ^ [_665409, _665411] : [tptptypes_5_802(_665411, _665409), -(firstordercollection(_665411))], (2214 ^ _601740) ^ [_665603] : [isa(_665603, c_tptpcol_16_72795), -(tptpcol_16_72795(_665603))], (2220 ^ _601740) ^ [_665791] : [tptpcol_16_72795(_665791), -(isa(_665791, c_tptpcol_16_72795))], (2226 ^ _601740) ^ [_665979] : [isa(_665979, c_tptpcol_8_114177), -(tptpcol_8_114177(_665979))], (2232 ^ _601740) ^ [_666167] : [tptpcol_8_114177(_666167), -(isa(_666167, c_tptpcol_8_114177))], (2238 ^ _601740) ^ [_666355] : [isa(_666355, c_tptpcol_15_50957), -(tptpcol_15_50957(_666355))], (2244 ^ _601740) ^ [_666543] : [tptpcol_15_50957(_666543), -(isa(_666543, c_tptpcol_15_50957))], (2250 ^ _601740) ^ [_666731] : [isa(_666731, c_tptpcol_16_50958), -(tptpcol_16_50958(_666731))], (2256 ^ _601740) ^ [_666919] : [tptpcol_16_50958(_666919), -(isa(_666919, c_tptpcol_16_50958))], (2262 ^ _601740) ^ [_667107] : [isa(_667107, c_tptpcol_6_71683), -(tptpcol_6_71683(_667107))], (2268 ^ _601740) ^ [_667295] : [tptpcol_6_71683(_667295), -(isa(_667295, c_tptpcol_6_71683))], (2274 ^ _601740) ^ [_667483] : [isa(_667483, c_tptpcol_11_72774), -(tptpcol_11_72774(_667483))], (2280 ^ _601740) ^ [_667671] : [tptpcol_11_72774(_667671), -(isa(_667671, c_tptpcol_11_72774))], (2286 ^ _601740) ^ [_667859] : [isa(_667859, c_tptpcol_12_72775), -(tptpcol_12_72775(_667859))], (2292 ^ _601740) ^ [_668047] : [tptpcol_12_72775(_668047), -(isa(_668047, c_tptpcol_12_72775))], (2298 ^ _601740) ^ [_668235] : [isa(_668235, c_tptpcol_5_110593), -(tptpcol_5_110593(_668235))], (2304 ^ _601740) ^ [_668423] : [tptpcol_5_110593(_668423), -(isa(_668423, c_tptpcol_5_110593))], (2310 ^ _601740) ^ [_668611] : [isa(_668611, c_tptpcol_16_25972), -(tptpcol_16_25972(_668611))], (2316 ^ _601740) ^ [_668799] : [tptpcol_16_25972(_668799), -(isa(_668799, c_tptpcol_16_25972))], (2322 ^ _601740) ^ [_669001, _669003] : [tptp_8_271(_669003, _669001), -(razor(_669001))], (2328 ^ _601740) ^ [_669209, _669211] : [tptp_8_271(_669211, _669209), -(tptpcol_5_24579(_669211))], (2334 ^ _601740) ^ [_669403] : [isa(_669403, c_tptpcol_4_90113), -(tptpcol_4_90113(_669403))], (2340 ^ _601740) ^ [_669591] : [tptpcol_4_90113(_669591), -(isa(_669591, c_tptpcol_4_90113))], (2346 ^ _601740) ^ [_669779] : [isa(_669779, c_tptpcol_10_93700), -(tptpcol_10_93700(_669779))], (2352 ^ _601740) ^ [_669967] : [tptpcol_10_93700(_669967), -(isa(_669967, c_tptpcol_10_93700))], (2358 ^ _601740) ^ [_670155] : [isa(_670155, c_tptpcol_9_93699), -(tptpcol_9_93699(_670155))], (2364 ^ _601740) ^ [_670343] : [tptpcol_9_93699(_670343), -(isa(_670343, c_tptpcol_9_93699))], (2370 ^ _601740) ^ [_670531] : [isa(_670531, c_aspatialthing), -(aspatialthing(_670531))], (2376 ^ _601740) ^ [_670719] : [aspatialthing(_670719), -(isa(_670719, c_aspatialthing))], (2382 ^ _601740) ^ [_670907] : [isa(_670907, c_tptpcol_7_117762), -(tptpcol_7_117762(_670907))], (2388 ^ _601740) ^ [_671095] : [tptpcol_7_117762(_671095), -(isa(_671095, c_tptpcol_7_117762))], (2394 ^ _601740) ^ [_671283] : [isa(_671283, c_tptpcol_8_117763), -(tptpcol_8_117763(_671283))], (2400 ^ _601740) ^ [_671471] : [tptpcol_8_117763(_671471), -(isa(_671471, c_tptpcol_8_117763))], (2406 ^ _601740) ^ [_671659] : [isa(_671659, c_tptpcol_7_18437), -(tptpcol_7_18437(_671659))], (2412 ^ _601740) ^ [_671847] : [tptpcol_7_18437(_671847), -(isa(_671847, c_tptpcol_7_18437))], (2418 ^ _601740) ^ [_672035] : [isa(_672035, c_tptpcol_6_18436), -(tptpcol_6_18436(_672035))], (2424 ^ _601740) ^ [_672223] : [tptpcol_6_18436(_672223), -(isa(_672223, c_tptpcol_6_18436))], (2430 ^ _601740) ^ [_672411] : [isa(_672411, c_tptpcol_8_93698), -(tptpcol_8_93698(_672411))], (2436 ^ _601740) ^ [_672599] : [tptpcol_8_93698(_672599), -(isa(_672599, c_tptpcol_8_93698))], (2442 ^ _601740) ^ [_672787] : [isa(_672787, c_tptpcol_11_109125), -(tptpcol_11_109125(_672787))], (2448 ^ _601740) ^ [_672975] : [tptpcol_11_109125(_672975), -(isa(_672975, c_tptpcol_11_109125))], (2454 ^ _601740) ^ [_673163] : [isa(_673163, c_tptpcol_6_108546), -(tptpcol_6_108546(_673163))], (2460 ^ _601740) ^ [_673351] : [tptpcol_6_108546(_673351), -(isa(_673351, c_tptpcol_6_108546))], (2466 ^ _601740) ^ [_673539] : [isa(_673539, c_tptpcol_6_20484), -(tptpcol_6_20484(_673539))], (2472 ^ _601740) ^ [_673727] : [tptpcol_6_20484(_673727), -(isa(_673727, c_tptpcol_6_20484))], (2478 ^ _601740) ^ [_673929, _673931] : [few(_673931, _673929), -(setorcollection(_673929))], (2484 ^ _601740) ^ [_674137, _674139] : [few(_674139, _674137), -(setorcollection(_674137))], (2490 ^ _601740) ^ [_674345, _674347] : [few(_674347, _674345), -(setorcollection(_674347))], (2496 ^ _601740) ^ [_674553, _674555] : [few(_674555, _674553), -(setorcollection(_674555))], (2502 ^ _601740) ^ [_674775, _674777, _674779] : [-(few(_674779, _674775)), few(_674779, _674777), subsetof(_674775, _674777)], (2512 ^ _601740) ^ [_675070] : [isa(_675070, c_tptpcol_15_130931), -(tptpcol_15_130931(_675070))], (2518 ^ _601740) ^ [_675258] : [tptpcol_15_130931(_675258), -(isa(_675258, c_tptpcol_15_130931))], (2524 ^ _601740) ^ [_675446] : [isa(_675446, c_tptpcol_16_130933), -(tptpcol_16_130933(_675446))], (2530 ^ _601740) ^ [_675634] : [tptpcol_16_130933(_675634), -(isa(_675634, c_tptpcol_16_130933))], (2536 ^ _601740) ^ [_675822] : [isa(_675822, c_tptpcol_7_92163), -(tptpcol_7_92163(_675822))], (2542 ^ _601740) ^ [_676010] : [tptpcol_7_92163(_676010), -(isa(_676010, c_tptpcol_7_92163))], (2548 ^ _601740) ^ [_676198] : [isa(_676198, c_tptpcol_15_130923), -(tptpcol_15_130923(_676198))], (2554 ^ _601740) ^ [_676386] : [tptpcol_15_130923(_676386), -(isa(_676386, c_tptpcol_15_130923))], (2560 ^ _601740) ^ [_676574] : [isa(_676574, c_tptpcol_16_130924), -(tptpcol_16_130924(_676574))], (2566 ^ _601740) ^ [_676762] : [tptpcol_16_130924(_676762), -(isa(_676762, c_tptpcol_16_130924))], (2572 ^ _601740) ^ [_676950] : [isa(_676950, c_intangibleindividual), -(intangibleindividual(_676950))], (2578 ^ _601740) ^ [_677138] : [intangibleindividual(_677138), -(isa(_677138, c_intangibleindividual))], (2584 ^ _601740) ^ [_677325, _677327] : [-(natfunction(f_citynamedfn(_677327, _677325), c_citynamedfn))], (2586 ^ _601740) ^ [_677422, _677424] : [-(natargument(f_citynamedfn(_677424, _677422), n_1, _677424))], (2588 ^ _601740) ^ [_677520, _677522] : [-(natargument(f_citynamedfn(_677522, _677520), n_2, _677520))], (2590 ^ _601740) ^ [_677618, _677620] : [-(city(f_citynamedfn(_677620, _677618)))], (2592 ^ _601740) ^ [_677715] : [isa(_677715, c_tptpcol_13_26920), -(tptpcol_13_26920(_677715))], (2598 ^ _601740) ^ [_677903] : [tptpcol_13_26920(_677903), -(isa(_677903, c_tptpcol_13_26920))], (2604 ^ _601740) ^ [_678091] : [isa(_678091, c_tptpcol_14_26921), -(tptpcol_14_26921(_678091))], (2610 ^ _601740) ^ [_678279] : [tptpcol_14_26921(_678279), -(isa(_678279, c_tptpcol_14_26921))], (2616 ^ _601740) ^ [_678467] : [isa(_678467, c_tptpcol_3_65538), -(tptpcol_3_65538(_678467))], (2622 ^ _601740) ^ [_678655] : [tptpcol_3_65538(_678655), -(isa(_678655, c_tptpcol_3_65538))], (2628 ^ _601740) ^ [_678843] : [isa(_678843, c_tptpcol_16_27189), -(tptpcol_16_27189(_678843))], (2634 ^ _601740) ^ [_679031] : [tptpcol_16_27189(_679031), -(isa(_679031, c_tptpcol_16_27189))], (2640 ^ _601740) ^ [_679233, _679235] : [tptp_9_51(_679235, _679233), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_679233))], (2646 ^ _601740) ^ [_679441, _679443] : [tptp_9_51(_679443, _679441), -(tptpcol_7_26628(_679443))], (2652 ^ _601740) ^ [_679635] : [isa(_679635, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_679635))], (2658 ^ _601740) ^ [_679823] : [reflexivebinarypredicate(_679823), -(isa(_679823, c_reflexivebinarypredicate))], (2664 ^ _601740) ^ [_680011] : [isa(_680011, c_tptpcol_7_21508), -(tptpcol_7_21508(_680011))], (2670 ^ _601740) ^ [_680199] : [tptpcol_7_21508(_680199), -(isa(_680199, c_tptpcol_7_21508))], (2676 ^ _601740) ^ [_680387] : [isa(_680387, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_680387))], (2682 ^ _601740) ^ [_680575] : [hpkb_subnationalagent(_680575), -(isa(_680575, c_hpkb_subnationalagent))], (2688 ^ _601740) ^ [_680763] : [isa(_680763, c_state_geopolitical), -(state_geopolitical(_680763))], (2694 ^ _601740) ^ [_680951] : [state_geopolitical(_680951), -(isa(_680951, c_state_geopolitical))], (2700 ^ _601740) ^ [_681166, _681168, _681170, _681172] : [-(natfunction(f_relationallexistsfn(_681172, _681170, _681168, _681166), c_relationallexistsfn))], (2702 ^ _601740) ^ [_681297, _681299, _681301, _681303] : [-(natargument(f_relationallexistsfn(_681303, _681301, _681299, _681297), n_1, _681303))], (2704 ^ _601740) ^ [_681429, _681431, _681433, _681435] : [-(natargument(f_relationallexistsfn(_681435, _681433, _681431, _681429), n_2, _681433))], (2706 ^ _601740) ^ [_681561, _681563, _681565, _681567] : [-(natargument(f_relationallexistsfn(_681567, _681565, _681563, _681561), n_3, _681563))], (2708 ^ _601740) ^ [_681693, _681695, _681697, _681699] : [-(natargument(f_relationallexistsfn(_681699, _681697, _681695, _681693), n_4, _681693))], (2710 ^ _601740) ^ [_681825, _681827, _681829, _681831] : [-(thing(f_relationallexistsfn(_681831, _681829, _681827, _681825)))], (2712 ^ _601740) ^ [_681942, _681944] : [arg2isa(_681944, _681942), -(collection(_681942))], (2718 ^ _601740) ^ [_682150, _682152] : [arg2isa(_682152, _682150), -(relation(_682152))], (2724 ^ _601740) ^ [_682372, _682374, _682376] : [-(arg2isa(_682376, _682372)), arg2isa(_682376, _682374), genls(_682374, _682372)], (2734 ^ _601740) ^ [_682695, _682697, _682699] : [-(arg2isa(_682699, _682695)), arg2isa(_682699, _682697), genls(_682697, _682695)], (2744 ^ _601740) ^ [_682990] : [isa(_682990, c_geolevel_1), -(geolevel_1(_682990))], (2750 ^ _601740) ^ [_683178] : [geolevel_1(_683178), -(isa(_683178, c_geolevel_1))], (2756 ^ _601740) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _601740) ^ [_683419] : [isa(_683419, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_683419))], (2764 ^ _601740) ^ [_683607] : [spatialthing_nonsituational(_683607), -(isa(_683607, c_spatialthing_nonsituational))], (2770 ^ _601740) ^ [_683795] : [isa(_683795, c_militaryperson), -(militaryperson(_683795))], (2776 ^ _601740) ^ [_683983] : [militaryperson(_683983), -(isa(_683983, c_militaryperson))], (2782 ^ _601740) ^ [_684171] : [isa(_684171, c_tptpcol_15_72793), -(tptpcol_15_72793(_684171))], (2788 ^ _601740) ^ [_684359] : [tptpcol_15_72793(_684359), -(isa(_684359, c_tptpcol_15_72793))], (2794 ^ _601740) ^ [_684547] : [isa(_684547, c_tptpcol_9_26885), -(tptpcol_9_26885(_684547))], (2800 ^ _601740) ^ [_684735] : [tptpcol_9_26885(_684735), -(isa(_684735, c_tptpcol_9_26885))], (2806 ^ _601740) ^ [_684923] : [isa(_684923, c_tptpcol_10_26886), -(tptpcol_10_26886(_684923))], (2812 ^ _601740) ^ [_685111] : [tptpcol_10_26886(_685111), -(isa(_685111, c_tptpcol_10_26886))], (2818 ^ _601740) ^ [_685313, _685315] : [tptptypes_8_823(_685315, _685313), -(firstordercollection(_685313))], (2824 ^ _601740) ^ [_685521, _685523] : [tptptypes_8_823(_685523, _685521), -(firstordercollection(_685523))], (2830 ^ _601740) ^ [_685715] : [isa(_685715, c_tptpcol_16_92269), -(tptpcol_16_92269(_685715))], (2836 ^ _601740) ^ [_685903] : [tptpcol_16_92269(_685903), -(isa(_685903, c_tptpcol_16_92269))], (2842 ^ _601740) ^ [_686091] : [isa(_686091, c_tptpcol_15_109185), -(tptpcol_15_109185(_686091))], (2848 ^ _601740) ^ [_686279] : [tptpcol_15_109185(_686279), -(isa(_686279, c_tptpcol_15_109185))], (2854 ^ _601740) ^ [_686467] : [isa(_686467, c_tptpcol_6_26627), -(tptpcol_6_26627(_686467))], (2860 ^ _601740) ^ [_686655] : [tptpcol_6_26627(_686655), -(isa(_686655, c_tptpcol_6_26627))], (2866 ^ _601740) ^ [_686843] : [isa(_686843, c_tptpcol_12_118116), -(tptpcol_12_118116(_686843))], (2872 ^ _601740) ^ [_687031] : [tptpcol_12_118116(_687031), -(isa(_687031, c_tptpcol_12_118116))], (2878 ^ _601740) ^ [_687219] : [isa(_687219, c_tptpcol_8_18438), -(tptpcol_8_18438(_687219))], (2884 ^ _601740) ^ [_687407] : [tptpcol_8_18438(_687407), -(isa(_687407, c_tptpcol_8_18438))], (2890 ^ _601740) ^ [_687595] : [isa(_687595, c_tptpcol_15_30970), -(tptpcol_15_30970(_687595))], (2896 ^ _601740) ^ [_687783] : [tptpcol_15_30970(_687783), -(isa(_687783, c_tptpcol_15_30970))], (2902 ^ _601740) ^ [_687971] : [isa(_687971, c_tptpcol_16_30972), -(tptpcol_16_30972(_687971))], (2908 ^ _601740) ^ [_688159] : [tptpcol_16_30972(_688159), -(isa(_688159, c_tptpcol_16_30972))], (2914 ^ _601740) ^ [_688347] : [isa(_688347, c_tptpcol_14_109181), -(tptpcol_14_109181(_688347))], (2920 ^ _601740) ^ [_688535] : [tptpcol_14_109181(_688535), -(isa(_688535, c_tptpcol_14_109181))], (2926 ^ _601740) ^ [_688723] : [isa(_688723, c_physicalorderingpredicate), -(physicalorderingpredicate(_688723))], (2932 ^ _601740) ^ [_688911] : [physicalorderingpredicate(_688911), -(isa(_688911, c_physicalorderingpredicate))], (2938 ^ _601740) ^ [_689099] : [isa(_689099, c_tptpcol_16_7738), -(tptpcol_16_7738(_689099))], (2944 ^ _601740) ^ [_689287] : [tptpcol_16_7738(_689287), -(isa(_689287, c_tptpcol_16_7738))], (2950 ^ _601740) ^ [_689489, _689491] : [tptp_8_968(_689491, _689489), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_689489))], (2956 ^ _601740) ^ [_689697, _689699] : [tptp_8_968(_689699, _689697), -(tptpcol_7_7172(_689699))], (2962 ^ _601740) ^ [_689919, _689921, _689923] : [relationexistsall(_689923, _689921, _689919), -(collection(_689919))], (2968 ^ _601740) ^ [_690149, _690151, _690153] : [relationexistsall(_690153, _690151, _690149), -(collection(_690151))], (2974 ^ _601740) ^ [_690379, _690381, _690383] : [relationexistsall(_690383, _690381, _690379), -(binarypredicate(_690383))], (2980 ^ _601740) ^ [_690581] : [isa(_690581, c_tptpcol_7_26628), -(tptpcol_7_26628(_690581))], (2986 ^ _601740) ^ [_690769] : [tptpcol_7_26628(_690769), -(isa(_690769, c_tptpcol_7_26628))], (2992 ^ _601740) ^ [_690957] : [isa(_690957, c_tptpcol_8_26629), -(tptpcol_8_26629(_690957))], (2998 ^ _601740) ^ [_691145] : [tptpcol_8_26629(_691145), -(isa(_691145, c_tptpcol_8_26629))], (3004 ^ _601740) ^ [_691333] : [isa(_691333, c_tptpcol_3_114688), -(tptpcol_3_114688(_691333))], (3010 ^ _601740) ^ [_691521] : [tptpcol_3_114688(_691521), -(isa(_691521, c_tptpcol_3_114688))], (3016 ^ _601740) ^ [_691694] : [-(natfunction(f_contextofpcwfn(_691694), c_contextofpcwfn))], (3018 ^ _601740) ^ [_691774] : [-(natargument(f_contextofpcwfn(_691774), n_1, _691774))], (3020 ^ _601740) ^ [_691855] : [-(microtheory(f_contextofpcwfn(_691855)))], (3022 ^ _601740) ^ [_691963, _691965] : [arg1isa(_691965, _691963), -(collection(_691963))], (3028 ^ _601740) ^ [_692171, _692173] : [arg1isa(_692173, _692171), -(relation(_692173))], (3034 ^ _601740) ^ [_692393, _692395, _692397] : [-(arg1isa(_692397, _692393)), arg1isa(_692397, _692395), genls(_692395, _692393)], (3044 ^ _601740) ^ [_692716, _692718, _692720] : [-(arg1isa(_692720, _692716)), arg1isa(_692720, _692718), genls(_692718, _692716)], (3054 ^ _601740) ^ [_693025, _693027] : [objectfoundinlocation(_693027, _693025), -(spatialthing_nonsituational(_693025))], (3060 ^ _601740) ^ [_693233, _693235] : [objectfoundinlocation(_693235, _693233), -(spatialthing_localized(_693233))], (3066 ^ _601740) ^ [_693441, _693443] : [objectfoundinlocation(_693443, _693441), -(spatialthing_nonsituational(_693443))], (3072 ^ _601740) ^ [_693649, _693651] : [objectfoundinlocation(_693651, _693649), -(spatialthing_localized(_693651))], (3078 ^ _601740) ^ [_693871, _693873, _693875] : [-(objectfoundinlocation(_693875, _693871)), objectfoundinlocation(_693875, _693873), objectfoundinlocation(_693873, _693871)], (3088 ^ _601740) ^ [_694150] : [objectfoundinlocation(_694150, _694150)], (3090 ^ _601740) ^ [_694271, _694273, _694275] : [-(objectfoundinlocation(_694275, _694271)), objectfoundinlocation(_694275, _694273), geopoliticalsubdivision(_694271, _694273)], (3100 ^ _601740) ^ [_694594, _694596, _694598] : [-(objectfoundinlocation(_694598, _694594)), objectfoundinlocation(_694598, _694596), geographicallysubsumes(_694594, _694596)], (3110 ^ _601740) ^ [_694917, _694919, _694921] : [-(objectfoundinlocation(_694921, _694917)), objectfoundinlocation(_694921, _694919), subregions(_694917, _694919)], (3120 ^ _601740) ^ [_695212] : [isa(_695212, c_ship), -(ship(_695212))], (3126 ^ _601740) ^ [_695400] : [ship(_695400), -(isa(_695400, c_ship))], (3132 ^ _601740) ^ [_695601, _695603, _695605] : [-(natfunction(f_subcollectionofwithrelationtofn(_695605, _695603, _695601), c_subcollectionofwithrelationtofn))], (3134 ^ _601740) ^ [_695715, _695717, _695719] : [-(natargument(f_subcollectionofwithrelationtofn(_695719, _695717, _695715), n_1, _695719))], (3136 ^ _601740) ^ [_695830, _695832, _695834] : [-(natargument(f_subcollectionofwithrelationtofn(_695834, _695832, _695830), n_2, _695832))], (3138 ^ _601740) ^ [_695945, _695947, _695949] : [-(natargument(f_subcollectionofwithrelationtofn(_695949, _695947, _695945), n_3, _695945))], (3140 ^ _601740) ^ [_696060, _696062, _696064] : [-(collection(f_subcollectionofwithrelationtofn(_696064, _696062, _696060)))], (3142 ^ _601740) ^ [_696160] : [isa(_696160, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_696160))], (3148 ^ _601740) ^ [_696348] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_696348), -(isa(_696348, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _601740) ^ [_696536] : [isa(_696536, c_tptpcol_4_65539), -(tptpcol_4_65539(_696536))], (3160 ^ _601740) ^ [_696724] : [tptpcol_4_65539(_696724), -(isa(_696724, c_tptpcol_4_65539))], (3166 ^ _601740) ^ [_696912] : [isa(_696912, c_tptpcol_5_69635), -(tptpcol_5_69635(_696912))], (3172 ^ _601740) ^ [_697100] : [tptpcol_5_69635(_697100), -(isa(_697100, c_tptpcol_5_69635))], (3178 ^ _601740) ^ [_697288] : [isa(_697288, c_tptpcol_3_16386), -(tptpcol_3_16386(_697288))], (3184 ^ _601740) ^ [_697476] : [tptpcol_3_16386(_697476), -(isa(_697476, c_tptpcol_3_16386))], (3190 ^ _601740) ^ [_697678, _697680] : [no(_697680, _697678), -(setorcollection(_697678))], (3196 ^ _601740) ^ [_697886, _697888] : [no(_697888, _697886), -(setorcollection(_697888))], (3202 ^ _601740) ^ [_698094, _698096] : [no(_698096, _698094), -(no(_698094, _698096))], (3208 ^ _601740) ^ [_698318, _698320, _698322] : [-(no(_698322, _698318)), no(_698322, _698320), subsetof(_698318, _698320)], (3218 ^ _601740) ^ [_698641, _698643, _698645] : [-(no(_698641, _698643)), no(_698645, _698643), subsetof(_698641, _698645)], (3228 ^ _601740) ^ [_698964, _698966, _698968] : [-(no(_698964, _698966)), no(_698968, _698966), genls(_698964, _698968)], (3238 ^ _601740) ^ [_699287, _699289, _699291] : [-(no(_699291, _699287)), no(_699291, _699289), genls(_699287, _699289)], (3248 ^ _601740) ^ [_699610, _699612, _699614] : [-(no(_699610, _699612)), no(_699614, _699612), subsetof(_699610, _699614)], (3258 ^ _601740) ^ [_699933, _699935, _699937] : [-(no(_699937, _699933)), no(_699937, _699935), subsetof(_699933, _699935)], (3268 ^ _601740) ^ [_700228] : [isa(_700228, c_geographicalregion), -(geographicalregion(_700228))], (3274 ^ _601740) ^ [_700416] : [geographicalregion(_700416), -(isa(_700416, c_geographicalregion))], (3280 ^ _601740) ^ [_700589] : [-(natfunction(f_tptpquantityfn_21(_700589), c_tptpquantityfn_21))], (3282 ^ _601740) ^ [_700669] : [-(natargument(f_tptpquantityfn_21(_700669), n_1, _700669))], (3284 ^ _601740) ^ [_700750] : [-(tptpquantity(f_tptpquantityfn_21(_700750)))], (3286 ^ _601740) ^ [_700858, _700860] : [airporthasiatacode(_700860, _700858), -(stringoflengthfn3(_700858))], (3292 ^ _601740) ^ [_701066, _701068] : [airporthasiatacode(_701068, _701066), -(airport_physical(_701068))], (3298 ^ _601740) ^ [_701260] : [isa(_701260, c_airport_physical), -(airport_physical(_701260))], (3304 ^ _601740) ^ [_701448] : [airport_physical(_701448), -(isa(_701448, c_airport_physical))], (3310 ^ _601740) ^ [_701649, _701651, _701653] : [-(natfunction(f_instancewithrelationtofn(_701653, _701651, _701649), c_instancewithrelationtofn))], (3312 ^ _601740) ^ [_701763, _701765, _701767] : [-(natargument(f_instancewithrelationtofn(_701767, _701765, _701763), n_1, _701767))], (3314 ^ _601740) ^ [_701878, _701880, _701882] : [-(natargument(f_instancewithrelationtofn(_701882, _701880, _701878), n_2, _701880))], (3316 ^ _601740) ^ [_701993, _701995, _701997] : [-(natargument(f_instancewithrelationtofn(_701997, _701995, _701993), n_3, _701993))], (3318 ^ _601740) ^ [_702108, _702110, _702112] : [-(thing(f_instancewithrelationtofn(_702112, _702110, _702108)))], (3320 ^ _601740) ^ [_702208] : [isa(_702208, c_tptpcol_6_112641), -(tptpcol_6_112641(_702208))], (3326 ^ _601740) ^ [_702396] : [tptpcol_6_112641(_702396), -(isa(_702396, c_tptpcol_6_112641))], (3332 ^ _601740) ^ [_702584] : [isa(_702584, c_tptpcol_7_113665), -(tptpcol_7_113665(_702584))], (3338 ^ _601740) ^ [_702772] : [tptpcol_7_113665(_702772), -(isa(_702772, c_tptpcol_7_113665))], (3344 ^ _601740) ^ [_702960] : [isa(_702960, c_artifact), -(artifact(_702960))], (3350 ^ _601740) ^ [_703148] : [artifact(_703148), -(isa(_703148, c_artifact))], (3356 ^ _601740) ^ [_703336] : [isa(_703336, c_tptpcol_13_18664), -(tptpcol_13_18664(_703336))], (3362 ^ _601740) ^ [_703524] : [tptpcol_13_18664(_703524), -(isa(_703524, c_tptpcol_13_18664))], (3368 ^ _601740) ^ [_703712] : [isa(_703712, c_firstordercollection), -(firstordercollection(_703712))], (3374 ^ _601740) ^ [_703900] : [firstordercollection(_703900), -(isa(_703900, c_firstordercollection))], (3380 ^ _601740) ^ [_704073] : [-(natfunction(f_tptpquantityfn_14(_704073), c_tptpquantityfn_14))], (3382 ^ _601740) ^ [_704153] : [-(natargument(f_tptpquantityfn_14(_704153), n_1, _704153))], (3384 ^ _601740) ^ [_704234] : [-(tptpquantity(f_tptpquantityfn_14(_704234)))], (3386 ^ _601740) ^ [_704328] : [isa(_704328, c_supplies), -(supplies(_704328))], (3392 ^ _601740) ^ [_704516] : [supplies(_704516), -(isa(_704516, c_supplies))], (3398 ^ _601740) ^ [_704704] : [isa(_704704, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_704704))], (3404 ^ _601740) ^ [_704892] : [inanimateobject_nonnatural(_704892), -(isa(_704892, c_inanimateobject_nonnatural))], (3410 ^ _601740) ^ [_705080] : [isa(_705080, c_tptpcol_13_22071), -(tptpcol_13_22071(_705080))], (3416 ^ _601740) ^ [_705268] : [tptpcol_13_22071(_705268), -(isa(_705268, c_tptpcol_13_22071))], (3422 ^ _601740) ^ [_705456] : [isa(_705456, c_tptpcol_14_22072), -(tptpcol_14_22072(_705456))], (3428 ^ _601740) ^ [_705644] : [tptpcol_14_22072(_705644), -(isa(_705644, c_tptpcol_14_22072))], (3434 ^ _601740) ^ [_705832] : [isa(_705832, c_tptpcol_7_108547), -(tptpcol_7_108547(_705832))], (3440 ^ _601740) ^ [_706020] : [tptpcol_7_108547(_706020), -(isa(_706020, c_tptpcol_7_108547))], (3446 ^ _601740) ^ [_706208] : [isa(_706208, c_tptpcol_8_109059), -(tptpcol_8_109059(_706208))], (3452 ^ _601740) ^ [_706396] : [tptpcol_8_109059(_706396), -(isa(_706396, c_tptpcol_8_109059))], (3458 ^ _601740) ^ [_706584] : [isa(_706584, c_tptpcol_14_93774), -(tptpcol_14_93774(_706584))], (3464 ^ _601740) ^ [_706772] : [tptpcol_14_93774(_706772), -(isa(_706772, c_tptpcol_14_93774))], (3470 ^ _601740) ^ [_706960] : [isa(_706960, c_tptpcol_15_93775), -(tptpcol_15_93775(_706960))], (3476 ^ _601740) ^ [_707148] : [tptpcol_15_93775(_707148), -(isa(_707148, c_tptpcol_15_93775))], (3482 ^ _601740) ^ [_707336] : [isa(_707336, c_tptpcol_16_8886), -(tptpcol_16_8886(_707336))], (3488 ^ _601740) ^ [_707524] : [tptpcol_16_8886(_707524), -(isa(_707524, c_tptpcol_16_8886))], (3494 ^ _601740) ^ [_707726, _707728] : [orientation(_707728, _707726), -(orientationvector(_707726))], (3500 ^ _601740) ^ [_707934, _707936] : [orientation(_707936, _707934), -(spatialthing_localized(_707936))], (3506 ^ _601740) ^ [_708128] : [isa(_708128, c_orientationvector), -(orientationvector(_708128))], (3512 ^ _601740) ^ [_708316] : [orientationvector(_708316), -(isa(_708316, c_orientationvector))], (3518 ^ _601740) ^ [_708504] : [isa(_708504, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_708504))], (3524 ^ _601740) ^ [_708692] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_708692), -(isa(_708692, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _601740) ^ [_708894, _708896] : [tptptypes_9_824(_708896, _708894), -(firstordercollection(_708894))], (3536 ^ _601740) ^ [_709102, _709104] : [tptptypes_9_824(_709104, _709102), -(firstordercollection(_709104))], (3542 ^ _601740) ^ [_709310, _709312] : [tptptypes_7_396(_709312, _709310), -(firstordercollection(_709310))], (3548 ^ _601740) ^ [_709518, _709520] : [tptptypes_7_396(_709520, _709518), -(firstordercollection(_709520))], (3554 ^ _601740) ^ [_709712] : [isa(_709712, c_tptpcol_12_22055), -(tptpcol_12_22055(_709712))], (3560 ^ _601740) ^ [_709900] : [tptpcol_12_22055(_709900), -(isa(_709900, c_tptpcol_12_22055))], (3566 ^ _601740) ^ [_710088] : [isa(_710088, c_tptpcol_16_29490), -(tptpcol_16_29490(_710088))], (3572 ^ _601740) ^ [_710276] : [tptpcol_16_29490(_710276), -(isa(_710276, c_tptpcol_16_29490))], (3578 ^ _601740) ^ [_710478, _710480] : [tptp_9_720(_710480, _710478), -(tptpcol_5_28674(_710478))], (3584 ^ _601740) ^ [_710686, _710688] : [tptp_9_720(_710688, _710686), -(executionbyfiringsquad(_710688))], (3590 ^ _601740) ^ [_710880] : [isa(_710880, c_runningshorts), -(runningshorts(_710880))], (3596 ^ _601740) ^ [_711068] : [runningshorts(_711068), -(isa(_711068, c_runningshorts))], (3602 ^ _601740) ^ [_711256] : [isa(_711256, c_tptpcol_9_118019), -(tptpcol_9_118019(_711256))], (3608 ^ _601740) ^ [_711444] : [tptpcol_9_118019(_711444), -(isa(_711444, c_tptpcol_9_118019))], (3614 ^ _601740) ^ [_711632] : [isa(_711632, c_tptpcol_16_31868), -(tptpcol_16_31868(_711632))], (3620 ^ _601740) ^ [_711820] : [tptpcol_16_31868(_711820), -(isa(_711820, c_tptpcol_16_31868))], (3626 ^ _601740) ^ [_712008] : [isa(_712008, c_movement_translationevent), -(movement_translationevent(_712008))], (3632 ^ _601740) ^ [_712196] : [movement_translationevent(_712196), -(isa(_712196, c_movement_translationevent))], (3638 ^ _601740) ^ [_712398, _712400] : [directionoftranslation_throughout(_712400, _712398), -(unitvectorinterval(_712398))], (3644 ^ _601740) ^ [_712606, _712608] : [directionoftranslation_throughout(_712608, _712606), -(movement_translationevent(_712608))], (3650 ^ _601740) ^ [_712828, _712830, _712832] : [-(directionoftranslation_throughout(_712828, _712830)), directionoftranslation_throughout(_712832, _712830), subevents(_712832, _712828)], (3660 ^ _601740) ^ [_713123] : [isa(_713123, c_unitvectorinterval), -(unitvectorinterval(_713123))], (3666 ^ _601740) ^ [_713311] : [unitvectorinterval(_713311), -(isa(_713311, c_unitvectorinterval))], (3672 ^ _601740) ^ [_713499] : [isa(_713499, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_713499))], (3678 ^ _601740) ^ [_713687] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_713687), -(isa(_713687, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _601740) ^ [_713889, _713891] : [tptp_8_875(_713891, _713889), -(tptpcol_4_24578(_713889))], (3690 ^ _601740) ^ [_714097, _714099] : [tptp_8_875(_714099, _714097), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_714099))], (3696 ^ _601740) ^ [_714319, _714321, _714323] : [relationallexists(_714323, _714321, _714319), -(collection(_714319))], (3702 ^ _601740) ^ [_714549, _714551, _714553] : [relationallexists(_714553, _714551, _714549), -(collection(_714551))], (3708 ^ _601740) ^ [_714779, _714781, _714783] : [relationallexists(_714783, _714781, _714779), -(binarypredicate(_714783))], (3714 ^ _601740) ^ [_714981] : [isa(_714981, c_tptpcol_16_10258), -(tptpcol_16_10258(_714981))], (3720 ^ _601740) ^ [_715169] : [tptpcol_16_10258(_715169), -(isa(_715169, c_tptpcol_16_10258))], (3726 ^ _601740) ^ [_715357] : [isa(_715357, c_pushingababycarriage), -(pushingababycarriage(_715357))], (3732 ^ _601740) ^ [_715545] : [pushingababycarriage(_715545), -(isa(_715545, c_pushingababycarriage))], (3738 ^ _601740) ^ [_715733] : [isa(_715733, c_aspatialinformationstore), -(aspatialinformationstore(_715733))], (3744 ^ _601740) ^ [_715921] : [aspatialinformationstore(_715921), -(isa(_715921, c_aspatialinformationstore))], (3750 ^ _601740) ^ [_716109] : [isa(_716109, c_collection), -(collection(_716109))], (3756 ^ _601740) ^ [_716297] : [collection(_716297), -(isa(_716297, c_collection))], (3762 ^ _601740) ^ [_716485] : [isa(_716485, c_fixedordercollection), -(fixedordercollection(_716485))], (3768 ^ _601740) ^ [_716673] : [fixedordercollection(_716673), -(isa(_716673, c_fixedordercollection))], (3774 ^ _601740) ^ [_716861] : [isa(_716861, c_tptpcol_8_92164), -(tptpcol_8_92164(_716861))], (3780 ^ _601740) ^ [_717049] : [tptpcol_8_92164(_717049), -(isa(_717049, c_tptpcol_8_92164))], (3786 ^ _601740) ^ [_717237] : [isa(_717237, c_tptpcol_9_92165), -(tptpcol_9_92165(_717237))], (3792 ^ _601740) ^ [_717425] : [tptpcol_9_92165(_717425), -(isa(_717425, c_tptpcol_9_92165))], (3798 ^ _601740) ^ [_717613] : [isa(_717613, c_tptpcol_1_1), -(tptpcol_1_1(_717613))], (3804 ^ _601740) ^ [_717801] : [tptpcol_1_1(_717801), -(isa(_717801, c_tptpcol_1_1))], (3810 ^ _601740) ^ [_717989] : [isa(_717989, c_tptpcol_2_2), -(tptpcol_2_2(_717989))], (3816 ^ _601740) ^ [_718177] : [tptpcol_2_2(_718177), -(isa(_718177, c_tptpcol_2_2))], (3822 ^ _601740) ^ [_718379, _718381] : [tptptypes_7_691(_718381, _718379), -(firstordercollection(_718379))], (3828 ^ _601740) ^ [_718587, _718589] : [tptptypes_7_691(_718589, _718587), -(firstordercollection(_718589))], (3834 ^ _601740) ^ [_718781] : [isa(_718781, c_tptpcol_11_26887), -(tptpcol_11_26887(_718781))], (3840 ^ _601740) ^ [_718969] : [tptpcol_11_26887(_718969), -(isa(_718969, c_tptpcol_11_26887))], (3846 ^ _601740) ^ [_719157] : [isa(_719157, c_tptpcol_12_26919), -(tptpcol_12_26919(_719157))], (3852 ^ _601740) ^ [_719345] : [tptpcol_12_26919(_719345), -(isa(_719345, c_tptpcol_12_26919))], (3858 ^ _601740) ^ [_719547, _719549] : [tptptypes_6_818(_719549, _719547), -(firstordercollection(_719547))], (3864 ^ _601740) ^ [_719755, _719757] : [tptptypes_6_818(_719757, _719755), -(firstordercollection(_719757))], (3870 ^ _601740) ^ [_719963, _719965] : [tptptypes_7_819(_719965, _719963), -(firstordercollection(_719963))], (3876 ^ _601740) ^ [_720171, _720173] : [tptptypes_7_819(_720173, _720171), -(firstordercollection(_720173))], (3882 ^ _601740) ^ [_720365] : [isa(_720365, c_correctivelensprescription), -(correctivelensprescription(_720365))], (3888 ^ _601740) ^ [_720553] : [correctivelensprescription(_720553), -(isa(_720553, c_correctivelensprescription))], (3894 ^ _601740) ^ [_720755, _720757] : [products(_720757, _720755), -(artifact(_720755))], (3900 ^ _601740) ^ [_720963, _720965] : [products(_720965, _720963), -(creationordestructionevent(_720965))], (3906 ^ _601740) ^ [_721157] : [isa(_721157, c_issuingaprescription), -(issuingaprescription(_721157))], (3912 ^ _601740) ^ [_721345] : [issuingaprescription(_721345), -(isa(_721345, c_issuingaprescription))], (3918 ^ _601740) ^ [_721546, _721548, _721550] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_721550, _721548, _721546), c_subcollectionofwithrelationtotypefn))], (3920 ^ _601740) ^ [_721660, _721662, _721664] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721664, _721662, _721660), n_1, _721664))], (3922 ^ _601740) ^ [_721775, _721777, _721779] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721779, _721777, _721775), n_2, _721777))], (3924 ^ _601740) ^ [_721890, _721892, _721894] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721894, _721892, _721890), n_3, _721890))], (3926 ^ _601740) ^ [_722005, _722007, _722009] : [-(collection(f_subcollectionofwithrelationtotypefn(_722009, _722007, _722005)))], (3928 ^ _601740) ^ [_722105] : [isa(_722105, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_722105))], (3934 ^ _601740) ^ [_722293] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_722293), -(isa(_722293, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _601740) ^ [_722481] : [isa(_722481, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_722481))], (3946 ^ _601740) ^ [_722669] : [mathematicalorcomputationalthing(_722669), -(isa(_722669, c_mathematicalorcomputationalthing))], (3952 ^ _601740) ^ [_722857] : [isa(_722857, c_tptpcol_10_118020), -(tptpcol_10_118020(_722857))], (3958 ^ _601740) ^ [_723045] : [tptpcol_10_118020(_723045), -(isa(_723045, c_tptpcol_10_118020))], (3964 ^ _601740) ^ [_723233] : [isa(_723233, c_tptpcol_11_118084), -(tptpcol_11_118084(_723233))], (3970 ^ _601740) ^ [_723421] : [tptpcol_11_118084(_723421), -(isa(_723421, c_tptpcol_11_118084))], (3976 ^ _601740) ^ [_723609] : [isa(_723609, c_terroristgroup), -(terroristgroup(_723609))], (3982 ^ _601740) ^ [_723797] : [terroristgroup(_723797), -(isa(_723797, c_terroristgroup))], (3988 ^ _601740) ^ [_723999, _724001] : [hasmembers(_724001, _723999), -(agent_generic(_723999))], (3994 ^ _601740) ^ [_724207, _724209] : [hasmembers(_724209, _724207), -(organization(_724209))], (4000 ^ _601740) ^ [_724401] : [isa(_724401, c_terrorist), -(terrorist(_724401))], (4006 ^ _601740) ^ [_724589] : [terrorist(_724589), -(isa(_724589, c_terrorist))], (4012 ^ _601740) ^ [_724790, _724792, _724794] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_724794, _724792, _724790), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _601740) ^ [_724904, _724906, _724908] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_724908, _724906, _724904), n_1, _724908))], (4016 ^ _601740) ^ [_725019, _725021, _725023] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_725023, _725021, _725019), n_2, _725021))], (4018 ^ _601740) ^ [_725134, _725136, _725138] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_725138, _725136, _725134), n_3, _725134))], (4020 ^ _601740) ^ [_725249, _725251, _725253] : [-(collection(f_subcollectionofwithrelationfromtypefn(_725253, _725251, _725249)))], (4022 ^ _601740) ^ [_725349] : [isa(_725349, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_725349))], (4028 ^ _601740) ^ [_725537] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_725537), -(isa(_725537, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _601740) ^ [_725739, _725741] : [prettystring(_725741, _725739), -(controlcharacterfreestring(_725739))], (4040 ^ _601740) ^ [_725947, _725949] : [prettystring(_725949, _725947), -(thing(_725949))], (4046 ^ _601740) ^ [_726141] : [isa(_726141, c_tptpcol_0_0), -(tptpcol_0_0(_726141))], (4052 ^ _601740) ^ [_726329] : [tptpcol_0_0(_726329), -(isa(_726329, c_tptpcol_0_0))], (4058 ^ _601740) ^ [_726517] : [isa(_726517, c_geolevel_3), -(geolevel_3(_726517))], (4064 ^ _601740) ^ [_726705] : [geolevel_3(_726705), -(isa(_726705, c_geolevel_3))], (4070 ^ _601740) ^ [_726893] : [isa(_726893, c_tptpcol_4_24578), -(tptpcol_4_24578(_726893))], (4076 ^ _601740) ^ [_727081] : [tptpcol_4_24578(_727081), -(isa(_727081, c_tptpcol_4_24578))], (4082 ^ _601740) ^ [_727269] : [isa(_727269, c_tptpcol_5_24579), -(tptpcol_5_24579(_727269))], (4088 ^ _601740) ^ [_727457] : [tptpcol_5_24579(_727457), -(isa(_727457, c_tptpcol_5_24579))], (4094 ^ _601740) ^ [_727645] : [isa(_727645, c_tptpcol_5_106498), -(tptpcol_5_106498(_727645))], (4100 ^ _601740) ^ [_727833] : [tptpcol_5_106498(_727833), -(isa(_727833, c_tptpcol_5_106498))], (4106 ^ _601740) ^ [_728021] : [isa(_728021, c_tptpcol_12_109157), -(tptpcol_12_109157(_728021))], (4112 ^ _601740) ^ [_728209] : [tptpcol_12_109157(_728209), -(isa(_728209, c_tptpcol_12_109157))], (4118 ^ _601740) ^ [_728397] : [isa(_728397, c_tptpcol_13_109173), -(tptpcol_13_109173(_728397))], (4124 ^ _601740) ^ [_728585] : [tptpcol_13_109173(_728585), -(isa(_728585, c_tptpcol_13_109173))], (4130 ^ _601740) ^ [_728773] : [isa(_728773, c_mathematicalthing), -(mathematicalthing(_728773))], (4136 ^ _601740) ^ [_728961] : [mathematicalthing(_728961), -(isa(_728961, c_mathematicalthing))], (4142 ^ _601740) ^ [_729149] : [isa(_729149, c_setorcollection), -(setorcollection(_729149))], (4148 ^ _601740) ^ [_729337] : [setorcollection(_729337), -(isa(_729337, c_setorcollection))], (4154 ^ _601740) ^ [_729525] : [isa(_729525, c_tptpcol_11_18631), -(tptpcol_11_18631(_729525))], (4160 ^ _601740) ^ [_729713] : [tptpcol_11_18631(_729713), -(isa(_729713, c_tptpcol_11_18631))], (4166 ^ _601740) ^ [_729901] : [isa(_729901, c_tptpcol_12_18663), -(tptpcol_12_18663(_729901))], (4172 ^ _601740) ^ [_730089] : [tptpcol_12_18663(_730089), -(isa(_730089, c_tptpcol_12_18663))], (4178 ^ _601740) ^ [_730291, _730293] : [tptptypes_8_400(_730293, _730291), -(firstordercollection(_730291))], (4184 ^ _601740) ^ [_730499, _730501] : [tptptypes_8_400(_730501, _730499), -(firstordercollection(_730501))], (4190 ^ _601740) ^ [_730707, _730709] : [tptptypes_9_401(_730709, _730707), -(firstordercollection(_730707))], (4196 ^ _601740) ^ [_730915, _730917] : [tptptypes_9_401(_730917, _730915), -(firstordercollection(_730917))], (4202 ^ _601740) ^ [_731094] : [-(natfunction(f_tptpquantityfn_13(_731094), c_tptpquantityfn_13))], (4204 ^ _601740) ^ [_731174] : [-(natargument(f_tptpquantityfn_13(_731174), n_1, _731174))], (4206 ^ _601740) ^ [_731255] : [-(tptpquantity(f_tptpquantityfn_13(_731255)))], (4208 ^ _601740) ^ [_731363, _731365] : [borderson(_731365, _731363), -(geographicalregion(_731363))], (4214 ^ _601740) ^ [_731571, _731573] : [borderson(_731573, _731571), -(geographicalregion(_731573))], (4220 ^ _601740) ^ [_731779, _731781] : [borderson(_731781, _731779), -(borderson(_731779, _731781))], (4226 ^ _601740) ^ [_731959] : [borderson(_731959, _731959)], (4228 ^ _601740) ^ [_732052] : [isa(_732052, c_tptpcol_14_92264), -(tptpcol_14_92264(_732052))], (4234 ^ _601740) ^ [_732240] : [tptpcol_14_92264(_732240), -(isa(_732240, c_tptpcol_14_92264))], (4240 ^ _601740) ^ [_732428] : [isa(_732428, c_tptpcol_15_92268), -(tptpcol_15_92268(_732428))], (4246 ^ _601740) ^ [_732616] : [tptpcol_15_92268(_732616), -(isa(_732616, c_tptpcol_15_92268))], (4252 ^ _601740) ^ [_732804] : [isa(_732804, c_tptpcol_6_116738), -(tptpcol_6_116738(_732804))], (4258 ^ _601740) ^ [_732992] : [tptpcol_6_116738(_732992), -(isa(_732992, c_tptpcol_6_116738))], (4264 ^ _601740) ^ [_733194, _733196] : [tptptypes_5_387(_733196, _733194), -(firstordercollection(_733194))], (4270 ^ _601740) ^ [_733402, _733404] : [tptptypes_5_387(_733404, _733402), -(firstordercollection(_733404))], (4276 ^ _601740) ^ [_733610, _733612] : [tptptypes_6_388(_733612, _733610), -(firstordercollection(_733610))], (4282 ^ _601740) ^ [_733818, _733820] : [tptptypes_6_388(_733820, _733818), -(firstordercollection(_733820))], (4288 ^ _601740) ^ [_734012] : [isa(_734012, c_shavingrazor_manual), -(shavingrazor_manual(_734012))], (4294 ^ _601740) ^ [_734200] : [shavingrazor_manual(_734200), -(isa(_734200, c_shavingrazor_manual))], (4300 ^ _601740) ^ [_734388] : [isa(_734388, c_tptpcol_9_109060), -(tptpcol_9_109060(_734388))], (4306 ^ _601740) ^ [_734576] : [tptpcol_9_109060(_734576), -(isa(_734576, c_tptpcol_9_109060))], (4312 ^ _601740) ^ [_734764] : [isa(_734764, c_tptpcol_10_109061), -(tptpcol_10_109061(_734764))], (4318 ^ _601740) ^ [_734952] : [tptpcol_10_109061(_734952), -(isa(_734952, c_tptpcol_10_109061))], (4324 ^ _601740) ^ [_735140] : [isa(_735140, c_executionbyfiringsquad), -(executionbyfiringsquad(_735140))], (4330 ^ _601740) ^ [_735328] : [executionbyfiringsquad(_735328), -(isa(_735328, c_executionbyfiringsquad))], (4336 ^ _601740) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _601740) ^ [_735569] : [isa(_735569, c_navypersonnel), -(navypersonnel(_735569))], (4344 ^ _601740) ^ [_735757] : [navypersonnel(_735757), -(isa(_735757, c_navypersonnel))], (4350 ^ _601740) ^ [_735945] : [isa(_735945, c_tptpcol_12_92262), -(tptpcol_12_92262(_735945))], (4356 ^ _601740) ^ [_736133] : [tptpcol_12_92262(_736133), -(isa(_736133, c_tptpcol_12_92262))], (4362 ^ _601740) ^ [_736321] : [isa(_736321, c_thing), -(thing(_736321))], (4368 ^ _601740) ^ [_736509] : [thing(_736509), -(isa(_736509, c_thing))], (4374 ^ _601740) ^ [_736697] : [isa(_736697, c_computerdataartifact), -(computerdataartifact(_736697))], (4380 ^ _601740) ^ [_736885] : [computerdataartifact(_736885), -(isa(_736885, c_computerdataartifact))], (4386 ^ _601740) ^ [_737073] : [isa(_737073, c_applicationcontext), -(applicationcontext(_737073))], (4392 ^ _601740) ^ [_737261] : [applicationcontext(_737261), -(isa(_737261, c_applicationcontext))], (4398 ^ _601740) ^ [_737463, _737465] : [inregion(_737465, _737463), -(spatialthing_nonsituational(_737463))], (4404 ^ _601740) ^ [_737671, _737673] : [inregion(_737673, _737671), -(spatialthing_nonsituational(_737673))], (4410 ^ _601740) ^ [_737893, _737895, _737897] : [-(inregion(_737897, _737893)), inregion(_737897, _737895), inregion(_737895, _737893)], (4420 ^ _601740) ^ [_738188] : [spatialthing_nonsituational(_738188), -(inregion(_738188, _738188))], (4426 ^ _601740) ^ [_738361] : [-(natfunction(f_tptpquantityfn_1(_738361), c_tptpquantityfn_1))], (4428 ^ _601740) ^ [_738441] : [-(natargument(f_tptpquantityfn_1(_738441), n_1, _738441))], (4430 ^ _601740) ^ [_738522] : [-(tptpquantity(f_tptpquantityfn_1(_738522)))], (4432 ^ _601740) ^ [_738616] : [isa(_738616, c_furpelt), -(furpelt(_738616))], (4438 ^ _601740) ^ [_738804] : [furpelt(_738804), -(isa(_738804, c_furpelt))], (4444 ^ _601740) ^ [_739006, _739008] : [tptpofobject(_739008, _739006), -(tptpquantity(_739006))], (4450 ^ _601740) ^ [_739214, _739216] : [tptpofobject(_739216, _739214), -(partiallytangible(_739216))], (4456 ^ _601740) ^ [_739436, _739438, _739440] : [relationallinstance(_739440, _739438, _739436), -(thing(_739436))], (4462 ^ _601740) ^ [_739666, _739668, _739670] : [relationallinstance(_739670, _739668, _739666), -(collection(_739668))], (4468 ^ _601740) ^ [_739896, _739898, _739900] : [relationallinstance(_739900, _739898, _739896), -(binarypredicate(_739900))], (4474 ^ _601740) ^ [_740098] : [isa(_740098, c_tptpcol_13_93766), -(tptpcol_13_93766(_740098))], (4480 ^ _601740) ^ [_740286] : [tptpcol_13_93766(_740286), -(isa(_740286, c_tptpcol_13_93766))], (4486 ^ _601740) ^ [_740474] : [isa(_740474, c_tptpcol_9_40196), -(tptpcol_9_40196(_740474))], (4492 ^ _601740) ^ [_740662] : [tptpcol_9_40196(_740662), -(isa(_740662, c_tptpcol_9_40196))], (4498 ^ _601740) ^ [_740850] : [isa(_740850, c_tptpcol_10_40324), -(tptpcol_10_40324(_740850))], (4504 ^ _601740) ^ [_741038] : [tptpcol_10_40324(_741038), -(isa(_741038, c_tptpcol_10_40324))], (4510 ^ _601740) ^ [_741226] : [isa(_741226, c_tptpcol_7_72707), -(tptpcol_7_72707(_741226))], (4516 ^ _601740) ^ [_741414] : [tptpcol_7_72707(_741414), -(isa(_741414, c_tptpcol_7_72707))], (4522 ^ _601740) ^ [_741602] : [isa(_741602, c_tptpcol_8_72708), -(tptpcol_8_72708(_741602))], (4528 ^ _601740) ^ [_741790] : [tptpcol_8_72708(_741790), -(isa(_741790, c_tptpcol_8_72708))], (4534 ^ _601740) ^ [_741978] : [isa(_741978, c_tptpcol_11_93764), -(tptpcol_11_93764(_741978))], (4540 ^ _601740) ^ [_742166] : [tptpcol_11_93764(_742166), -(isa(_742166, c_tptpcol_11_93764))], (4546 ^ _601740) ^ [_742354] : [isa(_742354, c_tptpcol_12_93765), -(tptpcol_12_93765(_742354))], (4552 ^ _601740) ^ [_742542] : [tptpcol_12_93765(_742542), -(isa(_742542, c_tptpcol_12_93765))], (4558 ^ _601740) ^ [_742730] : [isa(_742730, c_tptpcol_4_114689), -(tptpcol_4_114689(_742730))], (4564 ^ _601740) ^ [_742918] : [tptpcol_4_114689(_742918), -(isa(_742918, c_tptpcol_4_114689))], (4570 ^ _601740) ^ [_743106] : [isa(_743106, c_tptpcol_5_114690), -(tptpcol_5_114690(_743106))], (4576 ^ _601740) ^ [_743294] : [tptpcol_5_114690(_743294), -(isa(_743294, c_tptpcol_5_114690))], (4582 ^ _601740) ^ [_743482] : [isa(_743482, c_tptpcol_3_98305), -(tptpcol_3_98305(_743482))], (4588 ^ _601740) ^ [_743670] : [tptpcol_3_98305(_743670), -(isa(_743670, c_tptpcol_3_98305))], (4594 ^ _601740) ^ [_743858] : [isa(_743858, c_tptpcol_4_106497), -(tptpcol_4_106497(_743858))], (4600 ^ _601740) ^ [_744046] : [tptpcol_4_106497(_744046), -(isa(_744046, c_tptpcol_4_106497))], (4606 ^ _601740) ^ [_744261, _744263, _744265, _744267] : [-(natfunction(f_relationexistsallfn(_744267, _744265, _744263, _744261), c_relationexistsallfn))], (4608 ^ _601740) ^ [_744392, _744394, _744396, _744398] : [-(natargument(f_relationexistsallfn(_744398, _744396, _744394, _744392), n_1, _744398))], (4610 ^ _601740) ^ [_744524, _744526, _744528, _744530] : [-(natargument(f_relationexistsallfn(_744530, _744528, _744526, _744524), n_2, _744528))], (4612 ^ _601740) ^ [_744656, _744658, _744660, _744662] : [-(natargument(f_relationexistsallfn(_744662, _744660, _744658, _744656), n_3, _744658))], (4614 ^ _601740) ^ [_744788, _744790, _744792, _744794] : [-(natargument(f_relationexistsallfn(_744794, _744792, _744790, _744788), n_4, _744788))], (4616 ^ _601740) ^ [_744920, _744922, _744924, _744926] : [-(thing(f_relationexistsallfn(_744926, _744924, _744922, _744920)))], (4618 ^ _601740) ^ [_745037, _745039] : [resultisaarg(_745039, _745037), -(positiveinteger(_745037))], (4624 ^ _601740) ^ [_745245, _745247] : [resultisaarg(_745247, _745245), -(function_denotational(_745247))], (4630 ^ _601740) ^ [_745453, _745455] : [tptptypes_7_389(_745455, _745453), -(firstordercollection(_745453))], (4636 ^ _601740) ^ [_745661, _745663] : [tptptypes_7_389(_745663, _745661), -(firstordercollection(_745663))], (4642 ^ _601740) ^ [_745869, _745871] : [tptptypes_8_390(_745871, _745869), -(firstordercollection(_745869))], (4648 ^ _601740) ^ [_746077, _746079] : [tptptypes_8_390(_746079, _746077), -(firstordercollection(_746079))], (4654 ^ _601740) ^ [_746285, _746287] : [tptptypes_8_692(_746287, _746285), -(firstordercollection(_746285))], (4660 ^ _601740) ^ [_746493, _746495] : [tptptypes_8_692(_746495, _746493), -(firstordercollection(_746495))], (4666 ^ _601740) ^ [_746701, _746703] : [tptptypes_9_693(_746703, _746701), -(firstordercollection(_746701))], (4672 ^ _601740) ^ [_746909, _746911] : [tptptypes_9_693(_746911, _746909), -(firstordercollection(_746911))], (4678 ^ _601740) ^ [_747103] : [isa(_747103, c_tptpcol_11_40388), -(tptpcol_11_40388(_747103))], (4684 ^ _601740) ^ [_747291] : [tptpcol_11_40388(_747291), -(isa(_747291, c_tptpcol_11_40388))], (4690 ^ _601740) ^ [_747479] : [isa(_747479, c_marriagelicensedocument), -(marriagelicensedocument(_747479))], (4696 ^ _601740) ^ [_747667] : [marriagelicensedocument(_747667), -(isa(_747667, c_marriagelicensedocument))], (4702 ^ _601740) ^ [_747855] : [isa(_747855, c_tptpcol_1_65536), -(tptpcol_1_65536(_747855))], (4708 ^ _601740) ^ [_748043] : [tptpcol_1_65536(_748043), -(isa(_748043, c_tptpcol_1_65536))], (4714 ^ _601740) ^ [_748231] : [isa(_748231, c_tptpcol_2_98304), -(tptpcol_2_98304(_748231))], (4720 ^ _601740) ^ [_748419] : [tptpcol_2_98304(_748419), -(isa(_748419, c_tptpcol_2_98304))], (4726 ^ _601740) ^ [_748607] : [isa(_748607, c_tptpcol_10_92166), -(tptpcol_10_92166(_748607))], (4732 ^ _601740) ^ [_748795] : [tptpcol_10_92166(_748795), -(isa(_748795, c_tptpcol_10_92166))], (4738 ^ _601740) ^ [_748983] : [isa(_748983, c_tptpcol_11_92230), -(tptpcol_11_92230(_748983))], (4744 ^ _601740) ^ [_749171] : [tptpcol_11_92230(_749171), -(isa(_749171, c_tptpcol_11_92230))], (4750 ^ _601740) ^ [_749359] : [isa(_749359, c_orderingpredicate), -(orderingpredicate(_749359))], (4756 ^ _601740) ^ [_749547] : [orderingpredicate(_749547), -(isa(_749547, c_orderingpredicate))], (4762 ^ _601740) ^ [_749735] : [isa(_749735, c_tptpcol_9_18439), -(tptpcol_9_18439(_749735))], (4768 ^ _601740) ^ [_749923] : [tptpcol_9_18439(_749923), -(isa(_749923, c_tptpcol_9_18439))], (4774 ^ _601740) ^ [_750111] : [isa(_750111, c_tptpcol_10_18567), -(tptpcol_10_18567(_750111))], (4780 ^ _601740) ^ [_750299] : [tptpcol_10_18567(_750299), -(isa(_750299, c_tptpcol_10_18567))], (4786 ^ _601740) ^ [_750487] : [isa(_750487, c_tptpcol_2_65537), -(tptpcol_2_65537(_750487))], (4792 ^ _601740) ^ [_750675] : [tptpcol_2_65537(_750675), -(isa(_750675, c_tptpcol_2_65537))], (4798 ^ _601740) ^ [_750863] : [isa(_750863, c_tptpcol_3_81921), -(tptpcol_3_81921(_750863))], (4804 ^ _601740) ^ [_751051] : [tptpcol_3_81921(_751051), -(isa(_751051, c_tptpcol_3_81921))], (4810 ^ _601740) ^ [_751239] : [isa(_751239, c_artsupplies), -(artsupplies(_751239))], (4816 ^ _601740) ^ [_751427] : [artsupplies(_751427), -(isa(_751427, c_artsupplies))], (4822 ^ _601740) ^ [_751615] : [isa(_751615, c_enduringthing_localized), -(enduringthing_localized(_751615))], (4828 ^ _601740) ^ [_751803] : [enduringthing_localized(_751803), -(isa(_751803, c_enduringthing_localized))], (4834 ^ _601740) ^ [_751991] : [isa(_751991, c_location_underspecified), -(location_underspecified(_751991))], (4840 ^ _601740) ^ [_752179] : [location_underspecified(_752179), -(isa(_752179, c_location_underspecified))], (4846 ^ _601740) ^ [_752367] : [isa(_752367, c_trajector_underspecified), -(trajector_underspecified(_752367))], (4852 ^ _601740) ^ [_752555] : [trajector_underspecified(_752555), -(isa(_752555, c_trajector_underspecified))], (4858 ^ _601740) ^ [_752743] : [isa(_752743, c_individual), -(individual(_752743))], (4864 ^ _601740) ^ [_752931] : [individual(_752931), -(isa(_752931, c_individual))], (4870 ^ _601740) ^ [_753119] : [isa(_753119, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_753119))], (4876 ^ _601740) ^ [_753307] : [partiallyintangibleindividual(_753307), -(isa(_753307, c_partiallyintangibleindividual))], (4882 ^ _601740) ^ [_753495] : [isa(_753495, c_tptpcol_10_22022), -(tptpcol_10_22022(_753495))], (4888 ^ _601740) ^ [_753683] : [tptpcol_10_22022(_753683), -(isa(_753683, c_tptpcol_10_22022))], (4894 ^ _601740) ^ [_753871] : [isa(_753871, c_tptpcol_11_22023), -(tptpcol_11_22023(_753871))], (4900 ^ _601740) ^ [_754059] : [tptpcol_11_22023(_754059), -(isa(_754059, c_tptpcol_11_22023))], (4906 ^ _601740) ^ [_754247] : [isa(_754247, c_tptpcol_5_20483), -(tptpcol_5_20483(_754247))], (4912 ^ _601740) ^ [_754435] : [tptpcol_5_20483(_754435), -(isa(_754435, c_tptpcol_5_20483))], (4918 ^ _601740) ^ [_754623] : [isa(_754623, c_tptpcol_13_72791), -(tptpcol_13_72791(_754623))], (4924 ^ _601740) ^ [_754811] : [tptpcol_13_72791(_754811), -(isa(_754811, c_tptpcol_13_72791))], (4930 ^ _601740) ^ [_754999] : [isa(_754999, c_tptpcol_14_72792), -(tptpcol_14_72792(_754999))], (4936 ^ _601740) ^ [_755187] : [tptpcol_14_72792(_755187), -(isa(_755187, c_tptpcol_14_72792))], (4942 ^ _601740) ^ [_755375] : [isa(_755375, c_ridgeline_topographical), -(ridgeline_topographical(_755375))], (4948 ^ _601740) ^ [_755563] : [ridgeline_topographical(_755563), -(isa(_755563, c_ridgeline_topographical))], (4954 ^ _601740) ^ [_755751] : [isa(_755751, c_tptpcol_4_16387), -(tptpcol_4_16387(_755751))], (4960 ^ _601740) ^ [_755939] : [tptpcol_4_16387(_755939), -(isa(_755939, c_tptpcol_4_16387))], (4966 ^ _601740) ^ [_756127] : [isa(_756127, c_tptpcol_5_16388), -(tptpcol_5_16388(_756127))], (4972 ^ _601740) ^ [_756315] : [tptpcol_5_16388(_756315), -(isa(_756315, c_tptpcol_5_16388))], (4978 ^ _601740) ^ [_756503] : [isa(_756503, c_tptpcol_8_22020), -(tptpcol_8_22020(_756503))], (4984 ^ _601740) ^ [_756691] : [tptpcol_8_22020(_756691), -(isa(_756691, c_tptpcol_8_22020))], (4990 ^ _601740) ^ [_756879] : [isa(_756879, c_tptpcol_9_22021), -(tptpcol_9_22021(_756879))], (4996 ^ _601740) ^ [_757067] : [tptpcol_9_22021(_757067), -(isa(_757067, c_tptpcol_9_22021))], (5002 ^ _601740) ^ [_757255] : [isa(_757255, c_transitivebinarypredicate), -(transitivebinarypredicate(_757255))], (5008 ^ _601740) ^ [_757443] : [transitivebinarypredicate(_757443), -(isa(_757443, c_transitivebinarypredicate))], (5014 ^ _601740) ^ [_757645, _757647] : [geographicalsubregions(_757647, _757645), -(geographicalregion(_757645))], (5020 ^ _601740) ^ [_757853, _757855] : [geographicalsubregions(_757855, _757853), -(geographicalregion(_757855))], (5026 ^ _601740) ^ [_758075, _758077, _758079] : [-(geographicalsubregions(_758079, _758075)), geographicalsubregions(_758079, _758077), geographicalsubregions(_758077, _758075)], (5036 ^ _601740) ^ [_758370] : [geographicalregion(_758370), -(geographicalsubregions(_758370, _758370))], (5042 ^ _601740) ^ [_758558] : [isa(_758558, c_tptpcol_12_40420), -(tptpcol_12_40420(_758558))], (5048 ^ _601740) ^ [_758746] : [tptpcol_12_40420(_758746), -(isa(_758746, c_tptpcol_12_40420))], (5054 ^ _601740) ^ [_758934] : [isa(_758934, c_tptpcol_13_40421), -(tptpcol_13_40421(_758934))], (5060 ^ _601740) ^ [_759122] : [tptpcol_13_40421(_759122), -(isa(_759122, c_tptpcol_13_40421))], (5066 ^ _601740) ^ [_759310] : [isa(_759310, c_tptpcol_6_92162), -(tptpcol_6_92162(_759310))], (5072 ^ _601740) ^ [_759498] : [tptpcol_6_92162(_759498), -(isa(_759498, c_tptpcol_6_92162))], (5078 ^ _601740) ^ [_759686] : [isa(_759686, c_tptpcol_7_93186), -(tptpcol_7_93186(_759686))], (5084 ^ _601740) ^ [_759874] : [tptpcol_7_93186(_759874), -(isa(_759874, c_tptpcol_7_93186))], (5090 ^ _601740) ^ [_760076, _760078] : [most(_760078, _760076), -(setorcollection(_760076))], (5096 ^ _601740) ^ [_760284, _760286] : [most(_760286, _760284), -(setorcollection(_760284))], (5102 ^ _601740) ^ [_760492, _760494] : [most(_760494, _760492), -(setorcollection(_760494))], (5108 ^ _601740) ^ [_760700, _760702] : [most(_760702, _760700), -(setorcollection(_760702))], (5114 ^ _601740) ^ [_760894] : [setorcollection(_760894), -(most(_760894, _760894))], (5120 ^ _601740) ^ [_761082] : [setorcollection(_761082), -(most(_761082, _761082))], (5126 ^ _601740) ^ [_761298, _761300, _761302] : [-(most(_761302, _761298)), most(_761302, _761300), subsetof(_761300, _761298)], (5136 ^ _601740) ^ [_761621, _761623, _761625] : [-(most(_761625, _761621)), most(_761625, _761623), subsetof(_761623, _761621)], (5146 ^ _601740) ^ [_761930, _761932] : [subsetof(_761932, _761930), -(setorcollection(_761930))], (5152 ^ _601740) ^ [_762138, _762140] : [subsetof(_762140, _762138), -(setorcollection(_762140))], (5158 ^ _601740) ^ [_762360, _762362, _762364] : [-(subsetof(_762364, _762360)), subsetof(_762364, _762362), subsetof(_762362, _762360)], (5168 ^ _601740) ^ [_762655] : [setorcollection(_762655), -(subsetof(_762655, _762655))], (5174 ^ _601740) ^ [_762871, _762873, _762875] : [-(subsetof(_762871, _762873)), subsetof(_762875, _762873), subsetof(_762871, _762875)], (5184 ^ _601740) ^ [_763194, _763196, _763198] : [-(subsetof(_763198, _763194)), subsetof(_763198, _763196), subsetof(_763196, _763194)], (5194 ^ _601740) ^ [_763517, _763519, _763521] : [-(subsetof(_763521, _763517)), subsetof(_763521, _763519), subsetof(_763519, _763517)], (5204 ^ _601740) ^ [_763826, _763828] : [genlpreds(_763828, _763826), -(predicate(_763826))], (5210 ^ _601740) ^ [_764034, _764036] : [genlpreds(_764036, _764034), -(predicate(_764034))], (5216 ^ _601740) ^ [_764242, _764244] : [genlpreds(_764244, _764242), -(predicate(_764244))], (5222 ^ _601740) ^ [_764450, _764452] : [genlpreds(_764452, _764450), -(predicate(_764452))], (5228 ^ _601740) ^ [_764672, _764674, _764676] : [-(genlpreds(_764676, _764672)), genlpreds(_764676, _764674), genlpreds(_764674, _764672)], (5238 ^ _601740) ^ [_764967] : [predicate(_764967), -(genlpreds(_764967, _764967))], (5244 ^ _601740) ^ [_765155] : [predicate(_765155), -(genlpreds(_765155, _765155))], (5250 ^ _601740) ^ [_765357, _765359] : [genlinverse(_765359, _765357), -(binarypredicate(_765357))], (5256 ^ _601740) ^ [_765565, _765567] : [genlinverse(_765567, _765565), -(binarypredicate(_765567))], (5262 ^ _601740) ^ [_765787, _765789, _765791] : [-(genlinverse(_765787, _765789)), genlinverse(_765791, _765789), genlpreds(_765787, _765791)], (5272 ^ _601740) ^ [_766110, _766112, _766114] : [-(genlinverse(_766114, _766110)), genlinverse(_766114, _766112), genlpreds(_766112, _766110)], (5282 ^ _601740) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _601740) ^ [_766458] : [isa(_766458, c_microtheory), -(microtheory(_766458))], (5290 ^ _601740) ^ [_766646] : [microtheory(_766646), -(isa(_766646, c_microtheory))], (5296 ^ _601740) ^ [_766819] : [-(natfunction(f_urlfn(_766819), c_urlfn))], (5298 ^ _601740) ^ [_766899] : [-(natargument(f_urlfn(_766899), n_1, _766899))], (5300 ^ _601740) ^ [_766980] : [-(uniformresourcelocator(f_urlfn(_766980)))], (5302 ^ _601740) ^ [_767059] : [-(natfunction(f_urlreferentfn(_767059), c_urlreferentfn))], (5304 ^ _601740) ^ [_767139] : [-(natargument(f_urlreferentfn(_767139), n_1, _767139))], (5306 ^ _601740) ^ [_767220] : [-(computerdataartifact(f_urlreferentfn(_767220)))], (5308 ^ _601740) ^ [_767313, _767315] : [-(natfunction(f_contentmtofcdafromeventfn(_767315, _767313), c_contentmtofcdafromeventfn))], (5310 ^ _601740) ^ [_767410, _767412] : [-(natargument(f_contentmtofcdafromeventfn(_767412, _767410), n_1, _767412))], (5312 ^ _601740) ^ [_767508, _767510] : [-(natargument(f_contentmtofcdafromeventfn(_767510, _767508), n_2, _767508))], (5314 ^ _601740) ^ [_767606, _767608] : [-(microtheory(f_contentmtofcdafromeventfn(_767608, _767606)))], (5316 ^ _601740) ^ [_767717, _767719] : [isa(_767719, _767717), -(collection(_767717))], (5322 ^ _601740) ^ [_767925, _767927] : [isa(_767927, _767925), -(collection(_767925))], (5328 ^ _601740) ^ [_768133, _768135] : [isa(_768135, _768133), -(thing(_768135))], (5334 ^ _601740) ^ [_768341, _768343] : [isa(_768343, _768341), -(thing(_768343))], (5340 ^ _601740) ^ [_768563, _768565, _768567] : [-(isa(_768567, _768563)), isa(_768567, _768565), genls(_768565, _768563)], (5350 ^ _601740) ^ [_768858] : [isa(_768858, c_inanimateobject), -(inanimateobject(_768858))], (5356 ^ _601740) ^ [_769046] : [inanimateobject(_769046), -(isa(_769046, c_inanimateobject))], (5362 ^ _601740) ^ [_769234] : [isa(_769234, c_tptpcol_9_72709), -(tptpcol_9_72709(_769234))], (5368 ^ _601740) ^ [_769422] : [tptpcol_9_72709(_769422), -(isa(_769422, c_tptpcol_9_72709))], (5374 ^ _601740) ^ [_769610] : [isa(_769610, c_tptpcol_10_72710), -(tptpcol_10_72710(_769610))], (5380 ^ _601740) ^ [_769798] : [tptpcol_10_72710(_769798), -(isa(_769798, c_tptpcol_10_72710))], (5386 ^ _601740) ^ [_769986] : [isa(_769986, c_tptpcol_14_40429), -(tptpcol_14_40429(_769986))], (5392 ^ _601740) ^ [_770174] : [tptpcol_14_40429(_770174), -(isa(_770174, c_tptpcol_14_40429))], (5398 ^ _601740) ^ [_770362] : [isa(_770362, c_tptpcol_15_40430), -(tptpcol_15_40430(_770362))], (5404 ^ _601740) ^ [_770550] : [tptpcol_15_40430(_770550), -(isa(_770550, c_tptpcol_15_40430))], (5410 ^ _601740) ^ [_770752, _770754] : [genls(_770754, _770752), -(collection(_770752))], (5416 ^ _601740) ^ [_770960, _770962] : [genls(_770962, _770960), -(collection(_770960))], (5422 ^ _601740) ^ [_771168, _771170] : [genls(_771170, _771168), -(collection(_771170))], (5428 ^ _601740) ^ [_771376, _771378] : [genls(_771378, _771376), -(collection(_771378))], (5434 ^ _601740) ^ [_771598, _771600, _771602] : [-(genls(_771602, _771598)), genls(_771602, _771600), genls(_771600, _771598)], (5444 ^ _601740) ^ [_771893] : [collection(_771893), -(genls(_771893, _771893))], (5450 ^ _601740) ^ [_772081] : [collection(_772081), -(genls(_772081, _772081))], (5456 ^ _601740) ^ [_772297, _772299, _772301] : [-(genls(_772297, _772299)), genls(_772301, _772299), genls(_772297, _772301)], (5466 ^ _601740) ^ [_772620, _772622, _772624] : [-(genls(_772624, _772620)), genls(_772624, _772622), genls(_772622, _772620)], (5476 ^ _601740) ^ [_772915] : [isa(_772915, c_partiallytangible), -(partiallytangible(_772915))], (5482 ^ _601740) ^ [_773103] : [partiallytangible(_773103), -(isa(_773103, c_partiallytangible))], (5488 ^ _601740) ^ [_773291] : [isa(_773291, c_intangible), -(intangible(_773291))], (5494 ^ _601740) ^ [_773479] : [intangible(_773479), -(isa(_773479, c_intangible))], (5500 ^ _601740) ^ [_773681, _773683] : [disjointwith(_773683, _773681), -(collection(_773681))], (5506 ^ _601740) ^ [_773889, _773891] : [disjointwith(_773891, _773889), -(collection(_773891))], (5512 ^ _601740) ^ [_774097, _774099] : [disjointwith(_774099, _774097), -(disjointwith(_774097, _774099))], (5518 ^ _601740) ^ [_774321, _774323, _774325] : [-(disjointwith(_774325, _774321)), disjointwith(_774325, _774323), genls(_774321, _774323)], (5528 ^ _601740) ^ [_774644, _774646, _774648] : [-(disjointwith(_774644, _774646)), disjointwith(_774648, _774646), genls(_774644, _774648)], (5538 ^ _601740) ^ [_774953, _774955] : [-(mtvisible(_774953)), mtvisible(_774955), genlmt(_774955, _774953)], (5548 ^ _601740) ^ [_775248, _775250] : [genlmt(_775250, _775248), -(microtheory(_775248))], (5554 ^ _601740) ^ [_775456, _775458] : [genlmt(_775458, _775456), -(microtheory(_775456))], (5560 ^ _601740) ^ [_775664, _775666] : [genlmt(_775666, _775664), -(microtheory(_775666))], (5566 ^ _601740) ^ [_775872, _775874] : [genlmt(_775874, _775872), -(microtheory(_775874))], (5572 ^ _601740) ^ [_776094, _776096, _776098] : [-(genlmt(_776098, _776094)), genlmt(_776098, _776096), genlmt(_776096, _776094)], (5582 ^ _601740) ^ [_776389] : [microtheory(_776389), -(genlmt(_776389, _776389))], (5594 ^ _601740) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _601740) ^ [_776577] : [microtheory(_776577), -(genlmt(_776577, _776577))]], input).
% 0.43/1.39  ncf('1',plain,[borderson(c_georegion_l4_x57_y47, c_georegion_l4_x56_y47)],start(5598 ^ 0)).
% 0.43/1.39  ncf('1.1',plain,[-(borderson(c_georegion_l4_x57_y47, c_georegion_l4_x56_y47)), borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47)],extension(4220 ^ 1,bind([[_731779, _731781], [c_georegion_l4_x57_y47, c_georegion_l4_x56_y47]]))).
% 0.43/1.39  ncf('1.1.1',plain,[-(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47)), mtvisible(c_tptpgeo_member5_mt)],extension(400 ^ 2)).
% 0.43/1.39  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member5_mt)), mtvisible(c_tptpgeo_spindlecollectormt), genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt)],extension(5538 ^ 3,bind([[_774953, _774955], [c_tptpgeo_member5_mt, c_tptpgeo_spindlecollectormt]]))).
% 0.43/1.39  ncf('1.1.1.1.1',plain,[-(mtvisible(c_tptpgeo_spindlecollectormt))],extension(5596 ^ 4)).
% 0.43/1.39  ncf('1.1.1.1.2',plain,[-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))],extension(1586 ^ 4)).
% 0.43/1.39  %-----------------------------------------------------
% 0.43/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------