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

% Computer : n009.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:28:41 EDT 2023

% Result   : Theorem 43.63s 42.89s
% Output   : Proof 43.63s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR031+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.14/0.34  % Computer : n009.cluster.edu
% 0.14/0.34  % Model    : x86_64 x86_64
% 0.14/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34  % Memory   : 8042.1875MB
% 0.14/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34  % CPULimit : 300
% 0.14/0.34  % WCLimit  : 300
% 0.14/0.34  % DateTime : Thu May 18 23:47:03 EDT 2023
% 0.14/0.34  % CPUTime  : 
% 43.63/42.89  
% 43.63/42.89  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 43.63/42.89  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 43.63/42.89  %-----------------------------------------------------
% 43.63/42.89  ncf(matrix, plain, [(5596 ^ _115220) ^ [] : [-(disjointwith(c_tptptptpcol_16_8398, c_tptpcol_16_18488))], !, (1546 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _36405) ^ [_96881] : [setorcollection(_96881), -(most(_96881, _96881))], (1814 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _36405) ^ [_96656, _96658] : [most(_96658, _96656), -(setorcollection(_96656))], (1448 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _36405) ^ [_39738] : [tptpcol_13_93766(_39738), -(tptpcol_12_93765(_39738))], (1944 ^ _36405) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _36405) ^ [_85030] : [isa(_85030, c_tptpcol_11_18631), -(tptpcol_11_18631(_85030))], (960 ^ _36405) ^ [_46881] : [isa(_46881, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_46881, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _46881))], (5380 ^ _36405) ^ [_100268] : [tptpcol_10_72710(_100268), -(isa(_100268, c_tptpcol_10_72710))], (5554 ^ _36405) ^ [_102463, _102465] : [genlmt(_102465, _102463), -(microtheory(_102463))], (4888 ^ _36405) ^ [_94108] : [tptpcol_10_22022(_94108), -(isa(_94108, c_tptpcol_10_22022))], (4040 ^ _36405) ^ [_83641, _83643] : [prettystring(_83643, _83641), -(thing(_83643))], (2902 ^ _36405) ^ [_69383] : [isa(_69383, c_tptpcol_16_30972), -(tptpcol_16_30972(_69383))], (1802 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _36405) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _36405) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _36405) ^ [_47796] : [tptpcol_16_92269(_47796), -(tptpcol_15_92268(_47796))], (1650 ^ _36405) ^ [_54439] : [tptpcol_11_40388(_54439), -(tptpcol_10_40324(_54439))], (324 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _36405) ^ [_66979, _66981, _66983, _66985] : [-(natargument(f_relationallexistsfn(_66985, _66983, _66981, _66979), n_4, _66979))], (3088 ^ _36405) ^ [_71725] : [objectfoundinlocation(_71725, _71725)], (1122 ^ _36405) ^ [_48633] : [collection(_48633), individual(_48633)], (286 ^ _36405) ^ [_39560] : [tptpcol_8_72708(_39560), -(tptpcol_7_72707(_39560))], (1006 ^ _36405) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _36405) ^ [_93086] : [tptpcol_3_81921(_93086), -(isa(_93086, c_tptpcol_3_81921))], (1984 ^ _36405) ^ [_58064] : [isa(_58064, c_tptpcol_16_26939), -(tptpcol_16_26939(_58064))], (1284 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _36405) ^ [_85673] : [-(tptpquantity(f_tptpquantityfn_13(_85673)))], (2448 ^ _36405) ^ [_63735] : [tptpcol_11_109125(_63735), -(isa(_63735, c_tptpcol_11_109125))], (2604 ^ _36405) ^ [_65668] : [isa(_65668, c_tptpcol_14_26921), -(tptpcol_14_26921(_65668))], (2032 ^ _36405) ^ [_58648] : [isa(_58648, c_tptpcol_15_4027), -(tptpcol_15_4027(_58648))], (5146 ^ _36405) ^ [_97293, _97295] : [subsetof(_97295, _97293), -(setorcollection(_97293))], (3312 ^ _36405) ^ [_74607, _74609, _74611] : [-(natargument(f_instancewithrelationtofn(_74611, _74609, _74607), n_1, _74611))], (2836 ^ _36405) ^ [_68580] : [tptpcol_16_92269(_68580), -(isa(_68580, c_tptpcol_16_92269))], (4474 ^ _36405) ^ [_88990] : [isa(_88990, c_tptpcol_13_93766), -(tptpcol_13_93766(_88990))], (2914 ^ _36405) ^ [_69529] : [isa(_69529, c_tptpcol_14_109181), -(tptpcol_14_109181(_69529))], (3518 ^ _36405) ^ [_77148] : [isa(_77148, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77148))], (3964 ^ _36405) ^ [_82675] : [isa(_82675, c_tptpcol_11_118084), -(tptpcol_11_118084(_82675))], (2588 ^ _36405) ^ [_65466, _65468] : [-(natargument(f_citynamedfn(_65468, _65466), n_2, _65466))], (376 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _36405) ^ [_83263, _83265, _83267] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_83267, _83265, _83263), c_subcollectionofwithrelationfromtypefn))], (836 ^ _36405) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _36405) ^ [_86986] : [isa(_86986, c_tptpcol_10_109061), -(tptpcol_10_109061(_86986))], (2256 ^ _36405) ^ [_61395] : [tptpcol_16_50958(_61395), -(isa(_61395, c_tptpcol_16_50958))], (2298 ^ _36405) ^ [_61906] : [isa(_61906, c_tptpcol_5_110593), -(tptpcol_5_110593(_61906))], (1484 ^ _36405) ^ [_52587] : [aspatialinformationstore(_52587), -(intangibleindividual(_52587))], (3512 ^ _36405) ^ [_77075] : [orientationvector(_77075), -(isa(_77075, c_orientationvector))], (4504 ^ _36405) ^ [_89355] : [tptpcol_10_40324(_89355), -(isa(_89355, c_tptpcol_10_40324))], (1170 ^ _36405) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _36405) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _36405) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _36405) ^ [_90158] : [isa(_90158, c_tptpcol_5_114690), -(tptpcol_5_114690(_90158))], (3140 ^ _36405) ^ [_72420, _72422, _72424] : [-(collection(f_subcollectionofwithrelationtofn(_72424, _72422, _72420)))], (1648 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _36405) ^ [_95276] : [tptpcol_8_22020(_95276), -(isa(_95276, c_tptpcol_8_22020))], (1064 ^ _36405) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _36405) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _36405) ^ [_83326, _83328, _83330] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83330, _83328, _83326), n_2, _83328))], (1824 ^ _36405) ^ [_56310] : [tptpcol_14_92264(_56310), -(tptpcol_13_92263(_56310))], (694 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _36405) ^ [_99282] : [-(natfunction(f_urlreferentfn(_99282), c_urlreferentfn))], (4338 ^ _36405) ^ [_87296] : [isa(_87296, c_navypersonnel), -(navypersonnel(_87296))], (3608 ^ _36405) ^ [_78255] : [tptpcol_9_118019(_78255), -(isa(_78255, c_tptpcol_9_118019))], (3392 ^ _36405) ^ [_75611] : [supplies(_75611), -(isa(_75611, c_supplies))], (736 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _36405) ^ [_81563, _81565] : [tptptypes_7_819(_81565, _81563), -(firstordercollection(_81565))], (20 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _36405) ^ [_46022] : [tptpcol_4_24578(_46022), -(tptpcol_3_16386(_46022))], (3284 ^ _36405) ^ [_74256] : [-(tptpquantity(f_tptpquantityfn_21(_74256)))], (1130 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _36405) ^ [_75538] : [isa(_75538, c_supplies), -(supplies(_75538))], (2986 ^ _36405) ^ [_70427] : [tptpcol_7_26628(_70427), -(isa(_70427, c_tptpcol_7_26628))], (4972 ^ _36405) ^ [_95130] : [tptpcol_5_16388(_95130), -(isa(_95130, c_tptpcol_5_16388))], (2310 ^ _36405) ^ [_62052] : [isa(_62052, c_tptpcol_16_25972), -(tptpcol_16_25972(_62052))], (58 ^ _36405) ^ [_37060] : [tptpcol_7_93186(_37060), -(tptpcol_6_92162(_37060))], (3404 ^ _36405) ^ [_75757] : [inanimateobject_nonnatural(_75757), -(isa(_75757, c_inanimateobject_nonnatural))], (676 ^ _36405) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _36405) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _36405) ^ [_100858, _100860] : [genls(_100860, _100858), -(collection(_100860))], (4780 ^ _36405) ^ [_92794] : [tptpcol_10_18567(_92794), -(isa(_92794, c_tptpcol_10_18567))], (3548 ^ _36405) ^ [_77519, _77521] : [tptptypes_7_396(_77521, _77519), -(firstordercollection(_77521))], (3566 ^ _36405) ^ [_77740] : [isa(_77740, c_tptpcol_16_29490), -(tptpcol_16_29490(_77740))], (2412 ^ _36405) ^ [_63297] : [tptpcol_7_18437(_63297), -(isa(_63297, c_tptpcol_7_18437))], (1622 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _36405) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _36405) ^ [_100341] : [isa(_100341, c_tptpcol_14_40429), -(tptpcol_14_40429(_100341))], (696 ^ _36405) ^ [_44018] : [tptpcol_11_18631(_44018), -(tptpcol_10_18567(_44018))], (1854 ^ _36405) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _36405) ^ [_71583, _71585, _71587] : [-(objectfoundinlocation(_71587, _71583)), objectfoundinlocation(_71587, _71585), objectfoundinlocation(_71585, _71583)], (3920 ^ _36405) ^ [_82111, _82113, _82115] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82115, _82113, _82111), n_1, _82115))], (3614 ^ _36405) ^ [_78328] : [isa(_78328, c_tptpcol_16_31868), -(tptpcol_16_31868(_78328))], (348 ^ _36405) ^ [_40223] : [tptpcol_12_92262(_40223), -(tptpcol_11_92230(_40223))], (464 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _36405) ^ [_102688, _102690, _102692] : [-(genlmt(_102692, _102688)), genlmt(_102692, _102690), genlmt(_102690, _102688)], (2956 ^ _36405) ^ [_70042, _70044] : [tptp_8_968(_70044, _70042), -(tptpcol_7_7172(_70044))], (4610 ^ _36405) ^ [_90665, _90667, _90669, _90671] : [-(natargument(f_relationexistsallfn(_90671, _90669, _90667, _90665), n_2, _90669))], (276 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _36405) ^ [_90231] : [tptpcol_5_114690(_90231), -(isa(_90231, c_tptpcol_5_114690))], (5300 ^ _36405) ^ [_99258] : [-(uniformresourcelocator(f_urlfn(_99258)))], (920 ^ _36405) ^ [_46436] : [tptpcol_3_98305(_46436), -(tptpcol_2_98304(_46436))], (5184 ^ _36405) ^ [_97782, _97784, _97786] : [-(subsetof(_97786, _97782)), subsetof(_97786, _97784), subsetof(_97784, _97782)], (1382 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _36405) ^ [_76122] : [isa(_76122, c_tptpcol_7_108547), -(tptpcol_7_108547(_76122))], (2190 ^ _36405) ^ [_60588] : [isa(_60588, c_tptpcol_5_90114), -(tptpcol_5_90114(_60588))], (1590 ^ _36405) ^ [_53762, _53764] : [tptptypes_7_396(_53764, _53762), -(tptptypes_6_388(_53764, _53762))], (5310 ^ _36405) ^ [_99385, _99387] : [-(natargument(f_contentmtofcdafromeventfn(_99387, _99385), n_1, _99387))], (936 ^ _36405) ^ [_46614] : [artsupplies(_46614), -(supplies(_46614))], (1256 ^ _36405) ^ [_50115] : [intangibleindividual(_50115), -(partiallyintangibleindividual(_50115))], (2328 ^ _36405) ^ [_62273, _62275] : [tptp_8_271(_62275, _62273), -(tptpcol_5_24579(_62275))], (3314 ^ _36405) ^ [_74639, _74641, _74643] : [-(natargument(f_instancewithrelationtofn(_74643, _74641, _74639), n_2, _74641))], (2068 ^ _36405) ^ [_59090, _59092] : [affiliatedwith(_59092, _59090), -(affiliatedwith(_59090, _59092))], (4684 ^ _36405) ^ [_91626] : [tptpcol_11_40388(_91626), -(isa(_91626, c_tptpcol_11_40388))], (4046 ^ _36405) ^ [_83716] : [isa(_83716, c_tptpcol_0_0), -(tptpcol_0_0(_83716))], (1772 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _36405) ^ [_42756] : [fixedordercollection(_42756), -(collection(_42756))], (3982 ^ _36405) ^ [_82894] : [terroristgroup(_82894), -(isa(_82894, c_terroristgroup))], (2884 ^ _36405) ^ [_69164] : [tptpcol_8_18438(_69164), -(isa(_69164, c_tptpcol_8_18438))], (3798 ^ _36405) ^ [_80604] : [isa(_80604, c_tptpcol_1_1), -(tptpcol_1_1(_80604))], (5416 ^ _36405) ^ [_100708, _100710] : [genls(_100710, _100708), -(collection(_100708))], (374 ^ _36405) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _36405) ^ [_82207, _82209, _82211] : [-(collection(f_subcollectionofwithrelationtotypefn(_82211, _82209, _82207)))], (5500 ^ _36405) ^ [_101770, _101772] : [disjointwith(_101772, _101770), -(collection(_101770))], (112 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _36405) ^ [_75514] : [-(tptpquantity(f_tptpquantityfn_14(_75514)))], (5506 ^ _36405) ^ [_101845, _101847] : [disjointwith(_101847, _101845), -(collection(_101847))], (3786 ^ _36405) ^ [_80458] : [isa(_80458, c_tptpcol_9_92165), -(tptpcol_9_92165(_80458))], (4594 ^ _36405) ^ [_90450] : [isa(_90450, c_tptpcol_4_106497), -(tptpcol_4_106497(_90450))], (1982 ^ _36405) ^ [_58040] : [-(tptpquantity(f_tptpquantityfn_6(_58040)))], (336 ^ _36405) ^ [_40098] : [location_underspecified(_40098), -(thing(_40098))], (4160 ^ _36405) ^ [_85103] : [tptpcol_11_18631(_85103), -(isa(_85103, c_tptpcol_11_18631))], (752 ^ _36405) ^ [_44617] : [tptpcol_14_22072(_44617), -(tptpcol_13_22071(_44617))], (5158 ^ _36405) ^ [_97443, _97445, _97447] : [-(subsetof(_97447, _97443)), subsetof(_97447, _97445), subsetof(_97445, _97443)], (2106 ^ _36405) ^ [_59564] : [pushingwithopenhand(_59564), -(isa(_59564, c_pushingwithopenhand))], (2710 ^ _36405) ^ [_67014, _67016, _67018, _67020] : [-(thing(f_relationallexistsfn(_67020, _67018, _67016, _67014)))], (1708 ^ _36405) ^ [_55090] : [-(tptpofobject(_55090, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55090)], (454 ^ _36405) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _36405) ^ [_67627] : [isa(_67627, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_67627))], (2094 ^ _36405) ^ [_59418] : [tptpcol_16_4451(_59418), -(isa(_59418, c_tptpcol_16_4451))], (4894 ^ _36405) ^ [_94181] : [isa(_94181, c_tptpcol_11_22023), -(tptpcol_11_22023(_94181))], (2788 ^ _36405) ^ [_67992] : [tptpcol_15_72793(_67992), -(isa(_67992, c_tptpcol_15_72793))], (2896 ^ _36405) ^ [_69310] : [tptpcol_15_30970(_69310), -(isa(_69310, c_tptpcol_15_30970))], (1158 ^ _36405) ^ [_49021, _49023, _49025, _49027] : [-(isa(f_relationallexistsfn(_49027, _49023, _49025, _49021), _49021)), isa(_49027, _49025), relationallexists(_49023, _49025, _49021)], (3446 ^ _36405) ^ [_76268] : [isa(_76268, c_tptpcol_8_109059), -(tptpcol_8_109059(_76268))], (638 ^ _36405) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _36405) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _36405) ^ [_41224] : [setorcollection(_41224), -(mathematicalthing(_41224))], (1262 ^ _36405) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _36405) ^ [_74230] : [-(natargument(f_tptpquantityfn_21(_74230), n_1, _74230))], (234 ^ _36405) ^ [_38959, _38961] : [tptptypes_8_390(_38961, _38959), -(tptptypes_7_389(_38961, _38959))], (1246 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _36405) ^ [_91178, _91180] : [tptptypes_8_390(_91180, _91178), -(firstordercollection(_91180))], (3888 ^ _36405) ^ [_81711] : [correctivelensprescription(_81711), -(isa(_81711, c_correctivelensprescription))], (3620 ^ _36405) ^ [_78401] : [tptpcol_16_31868(_78401), -(isa(_78401, c_tptpcol_16_31868))], (3422 ^ _36405) ^ [_75976] : [isa(_75976, c_tptpcol_14_22072), -(tptpcol_14_22072(_75976))], (1616 ^ _36405) ^ [_54059, _54061] : [tptptypes_6_818(_54061, _54059), -(tptptypes_5_802(_54061, _54059))], (738 ^ _36405) ^ [_44469] : [tptpcol_14_40429(_44469), -(tptpcol_13_40421(_44469))], (4882 ^ _36405) ^ [_94035] : [isa(_94035, c_tptpcol_10_22022), -(tptpcol_10_22022(_94035))], (210 ^ _36405) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _36405) ^ [_44184] : [mathematicalthing(_44184), -(mathematicalorcomputationalthing(_44184))], (3054 ^ _36405) ^ [_71283, _71285] : [objectfoundinlocation(_71285, _71283), -(spatialthing_nonsituational(_71283))], (4350 ^ _36405) ^ [_87442] : [isa(_87442, c_tptpcol_12_92262), -(tptpcol_12_92262(_87442))], (1388 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _36405) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _36405) ^ [_53477] : [tptpcol_8_114177(_53477), -(tptpcol_7_113665(_53477))], (3476 ^ _36405) ^ [_76633] : [tptpcol_15_93775(_76633), -(isa(_76633, c_tptpcol_15_93775))], (5340 ^ _36405) ^ [_99770, _99772, _99774] : [-(isa(_99774, _99770)), isa(_99774, _99772), genls(_99772, _99770)], (896 ^ _36405) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _36405) ^ [_67773] : [isa(_67773, c_militaryperson), -(militaryperson(_67773))], (1880 ^ _36405) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _36405) ^ [_79195, _79197] : [tptp_8_875(_79197, _79195), -(tptpcol_4_24578(_79195))], (1424 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _36405) ^ [_63881] : [tptpcol_6_108546(_63881), -(isa(_63881, c_tptpcol_6_108546))], (1450 ^ _36405) ^ [_52213] : [tptpcol_11_93764(_52213), -(tptpcol_10_93700(_52213))], (1676 ^ _36405) ^ [_54730] : [tptpcol_16_26926(_54730), -(tptpcol_15_26925(_54730))], (2842 ^ _36405) ^ [_68653] : [isa(_68653, c_tptpcol_15_109185), -(tptpcol_15_109185(_68653))], (3332 ^ _36405) ^ [_74879] : [isa(_74879, c_tptpcol_7_113665), -(tptpcol_7_113665(_74879))], (3380 ^ _36405) ^ [_75463] : [-(natfunction(f_tptpquantityfn_14(_75463), c_tptpquantityfn_14))], (1760 ^ _36405) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _36405) ^ [_36459] : [intangible(_36459), partiallytangible(_36459)], (2088 ^ _36405) ^ [_59345] : [isa(_59345, c_tptpcol_16_4451), -(tptpcol_16_4451(_59345))], (4462 ^ _36405) ^ [_88832, _88834, _88836] : [relationallinstance(_88836, _88834, _88832), -(collection(_88834))], (966 ^ _36405) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _36405) ^ [_92648] : [tptpcol_9_18439(_92648), -(isa(_92648, c_tptpcol_9_18439))], (1010 ^ _36405) ^ [_47418] : [tptpcol_12_118116(_47418), -(tptpcol_11_118084(_47418))], (2670 ^ _36405) ^ [_66475] : [tptpcol_7_21508(_66475), -(isa(_66475, c_tptpcol_7_21508))], (918 ^ _36405) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _36405) ^ [_79947] : [aspatialinformationstore(_79947), -(isa(_79947, c_aspatialinformationstore))], (3928 ^ _36405) ^ [_82237] : [isa(_82237, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82237))], (2074 ^ _36405) ^ [_59176] : [affiliatedwith(_59176, _59176)], (2694 ^ _36405) ^ [_66767] : [state_geopolitical(_66767), -(isa(_66767, c_state_geopolitical))], (4990 ^ _36405) ^ [_95349] : [isa(_95349, c_tptpcol_9_22021), -(tptpcol_9_22021(_95349))], (4660 ^ _36405) ^ [_91328, _91330] : [tptptypes_8_692(_91330, _91328), -(firstordercollection(_91330))], (4942 ^ _36405) ^ [_94765] : [isa(_94765, c_ridgeline_topographical), -(ridgeline_topographical(_94765))], (1532 ^ _36405) ^ [_53121] : [tptpcol_6_112641(_53121), -(tptpcol_5_110593(_53121))], (260 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _36405) ^ [_87369] : [navypersonnel(_87369), -(isa(_87369, c_navypersonnel))], (2584 ^ _36405) ^ [_65409, _65411] : [-(natfunction(f_citynamedfn(_65411, _65409), c_citynamedfn))], (120 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _36405) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _36405) ^ [_44706] : [tptpcol_14_93774(_44706), -(tptpcol_13_93766(_44706))], (4732 ^ _36405) ^ [_92210] : [tptpcol_10_92166(_92210), -(isa(_92210, c_tptpcol_10_92166))], (1740 ^ _36405) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _36405) ^ [_71150, _71152, _71154] : [-(arg1isa(_71154, _71150)), arg1isa(_71154, _71152), genls(_71152, _71150)], (5392 ^ _36405) ^ [_100414] : [tptpcol_14_40429(_100414), -(isa(_100414, c_tptpcol_14_40429))], (3852 ^ _36405) ^ [_81265] : [tptpcol_12_26919(_81265), -(isa(_81265, c_tptpcol_12_26919))], (212 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _36405) ^ [_58137] : [tptpcol_16_26939(_58137), -(isa(_58137, c_tptpcol_16_26939))], (242 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _36405) ^ [_76341] : [tptpcol_8_109059(_76341), -(isa(_76341, c_tptpcol_8_109059))], (4912 ^ _36405) ^ [_94400] : [tptpcol_5_20483(_94400), -(isa(_94400, c_tptpcol_5_20483))], (1796 ^ _36405) ^ [_56014] : [geolevel_4(_56014), -(geographicalregion(_56014))], (5126 ^ _36405) ^ [_97027, _97029, _97031] : [-(most(_97031, _97027)), most(_97031, _97029), subsetof(_97029, _97027)], (722 ^ _36405) ^ [_44291] : [tptpcol_15_93775(_44291), -(tptpcol_14_93774(_44291))], (2196 ^ _36405) ^ [_60661] : [tptpcol_5_90114(_60661), -(isa(_60661, c_tptpcol_5_90114))], (1286 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _36405) ^ [_84373] : [tptpcol_5_106498(_84373), -(isa(_84373, c_tptpcol_5_106498))], (2566 ^ _36405) ^ [_65190] : [tptpcol_16_130924(_65190), -(isa(_65190, c_tptpcol_16_130924))], (1768 ^ _36405) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _36405) ^ [_66106, _66108] : [tptp_9_51(_66108, _66106), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66106))], (1632 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _36405) ^ [_88603, _88605] : [tptpofobject(_88605, _88603), -(tptpquantity(_88603))], (4426 ^ _36405) ^ [_88382] : [-(natfunction(f_tptpquantityfn_1(_88382), c_tptpquantityfn_1))], (4234 ^ _36405) ^ [_86029] : [tptpcol_14_92264(_86029), -(isa(_86029, c_tptpcol_14_92264))], (1656 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _36405) ^ [_68357, _68359] : [tptptypes_8_823(_68359, _68357), -(firstordercollection(_68357))], (1268 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _36405) ^ [_37748] : [tptpcol_11_22023(_37748), -(tptpcol_10_22022(_37748))], (4630 ^ _36405) ^ [_90953, _90955] : [tptptypes_7_389(_90955, _90953), -(firstordercollection(_90953))], (2866 ^ _36405) ^ [_68945] : [isa(_68945, c_tptpcol_12_118116), -(tptpcol_12_118116(_68945))], (1734 ^ _36405) ^ [_55373] : [tptpcol_0_0(_55373), -(individual(_55373))], (4196 ^ _36405) ^ [_85547, _85549] : [tptptypes_9_401(_85549, _85547), -(firstordercollection(_85549))], (5410 ^ _36405) ^ [_100633, _100635] : [genls(_100635, _100633), -(collection(_100633))], (3994 ^ _36405) ^ [_83042, _83044] : [hasmembers(_83044, _83042), -(organization(_83044))], (5262 ^ _36405) ^ [_98777, _98779, _98781] : [-(genlinverse(_98777, _98779)), genlinverse(_98781, _98779), genlpreds(_98777, _98781)], (2208 ^ _36405) ^ [_60809, _60811] : [tptptypes_5_802(_60811, _60809), -(firstordercollection(_60811))], (944 ^ _36405) ^ [_46703] : [tptpcol_8_26629(_46703), -(tptpcol_7_26628(_46703))], (1254 ^ _36405) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _36405) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _36405) ^ [_90803, _90805] : [resultisaarg(_90805, _90803), -(positiveinteger(_90803))], (4228 ^ _36405) ^ [_85956] : [isa(_85956, c_tptpcol_14_92264), -(tptpcol_14_92264(_85956))], (3602 ^ _36405) ^ [_78182] : [isa(_78182, c_tptpcol_9_118019), -(tptpcol_9_118019(_78182))], (1358 ^ _36405) ^ [_51202] : [tptpcol_2_65537(_51202), -(tptpcol_1_65536(_51202))], (2038 ^ _36405) ^ [_58721] : [tptpcol_15_4027(_58721), -(isa(_58721, c_tptpcol_15_4027))], (1958 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _36405) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _36405) ^ [_99443, _99445] : [-(microtheory(f_contentmtofcdafromeventfn(_99445, _99443)))], (424 ^ _36405) ^ [_41040, _41042] : [tptptypes_9_401(_41042, _41040), -(tptptypes_8_400(_41040, _41042))], (254 ^ _36405) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _36405) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _36405) ^ [_85249] : [tptpcol_12_18663(_85249), -(isa(_85249, c_tptpcol_12_18663))], (1482 ^ _36405) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _36405) ^ [_64971] : [isa(_64971, c_tptpcol_15_130923), -(tptpcol_15_130923(_64971))], (1840 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _36405) ^ [_51309] : [tptpcol_6_18436(_51309), -(tptpcol_5_16388(_51309))], (1434 ^ _36405) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _36405) ^ [_101478] : [isa(_101478, c_partiallytangible), -(partiallytangible(_101478))], (644 ^ _36405) ^ [_43435] : [-(tptp_9_720(_43435, f_relationallexistsfn(_43435, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_43435)], (12 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _36405) ^ [_55516] : [tptpcol_11_72774(_55516), -(tptpcol_10_72710(_55516))], (4204 ^ _36405) ^ [_85647] : [-(natargument(f_tptpquantityfn_13(_85647), n_1, _85647))], (172 ^ _36405) ^ [_38288] : [tptpcol_10_18567(_38288), -(tptpcol_9_18439(_38288))], (3970 ^ _36405) ^ [_82748] : [tptpcol_11_118084(_82748), -(isa(_82748, c_tptpcol_11_118084))], (1918 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _36405) ^ [_99620, _99622] : [isa(_99622, _99620), -(thing(_99622))], (3202 ^ _36405) ^ [_73184, _73186] : [no(_73186, _73184), -(no(_73184, _73186))], (996 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _36405) ^ [_101624] : [isa(_101624, c_intangible), -(intangible(_101624))], (270 ^ _36405) ^ [_39382] : [tptpcol_5_114690(_39382), -(tptpcol_4_114689(_39382))], (406 ^ _36405) ^ [_40846] : [-(tptpofobject(_40846, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_40846)], (5216 ^ _36405) ^ [_98198, _98200] : [genlpreds(_98200, _98198), -(predicate(_98200))], (3578 ^ _36405) ^ [_77886, _77888] : [tptp_9_720(_77888, _77886), -(tptpcol_5_28674(_77886))], (1700 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _36405) ^ [_78547] : [movement_translationevent(_78547), -(isa(_78547, c_movement_translationevent))], (5404 ^ _36405) ^ [_100560] : [tptpcol_15_40430(_100560), -(isa(_100560, c_tptpcol_15_40430))], (1570 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _36405) ^ [_71881, _71883, _71885] : [-(objectfoundinlocation(_71885, _71881)), objectfoundinlocation(_71885, _71883), geographicallysubsumes(_71881, _71883)], (5244 ^ _36405) ^ [_98554] : [predicate(_98554), -(genlpreds(_98554, _98554))], (2124 ^ _36405) ^ [_59783] : [-(natfunction(f_tptpquantityfn_2(_59783), c_tptpquantityfn_2))], (2082 ^ _36405) ^ [_59272] : [footballteam(_59272), -(isa(_59272, c_footballteam))], (1440 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _36405) ^ [_87807] : [computerdataartifact(_87807), -(isa(_87807, c_computerdataartifact))], (4106 ^ _36405) ^ [_84446] : [isa(_84446, c_tptpcol_12_109157), -(tptpcol_12_109157(_84446))], (2992 ^ _36405) ^ [_70500] : [isa(_70500, c_tptpcol_8_26629), -(tptpcol_8_26629(_70500))], (1238 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _36405) ^ [_38377] : [orderingpredicate(_38377), -(transitivebinarypredicate(_38377))], (1466 ^ _36405) ^ [_52391] : [tptpcol_4_90113(_52391), -(tptpcol_3_81921(_52391))], (294 ^ _36405) ^ [_39649] : [tptpcol_10_40324(_39649), -(tptpcol_9_40196(_39649))], (4978 ^ _36405) ^ [_95203] : [isa(_95203, c_tptpcol_8_22020), -(tptpcol_8_22020(_95203))], (720 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _36405) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _36405) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _36405) ^ [_42951] : [microtheory(_42951), -(aspatialinformationstore(_42951))], (5042 ^ _36405) ^ [_95997] : [isa(_95997, c_tptpcol_12_40420), -(tptpcol_12_40420(_95997))], (3178 ^ _36405) ^ [_72888] : [isa(_72888, c_tptpcol_3_16386), -(tptpcol_3_16386(_72888))], (1144 ^ _36405) ^ [_48857] : [physicalorderingpredicate(_48857), -(orderingpredicate(_48857))], (796 ^ _36405) ^ [_45098] : [-(tptpofobject(_45098, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45098)], (2280 ^ _36405) ^ [_61687] : [tptpcol_11_72774(_61687), -(isa(_61687, c_tptpcol_11_72774))], (1848 ^ _36405) ^ [_56565] : [tptpcol_13_92263(_56565), -(tptpcol_12_92262(_56565))], (5090 ^ _36405) ^ [_96581, _96583] : [most(_96583, _96581), -(setorcollection(_96581))], (2542 ^ _36405) ^ [_64898] : [tptpcol_7_92163(_64898), -(isa(_64898, c_tptpcol_7_92163))], (952 ^ _36405) ^ [_46792] : [tptpcol_9_109060(_46792), -(tptpcol_8_109059(_46792))], (728 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _36405) ^ [_41734] : [tptpcol_1_65536(_41734), -(tptpcol_0_0(_41734))], (828 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _36405) ^ [_75025] : [isa(_75025, c_artifact), -(artifact(_75025))], (688 ^ _36405) ^ [_43923, _43925] : [tptptypes_8_400(_43925, _43923), -(tptptypes_7_396(_43925, _43923))], (2136 ^ _36405) ^ [_59931] : [tptpcol_7_39939(_59931), -(isa(_59931, c_tptpcol_7_39939))], (934 ^ _36405) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _36405) ^ [_74503] : [airport_physical(_74503), -(isa(_74503, c_airport_physical))], (4000 ^ _36405) ^ [_83117] : [isa(_83117, c_terrorist), -(terrorist(_83117))], (2968 ^ _36405) ^ [_70196, _70198, _70200] : [relationexistsall(_70200, _70198, _70196), -(collection(_70198))], (448 ^ _36405) ^ [_41313] : [tptpcol_13_109173(_41313), -(tptpcol_12_109157(_41313))], (3488 ^ _36405) ^ [_76779] : [tptpcol_16_8886(_76779), -(isa(_76779, c_tptpcol_16_8886))], (1210 ^ _36405) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _36405) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _36405) ^ [_61760] : [isa(_61760, c_tptpcol_12_72775), -(tptpcol_12_72775(_61760))], (66 ^ _36405) ^ [_37149] : [tptpcol_13_40421(_37149), -(tptpcol_12_40420(_37149))], (2610 ^ _36405) ^ [_65741] : [tptpcol_14_26921(_65741), -(isa(_65741, c_tptpcol_14_26921))], (1390 ^ _36405) ^ [_51546] : [tptpcol_8_117763(_51546), -(tptpcol_7_117762(_51546))], (538 ^ _36405) ^ [_42263, _42265] : [tptptypes_7_819(_42265, _42263), -(tptptypes_6_818(_42265, _42263))], (1042 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _36405) ^ [_102263, _102265] : [-(mtvisible(_102263)), mtvisible(_102265), genlmt(_102265, _102263)], (136 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _36405) ^ [_80385] : [tptpcol_8_92164(_80385), -(isa(_80385, c_tptpcol_8_92164))], (4924 ^ _36405) ^ [_94546] : [tptpcol_13_72791(_94546), -(isa(_94546, c_tptpcol_13_72791))], (4480 ^ _36405) ^ [_89063] : [tptpcol_13_93766(_89063), -(isa(_89063, c_tptpcol_13_93766))], (1186 ^ _36405) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _36405) ^ [_71748, _71750, _71752] : [-(objectfoundinlocation(_71752, _71748)), objectfoundinlocation(_71752, _71750), geopoliticalsubdivision(_71748, _71750)], (2658 ^ _36405) ^ [_66329] : [reflexivebinarypredicate(_66329), -(isa(_66329, c_reflexivebinarypredicate))], (898 ^ _36405) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _36405) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _36405) ^ [_89939] : [tptpcol_12_93765(_89939), -(isa(_89939, c_tptpcol_12_93765))], (1726 ^ _36405) ^ [_55284] : [tptpcol_15_22076(_55284), -(tptpcol_14_22072(_55284))], (2238 ^ _36405) ^ [_61176] : [isa(_61176, c_tptpcol_15_50957), -(tptpcol_15_50957(_61176))], (2008 ^ _36405) ^ [_58356] : [isa(_58356, c_tptpcol_13_92263), -(tptpcol_13_92263(_58356))], (4858 ^ _36405) ^ [_93743] : [isa(_93743, c_individual), -(individual(_93743))], (2530 ^ _36405) ^ [_64752] : [tptpcol_16_130933(_64752), -(isa(_64752, c_tptpcol_16_130933))], (2322 ^ _36405) ^ [_62198, _62200] : [tptp_8_271(_62200, _62198), -(razor(_62198))], (1808 ^ _36405) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _36405) ^ [_84154] : [isa(_84154, c_tptpcol_5_24579), -(tptpcol_5_24579(_84154))], (3912 ^ _36405) ^ [_82007] : [issuingaprescription(_82007), -(isa(_82007, c_issuingaprescription))], (2518 ^ _36405) ^ [_64606] : [tptpcol_15_130931(_64606), -(isa(_64606, c_tptpcol_15_130931))], (3768 ^ _36405) ^ [_80239] : [fixedordercollection(_80239), -(isa(_80239, c_fixedordercollection))], (5194 ^ _36405) ^ [_97915, _97917, _97919] : [-(subsetof(_97919, _97915)), subsetof(_97919, _97917), subsetof(_97917, _97915)], (208 ^ _36405) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _36405) ^ [_92502] : [orderingpredicate(_92502), -(isa(_92502, c_orderingpredicate))], (2490 ^ _36405) ^ [_64250, _64252] : [few(_64252, _64250), -(setorcollection(_64252))], (2962 ^ _36405) ^ [_70117, _70119, _70121] : [relationexistsall(_70121, _70119, _70117), -(collection(_70117))], (50 ^ _36405) ^ [_36965, _36967] : [subsetof(_36967, _36965), -(most(_36967, _36965))], (1846 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _36405) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _36405) ^ [_83420] : [isa(_83420, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83420))], (4606 ^ _36405) ^ [_90596, _90598, _90600, _90602] : [-(natfunction(f_relationexistsallfn(_90602, _90600, _90598, _90596), c_relationexistsallfn))], (902 ^ _36405) ^ [_46236, _46238] : [genls(_46238, _46236), -(collection(_46238))], (1076 ^ _36405) ^ [_48129] : [tptpcol_10_26886(_48129), -(tptpcol_9_26885(_48129))], (114 ^ _36405) ^ [_37659] : [tptpcol_5_20483(_37659), -(tptpcol_4_16387(_37659))], (3708 ^ _36405) ^ [_79503, _79505, _79507] : [relationallexists(_79507, _79505, _79503), -(binarypredicate(_79507))], (3134 ^ _36405) ^ [_72324, _72326, _72328] : [-(natargument(f_subcollectionofwithrelationtofn(_72328, _72326, _72324), n_1, _72328))], (4052 ^ _36405) ^ [_83789] : [tptpcol_0_0(_83789), -(isa(_83789, c_tptpcol_0_0))], (4608 ^ _36405) ^ [_90630, _90632, _90634, _90636] : [-(natargument(f_relationexistsallfn(_90636, _90634, _90632, _90630), n_1, _90636))], (2100 ^ _36405) ^ [_59491] : [isa(_59491, c_pushingwithopenhand), -(pushingwithopenhand(_59491))], (926 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _36405) ^ [_56838] : [tptpcol_15_26925(_56838), -(tptpcol_14_26921(_56838))], (4014 ^ _36405) ^ [_83294, _83296, _83298] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83298, _83296, _83294), n_1, _83298))], (416 ^ _36405) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _36405) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _36405) ^ [_95495] : [isa(_95495, c_transitivebinarypredicate), -(transitivebinarypredicate(_95495))], (3678 ^ _36405) ^ [_79122] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79122), -(isa(_79122, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _36405) ^ [_38466] : [tptpcol_11_92230(_38466), -(tptpcol_10_92166(_38466))], (3020 ^ _36405) ^ [_70843] : [-(microtheory(f_contextofpcwfn(_70843)))], (4636 ^ _36405) ^ [_91028, _91030] : [tptptypes_7_389(_91030, _91028), -(firstordercollection(_91030))], (1068 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _36405) ^ [_36814, _36816, _36818] : [-(genlpreds(_36818, _36814)), genlinverse(_36818, _36816), genlinverse(_36816, _36814)], (750 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _36405) ^ [_45009] : [tptpcol_9_72709(_45009), -(tptpcol_8_72708(_45009))], (660 ^ _36405) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _36405) ^ [_65887] : [tptpcol_3_65538(_65887), -(isa(_65887, c_tptpcol_3_65538))], (1312 ^ _36405) ^ [_50715] : [tptpcol_6_20484(_50715), -(tptpcol_5_20483(_50715))], (2682 ^ _36405) ^ [_66621] : [hpkb_subnationalagent(_66621), -(isa(_66621, c_hpkb_subnationalagent))], (4906 ^ _36405) ^ [_94327] : [isa(_94327, c_tptpcol_5_20483), -(tptpcol_5_20483(_94327))], (5306 ^ _36405) ^ [_99333] : [-(computerdataartifact(f_urlreferentfn(_99333)))], (2424 ^ _36405) ^ [_63443] : [tptpcol_6_18436(_63443), -(isa(_63443, c_tptpcol_6_18436))], (318 ^ _36405) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _36405) ^ [_66840, _66842, _66844, _66846] : [-(natfunction(f_relationallexistsfn(_66846, _66844, _66842, _66840), c_relationallexistsfn))], (3022 ^ _36405) ^ [_70867, _70869] : [arg1isa(_70869, _70867), -(collection(_70867))], (2370 ^ _36405) ^ [_62786] : [isa(_62786, c_aspatialthing), -(aspatialthing(_62786))], (668 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _36405) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _36405) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _36405) ^ [_77667] : [tptpcol_12_22055(_77667), -(isa(_77667, c_tptpcol_12_22055))], (3428 ^ _36405) ^ [_76049] : [tptpcol_14_22072(_76049), -(isa(_76049, c_tptpcol_14_22072))], (4600 ^ _36405) ^ [_90523] : [tptpcol_4_106497(_90523), -(isa(_90523, c_tptpcol_4_106497))], (1514 ^ _36405) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _36405) ^ [_83493] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83493), -(isa(_83493, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _36405) ^ [_89501] : [tptpcol_7_72707(_89501), -(isa(_89501, c_tptpcol_7_72707))], (5512 ^ _36405) ^ [_101920, _101922] : [disjointwith(_101922, _101920), -(disjointwith(_101920, _101922))], (3732 ^ _36405) ^ [_79801] : [pushingababycarriage(_79801), -(isa(_79801, c_pushingababycarriage))], (4666 ^ _36405) ^ [_91403, _91405] : [tptptypes_9_693(_91405, _91403), -(firstordercollection(_91403))], (2442 ^ _36405) ^ [_63662] : [isa(_63662, c_tptpcol_11_109125), -(tptpcol_11_109125(_63662))], (1366 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _36405) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _36405) ^ [_49954] : [tptpcol_14_26921(_49954), -(tptpcol_13_26920(_49954))], (998 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _36405) ^ [_94984] : [tptpcol_4_16387(_94984), -(isa(_94984, c_tptpcol_4_16387))], (4220 ^ _36405) ^ [_85847, _85849] : [borderson(_85849, _85847), -(borderson(_85847, _85849))], (3136 ^ _36405) ^ [_72356, _72358, _72360] : [-(natargument(f_subcollectionofwithrelationtofn(_72360, _72358, _72356), n_2, _72358))], (866 ^ _36405) ^ [_45838] : [geographicalregion(_45838), -(partiallytangible(_45838))], (3720 ^ _36405) ^ [_79655] : [tptpcol_16_10258(_79655), -(isa(_79655, c_tptpcol_16_10258))], (4430 ^ _36405) ^ [_88433] : [-(tptpquantity(f_tptpquantityfn_1(_88433)))], (2920 ^ _36405) ^ [_69602] : [tptpcol_14_109181(_69602), -(isa(_69602, c_tptpcol_14_109181))], (362 ^ _36405) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _36405) ^ [_67536] : [geolevel_1(_67536), -(isa(_67536, c_geolevel_1))], (2652 ^ _36405) ^ [_66256] : [isa(_66256, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66256))], (1624 ^ _36405) ^ [_54154] : [tptpcol_6_92162(_54154), -(tptpcol_5_90114(_54154))], (1116 ^ _36405) ^ [_48562] : [enduringthing_localized(_48562), -(spatialthing_nonsituational(_48562))], (916 ^ _36405) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _36405) ^ [_37422] : [tptpcol_5_16388(_37422), -(tptpcol_4_16387(_37422))], (2676 ^ _36405) ^ [_66548] : [isa(_66548, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_66548))], (2364 ^ _36405) ^ [_62713] : [tptpcol_9_93699(_62713), -(isa(_62713, c_tptpcol_9_93699))], (972 ^ _36405) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _36405) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _36405) ^ [_99061] : [isa(_99061, c_microtheory), -(microtheory(_99061))], (502 ^ _36405) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _36405) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _36405) ^ [_61833] : [tptpcol_12_72775(_61833), -(isa(_61833, c_tptpcol_12_72775))], (5374 ^ _36405) ^ [_100195] : [isa(_100195, c_tptpcol_10_72710), -(tptpcol_10_72710(_100195))], (3762 ^ _36405) ^ [_80166] : [isa(_80166, c_fixedordercollection), -(fixedordercollection(_80166))], (2586 ^ _36405) ^ [_65437, _65439] : [-(natargument(f_citynamedfn(_65439, _65437), n_1, _65439))], (710 ^ _36405) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _36405) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _36405) ^ [_60369] : [tptpcol_16_26926(_60369), -(isa(_60369, c_tptpcol_16_26926))], (4762 ^ _36405) ^ [_92575] : [isa(_92575, c_tptpcol_9_18439), -(tptpcol_9_18439(_92575))], (574 ^ _36405) ^ [_42667] : [tptpcol_9_92165(_42667), -(tptpcol_8_92164(_42667))], (1028 ^ _36405) ^ [_47614, _47616] : [most(_47616, _47614), -(setorcollection(_47616))], (702 ^ _36405) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _36405) ^ [_69456] : [tptpcol_16_30972(_69456), -(isa(_69456, c_tptpcol_16_30972))], (1074 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _36405) ^ [_50566, _50568] : [no(_50568, _50566), -(few(_50568, _50566))], (982 ^ _36405) ^ [_47115] : [tptpcol_14_109181(_47115), -(tptpcol_13_109173(_47115))], (5174 ^ _36405) ^ [_97649, _97651, _97653] : [-(subsetof(_97649, _97651)), subsetof(_97653, _97651), subsetof(_97649, _97653)], (2628 ^ _36405) ^ [_65960] : [isa(_65960, c_tptpcol_16_27189), -(tptpcol_16_27189(_65960))], (2232 ^ _36405) ^ [_61103] : [tptpcol_8_114177(_61103), -(isa(_61103, c_tptpcol_8_114177))], (4324 ^ _36405) ^ [_87132] : [isa(_87132, c_executionbyfiringsquad), -(executionbyfiringsquad(_87132))], (3542 ^ _36405) ^ [_77444, _77446] : [tptptypes_7_396(_77446, _77444), -(firstordercollection(_77444))], (486 ^ _36405) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _36405) ^ [_57329] : [tptpcol_13_72791(_57329), -(tptpcol_12_72775(_57329))], (4064 ^ _36405) ^ [_83935] : [geolevel_3(_83935), -(isa(_83935, c_geolevel_3))], (2250 ^ _36405) ^ [_61322] : [isa(_61322, c_tptpcol_16_50958), -(tptpcol_16_50958(_61322))], (1062 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _36405) ^ [_62567] : [tptpcol_10_93700(_62567), -(isa(_62567, c_tptpcol_10_93700))], (4020 ^ _36405) ^ [_83390, _83392, _83394] : [-(collection(f_subcollectionofwithrelationfromtypefn(_83394, _83392, _83390)))], (80 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _36405) ^ [_95791, _95793, _95795] : [-(geographicalsubregions(_95795, _95791)), geographicalsubregions(_95795, _95793), geographicalsubregions(_95793, _95791)], (4252 ^ _36405) ^ [_86248] : [isa(_86248, c_tptpcol_6_116738), -(tptpcol_6_116738(_86248))], (3190 ^ _36405) ^ [_73034, _73036] : [no(_73036, _73034), -(setorcollection(_73034))], (758 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _36405) ^ [_79874] : [isa(_79874, c_aspatialinformationstore), -(aspatialinformationstore(_79874))], (3918 ^ _36405) ^ [_82080, _82082, _82084] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82084, _82082, _82080), c_subcollectionofwithrelationtotypefn))], (794 ^ _36405) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _36405) ^ [_90377] : [tptpcol_3_98305(_90377), -(isa(_90377, c_tptpcol_3_98305))], (2358 ^ _36405) ^ [_62640] : [isa(_62640, c_tptpcol_9_93699), -(tptpcol_9_93699(_62640))], (5466 ^ _36405) ^ [_101345, _101347, _101349] : [-(genls(_101349, _101345)), genls(_101349, _101347), genls(_101347, _101345)], (5272 ^ _36405) ^ [_98910, _98912, _98914] : [-(genlinverse(_98914, _98910)), genlinverse(_98914, _98912), genlpreds(_98912, _98910)], (1018 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _36405) ^ [_51653] : [tptpcol_12_109157(_51653), -(tptpcol_11_109125(_51653))], (98 ^ _36405) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _36405) ^ [_40425] : [tptpcol_10_109061(_40425), -(tptpcol_9_109060(_40425))], (1232 ^ _36405) ^ [_49865] : [tptpcol_3_65538(_49865), -(tptpcol_2_65537(_49865))], (2226 ^ _36405) ^ [_61030] : [isa(_61030, c_tptpcol_8_114177), -(tptpcol_8_114177(_61030))], (2346 ^ _36405) ^ [_62494] : [isa(_62494, c_tptpcol_10_93700), -(tptpcol_10_93700(_62494))], (5588 ^ _36405) ^ [_102894] : [microtheory(_102894), -(genlmt(_102894, _102894))], (148 ^ _36405) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _36405) ^ [_78903] : [isa(_78903, c_unitvectorinterval), -(unitvectorinterval(_78903))], (1114 ^ _36405) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _36405) ^ [_99134] : [microtheory(_99134), -(isa(_99134, c_microtheory))], (2634 ^ _36405) ^ [_66033] : [tptpcol_16_27189(_66033), -(isa(_66033, c_tptpcol_16_27189))], (1816 ^ _36405) ^ [_56221] : [tptpcol_13_26920(_56221), -(tptpcol_12_26919(_56221))], (4264 ^ _36405) ^ [_86394, _86396] : [tptptypes_5_387(_86396, _86394), -(firstordercollection(_86394))], (4142 ^ _36405) ^ [_84884] : [isa(_84884, c_setorcollection), -(setorcollection(_84884))], (2512 ^ _36405) ^ [_64533] : [isa(_64533, c_tptpcol_15_130931), -(tptpcol_15_130931(_64533))], (4534 ^ _36405) ^ [_89720] : [isa(_89720, c_tptpcol_11_93764), -(tptpcol_11_93764(_89720))], (806 ^ _36405) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _36405) ^ [_75903] : [tptpcol_13_22071(_75903), -(isa(_75903, c_tptpcol_13_22071))], (4834 ^ _36405) ^ [_93451] : [isa(_93451, c_location_underspecified), -(location_underspecified(_93451))], (3286 ^ _36405) ^ [_74280, _74282] : [airporthasiatacode(_74282, _74280), -(stringoflengthfn3(_74280))], (4616 ^ _36405) ^ [_90770, _90772, _90774, _90776] : [-(thing(f_relationexistsallfn(_90776, _90774, _90772, _90770)))], (3228 ^ _36405) ^ [_73527, _73529, _73531] : [-(no(_73527, _73529)), no(_73531, _73529), genls(_73527, _73531)], (4288 ^ _36405) ^ [_86694] : [isa(_86694, c_shavingrazor_manual), -(shavingrazor_manual(_86694))], (1098 ^ _36405) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _36405) ^ [_80677] : [tptpcol_1_1(_80677), -(isa(_80677, c_tptpcol_1_1))], (3320 ^ _36405) ^ [_74733] : [isa(_74733, c_tptpcol_6_112641), -(tptpcol_6_112641(_74733))], (1744 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _36405) ^ [_74205] : [-(natfunction(f_tptpquantityfn_21(_74205), c_tptpquantityfn_21))], (820 ^ _36405) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _36405) ^ [_45690] : [tptpcol_7_113665(_45690), -(tptpcol_6_112641(_45690))], (1278 ^ _36405) ^ [_50352] : [tptpcol_7_92163(_50352), -(tptpcol_6_92162(_50352))], (1674 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _36405) ^ [_57489] : [-(tptpofobject(_57489, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_57489)], (2744 ^ _36405) ^ [_67463] : [isa(_67463, c_geolevel_1), -(geolevel_1(_67463))], (2860 ^ _36405) ^ [_68872] : [tptpcol_6_26627(_68872), -(isa(_68872, c_tptpcol_6_26627))], (4522 ^ _36405) ^ [_89574] : [isa(_89574, c_tptpcol_8_72708), -(tptpcol_8_72708(_89574))], (378 ^ _36405) ^ [_40532, _40534] : [tptptypes_6_388(_40534, _40532), -(tptptypes_5_387(_40534, _40532))], (4432 ^ _36405) ^ [_88457] : [isa(_88457, c_furpelt), -(furpelt(_88457))], (4720 ^ _36405) ^ [_92064] : [tptpcol_2_98304(_92064), -(isa(_92064, c_tptpcol_2_98304))], (3690 ^ _36405) ^ [_79270, _79272] : [tptp_8_875(_79272, _79270), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79272))], (4240 ^ _36405) ^ [_86102] : [isa(_86102, c_tptpcol_15_92268), -(tptpcol_15_92268(_86102))], (4708 ^ _36405) ^ [_91918] : [tptpcol_1_65536(_91918), -(isa(_91918, c_tptpcol_1_65536))], (2112 ^ _36405) ^ [_59637] : [isa(_59637, c_tptpcol_15_22076), -(tptpcol_15_22076(_59637))], (2664 ^ _36405) ^ [_66402] : [isa(_66402, c_tptpcol_7_21508), -(tptpcol_7_21508(_66402))], (150 ^ _36405) ^ [_38051] : [partiallytangible(_38051), -(enduringthing_localized(_38051))], (2718 ^ _36405) ^ [_67122, _67124] : [arg2isa(_67124, _67122), -(relation(_67124))], (768 ^ _36405) ^ [_44795] : [tptpcol_10_22022(_44795), -(tptpcol_9_22021(_44795))], (3374 ^ _36405) ^ [_75390] : [firstordercollection(_75390), -(isa(_75390, c_firstordercollection))], (2056 ^ _36405) ^ [_58940, _58942] : [affiliatedwith(_58942, _58940), -(agent_generic(_58940))], (4918 ^ _36405) ^ [_94473] : [isa(_94473, c_tptpcol_13_72791), -(tptpcol_13_72791(_94473))], (1142 ^ _36405) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _36405) ^ [_76706] : [isa(_76706, c_tptpcol_16_8886), -(tptpcol_16_8886(_76706))], (2572 ^ _36405) ^ [_65263] : [isa(_65263, c_intangibleindividual), -(intangibleindividual(_65263))], (4404 ^ _36405) ^ [_88101, _88103] : [inregion(_88103, _88101), -(spatialthing_nonsituational(_88103))], (5136 ^ _36405) ^ [_97160, _97162, _97164] : [-(most(_97164, _97160)), most(_97164, _97162), subsetof(_97162, _97160)], (2938 ^ _36405) ^ [_69821] : [isa(_69821, c_tptpcol_16_7738), -(tptpcol_16_7738(_69821))], (344 ^ _36405) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _36405) ^ [_41995] : [tptpcol_11_118084(_41995), -(tptpcol_10_118020(_41995))], (5014 ^ _36405) ^ [_95641, _95643] : [geographicalsubregions(_95643, _95641), -(geographicalregion(_95641))], (1294 ^ _36405) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _36405) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _36405) ^ [_97576] : [setorcollection(_97576), -(subsetof(_97576, _97576))], (1766 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _36405) ^ [_39293] : [tptpcol_4_106497(_39293), -(tptpcol_3_98305(_39293))], (360 ^ _36405) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _36405) ^ [_101066] : [collection(_101066), -(genls(_101066, _101066))], (3870 ^ _36405) ^ [_81488, _81490] : [tptptypes_7_819(_81490, _81488), -(firstordercollection(_81488))], (78 ^ _36405) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _36405) ^ [_72596] : [isa(_72596, c_tptpcol_4_65539), -(tptpcol_4_65539(_72596))], (5494 ^ _36405) ^ [_101697] : [intangible(_101697), -(isa(_101697, c_intangible))], (4678 ^ _36405) ^ [_91553] : [isa(_91553, c_tptpcol_11_40388), -(tptpcol_11_40388(_91553))], (4876 ^ _36405) ^ [_93962] : [partiallyintangibleindividual(_93962), -(isa(_93962, c_partiallyintangibleindividual))], (2478 ^ _36405) ^ [_64100, _64102] : [few(_64102, _64100), -(setorcollection(_64100))], (2026 ^ _36405) ^ [_58575] : [geolevel_4(_58575), -(isa(_58575, c_geolevel_4))], (3382 ^ _36405) ^ [_75488] : [-(natargument(f_tptpquantityfn_14(_75488), n_1, _75488))], (2166 ^ _36405) ^ [_60296] : [isa(_60296, c_tptpcol_16_26926), -(tptpcol_16_26926(_60296))], (5222 ^ _36405) ^ [_98273, _98275] : [genlpreds(_98275, _98273), -(predicate(_98275))], (342 ^ _36405) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _36405) ^ [_72450] : [isa(_72450, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72450))], (4094 ^ _36405) ^ [_84300] : [isa(_84300, c_tptpcol_5_106498), -(tptpcol_5_106498(_84300))], (3060 ^ _36405) ^ [_71358, _71360] : [objectfoundinlocation(_71360, _71358), -(spatialthing_localized(_71358))], (3834 ^ _36405) ^ [_81046] : [isa(_81046, c_tptpcol_11_26887), -(tptpcol_11_26887(_81046))], (1364 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _36405) ^ [_99207] : [-(natfunction(f_urlfn(_99207), c_urlfn))], (2184 ^ _36405) ^ [_60515] : [tptpcol_13_118117(_60515), -(isa(_60515, c_tptpcol_13_118117))], (654 ^ _36405) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _36405) ^ [_102538, _102540] : [genlmt(_102540, _102538), -(microtheory(_102540))], (2734 ^ _36405) ^ [_67330, _67332, _67334] : [-(arg2isa(_67334, _67330)), arg2isa(_67334, _67332), genls(_67332, _67330)], (3464 ^ _36405) ^ [_76487] : [tptpcol_14_93774(_76487), -(isa(_76487, c_tptpcol_14_93774))], (2130 ^ _36405) ^ [_59858] : [isa(_59858, c_tptpcol_7_39939), -(tptpcol_7_39939(_59858))], (3750 ^ _36405) ^ [_80020] : [isa(_80020, c_collection), -(collection(_80020))], (4202 ^ _36405) ^ [_85622] : [-(natfunction(f_tptpquantityfn_13(_85622), c_tptpquantityfn_13))], (1230 ^ _36405) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _36405) ^ [_91478, _91480] : [tptptypes_9_693(_91480, _91478), -(firstordercollection(_91480))], (3350 ^ _36405) ^ [_75098] : [artifact(_75098), -(isa(_75098, c_artifact))], (5152 ^ _36405) ^ [_97368, _97370] : [subsetof(_97370, _97368), -(setorcollection(_97370))], (1252 ^ _36405) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _36405) ^ [_69894] : [tptpcol_16_7738(_69894), -(isa(_69894, c_tptpcol_16_7738))], (5036 ^ _36405) ^ [_95924] : [geographicalregion(_95924), -(geographicalsubregions(_95924, _95924))], (1050 ^ _36405) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _36405) ^ [_52842] : [tptpcol_9_118019(_52842), -(tptpcol_8_117763(_52842))], (1950 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _36405) ^ [_54930] : [tptpcol_4_65539(_54930), -(tptpcol_3_65538(_54930))], (5368 ^ _36405) ^ [_100122] : [tptpcol_9_72709(_100122), -(isa(_100122, c_tptpcol_9_72709))], (1326 ^ _36405) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _36405) ^ [_72669] : [tptpcol_4_65539(_72669), -(isa(_72669, c_tptpcol_4_65539))], (3894 ^ _36405) ^ [_81784, _81786] : [products(_81786, _81784), -(artifact(_81784))], (3530 ^ _36405) ^ [_77294, _77296] : [tptptypes_9_824(_77296, _77294), -(firstordercollection(_77294))], (4420 ^ _36405) ^ [_88309] : [spatialthing_nonsituational(_88309), -(inregion(_88309, _88309))], (570 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _36405) ^ [_66874, _66876, _66878, _66880] : [-(natargument(f_relationallexistsfn(_66880, _66878, _66876, _66874), n_1, _66880))], (5054 ^ _36405) ^ [_96143] : [isa(_96143, c_tptpcol_13_40421), -(tptpcol_13_40421(_96143))], (2388 ^ _36405) ^ [_63005] : [tptpcol_7_117762(_63005), -(isa(_63005, c_tptpcol_7_117762))], (2454 ^ _36405) ^ [_63808] : [isa(_63808, c_tptpcol_6_108546), -(tptpcol_6_108546(_63808))], (3976 ^ _36405) ^ [_82821] : [isa(_82821, c_terroristgroup), -(terroristgroup(_82821))], (880 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _36405) ^ [_50459] : [tptpcol_16_130933(_50459), -(tptpcol_15_130931(_50459))], (1020 ^ _36405) ^ [_47525] : [tptpcol_7_26628(_47525), -(tptpcol_6_26627(_47525))], (2998 ^ _36405) ^ [_70573] : [tptpcol_8_26629(_70573), -(isa(_70573, c_tptpcol_8_26629))], (1306 ^ _36405) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _36405) ^ [_72742] : [isa(_72742, c_tptpcol_5_69635), -(tptpcol_5_69635(_72742))], (3172 ^ _36405) ^ [_72815] : [tptpcol_5_69635(_72815), -(isa(_72815, c_tptpcol_5_69635))], (4846 ^ _36405) ^ [_93597] : [isa(_93597, c_trajector_underspecified), -(trajector_underspecified(_93597))], (4136 ^ _36405) ^ [_84811] : [mathematicalthing(_84811), -(isa(_84811, c_mathematicalthing))], (3846 ^ _36405) ^ [_81192] : [isa(_81192, c_tptpcol_12_26919), -(tptpcol_12_26919(_81192))], (1406 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _36405) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _36405) ^ [_80093] : [collection(_80093), -(isa(_80093, c_collection))], (4124 ^ _36405) ^ [_84665] : [tptpcol_13_109173(_84665), -(isa(_84665, c_tptpcol_13_109173))], (4738 ^ _36405) ^ [_92283] : [isa(_92283, c_tptpcol_11_92230), -(tptpcol_11_92230(_92283))], (1106 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _36405) ^ [_61979] : [tptpcol_5_110593(_61979), -(isa(_61979, c_tptpcol_5_110593))], (2220 ^ _36405) ^ [_60957] : [tptpcol_16_72795(_60957), -(isa(_60957, c_tptpcol_16_72795))], (5350 ^ _36405) ^ [_99903] : [isa(_99903, c_inanimateobject), -(inanimateobject(_99903))], (1136 ^ _36405) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _36405) ^ [_99545, _99547] : [isa(_99547, _99545), -(collection(_99545))], (1642 ^ _36405) ^ [_54350] : [tptpcol_13_118117(_54350), -(tptpcol_12_118116(_54350))], (4498 ^ _36405) ^ [_89282] : [isa(_89282, c_tptpcol_10_40324), -(tptpcol_10_40324(_89282))], (1192 ^ _36405) ^ [_49419] : [-(hpkb_subnationalagent(_49419)), mtvisible(c_hpkbvocabmt), state_geopolitical(_49419)], (1902 ^ _36405) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _36405) ^ [_81934] : [isa(_81934, c_issuingaprescription), -(issuingaprescription(_81934))], (5204 ^ _36405) ^ [_98048, _98050] : [genlpreds(_98050, _98048), -(predicate(_98048))], (1426 ^ _36405) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _36405) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _36405) ^ [_50988] : [tptpcol_11_109125(_50988), -(tptpcol_10_109061(_50988))], (56 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _36405) ^ [_39471] : [tptpcol_12_93765(_39471), -(tptpcol_11_93764(_39471))], (3696 ^ _36405) ^ [_79345, _79347, _79349] : [relationallexists(_79349, _79347, _79345), -(collection(_79345))], (4690 ^ _36405) ^ [_91699] : [isa(_91699, c_marriagelicensedocument), -(marriagelicensedocument(_91699))], (1092 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _36405) ^ [_99357, _99359] : [-(natfunction(f_contentmtofcdafromeventfn(_99359, _99357), c_contentmtofcdafromeventfn))], (4540 ^ _36405) ^ [_89793] : [tptpcol_11_93764(_89793), -(isa(_89793, c_tptpcol_11_93764))], (1912 ^ _36405) ^ [_57240] : [tptpcol_5_110593(_57240), -(tptpcol_4_106497(_57240))], (5312 ^ _36405) ^ [_99414, _99416] : [-(natargument(f_contentmtofcdafromeventfn(_99416, _99414), n_2, _99414))], (4368 ^ _36405) ^ [_87661] : [thing(_87661), -(isa(_87661, c_thing))], (1596 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _36405) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _36405) ^ [_49552] : [tptpcol_8_22020(_49552), -(tptpcol_7_21508(_49552))], (3900 ^ _36405) ^ [_81859, _81861] : [products(_81861, _81859), -(creationordestructionevent(_81861))], (5362 ^ _36405) ^ [_100049] : [isa(_100049, c_tptpcol_9_72709), -(tptpcol_9_72709(_100049))], (2926 ^ _36405) ^ [_69675] : [isa(_69675, c_physicalorderingpredicate), -(physicalorderingpredicate(_69675))], (4088 ^ _36405) ^ [_84227] : [tptpcol_5_24579(_84227), -(isa(_84227, c_tptpcol_5_24579))], (2872 ^ _36405) ^ [_69018] : [tptpcol_12_118116(_69018), -(isa(_69018, c_tptpcol_12_118116))], (3774 ^ _36405) ^ [_80312] : [isa(_80312, c_tptpcol_8_92164), -(tptpcol_8_92164(_80312))], (3940 ^ _36405) ^ [_82383] : [isa(_82383, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_82383))], (3248 ^ _36405) ^ [_73793, _73795, _73797] : [-(no(_73793, _73795)), no(_73797, _73795), subsetof(_73793, _73797)], (3922 ^ _36405) ^ [_82143, _82145, _82147] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82147, _82145, _82143), n_2, _82145))], (1996 ^ _36405) ^ [_58210] : [isa(_58210, c_tptpcol_16_62187), -(tptpcol_16_62187(_58210))], (4510 ^ _36405) ^ [_89428] : [isa(_89428, c_tptpcol_7_72707), -(tptpcol_7_72707(_89428))], (1904 ^ _36405) ^ [_57152] : [tptpcol_3_98305(_57152), tptpcol_3_114688(_57152)], (2148 ^ _36405) ^ [_60077] : [tptpcol_8_39940(_60077), -(isa(_60077, c_tptpcol_8_39940))], (988 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _36405) ^ [_64027] : [tptpcol_6_20484(_64027), -(isa(_64027, c_tptpcol_6_20484))], (1396 ^ _36405) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _36405) ^ [_90085] : [tptpcol_4_114689(_90085), -(isa(_90085, c_tptpcol_4_114689))], (178 ^ _36405) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _36405) ^ [_66944, _66946, _66948, _66950] : [-(natargument(f_relationallexistsfn(_66950, _66948, _66946, _66944), n_3, _66946))], (3356 ^ _36405) ^ [_75171] : [isa(_75171, c_tptpcol_13_18664), -(tptpcol_13_18664(_75171))], (5060 ^ _36405) ^ [_96216] : [tptpcol_13_40421(_96216), -(isa(_96216, c_tptpcol_13_40421))], (782 ^ _36405) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _36405) ^ [_86767] : [shavingrazor_manual(_86767), -(isa(_86767, c_shavingrazor_manual))], (1310 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _36405) ^ [_74576, _74578, _74580] : [-(natfunction(f_instancewithrelationtofn(_74580, _74578, _74576), c_instancewithrelationtofn))], (814 ^ _36405) ^ [_45292] : [firstordercollection(_45292), -(fixedordercollection(_45292))], (1586 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _36405) ^ [_98481] : [predicate(_98481), -(genlpreds(_98481, _98481))], (564 ^ _36405) ^ [_42560] : [tptpcol_2_2(_42560), -(tptpcol_1_1(_42560))], (1684 ^ _36405) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _36405) ^ [_42376] : [tptpcol_12_26919(_42376), -(tptpcol_11_26887(_42376))], (2126 ^ _36405) ^ [_59808] : [-(natargument(f_tptpquantityfn_2(_59808), n_1, _59808))], (244 ^ _36405) ^ [_39072, _39074, _39076, _39078] : [-(isa(f_relationexistsallfn(_39078, _39074, _39072, _39076), _39072)), isa(_39078, _39076), relationexistsall(_39074, _39072, _39076)], (1604 ^ _36405) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _36405) ^ [_51095] : [tptpcol_8_93698(_51095), -(tptpcol_7_93186(_51095))], (1172 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _36405) ^ [_96954] : [setorcollection(_96954), -(most(_96954, _96954))], (3726 ^ _36405) ^ [_79728] : [isa(_79728, c_pushingababycarriage), -(pushingababycarriage(_79728))], (4034 ^ _36405) ^ [_83566, _83568] : [prettystring(_83568, _83566), -(controlcharacterfreestring(_83566))], (4070 ^ _36405) ^ [_84008] : [isa(_84008, c_tptpcol_4_24578), -(tptpcol_4_24578(_84008))], (5250 ^ _36405) ^ [_98627, _98629] : [genlinverse(_98629, _98627), -(binarypredicate(_98627))], (4362 ^ _36405) ^ [_87588] : [isa(_87588, c_thing), -(thing(_87588))], (1746 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _36405) ^ [_67846] : [militaryperson(_67846), -(isa(_67846, c_militaryperson))], (3958 ^ _36405) ^ [_82602] : [tptpcol_10_118020(_82602), -(isa(_82602, c_tptpcol_10_118020))], (222 ^ _36405) ^ [_38828, _38830] : [tptptypes_9_693(_38830, _38828), -(tptptypes_8_692(_38830, _38828))], (3132 ^ _36405) ^ [_72293, _72295, _72297] : [-(natfunction(f_subcollectionofwithrelationtofn(_72297, _72295, _72293), c_subcollectionofwithrelationtofn))], (990 ^ _36405) ^ [_47204] : [tptpcol_16_30972(_47204), -(tptpcol_15_30970(_47204))], (3596 ^ _36405) ^ [_78109] : [runningshorts(_78109), -(isa(_78109, c_runningshorts))], (5434 ^ _36405) ^ [_100933, _100935, _100937] : [-(genls(_100937, _100933)), genls(_100937, _100935), genls(_100935, _100933)], (1476 ^ _36405) ^ [_52498] : [tptpcol_10_93700(_52498), -(tptpcol_9_93699(_52498))], (4936 ^ _36405) ^ [_94692] : [tptpcol_14_72792(_94692), -(isa(_94692, c_tptpcol_14_72792))], (4774 ^ _36405) ^ [_92721] : [isa(_92721, c_tptpcol_10_18567), -(tptpcol_10_18567(_92721))], (4726 ^ _36405) ^ [_92137] : [isa(_92137, c_tptpcol_10_92166), -(tptpcol_10_92166(_92137))], (3672 ^ _36405) ^ [_79049] : [isa(_79049, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79049))], (156 ^ _36405) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _36405) ^ [_37570] : [tptpcol_14_72792(_37570), -(tptpcol_13_72791(_37570))], (386 ^ _36405) ^ [_40627] : [tptpcol_6_116738(_40627), -(tptpcol_5_114690(_40627))], (2044 ^ _36405) ^ [_58794] : [isa(_58794, c_pushingwithfingers), -(pushingwithfingers(_58794))], (3816 ^ _36405) ^ [_80823] : [tptpcol_2_2(_80823), -(isa(_80823, c_tptpcol_2_2))], (5228 ^ _36405) ^ [_98348, _98350, _98352] : [-(genlpreds(_98352, _98348)), genlpreds(_98352, _98350), genlpreds(_98350, _98348)], (330 ^ _36405) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _36405) ^ [_90012] : [isa(_90012, c_tptpcol_4_114689), -(tptpcol_4_114689(_90012))], (3590 ^ _36405) ^ [_78036] : [isa(_78036, c_runningshorts), -(runningshorts(_78036))], (1318 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _36405) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _36405) ^ [_66694] : [isa(_66694, c_state_geopolitical), -(state_geopolitical(_66694))], (5566 ^ _36405) ^ [_102613, _102615] : [genlmt(_102615, _102613), -(microtheory(_102615))], (3638 ^ _36405) ^ [_78620, _78622] : [directionoftranslation_throughout(_78622, _78620), -(unitvectorinterval(_78620))], (2598 ^ _36405) ^ [_65595] : [tptpcol_13_26920(_65595), -(isa(_65595, c_tptpcol_13_26920))], (5048 ^ _36405) ^ [_96070] : [tptpcol_12_40420(_96070), -(isa(_96070, c_tptpcol_12_40420))], (5582 ^ _36405) ^ [_102821] : [microtheory(_102821), -(genlmt(_102821, _102821))], (2578 ^ _36405) ^ [_65336] : [intangibleindividual(_65336), -(isa(_65336, c_intangibleindividual))], (1556 ^ _36405) ^ [_53388] : [tptpcol_16_50958(_53388), -(tptpcol_15_50957(_53388))], (4438 ^ _36405) ^ [_88530] : [furpelt(_88530), -(isa(_88530, c_furpelt))], (5102 ^ _36405) ^ [_96731, _96733] : [most(_96733, _96731), -(setorcollection(_96733))], (1952 ^ _36405) ^ [_57683] : [tptpcol_10_92166(_57683), -(tptpcol_9_92165(_57683))], (332 ^ _36405) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _36405) ^ [_60223] : [tptpcol_15_26925(_60223), -(isa(_60223, c_tptpcol_15_26925))], (1774 ^ _36405) ^ [_55777] : [tptpcol_7_21508(_55777), -(tptpcol_6_20484(_55777))], (104 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _36405) ^ [_84592] : [isa(_84592, c_tptpcol_13_109173), -(tptpcol_13_109173(_84592))], (970 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _36405) ^ [_95716, _95718] : [geographicalsubregions(_95718, _95716), -(geographicalregion(_95718))], (3110 ^ _36405) ^ [_72014, _72016, _72018] : [-(objectfoundinlocation(_72018, _72014)), objectfoundinlocation(_72018, _72016), subregions(_72014, _72016)], (2142 ^ _36405) ^ [_60004] : [isa(_60004, c_tptpcol_8_39940), -(tptpcol_8_39940(_60004))], (980 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _36405) ^ [_38739] : [tptpcol_12_40420(_38739), -(tptpcol_11_40388(_38739))], (3268 ^ _36405) ^ [_74059] : [isa(_74059, c_geographicalregion), -(geographicalregion(_74059))], (400 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _36405) ^ [_60884] : [isa(_60884, c_tptpcol_16_72795), -(tptpcol_16_72795(_60884))], (240 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _36405) ^ [_75244] : [tptpcol_13_18664(_75244), -(isa(_75244, c_tptpcol_13_18664))], (4398 ^ _36405) ^ [_88026, _88028] : [inregion(_88028, _88026), -(spatialthing_nonsituational(_88026))], (14 ^ _36405) ^ [_36547] : [tptpcol_15_40430(_36547), -(tptpcol_14_40429(_36547))], (5066 ^ _36405) ^ [_96289] : [isa(_96289, c_tptpcol_6_92162), -(tptpcol_6_92162(_96289))], (590 ^ _36405) ^ [_42845] : [tptpcol_1_1(_42845), tptpcol_1_65536(_42845)], (968 ^ _36405) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _36405) ^ [_102130, _102132, _102134] : [-(disjointwith(_102130, _102132)), disjointwith(_102134, _102132), genls(_102130, _102134)], (3148 ^ _36405) ^ [_72523] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72523), -(isa(_72523, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _36405) ^ [_74430] : [isa(_74430, c_airport_physical), -(airport_physical(_74430))], (4468 ^ _36405) ^ [_88911, _88913, _88915] : [relationallinstance(_88915, _88913, _88911), -(binarypredicate(_88915))], (1598 ^ _36405) ^ [_53857] : [tptpcol_9_26885(_53857), -(tptpcol_8_26629(_53857))], (1060 ^ _36405) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _36405) ^ [_48946, _48948] : [disjointwith(_48948, _48946), -(collection(_48946))], (2394 ^ _36405) ^ [_63078] : [isa(_63078, c_tptpcol_8_117763), -(tptpcol_8_117763(_63078))], (64 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _36405) ^ [_81338, _81340] : [tptptypes_6_818(_81340, _81338), -(firstordercollection(_81338))], (2154 ^ _36405) ^ [_60150] : [isa(_60150, c_tptpcol_15_26925), -(tptpcol_15_26925(_60150))], (534 ^ _36405) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _36405) ^ [_44380] : [tptpcol_8_109059(_44380), -(tptpcol_7_108547(_44380))], (4582 ^ _36405) ^ [_90304] : [isa(_90304, c_tptpcol_3_98305), -(tptpcol_3_98305(_90304))], (5304 ^ _36405) ^ [_99307] : [-(natargument(f_urlreferentfn(_99307), n_1, _99307))], (5334 ^ _36405) ^ [_99695, _99697] : [isa(_99697, _99695), -(thing(_99697))], (864 ^ _36405) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _36405) ^ [_52931] : [individual(_52931), -(trajector_underspecified(_52931))], (3326 ^ _36405) ^ [_74806] : [tptpcol_6_112641(_74806), -(isa(_74806, c_tptpcol_6_112641))], (1522 ^ _36405) ^ [_53002] : [shavingrazor_manual(_53002), -(tptp_8_271(f_relationexistsallfn(_53002, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53002))], (5482 ^ _36405) ^ [_101551] : [partiallytangible(_101551), -(isa(_101551, c_partiallytangible))], (1782 ^ _36405) ^ [_55866] : [tptpcol_6_108546(_55866), -(tptpcol_5_106498(_55866))], (1356 ^ _36405) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _36405) ^ [_47311] : [tptpcol_9_18439(_47311), -(tptpcol_8_18438(_47311))], (2496 ^ _36405) ^ [_64325, _64327] : [few(_64327, _64325), -(setorcollection(_64327))], (3500 ^ _36405) ^ [_76927, _76929] : [orientation(_76929, _76927), -(spatialthing_localized(_76929))], (1572 ^ _36405) ^ [_53566] : [tptpcol_16_72795(_53566), -(tptpcol_15_72793(_53566))], (510 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _36405) ^ [_86840] : [isa(_86840, c_tptpcol_9_109060), -(tptpcol_9_109060(_86840))], (1026 ^ _36405) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _36405) ^ [_38199] : [tptpcol_3_81921(_38199), -(tptpcol_2_65537(_38199))], (612 ^ _36405) ^ [_43081] : [-(tptp_8_875(_43081, f_relationallexistsfn(_43081, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43081, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _36405) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _36405) ^ [_89136] : [isa(_89136, c_tptpcol_9_40196), -(tptpcol_9_40196(_89136))], (1612 ^ _36405) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _36405) ^ [_79582] : [isa(_79582, c_tptpcol_16_10258), -(tptpcol_16_10258(_79582))], (3946 ^ _36405) ^ [_82456] : [mathematicalorcomputationalthing(_82456), -(isa(_82456, c_mathematicalorcomputationalthing))], (4456 ^ _36405) ^ [_88753, _88755, _88757] : [relationallinstance(_88757, _88755, _88753), -(thing(_88753))], (4178 ^ _36405) ^ [_85322, _85324] : [tptptypes_8_400(_85324, _85322), -(firstordercollection(_85322))], (3338 ^ _36405) ^ [_74952] : [tptpcol_7_113665(_74952), -(isa(_74952, c_tptpcol_7_113665))], (546 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _36405) ^ [_72147] : [isa(_72147, c_ship), -(ship(_72147))], (670 ^ _36405) ^ [_43727] : [tptpcol_12_22055(_43727), -(tptpcol_11_22023(_43727))], (910 ^ _36405) ^ [_46329] : [tptpcol_13_22071(_46329), -(tptpcol_12_22055(_46329))], (1640 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _36405) ^ [_83358, _83360, _83362] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83362, _83360, _83358), n_3, _83358))], (958 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _36405) ^ [_63151] : [tptpcol_8_117763(_63151), -(isa(_63151, c_tptpcol_8_117763))], (394 ^ _36405) ^ [_40716] : [tptpcol_15_92268(_40716), -(tptpcol_14_92264(_40716))], (526 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _36405) ^ [_76195] : [tptpcol_7_108547(_76195), -(isa(_76195, c_tptpcol_7_108547))], (5108 ^ _36405) ^ [_96806, _96808] : [most(_96808, _96806), -(setorcollection(_96808))], (2244 ^ _36405) ^ [_61249] : [tptpcol_15_50957(_61249), -(isa(_61249, c_tptpcol_15_50957))], (4336 ^ _36405) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _36405) ^ [_74355, _74357] : [airporthasiatacode(_74357, _74355), -(airport_physical(_74357))], (2466 ^ _36405) ^ [_63954] : [isa(_63954, c_tptpcol_6_20484), -(tptpcol_6_20484(_63954))], (474 ^ _36405) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _36405) ^ [_64175, _64177] : [few(_64177, _64175), -(setorcollection(_64175))], (5316 ^ _36405) ^ [_99470, _99472] : [isa(_99472, _99470), -(collection(_99470))], (4006 ^ _36405) ^ [_83190] : [terrorist(_83190), -(isa(_83190, c_terrorist))], (142 ^ _36405) ^ [_37962] : [trajector_underspecified(_37962), -(location_underspecified(_37962))], (3494 ^ _36405) ^ [_76852, _76854] : [orientation(_76854, _76852), -(orientationvector(_76852))], (4148 ^ _36405) ^ [_84957] : [setorcollection(_84957), -(isa(_84957, c_setorcollection))], (3536 ^ _36405) ^ [_77369, _77371] : [tptptypes_9_824(_77371, _77369), -(firstordercollection(_77371))], (908 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _36405) ^ [_65044] : [tptpcol_15_130923(_65044), -(isa(_65044, c_tptpcol_15_130923))], (3018 ^ _36405) ^ [_70817] : [-(natargument(f_contextofpcwfn(_70817), n_1, _70817))], (1082 ^ _36405) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _36405) ^ [_64679] : [isa(_64679, c_tptpcol_16_130933), -(tptpcol_16_130933(_64679))], (292 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _36405) ^ [_64825] : [isa(_64825, c_tptpcol_7_92163), -(tptpcol_7_92163(_64825))], (4614 ^ _36405) ^ [_90735, _90737, _90739, _90741] : [-(natargument(f_relationexistsallfn(_90741, _90739, _90737, _90735), n_4, _90735))], (1788 ^ _36405) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _36405) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _36405) ^ [_62421] : [tptpcol_4_90113(_62421), -(isa(_62421, c_tptpcol_4_90113))], (4246 ^ _36405) ^ [_86175] : [tptpcol_15_92268(_86175), -(isa(_86175, c_tptpcol_15_92268))], (2824 ^ _36405) ^ [_68432, _68434] : [tptptypes_8_823(_68434, _68432), -(firstordercollection(_68434))], (520 ^ _36405) ^ [_42084] : [mathematicalorcomputationalthing(_42084), -(intangible(_42084))], (2590 ^ _36405) ^ [_65495, _65497] : [-(city(f_citynamedfn(_65497, _65495)))], (630 ^ _36405) ^ [_43287] : [tptpcol_10_118020(_43287), -(tptpcol_9_118019(_43287))], (496 ^ _36405) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _36405) ^ [_72220] : [ship(_72220), -(isa(_72220, c_ship))], (4528 ^ _36405) ^ [_89647] : [tptpcol_8_72708(_89647), -(isa(_89647, c_tptpcol_8_72708))], (4058 ^ _36405) ^ [_83862] : [isa(_83862, c_geolevel_3), -(geolevel_3(_83862))], (90 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _36405) ^ [_71508, _71510] : [objectfoundinlocation(_71510, _71508), -(spatialthing_localized(_71510))], (4208 ^ _36405) ^ [_85697, _85699] : [borderson(_85699, _85697), -(geographicalregion(_85697))], (1540 ^ _36405) ^ [_53210] : [tptpcol_12_72775(_53210), -(tptpcol_11_72774(_53210))], (5298 ^ _36405) ^ [_99232] : [-(natargument(f_urlfn(_99232), n_1, _99232))], (128 ^ _36405) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _36405) ^ [_80896, _80898] : [tptptypes_7_691(_80898, _80896), -(firstordercollection(_80896))], (662 ^ _36405) ^ [_43639] : [individual(_43639), setorcollection(_43639)], (1054 ^ _36405) ^ [_47903, _47905] : [tptptypes_8_823(_47905, _47903), -(tptptypes_7_819(_47905, _47903))], (2782 ^ _36405) ^ [_67919] : [isa(_67919, c_tptpcol_15_72793), -(tptpcol_15_72793(_67919))], (4654 ^ _36405) ^ [_91253, _91255] : [tptptypes_8_692(_91255, _91253), -(firstordercollection(_91253))], (364 ^ _36405) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _36405) ^ [_90700, _90702, _90704, _90706] : [-(natargument(f_relationexistsallfn(_90706, _90704, _90702, _90700), n_3, _90702))], (4184 ^ _36405) ^ [_85397, _85399] : [tptptypes_8_400(_85399, _85397), -(firstordercollection(_85399))], (3864 ^ _36405) ^ [_81413, _81415] : [tptptypes_6_818(_81415, _81413), -(firstordercollection(_81415))], (1832 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _36405) ^ [_95422] : [tptpcol_9_22021(_95422), -(isa(_95422, c_tptpcol_9_22021))], (1872 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _36405) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _36405) ^ [_86544, _86546] : [tptptypes_6_388(_86546, _86544), -(firstordercollection(_86544))], (1108 ^ _36405) ^ [_48473] : [tptpcol_4_16387(_48473), -(tptpcol_3_16386(_48473))], (928 ^ _36405) ^ [_46525] : [tptpcol_4_114689(_46525), -(tptpcol_3_114688(_46525))], (2406 ^ _36405) ^ [_63224] : [isa(_63224, c_tptpcol_7_18437), -(tptpcol_7_18437(_63224))], (3934 ^ _36405) ^ [_82310] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82310), -(isa(_82310, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _36405) ^ [_95568] : [transitivebinarypredicate(_95568), -(isa(_95568, c_transitivebinarypredicate))], (744 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _36405) ^ [_92429] : [isa(_92429, c_orderingpredicate), -(orderingpredicate(_92429))], (900 ^ _36405) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _36405) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _36405) ^ [_36636] : [tptpcol_10_72710(_36636), -(tptpcol_9_72709(_36636))], (3840 ^ _36405) ^ [_81119] : [tptpcol_11_26887(_81119), -(isa(_81119, c_tptpcol_11_26887))], (2014 ^ _36405) ^ [_58429] : [tptpcol_13_92263(_58429), -(isa(_58429, c_tptpcol_13_92263))], (556 ^ _36405) ^ [_42465, _42467] : [tptptypes_8_692(_42467, _42465), -(tptptypes_7_691(_42465, _42467))], (3184 ^ _36405) ^ [_72961] : [tptpcol_3_16386(_72961), -(isa(_72961, c_tptpcol_3_16386))], (874 ^ _36405) ^ [_45927, _45929] : [disjointwith(_45929, _45927), -(no(_45929, _45927))], (4828 ^ _36405) ^ [_93378] : [enduringthing_localized(_93378), -(isa(_93378, c_enduringthing_localized))], (1414 ^ _36405) ^ [_51813, _51815, _51817] : [isa(_51817, _51815), isa(_51817, _51813), disjointwith(_51815, _51813)], (588 ^ _36405) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _36405) ^ [_87059] : [tptpcol_10_109061(_87059), -(isa(_87059, c_tptpcol_10_109061))], (392 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _36405) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _36405) ^ [_67047, _67049] : [arg2isa(_67049, _67047), -(collection(_67047))], (5518 ^ _36405) ^ [_101997, _101999, _102001] : [-(disjointwith(_102001, _101997)), disjointwith(_102001, _101999), genls(_101997, _101999)], (2756 ^ _36405) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _36405) ^ [_66909, _66911, _66913, _66915] : [-(natargument(f_relationallexistsfn(_66915, _66913, _66911, _66909), n_2, _66913))], (3318 ^ _36405) ^ [_74703, _74705, _74707] : [-(thing(f_instancewithrelationtofn(_74707, _74705, _74703)))], (366 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _36405) ^ [_38555] : [tptpcol_2_98304(_38555), -(tptpcol_1_65536(_38555))], (1270 ^ _36405) ^ [_50263] : [tptpcol_16_130924(_50263), -(tptpcol_15_130923(_50263))], (830 ^ _36405) ^ [_45458] : [tptpcol_13_18664(_45458), -(tptpcol_12_18663(_45458))], (4786 ^ _36405) ^ [_92867] : [isa(_92867, c_tptpcol_2_65537), -(tptpcol_2_65537(_92867))], (1212 ^ _36405) ^ [_49641] : [-(tptp_9_51(f_relationexistsallfn(_49641, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _49641)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_49641, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _36405) ^ [_87880] : [isa(_87880, c_applicationcontext), -(applicationcontext(_87880))], (2950 ^ _36405) ^ [_69967, _69969] : [tptp_8_968(_69969, _69967), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_69967))], (2974 ^ _36405) ^ [_70275, _70277, _70279] : [relationexistsall(_70279, _70277, _70275), -(binarypredicate(_70279))], (4966 ^ _36405) ^ [_95057] : [isa(_95057, c_tptpcol_5_16388), -(tptpcol_5_16388(_95057))], (678 ^ _36405) ^ [_43816] : [applicationcontext(_43816), -(microtheory(_43816))], (1330 ^ _36405) ^ [_50899] : [tptpcol_7_108547(_50899), -(tptpcol_6_108546(_50899))], (4 ^ _36405) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _36405) ^ [_63516] : [isa(_63516, c_tptpcol_8_93698), -(tptpcol_8_93698(_63516))], (28 ^ _36405) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _36405) ^ [_60734, _60736] : [tptptypes_5_802(_60736, _60734), -(firstordercollection(_60734))], (942 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _36405) ^ [_51398] : [tptpcol_8_18438(_51398), -(tptpcol_7_18437(_51398))], (5456 ^ _36405) ^ [_101212, _101214, _101216] : [-(genls(_101212, _101214)), genls(_101216, _101214), genls(_101212, _101216)], (622 ^ _36405) ^ [] : [mtvisible(c_tptp_member2610_mt), -(relationallexists(c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))], (4282 ^ _36405) ^ [_86619, _86621] : [tptptypes_6_388(_86621, _86619), -(firstordercollection(_86621))], (3016 ^ _36405) ^ [_70792] : [-(natfunction(f_contextofpcwfn(_70792), c_contextofpcwfn))], (5072 ^ _36405) ^ [_96362] : [tptpcol_6_92162(_96362), -(isa(_96362, c_tptpcol_6_92162))], (596 ^ _36405) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _36405) ^ [_80971, _80973] : [tptptypes_7_691(_80973, _80971), -(firstordercollection(_80973))], (2724 ^ _36405) ^ [_67197, _67199, _67201] : [-(arg2isa(_67201, _67197)), arg2isa(_67201, _67199), genls(_67199, _67197)], (1034 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _36405) ^ [_65117] : [isa(_65117, c_tptpcol_16_130924), -(tptpcol_16_130924(_65117))], (2062 ^ _36405) ^ [_59015, _59017] : [affiliatedwith(_59017, _59015), -(agent_generic(_59017))], (4702 ^ _36405) ^ [_91845] : [isa(_91845, c_tptpcol_1_65536), -(tptpcol_1_65536(_91845))], (1084 ^ _36405) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _36405) ^ [_77221] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77221), -(isa(_77221, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _36405) ^ [_63589] : [tptpcol_8_93698(_63589), -(isa(_63589, c_tptpcol_8_93698))], (4546 ^ _36405) ^ [_89866] : [isa(_89866, c_tptpcol_12_93765), -(tptpcol_12_93765(_89866))], (580 ^ _36405) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _36405) ^ [_87515] : [tptpcol_12_92262(_87515), -(isa(_87515, c_tptpcol_12_92262))], (858 ^ _36405) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _36405) ^ [_68211] : [isa(_68211, c_tptpcol_10_26886), -(tptpcol_10_26886(_68211))], (1658 ^ _36405) ^ [_54528, _54530] : [tptptypes_9_824(_54530, _54528), -(tptptypes_8_823(_54530, _54528))], (1834 ^ _36405) ^ [_56417] : [tptpcol_9_40196(_56417), -(tptpcol_8_39940(_56417))], (1008 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _36405) ^ [_62932] : [isa(_62932, c_tptpcol_7_117762), -(tptpcol_7_117762(_62932))], (1464 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _36405) ^ [_93524] : [location_underspecified(_93524), -(isa(_93524, c_location_underspecified))], (3702 ^ _36405) ^ [_79424, _79426, _79428] : [relationallexists(_79428, _79426, _79424), -(collection(_79426))], (4816 ^ _36405) ^ [_93232] : [artsupplies(_93232), -(isa(_93232, c_artsupplies))], (1894 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _36405) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _36405) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _36405) ^ [_78770, _78772, _78774] : [-(directionoftranslation_throughout(_78770, _78772)), directionoftranslation_throughout(_78774, _78772), subevents(_78774, _78770)], (4330 ^ _36405) ^ [_87205] : [executionbyfiringsquad(_87205), -(isa(_87205, c_executionbyfiringsquad))], (1580 ^ _36405) ^ [_53655] : [tptpcol_6_71683(_53655), -(tptpcol_5_69635(_53655))], (1926 ^ _36405) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _36405) ^ [_63370] : [isa(_63370, c_tptpcol_6_18436), -(tptpcol_6_18436(_63370))], (888 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _36405) ^ [_48236] : [tptpcol_15_72793(_48236), -(tptpcol_14_72792(_48236))], (1100 ^ _36405) ^ [_48384] : [navypersonnel(_48384), -(militaryperson(_48384))], (2764 ^ _36405) ^ [_67700] : [spatialthing_nonsituational(_67700), -(isa(_67700, c_spatialthing_nonsituational))], (1960 ^ _36405) ^ [_57772] : [tptpcol_14_118118(_57772), -(tptpcol_13_118117(_57772))], (3810 ^ _36405) ^ [_80750] : [isa(_80750, c_tptpcol_2_2), -(tptpcol_2_2(_80750))], (258 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _36405) ^ [_92940] : [tptpcol_2_65537(_92940), -(isa(_92940, c_tptpcol_2_65537))], (1472 ^ _36405) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _36405) ^ [_69748] : [physicalorderingpredicate(_69748), -(isa(_69748, c_physicalorderingpredicate))], (1248 ^ _36405) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _36405) ^ [_68138] : [tptpcol_9_26885(_68138), -(isa(_68138, c_tptpcol_9_26885))], (232 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _36405) ^ [_41900, _41902] : [geographicalsubregions(_41902, _41900), -(inregion(_41900, _41902))], (4954 ^ _36405) ^ [_94911] : [isa(_94911, c_tptpcol_4_16387), -(tptpcol_4_16387(_94911))], (1966 ^ _36405) ^ [_57843] : [isa(_57843, c_tptpcol_14_118118), -(tptpcol_14_118118(_57843))], (1500 ^ _36405) ^ [_52753] : [tptpcol_3_16386(_52753), -(tptpcol_2_2(_52753))], (1374 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _36405) ^ [_102388, _102390] : [genlmt(_102390, _102388), -(microtheory(_102388))], (3398 ^ _36405) ^ [_75684] : [isa(_75684, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_75684))], (4810 ^ _36405) ^ [_93159] : [isa(_93159, c_artsupplies), -(artsupplies(_93159))], (3470 ^ _36405) ^ [_76560] : [isa(_76560, c_tptpcol_15_93775), -(tptpcol_15_93775(_76560))], (1754 ^ _36405) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _36405) ^ [_94619] : [isa(_94619, c_tptpcol_14_72792), -(tptpcol_14_72792(_94619))], (3554 ^ _36405) ^ [_77594] : [isa(_77594, c_tptpcol_12_22055), -(tptpcol_12_22055(_77594))], (562 ^ _36405) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _36405) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _36405) ^ [_93305] : [isa(_93305, c_enduringthing_localized), -(enduringthing_localized(_93305))], (2794 ^ _36405) ^ [_68065] : [isa(_68065, c_tptpcol_9_26885), -(tptpcol_9_26885(_68065))], (4392 ^ _36405) ^ [_87953] : [applicationcontext(_87953), -(isa(_87953, c_applicationcontext))], (5450 ^ _36405) ^ [_101139] : [collection(_101139), -(genls(_101139, _101139))], (300 ^ _36405) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _36405) ^ [_77961, _77963] : [tptp_9_720(_77963, _77961), -(executionbyfiringsquad(_77963))], (2890 ^ _36405) ^ [_69237] : [isa(_69237, c_tptpcol_15_30970), -(tptpcol_15_30970(_69237))], (4642 ^ _36405) ^ [_91103, _91105] : [tptptypes_8_390(_91105, _91103), -(firstordercollection(_91103))], (3138 ^ _36405) ^ [_72388, _72390, _72392] : [-(natargument(f_subcollectionofwithrelationtofn(_72392, _72390, _72388), n_3, _72388))], (4948 ^ _36405) ^ [_94838] : [ridgeline_topographical(_94838), -(isa(_94838, c_ridgeline_topographical))], (4624 ^ _36405) ^ [_90878, _90880] : [resultisaarg(_90880, _90878), -(function_denotational(_90880))], (3506 ^ _36405) ^ [_77002] : [isa(_77002, c_orientationvector), -(orientationvector(_77002))], (1428 ^ _36405) ^ [_51981] : [aspatialinformationstore(_51981), -(aspatialthing(_51981))], (5282 ^ _36405) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _36405) ^ [_86321] : [tptpcol_6_116738(_86321), -(isa(_86321, c_tptpcol_6_116738))], (1250 ^ _36405) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _36405) ^ [_93816] : [individual(_93816), -(isa(_93816, c_individual))], (1780 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _36405) ^ [_91772] : [marriagelicensedocument(_91772), -(isa(_91772, c_marriagelicensedocument))], (5084 ^ _36405) ^ [_96508] : [tptpcol_7_93186(_96508), -(isa(_96508, c_tptpcol_7_93186))], (1530 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _36405) ^ [_75317] : [isa(_75317, c_firstordercollection), -(firstordercollection(_75317))], (3258 ^ _36405) ^ [_73926, _73928, _73930] : [-(no(_73930, _73926)), no(_73930, _73928), subsetof(_73926, _73928)], (1538 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _36405) ^ [_84519] : [tptpcol_12_109157(_84519), -(isa(_84519, c_tptpcol_12_109157))], (1682 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _36405) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _36405) ^ [_86913] : [tptpcol_9_109060(_86913), -(isa(_86913, c_tptpcol_9_109060))], (3924 ^ _36405) ^ [_82175, _82177, _82179] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82179, _82177, _82175), n_3, _82175))], (1344 ^ _36405) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _36405) ^ [_71017, _71019, _71021] : [-(arg1isa(_71021, _71017)), arg1isa(_71021, _71019), genls(_71019, _71017)], (186 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _36405) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _36405) ^ [_73394, _73396, _73398] : [-(no(_73394, _73396)), no(_73398, _73396), subsetof(_73394, _73398)], (84 ^ _36405) ^ [_37333] : [tptpcol_9_22021(_37333), -(tptpcol_8_22020(_37333))], (1888 ^ _36405) ^ [_56986] : [tptpcol_7_18437(_56986), -(tptpcol_6_18436(_56986))], (974 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _36405) ^ [_61614] : [isa(_61614, c_tptpcol_11_72774), -(tptpcol_11_72774(_61614))], (4214 ^ _36405) ^ [_85772, _85774] : [borderson(_85774, _85772), -(geographicalregion(_85774))], (822 ^ _36405) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _36405) ^ [_89209] : [tptpcol_9_40196(_89209), -(isa(_89209, c_tptpcol_9_40196))], (5356 ^ _36405) ^ [_99976] : [inanimateobject(_99976), -(isa(_99976, c_inanimateobject))], (544 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _36405) ^ [_61468] : [isa(_61468, c_tptpcol_6_71683), -(tptpcol_6_71683(_61468))], (1858 ^ _36405) ^ [_56672] : [tptpcol_5_90114(_56672), -(tptpcol_4_90113(_56672))], (4166 ^ _36405) ^ [_85176] : [isa(_85176, c_tptpcol_12_18663), -(tptpcol_12_18663(_85176))], (2502 ^ _36405) ^ [_64400, _64402, _64404] : [-(few(_64404, _64400)), few(_64404, _64402), subsetof(_64400, _64402)], (2848 ^ _36405) ^ [_68726] : [tptpcol_15_109185(_68726), -(isa(_68726, c_tptpcol_15_109185))], (3316 ^ _36405) ^ [_74671, _74673, _74675] : [-(natargument(f_instancewithrelationtofn(_74675, _74673, _74671), n_3, _74671))], (5256 ^ _36405) ^ [_98702, _98704] : [genlinverse(_98704, _98702), -(binarypredicate(_98704))], (466 ^ _36405) ^ [_41509] : [tptpcol_5_24579(_41509), -(tptpcol_4_24578(_41509))], (2316 ^ _36405) ^ [_62125] : [tptpcol_16_25972(_62125), -(isa(_62125, c_tptpcol_16_25972))], (1438 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _36405) ^ [_59199] : [isa(_59199, c_footballteam), -(footballteam(_59199))], (872 ^ _36405) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _36405) ^ [_58502] : [isa(_58502, c_geolevel_4), -(geolevel_4(_58502))], (3410 ^ _36405) ^ [_75830] : [isa(_75830, c_tptpcol_13_22071), -(tptpcol_13_22071(_75830))], (1978 ^ _36405) ^ [_57989] : [-(natfunction(f_tptpquantityfn_6(_57989), c_tptpquantityfn_6))], (3792 ^ _36405) ^ [_80531] : [tptpcol_9_92165(_80531), -(isa(_80531, c_tptpcol_9_92165))], (2616 ^ _36405) ^ [_65814] : [isa(_65814, c_tptpcol_3_65538), -(tptpcol_3_65538(_65814))], (2980 ^ _36405) ^ [_70354] : [isa(_70354, c_tptpcol_7_26628), -(tptpcol_7_26628(_70354))], (5398 ^ _36405) ^ [_100487] : [isa(_100487, c_tptpcol_15_40430), -(tptpcol_15_40430(_100487))], (776 ^ _36405) ^ [_44884] : [inanimateobject_nonnatural(_44884), -(inanimateobject(_44884))], (1474 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _36405) ^ [_58283] : [tptpcol_16_62187(_58283), -(isa(_58283, c_tptpcol_16_62187))], (684 ^ _36405) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _36405) ^ [_57418] : [computerdataartifact(_57418), -(artifact(_57418))], (220 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _36405) ^ [_78976] : [unitvectorinterval(_78976), -(isa(_78976, c_unitvectorinterval))], (1036 ^ _36405) ^ [_47707] : [tptpcol_15_109185(_47707), -(tptpcol_14_109181(_47707))], (3196 ^ _36405) ^ [_73109, _73111] : [no(_73111, _73109), -(setorcollection(_73111))], (2854 ^ _36405) ^ [_68799] : [isa(_68799, c_tptpcol_6_26627), -(tptpcol_6_26627(_68799))], (1856 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _36405) ^ [_46111] : [tptpcol_5_69635(_46111), -(tptpcol_4_65539(_46111))], (3274 ^ _36405) ^ [_74132] : [geographicalregion(_74132), -(isa(_74132, c_geographicalregion))], (4744 ^ _36405) ^ [_92356] : [tptpcol_11_92230(_92356), -(isa(_92356, c_tptpcol_11_92230))], (2830 ^ _36405) ^ [_68507] : [isa(_68507, c_tptpcol_16_92269), -(tptpcol_16_92269(_68507))], (1668 ^ _36405) ^ [_54641] : [tptpcol_11_26887(_54641), -(tptpcol_10_26886(_54641))], (1666 ^ _36405) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _36405) ^ [_62348] : [isa(_62348, c_tptpcol_4_90113), -(tptpcol_4_90113(_62348))], (4076 ^ _36405) ^ [_84081] : [tptpcol_4_24578(_84081), -(isa(_84081, c_tptpcol_4_24578))], (202 ^ _36405) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _36405) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _36405) ^ [_76414] : [isa(_76414, c_tptpcol_14_93774), -(tptpcol_14_93774(_76414))], (2878 ^ _36405) ^ [_69091] : [isa(_69091, c_tptpcol_8_18438), -(tptpcol_8_18438(_69091))], (1506 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _36405) ^ [_98123, _98125] : [genlpreds(_98125, _98123), -(predicate(_98123))], (1634 ^ _36405) ^ [_54261] : [tptpcol_8_92164(_54261), -(tptpcol_7_92163(_54261))], (1304 ^ _36405) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _36405) ^ [_88678, _88680] : [tptpofobject(_88680, _88678), -(partiallytangible(_88680))], (2646 ^ _36405) ^ [_66181, _66183] : [tptp_9_51(_66183, _66181), -(tptpcol_7_26628(_66183))], (950 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _36405) ^ [_71433, _71435] : [objectfoundinlocation(_71435, _71433), -(spatialthing_nonsituational(_71435))], (532 ^ _36405) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _36405) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _36405) ^ [_57916] : [tptpcol_14_118118(_57916), -(isa(_57916, c_tptpcol_14_118118))], (1686 ^ _36405) ^ [_54837, _54839] : [few(_54839, _54837), -(setorcollection(_54837))], (1180 ^ _36405) ^ [_49283, _49285] : [tptptypes_7_389(_49285, _49283), -(tptptypes_6_388(_49283, _49285))], (838 ^ _36405) ^ [_45547] : [artifact(_45547), -(inanimateobject_nonnatural(_45547))], (1354 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _36405) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _36405) ^ [_73261, _73263, _73265] : [-(no(_73265, _73261)), no(_73265, _73263), subsetof(_73261, _73263)], (1052 ^ _36405) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _36405) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _36405) ^ [_87734] : [isa(_87734, c_computerdataartifact), -(computerdataartifact(_87734))], (2128 ^ _36405) ^ [_59834] : [-(tptpquantity(f_tptpquantityfn_2(_59834)))], (3028 ^ _36405) ^ [_70942, _70944] : [arg1isa(_70944, _70942), -(relation(_70944))], (1150 ^ _36405) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _36405) ^ [_70646] : [isa(_70646, c_tptpcol_3_114688), -(tptpcol_3_114688(_70646))], (3988 ^ _36405) ^ [_82967, _82969] : [hasmembers(_82969, _82967), -(agent_generic(_82967))], (1794 ^ _36405) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _36405) ^ [_41420] : [tptpcol_5_106498(_41420), -(tptpcol_4_106497(_41420))], (1548 ^ _36405) ^ [_53299] : [tptpcol_7_72707(_53299), -(tptpcol_6_71683(_53299))], (4190 ^ _36405) ^ [_85472, _85474] : [tptptypes_9_401(_85474, _85472), -(firstordercollection(_85472))], (170 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _36405) ^ [_93889] : [isa(_93889, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_93889))], (3882 ^ _36405) ^ [_81638] : [isa(_81638, c_correctivelensprescription), -(correctivelensprescription(_81638))], (4130 ^ _36405) ^ [_84738] : [isa(_84738, c_mathematicalthing), -(mathematicalthing(_84738))], (4226 ^ _36405) ^ [_85933] : [borderson(_85933, _85933)], (1328 ^ _36405) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _36405) ^ [_36725] : [inanimateobject(_36725), -(partiallytangible(_36725))], (2592 ^ _36405) ^ [_65522] : [isa(_65522, c_tptpcol_13_26920), -(tptpcol_13_26920(_65522))], (3010 ^ _36405) ^ [_70719] : [tptpcol_3_114688(_70719), -(isa(_70719, c_tptpcol_3_114688))], (1702 ^ _36405) ^ [_55019] : [tptpcol_8_39940(_55019), -(tptpcol_7_39939(_55019))], (5422 ^ _36405) ^ [_100783, _100785] : [genls(_100785, _100783), -(collection(_100785))], (346 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _36405) ^ [_52302] : [tptpcol_6_26627(_52302), -(tptpcol_5_24579(_52302))], (1606 ^ _36405) ^ [_53946, _53948] : [genls(_53948, _53946), -(subsetof(_53948, _53946))], (1202 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _36405) ^ [_73660, _73662, _73664] : [-(no(_73664, _73660)), no(_73664, _73662), genls(_73660, _73662)], (3572 ^ _36405) ^ [_77813] : [tptpcol_16_29490(_77813), -(isa(_77813, c_tptpcol_16_29490))], (4852 ^ _36405) ^ [_93670] : [trajector_underspecified(_93670), -(isa(_93670, c_trajector_underspecified))], (1732 ^ _36405) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _36405) ^ [_62859] : [aspatialthing(_62859), -(isa(_62859, c_aspatialthing))], (598 ^ _36405) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _36405) ^ [_51742] : [tptpcol_7_117762(_51742), -(tptpcol_6_116738(_51742))], (1128 ^ _36405) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _36405) ^ [_94254] : [tptpcol_11_22023(_94254), -(isa(_94254, c_tptpcol_11_22023))], (812 ^ _36405) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _36405) ^ [_78695, _78697] : [directionoftranslation_throughout(_78697, _78695), -(movement_translationevent(_78697))], (766 ^ _36405) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _36405) ^ [_37837] : [partiallyintangibleindividual(_37837), -(individual(_37837))], (1980 ^ _36405) ^ [_58014] : [-(natargument(f_tptpquantityfn_6(_58014), n_1, _58014))], (5078 ^ _36405) ^ [_96435] : [isa(_96435, c_tptpcol_7_93186), -(tptpcol_7_93186(_96435))], (1168 ^ _36405) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _36405) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _36405) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _36405) ^ [_86469, _86471] : [tptptypes_5_387(_86471, _86469), -(firstordercollection(_86471))], (1398 ^ _36405) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _36405) ^ [_88407] : [-(natargument(f_tptpquantityfn_1(_88407), n_1, _88407))], (844 ^ _36405) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _36405) ^ [_91991] : [isa(_91991, c_tptpcol_2_98304), -(tptpcol_2_98304(_91991))], (422 ^ _36405) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _36405) ^ [_61541] : [tptpcol_6_71683(_61541), -(isa(_61541, c_tptpcol_6_71683))], (2050 ^ _36405) ^ [_58867] : [pushingwithfingers(_58867), -(isa(_58867, c_pushingwithfingers))], (1562 ^ _36405) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _36405) ^ [_59710] : [tptpcol_15_22076(_59710), -(isa(_59710, c_tptpcol_15_22076))], (1442 ^ _36405) ^ [_52124] : [tptpcol_9_93699(_52124), -(tptpcol_8_93698(_52124))], (1692 ^ _36405) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _36405) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _36405) ^ [_60442] : [isa(_60442, c_tptpcol_13_118117), -(tptpcol_13_118117(_60442))], (4410 ^ _36405) ^ [_88176, _88178, _88180] : [-(inregion(_88180, _88176)), inregion(_88180, _88178), inregion(_88178, _88176)], (1436 ^ _36405) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _36405) ^ [_78474] : [isa(_78474, c_movement_translationevent), -(movement_translationevent(_78474))], (4798 ^ _36405) ^ [_93013] : [isa(_93013, c_tptpcol_3_81921), -(tptpcol_3_81921(_93013))], (3952 ^ _36405) ^ [_82529] : [isa(_82529, c_tptpcol_10_118020), -(tptpcol_10_118020(_82529))], (432 ^ _36405) ^ [_41135] : [tptpcol_12_18663(_41135), -(tptpcol_11_18631(_41135))], (1528 ^ _36405) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _36405) ^ [_68284] : [tptpcol_10_26886(_68284), -(isa(_68284, c_tptpcol_10_26886))], (308 ^ _36405) ^ [_39809] : [-(tptpofobject(_39809, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_39809)]], input).
% 43.63/42.89  ncf('1',plain,[-(disjointwith(c_tptptptpcol_16_8398, c_tptpcol_16_18488))],start(5596 ^ 0)).
% 43.63/42.89  ncf('1.1',plain,[disjointwith(c_tptptptpcol_16_8398, c_tptpcol_16_18488), -(collection(c_tptptptpcol_16_8398))],extension(5506 ^ 1,bind([[_101845, _101847], [c_tptpcol_16_18488, c_tptptptpcol_16_8398]]))).
% 43.63/42.89  ncf('1.1.1',plain,[collection(c_tptptptpcol_16_8398), individual(c_tptptptpcol_16_8398)],extension(1122 ^ 2,bind([[_48633], [c_tptptptpcol_16_8398]]))).
% 43.63/42.89  ncf('1.1.1.1',plain,[-(individual(c_tptptptpcol_16_8398))],extension(1742 ^ 3)).
% 43.63/42.89  %-----------------------------------------------------
% 43.63/42.89  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------