nanoCoP---2.0.THM-Prf.s

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

% Computer : n020.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:40:05 EDT 2023

% Result   : Theorem 55.09s 54.22s
% Output   : Proof 55.13s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR045+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.13  % Command  : nanocop.sh %s %d
% 0.14/0.34  % Computer : n020.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 : Fri May 19 00:40:02 EDT 2023
% 0.14/0.34  % CPUTime  : 
% 55.09/54.22  
% 55.09/54.22  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 55.09/54.22  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 55.09/54.22  %-----------------------------------------------------
% 55.09/54.22  ncf(matrix, plain, [(5596 ^ _115479) ^ [] : [-(genls(c_wamt_evalinitial_p14, c_tptpcol_15_80088))], !, (1546 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _36664) ^ [_97140] : [setorcollection(_97140), -(most(_97140, _97140))], (1814 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _36664) ^ [_96915, _96917] : [most(_96917, _96915), -(setorcollection(_96915))], (1448 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _36664) ^ [_39997] : [tptpcol_13_93766(_39997), -(tptpcol_12_93765(_39997))], (1944 ^ _36664) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _36664) ^ [_85289] : [isa(_85289, c_tptpcol_11_18631), -(tptpcol_11_18631(_85289))], (960 ^ _36664) ^ [_47140] : [isa(_47140, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47140, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47140))], (5380 ^ _36664) ^ [_100527] : [tptpcol_10_72710(_100527), -(isa(_100527, c_tptpcol_10_72710))], (5554 ^ _36664) ^ [_102722, _102724] : [genlmt(_102724, _102722), -(microtheory(_102722))], (4888 ^ _36664) ^ [_94367] : [tptpcol_10_22022(_94367), -(isa(_94367, c_tptpcol_10_22022))], (4040 ^ _36664) ^ [_83900, _83902] : [prettystring(_83902, _83900), -(thing(_83902))], (2902 ^ _36664) ^ [_69642] : [isa(_69642, c_tptpcol_16_30972), -(tptpcol_16_30972(_69642))], (1802 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _36664) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _36664) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _36664) ^ [_48055] : [tptpcol_16_92269(_48055), -(tptpcol_15_92268(_48055))], (1650 ^ _36664) ^ [_54698] : [tptpcol_11_40388(_54698), -(tptpcol_10_40324(_54698))], (324 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _36664) ^ [_67238, _67240, _67242, _67244] : [-(natargument(f_relationallexistsfn(_67244, _67242, _67240, _67238), n_4, _67238))], (3088 ^ _36664) ^ [_71984] : [objectfoundinlocation(_71984, _71984)], (1122 ^ _36664) ^ [_48892] : [collection(_48892), individual(_48892)], (286 ^ _36664) ^ [_39819] : [tptpcol_8_72708(_39819), -(tptpcol_7_72707(_39819))], (1006 ^ _36664) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _36664) ^ [_93345] : [tptpcol_3_81921(_93345), -(isa(_93345, c_tptpcol_3_81921))], (1984 ^ _36664) ^ [_58323] : [isa(_58323, c_tptpcol_16_26939), -(tptpcol_16_26939(_58323))], (1284 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _36664) ^ [_85932] : [-(tptpquantity(f_tptpquantityfn_13(_85932)))], (2448 ^ _36664) ^ [_63994] : [tptpcol_11_109125(_63994), -(isa(_63994, c_tptpcol_11_109125))], (2604 ^ _36664) ^ [_65927] : [isa(_65927, c_tptpcol_14_26921), -(tptpcol_14_26921(_65927))], (2032 ^ _36664) ^ [_58907] : [isa(_58907, c_tptpcol_15_4027), -(tptpcol_15_4027(_58907))], (5146 ^ _36664) ^ [_97552, _97554] : [subsetof(_97554, _97552), -(setorcollection(_97552))], (3312 ^ _36664) ^ [_74866, _74868, _74870] : [-(natargument(f_instancewithrelationtofn(_74870, _74868, _74866), n_1, _74870))], (2836 ^ _36664) ^ [_68839] : [tptpcol_16_92269(_68839), -(isa(_68839, c_tptpcol_16_92269))], (4474 ^ _36664) ^ [_89249] : [isa(_89249, c_tptpcol_13_93766), -(tptpcol_13_93766(_89249))], (2914 ^ _36664) ^ [_69788] : [isa(_69788, c_tptpcol_14_109181), -(tptpcol_14_109181(_69788))], (3518 ^ _36664) ^ [_77407] : [isa(_77407, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77407))], (3964 ^ _36664) ^ [_82934] : [isa(_82934, c_tptpcol_11_118084), -(tptpcol_11_118084(_82934))], (2588 ^ _36664) ^ [_65725, _65727] : [-(natargument(f_citynamedfn(_65727, _65725), n_2, _65725))], (376 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _36664) ^ [_83522, _83524, _83526] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_83526, _83524, _83522), c_subcollectionofwithrelationfromtypefn))], (836 ^ _36664) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _36664) ^ [_87245] : [isa(_87245, c_tptpcol_10_109061), -(tptpcol_10_109061(_87245))], (2256 ^ _36664) ^ [_61654] : [tptpcol_16_50958(_61654), -(isa(_61654, c_tptpcol_16_50958))], (2298 ^ _36664) ^ [_62165] : [isa(_62165, c_tptpcol_5_110593), -(tptpcol_5_110593(_62165))], (1484 ^ _36664) ^ [_52846] : [aspatialinformationstore(_52846), -(intangibleindividual(_52846))], (3512 ^ _36664) ^ [_77334] : [orientationvector(_77334), -(isa(_77334, c_orientationvector))], (4504 ^ _36664) ^ [_89614] : [tptpcol_10_40324(_89614), -(isa(_89614, c_tptpcol_10_40324))], (1170 ^ _36664) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _36664) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _36664) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _36664) ^ [_90417] : [isa(_90417, c_tptpcol_5_114690), -(tptpcol_5_114690(_90417))], (3140 ^ _36664) ^ [_72679, _72681, _72683] : [-(collection(f_subcollectionofwithrelationtofn(_72683, _72681, _72679)))], (1648 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _36664) ^ [_95535] : [tptpcol_8_22020(_95535), -(isa(_95535, c_tptpcol_8_22020))], (1064 ^ _36664) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _36664) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _36664) ^ [_83585, _83587, _83589] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83589, _83587, _83585), n_2, _83587))], (1824 ^ _36664) ^ [_56569] : [tptpcol_14_92264(_56569), -(tptpcol_13_92263(_56569))], (694 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _36664) ^ [_99541] : [-(natfunction(f_urlreferentfn(_99541), c_urlreferentfn))], (4338 ^ _36664) ^ [_87555] : [isa(_87555, c_navypersonnel), -(navypersonnel(_87555))], (3608 ^ _36664) ^ [_78514] : [tptpcol_9_118019(_78514), -(isa(_78514, c_tptpcol_9_118019))], (3392 ^ _36664) ^ [_75870] : [supplies(_75870), -(isa(_75870, c_supplies))], (736 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _36664) ^ [_81822, _81824] : [tptptypes_7_819(_81824, _81822), -(firstordercollection(_81824))], (20 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _36664) ^ [_46281] : [tptpcol_4_24578(_46281), -(tptpcol_3_16386(_46281))], (3284 ^ _36664) ^ [_74515] : [-(tptpquantity(f_tptpquantityfn_21(_74515)))], (1130 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _36664) ^ [_75797] : [isa(_75797, c_supplies), -(supplies(_75797))], (2986 ^ _36664) ^ [_70686] : [tptpcol_7_26628(_70686), -(isa(_70686, c_tptpcol_7_26628))], (4972 ^ _36664) ^ [_95389] : [tptpcol_5_16388(_95389), -(isa(_95389, c_tptpcol_5_16388))], (2310 ^ _36664) ^ [_62311] : [isa(_62311, c_tptpcol_16_25972), -(tptpcol_16_25972(_62311))], (58 ^ _36664) ^ [_37319] : [tptpcol_7_93186(_37319), -(tptpcol_6_92162(_37319))], (3404 ^ _36664) ^ [_76016] : [inanimateobject_nonnatural(_76016), -(isa(_76016, c_inanimateobject_nonnatural))], (676 ^ _36664) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _36664) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _36664) ^ [_101117, _101119] : [genls(_101119, _101117), -(collection(_101119))], (4780 ^ _36664) ^ [_93053] : [tptpcol_10_18567(_93053), -(isa(_93053, c_tptpcol_10_18567))], (3548 ^ _36664) ^ [_77778, _77780] : [tptptypes_7_396(_77780, _77778), -(firstordercollection(_77780))], (3566 ^ _36664) ^ [_77999] : [isa(_77999, c_tptpcol_16_29490), -(tptpcol_16_29490(_77999))], (2412 ^ _36664) ^ [_63556] : [tptpcol_7_18437(_63556), -(isa(_63556, c_tptpcol_7_18437))], (1622 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _36664) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _36664) ^ [_100600] : [isa(_100600, c_tptpcol_14_40429), -(tptpcol_14_40429(_100600))], (696 ^ _36664) ^ [_44277] : [tptpcol_11_18631(_44277), -(tptpcol_10_18567(_44277))], (1854 ^ _36664) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _36664) ^ [_71842, _71844, _71846] : [-(objectfoundinlocation(_71846, _71842)), objectfoundinlocation(_71846, _71844), objectfoundinlocation(_71844, _71842)], (3920 ^ _36664) ^ [_82370, _82372, _82374] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82374, _82372, _82370), n_1, _82374))], (3614 ^ _36664) ^ [_78587] : [isa(_78587, c_tptpcol_16_31868), -(tptpcol_16_31868(_78587))], (348 ^ _36664) ^ [_40482] : [tptpcol_12_92262(_40482), -(tptpcol_11_92230(_40482))], (464 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _36664) ^ [_102947, _102949, _102951] : [-(genlmt(_102951, _102947)), genlmt(_102951, _102949), genlmt(_102949, _102947)], (2956 ^ _36664) ^ [_70301, _70303] : [tptp_8_968(_70303, _70301), -(tptpcol_7_7172(_70303))], (4610 ^ _36664) ^ [_90924, _90926, _90928, _90930] : [-(natargument(f_relationexistsallfn(_90930, _90928, _90926, _90924), n_2, _90928))], (276 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _36664) ^ [_90490] : [tptpcol_5_114690(_90490), -(isa(_90490, c_tptpcol_5_114690))], (5300 ^ _36664) ^ [_99517] : [-(uniformresourcelocator(f_urlfn(_99517)))], (920 ^ _36664) ^ [_46695] : [tptpcol_3_98305(_46695), -(tptpcol_2_98304(_46695))], (5184 ^ _36664) ^ [_98041, _98043, _98045] : [-(subsetof(_98045, _98041)), subsetof(_98045, _98043), subsetof(_98043, _98041)], (1382 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _36664) ^ [_76381] : [isa(_76381, c_tptpcol_7_108547), -(tptpcol_7_108547(_76381))], (2190 ^ _36664) ^ [_60847] : [isa(_60847, c_tptpcol_5_90114), -(tptpcol_5_90114(_60847))], (1590 ^ _36664) ^ [_54021, _54023] : [tptptypes_7_396(_54023, _54021), -(tptptypes_6_388(_54023, _54021))], (5310 ^ _36664) ^ [_99644, _99646] : [-(natargument(f_contentmtofcdafromeventfn(_99646, _99644), n_1, _99646))], (936 ^ _36664) ^ [_46873] : [artsupplies(_46873), -(supplies(_46873))], (1256 ^ _36664) ^ [_50374] : [intangibleindividual(_50374), -(partiallyintangibleindividual(_50374))], (2328 ^ _36664) ^ [_62532, _62534] : [tptp_8_271(_62534, _62532), -(tptpcol_5_24579(_62534))], (3314 ^ _36664) ^ [_74898, _74900, _74902] : [-(natargument(f_instancewithrelationtofn(_74902, _74900, _74898), n_2, _74900))], (2068 ^ _36664) ^ [_59349, _59351] : [affiliatedwith(_59351, _59349), -(affiliatedwith(_59349, _59351))], (4684 ^ _36664) ^ [_91885] : [tptpcol_11_40388(_91885), -(isa(_91885, c_tptpcol_11_40388))], (4046 ^ _36664) ^ [_83975] : [isa(_83975, c_tptpcol_0_0), -(tptpcol_0_0(_83975))], (1772 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _36664) ^ [_43015] : [fixedordercollection(_43015), -(collection(_43015))], (3982 ^ _36664) ^ [_83153] : [terroristgroup(_83153), -(isa(_83153, c_terroristgroup))], (2884 ^ _36664) ^ [_69423] : [tptpcol_8_18438(_69423), -(isa(_69423, c_tptpcol_8_18438))], (3798 ^ _36664) ^ [_80863] : [isa(_80863, c_tptpcol_1_1), -(tptpcol_1_1(_80863))], (5416 ^ _36664) ^ [_100967, _100969] : [genls(_100969, _100967), -(collection(_100967))], (374 ^ _36664) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _36664) ^ [_82466, _82468, _82470] : [-(collection(f_subcollectionofwithrelationtotypefn(_82470, _82468, _82466)))], (5500 ^ _36664) ^ [_102029, _102031] : [disjointwith(_102031, _102029), -(collection(_102029))], (112 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _36664) ^ [_75773] : [-(tptpquantity(f_tptpquantityfn_14(_75773)))], (5506 ^ _36664) ^ [_102104, _102106] : [disjointwith(_102106, _102104), -(collection(_102106))], (3786 ^ _36664) ^ [_80717] : [isa(_80717, c_tptpcol_9_92165), -(tptpcol_9_92165(_80717))], (4594 ^ _36664) ^ [_90709] : [isa(_90709, c_tptpcol_4_106497), -(tptpcol_4_106497(_90709))], (1982 ^ _36664) ^ [_58299] : [-(tptpquantity(f_tptpquantityfn_6(_58299)))], (336 ^ _36664) ^ [_40357] : [location_underspecified(_40357), -(thing(_40357))], (4160 ^ _36664) ^ [_85362] : [tptpcol_11_18631(_85362), -(isa(_85362, c_tptpcol_11_18631))], (752 ^ _36664) ^ [_44876] : [tptpcol_14_22072(_44876), -(tptpcol_13_22071(_44876))], (5158 ^ _36664) ^ [_97702, _97704, _97706] : [-(subsetof(_97706, _97702)), subsetof(_97706, _97704), subsetof(_97704, _97702)], (2106 ^ _36664) ^ [_59823] : [pushingwithopenhand(_59823), -(isa(_59823, c_pushingwithopenhand))], (2710 ^ _36664) ^ [_67273, _67275, _67277, _67279] : [-(thing(f_relationallexistsfn(_67279, _67277, _67275, _67273)))], (1708 ^ _36664) ^ [_55349] : [-(tptpofobject(_55349, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55349)], (454 ^ _36664) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _36664) ^ [_67886] : [isa(_67886, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_67886))], (2094 ^ _36664) ^ [_59677] : [tptpcol_16_4451(_59677), -(isa(_59677, c_tptpcol_16_4451))], (4894 ^ _36664) ^ [_94440] : [isa(_94440, c_tptpcol_11_22023), -(tptpcol_11_22023(_94440))], (2788 ^ _36664) ^ [_68251] : [tptpcol_15_72793(_68251), -(isa(_68251, c_tptpcol_15_72793))], (2896 ^ _36664) ^ [_69569] : [tptpcol_15_30970(_69569), -(isa(_69569, c_tptpcol_15_30970))], (1158 ^ _36664) ^ [_49280, _49282, _49284, _49286] : [-(isa(f_relationallexistsfn(_49286, _49282, _49284, _49280), _49280)), isa(_49286, _49284), relationallexists(_49282, _49284, _49280)], (3446 ^ _36664) ^ [_76527] : [isa(_76527, c_tptpcol_8_109059), -(tptpcol_8_109059(_76527))], (638 ^ _36664) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _36664) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _36664) ^ [_41483] : [setorcollection(_41483), -(mathematicalthing(_41483))], (1262 ^ _36664) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _36664) ^ [_74489] : [-(natargument(f_tptpquantityfn_21(_74489), n_1, _74489))], (234 ^ _36664) ^ [_39218, _39220] : [tptptypes_8_390(_39220, _39218), -(tptptypes_7_389(_39220, _39218))], (1246 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _36664) ^ [_91437, _91439] : [tptptypes_8_390(_91439, _91437), -(firstordercollection(_91439))], (3888 ^ _36664) ^ [_81970] : [correctivelensprescription(_81970), -(isa(_81970, c_correctivelensprescription))], (3620 ^ _36664) ^ [_78660] : [tptpcol_16_31868(_78660), -(isa(_78660, c_tptpcol_16_31868))], (3422 ^ _36664) ^ [_76235] : [isa(_76235, c_tptpcol_14_22072), -(tptpcol_14_22072(_76235))], (1616 ^ _36664) ^ [_54318, _54320] : [tptptypes_6_818(_54320, _54318), -(tptptypes_5_802(_54320, _54318))], (738 ^ _36664) ^ [_44728] : [tptpcol_14_40429(_44728), -(tptpcol_13_40421(_44728))], (4882 ^ _36664) ^ [_94294] : [isa(_94294, c_tptpcol_10_22022), -(tptpcol_10_22022(_94294))], (210 ^ _36664) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _36664) ^ [_44443] : [mathematicalthing(_44443), -(mathematicalorcomputationalthing(_44443))], (3054 ^ _36664) ^ [_71542, _71544] : [objectfoundinlocation(_71544, _71542), -(spatialthing_nonsituational(_71542))], (4350 ^ _36664) ^ [_87701] : [isa(_87701, c_tptpcol_12_92262), -(tptpcol_12_92262(_87701))], (1388 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _36664) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _36664) ^ [_53736] : [tptpcol_8_114177(_53736), -(tptpcol_7_113665(_53736))], (3476 ^ _36664) ^ [_76892] : [tptpcol_15_93775(_76892), -(isa(_76892, c_tptpcol_15_93775))], (5340 ^ _36664) ^ [_100029, _100031, _100033] : [-(isa(_100033, _100029)), isa(_100033, _100031), genls(_100031, _100029)], (896 ^ _36664) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _36664) ^ [_68032] : [isa(_68032, c_militaryperson), -(militaryperson(_68032))], (1880 ^ _36664) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _36664) ^ [_79454, _79456] : [tptp_8_875(_79456, _79454), -(tptpcol_4_24578(_79454))], (1424 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _36664) ^ [_64140] : [tptpcol_6_108546(_64140), -(isa(_64140, c_tptpcol_6_108546))], (1450 ^ _36664) ^ [_52472] : [tptpcol_11_93764(_52472), -(tptpcol_10_93700(_52472))], (1676 ^ _36664) ^ [_54989] : [tptpcol_16_26926(_54989), -(tptpcol_15_26925(_54989))], (2842 ^ _36664) ^ [_68912] : [isa(_68912, c_tptpcol_15_109185), -(tptpcol_15_109185(_68912))], (3332 ^ _36664) ^ [_75138] : [isa(_75138, c_tptpcol_7_113665), -(tptpcol_7_113665(_75138))], (3380 ^ _36664) ^ [_75722] : [-(natfunction(f_tptpquantityfn_14(_75722), c_tptpquantityfn_14))], (1760 ^ _36664) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _36664) ^ [_36718] : [intangible(_36718), partiallytangible(_36718)], (2088 ^ _36664) ^ [_59604] : [isa(_59604, c_tptpcol_16_4451), -(tptpcol_16_4451(_59604))], (4462 ^ _36664) ^ [_89091, _89093, _89095] : [relationallinstance(_89095, _89093, _89091), -(collection(_89093))], (966 ^ _36664) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _36664) ^ [_92907] : [tptpcol_9_18439(_92907), -(isa(_92907, c_tptpcol_9_18439))], (1010 ^ _36664) ^ [_47677] : [tptpcol_12_118116(_47677), -(tptpcol_11_118084(_47677))], (2670 ^ _36664) ^ [_66734] : [tptpcol_7_21508(_66734), -(isa(_66734, c_tptpcol_7_21508))], (918 ^ _36664) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _36664) ^ [_80206] : [aspatialinformationstore(_80206), -(isa(_80206, c_aspatialinformationstore))], (3928 ^ _36664) ^ [_82496] : [isa(_82496, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82496))], (2074 ^ _36664) ^ [_59435] : [affiliatedwith(_59435, _59435)], (2694 ^ _36664) ^ [_67026] : [state_geopolitical(_67026), -(isa(_67026, c_state_geopolitical))], (4990 ^ _36664) ^ [_95608] : [isa(_95608, c_tptpcol_9_22021), -(tptpcol_9_22021(_95608))], (4660 ^ _36664) ^ [_91587, _91589] : [tptptypes_8_692(_91589, _91587), -(firstordercollection(_91589))], (4942 ^ _36664) ^ [_95024] : [isa(_95024, c_ridgeline_topographical), -(ridgeline_topographical(_95024))], (1532 ^ _36664) ^ [_53380] : [tptpcol_6_112641(_53380), -(tptpcol_5_110593(_53380))], (260 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _36664) ^ [_87628] : [navypersonnel(_87628), -(isa(_87628, c_navypersonnel))], (2584 ^ _36664) ^ [_65668, _65670] : [-(natfunction(f_citynamedfn(_65670, _65668), c_citynamedfn))], (120 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _36664) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _36664) ^ [_44965] : [tptpcol_14_93774(_44965), -(tptpcol_13_93766(_44965))], (4732 ^ _36664) ^ [_92469] : [tptpcol_10_92166(_92469), -(isa(_92469, c_tptpcol_10_92166))], (1740 ^ _36664) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _36664) ^ [_71409, _71411, _71413] : [-(arg1isa(_71413, _71409)), arg1isa(_71413, _71411), genls(_71411, _71409)], (5392 ^ _36664) ^ [_100673] : [tptpcol_14_40429(_100673), -(isa(_100673, c_tptpcol_14_40429))], (3852 ^ _36664) ^ [_81524] : [tptpcol_12_26919(_81524), -(isa(_81524, c_tptpcol_12_26919))], (212 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _36664) ^ [_58396] : [tptpcol_16_26939(_58396), -(isa(_58396, c_tptpcol_16_26939))], (242 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _36664) ^ [_76600] : [tptpcol_8_109059(_76600), -(isa(_76600, c_tptpcol_8_109059))], (4912 ^ _36664) ^ [_94659] : [tptpcol_5_20483(_94659), -(isa(_94659, c_tptpcol_5_20483))], (1796 ^ _36664) ^ [_56273] : [geolevel_4(_56273), -(geographicalregion(_56273))], (5126 ^ _36664) ^ [_97286, _97288, _97290] : [-(most(_97290, _97286)), most(_97290, _97288), subsetof(_97288, _97286)], (722 ^ _36664) ^ [_44550] : [tptpcol_15_93775(_44550), -(tptpcol_14_93774(_44550))], (2196 ^ _36664) ^ [_60920] : [tptpcol_5_90114(_60920), -(isa(_60920, c_tptpcol_5_90114))], (1286 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _36664) ^ [_84632] : [tptpcol_5_106498(_84632), -(isa(_84632, c_tptpcol_5_106498))], (2566 ^ _36664) ^ [_65449] : [tptpcol_16_130924(_65449), -(isa(_65449, c_tptpcol_16_130924))], (1768 ^ _36664) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _36664) ^ [_66365, _66367] : [tptp_9_51(_66367, _66365), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66365))], (1632 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _36664) ^ [_88862, _88864] : [tptpofobject(_88864, _88862), -(tptpquantity(_88862))], (4426 ^ _36664) ^ [_88641] : [-(natfunction(f_tptpquantityfn_1(_88641), c_tptpquantityfn_1))], (4234 ^ _36664) ^ [_86288] : [tptpcol_14_92264(_86288), -(isa(_86288, c_tptpcol_14_92264))], (1656 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _36664) ^ [_68616, _68618] : [tptptypes_8_823(_68618, _68616), -(firstordercollection(_68616))], (1268 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _36664) ^ [_38007] : [tptpcol_11_22023(_38007), -(tptpcol_10_22022(_38007))], (4630 ^ _36664) ^ [_91212, _91214] : [tptptypes_7_389(_91214, _91212), -(firstordercollection(_91212))], (2866 ^ _36664) ^ [_69204] : [isa(_69204, c_tptpcol_12_118116), -(tptpcol_12_118116(_69204))], (1734 ^ _36664) ^ [_55632] : [tptpcol_0_0(_55632), -(individual(_55632))], (4196 ^ _36664) ^ [_85806, _85808] : [tptptypes_9_401(_85808, _85806), -(firstordercollection(_85808))], (5410 ^ _36664) ^ [_100892, _100894] : [genls(_100894, _100892), -(collection(_100892))], (3994 ^ _36664) ^ [_83301, _83303] : [hasmembers(_83303, _83301), -(organization(_83303))], (5262 ^ _36664) ^ [_99036, _99038, _99040] : [-(genlinverse(_99036, _99038)), genlinverse(_99040, _99038), genlpreds(_99036, _99040)], (2208 ^ _36664) ^ [_61068, _61070] : [tptptypes_5_802(_61070, _61068), -(firstordercollection(_61070))], (944 ^ _36664) ^ [_46962] : [tptpcol_8_26629(_46962), -(tptpcol_7_26628(_46962))], (1254 ^ _36664) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _36664) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _36664) ^ [_91062, _91064] : [resultisaarg(_91064, _91062), -(positiveinteger(_91062))], (4228 ^ _36664) ^ [_86215] : [isa(_86215, c_tptpcol_14_92264), -(tptpcol_14_92264(_86215))], (3602 ^ _36664) ^ [_78441] : [isa(_78441, c_tptpcol_9_118019), -(tptpcol_9_118019(_78441))], (1358 ^ _36664) ^ [_51461] : [tptpcol_2_65537(_51461), -(tptpcol_1_65536(_51461))], (2038 ^ _36664) ^ [_58980] : [tptpcol_15_4027(_58980), -(isa(_58980, c_tptpcol_15_4027))], (1958 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _36664) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _36664) ^ [_99702, _99704] : [-(microtheory(f_contentmtofcdafromeventfn(_99704, _99702)))], (424 ^ _36664) ^ [_41299, _41301] : [tptptypes_9_401(_41301, _41299), -(tptptypes_8_400(_41299, _41301))], (254 ^ _36664) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _36664) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _36664) ^ [_85508] : [tptpcol_12_18663(_85508), -(isa(_85508, c_tptpcol_12_18663))], (1482 ^ _36664) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _36664) ^ [_65230] : [isa(_65230, c_tptpcol_15_130923), -(tptpcol_15_130923(_65230))], (1840 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _36664) ^ [_51568] : [tptpcol_6_18436(_51568), -(tptpcol_5_16388(_51568))], (1434 ^ _36664) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _36664) ^ [_101737] : [isa(_101737, c_partiallytangible), -(partiallytangible(_101737))], (644 ^ _36664) ^ [_43694] : [-(tptp_9_720(_43694, f_relationallexistsfn(_43694, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_43694)], (12 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _36664) ^ [_55775] : [tptpcol_11_72774(_55775), -(tptpcol_10_72710(_55775))], (4204 ^ _36664) ^ [_85906] : [-(natargument(f_tptpquantityfn_13(_85906), n_1, _85906))], (172 ^ _36664) ^ [_38547] : [tptpcol_10_18567(_38547), -(tptpcol_9_18439(_38547))], (3970 ^ _36664) ^ [_83007] : [tptpcol_11_118084(_83007), -(isa(_83007, c_tptpcol_11_118084))], (1918 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _36664) ^ [_99879, _99881] : [isa(_99881, _99879), -(thing(_99881))], (3202 ^ _36664) ^ [_73443, _73445] : [no(_73445, _73443), -(no(_73443, _73445))], (996 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _36664) ^ [_101883] : [isa(_101883, c_intangible), -(intangible(_101883))], (270 ^ _36664) ^ [_39641] : [tptpcol_5_114690(_39641), -(tptpcol_4_114689(_39641))], (406 ^ _36664) ^ [_41105] : [-(tptpofobject(_41105, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41105)], (5216 ^ _36664) ^ [_98457, _98459] : [genlpreds(_98459, _98457), -(predicate(_98459))], (3578 ^ _36664) ^ [_78145, _78147] : [tptp_9_720(_78147, _78145), -(tptpcol_5_28674(_78145))], (1700 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _36664) ^ [_78806] : [movement_translationevent(_78806), -(isa(_78806, c_movement_translationevent))], (5404 ^ _36664) ^ [_100819] : [tptpcol_15_40430(_100819), -(isa(_100819, c_tptpcol_15_40430))], (1570 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _36664) ^ [_72140, _72142, _72144] : [-(objectfoundinlocation(_72144, _72140)), objectfoundinlocation(_72144, _72142), geographicallysubsumes(_72140, _72142)], (5244 ^ _36664) ^ [_98813] : [predicate(_98813), -(genlpreds(_98813, _98813))], (2124 ^ _36664) ^ [_60042] : [-(natfunction(f_tptpquantityfn_2(_60042), c_tptpquantityfn_2))], (2082 ^ _36664) ^ [_59531] : [footballteam(_59531), -(isa(_59531, c_footballteam))], (1440 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _36664) ^ [_88066] : [computerdataartifact(_88066), -(isa(_88066, c_computerdataartifact))], (4106 ^ _36664) ^ [_84705] : [isa(_84705, c_tptpcol_12_109157), -(tptpcol_12_109157(_84705))], (2992 ^ _36664) ^ [_70759] : [isa(_70759, c_tptpcol_8_26629), -(tptpcol_8_26629(_70759))], (1238 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _36664) ^ [_38636] : [orderingpredicate(_38636), -(transitivebinarypredicate(_38636))], (1466 ^ _36664) ^ [_52650] : [tptpcol_4_90113(_52650), -(tptpcol_3_81921(_52650))], (294 ^ _36664) ^ [_39908] : [tptpcol_10_40324(_39908), -(tptpcol_9_40196(_39908))], (4978 ^ _36664) ^ [_95462] : [isa(_95462, c_tptpcol_8_22020), -(tptpcol_8_22020(_95462))], (720 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _36664) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _36664) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _36664) ^ [_43210] : [microtheory(_43210), -(aspatialinformationstore(_43210))], (5042 ^ _36664) ^ [_96256] : [isa(_96256, c_tptpcol_12_40420), -(tptpcol_12_40420(_96256))], (3178 ^ _36664) ^ [_73147] : [isa(_73147, c_tptpcol_3_16386), -(tptpcol_3_16386(_73147))], (1144 ^ _36664) ^ [_49116] : [physicalorderingpredicate(_49116), -(orderingpredicate(_49116))], (796 ^ _36664) ^ [_45357] : [-(tptpofobject(_45357, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45357)], (2280 ^ _36664) ^ [_61946] : [tptpcol_11_72774(_61946), -(isa(_61946, c_tptpcol_11_72774))], (1848 ^ _36664) ^ [_56824] : [tptpcol_13_92263(_56824), -(tptpcol_12_92262(_56824))], (5090 ^ _36664) ^ [_96840, _96842] : [most(_96842, _96840), -(setorcollection(_96840))], (2542 ^ _36664) ^ [_65157] : [tptpcol_7_92163(_65157), -(isa(_65157, c_tptpcol_7_92163))], (952 ^ _36664) ^ [_47051] : [tptpcol_9_109060(_47051), -(tptpcol_8_109059(_47051))], (728 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _36664) ^ [_41993] : [tptpcol_1_65536(_41993), -(tptpcol_0_0(_41993))], (828 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _36664) ^ [_75284] : [isa(_75284, c_artifact), -(artifact(_75284))], (688 ^ _36664) ^ [_44182, _44184] : [tptptypes_8_400(_44184, _44182), -(tptptypes_7_396(_44184, _44182))], (2136 ^ _36664) ^ [_60190] : [tptpcol_7_39939(_60190), -(isa(_60190, c_tptpcol_7_39939))], (934 ^ _36664) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _36664) ^ [_74762] : [airport_physical(_74762), -(isa(_74762, c_airport_physical))], (4000 ^ _36664) ^ [_83376] : [isa(_83376, c_terrorist), -(terrorist(_83376))], (2968 ^ _36664) ^ [_70455, _70457, _70459] : [relationexistsall(_70459, _70457, _70455), -(collection(_70457))], (448 ^ _36664) ^ [_41572] : [tptpcol_13_109173(_41572), -(tptpcol_12_109157(_41572))], (3488 ^ _36664) ^ [_77038] : [tptpcol_16_8886(_77038), -(isa(_77038, c_tptpcol_16_8886))], (1210 ^ _36664) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _36664) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _36664) ^ [_62019] : [isa(_62019, c_tptpcol_12_72775), -(tptpcol_12_72775(_62019))], (66 ^ _36664) ^ [_37408] : [tptpcol_13_40421(_37408), -(tptpcol_12_40420(_37408))], (2610 ^ _36664) ^ [_66000] : [tptpcol_14_26921(_66000), -(isa(_66000, c_tptpcol_14_26921))], (1390 ^ _36664) ^ [_51805] : [tptpcol_8_117763(_51805), -(tptpcol_7_117762(_51805))], (538 ^ _36664) ^ [_42522, _42524] : [tptptypes_7_819(_42524, _42522), -(tptptypes_6_818(_42524, _42522))], (1042 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _36664) ^ [_102522, _102524] : [-(mtvisible(_102522)), mtvisible(_102524), genlmt(_102524, _102522)], (136 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _36664) ^ [_80644] : [tptpcol_8_92164(_80644), -(isa(_80644, c_tptpcol_8_92164))], (4924 ^ _36664) ^ [_94805] : [tptpcol_13_72791(_94805), -(isa(_94805, c_tptpcol_13_72791))], (4480 ^ _36664) ^ [_89322] : [tptpcol_13_93766(_89322), -(isa(_89322, c_tptpcol_13_93766))], (1186 ^ _36664) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _36664) ^ [_72007, _72009, _72011] : [-(objectfoundinlocation(_72011, _72007)), objectfoundinlocation(_72011, _72009), geopoliticalsubdivision(_72007, _72009)], (2658 ^ _36664) ^ [_66588] : [reflexivebinarypredicate(_66588), -(isa(_66588, c_reflexivebinarypredicate))], (898 ^ _36664) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _36664) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _36664) ^ [_90198] : [tptpcol_12_93765(_90198), -(isa(_90198, c_tptpcol_12_93765))], (1726 ^ _36664) ^ [_55543] : [tptpcol_15_22076(_55543), -(tptpcol_14_22072(_55543))], (2238 ^ _36664) ^ [_61435] : [isa(_61435, c_tptpcol_15_50957), -(tptpcol_15_50957(_61435))], (2008 ^ _36664) ^ [_58615] : [isa(_58615, c_tptpcol_13_92263), -(tptpcol_13_92263(_58615))], (4858 ^ _36664) ^ [_94002] : [isa(_94002, c_individual), -(individual(_94002))], (2530 ^ _36664) ^ [_65011] : [tptpcol_16_130933(_65011), -(isa(_65011, c_tptpcol_16_130933))], (2322 ^ _36664) ^ [_62457, _62459] : [tptp_8_271(_62459, _62457), -(razor(_62457))], (1808 ^ _36664) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _36664) ^ [_84413] : [isa(_84413, c_tptpcol_5_24579), -(tptpcol_5_24579(_84413))], (3912 ^ _36664) ^ [_82266] : [issuingaprescription(_82266), -(isa(_82266, c_issuingaprescription))], (2518 ^ _36664) ^ [_64865] : [tptpcol_15_130931(_64865), -(isa(_64865, c_tptpcol_15_130931))], (3768 ^ _36664) ^ [_80498] : [fixedordercollection(_80498), -(isa(_80498, c_fixedordercollection))], (5194 ^ _36664) ^ [_98174, _98176, _98178] : [-(subsetof(_98178, _98174)), subsetof(_98178, _98176), subsetof(_98176, _98174)], (208 ^ _36664) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _36664) ^ [_92761] : [orderingpredicate(_92761), -(isa(_92761, c_orderingpredicate))], (2490 ^ _36664) ^ [_64509, _64511] : [few(_64511, _64509), -(setorcollection(_64511))], (2962 ^ _36664) ^ [_70376, _70378, _70380] : [relationexistsall(_70380, _70378, _70376), -(collection(_70376))], (50 ^ _36664) ^ [_37224, _37226] : [subsetof(_37226, _37224), -(most(_37226, _37224))], (1846 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _36664) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _36664) ^ [_83679] : [isa(_83679, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83679))], (4606 ^ _36664) ^ [_90855, _90857, _90859, _90861] : [-(natfunction(f_relationexistsallfn(_90861, _90859, _90857, _90855), c_relationexistsallfn))], (902 ^ _36664) ^ [_46495, _46497] : [genls(_46497, _46495), -(collection(_46497))], (1076 ^ _36664) ^ [_48388] : [tptpcol_10_26886(_48388), -(tptpcol_9_26885(_48388))], (114 ^ _36664) ^ [_37918] : [tptpcol_5_20483(_37918), -(tptpcol_4_16387(_37918))], (3708 ^ _36664) ^ [_79762, _79764, _79766] : [relationallexists(_79766, _79764, _79762), -(binarypredicate(_79766))], (3134 ^ _36664) ^ [_72583, _72585, _72587] : [-(natargument(f_subcollectionofwithrelationtofn(_72587, _72585, _72583), n_1, _72587))], (4052 ^ _36664) ^ [_84048] : [tptpcol_0_0(_84048), -(isa(_84048, c_tptpcol_0_0))], (4608 ^ _36664) ^ [_90889, _90891, _90893, _90895] : [-(natargument(f_relationexistsallfn(_90895, _90893, _90891, _90889), n_1, _90895))], (2100 ^ _36664) ^ [_59750] : [isa(_59750, c_pushingwithopenhand), -(pushingwithopenhand(_59750))], (926 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _36664) ^ [_57097] : [tptpcol_15_26925(_57097), -(tptpcol_14_26921(_57097))], (4014 ^ _36664) ^ [_83553, _83555, _83557] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83557, _83555, _83553), n_1, _83557))], (416 ^ _36664) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _36664) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _36664) ^ [_95754] : [isa(_95754, c_transitivebinarypredicate), -(transitivebinarypredicate(_95754))], (3678 ^ _36664) ^ [_79381] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79381), -(isa(_79381, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _36664) ^ [_38725] : [tptpcol_11_92230(_38725), -(tptpcol_10_92166(_38725))], (3020 ^ _36664) ^ [_71102] : [-(microtheory(f_contextofpcwfn(_71102)))], (4636 ^ _36664) ^ [_91287, _91289] : [tptptypes_7_389(_91289, _91287), -(firstordercollection(_91289))], (1068 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _36664) ^ [_37073, _37075, _37077] : [-(genlpreds(_37077, _37073)), genlinverse(_37077, _37075), genlinverse(_37075, _37073)], (750 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _36664) ^ [_45268] : [tptpcol_9_72709(_45268), -(tptpcol_8_72708(_45268))], (660 ^ _36664) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _36664) ^ [_66146] : [tptpcol_3_65538(_66146), -(isa(_66146, c_tptpcol_3_65538))], (1312 ^ _36664) ^ [_50974] : [tptpcol_6_20484(_50974), -(tptpcol_5_20483(_50974))], (2682 ^ _36664) ^ [_66880] : [hpkb_subnationalagent(_66880), -(isa(_66880, c_hpkb_subnationalagent))], (4906 ^ _36664) ^ [_94586] : [isa(_94586, c_tptpcol_5_20483), -(tptpcol_5_20483(_94586))], (5306 ^ _36664) ^ [_99592] : [-(computerdataartifact(f_urlreferentfn(_99592)))], (2424 ^ _36664) ^ [_63702] : [tptpcol_6_18436(_63702), -(isa(_63702, c_tptpcol_6_18436))], (318 ^ _36664) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _36664) ^ [_67099, _67101, _67103, _67105] : [-(natfunction(f_relationallexistsfn(_67105, _67103, _67101, _67099), c_relationallexistsfn))], (3022 ^ _36664) ^ [_71126, _71128] : [arg1isa(_71128, _71126), -(collection(_71126))], (2370 ^ _36664) ^ [_63045] : [isa(_63045, c_aspatialthing), -(aspatialthing(_63045))], (668 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _36664) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _36664) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _36664) ^ [_77926] : [tptpcol_12_22055(_77926), -(isa(_77926, c_tptpcol_12_22055))], (3428 ^ _36664) ^ [_76308] : [tptpcol_14_22072(_76308), -(isa(_76308, c_tptpcol_14_22072))], (4600 ^ _36664) ^ [_90782] : [tptpcol_4_106497(_90782), -(isa(_90782, c_tptpcol_4_106497))], (1514 ^ _36664) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _36664) ^ [_83752] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83752), -(isa(_83752, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _36664) ^ [_89760] : [tptpcol_7_72707(_89760), -(isa(_89760, c_tptpcol_7_72707))], (5512 ^ _36664) ^ [_102179, _102181] : [disjointwith(_102181, _102179), -(disjointwith(_102179, _102181))], (3732 ^ _36664) ^ [_80060] : [pushingababycarriage(_80060), -(isa(_80060, c_pushingababycarriage))], (4666 ^ _36664) ^ [_91662, _91664] : [tptptypes_9_693(_91664, _91662), -(firstordercollection(_91662))], (2442 ^ _36664) ^ [_63921] : [isa(_63921, c_tptpcol_11_109125), -(tptpcol_11_109125(_63921))], (1366 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _36664) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _36664) ^ [_50213] : [tptpcol_14_26921(_50213), -(tptpcol_13_26920(_50213))], (998 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _36664) ^ [_95243] : [tptpcol_4_16387(_95243), -(isa(_95243, c_tptpcol_4_16387))], (4220 ^ _36664) ^ [_86106, _86108] : [borderson(_86108, _86106), -(borderson(_86106, _86108))], (3136 ^ _36664) ^ [_72615, _72617, _72619] : [-(natargument(f_subcollectionofwithrelationtofn(_72619, _72617, _72615), n_2, _72617))], (866 ^ _36664) ^ [_46097] : [geographicalregion(_46097), -(partiallytangible(_46097))], (3720 ^ _36664) ^ [_79914] : [tptpcol_16_10258(_79914), -(isa(_79914, c_tptpcol_16_10258))], (4430 ^ _36664) ^ [_88692] : [-(tptpquantity(f_tptpquantityfn_1(_88692)))], (2920 ^ _36664) ^ [_69861] : [tptpcol_14_109181(_69861), -(isa(_69861, c_tptpcol_14_109181))], (362 ^ _36664) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _36664) ^ [_67795] : [geolevel_1(_67795), -(isa(_67795, c_geolevel_1))], (2652 ^ _36664) ^ [_66515] : [isa(_66515, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66515))], (1624 ^ _36664) ^ [_54413] : [tptpcol_6_92162(_54413), -(tptpcol_5_90114(_54413))], (1116 ^ _36664) ^ [_48821] : [enduringthing_localized(_48821), -(spatialthing_nonsituational(_48821))], (916 ^ _36664) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _36664) ^ [_37681] : [tptpcol_5_16388(_37681), -(tptpcol_4_16387(_37681))], (2676 ^ _36664) ^ [_66807] : [isa(_66807, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_66807))], (2364 ^ _36664) ^ [_62972] : [tptpcol_9_93699(_62972), -(isa(_62972, c_tptpcol_9_93699))], (972 ^ _36664) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _36664) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _36664) ^ [_99320] : [isa(_99320, c_microtheory), -(microtheory(_99320))], (502 ^ _36664) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _36664) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _36664) ^ [_62092] : [tptpcol_12_72775(_62092), -(isa(_62092, c_tptpcol_12_72775))], (5374 ^ _36664) ^ [_100454] : [isa(_100454, c_tptpcol_10_72710), -(tptpcol_10_72710(_100454))], (3762 ^ _36664) ^ [_80425] : [isa(_80425, c_fixedordercollection), -(fixedordercollection(_80425))], (2586 ^ _36664) ^ [_65696, _65698] : [-(natargument(f_citynamedfn(_65698, _65696), n_1, _65698))], (710 ^ _36664) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _36664) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _36664) ^ [_60628] : [tptpcol_16_26926(_60628), -(isa(_60628, c_tptpcol_16_26926))], (4762 ^ _36664) ^ [_92834] : [isa(_92834, c_tptpcol_9_18439), -(tptpcol_9_18439(_92834))], (574 ^ _36664) ^ [_42926] : [tptpcol_9_92165(_42926), -(tptpcol_8_92164(_42926))], (1028 ^ _36664) ^ [_47873, _47875] : [most(_47875, _47873), -(setorcollection(_47875))], (702 ^ _36664) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _36664) ^ [_69715] : [tptpcol_16_30972(_69715), -(isa(_69715, c_tptpcol_16_30972))], (1074 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _36664) ^ [_50825, _50827] : [no(_50827, _50825), -(few(_50827, _50825))], (982 ^ _36664) ^ [_47374] : [tptpcol_14_109181(_47374), -(tptpcol_13_109173(_47374))], (5174 ^ _36664) ^ [_97908, _97910, _97912] : [-(subsetof(_97908, _97910)), subsetof(_97912, _97910), subsetof(_97908, _97912)], (2628 ^ _36664) ^ [_66219] : [isa(_66219, c_tptpcol_16_27189), -(tptpcol_16_27189(_66219))], (2232 ^ _36664) ^ [_61362] : [tptpcol_8_114177(_61362), -(isa(_61362, c_tptpcol_8_114177))], (4324 ^ _36664) ^ [_87391] : [isa(_87391, c_executionbyfiringsquad), -(executionbyfiringsquad(_87391))], (3542 ^ _36664) ^ [_77703, _77705] : [tptptypes_7_396(_77705, _77703), -(firstordercollection(_77703))], (486 ^ _36664) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _36664) ^ [_57588] : [tptpcol_13_72791(_57588), -(tptpcol_12_72775(_57588))], (4064 ^ _36664) ^ [_84194] : [geolevel_3(_84194), -(isa(_84194, c_geolevel_3))], (2250 ^ _36664) ^ [_61581] : [isa(_61581, c_tptpcol_16_50958), -(tptpcol_16_50958(_61581))], (1062 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _36664) ^ [_62826] : [tptpcol_10_93700(_62826), -(isa(_62826, c_tptpcol_10_93700))], (4020 ^ _36664) ^ [_83649, _83651, _83653] : [-(collection(f_subcollectionofwithrelationfromtypefn(_83653, _83651, _83649)))], (80 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _36664) ^ [_96050, _96052, _96054] : [-(geographicalsubregions(_96054, _96050)), geographicalsubregions(_96054, _96052), geographicalsubregions(_96052, _96050)], (4252 ^ _36664) ^ [_86507] : [isa(_86507, c_tptpcol_6_116738), -(tptpcol_6_116738(_86507))], (3190 ^ _36664) ^ [_73293, _73295] : [no(_73295, _73293), -(setorcollection(_73293))], (758 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _36664) ^ [_80133] : [isa(_80133, c_aspatialinformationstore), -(aspatialinformationstore(_80133))], (3918 ^ _36664) ^ [_82339, _82341, _82343] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82343, _82341, _82339), c_subcollectionofwithrelationtotypefn))], (794 ^ _36664) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _36664) ^ [_90636] : [tptpcol_3_98305(_90636), -(isa(_90636, c_tptpcol_3_98305))], (2358 ^ _36664) ^ [_62899] : [isa(_62899, c_tptpcol_9_93699), -(tptpcol_9_93699(_62899))], (5466 ^ _36664) ^ [_101604, _101606, _101608] : [-(genls(_101608, _101604)), genls(_101608, _101606), genls(_101606, _101604)], (5272 ^ _36664) ^ [_99169, _99171, _99173] : [-(genlinverse(_99173, _99169)), genlinverse(_99173, _99171), genlpreds(_99171, _99169)], (1018 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _36664) ^ [_51912] : [tptpcol_12_109157(_51912), -(tptpcol_11_109125(_51912))], (98 ^ _36664) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _36664) ^ [_40684] : [tptpcol_10_109061(_40684), -(tptpcol_9_109060(_40684))], (1232 ^ _36664) ^ [_50124] : [tptpcol_3_65538(_50124), -(tptpcol_2_65537(_50124))], (2226 ^ _36664) ^ [_61289] : [isa(_61289, c_tptpcol_8_114177), -(tptpcol_8_114177(_61289))], (2346 ^ _36664) ^ [_62753] : [isa(_62753, c_tptpcol_10_93700), -(tptpcol_10_93700(_62753))], (5588 ^ _36664) ^ [_103153] : [microtheory(_103153), -(genlmt(_103153, _103153))], (148 ^ _36664) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _36664) ^ [_79162] : [isa(_79162, c_unitvectorinterval), -(unitvectorinterval(_79162))], (1114 ^ _36664) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _36664) ^ [_99393] : [microtheory(_99393), -(isa(_99393, c_microtheory))], (2634 ^ _36664) ^ [_66292] : [tptpcol_16_27189(_66292), -(isa(_66292, c_tptpcol_16_27189))], (1816 ^ _36664) ^ [_56480] : [tptpcol_13_26920(_56480), -(tptpcol_12_26919(_56480))], (4264 ^ _36664) ^ [_86653, _86655] : [tptptypes_5_387(_86655, _86653), -(firstordercollection(_86653))], (4142 ^ _36664) ^ [_85143] : [isa(_85143, c_setorcollection), -(setorcollection(_85143))], (2512 ^ _36664) ^ [_64792] : [isa(_64792, c_tptpcol_15_130931), -(tptpcol_15_130931(_64792))], (4534 ^ _36664) ^ [_89979] : [isa(_89979, c_tptpcol_11_93764), -(tptpcol_11_93764(_89979))], (806 ^ _36664) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _36664) ^ [_76162] : [tptpcol_13_22071(_76162), -(isa(_76162, c_tptpcol_13_22071))], (4834 ^ _36664) ^ [_93710] : [isa(_93710, c_location_underspecified), -(location_underspecified(_93710))], (3286 ^ _36664) ^ [_74539, _74541] : [airporthasiatacode(_74541, _74539), -(stringoflengthfn3(_74539))], (4616 ^ _36664) ^ [_91029, _91031, _91033, _91035] : [-(thing(f_relationexistsallfn(_91035, _91033, _91031, _91029)))], (3228 ^ _36664) ^ [_73786, _73788, _73790] : [-(no(_73786, _73788)), no(_73790, _73788), genls(_73786, _73790)], (4288 ^ _36664) ^ [_86953] : [isa(_86953, c_shavingrazor_manual), -(shavingrazor_manual(_86953))], (1098 ^ _36664) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _36664) ^ [_80936] : [tptpcol_1_1(_80936), -(isa(_80936, c_tptpcol_1_1))], (3320 ^ _36664) ^ [_74992] : [isa(_74992, c_tptpcol_6_112641), -(tptpcol_6_112641(_74992))], (1744 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _36664) ^ [_74464] : [-(natfunction(f_tptpquantityfn_21(_74464), c_tptpquantityfn_21))], (820 ^ _36664) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _36664) ^ [_45949] : [tptpcol_7_113665(_45949), -(tptpcol_6_112641(_45949))], (1278 ^ _36664) ^ [_50611] : [tptpcol_7_92163(_50611), -(tptpcol_6_92162(_50611))], (1674 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _36664) ^ [_57748] : [-(tptpofobject(_57748, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_57748)], (2744 ^ _36664) ^ [_67722] : [isa(_67722, c_geolevel_1), -(geolevel_1(_67722))], (2860 ^ _36664) ^ [_69131] : [tptpcol_6_26627(_69131), -(isa(_69131, c_tptpcol_6_26627))], (4522 ^ _36664) ^ [_89833] : [isa(_89833, c_tptpcol_8_72708), -(tptpcol_8_72708(_89833))], (378 ^ _36664) ^ [_40791, _40793] : [tptptypes_6_388(_40793, _40791), -(tptptypes_5_387(_40793, _40791))], (4432 ^ _36664) ^ [_88716] : [isa(_88716, c_furpelt), -(furpelt(_88716))], (4720 ^ _36664) ^ [_92323] : [tptpcol_2_98304(_92323), -(isa(_92323, c_tptpcol_2_98304))], (3690 ^ _36664) ^ [_79529, _79531] : [tptp_8_875(_79531, _79529), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79531))], (4240 ^ _36664) ^ [_86361] : [isa(_86361, c_tptpcol_15_92268), -(tptpcol_15_92268(_86361))], (4708 ^ _36664) ^ [_92177] : [tptpcol_1_65536(_92177), -(isa(_92177, c_tptpcol_1_65536))], (2112 ^ _36664) ^ [_59896] : [isa(_59896, c_tptpcol_15_22076), -(tptpcol_15_22076(_59896))], (2664 ^ _36664) ^ [_66661] : [isa(_66661, c_tptpcol_7_21508), -(tptpcol_7_21508(_66661))], (150 ^ _36664) ^ [_38310] : [partiallytangible(_38310), -(enduringthing_localized(_38310))], (2718 ^ _36664) ^ [_67381, _67383] : [arg2isa(_67383, _67381), -(relation(_67383))], (768 ^ _36664) ^ [_45054] : [tptpcol_10_22022(_45054), -(tptpcol_9_22021(_45054))], (3374 ^ _36664) ^ [_75649] : [firstordercollection(_75649), -(isa(_75649, c_firstordercollection))], (2056 ^ _36664) ^ [_59199, _59201] : [affiliatedwith(_59201, _59199), -(agent_generic(_59199))], (4918 ^ _36664) ^ [_94732] : [isa(_94732, c_tptpcol_13_72791), -(tptpcol_13_72791(_94732))], (1142 ^ _36664) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _36664) ^ [_76965] : [isa(_76965, c_tptpcol_16_8886), -(tptpcol_16_8886(_76965))], (2572 ^ _36664) ^ [_65522] : [isa(_65522, c_intangibleindividual), -(intangibleindividual(_65522))], (4404 ^ _36664) ^ [_88360, _88362] : [inregion(_88362, _88360), -(spatialthing_nonsituational(_88362))], (5136 ^ _36664) ^ [_97419, _97421, _97423] : [-(most(_97423, _97419)), most(_97423, _97421), subsetof(_97421, _97419)], (2938 ^ _36664) ^ [_70080] : [isa(_70080, c_tptpcol_16_7738), -(tptpcol_16_7738(_70080))], (344 ^ _36664) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _36664) ^ [_42254] : [tptpcol_11_118084(_42254), -(tptpcol_10_118020(_42254))], (5014 ^ _36664) ^ [_95900, _95902] : [geographicalsubregions(_95902, _95900), -(geographicalregion(_95900))], (1294 ^ _36664) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _36664) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _36664) ^ [_97835] : [setorcollection(_97835), -(subsetof(_97835, _97835))], (1766 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _36664) ^ [_39552] : [tptpcol_4_106497(_39552), -(tptpcol_3_98305(_39552))], (360 ^ _36664) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _36664) ^ [_101325] : [collection(_101325), -(genls(_101325, _101325))], (3870 ^ _36664) ^ [_81747, _81749] : [tptptypes_7_819(_81749, _81747), -(firstordercollection(_81747))], (78 ^ _36664) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _36664) ^ [_72855] : [isa(_72855, c_tptpcol_4_65539), -(tptpcol_4_65539(_72855))], (5494 ^ _36664) ^ [_101956] : [intangible(_101956), -(isa(_101956, c_intangible))], (4678 ^ _36664) ^ [_91812] : [isa(_91812, c_tptpcol_11_40388), -(tptpcol_11_40388(_91812))], (4876 ^ _36664) ^ [_94221] : [partiallyintangibleindividual(_94221), -(isa(_94221, c_partiallyintangibleindividual))], (2478 ^ _36664) ^ [_64359, _64361] : [few(_64361, _64359), -(setorcollection(_64359))], (2026 ^ _36664) ^ [_58834] : [geolevel_4(_58834), -(isa(_58834, c_geolevel_4))], (3382 ^ _36664) ^ [_75747] : [-(natargument(f_tptpquantityfn_14(_75747), n_1, _75747))], (2166 ^ _36664) ^ [_60555] : [isa(_60555, c_tptpcol_16_26926), -(tptpcol_16_26926(_60555))], (5222 ^ _36664) ^ [_98532, _98534] : [genlpreds(_98534, _98532), -(predicate(_98534))], (342 ^ _36664) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _36664) ^ [_72709] : [isa(_72709, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72709))], (4094 ^ _36664) ^ [_84559] : [isa(_84559, c_tptpcol_5_106498), -(tptpcol_5_106498(_84559))], (3060 ^ _36664) ^ [_71617, _71619] : [objectfoundinlocation(_71619, _71617), -(spatialthing_localized(_71617))], (3834 ^ _36664) ^ [_81305] : [isa(_81305, c_tptpcol_11_26887), -(tptpcol_11_26887(_81305))], (1364 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _36664) ^ [_99466] : [-(natfunction(f_urlfn(_99466), c_urlfn))], (2184 ^ _36664) ^ [_60774] : [tptpcol_13_118117(_60774), -(isa(_60774, c_tptpcol_13_118117))], (654 ^ _36664) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _36664) ^ [_102797, _102799] : [genlmt(_102799, _102797), -(microtheory(_102799))], (2734 ^ _36664) ^ [_67589, _67591, _67593] : [-(arg2isa(_67593, _67589)), arg2isa(_67593, _67591), genls(_67591, _67589)], (3464 ^ _36664) ^ [_76746] : [tptpcol_14_93774(_76746), -(isa(_76746, c_tptpcol_14_93774))], (2130 ^ _36664) ^ [_60117] : [isa(_60117, c_tptpcol_7_39939), -(tptpcol_7_39939(_60117))], (3750 ^ _36664) ^ [_80279] : [isa(_80279, c_collection), -(collection(_80279))], (4202 ^ _36664) ^ [_85881] : [-(natfunction(f_tptpquantityfn_13(_85881), c_tptpquantityfn_13))], (1230 ^ _36664) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _36664) ^ [_91737, _91739] : [tptptypes_9_693(_91739, _91737), -(firstordercollection(_91739))], (3350 ^ _36664) ^ [_75357] : [artifact(_75357), -(isa(_75357, c_artifact))], (5152 ^ _36664) ^ [_97627, _97629] : [subsetof(_97629, _97627), -(setorcollection(_97629))], (1252 ^ _36664) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _36664) ^ [_70153] : [tptpcol_16_7738(_70153), -(isa(_70153, c_tptpcol_16_7738))], (5036 ^ _36664) ^ [_96183] : [geographicalregion(_96183), -(geographicalsubregions(_96183, _96183))], (1050 ^ _36664) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _36664) ^ [_53101] : [tptpcol_9_118019(_53101), -(tptpcol_8_117763(_53101))], (1950 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _36664) ^ [_55189] : [tptpcol_4_65539(_55189), -(tptpcol_3_65538(_55189))], (5368 ^ _36664) ^ [_100381] : [tptpcol_9_72709(_100381), -(isa(_100381, c_tptpcol_9_72709))], (1326 ^ _36664) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _36664) ^ [_72928] : [tptpcol_4_65539(_72928), -(isa(_72928, c_tptpcol_4_65539))], (3894 ^ _36664) ^ [_82043, _82045] : [products(_82045, _82043), -(artifact(_82043))], (3530 ^ _36664) ^ [_77553, _77555] : [tptptypes_9_824(_77555, _77553), -(firstordercollection(_77553))], (4420 ^ _36664) ^ [_88568] : [spatialthing_nonsituational(_88568), -(inregion(_88568, _88568))], (570 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _36664) ^ [_67133, _67135, _67137, _67139] : [-(natargument(f_relationallexistsfn(_67139, _67137, _67135, _67133), n_1, _67139))], (5054 ^ _36664) ^ [_96402] : [isa(_96402, c_tptpcol_13_40421), -(tptpcol_13_40421(_96402))], (2388 ^ _36664) ^ [_63264] : [tptpcol_7_117762(_63264), -(isa(_63264, c_tptpcol_7_117762))], (2454 ^ _36664) ^ [_64067] : [isa(_64067, c_tptpcol_6_108546), -(tptpcol_6_108546(_64067))], (3976 ^ _36664) ^ [_83080] : [isa(_83080, c_terroristgroup), -(terroristgroup(_83080))], (880 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _36664) ^ [_50718] : [tptpcol_16_130933(_50718), -(tptpcol_15_130931(_50718))], (1020 ^ _36664) ^ [_47784] : [tptpcol_7_26628(_47784), -(tptpcol_6_26627(_47784))], (2998 ^ _36664) ^ [_70832] : [tptpcol_8_26629(_70832), -(isa(_70832, c_tptpcol_8_26629))], (1306 ^ _36664) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _36664) ^ [_73001] : [isa(_73001, c_tptpcol_5_69635), -(tptpcol_5_69635(_73001))], (3172 ^ _36664) ^ [_73074] : [tptpcol_5_69635(_73074), -(isa(_73074, c_tptpcol_5_69635))], (4846 ^ _36664) ^ [_93856] : [isa(_93856, c_trajector_underspecified), -(trajector_underspecified(_93856))], (4136 ^ _36664) ^ [_85070] : [mathematicalthing(_85070), -(isa(_85070, c_mathematicalthing))], (3846 ^ _36664) ^ [_81451] : [isa(_81451, c_tptpcol_12_26919), -(tptpcol_12_26919(_81451))], (1406 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _36664) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _36664) ^ [_80352] : [collection(_80352), -(isa(_80352, c_collection))], (4124 ^ _36664) ^ [_84924] : [tptpcol_13_109173(_84924), -(isa(_84924, c_tptpcol_13_109173))], (4738 ^ _36664) ^ [_92542] : [isa(_92542, c_tptpcol_11_92230), -(tptpcol_11_92230(_92542))], (1106 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _36664) ^ [_62238] : [tptpcol_5_110593(_62238), -(isa(_62238, c_tptpcol_5_110593))], (2220 ^ _36664) ^ [_61216] : [tptpcol_16_72795(_61216), -(isa(_61216, c_tptpcol_16_72795))], (5350 ^ _36664) ^ [_100162] : [isa(_100162, c_inanimateobject), -(inanimateobject(_100162))], (1136 ^ _36664) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _36664) ^ [_99804, _99806] : [isa(_99806, _99804), -(collection(_99804))], (1642 ^ _36664) ^ [_54609] : [tptpcol_13_118117(_54609), -(tptpcol_12_118116(_54609))], (4498 ^ _36664) ^ [_89541] : [isa(_89541, c_tptpcol_10_40324), -(tptpcol_10_40324(_89541))], (1192 ^ _36664) ^ [_49678] : [-(hpkb_subnationalagent(_49678)), mtvisible(c_hpkbvocabmt), state_geopolitical(_49678)], (1902 ^ _36664) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _36664) ^ [_82193] : [isa(_82193, c_issuingaprescription), -(issuingaprescription(_82193))], (5204 ^ _36664) ^ [_98307, _98309] : [genlpreds(_98309, _98307), -(predicate(_98307))], (1426 ^ _36664) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _36664) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _36664) ^ [_51247] : [tptpcol_11_109125(_51247), -(tptpcol_10_109061(_51247))], (56 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _36664) ^ [_39730] : [tptpcol_12_93765(_39730), -(tptpcol_11_93764(_39730))], (3696 ^ _36664) ^ [_79604, _79606, _79608] : [relationallexists(_79608, _79606, _79604), -(collection(_79604))], (4690 ^ _36664) ^ [_91958] : [isa(_91958, c_marriagelicensedocument), -(marriagelicensedocument(_91958))], (1092 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _36664) ^ [_99616, _99618] : [-(natfunction(f_contentmtofcdafromeventfn(_99618, _99616), c_contentmtofcdafromeventfn))], (4540 ^ _36664) ^ [_90052] : [tptpcol_11_93764(_90052), -(isa(_90052, c_tptpcol_11_93764))], (1912 ^ _36664) ^ [_57499] : [tptpcol_5_110593(_57499), -(tptpcol_4_106497(_57499))], (5312 ^ _36664) ^ [_99673, _99675] : [-(natargument(f_contentmtofcdafromeventfn(_99675, _99673), n_2, _99673))], (4368 ^ _36664) ^ [_87920] : [thing(_87920), -(isa(_87920, c_thing))], (1596 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _36664) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _36664) ^ [_49811] : [tptpcol_8_22020(_49811), -(tptpcol_7_21508(_49811))], (3900 ^ _36664) ^ [_82118, _82120] : [products(_82120, _82118), -(creationordestructionevent(_82120))], (5362 ^ _36664) ^ [_100308] : [isa(_100308, c_tptpcol_9_72709), -(tptpcol_9_72709(_100308))], (2926 ^ _36664) ^ [_69934] : [isa(_69934, c_physicalorderingpredicate), -(physicalorderingpredicate(_69934))], (4088 ^ _36664) ^ [_84486] : [tptpcol_5_24579(_84486), -(isa(_84486, c_tptpcol_5_24579))], (2872 ^ _36664) ^ [_69277] : [tptpcol_12_118116(_69277), -(isa(_69277, c_tptpcol_12_118116))], (3774 ^ _36664) ^ [_80571] : [isa(_80571, c_tptpcol_8_92164), -(tptpcol_8_92164(_80571))], (3940 ^ _36664) ^ [_82642] : [isa(_82642, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_82642))], (3248 ^ _36664) ^ [_74052, _74054, _74056] : [-(no(_74052, _74054)), no(_74056, _74054), subsetof(_74052, _74056)], (3922 ^ _36664) ^ [_82402, _82404, _82406] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82406, _82404, _82402), n_2, _82404))], (1996 ^ _36664) ^ [_58469] : [isa(_58469, c_tptpcol_16_62187), -(tptpcol_16_62187(_58469))], (4510 ^ _36664) ^ [_89687] : [isa(_89687, c_tptpcol_7_72707), -(tptpcol_7_72707(_89687))], (1904 ^ _36664) ^ [_57411] : [tptpcol_3_98305(_57411), tptpcol_3_114688(_57411)], (2148 ^ _36664) ^ [_60336] : [tptpcol_8_39940(_60336), -(isa(_60336, c_tptpcol_8_39940))], (988 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _36664) ^ [_64286] : [tptpcol_6_20484(_64286), -(isa(_64286, c_tptpcol_6_20484))], (1396 ^ _36664) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _36664) ^ [_90344] : [tptpcol_4_114689(_90344), -(isa(_90344, c_tptpcol_4_114689))], (178 ^ _36664) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _36664) ^ [_67203, _67205, _67207, _67209] : [-(natargument(f_relationallexistsfn(_67209, _67207, _67205, _67203), n_3, _67205))], (3356 ^ _36664) ^ [_75430] : [isa(_75430, c_tptpcol_13_18664), -(tptpcol_13_18664(_75430))], (5060 ^ _36664) ^ [_96475] : [tptpcol_13_40421(_96475), -(isa(_96475, c_tptpcol_13_40421))], (782 ^ _36664) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _36664) ^ [_87026] : [shavingrazor_manual(_87026), -(isa(_87026, c_shavingrazor_manual))], (1310 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _36664) ^ [_74835, _74837, _74839] : [-(natfunction(f_instancewithrelationtofn(_74839, _74837, _74835), c_instancewithrelationtofn))], (814 ^ _36664) ^ [_45551] : [firstordercollection(_45551), -(fixedordercollection(_45551))], (1586 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _36664) ^ [_98740] : [predicate(_98740), -(genlpreds(_98740, _98740))], (564 ^ _36664) ^ [_42819] : [tptpcol_2_2(_42819), -(tptpcol_1_1(_42819))], (1684 ^ _36664) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _36664) ^ [_42635] : [tptpcol_12_26919(_42635), -(tptpcol_11_26887(_42635))], (2126 ^ _36664) ^ [_60067] : [-(natargument(f_tptpquantityfn_2(_60067), n_1, _60067))], (244 ^ _36664) ^ [_39331, _39333, _39335, _39337] : [-(isa(f_relationexistsallfn(_39337, _39333, _39331, _39335), _39331)), isa(_39337, _39335), relationexistsall(_39333, _39331, _39335)], (1604 ^ _36664) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _36664) ^ [_51354] : [tptpcol_8_93698(_51354), -(tptpcol_7_93186(_51354))], (1172 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _36664) ^ [_97213] : [setorcollection(_97213), -(most(_97213, _97213))], (3726 ^ _36664) ^ [_79987] : [isa(_79987, c_pushingababycarriage), -(pushingababycarriage(_79987))], (4034 ^ _36664) ^ [_83825, _83827] : [prettystring(_83827, _83825), -(controlcharacterfreestring(_83825))], (4070 ^ _36664) ^ [_84267] : [isa(_84267, c_tptpcol_4_24578), -(tptpcol_4_24578(_84267))], (5250 ^ _36664) ^ [_98886, _98888] : [genlinverse(_98888, _98886), -(binarypredicate(_98886))], (4362 ^ _36664) ^ [_87847] : [isa(_87847, c_thing), -(thing(_87847))], (1746 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _36664) ^ [_68105] : [militaryperson(_68105), -(isa(_68105, c_militaryperson))], (3958 ^ _36664) ^ [_82861] : [tptpcol_10_118020(_82861), -(isa(_82861, c_tptpcol_10_118020))], (222 ^ _36664) ^ [_39087, _39089] : [tptptypes_9_693(_39089, _39087), -(tptptypes_8_692(_39089, _39087))], (3132 ^ _36664) ^ [_72552, _72554, _72556] : [-(natfunction(f_subcollectionofwithrelationtofn(_72556, _72554, _72552), c_subcollectionofwithrelationtofn))], (990 ^ _36664) ^ [_47463] : [tptpcol_16_30972(_47463), -(tptpcol_15_30970(_47463))], (3596 ^ _36664) ^ [_78368] : [runningshorts(_78368), -(isa(_78368, c_runningshorts))], (5434 ^ _36664) ^ [_101192, _101194, _101196] : [-(genls(_101196, _101192)), genls(_101196, _101194), genls(_101194, _101192)], (1476 ^ _36664) ^ [_52757] : [tptpcol_10_93700(_52757), -(tptpcol_9_93699(_52757))], (4936 ^ _36664) ^ [_94951] : [tptpcol_14_72792(_94951), -(isa(_94951, c_tptpcol_14_72792))], (4774 ^ _36664) ^ [_92980] : [isa(_92980, c_tptpcol_10_18567), -(tptpcol_10_18567(_92980))], (4726 ^ _36664) ^ [_92396] : [isa(_92396, c_tptpcol_10_92166), -(tptpcol_10_92166(_92396))], (3672 ^ _36664) ^ [_79308] : [isa(_79308, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79308))], (156 ^ _36664) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _36664) ^ [_37829] : [tptpcol_14_72792(_37829), -(tptpcol_13_72791(_37829))], (386 ^ _36664) ^ [_40886] : [tptpcol_6_116738(_40886), -(tptpcol_5_114690(_40886))], (2044 ^ _36664) ^ [_59053] : [isa(_59053, c_pushingwithfingers), -(pushingwithfingers(_59053))], (3816 ^ _36664) ^ [_81082] : [tptpcol_2_2(_81082), -(isa(_81082, c_tptpcol_2_2))], (5228 ^ _36664) ^ [_98607, _98609, _98611] : [-(genlpreds(_98611, _98607)), genlpreds(_98611, _98609), genlpreds(_98609, _98607)], (330 ^ _36664) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _36664) ^ [_90271] : [isa(_90271, c_tptpcol_4_114689), -(tptpcol_4_114689(_90271))], (3590 ^ _36664) ^ [_78295] : [isa(_78295, c_runningshorts), -(runningshorts(_78295))], (1318 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _36664) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _36664) ^ [_66953] : [isa(_66953, c_state_geopolitical), -(state_geopolitical(_66953))], (5566 ^ _36664) ^ [_102872, _102874] : [genlmt(_102874, _102872), -(microtheory(_102874))], (3638 ^ _36664) ^ [_78879, _78881] : [directionoftranslation_throughout(_78881, _78879), -(unitvectorinterval(_78879))], (2598 ^ _36664) ^ [_65854] : [tptpcol_13_26920(_65854), -(isa(_65854, c_tptpcol_13_26920))], (5048 ^ _36664) ^ [_96329] : [tptpcol_12_40420(_96329), -(isa(_96329, c_tptpcol_12_40420))], (5582 ^ _36664) ^ [_103080] : [microtheory(_103080), -(genlmt(_103080, _103080))], (2578 ^ _36664) ^ [_65595] : [intangibleindividual(_65595), -(isa(_65595, c_intangibleindividual))], (1556 ^ _36664) ^ [_53647] : [tptpcol_16_50958(_53647), -(tptpcol_15_50957(_53647))], (4438 ^ _36664) ^ [_88789] : [furpelt(_88789), -(isa(_88789, c_furpelt))], (5102 ^ _36664) ^ [_96990, _96992] : [most(_96992, _96990), -(setorcollection(_96992))], (1952 ^ _36664) ^ [_57942] : [tptpcol_10_92166(_57942), -(tptpcol_9_92165(_57942))], (332 ^ _36664) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _36664) ^ [_60482] : [tptpcol_15_26925(_60482), -(isa(_60482, c_tptpcol_15_26925))], (1774 ^ _36664) ^ [_56036] : [tptpcol_7_21508(_56036), -(tptpcol_6_20484(_56036))], (104 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _36664) ^ [_84851] : [isa(_84851, c_tptpcol_13_109173), -(tptpcol_13_109173(_84851))], (970 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _36664) ^ [_95975, _95977] : [geographicalsubregions(_95977, _95975), -(geographicalregion(_95977))], (3110 ^ _36664) ^ [_72273, _72275, _72277] : [-(objectfoundinlocation(_72277, _72273)), objectfoundinlocation(_72277, _72275), subregions(_72273, _72275)], (2142 ^ _36664) ^ [_60263] : [isa(_60263, c_tptpcol_8_39940), -(tptpcol_8_39940(_60263))], (980 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _36664) ^ [_38998] : [tptpcol_12_40420(_38998), -(tptpcol_11_40388(_38998))], (3268 ^ _36664) ^ [_74318] : [isa(_74318, c_geographicalregion), -(geographicalregion(_74318))], (400 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _36664) ^ [_61143] : [isa(_61143, c_tptpcol_16_72795), -(tptpcol_16_72795(_61143))], (240 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _36664) ^ [_75503] : [tptpcol_13_18664(_75503), -(isa(_75503, c_tptpcol_13_18664))], (4398 ^ _36664) ^ [_88285, _88287] : [inregion(_88287, _88285), -(spatialthing_nonsituational(_88285))], (14 ^ _36664) ^ [_36806] : [tptpcol_15_40430(_36806), -(tptpcol_14_40429(_36806))], (5066 ^ _36664) ^ [_96548] : [isa(_96548, c_tptpcol_6_92162), -(tptpcol_6_92162(_96548))], (590 ^ _36664) ^ [_43104] : [tptpcol_1_1(_43104), tptpcol_1_65536(_43104)], (968 ^ _36664) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _36664) ^ [_102389, _102391, _102393] : [-(disjointwith(_102389, _102391)), disjointwith(_102393, _102391), genls(_102389, _102393)], (3148 ^ _36664) ^ [_72782] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72782), -(isa(_72782, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _36664) ^ [_74689] : [isa(_74689, c_airport_physical), -(airport_physical(_74689))], (4468 ^ _36664) ^ [_89170, _89172, _89174] : [relationallinstance(_89174, _89172, _89170), -(binarypredicate(_89174))], (1598 ^ _36664) ^ [_54116] : [tptpcol_9_26885(_54116), -(tptpcol_8_26629(_54116))], (1060 ^ _36664) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _36664) ^ [_49205, _49207] : [disjointwith(_49207, _49205), -(collection(_49205))], (2394 ^ _36664) ^ [_63337] : [isa(_63337, c_tptpcol_8_117763), -(tptpcol_8_117763(_63337))], (64 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _36664) ^ [_81597, _81599] : [tptptypes_6_818(_81599, _81597), -(firstordercollection(_81597))], (2154 ^ _36664) ^ [_60409] : [isa(_60409, c_tptpcol_15_26925), -(tptpcol_15_26925(_60409))], (534 ^ _36664) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _36664) ^ [_44639] : [tptpcol_8_109059(_44639), -(tptpcol_7_108547(_44639))], (4582 ^ _36664) ^ [_90563] : [isa(_90563, c_tptpcol_3_98305), -(tptpcol_3_98305(_90563))], (5304 ^ _36664) ^ [_99566] : [-(natargument(f_urlreferentfn(_99566), n_1, _99566))], (5334 ^ _36664) ^ [_99954, _99956] : [isa(_99956, _99954), -(thing(_99956))], (864 ^ _36664) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _36664) ^ [_53190] : [individual(_53190), -(trajector_underspecified(_53190))], (3326 ^ _36664) ^ [_75065] : [tptpcol_6_112641(_75065), -(isa(_75065, c_tptpcol_6_112641))], (1522 ^ _36664) ^ [_53261] : [shavingrazor_manual(_53261), -(tptp_8_271(f_relationexistsallfn(_53261, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53261))], (5482 ^ _36664) ^ [_101810] : [partiallytangible(_101810), -(isa(_101810, c_partiallytangible))], (1782 ^ _36664) ^ [_56125] : [tptpcol_6_108546(_56125), -(tptpcol_5_106498(_56125))], (1356 ^ _36664) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _36664) ^ [_47570] : [tptpcol_9_18439(_47570), -(tptpcol_8_18438(_47570))], (2496 ^ _36664) ^ [_64584, _64586] : [few(_64586, _64584), -(setorcollection(_64586))], (3500 ^ _36664) ^ [_77186, _77188] : [orientation(_77188, _77186), -(spatialthing_localized(_77188))], (1572 ^ _36664) ^ [_53825] : [tptpcol_16_72795(_53825), -(tptpcol_15_72793(_53825))], (510 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _36664) ^ [_87099] : [isa(_87099, c_tptpcol_9_109060), -(tptpcol_9_109060(_87099))], (1026 ^ _36664) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _36664) ^ [_38458] : [tptpcol_3_81921(_38458), -(tptpcol_2_65537(_38458))], (612 ^ _36664) ^ [_43340] : [-(tptp_8_875(_43340, f_relationallexistsfn(_43340, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43340, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _36664) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _36664) ^ [_89395] : [isa(_89395, c_tptpcol_9_40196), -(tptpcol_9_40196(_89395))], (1612 ^ _36664) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _36664) ^ [_79841] : [isa(_79841, c_tptpcol_16_10258), -(tptpcol_16_10258(_79841))], (3946 ^ _36664) ^ [_82715] : [mathematicalorcomputationalthing(_82715), -(isa(_82715, c_mathematicalorcomputationalthing))], (4456 ^ _36664) ^ [_89012, _89014, _89016] : [relationallinstance(_89016, _89014, _89012), -(thing(_89012))], (4178 ^ _36664) ^ [_85581, _85583] : [tptptypes_8_400(_85583, _85581), -(firstordercollection(_85581))], (3338 ^ _36664) ^ [_75211] : [tptpcol_7_113665(_75211), -(isa(_75211, c_tptpcol_7_113665))], (546 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _36664) ^ [_72406] : [isa(_72406, c_ship), -(ship(_72406))], (670 ^ _36664) ^ [_43986] : [tptpcol_12_22055(_43986), -(tptpcol_11_22023(_43986))], (910 ^ _36664) ^ [_46588] : [tptpcol_13_22071(_46588), -(tptpcol_12_22055(_46588))], (1640 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _36664) ^ [_83617, _83619, _83621] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83621, _83619, _83617), n_3, _83617))], (958 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _36664) ^ [_63410] : [tptpcol_8_117763(_63410), -(isa(_63410, c_tptpcol_8_117763))], (394 ^ _36664) ^ [_40975] : [tptpcol_15_92268(_40975), -(tptpcol_14_92264(_40975))], (526 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _36664) ^ [_76454] : [tptpcol_7_108547(_76454), -(isa(_76454, c_tptpcol_7_108547))], (5108 ^ _36664) ^ [_97065, _97067] : [most(_97067, _97065), -(setorcollection(_97067))], (2244 ^ _36664) ^ [_61508] : [tptpcol_15_50957(_61508), -(isa(_61508, c_tptpcol_15_50957))], (4336 ^ _36664) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _36664) ^ [_74614, _74616] : [airporthasiatacode(_74616, _74614), -(airport_physical(_74616))], (2466 ^ _36664) ^ [_64213] : [isa(_64213, c_tptpcol_6_20484), -(tptpcol_6_20484(_64213))], (474 ^ _36664) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _36664) ^ [_64434, _64436] : [few(_64436, _64434), -(setorcollection(_64434))], (5316 ^ _36664) ^ [_99729, _99731] : [isa(_99731, _99729), -(collection(_99729))], (4006 ^ _36664) ^ [_83449] : [terrorist(_83449), -(isa(_83449, c_terrorist))], (142 ^ _36664) ^ [_38221] : [trajector_underspecified(_38221), -(location_underspecified(_38221))], (3494 ^ _36664) ^ [_77111, _77113] : [orientation(_77113, _77111), -(orientationvector(_77111))], (4148 ^ _36664) ^ [_85216] : [setorcollection(_85216), -(isa(_85216, c_setorcollection))], (3536 ^ _36664) ^ [_77628, _77630] : [tptptypes_9_824(_77630, _77628), -(firstordercollection(_77630))], (908 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _36664) ^ [_65303] : [tptpcol_15_130923(_65303), -(isa(_65303, c_tptpcol_15_130923))], (3018 ^ _36664) ^ [_71076] : [-(natargument(f_contextofpcwfn(_71076), n_1, _71076))], (1082 ^ _36664) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _36664) ^ [_64938] : [isa(_64938, c_tptpcol_16_130933), -(tptpcol_16_130933(_64938))], (292 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _36664) ^ [_65084] : [isa(_65084, c_tptpcol_7_92163), -(tptpcol_7_92163(_65084))], (4614 ^ _36664) ^ [_90994, _90996, _90998, _91000] : [-(natargument(f_relationexistsallfn(_91000, _90998, _90996, _90994), n_4, _90994))], (1788 ^ _36664) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _36664) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _36664) ^ [_62680] : [tptpcol_4_90113(_62680), -(isa(_62680, c_tptpcol_4_90113))], (4246 ^ _36664) ^ [_86434] : [tptpcol_15_92268(_86434), -(isa(_86434, c_tptpcol_15_92268))], (2824 ^ _36664) ^ [_68691, _68693] : [tptptypes_8_823(_68693, _68691), -(firstordercollection(_68693))], (520 ^ _36664) ^ [_42343] : [mathematicalorcomputationalthing(_42343), -(intangible(_42343))], (2590 ^ _36664) ^ [_65754, _65756] : [-(city(f_citynamedfn(_65756, _65754)))], (630 ^ _36664) ^ [_43546] : [tptpcol_10_118020(_43546), -(tptpcol_9_118019(_43546))], (496 ^ _36664) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _36664) ^ [_72479] : [ship(_72479), -(isa(_72479, c_ship))], (4528 ^ _36664) ^ [_89906] : [tptpcol_8_72708(_89906), -(isa(_89906, c_tptpcol_8_72708))], (4058 ^ _36664) ^ [_84121] : [isa(_84121, c_geolevel_3), -(geolevel_3(_84121))], (90 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _36664) ^ [_71767, _71769] : [objectfoundinlocation(_71769, _71767), -(spatialthing_localized(_71769))], (4208 ^ _36664) ^ [_85956, _85958] : [borderson(_85958, _85956), -(geographicalregion(_85956))], (1540 ^ _36664) ^ [_53469] : [tptpcol_12_72775(_53469), -(tptpcol_11_72774(_53469))], (5298 ^ _36664) ^ [_99491] : [-(natargument(f_urlfn(_99491), n_1, _99491))], (128 ^ _36664) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _36664) ^ [_81155, _81157] : [tptptypes_7_691(_81157, _81155), -(firstordercollection(_81155))], (662 ^ _36664) ^ [_43898] : [individual(_43898), setorcollection(_43898)], (1054 ^ _36664) ^ [_48162, _48164] : [tptptypes_8_823(_48164, _48162), -(tptptypes_7_819(_48164, _48162))], (2782 ^ _36664) ^ [_68178] : [isa(_68178, c_tptpcol_15_72793), -(tptpcol_15_72793(_68178))], (4654 ^ _36664) ^ [_91512, _91514] : [tptptypes_8_692(_91514, _91512), -(firstordercollection(_91512))], (364 ^ _36664) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _36664) ^ [_90959, _90961, _90963, _90965] : [-(natargument(f_relationexistsallfn(_90965, _90963, _90961, _90959), n_3, _90961))], (4184 ^ _36664) ^ [_85656, _85658] : [tptptypes_8_400(_85658, _85656), -(firstordercollection(_85658))], (3864 ^ _36664) ^ [_81672, _81674] : [tptptypes_6_818(_81674, _81672), -(firstordercollection(_81674))], (1832 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _36664) ^ [_95681] : [tptpcol_9_22021(_95681), -(isa(_95681, c_tptpcol_9_22021))], (1872 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _36664) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _36664) ^ [_86803, _86805] : [tptptypes_6_388(_86805, _86803), -(firstordercollection(_86803))], (1108 ^ _36664) ^ [_48732] : [tptpcol_4_16387(_48732), -(tptpcol_3_16386(_48732))], (928 ^ _36664) ^ [_46784] : [tptpcol_4_114689(_46784), -(tptpcol_3_114688(_46784))], (2406 ^ _36664) ^ [_63483] : [isa(_63483, c_tptpcol_7_18437), -(tptpcol_7_18437(_63483))], (3934 ^ _36664) ^ [_82569] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82569), -(isa(_82569, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _36664) ^ [_95827] : [transitivebinarypredicate(_95827), -(isa(_95827, c_transitivebinarypredicate))], (744 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _36664) ^ [_92688] : [isa(_92688, c_orderingpredicate), -(orderingpredicate(_92688))], (900 ^ _36664) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _36664) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _36664) ^ [_36895] : [tptpcol_10_72710(_36895), -(tptpcol_9_72709(_36895))], (3840 ^ _36664) ^ [_81378] : [tptpcol_11_26887(_81378), -(isa(_81378, c_tptpcol_11_26887))], (2014 ^ _36664) ^ [_58688] : [tptpcol_13_92263(_58688), -(isa(_58688, c_tptpcol_13_92263))], (556 ^ _36664) ^ [_42724, _42726] : [tptptypes_8_692(_42726, _42724), -(tptptypes_7_691(_42724, _42726))], (3184 ^ _36664) ^ [_73220] : [tptpcol_3_16386(_73220), -(isa(_73220, c_tptpcol_3_16386))], (874 ^ _36664) ^ [_46186, _46188] : [disjointwith(_46188, _46186), -(no(_46188, _46186))], (4828 ^ _36664) ^ [_93637] : [enduringthing_localized(_93637), -(isa(_93637, c_enduringthing_localized))], (1414 ^ _36664) ^ [_52072, _52074, _52076] : [isa(_52076, _52074), isa(_52076, _52072), disjointwith(_52074, _52072)], (588 ^ _36664) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _36664) ^ [_87318] : [tptpcol_10_109061(_87318), -(isa(_87318, c_tptpcol_10_109061))], (392 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _36664) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _36664) ^ [_67306, _67308] : [arg2isa(_67308, _67306), -(collection(_67306))], (5518 ^ _36664) ^ [_102256, _102258, _102260] : [-(disjointwith(_102260, _102256)), disjointwith(_102260, _102258), genls(_102256, _102258)], (2756 ^ _36664) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _36664) ^ [_67168, _67170, _67172, _67174] : [-(natargument(f_relationallexistsfn(_67174, _67172, _67170, _67168), n_2, _67172))], (3318 ^ _36664) ^ [_74962, _74964, _74966] : [-(thing(f_instancewithrelationtofn(_74966, _74964, _74962)))], (366 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _36664) ^ [_38814] : [tptpcol_2_98304(_38814), -(tptpcol_1_65536(_38814))], (1270 ^ _36664) ^ [_50522] : [tptpcol_16_130924(_50522), -(tptpcol_15_130923(_50522))], (830 ^ _36664) ^ [_45717] : [tptpcol_13_18664(_45717), -(tptpcol_12_18663(_45717))], (4786 ^ _36664) ^ [_93126] : [isa(_93126, c_tptpcol_2_65537), -(tptpcol_2_65537(_93126))], (1212 ^ _36664) ^ [_49900] : [-(tptp_9_51(f_relationexistsallfn(_49900, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _49900)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_49900, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _36664) ^ [_88139] : [isa(_88139, c_applicationcontext), -(applicationcontext(_88139))], (2950 ^ _36664) ^ [_70226, _70228] : [tptp_8_968(_70228, _70226), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70226))], (2974 ^ _36664) ^ [_70534, _70536, _70538] : [relationexistsall(_70538, _70536, _70534), -(binarypredicate(_70538))], (4966 ^ _36664) ^ [_95316] : [isa(_95316, c_tptpcol_5_16388), -(tptpcol_5_16388(_95316))], (678 ^ _36664) ^ [_44075] : [applicationcontext(_44075), -(microtheory(_44075))], (1330 ^ _36664) ^ [_51158] : [tptpcol_7_108547(_51158), -(tptpcol_6_108546(_51158))], (4 ^ _36664) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _36664) ^ [_63775] : [isa(_63775, c_tptpcol_8_93698), -(tptpcol_8_93698(_63775))], (28 ^ _36664) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _36664) ^ [_60993, _60995] : [tptptypes_5_802(_60995, _60993), -(firstordercollection(_60993))], (942 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _36664) ^ [_51657] : [tptpcol_8_18438(_51657), -(tptpcol_7_18437(_51657))], (5456 ^ _36664) ^ [_101471, _101473, _101475] : [-(genls(_101471, _101473)), genls(_101475, _101473), genls(_101471, _101475)], (622 ^ _36664) ^ [] : [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 ^ _36664) ^ [_86878, _86880] : [tptptypes_6_388(_86880, _86878), -(firstordercollection(_86880))], (3016 ^ _36664) ^ [_71051] : [-(natfunction(f_contextofpcwfn(_71051), c_contextofpcwfn))], (5072 ^ _36664) ^ [_96621] : [tptpcol_6_92162(_96621), -(isa(_96621, c_tptpcol_6_92162))], (596 ^ _36664) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _36664) ^ [_81230, _81232] : [tptptypes_7_691(_81232, _81230), -(firstordercollection(_81232))], (2724 ^ _36664) ^ [_67456, _67458, _67460] : [-(arg2isa(_67460, _67456)), arg2isa(_67460, _67458), genls(_67458, _67456)], (1034 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _36664) ^ [_65376] : [isa(_65376, c_tptpcol_16_130924), -(tptpcol_16_130924(_65376))], (2062 ^ _36664) ^ [_59274, _59276] : [affiliatedwith(_59276, _59274), -(agent_generic(_59276))], (4702 ^ _36664) ^ [_92104] : [isa(_92104, c_tptpcol_1_65536), -(tptpcol_1_65536(_92104))], (1084 ^ _36664) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _36664) ^ [_77480] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77480), -(isa(_77480, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _36664) ^ [_63848] : [tptpcol_8_93698(_63848), -(isa(_63848, c_tptpcol_8_93698))], (4546 ^ _36664) ^ [_90125] : [isa(_90125, c_tptpcol_12_93765), -(tptpcol_12_93765(_90125))], (580 ^ _36664) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _36664) ^ [_87774] : [tptpcol_12_92262(_87774), -(isa(_87774, c_tptpcol_12_92262))], (858 ^ _36664) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _36664) ^ [_68470] : [isa(_68470, c_tptpcol_10_26886), -(tptpcol_10_26886(_68470))], (1658 ^ _36664) ^ [_54787, _54789] : [tptptypes_9_824(_54789, _54787), -(tptptypes_8_823(_54789, _54787))], (1834 ^ _36664) ^ [_56676] : [tptpcol_9_40196(_56676), -(tptpcol_8_39940(_56676))], (1008 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _36664) ^ [_63191] : [isa(_63191, c_tptpcol_7_117762), -(tptpcol_7_117762(_63191))], (1464 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _36664) ^ [_93783] : [location_underspecified(_93783), -(isa(_93783, c_location_underspecified))], (3702 ^ _36664) ^ [_79683, _79685, _79687] : [relationallexists(_79687, _79685, _79683), -(collection(_79685))], (4816 ^ _36664) ^ [_93491] : [artsupplies(_93491), -(isa(_93491, c_artsupplies))], (1894 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _36664) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _36664) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _36664) ^ [_79029, _79031, _79033] : [-(directionoftranslation_throughout(_79029, _79031)), directionoftranslation_throughout(_79033, _79031), subevents(_79033, _79029)], (4330 ^ _36664) ^ [_87464] : [executionbyfiringsquad(_87464), -(isa(_87464, c_executionbyfiringsquad))], (1580 ^ _36664) ^ [_53914] : [tptpcol_6_71683(_53914), -(tptpcol_5_69635(_53914))], (1926 ^ _36664) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _36664) ^ [_63629] : [isa(_63629, c_tptpcol_6_18436), -(tptpcol_6_18436(_63629))], (888 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _36664) ^ [_48495] : [tptpcol_15_72793(_48495), -(tptpcol_14_72792(_48495))], (1100 ^ _36664) ^ [_48643] : [navypersonnel(_48643), -(militaryperson(_48643))], (2764 ^ _36664) ^ [_67959] : [spatialthing_nonsituational(_67959), -(isa(_67959, c_spatialthing_nonsituational))], (1960 ^ _36664) ^ [_58031] : [tptpcol_14_118118(_58031), -(tptpcol_13_118117(_58031))], (3810 ^ _36664) ^ [_81009] : [isa(_81009, c_tptpcol_2_2), -(tptpcol_2_2(_81009))], (258 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _36664) ^ [_93199] : [tptpcol_2_65537(_93199), -(isa(_93199, c_tptpcol_2_65537))], (1472 ^ _36664) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _36664) ^ [_70007] : [physicalorderingpredicate(_70007), -(isa(_70007, c_physicalorderingpredicate))], (1248 ^ _36664) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _36664) ^ [_68397] : [tptpcol_9_26885(_68397), -(isa(_68397, c_tptpcol_9_26885))], (232 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _36664) ^ [_42159, _42161] : [geographicalsubregions(_42161, _42159), -(inregion(_42159, _42161))], (4954 ^ _36664) ^ [_95170] : [isa(_95170, c_tptpcol_4_16387), -(tptpcol_4_16387(_95170))], (1966 ^ _36664) ^ [_58102] : [isa(_58102, c_tptpcol_14_118118), -(tptpcol_14_118118(_58102))], (1500 ^ _36664) ^ [_53012] : [tptpcol_3_16386(_53012), -(tptpcol_2_2(_53012))], (1374 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _36664) ^ [_102647, _102649] : [genlmt(_102649, _102647), -(microtheory(_102647))], (3398 ^ _36664) ^ [_75943] : [isa(_75943, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_75943))], (4810 ^ _36664) ^ [_93418] : [isa(_93418, c_artsupplies), -(artsupplies(_93418))], (3470 ^ _36664) ^ [_76819] : [isa(_76819, c_tptpcol_15_93775), -(tptpcol_15_93775(_76819))], (1754 ^ _36664) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _36664) ^ [_94878] : [isa(_94878, c_tptpcol_14_72792), -(tptpcol_14_72792(_94878))], (3554 ^ _36664) ^ [_77853] : [isa(_77853, c_tptpcol_12_22055), -(tptpcol_12_22055(_77853))], (562 ^ _36664) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _36664) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _36664) ^ [_93564] : [isa(_93564, c_enduringthing_localized), -(enduringthing_localized(_93564))], (2794 ^ _36664) ^ [_68324] : [isa(_68324, c_tptpcol_9_26885), -(tptpcol_9_26885(_68324))], (4392 ^ _36664) ^ [_88212] : [applicationcontext(_88212), -(isa(_88212, c_applicationcontext))], (5450 ^ _36664) ^ [_101398] : [collection(_101398), -(genls(_101398, _101398))], (300 ^ _36664) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _36664) ^ [_78220, _78222] : [tptp_9_720(_78222, _78220), -(executionbyfiringsquad(_78222))], (2890 ^ _36664) ^ [_69496] : [isa(_69496, c_tptpcol_15_30970), -(tptpcol_15_30970(_69496))], (4642 ^ _36664) ^ [_91362, _91364] : [tptptypes_8_390(_91364, _91362), -(firstordercollection(_91362))], (3138 ^ _36664) ^ [_72647, _72649, _72651] : [-(natargument(f_subcollectionofwithrelationtofn(_72651, _72649, _72647), n_3, _72647))], (4948 ^ _36664) ^ [_95097] : [ridgeline_topographical(_95097), -(isa(_95097, c_ridgeline_topographical))], (4624 ^ _36664) ^ [_91137, _91139] : [resultisaarg(_91139, _91137), -(function_denotational(_91139))], (3506 ^ _36664) ^ [_77261] : [isa(_77261, c_orientationvector), -(orientationvector(_77261))], (1428 ^ _36664) ^ [_52240] : [aspatialinformationstore(_52240), -(aspatialthing(_52240))], (5282 ^ _36664) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _36664) ^ [_86580] : [tptpcol_6_116738(_86580), -(isa(_86580, c_tptpcol_6_116738))], (1250 ^ _36664) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _36664) ^ [_94075] : [individual(_94075), -(isa(_94075, c_individual))], (1780 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _36664) ^ [_92031] : [marriagelicensedocument(_92031), -(isa(_92031, c_marriagelicensedocument))], (5084 ^ _36664) ^ [_96767] : [tptpcol_7_93186(_96767), -(isa(_96767, c_tptpcol_7_93186))], (1530 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _36664) ^ [_75576] : [isa(_75576, c_firstordercollection), -(firstordercollection(_75576))], (3258 ^ _36664) ^ [_74185, _74187, _74189] : [-(no(_74189, _74185)), no(_74189, _74187), subsetof(_74185, _74187)], (1538 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _36664) ^ [_84778] : [tptpcol_12_109157(_84778), -(isa(_84778, c_tptpcol_12_109157))], (1682 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _36664) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _36664) ^ [_87172] : [tptpcol_9_109060(_87172), -(isa(_87172, c_tptpcol_9_109060))], (3924 ^ _36664) ^ [_82434, _82436, _82438] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82438, _82436, _82434), n_3, _82434))], (1344 ^ _36664) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _36664) ^ [_71276, _71278, _71280] : [-(arg1isa(_71280, _71276)), arg1isa(_71280, _71278), genls(_71278, _71276)], (186 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _36664) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _36664) ^ [_73653, _73655, _73657] : [-(no(_73653, _73655)), no(_73657, _73655), subsetof(_73653, _73657)], (84 ^ _36664) ^ [_37592] : [tptpcol_9_22021(_37592), -(tptpcol_8_22020(_37592))], (1888 ^ _36664) ^ [_57245] : [tptpcol_7_18437(_57245), -(tptpcol_6_18436(_57245))], (974 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _36664) ^ [_61873] : [isa(_61873, c_tptpcol_11_72774), -(tptpcol_11_72774(_61873))], (4214 ^ _36664) ^ [_86031, _86033] : [borderson(_86033, _86031), -(geographicalregion(_86033))], (822 ^ _36664) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _36664) ^ [_89468] : [tptpcol_9_40196(_89468), -(isa(_89468, c_tptpcol_9_40196))], (5356 ^ _36664) ^ [_100235] : [inanimateobject(_100235), -(isa(_100235, c_inanimateobject))], (544 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _36664) ^ [_61727] : [isa(_61727, c_tptpcol_6_71683), -(tptpcol_6_71683(_61727))], (1858 ^ _36664) ^ [_56931] : [tptpcol_5_90114(_56931), -(tptpcol_4_90113(_56931))], (4166 ^ _36664) ^ [_85435] : [isa(_85435, c_tptpcol_12_18663), -(tptpcol_12_18663(_85435))], (2502 ^ _36664) ^ [_64659, _64661, _64663] : [-(few(_64663, _64659)), few(_64663, _64661), subsetof(_64659, _64661)], (2848 ^ _36664) ^ [_68985] : [tptpcol_15_109185(_68985), -(isa(_68985, c_tptpcol_15_109185))], (3316 ^ _36664) ^ [_74930, _74932, _74934] : [-(natargument(f_instancewithrelationtofn(_74934, _74932, _74930), n_3, _74930))], (5256 ^ _36664) ^ [_98961, _98963] : [genlinverse(_98963, _98961), -(binarypredicate(_98963))], (466 ^ _36664) ^ [_41768] : [tptpcol_5_24579(_41768), -(tptpcol_4_24578(_41768))], (2316 ^ _36664) ^ [_62384] : [tptpcol_16_25972(_62384), -(isa(_62384, c_tptpcol_16_25972))], (1438 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _36664) ^ [_59458] : [isa(_59458, c_footballteam), -(footballteam(_59458))], (872 ^ _36664) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _36664) ^ [_58761] : [isa(_58761, c_geolevel_4), -(geolevel_4(_58761))], (3410 ^ _36664) ^ [_76089] : [isa(_76089, c_tptpcol_13_22071), -(tptpcol_13_22071(_76089))], (1978 ^ _36664) ^ [_58248] : [-(natfunction(f_tptpquantityfn_6(_58248), c_tptpquantityfn_6))], (3792 ^ _36664) ^ [_80790] : [tptpcol_9_92165(_80790), -(isa(_80790, c_tptpcol_9_92165))], (2616 ^ _36664) ^ [_66073] : [isa(_66073, c_tptpcol_3_65538), -(tptpcol_3_65538(_66073))], (2980 ^ _36664) ^ [_70613] : [isa(_70613, c_tptpcol_7_26628), -(tptpcol_7_26628(_70613))], (5398 ^ _36664) ^ [_100746] : [isa(_100746, c_tptpcol_15_40430), -(tptpcol_15_40430(_100746))], (776 ^ _36664) ^ [_45143] : [inanimateobject_nonnatural(_45143), -(inanimateobject(_45143))], (1474 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _36664) ^ [_58542] : [tptpcol_16_62187(_58542), -(isa(_58542, c_tptpcol_16_62187))], (684 ^ _36664) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _36664) ^ [_57677] : [computerdataartifact(_57677), -(artifact(_57677))], (220 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _36664) ^ [_79235] : [unitvectorinterval(_79235), -(isa(_79235, c_unitvectorinterval))], (1036 ^ _36664) ^ [_47966] : [tptpcol_15_109185(_47966), -(tptpcol_14_109181(_47966))], (3196 ^ _36664) ^ [_73368, _73370] : [no(_73370, _73368), -(setorcollection(_73370))], (2854 ^ _36664) ^ [_69058] : [isa(_69058, c_tptpcol_6_26627), -(tptpcol_6_26627(_69058))], (1856 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _36664) ^ [_46370] : [tptpcol_5_69635(_46370), -(tptpcol_4_65539(_46370))], (3274 ^ _36664) ^ [_74391] : [geographicalregion(_74391), -(isa(_74391, c_geographicalregion))], (4744 ^ _36664) ^ [_92615] : [tptpcol_11_92230(_92615), -(isa(_92615, c_tptpcol_11_92230))], (2830 ^ _36664) ^ [_68766] : [isa(_68766, c_tptpcol_16_92269), -(tptpcol_16_92269(_68766))], (1668 ^ _36664) ^ [_54900] : [tptpcol_11_26887(_54900), -(tptpcol_10_26886(_54900))], (1666 ^ _36664) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _36664) ^ [_62607] : [isa(_62607, c_tptpcol_4_90113), -(tptpcol_4_90113(_62607))], (4076 ^ _36664) ^ [_84340] : [tptpcol_4_24578(_84340), -(isa(_84340, c_tptpcol_4_24578))], (202 ^ _36664) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _36664) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _36664) ^ [_76673] : [isa(_76673, c_tptpcol_14_93774), -(tptpcol_14_93774(_76673))], (2878 ^ _36664) ^ [_69350] : [isa(_69350, c_tptpcol_8_18438), -(tptpcol_8_18438(_69350))], (1506 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _36664) ^ [_98382, _98384] : [genlpreds(_98384, _98382), -(predicate(_98382))], (1634 ^ _36664) ^ [_54520] : [tptpcol_8_92164(_54520), -(tptpcol_7_92163(_54520))], (1304 ^ _36664) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _36664) ^ [_88937, _88939] : [tptpofobject(_88939, _88937), -(partiallytangible(_88939))], (2646 ^ _36664) ^ [_66440, _66442] : [tptp_9_51(_66442, _66440), -(tptpcol_7_26628(_66442))], (950 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _36664) ^ [_71692, _71694] : [objectfoundinlocation(_71694, _71692), -(spatialthing_nonsituational(_71694))], (532 ^ _36664) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _36664) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _36664) ^ [_58175] : [tptpcol_14_118118(_58175), -(isa(_58175, c_tptpcol_14_118118))], (1686 ^ _36664) ^ [_55096, _55098] : [few(_55098, _55096), -(setorcollection(_55096))], (1180 ^ _36664) ^ [_49542, _49544] : [tptptypes_7_389(_49544, _49542), -(tptptypes_6_388(_49542, _49544))], (838 ^ _36664) ^ [_45806] : [artifact(_45806), -(inanimateobject_nonnatural(_45806))], (1354 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _36664) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _36664) ^ [_73520, _73522, _73524] : [-(no(_73524, _73520)), no(_73524, _73522), subsetof(_73520, _73522)], (1052 ^ _36664) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _36664) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _36664) ^ [_87993] : [isa(_87993, c_computerdataartifact), -(computerdataartifact(_87993))], (2128 ^ _36664) ^ [_60093] : [-(tptpquantity(f_tptpquantityfn_2(_60093)))], (3028 ^ _36664) ^ [_71201, _71203] : [arg1isa(_71203, _71201), -(relation(_71203))], (1150 ^ _36664) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _36664) ^ [_70905] : [isa(_70905, c_tptpcol_3_114688), -(tptpcol_3_114688(_70905))], (3988 ^ _36664) ^ [_83226, _83228] : [hasmembers(_83228, _83226), -(agent_generic(_83226))], (1794 ^ _36664) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _36664) ^ [_41679] : [tptpcol_5_106498(_41679), -(tptpcol_4_106497(_41679))], (1548 ^ _36664) ^ [_53558] : [tptpcol_7_72707(_53558), -(tptpcol_6_71683(_53558))], (4190 ^ _36664) ^ [_85731, _85733] : [tptptypes_9_401(_85733, _85731), -(firstordercollection(_85731))], (170 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _36664) ^ [_94148] : [isa(_94148, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_94148))], (3882 ^ _36664) ^ [_81897] : [isa(_81897, c_correctivelensprescription), -(correctivelensprescription(_81897))], (4130 ^ _36664) ^ [_84997] : [isa(_84997, c_mathematicalthing), -(mathematicalthing(_84997))], (4226 ^ _36664) ^ [_86192] : [borderson(_86192, _86192)], (1328 ^ _36664) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _36664) ^ [_36984] : [inanimateobject(_36984), -(partiallytangible(_36984))], (2592 ^ _36664) ^ [_65781] : [isa(_65781, c_tptpcol_13_26920), -(tptpcol_13_26920(_65781))], (3010 ^ _36664) ^ [_70978] : [tptpcol_3_114688(_70978), -(isa(_70978, c_tptpcol_3_114688))], (1702 ^ _36664) ^ [_55278] : [tptpcol_8_39940(_55278), -(tptpcol_7_39939(_55278))], (5422 ^ _36664) ^ [_101042, _101044] : [genls(_101044, _101042), -(collection(_101044))], (346 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _36664) ^ [_52561] : [tptpcol_6_26627(_52561), -(tptpcol_5_24579(_52561))], (1606 ^ _36664) ^ [_54205, _54207] : [genls(_54207, _54205), -(subsetof(_54207, _54205))], (1202 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _36664) ^ [_73919, _73921, _73923] : [-(no(_73923, _73919)), no(_73923, _73921), genls(_73919, _73921)], (3572 ^ _36664) ^ [_78072] : [tptpcol_16_29490(_78072), -(isa(_78072, c_tptpcol_16_29490))], (4852 ^ _36664) ^ [_93929] : [trajector_underspecified(_93929), -(isa(_93929, c_trajector_underspecified))], (1732 ^ _36664) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _36664) ^ [_63118] : [aspatialthing(_63118), -(isa(_63118, c_aspatialthing))], (598 ^ _36664) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _36664) ^ [_52001] : [tptpcol_7_117762(_52001), -(tptpcol_6_116738(_52001))], (1128 ^ _36664) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _36664) ^ [_94513] : [tptpcol_11_22023(_94513), -(isa(_94513, c_tptpcol_11_22023))], (812 ^ _36664) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _36664) ^ [_78954, _78956] : [directionoftranslation_throughout(_78956, _78954), -(movement_translationevent(_78956))], (766 ^ _36664) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _36664) ^ [_38096] : [partiallyintangibleindividual(_38096), -(individual(_38096))], (1980 ^ _36664) ^ [_58273] : [-(natargument(f_tptpquantityfn_6(_58273), n_1, _58273))], (5078 ^ _36664) ^ [_96694] : [isa(_96694, c_tptpcol_7_93186), -(tptpcol_7_93186(_96694))], (1168 ^ _36664) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _36664) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _36664) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _36664) ^ [_86728, _86730] : [tptptypes_5_387(_86730, _86728), -(firstordercollection(_86730))], (1398 ^ _36664) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _36664) ^ [_88666] : [-(natargument(f_tptpquantityfn_1(_88666), n_1, _88666))], (844 ^ _36664) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _36664) ^ [_92250] : [isa(_92250, c_tptpcol_2_98304), -(tptpcol_2_98304(_92250))], (422 ^ _36664) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _36664) ^ [_61800] : [tptpcol_6_71683(_61800), -(isa(_61800, c_tptpcol_6_71683))], (2050 ^ _36664) ^ [_59126] : [pushingwithfingers(_59126), -(isa(_59126, c_pushingwithfingers))], (1562 ^ _36664) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _36664) ^ [_59969] : [tptpcol_15_22076(_59969), -(isa(_59969, c_tptpcol_15_22076))], (1442 ^ _36664) ^ [_52383] : [tptpcol_9_93699(_52383), -(tptpcol_8_93698(_52383))], (1692 ^ _36664) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _36664) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _36664) ^ [_60701] : [isa(_60701, c_tptpcol_13_118117), -(tptpcol_13_118117(_60701))], (4410 ^ _36664) ^ [_88435, _88437, _88439] : [-(inregion(_88439, _88435)), inregion(_88439, _88437), inregion(_88437, _88435)], (1436 ^ _36664) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _36664) ^ [_78733] : [isa(_78733, c_movement_translationevent), -(movement_translationevent(_78733))], (4798 ^ _36664) ^ [_93272] : [isa(_93272, c_tptpcol_3_81921), -(tptpcol_3_81921(_93272))], (3952 ^ _36664) ^ [_82788] : [isa(_82788, c_tptpcol_10_118020), -(tptpcol_10_118020(_82788))], (432 ^ _36664) ^ [_41394] : [tptpcol_12_18663(_41394), -(tptpcol_11_18631(_41394))], (1528 ^ _36664) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _36664) ^ [_68543] : [tptpcol_10_26886(_68543), -(isa(_68543, c_tptpcol_10_26886))], (308 ^ _36664) ^ [_40068] : [-(tptpofobject(_40068, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40068)]], input).
% 55.13/54.22  ncf('1',plain,[-(genls(c_wamt_evalinitial_p14, c_tptpcol_15_80088))],start(5596 ^ 0)).
% 55.13/54.22  ncf('1.1',plain,[genls(c_wamt_evalinitial_p14, c_tptpcol_15_80088), -(collection(c_wamt_evalinitial_p14))],extension(5428 ^ 1,bind([[_101117, _101119], [c_tptpcol_15_80088, c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1',plain,[collection(c_wamt_evalinitial_p14), individual(c_wamt_evalinitial_p14)],extension(1122 ^ 2,bind([[_48892], [c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1.1',plain,[-(individual(c_wamt_evalinitial_p14)), isa(c_wamt_evalinitial_p14, c_individual)],extension(4858 ^ 3,bind([[_94002], [c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1.1.1',plain,[-(isa(c_wamt_evalinitial_p14, c_individual)), isa(c_wamt_evalinitial_p14, c_microtheory), genls(c_microtheory, c_individual)],extension(5340 ^ 4,bind([[_100029, _100031, _100033], [c_individual, c_microtheory, c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1.1.1.1',plain,[-(isa(c_wamt_evalinitial_p14, c_microtheory)), microtheory(c_wamt_evalinitial_p14)],extension(5290 ^ 5,bind([[_99393], [c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1.1.1.1.1',plain,[-(microtheory(c_wamt_evalinitial_p14)), applicationcontext(c_wamt_evalinitial_p14)],extension(678 ^ 6,bind([[_44075], [c_wamt_evalinitial_p14]]))).
% 55.13/54.22  ncf('1.1.1.1.1.1.1.1',plain,[-(applicationcontext(c_wamt_evalinitial_p14))],extension(330 ^ 7)).
% 55.13/54.22  ncf('1.1.1.1.1.2',plain,[-(genls(c_microtheory, c_individual)), genls(c_microtheory, c_intangibleindividual), genls(c_intangibleindividual, c_individual)],extension(5466 ^ 5,bind([[_101604, _101606, _101608], [c_individual, c_intangibleindividual, c_microtheory]]))).
% 55.13/54.22  ncf('1.1.1.1.1.2.1',plain,[-(genls(c_microtheory, c_intangibleindividual)), genls(c_microtheory, c_aspatialinformationstore), genls(c_aspatialinformationstore, c_intangibleindividual)],extension(5466 ^ 6,bind([[_101604, _101606, _101608], [c_intangibleindividual, c_aspatialinformationstore, c_microtheory]]))).
% 55.13/54.22  ncf('1.1.1.1.1.2.1.1',plain,[-(genls(c_microtheory, c_aspatialinformationstore))],extension(598 ^ 7)).
% 55.13/54.22  ncf('1.1.1.1.1.2.1.2',plain,[-(genls(c_aspatialinformationstore, c_intangibleindividual))],extension(1482 ^ 7)).
% 55.13/54.22  ncf('1.1.1.1.1.2.2',plain,[-(genls(c_intangibleindividual, c_individual)), genls(c_intangibleindividual, c_partiallyintangibleindividual), genls(c_partiallyintangibleindividual, c_individual)],extension(5466 ^ 6,bind([[_101604, _101606, _101608], [c_individual, c_partiallyintangibleindividual, c_intangibleindividual]]))).
% 55.13/54.22  ncf('1.1.1.1.1.2.2.1',plain,[-(genls(c_intangibleindividual, c_partiallyintangibleindividual))],extension(1254 ^ 7)).
% 55.13/54.22  ncf('1.1.1.1.1.2.2.2',plain,[-(genls(c_partiallyintangibleindividual, c_individual))],extension(128 ^ 7)).
% 55.13/54.22  %-----------------------------------------------------
% 55.13/54.22  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------