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

% Computer : n007.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:29:28 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR032+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n007.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:24:53 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.46/1.39  
% 0.46/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.46/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.46/1.39  %-----------------------------------------------------
% 0.46/1.39  ncf(matrix, plain, [(5596 ^ _596863) ^ [_786390] : [-(mtvisible(c_reasoningaboutpossibleantecedentsmt))], (5598 ^ _596863) ^ [_786427] : [isa(f_citynamedfn(s_agen, c_france), _786427)], (2 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _596863) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _596863) ^ [_597068] : [intangible(_597068), partiallytangible(_597068)], (12 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _596863) ^ [_597306] : [tptpcol_15_40430(_597306), -(tptpcol_14_40429(_597306))], (20 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _596863) ^ [_597545] : [tptpcol_10_72710(_597545), -(tptpcol_9_72709(_597545))], (28 ^ _596863) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _596863) ^ [_597784] : [inanimateobject(_597784), -(partiallytangible(_597784))], (36 ^ _596863) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _596863) ^ [_598051, _598053, _598055] : [-(genlpreds(_598055, _598051)), genlinverse(_598055, _598053), genlinverse(_598053, _598051)], (48 ^ _596863) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _596863) ^ [_598413, _598415] : [subsetof(_598415, _598413), -(most(_598415, _598413))], (56 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _596863) ^ [_598662] : [tptpcol_7_93186(_598662), -(tptpcol_6_92162(_598662))], (64 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _596863) ^ [_598901] : [tptpcol_13_40421(_598901), -(tptpcol_12_40420(_598901))], (72 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _596863) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _596863) ^ [_599365] : [tptpcol_9_22021(_599365), -(tptpcol_8_22020(_599365))], (90 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _596863) ^ [_599604] : [tptpcol_5_16388(_599604), -(tptpcol_4_16387(_599604))], (98 ^ _596863) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _596863) ^ [_599962] : [tptpcol_14_72792(_599962), -(tptpcol_13_72791(_599962))], (112 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _596863) ^ [_600201] : [tptpcol_5_20483(_600201), -(tptpcol_4_16387(_600201))], (120 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _596863) ^ [_600440] : [tptpcol_11_22023(_600440), -(tptpcol_10_22022(_600440))], (128 ^ _596863) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _596863) ^ [_600679] : [partiallyintangibleindividual(_600679), -(individual(_600679))], (136 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _596863) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _596863) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _596863) ^ [_601024] : [trajector_underspecified(_601024), -(location_underspecified(_601024))], (148 ^ _596863) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _596863) ^ [_601263] : [partiallytangible(_601263), -(enduringthing_localized(_601263))], (156 ^ _596863) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _596863) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _596863) ^ [_601621] : [tptpcol_3_81921(_601621), -(tptpcol_2_65537(_601621))], (170 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _596863) ^ [_601860] : [tptpcol_10_18567(_601860), -(tptpcol_9_18439(_601860))], (178 ^ _596863) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _596863) ^ [_602099] : [orderingpredicate(_602099), -(transitivebinarypredicate(_602099))], (186 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _596863) ^ [_602338] : [tptpcol_11_92230(_602338), -(tptpcol_10_92166(_602338))], (194 ^ _596863) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _596863) ^ [_602577] : [tptpcol_2_98304(_602577), -(tptpcol_1_65536(_602577))], (202 ^ _596863) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _596863) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _596863) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _596863) ^ [_603041] : [tptpcol_12_40420(_603041), -(tptpcol_11_40388(_603041))], (220 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _596863) ^ [_603294, _603296] : [tptptypes_9_693(_603296, _603294), -(tptptypes_8_692(_603296, _603294))], (228 ^ _596863) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _596863) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _596863) ^ [_603663, _603665] : [tptptypes_8_390(_603665, _603663), -(tptptypes_7_389(_603665, _603663))], (240 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _596863) ^ [_604007, _604009, _604011, _604013] : [-(isa(f_relationexistsallfn(_604013, _604009, _604007, _604011), _604007)), isa(_604013, _604011), relationexistsall(_604009, _604007, _604011)], (254 ^ _596863) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _596863) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _596863) ^ [_604536] : [tptpcol_4_106497(_604536), -(tptpcol_3_98305(_604536))], (268 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _596863) ^ [_604775] : [tptpcol_5_114690(_604775), -(tptpcol_4_114689(_604775))], (276 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _596863) ^ [_605014] : [tptpcol_12_93765(_605014), -(tptpcol_11_93764(_605014))], (284 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _596863) ^ [_605253] : [tptpcol_8_72708(_605253), -(tptpcol_7_72707(_605253))], (292 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _596863) ^ [_605492] : [tptpcol_10_40324(_605492), -(tptpcol_9_40196(_605492))], (300 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _596863) ^ [_605731] : [tptpcol_13_93766(_605731), -(tptpcol_12_93765(_605731))], (308 ^ _596863) ^ [_605917] : [-(tptpofobject(_605917, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_605917)], (318 ^ _596863) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _596863) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _596863) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _596863) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _596863) ^ [_606581] : [location_underspecified(_606581), -(thing(_606581))], (342 ^ _596863) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _596863) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _596863) ^ [_606926] : [tptpcol_12_92262(_606926), -(tptpcol_11_92230(_606926))], (354 ^ _596863) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _596863) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _596863) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _596863) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _596863) ^ [_607443] : [tptpcol_10_109061(_607443), -(tptpcol_9_109060(_607443))], (374 ^ _596863) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _596863) ^ [_607749, _607751] : [tptptypes_6_388(_607751, _607749), -(tptptypes_5_387(_607751, _607749))], (384 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _596863) ^ [_607998] : [tptpcol_6_116738(_607998), -(tptpcol_5_114690(_607998))], (392 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _596863) ^ [_608237] : [tptpcol_15_92268(_608237), -(tptpcol_14_92264(_608237))], (400 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _596863) ^ [_608542] : [-(tptpofobject(_608542, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_608542)], (416 ^ _596863) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _596863) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _596863) ^ [_608995, _608997] : [tptptypes_9_401(_608997, _608995), -(tptptypes_8_400(_608995, _608997))], (430 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _596863) ^ [_609244] : [tptpcol_12_18663(_609244), -(tptpcol_11_18631(_609244))], (438 ^ _596863) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _596863) ^ [_609483] : [setorcollection(_609483), -(mathematicalthing(_609483))], (446 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _596863) ^ [_609722] : [tptpcol_13_109173(_609722), -(tptpcol_12_109157(_609722))], (454 ^ _596863) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _596863) ^ [_610014] : [tptpcol_5_106498(_610014), -(tptpcol_4_106497(_610014))], (464 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _596863) ^ [_610253] : [tptpcol_5_24579(_610253), -(tptpcol_4_24578(_610253))], (472 ^ _596863) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _596863) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _596863) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _596863) ^ [_610783] : [tptpcol_1_65536(_610783), -(tptpcol_0_0(_610783))], (494 ^ _596863) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _596863) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _596863) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _596863) ^ [_611208, _611210] : [geographicalsubregions(_611210, _611208), -(inregion(_611208, _611210))], (510 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _596863) ^ [_611457] : [tptpcol_11_118084(_611457), -(tptpcol_10_118020(_611457))], (518 ^ _596863) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _596863) ^ [_611696] : [mathematicalorcomputationalthing(_611696), -(intangible(_611696))], (526 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _596863) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _596863) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _596863) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _596863) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _596863) ^ [_612214, _612216] : [tptptypes_7_819(_612216, _612214), -(tptptypes_6_818(_612216, _612214))], (544 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _596863) ^ [_612516] : [tptpcol_12_26919(_612516), -(tptpcol_11_26887(_612516))], (554 ^ _596863) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _596863) ^ [_612769, _612771] : [tptptypes_8_692(_612771, _612769), -(tptptypes_7_691(_612769, _612771))], (562 ^ _596863) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _596863) ^ [_613018] : [tptpcol_2_2(_613018), -(tptpcol_1_1(_613018))], (570 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _596863) ^ [_613310] : [tptpcol_9_92165(_613310), -(tptpcol_8_92164(_613310))], (580 ^ _596863) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _596863) ^ [_613549] : [fixedordercollection(_613549), -(collection(_613549))], (588 ^ _596863) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _596863) ^ [_613788] : [tptpcol_1_1(_613788), tptpcol_1_65536(_613788)], (596 ^ _596863) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _596863) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _596863) ^ [_614079] : [microtheory(_614079), -(aspatialinformationstore(_614079))], (606 ^ _596863) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _596863) ^ [_614384] : [-(tptp_8_875(_614384, f_relationallexistsfn(_614384, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_614384, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _596863) ^ [] : [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 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _596863) ^ [_614835] : [tptpcol_10_118020(_614835), -(tptpcol_9_118019(_614835))], (636 ^ _596863) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _596863) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _596863) ^ [_615193] : [-(tptp_9_720(_615193, f_relationallexistsfn(_615193, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_615193)], (654 ^ _596863) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _596863) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _596863) ^ [_615642] : [individual(_615642), setorcollection(_615642)], (668 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _596863) ^ [_615880] : [tptpcol_12_22055(_615880), -(tptpcol_11_22023(_615880))], (676 ^ _596863) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _596863) ^ [_616119] : [applicationcontext(_616119), -(microtheory(_616119))], (684 ^ _596863) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _596863) ^ [_616425, _616427] : [tptptypes_8_400(_616427, _616425), -(tptptypes_7_396(_616427, _616425))], (694 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _596863) ^ [_616674] : [tptpcol_11_18631(_616674), -(tptpcol_10_18567(_616674))], (702 ^ _596863) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _596863) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _596863) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _596863) ^ [_617085] : [mathematicalthing(_617085), -(mathematicalorcomputationalthing(_617085))], (718 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _596863) ^ [_617377] : [tptpcol_15_93775(_617377), -(tptpcol_14_93774(_617377))], (728 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _596863) ^ [_617616] : [tptpcol_8_109059(_617616), -(tptpcol_7_108547(_617616))], (736 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _596863) ^ [_617855] : [tptpcol_14_40429(_617855), -(tptpcol_13_40421(_617855))], (744 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _596863) ^ [_618213] : [tptpcol_14_22072(_618213), -(tptpcol_13_22071(_618213))], (758 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _596863) ^ [_618452] : [tptpcol_14_93774(_618452), -(tptpcol_13_93766(_618452))], (766 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _596863) ^ [_618691] : [tptpcol_10_22022(_618691), -(tptpcol_9_22021(_618691))], (774 ^ _596863) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _596863) ^ [_618930] : [inanimateobject_nonnatural(_618930), -(inanimateobject(_618930))], (782 ^ _596863) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _596863) ^ [_619275] : [tptpcol_9_72709(_619275), -(tptpcol_8_72708(_619275))], (794 ^ _596863) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _596863) ^ [_619514] : [-(tptpofobject(_619514, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_619514)], (806 ^ _596863) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _596863) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _596863) ^ [_619953] : [firstordercollection(_619953), -(fixedordercollection(_619953))], (820 ^ _596863) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _596863) ^ [_620364] : [tptpcol_13_18664(_620364), -(tptpcol_12_18663(_620364))], (836 ^ _596863) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _596863) ^ [_620603] : [artifact(_620603), -(inanimateobject_nonnatural(_620603))], (844 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _596863) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _596863) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _596863) ^ [_621001] : [tptpcol_7_113665(_621001), -(tptpcol_6_112641(_621001))], (858 ^ _596863) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _596863) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _596863) ^ [_621359] : [geographicalregion(_621359), -(partiallytangible(_621359))], (872 ^ _596863) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _596863) ^ [_621612, _621614] : [disjointwith(_621614, _621612), -(no(_621614, _621612))], (880 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _596863) ^ [_621861] : [tptpcol_4_24578(_621861), -(tptpcol_3_16386(_621861))], (888 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _596863) ^ [_622100] : [tptpcol_5_69635(_622100), -(tptpcol_4_65539(_622100))], (896 ^ _596863) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _596863) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _596863) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _596863) ^ [_622459, _622461] : [genls(_622461, _622459), -(collection(_622461))], (908 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _596863) ^ [_622706] : [tptpcol_13_22071(_622706), -(tptpcol_12_22055(_622706))], (916 ^ _596863) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _596863) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _596863) ^ [_622998] : [tptpcol_3_98305(_622998), -(tptpcol_2_98304(_622998))], (926 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _596863) ^ [_623237] : [tptpcol_4_114689(_623237), -(tptpcol_3_114688(_623237))], (934 ^ _596863) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _596863) ^ [_623476] : [artsupplies(_623476), -(supplies(_623476))], (942 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _596863) ^ [_623715] : [tptpcol_8_26629(_623715), -(tptpcol_7_26628(_623715))], (950 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _596863) ^ [_623954] : [tptpcol_9_109060(_623954), -(tptpcol_8_109059(_623954))], (958 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _596863) ^ [_624193] : [isa(_624193, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_624193, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _624193))], (966 ^ _596863) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _596863) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _596863) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _596863) ^ [_624777] : [tptpcol_14_109181(_624777), -(tptpcol_13_109173(_624777))], (988 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _596863) ^ [_625016] : [tptpcol_16_30972(_625016), -(tptpcol_15_30970(_625016))], (996 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _596863) ^ [_625308] : [tptpcol_9_18439(_625308), -(tptpcol_8_18438(_625308))], (1006 ^ _596863) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _596863) ^ [_625600] : [tptpcol_12_118116(_625600), -(tptpcol_11_118084(_625600))], (1016 ^ _596863) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _596863) ^ [_625892] : [tptpcol_7_26628(_625892), -(tptpcol_6_26627(_625892))], (1026 ^ _596863) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _596863) ^ [_626145, _626147] : [most(_626147, _626145), -(setorcollection(_626147))], (1034 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _596863) ^ [_626392] : [tptpcol_15_109185(_626392), -(tptpcol_14_109181(_626392))], (1042 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _596863) ^ [_626631] : [tptpcol_16_92269(_626631), -(tptpcol_15_92268(_626631))], (1050 ^ _596863) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _596863) ^ [_626937, _626939] : [tptptypes_8_823(_626939, _626937), -(tptptypes_7_819(_626939, _626937))], (1060 ^ _596863) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _596863) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _596863) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _596863) ^ [_627517] : [tptpcol_10_26886(_627517), -(tptpcol_9_26885(_627517))], (1082 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _596863) ^ [_627809] : [tptpcol_15_72793(_627809), -(tptpcol_14_72792(_627809))], (1092 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _596863) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _596863) ^ [_628167] : [navypersonnel(_628167), -(militaryperson(_628167))], (1106 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _596863) ^ [_628406] : [tptpcol_4_16387(_628406), -(tptpcol_3_16386(_628406))], (1114 ^ _596863) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _596863) ^ [_628645] : [enduringthing_localized(_628645), -(spatialthing_nonsituational(_628645))], (1122 ^ _596863) ^ [_628831] : [collection(_628831), individual(_628831)], (1128 ^ _596863) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _596863) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _596863) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _596863) ^ [_629360] : [physicalorderingpredicate(_629360), -(orderingpredicate(_629360))], (1150 ^ _596863) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _596863) ^ [_629613, _629615] : [disjointwith(_629615, _629613), -(collection(_629613))], (1158 ^ _596863) ^ [_629849, _629851, _629853, _629855] : [-(isa(f_relationallexistsfn(_629855, _629851, _629853, _629849), _629849)), isa(_629855, _629853), relationallexists(_629851, _629853, _629849)], (1168 ^ _596863) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _596863) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _596863) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _596863) ^ [_630458, _630460] : [tptptypes_7_389(_630460, _630458), -(tptptypes_6_388(_630458, _630460))], (1186 ^ _596863) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _596863) ^ [_630773] : [-(hpkb_subnationalagent(_630773)), mtvisible(c_hpkbvocabmt), state_geopolitical(_630773)], (1202 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _596863) ^ [_631091] : [tptpcol_8_22020(_631091), -(tptpcol_7_21508(_631091))], (1210 ^ _596863) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _596863) ^ [_631330] : [-(tptp_9_51(f_relationexistsallfn(_631330, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _631330)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_631330, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _596863) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _596863) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _596863) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _596863) ^ [_631834] : [tptpcol_3_65538(_631834), -(tptpcol_2_65537(_631834))], (1238 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _596863) ^ [_632073] : [tptpcol_14_26921(_632073), -(tptpcol_13_26920(_632073))], (1246 ^ _596863) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _596863) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _596863) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _596863) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _596863) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _596863) ^ [_632524] : [intangibleindividual(_632524), -(partiallyintangibleindividual(_632524))], (1262 ^ _596863) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _596863) ^ [_632882] : [tptpcol_16_130924(_632882), -(tptpcol_15_130923(_632882))], (1276 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _596863) ^ [_633121] : [tptpcol_7_92163(_633121), -(tptpcol_6_92162(_633121))], (1284 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _596863) ^ [_633413] : [tptpcol_16_130933(_633413), -(tptpcol_15_130931(_633413))], (1294 ^ _596863) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _596863) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _596863) ^ [_633719, _633721] : [no(_633721, _633719), -(few(_633721, _633719))], (1304 ^ _596863) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _596863) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _596863) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _596863) ^ [_634127] : [tptpcol_6_20484(_634127), -(tptpcol_5_20483(_634127))], (1318 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _596863) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _596863) ^ [_634591] : [tptpcol_7_108547(_634591), -(tptpcol_6_108546(_634591))], (1336 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _596863) ^ [_634830] : [tptpcol_11_109125(_634830), -(tptpcol_10_109061(_634830))], (1344 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _596863) ^ [_635122] : [tptpcol_8_93698(_635122), -(tptpcol_7_93186(_635122))], (1354 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _596863) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _596863) ^ [_635414] : [tptpcol_2_65537(_635414), -(tptpcol_1_65536(_635414))], (1364 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _596863) ^ [_635706] : [tptpcol_6_18436(_635706), -(tptpcol_5_16388(_635706))], (1374 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _596863) ^ [_635945] : [tptpcol_8_18438(_635945), -(tptpcol_7_18437(_635945))], (1382 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _596863) ^ [_636303] : [tptpcol_8_117763(_636303), -(tptpcol_7_117762(_636303))], (1396 ^ _596863) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _596863) ^ [_636595] : [tptpcol_12_109157(_636595), -(tptpcol_11_109125(_636595))], (1406 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _596863) ^ [_636834] : [tptpcol_7_117762(_636834), -(tptpcol_6_116738(_636834))], (1414 ^ _596863) ^ [_637048, _637050, _637052] : [isa(_637052, _637050), isa(_637052, _637048), disjointwith(_637050, _637048)], (1424 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _596863) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _596863) ^ [_637448] : [aspatialinformationstore(_637448), -(aspatialthing(_637448))], (1434 ^ _596863) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _596863) ^ [_637846] : [tptpcol_9_93699(_637846), -(tptpcol_8_93698(_637846))], (1448 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _596863) ^ [_638085] : [tptpcol_11_93764(_638085), -(tptpcol_10_93700(_638085))], (1456 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _596863) ^ [_638324] : [tptpcol_6_26627(_638324), -(tptpcol_5_24579(_638324))], (1464 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _596863) ^ [_638563] : [tptpcol_4_90113(_638563), -(tptpcol_3_81921(_638563))], (1472 ^ _596863) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _596863) ^ [_638855] : [tptpcol_10_93700(_638855), -(tptpcol_9_93699(_638855))], (1482 ^ _596863) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _596863) ^ [_639094] : [aspatialinformationstore(_639094), -(intangibleindividual(_639094))], (1490 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _596863) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _596863) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _596863) ^ [_639505] : [tptpcol_3_16386(_639505), -(tptpcol_2_2(_639505))], (1506 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _596863) ^ [_639744] : [tptpcol_9_118019(_639744), -(tptpcol_8_117763(_639744))], (1514 ^ _596863) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _596863) ^ [_639983] : [individual(_639983), -(trajector_underspecified(_639983))], (1522 ^ _596863) ^ [_640169] : [shavingrazor_manual(_640169), -(tptp_8_271(f_relationexistsallfn(_640169, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _640169))], (1528 ^ _596863) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _596863) ^ [_640473] : [tptpcol_6_112641(_640473), -(tptpcol_5_110593(_640473))], (1538 ^ _596863) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _596863) ^ [_640712] : [tptpcol_12_72775(_640712), -(tptpcol_11_72774(_640712))], (1546 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _596863) ^ [_640951] : [tptpcol_7_72707(_640951), -(tptpcol_6_71683(_640951))], (1554 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _596863) ^ [_641190] : [tptpcol_16_50958(_641190), -(tptpcol_15_50957(_641190))], (1562 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _596863) ^ [_641429] : [tptpcol_8_114177(_641429), -(tptpcol_7_113665(_641429))], (1570 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _596863) ^ [_641668] : [tptpcol_16_72795(_641668), -(tptpcol_15_72793(_641668))], (1578 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _596863) ^ [_641907] : [tptpcol_6_71683(_641907), -(tptpcol_5_69635(_641907))], (1586 ^ _596863) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _596863) ^ [_642213, _642215] : [tptptypes_7_396(_642215, _642213), -(tptptypes_6_388(_642215, _642213))], (1596 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _596863) ^ [_642462] : [tptpcol_9_26885(_642462), -(tptpcol_8_26629(_642462))], (1604 ^ _596863) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _596863) ^ [_642715, _642717] : [genls(_642717, _642715), -(subsetof(_642717, _642715))], (1612 ^ _596863) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _596863) ^ [_643031, _643033] : [tptptypes_6_818(_643033, _643031), -(tptptypes_5_802(_643033, _643031))], (1622 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _596863) ^ [_643280] : [tptpcol_6_92162(_643280), -(tptpcol_5_90114(_643280))], (1630 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _596863) ^ [_643572] : [tptpcol_8_92164(_643572), -(tptpcol_7_92163(_643572))], (1640 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _596863) ^ [_643811] : [tptpcol_13_118117(_643811), -(tptpcol_12_118116(_643811))], (1648 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _596863) ^ [_644050] : [tptpcol_11_40388(_644050), -(tptpcol_10_40324(_644050))], (1656 ^ _596863) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _596863) ^ [_644303, _644305] : [tptptypes_9_824(_644305, _644303), -(tptptypes_8_823(_644305, _644303))], (1664 ^ _596863) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _596863) ^ [_644605] : [tptpcol_11_26887(_644605), -(tptpcol_10_26886(_644605))], (1674 ^ _596863) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _596863) ^ [_644844] : [tptpcol_16_26926(_644844), -(tptpcol_15_26925(_644844))], (1682 ^ _596863) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _596863) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _596863) ^ [_645150, _645152] : [few(_645152, _645150), -(setorcollection(_645150))], (1692 ^ _596863) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _596863) ^ [_645397] : [tptpcol_4_65539(_645397), -(tptpcol_3_65538(_645397))], (1700 ^ _596863) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _596863) ^ [_645636] : [tptpcol_8_39940(_645636), -(tptpcol_7_39939(_645636))], (1708 ^ _596863) ^ [_645822] : [-(tptpofobject(_645822, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_645822)], (1718 ^ _596863) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _596863) ^ [_646261] : [tptpcol_15_22076(_646261), -(tptpcol_14_22072(_646261))], (1732 ^ _596863) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _596863) ^ [_646500] : [tptpcol_0_0(_646500), -(individual(_646500))], (1740 ^ _596863) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _596863) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _596863) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _596863) ^ [_646898] : [tptpcol_11_72774(_646898), -(tptpcol_10_72710(_646898))], (1754 ^ _596863) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _596863) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _596863) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _596863) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _596863) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _596863) ^ [_647534] : [tptpcol_7_21508(_647534), -(tptpcol_6_20484(_647534))], (1780 ^ _596863) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _596863) ^ [_647773] : [tptpcol_6_108546(_647773), -(tptpcol_5_106498(_647773))], (1788 ^ _596863) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _596863) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _596863) ^ [_648131] : [geolevel_4(_648131), -(geographicalregion(_648131))], (1802 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _596863) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _596863) ^ [_648608] : [tptpcol_13_26920(_648608), -(tptpcol_12_26919(_648608))], (1822 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _596863) ^ [_648847] : [tptpcol_14_92264(_648847), -(tptpcol_13_92263(_648847))], (1830 ^ _596863) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _596863) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _596863) ^ [_649139] : [tptpcol_9_40196(_649139), -(tptpcol_8_39940(_649139))], (1840 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _596863) ^ [_649497] : [tptpcol_13_92263(_649497), -(tptpcol_12_92262(_649497))], (1854 ^ _596863) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _596863) ^ [_649789] : [tptpcol_5_90114(_649789), -(tptpcol_4_90113(_649789))], (1864 ^ _596863) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _596863) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _596863) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _596863) ^ [_650200] : [tptpcol_15_26925(_650200), -(tptpcol_14_26921(_650200))], (1880 ^ _596863) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _596863) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _596863) ^ [_650558] : [tptpcol_7_18437(_650558), -(tptpcol_6_18436(_650558))], (1894 ^ _596863) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _596863) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _596863) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _596863) ^ [_650969] : [tptpcol_3_98305(_650969), tptpcol_3_114688(_650969)], (1910 ^ _596863) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _596863) ^ [_651207] : [tptpcol_5_110593(_651207), -(tptpcol_4_106497(_651207))], (1918 ^ _596863) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _596863) ^ [_651446] : [tptpcol_13_72791(_651446), -(tptpcol_12_72775(_651446))], (1926 ^ _596863) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _596863) ^ [_651685] : [computerdataartifact(_651685), -(artifact(_651685))], (1934 ^ _596863) ^ [_651871] : [-(tptpofobject(_651871, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_651871)], (1944 ^ _596863) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _596863) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _596863) ^ [_652310] : [tptpcol_10_92166(_652310), -(tptpcol_9_92165(_652310))], (1958 ^ _596863) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _596863) ^ [_652549] : [tptpcol_14_118118(_652549), -(tptpcol_13_118117(_652549))], (1966 ^ _596863) ^ [_652735] : [isa(_652735, c_tptpcol_14_118118), -(tptpcol_14_118118(_652735))], (1972 ^ _596863) ^ [_652923] : [tptpcol_14_118118(_652923), -(isa(_652923, c_tptpcol_14_118118))], (1978 ^ _596863) ^ [_653096] : [-(natfunction(f_tptpquantityfn_6(_653096), c_tptpquantityfn_6))], (1980 ^ _596863) ^ [_653176] : [-(natargument(f_tptpquantityfn_6(_653176), n_1, _653176))], (1982 ^ _596863) ^ [_653257] : [-(tptpquantity(f_tptpquantityfn_6(_653257)))], (1984 ^ _596863) ^ [_653351] : [isa(_653351, c_tptpcol_16_26939), -(tptpcol_16_26939(_653351))], (1990 ^ _596863) ^ [_653539] : [tptpcol_16_26939(_653539), -(isa(_653539, c_tptpcol_16_26939))], (1996 ^ _596863) ^ [_653727] : [isa(_653727, c_tptpcol_16_62187), -(tptpcol_16_62187(_653727))], (2002 ^ _596863) ^ [_653915] : [tptpcol_16_62187(_653915), -(isa(_653915, c_tptpcol_16_62187))], (2008 ^ _596863) ^ [_654103] : [isa(_654103, c_tptpcol_13_92263), -(tptpcol_13_92263(_654103))], (2014 ^ _596863) ^ [_654291] : [tptpcol_13_92263(_654291), -(isa(_654291, c_tptpcol_13_92263))], (2020 ^ _596863) ^ [_654479] : [isa(_654479, c_geolevel_4), -(geolevel_4(_654479))], (2026 ^ _596863) ^ [_654667] : [geolevel_4(_654667), -(isa(_654667, c_geolevel_4))], (2032 ^ _596863) ^ [_654855] : [isa(_654855, c_tptpcol_15_4027), -(tptpcol_15_4027(_654855))], (2038 ^ _596863) ^ [_655043] : [tptpcol_15_4027(_655043), -(isa(_655043, c_tptpcol_15_4027))], (2044 ^ _596863) ^ [_655231] : [isa(_655231, c_pushingwithfingers), -(pushingwithfingers(_655231))], (2050 ^ _596863) ^ [_655419] : [pushingwithfingers(_655419), -(isa(_655419, c_pushingwithfingers))], (2056 ^ _596863) ^ [_655621, _655623] : [affiliatedwith(_655623, _655621), -(agent_generic(_655621))], (2062 ^ _596863) ^ [_655829, _655831] : [affiliatedwith(_655831, _655829), -(agent_generic(_655831))], (2068 ^ _596863) ^ [_656037, _656039] : [affiliatedwith(_656039, _656037), -(affiliatedwith(_656037, _656039))], (2074 ^ _596863) ^ [_656217] : [affiliatedwith(_656217, _656217)], (2076 ^ _596863) ^ [_656310] : [isa(_656310, c_footballteam), -(footballteam(_656310))], (2082 ^ _596863) ^ [_656498] : [footballteam(_656498), -(isa(_656498, c_footballteam))], (2088 ^ _596863) ^ [_656686] : [isa(_656686, c_tptpcol_16_4451), -(tptpcol_16_4451(_656686))], (2094 ^ _596863) ^ [_656874] : [tptpcol_16_4451(_656874), -(isa(_656874, c_tptpcol_16_4451))], (2100 ^ _596863) ^ [_657062] : [isa(_657062, c_pushingwithopenhand), -(pushingwithopenhand(_657062))], (2106 ^ _596863) ^ [_657250] : [pushingwithopenhand(_657250), -(isa(_657250, c_pushingwithopenhand))], (2112 ^ _596863) ^ [_657438] : [isa(_657438, c_tptpcol_15_22076), -(tptpcol_15_22076(_657438))], (2118 ^ _596863) ^ [_657626] : [tptpcol_15_22076(_657626), -(isa(_657626, c_tptpcol_15_22076))], (2124 ^ _596863) ^ [_657799] : [-(natfunction(f_tptpquantityfn_2(_657799), c_tptpquantityfn_2))], (2126 ^ _596863) ^ [_657879] : [-(natargument(f_tptpquantityfn_2(_657879), n_1, _657879))], (2128 ^ _596863) ^ [_657960] : [-(tptpquantity(f_tptpquantityfn_2(_657960)))], (2130 ^ _596863) ^ [_658054] : [isa(_658054, c_tptpcol_7_39939), -(tptpcol_7_39939(_658054))], (2136 ^ _596863) ^ [_658242] : [tptpcol_7_39939(_658242), -(isa(_658242, c_tptpcol_7_39939))], (2142 ^ _596863) ^ [_658430] : [isa(_658430, c_tptpcol_8_39940), -(tptpcol_8_39940(_658430))], (2148 ^ _596863) ^ [_658618] : [tptpcol_8_39940(_658618), -(isa(_658618, c_tptpcol_8_39940))], (2154 ^ _596863) ^ [_658806] : [isa(_658806, c_tptpcol_15_26925), -(tptpcol_15_26925(_658806))], (2160 ^ _596863) ^ [_658994] : [tptpcol_15_26925(_658994), -(isa(_658994, c_tptpcol_15_26925))], (2166 ^ _596863) ^ [_659182] : [isa(_659182, c_tptpcol_16_26926), -(tptpcol_16_26926(_659182))], (2172 ^ _596863) ^ [_659370] : [tptpcol_16_26926(_659370), -(isa(_659370, c_tptpcol_16_26926))], (2178 ^ _596863) ^ [_659558] : [isa(_659558, c_tptpcol_13_118117), -(tptpcol_13_118117(_659558))], (2184 ^ _596863) ^ [_659746] : [tptpcol_13_118117(_659746), -(isa(_659746, c_tptpcol_13_118117))], (2190 ^ _596863) ^ [_659934] : [isa(_659934, c_tptpcol_5_90114), -(tptpcol_5_90114(_659934))], (2196 ^ _596863) ^ [_660122] : [tptpcol_5_90114(_660122), -(isa(_660122, c_tptpcol_5_90114))], (2202 ^ _596863) ^ [_660324, _660326] : [tptptypes_5_802(_660326, _660324), -(firstordercollection(_660324))], (2208 ^ _596863) ^ [_660532, _660534] : [tptptypes_5_802(_660534, _660532), -(firstordercollection(_660534))], (2214 ^ _596863) ^ [_660726] : [isa(_660726, c_tptpcol_16_72795), -(tptpcol_16_72795(_660726))], (2220 ^ _596863) ^ [_660914] : [tptpcol_16_72795(_660914), -(isa(_660914, c_tptpcol_16_72795))], (2226 ^ _596863) ^ [_661102] : [isa(_661102, c_tptpcol_8_114177), -(tptpcol_8_114177(_661102))], (2232 ^ _596863) ^ [_661290] : [tptpcol_8_114177(_661290), -(isa(_661290, c_tptpcol_8_114177))], (2238 ^ _596863) ^ [_661478] : [isa(_661478, c_tptpcol_15_50957), -(tptpcol_15_50957(_661478))], (2244 ^ _596863) ^ [_661666] : [tptpcol_15_50957(_661666), -(isa(_661666, c_tptpcol_15_50957))], (2250 ^ _596863) ^ [_661854] : [isa(_661854, c_tptpcol_16_50958), -(tptpcol_16_50958(_661854))], (2256 ^ _596863) ^ [_662042] : [tptpcol_16_50958(_662042), -(isa(_662042, c_tptpcol_16_50958))], (2262 ^ _596863) ^ [_662230] : [isa(_662230, c_tptpcol_6_71683), -(tptpcol_6_71683(_662230))], (2268 ^ _596863) ^ [_662418] : [tptpcol_6_71683(_662418), -(isa(_662418, c_tptpcol_6_71683))], (2274 ^ _596863) ^ [_662606] : [isa(_662606, c_tptpcol_11_72774), -(tptpcol_11_72774(_662606))], (2280 ^ _596863) ^ [_662794] : [tptpcol_11_72774(_662794), -(isa(_662794, c_tptpcol_11_72774))], (2286 ^ _596863) ^ [_662982] : [isa(_662982, c_tptpcol_12_72775), -(tptpcol_12_72775(_662982))], (2292 ^ _596863) ^ [_663170] : [tptpcol_12_72775(_663170), -(isa(_663170, c_tptpcol_12_72775))], (2298 ^ _596863) ^ [_663358] : [isa(_663358, c_tptpcol_5_110593), -(tptpcol_5_110593(_663358))], (2304 ^ _596863) ^ [_663546] : [tptpcol_5_110593(_663546), -(isa(_663546, c_tptpcol_5_110593))], (2310 ^ _596863) ^ [_663734] : [isa(_663734, c_tptpcol_16_25972), -(tptpcol_16_25972(_663734))], (2316 ^ _596863) ^ [_663922] : [tptpcol_16_25972(_663922), -(isa(_663922, c_tptpcol_16_25972))], (2322 ^ _596863) ^ [_664124, _664126] : [tptp_8_271(_664126, _664124), -(razor(_664124))], (2328 ^ _596863) ^ [_664332, _664334] : [tptp_8_271(_664334, _664332), -(tptpcol_5_24579(_664334))], (2334 ^ _596863) ^ [_664526] : [isa(_664526, c_tptpcol_4_90113), -(tptpcol_4_90113(_664526))], (2340 ^ _596863) ^ [_664714] : [tptpcol_4_90113(_664714), -(isa(_664714, c_tptpcol_4_90113))], (2346 ^ _596863) ^ [_664902] : [isa(_664902, c_tptpcol_10_93700), -(tptpcol_10_93700(_664902))], (2352 ^ _596863) ^ [_665090] : [tptpcol_10_93700(_665090), -(isa(_665090, c_tptpcol_10_93700))], (2358 ^ _596863) ^ [_665278] : [isa(_665278, c_tptpcol_9_93699), -(tptpcol_9_93699(_665278))], (2364 ^ _596863) ^ [_665466] : [tptpcol_9_93699(_665466), -(isa(_665466, c_tptpcol_9_93699))], (2370 ^ _596863) ^ [_665654] : [isa(_665654, c_aspatialthing), -(aspatialthing(_665654))], (2376 ^ _596863) ^ [_665842] : [aspatialthing(_665842), -(isa(_665842, c_aspatialthing))], (2382 ^ _596863) ^ [_666030] : [isa(_666030, c_tptpcol_7_117762), -(tptpcol_7_117762(_666030))], (2388 ^ _596863) ^ [_666218] : [tptpcol_7_117762(_666218), -(isa(_666218, c_tptpcol_7_117762))], (2394 ^ _596863) ^ [_666406] : [isa(_666406, c_tptpcol_8_117763), -(tptpcol_8_117763(_666406))], (2400 ^ _596863) ^ [_666594] : [tptpcol_8_117763(_666594), -(isa(_666594, c_tptpcol_8_117763))], (2406 ^ _596863) ^ [_666782] : [isa(_666782, c_tptpcol_7_18437), -(tptpcol_7_18437(_666782))], (2412 ^ _596863) ^ [_666970] : [tptpcol_7_18437(_666970), -(isa(_666970, c_tptpcol_7_18437))], (2418 ^ _596863) ^ [_667158] : [isa(_667158, c_tptpcol_6_18436), -(tptpcol_6_18436(_667158))], (2424 ^ _596863) ^ [_667346] : [tptpcol_6_18436(_667346), -(isa(_667346, c_tptpcol_6_18436))], (2430 ^ _596863) ^ [_667534] : [isa(_667534, c_tptpcol_8_93698), -(tptpcol_8_93698(_667534))], (2436 ^ _596863) ^ [_667722] : [tptpcol_8_93698(_667722), -(isa(_667722, c_tptpcol_8_93698))], (2442 ^ _596863) ^ [_667910] : [isa(_667910, c_tptpcol_11_109125), -(tptpcol_11_109125(_667910))], (2448 ^ _596863) ^ [_668098] : [tptpcol_11_109125(_668098), -(isa(_668098, c_tptpcol_11_109125))], (2454 ^ _596863) ^ [_668286] : [isa(_668286, c_tptpcol_6_108546), -(tptpcol_6_108546(_668286))], (2460 ^ _596863) ^ [_668474] : [tptpcol_6_108546(_668474), -(isa(_668474, c_tptpcol_6_108546))], (2466 ^ _596863) ^ [_668662] : [isa(_668662, c_tptpcol_6_20484), -(tptpcol_6_20484(_668662))], (2472 ^ _596863) ^ [_668850] : [tptpcol_6_20484(_668850), -(isa(_668850, c_tptpcol_6_20484))], (2478 ^ _596863) ^ [_669052, _669054] : [few(_669054, _669052), -(setorcollection(_669052))], (2484 ^ _596863) ^ [_669260, _669262] : [few(_669262, _669260), -(setorcollection(_669260))], (2490 ^ _596863) ^ [_669468, _669470] : [few(_669470, _669468), -(setorcollection(_669470))], (2496 ^ _596863) ^ [_669676, _669678] : [few(_669678, _669676), -(setorcollection(_669678))], (2502 ^ _596863) ^ [_669898, _669900, _669902] : [-(few(_669902, _669898)), few(_669902, _669900), subsetof(_669898, _669900)], (2512 ^ _596863) ^ [_670193] : [isa(_670193, c_tptpcol_15_130931), -(tptpcol_15_130931(_670193))], (2518 ^ _596863) ^ [_670381] : [tptpcol_15_130931(_670381), -(isa(_670381, c_tptpcol_15_130931))], (2524 ^ _596863) ^ [_670569] : [isa(_670569, c_tptpcol_16_130933), -(tptpcol_16_130933(_670569))], (2530 ^ _596863) ^ [_670757] : [tptpcol_16_130933(_670757), -(isa(_670757, c_tptpcol_16_130933))], (2536 ^ _596863) ^ [_670945] : [isa(_670945, c_tptpcol_7_92163), -(tptpcol_7_92163(_670945))], (2542 ^ _596863) ^ [_671133] : [tptpcol_7_92163(_671133), -(isa(_671133, c_tptpcol_7_92163))], (2548 ^ _596863) ^ [_671321] : [isa(_671321, c_tptpcol_15_130923), -(tptpcol_15_130923(_671321))], (2554 ^ _596863) ^ [_671509] : [tptpcol_15_130923(_671509), -(isa(_671509, c_tptpcol_15_130923))], (2560 ^ _596863) ^ [_671697] : [isa(_671697, c_tptpcol_16_130924), -(tptpcol_16_130924(_671697))], (2566 ^ _596863) ^ [_671885] : [tptpcol_16_130924(_671885), -(isa(_671885, c_tptpcol_16_130924))], (2572 ^ _596863) ^ [_672073] : [isa(_672073, c_intangibleindividual), -(intangibleindividual(_672073))], (2578 ^ _596863) ^ [_672261] : [intangibleindividual(_672261), -(isa(_672261, c_intangibleindividual))], (2584 ^ _596863) ^ [_672448, _672450] : [-(natfunction(f_citynamedfn(_672450, _672448), c_citynamedfn))], (2586 ^ _596863) ^ [_672545, _672547] : [-(natargument(f_citynamedfn(_672547, _672545), n_1, _672547))], (2588 ^ _596863) ^ [_672643, _672645] : [-(natargument(f_citynamedfn(_672645, _672643), n_2, _672643))], (2590 ^ _596863) ^ [_672741, _672743] : [-(city(f_citynamedfn(_672743, _672741)))], (2592 ^ _596863) ^ [_672838] : [isa(_672838, c_tptpcol_13_26920), -(tptpcol_13_26920(_672838))], (2598 ^ _596863) ^ [_673026] : [tptpcol_13_26920(_673026), -(isa(_673026, c_tptpcol_13_26920))], (2604 ^ _596863) ^ [_673214] : [isa(_673214, c_tptpcol_14_26921), -(tptpcol_14_26921(_673214))], (2610 ^ _596863) ^ [_673402] : [tptpcol_14_26921(_673402), -(isa(_673402, c_tptpcol_14_26921))], (2616 ^ _596863) ^ [_673590] : [isa(_673590, c_tptpcol_3_65538), -(tptpcol_3_65538(_673590))], (2622 ^ _596863) ^ [_673778] : [tptpcol_3_65538(_673778), -(isa(_673778, c_tptpcol_3_65538))], (2628 ^ _596863) ^ [_673966] : [isa(_673966, c_tptpcol_16_27189), -(tptpcol_16_27189(_673966))], (2634 ^ _596863) ^ [_674154] : [tptpcol_16_27189(_674154), -(isa(_674154, c_tptpcol_16_27189))], (2640 ^ _596863) ^ [_674356, _674358] : [tptp_9_51(_674358, _674356), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_674356))], (2646 ^ _596863) ^ [_674564, _674566] : [tptp_9_51(_674566, _674564), -(tptpcol_7_26628(_674566))], (2652 ^ _596863) ^ [_674758] : [isa(_674758, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_674758))], (2658 ^ _596863) ^ [_674946] : [reflexivebinarypredicate(_674946), -(isa(_674946, c_reflexivebinarypredicate))], (2664 ^ _596863) ^ [_675134] : [isa(_675134, c_tptpcol_7_21508), -(tptpcol_7_21508(_675134))], (2670 ^ _596863) ^ [_675322] : [tptpcol_7_21508(_675322), -(isa(_675322, c_tptpcol_7_21508))], (2676 ^ _596863) ^ [_675510] : [isa(_675510, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_675510))], (2682 ^ _596863) ^ [_675698] : [hpkb_subnationalagent(_675698), -(isa(_675698, c_hpkb_subnationalagent))], (2688 ^ _596863) ^ [_675886] : [isa(_675886, c_state_geopolitical), -(state_geopolitical(_675886))], (2694 ^ _596863) ^ [_676074] : [state_geopolitical(_676074), -(isa(_676074, c_state_geopolitical))], (2700 ^ _596863) ^ [_676289, _676291, _676293, _676295] : [-(natfunction(f_relationallexistsfn(_676295, _676293, _676291, _676289), c_relationallexistsfn))], (2702 ^ _596863) ^ [_676420, _676422, _676424, _676426] : [-(natargument(f_relationallexistsfn(_676426, _676424, _676422, _676420), n_1, _676426))], (2704 ^ _596863) ^ [_676552, _676554, _676556, _676558] : [-(natargument(f_relationallexistsfn(_676558, _676556, _676554, _676552), n_2, _676556))], (2706 ^ _596863) ^ [_676684, _676686, _676688, _676690] : [-(natargument(f_relationallexistsfn(_676690, _676688, _676686, _676684), n_3, _676686))], (2708 ^ _596863) ^ [_676816, _676818, _676820, _676822] : [-(natargument(f_relationallexistsfn(_676822, _676820, _676818, _676816), n_4, _676816))], (2710 ^ _596863) ^ [_676948, _676950, _676952, _676954] : [-(thing(f_relationallexistsfn(_676954, _676952, _676950, _676948)))], (2712 ^ _596863) ^ [_677065, _677067] : [arg2isa(_677067, _677065), -(collection(_677065))], (2718 ^ _596863) ^ [_677273, _677275] : [arg2isa(_677275, _677273), -(relation(_677275))], (2724 ^ _596863) ^ [_677495, _677497, _677499] : [-(arg2isa(_677499, _677495)), arg2isa(_677499, _677497), genls(_677497, _677495)], (2734 ^ _596863) ^ [_677818, _677820, _677822] : [-(arg2isa(_677822, _677818)), arg2isa(_677822, _677820), genls(_677820, _677818)], (2744 ^ _596863) ^ [_678113] : [isa(_678113, c_geolevel_1), -(geolevel_1(_678113))], (2750 ^ _596863) ^ [_678301] : [geolevel_1(_678301), -(isa(_678301, c_geolevel_1))], (2756 ^ _596863) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _596863) ^ [_678542] : [isa(_678542, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_678542))], (2764 ^ _596863) ^ [_678730] : [spatialthing_nonsituational(_678730), -(isa(_678730, c_spatialthing_nonsituational))], (2770 ^ _596863) ^ [_678918] : [isa(_678918, c_militaryperson), -(militaryperson(_678918))], (2776 ^ _596863) ^ [_679106] : [militaryperson(_679106), -(isa(_679106, c_militaryperson))], (2782 ^ _596863) ^ [_679294] : [isa(_679294, c_tptpcol_15_72793), -(tptpcol_15_72793(_679294))], (2788 ^ _596863) ^ [_679482] : [tptpcol_15_72793(_679482), -(isa(_679482, c_tptpcol_15_72793))], (2794 ^ _596863) ^ [_679670] : [isa(_679670, c_tptpcol_9_26885), -(tptpcol_9_26885(_679670))], (2800 ^ _596863) ^ [_679858] : [tptpcol_9_26885(_679858), -(isa(_679858, c_tptpcol_9_26885))], (2806 ^ _596863) ^ [_680046] : [isa(_680046, c_tptpcol_10_26886), -(tptpcol_10_26886(_680046))], (2812 ^ _596863) ^ [_680234] : [tptpcol_10_26886(_680234), -(isa(_680234, c_tptpcol_10_26886))], (2818 ^ _596863) ^ [_680436, _680438] : [tptptypes_8_823(_680438, _680436), -(firstordercollection(_680436))], (2824 ^ _596863) ^ [_680644, _680646] : [tptptypes_8_823(_680646, _680644), -(firstordercollection(_680646))], (2830 ^ _596863) ^ [_680838] : [isa(_680838, c_tptpcol_16_92269), -(tptpcol_16_92269(_680838))], (2836 ^ _596863) ^ [_681026] : [tptpcol_16_92269(_681026), -(isa(_681026, c_tptpcol_16_92269))], (2842 ^ _596863) ^ [_681214] : [isa(_681214, c_tptpcol_15_109185), -(tptpcol_15_109185(_681214))], (2848 ^ _596863) ^ [_681402] : [tptpcol_15_109185(_681402), -(isa(_681402, c_tptpcol_15_109185))], (2854 ^ _596863) ^ [_681590] : [isa(_681590, c_tptpcol_6_26627), -(tptpcol_6_26627(_681590))], (2860 ^ _596863) ^ [_681778] : [tptpcol_6_26627(_681778), -(isa(_681778, c_tptpcol_6_26627))], (2866 ^ _596863) ^ [_681966] : [isa(_681966, c_tptpcol_12_118116), -(tptpcol_12_118116(_681966))], (2872 ^ _596863) ^ [_682154] : [tptpcol_12_118116(_682154), -(isa(_682154, c_tptpcol_12_118116))], (2878 ^ _596863) ^ [_682342] : [isa(_682342, c_tptpcol_8_18438), -(tptpcol_8_18438(_682342))], (2884 ^ _596863) ^ [_682530] : [tptpcol_8_18438(_682530), -(isa(_682530, c_tptpcol_8_18438))], (2890 ^ _596863) ^ [_682718] : [isa(_682718, c_tptpcol_15_30970), -(tptpcol_15_30970(_682718))], (2896 ^ _596863) ^ [_682906] : [tptpcol_15_30970(_682906), -(isa(_682906, c_tptpcol_15_30970))], (2902 ^ _596863) ^ [_683094] : [isa(_683094, c_tptpcol_16_30972), -(tptpcol_16_30972(_683094))], (2908 ^ _596863) ^ [_683282] : [tptpcol_16_30972(_683282), -(isa(_683282, c_tptpcol_16_30972))], (2914 ^ _596863) ^ [_683470] : [isa(_683470, c_tptpcol_14_109181), -(tptpcol_14_109181(_683470))], (2920 ^ _596863) ^ [_683658] : [tptpcol_14_109181(_683658), -(isa(_683658, c_tptpcol_14_109181))], (2926 ^ _596863) ^ [_683846] : [isa(_683846, c_physicalorderingpredicate), -(physicalorderingpredicate(_683846))], (2932 ^ _596863) ^ [_684034] : [physicalorderingpredicate(_684034), -(isa(_684034, c_physicalorderingpredicate))], (2938 ^ _596863) ^ [_684222] : [isa(_684222, c_tptpcol_16_7738), -(tptpcol_16_7738(_684222))], (2944 ^ _596863) ^ [_684410] : [tptpcol_16_7738(_684410), -(isa(_684410, c_tptpcol_16_7738))], (2950 ^ _596863) ^ [_684612, _684614] : [tptp_8_968(_684614, _684612), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_684612))], (2956 ^ _596863) ^ [_684820, _684822] : [tptp_8_968(_684822, _684820), -(tptpcol_7_7172(_684822))], (2962 ^ _596863) ^ [_685042, _685044, _685046] : [relationexistsall(_685046, _685044, _685042), -(collection(_685042))], (2968 ^ _596863) ^ [_685272, _685274, _685276] : [relationexistsall(_685276, _685274, _685272), -(collection(_685274))], (2974 ^ _596863) ^ [_685502, _685504, _685506] : [relationexistsall(_685506, _685504, _685502), -(binarypredicate(_685506))], (2980 ^ _596863) ^ [_685704] : [isa(_685704, c_tptpcol_7_26628), -(tptpcol_7_26628(_685704))], (2986 ^ _596863) ^ [_685892] : [tptpcol_7_26628(_685892), -(isa(_685892, c_tptpcol_7_26628))], (2992 ^ _596863) ^ [_686080] : [isa(_686080, c_tptpcol_8_26629), -(tptpcol_8_26629(_686080))], (2998 ^ _596863) ^ [_686268] : [tptpcol_8_26629(_686268), -(isa(_686268, c_tptpcol_8_26629))], (3004 ^ _596863) ^ [_686456] : [isa(_686456, c_tptpcol_3_114688), -(tptpcol_3_114688(_686456))], (3010 ^ _596863) ^ [_686644] : [tptpcol_3_114688(_686644), -(isa(_686644, c_tptpcol_3_114688))], (3016 ^ _596863) ^ [_686817] : [-(natfunction(f_contextofpcwfn(_686817), c_contextofpcwfn))], (3018 ^ _596863) ^ [_686897] : [-(natargument(f_contextofpcwfn(_686897), n_1, _686897))], (3020 ^ _596863) ^ [_686978] : [-(microtheory(f_contextofpcwfn(_686978)))], (3022 ^ _596863) ^ [_687086, _687088] : [arg1isa(_687088, _687086), -(collection(_687086))], (3028 ^ _596863) ^ [_687294, _687296] : [arg1isa(_687296, _687294), -(relation(_687296))], (3034 ^ _596863) ^ [_687516, _687518, _687520] : [-(arg1isa(_687520, _687516)), arg1isa(_687520, _687518), genls(_687518, _687516)], (3044 ^ _596863) ^ [_687839, _687841, _687843] : [-(arg1isa(_687843, _687839)), arg1isa(_687843, _687841), genls(_687841, _687839)], (3054 ^ _596863) ^ [_688148, _688150] : [objectfoundinlocation(_688150, _688148), -(spatialthing_nonsituational(_688148))], (3060 ^ _596863) ^ [_688356, _688358] : [objectfoundinlocation(_688358, _688356), -(spatialthing_localized(_688356))], (3066 ^ _596863) ^ [_688564, _688566] : [objectfoundinlocation(_688566, _688564), -(spatialthing_nonsituational(_688566))], (3072 ^ _596863) ^ [_688772, _688774] : [objectfoundinlocation(_688774, _688772), -(spatialthing_localized(_688774))], (3078 ^ _596863) ^ [_688994, _688996, _688998] : [-(objectfoundinlocation(_688998, _688994)), objectfoundinlocation(_688998, _688996), objectfoundinlocation(_688996, _688994)], (3088 ^ _596863) ^ [_689273] : [objectfoundinlocation(_689273, _689273)], (3090 ^ _596863) ^ [_689394, _689396, _689398] : [-(objectfoundinlocation(_689398, _689394)), objectfoundinlocation(_689398, _689396), geopoliticalsubdivision(_689394, _689396)], (3100 ^ _596863) ^ [_689717, _689719, _689721] : [-(objectfoundinlocation(_689721, _689717)), objectfoundinlocation(_689721, _689719), geographicallysubsumes(_689717, _689719)], (3110 ^ _596863) ^ [_690040, _690042, _690044] : [-(objectfoundinlocation(_690044, _690040)), objectfoundinlocation(_690044, _690042), subregions(_690040, _690042)], (3120 ^ _596863) ^ [_690335] : [isa(_690335, c_ship), -(ship(_690335))], (3126 ^ _596863) ^ [_690523] : [ship(_690523), -(isa(_690523, c_ship))], (3132 ^ _596863) ^ [_690724, _690726, _690728] : [-(natfunction(f_subcollectionofwithrelationtofn(_690728, _690726, _690724), c_subcollectionofwithrelationtofn))], (3134 ^ _596863) ^ [_690838, _690840, _690842] : [-(natargument(f_subcollectionofwithrelationtofn(_690842, _690840, _690838), n_1, _690842))], (3136 ^ _596863) ^ [_690953, _690955, _690957] : [-(natargument(f_subcollectionofwithrelationtofn(_690957, _690955, _690953), n_2, _690955))], (3138 ^ _596863) ^ [_691068, _691070, _691072] : [-(natargument(f_subcollectionofwithrelationtofn(_691072, _691070, _691068), n_3, _691068))], (3140 ^ _596863) ^ [_691183, _691185, _691187] : [-(collection(f_subcollectionofwithrelationtofn(_691187, _691185, _691183)))], (3142 ^ _596863) ^ [_691283] : [isa(_691283, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691283))], (3148 ^ _596863) ^ [_691471] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691471), -(isa(_691471, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _596863) ^ [_691659] : [isa(_691659, c_tptpcol_4_65539), -(tptpcol_4_65539(_691659))], (3160 ^ _596863) ^ [_691847] : [tptpcol_4_65539(_691847), -(isa(_691847, c_tptpcol_4_65539))], (3166 ^ _596863) ^ [_692035] : [isa(_692035, c_tptpcol_5_69635), -(tptpcol_5_69635(_692035))], (3172 ^ _596863) ^ [_692223] : [tptpcol_5_69635(_692223), -(isa(_692223, c_tptpcol_5_69635))], (3178 ^ _596863) ^ [_692411] : [isa(_692411, c_tptpcol_3_16386), -(tptpcol_3_16386(_692411))], (3184 ^ _596863) ^ [_692599] : [tptpcol_3_16386(_692599), -(isa(_692599, c_tptpcol_3_16386))], (3190 ^ _596863) ^ [_692801, _692803] : [no(_692803, _692801), -(setorcollection(_692801))], (3196 ^ _596863) ^ [_693009, _693011] : [no(_693011, _693009), -(setorcollection(_693011))], (3202 ^ _596863) ^ [_693217, _693219] : [no(_693219, _693217), -(no(_693217, _693219))], (3208 ^ _596863) ^ [_693441, _693443, _693445] : [-(no(_693445, _693441)), no(_693445, _693443), subsetof(_693441, _693443)], (3218 ^ _596863) ^ [_693764, _693766, _693768] : [-(no(_693764, _693766)), no(_693768, _693766), subsetof(_693764, _693768)], (3228 ^ _596863) ^ [_694087, _694089, _694091] : [-(no(_694087, _694089)), no(_694091, _694089), genls(_694087, _694091)], (3238 ^ _596863) ^ [_694410, _694412, _694414] : [-(no(_694414, _694410)), no(_694414, _694412), genls(_694410, _694412)], (3248 ^ _596863) ^ [_694733, _694735, _694737] : [-(no(_694733, _694735)), no(_694737, _694735), subsetof(_694733, _694737)], (3258 ^ _596863) ^ [_695056, _695058, _695060] : [-(no(_695060, _695056)), no(_695060, _695058), subsetof(_695056, _695058)], (3268 ^ _596863) ^ [_695351] : [isa(_695351, c_geographicalregion), -(geographicalregion(_695351))], (3274 ^ _596863) ^ [_695539] : [geographicalregion(_695539), -(isa(_695539, c_geographicalregion))], (3280 ^ _596863) ^ [_695712] : [-(natfunction(f_tptpquantityfn_21(_695712), c_tptpquantityfn_21))], (3282 ^ _596863) ^ [_695792] : [-(natargument(f_tptpquantityfn_21(_695792), n_1, _695792))], (3284 ^ _596863) ^ [_695873] : [-(tptpquantity(f_tptpquantityfn_21(_695873)))], (3286 ^ _596863) ^ [_695981, _695983] : [airporthasiatacode(_695983, _695981), -(stringoflengthfn3(_695981))], (3292 ^ _596863) ^ [_696189, _696191] : [airporthasiatacode(_696191, _696189), -(airport_physical(_696191))], (3298 ^ _596863) ^ [_696383] : [isa(_696383, c_airport_physical), -(airport_physical(_696383))], (3304 ^ _596863) ^ [_696571] : [airport_physical(_696571), -(isa(_696571, c_airport_physical))], (3310 ^ _596863) ^ [_696772, _696774, _696776] : [-(natfunction(f_instancewithrelationtofn(_696776, _696774, _696772), c_instancewithrelationtofn))], (3312 ^ _596863) ^ [_696886, _696888, _696890] : [-(natargument(f_instancewithrelationtofn(_696890, _696888, _696886), n_1, _696890))], (3314 ^ _596863) ^ [_697001, _697003, _697005] : [-(natargument(f_instancewithrelationtofn(_697005, _697003, _697001), n_2, _697003))], (3316 ^ _596863) ^ [_697116, _697118, _697120] : [-(natargument(f_instancewithrelationtofn(_697120, _697118, _697116), n_3, _697116))], (3318 ^ _596863) ^ [_697231, _697233, _697235] : [-(thing(f_instancewithrelationtofn(_697235, _697233, _697231)))], (3320 ^ _596863) ^ [_697331] : [isa(_697331, c_tptpcol_6_112641), -(tptpcol_6_112641(_697331))], (3326 ^ _596863) ^ [_697519] : [tptpcol_6_112641(_697519), -(isa(_697519, c_tptpcol_6_112641))], (3332 ^ _596863) ^ [_697707] : [isa(_697707, c_tptpcol_7_113665), -(tptpcol_7_113665(_697707))], (3338 ^ _596863) ^ [_697895] : [tptpcol_7_113665(_697895), -(isa(_697895, c_tptpcol_7_113665))], (3344 ^ _596863) ^ [_698083] : [isa(_698083, c_artifact), -(artifact(_698083))], (3350 ^ _596863) ^ [_698271] : [artifact(_698271), -(isa(_698271, c_artifact))], (3356 ^ _596863) ^ [_698459] : [isa(_698459, c_tptpcol_13_18664), -(tptpcol_13_18664(_698459))], (3362 ^ _596863) ^ [_698647] : [tptpcol_13_18664(_698647), -(isa(_698647, c_tptpcol_13_18664))], (3368 ^ _596863) ^ [_698835] : [isa(_698835, c_firstordercollection), -(firstordercollection(_698835))], (3374 ^ _596863) ^ [_699023] : [firstordercollection(_699023), -(isa(_699023, c_firstordercollection))], (3380 ^ _596863) ^ [_699196] : [-(natfunction(f_tptpquantityfn_14(_699196), c_tptpquantityfn_14))], (3382 ^ _596863) ^ [_699276] : [-(natargument(f_tptpquantityfn_14(_699276), n_1, _699276))], (3384 ^ _596863) ^ [_699357] : [-(tptpquantity(f_tptpquantityfn_14(_699357)))], (3386 ^ _596863) ^ [_699451] : [isa(_699451, c_supplies), -(supplies(_699451))], (3392 ^ _596863) ^ [_699639] : [supplies(_699639), -(isa(_699639, c_supplies))], (3398 ^ _596863) ^ [_699827] : [isa(_699827, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_699827))], (3404 ^ _596863) ^ [_700015] : [inanimateobject_nonnatural(_700015), -(isa(_700015, c_inanimateobject_nonnatural))], (3410 ^ _596863) ^ [_700203] : [isa(_700203, c_tptpcol_13_22071), -(tptpcol_13_22071(_700203))], (3416 ^ _596863) ^ [_700391] : [tptpcol_13_22071(_700391), -(isa(_700391, c_tptpcol_13_22071))], (3422 ^ _596863) ^ [_700579] : [isa(_700579, c_tptpcol_14_22072), -(tptpcol_14_22072(_700579))], (3428 ^ _596863) ^ [_700767] : [tptpcol_14_22072(_700767), -(isa(_700767, c_tptpcol_14_22072))], (3434 ^ _596863) ^ [_700955] : [isa(_700955, c_tptpcol_7_108547), -(tptpcol_7_108547(_700955))], (3440 ^ _596863) ^ [_701143] : [tptpcol_7_108547(_701143), -(isa(_701143, c_tptpcol_7_108547))], (3446 ^ _596863) ^ [_701331] : [isa(_701331, c_tptpcol_8_109059), -(tptpcol_8_109059(_701331))], (3452 ^ _596863) ^ [_701519] : [tptpcol_8_109059(_701519), -(isa(_701519, c_tptpcol_8_109059))], (3458 ^ _596863) ^ [_701707] : [isa(_701707, c_tptpcol_14_93774), -(tptpcol_14_93774(_701707))], (3464 ^ _596863) ^ [_701895] : [tptpcol_14_93774(_701895), -(isa(_701895, c_tptpcol_14_93774))], (3470 ^ _596863) ^ [_702083] : [isa(_702083, c_tptpcol_15_93775), -(tptpcol_15_93775(_702083))], (3476 ^ _596863) ^ [_702271] : [tptpcol_15_93775(_702271), -(isa(_702271, c_tptpcol_15_93775))], (3482 ^ _596863) ^ [_702459] : [isa(_702459, c_tptpcol_16_8886), -(tptpcol_16_8886(_702459))], (3488 ^ _596863) ^ [_702647] : [tptpcol_16_8886(_702647), -(isa(_702647, c_tptpcol_16_8886))], (3494 ^ _596863) ^ [_702849, _702851] : [orientation(_702851, _702849), -(orientationvector(_702849))], (3500 ^ _596863) ^ [_703057, _703059] : [orientation(_703059, _703057), -(spatialthing_localized(_703059))], (3506 ^ _596863) ^ [_703251] : [isa(_703251, c_orientationvector), -(orientationvector(_703251))], (3512 ^ _596863) ^ [_703439] : [orientationvector(_703439), -(isa(_703439, c_orientationvector))], (3518 ^ _596863) ^ [_703627] : [isa(_703627, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_703627))], (3524 ^ _596863) ^ [_703815] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_703815), -(isa(_703815, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _596863) ^ [_704017, _704019] : [tptptypes_9_824(_704019, _704017), -(firstordercollection(_704017))], (3536 ^ _596863) ^ [_704225, _704227] : [tptptypes_9_824(_704227, _704225), -(firstordercollection(_704227))], (3542 ^ _596863) ^ [_704433, _704435] : [tptptypes_7_396(_704435, _704433), -(firstordercollection(_704433))], (3548 ^ _596863) ^ [_704641, _704643] : [tptptypes_7_396(_704643, _704641), -(firstordercollection(_704643))], (3554 ^ _596863) ^ [_704835] : [isa(_704835, c_tptpcol_12_22055), -(tptpcol_12_22055(_704835))], (3560 ^ _596863) ^ [_705023] : [tptpcol_12_22055(_705023), -(isa(_705023, c_tptpcol_12_22055))], (3566 ^ _596863) ^ [_705211] : [isa(_705211, c_tptpcol_16_29490), -(tptpcol_16_29490(_705211))], (3572 ^ _596863) ^ [_705399] : [tptpcol_16_29490(_705399), -(isa(_705399, c_tptpcol_16_29490))], (3578 ^ _596863) ^ [_705601, _705603] : [tptp_9_720(_705603, _705601), -(tptpcol_5_28674(_705601))], (3584 ^ _596863) ^ [_705809, _705811] : [tptp_9_720(_705811, _705809), -(executionbyfiringsquad(_705811))], (3590 ^ _596863) ^ [_706003] : [isa(_706003, c_runningshorts), -(runningshorts(_706003))], (3596 ^ _596863) ^ [_706191] : [runningshorts(_706191), -(isa(_706191, c_runningshorts))], (3602 ^ _596863) ^ [_706379] : [isa(_706379, c_tptpcol_9_118019), -(tptpcol_9_118019(_706379))], (3608 ^ _596863) ^ [_706567] : [tptpcol_9_118019(_706567), -(isa(_706567, c_tptpcol_9_118019))], (3614 ^ _596863) ^ [_706755] : [isa(_706755, c_tptpcol_16_31868), -(tptpcol_16_31868(_706755))], (3620 ^ _596863) ^ [_706943] : [tptpcol_16_31868(_706943), -(isa(_706943, c_tptpcol_16_31868))], (3626 ^ _596863) ^ [_707131] : [isa(_707131, c_movement_translationevent), -(movement_translationevent(_707131))], (3632 ^ _596863) ^ [_707319] : [movement_translationevent(_707319), -(isa(_707319, c_movement_translationevent))], (3638 ^ _596863) ^ [_707521, _707523] : [directionoftranslation_throughout(_707523, _707521), -(unitvectorinterval(_707521))], (3644 ^ _596863) ^ [_707729, _707731] : [directionoftranslation_throughout(_707731, _707729), -(movement_translationevent(_707731))], (3650 ^ _596863) ^ [_707951, _707953, _707955] : [-(directionoftranslation_throughout(_707951, _707953)), directionoftranslation_throughout(_707955, _707953), subevents(_707955, _707951)], (3660 ^ _596863) ^ [_708246] : [isa(_708246, c_unitvectorinterval), -(unitvectorinterval(_708246))], (3666 ^ _596863) ^ [_708434] : [unitvectorinterval(_708434), -(isa(_708434, c_unitvectorinterval))], (3672 ^ _596863) ^ [_708622] : [isa(_708622, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708622))], (3678 ^ _596863) ^ [_708810] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708810), -(isa(_708810, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _596863) ^ [_709012, _709014] : [tptp_8_875(_709014, _709012), -(tptpcol_4_24578(_709012))], (3690 ^ _596863) ^ [_709220, _709222] : [tptp_8_875(_709222, _709220), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709222))], (3696 ^ _596863) ^ [_709442, _709444, _709446] : [relationallexists(_709446, _709444, _709442), -(collection(_709442))], (3702 ^ _596863) ^ [_709672, _709674, _709676] : [relationallexists(_709676, _709674, _709672), -(collection(_709674))], (3708 ^ _596863) ^ [_709902, _709904, _709906] : [relationallexists(_709906, _709904, _709902), -(binarypredicate(_709906))], (3714 ^ _596863) ^ [_710104] : [isa(_710104, c_tptpcol_16_10258), -(tptpcol_16_10258(_710104))], (3720 ^ _596863) ^ [_710292] : [tptpcol_16_10258(_710292), -(isa(_710292, c_tptpcol_16_10258))], (3726 ^ _596863) ^ [_710480] : [isa(_710480, c_pushingababycarriage), -(pushingababycarriage(_710480))], (3732 ^ _596863) ^ [_710668] : [pushingababycarriage(_710668), -(isa(_710668, c_pushingababycarriage))], (3738 ^ _596863) ^ [_710856] : [isa(_710856, c_aspatialinformationstore), -(aspatialinformationstore(_710856))], (3744 ^ _596863) ^ [_711044] : [aspatialinformationstore(_711044), -(isa(_711044, c_aspatialinformationstore))], (3750 ^ _596863) ^ [_711232] : [isa(_711232, c_collection), -(collection(_711232))], (3756 ^ _596863) ^ [_711420] : [collection(_711420), -(isa(_711420, c_collection))], (3762 ^ _596863) ^ [_711608] : [isa(_711608, c_fixedordercollection), -(fixedordercollection(_711608))], (3768 ^ _596863) ^ [_711796] : [fixedordercollection(_711796), -(isa(_711796, c_fixedordercollection))], (3774 ^ _596863) ^ [_711984] : [isa(_711984, c_tptpcol_8_92164), -(tptpcol_8_92164(_711984))], (3780 ^ _596863) ^ [_712172] : [tptpcol_8_92164(_712172), -(isa(_712172, c_tptpcol_8_92164))], (3786 ^ _596863) ^ [_712360] : [isa(_712360, c_tptpcol_9_92165), -(tptpcol_9_92165(_712360))], (3792 ^ _596863) ^ [_712548] : [tptpcol_9_92165(_712548), -(isa(_712548, c_tptpcol_9_92165))], (3798 ^ _596863) ^ [_712736] : [isa(_712736, c_tptpcol_1_1), -(tptpcol_1_1(_712736))], (3804 ^ _596863) ^ [_712924] : [tptpcol_1_1(_712924), -(isa(_712924, c_tptpcol_1_1))], (3810 ^ _596863) ^ [_713112] : [isa(_713112, c_tptpcol_2_2), -(tptpcol_2_2(_713112))], (3816 ^ _596863) ^ [_713300] : [tptpcol_2_2(_713300), -(isa(_713300, c_tptpcol_2_2))], (3822 ^ _596863) ^ [_713502, _713504] : [tptptypes_7_691(_713504, _713502), -(firstordercollection(_713502))], (3828 ^ _596863) ^ [_713710, _713712] : [tptptypes_7_691(_713712, _713710), -(firstordercollection(_713712))], (3834 ^ _596863) ^ [_713904] : [isa(_713904, c_tptpcol_11_26887), -(tptpcol_11_26887(_713904))], (3840 ^ _596863) ^ [_714092] : [tptpcol_11_26887(_714092), -(isa(_714092, c_tptpcol_11_26887))], (3846 ^ _596863) ^ [_714280] : [isa(_714280, c_tptpcol_12_26919), -(tptpcol_12_26919(_714280))], (3852 ^ _596863) ^ [_714468] : [tptpcol_12_26919(_714468), -(isa(_714468, c_tptpcol_12_26919))], (3858 ^ _596863) ^ [_714670, _714672] : [tptptypes_6_818(_714672, _714670), -(firstordercollection(_714670))], (3864 ^ _596863) ^ [_714878, _714880] : [tptptypes_6_818(_714880, _714878), -(firstordercollection(_714880))], (3870 ^ _596863) ^ [_715086, _715088] : [tptptypes_7_819(_715088, _715086), -(firstordercollection(_715086))], (3876 ^ _596863) ^ [_715294, _715296] : [tptptypes_7_819(_715296, _715294), -(firstordercollection(_715296))], (3882 ^ _596863) ^ [_715488] : [isa(_715488, c_correctivelensprescription), -(correctivelensprescription(_715488))], (3888 ^ _596863) ^ [_715676] : [correctivelensprescription(_715676), -(isa(_715676, c_correctivelensprescription))], (3894 ^ _596863) ^ [_715878, _715880] : [products(_715880, _715878), -(artifact(_715878))], (3900 ^ _596863) ^ [_716086, _716088] : [products(_716088, _716086), -(creationordestructionevent(_716088))], (3906 ^ _596863) ^ [_716280] : [isa(_716280, c_issuingaprescription), -(issuingaprescription(_716280))], (3912 ^ _596863) ^ [_716468] : [issuingaprescription(_716468), -(isa(_716468, c_issuingaprescription))], (3918 ^ _596863) ^ [_716669, _716671, _716673] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_716673, _716671, _716669), c_subcollectionofwithrelationtotypefn))], (3920 ^ _596863) ^ [_716783, _716785, _716787] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716787, _716785, _716783), n_1, _716787))], (3922 ^ _596863) ^ [_716898, _716900, _716902] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716902, _716900, _716898), n_2, _716900))], (3924 ^ _596863) ^ [_717013, _717015, _717017] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717017, _717015, _717013), n_3, _717013))], (3926 ^ _596863) ^ [_717128, _717130, _717132] : [-(collection(f_subcollectionofwithrelationtotypefn(_717132, _717130, _717128)))], (3928 ^ _596863) ^ [_717228] : [isa(_717228, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717228))], (3934 ^ _596863) ^ [_717416] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717416), -(isa(_717416, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _596863) ^ [_717604] : [isa(_717604, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_717604))], (3946 ^ _596863) ^ [_717792] : [mathematicalorcomputationalthing(_717792), -(isa(_717792, c_mathematicalorcomputationalthing))], (3952 ^ _596863) ^ [_717980] : [isa(_717980, c_tptpcol_10_118020), -(tptpcol_10_118020(_717980))], (3958 ^ _596863) ^ [_718168] : [tptpcol_10_118020(_718168), -(isa(_718168, c_tptpcol_10_118020))], (3964 ^ _596863) ^ [_718356] : [isa(_718356, c_tptpcol_11_118084), -(tptpcol_11_118084(_718356))], (3970 ^ _596863) ^ [_718544] : [tptpcol_11_118084(_718544), -(isa(_718544, c_tptpcol_11_118084))], (3976 ^ _596863) ^ [_718732] : [isa(_718732, c_terroristgroup), -(terroristgroup(_718732))], (3982 ^ _596863) ^ [_718920] : [terroristgroup(_718920), -(isa(_718920, c_terroristgroup))], (3988 ^ _596863) ^ [_719122, _719124] : [hasmembers(_719124, _719122), -(agent_generic(_719122))], (3994 ^ _596863) ^ [_719330, _719332] : [hasmembers(_719332, _719330), -(organization(_719332))], (4000 ^ _596863) ^ [_719524] : [isa(_719524, c_terrorist), -(terrorist(_719524))], (4006 ^ _596863) ^ [_719712] : [terrorist(_719712), -(isa(_719712, c_terrorist))], (4012 ^ _596863) ^ [_719913, _719915, _719917] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_719917, _719915, _719913), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _596863) ^ [_720027, _720029, _720031] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720031, _720029, _720027), n_1, _720031))], (4016 ^ _596863) ^ [_720142, _720144, _720146] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720146, _720144, _720142), n_2, _720144))], (4018 ^ _596863) ^ [_720257, _720259, _720261] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720261, _720259, _720257), n_3, _720257))], (4020 ^ _596863) ^ [_720372, _720374, _720376] : [-(collection(f_subcollectionofwithrelationfromtypefn(_720376, _720374, _720372)))], (4022 ^ _596863) ^ [_720472] : [isa(_720472, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720472))], (4028 ^ _596863) ^ [_720660] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720660), -(isa(_720660, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _596863) ^ [_720862, _720864] : [prettystring(_720864, _720862), -(controlcharacterfreestring(_720862))], (4040 ^ _596863) ^ [_721070, _721072] : [prettystring(_721072, _721070), -(thing(_721072))], (4046 ^ _596863) ^ [_721264] : [isa(_721264, c_tptpcol_0_0), -(tptpcol_0_0(_721264))], (4052 ^ _596863) ^ [_721452] : [tptpcol_0_0(_721452), -(isa(_721452, c_tptpcol_0_0))], (4058 ^ _596863) ^ [_721640] : [isa(_721640, c_geolevel_3), -(geolevel_3(_721640))], (4064 ^ _596863) ^ [_721828] : [geolevel_3(_721828), -(isa(_721828, c_geolevel_3))], (4070 ^ _596863) ^ [_722016] : [isa(_722016, c_tptpcol_4_24578), -(tptpcol_4_24578(_722016))], (4076 ^ _596863) ^ [_722204] : [tptpcol_4_24578(_722204), -(isa(_722204, c_tptpcol_4_24578))], (4082 ^ _596863) ^ [_722392] : [isa(_722392, c_tptpcol_5_24579), -(tptpcol_5_24579(_722392))], (4088 ^ _596863) ^ [_722580] : [tptpcol_5_24579(_722580), -(isa(_722580, c_tptpcol_5_24579))], (4094 ^ _596863) ^ [_722768] : [isa(_722768, c_tptpcol_5_106498), -(tptpcol_5_106498(_722768))], (4100 ^ _596863) ^ [_722956] : [tptpcol_5_106498(_722956), -(isa(_722956, c_tptpcol_5_106498))], (4106 ^ _596863) ^ [_723144] : [isa(_723144, c_tptpcol_12_109157), -(tptpcol_12_109157(_723144))], (4112 ^ _596863) ^ [_723332] : [tptpcol_12_109157(_723332), -(isa(_723332, c_tptpcol_12_109157))], (4118 ^ _596863) ^ [_723520] : [isa(_723520, c_tptpcol_13_109173), -(tptpcol_13_109173(_723520))], (4124 ^ _596863) ^ [_723708] : [tptpcol_13_109173(_723708), -(isa(_723708, c_tptpcol_13_109173))], (4130 ^ _596863) ^ [_723896] : [isa(_723896, c_mathematicalthing), -(mathematicalthing(_723896))], (4136 ^ _596863) ^ [_724084] : [mathematicalthing(_724084), -(isa(_724084, c_mathematicalthing))], (4142 ^ _596863) ^ [_724272] : [isa(_724272, c_setorcollection), -(setorcollection(_724272))], (4148 ^ _596863) ^ [_724460] : [setorcollection(_724460), -(isa(_724460, c_setorcollection))], (4154 ^ _596863) ^ [_724648] : [isa(_724648, c_tptpcol_11_18631), -(tptpcol_11_18631(_724648))], (4160 ^ _596863) ^ [_724836] : [tptpcol_11_18631(_724836), -(isa(_724836, c_tptpcol_11_18631))], (4166 ^ _596863) ^ [_725024] : [isa(_725024, c_tptpcol_12_18663), -(tptpcol_12_18663(_725024))], (4172 ^ _596863) ^ [_725212] : [tptpcol_12_18663(_725212), -(isa(_725212, c_tptpcol_12_18663))], (4178 ^ _596863) ^ [_725414, _725416] : [tptptypes_8_400(_725416, _725414), -(firstordercollection(_725414))], (4184 ^ _596863) ^ [_725622, _725624] : [tptptypes_8_400(_725624, _725622), -(firstordercollection(_725624))], (4190 ^ _596863) ^ [_725830, _725832] : [tptptypes_9_401(_725832, _725830), -(firstordercollection(_725830))], (4196 ^ _596863) ^ [_726038, _726040] : [tptptypes_9_401(_726040, _726038), -(firstordercollection(_726040))], (4202 ^ _596863) ^ [_726217] : [-(natfunction(f_tptpquantityfn_13(_726217), c_tptpquantityfn_13))], (4204 ^ _596863) ^ [_726297] : [-(natargument(f_tptpquantityfn_13(_726297), n_1, _726297))], (4206 ^ _596863) ^ [_726378] : [-(tptpquantity(f_tptpquantityfn_13(_726378)))], (4208 ^ _596863) ^ [_726486, _726488] : [borderson(_726488, _726486), -(geographicalregion(_726486))], (4214 ^ _596863) ^ [_726694, _726696] : [borderson(_726696, _726694), -(geographicalregion(_726696))], (4220 ^ _596863) ^ [_726902, _726904] : [borderson(_726904, _726902), -(borderson(_726902, _726904))], (4226 ^ _596863) ^ [_727082] : [borderson(_727082, _727082)], (4228 ^ _596863) ^ [_727175] : [isa(_727175, c_tptpcol_14_92264), -(tptpcol_14_92264(_727175))], (4234 ^ _596863) ^ [_727363] : [tptpcol_14_92264(_727363), -(isa(_727363, c_tptpcol_14_92264))], (4240 ^ _596863) ^ [_727551] : [isa(_727551, c_tptpcol_15_92268), -(tptpcol_15_92268(_727551))], (4246 ^ _596863) ^ [_727739] : [tptpcol_15_92268(_727739), -(isa(_727739, c_tptpcol_15_92268))], (4252 ^ _596863) ^ [_727927] : [isa(_727927, c_tptpcol_6_116738), -(tptpcol_6_116738(_727927))], (4258 ^ _596863) ^ [_728115] : [tptpcol_6_116738(_728115), -(isa(_728115, c_tptpcol_6_116738))], (4264 ^ _596863) ^ [_728317, _728319] : [tptptypes_5_387(_728319, _728317), -(firstordercollection(_728317))], (4270 ^ _596863) ^ [_728525, _728527] : [tptptypes_5_387(_728527, _728525), -(firstordercollection(_728527))], (4276 ^ _596863) ^ [_728733, _728735] : [tptptypes_6_388(_728735, _728733), -(firstordercollection(_728733))], (4282 ^ _596863) ^ [_728941, _728943] : [tptptypes_6_388(_728943, _728941), -(firstordercollection(_728943))], (4288 ^ _596863) ^ [_729135] : [isa(_729135, c_shavingrazor_manual), -(shavingrazor_manual(_729135))], (4294 ^ _596863) ^ [_729323] : [shavingrazor_manual(_729323), -(isa(_729323, c_shavingrazor_manual))], (4300 ^ _596863) ^ [_729511] : [isa(_729511, c_tptpcol_9_109060), -(tptpcol_9_109060(_729511))], (4306 ^ _596863) ^ [_729699] : [tptpcol_9_109060(_729699), -(isa(_729699, c_tptpcol_9_109060))], (4312 ^ _596863) ^ [_729887] : [isa(_729887, c_tptpcol_10_109061), -(tptpcol_10_109061(_729887))], (4318 ^ _596863) ^ [_730075] : [tptpcol_10_109061(_730075), -(isa(_730075, c_tptpcol_10_109061))], (4324 ^ _596863) ^ [_730263] : [isa(_730263, c_executionbyfiringsquad), -(executionbyfiringsquad(_730263))], (4330 ^ _596863) ^ [_730451] : [executionbyfiringsquad(_730451), -(isa(_730451, c_executionbyfiringsquad))], (4336 ^ _596863) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _596863) ^ [_730692] : [isa(_730692, c_navypersonnel), -(navypersonnel(_730692))], (4344 ^ _596863) ^ [_730880] : [navypersonnel(_730880), -(isa(_730880, c_navypersonnel))], (4350 ^ _596863) ^ [_731068] : [isa(_731068, c_tptpcol_12_92262), -(tptpcol_12_92262(_731068))], (4356 ^ _596863) ^ [_731256] : [tptpcol_12_92262(_731256), -(isa(_731256, c_tptpcol_12_92262))], (4362 ^ _596863) ^ [_731444] : [isa(_731444, c_thing), -(thing(_731444))], (4368 ^ _596863) ^ [_731632] : [thing(_731632), -(isa(_731632, c_thing))], (4374 ^ _596863) ^ [_731820] : [isa(_731820, c_computerdataartifact), -(computerdataartifact(_731820))], (4380 ^ _596863) ^ [_732008] : [computerdataartifact(_732008), -(isa(_732008, c_computerdataartifact))], (4386 ^ _596863) ^ [_732196] : [isa(_732196, c_applicationcontext), -(applicationcontext(_732196))], (4392 ^ _596863) ^ [_732384] : [applicationcontext(_732384), -(isa(_732384, c_applicationcontext))], (4398 ^ _596863) ^ [_732586, _732588] : [inregion(_732588, _732586), -(spatialthing_nonsituational(_732586))], (4404 ^ _596863) ^ [_732794, _732796] : [inregion(_732796, _732794), -(spatialthing_nonsituational(_732796))], (4410 ^ _596863) ^ [_733016, _733018, _733020] : [-(inregion(_733020, _733016)), inregion(_733020, _733018), inregion(_733018, _733016)], (4420 ^ _596863) ^ [_733311] : [spatialthing_nonsituational(_733311), -(inregion(_733311, _733311))], (4426 ^ _596863) ^ [_733484] : [-(natfunction(f_tptpquantityfn_1(_733484), c_tptpquantityfn_1))], (4428 ^ _596863) ^ [_733564] : [-(natargument(f_tptpquantityfn_1(_733564), n_1, _733564))], (4430 ^ _596863) ^ [_733645] : [-(tptpquantity(f_tptpquantityfn_1(_733645)))], (4432 ^ _596863) ^ [_733739] : [isa(_733739, c_furpelt), -(furpelt(_733739))], (4438 ^ _596863) ^ [_733927] : [furpelt(_733927), -(isa(_733927, c_furpelt))], (4444 ^ _596863) ^ [_734129, _734131] : [tptpofobject(_734131, _734129), -(tptpquantity(_734129))], (4450 ^ _596863) ^ [_734337, _734339] : [tptpofobject(_734339, _734337), -(partiallytangible(_734339))], (4456 ^ _596863) ^ [_734559, _734561, _734563] : [relationallinstance(_734563, _734561, _734559), -(thing(_734559))], (4462 ^ _596863) ^ [_734789, _734791, _734793] : [relationallinstance(_734793, _734791, _734789), -(collection(_734791))], (4468 ^ _596863) ^ [_735019, _735021, _735023] : [relationallinstance(_735023, _735021, _735019), -(binarypredicate(_735023))], (4474 ^ _596863) ^ [_735221] : [isa(_735221, c_tptpcol_13_93766), -(tptpcol_13_93766(_735221))], (4480 ^ _596863) ^ [_735409] : [tptpcol_13_93766(_735409), -(isa(_735409, c_tptpcol_13_93766))], (4486 ^ _596863) ^ [_735597] : [isa(_735597, c_tptpcol_9_40196), -(tptpcol_9_40196(_735597))], (4492 ^ _596863) ^ [_735785] : [tptpcol_9_40196(_735785), -(isa(_735785, c_tptpcol_9_40196))], (4498 ^ _596863) ^ [_735973] : [isa(_735973, c_tptpcol_10_40324), -(tptpcol_10_40324(_735973))], (4504 ^ _596863) ^ [_736161] : [tptpcol_10_40324(_736161), -(isa(_736161, c_tptpcol_10_40324))], (4510 ^ _596863) ^ [_736349] : [isa(_736349, c_tptpcol_7_72707), -(tptpcol_7_72707(_736349))], (4516 ^ _596863) ^ [_736537] : [tptpcol_7_72707(_736537), -(isa(_736537, c_tptpcol_7_72707))], (4522 ^ _596863) ^ [_736725] : [isa(_736725, c_tptpcol_8_72708), -(tptpcol_8_72708(_736725))], (4528 ^ _596863) ^ [_736913] : [tptpcol_8_72708(_736913), -(isa(_736913, c_tptpcol_8_72708))], (4534 ^ _596863) ^ [_737101] : [isa(_737101, c_tptpcol_11_93764), -(tptpcol_11_93764(_737101))], (4540 ^ _596863) ^ [_737289] : [tptpcol_11_93764(_737289), -(isa(_737289, c_tptpcol_11_93764))], (4546 ^ _596863) ^ [_737477] : [isa(_737477, c_tptpcol_12_93765), -(tptpcol_12_93765(_737477))], (4552 ^ _596863) ^ [_737665] : [tptpcol_12_93765(_737665), -(isa(_737665, c_tptpcol_12_93765))], (4558 ^ _596863) ^ [_737853] : [isa(_737853, c_tptpcol_4_114689), -(tptpcol_4_114689(_737853))], (4564 ^ _596863) ^ [_738041] : [tptpcol_4_114689(_738041), -(isa(_738041, c_tptpcol_4_114689))], (4570 ^ _596863) ^ [_738229] : [isa(_738229, c_tptpcol_5_114690), -(tptpcol_5_114690(_738229))], (4576 ^ _596863) ^ [_738417] : [tptpcol_5_114690(_738417), -(isa(_738417, c_tptpcol_5_114690))], (4582 ^ _596863) ^ [_738605] : [isa(_738605, c_tptpcol_3_98305), -(tptpcol_3_98305(_738605))], (4588 ^ _596863) ^ [_738793] : [tptpcol_3_98305(_738793), -(isa(_738793, c_tptpcol_3_98305))], (4594 ^ _596863) ^ [_738981] : [isa(_738981, c_tptpcol_4_106497), -(tptpcol_4_106497(_738981))], (4600 ^ _596863) ^ [_739169] : [tptpcol_4_106497(_739169), -(isa(_739169, c_tptpcol_4_106497))], (4606 ^ _596863) ^ [_739384, _739386, _739388, _739390] : [-(natfunction(f_relationexistsallfn(_739390, _739388, _739386, _739384), c_relationexistsallfn))], (4608 ^ _596863) ^ [_739515, _739517, _739519, _739521] : [-(natargument(f_relationexistsallfn(_739521, _739519, _739517, _739515), n_1, _739521))], (4610 ^ _596863) ^ [_739647, _739649, _739651, _739653] : [-(natargument(f_relationexistsallfn(_739653, _739651, _739649, _739647), n_2, _739651))], (4612 ^ _596863) ^ [_739779, _739781, _739783, _739785] : [-(natargument(f_relationexistsallfn(_739785, _739783, _739781, _739779), n_3, _739781))], (4614 ^ _596863) ^ [_739911, _739913, _739915, _739917] : [-(natargument(f_relationexistsallfn(_739917, _739915, _739913, _739911), n_4, _739911))], (4616 ^ _596863) ^ [_740043, _740045, _740047, _740049] : [-(thing(f_relationexistsallfn(_740049, _740047, _740045, _740043)))], (4618 ^ _596863) ^ [_740160, _740162] : [resultisaarg(_740162, _740160), -(positiveinteger(_740160))], (4624 ^ _596863) ^ [_740368, _740370] : [resultisaarg(_740370, _740368), -(function_denotational(_740370))], (4630 ^ _596863) ^ [_740576, _740578] : [tptptypes_7_389(_740578, _740576), -(firstordercollection(_740576))], (4636 ^ _596863) ^ [_740784, _740786] : [tptptypes_7_389(_740786, _740784), -(firstordercollection(_740786))], (4642 ^ _596863) ^ [_740992, _740994] : [tptptypes_8_390(_740994, _740992), -(firstordercollection(_740992))], (4648 ^ _596863) ^ [_741200, _741202] : [tptptypes_8_390(_741202, _741200), -(firstordercollection(_741202))], (4654 ^ _596863) ^ [_741408, _741410] : [tptptypes_8_692(_741410, _741408), -(firstordercollection(_741408))], (4660 ^ _596863) ^ [_741616, _741618] : [tptptypes_8_692(_741618, _741616), -(firstordercollection(_741618))], (4666 ^ _596863) ^ [_741824, _741826] : [tptptypes_9_693(_741826, _741824), -(firstordercollection(_741824))], (4672 ^ _596863) ^ [_742032, _742034] : [tptptypes_9_693(_742034, _742032), -(firstordercollection(_742034))], (4678 ^ _596863) ^ [_742226] : [isa(_742226, c_tptpcol_11_40388), -(tptpcol_11_40388(_742226))], (4684 ^ _596863) ^ [_742414] : [tptpcol_11_40388(_742414), -(isa(_742414, c_tptpcol_11_40388))], (4690 ^ _596863) ^ [_742602] : [isa(_742602, c_marriagelicensedocument), -(marriagelicensedocument(_742602))], (4696 ^ _596863) ^ [_742790] : [marriagelicensedocument(_742790), -(isa(_742790, c_marriagelicensedocument))], (4702 ^ _596863) ^ [_742978] : [isa(_742978, c_tptpcol_1_65536), -(tptpcol_1_65536(_742978))], (4708 ^ _596863) ^ [_743166] : [tptpcol_1_65536(_743166), -(isa(_743166, c_tptpcol_1_65536))], (4714 ^ _596863) ^ [_743354] : [isa(_743354, c_tptpcol_2_98304), -(tptpcol_2_98304(_743354))], (4720 ^ _596863) ^ [_743542] : [tptpcol_2_98304(_743542), -(isa(_743542, c_tptpcol_2_98304))], (4726 ^ _596863) ^ [_743730] : [isa(_743730, c_tptpcol_10_92166), -(tptpcol_10_92166(_743730))], (4732 ^ _596863) ^ [_743918] : [tptpcol_10_92166(_743918), -(isa(_743918, c_tptpcol_10_92166))], (4738 ^ _596863) ^ [_744106] : [isa(_744106, c_tptpcol_11_92230), -(tptpcol_11_92230(_744106))], (4744 ^ _596863) ^ [_744294] : [tptpcol_11_92230(_744294), -(isa(_744294, c_tptpcol_11_92230))], (4750 ^ _596863) ^ [_744482] : [isa(_744482, c_orderingpredicate), -(orderingpredicate(_744482))], (4756 ^ _596863) ^ [_744670] : [orderingpredicate(_744670), -(isa(_744670, c_orderingpredicate))], (4762 ^ _596863) ^ [_744858] : [isa(_744858, c_tptpcol_9_18439), -(tptpcol_9_18439(_744858))], (4768 ^ _596863) ^ [_745046] : [tptpcol_9_18439(_745046), -(isa(_745046, c_tptpcol_9_18439))], (4774 ^ _596863) ^ [_745234] : [isa(_745234, c_tptpcol_10_18567), -(tptpcol_10_18567(_745234))], (4780 ^ _596863) ^ [_745422] : [tptpcol_10_18567(_745422), -(isa(_745422, c_tptpcol_10_18567))], (4786 ^ _596863) ^ [_745610] : [isa(_745610, c_tptpcol_2_65537), -(tptpcol_2_65537(_745610))], (4792 ^ _596863) ^ [_745798] : [tptpcol_2_65537(_745798), -(isa(_745798, c_tptpcol_2_65537))], (4798 ^ _596863) ^ [_745986] : [isa(_745986, c_tptpcol_3_81921), -(tptpcol_3_81921(_745986))], (4804 ^ _596863) ^ [_746174] : [tptpcol_3_81921(_746174), -(isa(_746174, c_tptpcol_3_81921))], (4810 ^ _596863) ^ [_746362] : [isa(_746362, c_artsupplies), -(artsupplies(_746362))], (4816 ^ _596863) ^ [_746550] : [artsupplies(_746550), -(isa(_746550, c_artsupplies))], (4822 ^ _596863) ^ [_746738] : [isa(_746738, c_enduringthing_localized), -(enduringthing_localized(_746738))], (4828 ^ _596863) ^ [_746926] : [enduringthing_localized(_746926), -(isa(_746926, c_enduringthing_localized))], (4834 ^ _596863) ^ [_747114] : [isa(_747114, c_location_underspecified), -(location_underspecified(_747114))], (4840 ^ _596863) ^ [_747302] : [location_underspecified(_747302), -(isa(_747302, c_location_underspecified))], (4846 ^ _596863) ^ [_747490] : [isa(_747490, c_trajector_underspecified), -(trajector_underspecified(_747490))], (4852 ^ _596863) ^ [_747678] : [trajector_underspecified(_747678), -(isa(_747678, c_trajector_underspecified))], (4858 ^ _596863) ^ [_747866] : [isa(_747866, c_individual), -(individual(_747866))], (4864 ^ _596863) ^ [_748054] : [individual(_748054), -(isa(_748054, c_individual))], (4870 ^ _596863) ^ [_748242] : [isa(_748242, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_748242))], (4876 ^ _596863) ^ [_748430] : [partiallyintangibleindividual(_748430), -(isa(_748430, c_partiallyintangibleindividual))], (4882 ^ _596863) ^ [_748618] : [isa(_748618, c_tptpcol_10_22022), -(tptpcol_10_22022(_748618))], (4888 ^ _596863) ^ [_748806] : [tptpcol_10_22022(_748806), -(isa(_748806, c_tptpcol_10_22022))], (4894 ^ _596863) ^ [_748994] : [isa(_748994, c_tptpcol_11_22023), -(tptpcol_11_22023(_748994))], (4900 ^ _596863) ^ [_749182] : [tptpcol_11_22023(_749182), -(isa(_749182, c_tptpcol_11_22023))], (4906 ^ _596863) ^ [_749370] : [isa(_749370, c_tptpcol_5_20483), -(tptpcol_5_20483(_749370))], (4912 ^ _596863) ^ [_749558] : [tptpcol_5_20483(_749558), -(isa(_749558, c_tptpcol_5_20483))], (4918 ^ _596863) ^ [_749746] : [isa(_749746, c_tptpcol_13_72791), -(tptpcol_13_72791(_749746))], (4924 ^ _596863) ^ [_749934] : [tptpcol_13_72791(_749934), -(isa(_749934, c_tptpcol_13_72791))], (4930 ^ _596863) ^ [_750122] : [isa(_750122, c_tptpcol_14_72792), -(tptpcol_14_72792(_750122))], (4936 ^ _596863) ^ [_750310] : [tptpcol_14_72792(_750310), -(isa(_750310, c_tptpcol_14_72792))], (4942 ^ _596863) ^ [_750498] : [isa(_750498, c_ridgeline_topographical), -(ridgeline_topographical(_750498))], (4948 ^ _596863) ^ [_750686] : [ridgeline_topographical(_750686), -(isa(_750686, c_ridgeline_topographical))], (4954 ^ _596863) ^ [_750874] : [isa(_750874, c_tptpcol_4_16387), -(tptpcol_4_16387(_750874))], (4960 ^ _596863) ^ [_751062] : [tptpcol_4_16387(_751062), -(isa(_751062, c_tptpcol_4_16387))], (4966 ^ _596863) ^ [_751250] : [isa(_751250, c_tptpcol_5_16388), -(tptpcol_5_16388(_751250))], (4972 ^ _596863) ^ [_751438] : [tptpcol_5_16388(_751438), -(isa(_751438, c_tptpcol_5_16388))], (4978 ^ _596863) ^ [_751626] : [isa(_751626, c_tptpcol_8_22020), -(tptpcol_8_22020(_751626))], (4984 ^ _596863) ^ [_751814] : [tptpcol_8_22020(_751814), -(isa(_751814, c_tptpcol_8_22020))], (4990 ^ _596863) ^ [_752002] : [isa(_752002, c_tptpcol_9_22021), -(tptpcol_9_22021(_752002))], (4996 ^ _596863) ^ [_752190] : [tptpcol_9_22021(_752190), -(isa(_752190, c_tptpcol_9_22021))], (5002 ^ _596863) ^ [_752378] : [isa(_752378, c_transitivebinarypredicate), -(transitivebinarypredicate(_752378))], (5008 ^ _596863) ^ [_752566] : [transitivebinarypredicate(_752566), -(isa(_752566, c_transitivebinarypredicate))], (5014 ^ _596863) ^ [_752768, _752770] : [geographicalsubregions(_752770, _752768), -(geographicalregion(_752768))], (5020 ^ _596863) ^ [_752976, _752978] : [geographicalsubregions(_752978, _752976), -(geographicalregion(_752978))], (5026 ^ _596863) ^ [_753198, _753200, _753202] : [-(geographicalsubregions(_753202, _753198)), geographicalsubregions(_753202, _753200), geographicalsubregions(_753200, _753198)], (5036 ^ _596863) ^ [_753493] : [geographicalregion(_753493), -(geographicalsubregions(_753493, _753493))], (5042 ^ _596863) ^ [_753681] : [isa(_753681, c_tptpcol_12_40420), -(tptpcol_12_40420(_753681))], (5048 ^ _596863) ^ [_753869] : [tptpcol_12_40420(_753869), -(isa(_753869, c_tptpcol_12_40420))], (5054 ^ _596863) ^ [_754057] : [isa(_754057, c_tptpcol_13_40421), -(tptpcol_13_40421(_754057))], (5060 ^ _596863) ^ [_754245] : [tptpcol_13_40421(_754245), -(isa(_754245, c_tptpcol_13_40421))], (5066 ^ _596863) ^ [_754433] : [isa(_754433, c_tptpcol_6_92162), -(tptpcol_6_92162(_754433))], (5072 ^ _596863) ^ [_754621] : [tptpcol_6_92162(_754621), -(isa(_754621, c_tptpcol_6_92162))], (5078 ^ _596863) ^ [_754809] : [isa(_754809, c_tptpcol_7_93186), -(tptpcol_7_93186(_754809))], (5084 ^ _596863) ^ [_754997] : [tptpcol_7_93186(_754997), -(isa(_754997, c_tptpcol_7_93186))], (5090 ^ _596863) ^ [_755199, _755201] : [most(_755201, _755199), -(setorcollection(_755199))], (5096 ^ _596863) ^ [_755407, _755409] : [most(_755409, _755407), -(setorcollection(_755407))], (5102 ^ _596863) ^ [_755615, _755617] : [most(_755617, _755615), -(setorcollection(_755617))], (5108 ^ _596863) ^ [_755823, _755825] : [most(_755825, _755823), -(setorcollection(_755825))], (5114 ^ _596863) ^ [_756017] : [setorcollection(_756017), -(most(_756017, _756017))], (5120 ^ _596863) ^ [_756205] : [setorcollection(_756205), -(most(_756205, _756205))], (5126 ^ _596863) ^ [_756421, _756423, _756425] : [-(most(_756425, _756421)), most(_756425, _756423), subsetof(_756423, _756421)], (5136 ^ _596863) ^ [_756744, _756746, _756748] : [-(most(_756748, _756744)), most(_756748, _756746), subsetof(_756746, _756744)], (5146 ^ _596863) ^ [_757053, _757055] : [subsetof(_757055, _757053), -(setorcollection(_757053))], (5152 ^ _596863) ^ [_757261, _757263] : [subsetof(_757263, _757261), -(setorcollection(_757263))], (5158 ^ _596863) ^ [_757483, _757485, _757487] : [-(subsetof(_757487, _757483)), subsetof(_757487, _757485), subsetof(_757485, _757483)], (5168 ^ _596863) ^ [_757778] : [setorcollection(_757778), -(subsetof(_757778, _757778))], (5174 ^ _596863) ^ [_757994, _757996, _757998] : [-(subsetof(_757994, _757996)), subsetof(_757998, _757996), subsetof(_757994, _757998)], (5184 ^ _596863) ^ [_758317, _758319, _758321] : [-(subsetof(_758321, _758317)), subsetof(_758321, _758319), subsetof(_758319, _758317)], (5194 ^ _596863) ^ [_758640, _758642, _758644] : [-(subsetof(_758644, _758640)), subsetof(_758644, _758642), subsetof(_758642, _758640)], (5204 ^ _596863) ^ [_758949, _758951] : [genlpreds(_758951, _758949), -(predicate(_758949))], (5210 ^ _596863) ^ [_759157, _759159] : [genlpreds(_759159, _759157), -(predicate(_759157))], (5216 ^ _596863) ^ [_759365, _759367] : [genlpreds(_759367, _759365), -(predicate(_759367))], (5222 ^ _596863) ^ [_759573, _759575] : [genlpreds(_759575, _759573), -(predicate(_759575))], (5228 ^ _596863) ^ [_759795, _759797, _759799] : [-(genlpreds(_759799, _759795)), genlpreds(_759799, _759797), genlpreds(_759797, _759795)], (5238 ^ _596863) ^ [_760090] : [predicate(_760090), -(genlpreds(_760090, _760090))], (5244 ^ _596863) ^ [_760278] : [predicate(_760278), -(genlpreds(_760278, _760278))], (5250 ^ _596863) ^ [_760480, _760482] : [genlinverse(_760482, _760480), -(binarypredicate(_760480))], (5256 ^ _596863) ^ [_760688, _760690] : [genlinverse(_760690, _760688), -(binarypredicate(_760690))], (5262 ^ _596863) ^ [_760910, _760912, _760914] : [-(genlinverse(_760910, _760912)), genlinverse(_760914, _760912), genlpreds(_760910, _760914)], (5272 ^ _596863) ^ [_761233, _761235, _761237] : [-(genlinverse(_761237, _761233)), genlinverse(_761237, _761235), genlpreds(_761235, _761233)], (5282 ^ _596863) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _596863) ^ [_761581] : [isa(_761581, c_microtheory), -(microtheory(_761581))], (5290 ^ _596863) ^ [_761769] : [microtheory(_761769), -(isa(_761769, c_microtheory))], (5296 ^ _596863) ^ [_761942] : [-(natfunction(f_urlfn(_761942), c_urlfn))], (5298 ^ _596863) ^ [_762022] : [-(natargument(f_urlfn(_762022), n_1, _762022))], (5300 ^ _596863) ^ [_762103] : [-(uniformresourcelocator(f_urlfn(_762103)))], (5302 ^ _596863) ^ [_762182] : [-(natfunction(f_urlreferentfn(_762182), c_urlreferentfn))], (5304 ^ _596863) ^ [_762262] : [-(natargument(f_urlreferentfn(_762262), n_1, _762262))], (5306 ^ _596863) ^ [_762343] : [-(computerdataartifact(f_urlreferentfn(_762343)))], (5308 ^ _596863) ^ [_762436, _762438] : [-(natfunction(f_contentmtofcdafromeventfn(_762438, _762436), c_contentmtofcdafromeventfn))], (5310 ^ _596863) ^ [_762533, _762535] : [-(natargument(f_contentmtofcdafromeventfn(_762535, _762533), n_1, _762535))], (5312 ^ _596863) ^ [_762631, _762633] : [-(natargument(f_contentmtofcdafromeventfn(_762633, _762631), n_2, _762631))], (5314 ^ _596863) ^ [_762729, _762731] : [-(microtheory(f_contentmtofcdafromeventfn(_762731, _762729)))], (5316 ^ _596863) ^ [_762840, _762842] : [isa(_762842, _762840), -(collection(_762840))], (5322 ^ _596863) ^ [_763048, _763050] : [isa(_763050, _763048), -(collection(_763048))], (5328 ^ _596863) ^ [_763256, _763258] : [isa(_763258, _763256), -(thing(_763258))], (5334 ^ _596863) ^ [_763464, _763466] : [isa(_763466, _763464), -(thing(_763466))], (5340 ^ _596863) ^ [_763686, _763688, _763690] : [-(isa(_763690, _763686)), isa(_763690, _763688), genls(_763688, _763686)], (5350 ^ _596863) ^ [_763981] : [isa(_763981, c_inanimateobject), -(inanimateobject(_763981))], (5356 ^ _596863) ^ [_764169] : [inanimateobject(_764169), -(isa(_764169, c_inanimateobject))], (5362 ^ _596863) ^ [_764357] : [isa(_764357, c_tptpcol_9_72709), -(tptpcol_9_72709(_764357))], (5368 ^ _596863) ^ [_764545] : [tptpcol_9_72709(_764545), -(isa(_764545, c_tptpcol_9_72709))], (5374 ^ _596863) ^ [_764733] : [isa(_764733, c_tptpcol_10_72710), -(tptpcol_10_72710(_764733))], (5380 ^ _596863) ^ [_764921] : [tptpcol_10_72710(_764921), -(isa(_764921, c_tptpcol_10_72710))], (5386 ^ _596863) ^ [_765109] : [isa(_765109, c_tptpcol_14_40429), -(tptpcol_14_40429(_765109))], (5392 ^ _596863) ^ [_765297] : [tptpcol_14_40429(_765297), -(isa(_765297, c_tptpcol_14_40429))], (5398 ^ _596863) ^ [_765485] : [isa(_765485, c_tptpcol_15_40430), -(tptpcol_15_40430(_765485))], (5404 ^ _596863) ^ [_765673] : [tptpcol_15_40430(_765673), -(isa(_765673, c_tptpcol_15_40430))], (5410 ^ _596863) ^ [_765875, _765877] : [genls(_765877, _765875), -(collection(_765875))], (5416 ^ _596863) ^ [_766083, _766085] : [genls(_766085, _766083), -(collection(_766083))], (5422 ^ _596863) ^ [_766291, _766293] : [genls(_766293, _766291), -(collection(_766293))], (5428 ^ _596863) ^ [_766499, _766501] : [genls(_766501, _766499), -(collection(_766501))], (5434 ^ _596863) ^ [_766721, _766723, _766725] : [-(genls(_766725, _766721)), genls(_766725, _766723), genls(_766723, _766721)], (5444 ^ _596863) ^ [_767016] : [collection(_767016), -(genls(_767016, _767016))], (5450 ^ _596863) ^ [_767204] : [collection(_767204), -(genls(_767204, _767204))], (5456 ^ _596863) ^ [_767420, _767422, _767424] : [-(genls(_767420, _767422)), genls(_767424, _767422), genls(_767420, _767424)], (5466 ^ _596863) ^ [_767743, _767745, _767747] : [-(genls(_767747, _767743)), genls(_767747, _767745), genls(_767745, _767743)], (5476 ^ _596863) ^ [_768038] : [isa(_768038, c_partiallytangible), -(partiallytangible(_768038))], (5482 ^ _596863) ^ [_768226] : [partiallytangible(_768226), -(isa(_768226, c_partiallytangible))], (5488 ^ _596863) ^ [_768414] : [isa(_768414, c_intangible), -(intangible(_768414))], (5494 ^ _596863) ^ [_768602] : [intangible(_768602), -(isa(_768602, c_intangible))], (5500 ^ _596863) ^ [_768804, _768806] : [disjointwith(_768806, _768804), -(collection(_768804))], (5506 ^ _596863) ^ [_769012, _769014] : [disjointwith(_769014, _769012), -(collection(_769014))], (5512 ^ _596863) ^ [_769220, _769222] : [disjointwith(_769222, _769220), -(disjointwith(_769220, _769222))], (5518 ^ _596863) ^ [_769444, _769446, _769448] : [-(disjointwith(_769448, _769444)), disjointwith(_769448, _769446), genls(_769444, _769446)], (5528 ^ _596863) ^ [_769767, _769769, _769771] : [-(disjointwith(_769767, _769769)), disjointwith(_769771, _769769), genls(_769767, _769771)], (5538 ^ _596863) ^ [_770076, _770078] : [-(mtvisible(_770076)), mtvisible(_770078), genlmt(_770078, _770076)], (5548 ^ _596863) ^ [_770371, _770373] : [genlmt(_770373, _770371), -(microtheory(_770371))], (5554 ^ _596863) ^ [_770579, _770581] : [genlmt(_770581, _770579), -(microtheory(_770579))], (5560 ^ _596863) ^ [_770787, _770789] : [genlmt(_770789, _770787), -(microtheory(_770789))], (5566 ^ _596863) ^ [_770995, _770997] : [genlmt(_770997, _770995), -(microtheory(_770997))], (5572 ^ _596863) ^ [_771217, _771219, _771221] : [-(genlmt(_771221, _771217)), genlmt(_771221, _771219), genlmt(_771219, _771217)], (5582 ^ _596863) ^ [_771512] : [microtheory(_771512), -(genlmt(_771512, _771512))], (5594 ^ _596863) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _596863) ^ [_771700] : [microtheory(_771700), -(genlmt(_771700, _771700))]], input).
% 0.46/1.39  ncf('1',plain,[isa(f_citynamedfn(s_agen, c_france), c_individual)],start(5598 ^ 0,bind([[_786427], [c_individual]]))).
% 0.46/1.39  ncf('1.1',plain,[-(isa(f_citynamedfn(s_agen, c_france), c_individual)), individual(f_citynamedfn(s_agen, c_france))],extension(4864 ^ 1,bind([[_748054], [f_citynamedfn(s_agen, c_france)]]))).
% 0.46/1.39  ncf('1.1.1',plain,[-(individual(f_citynamedfn(s_agen, c_france)))],extension(1252 ^ 2)).
% 0.46/1.39  %-----------------------------------------------------
% 0.46/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------