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

% Computer : n010.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:50:44 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR058+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n010.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Thu May 18 23:52:12 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 0.40/1.38  
% 0.40/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.40/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.40/1.38  %-----------------------------------------------------
% 0.40/1.38  ncf(matrix, plain, [(5596 ^ _592116) ^ [_781643] : [-(mtvisible(c_englishmt))], (5598 ^ _592116) ^ [_781680] : [prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), _781680)], (2 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592116) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592116) ^ [_592321] : [intangible(_592321), partiallytangible(_592321)], (12 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592116) ^ [_592559] : [tptpcol_15_40430(_592559), -(tptpcol_14_40429(_592559))], (20 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592116) ^ [_592798] : [tptpcol_10_72710(_592798), -(tptpcol_9_72709(_592798))], (28 ^ _592116) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592116) ^ [_593037] : [inanimateobject(_593037), -(partiallytangible(_593037))], (36 ^ _592116) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592116) ^ [_593304, _593306, _593308] : [-(genlpreds(_593308, _593304)), genlinverse(_593308, _593306), genlinverse(_593306, _593304)], (48 ^ _592116) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592116) ^ [_593666, _593668] : [subsetof(_593668, _593666), -(most(_593668, _593666))], (56 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592116) ^ [_593915] : [tptpcol_7_93186(_593915), -(tptpcol_6_92162(_593915))], (64 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592116) ^ [_594154] : [tptpcol_13_40421(_594154), -(tptpcol_12_40420(_594154))], (72 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592116) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592116) ^ [_594618] : [tptpcol_9_22021(_594618), -(tptpcol_8_22020(_594618))], (90 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592116) ^ [_594857] : [tptpcol_5_16388(_594857), -(tptpcol_4_16387(_594857))], (98 ^ _592116) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592116) ^ [_595215] : [tptpcol_14_72792(_595215), -(tptpcol_13_72791(_595215))], (112 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592116) ^ [_595454] : [tptpcol_5_20483(_595454), -(tptpcol_4_16387(_595454))], (120 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592116) ^ [_595693] : [tptpcol_11_22023(_595693), -(tptpcol_10_22022(_595693))], (128 ^ _592116) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592116) ^ [_595932] : [partiallyintangibleindividual(_595932), -(individual(_595932))], (136 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592116) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592116) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592116) ^ [_596277] : [trajector_underspecified(_596277), -(location_underspecified(_596277))], (148 ^ _592116) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592116) ^ [_596516] : [partiallytangible(_596516), -(enduringthing_localized(_596516))], (156 ^ _592116) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592116) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592116) ^ [_596874] : [tptpcol_3_81921(_596874), -(tptpcol_2_65537(_596874))], (170 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592116) ^ [_597113] : [tptpcol_10_18567(_597113), -(tptpcol_9_18439(_597113))], (178 ^ _592116) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592116) ^ [_597352] : [orderingpredicate(_597352), -(transitivebinarypredicate(_597352))], (186 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592116) ^ [_597591] : [tptpcol_11_92230(_597591), -(tptpcol_10_92166(_597591))], (194 ^ _592116) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592116) ^ [_597830] : [tptpcol_2_98304(_597830), -(tptpcol_1_65536(_597830))], (202 ^ _592116) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592116) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592116) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592116) ^ [_598294] : [tptpcol_12_40420(_598294), -(tptpcol_11_40388(_598294))], (220 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592116) ^ [_598547, _598549] : [tptptypes_9_693(_598549, _598547), -(tptptypes_8_692(_598549, _598547))], (228 ^ _592116) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592116) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592116) ^ [_598916, _598918] : [tptptypes_8_390(_598918, _598916), -(tptptypes_7_389(_598918, _598916))], (240 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592116) ^ [_599260, _599262, _599264, _599266] : [-(isa(f_relationexistsallfn(_599266, _599262, _599260, _599264), _599260)), isa(_599266, _599264), relationexistsall(_599262, _599260, _599264)], (254 ^ _592116) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592116) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592116) ^ [_599789] : [tptpcol_4_106497(_599789), -(tptpcol_3_98305(_599789))], (268 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592116) ^ [_600028] : [tptpcol_5_114690(_600028), -(tptpcol_4_114689(_600028))], (276 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592116) ^ [_600267] : [tptpcol_12_93765(_600267), -(tptpcol_11_93764(_600267))], (284 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592116) ^ [_600506] : [tptpcol_8_72708(_600506), -(tptpcol_7_72707(_600506))], (292 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592116) ^ [_600745] : [tptpcol_10_40324(_600745), -(tptpcol_9_40196(_600745))], (300 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592116) ^ [_600984] : [tptpcol_13_93766(_600984), -(tptpcol_12_93765(_600984))], (308 ^ _592116) ^ [_601170] : [-(tptpofobject(_601170, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601170)], (318 ^ _592116) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592116) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592116) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592116) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592116) ^ [_601834] : [location_underspecified(_601834), -(thing(_601834))], (342 ^ _592116) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592116) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592116) ^ [_602179] : [tptpcol_12_92262(_602179), -(tptpcol_11_92230(_602179))], (354 ^ _592116) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592116) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592116) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592116) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592116) ^ [_602696] : [tptpcol_10_109061(_602696), -(tptpcol_9_109060(_602696))], (374 ^ _592116) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592116) ^ [_603002, _603004] : [tptptypes_6_388(_603004, _603002), -(tptptypes_5_387(_603004, _603002))], (384 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592116) ^ [_603251] : [tptpcol_6_116738(_603251), -(tptpcol_5_114690(_603251))], (392 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592116) ^ [_603490] : [tptpcol_15_92268(_603490), -(tptpcol_14_92264(_603490))], (400 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592116) ^ [_603795] : [-(tptpofobject(_603795, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_603795)], (416 ^ _592116) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592116) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592116) ^ [_604248, _604250] : [tptptypes_9_401(_604250, _604248), -(tptptypes_8_400(_604248, _604250))], (430 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592116) ^ [_604497] : [tptpcol_12_18663(_604497), -(tptpcol_11_18631(_604497))], (438 ^ _592116) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592116) ^ [_604736] : [setorcollection(_604736), -(mathematicalthing(_604736))], (446 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592116) ^ [_604975] : [tptpcol_13_109173(_604975), -(tptpcol_12_109157(_604975))], (454 ^ _592116) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592116) ^ [_605267] : [tptpcol_5_106498(_605267), -(tptpcol_4_106497(_605267))], (464 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592116) ^ [_605506] : [tptpcol_5_24579(_605506), -(tptpcol_4_24578(_605506))], (472 ^ _592116) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592116) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592116) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592116) ^ [_606036] : [tptpcol_1_65536(_606036), -(tptpcol_0_0(_606036))], (494 ^ _592116) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592116) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592116) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592116) ^ [_606461, _606463] : [geographicalsubregions(_606463, _606461), -(inregion(_606461, _606463))], (510 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592116) ^ [_606710] : [tptpcol_11_118084(_606710), -(tptpcol_10_118020(_606710))], (518 ^ _592116) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592116) ^ [_606949] : [mathematicalorcomputationalthing(_606949), -(intangible(_606949))], (526 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592116) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592116) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592116) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592116) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592116) ^ [_607467, _607469] : [tptptypes_7_819(_607469, _607467), -(tptptypes_6_818(_607469, _607467))], (544 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592116) ^ [_607769] : [tptpcol_12_26919(_607769), -(tptpcol_11_26887(_607769))], (554 ^ _592116) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592116) ^ [_608022, _608024] : [tptptypes_8_692(_608024, _608022), -(tptptypes_7_691(_608022, _608024))], (562 ^ _592116) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592116) ^ [_608271] : [tptpcol_2_2(_608271), -(tptpcol_1_1(_608271))], (570 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592116) ^ [_608563] : [tptpcol_9_92165(_608563), -(tptpcol_8_92164(_608563))], (580 ^ _592116) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592116) ^ [_608802] : [fixedordercollection(_608802), -(collection(_608802))], (588 ^ _592116) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592116) ^ [_609041] : [tptpcol_1_1(_609041), tptpcol_1_65536(_609041)], (596 ^ _592116) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592116) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592116) ^ [_609332] : [microtheory(_609332), -(aspatialinformationstore(_609332))], (606 ^ _592116) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592116) ^ [_609637] : [-(tptp_8_875(_609637, f_relationallexistsfn(_609637, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_609637, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592116) ^ [] : [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 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592116) ^ [_610088] : [tptpcol_10_118020(_610088), -(tptpcol_9_118019(_610088))], (636 ^ _592116) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592116) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592116) ^ [_610446] : [-(tptp_9_720(_610446, f_relationallexistsfn(_610446, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610446)], (654 ^ _592116) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592116) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592116) ^ [_610895] : [individual(_610895), setorcollection(_610895)], (668 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592116) ^ [_611133] : [tptpcol_12_22055(_611133), -(tptpcol_11_22023(_611133))], (676 ^ _592116) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592116) ^ [_611372] : [applicationcontext(_611372), -(microtheory(_611372))], (684 ^ _592116) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592116) ^ [_611678, _611680] : [tptptypes_8_400(_611680, _611678), -(tptptypes_7_396(_611680, _611678))], (694 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592116) ^ [_611927] : [tptpcol_11_18631(_611927), -(tptpcol_10_18567(_611927))], (702 ^ _592116) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592116) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592116) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592116) ^ [_612338] : [mathematicalthing(_612338), -(mathematicalorcomputationalthing(_612338))], (718 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592116) ^ [_612630] : [tptpcol_15_93775(_612630), -(tptpcol_14_93774(_612630))], (728 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592116) ^ [_612869] : [tptpcol_8_109059(_612869), -(tptpcol_7_108547(_612869))], (736 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592116) ^ [_613108] : [tptpcol_14_40429(_613108), -(tptpcol_13_40421(_613108))], (744 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592116) ^ [_613466] : [tptpcol_14_22072(_613466), -(tptpcol_13_22071(_613466))], (758 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592116) ^ [_613705] : [tptpcol_14_93774(_613705), -(tptpcol_13_93766(_613705))], (766 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592116) ^ [_613944] : [tptpcol_10_22022(_613944), -(tptpcol_9_22021(_613944))], (774 ^ _592116) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592116) ^ [_614183] : [inanimateobject_nonnatural(_614183), -(inanimateobject(_614183))], (782 ^ _592116) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592116) ^ [_614528] : [tptpcol_9_72709(_614528), -(tptpcol_8_72708(_614528))], (794 ^ _592116) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592116) ^ [_614767] : [-(tptpofobject(_614767, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_614767)], (806 ^ _592116) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592116) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592116) ^ [_615206] : [firstordercollection(_615206), -(fixedordercollection(_615206))], (820 ^ _592116) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592116) ^ [_615617] : [tptpcol_13_18664(_615617), -(tptpcol_12_18663(_615617))], (836 ^ _592116) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592116) ^ [_615856] : [artifact(_615856), -(inanimateobject_nonnatural(_615856))], (844 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592116) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592116) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592116) ^ [_616254] : [tptpcol_7_113665(_616254), -(tptpcol_6_112641(_616254))], (858 ^ _592116) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592116) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592116) ^ [_616612] : [geographicalregion(_616612), -(partiallytangible(_616612))], (872 ^ _592116) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592116) ^ [_616865, _616867] : [disjointwith(_616867, _616865), -(no(_616867, _616865))], (880 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592116) ^ [_617114] : [tptpcol_4_24578(_617114), -(tptpcol_3_16386(_617114))], (888 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592116) ^ [_617353] : [tptpcol_5_69635(_617353), -(tptpcol_4_65539(_617353))], (896 ^ _592116) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592116) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592116) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592116) ^ [_617712, _617714] : [genls(_617714, _617712), -(collection(_617714))], (908 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592116) ^ [_617959] : [tptpcol_13_22071(_617959), -(tptpcol_12_22055(_617959))], (916 ^ _592116) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592116) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592116) ^ [_618251] : [tptpcol_3_98305(_618251), -(tptpcol_2_98304(_618251))], (926 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592116) ^ [_618490] : [tptpcol_4_114689(_618490), -(tptpcol_3_114688(_618490))], (934 ^ _592116) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592116) ^ [_618729] : [artsupplies(_618729), -(supplies(_618729))], (942 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592116) ^ [_618968] : [tptpcol_8_26629(_618968), -(tptpcol_7_26628(_618968))], (950 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592116) ^ [_619207] : [tptpcol_9_109060(_619207), -(tptpcol_8_109059(_619207))], (958 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592116) ^ [_619446] : [isa(_619446, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619446, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619446))], (966 ^ _592116) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592116) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592116) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592116) ^ [_620030] : [tptpcol_14_109181(_620030), -(tptpcol_13_109173(_620030))], (988 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592116) ^ [_620269] : [tptpcol_16_30972(_620269), -(tptpcol_15_30970(_620269))], (996 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592116) ^ [_620561] : [tptpcol_9_18439(_620561), -(tptpcol_8_18438(_620561))], (1006 ^ _592116) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592116) ^ [_620853] : [tptpcol_12_118116(_620853), -(tptpcol_11_118084(_620853))], (1016 ^ _592116) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592116) ^ [_621145] : [tptpcol_7_26628(_621145), -(tptpcol_6_26627(_621145))], (1026 ^ _592116) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592116) ^ [_621398, _621400] : [most(_621400, _621398), -(setorcollection(_621400))], (1034 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592116) ^ [_621645] : [tptpcol_15_109185(_621645), -(tptpcol_14_109181(_621645))], (1042 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592116) ^ [_621884] : [tptpcol_16_92269(_621884), -(tptpcol_15_92268(_621884))], (1050 ^ _592116) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592116) ^ [_622190, _622192] : [tptptypes_8_823(_622192, _622190), -(tptptypes_7_819(_622192, _622190))], (1060 ^ _592116) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592116) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592116) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592116) ^ [_622770] : [tptpcol_10_26886(_622770), -(tptpcol_9_26885(_622770))], (1082 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592116) ^ [_623062] : [tptpcol_15_72793(_623062), -(tptpcol_14_72792(_623062))], (1092 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592116) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592116) ^ [_623420] : [navypersonnel(_623420), -(militaryperson(_623420))], (1106 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592116) ^ [_623659] : [tptpcol_4_16387(_623659), -(tptpcol_3_16386(_623659))], (1114 ^ _592116) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592116) ^ [_623898] : [enduringthing_localized(_623898), -(spatialthing_nonsituational(_623898))], (1122 ^ _592116) ^ [_624084] : [collection(_624084), individual(_624084)], (1128 ^ _592116) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592116) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592116) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592116) ^ [_624613] : [physicalorderingpredicate(_624613), -(orderingpredicate(_624613))], (1150 ^ _592116) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592116) ^ [_624866, _624868] : [disjointwith(_624868, _624866), -(collection(_624866))], (1158 ^ _592116) ^ [_625102, _625104, _625106, _625108] : [-(isa(f_relationallexistsfn(_625108, _625104, _625106, _625102), _625102)), isa(_625108, _625106), relationallexists(_625104, _625106, _625102)], (1168 ^ _592116) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592116) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592116) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592116) ^ [_625711, _625713] : [tptptypes_7_389(_625713, _625711), -(tptptypes_6_388(_625711, _625713))], (1186 ^ _592116) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592116) ^ [_626026] : [-(hpkb_subnationalagent(_626026)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626026)], (1202 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592116) ^ [_626344] : [tptpcol_8_22020(_626344), -(tptpcol_7_21508(_626344))], (1210 ^ _592116) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592116) ^ [_626583] : [-(tptp_9_51(f_relationexistsallfn(_626583, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _626583)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_626583, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592116) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592116) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592116) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592116) ^ [_627087] : [tptpcol_3_65538(_627087), -(tptpcol_2_65537(_627087))], (1238 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592116) ^ [_627326] : [tptpcol_14_26921(_627326), -(tptpcol_13_26920(_627326))], (1246 ^ _592116) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592116) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592116) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592116) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592116) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592116) ^ [_627777] : [intangibleindividual(_627777), -(partiallyintangibleindividual(_627777))], (1262 ^ _592116) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592116) ^ [_628135] : [tptpcol_16_130924(_628135), -(tptpcol_15_130923(_628135))], (1276 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592116) ^ [_628374] : [tptpcol_7_92163(_628374), -(tptpcol_6_92162(_628374))], (1284 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592116) ^ [_628666] : [tptpcol_16_130933(_628666), -(tptpcol_15_130931(_628666))], (1294 ^ _592116) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592116) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592116) ^ [_628972, _628974] : [no(_628974, _628972), -(few(_628974, _628972))], (1304 ^ _592116) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592116) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592116) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592116) ^ [_629380] : [tptpcol_6_20484(_629380), -(tptpcol_5_20483(_629380))], (1318 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592116) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592116) ^ [_629844] : [tptpcol_7_108547(_629844), -(tptpcol_6_108546(_629844))], (1336 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592116) ^ [_630083] : [tptpcol_11_109125(_630083), -(tptpcol_10_109061(_630083))], (1344 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592116) ^ [_630375] : [tptpcol_8_93698(_630375), -(tptpcol_7_93186(_630375))], (1354 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592116) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592116) ^ [_630667] : [tptpcol_2_65537(_630667), -(tptpcol_1_65536(_630667))], (1364 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592116) ^ [_630959] : [tptpcol_6_18436(_630959), -(tptpcol_5_16388(_630959))], (1374 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592116) ^ [_631198] : [tptpcol_8_18438(_631198), -(tptpcol_7_18437(_631198))], (1382 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592116) ^ [_631556] : [tptpcol_8_117763(_631556), -(tptpcol_7_117762(_631556))], (1396 ^ _592116) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592116) ^ [_631848] : [tptpcol_12_109157(_631848), -(tptpcol_11_109125(_631848))], (1406 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592116) ^ [_632087] : [tptpcol_7_117762(_632087), -(tptpcol_6_116738(_632087))], (1414 ^ _592116) ^ [_632301, _632303, _632305] : [isa(_632305, _632303), isa(_632305, _632301), disjointwith(_632303, _632301)], (1424 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592116) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592116) ^ [_632701] : [aspatialinformationstore(_632701), -(aspatialthing(_632701))], (1434 ^ _592116) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592116) ^ [_633099] : [tptpcol_9_93699(_633099), -(tptpcol_8_93698(_633099))], (1448 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592116) ^ [_633338] : [tptpcol_11_93764(_633338), -(tptpcol_10_93700(_633338))], (1456 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592116) ^ [_633577] : [tptpcol_6_26627(_633577), -(tptpcol_5_24579(_633577))], (1464 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592116) ^ [_633816] : [tptpcol_4_90113(_633816), -(tptpcol_3_81921(_633816))], (1472 ^ _592116) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592116) ^ [_634108] : [tptpcol_10_93700(_634108), -(tptpcol_9_93699(_634108))], (1482 ^ _592116) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592116) ^ [_634347] : [aspatialinformationstore(_634347), -(intangibleindividual(_634347))], (1490 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592116) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592116) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592116) ^ [_634758] : [tptpcol_3_16386(_634758), -(tptpcol_2_2(_634758))], (1506 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592116) ^ [_634997] : [tptpcol_9_118019(_634997), -(tptpcol_8_117763(_634997))], (1514 ^ _592116) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592116) ^ [_635236] : [individual(_635236), -(trajector_underspecified(_635236))], (1522 ^ _592116) ^ [_635422] : [shavingrazor_manual(_635422), -(tptp_8_271(f_relationexistsallfn(_635422, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635422))], (1528 ^ _592116) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592116) ^ [_635726] : [tptpcol_6_112641(_635726), -(tptpcol_5_110593(_635726))], (1538 ^ _592116) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592116) ^ [_635965] : [tptpcol_12_72775(_635965), -(tptpcol_11_72774(_635965))], (1546 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592116) ^ [_636204] : [tptpcol_7_72707(_636204), -(tptpcol_6_71683(_636204))], (1554 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592116) ^ [_636443] : [tptpcol_16_50958(_636443), -(tptpcol_15_50957(_636443))], (1562 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592116) ^ [_636682] : [tptpcol_8_114177(_636682), -(tptpcol_7_113665(_636682))], (1570 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592116) ^ [_636921] : [tptpcol_16_72795(_636921), -(tptpcol_15_72793(_636921))], (1578 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592116) ^ [_637160] : [tptpcol_6_71683(_637160), -(tptpcol_5_69635(_637160))], (1586 ^ _592116) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592116) ^ [_637466, _637468] : [tptptypes_7_396(_637468, _637466), -(tptptypes_6_388(_637468, _637466))], (1596 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592116) ^ [_637715] : [tptpcol_9_26885(_637715), -(tptpcol_8_26629(_637715))], (1604 ^ _592116) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592116) ^ [_637968, _637970] : [genls(_637970, _637968), -(subsetof(_637970, _637968))], (1612 ^ _592116) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592116) ^ [_638284, _638286] : [tptptypes_6_818(_638286, _638284), -(tptptypes_5_802(_638286, _638284))], (1622 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592116) ^ [_638533] : [tptpcol_6_92162(_638533), -(tptpcol_5_90114(_638533))], (1630 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592116) ^ [_638825] : [tptpcol_8_92164(_638825), -(tptpcol_7_92163(_638825))], (1640 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592116) ^ [_639064] : [tptpcol_13_118117(_639064), -(tptpcol_12_118116(_639064))], (1648 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592116) ^ [_639303] : [tptpcol_11_40388(_639303), -(tptpcol_10_40324(_639303))], (1656 ^ _592116) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592116) ^ [_639556, _639558] : [tptptypes_9_824(_639558, _639556), -(tptptypes_8_823(_639558, _639556))], (1664 ^ _592116) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592116) ^ [_639858] : [tptpcol_11_26887(_639858), -(tptpcol_10_26886(_639858))], (1674 ^ _592116) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592116) ^ [_640097] : [tptpcol_16_26926(_640097), -(tptpcol_15_26925(_640097))], (1682 ^ _592116) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592116) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592116) ^ [_640403, _640405] : [few(_640405, _640403), -(setorcollection(_640403))], (1692 ^ _592116) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592116) ^ [_640650] : [tptpcol_4_65539(_640650), -(tptpcol_3_65538(_640650))], (1700 ^ _592116) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592116) ^ [_640889] : [tptpcol_8_39940(_640889), -(tptpcol_7_39939(_640889))], (1708 ^ _592116) ^ [_641075] : [-(tptpofobject(_641075, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641075)], (1718 ^ _592116) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592116) ^ [_641514] : [tptpcol_15_22076(_641514), -(tptpcol_14_22072(_641514))], (1732 ^ _592116) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592116) ^ [_641753] : [tptpcol_0_0(_641753), -(individual(_641753))], (1740 ^ _592116) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592116) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592116) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592116) ^ [_642151] : [tptpcol_11_72774(_642151), -(tptpcol_10_72710(_642151))], (1754 ^ _592116) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592116) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592116) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592116) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592116) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592116) ^ [_642787] : [tptpcol_7_21508(_642787), -(tptpcol_6_20484(_642787))], (1780 ^ _592116) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592116) ^ [_643026] : [tptpcol_6_108546(_643026), -(tptpcol_5_106498(_643026))], (1788 ^ _592116) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592116) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592116) ^ [_643384] : [geolevel_4(_643384), -(geographicalregion(_643384))], (1802 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592116) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592116) ^ [_643861] : [tptpcol_13_26920(_643861), -(tptpcol_12_26919(_643861))], (1822 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592116) ^ [_644100] : [tptpcol_14_92264(_644100), -(tptpcol_13_92263(_644100))], (1830 ^ _592116) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592116) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592116) ^ [_644392] : [tptpcol_9_40196(_644392), -(tptpcol_8_39940(_644392))], (1840 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592116) ^ [_644750] : [tptpcol_13_92263(_644750), -(tptpcol_12_92262(_644750))], (1854 ^ _592116) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592116) ^ [_645042] : [tptpcol_5_90114(_645042), -(tptpcol_4_90113(_645042))], (1864 ^ _592116) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592116) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592116) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592116) ^ [_645453] : [tptpcol_15_26925(_645453), -(tptpcol_14_26921(_645453))], (1880 ^ _592116) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592116) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592116) ^ [_645811] : [tptpcol_7_18437(_645811), -(tptpcol_6_18436(_645811))], (1894 ^ _592116) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592116) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592116) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592116) ^ [_646222] : [tptpcol_3_98305(_646222), tptpcol_3_114688(_646222)], (1910 ^ _592116) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592116) ^ [_646460] : [tptpcol_5_110593(_646460), -(tptpcol_4_106497(_646460))], (1918 ^ _592116) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592116) ^ [_646699] : [tptpcol_13_72791(_646699), -(tptpcol_12_72775(_646699))], (1926 ^ _592116) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592116) ^ [_646938] : [computerdataartifact(_646938), -(artifact(_646938))], (1934 ^ _592116) ^ [_647124] : [-(tptpofobject(_647124, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647124)], (1944 ^ _592116) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592116) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592116) ^ [_647563] : [tptpcol_10_92166(_647563), -(tptpcol_9_92165(_647563))], (1958 ^ _592116) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592116) ^ [_647802] : [tptpcol_14_118118(_647802), -(tptpcol_13_118117(_647802))], (1966 ^ _592116) ^ [_647988] : [isa(_647988, c_tptpcol_14_118118), -(tptpcol_14_118118(_647988))], (1972 ^ _592116) ^ [_648176] : [tptpcol_14_118118(_648176), -(isa(_648176, c_tptpcol_14_118118))], (1978 ^ _592116) ^ [_648349] : [-(natfunction(f_tptpquantityfn_6(_648349), c_tptpquantityfn_6))], (1980 ^ _592116) ^ [_648429] : [-(natargument(f_tptpquantityfn_6(_648429), n_1, _648429))], (1982 ^ _592116) ^ [_648510] : [-(tptpquantity(f_tptpquantityfn_6(_648510)))], (1984 ^ _592116) ^ [_648604] : [isa(_648604, c_tptpcol_16_26939), -(tptpcol_16_26939(_648604))], (1990 ^ _592116) ^ [_648792] : [tptpcol_16_26939(_648792), -(isa(_648792, c_tptpcol_16_26939))], (1996 ^ _592116) ^ [_648980] : [isa(_648980, c_tptpcol_16_62187), -(tptpcol_16_62187(_648980))], (2002 ^ _592116) ^ [_649168] : [tptpcol_16_62187(_649168), -(isa(_649168, c_tptpcol_16_62187))], (2008 ^ _592116) ^ [_649356] : [isa(_649356, c_tptpcol_13_92263), -(tptpcol_13_92263(_649356))], (2014 ^ _592116) ^ [_649544] : [tptpcol_13_92263(_649544), -(isa(_649544, c_tptpcol_13_92263))], (2020 ^ _592116) ^ [_649732] : [isa(_649732, c_geolevel_4), -(geolevel_4(_649732))], (2026 ^ _592116) ^ [_649920] : [geolevel_4(_649920), -(isa(_649920, c_geolevel_4))], (2032 ^ _592116) ^ [_650108] : [isa(_650108, c_tptpcol_15_4027), -(tptpcol_15_4027(_650108))], (2038 ^ _592116) ^ [_650296] : [tptpcol_15_4027(_650296), -(isa(_650296, c_tptpcol_15_4027))], (2044 ^ _592116) ^ [_650484] : [isa(_650484, c_pushingwithfingers), -(pushingwithfingers(_650484))], (2050 ^ _592116) ^ [_650672] : [pushingwithfingers(_650672), -(isa(_650672, c_pushingwithfingers))], (2056 ^ _592116) ^ [_650874, _650876] : [affiliatedwith(_650876, _650874), -(agent_generic(_650874))], (2062 ^ _592116) ^ [_651082, _651084] : [affiliatedwith(_651084, _651082), -(agent_generic(_651084))], (2068 ^ _592116) ^ [_651290, _651292] : [affiliatedwith(_651292, _651290), -(affiliatedwith(_651290, _651292))], (2074 ^ _592116) ^ [_651470] : [affiliatedwith(_651470, _651470)], (2076 ^ _592116) ^ [_651563] : [isa(_651563, c_footballteam), -(footballteam(_651563))], (2082 ^ _592116) ^ [_651751] : [footballteam(_651751), -(isa(_651751, c_footballteam))], (2088 ^ _592116) ^ [_651939] : [isa(_651939, c_tptpcol_16_4451), -(tptpcol_16_4451(_651939))], (2094 ^ _592116) ^ [_652127] : [tptpcol_16_4451(_652127), -(isa(_652127, c_tptpcol_16_4451))], (2100 ^ _592116) ^ [_652315] : [isa(_652315, c_pushingwithopenhand), -(pushingwithopenhand(_652315))], (2106 ^ _592116) ^ [_652503] : [pushingwithopenhand(_652503), -(isa(_652503, c_pushingwithopenhand))], (2112 ^ _592116) ^ [_652691] : [isa(_652691, c_tptpcol_15_22076), -(tptpcol_15_22076(_652691))], (2118 ^ _592116) ^ [_652879] : [tptpcol_15_22076(_652879), -(isa(_652879, c_tptpcol_15_22076))], (2124 ^ _592116) ^ [_653052] : [-(natfunction(f_tptpquantityfn_2(_653052), c_tptpquantityfn_2))], (2126 ^ _592116) ^ [_653132] : [-(natargument(f_tptpquantityfn_2(_653132), n_1, _653132))], (2128 ^ _592116) ^ [_653213] : [-(tptpquantity(f_tptpquantityfn_2(_653213)))], (2130 ^ _592116) ^ [_653307] : [isa(_653307, c_tptpcol_7_39939), -(tptpcol_7_39939(_653307))], (2136 ^ _592116) ^ [_653495] : [tptpcol_7_39939(_653495), -(isa(_653495, c_tptpcol_7_39939))], (2142 ^ _592116) ^ [_653683] : [isa(_653683, c_tptpcol_8_39940), -(tptpcol_8_39940(_653683))], (2148 ^ _592116) ^ [_653871] : [tptpcol_8_39940(_653871), -(isa(_653871, c_tptpcol_8_39940))], (2154 ^ _592116) ^ [_654059] : [isa(_654059, c_tptpcol_15_26925), -(tptpcol_15_26925(_654059))], (2160 ^ _592116) ^ [_654247] : [tptpcol_15_26925(_654247), -(isa(_654247, c_tptpcol_15_26925))], (2166 ^ _592116) ^ [_654435] : [isa(_654435, c_tptpcol_16_26926), -(tptpcol_16_26926(_654435))], (2172 ^ _592116) ^ [_654623] : [tptpcol_16_26926(_654623), -(isa(_654623, c_tptpcol_16_26926))], (2178 ^ _592116) ^ [_654811] : [isa(_654811, c_tptpcol_13_118117), -(tptpcol_13_118117(_654811))], (2184 ^ _592116) ^ [_654999] : [tptpcol_13_118117(_654999), -(isa(_654999, c_tptpcol_13_118117))], (2190 ^ _592116) ^ [_655187] : [isa(_655187, c_tptpcol_5_90114), -(tptpcol_5_90114(_655187))], (2196 ^ _592116) ^ [_655375] : [tptpcol_5_90114(_655375), -(isa(_655375, c_tptpcol_5_90114))], (2202 ^ _592116) ^ [_655577, _655579] : [tptptypes_5_802(_655579, _655577), -(firstordercollection(_655577))], (2208 ^ _592116) ^ [_655785, _655787] : [tptptypes_5_802(_655787, _655785), -(firstordercollection(_655787))], (2214 ^ _592116) ^ [_655979] : [isa(_655979, c_tptpcol_16_72795), -(tptpcol_16_72795(_655979))], (2220 ^ _592116) ^ [_656167] : [tptpcol_16_72795(_656167), -(isa(_656167, c_tptpcol_16_72795))], (2226 ^ _592116) ^ [_656355] : [isa(_656355, c_tptpcol_8_114177), -(tptpcol_8_114177(_656355))], (2232 ^ _592116) ^ [_656543] : [tptpcol_8_114177(_656543), -(isa(_656543, c_tptpcol_8_114177))], (2238 ^ _592116) ^ [_656731] : [isa(_656731, c_tptpcol_15_50957), -(tptpcol_15_50957(_656731))], (2244 ^ _592116) ^ [_656919] : [tptpcol_15_50957(_656919), -(isa(_656919, c_tptpcol_15_50957))], (2250 ^ _592116) ^ [_657107] : [isa(_657107, c_tptpcol_16_50958), -(tptpcol_16_50958(_657107))], (2256 ^ _592116) ^ [_657295] : [tptpcol_16_50958(_657295), -(isa(_657295, c_tptpcol_16_50958))], (2262 ^ _592116) ^ [_657483] : [isa(_657483, c_tptpcol_6_71683), -(tptpcol_6_71683(_657483))], (2268 ^ _592116) ^ [_657671] : [tptpcol_6_71683(_657671), -(isa(_657671, c_tptpcol_6_71683))], (2274 ^ _592116) ^ [_657859] : [isa(_657859, c_tptpcol_11_72774), -(tptpcol_11_72774(_657859))], (2280 ^ _592116) ^ [_658047] : [tptpcol_11_72774(_658047), -(isa(_658047, c_tptpcol_11_72774))], (2286 ^ _592116) ^ [_658235] : [isa(_658235, c_tptpcol_12_72775), -(tptpcol_12_72775(_658235))], (2292 ^ _592116) ^ [_658423] : [tptpcol_12_72775(_658423), -(isa(_658423, c_tptpcol_12_72775))], (2298 ^ _592116) ^ [_658611] : [isa(_658611, c_tptpcol_5_110593), -(tptpcol_5_110593(_658611))], (2304 ^ _592116) ^ [_658799] : [tptpcol_5_110593(_658799), -(isa(_658799, c_tptpcol_5_110593))], (2310 ^ _592116) ^ [_658987] : [isa(_658987, c_tptpcol_16_25972), -(tptpcol_16_25972(_658987))], (2316 ^ _592116) ^ [_659175] : [tptpcol_16_25972(_659175), -(isa(_659175, c_tptpcol_16_25972))], (2322 ^ _592116) ^ [_659377, _659379] : [tptp_8_271(_659379, _659377), -(razor(_659377))], (2328 ^ _592116) ^ [_659585, _659587] : [tptp_8_271(_659587, _659585), -(tptpcol_5_24579(_659587))], (2334 ^ _592116) ^ [_659779] : [isa(_659779, c_tptpcol_4_90113), -(tptpcol_4_90113(_659779))], (2340 ^ _592116) ^ [_659967] : [tptpcol_4_90113(_659967), -(isa(_659967, c_tptpcol_4_90113))], (2346 ^ _592116) ^ [_660155] : [isa(_660155, c_tptpcol_10_93700), -(tptpcol_10_93700(_660155))], (2352 ^ _592116) ^ [_660343] : [tptpcol_10_93700(_660343), -(isa(_660343, c_tptpcol_10_93700))], (2358 ^ _592116) ^ [_660531] : [isa(_660531, c_tptpcol_9_93699), -(tptpcol_9_93699(_660531))], (2364 ^ _592116) ^ [_660719] : [tptpcol_9_93699(_660719), -(isa(_660719, c_tptpcol_9_93699))], (2370 ^ _592116) ^ [_660907] : [isa(_660907, c_aspatialthing), -(aspatialthing(_660907))], (2376 ^ _592116) ^ [_661095] : [aspatialthing(_661095), -(isa(_661095, c_aspatialthing))], (2382 ^ _592116) ^ [_661283] : [isa(_661283, c_tptpcol_7_117762), -(tptpcol_7_117762(_661283))], (2388 ^ _592116) ^ [_661471] : [tptpcol_7_117762(_661471), -(isa(_661471, c_tptpcol_7_117762))], (2394 ^ _592116) ^ [_661659] : [isa(_661659, c_tptpcol_8_117763), -(tptpcol_8_117763(_661659))], (2400 ^ _592116) ^ [_661847] : [tptpcol_8_117763(_661847), -(isa(_661847, c_tptpcol_8_117763))], (2406 ^ _592116) ^ [_662035] : [isa(_662035, c_tptpcol_7_18437), -(tptpcol_7_18437(_662035))], (2412 ^ _592116) ^ [_662223] : [tptpcol_7_18437(_662223), -(isa(_662223, c_tptpcol_7_18437))], (2418 ^ _592116) ^ [_662411] : [isa(_662411, c_tptpcol_6_18436), -(tptpcol_6_18436(_662411))], (2424 ^ _592116) ^ [_662599] : [tptpcol_6_18436(_662599), -(isa(_662599, c_tptpcol_6_18436))], (2430 ^ _592116) ^ [_662787] : [isa(_662787, c_tptpcol_8_93698), -(tptpcol_8_93698(_662787))], (2436 ^ _592116) ^ [_662975] : [tptpcol_8_93698(_662975), -(isa(_662975, c_tptpcol_8_93698))], (2442 ^ _592116) ^ [_663163] : [isa(_663163, c_tptpcol_11_109125), -(tptpcol_11_109125(_663163))], (2448 ^ _592116) ^ [_663351] : [tptpcol_11_109125(_663351), -(isa(_663351, c_tptpcol_11_109125))], (2454 ^ _592116) ^ [_663539] : [isa(_663539, c_tptpcol_6_108546), -(tptpcol_6_108546(_663539))], (2460 ^ _592116) ^ [_663727] : [tptpcol_6_108546(_663727), -(isa(_663727, c_tptpcol_6_108546))], (2466 ^ _592116) ^ [_663915] : [isa(_663915, c_tptpcol_6_20484), -(tptpcol_6_20484(_663915))], (2472 ^ _592116) ^ [_664103] : [tptpcol_6_20484(_664103), -(isa(_664103, c_tptpcol_6_20484))], (2478 ^ _592116) ^ [_664305, _664307] : [few(_664307, _664305), -(setorcollection(_664305))], (2484 ^ _592116) ^ [_664513, _664515] : [few(_664515, _664513), -(setorcollection(_664513))], (2490 ^ _592116) ^ [_664721, _664723] : [few(_664723, _664721), -(setorcollection(_664723))], (2496 ^ _592116) ^ [_664929, _664931] : [few(_664931, _664929), -(setorcollection(_664931))], (2502 ^ _592116) ^ [_665151, _665153, _665155] : [-(few(_665155, _665151)), few(_665155, _665153), subsetof(_665151, _665153)], (2512 ^ _592116) ^ [_665446] : [isa(_665446, c_tptpcol_15_130931), -(tptpcol_15_130931(_665446))], (2518 ^ _592116) ^ [_665634] : [tptpcol_15_130931(_665634), -(isa(_665634, c_tptpcol_15_130931))], (2524 ^ _592116) ^ [_665822] : [isa(_665822, c_tptpcol_16_130933), -(tptpcol_16_130933(_665822))], (2530 ^ _592116) ^ [_666010] : [tptpcol_16_130933(_666010), -(isa(_666010, c_tptpcol_16_130933))], (2536 ^ _592116) ^ [_666198] : [isa(_666198, c_tptpcol_7_92163), -(tptpcol_7_92163(_666198))], (2542 ^ _592116) ^ [_666386] : [tptpcol_7_92163(_666386), -(isa(_666386, c_tptpcol_7_92163))], (2548 ^ _592116) ^ [_666574] : [isa(_666574, c_tptpcol_15_130923), -(tptpcol_15_130923(_666574))], (2554 ^ _592116) ^ [_666762] : [tptpcol_15_130923(_666762), -(isa(_666762, c_tptpcol_15_130923))], (2560 ^ _592116) ^ [_666950] : [isa(_666950, c_tptpcol_16_130924), -(tptpcol_16_130924(_666950))], (2566 ^ _592116) ^ [_667138] : [tptpcol_16_130924(_667138), -(isa(_667138, c_tptpcol_16_130924))], (2572 ^ _592116) ^ [_667326] : [isa(_667326, c_intangibleindividual), -(intangibleindividual(_667326))], (2578 ^ _592116) ^ [_667514] : [intangibleindividual(_667514), -(isa(_667514, c_intangibleindividual))], (2584 ^ _592116) ^ [_667701, _667703] : [-(natfunction(f_citynamedfn(_667703, _667701), c_citynamedfn))], (2586 ^ _592116) ^ [_667798, _667800] : [-(natargument(f_citynamedfn(_667800, _667798), n_1, _667800))], (2588 ^ _592116) ^ [_667896, _667898] : [-(natargument(f_citynamedfn(_667898, _667896), n_2, _667896))], (2590 ^ _592116) ^ [_667994, _667996] : [-(city(f_citynamedfn(_667996, _667994)))], (2592 ^ _592116) ^ [_668091] : [isa(_668091, c_tptpcol_13_26920), -(tptpcol_13_26920(_668091))], (2598 ^ _592116) ^ [_668279] : [tptpcol_13_26920(_668279), -(isa(_668279, c_tptpcol_13_26920))], (2604 ^ _592116) ^ [_668467] : [isa(_668467, c_tptpcol_14_26921), -(tptpcol_14_26921(_668467))], (2610 ^ _592116) ^ [_668655] : [tptpcol_14_26921(_668655), -(isa(_668655, c_tptpcol_14_26921))], (2616 ^ _592116) ^ [_668843] : [isa(_668843, c_tptpcol_3_65538), -(tptpcol_3_65538(_668843))], (2622 ^ _592116) ^ [_669031] : [tptpcol_3_65538(_669031), -(isa(_669031, c_tptpcol_3_65538))], (2628 ^ _592116) ^ [_669219] : [isa(_669219, c_tptpcol_16_27189), -(tptpcol_16_27189(_669219))], (2634 ^ _592116) ^ [_669407] : [tptpcol_16_27189(_669407), -(isa(_669407, c_tptpcol_16_27189))], (2640 ^ _592116) ^ [_669609, _669611] : [tptp_9_51(_669611, _669609), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_669609))], (2646 ^ _592116) ^ [_669817, _669819] : [tptp_9_51(_669819, _669817), -(tptpcol_7_26628(_669819))], (2652 ^ _592116) ^ [_670011] : [isa(_670011, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670011))], (2658 ^ _592116) ^ [_670199] : [reflexivebinarypredicate(_670199), -(isa(_670199, c_reflexivebinarypredicate))], (2664 ^ _592116) ^ [_670387] : [isa(_670387, c_tptpcol_7_21508), -(tptpcol_7_21508(_670387))], (2670 ^ _592116) ^ [_670575] : [tptpcol_7_21508(_670575), -(isa(_670575, c_tptpcol_7_21508))], (2676 ^ _592116) ^ [_670763] : [isa(_670763, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_670763))], (2682 ^ _592116) ^ [_670951] : [hpkb_subnationalagent(_670951), -(isa(_670951, c_hpkb_subnationalagent))], (2688 ^ _592116) ^ [_671139] : [isa(_671139, c_state_geopolitical), -(state_geopolitical(_671139))], (2694 ^ _592116) ^ [_671327] : [state_geopolitical(_671327), -(isa(_671327, c_state_geopolitical))], (2700 ^ _592116) ^ [_671542, _671544, _671546, _671548] : [-(natfunction(f_relationallexistsfn(_671548, _671546, _671544, _671542), c_relationallexistsfn))], (2702 ^ _592116) ^ [_671673, _671675, _671677, _671679] : [-(natargument(f_relationallexistsfn(_671679, _671677, _671675, _671673), n_1, _671679))], (2704 ^ _592116) ^ [_671805, _671807, _671809, _671811] : [-(natargument(f_relationallexistsfn(_671811, _671809, _671807, _671805), n_2, _671809))], (2706 ^ _592116) ^ [_671937, _671939, _671941, _671943] : [-(natargument(f_relationallexistsfn(_671943, _671941, _671939, _671937), n_3, _671939))], (2708 ^ _592116) ^ [_672069, _672071, _672073, _672075] : [-(natargument(f_relationallexistsfn(_672075, _672073, _672071, _672069), n_4, _672069))], (2710 ^ _592116) ^ [_672201, _672203, _672205, _672207] : [-(thing(f_relationallexistsfn(_672207, _672205, _672203, _672201)))], (2712 ^ _592116) ^ [_672318, _672320] : [arg2isa(_672320, _672318), -(collection(_672318))], (2718 ^ _592116) ^ [_672526, _672528] : [arg2isa(_672528, _672526), -(relation(_672528))], (2724 ^ _592116) ^ [_672748, _672750, _672752] : [-(arg2isa(_672752, _672748)), arg2isa(_672752, _672750), genls(_672750, _672748)], (2734 ^ _592116) ^ [_673071, _673073, _673075] : [-(arg2isa(_673075, _673071)), arg2isa(_673075, _673073), genls(_673073, _673071)], (2744 ^ _592116) ^ [_673366] : [isa(_673366, c_geolevel_1), -(geolevel_1(_673366))], (2750 ^ _592116) ^ [_673554] : [geolevel_1(_673554), -(isa(_673554, c_geolevel_1))], (2756 ^ _592116) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592116) ^ [_673795] : [isa(_673795, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_673795))], (2764 ^ _592116) ^ [_673983] : [spatialthing_nonsituational(_673983), -(isa(_673983, c_spatialthing_nonsituational))], (2770 ^ _592116) ^ [_674171] : [isa(_674171, c_militaryperson), -(militaryperson(_674171))], (2776 ^ _592116) ^ [_674359] : [militaryperson(_674359), -(isa(_674359, c_militaryperson))], (2782 ^ _592116) ^ [_674547] : [isa(_674547, c_tptpcol_15_72793), -(tptpcol_15_72793(_674547))], (2788 ^ _592116) ^ [_674735] : [tptpcol_15_72793(_674735), -(isa(_674735, c_tptpcol_15_72793))], (2794 ^ _592116) ^ [_674923] : [isa(_674923, c_tptpcol_9_26885), -(tptpcol_9_26885(_674923))], (2800 ^ _592116) ^ [_675111] : [tptpcol_9_26885(_675111), -(isa(_675111, c_tptpcol_9_26885))], (2806 ^ _592116) ^ [_675299] : [isa(_675299, c_tptpcol_10_26886), -(tptpcol_10_26886(_675299))], (2812 ^ _592116) ^ [_675487] : [tptpcol_10_26886(_675487), -(isa(_675487, c_tptpcol_10_26886))], (2818 ^ _592116) ^ [_675689, _675691] : [tptptypes_8_823(_675691, _675689), -(firstordercollection(_675689))], (2824 ^ _592116) ^ [_675897, _675899] : [tptptypes_8_823(_675899, _675897), -(firstordercollection(_675899))], (2830 ^ _592116) ^ [_676091] : [isa(_676091, c_tptpcol_16_92269), -(tptpcol_16_92269(_676091))], (2836 ^ _592116) ^ [_676279] : [tptpcol_16_92269(_676279), -(isa(_676279, c_tptpcol_16_92269))], (2842 ^ _592116) ^ [_676467] : [isa(_676467, c_tptpcol_15_109185), -(tptpcol_15_109185(_676467))], (2848 ^ _592116) ^ [_676655] : [tptpcol_15_109185(_676655), -(isa(_676655, c_tptpcol_15_109185))], (2854 ^ _592116) ^ [_676843] : [isa(_676843, c_tptpcol_6_26627), -(tptpcol_6_26627(_676843))], (2860 ^ _592116) ^ [_677031] : [tptpcol_6_26627(_677031), -(isa(_677031, c_tptpcol_6_26627))], (2866 ^ _592116) ^ [_677219] : [isa(_677219, c_tptpcol_12_118116), -(tptpcol_12_118116(_677219))], (2872 ^ _592116) ^ [_677407] : [tptpcol_12_118116(_677407), -(isa(_677407, c_tptpcol_12_118116))], (2878 ^ _592116) ^ [_677595] : [isa(_677595, c_tptpcol_8_18438), -(tptpcol_8_18438(_677595))], (2884 ^ _592116) ^ [_677783] : [tptpcol_8_18438(_677783), -(isa(_677783, c_tptpcol_8_18438))], (2890 ^ _592116) ^ [_677971] : [isa(_677971, c_tptpcol_15_30970), -(tptpcol_15_30970(_677971))], (2896 ^ _592116) ^ [_678159] : [tptpcol_15_30970(_678159), -(isa(_678159, c_tptpcol_15_30970))], (2902 ^ _592116) ^ [_678347] : [isa(_678347, c_tptpcol_16_30972), -(tptpcol_16_30972(_678347))], (2908 ^ _592116) ^ [_678535] : [tptpcol_16_30972(_678535), -(isa(_678535, c_tptpcol_16_30972))], (2914 ^ _592116) ^ [_678723] : [isa(_678723, c_tptpcol_14_109181), -(tptpcol_14_109181(_678723))], (2920 ^ _592116) ^ [_678911] : [tptpcol_14_109181(_678911), -(isa(_678911, c_tptpcol_14_109181))], (2926 ^ _592116) ^ [_679099] : [isa(_679099, c_physicalorderingpredicate), -(physicalorderingpredicate(_679099))], (2932 ^ _592116) ^ [_679287] : [physicalorderingpredicate(_679287), -(isa(_679287, c_physicalorderingpredicate))], (2938 ^ _592116) ^ [_679475] : [isa(_679475, c_tptpcol_16_7738), -(tptpcol_16_7738(_679475))], (2944 ^ _592116) ^ [_679663] : [tptpcol_16_7738(_679663), -(isa(_679663, c_tptpcol_16_7738))], (2950 ^ _592116) ^ [_679865, _679867] : [tptp_8_968(_679867, _679865), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_679865))], (2956 ^ _592116) ^ [_680073, _680075] : [tptp_8_968(_680075, _680073), -(tptpcol_7_7172(_680075))], (2962 ^ _592116) ^ [_680295, _680297, _680299] : [relationexistsall(_680299, _680297, _680295), -(collection(_680295))], (2968 ^ _592116) ^ [_680525, _680527, _680529] : [relationexistsall(_680529, _680527, _680525), -(collection(_680527))], (2974 ^ _592116) ^ [_680755, _680757, _680759] : [relationexistsall(_680759, _680757, _680755), -(binarypredicate(_680759))], (2980 ^ _592116) ^ [_680957] : [isa(_680957, c_tptpcol_7_26628), -(tptpcol_7_26628(_680957))], (2986 ^ _592116) ^ [_681145] : [tptpcol_7_26628(_681145), -(isa(_681145, c_tptpcol_7_26628))], (2992 ^ _592116) ^ [_681333] : [isa(_681333, c_tptpcol_8_26629), -(tptpcol_8_26629(_681333))], (2998 ^ _592116) ^ [_681521] : [tptpcol_8_26629(_681521), -(isa(_681521, c_tptpcol_8_26629))], (3004 ^ _592116) ^ [_681709] : [isa(_681709, c_tptpcol_3_114688), -(tptpcol_3_114688(_681709))], (3010 ^ _592116) ^ [_681897] : [tptpcol_3_114688(_681897), -(isa(_681897, c_tptpcol_3_114688))], (3016 ^ _592116) ^ [_682070] : [-(natfunction(f_contextofpcwfn(_682070), c_contextofpcwfn))], (3018 ^ _592116) ^ [_682150] : [-(natargument(f_contextofpcwfn(_682150), n_1, _682150))], (3020 ^ _592116) ^ [_682231] : [-(microtheory(f_contextofpcwfn(_682231)))], (3022 ^ _592116) ^ [_682339, _682341] : [arg1isa(_682341, _682339), -(collection(_682339))], (3028 ^ _592116) ^ [_682547, _682549] : [arg1isa(_682549, _682547), -(relation(_682549))], (3034 ^ _592116) ^ [_682769, _682771, _682773] : [-(arg1isa(_682773, _682769)), arg1isa(_682773, _682771), genls(_682771, _682769)], (3044 ^ _592116) ^ [_683092, _683094, _683096] : [-(arg1isa(_683096, _683092)), arg1isa(_683096, _683094), genls(_683094, _683092)], (3054 ^ _592116) ^ [_683401, _683403] : [objectfoundinlocation(_683403, _683401), -(spatialthing_nonsituational(_683401))], (3060 ^ _592116) ^ [_683609, _683611] : [objectfoundinlocation(_683611, _683609), -(spatialthing_localized(_683609))], (3066 ^ _592116) ^ [_683817, _683819] : [objectfoundinlocation(_683819, _683817), -(spatialthing_nonsituational(_683819))], (3072 ^ _592116) ^ [_684025, _684027] : [objectfoundinlocation(_684027, _684025), -(spatialthing_localized(_684027))], (3078 ^ _592116) ^ [_684247, _684249, _684251] : [-(objectfoundinlocation(_684251, _684247)), objectfoundinlocation(_684251, _684249), objectfoundinlocation(_684249, _684247)], (3088 ^ _592116) ^ [_684526] : [objectfoundinlocation(_684526, _684526)], (3090 ^ _592116) ^ [_684647, _684649, _684651] : [-(objectfoundinlocation(_684651, _684647)), objectfoundinlocation(_684651, _684649), geopoliticalsubdivision(_684647, _684649)], (3100 ^ _592116) ^ [_684970, _684972, _684974] : [-(objectfoundinlocation(_684974, _684970)), objectfoundinlocation(_684974, _684972), geographicallysubsumes(_684970, _684972)], (3110 ^ _592116) ^ [_685293, _685295, _685297] : [-(objectfoundinlocation(_685297, _685293)), objectfoundinlocation(_685297, _685295), subregions(_685293, _685295)], (3120 ^ _592116) ^ [_685588] : [isa(_685588, c_ship), -(ship(_685588))], (3126 ^ _592116) ^ [_685776] : [ship(_685776), -(isa(_685776, c_ship))], (3132 ^ _592116) ^ [_685977, _685979, _685981] : [-(natfunction(f_subcollectionofwithrelationtofn(_685981, _685979, _685977), c_subcollectionofwithrelationtofn))], (3134 ^ _592116) ^ [_686091, _686093, _686095] : [-(natargument(f_subcollectionofwithrelationtofn(_686095, _686093, _686091), n_1, _686095))], (3136 ^ _592116) ^ [_686206, _686208, _686210] : [-(natargument(f_subcollectionofwithrelationtofn(_686210, _686208, _686206), n_2, _686208))], (3138 ^ _592116) ^ [_686321, _686323, _686325] : [-(natargument(f_subcollectionofwithrelationtofn(_686325, _686323, _686321), n_3, _686321))], (3140 ^ _592116) ^ [_686436, _686438, _686440] : [-(collection(f_subcollectionofwithrelationtofn(_686440, _686438, _686436)))], (3142 ^ _592116) ^ [_686536] : [isa(_686536, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686536))], (3148 ^ _592116) ^ [_686724] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686724), -(isa(_686724, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592116) ^ [_686912] : [isa(_686912, c_tptpcol_4_65539), -(tptpcol_4_65539(_686912))], (3160 ^ _592116) ^ [_687100] : [tptpcol_4_65539(_687100), -(isa(_687100, c_tptpcol_4_65539))], (3166 ^ _592116) ^ [_687288] : [isa(_687288, c_tptpcol_5_69635), -(tptpcol_5_69635(_687288))], (3172 ^ _592116) ^ [_687476] : [tptpcol_5_69635(_687476), -(isa(_687476, c_tptpcol_5_69635))], (3178 ^ _592116) ^ [_687664] : [isa(_687664, c_tptpcol_3_16386), -(tptpcol_3_16386(_687664))], (3184 ^ _592116) ^ [_687852] : [tptpcol_3_16386(_687852), -(isa(_687852, c_tptpcol_3_16386))], (3190 ^ _592116) ^ [_688054, _688056] : [no(_688056, _688054), -(setorcollection(_688054))], (3196 ^ _592116) ^ [_688262, _688264] : [no(_688264, _688262), -(setorcollection(_688264))], (3202 ^ _592116) ^ [_688470, _688472] : [no(_688472, _688470), -(no(_688470, _688472))], (3208 ^ _592116) ^ [_688694, _688696, _688698] : [-(no(_688698, _688694)), no(_688698, _688696), subsetof(_688694, _688696)], (3218 ^ _592116) ^ [_689017, _689019, _689021] : [-(no(_689017, _689019)), no(_689021, _689019), subsetof(_689017, _689021)], (3228 ^ _592116) ^ [_689340, _689342, _689344] : [-(no(_689340, _689342)), no(_689344, _689342), genls(_689340, _689344)], (3238 ^ _592116) ^ [_689663, _689665, _689667] : [-(no(_689667, _689663)), no(_689667, _689665), genls(_689663, _689665)], (3248 ^ _592116) ^ [_689986, _689988, _689990] : [-(no(_689986, _689988)), no(_689990, _689988), subsetof(_689986, _689990)], (3258 ^ _592116) ^ [_690309, _690311, _690313] : [-(no(_690313, _690309)), no(_690313, _690311), subsetof(_690309, _690311)], (3268 ^ _592116) ^ [_690604] : [isa(_690604, c_geographicalregion), -(geographicalregion(_690604))], (3274 ^ _592116) ^ [_690792] : [geographicalregion(_690792), -(isa(_690792, c_geographicalregion))], (3280 ^ _592116) ^ [_690965] : [-(natfunction(f_tptpquantityfn_21(_690965), c_tptpquantityfn_21))], (3282 ^ _592116) ^ [_691045] : [-(natargument(f_tptpquantityfn_21(_691045), n_1, _691045))], (3284 ^ _592116) ^ [_691126] : [-(tptpquantity(f_tptpquantityfn_21(_691126)))], (3286 ^ _592116) ^ [_691234, _691236] : [airporthasiatacode(_691236, _691234), -(stringoflengthfn3(_691234))], (3292 ^ _592116) ^ [_691442, _691444] : [airporthasiatacode(_691444, _691442), -(airport_physical(_691444))], (3298 ^ _592116) ^ [_691636] : [isa(_691636, c_airport_physical), -(airport_physical(_691636))], (3304 ^ _592116) ^ [_691824] : [airport_physical(_691824), -(isa(_691824, c_airport_physical))], (3310 ^ _592116) ^ [_692025, _692027, _692029] : [-(natfunction(f_instancewithrelationtofn(_692029, _692027, _692025), c_instancewithrelationtofn))], (3312 ^ _592116) ^ [_692139, _692141, _692143] : [-(natargument(f_instancewithrelationtofn(_692143, _692141, _692139), n_1, _692143))], (3314 ^ _592116) ^ [_692254, _692256, _692258] : [-(natargument(f_instancewithrelationtofn(_692258, _692256, _692254), n_2, _692256))], (3316 ^ _592116) ^ [_692369, _692371, _692373] : [-(natargument(f_instancewithrelationtofn(_692373, _692371, _692369), n_3, _692369))], (3318 ^ _592116) ^ [_692484, _692486, _692488] : [-(thing(f_instancewithrelationtofn(_692488, _692486, _692484)))], (3320 ^ _592116) ^ [_692584] : [isa(_692584, c_tptpcol_6_112641), -(tptpcol_6_112641(_692584))], (3326 ^ _592116) ^ [_692772] : [tptpcol_6_112641(_692772), -(isa(_692772, c_tptpcol_6_112641))], (3332 ^ _592116) ^ [_692960] : [isa(_692960, c_tptpcol_7_113665), -(tptpcol_7_113665(_692960))], (3338 ^ _592116) ^ [_693148] : [tptpcol_7_113665(_693148), -(isa(_693148, c_tptpcol_7_113665))], (3344 ^ _592116) ^ [_693336] : [isa(_693336, c_artifact), -(artifact(_693336))], (3350 ^ _592116) ^ [_693524] : [artifact(_693524), -(isa(_693524, c_artifact))], (3356 ^ _592116) ^ [_693712] : [isa(_693712, c_tptpcol_13_18664), -(tptpcol_13_18664(_693712))], (3362 ^ _592116) ^ [_693900] : [tptpcol_13_18664(_693900), -(isa(_693900, c_tptpcol_13_18664))], (3368 ^ _592116) ^ [_694088] : [isa(_694088, c_firstordercollection), -(firstordercollection(_694088))], (3374 ^ _592116) ^ [_694276] : [firstordercollection(_694276), -(isa(_694276, c_firstordercollection))], (3380 ^ _592116) ^ [_694449] : [-(natfunction(f_tptpquantityfn_14(_694449), c_tptpquantityfn_14))], (3382 ^ _592116) ^ [_694529] : [-(natargument(f_tptpquantityfn_14(_694529), n_1, _694529))], (3384 ^ _592116) ^ [_694610] : [-(tptpquantity(f_tptpquantityfn_14(_694610)))], (3386 ^ _592116) ^ [_694704] : [isa(_694704, c_supplies), -(supplies(_694704))], (3392 ^ _592116) ^ [_694892] : [supplies(_694892), -(isa(_694892, c_supplies))], (3398 ^ _592116) ^ [_695080] : [isa(_695080, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695080))], (3404 ^ _592116) ^ [_695268] : [inanimateobject_nonnatural(_695268), -(isa(_695268, c_inanimateobject_nonnatural))], (3410 ^ _592116) ^ [_695456] : [isa(_695456, c_tptpcol_13_22071), -(tptpcol_13_22071(_695456))], (3416 ^ _592116) ^ [_695644] : [tptpcol_13_22071(_695644), -(isa(_695644, c_tptpcol_13_22071))], (3422 ^ _592116) ^ [_695832] : [isa(_695832, c_tptpcol_14_22072), -(tptpcol_14_22072(_695832))], (3428 ^ _592116) ^ [_696020] : [tptpcol_14_22072(_696020), -(isa(_696020, c_tptpcol_14_22072))], (3434 ^ _592116) ^ [_696208] : [isa(_696208, c_tptpcol_7_108547), -(tptpcol_7_108547(_696208))], (3440 ^ _592116) ^ [_696396] : [tptpcol_7_108547(_696396), -(isa(_696396, c_tptpcol_7_108547))], (3446 ^ _592116) ^ [_696584] : [isa(_696584, c_tptpcol_8_109059), -(tptpcol_8_109059(_696584))], (3452 ^ _592116) ^ [_696772] : [tptpcol_8_109059(_696772), -(isa(_696772, c_tptpcol_8_109059))], (3458 ^ _592116) ^ [_696960] : [isa(_696960, c_tptpcol_14_93774), -(tptpcol_14_93774(_696960))], (3464 ^ _592116) ^ [_697148] : [tptpcol_14_93774(_697148), -(isa(_697148, c_tptpcol_14_93774))], (3470 ^ _592116) ^ [_697336] : [isa(_697336, c_tptpcol_15_93775), -(tptpcol_15_93775(_697336))], (3476 ^ _592116) ^ [_697524] : [tptpcol_15_93775(_697524), -(isa(_697524, c_tptpcol_15_93775))], (3482 ^ _592116) ^ [_697712] : [isa(_697712, c_tptpcol_16_8886), -(tptpcol_16_8886(_697712))], (3488 ^ _592116) ^ [_697900] : [tptpcol_16_8886(_697900), -(isa(_697900, c_tptpcol_16_8886))], (3494 ^ _592116) ^ [_698102, _698104] : [orientation(_698104, _698102), -(orientationvector(_698102))], (3500 ^ _592116) ^ [_698310, _698312] : [orientation(_698312, _698310), -(spatialthing_localized(_698312))], (3506 ^ _592116) ^ [_698504] : [isa(_698504, c_orientationvector), -(orientationvector(_698504))], (3512 ^ _592116) ^ [_698692] : [orientationvector(_698692), -(isa(_698692, c_orientationvector))], (3518 ^ _592116) ^ [_698880] : [isa(_698880, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_698880))], (3524 ^ _592116) ^ [_699068] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699068), -(isa(_699068, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592116) ^ [_699270, _699272] : [tptptypes_9_824(_699272, _699270), -(firstordercollection(_699270))], (3536 ^ _592116) ^ [_699478, _699480] : [tptptypes_9_824(_699480, _699478), -(firstordercollection(_699480))], (3542 ^ _592116) ^ [_699686, _699688] : [tptptypes_7_396(_699688, _699686), -(firstordercollection(_699686))], (3548 ^ _592116) ^ [_699894, _699896] : [tptptypes_7_396(_699896, _699894), -(firstordercollection(_699896))], (3554 ^ _592116) ^ [_700088] : [isa(_700088, c_tptpcol_12_22055), -(tptpcol_12_22055(_700088))], (3560 ^ _592116) ^ [_700276] : [tptpcol_12_22055(_700276), -(isa(_700276, c_tptpcol_12_22055))], (3566 ^ _592116) ^ [_700464] : [isa(_700464, c_tptpcol_16_29490), -(tptpcol_16_29490(_700464))], (3572 ^ _592116) ^ [_700652] : [tptpcol_16_29490(_700652), -(isa(_700652, c_tptpcol_16_29490))], (3578 ^ _592116) ^ [_700854, _700856] : [tptp_9_720(_700856, _700854), -(tptpcol_5_28674(_700854))], (3584 ^ _592116) ^ [_701062, _701064] : [tptp_9_720(_701064, _701062), -(executionbyfiringsquad(_701064))], (3590 ^ _592116) ^ [_701256] : [isa(_701256, c_runningshorts), -(runningshorts(_701256))], (3596 ^ _592116) ^ [_701444] : [runningshorts(_701444), -(isa(_701444, c_runningshorts))], (3602 ^ _592116) ^ [_701632] : [isa(_701632, c_tptpcol_9_118019), -(tptpcol_9_118019(_701632))], (3608 ^ _592116) ^ [_701820] : [tptpcol_9_118019(_701820), -(isa(_701820, c_tptpcol_9_118019))], (3614 ^ _592116) ^ [_702008] : [isa(_702008, c_tptpcol_16_31868), -(tptpcol_16_31868(_702008))], (3620 ^ _592116) ^ [_702196] : [tptpcol_16_31868(_702196), -(isa(_702196, c_tptpcol_16_31868))], (3626 ^ _592116) ^ [_702384] : [isa(_702384, c_movement_translationevent), -(movement_translationevent(_702384))], (3632 ^ _592116) ^ [_702572] : [movement_translationevent(_702572), -(isa(_702572, c_movement_translationevent))], (3638 ^ _592116) ^ [_702774, _702776] : [directionoftranslation_throughout(_702776, _702774), -(unitvectorinterval(_702774))], (3644 ^ _592116) ^ [_702982, _702984] : [directionoftranslation_throughout(_702984, _702982), -(movement_translationevent(_702984))], (3650 ^ _592116) ^ [_703204, _703206, _703208] : [-(directionoftranslation_throughout(_703204, _703206)), directionoftranslation_throughout(_703208, _703206), subevents(_703208, _703204)], (3660 ^ _592116) ^ [_703499] : [isa(_703499, c_unitvectorinterval), -(unitvectorinterval(_703499))], (3666 ^ _592116) ^ [_703687] : [unitvectorinterval(_703687), -(isa(_703687, c_unitvectorinterval))], (3672 ^ _592116) ^ [_703875] : [isa(_703875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_703875))], (3678 ^ _592116) ^ [_704063] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704063), -(isa(_704063, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592116) ^ [_704265, _704267] : [tptp_8_875(_704267, _704265), -(tptpcol_4_24578(_704265))], (3690 ^ _592116) ^ [_704473, _704475] : [tptp_8_875(_704475, _704473), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704475))], (3696 ^ _592116) ^ [_704695, _704697, _704699] : [relationallexists(_704699, _704697, _704695), -(collection(_704695))], (3702 ^ _592116) ^ [_704925, _704927, _704929] : [relationallexists(_704929, _704927, _704925), -(collection(_704927))], (3708 ^ _592116) ^ [_705155, _705157, _705159] : [relationallexists(_705159, _705157, _705155), -(binarypredicate(_705159))], (3714 ^ _592116) ^ [_705357] : [isa(_705357, c_tptpcol_16_10258), -(tptpcol_16_10258(_705357))], (3720 ^ _592116) ^ [_705545] : [tptpcol_16_10258(_705545), -(isa(_705545, c_tptpcol_16_10258))], (3726 ^ _592116) ^ [_705733] : [isa(_705733, c_pushingababycarriage), -(pushingababycarriage(_705733))], (3732 ^ _592116) ^ [_705921] : [pushingababycarriage(_705921), -(isa(_705921, c_pushingababycarriage))], (3738 ^ _592116) ^ [_706109] : [isa(_706109, c_aspatialinformationstore), -(aspatialinformationstore(_706109))], (3744 ^ _592116) ^ [_706297] : [aspatialinformationstore(_706297), -(isa(_706297, c_aspatialinformationstore))], (3750 ^ _592116) ^ [_706485] : [isa(_706485, c_collection), -(collection(_706485))], (3756 ^ _592116) ^ [_706673] : [collection(_706673), -(isa(_706673, c_collection))], (3762 ^ _592116) ^ [_706861] : [isa(_706861, c_fixedordercollection), -(fixedordercollection(_706861))], (3768 ^ _592116) ^ [_707049] : [fixedordercollection(_707049), -(isa(_707049, c_fixedordercollection))], (3774 ^ _592116) ^ [_707237] : [isa(_707237, c_tptpcol_8_92164), -(tptpcol_8_92164(_707237))], (3780 ^ _592116) ^ [_707425] : [tptpcol_8_92164(_707425), -(isa(_707425, c_tptpcol_8_92164))], (3786 ^ _592116) ^ [_707613] : [isa(_707613, c_tptpcol_9_92165), -(tptpcol_9_92165(_707613))], (3792 ^ _592116) ^ [_707801] : [tptpcol_9_92165(_707801), -(isa(_707801, c_tptpcol_9_92165))], (3798 ^ _592116) ^ [_707989] : [isa(_707989, c_tptpcol_1_1), -(tptpcol_1_1(_707989))], (3804 ^ _592116) ^ [_708177] : [tptpcol_1_1(_708177), -(isa(_708177, c_tptpcol_1_1))], (3810 ^ _592116) ^ [_708365] : [isa(_708365, c_tptpcol_2_2), -(tptpcol_2_2(_708365))], (3816 ^ _592116) ^ [_708553] : [tptpcol_2_2(_708553), -(isa(_708553, c_tptpcol_2_2))], (3822 ^ _592116) ^ [_708755, _708757] : [tptptypes_7_691(_708757, _708755), -(firstordercollection(_708755))], (3828 ^ _592116) ^ [_708963, _708965] : [tptptypes_7_691(_708965, _708963), -(firstordercollection(_708965))], (3834 ^ _592116) ^ [_709157] : [isa(_709157, c_tptpcol_11_26887), -(tptpcol_11_26887(_709157))], (3840 ^ _592116) ^ [_709345] : [tptpcol_11_26887(_709345), -(isa(_709345, c_tptpcol_11_26887))], (3846 ^ _592116) ^ [_709533] : [isa(_709533, c_tptpcol_12_26919), -(tptpcol_12_26919(_709533))], (3852 ^ _592116) ^ [_709721] : [tptpcol_12_26919(_709721), -(isa(_709721, c_tptpcol_12_26919))], (3858 ^ _592116) ^ [_709923, _709925] : [tptptypes_6_818(_709925, _709923), -(firstordercollection(_709923))], (3864 ^ _592116) ^ [_710131, _710133] : [tptptypes_6_818(_710133, _710131), -(firstordercollection(_710133))], (3870 ^ _592116) ^ [_710339, _710341] : [tptptypes_7_819(_710341, _710339), -(firstordercollection(_710339))], (3876 ^ _592116) ^ [_710547, _710549] : [tptptypes_7_819(_710549, _710547), -(firstordercollection(_710549))], (3882 ^ _592116) ^ [_710741] : [isa(_710741, c_correctivelensprescription), -(correctivelensprescription(_710741))], (3888 ^ _592116) ^ [_710929] : [correctivelensprescription(_710929), -(isa(_710929, c_correctivelensprescription))], (3894 ^ _592116) ^ [_711131, _711133] : [products(_711133, _711131), -(artifact(_711131))], (3900 ^ _592116) ^ [_711339, _711341] : [products(_711341, _711339), -(creationordestructionevent(_711341))], (3906 ^ _592116) ^ [_711533] : [isa(_711533, c_issuingaprescription), -(issuingaprescription(_711533))], (3912 ^ _592116) ^ [_711721] : [issuingaprescription(_711721), -(isa(_711721, c_issuingaprescription))], (3918 ^ _592116) ^ [_711922, _711924, _711926] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_711926, _711924, _711922), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592116) ^ [_712036, _712038, _712040] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712040, _712038, _712036), n_1, _712040))], (3922 ^ _592116) ^ [_712151, _712153, _712155] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712155, _712153, _712151), n_2, _712153))], (3924 ^ _592116) ^ [_712266, _712268, _712270] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712270, _712268, _712266), n_3, _712266))], (3926 ^ _592116) ^ [_712381, _712383, _712385] : [-(collection(f_subcollectionofwithrelationtotypefn(_712385, _712383, _712381)))], (3928 ^ _592116) ^ [_712481] : [isa(_712481, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712481))], (3934 ^ _592116) ^ [_712669] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712669), -(isa(_712669, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592116) ^ [_712857] : [isa(_712857, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_712857))], (3946 ^ _592116) ^ [_713045] : [mathematicalorcomputationalthing(_713045), -(isa(_713045, c_mathematicalorcomputationalthing))], (3952 ^ _592116) ^ [_713233] : [isa(_713233, c_tptpcol_10_118020), -(tptpcol_10_118020(_713233))], (3958 ^ _592116) ^ [_713421] : [tptpcol_10_118020(_713421), -(isa(_713421, c_tptpcol_10_118020))], (3964 ^ _592116) ^ [_713609] : [isa(_713609, c_tptpcol_11_118084), -(tptpcol_11_118084(_713609))], (3970 ^ _592116) ^ [_713797] : [tptpcol_11_118084(_713797), -(isa(_713797, c_tptpcol_11_118084))], (3976 ^ _592116) ^ [_713985] : [isa(_713985, c_terroristgroup), -(terroristgroup(_713985))], (3982 ^ _592116) ^ [_714173] : [terroristgroup(_714173), -(isa(_714173, c_terroristgroup))], (3988 ^ _592116) ^ [_714375, _714377] : [hasmembers(_714377, _714375), -(agent_generic(_714375))], (3994 ^ _592116) ^ [_714583, _714585] : [hasmembers(_714585, _714583), -(organization(_714585))], (4000 ^ _592116) ^ [_714777] : [isa(_714777, c_terrorist), -(terrorist(_714777))], (4006 ^ _592116) ^ [_714965] : [terrorist(_714965), -(isa(_714965, c_terrorist))], (4012 ^ _592116) ^ [_715166, _715168, _715170] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715170, _715168, _715166), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592116) ^ [_715280, _715282, _715284] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715284, _715282, _715280), n_1, _715284))], (4016 ^ _592116) ^ [_715395, _715397, _715399] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715399, _715397, _715395), n_2, _715397))], (4018 ^ _592116) ^ [_715510, _715512, _715514] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715514, _715512, _715510), n_3, _715510))], (4020 ^ _592116) ^ [_715625, _715627, _715629] : [-(collection(f_subcollectionofwithrelationfromtypefn(_715629, _715627, _715625)))], (4022 ^ _592116) ^ [_715725] : [isa(_715725, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_715725))], (4028 ^ _592116) ^ [_715913] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_715913), -(isa(_715913, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592116) ^ [_716115, _716117] : [prettystring(_716117, _716115), -(controlcharacterfreestring(_716115))], (4040 ^ _592116) ^ [_716323, _716325] : [prettystring(_716325, _716323), -(thing(_716325))], (4046 ^ _592116) ^ [_716517] : [isa(_716517, c_tptpcol_0_0), -(tptpcol_0_0(_716517))], (4052 ^ _592116) ^ [_716705] : [tptpcol_0_0(_716705), -(isa(_716705, c_tptpcol_0_0))], (4058 ^ _592116) ^ [_716893] : [isa(_716893, c_geolevel_3), -(geolevel_3(_716893))], (4064 ^ _592116) ^ [_717081] : [geolevel_3(_717081), -(isa(_717081, c_geolevel_3))], (4070 ^ _592116) ^ [_717269] : [isa(_717269, c_tptpcol_4_24578), -(tptpcol_4_24578(_717269))], (4076 ^ _592116) ^ [_717457] : [tptpcol_4_24578(_717457), -(isa(_717457, c_tptpcol_4_24578))], (4082 ^ _592116) ^ [_717645] : [isa(_717645, c_tptpcol_5_24579), -(tptpcol_5_24579(_717645))], (4088 ^ _592116) ^ [_717833] : [tptpcol_5_24579(_717833), -(isa(_717833, c_tptpcol_5_24579))], (4094 ^ _592116) ^ [_718021] : [isa(_718021, c_tptpcol_5_106498), -(tptpcol_5_106498(_718021))], (4100 ^ _592116) ^ [_718209] : [tptpcol_5_106498(_718209), -(isa(_718209, c_tptpcol_5_106498))], (4106 ^ _592116) ^ [_718397] : [isa(_718397, c_tptpcol_12_109157), -(tptpcol_12_109157(_718397))], (4112 ^ _592116) ^ [_718585] : [tptpcol_12_109157(_718585), -(isa(_718585, c_tptpcol_12_109157))], (4118 ^ _592116) ^ [_718773] : [isa(_718773, c_tptpcol_13_109173), -(tptpcol_13_109173(_718773))], (4124 ^ _592116) ^ [_718961] : [tptpcol_13_109173(_718961), -(isa(_718961, c_tptpcol_13_109173))], (4130 ^ _592116) ^ [_719149] : [isa(_719149, c_mathematicalthing), -(mathematicalthing(_719149))], (4136 ^ _592116) ^ [_719337] : [mathematicalthing(_719337), -(isa(_719337, c_mathematicalthing))], (4142 ^ _592116) ^ [_719525] : [isa(_719525, c_setorcollection), -(setorcollection(_719525))], (4148 ^ _592116) ^ [_719713] : [setorcollection(_719713), -(isa(_719713, c_setorcollection))], (4154 ^ _592116) ^ [_719901] : [isa(_719901, c_tptpcol_11_18631), -(tptpcol_11_18631(_719901))], (4160 ^ _592116) ^ [_720089] : [tptpcol_11_18631(_720089), -(isa(_720089, c_tptpcol_11_18631))], (4166 ^ _592116) ^ [_720277] : [isa(_720277, c_tptpcol_12_18663), -(tptpcol_12_18663(_720277))], (4172 ^ _592116) ^ [_720465] : [tptpcol_12_18663(_720465), -(isa(_720465, c_tptpcol_12_18663))], (4178 ^ _592116) ^ [_720667, _720669] : [tptptypes_8_400(_720669, _720667), -(firstordercollection(_720667))], (4184 ^ _592116) ^ [_720875, _720877] : [tptptypes_8_400(_720877, _720875), -(firstordercollection(_720877))], (4190 ^ _592116) ^ [_721083, _721085] : [tptptypes_9_401(_721085, _721083), -(firstordercollection(_721083))], (4196 ^ _592116) ^ [_721291, _721293] : [tptptypes_9_401(_721293, _721291), -(firstordercollection(_721293))], (4202 ^ _592116) ^ [_721470] : [-(natfunction(f_tptpquantityfn_13(_721470), c_tptpquantityfn_13))], (4204 ^ _592116) ^ [_721550] : [-(natargument(f_tptpquantityfn_13(_721550), n_1, _721550))], (4206 ^ _592116) ^ [_721631] : [-(tptpquantity(f_tptpquantityfn_13(_721631)))], (4208 ^ _592116) ^ [_721739, _721741] : [borderson(_721741, _721739), -(geographicalregion(_721739))], (4214 ^ _592116) ^ [_721947, _721949] : [borderson(_721949, _721947), -(geographicalregion(_721949))], (4220 ^ _592116) ^ [_722155, _722157] : [borderson(_722157, _722155), -(borderson(_722155, _722157))], (4226 ^ _592116) ^ [_722335] : [borderson(_722335, _722335)], (4228 ^ _592116) ^ [_722428] : [isa(_722428, c_tptpcol_14_92264), -(tptpcol_14_92264(_722428))], (4234 ^ _592116) ^ [_722616] : [tptpcol_14_92264(_722616), -(isa(_722616, c_tptpcol_14_92264))], (4240 ^ _592116) ^ [_722804] : [isa(_722804, c_tptpcol_15_92268), -(tptpcol_15_92268(_722804))], (4246 ^ _592116) ^ [_722992] : [tptpcol_15_92268(_722992), -(isa(_722992, c_tptpcol_15_92268))], (4252 ^ _592116) ^ [_723180] : [isa(_723180, c_tptpcol_6_116738), -(tptpcol_6_116738(_723180))], (4258 ^ _592116) ^ [_723368] : [tptpcol_6_116738(_723368), -(isa(_723368, c_tptpcol_6_116738))], (4264 ^ _592116) ^ [_723570, _723572] : [tptptypes_5_387(_723572, _723570), -(firstordercollection(_723570))], (4270 ^ _592116) ^ [_723778, _723780] : [tptptypes_5_387(_723780, _723778), -(firstordercollection(_723780))], (4276 ^ _592116) ^ [_723986, _723988] : [tptptypes_6_388(_723988, _723986), -(firstordercollection(_723986))], (4282 ^ _592116) ^ [_724194, _724196] : [tptptypes_6_388(_724196, _724194), -(firstordercollection(_724196))], (4288 ^ _592116) ^ [_724388] : [isa(_724388, c_shavingrazor_manual), -(shavingrazor_manual(_724388))], (4294 ^ _592116) ^ [_724576] : [shavingrazor_manual(_724576), -(isa(_724576, c_shavingrazor_manual))], (4300 ^ _592116) ^ [_724764] : [isa(_724764, c_tptpcol_9_109060), -(tptpcol_9_109060(_724764))], (4306 ^ _592116) ^ [_724952] : [tptpcol_9_109060(_724952), -(isa(_724952, c_tptpcol_9_109060))], (4312 ^ _592116) ^ [_725140] : [isa(_725140, c_tptpcol_10_109061), -(tptpcol_10_109061(_725140))], (4318 ^ _592116) ^ [_725328] : [tptpcol_10_109061(_725328), -(isa(_725328, c_tptpcol_10_109061))], (4324 ^ _592116) ^ [_725516] : [isa(_725516, c_executionbyfiringsquad), -(executionbyfiringsquad(_725516))], (4330 ^ _592116) ^ [_725704] : [executionbyfiringsquad(_725704), -(isa(_725704, c_executionbyfiringsquad))], (4336 ^ _592116) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592116) ^ [_725945] : [isa(_725945, c_navypersonnel), -(navypersonnel(_725945))], (4344 ^ _592116) ^ [_726133] : [navypersonnel(_726133), -(isa(_726133, c_navypersonnel))], (4350 ^ _592116) ^ [_726321] : [isa(_726321, c_tptpcol_12_92262), -(tptpcol_12_92262(_726321))], (4356 ^ _592116) ^ [_726509] : [tptpcol_12_92262(_726509), -(isa(_726509, c_tptpcol_12_92262))], (4362 ^ _592116) ^ [_726697] : [isa(_726697, c_thing), -(thing(_726697))], (4368 ^ _592116) ^ [_726885] : [thing(_726885), -(isa(_726885, c_thing))], (4374 ^ _592116) ^ [_727073] : [isa(_727073, c_computerdataartifact), -(computerdataartifact(_727073))], (4380 ^ _592116) ^ [_727261] : [computerdataartifact(_727261), -(isa(_727261, c_computerdataartifact))], (4386 ^ _592116) ^ [_727449] : [isa(_727449, c_applicationcontext), -(applicationcontext(_727449))], (4392 ^ _592116) ^ [_727637] : [applicationcontext(_727637), -(isa(_727637, c_applicationcontext))], (4398 ^ _592116) ^ [_727839, _727841] : [inregion(_727841, _727839), -(spatialthing_nonsituational(_727839))], (4404 ^ _592116) ^ [_728047, _728049] : [inregion(_728049, _728047), -(spatialthing_nonsituational(_728049))], (4410 ^ _592116) ^ [_728269, _728271, _728273] : [-(inregion(_728273, _728269)), inregion(_728273, _728271), inregion(_728271, _728269)], (4420 ^ _592116) ^ [_728564] : [spatialthing_nonsituational(_728564), -(inregion(_728564, _728564))], (4426 ^ _592116) ^ [_728737] : [-(natfunction(f_tptpquantityfn_1(_728737), c_tptpquantityfn_1))], (4428 ^ _592116) ^ [_728817] : [-(natargument(f_tptpquantityfn_1(_728817), n_1, _728817))], (4430 ^ _592116) ^ [_728898] : [-(tptpquantity(f_tptpquantityfn_1(_728898)))], (4432 ^ _592116) ^ [_728992] : [isa(_728992, c_furpelt), -(furpelt(_728992))], (4438 ^ _592116) ^ [_729180] : [furpelt(_729180), -(isa(_729180, c_furpelt))], (4444 ^ _592116) ^ [_729382, _729384] : [tptpofobject(_729384, _729382), -(tptpquantity(_729382))], (4450 ^ _592116) ^ [_729590, _729592] : [tptpofobject(_729592, _729590), -(partiallytangible(_729592))], (4456 ^ _592116) ^ [_729812, _729814, _729816] : [relationallinstance(_729816, _729814, _729812), -(thing(_729812))], (4462 ^ _592116) ^ [_730042, _730044, _730046] : [relationallinstance(_730046, _730044, _730042), -(collection(_730044))], (4468 ^ _592116) ^ [_730272, _730274, _730276] : [relationallinstance(_730276, _730274, _730272), -(binarypredicate(_730276))], (4474 ^ _592116) ^ [_730474] : [isa(_730474, c_tptpcol_13_93766), -(tptpcol_13_93766(_730474))], (4480 ^ _592116) ^ [_730662] : [tptpcol_13_93766(_730662), -(isa(_730662, c_tptpcol_13_93766))], (4486 ^ _592116) ^ [_730850] : [isa(_730850, c_tptpcol_9_40196), -(tptpcol_9_40196(_730850))], (4492 ^ _592116) ^ [_731038] : [tptpcol_9_40196(_731038), -(isa(_731038, c_tptpcol_9_40196))], (4498 ^ _592116) ^ [_731226] : [isa(_731226, c_tptpcol_10_40324), -(tptpcol_10_40324(_731226))], (4504 ^ _592116) ^ [_731414] : [tptpcol_10_40324(_731414), -(isa(_731414, c_tptpcol_10_40324))], (4510 ^ _592116) ^ [_731602] : [isa(_731602, c_tptpcol_7_72707), -(tptpcol_7_72707(_731602))], (4516 ^ _592116) ^ [_731790] : [tptpcol_7_72707(_731790), -(isa(_731790, c_tptpcol_7_72707))], (4522 ^ _592116) ^ [_731978] : [isa(_731978, c_tptpcol_8_72708), -(tptpcol_8_72708(_731978))], (4528 ^ _592116) ^ [_732166] : [tptpcol_8_72708(_732166), -(isa(_732166, c_tptpcol_8_72708))], (4534 ^ _592116) ^ [_732354] : [isa(_732354, c_tptpcol_11_93764), -(tptpcol_11_93764(_732354))], (4540 ^ _592116) ^ [_732542] : [tptpcol_11_93764(_732542), -(isa(_732542, c_tptpcol_11_93764))], (4546 ^ _592116) ^ [_732730] : [isa(_732730, c_tptpcol_12_93765), -(tptpcol_12_93765(_732730))], (4552 ^ _592116) ^ [_732918] : [tptpcol_12_93765(_732918), -(isa(_732918, c_tptpcol_12_93765))], (4558 ^ _592116) ^ [_733106] : [isa(_733106, c_tptpcol_4_114689), -(tptpcol_4_114689(_733106))], (4564 ^ _592116) ^ [_733294] : [tptpcol_4_114689(_733294), -(isa(_733294, c_tptpcol_4_114689))], (4570 ^ _592116) ^ [_733482] : [isa(_733482, c_tptpcol_5_114690), -(tptpcol_5_114690(_733482))], (4576 ^ _592116) ^ [_733670] : [tptpcol_5_114690(_733670), -(isa(_733670, c_tptpcol_5_114690))], (4582 ^ _592116) ^ [_733858] : [isa(_733858, c_tptpcol_3_98305), -(tptpcol_3_98305(_733858))], (4588 ^ _592116) ^ [_734046] : [tptpcol_3_98305(_734046), -(isa(_734046, c_tptpcol_3_98305))], (4594 ^ _592116) ^ [_734234] : [isa(_734234, c_tptpcol_4_106497), -(tptpcol_4_106497(_734234))], (4600 ^ _592116) ^ [_734422] : [tptpcol_4_106497(_734422), -(isa(_734422, c_tptpcol_4_106497))], (4606 ^ _592116) ^ [_734637, _734639, _734641, _734643] : [-(natfunction(f_relationexistsallfn(_734643, _734641, _734639, _734637), c_relationexistsallfn))], (4608 ^ _592116) ^ [_734768, _734770, _734772, _734774] : [-(natargument(f_relationexistsallfn(_734774, _734772, _734770, _734768), n_1, _734774))], (4610 ^ _592116) ^ [_734900, _734902, _734904, _734906] : [-(natargument(f_relationexistsallfn(_734906, _734904, _734902, _734900), n_2, _734904))], (4612 ^ _592116) ^ [_735032, _735034, _735036, _735038] : [-(natargument(f_relationexistsallfn(_735038, _735036, _735034, _735032), n_3, _735034))], (4614 ^ _592116) ^ [_735164, _735166, _735168, _735170] : [-(natargument(f_relationexistsallfn(_735170, _735168, _735166, _735164), n_4, _735164))], (4616 ^ _592116) ^ [_735296, _735298, _735300, _735302] : [-(thing(f_relationexistsallfn(_735302, _735300, _735298, _735296)))], (4618 ^ _592116) ^ [_735413, _735415] : [resultisaarg(_735415, _735413), -(positiveinteger(_735413))], (4624 ^ _592116) ^ [_735621, _735623] : [resultisaarg(_735623, _735621), -(function_denotational(_735623))], (4630 ^ _592116) ^ [_735829, _735831] : [tptptypes_7_389(_735831, _735829), -(firstordercollection(_735829))], (4636 ^ _592116) ^ [_736037, _736039] : [tptptypes_7_389(_736039, _736037), -(firstordercollection(_736039))], (4642 ^ _592116) ^ [_736245, _736247] : [tptptypes_8_390(_736247, _736245), -(firstordercollection(_736245))], (4648 ^ _592116) ^ [_736453, _736455] : [tptptypes_8_390(_736455, _736453), -(firstordercollection(_736455))], (4654 ^ _592116) ^ [_736661, _736663] : [tptptypes_8_692(_736663, _736661), -(firstordercollection(_736661))], (4660 ^ _592116) ^ [_736869, _736871] : [tptptypes_8_692(_736871, _736869), -(firstordercollection(_736871))], (4666 ^ _592116) ^ [_737077, _737079] : [tptptypes_9_693(_737079, _737077), -(firstordercollection(_737077))], (4672 ^ _592116) ^ [_737285, _737287] : [tptptypes_9_693(_737287, _737285), -(firstordercollection(_737287))], (4678 ^ _592116) ^ [_737479] : [isa(_737479, c_tptpcol_11_40388), -(tptpcol_11_40388(_737479))], (4684 ^ _592116) ^ [_737667] : [tptpcol_11_40388(_737667), -(isa(_737667, c_tptpcol_11_40388))], (4690 ^ _592116) ^ [_737855] : [isa(_737855, c_marriagelicensedocument), -(marriagelicensedocument(_737855))], (4696 ^ _592116) ^ [_738043] : [marriagelicensedocument(_738043), -(isa(_738043, c_marriagelicensedocument))], (4702 ^ _592116) ^ [_738231] : [isa(_738231, c_tptpcol_1_65536), -(tptpcol_1_65536(_738231))], (4708 ^ _592116) ^ [_738419] : [tptpcol_1_65536(_738419), -(isa(_738419, c_tptpcol_1_65536))], (4714 ^ _592116) ^ [_738607] : [isa(_738607, c_tptpcol_2_98304), -(tptpcol_2_98304(_738607))], (4720 ^ _592116) ^ [_738795] : [tptpcol_2_98304(_738795), -(isa(_738795, c_tptpcol_2_98304))], (4726 ^ _592116) ^ [_738983] : [isa(_738983, c_tptpcol_10_92166), -(tptpcol_10_92166(_738983))], (4732 ^ _592116) ^ [_739171] : [tptpcol_10_92166(_739171), -(isa(_739171, c_tptpcol_10_92166))], (4738 ^ _592116) ^ [_739359] : [isa(_739359, c_tptpcol_11_92230), -(tptpcol_11_92230(_739359))], (4744 ^ _592116) ^ [_739547] : [tptpcol_11_92230(_739547), -(isa(_739547, c_tptpcol_11_92230))], (4750 ^ _592116) ^ [_739735] : [isa(_739735, c_orderingpredicate), -(orderingpredicate(_739735))], (4756 ^ _592116) ^ [_739923] : [orderingpredicate(_739923), -(isa(_739923, c_orderingpredicate))], (4762 ^ _592116) ^ [_740111] : [isa(_740111, c_tptpcol_9_18439), -(tptpcol_9_18439(_740111))], (4768 ^ _592116) ^ [_740299] : [tptpcol_9_18439(_740299), -(isa(_740299, c_tptpcol_9_18439))], (4774 ^ _592116) ^ [_740487] : [isa(_740487, c_tptpcol_10_18567), -(tptpcol_10_18567(_740487))], (4780 ^ _592116) ^ [_740675] : [tptpcol_10_18567(_740675), -(isa(_740675, c_tptpcol_10_18567))], (4786 ^ _592116) ^ [_740863] : [isa(_740863, c_tptpcol_2_65537), -(tptpcol_2_65537(_740863))], (4792 ^ _592116) ^ [_741051] : [tptpcol_2_65537(_741051), -(isa(_741051, c_tptpcol_2_65537))], (4798 ^ _592116) ^ [_741239] : [isa(_741239, c_tptpcol_3_81921), -(tptpcol_3_81921(_741239))], (4804 ^ _592116) ^ [_741427] : [tptpcol_3_81921(_741427), -(isa(_741427, c_tptpcol_3_81921))], (4810 ^ _592116) ^ [_741615] : [isa(_741615, c_artsupplies), -(artsupplies(_741615))], (4816 ^ _592116) ^ [_741803] : [artsupplies(_741803), -(isa(_741803, c_artsupplies))], (4822 ^ _592116) ^ [_741991] : [isa(_741991, c_enduringthing_localized), -(enduringthing_localized(_741991))], (4828 ^ _592116) ^ [_742179] : [enduringthing_localized(_742179), -(isa(_742179, c_enduringthing_localized))], (4834 ^ _592116) ^ [_742367] : [isa(_742367, c_location_underspecified), -(location_underspecified(_742367))], (4840 ^ _592116) ^ [_742555] : [location_underspecified(_742555), -(isa(_742555, c_location_underspecified))], (4846 ^ _592116) ^ [_742743] : [isa(_742743, c_trajector_underspecified), -(trajector_underspecified(_742743))], (4852 ^ _592116) ^ [_742931] : [trajector_underspecified(_742931), -(isa(_742931, c_trajector_underspecified))], (4858 ^ _592116) ^ [_743119] : [isa(_743119, c_individual), -(individual(_743119))], (4864 ^ _592116) ^ [_743307] : [individual(_743307), -(isa(_743307, c_individual))], (4870 ^ _592116) ^ [_743495] : [isa(_743495, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743495))], (4876 ^ _592116) ^ [_743683] : [partiallyintangibleindividual(_743683), -(isa(_743683, c_partiallyintangibleindividual))], (4882 ^ _592116) ^ [_743871] : [isa(_743871, c_tptpcol_10_22022), -(tptpcol_10_22022(_743871))], (4888 ^ _592116) ^ [_744059] : [tptpcol_10_22022(_744059), -(isa(_744059, c_tptpcol_10_22022))], (4894 ^ _592116) ^ [_744247] : [isa(_744247, c_tptpcol_11_22023), -(tptpcol_11_22023(_744247))], (4900 ^ _592116) ^ [_744435] : [tptpcol_11_22023(_744435), -(isa(_744435, c_tptpcol_11_22023))], (4906 ^ _592116) ^ [_744623] : [isa(_744623, c_tptpcol_5_20483), -(tptpcol_5_20483(_744623))], (4912 ^ _592116) ^ [_744811] : [tptpcol_5_20483(_744811), -(isa(_744811, c_tptpcol_5_20483))], (4918 ^ _592116) ^ [_744999] : [isa(_744999, c_tptpcol_13_72791), -(tptpcol_13_72791(_744999))], (4924 ^ _592116) ^ [_745187] : [tptpcol_13_72791(_745187), -(isa(_745187, c_tptpcol_13_72791))], (4930 ^ _592116) ^ [_745375] : [isa(_745375, c_tptpcol_14_72792), -(tptpcol_14_72792(_745375))], (4936 ^ _592116) ^ [_745563] : [tptpcol_14_72792(_745563), -(isa(_745563, c_tptpcol_14_72792))], (4942 ^ _592116) ^ [_745751] : [isa(_745751, c_ridgeline_topographical), -(ridgeline_topographical(_745751))], (4948 ^ _592116) ^ [_745939] : [ridgeline_topographical(_745939), -(isa(_745939, c_ridgeline_topographical))], (4954 ^ _592116) ^ [_746127] : [isa(_746127, c_tptpcol_4_16387), -(tptpcol_4_16387(_746127))], (4960 ^ _592116) ^ [_746315] : [tptpcol_4_16387(_746315), -(isa(_746315, c_tptpcol_4_16387))], (4966 ^ _592116) ^ [_746503] : [isa(_746503, c_tptpcol_5_16388), -(tptpcol_5_16388(_746503))], (4972 ^ _592116) ^ [_746691] : [tptpcol_5_16388(_746691), -(isa(_746691, c_tptpcol_5_16388))], (4978 ^ _592116) ^ [_746879] : [isa(_746879, c_tptpcol_8_22020), -(tptpcol_8_22020(_746879))], (4984 ^ _592116) ^ [_747067] : [tptpcol_8_22020(_747067), -(isa(_747067, c_tptpcol_8_22020))], (4990 ^ _592116) ^ [_747255] : [isa(_747255, c_tptpcol_9_22021), -(tptpcol_9_22021(_747255))], (4996 ^ _592116) ^ [_747443] : [tptpcol_9_22021(_747443), -(isa(_747443, c_tptpcol_9_22021))], (5002 ^ _592116) ^ [_747631] : [isa(_747631, c_transitivebinarypredicate), -(transitivebinarypredicate(_747631))], (5008 ^ _592116) ^ [_747819] : [transitivebinarypredicate(_747819), -(isa(_747819, c_transitivebinarypredicate))], (5014 ^ _592116) ^ [_748021, _748023] : [geographicalsubregions(_748023, _748021), -(geographicalregion(_748021))], (5020 ^ _592116) ^ [_748229, _748231] : [geographicalsubregions(_748231, _748229), -(geographicalregion(_748231))], (5026 ^ _592116) ^ [_748451, _748453, _748455] : [-(geographicalsubregions(_748455, _748451)), geographicalsubregions(_748455, _748453), geographicalsubregions(_748453, _748451)], (5036 ^ _592116) ^ [_748746] : [geographicalregion(_748746), -(geographicalsubregions(_748746, _748746))], (5042 ^ _592116) ^ [_748934] : [isa(_748934, c_tptpcol_12_40420), -(tptpcol_12_40420(_748934))], (5048 ^ _592116) ^ [_749122] : [tptpcol_12_40420(_749122), -(isa(_749122, c_tptpcol_12_40420))], (5054 ^ _592116) ^ [_749310] : [isa(_749310, c_tptpcol_13_40421), -(tptpcol_13_40421(_749310))], (5060 ^ _592116) ^ [_749498] : [tptpcol_13_40421(_749498), -(isa(_749498, c_tptpcol_13_40421))], (5066 ^ _592116) ^ [_749686] : [isa(_749686, c_tptpcol_6_92162), -(tptpcol_6_92162(_749686))], (5072 ^ _592116) ^ [_749874] : [tptpcol_6_92162(_749874), -(isa(_749874, c_tptpcol_6_92162))], (5078 ^ _592116) ^ [_750062] : [isa(_750062, c_tptpcol_7_93186), -(tptpcol_7_93186(_750062))], (5084 ^ _592116) ^ [_750250] : [tptpcol_7_93186(_750250), -(isa(_750250, c_tptpcol_7_93186))], (5090 ^ _592116) ^ [_750452, _750454] : [most(_750454, _750452), -(setorcollection(_750452))], (5096 ^ _592116) ^ [_750660, _750662] : [most(_750662, _750660), -(setorcollection(_750660))], (5102 ^ _592116) ^ [_750868, _750870] : [most(_750870, _750868), -(setorcollection(_750870))], (5108 ^ _592116) ^ [_751076, _751078] : [most(_751078, _751076), -(setorcollection(_751078))], (5114 ^ _592116) ^ [_751270] : [setorcollection(_751270), -(most(_751270, _751270))], (5120 ^ _592116) ^ [_751458] : [setorcollection(_751458), -(most(_751458, _751458))], (5126 ^ _592116) ^ [_751674, _751676, _751678] : [-(most(_751678, _751674)), most(_751678, _751676), subsetof(_751676, _751674)], (5136 ^ _592116) ^ [_751997, _751999, _752001] : [-(most(_752001, _751997)), most(_752001, _751999), subsetof(_751999, _751997)], (5146 ^ _592116) ^ [_752306, _752308] : [subsetof(_752308, _752306), -(setorcollection(_752306))], (5152 ^ _592116) ^ [_752514, _752516] : [subsetof(_752516, _752514), -(setorcollection(_752516))], (5158 ^ _592116) ^ [_752736, _752738, _752740] : [-(subsetof(_752740, _752736)), subsetof(_752740, _752738), subsetof(_752738, _752736)], (5168 ^ _592116) ^ [_753031] : [setorcollection(_753031), -(subsetof(_753031, _753031))], (5174 ^ _592116) ^ [_753247, _753249, _753251] : [-(subsetof(_753247, _753249)), subsetof(_753251, _753249), subsetof(_753247, _753251)], (5184 ^ _592116) ^ [_753570, _753572, _753574] : [-(subsetof(_753574, _753570)), subsetof(_753574, _753572), subsetof(_753572, _753570)], (5194 ^ _592116) ^ [_753893, _753895, _753897] : [-(subsetof(_753897, _753893)), subsetof(_753897, _753895), subsetof(_753895, _753893)], (5204 ^ _592116) ^ [_754202, _754204] : [genlpreds(_754204, _754202), -(predicate(_754202))], (5210 ^ _592116) ^ [_754410, _754412] : [genlpreds(_754412, _754410), -(predicate(_754410))], (5216 ^ _592116) ^ [_754618, _754620] : [genlpreds(_754620, _754618), -(predicate(_754620))], (5222 ^ _592116) ^ [_754826, _754828] : [genlpreds(_754828, _754826), -(predicate(_754828))], (5228 ^ _592116) ^ [_755048, _755050, _755052] : [-(genlpreds(_755052, _755048)), genlpreds(_755052, _755050), genlpreds(_755050, _755048)], (5238 ^ _592116) ^ [_755343] : [predicate(_755343), -(genlpreds(_755343, _755343))], (5244 ^ _592116) ^ [_755531] : [predicate(_755531), -(genlpreds(_755531, _755531))], (5250 ^ _592116) ^ [_755733, _755735] : [genlinverse(_755735, _755733), -(binarypredicate(_755733))], (5256 ^ _592116) ^ [_755941, _755943] : [genlinverse(_755943, _755941), -(binarypredicate(_755943))], (5262 ^ _592116) ^ [_756163, _756165, _756167] : [-(genlinverse(_756163, _756165)), genlinverse(_756167, _756165), genlpreds(_756163, _756167)], (5272 ^ _592116) ^ [_756486, _756488, _756490] : [-(genlinverse(_756490, _756486)), genlinverse(_756490, _756488), genlpreds(_756488, _756486)], (5282 ^ _592116) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592116) ^ [_756834] : [isa(_756834, c_microtheory), -(microtheory(_756834))], (5290 ^ _592116) ^ [_757022] : [microtheory(_757022), -(isa(_757022, c_microtheory))], (5296 ^ _592116) ^ [_757195] : [-(natfunction(f_urlfn(_757195), c_urlfn))], (5298 ^ _592116) ^ [_757275] : [-(natargument(f_urlfn(_757275), n_1, _757275))], (5300 ^ _592116) ^ [_757356] : [-(uniformresourcelocator(f_urlfn(_757356)))], (5302 ^ _592116) ^ [_757435] : [-(natfunction(f_urlreferentfn(_757435), c_urlreferentfn))], (5304 ^ _592116) ^ [_757515] : [-(natargument(f_urlreferentfn(_757515), n_1, _757515))], (5306 ^ _592116) ^ [_757596] : [-(computerdataartifact(f_urlreferentfn(_757596)))], (5308 ^ _592116) ^ [_757689, _757691] : [-(natfunction(f_contentmtofcdafromeventfn(_757691, _757689), c_contentmtofcdafromeventfn))], (5310 ^ _592116) ^ [_757786, _757788] : [-(natargument(f_contentmtofcdafromeventfn(_757788, _757786), n_1, _757788))], (5312 ^ _592116) ^ [_757884, _757886] : [-(natargument(f_contentmtofcdafromeventfn(_757886, _757884), n_2, _757884))], (5314 ^ _592116) ^ [_757982, _757984] : [-(microtheory(f_contentmtofcdafromeventfn(_757984, _757982)))], (5316 ^ _592116) ^ [_758093, _758095] : [isa(_758095, _758093), -(collection(_758093))], (5322 ^ _592116) ^ [_758301, _758303] : [isa(_758303, _758301), -(collection(_758301))], (5328 ^ _592116) ^ [_758509, _758511] : [isa(_758511, _758509), -(thing(_758511))], (5334 ^ _592116) ^ [_758717, _758719] : [isa(_758719, _758717), -(thing(_758719))], (5340 ^ _592116) ^ [_758939, _758941, _758943] : [-(isa(_758943, _758939)), isa(_758943, _758941), genls(_758941, _758939)], (5350 ^ _592116) ^ [_759234] : [isa(_759234, c_inanimateobject), -(inanimateobject(_759234))], (5356 ^ _592116) ^ [_759422] : [inanimateobject(_759422), -(isa(_759422, c_inanimateobject))], (5362 ^ _592116) ^ [_759610] : [isa(_759610, c_tptpcol_9_72709), -(tptpcol_9_72709(_759610))], (5368 ^ _592116) ^ [_759798] : [tptpcol_9_72709(_759798), -(isa(_759798, c_tptpcol_9_72709))], (5374 ^ _592116) ^ [_759986] : [isa(_759986, c_tptpcol_10_72710), -(tptpcol_10_72710(_759986))], (5380 ^ _592116) ^ [_760174] : [tptpcol_10_72710(_760174), -(isa(_760174, c_tptpcol_10_72710))], (5386 ^ _592116) ^ [_760362] : [isa(_760362, c_tptpcol_14_40429), -(tptpcol_14_40429(_760362))], (5392 ^ _592116) ^ [_760550] : [tptpcol_14_40429(_760550), -(isa(_760550, c_tptpcol_14_40429))], (5398 ^ _592116) ^ [_760738] : [isa(_760738, c_tptpcol_15_40430), -(tptpcol_15_40430(_760738))], (5404 ^ _592116) ^ [_760926] : [tptpcol_15_40430(_760926), -(isa(_760926, c_tptpcol_15_40430))], (5410 ^ _592116) ^ [_761128, _761130] : [genls(_761130, _761128), -(collection(_761128))], (5416 ^ _592116) ^ [_761336, _761338] : [genls(_761338, _761336), -(collection(_761336))], (5422 ^ _592116) ^ [_761544, _761546] : [genls(_761546, _761544), -(collection(_761546))], (5428 ^ _592116) ^ [_761752, _761754] : [genls(_761754, _761752), -(collection(_761754))], (5434 ^ _592116) ^ [_761974, _761976, _761978] : [-(genls(_761978, _761974)), genls(_761978, _761976), genls(_761976, _761974)], (5444 ^ _592116) ^ [_762269] : [collection(_762269), -(genls(_762269, _762269))], (5450 ^ _592116) ^ [_762457] : [collection(_762457), -(genls(_762457, _762457))], (5456 ^ _592116) ^ [_762673, _762675, _762677] : [-(genls(_762673, _762675)), genls(_762677, _762675), genls(_762673, _762677)], (5466 ^ _592116) ^ [_762996, _762998, _763000] : [-(genls(_763000, _762996)), genls(_763000, _762998), genls(_762998, _762996)], (5476 ^ _592116) ^ [_763291] : [isa(_763291, c_partiallytangible), -(partiallytangible(_763291))], (5482 ^ _592116) ^ [_763479] : [partiallytangible(_763479), -(isa(_763479, c_partiallytangible))], (5488 ^ _592116) ^ [_763667] : [isa(_763667, c_intangible), -(intangible(_763667))], (5494 ^ _592116) ^ [_763855] : [intangible(_763855), -(isa(_763855, c_intangible))], (5500 ^ _592116) ^ [_764057, _764059] : [disjointwith(_764059, _764057), -(collection(_764057))], (5506 ^ _592116) ^ [_764265, _764267] : [disjointwith(_764267, _764265), -(collection(_764267))], (5512 ^ _592116) ^ [_764473, _764475] : [disjointwith(_764475, _764473), -(disjointwith(_764473, _764475))], (5518 ^ _592116) ^ [_764697, _764699, _764701] : [-(disjointwith(_764701, _764697)), disjointwith(_764701, _764699), genls(_764697, _764699)], (5528 ^ _592116) ^ [_765020, _765022, _765024] : [-(disjointwith(_765020, _765022)), disjointwith(_765024, _765022), genls(_765020, _765024)], (5538 ^ _592116) ^ [_765329, _765331] : [-(mtvisible(_765329)), mtvisible(_765331), genlmt(_765331, _765329)], (5548 ^ _592116) ^ [_765624, _765626] : [genlmt(_765626, _765624), -(microtheory(_765624))], (5554 ^ _592116) ^ [_765832, _765834] : [genlmt(_765834, _765832), -(microtheory(_765832))], (5560 ^ _592116) ^ [_766040, _766042] : [genlmt(_766042, _766040), -(microtheory(_766042))], (5566 ^ _592116) ^ [_766248, _766250] : [genlmt(_766250, _766248), -(microtheory(_766250))], (5572 ^ _592116) ^ [_766470, _766472, _766474] : [-(genlmt(_766474, _766470)), genlmt(_766474, _766472), genlmt(_766472, _766470)], (5582 ^ _592116) ^ [_766765] : [microtheory(_766765), -(genlmt(_766765, _766765))], (5594 ^ _592116) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592116) ^ [_766953] : [microtheory(_766953), -(genlmt(_766953, _766953))]], input).
% 0.40/1.38  ncf('1',plain,[prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization)],start(5598 ^ 0,bind([[_781680], [s_terroristthathasbeenamemberofaterroristorganization]]))).
% 0.40/1.38  ncf('1.1',plain,[-(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization)), mtvisible(c_englishmt)],extension(496 ^ 1)).
% 0.40/1.38  ncf('1.1.1',plain,[-(mtvisible(c_englishmt))],extension(5596 ^ 2,bind([[_781643], [_400261]]))).
% 0.40/1.38  %-----------------------------------------------------
% 0.40/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------