%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : CSR041+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:36:48 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : CSR041+2 : TPTP v8.1.2. Released v3.4.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n004.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:05:24 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 0.42/1.39  
% 0.42/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.42/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  ncf(matrix, plain, [(5596 ^ _593657) ^ [] : [-(mtvisible(c_tptp_member2831_mt))], (5598 ^ _593657) ^ [] : [aspatialthing(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))], (2 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _593657) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _593657) ^ [_593862] : [intangible(_593862), partiallytangible(_593862)], (12 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _593657) ^ [_594100] : [tptpcol_15_40430(_594100), -(tptpcol_14_40429(_594100))], (20 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _593657) ^ [_594339] : [tptpcol_10_72710(_594339), -(tptpcol_9_72709(_594339))], (28 ^ _593657) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _593657) ^ [_594578] : [inanimateobject(_594578), -(partiallytangible(_594578))], (36 ^ _593657) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _593657) ^ [_594845, _594847, _594849] : [-(genlpreds(_594849, _594845)), genlinverse(_594849, _594847), genlinverse(_594847, _594845)], (48 ^ _593657) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _593657) ^ [_595207, _595209] : [subsetof(_595209, _595207), -(most(_595209, _595207))], (56 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _593657) ^ [_595456] : [tptpcol_7_93186(_595456), -(tptpcol_6_92162(_595456))], (64 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _593657) ^ [_595695] : [tptpcol_13_40421(_595695), -(tptpcol_12_40420(_595695))], (72 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _593657) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _593657) ^ [_596159] : [tptpcol_9_22021(_596159), -(tptpcol_8_22020(_596159))], (90 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _593657) ^ [_596398] : [tptpcol_5_16388(_596398), -(tptpcol_4_16387(_596398))], (98 ^ _593657) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _593657) ^ [_596756] : [tptpcol_14_72792(_596756), -(tptpcol_13_72791(_596756))], (112 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _593657) ^ [_596995] : [tptpcol_5_20483(_596995), -(tptpcol_4_16387(_596995))], (120 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _593657) ^ [_597234] : [tptpcol_11_22023(_597234), -(tptpcol_10_22022(_597234))], (128 ^ _593657) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _593657) ^ [_597473] : [partiallyintangibleindividual(_597473), -(individual(_597473))], (136 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _593657) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _593657) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _593657) ^ [_597818] : [trajector_underspecified(_597818), -(location_underspecified(_597818))], (148 ^ _593657) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _593657) ^ [_598057] : [partiallytangible(_598057), -(enduringthing_localized(_598057))], (156 ^ _593657) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _593657) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _593657) ^ [_598415] : [tptpcol_3_81921(_598415), -(tptpcol_2_65537(_598415))], (170 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _593657) ^ [_598654] : [tptpcol_10_18567(_598654), -(tptpcol_9_18439(_598654))], (178 ^ _593657) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _593657) ^ [_598893] : [orderingpredicate(_598893), -(transitivebinarypredicate(_598893))], (186 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _593657) ^ [_599132] : [tptpcol_11_92230(_599132), -(tptpcol_10_92166(_599132))], (194 ^ _593657) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _593657) ^ [_599371] : [tptpcol_2_98304(_599371), -(tptpcol_1_65536(_599371))], (202 ^ _593657) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _593657) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _593657) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _593657) ^ [_599835] : [tptpcol_12_40420(_599835), -(tptpcol_11_40388(_599835))], (220 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _593657) ^ [_600088, _600090] : [tptptypes_9_693(_600090, _600088), -(tptptypes_8_692(_600090, _600088))], (228 ^ _593657) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _593657) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _593657) ^ [_600457, _600459] : [tptptypes_8_390(_600459, _600457), -(tptptypes_7_389(_600459, _600457))], (240 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _593657) ^ [_600801, _600803, _600805, _600807] : [-(isa(f_relationexistsallfn(_600807, _600803, _600801, _600805), _600801)), isa(_600807, _600805), relationexistsall(_600803, _600801, _600805)], (254 ^ _593657) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _593657) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _593657) ^ [_601330] : [tptpcol_4_106497(_601330), -(tptpcol_3_98305(_601330))], (268 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _593657) ^ [_601569] : [tptpcol_5_114690(_601569), -(tptpcol_4_114689(_601569))], (276 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _593657) ^ [_601808] : [tptpcol_12_93765(_601808), -(tptpcol_11_93764(_601808))], (284 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _593657) ^ [_602047] : [tptpcol_8_72708(_602047), -(tptpcol_7_72707(_602047))], (292 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _593657) ^ [_602286] : [tptpcol_10_40324(_602286), -(tptpcol_9_40196(_602286))], (300 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _593657) ^ [_602525] : [tptpcol_13_93766(_602525), -(tptpcol_12_93765(_602525))], (308 ^ _593657) ^ [_602711] : [-(tptpofobject(_602711, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_602711)], (318 ^ _593657) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _593657) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _593657) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _593657) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _593657) ^ [_603375] : [location_underspecified(_603375), -(thing(_603375))], (342 ^ _593657) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _593657) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _593657) ^ [_603720] : [tptpcol_12_92262(_603720), -(tptpcol_11_92230(_603720))], (354 ^ _593657) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _593657) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _593657) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _593657) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _593657) ^ [_604237] : [tptpcol_10_109061(_604237), -(tptpcol_9_109060(_604237))], (374 ^ _593657) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _593657) ^ [_604543, _604545] : [tptptypes_6_388(_604545, _604543), -(tptptypes_5_387(_604545, _604543))], (384 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _593657) ^ [_604792] : [tptpcol_6_116738(_604792), -(tptpcol_5_114690(_604792))], (392 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _593657) ^ [_605031] : [tptpcol_15_92268(_605031), -(tptpcol_14_92264(_605031))], (400 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _593657) ^ [_605336] : [-(tptpofobject(_605336, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_605336)], (416 ^ _593657) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _593657) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _593657) ^ [_605789, _605791] : [tptptypes_9_401(_605791, _605789), -(tptptypes_8_400(_605789, _605791))], (430 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _593657) ^ [_606038] : [tptpcol_12_18663(_606038), -(tptpcol_11_18631(_606038))], (438 ^ _593657) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _593657) ^ [_606277] : [setorcollection(_606277), -(mathematicalthing(_606277))], (446 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _593657) ^ [_606516] : [tptpcol_13_109173(_606516), -(tptpcol_12_109157(_606516))], (454 ^ _593657) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _593657) ^ [_606808] : [tptpcol_5_106498(_606808), -(tptpcol_4_106497(_606808))], (464 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _593657) ^ [_607047] : [tptpcol_5_24579(_607047), -(tptpcol_4_24578(_607047))], (472 ^ _593657) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _593657) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _593657) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _593657) ^ [_607577] : [tptpcol_1_65536(_607577), -(tptpcol_0_0(_607577))], (494 ^ _593657) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _593657) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _593657) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _593657) ^ [_608002, _608004] : [geographicalsubregions(_608004, _608002), -(inregion(_608002, _608004))], (510 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _593657) ^ [_608251] : [tptpcol_11_118084(_608251), -(tptpcol_10_118020(_608251))], (518 ^ _593657) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _593657) ^ [_608490] : [mathematicalorcomputationalthing(_608490), -(intangible(_608490))], (526 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _593657) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _593657) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _593657) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _593657) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _593657) ^ [_609008, _609010] : [tptptypes_7_819(_609010, _609008), -(tptptypes_6_818(_609010, _609008))], (544 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _593657) ^ [_609310] : [tptpcol_12_26919(_609310), -(tptpcol_11_26887(_609310))], (554 ^ _593657) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _593657) ^ [_609563, _609565] : [tptptypes_8_692(_609565, _609563), -(tptptypes_7_691(_609563, _609565))], (562 ^ _593657) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _593657) ^ [_609812] : [tptpcol_2_2(_609812), -(tptpcol_1_1(_609812))], (570 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _593657) ^ [_610104] : [tptpcol_9_92165(_610104), -(tptpcol_8_92164(_610104))], (580 ^ _593657) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _593657) ^ [_610343] : [fixedordercollection(_610343), -(collection(_610343))], (588 ^ _593657) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _593657) ^ [_610582] : [tptpcol_1_1(_610582), tptpcol_1_65536(_610582)], (596 ^ _593657) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _593657) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _593657) ^ [_610873] : [microtheory(_610873), -(aspatialinformationstore(_610873))], (606 ^ _593657) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _593657) ^ [_611178] : [-(tptp_8_875(_611178, f_relationallexistsfn(_611178, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_611178, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _593657) ^ [] : [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 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _593657) ^ [_611629] : [tptpcol_10_118020(_611629), -(tptpcol_9_118019(_611629))], (636 ^ _593657) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _593657) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _593657) ^ [_611987] : [-(tptp_9_720(_611987, f_relationallexistsfn(_611987, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_611987)], (654 ^ _593657) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _593657) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _593657) ^ [_612436] : [individual(_612436), setorcollection(_612436)], (668 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _593657) ^ [_612674] : [tptpcol_12_22055(_612674), -(tptpcol_11_22023(_612674))], (676 ^ _593657) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _593657) ^ [_612913] : [applicationcontext(_612913), -(microtheory(_612913))], (684 ^ _593657) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _593657) ^ [_613219, _613221] : [tptptypes_8_400(_613221, _613219), -(tptptypes_7_396(_613221, _613219))], (694 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _593657) ^ [_613468] : [tptpcol_11_18631(_613468), -(tptpcol_10_18567(_613468))], (702 ^ _593657) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _593657) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _593657) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _593657) ^ [_613879] : [mathematicalthing(_613879), -(mathematicalorcomputationalthing(_613879))], (718 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _593657) ^ [_614171] : [tptpcol_15_93775(_614171), -(tptpcol_14_93774(_614171))], (728 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _593657) ^ [_614410] : [tptpcol_8_109059(_614410), -(tptpcol_7_108547(_614410))], (736 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _593657) ^ [_614649] : [tptpcol_14_40429(_614649), -(tptpcol_13_40421(_614649))], (744 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _593657) ^ [_615007] : [tptpcol_14_22072(_615007), -(tptpcol_13_22071(_615007))], (758 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _593657) ^ [_615246] : [tptpcol_14_93774(_615246), -(tptpcol_13_93766(_615246))], (766 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _593657) ^ [_615485] : [tptpcol_10_22022(_615485), -(tptpcol_9_22021(_615485))], (774 ^ _593657) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _593657) ^ [_615724] : [inanimateobject_nonnatural(_615724), -(inanimateobject(_615724))], (782 ^ _593657) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _593657) ^ [_616069] : [tptpcol_9_72709(_616069), -(tptpcol_8_72708(_616069))], (794 ^ _593657) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _593657) ^ [_616308] : [-(tptpofobject(_616308, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_616308)], (806 ^ _593657) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _593657) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _593657) ^ [_616747] : [firstordercollection(_616747), -(fixedordercollection(_616747))], (820 ^ _593657) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _593657) ^ [_617158] : [tptpcol_13_18664(_617158), -(tptpcol_12_18663(_617158))], (836 ^ _593657) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _593657) ^ [_617397] : [artifact(_617397), -(inanimateobject_nonnatural(_617397))], (844 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _593657) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _593657) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _593657) ^ [_617795] : [tptpcol_7_113665(_617795), -(tptpcol_6_112641(_617795))], (858 ^ _593657) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _593657) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _593657) ^ [_618153] : [geographicalregion(_618153), -(partiallytangible(_618153))], (872 ^ _593657) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _593657) ^ [_618406, _618408] : [disjointwith(_618408, _618406), -(no(_618408, _618406))], (880 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _593657) ^ [_618655] : [tptpcol_4_24578(_618655), -(tptpcol_3_16386(_618655))], (888 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _593657) ^ [_618894] : [tptpcol_5_69635(_618894), -(tptpcol_4_65539(_618894))], (896 ^ _593657) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _593657) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _593657) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _593657) ^ [_619253, _619255] : [genls(_619255, _619253), -(collection(_619255))], (908 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _593657) ^ [_619500] : [tptpcol_13_22071(_619500), -(tptpcol_12_22055(_619500))], (916 ^ _593657) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _593657) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _593657) ^ [_619792] : [tptpcol_3_98305(_619792), -(tptpcol_2_98304(_619792))], (926 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _593657) ^ [_620031] : [tptpcol_4_114689(_620031), -(tptpcol_3_114688(_620031))], (934 ^ _593657) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _593657) ^ [_620270] : [artsupplies(_620270), -(supplies(_620270))], (942 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _593657) ^ [_620509] : [tptpcol_8_26629(_620509), -(tptpcol_7_26628(_620509))], (950 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _593657) ^ [_620748] : [tptpcol_9_109060(_620748), -(tptpcol_8_109059(_620748))], (958 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _593657) ^ [_620987] : [isa(_620987, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_620987, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _620987))], (966 ^ _593657) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _593657) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _593657) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _593657) ^ [_621571] : [tptpcol_14_109181(_621571), -(tptpcol_13_109173(_621571))], (988 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _593657) ^ [_621810] : [tptpcol_16_30972(_621810), -(tptpcol_15_30970(_621810))], (996 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _593657) ^ [_622102] : [tptpcol_9_18439(_622102), -(tptpcol_8_18438(_622102))], (1006 ^ _593657) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _593657) ^ [_622394] : [tptpcol_12_118116(_622394), -(tptpcol_11_118084(_622394))], (1016 ^ _593657) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _593657) ^ [_622686] : [tptpcol_7_26628(_622686), -(tptpcol_6_26627(_622686))], (1026 ^ _593657) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _593657) ^ [_622939, _622941] : [most(_622941, _622939), -(setorcollection(_622941))], (1034 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _593657) ^ [_623186] : [tptpcol_15_109185(_623186), -(tptpcol_14_109181(_623186))], (1042 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _593657) ^ [_623425] : [tptpcol_16_92269(_623425), -(tptpcol_15_92268(_623425))], (1050 ^ _593657) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _593657) ^ [_623731, _623733] : [tptptypes_8_823(_623733, _623731), -(tptptypes_7_819(_623733, _623731))], (1060 ^ _593657) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _593657) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _593657) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _593657) ^ [_624311] : [tptpcol_10_26886(_624311), -(tptpcol_9_26885(_624311))], (1082 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _593657) ^ [_624603] : [tptpcol_15_72793(_624603), -(tptpcol_14_72792(_624603))], (1092 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _593657) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _593657) ^ [_624961] : [navypersonnel(_624961), -(militaryperson(_624961))], (1106 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _593657) ^ [_625200] : [tptpcol_4_16387(_625200), -(tptpcol_3_16386(_625200))], (1114 ^ _593657) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _593657) ^ [_625439] : [enduringthing_localized(_625439), -(spatialthing_nonsituational(_625439))], (1122 ^ _593657) ^ [_625625] : [collection(_625625), individual(_625625)], (1128 ^ _593657) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _593657) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _593657) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _593657) ^ [_626154] : [physicalorderingpredicate(_626154), -(orderingpredicate(_626154))], (1150 ^ _593657) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _593657) ^ [_626407, _626409] : [disjointwith(_626409, _626407), -(collection(_626407))], (1158 ^ _593657) ^ [_626643, _626645, _626647, _626649] : [-(isa(f_relationallexistsfn(_626649, _626645, _626647, _626643), _626643)), isa(_626649, _626647), relationallexists(_626645, _626647, _626643)], (1168 ^ _593657) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _593657) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _593657) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _593657) ^ [_627252, _627254] : [tptptypes_7_389(_627254, _627252), -(tptptypes_6_388(_627252, _627254))], (1186 ^ _593657) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _593657) ^ [_627567] : [-(hpkb_subnationalagent(_627567)), mtvisible(c_hpkbvocabmt), state_geopolitical(_627567)], (1202 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _593657) ^ [_627885] : [tptpcol_8_22020(_627885), -(tptpcol_7_21508(_627885))], (1210 ^ _593657) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _593657) ^ [_628124] : [-(tptp_9_51(f_relationexistsallfn(_628124, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _628124)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_628124, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _593657) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _593657) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _593657) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _593657) ^ [_628628] : [tptpcol_3_65538(_628628), -(tptpcol_2_65537(_628628))], (1238 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _593657) ^ [_628867] : [tptpcol_14_26921(_628867), -(tptpcol_13_26920(_628867))], (1246 ^ _593657) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _593657) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _593657) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _593657) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _593657) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _593657) ^ [_629318] : [intangibleindividual(_629318), -(partiallyintangibleindividual(_629318))], (1262 ^ _593657) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _593657) ^ [_629676] : [tptpcol_16_130924(_629676), -(tptpcol_15_130923(_629676))], (1276 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _593657) ^ [_629915] : [tptpcol_7_92163(_629915), -(tptpcol_6_92162(_629915))], (1284 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _593657) ^ [_630207] : [tptpcol_16_130933(_630207), -(tptpcol_15_130931(_630207))], (1294 ^ _593657) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _593657) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _593657) ^ [_630513, _630515] : [no(_630515, _630513), -(few(_630515, _630513))], (1304 ^ _593657) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _593657) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _593657) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _593657) ^ [_630921] : [tptpcol_6_20484(_630921), -(tptpcol_5_20483(_630921))], (1318 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _593657) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _593657) ^ [_631385] : [tptpcol_7_108547(_631385), -(tptpcol_6_108546(_631385))], (1336 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _593657) ^ [_631624] : [tptpcol_11_109125(_631624), -(tptpcol_10_109061(_631624))], (1344 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _593657) ^ [_631916] : [tptpcol_8_93698(_631916), -(tptpcol_7_93186(_631916))], (1354 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _593657) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _593657) ^ [_632208] : [tptpcol_2_65537(_632208), -(tptpcol_1_65536(_632208))], (1364 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _593657) ^ [_632500] : [tptpcol_6_18436(_632500), -(tptpcol_5_16388(_632500))], (1374 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _593657) ^ [_632739] : [tptpcol_8_18438(_632739), -(tptpcol_7_18437(_632739))], (1382 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _593657) ^ [_633097] : [tptpcol_8_117763(_633097), -(tptpcol_7_117762(_633097))], (1396 ^ _593657) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _593657) ^ [_633389] : [tptpcol_12_109157(_633389), -(tptpcol_11_109125(_633389))], (1406 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _593657) ^ [_633628] : [tptpcol_7_117762(_633628), -(tptpcol_6_116738(_633628))], (1414 ^ _593657) ^ [_633842, _633844, _633846] : [isa(_633846, _633844), isa(_633846, _633842), disjointwith(_633844, _633842)], (1424 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _593657) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _593657) ^ [_634242] : [aspatialinformationstore(_634242), -(aspatialthing(_634242))], (1434 ^ _593657) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _593657) ^ [_634640] : [tptpcol_9_93699(_634640), -(tptpcol_8_93698(_634640))], (1448 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _593657) ^ [_634879] : [tptpcol_11_93764(_634879), -(tptpcol_10_93700(_634879))], (1456 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _593657) ^ [_635118] : [tptpcol_6_26627(_635118), -(tptpcol_5_24579(_635118))], (1464 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _593657) ^ [_635357] : [tptpcol_4_90113(_635357), -(tptpcol_3_81921(_635357))], (1472 ^ _593657) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _593657) ^ [_635649] : [tptpcol_10_93700(_635649), -(tptpcol_9_93699(_635649))], (1482 ^ _593657) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _593657) ^ [_635888] : [aspatialinformationstore(_635888), -(intangibleindividual(_635888))], (1490 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _593657) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _593657) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _593657) ^ [_636299] : [tptpcol_3_16386(_636299), -(tptpcol_2_2(_636299))], (1506 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _593657) ^ [_636538] : [tptpcol_9_118019(_636538), -(tptpcol_8_117763(_636538))], (1514 ^ _593657) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _593657) ^ [_636777] : [individual(_636777), -(trajector_underspecified(_636777))], (1522 ^ _593657) ^ [_636963] : [shavingrazor_manual(_636963), -(tptp_8_271(f_relationexistsallfn(_636963, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _636963))], (1528 ^ _593657) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _593657) ^ [_637267] : [tptpcol_6_112641(_637267), -(tptpcol_5_110593(_637267))], (1538 ^ _593657) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _593657) ^ [_637506] : [tptpcol_12_72775(_637506), -(tptpcol_11_72774(_637506))], (1546 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _593657) ^ [_637745] : [tptpcol_7_72707(_637745), -(tptpcol_6_71683(_637745))], (1554 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _593657) ^ [_637984] : [tptpcol_16_50958(_637984), -(tptpcol_15_50957(_637984))], (1562 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _593657) ^ [_638223] : [tptpcol_8_114177(_638223), -(tptpcol_7_113665(_638223))], (1570 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _593657) ^ [_638462] : [tptpcol_16_72795(_638462), -(tptpcol_15_72793(_638462))], (1578 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _593657) ^ [_638701] : [tptpcol_6_71683(_638701), -(tptpcol_5_69635(_638701))], (1586 ^ _593657) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _593657) ^ [_639007, _639009] : [tptptypes_7_396(_639009, _639007), -(tptptypes_6_388(_639009, _639007))], (1596 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _593657) ^ [_639256] : [tptpcol_9_26885(_639256), -(tptpcol_8_26629(_639256))], (1604 ^ _593657) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _593657) ^ [_639509, _639511] : [genls(_639511, _639509), -(subsetof(_639511, _639509))], (1612 ^ _593657) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _593657) ^ [_639825, _639827] : [tptptypes_6_818(_639827, _639825), -(tptptypes_5_802(_639827, _639825))], (1622 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _593657) ^ [_640074] : [tptpcol_6_92162(_640074), -(tptpcol_5_90114(_640074))], (1630 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _593657) ^ [_640366] : [tptpcol_8_92164(_640366), -(tptpcol_7_92163(_640366))], (1640 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _593657) ^ [_640605] : [tptpcol_13_118117(_640605), -(tptpcol_12_118116(_640605))], (1648 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _593657) ^ [_640844] : [tptpcol_11_40388(_640844), -(tptpcol_10_40324(_640844))], (1656 ^ _593657) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _593657) ^ [_641097, _641099] : [tptptypes_9_824(_641099, _641097), -(tptptypes_8_823(_641099, _641097))], (1664 ^ _593657) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _593657) ^ [_641399] : [tptpcol_11_26887(_641399), -(tptpcol_10_26886(_641399))], (1674 ^ _593657) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _593657) ^ [_641638] : [tptpcol_16_26926(_641638), -(tptpcol_15_26925(_641638))], (1682 ^ _593657) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _593657) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _593657) ^ [_641944, _641946] : [few(_641946, _641944), -(setorcollection(_641944))], (1692 ^ _593657) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _593657) ^ [_642191] : [tptpcol_4_65539(_642191), -(tptpcol_3_65538(_642191))], (1700 ^ _593657) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _593657) ^ [_642430] : [tptpcol_8_39940(_642430), -(tptpcol_7_39939(_642430))], (1708 ^ _593657) ^ [_642616] : [-(tptpofobject(_642616, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_642616)], (1718 ^ _593657) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _593657) ^ [_643055] : [tptpcol_15_22076(_643055), -(tptpcol_14_22072(_643055))], (1732 ^ _593657) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _593657) ^ [_643294] : [tptpcol_0_0(_643294), -(individual(_643294))], (1740 ^ _593657) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _593657) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _593657) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _593657) ^ [_643692] : [tptpcol_11_72774(_643692), -(tptpcol_10_72710(_643692))], (1754 ^ _593657) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _593657) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _593657) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _593657) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _593657) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _593657) ^ [_644328] : [tptpcol_7_21508(_644328), -(tptpcol_6_20484(_644328))], (1780 ^ _593657) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _593657) ^ [_644567] : [tptpcol_6_108546(_644567), -(tptpcol_5_106498(_644567))], (1788 ^ _593657) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _593657) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _593657) ^ [_644925] : [geolevel_4(_644925), -(geographicalregion(_644925))], (1802 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _593657) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _593657) ^ [_645402] : [tptpcol_13_26920(_645402), -(tptpcol_12_26919(_645402))], (1822 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _593657) ^ [_645641] : [tptpcol_14_92264(_645641), -(tptpcol_13_92263(_645641))], (1830 ^ _593657) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _593657) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _593657) ^ [_645933] : [tptpcol_9_40196(_645933), -(tptpcol_8_39940(_645933))], (1840 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _593657) ^ [_646291] : [tptpcol_13_92263(_646291), -(tptpcol_12_92262(_646291))], (1854 ^ _593657) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _593657) ^ [_646583] : [tptpcol_5_90114(_646583), -(tptpcol_4_90113(_646583))], (1864 ^ _593657) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _593657) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _593657) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _593657) ^ [_646994] : [tptpcol_15_26925(_646994), -(tptpcol_14_26921(_646994))], (1880 ^ _593657) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _593657) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _593657) ^ [_647352] : [tptpcol_7_18437(_647352), -(tptpcol_6_18436(_647352))], (1894 ^ _593657) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _593657) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _593657) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _593657) ^ [_647763] : [tptpcol_3_98305(_647763), tptpcol_3_114688(_647763)], (1910 ^ _593657) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _593657) ^ [_648001] : [tptpcol_5_110593(_648001), -(tptpcol_4_106497(_648001))], (1918 ^ _593657) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _593657) ^ [_648240] : [tptpcol_13_72791(_648240), -(tptpcol_12_72775(_648240))], (1926 ^ _593657) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _593657) ^ [_648479] : [computerdataartifact(_648479), -(artifact(_648479))], (1934 ^ _593657) ^ [_648665] : [-(tptpofobject(_648665, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_648665)], (1944 ^ _593657) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _593657) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _593657) ^ [_649104] : [tptpcol_10_92166(_649104), -(tptpcol_9_92165(_649104))], (1958 ^ _593657) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _593657) ^ [_649343] : [tptpcol_14_118118(_649343), -(tptpcol_13_118117(_649343))], (1966 ^ _593657) ^ [_649529] : [isa(_649529, c_tptpcol_14_118118), -(tptpcol_14_118118(_649529))], (1972 ^ _593657) ^ [_649717] : [tptpcol_14_118118(_649717), -(isa(_649717, c_tptpcol_14_118118))], (1978 ^ _593657) ^ [_649890] : [-(natfunction(f_tptpquantityfn_6(_649890), c_tptpquantityfn_6))], (1980 ^ _593657) ^ [_649970] : [-(natargument(f_tptpquantityfn_6(_649970), n_1, _649970))], (1982 ^ _593657) ^ [_650051] : [-(tptpquantity(f_tptpquantityfn_6(_650051)))], (1984 ^ _593657) ^ [_650145] : [isa(_650145, c_tptpcol_16_26939), -(tptpcol_16_26939(_650145))], (1990 ^ _593657) ^ [_650333] : [tptpcol_16_26939(_650333), -(isa(_650333, c_tptpcol_16_26939))], (1996 ^ _593657) ^ [_650521] : [isa(_650521, c_tptpcol_16_62187), -(tptpcol_16_62187(_650521))], (2002 ^ _593657) ^ [_650709] : [tptpcol_16_62187(_650709), -(isa(_650709, c_tptpcol_16_62187))], (2008 ^ _593657) ^ [_650897] : [isa(_650897, c_tptpcol_13_92263), -(tptpcol_13_92263(_650897))], (2014 ^ _593657) ^ [_651085] : [tptpcol_13_92263(_651085), -(isa(_651085, c_tptpcol_13_92263))], (2020 ^ _593657) ^ [_651273] : [isa(_651273, c_geolevel_4), -(geolevel_4(_651273))], (2026 ^ _593657) ^ [_651461] : [geolevel_4(_651461), -(isa(_651461, c_geolevel_4))], (2032 ^ _593657) ^ [_651649] : [isa(_651649, c_tptpcol_15_4027), -(tptpcol_15_4027(_651649))], (2038 ^ _593657) ^ [_651837] : [tptpcol_15_4027(_651837), -(isa(_651837, c_tptpcol_15_4027))], (2044 ^ _593657) ^ [_652025] : [isa(_652025, c_pushingwithfingers), -(pushingwithfingers(_652025))], (2050 ^ _593657) ^ [_652213] : [pushingwithfingers(_652213), -(isa(_652213, c_pushingwithfingers))], (2056 ^ _593657) ^ [_652415, _652417] : [affiliatedwith(_652417, _652415), -(agent_generic(_652415))], (2062 ^ _593657) ^ [_652623, _652625] : [affiliatedwith(_652625, _652623), -(agent_generic(_652625))], (2068 ^ _593657) ^ [_652831, _652833] : [affiliatedwith(_652833, _652831), -(affiliatedwith(_652831, _652833))], (2074 ^ _593657) ^ [_653011] : [affiliatedwith(_653011, _653011)], (2076 ^ _593657) ^ [_653104] : [isa(_653104, c_footballteam), -(footballteam(_653104))], (2082 ^ _593657) ^ [_653292] : [footballteam(_653292), -(isa(_653292, c_footballteam))], (2088 ^ _593657) ^ [_653480] : [isa(_653480, c_tptpcol_16_4451), -(tptpcol_16_4451(_653480))], (2094 ^ _593657) ^ [_653668] : [tptpcol_16_4451(_653668), -(isa(_653668, c_tptpcol_16_4451))], (2100 ^ _593657) ^ [_653856] : [isa(_653856, c_pushingwithopenhand), -(pushingwithopenhand(_653856))], (2106 ^ _593657) ^ [_654044] : [pushingwithopenhand(_654044), -(isa(_654044, c_pushingwithopenhand))], (2112 ^ _593657) ^ [_654232] : [isa(_654232, c_tptpcol_15_22076), -(tptpcol_15_22076(_654232))], (2118 ^ _593657) ^ [_654420] : [tptpcol_15_22076(_654420), -(isa(_654420, c_tptpcol_15_22076))], (2124 ^ _593657) ^ [_654593] : [-(natfunction(f_tptpquantityfn_2(_654593), c_tptpquantityfn_2))], (2126 ^ _593657) ^ [_654673] : [-(natargument(f_tptpquantityfn_2(_654673), n_1, _654673))], (2128 ^ _593657) ^ [_654754] : [-(tptpquantity(f_tptpquantityfn_2(_654754)))], (2130 ^ _593657) ^ [_654848] : [isa(_654848, c_tptpcol_7_39939), -(tptpcol_7_39939(_654848))], (2136 ^ _593657) ^ [_655036] : [tptpcol_7_39939(_655036), -(isa(_655036, c_tptpcol_7_39939))], (2142 ^ _593657) ^ [_655224] : [isa(_655224, c_tptpcol_8_39940), -(tptpcol_8_39940(_655224))], (2148 ^ _593657) ^ [_655412] : [tptpcol_8_39940(_655412), -(isa(_655412, c_tptpcol_8_39940))], (2154 ^ _593657) ^ [_655600] : [isa(_655600, c_tptpcol_15_26925), -(tptpcol_15_26925(_655600))], (2160 ^ _593657) ^ [_655788] : [tptpcol_15_26925(_655788), -(isa(_655788, c_tptpcol_15_26925))], (2166 ^ _593657) ^ [_655976] : [isa(_655976, c_tptpcol_16_26926), -(tptpcol_16_26926(_655976))], (2172 ^ _593657) ^ [_656164] : [tptpcol_16_26926(_656164), -(isa(_656164, c_tptpcol_16_26926))], (2178 ^ _593657) ^ [_656352] : [isa(_656352, c_tptpcol_13_118117), -(tptpcol_13_118117(_656352))], (2184 ^ _593657) ^ [_656540] : [tptpcol_13_118117(_656540), -(isa(_656540, c_tptpcol_13_118117))], (2190 ^ _593657) ^ [_656728] : [isa(_656728, c_tptpcol_5_90114), -(tptpcol_5_90114(_656728))], (2196 ^ _593657) ^ [_656916] : [tptpcol_5_90114(_656916), -(isa(_656916, c_tptpcol_5_90114))], (2202 ^ _593657) ^ [_657118, _657120] : [tptptypes_5_802(_657120, _657118), -(firstordercollection(_657118))], (2208 ^ _593657) ^ [_657326, _657328] : [tptptypes_5_802(_657328, _657326), -(firstordercollection(_657328))], (2214 ^ _593657) ^ [_657520] : [isa(_657520, c_tptpcol_16_72795), -(tptpcol_16_72795(_657520))], (2220 ^ _593657) ^ [_657708] : [tptpcol_16_72795(_657708), -(isa(_657708, c_tptpcol_16_72795))], (2226 ^ _593657) ^ [_657896] : [isa(_657896, c_tptpcol_8_114177), -(tptpcol_8_114177(_657896))], (2232 ^ _593657) ^ [_658084] : [tptpcol_8_114177(_658084), -(isa(_658084, c_tptpcol_8_114177))], (2238 ^ _593657) ^ [_658272] : [isa(_658272, c_tptpcol_15_50957), -(tptpcol_15_50957(_658272))], (2244 ^ _593657) ^ [_658460] : [tptpcol_15_50957(_658460), -(isa(_658460, c_tptpcol_15_50957))], (2250 ^ _593657) ^ [_658648] : [isa(_658648, c_tptpcol_16_50958), -(tptpcol_16_50958(_658648))], (2256 ^ _593657) ^ [_658836] : [tptpcol_16_50958(_658836), -(isa(_658836, c_tptpcol_16_50958))], (2262 ^ _593657) ^ [_659024] : [isa(_659024, c_tptpcol_6_71683), -(tptpcol_6_71683(_659024))], (2268 ^ _593657) ^ [_659212] : [tptpcol_6_71683(_659212), -(isa(_659212, c_tptpcol_6_71683))], (2274 ^ _593657) ^ [_659400] : [isa(_659400, c_tptpcol_11_72774), -(tptpcol_11_72774(_659400))], (2280 ^ _593657) ^ [_659588] : [tptpcol_11_72774(_659588), -(isa(_659588, c_tptpcol_11_72774))], (2286 ^ _593657) ^ [_659776] : [isa(_659776, c_tptpcol_12_72775), -(tptpcol_12_72775(_659776))], (2292 ^ _593657) ^ [_659964] : [tptpcol_12_72775(_659964), -(isa(_659964, c_tptpcol_12_72775))], (2298 ^ _593657) ^ [_660152] : [isa(_660152, c_tptpcol_5_110593), -(tptpcol_5_110593(_660152))], (2304 ^ _593657) ^ [_660340] : [tptpcol_5_110593(_660340), -(isa(_660340, c_tptpcol_5_110593))], (2310 ^ _593657) ^ [_660528] : [isa(_660528, c_tptpcol_16_25972), -(tptpcol_16_25972(_660528))], (2316 ^ _593657) ^ [_660716] : [tptpcol_16_25972(_660716), -(isa(_660716, c_tptpcol_16_25972))], (2322 ^ _593657) ^ [_660918, _660920] : [tptp_8_271(_660920, _660918), -(razor(_660918))], (2328 ^ _593657) ^ [_661126, _661128] : [tptp_8_271(_661128, _661126), -(tptpcol_5_24579(_661128))], (2334 ^ _593657) ^ [_661320] : [isa(_661320, c_tptpcol_4_90113), -(tptpcol_4_90113(_661320))], (2340 ^ _593657) ^ [_661508] : [tptpcol_4_90113(_661508), -(isa(_661508, c_tptpcol_4_90113))], (2346 ^ _593657) ^ [_661696] : [isa(_661696, c_tptpcol_10_93700), -(tptpcol_10_93700(_661696))], (2352 ^ _593657) ^ [_661884] : [tptpcol_10_93700(_661884), -(isa(_661884, c_tptpcol_10_93700))], (2358 ^ _593657) ^ [_662072] : [isa(_662072, c_tptpcol_9_93699), -(tptpcol_9_93699(_662072))], (2364 ^ _593657) ^ [_662260] : [tptpcol_9_93699(_662260), -(isa(_662260, c_tptpcol_9_93699))], (2370 ^ _593657) ^ [_662448] : [isa(_662448, c_aspatialthing), -(aspatialthing(_662448))], (2376 ^ _593657) ^ [_662636] : [aspatialthing(_662636), -(isa(_662636, c_aspatialthing))], (2382 ^ _593657) ^ [_662824] : [isa(_662824, c_tptpcol_7_117762), -(tptpcol_7_117762(_662824))], (2388 ^ _593657) ^ [_663012] : [tptpcol_7_117762(_663012), -(isa(_663012, c_tptpcol_7_117762))], (2394 ^ _593657) ^ [_663200] : [isa(_663200, c_tptpcol_8_117763), -(tptpcol_8_117763(_663200))], (2400 ^ _593657) ^ [_663388] : [tptpcol_8_117763(_663388), -(isa(_663388, c_tptpcol_8_117763))], (2406 ^ _593657) ^ [_663576] : [isa(_663576, c_tptpcol_7_18437), -(tptpcol_7_18437(_663576))], (2412 ^ _593657) ^ [_663764] : [tptpcol_7_18437(_663764), -(isa(_663764, c_tptpcol_7_18437))], (2418 ^ _593657) ^ [_663952] : [isa(_663952, c_tptpcol_6_18436), -(tptpcol_6_18436(_663952))], (2424 ^ _593657) ^ [_664140] : [tptpcol_6_18436(_664140), -(isa(_664140, c_tptpcol_6_18436))], (2430 ^ _593657) ^ [_664328] : [isa(_664328, c_tptpcol_8_93698), -(tptpcol_8_93698(_664328))], (2436 ^ _593657) ^ [_664516] : [tptpcol_8_93698(_664516), -(isa(_664516, c_tptpcol_8_93698))], (2442 ^ _593657) ^ [_664704] : [isa(_664704, c_tptpcol_11_109125), -(tptpcol_11_109125(_664704))], (2448 ^ _593657) ^ [_664892] : [tptpcol_11_109125(_664892), -(isa(_664892, c_tptpcol_11_109125))], (2454 ^ _593657) ^ [_665080] : [isa(_665080, c_tptpcol_6_108546), -(tptpcol_6_108546(_665080))], (2460 ^ _593657) ^ [_665268] : [tptpcol_6_108546(_665268), -(isa(_665268, c_tptpcol_6_108546))], (2466 ^ _593657) ^ [_665456] : [isa(_665456, c_tptpcol_6_20484), -(tptpcol_6_20484(_665456))], (2472 ^ _593657) ^ [_665644] : [tptpcol_6_20484(_665644), -(isa(_665644, c_tptpcol_6_20484))], (2478 ^ _593657) ^ [_665846, _665848] : [few(_665848, _665846), -(setorcollection(_665846))], (2484 ^ _593657) ^ [_666054, _666056] : [few(_666056, _666054), -(setorcollection(_666054))], (2490 ^ _593657) ^ [_666262, _666264] : [few(_666264, _666262), -(setorcollection(_666264))], (2496 ^ _593657) ^ [_666470, _666472] : [few(_666472, _666470), -(setorcollection(_666472))], (2502 ^ _593657) ^ [_666692, _666694, _666696] : [-(few(_666696, _666692)), few(_666696, _666694), subsetof(_666692, _666694)], (2512 ^ _593657) ^ [_666987] : [isa(_666987, c_tptpcol_15_130931), -(tptpcol_15_130931(_666987))], (2518 ^ _593657) ^ [_667175] : [tptpcol_15_130931(_667175), -(isa(_667175, c_tptpcol_15_130931))], (2524 ^ _593657) ^ [_667363] : [isa(_667363, c_tptpcol_16_130933), -(tptpcol_16_130933(_667363))], (2530 ^ _593657) ^ [_667551] : [tptpcol_16_130933(_667551), -(isa(_667551, c_tptpcol_16_130933))], (2536 ^ _593657) ^ [_667739] : [isa(_667739, c_tptpcol_7_92163), -(tptpcol_7_92163(_667739))], (2542 ^ _593657) ^ [_667927] : [tptpcol_7_92163(_667927), -(isa(_667927, c_tptpcol_7_92163))], (2548 ^ _593657) ^ [_668115] : [isa(_668115, c_tptpcol_15_130923), -(tptpcol_15_130923(_668115))], (2554 ^ _593657) ^ [_668303] : [tptpcol_15_130923(_668303), -(isa(_668303, c_tptpcol_15_130923))], (2560 ^ _593657) ^ [_668491] : [isa(_668491, c_tptpcol_16_130924), -(tptpcol_16_130924(_668491))], (2566 ^ _593657) ^ [_668679] : [tptpcol_16_130924(_668679), -(isa(_668679, c_tptpcol_16_130924))], (2572 ^ _593657) ^ [_668867] : [isa(_668867, c_intangibleindividual), -(intangibleindividual(_668867))], (2578 ^ _593657) ^ [_669055] : [intangibleindividual(_669055), -(isa(_669055, c_intangibleindividual))], (2584 ^ _593657) ^ [_669242, _669244] : [-(natfunction(f_citynamedfn(_669244, _669242), c_citynamedfn))], (2586 ^ _593657) ^ [_669339, _669341] : [-(natargument(f_citynamedfn(_669341, _669339), n_1, _669341))], (2588 ^ _593657) ^ [_669437, _669439] : [-(natargument(f_citynamedfn(_669439, _669437), n_2, _669437))], (2590 ^ _593657) ^ [_669535, _669537] : [-(city(f_citynamedfn(_669537, _669535)))], (2592 ^ _593657) ^ [_669632] : [isa(_669632, c_tptpcol_13_26920), -(tptpcol_13_26920(_669632))], (2598 ^ _593657) ^ [_669820] : [tptpcol_13_26920(_669820), -(isa(_669820, c_tptpcol_13_26920))], (2604 ^ _593657) ^ [_670008] : [isa(_670008, c_tptpcol_14_26921), -(tptpcol_14_26921(_670008))], (2610 ^ _593657) ^ [_670196] : [tptpcol_14_26921(_670196), -(isa(_670196, c_tptpcol_14_26921))], (2616 ^ _593657) ^ [_670384] : [isa(_670384, c_tptpcol_3_65538), -(tptpcol_3_65538(_670384))], (2622 ^ _593657) ^ [_670572] : [tptpcol_3_65538(_670572), -(isa(_670572, c_tptpcol_3_65538))], (2628 ^ _593657) ^ [_670760] : [isa(_670760, c_tptpcol_16_27189), -(tptpcol_16_27189(_670760))], (2634 ^ _593657) ^ [_670948] : [tptpcol_16_27189(_670948), -(isa(_670948, c_tptpcol_16_27189))], (2640 ^ _593657) ^ [_671150, _671152] : [tptp_9_51(_671152, _671150), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_671150))], (2646 ^ _593657) ^ [_671358, _671360] : [tptp_9_51(_671360, _671358), -(tptpcol_7_26628(_671360))], (2652 ^ _593657) ^ [_671552] : [isa(_671552, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_671552))], (2658 ^ _593657) ^ [_671740] : [reflexivebinarypredicate(_671740), -(isa(_671740, c_reflexivebinarypredicate))], (2664 ^ _593657) ^ [_671928] : [isa(_671928, c_tptpcol_7_21508), -(tptpcol_7_21508(_671928))], (2670 ^ _593657) ^ [_672116] : [tptpcol_7_21508(_672116), -(isa(_672116, c_tptpcol_7_21508))], (2676 ^ _593657) ^ [_672304] : [isa(_672304, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_672304))], (2682 ^ _593657) ^ [_672492] : [hpkb_subnationalagent(_672492), -(isa(_672492, c_hpkb_subnationalagent))], (2688 ^ _593657) ^ [_672680] : [isa(_672680, c_state_geopolitical), -(state_geopolitical(_672680))], (2694 ^ _593657) ^ [_672868] : [state_geopolitical(_672868), -(isa(_672868, c_state_geopolitical))], (2700 ^ _593657) ^ [_673083, _673085, _673087, _673089] : [-(natfunction(f_relationallexistsfn(_673089, _673087, _673085, _673083), c_relationallexistsfn))], (2702 ^ _593657) ^ [_673214, _673216, _673218, _673220] : [-(natargument(f_relationallexistsfn(_673220, _673218, _673216, _673214), n_1, _673220))], (2704 ^ _593657) ^ [_673346, _673348, _673350, _673352] : [-(natargument(f_relationallexistsfn(_673352, _673350, _673348, _673346), n_2, _673350))], (2706 ^ _593657) ^ [_673478, _673480, _673482, _673484] : [-(natargument(f_relationallexistsfn(_673484, _673482, _673480, _673478), n_3, _673480))], (2708 ^ _593657) ^ [_673610, _673612, _673614, _673616] : [-(natargument(f_relationallexistsfn(_673616, _673614, _673612, _673610), n_4, _673610))], (2710 ^ _593657) ^ [_673742, _673744, _673746, _673748] : [-(thing(f_relationallexistsfn(_673748, _673746, _673744, _673742)))], (2712 ^ _593657) ^ [_673859, _673861] : [arg2isa(_673861, _673859), -(collection(_673859))], (2718 ^ _593657) ^ [_674067, _674069] : [arg2isa(_674069, _674067), -(relation(_674069))], (2724 ^ _593657) ^ [_674289, _674291, _674293] : [-(arg2isa(_674293, _674289)), arg2isa(_674293, _674291), genls(_674291, _674289)], (2734 ^ _593657) ^ [_674612, _674614, _674616] : [-(arg2isa(_674616, _674612)), arg2isa(_674616, _674614), genls(_674614, _674612)], (2744 ^ _593657) ^ [_674907] : [isa(_674907, c_geolevel_1), -(geolevel_1(_674907))], (2750 ^ _593657) ^ [_675095] : [geolevel_1(_675095), -(isa(_675095, c_geolevel_1))], (2756 ^ _593657) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _593657) ^ [_675336] : [isa(_675336, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_675336))], (2764 ^ _593657) ^ [_675524] : [spatialthing_nonsituational(_675524), -(isa(_675524, c_spatialthing_nonsituational))], (2770 ^ _593657) ^ [_675712] : [isa(_675712, c_militaryperson), -(militaryperson(_675712))], (2776 ^ _593657) ^ [_675900] : [militaryperson(_675900), -(isa(_675900, c_militaryperson))], (2782 ^ _593657) ^ [_676088] : [isa(_676088, c_tptpcol_15_72793), -(tptpcol_15_72793(_676088))], (2788 ^ _593657) ^ [_676276] : [tptpcol_15_72793(_676276), -(isa(_676276, c_tptpcol_15_72793))], (2794 ^ _593657) ^ [_676464] : [isa(_676464, c_tptpcol_9_26885), -(tptpcol_9_26885(_676464))], (2800 ^ _593657) ^ [_676652] : [tptpcol_9_26885(_676652), -(isa(_676652, c_tptpcol_9_26885))], (2806 ^ _593657) ^ [_676840] : [isa(_676840, c_tptpcol_10_26886), -(tptpcol_10_26886(_676840))], (2812 ^ _593657) ^ [_677028] : [tptpcol_10_26886(_677028), -(isa(_677028, c_tptpcol_10_26886))], (2818 ^ _593657) ^ [_677230, _677232] : [tptptypes_8_823(_677232, _677230), -(firstordercollection(_677230))], (2824 ^ _593657) ^ [_677438, _677440] : [tptptypes_8_823(_677440, _677438), -(firstordercollection(_677440))], (2830 ^ _593657) ^ [_677632] : [isa(_677632, c_tptpcol_16_92269), -(tptpcol_16_92269(_677632))], (2836 ^ _593657) ^ [_677820] : [tptpcol_16_92269(_677820), -(isa(_677820, c_tptpcol_16_92269))], (2842 ^ _593657) ^ [_678008] : [isa(_678008, c_tptpcol_15_109185), -(tptpcol_15_109185(_678008))], (2848 ^ _593657) ^ [_678196] : [tptpcol_15_109185(_678196), -(isa(_678196, c_tptpcol_15_109185))], (2854 ^ _593657) ^ [_678384] : [isa(_678384, c_tptpcol_6_26627), -(tptpcol_6_26627(_678384))], (2860 ^ _593657) ^ [_678572] : [tptpcol_6_26627(_678572), -(isa(_678572, c_tptpcol_6_26627))], (2866 ^ _593657) ^ [_678760] : [isa(_678760, c_tptpcol_12_118116), -(tptpcol_12_118116(_678760))], (2872 ^ _593657) ^ [_678948] : [tptpcol_12_118116(_678948), -(isa(_678948, c_tptpcol_12_118116))], (2878 ^ _593657) ^ [_679136] : [isa(_679136, c_tptpcol_8_18438), -(tptpcol_8_18438(_679136))], (2884 ^ _593657) ^ [_679324] : [tptpcol_8_18438(_679324), -(isa(_679324, c_tptpcol_8_18438))], (2890 ^ _593657) ^ [_679512] : [isa(_679512, c_tptpcol_15_30970), -(tptpcol_15_30970(_679512))], (2896 ^ _593657) ^ [_679700] : [tptpcol_15_30970(_679700), -(isa(_679700, c_tptpcol_15_30970))], (2902 ^ _593657) ^ [_679888] : [isa(_679888, c_tptpcol_16_30972), -(tptpcol_16_30972(_679888))], (2908 ^ _593657) ^ [_680076] : [tptpcol_16_30972(_680076), -(isa(_680076, c_tptpcol_16_30972))], (2914 ^ _593657) ^ [_680264] : [isa(_680264, c_tptpcol_14_109181), -(tptpcol_14_109181(_680264))], (2920 ^ _593657) ^ [_680452] : [tptpcol_14_109181(_680452), -(isa(_680452, c_tptpcol_14_109181))], (2926 ^ _593657) ^ [_680640] : [isa(_680640, c_physicalorderingpredicate), -(physicalorderingpredicate(_680640))], (2932 ^ _593657) ^ [_680828] : [physicalorderingpredicate(_680828), -(isa(_680828, c_physicalorderingpredicate))], (2938 ^ _593657) ^ [_681016] : [isa(_681016, c_tptpcol_16_7738), -(tptpcol_16_7738(_681016))], (2944 ^ _593657) ^ [_681204] : [tptpcol_16_7738(_681204), -(isa(_681204, c_tptpcol_16_7738))], (2950 ^ _593657) ^ [_681406, _681408] : [tptp_8_968(_681408, _681406), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_681406))], (2956 ^ _593657) ^ [_681614, _681616] : [tptp_8_968(_681616, _681614), -(tptpcol_7_7172(_681616))], (2962 ^ _593657) ^ [_681836, _681838, _681840] : [relationexistsall(_681840, _681838, _681836), -(collection(_681836))], (2968 ^ _593657) ^ [_682066, _682068, _682070] : [relationexistsall(_682070, _682068, _682066), -(collection(_682068))], (2974 ^ _593657) ^ [_682296, _682298, _682300] : [relationexistsall(_682300, _682298, _682296), -(binarypredicate(_682300))], (2980 ^ _593657) ^ [_682498] : [isa(_682498, c_tptpcol_7_26628), -(tptpcol_7_26628(_682498))], (2986 ^ _593657) ^ [_682686] : [tptpcol_7_26628(_682686), -(isa(_682686, c_tptpcol_7_26628))], (2992 ^ _593657) ^ [_682874] : [isa(_682874, c_tptpcol_8_26629), -(tptpcol_8_26629(_682874))], (2998 ^ _593657) ^ [_683062] : [tptpcol_8_26629(_683062), -(isa(_683062, c_tptpcol_8_26629))], (3004 ^ _593657) ^ [_683250] : [isa(_683250, c_tptpcol_3_114688), -(tptpcol_3_114688(_683250))], (3010 ^ _593657) ^ [_683438] : [tptpcol_3_114688(_683438), -(isa(_683438, c_tptpcol_3_114688))], (3016 ^ _593657) ^ [_683611] : [-(natfunction(f_contextofpcwfn(_683611), c_contextofpcwfn))], (3018 ^ _593657) ^ [_683691] : [-(natargument(f_contextofpcwfn(_683691), n_1, _683691))], (3020 ^ _593657) ^ [_683772] : [-(microtheory(f_contextofpcwfn(_683772)))], (3022 ^ _593657) ^ [_683880, _683882] : [arg1isa(_683882, _683880), -(collection(_683880))], (3028 ^ _593657) ^ [_684088, _684090] : [arg1isa(_684090, _684088), -(relation(_684090))], (3034 ^ _593657) ^ [_684310, _684312, _684314] : [-(arg1isa(_684314, _684310)), arg1isa(_684314, _684312), genls(_684312, _684310)], (3044 ^ _593657) ^ [_684633, _684635, _684637] : [-(arg1isa(_684637, _684633)), arg1isa(_684637, _684635), genls(_684635, _684633)], (3054 ^ _593657) ^ [_684942, _684944] : [objectfoundinlocation(_684944, _684942), -(spatialthing_nonsituational(_684942))], (3060 ^ _593657) ^ [_685150, _685152] : [objectfoundinlocation(_685152, _685150), -(spatialthing_localized(_685150))], (3066 ^ _593657) ^ [_685358, _685360] : [objectfoundinlocation(_685360, _685358), -(spatialthing_nonsituational(_685360))], (3072 ^ _593657) ^ [_685566, _685568] : [objectfoundinlocation(_685568, _685566), -(spatialthing_localized(_685568))], (3078 ^ _593657) ^ [_685788, _685790, _685792] : [-(objectfoundinlocation(_685792, _685788)), objectfoundinlocation(_685792, _685790), objectfoundinlocation(_685790, _685788)], (3088 ^ _593657) ^ [_686067] : [objectfoundinlocation(_686067, _686067)], (3090 ^ _593657) ^ [_686188, _686190, _686192] : [-(objectfoundinlocation(_686192, _686188)), objectfoundinlocation(_686192, _686190), geopoliticalsubdivision(_686188, _686190)], (3100 ^ _593657) ^ [_686511, _686513, _686515] : [-(objectfoundinlocation(_686515, _686511)), objectfoundinlocation(_686515, _686513), geographicallysubsumes(_686511, _686513)], (3110 ^ _593657) ^ [_686834, _686836, _686838] : [-(objectfoundinlocation(_686838, _686834)), objectfoundinlocation(_686838, _686836), subregions(_686834, _686836)], (3120 ^ _593657) ^ [_687129] : [isa(_687129, c_ship), -(ship(_687129))], (3126 ^ _593657) ^ [_687317] : [ship(_687317), -(isa(_687317, c_ship))], (3132 ^ _593657) ^ [_687518, _687520, _687522] : [-(natfunction(f_subcollectionofwithrelationtofn(_687522, _687520, _687518), c_subcollectionofwithrelationtofn))], (3134 ^ _593657) ^ [_687632, _687634, _687636] : [-(natargument(f_subcollectionofwithrelationtofn(_687636, _687634, _687632), n_1, _687636))], (3136 ^ _593657) ^ [_687747, _687749, _687751] : [-(natargument(f_subcollectionofwithrelationtofn(_687751, _687749, _687747), n_2, _687749))], (3138 ^ _593657) ^ [_687862, _687864, _687866] : [-(natargument(f_subcollectionofwithrelationtofn(_687866, _687864, _687862), n_3, _687862))], (3140 ^ _593657) ^ [_687977, _687979, _687981] : [-(collection(f_subcollectionofwithrelationtofn(_687981, _687979, _687977)))], (3142 ^ _593657) ^ [_688077] : [isa(_688077, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688077))], (3148 ^ _593657) ^ [_688265] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688265), -(isa(_688265, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _593657) ^ [_688453] : [isa(_688453, c_tptpcol_4_65539), -(tptpcol_4_65539(_688453))], (3160 ^ _593657) ^ [_688641] : [tptpcol_4_65539(_688641), -(isa(_688641, c_tptpcol_4_65539))], (3166 ^ _593657) ^ [_688829] : [isa(_688829, c_tptpcol_5_69635), -(tptpcol_5_69635(_688829))], (3172 ^ _593657) ^ [_689017] : [tptpcol_5_69635(_689017), -(isa(_689017, c_tptpcol_5_69635))], (3178 ^ _593657) ^ [_689205] : [isa(_689205, c_tptpcol_3_16386), -(tptpcol_3_16386(_689205))], (3184 ^ _593657) ^ [_689393] : [tptpcol_3_16386(_689393), -(isa(_689393, c_tptpcol_3_16386))], (3190 ^ _593657) ^ [_689595, _689597] : [no(_689597, _689595), -(setorcollection(_689595))], (3196 ^ _593657) ^ [_689803, _689805] : [no(_689805, _689803), -(setorcollection(_689805))], (3202 ^ _593657) ^ [_690011, _690013] : [no(_690013, _690011), -(no(_690011, _690013))], (3208 ^ _593657) ^ [_690235, _690237, _690239] : [-(no(_690239, _690235)), no(_690239, _690237), subsetof(_690235, _690237)], (3218 ^ _593657) ^ [_690558, _690560, _690562] : [-(no(_690558, _690560)), no(_690562, _690560), subsetof(_690558, _690562)], (3228 ^ _593657) ^ [_690881, _690883, _690885] : [-(no(_690881, _690883)), no(_690885, _690883), genls(_690881, _690885)], (3238 ^ _593657) ^ [_691204, _691206, _691208] : [-(no(_691208, _691204)), no(_691208, _691206), genls(_691204, _691206)], (3248 ^ _593657) ^ [_691527, _691529, _691531] : [-(no(_691527, _691529)), no(_691531, _691529), subsetof(_691527, _691531)], (3258 ^ _593657) ^ [_691850, _691852, _691854] : [-(no(_691854, _691850)), no(_691854, _691852), subsetof(_691850, _691852)], (3268 ^ _593657) ^ [_692145] : [isa(_692145, c_geographicalregion), -(geographicalregion(_692145))], (3274 ^ _593657) ^ [_692333] : [geographicalregion(_692333), -(isa(_692333, c_geographicalregion))], (3280 ^ _593657) ^ [_692506] : [-(natfunction(f_tptpquantityfn_21(_692506), c_tptpquantityfn_21))], (3282 ^ _593657) ^ [_692586] : [-(natargument(f_tptpquantityfn_21(_692586), n_1, _692586))], (3284 ^ _593657) ^ [_692667] : [-(tptpquantity(f_tptpquantityfn_21(_692667)))], (3286 ^ _593657) ^ [_692775, _692777] : [airporthasiatacode(_692777, _692775), -(stringoflengthfn3(_692775))], (3292 ^ _593657) ^ [_692983, _692985] : [airporthasiatacode(_692985, _692983), -(airport_physical(_692985))], (3298 ^ _593657) ^ [_693177] : [isa(_693177, c_airport_physical), -(airport_physical(_693177))], (3304 ^ _593657) ^ [_693365] : [airport_physical(_693365), -(isa(_693365, c_airport_physical))], (3310 ^ _593657) ^ [_693566, _693568, _693570] : [-(natfunction(f_instancewithrelationtofn(_693570, _693568, _693566), c_instancewithrelationtofn))], (3312 ^ _593657) ^ [_693680, _693682, _693684] : [-(natargument(f_instancewithrelationtofn(_693684, _693682, _693680), n_1, _693684))], (3314 ^ _593657) ^ [_693795, _693797, _693799] : [-(natargument(f_instancewithrelationtofn(_693799, _693797, _693795), n_2, _693797))], (3316 ^ _593657) ^ [_693910, _693912, _693914] : [-(natargument(f_instancewithrelationtofn(_693914, _693912, _693910), n_3, _693910))], (3318 ^ _593657) ^ [_694025, _694027, _694029] : [-(thing(f_instancewithrelationtofn(_694029, _694027, _694025)))], (3320 ^ _593657) ^ [_694125] : [isa(_694125, c_tptpcol_6_112641), -(tptpcol_6_112641(_694125))], (3326 ^ _593657) ^ [_694313] : [tptpcol_6_112641(_694313), -(isa(_694313, c_tptpcol_6_112641))], (3332 ^ _593657) ^ [_694501] : [isa(_694501, c_tptpcol_7_113665), -(tptpcol_7_113665(_694501))], (3338 ^ _593657) ^ [_694689] : [tptpcol_7_113665(_694689), -(isa(_694689, c_tptpcol_7_113665))], (3344 ^ _593657) ^ [_694877] : [isa(_694877, c_artifact), -(artifact(_694877))], (3350 ^ _593657) ^ [_695065] : [artifact(_695065), -(isa(_695065, c_artifact))], (3356 ^ _593657) ^ [_695253] : [isa(_695253, c_tptpcol_13_18664), -(tptpcol_13_18664(_695253))], (3362 ^ _593657) ^ [_695441] : [tptpcol_13_18664(_695441), -(isa(_695441, c_tptpcol_13_18664))], (3368 ^ _593657) ^ [_695629] : [isa(_695629, c_firstordercollection), -(firstordercollection(_695629))], (3374 ^ _593657) ^ [_695817] : [firstordercollection(_695817), -(isa(_695817, c_firstordercollection))], (3380 ^ _593657) ^ [_695990] : [-(natfunction(f_tptpquantityfn_14(_695990), c_tptpquantityfn_14))], (3382 ^ _593657) ^ [_696070] : [-(natargument(f_tptpquantityfn_14(_696070), n_1, _696070))], (3384 ^ _593657) ^ [_696151] : [-(tptpquantity(f_tptpquantityfn_14(_696151)))], (3386 ^ _593657) ^ [_696245] : [isa(_696245, c_supplies), -(supplies(_696245))], (3392 ^ _593657) ^ [_696433] : [supplies(_696433), -(isa(_696433, c_supplies))], (3398 ^ _593657) ^ [_696621] : [isa(_696621, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_696621))], (3404 ^ _593657) ^ [_696809] : [inanimateobject_nonnatural(_696809), -(isa(_696809, c_inanimateobject_nonnatural))], (3410 ^ _593657) ^ [_696997] : [isa(_696997, c_tptpcol_13_22071), -(tptpcol_13_22071(_696997))], (3416 ^ _593657) ^ [_697185] : [tptpcol_13_22071(_697185), -(isa(_697185, c_tptpcol_13_22071))], (3422 ^ _593657) ^ [_697373] : [isa(_697373, c_tptpcol_14_22072), -(tptpcol_14_22072(_697373))], (3428 ^ _593657) ^ [_697561] : [tptpcol_14_22072(_697561), -(isa(_697561, c_tptpcol_14_22072))], (3434 ^ _593657) ^ [_697749] : [isa(_697749, c_tptpcol_7_108547), -(tptpcol_7_108547(_697749))], (3440 ^ _593657) ^ [_697937] : [tptpcol_7_108547(_697937), -(isa(_697937, c_tptpcol_7_108547))], (3446 ^ _593657) ^ [_698125] : [isa(_698125, c_tptpcol_8_109059), -(tptpcol_8_109059(_698125))], (3452 ^ _593657) ^ [_698313] : [tptpcol_8_109059(_698313), -(isa(_698313, c_tptpcol_8_109059))], (3458 ^ _593657) ^ [_698501] : [isa(_698501, c_tptpcol_14_93774), -(tptpcol_14_93774(_698501))], (3464 ^ _593657) ^ [_698689] : [tptpcol_14_93774(_698689), -(isa(_698689, c_tptpcol_14_93774))], (3470 ^ _593657) ^ [_698877] : [isa(_698877, c_tptpcol_15_93775), -(tptpcol_15_93775(_698877))], (3476 ^ _593657) ^ [_699065] : [tptpcol_15_93775(_699065), -(isa(_699065, c_tptpcol_15_93775))], (3482 ^ _593657) ^ [_699253] : [isa(_699253, c_tptpcol_16_8886), -(tptpcol_16_8886(_699253))], (3488 ^ _593657) ^ [_699441] : [tptpcol_16_8886(_699441), -(isa(_699441, c_tptpcol_16_8886))], (3494 ^ _593657) ^ [_699643, _699645] : [orientation(_699645, _699643), -(orientationvector(_699643))], (3500 ^ _593657) ^ [_699851, _699853] : [orientation(_699853, _699851), -(spatialthing_localized(_699853))], (3506 ^ _593657) ^ [_700045] : [isa(_700045, c_orientationvector), -(orientationvector(_700045))], (3512 ^ _593657) ^ [_700233] : [orientationvector(_700233), -(isa(_700233, c_orientationvector))], (3518 ^ _593657) ^ [_700421] : [isa(_700421, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700421))], (3524 ^ _593657) ^ [_700609] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700609), -(isa(_700609, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _593657) ^ [_700811, _700813] : [tptptypes_9_824(_700813, _700811), -(firstordercollection(_700811))], (3536 ^ _593657) ^ [_701019, _701021] : [tptptypes_9_824(_701021, _701019), -(firstordercollection(_701021))], (3542 ^ _593657) ^ [_701227, _701229] : [tptptypes_7_396(_701229, _701227), -(firstordercollection(_701227))], (3548 ^ _593657) ^ [_701435, _701437] : [tptptypes_7_396(_701437, _701435), -(firstordercollection(_701437))], (3554 ^ _593657) ^ [_701629] : [isa(_701629, c_tptpcol_12_22055), -(tptpcol_12_22055(_701629))], (3560 ^ _593657) ^ [_701817] : [tptpcol_12_22055(_701817), -(isa(_701817, c_tptpcol_12_22055))], (3566 ^ _593657) ^ [_702005] : [isa(_702005, c_tptpcol_16_29490), -(tptpcol_16_29490(_702005))], (3572 ^ _593657) ^ [_702193] : [tptpcol_16_29490(_702193), -(isa(_702193, c_tptpcol_16_29490))], (3578 ^ _593657) ^ [_702395, _702397] : [tptp_9_720(_702397, _702395), -(tptpcol_5_28674(_702395))], (3584 ^ _593657) ^ [_702603, _702605] : [tptp_9_720(_702605, _702603), -(executionbyfiringsquad(_702605))], (3590 ^ _593657) ^ [_702797] : [isa(_702797, c_runningshorts), -(runningshorts(_702797))], (3596 ^ _593657) ^ [_702985] : [runningshorts(_702985), -(isa(_702985, c_runningshorts))], (3602 ^ _593657) ^ [_703173] : [isa(_703173, c_tptpcol_9_118019), -(tptpcol_9_118019(_703173))], (3608 ^ _593657) ^ [_703361] : [tptpcol_9_118019(_703361), -(isa(_703361, c_tptpcol_9_118019))], (3614 ^ _593657) ^ [_703549] : [isa(_703549, c_tptpcol_16_31868), -(tptpcol_16_31868(_703549))], (3620 ^ _593657) ^ [_703737] : [tptpcol_16_31868(_703737), -(isa(_703737, c_tptpcol_16_31868))], (3626 ^ _593657) ^ [_703925] : [isa(_703925, c_movement_translationevent), -(movement_translationevent(_703925))], (3632 ^ _593657) ^ [_704113] : [movement_translationevent(_704113), -(isa(_704113, c_movement_translationevent))], (3638 ^ _593657) ^ [_704315, _704317] : [directionoftranslation_throughout(_704317, _704315), -(unitvectorinterval(_704315))], (3644 ^ _593657) ^ [_704523, _704525] : [directionoftranslation_throughout(_704525, _704523), -(movement_translationevent(_704525))], (3650 ^ _593657) ^ [_704745, _704747, _704749] : [-(directionoftranslation_throughout(_704745, _704747)), directionoftranslation_throughout(_704749, _704747), subevents(_704749, _704745)], (3660 ^ _593657) ^ [_705040] : [isa(_705040, c_unitvectorinterval), -(unitvectorinterval(_705040))], (3666 ^ _593657) ^ [_705228] : [unitvectorinterval(_705228), -(isa(_705228, c_unitvectorinterval))], (3672 ^ _593657) ^ [_705416] : [isa(_705416, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705416))], (3678 ^ _593657) ^ [_705604] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705604), -(isa(_705604, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _593657) ^ [_705806, _705808] : [tptp_8_875(_705808, _705806), -(tptpcol_4_24578(_705806))], (3690 ^ _593657) ^ [_706014, _706016] : [tptp_8_875(_706016, _706014), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_706016))], (3696 ^ _593657) ^ [_706236, _706238, _706240] : [relationallexists(_706240, _706238, _706236), -(collection(_706236))], (3702 ^ _593657) ^ [_706466, _706468, _706470] : [relationallexists(_706470, _706468, _706466), -(collection(_706468))], (3708 ^ _593657) ^ [_706696, _706698, _706700] : [relationallexists(_706700, _706698, _706696), -(binarypredicate(_706700))], (3714 ^ _593657) ^ [_706898] : [isa(_706898, c_tptpcol_16_10258), -(tptpcol_16_10258(_706898))], (3720 ^ _593657) ^ [_707086] : [tptpcol_16_10258(_707086), -(isa(_707086, c_tptpcol_16_10258))], (3726 ^ _593657) ^ [_707274] : [isa(_707274, c_pushingababycarriage), -(pushingababycarriage(_707274))], (3732 ^ _593657) ^ [_707462] : [pushingababycarriage(_707462), -(isa(_707462, c_pushingababycarriage))], (3738 ^ _593657) ^ [_707650] : [isa(_707650, c_aspatialinformationstore), -(aspatialinformationstore(_707650))], (3744 ^ _593657) ^ [_707838] : [aspatialinformationstore(_707838), -(isa(_707838, c_aspatialinformationstore))], (3750 ^ _593657) ^ [_708026] : [isa(_708026, c_collection), -(collection(_708026))], (3756 ^ _593657) ^ [_708214] : [collection(_708214), -(isa(_708214, c_collection))], (3762 ^ _593657) ^ [_708402] : [isa(_708402, c_fixedordercollection), -(fixedordercollection(_708402))], (3768 ^ _593657) ^ [_708590] : [fixedordercollection(_708590), -(isa(_708590, c_fixedordercollection))], (3774 ^ _593657) ^ [_708778] : [isa(_708778, c_tptpcol_8_92164), -(tptpcol_8_92164(_708778))], (3780 ^ _593657) ^ [_708966] : [tptpcol_8_92164(_708966), -(isa(_708966, c_tptpcol_8_92164))], (3786 ^ _593657) ^ [_709154] : [isa(_709154, c_tptpcol_9_92165), -(tptpcol_9_92165(_709154))], (3792 ^ _593657) ^ [_709342] : [tptpcol_9_92165(_709342), -(isa(_709342, c_tptpcol_9_92165))], (3798 ^ _593657) ^ [_709530] : [isa(_709530, c_tptpcol_1_1), -(tptpcol_1_1(_709530))], (3804 ^ _593657) ^ [_709718] : [tptpcol_1_1(_709718), -(isa(_709718, c_tptpcol_1_1))], (3810 ^ _593657) ^ [_709906] : [isa(_709906, c_tptpcol_2_2), -(tptpcol_2_2(_709906))], (3816 ^ _593657) ^ [_710094] : [tptpcol_2_2(_710094), -(isa(_710094, c_tptpcol_2_2))], (3822 ^ _593657) ^ [_710296, _710298] : [tptptypes_7_691(_710298, _710296), -(firstordercollection(_710296))], (3828 ^ _593657) ^ [_710504, _710506] : [tptptypes_7_691(_710506, _710504), -(firstordercollection(_710506))], (3834 ^ _593657) ^ [_710698] : [isa(_710698, c_tptpcol_11_26887), -(tptpcol_11_26887(_710698))], (3840 ^ _593657) ^ [_710886] : [tptpcol_11_26887(_710886), -(isa(_710886, c_tptpcol_11_26887))], (3846 ^ _593657) ^ [_711074] : [isa(_711074, c_tptpcol_12_26919), -(tptpcol_12_26919(_711074))], (3852 ^ _593657) ^ [_711262] : [tptpcol_12_26919(_711262), -(isa(_711262, c_tptpcol_12_26919))], (3858 ^ _593657) ^ [_711464, _711466] : [tptptypes_6_818(_711466, _711464), -(firstordercollection(_711464))], (3864 ^ _593657) ^ [_711672, _711674] : [tptptypes_6_818(_711674, _711672), -(firstordercollection(_711674))], (3870 ^ _593657) ^ [_711880, _711882] : [tptptypes_7_819(_711882, _711880), -(firstordercollection(_711880))], (3876 ^ _593657) ^ [_712088, _712090] : [tptptypes_7_819(_712090, _712088), -(firstordercollection(_712090))], (3882 ^ _593657) ^ [_712282] : [isa(_712282, c_correctivelensprescription), -(correctivelensprescription(_712282))], (3888 ^ _593657) ^ [_712470] : [correctivelensprescription(_712470), -(isa(_712470, c_correctivelensprescription))], (3894 ^ _593657) ^ [_712672, _712674] : [products(_712674, _712672), -(artifact(_712672))], (3900 ^ _593657) ^ [_712880, _712882] : [products(_712882, _712880), -(creationordestructionevent(_712882))], (3906 ^ _593657) ^ [_713074] : [isa(_713074, c_issuingaprescription), -(issuingaprescription(_713074))], (3912 ^ _593657) ^ [_713262] : [issuingaprescription(_713262), -(isa(_713262, c_issuingaprescription))], (3918 ^ _593657) ^ [_713463, _713465, _713467] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_713467, _713465, _713463), c_subcollectionofwithrelationtotypefn))], (3920 ^ _593657) ^ [_713577, _713579, _713581] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713581, _713579, _713577), n_1, _713581))], (3922 ^ _593657) ^ [_713692, _713694, _713696] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713696, _713694, _713692), n_2, _713694))], (3924 ^ _593657) ^ [_713807, _713809, _713811] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713811, _713809, _713807), n_3, _713807))], (3926 ^ _593657) ^ [_713922, _713924, _713926] : [-(collection(f_subcollectionofwithrelationtotypefn(_713926, _713924, _713922)))], (3928 ^ _593657) ^ [_714022] : [isa(_714022, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_714022))], (3934 ^ _593657) ^ [_714210] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_714210), -(isa(_714210, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _593657) ^ [_714398] : [isa(_714398, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_714398))], (3946 ^ _593657) ^ [_714586] : [mathematicalorcomputationalthing(_714586), -(isa(_714586, c_mathematicalorcomputationalthing))], (3952 ^ _593657) ^ [_714774] : [isa(_714774, c_tptpcol_10_118020), -(tptpcol_10_118020(_714774))], (3958 ^ _593657) ^ [_714962] : [tptpcol_10_118020(_714962), -(isa(_714962, c_tptpcol_10_118020))], (3964 ^ _593657) ^ [_715150] : [isa(_715150, c_tptpcol_11_118084), -(tptpcol_11_118084(_715150))], (3970 ^ _593657) ^ [_715338] : [tptpcol_11_118084(_715338), -(isa(_715338, c_tptpcol_11_118084))], (3976 ^ _593657) ^ [_715526] : [isa(_715526, c_terroristgroup), -(terroristgroup(_715526))], (3982 ^ _593657) ^ [_715714] : [terroristgroup(_715714), -(isa(_715714, c_terroristgroup))], (3988 ^ _593657) ^ [_715916, _715918] : [hasmembers(_715918, _715916), -(agent_generic(_715916))], (3994 ^ _593657) ^ [_716124, _716126] : [hasmembers(_716126, _716124), -(organization(_716126))], (4000 ^ _593657) ^ [_716318] : [isa(_716318, c_terrorist), -(terrorist(_716318))], (4006 ^ _593657) ^ [_716506] : [terrorist(_716506), -(isa(_716506, c_terrorist))], (4012 ^ _593657) ^ [_716707, _716709, _716711] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_716711, _716709, _716707), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _593657) ^ [_716821, _716823, _716825] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716825, _716823, _716821), n_1, _716825))], (4016 ^ _593657) ^ [_716936, _716938, _716940] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716940, _716938, _716936), n_2, _716938))], (4018 ^ _593657) ^ [_717051, _717053, _717055] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_717055, _717053, _717051), n_3, _717051))], (4020 ^ _593657) ^ [_717166, _717168, _717170] : [-(collection(f_subcollectionofwithrelationfromtypefn(_717170, _717168, _717166)))], (4022 ^ _593657) ^ [_717266] : [isa(_717266, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717266))], (4028 ^ _593657) ^ [_717454] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717454), -(isa(_717454, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _593657) ^ [_717656, _717658] : [prettystring(_717658, _717656), -(controlcharacterfreestring(_717656))], (4040 ^ _593657) ^ [_717864, _717866] : [prettystring(_717866, _717864), -(thing(_717866))], (4046 ^ _593657) ^ [_718058] : [isa(_718058, c_tptpcol_0_0), -(tptpcol_0_0(_718058))], (4052 ^ _593657) ^ [_718246] : [tptpcol_0_0(_718246), -(isa(_718246, c_tptpcol_0_0))], (4058 ^ _593657) ^ [_718434] : [isa(_718434, c_geolevel_3), -(geolevel_3(_718434))], (4064 ^ _593657) ^ [_718622] : [geolevel_3(_718622), -(isa(_718622, c_geolevel_3))], (4070 ^ _593657) ^ [_718810] : [isa(_718810, c_tptpcol_4_24578), -(tptpcol_4_24578(_718810))], (4076 ^ _593657) ^ [_718998] : [tptpcol_4_24578(_718998), -(isa(_718998, c_tptpcol_4_24578))], (4082 ^ _593657) ^ [_719186] : [isa(_719186, c_tptpcol_5_24579), -(tptpcol_5_24579(_719186))], (4088 ^ _593657) ^ [_719374] : [tptpcol_5_24579(_719374), -(isa(_719374, c_tptpcol_5_24579))], (4094 ^ _593657) ^ [_719562] : [isa(_719562, c_tptpcol_5_106498), -(tptpcol_5_106498(_719562))], (4100 ^ _593657) ^ [_719750] : [tptpcol_5_106498(_719750), -(isa(_719750, c_tptpcol_5_106498))], (4106 ^ _593657) ^ [_719938] : [isa(_719938, c_tptpcol_12_109157), -(tptpcol_12_109157(_719938))], (4112 ^ _593657) ^ [_720126] : [tptpcol_12_109157(_720126), -(isa(_720126, c_tptpcol_12_109157))], (4118 ^ _593657) ^ [_720314] : [isa(_720314, c_tptpcol_13_109173), -(tptpcol_13_109173(_720314))], (4124 ^ _593657) ^ [_720502] : [tptpcol_13_109173(_720502), -(isa(_720502, c_tptpcol_13_109173))], (4130 ^ _593657) ^ [_720690] : [isa(_720690, c_mathematicalthing), -(mathematicalthing(_720690))], (4136 ^ _593657) ^ [_720878] : [mathematicalthing(_720878), -(isa(_720878, c_mathematicalthing))], (4142 ^ _593657) ^ [_721066] : [isa(_721066, c_setorcollection), -(setorcollection(_721066))], (4148 ^ _593657) ^ [_721254] : [setorcollection(_721254), -(isa(_721254, c_setorcollection))], (4154 ^ _593657) ^ [_721442] : [isa(_721442, c_tptpcol_11_18631), -(tptpcol_11_18631(_721442))], (4160 ^ _593657) ^ [_721630] : [tptpcol_11_18631(_721630), -(isa(_721630, c_tptpcol_11_18631))], (4166 ^ _593657) ^ [_721818] : [isa(_721818, c_tptpcol_12_18663), -(tptpcol_12_18663(_721818))], (4172 ^ _593657) ^ [_722006] : [tptpcol_12_18663(_722006), -(isa(_722006, c_tptpcol_12_18663))], (4178 ^ _593657) ^ [_722208, _722210] : [tptptypes_8_400(_722210, _722208), -(firstordercollection(_722208))], (4184 ^ _593657) ^ [_722416, _722418] : [tptptypes_8_400(_722418, _722416), -(firstordercollection(_722418))], (4190 ^ _593657) ^ [_722624, _722626] : [tptptypes_9_401(_722626, _722624), -(firstordercollection(_722624))], (4196 ^ _593657) ^ [_722832, _722834] : [tptptypes_9_401(_722834, _722832), -(firstordercollection(_722834))], (4202 ^ _593657) ^ [_723011] : [-(natfunction(f_tptpquantityfn_13(_723011), c_tptpquantityfn_13))], (4204 ^ _593657) ^ [_723091] : [-(natargument(f_tptpquantityfn_13(_723091), n_1, _723091))], (4206 ^ _593657) ^ [_723172] : [-(tptpquantity(f_tptpquantityfn_13(_723172)))], (4208 ^ _593657) ^ [_723280, _723282] : [borderson(_723282, _723280), -(geographicalregion(_723280))], (4214 ^ _593657) ^ [_723488, _723490] : [borderson(_723490, _723488), -(geographicalregion(_723490))], (4220 ^ _593657) ^ [_723696, _723698] : [borderson(_723698, _723696), -(borderson(_723696, _723698))], (4226 ^ _593657) ^ [_723876] : [borderson(_723876, _723876)], (4228 ^ _593657) ^ [_723969] : [isa(_723969, c_tptpcol_14_92264), -(tptpcol_14_92264(_723969))], (4234 ^ _593657) ^ [_724157] : [tptpcol_14_92264(_724157), -(isa(_724157, c_tptpcol_14_92264))], (4240 ^ _593657) ^ [_724345] : [isa(_724345, c_tptpcol_15_92268), -(tptpcol_15_92268(_724345))], (4246 ^ _593657) ^ [_724533] : [tptpcol_15_92268(_724533), -(isa(_724533, c_tptpcol_15_92268))], (4252 ^ _593657) ^ [_724721] : [isa(_724721, c_tptpcol_6_116738), -(tptpcol_6_116738(_724721))], (4258 ^ _593657) ^ [_724909] : [tptpcol_6_116738(_724909), -(isa(_724909, c_tptpcol_6_116738))], (4264 ^ _593657) ^ [_725111, _725113] : [tptptypes_5_387(_725113, _725111), -(firstordercollection(_725111))], (4270 ^ _593657) ^ [_725319, _725321] : [tptptypes_5_387(_725321, _725319), -(firstordercollection(_725321))], (4276 ^ _593657) ^ [_725527, _725529] : [tptptypes_6_388(_725529, _725527), -(firstordercollection(_725527))], (4282 ^ _593657) ^ [_725735, _725737] : [tptptypes_6_388(_725737, _725735), -(firstordercollection(_725737))], (4288 ^ _593657) ^ [_725929] : [isa(_725929, c_shavingrazor_manual), -(shavingrazor_manual(_725929))], (4294 ^ _593657) ^ [_726117] : [shavingrazor_manual(_726117), -(isa(_726117, c_shavingrazor_manual))], (4300 ^ _593657) ^ [_726305] : [isa(_726305, c_tptpcol_9_109060), -(tptpcol_9_109060(_726305))], (4306 ^ _593657) ^ [_726493] : [tptpcol_9_109060(_726493), -(isa(_726493, c_tptpcol_9_109060))], (4312 ^ _593657) ^ [_726681] : [isa(_726681, c_tptpcol_10_109061), -(tptpcol_10_109061(_726681))], (4318 ^ _593657) ^ [_726869] : [tptpcol_10_109061(_726869), -(isa(_726869, c_tptpcol_10_109061))], (4324 ^ _593657) ^ [_727057] : [isa(_727057, c_executionbyfiringsquad), -(executionbyfiringsquad(_727057))], (4330 ^ _593657) ^ [_727245] : [executionbyfiringsquad(_727245), -(isa(_727245, c_executionbyfiringsquad))], (4336 ^ _593657) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _593657) ^ [_727486] : [isa(_727486, c_navypersonnel), -(navypersonnel(_727486))], (4344 ^ _593657) ^ [_727674] : [navypersonnel(_727674), -(isa(_727674, c_navypersonnel))], (4350 ^ _593657) ^ [_727862] : [isa(_727862, c_tptpcol_12_92262), -(tptpcol_12_92262(_727862))], (4356 ^ _593657) ^ [_728050] : [tptpcol_12_92262(_728050), -(isa(_728050, c_tptpcol_12_92262))], (4362 ^ _593657) ^ [_728238] : [isa(_728238, c_thing), -(thing(_728238))], (4368 ^ _593657) ^ [_728426] : [thing(_728426), -(isa(_728426, c_thing))], (4374 ^ _593657) ^ [_728614] : [isa(_728614, c_computerdataartifact), -(computerdataartifact(_728614))], (4380 ^ _593657) ^ [_728802] : [computerdataartifact(_728802), -(isa(_728802, c_computerdataartifact))], (4386 ^ _593657) ^ [_728990] : [isa(_728990, c_applicationcontext), -(applicationcontext(_728990))], (4392 ^ _593657) ^ [_729178] : [applicationcontext(_729178), -(isa(_729178, c_applicationcontext))], (4398 ^ _593657) ^ [_729380, _729382] : [inregion(_729382, _729380), -(spatialthing_nonsituational(_729380))], (4404 ^ _593657) ^ [_729588, _729590] : [inregion(_729590, _729588), -(spatialthing_nonsituational(_729590))], (4410 ^ _593657) ^ [_729810, _729812, _729814] : [-(inregion(_729814, _729810)), inregion(_729814, _729812), inregion(_729812, _729810)], (4420 ^ _593657) ^ [_730105] : [spatialthing_nonsituational(_730105), -(inregion(_730105, _730105))], (4426 ^ _593657) ^ [_730278] : [-(natfunction(f_tptpquantityfn_1(_730278), c_tptpquantityfn_1))], (4428 ^ _593657) ^ [_730358] : [-(natargument(f_tptpquantityfn_1(_730358), n_1, _730358))], (4430 ^ _593657) ^ [_730439] : [-(tptpquantity(f_tptpquantityfn_1(_730439)))], (4432 ^ _593657) ^ [_730533] : [isa(_730533, c_furpelt), -(furpelt(_730533))], (4438 ^ _593657) ^ [_730721] : [furpelt(_730721), -(isa(_730721, c_furpelt))], (4444 ^ _593657) ^ [_730923, _730925] : [tptpofobject(_730925, _730923), -(tptpquantity(_730923))], (4450 ^ _593657) ^ [_731131, _731133] : [tptpofobject(_731133, _731131), -(partiallytangible(_731133))], (4456 ^ _593657) ^ [_731353, _731355, _731357] : [relationallinstance(_731357, _731355, _731353), -(thing(_731353))], (4462 ^ _593657) ^ [_731583, _731585, _731587] : [relationallinstance(_731587, _731585, _731583), -(collection(_731585))], (4468 ^ _593657) ^ [_731813, _731815, _731817] : [relationallinstance(_731817, _731815, _731813), -(binarypredicate(_731817))], (4474 ^ _593657) ^ [_732015] : [isa(_732015, c_tptpcol_13_93766), -(tptpcol_13_93766(_732015))], (4480 ^ _593657) ^ [_732203] : [tptpcol_13_93766(_732203), -(isa(_732203, c_tptpcol_13_93766))], (4486 ^ _593657) ^ [_732391] : [isa(_732391, c_tptpcol_9_40196), -(tptpcol_9_40196(_732391))], (4492 ^ _593657) ^ [_732579] : [tptpcol_9_40196(_732579), -(isa(_732579, c_tptpcol_9_40196))], (4498 ^ _593657) ^ [_732767] : [isa(_732767, c_tptpcol_10_40324), -(tptpcol_10_40324(_732767))], (4504 ^ _593657) ^ [_732955] : [tptpcol_10_40324(_732955), -(isa(_732955, c_tptpcol_10_40324))], (4510 ^ _593657) ^ [_733143] : [isa(_733143, c_tptpcol_7_72707), -(tptpcol_7_72707(_733143))], (4516 ^ _593657) ^ [_733331] : [tptpcol_7_72707(_733331), -(isa(_733331, c_tptpcol_7_72707))], (4522 ^ _593657) ^ [_733519] : [isa(_733519, c_tptpcol_8_72708), -(tptpcol_8_72708(_733519))], (4528 ^ _593657) ^ [_733707] : [tptpcol_8_72708(_733707), -(isa(_733707, c_tptpcol_8_72708))], (4534 ^ _593657) ^ [_733895] : [isa(_733895, c_tptpcol_11_93764), -(tptpcol_11_93764(_733895))], (4540 ^ _593657) ^ [_734083] : [tptpcol_11_93764(_734083), -(isa(_734083, c_tptpcol_11_93764))], (4546 ^ _593657) ^ [_734271] : [isa(_734271, c_tptpcol_12_93765), -(tptpcol_12_93765(_734271))], (4552 ^ _593657) ^ [_734459] : [tptpcol_12_93765(_734459), -(isa(_734459, c_tptpcol_12_93765))], (4558 ^ _593657) ^ [_734647] : [isa(_734647, c_tptpcol_4_114689), -(tptpcol_4_114689(_734647))], (4564 ^ _593657) ^ [_734835] : [tptpcol_4_114689(_734835), -(isa(_734835, c_tptpcol_4_114689))], (4570 ^ _593657) ^ [_735023] : [isa(_735023, c_tptpcol_5_114690), -(tptpcol_5_114690(_735023))], (4576 ^ _593657) ^ [_735211] : [tptpcol_5_114690(_735211), -(isa(_735211, c_tptpcol_5_114690))], (4582 ^ _593657) ^ [_735399] : [isa(_735399, c_tptpcol_3_98305), -(tptpcol_3_98305(_735399))], (4588 ^ _593657) ^ [_735587] : [tptpcol_3_98305(_735587), -(isa(_735587, c_tptpcol_3_98305))], (4594 ^ _593657) ^ [_735775] : [isa(_735775, c_tptpcol_4_106497), -(tptpcol_4_106497(_735775))], (4600 ^ _593657) ^ [_735963] : [tptpcol_4_106497(_735963), -(isa(_735963, c_tptpcol_4_106497))], (4606 ^ _593657) ^ [_736178, _736180, _736182, _736184] : [-(natfunction(f_relationexistsallfn(_736184, _736182, _736180, _736178), c_relationexistsallfn))], (4608 ^ _593657) ^ [_736309, _736311, _736313, _736315] : [-(natargument(f_relationexistsallfn(_736315, _736313, _736311, _736309), n_1, _736315))], (4610 ^ _593657) ^ [_736441, _736443, _736445, _736447] : [-(natargument(f_relationexistsallfn(_736447, _736445, _736443, _736441), n_2, _736445))], (4612 ^ _593657) ^ [_736573, _736575, _736577, _736579] : [-(natargument(f_relationexistsallfn(_736579, _736577, _736575, _736573), n_3, _736575))], (4614 ^ _593657) ^ [_736705, _736707, _736709, _736711] : [-(natargument(f_relationexistsallfn(_736711, _736709, _736707, _736705), n_4, _736705))], (4616 ^ _593657) ^ [_736837, _736839, _736841, _736843] : [-(thing(f_relationexistsallfn(_736843, _736841, _736839, _736837)))], (4618 ^ _593657) ^ [_736954, _736956] : [resultisaarg(_736956, _736954), -(positiveinteger(_736954))], (4624 ^ _593657) ^ [_737162, _737164] : [resultisaarg(_737164, _737162), -(function_denotational(_737164))], (4630 ^ _593657) ^ [_737370, _737372] : [tptptypes_7_389(_737372, _737370), -(firstordercollection(_737370))], (4636 ^ _593657) ^ [_737578, _737580] : [tptptypes_7_389(_737580, _737578), -(firstordercollection(_737580))], (4642 ^ _593657) ^ [_737786, _737788] : [tptptypes_8_390(_737788, _737786), -(firstordercollection(_737786))], (4648 ^ _593657) ^ [_737994, _737996] : [tptptypes_8_390(_737996, _737994), -(firstordercollection(_737996))], (4654 ^ _593657) ^ [_738202, _738204] : [tptptypes_8_692(_738204, _738202), -(firstordercollection(_738202))], (4660 ^ _593657) ^ [_738410, _738412] : [tptptypes_8_692(_738412, _738410), -(firstordercollection(_738412))], (4666 ^ _593657) ^ [_738618, _738620] : [tptptypes_9_693(_738620, _738618), -(firstordercollection(_738618))], (4672 ^ _593657) ^ [_738826, _738828] : [tptptypes_9_693(_738828, _738826), -(firstordercollection(_738828))], (4678 ^ _593657) ^ [_739020] : [isa(_739020, c_tptpcol_11_40388), -(tptpcol_11_40388(_739020))], (4684 ^ _593657) ^ [_739208] : [tptpcol_11_40388(_739208), -(isa(_739208, c_tptpcol_11_40388))], (4690 ^ _593657) ^ [_739396] : [isa(_739396, c_marriagelicensedocument), -(marriagelicensedocument(_739396))], (4696 ^ _593657) ^ [_739584] : [marriagelicensedocument(_739584), -(isa(_739584, c_marriagelicensedocument))], (4702 ^ _593657) ^ [_739772] : [isa(_739772, c_tptpcol_1_65536), -(tptpcol_1_65536(_739772))], (4708 ^ _593657) ^ [_739960] : [tptpcol_1_65536(_739960), -(isa(_739960, c_tptpcol_1_65536))], (4714 ^ _593657) ^ [_740148] : [isa(_740148, c_tptpcol_2_98304), -(tptpcol_2_98304(_740148))], (4720 ^ _593657) ^ [_740336] : [tptpcol_2_98304(_740336), -(isa(_740336, c_tptpcol_2_98304))], (4726 ^ _593657) ^ [_740524] : [isa(_740524, c_tptpcol_10_92166), -(tptpcol_10_92166(_740524))], (4732 ^ _593657) ^ [_740712] : [tptpcol_10_92166(_740712), -(isa(_740712, c_tptpcol_10_92166))], (4738 ^ _593657) ^ [_740900] : [isa(_740900, c_tptpcol_11_92230), -(tptpcol_11_92230(_740900))], (4744 ^ _593657) ^ [_741088] : [tptpcol_11_92230(_741088), -(isa(_741088, c_tptpcol_11_92230))], (4750 ^ _593657) ^ [_741276] : [isa(_741276, c_orderingpredicate), -(orderingpredicate(_741276))], (4756 ^ _593657) ^ [_741464] : [orderingpredicate(_741464), -(isa(_741464, c_orderingpredicate))], (4762 ^ _593657) ^ [_741652] : [isa(_741652, c_tptpcol_9_18439), -(tptpcol_9_18439(_741652))], (4768 ^ _593657) ^ [_741840] : [tptpcol_9_18439(_741840), -(isa(_741840, c_tptpcol_9_18439))], (4774 ^ _593657) ^ [_742028] : [isa(_742028, c_tptpcol_10_18567), -(tptpcol_10_18567(_742028))], (4780 ^ _593657) ^ [_742216] : [tptpcol_10_18567(_742216), -(isa(_742216, c_tptpcol_10_18567))], (4786 ^ _593657) ^ [_742404] : [isa(_742404, c_tptpcol_2_65537), -(tptpcol_2_65537(_742404))], (4792 ^ _593657) ^ [_742592] : [tptpcol_2_65537(_742592), -(isa(_742592, c_tptpcol_2_65537))], (4798 ^ _593657) ^ [_742780] : [isa(_742780, c_tptpcol_3_81921), -(tptpcol_3_81921(_742780))], (4804 ^ _593657) ^ [_742968] : [tptpcol_3_81921(_742968), -(isa(_742968, c_tptpcol_3_81921))], (4810 ^ _593657) ^ [_743156] : [isa(_743156, c_artsupplies), -(artsupplies(_743156))], (4816 ^ _593657) ^ [_743344] : [artsupplies(_743344), -(isa(_743344, c_artsupplies))], (4822 ^ _593657) ^ [_743532] : [isa(_743532, c_enduringthing_localized), -(enduringthing_localized(_743532))], (4828 ^ _593657) ^ [_743720] : [enduringthing_localized(_743720), -(isa(_743720, c_enduringthing_localized))], (4834 ^ _593657) ^ [_743908] : [isa(_743908, c_location_underspecified), -(location_underspecified(_743908))], (4840 ^ _593657) ^ [_744096] : [location_underspecified(_744096), -(isa(_744096, c_location_underspecified))], (4846 ^ _593657) ^ [_744284] : [isa(_744284, c_trajector_underspecified), -(trajector_underspecified(_744284))], (4852 ^ _593657) ^ [_744472] : [trajector_underspecified(_744472), -(isa(_744472, c_trajector_underspecified))], (4858 ^ _593657) ^ [_744660] : [isa(_744660, c_individual), -(individual(_744660))], (4864 ^ _593657) ^ [_744848] : [individual(_744848), -(isa(_744848, c_individual))], (4870 ^ _593657) ^ [_745036] : [isa(_745036, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_745036))], (4876 ^ _593657) ^ [_745224] : [partiallyintangibleindividual(_745224), -(isa(_745224, c_partiallyintangibleindividual))], (4882 ^ _593657) ^ [_745412] : [isa(_745412, c_tptpcol_10_22022), -(tptpcol_10_22022(_745412))], (4888 ^ _593657) ^ [_745600] : [tptpcol_10_22022(_745600), -(isa(_745600, c_tptpcol_10_22022))], (4894 ^ _593657) ^ [_745788] : [isa(_745788, c_tptpcol_11_22023), -(tptpcol_11_22023(_745788))], (4900 ^ _593657) ^ [_745976] : [tptpcol_11_22023(_745976), -(isa(_745976, c_tptpcol_11_22023))], (4906 ^ _593657) ^ [_746164] : [isa(_746164, c_tptpcol_5_20483), -(tptpcol_5_20483(_746164))], (4912 ^ _593657) ^ [_746352] : [tptpcol_5_20483(_746352), -(isa(_746352, c_tptpcol_5_20483))], (4918 ^ _593657) ^ [_746540] : [isa(_746540, c_tptpcol_13_72791), -(tptpcol_13_72791(_746540))], (4924 ^ _593657) ^ [_746728] : [tptpcol_13_72791(_746728), -(isa(_746728, c_tptpcol_13_72791))], (4930 ^ _593657) ^ [_746916] : [isa(_746916, c_tptpcol_14_72792), -(tptpcol_14_72792(_746916))], (4936 ^ _593657) ^ [_747104] : [tptpcol_14_72792(_747104), -(isa(_747104, c_tptpcol_14_72792))], (4942 ^ _593657) ^ [_747292] : [isa(_747292, c_ridgeline_topographical), -(ridgeline_topographical(_747292))], (4948 ^ _593657) ^ [_747480] : [ridgeline_topographical(_747480), -(isa(_747480, c_ridgeline_topographical))], (4954 ^ _593657) ^ [_747668] : [isa(_747668, c_tptpcol_4_16387), -(tptpcol_4_16387(_747668))], (4960 ^ _593657) ^ [_747856] : [tptpcol_4_16387(_747856), -(isa(_747856, c_tptpcol_4_16387))], (4966 ^ _593657) ^ [_748044] : [isa(_748044, c_tptpcol_5_16388), -(tptpcol_5_16388(_748044))], (4972 ^ _593657) ^ [_748232] : [tptpcol_5_16388(_748232), -(isa(_748232, c_tptpcol_5_16388))], (4978 ^ _593657) ^ [_748420] : [isa(_748420, c_tptpcol_8_22020), -(tptpcol_8_22020(_748420))], (4984 ^ _593657) ^ [_748608] : [tptpcol_8_22020(_748608), -(isa(_748608, c_tptpcol_8_22020))], (4990 ^ _593657) ^ [_748796] : [isa(_748796, c_tptpcol_9_22021), -(tptpcol_9_22021(_748796))], (4996 ^ _593657) ^ [_748984] : [tptpcol_9_22021(_748984), -(isa(_748984, c_tptpcol_9_22021))], (5002 ^ _593657) ^ [_749172] : [isa(_749172, c_transitivebinarypredicate), -(transitivebinarypredicate(_749172))], (5008 ^ _593657) ^ [_749360] : [transitivebinarypredicate(_749360), -(isa(_749360, c_transitivebinarypredicate))], (5014 ^ _593657) ^ [_749562, _749564] : [geographicalsubregions(_749564, _749562), -(geographicalregion(_749562))], (5020 ^ _593657) ^ [_749770, _749772] : [geographicalsubregions(_749772, _749770), -(geographicalregion(_749772))], (5026 ^ _593657) ^ [_749992, _749994, _749996] : [-(geographicalsubregions(_749996, _749992)), geographicalsubregions(_749996, _749994), geographicalsubregions(_749994, _749992)], (5036 ^ _593657) ^ [_750287] : [geographicalregion(_750287), -(geographicalsubregions(_750287, _750287))], (5042 ^ _593657) ^ [_750475] : [isa(_750475, c_tptpcol_12_40420), -(tptpcol_12_40420(_750475))], (5048 ^ _593657) ^ [_750663] : [tptpcol_12_40420(_750663), -(isa(_750663, c_tptpcol_12_40420))], (5054 ^ _593657) ^ [_750851] : [isa(_750851, c_tptpcol_13_40421), -(tptpcol_13_40421(_750851))], (5060 ^ _593657) ^ [_751039] : [tptpcol_13_40421(_751039), -(isa(_751039, c_tptpcol_13_40421))], (5066 ^ _593657) ^ [_751227] : [isa(_751227, c_tptpcol_6_92162), -(tptpcol_6_92162(_751227))], (5072 ^ _593657) ^ [_751415] : [tptpcol_6_92162(_751415), -(isa(_751415, c_tptpcol_6_92162))], (5078 ^ _593657) ^ [_751603] : [isa(_751603, c_tptpcol_7_93186), -(tptpcol_7_93186(_751603))], (5084 ^ _593657) ^ [_751791] : [tptpcol_7_93186(_751791), -(isa(_751791, c_tptpcol_7_93186))], (5090 ^ _593657) ^ [_751993, _751995] : [most(_751995, _751993), -(setorcollection(_751993))], (5096 ^ _593657) ^ [_752201, _752203] : [most(_752203, _752201), -(setorcollection(_752201))], (5102 ^ _593657) ^ [_752409, _752411] : [most(_752411, _752409), -(setorcollection(_752411))], (5108 ^ _593657) ^ [_752617, _752619] : [most(_752619, _752617), -(setorcollection(_752619))], (5114 ^ _593657) ^ [_752811] : [setorcollection(_752811), -(most(_752811, _752811))], (5120 ^ _593657) ^ [_752999] : [setorcollection(_752999), -(most(_752999, _752999))], (5126 ^ _593657) ^ [_753215, _753217, _753219] : [-(most(_753219, _753215)), most(_753219, _753217), subsetof(_753217, _753215)], (5136 ^ _593657) ^ [_753538, _753540, _753542] : [-(most(_753542, _753538)), most(_753542, _753540), subsetof(_753540, _753538)], (5146 ^ _593657) ^ [_753847, _753849] : [subsetof(_753849, _753847), -(setorcollection(_753847))], (5152 ^ _593657) ^ [_754055, _754057] : [subsetof(_754057, _754055), -(setorcollection(_754057))], (5158 ^ _593657) ^ [_754277, _754279, _754281] : [-(subsetof(_754281, _754277)), subsetof(_754281, _754279), subsetof(_754279, _754277)], (5168 ^ _593657) ^ [_754572] : [setorcollection(_754572), -(subsetof(_754572, _754572))], (5174 ^ _593657) ^ [_754788, _754790, _754792] : [-(subsetof(_754788, _754790)), subsetof(_754792, _754790), subsetof(_754788, _754792)], (5184 ^ _593657) ^ [_755111, _755113, _755115] : [-(subsetof(_755115, _755111)), subsetof(_755115, _755113), subsetof(_755113, _755111)], (5194 ^ _593657) ^ [_755434, _755436, _755438] : [-(subsetof(_755438, _755434)), subsetof(_755438, _755436), subsetof(_755436, _755434)], (5204 ^ _593657) ^ [_755743, _755745] : [genlpreds(_755745, _755743), -(predicate(_755743))], (5210 ^ _593657) ^ [_755951, _755953] : [genlpreds(_755953, _755951), -(predicate(_755951))], (5216 ^ _593657) ^ [_756159, _756161] : [genlpreds(_756161, _756159), -(predicate(_756161))], (5222 ^ _593657) ^ [_756367, _756369] : [genlpreds(_756369, _756367), -(predicate(_756369))], (5228 ^ _593657) ^ [_756589, _756591, _756593] : [-(genlpreds(_756593, _756589)), genlpreds(_756593, _756591), genlpreds(_756591, _756589)], (5238 ^ _593657) ^ [_756884] : [predicate(_756884), -(genlpreds(_756884, _756884))], (5244 ^ _593657) ^ [_757072] : [predicate(_757072), -(genlpreds(_757072, _757072))], (5250 ^ _593657) ^ [_757274, _757276] : [genlinverse(_757276, _757274), -(binarypredicate(_757274))], (5256 ^ _593657) ^ [_757482, _757484] : [genlinverse(_757484, _757482), -(binarypredicate(_757484))], (5262 ^ _593657) ^ [_757704, _757706, _757708] : [-(genlinverse(_757704, _757706)), genlinverse(_757708, _757706), genlpreds(_757704, _757708)], (5272 ^ _593657) ^ [_758027, _758029, _758031] : [-(genlinverse(_758031, _758027)), genlinverse(_758031, _758029), genlpreds(_758029, _758027)], (5282 ^ _593657) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _593657) ^ [_758375] : [isa(_758375, c_microtheory), -(microtheory(_758375))], (5290 ^ _593657) ^ [_758563] : [microtheory(_758563), -(isa(_758563, c_microtheory))], (5296 ^ _593657) ^ [_758736] : [-(natfunction(f_urlfn(_758736), c_urlfn))], (5298 ^ _593657) ^ [_758816] : [-(natargument(f_urlfn(_758816), n_1, _758816))], (5300 ^ _593657) ^ [_758897] : [-(uniformresourcelocator(f_urlfn(_758897)))], (5302 ^ _593657) ^ [_758976] : [-(natfunction(f_urlreferentfn(_758976), c_urlreferentfn))], (5304 ^ _593657) ^ [_759056] : [-(natargument(f_urlreferentfn(_759056), n_1, _759056))], (5306 ^ _593657) ^ [_759137] : [-(computerdataartifact(f_urlreferentfn(_759137)))], (5308 ^ _593657) ^ [_759230, _759232] : [-(natfunction(f_contentmtofcdafromeventfn(_759232, _759230), c_contentmtofcdafromeventfn))], (5310 ^ _593657) ^ [_759327, _759329] : [-(natargument(f_contentmtofcdafromeventfn(_759329, _759327), n_1, _759329))], (5312 ^ _593657) ^ [_759425, _759427] : [-(natargument(f_contentmtofcdafromeventfn(_759427, _759425), n_2, _759425))], (5314 ^ _593657) ^ [_759523, _759525] : [-(microtheory(f_contentmtofcdafromeventfn(_759525, _759523)))], (5316 ^ _593657) ^ [_759634, _759636] : [isa(_759636, _759634), -(collection(_759634))], (5322 ^ _593657) ^ [_759842, _759844] : [isa(_759844, _759842), -(collection(_759842))], (5328 ^ _593657) ^ [_760050, _760052] : [isa(_760052, _760050), -(thing(_760052))], (5334 ^ _593657) ^ [_760258, _760260] : [isa(_760260, _760258), -(thing(_760260))], (5340 ^ _593657) ^ [_760480, _760482, _760484] : [-(isa(_760484, _760480)), isa(_760484, _760482), genls(_760482, _760480)], (5350 ^ _593657) ^ [_760775] : [isa(_760775, c_inanimateobject), -(inanimateobject(_760775))], (5356 ^ _593657) ^ [_760963] : [inanimateobject(_760963), -(isa(_760963, c_inanimateobject))], (5362 ^ _593657) ^ [_761151] : [isa(_761151, c_tptpcol_9_72709), -(tptpcol_9_72709(_761151))], (5368 ^ _593657) ^ [_761339] : [tptpcol_9_72709(_761339), -(isa(_761339, c_tptpcol_9_72709))], (5374 ^ _593657) ^ [_761527] : [isa(_761527, c_tptpcol_10_72710), -(tptpcol_10_72710(_761527))], (5380 ^ _593657) ^ [_761715] : [tptpcol_10_72710(_761715), -(isa(_761715, c_tptpcol_10_72710))], (5386 ^ _593657) ^ [_761903] : [isa(_761903, c_tptpcol_14_40429), -(tptpcol_14_40429(_761903))], (5392 ^ _593657) ^ [_762091] : [tptpcol_14_40429(_762091), -(isa(_762091, c_tptpcol_14_40429))], (5398 ^ _593657) ^ [_762279] : [isa(_762279, c_tptpcol_15_40430), -(tptpcol_15_40430(_762279))], (5404 ^ _593657) ^ [_762467] : [tptpcol_15_40430(_762467), -(isa(_762467, c_tptpcol_15_40430))], (5410 ^ _593657) ^ [_762669, _762671] : [genls(_762671, _762669), -(collection(_762669))], (5416 ^ _593657) ^ [_762877, _762879] : [genls(_762879, _762877), -(collection(_762877))], (5422 ^ _593657) ^ [_763085, _763087] : [genls(_763087, _763085), -(collection(_763087))], (5428 ^ _593657) ^ [_763293, _763295] : [genls(_763295, _763293), -(collection(_763295))], (5434 ^ _593657) ^ [_763515, _763517, _763519] : [-(genls(_763519, _763515)), genls(_763519, _763517), genls(_763517, _763515)], (5444 ^ _593657) ^ [_763810] : [collection(_763810), -(genls(_763810, _763810))], (5450 ^ _593657) ^ [_763998] : [collection(_763998), -(genls(_763998, _763998))], (5456 ^ _593657) ^ [_764214, _764216, _764218] : [-(genls(_764214, _764216)), genls(_764218, _764216), genls(_764214, _764218)], (5466 ^ _593657) ^ [_764537, _764539, _764541] : [-(genls(_764541, _764537)), genls(_764541, _764539), genls(_764539, _764537)], (5476 ^ _593657) ^ [_764832] : [isa(_764832, c_partiallytangible), -(partiallytangible(_764832))], (5482 ^ _593657) ^ [_765020] : [partiallytangible(_765020), -(isa(_765020, c_partiallytangible))], (5488 ^ _593657) ^ [_765208] : [isa(_765208, c_intangible), -(intangible(_765208))], (5494 ^ _593657) ^ [_765396] : [intangible(_765396), -(isa(_765396, c_intangible))], (5500 ^ _593657) ^ [_765598, _765600] : [disjointwith(_765600, _765598), -(collection(_765598))], (5506 ^ _593657) ^ [_765806, _765808] : [disjointwith(_765808, _765806), -(collection(_765808))], (5512 ^ _593657) ^ [_766014, _766016] : [disjointwith(_766016, _766014), -(disjointwith(_766014, _766016))], (5518 ^ _593657) ^ [_766238, _766240, _766242] : [-(disjointwith(_766242, _766238)), disjointwith(_766242, _766240), genls(_766238, _766240)], (5528 ^ _593657) ^ [_766561, _766563, _766565] : [-(disjointwith(_766561, _766563)), disjointwith(_766565, _766563), genls(_766561, _766565)], (5538 ^ _593657) ^ [_766870, _766872] : [-(mtvisible(_766870)), mtvisible(_766872), genlmt(_766872, _766870)], (5548 ^ _593657) ^ [_767165, _767167] : [genlmt(_767167, _767165), -(microtheory(_767165))], (5554 ^ _593657) ^ [_767373, _767375] : [genlmt(_767375, _767373), -(microtheory(_767373))], (5560 ^ _593657) ^ [_767581, _767583] : [genlmt(_767583, _767581), -(microtheory(_767583))], (5566 ^ _593657) ^ [_767789, _767791] : [genlmt(_767791, _767789), -(microtheory(_767791))], (5572 ^ _593657) ^ [_768011, _768013, _768015] : [-(genlmt(_768015, _768011)), genlmt(_768015, _768013), genlmt(_768013, _768011)], (5582 ^ _593657) ^ [_768306] : [microtheory(_768306), -(genlmt(_768306, _768306))], (5594 ^ _593657) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _593657) ^ [_768494] : [microtheory(_768494), -(genlmt(_768494, _768494))]], input).
% 0.42/1.39  ncf('1',plain,[aspatialthing(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))],start(5598 ^ 0)).
% 0.42/1.39  ncf('1.1',plain,[-(aspatialthing(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))), aspatialinformationstore(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))],extension(1428 ^ 1,bind([[_634242], [f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)]]))).
% 0.42/1.39  ncf('1.1.1',plain,[-(aspatialinformationstore(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))), microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3))],extension(600 ^ 2,bind([[_610873], [f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)]]))).
% 0.42/1.39  ncf('1.1.1.1',plain,[-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))],extension(36 ^ 3)).
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------