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

% Computer : n006.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:48:13 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12  % Problem  : CSR055+2 : TPTP v8.1.2. Released v3.4.0.
% 0.04/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n006.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Fri May 19 00:30:06 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 0.43/1.38  
% 0.43/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.43/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.43/1.38  %-----------------------------------------------------
% 0.43/1.38  ncf(matrix, plain, [(5596 ^ _595927) ^ [] : [-(disjointwith(c_xskijump_thegame, c_tptpcol_16_35301))], (2 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _595927) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _595927) ^ [_596132] : [intangible(_596132), partiallytangible(_596132)], (12 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _595927) ^ [_596370] : [tptpcol_15_40430(_596370), -(tptpcol_14_40429(_596370))], (20 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _595927) ^ [_596609] : [tptpcol_10_72710(_596609), -(tptpcol_9_72709(_596609))], (28 ^ _595927) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _595927) ^ [_596848] : [inanimateobject(_596848), -(partiallytangible(_596848))], (36 ^ _595927) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _595927) ^ [_597115, _597117, _597119] : [-(genlpreds(_597119, _597115)), genlinverse(_597119, _597117), genlinverse(_597117, _597115)], (48 ^ _595927) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _595927) ^ [_597477, _597479] : [subsetof(_597479, _597477), -(most(_597479, _597477))], (56 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _595927) ^ [_597726] : [tptpcol_7_93186(_597726), -(tptpcol_6_92162(_597726))], (64 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _595927) ^ [_597965] : [tptpcol_13_40421(_597965), -(tptpcol_12_40420(_597965))], (72 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _595927) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _595927) ^ [_598429] : [tptpcol_9_22021(_598429), -(tptpcol_8_22020(_598429))], (90 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _595927) ^ [_598668] : [tptpcol_5_16388(_598668), -(tptpcol_4_16387(_598668))], (98 ^ _595927) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _595927) ^ [_599026] : [tptpcol_14_72792(_599026), -(tptpcol_13_72791(_599026))], (112 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _595927) ^ [_599265] : [tptpcol_5_20483(_599265), -(tptpcol_4_16387(_599265))], (120 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _595927) ^ [_599504] : [tptpcol_11_22023(_599504), -(tptpcol_10_22022(_599504))], (128 ^ _595927) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _595927) ^ [_599743] : [partiallyintangibleindividual(_599743), -(individual(_599743))], (136 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _595927) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _595927) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _595927) ^ [_600088] : [trajector_underspecified(_600088), -(location_underspecified(_600088))], (148 ^ _595927) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _595927) ^ [_600327] : [partiallytangible(_600327), -(enduringthing_localized(_600327))], (156 ^ _595927) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _595927) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _595927) ^ [_600685] : [tptpcol_3_81921(_600685), -(tptpcol_2_65537(_600685))], (170 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _595927) ^ [_600924] : [tptpcol_10_18567(_600924), -(tptpcol_9_18439(_600924))], (178 ^ _595927) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _595927) ^ [_601163] : [orderingpredicate(_601163), -(transitivebinarypredicate(_601163))], (186 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _595927) ^ [_601402] : [tptpcol_11_92230(_601402), -(tptpcol_10_92166(_601402))], (194 ^ _595927) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _595927) ^ [_601641] : [tptpcol_2_98304(_601641), -(tptpcol_1_65536(_601641))], (202 ^ _595927) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _595927) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _595927) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _595927) ^ [_602105] : [tptpcol_12_40420(_602105), -(tptpcol_11_40388(_602105))], (220 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _595927) ^ [_602358, _602360] : [tptptypes_9_693(_602360, _602358), -(tptptypes_8_692(_602360, _602358))], (228 ^ _595927) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _595927) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _595927) ^ [_602727, _602729] : [tptptypes_8_390(_602729, _602727), -(tptptypes_7_389(_602729, _602727))], (240 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _595927) ^ [_603071, _603073, _603075, _603077] : [-(isa(f_relationexistsallfn(_603077, _603073, _603071, _603075), _603071)), isa(_603077, _603075), relationexistsall(_603073, _603071, _603075)], (254 ^ _595927) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _595927) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _595927) ^ [_603600] : [tptpcol_4_106497(_603600), -(tptpcol_3_98305(_603600))], (268 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _595927) ^ [_603839] : [tptpcol_5_114690(_603839), -(tptpcol_4_114689(_603839))], (276 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _595927) ^ [_604078] : [tptpcol_12_93765(_604078), -(tptpcol_11_93764(_604078))], (284 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _595927) ^ [_604317] : [tptpcol_8_72708(_604317), -(tptpcol_7_72707(_604317))], (292 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _595927) ^ [_604556] : [tptpcol_10_40324(_604556), -(tptpcol_9_40196(_604556))], (300 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _595927) ^ [_604795] : [tptpcol_13_93766(_604795), -(tptpcol_12_93765(_604795))], (308 ^ _595927) ^ [_604981] : [-(tptpofobject(_604981, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_604981)], (318 ^ _595927) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _595927) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _595927) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _595927) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _595927) ^ [_605645] : [location_underspecified(_605645), -(thing(_605645))], (342 ^ _595927) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _595927) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _595927) ^ [_605990] : [tptpcol_12_92262(_605990), -(tptpcol_11_92230(_605990))], (354 ^ _595927) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _595927) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _595927) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _595927) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _595927) ^ [_606507] : [tptpcol_10_109061(_606507), -(tptpcol_9_109060(_606507))], (374 ^ _595927) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _595927) ^ [_606813, _606815] : [tptptypes_6_388(_606815, _606813), -(tptptypes_5_387(_606815, _606813))], (384 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _595927) ^ [_607062] : [tptpcol_6_116738(_607062), -(tptpcol_5_114690(_607062))], (392 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _595927) ^ [_607301] : [tptpcol_15_92268(_607301), -(tptpcol_14_92264(_607301))], (400 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _595927) ^ [_607606] : [-(tptpofobject(_607606, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_607606)], (416 ^ _595927) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _595927) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _595927) ^ [_608059, _608061] : [tptptypes_9_401(_608061, _608059), -(tptptypes_8_400(_608059, _608061))], (430 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _595927) ^ [_608308] : [tptpcol_12_18663(_608308), -(tptpcol_11_18631(_608308))], (438 ^ _595927) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _595927) ^ [_608547] : [setorcollection(_608547), -(mathematicalthing(_608547))], (446 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _595927) ^ [_608786] : [tptpcol_13_109173(_608786), -(tptpcol_12_109157(_608786))], (454 ^ _595927) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _595927) ^ [_609078] : [tptpcol_5_106498(_609078), -(tptpcol_4_106497(_609078))], (464 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _595927) ^ [_609317] : [tptpcol_5_24579(_609317), -(tptpcol_4_24578(_609317))], (472 ^ _595927) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _595927) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _595927) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _595927) ^ [_609847] : [tptpcol_1_65536(_609847), -(tptpcol_0_0(_609847))], (494 ^ _595927) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _595927) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _595927) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _595927) ^ [_610272, _610274] : [geographicalsubregions(_610274, _610272), -(inregion(_610272, _610274))], (510 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _595927) ^ [_610521] : [tptpcol_11_118084(_610521), -(tptpcol_10_118020(_610521))], (518 ^ _595927) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _595927) ^ [_610760] : [mathematicalorcomputationalthing(_610760), -(intangible(_610760))], (526 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _595927) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _595927) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _595927) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _595927) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _595927) ^ [_611278, _611280] : [tptptypes_7_819(_611280, _611278), -(tptptypes_6_818(_611280, _611278))], (544 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _595927) ^ [_611580] : [tptpcol_12_26919(_611580), -(tptpcol_11_26887(_611580))], (554 ^ _595927) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _595927) ^ [_611833, _611835] : [tptptypes_8_692(_611835, _611833), -(tptptypes_7_691(_611833, _611835))], (562 ^ _595927) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _595927) ^ [_612082] : [tptpcol_2_2(_612082), -(tptpcol_1_1(_612082))], (570 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _595927) ^ [_612374] : [tptpcol_9_92165(_612374), -(tptpcol_8_92164(_612374))], (580 ^ _595927) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _595927) ^ [_612613] : [fixedordercollection(_612613), -(collection(_612613))], (588 ^ _595927) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _595927) ^ [_612852] : [tptpcol_1_1(_612852), tptpcol_1_65536(_612852)], (596 ^ _595927) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _595927) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _595927) ^ [_613143] : [microtheory(_613143), -(aspatialinformationstore(_613143))], (606 ^ _595927) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _595927) ^ [_613448] : [-(tptp_8_875(_613448, f_relationallexistsfn(_613448, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_613448, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _595927) ^ [] : [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 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _595927) ^ [_613899] : [tptpcol_10_118020(_613899), -(tptpcol_9_118019(_613899))], (636 ^ _595927) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _595927) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _595927) ^ [_614257] : [-(tptp_9_720(_614257, f_relationallexistsfn(_614257, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_614257)], (654 ^ _595927) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _595927) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _595927) ^ [_614706] : [individual(_614706), setorcollection(_614706)], (668 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _595927) ^ [_614944] : [tptpcol_12_22055(_614944), -(tptpcol_11_22023(_614944))], (676 ^ _595927) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _595927) ^ [_615183] : [applicationcontext(_615183), -(microtheory(_615183))], (684 ^ _595927) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _595927) ^ [_615489, _615491] : [tptptypes_8_400(_615491, _615489), -(tptptypes_7_396(_615491, _615489))], (694 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _595927) ^ [_615738] : [tptpcol_11_18631(_615738), -(tptpcol_10_18567(_615738))], (702 ^ _595927) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _595927) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _595927) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _595927) ^ [_616149] : [mathematicalthing(_616149), -(mathematicalorcomputationalthing(_616149))], (718 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _595927) ^ [_616441] : [tptpcol_15_93775(_616441), -(tptpcol_14_93774(_616441))], (728 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _595927) ^ [_616680] : [tptpcol_8_109059(_616680), -(tptpcol_7_108547(_616680))], (736 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _595927) ^ [_616919] : [tptpcol_14_40429(_616919), -(tptpcol_13_40421(_616919))], (744 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _595927) ^ [_617277] : [tptpcol_14_22072(_617277), -(tptpcol_13_22071(_617277))], (758 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _595927) ^ [_617516] : [tptpcol_14_93774(_617516), -(tptpcol_13_93766(_617516))], (766 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _595927) ^ [_617755] : [tptpcol_10_22022(_617755), -(tptpcol_9_22021(_617755))], (774 ^ _595927) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _595927) ^ [_617994] : [inanimateobject_nonnatural(_617994), -(inanimateobject(_617994))], (782 ^ _595927) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _595927) ^ [_618339] : [tptpcol_9_72709(_618339), -(tptpcol_8_72708(_618339))], (794 ^ _595927) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _595927) ^ [_618578] : [-(tptpofobject(_618578, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_618578)], (806 ^ _595927) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _595927) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _595927) ^ [_619017] : [firstordercollection(_619017), -(fixedordercollection(_619017))], (820 ^ _595927) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _595927) ^ [_619428] : [tptpcol_13_18664(_619428), -(tptpcol_12_18663(_619428))], (836 ^ _595927) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _595927) ^ [_619667] : [artifact(_619667), -(inanimateobject_nonnatural(_619667))], (844 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _595927) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _595927) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _595927) ^ [_620065] : [tptpcol_7_113665(_620065), -(tptpcol_6_112641(_620065))], (858 ^ _595927) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _595927) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _595927) ^ [_620423] : [geographicalregion(_620423), -(partiallytangible(_620423))], (872 ^ _595927) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _595927) ^ [_620676, _620678] : [disjointwith(_620678, _620676), -(no(_620678, _620676))], (880 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _595927) ^ [_620925] : [tptpcol_4_24578(_620925), -(tptpcol_3_16386(_620925))], (888 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _595927) ^ [_621164] : [tptpcol_5_69635(_621164), -(tptpcol_4_65539(_621164))], (896 ^ _595927) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _595927) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _595927) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _595927) ^ [_621523, _621525] : [genls(_621525, _621523), -(collection(_621525))], (908 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _595927) ^ [_621770] : [tptpcol_13_22071(_621770), -(tptpcol_12_22055(_621770))], (916 ^ _595927) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _595927) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _595927) ^ [_622062] : [tptpcol_3_98305(_622062), -(tptpcol_2_98304(_622062))], (926 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _595927) ^ [_622301] : [tptpcol_4_114689(_622301), -(tptpcol_3_114688(_622301))], (934 ^ _595927) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _595927) ^ [_622540] : [artsupplies(_622540), -(supplies(_622540))], (942 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _595927) ^ [_622779] : [tptpcol_8_26629(_622779), -(tptpcol_7_26628(_622779))], (950 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _595927) ^ [_623018] : [tptpcol_9_109060(_623018), -(tptpcol_8_109059(_623018))], (958 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _595927) ^ [_623257] : [isa(_623257, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_623257, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _623257))], (966 ^ _595927) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _595927) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _595927) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _595927) ^ [_623841] : [tptpcol_14_109181(_623841), -(tptpcol_13_109173(_623841))], (988 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _595927) ^ [_624080] : [tptpcol_16_30972(_624080), -(tptpcol_15_30970(_624080))], (996 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _595927) ^ [_624372] : [tptpcol_9_18439(_624372), -(tptpcol_8_18438(_624372))], (1006 ^ _595927) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _595927) ^ [_624664] : [tptpcol_12_118116(_624664), -(tptpcol_11_118084(_624664))], (1016 ^ _595927) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _595927) ^ [_624956] : [tptpcol_7_26628(_624956), -(tptpcol_6_26627(_624956))], (1026 ^ _595927) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _595927) ^ [_625209, _625211] : [most(_625211, _625209), -(setorcollection(_625211))], (1034 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _595927) ^ [_625456] : [tptpcol_15_109185(_625456), -(tptpcol_14_109181(_625456))], (1042 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _595927) ^ [_625695] : [tptpcol_16_92269(_625695), -(tptpcol_15_92268(_625695))], (1050 ^ _595927) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _595927) ^ [_626001, _626003] : [tptptypes_8_823(_626003, _626001), -(tptptypes_7_819(_626003, _626001))], (1060 ^ _595927) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _595927) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _595927) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _595927) ^ [_626581] : [tptpcol_10_26886(_626581), -(tptpcol_9_26885(_626581))], (1082 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _595927) ^ [_626873] : [tptpcol_15_72793(_626873), -(tptpcol_14_72792(_626873))], (1092 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _595927) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _595927) ^ [_627231] : [navypersonnel(_627231), -(militaryperson(_627231))], (1106 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _595927) ^ [_627470] : [tptpcol_4_16387(_627470), -(tptpcol_3_16386(_627470))], (1114 ^ _595927) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _595927) ^ [_627709] : [enduringthing_localized(_627709), -(spatialthing_nonsituational(_627709))], (1122 ^ _595927) ^ [_627895] : [collection(_627895), individual(_627895)], (1128 ^ _595927) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _595927) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _595927) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _595927) ^ [_628424] : [physicalorderingpredicate(_628424), -(orderingpredicate(_628424))], (1150 ^ _595927) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _595927) ^ [_628677, _628679] : [disjointwith(_628679, _628677), -(collection(_628677))], (1158 ^ _595927) ^ [_628913, _628915, _628917, _628919] : [-(isa(f_relationallexistsfn(_628919, _628915, _628917, _628913), _628913)), isa(_628919, _628917), relationallexists(_628915, _628917, _628913)], (1168 ^ _595927) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _595927) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _595927) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _595927) ^ [_629522, _629524] : [tptptypes_7_389(_629524, _629522), -(tptptypes_6_388(_629522, _629524))], (1186 ^ _595927) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _595927) ^ [_629837] : [-(hpkb_subnationalagent(_629837)), mtvisible(c_hpkbvocabmt), state_geopolitical(_629837)], (1202 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _595927) ^ [_630155] : [tptpcol_8_22020(_630155), -(tptpcol_7_21508(_630155))], (1210 ^ _595927) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _595927) ^ [_630394] : [-(tptp_9_51(f_relationexistsallfn(_630394, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _630394)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_630394, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _595927) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _595927) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _595927) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _595927) ^ [_630898] : [tptpcol_3_65538(_630898), -(tptpcol_2_65537(_630898))], (1238 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _595927) ^ [_631137] : [tptpcol_14_26921(_631137), -(tptpcol_13_26920(_631137))], (1246 ^ _595927) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _595927) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _595927) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _595927) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _595927) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _595927) ^ [_631588] : [intangibleindividual(_631588), -(partiallyintangibleindividual(_631588))], (1262 ^ _595927) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _595927) ^ [_631946] : [tptpcol_16_130924(_631946), -(tptpcol_15_130923(_631946))], (1276 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _595927) ^ [_632185] : [tptpcol_7_92163(_632185), -(tptpcol_6_92162(_632185))], (1284 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _595927) ^ [_632477] : [tptpcol_16_130933(_632477), -(tptpcol_15_130931(_632477))], (1294 ^ _595927) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _595927) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _595927) ^ [_632783, _632785] : [no(_632785, _632783), -(few(_632785, _632783))], (1304 ^ _595927) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _595927) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _595927) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _595927) ^ [_633191] : [tptpcol_6_20484(_633191), -(tptpcol_5_20483(_633191))], (1318 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _595927) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _595927) ^ [_633655] : [tptpcol_7_108547(_633655), -(tptpcol_6_108546(_633655))], (1336 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _595927) ^ [_633894] : [tptpcol_11_109125(_633894), -(tptpcol_10_109061(_633894))], (1344 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _595927) ^ [_634186] : [tptpcol_8_93698(_634186), -(tptpcol_7_93186(_634186))], (1354 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _595927) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _595927) ^ [_634478] : [tptpcol_2_65537(_634478), -(tptpcol_1_65536(_634478))], (1364 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _595927) ^ [_634770] : [tptpcol_6_18436(_634770), -(tptpcol_5_16388(_634770))], (1374 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _595927) ^ [_635009] : [tptpcol_8_18438(_635009), -(tptpcol_7_18437(_635009))], (1382 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _595927) ^ [_635367] : [tptpcol_8_117763(_635367), -(tptpcol_7_117762(_635367))], (1396 ^ _595927) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _595927) ^ [_635659] : [tptpcol_12_109157(_635659), -(tptpcol_11_109125(_635659))], (1406 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _595927) ^ [_635898] : [tptpcol_7_117762(_635898), -(tptpcol_6_116738(_635898))], (1414 ^ _595927) ^ [_636112, _636114, _636116] : [isa(_636116, _636114), isa(_636116, _636112), disjointwith(_636114, _636112)], (1424 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _595927) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _595927) ^ [_636512] : [aspatialinformationstore(_636512), -(aspatialthing(_636512))], (1434 ^ _595927) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _595927) ^ [_636910] : [tptpcol_9_93699(_636910), -(tptpcol_8_93698(_636910))], (1448 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _595927) ^ [_637149] : [tptpcol_11_93764(_637149), -(tptpcol_10_93700(_637149))], (1456 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _595927) ^ [_637388] : [tptpcol_6_26627(_637388), -(tptpcol_5_24579(_637388))], (1464 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _595927) ^ [_637627] : [tptpcol_4_90113(_637627), -(tptpcol_3_81921(_637627))], (1472 ^ _595927) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _595927) ^ [_637919] : [tptpcol_10_93700(_637919), -(tptpcol_9_93699(_637919))], (1482 ^ _595927) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _595927) ^ [_638158] : [aspatialinformationstore(_638158), -(intangibleindividual(_638158))], (1490 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _595927) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _595927) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _595927) ^ [_638569] : [tptpcol_3_16386(_638569), -(tptpcol_2_2(_638569))], (1506 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _595927) ^ [_638808] : [tptpcol_9_118019(_638808), -(tptpcol_8_117763(_638808))], (1514 ^ _595927) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _595927) ^ [_639047] : [individual(_639047), -(trajector_underspecified(_639047))], (1522 ^ _595927) ^ [_639233] : [shavingrazor_manual(_639233), -(tptp_8_271(f_relationexistsallfn(_639233, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _639233))], (1528 ^ _595927) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _595927) ^ [_639537] : [tptpcol_6_112641(_639537), -(tptpcol_5_110593(_639537))], (1538 ^ _595927) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _595927) ^ [_639776] : [tptpcol_12_72775(_639776), -(tptpcol_11_72774(_639776))], (1546 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _595927) ^ [_640015] : [tptpcol_7_72707(_640015), -(tptpcol_6_71683(_640015))], (1554 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _595927) ^ [_640254] : [tptpcol_16_50958(_640254), -(tptpcol_15_50957(_640254))], (1562 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _595927) ^ [_640493] : [tptpcol_8_114177(_640493), -(tptpcol_7_113665(_640493))], (1570 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _595927) ^ [_640732] : [tptpcol_16_72795(_640732), -(tptpcol_15_72793(_640732))], (1578 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _595927) ^ [_640971] : [tptpcol_6_71683(_640971), -(tptpcol_5_69635(_640971))], (1586 ^ _595927) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _595927) ^ [_641277, _641279] : [tptptypes_7_396(_641279, _641277), -(tptptypes_6_388(_641279, _641277))], (1596 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _595927) ^ [_641526] : [tptpcol_9_26885(_641526), -(tptpcol_8_26629(_641526))], (1604 ^ _595927) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _595927) ^ [_641779, _641781] : [genls(_641781, _641779), -(subsetof(_641781, _641779))], (1612 ^ _595927) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _595927) ^ [_642095, _642097] : [tptptypes_6_818(_642097, _642095), -(tptptypes_5_802(_642097, _642095))], (1622 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _595927) ^ [_642344] : [tptpcol_6_92162(_642344), -(tptpcol_5_90114(_642344))], (1630 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _595927) ^ [_642636] : [tptpcol_8_92164(_642636), -(tptpcol_7_92163(_642636))], (1640 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _595927) ^ [_642875] : [tptpcol_13_118117(_642875), -(tptpcol_12_118116(_642875))], (1648 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _595927) ^ [_643114] : [tptpcol_11_40388(_643114), -(tptpcol_10_40324(_643114))], (1656 ^ _595927) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _595927) ^ [_643367, _643369] : [tptptypes_9_824(_643369, _643367), -(tptptypes_8_823(_643369, _643367))], (1664 ^ _595927) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _595927) ^ [_643669] : [tptpcol_11_26887(_643669), -(tptpcol_10_26886(_643669))], (1674 ^ _595927) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _595927) ^ [_643908] : [tptpcol_16_26926(_643908), -(tptpcol_15_26925(_643908))], (1682 ^ _595927) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _595927) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _595927) ^ [_644214, _644216] : [few(_644216, _644214), -(setorcollection(_644214))], (1692 ^ _595927) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _595927) ^ [_644461] : [tptpcol_4_65539(_644461), -(tptpcol_3_65538(_644461))], (1700 ^ _595927) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _595927) ^ [_644700] : [tptpcol_8_39940(_644700), -(tptpcol_7_39939(_644700))], (1708 ^ _595927) ^ [_644886] : [-(tptpofobject(_644886, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_644886)], (1718 ^ _595927) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _595927) ^ [_645325] : [tptpcol_15_22076(_645325), -(tptpcol_14_22072(_645325))], (1732 ^ _595927) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _595927) ^ [_645564] : [tptpcol_0_0(_645564), -(individual(_645564))], (1740 ^ _595927) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _595927) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _595927) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _595927) ^ [_645962] : [tptpcol_11_72774(_645962), -(tptpcol_10_72710(_645962))], (1754 ^ _595927) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _595927) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _595927) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _595927) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _595927) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _595927) ^ [_646598] : [tptpcol_7_21508(_646598), -(tptpcol_6_20484(_646598))], (1780 ^ _595927) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _595927) ^ [_646837] : [tptpcol_6_108546(_646837), -(tptpcol_5_106498(_646837))], (1788 ^ _595927) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _595927) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _595927) ^ [_647195] : [geolevel_4(_647195), -(geographicalregion(_647195))], (1802 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _595927) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _595927) ^ [_647672] : [tptpcol_13_26920(_647672), -(tptpcol_12_26919(_647672))], (1822 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _595927) ^ [_647911] : [tptpcol_14_92264(_647911), -(tptpcol_13_92263(_647911))], (1830 ^ _595927) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _595927) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _595927) ^ [_648203] : [tptpcol_9_40196(_648203), -(tptpcol_8_39940(_648203))], (1840 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _595927) ^ [_648561] : [tptpcol_13_92263(_648561), -(tptpcol_12_92262(_648561))], (1854 ^ _595927) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _595927) ^ [_648853] : [tptpcol_5_90114(_648853), -(tptpcol_4_90113(_648853))], (1864 ^ _595927) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _595927) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _595927) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _595927) ^ [_649264] : [tptpcol_15_26925(_649264), -(tptpcol_14_26921(_649264))], (1880 ^ _595927) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _595927) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _595927) ^ [_649622] : [tptpcol_7_18437(_649622), -(tptpcol_6_18436(_649622))], (1894 ^ _595927) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _595927) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _595927) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _595927) ^ [_650033] : [tptpcol_3_98305(_650033), tptpcol_3_114688(_650033)], (1910 ^ _595927) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _595927) ^ [_650271] : [tptpcol_5_110593(_650271), -(tptpcol_4_106497(_650271))], (1918 ^ _595927) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _595927) ^ [_650510] : [tptpcol_13_72791(_650510), -(tptpcol_12_72775(_650510))], (1926 ^ _595927) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _595927) ^ [_650749] : [computerdataartifact(_650749), -(artifact(_650749))], (1934 ^ _595927) ^ [_650935] : [-(tptpofobject(_650935, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_650935)], (1944 ^ _595927) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _595927) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _595927) ^ [_651374] : [tptpcol_10_92166(_651374), -(tptpcol_9_92165(_651374))], (1958 ^ _595927) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _595927) ^ [_651613] : [tptpcol_14_118118(_651613), -(tptpcol_13_118117(_651613))], (1966 ^ _595927) ^ [_651799] : [isa(_651799, c_tptpcol_14_118118), -(tptpcol_14_118118(_651799))], (1972 ^ _595927) ^ [_651987] : [tptpcol_14_118118(_651987), -(isa(_651987, c_tptpcol_14_118118))], (1978 ^ _595927) ^ [_652160] : [-(natfunction(f_tptpquantityfn_6(_652160), c_tptpquantityfn_6))], (1980 ^ _595927) ^ [_652240] : [-(natargument(f_tptpquantityfn_6(_652240), n_1, _652240))], (1982 ^ _595927) ^ [_652321] : [-(tptpquantity(f_tptpquantityfn_6(_652321)))], (1984 ^ _595927) ^ [_652415] : [isa(_652415, c_tptpcol_16_26939), -(tptpcol_16_26939(_652415))], (1990 ^ _595927) ^ [_652603] : [tptpcol_16_26939(_652603), -(isa(_652603, c_tptpcol_16_26939))], (1996 ^ _595927) ^ [_652791] : [isa(_652791, c_tptpcol_16_62187), -(tptpcol_16_62187(_652791))], (2002 ^ _595927) ^ [_652979] : [tptpcol_16_62187(_652979), -(isa(_652979, c_tptpcol_16_62187))], (2008 ^ _595927) ^ [_653167] : [isa(_653167, c_tptpcol_13_92263), -(tptpcol_13_92263(_653167))], (2014 ^ _595927) ^ [_653355] : [tptpcol_13_92263(_653355), -(isa(_653355, c_tptpcol_13_92263))], (2020 ^ _595927) ^ [_653543] : [isa(_653543, c_geolevel_4), -(geolevel_4(_653543))], (2026 ^ _595927) ^ [_653731] : [geolevel_4(_653731), -(isa(_653731, c_geolevel_4))], (2032 ^ _595927) ^ [_653919] : [isa(_653919, c_tptpcol_15_4027), -(tptpcol_15_4027(_653919))], (2038 ^ _595927) ^ [_654107] : [tptpcol_15_4027(_654107), -(isa(_654107, c_tptpcol_15_4027))], (2044 ^ _595927) ^ [_654295] : [isa(_654295, c_pushingwithfingers), -(pushingwithfingers(_654295))], (2050 ^ _595927) ^ [_654483] : [pushingwithfingers(_654483), -(isa(_654483, c_pushingwithfingers))], (2056 ^ _595927) ^ [_654685, _654687] : [affiliatedwith(_654687, _654685), -(agent_generic(_654685))], (2062 ^ _595927) ^ [_654893, _654895] : [affiliatedwith(_654895, _654893), -(agent_generic(_654895))], (2068 ^ _595927) ^ [_655101, _655103] : [affiliatedwith(_655103, _655101), -(affiliatedwith(_655101, _655103))], (2074 ^ _595927) ^ [_655281] : [affiliatedwith(_655281, _655281)], (2076 ^ _595927) ^ [_655374] : [isa(_655374, c_footballteam), -(footballteam(_655374))], (2082 ^ _595927) ^ [_655562] : [footballteam(_655562), -(isa(_655562, c_footballteam))], (2088 ^ _595927) ^ [_655750] : [isa(_655750, c_tptpcol_16_4451), -(tptpcol_16_4451(_655750))], (2094 ^ _595927) ^ [_655938] : [tptpcol_16_4451(_655938), -(isa(_655938, c_tptpcol_16_4451))], (2100 ^ _595927) ^ [_656126] : [isa(_656126, c_pushingwithopenhand), -(pushingwithopenhand(_656126))], (2106 ^ _595927) ^ [_656314] : [pushingwithopenhand(_656314), -(isa(_656314, c_pushingwithopenhand))], (2112 ^ _595927) ^ [_656502] : [isa(_656502, c_tptpcol_15_22076), -(tptpcol_15_22076(_656502))], (2118 ^ _595927) ^ [_656690] : [tptpcol_15_22076(_656690), -(isa(_656690, c_tptpcol_15_22076))], (2124 ^ _595927) ^ [_656863] : [-(natfunction(f_tptpquantityfn_2(_656863), c_tptpquantityfn_2))], (2126 ^ _595927) ^ [_656943] : [-(natargument(f_tptpquantityfn_2(_656943), n_1, _656943))], (2128 ^ _595927) ^ [_657024] : [-(tptpquantity(f_tptpquantityfn_2(_657024)))], (2130 ^ _595927) ^ [_657118] : [isa(_657118, c_tptpcol_7_39939), -(tptpcol_7_39939(_657118))], (2136 ^ _595927) ^ [_657306] : [tptpcol_7_39939(_657306), -(isa(_657306, c_tptpcol_7_39939))], (2142 ^ _595927) ^ [_657494] : [isa(_657494, c_tptpcol_8_39940), -(tptpcol_8_39940(_657494))], (2148 ^ _595927) ^ [_657682] : [tptpcol_8_39940(_657682), -(isa(_657682, c_tptpcol_8_39940))], (2154 ^ _595927) ^ [_657870] : [isa(_657870, c_tptpcol_15_26925), -(tptpcol_15_26925(_657870))], (2160 ^ _595927) ^ [_658058] : [tptpcol_15_26925(_658058), -(isa(_658058, c_tptpcol_15_26925))], (2166 ^ _595927) ^ [_658246] : [isa(_658246, c_tptpcol_16_26926), -(tptpcol_16_26926(_658246))], (2172 ^ _595927) ^ [_658434] : [tptpcol_16_26926(_658434), -(isa(_658434, c_tptpcol_16_26926))], (2178 ^ _595927) ^ [_658622] : [isa(_658622, c_tptpcol_13_118117), -(tptpcol_13_118117(_658622))], (2184 ^ _595927) ^ [_658810] : [tptpcol_13_118117(_658810), -(isa(_658810, c_tptpcol_13_118117))], (2190 ^ _595927) ^ [_658998] : [isa(_658998, c_tptpcol_5_90114), -(tptpcol_5_90114(_658998))], (2196 ^ _595927) ^ [_659186] : [tptpcol_5_90114(_659186), -(isa(_659186, c_tptpcol_5_90114))], (2202 ^ _595927) ^ [_659388, _659390] : [tptptypes_5_802(_659390, _659388), -(firstordercollection(_659388))], (2208 ^ _595927) ^ [_659596, _659598] : [tptptypes_5_802(_659598, _659596), -(firstordercollection(_659598))], (2214 ^ _595927) ^ [_659790] : [isa(_659790, c_tptpcol_16_72795), -(tptpcol_16_72795(_659790))], (2220 ^ _595927) ^ [_659978] : [tptpcol_16_72795(_659978), -(isa(_659978, c_tptpcol_16_72795))], (2226 ^ _595927) ^ [_660166] : [isa(_660166, c_tptpcol_8_114177), -(tptpcol_8_114177(_660166))], (2232 ^ _595927) ^ [_660354] : [tptpcol_8_114177(_660354), -(isa(_660354, c_tptpcol_8_114177))], (2238 ^ _595927) ^ [_660542] : [isa(_660542, c_tptpcol_15_50957), -(tptpcol_15_50957(_660542))], (2244 ^ _595927) ^ [_660730] : [tptpcol_15_50957(_660730), -(isa(_660730, c_tptpcol_15_50957))], (2250 ^ _595927) ^ [_660918] : [isa(_660918, c_tptpcol_16_50958), -(tptpcol_16_50958(_660918))], (2256 ^ _595927) ^ [_661106] : [tptpcol_16_50958(_661106), -(isa(_661106, c_tptpcol_16_50958))], (2262 ^ _595927) ^ [_661294] : [isa(_661294, c_tptpcol_6_71683), -(tptpcol_6_71683(_661294))], (2268 ^ _595927) ^ [_661482] : [tptpcol_6_71683(_661482), -(isa(_661482, c_tptpcol_6_71683))], (2274 ^ _595927) ^ [_661670] : [isa(_661670, c_tptpcol_11_72774), -(tptpcol_11_72774(_661670))], (2280 ^ _595927) ^ [_661858] : [tptpcol_11_72774(_661858), -(isa(_661858, c_tptpcol_11_72774))], (2286 ^ _595927) ^ [_662046] : [isa(_662046, c_tptpcol_12_72775), -(tptpcol_12_72775(_662046))], (2292 ^ _595927) ^ [_662234] : [tptpcol_12_72775(_662234), -(isa(_662234, c_tptpcol_12_72775))], (2298 ^ _595927) ^ [_662422] : [isa(_662422, c_tptpcol_5_110593), -(tptpcol_5_110593(_662422))], (2304 ^ _595927) ^ [_662610] : [tptpcol_5_110593(_662610), -(isa(_662610, c_tptpcol_5_110593))], (2310 ^ _595927) ^ [_662798] : [isa(_662798, c_tptpcol_16_25972), -(tptpcol_16_25972(_662798))], (2316 ^ _595927) ^ [_662986] : [tptpcol_16_25972(_662986), -(isa(_662986, c_tptpcol_16_25972))], (2322 ^ _595927) ^ [_663188, _663190] : [tptp_8_271(_663190, _663188), -(razor(_663188))], (2328 ^ _595927) ^ [_663396, _663398] : [tptp_8_271(_663398, _663396), -(tptpcol_5_24579(_663398))], (2334 ^ _595927) ^ [_663590] : [isa(_663590, c_tptpcol_4_90113), -(tptpcol_4_90113(_663590))], (2340 ^ _595927) ^ [_663778] : [tptpcol_4_90113(_663778), -(isa(_663778, c_tptpcol_4_90113))], (2346 ^ _595927) ^ [_663966] : [isa(_663966, c_tptpcol_10_93700), -(tptpcol_10_93700(_663966))], (2352 ^ _595927) ^ [_664154] : [tptpcol_10_93700(_664154), -(isa(_664154, c_tptpcol_10_93700))], (2358 ^ _595927) ^ [_664342] : [isa(_664342, c_tptpcol_9_93699), -(tptpcol_9_93699(_664342))], (2364 ^ _595927) ^ [_664530] : [tptpcol_9_93699(_664530), -(isa(_664530, c_tptpcol_9_93699))], (2370 ^ _595927) ^ [_664718] : [isa(_664718, c_aspatialthing), -(aspatialthing(_664718))], (2376 ^ _595927) ^ [_664906] : [aspatialthing(_664906), -(isa(_664906, c_aspatialthing))], (2382 ^ _595927) ^ [_665094] : [isa(_665094, c_tptpcol_7_117762), -(tptpcol_7_117762(_665094))], (2388 ^ _595927) ^ [_665282] : [tptpcol_7_117762(_665282), -(isa(_665282, c_tptpcol_7_117762))], (2394 ^ _595927) ^ [_665470] : [isa(_665470, c_tptpcol_8_117763), -(tptpcol_8_117763(_665470))], (2400 ^ _595927) ^ [_665658] : [tptpcol_8_117763(_665658), -(isa(_665658, c_tptpcol_8_117763))], (2406 ^ _595927) ^ [_665846] : [isa(_665846, c_tptpcol_7_18437), -(tptpcol_7_18437(_665846))], (2412 ^ _595927) ^ [_666034] : [tptpcol_7_18437(_666034), -(isa(_666034, c_tptpcol_7_18437))], (2418 ^ _595927) ^ [_666222] : [isa(_666222, c_tptpcol_6_18436), -(tptpcol_6_18436(_666222))], (2424 ^ _595927) ^ [_666410] : [tptpcol_6_18436(_666410), -(isa(_666410, c_tptpcol_6_18436))], (2430 ^ _595927) ^ [_666598] : [isa(_666598, c_tptpcol_8_93698), -(tptpcol_8_93698(_666598))], (2436 ^ _595927) ^ [_666786] : [tptpcol_8_93698(_666786), -(isa(_666786, c_tptpcol_8_93698))], (2442 ^ _595927) ^ [_666974] : [isa(_666974, c_tptpcol_11_109125), -(tptpcol_11_109125(_666974))], (2448 ^ _595927) ^ [_667162] : [tptpcol_11_109125(_667162), -(isa(_667162, c_tptpcol_11_109125))], (2454 ^ _595927) ^ [_667350] : [isa(_667350, c_tptpcol_6_108546), -(tptpcol_6_108546(_667350))], (2460 ^ _595927) ^ [_667538] : [tptpcol_6_108546(_667538), -(isa(_667538, c_tptpcol_6_108546))], (2466 ^ _595927) ^ [_667726] : [isa(_667726, c_tptpcol_6_20484), -(tptpcol_6_20484(_667726))], (2472 ^ _595927) ^ [_667914] : [tptpcol_6_20484(_667914), -(isa(_667914, c_tptpcol_6_20484))], (2478 ^ _595927) ^ [_668116, _668118] : [few(_668118, _668116), -(setorcollection(_668116))], (2484 ^ _595927) ^ [_668324, _668326] : [few(_668326, _668324), -(setorcollection(_668324))], (2490 ^ _595927) ^ [_668532, _668534] : [few(_668534, _668532), -(setorcollection(_668534))], (2496 ^ _595927) ^ [_668740, _668742] : [few(_668742, _668740), -(setorcollection(_668742))], (2502 ^ _595927) ^ [_668962, _668964, _668966] : [-(few(_668966, _668962)), few(_668966, _668964), subsetof(_668962, _668964)], (2512 ^ _595927) ^ [_669257] : [isa(_669257, c_tptpcol_15_130931), -(tptpcol_15_130931(_669257))], (2518 ^ _595927) ^ [_669445] : [tptpcol_15_130931(_669445), -(isa(_669445, c_tptpcol_15_130931))], (2524 ^ _595927) ^ [_669633] : [isa(_669633, c_tptpcol_16_130933), -(tptpcol_16_130933(_669633))], (2530 ^ _595927) ^ [_669821] : [tptpcol_16_130933(_669821), -(isa(_669821, c_tptpcol_16_130933))], (2536 ^ _595927) ^ [_670009] : [isa(_670009, c_tptpcol_7_92163), -(tptpcol_7_92163(_670009))], (2542 ^ _595927) ^ [_670197] : [tptpcol_7_92163(_670197), -(isa(_670197, c_tptpcol_7_92163))], (2548 ^ _595927) ^ [_670385] : [isa(_670385, c_tptpcol_15_130923), -(tptpcol_15_130923(_670385))], (2554 ^ _595927) ^ [_670573] : [tptpcol_15_130923(_670573), -(isa(_670573, c_tptpcol_15_130923))], (2560 ^ _595927) ^ [_670761] : [isa(_670761, c_tptpcol_16_130924), -(tptpcol_16_130924(_670761))], (2566 ^ _595927) ^ [_670949] : [tptpcol_16_130924(_670949), -(isa(_670949, c_tptpcol_16_130924))], (2572 ^ _595927) ^ [_671137] : [isa(_671137, c_intangibleindividual), -(intangibleindividual(_671137))], (2578 ^ _595927) ^ [_671325] : [intangibleindividual(_671325), -(isa(_671325, c_intangibleindividual))], (2584 ^ _595927) ^ [_671512, _671514] : [-(natfunction(f_citynamedfn(_671514, _671512), c_citynamedfn))], (2586 ^ _595927) ^ [_671609, _671611] : [-(natargument(f_citynamedfn(_671611, _671609), n_1, _671611))], (2588 ^ _595927) ^ [_671707, _671709] : [-(natargument(f_citynamedfn(_671709, _671707), n_2, _671707))], (2590 ^ _595927) ^ [_671805, _671807] : [-(city(f_citynamedfn(_671807, _671805)))], (2592 ^ _595927) ^ [_671902] : [isa(_671902, c_tptpcol_13_26920), -(tptpcol_13_26920(_671902))], (2598 ^ _595927) ^ [_672090] : [tptpcol_13_26920(_672090), -(isa(_672090, c_tptpcol_13_26920))], (2604 ^ _595927) ^ [_672278] : [isa(_672278, c_tptpcol_14_26921), -(tptpcol_14_26921(_672278))], (2610 ^ _595927) ^ [_672466] : [tptpcol_14_26921(_672466), -(isa(_672466, c_tptpcol_14_26921))], (2616 ^ _595927) ^ [_672654] : [isa(_672654, c_tptpcol_3_65538), -(tptpcol_3_65538(_672654))], (2622 ^ _595927) ^ [_672842] : [tptpcol_3_65538(_672842), -(isa(_672842, c_tptpcol_3_65538))], (2628 ^ _595927) ^ [_673030] : [isa(_673030, c_tptpcol_16_27189), -(tptpcol_16_27189(_673030))], (2634 ^ _595927) ^ [_673218] : [tptpcol_16_27189(_673218), -(isa(_673218, c_tptpcol_16_27189))], (2640 ^ _595927) ^ [_673420, _673422] : [tptp_9_51(_673422, _673420), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_673420))], (2646 ^ _595927) ^ [_673628, _673630] : [tptp_9_51(_673630, _673628), -(tptpcol_7_26628(_673630))], (2652 ^ _595927) ^ [_673822] : [isa(_673822, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_673822))], (2658 ^ _595927) ^ [_674010] : [reflexivebinarypredicate(_674010), -(isa(_674010, c_reflexivebinarypredicate))], (2664 ^ _595927) ^ [_674198] : [isa(_674198, c_tptpcol_7_21508), -(tptpcol_7_21508(_674198))], (2670 ^ _595927) ^ [_674386] : [tptpcol_7_21508(_674386), -(isa(_674386, c_tptpcol_7_21508))], (2676 ^ _595927) ^ [_674574] : [isa(_674574, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_674574))], (2682 ^ _595927) ^ [_674762] : [hpkb_subnationalagent(_674762), -(isa(_674762, c_hpkb_subnationalagent))], (2688 ^ _595927) ^ [_674950] : [isa(_674950, c_state_geopolitical), -(state_geopolitical(_674950))], (2694 ^ _595927) ^ [_675138] : [state_geopolitical(_675138), -(isa(_675138, c_state_geopolitical))], (2700 ^ _595927) ^ [_675353, _675355, _675357, _675359] : [-(natfunction(f_relationallexistsfn(_675359, _675357, _675355, _675353), c_relationallexistsfn))], (2702 ^ _595927) ^ [_675484, _675486, _675488, _675490] : [-(natargument(f_relationallexistsfn(_675490, _675488, _675486, _675484), n_1, _675490))], (2704 ^ _595927) ^ [_675616, _675618, _675620, _675622] : [-(natargument(f_relationallexistsfn(_675622, _675620, _675618, _675616), n_2, _675620))], (2706 ^ _595927) ^ [_675748, _675750, _675752, _675754] : [-(natargument(f_relationallexistsfn(_675754, _675752, _675750, _675748), n_3, _675750))], (2708 ^ _595927) ^ [_675880, _675882, _675884, _675886] : [-(natargument(f_relationallexistsfn(_675886, _675884, _675882, _675880), n_4, _675880))], (2710 ^ _595927) ^ [_676012, _676014, _676016, _676018] : [-(thing(f_relationallexistsfn(_676018, _676016, _676014, _676012)))], (2712 ^ _595927) ^ [_676129, _676131] : [arg2isa(_676131, _676129), -(collection(_676129))], (2718 ^ _595927) ^ [_676337, _676339] : [arg2isa(_676339, _676337), -(relation(_676339))], (2724 ^ _595927) ^ [_676559, _676561, _676563] : [-(arg2isa(_676563, _676559)), arg2isa(_676563, _676561), genls(_676561, _676559)], (2734 ^ _595927) ^ [_676882, _676884, _676886] : [-(arg2isa(_676886, _676882)), arg2isa(_676886, _676884), genls(_676884, _676882)], (2744 ^ _595927) ^ [_677177] : [isa(_677177, c_geolevel_1), -(geolevel_1(_677177))], (2750 ^ _595927) ^ [_677365] : [geolevel_1(_677365), -(isa(_677365, c_geolevel_1))], (2756 ^ _595927) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _595927) ^ [_677606] : [isa(_677606, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_677606))], (2764 ^ _595927) ^ [_677794] : [spatialthing_nonsituational(_677794), -(isa(_677794, c_spatialthing_nonsituational))], (2770 ^ _595927) ^ [_677982] : [isa(_677982, c_militaryperson), -(militaryperson(_677982))], (2776 ^ _595927) ^ [_678170] : [militaryperson(_678170), -(isa(_678170, c_militaryperson))], (2782 ^ _595927) ^ [_678358] : [isa(_678358, c_tptpcol_15_72793), -(tptpcol_15_72793(_678358))], (2788 ^ _595927) ^ [_678546] : [tptpcol_15_72793(_678546), -(isa(_678546, c_tptpcol_15_72793))], (2794 ^ _595927) ^ [_678734] : [isa(_678734, c_tptpcol_9_26885), -(tptpcol_9_26885(_678734))], (2800 ^ _595927) ^ [_678922] : [tptpcol_9_26885(_678922), -(isa(_678922, c_tptpcol_9_26885))], (2806 ^ _595927) ^ [_679110] : [isa(_679110, c_tptpcol_10_26886), -(tptpcol_10_26886(_679110))], (2812 ^ _595927) ^ [_679298] : [tptpcol_10_26886(_679298), -(isa(_679298, c_tptpcol_10_26886))], (2818 ^ _595927) ^ [_679500, _679502] : [tptptypes_8_823(_679502, _679500), -(firstordercollection(_679500))], (2824 ^ _595927) ^ [_679708, _679710] : [tptptypes_8_823(_679710, _679708), -(firstordercollection(_679710))], (2830 ^ _595927) ^ [_679902] : [isa(_679902, c_tptpcol_16_92269), -(tptpcol_16_92269(_679902))], (2836 ^ _595927) ^ [_680090] : [tptpcol_16_92269(_680090), -(isa(_680090, c_tptpcol_16_92269))], (2842 ^ _595927) ^ [_680278] : [isa(_680278, c_tptpcol_15_109185), -(tptpcol_15_109185(_680278))], (2848 ^ _595927) ^ [_680466] : [tptpcol_15_109185(_680466), -(isa(_680466, c_tptpcol_15_109185))], (2854 ^ _595927) ^ [_680654] : [isa(_680654, c_tptpcol_6_26627), -(tptpcol_6_26627(_680654))], (2860 ^ _595927) ^ [_680842] : [tptpcol_6_26627(_680842), -(isa(_680842, c_tptpcol_6_26627))], (2866 ^ _595927) ^ [_681030] : [isa(_681030, c_tptpcol_12_118116), -(tptpcol_12_118116(_681030))], (2872 ^ _595927) ^ [_681218] : [tptpcol_12_118116(_681218), -(isa(_681218, c_tptpcol_12_118116))], (2878 ^ _595927) ^ [_681406] : [isa(_681406, c_tptpcol_8_18438), -(tptpcol_8_18438(_681406))], (2884 ^ _595927) ^ [_681594] : [tptpcol_8_18438(_681594), -(isa(_681594, c_tptpcol_8_18438))], (2890 ^ _595927) ^ [_681782] : [isa(_681782, c_tptpcol_15_30970), -(tptpcol_15_30970(_681782))], (2896 ^ _595927) ^ [_681970] : [tptpcol_15_30970(_681970), -(isa(_681970, c_tptpcol_15_30970))], (2902 ^ _595927) ^ [_682158] : [isa(_682158, c_tptpcol_16_30972), -(tptpcol_16_30972(_682158))], (2908 ^ _595927) ^ [_682346] : [tptpcol_16_30972(_682346), -(isa(_682346, c_tptpcol_16_30972))], (2914 ^ _595927) ^ [_682534] : [isa(_682534, c_tptpcol_14_109181), -(tptpcol_14_109181(_682534))], (2920 ^ _595927) ^ [_682722] : [tptpcol_14_109181(_682722), -(isa(_682722, c_tptpcol_14_109181))], (2926 ^ _595927) ^ [_682910] : [isa(_682910, c_physicalorderingpredicate), -(physicalorderingpredicate(_682910))], (2932 ^ _595927) ^ [_683098] : [physicalorderingpredicate(_683098), -(isa(_683098, c_physicalorderingpredicate))], (2938 ^ _595927) ^ [_683286] : [isa(_683286, c_tptpcol_16_7738), -(tptpcol_16_7738(_683286))], (2944 ^ _595927) ^ [_683474] : [tptpcol_16_7738(_683474), -(isa(_683474, c_tptpcol_16_7738))], (2950 ^ _595927) ^ [_683676, _683678] : [tptp_8_968(_683678, _683676), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_683676))], (2956 ^ _595927) ^ [_683884, _683886] : [tptp_8_968(_683886, _683884), -(tptpcol_7_7172(_683886))], (2962 ^ _595927) ^ [_684106, _684108, _684110] : [relationexistsall(_684110, _684108, _684106), -(collection(_684106))], (2968 ^ _595927) ^ [_684336, _684338, _684340] : [relationexistsall(_684340, _684338, _684336), -(collection(_684338))], (2974 ^ _595927) ^ [_684566, _684568, _684570] : [relationexistsall(_684570, _684568, _684566), -(binarypredicate(_684570))], (2980 ^ _595927) ^ [_684768] : [isa(_684768, c_tptpcol_7_26628), -(tptpcol_7_26628(_684768))], (2986 ^ _595927) ^ [_684956] : [tptpcol_7_26628(_684956), -(isa(_684956, c_tptpcol_7_26628))], (2992 ^ _595927) ^ [_685144] : [isa(_685144, c_tptpcol_8_26629), -(tptpcol_8_26629(_685144))], (2998 ^ _595927) ^ [_685332] : [tptpcol_8_26629(_685332), -(isa(_685332, c_tptpcol_8_26629))], (3004 ^ _595927) ^ [_685520] : [isa(_685520, c_tptpcol_3_114688), -(tptpcol_3_114688(_685520))], (3010 ^ _595927) ^ [_685708] : [tptpcol_3_114688(_685708), -(isa(_685708, c_tptpcol_3_114688))], (3016 ^ _595927) ^ [_685881] : [-(natfunction(f_contextofpcwfn(_685881), c_contextofpcwfn))], (3018 ^ _595927) ^ [_685961] : [-(natargument(f_contextofpcwfn(_685961), n_1, _685961))], (3020 ^ _595927) ^ [_686042] : [-(microtheory(f_contextofpcwfn(_686042)))], (3022 ^ _595927) ^ [_686150, _686152] : [arg1isa(_686152, _686150), -(collection(_686150))], (3028 ^ _595927) ^ [_686358, _686360] : [arg1isa(_686360, _686358), -(relation(_686360))], (3034 ^ _595927) ^ [_686580, _686582, _686584] : [-(arg1isa(_686584, _686580)), arg1isa(_686584, _686582), genls(_686582, _686580)], (3044 ^ _595927) ^ [_686903, _686905, _686907] : [-(arg1isa(_686907, _686903)), arg1isa(_686907, _686905), genls(_686905, _686903)], (3054 ^ _595927) ^ [_687212, _687214] : [objectfoundinlocation(_687214, _687212), -(spatialthing_nonsituational(_687212))], (3060 ^ _595927) ^ [_687420, _687422] : [objectfoundinlocation(_687422, _687420), -(spatialthing_localized(_687420))], (3066 ^ _595927) ^ [_687628, _687630] : [objectfoundinlocation(_687630, _687628), -(spatialthing_nonsituational(_687630))], (3072 ^ _595927) ^ [_687836, _687838] : [objectfoundinlocation(_687838, _687836), -(spatialthing_localized(_687838))], (3078 ^ _595927) ^ [_688058, _688060, _688062] : [-(objectfoundinlocation(_688062, _688058)), objectfoundinlocation(_688062, _688060), objectfoundinlocation(_688060, _688058)], (3088 ^ _595927) ^ [_688337] : [objectfoundinlocation(_688337, _688337)], (3090 ^ _595927) ^ [_688458, _688460, _688462] : [-(objectfoundinlocation(_688462, _688458)), objectfoundinlocation(_688462, _688460), geopoliticalsubdivision(_688458, _688460)], (3100 ^ _595927) ^ [_688781, _688783, _688785] : [-(objectfoundinlocation(_688785, _688781)), objectfoundinlocation(_688785, _688783), geographicallysubsumes(_688781, _688783)], (3110 ^ _595927) ^ [_689104, _689106, _689108] : [-(objectfoundinlocation(_689108, _689104)), objectfoundinlocation(_689108, _689106), subregions(_689104, _689106)], (3120 ^ _595927) ^ [_689399] : [isa(_689399, c_ship), -(ship(_689399))], (3126 ^ _595927) ^ [_689587] : [ship(_689587), -(isa(_689587, c_ship))], (3132 ^ _595927) ^ [_689788, _689790, _689792] : [-(natfunction(f_subcollectionofwithrelationtofn(_689792, _689790, _689788), c_subcollectionofwithrelationtofn))], (3134 ^ _595927) ^ [_689902, _689904, _689906] : [-(natargument(f_subcollectionofwithrelationtofn(_689906, _689904, _689902), n_1, _689906))], (3136 ^ _595927) ^ [_690017, _690019, _690021] : [-(natargument(f_subcollectionofwithrelationtofn(_690021, _690019, _690017), n_2, _690019))], (3138 ^ _595927) ^ [_690132, _690134, _690136] : [-(natargument(f_subcollectionofwithrelationtofn(_690136, _690134, _690132), n_3, _690132))], (3140 ^ _595927) ^ [_690247, _690249, _690251] : [-(collection(f_subcollectionofwithrelationtofn(_690251, _690249, _690247)))], (3142 ^ _595927) ^ [_690347] : [isa(_690347, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_690347))], (3148 ^ _595927) ^ [_690535] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_690535), -(isa(_690535, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _595927) ^ [_690723] : [isa(_690723, c_tptpcol_4_65539), -(tptpcol_4_65539(_690723))], (3160 ^ _595927) ^ [_690911] : [tptpcol_4_65539(_690911), -(isa(_690911, c_tptpcol_4_65539))], (3166 ^ _595927) ^ [_691099] : [isa(_691099, c_tptpcol_5_69635), -(tptpcol_5_69635(_691099))], (3172 ^ _595927) ^ [_691287] : [tptpcol_5_69635(_691287), -(isa(_691287, c_tptpcol_5_69635))], (3178 ^ _595927) ^ [_691475] : [isa(_691475, c_tptpcol_3_16386), -(tptpcol_3_16386(_691475))], (3184 ^ _595927) ^ [_691663] : [tptpcol_3_16386(_691663), -(isa(_691663, c_tptpcol_3_16386))], (3190 ^ _595927) ^ [_691865, _691867] : [no(_691867, _691865), -(setorcollection(_691865))], (3196 ^ _595927) ^ [_692073, _692075] : [no(_692075, _692073), -(setorcollection(_692075))], (3202 ^ _595927) ^ [_692281, _692283] : [no(_692283, _692281), -(no(_692281, _692283))], (3208 ^ _595927) ^ [_692505, _692507, _692509] : [-(no(_692509, _692505)), no(_692509, _692507), subsetof(_692505, _692507)], (3218 ^ _595927) ^ [_692828, _692830, _692832] : [-(no(_692828, _692830)), no(_692832, _692830), subsetof(_692828, _692832)], (3228 ^ _595927) ^ [_693151, _693153, _693155] : [-(no(_693151, _693153)), no(_693155, _693153), genls(_693151, _693155)], (3238 ^ _595927) ^ [_693474, _693476, _693478] : [-(no(_693478, _693474)), no(_693478, _693476), genls(_693474, _693476)], (3248 ^ _595927) ^ [_693797, _693799, _693801] : [-(no(_693797, _693799)), no(_693801, _693799), subsetof(_693797, _693801)], (3258 ^ _595927) ^ [_694120, _694122, _694124] : [-(no(_694124, _694120)), no(_694124, _694122), subsetof(_694120, _694122)], (3268 ^ _595927) ^ [_694415] : [isa(_694415, c_geographicalregion), -(geographicalregion(_694415))], (3274 ^ _595927) ^ [_694603] : [geographicalregion(_694603), -(isa(_694603, c_geographicalregion))], (3280 ^ _595927) ^ [_694776] : [-(natfunction(f_tptpquantityfn_21(_694776), c_tptpquantityfn_21))], (3282 ^ _595927) ^ [_694856] : [-(natargument(f_tptpquantityfn_21(_694856), n_1, _694856))], (3284 ^ _595927) ^ [_694937] : [-(tptpquantity(f_tptpquantityfn_21(_694937)))], (3286 ^ _595927) ^ [_695045, _695047] : [airporthasiatacode(_695047, _695045), -(stringoflengthfn3(_695045))], (3292 ^ _595927) ^ [_695253, _695255] : [airporthasiatacode(_695255, _695253), -(airport_physical(_695255))], (3298 ^ _595927) ^ [_695447] : [isa(_695447, c_airport_physical), -(airport_physical(_695447))], (3304 ^ _595927) ^ [_695635] : [airport_physical(_695635), -(isa(_695635, c_airport_physical))], (3310 ^ _595927) ^ [_695836, _695838, _695840] : [-(natfunction(f_instancewithrelationtofn(_695840, _695838, _695836), c_instancewithrelationtofn))], (3312 ^ _595927) ^ [_695950, _695952, _695954] : [-(natargument(f_instancewithrelationtofn(_695954, _695952, _695950), n_1, _695954))], (3314 ^ _595927) ^ [_696065, _696067, _696069] : [-(natargument(f_instancewithrelationtofn(_696069, _696067, _696065), n_2, _696067))], (3316 ^ _595927) ^ [_696180, _696182, _696184] : [-(natargument(f_instancewithrelationtofn(_696184, _696182, _696180), n_3, _696180))], (3318 ^ _595927) ^ [_696295, _696297, _696299] : [-(thing(f_instancewithrelationtofn(_696299, _696297, _696295)))], (3320 ^ _595927) ^ [_696395] : [isa(_696395, c_tptpcol_6_112641), -(tptpcol_6_112641(_696395))], (3326 ^ _595927) ^ [_696583] : [tptpcol_6_112641(_696583), -(isa(_696583, c_tptpcol_6_112641))], (3332 ^ _595927) ^ [_696771] : [isa(_696771, c_tptpcol_7_113665), -(tptpcol_7_113665(_696771))], (3338 ^ _595927) ^ [_696959] : [tptpcol_7_113665(_696959), -(isa(_696959, c_tptpcol_7_113665))], (3344 ^ _595927) ^ [_697147] : [isa(_697147, c_artifact), -(artifact(_697147))], (3350 ^ _595927) ^ [_697335] : [artifact(_697335), -(isa(_697335, c_artifact))], (3356 ^ _595927) ^ [_697523] : [isa(_697523, c_tptpcol_13_18664), -(tptpcol_13_18664(_697523))], (3362 ^ _595927) ^ [_697711] : [tptpcol_13_18664(_697711), -(isa(_697711, c_tptpcol_13_18664))], (3368 ^ _595927) ^ [_697899] : [isa(_697899, c_firstordercollection), -(firstordercollection(_697899))], (3374 ^ _595927) ^ [_698087] : [firstordercollection(_698087), -(isa(_698087, c_firstordercollection))], (3380 ^ _595927) ^ [_698260] : [-(natfunction(f_tptpquantityfn_14(_698260), c_tptpquantityfn_14))], (3382 ^ _595927) ^ [_698340] : [-(natargument(f_tptpquantityfn_14(_698340), n_1, _698340))], (3384 ^ _595927) ^ [_698421] : [-(tptpquantity(f_tptpquantityfn_14(_698421)))], (3386 ^ _595927) ^ [_698515] : [isa(_698515, c_supplies), -(supplies(_698515))], (3392 ^ _595927) ^ [_698703] : [supplies(_698703), -(isa(_698703, c_supplies))], (3398 ^ _595927) ^ [_698891] : [isa(_698891, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_698891))], (3404 ^ _595927) ^ [_699079] : [inanimateobject_nonnatural(_699079), -(isa(_699079, c_inanimateobject_nonnatural))], (3410 ^ _595927) ^ [_699267] : [isa(_699267, c_tptpcol_13_22071), -(tptpcol_13_22071(_699267))], (3416 ^ _595927) ^ [_699455] : [tptpcol_13_22071(_699455), -(isa(_699455, c_tptpcol_13_22071))], (3422 ^ _595927) ^ [_699643] : [isa(_699643, c_tptpcol_14_22072), -(tptpcol_14_22072(_699643))], (3428 ^ _595927) ^ [_699831] : [tptpcol_14_22072(_699831), -(isa(_699831, c_tptpcol_14_22072))], (3434 ^ _595927) ^ [_700019] : [isa(_700019, c_tptpcol_7_108547), -(tptpcol_7_108547(_700019))], (3440 ^ _595927) ^ [_700207] : [tptpcol_7_108547(_700207), -(isa(_700207, c_tptpcol_7_108547))], (3446 ^ _595927) ^ [_700395] : [isa(_700395, c_tptpcol_8_109059), -(tptpcol_8_109059(_700395))], (3452 ^ _595927) ^ [_700583] : [tptpcol_8_109059(_700583), -(isa(_700583, c_tptpcol_8_109059))], (3458 ^ _595927) ^ [_700771] : [isa(_700771, c_tptpcol_14_93774), -(tptpcol_14_93774(_700771))], (3464 ^ _595927) ^ [_700959] : [tptpcol_14_93774(_700959), -(isa(_700959, c_tptpcol_14_93774))], (3470 ^ _595927) ^ [_701147] : [isa(_701147, c_tptpcol_15_93775), -(tptpcol_15_93775(_701147))], (3476 ^ _595927) ^ [_701335] : [tptpcol_15_93775(_701335), -(isa(_701335, c_tptpcol_15_93775))], (3482 ^ _595927) ^ [_701523] : [isa(_701523, c_tptpcol_16_8886), -(tptpcol_16_8886(_701523))], (3488 ^ _595927) ^ [_701711] : [tptpcol_16_8886(_701711), -(isa(_701711, c_tptpcol_16_8886))], (3494 ^ _595927) ^ [_701913, _701915] : [orientation(_701915, _701913), -(orientationvector(_701913))], (3500 ^ _595927) ^ [_702121, _702123] : [orientation(_702123, _702121), -(spatialthing_localized(_702123))], (3506 ^ _595927) ^ [_702315] : [isa(_702315, c_orientationvector), -(orientationvector(_702315))], (3512 ^ _595927) ^ [_702503] : [orientationvector(_702503), -(isa(_702503, c_orientationvector))], (3518 ^ _595927) ^ [_702691] : [isa(_702691, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_702691))], (3524 ^ _595927) ^ [_702879] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_702879), -(isa(_702879, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _595927) ^ [_703081, _703083] : [tptptypes_9_824(_703083, _703081), -(firstordercollection(_703081))], (3536 ^ _595927) ^ [_703289, _703291] : [tptptypes_9_824(_703291, _703289), -(firstordercollection(_703291))], (3542 ^ _595927) ^ [_703497, _703499] : [tptptypes_7_396(_703499, _703497), -(firstordercollection(_703497))], (3548 ^ _595927) ^ [_703705, _703707] : [tptptypes_7_396(_703707, _703705), -(firstordercollection(_703707))], (3554 ^ _595927) ^ [_703899] : [isa(_703899, c_tptpcol_12_22055), -(tptpcol_12_22055(_703899))], (3560 ^ _595927) ^ [_704087] : [tptpcol_12_22055(_704087), -(isa(_704087, c_tptpcol_12_22055))], (3566 ^ _595927) ^ [_704275] : [isa(_704275, c_tptpcol_16_29490), -(tptpcol_16_29490(_704275))], (3572 ^ _595927) ^ [_704463] : [tptpcol_16_29490(_704463), -(isa(_704463, c_tptpcol_16_29490))], (3578 ^ _595927) ^ [_704665, _704667] : [tptp_9_720(_704667, _704665), -(tptpcol_5_28674(_704665))], (3584 ^ _595927) ^ [_704873, _704875] : [tptp_9_720(_704875, _704873), -(executionbyfiringsquad(_704875))], (3590 ^ _595927) ^ [_705067] : [isa(_705067, c_runningshorts), -(runningshorts(_705067))], (3596 ^ _595927) ^ [_705255] : [runningshorts(_705255), -(isa(_705255, c_runningshorts))], (3602 ^ _595927) ^ [_705443] : [isa(_705443, c_tptpcol_9_118019), -(tptpcol_9_118019(_705443))], (3608 ^ _595927) ^ [_705631] : [tptpcol_9_118019(_705631), -(isa(_705631, c_tptpcol_9_118019))], (3614 ^ _595927) ^ [_705819] : [isa(_705819, c_tptpcol_16_31868), -(tptpcol_16_31868(_705819))], (3620 ^ _595927) ^ [_706007] : [tptpcol_16_31868(_706007), -(isa(_706007, c_tptpcol_16_31868))], (3626 ^ _595927) ^ [_706195] : [isa(_706195, c_movement_translationevent), -(movement_translationevent(_706195))], (3632 ^ _595927) ^ [_706383] : [movement_translationevent(_706383), -(isa(_706383, c_movement_translationevent))], (3638 ^ _595927) ^ [_706585, _706587] : [directionoftranslation_throughout(_706587, _706585), -(unitvectorinterval(_706585))], (3644 ^ _595927) ^ [_706793, _706795] : [directionoftranslation_throughout(_706795, _706793), -(movement_translationevent(_706795))], (3650 ^ _595927) ^ [_707015, _707017, _707019] : [-(directionoftranslation_throughout(_707015, _707017)), directionoftranslation_throughout(_707019, _707017), subevents(_707019, _707015)], (3660 ^ _595927) ^ [_707310] : [isa(_707310, c_unitvectorinterval), -(unitvectorinterval(_707310))], (3666 ^ _595927) ^ [_707498] : [unitvectorinterval(_707498), -(isa(_707498, c_unitvectorinterval))], (3672 ^ _595927) ^ [_707686] : [isa(_707686, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_707686))], (3678 ^ _595927) ^ [_707874] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_707874), -(isa(_707874, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _595927) ^ [_708076, _708078] : [tptp_8_875(_708078, _708076), -(tptpcol_4_24578(_708076))], (3690 ^ _595927) ^ [_708284, _708286] : [tptp_8_875(_708286, _708284), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708286))], (3696 ^ _595927) ^ [_708506, _708508, _708510] : [relationallexists(_708510, _708508, _708506), -(collection(_708506))], (3702 ^ _595927) ^ [_708736, _708738, _708740] : [relationallexists(_708740, _708738, _708736), -(collection(_708738))], (3708 ^ _595927) ^ [_708966, _708968, _708970] : [relationallexists(_708970, _708968, _708966), -(binarypredicate(_708970))], (3714 ^ _595927) ^ [_709168] : [isa(_709168, c_tptpcol_16_10258), -(tptpcol_16_10258(_709168))], (3720 ^ _595927) ^ [_709356] : [tptpcol_16_10258(_709356), -(isa(_709356, c_tptpcol_16_10258))], (3726 ^ _595927) ^ [_709544] : [isa(_709544, c_pushingababycarriage), -(pushingababycarriage(_709544))], (3732 ^ _595927) ^ [_709732] : [pushingababycarriage(_709732), -(isa(_709732, c_pushingababycarriage))], (3738 ^ _595927) ^ [_709920] : [isa(_709920, c_aspatialinformationstore), -(aspatialinformationstore(_709920))], (3744 ^ _595927) ^ [_710108] : [aspatialinformationstore(_710108), -(isa(_710108, c_aspatialinformationstore))], (3750 ^ _595927) ^ [_710296] : [isa(_710296, c_collection), -(collection(_710296))], (3756 ^ _595927) ^ [_710484] : [collection(_710484), -(isa(_710484, c_collection))], (3762 ^ _595927) ^ [_710672] : [isa(_710672, c_fixedordercollection), -(fixedordercollection(_710672))], (3768 ^ _595927) ^ [_710860] : [fixedordercollection(_710860), -(isa(_710860, c_fixedordercollection))], (3774 ^ _595927) ^ [_711048] : [isa(_711048, c_tptpcol_8_92164), -(tptpcol_8_92164(_711048))], (3780 ^ _595927) ^ [_711236] : [tptpcol_8_92164(_711236), -(isa(_711236, c_tptpcol_8_92164))], (3786 ^ _595927) ^ [_711424] : [isa(_711424, c_tptpcol_9_92165), -(tptpcol_9_92165(_711424))], (3792 ^ _595927) ^ [_711612] : [tptpcol_9_92165(_711612), -(isa(_711612, c_tptpcol_9_92165))], (3798 ^ _595927) ^ [_711800] : [isa(_711800, c_tptpcol_1_1), -(tptpcol_1_1(_711800))], (3804 ^ _595927) ^ [_711988] : [tptpcol_1_1(_711988), -(isa(_711988, c_tptpcol_1_1))], (3810 ^ _595927) ^ [_712176] : [isa(_712176, c_tptpcol_2_2), -(tptpcol_2_2(_712176))], (3816 ^ _595927) ^ [_712364] : [tptpcol_2_2(_712364), -(isa(_712364, c_tptpcol_2_2))], (3822 ^ _595927) ^ [_712566, _712568] : [tptptypes_7_691(_712568, _712566), -(firstordercollection(_712566))], (3828 ^ _595927) ^ [_712774, _712776] : [tptptypes_7_691(_712776, _712774), -(firstordercollection(_712776))], (3834 ^ _595927) ^ [_712968] : [isa(_712968, c_tptpcol_11_26887), -(tptpcol_11_26887(_712968))], (3840 ^ _595927) ^ [_713156] : [tptpcol_11_26887(_713156), -(isa(_713156, c_tptpcol_11_26887))], (3846 ^ _595927) ^ [_713344] : [isa(_713344, c_tptpcol_12_26919), -(tptpcol_12_26919(_713344))], (3852 ^ _595927) ^ [_713532] : [tptpcol_12_26919(_713532), -(isa(_713532, c_tptpcol_12_26919))], (3858 ^ _595927) ^ [_713734, _713736] : [tptptypes_6_818(_713736, _713734), -(firstordercollection(_713734))], (3864 ^ _595927) ^ [_713942, _713944] : [tptptypes_6_818(_713944, _713942), -(firstordercollection(_713944))], (3870 ^ _595927) ^ [_714150, _714152] : [tptptypes_7_819(_714152, _714150), -(firstordercollection(_714150))], (3876 ^ _595927) ^ [_714358, _714360] : [tptptypes_7_819(_714360, _714358), -(firstordercollection(_714360))], (3882 ^ _595927) ^ [_714552] : [isa(_714552, c_correctivelensprescription), -(correctivelensprescription(_714552))], (3888 ^ _595927) ^ [_714740] : [correctivelensprescription(_714740), -(isa(_714740, c_correctivelensprescription))], (3894 ^ _595927) ^ [_714942, _714944] : [products(_714944, _714942), -(artifact(_714942))], (3900 ^ _595927) ^ [_715150, _715152] : [products(_715152, _715150), -(creationordestructionevent(_715152))], (3906 ^ _595927) ^ [_715344] : [isa(_715344, c_issuingaprescription), -(issuingaprescription(_715344))], (3912 ^ _595927) ^ [_715532] : [issuingaprescription(_715532), -(isa(_715532, c_issuingaprescription))], (3918 ^ _595927) ^ [_715733, _715735, _715737] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_715737, _715735, _715733), c_subcollectionofwithrelationtotypefn))], (3920 ^ _595927) ^ [_715847, _715849, _715851] : [-(natargument(f_subcollectionofwithrelationtotypefn(_715851, _715849, _715847), n_1, _715851))], (3922 ^ _595927) ^ [_715962, _715964, _715966] : [-(natargument(f_subcollectionofwithrelationtotypefn(_715966, _715964, _715962), n_2, _715964))], (3924 ^ _595927) ^ [_716077, _716079, _716081] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716081, _716079, _716077), n_3, _716077))], (3926 ^ _595927) ^ [_716192, _716194, _716196] : [-(collection(f_subcollectionofwithrelationtotypefn(_716196, _716194, _716192)))], (3928 ^ _595927) ^ [_716292] : [isa(_716292, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_716292))], (3934 ^ _595927) ^ [_716480] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_716480), -(isa(_716480, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _595927) ^ [_716668] : [isa(_716668, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_716668))], (3946 ^ _595927) ^ [_716856] : [mathematicalorcomputationalthing(_716856), -(isa(_716856, c_mathematicalorcomputationalthing))], (3952 ^ _595927) ^ [_717044] : [isa(_717044, c_tptpcol_10_118020), -(tptpcol_10_118020(_717044))], (3958 ^ _595927) ^ [_717232] : [tptpcol_10_118020(_717232), -(isa(_717232, c_tptpcol_10_118020))], (3964 ^ _595927) ^ [_717420] : [isa(_717420, c_tptpcol_11_118084), -(tptpcol_11_118084(_717420))], (3970 ^ _595927) ^ [_717608] : [tptpcol_11_118084(_717608), -(isa(_717608, c_tptpcol_11_118084))], (3976 ^ _595927) ^ [_717796] : [isa(_717796, c_terroristgroup), -(terroristgroup(_717796))], (3982 ^ _595927) ^ [_717984] : [terroristgroup(_717984), -(isa(_717984, c_terroristgroup))], (3988 ^ _595927) ^ [_718186, _718188] : [hasmembers(_718188, _718186), -(agent_generic(_718186))], (3994 ^ _595927) ^ [_718394, _718396] : [hasmembers(_718396, _718394), -(organization(_718396))], (4000 ^ _595927) ^ [_718588] : [isa(_718588, c_terrorist), -(terrorist(_718588))], (4006 ^ _595927) ^ [_718776] : [terrorist(_718776), -(isa(_718776, c_terrorist))], (4012 ^ _595927) ^ [_718977, _718979, _718981] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_718981, _718979, _718977), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _595927) ^ [_719091, _719093, _719095] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719095, _719093, _719091), n_1, _719095))], (4016 ^ _595927) ^ [_719206, _719208, _719210] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719210, _719208, _719206), n_2, _719208))], (4018 ^ _595927) ^ [_719321, _719323, _719325] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719325, _719323, _719321), n_3, _719321))], (4020 ^ _595927) ^ [_719436, _719438, _719440] : [-(collection(f_subcollectionofwithrelationfromtypefn(_719440, _719438, _719436)))], (4022 ^ _595927) ^ [_719536] : [isa(_719536, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_719536))], (4028 ^ _595927) ^ [_719724] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_719724), -(isa(_719724, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _595927) ^ [_719926, _719928] : [prettystring(_719928, _719926), -(controlcharacterfreestring(_719926))], (4040 ^ _595927) ^ [_720134, _720136] : [prettystring(_720136, _720134), -(thing(_720136))], (4046 ^ _595927) ^ [_720328] : [isa(_720328, c_tptpcol_0_0), -(tptpcol_0_0(_720328))], (4052 ^ _595927) ^ [_720516] : [tptpcol_0_0(_720516), -(isa(_720516, c_tptpcol_0_0))], (4058 ^ _595927) ^ [_720704] : [isa(_720704, c_geolevel_3), -(geolevel_3(_720704))], (4064 ^ _595927) ^ [_720892] : [geolevel_3(_720892), -(isa(_720892, c_geolevel_3))], (4070 ^ _595927) ^ [_721080] : [isa(_721080, c_tptpcol_4_24578), -(tptpcol_4_24578(_721080))], (4076 ^ _595927) ^ [_721268] : [tptpcol_4_24578(_721268), -(isa(_721268, c_tptpcol_4_24578))], (4082 ^ _595927) ^ [_721456] : [isa(_721456, c_tptpcol_5_24579), -(tptpcol_5_24579(_721456))], (4088 ^ _595927) ^ [_721644] : [tptpcol_5_24579(_721644), -(isa(_721644, c_tptpcol_5_24579))], (4094 ^ _595927) ^ [_721832] : [isa(_721832, c_tptpcol_5_106498), -(tptpcol_5_106498(_721832))], (4100 ^ _595927) ^ [_722020] : [tptpcol_5_106498(_722020), -(isa(_722020, c_tptpcol_5_106498))], (4106 ^ _595927) ^ [_722208] : [isa(_722208, c_tptpcol_12_109157), -(tptpcol_12_109157(_722208))], (4112 ^ _595927) ^ [_722396] : [tptpcol_12_109157(_722396), -(isa(_722396, c_tptpcol_12_109157))], (4118 ^ _595927) ^ [_722584] : [isa(_722584, c_tptpcol_13_109173), -(tptpcol_13_109173(_722584))], (4124 ^ _595927) ^ [_722772] : [tptpcol_13_109173(_722772), -(isa(_722772, c_tptpcol_13_109173))], (4130 ^ _595927) ^ [_722960] : [isa(_722960, c_mathematicalthing), -(mathematicalthing(_722960))], (4136 ^ _595927) ^ [_723148] : [mathematicalthing(_723148), -(isa(_723148, c_mathematicalthing))], (4142 ^ _595927) ^ [_723336] : [isa(_723336, c_setorcollection), -(setorcollection(_723336))], (4148 ^ _595927) ^ [_723524] : [setorcollection(_723524), -(isa(_723524, c_setorcollection))], (4154 ^ _595927) ^ [_723712] : [isa(_723712, c_tptpcol_11_18631), -(tptpcol_11_18631(_723712))], (4160 ^ _595927) ^ [_723900] : [tptpcol_11_18631(_723900), -(isa(_723900, c_tptpcol_11_18631))], (4166 ^ _595927) ^ [_724088] : [isa(_724088, c_tptpcol_12_18663), -(tptpcol_12_18663(_724088))], (4172 ^ _595927) ^ [_724276] : [tptpcol_12_18663(_724276), -(isa(_724276, c_tptpcol_12_18663))], (4178 ^ _595927) ^ [_724478, _724480] : [tptptypes_8_400(_724480, _724478), -(firstordercollection(_724478))], (4184 ^ _595927) ^ [_724686, _724688] : [tptptypes_8_400(_724688, _724686), -(firstordercollection(_724688))], (4190 ^ _595927) ^ [_724894, _724896] : [tptptypes_9_401(_724896, _724894), -(firstordercollection(_724894))], (4196 ^ _595927) ^ [_725102, _725104] : [tptptypes_9_401(_725104, _725102), -(firstordercollection(_725104))], (4202 ^ _595927) ^ [_725281] : [-(natfunction(f_tptpquantityfn_13(_725281), c_tptpquantityfn_13))], (4204 ^ _595927) ^ [_725361] : [-(natargument(f_tptpquantityfn_13(_725361), n_1, _725361))], (4206 ^ _595927) ^ [_725442] : [-(tptpquantity(f_tptpquantityfn_13(_725442)))], (4208 ^ _595927) ^ [_725550, _725552] : [borderson(_725552, _725550), -(geographicalregion(_725550))], (4214 ^ _595927) ^ [_725758, _725760] : [borderson(_725760, _725758), -(geographicalregion(_725760))], (4220 ^ _595927) ^ [_725966, _725968] : [borderson(_725968, _725966), -(borderson(_725966, _725968))], (4226 ^ _595927) ^ [_726146] : [borderson(_726146, _726146)], (4228 ^ _595927) ^ [_726239] : [isa(_726239, c_tptpcol_14_92264), -(tptpcol_14_92264(_726239))], (4234 ^ _595927) ^ [_726427] : [tptpcol_14_92264(_726427), -(isa(_726427, c_tptpcol_14_92264))], (4240 ^ _595927) ^ [_726615] : [isa(_726615, c_tptpcol_15_92268), -(tptpcol_15_92268(_726615))], (4246 ^ _595927) ^ [_726803] : [tptpcol_15_92268(_726803), -(isa(_726803, c_tptpcol_15_92268))], (4252 ^ _595927) ^ [_726991] : [isa(_726991, c_tptpcol_6_116738), -(tptpcol_6_116738(_726991))], (4258 ^ _595927) ^ [_727179] : [tptpcol_6_116738(_727179), -(isa(_727179, c_tptpcol_6_116738))], (4264 ^ _595927) ^ [_727381, _727383] : [tptptypes_5_387(_727383, _727381), -(firstordercollection(_727381))], (4270 ^ _595927) ^ [_727589, _727591] : [tptptypes_5_387(_727591, _727589), -(firstordercollection(_727591))], (4276 ^ _595927) ^ [_727797, _727799] : [tptptypes_6_388(_727799, _727797), -(firstordercollection(_727797))], (4282 ^ _595927) ^ [_728005, _728007] : [tptptypes_6_388(_728007, _728005), -(firstordercollection(_728007))], (4288 ^ _595927) ^ [_728199] : [isa(_728199, c_shavingrazor_manual), -(shavingrazor_manual(_728199))], (4294 ^ _595927) ^ [_728387] : [shavingrazor_manual(_728387), -(isa(_728387, c_shavingrazor_manual))], (4300 ^ _595927) ^ [_728575] : [isa(_728575, c_tptpcol_9_109060), -(tptpcol_9_109060(_728575))], (4306 ^ _595927) ^ [_728763] : [tptpcol_9_109060(_728763), -(isa(_728763, c_tptpcol_9_109060))], (4312 ^ _595927) ^ [_728951] : [isa(_728951, c_tptpcol_10_109061), -(tptpcol_10_109061(_728951))], (4318 ^ _595927) ^ [_729139] : [tptpcol_10_109061(_729139), -(isa(_729139, c_tptpcol_10_109061))], (4324 ^ _595927) ^ [_729327] : [isa(_729327, c_executionbyfiringsquad), -(executionbyfiringsquad(_729327))], (4330 ^ _595927) ^ [_729515] : [executionbyfiringsquad(_729515), -(isa(_729515, c_executionbyfiringsquad))], (4336 ^ _595927) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _595927) ^ [_729756] : [isa(_729756, c_navypersonnel), -(navypersonnel(_729756))], (4344 ^ _595927) ^ [_729944] : [navypersonnel(_729944), -(isa(_729944, c_navypersonnel))], (4350 ^ _595927) ^ [_730132] : [isa(_730132, c_tptpcol_12_92262), -(tptpcol_12_92262(_730132))], (4356 ^ _595927) ^ [_730320] : [tptpcol_12_92262(_730320), -(isa(_730320, c_tptpcol_12_92262))], (4362 ^ _595927) ^ [_730508] : [isa(_730508, c_thing), -(thing(_730508))], (4368 ^ _595927) ^ [_730696] : [thing(_730696), -(isa(_730696, c_thing))], (4374 ^ _595927) ^ [_730884] : [isa(_730884, c_computerdataartifact), -(computerdataartifact(_730884))], (4380 ^ _595927) ^ [_731072] : [computerdataartifact(_731072), -(isa(_731072, c_computerdataartifact))], (4386 ^ _595927) ^ [_731260] : [isa(_731260, c_applicationcontext), -(applicationcontext(_731260))], (4392 ^ _595927) ^ [_731448] : [applicationcontext(_731448), -(isa(_731448, c_applicationcontext))], (4398 ^ _595927) ^ [_731650, _731652] : [inregion(_731652, _731650), -(spatialthing_nonsituational(_731650))], (4404 ^ _595927) ^ [_731858, _731860] : [inregion(_731860, _731858), -(spatialthing_nonsituational(_731860))], (4410 ^ _595927) ^ [_732080, _732082, _732084] : [-(inregion(_732084, _732080)), inregion(_732084, _732082), inregion(_732082, _732080)], (4420 ^ _595927) ^ [_732375] : [spatialthing_nonsituational(_732375), -(inregion(_732375, _732375))], (4426 ^ _595927) ^ [_732548] : [-(natfunction(f_tptpquantityfn_1(_732548), c_tptpquantityfn_1))], (4428 ^ _595927) ^ [_732628] : [-(natargument(f_tptpquantityfn_1(_732628), n_1, _732628))], (4430 ^ _595927) ^ [_732709] : [-(tptpquantity(f_tptpquantityfn_1(_732709)))], (4432 ^ _595927) ^ [_732803] : [isa(_732803, c_furpelt), -(furpelt(_732803))], (4438 ^ _595927) ^ [_732991] : [furpelt(_732991), -(isa(_732991, c_furpelt))], (4444 ^ _595927) ^ [_733193, _733195] : [tptpofobject(_733195, _733193), -(tptpquantity(_733193))], (4450 ^ _595927) ^ [_733401, _733403] : [tptpofobject(_733403, _733401), -(partiallytangible(_733403))], (4456 ^ _595927) ^ [_733623, _733625, _733627] : [relationallinstance(_733627, _733625, _733623), -(thing(_733623))], (4462 ^ _595927) ^ [_733853, _733855, _733857] : [relationallinstance(_733857, _733855, _733853), -(collection(_733855))], (4468 ^ _595927) ^ [_734083, _734085, _734087] : [relationallinstance(_734087, _734085, _734083), -(binarypredicate(_734087))], (4474 ^ _595927) ^ [_734285] : [isa(_734285, c_tptpcol_13_93766), -(tptpcol_13_93766(_734285))], (4480 ^ _595927) ^ [_734473] : [tptpcol_13_93766(_734473), -(isa(_734473, c_tptpcol_13_93766))], (4486 ^ _595927) ^ [_734661] : [isa(_734661, c_tptpcol_9_40196), -(tptpcol_9_40196(_734661))], (4492 ^ _595927) ^ [_734849] : [tptpcol_9_40196(_734849), -(isa(_734849, c_tptpcol_9_40196))], (4498 ^ _595927) ^ [_735037] : [isa(_735037, c_tptpcol_10_40324), -(tptpcol_10_40324(_735037))], (4504 ^ _595927) ^ [_735225] : [tptpcol_10_40324(_735225), -(isa(_735225, c_tptpcol_10_40324))], (4510 ^ _595927) ^ [_735413] : [isa(_735413, c_tptpcol_7_72707), -(tptpcol_7_72707(_735413))], (4516 ^ _595927) ^ [_735601] : [tptpcol_7_72707(_735601), -(isa(_735601, c_tptpcol_7_72707))], (4522 ^ _595927) ^ [_735789] : [isa(_735789, c_tptpcol_8_72708), -(tptpcol_8_72708(_735789))], (4528 ^ _595927) ^ [_735977] : [tptpcol_8_72708(_735977), -(isa(_735977, c_tptpcol_8_72708))], (4534 ^ _595927) ^ [_736165] : [isa(_736165, c_tptpcol_11_93764), -(tptpcol_11_93764(_736165))], (4540 ^ _595927) ^ [_736353] : [tptpcol_11_93764(_736353), -(isa(_736353, c_tptpcol_11_93764))], (4546 ^ _595927) ^ [_736541] : [isa(_736541, c_tptpcol_12_93765), -(tptpcol_12_93765(_736541))], (4552 ^ _595927) ^ [_736729] : [tptpcol_12_93765(_736729), -(isa(_736729, c_tptpcol_12_93765))], (4558 ^ _595927) ^ [_736917] : [isa(_736917, c_tptpcol_4_114689), -(tptpcol_4_114689(_736917))], (4564 ^ _595927) ^ [_737105] : [tptpcol_4_114689(_737105), -(isa(_737105, c_tptpcol_4_114689))], (4570 ^ _595927) ^ [_737293] : [isa(_737293, c_tptpcol_5_114690), -(tptpcol_5_114690(_737293))], (4576 ^ _595927) ^ [_737481] : [tptpcol_5_114690(_737481), -(isa(_737481, c_tptpcol_5_114690))], (4582 ^ _595927) ^ [_737669] : [isa(_737669, c_tptpcol_3_98305), -(tptpcol_3_98305(_737669))], (4588 ^ _595927) ^ [_737857] : [tptpcol_3_98305(_737857), -(isa(_737857, c_tptpcol_3_98305))], (4594 ^ _595927) ^ [_738045] : [isa(_738045, c_tptpcol_4_106497), -(tptpcol_4_106497(_738045))], (4600 ^ _595927) ^ [_738233] : [tptpcol_4_106497(_738233), -(isa(_738233, c_tptpcol_4_106497))], (4606 ^ _595927) ^ [_738448, _738450, _738452, _738454] : [-(natfunction(f_relationexistsallfn(_738454, _738452, _738450, _738448), c_relationexistsallfn))], (4608 ^ _595927) ^ [_738579, _738581, _738583, _738585] : [-(natargument(f_relationexistsallfn(_738585, _738583, _738581, _738579), n_1, _738585))], (4610 ^ _595927) ^ [_738711, _738713, _738715, _738717] : [-(natargument(f_relationexistsallfn(_738717, _738715, _738713, _738711), n_2, _738715))], (4612 ^ _595927) ^ [_738843, _738845, _738847, _738849] : [-(natargument(f_relationexistsallfn(_738849, _738847, _738845, _738843), n_3, _738845))], (4614 ^ _595927) ^ [_738975, _738977, _738979, _738981] : [-(natargument(f_relationexistsallfn(_738981, _738979, _738977, _738975), n_4, _738975))], (4616 ^ _595927) ^ [_739107, _739109, _739111, _739113] : [-(thing(f_relationexistsallfn(_739113, _739111, _739109, _739107)))], (4618 ^ _595927) ^ [_739224, _739226] : [resultisaarg(_739226, _739224), -(positiveinteger(_739224))], (4624 ^ _595927) ^ [_739432, _739434] : [resultisaarg(_739434, _739432), -(function_denotational(_739434))], (4630 ^ _595927) ^ [_739640, _739642] : [tptptypes_7_389(_739642, _739640), -(firstordercollection(_739640))], (4636 ^ _595927) ^ [_739848, _739850] : [tptptypes_7_389(_739850, _739848), -(firstordercollection(_739850))], (4642 ^ _595927) ^ [_740056, _740058] : [tptptypes_8_390(_740058, _740056), -(firstordercollection(_740056))], (4648 ^ _595927) ^ [_740264, _740266] : [tptptypes_8_390(_740266, _740264), -(firstordercollection(_740266))], (4654 ^ _595927) ^ [_740472, _740474] : [tptptypes_8_692(_740474, _740472), -(firstordercollection(_740472))], (4660 ^ _595927) ^ [_740680, _740682] : [tptptypes_8_692(_740682, _740680), -(firstordercollection(_740682))], (4666 ^ _595927) ^ [_740888, _740890] : [tptptypes_9_693(_740890, _740888), -(firstordercollection(_740888))], (4672 ^ _595927) ^ [_741096, _741098] : [tptptypes_9_693(_741098, _741096), -(firstordercollection(_741098))], (4678 ^ _595927) ^ [_741290] : [isa(_741290, c_tptpcol_11_40388), -(tptpcol_11_40388(_741290))], (4684 ^ _595927) ^ [_741478] : [tptpcol_11_40388(_741478), -(isa(_741478, c_tptpcol_11_40388))], (4690 ^ _595927) ^ [_741666] : [isa(_741666, c_marriagelicensedocument), -(marriagelicensedocument(_741666))], (4696 ^ _595927) ^ [_741854] : [marriagelicensedocument(_741854), -(isa(_741854, c_marriagelicensedocument))], (4702 ^ _595927) ^ [_742042] : [isa(_742042, c_tptpcol_1_65536), -(tptpcol_1_65536(_742042))], (4708 ^ _595927) ^ [_742230] : [tptpcol_1_65536(_742230), -(isa(_742230, c_tptpcol_1_65536))], (4714 ^ _595927) ^ [_742418] : [isa(_742418, c_tptpcol_2_98304), -(tptpcol_2_98304(_742418))], (4720 ^ _595927) ^ [_742606] : [tptpcol_2_98304(_742606), -(isa(_742606, c_tptpcol_2_98304))], (4726 ^ _595927) ^ [_742794] : [isa(_742794, c_tptpcol_10_92166), -(tptpcol_10_92166(_742794))], (4732 ^ _595927) ^ [_742982] : [tptpcol_10_92166(_742982), -(isa(_742982, c_tptpcol_10_92166))], (4738 ^ _595927) ^ [_743170] : [isa(_743170, c_tptpcol_11_92230), -(tptpcol_11_92230(_743170))], (4744 ^ _595927) ^ [_743358] : [tptpcol_11_92230(_743358), -(isa(_743358, c_tptpcol_11_92230))], (4750 ^ _595927) ^ [_743546] : [isa(_743546, c_orderingpredicate), -(orderingpredicate(_743546))], (4756 ^ _595927) ^ [_743734] : [orderingpredicate(_743734), -(isa(_743734, c_orderingpredicate))], (4762 ^ _595927) ^ [_743922] : [isa(_743922, c_tptpcol_9_18439), -(tptpcol_9_18439(_743922))], (4768 ^ _595927) ^ [_744110] : [tptpcol_9_18439(_744110), -(isa(_744110, c_tptpcol_9_18439))], (4774 ^ _595927) ^ [_744298] : [isa(_744298, c_tptpcol_10_18567), -(tptpcol_10_18567(_744298))], (4780 ^ _595927) ^ [_744486] : [tptpcol_10_18567(_744486), -(isa(_744486, c_tptpcol_10_18567))], (4786 ^ _595927) ^ [_744674] : [isa(_744674, c_tptpcol_2_65537), -(tptpcol_2_65537(_744674))], (4792 ^ _595927) ^ [_744862] : [tptpcol_2_65537(_744862), -(isa(_744862, c_tptpcol_2_65537))], (4798 ^ _595927) ^ [_745050] : [isa(_745050, c_tptpcol_3_81921), -(tptpcol_3_81921(_745050))], (4804 ^ _595927) ^ [_745238] : [tptpcol_3_81921(_745238), -(isa(_745238, c_tptpcol_3_81921))], (4810 ^ _595927) ^ [_745426] : [isa(_745426, c_artsupplies), -(artsupplies(_745426))], (4816 ^ _595927) ^ [_745614] : [artsupplies(_745614), -(isa(_745614, c_artsupplies))], (4822 ^ _595927) ^ [_745802] : [isa(_745802, c_enduringthing_localized), -(enduringthing_localized(_745802))], (4828 ^ _595927) ^ [_745990] : [enduringthing_localized(_745990), -(isa(_745990, c_enduringthing_localized))], (4834 ^ _595927) ^ [_746178] : [isa(_746178, c_location_underspecified), -(location_underspecified(_746178))], (4840 ^ _595927) ^ [_746366] : [location_underspecified(_746366), -(isa(_746366, c_location_underspecified))], (4846 ^ _595927) ^ [_746554] : [isa(_746554, c_trajector_underspecified), -(trajector_underspecified(_746554))], (4852 ^ _595927) ^ [_746742] : [trajector_underspecified(_746742), -(isa(_746742, c_trajector_underspecified))], (4858 ^ _595927) ^ [_746930] : [isa(_746930, c_individual), -(individual(_746930))], (4864 ^ _595927) ^ [_747118] : [individual(_747118), -(isa(_747118, c_individual))], (4870 ^ _595927) ^ [_747306] : [isa(_747306, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_747306))], (4876 ^ _595927) ^ [_747494] : [partiallyintangibleindividual(_747494), -(isa(_747494, c_partiallyintangibleindividual))], (4882 ^ _595927) ^ [_747682] : [isa(_747682, c_tptpcol_10_22022), -(tptpcol_10_22022(_747682))], (4888 ^ _595927) ^ [_747870] : [tptpcol_10_22022(_747870), -(isa(_747870, c_tptpcol_10_22022))], (4894 ^ _595927) ^ [_748058] : [isa(_748058, c_tptpcol_11_22023), -(tptpcol_11_22023(_748058))], (4900 ^ _595927) ^ [_748246] : [tptpcol_11_22023(_748246), -(isa(_748246, c_tptpcol_11_22023))], (4906 ^ _595927) ^ [_748434] : [isa(_748434, c_tptpcol_5_20483), -(tptpcol_5_20483(_748434))], (4912 ^ _595927) ^ [_748622] : [tptpcol_5_20483(_748622), -(isa(_748622, c_tptpcol_5_20483))], (4918 ^ _595927) ^ [_748810] : [isa(_748810, c_tptpcol_13_72791), -(tptpcol_13_72791(_748810))], (4924 ^ _595927) ^ [_748998] : [tptpcol_13_72791(_748998), -(isa(_748998, c_tptpcol_13_72791))], (4930 ^ _595927) ^ [_749186] : [isa(_749186, c_tptpcol_14_72792), -(tptpcol_14_72792(_749186))], (4936 ^ _595927) ^ [_749374] : [tptpcol_14_72792(_749374), -(isa(_749374, c_tptpcol_14_72792))], (4942 ^ _595927) ^ [_749562] : [isa(_749562, c_ridgeline_topographical), -(ridgeline_topographical(_749562))], (4948 ^ _595927) ^ [_749750] : [ridgeline_topographical(_749750), -(isa(_749750, c_ridgeline_topographical))], (4954 ^ _595927) ^ [_749938] : [isa(_749938, c_tptpcol_4_16387), -(tptpcol_4_16387(_749938))], (4960 ^ _595927) ^ [_750126] : [tptpcol_4_16387(_750126), -(isa(_750126, c_tptpcol_4_16387))], (4966 ^ _595927) ^ [_750314] : [isa(_750314, c_tptpcol_5_16388), -(tptpcol_5_16388(_750314))], (4972 ^ _595927) ^ [_750502] : [tptpcol_5_16388(_750502), -(isa(_750502, c_tptpcol_5_16388))], (4978 ^ _595927) ^ [_750690] : [isa(_750690, c_tptpcol_8_22020), -(tptpcol_8_22020(_750690))], (4984 ^ _595927) ^ [_750878] : [tptpcol_8_22020(_750878), -(isa(_750878, c_tptpcol_8_22020))], (4990 ^ _595927) ^ [_751066] : [isa(_751066, c_tptpcol_9_22021), -(tptpcol_9_22021(_751066))], (4996 ^ _595927) ^ [_751254] : [tptpcol_9_22021(_751254), -(isa(_751254, c_tptpcol_9_22021))], (5002 ^ _595927) ^ [_751442] : [isa(_751442, c_transitivebinarypredicate), -(transitivebinarypredicate(_751442))], (5008 ^ _595927) ^ [_751630] : [transitivebinarypredicate(_751630), -(isa(_751630, c_transitivebinarypredicate))], (5014 ^ _595927) ^ [_751832, _751834] : [geographicalsubregions(_751834, _751832), -(geographicalregion(_751832))], (5020 ^ _595927) ^ [_752040, _752042] : [geographicalsubregions(_752042, _752040), -(geographicalregion(_752042))], (5026 ^ _595927) ^ [_752262, _752264, _752266] : [-(geographicalsubregions(_752266, _752262)), geographicalsubregions(_752266, _752264), geographicalsubregions(_752264, _752262)], (5036 ^ _595927) ^ [_752557] : [geographicalregion(_752557), -(geographicalsubregions(_752557, _752557))], (5042 ^ _595927) ^ [_752745] : [isa(_752745, c_tptpcol_12_40420), -(tptpcol_12_40420(_752745))], (5048 ^ _595927) ^ [_752933] : [tptpcol_12_40420(_752933), -(isa(_752933, c_tptpcol_12_40420))], (5054 ^ _595927) ^ [_753121] : [isa(_753121, c_tptpcol_13_40421), -(tptpcol_13_40421(_753121))], (5060 ^ _595927) ^ [_753309] : [tptpcol_13_40421(_753309), -(isa(_753309, c_tptpcol_13_40421))], (5066 ^ _595927) ^ [_753497] : [isa(_753497, c_tptpcol_6_92162), -(tptpcol_6_92162(_753497))], (5072 ^ _595927) ^ [_753685] : [tptpcol_6_92162(_753685), -(isa(_753685, c_tptpcol_6_92162))], (5078 ^ _595927) ^ [_753873] : [isa(_753873, c_tptpcol_7_93186), -(tptpcol_7_93186(_753873))], (5084 ^ _595927) ^ [_754061] : [tptpcol_7_93186(_754061), -(isa(_754061, c_tptpcol_7_93186))], (5090 ^ _595927) ^ [_754263, _754265] : [most(_754265, _754263), -(setorcollection(_754263))], (5096 ^ _595927) ^ [_754471, _754473] : [most(_754473, _754471), -(setorcollection(_754471))], (5102 ^ _595927) ^ [_754679, _754681] : [most(_754681, _754679), -(setorcollection(_754681))], (5108 ^ _595927) ^ [_754887, _754889] : [most(_754889, _754887), -(setorcollection(_754889))], (5114 ^ _595927) ^ [_755081] : [setorcollection(_755081), -(most(_755081, _755081))], (5120 ^ _595927) ^ [_755269] : [setorcollection(_755269), -(most(_755269, _755269))], (5126 ^ _595927) ^ [_755485, _755487, _755489] : [-(most(_755489, _755485)), most(_755489, _755487), subsetof(_755487, _755485)], (5136 ^ _595927) ^ [_755808, _755810, _755812] : [-(most(_755812, _755808)), most(_755812, _755810), subsetof(_755810, _755808)], (5146 ^ _595927) ^ [_756117, _756119] : [subsetof(_756119, _756117), -(setorcollection(_756117))], (5152 ^ _595927) ^ [_756325, _756327] : [subsetof(_756327, _756325), -(setorcollection(_756327))], (5158 ^ _595927) ^ [_756547, _756549, _756551] : [-(subsetof(_756551, _756547)), subsetof(_756551, _756549), subsetof(_756549, _756547)], (5168 ^ _595927) ^ [_756842] : [setorcollection(_756842), -(subsetof(_756842, _756842))], (5174 ^ _595927) ^ [_757058, _757060, _757062] : [-(subsetof(_757058, _757060)), subsetof(_757062, _757060), subsetof(_757058, _757062)], (5184 ^ _595927) ^ [_757381, _757383, _757385] : [-(subsetof(_757385, _757381)), subsetof(_757385, _757383), subsetof(_757383, _757381)], (5194 ^ _595927) ^ [_757704, _757706, _757708] : [-(subsetof(_757708, _757704)), subsetof(_757708, _757706), subsetof(_757706, _757704)], (5204 ^ _595927) ^ [_758013, _758015] : [genlpreds(_758015, _758013), -(predicate(_758013))], (5210 ^ _595927) ^ [_758221, _758223] : [genlpreds(_758223, _758221), -(predicate(_758221))], (5216 ^ _595927) ^ [_758429, _758431] : [genlpreds(_758431, _758429), -(predicate(_758431))], (5222 ^ _595927) ^ [_758637, _758639] : [genlpreds(_758639, _758637), -(predicate(_758639))], (5228 ^ _595927) ^ [_758859, _758861, _758863] : [-(genlpreds(_758863, _758859)), genlpreds(_758863, _758861), genlpreds(_758861, _758859)], (5238 ^ _595927) ^ [_759154] : [predicate(_759154), -(genlpreds(_759154, _759154))], (5244 ^ _595927) ^ [_759342] : [predicate(_759342), -(genlpreds(_759342, _759342))], (5250 ^ _595927) ^ [_759544, _759546] : [genlinverse(_759546, _759544), -(binarypredicate(_759544))], (5256 ^ _595927) ^ [_759752, _759754] : [genlinverse(_759754, _759752), -(binarypredicate(_759754))], (5262 ^ _595927) ^ [_759974, _759976, _759978] : [-(genlinverse(_759974, _759976)), genlinverse(_759978, _759976), genlpreds(_759974, _759978)], (5272 ^ _595927) ^ [_760297, _760299, _760301] : [-(genlinverse(_760301, _760297)), genlinverse(_760301, _760299), genlpreds(_760299, _760297)], (5282 ^ _595927) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _595927) ^ [_760645] : [isa(_760645, c_microtheory), -(microtheory(_760645))], (5290 ^ _595927) ^ [_760833] : [microtheory(_760833), -(isa(_760833, c_microtheory))], (5296 ^ _595927) ^ [_761006] : [-(natfunction(f_urlfn(_761006), c_urlfn))], (5298 ^ _595927) ^ [_761086] : [-(natargument(f_urlfn(_761086), n_1, _761086))], (5300 ^ _595927) ^ [_761167] : [-(uniformresourcelocator(f_urlfn(_761167)))], (5302 ^ _595927) ^ [_761246] : [-(natfunction(f_urlreferentfn(_761246), c_urlreferentfn))], (5304 ^ _595927) ^ [_761326] : [-(natargument(f_urlreferentfn(_761326), n_1, _761326))], (5306 ^ _595927) ^ [_761407] : [-(computerdataartifact(f_urlreferentfn(_761407)))], (5308 ^ _595927) ^ [_761500, _761502] : [-(natfunction(f_contentmtofcdafromeventfn(_761502, _761500), c_contentmtofcdafromeventfn))], (5310 ^ _595927) ^ [_761597, _761599] : [-(natargument(f_contentmtofcdafromeventfn(_761599, _761597), n_1, _761599))], (5312 ^ _595927) ^ [_761695, _761697] : [-(natargument(f_contentmtofcdafromeventfn(_761697, _761695), n_2, _761695))], (5314 ^ _595927) ^ [_761793, _761795] : [-(microtheory(f_contentmtofcdafromeventfn(_761795, _761793)))], (5316 ^ _595927) ^ [_761904, _761906] : [isa(_761906, _761904), -(collection(_761904))], (5322 ^ _595927) ^ [_762112, _762114] : [isa(_762114, _762112), -(collection(_762112))], (5328 ^ _595927) ^ [_762320, _762322] : [isa(_762322, _762320), -(thing(_762322))], (5334 ^ _595927) ^ [_762528, _762530] : [isa(_762530, _762528), -(thing(_762530))], (5340 ^ _595927) ^ [_762750, _762752, _762754] : [-(isa(_762754, _762750)), isa(_762754, _762752), genls(_762752, _762750)], (5350 ^ _595927) ^ [_763045] : [isa(_763045, c_inanimateobject), -(inanimateobject(_763045))], (5356 ^ _595927) ^ [_763233] : [inanimateobject(_763233), -(isa(_763233, c_inanimateobject))], (5362 ^ _595927) ^ [_763421] : [isa(_763421, c_tptpcol_9_72709), -(tptpcol_9_72709(_763421))], (5368 ^ _595927) ^ [_763609] : [tptpcol_9_72709(_763609), -(isa(_763609, c_tptpcol_9_72709))], (5374 ^ _595927) ^ [_763797] : [isa(_763797, c_tptpcol_10_72710), -(tptpcol_10_72710(_763797))], (5380 ^ _595927) ^ [_763985] : [tptpcol_10_72710(_763985), -(isa(_763985, c_tptpcol_10_72710))], (5386 ^ _595927) ^ [_764173] : [isa(_764173, c_tptpcol_14_40429), -(tptpcol_14_40429(_764173))], (5392 ^ _595927) ^ [_764361] : [tptpcol_14_40429(_764361), -(isa(_764361, c_tptpcol_14_40429))], (5398 ^ _595927) ^ [_764549] : [isa(_764549, c_tptpcol_15_40430), -(tptpcol_15_40430(_764549))], (5404 ^ _595927) ^ [_764737] : [tptpcol_15_40430(_764737), -(isa(_764737, c_tptpcol_15_40430))], (5410 ^ _595927) ^ [_764939, _764941] : [genls(_764941, _764939), -(collection(_764939))], (5416 ^ _595927) ^ [_765147, _765149] : [genls(_765149, _765147), -(collection(_765147))], (5422 ^ _595927) ^ [_765355, _765357] : [genls(_765357, _765355), -(collection(_765357))], (5428 ^ _595927) ^ [_765563, _765565] : [genls(_765565, _765563), -(collection(_765565))], (5434 ^ _595927) ^ [_765785, _765787, _765789] : [-(genls(_765789, _765785)), genls(_765789, _765787), genls(_765787, _765785)], (5444 ^ _595927) ^ [_766080] : [collection(_766080), -(genls(_766080, _766080))], (5450 ^ _595927) ^ [_766268] : [collection(_766268), -(genls(_766268, _766268))], (5456 ^ _595927) ^ [_766484, _766486, _766488] : [-(genls(_766484, _766486)), genls(_766488, _766486), genls(_766484, _766488)], (5466 ^ _595927) ^ [_766807, _766809, _766811] : [-(genls(_766811, _766807)), genls(_766811, _766809), genls(_766809, _766807)], (5476 ^ _595927) ^ [_767102] : [isa(_767102, c_partiallytangible), -(partiallytangible(_767102))], (5482 ^ _595927) ^ [_767290] : [partiallytangible(_767290), -(isa(_767290, c_partiallytangible))], (5488 ^ _595927) ^ [_767478] : [isa(_767478, c_intangible), -(intangible(_767478))], (5494 ^ _595927) ^ [_767666] : [intangible(_767666), -(isa(_767666, c_intangible))], (5500 ^ _595927) ^ [_767868, _767870] : [disjointwith(_767870, _767868), -(collection(_767868))], (5506 ^ _595927) ^ [_768076, _768078] : [disjointwith(_768078, _768076), -(collection(_768078))], (5512 ^ _595927) ^ [_768284, _768286] : [disjointwith(_768286, _768284), -(disjointwith(_768284, _768286))], (5518 ^ _595927) ^ [_768508, _768510, _768512] : [-(disjointwith(_768512, _768508)), disjointwith(_768512, _768510), genls(_768508, _768510)], (5528 ^ _595927) ^ [_768831, _768833, _768835] : [-(disjointwith(_768831, _768833)), disjointwith(_768835, _768833), genls(_768831, _768835)], (5538 ^ _595927) ^ [_769140, _769142] : [-(mtvisible(_769140)), mtvisible(_769142), genlmt(_769142, _769140)], (5548 ^ _595927) ^ [_769435, _769437] : [genlmt(_769437, _769435), -(microtheory(_769435))], (5554 ^ _595927) ^ [_769643, _769645] : [genlmt(_769645, _769643), -(microtheory(_769643))], (5560 ^ _595927) ^ [_769851, _769853] : [genlmt(_769853, _769851), -(microtheory(_769853))], (5566 ^ _595927) ^ [_770059, _770061] : [genlmt(_770061, _770059), -(microtheory(_770061))], (5572 ^ _595927) ^ [_770281, _770283, _770285] : [-(genlmt(_770285, _770281)), genlmt(_770285, _770283), genlmt(_770283, _770281)], (5582 ^ _595927) ^ [_770576] : [microtheory(_770576), -(genlmt(_770576, _770576))], (5594 ^ _595927) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _595927) ^ [_770764] : [microtheory(_770764), -(genlmt(_770764, _770764))]], input).
% 0.43/1.38  ncf('1',plain,[individual(c_xskijump_thegame), setorcollection(c_xskijump_thegame)],start(662 ^ 0,bind([[_614706], [c_xskijump_thegame]]))).
% 0.43/1.38  ncf('1.1',plain,[-(individual(c_xskijump_thegame))],extension(794 ^ 1)).
% 0.43/1.38  ncf('1.2',plain,[-(setorcollection(c_xskijump_thegame)), no(c_xskijump_thegame, c_tptpcol_16_35301)],extension(3196 ^ 1,bind([[_692073, _692075], [c_tptpcol_16_35301, c_xskijump_thegame]]))).
% 0.43/1.38  ncf('1.2.1',plain,[-(no(c_xskijump_thegame, c_tptpcol_16_35301)), disjointwith(c_xskijump_thegame, c_tptpcol_16_35301)],extension(874 ^ 2,bind([[_620676, _620678], [c_tptpcol_16_35301, c_xskijump_thegame]]))).
% 0.43/1.38  ncf('1.2.1.1',plain,[-(disjointwith(c_xskijump_thegame, c_tptpcol_16_35301))],extension(5596 ^ 3)).
% 0.43/1.38  %-----------------------------------------------------
% 0.43/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------