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

% Computer : n023.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:56:26 EDT 2023

% Result   : Theorem 43.92s 42.83s
% Output   : Proof 43.92s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR065+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n023.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:25:13 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 43.92/42.83  
% 43.92/42.83  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 43.92/42.83  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 43.92/42.83  %-----------------------------------------------------
% 43.92/42.83  ncf(matrix, plain, [(5598 ^ _115434) ^ [] : [tptpofobject(c_tptpridgeline_topographical, f_tptpquantityfn_13(n_468))], (5596 ^ _115434) ^ [] : [-(mtvisible(c_tptp_spindlecollectormt))], !, (1546 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _36619) ^ [_97095] : [setorcollection(_97095), -(most(_97095, _97095))], (1814 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _36619) ^ [_96870, _96872] : [most(_96872, _96870), -(setorcollection(_96870))], (1448 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _36619) ^ [_39952] : [tptpcol_13_93766(_39952), -(tptpcol_12_93765(_39952))], (1944 ^ _36619) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _36619) ^ [_85244] : [isa(_85244, c_tptpcol_11_18631), -(tptpcol_11_18631(_85244))], (960 ^ _36619) ^ [_47095] : [isa(_47095, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47095, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47095))], (5380 ^ _36619) ^ [_100482] : [tptpcol_10_72710(_100482), -(isa(_100482, c_tptpcol_10_72710))], (5554 ^ _36619) ^ [_102677, _102679] : [genlmt(_102679, _102677), -(microtheory(_102677))], (4888 ^ _36619) ^ [_94322] : [tptpcol_10_22022(_94322), -(isa(_94322, c_tptpcol_10_22022))], (4040 ^ _36619) ^ [_83855, _83857] : [prettystring(_83857, _83855), -(thing(_83857))], (2902 ^ _36619) ^ [_69597] : [isa(_69597, c_tptpcol_16_30972), -(tptpcol_16_30972(_69597))], (1802 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _36619) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _36619) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _36619) ^ [_48010] : [tptpcol_16_92269(_48010), -(tptpcol_15_92268(_48010))], (1650 ^ _36619) ^ [_54653] : [tptpcol_11_40388(_54653), -(tptpcol_10_40324(_54653))], (324 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _36619) ^ [_67193, _67195, _67197, _67199] : [-(natargument(f_relationallexistsfn(_67199, _67197, _67195, _67193), n_4, _67193))], (3088 ^ _36619) ^ [_71939] : [objectfoundinlocation(_71939, _71939)], (1122 ^ _36619) ^ [_48847] : [collection(_48847), individual(_48847)], (286 ^ _36619) ^ [_39774] : [tptpcol_8_72708(_39774), -(tptpcol_7_72707(_39774))], (1006 ^ _36619) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _36619) ^ [_93300] : [tptpcol_3_81921(_93300), -(isa(_93300, c_tptpcol_3_81921))], (1984 ^ _36619) ^ [_58278] : [isa(_58278, c_tptpcol_16_26939), -(tptpcol_16_26939(_58278))], (1284 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _36619) ^ [_85887] : [-(tptpquantity(f_tptpquantityfn_13(_85887)))], (2448 ^ _36619) ^ [_63949] : [tptpcol_11_109125(_63949), -(isa(_63949, c_tptpcol_11_109125))], (2604 ^ _36619) ^ [_65882] : [isa(_65882, c_tptpcol_14_26921), -(tptpcol_14_26921(_65882))], (2032 ^ _36619) ^ [_58862] : [isa(_58862, c_tptpcol_15_4027), -(tptpcol_15_4027(_58862))], (5146 ^ _36619) ^ [_97507, _97509] : [subsetof(_97509, _97507), -(setorcollection(_97507))], (3312 ^ _36619) ^ [_74821, _74823, _74825] : [-(natargument(f_instancewithrelationtofn(_74825, _74823, _74821), n_1, _74825))], (2836 ^ _36619) ^ [_68794] : [tptpcol_16_92269(_68794), -(isa(_68794, c_tptpcol_16_92269))], (4474 ^ _36619) ^ [_89204] : [isa(_89204, c_tptpcol_13_93766), -(tptpcol_13_93766(_89204))], (2914 ^ _36619) ^ [_69743] : [isa(_69743, c_tptpcol_14_109181), -(tptpcol_14_109181(_69743))], (3518 ^ _36619) ^ [_77362] : [isa(_77362, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77362))], (3964 ^ _36619) ^ [_82889] : [isa(_82889, c_tptpcol_11_118084), -(tptpcol_11_118084(_82889))], (2588 ^ _36619) ^ [_65680, _65682] : [-(natargument(f_citynamedfn(_65682, _65680), n_2, _65680))], (376 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _36619) ^ [_83477, _83479, _83481] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_83481, _83479, _83477), c_subcollectionofwithrelationfromtypefn))], (836 ^ _36619) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _36619) ^ [_87200] : [isa(_87200, c_tptpcol_10_109061), -(tptpcol_10_109061(_87200))], (2256 ^ _36619) ^ [_61609] : [tptpcol_16_50958(_61609), -(isa(_61609, c_tptpcol_16_50958))], (2298 ^ _36619) ^ [_62120] : [isa(_62120, c_tptpcol_5_110593), -(tptpcol_5_110593(_62120))], (1484 ^ _36619) ^ [_52801] : [aspatialinformationstore(_52801), -(intangibleindividual(_52801))], (3512 ^ _36619) ^ [_77289] : [orientationvector(_77289), -(isa(_77289, c_orientationvector))], (4504 ^ _36619) ^ [_89569] : [tptpcol_10_40324(_89569), -(isa(_89569, c_tptpcol_10_40324))], (1170 ^ _36619) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _36619) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _36619) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _36619) ^ [_90372] : [isa(_90372, c_tptpcol_5_114690), -(tptpcol_5_114690(_90372))], (3140 ^ _36619) ^ [_72634, _72636, _72638] : [-(collection(f_subcollectionofwithrelationtofn(_72638, _72636, _72634)))], (1648 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _36619) ^ [_95490] : [tptpcol_8_22020(_95490), -(isa(_95490, c_tptpcol_8_22020))], (1064 ^ _36619) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _36619) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _36619) ^ [_83540, _83542, _83544] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83544, _83542, _83540), n_2, _83542))], (1824 ^ _36619) ^ [_56524] : [tptpcol_14_92264(_56524), -(tptpcol_13_92263(_56524))], (694 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _36619) ^ [_99496] : [-(natfunction(f_urlreferentfn(_99496), c_urlreferentfn))], (4338 ^ _36619) ^ [_87510] : [isa(_87510, c_navypersonnel), -(navypersonnel(_87510))], (3608 ^ _36619) ^ [_78469] : [tptpcol_9_118019(_78469), -(isa(_78469, c_tptpcol_9_118019))], (3392 ^ _36619) ^ [_75825] : [supplies(_75825), -(isa(_75825, c_supplies))], (736 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _36619) ^ [_81777, _81779] : [tptptypes_7_819(_81779, _81777), -(firstordercollection(_81779))], (20 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _36619) ^ [_46236] : [tptpcol_4_24578(_46236), -(tptpcol_3_16386(_46236))], (3284 ^ _36619) ^ [_74470] : [-(tptpquantity(f_tptpquantityfn_21(_74470)))], (1130 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _36619) ^ [_75752] : [isa(_75752, c_supplies), -(supplies(_75752))], (2986 ^ _36619) ^ [_70641] : [tptpcol_7_26628(_70641), -(isa(_70641, c_tptpcol_7_26628))], (4972 ^ _36619) ^ [_95344] : [tptpcol_5_16388(_95344), -(isa(_95344, c_tptpcol_5_16388))], (2310 ^ _36619) ^ [_62266] : [isa(_62266, c_tptpcol_16_25972), -(tptpcol_16_25972(_62266))], (58 ^ _36619) ^ [_37274] : [tptpcol_7_93186(_37274), -(tptpcol_6_92162(_37274))], (3404 ^ _36619) ^ [_75971] : [inanimateobject_nonnatural(_75971), -(isa(_75971, c_inanimateobject_nonnatural))], (676 ^ _36619) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _36619) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _36619) ^ [_101072, _101074] : [genls(_101074, _101072), -(collection(_101074))], (4780 ^ _36619) ^ [_93008] : [tptpcol_10_18567(_93008), -(isa(_93008, c_tptpcol_10_18567))], (3548 ^ _36619) ^ [_77733, _77735] : [tptptypes_7_396(_77735, _77733), -(firstordercollection(_77735))], (3566 ^ _36619) ^ [_77954] : [isa(_77954, c_tptpcol_16_29490), -(tptpcol_16_29490(_77954))], (2412 ^ _36619) ^ [_63511] : [tptpcol_7_18437(_63511), -(isa(_63511, c_tptpcol_7_18437))], (1622 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _36619) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _36619) ^ [_100555] : [isa(_100555, c_tptpcol_14_40429), -(tptpcol_14_40429(_100555))], (696 ^ _36619) ^ [_44232] : [tptpcol_11_18631(_44232), -(tptpcol_10_18567(_44232))], (1854 ^ _36619) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _36619) ^ [_71797, _71799, _71801] : [-(objectfoundinlocation(_71801, _71797)), objectfoundinlocation(_71801, _71799), objectfoundinlocation(_71799, _71797)], (3920 ^ _36619) ^ [_82325, _82327, _82329] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82329, _82327, _82325), n_1, _82329))], (3614 ^ _36619) ^ [_78542] : [isa(_78542, c_tptpcol_16_31868), -(tptpcol_16_31868(_78542))], (348 ^ _36619) ^ [_40437] : [tptpcol_12_92262(_40437), -(tptpcol_11_92230(_40437))], (464 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _36619) ^ [_102902, _102904, _102906] : [-(genlmt(_102906, _102902)), genlmt(_102906, _102904), genlmt(_102904, _102902)], (2956 ^ _36619) ^ [_70256, _70258] : [tptp_8_968(_70258, _70256), -(tptpcol_7_7172(_70258))], (4610 ^ _36619) ^ [_90879, _90881, _90883, _90885] : [-(natargument(f_relationexistsallfn(_90885, _90883, _90881, _90879), n_2, _90883))], (276 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _36619) ^ [_90445] : [tptpcol_5_114690(_90445), -(isa(_90445, c_tptpcol_5_114690))], (5300 ^ _36619) ^ [_99472] : [-(uniformresourcelocator(f_urlfn(_99472)))], (920 ^ _36619) ^ [_46650] : [tptpcol_3_98305(_46650), -(tptpcol_2_98304(_46650))], (5184 ^ _36619) ^ [_97996, _97998, _98000] : [-(subsetof(_98000, _97996)), subsetof(_98000, _97998), subsetof(_97998, _97996)], (1382 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _36619) ^ [_76336] : [isa(_76336, c_tptpcol_7_108547), -(tptpcol_7_108547(_76336))], (2190 ^ _36619) ^ [_60802] : [isa(_60802, c_tptpcol_5_90114), -(tptpcol_5_90114(_60802))], (1590 ^ _36619) ^ [_53976, _53978] : [tptptypes_7_396(_53978, _53976), -(tptptypes_6_388(_53978, _53976))], (5310 ^ _36619) ^ [_99599, _99601] : [-(natargument(f_contentmtofcdafromeventfn(_99601, _99599), n_1, _99601))], (936 ^ _36619) ^ [_46828] : [artsupplies(_46828), -(supplies(_46828))], (1256 ^ _36619) ^ [_50329] : [intangibleindividual(_50329), -(partiallyintangibleindividual(_50329))], (2328 ^ _36619) ^ [_62487, _62489] : [tptp_8_271(_62489, _62487), -(tptpcol_5_24579(_62489))], (3314 ^ _36619) ^ [_74853, _74855, _74857] : [-(natargument(f_instancewithrelationtofn(_74857, _74855, _74853), n_2, _74855))], (2068 ^ _36619) ^ [_59304, _59306] : [affiliatedwith(_59306, _59304), -(affiliatedwith(_59304, _59306))], (4684 ^ _36619) ^ [_91840] : [tptpcol_11_40388(_91840), -(isa(_91840, c_tptpcol_11_40388))], (4046 ^ _36619) ^ [_83930] : [isa(_83930, c_tptpcol_0_0), -(tptpcol_0_0(_83930))], (1772 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _36619) ^ [_42970] : [fixedordercollection(_42970), -(collection(_42970))], (3982 ^ _36619) ^ [_83108] : [terroristgroup(_83108), -(isa(_83108, c_terroristgroup))], (2884 ^ _36619) ^ [_69378] : [tptpcol_8_18438(_69378), -(isa(_69378, c_tptpcol_8_18438))], (3798 ^ _36619) ^ [_80818] : [isa(_80818, c_tptpcol_1_1), -(tptpcol_1_1(_80818))], (5416 ^ _36619) ^ [_100922, _100924] : [genls(_100924, _100922), -(collection(_100922))], (374 ^ _36619) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _36619) ^ [_82421, _82423, _82425] : [-(collection(f_subcollectionofwithrelationtotypefn(_82425, _82423, _82421)))], (5500 ^ _36619) ^ [_101984, _101986] : [disjointwith(_101986, _101984), -(collection(_101984))], (112 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _36619) ^ [_75728] : [-(tptpquantity(f_tptpquantityfn_14(_75728)))], (5506 ^ _36619) ^ [_102059, _102061] : [disjointwith(_102061, _102059), -(collection(_102061))], (3786 ^ _36619) ^ [_80672] : [isa(_80672, c_tptpcol_9_92165), -(tptpcol_9_92165(_80672))], (4594 ^ _36619) ^ [_90664] : [isa(_90664, c_tptpcol_4_106497), -(tptpcol_4_106497(_90664))], (1982 ^ _36619) ^ [_58254] : [-(tptpquantity(f_tptpquantityfn_6(_58254)))], (336 ^ _36619) ^ [_40312] : [location_underspecified(_40312), -(thing(_40312))], (4160 ^ _36619) ^ [_85317] : [tptpcol_11_18631(_85317), -(isa(_85317, c_tptpcol_11_18631))], (752 ^ _36619) ^ [_44831] : [tptpcol_14_22072(_44831), -(tptpcol_13_22071(_44831))], (5158 ^ _36619) ^ [_97657, _97659, _97661] : [-(subsetof(_97661, _97657)), subsetof(_97661, _97659), subsetof(_97659, _97657)], (2106 ^ _36619) ^ [_59778] : [pushingwithopenhand(_59778), -(isa(_59778, c_pushingwithopenhand))], (2710 ^ _36619) ^ [_67228, _67230, _67232, _67234] : [-(thing(f_relationallexistsfn(_67234, _67232, _67230, _67228)))], (1708 ^ _36619) ^ [_55304] : [-(tptpofobject(_55304, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55304)], (454 ^ _36619) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _36619) ^ [_67841] : [isa(_67841, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_67841))], (2094 ^ _36619) ^ [_59632] : [tptpcol_16_4451(_59632), -(isa(_59632, c_tptpcol_16_4451))], (4894 ^ _36619) ^ [_94395] : [isa(_94395, c_tptpcol_11_22023), -(tptpcol_11_22023(_94395))], (2788 ^ _36619) ^ [_68206] : [tptpcol_15_72793(_68206), -(isa(_68206, c_tptpcol_15_72793))], (2896 ^ _36619) ^ [_69524] : [tptpcol_15_30970(_69524), -(isa(_69524, c_tptpcol_15_30970))], (1158 ^ _36619) ^ [_49235, _49237, _49239, _49241] : [-(isa(f_relationallexistsfn(_49241, _49237, _49239, _49235), _49235)), isa(_49241, _49239), relationallexists(_49237, _49239, _49235)], (3446 ^ _36619) ^ [_76482] : [isa(_76482, c_tptpcol_8_109059), -(tptpcol_8_109059(_76482))], (638 ^ _36619) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _36619) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _36619) ^ [_41438] : [setorcollection(_41438), -(mathematicalthing(_41438))], (1262 ^ _36619) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _36619) ^ [_74444] : [-(natargument(f_tptpquantityfn_21(_74444), n_1, _74444))], (234 ^ _36619) ^ [_39173, _39175] : [tptptypes_8_390(_39175, _39173), -(tptptypes_7_389(_39175, _39173))], (1246 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _36619) ^ [_91392, _91394] : [tptptypes_8_390(_91394, _91392), -(firstordercollection(_91394))], (3888 ^ _36619) ^ [_81925] : [correctivelensprescription(_81925), -(isa(_81925, c_correctivelensprescription))], (3620 ^ _36619) ^ [_78615] : [tptpcol_16_31868(_78615), -(isa(_78615, c_tptpcol_16_31868))], (3422 ^ _36619) ^ [_76190] : [isa(_76190, c_tptpcol_14_22072), -(tptpcol_14_22072(_76190))], (1616 ^ _36619) ^ [_54273, _54275] : [tptptypes_6_818(_54275, _54273), -(tptptypes_5_802(_54275, _54273))], (738 ^ _36619) ^ [_44683] : [tptpcol_14_40429(_44683), -(tptpcol_13_40421(_44683))], (4882 ^ _36619) ^ [_94249] : [isa(_94249, c_tptpcol_10_22022), -(tptpcol_10_22022(_94249))], (210 ^ _36619) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _36619) ^ [_44398] : [mathematicalthing(_44398), -(mathematicalorcomputationalthing(_44398))], (3054 ^ _36619) ^ [_71497, _71499] : [objectfoundinlocation(_71499, _71497), -(spatialthing_nonsituational(_71497))], (4350 ^ _36619) ^ [_87656] : [isa(_87656, c_tptpcol_12_92262), -(tptpcol_12_92262(_87656))], (1388 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _36619) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _36619) ^ [_53691] : [tptpcol_8_114177(_53691), -(tptpcol_7_113665(_53691))], (3476 ^ _36619) ^ [_76847] : [tptpcol_15_93775(_76847), -(isa(_76847, c_tptpcol_15_93775))], (5340 ^ _36619) ^ [_99984, _99986, _99988] : [-(isa(_99988, _99984)), isa(_99988, _99986), genls(_99986, _99984)], (896 ^ _36619) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _36619) ^ [_67987] : [isa(_67987, c_militaryperson), -(militaryperson(_67987))], (1880 ^ _36619) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _36619) ^ [_79409, _79411] : [tptp_8_875(_79411, _79409), -(tptpcol_4_24578(_79409))], (1424 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _36619) ^ [_64095] : [tptpcol_6_108546(_64095), -(isa(_64095, c_tptpcol_6_108546))], (1450 ^ _36619) ^ [_52427] : [tptpcol_11_93764(_52427), -(tptpcol_10_93700(_52427))], (1676 ^ _36619) ^ [_54944] : [tptpcol_16_26926(_54944), -(tptpcol_15_26925(_54944))], (2842 ^ _36619) ^ [_68867] : [isa(_68867, c_tptpcol_15_109185), -(tptpcol_15_109185(_68867))], (3332 ^ _36619) ^ [_75093] : [isa(_75093, c_tptpcol_7_113665), -(tptpcol_7_113665(_75093))], (3380 ^ _36619) ^ [_75677] : [-(natfunction(f_tptpquantityfn_14(_75677), c_tptpquantityfn_14))], (1760 ^ _36619) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _36619) ^ [_36673] : [intangible(_36673), partiallytangible(_36673)], (2088 ^ _36619) ^ [_59559] : [isa(_59559, c_tptpcol_16_4451), -(tptpcol_16_4451(_59559))], (4462 ^ _36619) ^ [_89046, _89048, _89050] : [relationallinstance(_89050, _89048, _89046), -(collection(_89048))], (966 ^ _36619) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _36619) ^ [_92862] : [tptpcol_9_18439(_92862), -(isa(_92862, c_tptpcol_9_18439))], (1010 ^ _36619) ^ [_47632] : [tptpcol_12_118116(_47632), -(tptpcol_11_118084(_47632))], (2670 ^ _36619) ^ [_66689] : [tptpcol_7_21508(_66689), -(isa(_66689, c_tptpcol_7_21508))], (918 ^ _36619) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _36619) ^ [_80161] : [aspatialinformationstore(_80161), -(isa(_80161, c_aspatialinformationstore))], (3928 ^ _36619) ^ [_82451] : [isa(_82451, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82451))], (2074 ^ _36619) ^ [_59390] : [affiliatedwith(_59390, _59390)], (2694 ^ _36619) ^ [_66981] : [state_geopolitical(_66981), -(isa(_66981, c_state_geopolitical))], (4990 ^ _36619) ^ [_95563] : [isa(_95563, c_tptpcol_9_22021), -(tptpcol_9_22021(_95563))], (4660 ^ _36619) ^ [_91542, _91544] : [tptptypes_8_692(_91544, _91542), -(firstordercollection(_91544))], (4942 ^ _36619) ^ [_94979] : [isa(_94979, c_ridgeline_topographical), -(ridgeline_topographical(_94979))], (1532 ^ _36619) ^ [_53335] : [tptpcol_6_112641(_53335), -(tptpcol_5_110593(_53335))], (260 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _36619) ^ [_87583] : [navypersonnel(_87583), -(isa(_87583, c_navypersonnel))], (2584 ^ _36619) ^ [_65623, _65625] : [-(natfunction(f_citynamedfn(_65625, _65623), c_citynamedfn))], (120 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _36619) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _36619) ^ [_44920] : [tptpcol_14_93774(_44920), -(tptpcol_13_93766(_44920))], (4732 ^ _36619) ^ [_92424] : [tptpcol_10_92166(_92424), -(isa(_92424, c_tptpcol_10_92166))], (1740 ^ _36619) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _36619) ^ [_71364, _71366, _71368] : [-(arg1isa(_71368, _71364)), arg1isa(_71368, _71366), genls(_71366, _71364)], (5392 ^ _36619) ^ [_100628] : [tptpcol_14_40429(_100628), -(isa(_100628, c_tptpcol_14_40429))], (3852 ^ _36619) ^ [_81479] : [tptpcol_12_26919(_81479), -(isa(_81479, c_tptpcol_12_26919))], (212 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _36619) ^ [_58351] : [tptpcol_16_26939(_58351), -(isa(_58351, c_tptpcol_16_26939))], (242 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _36619) ^ [_76555] : [tptpcol_8_109059(_76555), -(isa(_76555, c_tptpcol_8_109059))], (4912 ^ _36619) ^ [_94614] : [tptpcol_5_20483(_94614), -(isa(_94614, c_tptpcol_5_20483))], (1796 ^ _36619) ^ [_56228] : [geolevel_4(_56228), -(geographicalregion(_56228))], (5126 ^ _36619) ^ [_97241, _97243, _97245] : [-(most(_97245, _97241)), most(_97245, _97243), subsetof(_97243, _97241)], (722 ^ _36619) ^ [_44505] : [tptpcol_15_93775(_44505), -(tptpcol_14_93774(_44505))], (2196 ^ _36619) ^ [_60875] : [tptpcol_5_90114(_60875), -(isa(_60875, c_tptpcol_5_90114))], (1286 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _36619) ^ [_84587] : [tptpcol_5_106498(_84587), -(isa(_84587, c_tptpcol_5_106498))], (2566 ^ _36619) ^ [_65404] : [tptpcol_16_130924(_65404), -(isa(_65404, c_tptpcol_16_130924))], (1768 ^ _36619) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _36619) ^ [_66320, _66322] : [tptp_9_51(_66322, _66320), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66320))], (1632 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _36619) ^ [_88817, _88819] : [tptpofobject(_88819, _88817), -(tptpquantity(_88817))], (4426 ^ _36619) ^ [_88596] : [-(natfunction(f_tptpquantityfn_1(_88596), c_tptpquantityfn_1))], (4234 ^ _36619) ^ [_86243] : [tptpcol_14_92264(_86243), -(isa(_86243, c_tptpcol_14_92264))], (1656 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _36619) ^ [_68571, _68573] : [tptptypes_8_823(_68573, _68571), -(firstordercollection(_68571))], (1268 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _36619) ^ [_37962] : [tptpcol_11_22023(_37962), -(tptpcol_10_22022(_37962))], (4630 ^ _36619) ^ [_91167, _91169] : [tptptypes_7_389(_91169, _91167), -(firstordercollection(_91167))], (2866 ^ _36619) ^ [_69159] : [isa(_69159, c_tptpcol_12_118116), -(tptpcol_12_118116(_69159))], (1734 ^ _36619) ^ [_55587] : [tptpcol_0_0(_55587), -(individual(_55587))], (4196 ^ _36619) ^ [_85761, _85763] : [tptptypes_9_401(_85763, _85761), -(firstordercollection(_85763))], (5410 ^ _36619) ^ [_100847, _100849] : [genls(_100849, _100847), -(collection(_100847))], (3994 ^ _36619) ^ [_83256, _83258] : [hasmembers(_83258, _83256), -(organization(_83258))], (5262 ^ _36619) ^ [_98991, _98993, _98995] : [-(genlinverse(_98991, _98993)), genlinverse(_98995, _98993), genlpreds(_98991, _98995)], (2208 ^ _36619) ^ [_61023, _61025] : [tptptypes_5_802(_61025, _61023), -(firstordercollection(_61025))], (944 ^ _36619) ^ [_46917] : [tptpcol_8_26629(_46917), -(tptpcol_7_26628(_46917))], (1254 ^ _36619) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _36619) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _36619) ^ [_91017, _91019] : [resultisaarg(_91019, _91017), -(positiveinteger(_91017))], (4228 ^ _36619) ^ [_86170] : [isa(_86170, c_tptpcol_14_92264), -(tptpcol_14_92264(_86170))], (3602 ^ _36619) ^ [_78396] : [isa(_78396, c_tptpcol_9_118019), -(tptpcol_9_118019(_78396))], (1358 ^ _36619) ^ [_51416] : [tptpcol_2_65537(_51416), -(tptpcol_1_65536(_51416))], (2038 ^ _36619) ^ [_58935] : [tptpcol_15_4027(_58935), -(isa(_58935, c_tptpcol_15_4027))], (1958 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _36619) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _36619) ^ [_99657, _99659] : [-(microtheory(f_contentmtofcdafromeventfn(_99659, _99657)))], (424 ^ _36619) ^ [_41254, _41256] : [tptptypes_9_401(_41256, _41254), -(tptptypes_8_400(_41254, _41256))], (254 ^ _36619) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _36619) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _36619) ^ [_85463] : [tptpcol_12_18663(_85463), -(isa(_85463, c_tptpcol_12_18663))], (1482 ^ _36619) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _36619) ^ [_65185] : [isa(_65185, c_tptpcol_15_130923), -(tptpcol_15_130923(_65185))], (1840 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _36619) ^ [_51523] : [tptpcol_6_18436(_51523), -(tptpcol_5_16388(_51523))], (1434 ^ _36619) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _36619) ^ [_101692] : [isa(_101692, c_partiallytangible), -(partiallytangible(_101692))], (644 ^ _36619) ^ [_43649] : [-(tptp_9_720(_43649, f_relationallexistsfn(_43649, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_43649)], (12 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _36619) ^ [_55730] : [tptpcol_11_72774(_55730), -(tptpcol_10_72710(_55730))], (4204 ^ _36619) ^ [_85861] : [-(natargument(f_tptpquantityfn_13(_85861), n_1, _85861))], (172 ^ _36619) ^ [_38502] : [tptpcol_10_18567(_38502), -(tptpcol_9_18439(_38502))], (3970 ^ _36619) ^ [_82962] : [tptpcol_11_118084(_82962), -(isa(_82962, c_tptpcol_11_118084))], (1918 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _36619) ^ [_99834, _99836] : [isa(_99836, _99834), -(thing(_99836))], (3202 ^ _36619) ^ [_73398, _73400] : [no(_73400, _73398), -(no(_73398, _73400))], (996 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _36619) ^ [_101838] : [isa(_101838, c_intangible), -(intangible(_101838))], (270 ^ _36619) ^ [_39596] : [tptpcol_5_114690(_39596), -(tptpcol_4_114689(_39596))], (406 ^ _36619) ^ [_41060] : [-(tptpofobject(_41060, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41060)], (5216 ^ _36619) ^ [_98412, _98414] : [genlpreds(_98414, _98412), -(predicate(_98414))], (3578 ^ _36619) ^ [_78100, _78102] : [tptp_9_720(_78102, _78100), -(tptpcol_5_28674(_78100))], (1700 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _36619) ^ [_78761] : [movement_translationevent(_78761), -(isa(_78761, c_movement_translationevent))], (5404 ^ _36619) ^ [_100774] : [tptpcol_15_40430(_100774), -(isa(_100774, c_tptpcol_15_40430))], (1570 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _36619) ^ [_72095, _72097, _72099] : [-(objectfoundinlocation(_72099, _72095)), objectfoundinlocation(_72099, _72097), geographicallysubsumes(_72095, _72097)], (5244 ^ _36619) ^ [_98768] : [predicate(_98768), -(genlpreds(_98768, _98768))], (2124 ^ _36619) ^ [_59997] : [-(natfunction(f_tptpquantityfn_2(_59997), c_tptpquantityfn_2))], (2082 ^ _36619) ^ [_59486] : [footballteam(_59486), -(isa(_59486, c_footballteam))], (1440 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _36619) ^ [_88021] : [computerdataartifact(_88021), -(isa(_88021, c_computerdataartifact))], (4106 ^ _36619) ^ [_84660] : [isa(_84660, c_tptpcol_12_109157), -(tptpcol_12_109157(_84660))], (2992 ^ _36619) ^ [_70714] : [isa(_70714, c_tptpcol_8_26629), -(tptpcol_8_26629(_70714))], (1238 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _36619) ^ [_38591] : [orderingpredicate(_38591), -(transitivebinarypredicate(_38591))], (1466 ^ _36619) ^ [_52605] : [tptpcol_4_90113(_52605), -(tptpcol_3_81921(_52605))], (294 ^ _36619) ^ [_39863] : [tptpcol_10_40324(_39863), -(tptpcol_9_40196(_39863))], (4978 ^ _36619) ^ [_95417] : [isa(_95417, c_tptpcol_8_22020), -(tptpcol_8_22020(_95417))], (720 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _36619) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _36619) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _36619) ^ [_43165] : [microtheory(_43165), -(aspatialinformationstore(_43165))], (5042 ^ _36619) ^ [_96211] : [isa(_96211, c_tptpcol_12_40420), -(tptpcol_12_40420(_96211))], (3178 ^ _36619) ^ [_73102] : [isa(_73102, c_tptpcol_3_16386), -(tptpcol_3_16386(_73102))], (1144 ^ _36619) ^ [_49071] : [physicalorderingpredicate(_49071), -(orderingpredicate(_49071))], (796 ^ _36619) ^ [_45312] : [-(tptpofobject(_45312, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45312)], (2280 ^ _36619) ^ [_61901] : [tptpcol_11_72774(_61901), -(isa(_61901, c_tptpcol_11_72774))], (1848 ^ _36619) ^ [_56779] : [tptpcol_13_92263(_56779), -(tptpcol_12_92262(_56779))], (5090 ^ _36619) ^ [_96795, _96797] : [most(_96797, _96795), -(setorcollection(_96795))], (2542 ^ _36619) ^ [_65112] : [tptpcol_7_92163(_65112), -(isa(_65112, c_tptpcol_7_92163))], (952 ^ _36619) ^ [_47006] : [tptpcol_9_109060(_47006), -(tptpcol_8_109059(_47006))], (728 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _36619) ^ [_41948] : [tptpcol_1_65536(_41948), -(tptpcol_0_0(_41948))], (828 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _36619) ^ [_75239] : [isa(_75239, c_artifact), -(artifact(_75239))], (688 ^ _36619) ^ [_44137, _44139] : [tptptypes_8_400(_44139, _44137), -(tptptypes_7_396(_44139, _44137))], (2136 ^ _36619) ^ [_60145] : [tptpcol_7_39939(_60145), -(isa(_60145, c_tptpcol_7_39939))], (934 ^ _36619) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _36619) ^ [_74717] : [airport_physical(_74717), -(isa(_74717, c_airport_physical))], (4000 ^ _36619) ^ [_83331] : [isa(_83331, c_terrorist), -(terrorist(_83331))], (2968 ^ _36619) ^ [_70410, _70412, _70414] : [relationexistsall(_70414, _70412, _70410), -(collection(_70412))], (448 ^ _36619) ^ [_41527] : [tptpcol_13_109173(_41527), -(tptpcol_12_109157(_41527))], (3488 ^ _36619) ^ [_76993] : [tptpcol_16_8886(_76993), -(isa(_76993, c_tptpcol_16_8886))], (1210 ^ _36619) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _36619) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _36619) ^ [_61974] : [isa(_61974, c_tptpcol_12_72775), -(tptpcol_12_72775(_61974))], (66 ^ _36619) ^ [_37363] : [tptpcol_13_40421(_37363), -(tptpcol_12_40420(_37363))], (2610 ^ _36619) ^ [_65955] : [tptpcol_14_26921(_65955), -(isa(_65955, c_tptpcol_14_26921))], (1390 ^ _36619) ^ [_51760] : [tptpcol_8_117763(_51760), -(tptpcol_7_117762(_51760))], (538 ^ _36619) ^ [_42477, _42479] : [tptptypes_7_819(_42479, _42477), -(tptptypes_6_818(_42479, _42477))], (1042 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _36619) ^ [_102477, _102479] : [-(mtvisible(_102477)), mtvisible(_102479), genlmt(_102479, _102477)], (136 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _36619) ^ [_80599] : [tptpcol_8_92164(_80599), -(isa(_80599, c_tptpcol_8_92164))], (4924 ^ _36619) ^ [_94760] : [tptpcol_13_72791(_94760), -(isa(_94760, c_tptpcol_13_72791))], (4480 ^ _36619) ^ [_89277] : [tptpcol_13_93766(_89277), -(isa(_89277, c_tptpcol_13_93766))], (1186 ^ _36619) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _36619) ^ [_71962, _71964, _71966] : [-(objectfoundinlocation(_71966, _71962)), objectfoundinlocation(_71966, _71964), geopoliticalsubdivision(_71962, _71964)], (2658 ^ _36619) ^ [_66543] : [reflexivebinarypredicate(_66543), -(isa(_66543, c_reflexivebinarypredicate))], (898 ^ _36619) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _36619) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _36619) ^ [_90153] : [tptpcol_12_93765(_90153), -(isa(_90153, c_tptpcol_12_93765))], (1726 ^ _36619) ^ [_55498] : [tptpcol_15_22076(_55498), -(tptpcol_14_22072(_55498))], (2238 ^ _36619) ^ [_61390] : [isa(_61390, c_tptpcol_15_50957), -(tptpcol_15_50957(_61390))], (2008 ^ _36619) ^ [_58570] : [isa(_58570, c_tptpcol_13_92263), -(tptpcol_13_92263(_58570))], (4858 ^ _36619) ^ [_93957] : [isa(_93957, c_individual), -(individual(_93957))], (2530 ^ _36619) ^ [_64966] : [tptpcol_16_130933(_64966), -(isa(_64966, c_tptpcol_16_130933))], (2322 ^ _36619) ^ [_62412, _62414] : [tptp_8_271(_62414, _62412), -(razor(_62412))], (1808 ^ _36619) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _36619) ^ [_84368] : [isa(_84368, c_tptpcol_5_24579), -(tptpcol_5_24579(_84368))], (3912 ^ _36619) ^ [_82221] : [issuingaprescription(_82221), -(isa(_82221, c_issuingaprescription))], (2518 ^ _36619) ^ [_64820] : [tptpcol_15_130931(_64820), -(isa(_64820, c_tptpcol_15_130931))], (3768 ^ _36619) ^ [_80453] : [fixedordercollection(_80453), -(isa(_80453, c_fixedordercollection))], (5194 ^ _36619) ^ [_98129, _98131, _98133] : [-(subsetof(_98133, _98129)), subsetof(_98133, _98131), subsetof(_98131, _98129)], (208 ^ _36619) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _36619) ^ [_92716] : [orderingpredicate(_92716), -(isa(_92716, c_orderingpredicate))], (2490 ^ _36619) ^ [_64464, _64466] : [few(_64466, _64464), -(setorcollection(_64466))], (2962 ^ _36619) ^ [_70331, _70333, _70335] : [relationexistsall(_70335, _70333, _70331), -(collection(_70331))], (50 ^ _36619) ^ [_37179, _37181] : [subsetof(_37181, _37179), -(most(_37181, _37179))], (1846 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _36619) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _36619) ^ [_83634] : [isa(_83634, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83634))], (4606 ^ _36619) ^ [_90810, _90812, _90814, _90816] : [-(natfunction(f_relationexistsallfn(_90816, _90814, _90812, _90810), c_relationexistsallfn))], (902 ^ _36619) ^ [_46450, _46452] : [genls(_46452, _46450), -(collection(_46452))], (1076 ^ _36619) ^ [_48343] : [tptpcol_10_26886(_48343), -(tptpcol_9_26885(_48343))], (114 ^ _36619) ^ [_37873] : [tptpcol_5_20483(_37873), -(tptpcol_4_16387(_37873))], (3708 ^ _36619) ^ [_79717, _79719, _79721] : [relationallexists(_79721, _79719, _79717), -(binarypredicate(_79721))], (3134 ^ _36619) ^ [_72538, _72540, _72542] : [-(natargument(f_subcollectionofwithrelationtofn(_72542, _72540, _72538), n_1, _72542))], (4052 ^ _36619) ^ [_84003] : [tptpcol_0_0(_84003), -(isa(_84003, c_tptpcol_0_0))], (4608 ^ _36619) ^ [_90844, _90846, _90848, _90850] : [-(natargument(f_relationexistsallfn(_90850, _90848, _90846, _90844), n_1, _90850))], (2100 ^ _36619) ^ [_59705] : [isa(_59705, c_pushingwithopenhand), -(pushingwithopenhand(_59705))], (926 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _36619) ^ [_57052] : [tptpcol_15_26925(_57052), -(tptpcol_14_26921(_57052))], (4014 ^ _36619) ^ [_83508, _83510, _83512] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83512, _83510, _83508), n_1, _83512))], (416 ^ _36619) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _36619) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _36619) ^ [_95709] : [isa(_95709, c_transitivebinarypredicate), -(transitivebinarypredicate(_95709))], (3678 ^ _36619) ^ [_79336] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79336), -(isa(_79336, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _36619) ^ [_38680] : [tptpcol_11_92230(_38680), -(tptpcol_10_92166(_38680))], (3020 ^ _36619) ^ [_71057] : [-(microtheory(f_contextofpcwfn(_71057)))], (4636 ^ _36619) ^ [_91242, _91244] : [tptptypes_7_389(_91244, _91242), -(firstordercollection(_91244))], (1068 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _36619) ^ [_37028, _37030, _37032] : [-(genlpreds(_37032, _37028)), genlinverse(_37032, _37030), genlinverse(_37030, _37028)], (750 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _36619) ^ [_45223] : [tptpcol_9_72709(_45223), -(tptpcol_8_72708(_45223))], (660 ^ _36619) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _36619) ^ [_66101] : [tptpcol_3_65538(_66101), -(isa(_66101, c_tptpcol_3_65538))], (1312 ^ _36619) ^ [_50929] : [tptpcol_6_20484(_50929), -(tptpcol_5_20483(_50929))], (2682 ^ _36619) ^ [_66835] : [hpkb_subnationalagent(_66835), -(isa(_66835, c_hpkb_subnationalagent))], (4906 ^ _36619) ^ [_94541] : [isa(_94541, c_tptpcol_5_20483), -(tptpcol_5_20483(_94541))], (5306 ^ _36619) ^ [_99547] : [-(computerdataartifact(f_urlreferentfn(_99547)))], (2424 ^ _36619) ^ [_63657] : [tptpcol_6_18436(_63657), -(isa(_63657, c_tptpcol_6_18436))], (318 ^ _36619) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _36619) ^ [_67054, _67056, _67058, _67060] : [-(natfunction(f_relationallexistsfn(_67060, _67058, _67056, _67054), c_relationallexistsfn))], (3022 ^ _36619) ^ [_71081, _71083] : [arg1isa(_71083, _71081), -(collection(_71081))], (2370 ^ _36619) ^ [_63000] : [isa(_63000, c_aspatialthing), -(aspatialthing(_63000))], (668 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _36619) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _36619) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _36619) ^ [_77881] : [tptpcol_12_22055(_77881), -(isa(_77881, c_tptpcol_12_22055))], (3428 ^ _36619) ^ [_76263] : [tptpcol_14_22072(_76263), -(isa(_76263, c_tptpcol_14_22072))], (4600 ^ _36619) ^ [_90737] : [tptpcol_4_106497(_90737), -(isa(_90737, c_tptpcol_4_106497))], (1514 ^ _36619) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _36619) ^ [_83707] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83707), -(isa(_83707, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _36619) ^ [_89715] : [tptpcol_7_72707(_89715), -(isa(_89715, c_tptpcol_7_72707))], (5512 ^ _36619) ^ [_102134, _102136] : [disjointwith(_102136, _102134), -(disjointwith(_102134, _102136))], (3732 ^ _36619) ^ [_80015] : [pushingababycarriage(_80015), -(isa(_80015, c_pushingababycarriage))], (4666 ^ _36619) ^ [_91617, _91619] : [tptptypes_9_693(_91619, _91617), -(firstordercollection(_91617))], (2442 ^ _36619) ^ [_63876] : [isa(_63876, c_tptpcol_11_109125), -(tptpcol_11_109125(_63876))], (1366 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _36619) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _36619) ^ [_50168] : [tptpcol_14_26921(_50168), -(tptpcol_13_26920(_50168))], (998 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _36619) ^ [_95198] : [tptpcol_4_16387(_95198), -(isa(_95198, c_tptpcol_4_16387))], (4220 ^ _36619) ^ [_86061, _86063] : [borderson(_86063, _86061), -(borderson(_86061, _86063))], (3136 ^ _36619) ^ [_72570, _72572, _72574] : [-(natargument(f_subcollectionofwithrelationtofn(_72574, _72572, _72570), n_2, _72572))], (866 ^ _36619) ^ [_46052] : [geographicalregion(_46052), -(partiallytangible(_46052))], (3720 ^ _36619) ^ [_79869] : [tptpcol_16_10258(_79869), -(isa(_79869, c_tptpcol_16_10258))], (4430 ^ _36619) ^ [_88647] : [-(tptpquantity(f_tptpquantityfn_1(_88647)))], (2920 ^ _36619) ^ [_69816] : [tptpcol_14_109181(_69816), -(isa(_69816, c_tptpcol_14_109181))], (362 ^ _36619) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _36619) ^ [_67750] : [geolevel_1(_67750), -(isa(_67750, c_geolevel_1))], (2652 ^ _36619) ^ [_66470] : [isa(_66470, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66470))], (1624 ^ _36619) ^ [_54368] : [tptpcol_6_92162(_54368), -(tptpcol_5_90114(_54368))], (1116 ^ _36619) ^ [_48776] : [enduringthing_localized(_48776), -(spatialthing_nonsituational(_48776))], (916 ^ _36619) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _36619) ^ [_37636] : [tptpcol_5_16388(_37636), -(tptpcol_4_16387(_37636))], (2676 ^ _36619) ^ [_66762] : [isa(_66762, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_66762))], (2364 ^ _36619) ^ [_62927] : [tptpcol_9_93699(_62927), -(isa(_62927, c_tptpcol_9_93699))], (972 ^ _36619) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _36619) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _36619) ^ [_99275] : [isa(_99275, c_microtheory), -(microtheory(_99275))], (502 ^ _36619) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _36619) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _36619) ^ [_62047] : [tptpcol_12_72775(_62047), -(isa(_62047, c_tptpcol_12_72775))], (5374 ^ _36619) ^ [_100409] : [isa(_100409, c_tptpcol_10_72710), -(tptpcol_10_72710(_100409))], (3762 ^ _36619) ^ [_80380] : [isa(_80380, c_fixedordercollection), -(fixedordercollection(_80380))], (2586 ^ _36619) ^ [_65651, _65653] : [-(natargument(f_citynamedfn(_65653, _65651), n_1, _65653))], (710 ^ _36619) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _36619) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _36619) ^ [_60583] : [tptpcol_16_26926(_60583), -(isa(_60583, c_tptpcol_16_26926))], (4762 ^ _36619) ^ [_92789] : [isa(_92789, c_tptpcol_9_18439), -(tptpcol_9_18439(_92789))], (574 ^ _36619) ^ [_42881] : [tptpcol_9_92165(_42881), -(tptpcol_8_92164(_42881))], (1028 ^ _36619) ^ [_47828, _47830] : [most(_47830, _47828), -(setorcollection(_47830))], (702 ^ _36619) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _36619) ^ [_69670] : [tptpcol_16_30972(_69670), -(isa(_69670, c_tptpcol_16_30972))], (1074 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _36619) ^ [_50780, _50782] : [no(_50782, _50780), -(few(_50782, _50780))], (982 ^ _36619) ^ [_47329] : [tptpcol_14_109181(_47329), -(tptpcol_13_109173(_47329))], (5174 ^ _36619) ^ [_97863, _97865, _97867] : [-(subsetof(_97863, _97865)), subsetof(_97867, _97865), subsetof(_97863, _97867)], (2628 ^ _36619) ^ [_66174] : [isa(_66174, c_tptpcol_16_27189), -(tptpcol_16_27189(_66174))], (2232 ^ _36619) ^ [_61317] : [tptpcol_8_114177(_61317), -(isa(_61317, c_tptpcol_8_114177))], (4324 ^ _36619) ^ [_87346] : [isa(_87346, c_executionbyfiringsquad), -(executionbyfiringsquad(_87346))], (3542 ^ _36619) ^ [_77658, _77660] : [tptptypes_7_396(_77660, _77658), -(firstordercollection(_77658))], (486 ^ _36619) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _36619) ^ [_57543] : [tptpcol_13_72791(_57543), -(tptpcol_12_72775(_57543))], (4064 ^ _36619) ^ [_84149] : [geolevel_3(_84149), -(isa(_84149, c_geolevel_3))], (2250 ^ _36619) ^ [_61536] : [isa(_61536, c_tptpcol_16_50958), -(tptpcol_16_50958(_61536))], (1062 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _36619) ^ [_62781] : [tptpcol_10_93700(_62781), -(isa(_62781, c_tptpcol_10_93700))], (4020 ^ _36619) ^ [_83604, _83606, _83608] : [-(collection(f_subcollectionofwithrelationfromtypefn(_83608, _83606, _83604)))], (80 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _36619) ^ [_96005, _96007, _96009] : [-(geographicalsubregions(_96009, _96005)), geographicalsubregions(_96009, _96007), geographicalsubregions(_96007, _96005)], (4252 ^ _36619) ^ [_86462] : [isa(_86462, c_tptpcol_6_116738), -(tptpcol_6_116738(_86462))], (3190 ^ _36619) ^ [_73248, _73250] : [no(_73250, _73248), -(setorcollection(_73248))], (758 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _36619) ^ [_80088] : [isa(_80088, c_aspatialinformationstore), -(aspatialinformationstore(_80088))], (3918 ^ _36619) ^ [_82294, _82296, _82298] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82298, _82296, _82294), c_subcollectionofwithrelationtotypefn))], (794 ^ _36619) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _36619) ^ [_90591] : [tptpcol_3_98305(_90591), -(isa(_90591, c_tptpcol_3_98305))], (2358 ^ _36619) ^ [_62854] : [isa(_62854, c_tptpcol_9_93699), -(tptpcol_9_93699(_62854))], (5466 ^ _36619) ^ [_101559, _101561, _101563] : [-(genls(_101563, _101559)), genls(_101563, _101561), genls(_101561, _101559)], (5272 ^ _36619) ^ [_99124, _99126, _99128] : [-(genlinverse(_99128, _99124)), genlinverse(_99128, _99126), genlpreds(_99126, _99124)], (1018 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _36619) ^ [_51867] : [tptpcol_12_109157(_51867), -(tptpcol_11_109125(_51867))], (98 ^ _36619) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _36619) ^ [_40639] : [tptpcol_10_109061(_40639), -(tptpcol_9_109060(_40639))], (1232 ^ _36619) ^ [_50079] : [tptpcol_3_65538(_50079), -(tptpcol_2_65537(_50079))], (2226 ^ _36619) ^ [_61244] : [isa(_61244, c_tptpcol_8_114177), -(tptpcol_8_114177(_61244))], (2346 ^ _36619) ^ [_62708] : [isa(_62708, c_tptpcol_10_93700), -(tptpcol_10_93700(_62708))], (5588 ^ _36619) ^ [_103108] : [microtheory(_103108), -(genlmt(_103108, _103108))], (148 ^ _36619) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _36619) ^ [_79117] : [isa(_79117, c_unitvectorinterval), -(unitvectorinterval(_79117))], (1114 ^ _36619) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _36619) ^ [_99348] : [microtheory(_99348), -(isa(_99348, c_microtheory))], (2634 ^ _36619) ^ [_66247] : [tptpcol_16_27189(_66247), -(isa(_66247, c_tptpcol_16_27189))], (1816 ^ _36619) ^ [_56435] : [tptpcol_13_26920(_56435), -(tptpcol_12_26919(_56435))], (4264 ^ _36619) ^ [_86608, _86610] : [tptptypes_5_387(_86610, _86608), -(firstordercollection(_86608))], (4142 ^ _36619) ^ [_85098] : [isa(_85098, c_setorcollection), -(setorcollection(_85098))], (2512 ^ _36619) ^ [_64747] : [isa(_64747, c_tptpcol_15_130931), -(tptpcol_15_130931(_64747))], (4534 ^ _36619) ^ [_89934] : [isa(_89934, c_tptpcol_11_93764), -(tptpcol_11_93764(_89934))], (806 ^ _36619) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _36619) ^ [_76117] : [tptpcol_13_22071(_76117), -(isa(_76117, c_tptpcol_13_22071))], (4834 ^ _36619) ^ [_93665] : [isa(_93665, c_location_underspecified), -(location_underspecified(_93665))], (3286 ^ _36619) ^ [_74494, _74496] : [airporthasiatacode(_74496, _74494), -(stringoflengthfn3(_74494))], (4616 ^ _36619) ^ [_90984, _90986, _90988, _90990] : [-(thing(f_relationexistsallfn(_90990, _90988, _90986, _90984)))], (3228 ^ _36619) ^ [_73741, _73743, _73745] : [-(no(_73741, _73743)), no(_73745, _73743), genls(_73741, _73745)], (4288 ^ _36619) ^ [_86908] : [isa(_86908, c_shavingrazor_manual), -(shavingrazor_manual(_86908))], (1098 ^ _36619) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _36619) ^ [_80891] : [tptpcol_1_1(_80891), -(isa(_80891, c_tptpcol_1_1))], (3320 ^ _36619) ^ [_74947] : [isa(_74947, c_tptpcol_6_112641), -(tptpcol_6_112641(_74947))], (1744 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _36619) ^ [_74419] : [-(natfunction(f_tptpquantityfn_21(_74419), c_tptpquantityfn_21))], (820 ^ _36619) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _36619) ^ [_45904] : [tptpcol_7_113665(_45904), -(tptpcol_6_112641(_45904))], (1278 ^ _36619) ^ [_50566] : [tptpcol_7_92163(_50566), -(tptpcol_6_92162(_50566))], (1674 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _36619) ^ [_57703] : [-(tptpofobject(_57703, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_57703)], (2744 ^ _36619) ^ [_67677] : [isa(_67677, c_geolevel_1), -(geolevel_1(_67677))], (2860 ^ _36619) ^ [_69086] : [tptpcol_6_26627(_69086), -(isa(_69086, c_tptpcol_6_26627))], (4522 ^ _36619) ^ [_89788] : [isa(_89788, c_tptpcol_8_72708), -(tptpcol_8_72708(_89788))], (378 ^ _36619) ^ [_40746, _40748] : [tptptypes_6_388(_40748, _40746), -(tptptypes_5_387(_40748, _40746))], (4432 ^ _36619) ^ [_88671] : [isa(_88671, c_furpelt), -(furpelt(_88671))], (4720 ^ _36619) ^ [_92278] : [tptpcol_2_98304(_92278), -(isa(_92278, c_tptpcol_2_98304))], (3690 ^ _36619) ^ [_79484, _79486] : [tptp_8_875(_79486, _79484), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79486))], (4240 ^ _36619) ^ [_86316] : [isa(_86316, c_tptpcol_15_92268), -(tptpcol_15_92268(_86316))], (4708 ^ _36619) ^ [_92132] : [tptpcol_1_65536(_92132), -(isa(_92132, c_tptpcol_1_65536))], (2112 ^ _36619) ^ [_59851] : [isa(_59851, c_tptpcol_15_22076), -(tptpcol_15_22076(_59851))], (2664 ^ _36619) ^ [_66616] : [isa(_66616, c_tptpcol_7_21508), -(tptpcol_7_21508(_66616))], (150 ^ _36619) ^ [_38265] : [partiallytangible(_38265), -(enduringthing_localized(_38265))], (2718 ^ _36619) ^ [_67336, _67338] : [arg2isa(_67338, _67336), -(relation(_67338))], (768 ^ _36619) ^ [_45009] : [tptpcol_10_22022(_45009), -(tptpcol_9_22021(_45009))], (3374 ^ _36619) ^ [_75604] : [firstordercollection(_75604), -(isa(_75604, c_firstordercollection))], (2056 ^ _36619) ^ [_59154, _59156] : [affiliatedwith(_59156, _59154), -(agent_generic(_59154))], (4918 ^ _36619) ^ [_94687] : [isa(_94687, c_tptpcol_13_72791), -(tptpcol_13_72791(_94687))], (1142 ^ _36619) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _36619) ^ [_76920] : [isa(_76920, c_tptpcol_16_8886), -(tptpcol_16_8886(_76920))], (2572 ^ _36619) ^ [_65477] : [isa(_65477, c_intangibleindividual), -(intangibleindividual(_65477))], (4404 ^ _36619) ^ [_88315, _88317] : [inregion(_88317, _88315), -(spatialthing_nonsituational(_88317))], (5136 ^ _36619) ^ [_97374, _97376, _97378] : [-(most(_97378, _97374)), most(_97378, _97376), subsetof(_97376, _97374)], (2938 ^ _36619) ^ [_70035] : [isa(_70035, c_tptpcol_16_7738), -(tptpcol_16_7738(_70035))], (344 ^ _36619) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _36619) ^ [_42209] : [tptpcol_11_118084(_42209), -(tptpcol_10_118020(_42209))], (5014 ^ _36619) ^ [_95855, _95857] : [geographicalsubregions(_95857, _95855), -(geographicalregion(_95855))], (1294 ^ _36619) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _36619) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _36619) ^ [_97790] : [setorcollection(_97790), -(subsetof(_97790, _97790))], (1766 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _36619) ^ [_39507] : [tptpcol_4_106497(_39507), -(tptpcol_3_98305(_39507))], (360 ^ _36619) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _36619) ^ [_101280] : [collection(_101280), -(genls(_101280, _101280))], (3870 ^ _36619) ^ [_81702, _81704] : [tptptypes_7_819(_81704, _81702), -(firstordercollection(_81702))], (78 ^ _36619) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _36619) ^ [_72810] : [isa(_72810, c_tptpcol_4_65539), -(tptpcol_4_65539(_72810))], (5494 ^ _36619) ^ [_101911] : [intangible(_101911), -(isa(_101911, c_intangible))], (4678 ^ _36619) ^ [_91767] : [isa(_91767, c_tptpcol_11_40388), -(tptpcol_11_40388(_91767))], (4876 ^ _36619) ^ [_94176] : [partiallyintangibleindividual(_94176), -(isa(_94176, c_partiallyintangibleindividual))], (2478 ^ _36619) ^ [_64314, _64316] : [few(_64316, _64314), -(setorcollection(_64314))], (2026 ^ _36619) ^ [_58789] : [geolevel_4(_58789), -(isa(_58789, c_geolevel_4))], (3382 ^ _36619) ^ [_75702] : [-(natargument(f_tptpquantityfn_14(_75702), n_1, _75702))], (2166 ^ _36619) ^ [_60510] : [isa(_60510, c_tptpcol_16_26926), -(tptpcol_16_26926(_60510))], (5222 ^ _36619) ^ [_98487, _98489] : [genlpreds(_98489, _98487), -(predicate(_98489))], (342 ^ _36619) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _36619) ^ [_72664] : [isa(_72664, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72664))], (4094 ^ _36619) ^ [_84514] : [isa(_84514, c_tptpcol_5_106498), -(tptpcol_5_106498(_84514))], (3060 ^ _36619) ^ [_71572, _71574] : [objectfoundinlocation(_71574, _71572), -(spatialthing_localized(_71572))], (3834 ^ _36619) ^ [_81260] : [isa(_81260, c_tptpcol_11_26887), -(tptpcol_11_26887(_81260))], (1364 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _36619) ^ [_99421] : [-(natfunction(f_urlfn(_99421), c_urlfn))], (2184 ^ _36619) ^ [_60729] : [tptpcol_13_118117(_60729), -(isa(_60729, c_tptpcol_13_118117))], (654 ^ _36619) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _36619) ^ [_102752, _102754] : [genlmt(_102754, _102752), -(microtheory(_102754))], (2734 ^ _36619) ^ [_67544, _67546, _67548] : [-(arg2isa(_67548, _67544)), arg2isa(_67548, _67546), genls(_67546, _67544)], (3464 ^ _36619) ^ [_76701] : [tptpcol_14_93774(_76701), -(isa(_76701, c_tptpcol_14_93774))], (2130 ^ _36619) ^ [_60072] : [isa(_60072, c_tptpcol_7_39939), -(tptpcol_7_39939(_60072))], (3750 ^ _36619) ^ [_80234] : [isa(_80234, c_collection), -(collection(_80234))], (4202 ^ _36619) ^ [_85836] : [-(natfunction(f_tptpquantityfn_13(_85836), c_tptpquantityfn_13))], (1230 ^ _36619) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _36619) ^ [_91692, _91694] : [tptptypes_9_693(_91694, _91692), -(firstordercollection(_91694))], (3350 ^ _36619) ^ [_75312] : [artifact(_75312), -(isa(_75312, c_artifact))], (5152 ^ _36619) ^ [_97582, _97584] : [subsetof(_97584, _97582), -(setorcollection(_97584))], (1252 ^ _36619) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _36619) ^ [_70108] : [tptpcol_16_7738(_70108), -(isa(_70108, c_tptpcol_16_7738))], (5036 ^ _36619) ^ [_96138] : [geographicalregion(_96138), -(geographicalsubregions(_96138, _96138))], (1050 ^ _36619) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _36619) ^ [_53056] : [tptpcol_9_118019(_53056), -(tptpcol_8_117763(_53056))], (1950 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _36619) ^ [_55144] : [tptpcol_4_65539(_55144), -(tptpcol_3_65538(_55144))], (5368 ^ _36619) ^ [_100336] : [tptpcol_9_72709(_100336), -(isa(_100336, c_tptpcol_9_72709))], (1326 ^ _36619) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _36619) ^ [_72883] : [tptpcol_4_65539(_72883), -(isa(_72883, c_tptpcol_4_65539))], (3894 ^ _36619) ^ [_81998, _82000] : [products(_82000, _81998), -(artifact(_81998))], (3530 ^ _36619) ^ [_77508, _77510] : [tptptypes_9_824(_77510, _77508), -(firstordercollection(_77508))], (4420 ^ _36619) ^ [_88523] : [spatialthing_nonsituational(_88523), -(inregion(_88523, _88523))], (570 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _36619) ^ [_67088, _67090, _67092, _67094] : [-(natargument(f_relationallexistsfn(_67094, _67092, _67090, _67088), n_1, _67094))], (5054 ^ _36619) ^ [_96357] : [isa(_96357, c_tptpcol_13_40421), -(tptpcol_13_40421(_96357))], (2388 ^ _36619) ^ [_63219] : [tptpcol_7_117762(_63219), -(isa(_63219, c_tptpcol_7_117762))], (2454 ^ _36619) ^ [_64022] : [isa(_64022, c_tptpcol_6_108546), -(tptpcol_6_108546(_64022))], (3976 ^ _36619) ^ [_83035] : [isa(_83035, c_terroristgroup), -(terroristgroup(_83035))], (880 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _36619) ^ [_50673] : [tptpcol_16_130933(_50673), -(tptpcol_15_130931(_50673))], (1020 ^ _36619) ^ [_47739] : [tptpcol_7_26628(_47739), -(tptpcol_6_26627(_47739))], (2998 ^ _36619) ^ [_70787] : [tptpcol_8_26629(_70787), -(isa(_70787, c_tptpcol_8_26629))], (1306 ^ _36619) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _36619) ^ [_72956] : [isa(_72956, c_tptpcol_5_69635), -(tptpcol_5_69635(_72956))], (3172 ^ _36619) ^ [_73029] : [tptpcol_5_69635(_73029), -(isa(_73029, c_tptpcol_5_69635))], (4846 ^ _36619) ^ [_93811] : [isa(_93811, c_trajector_underspecified), -(trajector_underspecified(_93811))], (4136 ^ _36619) ^ [_85025] : [mathematicalthing(_85025), -(isa(_85025, c_mathematicalthing))], (3846 ^ _36619) ^ [_81406] : [isa(_81406, c_tptpcol_12_26919), -(tptpcol_12_26919(_81406))], (1406 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _36619) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _36619) ^ [_80307] : [collection(_80307), -(isa(_80307, c_collection))], (4124 ^ _36619) ^ [_84879] : [tptpcol_13_109173(_84879), -(isa(_84879, c_tptpcol_13_109173))], (4738 ^ _36619) ^ [_92497] : [isa(_92497, c_tptpcol_11_92230), -(tptpcol_11_92230(_92497))], (1106 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _36619) ^ [_62193] : [tptpcol_5_110593(_62193), -(isa(_62193, c_tptpcol_5_110593))], (2220 ^ _36619) ^ [_61171] : [tptpcol_16_72795(_61171), -(isa(_61171, c_tptpcol_16_72795))], (5350 ^ _36619) ^ [_100117] : [isa(_100117, c_inanimateobject), -(inanimateobject(_100117))], (1136 ^ _36619) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _36619) ^ [_99759, _99761] : [isa(_99761, _99759), -(collection(_99759))], (1642 ^ _36619) ^ [_54564] : [tptpcol_13_118117(_54564), -(tptpcol_12_118116(_54564))], (4498 ^ _36619) ^ [_89496] : [isa(_89496, c_tptpcol_10_40324), -(tptpcol_10_40324(_89496))], (1192 ^ _36619) ^ [_49633] : [-(hpkb_subnationalagent(_49633)), mtvisible(c_hpkbvocabmt), state_geopolitical(_49633)], (1902 ^ _36619) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _36619) ^ [_82148] : [isa(_82148, c_issuingaprescription), -(issuingaprescription(_82148))], (5204 ^ _36619) ^ [_98262, _98264] : [genlpreds(_98264, _98262), -(predicate(_98262))], (1426 ^ _36619) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _36619) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _36619) ^ [_51202] : [tptpcol_11_109125(_51202), -(tptpcol_10_109061(_51202))], (56 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _36619) ^ [_39685] : [tptpcol_12_93765(_39685), -(tptpcol_11_93764(_39685))], (3696 ^ _36619) ^ [_79559, _79561, _79563] : [relationallexists(_79563, _79561, _79559), -(collection(_79559))], (4690 ^ _36619) ^ [_91913] : [isa(_91913, c_marriagelicensedocument), -(marriagelicensedocument(_91913))], (1092 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _36619) ^ [_99571, _99573] : [-(natfunction(f_contentmtofcdafromeventfn(_99573, _99571), c_contentmtofcdafromeventfn))], (4540 ^ _36619) ^ [_90007] : [tptpcol_11_93764(_90007), -(isa(_90007, c_tptpcol_11_93764))], (1912 ^ _36619) ^ [_57454] : [tptpcol_5_110593(_57454), -(tptpcol_4_106497(_57454))], (5312 ^ _36619) ^ [_99628, _99630] : [-(natargument(f_contentmtofcdafromeventfn(_99630, _99628), n_2, _99628))], (4368 ^ _36619) ^ [_87875] : [thing(_87875), -(isa(_87875, c_thing))], (1596 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _36619) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _36619) ^ [_49766] : [tptpcol_8_22020(_49766), -(tptpcol_7_21508(_49766))], (3900 ^ _36619) ^ [_82073, _82075] : [products(_82075, _82073), -(creationordestructionevent(_82075))], (5362 ^ _36619) ^ [_100263] : [isa(_100263, c_tptpcol_9_72709), -(tptpcol_9_72709(_100263))], (2926 ^ _36619) ^ [_69889] : [isa(_69889, c_physicalorderingpredicate), -(physicalorderingpredicate(_69889))], (4088 ^ _36619) ^ [_84441] : [tptpcol_5_24579(_84441), -(isa(_84441, c_tptpcol_5_24579))], (2872 ^ _36619) ^ [_69232] : [tptpcol_12_118116(_69232), -(isa(_69232, c_tptpcol_12_118116))], (3774 ^ _36619) ^ [_80526] : [isa(_80526, c_tptpcol_8_92164), -(tptpcol_8_92164(_80526))], (3940 ^ _36619) ^ [_82597] : [isa(_82597, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_82597))], (3248 ^ _36619) ^ [_74007, _74009, _74011] : [-(no(_74007, _74009)), no(_74011, _74009), subsetof(_74007, _74011)], (3922 ^ _36619) ^ [_82357, _82359, _82361] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82361, _82359, _82357), n_2, _82359))], (1996 ^ _36619) ^ [_58424] : [isa(_58424, c_tptpcol_16_62187), -(tptpcol_16_62187(_58424))], (4510 ^ _36619) ^ [_89642] : [isa(_89642, c_tptpcol_7_72707), -(tptpcol_7_72707(_89642))], (1904 ^ _36619) ^ [_57366] : [tptpcol_3_98305(_57366), tptpcol_3_114688(_57366)], (2148 ^ _36619) ^ [_60291] : [tptpcol_8_39940(_60291), -(isa(_60291, c_tptpcol_8_39940))], (988 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _36619) ^ [_64241] : [tptpcol_6_20484(_64241), -(isa(_64241, c_tptpcol_6_20484))], (1396 ^ _36619) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _36619) ^ [_90299] : [tptpcol_4_114689(_90299), -(isa(_90299, c_tptpcol_4_114689))], (178 ^ _36619) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _36619) ^ [_67158, _67160, _67162, _67164] : [-(natargument(f_relationallexistsfn(_67164, _67162, _67160, _67158), n_3, _67160))], (3356 ^ _36619) ^ [_75385] : [isa(_75385, c_tptpcol_13_18664), -(tptpcol_13_18664(_75385))], (5060 ^ _36619) ^ [_96430] : [tptpcol_13_40421(_96430), -(isa(_96430, c_tptpcol_13_40421))], (782 ^ _36619) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _36619) ^ [_86981] : [shavingrazor_manual(_86981), -(isa(_86981, c_shavingrazor_manual))], (1310 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _36619) ^ [_74790, _74792, _74794] : [-(natfunction(f_instancewithrelationtofn(_74794, _74792, _74790), c_instancewithrelationtofn))], (814 ^ _36619) ^ [_45506] : [firstordercollection(_45506), -(fixedordercollection(_45506))], (1586 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _36619) ^ [_98695] : [predicate(_98695), -(genlpreds(_98695, _98695))], (564 ^ _36619) ^ [_42774] : [tptpcol_2_2(_42774), -(tptpcol_1_1(_42774))], (1684 ^ _36619) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _36619) ^ [_42590] : [tptpcol_12_26919(_42590), -(tptpcol_11_26887(_42590))], (2126 ^ _36619) ^ [_60022] : [-(natargument(f_tptpquantityfn_2(_60022), n_1, _60022))], (244 ^ _36619) ^ [_39286, _39288, _39290, _39292] : [-(isa(f_relationexistsallfn(_39292, _39288, _39286, _39290), _39286)), isa(_39292, _39290), relationexistsall(_39288, _39286, _39290)], (1604 ^ _36619) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _36619) ^ [_51309] : [tptpcol_8_93698(_51309), -(tptpcol_7_93186(_51309))], (1172 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _36619) ^ [_97168] : [setorcollection(_97168), -(most(_97168, _97168))], (3726 ^ _36619) ^ [_79942] : [isa(_79942, c_pushingababycarriage), -(pushingababycarriage(_79942))], (4034 ^ _36619) ^ [_83780, _83782] : [prettystring(_83782, _83780), -(controlcharacterfreestring(_83780))], (4070 ^ _36619) ^ [_84222] : [isa(_84222, c_tptpcol_4_24578), -(tptpcol_4_24578(_84222))], (5250 ^ _36619) ^ [_98841, _98843] : [genlinverse(_98843, _98841), -(binarypredicate(_98841))], (4362 ^ _36619) ^ [_87802] : [isa(_87802, c_thing), -(thing(_87802))], (1746 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _36619) ^ [_68060] : [militaryperson(_68060), -(isa(_68060, c_militaryperson))], (3958 ^ _36619) ^ [_82816] : [tptpcol_10_118020(_82816), -(isa(_82816, c_tptpcol_10_118020))], (222 ^ _36619) ^ [_39042, _39044] : [tptptypes_9_693(_39044, _39042), -(tptptypes_8_692(_39044, _39042))], (3132 ^ _36619) ^ [_72507, _72509, _72511] : [-(natfunction(f_subcollectionofwithrelationtofn(_72511, _72509, _72507), c_subcollectionofwithrelationtofn))], (990 ^ _36619) ^ [_47418] : [tptpcol_16_30972(_47418), -(tptpcol_15_30970(_47418))], (3596 ^ _36619) ^ [_78323] : [runningshorts(_78323), -(isa(_78323, c_runningshorts))], (5434 ^ _36619) ^ [_101147, _101149, _101151] : [-(genls(_101151, _101147)), genls(_101151, _101149), genls(_101149, _101147)], (1476 ^ _36619) ^ [_52712] : [tptpcol_10_93700(_52712), -(tptpcol_9_93699(_52712))], (4936 ^ _36619) ^ [_94906] : [tptpcol_14_72792(_94906), -(isa(_94906, c_tptpcol_14_72792))], (4774 ^ _36619) ^ [_92935] : [isa(_92935, c_tptpcol_10_18567), -(tptpcol_10_18567(_92935))], (4726 ^ _36619) ^ [_92351] : [isa(_92351, c_tptpcol_10_92166), -(tptpcol_10_92166(_92351))], (3672 ^ _36619) ^ [_79263] : [isa(_79263, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79263))], (156 ^ _36619) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _36619) ^ [_37784] : [tptpcol_14_72792(_37784), -(tptpcol_13_72791(_37784))], (386 ^ _36619) ^ [_40841] : [tptpcol_6_116738(_40841), -(tptpcol_5_114690(_40841))], (2044 ^ _36619) ^ [_59008] : [isa(_59008, c_pushingwithfingers), -(pushingwithfingers(_59008))], (3816 ^ _36619) ^ [_81037] : [tptpcol_2_2(_81037), -(isa(_81037, c_tptpcol_2_2))], (5228 ^ _36619) ^ [_98562, _98564, _98566] : [-(genlpreds(_98566, _98562)), genlpreds(_98566, _98564), genlpreds(_98564, _98562)], (330 ^ _36619) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _36619) ^ [_90226] : [isa(_90226, c_tptpcol_4_114689), -(tptpcol_4_114689(_90226))], (3590 ^ _36619) ^ [_78250] : [isa(_78250, c_runningshorts), -(runningshorts(_78250))], (1318 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _36619) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _36619) ^ [_66908] : [isa(_66908, c_state_geopolitical), -(state_geopolitical(_66908))], (5566 ^ _36619) ^ [_102827, _102829] : [genlmt(_102829, _102827), -(microtheory(_102829))], (3638 ^ _36619) ^ [_78834, _78836] : [directionoftranslation_throughout(_78836, _78834), -(unitvectorinterval(_78834))], (2598 ^ _36619) ^ [_65809] : [tptpcol_13_26920(_65809), -(isa(_65809, c_tptpcol_13_26920))], (5048 ^ _36619) ^ [_96284] : [tptpcol_12_40420(_96284), -(isa(_96284, c_tptpcol_12_40420))], (5582 ^ _36619) ^ [_103035] : [microtheory(_103035), -(genlmt(_103035, _103035))], (2578 ^ _36619) ^ [_65550] : [intangibleindividual(_65550), -(isa(_65550, c_intangibleindividual))], (1556 ^ _36619) ^ [_53602] : [tptpcol_16_50958(_53602), -(tptpcol_15_50957(_53602))], (4438 ^ _36619) ^ [_88744] : [furpelt(_88744), -(isa(_88744, c_furpelt))], (5102 ^ _36619) ^ [_96945, _96947] : [most(_96947, _96945), -(setorcollection(_96947))], (1952 ^ _36619) ^ [_57897] : [tptpcol_10_92166(_57897), -(tptpcol_9_92165(_57897))], (332 ^ _36619) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _36619) ^ [_60437] : [tptpcol_15_26925(_60437), -(isa(_60437, c_tptpcol_15_26925))], (1774 ^ _36619) ^ [_55991] : [tptpcol_7_21508(_55991), -(tptpcol_6_20484(_55991))], (104 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _36619) ^ [_84806] : [isa(_84806, c_tptpcol_13_109173), -(tptpcol_13_109173(_84806))], (970 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _36619) ^ [_95930, _95932] : [geographicalsubregions(_95932, _95930), -(geographicalregion(_95932))], (3110 ^ _36619) ^ [_72228, _72230, _72232] : [-(objectfoundinlocation(_72232, _72228)), objectfoundinlocation(_72232, _72230), subregions(_72228, _72230)], (2142 ^ _36619) ^ [_60218] : [isa(_60218, c_tptpcol_8_39940), -(tptpcol_8_39940(_60218))], (980 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _36619) ^ [_38953] : [tptpcol_12_40420(_38953), -(tptpcol_11_40388(_38953))], (3268 ^ _36619) ^ [_74273] : [isa(_74273, c_geographicalregion), -(geographicalregion(_74273))], (400 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _36619) ^ [_61098] : [isa(_61098, c_tptpcol_16_72795), -(tptpcol_16_72795(_61098))], (240 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _36619) ^ [_75458] : [tptpcol_13_18664(_75458), -(isa(_75458, c_tptpcol_13_18664))], (4398 ^ _36619) ^ [_88240, _88242] : [inregion(_88242, _88240), -(spatialthing_nonsituational(_88240))], (14 ^ _36619) ^ [_36761] : [tptpcol_15_40430(_36761), -(tptpcol_14_40429(_36761))], (5066 ^ _36619) ^ [_96503] : [isa(_96503, c_tptpcol_6_92162), -(tptpcol_6_92162(_96503))], (590 ^ _36619) ^ [_43059] : [tptpcol_1_1(_43059), tptpcol_1_65536(_43059)], (968 ^ _36619) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _36619) ^ [_102344, _102346, _102348] : [-(disjointwith(_102344, _102346)), disjointwith(_102348, _102346), genls(_102344, _102348)], (3148 ^ _36619) ^ [_72737] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72737), -(isa(_72737, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _36619) ^ [_74644] : [isa(_74644, c_airport_physical), -(airport_physical(_74644))], (4468 ^ _36619) ^ [_89125, _89127, _89129] : [relationallinstance(_89129, _89127, _89125), -(binarypredicate(_89129))], (1598 ^ _36619) ^ [_54071] : [tptpcol_9_26885(_54071), -(tptpcol_8_26629(_54071))], (1060 ^ _36619) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _36619) ^ [_49160, _49162] : [disjointwith(_49162, _49160), -(collection(_49160))], (2394 ^ _36619) ^ [_63292] : [isa(_63292, c_tptpcol_8_117763), -(tptpcol_8_117763(_63292))], (64 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _36619) ^ [_81552, _81554] : [tptptypes_6_818(_81554, _81552), -(firstordercollection(_81552))], (2154 ^ _36619) ^ [_60364] : [isa(_60364, c_tptpcol_15_26925), -(tptpcol_15_26925(_60364))], (534 ^ _36619) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _36619) ^ [_44594] : [tptpcol_8_109059(_44594), -(tptpcol_7_108547(_44594))], (4582 ^ _36619) ^ [_90518] : [isa(_90518, c_tptpcol_3_98305), -(tptpcol_3_98305(_90518))], (5304 ^ _36619) ^ [_99521] : [-(natargument(f_urlreferentfn(_99521), n_1, _99521))], (5334 ^ _36619) ^ [_99909, _99911] : [isa(_99911, _99909), -(thing(_99911))], (864 ^ _36619) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _36619) ^ [_53145] : [individual(_53145), -(trajector_underspecified(_53145))], (3326 ^ _36619) ^ [_75020] : [tptpcol_6_112641(_75020), -(isa(_75020, c_tptpcol_6_112641))], (1522 ^ _36619) ^ [_53216] : [shavingrazor_manual(_53216), -(tptp_8_271(f_relationexistsallfn(_53216, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53216))], (5482 ^ _36619) ^ [_101765] : [partiallytangible(_101765), -(isa(_101765, c_partiallytangible))], (1782 ^ _36619) ^ [_56080] : [tptpcol_6_108546(_56080), -(tptpcol_5_106498(_56080))], (1356 ^ _36619) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _36619) ^ [_47525] : [tptpcol_9_18439(_47525), -(tptpcol_8_18438(_47525))], (2496 ^ _36619) ^ [_64539, _64541] : [few(_64541, _64539), -(setorcollection(_64541))], (3500 ^ _36619) ^ [_77141, _77143] : [orientation(_77143, _77141), -(spatialthing_localized(_77143))], (1572 ^ _36619) ^ [_53780] : [tptpcol_16_72795(_53780), -(tptpcol_15_72793(_53780))], (510 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _36619) ^ [_87054] : [isa(_87054, c_tptpcol_9_109060), -(tptpcol_9_109060(_87054))], (1026 ^ _36619) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _36619) ^ [_38413] : [tptpcol_3_81921(_38413), -(tptpcol_2_65537(_38413))], (612 ^ _36619) ^ [_43295] : [-(tptp_8_875(_43295, f_relationallexistsfn(_43295, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43295, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _36619) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _36619) ^ [_89350] : [isa(_89350, c_tptpcol_9_40196), -(tptpcol_9_40196(_89350))], (1612 ^ _36619) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _36619) ^ [_79796] : [isa(_79796, c_tptpcol_16_10258), -(tptpcol_16_10258(_79796))], (3946 ^ _36619) ^ [_82670] : [mathematicalorcomputationalthing(_82670), -(isa(_82670, c_mathematicalorcomputationalthing))], (4456 ^ _36619) ^ [_88967, _88969, _88971] : [relationallinstance(_88971, _88969, _88967), -(thing(_88967))], (4178 ^ _36619) ^ [_85536, _85538] : [tptptypes_8_400(_85538, _85536), -(firstordercollection(_85536))], (3338 ^ _36619) ^ [_75166] : [tptpcol_7_113665(_75166), -(isa(_75166, c_tptpcol_7_113665))], (546 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _36619) ^ [_72361] : [isa(_72361, c_ship), -(ship(_72361))], (670 ^ _36619) ^ [_43941] : [tptpcol_12_22055(_43941), -(tptpcol_11_22023(_43941))], (910 ^ _36619) ^ [_46543] : [tptpcol_13_22071(_46543), -(tptpcol_12_22055(_46543))], (1640 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _36619) ^ [_83572, _83574, _83576] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83576, _83574, _83572), n_3, _83572))], (958 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _36619) ^ [_63365] : [tptpcol_8_117763(_63365), -(isa(_63365, c_tptpcol_8_117763))], (394 ^ _36619) ^ [_40930] : [tptpcol_15_92268(_40930), -(tptpcol_14_92264(_40930))], (526 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _36619) ^ [_76409] : [tptpcol_7_108547(_76409), -(isa(_76409, c_tptpcol_7_108547))], (5108 ^ _36619) ^ [_97020, _97022] : [most(_97022, _97020), -(setorcollection(_97022))], (2244 ^ _36619) ^ [_61463] : [tptpcol_15_50957(_61463), -(isa(_61463, c_tptpcol_15_50957))], (4336 ^ _36619) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _36619) ^ [_74569, _74571] : [airporthasiatacode(_74571, _74569), -(airport_physical(_74571))], (2466 ^ _36619) ^ [_64168] : [isa(_64168, c_tptpcol_6_20484), -(tptpcol_6_20484(_64168))], (474 ^ _36619) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _36619) ^ [_64389, _64391] : [few(_64391, _64389), -(setorcollection(_64389))], (5316 ^ _36619) ^ [_99684, _99686] : [isa(_99686, _99684), -(collection(_99684))], (4006 ^ _36619) ^ [_83404] : [terrorist(_83404), -(isa(_83404, c_terrorist))], (142 ^ _36619) ^ [_38176] : [trajector_underspecified(_38176), -(location_underspecified(_38176))], (3494 ^ _36619) ^ [_77066, _77068] : [orientation(_77068, _77066), -(orientationvector(_77066))], (4148 ^ _36619) ^ [_85171] : [setorcollection(_85171), -(isa(_85171, c_setorcollection))], (3536 ^ _36619) ^ [_77583, _77585] : [tptptypes_9_824(_77585, _77583), -(firstordercollection(_77585))], (908 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _36619) ^ [_65258] : [tptpcol_15_130923(_65258), -(isa(_65258, c_tptpcol_15_130923))], (3018 ^ _36619) ^ [_71031] : [-(natargument(f_contextofpcwfn(_71031), n_1, _71031))], (1082 ^ _36619) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _36619) ^ [_64893] : [isa(_64893, c_tptpcol_16_130933), -(tptpcol_16_130933(_64893))], (292 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _36619) ^ [_65039] : [isa(_65039, c_tptpcol_7_92163), -(tptpcol_7_92163(_65039))], (4614 ^ _36619) ^ [_90949, _90951, _90953, _90955] : [-(natargument(f_relationexistsallfn(_90955, _90953, _90951, _90949), n_4, _90949))], (1788 ^ _36619) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _36619) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _36619) ^ [_62635] : [tptpcol_4_90113(_62635), -(isa(_62635, c_tptpcol_4_90113))], (4246 ^ _36619) ^ [_86389] : [tptpcol_15_92268(_86389), -(isa(_86389, c_tptpcol_15_92268))], (2824 ^ _36619) ^ [_68646, _68648] : [tptptypes_8_823(_68648, _68646), -(firstordercollection(_68648))], (520 ^ _36619) ^ [_42298] : [mathematicalorcomputationalthing(_42298), -(intangible(_42298))], (2590 ^ _36619) ^ [_65709, _65711] : [-(city(f_citynamedfn(_65711, _65709)))], (630 ^ _36619) ^ [_43501] : [tptpcol_10_118020(_43501), -(tptpcol_9_118019(_43501))], (496 ^ _36619) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _36619) ^ [_72434] : [ship(_72434), -(isa(_72434, c_ship))], (4528 ^ _36619) ^ [_89861] : [tptpcol_8_72708(_89861), -(isa(_89861, c_tptpcol_8_72708))], (4058 ^ _36619) ^ [_84076] : [isa(_84076, c_geolevel_3), -(geolevel_3(_84076))], (90 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _36619) ^ [_71722, _71724] : [objectfoundinlocation(_71724, _71722), -(spatialthing_localized(_71724))], (4208 ^ _36619) ^ [_85911, _85913] : [borderson(_85913, _85911), -(geographicalregion(_85911))], (1540 ^ _36619) ^ [_53424] : [tptpcol_12_72775(_53424), -(tptpcol_11_72774(_53424))], (5298 ^ _36619) ^ [_99446] : [-(natargument(f_urlfn(_99446), n_1, _99446))], (128 ^ _36619) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _36619) ^ [_81110, _81112] : [tptptypes_7_691(_81112, _81110), -(firstordercollection(_81110))], (662 ^ _36619) ^ [_43853] : [individual(_43853), setorcollection(_43853)], (1054 ^ _36619) ^ [_48117, _48119] : [tptptypes_8_823(_48119, _48117), -(tptptypes_7_819(_48119, _48117))], (2782 ^ _36619) ^ [_68133] : [isa(_68133, c_tptpcol_15_72793), -(tptpcol_15_72793(_68133))], (4654 ^ _36619) ^ [_91467, _91469] : [tptptypes_8_692(_91469, _91467), -(firstordercollection(_91467))], (364 ^ _36619) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _36619) ^ [_90914, _90916, _90918, _90920] : [-(natargument(f_relationexistsallfn(_90920, _90918, _90916, _90914), n_3, _90916))], (4184 ^ _36619) ^ [_85611, _85613] : [tptptypes_8_400(_85613, _85611), -(firstordercollection(_85613))], (3864 ^ _36619) ^ [_81627, _81629] : [tptptypes_6_818(_81629, _81627), -(firstordercollection(_81629))], (1832 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _36619) ^ [_95636] : [tptpcol_9_22021(_95636), -(isa(_95636, c_tptpcol_9_22021))], (1872 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _36619) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _36619) ^ [_86758, _86760] : [tptptypes_6_388(_86760, _86758), -(firstordercollection(_86758))], (1108 ^ _36619) ^ [_48687] : [tptpcol_4_16387(_48687), -(tptpcol_3_16386(_48687))], (928 ^ _36619) ^ [_46739] : [tptpcol_4_114689(_46739), -(tptpcol_3_114688(_46739))], (2406 ^ _36619) ^ [_63438] : [isa(_63438, c_tptpcol_7_18437), -(tptpcol_7_18437(_63438))], (3934 ^ _36619) ^ [_82524] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82524), -(isa(_82524, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _36619) ^ [_95782] : [transitivebinarypredicate(_95782), -(isa(_95782, c_transitivebinarypredicate))], (744 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _36619) ^ [_92643] : [isa(_92643, c_orderingpredicate), -(orderingpredicate(_92643))], (900 ^ _36619) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _36619) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _36619) ^ [_36850] : [tptpcol_10_72710(_36850), -(tptpcol_9_72709(_36850))], (3840 ^ _36619) ^ [_81333] : [tptpcol_11_26887(_81333), -(isa(_81333, c_tptpcol_11_26887))], (2014 ^ _36619) ^ [_58643] : [tptpcol_13_92263(_58643), -(isa(_58643, c_tptpcol_13_92263))], (556 ^ _36619) ^ [_42679, _42681] : [tptptypes_8_692(_42681, _42679), -(tptptypes_7_691(_42679, _42681))], (3184 ^ _36619) ^ [_73175] : [tptpcol_3_16386(_73175), -(isa(_73175, c_tptpcol_3_16386))], (874 ^ _36619) ^ [_46141, _46143] : [disjointwith(_46143, _46141), -(no(_46143, _46141))], (4828 ^ _36619) ^ [_93592] : [enduringthing_localized(_93592), -(isa(_93592, c_enduringthing_localized))], (1414 ^ _36619) ^ [_52027, _52029, _52031] : [isa(_52031, _52029), isa(_52031, _52027), disjointwith(_52029, _52027)], (588 ^ _36619) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _36619) ^ [_87273] : [tptpcol_10_109061(_87273), -(isa(_87273, c_tptpcol_10_109061))], (392 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _36619) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _36619) ^ [_67261, _67263] : [arg2isa(_67263, _67261), -(collection(_67261))], (5518 ^ _36619) ^ [_102211, _102213, _102215] : [-(disjointwith(_102215, _102211)), disjointwith(_102215, _102213), genls(_102211, _102213)], (2756 ^ _36619) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _36619) ^ [_67123, _67125, _67127, _67129] : [-(natargument(f_relationallexistsfn(_67129, _67127, _67125, _67123), n_2, _67127))], (3318 ^ _36619) ^ [_74917, _74919, _74921] : [-(thing(f_instancewithrelationtofn(_74921, _74919, _74917)))], (366 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _36619) ^ [_38769] : [tptpcol_2_98304(_38769), -(tptpcol_1_65536(_38769))], (1270 ^ _36619) ^ [_50477] : [tptpcol_16_130924(_50477), -(tptpcol_15_130923(_50477))], (830 ^ _36619) ^ [_45672] : [tptpcol_13_18664(_45672), -(tptpcol_12_18663(_45672))], (4786 ^ _36619) ^ [_93081] : [isa(_93081, c_tptpcol_2_65537), -(tptpcol_2_65537(_93081))], (1212 ^ _36619) ^ [_49855] : [-(tptp_9_51(f_relationexistsallfn(_49855, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _49855)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_49855, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _36619) ^ [_88094] : [isa(_88094, c_applicationcontext), -(applicationcontext(_88094))], (2950 ^ _36619) ^ [_70181, _70183] : [tptp_8_968(_70183, _70181), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70181))], (2974 ^ _36619) ^ [_70489, _70491, _70493] : [relationexistsall(_70493, _70491, _70489), -(binarypredicate(_70493))], (4966 ^ _36619) ^ [_95271] : [isa(_95271, c_tptpcol_5_16388), -(tptpcol_5_16388(_95271))], (678 ^ _36619) ^ [_44030] : [applicationcontext(_44030), -(microtheory(_44030))], (1330 ^ _36619) ^ [_51113] : [tptpcol_7_108547(_51113), -(tptpcol_6_108546(_51113))], (4 ^ _36619) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _36619) ^ [_63730] : [isa(_63730, c_tptpcol_8_93698), -(tptpcol_8_93698(_63730))], (28 ^ _36619) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _36619) ^ [_60948, _60950] : [tptptypes_5_802(_60950, _60948), -(firstordercollection(_60948))], (942 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _36619) ^ [_51612] : [tptpcol_8_18438(_51612), -(tptpcol_7_18437(_51612))], (5456 ^ _36619) ^ [_101426, _101428, _101430] : [-(genls(_101426, _101428)), genls(_101430, _101428), genls(_101426, _101430)], (622 ^ _36619) ^ [] : [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 ^ _36619) ^ [_86833, _86835] : [tptptypes_6_388(_86835, _86833), -(firstordercollection(_86835))], (3016 ^ _36619) ^ [_71006] : [-(natfunction(f_contextofpcwfn(_71006), c_contextofpcwfn))], (5072 ^ _36619) ^ [_96576] : [tptpcol_6_92162(_96576), -(isa(_96576, c_tptpcol_6_92162))], (596 ^ _36619) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _36619) ^ [_81185, _81187] : [tptptypes_7_691(_81187, _81185), -(firstordercollection(_81187))], (2724 ^ _36619) ^ [_67411, _67413, _67415] : [-(arg2isa(_67415, _67411)), arg2isa(_67415, _67413), genls(_67413, _67411)], (1034 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _36619) ^ [_65331] : [isa(_65331, c_tptpcol_16_130924), -(tptpcol_16_130924(_65331))], (2062 ^ _36619) ^ [_59229, _59231] : [affiliatedwith(_59231, _59229), -(agent_generic(_59231))], (4702 ^ _36619) ^ [_92059] : [isa(_92059, c_tptpcol_1_65536), -(tptpcol_1_65536(_92059))], (1084 ^ _36619) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _36619) ^ [_77435] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77435), -(isa(_77435, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _36619) ^ [_63803] : [tptpcol_8_93698(_63803), -(isa(_63803, c_tptpcol_8_93698))], (4546 ^ _36619) ^ [_90080] : [isa(_90080, c_tptpcol_12_93765), -(tptpcol_12_93765(_90080))], (580 ^ _36619) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _36619) ^ [_87729] : [tptpcol_12_92262(_87729), -(isa(_87729, c_tptpcol_12_92262))], (858 ^ _36619) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _36619) ^ [_68425] : [isa(_68425, c_tptpcol_10_26886), -(tptpcol_10_26886(_68425))], (1658 ^ _36619) ^ [_54742, _54744] : [tptptypes_9_824(_54744, _54742), -(tptptypes_8_823(_54744, _54742))], (1834 ^ _36619) ^ [_56631] : [tptpcol_9_40196(_56631), -(tptpcol_8_39940(_56631))], (1008 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _36619) ^ [_63146] : [isa(_63146, c_tptpcol_7_117762), -(tptpcol_7_117762(_63146))], (1464 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _36619) ^ [_93738] : [location_underspecified(_93738), -(isa(_93738, c_location_underspecified))], (3702 ^ _36619) ^ [_79638, _79640, _79642] : [relationallexists(_79642, _79640, _79638), -(collection(_79640))], (4816 ^ _36619) ^ [_93446] : [artsupplies(_93446), -(isa(_93446, c_artsupplies))], (1894 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _36619) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _36619) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _36619) ^ [_78984, _78986, _78988] : [-(directionoftranslation_throughout(_78984, _78986)), directionoftranslation_throughout(_78988, _78986), subevents(_78988, _78984)], (4330 ^ _36619) ^ [_87419] : [executionbyfiringsquad(_87419), -(isa(_87419, c_executionbyfiringsquad))], (1580 ^ _36619) ^ [_53869] : [tptpcol_6_71683(_53869), -(tptpcol_5_69635(_53869))], (1926 ^ _36619) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _36619) ^ [_63584] : [isa(_63584, c_tptpcol_6_18436), -(tptpcol_6_18436(_63584))], (888 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _36619) ^ [_48450] : [tptpcol_15_72793(_48450), -(tptpcol_14_72792(_48450))], (1100 ^ _36619) ^ [_48598] : [navypersonnel(_48598), -(militaryperson(_48598))], (2764 ^ _36619) ^ [_67914] : [spatialthing_nonsituational(_67914), -(isa(_67914, c_spatialthing_nonsituational))], (1960 ^ _36619) ^ [_57986] : [tptpcol_14_118118(_57986), -(tptpcol_13_118117(_57986))], (3810 ^ _36619) ^ [_80964] : [isa(_80964, c_tptpcol_2_2), -(tptpcol_2_2(_80964))], (258 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _36619) ^ [_93154] : [tptpcol_2_65537(_93154), -(isa(_93154, c_tptpcol_2_65537))], (1472 ^ _36619) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _36619) ^ [_69962] : [physicalorderingpredicate(_69962), -(isa(_69962, c_physicalorderingpredicate))], (1248 ^ _36619) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _36619) ^ [_68352] : [tptpcol_9_26885(_68352), -(isa(_68352, c_tptpcol_9_26885))], (232 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _36619) ^ [_42114, _42116] : [geographicalsubregions(_42116, _42114), -(inregion(_42114, _42116))], (4954 ^ _36619) ^ [_95125] : [isa(_95125, c_tptpcol_4_16387), -(tptpcol_4_16387(_95125))], (1966 ^ _36619) ^ [_58057] : [isa(_58057, c_tptpcol_14_118118), -(tptpcol_14_118118(_58057))], (1500 ^ _36619) ^ [_52967] : [tptpcol_3_16386(_52967), -(tptpcol_2_2(_52967))], (1374 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _36619) ^ [_102602, _102604] : [genlmt(_102604, _102602), -(microtheory(_102602))], (3398 ^ _36619) ^ [_75898] : [isa(_75898, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_75898))], (4810 ^ _36619) ^ [_93373] : [isa(_93373, c_artsupplies), -(artsupplies(_93373))], (3470 ^ _36619) ^ [_76774] : [isa(_76774, c_tptpcol_15_93775), -(tptpcol_15_93775(_76774))], (1754 ^ _36619) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _36619) ^ [_94833] : [isa(_94833, c_tptpcol_14_72792), -(tptpcol_14_72792(_94833))], (3554 ^ _36619) ^ [_77808] : [isa(_77808, c_tptpcol_12_22055), -(tptpcol_12_22055(_77808))], (562 ^ _36619) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _36619) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _36619) ^ [_93519] : [isa(_93519, c_enduringthing_localized), -(enduringthing_localized(_93519))], (2794 ^ _36619) ^ [_68279] : [isa(_68279, c_tptpcol_9_26885), -(tptpcol_9_26885(_68279))], (4392 ^ _36619) ^ [_88167] : [applicationcontext(_88167), -(isa(_88167, c_applicationcontext))], (5450 ^ _36619) ^ [_101353] : [collection(_101353), -(genls(_101353, _101353))], (300 ^ _36619) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _36619) ^ [_78175, _78177] : [tptp_9_720(_78177, _78175), -(executionbyfiringsquad(_78177))], (2890 ^ _36619) ^ [_69451] : [isa(_69451, c_tptpcol_15_30970), -(tptpcol_15_30970(_69451))], (4642 ^ _36619) ^ [_91317, _91319] : [tptptypes_8_390(_91319, _91317), -(firstordercollection(_91317))], (3138 ^ _36619) ^ [_72602, _72604, _72606] : [-(natargument(f_subcollectionofwithrelationtofn(_72606, _72604, _72602), n_3, _72602))], (4948 ^ _36619) ^ [_95052] : [ridgeline_topographical(_95052), -(isa(_95052, c_ridgeline_topographical))], (4624 ^ _36619) ^ [_91092, _91094] : [resultisaarg(_91094, _91092), -(function_denotational(_91094))], (3506 ^ _36619) ^ [_77216] : [isa(_77216, c_orientationvector), -(orientationvector(_77216))], (1428 ^ _36619) ^ [_52195] : [aspatialinformationstore(_52195), -(aspatialthing(_52195))], (5282 ^ _36619) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _36619) ^ [_86535] : [tptpcol_6_116738(_86535), -(isa(_86535, c_tptpcol_6_116738))], (1250 ^ _36619) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _36619) ^ [_94030] : [individual(_94030), -(isa(_94030, c_individual))], (1780 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _36619) ^ [_91986] : [marriagelicensedocument(_91986), -(isa(_91986, c_marriagelicensedocument))], (5084 ^ _36619) ^ [_96722] : [tptpcol_7_93186(_96722), -(isa(_96722, c_tptpcol_7_93186))], (1530 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _36619) ^ [_75531] : [isa(_75531, c_firstordercollection), -(firstordercollection(_75531))], (3258 ^ _36619) ^ [_74140, _74142, _74144] : [-(no(_74144, _74140)), no(_74144, _74142), subsetof(_74140, _74142)], (1538 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _36619) ^ [_84733] : [tptpcol_12_109157(_84733), -(isa(_84733, c_tptpcol_12_109157))], (1682 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _36619) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _36619) ^ [_87127] : [tptpcol_9_109060(_87127), -(isa(_87127, c_tptpcol_9_109060))], (3924 ^ _36619) ^ [_82389, _82391, _82393] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82393, _82391, _82389), n_3, _82389))], (1344 ^ _36619) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _36619) ^ [_71231, _71233, _71235] : [-(arg1isa(_71235, _71231)), arg1isa(_71235, _71233), genls(_71233, _71231)], (186 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _36619) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _36619) ^ [_73608, _73610, _73612] : [-(no(_73608, _73610)), no(_73612, _73610), subsetof(_73608, _73612)], (84 ^ _36619) ^ [_37547] : [tptpcol_9_22021(_37547), -(tptpcol_8_22020(_37547))], (1888 ^ _36619) ^ [_57200] : [tptpcol_7_18437(_57200), -(tptpcol_6_18436(_57200))], (974 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _36619) ^ [_61828] : [isa(_61828, c_tptpcol_11_72774), -(tptpcol_11_72774(_61828))], (4214 ^ _36619) ^ [_85986, _85988] : [borderson(_85988, _85986), -(geographicalregion(_85988))], (822 ^ _36619) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _36619) ^ [_89423] : [tptpcol_9_40196(_89423), -(isa(_89423, c_tptpcol_9_40196))], (5356 ^ _36619) ^ [_100190] : [inanimateobject(_100190), -(isa(_100190, c_inanimateobject))], (544 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _36619) ^ [_61682] : [isa(_61682, c_tptpcol_6_71683), -(tptpcol_6_71683(_61682))], (1858 ^ _36619) ^ [_56886] : [tptpcol_5_90114(_56886), -(tptpcol_4_90113(_56886))], (4166 ^ _36619) ^ [_85390] : [isa(_85390, c_tptpcol_12_18663), -(tptpcol_12_18663(_85390))], (2502 ^ _36619) ^ [_64614, _64616, _64618] : [-(few(_64618, _64614)), few(_64618, _64616), subsetof(_64614, _64616)], (2848 ^ _36619) ^ [_68940] : [tptpcol_15_109185(_68940), -(isa(_68940, c_tptpcol_15_109185))], (3316 ^ _36619) ^ [_74885, _74887, _74889] : [-(natargument(f_instancewithrelationtofn(_74889, _74887, _74885), n_3, _74885))], (5256 ^ _36619) ^ [_98916, _98918] : [genlinverse(_98918, _98916), -(binarypredicate(_98918))], (466 ^ _36619) ^ [_41723] : [tptpcol_5_24579(_41723), -(tptpcol_4_24578(_41723))], (2316 ^ _36619) ^ [_62339] : [tptpcol_16_25972(_62339), -(isa(_62339, c_tptpcol_16_25972))], (1438 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _36619) ^ [_59413] : [isa(_59413, c_footballteam), -(footballteam(_59413))], (872 ^ _36619) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _36619) ^ [_58716] : [isa(_58716, c_geolevel_4), -(geolevel_4(_58716))], (3410 ^ _36619) ^ [_76044] : [isa(_76044, c_tptpcol_13_22071), -(tptpcol_13_22071(_76044))], (1978 ^ _36619) ^ [_58203] : [-(natfunction(f_tptpquantityfn_6(_58203), c_tptpquantityfn_6))], (3792 ^ _36619) ^ [_80745] : [tptpcol_9_92165(_80745), -(isa(_80745, c_tptpcol_9_92165))], (2616 ^ _36619) ^ [_66028] : [isa(_66028, c_tptpcol_3_65538), -(tptpcol_3_65538(_66028))], (2980 ^ _36619) ^ [_70568] : [isa(_70568, c_tptpcol_7_26628), -(tptpcol_7_26628(_70568))], (5398 ^ _36619) ^ [_100701] : [isa(_100701, c_tptpcol_15_40430), -(tptpcol_15_40430(_100701))], (776 ^ _36619) ^ [_45098] : [inanimateobject_nonnatural(_45098), -(inanimateobject(_45098))], (1474 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _36619) ^ [_58497] : [tptpcol_16_62187(_58497), -(isa(_58497, c_tptpcol_16_62187))], (684 ^ _36619) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _36619) ^ [_57632] : [computerdataartifact(_57632), -(artifact(_57632))], (220 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _36619) ^ [_79190] : [unitvectorinterval(_79190), -(isa(_79190, c_unitvectorinterval))], (1036 ^ _36619) ^ [_47921] : [tptpcol_15_109185(_47921), -(tptpcol_14_109181(_47921))], (3196 ^ _36619) ^ [_73323, _73325] : [no(_73325, _73323), -(setorcollection(_73325))], (2854 ^ _36619) ^ [_69013] : [isa(_69013, c_tptpcol_6_26627), -(tptpcol_6_26627(_69013))], (1856 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _36619) ^ [_46325] : [tptpcol_5_69635(_46325), -(tptpcol_4_65539(_46325))], (3274 ^ _36619) ^ [_74346] : [geographicalregion(_74346), -(isa(_74346, c_geographicalregion))], (4744 ^ _36619) ^ [_92570] : [tptpcol_11_92230(_92570), -(isa(_92570, c_tptpcol_11_92230))], (2830 ^ _36619) ^ [_68721] : [isa(_68721, c_tptpcol_16_92269), -(tptpcol_16_92269(_68721))], (1668 ^ _36619) ^ [_54855] : [tptpcol_11_26887(_54855), -(tptpcol_10_26886(_54855))], (1666 ^ _36619) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _36619) ^ [_62562] : [isa(_62562, c_tptpcol_4_90113), -(tptpcol_4_90113(_62562))], (4076 ^ _36619) ^ [_84295] : [tptpcol_4_24578(_84295), -(isa(_84295, c_tptpcol_4_24578))], (202 ^ _36619) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _36619) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _36619) ^ [_76628] : [isa(_76628, c_tptpcol_14_93774), -(tptpcol_14_93774(_76628))], (2878 ^ _36619) ^ [_69305] : [isa(_69305, c_tptpcol_8_18438), -(tptpcol_8_18438(_69305))], (1506 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _36619) ^ [_98337, _98339] : [genlpreds(_98339, _98337), -(predicate(_98337))], (1634 ^ _36619) ^ [_54475] : [tptpcol_8_92164(_54475), -(tptpcol_7_92163(_54475))], (1304 ^ _36619) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _36619) ^ [_88892, _88894] : [tptpofobject(_88894, _88892), -(partiallytangible(_88894))], (2646 ^ _36619) ^ [_66395, _66397] : [tptp_9_51(_66397, _66395), -(tptpcol_7_26628(_66397))], (950 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _36619) ^ [_71647, _71649] : [objectfoundinlocation(_71649, _71647), -(spatialthing_nonsituational(_71649))], (532 ^ _36619) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _36619) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _36619) ^ [_58130] : [tptpcol_14_118118(_58130), -(isa(_58130, c_tptpcol_14_118118))], (1686 ^ _36619) ^ [_55051, _55053] : [few(_55053, _55051), -(setorcollection(_55051))], (1180 ^ _36619) ^ [_49497, _49499] : [tptptypes_7_389(_49499, _49497), -(tptptypes_6_388(_49497, _49499))], (838 ^ _36619) ^ [_45761] : [artifact(_45761), -(inanimateobject_nonnatural(_45761))], (1354 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _36619) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _36619) ^ [_73475, _73477, _73479] : [-(no(_73479, _73475)), no(_73479, _73477), subsetof(_73475, _73477)], (1052 ^ _36619) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _36619) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _36619) ^ [_87948] : [isa(_87948, c_computerdataartifact), -(computerdataartifact(_87948))], (2128 ^ _36619) ^ [_60048] : [-(tptpquantity(f_tptpquantityfn_2(_60048)))], (3028 ^ _36619) ^ [_71156, _71158] : [arg1isa(_71158, _71156), -(relation(_71158))], (1150 ^ _36619) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _36619) ^ [_70860] : [isa(_70860, c_tptpcol_3_114688), -(tptpcol_3_114688(_70860))], (3988 ^ _36619) ^ [_83181, _83183] : [hasmembers(_83183, _83181), -(agent_generic(_83181))], (1794 ^ _36619) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _36619) ^ [_41634] : [tptpcol_5_106498(_41634), -(tptpcol_4_106497(_41634))], (1548 ^ _36619) ^ [_53513] : [tptpcol_7_72707(_53513), -(tptpcol_6_71683(_53513))], (4190 ^ _36619) ^ [_85686, _85688] : [tptptypes_9_401(_85688, _85686), -(firstordercollection(_85686))], (170 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _36619) ^ [_94103] : [isa(_94103, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_94103))], (3882 ^ _36619) ^ [_81852] : [isa(_81852, c_correctivelensprescription), -(correctivelensprescription(_81852))], (4130 ^ _36619) ^ [_84952] : [isa(_84952, c_mathematicalthing), -(mathematicalthing(_84952))], (4226 ^ _36619) ^ [_86147] : [borderson(_86147, _86147)], (1328 ^ _36619) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _36619) ^ [_36939] : [inanimateobject(_36939), -(partiallytangible(_36939))], (2592 ^ _36619) ^ [_65736] : [isa(_65736, c_tptpcol_13_26920), -(tptpcol_13_26920(_65736))], (3010 ^ _36619) ^ [_70933] : [tptpcol_3_114688(_70933), -(isa(_70933, c_tptpcol_3_114688))], (1702 ^ _36619) ^ [_55233] : [tptpcol_8_39940(_55233), -(tptpcol_7_39939(_55233))], (5422 ^ _36619) ^ [_100997, _100999] : [genls(_100999, _100997), -(collection(_100999))], (346 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _36619) ^ [_52516] : [tptpcol_6_26627(_52516), -(tptpcol_5_24579(_52516))], (1606 ^ _36619) ^ [_54160, _54162] : [genls(_54162, _54160), -(subsetof(_54162, _54160))], (1202 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _36619) ^ [_73874, _73876, _73878] : [-(no(_73878, _73874)), no(_73878, _73876), genls(_73874, _73876)], (3572 ^ _36619) ^ [_78027] : [tptpcol_16_29490(_78027), -(isa(_78027, c_tptpcol_16_29490))], (4852 ^ _36619) ^ [_93884] : [trajector_underspecified(_93884), -(isa(_93884, c_trajector_underspecified))], (1732 ^ _36619) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _36619) ^ [_63073] : [aspatialthing(_63073), -(isa(_63073, c_aspatialthing))], (598 ^ _36619) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _36619) ^ [_51956] : [tptpcol_7_117762(_51956), -(tptpcol_6_116738(_51956))], (1128 ^ _36619) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _36619) ^ [_94468] : [tptpcol_11_22023(_94468), -(isa(_94468, c_tptpcol_11_22023))], (812 ^ _36619) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _36619) ^ [_78909, _78911] : [directionoftranslation_throughout(_78911, _78909), -(movement_translationevent(_78911))], (766 ^ _36619) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _36619) ^ [_38051] : [partiallyintangibleindividual(_38051), -(individual(_38051))], (1980 ^ _36619) ^ [_58228] : [-(natargument(f_tptpquantityfn_6(_58228), n_1, _58228))], (5078 ^ _36619) ^ [_96649] : [isa(_96649, c_tptpcol_7_93186), -(tptpcol_7_93186(_96649))], (1168 ^ _36619) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _36619) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _36619) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _36619) ^ [_86683, _86685] : [tptptypes_5_387(_86685, _86683), -(firstordercollection(_86685))], (1398 ^ _36619) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _36619) ^ [_88621] : [-(natargument(f_tptpquantityfn_1(_88621), n_1, _88621))], (844 ^ _36619) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _36619) ^ [_92205] : [isa(_92205, c_tptpcol_2_98304), -(tptpcol_2_98304(_92205))], (422 ^ _36619) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _36619) ^ [_61755] : [tptpcol_6_71683(_61755), -(isa(_61755, c_tptpcol_6_71683))], (2050 ^ _36619) ^ [_59081] : [pushingwithfingers(_59081), -(isa(_59081, c_pushingwithfingers))], (1562 ^ _36619) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _36619) ^ [_59924] : [tptpcol_15_22076(_59924), -(isa(_59924, c_tptpcol_15_22076))], (1442 ^ _36619) ^ [_52338] : [tptpcol_9_93699(_52338), -(tptpcol_8_93698(_52338))], (1692 ^ _36619) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _36619) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _36619) ^ [_60656] : [isa(_60656, c_tptpcol_13_118117), -(tptpcol_13_118117(_60656))], (4410 ^ _36619) ^ [_88390, _88392, _88394] : [-(inregion(_88394, _88390)), inregion(_88394, _88392), inregion(_88392, _88390)], (1436 ^ _36619) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _36619) ^ [_78688] : [isa(_78688, c_movement_translationevent), -(movement_translationevent(_78688))], (4798 ^ _36619) ^ [_93227] : [isa(_93227, c_tptpcol_3_81921), -(tptpcol_3_81921(_93227))], (3952 ^ _36619) ^ [_82743] : [isa(_82743, c_tptpcol_10_118020), -(tptpcol_10_118020(_82743))], (432 ^ _36619) ^ [_41349] : [tptpcol_12_18663(_41349), -(tptpcol_11_18631(_41349))], (1528 ^ _36619) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _36619) ^ [_68498] : [tptpcol_10_26886(_68498), -(isa(_68498, c_tptpcol_10_26886))], (308 ^ _36619) ^ [_40023] : [-(tptpofobject(_40023, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40023)]], input).
% 43.92/42.83  ncf('1',plain,[tptpofobject(c_tptpridgeline_topographical, f_tptpquantityfn_13(n_468))],start(5598 ^ 0)).
% 43.92/42.83  ncf('1.1',plain,[-(tptpofobject(c_tptpridgeline_topographical, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(c_tptpridgeline_topographical)],extension(406 ^ 1,bind([[_41060], [c_tptpridgeline_topographical]]))).
% 43.92/42.83  ncf('1.1.1',plain,[-(mtvisible(c_tptp_member235_mt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt)],extension(5538 ^ 2,bind([[_102477, _102479], [c_tptp_member235_mt, c_tptp_spindlecollectormt]]))).
% 43.92/42.83  ncf('1.1.1.1',plain,[-(mtvisible(c_tptp_spindlecollectormt))],extension(5596 ^ 3)).
% 43.92/42.83  ncf('1.1.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))],extension(1630 ^ 3)).
% 43.92/42.83  ncf('1.1.2',plain,[-(ridgeline_topographical(c_tptpridgeline_topographical)), mtvisible(c_cyclistsmt)],extension(98 ^ 2)).
% 43.92/42.83  ncf('1.1.2.1',plain,[-(mtvisible(c_cyclistsmt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_cyclistsmt)],extension(5538 ^ 3,bind([[_102477, _102479], [c_cyclistsmt, c_tptp_spindlecollectormt]]))).
% 43.92/42.83  ncf('1.1.2.1.1',plain,[-(mtvisible(c_tptp_spindlecollectormt))],extension(5596 ^ 4)).
% 43.92/42.83  ncf('1.1.2.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_cyclistsmt)), genlmt(c_tptp_spindlecollectormt, c_tptp_spindleheadmt), genlmt(c_tptp_spindleheadmt, c_cyclistsmt)],extension(5572 ^ 4,bind([[_102902, _102904, _102906], [c_cyclistsmt, c_tptp_spindleheadmt, c_tptp_spindlecollectormt]]))).
% 43.92/42.83  ncf('1.1.2.1.2.1',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_spindleheadmt)), genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt), genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt)],extension(5572 ^ 5,bind([[_102902, _102904, _102906], [c_tptp_spindleheadmt, c_tptp_member3993_mt, c_tptp_spindlecollectormt]]))).
% 43.92/42.83  ncf('1.1.2.1.2.1.1',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))],extension(1424 ^ 6)).
% 43.92/42.83  ncf('1.1.2.1.2.1.2',plain,[-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))],extension(1246 ^ 6)).
% 43.92/42.83  ncf('1.1.2.1.2.2',plain,[-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))],extension(996 ^ 5)).
% 43.92/42.83  %-----------------------------------------------------
% 43.92/42.83  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------