%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR050+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n024.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:44:08 EDT 2023
% Result : Theorem 43.76s 42.97s
% Output : Proof 43.76s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR050+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.14 % Command : nanocop.sh %s %d
% 0.14/0.35 % Computer : n024.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 300
% 0.14/0.36 % DateTime : Fri May 19 00:10:21 EDT 2023
% 0.14/0.36 % CPUTime :
% 43.76/42.97
% 43.76/42.97 /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 43.76/42.97 Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 43.76/42.97 %-----------------------------------------------------
% 43.76/42.97 ncf(matrix, plain, [(5598 ^ _115520) ^ [] : [tptptypes_7_691(c_tptpcol_16_26939, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (5596 ^ _115520) ^ [] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)))], !, (1546 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _36705) ^ [_97181] : [setorcollection(_97181), -(most(_97181, _97181))], (1814 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _36705) ^ [_96956, _96958] : [most(_96958, _96956), -(setorcollection(_96956))], (1448 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _36705) ^ [_40038] : [tptpcol_13_93766(_40038), -(tptpcol_12_93765(_40038))], (1944 ^ _36705) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _36705) ^ [_85330] : [isa(_85330, c_tptpcol_11_18631), -(tptpcol_11_18631(_85330))], (960 ^ _36705) ^ [_47181] : [isa(_47181, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47181, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47181))], (5380 ^ _36705) ^ [_100568] : [tptpcol_10_72710(_100568), -(isa(_100568, c_tptpcol_10_72710))], (5554 ^ _36705) ^ [_102763, _102765] : [genlmt(_102765, _102763), -(microtheory(_102763))], (4888 ^ _36705) ^ [_94408] : [tptpcol_10_22022(_94408), -(isa(_94408, c_tptpcol_10_22022))], (4040 ^ _36705) ^ [_83941, _83943] : [prettystring(_83943, _83941), -(thing(_83943))], (2902 ^ _36705) ^ [_69683] : [isa(_69683, c_tptpcol_16_30972), -(tptpcol_16_30972(_69683))], (1802 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _36705) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _36705) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _36705) ^ [_48096] : [tptpcol_16_92269(_48096), -(tptpcol_15_92268(_48096))], (1650 ^ _36705) ^ [_54739] : [tptpcol_11_40388(_54739), -(tptpcol_10_40324(_54739))], (324 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _36705) ^ [_67279, _67281, _67283, _67285] : [-(natargument(f_relationallexistsfn(_67285, _67283, _67281, _67279), n_4, _67279))], (3088 ^ _36705) ^ [_72025] : [objectfoundinlocation(_72025, _72025)], (1122 ^ _36705) ^ [_48933] : [collection(_48933), individual(_48933)], (286 ^ _36705) ^ [_39860] : [tptpcol_8_72708(_39860), -(tptpcol_7_72707(_39860))], (1006 ^ _36705) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _36705) ^ [_93386] : [tptpcol_3_81921(_93386), -(isa(_93386, c_tptpcol_3_81921))], (1984 ^ _36705) ^ [_58364] : [isa(_58364, c_tptpcol_16_26939), -(tptpcol_16_26939(_58364))], (1284 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _36705) ^ [_85973] : [-(tptpquantity(f_tptpquantityfn_13(_85973)))], (2448 ^ _36705) ^ [_64035] : [tptpcol_11_109125(_64035), -(isa(_64035, c_tptpcol_11_109125))], (2604 ^ _36705) ^ [_65968] : [isa(_65968, c_tptpcol_14_26921), -(tptpcol_14_26921(_65968))], (2032 ^ _36705) ^ [_58948] : [isa(_58948, c_tptpcol_15_4027), -(tptpcol_15_4027(_58948))], (5146 ^ _36705) ^ [_97593, _97595] : [subsetof(_97595, _97593), -(setorcollection(_97593))], (3312 ^ _36705) ^ [_74907, _74909, _74911] : [-(natargument(f_instancewithrelationtofn(_74911, _74909, _74907), n_1, _74911))], (2836 ^ _36705) ^ [_68880] : [tptpcol_16_92269(_68880), -(isa(_68880, c_tptpcol_16_92269))], (4474 ^ _36705) ^ [_89290] : [isa(_89290, c_tptpcol_13_93766), -(tptpcol_13_93766(_89290))], (2914 ^ _36705) ^ [_69829] : [isa(_69829, c_tptpcol_14_109181), -(tptpcol_14_109181(_69829))], (3518 ^ _36705) ^ [_77448] : [isa(_77448, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77448))], (3964 ^ _36705) ^ [_82975] : [isa(_82975, c_tptpcol_11_118084), -(tptpcol_11_118084(_82975))], (2588 ^ _36705) ^ [_65766, _65768] : [-(natargument(f_citynamedfn(_65768, _65766), n_2, _65766))], (376 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _36705) ^ [_83563, _83565, _83567] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_83567, _83565, _83563), c_subcollectionofwithrelationfromtypefn))], (836 ^ _36705) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _36705) ^ [_87286] : [isa(_87286, c_tptpcol_10_109061), -(tptpcol_10_109061(_87286))], (2256 ^ _36705) ^ [_61695] : [tptpcol_16_50958(_61695), -(isa(_61695, c_tptpcol_16_50958))], (2298 ^ _36705) ^ [_62206] : [isa(_62206, c_tptpcol_5_110593), -(tptpcol_5_110593(_62206))], (1484 ^ _36705) ^ [_52887] : [aspatialinformationstore(_52887), -(intangibleindividual(_52887))], (3512 ^ _36705) ^ [_77375] : [orientationvector(_77375), -(isa(_77375, c_orientationvector))], (4504 ^ _36705) ^ [_89655] : [tptpcol_10_40324(_89655), -(isa(_89655, c_tptpcol_10_40324))], (1170 ^ _36705) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _36705) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _36705) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _36705) ^ [_90458] : [isa(_90458, c_tptpcol_5_114690), -(tptpcol_5_114690(_90458))], (3140 ^ _36705) ^ [_72720, _72722, _72724] : [-(collection(f_subcollectionofwithrelationtofn(_72724, _72722, _72720)))], (1648 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _36705) ^ [_95576] : [tptpcol_8_22020(_95576), -(isa(_95576, c_tptpcol_8_22020))], (1064 ^ _36705) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _36705) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _36705) ^ [_83626, _83628, _83630] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83630, _83628, _83626), n_2, _83628))], (1824 ^ _36705) ^ [_56610] : [tptpcol_14_92264(_56610), -(tptpcol_13_92263(_56610))], (694 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _36705) ^ [_99582] : [-(natfunction(f_urlreferentfn(_99582), c_urlreferentfn))], (4338 ^ _36705) ^ [_87596] : [isa(_87596, c_navypersonnel), -(navypersonnel(_87596))], (3608 ^ _36705) ^ [_78555] : [tptpcol_9_118019(_78555), -(isa(_78555, c_tptpcol_9_118019))], (3392 ^ _36705) ^ [_75911] : [supplies(_75911), -(isa(_75911, c_supplies))], (736 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _36705) ^ [_81863, _81865] : [tptptypes_7_819(_81865, _81863), -(firstordercollection(_81865))], (20 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _36705) ^ [_46322] : [tptpcol_4_24578(_46322), -(tptpcol_3_16386(_46322))], (3284 ^ _36705) ^ [_74556] : [-(tptpquantity(f_tptpquantityfn_21(_74556)))], (1130 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _36705) ^ [_75838] : [isa(_75838, c_supplies), -(supplies(_75838))], (2986 ^ _36705) ^ [_70727] : [tptpcol_7_26628(_70727), -(isa(_70727, c_tptpcol_7_26628))], (4972 ^ _36705) ^ [_95430] : [tptpcol_5_16388(_95430), -(isa(_95430, c_tptpcol_5_16388))], (2310 ^ _36705) ^ [_62352] : [isa(_62352, c_tptpcol_16_25972), -(tptpcol_16_25972(_62352))], (58 ^ _36705) ^ [_37360] : [tptpcol_7_93186(_37360), -(tptpcol_6_92162(_37360))], (3404 ^ _36705) ^ [_76057] : [inanimateobject_nonnatural(_76057), -(isa(_76057, c_inanimateobject_nonnatural))], (676 ^ _36705) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _36705) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _36705) ^ [_101158, _101160] : [genls(_101160, _101158), -(collection(_101160))], (4780 ^ _36705) ^ [_93094] : [tptpcol_10_18567(_93094), -(isa(_93094, c_tptpcol_10_18567))], (3548 ^ _36705) ^ [_77819, _77821] : [tptptypes_7_396(_77821, _77819), -(firstordercollection(_77821))], (3566 ^ _36705) ^ [_78040] : [isa(_78040, c_tptpcol_16_29490), -(tptpcol_16_29490(_78040))], (2412 ^ _36705) ^ [_63597] : [tptpcol_7_18437(_63597), -(isa(_63597, c_tptpcol_7_18437))], (1622 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _36705) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _36705) ^ [_100641] : [isa(_100641, c_tptpcol_14_40429), -(tptpcol_14_40429(_100641))], (696 ^ _36705) ^ [_44318] : [tptpcol_11_18631(_44318), -(tptpcol_10_18567(_44318))], (1854 ^ _36705) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _36705) ^ [_71883, _71885, _71887] : [-(objectfoundinlocation(_71887, _71883)), objectfoundinlocation(_71887, _71885), objectfoundinlocation(_71885, _71883)], (3920 ^ _36705) ^ [_82411, _82413, _82415] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82415, _82413, _82411), n_1, _82415))], (3614 ^ _36705) ^ [_78628] : [isa(_78628, c_tptpcol_16_31868), -(tptpcol_16_31868(_78628))], (348 ^ _36705) ^ [_40523] : [tptpcol_12_92262(_40523), -(tptpcol_11_92230(_40523))], (464 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _36705) ^ [_102988, _102990, _102992] : [-(genlmt(_102992, _102988)), genlmt(_102992, _102990), genlmt(_102990, _102988)], (2956 ^ _36705) ^ [_70342, _70344] : [tptp_8_968(_70344, _70342), -(tptpcol_7_7172(_70344))], (4610 ^ _36705) ^ [_90965, _90967, _90969, _90971] : [-(natargument(f_relationexistsallfn(_90971, _90969, _90967, _90965), n_2, _90969))], (276 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _36705) ^ [_90531] : [tptpcol_5_114690(_90531), -(isa(_90531, c_tptpcol_5_114690))], (5300 ^ _36705) ^ [_99558] : [-(uniformresourcelocator(f_urlfn(_99558)))], (920 ^ _36705) ^ [_46736] : [tptpcol_3_98305(_46736), -(tptpcol_2_98304(_46736))], (5184 ^ _36705) ^ [_98082, _98084, _98086] : [-(subsetof(_98086, _98082)), subsetof(_98086, _98084), subsetof(_98084, _98082)], (1382 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _36705) ^ [_76422] : [isa(_76422, c_tptpcol_7_108547), -(tptpcol_7_108547(_76422))], (2190 ^ _36705) ^ [_60888] : [isa(_60888, c_tptpcol_5_90114), -(tptpcol_5_90114(_60888))], (1590 ^ _36705) ^ [_54062, _54064] : [tptptypes_7_396(_54064, _54062), -(tptptypes_6_388(_54064, _54062))], (5310 ^ _36705) ^ [_99685, _99687] : [-(natargument(f_contentmtofcdafromeventfn(_99687, _99685), n_1, _99687))], (936 ^ _36705) ^ [_46914] : [artsupplies(_46914), -(supplies(_46914))], (1256 ^ _36705) ^ [_50415] : [intangibleindividual(_50415), -(partiallyintangibleindividual(_50415))], (2328 ^ _36705) ^ [_62573, _62575] : [tptp_8_271(_62575, _62573), -(tptpcol_5_24579(_62575))], (3314 ^ _36705) ^ [_74939, _74941, _74943] : [-(natargument(f_instancewithrelationtofn(_74943, _74941, _74939), n_2, _74941))], (2068 ^ _36705) ^ [_59390, _59392] : [affiliatedwith(_59392, _59390), -(affiliatedwith(_59390, _59392))], (4684 ^ _36705) ^ [_91926] : [tptpcol_11_40388(_91926), -(isa(_91926, c_tptpcol_11_40388))], (4046 ^ _36705) ^ [_84016] : [isa(_84016, c_tptpcol_0_0), -(tptpcol_0_0(_84016))], (1772 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _36705) ^ [_43056] : [fixedordercollection(_43056), -(collection(_43056))], (3982 ^ _36705) ^ [_83194] : [terroristgroup(_83194), -(isa(_83194, c_terroristgroup))], (2884 ^ _36705) ^ [_69464] : [tptpcol_8_18438(_69464), -(isa(_69464, c_tptpcol_8_18438))], (3798 ^ _36705) ^ [_80904] : [isa(_80904, c_tptpcol_1_1), -(tptpcol_1_1(_80904))], (5416 ^ _36705) ^ [_101008, _101010] : [genls(_101010, _101008), -(collection(_101008))], (374 ^ _36705) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _36705) ^ [_82507, _82509, _82511] : [-(collection(f_subcollectionofwithrelationtotypefn(_82511, _82509, _82507)))], (5500 ^ _36705) ^ [_102070, _102072] : [disjointwith(_102072, _102070), -(collection(_102070))], (112 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _36705) ^ [_75814] : [-(tptpquantity(f_tptpquantityfn_14(_75814)))], (5506 ^ _36705) ^ [_102145, _102147] : [disjointwith(_102147, _102145), -(collection(_102147))], (3786 ^ _36705) ^ [_80758] : [isa(_80758, c_tptpcol_9_92165), -(tptpcol_9_92165(_80758))], (4594 ^ _36705) ^ [_90750] : [isa(_90750, c_tptpcol_4_106497), -(tptpcol_4_106497(_90750))], (1982 ^ _36705) ^ [_58340] : [-(tptpquantity(f_tptpquantityfn_6(_58340)))], (336 ^ _36705) ^ [_40398] : [location_underspecified(_40398), -(thing(_40398))], (4160 ^ _36705) ^ [_85403] : [tptpcol_11_18631(_85403), -(isa(_85403, c_tptpcol_11_18631))], (752 ^ _36705) ^ [_44917] : [tptpcol_14_22072(_44917), -(tptpcol_13_22071(_44917))], (5158 ^ _36705) ^ [_97743, _97745, _97747] : [-(subsetof(_97747, _97743)), subsetof(_97747, _97745), subsetof(_97745, _97743)], (2106 ^ _36705) ^ [_59864] : [pushingwithopenhand(_59864), -(isa(_59864, c_pushingwithopenhand))], (2710 ^ _36705) ^ [_67314, _67316, _67318, _67320] : [-(thing(f_relationallexistsfn(_67320, _67318, _67316, _67314)))], (1708 ^ _36705) ^ [_55390] : [-(tptpofobject(_55390, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55390)], (454 ^ _36705) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _36705) ^ [_67927] : [isa(_67927, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_67927))], (2094 ^ _36705) ^ [_59718] : [tptpcol_16_4451(_59718), -(isa(_59718, c_tptpcol_16_4451))], (4894 ^ _36705) ^ [_94481] : [isa(_94481, c_tptpcol_11_22023), -(tptpcol_11_22023(_94481))], (2788 ^ _36705) ^ [_68292] : [tptpcol_15_72793(_68292), -(isa(_68292, c_tptpcol_15_72793))], (2896 ^ _36705) ^ [_69610] : [tptpcol_15_30970(_69610), -(isa(_69610, c_tptpcol_15_30970))], (1158 ^ _36705) ^ [_49321, _49323, _49325, _49327] : [-(isa(f_relationallexistsfn(_49327, _49323, _49325, _49321), _49321)), isa(_49327, _49325), relationallexists(_49323, _49325, _49321)], (3446 ^ _36705) ^ [_76568] : [isa(_76568, c_tptpcol_8_109059), -(tptpcol_8_109059(_76568))], (638 ^ _36705) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _36705) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _36705) ^ [_41524] : [setorcollection(_41524), -(mathematicalthing(_41524))], (1262 ^ _36705) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _36705) ^ [_74530] : [-(natargument(f_tptpquantityfn_21(_74530), n_1, _74530))], (234 ^ _36705) ^ [_39259, _39261] : [tptptypes_8_390(_39261, _39259), -(tptptypes_7_389(_39261, _39259))], (1246 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _36705) ^ [_91478, _91480] : [tptptypes_8_390(_91480, _91478), -(firstordercollection(_91480))], (3888 ^ _36705) ^ [_82011] : [correctivelensprescription(_82011), -(isa(_82011, c_correctivelensprescription))], (3620 ^ _36705) ^ [_78701] : [tptpcol_16_31868(_78701), -(isa(_78701, c_tptpcol_16_31868))], (3422 ^ _36705) ^ [_76276] : [isa(_76276, c_tptpcol_14_22072), -(tptpcol_14_22072(_76276))], (1616 ^ _36705) ^ [_54359, _54361] : [tptptypes_6_818(_54361, _54359), -(tptptypes_5_802(_54361, _54359))], (738 ^ _36705) ^ [_44769] : [tptpcol_14_40429(_44769), -(tptpcol_13_40421(_44769))], (4882 ^ _36705) ^ [_94335] : [isa(_94335, c_tptpcol_10_22022), -(tptpcol_10_22022(_94335))], (210 ^ _36705) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _36705) ^ [_44484] : [mathematicalthing(_44484), -(mathematicalorcomputationalthing(_44484))], (3054 ^ _36705) ^ [_71583, _71585] : [objectfoundinlocation(_71585, _71583), -(spatialthing_nonsituational(_71583))], (4350 ^ _36705) ^ [_87742] : [isa(_87742, c_tptpcol_12_92262), -(tptpcol_12_92262(_87742))], (1388 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _36705) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _36705) ^ [_53777] : [tptpcol_8_114177(_53777), -(tptpcol_7_113665(_53777))], (3476 ^ _36705) ^ [_76933] : [tptpcol_15_93775(_76933), -(isa(_76933, c_tptpcol_15_93775))], (5340 ^ _36705) ^ [_100070, _100072, _100074] : [-(isa(_100074, _100070)), isa(_100074, _100072), genls(_100072, _100070)], (896 ^ _36705) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _36705) ^ [_68073] : [isa(_68073, c_militaryperson), -(militaryperson(_68073))], (1880 ^ _36705) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _36705) ^ [_79495, _79497] : [tptp_8_875(_79497, _79495), -(tptpcol_4_24578(_79495))], (1424 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _36705) ^ [_64181] : [tptpcol_6_108546(_64181), -(isa(_64181, c_tptpcol_6_108546))], (1450 ^ _36705) ^ [_52513] : [tptpcol_11_93764(_52513), -(tptpcol_10_93700(_52513))], (1676 ^ _36705) ^ [_55030] : [tptpcol_16_26926(_55030), -(tptpcol_15_26925(_55030))], (2842 ^ _36705) ^ [_68953] : [isa(_68953, c_tptpcol_15_109185), -(tptpcol_15_109185(_68953))], (3332 ^ _36705) ^ [_75179] : [isa(_75179, c_tptpcol_7_113665), -(tptpcol_7_113665(_75179))], (3380 ^ _36705) ^ [_75763] : [-(natfunction(f_tptpquantityfn_14(_75763), c_tptpquantityfn_14))], (1760 ^ _36705) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _36705) ^ [_36759] : [intangible(_36759), partiallytangible(_36759)], (2088 ^ _36705) ^ [_59645] : [isa(_59645, c_tptpcol_16_4451), -(tptpcol_16_4451(_59645))], (4462 ^ _36705) ^ [_89132, _89134, _89136] : [relationallinstance(_89136, _89134, _89132), -(collection(_89134))], (966 ^ _36705) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _36705) ^ [_92948] : [tptpcol_9_18439(_92948), -(isa(_92948, c_tptpcol_9_18439))], (1010 ^ _36705) ^ [_47718] : [tptpcol_12_118116(_47718), -(tptpcol_11_118084(_47718))], (2670 ^ _36705) ^ [_66775] : [tptpcol_7_21508(_66775), -(isa(_66775, c_tptpcol_7_21508))], (918 ^ _36705) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _36705) ^ [_80247] : [aspatialinformationstore(_80247), -(isa(_80247, c_aspatialinformationstore))], (3928 ^ _36705) ^ [_82537] : [isa(_82537, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82537))], (2074 ^ _36705) ^ [_59476] : [affiliatedwith(_59476, _59476)], (2694 ^ _36705) ^ [_67067] : [state_geopolitical(_67067), -(isa(_67067, c_state_geopolitical))], (4990 ^ _36705) ^ [_95649] : [isa(_95649, c_tptpcol_9_22021), -(tptpcol_9_22021(_95649))], (4660 ^ _36705) ^ [_91628, _91630] : [tptptypes_8_692(_91630, _91628), -(firstordercollection(_91630))], (4942 ^ _36705) ^ [_95065] : [isa(_95065, c_ridgeline_topographical), -(ridgeline_topographical(_95065))], (1532 ^ _36705) ^ [_53421] : [tptpcol_6_112641(_53421), -(tptpcol_5_110593(_53421))], (260 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _36705) ^ [_87669] : [navypersonnel(_87669), -(isa(_87669, c_navypersonnel))], (2584 ^ _36705) ^ [_65709, _65711] : [-(natfunction(f_citynamedfn(_65711, _65709), c_citynamedfn))], (120 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _36705) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _36705) ^ [_45006] : [tptpcol_14_93774(_45006), -(tptpcol_13_93766(_45006))], (4732 ^ _36705) ^ [_92510] : [tptpcol_10_92166(_92510), -(isa(_92510, c_tptpcol_10_92166))], (1740 ^ _36705) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _36705) ^ [_71450, _71452, _71454] : [-(arg1isa(_71454, _71450)), arg1isa(_71454, _71452), genls(_71452, _71450)], (5392 ^ _36705) ^ [_100714] : [tptpcol_14_40429(_100714), -(isa(_100714, c_tptpcol_14_40429))], (3852 ^ _36705) ^ [_81565] : [tptpcol_12_26919(_81565), -(isa(_81565, c_tptpcol_12_26919))], (212 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _36705) ^ [_58437] : [tptpcol_16_26939(_58437), -(isa(_58437, c_tptpcol_16_26939))], (242 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _36705) ^ [_76641] : [tptpcol_8_109059(_76641), -(isa(_76641, c_tptpcol_8_109059))], (4912 ^ _36705) ^ [_94700] : [tptpcol_5_20483(_94700), -(isa(_94700, c_tptpcol_5_20483))], (1796 ^ _36705) ^ [_56314] : [geolevel_4(_56314), -(geographicalregion(_56314))], (5126 ^ _36705) ^ [_97327, _97329, _97331] : [-(most(_97331, _97327)), most(_97331, _97329), subsetof(_97329, _97327)], (722 ^ _36705) ^ [_44591] : [tptpcol_15_93775(_44591), -(tptpcol_14_93774(_44591))], (2196 ^ _36705) ^ [_60961] : [tptpcol_5_90114(_60961), -(isa(_60961, c_tptpcol_5_90114))], (1286 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _36705) ^ [_84673] : [tptpcol_5_106498(_84673), -(isa(_84673, c_tptpcol_5_106498))], (2566 ^ _36705) ^ [_65490] : [tptpcol_16_130924(_65490), -(isa(_65490, c_tptpcol_16_130924))], (1768 ^ _36705) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _36705) ^ [_66406, _66408] : [tptp_9_51(_66408, _66406), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66406))], (1632 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _36705) ^ [_88903, _88905] : [tptpofobject(_88905, _88903), -(tptpquantity(_88903))], (4426 ^ _36705) ^ [_88682] : [-(natfunction(f_tptpquantityfn_1(_88682), c_tptpquantityfn_1))], (4234 ^ _36705) ^ [_86329] : [tptpcol_14_92264(_86329), -(isa(_86329, c_tptpcol_14_92264))], (1656 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _36705) ^ [_68657, _68659] : [tptptypes_8_823(_68659, _68657), -(firstordercollection(_68657))], (1268 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _36705) ^ [_38048] : [tptpcol_11_22023(_38048), -(tptpcol_10_22022(_38048))], (4630 ^ _36705) ^ [_91253, _91255] : [tptptypes_7_389(_91255, _91253), -(firstordercollection(_91253))], (2866 ^ _36705) ^ [_69245] : [isa(_69245, c_tptpcol_12_118116), -(tptpcol_12_118116(_69245))], (1734 ^ _36705) ^ [_55673] : [tptpcol_0_0(_55673), -(individual(_55673))], (4196 ^ _36705) ^ [_85847, _85849] : [tptptypes_9_401(_85849, _85847), -(firstordercollection(_85849))], (5410 ^ _36705) ^ [_100933, _100935] : [genls(_100935, _100933), -(collection(_100933))], (3994 ^ _36705) ^ [_83342, _83344] : [hasmembers(_83344, _83342), -(organization(_83344))], (5262 ^ _36705) ^ [_99077, _99079, _99081] : [-(genlinverse(_99077, _99079)), genlinverse(_99081, _99079), genlpreds(_99077, _99081)], (2208 ^ _36705) ^ [_61109, _61111] : [tptptypes_5_802(_61111, _61109), -(firstordercollection(_61111))], (944 ^ _36705) ^ [_47003] : [tptpcol_8_26629(_47003), -(tptpcol_7_26628(_47003))], (1254 ^ _36705) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _36705) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _36705) ^ [_91103, _91105] : [resultisaarg(_91105, _91103), -(positiveinteger(_91103))], (4228 ^ _36705) ^ [_86256] : [isa(_86256, c_tptpcol_14_92264), -(tptpcol_14_92264(_86256))], (3602 ^ _36705) ^ [_78482] : [isa(_78482, c_tptpcol_9_118019), -(tptpcol_9_118019(_78482))], (1358 ^ _36705) ^ [_51502] : [tptpcol_2_65537(_51502), -(tptpcol_1_65536(_51502))], (2038 ^ _36705) ^ [_59021] : [tptpcol_15_4027(_59021), -(isa(_59021, c_tptpcol_15_4027))], (1958 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _36705) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _36705) ^ [_99743, _99745] : [-(microtheory(f_contentmtofcdafromeventfn(_99745, _99743)))], (424 ^ _36705) ^ [_41340, _41342] : [tptptypes_9_401(_41342, _41340), -(tptptypes_8_400(_41340, _41342))], (254 ^ _36705) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _36705) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _36705) ^ [_85549] : [tptpcol_12_18663(_85549), -(isa(_85549, c_tptpcol_12_18663))], (1482 ^ _36705) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _36705) ^ [_65271] : [isa(_65271, c_tptpcol_15_130923), -(tptpcol_15_130923(_65271))], (1840 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _36705) ^ [_51609] : [tptpcol_6_18436(_51609), -(tptpcol_5_16388(_51609))], (1434 ^ _36705) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _36705) ^ [_101778] : [isa(_101778, c_partiallytangible), -(partiallytangible(_101778))], (644 ^ _36705) ^ [_43735] : [-(tptp_9_720(_43735, f_relationallexistsfn(_43735, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_43735)], (12 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _36705) ^ [_55816] : [tptpcol_11_72774(_55816), -(tptpcol_10_72710(_55816))], (4204 ^ _36705) ^ [_85947] : [-(natargument(f_tptpquantityfn_13(_85947), n_1, _85947))], (172 ^ _36705) ^ [_38588] : [tptpcol_10_18567(_38588), -(tptpcol_9_18439(_38588))], (3970 ^ _36705) ^ [_83048] : [tptpcol_11_118084(_83048), -(isa(_83048, c_tptpcol_11_118084))], (1918 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _36705) ^ [_99920, _99922] : [isa(_99922, _99920), -(thing(_99922))], (3202 ^ _36705) ^ [_73484, _73486] : [no(_73486, _73484), -(no(_73484, _73486))], (996 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _36705) ^ [_101924] : [isa(_101924, c_intangible), -(intangible(_101924))], (270 ^ _36705) ^ [_39682] : [tptpcol_5_114690(_39682), -(tptpcol_4_114689(_39682))], (406 ^ _36705) ^ [_41146] : [-(tptpofobject(_41146, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41146)], (5216 ^ _36705) ^ [_98498, _98500] : [genlpreds(_98500, _98498), -(predicate(_98500))], (3578 ^ _36705) ^ [_78186, _78188] : [tptp_9_720(_78188, _78186), -(tptpcol_5_28674(_78186))], (1700 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _36705) ^ [_78847] : [movement_translationevent(_78847), -(isa(_78847, c_movement_translationevent))], (5404 ^ _36705) ^ [_100860] : [tptpcol_15_40430(_100860), -(isa(_100860, c_tptpcol_15_40430))], (1570 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _36705) ^ [_72181, _72183, _72185] : [-(objectfoundinlocation(_72185, _72181)), objectfoundinlocation(_72185, _72183), geographicallysubsumes(_72181, _72183)], (5244 ^ _36705) ^ [_98854] : [predicate(_98854), -(genlpreds(_98854, _98854))], (2124 ^ _36705) ^ [_60083] : [-(natfunction(f_tptpquantityfn_2(_60083), c_tptpquantityfn_2))], (2082 ^ _36705) ^ [_59572] : [footballteam(_59572), -(isa(_59572, c_footballteam))], (1440 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _36705) ^ [_88107] : [computerdataartifact(_88107), -(isa(_88107, c_computerdataartifact))], (4106 ^ _36705) ^ [_84746] : [isa(_84746, c_tptpcol_12_109157), -(tptpcol_12_109157(_84746))], (2992 ^ _36705) ^ [_70800] : [isa(_70800, c_tptpcol_8_26629), -(tptpcol_8_26629(_70800))], (1238 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _36705) ^ [_38677] : [orderingpredicate(_38677), -(transitivebinarypredicate(_38677))], (1466 ^ _36705) ^ [_52691] : [tptpcol_4_90113(_52691), -(tptpcol_3_81921(_52691))], (294 ^ _36705) ^ [_39949] : [tptpcol_10_40324(_39949), -(tptpcol_9_40196(_39949))], (4978 ^ _36705) ^ [_95503] : [isa(_95503, c_tptpcol_8_22020), -(tptpcol_8_22020(_95503))], (720 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _36705) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _36705) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _36705) ^ [_43251] : [microtheory(_43251), -(aspatialinformationstore(_43251))], (5042 ^ _36705) ^ [_96297] : [isa(_96297, c_tptpcol_12_40420), -(tptpcol_12_40420(_96297))], (3178 ^ _36705) ^ [_73188] : [isa(_73188, c_tptpcol_3_16386), -(tptpcol_3_16386(_73188))], (1144 ^ _36705) ^ [_49157] : [physicalorderingpredicate(_49157), -(orderingpredicate(_49157))], (796 ^ _36705) ^ [_45398] : [-(tptpofobject(_45398, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45398)], (2280 ^ _36705) ^ [_61987] : [tptpcol_11_72774(_61987), -(isa(_61987, c_tptpcol_11_72774))], (1848 ^ _36705) ^ [_56865] : [tptpcol_13_92263(_56865), -(tptpcol_12_92262(_56865))], (5090 ^ _36705) ^ [_96881, _96883] : [most(_96883, _96881), -(setorcollection(_96881))], (2542 ^ _36705) ^ [_65198] : [tptpcol_7_92163(_65198), -(isa(_65198, c_tptpcol_7_92163))], (952 ^ _36705) ^ [_47092] : [tptpcol_9_109060(_47092), -(tptpcol_8_109059(_47092))], (728 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _36705) ^ [_42034] : [tptpcol_1_65536(_42034), -(tptpcol_0_0(_42034))], (828 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _36705) ^ [_75325] : [isa(_75325, c_artifact), -(artifact(_75325))], (688 ^ _36705) ^ [_44223, _44225] : [tptptypes_8_400(_44225, _44223), -(tptptypes_7_396(_44225, _44223))], (2136 ^ _36705) ^ [_60231] : [tptpcol_7_39939(_60231), -(isa(_60231, c_tptpcol_7_39939))], (934 ^ _36705) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _36705) ^ [_74803] : [airport_physical(_74803), -(isa(_74803, c_airport_physical))], (4000 ^ _36705) ^ [_83417] : [isa(_83417, c_terrorist), -(terrorist(_83417))], (2968 ^ _36705) ^ [_70496, _70498, _70500] : [relationexistsall(_70500, _70498, _70496), -(collection(_70498))], (448 ^ _36705) ^ [_41613] : [tptpcol_13_109173(_41613), -(tptpcol_12_109157(_41613))], (3488 ^ _36705) ^ [_77079] : [tptpcol_16_8886(_77079), -(isa(_77079, c_tptpcol_16_8886))], (1210 ^ _36705) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _36705) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _36705) ^ [_62060] : [isa(_62060, c_tptpcol_12_72775), -(tptpcol_12_72775(_62060))], (66 ^ _36705) ^ [_37449] : [tptpcol_13_40421(_37449), -(tptpcol_12_40420(_37449))], (2610 ^ _36705) ^ [_66041] : [tptpcol_14_26921(_66041), -(isa(_66041, c_tptpcol_14_26921))], (1390 ^ _36705) ^ [_51846] : [tptpcol_8_117763(_51846), -(tptpcol_7_117762(_51846))], (538 ^ _36705) ^ [_42563, _42565] : [tptptypes_7_819(_42565, _42563), -(tptptypes_6_818(_42565, _42563))], (1042 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _36705) ^ [_102563, _102565] : [-(mtvisible(_102563)), mtvisible(_102565), genlmt(_102565, _102563)], (136 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _36705) ^ [_80685] : [tptpcol_8_92164(_80685), -(isa(_80685, c_tptpcol_8_92164))], (4924 ^ _36705) ^ [_94846] : [tptpcol_13_72791(_94846), -(isa(_94846, c_tptpcol_13_72791))], (4480 ^ _36705) ^ [_89363] : [tptpcol_13_93766(_89363), -(isa(_89363, c_tptpcol_13_93766))], (1186 ^ _36705) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _36705) ^ [_72048, _72050, _72052] : [-(objectfoundinlocation(_72052, _72048)), objectfoundinlocation(_72052, _72050), geopoliticalsubdivision(_72048, _72050)], (2658 ^ _36705) ^ [_66629] : [reflexivebinarypredicate(_66629), -(isa(_66629, c_reflexivebinarypredicate))], (898 ^ _36705) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _36705) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _36705) ^ [_90239] : [tptpcol_12_93765(_90239), -(isa(_90239, c_tptpcol_12_93765))], (1726 ^ _36705) ^ [_55584] : [tptpcol_15_22076(_55584), -(tptpcol_14_22072(_55584))], (2238 ^ _36705) ^ [_61476] : [isa(_61476, c_tptpcol_15_50957), -(tptpcol_15_50957(_61476))], (2008 ^ _36705) ^ [_58656] : [isa(_58656, c_tptpcol_13_92263), -(tptpcol_13_92263(_58656))], (4858 ^ _36705) ^ [_94043] : [isa(_94043, c_individual), -(individual(_94043))], (2530 ^ _36705) ^ [_65052] : [tptpcol_16_130933(_65052), -(isa(_65052, c_tptpcol_16_130933))], (2322 ^ _36705) ^ [_62498, _62500] : [tptp_8_271(_62500, _62498), -(razor(_62498))], (1808 ^ _36705) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _36705) ^ [_84454] : [isa(_84454, c_tptpcol_5_24579), -(tptpcol_5_24579(_84454))], (3912 ^ _36705) ^ [_82307] : [issuingaprescription(_82307), -(isa(_82307, c_issuingaprescription))], (2518 ^ _36705) ^ [_64906] : [tptpcol_15_130931(_64906), -(isa(_64906, c_tptpcol_15_130931))], (3768 ^ _36705) ^ [_80539] : [fixedordercollection(_80539), -(isa(_80539, c_fixedordercollection))], (5194 ^ _36705) ^ [_98215, _98217, _98219] : [-(subsetof(_98219, _98215)), subsetof(_98219, _98217), subsetof(_98217, _98215)], (208 ^ _36705) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _36705) ^ [_92802] : [orderingpredicate(_92802), -(isa(_92802, c_orderingpredicate))], (2490 ^ _36705) ^ [_64550, _64552] : [few(_64552, _64550), -(setorcollection(_64552))], (2962 ^ _36705) ^ [_70417, _70419, _70421] : [relationexistsall(_70421, _70419, _70417), -(collection(_70417))], (50 ^ _36705) ^ [_37265, _37267] : [subsetof(_37267, _37265), -(most(_37267, _37265))], (1846 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _36705) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _36705) ^ [_83720] : [isa(_83720, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83720))], (4606 ^ _36705) ^ [_90896, _90898, _90900, _90902] : [-(natfunction(f_relationexistsallfn(_90902, _90900, _90898, _90896), c_relationexistsallfn))], (902 ^ _36705) ^ [_46536, _46538] : [genls(_46538, _46536), -(collection(_46538))], (1076 ^ _36705) ^ [_48429] : [tptpcol_10_26886(_48429), -(tptpcol_9_26885(_48429))], (114 ^ _36705) ^ [_37959] : [tptpcol_5_20483(_37959), -(tptpcol_4_16387(_37959))], (3708 ^ _36705) ^ [_79803, _79805, _79807] : [relationallexists(_79807, _79805, _79803), -(binarypredicate(_79807))], (3134 ^ _36705) ^ [_72624, _72626, _72628] : [-(natargument(f_subcollectionofwithrelationtofn(_72628, _72626, _72624), n_1, _72628))], (4052 ^ _36705) ^ [_84089] : [tptpcol_0_0(_84089), -(isa(_84089, c_tptpcol_0_0))], (4608 ^ _36705) ^ [_90930, _90932, _90934, _90936] : [-(natargument(f_relationexistsallfn(_90936, _90934, _90932, _90930), n_1, _90936))], (2100 ^ _36705) ^ [_59791] : [isa(_59791, c_pushingwithopenhand), -(pushingwithopenhand(_59791))], (926 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _36705) ^ [_57138] : [tptpcol_15_26925(_57138), -(tptpcol_14_26921(_57138))], (4014 ^ _36705) ^ [_83594, _83596, _83598] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83598, _83596, _83594), n_1, _83598))], (416 ^ _36705) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _36705) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _36705) ^ [_95795] : [isa(_95795, c_transitivebinarypredicate), -(transitivebinarypredicate(_95795))], (3678 ^ _36705) ^ [_79422] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79422), -(isa(_79422, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _36705) ^ [_38766] : [tptpcol_11_92230(_38766), -(tptpcol_10_92166(_38766))], (3020 ^ _36705) ^ [_71143] : [-(microtheory(f_contextofpcwfn(_71143)))], (4636 ^ _36705) ^ [_91328, _91330] : [tptptypes_7_389(_91330, _91328), -(firstordercollection(_91330))], (1068 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _36705) ^ [_37114, _37116, _37118] : [-(genlpreds(_37118, _37114)), genlinverse(_37118, _37116), genlinverse(_37116, _37114)], (750 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _36705) ^ [_45309] : [tptpcol_9_72709(_45309), -(tptpcol_8_72708(_45309))], (660 ^ _36705) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _36705) ^ [_66187] : [tptpcol_3_65538(_66187), -(isa(_66187, c_tptpcol_3_65538))], (1312 ^ _36705) ^ [_51015] : [tptpcol_6_20484(_51015), -(tptpcol_5_20483(_51015))], (2682 ^ _36705) ^ [_66921] : [hpkb_subnationalagent(_66921), -(isa(_66921, c_hpkb_subnationalagent))], (4906 ^ _36705) ^ [_94627] : [isa(_94627, c_tptpcol_5_20483), -(tptpcol_5_20483(_94627))], (5306 ^ _36705) ^ [_99633] : [-(computerdataartifact(f_urlreferentfn(_99633)))], (2424 ^ _36705) ^ [_63743] : [tptpcol_6_18436(_63743), -(isa(_63743, c_tptpcol_6_18436))], (318 ^ _36705) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _36705) ^ [_67140, _67142, _67144, _67146] : [-(natfunction(f_relationallexistsfn(_67146, _67144, _67142, _67140), c_relationallexistsfn))], (3022 ^ _36705) ^ [_71167, _71169] : [arg1isa(_71169, _71167), -(collection(_71167))], (2370 ^ _36705) ^ [_63086] : [isa(_63086, c_aspatialthing), -(aspatialthing(_63086))], (668 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _36705) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _36705) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _36705) ^ [_77967] : [tptpcol_12_22055(_77967), -(isa(_77967, c_tptpcol_12_22055))], (3428 ^ _36705) ^ [_76349] : [tptpcol_14_22072(_76349), -(isa(_76349, c_tptpcol_14_22072))], (4600 ^ _36705) ^ [_90823] : [tptpcol_4_106497(_90823), -(isa(_90823, c_tptpcol_4_106497))], (1514 ^ _36705) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _36705) ^ [_83793] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_83793), -(isa(_83793, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _36705) ^ [_89801] : [tptpcol_7_72707(_89801), -(isa(_89801, c_tptpcol_7_72707))], (5512 ^ _36705) ^ [_102220, _102222] : [disjointwith(_102222, _102220), -(disjointwith(_102220, _102222))], (3732 ^ _36705) ^ [_80101] : [pushingababycarriage(_80101), -(isa(_80101, c_pushingababycarriage))], (4666 ^ _36705) ^ [_91703, _91705] : [tptptypes_9_693(_91705, _91703), -(firstordercollection(_91703))], (2442 ^ _36705) ^ [_63962] : [isa(_63962, c_tptpcol_11_109125), -(tptpcol_11_109125(_63962))], (1366 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _36705) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _36705) ^ [_50254] : [tptpcol_14_26921(_50254), -(tptpcol_13_26920(_50254))], (998 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _36705) ^ [_95284] : [tptpcol_4_16387(_95284), -(isa(_95284, c_tptpcol_4_16387))], (4220 ^ _36705) ^ [_86147, _86149] : [borderson(_86149, _86147), -(borderson(_86147, _86149))], (3136 ^ _36705) ^ [_72656, _72658, _72660] : [-(natargument(f_subcollectionofwithrelationtofn(_72660, _72658, _72656), n_2, _72658))], (866 ^ _36705) ^ [_46138] : [geographicalregion(_46138), -(partiallytangible(_46138))], (3720 ^ _36705) ^ [_79955] : [tptpcol_16_10258(_79955), -(isa(_79955, c_tptpcol_16_10258))], (4430 ^ _36705) ^ [_88733] : [-(tptpquantity(f_tptpquantityfn_1(_88733)))], (2920 ^ _36705) ^ [_69902] : [tptpcol_14_109181(_69902), -(isa(_69902, c_tptpcol_14_109181))], (362 ^ _36705) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _36705) ^ [_67836] : [geolevel_1(_67836), -(isa(_67836, c_geolevel_1))], (2652 ^ _36705) ^ [_66556] : [isa(_66556, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66556))], (1624 ^ _36705) ^ [_54454] : [tptpcol_6_92162(_54454), -(tptpcol_5_90114(_54454))], (1116 ^ _36705) ^ [_48862] : [enduringthing_localized(_48862), -(spatialthing_nonsituational(_48862))], (916 ^ _36705) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _36705) ^ [_37722] : [tptpcol_5_16388(_37722), -(tptpcol_4_16387(_37722))], (2676 ^ _36705) ^ [_66848] : [isa(_66848, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_66848))], (2364 ^ _36705) ^ [_63013] : [tptpcol_9_93699(_63013), -(isa(_63013, c_tptpcol_9_93699))], (972 ^ _36705) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _36705) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _36705) ^ [_99361] : [isa(_99361, c_microtheory), -(microtheory(_99361))], (502 ^ _36705) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _36705) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _36705) ^ [_62133] : [tptpcol_12_72775(_62133), -(isa(_62133, c_tptpcol_12_72775))], (5374 ^ _36705) ^ [_100495] : [isa(_100495, c_tptpcol_10_72710), -(tptpcol_10_72710(_100495))], (3762 ^ _36705) ^ [_80466] : [isa(_80466, c_fixedordercollection), -(fixedordercollection(_80466))], (2586 ^ _36705) ^ [_65737, _65739] : [-(natargument(f_citynamedfn(_65739, _65737), n_1, _65739))], (710 ^ _36705) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _36705) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _36705) ^ [_60669] : [tptpcol_16_26926(_60669), -(isa(_60669, c_tptpcol_16_26926))], (4762 ^ _36705) ^ [_92875] : [isa(_92875, c_tptpcol_9_18439), -(tptpcol_9_18439(_92875))], (574 ^ _36705) ^ [_42967] : [tptpcol_9_92165(_42967), -(tptpcol_8_92164(_42967))], (1028 ^ _36705) ^ [_47914, _47916] : [most(_47916, _47914), -(setorcollection(_47916))], (702 ^ _36705) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _36705) ^ [_69756] : [tptpcol_16_30972(_69756), -(isa(_69756, c_tptpcol_16_30972))], (1074 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _36705) ^ [_50866, _50868] : [no(_50868, _50866), -(few(_50868, _50866))], (982 ^ _36705) ^ [_47415] : [tptpcol_14_109181(_47415), -(tptpcol_13_109173(_47415))], (5174 ^ _36705) ^ [_97949, _97951, _97953] : [-(subsetof(_97949, _97951)), subsetof(_97953, _97951), subsetof(_97949, _97953)], (2628 ^ _36705) ^ [_66260] : [isa(_66260, c_tptpcol_16_27189), -(tptpcol_16_27189(_66260))], (2232 ^ _36705) ^ [_61403] : [tptpcol_8_114177(_61403), -(isa(_61403, c_tptpcol_8_114177))], (4324 ^ _36705) ^ [_87432] : [isa(_87432, c_executionbyfiringsquad), -(executionbyfiringsquad(_87432))], (3542 ^ _36705) ^ [_77744, _77746] : [tptptypes_7_396(_77746, _77744), -(firstordercollection(_77744))], (486 ^ _36705) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _36705) ^ [_57629] : [tptpcol_13_72791(_57629), -(tptpcol_12_72775(_57629))], (4064 ^ _36705) ^ [_84235] : [geolevel_3(_84235), -(isa(_84235, c_geolevel_3))], (2250 ^ _36705) ^ [_61622] : [isa(_61622, c_tptpcol_16_50958), -(tptpcol_16_50958(_61622))], (1062 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _36705) ^ [_62867] : [tptpcol_10_93700(_62867), -(isa(_62867, c_tptpcol_10_93700))], (4020 ^ _36705) ^ [_83690, _83692, _83694] : [-(collection(f_subcollectionofwithrelationfromtypefn(_83694, _83692, _83690)))], (80 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _36705) ^ [_96091, _96093, _96095] : [-(geographicalsubregions(_96095, _96091)), geographicalsubregions(_96095, _96093), geographicalsubregions(_96093, _96091)], (4252 ^ _36705) ^ [_86548] : [isa(_86548, c_tptpcol_6_116738), -(tptpcol_6_116738(_86548))], (3190 ^ _36705) ^ [_73334, _73336] : [no(_73336, _73334), -(setorcollection(_73334))], (758 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _36705) ^ [_80174] : [isa(_80174, c_aspatialinformationstore), -(aspatialinformationstore(_80174))], (3918 ^ _36705) ^ [_82380, _82382, _82384] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82384, _82382, _82380), c_subcollectionofwithrelationtotypefn))], (794 ^ _36705) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _36705) ^ [_90677] : [tptpcol_3_98305(_90677), -(isa(_90677, c_tptpcol_3_98305))], (2358 ^ _36705) ^ [_62940] : [isa(_62940, c_tptpcol_9_93699), -(tptpcol_9_93699(_62940))], (5466 ^ _36705) ^ [_101645, _101647, _101649] : [-(genls(_101649, _101645)), genls(_101649, _101647), genls(_101647, _101645)], (5272 ^ _36705) ^ [_99210, _99212, _99214] : [-(genlinverse(_99214, _99210)), genlinverse(_99214, _99212), genlpreds(_99212, _99210)], (1018 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _36705) ^ [_51953] : [tptpcol_12_109157(_51953), -(tptpcol_11_109125(_51953))], (98 ^ _36705) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _36705) ^ [_40725] : [tptpcol_10_109061(_40725), -(tptpcol_9_109060(_40725))], (1232 ^ _36705) ^ [_50165] : [tptpcol_3_65538(_50165), -(tptpcol_2_65537(_50165))], (2226 ^ _36705) ^ [_61330] : [isa(_61330, c_tptpcol_8_114177), -(tptpcol_8_114177(_61330))], (2346 ^ _36705) ^ [_62794] : [isa(_62794, c_tptpcol_10_93700), -(tptpcol_10_93700(_62794))], (5588 ^ _36705) ^ [_103194] : [microtheory(_103194), -(genlmt(_103194, _103194))], (148 ^ _36705) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _36705) ^ [_79203] : [isa(_79203, c_unitvectorinterval), -(unitvectorinterval(_79203))], (1114 ^ _36705) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _36705) ^ [_99434] : [microtheory(_99434), -(isa(_99434, c_microtheory))], (2634 ^ _36705) ^ [_66333] : [tptpcol_16_27189(_66333), -(isa(_66333, c_tptpcol_16_27189))], (1816 ^ _36705) ^ [_56521] : [tptpcol_13_26920(_56521), -(tptpcol_12_26919(_56521))], (4264 ^ _36705) ^ [_86694, _86696] : [tptptypes_5_387(_86696, _86694), -(firstordercollection(_86694))], (4142 ^ _36705) ^ [_85184] : [isa(_85184, c_setorcollection), -(setorcollection(_85184))], (2512 ^ _36705) ^ [_64833] : [isa(_64833, c_tptpcol_15_130931), -(tptpcol_15_130931(_64833))], (4534 ^ _36705) ^ [_90020] : [isa(_90020, c_tptpcol_11_93764), -(tptpcol_11_93764(_90020))], (806 ^ _36705) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _36705) ^ [_76203] : [tptpcol_13_22071(_76203), -(isa(_76203, c_tptpcol_13_22071))], (4834 ^ _36705) ^ [_93751] : [isa(_93751, c_location_underspecified), -(location_underspecified(_93751))], (3286 ^ _36705) ^ [_74580, _74582] : [airporthasiatacode(_74582, _74580), -(stringoflengthfn3(_74580))], (4616 ^ _36705) ^ [_91070, _91072, _91074, _91076] : [-(thing(f_relationexistsallfn(_91076, _91074, _91072, _91070)))], (3228 ^ _36705) ^ [_73827, _73829, _73831] : [-(no(_73827, _73829)), no(_73831, _73829), genls(_73827, _73831)], (4288 ^ _36705) ^ [_86994] : [isa(_86994, c_shavingrazor_manual), -(shavingrazor_manual(_86994))], (1098 ^ _36705) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _36705) ^ [_80977] : [tptpcol_1_1(_80977), -(isa(_80977, c_tptpcol_1_1))], (3320 ^ _36705) ^ [_75033] : [isa(_75033, c_tptpcol_6_112641), -(tptpcol_6_112641(_75033))], (1744 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _36705) ^ [_74505] : [-(natfunction(f_tptpquantityfn_21(_74505), c_tptpquantityfn_21))], (820 ^ _36705) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _36705) ^ [_45990] : [tptpcol_7_113665(_45990), -(tptpcol_6_112641(_45990))], (1278 ^ _36705) ^ [_50652] : [tptpcol_7_92163(_50652), -(tptpcol_6_92162(_50652))], (1674 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _36705) ^ [_57789] : [-(tptpofobject(_57789, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_57789)], (2744 ^ _36705) ^ [_67763] : [isa(_67763, c_geolevel_1), -(geolevel_1(_67763))], (2860 ^ _36705) ^ [_69172] : [tptpcol_6_26627(_69172), -(isa(_69172, c_tptpcol_6_26627))], (4522 ^ _36705) ^ [_89874] : [isa(_89874, c_tptpcol_8_72708), -(tptpcol_8_72708(_89874))], (378 ^ _36705) ^ [_40832, _40834] : [tptptypes_6_388(_40834, _40832), -(tptptypes_5_387(_40834, _40832))], (4432 ^ _36705) ^ [_88757] : [isa(_88757, c_furpelt), -(furpelt(_88757))], (4720 ^ _36705) ^ [_92364] : [tptpcol_2_98304(_92364), -(isa(_92364, c_tptpcol_2_98304))], (3690 ^ _36705) ^ [_79570, _79572] : [tptp_8_875(_79572, _79570), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79572))], (4240 ^ _36705) ^ [_86402] : [isa(_86402, c_tptpcol_15_92268), -(tptpcol_15_92268(_86402))], (4708 ^ _36705) ^ [_92218] : [tptpcol_1_65536(_92218), -(isa(_92218, c_tptpcol_1_65536))], (2112 ^ _36705) ^ [_59937] : [isa(_59937, c_tptpcol_15_22076), -(tptpcol_15_22076(_59937))], (2664 ^ _36705) ^ [_66702] : [isa(_66702, c_tptpcol_7_21508), -(tptpcol_7_21508(_66702))], (150 ^ _36705) ^ [_38351] : [partiallytangible(_38351), -(enduringthing_localized(_38351))], (2718 ^ _36705) ^ [_67422, _67424] : [arg2isa(_67424, _67422), -(relation(_67424))], (768 ^ _36705) ^ [_45095] : [tptpcol_10_22022(_45095), -(tptpcol_9_22021(_45095))], (3374 ^ _36705) ^ [_75690] : [firstordercollection(_75690), -(isa(_75690, c_firstordercollection))], (2056 ^ _36705) ^ [_59240, _59242] : [affiliatedwith(_59242, _59240), -(agent_generic(_59240))], (4918 ^ _36705) ^ [_94773] : [isa(_94773, c_tptpcol_13_72791), -(tptpcol_13_72791(_94773))], (1142 ^ _36705) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _36705) ^ [_77006] : [isa(_77006, c_tptpcol_16_8886), -(tptpcol_16_8886(_77006))], (2572 ^ _36705) ^ [_65563] : [isa(_65563, c_intangibleindividual), -(intangibleindividual(_65563))], (4404 ^ _36705) ^ [_88401, _88403] : [inregion(_88403, _88401), -(spatialthing_nonsituational(_88403))], (5136 ^ _36705) ^ [_97460, _97462, _97464] : [-(most(_97464, _97460)), most(_97464, _97462), subsetof(_97462, _97460)], (2938 ^ _36705) ^ [_70121] : [isa(_70121, c_tptpcol_16_7738), -(tptpcol_16_7738(_70121))], (344 ^ _36705) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _36705) ^ [_42295] : [tptpcol_11_118084(_42295), -(tptpcol_10_118020(_42295))], (5014 ^ _36705) ^ [_95941, _95943] : [geographicalsubregions(_95943, _95941), -(geographicalregion(_95941))], (1294 ^ _36705) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _36705) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _36705) ^ [_97876] : [setorcollection(_97876), -(subsetof(_97876, _97876))], (1766 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _36705) ^ [_39593] : [tptpcol_4_106497(_39593), -(tptpcol_3_98305(_39593))], (360 ^ _36705) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _36705) ^ [_101366] : [collection(_101366), -(genls(_101366, _101366))], (3870 ^ _36705) ^ [_81788, _81790] : [tptptypes_7_819(_81790, _81788), -(firstordercollection(_81788))], (78 ^ _36705) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _36705) ^ [_72896] : [isa(_72896, c_tptpcol_4_65539), -(tptpcol_4_65539(_72896))], (5494 ^ _36705) ^ [_101997] : [intangible(_101997), -(isa(_101997, c_intangible))], (4678 ^ _36705) ^ [_91853] : [isa(_91853, c_tptpcol_11_40388), -(tptpcol_11_40388(_91853))], (4876 ^ _36705) ^ [_94262] : [partiallyintangibleindividual(_94262), -(isa(_94262, c_partiallyintangibleindividual))], (2478 ^ _36705) ^ [_64400, _64402] : [few(_64402, _64400), -(setorcollection(_64400))], (2026 ^ _36705) ^ [_58875] : [geolevel_4(_58875), -(isa(_58875, c_geolevel_4))], (3382 ^ _36705) ^ [_75788] : [-(natargument(f_tptpquantityfn_14(_75788), n_1, _75788))], (2166 ^ _36705) ^ [_60596] : [isa(_60596, c_tptpcol_16_26926), -(tptpcol_16_26926(_60596))], (5222 ^ _36705) ^ [_98573, _98575] : [genlpreds(_98575, _98573), -(predicate(_98575))], (342 ^ _36705) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _36705) ^ [_72750] : [isa(_72750, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72750))], (4094 ^ _36705) ^ [_84600] : [isa(_84600, c_tptpcol_5_106498), -(tptpcol_5_106498(_84600))], (3060 ^ _36705) ^ [_71658, _71660] : [objectfoundinlocation(_71660, _71658), -(spatialthing_localized(_71658))], (3834 ^ _36705) ^ [_81346] : [isa(_81346, c_tptpcol_11_26887), -(tptpcol_11_26887(_81346))], (1364 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _36705) ^ [_99507] : [-(natfunction(f_urlfn(_99507), c_urlfn))], (2184 ^ _36705) ^ [_60815] : [tptpcol_13_118117(_60815), -(isa(_60815, c_tptpcol_13_118117))], (654 ^ _36705) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _36705) ^ [_102838, _102840] : [genlmt(_102840, _102838), -(microtheory(_102840))], (2734 ^ _36705) ^ [_67630, _67632, _67634] : [-(arg2isa(_67634, _67630)), arg2isa(_67634, _67632), genls(_67632, _67630)], (3464 ^ _36705) ^ [_76787] : [tptpcol_14_93774(_76787), -(isa(_76787, c_tptpcol_14_93774))], (2130 ^ _36705) ^ [_60158] : [isa(_60158, c_tptpcol_7_39939), -(tptpcol_7_39939(_60158))], (3750 ^ _36705) ^ [_80320] : [isa(_80320, c_collection), -(collection(_80320))], (4202 ^ _36705) ^ [_85922] : [-(natfunction(f_tptpquantityfn_13(_85922), c_tptpquantityfn_13))], (1230 ^ _36705) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _36705) ^ [_91778, _91780] : [tptptypes_9_693(_91780, _91778), -(firstordercollection(_91780))], (3350 ^ _36705) ^ [_75398] : [artifact(_75398), -(isa(_75398, c_artifact))], (5152 ^ _36705) ^ [_97668, _97670] : [subsetof(_97670, _97668), -(setorcollection(_97670))], (1252 ^ _36705) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _36705) ^ [_70194] : [tptpcol_16_7738(_70194), -(isa(_70194, c_tptpcol_16_7738))], (5036 ^ _36705) ^ [_96224] : [geographicalregion(_96224), -(geographicalsubregions(_96224, _96224))], (1050 ^ _36705) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _36705) ^ [_53142] : [tptpcol_9_118019(_53142), -(tptpcol_8_117763(_53142))], (1950 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _36705) ^ [_55230] : [tptpcol_4_65539(_55230), -(tptpcol_3_65538(_55230))], (5368 ^ _36705) ^ [_100422] : [tptpcol_9_72709(_100422), -(isa(_100422, c_tptpcol_9_72709))], (1326 ^ _36705) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _36705) ^ [_72969] : [tptpcol_4_65539(_72969), -(isa(_72969, c_tptpcol_4_65539))], (3894 ^ _36705) ^ [_82084, _82086] : [products(_82086, _82084), -(artifact(_82084))], (3530 ^ _36705) ^ [_77594, _77596] : [tptptypes_9_824(_77596, _77594), -(firstordercollection(_77594))], (4420 ^ _36705) ^ [_88609] : [spatialthing_nonsituational(_88609), -(inregion(_88609, _88609))], (570 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _36705) ^ [_67174, _67176, _67178, _67180] : [-(natargument(f_relationallexistsfn(_67180, _67178, _67176, _67174), n_1, _67180))], (5054 ^ _36705) ^ [_96443] : [isa(_96443, c_tptpcol_13_40421), -(tptpcol_13_40421(_96443))], (2388 ^ _36705) ^ [_63305] : [tptpcol_7_117762(_63305), -(isa(_63305, c_tptpcol_7_117762))], (2454 ^ _36705) ^ [_64108] : [isa(_64108, c_tptpcol_6_108546), -(tptpcol_6_108546(_64108))], (3976 ^ _36705) ^ [_83121] : [isa(_83121, c_terroristgroup), -(terroristgroup(_83121))], (880 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _36705) ^ [_50759] : [tptpcol_16_130933(_50759), -(tptpcol_15_130931(_50759))], (1020 ^ _36705) ^ [_47825] : [tptpcol_7_26628(_47825), -(tptpcol_6_26627(_47825))], (2998 ^ _36705) ^ [_70873] : [tptpcol_8_26629(_70873), -(isa(_70873, c_tptpcol_8_26629))], (1306 ^ _36705) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _36705) ^ [_73042] : [isa(_73042, c_tptpcol_5_69635), -(tptpcol_5_69635(_73042))], (3172 ^ _36705) ^ [_73115] : [tptpcol_5_69635(_73115), -(isa(_73115, c_tptpcol_5_69635))], (4846 ^ _36705) ^ [_93897] : [isa(_93897, c_trajector_underspecified), -(trajector_underspecified(_93897))], (4136 ^ _36705) ^ [_85111] : [mathematicalthing(_85111), -(isa(_85111, c_mathematicalthing))], (3846 ^ _36705) ^ [_81492] : [isa(_81492, c_tptpcol_12_26919), -(tptpcol_12_26919(_81492))], (1406 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _36705) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _36705) ^ [_80393] : [collection(_80393), -(isa(_80393, c_collection))], (4124 ^ _36705) ^ [_84965] : [tptpcol_13_109173(_84965), -(isa(_84965, c_tptpcol_13_109173))], (4738 ^ _36705) ^ [_92583] : [isa(_92583, c_tptpcol_11_92230), -(tptpcol_11_92230(_92583))], (1106 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _36705) ^ [_62279] : [tptpcol_5_110593(_62279), -(isa(_62279, c_tptpcol_5_110593))], (2220 ^ _36705) ^ [_61257] : [tptpcol_16_72795(_61257), -(isa(_61257, c_tptpcol_16_72795))], (5350 ^ _36705) ^ [_100203] : [isa(_100203, c_inanimateobject), -(inanimateobject(_100203))], (1136 ^ _36705) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _36705) ^ [_99845, _99847] : [isa(_99847, _99845), -(collection(_99845))], (1642 ^ _36705) ^ [_54650] : [tptpcol_13_118117(_54650), -(tptpcol_12_118116(_54650))], (4498 ^ _36705) ^ [_89582] : [isa(_89582, c_tptpcol_10_40324), -(tptpcol_10_40324(_89582))], (1192 ^ _36705) ^ [_49719] : [-(hpkb_subnationalagent(_49719)), mtvisible(c_hpkbvocabmt), state_geopolitical(_49719)], (1902 ^ _36705) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _36705) ^ [_82234] : [isa(_82234, c_issuingaprescription), -(issuingaprescription(_82234))], (5204 ^ _36705) ^ [_98348, _98350] : [genlpreds(_98350, _98348), -(predicate(_98348))], (1426 ^ _36705) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _36705) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _36705) ^ [_51288] : [tptpcol_11_109125(_51288), -(tptpcol_10_109061(_51288))], (56 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _36705) ^ [_39771] : [tptpcol_12_93765(_39771), -(tptpcol_11_93764(_39771))], (3696 ^ _36705) ^ [_79645, _79647, _79649] : [relationallexists(_79649, _79647, _79645), -(collection(_79645))], (4690 ^ _36705) ^ [_91999] : [isa(_91999, c_marriagelicensedocument), -(marriagelicensedocument(_91999))], (1092 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _36705) ^ [_99657, _99659] : [-(natfunction(f_contentmtofcdafromeventfn(_99659, _99657), c_contentmtofcdafromeventfn))], (4540 ^ _36705) ^ [_90093] : [tptpcol_11_93764(_90093), -(isa(_90093, c_tptpcol_11_93764))], (1912 ^ _36705) ^ [_57540] : [tptpcol_5_110593(_57540), -(tptpcol_4_106497(_57540))], (5312 ^ _36705) ^ [_99714, _99716] : [-(natargument(f_contentmtofcdafromeventfn(_99716, _99714), n_2, _99714))], (4368 ^ _36705) ^ [_87961] : [thing(_87961), -(isa(_87961, c_thing))], (1596 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _36705) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _36705) ^ [_49852] : [tptpcol_8_22020(_49852), -(tptpcol_7_21508(_49852))], (3900 ^ _36705) ^ [_82159, _82161] : [products(_82161, _82159), -(creationordestructionevent(_82161))], (5362 ^ _36705) ^ [_100349] : [isa(_100349, c_tptpcol_9_72709), -(tptpcol_9_72709(_100349))], (2926 ^ _36705) ^ [_69975] : [isa(_69975, c_physicalorderingpredicate), -(physicalorderingpredicate(_69975))], (4088 ^ _36705) ^ [_84527] : [tptpcol_5_24579(_84527), -(isa(_84527, c_tptpcol_5_24579))], (2872 ^ _36705) ^ [_69318] : [tptpcol_12_118116(_69318), -(isa(_69318, c_tptpcol_12_118116))], (3774 ^ _36705) ^ [_80612] : [isa(_80612, c_tptpcol_8_92164), -(tptpcol_8_92164(_80612))], (3940 ^ _36705) ^ [_82683] : [isa(_82683, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_82683))], (3248 ^ _36705) ^ [_74093, _74095, _74097] : [-(no(_74093, _74095)), no(_74097, _74095), subsetof(_74093, _74097)], (3922 ^ _36705) ^ [_82443, _82445, _82447] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82447, _82445, _82443), n_2, _82445))], (1996 ^ _36705) ^ [_58510] : [isa(_58510, c_tptpcol_16_62187), -(tptpcol_16_62187(_58510))], (4510 ^ _36705) ^ [_89728] : [isa(_89728, c_tptpcol_7_72707), -(tptpcol_7_72707(_89728))], (1904 ^ _36705) ^ [_57452] : [tptpcol_3_98305(_57452), tptpcol_3_114688(_57452)], (2148 ^ _36705) ^ [_60377] : [tptpcol_8_39940(_60377), -(isa(_60377, c_tptpcol_8_39940))], (988 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _36705) ^ [_64327] : [tptpcol_6_20484(_64327), -(isa(_64327, c_tptpcol_6_20484))], (1396 ^ _36705) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _36705) ^ [_90385] : [tptpcol_4_114689(_90385), -(isa(_90385, c_tptpcol_4_114689))], (178 ^ _36705) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _36705) ^ [_67244, _67246, _67248, _67250] : [-(natargument(f_relationallexistsfn(_67250, _67248, _67246, _67244), n_3, _67246))], (3356 ^ _36705) ^ [_75471] : [isa(_75471, c_tptpcol_13_18664), -(tptpcol_13_18664(_75471))], (5060 ^ _36705) ^ [_96516] : [tptpcol_13_40421(_96516), -(isa(_96516, c_tptpcol_13_40421))], (782 ^ _36705) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _36705) ^ [_87067] : [shavingrazor_manual(_87067), -(isa(_87067, c_shavingrazor_manual))], (1310 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _36705) ^ [_74876, _74878, _74880] : [-(natfunction(f_instancewithrelationtofn(_74880, _74878, _74876), c_instancewithrelationtofn))], (814 ^ _36705) ^ [_45592] : [firstordercollection(_45592), -(fixedordercollection(_45592))], (1586 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _36705) ^ [_98781] : [predicate(_98781), -(genlpreds(_98781, _98781))], (564 ^ _36705) ^ [_42860] : [tptpcol_2_2(_42860), -(tptpcol_1_1(_42860))], (1684 ^ _36705) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _36705) ^ [_42676] : [tptpcol_12_26919(_42676), -(tptpcol_11_26887(_42676))], (2126 ^ _36705) ^ [_60108] : [-(natargument(f_tptpquantityfn_2(_60108), n_1, _60108))], (244 ^ _36705) ^ [_39372, _39374, _39376, _39378] : [-(isa(f_relationexistsallfn(_39378, _39374, _39372, _39376), _39372)), isa(_39378, _39376), relationexistsall(_39374, _39372, _39376)], (1604 ^ _36705) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _36705) ^ [_51395] : [tptpcol_8_93698(_51395), -(tptpcol_7_93186(_51395))], (1172 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _36705) ^ [_97254] : [setorcollection(_97254), -(most(_97254, _97254))], (3726 ^ _36705) ^ [_80028] : [isa(_80028, c_pushingababycarriage), -(pushingababycarriage(_80028))], (4034 ^ _36705) ^ [_83866, _83868] : [prettystring(_83868, _83866), -(controlcharacterfreestring(_83866))], (4070 ^ _36705) ^ [_84308] : [isa(_84308, c_tptpcol_4_24578), -(tptpcol_4_24578(_84308))], (5250 ^ _36705) ^ [_98927, _98929] : [genlinverse(_98929, _98927), -(binarypredicate(_98927))], (4362 ^ _36705) ^ [_87888] : [isa(_87888, c_thing), -(thing(_87888))], (1746 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _36705) ^ [_68146] : [militaryperson(_68146), -(isa(_68146, c_militaryperson))], (3958 ^ _36705) ^ [_82902] : [tptpcol_10_118020(_82902), -(isa(_82902, c_tptpcol_10_118020))], (222 ^ _36705) ^ [_39128, _39130] : [tptptypes_9_693(_39130, _39128), -(tptptypes_8_692(_39130, _39128))], (3132 ^ _36705) ^ [_72593, _72595, _72597] : [-(natfunction(f_subcollectionofwithrelationtofn(_72597, _72595, _72593), c_subcollectionofwithrelationtofn))], (990 ^ _36705) ^ [_47504] : [tptpcol_16_30972(_47504), -(tptpcol_15_30970(_47504))], (3596 ^ _36705) ^ [_78409] : [runningshorts(_78409), -(isa(_78409, c_runningshorts))], (5434 ^ _36705) ^ [_101233, _101235, _101237] : [-(genls(_101237, _101233)), genls(_101237, _101235), genls(_101235, _101233)], (1476 ^ _36705) ^ [_52798] : [tptpcol_10_93700(_52798), -(tptpcol_9_93699(_52798))], (4936 ^ _36705) ^ [_94992] : [tptpcol_14_72792(_94992), -(isa(_94992, c_tptpcol_14_72792))], (4774 ^ _36705) ^ [_93021] : [isa(_93021, c_tptpcol_10_18567), -(tptpcol_10_18567(_93021))], (4726 ^ _36705) ^ [_92437] : [isa(_92437, c_tptpcol_10_92166), -(tptpcol_10_92166(_92437))], (3672 ^ _36705) ^ [_79349] : [isa(_79349, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79349))], (156 ^ _36705) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _36705) ^ [_37870] : [tptpcol_14_72792(_37870), -(tptpcol_13_72791(_37870))], (386 ^ _36705) ^ [_40927] : [tptpcol_6_116738(_40927), -(tptpcol_5_114690(_40927))], (2044 ^ _36705) ^ [_59094] : [isa(_59094, c_pushingwithfingers), -(pushingwithfingers(_59094))], (3816 ^ _36705) ^ [_81123] : [tptpcol_2_2(_81123), -(isa(_81123, c_tptpcol_2_2))], (5228 ^ _36705) ^ [_98648, _98650, _98652] : [-(genlpreds(_98652, _98648)), genlpreds(_98652, _98650), genlpreds(_98650, _98648)], (330 ^ _36705) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _36705) ^ [_90312] : [isa(_90312, c_tptpcol_4_114689), -(tptpcol_4_114689(_90312))], (3590 ^ _36705) ^ [_78336] : [isa(_78336, c_runningshorts), -(runningshorts(_78336))], (1318 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _36705) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _36705) ^ [_66994] : [isa(_66994, c_state_geopolitical), -(state_geopolitical(_66994))], (5566 ^ _36705) ^ [_102913, _102915] : [genlmt(_102915, _102913), -(microtheory(_102915))], (3638 ^ _36705) ^ [_78920, _78922] : [directionoftranslation_throughout(_78922, _78920), -(unitvectorinterval(_78920))], (2598 ^ _36705) ^ [_65895] : [tptpcol_13_26920(_65895), -(isa(_65895, c_tptpcol_13_26920))], (5048 ^ _36705) ^ [_96370] : [tptpcol_12_40420(_96370), -(isa(_96370, c_tptpcol_12_40420))], (5582 ^ _36705) ^ [_103121] : [microtheory(_103121), -(genlmt(_103121, _103121))], (2578 ^ _36705) ^ [_65636] : [intangibleindividual(_65636), -(isa(_65636, c_intangibleindividual))], (1556 ^ _36705) ^ [_53688] : [tptpcol_16_50958(_53688), -(tptpcol_15_50957(_53688))], (4438 ^ _36705) ^ [_88830] : [furpelt(_88830), -(isa(_88830, c_furpelt))], (5102 ^ _36705) ^ [_97031, _97033] : [most(_97033, _97031), -(setorcollection(_97033))], (1952 ^ _36705) ^ [_57983] : [tptpcol_10_92166(_57983), -(tptpcol_9_92165(_57983))], (332 ^ _36705) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _36705) ^ [_60523] : [tptpcol_15_26925(_60523), -(isa(_60523, c_tptpcol_15_26925))], (1774 ^ _36705) ^ [_56077] : [tptpcol_7_21508(_56077), -(tptpcol_6_20484(_56077))], (104 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _36705) ^ [_84892] : [isa(_84892, c_tptpcol_13_109173), -(tptpcol_13_109173(_84892))], (970 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _36705) ^ [_96016, _96018] : [geographicalsubregions(_96018, _96016), -(geographicalregion(_96018))], (3110 ^ _36705) ^ [_72314, _72316, _72318] : [-(objectfoundinlocation(_72318, _72314)), objectfoundinlocation(_72318, _72316), subregions(_72314, _72316)], (2142 ^ _36705) ^ [_60304] : [isa(_60304, c_tptpcol_8_39940), -(tptpcol_8_39940(_60304))], (980 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _36705) ^ [_39039] : [tptpcol_12_40420(_39039), -(tptpcol_11_40388(_39039))], (3268 ^ _36705) ^ [_74359] : [isa(_74359, c_geographicalregion), -(geographicalregion(_74359))], (400 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _36705) ^ [_61184] : [isa(_61184, c_tptpcol_16_72795), -(tptpcol_16_72795(_61184))], (240 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _36705) ^ [_75544] : [tptpcol_13_18664(_75544), -(isa(_75544, c_tptpcol_13_18664))], (4398 ^ _36705) ^ [_88326, _88328] : [inregion(_88328, _88326), -(spatialthing_nonsituational(_88326))], (14 ^ _36705) ^ [_36847] : [tptpcol_15_40430(_36847), -(tptpcol_14_40429(_36847))], (5066 ^ _36705) ^ [_96589] : [isa(_96589, c_tptpcol_6_92162), -(tptpcol_6_92162(_96589))], (590 ^ _36705) ^ [_43145] : [tptpcol_1_1(_43145), tptpcol_1_65536(_43145)], (968 ^ _36705) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _36705) ^ [_102430, _102432, _102434] : [-(disjointwith(_102430, _102432)), disjointwith(_102434, _102432), genls(_102430, _102434)], (3148 ^ _36705) ^ [_72823] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_72823), -(isa(_72823, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _36705) ^ [_74730] : [isa(_74730, c_airport_physical), -(airport_physical(_74730))], (4468 ^ _36705) ^ [_89211, _89213, _89215] : [relationallinstance(_89215, _89213, _89211), -(binarypredicate(_89215))], (1598 ^ _36705) ^ [_54157] : [tptpcol_9_26885(_54157), -(tptpcol_8_26629(_54157))], (1060 ^ _36705) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _36705) ^ [_49246, _49248] : [disjointwith(_49248, _49246), -(collection(_49246))], (2394 ^ _36705) ^ [_63378] : [isa(_63378, c_tptpcol_8_117763), -(tptpcol_8_117763(_63378))], (64 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _36705) ^ [_81638, _81640] : [tptptypes_6_818(_81640, _81638), -(firstordercollection(_81638))], (2154 ^ _36705) ^ [_60450] : [isa(_60450, c_tptpcol_15_26925), -(tptpcol_15_26925(_60450))], (534 ^ _36705) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _36705) ^ [_44680] : [tptpcol_8_109059(_44680), -(tptpcol_7_108547(_44680))], (4582 ^ _36705) ^ [_90604] : [isa(_90604, c_tptpcol_3_98305), -(tptpcol_3_98305(_90604))], (5304 ^ _36705) ^ [_99607] : [-(natargument(f_urlreferentfn(_99607), n_1, _99607))], (5334 ^ _36705) ^ [_99995, _99997] : [isa(_99997, _99995), -(thing(_99997))], (864 ^ _36705) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _36705) ^ [_53231] : [individual(_53231), -(trajector_underspecified(_53231))], (3326 ^ _36705) ^ [_75106] : [tptpcol_6_112641(_75106), -(isa(_75106, c_tptpcol_6_112641))], (1522 ^ _36705) ^ [_53302] : [shavingrazor_manual(_53302), -(tptp_8_271(f_relationexistsallfn(_53302, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53302))], (5482 ^ _36705) ^ [_101851] : [partiallytangible(_101851), -(isa(_101851, c_partiallytangible))], (1782 ^ _36705) ^ [_56166] : [tptpcol_6_108546(_56166), -(tptpcol_5_106498(_56166))], (1356 ^ _36705) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _36705) ^ [_47611] : [tptpcol_9_18439(_47611), -(tptpcol_8_18438(_47611))], (2496 ^ _36705) ^ [_64625, _64627] : [few(_64627, _64625), -(setorcollection(_64627))], (3500 ^ _36705) ^ [_77227, _77229] : [orientation(_77229, _77227), -(spatialthing_localized(_77229))], (1572 ^ _36705) ^ [_53866] : [tptpcol_16_72795(_53866), -(tptpcol_15_72793(_53866))], (510 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _36705) ^ [_87140] : [isa(_87140, c_tptpcol_9_109060), -(tptpcol_9_109060(_87140))], (1026 ^ _36705) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _36705) ^ [_38499] : [tptpcol_3_81921(_38499), -(tptpcol_2_65537(_38499))], (612 ^ _36705) ^ [_43381] : [-(tptp_8_875(_43381, f_relationallexistsfn(_43381, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43381, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _36705) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _36705) ^ [_89436] : [isa(_89436, c_tptpcol_9_40196), -(tptpcol_9_40196(_89436))], (1612 ^ _36705) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _36705) ^ [_79882] : [isa(_79882, c_tptpcol_16_10258), -(tptpcol_16_10258(_79882))], (3946 ^ _36705) ^ [_82756] : [mathematicalorcomputationalthing(_82756), -(isa(_82756, c_mathematicalorcomputationalthing))], (4456 ^ _36705) ^ [_89053, _89055, _89057] : [relationallinstance(_89057, _89055, _89053), -(thing(_89053))], (4178 ^ _36705) ^ [_85622, _85624] : [tptptypes_8_400(_85624, _85622), -(firstordercollection(_85622))], (3338 ^ _36705) ^ [_75252] : [tptpcol_7_113665(_75252), -(isa(_75252, c_tptpcol_7_113665))], (546 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _36705) ^ [_72447] : [isa(_72447, c_ship), -(ship(_72447))], (670 ^ _36705) ^ [_44027] : [tptpcol_12_22055(_44027), -(tptpcol_11_22023(_44027))], (910 ^ _36705) ^ [_46629] : [tptpcol_13_22071(_46629), -(tptpcol_12_22055(_46629))], (1640 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _36705) ^ [_83658, _83660, _83662] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83662, _83660, _83658), n_3, _83658))], (958 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _36705) ^ [_63451] : [tptpcol_8_117763(_63451), -(isa(_63451, c_tptpcol_8_117763))], (394 ^ _36705) ^ [_41016] : [tptpcol_15_92268(_41016), -(tptpcol_14_92264(_41016))], (526 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _36705) ^ [_76495] : [tptpcol_7_108547(_76495), -(isa(_76495, c_tptpcol_7_108547))], (5108 ^ _36705) ^ [_97106, _97108] : [most(_97108, _97106), -(setorcollection(_97108))], (2244 ^ _36705) ^ [_61549] : [tptpcol_15_50957(_61549), -(isa(_61549, c_tptpcol_15_50957))], (4336 ^ _36705) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _36705) ^ [_74655, _74657] : [airporthasiatacode(_74657, _74655), -(airport_physical(_74657))], (2466 ^ _36705) ^ [_64254] : [isa(_64254, c_tptpcol_6_20484), -(tptpcol_6_20484(_64254))], (474 ^ _36705) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _36705) ^ [_64475, _64477] : [few(_64477, _64475), -(setorcollection(_64475))], (5316 ^ _36705) ^ [_99770, _99772] : [isa(_99772, _99770), -(collection(_99770))], (4006 ^ _36705) ^ [_83490] : [terrorist(_83490), -(isa(_83490, c_terrorist))], (142 ^ _36705) ^ [_38262] : [trajector_underspecified(_38262), -(location_underspecified(_38262))], (3494 ^ _36705) ^ [_77152, _77154] : [orientation(_77154, _77152), -(orientationvector(_77152))], (4148 ^ _36705) ^ [_85257] : [setorcollection(_85257), -(isa(_85257, c_setorcollection))], (3536 ^ _36705) ^ [_77669, _77671] : [tptptypes_9_824(_77671, _77669), -(firstordercollection(_77671))], (908 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _36705) ^ [_65344] : [tptpcol_15_130923(_65344), -(isa(_65344, c_tptpcol_15_130923))], (3018 ^ _36705) ^ [_71117] : [-(natargument(f_contextofpcwfn(_71117), n_1, _71117))], (1082 ^ _36705) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _36705) ^ [_64979] : [isa(_64979, c_tptpcol_16_130933), -(tptpcol_16_130933(_64979))], (292 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _36705) ^ [_65125] : [isa(_65125, c_tptpcol_7_92163), -(tptpcol_7_92163(_65125))], (4614 ^ _36705) ^ [_91035, _91037, _91039, _91041] : [-(natargument(f_relationexistsallfn(_91041, _91039, _91037, _91035), n_4, _91035))], (1788 ^ _36705) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _36705) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _36705) ^ [_62721] : [tptpcol_4_90113(_62721), -(isa(_62721, c_tptpcol_4_90113))], (4246 ^ _36705) ^ [_86475] : [tptpcol_15_92268(_86475), -(isa(_86475, c_tptpcol_15_92268))], (2824 ^ _36705) ^ [_68732, _68734] : [tptptypes_8_823(_68734, _68732), -(firstordercollection(_68734))], (520 ^ _36705) ^ [_42384] : [mathematicalorcomputationalthing(_42384), -(intangible(_42384))], (2590 ^ _36705) ^ [_65795, _65797] : [-(city(f_citynamedfn(_65797, _65795)))], (630 ^ _36705) ^ [_43587] : [tptpcol_10_118020(_43587), -(tptpcol_9_118019(_43587))], (496 ^ _36705) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _36705) ^ [_72520] : [ship(_72520), -(isa(_72520, c_ship))], (4528 ^ _36705) ^ [_89947] : [tptpcol_8_72708(_89947), -(isa(_89947, c_tptpcol_8_72708))], (4058 ^ _36705) ^ [_84162] : [isa(_84162, c_geolevel_3), -(geolevel_3(_84162))], (90 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _36705) ^ [_71808, _71810] : [objectfoundinlocation(_71810, _71808), -(spatialthing_localized(_71810))], (4208 ^ _36705) ^ [_85997, _85999] : [borderson(_85999, _85997), -(geographicalregion(_85997))], (1540 ^ _36705) ^ [_53510] : [tptpcol_12_72775(_53510), -(tptpcol_11_72774(_53510))], (5298 ^ _36705) ^ [_99532] : [-(natargument(f_urlfn(_99532), n_1, _99532))], (128 ^ _36705) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _36705) ^ [_81196, _81198] : [tptptypes_7_691(_81198, _81196), -(firstordercollection(_81196))], (662 ^ _36705) ^ [_43939] : [individual(_43939), setorcollection(_43939)], (1054 ^ _36705) ^ [_48203, _48205] : [tptptypes_8_823(_48205, _48203), -(tptptypes_7_819(_48205, _48203))], (2782 ^ _36705) ^ [_68219] : [isa(_68219, c_tptpcol_15_72793), -(tptpcol_15_72793(_68219))], (4654 ^ _36705) ^ [_91553, _91555] : [tptptypes_8_692(_91555, _91553), -(firstordercollection(_91553))], (364 ^ _36705) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _36705) ^ [_91000, _91002, _91004, _91006] : [-(natargument(f_relationexistsallfn(_91006, _91004, _91002, _91000), n_3, _91002))], (4184 ^ _36705) ^ [_85697, _85699] : [tptptypes_8_400(_85699, _85697), -(firstordercollection(_85699))], (3864 ^ _36705) ^ [_81713, _81715] : [tptptypes_6_818(_81715, _81713), -(firstordercollection(_81715))], (1832 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _36705) ^ [_95722] : [tptpcol_9_22021(_95722), -(isa(_95722, c_tptpcol_9_22021))], (1872 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _36705) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _36705) ^ [_86844, _86846] : [tptptypes_6_388(_86846, _86844), -(firstordercollection(_86844))], (1108 ^ _36705) ^ [_48773] : [tptpcol_4_16387(_48773), -(tptpcol_3_16386(_48773))], (928 ^ _36705) ^ [_46825] : [tptpcol_4_114689(_46825), -(tptpcol_3_114688(_46825))], (2406 ^ _36705) ^ [_63524] : [isa(_63524, c_tptpcol_7_18437), -(tptpcol_7_18437(_63524))], (3934 ^ _36705) ^ [_82610] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82610), -(isa(_82610, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _36705) ^ [_95868] : [transitivebinarypredicate(_95868), -(isa(_95868, c_transitivebinarypredicate))], (744 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _36705) ^ [_92729] : [isa(_92729, c_orderingpredicate), -(orderingpredicate(_92729))], (900 ^ _36705) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _36705) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _36705) ^ [_36936] : [tptpcol_10_72710(_36936), -(tptpcol_9_72709(_36936))], (3840 ^ _36705) ^ [_81419] : [tptpcol_11_26887(_81419), -(isa(_81419, c_tptpcol_11_26887))], (2014 ^ _36705) ^ [_58729] : [tptpcol_13_92263(_58729), -(isa(_58729, c_tptpcol_13_92263))], (556 ^ _36705) ^ [_42765, _42767] : [tptptypes_8_692(_42767, _42765), -(tptptypes_7_691(_42765, _42767))], (3184 ^ _36705) ^ [_73261] : [tptpcol_3_16386(_73261), -(isa(_73261, c_tptpcol_3_16386))], (874 ^ _36705) ^ [_46227, _46229] : [disjointwith(_46229, _46227), -(no(_46229, _46227))], (4828 ^ _36705) ^ [_93678] : [enduringthing_localized(_93678), -(isa(_93678, c_enduringthing_localized))], (1414 ^ _36705) ^ [_52113, _52115, _52117] : [isa(_52117, _52115), isa(_52117, _52113), disjointwith(_52115, _52113)], (588 ^ _36705) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _36705) ^ [_87359] : [tptpcol_10_109061(_87359), -(isa(_87359, c_tptpcol_10_109061))], (392 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _36705) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _36705) ^ [_67347, _67349] : [arg2isa(_67349, _67347), -(collection(_67347))], (5518 ^ _36705) ^ [_102297, _102299, _102301] : [-(disjointwith(_102301, _102297)), disjointwith(_102301, _102299), genls(_102297, _102299)], (2756 ^ _36705) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _36705) ^ [_67209, _67211, _67213, _67215] : [-(natargument(f_relationallexistsfn(_67215, _67213, _67211, _67209), n_2, _67213))], (3318 ^ _36705) ^ [_75003, _75005, _75007] : [-(thing(f_instancewithrelationtofn(_75007, _75005, _75003)))], (366 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _36705) ^ [_38855] : [tptpcol_2_98304(_38855), -(tptpcol_1_65536(_38855))], (1270 ^ _36705) ^ [_50563] : [tptpcol_16_130924(_50563), -(tptpcol_15_130923(_50563))], (830 ^ _36705) ^ [_45758] : [tptpcol_13_18664(_45758), -(tptpcol_12_18663(_45758))], (4786 ^ _36705) ^ [_93167] : [isa(_93167, c_tptpcol_2_65537), -(tptpcol_2_65537(_93167))], (1212 ^ _36705) ^ [_49941] : [-(tptp_9_51(f_relationexistsallfn(_49941, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _49941)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_49941, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _36705) ^ [_88180] : [isa(_88180, c_applicationcontext), -(applicationcontext(_88180))], (2950 ^ _36705) ^ [_70267, _70269] : [tptp_8_968(_70269, _70267), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70267))], (2974 ^ _36705) ^ [_70575, _70577, _70579] : [relationexistsall(_70579, _70577, _70575), -(binarypredicate(_70579))], (4966 ^ _36705) ^ [_95357] : [isa(_95357, c_tptpcol_5_16388), -(tptpcol_5_16388(_95357))], (678 ^ _36705) ^ [_44116] : [applicationcontext(_44116), -(microtheory(_44116))], (1330 ^ _36705) ^ [_51199] : [tptpcol_7_108547(_51199), -(tptpcol_6_108546(_51199))], (4 ^ _36705) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _36705) ^ [_63816] : [isa(_63816, c_tptpcol_8_93698), -(tptpcol_8_93698(_63816))], (28 ^ _36705) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _36705) ^ [_61034, _61036] : [tptptypes_5_802(_61036, _61034), -(firstordercollection(_61034))], (942 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _36705) ^ [_51698] : [tptpcol_8_18438(_51698), -(tptpcol_7_18437(_51698))], (5456 ^ _36705) ^ [_101512, _101514, _101516] : [-(genls(_101512, _101514)), genls(_101516, _101514), genls(_101512, _101516)], (622 ^ _36705) ^ [] : [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 ^ _36705) ^ [_86919, _86921] : [tptptypes_6_388(_86921, _86919), -(firstordercollection(_86921))], (3016 ^ _36705) ^ [_71092] : [-(natfunction(f_contextofpcwfn(_71092), c_contextofpcwfn))], (5072 ^ _36705) ^ [_96662] : [tptpcol_6_92162(_96662), -(isa(_96662, c_tptpcol_6_92162))], (596 ^ _36705) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _36705) ^ [_81271, _81273] : [tptptypes_7_691(_81273, _81271), -(firstordercollection(_81273))], (2724 ^ _36705) ^ [_67497, _67499, _67501] : [-(arg2isa(_67501, _67497)), arg2isa(_67501, _67499), genls(_67499, _67497)], (1034 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _36705) ^ [_65417] : [isa(_65417, c_tptpcol_16_130924), -(tptpcol_16_130924(_65417))], (2062 ^ _36705) ^ [_59315, _59317] : [affiliatedwith(_59317, _59315), -(agent_generic(_59317))], (4702 ^ _36705) ^ [_92145] : [isa(_92145, c_tptpcol_1_65536), -(tptpcol_1_65536(_92145))], (1084 ^ _36705) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _36705) ^ [_77521] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77521), -(isa(_77521, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _36705) ^ [_63889] : [tptpcol_8_93698(_63889), -(isa(_63889, c_tptpcol_8_93698))], (4546 ^ _36705) ^ [_90166] : [isa(_90166, c_tptpcol_12_93765), -(tptpcol_12_93765(_90166))], (580 ^ _36705) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _36705) ^ [_87815] : [tptpcol_12_92262(_87815), -(isa(_87815, c_tptpcol_12_92262))], (858 ^ _36705) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _36705) ^ [_68511] : [isa(_68511, c_tptpcol_10_26886), -(tptpcol_10_26886(_68511))], (1658 ^ _36705) ^ [_54828, _54830] : [tptptypes_9_824(_54830, _54828), -(tptptypes_8_823(_54830, _54828))], (1834 ^ _36705) ^ [_56717] : [tptpcol_9_40196(_56717), -(tptpcol_8_39940(_56717))], (1008 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _36705) ^ [_63232] : [isa(_63232, c_tptpcol_7_117762), -(tptpcol_7_117762(_63232))], (1464 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _36705) ^ [_93824] : [location_underspecified(_93824), -(isa(_93824, c_location_underspecified))], (3702 ^ _36705) ^ [_79724, _79726, _79728] : [relationallexists(_79728, _79726, _79724), -(collection(_79726))], (4816 ^ _36705) ^ [_93532] : [artsupplies(_93532), -(isa(_93532, c_artsupplies))], (1894 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _36705) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _36705) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _36705) ^ [_79070, _79072, _79074] : [-(directionoftranslation_throughout(_79070, _79072)), directionoftranslation_throughout(_79074, _79072), subevents(_79074, _79070)], (4330 ^ _36705) ^ [_87505] : [executionbyfiringsquad(_87505), -(isa(_87505, c_executionbyfiringsquad))], (1580 ^ _36705) ^ [_53955] : [tptpcol_6_71683(_53955), -(tptpcol_5_69635(_53955))], (1926 ^ _36705) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _36705) ^ [_63670] : [isa(_63670, c_tptpcol_6_18436), -(tptpcol_6_18436(_63670))], (888 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _36705) ^ [_48536] : [tptpcol_15_72793(_48536), -(tptpcol_14_72792(_48536))], (1100 ^ _36705) ^ [_48684] : [navypersonnel(_48684), -(militaryperson(_48684))], (2764 ^ _36705) ^ [_68000] : [spatialthing_nonsituational(_68000), -(isa(_68000, c_spatialthing_nonsituational))], (1960 ^ _36705) ^ [_58072] : [tptpcol_14_118118(_58072), -(tptpcol_13_118117(_58072))], (3810 ^ _36705) ^ [_81050] : [isa(_81050, c_tptpcol_2_2), -(tptpcol_2_2(_81050))], (258 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _36705) ^ [_93240] : [tptpcol_2_65537(_93240), -(isa(_93240, c_tptpcol_2_65537))], (1472 ^ _36705) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _36705) ^ [_70048] : [physicalorderingpredicate(_70048), -(isa(_70048, c_physicalorderingpredicate))], (1248 ^ _36705) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _36705) ^ [_68438] : [tptpcol_9_26885(_68438), -(isa(_68438, c_tptpcol_9_26885))], (232 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _36705) ^ [_42200, _42202] : [geographicalsubregions(_42202, _42200), -(inregion(_42200, _42202))], (4954 ^ _36705) ^ [_95211] : [isa(_95211, c_tptpcol_4_16387), -(tptpcol_4_16387(_95211))], (1966 ^ _36705) ^ [_58143] : [isa(_58143, c_tptpcol_14_118118), -(tptpcol_14_118118(_58143))], (1500 ^ _36705) ^ [_53053] : [tptpcol_3_16386(_53053), -(tptpcol_2_2(_53053))], (1374 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _36705) ^ [_102688, _102690] : [genlmt(_102690, _102688), -(microtheory(_102688))], (3398 ^ _36705) ^ [_75984] : [isa(_75984, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_75984))], (4810 ^ _36705) ^ [_93459] : [isa(_93459, c_artsupplies), -(artsupplies(_93459))], (3470 ^ _36705) ^ [_76860] : [isa(_76860, c_tptpcol_15_93775), -(tptpcol_15_93775(_76860))], (1754 ^ _36705) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _36705) ^ [_94919] : [isa(_94919, c_tptpcol_14_72792), -(tptpcol_14_72792(_94919))], (3554 ^ _36705) ^ [_77894] : [isa(_77894, c_tptpcol_12_22055), -(tptpcol_12_22055(_77894))], (562 ^ _36705) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _36705) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _36705) ^ [_93605] : [isa(_93605, c_enduringthing_localized), -(enduringthing_localized(_93605))], (2794 ^ _36705) ^ [_68365] : [isa(_68365, c_tptpcol_9_26885), -(tptpcol_9_26885(_68365))], (4392 ^ _36705) ^ [_88253] : [applicationcontext(_88253), -(isa(_88253, c_applicationcontext))], (5450 ^ _36705) ^ [_101439] : [collection(_101439), -(genls(_101439, _101439))], (300 ^ _36705) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _36705) ^ [_78261, _78263] : [tptp_9_720(_78263, _78261), -(executionbyfiringsquad(_78263))], (2890 ^ _36705) ^ [_69537] : [isa(_69537, c_tptpcol_15_30970), -(tptpcol_15_30970(_69537))], (4642 ^ _36705) ^ [_91403, _91405] : [tptptypes_8_390(_91405, _91403), -(firstordercollection(_91403))], (3138 ^ _36705) ^ [_72688, _72690, _72692] : [-(natargument(f_subcollectionofwithrelationtofn(_72692, _72690, _72688), n_3, _72688))], (4948 ^ _36705) ^ [_95138] : [ridgeline_topographical(_95138), -(isa(_95138, c_ridgeline_topographical))], (4624 ^ _36705) ^ [_91178, _91180] : [resultisaarg(_91180, _91178), -(function_denotational(_91180))], (3506 ^ _36705) ^ [_77302] : [isa(_77302, c_orientationvector), -(orientationvector(_77302))], (1428 ^ _36705) ^ [_52281] : [aspatialinformationstore(_52281), -(aspatialthing(_52281))], (5282 ^ _36705) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _36705) ^ [_86621] : [tptpcol_6_116738(_86621), -(isa(_86621, c_tptpcol_6_116738))], (1250 ^ _36705) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _36705) ^ [_94116] : [individual(_94116), -(isa(_94116, c_individual))], (1780 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _36705) ^ [_92072] : [marriagelicensedocument(_92072), -(isa(_92072, c_marriagelicensedocument))], (5084 ^ _36705) ^ [_96808] : [tptpcol_7_93186(_96808), -(isa(_96808, c_tptpcol_7_93186))], (1530 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _36705) ^ [_75617] : [isa(_75617, c_firstordercollection), -(firstordercollection(_75617))], (3258 ^ _36705) ^ [_74226, _74228, _74230] : [-(no(_74230, _74226)), no(_74230, _74228), subsetof(_74226, _74228)], (1538 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _36705) ^ [_84819] : [tptpcol_12_109157(_84819), -(isa(_84819, c_tptpcol_12_109157))], (1682 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _36705) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _36705) ^ [_87213] : [tptpcol_9_109060(_87213), -(isa(_87213, c_tptpcol_9_109060))], (3924 ^ _36705) ^ [_82475, _82477, _82479] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82479, _82477, _82475), n_3, _82475))], (1344 ^ _36705) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _36705) ^ [_71317, _71319, _71321] : [-(arg1isa(_71321, _71317)), arg1isa(_71321, _71319), genls(_71319, _71317)], (186 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _36705) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _36705) ^ [_73694, _73696, _73698] : [-(no(_73694, _73696)), no(_73698, _73696), subsetof(_73694, _73698)], (84 ^ _36705) ^ [_37633] : [tptpcol_9_22021(_37633), -(tptpcol_8_22020(_37633))], (1888 ^ _36705) ^ [_57286] : [tptpcol_7_18437(_57286), -(tptpcol_6_18436(_57286))], (974 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _36705) ^ [_61914] : [isa(_61914, c_tptpcol_11_72774), -(tptpcol_11_72774(_61914))], (4214 ^ _36705) ^ [_86072, _86074] : [borderson(_86074, _86072), -(geographicalregion(_86074))], (822 ^ _36705) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _36705) ^ [_89509] : [tptpcol_9_40196(_89509), -(isa(_89509, c_tptpcol_9_40196))], (5356 ^ _36705) ^ [_100276] : [inanimateobject(_100276), -(isa(_100276, c_inanimateobject))], (544 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _36705) ^ [_61768] : [isa(_61768, c_tptpcol_6_71683), -(tptpcol_6_71683(_61768))], (1858 ^ _36705) ^ [_56972] : [tptpcol_5_90114(_56972), -(tptpcol_4_90113(_56972))], (4166 ^ _36705) ^ [_85476] : [isa(_85476, c_tptpcol_12_18663), -(tptpcol_12_18663(_85476))], (2502 ^ _36705) ^ [_64700, _64702, _64704] : [-(few(_64704, _64700)), few(_64704, _64702), subsetof(_64700, _64702)], (2848 ^ _36705) ^ [_69026] : [tptpcol_15_109185(_69026), -(isa(_69026, c_tptpcol_15_109185))], (3316 ^ _36705) ^ [_74971, _74973, _74975] : [-(natargument(f_instancewithrelationtofn(_74975, _74973, _74971), n_3, _74971))], (5256 ^ _36705) ^ [_99002, _99004] : [genlinverse(_99004, _99002), -(binarypredicate(_99004))], (466 ^ _36705) ^ [_41809] : [tptpcol_5_24579(_41809), -(tptpcol_4_24578(_41809))], (2316 ^ _36705) ^ [_62425] : [tptpcol_16_25972(_62425), -(isa(_62425, c_tptpcol_16_25972))], (1438 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _36705) ^ [_59499] : [isa(_59499, c_footballteam), -(footballteam(_59499))], (872 ^ _36705) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _36705) ^ [_58802] : [isa(_58802, c_geolevel_4), -(geolevel_4(_58802))], (3410 ^ _36705) ^ [_76130] : [isa(_76130, c_tptpcol_13_22071), -(tptpcol_13_22071(_76130))], (1978 ^ _36705) ^ [_58289] : [-(natfunction(f_tptpquantityfn_6(_58289), c_tptpquantityfn_6))], (3792 ^ _36705) ^ [_80831] : [tptpcol_9_92165(_80831), -(isa(_80831, c_tptpcol_9_92165))], (2616 ^ _36705) ^ [_66114] : [isa(_66114, c_tptpcol_3_65538), -(tptpcol_3_65538(_66114))], (2980 ^ _36705) ^ [_70654] : [isa(_70654, c_tptpcol_7_26628), -(tptpcol_7_26628(_70654))], (5398 ^ _36705) ^ [_100787] : [isa(_100787, c_tptpcol_15_40430), -(tptpcol_15_40430(_100787))], (776 ^ _36705) ^ [_45184] : [inanimateobject_nonnatural(_45184), -(inanimateobject(_45184))], (1474 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _36705) ^ [_58583] : [tptpcol_16_62187(_58583), -(isa(_58583, c_tptpcol_16_62187))], (684 ^ _36705) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _36705) ^ [_57718] : [computerdataartifact(_57718), -(artifact(_57718))], (220 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _36705) ^ [_79276] : [unitvectorinterval(_79276), -(isa(_79276, c_unitvectorinterval))], (1036 ^ _36705) ^ [_48007] : [tptpcol_15_109185(_48007), -(tptpcol_14_109181(_48007))], (3196 ^ _36705) ^ [_73409, _73411] : [no(_73411, _73409), -(setorcollection(_73411))], (2854 ^ _36705) ^ [_69099] : [isa(_69099, c_tptpcol_6_26627), -(tptpcol_6_26627(_69099))], (1856 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _36705) ^ [_46411] : [tptpcol_5_69635(_46411), -(tptpcol_4_65539(_46411))], (3274 ^ _36705) ^ [_74432] : [geographicalregion(_74432), -(isa(_74432, c_geographicalregion))], (4744 ^ _36705) ^ [_92656] : [tptpcol_11_92230(_92656), -(isa(_92656, c_tptpcol_11_92230))], (2830 ^ _36705) ^ [_68807] : [isa(_68807, c_tptpcol_16_92269), -(tptpcol_16_92269(_68807))], (1668 ^ _36705) ^ [_54941] : [tptpcol_11_26887(_54941), -(tptpcol_10_26886(_54941))], (1666 ^ _36705) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _36705) ^ [_62648] : [isa(_62648, c_tptpcol_4_90113), -(tptpcol_4_90113(_62648))], (4076 ^ _36705) ^ [_84381] : [tptpcol_4_24578(_84381), -(isa(_84381, c_tptpcol_4_24578))], (202 ^ _36705) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _36705) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _36705) ^ [_76714] : [isa(_76714, c_tptpcol_14_93774), -(tptpcol_14_93774(_76714))], (2878 ^ _36705) ^ [_69391] : [isa(_69391, c_tptpcol_8_18438), -(tptpcol_8_18438(_69391))], (1506 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _36705) ^ [_98423, _98425] : [genlpreds(_98425, _98423), -(predicate(_98423))], (1634 ^ _36705) ^ [_54561] : [tptpcol_8_92164(_54561), -(tptpcol_7_92163(_54561))], (1304 ^ _36705) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _36705) ^ [_88978, _88980] : [tptpofobject(_88980, _88978), -(partiallytangible(_88980))], (2646 ^ _36705) ^ [_66481, _66483] : [tptp_9_51(_66483, _66481), -(tptpcol_7_26628(_66483))], (950 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _36705) ^ [_71733, _71735] : [objectfoundinlocation(_71735, _71733), -(spatialthing_nonsituational(_71735))], (532 ^ _36705) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _36705) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _36705) ^ [_58216] : [tptpcol_14_118118(_58216), -(isa(_58216, c_tptpcol_14_118118))], (1686 ^ _36705) ^ [_55137, _55139] : [few(_55139, _55137), -(setorcollection(_55137))], (1180 ^ _36705) ^ [_49583, _49585] : [tptptypes_7_389(_49585, _49583), -(tptptypes_6_388(_49583, _49585))], (838 ^ _36705) ^ [_45847] : [artifact(_45847), -(inanimateobject_nonnatural(_45847))], (1354 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _36705) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _36705) ^ [_73561, _73563, _73565] : [-(no(_73565, _73561)), no(_73565, _73563), subsetof(_73561, _73563)], (1052 ^ _36705) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _36705) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _36705) ^ [_88034] : [isa(_88034, c_computerdataartifact), -(computerdataartifact(_88034))], (2128 ^ _36705) ^ [_60134] : [-(tptpquantity(f_tptpquantityfn_2(_60134)))], (3028 ^ _36705) ^ [_71242, _71244] : [arg1isa(_71244, _71242), -(relation(_71244))], (1150 ^ _36705) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _36705) ^ [_70946] : [isa(_70946, c_tptpcol_3_114688), -(tptpcol_3_114688(_70946))], (3988 ^ _36705) ^ [_83267, _83269] : [hasmembers(_83269, _83267), -(agent_generic(_83267))], (1794 ^ _36705) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _36705) ^ [_41720] : [tptpcol_5_106498(_41720), -(tptpcol_4_106497(_41720))], (1548 ^ _36705) ^ [_53599] : [tptpcol_7_72707(_53599), -(tptpcol_6_71683(_53599))], (4190 ^ _36705) ^ [_85772, _85774] : [tptptypes_9_401(_85774, _85772), -(firstordercollection(_85772))], (170 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _36705) ^ [_94189] : [isa(_94189, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_94189))], (3882 ^ _36705) ^ [_81938] : [isa(_81938, c_correctivelensprescription), -(correctivelensprescription(_81938))], (4130 ^ _36705) ^ [_85038] : [isa(_85038, c_mathematicalthing), -(mathematicalthing(_85038))], (4226 ^ _36705) ^ [_86233] : [borderson(_86233, _86233)], (1328 ^ _36705) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _36705) ^ [_37025] : [inanimateobject(_37025), -(partiallytangible(_37025))], (2592 ^ _36705) ^ [_65822] : [isa(_65822, c_tptpcol_13_26920), -(tptpcol_13_26920(_65822))], (3010 ^ _36705) ^ [_71019] : [tptpcol_3_114688(_71019), -(isa(_71019, c_tptpcol_3_114688))], (1702 ^ _36705) ^ [_55319] : [tptpcol_8_39940(_55319), -(tptpcol_7_39939(_55319))], (5422 ^ _36705) ^ [_101083, _101085] : [genls(_101085, _101083), -(collection(_101085))], (346 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _36705) ^ [_52602] : [tptpcol_6_26627(_52602), -(tptpcol_5_24579(_52602))], (1606 ^ _36705) ^ [_54246, _54248] : [genls(_54248, _54246), -(subsetof(_54248, _54246))], (1202 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _36705) ^ [_73960, _73962, _73964] : [-(no(_73964, _73960)), no(_73964, _73962), genls(_73960, _73962)], (3572 ^ _36705) ^ [_78113] : [tptpcol_16_29490(_78113), -(isa(_78113, c_tptpcol_16_29490))], (4852 ^ _36705) ^ [_93970] : [trajector_underspecified(_93970), -(isa(_93970, c_trajector_underspecified))], (1732 ^ _36705) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _36705) ^ [_63159] : [aspatialthing(_63159), -(isa(_63159, c_aspatialthing))], (598 ^ _36705) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _36705) ^ [_52042] : [tptpcol_7_117762(_52042), -(tptpcol_6_116738(_52042))], (1128 ^ _36705) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _36705) ^ [_94554] : [tptpcol_11_22023(_94554), -(isa(_94554, c_tptpcol_11_22023))], (812 ^ _36705) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _36705) ^ [_78995, _78997] : [directionoftranslation_throughout(_78997, _78995), -(movement_translationevent(_78997))], (766 ^ _36705) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _36705) ^ [_38137] : [partiallyintangibleindividual(_38137), -(individual(_38137))], (1980 ^ _36705) ^ [_58314] : [-(natargument(f_tptpquantityfn_6(_58314), n_1, _58314))], (5078 ^ _36705) ^ [_96735] : [isa(_96735, c_tptpcol_7_93186), -(tptpcol_7_93186(_96735))], (1168 ^ _36705) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _36705) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _36705) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _36705) ^ [_86769, _86771] : [tptptypes_5_387(_86771, _86769), -(firstordercollection(_86771))], (1398 ^ _36705) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _36705) ^ [_88707] : [-(natargument(f_tptpquantityfn_1(_88707), n_1, _88707))], (844 ^ _36705) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _36705) ^ [_92291] : [isa(_92291, c_tptpcol_2_98304), -(tptpcol_2_98304(_92291))], (422 ^ _36705) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _36705) ^ [_61841] : [tptpcol_6_71683(_61841), -(isa(_61841, c_tptpcol_6_71683))], (2050 ^ _36705) ^ [_59167] : [pushingwithfingers(_59167), -(isa(_59167, c_pushingwithfingers))], (1562 ^ _36705) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _36705) ^ [_60010] : [tptpcol_15_22076(_60010), -(isa(_60010, c_tptpcol_15_22076))], (1442 ^ _36705) ^ [_52424] : [tptpcol_9_93699(_52424), -(tptpcol_8_93698(_52424))], (1692 ^ _36705) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _36705) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _36705) ^ [_60742] : [isa(_60742, c_tptpcol_13_118117), -(tptpcol_13_118117(_60742))], (4410 ^ _36705) ^ [_88476, _88478, _88480] : [-(inregion(_88480, _88476)), inregion(_88480, _88478), inregion(_88478, _88476)], (1436 ^ _36705) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _36705) ^ [_78774] : [isa(_78774, c_movement_translationevent), -(movement_translationevent(_78774))], (4798 ^ _36705) ^ [_93313] : [isa(_93313, c_tptpcol_3_81921), -(tptpcol_3_81921(_93313))], (3952 ^ _36705) ^ [_82829] : [isa(_82829, c_tptpcol_10_118020), -(tptpcol_10_118020(_82829))], (432 ^ _36705) ^ [_41435] : [tptpcol_12_18663(_41435), -(tptpcol_11_18631(_41435))], (1528 ^ _36705) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _36705) ^ [_68584] : [tptpcol_10_26886(_68584), -(isa(_68584, c_tptpcol_10_26886))], (308 ^ _36705) ^ [_40109] : [-(tptpofobject(_40109, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40109)]], input).
% 43.76/42.97 ncf('1',plain,[-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)))],start(5596 ^ 0)).
% 43.76/42.97 ncf('1.1',plain,[mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)), -(mtvisible(c_currentworlddatacollectormt_nonhomocentric)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_currentworlddatacollectormt_nonhomocentric)],extension(5538 ^ 1,bind([[_102563, _102565], [c_currentworlddatacollectormt_nonhomocentric, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)]]))).
% 43.76/42.97 ncf('1.1.1',plain,[mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))],extension(1880 ^ 2)).
% 43.76/42.97 ncf('1.1.1.1',plain,[tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939), -(tptptypes_8_692(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))],extension(222 ^ 3,bind([[_39128, _39130], [c_tptpcol_16_26939, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)]]))).
% 43.76/42.97 ncf('1.1.1.1.1',plain,[tptptypes_8_692(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939), -(tptptypes_7_691(c_tptpcol_16_26939, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))],extension(556 ^ 4,bind([[_42765, _42767], [c_tptpcol_16_26939, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)]]))).
% 43.76/42.97 ncf('1.1.1.1.1.1',plain,[tptptypes_7_691(c_tptpcol_16_26939, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))],extension(5598 ^ 5)).
% 43.76/42.97 ncf('1.1.2',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_currentworlddatacollectormt_nonhomocentric)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_ldscdemonstrationspindleheadmt), genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric)],extension(5572 ^ 2,bind([[_102988, _102990, _102992], [c_currentworlddatacollectormt_nonhomocentric, c_ldscdemonstrationspindleheadmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)]]))).
% 43.76/42.97 ncf('1.1.2.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_ldscdemonstrationspindleheadmt)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_miptdatabase19681997_termsmt), genlmt(c_miptdatabase19681997_termsmt, c_ldscdemonstrationspindleheadmt)],extension(5572 ^ 3,bind([[_102988, _102990, _102992], [c_ldscdemonstrationspindleheadmt, c_miptdatabase19681997_termsmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)]]))).
% 43.76/42.97 ncf('1.1.2.1.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_miptdatabase19681997_termsmt)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt), genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt)],extension(5572 ^ 4,bind([[_102988, _102990, _102992], [c_miptdatabase19681997_termsmt, c_machinelearningspindleheadmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32)]]))).
% 43.76/42.97 ncf('1.1.2.1.1.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))],extension(1324 ^ 5)).
% 43.76/42.97 ncf('1.1.2.1.1.2',plain,[-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))],extension(228 ^ 5)).
% 43.76/42.97 ncf('1.1.2.1.2',plain,[-(genlmt(c_miptdatabase19681997_termsmt, c_ldscdemonstrationspindleheadmt)), genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt), genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt)],extension(5572 ^ 4,bind([[_102988, _102990, _102992], [c_ldscdemonstrationspindleheadmt, c_ldscgeneralcollectormt, c_miptdatabase19681997_termsmt]]))).
% 43.76/42.97 ncf('1.1.2.1.2.1',plain,[-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))],extension(208 ^ 5)).
% 43.76/42.97 ncf('1.1.2.1.2.2',plain,[-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))],extension(342 ^ 5)).
% 43.76/42.97 ncf('1.1.2.2',plain,[-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))],extension(230 ^ 3)).
% 43.76/42.97 %-----------------------------------------------------
% 43.76/42.97 End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------