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

% Computer : n013.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:35:58 EDT 2023

% Result   : Theorem 88.00s 85.32s
% Output   : Proof 88.00s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : CSR040+2 : TPTP v8.1.2. Released v3.4.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n013.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:12:20 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 88.00/85.32  
% 88.00/85.32  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 88.00/85.32  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 88.00/85.32  %-----------------------------------------------------
% 88.00/85.32  ncf(matrix, plain, [(5598 ^ _117567) ^ [] : [-(tptpcol_15_109185(c_tptpcol_16_62187))], (5596 ^ _117567) ^ [] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14)))], !, (1546 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _37233) ^ [_97709] : [setorcollection(_97709), -(most(_97709, _97709))], (1814 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _37233) ^ [_97484, _97486] : [most(_97486, _97484), -(setorcollection(_97484))], (1448 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _37233) ^ [_40566] : [tptpcol_13_93766(_40566), -(tptpcol_12_93765(_40566))], (1944 ^ _37233) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _37233) ^ [_85858] : [isa(_85858, c_tptpcol_11_18631), -(tptpcol_11_18631(_85858))], (960 ^ _37233) ^ [_47709] : [isa(_47709, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47709, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47709))], (5380 ^ _37233) ^ [_101096] : [tptpcol_10_72710(_101096), -(isa(_101096, c_tptpcol_10_72710))], (5554 ^ _37233) ^ [_103291, _103293] : [genlmt(_103293, _103291), -(microtheory(_103291))], (4888 ^ _37233) ^ [_94936] : [tptpcol_10_22022(_94936), -(isa(_94936, c_tptpcol_10_22022))], (4040 ^ _37233) ^ [_84469, _84471] : [prettystring(_84471, _84469), -(thing(_84471))], (2902 ^ _37233) ^ [_70211] : [isa(_70211, c_tptpcol_16_30972), -(tptpcol_16_30972(_70211))], (1802 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _37233) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _37233) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _37233) ^ [_48624] : [tptpcol_16_92269(_48624), -(tptpcol_15_92268(_48624))], (1650 ^ _37233) ^ [_55267] : [tptpcol_11_40388(_55267), -(tptpcol_10_40324(_55267))], (324 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _37233) ^ [_67807, _67809, _67811, _67813] : [-(natargument(f_relationallexistsfn(_67813, _67811, _67809, _67807), n_4, _67807))], (3088 ^ _37233) ^ [_72553] : [objectfoundinlocation(_72553, _72553)], (1122 ^ _37233) ^ [_49461] : [collection(_49461), individual(_49461)], (286 ^ _37233) ^ [_40388] : [tptpcol_8_72708(_40388), -(tptpcol_7_72707(_40388))], (1006 ^ _37233) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _37233) ^ [_93914] : [tptpcol_3_81921(_93914), -(isa(_93914, c_tptpcol_3_81921))], (1984 ^ _37233) ^ [_58892] : [isa(_58892, c_tptpcol_16_26939), -(tptpcol_16_26939(_58892))], (1284 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _37233) ^ [_86501] : [-(tptpquantity(f_tptpquantityfn_13(_86501)))], (2448 ^ _37233) ^ [_64563] : [tptpcol_11_109125(_64563), -(isa(_64563, c_tptpcol_11_109125))], (2604 ^ _37233) ^ [_66496] : [isa(_66496, c_tptpcol_14_26921), -(tptpcol_14_26921(_66496))], (2032 ^ _37233) ^ [_59476] : [isa(_59476, c_tptpcol_15_4027), -(tptpcol_15_4027(_59476))], (5146 ^ _37233) ^ [_98121, _98123] : [subsetof(_98123, _98121), -(setorcollection(_98121))], (3312 ^ _37233) ^ [_75435, _75437, _75439] : [-(natargument(f_instancewithrelationtofn(_75439, _75437, _75435), n_1, _75439))], (2836 ^ _37233) ^ [_69408] : [tptpcol_16_92269(_69408), -(isa(_69408, c_tptpcol_16_92269))], (4474 ^ _37233) ^ [_89818] : [isa(_89818, c_tptpcol_13_93766), -(tptpcol_13_93766(_89818))], (2914 ^ _37233) ^ [_70357] : [isa(_70357, c_tptpcol_14_109181), -(tptpcol_14_109181(_70357))], (3518 ^ _37233) ^ [_77976] : [isa(_77976, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77976))], (3964 ^ _37233) ^ [_83503] : [isa(_83503, c_tptpcol_11_118084), -(tptpcol_11_118084(_83503))], (2588 ^ _37233) ^ [_66294, _66296] : [-(natargument(f_citynamedfn(_66296, _66294), n_2, _66294))], (376 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _37233) ^ [_84091, _84093, _84095] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_84095, _84093, _84091), c_subcollectionofwithrelationfromtypefn))], (836 ^ _37233) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _37233) ^ [_87814] : [isa(_87814, c_tptpcol_10_109061), -(tptpcol_10_109061(_87814))], (2256 ^ _37233) ^ [_62223] : [tptpcol_16_50958(_62223), -(isa(_62223, c_tptpcol_16_50958))], (2298 ^ _37233) ^ [_62734] : [isa(_62734, c_tptpcol_5_110593), -(tptpcol_5_110593(_62734))], (1484 ^ _37233) ^ [_53415] : [aspatialinformationstore(_53415), -(intangibleindividual(_53415))], (3512 ^ _37233) ^ [_77903] : [orientationvector(_77903), -(isa(_77903, c_orientationvector))], (4504 ^ _37233) ^ [_90183] : [tptpcol_10_40324(_90183), -(isa(_90183, c_tptpcol_10_40324))], (1170 ^ _37233) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _37233) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _37233) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _37233) ^ [_90986] : [isa(_90986, c_tptpcol_5_114690), -(tptpcol_5_114690(_90986))], (3140 ^ _37233) ^ [_73248, _73250, _73252] : [-(collection(f_subcollectionofwithrelationtofn(_73252, _73250, _73248)))], (1648 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _37233) ^ [_96104] : [tptpcol_8_22020(_96104), -(isa(_96104, c_tptpcol_8_22020))], (1064 ^ _37233) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _37233) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _37233) ^ [_84154, _84156, _84158] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_84158, _84156, _84154), n_2, _84156))], (1824 ^ _37233) ^ [_57138] : [tptpcol_14_92264(_57138), -(tptpcol_13_92263(_57138))], (694 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _37233) ^ [_100110] : [-(natfunction(f_urlreferentfn(_100110), c_urlreferentfn))], (4338 ^ _37233) ^ [_88124] : [isa(_88124, c_navypersonnel), -(navypersonnel(_88124))], (3608 ^ _37233) ^ [_79083] : [tptpcol_9_118019(_79083), -(isa(_79083, c_tptpcol_9_118019))], (3392 ^ _37233) ^ [_76439] : [supplies(_76439), -(isa(_76439, c_supplies))], (736 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _37233) ^ [_82391, _82393] : [tptptypes_7_819(_82393, _82391), -(firstordercollection(_82393))], (20 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _37233) ^ [_46850] : [tptpcol_4_24578(_46850), -(tptpcol_3_16386(_46850))], (3284 ^ _37233) ^ [_75084] : [-(tptpquantity(f_tptpquantityfn_21(_75084)))], (1130 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _37233) ^ [_76366] : [isa(_76366, c_supplies), -(supplies(_76366))], (2986 ^ _37233) ^ [_71255] : [tptpcol_7_26628(_71255), -(isa(_71255, c_tptpcol_7_26628))], (4972 ^ _37233) ^ [_95958] : [tptpcol_5_16388(_95958), -(isa(_95958, c_tptpcol_5_16388))], (2310 ^ _37233) ^ [_62880] : [isa(_62880, c_tptpcol_16_25972), -(tptpcol_16_25972(_62880))], (58 ^ _37233) ^ [_37888] : [tptpcol_7_93186(_37888), -(tptpcol_6_92162(_37888))], (3404 ^ _37233) ^ [_76585] : [inanimateobject_nonnatural(_76585), -(isa(_76585, c_inanimateobject_nonnatural))], (676 ^ _37233) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _37233) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _37233) ^ [_101686, _101688] : [genls(_101688, _101686), -(collection(_101688))], (4780 ^ _37233) ^ [_93622] : [tptpcol_10_18567(_93622), -(isa(_93622, c_tptpcol_10_18567))], (3548 ^ _37233) ^ [_78347, _78349] : [tptptypes_7_396(_78349, _78347), -(firstordercollection(_78349))], (3566 ^ _37233) ^ [_78568] : [isa(_78568, c_tptpcol_16_29490), -(tptpcol_16_29490(_78568))], (2412 ^ _37233) ^ [_64125] : [tptpcol_7_18437(_64125), -(isa(_64125, c_tptpcol_7_18437))], (1622 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _37233) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _37233) ^ [_101169] : [isa(_101169, c_tptpcol_14_40429), -(tptpcol_14_40429(_101169))], (696 ^ _37233) ^ [_44846] : [tptpcol_11_18631(_44846), -(tptpcol_10_18567(_44846))], (1854 ^ _37233) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _37233) ^ [_72411, _72413, _72415] : [-(objectfoundinlocation(_72415, _72411)), objectfoundinlocation(_72415, _72413), objectfoundinlocation(_72413, _72411)], (3920 ^ _37233) ^ [_82939, _82941, _82943] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82943, _82941, _82939), n_1, _82943))], (3614 ^ _37233) ^ [_79156] : [isa(_79156, c_tptpcol_16_31868), -(tptpcol_16_31868(_79156))], (348 ^ _37233) ^ [_41051] : [tptpcol_12_92262(_41051), -(tptpcol_11_92230(_41051))], (464 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _37233) ^ [_103516, _103518, _103520] : [-(genlmt(_103520, _103516)), genlmt(_103520, _103518), genlmt(_103518, _103516)], (2956 ^ _37233) ^ [_70870, _70872] : [tptp_8_968(_70872, _70870), -(tptpcol_7_7172(_70872))], (4610 ^ _37233) ^ [_91493, _91495, _91497, _91499] : [-(natargument(f_relationexistsallfn(_91499, _91497, _91495, _91493), n_2, _91497))], (276 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _37233) ^ [_91059] : [tptpcol_5_114690(_91059), -(isa(_91059, c_tptpcol_5_114690))], (5300 ^ _37233) ^ [_100086] : [-(uniformresourcelocator(f_urlfn(_100086)))], (920 ^ _37233) ^ [_47264] : [tptpcol_3_98305(_47264), -(tptpcol_2_98304(_47264))], (5184 ^ _37233) ^ [_98610, _98612, _98614] : [-(subsetof(_98614, _98610)), subsetof(_98614, _98612), subsetof(_98612, _98610)], (1382 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _37233) ^ [_76950] : [isa(_76950, c_tptpcol_7_108547), -(tptpcol_7_108547(_76950))], (2190 ^ _37233) ^ [_61416] : [isa(_61416, c_tptpcol_5_90114), -(tptpcol_5_90114(_61416))], (1590 ^ _37233) ^ [_54590, _54592] : [tptptypes_7_396(_54592, _54590), -(tptptypes_6_388(_54592, _54590))], (5310 ^ _37233) ^ [_100213, _100215] : [-(natargument(f_contentmtofcdafromeventfn(_100215, _100213), n_1, _100215))], (936 ^ _37233) ^ [_47442] : [artsupplies(_47442), -(supplies(_47442))], (1256 ^ _37233) ^ [_50943] : [intangibleindividual(_50943), -(partiallyintangibleindividual(_50943))], (2328 ^ _37233) ^ [_63101, _63103] : [tptp_8_271(_63103, _63101), -(tptpcol_5_24579(_63103))], (3314 ^ _37233) ^ [_75467, _75469, _75471] : [-(natargument(f_instancewithrelationtofn(_75471, _75469, _75467), n_2, _75469))], (2068 ^ _37233) ^ [_59918, _59920] : [affiliatedwith(_59920, _59918), -(affiliatedwith(_59918, _59920))], (4684 ^ _37233) ^ [_92454] : [tptpcol_11_40388(_92454), -(isa(_92454, c_tptpcol_11_40388))], (4046 ^ _37233) ^ [_84544] : [isa(_84544, c_tptpcol_0_0), -(tptpcol_0_0(_84544))], (1772 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _37233) ^ [_43584] : [fixedordercollection(_43584), -(collection(_43584))], (3982 ^ _37233) ^ [_83722] : [terroristgroup(_83722), -(isa(_83722, c_terroristgroup))], (2884 ^ _37233) ^ [_69992] : [tptpcol_8_18438(_69992), -(isa(_69992, c_tptpcol_8_18438))], (3798 ^ _37233) ^ [_81432] : [isa(_81432, c_tptpcol_1_1), -(tptpcol_1_1(_81432))], (5416 ^ _37233) ^ [_101536, _101538] : [genls(_101538, _101536), -(collection(_101536))], (374 ^ _37233) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _37233) ^ [_83035, _83037, _83039] : [-(collection(f_subcollectionofwithrelationtotypefn(_83039, _83037, _83035)))], (5500 ^ _37233) ^ [_102598, _102600] : [disjointwith(_102600, _102598), -(collection(_102598))], (112 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _37233) ^ [_76342] : [-(tptpquantity(f_tptpquantityfn_14(_76342)))], (5506 ^ _37233) ^ [_102673, _102675] : [disjointwith(_102675, _102673), -(collection(_102675))], (3786 ^ _37233) ^ [_81286] : [isa(_81286, c_tptpcol_9_92165), -(tptpcol_9_92165(_81286))], (4594 ^ _37233) ^ [_91278] : [isa(_91278, c_tptpcol_4_106497), -(tptpcol_4_106497(_91278))], (1982 ^ _37233) ^ [_58868] : [-(tptpquantity(f_tptpquantityfn_6(_58868)))], (336 ^ _37233) ^ [_40926] : [location_underspecified(_40926), -(thing(_40926))], (4160 ^ _37233) ^ [_85931] : [tptpcol_11_18631(_85931), -(isa(_85931, c_tptpcol_11_18631))], (752 ^ _37233) ^ [_45445] : [tptpcol_14_22072(_45445), -(tptpcol_13_22071(_45445))], (5158 ^ _37233) ^ [_98271, _98273, _98275] : [-(subsetof(_98275, _98271)), subsetof(_98275, _98273), subsetof(_98273, _98271)], (2106 ^ _37233) ^ [_60392] : [pushingwithopenhand(_60392), -(isa(_60392, c_pushingwithopenhand))], (2710 ^ _37233) ^ [_67842, _67844, _67846, _67848] : [-(thing(f_relationallexistsfn(_67848, _67846, _67844, _67842)))], (1708 ^ _37233) ^ [_55918] : [-(tptpofobject(_55918, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55918)], (454 ^ _37233) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _37233) ^ [_68455] : [isa(_68455, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_68455))], (2094 ^ _37233) ^ [_60246] : [tptpcol_16_4451(_60246), -(isa(_60246, c_tptpcol_16_4451))], (4894 ^ _37233) ^ [_95009] : [isa(_95009, c_tptpcol_11_22023), -(tptpcol_11_22023(_95009))], (2788 ^ _37233) ^ [_68820] : [tptpcol_15_72793(_68820), -(isa(_68820, c_tptpcol_15_72793))], (2896 ^ _37233) ^ [_70138] : [tptpcol_15_30970(_70138), -(isa(_70138, c_tptpcol_15_30970))], (1158 ^ _37233) ^ [_49849, _49851, _49853, _49855] : [-(isa(f_relationallexistsfn(_49855, _49851, _49853, _49849), _49849)), isa(_49855, _49853), relationallexists(_49851, _49853, _49849)], (3446 ^ _37233) ^ [_77096] : [isa(_77096, c_tptpcol_8_109059), -(tptpcol_8_109059(_77096))], (638 ^ _37233) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _37233) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _37233) ^ [_42052] : [setorcollection(_42052), -(mathematicalthing(_42052))], (1262 ^ _37233) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _37233) ^ [_75058] : [-(natargument(f_tptpquantityfn_21(_75058), n_1, _75058))], (234 ^ _37233) ^ [_39787, _39789] : [tptptypes_8_390(_39789, _39787), -(tptptypes_7_389(_39789, _39787))], (1246 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _37233) ^ [_92006, _92008] : [tptptypes_8_390(_92008, _92006), -(firstordercollection(_92008))], (3888 ^ _37233) ^ [_82539] : [correctivelensprescription(_82539), -(isa(_82539, c_correctivelensprescription))], (3620 ^ _37233) ^ [_79229] : [tptpcol_16_31868(_79229), -(isa(_79229, c_tptpcol_16_31868))], (3422 ^ _37233) ^ [_76804] : [isa(_76804, c_tptpcol_14_22072), -(tptpcol_14_22072(_76804))], (1616 ^ _37233) ^ [_54887, _54889] : [tptptypes_6_818(_54889, _54887), -(tptptypes_5_802(_54889, _54887))], (738 ^ _37233) ^ [_45297] : [tptpcol_14_40429(_45297), -(tptpcol_13_40421(_45297))], (4882 ^ _37233) ^ [_94863] : [isa(_94863, c_tptpcol_10_22022), -(tptpcol_10_22022(_94863))], (210 ^ _37233) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _37233) ^ [_45012] : [mathematicalthing(_45012), -(mathematicalorcomputationalthing(_45012))], (3054 ^ _37233) ^ [_72111, _72113] : [objectfoundinlocation(_72113, _72111), -(spatialthing_nonsituational(_72111))], (4350 ^ _37233) ^ [_88270] : [isa(_88270, c_tptpcol_12_92262), -(tptpcol_12_92262(_88270))], (1388 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _37233) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _37233) ^ [_54305] : [tptpcol_8_114177(_54305), -(tptpcol_7_113665(_54305))], (3476 ^ _37233) ^ [_77461] : [tptpcol_15_93775(_77461), -(isa(_77461, c_tptpcol_15_93775))], (5340 ^ _37233) ^ [_100598, _100600, _100602] : [-(isa(_100602, _100598)), isa(_100602, _100600), genls(_100600, _100598)], (896 ^ _37233) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _37233) ^ [_68601] : [isa(_68601, c_militaryperson), -(militaryperson(_68601))], (1880 ^ _37233) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _37233) ^ [_80023, _80025] : [tptp_8_875(_80025, _80023), -(tptpcol_4_24578(_80023))], (1424 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _37233) ^ [_64709] : [tptpcol_6_108546(_64709), -(isa(_64709, c_tptpcol_6_108546))], (1450 ^ _37233) ^ [_53041] : [tptpcol_11_93764(_53041), -(tptpcol_10_93700(_53041))], (1676 ^ _37233) ^ [_55558] : [tptpcol_16_26926(_55558), -(tptpcol_15_26925(_55558))], (2842 ^ _37233) ^ [_69481] : [isa(_69481, c_tptpcol_15_109185), -(tptpcol_15_109185(_69481))], (3332 ^ _37233) ^ [_75707] : [isa(_75707, c_tptpcol_7_113665), -(tptpcol_7_113665(_75707))], (3380 ^ _37233) ^ [_76291] : [-(natfunction(f_tptpquantityfn_14(_76291), c_tptpquantityfn_14))], (1760 ^ _37233) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _37233) ^ [_37287] : [intangible(_37287), partiallytangible(_37287)], (2088 ^ _37233) ^ [_60173] : [isa(_60173, c_tptpcol_16_4451), -(tptpcol_16_4451(_60173))], (4462 ^ _37233) ^ [_89660, _89662, _89664] : [relationallinstance(_89664, _89662, _89660), -(collection(_89662))], (966 ^ _37233) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _37233) ^ [_93476] : [tptpcol_9_18439(_93476), -(isa(_93476, c_tptpcol_9_18439))], (1010 ^ _37233) ^ [_48246] : [tptpcol_12_118116(_48246), -(tptpcol_11_118084(_48246))], (2670 ^ _37233) ^ [_67303] : [tptpcol_7_21508(_67303), -(isa(_67303, c_tptpcol_7_21508))], (918 ^ _37233) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _37233) ^ [_80775] : [aspatialinformationstore(_80775), -(isa(_80775, c_aspatialinformationstore))], (3928 ^ _37233) ^ [_83065] : [isa(_83065, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_83065))], (2074 ^ _37233) ^ [_60004] : [affiliatedwith(_60004, _60004)], (2694 ^ _37233) ^ [_67595] : [state_geopolitical(_67595), -(isa(_67595, c_state_geopolitical))], (4990 ^ _37233) ^ [_96177] : [isa(_96177, c_tptpcol_9_22021), -(tptpcol_9_22021(_96177))], (4660 ^ _37233) ^ [_92156, _92158] : [tptptypes_8_692(_92158, _92156), -(firstordercollection(_92158))], (4942 ^ _37233) ^ [_95593] : [isa(_95593, c_ridgeline_topographical), -(ridgeline_topographical(_95593))], (1532 ^ _37233) ^ [_53949] : [tptpcol_6_112641(_53949), -(tptpcol_5_110593(_53949))], (260 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _37233) ^ [_88197] : [navypersonnel(_88197), -(isa(_88197, c_navypersonnel))], (2584 ^ _37233) ^ [_66237, _66239] : [-(natfunction(f_citynamedfn(_66239, _66237), c_citynamedfn))], (120 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _37233) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _37233) ^ [_45534] : [tptpcol_14_93774(_45534), -(tptpcol_13_93766(_45534))], (4732 ^ _37233) ^ [_93038] : [tptpcol_10_92166(_93038), -(isa(_93038, c_tptpcol_10_92166))], (1740 ^ _37233) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _37233) ^ [_71978, _71980, _71982] : [-(arg1isa(_71982, _71978)), arg1isa(_71982, _71980), genls(_71980, _71978)], (5392 ^ _37233) ^ [_101242] : [tptpcol_14_40429(_101242), -(isa(_101242, c_tptpcol_14_40429))], (3852 ^ _37233) ^ [_82093] : [tptpcol_12_26919(_82093), -(isa(_82093, c_tptpcol_12_26919))], (212 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _37233) ^ [_58965] : [tptpcol_16_26939(_58965), -(isa(_58965, c_tptpcol_16_26939))], (242 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _37233) ^ [_77169] : [tptpcol_8_109059(_77169), -(isa(_77169, c_tptpcol_8_109059))], (4912 ^ _37233) ^ [_95228] : [tptpcol_5_20483(_95228), -(isa(_95228, c_tptpcol_5_20483))], (1796 ^ _37233) ^ [_56842] : [geolevel_4(_56842), -(geographicalregion(_56842))], (5126 ^ _37233) ^ [_97855, _97857, _97859] : [-(most(_97859, _97855)), most(_97859, _97857), subsetof(_97857, _97855)], (722 ^ _37233) ^ [_45119] : [tptpcol_15_93775(_45119), -(tptpcol_14_93774(_45119))], (2196 ^ _37233) ^ [_61489] : [tptpcol_5_90114(_61489), -(isa(_61489, c_tptpcol_5_90114))], (1286 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _37233) ^ [_85201] : [tptpcol_5_106498(_85201), -(isa(_85201, c_tptpcol_5_106498))], (2566 ^ _37233) ^ [_66018] : [tptpcol_16_130924(_66018), -(isa(_66018, c_tptpcol_16_130924))], (1768 ^ _37233) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _37233) ^ [_66934, _66936] : [tptp_9_51(_66936, _66934), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66934))], (1632 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _37233) ^ [_89431, _89433] : [tptpofobject(_89433, _89431), -(tptpquantity(_89431))], (4426 ^ _37233) ^ [_89210] : [-(natfunction(f_tptpquantityfn_1(_89210), c_tptpquantityfn_1))], (4234 ^ _37233) ^ [_86857] : [tptpcol_14_92264(_86857), -(isa(_86857, c_tptpcol_14_92264))], (1656 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _37233) ^ [_69185, _69187] : [tptptypes_8_823(_69187, _69185), -(firstordercollection(_69185))], (1268 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _37233) ^ [_38576] : [tptpcol_11_22023(_38576), -(tptpcol_10_22022(_38576))], (4630 ^ _37233) ^ [_91781, _91783] : [tptptypes_7_389(_91783, _91781), -(firstordercollection(_91781))], (2866 ^ _37233) ^ [_69773] : [isa(_69773, c_tptpcol_12_118116), -(tptpcol_12_118116(_69773))], (1734 ^ _37233) ^ [_56201] : [tptpcol_0_0(_56201), -(individual(_56201))], (4196 ^ _37233) ^ [_86375, _86377] : [tptptypes_9_401(_86377, _86375), -(firstordercollection(_86377))], (5410 ^ _37233) ^ [_101461, _101463] : [genls(_101463, _101461), -(collection(_101461))], (3994 ^ _37233) ^ [_83870, _83872] : [hasmembers(_83872, _83870), -(organization(_83872))], (5262 ^ _37233) ^ [_99605, _99607, _99609] : [-(genlinverse(_99605, _99607)), genlinverse(_99609, _99607), genlpreds(_99605, _99609)], (2208 ^ _37233) ^ [_61637, _61639] : [tptptypes_5_802(_61639, _61637), -(firstordercollection(_61639))], (944 ^ _37233) ^ [_47531] : [tptpcol_8_26629(_47531), -(tptpcol_7_26628(_47531))], (1254 ^ _37233) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _37233) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _37233) ^ [_91631, _91633] : [resultisaarg(_91633, _91631), -(positiveinteger(_91631))], (4228 ^ _37233) ^ [_86784] : [isa(_86784, c_tptpcol_14_92264), -(tptpcol_14_92264(_86784))], (3602 ^ _37233) ^ [_79010] : [isa(_79010, c_tptpcol_9_118019), -(tptpcol_9_118019(_79010))], (1358 ^ _37233) ^ [_52030] : [tptpcol_2_65537(_52030), -(tptpcol_1_65536(_52030))], (2038 ^ _37233) ^ [_59549] : [tptpcol_15_4027(_59549), -(isa(_59549, c_tptpcol_15_4027))], (1958 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _37233) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _37233) ^ [_100271, _100273] : [-(microtheory(f_contentmtofcdafromeventfn(_100273, _100271)))], (424 ^ _37233) ^ [_41868, _41870] : [tptptypes_9_401(_41870, _41868), -(tptptypes_8_400(_41868, _41870))], (254 ^ _37233) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _37233) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _37233) ^ [_86077] : [tptpcol_12_18663(_86077), -(isa(_86077, c_tptpcol_12_18663))], (1482 ^ _37233) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _37233) ^ [_65799] : [isa(_65799, c_tptpcol_15_130923), -(tptpcol_15_130923(_65799))], (1840 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _37233) ^ [_52137] : [tptpcol_6_18436(_52137), -(tptpcol_5_16388(_52137))], (1434 ^ _37233) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _37233) ^ [_102306] : [isa(_102306, c_partiallytangible), -(partiallytangible(_102306))], (644 ^ _37233) ^ [_44263] : [-(tptp_9_720(_44263, f_relationallexistsfn(_44263, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_44263)], (12 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _37233) ^ [_56344] : [tptpcol_11_72774(_56344), -(tptpcol_10_72710(_56344))], (4204 ^ _37233) ^ [_86475] : [-(natargument(f_tptpquantityfn_13(_86475), n_1, _86475))], (172 ^ _37233) ^ [_39116] : [tptpcol_10_18567(_39116), -(tptpcol_9_18439(_39116))], (3970 ^ _37233) ^ [_83576] : [tptpcol_11_118084(_83576), -(isa(_83576, c_tptpcol_11_118084))], (1918 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _37233) ^ [_100448, _100450] : [isa(_100450, _100448), -(thing(_100450))], (3202 ^ _37233) ^ [_74012, _74014] : [no(_74014, _74012), -(no(_74012, _74014))], (996 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _37233) ^ [_102452] : [isa(_102452, c_intangible), -(intangible(_102452))], (270 ^ _37233) ^ [_40210] : [tptpcol_5_114690(_40210), -(tptpcol_4_114689(_40210))], (406 ^ _37233) ^ [_41674] : [-(tptpofobject(_41674, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41674)], (5216 ^ _37233) ^ [_99026, _99028] : [genlpreds(_99028, _99026), -(predicate(_99028))], (3578 ^ _37233) ^ [_78714, _78716] : [tptp_9_720(_78716, _78714), -(tptpcol_5_28674(_78714))], (1700 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _37233) ^ [_79375] : [movement_translationevent(_79375), -(isa(_79375, c_movement_translationevent))], (5404 ^ _37233) ^ [_101388] : [tptpcol_15_40430(_101388), -(isa(_101388, c_tptpcol_15_40430))], (1570 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _37233) ^ [_72709, _72711, _72713] : [-(objectfoundinlocation(_72713, _72709)), objectfoundinlocation(_72713, _72711), geographicallysubsumes(_72709, _72711)], (5244 ^ _37233) ^ [_99382] : [predicate(_99382), -(genlpreds(_99382, _99382))], (2124 ^ _37233) ^ [_60611] : [-(natfunction(f_tptpquantityfn_2(_60611), c_tptpquantityfn_2))], (2082 ^ _37233) ^ [_60100] : [footballteam(_60100), -(isa(_60100, c_footballteam))], (1440 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _37233) ^ [_88635] : [computerdataartifact(_88635), -(isa(_88635, c_computerdataartifact))], (4106 ^ _37233) ^ [_85274] : [isa(_85274, c_tptpcol_12_109157), -(tptpcol_12_109157(_85274))], (2992 ^ _37233) ^ [_71328] : [isa(_71328, c_tptpcol_8_26629), -(tptpcol_8_26629(_71328))], (1238 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _37233) ^ [_39205] : [orderingpredicate(_39205), -(transitivebinarypredicate(_39205))], (1466 ^ _37233) ^ [_53219] : [tptpcol_4_90113(_53219), -(tptpcol_3_81921(_53219))], (294 ^ _37233) ^ [_40477] : [tptpcol_10_40324(_40477), -(tptpcol_9_40196(_40477))], (4978 ^ _37233) ^ [_96031] : [isa(_96031, c_tptpcol_8_22020), -(tptpcol_8_22020(_96031))], (720 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _37233) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _37233) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _37233) ^ [_43779] : [microtheory(_43779), -(aspatialinformationstore(_43779))], (5042 ^ _37233) ^ [_96825] : [isa(_96825, c_tptpcol_12_40420), -(tptpcol_12_40420(_96825))], (3178 ^ _37233) ^ [_73716] : [isa(_73716, c_tptpcol_3_16386), -(tptpcol_3_16386(_73716))], (1144 ^ _37233) ^ [_49685] : [physicalorderingpredicate(_49685), -(orderingpredicate(_49685))], (796 ^ _37233) ^ [_45926] : [-(tptpofobject(_45926, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45926)], (2280 ^ _37233) ^ [_62515] : [tptpcol_11_72774(_62515), -(isa(_62515, c_tptpcol_11_72774))], (1848 ^ _37233) ^ [_57393] : [tptpcol_13_92263(_57393), -(tptpcol_12_92262(_57393))], (5090 ^ _37233) ^ [_97409, _97411] : [most(_97411, _97409), -(setorcollection(_97409))], (2542 ^ _37233) ^ [_65726] : [tptpcol_7_92163(_65726), -(isa(_65726, c_tptpcol_7_92163))], (952 ^ _37233) ^ [_47620] : [tptpcol_9_109060(_47620), -(tptpcol_8_109059(_47620))], (728 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _37233) ^ [_42562] : [tptpcol_1_65536(_42562), -(tptpcol_0_0(_42562))], (828 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _37233) ^ [_75853] : [isa(_75853, c_artifact), -(artifact(_75853))], (688 ^ _37233) ^ [_44751, _44753] : [tptptypes_8_400(_44753, _44751), -(tptptypes_7_396(_44753, _44751))], (2136 ^ _37233) ^ [_60759] : [tptpcol_7_39939(_60759), -(isa(_60759, c_tptpcol_7_39939))], (934 ^ _37233) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _37233) ^ [_75331] : [airport_physical(_75331), -(isa(_75331, c_airport_physical))], (4000 ^ _37233) ^ [_83945] : [isa(_83945, c_terrorist), -(terrorist(_83945))], (2968 ^ _37233) ^ [_71024, _71026, _71028] : [relationexistsall(_71028, _71026, _71024), -(collection(_71026))], (448 ^ _37233) ^ [_42141] : [tptpcol_13_109173(_42141), -(tptpcol_12_109157(_42141))], (3488 ^ _37233) ^ [_77607] : [tptpcol_16_8886(_77607), -(isa(_77607, c_tptpcol_16_8886))], (1210 ^ _37233) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _37233) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _37233) ^ [_62588] : [isa(_62588, c_tptpcol_12_72775), -(tptpcol_12_72775(_62588))], (66 ^ _37233) ^ [_37977] : [tptpcol_13_40421(_37977), -(tptpcol_12_40420(_37977))], (2610 ^ _37233) ^ [_66569] : [tptpcol_14_26921(_66569), -(isa(_66569, c_tptpcol_14_26921))], (1390 ^ _37233) ^ [_52374] : [tptpcol_8_117763(_52374), -(tptpcol_7_117762(_52374))], (538 ^ _37233) ^ [_43091, _43093] : [tptptypes_7_819(_43093, _43091), -(tptptypes_6_818(_43093, _43091))], (1042 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _37233) ^ [_103091, _103093] : [-(mtvisible(_103091)), mtvisible(_103093), genlmt(_103093, _103091)], (136 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _37233) ^ [_81213] : [tptpcol_8_92164(_81213), -(isa(_81213, c_tptpcol_8_92164))], (4924 ^ _37233) ^ [_95374] : [tptpcol_13_72791(_95374), -(isa(_95374, c_tptpcol_13_72791))], (4480 ^ _37233) ^ [_89891] : [tptpcol_13_93766(_89891), -(isa(_89891, c_tptpcol_13_93766))], (1186 ^ _37233) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _37233) ^ [_72576, _72578, _72580] : [-(objectfoundinlocation(_72580, _72576)), objectfoundinlocation(_72580, _72578), geopoliticalsubdivision(_72576, _72578)], (2658 ^ _37233) ^ [_67157] : [reflexivebinarypredicate(_67157), -(isa(_67157, c_reflexivebinarypredicate))], (898 ^ _37233) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _37233) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _37233) ^ [_90767] : [tptpcol_12_93765(_90767), -(isa(_90767, c_tptpcol_12_93765))], (1726 ^ _37233) ^ [_56112] : [tptpcol_15_22076(_56112), -(tptpcol_14_22072(_56112))], (2238 ^ _37233) ^ [_62004] : [isa(_62004, c_tptpcol_15_50957), -(tptpcol_15_50957(_62004))], (2008 ^ _37233) ^ [_59184] : [isa(_59184, c_tptpcol_13_92263), -(tptpcol_13_92263(_59184))], (4858 ^ _37233) ^ [_94571] : [isa(_94571, c_individual), -(individual(_94571))], (2530 ^ _37233) ^ [_65580] : [tptpcol_16_130933(_65580), -(isa(_65580, c_tptpcol_16_130933))], (2322 ^ _37233) ^ [_63026, _63028] : [tptp_8_271(_63028, _63026), -(razor(_63026))], (1808 ^ _37233) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _37233) ^ [_84982] : [isa(_84982, c_tptpcol_5_24579), -(tptpcol_5_24579(_84982))], (3912 ^ _37233) ^ [_82835] : [issuingaprescription(_82835), -(isa(_82835, c_issuingaprescription))], (2518 ^ _37233) ^ [_65434] : [tptpcol_15_130931(_65434), -(isa(_65434, c_tptpcol_15_130931))], (3768 ^ _37233) ^ [_81067] : [fixedordercollection(_81067), -(isa(_81067, c_fixedordercollection))], (5194 ^ _37233) ^ [_98743, _98745, _98747] : [-(subsetof(_98747, _98743)), subsetof(_98747, _98745), subsetof(_98745, _98743)], (208 ^ _37233) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _37233) ^ [_93330] : [orderingpredicate(_93330), -(isa(_93330, c_orderingpredicate))], (2490 ^ _37233) ^ [_65078, _65080] : [few(_65080, _65078), -(setorcollection(_65080))], (2962 ^ _37233) ^ [_70945, _70947, _70949] : [relationexistsall(_70949, _70947, _70945), -(collection(_70945))], (50 ^ _37233) ^ [_37793, _37795] : [subsetof(_37795, _37793), -(most(_37795, _37793))], (1846 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _37233) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _37233) ^ [_84248] : [isa(_84248, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_84248))], (4606 ^ _37233) ^ [_91424, _91426, _91428, _91430] : [-(natfunction(f_relationexistsallfn(_91430, _91428, _91426, _91424), c_relationexistsallfn))], (902 ^ _37233) ^ [_47064, _47066] : [genls(_47066, _47064), -(collection(_47066))], (1076 ^ _37233) ^ [_48957] : [tptpcol_10_26886(_48957), -(tptpcol_9_26885(_48957))], (114 ^ _37233) ^ [_38487] : [tptpcol_5_20483(_38487), -(tptpcol_4_16387(_38487))], (3708 ^ _37233) ^ [_80331, _80333, _80335] : [relationallexists(_80335, _80333, _80331), -(binarypredicate(_80335))], (3134 ^ _37233) ^ [_73152, _73154, _73156] : [-(natargument(f_subcollectionofwithrelationtofn(_73156, _73154, _73152), n_1, _73156))], (4052 ^ _37233) ^ [_84617] : [tptpcol_0_0(_84617), -(isa(_84617, c_tptpcol_0_0))], (4608 ^ _37233) ^ [_91458, _91460, _91462, _91464] : [-(natargument(f_relationexistsallfn(_91464, _91462, _91460, _91458), n_1, _91464))], (2100 ^ _37233) ^ [_60319] : [isa(_60319, c_pushingwithopenhand), -(pushingwithopenhand(_60319))], (926 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _37233) ^ [_57666] : [tptpcol_15_26925(_57666), -(tptpcol_14_26921(_57666))], (4014 ^ _37233) ^ [_84122, _84124, _84126] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_84126, _84124, _84122), n_1, _84126))], (416 ^ _37233) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _37233) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _37233) ^ [_96323] : [isa(_96323, c_transitivebinarypredicate), -(transitivebinarypredicate(_96323))], (3678 ^ _37233) ^ [_79950] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79950), -(isa(_79950, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _37233) ^ [_39294] : [tptpcol_11_92230(_39294), -(tptpcol_10_92166(_39294))], (3020 ^ _37233) ^ [_71671] : [-(microtheory(f_contextofpcwfn(_71671)))], (4636 ^ _37233) ^ [_91856, _91858] : [tptptypes_7_389(_91858, _91856), -(firstordercollection(_91858))], (1068 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _37233) ^ [_37642, _37644, _37646] : [-(genlpreds(_37646, _37642)), genlinverse(_37646, _37644), genlinverse(_37644, _37642)], (750 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _37233) ^ [_45837] : [tptpcol_9_72709(_45837), -(tptpcol_8_72708(_45837))], (660 ^ _37233) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _37233) ^ [_66715] : [tptpcol_3_65538(_66715), -(isa(_66715, c_tptpcol_3_65538))], (1312 ^ _37233) ^ [_51543] : [tptpcol_6_20484(_51543), -(tptpcol_5_20483(_51543))], (2682 ^ _37233) ^ [_67449] : [hpkb_subnationalagent(_67449), -(isa(_67449, c_hpkb_subnationalagent))], (4906 ^ _37233) ^ [_95155] : [isa(_95155, c_tptpcol_5_20483), -(tptpcol_5_20483(_95155))], (5306 ^ _37233) ^ [_100161] : [-(computerdataartifact(f_urlreferentfn(_100161)))], (2424 ^ _37233) ^ [_64271] : [tptpcol_6_18436(_64271), -(isa(_64271, c_tptpcol_6_18436))], (318 ^ _37233) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _37233) ^ [_67668, _67670, _67672, _67674] : [-(natfunction(f_relationallexistsfn(_67674, _67672, _67670, _67668), c_relationallexistsfn))], (3022 ^ _37233) ^ [_71695, _71697] : [arg1isa(_71697, _71695), -(collection(_71695))], (2370 ^ _37233) ^ [_63614] : [isa(_63614, c_aspatialthing), -(aspatialthing(_63614))], (668 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _37233) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _37233) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _37233) ^ [_78495] : [tptpcol_12_22055(_78495), -(isa(_78495, c_tptpcol_12_22055))], (3428 ^ _37233) ^ [_76877] : [tptpcol_14_22072(_76877), -(isa(_76877, c_tptpcol_14_22072))], (4600 ^ _37233) ^ [_91351] : [tptpcol_4_106497(_91351), -(isa(_91351, c_tptpcol_4_106497))], (1514 ^ _37233) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _37233) ^ [_84321] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_84321), -(isa(_84321, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _37233) ^ [_90329] : [tptpcol_7_72707(_90329), -(isa(_90329, c_tptpcol_7_72707))], (5512 ^ _37233) ^ [_102748, _102750] : [disjointwith(_102750, _102748), -(disjointwith(_102748, _102750))], (3732 ^ _37233) ^ [_80629] : [pushingababycarriage(_80629), -(isa(_80629, c_pushingababycarriage))], (4666 ^ _37233) ^ [_92231, _92233] : [tptptypes_9_693(_92233, _92231), -(firstordercollection(_92231))], (2442 ^ _37233) ^ [_64490] : [isa(_64490, c_tptpcol_11_109125), -(tptpcol_11_109125(_64490))], (1366 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _37233) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _37233) ^ [_50782] : [tptpcol_14_26921(_50782), -(tptpcol_13_26920(_50782))], (998 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _37233) ^ [_95812] : [tptpcol_4_16387(_95812), -(isa(_95812, c_tptpcol_4_16387))], (4220 ^ _37233) ^ [_86675, _86677] : [borderson(_86677, _86675), -(borderson(_86675, _86677))], (3136 ^ _37233) ^ [_73184, _73186, _73188] : [-(natargument(f_subcollectionofwithrelationtofn(_73188, _73186, _73184), n_2, _73186))], (866 ^ _37233) ^ [_46666] : [geographicalregion(_46666), -(partiallytangible(_46666))], (3720 ^ _37233) ^ [_80483] : [tptpcol_16_10258(_80483), -(isa(_80483, c_tptpcol_16_10258))], (4430 ^ _37233) ^ [_89261] : [-(tptpquantity(f_tptpquantityfn_1(_89261)))], (2920 ^ _37233) ^ [_70430] : [tptpcol_14_109181(_70430), -(isa(_70430, c_tptpcol_14_109181))], (362 ^ _37233) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _37233) ^ [_68364] : [geolevel_1(_68364), -(isa(_68364, c_geolevel_1))], (2652 ^ _37233) ^ [_67084] : [isa(_67084, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_67084))], (1624 ^ _37233) ^ [_54982] : [tptpcol_6_92162(_54982), -(tptpcol_5_90114(_54982))], (1116 ^ _37233) ^ [_49390] : [enduringthing_localized(_49390), -(spatialthing_nonsituational(_49390))], (916 ^ _37233) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _37233) ^ [_38250] : [tptpcol_5_16388(_38250), -(tptpcol_4_16387(_38250))], (2676 ^ _37233) ^ [_67376] : [isa(_67376, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_67376))], (2364 ^ _37233) ^ [_63541] : [tptpcol_9_93699(_63541), -(isa(_63541, c_tptpcol_9_93699))], (972 ^ _37233) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _37233) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _37233) ^ [_99889] : [isa(_99889, c_microtheory), -(microtheory(_99889))], (502 ^ _37233) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _37233) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _37233) ^ [_62661] : [tptpcol_12_72775(_62661), -(isa(_62661, c_tptpcol_12_72775))], (5374 ^ _37233) ^ [_101023] : [isa(_101023, c_tptpcol_10_72710), -(tptpcol_10_72710(_101023))], (3762 ^ _37233) ^ [_80994] : [isa(_80994, c_fixedordercollection), -(fixedordercollection(_80994))], (2586 ^ _37233) ^ [_66265, _66267] : [-(natargument(f_citynamedfn(_66267, _66265), n_1, _66267))], (710 ^ _37233) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _37233) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _37233) ^ [_61197] : [tptpcol_16_26926(_61197), -(isa(_61197, c_tptpcol_16_26926))], (4762 ^ _37233) ^ [_93403] : [isa(_93403, c_tptpcol_9_18439), -(tptpcol_9_18439(_93403))], (574 ^ _37233) ^ [_43495] : [tptpcol_9_92165(_43495), -(tptpcol_8_92164(_43495))], (1028 ^ _37233) ^ [_48442, _48444] : [most(_48444, _48442), -(setorcollection(_48444))], (702 ^ _37233) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _37233) ^ [_70284] : [tptpcol_16_30972(_70284), -(isa(_70284, c_tptpcol_16_30972))], (1074 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _37233) ^ [_51394, _51396] : [no(_51396, _51394), -(few(_51396, _51394))], (982 ^ _37233) ^ [_47943] : [tptpcol_14_109181(_47943), -(tptpcol_13_109173(_47943))], (5174 ^ _37233) ^ [_98477, _98479, _98481] : [-(subsetof(_98477, _98479)), subsetof(_98481, _98479), subsetof(_98477, _98481)], (2628 ^ _37233) ^ [_66788] : [isa(_66788, c_tptpcol_16_27189), -(tptpcol_16_27189(_66788))], (2232 ^ _37233) ^ [_61931] : [tptpcol_8_114177(_61931), -(isa(_61931, c_tptpcol_8_114177))], (4324 ^ _37233) ^ [_87960] : [isa(_87960, c_executionbyfiringsquad), -(executionbyfiringsquad(_87960))], (3542 ^ _37233) ^ [_78272, _78274] : [tptptypes_7_396(_78274, _78272), -(firstordercollection(_78272))], (486 ^ _37233) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _37233) ^ [_58157] : [tptpcol_13_72791(_58157), -(tptpcol_12_72775(_58157))], (4064 ^ _37233) ^ [_84763] : [geolevel_3(_84763), -(isa(_84763, c_geolevel_3))], (2250 ^ _37233) ^ [_62150] : [isa(_62150, c_tptpcol_16_50958), -(tptpcol_16_50958(_62150))], (1062 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _37233) ^ [_63395] : [tptpcol_10_93700(_63395), -(isa(_63395, c_tptpcol_10_93700))], (4020 ^ _37233) ^ [_84218, _84220, _84222] : [-(collection(f_subcollectionofwithrelationfromtypefn(_84222, _84220, _84218)))], (80 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _37233) ^ [_96619, _96621, _96623] : [-(geographicalsubregions(_96623, _96619)), geographicalsubregions(_96623, _96621), geographicalsubregions(_96621, _96619)], (4252 ^ _37233) ^ [_87076] : [isa(_87076, c_tptpcol_6_116738), -(tptpcol_6_116738(_87076))], (3190 ^ _37233) ^ [_73862, _73864] : [no(_73864, _73862), -(setorcollection(_73862))], (758 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _37233) ^ [_80702] : [isa(_80702, c_aspatialinformationstore), -(aspatialinformationstore(_80702))], (3918 ^ _37233) ^ [_82908, _82910, _82912] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82912, _82910, _82908), c_subcollectionofwithrelationtotypefn))], (794 ^ _37233) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _37233) ^ [_91205] : [tptpcol_3_98305(_91205), -(isa(_91205, c_tptpcol_3_98305))], (2358 ^ _37233) ^ [_63468] : [isa(_63468, c_tptpcol_9_93699), -(tptpcol_9_93699(_63468))], (5466 ^ _37233) ^ [_102173, _102175, _102177] : [-(genls(_102177, _102173)), genls(_102177, _102175), genls(_102175, _102173)], (5272 ^ _37233) ^ [_99738, _99740, _99742] : [-(genlinverse(_99742, _99738)), genlinverse(_99742, _99740), genlpreds(_99740, _99738)], (1018 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _37233) ^ [_52481] : [tptpcol_12_109157(_52481), -(tptpcol_11_109125(_52481))], (98 ^ _37233) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _37233) ^ [_41253] : [tptpcol_10_109061(_41253), -(tptpcol_9_109060(_41253))], (1232 ^ _37233) ^ [_50693] : [tptpcol_3_65538(_50693), -(tptpcol_2_65537(_50693))], (2226 ^ _37233) ^ [_61858] : [isa(_61858, c_tptpcol_8_114177), -(tptpcol_8_114177(_61858))], (2346 ^ _37233) ^ [_63322] : [isa(_63322, c_tptpcol_10_93700), -(tptpcol_10_93700(_63322))], (5588 ^ _37233) ^ [_103722] : [microtheory(_103722), -(genlmt(_103722, _103722))], (148 ^ _37233) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _37233) ^ [_79731] : [isa(_79731, c_unitvectorinterval), -(unitvectorinterval(_79731))], (1114 ^ _37233) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _37233) ^ [_99962] : [microtheory(_99962), -(isa(_99962, c_microtheory))], (2634 ^ _37233) ^ [_66861] : [tptpcol_16_27189(_66861), -(isa(_66861, c_tptpcol_16_27189))], (1816 ^ _37233) ^ [_57049] : [tptpcol_13_26920(_57049), -(tptpcol_12_26919(_57049))], (4264 ^ _37233) ^ [_87222, _87224] : [tptptypes_5_387(_87224, _87222), -(firstordercollection(_87222))], (4142 ^ _37233) ^ [_85712] : [isa(_85712, c_setorcollection), -(setorcollection(_85712))], (2512 ^ _37233) ^ [_65361] : [isa(_65361, c_tptpcol_15_130931), -(tptpcol_15_130931(_65361))], (4534 ^ _37233) ^ [_90548] : [isa(_90548, c_tptpcol_11_93764), -(tptpcol_11_93764(_90548))], (806 ^ _37233) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _37233) ^ [_76731] : [tptpcol_13_22071(_76731), -(isa(_76731, c_tptpcol_13_22071))], (4834 ^ _37233) ^ [_94279] : [isa(_94279, c_location_underspecified), -(location_underspecified(_94279))], (3286 ^ _37233) ^ [_75108, _75110] : [airporthasiatacode(_75110, _75108), -(stringoflengthfn3(_75108))], (4616 ^ _37233) ^ [_91598, _91600, _91602, _91604] : [-(thing(f_relationexistsallfn(_91604, _91602, _91600, _91598)))], (3228 ^ _37233) ^ [_74355, _74357, _74359] : [-(no(_74355, _74357)), no(_74359, _74357), genls(_74355, _74359)], (4288 ^ _37233) ^ [_87522] : [isa(_87522, c_shavingrazor_manual), -(shavingrazor_manual(_87522))], (1098 ^ _37233) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _37233) ^ [_81505] : [tptpcol_1_1(_81505), -(isa(_81505, c_tptpcol_1_1))], (3320 ^ _37233) ^ [_75561] : [isa(_75561, c_tptpcol_6_112641), -(tptpcol_6_112641(_75561))], (1744 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _37233) ^ [_75033] : [-(natfunction(f_tptpquantityfn_21(_75033), c_tptpquantityfn_21))], (820 ^ _37233) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _37233) ^ [_46518] : [tptpcol_7_113665(_46518), -(tptpcol_6_112641(_46518))], (1278 ^ _37233) ^ [_51180] : [tptpcol_7_92163(_51180), -(tptpcol_6_92162(_51180))], (1674 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _37233) ^ [_58317] : [-(tptpofobject(_58317, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_58317)], (2744 ^ _37233) ^ [_68291] : [isa(_68291, c_geolevel_1), -(geolevel_1(_68291))], (2860 ^ _37233) ^ [_69700] : [tptpcol_6_26627(_69700), -(isa(_69700, c_tptpcol_6_26627))], (4522 ^ _37233) ^ [_90402] : [isa(_90402, c_tptpcol_8_72708), -(tptpcol_8_72708(_90402))], (378 ^ _37233) ^ [_41360, _41362] : [tptptypes_6_388(_41362, _41360), -(tptptypes_5_387(_41362, _41360))], (4432 ^ _37233) ^ [_89285] : [isa(_89285, c_furpelt), -(furpelt(_89285))], (4720 ^ _37233) ^ [_92892] : [tptpcol_2_98304(_92892), -(isa(_92892, c_tptpcol_2_98304))], (3690 ^ _37233) ^ [_80098, _80100] : [tptp_8_875(_80100, _80098), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_80100))], (4240 ^ _37233) ^ [_86930] : [isa(_86930, c_tptpcol_15_92268), -(tptpcol_15_92268(_86930))], (4708 ^ _37233) ^ [_92746] : [tptpcol_1_65536(_92746), -(isa(_92746, c_tptpcol_1_65536))], (2112 ^ _37233) ^ [_60465] : [isa(_60465, c_tptpcol_15_22076), -(tptpcol_15_22076(_60465))], (2664 ^ _37233) ^ [_67230] : [isa(_67230, c_tptpcol_7_21508), -(tptpcol_7_21508(_67230))], (150 ^ _37233) ^ [_38879] : [partiallytangible(_38879), -(enduringthing_localized(_38879))], (2718 ^ _37233) ^ [_67950, _67952] : [arg2isa(_67952, _67950), -(relation(_67952))], (768 ^ _37233) ^ [_45623] : [tptpcol_10_22022(_45623), -(tptpcol_9_22021(_45623))], (3374 ^ _37233) ^ [_76218] : [firstordercollection(_76218), -(isa(_76218, c_firstordercollection))], (2056 ^ _37233) ^ [_59768, _59770] : [affiliatedwith(_59770, _59768), -(agent_generic(_59768))], (4918 ^ _37233) ^ [_95301] : [isa(_95301, c_tptpcol_13_72791), -(tptpcol_13_72791(_95301))], (1142 ^ _37233) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _37233) ^ [_77534] : [isa(_77534, c_tptpcol_16_8886), -(tptpcol_16_8886(_77534))], (2572 ^ _37233) ^ [_66091] : [isa(_66091, c_intangibleindividual), -(intangibleindividual(_66091))], (4404 ^ _37233) ^ [_88929, _88931] : [inregion(_88931, _88929), -(spatialthing_nonsituational(_88931))], (5136 ^ _37233) ^ [_97988, _97990, _97992] : [-(most(_97992, _97988)), most(_97992, _97990), subsetof(_97990, _97988)], (2938 ^ _37233) ^ [_70649] : [isa(_70649, c_tptpcol_16_7738), -(tptpcol_16_7738(_70649))], (344 ^ _37233) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _37233) ^ [_42823] : [tptpcol_11_118084(_42823), -(tptpcol_10_118020(_42823))], (5014 ^ _37233) ^ [_96469, _96471] : [geographicalsubregions(_96471, _96469), -(geographicalregion(_96469))], (1294 ^ _37233) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _37233) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _37233) ^ [_98404] : [setorcollection(_98404), -(subsetof(_98404, _98404))], (1766 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _37233) ^ [_40121] : [tptpcol_4_106497(_40121), -(tptpcol_3_98305(_40121))], (360 ^ _37233) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _37233) ^ [_101894] : [collection(_101894), -(genls(_101894, _101894))], (3870 ^ _37233) ^ [_82316, _82318] : [tptptypes_7_819(_82318, _82316), -(firstordercollection(_82316))], (78 ^ _37233) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _37233) ^ [_73424] : [isa(_73424, c_tptpcol_4_65539), -(tptpcol_4_65539(_73424))], (5494 ^ _37233) ^ [_102525] : [intangible(_102525), -(isa(_102525, c_intangible))], (4678 ^ _37233) ^ [_92381] : [isa(_92381, c_tptpcol_11_40388), -(tptpcol_11_40388(_92381))], (4876 ^ _37233) ^ [_94790] : [partiallyintangibleindividual(_94790), -(isa(_94790, c_partiallyintangibleindividual))], (2478 ^ _37233) ^ [_64928, _64930] : [few(_64930, _64928), -(setorcollection(_64928))], (2026 ^ _37233) ^ [_59403] : [geolevel_4(_59403), -(isa(_59403, c_geolevel_4))], (3382 ^ _37233) ^ [_76316] : [-(natargument(f_tptpquantityfn_14(_76316), n_1, _76316))], (2166 ^ _37233) ^ [_61124] : [isa(_61124, c_tptpcol_16_26926), -(tptpcol_16_26926(_61124))], (5222 ^ _37233) ^ [_99101, _99103] : [genlpreds(_99103, _99101), -(predicate(_99103))], (342 ^ _37233) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _37233) ^ [_73278] : [isa(_73278, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73278))], (4094 ^ _37233) ^ [_85128] : [isa(_85128, c_tptpcol_5_106498), -(tptpcol_5_106498(_85128))], (3060 ^ _37233) ^ [_72186, _72188] : [objectfoundinlocation(_72188, _72186), -(spatialthing_localized(_72186))], (3834 ^ _37233) ^ [_81874] : [isa(_81874, c_tptpcol_11_26887), -(tptpcol_11_26887(_81874))], (1364 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _37233) ^ [_100035] : [-(natfunction(f_urlfn(_100035), c_urlfn))], (2184 ^ _37233) ^ [_61343] : [tptpcol_13_118117(_61343), -(isa(_61343, c_tptpcol_13_118117))], (654 ^ _37233) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _37233) ^ [_103366, _103368] : [genlmt(_103368, _103366), -(microtheory(_103368))], (2734 ^ _37233) ^ [_68158, _68160, _68162] : [-(arg2isa(_68162, _68158)), arg2isa(_68162, _68160), genls(_68160, _68158)], (3464 ^ _37233) ^ [_77315] : [tptpcol_14_93774(_77315), -(isa(_77315, c_tptpcol_14_93774))], (2130 ^ _37233) ^ [_60686] : [isa(_60686, c_tptpcol_7_39939), -(tptpcol_7_39939(_60686))], (3750 ^ _37233) ^ [_80848] : [isa(_80848, c_collection), -(collection(_80848))], (4202 ^ _37233) ^ [_86450] : [-(natfunction(f_tptpquantityfn_13(_86450), c_tptpquantityfn_13))], (1230 ^ _37233) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _37233) ^ [_92306, _92308] : [tptptypes_9_693(_92308, _92306), -(firstordercollection(_92308))], (3350 ^ _37233) ^ [_75926] : [artifact(_75926), -(isa(_75926, c_artifact))], (5152 ^ _37233) ^ [_98196, _98198] : [subsetof(_98198, _98196), -(setorcollection(_98198))], (1252 ^ _37233) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _37233) ^ [_70722] : [tptpcol_16_7738(_70722), -(isa(_70722, c_tptpcol_16_7738))], (5036 ^ _37233) ^ [_96752] : [geographicalregion(_96752), -(geographicalsubregions(_96752, _96752))], (1050 ^ _37233) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _37233) ^ [_53670] : [tptpcol_9_118019(_53670), -(tptpcol_8_117763(_53670))], (1950 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _37233) ^ [_55758] : [tptpcol_4_65539(_55758), -(tptpcol_3_65538(_55758))], (5368 ^ _37233) ^ [_100950] : [tptpcol_9_72709(_100950), -(isa(_100950, c_tptpcol_9_72709))], (1326 ^ _37233) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _37233) ^ [_73497] : [tptpcol_4_65539(_73497), -(isa(_73497, c_tptpcol_4_65539))], (3894 ^ _37233) ^ [_82612, _82614] : [products(_82614, _82612), -(artifact(_82612))], (3530 ^ _37233) ^ [_78122, _78124] : [tptptypes_9_824(_78124, _78122), -(firstordercollection(_78122))], (4420 ^ _37233) ^ [_89137] : [spatialthing_nonsituational(_89137), -(inregion(_89137, _89137))], (570 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _37233) ^ [_67702, _67704, _67706, _67708] : [-(natargument(f_relationallexistsfn(_67708, _67706, _67704, _67702), n_1, _67708))], (5054 ^ _37233) ^ [_96971] : [isa(_96971, c_tptpcol_13_40421), -(tptpcol_13_40421(_96971))], (2388 ^ _37233) ^ [_63833] : [tptpcol_7_117762(_63833), -(isa(_63833, c_tptpcol_7_117762))], (2454 ^ _37233) ^ [_64636] : [isa(_64636, c_tptpcol_6_108546), -(tptpcol_6_108546(_64636))], (3976 ^ _37233) ^ [_83649] : [isa(_83649, c_terroristgroup), -(terroristgroup(_83649))], (880 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _37233) ^ [_51287] : [tptpcol_16_130933(_51287), -(tptpcol_15_130931(_51287))], (1020 ^ _37233) ^ [_48353] : [tptpcol_7_26628(_48353), -(tptpcol_6_26627(_48353))], (2998 ^ _37233) ^ [_71401] : [tptpcol_8_26629(_71401), -(isa(_71401, c_tptpcol_8_26629))], (1306 ^ _37233) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _37233) ^ [_73570] : [isa(_73570, c_tptpcol_5_69635), -(tptpcol_5_69635(_73570))], (3172 ^ _37233) ^ [_73643] : [tptpcol_5_69635(_73643), -(isa(_73643, c_tptpcol_5_69635))], (4846 ^ _37233) ^ [_94425] : [isa(_94425, c_trajector_underspecified), -(trajector_underspecified(_94425))], (4136 ^ _37233) ^ [_85639] : [mathematicalthing(_85639), -(isa(_85639, c_mathematicalthing))], (3846 ^ _37233) ^ [_82020] : [isa(_82020, c_tptpcol_12_26919), -(tptpcol_12_26919(_82020))], (1406 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _37233) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _37233) ^ [_80921] : [collection(_80921), -(isa(_80921, c_collection))], (4124 ^ _37233) ^ [_85493] : [tptpcol_13_109173(_85493), -(isa(_85493, c_tptpcol_13_109173))], (4738 ^ _37233) ^ [_93111] : [isa(_93111, c_tptpcol_11_92230), -(tptpcol_11_92230(_93111))], (1106 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _37233) ^ [_62807] : [tptpcol_5_110593(_62807), -(isa(_62807, c_tptpcol_5_110593))], (2220 ^ _37233) ^ [_61785] : [tptpcol_16_72795(_61785), -(isa(_61785, c_tptpcol_16_72795))], (5350 ^ _37233) ^ [_100731] : [isa(_100731, c_inanimateobject), -(inanimateobject(_100731))], (1136 ^ _37233) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _37233) ^ [_100373, _100375] : [isa(_100375, _100373), -(collection(_100373))], (1642 ^ _37233) ^ [_55178] : [tptpcol_13_118117(_55178), -(tptpcol_12_118116(_55178))], (4498 ^ _37233) ^ [_90110] : [isa(_90110, c_tptpcol_10_40324), -(tptpcol_10_40324(_90110))], (1192 ^ _37233) ^ [_50247] : [-(hpkb_subnationalagent(_50247)), mtvisible(c_hpkbvocabmt), state_geopolitical(_50247)], (1902 ^ _37233) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _37233) ^ [_82762] : [isa(_82762, c_issuingaprescription), -(issuingaprescription(_82762))], (5204 ^ _37233) ^ [_98876, _98878] : [genlpreds(_98878, _98876), -(predicate(_98876))], (1426 ^ _37233) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _37233) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _37233) ^ [_51816] : [tptpcol_11_109125(_51816), -(tptpcol_10_109061(_51816))], (56 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _37233) ^ [_40299] : [tptpcol_12_93765(_40299), -(tptpcol_11_93764(_40299))], (3696 ^ _37233) ^ [_80173, _80175, _80177] : [relationallexists(_80177, _80175, _80173), -(collection(_80173))], (4690 ^ _37233) ^ [_92527] : [isa(_92527, c_marriagelicensedocument), -(marriagelicensedocument(_92527))], (1092 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _37233) ^ [_100185, _100187] : [-(natfunction(f_contentmtofcdafromeventfn(_100187, _100185), c_contentmtofcdafromeventfn))], (4540 ^ _37233) ^ [_90621] : [tptpcol_11_93764(_90621), -(isa(_90621, c_tptpcol_11_93764))], (1912 ^ _37233) ^ [_58068] : [tptpcol_5_110593(_58068), -(tptpcol_4_106497(_58068))], (5312 ^ _37233) ^ [_100242, _100244] : [-(natargument(f_contentmtofcdafromeventfn(_100244, _100242), n_2, _100242))], (4368 ^ _37233) ^ [_88489] : [thing(_88489), -(isa(_88489, c_thing))], (1596 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _37233) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _37233) ^ [_50380] : [tptpcol_8_22020(_50380), -(tptpcol_7_21508(_50380))], (3900 ^ _37233) ^ [_82687, _82689] : [products(_82689, _82687), -(creationordestructionevent(_82689))], (5362 ^ _37233) ^ [_100877] : [isa(_100877, c_tptpcol_9_72709), -(tptpcol_9_72709(_100877))], (2926 ^ _37233) ^ [_70503] : [isa(_70503, c_physicalorderingpredicate), -(physicalorderingpredicate(_70503))], (4088 ^ _37233) ^ [_85055] : [tptpcol_5_24579(_85055), -(isa(_85055, c_tptpcol_5_24579))], (2872 ^ _37233) ^ [_69846] : [tptpcol_12_118116(_69846), -(isa(_69846, c_tptpcol_12_118116))], (3774 ^ _37233) ^ [_81140] : [isa(_81140, c_tptpcol_8_92164), -(tptpcol_8_92164(_81140))], (3940 ^ _37233) ^ [_83211] : [isa(_83211, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_83211))], (3248 ^ _37233) ^ [_74621, _74623, _74625] : [-(no(_74621, _74623)), no(_74625, _74623), subsetof(_74621, _74625)], (3922 ^ _37233) ^ [_82971, _82973, _82975] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82975, _82973, _82971), n_2, _82973))], (1996 ^ _37233) ^ [_59038] : [isa(_59038, c_tptpcol_16_62187), -(tptpcol_16_62187(_59038))], (4510 ^ _37233) ^ [_90256] : [isa(_90256, c_tptpcol_7_72707), -(tptpcol_7_72707(_90256))], (1904 ^ _37233) ^ [_57980] : [tptpcol_3_98305(_57980), tptpcol_3_114688(_57980)], (2148 ^ _37233) ^ [_60905] : [tptpcol_8_39940(_60905), -(isa(_60905, c_tptpcol_8_39940))], (988 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _37233) ^ [_64855] : [tptpcol_6_20484(_64855), -(isa(_64855, c_tptpcol_6_20484))], (1396 ^ _37233) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _37233) ^ [_90913] : [tptpcol_4_114689(_90913), -(isa(_90913, c_tptpcol_4_114689))], (178 ^ _37233) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _37233) ^ [_67772, _67774, _67776, _67778] : [-(natargument(f_relationallexistsfn(_67778, _67776, _67774, _67772), n_3, _67774))], (3356 ^ _37233) ^ [_75999] : [isa(_75999, c_tptpcol_13_18664), -(tptpcol_13_18664(_75999))], (5060 ^ _37233) ^ [_97044] : [tptpcol_13_40421(_97044), -(isa(_97044, c_tptpcol_13_40421))], (782 ^ _37233) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _37233) ^ [_87595] : [shavingrazor_manual(_87595), -(isa(_87595, c_shavingrazor_manual))], (1310 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _37233) ^ [_75404, _75406, _75408] : [-(natfunction(f_instancewithrelationtofn(_75408, _75406, _75404), c_instancewithrelationtofn))], (814 ^ _37233) ^ [_46120] : [firstordercollection(_46120), -(fixedordercollection(_46120))], (1586 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _37233) ^ [_99309] : [predicate(_99309), -(genlpreds(_99309, _99309))], (564 ^ _37233) ^ [_43388] : [tptpcol_2_2(_43388), -(tptpcol_1_1(_43388))], (1684 ^ _37233) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _37233) ^ [_43204] : [tptpcol_12_26919(_43204), -(tptpcol_11_26887(_43204))], (2126 ^ _37233) ^ [_60636] : [-(natargument(f_tptpquantityfn_2(_60636), n_1, _60636))], (244 ^ _37233) ^ [_39900, _39902, _39904, _39906] : [-(isa(f_relationexistsallfn(_39906, _39902, _39900, _39904), _39900)), isa(_39906, _39904), relationexistsall(_39902, _39900, _39904)], (1604 ^ _37233) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _37233) ^ [_51923] : [tptpcol_8_93698(_51923), -(tptpcol_7_93186(_51923))], (1172 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _37233) ^ [_97782] : [setorcollection(_97782), -(most(_97782, _97782))], (3726 ^ _37233) ^ [_80556] : [isa(_80556, c_pushingababycarriage), -(pushingababycarriage(_80556))], (4034 ^ _37233) ^ [_84394, _84396] : [prettystring(_84396, _84394), -(controlcharacterfreestring(_84394))], (4070 ^ _37233) ^ [_84836] : [isa(_84836, c_tptpcol_4_24578), -(tptpcol_4_24578(_84836))], (5250 ^ _37233) ^ [_99455, _99457] : [genlinverse(_99457, _99455), -(binarypredicate(_99455))], (4362 ^ _37233) ^ [_88416] : [isa(_88416, c_thing), -(thing(_88416))], (1746 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _37233) ^ [_68674] : [militaryperson(_68674), -(isa(_68674, c_militaryperson))], (3958 ^ _37233) ^ [_83430] : [tptpcol_10_118020(_83430), -(isa(_83430, c_tptpcol_10_118020))], (222 ^ _37233) ^ [_39656, _39658] : [tptptypes_9_693(_39658, _39656), -(tptptypes_8_692(_39658, _39656))], (3132 ^ _37233) ^ [_73121, _73123, _73125] : [-(natfunction(f_subcollectionofwithrelationtofn(_73125, _73123, _73121), c_subcollectionofwithrelationtofn))], (990 ^ _37233) ^ [_48032] : [tptpcol_16_30972(_48032), -(tptpcol_15_30970(_48032))], (3596 ^ _37233) ^ [_78937] : [runningshorts(_78937), -(isa(_78937, c_runningshorts))], (5434 ^ _37233) ^ [_101761, _101763, _101765] : [-(genls(_101765, _101761)), genls(_101765, _101763), genls(_101763, _101761)], (1476 ^ _37233) ^ [_53326] : [tptpcol_10_93700(_53326), -(tptpcol_9_93699(_53326))], (4936 ^ _37233) ^ [_95520] : [tptpcol_14_72792(_95520), -(isa(_95520, c_tptpcol_14_72792))], (4774 ^ _37233) ^ [_93549] : [isa(_93549, c_tptpcol_10_18567), -(tptpcol_10_18567(_93549))], (4726 ^ _37233) ^ [_92965] : [isa(_92965, c_tptpcol_10_92166), -(tptpcol_10_92166(_92965))], (3672 ^ _37233) ^ [_79877] : [isa(_79877, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79877))], (156 ^ _37233) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _37233) ^ [_38398] : [tptpcol_14_72792(_38398), -(tptpcol_13_72791(_38398))], (386 ^ _37233) ^ [_41455] : [tptpcol_6_116738(_41455), -(tptpcol_5_114690(_41455))], (2044 ^ _37233) ^ [_59622] : [isa(_59622, c_pushingwithfingers), -(pushingwithfingers(_59622))], (3816 ^ _37233) ^ [_81651] : [tptpcol_2_2(_81651), -(isa(_81651, c_tptpcol_2_2))], (5228 ^ _37233) ^ [_99176, _99178, _99180] : [-(genlpreds(_99180, _99176)), genlpreds(_99180, _99178), genlpreds(_99178, _99176)], (330 ^ _37233) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _37233) ^ [_90840] : [isa(_90840, c_tptpcol_4_114689), -(tptpcol_4_114689(_90840))], (3590 ^ _37233) ^ [_78864] : [isa(_78864, c_runningshorts), -(runningshorts(_78864))], (1318 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _37233) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _37233) ^ [_67522] : [isa(_67522, c_state_geopolitical), -(state_geopolitical(_67522))], (5566 ^ _37233) ^ [_103441, _103443] : [genlmt(_103443, _103441), -(microtheory(_103443))], (3638 ^ _37233) ^ [_79448, _79450] : [directionoftranslation_throughout(_79450, _79448), -(unitvectorinterval(_79448))], (2598 ^ _37233) ^ [_66423] : [tptpcol_13_26920(_66423), -(isa(_66423, c_tptpcol_13_26920))], (5048 ^ _37233) ^ [_96898] : [tptpcol_12_40420(_96898), -(isa(_96898, c_tptpcol_12_40420))], (5582 ^ _37233) ^ [_103649] : [microtheory(_103649), -(genlmt(_103649, _103649))], (2578 ^ _37233) ^ [_66164] : [intangibleindividual(_66164), -(isa(_66164, c_intangibleindividual))], (1556 ^ _37233) ^ [_54216] : [tptpcol_16_50958(_54216), -(tptpcol_15_50957(_54216))], (4438 ^ _37233) ^ [_89358] : [furpelt(_89358), -(isa(_89358, c_furpelt))], (5102 ^ _37233) ^ [_97559, _97561] : [most(_97561, _97559), -(setorcollection(_97561))], (1952 ^ _37233) ^ [_58511] : [tptpcol_10_92166(_58511), -(tptpcol_9_92165(_58511))], (332 ^ _37233) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _37233) ^ [_61051] : [tptpcol_15_26925(_61051), -(isa(_61051, c_tptpcol_15_26925))], (1774 ^ _37233) ^ [_56605] : [tptpcol_7_21508(_56605), -(tptpcol_6_20484(_56605))], (104 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _37233) ^ [_85420] : [isa(_85420, c_tptpcol_13_109173), -(tptpcol_13_109173(_85420))], (970 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _37233) ^ [_96544, _96546] : [geographicalsubregions(_96546, _96544), -(geographicalregion(_96546))], (3110 ^ _37233) ^ [_72842, _72844, _72846] : [-(objectfoundinlocation(_72846, _72842)), objectfoundinlocation(_72846, _72844), subregions(_72842, _72844)], (2142 ^ _37233) ^ [_60832] : [isa(_60832, c_tptpcol_8_39940), -(tptpcol_8_39940(_60832))], (980 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _37233) ^ [_39567] : [tptpcol_12_40420(_39567), -(tptpcol_11_40388(_39567))], (3268 ^ _37233) ^ [_74887] : [isa(_74887, c_geographicalregion), -(geographicalregion(_74887))], (400 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _37233) ^ [_61712] : [isa(_61712, c_tptpcol_16_72795), -(tptpcol_16_72795(_61712))], (240 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _37233) ^ [_76072] : [tptpcol_13_18664(_76072), -(isa(_76072, c_tptpcol_13_18664))], (4398 ^ _37233) ^ [_88854, _88856] : [inregion(_88856, _88854), -(spatialthing_nonsituational(_88854))], (14 ^ _37233) ^ [_37375] : [tptpcol_15_40430(_37375), -(tptpcol_14_40429(_37375))], (5066 ^ _37233) ^ [_97117] : [isa(_97117, c_tptpcol_6_92162), -(tptpcol_6_92162(_97117))], (590 ^ _37233) ^ [_43673] : [tptpcol_1_1(_43673), tptpcol_1_65536(_43673)], (968 ^ _37233) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _37233) ^ [_102958, _102960, _102962] : [-(disjointwith(_102958, _102960)), disjointwith(_102962, _102960), genls(_102958, _102962)], (3148 ^ _37233) ^ [_73351] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73351), -(isa(_73351, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _37233) ^ [_75258] : [isa(_75258, c_airport_physical), -(airport_physical(_75258))], (4468 ^ _37233) ^ [_89739, _89741, _89743] : [relationallinstance(_89743, _89741, _89739), -(binarypredicate(_89743))], (1598 ^ _37233) ^ [_54685] : [tptpcol_9_26885(_54685), -(tptpcol_8_26629(_54685))], (1060 ^ _37233) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _37233) ^ [_49774, _49776] : [disjointwith(_49776, _49774), -(collection(_49774))], (2394 ^ _37233) ^ [_63906] : [isa(_63906, c_tptpcol_8_117763), -(tptpcol_8_117763(_63906))], (64 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _37233) ^ [_82166, _82168] : [tptptypes_6_818(_82168, _82166), -(firstordercollection(_82166))], (2154 ^ _37233) ^ [_60978] : [isa(_60978, c_tptpcol_15_26925), -(tptpcol_15_26925(_60978))], (534 ^ _37233) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _37233) ^ [_45208] : [tptpcol_8_109059(_45208), -(tptpcol_7_108547(_45208))], (4582 ^ _37233) ^ [_91132] : [isa(_91132, c_tptpcol_3_98305), -(tptpcol_3_98305(_91132))], (5304 ^ _37233) ^ [_100135] : [-(natargument(f_urlreferentfn(_100135), n_1, _100135))], (5334 ^ _37233) ^ [_100523, _100525] : [isa(_100525, _100523), -(thing(_100525))], (864 ^ _37233) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _37233) ^ [_53759] : [individual(_53759), -(trajector_underspecified(_53759))], (3326 ^ _37233) ^ [_75634] : [tptpcol_6_112641(_75634), -(isa(_75634, c_tptpcol_6_112641))], (1522 ^ _37233) ^ [_53830] : [shavingrazor_manual(_53830), -(tptp_8_271(f_relationexistsallfn(_53830, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53830))], (5482 ^ _37233) ^ [_102379] : [partiallytangible(_102379), -(isa(_102379, c_partiallytangible))], (1782 ^ _37233) ^ [_56694] : [tptpcol_6_108546(_56694), -(tptpcol_5_106498(_56694))], (1356 ^ _37233) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _37233) ^ [_48139] : [tptpcol_9_18439(_48139), -(tptpcol_8_18438(_48139))], (2496 ^ _37233) ^ [_65153, _65155] : [few(_65155, _65153), -(setorcollection(_65155))], (3500 ^ _37233) ^ [_77755, _77757] : [orientation(_77757, _77755), -(spatialthing_localized(_77757))], (1572 ^ _37233) ^ [_54394] : [tptpcol_16_72795(_54394), -(tptpcol_15_72793(_54394))], (510 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _37233) ^ [_87668] : [isa(_87668, c_tptpcol_9_109060), -(tptpcol_9_109060(_87668))], (1026 ^ _37233) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _37233) ^ [_39027] : [tptpcol_3_81921(_39027), -(tptpcol_2_65537(_39027))], (612 ^ _37233) ^ [_43909] : [-(tptp_8_875(_43909, f_relationallexistsfn(_43909, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43909, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _37233) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _37233) ^ [_89964] : [isa(_89964, c_tptpcol_9_40196), -(tptpcol_9_40196(_89964))], (1612 ^ _37233) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _37233) ^ [_80410] : [isa(_80410, c_tptpcol_16_10258), -(tptpcol_16_10258(_80410))], (3946 ^ _37233) ^ [_83284] : [mathematicalorcomputationalthing(_83284), -(isa(_83284, c_mathematicalorcomputationalthing))], (4456 ^ _37233) ^ [_89581, _89583, _89585] : [relationallinstance(_89585, _89583, _89581), -(thing(_89581))], (4178 ^ _37233) ^ [_86150, _86152] : [tptptypes_8_400(_86152, _86150), -(firstordercollection(_86150))], (3338 ^ _37233) ^ [_75780] : [tptpcol_7_113665(_75780), -(isa(_75780, c_tptpcol_7_113665))], (546 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _37233) ^ [_72975] : [isa(_72975, c_ship), -(ship(_72975))], (670 ^ _37233) ^ [_44555] : [tptpcol_12_22055(_44555), -(tptpcol_11_22023(_44555))], (910 ^ _37233) ^ [_47157] : [tptpcol_13_22071(_47157), -(tptpcol_12_22055(_47157))], (1640 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _37233) ^ [_84186, _84188, _84190] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_84190, _84188, _84186), n_3, _84186))], (958 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _37233) ^ [_63979] : [tptpcol_8_117763(_63979), -(isa(_63979, c_tptpcol_8_117763))], (394 ^ _37233) ^ [_41544] : [tptpcol_15_92268(_41544), -(tptpcol_14_92264(_41544))], (526 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _37233) ^ [_77023] : [tptpcol_7_108547(_77023), -(isa(_77023, c_tptpcol_7_108547))], (5108 ^ _37233) ^ [_97634, _97636] : [most(_97636, _97634), -(setorcollection(_97636))], (2244 ^ _37233) ^ [_62077] : [tptpcol_15_50957(_62077), -(isa(_62077, c_tptpcol_15_50957))], (4336 ^ _37233) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _37233) ^ [_75183, _75185] : [airporthasiatacode(_75185, _75183), -(airport_physical(_75185))], (2466 ^ _37233) ^ [_64782] : [isa(_64782, c_tptpcol_6_20484), -(tptpcol_6_20484(_64782))], (474 ^ _37233) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _37233) ^ [_65003, _65005] : [few(_65005, _65003), -(setorcollection(_65003))], (5316 ^ _37233) ^ [_100298, _100300] : [isa(_100300, _100298), -(collection(_100298))], (4006 ^ _37233) ^ [_84018] : [terrorist(_84018), -(isa(_84018, c_terrorist))], (142 ^ _37233) ^ [_38790] : [trajector_underspecified(_38790), -(location_underspecified(_38790))], (3494 ^ _37233) ^ [_77680, _77682] : [orientation(_77682, _77680), -(orientationvector(_77680))], (4148 ^ _37233) ^ [_85785] : [setorcollection(_85785), -(isa(_85785, c_setorcollection))], (3536 ^ _37233) ^ [_78197, _78199] : [tptptypes_9_824(_78199, _78197), -(firstordercollection(_78199))], (908 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _37233) ^ [_65872] : [tptpcol_15_130923(_65872), -(isa(_65872, c_tptpcol_15_130923))], (3018 ^ _37233) ^ [_71645] : [-(natargument(f_contextofpcwfn(_71645), n_1, _71645))], (1082 ^ _37233) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _37233) ^ [_65507] : [isa(_65507, c_tptpcol_16_130933), -(tptpcol_16_130933(_65507))], (292 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _37233) ^ [_65653] : [isa(_65653, c_tptpcol_7_92163), -(tptpcol_7_92163(_65653))], (4614 ^ _37233) ^ [_91563, _91565, _91567, _91569] : [-(natargument(f_relationexistsallfn(_91569, _91567, _91565, _91563), n_4, _91563))], (1788 ^ _37233) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _37233) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _37233) ^ [_63249] : [tptpcol_4_90113(_63249), -(isa(_63249, c_tptpcol_4_90113))], (4246 ^ _37233) ^ [_87003] : [tptpcol_15_92268(_87003), -(isa(_87003, c_tptpcol_15_92268))], (2824 ^ _37233) ^ [_69260, _69262] : [tptptypes_8_823(_69262, _69260), -(firstordercollection(_69262))], (520 ^ _37233) ^ [_42912] : [mathematicalorcomputationalthing(_42912), -(intangible(_42912))], (2590 ^ _37233) ^ [_66323, _66325] : [-(city(f_citynamedfn(_66325, _66323)))], (630 ^ _37233) ^ [_44115] : [tptpcol_10_118020(_44115), -(tptpcol_9_118019(_44115))], (496 ^ _37233) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _37233) ^ [_73048] : [ship(_73048), -(isa(_73048, c_ship))], (4528 ^ _37233) ^ [_90475] : [tptpcol_8_72708(_90475), -(isa(_90475, c_tptpcol_8_72708))], (4058 ^ _37233) ^ [_84690] : [isa(_84690, c_geolevel_3), -(geolevel_3(_84690))], (90 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _37233) ^ [_72336, _72338] : [objectfoundinlocation(_72338, _72336), -(spatialthing_localized(_72338))], (4208 ^ _37233) ^ [_86525, _86527] : [borderson(_86527, _86525), -(geographicalregion(_86525))], (1540 ^ _37233) ^ [_54038] : [tptpcol_12_72775(_54038), -(tptpcol_11_72774(_54038))], (5298 ^ _37233) ^ [_100060] : [-(natargument(f_urlfn(_100060), n_1, _100060))], (128 ^ _37233) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _37233) ^ [_81724, _81726] : [tptptypes_7_691(_81726, _81724), -(firstordercollection(_81724))], (662 ^ _37233) ^ [_44467] : [individual(_44467), setorcollection(_44467)], (1054 ^ _37233) ^ [_48731, _48733] : [tptptypes_8_823(_48733, _48731), -(tptptypes_7_819(_48733, _48731))], (2782 ^ _37233) ^ [_68747] : [isa(_68747, c_tptpcol_15_72793), -(tptpcol_15_72793(_68747))], (4654 ^ _37233) ^ [_92081, _92083] : [tptptypes_8_692(_92083, _92081), -(firstordercollection(_92081))], (364 ^ _37233) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _37233) ^ [_91528, _91530, _91532, _91534] : [-(natargument(f_relationexistsallfn(_91534, _91532, _91530, _91528), n_3, _91530))], (4184 ^ _37233) ^ [_86225, _86227] : [tptptypes_8_400(_86227, _86225), -(firstordercollection(_86227))], (3864 ^ _37233) ^ [_82241, _82243] : [tptptypes_6_818(_82243, _82241), -(firstordercollection(_82243))], (1832 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _37233) ^ [_96250] : [tptpcol_9_22021(_96250), -(isa(_96250, c_tptpcol_9_22021))], (1872 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _37233) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _37233) ^ [_87372, _87374] : [tptptypes_6_388(_87374, _87372), -(firstordercollection(_87372))], (1108 ^ _37233) ^ [_49301] : [tptpcol_4_16387(_49301), -(tptpcol_3_16386(_49301))], (928 ^ _37233) ^ [_47353] : [tptpcol_4_114689(_47353), -(tptpcol_3_114688(_47353))], (2406 ^ _37233) ^ [_64052] : [isa(_64052, c_tptpcol_7_18437), -(tptpcol_7_18437(_64052))], (3934 ^ _37233) ^ [_83138] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_83138), -(isa(_83138, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _37233) ^ [_96396] : [transitivebinarypredicate(_96396), -(isa(_96396, c_transitivebinarypredicate))], (744 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _37233) ^ [_93257] : [isa(_93257, c_orderingpredicate), -(orderingpredicate(_93257))], (900 ^ _37233) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _37233) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _37233) ^ [_37464] : [tptpcol_10_72710(_37464), -(tptpcol_9_72709(_37464))], (3840 ^ _37233) ^ [_81947] : [tptpcol_11_26887(_81947), -(isa(_81947, c_tptpcol_11_26887))], (2014 ^ _37233) ^ [_59257] : [tptpcol_13_92263(_59257), -(isa(_59257, c_tptpcol_13_92263))], (556 ^ _37233) ^ [_43293, _43295] : [tptptypes_8_692(_43295, _43293), -(tptptypes_7_691(_43293, _43295))], (3184 ^ _37233) ^ [_73789] : [tptpcol_3_16386(_73789), -(isa(_73789, c_tptpcol_3_16386))], (874 ^ _37233) ^ [_46755, _46757] : [disjointwith(_46757, _46755), -(no(_46757, _46755))], (4828 ^ _37233) ^ [_94206] : [enduringthing_localized(_94206), -(isa(_94206, c_enduringthing_localized))], (1414 ^ _37233) ^ [_52641, _52643, _52645] : [isa(_52645, _52643), isa(_52645, _52641), disjointwith(_52643, _52641)], (588 ^ _37233) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _37233) ^ [_87887] : [tptpcol_10_109061(_87887), -(isa(_87887, c_tptpcol_10_109061))], (392 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _37233) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _37233) ^ [_67875, _67877] : [arg2isa(_67877, _67875), -(collection(_67875))], (5518 ^ _37233) ^ [_102825, _102827, _102829] : [-(disjointwith(_102829, _102825)), disjointwith(_102829, _102827), genls(_102825, _102827)], (2756 ^ _37233) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _37233) ^ [_67737, _67739, _67741, _67743] : [-(natargument(f_relationallexistsfn(_67743, _67741, _67739, _67737), n_2, _67741))], (3318 ^ _37233) ^ [_75531, _75533, _75535] : [-(thing(f_instancewithrelationtofn(_75535, _75533, _75531)))], (366 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _37233) ^ [_39383] : [tptpcol_2_98304(_39383), -(tptpcol_1_65536(_39383))], (1270 ^ _37233) ^ [_51091] : [tptpcol_16_130924(_51091), -(tptpcol_15_130923(_51091))], (830 ^ _37233) ^ [_46286] : [tptpcol_13_18664(_46286), -(tptpcol_12_18663(_46286))], (4786 ^ _37233) ^ [_93695] : [isa(_93695, c_tptpcol_2_65537), -(tptpcol_2_65537(_93695))], (1212 ^ _37233) ^ [_50469] : [-(tptp_9_51(f_relationexistsallfn(_50469, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _50469)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_50469, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _37233) ^ [_88708] : [isa(_88708, c_applicationcontext), -(applicationcontext(_88708))], (2950 ^ _37233) ^ [_70795, _70797] : [tptp_8_968(_70797, _70795), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70795))], (2974 ^ _37233) ^ [_71103, _71105, _71107] : [relationexistsall(_71107, _71105, _71103), -(binarypredicate(_71107))], (4966 ^ _37233) ^ [_95885] : [isa(_95885, c_tptpcol_5_16388), -(tptpcol_5_16388(_95885))], (678 ^ _37233) ^ [_44644] : [applicationcontext(_44644), -(microtheory(_44644))], (1330 ^ _37233) ^ [_51727] : [tptpcol_7_108547(_51727), -(tptpcol_6_108546(_51727))], (4 ^ _37233) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _37233) ^ [_64344] : [isa(_64344, c_tptpcol_8_93698), -(tptpcol_8_93698(_64344))], (28 ^ _37233) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _37233) ^ [_61562, _61564] : [tptptypes_5_802(_61564, _61562), -(firstordercollection(_61562))], (942 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _37233) ^ [_52226] : [tptpcol_8_18438(_52226), -(tptpcol_7_18437(_52226))], (5456 ^ _37233) ^ [_102040, _102042, _102044] : [-(genls(_102040, _102042)), genls(_102044, _102042), genls(_102040, _102044)], (622 ^ _37233) ^ [] : [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 ^ _37233) ^ [_87447, _87449] : [tptptypes_6_388(_87449, _87447), -(firstordercollection(_87449))], (3016 ^ _37233) ^ [_71620] : [-(natfunction(f_contextofpcwfn(_71620), c_contextofpcwfn))], (5072 ^ _37233) ^ [_97190] : [tptpcol_6_92162(_97190), -(isa(_97190, c_tptpcol_6_92162))], (596 ^ _37233) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _37233) ^ [_81799, _81801] : [tptptypes_7_691(_81801, _81799), -(firstordercollection(_81801))], (2724 ^ _37233) ^ [_68025, _68027, _68029] : [-(arg2isa(_68029, _68025)), arg2isa(_68029, _68027), genls(_68027, _68025)], (1034 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _37233) ^ [_65945] : [isa(_65945, c_tptpcol_16_130924), -(tptpcol_16_130924(_65945))], (2062 ^ _37233) ^ [_59843, _59845] : [affiliatedwith(_59845, _59843), -(agent_generic(_59845))], (4702 ^ _37233) ^ [_92673] : [isa(_92673, c_tptpcol_1_65536), -(tptpcol_1_65536(_92673))], (1084 ^ _37233) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _37233) ^ [_78049] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_78049), -(isa(_78049, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _37233) ^ [_64417] : [tptpcol_8_93698(_64417), -(isa(_64417, c_tptpcol_8_93698))], (4546 ^ _37233) ^ [_90694] : [isa(_90694, c_tptpcol_12_93765), -(tptpcol_12_93765(_90694))], (580 ^ _37233) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _37233) ^ [_88343] : [tptpcol_12_92262(_88343), -(isa(_88343, c_tptpcol_12_92262))], (858 ^ _37233) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _37233) ^ [_69039] : [isa(_69039, c_tptpcol_10_26886), -(tptpcol_10_26886(_69039))], (1658 ^ _37233) ^ [_55356, _55358] : [tptptypes_9_824(_55358, _55356), -(tptptypes_8_823(_55358, _55356))], (1834 ^ _37233) ^ [_57245] : [tptpcol_9_40196(_57245), -(tptpcol_8_39940(_57245))], (1008 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _37233) ^ [_63760] : [isa(_63760, c_tptpcol_7_117762), -(tptpcol_7_117762(_63760))], (1464 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _37233) ^ [_94352] : [location_underspecified(_94352), -(isa(_94352, c_location_underspecified))], (3702 ^ _37233) ^ [_80252, _80254, _80256] : [relationallexists(_80256, _80254, _80252), -(collection(_80254))], (4816 ^ _37233) ^ [_94060] : [artsupplies(_94060), -(isa(_94060, c_artsupplies))], (1894 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _37233) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _37233) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _37233) ^ [_79598, _79600, _79602] : [-(directionoftranslation_throughout(_79598, _79600)), directionoftranslation_throughout(_79602, _79600), subevents(_79602, _79598)], (4330 ^ _37233) ^ [_88033] : [executionbyfiringsquad(_88033), -(isa(_88033, c_executionbyfiringsquad))], (1580 ^ _37233) ^ [_54483] : [tptpcol_6_71683(_54483), -(tptpcol_5_69635(_54483))], (1926 ^ _37233) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _37233) ^ [_64198] : [isa(_64198, c_tptpcol_6_18436), -(tptpcol_6_18436(_64198))], (888 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _37233) ^ [_49064] : [tptpcol_15_72793(_49064), -(tptpcol_14_72792(_49064))], (1100 ^ _37233) ^ [_49212] : [navypersonnel(_49212), -(militaryperson(_49212))], (2764 ^ _37233) ^ [_68528] : [spatialthing_nonsituational(_68528), -(isa(_68528, c_spatialthing_nonsituational))], (1960 ^ _37233) ^ [_58600] : [tptpcol_14_118118(_58600), -(tptpcol_13_118117(_58600))], (3810 ^ _37233) ^ [_81578] : [isa(_81578, c_tptpcol_2_2), -(tptpcol_2_2(_81578))], (258 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _37233) ^ [_93768] : [tptpcol_2_65537(_93768), -(isa(_93768, c_tptpcol_2_65537))], (1472 ^ _37233) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _37233) ^ [_70576] : [physicalorderingpredicate(_70576), -(isa(_70576, c_physicalorderingpredicate))], (1248 ^ _37233) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _37233) ^ [_68966] : [tptpcol_9_26885(_68966), -(isa(_68966, c_tptpcol_9_26885))], (232 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _37233) ^ [_42728, _42730] : [geographicalsubregions(_42730, _42728), -(inregion(_42728, _42730))], (4954 ^ _37233) ^ [_95739] : [isa(_95739, c_tptpcol_4_16387), -(tptpcol_4_16387(_95739))], (1966 ^ _37233) ^ [_58671] : [isa(_58671, c_tptpcol_14_118118), -(tptpcol_14_118118(_58671))], (1500 ^ _37233) ^ [_53581] : [tptpcol_3_16386(_53581), -(tptpcol_2_2(_53581))], (1374 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _37233) ^ [_103216, _103218] : [genlmt(_103218, _103216), -(microtheory(_103216))], (3398 ^ _37233) ^ [_76512] : [isa(_76512, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_76512))], (4810 ^ _37233) ^ [_93987] : [isa(_93987, c_artsupplies), -(artsupplies(_93987))], (3470 ^ _37233) ^ [_77388] : [isa(_77388, c_tptpcol_15_93775), -(tptpcol_15_93775(_77388))], (1754 ^ _37233) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _37233) ^ [_95447] : [isa(_95447, c_tptpcol_14_72792), -(tptpcol_14_72792(_95447))], (3554 ^ _37233) ^ [_78422] : [isa(_78422, c_tptpcol_12_22055), -(tptpcol_12_22055(_78422))], (562 ^ _37233) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _37233) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _37233) ^ [_94133] : [isa(_94133, c_enduringthing_localized), -(enduringthing_localized(_94133))], (2794 ^ _37233) ^ [_68893] : [isa(_68893, c_tptpcol_9_26885), -(tptpcol_9_26885(_68893))], (4392 ^ _37233) ^ [_88781] : [applicationcontext(_88781), -(isa(_88781, c_applicationcontext))], (5450 ^ _37233) ^ [_101967] : [collection(_101967), -(genls(_101967, _101967))], (300 ^ _37233) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _37233) ^ [_78789, _78791] : [tptp_9_720(_78791, _78789), -(executionbyfiringsquad(_78791))], (2890 ^ _37233) ^ [_70065] : [isa(_70065, c_tptpcol_15_30970), -(tptpcol_15_30970(_70065))], (4642 ^ _37233) ^ [_91931, _91933] : [tptptypes_8_390(_91933, _91931), -(firstordercollection(_91931))], (3138 ^ _37233) ^ [_73216, _73218, _73220] : [-(natargument(f_subcollectionofwithrelationtofn(_73220, _73218, _73216), n_3, _73216))], (4948 ^ _37233) ^ [_95666] : [ridgeline_topographical(_95666), -(isa(_95666, c_ridgeline_topographical))], (4624 ^ _37233) ^ [_91706, _91708] : [resultisaarg(_91708, _91706), -(function_denotational(_91708))], (3506 ^ _37233) ^ [_77830] : [isa(_77830, c_orientationvector), -(orientationvector(_77830))], (1428 ^ _37233) ^ [_52809] : [aspatialinformationstore(_52809), -(aspatialthing(_52809))], (5282 ^ _37233) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _37233) ^ [_87149] : [tptpcol_6_116738(_87149), -(isa(_87149, c_tptpcol_6_116738))], (1250 ^ _37233) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _37233) ^ [_94644] : [individual(_94644), -(isa(_94644, c_individual))], (1780 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _37233) ^ [_92600] : [marriagelicensedocument(_92600), -(isa(_92600, c_marriagelicensedocument))], (5084 ^ _37233) ^ [_97336] : [tptpcol_7_93186(_97336), -(isa(_97336, c_tptpcol_7_93186))], (1530 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _37233) ^ [_76145] : [isa(_76145, c_firstordercollection), -(firstordercollection(_76145))], (3258 ^ _37233) ^ [_74754, _74756, _74758] : [-(no(_74758, _74754)), no(_74758, _74756), subsetof(_74754, _74756)], (1538 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _37233) ^ [_85347] : [tptpcol_12_109157(_85347), -(isa(_85347, c_tptpcol_12_109157))], (1682 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _37233) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _37233) ^ [_87741] : [tptpcol_9_109060(_87741), -(isa(_87741, c_tptpcol_9_109060))], (3924 ^ _37233) ^ [_83003, _83005, _83007] : [-(natargument(f_subcollectionofwithrelationtotypefn(_83007, _83005, _83003), n_3, _83003))], (1344 ^ _37233) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _37233) ^ [_71845, _71847, _71849] : [-(arg1isa(_71849, _71845)), arg1isa(_71849, _71847), genls(_71847, _71845)], (186 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _37233) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _37233) ^ [_74222, _74224, _74226] : [-(no(_74222, _74224)), no(_74226, _74224), subsetof(_74222, _74226)], (84 ^ _37233) ^ [_38161] : [tptpcol_9_22021(_38161), -(tptpcol_8_22020(_38161))], (1888 ^ _37233) ^ [_57814] : [tptpcol_7_18437(_57814), -(tptpcol_6_18436(_57814))], (974 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _37233) ^ [_62442] : [isa(_62442, c_tptpcol_11_72774), -(tptpcol_11_72774(_62442))], (4214 ^ _37233) ^ [_86600, _86602] : [borderson(_86602, _86600), -(geographicalregion(_86602))], (822 ^ _37233) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _37233) ^ [_90037] : [tptpcol_9_40196(_90037), -(isa(_90037, c_tptpcol_9_40196))], (5356 ^ _37233) ^ [_100804] : [inanimateobject(_100804), -(isa(_100804, c_inanimateobject))], (544 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _37233) ^ [_62296] : [isa(_62296, c_tptpcol_6_71683), -(tptpcol_6_71683(_62296))], (1858 ^ _37233) ^ [_57500] : [tptpcol_5_90114(_57500), -(tptpcol_4_90113(_57500))], (4166 ^ _37233) ^ [_86004] : [isa(_86004, c_tptpcol_12_18663), -(tptpcol_12_18663(_86004))], (2502 ^ _37233) ^ [_65228, _65230, _65232] : [-(few(_65232, _65228)), few(_65232, _65230), subsetof(_65228, _65230)], (2848 ^ _37233) ^ [_69554] : [tptpcol_15_109185(_69554), -(isa(_69554, c_tptpcol_15_109185))], (3316 ^ _37233) ^ [_75499, _75501, _75503] : [-(natargument(f_instancewithrelationtofn(_75503, _75501, _75499), n_3, _75499))], (5256 ^ _37233) ^ [_99530, _99532] : [genlinverse(_99532, _99530), -(binarypredicate(_99532))], (466 ^ _37233) ^ [_42337] : [tptpcol_5_24579(_42337), -(tptpcol_4_24578(_42337))], (2316 ^ _37233) ^ [_62953] : [tptpcol_16_25972(_62953), -(isa(_62953, c_tptpcol_16_25972))], (1438 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _37233) ^ [_60027] : [isa(_60027, c_footballteam), -(footballteam(_60027))], (872 ^ _37233) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _37233) ^ [_59330] : [isa(_59330, c_geolevel_4), -(geolevel_4(_59330))], (3410 ^ _37233) ^ [_76658] : [isa(_76658, c_tptpcol_13_22071), -(tptpcol_13_22071(_76658))], (1978 ^ _37233) ^ [_58817] : [-(natfunction(f_tptpquantityfn_6(_58817), c_tptpquantityfn_6))], (3792 ^ _37233) ^ [_81359] : [tptpcol_9_92165(_81359), -(isa(_81359, c_tptpcol_9_92165))], (2616 ^ _37233) ^ [_66642] : [isa(_66642, c_tptpcol_3_65538), -(tptpcol_3_65538(_66642))], (2980 ^ _37233) ^ [_71182] : [isa(_71182, c_tptpcol_7_26628), -(tptpcol_7_26628(_71182))], (5398 ^ _37233) ^ [_101315] : [isa(_101315, c_tptpcol_15_40430), -(tptpcol_15_40430(_101315))], (776 ^ _37233) ^ [_45712] : [inanimateobject_nonnatural(_45712), -(inanimateobject(_45712))], (1474 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _37233) ^ [_59111] : [tptpcol_16_62187(_59111), -(isa(_59111, c_tptpcol_16_62187))], (684 ^ _37233) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _37233) ^ [_58246] : [computerdataartifact(_58246), -(artifact(_58246))], (220 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _37233) ^ [_79804] : [unitvectorinterval(_79804), -(isa(_79804, c_unitvectorinterval))], (1036 ^ _37233) ^ [_48535] : [tptpcol_15_109185(_48535), -(tptpcol_14_109181(_48535))], (3196 ^ _37233) ^ [_73937, _73939] : [no(_73939, _73937), -(setorcollection(_73939))], (2854 ^ _37233) ^ [_69627] : [isa(_69627, c_tptpcol_6_26627), -(tptpcol_6_26627(_69627))], (1856 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _37233) ^ [_46939] : [tptpcol_5_69635(_46939), -(tptpcol_4_65539(_46939))], (3274 ^ _37233) ^ [_74960] : [geographicalregion(_74960), -(isa(_74960, c_geographicalregion))], (4744 ^ _37233) ^ [_93184] : [tptpcol_11_92230(_93184), -(isa(_93184, c_tptpcol_11_92230))], (2830 ^ _37233) ^ [_69335] : [isa(_69335, c_tptpcol_16_92269), -(tptpcol_16_92269(_69335))], (1668 ^ _37233) ^ [_55469] : [tptpcol_11_26887(_55469), -(tptpcol_10_26886(_55469))], (1666 ^ _37233) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _37233) ^ [_63176] : [isa(_63176, c_tptpcol_4_90113), -(tptpcol_4_90113(_63176))], (4076 ^ _37233) ^ [_84909] : [tptpcol_4_24578(_84909), -(isa(_84909, c_tptpcol_4_24578))], (202 ^ _37233) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _37233) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _37233) ^ [_77242] : [isa(_77242, c_tptpcol_14_93774), -(tptpcol_14_93774(_77242))], (2878 ^ _37233) ^ [_69919] : [isa(_69919, c_tptpcol_8_18438), -(tptpcol_8_18438(_69919))], (1506 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _37233) ^ [_98951, _98953] : [genlpreds(_98953, _98951), -(predicate(_98951))], (1634 ^ _37233) ^ [_55089] : [tptpcol_8_92164(_55089), -(tptpcol_7_92163(_55089))], (1304 ^ _37233) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _37233) ^ [_89506, _89508] : [tptpofobject(_89508, _89506), -(partiallytangible(_89508))], (2646 ^ _37233) ^ [_67009, _67011] : [tptp_9_51(_67011, _67009), -(tptpcol_7_26628(_67011))], (950 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _37233) ^ [_72261, _72263] : [objectfoundinlocation(_72263, _72261), -(spatialthing_nonsituational(_72263))], (532 ^ _37233) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _37233) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _37233) ^ [_58744] : [tptpcol_14_118118(_58744), -(isa(_58744, c_tptpcol_14_118118))], (1686 ^ _37233) ^ [_55665, _55667] : [few(_55667, _55665), -(setorcollection(_55665))], (1180 ^ _37233) ^ [_50111, _50113] : [tptptypes_7_389(_50113, _50111), -(tptptypes_6_388(_50111, _50113))], (838 ^ _37233) ^ [_46375] : [artifact(_46375), -(inanimateobject_nonnatural(_46375))], (1354 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _37233) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _37233) ^ [_74089, _74091, _74093] : [-(no(_74093, _74089)), no(_74093, _74091), subsetof(_74089, _74091)], (1052 ^ _37233) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _37233) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _37233) ^ [_88562] : [isa(_88562, c_computerdataartifact), -(computerdataartifact(_88562))], (2128 ^ _37233) ^ [_60662] : [-(tptpquantity(f_tptpquantityfn_2(_60662)))], (3028 ^ _37233) ^ [_71770, _71772] : [arg1isa(_71772, _71770), -(relation(_71772))], (1150 ^ _37233) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _37233) ^ [_71474] : [isa(_71474, c_tptpcol_3_114688), -(tptpcol_3_114688(_71474))], (3988 ^ _37233) ^ [_83795, _83797] : [hasmembers(_83797, _83795), -(agent_generic(_83795))], (1794 ^ _37233) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _37233) ^ [_42248] : [tptpcol_5_106498(_42248), -(tptpcol_4_106497(_42248))], (1548 ^ _37233) ^ [_54127] : [tptpcol_7_72707(_54127), -(tptpcol_6_71683(_54127))], (4190 ^ _37233) ^ [_86300, _86302] : [tptptypes_9_401(_86302, _86300), -(firstordercollection(_86300))], (170 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _37233) ^ [_94717] : [isa(_94717, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_94717))], (3882 ^ _37233) ^ [_82466] : [isa(_82466, c_correctivelensprescription), -(correctivelensprescription(_82466))], (4130 ^ _37233) ^ [_85566] : [isa(_85566, c_mathematicalthing), -(mathematicalthing(_85566))], (4226 ^ _37233) ^ [_86761] : [borderson(_86761, _86761)], (1328 ^ _37233) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _37233) ^ [_37553] : [inanimateobject(_37553), -(partiallytangible(_37553))], (2592 ^ _37233) ^ [_66350] : [isa(_66350, c_tptpcol_13_26920), -(tptpcol_13_26920(_66350))], (3010 ^ _37233) ^ [_71547] : [tptpcol_3_114688(_71547), -(isa(_71547, c_tptpcol_3_114688))], (1702 ^ _37233) ^ [_55847] : [tptpcol_8_39940(_55847), -(tptpcol_7_39939(_55847))], (5422 ^ _37233) ^ [_101611, _101613] : [genls(_101613, _101611), -(collection(_101613))], (346 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _37233) ^ [_53130] : [tptpcol_6_26627(_53130), -(tptpcol_5_24579(_53130))], (1606 ^ _37233) ^ [_54774, _54776] : [genls(_54776, _54774), -(subsetof(_54776, _54774))], (1202 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _37233) ^ [_74488, _74490, _74492] : [-(no(_74492, _74488)), no(_74492, _74490), genls(_74488, _74490)], (3572 ^ _37233) ^ [_78641] : [tptpcol_16_29490(_78641), -(isa(_78641, c_tptpcol_16_29490))], (4852 ^ _37233) ^ [_94498] : [trajector_underspecified(_94498), -(isa(_94498, c_trajector_underspecified))], (1732 ^ _37233) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _37233) ^ [_63687] : [aspatialthing(_63687), -(isa(_63687, c_aspatialthing))], (598 ^ _37233) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _37233) ^ [_52570] : [tptpcol_7_117762(_52570), -(tptpcol_6_116738(_52570))], (1128 ^ _37233) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _37233) ^ [_95082] : [tptpcol_11_22023(_95082), -(isa(_95082, c_tptpcol_11_22023))], (812 ^ _37233) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _37233) ^ [_79523, _79525] : [directionoftranslation_throughout(_79525, _79523), -(movement_translationevent(_79525))], (766 ^ _37233) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _37233) ^ [_38665] : [partiallyintangibleindividual(_38665), -(individual(_38665))], (1980 ^ _37233) ^ [_58842] : [-(natargument(f_tptpquantityfn_6(_58842), n_1, _58842))], (5078 ^ _37233) ^ [_97263] : [isa(_97263, c_tptpcol_7_93186), -(tptpcol_7_93186(_97263))], (1168 ^ _37233) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _37233) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _37233) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _37233) ^ [_87297, _87299] : [tptptypes_5_387(_87299, _87297), -(firstordercollection(_87299))], (1398 ^ _37233) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _37233) ^ [_89235] : [-(natargument(f_tptpquantityfn_1(_89235), n_1, _89235))], (844 ^ _37233) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _37233) ^ [_92819] : [isa(_92819, c_tptpcol_2_98304), -(tptpcol_2_98304(_92819))], (422 ^ _37233) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _37233) ^ [_62369] : [tptpcol_6_71683(_62369), -(isa(_62369, c_tptpcol_6_71683))], (2050 ^ _37233) ^ [_59695] : [pushingwithfingers(_59695), -(isa(_59695, c_pushingwithfingers))], (1562 ^ _37233) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _37233) ^ [_60538] : [tptpcol_15_22076(_60538), -(isa(_60538, c_tptpcol_15_22076))], (1442 ^ _37233) ^ [_52952] : [tptpcol_9_93699(_52952), -(tptpcol_8_93698(_52952))], (1692 ^ _37233) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _37233) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _37233) ^ [_61270] : [isa(_61270, c_tptpcol_13_118117), -(tptpcol_13_118117(_61270))], (4410 ^ _37233) ^ [_89004, _89006, _89008] : [-(inregion(_89008, _89004)), inregion(_89008, _89006), inregion(_89006, _89004)], (1436 ^ _37233) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _37233) ^ [_79302] : [isa(_79302, c_movement_translationevent), -(movement_translationevent(_79302))], (4798 ^ _37233) ^ [_93841] : [isa(_93841, c_tptpcol_3_81921), -(tptpcol_3_81921(_93841))], (3952 ^ _37233) ^ [_83357] : [isa(_83357, c_tptpcol_10_118020), -(tptpcol_10_118020(_83357))], (432 ^ _37233) ^ [_41963] : [tptpcol_12_18663(_41963), -(tptpcol_11_18631(_41963))], (1528 ^ _37233) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _37233) ^ [_69112] : [tptpcol_10_26886(_69112), -(isa(_69112, c_tptpcol_10_26886))], (308 ^ _37233) ^ [_40637] : [-(tptpofobject(_40637, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40637)]], input).
% 88.00/85.32  ncf('1',plain,[-(tptpcol_15_109185(c_tptpcol_16_62187))],start(5598 ^ 0)).
% 88.00/85.32  ncf('1.1',plain,[tptpcol_15_109185(c_tptpcol_16_62187), -(isa(c_tptpcol_16_62187, c_tptpcol_15_109185))],extension(2848 ^ 1,bind([[_69554], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1',plain,[isa(c_tptpcol_16_62187, c_tptpcol_15_109185), -(isa(c_tptpcol_16_62187, c_tptpcol_0_0)), genls(c_tptpcol_15_109185, c_tptpcol_0_0)],extension(5340 ^ 2,bind([[_100598, _100600, _100602], [c_tptpcol_0_0, c_tptpcol_15_109185, c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1',plain,[isa(c_tptpcol_16_62187, c_tptpcol_0_0), -(tptpcol_0_0(c_tptpcol_16_62187))],extension(4046 ^ 3,bind([[_84544], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1.1',plain,[tptpcol_0_0(c_tptpcol_16_62187), -(individual(c_tptpcol_16_62187))],extension(1734 ^ 4,bind([[_56201], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1.1.1',plain,[individual(c_tptpcol_16_62187), collection(c_tptpcol_16_62187)],extension(1122 ^ 5,bind([[_49461], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1.1.1.1',plain,[-(collection(c_tptpcol_16_62187)), fixedordercollection(c_tptpcol_16_62187)],extension(582 ^ 6,bind([[_43584], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1.1.1.1.1',plain,[-(fixedordercollection(c_tptpcol_16_62187)), firstordercollection(c_tptpcol_16_62187)],extension(814 ^ 7,bind([[_46120], [c_tptpcol_16_62187]]))).
% 88.00/85.32  ncf('1.1.1.1.1.1.1.1.1',plain,[-(firstordercollection(c_tptpcol_16_62187))],extension(1854 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_0_0)), genls(c_tptpcol_15_109185, c_tptpcol_2_98304), genls(c_tptpcol_2_98304, c_tptpcol_0_0)],extension(5466 ^ 3,bind([[_102173, _102175, _102177], [c_tptpcol_0_0, c_tptpcol_2_98304, c_tptpcol_15_109185]]))).
% 88.00/85.32  ncf('1.1.1.2.1',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_2_98304)), genls(c_tptpcol_15_109185, c_tptpcol_7_108547), genls(c_tptpcol_7_108547, c_tptpcol_2_98304)],extension(5466 ^ 4,bind([[_102173, _102175, _102177], [c_tptpcol_2_98304, c_tptpcol_7_108547, c_tptpcol_15_109185]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_7_108547)), genls(c_tptpcol_15_109185, c_tptpcol_11_109125), genls(c_tptpcol_11_109125, c_tptpcol_7_108547)],extension(5466 ^ 5,bind([[_102173, _102175, _102177], [c_tptpcol_7_108547, c_tptpcol_11_109125, c_tptpcol_15_109185]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.1',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_11_109125)), genls(c_tptpcol_15_109185, c_tptpcol_13_109173), genls(c_tptpcol_13_109173, c_tptpcol_11_109125)],extension(5466 ^ 6,bind([[_102173, _102175, _102177], [c_tptpcol_11_109125, c_tptpcol_13_109173, c_tptpcol_15_109185]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.1',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_13_109173)), genls(c_tptpcol_15_109185, c_tptpcol_14_109181), genls(c_tptpcol_14_109181, c_tptpcol_13_109173)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_13_109173, c_tptpcol_14_109181, c_tptpcol_15_109185]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.1.1',plain,[-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))],extension(1034 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.1.2',plain,[-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))],extension(980 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.2',plain,[-(genls(c_tptpcol_13_109173, c_tptpcol_11_109125)), genls(c_tptpcol_13_109173, c_tptpcol_12_109157), genls(c_tptpcol_12_109157, c_tptpcol_11_109125)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_11_109125, c_tptpcol_12_109157, c_tptpcol_13_109173]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.2.1',plain,[-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))],extension(446 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.1.2.2',plain,[-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))],extension(1398 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.2',plain,[-(genls(c_tptpcol_11_109125, c_tptpcol_7_108547)), genls(c_tptpcol_11_109125, c_tptpcol_9_109060), genls(c_tptpcol_9_109060, c_tptpcol_7_108547)],extension(5466 ^ 6,bind([[_102173, _102175, _102177], [c_tptpcol_7_108547, c_tptpcol_9_109060, c_tptpcol_11_109125]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.1',plain,[-(genls(c_tptpcol_11_109125, c_tptpcol_9_109060)), genls(c_tptpcol_11_109125, c_tptpcol_10_109061), genls(c_tptpcol_10_109061, c_tptpcol_9_109060)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_9_109060, c_tptpcol_10_109061, c_tptpcol_11_109125]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.1.1',plain,[-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))],extension(1336 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.1.2',plain,[-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))],extension(366 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.2',plain,[-(genls(c_tptpcol_9_109060, c_tptpcol_7_108547)), genls(c_tptpcol_9_109060, c_tptpcol_8_109059), genls(c_tptpcol_8_109059, c_tptpcol_7_108547)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_7_108547, c_tptpcol_8_109059, c_tptpcol_9_109060]]))).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.2.1',plain,[-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))],extension(950 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.1.2.2.2',plain,[-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))],extension(728 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.2',plain,[-(genls(c_tptpcol_7_108547, c_tptpcol_2_98304)), genls(c_tptpcol_7_108547, c_tptpcol_3_98305), genls(c_tptpcol_3_98305, c_tptpcol_2_98304)],extension(5466 ^ 5,bind([[_102173, _102175, _102177], [c_tptpcol_2_98304, c_tptpcol_3_98305, c_tptpcol_7_108547]]))).
% 88.00/85.32  ncf('1.1.1.2.1.2.1',plain,[-(genls(c_tptpcol_7_108547, c_tptpcol_3_98305)), genls(c_tptpcol_7_108547, c_tptpcol_5_106498), genls(c_tptpcol_5_106498, c_tptpcol_3_98305)],extension(5466 ^ 6,bind([[_102173, _102175, _102177], [c_tptpcol_3_98305, c_tptpcol_5_106498, c_tptpcol_7_108547]]))).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.1',plain,[-(genls(c_tptpcol_7_108547, c_tptpcol_5_106498)), genls(c_tptpcol_7_108547, c_tptpcol_6_108546), genls(c_tptpcol_6_108546, c_tptpcol_5_106498)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_5_106498, c_tptpcol_6_108546, c_tptpcol_7_108547]]))).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.1.1',plain,[-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))],extension(1328 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.1.2',plain,[-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))],extension(1780 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.2',plain,[-(genls(c_tptpcol_5_106498, c_tptpcol_3_98305)), genls(c_tptpcol_5_106498, c_tptpcol_4_106497), genls(c_tptpcol_4_106497, c_tptpcol_3_98305)],extension(5466 ^ 7,bind([[_102173, _102175, _102177], [c_tptpcol_3_98305, c_tptpcol_4_106497, c_tptpcol_5_106498]]))).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.2.1',plain,[-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))],extension(456 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.2.1.2.2',plain,[-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))],extension(260 ^ 8)).
% 88.00/85.32  ncf('1.1.1.2.1.2.2',plain,[-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))],extension(918 ^ 6)).
% 88.00/85.32  ncf('1.1.1.2.2',plain,[-(genls(c_tptpcol_2_98304, c_tptpcol_0_0)), genls(c_tptpcol_2_98304, c_tptpcol_1_65536), genls(c_tptpcol_1_65536, c_tptpcol_0_0)],extension(5466 ^ 4,bind([[_102173, _102175, _102177], [c_tptpcol_0_0, c_tptpcol_1_65536, c_tptpcol_2_98304]]))).
% 88.00/85.32  ncf('1.1.1.2.2.1',plain,[-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))],extension(194 ^ 5)).
% 88.00/85.32  ncf('1.1.1.2.2.2',plain,[-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))],extension(486 ^ 5)).
% 88.00/85.32  %-----------------------------------------------------
% 88.00/85.32  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------