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

% Computer : n002.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:59:36 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : CSR069+2 : TPTP v8.1.2. Released v3.4.0.
% 0.10/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n002.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Fri May 19 00:44:49 EDT 2023
% 0.13/0.33  % CPUTime  : 
% 0.41/1.38  
% 0.41/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.41/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.41/1.38  %-----------------------------------------------------
% 0.41/1.38  ncf(matrix, plain, [(5596 ^ _593172) ^ [] : [-(mtvisible(c_tptpgeo_member1_mt))], (5598 ^ _593172) ^ [] : [borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24)], (2 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _593172) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _593172) ^ [_593377] : [intangible(_593377), partiallytangible(_593377)], (12 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _593172) ^ [_593615] : [tptpcol_15_40430(_593615), -(tptpcol_14_40429(_593615))], (20 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _593172) ^ [_593854] : [tptpcol_10_72710(_593854), -(tptpcol_9_72709(_593854))], (28 ^ _593172) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _593172) ^ [_594093] : [inanimateobject(_594093), -(partiallytangible(_594093))], (36 ^ _593172) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _593172) ^ [_594360, _594362, _594364] : [-(genlpreds(_594364, _594360)), genlinverse(_594364, _594362), genlinverse(_594362, _594360)], (48 ^ _593172) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _593172) ^ [_594722, _594724] : [subsetof(_594724, _594722), -(most(_594724, _594722))], (56 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _593172) ^ [_594971] : [tptpcol_7_93186(_594971), -(tptpcol_6_92162(_594971))], (64 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _593172) ^ [_595210] : [tptpcol_13_40421(_595210), -(tptpcol_12_40420(_595210))], (72 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _593172) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _593172) ^ [_595674] : [tptpcol_9_22021(_595674), -(tptpcol_8_22020(_595674))], (90 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _593172) ^ [_595913] : [tptpcol_5_16388(_595913), -(tptpcol_4_16387(_595913))], (98 ^ _593172) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _593172) ^ [_596271] : [tptpcol_14_72792(_596271), -(tptpcol_13_72791(_596271))], (112 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _593172) ^ [_596510] : [tptpcol_5_20483(_596510), -(tptpcol_4_16387(_596510))], (120 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _593172) ^ [_596749] : [tptpcol_11_22023(_596749), -(tptpcol_10_22022(_596749))], (128 ^ _593172) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _593172) ^ [_596988] : [partiallyintangibleindividual(_596988), -(individual(_596988))], (136 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _593172) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _593172) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _593172) ^ [_597333] : [trajector_underspecified(_597333), -(location_underspecified(_597333))], (148 ^ _593172) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _593172) ^ [_597572] : [partiallytangible(_597572), -(enduringthing_localized(_597572))], (156 ^ _593172) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _593172) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _593172) ^ [_597930] : [tptpcol_3_81921(_597930), -(tptpcol_2_65537(_597930))], (170 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _593172) ^ [_598169] : [tptpcol_10_18567(_598169), -(tptpcol_9_18439(_598169))], (178 ^ _593172) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _593172) ^ [_598408] : [orderingpredicate(_598408), -(transitivebinarypredicate(_598408))], (186 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _593172) ^ [_598647] : [tptpcol_11_92230(_598647), -(tptpcol_10_92166(_598647))], (194 ^ _593172) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _593172) ^ [_598886] : [tptpcol_2_98304(_598886), -(tptpcol_1_65536(_598886))], (202 ^ _593172) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _593172) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _593172) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _593172) ^ [_599350] : [tptpcol_12_40420(_599350), -(tptpcol_11_40388(_599350))], (220 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _593172) ^ [_599603, _599605] : [tptptypes_9_693(_599605, _599603), -(tptptypes_8_692(_599605, _599603))], (228 ^ _593172) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _593172) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _593172) ^ [_599972, _599974] : [tptptypes_8_390(_599974, _599972), -(tptptypes_7_389(_599974, _599972))], (240 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _593172) ^ [_600316, _600318, _600320, _600322] : [-(isa(f_relationexistsallfn(_600322, _600318, _600316, _600320), _600316)), isa(_600322, _600320), relationexistsall(_600318, _600316, _600320)], (254 ^ _593172) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _593172) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _593172) ^ [_600845] : [tptpcol_4_106497(_600845), -(tptpcol_3_98305(_600845))], (268 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _593172) ^ [_601084] : [tptpcol_5_114690(_601084), -(tptpcol_4_114689(_601084))], (276 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _593172) ^ [_601323] : [tptpcol_12_93765(_601323), -(tptpcol_11_93764(_601323))], (284 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _593172) ^ [_601562] : [tptpcol_8_72708(_601562), -(tptpcol_7_72707(_601562))], (292 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _593172) ^ [_601801] : [tptpcol_10_40324(_601801), -(tptpcol_9_40196(_601801))], (300 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _593172) ^ [_602040] : [tptpcol_13_93766(_602040), -(tptpcol_12_93765(_602040))], (308 ^ _593172) ^ [_602226] : [-(tptpofobject(_602226, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_602226)], (318 ^ _593172) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _593172) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _593172) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _593172) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _593172) ^ [_602890] : [location_underspecified(_602890), -(thing(_602890))], (342 ^ _593172) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _593172) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _593172) ^ [_603235] : [tptpcol_12_92262(_603235), -(tptpcol_11_92230(_603235))], (354 ^ _593172) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _593172) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _593172) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _593172) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _593172) ^ [_603752] : [tptpcol_10_109061(_603752), -(tptpcol_9_109060(_603752))], (374 ^ _593172) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _593172) ^ [_604058, _604060] : [tptptypes_6_388(_604060, _604058), -(tptptypes_5_387(_604060, _604058))], (384 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _593172) ^ [_604307] : [tptpcol_6_116738(_604307), -(tptpcol_5_114690(_604307))], (392 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _593172) ^ [_604546] : [tptpcol_15_92268(_604546), -(tptpcol_14_92264(_604546))], (400 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _593172) ^ [_604851] : [-(tptpofobject(_604851, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604851)], (416 ^ _593172) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _593172) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _593172) ^ [_605304, _605306] : [tptptypes_9_401(_605306, _605304), -(tptptypes_8_400(_605304, _605306))], (430 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _593172) ^ [_605553] : [tptpcol_12_18663(_605553), -(tptpcol_11_18631(_605553))], (438 ^ _593172) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _593172) ^ [_605792] : [setorcollection(_605792), -(mathematicalthing(_605792))], (446 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _593172) ^ [_606031] : [tptpcol_13_109173(_606031), -(tptpcol_12_109157(_606031))], (454 ^ _593172) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _593172) ^ [_606323] : [tptpcol_5_106498(_606323), -(tptpcol_4_106497(_606323))], (464 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _593172) ^ [_606562] : [tptpcol_5_24579(_606562), -(tptpcol_4_24578(_606562))], (472 ^ _593172) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _593172) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _593172) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _593172) ^ [_607092] : [tptpcol_1_65536(_607092), -(tptpcol_0_0(_607092))], (494 ^ _593172) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _593172) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _593172) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _593172) ^ [_607517, _607519] : [geographicalsubregions(_607519, _607517), -(inregion(_607517, _607519))], (510 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _593172) ^ [_607766] : [tptpcol_11_118084(_607766), -(tptpcol_10_118020(_607766))], (518 ^ _593172) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _593172) ^ [_608005] : [mathematicalorcomputationalthing(_608005), -(intangible(_608005))], (526 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _593172) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _593172) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _593172) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _593172) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _593172) ^ [_608523, _608525] : [tptptypes_7_819(_608525, _608523), -(tptptypes_6_818(_608525, _608523))], (544 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _593172) ^ [_608825] : [tptpcol_12_26919(_608825), -(tptpcol_11_26887(_608825))], (554 ^ _593172) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _593172) ^ [_609078, _609080] : [tptptypes_8_692(_609080, _609078), -(tptptypes_7_691(_609078, _609080))], (562 ^ _593172) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _593172) ^ [_609327] : [tptpcol_2_2(_609327), -(tptpcol_1_1(_609327))], (570 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _593172) ^ [_609619] : [tptpcol_9_92165(_609619), -(tptpcol_8_92164(_609619))], (580 ^ _593172) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _593172) ^ [_609858] : [fixedordercollection(_609858), -(collection(_609858))], (588 ^ _593172) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _593172) ^ [_610097] : [tptpcol_1_1(_610097), tptpcol_1_65536(_610097)], (596 ^ _593172) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _593172) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _593172) ^ [_610388] : [microtheory(_610388), -(aspatialinformationstore(_610388))], (606 ^ _593172) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _593172) ^ [_610693] : [-(tptp_8_875(_610693, f_relationallexistsfn(_610693, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610693, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _593172) ^ [] : [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 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _593172) ^ [_611144] : [tptpcol_10_118020(_611144), -(tptpcol_9_118019(_611144))], (636 ^ _593172) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _593172) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _593172) ^ [_611502] : [-(tptp_9_720(_611502, f_relationallexistsfn(_611502, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_611502)], (654 ^ _593172) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _593172) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _593172) ^ [_611951] : [individual(_611951), setorcollection(_611951)], (668 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _593172) ^ [_612189] : [tptpcol_12_22055(_612189), -(tptpcol_11_22023(_612189))], (676 ^ _593172) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _593172) ^ [_612428] : [applicationcontext(_612428), -(microtheory(_612428))], (684 ^ _593172) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _593172) ^ [_612734, _612736] : [tptptypes_8_400(_612736, _612734), -(tptptypes_7_396(_612736, _612734))], (694 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _593172) ^ [_612983] : [tptpcol_11_18631(_612983), -(tptpcol_10_18567(_612983))], (702 ^ _593172) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _593172) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _593172) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _593172) ^ [_613394] : [mathematicalthing(_613394), -(mathematicalorcomputationalthing(_613394))], (718 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _593172) ^ [_613686] : [tptpcol_15_93775(_613686), -(tptpcol_14_93774(_613686))], (728 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _593172) ^ [_613925] : [tptpcol_8_109059(_613925), -(tptpcol_7_108547(_613925))], (736 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _593172) ^ [_614164] : [tptpcol_14_40429(_614164), -(tptpcol_13_40421(_614164))], (744 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _593172) ^ [_614522] : [tptpcol_14_22072(_614522), -(tptpcol_13_22071(_614522))], (758 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _593172) ^ [_614761] : [tptpcol_14_93774(_614761), -(tptpcol_13_93766(_614761))], (766 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _593172) ^ [_615000] : [tptpcol_10_22022(_615000), -(tptpcol_9_22021(_615000))], (774 ^ _593172) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _593172) ^ [_615239] : [inanimateobject_nonnatural(_615239), -(inanimateobject(_615239))], (782 ^ _593172) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _593172) ^ [_615584] : [tptpcol_9_72709(_615584), -(tptpcol_8_72708(_615584))], (794 ^ _593172) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _593172) ^ [_615823] : [-(tptpofobject(_615823, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615823)], (806 ^ _593172) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _593172) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _593172) ^ [_616262] : [firstordercollection(_616262), -(fixedordercollection(_616262))], (820 ^ _593172) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _593172) ^ [_616673] : [tptpcol_13_18664(_616673), -(tptpcol_12_18663(_616673))], (836 ^ _593172) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _593172) ^ [_616912] : [artifact(_616912), -(inanimateobject_nonnatural(_616912))], (844 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _593172) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _593172) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _593172) ^ [_617310] : [tptpcol_7_113665(_617310), -(tptpcol_6_112641(_617310))], (858 ^ _593172) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _593172) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _593172) ^ [_617668] : [geographicalregion(_617668), -(partiallytangible(_617668))], (872 ^ _593172) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _593172) ^ [_617921, _617923] : [disjointwith(_617923, _617921), -(no(_617923, _617921))], (880 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _593172) ^ [_618170] : [tptpcol_4_24578(_618170), -(tptpcol_3_16386(_618170))], (888 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _593172) ^ [_618409] : [tptpcol_5_69635(_618409), -(tptpcol_4_65539(_618409))], (896 ^ _593172) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _593172) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _593172) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _593172) ^ [_618768, _618770] : [genls(_618770, _618768), -(collection(_618770))], (908 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _593172) ^ [_619015] : [tptpcol_13_22071(_619015), -(tptpcol_12_22055(_619015))], (916 ^ _593172) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _593172) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _593172) ^ [_619307] : [tptpcol_3_98305(_619307), -(tptpcol_2_98304(_619307))], (926 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _593172) ^ [_619546] : [tptpcol_4_114689(_619546), -(tptpcol_3_114688(_619546))], (934 ^ _593172) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _593172) ^ [_619785] : [artsupplies(_619785), -(supplies(_619785))], (942 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _593172) ^ [_620024] : [tptpcol_8_26629(_620024), -(tptpcol_7_26628(_620024))], (950 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _593172) ^ [_620263] : [tptpcol_9_109060(_620263), -(tptpcol_8_109059(_620263))], (958 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _593172) ^ [_620502] : [isa(_620502, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_620502, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _620502))], (966 ^ _593172) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _593172) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _593172) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _593172) ^ [_621086] : [tptpcol_14_109181(_621086), -(tptpcol_13_109173(_621086))], (988 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _593172) ^ [_621325] : [tptpcol_16_30972(_621325), -(tptpcol_15_30970(_621325))], (996 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _593172) ^ [_621617] : [tptpcol_9_18439(_621617), -(tptpcol_8_18438(_621617))], (1006 ^ _593172) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _593172) ^ [_621909] : [tptpcol_12_118116(_621909), -(tptpcol_11_118084(_621909))], (1016 ^ _593172) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _593172) ^ [_622201] : [tptpcol_7_26628(_622201), -(tptpcol_6_26627(_622201))], (1026 ^ _593172) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _593172) ^ [_622454, _622456] : [most(_622456, _622454), -(setorcollection(_622456))], (1034 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _593172) ^ [_622701] : [tptpcol_15_109185(_622701), -(tptpcol_14_109181(_622701))], (1042 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _593172) ^ [_622940] : [tptpcol_16_92269(_622940), -(tptpcol_15_92268(_622940))], (1050 ^ _593172) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _593172) ^ [_623246, _623248] : [tptptypes_8_823(_623248, _623246), -(tptptypes_7_819(_623248, _623246))], (1060 ^ _593172) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _593172) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _593172) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _593172) ^ [_623826] : [tptpcol_10_26886(_623826), -(tptpcol_9_26885(_623826))], (1082 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _593172) ^ [_624118] : [tptpcol_15_72793(_624118), -(tptpcol_14_72792(_624118))], (1092 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _593172) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _593172) ^ [_624476] : [navypersonnel(_624476), -(militaryperson(_624476))], (1106 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _593172) ^ [_624715] : [tptpcol_4_16387(_624715), -(tptpcol_3_16386(_624715))], (1114 ^ _593172) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _593172) ^ [_624954] : [enduringthing_localized(_624954), -(spatialthing_nonsituational(_624954))], (1122 ^ _593172) ^ [_625140] : [collection(_625140), individual(_625140)], (1128 ^ _593172) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _593172) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _593172) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _593172) ^ [_625669] : [physicalorderingpredicate(_625669), -(orderingpredicate(_625669))], (1150 ^ _593172) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _593172) ^ [_625922, _625924] : [disjointwith(_625924, _625922), -(collection(_625922))], (1158 ^ _593172) ^ [_626158, _626160, _626162, _626164] : [-(isa(f_relationallexistsfn(_626164, _626160, _626162, _626158), _626158)), isa(_626164, _626162), relationallexists(_626160, _626162, _626158)], (1168 ^ _593172) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _593172) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _593172) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _593172) ^ [_626767, _626769] : [tptptypes_7_389(_626769, _626767), -(tptptypes_6_388(_626767, _626769))], (1186 ^ _593172) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _593172) ^ [_627082] : [-(hpkb_subnationalagent(_627082)), mtvisible(c_hpkbvocabmt), state_geopolitical(_627082)], (1202 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _593172) ^ [_627400] : [tptpcol_8_22020(_627400), -(tptpcol_7_21508(_627400))], (1210 ^ _593172) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _593172) ^ [_627639] : [-(tptp_9_51(f_relationexistsallfn(_627639, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _627639)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_627639, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _593172) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _593172) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _593172) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _593172) ^ [_628143] : [tptpcol_3_65538(_628143), -(tptpcol_2_65537(_628143))], (1238 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _593172) ^ [_628382] : [tptpcol_14_26921(_628382), -(tptpcol_13_26920(_628382))], (1246 ^ _593172) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _593172) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _593172) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _593172) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _593172) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _593172) ^ [_628833] : [intangibleindividual(_628833), -(partiallyintangibleindividual(_628833))], (1262 ^ _593172) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _593172) ^ [_629191] : [tptpcol_16_130924(_629191), -(tptpcol_15_130923(_629191))], (1276 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _593172) ^ [_629430] : [tptpcol_7_92163(_629430), -(tptpcol_6_92162(_629430))], (1284 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _593172) ^ [_629722] : [tptpcol_16_130933(_629722), -(tptpcol_15_130931(_629722))], (1294 ^ _593172) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _593172) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _593172) ^ [_630028, _630030] : [no(_630030, _630028), -(few(_630030, _630028))], (1304 ^ _593172) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _593172) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _593172) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _593172) ^ [_630436] : [tptpcol_6_20484(_630436), -(tptpcol_5_20483(_630436))], (1318 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _593172) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _593172) ^ [_630900] : [tptpcol_7_108547(_630900), -(tptpcol_6_108546(_630900))], (1336 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _593172) ^ [_631139] : [tptpcol_11_109125(_631139), -(tptpcol_10_109061(_631139))], (1344 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _593172) ^ [_631431] : [tptpcol_8_93698(_631431), -(tptpcol_7_93186(_631431))], (1354 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _593172) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _593172) ^ [_631723] : [tptpcol_2_65537(_631723), -(tptpcol_1_65536(_631723))], (1364 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _593172) ^ [_632015] : [tptpcol_6_18436(_632015), -(tptpcol_5_16388(_632015))], (1374 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _593172) ^ [_632254] : [tptpcol_8_18438(_632254), -(tptpcol_7_18437(_632254))], (1382 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _593172) ^ [_632612] : [tptpcol_8_117763(_632612), -(tptpcol_7_117762(_632612))], (1396 ^ _593172) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _593172) ^ [_632904] : [tptpcol_12_109157(_632904), -(tptpcol_11_109125(_632904))], (1406 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _593172) ^ [_633143] : [tptpcol_7_117762(_633143), -(tptpcol_6_116738(_633143))], (1414 ^ _593172) ^ [_633357, _633359, _633361] : [isa(_633361, _633359), isa(_633361, _633357), disjointwith(_633359, _633357)], (1424 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _593172) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _593172) ^ [_633757] : [aspatialinformationstore(_633757), -(aspatialthing(_633757))], (1434 ^ _593172) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _593172) ^ [_634155] : [tptpcol_9_93699(_634155), -(tptpcol_8_93698(_634155))], (1448 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _593172) ^ [_634394] : [tptpcol_11_93764(_634394), -(tptpcol_10_93700(_634394))], (1456 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _593172) ^ [_634633] : [tptpcol_6_26627(_634633), -(tptpcol_5_24579(_634633))], (1464 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _593172) ^ [_634872] : [tptpcol_4_90113(_634872), -(tptpcol_3_81921(_634872))], (1472 ^ _593172) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _593172) ^ [_635164] : [tptpcol_10_93700(_635164), -(tptpcol_9_93699(_635164))], (1482 ^ _593172) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _593172) ^ [_635403] : [aspatialinformationstore(_635403), -(intangibleindividual(_635403))], (1490 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _593172) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _593172) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _593172) ^ [_635814] : [tptpcol_3_16386(_635814), -(tptpcol_2_2(_635814))], (1506 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _593172) ^ [_636053] : [tptpcol_9_118019(_636053), -(tptpcol_8_117763(_636053))], (1514 ^ _593172) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _593172) ^ [_636292] : [individual(_636292), -(trajector_underspecified(_636292))], (1522 ^ _593172) ^ [_636478] : [shavingrazor_manual(_636478), -(tptp_8_271(f_relationexistsallfn(_636478, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _636478))], (1528 ^ _593172) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _593172) ^ [_636782] : [tptpcol_6_112641(_636782), -(tptpcol_5_110593(_636782))], (1538 ^ _593172) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _593172) ^ [_637021] : [tptpcol_12_72775(_637021), -(tptpcol_11_72774(_637021))], (1546 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _593172) ^ [_637260] : [tptpcol_7_72707(_637260), -(tptpcol_6_71683(_637260))], (1554 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _593172) ^ [_637499] : [tptpcol_16_50958(_637499), -(tptpcol_15_50957(_637499))], (1562 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _593172) ^ [_637738] : [tptpcol_8_114177(_637738), -(tptpcol_7_113665(_637738))], (1570 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _593172) ^ [_637977] : [tptpcol_16_72795(_637977), -(tptpcol_15_72793(_637977))], (1578 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _593172) ^ [_638216] : [tptpcol_6_71683(_638216), -(tptpcol_5_69635(_638216))], (1586 ^ _593172) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _593172) ^ [_638522, _638524] : [tptptypes_7_396(_638524, _638522), -(tptptypes_6_388(_638524, _638522))], (1596 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _593172) ^ [_638771] : [tptpcol_9_26885(_638771), -(tptpcol_8_26629(_638771))], (1604 ^ _593172) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _593172) ^ [_639024, _639026] : [genls(_639026, _639024), -(subsetof(_639026, _639024))], (1612 ^ _593172) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _593172) ^ [_639340, _639342] : [tptptypes_6_818(_639342, _639340), -(tptptypes_5_802(_639342, _639340))], (1622 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _593172) ^ [_639589] : [tptpcol_6_92162(_639589), -(tptpcol_5_90114(_639589))], (1630 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _593172) ^ [_639881] : [tptpcol_8_92164(_639881), -(tptpcol_7_92163(_639881))], (1640 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _593172) ^ [_640120] : [tptpcol_13_118117(_640120), -(tptpcol_12_118116(_640120))], (1648 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _593172) ^ [_640359] : [tptpcol_11_40388(_640359), -(tptpcol_10_40324(_640359))], (1656 ^ _593172) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _593172) ^ [_640612, _640614] : [tptptypes_9_824(_640614, _640612), -(tptptypes_8_823(_640614, _640612))], (1664 ^ _593172) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _593172) ^ [_640914] : [tptpcol_11_26887(_640914), -(tptpcol_10_26886(_640914))], (1674 ^ _593172) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _593172) ^ [_641153] : [tptpcol_16_26926(_641153), -(tptpcol_15_26925(_641153))], (1682 ^ _593172) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _593172) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _593172) ^ [_641459, _641461] : [few(_641461, _641459), -(setorcollection(_641459))], (1692 ^ _593172) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _593172) ^ [_641706] : [tptpcol_4_65539(_641706), -(tptpcol_3_65538(_641706))], (1700 ^ _593172) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _593172) ^ [_641945] : [tptpcol_8_39940(_641945), -(tptpcol_7_39939(_641945))], (1708 ^ _593172) ^ [_642131] : [-(tptpofobject(_642131, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_642131)], (1718 ^ _593172) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _593172) ^ [_642570] : [tptpcol_15_22076(_642570), -(tptpcol_14_22072(_642570))], (1732 ^ _593172) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _593172) ^ [_642809] : [tptpcol_0_0(_642809), -(individual(_642809))], (1740 ^ _593172) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _593172) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _593172) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _593172) ^ [_643207] : [tptpcol_11_72774(_643207), -(tptpcol_10_72710(_643207))], (1754 ^ _593172) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _593172) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _593172) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _593172) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _593172) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _593172) ^ [_643843] : [tptpcol_7_21508(_643843), -(tptpcol_6_20484(_643843))], (1780 ^ _593172) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _593172) ^ [_644082] : [tptpcol_6_108546(_644082), -(tptpcol_5_106498(_644082))], (1788 ^ _593172) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _593172) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _593172) ^ [_644440] : [geolevel_4(_644440), -(geographicalregion(_644440))], (1802 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _593172) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _593172) ^ [_644917] : [tptpcol_13_26920(_644917), -(tptpcol_12_26919(_644917))], (1822 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _593172) ^ [_645156] : [tptpcol_14_92264(_645156), -(tptpcol_13_92263(_645156))], (1830 ^ _593172) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _593172) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _593172) ^ [_645448] : [tptpcol_9_40196(_645448), -(tptpcol_8_39940(_645448))], (1840 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _593172) ^ [_645806] : [tptpcol_13_92263(_645806), -(tptpcol_12_92262(_645806))], (1854 ^ _593172) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _593172) ^ [_646098] : [tptpcol_5_90114(_646098), -(tptpcol_4_90113(_646098))], (1864 ^ _593172) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _593172) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _593172) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _593172) ^ [_646509] : [tptpcol_15_26925(_646509), -(tptpcol_14_26921(_646509))], (1880 ^ _593172) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _593172) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _593172) ^ [_646867] : [tptpcol_7_18437(_646867), -(tptpcol_6_18436(_646867))], (1894 ^ _593172) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _593172) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _593172) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _593172) ^ [_647278] : [tptpcol_3_98305(_647278), tptpcol_3_114688(_647278)], (1910 ^ _593172) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _593172) ^ [_647516] : [tptpcol_5_110593(_647516), -(tptpcol_4_106497(_647516))], (1918 ^ _593172) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _593172) ^ [_647755] : [tptpcol_13_72791(_647755), -(tptpcol_12_72775(_647755))], (1926 ^ _593172) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _593172) ^ [_647994] : [computerdataartifact(_647994), -(artifact(_647994))], (1934 ^ _593172) ^ [_648180] : [-(tptpofobject(_648180, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_648180)], (1944 ^ _593172) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _593172) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _593172) ^ [_648619] : [tptpcol_10_92166(_648619), -(tptpcol_9_92165(_648619))], (1958 ^ _593172) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _593172) ^ [_648858] : [tptpcol_14_118118(_648858), -(tptpcol_13_118117(_648858))], (1966 ^ _593172) ^ [_649044] : [isa(_649044, c_tptpcol_14_118118), -(tptpcol_14_118118(_649044))], (1972 ^ _593172) ^ [_649232] : [tptpcol_14_118118(_649232), -(isa(_649232, c_tptpcol_14_118118))], (1978 ^ _593172) ^ [_649405] : [-(natfunction(f_tptpquantityfn_6(_649405), c_tptpquantityfn_6))], (1980 ^ _593172) ^ [_649485] : [-(natargument(f_tptpquantityfn_6(_649485), n_1, _649485))], (1982 ^ _593172) ^ [_649566] : [-(tptpquantity(f_tptpquantityfn_6(_649566)))], (1984 ^ _593172) ^ [_649660] : [isa(_649660, c_tptpcol_16_26939), -(tptpcol_16_26939(_649660))], (1990 ^ _593172) ^ [_649848] : [tptpcol_16_26939(_649848), -(isa(_649848, c_tptpcol_16_26939))], (1996 ^ _593172) ^ [_650036] : [isa(_650036, c_tptpcol_16_62187), -(tptpcol_16_62187(_650036))], (2002 ^ _593172) ^ [_650224] : [tptpcol_16_62187(_650224), -(isa(_650224, c_tptpcol_16_62187))], (2008 ^ _593172) ^ [_650412] : [isa(_650412, c_tptpcol_13_92263), -(tptpcol_13_92263(_650412))], (2014 ^ _593172) ^ [_650600] : [tptpcol_13_92263(_650600), -(isa(_650600, c_tptpcol_13_92263))], (2020 ^ _593172) ^ [_650788] : [isa(_650788, c_geolevel_4), -(geolevel_4(_650788))], (2026 ^ _593172) ^ [_650976] : [geolevel_4(_650976), -(isa(_650976, c_geolevel_4))], (2032 ^ _593172) ^ [_651164] : [isa(_651164, c_tptpcol_15_4027), -(tptpcol_15_4027(_651164))], (2038 ^ _593172) ^ [_651352] : [tptpcol_15_4027(_651352), -(isa(_651352, c_tptpcol_15_4027))], (2044 ^ _593172) ^ [_651540] : [isa(_651540, c_pushingwithfingers), -(pushingwithfingers(_651540))], (2050 ^ _593172) ^ [_651728] : [pushingwithfingers(_651728), -(isa(_651728, c_pushingwithfingers))], (2056 ^ _593172) ^ [_651930, _651932] : [affiliatedwith(_651932, _651930), -(agent_generic(_651930))], (2062 ^ _593172) ^ [_652138, _652140] : [affiliatedwith(_652140, _652138), -(agent_generic(_652140))], (2068 ^ _593172) ^ [_652346, _652348] : [affiliatedwith(_652348, _652346), -(affiliatedwith(_652346, _652348))], (2074 ^ _593172) ^ [_652526] : [affiliatedwith(_652526, _652526)], (2076 ^ _593172) ^ [_652619] : [isa(_652619, c_footballteam), -(footballteam(_652619))], (2082 ^ _593172) ^ [_652807] : [footballteam(_652807), -(isa(_652807, c_footballteam))], (2088 ^ _593172) ^ [_652995] : [isa(_652995, c_tptpcol_16_4451), -(tptpcol_16_4451(_652995))], (2094 ^ _593172) ^ [_653183] : [tptpcol_16_4451(_653183), -(isa(_653183, c_tptpcol_16_4451))], (2100 ^ _593172) ^ [_653371] : [isa(_653371, c_pushingwithopenhand), -(pushingwithopenhand(_653371))], (2106 ^ _593172) ^ [_653559] : [pushingwithopenhand(_653559), -(isa(_653559, c_pushingwithopenhand))], (2112 ^ _593172) ^ [_653747] : [isa(_653747, c_tptpcol_15_22076), -(tptpcol_15_22076(_653747))], (2118 ^ _593172) ^ [_653935] : [tptpcol_15_22076(_653935), -(isa(_653935, c_tptpcol_15_22076))], (2124 ^ _593172) ^ [_654108] : [-(natfunction(f_tptpquantityfn_2(_654108), c_tptpquantityfn_2))], (2126 ^ _593172) ^ [_654188] : [-(natargument(f_tptpquantityfn_2(_654188), n_1, _654188))], (2128 ^ _593172) ^ [_654269] : [-(tptpquantity(f_tptpquantityfn_2(_654269)))], (2130 ^ _593172) ^ [_654363] : [isa(_654363, c_tptpcol_7_39939), -(tptpcol_7_39939(_654363))], (2136 ^ _593172) ^ [_654551] : [tptpcol_7_39939(_654551), -(isa(_654551, c_tptpcol_7_39939))], (2142 ^ _593172) ^ [_654739] : [isa(_654739, c_tptpcol_8_39940), -(tptpcol_8_39940(_654739))], (2148 ^ _593172) ^ [_654927] : [tptpcol_8_39940(_654927), -(isa(_654927, c_tptpcol_8_39940))], (2154 ^ _593172) ^ [_655115] : [isa(_655115, c_tptpcol_15_26925), -(tptpcol_15_26925(_655115))], (2160 ^ _593172) ^ [_655303] : [tptpcol_15_26925(_655303), -(isa(_655303, c_tptpcol_15_26925))], (2166 ^ _593172) ^ [_655491] : [isa(_655491, c_tptpcol_16_26926), -(tptpcol_16_26926(_655491))], (2172 ^ _593172) ^ [_655679] : [tptpcol_16_26926(_655679), -(isa(_655679, c_tptpcol_16_26926))], (2178 ^ _593172) ^ [_655867] : [isa(_655867, c_tptpcol_13_118117), -(tptpcol_13_118117(_655867))], (2184 ^ _593172) ^ [_656055] : [tptpcol_13_118117(_656055), -(isa(_656055, c_tptpcol_13_118117))], (2190 ^ _593172) ^ [_656243] : [isa(_656243, c_tptpcol_5_90114), -(tptpcol_5_90114(_656243))], (2196 ^ _593172) ^ [_656431] : [tptpcol_5_90114(_656431), -(isa(_656431, c_tptpcol_5_90114))], (2202 ^ _593172) ^ [_656633, _656635] : [tptptypes_5_802(_656635, _656633), -(firstordercollection(_656633))], (2208 ^ _593172) ^ [_656841, _656843] : [tptptypes_5_802(_656843, _656841), -(firstordercollection(_656843))], (2214 ^ _593172) ^ [_657035] : [isa(_657035, c_tptpcol_16_72795), -(tptpcol_16_72795(_657035))], (2220 ^ _593172) ^ [_657223] : [tptpcol_16_72795(_657223), -(isa(_657223, c_tptpcol_16_72795))], (2226 ^ _593172) ^ [_657411] : [isa(_657411, c_tptpcol_8_114177), -(tptpcol_8_114177(_657411))], (2232 ^ _593172) ^ [_657599] : [tptpcol_8_114177(_657599), -(isa(_657599, c_tptpcol_8_114177))], (2238 ^ _593172) ^ [_657787] : [isa(_657787, c_tptpcol_15_50957), -(tptpcol_15_50957(_657787))], (2244 ^ _593172) ^ [_657975] : [tptpcol_15_50957(_657975), -(isa(_657975, c_tptpcol_15_50957))], (2250 ^ _593172) ^ [_658163] : [isa(_658163, c_tptpcol_16_50958), -(tptpcol_16_50958(_658163))], (2256 ^ _593172) ^ [_658351] : [tptpcol_16_50958(_658351), -(isa(_658351, c_tptpcol_16_50958))], (2262 ^ _593172) ^ [_658539] : [isa(_658539, c_tptpcol_6_71683), -(tptpcol_6_71683(_658539))], (2268 ^ _593172) ^ [_658727] : [tptpcol_6_71683(_658727), -(isa(_658727, c_tptpcol_6_71683))], (2274 ^ _593172) ^ [_658915] : [isa(_658915, c_tptpcol_11_72774), -(tptpcol_11_72774(_658915))], (2280 ^ _593172) ^ [_659103] : [tptpcol_11_72774(_659103), -(isa(_659103, c_tptpcol_11_72774))], (2286 ^ _593172) ^ [_659291] : [isa(_659291, c_tptpcol_12_72775), -(tptpcol_12_72775(_659291))], (2292 ^ _593172) ^ [_659479] : [tptpcol_12_72775(_659479), -(isa(_659479, c_tptpcol_12_72775))], (2298 ^ _593172) ^ [_659667] : [isa(_659667, c_tptpcol_5_110593), -(tptpcol_5_110593(_659667))], (2304 ^ _593172) ^ [_659855] : [tptpcol_5_110593(_659855), -(isa(_659855, c_tptpcol_5_110593))], (2310 ^ _593172) ^ [_660043] : [isa(_660043, c_tptpcol_16_25972), -(tptpcol_16_25972(_660043))], (2316 ^ _593172) ^ [_660231] : [tptpcol_16_25972(_660231), -(isa(_660231, c_tptpcol_16_25972))], (2322 ^ _593172) ^ [_660433, _660435] : [tptp_8_271(_660435, _660433), -(razor(_660433))], (2328 ^ _593172) ^ [_660641, _660643] : [tptp_8_271(_660643, _660641), -(tptpcol_5_24579(_660643))], (2334 ^ _593172) ^ [_660835] : [isa(_660835, c_tptpcol_4_90113), -(tptpcol_4_90113(_660835))], (2340 ^ _593172) ^ [_661023] : [tptpcol_4_90113(_661023), -(isa(_661023, c_tptpcol_4_90113))], (2346 ^ _593172) ^ [_661211] : [isa(_661211, c_tptpcol_10_93700), -(tptpcol_10_93700(_661211))], (2352 ^ _593172) ^ [_661399] : [tptpcol_10_93700(_661399), -(isa(_661399, c_tptpcol_10_93700))], (2358 ^ _593172) ^ [_661587] : [isa(_661587, c_tptpcol_9_93699), -(tptpcol_9_93699(_661587))], (2364 ^ _593172) ^ [_661775] : [tptpcol_9_93699(_661775), -(isa(_661775, c_tptpcol_9_93699))], (2370 ^ _593172) ^ [_661963] : [isa(_661963, c_aspatialthing), -(aspatialthing(_661963))], (2376 ^ _593172) ^ [_662151] : [aspatialthing(_662151), -(isa(_662151, c_aspatialthing))], (2382 ^ _593172) ^ [_662339] : [isa(_662339, c_tptpcol_7_117762), -(tptpcol_7_117762(_662339))], (2388 ^ _593172) ^ [_662527] : [tptpcol_7_117762(_662527), -(isa(_662527, c_tptpcol_7_117762))], (2394 ^ _593172) ^ [_662715] : [isa(_662715, c_tptpcol_8_117763), -(tptpcol_8_117763(_662715))], (2400 ^ _593172) ^ [_662903] : [tptpcol_8_117763(_662903), -(isa(_662903, c_tptpcol_8_117763))], (2406 ^ _593172) ^ [_663091] : [isa(_663091, c_tptpcol_7_18437), -(tptpcol_7_18437(_663091))], (2412 ^ _593172) ^ [_663279] : [tptpcol_7_18437(_663279), -(isa(_663279, c_tptpcol_7_18437))], (2418 ^ _593172) ^ [_663467] : [isa(_663467, c_tptpcol_6_18436), -(tptpcol_6_18436(_663467))], (2424 ^ _593172) ^ [_663655] : [tptpcol_6_18436(_663655), -(isa(_663655, c_tptpcol_6_18436))], (2430 ^ _593172) ^ [_663843] : [isa(_663843, c_tptpcol_8_93698), -(tptpcol_8_93698(_663843))], (2436 ^ _593172) ^ [_664031] : [tptpcol_8_93698(_664031), -(isa(_664031, c_tptpcol_8_93698))], (2442 ^ _593172) ^ [_664219] : [isa(_664219, c_tptpcol_11_109125), -(tptpcol_11_109125(_664219))], (2448 ^ _593172) ^ [_664407] : [tptpcol_11_109125(_664407), -(isa(_664407, c_tptpcol_11_109125))], (2454 ^ _593172) ^ [_664595] : [isa(_664595, c_tptpcol_6_108546), -(tptpcol_6_108546(_664595))], (2460 ^ _593172) ^ [_664783] : [tptpcol_6_108546(_664783), -(isa(_664783, c_tptpcol_6_108546))], (2466 ^ _593172) ^ [_664971] : [isa(_664971, c_tptpcol_6_20484), -(tptpcol_6_20484(_664971))], (2472 ^ _593172) ^ [_665159] : [tptpcol_6_20484(_665159), -(isa(_665159, c_tptpcol_6_20484))], (2478 ^ _593172) ^ [_665361, _665363] : [few(_665363, _665361), -(setorcollection(_665361))], (2484 ^ _593172) ^ [_665569, _665571] : [few(_665571, _665569), -(setorcollection(_665569))], (2490 ^ _593172) ^ [_665777, _665779] : [few(_665779, _665777), -(setorcollection(_665779))], (2496 ^ _593172) ^ [_665985, _665987] : [few(_665987, _665985), -(setorcollection(_665987))], (2502 ^ _593172) ^ [_666207, _666209, _666211] : [-(few(_666211, _666207)), few(_666211, _666209), subsetof(_666207, _666209)], (2512 ^ _593172) ^ [_666502] : [isa(_666502, c_tptpcol_15_130931), -(tptpcol_15_130931(_666502))], (2518 ^ _593172) ^ [_666690] : [tptpcol_15_130931(_666690), -(isa(_666690, c_tptpcol_15_130931))], (2524 ^ _593172) ^ [_666878] : [isa(_666878, c_tptpcol_16_130933), -(tptpcol_16_130933(_666878))], (2530 ^ _593172) ^ [_667066] : [tptpcol_16_130933(_667066), -(isa(_667066, c_tptpcol_16_130933))], (2536 ^ _593172) ^ [_667254] : [isa(_667254, c_tptpcol_7_92163), -(tptpcol_7_92163(_667254))], (2542 ^ _593172) ^ [_667442] : [tptpcol_7_92163(_667442), -(isa(_667442, c_tptpcol_7_92163))], (2548 ^ _593172) ^ [_667630] : [isa(_667630, c_tptpcol_15_130923), -(tptpcol_15_130923(_667630))], (2554 ^ _593172) ^ [_667818] : [tptpcol_15_130923(_667818), -(isa(_667818, c_tptpcol_15_130923))], (2560 ^ _593172) ^ [_668006] : [isa(_668006, c_tptpcol_16_130924), -(tptpcol_16_130924(_668006))], (2566 ^ _593172) ^ [_668194] : [tptpcol_16_130924(_668194), -(isa(_668194, c_tptpcol_16_130924))], (2572 ^ _593172) ^ [_668382] : [isa(_668382, c_intangibleindividual), -(intangibleindividual(_668382))], (2578 ^ _593172) ^ [_668570] : [intangibleindividual(_668570), -(isa(_668570, c_intangibleindividual))], (2584 ^ _593172) ^ [_668757, _668759] : [-(natfunction(f_citynamedfn(_668759, _668757), c_citynamedfn))], (2586 ^ _593172) ^ [_668854, _668856] : [-(natargument(f_citynamedfn(_668856, _668854), n_1, _668856))], (2588 ^ _593172) ^ [_668952, _668954] : [-(natargument(f_citynamedfn(_668954, _668952), n_2, _668952))], (2590 ^ _593172) ^ [_669050, _669052] : [-(city(f_citynamedfn(_669052, _669050)))], (2592 ^ _593172) ^ [_669147] : [isa(_669147, c_tptpcol_13_26920), -(tptpcol_13_26920(_669147))], (2598 ^ _593172) ^ [_669335] : [tptpcol_13_26920(_669335), -(isa(_669335, c_tptpcol_13_26920))], (2604 ^ _593172) ^ [_669523] : [isa(_669523, c_tptpcol_14_26921), -(tptpcol_14_26921(_669523))], (2610 ^ _593172) ^ [_669711] : [tptpcol_14_26921(_669711), -(isa(_669711, c_tptpcol_14_26921))], (2616 ^ _593172) ^ [_669899] : [isa(_669899, c_tptpcol_3_65538), -(tptpcol_3_65538(_669899))], (2622 ^ _593172) ^ [_670087] : [tptpcol_3_65538(_670087), -(isa(_670087, c_tptpcol_3_65538))], (2628 ^ _593172) ^ [_670275] : [isa(_670275, c_tptpcol_16_27189), -(tptpcol_16_27189(_670275))], (2634 ^ _593172) ^ [_670463] : [tptpcol_16_27189(_670463), -(isa(_670463, c_tptpcol_16_27189))], (2640 ^ _593172) ^ [_670665, _670667] : [tptp_9_51(_670667, _670665), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_670665))], (2646 ^ _593172) ^ [_670873, _670875] : [tptp_9_51(_670875, _670873), -(tptpcol_7_26628(_670875))], (2652 ^ _593172) ^ [_671067] : [isa(_671067, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_671067))], (2658 ^ _593172) ^ [_671255] : [reflexivebinarypredicate(_671255), -(isa(_671255, c_reflexivebinarypredicate))], (2664 ^ _593172) ^ [_671443] : [isa(_671443, c_tptpcol_7_21508), -(tptpcol_7_21508(_671443))], (2670 ^ _593172) ^ [_671631] : [tptpcol_7_21508(_671631), -(isa(_671631, c_tptpcol_7_21508))], (2676 ^ _593172) ^ [_671819] : [isa(_671819, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671819))], (2682 ^ _593172) ^ [_672007] : [hpkb_subnationalagent(_672007), -(isa(_672007, c_hpkb_subnationalagent))], (2688 ^ _593172) ^ [_672195] : [isa(_672195, c_state_geopolitical), -(state_geopolitical(_672195))], (2694 ^ _593172) ^ [_672383] : [state_geopolitical(_672383), -(isa(_672383, c_state_geopolitical))], (2700 ^ _593172) ^ [_672598, _672600, _672602, _672604] : [-(natfunction(f_relationallexistsfn(_672604, _672602, _672600, _672598), c_relationallexistsfn))], (2702 ^ _593172) ^ [_672729, _672731, _672733, _672735] : [-(natargument(f_relationallexistsfn(_672735, _672733, _672731, _672729), n_1, _672735))], (2704 ^ _593172) ^ [_672861, _672863, _672865, _672867] : [-(natargument(f_relationallexistsfn(_672867, _672865, _672863, _672861), n_2, _672865))], (2706 ^ _593172) ^ [_672993, _672995, _672997, _672999] : [-(natargument(f_relationallexistsfn(_672999, _672997, _672995, _672993), n_3, _672995))], (2708 ^ _593172) ^ [_673125, _673127, _673129, _673131] : [-(natargument(f_relationallexistsfn(_673131, _673129, _673127, _673125), n_4, _673125))], (2710 ^ _593172) ^ [_673257, _673259, _673261, _673263] : [-(thing(f_relationallexistsfn(_673263, _673261, _673259, _673257)))], (2712 ^ _593172) ^ [_673374, _673376] : [arg2isa(_673376, _673374), -(collection(_673374))], (2718 ^ _593172) ^ [_673582, _673584] : [arg2isa(_673584, _673582), -(relation(_673584))], (2724 ^ _593172) ^ [_673804, _673806, _673808] : [-(arg2isa(_673808, _673804)), arg2isa(_673808, _673806), genls(_673806, _673804)], (2734 ^ _593172) ^ [_674127, _674129, _674131] : [-(arg2isa(_674131, _674127)), arg2isa(_674131, _674129), genls(_674129, _674127)], (2744 ^ _593172) ^ [_674422] : [isa(_674422, c_geolevel_1), -(geolevel_1(_674422))], (2750 ^ _593172) ^ [_674610] : [geolevel_1(_674610), -(isa(_674610, c_geolevel_1))], (2756 ^ _593172) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _593172) ^ [_674851] : [isa(_674851, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674851))], (2764 ^ _593172) ^ [_675039] : [spatialthing_nonsituational(_675039), -(isa(_675039, c_spatialthing_nonsituational))], (2770 ^ _593172) ^ [_675227] : [isa(_675227, c_militaryperson), -(militaryperson(_675227))], (2776 ^ _593172) ^ [_675415] : [militaryperson(_675415), -(isa(_675415, c_militaryperson))], (2782 ^ _593172) ^ [_675603] : [isa(_675603, c_tptpcol_15_72793), -(tptpcol_15_72793(_675603))], (2788 ^ _593172) ^ [_675791] : [tptpcol_15_72793(_675791), -(isa(_675791, c_tptpcol_15_72793))], (2794 ^ _593172) ^ [_675979] : [isa(_675979, c_tptpcol_9_26885), -(tptpcol_9_26885(_675979))], (2800 ^ _593172) ^ [_676167] : [tptpcol_9_26885(_676167), -(isa(_676167, c_tptpcol_9_26885))], (2806 ^ _593172) ^ [_676355] : [isa(_676355, c_tptpcol_10_26886), -(tptpcol_10_26886(_676355))], (2812 ^ _593172) ^ [_676543] : [tptpcol_10_26886(_676543), -(isa(_676543, c_tptpcol_10_26886))], (2818 ^ _593172) ^ [_676745, _676747] : [tptptypes_8_823(_676747, _676745), -(firstordercollection(_676745))], (2824 ^ _593172) ^ [_676953, _676955] : [tptptypes_8_823(_676955, _676953), -(firstordercollection(_676955))], (2830 ^ _593172) ^ [_677147] : [isa(_677147, c_tptpcol_16_92269), -(tptpcol_16_92269(_677147))], (2836 ^ _593172) ^ [_677335] : [tptpcol_16_92269(_677335), -(isa(_677335, c_tptpcol_16_92269))], (2842 ^ _593172) ^ [_677523] : [isa(_677523, c_tptpcol_15_109185), -(tptpcol_15_109185(_677523))], (2848 ^ _593172) ^ [_677711] : [tptpcol_15_109185(_677711), -(isa(_677711, c_tptpcol_15_109185))], (2854 ^ _593172) ^ [_677899] : [isa(_677899, c_tptpcol_6_26627), -(tptpcol_6_26627(_677899))], (2860 ^ _593172) ^ [_678087] : [tptpcol_6_26627(_678087), -(isa(_678087, c_tptpcol_6_26627))], (2866 ^ _593172) ^ [_678275] : [isa(_678275, c_tptpcol_12_118116), -(tptpcol_12_118116(_678275))], (2872 ^ _593172) ^ [_678463] : [tptpcol_12_118116(_678463), -(isa(_678463, c_tptpcol_12_118116))], (2878 ^ _593172) ^ [_678651] : [isa(_678651, c_tptpcol_8_18438), -(tptpcol_8_18438(_678651))], (2884 ^ _593172) ^ [_678839] : [tptpcol_8_18438(_678839), -(isa(_678839, c_tptpcol_8_18438))], (2890 ^ _593172) ^ [_679027] : [isa(_679027, c_tptpcol_15_30970), -(tptpcol_15_30970(_679027))], (2896 ^ _593172) ^ [_679215] : [tptpcol_15_30970(_679215), -(isa(_679215, c_tptpcol_15_30970))], (2902 ^ _593172) ^ [_679403] : [isa(_679403, c_tptpcol_16_30972), -(tptpcol_16_30972(_679403))], (2908 ^ _593172) ^ [_679591] : [tptpcol_16_30972(_679591), -(isa(_679591, c_tptpcol_16_30972))], (2914 ^ _593172) ^ [_679779] : [isa(_679779, c_tptpcol_14_109181), -(tptpcol_14_109181(_679779))], (2920 ^ _593172) ^ [_679967] : [tptpcol_14_109181(_679967), -(isa(_679967, c_tptpcol_14_109181))], (2926 ^ _593172) ^ [_680155] : [isa(_680155, c_physicalorderingpredicate), -(physicalorderingpredicate(_680155))], (2932 ^ _593172) ^ [_680343] : [physicalorderingpredicate(_680343), -(isa(_680343, c_physicalorderingpredicate))], (2938 ^ _593172) ^ [_680531] : [isa(_680531, c_tptpcol_16_7738), -(tptpcol_16_7738(_680531))], (2944 ^ _593172) ^ [_680719] : [tptpcol_16_7738(_680719), -(isa(_680719, c_tptpcol_16_7738))], (2950 ^ _593172) ^ [_680921, _680923] : [tptp_8_968(_680923, _680921), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680921))], (2956 ^ _593172) ^ [_681129, _681131] : [tptp_8_968(_681131, _681129), -(tptpcol_7_7172(_681131))], (2962 ^ _593172) ^ [_681351, _681353, _681355] : [relationexistsall(_681355, _681353, _681351), -(collection(_681351))], (2968 ^ _593172) ^ [_681581, _681583, _681585] : [relationexistsall(_681585, _681583, _681581), -(collection(_681583))], (2974 ^ _593172) ^ [_681811, _681813, _681815] : [relationexistsall(_681815, _681813, _681811), -(binarypredicate(_681815))], (2980 ^ _593172) ^ [_682013] : [isa(_682013, c_tptpcol_7_26628), -(tptpcol_7_26628(_682013))], (2986 ^ _593172) ^ [_682201] : [tptpcol_7_26628(_682201), -(isa(_682201, c_tptpcol_7_26628))], (2992 ^ _593172) ^ [_682389] : [isa(_682389, c_tptpcol_8_26629), -(tptpcol_8_26629(_682389))], (2998 ^ _593172) ^ [_682577] : [tptpcol_8_26629(_682577), -(isa(_682577, c_tptpcol_8_26629))], (3004 ^ _593172) ^ [_682765] : [isa(_682765, c_tptpcol_3_114688), -(tptpcol_3_114688(_682765))], (3010 ^ _593172) ^ [_682953] : [tptpcol_3_114688(_682953), -(isa(_682953, c_tptpcol_3_114688))], (3016 ^ _593172) ^ [_683126] : [-(natfunction(f_contextofpcwfn(_683126), c_contextofpcwfn))], (3018 ^ _593172) ^ [_683206] : [-(natargument(f_contextofpcwfn(_683206), n_1, _683206))], (3020 ^ _593172) ^ [_683287] : [-(microtheory(f_contextofpcwfn(_683287)))], (3022 ^ _593172) ^ [_683395, _683397] : [arg1isa(_683397, _683395), -(collection(_683395))], (3028 ^ _593172) ^ [_683603, _683605] : [arg1isa(_683605, _683603), -(relation(_683605))], (3034 ^ _593172) ^ [_683825, _683827, _683829] : [-(arg1isa(_683829, _683825)), arg1isa(_683829, _683827), genls(_683827, _683825)], (3044 ^ _593172) ^ [_684148, _684150, _684152] : [-(arg1isa(_684152, _684148)), arg1isa(_684152, _684150), genls(_684150, _684148)], (3054 ^ _593172) ^ [_684457, _684459] : [objectfoundinlocation(_684459, _684457), -(spatialthing_nonsituational(_684457))], (3060 ^ _593172) ^ [_684665, _684667] : [objectfoundinlocation(_684667, _684665), -(spatialthing_localized(_684665))], (3066 ^ _593172) ^ [_684873, _684875] : [objectfoundinlocation(_684875, _684873), -(spatialthing_nonsituational(_684875))], (3072 ^ _593172) ^ [_685081, _685083] : [objectfoundinlocation(_685083, _685081), -(spatialthing_localized(_685083))], (3078 ^ _593172) ^ [_685303, _685305, _685307] : [-(objectfoundinlocation(_685307, _685303)), objectfoundinlocation(_685307, _685305), objectfoundinlocation(_685305, _685303)], (3088 ^ _593172) ^ [_685582] : [objectfoundinlocation(_685582, _685582)], (3090 ^ _593172) ^ [_685703, _685705, _685707] : [-(objectfoundinlocation(_685707, _685703)), objectfoundinlocation(_685707, _685705), geopoliticalsubdivision(_685703, _685705)], (3100 ^ _593172) ^ [_686026, _686028, _686030] : [-(objectfoundinlocation(_686030, _686026)), objectfoundinlocation(_686030, _686028), geographicallysubsumes(_686026, _686028)], (3110 ^ _593172) ^ [_686349, _686351, _686353] : [-(objectfoundinlocation(_686353, _686349)), objectfoundinlocation(_686353, _686351), subregions(_686349, _686351)], (3120 ^ _593172) ^ [_686644] : [isa(_686644, c_ship), -(ship(_686644))], (3126 ^ _593172) ^ [_686832] : [ship(_686832), -(isa(_686832, c_ship))], (3132 ^ _593172) ^ [_687033, _687035, _687037] : [-(natfunction(f_subcollectionofwithrelationtofn(_687037, _687035, _687033), c_subcollectionofwithrelationtofn))], (3134 ^ _593172) ^ [_687147, _687149, _687151] : [-(natargument(f_subcollectionofwithrelationtofn(_687151, _687149, _687147), n_1, _687151))], (3136 ^ _593172) ^ [_687262, _687264, _687266] : [-(natargument(f_subcollectionofwithrelationtofn(_687266, _687264, _687262), n_2, _687264))], (3138 ^ _593172) ^ [_687377, _687379, _687381] : [-(natargument(f_subcollectionofwithrelationtofn(_687381, _687379, _687377), n_3, _687377))], (3140 ^ _593172) ^ [_687492, _687494, _687496] : [-(collection(f_subcollectionofwithrelationtofn(_687496, _687494, _687492)))], (3142 ^ _593172) ^ [_687592] : [isa(_687592, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687592))], (3148 ^ _593172) ^ [_687780] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687780), -(isa(_687780, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _593172) ^ [_687968] : [isa(_687968, c_tptpcol_4_65539), -(tptpcol_4_65539(_687968))], (3160 ^ _593172) ^ [_688156] : [tptpcol_4_65539(_688156), -(isa(_688156, c_tptpcol_4_65539))], (3166 ^ _593172) ^ [_688344] : [isa(_688344, c_tptpcol_5_69635), -(tptpcol_5_69635(_688344))], (3172 ^ _593172) ^ [_688532] : [tptpcol_5_69635(_688532), -(isa(_688532, c_tptpcol_5_69635))], (3178 ^ _593172) ^ [_688720] : [isa(_688720, c_tptpcol_3_16386), -(tptpcol_3_16386(_688720))], (3184 ^ _593172) ^ [_688908] : [tptpcol_3_16386(_688908), -(isa(_688908, c_tptpcol_3_16386))], (3190 ^ _593172) ^ [_689110, _689112] : [no(_689112, _689110), -(setorcollection(_689110))], (3196 ^ _593172) ^ [_689318, _689320] : [no(_689320, _689318), -(setorcollection(_689320))], (3202 ^ _593172) ^ [_689526, _689528] : [no(_689528, _689526), -(no(_689526, _689528))], (3208 ^ _593172) ^ [_689750, _689752, _689754] : [-(no(_689754, _689750)), no(_689754, _689752), subsetof(_689750, _689752)], (3218 ^ _593172) ^ [_690073, _690075, _690077] : [-(no(_690073, _690075)), no(_690077, _690075), subsetof(_690073, _690077)], (3228 ^ _593172) ^ [_690396, _690398, _690400] : [-(no(_690396, _690398)), no(_690400, _690398), genls(_690396, _690400)], (3238 ^ _593172) ^ [_690719, _690721, _690723] : [-(no(_690723, _690719)), no(_690723, _690721), genls(_690719, _690721)], (3248 ^ _593172) ^ [_691042, _691044, _691046] : [-(no(_691042, _691044)), no(_691046, _691044), subsetof(_691042, _691046)], (3258 ^ _593172) ^ [_691365, _691367, _691369] : [-(no(_691369, _691365)), no(_691369, _691367), subsetof(_691365, _691367)], (3268 ^ _593172) ^ [_691660] : [isa(_691660, c_geographicalregion), -(geographicalregion(_691660))], (3274 ^ _593172) ^ [_691848] : [geographicalregion(_691848), -(isa(_691848, c_geographicalregion))], (3280 ^ _593172) ^ [_692021] : [-(natfunction(f_tptpquantityfn_21(_692021), c_tptpquantityfn_21))], (3282 ^ _593172) ^ [_692101] : [-(natargument(f_tptpquantityfn_21(_692101), n_1, _692101))], (3284 ^ _593172) ^ [_692182] : [-(tptpquantity(f_tptpquantityfn_21(_692182)))], (3286 ^ _593172) ^ [_692290, _692292] : [airporthasiatacode(_692292, _692290), -(stringoflengthfn3(_692290))], (3292 ^ _593172) ^ [_692498, _692500] : [airporthasiatacode(_692500, _692498), -(airport_physical(_692500))], (3298 ^ _593172) ^ [_692692] : [isa(_692692, c_airport_physical), -(airport_physical(_692692))], (3304 ^ _593172) ^ [_692880] : [airport_physical(_692880), -(isa(_692880, c_airport_physical))], (3310 ^ _593172) ^ [_693081, _693083, _693085] : [-(natfunction(f_instancewithrelationtofn(_693085, _693083, _693081), c_instancewithrelationtofn))], (3312 ^ _593172) ^ [_693195, _693197, _693199] : [-(natargument(f_instancewithrelationtofn(_693199, _693197, _693195), n_1, _693199))], (3314 ^ _593172) ^ [_693310, _693312, _693314] : [-(natargument(f_instancewithrelationtofn(_693314, _693312, _693310), n_2, _693312))], (3316 ^ _593172) ^ [_693425, _693427, _693429] : [-(natargument(f_instancewithrelationtofn(_693429, _693427, _693425), n_3, _693425))], (3318 ^ _593172) ^ [_693540, _693542, _693544] : [-(thing(f_instancewithrelationtofn(_693544, _693542, _693540)))], (3320 ^ _593172) ^ [_693640] : [isa(_693640, c_tptpcol_6_112641), -(tptpcol_6_112641(_693640))], (3326 ^ _593172) ^ [_693828] : [tptpcol_6_112641(_693828), -(isa(_693828, c_tptpcol_6_112641))], (3332 ^ _593172) ^ [_694016] : [isa(_694016, c_tptpcol_7_113665), -(tptpcol_7_113665(_694016))], (3338 ^ _593172) ^ [_694204] : [tptpcol_7_113665(_694204), -(isa(_694204, c_tptpcol_7_113665))], (3344 ^ _593172) ^ [_694392] : [isa(_694392, c_artifact), -(artifact(_694392))], (3350 ^ _593172) ^ [_694580] : [artifact(_694580), -(isa(_694580, c_artifact))], (3356 ^ _593172) ^ [_694768] : [isa(_694768, c_tptpcol_13_18664), -(tptpcol_13_18664(_694768))], (3362 ^ _593172) ^ [_694956] : [tptpcol_13_18664(_694956), -(isa(_694956, c_tptpcol_13_18664))], (3368 ^ _593172) ^ [_695144] : [isa(_695144, c_firstordercollection), -(firstordercollection(_695144))], (3374 ^ _593172) ^ [_695332] : [firstordercollection(_695332), -(isa(_695332, c_firstordercollection))], (3380 ^ _593172) ^ [_695505] : [-(natfunction(f_tptpquantityfn_14(_695505), c_tptpquantityfn_14))], (3382 ^ _593172) ^ [_695585] : [-(natargument(f_tptpquantityfn_14(_695585), n_1, _695585))], (3384 ^ _593172) ^ [_695666] : [-(tptpquantity(f_tptpquantityfn_14(_695666)))], (3386 ^ _593172) ^ [_695760] : [isa(_695760, c_supplies), -(supplies(_695760))], (3392 ^ _593172) ^ [_695948] : [supplies(_695948), -(isa(_695948, c_supplies))], (3398 ^ _593172) ^ [_696136] : [isa(_696136, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_696136))], (3404 ^ _593172) ^ [_696324] : [inanimateobject_nonnatural(_696324), -(isa(_696324, c_inanimateobject_nonnatural))], (3410 ^ _593172) ^ [_696512] : [isa(_696512, c_tptpcol_13_22071), -(tptpcol_13_22071(_696512))], (3416 ^ _593172) ^ [_696700] : [tptpcol_13_22071(_696700), -(isa(_696700, c_tptpcol_13_22071))], (3422 ^ _593172) ^ [_696888] : [isa(_696888, c_tptpcol_14_22072), -(tptpcol_14_22072(_696888))], (3428 ^ _593172) ^ [_697076] : [tptpcol_14_22072(_697076), -(isa(_697076, c_tptpcol_14_22072))], (3434 ^ _593172) ^ [_697264] : [isa(_697264, c_tptpcol_7_108547), -(tptpcol_7_108547(_697264))], (3440 ^ _593172) ^ [_697452] : [tptpcol_7_108547(_697452), -(isa(_697452, c_tptpcol_7_108547))], (3446 ^ _593172) ^ [_697640] : [isa(_697640, c_tptpcol_8_109059), -(tptpcol_8_109059(_697640))], (3452 ^ _593172) ^ [_697828] : [tptpcol_8_109059(_697828), -(isa(_697828, c_tptpcol_8_109059))], (3458 ^ _593172) ^ [_698016] : [isa(_698016, c_tptpcol_14_93774), -(tptpcol_14_93774(_698016))], (3464 ^ _593172) ^ [_698204] : [tptpcol_14_93774(_698204), -(isa(_698204, c_tptpcol_14_93774))], (3470 ^ _593172) ^ [_698392] : [isa(_698392, c_tptpcol_15_93775), -(tptpcol_15_93775(_698392))], (3476 ^ _593172) ^ [_698580] : [tptpcol_15_93775(_698580), -(isa(_698580, c_tptpcol_15_93775))], (3482 ^ _593172) ^ [_698768] : [isa(_698768, c_tptpcol_16_8886), -(tptpcol_16_8886(_698768))], (3488 ^ _593172) ^ [_698956] : [tptpcol_16_8886(_698956), -(isa(_698956, c_tptpcol_16_8886))], (3494 ^ _593172) ^ [_699158, _699160] : [orientation(_699160, _699158), -(orientationvector(_699158))], (3500 ^ _593172) ^ [_699366, _699368] : [orientation(_699368, _699366), -(spatialthing_localized(_699368))], (3506 ^ _593172) ^ [_699560] : [isa(_699560, c_orientationvector), -(orientationvector(_699560))], (3512 ^ _593172) ^ [_699748] : [orientationvector(_699748), -(isa(_699748, c_orientationvector))], (3518 ^ _593172) ^ [_699936] : [isa(_699936, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699936))], (3524 ^ _593172) ^ [_700124] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_700124), -(isa(_700124, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _593172) ^ [_700326, _700328] : [tptptypes_9_824(_700328, _700326), -(firstordercollection(_700326))], (3536 ^ _593172) ^ [_700534, _700536] : [tptptypes_9_824(_700536, _700534), -(firstordercollection(_700536))], (3542 ^ _593172) ^ [_700742, _700744] : [tptptypes_7_396(_700744, _700742), -(firstordercollection(_700742))], (3548 ^ _593172) ^ [_700950, _700952] : [tptptypes_7_396(_700952, _700950), -(firstordercollection(_700952))], (3554 ^ _593172) ^ [_701144] : [isa(_701144, c_tptpcol_12_22055), -(tptpcol_12_22055(_701144))], (3560 ^ _593172) ^ [_701332] : [tptpcol_12_22055(_701332), -(isa(_701332, c_tptpcol_12_22055))], (3566 ^ _593172) ^ [_701520] : [isa(_701520, c_tptpcol_16_29490), -(tptpcol_16_29490(_701520))], (3572 ^ _593172) ^ [_701708] : [tptpcol_16_29490(_701708), -(isa(_701708, c_tptpcol_16_29490))], (3578 ^ _593172) ^ [_701910, _701912] : [tptp_9_720(_701912, _701910), -(tptpcol_5_28674(_701910))], (3584 ^ _593172) ^ [_702118, _702120] : [tptp_9_720(_702120, _702118), -(executionbyfiringsquad(_702120))], (3590 ^ _593172) ^ [_702312] : [isa(_702312, c_runningshorts), -(runningshorts(_702312))], (3596 ^ _593172) ^ [_702500] : [runningshorts(_702500), -(isa(_702500, c_runningshorts))], (3602 ^ _593172) ^ [_702688] : [isa(_702688, c_tptpcol_9_118019), -(tptpcol_9_118019(_702688))], (3608 ^ _593172) ^ [_702876] : [tptpcol_9_118019(_702876), -(isa(_702876, c_tptpcol_9_118019))], (3614 ^ _593172) ^ [_703064] : [isa(_703064, c_tptpcol_16_31868), -(tptpcol_16_31868(_703064))], (3620 ^ _593172) ^ [_703252] : [tptpcol_16_31868(_703252), -(isa(_703252, c_tptpcol_16_31868))], (3626 ^ _593172) ^ [_703440] : [isa(_703440, c_movement_translationevent), -(movement_translationevent(_703440))], (3632 ^ _593172) ^ [_703628] : [movement_translationevent(_703628), -(isa(_703628, c_movement_translationevent))], (3638 ^ _593172) ^ [_703830, _703832] : [directionoftranslation_throughout(_703832, _703830), -(unitvectorinterval(_703830))], (3644 ^ _593172) ^ [_704038, _704040] : [directionoftranslation_throughout(_704040, _704038), -(movement_translationevent(_704040))], (3650 ^ _593172) ^ [_704260, _704262, _704264] : [-(directionoftranslation_throughout(_704260, _704262)), directionoftranslation_throughout(_704264, _704262), subevents(_704264, _704260)], (3660 ^ _593172) ^ [_704555] : [isa(_704555, c_unitvectorinterval), -(unitvectorinterval(_704555))], (3666 ^ _593172) ^ [_704743] : [unitvectorinterval(_704743), -(isa(_704743, c_unitvectorinterval))], (3672 ^ _593172) ^ [_704931] : [isa(_704931, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704931))], (3678 ^ _593172) ^ [_705119] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705119), -(isa(_705119, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _593172) ^ [_705321, _705323] : [tptp_8_875(_705323, _705321), -(tptpcol_4_24578(_705321))], (3690 ^ _593172) ^ [_705529, _705531] : [tptp_8_875(_705531, _705529), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705531))], (3696 ^ _593172) ^ [_705751, _705753, _705755] : [relationallexists(_705755, _705753, _705751), -(collection(_705751))], (3702 ^ _593172) ^ [_705981, _705983, _705985] : [relationallexists(_705985, _705983, _705981), -(collection(_705983))], (3708 ^ _593172) ^ [_706211, _706213, _706215] : [relationallexists(_706215, _706213, _706211), -(binarypredicate(_706215))], (3714 ^ _593172) ^ [_706413] : [isa(_706413, c_tptpcol_16_10258), -(tptpcol_16_10258(_706413))], (3720 ^ _593172) ^ [_706601] : [tptpcol_16_10258(_706601), -(isa(_706601, c_tptpcol_16_10258))], (3726 ^ _593172) ^ [_706789] : [isa(_706789, c_pushingababycarriage), -(pushingababycarriage(_706789))], (3732 ^ _593172) ^ [_706977] : [pushingababycarriage(_706977), -(isa(_706977, c_pushingababycarriage))], (3738 ^ _593172) ^ [_707165] : [isa(_707165, c_aspatialinformationstore), -(aspatialinformationstore(_707165))], (3744 ^ _593172) ^ [_707353] : [aspatialinformationstore(_707353), -(isa(_707353, c_aspatialinformationstore))], (3750 ^ _593172) ^ [_707541] : [isa(_707541, c_collection), -(collection(_707541))], (3756 ^ _593172) ^ [_707729] : [collection(_707729), -(isa(_707729, c_collection))], (3762 ^ _593172) ^ [_707917] : [isa(_707917, c_fixedordercollection), -(fixedordercollection(_707917))], (3768 ^ _593172) ^ [_708105] : [fixedordercollection(_708105), -(isa(_708105, c_fixedordercollection))], (3774 ^ _593172) ^ [_708293] : [isa(_708293, c_tptpcol_8_92164), -(tptpcol_8_92164(_708293))], (3780 ^ _593172) ^ [_708481] : [tptpcol_8_92164(_708481), -(isa(_708481, c_tptpcol_8_92164))], (3786 ^ _593172) ^ [_708669] : [isa(_708669, c_tptpcol_9_92165), -(tptpcol_9_92165(_708669))], (3792 ^ _593172) ^ [_708857] : [tptpcol_9_92165(_708857), -(isa(_708857, c_tptpcol_9_92165))], (3798 ^ _593172) ^ [_709045] : [isa(_709045, c_tptpcol_1_1), -(tptpcol_1_1(_709045))], (3804 ^ _593172) ^ [_709233] : [tptpcol_1_1(_709233), -(isa(_709233, c_tptpcol_1_1))], (3810 ^ _593172) ^ [_709421] : [isa(_709421, c_tptpcol_2_2), -(tptpcol_2_2(_709421))], (3816 ^ _593172) ^ [_709609] : [tptpcol_2_2(_709609), -(isa(_709609, c_tptpcol_2_2))], (3822 ^ _593172) ^ [_709811, _709813] : [tptptypes_7_691(_709813, _709811), -(firstordercollection(_709811))], (3828 ^ _593172) ^ [_710019, _710021] : [tptptypes_7_691(_710021, _710019), -(firstordercollection(_710021))], (3834 ^ _593172) ^ [_710213] : [isa(_710213, c_tptpcol_11_26887), -(tptpcol_11_26887(_710213))], (3840 ^ _593172) ^ [_710401] : [tptpcol_11_26887(_710401), -(isa(_710401, c_tptpcol_11_26887))], (3846 ^ _593172) ^ [_710589] : [isa(_710589, c_tptpcol_12_26919), -(tptpcol_12_26919(_710589))], (3852 ^ _593172) ^ [_710777] : [tptpcol_12_26919(_710777), -(isa(_710777, c_tptpcol_12_26919))], (3858 ^ _593172) ^ [_710979, _710981] : [tptptypes_6_818(_710981, _710979), -(firstordercollection(_710979))], (3864 ^ _593172) ^ [_711187, _711189] : [tptptypes_6_818(_711189, _711187), -(firstordercollection(_711189))], (3870 ^ _593172) ^ [_711395, _711397] : [tptptypes_7_819(_711397, _711395), -(firstordercollection(_711395))], (3876 ^ _593172) ^ [_711603, _711605] : [tptptypes_7_819(_711605, _711603), -(firstordercollection(_711605))], (3882 ^ _593172) ^ [_711797] : [isa(_711797, c_correctivelensprescription), -(correctivelensprescription(_711797))], (3888 ^ _593172) ^ [_711985] : [correctivelensprescription(_711985), -(isa(_711985, c_correctivelensprescription))], (3894 ^ _593172) ^ [_712187, _712189] : [products(_712189, _712187), -(artifact(_712187))], (3900 ^ _593172) ^ [_712395, _712397] : [products(_712397, _712395), -(creationordestructionevent(_712397))], (3906 ^ _593172) ^ [_712589] : [isa(_712589, c_issuingaprescription), -(issuingaprescription(_712589))], (3912 ^ _593172) ^ [_712777] : [issuingaprescription(_712777), -(isa(_712777, c_issuingaprescription))], (3918 ^ _593172) ^ [_712978, _712980, _712982] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712982, _712980, _712978), c_subcollectionofwithrelationtotypefn))], (3920 ^ _593172) ^ [_713092, _713094, _713096] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713096, _713094, _713092), n_1, _713096))], (3922 ^ _593172) ^ [_713207, _713209, _713211] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713211, _713209, _713207), n_2, _713209))], (3924 ^ _593172) ^ [_713322, _713324, _713326] : [-(natargument(f_subcollectionofwithrelationtotypefn(_713326, _713324, _713322), n_3, _713322))], (3926 ^ _593172) ^ [_713437, _713439, _713441] : [-(collection(f_subcollectionofwithrelationtotypefn(_713441, _713439, _713437)))], (3928 ^ _593172) ^ [_713537] : [isa(_713537, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713537))], (3934 ^ _593172) ^ [_713725] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713725), -(isa(_713725, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _593172) ^ [_713913] : [isa(_713913, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713913))], (3946 ^ _593172) ^ [_714101] : [mathematicalorcomputationalthing(_714101), -(isa(_714101, c_mathematicalorcomputationalthing))], (3952 ^ _593172) ^ [_714289] : [isa(_714289, c_tptpcol_10_118020), -(tptpcol_10_118020(_714289))], (3958 ^ _593172) ^ [_714477] : [tptpcol_10_118020(_714477), -(isa(_714477, c_tptpcol_10_118020))], (3964 ^ _593172) ^ [_714665] : [isa(_714665, c_tptpcol_11_118084), -(tptpcol_11_118084(_714665))], (3970 ^ _593172) ^ [_714853] : [tptpcol_11_118084(_714853), -(isa(_714853, c_tptpcol_11_118084))], (3976 ^ _593172) ^ [_715041] : [isa(_715041, c_terroristgroup), -(terroristgroup(_715041))], (3982 ^ _593172) ^ [_715229] : [terroristgroup(_715229), -(isa(_715229, c_terroristgroup))], (3988 ^ _593172) ^ [_715431, _715433] : [hasmembers(_715433, _715431), -(agent_generic(_715431))], (3994 ^ _593172) ^ [_715639, _715641] : [hasmembers(_715641, _715639), -(organization(_715641))], (4000 ^ _593172) ^ [_715833] : [isa(_715833, c_terrorist), -(terrorist(_715833))], (4006 ^ _593172) ^ [_716021] : [terrorist(_716021), -(isa(_716021, c_terrorist))], (4012 ^ _593172) ^ [_716222, _716224, _716226] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_716226, _716224, _716222), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _593172) ^ [_716336, _716338, _716340] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716340, _716338, _716336), n_1, _716340))], (4016 ^ _593172) ^ [_716451, _716453, _716455] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716455, _716453, _716451), n_2, _716453))], (4018 ^ _593172) ^ [_716566, _716568, _716570] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716570, _716568, _716566), n_3, _716566))], (4020 ^ _593172) ^ [_716681, _716683, _716685] : [-(collection(f_subcollectionofwithrelationfromtypefn(_716685, _716683, _716681)))], (4022 ^ _593172) ^ [_716781] : [isa(_716781, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716781))], (4028 ^ _593172) ^ [_716969] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716969), -(isa(_716969, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _593172) ^ [_717171, _717173] : [prettystring(_717173, _717171), -(controlcharacterfreestring(_717171))], (4040 ^ _593172) ^ [_717379, _717381] : [prettystring(_717381, _717379), -(thing(_717381))], (4046 ^ _593172) ^ [_717573] : [isa(_717573, c_tptpcol_0_0), -(tptpcol_0_0(_717573))], (4052 ^ _593172) ^ [_717761] : [tptpcol_0_0(_717761), -(isa(_717761, c_tptpcol_0_0))], (4058 ^ _593172) ^ [_717949] : [isa(_717949, c_geolevel_3), -(geolevel_3(_717949))], (4064 ^ _593172) ^ [_718137] : [geolevel_3(_718137), -(isa(_718137, c_geolevel_3))], (4070 ^ _593172) ^ [_718325] : [isa(_718325, c_tptpcol_4_24578), -(tptpcol_4_24578(_718325))], (4076 ^ _593172) ^ [_718513] : [tptpcol_4_24578(_718513), -(isa(_718513, c_tptpcol_4_24578))], (4082 ^ _593172) ^ [_718701] : [isa(_718701, c_tptpcol_5_24579), -(tptpcol_5_24579(_718701))], (4088 ^ _593172) ^ [_718889] : [tptpcol_5_24579(_718889), -(isa(_718889, c_tptpcol_5_24579))], (4094 ^ _593172) ^ [_719077] : [isa(_719077, c_tptpcol_5_106498), -(tptpcol_5_106498(_719077))], (4100 ^ _593172) ^ [_719265] : [tptpcol_5_106498(_719265), -(isa(_719265, c_tptpcol_5_106498))], (4106 ^ _593172) ^ [_719453] : [isa(_719453, c_tptpcol_12_109157), -(tptpcol_12_109157(_719453))], (4112 ^ _593172) ^ [_719641] : [tptpcol_12_109157(_719641), -(isa(_719641, c_tptpcol_12_109157))], (4118 ^ _593172) ^ [_719829] : [isa(_719829, c_tptpcol_13_109173), -(tptpcol_13_109173(_719829))], (4124 ^ _593172) ^ [_720017] : [tptpcol_13_109173(_720017), -(isa(_720017, c_tptpcol_13_109173))], (4130 ^ _593172) ^ [_720205] : [isa(_720205, c_mathematicalthing), -(mathematicalthing(_720205))], (4136 ^ _593172) ^ [_720393] : [mathematicalthing(_720393), -(isa(_720393, c_mathematicalthing))], (4142 ^ _593172) ^ [_720581] : [isa(_720581, c_setorcollection), -(setorcollection(_720581))], (4148 ^ _593172) ^ [_720769] : [setorcollection(_720769), -(isa(_720769, c_setorcollection))], (4154 ^ _593172) ^ [_720957] : [isa(_720957, c_tptpcol_11_18631), -(tptpcol_11_18631(_720957))], (4160 ^ _593172) ^ [_721145] : [tptpcol_11_18631(_721145), -(isa(_721145, c_tptpcol_11_18631))], (4166 ^ _593172) ^ [_721333] : [isa(_721333, c_tptpcol_12_18663), -(tptpcol_12_18663(_721333))], (4172 ^ _593172) ^ [_721521] : [tptpcol_12_18663(_721521), -(isa(_721521, c_tptpcol_12_18663))], (4178 ^ _593172) ^ [_721723, _721725] : [tptptypes_8_400(_721725, _721723), -(firstordercollection(_721723))], (4184 ^ _593172) ^ [_721931, _721933] : [tptptypes_8_400(_721933, _721931), -(firstordercollection(_721933))], (4190 ^ _593172) ^ [_722139, _722141] : [tptptypes_9_401(_722141, _722139), -(firstordercollection(_722139))], (4196 ^ _593172) ^ [_722347, _722349] : [tptptypes_9_401(_722349, _722347), -(firstordercollection(_722349))], (4202 ^ _593172) ^ [_722526] : [-(natfunction(f_tptpquantityfn_13(_722526), c_tptpquantityfn_13))], (4204 ^ _593172) ^ [_722606] : [-(natargument(f_tptpquantityfn_13(_722606), n_1, _722606))], (4206 ^ _593172) ^ [_722687] : [-(tptpquantity(f_tptpquantityfn_13(_722687)))], (4208 ^ _593172) ^ [_722795, _722797] : [borderson(_722797, _722795), -(geographicalregion(_722795))], (4214 ^ _593172) ^ [_723003, _723005] : [borderson(_723005, _723003), -(geographicalregion(_723005))], (4220 ^ _593172) ^ [_723211, _723213] : [borderson(_723213, _723211), -(borderson(_723211, _723213))], (4226 ^ _593172) ^ [_723391] : [borderson(_723391, _723391)], (4228 ^ _593172) ^ [_723484] : [isa(_723484, c_tptpcol_14_92264), -(tptpcol_14_92264(_723484))], (4234 ^ _593172) ^ [_723672] : [tptpcol_14_92264(_723672), -(isa(_723672, c_tptpcol_14_92264))], (4240 ^ _593172) ^ [_723860] : [isa(_723860, c_tptpcol_15_92268), -(tptpcol_15_92268(_723860))], (4246 ^ _593172) ^ [_724048] : [tptpcol_15_92268(_724048), -(isa(_724048, c_tptpcol_15_92268))], (4252 ^ _593172) ^ [_724236] : [isa(_724236, c_tptpcol_6_116738), -(tptpcol_6_116738(_724236))], (4258 ^ _593172) ^ [_724424] : [tptpcol_6_116738(_724424), -(isa(_724424, c_tptpcol_6_116738))], (4264 ^ _593172) ^ [_724626, _724628] : [tptptypes_5_387(_724628, _724626), -(firstordercollection(_724626))], (4270 ^ _593172) ^ [_724834, _724836] : [tptptypes_5_387(_724836, _724834), -(firstordercollection(_724836))], (4276 ^ _593172) ^ [_725042, _725044] : [tptptypes_6_388(_725044, _725042), -(firstordercollection(_725042))], (4282 ^ _593172) ^ [_725250, _725252] : [tptptypes_6_388(_725252, _725250), -(firstordercollection(_725252))], (4288 ^ _593172) ^ [_725444] : [isa(_725444, c_shavingrazor_manual), -(shavingrazor_manual(_725444))], (4294 ^ _593172) ^ [_725632] : [shavingrazor_manual(_725632), -(isa(_725632, c_shavingrazor_manual))], (4300 ^ _593172) ^ [_725820] : [isa(_725820, c_tptpcol_9_109060), -(tptpcol_9_109060(_725820))], (4306 ^ _593172) ^ [_726008] : [tptpcol_9_109060(_726008), -(isa(_726008, c_tptpcol_9_109060))], (4312 ^ _593172) ^ [_726196] : [isa(_726196, c_tptpcol_10_109061), -(tptpcol_10_109061(_726196))], (4318 ^ _593172) ^ [_726384] : [tptpcol_10_109061(_726384), -(isa(_726384, c_tptpcol_10_109061))], (4324 ^ _593172) ^ [_726572] : [isa(_726572, c_executionbyfiringsquad), -(executionbyfiringsquad(_726572))], (4330 ^ _593172) ^ [_726760] : [executionbyfiringsquad(_726760), -(isa(_726760, c_executionbyfiringsquad))], (4336 ^ _593172) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _593172) ^ [_727001] : [isa(_727001, c_navypersonnel), -(navypersonnel(_727001))], (4344 ^ _593172) ^ [_727189] : [navypersonnel(_727189), -(isa(_727189, c_navypersonnel))], (4350 ^ _593172) ^ [_727377] : [isa(_727377, c_tptpcol_12_92262), -(tptpcol_12_92262(_727377))], (4356 ^ _593172) ^ [_727565] : [tptpcol_12_92262(_727565), -(isa(_727565, c_tptpcol_12_92262))], (4362 ^ _593172) ^ [_727753] : [isa(_727753, c_thing), -(thing(_727753))], (4368 ^ _593172) ^ [_727941] : [thing(_727941), -(isa(_727941, c_thing))], (4374 ^ _593172) ^ [_728129] : [isa(_728129, c_computerdataartifact), -(computerdataartifact(_728129))], (4380 ^ _593172) ^ [_728317] : [computerdataartifact(_728317), -(isa(_728317, c_computerdataartifact))], (4386 ^ _593172) ^ [_728505] : [isa(_728505, c_applicationcontext), -(applicationcontext(_728505))], (4392 ^ _593172) ^ [_728693] : [applicationcontext(_728693), -(isa(_728693, c_applicationcontext))], (4398 ^ _593172) ^ [_728895, _728897] : [inregion(_728897, _728895), -(spatialthing_nonsituational(_728895))], (4404 ^ _593172) ^ [_729103, _729105] : [inregion(_729105, _729103), -(spatialthing_nonsituational(_729105))], (4410 ^ _593172) ^ [_729325, _729327, _729329] : [-(inregion(_729329, _729325)), inregion(_729329, _729327), inregion(_729327, _729325)], (4420 ^ _593172) ^ [_729620] : [spatialthing_nonsituational(_729620), -(inregion(_729620, _729620))], (4426 ^ _593172) ^ [_729793] : [-(natfunction(f_tptpquantityfn_1(_729793), c_tptpquantityfn_1))], (4428 ^ _593172) ^ [_729873] : [-(natargument(f_tptpquantityfn_1(_729873), n_1, _729873))], (4430 ^ _593172) ^ [_729954] : [-(tptpquantity(f_tptpquantityfn_1(_729954)))], (4432 ^ _593172) ^ [_730048] : [isa(_730048, c_furpelt), -(furpelt(_730048))], (4438 ^ _593172) ^ [_730236] : [furpelt(_730236), -(isa(_730236, c_furpelt))], (4444 ^ _593172) ^ [_730438, _730440] : [tptpofobject(_730440, _730438), -(tptpquantity(_730438))], (4450 ^ _593172) ^ [_730646, _730648] : [tptpofobject(_730648, _730646), -(partiallytangible(_730648))], (4456 ^ _593172) ^ [_730868, _730870, _730872] : [relationallinstance(_730872, _730870, _730868), -(thing(_730868))], (4462 ^ _593172) ^ [_731098, _731100, _731102] : [relationallinstance(_731102, _731100, _731098), -(collection(_731100))], (4468 ^ _593172) ^ [_731328, _731330, _731332] : [relationallinstance(_731332, _731330, _731328), -(binarypredicate(_731332))], (4474 ^ _593172) ^ [_731530] : [isa(_731530, c_tptpcol_13_93766), -(tptpcol_13_93766(_731530))], (4480 ^ _593172) ^ [_731718] : [tptpcol_13_93766(_731718), -(isa(_731718, c_tptpcol_13_93766))], (4486 ^ _593172) ^ [_731906] : [isa(_731906, c_tptpcol_9_40196), -(tptpcol_9_40196(_731906))], (4492 ^ _593172) ^ [_732094] : [tptpcol_9_40196(_732094), -(isa(_732094, c_tptpcol_9_40196))], (4498 ^ _593172) ^ [_732282] : [isa(_732282, c_tptpcol_10_40324), -(tptpcol_10_40324(_732282))], (4504 ^ _593172) ^ [_732470] : [tptpcol_10_40324(_732470), -(isa(_732470, c_tptpcol_10_40324))], (4510 ^ _593172) ^ [_732658] : [isa(_732658, c_tptpcol_7_72707), -(tptpcol_7_72707(_732658))], (4516 ^ _593172) ^ [_732846] : [tptpcol_7_72707(_732846), -(isa(_732846, c_tptpcol_7_72707))], (4522 ^ _593172) ^ [_733034] : [isa(_733034, c_tptpcol_8_72708), -(tptpcol_8_72708(_733034))], (4528 ^ _593172) ^ [_733222] : [tptpcol_8_72708(_733222), -(isa(_733222, c_tptpcol_8_72708))], (4534 ^ _593172) ^ [_733410] : [isa(_733410, c_tptpcol_11_93764), -(tptpcol_11_93764(_733410))], (4540 ^ _593172) ^ [_733598] : [tptpcol_11_93764(_733598), -(isa(_733598, c_tptpcol_11_93764))], (4546 ^ _593172) ^ [_733786] : [isa(_733786, c_tptpcol_12_93765), -(tptpcol_12_93765(_733786))], (4552 ^ _593172) ^ [_733974] : [tptpcol_12_93765(_733974), -(isa(_733974, c_tptpcol_12_93765))], (4558 ^ _593172) ^ [_734162] : [isa(_734162, c_tptpcol_4_114689), -(tptpcol_4_114689(_734162))], (4564 ^ _593172) ^ [_734350] : [tptpcol_4_114689(_734350), -(isa(_734350, c_tptpcol_4_114689))], (4570 ^ _593172) ^ [_734538] : [isa(_734538, c_tptpcol_5_114690), -(tptpcol_5_114690(_734538))], (4576 ^ _593172) ^ [_734726] : [tptpcol_5_114690(_734726), -(isa(_734726, c_tptpcol_5_114690))], (4582 ^ _593172) ^ [_734914] : [isa(_734914, c_tptpcol_3_98305), -(tptpcol_3_98305(_734914))], (4588 ^ _593172) ^ [_735102] : [tptpcol_3_98305(_735102), -(isa(_735102, c_tptpcol_3_98305))], (4594 ^ _593172) ^ [_735290] : [isa(_735290, c_tptpcol_4_106497), -(tptpcol_4_106497(_735290))], (4600 ^ _593172) ^ [_735478] : [tptpcol_4_106497(_735478), -(isa(_735478, c_tptpcol_4_106497))], (4606 ^ _593172) ^ [_735693, _735695, _735697, _735699] : [-(natfunction(f_relationexistsallfn(_735699, _735697, _735695, _735693), c_relationexistsallfn))], (4608 ^ _593172) ^ [_735824, _735826, _735828, _735830] : [-(natargument(f_relationexistsallfn(_735830, _735828, _735826, _735824), n_1, _735830))], (4610 ^ _593172) ^ [_735956, _735958, _735960, _735962] : [-(natargument(f_relationexistsallfn(_735962, _735960, _735958, _735956), n_2, _735960))], (4612 ^ _593172) ^ [_736088, _736090, _736092, _736094] : [-(natargument(f_relationexistsallfn(_736094, _736092, _736090, _736088), n_3, _736090))], (4614 ^ _593172) ^ [_736220, _736222, _736224, _736226] : [-(natargument(f_relationexistsallfn(_736226, _736224, _736222, _736220), n_4, _736220))], (4616 ^ _593172) ^ [_736352, _736354, _736356, _736358] : [-(thing(f_relationexistsallfn(_736358, _736356, _736354, _736352)))], (4618 ^ _593172) ^ [_736469, _736471] : [resultisaarg(_736471, _736469), -(positiveinteger(_736469))], (4624 ^ _593172) ^ [_736677, _736679] : [resultisaarg(_736679, _736677), -(function_denotational(_736679))], (4630 ^ _593172) ^ [_736885, _736887] : [tptptypes_7_389(_736887, _736885), -(firstordercollection(_736885))], (4636 ^ _593172) ^ [_737093, _737095] : [tptptypes_7_389(_737095, _737093), -(firstordercollection(_737095))], (4642 ^ _593172) ^ [_737301, _737303] : [tptptypes_8_390(_737303, _737301), -(firstordercollection(_737301))], (4648 ^ _593172) ^ [_737509, _737511] : [tptptypes_8_390(_737511, _737509), -(firstordercollection(_737511))], (4654 ^ _593172) ^ [_737717, _737719] : [tptptypes_8_692(_737719, _737717), -(firstordercollection(_737717))], (4660 ^ _593172) ^ [_737925, _737927] : [tptptypes_8_692(_737927, _737925), -(firstordercollection(_737927))], (4666 ^ _593172) ^ [_738133, _738135] : [tptptypes_9_693(_738135, _738133), -(firstordercollection(_738133))], (4672 ^ _593172) ^ [_738341, _738343] : [tptptypes_9_693(_738343, _738341), -(firstordercollection(_738343))], (4678 ^ _593172) ^ [_738535] : [isa(_738535, c_tptpcol_11_40388), -(tptpcol_11_40388(_738535))], (4684 ^ _593172) ^ [_738723] : [tptpcol_11_40388(_738723), -(isa(_738723, c_tptpcol_11_40388))], (4690 ^ _593172) ^ [_738911] : [isa(_738911, c_marriagelicensedocument), -(marriagelicensedocument(_738911))], (4696 ^ _593172) ^ [_739099] : [marriagelicensedocument(_739099), -(isa(_739099, c_marriagelicensedocument))], (4702 ^ _593172) ^ [_739287] : [isa(_739287, c_tptpcol_1_65536), -(tptpcol_1_65536(_739287))], (4708 ^ _593172) ^ [_739475] : [tptpcol_1_65536(_739475), -(isa(_739475, c_tptpcol_1_65536))], (4714 ^ _593172) ^ [_739663] : [isa(_739663, c_tptpcol_2_98304), -(tptpcol_2_98304(_739663))], (4720 ^ _593172) ^ [_739851] : [tptpcol_2_98304(_739851), -(isa(_739851, c_tptpcol_2_98304))], (4726 ^ _593172) ^ [_740039] : [isa(_740039, c_tptpcol_10_92166), -(tptpcol_10_92166(_740039))], (4732 ^ _593172) ^ [_740227] : [tptpcol_10_92166(_740227), -(isa(_740227, c_tptpcol_10_92166))], (4738 ^ _593172) ^ [_740415] : [isa(_740415, c_tptpcol_11_92230), -(tptpcol_11_92230(_740415))], (4744 ^ _593172) ^ [_740603] : [tptpcol_11_92230(_740603), -(isa(_740603, c_tptpcol_11_92230))], (4750 ^ _593172) ^ [_740791] : [isa(_740791, c_orderingpredicate), -(orderingpredicate(_740791))], (4756 ^ _593172) ^ [_740979] : [orderingpredicate(_740979), -(isa(_740979, c_orderingpredicate))], (4762 ^ _593172) ^ [_741167] : [isa(_741167, c_tptpcol_9_18439), -(tptpcol_9_18439(_741167))], (4768 ^ _593172) ^ [_741355] : [tptpcol_9_18439(_741355), -(isa(_741355, c_tptpcol_9_18439))], (4774 ^ _593172) ^ [_741543] : [isa(_741543, c_tptpcol_10_18567), -(tptpcol_10_18567(_741543))], (4780 ^ _593172) ^ [_741731] : [tptpcol_10_18567(_741731), -(isa(_741731, c_tptpcol_10_18567))], (4786 ^ _593172) ^ [_741919] : [isa(_741919, c_tptpcol_2_65537), -(tptpcol_2_65537(_741919))], (4792 ^ _593172) ^ [_742107] : [tptpcol_2_65537(_742107), -(isa(_742107, c_tptpcol_2_65537))], (4798 ^ _593172) ^ [_742295] : [isa(_742295, c_tptpcol_3_81921), -(tptpcol_3_81921(_742295))], (4804 ^ _593172) ^ [_742483] : [tptpcol_3_81921(_742483), -(isa(_742483, c_tptpcol_3_81921))], (4810 ^ _593172) ^ [_742671] : [isa(_742671, c_artsupplies), -(artsupplies(_742671))], (4816 ^ _593172) ^ [_742859] : [artsupplies(_742859), -(isa(_742859, c_artsupplies))], (4822 ^ _593172) ^ [_743047] : [isa(_743047, c_enduringthing_localized), -(enduringthing_localized(_743047))], (4828 ^ _593172) ^ [_743235] : [enduringthing_localized(_743235), -(isa(_743235, c_enduringthing_localized))], (4834 ^ _593172) ^ [_743423] : [isa(_743423, c_location_underspecified), -(location_underspecified(_743423))], (4840 ^ _593172) ^ [_743611] : [location_underspecified(_743611), -(isa(_743611, c_location_underspecified))], (4846 ^ _593172) ^ [_743799] : [isa(_743799, c_trajector_underspecified), -(trajector_underspecified(_743799))], (4852 ^ _593172) ^ [_743987] : [trajector_underspecified(_743987), -(isa(_743987, c_trajector_underspecified))], (4858 ^ _593172) ^ [_744175] : [isa(_744175, c_individual), -(individual(_744175))], (4864 ^ _593172) ^ [_744363] : [individual(_744363), -(isa(_744363, c_individual))], (4870 ^ _593172) ^ [_744551] : [isa(_744551, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_744551))], (4876 ^ _593172) ^ [_744739] : [partiallyintangibleindividual(_744739), -(isa(_744739, c_partiallyintangibleindividual))], (4882 ^ _593172) ^ [_744927] : [isa(_744927, c_tptpcol_10_22022), -(tptpcol_10_22022(_744927))], (4888 ^ _593172) ^ [_745115] : [tptpcol_10_22022(_745115), -(isa(_745115, c_tptpcol_10_22022))], (4894 ^ _593172) ^ [_745303] : [isa(_745303, c_tptpcol_11_22023), -(tptpcol_11_22023(_745303))], (4900 ^ _593172) ^ [_745491] : [tptpcol_11_22023(_745491), -(isa(_745491, c_tptpcol_11_22023))], (4906 ^ _593172) ^ [_745679] : [isa(_745679, c_tptpcol_5_20483), -(tptpcol_5_20483(_745679))], (4912 ^ _593172) ^ [_745867] : [tptpcol_5_20483(_745867), -(isa(_745867, c_tptpcol_5_20483))], (4918 ^ _593172) ^ [_746055] : [isa(_746055, c_tptpcol_13_72791), -(tptpcol_13_72791(_746055))], (4924 ^ _593172) ^ [_746243] : [tptpcol_13_72791(_746243), -(isa(_746243, c_tptpcol_13_72791))], (4930 ^ _593172) ^ [_746431] : [isa(_746431, c_tptpcol_14_72792), -(tptpcol_14_72792(_746431))], (4936 ^ _593172) ^ [_746619] : [tptpcol_14_72792(_746619), -(isa(_746619, c_tptpcol_14_72792))], (4942 ^ _593172) ^ [_746807] : [isa(_746807, c_ridgeline_topographical), -(ridgeline_topographical(_746807))], (4948 ^ _593172) ^ [_746995] : [ridgeline_topographical(_746995), -(isa(_746995, c_ridgeline_topographical))], (4954 ^ _593172) ^ [_747183] : [isa(_747183, c_tptpcol_4_16387), -(tptpcol_4_16387(_747183))], (4960 ^ _593172) ^ [_747371] : [tptpcol_4_16387(_747371), -(isa(_747371, c_tptpcol_4_16387))], (4966 ^ _593172) ^ [_747559] : [isa(_747559, c_tptpcol_5_16388), -(tptpcol_5_16388(_747559))], (4972 ^ _593172) ^ [_747747] : [tptpcol_5_16388(_747747), -(isa(_747747, c_tptpcol_5_16388))], (4978 ^ _593172) ^ [_747935] : [isa(_747935, c_tptpcol_8_22020), -(tptpcol_8_22020(_747935))], (4984 ^ _593172) ^ [_748123] : [tptpcol_8_22020(_748123), -(isa(_748123, c_tptpcol_8_22020))], (4990 ^ _593172) ^ [_748311] : [isa(_748311, c_tptpcol_9_22021), -(tptpcol_9_22021(_748311))], (4996 ^ _593172) ^ [_748499] : [tptpcol_9_22021(_748499), -(isa(_748499, c_tptpcol_9_22021))], (5002 ^ _593172) ^ [_748687] : [isa(_748687, c_transitivebinarypredicate), -(transitivebinarypredicate(_748687))], (5008 ^ _593172) ^ [_748875] : [transitivebinarypredicate(_748875), -(isa(_748875, c_transitivebinarypredicate))], (5014 ^ _593172) ^ [_749077, _749079] : [geographicalsubregions(_749079, _749077), -(geographicalregion(_749077))], (5020 ^ _593172) ^ [_749285, _749287] : [geographicalsubregions(_749287, _749285), -(geographicalregion(_749287))], (5026 ^ _593172) ^ [_749507, _749509, _749511] : [-(geographicalsubregions(_749511, _749507)), geographicalsubregions(_749511, _749509), geographicalsubregions(_749509, _749507)], (5036 ^ _593172) ^ [_749802] : [geographicalregion(_749802), -(geographicalsubregions(_749802, _749802))], (5042 ^ _593172) ^ [_749990] : [isa(_749990, c_tptpcol_12_40420), -(tptpcol_12_40420(_749990))], (5048 ^ _593172) ^ [_750178] : [tptpcol_12_40420(_750178), -(isa(_750178, c_tptpcol_12_40420))], (5054 ^ _593172) ^ [_750366] : [isa(_750366, c_tptpcol_13_40421), -(tptpcol_13_40421(_750366))], (5060 ^ _593172) ^ [_750554] : [tptpcol_13_40421(_750554), -(isa(_750554, c_tptpcol_13_40421))], (5066 ^ _593172) ^ [_750742] : [isa(_750742, c_tptpcol_6_92162), -(tptpcol_6_92162(_750742))], (5072 ^ _593172) ^ [_750930] : [tptpcol_6_92162(_750930), -(isa(_750930, c_tptpcol_6_92162))], (5078 ^ _593172) ^ [_751118] : [isa(_751118, c_tptpcol_7_93186), -(tptpcol_7_93186(_751118))], (5084 ^ _593172) ^ [_751306] : [tptpcol_7_93186(_751306), -(isa(_751306, c_tptpcol_7_93186))], (5090 ^ _593172) ^ [_751508, _751510] : [most(_751510, _751508), -(setorcollection(_751508))], (5096 ^ _593172) ^ [_751716, _751718] : [most(_751718, _751716), -(setorcollection(_751716))], (5102 ^ _593172) ^ [_751924, _751926] : [most(_751926, _751924), -(setorcollection(_751926))], (5108 ^ _593172) ^ [_752132, _752134] : [most(_752134, _752132), -(setorcollection(_752134))], (5114 ^ _593172) ^ [_752326] : [setorcollection(_752326), -(most(_752326, _752326))], (5120 ^ _593172) ^ [_752514] : [setorcollection(_752514), -(most(_752514, _752514))], (5126 ^ _593172) ^ [_752730, _752732, _752734] : [-(most(_752734, _752730)), most(_752734, _752732), subsetof(_752732, _752730)], (5136 ^ _593172) ^ [_753053, _753055, _753057] : [-(most(_753057, _753053)), most(_753057, _753055), subsetof(_753055, _753053)], (5146 ^ _593172) ^ [_753362, _753364] : [subsetof(_753364, _753362), -(setorcollection(_753362))], (5152 ^ _593172) ^ [_753570, _753572] : [subsetof(_753572, _753570), -(setorcollection(_753572))], (5158 ^ _593172) ^ [_753792, _753794, _753796] : [-(subsetof(_753796, _753792)), subsetof(_753796, _753794), subsetof(_753794, _753792)], (5168 ^ _593172) ^ [_754087] : [setorcollection(_754087), -(subsetof(_754087, _754087))], (5174 ^ _593172) ^ [_754303, _754305, _754307] : [-(subsetof(_754303, _754305)), subsetof(_754307, _754305), subsetof(_754303, _754307)], (5184 ^ _593172) ^ [_754626, _754628, _754630] : [-(subsetof(_754630, _754626)), subsetof(_754630, _754628), subsetof(_754628, _754626)], (5194 ^ _593172) ^ [_754949, _754951, _754953] : [-(subsetof(_754953, _754949)), subsetof(_754953, _754951), subsetof(_754951, _754949)], (5204 ^ _593172) ^ [_755258, _755260] : [genlpreds(_755260, _755258), -(predicate(_755258))], (5210 ^ _593172) ^ [_755466, _755468] : [genlpreds(_755468, _755466), -(predicate(_755466))], (5216 ^ _593172) ^ [_755674, _755676] : [genlpreds(_755676, _755674), -(predicate(_755676))], (5222 ^ _593172) ^ [_755882, _755884] : [genlpreds(_755884, _755882), -(predicate(_755884))], (5228 ^ _593172) ^ [_756104, _756106, _756108] : [-(genlpreds(_756108, _756104)), genlpreds(_756108, _756106), genlpreds(_756106, _756104)], (5238 ^ _593172) ^ [_756399] : [predicate(_756399), -(genlpreds(_756399, _756399))], (5244 ^ _593172) ^ [_756587] : [predicate(_756587), -(genlpreds(_756587, _756587))], (5250 ^ _593172) ^ [_756789, _756791] : [genlinverse(_756791, _756789), -(binarypredicate(_756789))], (5256 ^ _593172) ^ [_756997, _756999] : [genlinverse(_756999, _756997), -(binarypredicate(_756999))], (5262 ^ _593172) ^ [_757219, _757221, _757223] : [-(genlinverse(_757219, _757221)), genlinverse(_757223, _757221), genlpreds(_757219, _757223)], (5272 ^ _593172) ^ [_757542, _757544, _757546] : [-(genlinverse(_757546, _757542)), genlinverse(_757546, _757544), genlpreds(_757544, _757542)], (5282 ^ _593172) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _593172) ^ [_757890] : [isa(_757890, c_microtheory), -(microtheory(_757890))], (5290 ^ _593172) ^ [_758078] : [microtheory(_758078), -(isa(_758078, c_microtheory))], (5296 ^ _593172) ^ [_758251] : [-(natfunction(f_urlfn(_758251), c_urlfn))], (5298 ^ _593172) ^ [_758331] : [-(natargument(f_urlfn(_758331), n_1, _758331))], (5300 ^ _593172) ^ [_758412] : [-(uniformresourcelocator(f_urlfn(_758412)))], (5302 ^ _593172) ^ [_758491] : [-(natfunction(f_urlreferentfn(_758491), c_urlreferentfn))], (5304 ^ _593172) ^ [_758571] : [-(natargument(f_urlreferentfn(_758571), n_1, _758571))], (5306 ^ _593172) ^ [_758652] : [-(computerdataartifact(f_urlreferentfn(_758652)))], (5308 ^ _593172) ^ [_758745, _758747] : [-(natfunction(f_contentmtofcdafromeventfn(_758747, _758745), c_contentmtofcdafromeventfn))], (5310 ^ _593172) ^ [_758842, _758844] : [-(natargument(f_contentmtofcdafromeventfn(_758844, _758842), n_1, _758844))], (5312 ^ _593172) ^ [_758940, _758942] : [-(natargument(f_contentmtofcdafromeventfn(_758942, _758940), n_2, _758940))], (5314 ^ _593172) ^ [_759038, _759040] : [-(microtheory(f_contentmtofcdafromeventfn(_759040, _759038)))], (5316 ^ _593172) ^ [_759149, _759151] : [isa(_759151, _759149), -(collection(_759149))], (5322 ^ _593172) ^ [_759357, _759359] : [isa(_759359, _759357), -(collection(_759357))], (5328 ^ _593172) ^ [_759565, _759567] : [isa(_759567, _759565), -(thing(_759567))], (5334 ^ _593172) ^ [_759773, _759775] : [isa(_759775, _759773), -(thing(_759775))], (5340 ^ _593172) ^ [_759995, _759997, _759999] : [-(isa(_759999, _759995)), isa(_759999, _759997), genls(_759997, _759995)], (5350 ^ _593172) ^ [_760290] : [isa(_760290, c_inanimateobject), -(inanimateobject(_760290))], (5356 ^ _593172) ^ [_760478] : [inanimateobject(_760478), -(isa(_760478, c_inanimateobject))], (5362 ^ _593172) ^ [_760666] : [isa(_760666, c_tptpcol_9_72709), -(tptpcol_9_72709(_760666))], (5368 ^ _593172) ^ [_760854] : [tptpcol_9_72709(_760854), -(isa(_760854, c_tptpcol_9_72709))], (5374 ^ _593172) ^ [_761042] : [isa(_761042, c_tptpcol_10_72710), -(tptpcol_10_72710(_761042))], (5380 ^ _593172) ^ [_761230] : [tptpcol_10_72710(_761230), -(isa(_761230, c_tptpcol_10_72710))], (5386 ^ _593172) ^ [_761418] : [isa(_761418, c_tptpcol_14_40429), -(tptpcol_14_40429(_761418))], (5392 ^ _593172) ^ [_761606] : [tptpcol_14_40429(_761606), -(isa(_761606, c_tptpcol_14_40429))], (5398 ^ _593172) ^ [_761794] : [isa(_761794, c_tptpcol_15_40430), -(tptpcol_15_40430(_761794))], (5404 ^ _593172) ^ [_761982] : [tptpcol_15_40430(_761982), -(isa(_761982, c_tptpcol_15_40430))], (5410 ^ _593172) ^ [_762184, _762186] : [genls(_762186, _762184), -(collection(_762184))], (5416 ^ _593172) ^ [_762392, _762394] : [genls(_762394, _762392), -(collection(_762392))], (5422 ^ _593172) ^ [_762600, _762602] : [genls(_762602, _762600), -(collection(_762602))], (5428 ^ _593172) ^ [_762808, _762810] : [genls(_762810, _762808), -(collection(_762810))], (5434 ^ _593172) ^ [_763030, _763032, _763034] : [-(genls(_763034, _763030)), genls(_763034, _763032), genls(_763032, _763030)], (5444 ^ _593172) ^ [_763325] : [collection(_763325), -(genls(_763325, _763325))], (5450 ^ _593172) ^ [_763513] : [collection(_763513), -(genls(_763513, _763513))], (5456 ^ _593172) ^ [_763729, _763731, _763733] : [-(genls(_763729, _763731)), genls(_763733, _763731), genls(_763729, _763733)], (5466 ^ _593172) ^ [_764052, _764054, _764056] : [-(genls(_764056, _764052)), genls(_764056, _764054), genls(_764054, _764052)], (5476 ^ _593172) ^ [_764347] : [isa(_764347, c_partiallytangible), -(partiallytangible(_764347))], (5482 ^ _593172) ^ [_764535] : [partiallytangible(_764535), -(isa(_764535, c_partiallytangible))], (5488 ^ _593172) ^ [_764723] : [isa(_764723, c_intangible), -(intangible(_764723))], (5494 ^ _593172) ^ [_764911] : [intangible(_764911), -(isa(_764911, c_intangible))], (5500 ^ _593172) ^ [_765113, _765115] : [disjointwith(_765115, _765113), -(collection(_765113))], (5506 ^ _593172) ^ [_765321, _765323] : [disjointwith(_765323, _765321), -(collection(_765323))], (5512 ^ _593172) ^ [_765529, _765531] : [disjointwith(_765531, _765529), -(disjointwith(_765529, _765531))], (5518 ^ _593172) ^ [_765753, _765755, _765757] : [-(disjointwith(_765757, _765753)), disjointwith(_765757, _765755), genls(_765753, _765755)], (5528 ^ _593172) ^ [_766076, _766078, _766080] : [-(disjointwith(_766076, _766078)), disjointwith(_766080, _766078), genls(_766076, _766080)], (5538 ^ _593172) ^ [_766385, _766387] : [-(mtvisible(_766385)), mtvisible(_766387), genlmt(_766387, _766385)], (5548 ^ _593172) ^ [_766680, _766682] : [genlmt(_766682, _766680), -(microtheory(_766680))], (5554 ^ _593172) ^ [_766888, _766890] : [genlmt(_766890, _766888), -(microtheory(_766888))], (5560 ^ _593172) ^ [_767096, _767098] : [genlmt(_767098, _767096), -(microtheory(_767098))], (5566 ^ _593172) ^ [_767304, _767306] : [genlmt(_767306, _767304), -(microtheory(_767306))], (5572 ^ _593172) ^ [_767526, _767528, _767530] : [-(genlmt(_767530, _767526)), genlmt(_767530, _767528), genlmt(_767528, _767526)], (5582 ^ _593172) ^ [_767821] : [microtheory(_767821), -(genlmt(_767821, _767821))], (5594 ^ _593172) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _593172) ^ [_768009] : [microtheory(_768009), -(genlmt(_768009, _768009))]], input).
% 0.41/1.38  ncf('1',plain,[borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24)],start(5598 ^ 0)).
% 0.41/1.38  ncf('1.1',plain,[-(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24)), mtvisible(c_tptpgeo_member1_mt)],extension(1802 ^ 1)).
% 0.41/1.38  ncf('1.1.1',plain,[-(mtvisible(c_tptpgeo_member1_mt))],extension(5596 ^ 2)).
% 0.41/1.38  %-----------------------------------------------------
% 0.41/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------