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

% Computer : n025.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:55:36 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR064+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n025.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:56:03 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 0.42/1.39  
% 0.42/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.42/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  ncf(matrix, plain, [(5596 ^ _593980) ^ [] : [-(genls(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml)), c_tptpcol_15_74743))], (2 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _593980) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _593980) ^ [_594185] : [intangible(_594185), partiallytangible(_594185)], (12 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _593980) ^ [_594423] : [tptpcol_15_40430(_594423), -(tptpcol_14_40429(_594423))], (20 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _593980) ^ [_594662] : [tptpcol_10_72710(_594662), -(tptpcol_9_72709(_594662))], (28 ^ _593980) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _593980) ^ [_594901] : [inanimateobject(_594901), -(partiallytangible(_594901))], (36 ^ _593980) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _593980) ^ [_595168, _595170, _595172] : [-(genlpreds(_595172, _595168)), genlinverse(_595172, _595170), genlinverse(_595170, _595168)], (48 ^ _593980) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _593980) ^ [_595530, _595532] : [subsetof(_595532, _595530), -(most(_595532, _595530))], (56 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _593980) ^ [_595779] : [tptpcol_7_93186(_595779), -(tptpcol_6_92162(_595779))], (64 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _593980) ^ [_596018] : [tptpcol_13_40421(_596018), -(tptpcol_12_40420(_596018))], (72 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _593980) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _593980) ^ [_596482] : [tptpcol_9_22021(_596482), -(tptpcol_8_22020(_596482))], (90 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _593980) ^ [_596721] : [tptpcol_5_16388(_596721), -(tptpcol_4_16387(_596721))], (98 ^ _593980) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _593980) ^ [_597079] : [tptpcol_14_72792(_597079), -(tptpcol_13_72791(_597079))], (112 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _593980) ^ [_597318] : [tptpcol_5_20483(_597318), -(tptpcol_4_16387(_597318))], (120 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _593980) ^ [_597557] : [tptpcol_11_22023(_597557), -(tptpcol_10_22022(_597557))], (128 ^ _593980) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _593980) ^ [_597796] : [partiallyintangibleindividual(_597796), -(individual(_597796))], (136 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _593980) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _593980) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _593980) ^ [_598141] : [trajector_underspecified(_598141), -(location_underspecified(_598141))], (148 ^ _593980) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _593980) ^ [_598380] : [partiallytangible(_598380), -(enduringthing_localized(_598380))], (156 ^ _593980) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _593980) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _593980) ^ [_598738] : [tptpcol_3_81921(_598738), -(tptpcol_2_65537(_598738))], (170 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _593980) ^ [_598977] : [tptpcol_10_18567(_598977), -(tptpcol_9_18439(_598977))], (178 ^ _593980) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _593980) ^ [_599216] : [orderingpredicate(_599216), -(transitivebinarypredicate(_599216))], (186 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _593980) ^ [_599455] : [tptpcol_11_92230(_599455), -(tptpcol_10_92166(_599455))], (194 ^ _593980) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _593980) ^ [_599694] : [tptpcol_2_98304(_599694), -(tptpcol_1_65536(_599694))], (202 ^ _593980) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _593980) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _593980) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _593980) ^ [_600158] : [tptpcol_12_40420(_600158), -(tptpcol_11_40388(_600158))], (220 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _593980) ^ [_600411, _600413] : [tptptypes_9_693(_600413, _600411), -(tptptypes_8_692(_600413, _600411))], (228 ^ _593980) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _593980) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _593980) ^ [_600780, _600782] : [tptptypes_8_390(_600782, _600780), -(tptptypes_7_389(_600782, _600780))], (240 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _593980) ^ [_601124, _601126, _601128, _601130] : [-(isa(f_relationexistsallfn(_601130, _601126, _601124, _601128), _601124)), isa(_601130, _601128), relationexistsall(_601126, _601124, _601128)], (254 ^ _593980) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _593980) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _593980) ^ [_601653] : [tptpcol_4_106497(_601653), -(tptpcol_3_98305(_601653))], (268 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _593980) ^ [_601892] : [tptpcol_5_114690(_601892), -(tptpcol_4_114689(_601892))], (276 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _593980) ^ [_602131] : [tptpcol_12_93765(_602131), -(tptpcol_11_93764(_602131))], (284 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _593980) ^ [_602370] : [tptpcol_8_72708(_602370), -(tptpcol_7_72707(_602370))], (292 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _593980) ^ [_602609] : [tptpcol_10_40324(_602609), -(tptpcol_9_40196(_602609))], (300 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _593980) ^ [_602848] : [tptpcol_13_93766(_602848), -(tptpcol_12_93765(_602848))], (308 ^ _593980) ^ [_603034] : [-(tptpofobject(_603034, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_603034)], (318 ^ _593980) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _593980) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _593980) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _593980) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _593980) ^ [_603698] : [location_underspecified(_603698), -(thing(_603698))], (342 ^ _593980) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _593980) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _593980) ^ [_604043] : [tptpcol_12_92262(_604043), -(tptpcol_11_92230(_604043))], (354 ^ _593980) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _593980) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _593980) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _593980) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _593980) ^ [_604560] : [tptpcol_10_109061(_604560), -(tptpcol_9_109060(_604560))], (374 ^ _593980) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _593980) ^ [_604866, _604868] : [tptptypes_6_388(_604868, _604866), -(tptptypes_5_387(_604868, _604866))], (384 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _593980) ^ [_605115] : [tptpcol_6_116738(_605115), -(tptpcol_5_114690(_605115))], (392 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _593980) ^ [_605354] : [tptpcol_15_92268(_605354), -(tptpcol_14_92264(_605354))], (400 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _593980) ^ [_605659] : [-(tptpofobject(_605659, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_605659)], (416 ^ _593980) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _593980) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _593980) ^ [_606112, _606114] : [tptptypes_9_401(_606114, _606112), -(tptptypes_8_400(_606112, _606114))], (430 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _593980) ^ [_606361] : [tptpcol_12_18663(_606361), -(tptpcol_11_18631(_606361))], (438 ^ _593980) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _593980) ^ [_606600] : [setorcollection(_606600), -(mathematicalthing(_606600))], (446 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _593980) ^ [_606839] : [tptpcol_13_109173(_606839), -(tptpcol_12_109157(_606839))], (454 ^ _593980) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _593980) ^ [_607131] : [tptpcol_5_106498(_607131), -(tptpcol_4_106497(_607131))], (464 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _593980) ^ [_607370] : [tptpcol_5_24579(_607370), -(tptpcol_4_24578(_607370))], (472 ^ _593980) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _593980) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _593980) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _593980) ^ [_607900] : [tptpcol_1_65536(_607900), -(tptpcol_0_0(_607900))], (494 ^ _593980) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _593980) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _593980) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _593980) ^ [_608325, _608327] : [geographicalsubregions(_608327, _608325), -(inregion(_608325, _608327))], (510 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _593980) ^ [_608574] : [tptpcol_11_118084(_608574), -(tptpcol_10_118020(_608574))], (518 ^ _593980) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _593980) ^ [_608813] : [mathematicalorcomputationalthing(_608813), -(intangible(_608813))], (526 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _593980) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _593980) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _593980) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _593980) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _593980) ^ [_609331, _609333] : [tptptypes_7_819(_609333, _609331), -(tptptypes_6_818(_609333, _609331))], (544 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _593980) ^ [_609633] : [tptpcol_12_26919(_609633), -(tptpcol_11_26887(_609633))], (554 ^ _593980) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _593980) ^ [_609886, _609888] : [tptptypes_8_692(_609888, _609886), -(tptptypes_7_691(_609886, _609888))], (562 ^ _593980) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _593980) ^ [_610135] : [tptpcol_2_2(_610135), -(tptpcol_1_1(_610135))], (570 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _593980) ^ [_610427] : [tptpcol_9_92165(_610427), -(tptpcol_8_92164(_610427))], (580 ^ _593980) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _593980) ^ [_610666] : [fixedordercollection(_610666), -(collection(_610666))], (588 ^ _593980) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _593980) ^ [_610905] : [tptpcol_1_1(_610905), tptpcol_1_65536(_610905)], (596 ^ _593980) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _593980) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _593980) ^ [_611196] : [microtheory(_611196), -(aspatialinformationstore(_611196))], (606 ^ _593980) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _593980) ^ [_611501] : [-(tptp_8_875(_611501, f_relationallexistsfn(_611501, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_611501, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _593980) ^ [] : [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 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _593980) ^ [_611952] : [tptpcol_10_118020(_611952), -(tptpcol_9_118019(_611952))], (636 ^ _593980) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _593980) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _593980) ^ [_612310] : [-(tptp_9_720(_612310, f_relationallexistsfn(_612310, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_612310)], (654 ^ _593980) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _593980) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _593980) ^ [_612759] : [individual(_612759), setorcollection(_612759)], (668 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _593980) ^ [_612997] : [tptpcol_12_22055(_612997), -(tptpcol_11_22023(_612997))], (676 ^ _593980) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _593980) ^ [_613236] : [applicationcontext(_613236), -(microtheory(_613236))], (684 ^ _593980) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _593980) ^ [_613542, _613544] : [tptptypes_8_400(_613544, _613542), -(tptptypes_7_396(_613544, _613542))], (694 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _593980) ^ [_613791] : [tptpcol_11_18631(_613791), -(tptpcol_10_18567(_613791))], (702 ^ _593980) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _593980) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _593980) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _593980) ^ [_614202] : [mathematicalthing(_614202), -(mathematicalorcomputationalthing(_614202))], (718 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _593980) ^ [_614494] : [tptpcol_15_93775(_614494), -(tptpcol_14_93774(_614494))], (728 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _593980) ^ [_614733] : [tptpcol_8_109059(_614733), -(tptpcol_7_108547(_614733))], (736 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _593980) ^ [_614972] : [tptpcol_14_40429(_614972), -(tptpcol_13_40421(_614972))], (744 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _593980) ^ [_615330] : [tptpcol_14_22072(_615330), -(tptpcol_13_22071(_615330))], (758 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _593980) ^ [_615569] : [tptpcol_14_93774(_615569), -(tptpcol_13_93766(_615569))], (766 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _593980) ^ [_615808] : [tptpcol_10_22022(_615808), -(tptpcol_9_22021(_615808))], (774 ^ _593980) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _593980) ^ [_616047] : [inanimateobject_nonnatural(_616047), -(inanimateobject(_616047))], (782 ^ _593980) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _593980) ^ [_616392] : [tptpcol_9_72709(_616392), -(tptpcol_8_72708(_616392))], (794 ^ _593980) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _593980) ^ [_616631] : [-(tptpofobject(_616631, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_616631)], (806 ^ _593980) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _593980) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _593980) ^ [_617070] : [firstordercollection(_617070), -(fixedordercollection(_617070))], (820 ^ _593980) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _593980) ^ [_617481] : [tptpcol_13_18664(_617481), -(tptpcol_12_18663(_617481))], (836 ^ _593980) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _593980) ^ [_617720] : [artifact(_617720), -(inanimateobject_nonnatural(_617720))], (844 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _593980) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _593980) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _593980) ^ [_618118] : [tptpcol_7_113665(_618118), -(tptpcol_6_112641(_618118))], (858 ^ _593980) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _593980) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _593980) ^ [_618476] : [geographicalregion(_618476), -(partiallytangible(_618476))], (872 ^ _593980) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _593980) ^ [_618729, _618731] : [disjointwith(_618731, _618729), -(no(_618731, _618729))], (880 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _593980) ^ [_618978] : [tptpcol_4_24578(_618978), -(tptpcol_3_16386(_618978))], (888 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _593980) ^ [_619217] : [tptpcol_5_69635(_619217), -(tptpcol_4_65539(_619217))], (896 ^ _593980) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _593980) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _593980) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _593980) ^ [_619576, _619578] : [genls(_619578, _619576), -(collection(_619578))], (908 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _593980) ^ [_619823] : [tptpcol_13_22071(_619823), -(tptpcol_12_22055(_619823))], (916 ^ _593980) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _593980) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _593980) ^ [_620115] : [tptpcol_3_98305(_620115), -(tptpcol_2_98304(_620115))], (926 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _593980) ^ [_620354] : [tptpcol_4_114689(_620354), -(tptpcol_3_114688(_620354))], (934 ^ _593980) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _593980) ^ [_620593] : [artsupplies(_620593), -(supplies(_620593))], (942 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _593980) ^ [_620832] : [tptpcol_8_26629(_620832), -(tptpcol_7_26628(_620832))], (950 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _593980) ^ [_621071] : [tptpcol_9_109060(_621071), -(tptpcol_8_109059(_621071))], (958 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _593980) ^ [_621310] : [isa(_621310, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_621310, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _621310))], (966 ^ _593980) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _593980) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _593980) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _593980) ^ [_621894] : [tptpcol_14_109181(_621894), -(tptpcol_13_109173(_621894))], (988 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _593980) ^ [_622133] : [tptpcol_16_30972(_622133), -(tptpcol_15_30970(_622133))], (996 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _593980) ^ [_622425] : [tptpcol_9_18439(_622425), -(tptpcol_8_18438(_622425))], (1006 ^ _593980) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _593980) ^ [_622717] : [tptpcol_12_118116(_622717), -(tptpcol_11_118084(_622717))], (1016 ^ _593980) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _593980) ^ [_623009] : [tptpcol_7_26628(_623009), -(tptpcol_6_26627(_623009))], (1026 ^ _593980) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _593980) ^ [_623262, _623264] : [most(_623264, _623262), -(setorcollection(_623264))], (1034 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _593980) ^ [_623509] : [tptpcol_15_109185(_623509), -(tptpcol_14_109181(_623509))], (1042 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _593980) ^ [_623748] : [tptpcol_16_92269(_623748), -(tptpcol_15_92268(_623748))], (1050 ^ _593980) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _593980) ^ [_624054, _624056] : [tptptypes_8_823(_624056, _624054), -(tptptypes_7_819(_624056, _624054))], (1060 ^ _593980) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _593980) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _593980) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _593980) ^ [_624634] : [tptpcol_10_26886(_624634), -(tptpcol_9_26885(_624634))], (1082 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _593980) ^ [_624926] : [tptpcol_15_72793(_624926), -(tptpcol_14_72792(_624926))], (1092 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _593980) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _593980) ^ [_625284] : [navypersonnel(_625284), -(militaryperson(_625284))], (1106 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _593980) ^ [_625523] : [tptpcol_4_16387(_625523), -(tptpcol_3_16386(_625523))], (1114 ^ _593980) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _593980) ^ [_625762] : [enduringthing_localized(_625762), -(spatialthing_nonsituational(_625762))], (1122 ^ _593980) ^ [_625948] : [collection(_625948), individual(_625948)], (1128 ^ _593980) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _593980) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _593980) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _593980) ^ [_626477] : [physicalorderingpredicate(_626477), -(orderingpredicate(_626477))], (1150 ^ _593980) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _593980) ^ [_626730, _626732] : [disjointwith(_626732, _626730), -(collection(_626730))], (1158 ^ _593980) ^ [_626966, _626968, _626970, _626972] : [-(isa(f_relationallexistsfn(_626972, _626968, _626970, _626966), _626966)), isa(_626972, _626970), relationallexists(_626968, _626970, _626966)], (1168 ^ _593980) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _593980) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _593980) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _593980) ^ [_627575, _627577] : [tptptypes_7_389(_627577, _627575), -(tptptypes_6_388(_627575, _627577))], (1186 ^ _593980) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _593980) ^ [_627890] : [-(hpkb_subnationalagent(_627890)), mtvisible(c_hpkbvocabmt), state_geopolitical(_627890)], (1202 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _593980) ^ [_628208] : [tptpcol_8_22020(_628208), -(tptpcol_7_21508(_628208))], (1210 ^ _593980) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _593980) ^ [_628447] : [-(tptp_9_51(f_relationexistsallfn(_628447, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _628447)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_628447, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _593980) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _593980) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _593980) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _593980) ^ [_628951] : [tptpcol_3_65538(_628951), -(tptpcol_2_65537(_628951))], (1238 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _593980) ^ [_629190] : [tptpcol_14_26921(_629190), -(tptpcol_13_26920(_629190))], (1246 ^ _593980) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _593980) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _593980) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _593980) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _593980) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _593980) ^ [_629641] : [intangibleindividual(_629641), -(partiallyintangibleindividual(_629641))], (1262 ^ _593980) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _593980) ^ [_629999] : [tptpcol_16_130924(_629999), -(tptpcol_15_130923(_629999))], (1276 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _593980) ^ [_630238] : [tptpcol_7_92163(_630238), -(tptpcol_6_92162(_630238))], (1284 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _593980) ^ [_630530] : [tptpcol_16_130933(_630530), -(tptpcol_15_130931(_630530))], (1294 ^ _593980) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _593980) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _593980) ^ [_630836, _630838] : [no(_630838, _630836), -(few(_630838, _630836))], (1304 ^ _593980) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _593980) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _593980) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _593980) ^ [_631244] : [tptpcol_6_20484(_631244), -(tptpcol_5_20483(_631244))], (1318 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _593980) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _593980) ^ [_631708] : [tptpcol_7_108547(_631708), -(tptpcol_6_108546(_631708))], (1336 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _593980) ^ [_631947] : [tptpcol_11_109125(_631947), -(tptpcol_10_109061(_631947))], (1344 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _593980) ^ [_632239] : [tptpcol_8_93698(_632239), -(tptpcol_7_93186(_632239))], (1354 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _593980) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _593980) ^ [_632531] : [tptpcol_2_65537(_632531), -(tptpcol_1_65536(_632531))], (1364 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _593980) ^ [_632823] : [tptpcol_6_18436(_632823), -(tptpcol_5_16388(_632823))], (1374 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _593980) ^ [_633062] : [tptpcol_8_18438(_633062), -(tptpcol_7_18437(_633062))], (1382 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _593980) ^ [_633420] : [tptpcol_8_117763(_633420), -(tptpcol_7_117762(_633420))], (1396 ^ _593980) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _593980) ^ [_633712] : [tptpcol_12_109157(_633712), -(tptpcol_11_109125(_633712))], (1406 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _593980) ^ [_633951] : [tptpcol_7_117762(_633951), -(tptpcol_6_116738(_633951))], (1414 ^ _593980) ^ [_634165, _634167, _634169] : [isa(_634169, _634167), isa(_634169, _634165), disjointwith(_634167, _634165)], (1424 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _593980) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _593980) ^ [_634565] : [aspatialinformationstore(_634565), -(aspatialthing(_634565))], (1434 ^ _593980) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _593980) ^ [_634963] : [tptpcol_9_93699(_634963), -(tptpcol_8_93698(_634963))], (1448 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _593980) ^ [_635202] : [tptpcol_11_93764(_635202), -(tptpcol_10_93700(_635202))], (1456 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _593980) ^ [_635441] : [tptpcol_6_26627(_635441), -(tptpcol_5_24579(_635441))], (1464 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _593980) ^ [_635680] : [tptpcol_4_90113(_635680), -(tptpcol_3_81921(_635680))], (1472 ^ _593980) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _593980) ^ [_635972] : [tptpcol_10_93700(_635972), -(tptpcol_9_93699(_635972))], (1482 ^ _593980) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _593980) ^ [_636211] : [aspatialinformationstore(_636211), -(intangibleindividual(_636211))], (1490 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _593980) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _593980) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _593980) ^ [_636622] : [tptpcol_3_16386(_636622), -(tptpcol_2_2(_636622))], (1506 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _593980) ^ [_636861] : [tptpcol_9_118019(_636861), -(tptpcol_8_117763(_636861))], (1514 ^ _593980) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _593980) ^ [_637100] : [individual(_637100), -(trajector_underspecified(_637100))], (1522 ^ _593980) ^ [_637286] : [shavingrazor_manual(_637286), -(tptp_8_271(f_relationexistsallfn(_637286, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _637286))], (1528 ^ _593980) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _593980) ^ [_637590] : [tptpcol_6_112641(_637590), -(tptpcol_5_110593(_637590))], (1538 ^ _593980) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _593980) ^ [_637829] : [tptpcol_12_72775(_637829), -(tptpcol_11_72774(_637829))], (1546 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _593980) ^ [_638068] : [tptpcol_7_72707(_638068), -(tptpcol_6_71683(_638068))], (1554 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _593980) ^ [_638307] : [tptpcol_16_50958(_638307), -(tptpcol_15_50957(_638307))], (1562 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _593980) ^ [_638546] : [tptpcol_8_114177(_638546), -(tptpcol_7_113665(_638546))], (1570 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _593980) ^ [_638785] : [tptpcol_16_72795(_638785), -(tptpcol_15_72793(_638785))], (1578 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _593980) ^ [_639024] : [tptpcol_6_71683(_639024), -(tptpcol_5_69635(_639024))], (1586 ^ _593980) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _593980) ^ [_639330, _639332] : [tptptypes_7_396(_639332, _639330), -(tptptypes_6_388(_639332, _639330))], (1596 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _593980) ^ [_639579] : [tptpcol_9_26885(_639579), -(tptpcol_8_26629(_639579))], (1604 ^ _593980) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _593980) ^ [_639832, _639834] : [genls(_639834, _639832), -(subsetof(_639834, _639832))], (1612 ^ _593980) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _593980) ^ [_640148, _640150] : [tptptypes_6_818(_640150, _640148), -(tptptypes_5_802(_640150, _640148))], (1622 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _593980) ^ [_640397] : [tptpcol_6_92162(_640397), -(tptpcol_5_90114(_640397))], (1630 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _593980) ^ [_640689] : [tptpcol_8_92164(_640689), -(tptpcol_7_92163(_640689))], (1640 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _593980) ^ [_640928] : [tptpcol_13_118117(_640928), -(tptpcol_12_118116(_640928))], (1648 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _593980) ^ [_641167] : [tptpcol_11_40388(_641167), -(tptpcol_10_40324(_641167))], (1656 ^ _593980) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _593980) ^ [_641420, _641422] : [tptptypes_9_824(_641422, _641420), -(tptptypes_8_823(_641422, _641420))], (1664 ^ _593980) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _593980) ^ [_641722] : [tptpcol_11_26887(_641722), -(tptpcol_10_26886(_641722))], (1674 ^ _593980) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _593980) ^ [_641961] : [tptpcol_16_26926(_641961), -(tptpcol_15_26925(_641961))], (1682 ^ _593980) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _593980) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _593980) ^ [_642267, _642269] : [few(_642269, _642267), -(setorcollection(_642267))], (1692 ^ _593980) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _593980) ^ [_642514] : [tptpcol_4_65539(_642514), -(tptpcol_3_65538(_642514))], (1700 ^ _593980) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _593980) ^ [_642753] : [tptpcol_8_39940(_642753), -(tptpcol_7_39939(_642753))], (1708 ^ _593980) ^ [_642939] : [-(tptpofobject(_642939, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_642939)], (1718 ^ _593980) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _593980) ^ [_643378] : [tptpcol_15_22076(_643378), -(tptpcol_14_22072(_643378))], (1732 ^ _593980) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _593980) ^ [_643617] : [tptpcol_0_0(_643617), -(individual(_643617))], (1740 ^ _593980) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _593980) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _593980) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _593980) ^ [_644015] : [tptpcol_11_72774(_644015), -(tptpcol_10_72710(_644015))], (1754 ^ _593980) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _593980) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _593980) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _593980) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _593980) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _593980) ^ [_644651] : [tptpcol_7_21508(_644651), -(tptpcol_6_20484(_644651))], (1780 ^ _593980) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _593980) ^ [_644890] : [tptpcol_6_108546(_644890), -(tptpcol_5_106498(_644890))], (1788 ^ _593980) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _593980) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _593980) ^ [_645248] : [geolevel_4(_645248), -(geographicalregion(_645248))], (1802 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _593980) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _593980) ^ [_645725] : [tptpcol_13_26920(_645725), -(tptpcol_12_26919(_645725))], (1822 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _593980) ^ [_645964] : [tptpcol_14_92264(_645964), -(tptpcol_13_92263(_645964))], (1830 ^ _593980) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _593980) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _593980) ^ [_646256] : [tptpcol_9_40196(_646256), -(tptpcol_8_39940(_646256))], (1840 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _593980) ^ [_646614] : [tptpcol_13_92263(_646614), -(tptpcol_12_92262(_646614))], (1854 ^ _593980) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _593980) ^ [_646906] : [tptpcol_5_90114(_646906), -(tptpcol_4_90113(_646906))], (1864 ^ _593980) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _593980) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _593980) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _593980) ^ [_647317] : [tptpcol_15_26925(_647317), -(tptpcol_14_26921(_647317))], (1880 ^ _593980) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _593980) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _593980) ^ [_647675] : [tptpcol_7_18437(_647675), -(tptpcol_6_18436(_647675))], (1894 ^ _593980) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _593980) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _593980) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _593980) ^ [_648086] : [tptpcol_3_98305(_648086), tptpcol_3_114688(_648086)], (1910 ^ _593980) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _593980) ^ [_648324] : [tptpcol_5_110593(_648324), -(tptpcol_4_106497(_648324))], (1918 ^ _593980) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _593980) ^ [_648563] : [tptpcol_13_72791(_648563), -(tptpcol_12_72775(_648563))], (1926 ^ _593980) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _593980) ^ [_648802] : [computerdataartifact(_648802), -(artifact(_648802))], (1934 ^ _593980) ^ [_648988] : [-(tptpofobject(_648988, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_648988)], (1944 ^ _593980) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _593980) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _593980) ^ [_649427] : [tptpcol_10_92166(_649427), -(tptpcol_9_92165(_649427))], (1958 ^ _593980) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _593980) ^ [_649666] : [tptpcol_14_118118(_649666), -(tptpcol_13_118117(_649666))], (1966 ^ _593980) ^ [_649852] : [isa(_649852, c_tptpcol_14_118118), -(tptpcol_14_118118(_649852))], (1972 ^ _593980) ^ [_650040] : [tptpcol_14_118118(_650040), -(isa(_650040, c_tptpcol_14_118118))], (1978 ^ _593980) ^ [_650213] : [-(natfunction(f_tptpquantityfn_6(_650213), c_tptpquantityfn_6))], (1980 ^ _593980) ^ [_650293] : [-(natargument(f_tptpquantityfn_6(_650293), n_1, _650293))], (1982 ^ _593980) ^ [_650374] : [-(tptpquantity(f_tptpquantityfn_6(_650374)))], (1984 ^ _593980) ^ [_650468] : [isa(_650468, c_tptpcol_16_26939), -(tptpcol_16_26939(_650468))], (1990 ^ _593980) ^ [_650656] : [tptpcol_16_26939(_650656), -(isa(_650656, c_tptpcol_16_26939))], (1996 ^ _593980) ^ [_650844] : [isa(_650844, c_tptpcol_16_62187), -(tptpcol_16_62187(_650844))], (2002 ^ _593980) ^ [_651032] : [tptpcol_16_62187(_651032), -(isa(_651032, c_tptpcol_16_62187))], (2008 ^ _593980) ^ [_651220] : [isa(_651220, c_tptpcol_13_92263), -(tptpcol_13_92263(_651220))], (2014 ^ _593980) ^ [_651408] : [tptpcol_13_92263(_651408), -(isa(_651408, c_tptpcol_13_92263))], (2020 ^ _593980) ^ [_651596] : [isa(_651596, c_geolevel_4), -(geolevel_4(_651596))], (2026 ^ _593980) ^ [_651784] : [geolevel_4(_651784), -(isa(_651784, c_geolevel_4))], (2032 ^ _593980) ^ [_651972] : [isa(_651972, c_tptpcol_15_4027), -(tptpcol_15_4027(_651972))], (2038 ^ _593980) ^ [_652160] : [tptpcol_15_4027(_652160), -(isa(_652160, c_tptpcol_15_4027))], (2044 ^ _593980) ^ [_652348] : [isa(_652348, c_pushingwithfingers), -(pushingwithfingers(_652348))], (2050 ^ _593980) ^ [_652536] : [pushingwithfingers(_652536), -(isa(_652536, c_pushingwithfingers))], (2056 ^ _593980) ^ [_652738, _652740] : [affiliatedwith(_652740, _652738), -(agent_generic(_652738))], (2062 ^ _593980) ^ [_652946, _652948] : [affiliatedwith(_652948, _652946), -(agent_generic(_652948))], (2068 ^ _593980) ^ [_653154, _653156] : [affiliatedwith(_653156, _653154), -(affiliatedwith(_653154, _653156))], (2074 ^ _593980) ^ [_653334] : [affiliatedwith(_653334, _653334)], (2076 ^ _593980) ^ [_653427] : [isa(_653427, c_footballteam), -(footballteam(_653427))], (2082 ^ _593980) ^ [_653615] : [footballteam(_653615), -(isa(_653615, c_footballteam))], (2088 ^ _593980) ^ [_653803] : [isa(_653803, c_tptpcol_16_4451), -(tptpcol_16_4451(_653803))], (2094 ^ _593980) ^ [_653991] : [tptpcol_16_4451(_653991), -(isa(_653991, c_tptpcol_16_4451))], (2100 ^ _593980) ^ [_654179] : [isa(_654179, c_pushingwithopenhand), -(pushingwithopenhand(_654179))], (2106 ^ _593980) ^ [_654367] : [pushingwithopenhand(_654367), -(isa(_654367, c_pushingwithopenhand))], (2112 ^ _593980) ^ [_654555] : [isa(_654555, c_tptpcol_15_22076), -(tptpcol_15_22076(_654555))], (2118 ^ _593980) ^ [_654743] : [tptpcol_15_22076(_654743), -(isa(_654743, c_tptpcol_15_22076))], (2124 ^ _593980) ^ [_654916] : [-(natfunction(f_tptpquantityfn_2(_654916), c_tptpquantityfn_2))], (2126 ^ _593980) ^ [_654996] : [-(natargument(f_tptpquantityfn_2(_654996), n_1, _654996))], (2128 ^ _593980) ^ [_655077] : [-(tptpquantity(f_tptpquantityfn_2(_655077)))], (2130 ^ _593980) ^ [_655171] : [isa(_655171, c_tptpcol_7_39939), -(tptpcol_7_39939(_655171))], (2136 ^ _593980) ^ [_655359] : [tptpcol_7_39939(_655359), -(isa(_655359, c_tptpcol_7_39939))], (2142 ^ _593980) ^ [_655547] : [isa(_655547, c_tptpcol_8_39940), -(tptpcol_8_39940(_655547))], (2148 ^ _593980) ^ [_655735] : [tptpcol_8_39940(_655735), -(isa(_655735, c_tptpcol_8_39940))], (2154 ^ _593980) ^ [_655923] : [isa(_655923, c_tptpcol_15_26925), -(tptpcol_15_26925(_655923))], (2160 ^ _593980) ^ [_656111] : [tptpcol_15_26925(_656111), -(isa(_656111, c_tptpcol_15_26925))], (2166 ^ _593980) ^ [_656299] : [isa(_656299, c_tptpcol_16_26926), -(tptpcol_16_26926(_656299))], (2172 ^ _593980) ^ [_656487] : [tptpcol_16_26926(_656487), -(isa(_656487, c_tptpcol_16_26926))], (2178 ^ _593980) ^ [_656675] : [isa(_656675, c_tptpcol_13_118117), -(tptpcol_13_118117(_656675))], (2184 ^ _593980) ^ [_656863] : [tptpcol_13_118117(_656863), -(isa(_656863, c_tptpcol_13_118117))], (2190 ^ _593980) ^ [_657051] : [isa(_657051, c_tptpcol_5_90114), -(tptpcol_5_90114(_657051))], (2196 ^ _593980) ^ [_657239] : [tptpcol_5_90114(_657239), -(isa(_657239, c_tptpcol_5_90114))], (2202 ^ _593980) ^ [_657441, _657443] : [tptptypes_5_802(_657443, _657441), -(firstordercollection(_657441))], (2208 ^ _593980) ^ [_657649, _657651] : [tptptypes_5_802(_657651, _657649), -(firstordercollection(_657651))], (2214 ^ _593980) ^ [_657843] : [isa(_657843, c_tptpcol_16_72795), -(tptpcol_16_72795(_657843))], (2220 ^ _593980) ^ [_658031] : [tptpcol_16_72795(_658031), -(isa(_658031, c_tptpcol_16_72795))], (2226 ^ _593980) ^ [_658219] : [isa(_658219, c_tptpcol_8_114177), -(tptpcol_8_114177(_658219))], (2232 ^ _593980) ^ [_658407] : [tptpcol_8_114177(_658407), -(isa(_658407, c_tptpcol_8_114177))], (2238 ^ _593980) ^ [_658595] : [isa(_658595, c_tptpcol_15_50957), -(tptpcol_15_50957(_658595))], (2244 ^ _593980) ^ [_658783] : [tptpcol_15_50957(_658783), -(isa(_658783, c_tptpcol_15_50957))], (2250 ^ _593980) ^ [_658971] : [isa(_658971, c_tptpcol_16_50958), -(tptpcol_16_50958(_658971))], (2256 ^ _593980) ^ [_659159] : [tptpcol_16_50958(_659159), -(isa(_659159, c_tptpcol_16_50958))], (2262 ^ _593980) ^ [_659347] : [isa(_659347, c_tptpcol_6_71683), -(tptpcol_6_71683(_659347))], (2268 ^ _593980) ^ [_659535] : [tptpcol_6_71683(_659535), -(isa(_659535, c_tptpcol_6_71683))], (2274 ^ _593980) ^ [_659723] : [isa(_659723, c_tptpcol_11_72774), -(tptpcol_11_72774(_659723))], (2280 ^ _593980) ^ [_659911] : [tptpcol_11_72774(_659911), -(isa(_659911, c_tptpcol_11_72774))], (2286 ^ _593980) ^ [_660099] : [isa(_660099, c_tptpcol_12_72775), -(tptpcol_12_72775(_660099))], (2292 ^ _593980) ^ [_660287] : [tptpcol_12_72775(_660287), -(isa(_660287, c_tptpcol_12_72775))], (2298 ^ _593980) ^ [_660475] : [isa(_660475, c_tptpcol_5_110593), -(tptpcol_5_110593(_660475))], (2304 ^ _593980) ^ [_660663] : [tptpcol_5_110593(_660663), -(isa(_660663, c_tptpcol_5_110593))], (2310 ^ _593980) ^ [_660851] : [isa(_660851, c_tptpcol_16_25972), -(tptpcol_16_25972(_660851))], (2316 ^ _593980) ^ [_661039] : [tptpcol_16_25972(_661039), -(isa(_661039, c_tptpcol_16_25972))], (2322 ^ _593980) ^ [_661241, _661243] : [tptp_8_271(_661243, _661241), -(razor(_661241))], (2328 ^ _593980) ^ [_661449, _661451] : [tptp_8_271(_661451, _661449), -(tptpcol_5_24579(_661451))], (2334 ^ _593980) ^ [_661643] : [isa(_661643, c_tptpcol_4_90113), -(tptpcol_4_90113(_661643))], (2340 ^ _593980) ^ [_661831] : [tptpcol_4_90113(_661831), -(isa(_661831, c_tptpcol_4_90113))], (2346 ^ _593980) ^ [_662019] : [isa(_662019, c_tptpcol_10_93700), -(tptpcol_10_93700(_662019))], (2352 ^ _593980) ^ [_662207] : [tptpcol_10_93700(_662207), -(isa(_662207, c_tptpcol_10_93700))], (2358 ^ _593980) ^ [_662395] : [isa(_662395, c_tptpcol_9_93699), -(tptpcol_9_93699(_662395))], (2364 ^ _593980) ^ [_662583] : [tptpcol_9_93699(_662583), -(isa(_662583, c_tptpcol_9_93699))], (2370 ^ _593980) ^ [_662771] : [isa(_662771, c_aspatialthing), -(aspatialthing(_662771))], (2376 ^ _593980) ^ [_662959] : [aspatialthing(_662959), -(isa(_662959, c_aspatialthing))], (2382 ^ _593980) ^ [_663147] : [isa(_663147, c_tptpcol_7_117762), -(tptpcol_7_117762(_663147))], (2388 ^ _593980) ^ [_663335] : [tptpcol_7_117762(_663335), -(isa(_663335, c_tptpcol_7_117762))], (2394 ^ _593980) ^ [_663523] : [isa(_663523, c_tptpcol_8_117763), -(tptpcol_8_117763(_663523))], (2400 ^ _593980) ^ [_663711] : [tptpcol_8_117763(_663711), -(isa(_663711, c_tptpcol_8_117763))], (2406 ^ _593980) ^ [_663899] : [isa(_663899, c_tptpcol_7_18437), -(tptpcol_7_18437(_663899))], (2412 ^ _593980) ^ [_664087] : [tptpcol_7_18437(_664087), -(isa(_664087, c_tptpcol_7_18437))], (2418 ^ _593980) ^ [_664275] : [isa(_664275, c_tptpcol_6_18436), -(tptpcol_6_18436(_664275))], (2424 ^ _593980) ^ [_664463] : [tptpcol_6_18436(_664463), -(isa(_664463, c_tptpcol_6_18436))], (2430 ^ _593980) ^ [_664651] : [isa(_664651, c_tptpcol_8_93698), -(tptpcol_8_93698(_664651))], (2436 ^ _593980) ^ [_664839] : [tptpcol_8_93698(_664839), -(isa(_664839, c_tptpcol_8_93698))], (2442 ^ _593980) ^ [_665027] : [isa(_665027, c_tptpcol_11_109125), -(tptpcol_11_109125(_665027))], (2448 ^ _593980) ^ [_665215] : [tptpcol_11_109125(_665215), -(isa(_665215, c_tptpcol_11_109125))], (2454 ^ _593980) ^ [_665403] : [isa(_665403, c_tptpcol_6_108546), -(tptpcol_6_108546(_665403))], (2460 ^ _593980) ^ [_665591] : [tptpcol_6_108546(_665591), -(isa(_665591, c_tptpcol_6_108546))], (2466 ^ _593980) ^ [_665779] : [isa(_665779, c_tptpcol_6_20484), -(tptpcol_6_20484(_665779))], (2472 ^ _593980) ^ [_665967] : [tptpcol_6_20484(_665967), -(isa(_665967, c_tptpcol_6_20484))], (2478 ^ _593980) ^ [_666169, _666171] : [few(_666171, _666169), -(setorcollection(_666169))], (2484 ^ _593980) ^ [_666377, _666379] : [few(_666379, _666377), -(setorcollection(_666377))], (2490 ^ _593980) ^ [_666585, _666587] : [few(_666587, _666585), -(setorcollection(_666587))], (2496 ^ _593980) ^ [_666793, _666795] : [few(_666795, _666793), -(setorcollection(_666795))], (2502 ^ _593980) ^ [_667015, _667017, _667019] : [-(few(_667019, _667015)), few(_667019, _667017), subsetof(_667015, _667017)], (2512 ^ _593980) ^ [_667310] : [isa(_667310, c_tptpcol_15_130931), -(tptpcol_15_130931(_667310))], (2518 ^ _593980) ^ [_667498] : [tptpcol_15_130931(_667498), -(isa(_667498, c_tptpcol_15_130931))], (2524 ^ _593980) ^ [_667686] : [isa(_667686, c_tptpcol_16_130933), -(tptpcol_16_130933(_667686))], (2530 ^ _593980) ^ [_667874] : [tptpcol_16_130933(_667874), -(isa(_667874, c_tptpcol_16_130933))], (2536 ^ _593980) ^ [_668062] : [isa(_668062, c_tptpcol_7_92163), -(tptpcol_7_92163(_668062))], (2542 ^ _593980) ^ [_668250] : [tptpcol_7_92163(_668250), -(isa(_668250, c_tptpcol_7_92163))], (2548 ^ _593980) ^ [_668438] : [isa(_668438, c_tptpcol_15_130923), -(tptpcol_15_130923(_668438))], (2554 ^ _593980) ^ [_668626] : [tptpcol_15_130923(_668626), -(isa(_668626, c_tptpcol_15_130923))], (2560 ^ _593980) ^ [_668814] : [isa(_668814, c_tptpcol_16_130924), -(tptpcol_16_130924(_668814))], (2566 ^ _593980) ^ [_669002] : [tptpcol_16_130924(_669002), -(isa(_669002, c_tptpcol_16_130924))], (2572 ^ _593980) ^ [_669190] : [isa(_669190, c_intangibleindividual), -(intangibleindividual(_669190))], (2578 ^ _593980) ^ [_669378] : [intangibleindividual(_669378), -(isa(_669378, c_intangibleindividual))], (2584 ^ _593980) ^ [_669565, _669567] : [-(natfunction(f_citynamedfn(_669567, _669565), c_citynamedfn))], (2586 ^ _593980) ^ [_669662, _669664] : [-(natargument(f_citynamedfn(_669664, _669662), n_1, _669664))], (2588 ^ _593980) ^ [_669760, _669762] : [-(natargument(f_citynamedfn(_669762, _669760), n_2, _669760))], (2590 ^ _593980) ^ [_669858, _669860] : [-(city(f_citynamedfn(_669860, _669858)))], (2592 ^ _593980) ^ [_669955] : [isa(_669955, c_tptpcol_13_26920), -(tptpcol_13_26920(_669955))], (2598 ^ _593980) ^ [_670143] : [tptpcol_13_26920(_670143), -(isa(_670143, c_tptpcol_13_26920))], (2604 ^ _593980) ^ [_670331] : [isa(_670331, c_tptpcol_14_26921), -(tptpcol_14_26921(_670331))], (2610 ^ _593980) ^ [_670519] : [tptpcol_14_26921(_670519), -(isa(_670519, c_tptpcol_14_26921))], (2616 ^ _593980) ^ [_670707] : [isa(_670707, c_tptpcol_3_65538), -(tptpcol_3_65538(_670707))], (2622 ^ _593980) ^ [_670895] : [tptpcol_3_65538(_670895), -(isa(_670895, c_tptpcol_3_65538))], (2628 ^ _593980) ^ [_671083] : [isa(_671083, c_tptpcol_16_27189), -(tptpcol_16_27189(_671083))], (2634 ^ _593980) ^ [_671271] : [tptpcol_16_27189(_671271), -(isa(_671271, c_tptpcol_16_27189))], (2640 ^ _593980) ^ [_671473, _671475] : [tptp_9_51(_671475, _671473), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_671473))], (2646 ^ _593980) ^ [_671681, _671683] : [tptp_9_51(_671683, _671681), -(tptpcol_7_26628(_671683))], (2652 ^ _593980) ^ [_671875] : [isa(_671875, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_671875))], (2658 ^ _593980) ^ [_672063] : [reflexivebinarypredicate(_672063), -(isa(_672063, c_reflexivebinarypredicate))], (2664 ^ _593980) ^ [_672251] : [isa(_672251, c_tptpcol_7_21508), -(tptpcol_7_21508(_672251))], (2670 ^ _593980) ^ [_672439] : [tptpcol_7_21508(_672439), -(isa(_672439, c_tptpcol_7_21508))], (2676 ^ _593980) ^ [_672627] : [isa(_672627, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_672627))], (2682 ^ _593980) ^ [_672815] : [hpkb_subnationalagent(_672815), -(isa(_672815, c_hpkb_subnationalagent))], (2688 ^ _593980) ^ [_673003] : [isa(_673003, c_state_geopolitical), -(state_geopolitical(_673003))], (2694 ^ _593980) ^ [_673191] : [state_geopolitical(_673191), -(isa(_673191, c_state_geopolitical))], (2700 ^ _593980) ^ [_673406, _673408, _673410, _673412] : [-(natfunction(f_relationallexistsfn(_673412, _673410, _673408, _673406), c_relationallexistsfn))], (2702 ^ _593980) ^ [_673537, _673539, _673541, _673543] : [-(natargument(f_relationallexistsfn(_673543, _673541, _673539, _673537), n_1, _673543))], (2704 ^ _593980) ^ [_673669, _673671, _673673, _673675] : [-(natargument(f_relationallexistsfn(_673675, _673673, _673671, _673669), n_2, _673673))], (2706 ^ _593980) ^ [_673801, _673803, _673805, _673807] : [-(natargument(f_relationallexistsfn(_673807, _673805, _673803, _673801), n_3, _673803))], (2708 ^ _593980) ^ [_673933, _673935, _673937, _673939] : [-(natargument(f_relationallexistsfn(_673939, _673937, _673935, _673933), n_4, _673933))], (2710 ^ _593980) ^ [_674065, _674067, _674069, _674071] : [-(thing(f_relationallexistsfn(_674071, _674069, _674067, _674065)))], (2712 ^ _593980) ^ [_674182, _674184] : [arg2isa(_674184, _674182), -(collection(_674182))], (2718 ^ _593980) ^ [_674390, _674392] : [arg2isa(_674392, _674390), -(relation(_674392))], (2724 ^ _593980) ^ [_674612, _674614, _674616] : [-(arg2isa(_674616, _674612)), arg2isa(_674616, _674614), genls(_674614, _674612)], (2734 ^ _593980) ^ [_674935, _674937, _674939] : [-(arg2isa(_674939, _674935)), arg2isa(_674939, _674937), genls(_674937, _674935)], (2744 ^ _593980) ^ [_675230] : [isa(_675230, c_geolevel_1), -(geolevel_1(_675230))], (2750 ^ _593980) ^ [_675418] : [geolevel_1(_675418), -(isa(_675418, c_geolevel_1))], (2756 ^ _593980) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _593980) ^ [_675659] : [isa(_675659, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_675659))], (2764 ^ _593980) ^ [_675847] : [spatialthing_nonsituational(_675847), -(isa(_675847, c_spatialthing_nonsituational))], (2770 ^ _593980) ^ [_676035] : [isa(_676035, c_militaryperson), -(militaryperson(_676035))], (2776 ^ _593980) ^ [_676223] : [militaryperson(_676223), -(isa(_676223, c_militaryperson))], (2782 ^ _593980) ^ [_676411] : [isa(_676411, c_tptpcol_15_72793), -(tptpcol_15_72793(_676411))], (2788 ^ _593980) ^ [_676599] : [tptpcol_15_72793(_676599), -(isa(_676599, c_tptpcol_15_72793))], (2794 ^ _593980) ^ [_676787] : [isa(_676787, c_tptpcol_9_26885), -(tptpcol_9_26885(_676787))], (2800 ^ _593980) ^ [_676975] : [tptpcol_9_26885(_676975), -(isa(_676975, c_tptpcol_9_26885))], (2806 ^ _593980) ^ [_677163] : [isa(_677163, c_tptpcol_10_26886), -(tptpcol_10_26886(_677163))], (2812 ^ _593980) ^ [_677351] : [tptpcol_10_26886(_677351), -(isa(_677351, c_tptpcol_10_26886))], (2818 ^ _593980) ^ [_677553, _677555] : [tptptypes_8_823(_677555, _677553), -(firstordercollection(_677553))], (2824 ^ _593980) ^ [_677761, _677763] : [tptptypes_8_823(_677763, _677761), -(firstordercollection(_677763))], (2830 ^ _593980) ^ [_677955] : [isa(_677955, c_tptpcol_16_92269), -(tptpcol_16_92269(_677955))], (2836 ^ _593980) ^ [_678143] : [tptpcol_16_92269(_678143), -(isa(_678143, c_tptpcol_16_92269))], (2842 ^ _593980) ^ [_678331] : [isa(_678331, c_tptpcol_15_109185), -(tptpcol_15_109185(_678331))], (2848 ^ _593980) ^ [_678519] : [tptpcol_15_109185(_678519), -(isa(_678519, c_tptpcol_15_109185))], (2854 ^ _593980) ^ [_678707] : [isa(_678707, c_tptpcol_6_26627), -(tptpcol_6_26627(_678707))], (2860 ^ _593980) ^ [_678895] : [tptpcol_6_26627(_678895), -(isa(_678895, c_tptpcol_6_26627))], (2866 ^ _593980) ^ [_679083] : [isa(_679083, c_tptpcol_12_118116), -(tptpcol_12_118116(_679083))], (2872 ^ _593980) ^ [_679271] : [tptpcol_12_118116(_679271), -(isa(_679271, c_tptpcol_12_118116))], (2878 ^ _593980) ^ [_679459] : [isa(_679459, c_tptpcol_8_18438), -(tptpcol_8_18438(_679459))], (2884 ^ _593980) ^ [_679647] : [tptpcol_8_18438(_679647), -(isa(_679647, c_tptpcol_8_18438))], (2890 ^ _593980) ^ [_679835] : [isa(_679835, c_tptpcol_15_30970), -(tptpcol_15_30970(_679835))], (2896 ^ _593980) ^ [_680023] : [tptpcol_15_30970(_680023), -(isa(_680023, c_tptpcol_15_30970))], (2902 ^ _593980) ^ [_680211] : [isa(_680211, c_tptpcol_16_30972), -(tptpcol_16_30972(_680211))], (2908 ^ _593980) ^ [_680399] : [tptpcol_16_30972(_680399), -(isa(_680399, c_tptpcol_16_30972))], (2914 ^ _593980) ^ [_680587] : [isa(_680587, c_tptpcol_14_109181), -(tptpcol_14_109181(_680587))], (2920 ^ _593980) ^ [_680775] : [tptpcol_14_109181(_680775), -(isa(_680775, c_tptpcol_14_109181))], (2926 ^ _593980) ^ [_680963] : [isa(_680963, c_physicalorderingpredicate), -(physicalorderingpredicate(_680963))], (2932 ^ _593980) ^ [_681151] : [physicalorderingpredicate(_681151), -(isa(_681151, c_physicalorderingpredicate))], (2938 ^ _593980) ^ [_681339] : [isa(_681339, c_tptpcol_16_7738), -(tptpcol_16_7738(_681339))], (2944 ^ _593980) ^ [_681527] : [tptpcol_16_7738(_681527), -(isa(_681527, c_tptpcol_16_7738))], (2950 ^ _593980) ^ [_681729, _681731] : [tptp_8_968(_681731, _681729), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_681729))], (2956 ^ _593980) ^ [_681937, _681939] : [tptp_8_968(_681939, _681937), -(tptpcol_7_7172(_681939))], (2962 ^ _593980) ^ [_682159, _682161, _682163] : [relationexistsall(_682163, _682161, _682159), -(collection(_682159))], (2968 ^ _593980) ^ [_682389, _682391, _682393] : [relationexistsall(_682393, _682391, _682389), -(collection(_682391))], (2974 ^ _593980) ^ [_682619, _682621, _682623] : [relationexistsall(_682623, _682621, _682619), -(binarypredicate(_682623))], (2980 ^ _593980) ^ [_682821] : [isa(_682821, c_tptpcol_7_26628), -(tptpcol_7_26628(_682821))], (2986 ^ _593980) ^ [_683009] : [tptpcol_7_26628(_683009), -(isa(_683009, c_tptpcol_7_26628))], (2992 ^ _593980) ^ [_683197] : [isa(_683197, c_tptpcol_8_26629), -(tptpcol_8_26629(_683197))], (2998 ^ _593980) ^ [_683385] : [tptpcol_8_26629(_683385), -(isa(_683385, c_tptpcol_8_26629))], (3004 ^ _593980) ^ [_683573] : [isa(_683573, c_tptpcol_3_114688), -(tptpcol_3_114688(_683573))], (3010 ^ _593980) ^ [_683761] : [tptpcol_3_114688(_683761), -(isa(_683761, c_tptpcol_3_114688))], (3016 ^ _593980) ^ [_683934] : [-(natfunction(f_contextofpcwfn(_683934), c_contextofpcwfn))], (3018 ^ _593980) ^ [_684014] : [-(natargument(f_contextofpcwfn(_684014), n_1, _684014))], (3020 ^ _593980) ^ [_684095] : [-(microtheory(f_contextofpcwfn(_684095)))], (3022 ^ _593980) ^ [_684203, _684205] : [arg1isa(_684205, _684203), -(collection(_684203))], (3028 ^ _593980) ^ [_684411, _684413] : [arg1isa(_684413, _684411), -(relation(_684413))], (3034 ^ _593980) ^ [_684633, _684635, _684637] : [-(arg1isa(_684637, _684633)), arg1isa(_684637, _684635), genls(_684635, _684633)], (3044 ^ _593980) ^ [_684956, _684958, _684960] : [-(arg1isa(_684960, _684956)), arg1isa(_684960, _684958), genls(_684958, _684956)], (3054 ^ _593980) ^ [_685265, _685267] : [objectfoundinlocation(_685267, _685265), -(spatialthing_nonsituational(_685265))], (3060 ^ _593980) ^ [_685473, _685475] : [objectfoundinlocation(_685475, _685473), -(spatialthing_localized(_685473))], (3066 ^ _593980) ^ [_685681, _685683] : [objectfoundinlocation(_685683, _685681), -(spatialthing_nonsituational(_685683))], (3072 ^ _593980) ^ [_685889, _685891] : [objectfoundinlocation(_685891, _685889), -(spatialthing_localized(_685891))], (3078 ^ _593980) ^ [_686111, _686113, _686115] : [-(objectfoundinlocation(_686115, _686111)), objectfoundinlocation(_686115, _686113), objectfoundinlocation(_686113, _686111)], (3088 ^ _593980) ^ [_686390] : [objectfoundinlocation(_686390, _686390)], (3090 ^ _593980) ^ [_686511, _686513, _686515] : [-(objectfoundinlocation(_686515, _686511)), objectfoundinlocation(_686515, _686513), geopoliticalsubdivision(_686511, _686513)], (3100 ^ _593980) ^ [_686834, _686836, _686838] : [-(objectfoundinlocation(_686838, _686834)), objectfoundinlocation(_686838, _686836), geographicallysubsumes(_686834, _686836)], (3110 ^ _593980) ^ [_687157, _687159, _687161] : [-(objectfoundinlocation(_687161, _687157)), objectfoundinlocation(_687161, _687159), subregions(_687157, _687159)], (3120 ^ _593980) ^ [_687452] : [isa(_687452, c_ship), -(ship(_687452))], (3126 ^ _593980) ^ [_687640] : [ship(_687640), -(isa(_687640, c_ship))], (3132 ^ _593980) ^ [_687841, _687843, _687845] : [-(natfunction(f_subcollectionofwithrelationtofn(_687845, _687843, _687841), c_subcollectionofwithrelationtofn))], (3134 ^ _593980) ^ [_687955, _687957, _687959] : [-(natargument(f_subcollectionofwithrelationtofn(_687959, _687957, _687955), n_1, _687959))], (3136 ^ _593980) ^ [_688070, _688072, _688074] : [-(natargument(f_subcollectionofwithrelationtofn(_688074, _688072, _688070), n_2, _688072))], (3138 ^ _593980) ^ [_688185, _688187, _688189] : [-(natargument(f_subcollectionofwithrelationtofn(_688189, _688187, _688185), n_3, _688185))], (3140 ^ _593980) ^ [_688300, _688302, _688304] : [-(collection(f_subcollectionofwithrelationtofn(_688304, _688302, _688300)))], (3142 ^ _593980) ^ [_688400] : [isa(_688400, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688400))], (3148 ^ _593980) ^ [_688588] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688588), -(isa(_688588, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _593980) ^ [_688776] : [isa(_688776, c_tptpcol_4_65539), -(tptpcol_4_65539(_688776))], (3160 ^ _593980) ^ [_688964] : [tptpcol_4_65539(_688964), -(isa(_688964, c_tptpcol_4_65539))], (3166 ^ _593980) ^ [_689152] : [isa(_689152, c_tptpcol_5_69635), -(tptpcol_5_69635(_689152))], (3172 ^ _593980) ^ [_689340] : [tptpcol_5_69635(_689340), -(isa(_689340, c_tptpcol_5_69635))], (3178 ^ _593980) ^ [_689528] : [isa(_689528, c_tptpcol_3_16386), -(tptpcol_3_16386(_689528))], (3184 ^ _593980) ^ [_689716] : [tptpcol_3_16386(_689716), -(isa(_689716, c_tptpcol_3_16386))], (3190 ^ _593980) ^ [_689918, _689920] : [no(_689920, _689918), -(setorcollection(_689918))], (3196 ^ _593980) ^ [_690126, _690128] : [no(_690128, _690126), -(setorcollection(_690128))], (3202 ^ _593980) ^ [_690334, _690336] : [no(_690336, _690334), -(no(_690334, _690336))], (3208 ^ _593980) ^ [_690558, _690560, _690562] : [-(no(_690562, _690558)), no(_690562, _690560), subsetof(_690558, _690560)], (3218 ^ _593980) ^ [_690881, _690883, _690885] : [-(no(_690881, _690883)), no(_690885, _690883), subsetof(_690881, _690885)], (3228 ^ _593980) ^ [_691204, _691206, _691208] : [-(no(_691204, _691206)), no(_691208, _691206), genls(_691204, _691208)], (3238 ^ _593980) ^ [_691527, _691529, _691531] : [-(no(_691531, _691527)), no(_691531, _691529), genls(_691527, _691529)], (3248 ^ _593980) ^ [_691850, _691852, _691854] : [-(no(_691850, _691852)), no(_691854, _691852), subsetof(_691850, _691854)], (3258 ^ _593980) ^ [_692173, _692175, _692177] : [-(no(_692177, _692173)), no(_692177, _692175), subsetof(_692173, _692175)], (3268 ^ _593980) ^ [_692468] : [isa(_692468, c_geographicalregion), -(geographicalregion(_692468))], (3274 ^ _593980) ^ [_692656] : [geographicalregion(_692656), -(isa(_692656, c_geographicalregion))], (3280 ^ _593980) ^ [_692829] : [-(natfunction(f_tptpquantityfn_21(_692829), c_tptpquantityfn_21))], (3282 ^ _593980) ^ [_692909] : [-(natargument(f_tptpquantityfn_21(_692909), n_1, _692909))], (3284 ^ _593980) ^ [_692990] : [-(tptpquantity(f_tptpquantityfn_21(_692990)))], (3286 ^ _593980) ^ [_693098, _693100] : [airporthasiatacode(_693100, _693098), -(stringoflengthfn3(_693098))], (3292 ^ _593980) ^ [_693306, _693308] : [airporthasiatacode(_693308, _693306), -(airport_physical(_693308))], (3298 ^ _593980) ^ [_693500] : [isa(_693500, c_airport_physical), -(airport_physical(_693500))], (3304 ^ _593980) ^ [_693688] : [airport_physical(_693688), -(isa(_693688, c_airport_physical))], (3310 ^ _593980) ^ [_693889, _693891, _693893] : [-(natfunction(f_instancewithrelationtofn(_693893, _693891, _693889), c_instancewithrelationtofn))], (3312 ^ _593980) ^ [_694003, _694005, _694007] : [-(natargument(f_instancewithrelationtofn(_694007, _694005, _694003), n_1, _694007))], (3314 ^ _593980) ^ [_694118, _694120, _694122] : [-(natargument(f_instancewithrelationtofn(_694122, _694120, _694118), n_2, _694120))], (3316 ^ _593980) ^ [_694233, _694235, _694237] : [-(natargument(f_instancewithrelationtofn(_694237, _694235, _694233), n_3, _694233))], (3318 ^ _593980) ^ [_694348, _694350, _694352] : [-(thing(f_instancewithrelationtofn(_694352, _694350, _694348)))], (3320 ^ _593980) ^ [_694448] : [isa(_694448, c_tptpcol_6_112641), -(tptpcol_6_112641(_694448))], (3326 ^ _593980) ^ [_694636] : [tptpcol_6_112641(_694636), -(isa(_694636, c_tptpcol_6_112641))], (3332 ^ _593980) ^ [_694824] : [isa(_694824, c_tptpcol_7_113665), -(tptpcol_7_113665(_694824))], (3338 ^ _593980) ^ [_695012] : [tptpcol_7_113665(_695012), -(isa(_695012, c_tptpcol_7_113665))], (3344 ^ _593980) ^ [_695200] : [isa(_695200, c_artifact), -(artifact(_695200))], (3350 ^ _593980) ^ [_695388] : [artifact(_695388), -(isa(_695388, c_artifact))], (3356 ^ _593980) ^ [_695576] : [isa(_695576, c_tptpcol_13_18664), -(tptpcol_13_18664(_695576))], (3362 ^ _593980) ^ [_695764] : [tptpcol_13_18664(_695764), -(isa(_695764, c_tptpcol_13_18664))], (3368 ^ _593980) ^ [_695952] : [isa(_695952, c_firstordercollection), -(firstordercollection(_695952))], (3374 ^ _593980) ^ [_696140] : [firstordercollection(_696140), -(isa(_696140, c_firstordercollection))], (3380 ^ _593980) ^ [_696313] : [-(natfunction(f_tptpquantityfn_14(_696313), c_tptpquantityfn_14))], (3382 ^ _593980) ^ [_696393] : [-(natargument(f_tptpquantityfn_14(_696393), n_1, _696393))], (3384 ^ _593980) ^ [_696474] : [-(tptpquantity(f_tptpquantityfn_14(_696474)))], (3386 ^ _593980) ^ [_696568] : [isa(_696568, c_supplies), -(supplies(_696568))], (3392 ^ _593980) ^ [_696756] : [supplies(_696756), -(isa(_696756, c_supplies))], (3398 ^ _593980) ^ [_696944] : [isa(_696944, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_696944))], (3404 ^ _593980) ^ [_697132] : [inanimateobject_nonnatural(_697132), -(isa(_697132, c_inanimateobject_nonnatural))], (3410 ^ _593980) ^ [_697320] : [isa(_697320, c_tptpcol_13_22071), -(tptpcol_13_22071(_697320))], (3416 ^ _593980) ^ [_697508] : [tptpcol_13_22071(_697508), -(isa(_697508, c_tptpcol_13_22071))], (3422 ^ _593980) ^ [_697696] : [isa(_697696, c_tptpcol_14_22072), -(tptpcol_14_22072(_697696))], (3428 ^ _593980) ^ [_697884] : [tptpcol_14_22072(_697884), -(isa(_697884, c_tptpcol_14_22072))], (3434 ^ _593980) ^ [_698072] : [isa(_698072, c_tptpcol_7_108547), -(tptpcol_7_108547(_698072))], (3440 ^ _593980) ^ [_698260] : [tptpcol_7_108547(_698260), -(isa(_698260, c_tptpcol_7_108547))], (3446 ^ _593980) ^ [_698448] : [isa(_698448, c_tptpcol_8_109059), -(tptpcol_8_109059(_698448))], (3452 ^ _593980) ^ [_698636] : [tptpcol_8_109059(_698636), -(isa(_698636, c_tptpcol_8_109059))], (3458 ^ _593980) ^ [_698824] : [isa(_698824, c_tptpcol_14_93774), -(tptpcol_14_93774(_698824))], (3464 ^ _593980) ^ [_699012] : [tptpcol_14_93774(_699012), -(isa(_699012, c_tptpcol_14_93774))], (3470 ^ _593980) ^ [_699200] : [isa(_699200, c_tptpcol_15_93775), -(tptpcol_15_93775(_699200))], (3476 ^ _593980) ^ [_699388] : [tptpcol_15_93775(_699388), -(isa(_699388, c_tptpcol_15_93775))], (3482 ^ _593980) ^ [_699576] : [isa(_699576, c_tptpcol_16_8886), -(tptpcol_16_8886(_699576))], (3488 ^ _593980) ^ [_699764] : [tptpcol_16_8886(_699764), -(isa(_699764, c_tptpcol_16_8886))], (3494 ^ _593980) ^ [_699966, _699968] : [orientation(_699968, _699966), -(orientationvector(_699966))], (3500 ^ _593980) ^ [_700174, _700176] : [orientation(_700176, _700174), -(spatialthing_localized(_700176))], (3506 ^ _593980) ^ [_700368] : [isa(_700368, c_orientationvector), -(orientationvector(_700368))], (3512 ^ _593980) ^ [_700556] : [orientationvector(_700556), -(isa(_700556, c_orientationvector))], (3518 ^ _593980) ^ [_700744] : [isa(_700744, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700744))], (3524 ^ _593980) ^ [_700932] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700932), -(isa(_700932, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _593980) ^ [_701134, _701136] : [tptptypes_9_824(_701136, _701134), -(firstordercollection(_701134))], (3536 ^ _593980) ^ [_701342, _701344] : [tptptypes_9_824(_701344, _701342), -(firstordercollection(_701344))], (3542 ^ _593980) ^ [_701550, _701552] : [tptptypes_7_396(_701552, _701550), -(firstordercollection(_701550))], (3548 ^ _593980) ^ [_701758, _701760] : [tptptypes_7_396(_701760, _701758), -(firstordercollection(_701760))], (3554 ^ _593980) ^ [_701952] : [isa(_701952, c_tptpcol_12_22055), -(tptpcol_12_22055(_701952))], (3560 ^ _593980) ^ [_702140] : [tptpcol_12_22055(_702140), -(isa(_702140, c_tptpcol_12_22055))], (3566 ^ _593980) ^ [_702328] : [isa(_702328, c_tptpcol_16_29490), -(tptpcol_16_29490(_702328))], (3572 ^ _593980) ^ [_702516] : [tptpcol_16_29490(_702516), -(isa(_702516, c_tptpcol_16_29490))], (3578 ^ _593980) ^ [_702718, _702720] : [tptp_9_720(_702720, _702718), -(tptpcol_5_28674(_702718))], (3584 ^ _593980) ^ [_702926, _702928] : [tptp_9_720(_702928, _702926), -(executionbyfiringsquad(_702928))], (3590 ^ _593980) ^ [_703120] : [isa(_703120, c_runningshorts), -(runningshorts(_703120))], (3596 ^ _593980) ^ [_703308] : [runningshorts(_703308), -(isa(_703308, c_runningshorts))], (3602 ^ _593980) ^ [_703496] : [isa(_703496, c_tptpcol_9_118019), -(tptpcol_9_118019(_703496))], (3608 ^ _593980) ^ [_703684] : [tptpcol_9_118019(_703684), -(isa(_703684, c_tptpcol_9_118019))], (3614 ^ _593980) ^ [_703872] : [isa(_703872, c_tptpcol_16_31868), -(tptpcol_16_31868(_703872))], (3620 ^ _593980) ^ [_704060] : [tptpcol_16_31868(_704060), -(isa(_704060, c_tptpcol_16_31868))], (3626 ^ _593980) ^ [_704248] : [isa(_704248, c_movement_translationevent), -(movement_translationevent(_704248))], (3632 ^ _593980) ^ [_704436] : [movement_translationevent(_704436), -(isa(_704436, c_movement_translationevent))], (3638 ^ _593980) ^ [_704638, _704640] : [directionoftranslation_throughout(_704640, _704638), -(unitvectorinterval(_704638))], (3644 ^ _593980) ^ [_704846, _704848] : [directionoftranslation_throughout(_704848, _704846), -(movement_translationevent(_704848))], (3650 ^ _593980) ^ [_705068, _705070, _705072] : [-(directionoftranslation_throughout(_705068, _705070)), directionoftranslation_throughout(_705072, _705070), subevents(_705072, _705068)], (3660 ^ _593980) ^ [_705363] : [isa(_705363, c_unitvectorinterval), -(unitvectorinterval(_705363))], (3666 ^ _593980) ^ [_705551] : [unitvectorinterval(_705551), -(isa(_705551, c_unitvectorinterval))], (3672 ^ _593980) ^ [_705739] : [isa(_705739, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705739))], (3678 ^ _593980) ^ [_705927] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705927), -(isa(_705927, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _593980) ^ [_706129, _706131] : [tptp_8_875(_706131, _706129), -(tptpcol_4_24578(_706129))], (3690 ^ _593980) ^ [_706337, _706339] : [tptp_8_875(_706339, _706337), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_706339))], (3696 ^ _593980) ^ [_706559, _706561, _706563] : [relationallexists(_706563, _706561, _706559), -(collection(_706559))], (3702 ^ _593980) ^ [_706789, _706791, _706793] : [relationallexists(_706793, _706791, _706789), -(collection(_706791))], (3708 ^ _593980) ^ [_707019, _707021, _707023] : [relationallexists(_707023, _707021, _707019), -(binarypredicate(_707023))], (3714 ^ _593980) ^ [_707221] : [isa(_707221, c_tptpcol_16_10258), -(tptpcol_16_10258(_707221))], (3720 ^ _593980) ^ [_707409] : [tptpcol_16_10258(_707409), -(isa(_707409, c_tptpcol_16_10258))], (3726 ^ _593980) ^ [_707597] : [isa(_707597, c_pushingababycarriage), -(pushingababycarriage(_707597))], (3732 ^ _593980) ^ [_707785] : [pushingababycarriage(_707785), -(isa(_707785, c_pushingababycarriage))], (3738 ^ _593980) ^ [_707973] : [isa(_707973, c_aspatialinformationstore), -(aspatialinformationstore(_707973))], (3744 ^ _593980) ^ [_708161] : [aspatialinformationstore(_708161), -(isa(_708161, c_aspatialinformationstore))], (3750 ^ _593980) ^ [_708349] : [isa(_708349, c_collection), -(collection(_708349))], (3756 ^ _593980) ^ [_708537] : [collection(_708537), -(isa(_708537, c_collection))], (3762 ^ _593980) ^ [_708725] : [isa(_708725, c_fixedordercollection), -(fixedordercollection(_708725))], (3768 ^ _593980) ^ [_708913] : [fixedordercollection(_708913), -(isa(_708913, c_fixedordercollection))], (3774 ^ _593980) ^ [_709101] : [isa(_709101, c_tptpcol_8_92164), -(tptpcol_8_92164(_709101))], (3780 ^ _593980) ^ [_709289] : [tptpcol_8_92164(_709289), -(isa(_709289, c_tptpcol_8_92164))], (3786 ^ _593980) ^ [_709477] : [isa(_709477, c_tptpcol_9_92165), -(tptpcol_9_92165(_709477))], (3792 ^ _593980) ^ [_709665] : [tptpcol_9_92165(_709665), -(isa(_709665, c_tptpcol_9_92165))], (3798 ^ _593980) ^ [_709853] : [isa(_709853, c_tptpcol_1_1), -(tptpcol_1_1(_709853))], (3804 ^ _593980) ^ [_710041] : [tptpcol_1_1(_710041), -(isa(_710041, c_tptpcol_1_1))], (3810 ^ _593980) ^ [_710229] : [isa(_710229, c_tptpcol_2_2), -(tptpcol_2_2(_710229))], (3816 ^ _593980) ^ [_710417] : [tptpcol_2_2(_710417), -(isa(_710417, c_tptpcol_2_2))], (3822 ^ _593980) ^ [_710619, _710621] : [tptptypes_7_691(_710621, _710619), -(firstordercollection(_710619))], (3828 ^ _593980) ^ [_710827, _710829] : [tptptypes_7_691(_710829, _710827), -(firstordercollection(_710829))], (3834 ^ _593980) ^ [_711021] : [isa(_711021, c_tptpcol_11_26887), -(tptpcol_11_26887(_711021))], (3840 ^ _593980) ^ [_711209] : [tptpcol_11_26887(_711209), -(isa(_711209, c_tptpcol_11_26887))], (3846 ^ _593980) ^ [_711397] : [isa(_711397, c_tptpcol_12_26919), -(tptpcol_12_26919(_711397))], (3852 ^ _593980) ^ [_711585] : [tptpcol_12_26919(_711585), -(isa(_711585, c_tptpcol_12_26919))], (3858 ^ _593980) ^ [_711787, _711789] : [tptptypes_6_818(_711789, _711787), -(firstordercollection(_711787))], (3864 ^ _593980) ^ [_711995, _711997] : [tptptypes_6_818(_711997, _711995), -(firstordercollection(_711997))], (3870 ^ _593980) ^ [_712203, _712205] : [tptptypes_7_819(_712205, _712203), -(firstordercollection(_712203))], (3876 ^ _593980) ^ [_712411, _712413] : [tptptypes_7_819(_712413, _712411), -(firstordercollection(_712413))], (3882 ^ _593980) ^ [_712605] : [isa(_712605, c_correctivelensprescription), -(correctivelensprescription(_712605))], (3888 ^ _593980) ^ [_712793] : [correctivelensprescription(_712793), -(isa(_712793, c_correctivelensprescription))], (3894 ^ _593980) ^ [_712995, _712997] : [products(_712997, _712995), -(artifact(_712995))], (3900 ^ _593980) ^ [_713203, _713205] : [products(_713205, _713203), -(creationordestructionevent(_713205))], (3906 ^ _593980) ^ [_713397] : [isa(_713397, c_issuingaprescription), -(issuingaprescription(_713397))], (3912 ^ _593980) ^ [_713585] : [issuingaprescription(_713585), -(isa(_713585, c_issuingaprescription))], (3918 ^ _593980) ^ [_713786, _713788, _713790] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_713790, _713788, _713786), c_subcollectionofwithrelationtotypefn))], (3920 ^ _593980) ^ [_713900, _713902, _713904] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713904, _713902, _713900), n_1, _713904))], (3922 ^ _593980) ^ [_714015, _714017, _714019] : [-(natargument(f_subcollectionofwithrelationtotypefn(_714019, _714017, _714015), n_2, _714017))], (3924 ^ _593980) ^ [_714130, _714132, _714134] : [-(natargument(f_subcollectionofwithrelationtotypefn(_714134, _714132, _714130), n_3, _714130))], (3926 ^ _593980) ^ [_714245, _714247, _714249] : [-(collection(f_subcollectionofwithrelationtotypefn(_714249, _714247, _714245)))], (3928 ^ _593980) ^ [_714345] : [isa(_714345, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_714345))], (3934 ^ _593980) ^ [_714533] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_714533), -(isa(_714533, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _593980) ^ [_714721] : [isa(_714721, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_714721))], (3946 ^ _593980) ^ [_714909] : [mathematicalorcomputationalthing(_714909), -(isa(_714909, c_mathematicalorcomputationalthing))], (3952 ^ _593980) ^ [_715097] : [isa(_715097, c_tptpcol_10_118020), -(tptpcol_10_118020(_715097))], (3958 ^ _593980) ^ [_715285] : [tptpcol_10_118020(_715285), -(isa(_715285, c_tptpcol_10_118020))], (3964 ^ _593980) ^ [_715473] : [isa(_715473, c_tptpcol_11_118084), -(tptpcol_11_118084(_715473))], (3970 ^ _593980) ^ [_715661] : [tptpcol_11_118084(_715661), -(isa(_715661, c_tptpcol_11_118084))], (3976 ^ _593980) ^ [_715849] : [isa(_715849, c_terroristgroup), -(terroristgroup(_715849))], (3982 ^ _593980) ^ [_716037] : [terroristgroup(_716037), -(isa(_716037, c_terroristgroup))], (3988 ^ _593980) ^ [_716239, _716241] : [hasmembers(_716241, _716239), -(agent_generic(_716239))], (3994 ^ _593980) ^ [_716447, _716449] : [hasmembers(_716449, _716447), -(organization(_716449))], (4000 ^ _593980) ^ [_716641] : [isa(_716641, c_terrorist), -(terrorist(_716641))], (4006 ^ _593980) ^ [_716829] : [terrorist(_716829), -(isa(_716829, c_terrorist))], (4012 ^ _593980) ^ [_717030, _717032, _717034] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_717034, _717032, _717030), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _593980) ^ [_717144, _717146, _717148] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_717148, _717146, _717144), n_1, _717148))], (4016 ^ _593980) ^ [_717259, _717261, _717263] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_717263, _717261, _717259), n_2, _717261))], (4018 ^ _593980) ^ [_717374, _717376, _717378] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_717378, _717376, _717374), n_3, _717374))], (4020 ^ _593980) ^ [_717489, _717491, _717493] : [-(collection(f_subcollectionofwithrelationfromtypefn(_717493, _717491, _717489)))], (4022 ^ _593980) ^ [_717589] : [isa(_717589, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717589))], (4028 ^ _593980) ^ [_717777] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_717777), -(isa(_717777, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _593980) ^ [_717979, _717981] : [prettystring(_717981, _717979), -(controlcharacterfreestring(_717979))], (4040 ^ _593980) ^ [_718187, _718189] : [prettystring(_718189, _718187), -(thing(_718189))], (4046 ^ _593980) ^ [_718381] : [isa(_718381, c_tptpcol_0_0), -(tptpcol_0_0(_718381))], (4052 ^ _593980) ^ [_718569] : [tptpcol_0_0(_718569), -(isa(_718569, c_tptpcol_0_0))], (4058 ^ _593980) ^ [_718757] : [isa(_718757, c_geolevel_3), -(geolevel_3(_718757))], (4064 ^ _593980) ^ [_718945] : [geolevel_3(_718945), -(isa(_718945, c_geolevel_3))], (4070 ^ _593980) ^ [_719133] : [isa(_719133, c_tptpcol_4_24578), -(tptpcol_4_24578(_719133))], (4076 ^ _593980) ^ [_719321] : [tptpcol_4_24578(_719321), -(isa(_719321, c_tptpcol_4_24578))], (4082 ^ _593980) ^ [_719509] : [isa(_719509, c_tptpcol_5_24579), -(tptpcol_5_24579(_719509))], (4088 ^ _593980) ^ [_719697] : [tptpcol_5_24579(_719697), -(isa(_719697, c_tptpcol_5_24579))], (4094 ^ _593980) ^ [_719885] : [isa(_719885, c_tptpcol_5_106498), -(tptpcol_5_106498(_719885))], (4100 ^ _593980) ^ [_720073] : [tptpcol_5_106498(_720073), -(isa(_720073, c_tptpcol_5_106498))], (4106 ^ _593980) ^ [_720261] : [isa(_720261, c_tptpcol_12_109157), -(tptpcol_12_109157(_720261))], (4112 ^ _593980) ^ [_720449] : [tptpcol_12_109157(_720449), -(isa(_720449, c_tptpcol_12_109157))], (4118 ^ _593980) ^ [_720637] : [isa(_720637, c_tptpcol_13_109173), -(tptpcol_13_109173(_720637))], (4124 ^ _593980) ^ [_720825] : [tptpcol_13_109173(_720825), -(isa(_720825, c_tptpcol_13_109173))], (4130 ^ _593980) ^ [_721013] : [isa(_721013, c_mathematicalthing), -(mathematicalthing(_721013))], (4136 ^ _593980) ^ [_721201] : [mathematicalthing(_721201), -(isa(_721201, c_mathematicalthing))], (4142 ^ _593980) ^ [_721389] : [isa(_721389, c_setorcollection), -(setorcollection(_721389))], (4148 ^ _593980) ^ [_721577] : [setorcollection(_721577), -(isa(_721577, c_setorcollection))], (4154 ^ _593980) ^ [_721765] : [isa(_721765, c_tptpcol_11_18631), -(tptpcol_11_18631(_721765))], (4160 ^ _593980) ^ [_721953] : [tptpcol_11_18631(_721953), -(isa(_721953, c_tptpcol_11_18631))], (4166 ^ _593980) ^ [_722141] : [isa(_722141, c_tptpcol_12_18663), -(tptpcol_12_18663(_722141))], (4172 ^ _593980) ^ [_722329] : [tptpcol_12_18663(_722329), -(isa(_722329, c_tptpcol_12_18663))], (4178 ^ _593980) ^ [_722531, _722533] : [tptptypes_8_400(_722533, _722531), -(firstordercollection(_722531))], (4184 ^ _593980) ^ [_722739, _722741] : [tptptypes_8_400(_722741, _722739), -(firstordercollection(_722741))], (4190 ^ _593980) ^ [_722947, _722949] : [tptptypes_9_401(_722949, _722947), -(firstordercollection(_722947))], (4196 ^ _593980) ^ [_723155, _723157] : [tptptypes_9_401(_723157, _723155), -(firstordercollection(_723157))], (4202 ^ _593980) ^ [_723334] : [-(natfunction(f_tptpquantityfn_13(_723334), c_tptpquantityfn_13))], (4204 ^ _593980) ^ [_723414] : [-(natargument(f_tptpquantityfn_13(_723414), n_1, _723414))], (4206 ^ _593980) ^ [_723495] : [-(tptpquantity(f_tptpquantityfn_13(_723495)))], (4208 ^ _593980) ^ [_723603, _723605] : [borderson(_723605, _723603), -(geographicalregion(_723603))], (4214 ^ _593980) ^ [_723811, _723813] : [borderson(_723813, _723811), -(geographicalregion(_723813))], (4220 ^ _593980) ^ [_724019, _724021] : [borderson(_724021, _724019), -(borderson(_724019, _724021))], (4226 ^ _593980) ^ [_724199] : [borderson(_724199, _724199)], (4228 ^ _593980) ^ [_724292] : [isa(_724292, c_tptpcol_14_92264), -(tptpcol_14_92264(_724292))], (4234 ^ _593980) ^ [_724480] : [tptpcol_14_92264(_724480), -(isa(_724480, c_tptpcol_14_92264))], (4240 ^ _593980) ^ [_724668] : [isa(_724668, c_tptpcol_15_92268), -(tptpcol_15_92268(_724668))], (4246 ^ _593980) ^ [_724856] : [tptpcol_15_92268(_724856), -(isa(_724856, c_tptpcol_15_92268))], (4252 ^ _593980) ^ [_725044] : [isa(_725044, c_tptpcol_6_116738), -(tptpcol_6_116738(_725044))], (4258 ^ _593980) ^ [_725232] : [tptpcol_6_116738(_725232), -(isa(_725232, c_tptpcol_6_116738))], (4264 ^ _593980) ^ [_725434, _725436] : [tptptypes_5_387(_725436, _725434), -(firstordercollection(_725434))], (4270 ^ _593980) ^ [_725642, _725644] : [tptptypes_5_387(_725644, _725642), -(firstordercollection(_725644))], (4276 ^ _593980) ^ [_725850, _725852] : [tptptypes_6_388(_725852, _725850), -(firstordercollection(_725850))], (4282 ^ _593980) ^ [_726058, _726060] : [tptptypes_6_388(_726060, _726058), -(firstordercollection(_726060))], (4288 ^ _593980) ^ [_726252] : [isa(_726252, c_shavingrazor_manual), -(shavingrazor_manual(_726252))], (4294 ^ _593980) ^ [_726440] : [shavingrazor_manual(_726440), -(isa(_726440, c_shavingrazor_manual))], (4300 ^ _593980) ^ [_726628] : [isa(_726628, c_tptpcol_9_109060), -(tptpcol_9_109060(_726628))], (4306 ^ _593980) ^ [_726816] : [tptpcol_9_109060(_726816), -(isa(_726816, c_tptpcol_9_109060))], (4312 ^ _593980) ^ [_727004] : [isa(_727004, c_tptpcol_10_109061), -(tptpcol_10_109061(_727004))], (4318 ^ _593980) ^ [_727192] : [tptpcol_10_109061(_727192), -(isa(_727192, c_tptpcol_10_109061))], (4324 ^ _593980) ^ [_727380] : [isa(_727380, c_executionbyfiringsquad), -(executionbyfiringsquad(_727380))], (4330 ^ _593980) ^ [_727568] : [executionbyfiringsquad(_727568), -(isa(_727568, c_executionbyfiringsquad))], (4336 ^ _593980) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _593980) ^ [_727809] : [isa(_727809, c_navypersonnel), -(navypersonnel(_727809))], (4344 ^ _593980) ^ [_727997] : [navypersonnel(_727997), -(isa(_727997, c_navypersonnel))], (4350 ^ _593980) ^ [_728185] : [isa(_728185, c_tptpcol_12_92262), -(tptpcol_12_92262(_728185))], (4356 ^ _593980) ^ [_728373] : [tptpcol_12_92262(_728373), -(isa(_728373, c_tptpcol_12_92262))], (4362 ^ _593980) ^ [_728561] : [isa(_728561, c_thing), -(thing(_728561))], (4368 ^ _593980) ^ [_728749] : [thing(_728749), -(isa(_728749, c_thing))], (4374 ^ _593980) ^ [_728937] : [isa(_728937, c_computerdataartifact), -(computerdataartifact(_728937))], (4380 ^ _593980) ^ [_729125] : [computerdataartifact(_729125), -(isa(_729125, c_computerdataartifact))], (4386 ^ _593980) ^ [_729313] : [isa(_729313, c_applicationcontext), -(applicationcontext(_729313))], (4392 ^ _593980) ^ [_729501] : [applicationcontext(_729501), -(isa(_729501, c_applicationcontext))], (4398 ^ _593980) ^ [_729703, _729705] : [inregion(_729705, _729703), -(spatialthing_nonsituational(_729703))], (4404 ^ _593980) ^ [_729911, _729913] : [inregion(_729913, _729911), -(spatialthing_nonsituational(_729913))], (4410 ^ _593980) ^ [_730133, _730135, _730137] : [-(inregion(_730137, _730133)), inregion(_730137, _730135), inregion(_730135, _730133)], (4420 ^ _593980) ^ [_730428] : [spatialthing_nonsituational(_730428), -(inregion(_730428, _730428))], (4426 ^ _593980) ^ [_730601] : [-(natfunction(f_tptpquantityfn_1(_730601), c_tptpquantityfn_1))], (4428 ^ _593980) ^ [_730681] : [-(natargument(f_tptpquantityfn_1(_730681), n_1, _730681))], (4430 ^ _593980) ^ [_730762] : [-(tptpquantity(f_tptpquantityfn_1(_730762)))], (4432 ^ _593980) ^ [_730856] : [isa(_730856, c_furpelt), -(furpelt(_730856))], (4438 ^ _593980) ^ [_731044] : [furpelt(_731044), -(isa(_731044, c_furpelt))], (4444 ^ _593980) ^ [_731246, _731248] : [tptpofobject(_731248, _731246), -(tptpquantity(_731246))], (4450 ^ _593980) ^ [_731454, _731456] : [tptpofobject(_731456, _731454), -(partiallytangible(_731456))], (4456 ^ _593980) ^ [_731676, _731678, _731680] : [relationallinstance(_731680, _731678, _731676), -(thing(_731676))], (4462 ^ _593980) ^ [_731906, _731908, _731910] : [relationallinstance(_731910, _731908, _731906), -(collection(_731908))], (4468 ^ _593980) ^ [_732136, _732138, _732140] : [relationallinstance(_732140, _732138, _732136), -(binarypredicate(_732140))], (4474 ^ _593980) ^ [_732338] : [isa(_732338, c_tptpcol_13_93766), -(tptpcol_13_93766(_732338))], (4480 ^ _593980) ^ [_732526] : [tptpcol_13_93766(_732526), -(isa(_732526, c_tptpcol_13_93766))], (4486 ^ _593980) ^ [_732714] : [isa(_732714, c_tptpcol_9_40196), -(tptpcol_9_40196(_732714))], (4492 ^ _593980) ^ [_732902] : [tptpcol_9_40196(_732902), -(isa(_732902, c_tptpcol_9_40196))], (4498 ^ _593980) ^ [_733090] : [isa(_733090, c_tptpcol_10_40324), -(tptpcol_10_40324(_733090))], (4504 ^ _593980) ^ [_733278] : [tptpcol_10_40324(_733278), -(isa(_733278, c_tptpcol_10_40324))], (4510 ^ _593980) ^ [_733466] : [isa(_733466, c_tptpcol_7_72707), -(tptpcol_7_72707(_733466))], (4516 ^ _593980) ^ [_733654] : [tptpcol_7_72707(_733654), -(isa(_733654, c_tptpcol_7_72707))], (4522 ^ _593980) ^ [_733842] : [isa(_733842, c_tptpcol_8_72708), -(tptpcol_8_72708(_733842))], (4528 ^ _593980) ^ [_734030] : [tptpcol_8_72708(_734030), -(isa(_734030, c_tptpcol_8_72708))], (4534 ^ _593980) ^ [_734218] : [isa(_734218, c_tptpcol_11_93764), -(tptpcol_11_93764(_734218))], (4540 ^ _593980) ^ [_734406] : [tptpcol_11_93764(_734406), -(isa(_734406, c_tptpcol_11_93764))], (4546 ^ _593980) ^ [_734594] : [isa(_734594, c_tptpcol_12_93765), -(tptpcol_12_93765(_734594))], (4552 ^ _593980) ^ [_734782] : [tptpcol_12_93765(_734782), -(isa(_734782, c_tptpcol_12_93765))], (4558 ^ _593980) ^ [_734970] : [isa(_734970, c_tptpcol_4_114689), -(tptpcol_4_114689(_734970))], (4564 ^ _593980) ^ [_735158] : [tptpcol_4_114689(_735158), -(isa(_735158, c_tptpcol_4_114689))], (4570 ^ _593980) ^ [_735346] : [isa(_735346, c_tptpcol_5_114690), -(tptpcol_5_114690(_735346))], (4576 ^ _593980) ^ [_735534] : [tptpcol_5_114690(_735534), -(isa(_735534, c_tptpcol_5_114690))], (4582 ^ _593980) ^ [_735722] : [isa(_735722, c_tptpcol_3_98305), -(tptpcol_3_98305(_735722))], (4588 ^ _593980) ^ [_735910] : [tptpcol_3_98305(_735910), -(isa(_735910, c_tptpcol_3_98305))], (4594 ^ _593980) ^ [_736098] : [isa(_736098, c_tptpcol_4_106497), -(tptpcol_4_106497(_736098))], (4600 ^ _593980) ^ [_736286] : [tptpcol_4_106497(_736286), -(isa(_736286, c_tptpcol_4_106497))], (4606 ^ _593980) ^ [_736501, _736503, _736505, _736507] : [-(natfunction(f_relationexistsallfn(_736507, _736505, _736503, _736501), c_relationexistsallfn))], (4608 ^ _593980) ^ [_736632, _736634, _736636, _736638] : [-(natargument(f_relationexistsallfn(_736638, _736636, _736634, _736632), n_1, _736638))], (4610 ^ _593980) ^ [_736764, _736766, _736768, _736770] : [-(natargument(f_relationexistsallfn(_736770, _736768, _736766, _736764), n_2, _736768))], (4612 ^ _593980) ^ [_736896, _736898, _736900, _736902] : [-(natargument(f_relationexistsallfn(_736902, _736900, _736898, _736896), n_3, _736898))], (4614 ^ _593980) ^ [_737028, _737030, _737032, _737034] : [-(natargument(f_relationexistsallfn(_737034, _737032, _737030, _737028), n_4, _737028))], (4616 ^ _593980) ^ [_737160, _737162, _737164, _737166] : [-(thing(f_relationexistsallfn(_737166, _737164, _737162, _737160)))], (4618 ^ _593980) ^ [_737277, _737279] : [resultisaarg(_737279, _737277), -(positiveinteger(_737277))], (4624 ^ _593980) ^ [_737485, _737487] : [resultisaarg(_737487, _737485), -(function_denotational(_737487))], (4630 ^ _593980) ^ [_737693, _737695] : [tptptypes_7_389(_737695, _737693), -(firstordercollection(_737693))], (4636 ^ _593980) ^ [_737901, _737903] : [tptptypes_7_389(_737903, _737901), -(firstordercollection(_737903))], (4642 ^ _593980) ^ [_738109, _738111] : [tptptypes_8_390(_738111, _738109), -(firstordercollection(_738109))], (4648 ^ _593980) ^ [_738317, _738319] : [tptptypes_8_390(_738319, _738317), -(firstordercollection(_738319))], (4654 ^ _593980) ^ [_738525, _738527] : [tptptypes_8_692(_738527, _738525), -(firstordercollection(_738525))], (4660 ^ _593980) ^ [_738733, _738735] : [tptptypes_8_692(_738735, _738733), -(firstordercollection(_738735))], (4666 ^ _593980) ^ [_738941, _738943] : [tptptypes_9_693(_738943, _738941), -(firstordercollection(_738941))], (4672 ^ _593980) ^ [_739149, _739151] : [tptptypes_9_693(_739151, _739149), -(firstordercollection(_739151))], (4678 ^ _593980) ^ [_739343] : [isa(_739343, c_tptpcol_11_40388), -(tptpcol_11_40388(_739343))], (4684 ^ _593980) ^ [_739531] : [tptpcol_11_40388(_739531), -(isa(_739531, c_tptpcol_11_40388))], (4690 ^ _593980) ^ [_739719] : [isa(_739719, c_marriagelicensedocument), -(marriagelicensedocument(_739719))], (4696 ^ _593980) ^ [_739907] : [marriagelicensedocument(_739907), -(isa(_739907, c_marriagelicensedocument))], (4702 ^ _593980) ^ [_740095] : [isa(_740095, c_tptpcol_1_65536), -(tptpcol_1_65536(_740095))], (4708 ^ _593980) ^ [_740283] : [tptpcol_1_65536(_740283), -(isa(_740283, c_tptpcol_1_65536))], (4714 ^ _593980) ^ [_740471] : [isa(_740471, c_tptpcol_2_98304), -(tptpcol_2_98304(_740471))], (4720 ^ _593980) ^ [_740659] : [tptpcol_2_98304(_740659), -(isa(_740659, c_tptpcol_2_98304))], (4726 ^ _593980) ^ [_740847] : [isa(_740847, c_tptpcol_10_92166), -(tptpcol_10_92166(_740847))], (4732 ^ _593980) ^ [_741035] : [tptpcol_10_92166(_741035), -(isa(_741035, c_tptpcol_10_92166))], (4738 ^ _593980) ^ [_741223] : [isa(_741223, c_tptpcol_11_92230), -(tptpcol_11_92230(_741223))], (4744 ^ _593980) ^ [_741411] : [tptpcol_11_92230(_741411), -(isa(_741411, c_tptpcol_11_92230))], (4750 ^ _593980) ^ [_741599] : [isa(_741599, c_orderingpredicate), -(orderingpredicate(_741599))], (4756 ^ _593980) ^ [_741787] : [orderingpredicate(_741787), -(isa(_741787, c_orderingpredicate))], (4762 ^ _593980) ^ [_741975] : [isa(_741975, c_tptpcol_9_18439), -(tptpcol_9_18439(_741975))], (4768 ^ _593980) ^ [_742163] : [tptpcol_9_18439(_742163), -(isa(_742163, c_tptpcol_9_18439))], (4774 ^ _593980) ^ [_742351] : [isa(_742351, c_tptpcol_10_18567), -(tptpcol_10_18567(_742351))], (4780 ^ _593980) ^ [_742539] : [tptpcol_10_18567(_742539), -(isa(_742539, c_tptpcol_10_18567))], (4786 ^ _593980) ^ [_742727] : [isa(_742727, c_tptpcol_2_65537), -(tptpcol_2_65537(_742727))], (4792 ^ _593980) ^ [_742915] : [tptpcol_2_65537(_742915), -(isa(_742915, c_tptpcol_2_65537))], (4798 ^ _593980) ^ [_743103] : [isa(_743103, c_tptpcol_3_81921), -(tptpcol_3_81921(_743103))], (4804 ^ _593980) ^ [_743291] : [tptpcol_3_81921(_743291), -(isa(_743291, c_tptpcol_3_81921))], (4810 ^ _593980) ^ [_743479] : [isa(_743479, c_artsupplies), -(artsupplies(_743479))], (4816 ^ _593980) ^ [_743667] : [artsupplies(_743667), -(isa(_743667, c_artsupplies))], (4822 ^ _593980) ^ [_743855] : [isa(_743855, c_enduringthing_localized), -(enduringthing_localized(_743855))], (4828 ^ _593980) ^ [_744043] : [enduringthing_localized(_744043), -(isa(_744043, c_enduringthing_localized))], (4834 ^ _593980) ^ [_744231] : [isa(_744231, c_location_underspecified), -(location_underspecified(_744231))], (4840 ^ _593980) ^ [_744419] : [location_underspecified(_744419), -(isa(_744419, c_location_underspecified))], (4846 ^ _593980) ^ [_744607] : [isa(_744607, c_trajector_underspecified), -(trajector_underspecified(_744607))], (4852 ^ _593980) ^ [_744795] : [trajector_underspecified(_744795), -(isa(_744795, c_trajector_underspecified))], (4858 ^ _593980) ^ [_744983] : [isa(_744983, c_individual), -(individual(_744983))], (4864 ^ _593980) ^ [_745171] : [individual(_745171), -(isa(_745171, c_individual))], (4870 ^ _593980) ^ [_745359] : [isa(_745359, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_745359))], (4876 ^ _593980) ^ [_745547] : [partiallyintangibleindividual(_745547), -(isa(_745547, c_partiallyintangibleindividual))], (4882 ^ _593980) ^ [_745735] : [isa(_745735, c_tptpcol_10_22022), -(tptpcol_10_22022(_745735))], (4888 ^ _593980) ^ [_745923] : [tptpcol_10_22022(_745923), -(isa(_745923, c_tptpcol_10_22022))], (4894 ^ _593980) ^ [_746111] : [isa(_746111, c_tptpcol_11_22023), -(tptpcol_11_22023(_746111))], (4900 ^ _593980) ^ [_746299] : [tptpcol_11_22023(_746299), -(isa(_746299, c_tptpcol_11_22023))], (4906 ^ _593980) ^ [_746487] : [isa(_746487, c_tptpcol_5_20483), -(tptpcol_5_20483(_746487))], (4912 ^ _593980) ^ [_746675] : [tptpcol_5_20483(_746675), -(isa(_746675, c_tptpcol_5_20483))], (4918 ^ _593980) ^ [_746863] : [isa(_746863, c_tptpcol_13_72791), -(tptpcol_13_72791(_746863))], (4924 ^ _593980) ^ [_747051] : [tptpcol_13_72791(_747051), -(isa(_747051, c_tptpcol_13_72791))], (4930 ^ _593980) ^ [_747239] : [isa(_747239, c_tptpcol_14_72792), -(tptpcol_14_72792(_747239))], (4936 ^ _593980) ^ [_747427] : [tptpcol_14_72792(_747427), -(isa(_747427, c_tptpcol_14_72792))], (4942 ^ _593980) ^ [_747615] : [isa(_747615, c_ridgeline_topographical), -(ridgeline_topographical(_747615))], (4948 ^ _593980) ^ [_747803] : [ridgeline_topographical(_747803), -(isa(_747803, c_ridgeline_topographical))], (4954 ^ _593980) ^ [_747991] : [isa(_747991, c_tptpcol_4_16387), -(tptpcol_4_16387(_747991))], (4960 ^ _593980) ^ [_748179] : [tptpcol_4_16387(_748179), -(isa(_748179, c_tptpcol_4_16387))], (4966 ^ _593980) ^ [_748367] : [isa(_748367, c_tptpcol_5_16388), -(tptpcol_5_16388(_748367))], (4972 ^ _593980) ^ [_748555] : [tptpcol_5_16388(_748555), -(isa(_748555, c_tptpcol_5_16388))], (4978 ^ _593980) ^ [_748743] : [isa(_748743, c_tptpcol_8_22020), -(tptpcol_8_22020(_748743))], (4984 ^ _593980) ^ [_748931] : [tptpcol_8_22020(_748931), -(isa(_748931, c_tptpcol_8_22020))], (4990 ^ _593980) ^ [_749119] : [isa(_749119, c_tptpcol_9_22021), -(tptpcol_9_22021(_749119))], (4996 ^ _593980) ^ [_749307] : [tptpcol_9_22021(_749307), -(isa(_749307, c_tptpcol_9_22021))], (5002 ^ _593980) ^ [_749495] : [isa(_749495, c_transitivebinarypredicate), -(transitivebinarypredicate(_749495))], (5008 ^ _593980) ^ [_749683] : [transitivebinarypredicate(_749683), -(isa(_749683, c_transitivebinarypredicate))], (5014 ^ _593980) ^ [_749885, _749887] : [geographicalsubregions(_749887, _749885), -(geographicalregion(_749885))], (5020 ^ _593980) ^ [_750093, _750095] : [geographicalsubregions(_750095, _750093), -(geographicalregion(_750095))], (5026 ^ _593980) ^ [_750315, _750317, _750319] : [-(geographicalsubregions(_750319, _750315)), geographicalsubregions(_750319, _750317), geographicalsubregions(_750317, _750315)], (5036 ^ _593980) ^ [_750610] : [geographicalregion(_750610), -(geographicalsubregions(_750610, _750610))], (5042 ^ _593980) ^ [_750798] : [isa(_750798, c_tptpcol_12_40420), -(tptpcol_12_40420(_750798))], (5048 ^ _593980) ^ [_750986] : [tptpcol_12_40420(_750986), -(isa(_750986, c_tptpcol_12_40420))], (5054 ^ _593980) ^ [_751174] : [isa(_751174, c_tptpcol_13_40421), -(tptpcol_13_40421(_751174))], (5060 ^ _593980) ^ [_751362] : [tptpcol_13_40421(_751362), -(isa(_751362, c_tptpcol_13_40421))], (5066 ^ _593980) ^ [_751550] : [isa(_751550, c_tptpcol_6_92162), -(tptpcol_6_92162(_751550))], (5072 ^ _593980) ^ [_751738] : [tptpcol_6_92162(_751738), -(isa(_751738, c_tptpcol_6_92162))], (5078 ^ _593980) ^ [_751926] : [isa(_751926, c_tptpcol_7_93186), -(tptpcol_7_93186(_751926))], (5084 ^ _593980) ^ [_752114] : [tptpcol_7_93186(_752114), -(isa(_752114, c_tptpcol_7_93186))], (5090 ^ _593980) ^ [_752316, _752318] : [most(_752318, _752316), -(setorcollection(_752316))], (5096 ^ _593980) ^ [_752524, _752526] : [most(_752526, _752524), -(setorcollection(_752524))], (5102 ^ _593980) ^ [_752732, _752734] : [most(_752734, _752732), -(setorcollection(_752734))], (5108 ^ _593980) ^ [_752940, _752942] : [most(_752942, _752940), -(setorcollection(_752942))], (5114 ^ _593980) ^ [_753134] : [setorcollection(_753134), -(most(_753134, _753134))], (5120 ^ _593980) ^ [_753322] : [setorcollection(_753322), -(most(_753322, _753322))], (5126 ^ _593980) ^ [_753538, _753540, _753542] : [-(most(_753542, _753538)), most(_753542, _753540), subsetof(_753540, _753538)], (5136 ^ _593980) ^ [_753861, _753863, _753865] : [-(most(_753865, _753861)), most(_753865, _753863), subsetof(_753863, _753861)], (5146 ^ _593980) ^ [_754170, _754172] : [subsetof(_754172, _754170), -(setorcollection(_754170))], (5152 ^ _593980) ^ [_754378, _754380] : [subsetof(_754380, _754378), -(setorcollection(_754380))], (5158 ^ _593980) ^ [_754600, _754602, _754604] : [-(subsetof(_754604, _754600)), subsetof(_754604, _754602), subsetof(_754602, _754600)], (5168 ^ _593980) ^ [_754895] : [setorcollection(_754895), -(subsetof(_754895, _754895))], (5174 ^ _593980) ^ [_755111, _755113, _755115] : [-(subsetof(_755111, _755113)), subsetof(_755115, _755113), subsetof(_755111, _755115)], (5184 ^ _593980) ^ [_755434, _755436, _755438] : [-(subsetof(_755438, _755434)), subsetof(_755438, _755436), subsetof(_755436, _755434)], (5194 ^ _593980) ^ [_755757, _755759, _755761] : [-(subsetof(_755761, _755757)), subsetof(_755761, _755759), subsetof(_755759, _755757)], (5204 ^ _593980) ^ [_756066, _756068] : [genlpreds(_756068, _756066), -(predicate(_756066))], (5210 ^ _593980) ^ [_756274, _756276] : [genlpreds(_756276, _756274), -(predicate(_756274))], (5216 ^ _593980) ^ [_756482, _756484] : [genlpreds(_756484, _756482), -(predicate(_756484))], (5222 ^ _593980) ^ [_756690, _756692] : [genlpreds(_756692, _756690), -(predicate(_756692))], (5228 ^ _593980) ^ [_756912, _756914, _756916] : [-(genlpreds(_756916, _756912)), genlpreds(_756916, _756914), genlpreds(_756914, _756912)], (5238 ^ _593980) ^ [_757207] : [predicate(_757207), -(genlpreds(_757207, _757207))], (5244 ^ _593980) ^ [_757395] : [predicate(_757395), -(genlpreds(_757395, _757395))], (5250 ^ _593980) ^ [_757597, _757599] : [genlinverse(_757599, _757597), -(binarypredicate(_757597))], (5256 ^ _593980) ^ [_757805, _757807] : [genlinverse(_757807, _757805), -(binarypredicate(_757807))], (5262 ^ _593980) ^ [_758027, _758029, _758031] : [-(genlinverse(_758027, _758029)), genlinverse(_758031, _758029), genlpreds(_758027, _758031)], (5272 ^ _593980) ^ [_758350, _758352, _758354] : [-(genlinverse(_758354, _758350)), genlinverse(_758354, _758352), genlpreds(_758352, _758350)], (5282 ^ _593980) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _593980) ^ [_758698] : [isa(_758698, c_microtheory), -(microtheory(_758698))], (5290 ^ _593980) ^ [_758886] : [microtheory(_758886), -(isa(_758886, c_microtheory))], (5296 ^ _593980) ^ [_759059] : [-(natfunction(f_urlfn(_759059), c_urlfn))], (5298 ^ _593980) ^ [_759139] : [-(natargument(f_urlfn(_759139), n_1, _759139))], (5300 ^ _593980) ^ [_759220] : [-(uniformresourcelocator(f_urlfn(_759220)))], (5302 ^ _593980) ^ [_759299] : [-(natfunction(f_urlreferentfn(_759299), c_urlreferentfn))], (5304 ^ _593980) ^ [_759379] : [-(natargument(f_urlreferentfn(_759379), n_1, _759379))], (5306 ^ _593980) ^ [_759460] : [-(computerdataartifact(f_urlreferentfn(_759460)))], (5308 ^ _593980) ^ [_759553, _759555] : [-(natfunction(f_contentmtofcdafromeventfn(_759555, _759553), c_contentmtofcdafromeventfn))], (5310 ^ _593980) ^ [_759650, _759652] : [-(natargument(f_contentmtofcdafromeventfn(_759652, _759650), n_1, _759652))], (5312 ^ _593980) ^ [_759748, _759750] : [-(natargument(f_contentmtofcdafromeventfn(_759750, _759748), n_2, _759748))], (5314 ^ _593980) ^ [_759846, _759848] : [-(microtheory(f_contentmtofcdafromeventfn(_759848, _759846)))], (5316 ^ _593980) ^ [_759957, _759959] : [isa(_759959, _759957), -(collection(_759957))], (5322 ^ _593980) ^ [_760165, _760167] : [isa(_760167, _760165), -(collection(_760165))], (5328 ^ _593980) ^ [_760373, _760375] : [isa(_760375, _760373), -(thing(_760375))], (5334 ^ _593980) ^ [_760581, _760583] : [isa(_760583, _760581), -(thing(_760583))], (5340 ^ _593980) ^ [_760803, _760805, _760807] : [-(isa(_760807, _760803)), isa(_760807, _760805), genls(_760805, _760803)], (5350 ^ _593980) ^ [_761098] : [isa(_761098, c_inanimateobject), -(inanimateobject(_761098))], (5356 ^ _593980) ^ [_761286] : [inanimateobject(_761286), -(isa(_761286, c_inanimateobject))], (5362 ^ _593980) ^ [_761474] : [isa(_761474, c_tptpcol_9_72709), -(tptpcol_9_72709(_761474))], (5368 ^ _593980) ^ [_761662] : [tptpcol_9_72709(_761662), -(isa(_761662, c_tptpcol_9_72709))], (5374 ^ _593980) ^ [_761850] : [isa(_761850, c_tptpcol_10_72710), -(tptpcol_10_72710(_761850))], (5380 ^ _593980) ^ [_762038] : [tptpcol_10_72710(_762038), -(isa(_762038, c_tptpcol_10_72710))], (5386 ^ _593980) ^ [_762226] : [isa(_762226, c_tptpcol_14_40429), -(tptpcol_14_40429(_762226))], (5392 ^ _593980) ^ [_762414] : [tptpcol_14_40429(_762414), -(isa(_762414, c_tptpcol_14_40429))], (5398 ^ _593980) ^ [_762602] : [isa(_762602, c_tptpcol_15_40430), -(tptpcol_15_40430(_762602))], (5404 ^ _593980) ^ [_762790] : [tptpcol_15_40430(_762790), -(isa(_762790, c_tptpcol_15_40430))], (5410 ^ _593980) ^ [_762992, _762994] : [genls(_762994, _762992), -(collection(_762992))], (5416 ^ _593980) ^ [_763200, _763202] : [genls(_763202, _763200), -(collection(_763200))], (5422 ^ _593980) ^ [_763408, _763410] : [genls(_763410, _763408), -(collection(_763410))], (5428 ^ _593980) ^ [_763616, _763618] : [genls(_763618, _763616), -(collection(_763618))], (5434 ^ _593980) ^ [_763838, _763840, _763842] : [-(genls(_763842, _763838)), genls(_763842, _763840), genls(_763840, _763838)], (5444 ^ _593980) ^ [_764133] : [collection(_764133), -(genls(_764133, _764133))], (5450 ^ _593980) ^ [_764321] : [collection(_764321), -(genls(_764321, _764321))], (5456 ^ _593980) ^ [_764537, _764539, _764541] : [-(genls(_764537, _764539)), genls(_764541, _764539), genls(_764537, _764541)], (5466 ^ _593980) ^ [_764860, _764862, _764864] : [-(genls(_764864, _764860)), genls(_764864, _764862), genls(_764862, _764860)], (5476 ^ _593980) ^ [_765155] : [isa(_765155, c_partiallytangible), -(partiallytangible(_765155))], (5482 ^ _593980) ^ [_765343] : [partiallytangible(_765343), -(isa(_765343, c_partiallytangible))], (5488 ^ _593980) ^ [_765531] : [isa(_765531, c_intangible), -(intangible(_765531))], (5494 ^ _593980) ^ [_765719] : [intangible(_765719), -(isa(_765719, c_intangible))], (5500 ^ _593980) ^ [_765921, _765923] : [disjointwith(_765923, _765921), -(collection(_765921))], (5506 ^ _593980) ^ [_766129, _766131] : [disjointwith(_766131, _766129), -(collection(_766131))], (5512 ^ _593980) ^ [_766337, _766339] : [disjointwith(_766339, _766337), -(disjointwith(_766337, _766339))], (5518 ^ _593980) ^ [_766561, _766563, _766565] : [-(disjointwith(_766565, _766561)), disjointwith(_766565, _766563), genls(_766561, _766563)], (5528 ^ _593980) ^ [_766884, _766886, _766888] : [-(disjointwith(_766884, _766886)), disjointwith(_766888, _766886), genls(_766884, _766888)], (5538 ^ _593980) ^ [_767193, _767195] : [-(mtvisible(_767193)), mtvisible(_767195), genlmt(_767195, _767193)], (5548 ^ _593980) ^ [_767488, _767490] : [genlmt(_767490, _767488), -(microtheory(_767488))], (5554 ^ _593980) ^ [_767696, _767698] : [genlmt(_767698, _767696), -(microtheory(_767696))], (5560 ^ _593980) ^ [_767904, _767906] : [genlmt(_767906, _767904), -(microtheory(_767906))], (5566 ^ _593980) ^ [_768112, _768114] : [genlmt(_768114, _768112), -(microtheory(_768114))], (5572 ^ _593980) ^ [_768334, _768336, _768338] : [-(genlmt(_768338, _768334)), genlmt(_768338, _768336), genlmt(_768336, _768334)], (5582 ^ _593980) ^ [_768629] : [microtheory(_768629), -(genlmt(_768629, _768629))], (5594 ^ _593980) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _593980) ^ [_768817] : [microtheory(_768817), -(genlmt(_768817, _768817))]], input).
% 0.42/1.39  ncf('1',plain,[collection(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))), individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml)))],start(1122 ^ 0,bind([[_625948], [f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))]]))).
% 0.42/1.39  ncf('1.1',plain,[-(collection(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml)))), genls(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml)), c_tptpcol_15_74743)],extension(902 ^ 1,bind([[_619576, _619578], [c_tptpcol_15_74743, f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))]]))).
% 0.42/1.39  ncf('1.1.1',plain,[-(genls(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml)), c_tptpcol_15_74743))],extension(5596 ^ 2)).
% 0.42/1.39  ncf('1.2',plain,[-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))],extension(1664 ^ 1)).
% 0.42/1.39  %-----------------------------------------------------
% 0.42/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------