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

% Computer : n026.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:42:30 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12  % Problem  : CSR048+2 : TPTP v8.1.2. Released v3.4.0.
% 0.12/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n026.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:05:35 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.44/1.39  
% 0.44/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.44/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.44/1.39  %-----------------------------------------------------
% 0.44/1.39  ncf(matrix, plain, [(5596 ^ _597515) ^ [_787042] : [-(mtvisible(c_tptpgeo_spindlecollectormt))], (5598 ^ _597515) ^ [_787079] : [borderson(c_georegion_l4_x45_y9, _787079)], (2 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _597515) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _597515) ^ [_597720] : [intangible(_597720), partiallytangible(_597720)], (12 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _597515) ^ [_597958] : [tptpcol_15_40430(_597958), -(tptpcol_14_40429(_597958))], (20 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _597515) ^ [_598197] : [tptpcol_10_72710(_598197), -(tptpcol_9_72709(_598197))], (28 ^ _597515) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _597515) ^ [_598436] : [inanimateobject(_598436), -(partiallytangible(_598436))], (36 ^ _597515) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _597515) ^ [_598703, _598705, _598707] : [-(genlpreds(_598707, _598703)), genlinverse(_598707, _598705), genlinverse(_598705, _598703)], (48 ^ _597515) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _597515) ^ [_599065, _599067] : [subsetof(_599067, _599065), -(most(_599067, _599065))], (56 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _597515) ^ [_599314] : [tptpcol_7_93186(_599314), -(tptpcol_6_92162(_599314))], (64 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _597515) ^ [_599553] : [tptpcol_13_40421(_599553), -(tptpcol_12_40420(_599553))], (72 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _597515) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _597515) ^ [_600017] : [tptpcol_9_22021(_600017), -(tptpcol_8_22020(_600017))], (90 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _597515) ^ [_600256] : [tptpcol_5_16388(_600256), -(tptpcol_4_16387(_600256))], (98 ^ _597515) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _597515) ^ [_600614] : [tptpcol_14_72792(_600614), -(tptpcol_13_72791(_600614))], (112 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _597515) ^ [_600853] : [tptpcol_5_20483(_600853), -(tptpcol_4_16387(_600853))], (120 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _597515) ^ [_601092] : [tptpcol_11_22023(_601092), -(tptpcol_10_22022(_601092))], (128 ^ _597515) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _597515) ^ [_601331] : [partiallyintangibleindividual(_601331), -(individual(_601331))], (136 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _597515) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _597515) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _597515) ^ [_601676] : [trajector_underspecified(_601676), -(location_underspecified(_601676))], (148 ^ _597515) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _597515) ^ [_601915] : [partiallytangible(_601915), -(enduringthing_localized(_601915))], (156 ^ _597515) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _597515) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _597515) ^ [_602273] : [tptpcol_3_81921(_602273), -(tptpcol_2_65537(_602273))], (170 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _597515) ^ [_602512] : [tptpcol_10_18567(_602512), -(tptpcol_9_18439(_602512))], (178 ^ _597515) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _597515) ^ [_602751] : [orderingpredicate(_602751), -(transitivebinarypredicate(_602751))], (186 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _597515) ^ [_602990] : [tptpcol_11_92230(_602990), -(tptpcol_10_92166(_602990))], (194 ^ _597515) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _597515) ^ [_603229] : [tptpcol_2_98304(_603229), -(tptpcol_1_65536(_603229))], (202 ^ _597515) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _597515) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _597515) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _597515) ^ [_603693] : [tptpcol_12_40420(_603693), -(tptpcol_11_40388(_603693))], (220 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _597515) ^ [_603946, _603948] : [tptptypes_9_693(_603948, _603946), -(tptptypes_8_692(_603948, _603946))], (228 ^ _597515) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _597515) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _597515) ^ [_604315, _604317] : [tptptypes_8_390(_604317, _604315), -(tptptypes_7_389(_604317, _604315))], (240 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _597515) ^ [_604659, _604661, _604663, _604665] : [-(isa(f_relationexistsallfn(_604665, _604661, _604659, _604663), _604659)), isa(_604665, _604663), relationexistsall(_604661, _604659, _604663)], (254 ^ _597515) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _597515) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _597515) ^ [_605188] : [tptpcol_4_106497(_605188), -(tptpcol_3_98305(_605188))], (268 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _597515) ^ [_605427] : [tptpcol_5_114690(_605427), -(tptpcol_4_114689(_605427))], (276 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _597515) ^ [_605666] : [tptpcol_12_93765(_605666), -(tptpcol_11_93764(_605666))], (284 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _597515) ^ [_605905] : [tptpcol_8_72708(_605905), -(tptpcol_7_72707(_605905))], (292 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _597515) ^ [_606144] : [tptpcol_10_40324(_606144), -(tptpcol_9_40196(_606144))], (300 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _597515) ^ [_606383] : [tptpcol_13_93766(_606383), -(tptpcol_12_93765(_606383))], (308 ^ _597515) ^ [_606569] : [-(tptpofobject(_606569, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_606569)], (318 ^ _597515) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _597515) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _597515) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _597515) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _597515) ^ [_607233] : [location_underspecified(_607233), -(thing(_607233))], (342 ^ _597515) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _597515) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _597515) ^ [_607578] : [tptpcol_12_92262(_607578), -(tptpcol_11_92230(_607578))], (354 ^ _597515) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _597515) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _597515) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _597515) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _597515) ^ [_608095] : [tptpcol_10_109061(_608095), -(tptpcol_9_109060(_608095))], (374 ^ _597515) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _597515) ^ [_608401, _608403] : [tptptypes_6_388(_608403, _608401), -(tptptypes_5_387(_608403, _608401))], (384 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _597515) ^ [_608650] : [tptpcol_6_116738(_608650), -(tptpcol_5_114690(_608650))], (392 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _597515) ^ [_608889] : [tptpcol_15_92268(_608889), -(tptpcol_14_92264(_608889))], (400 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _597515) ^ [_609194] : [-(tptpofobject(_609194, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_609194)], (416 ^ _597515) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _597515) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _597515) ^ [_609647, _609649] : [tptptypes_9_401(_609649, _609647), -(tptptypes_8_400(_609647, _609649))], (430 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _597515) ^ [_609896] : [tptpcol_12_18663(_609896), -(tptpcol_11_18631(_609896))], (438 ^ _597515) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _597515) ^ [_610135] : [setorcollection(_610135), -(mathematicalthing(_610135))], (446 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _597515) ^ [_610374] : [tptpcol_13_109173(_610374), -(tptpcol_12_109157(_610374))], (454 ^ _597515) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _597515) ^ [_610666] : [tptpcol_5_106498(_610666), -(tptpcol_4_106497(_610666))], (464 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _597515) ^ [_610905] : [tptpcol_5_24579(_610905), -(tptpcol_4_24578(_610905))], (472 ^ _597515) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _597515) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _597515) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _597515) ^ [_611435] : [tptpcol_1_65536(_611435), -(tptpcol_0_0(_611435))], (494 ^ _597515) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _597515) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _597515) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _597515) ^ [_611860, _611862] : [geographicalsubregions(_611862, _611860), -(inregion(_611860, _611862))], (510 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _597515) ^ [_612109] : [tptpcol_11_118084(_612109), -(tptpcol_10_118020(_612109))], (518 ^ _597515) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _597515) ^ [_612348] : [mathematicalorcomputationalthing(_612348), -(intangible(_612348))], (526 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _597515) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _597515) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _597515) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _597515) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _597515) ^ [_612866, _612868] : [tptptypes_7_819(_612868, _612866), -(tptptypes_6_818(_612868, _612866))], (544 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _597515) ^ [_613168] : [tptpcol_12_26919(_613168), -(tptpcol_11_26887(_613168))], (554 ^ _597515) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _597515) ^ [_613421, _613423] : [tptptypes_8_692(_613423, _613421), -(tptptypes_7_691(_613421, _613423))], (562 ^ _597515) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _597515) ^ [_613670] : [tptpcol_2_2(_613670), -(tptpcol_1_1(_613670))], (570 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _597515) ^ [_613962] : [tptpcol_9_92165(_613962), -(tptpcol_8_92164(_613962))], (580 ^ _597515) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _597515) ^ [_614201] : [fixedordercollection(_614201), -(collection(_614201))], (588 ^ _597515) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _597515) ^ [_614440] : [tptpcol_1_1(_614440), tptpcol_1_65536(_614440)], (596 ^ _597515) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _597515) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _597515) ^ [_614731] : [microtheory(_614731), -(aspatialinformationstore(_614731))], (606 ^ _597515) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _597515) ^ [_615036] : [-(tptp_8_875(_615036, f_relationallexistsfn(_615036, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_615036, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _597515) ^ [] : [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 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _597515) ^ [_615487] : [tptpcol_10_118020(_615487), -(tptpcol_9_118019(_615487))], (636 ^ _597515) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _597515) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _597515) ^ [_615845] : [-(tptp_9_720(_615845, f_relationallexistsfn(_615845, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_615845)], (654 ^ _597515) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _597515) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _597515) ^ [_616294] : [individual(_616294), setorcollection(_616294)], (668 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _597515) ^ [_616532] : [tptpcol_12_22055(_616532), -(tptpcol_11_22023(_616532))], (676 ^ _597515) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _597515) ^ [_616771] : [applicationcontext(_616771), -(microtheory(_616771))], (684 ^ _597515) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _597515) ^ [_617077, _617079] : [tptptypes_8_400(_617079, _617077), -(tptptypes_7_396(_617079, _617077))], (694 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _597515) ^ [_617326] : [tptpcol_11_18631(_617326), -(tptpcol_10_18567(_617326))], (702 ^ _597515) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _597515) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _597515) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _597515) ^ [_617737] : [mathematicalthing(_617737), -(mathematicalorcomputationalthing(_617737))], (718 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _597515) ^ [_618029] : [tptpcol_15_93775(_618029), -(tptpcol_14_93774(_618029))], (728 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _597515) ^ [_618268] : [tptpcol_8_109059(_618268), -(tptpcol_7_108547(_618268))], (736 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _597515) ^ [_618507] : [tptpcol_14_40429(_618507), -(tptpcol_13_40421(_618507))], (744 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _597515) ^ [_618865] : [tptpcol_14_22072(_618865), -(tptpcol_13_22071(_618865))], (758 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _597515) ^ [_619104] : [tptpcol_14_93774(_619104), -(tptpcol_13_93766(_619104))], (766 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _597515) ^ [_619343] : [tptpcol_10_22022(_619343), -(tptpcol_9_22021(_619343))], (774 ^ _597515) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _597515) ^ [_619582] : [inanimateobject_nonnatural(_619582), -(inanimateobject(_619582))], (782 ^ _597515) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _597515) ^ [_619927] : [tptpcol_9_72709(_619927), -(tptpcol_8_72708(_619927))], (794 ^ _597515) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _597515) ^ [_620166] : [-(tptpofobject(_620166, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_620166)], (806 ^ _597515) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _597515) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _597515) ^ [_620605] : [firstordercollection(_620605), -(fixedordercollection(_620605))], (820 ^ _597515) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _597515) ^ [_621016] : [tptpcol_13_18664(_621016), -(tptpcol_12_18663(_621016))], (836 ^ _597515) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _597515) ^ [_621255] : [artifact(_621255), -(inanimateobject_nonnatural(_621255))], (844 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _597515) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _597515) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _597515) ^ [_621653] : [tptpcol_7_113665(_621653), -(tptpcol_6_112641(_621653))], (858 ^ _597515) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _597515) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _597515) ^ [_622011] : [geographicalregion(_622011), -(partiallytangible(_622011))], (872 ^ _597515) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _597515) ^ [_622264, _622266] : [disjointwith(_622266, _622264), -(no(_622266, _622264))], (880 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _597515) ^ [_622513] : [tptpcol_4_24578(_622513), -(tptpcol_3_16386(_622513))], (888 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _597515) ^ [_622752] : [tptpcol_5_69635(_622752), -(tptpcol_4_65539(_622752))], (896 ^ _597515) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _597515) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _597515) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _597515) ^ [_623111, _623113] : [genls(_623113, _623111), -(collection(_623113))], (908 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _597515) ^ [_623358] : [tptpcol_13_22071(_623358), -(tptpcol_12_22055(_623358))], (916 ^ _597515) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _597515) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _597515) ^ [_623650] : [tptpcol_3_98305(_623650), -(tptpcol_2_98304(_623650))], (926 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _597515) ^ [_623889] : [tptpcol_4_114689(_623889), -(tptpcol_3_114688(_623889))], (934 ^ _597515) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _597515) ^ [_624128] : [artsupplies(_624128), -(supplies(_624128))], (942 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _597515) ^ [_624367] : [tptpcol_8_26629(_624367), -(tptpcol_7_26628(_624367))], (950 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _597515) ^ [_624606] : [tptpcol_9_109060(_624606), -(tptpcol_8_109059(_624606))], (958 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _597515) ^ [_624845] : [isa(_624845, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_624845, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _624845))], (966 ^ _597515) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _597515) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _597515) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _597515) ^ [_625429] : [tptpcol_14_109181(_625429), -(tptpcol_13_109173(_625429))], (988 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _597515) ^ [_625668] : [tptpcol_16_30972(_625668), -(tptpcol_15_30970(_625668))], (996 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _597515) ^ [_625960] : [tptpcol_9_18439(_625960), -(tptpcol_8_18438(_625960))], (1006 ^ _597515) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _597515) ^ [_626252] : [tptpcol_12_118116(_626252), -(tptpcol_11_118084(_626252))], (1016 ^ _597515) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _597515) ^ [_626544] : [tptpcol_7_26628(_626544), -(tptpcol_6_26627(_626544))], (1026 ^ _597515) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _597515) ^ [_626797, _626799] : [most(_626799, _626797), -(setorcollection(_626799))], (1034 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _597515) ^ [_627044] : [tptpcol_15_109185(_627044), -(tptpcol_14_109181(_627044))], (1042 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _597515) ^ [_627283] : [tptpcol_16_92269(_627283), -(tptpcol_15_92268(_627283))], (1050 ^ _597515) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _597515) ^ [_627589, _627591] : [tptptypes_8_823(_627591, _627589), -(tptptypes_7_819(_627591, _627589))], (1060 ^ _597515) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _597515) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _597515) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _597515) ^ [_628169] : [tptpcol_10_26886(_628169), -(tptpcol_9_26885(_628169))], (1082 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _597515) ^ [_628461] : [tptpcol_15_72793(_628461), -(tptpcol_14_72792(_628461))], (1092 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _597515) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _597515) ^ [_628819] : [navypersonnel(_628819), -(militaryperson(_628819))], (1106 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _597515) ^ [_629058] : [tptpcol_4_16387(_629058), -(tptpcol_3_16386(_629058))], (1114 ^ _597515) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _597515) ^ [_629297] : [enduringthing_localized(_629297), -(spatialthing_nonsituational(_629297))], (1122 ^ _597515) ^ [_629483] : [collection(_629483), individual(_629483)], (1128 ^ _597515) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _597515) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _597515) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _597515) ^ [_630012] : [physicalorderingpredicate(_630012), -(orderingpredicate(_630012))], (1150 ^ _597515) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _597515) ^ [_630265, _630267] : [disjointwith(_630267, _630265), -(collection(_630265))], (1158 ^ _597515) ^ [_630501, _630503, _630505, _630507] : [-(isa(f_relationallexistsfn(_630507, _630503, _630505, _630501), _630501)), isa(_630507, _630505), relationallexists(_630503, _630505, _630501)], (1168 ^ _597515) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _597515) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _597515) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _597515) ^ [_631110, _631112] : [tptptypes_7_389(_631112, _631110), -(tptptypes_6_388(_631110, _631112))], (1186 ^ _597515) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _597515) ^ [_631425] : [-(hpkb_subnationalagent(_631425)), mtvisible(c_hpkbvocabmt), state_geopolitical(_631425)], (1202 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _597515) ^ [_631743] : [tptpcol_8_22020(_631743), -(tptpcol_7_21508(_631743))], (1210 ^ _597515) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _597515) ^ [_631982] : [-(tptp_9_51(f_relationexistsallfn(_631982, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _631982)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_631982, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _597515) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _597515) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _597515) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _597515) ^ [_632486] : [tptpcol_3_65538(_632486), -(tptpcol_2_65537(_632486))], (1238 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _597515) ^ [_632725] : [tptpcol_14_26921(_632725), -(tptpcol_13_26920(_632725))], (1246 ^ _597515) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _597515) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _597515) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _597515) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _597515) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _597515) ^ [_633176] : [intangibleindividual(_633176), -(partiallyintangibleindividual(_633176))], (1262 ^ _597515) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _597515) ^ [_633534] : [tptpcol_16_130924(_633534), -(tptpcol_15_130923(_633534))], (1276 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _597515) ^ [_633773] : [tptpcol_7_92163(_633773), -(tptpcol_6_92162(_633773))], (1284 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _597515) ^ [_634065] : [tptpcol_16_130933(_634065), -(tptpcol_15_130931(_634065))], (1294 ^ _597515) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _597515) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _597515) ^ [_634371, _634373] : [no(_634373, _634371), -(few(_634373, _634371))], (1304 ^ _597515) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _597515) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _597515) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _597515) ^ [_634779] : [tptpcol_6_20484(_634779), -(tptpcol_5_20483(_634779))], (1318 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _597515) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _597515) ^ [_635243] : [tptpcol_7_108547(_635243), -(tptpcol_6_108546(_635243))], (1336 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _597515) ^ [_635482] : [tptpcol_11_109125(_635482), -(tptpcol_10_109061(_635482))], (1344 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _597515) ^ [_635774] : [tptpcol_8_93698(_635774), -(tptpcol_7_93186(_635774))], (1354 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _597515) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _597515) ^ [_636066] : [tptpcol_2_65537(_636066), -(tptpcol_1_65536(_636066))], (1364 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _597515) ^ [_636358] : [tptpcol_6_18436(_636358), -(tptpcol_5_16388(_636358))], (1374 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _597515) ^ [_636597] : [tptpcol_8_18438(_636597), -(tptpcol_7_18437(_636597))], (1382 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _597515) ^ [_636955] : [tptpcol_8_117763(_636955), -(tptpcol_7_117762(_636955))], (1396 ^ _597515) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _597515) ^ [_637247] : [tptpcol_12_109157(_637247), -(tptpcol_11_109125(_637247))], (1406 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _597515) ^ [_637486] : [tptpcol_7_117762(_637486), -(tptpcol_6_116738(_637486))], (1414 ^ _597515) ^ [_637700, _637702, _637704] : [isa(_637704, _637702), isa(_637704, _637700), disjointwith(_637702, _637700)], (1424 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _597515) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _597515) ^ [_638100] : [aspatialinformationstore(_638100), -(aspatialthing(_638100))], (1434 ^ _597515) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _597515) ^ [_638498] : [tptpcol_9_93699(_638498), -(tptpcol_8_93698(_638498))], (1448 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _597515) ^ [_638737] : [tptpcol_11_93764(_638737), -(tptpcol_10_93700(_638737))], (1456 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _597515) ^ [_638976] : [tptpcol_6_26627(_638976), -(tptpcol_5_24579(_638976))], (1464 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _597515) ^ [_639215] : [tptpcol_4_90113(_639215), -(tptpcol_3_81921(_639215))], (1472 ^ _597515) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _597515) ^ [_639507] : [tptpcol_10_93700(_639507), -(tptpcol_9_93699(_639507))], (1482 ^ _597515) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _597515) ^ [_639746] : [aspatialinformationstore(_639746), -(intangibleindividual(_639746))], (1490 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _597515) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _597515) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _597515) ^ [_640157] : [tptpcol_3_16386(_640157), -(tptpcol_2_2(_640157))], (1506 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _597515) ^ [_640396] : [tptpcol_9_118019(_640396), -(tptpcol_8_117763(_640396))], (1514 ^ _597515) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _597515) ^ [_640635] : [individual(_640635), -(trajector_underspecified(_640635))], (1522 ^ _597515) ^ [_640821] : [shavingrazor_manual(_640821), -(tptp_8_271(f_relationexistsallfn(_640821, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _640821))], (1528 ^ _597515) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _597515) ^ [_641125] : [tptpcol_6_112641(_641125), -(tptpcol_5_110593(_641125))], (1538 ^ _597515) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _597515) ^ [_641364] : [tptpcol_12_72775(_641364), -(tptpcol_11_72774(_641364))], (1546 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _597515) ^ [_641603] : [tptpcol_7_72707(_641603), -(tptpcol_6_71683(_641603))], (1554 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _597515) ^ [_641842] : [tptpcol_16_50958(_641842), -(tptpcol_15_50957(_641842))], (1562 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _597515) ^ [_642081] : [tptpcol_8_114177(_642081), -(tptpcol_7_113665(_642081))], (1570 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _597515) ^ [_642320] : [tptpcol_16_72795(_642320), -(tptpcol_15_72793(_642320))], (1578 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _597515) ^ [_642559] : [tptpcol_6_71683(_642559), -(tptpcol_5_69635(_642559))], (1586 ^ _597515) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _597515) ^ [_642865, _642867] : [tptptypes_7_396(_642867, _642865), -(tptptypes_6_388(_642867, _642865))], (1596 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _597515) ^ [_643114] : [tptpcol_9_26885(_643114), -(tptpcol_8_26629(_643114))], (1604 ^ _597515) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _597515) ^ [_643367, _643369] : [genls(_643369, _643367), -(subsetof(_643369, _643367))], (1612 ^ _597515) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _597515) ^ [_643683, _643685] : [tptptypes_6_818(_643685, _643683), -(tptptypes_5_802(_643685, _643683))], (1622 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _597515) ^ [_643932] : [tptpcol_6_92162(_643932), -(tptpcol_5_90114(_643932))], (1630 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _597515) ^ [_644224] : [tptpcol_8_92164(_644224), -(tptpcol_7_92163(_644224))], (1640 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _597515) ^ [_644463] : [tptpcol_13_118117(_644463), -(tptpcol_12_118116(_644463))], (1648 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _597515) ^ [_644702] : [tptpcol_11_40388(_644702), -(tptpcol_10_40324(_644702))], (1656 ^ _597515) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _597515) ^ [_644955, _644957] : [tptptypes_9_824(_644957, _644955), -(tptptypes_8_823(_644957, _644955))], (1664 ^ _597515) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _597515) ^ [_645257] : [tptpcol_11_26887(_645257), -(tptpcol_10_26886(_645257))], (1674 ^ _597515) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _597515) ^ [_645496] : [tptpcol_16_26926(_645496), -(tptpcol_15_26925(_645496))], (1682 ^ _597515) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _597515) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _597515) ^ [_645802, _645804] : [few(_645804, _645802), -(setorcollection(_645802))], (1692 ^ _597515) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _597515) ^ [_646049] : [tptpcol_4_65539(_646049), -(tptpcol_3_65538(_646049))], (1700 ^ _597515) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _597515) ^ [_646288] : [tptpcol_8_39940(_646288), -(tptpcol_7_39939(_646288))], (1708 ^ _597515) ^ [_646474] : [-(tptpofobject(_646474, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_646474)], (1718 ^ _597515) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _597515) ^ [_646913] : [tptpcol_15_22076(_646913), -(tptpcol_14_22072(_646913))], (1732 ^ _597515) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _597515) ^ [_647152] : [tptpcol_0_0(_647152), -(individual(_647152))], (1740 ^ _597515) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _597515) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _597515) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _597515) ^ [_647550] : [tptpcol_11_72774(_647550), -(tptpcol_10_72710(_647550))], (1754 ^ _597515) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _597515) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _597515) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _597515) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _597515) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _597515) ^ [_648186] : [tptpcol_7_21508(_648186), -(tptpcol_6_20484(_648186))], (1780 ^ _597515) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _597515) ^ [_648425] : [tptpcol_6_108546(_648425), -(tptpcol_5_106498(_648425))], (1788 ^ _597515) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _597515) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _597515) ^ [_648783] : [geolevel_4(_648783), -(geographicalregion(_648783))], (1802 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _597515) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _597515) ^ [_649260] : [tptpcol_13_26920(_649260), -(tptpcol_12_26919(_649260))], (1822 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _597515) ^ [_649499] : [tptpcol_14_92264(_649499), -(tptpcol_13_92263(_649499))], (1830 ^ _597515) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _597515) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _597515) ^ [_649791] : [tptpcol_9_40196(_649791), -(tptpcol_8_39940(_649791))], (1840 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _597515) ^ [_650149] : [tptpcol_13_92263(_650149), -(tptpcol_12_92262(_650149))], (1854 ^ _597515) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _597515) ^ [_650441] : [tptpcol_5_90114(_650441), -(tptpcol_4_90113(_650441))], (1864 ^ _597515) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _597515) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _597515) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _597515) ^ [_650852] : [tptpcol_15_26925(_650852), -(tptpcol_14_26921(_650852))], (1880 ^ _597515) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _597515) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _597515) ^ [_651210] : [tptpcol_7_18437(_651210), -(tptpcol_6_18436(_651210))], (1894 ^ _597515) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _597515) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _597515) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _597515) ^ [_651621] : [tptpcol_3_98305(_651621), tptpcol_3_114688(_651621)], (1910 ^ _597515) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _597515) ^ [_651859] : [tptpcol_5_110593(_651859), -(tptpcol_4_106497(_651859))], (1918 ^ _597515) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _597515) ^ [_652098] : [tptpcol_13_72791(_652098), -(tptpcol_12_72775(_652098))], (1926 ^ _597515) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _597515) ^ [_652337] : [computerdataartifact(_652337), -(artifact(_652337))], (1934 ^ _597515) ^ [_652523] : [-(tptpofobject(_652523, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_652523)], (1944 ^ _597515) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _597515) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _597515) ^ [_652962] : [tptpcol_10_92166(_652962), -(tptpcol_9_92165(_652962))], (1958 ^ _597515) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _597515) ^ [_653201] : [tptpcol_14_118118(_653201), -(tptpcol_13_118117(_653201))], (1966 ^ _597515) ^ [_653387] : [isa(_653387, c_tptpcol_14_118118), -(tptpcol_14_118118(_653387))], (1972 ^ _597515) ^ [_653575] : [tptpcol_14_118118(_653575), -(isa(_653575, c_tptpcol_14_118118))], (1978 ^ _597515) ^ [_653748] : [-(natfunction(f_tptpquantityfn_6(_653748), c_tptpquantityfn_6))], (1980 ^ _597515) ^ [_653828] : [-(natargument(f_tptpquantityfn_6(_653828), n_1, _653828))], (1982 ^ _597515) ^ [_653909] : [-(tptpquantity(f_tptpquantityfn_6(_653909)))], (1984 ^ _597515) ^ [_654003] : [isa(_654003, c_tptpcol_16_26939), -(tptpcol_16_26939(_654003))], (1990 ^ _597515) ^ [_654191] : [tptpcol_16_26939(_654191), -(isa(_654191, c_tptpcol_16_26939))], (1996 ^ _597515) ^ [_654379] : [isa(_654379, c_tptpcol_16_62187), -(tptpcol_16_62187(_654379))], (2002 ^ _597515) ^ [_654567] : [tptpcol_16_62187(_654567), -(isa(_654567, c_tptpcol_16_62187))], (2008 ^ _597515) ^ [_654755] : [isa(_654755, c_tptpcol_13_92263), -(tptpcol_13_92263(_654755))], (2014 ^ _597515) ^ [_654943] : [tptpcol_13_92263(_654943), -(isa(_654943, c_tptpcol_13_92263))], (2020 ^ _597515) ^ [_655131] : [isa(_655131, c_geolevel_4), -(geolevel_4(_655131))], (2026 ^ _597515) ^ [_655319] : [geolevel_4(_655319), -(isa(_655319, c_geolevel_4))], (2032 ^ _597515) ^ [_655507] : [isa(_655507, c_tptpcol_15_4027), -(tptpcol_15_4027(_655507))], (2038 ^ _597515) ^ [_655695] : [tptpcol_15_4027(_655695), -(isa(_655695, c_tptpcol_15_4027))], (2044 ^ _597515) ^ [_655883] : [isa(_655883, c_pushingwithfingers), -(pushingwithfingers(_655883))], (2050 ^ _597515) ^ [_656071] : [pushingwithfingers(_656071), -(isa(_656071, c_pushingwithfingers))], (2056 ^ _597515) ^ [_656273, _656275] : [affiliatedwith(_656275, _656273), -(agent_generic(_656273))], (2062 ^ _597515) ^ [_656481, _656483] : [affiliatedwith(_656483, _656481), -(agent_generic(_656483))], (2068 ^ _597515) ^ [_656689, _656691] : [affiliatedwith(_656691, _656689), -(affiliatedwith(_656689, _656691))], (2074 ^ _597515) ^ [_656869] : [affiliatedwith(_656869, _656869)], (2076 ^ _597515) ^ [_656962] : [isa(_656962, c_footballteam), -(footballteam(_656962))], (2082 ^ _597515) ^ [_657150] : [footballteam(_657150), -(isa(_657150, c_footballteam))], (2088 ^ _597515) ^ [_657338] : [isa(_657338, c_tptpcol_16_4451), -(tptpcol_16_4451(_657338))], (2094 ^ _597515) ^ [_657526] : [tptpcol_16_4451(_657526), -(isa(_657526, c_tptpcol_16_4451))], (2100 ^ _597515) ^ [_657714] : [isa(_657714, c_pushingwithopenhand), -(pushingwithopenhand(_657714))], (2106 ^ _597515) ^ [_657902] : [pushingwithopenhand(_657902), -(isa(_657902, c_pushingwithopenhand))], (2112 ^ _597515) ^ [_658090] : [isa(_658090, c_tptpcol_15_22076), -(tptpcol_15_22076(_658090))], (2118 ^ _597515) ^ [_658278] : [tptpcol_15_22076(_658278), -(isa(_658278, c_tptpcol_15_22076))], (2124 ^ _597515) ^ [_658451] : [-(natfunction(f_tptpquantityfn_2(_658451), c_tptpquantityfn_2))], (2126 ^ _597515) ^ [_658531] : [-(natargument(f_tptpquantityfn_2(_658531), n_1, _658531))], (2128 ^ _597515) ^ [_658612] : [-(tptpquantity(f_tptpquantityfn_2(_658612)))], (2130 ^ _597515) ^ [_658706] : [isa(_658706, c_tptpcol_7_39939), -(tptpcol_7_39939(_658706))], (2136 ^ _597515) ^ [_658894] : [tptpcol_7_39939(_658894), -(isa(_658894, c_tptpcol_7_39939))], (2142 ^ _597515) ^ [_659082] : [isa(_659082, c_tptpcol_8_39940), -(tptpcol_8_39940(_659082))], (2148 ^ _597515) ^ [_659270] : [tptpcol_8_39940(_659270), -(isa(_659270, c_tptpcol_8_39940))], (2154 ^ _597515) ^ [_659458] : [isa(_659458, c_tptpcol_15_26925), -(tptpcol_15_26925(_659458))], (2160 ^ _597515) ^ [_659646] : [tptpcol_15_26925(_659646), -(isa(_659646, c_tptpcol_15_26925))], (2166 ^ _597515) ^ [_659834] : [isa(_659834, c_tptpcol_16_26926), -(tptpcol_16_26926(_659834))], (2172 ^ _597515) ^ [_660022] : [tptpcol_16_26926(_660022), -(isa(_660022, c_tptpcol_16_26926))], (2178 ^ _597515) ^ [_660210] : [isa(_660210, c_tptpcol_13_118117), -(tptpcol_13_118117(_660210))], (2184 ^ _597515) ^ [_660398] : [tptpcol_13_118117(_660398), -(isa(_660398, c_tptpcol_13_118117))], (2190 ^ _597515) ^ [_660586] : [isa(_660586, c_tptpcol_5_90114), -(tptpcol_5_90114(_660586))], (2196 ^ _597515) ^ [_660774] : [tptpcol_5_90114(_660774), -(isa(_660774, c_tptpcol_5_90114))], (2202 ^ _597515) ^ [_660976, _660978] : [tptptypes_5_802(_660978, _660976), -(firstordercollection(_660976))], (2208 ^ _597515) ^ [_661184, _661186] : [tptptypes_5_802(_661186, _661184), -(firstordercollection(_661186))], (2214 ^ _597515) ^ [_661378] : [isa(_661378, c_tptpcol_16_72795), -(tptpcol_16_72795(_661378))], (2220 ^ _597515) ^ [_661566] : [tptpcol_16_72795(_661566), -(isa(_661566, c_tptpcol_16_72795))], (2226 ^ _597515) ^ [_661754] : [isa(_661754, c_tptpcol_8_114177), -(tptpcol_8_114177(_661754))], (2232 ^ _597515) ^ [_661942] : [tptpcol_8_114177(_661942), -(isa(_661942, c_tptpcol_8_114177))], (2238 ^ _597515) ^ [_662130] : [isa(_662130, c_tptpcol_15_50957), -(tptpcol_15_50957(_662130))], (2244 ^ _597515) ^ [_662318] : [tptpcol_15_50957(_662318), -(isa(_662318, c_tptpcol_15_50957))], (2250 ^ _597515) ^ [_662506] : [isa(_662506, c_tptpcol_16_50958), -(tptpcol_16_50958(_662506))], (2256 ^ _597515) ^ [_662694] : [tptpcol_16_50958(_662694), -(isa(_662694, c_tptpcol_16_50958))], (2262 ^ _597515) ^ [_662882] : [isa(_662882, c_tptpcol_6_71683), -(tptpcol_6_71683(_662882))], (2268 ^ _597515) ^ [_663070] : [tptpcol_6_71683(_663070), -(isa(_663070, c_tptpcol_6_71683))], (2274 ^ _597515) ^ [_663258] : [isa(_663258, c_tptpcol_11_72774), -(tptpcol_11_72774(_663258))], (2280 ^ _597515) ^ [_663446] : [tptpcol_11_72774(_663446), -(isa(_663446, c_tptpcol_11_72774))], (2286 ^ _597515) ^ [_663634] : [isa(_663634, c_tptpcol_12_72775), -(tptpcol_12_72775(_663634))], (2292 ^ _597515) ^ [_663822] : [tptpcol_12_72775(_663822), -(isa(_663822, c_tptpcol_12_72775))], (2298 ^ _597515) ^ [_664010] : [isa(_664010, c_tptpcol_5_110593), -(tptpcol_5_110593(_664010))], (2304 ^ _597515) ^ [_664198] : [tptpcol_5_110593(_664198), -(isa(_664198, c_tptpcol_5_110593))], (2310 ^ _597515) ^ [_664386] : [isa(_664386, c_tptpcol_16_25972), -(tptpcol_16_25972(_664386))], (2316 ^ _597515) ^ [_664574] : [tptpcol_16_25972(_664574), -(isa(_664574, c_tptpcol_16_25972))], (2322 ^ _597515) ^ [_664776, _664778] : [tptp_8_271(_664778, _664776), -(razor(_664776))], (2328 ^ _597515) ^ [_664984, _664986] : [tptp_8_271(_664986, _664984), -(tptpcol_5_24579(_664986))], (2334 ^ _597515) ^ [_665178] : [isa(_665178, c_tptpcol_4_90113), -(tptpcol_4_90113(_665178))], (2340 ^ _597515) ^ [_665366] : [tptpcol_4_90113(_665366), -(isa(_665366, c_tptpcol_4_90113))], (2346 ^ _597515) ^ [_665554] : [isa(_665554, c_tptpcol_10_93700), -(tptpcol_10_93700(_665554))], (2352 ^ _597515) ^ [_665742] : [tptpcol_10_93700(_665742), -(isa(_665742, c_tptpcol_10_93700))], (2358 ^ _597515) ^ [_665930] : [isa(_665930, c_tptpcol_9_93699), -(tptpcol_9_93699(_665930))], (2364 ^ _597515) ^ [_666118] : [tptpcol_9_93699(_666118), -(isa(_666118, c_tptpcol_9_93699))], (2370 ^ _597515) ^ [_666306] : [isa(_666306, c_aspatialthing), -(aspatialthing(_666306))], (2376 ^ _597515) ^ [_666494] : [aspatialthing(_666494), -(isa(_666494, c_aspatialthing))], (2382 ^ _597515) ^ [_666682] : [isa(_666682, c_tptpcol_7_117762), -(tptpcol_7_117762(_666682))], (2388 ^ _597515) ^ [_666870] : [tptpcol_7_117762(_666870), -(isa(_666870, c_tptpcol_7_117762))], (2394 ^ _597515) ^ [_667058] : [isa(_667058, c_tptpcol_8_117763), -(tptpcol_8_117763(_667058))], (2400 ^ _597515) ^ [_667246] : [tptpcol_8_117763(_667246), -(isa(_667246, c_tptpcol_8_117763))], (2406 ^ _597515) ^ [_667434] : [isa(_667434, c_tptpcol_7_18437), -(tptpcol_7_18437(_667434))], (2412 ^ _597515) ^ [_667622] : [tptpcol_7_18437(_667622), -(isa(_667622, c_tptpcol_7_18437))], (2418 ^ _597515) ^ [_667810] : [isa(_667810, c_tptpcol_6_18436), -(tptpcol_6_18436(_667810))], (2424 ^ _597515) ^ [_667998] : [tptpcol_6_18436(_667998), -(isa(_667998, c_tptpcol_6_18436))], (2430 ^ _597515) ^ [_668186] : [isa(_668186, c_tptpcol_8_93698), -(tptpcol_8_93698(_668186))], (2436 ^ _597515) ^ [_668374] : [tptpcol_8_93698(_668374), -(isa(_668374, c_tptpcol_8_93698))], (2442 ^ _597515) ^ [_668562] : [isa(_668562, c_tptpcol_11_109125), -(tptpcol_11_109125(_668562))], (2448 ^ _597515) ^ [_668750] : [tptpcol_11_109125(_668750), -(isa(_668750, c_tptpcol_11_109125))], (2454 ^ _597515) ^ [_668938] : [isa(_668938, c_tptpcol_6_108546), -(tptpcol_6_108546(_668938))], (2460 ^ _597515) ^ [_669126] : [tptpcol_6_108546(_669126), -(isa(_669126, c_tptpcol_6_108546))], (2466 ^ _597515) ^ [_669314] : [isa(_669314, c_tptpcol_6_20484), -(tptpcol_6_20484(_669314))], (2472 ^ _597515) ^ [_669502] : [tptpcol_6_20484(_669502), -(isa(_669502, c_tptpcol_6_20484))], (2478 ^ _597515) ^ [_669704, _669706] : [few(_669706, _669704), -(setorcollection(_669704))], (2484 ^ _597515) ^ [_669912, _669914] : [few(_669914, _669912), -(setorcollection(_669912))], (2490 ^ _597515) ^ [_670120, _670122] : [few(_670122, _670120), -(setorcollection(_670122))], (2496 ^ _597515) ^ [_670328, _670330] : [few(_670330, _670328), -(setorcollection(_670330))], (2502 ^ _597515) ^ [_670550, _670552, _670554] : [-(few(_670554, _670550)), few(_670554, _670552), subsetof(_670550, _670552)], (2512 ^ _597515) ^ [_670845] : [isa(_670845, c_tptpcol_15_130931), -(tptpcol_15_130931(_670845))], (2518 ^ _597515) ^ [_671033] : [tptpcol_15_130931(_671033), -(isa(_671033, c_tptpcol_15_130931))], (2524 ^ _597515) ^ [_671221] : [isa(_671221, c_tptpcol_16_130933), -(tptpcol_16_130933(_671221))], (2530 ^ _597515) ^ [_671409] : [tptpcol_16_130933(_671409), -(isa(_671409, c_tptpcol_16_130933))], (2536 ^ _597515) ^ [_671597] : [isa(_671597, c_tptpcol_7_92163), -(tptpcol_7_92163(_671597))], (2542 ^ _597515) ^ [_671785] : [tptpcol_7_92163(_671785), -(isa(_671785, c_tptpcol_7_92163))], (2548 ^ _597515) ^ [_671973] : [isa(_671973, c_tptpcol_15_130923), -(tptpcol_15_130923(_671973))], (2554 ^ _597515) ^ [_672161] : [tptpcol_15_130923(_672161), -(isa(_672161, c_tptpcol_15_130923))], (2560 ^ _597515) ^ [_672349] : [isa(_672349, c_tptpcol_16_130924), -(tptpcol_16_130924(_672349))], (2566 ^ _597515) ^ [_672537] : [tptpcol_16_130924(_672537), -(isa(_672537, c_tptpcol_16_130924))], (2572 ^ _597515) ^ [_672725] : [isa(_672725, c_intangibleindividual), -(intangibleindividual(_672725))], (2578 ^ _597515) ^ [_672913] : [intangibleindividual(_672913), -(isa(_672913, c_intangibleindividual))], (2584 ^ _597515) ^ [_673100, _673102] : [-(natfunction(f_citynamedfn(_673102, _673100), c_citynamedfn))], (2586 ^ _597515) ^ [_673197, _673199] : [-(natargument(f_citynamedfn(_673199, _673197), n_1, _673199))], (2588 ^ _597515) ^ [_673295, _673297] : [-(natargument(f_citynamedfn(_673297, _673295), n_2, _673295))], (2590 ^ _597515) ^ [_673393, _673395] : [-(city(f_citynamedfn(_673395, _673393)))], (2592 ^ _597515) ^ [_673490] : [isa(_673490, c_tptpcol_13_26920), -(tptpcol_13_26920(_673490))], (2598 ^ _597515) ^ [_673678] : [tptpcol_13_26920(_673678), -(isa(_673678, c_tptpcol_13_26920))], (2604 ^ _597515) ^ [_673866] : [isa(_673866, c_tptpcol_14_26921), -(tptpcol_14_26921(_673866))], (2610 ^ _597515) ^ [_674054] : [tptpcol_14_26921(_674054), -(isa(_674054, c_tptpcol_14_26921))], (2616 ^ _597515) ^ [_674242] : [isa(_674242, c_tptpcol_3_65538), -(tptpcol_3_65538(_674242))], (2622 ^ _597515) ^ [_674430] : [tptpcol_3_65538(_674430), -(isa(_674430, c_tptpcol_3_65538))], (2628 ^ _597515) ^ [_674618] : [isa(_674618, c_tptpcol_16_27189), -(tptpcol_16_27189(_674618))], (2634 ^ _597515) ^ [_674806] : [tptpcol_16_27189(_674806), -(isa(_674806, c_tptpcol_16_27189))], (2640 ^ _597515) ^ [_675008, _675010] : [tptp_9_51(_675010, _675008), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_675008))], (2646 ^ _597515) ^ [_675216, _675218] : [tptp_9_51(_675218, _675216), -(tptpcol_7_26628(_675218))], (2652 ^ _597515) ^ [_675410] : [isa(_675410, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_675410))], (2658 ^ _597515) ^ [_675598] : [reflexivebinarypredicate(_675598), -(isa(_675598, c_reflexivebinarypredicate))], (2664 ^ _597515) ^ [_675786] : [isa(_675786, c_tptpcol_7_21508), -(tptpcol_7_21508(_675786))], (2670 ^ _597515) ^ [_675974] : [tptpcol_7_21508(_675974), -(isa(_675974, c_tptpcol_7_21508))], (2676 ^ _597515) ^ [_676162] : [isa(_676162, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_676162))], (2682 ^ _597515) ^ [_676350] : [hpkb_subnationalagent(_676350), -(isa(_676350, c_hpkb_subnationalagent))], (2688 ^ _597515) ^ [_676538] : [isa(_676538, c_state_geopolitical), -(state_geopolitical(_676538))], (2694 ^ _597515) ^ [_676726] : [state_geopolitical(_676726), -(isa(_676726, c_state_geopolitical))], (2700 ^ _597515) ^ [_676941, _676943, _676945, _676947] : [-(natfunction(f_relationallexistsfn(_676947, _676945, _676943, _676941), c_relationallexistsfn))], (2702 ^ _597515) ^ [_677072, _677074, _677076, _677078] : [-(natargument(f_relationallexistsfn(_677078, _677076, _677074, _677072), n_1, _677078))], (2704 ^ _597515) ^ [_677204, _677206, _677208, _677210] : [-(natargument(f_relationallexistsfn(_677210, _677208, _677206, _677204), n_2, _677208))], (2706 ^ _597515) ^ [_677336, _677338, _677340, _677342] : [-(natargument(f_relationallexistsfn(_677342, _677340, _677338, _677336), n_3, _677338))], (2708 ^ _597515) ^ [_677468, _677470, _677472, _677474] : [-(natargument(f_relationallexistsfn(_677474, _677472, _677470, _677468), n_4, _677468))], (2710 ^ _597515) ^ [_677600, _677602, _677604, _677606] : [-(thing(f_relationallexistsfn(_677606, _677604, _677602, _677600)))], (2712 ^ _597515) ^ [_677717, _677719] : [arg2isa(_677719, _677717), -(collection(_677717))], (2718 ^ _597515) ^ [_677925, _677927] : [arg2isa(_677927, _677925), -(relation(_677927))], (2724 ^ _597515) ^ [_678147, _678149, _678151] : [-(arg2isa(_678151, _678147)), arg2isa(_678151, _678149), genls(_678149, _678147)], (2734 ^ _597515) ^ [_678470, _678472, _678474] : [-(arg2isa(_678474, _678470)), arg2isa(_678474, _678472), genls(_678472, _678470)], (2744 ^ _597515) ^ [_678765] : [isa(_678765, c_geolevel_1), -(geolevel_1(_678765))], (2750 ^ _597515) ^ [_678953] : [geolevel_1(_678953), -(isa(_678953, c_geolevel_1))], (2756 ^ _597515) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _597515) ^ [_679194] : [isa(_679194, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_679194))], (2764 ^ _597515) ^ [_679382] : [spatialthing_nonsituational(_679382), -(isa(_679382, c_spatialthing_nonsituational))], (2770 ^ _597515) ^ [_679570] : [isa(_679570, c_militaryperson), -(militaryperson(_679570))], (2776 ^ _597515) ^ [_679758] : [militaryperson(_679758), -(isa(_679758, c_militaryperson))], (2782 ^ _597515) ^ [_679946] : [isa(_679946, c_tptpcol_15_72793), -(tptpcol_15_72793(_679946))], (2788 ^ _597515) ^ [_680134] : [tptpcol_15_72793(_680134), -(isa(_680134, c_tptpcol_15_72793))], (2794 ^ _597515) ^ [_680322] : [isa(_680322, c_tptpcol_9_26885), -(tptpcol_9_26885(_680322))], (2800 ^ _597515) ^ [_680510] : [tptpcol_9_26885(_680510), -(isa(_680510, c_tptpcol_9_26885))], (2806 ^ _597515) ^ [_680698] : [isa(_680698, c_tptpcol_10_26886), -(tptpcol_10_26886(_680698))], (2812 ^ _597515) ^ [_680886] : [tptpcol_10_26886(_680886), -(isa(_680886, c_tptpcol_10_26886))], (2818 ^ _597515) ^ [_681088, _681090] : [tptptypes_8_823(_681090, _681088), -(firstordercollection(_681088))], (2824 ^ _597515) ^ [_681296, _681298] : [tptptypes_8_823(_681298, _681296), -(firstordercollection(_681298))], (2830 ^ _597515) ^ [_681490] : [isa(_681490, c_tptpcol_16_92269), -(tptpcol_16_92269(_681490))], (2836 ^ _597515) ^ [_681678] : [tptpcol_16_92269(_681678), -(isa(_681678, c_tptpcol_16_92269))], (2842 ^ _597515) ^ [_681866] : [isa(_681866, c_tptpcol_15_109185), -(tptpcol_15_109185(_681866))], (2848 ^ _597515) ^ [_682054] : [tptpcol_15_109185(_682054), -(isa(_682054, c_tptpcol_15_109185))], (2854 ^ _597515) ^ [_682242] : [isa(_682242, c_tptpcol_6_26627), -(tptpcol_6_26627(_682242))], (2860 ^ _597515) ^ [_682430] : [tptpcol_6_26627(_682430), -(isa(_682430, c_tptpcol_6_26627))], (2866 ^ _597515) ^ [_682618] : [isa(_682618, c_tptpcol_12_118116), -(tptpcol_12_118116(_682618))], (2872 ^ _597515) ^ [_682806] : [tptpcol_12_118116(_682806), -(isa(_682806, c_tptpcol_12_118116))], (2878 ^ _597515) ^ [_682994] : [isa(_682994, c_tptpcol_8_18438), -(tptpcol_8_18438(_682994))], (2884 ^ _597515) ^ [_683182] : [tptpcol_8_18438(_683182), -(isa(_683182, c_tptpcol_8_18438))], (2890 ^ _597515) ^ [_683370] : [isa(_683370, c_tptpcol_15_30970), -(tptpcol_15_30970(_683370))], (2896 ^ _597515) ^ [_683558] : [tptpcol_15_30970(_683558), -(isa(_683558, c_tptpcol_15_30970))], (2902 ^ _597515) ^ [_683746] : [isa(_683746, c_tptpcol_16_30972), -(tptpcol_16_30972(_683746))], (2908 ^ _597515) ^ [_683934] : [tptpcol_16_30972(_683934), -(isa(_683934, c_tptpcol_16_30972))], (2914 ^ _597515) ^ [_684122] : [isa(_684122, c_tptpcol_14_109181), -(tptpcol_14_109181(_684122))], (2920 ^ _597515) ^ [_684310] : [tptpcol_14_109181(_684310), -(isa(_684310, c_tptpcol_14_109181))], (2926 ^ _597515) ^ [_684498] : [isa(_684498, c_physicalorderingpredicate), -(physicalorderingpredicate(_684498))], (2932 ^ _597515) ^ [_684686] : [physicalorderingpredicate(_684686), -(isa(_684686, c_physicalorderingpredicate))], (2938 ^ _597515) ^ [_684874] : [isa(_684874, c_tptpcol_16_7738), -(tptpcol_16_7738(_684874))], (2944 ^ _597515) ^ [_685062] : [tptpcol_16_7738(_685062), -(isa(_685062, c_tptpcol_16_7738))], (2950 ^ _597515) ^ [_685264, _685266] : [tptp_8_968(_685266, _685264), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_685264))], (2956 ^ _597515) ^ [_685472, _685474] : [tptp_8_968(_685474, _685472), -(tptpcol_7_7172(_685474))], (2962 ^ _597515) ^ [_685694, _685696, _685698] : [relationexistsall(_685698, _685696, _685694), -(collection(_685694))], (2968 ^ _597515) ^ [_685924, _685926, _685928] : [relationexistsall(_685928, _685926, _685924), -(collection(_685926))], (2974 ^ _597515) ^ [_686154, _686156, _686158] : [relationexistsall(_686158, _686156, _686154), -(binarypredicate(_686158))], (2980 ^ _597515) ^ [_686356] : [isa(_686356, c_tptpcol_7_26628), -(tptpcol_7_26628(_686356))], (2986 ^ _597515) ^ [_686544] : [tptpcol_7_26628(_686544), -(isa(_686544, c_tptpcol_7_26628))], (2992 ^ _597515) ^ [_686732] : [isa(_686732, c_tptpcol_8_26629), -(tptpcol_8_26629(_686732))], (2998 ^ _597515) ^ [_686920] : [tptpcol_8_26629(_686920), -(isa(_686920, c_tptpcol_8_26629))], (3004 ^ _597515) ^ [_687108] : [isa(_687108, c_tptpcol_3_114688), -(tptpcol_3_114688(_687108))], (3010 ^ _597515) ^ [_687296] : [tptpcol_3_114688(_687296), -(isa(_687296, c_tptpcol_3_114688))], (3016 ^ _597515) ^ [_687469] : [-(natfunction(f_contextofpcwfn(_687469), c_contextofpcwfn))], (3018 ^ _597515) ^ [_687549] : [-(natargument(f_contextofpcwfn(_687549), n_1, _687549))], (3020 ^ _597515) ^ [_687630] : [-(microtheory(f_contextofpcwfn(_687630)))], (3022 ^ _597515) ^ [_687738, _687740] : [arg1isa(_687740, _687738), -(collection(_687738))], (3028 ^ _597515) ^ [_687946, _687948] : [arg1isa(_687948, _687946), -(relation(_687948))], (3034 ^ _597515) ^ [_688168, _688170, _688172] : [-(arg1isa(_688172, _688168)), arg1isa(_688172, _688170), genls(_688170, _688168)], (3044 ^ _597515) ^ [_688491, _688493, _688495] : [-(arg1isa(_688495, _688491)), arg1isa(_688495, _688493), genls(_688493, _688491)], (3054 ^ _597515) ^ [_688800, _688802] : [objectfoundinlocation(_688802, _688800), -(spatialthing_nonsituational(_688800))], (3060 ^ _597515) ^ [_689008, _689010] : [objectfoundinlocation(_689010, _689008), -(spatialthing_localized(_689008))], (3066 ^ _597515) ^ [_689216, _689218] : [objectfoundinlocation(_689218, _689216), -(spatialthing_nonsituational(_689218))], (3072 ^ _597515) ^ [_689424, _689426] : [objectfoundinlocation(_689426, _689424), -(spatialthing_localized(_689426))], (3078 ^ _597515) ^ [_689646, _689648, _689650] : [-(objectfoundinlocation(_689650, _689646)), objectfoundinlocation(_689650, _689648), objectfoundinlocation(_689648, _689646)], (3088 ^ _597515) ^ [_689925] : [objectfoundinlocation(_689925, _689925)], (3090 ^ _597515) ^ [_690046, _690048, _690050] : [-(objectfoundinlocation(_690050, _690046)), objectfoundinlocation(_690050, _690048), geopoliticalsubdivision(_690046, _690048)], (3100 ^ _597515) ^ [_690369, _690371, _690373] : [-(objectfoundinlocation(_690373, _690369)), objectfoundinlocation(_690373, _690371), geographicallysubsumes(_690369, _690371)], (3110 ^ _597515) ^ [_690692, _690694, _690696] : [-(objectfoundinlocation(_690696, _690692)), objectfoundinlocation(_690696, _690694), subregions(_690692, _690694)], (3120 ^ _597515) ^ [_690987] : [isa(_690987, c_ship), -(ship(_690987))], (3126 ^ _597515) ^ [_691175] : [ship(_691175), -(isa(_691175, c_ship))], (3132 ^ _597515) ^ [_691376, _691378, _691380] : [-(natfunction(f_subcollectionofwithrelationtofn(_691380, _691378, _691376), c_subcollectionofwithrelationtofn))], (3134 ^ _597515) ^ [_691490, _691492, _691494] : [-(natargument(f_subcollectionofwithrelationtofn(_691494, _691492, _691490), n_1, _691494))], (3136 ^ _597515) ^ [_691605, _691607, _691609] : [-(natargument(f_subcollectionofwithrelationtofn(_691609, _691607, _691605), n_2, _691607))], (3138 ^ _597515) ^ [_691720, _691722, _691724] : [-(natargument(f_subcollectionofwithrelationtofn(_691724, _691722, _691720), n_3, _691720))], (3140 ^ _597515) ^ [_691835, _691837, _691839] : [-(collection(f_subcollectionofwithrelationtofn(_691839, _691837, _691835)))], (3142 ^ _597515) ^ [_691935] : [isa(_691935, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691935))], (3148 ^ _597515) ^ [_692123] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_692123), -(isa(_692123, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _597515) ^ [_692311] : [isa(_692311, c_tptpcol_4_65539), -(tptpcol_4_65539(_692311))], (3160 ^ _597515) ^ [_692499] : [tptpcol_4_65539(_692499), -(isa(_692499, c_tptpcol_4_65539))], (3166 ^ _597515) ^ [_692687] : [isa(_692687, c_tptpcol_5_69635), -(tptpcol_5_69635(_692687))], (3172 ^ _597515) ^ [_692875] : [tptpcol_5_69635(_692875), -(isa(_692875, c_tptpcol_5_69635))], (3178 ^ _597515) ^ [_693063] : [isa(_693063, c_tptpcol_3_16386), -(tptpcol_3_16386(_693063))], (3184 ^ _597515) ^ [_693251] : [tptpcol_3_16386(_693251), -(isa(_693251, c_tptpcol_3_16386))], (3190 ^ _597515) ^ [_693453, _693455] : [no(_693455, _693453), -(setorcollection(_693453))], (3196 ^ _597515) ^ [_693661, _693663] : [no(_693663, _693661), -(setorcollection(_693663))], (3202 ^ _597515) ^ [_693869, _693871] : [no(_693871, _693869), -(no(_693869, _693871))], (3208 ^ _597515) ^ [_694093, _694095, _694097] : [-(no(_694097, _694093)), no(_694097, _694095), subsetof(_694093, _694095)], (3218 ^ _597515) ^ [_694416, _694418, _694420] : [-(no(_694416, _694418)), no(_694420, _694418), subsetof(_694416, _694420)], (3228 ^ _597515) ^ [_694739, _694741, _694743] : [-(no(_694739, _694741)), no(_694743, _694741), genls(_694739, _694743)], (3238 ^ _597515) ^ [_695062, _695064, _695066] : [-(no(_695066, _695062)), no(_695066, _695064), genls(_695062, _695064)], (3248 ^ _597515) ^ [_695385, _695387, _695389] : [-(no(_695385, _695387)), no(_695389, _695387), subsetof(_695385, _695389)], (3258 ^ _597515) ^ [_695708, _695710, _695712] : [-(no(_695712, _695708)), no(_695712, _695710), subsetof(_695708, _695710)], (3268 ^ _597515) ^ [_696003] : [isa(_696003, c_geographicalregion), -(geographicalregion(_696003))], (3274 ^ _597515) ^ [_696191] : [geographicalregion(_696191), -(isa(_696191, c_geographicalregion))], (3280 ^ _597515) ^ [_696364] : [-(natfunction(f_tptpquantityfn_21(_696364), c_tptpquantityfn_21))], (3282 ^ _597515) ^ [_696444] : [-(natargument(f_tptpquantityfn_21(_696444), n_1, _696444))], (3284 ^ _597515) ^ [_696525] : [-(tptpquantity(f_tptpquantityfn_21(_696525)))], (3286 ^ _597515) ^ [_696633, _696635] : [airporthasiatacode(_696635, _696633), -(stringoflengthfn3(_696633))], (3292 ^ _597515) ^ [_696841, _696843] : [airporthasiatacode(_696843, _696841), -(airport_physical(_696843))], (3298 ^ _597515) ^ [_697035] : [isa(_697035, c_airport_physical), -(airport_physical(_697035))], (3304 ^ _597515) ^ [_697223] : [airport_physical(_697223), -(isa(_697223, c_airport_physical))], (3310 ^ _597515) ^ [_697424, _697426, _697428] : [-(natfunction(f_instancewithrelationtofn(_697428, _697426, _697424), c_instancewithrelationtofn))], (3312 ^ _597515) ^ [_697538, _697540, _697542] : [-(natargument(f_instancewithrelationtofn(_697542, _697540, _697538), n_1, _697542))], (3314 ^ _597515) ^ [_697653, _697655, _697657] : [-(natargument(f_instancewithrelationtofn(_697657, _697655, _697653), n_2, _697655))], (3316 ^ _597515) ^ [_697768, _697770, _697772] : [-(natargument(f_instancewithrelationtofn(_697772, _697770, _697768), n_3, _697768))], (3318 ^ _597515) ^ [_697883, _697885, _697887] : [-(thing(f_instancewithrelationtofn(_697887, _697885, _697883)))], (3320 ^ _597515) ^ [_697983] : [isa(_697983, c_tptpcol_6_112641), -(tptpcol_6_112641(_697983))], (3326 ^ _597515) ^ [_698171] : [tptpcol_6_112641(_698171), -(isa(_698171, c_tptpcol_6_112641))], (3332 ^ _597515) ^ [_698359] : [isa(_698359, c_tptpcol_7_113665), -(tptpcol_7_113665(_698359))], (3338 ^ _597515) ^ [_698547] : [tptpcol_7_113665(_698547), -(isa(_698547, c_tptpcol_7_113665))], (3344 ^ _597515) ^ [_698735] : [isa(_698735, c_artifact), -(artifact(_698735))], (3350 ^ _597515) ^ [_698923] : [artifact(_698923), -(isa(_698923, c_artifact))], (3356 ^ _597515) ^ [_699111] : [isa(_699111, c_tptpcol_13_18664), -(tptpcol_13_18664(_699111))], (3362 ^ _597515) ^ [_699299] : [tptpcol_13_18664(_699299), -(isa(_699299, c_tptpcol_13_18664))], (3368 ^ _597515) ^ [_699487] : [isa(_699487, c_firstordercollection), -(firstordercollection(_699487))], (3374 ^ _597515) ^ [_699675] : [firstordercollection(_699675), -(isa(_699675, c_firstordercollection))], (3380 ^ _597515) ^ [_699848] : [-(natfunction(f_tptpquantityfn_14(_699848), c_tptpquantityfn_14))], (3382 ^ _597515) ^ [_699928] : [-(natargument(f_tptpquantityfn_14(_699928), n_1, _699928))], (3384 ^ _597515) ^ [_700009] : [-(tptpquantity(f_tptpquantityfn_14(_700009)))], (3386 ^ _597515) ^ [_700103] : [isa(_700103, c_supplies), -(supplies(_700103))], (3392 ^ _597515) ^ [_700291] : [supplies(_700291), -(isa(_700291, c_supplies))], (3398 ^ _597515) ^ [_700479] : [isa(_700479, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_700479))], (3404 ^ _597515) ^ [_700667] : [inanimateobject_nonnatural(_700667), -(isa(_700667, c_inanimateobject_nonnatural))], (3410 ^ _597515) ^ [_700855] : [isa(_700855, c_tptpcol_13_22071), -(tptpcol_13_22071(_700855))], (3416 ^ _597515) ^ [_701043] : [tptpcol_13_22071(_701043), -(isa(_701043, c_tptpcol_13_22071))], (3422 ^ _597515) ^ [_701231] : [isa(_701231, c_tptpcol_14_22072), -(tptpcol_14_22072(_701231))], (3428 ^ _597515) ^ [_701419] : [tptpcol_14_22072(_701419), -(isa(_701419, c_tptpcol_14_22072))], (3434 ^ _597515) ^ [_701607] : [isa(_701607, c_tptpcol_7_108547), -(tptpcol_7_108547(_701607))], (3440 ^ _597515) ^ [_701795] : [tptpcol_7_108547(_701795), -(isa(_701795, c_tptpcol_7_108547))], (3446 ^ _597515) ^ [_701983] : [isa(_701983, c_tptpcol_8_109059), -(tptpcol_8_109059(_701983))], (3452 ^ _597515) ^ [_702171] : [tptpcol_8_109059(_702171), -(isa(_702171, c_tptpcol_8_109059))], (3458 ^ _597515) ^ [_702359] : [isa(_702359, c_tptpcol_14_93774), -(tptpcol_14_93774(_702359))], (3464 ^ _597515) ^ [_702547] : [tptpcol_14_93774(_702547), -(isa(_702547, c_tptpcol_14_93774))], (3470 ^ _597515) ^ [_702735] : [isa(_702735, c_tptpcol_15_93775), -(tptpcol_15_93775(_702735))], (3476 ^ _597515) ^ [_702923] : [tptpcol_15_93775(_702923), -(isa(_702923, c_tptpcol_15_93775))], (3482 ^ _597515) ^ [_703111] : [isa(_703111, c_tptpcol_16_8886), -(tptpcol_16_8886(_703111))], (3488 ^ _597515) ^ [_703299] : [tptpcol_16_8886(_703299), -(isa(_703299, c_tptpcol_16_8886))], (3494 ^ _597515) ^ [_703501, _703503] : [orientation(_703503, _703501), -(orientationvector(_703501))], (3500 ^ _597515) ^ [_703709, _703711] : [orientation(_703711, _703709), -(spatialthing_localized(_703711))], (3506 ^ _597515) ^ [_703903] : [isa(_703903, c_orientationvector), -(orientationvector(_703903))], (3512 ^ _597515) ^ [_704091] : [orientationvector(_704091), -(isa(_704091, c_orientationvector))], (3518 ^ _597515) ^ [_704279] : [isa(_704279, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704279))], (3524 ^ _597515) ^ [_704467] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704467), -(isa(_704467, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _597515) ^ [_704669, _704671] : [tptptypes_9_824(_704671, _704669), -(firstordercollection(_704669))], (3536 ^ _597515) ^ [_704877, _704879] : [tptptypes_9_824(_704879, _704877), -(firstordercollection(_704879))], (3542 ^ _597515) ^ [_705085, _705087] : [tptptypes_7_396(_705087, _705085), -(firstordercollection(_705085))], (3548 ^ _597515) ^ [_705293, _705295] : [tptptypes_7_396(_705295, _705293), -(firstordercollection(_705295))], (3554 ^ _597515) ^ [_705487] : [isa(_705487, c_tptpcol_12_22055), -(tptpcol_12_22055(_705487))], (3560 ^ _597515) ^ [_705675] : [tptpcol_12_22055(_705675), -(isa(_705675, c_tptpcol_12_22055))], (3566 ^ _597515) ^ [_705863] : [isa(_705863, c_tptpcol_16_29490), -(tptpcol_16_29490(_705863))], (3572 ^ _597515) ^ [_706051] : [tptpcol_16_29490(_706051), -(isa(_706051, c_tptpcol_16_29490))], (3578 ^ _597515) ^ [_706253, _706255] : [tptp_9_720(_706255, _706253), -(tptpcol_5_28674(_706253))], (3584 ^ _597515) ^ [_706461, _706463] : [tptp_9_720(_706463, _706461), -(executionbyfiringsquad(_706463))], (3590 ^ _597515) ^ [_706655] : [isa(_706655, c_runningshorts), -(runningshorts(_706655))], (3596 ^ _597515) ^ [_706843] : [runningshorts(_706843), -(isa(_706843, c_runningshorts))], (3602 ^ _597515) ^ [_707031] : [isa(_707031, c_tptpcol_9_118019), -(tptpcol_9_118019(_707031))], (3608 ^ _597515) ^ [_707219] : [tptpcol_9_118019(_707219), -(isa(_707219, c_tptpcol_9_118019))], (3614 ^ _597515) ^ [_707407] : [isa(_707407, c_tptpcol_16_31868), -(tptpcol_16_31868(_707407))], (3620 ^ _597515) ^ [_707595] : [tptpcol_16_31868(_707595), -(isa(_707595, c_tptpcol_16_31868))], (3626 ^ _597515) ^ [_707783] : [isa(_707783, c_movement_translationevent), -(movement_translationevent(_707783))], (3632 ^ _597515) ^ [_707971] : [movement_translationevent(_707971), -(isa(_707971, c_movement_translationevent))], (3638 ^ _597515) ^ [_708173, _708175] : [directionoftranslation_throughout(_708175, _708173), -(unitvectorinterval(_708173))], (3644 ^ _597515) ^ [_708381, _708383] : [directionoftranslation_throughout(_708383, _708381), -(movement_translationevent(_708383))], (3650 ^ _597515) ^ [_708603, _708605, _708607] : [-(directionoftranslation_throughout(_708603, _708605)), directionoftranslation_throughout(_708607, _708605), subevents(_708607, _708603)], (3660 ^ _597515) ^ [_708898] : [isa(_708898, c_unitvectorinterval), -(unitvectorinterval(_708898))], (3666 ^ _597515) ^ [_709086] : [unitvectorinterval(_709086), -(isa(_709086, c_unitvectorinterval))], (3672 ^ _597515) ^ [_709274] : [isa(_709274, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709274))], (3678 ^ _597515) ^ [_709462] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709462), -(isa(_709462, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _597515) ^ [_709664, _709666] : [tptp_8_875(_709666, _709664), -(tptpcol_4_24578(_709664))], (3690 ^ _597515) ^ [_709872, _709874] : [tptp_8_875(_709874, _709872), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709874))], (3696 ^ _597515) ^ [_710094, _710096, _710098] : [relationallexists(_710098, _710096, _710094), -(collection(_710094))], (3702 ^ _597515) ^ [_710324, _710326, _710328] : [relationallexists(_710328, _710326, _710324), -(collection(_710326))], (3708 ^ _597515) ^ [_710554, _710556, _710558] : [relationallexists(_710558, _710556, _710554), -(binarypredicate(_710558))], (3714 ^ _597515) ^ [_710756] : [isa(_710756, c_tptpcol_16_10258), -(tptpcol_16_10258(_710756))], (3720 ^ _597515) ^ [_710944] : [tptpcol_16_10258(_710944), -(isa(_710944, c_tptpcol_16_10258))], (3726 ^ _597515) ^ [_711132] : [isa(_711132, c_pushingababycarriage), -(pushingababycarriage(_711132))], (3732 ^ _597515) ^ [_711320] : [pushingababycarriage(_711320), -(isa(_711320, c_pushingababycarriage))], (3738 ^ _597515) ^ [_711508] : [isa(_711508, c_aspatialinformationstore), -(aspatialinformationstore(_711508))], (3744 ^ _597515) ^ [_711696] : [aspatialinformationstore(_711696), -(isa(_711696, c_aspatialinformationstore))], (3750 ^ _597515) ^ [_711884] : [isa(_711884, c_collection), -(collection(_711884))], (3756 ^ _597515) ^ [_712072] : [collection(_712072), -(isa(_712072, c_collection))], (3762 ^ _597515) ^ [_712260] : [isa(_712260, c_fixedordercollection), -(fixedordercollection(_712260))], (3768 ^ _597515) ^ [_712448] : [fixedordercollection(_712448), -(isa(_712448, c_fixedordercollection))], (3774 ^ _597515) ^ [_712636] : [isa(_712636, c_tptpcol_8_92164), -(tptpcol_8_92164(_712636))], (3780 ^ _597515) ^ [_712824] : [tptpcol_8_92164(_712824), -(isa(_712824, c_tptpcol_8_92164))], (3786 ^ _597515) ^ [_713012] : [isa(_713012, c_tptpcol_9_92165), -(tptpcol_9_92165(_713012))], (3792 ^ _597515) ^ [_713200] : [tptpcol_9_92165(_713200), -(isa(_713200, c_tptpcol_9_92165))], (3798 ^ _597515) ^ [_713388] : [isa(_713388, c_tptpcol_1_1), -(tptpcol_1_1(_713388))], (3804 ^ _597515) ^ [_713576] : [tptpcol_1_1(_713576), -(isa(_713576, c_tptpcol_1_1))], (3810 ^ _597515) ^ [_713764] : [isa(_713764, c_tptpcol_2_2), -(tptpcol_2_2(_713764))], (3816 ^ _597515) ^ [_713952] : [tptpcol_2_2(_713952), -(isa(_713952, c_tptpcol_2_2))], (3822 ^ _597515) ^ [_714154, _714156] : [tptptypes_7_691(_714156, _714154), -(firstordercollection(_714154))], (3828 ^ _597515) ^ [_714362, _714364] : [tptptypes_7_691(_714364, _714362), -(firstordercollection(_714364))], (3834 ^ _597515) ^ [_714556] : [isa(_714556, c_tptpcol_11_26887), -(tptpcol_11_26887(_714556))], (3840 ^ _597515) ^ [_714744] : [tptpcol_11_26887(_714744), -(isa(_714744, c_tptpcol_11_26887))], (3846 ^ _597515) ^ [_714932] : [isa(_714932, c_tptpcol_12_26919), -(tptpcol_12_26919(_714932))], (3852 ^ _597515) ^ [_715120] : [tptpcol_12_26919(_715120), -(isa(_715120, c_tptpcol_12_26919))], (3858 ^ _597515) ^ [_715322, _715324] : [tptptypes_6_818(_715324, _715322), -(firstordercollection(_715322))], (3864 ^ _597515) ^ [_715530, _715532] : [tptptypes_6_818(_715532, _715530), -(firstordercollection(_715532))], (3870 ^ _597515) ^ [_715738, _715740] : [tptptypes_7_819(_715740, _715738), -(firstordercollection(_715738))], (3876 ^ _597515) ^ [_715946, _715948] : [tptptypes_7_819(_715948, _715946), -(firstordercollection(_715948))], (3882 ^ _597515) ^ [_716140] : [isa(_716140, c_correctivelensprescription), -(correctivelensprescription(_716140))], (3888 ^ _597515) ^ [_716328] : [correctivelensprescription(_716328), -(isa(_716328, c_correctivelensprescription))], (3894 ^ _597515) ^ [_716530, _716532] : [products(_716532, _716530), -(artifact(_716530))], (3900 ^ _597515) ^ [_716738, _716740] : [products(_716740, _716738), -(creationordestructionevent(_716740))], (3906 ^ _597515) ^ [_716932] : [isa(_716932, c_issuingaprescription), -(issuingaprescription(_716932))], (3912 ^ _597515) ^ [_717120] : [issuingaprescription(_717120), -(isa(_717120, c_issuingaprescription))], (3918 ^ _597515) ^ [_717321, _717323, _717325] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_717325, _717323, _717321), c_subcollectionofwithrelationtotypefn))], (3920 ^ _597515) ^ [_717435, _717437, _717439] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717439, _717437, _717435), n_1, _717439))], (3922 ^ _597515) ^ [_717550, _717552, _717554] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717554, _717552, _717550), n_2, _717552))], (3924 ^ _597515) ^ [_717665, _717667, _717669] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717669, _717667, _717665), n_3, _717665))], (3926 ^ _597515) ^ [_717780, _717782, _717784] : [-(collection(f_subcollectionofwithrelationtotypefn(_717784, _717782, _717780)))], (3928 ^ _597515) ^ [_717880] : [isa(_717880, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717880))], (3934 ^ _597515) ^ [_718068] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_718068), -(isa(_718068, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _597515) ^ [_718256] : [isa(_718256, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_718256))], (3946 ^ _597515) ^ [_718444] : [mathematicalorcomputationalthing(_718444), -(isa(_718444, c_mathematicalorcomputationalthing))], (3952 ^ _597515) ^ [_718632] : [isa(_718632, c_tptpcol_10_118020), -(tptpcol_10_118020(_718632))], (3958 ^ _597515) ^ [_718820] : [tptpcol_10_118020(_718820), -(isa(_718820, c_tptpcol_10_118020))], (3964 ^ _597515) ^ [_719008] : [isa(_719008, c_tptpcol_11_118084), -(tptpcol_11_118084(_719008))], (3970 ^ _597515) ^ [_719196] : [tptpcol_11_118084(_719196), -(isa(_719196, c_tptpcol_11_118084))], (3976 ^ _597515) ^ [_719384] : [isa(_719384, c_terroristgroup), -(terroristgroup(_719384))], (3982 ^ _597515) ^ [_719572] : [terroristgroup(_719572), -(isa(_719572, c_terroristgroup))], (3988 ^ _597515) ^ [_719774, _719776] : [hasmembers(_719776, _719774), -(agent_generic(_719774))], (3994 ^ _597515) ^ [_719982, _719984] : [hasmembers(_719984, _719982), -(organization(_719984))], (4000 ^ _597515) ^ [_720176] : [isa(_720176, c_terrorist), -(terrorist(_720176))], (4006 ^ _597515) ^ [_720364] : [terrorist(_720364), -(isa(_720364, c_terrorist))], (4012 ^ _597515) ^ [_720565, _720567, _720569] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_720569, _720567, _720565), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _597515) ^ [_720679, _720681, _720683] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720683, _720681, _720679), n_1, _720683))], (4016 ^ _597515) ^ [_720794, _720796, _720798] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720798, _720796, _720794), n_2, _720796))], (4018 ^ _597515) ^ [_720909, _720911, _720913] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720913, _720911, _720909), n_3, _720909))], (4020 ^ _597515) ^ [_721024, _721026, _721028] : [-(collection(f_subcollectionofwithrelationfromtypefn(_721028, _721026, _721024)))], (4022 ^ _597515) ^ [_721124] : [isa(_721124, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721124))], (4028 ^ _597515) ^ [_721312] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721312), -(isa(_721312, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _597515) ^ [_721514, _721516] : [prettystring(_721516, _721514), -(controlcharacterfreestring(_721514))], (4040 ^ _597515) ^ [_721722, _721724] : [prettystring(_721724, _721722), -(thing(_721724))], (4046 ^ _597515) ^ [_721916] : [isa(_721916, c_tptpcol_0_0), -(tptpcol_0_0(_721916))], (4052 ^ _597515) ^ [_722104] : [tptpcol_0_0(_722104), -(isa(_722104, c_tptpcol_0_0))], (4058 ^ _597515) ^ [_722292] : [isa(_722292, c_geolevel_3), -(geolevel_3(_722292))], (4064 ^ _597515) ^ [_722480] : [geolevel_3(_722480), -(isa(_722480, c_geolevel_3))], (4070 ^ _597515) ^ [_722668] : [isa(_722668, c_tptpcol_4_24578), -(tptpcol_4_24578(_722668))], (4076 ^ _597515) ^ [_722856] : [tptpcol_4_24578(_722856), -(isa(_722856, c_tptpcol_4_24578))], (4082 ^ _597515) ^ [_723044] : [isa(_723044, c_tptpcol_5_24579), -(tptpcol_5_24579(_723044))], (4088 ^ _597515) ^ [_723232] : [tptpcol_5_24579(_723232), -(isa(_723232, c_tptpcol_5_24579))], (4094 ^ _597515) ^ [_723420] : [isa(_723420, c_tptpcol_5_106498), -(tptpcol_5_106498(_723420))], (4100 ^ _597515) ^ [_723608] : [tptpcol_5_106498(_723608), -(isa(_723608, c_tptpcol_5_106498))], (4106 ^ _597515) ^ [_723796] : [isa(_723796, c_tptpcol_12_109157), -(tptpcol_12_109157(_723796))], (4112 ^ _597515) ^ [_723984] : [tptpcol_12_109157(_723984), -(isa(_723984, c_tptpcol_12_109157))], (4118 ^ _597515) ^ [_724172] : [isa(_724172, c_tptpcol_13_109173), -(tptpcol_13_109173(_724172))], (4124 ^ _597515) ^ [_724360] : [tptpcol_13_109173(_724360), -(isa(_724360, c_tptpcol_13_109173))], (4130 ^ _597515) ^ [_724548] : [isa(_724548, c_mathematicalthing), -(mathematicalthing(_724548))], (4136 ^ _597515) ^ [_724736] : [mathematicalthing(_724736), -(isa(_724736, c_mathematicalthing))], (4142 ^ _597515) ^ [_724924] : [isa(_724924, c_setorcollection), -(setorcollection(_724924))], (4148 ^ _597515) ^ [_725112] : [setorcollection(_725112), -(isa(_725112, c_setorcollection))], (4154 ^ _597515) ^ [_725300] : [isa(_725300, c_tptpcol_11_18631), -(tptpcol_11_18631(_725300))], (4160 ^ _597515) ^ [_725488] : [tptpcol_11_18631(_725488), -(isa(_725488, c_tptpcol_11_18631))], (4166 ^ _597515) ^ [_725676] : [isa(_725676, c_tptpcol_12_18663), -(tptpcol_12_18663(_725676))], (4172 ^ _597515) ^ [_725864] : [tptpcol_12_18663(_725864), -(isa(_725864, c_tptpcol_12_18663))], (4178 ^ _597515) ^ [_726066, _726068] : [tptptypes_8_400(_726068, _726066), -(firstordercollection(_726066))], (4184 ^ _597515) ^ [_726274, _726276] : [tptptypes_8_400(_726276, _726274), -(firstordercollection(_726276))], (4190 ^ _597515) ^ [_726482, _726484] : [tptptypes_9_401(_726484, _726482), -(firstordercollection(_726482))], (4196 ^ _597515) ^ [_726690, _726692] : [tptptypes_9_401(_726692, _726690), -(firstordercollection(_726692))], (4202 ^ _597515) ^ [_726869] : [-(natfunction(f_tptpquantityfn_13(_726869), c_tptpquantityfn_13))], (4204 ^ _597515) ^ [_726949] : [-(natargument(f_tptpquantityfn_13(_726949), n_1, _726949))], (4206 ^ _597515) ^ [_727030] : [-(tptpquantity(f_tptpquantityfn_13(_727030)))], (4208 ^ _597515) ^ [_727138, _727140] : [borderson(_727140, _727138), -(geographicalregion(_727138))], (4214 ^ _597515) ^ [_727346, _727348] : [borderson(_727348, _727346), -(geographicalregion(_727348))], (4220 ^ _597515) ^ [_727554, _727556] : [borderson(_727556, _727554), -(borderson(_727554, _727556))], (4226 ^ _597515) ^ [_727734] : [borderson(_727734, _727734)], (4228 ^ _597515) ^ [_727827] : [isa(_727827, c_tptpcol_14_92264), -(tptpcol_14_92264(_727827))], (4234 ^ _597515) ^ [_728015] : [tptpcol_14_92264(_728015), -(isa(_728015, c_tptpcol_14_92264))], (4240 ^ _597515) ^ [_728203] : [isa(_728203, c_tptpcol_15_92268), -(tptpcol_15_92268(_728203))], (4246 ^ _597515) ^ [_728391] : [tptpcol_15_92268(_728391), -(isa(_728391, c_tptpcol_15_92268))], (4252 ^ _597515) ^ [_728579] : [isa(_728579, c_tptpcol_6_116738), -(tptpcol_6_116738(_728579))], (4258 ^ _597515) ^ [_728767] : [tptpcol_6_116738(_728767), -(isa(_728767, c_tptpcol_6_116738))], (4264 ^ _597515) ^ [_728969, _728971] : [tptptypes_5_387(_728971, _728969), -(firstordercollection(_728969))], (4270 ^ _597515) ^ [_729177, _729179] : [tptptypes_5_387(_729179, _729177), -(firstordercollection(_729179))], (4276 ^ _597515) ^ [_729385, _729387] : [tptptypes_6_388(_729387, _729385), -(firstordercollection(_729385))], (4282 ^ _597515) ^ [_729593, _729595] : [tptptypes_6_388(_729595, _729593), -(firstordercollection(_729595))], (4288 ^ _597515) ^ [_729787] : [isa(_729787, c_shavingrazor_manual), -(shavingrazor_manual(_729787))], (4294 ^ _597515) ^ [_729975] : [shavingrazor_manual(_729975), -(isa(_729975, c_shavingrazor_manual))], (4300 ^ _597515) ^ [_730163] : [isa(_730163, c_tptpcol_9_109060), -(tptpcol_9_109060(_730163))], (4306 ^ _597515) ^ [_730351] : [tptpcol_9_109060(_730351), -(isa(_730351, c_tptpcol_9_109060))], (4312 ^ _597515) ^ [_730539] : [isa(_730539, c_tptpcol_10_109061), -(tptpcol_10_109061(_730539))], (4318 ^ _597515) ^ [_730727] : [tptpcol_10_109061(_730727), -(isa(_730727, c_tptpcol_10_109061))], (4324 ^ _597515) ^ [_730915] : [isa(_730915, c_executionbyfiringsquad), -(executionbyfiringsquad(_730915))], (4330 ^ _597515) ^ [_731103] : [executionbyfiringsquad(_731103), -(isa(_731103, c_executionbyfiringsquad))], (4336 ^ _597515) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _597515) ^ [_731344] : [isa(_731344, c_navypersonnel), -(navypersonnel(_731344))], (4344 ^ _597515) ^ [_731532] : [navypersonnel(_731532), -(isa(_731532, c_navypersonnel))], (4350 ^ _597515) ^ [_731720] : [isa(_731720, c_tptpcol_12_92262), -(tptpcol_12_92262(_731720))], (4356 ^ _597515) ^ [_731908] : [tptpcol_12_92262(_731908), -(isa(_731908, c_tptpcol_12_92262))], (4362 ^ _597515) ^ [_732096] : [isa(_732096, c_thing), -(thing(_732096))], (4368 ^ _597515) ^ [_732284] : [thing(_732284), -(isa(_732284, c_thing))], (4374 ^ _597515) ^ [_732472] : [isa(_732472, c_computerdataartifact), -(computerdataartifact(_732472))], (4380 ^ _597515) ^ [_732660] : [computerdataartifact(_732660), -(isa(_732660, c_computerdataartifact))], (4386 ^ _597515) ^ [_732848] : [isa(_732848, c_applicationcontext), -(applicationcontext(_732848))], (4392 ^ _597515) ^ [_733036] : [applicationcontext(_733036), -(isa(_733036, c_applicationcontext))], (4398 ^ _597515) ^ [_733238, _733240] : [inregion(_733240, _733238), -(spatialthing_nonsituational(_733238))], (4404 ^ _597515) ^ [_733446, _733448] : [inregion(_733448, _733446), -(spatialthing_nonsituational(_733448))], (4410 ^ _597515) ^ [_733668, _733670, _733672] : [-(inregion(_733672, _733668)), inregion(_733672, _733670), inregion(_733670, _733668)], (4420 ^ _597515) ^ [_733963] : [spatialthing_nonsituational(_733963), -(inregion(_733963, _733963))], (4426 ^ _597515) ^ [_734136] : [-(natfunction(f_tptpquantityfn_1(_734136), c_tptpquantityfn_1))], (4428 ^ _597515) ^ [_734216] : [-(natargument(f_tptpquantityfn_1(_734216), n_1, _734216))], (4430 ^ _597515) ^ [_734297] : [-(tptpquantity(f_tptpquantityfn_1(_734297)))], (4432 ^ _597515) ^ [_734391] : [isa(_734391, c_furpelt), -(furpelt(_734391))], (4438 ^ _597515) ^ [_734579] : [furpelt(_734579), -(isa(_734579, c_furpelt))], (4444 ^ _597515) ^ [_734781, _734783] : [tptpofobject(_734783, _734781), -(tptpquantity(_734781))], (4450 ^ _597515) ^ [_734989, _734991] : [tptpofobject(_734991, _734989), -(partiallytangible(_734991))], (4456 ^ _597515) ^ [_735211, _735213, _735215] : [relationallinstance(_735215, _735213, _735211), -(thing(_735211))], (4462 ^ _597515) ^ [_735441, _735443, _735445] : [relationallinstance(_735445, _735443, _735441), -(collection(_735443))], (4468 ^ _597515) ^ [_735671, _735673, _735675] : [relationallinstance(_735675, _735673, _735671), -(binarypredicate(_735675))], (4474 ^ _597515) ^ [_735873] : [isa(_735873, c_tptpcol_13_93766), -(tptpcol_13_93766(_735873))], (4480 ^ _597515) ^ [_736061] : [tptpcol_13_93766(_736061), -(isa(_736061, c_tptpcol_13_93766))], (4486 ^ _597515) ^ [_736249] : [isa(_736249, c_tptpcol_9_40196), -(tptpcol_9_40196(_736249))], (4492 ^ _597515) ^ [_736437] : [tptpcol_9_40196(_736437), -(isa(_736437, c_tptpcol_9_40196))], (4498 ^ _597515) ^ [_736625] : [isa(_736625, c_tptpcol_10_40324), -(tptpcol_10_40324(_736625))], (4504 ^ _597515) ^ [_736813] : [tptpcol_10_40324(_736813), -(isa(_736813, c_tptpcol_10_40324))], (4510 ^ _597515) ^ [_737001] : [isa(_737001, c_tptpcol_7_72707), -(tptpcol_7_72707(_737001))], (4516 ^ _597515) ^ [_737189] : [tptpcol_7_72707(_737189), -(isa(_737189, c_tptpcol_7_72707))], (4522 ^ _597515) ^ [_737377] : [isa(_737377, c_tptpcol_8_72708), -(tptpcol_8_72708(_737377))], (4528 ^ _597515) ^ [_737565] : [tptpcol_8_72708(_737565), -(isa(_737565, c_tptpcol_8_72708))], (4534 ^ _597515) ^ [_737753] : [isa(_737753, c_tptpcol_11_93764), -(tptpcol_11_93764(_737753))], (4540 ^ _597515) ^ [_737941] : [tptpcol_11_93764(_737941), -(isa(_737941, c_tptpcol_11_93764))], (4546 ^ _597515) ^ [_738129] : [isa(_738129, c_tptpcol_12_93765), -(tptpcol_12_93765(_738129))], (4552 ^ _597515) ^ [_738317] : [tptpcol_12_93765(_738317), -(isa(_738317, c_tptpcol_12_93765))], (4558 ^ _597515) ^ [_738505] : [isa(_738505, c_tptpcol_4_114689), -(tptpcol_4_114689(_738505))], (4564 ^ _597515) ^ [_738693] : [tptpcol_4_114689(_738693), -(isa(_738693, c_tptpcol_4_114689))], (4570 ^ _597515) ^ [_738881] : [isa(_738881, c_tptpcol_5_114690), -(tptpcol_5_114690(_738881))], (4576 ^ _597515) ^ [_739069] : [tptpcol_5_114690(_739069), -(isa(_739069, c_tptpcol_5_114690))], (4582 ^ _597515) ^ [_739257] : [isa(_739257, c_tptpcol_3_98305), -(tptpcol_3_98305(_739257))], (4588 ^ _597515) ^ [_739445] : [tptpcol_3_98305(_739445), -(isa(_739445, c_tptpcol_3_98305))], (4594 ^ _597515) ^ [_739633] : [isa(_739633, c_tptpcol_4_106497), -(tptpcol_4_106497(_739633))], (4600 ^ _597515) ^ [_739821] : [tptpcol_4_106497(_739821), -(isa(_739821, c_tptpcol_4_106497))], (4606 ^ _597515) ^ [_740036, _740038, _740040, _740042] : [-(natfunction(f_relationexistsallfn(_740042, _740040, _740038, _740036), c_relationexistsallfn))], (4608 ^ _597515) ^ [_740167, _740169, _740171, _740173] : [-(natargument(f_relationexistsallfn(_740173, _740171, _740169, _740167), n_1, _740173))], (4610 ^ _597515) ^ [_740299, _740301, _740303, _740305] : [-(natargument(f_relationexistsallfn(_740305, _740303, _740301, _740299), n_2, _740303))], (4612 ^ _597515) ^ [_740431, _740433, _740435, _740437] : [-(natargument(f_relationexistsallfn(_740437, _740435, _740433, _740431), n_3, _740433))], (4614 ^ _597515) ^ [_740563, _740565, _740567, _740569] : [-(natargument(f_relationexistsallfn(_740569, _740567, _740565, _740563), n_4, _740563))], (4616 ^ _597515) ^ [_740695, _740697, _740699, _740701] : [-(thing(f_relationexistsallfn(_740701, _740699, _740697, _740695)))], (4618 ^ _597515) ^ [_740812, _740814] : [resultisaarg(_740814, _740812), -(positiveinteger(_740812))], (4624 ^ _597515) ^ [_741020, _741022] : [resultisaarg(_741022, _741020), -(function_denotational(_741022))], (4630 ^ _597515) ^ [_741228, _741230] : [tptptypes_7_389(_741230, _741228), -(firstordercollection(_741228))], (4636 ^ _597515) ^ [_741436, _741438] : [tptptypes_7_389(_741438, _741436), -(firstordercollection(_741438))], (4642 ^ _597515) ^ [_741644, _741646] : [tptptypes_8_390(_741646, _741644), -(firstordercollection(_741644))], (4648 ^ _597515) ^ [_741852, _741854] : [tptptypes_8_390(_741854, _741852), -(firstordercollection(_741854))], (4654 ^ _597515) ^ [_742060, _742062] : [tptptypes_8_692(_742062, _742060), -(firstordercollection(_742060))], (4660 ^ _597515) ^ [_742268, _742270] : [tptptypes_8_692(_742270, _742268), -(firstordercollection(_742270))], (4666 ^ _597515) ^ [_742476, _742478] : [tptptypes_9_693(_742478, _742476), -(firstordercollection(_742476))], (4672 ^ _597515) ^ [_742684, _742686] : [tptptypes_9_693(_742686, _742684), -(firstordercollection(_742686))], (4678 ^ _597515) ^ [_742878] : [isa(_742878, c_tptpcol_11_40388), -(tptpcol_11_40388(_742878))], (4684 ^ _597515) ^ [_743066] : [tptpcol_11_40388(_743066), -(isa(_743066, c_tptpcol_11_40388))], (4690 ^ _597515) ^ [_743254] : [isa(_743254, c_marriagelicensedocument), -(marriagelicensedocument(_743254))], (4696 ^ _597515) ^ [_743442] : [marriagelicensedocument(_743442), -(isa(_743442, c_marriagelicensedocument))], (4702 ^ _597515) ^ [_743630] : [isa(_743630, c_tptpcol_1_65536), -(tptpcol_1_65536(_743630))], (4708 ^ _597515) ^ [_743818] : [tptpcol_1_65536(_743818), -(isa(_743818, c_tptpcol_1_65536))], (4714 ^ _597515) ^ [_744006] : [isa(_744006, c_tptpcol_2_98304), -(tptpcol_2_98304(_744006))], (4720 ^ _597515) ^ [_744194] : [tptpcol_2_98304(_744194), -(isa(_744194, c_tptpcol_2_98304))], (4726 ^ _597515) ^ [_744382] : [isa(_744382, c_tptpcol_10_92166), -(tptpcol_10_92166(_744382))], (4732 ^ _597515) ^ [_744570] : [tptpcol_10_92166(_744570), -(isa(_744570, c_tptpcol_10_92166))], (4738 ^ _597515) ^ [_744758] : [isa(_744758, c_tptpcol_11_92230), -(tptpcol_11_92230(_744758))], (4744 ^ _597515) ^ [_744946] : [tptpcol_11_92230(_744946), -(isa(_744946, c_tptpcol_11_92230))], (4750 ^ _597515) ^ [_745134] : [isa(_745134, c_orderingpredicate), -(orderingpredicate(_745134))], (4756 ^ _597515) ^ [_745322] : [orderingpredicate(_745322), -(isa(_745322, c_orderingpredicate))], (4762 ^ _597515) ^ [_745510] : [isa(_745510, c_tptpcol_9_18439), -(tptpcol_9_18439(_745510))], (4768 ^ _597515) ^ [_745698] : [tptpcol_9_18439(_745698), -(isa(_745698, c_tptpcol_9_18439))], (4774 ^ _597515) ^ [_745886] : [isa(_745886, c_tptpcol_10_18567), -(tptpcol_10_18567(_745886))], (4780 ^ _597515) ^ [_746074] : [tptpcol_10_18567(_746074), -(isa(_746074, c_tptpcol_10_18567))], (4786 ^ _597515) ^ [_746262] : [isa(_746262, c_tptpcol_2_65537), -(tptpcol_2_65537(_746262))], (4792 ^ _597515) ^ [_746450] : [tptpcol_2_65537(_746450), -(isa(_746450, c_tptpcol_2_65537))], (4798 ^ _597515) ^ [_746638] : [isa(_746638, c_tptpcol_3_81921), -(tptpcol_3_81921(_746638))], (4804 ^ _597515) ^ [_746826] : [tptpcol_3_81921(_746826), -(isa(_746826, c_tptpcol_3_81921))], (4810 ^ _597515) ^ [_747014] : [isa(_747014, c_artsupplies), -(artsupplies(_747014))], (4816 ^ _597515) ^ [_747202] : [artsupplies(_747202), -(isa(_747202, c_artsupplies))], (4822 ^ _597515) ^ [_747390] : [isa(_747390, c_enduringthing_localized), -(enduringthing_localized(_747390))], (4828 ^ _597515) ^ [_747578] : [enduringthing_localized(_747578), -(isa(_747578, c_enduringthing_localized))], (4834 ^ _597515) ^ [_747766] : [isa(_747766, c_location_underspecified), -(location_underspecified(_747766))], (4840 ^ _597515) ^ [_747954] : [location_underspecified(_747954), -(isa(_747954, c_location_underspecified))], (4846 ^ _597515) ^ [_748142] : [isa(_748142, c_trajector_underspecified), -(trajector_underspecified(_748142))], (4852 ^ _597515) ^ [_748330] : [trajector_underspecified(_748330), -(isa(_748330, c_trajector_underspecified))], (4858 ^ _597515) ^ [_748518] : [isa(_748518, c_individual), -(individual(_748518))], (4864 ^ _597515) ^ [_748706] : [individual(_748706), -(isa(_748706, c_individual))], (4870 ^ _597515) ^ [_748894] : [isa(_748894, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_748894))], (4876 ^ _597515) ^ [_749082] : [partiallyintangibleindividual(_749082), -(isa(_749082, c_partiallyintangibleindividual))], (4882 ^ _597515) ^ [_749270] : [isa(_749270, c_tptpcol_10_22022), -(tptpcol_10_22022(_749270))], (4888 ^ _597515) ^ [_749458] : [tptpcol_10_22022(_749458), -(isa(_749458, c_tptpcol_10_22022))], (4894 ^ _597515) ^ [_749646] : [isa(_749646, c_tptpcol_11_22023), -(tptpcol_11_22023(_749646))], (4900 ^ _597515) ^ [_749834] : [tptpcol_11_22023(_749834), -(isa(_749834, c_tptpcol_11_22023))], (4906 ^ _597515) ^ [_750022] : [isa(_750022, c_tptpcol_5_20483), -(tptpcol_5_20483(_750022))], (4912 ^ _597515) ^ [_750210] : [tptpcol_5_20483(_750210), -(isa(_750210, c_tptpcol_5_20483))], (4918 ^ _597515) ^ [_750398] : [isa(_750398, c_tptpcol_13_72791), -(tptpcol_13_72791(_750398))], (4924 ^ _597515) ^ [_750586] : [tptpcol_13_72791(_750586), -(isa(_750586, c_tptpcol_13_72791))], (4930 ^ _597515) ^ [_750774] : [isa(_750774, c_tptpcol_14_72792), -(tptpcol_14_72792(_750774))], (4936 ^ _597515) ^ [_750962] : [tptpcol_14_72792(_750962), -(isa(_750962, c_tptpcol_14_72792))], (4942 ^ _597515) ^ [_751150] : [isa(_751150, c_ridgeline_topographical), -(ridgeline_topographical(_751150))], (4948 ^ _597515) ^ [_751338] : [ridgeline_topographical(_751338), -(isa(_751338, c_ridgeline_topographical))], (4954 ^ _597515) ^ [_751526] : [isa(_751526, c_tptpcol_4_16387), -(tptpcol_4_16387(_751526))], (4960 ^ _597515) ^ [_751714] : [tptpcol_4_16387(_751714), -(isa(_751714, c_tptpcol_4_16387))], (4966 ^ _597515) ^ [_751902] : [isa(_751902, c_tptpcol_5_16388), -(tptpcol_5_16388(_751902))], (4972 ^ _597515) ^ [_752090] : [tptpcol_5_16388(_752090), -(isa(_752090, c_tptpcol_5_16388))], (4978 ^ _597515) ^ [_752278] : [isa(_752278, c_tptpcol_8_22020), -(tptpcol_8_22020(_752278))], (4984 ^ _597515) ^ [_752466] : [tptpcol_8_22020(_752466), -(isa(_752466, c_tptpcol_8_22020))], (4990 ^ _597515) ^ [_752654] : [isa(_752654, c_tptpcol_9_22021), -(tptpcol_9_22021(_752654))], (4996 ^ _597515) ^ [_752842] : [tptpcol_9_22021(_752842), -(isa(_752842, c_tptpcol_9_22021))], (5002 ^ _597515) ^ [_753030] : [isa(_753030, c_transitivebinarypredicate), -(transitivebinarypredicate(_753030))], (5008 ^ _597515) ^ [_753218] : [transitivebinarypredicate(_753218), -(isa(_753218, c_transitivebinarypredicate))], (5014 ^ _597515) ^ [_753420, _753422] : [geographicalsubregions(_753422, _753420), -(geographicalregion(_753420))], (5020 ^ _597515) ^ [_753628, _753630] : [geographicalsubregions(_753630, _753628), -(geographicalregion(_753630))], (5026 ^ _597515) ^ [_753850, _753852, _753854] : [-(geographicalsubregions(_753854, _753850)), geographicalsubregions(_753854, _753852), geographicalsubregions(_753852, _753850)], (5036 ^ _597515) ^ [_754145] : [geographicalregion(_754145), -(geographicalsubregions(_754145, _754145))], (5042 ^ _597515) ^ [_754333] : [isa(_754333, c_tptpcol_12_40420), -(tptpcol_12_40420(_754333))], (5048 ^ _597515) ^ [_754521] : [tptpcol_12_40420(_754521), -(isa(_754521, c_tptpcol_12_40420))], (5054 ^ _597515) ^ [_754709] : [isa(_754709, c_tptpcol_13_40421), -(tptpcol_13_40421(_754709))], (5060 ^ _597515) ^ [_754897] : [tptpcol_13_40421(_754897), -(isa(_754897, c_tptpcol_13_40421))], (5066 ^ _597515) ^ [_755085] : [isa(_755085, c_tptpcol_6_92162), -(tptpcol_6_92162(_755085))], (5072 ^ _597515) ^ [_755273] : [tptpcol_6_92162(_755273), -(isa(_755273, c_tptpcol_6_92162))], (5078 ^ _597515) ^ [_755461] : [isa(_755461, c_tptpcol_7_93186), -(tptpcol_7_93186(_755461))], (5084 ^ _597515) ^ [_755649] : [tptpcol_7_93186(_755649), -(isa(_755649, c_tptpcol_7_93186))], (5090 ^ _597515) ^ [_755851, _755853] : [most(_755853, _755851), -(setorcollection(_755851))], (5096 ^ _597515) ^ [_756059, _756061] : [most(_756061, _756059), -(setorcollection(_756059))], (5102 ^ _597515) ^ [_756267, _756269] : [most(_756269, _756267), -(setorcollection(_756269))], (5108 ^ _597515) ^ [_756475, _756477] : [most(_756477, _756475), -(setorcollection(_756477))], (5114 ^ _597515) ^ [_756669] : [setorcollection(_756669), -(most(_756669, _756669))], (5120 ^ _597515) ^ [_756857] : [setorcollection(_756857), -(most(_756857, _756857))], (5126 ^ _597515) ^ [_757073, _757075, _757077] : [-(most(_757077, _757073)), most(_757077, _757075), subsetof(_757075, _757073)], (5136 ^ _597515) ^ [_757396, _757398, _757400] : [-(most(_757400, _757396)), most(_757400, _757398), subsetof(_757398, _757396)], (5146 ^ _597515) ^ [_757705, _757707] : [subsetof(_757707, _757705), -(setorcollection(_757705))], (5152 ^ _597515) ^ [_757913, _757915] : [subsetof(_757915, _757913), -(setorcollection(_757915))], (5158 ^ _597515) ^ [_758135, _758137, _758139] : [-(subsetof(_758139, _758135)), subsetof(_758139, _758137), subsetof(_758137, _758135)], (5168 ^ _597515) ^ [_758430] : [setorcollection(_758430), -(subsetof(_758430, _758430))], (5174 ^ _597515) ^ [_758646, _758648, _758650] : [-(subsetof(_758646, _758648)), subsetof(_758650, _758648), subsetof(_758646, _758650)], (5184 ^ _597515) ^ [_758969, _758971, _758973] : [-(subsetof(_758973, _758969)), subsetof(_758973, _758971), subsetof(_758971, _758969)], (5194 ^ _597515) ^ [_759292, _759294, _759296] : [-(subsetof(_759296, _759292)), subsetof(_759296, _759294), subsetof(_759294, _759292)], (5204 ^ _597515) ^ [_759601, _759603] : [genlpreds(_759603, _759601), -(predicate(_759601))], (5210 ^ _597515) ^ [_759809, _759811] : [genlpreds(_759811, _759809), -(predicate(_759809))], (5216 ^ _597515) ^ [_760017, _760019] : [genlpreds(_760019, _760017), -(predicate(_760019))], (5222 ^ _597515) ^ [_760225, _760227] : [genlpreds(_760227, _760225), -(predicate(_760227))], (5228 ^ _597515) ^ [_760447, _760449, _760451] : [-(genlpreds(_760451, _760447)), genlpreds(_760451, _760449), genlpreds(_760449, _760447)], (5238 ^ _597515) ^ [_760742] : [predicate(_760742), -(genlpreds(_760742, _760742))], (5244 ^ _597515) ^ [_760930] : [predicate(_760930), -(genlpreds(_760930, _760930))], (5250 ^ _597515) ^ [_761132, _761134] : [genlinverse(_761134, _761132), -(binarypredicate(_761132))], (5256 ^ _597515) ^ [_761340, _761342] : [genlinverse(_761342, _761340), -(binarypredicate(_761342))], (5262 ^ _597515) ^ [_761562, _761564, _761566] : [-(genlinverse(_761562, _761564)), genlinverse(_761566, _761564), genlpreds(_761562, _761566)], (5272 ^ _597515) ^ [_761885, _761887, _761889] : [-(genlinverse(_761889, _761885)), genlinverse(_761889, _761887), genlpreds(_761887, _761885)], (5282 ^ _597515) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _597515) ^ [_762233] : [isa(_762233, c_microtheory), -(microtheory(_762233))], (5290 ^ _597515) ^ [_762421] : [microtheory(_762421), -(isa(_762421, c_microtheory))], (5296 ^ _597515) ^ [_762594] : [-(natfunction(f_urlfn(_762594), c_urlfn))], (5298 ^ _597515) ^ [_762674] : [-(natargument(f_urlfn(_762674), n_1, _762674))], (5300 ^ _597515) ^ [_762755] : [-(uniformresourcelocator(f_urlfn(_762755)))], (5302 ^ _597515) ^ [_762834] : [-(natfunction(f_urlreferentfn(_762834), c_urlreferentfn))], (5304 ^ _597515) ^ [_762914] : [-(natargument(f_urlreferentfn(_762914), n_1, _762914))], (5306 ^ _597515) ^ [_762995] : [-(computerdataartifact(f_urlreferentfn(_762995)))], (5308 ^ _597515) ^ [_763088, _763090] : [-(natfunction(f_contentmtofcdafromeventfn(_763090, _763088), c_contentmtofcdafromeventfn))], (5310 ^ _597515) ^ [_763185, _763187] : [-(natargument(f_contentmtofcdafromeventfn(_763187, _763185), n_1, _763187))], (5312 ^ _597515) ^ [_763283, _763285] : [-(natargument(f_contentmtofcdafromeventfn(_763285, _763283), n_2, _763283))], (5314 ^ _597515) ^ [_763381, _763383] : [-(microtheory(f_contentmtofcdafromeventfn(_763383, _763381)))], (5316 ^ _597515) ^ [_763492, _763494] : [isa(_763494, _763492), -(collection(_763492))], (5322 ^ _597515) ^ [_763700, _763702] : [isa(_763702, _763700), -(collection(_763700))], (5328 ^ _597515) ^ [_763908, _763910] : [isa(_763910, _763908), -(thing(_763910))], (5334 ^ _597515) ^ [_764116, _764118] : [isa(_764118, _764116), -(thing(_764118))], (5340 ^ _597515) ^ [_764338, _764340, _764342] : [-(isa(_764342, _764338)), isa(_764342, _764340), genls(_764340, _764338)], (5350 ^ _597515) ^ [_764633] : [isa(_764633, c_inanimateobject), -(inanimateobject(_764633))], (5356 ^ _597515) ^ [_764821] : [inanimateobject(_764821), -(isa(_764821, c_inanimateobject))], (5362 ^ _597515) ^ [_765009] : [isa(_765009, c_tptpcol_9_72709), -(tptpcol_9_72709(_765009))], (5368 ^ _597515) ^ [_765197] : [tptpcol_9_72709(_765197), -(isa(_765197, c_tptpcol_9_72709))], (5374 ^ _597515) ^ [_765385] : [isa(_765385, c_tptpcol_10_72710), -(tptpcol_10_72710(_765385))], (5380 ^ _597515) ^ [_765573] : [tptpcol_10_72710(_765573), -(isa(_765573, c_tptpcol_10_72710))], (5386 ^ _597515) ^ [_765761] : [isa(_765761, c_tptpcol_14_40429), -(tptpcol_14_40429(_765761))], (5392 ^ _597515) ^ [_765949] : [tptpcol_14_40429(_765949), -(isa(_765949, c_tptpcol_14_40429))], (5398 ^ _597515) ^ [_766137] : [isa(_766137, c_tptpcol_15_40430), -(tptpcol_15_40430(_766137))], (5404 ^ _597515) ^ [_766325] : [tptpcol_15_40430(_766325), -(isa(_766325, c_tptpcol_15_40430))], (5410 ^ _597515) ^ [_766527, _766529] : [genls(_766529, _766527), -(collection(_766527))], (5416 ^ _597515) ^ [_766735, _766737] : [genls(_766737, _766735), -(collection(_766735))], (5422 ^ _597515) ^ [_766943, _766945] : [genls(_766945, _766943), -(collection(_766945))], (5428 ^ _597515) ^ [_767151, _767153] : [genls(_767153, _767151), -(collection(_767153))], (5434 ^ _597515) ^ [_767373, _767375, _767377] : [-(genls(_767377, _767373)), genls(_767377, _767375), genls(_767375, _767373)], (5444 ^ _597515) ^ [_767668] : [collection(_767668), -(genls(_767668, _767668))], (5450 ^ _597515) ^ [_767856] : [collection(_767856), -(genls(_767856, _767856))], (5456 ^ _597515) ^ [_768072, _768074, _768076] : [-(genls(_768072, _768074)), genls(_768076, _768074), genls(_768072, _768076)], (5466 ^ _597515) ^ [_768395, _768397, _768399] : [-(genls(_768399, _768395)), genls(_768399, _768397), genls(_768397, _768395)], (5476 ^ _597515) ^ [_768690] : [isa(_768690, c_partiallytangible), -(partiallytangible(_768690))], (5482 ^ _597515) ^ [_768878] : [partiallytangible(_768878), -(isa(_768878, c_partiallytangible))], (5488 ^ _597515) ^ [_769066] : [isa(_769066, c_intangible), -(intangible(_769066))], (5494 ^ _597515) ^ [_769254] : [intangible(_769254), -(isa(_769254, c_intangible))], (5500 ^ _597515) ^ [_769456, _769458] : [disjointwith(_769458, _769456), -(collection(_769456))], (5506 ^ _597515) ^ [_769664, _769666] : [disjointwith(_769666, _769664), -(collection(_769666))], (5512 ^ _597515) ^ [_769872, _769874] : [disjointwith(_769874, _769872), -(disjointwith(_769872, _769874))], (5518 ^ _597515) ^ [_770096, _770098, _770100] : [-(disjointwith(_770100, _770096)), disjointwith(_770100, _770098), genls(_770096, _770098)], (5528 ^ _597515) ^ [_770419, _770421, _770423] : [-(disjointwith(_770419, _770421)), disjointwith(_770423, _770421), genls(_770419, _770423)], (5538 ^ _597515) ^ [_770728, _770730] : [-(mtvisible(_770728)), mtvisible(_770730), genlmt(_770730, _770728)], (5548 ^ _597515) ^ [_771023, _771025] : [genlmt(_771025, _771023), -(microtheory(_771023))], (5554 ^ _597515) ^ [_771231, _771233] : [genlmt(_771233, _771231), -(microtheory(_771231))], (5560 ^ _597515) ^ [_771439, _771441] : [genlmt(_771441, _771439), -(microtheory(_771441))], (5566 ^ _597515) ^ [_771647, _771649] : [genlmt(_771649, _771647), -(microtheory(_771649))], (5572 ^ _597515) ^ [_771869, _771871, _771873] : [-(genlmt(_771873, _771869)), genlmt(_771873, _771871), genlmt(_771871, _771869)], (5582 ^ _597515) ^ [_772164] : [microtheory(_772164), -(genlmt(_772164, _772164))], (5594 ^ _597515) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _597515) ^ [_772352] : [microtheory(_772352), -(genlmt(_772352, _772352))]], input).
% 0.44/1.39  ncf('1',plain,[borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10)],start(5598 ^ 0,bind([[_787079], [c_georegion_l4_x45_y10]]))).
% 0.44/1.39  ncf('1.1',plain,[-(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10)), mtvisible(c_tptpgeo_member1_mt)],extension(822 ^ 1)).
% 0.44/1.39  ncf('1.1.1',plain,[-(mtvisible(c_tptpgeo_member1_mt)), mtvisible(c_tptpgeo_spindlecollectormt), genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt)],extension(5538 ^ 2,bind([[_770728, _770730], [c_tptpgeo_member1_mt, c_tptpgeo_spindlecollectormt]]))).
% 0.44/1.39  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_spindlecollectormt))],extension(5596 ^ 3,bind([[_787042], [_405094]]))).
% 0.44/1.39  ncf('1.1.1.2',plain,[-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))],extension(544 ^ 3)).
% 0.44/1.39  %-----------------------------------------------------
% 0.44/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------