%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR060+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n028.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:52:19 EDT 2023
% Result : Theorem 45.45s 44.70s
% Output : Proof 45.45s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.09 % Problem : CSR060+2 : TPTP v8.1.2. Released v3.4.0.
% 0.05/0.10 % Command : nanocop.sh %s %d
% 0.10/0.30 % Computer : n028.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 300
% 0.10/0.30 % DateTime : Fri May 19 00:41:33 EDT 2023
% 0.10/0.30 % CPUTime :
% 45.45/44.70
% 45.45/44.70 /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 45.45/44.70 Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 45.45/44.70 %-----------------------------------------------------
% 45.45/44.70 ncf(matrix, plain, [(5598 ^ _115808) ^ [_115842] : [tptp_9_51(_115842, c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802), tptpcol_16_27189(_115842)], (5596 ^ _115808) ^ [_115826] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)))], !, (1546 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (5114 ^ _36990) ^ [_97466] : [setorcollection(_97466), -(most(_97466, _97466))], (1814 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (5096 ^ _36990) ^ [_97241, _97243] : [most(_97243, _97241), -(setorcollection(_97241))], (1448 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (302 ^ _36990) ^ [_40323] : [tptpcol_13_93766(_40323), -(tptpcol_12_93765(_40323))], (1944 ^ _36990) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (4154 ^ _36990) ^ [_85615] : [isa(_85615, c_tptpcol_11_18631), -(tptpcol_11_18631(_85615))], (960 ^ _36990) ^ [_47466] : [isa(_47466, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47466, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47466))], (5380 ^ _36990) ^ [_100853] : [tptpcol_10_72710(_100853), -(isa(_100853, c_tptpcol_10_72710))], (5554 ^ _36990) ^ [_103048, _103050] : [genlmt(_103050, _103048), -(microtheory(_103048))], (4888 ^ _36990) ^ [_94693] : [tptpcol_10_22022(_94693), -(isa(_94693, c_tptpcol_10_22022))], (4040 ^ _36990) ^ [_84226, _84228] : [prettystring(_84228, _84226), -(thing(_84228))], (2902 ^ _36990) ^ [_69968] : [isa(_69968, c_tptpcol_16_30972), -(tptpcol_16_30972(_69968))], (1802 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (140 ^ _36990) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (334 ^ _36990) ^ [] : [-(genls(c_location_underspecified, c_thing))], (1044 ^ _36990) ^ [_48381] : [tptpcol_16_92269(_48381), -(tptpcol_15_92268(_48381))], (1650 ^ _36990) ^ [_55024] : [tptpcol_11_40388(_55024), -(tptpcol_10_40324(_55024))], (324 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (2708 ^ _36990) ^ [_67564, _67566, _67568, _67570] : [-(natargument(f_relationallexistsfn(_67570, _67568, _67566, _67564), n_4, _67564))], (3088 ^ _36990) ^ [_72310] : [objectfoundinlocation(_72310, _72310)], (1122 ^ _36990) ^ [_49218] : [collection(_49218), individual(_49218)], (286 ^ _36990) ^ [_40145] : [tptpcol_8_72708(_40145), -(tptpcol_7_72707(_40145))], (1006 ^ _36990) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (4804 ^ _36990) ^ [_93671] : [tptpcol_3_81921(_93671), -(isa(_93671, c_tptpcol_3_81921))], (1984 ^ _36990) ^ [_58649] : [isa(_58649, c_tptpcol_16_26939), -(tptpcol_16_26939(_58649))], (1284 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4206 ^ _36990) ^ [_86258] : [-(tptpquantity(f_tptpquantityfn_13(_86258)))], (2448 ^ _36990) ^ [_64320] : [tptpcol_11_109125(_64320), -(isa(_64320, c_tptpcol_11_109125))], (2604 ^ _36990) ^ [_66253] : [isa(_66253, c_tptpcol_14_26921), -(tptpcol_14_26921(_66253))], (2032 ^ _36990) ^ [_59233] : [isa(_59233, c_tptpcol_15_4027), -(tptpcol_15_4027(_59233))], (5146 ^ _36990) ^ [_97878, _97880] : [subsetof(_97880, _97878), -(setorcollection(_97878))], (3312 ^ _36990) ^ [_75192, _75194, _75196] : [-(natargument(f_instancewithrelationtofn(_75196, _75194, _75192), n_1, _75196))], (2836 ^ _36990) ^ [_69165] : [tptpcol_16_92269(_69165), -(isa(_69165, c_tptpcol_16_92269))], (4474 ^ _36990) ^ [_89575] : [isa(_89575, c_tptpcol_13_93766), -(tptpcol_13_93766(_89575))], (2914 ^ _36990) ^ [_70114] : [isa(_70114, c_tptpcol_14_109181), -(tptpcol_14_109181(_70114))], (3518 ^ _36990) ^ [_77733] : [isa(_77733, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77733))], (3964 ^ _36990) ^ [_83260] : [isa(_83260, c_tptpcol_11_118084), -(tptpcol_11_118084(_83260))], (2588 ^ _36990) ^ [_66051, _66053] : [-(natargument(f_citynamedfn(_66053, _66051), n_2, _66051))], (376 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4012 ^ _36990) ^ [_83848, _83850, _83852] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_83852, _83850, _83848), c_subcollectionofwithrelationfromtypefn))], (836 ^ _36990) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (850 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (4312 ^ _36990) ^ [_87571] : [isa(_87571, c_tptpcol_10_109061), -(tptpcol_10_109061(_87571))], (2256 ^ _36990) ^ [_61980] : [tptpcol_16_50958(_61980), -(isa(_61980, c_tptpcol_16_50958))], (2298 ^ _36990) ^ [_62491] : [isa(_62491, c_tptpcol_5_110593), -(tptpcol_5_110593(_62491))], (1484 ^ _36990) ^ [_53172] : [aspatialinformationstore(_53172), -(intangibleindividual(_53172))], (3512 ^ _36990) ^ [_77660] : [orientationvector(_77660), -(isa(_77660, c_orientationvector))], (4504 ^ _36990) ^ [_89940] : [tptpcol_10_40324(_89940), -(isa(_89940, c_tptpcol_10_40324))], (1170 ^ _36990) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1864 ^ _36990) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (528 ^ _36990) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4570 ^ _36990) ^ [_90743] : [isa(_90743, c_tptpcol_5_114690), -(tptpcol_5_114690(_90743))], (3140 ^ _36990) ^ [_73005, _73007, _73009] : [-(collection(f_subcollectionofwithrelationtofn(_73009, _73007, _73005)))], (1648 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4984 ^ _36990) ^ [_95861] : [tptpcol_8_22020(_95861), -(isa(_95861, c_tptpcol_8_22020))], (1064 ^ _36990) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (162 ^ _36990) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (4016 ^ _36990) ^ [_83911, _83913, _83915] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83915, _83913, _83911), n_2, _83913))], (1824 ^ _36990) ^ [_56895] : [tptpcol_14_92264(_56895), -(tptpcol_13_92263(_56895))], (694 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (5302 ^ _36990) ^ [_99867] : [-(natfunction(f_urlreferentfn(_99867), c_urlreferentfn))], (4338 ^ _36990) ^ [_87881] : [isa(_87881, c_navypersonnel), -(navypersonnel(_87881))], (3608 ^ _36990) ^ [_78840] : [tptpcol_9_118019(_78840), -(isa(_78840, c_tptpcol_9_118019))], (3392 ^ _36990) ^ [_76196] : [supplies(_76196), -(isa(_76196, c_supplies))], (736 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (3876 ^ _36990) ^ [_82148, _82150] : [tptptypes_7_819(_82150, _82148), -(firstordercollection(_82150))], (20 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (1588 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (882 ^ _36990) ^ [_46607] : [tptpcol_4_24578(_46607), -(tptpcol_3_16386(_46607))], (3284 ^ _36990) ^ [_74841] : [-(tptpquantity(f_tptpquantityfn_21(_74841)))], (1130 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3386 ^ _36990) ^ [_76123] : [isa(_76123, c_supplies), -(supplies(_76123))], (2986 ^ _36990) ^ [_71012] : [tptpcol_7_26628(_71012), -(isa(_71012, c_tptpcol_7_26628))], (4972 ^ _36990) ^ [_95715] : [tptpcol_5_16388(_95715), -(isa(_95715, c_tptpcol_5_16388))], (2310 ^ _36990) ^ [_62637] : [isa(_62637, c_tptpcol_16_25972), -(tptpcol_16_25972(_62637))], (58 ^ _36990) ^ [_37645] : [tptpcol_7_93186(_37645), -(tptpcol_6_92162(_37645))], (3404 ^ _36990) ^ [_76342] : [inanimateobject_nonnatural(_76342), -(isa(_76342, c_inanimateobject_nonnatural))], (676 ^ _36990) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (1870 ^ _36990) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (5428 ^ _36990) ^ [_101443, _101445] : [genls(_101445, _101443), -(collection(_101445))], (4780 ^ _36990) ^ [_93379] : [tptpcol_10_18567(_93379), -(isa(_93379, c_tptpcol_10_18567))], (3548 ^ _36990) ^ [_78104, _78106] : [tptptypes_7_396(_78106, _78104), -(firstordercollection(_78106))], (3566 ^ _36990) ^ [_78325] : [isa(_78325, c_tptpcol_16_29490), -(tptpcol_16_29490(_78325))], (2412 ^ _36990) ^ [_63882] : [tptpcol_7_18437(_63882), -(isa(_63882, c_tptpcol_7_18437))], (1622 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (846 ^ _36990) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (5386 ^ _36990) ^ [_100926] : [isa(_100926, c_tptpcol_14_40429), -(tptpcol_14_40429(_100926))], (696 ^ _36990) ^ [_44603] : [tptpcol_11_18631(_44603), -(tptpcol_10_18567(_44603))], (1854 ^ _36990) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (3078 ^ _36990) ^ [_72168, _72170, _72172] : [-(objectfoundinlocation(_72172, _72168)), objectfoundinlocation(_72172, _72170), objectfoundinlocation(_72170, _72168)], (3920 ^ _36990) ^ [_82696, _82698, _82700] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82700, _82698, _82696), n_1, _82700))], (3614 ^ _36990) ^ [_78913] : [isa(_78913, c_tptpcol_16_31868), -(tptpcol_16_31868(_78913))], (348 ^ _36990) ^ [_40808] : [tptpcol_12_92262(_40808), -(tptpcol_11_92230(_40808))], (464 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (5572 ^ _36990) ^ [_103273, _103275, _103277] : [-(genlmt(_103277, _103273)), genlmt(_103277, _103275), genlmt(_103275, _103273)], (2956 ^ _36990) ^ [_70627, _70629] : [tptp_8_968(_70629, _70627), -(tptpcol_7_7172(_70629))], (4610 ^ _36990) ^ [_91250, _91252, _91254, _91256] : [-(natargument(f_relationexistsallfn(_91256, _91254, _91252, _91250), n_2, _91254))], (276 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (4576 ^ _36990) ^ [_90816] : [tptpcol_5_114690(_90816), -(isa(_90816, c_tptpcol_5_114690))], (5300 ^ _36990) ^ [_99843] : [-(uniformresourcelocator(f_urlfn(_99843)))], (920 ^ _36990) ^ [_47021] : [tptpcol_3_98305(_47021), -(tptpcol_2_98304(_47021))], (5184 ^ _36990) ^ [_98367, _98369, _98371] : [-(subsetof(_98371, _98367)), subsetof(_98371, _98369), subsetof(_98369, _98367)], (1382 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (3434 ^ _36990) ^ [_76707] : [isa(_76707, c_tptpcol_7_108547), -(tptpcol_7_108547(_76707))], (2190 ^ _36990) ^ [_61173] : [isa(_61173, c_tptpcol_5_90114), -(tptpcol_5_90114(_61173))], (1590 ^ _36990) ^ [_54347, _54349] : [tptptypes_7_396(_54349, _54347), -(tptptypes_6_388(_54349, _54347))], (5310 ^ _36990) ^ [_99970, _99972] : [-(natargument(f_contentmtofcdafromeventfn(_99972, _99970), n_1, _99972))], (936 ^ _36990) ^ [_47199] : [artsupplies(_47199), -(supplies(_47199))], (1256 ^ _36990) ^ [_50700] : [intangibleindividual(_50700), -(partiallyintangibleindividual(_50700))], (2328 ^ _36990) ^ [_62858, _62860] : [tptp_8_271(_62860, _62858), -(tptpcol_5_24579(_62860))], (3314 ^ _36990) ^ [_75224, _75226, _75228] : [-(natargument(f_instancewithrelationtofn(_75228, _75226, _75224), n_2, _75226))], (2068 ^ _36990) ^ [_59675, _59677] : [affiliatedwith(_59677, _59675), -(affiliatedwith(_59675, _59677))], (4684 ^ _36990) ^ [_92211] : [tptpcol_11_40388(_92211), -(isa(_92211, c_tptpcol_11_40388))], (4046 ^ _36990) ^ [_84301] : [isa(_84301, c_tptpcol_0_0), -(tptpcol_0_0(_84301))], (1772 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (582 ^ _36990) ^ [_43341] : [fixedordercollection(_43341), -(collection(_43341))], (3982 ^ _36990) ^ [_83479] : [terroristgroup(_83479), -(isa(_83479, c_terroristgroup))], (2884 ^ _36990) ^ [_69749] : [tptpcol_8_18438(_69749), -(isa(_69749, c_tptpcol_8_18438))], (3798 ^ _36990) ^ [_81189] : [isa(_81189, c_tptpcol_1_1), -(tptpcol_1_1(_81189))], (5416 ^ _36990) ^ [_101293, _101295] : [genls(_101295, _101293), -(collection(_101293))], (374 ^ _36990) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3926 ^ _36990) ^ [_82792, _82794, _82796] : [-(collection(f_subcollectionofwithrelationtotypefn(_82796, _82794, _82792)))], (5500 ^ _36990) ^ [_102355, _102357] : [disjointwith(_102357, _102355), -(collection(_102355))], (112 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (3384 ^ _36990) ^ [_76099] : [-(tptpquantity(f_tptpquantityfn_14(_76099)))], (5506 ^ _36990) ^ [_102430, _102432] : [disjointwith(_102432, _102430), -(collection(_102432))], (3786 ^ _36990) ^ [_81043] : [isa(_81043, c_tptpcol_9_92165), -(tptpcol_9_92165(_81043))], (4594 ^ _36990) ^ [_91035] : [isa(_91035, c_tptpcol_4_106497), -(tptpcol_4_106497(_91035))], (1982 ^ _36990) ^ [_58625] : [-(tptpquantity(f_tptpquantityfn_6(_58625)))], (336 ^ _36990) ^ [_40683] : [location_underspecified(_40683), -(thing(_40683))], (4160 ^ _36990) ^ [_85688] : [tptpcol_11_18631(_85688), -(isa(_85688, c_tptpcol_11_18631))], (752 ^ _36990) ^ [_45202] : [tptpcol_14_22072(_45202), -(tptpcol_13_22071(_45202))], (5158 ^ _36990) ^ [_98028, _98030, _98032] : [-(subsetof(_98032, _98028)), subsetof(_98032, _98030), subsetof(_98030, _98028)], (2106 ^ _36990) ^ [_60149] : [pushingwithopenhand(_60149), -(isa(_60149, c_pushingwithopenhand))], (2710 ^ _36990) ^ [_67599, _67601, _67603, _67605] : [-(thing(f_relationallexistsfn(_67605, _67603, _67601, _67599)))], (1708 ^ _36990) ^ [_55675] : [-(tptpofobject(_55675, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55675)], (454 ^ _36990) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (718 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (2758 ^ _36990) ^ [_68212] : [isa(_68212, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_68212))], (2094 ^ _36990) ^ [_60003] : [tptpcol_16_4451(_60003), -(isa(_60003, c_tptpcol_16_4451))], (4894 ^ _36990) ^ [_94766] : [isa(_94766, c_tptpcol_11_22023), -(tptpcol_11_22023(_94766))], (2788 ^ _36990) ^ [_68577] : [tptpcol_15_72793(_68577), -(isa(_68577, c_tptpcol_15_72793))], (2896 ^ _36990) ^ [_69895] : [tptpcol_15_30970(_69895), -(isa(_69895, c_tptpcol_15_30970))], (1158 ^ _36990) ^ [_49606, _49608, _49610, _49612] : [-(isa(f_relationallexistsfn(_49612, _49608, _49610, _49606), _49606)), isa(_49612, _49610), relationallexists(_49608, _49610, _49606)], (3446 ^ _36990) ^ [_76853] : [isa(_76853, c_tptpcol_8_109059), -(tptpcol_8_109059(_76853))], (638 ^ _36990) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (430 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (1496 ^ _36990) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (440 ^ _36990) ^ [_41809] : [setorcollection(_41809), -(mathematicalthing(_41809))], (1262 ^ _36990) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (3282 ^ _36990) ^ [_74815] : [-(natargument(f_tptpquantityfn_21(_74815), n_1, _74815))], (234 ^ _36990) ^ [_39544, _39546] : [tptptypes_8_390(_39546, _39544), -(tptptypes_7_389(_39546, _39544))], (1246 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (4648 ^ _36990) ^ [_91763, _91765] : [tptptypes_8_390(_91765, _91763), -(firstordercollection(_91765))], (3888 ^ _36990) ^ [_82296] : [correctivelensprescription(_82296), -(isa(_82296, c_correctivelensprescription))], (3620 ^ _36990) ^ [_78986] : [tptpcol_16_31868(_78986), -(isa(_78986, c_tptpcol_16_31868))], (3422 ^ _36990) ^ [_76561] : [isa(_76561, c_tptpcol_14_22072), -(tptpcol_14_22072(_76561))], (1616 ^ _36990) ^ [_54644, _54646] : [tptptypes_6_818(_54646, _54644), -(tptptypes_5_802(_54646, _54644))], (738 ^ _36990) ^ [_45054] : [tptpcol_14_40429(_45054), -(tptpcol_13_40421(_45054))], (4882 ^ _36990) ^ [_94620] : [isa(_94620, c_tptpcol_10_22022), -(tptpcol_10_22022(_94620))], (210 ^ _36990) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (712 ^ _36990) ^ [_44769] : [mathematicalthing(_44769), -(mathematicalorcomputationalthing(_44769))], (3054 ^ _36990) ^ [_71868, _71870] : [objectfoundinlocation(_71870, _71868), -(spatialthing_nonsituational(_71868))], (4350 ^ _36990) ^ [_88027] : [isa(_88027, c_tptpcol_12_92262), -(tptpcol_12_92262(_88027))], (1388 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (138 ^ _36990) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1564 ^ _36990) ^ [_54062] : [tptpcol_8_114177(_54062), -(tptpcol_7_113665(_54062))], (3476 ^ _36990) ^ [_77218] : [tptpcol_15_93775(_77218), -(isa(_77218, c_tptpcol_15_93775))], (5340 ^ _36990) ^ [_100355, _100357, _100359] : [-(isa(_100359, _100355)), isa(_100359, _100357), genls(_100357, _100355)], (896 ^ _36990) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (2770 ^ _36990) ^ [_68358] : [isa(_68358, c_militaryperson), -(militaryperson(_68358))], (1880 ^ _36990) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (3684 ^ _36990) ^ [_79780, _79782] : [tptp_8_875(_79782, _79780), -(tptpcol_4_24578(_79780))], (1424 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (2460 ^ _36990) ^ [_64466] : [tptpcol_6_108546(_64466), -(isa(_64466, c_tptpcol_6_108546))], (1450 ^ _36990) ^ [_52798] : [tptpcol_11_93764(_52798), -(tptpcol_10_93700(_52798))], (1676 ^ _36990) ^ [_55315] : [tptpcol_16_26926(_55315), -(tptpcol_15_26925(_55315))], (2842 ^ _36990) ^ [_69238] : [isa(_69238, c_tptpcol_15_109185), -(tptpcol_15_109185(_69238))], (3332 ^ _36990) ^ [_75464] : [isa(_75464, c_tptpcol_7_113665), -(tptpcol_7_113665(_75464))], (3380 ^ _36990) ^ [_76048] : [-(natfunction(f_tptpquantityfn_14(_76048), c_tptpquantityfn_14))], (1760 ^ _36990) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (6 ^ _36990) ^ [_37044] : [intangible(_37044), partiallytangible(_37044)], (2088 ^ _36990) ^ [_59930] : [isa(_59930, c_tptpcol_16_4451), -(tptpcol_16_4451(_59930))], (4462 ^ _36990) ^ [_89417, _89419, _89421] : [relationallinstance(_89421, _89419, _89417), -(collection(_89419))], (966 ^ _36990) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (4768 ^ _36990) ^ [_93233] : [tptpcol_9_18439(_93233), -(isa(_93233, c_tptpcol_9_18439))], (1010 ^ _36990) ^ [_48003] : [tptpcol_12_118116(_48003), -(tptpcol_11_118084(_48003))], (2670 ^ _36990) ^ [_67060] : [tptpcol_7_21508(_67060), -(isa(_67060, c_tptpcol_7_21508))], (918 ^ _36990) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (3744 ^ _36990) ^ [_80532] : [aspatialinformationstore(_80532), -(isa(_80532, c_aspatialinformationstore))], (3928 ^ _36990) ^ [_82822] : [isa(_82822, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82822))], (2074 ^ _36990) ^ [_59761] : [affiliatedwith(_59761, _59761)], (2694 ^ _36990) ^ [_67352] : [state_geopolitical(_67352), -(isa(_67352, c_state_geopolitical))], (4990 ^ _36990) ^ [_95934] : [isa(_95934, c_tptpcol_9_22021), -(tptpcol_9_22021(_95934))], (4660 ^ _36990) ^ [_91913, _91915] : [tptptypes_8_692(_91915, _91913), -(firstordercollection(_91915))], (4942 ^ _36990) ^ [_95350] : [isa(_95350, c_ridgeline_topographical), -(ridgeline_topographical(_95350))], (1532 ^ _36990) ^ [_53706] : [tptpcol_6_112641(_53706), -(tptpcol_5_110593(_53706))], (260 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4344 ^ _36990) ^ [_87954] : [navypersonnel(_87954), -(isa(_87954, c_navypersonnel))], (2584 ^ _36990) ^ [_65994, _65996] : [-(natfunction(f_citynamedfn(_65996, _65994), c_citynamedfn))], (120 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (230 ^ _36990) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (760 ^ _36990) ^ [_45291] : [tptpcol_14_93774(_45291), -(tptpcol_13_93766(_45291))], (4732 ^ _36990) ^ [_92795] : [tptpcol_10_92166(_92795), -(isa(_92795, c_tptpcol_10_92166))], (1740 ^ _36990) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (3044 ^ _36990) ^ [_71735, _71737, _71739] : [-(arg1isa(_71739, _71735)), arg1isa(_71739, _71737), genls(_71737, _71735)], (5392 ^ _36990) ^ [_100999] : [tptpcol_14_40429(_100999), -(isa(_100999, c_tptpcol_14_40429))], (3852 ^ _36990) ^ [_81850] : [tptpcol_12_26919(_81850), -(isa(_81850, c_tptpcol_12_26919))], (212 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (1990 ^ _36990) ^ [_58722] : [tptpcol_16_26939(_58722), -(isa(_58722, c_tptpcol_16_26939))], (242 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3452 ^ _36990) ^ [_76926] : [tptpcol_8_109059(_76926), -(isa(_76926, c_tptpcol_8_109059))], (4912 ^ _36990) ^ [_94985] : [tptpcol_5_20483(_94985), -(isa(_94985, c_tptpcol_5_20483))], (1796 ^ _36990) ^ [_56599] : [geolevel_4(_56599), -(geographicalregion(_56599))], (5126 ^ _36990) ^ [_97612, _97614, _97616] : [-(most(_97616, _97612)), most(_97616, _97614), subsetof(_97614, _97612)], (722 ^ _36990) ^ [_44876] : [tptpcol_15_93775(_44876), -(tptpcol_14_93774(_44876))], (2196 ^ _36990) ^ [_61246] : [tptpcol_5_90114(_61246), -(isa(_61246, c_tptpcol_5_90114))], (1286 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (4100 ^ _36990) ^ [_84958] : [tptpcol_5_106498(_84958), -(isa(_84958, c_tptpcol_5_106498))], (2566 ^ _36990) ^ [_65775] : [tptpcol_16_130924(_65775), -(isa(_65775, c_tptpcol_16_130924))], (1768 ^ _36990) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (2640 ^ _36990) ^ [_66691, _66693] : [tptp_9_51(_66693, _66691), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66691))], (1632 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (4444 ^ _36990) ^ [_89188, _89190] : [tptpofobject(_89190, _89188), -(tptpquantity(_89188))], (4426 ^ _36990) ^ [_88967] : [-(natfunction(f_tptpquantityfn_1(_88967), c_tptpquantityfn_1))], (4234 ^ _36990) ^ [_86614] : [tptpcol_14_92264(_86614), -(isa(_86614, c_tptpcol_14_92264))], (1656 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (284 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (2818 ^ _36990) ^ [_68942, _68944] : [tptptypes_8_823(_68944, _68942), -(firstordercollection(_68942))], (1268 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (122 ^ _36990) ^ [_38333] : [tptpcol_11_22023(_38333), -(tptpcol_10_22022(_38333))], (4630 ^ _36990) ^ [_91538, _91540] : [tptptypes_7_389(_91540, _91538), -(firstordercollection(_91538))], (2866 ^ _36990) ^ [_69530] : [isa(_69530, c_tptpcol_12_118116), -(tptpcol_12_118116(_69530))], (1734 ^ _36990) ^ [_55958] : [tptpcol_0_0(_55958), -(individual(_55958))], (4196 ^ _36990) ^ [_86132, _86134] : [tptptypes_9_401(_86134, _86132), -(firstordercollection(_86134))], (5410 ^ _36990) ^ [_101218, _101220] : [genls(_101220, _101218), -(collection(_101218))], (3994 ^ _36990) ^ [_83627, _83629] : [hasmembers(_83629, _83627), -(organization(_83629))], (5262 ^ _36990) ^ [_99362, _99364, _99366] : [-(genlinverse(_99362, _99364)), genlinverse(_99366, _99364), genlpreds(_99362, _99366)], (2208 ^ _36990) ^ [_61394, _61396] : [tptptypes_5_802(_61396, _61394), -(firstordercollection(_61396))], (944 ^ _36990) ^ [_47288] : [tptpcol_8_26629(_47288), -(tptpcol_7_26628(_47288))], (1254 ^ _36990) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (518 ^ _36990) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (4618 ^ _36990) ^ [_91388, _91390] : [resultisaarg(_91390, _91388), -(positiveinteger(_91388))], (4228 ^ _36990) ^ [_86541] : [isa(_86541, c_tptpcol_14_92264), -(tptpcol_14_92264(_86541))], (3602 ^ _36990) ^ [_78767] : [isa(_78767, c_tptpcol_9_118019), -(tptpcol_9_118019(_78767))], (1358 ^ _36990) ^ [_51787] : [tptpcol_2_65537(_51787), -(tptpcol_1_65536(_51787))], (2038 ^ _36990) ^ [_59306] : [tptpcol_15_4027(_59306), -(isa(_59306, c_tptpcol_15_4027))], (1958 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1614 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (554 ^ _36990) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (5314 ^ _36990) ^ [_100028, _100030] : [-(microtheory(f_contentmtofcdafromeventfn(_100030, _100028)))], (424 ^ _36990) ^ [_41625, _41627] : [tptptypes_9_401(_41627, _41625), -(tptptypes_8_400(_41625, _41627))], (254 ^ _36990) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (1222 ^ _36990) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4172 ^ _36990) ^ [_85834] : [tptpcol_12_18663(_85834), -(isa(_85834, c_tptpcol_12_18663))], (1482 ^ _36990) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (2548 ^ _36990) ^ [_65556] : [isa(_65556, c_tptpcol_15_130923), -(tptpcol_15_130923(_65556))], (1840 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1368 ^ _36990) ^ [_51894] : [tptpcol_6_18436(_51894), -(tptpcol_5_16388(_51894))], (1434 ^ _36990) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (5476 ^ _36990) ^ [_102063] : [isa(_102063, c_partiallytangible), -(partiallytangible(_102063))], (644 ^ _36990) ^ [_44020] : [-(tptp_9_720(_44020, f_relationallexistsfn(_44020, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_44020)], (12 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (1748 ^ _36990) ^ [_56101] : [tptpcol_11_72774(_56101), -(tptpcol_10_72710(_56101))], (4204 ^ _36990) ^ [_86232] : [-(natargument(f_tptpquantityfn_13(_86232), n_1, _86232))], (172 ^ _36990) ^ [_38873] : [tptpcol_10_18567(_38873), -(tptpcol_9_18439(_38873))], (3970 ^ _36990) ^ [_83333] : [tptpcol_11_118084(_83333), -(isa(_83333, c_tptpcol_11_118084))], (1918 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (5328 ^ _36990) ^ [_100205, _100207] : [isa(_100207, _100205), -(thing(_100207))], (3202 ^ _36990) ^ [_73769, _73771] : [no(_73771, _73769), -(no(_73769, _73771))], (996 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (5488 ^ _36990) ^ [_102209] : [isa(_102209, c_intangible), -(intangible(_102209))], (270 ^ _36990) ^ [_39967] : [tptpcol_5_114690(_39967), -(tptpcol_4_114689(_39967))], (406 ^ _36990) ^ [_41431] : [-(tptpofobject(_41431, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41431)], (5216 ^ _36990) ^ [_98783, _98785] : [genlpreds(_98785, _98783), -(predicate(_98785))], (3578 ^ _36990) ^ [_78471, _78473] : [tptp_9_720(_78473, _78471), -(tptpcol_5_28674(_78471))], (1700 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (3632 ^ _36990) ^ [_79132] : [movement_translationevent(_79132), -(isa(_79132, c_movement_translationevent))], (5404 ^ _36990) ^ [_101145] : [tptpcol_15_40430(_101145), -(isa(_101145, c_tptpcol_15_40430))], (1570 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (3100 ^ _36990) ^ [_72466, _72468, _72470] : [-(objectfoundinlocation(_72470, _72466)), objectfoundinlocation(_72470, _72468), geographicallysubsumes(_72466, _72468)], (5244 ^ _36990) ^ [_99139] : [predicate(_99139), -(genlpreds(_99139, _99139))], (2124 ^ _36990) ^ [_60368] : [-(natfunction(f_tptpquantityfn_2(_60368), c_tptpquantityfn_2))], (2082 ^ _36990) ^ [_59857] : [footballteam(_59857), -(isa(_59857, c_footballteam))], (1440 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (4380 ^ _36990) ^ [_88392] : [computerdataartifact(_88392), -(isa(_88392, c_computerdataartifact))], (4106 ^ _36990) ^ [_85031] : [isa(_85031, c_tptpcol_12_109157), -(tptpcol_12_109157(_85031))], (2992 ^ _36990) ^ [_71085] : [isa(_71085, c_tptpcol_8_26629), -(tptpcol_8_26629(_71085))], (1238 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (180 ^ _36990) ^ [_38962] : [orderingpredicate(_38962), -(transitivebinarypredicate(_38962))], (1466 ^ _36990) ^ [_52976] : [tptpcol_4_90113(_52976), -(tptpcol_3_81921(_52976))], (294 ^ _36990) ^ [_40234] : [tptpcol_10_40324(_40234), -(tptpcol_9_40196(_40234))], (4978 ^ _36990) ^ [_95788] : [isa(_95788, c_tptpcol_8_22020), -(tptpcol_8_22020(_95788))], (720 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (1066 ^ _36990) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (438 ^ _36990) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (600 ^ _36990) ^ [_43536] : [microtheory(_43536), -(aspatialinformationstore(_43536))], (5042 ^ _36990) ^ [_96582] : [isa(_96582, c_tptpcol_12_40420), -(tptpcol_12_40420(_96582))], (3178 ^ _36990) ^ [_73473] : [isa(_73473, c_tptpcol_3_16386), -(tptpcol_3_16386(_73473))], (1144 ^ _36990) ^ [_49442] : [physicalorderingpredicate(_49442), -(orderingpredicate(_49442))], (796 ^ _36990) ^ [_45683] : [-(tptpofobject(_45683, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45683)], (2280 ^ _36990) ^ [_62272] : [tptpcol_11_72774(_62272), -(isa(_62272, c_tptpcol_11_72774))], (1848 ^ _36990) ^ [_57150] : [tptpcol_13_92263(_57150), -(tptpcol_12_92262(_57150))], (5090 ^ _36990) ^ [_97166, _97168] : [most(_97168, _97166), -(setorcollection(_97166))], (2542 ^ _36990) ^ [_65483] : [tptpcol_7_92163(_65483), -(isa(_65483, c_tptpcol_7_92163))], (952 ^ _36990) ^ [_47377] : [tptpcol_9_109060(_47377), -(tptpcol_8_109059(_47377))], (728 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (488 ^ _36990) ^ [_42319] : [tptpcol_1_65536(_42319), -(tptpcol_0_0(_42319))], (828 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (3344 ^ _36990) ^ [_75610] : [isa(_75610, c_artifact), -(artifact(_75610))], (688 ^ _36990) ^ [_44508, _44510] : [tptptypes_8_400(_44510, _44508), -(tptptypes_7_396(_44510, _44508))], (2136 ^ _36990) ^ [_60516] : [tptpcol_7_39939(_60516), -(isa(_60516, c_tptpcol_7_39939))], (934 ^ _36990) ^ [] : [-(genls(c_artsupplies, c_supplies))], (3304 ^ _36990) ^ [_75088] : [airport_physical(_75088), -(isa(_75088, c_airport_physical))], (4000 ^ _36990) ^ [_83702] : [isa(_83702, c_terrorist), -(terrorist(_83702))], (2968 ^ _36990) ^ [_70781, _70783, _70785] : [relationexistsall(_70785, _70783, _70781), -(collection(_70783))], (448 ^ _36990) ^ [_41898] : [tptpcol_13_109173(_41898), -(tptpcol_12_109157(_41898))], (3488 ^ _36990) ^ [_77364] : [tptpcol_16_8886(_77364), -(isa(_77364, c_tptpcol_16_8886))], (1210 ^ _36990) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (228 ^ _36990) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (2286 ^ _36990) ^ [_62345] : [isa(_62345, c_tptpcol_12_72775), -(tptpcol_12_72775(_62345))], (66 ^ _36990) ^ [_37734] : [tptpcol_13_40421(_37734), -(tptpcol_12_40420(_37734))], (2610 ^ _36990) ^ [_66326] : [tptpcol_14_26921(_66326), -(isa(_66326, c_tptpcol_14_26921))], (1390 ^ _36990) ^ [_52131] : [tptpcol_8_117763(_52131), -(tptpcol_7_117762(_52131))], (538 ^ _36990) ^ [_42848, _42850] : [tptptypes_7_819(_42850, _42848), -(tptptypes_6_818(_42850, _42848))], (1042 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (5538 ^ _36990) ^ [_102848, _102850] : [-(mtvisible(_102848)), mtvisible(_102850), genlmt(_102850, _102848)], (136 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (3780 ^ _36990) ^ [_80970] : [tptpcol_8_92164(_80970), -(isa(_80970, c_tptpcol_8_92164))], (4924 ^ _36990) ^ [_95131] : [tptpcol_13_72791(_95131), -(isa(_95131, c_tptpcol_13_72791))], (4480 ^ _36990) ^ [_89648] : [tptpcol_13_93766(_89648), -(isa(_89648, c_tptpcol_13_93766))], (1186 ^ _36990) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (3090 ^ _36990) ^ [_72333, _72335, _72337] : [-(objectfoundinlocation(_72337, _72333)), objectfoundinlocation(_72337, _72335), geopoliticalsubdivision(_72333, _72335)], (2658 ^ _36990) ^ [_66914] : [reflexivebinarypredicate(_66914), -(isa(_66914, c_reflexivebinarypredicate))], (898 ^ _36990) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (1900 ^ _36990) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (4552 ^ _36990) ^ [_90524] : [tptpcol_12_93765(_90524), -(isa(_90524, c_tptpcol_12_93765))], (1726 ^ _36990) ^ [_55869] : [tptpcol_15_22076(_55869), -(tptpcol_14_22072(_55869))], (2238 ^ _36990) ^ [_61761] : [isa(_61761, c_tptpcol_15_50957), -(tptpcol_15_50957(_61761))], (2008 ^ _36990) ^ [_58941] : [isa(_58941, c_tptpcol_13_92263), -(tptpcol_13_92263(_58941))], (4858 ^ _36990) ^ [_94328] : [isa(_94328, c_individual), -(individual(_94328))], (2530 ^ _36990) ^ [_65337] : [tptpcol_16_130933(_65337), -(isa(_65337, c_tptpcol_16_130933))], (2322 ^ _36990) ^ [_62783, _62785] : [tptp_8_271(_62785, _62783), -(razor(_62783))], (1808 ^ _36990) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (480 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (4082 ^ _36990) ^ [_84739] : [isa(_84739, c_tptpcol_5_24579), -(tptpcol_5_24579(_84739))], (3912 ^ _36990) ^ [_82592] : [issuingaprescription(_82592), -(isa(_82592, c_issuingaprescription))], (2518 ^ _36990) ^ [_65191] : [tptpcol_15_130931(_65191), -(isa(_65191, c_tptpcol_15_130931))], (3768 ^ _36990) ^ [_80824] : [fixedordercollection(_80824), -(isa(_80824, c_fixedordercollection))], (5194 ^ _36990) ^ [_98500, _98502, _98504] : [-(subsetof(_98504, _98500)), subsetof(_98504, _98502), subsetof(_98502, _98500)], (208 ^ _36990) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (4756 ^ _36990) ^ [_93087] : [orderingpredicate(_93087), -(isa(_93087, c_orderingpredicate))], (2490 ^ _36990) ^ [_64835, _64837] : [few(_64837, _64835), -(setorcollection(_64837))], (2962 ^ _36990) ^ [_70702, _70704, _70706] : [relationexistsall(_70706, _70704, _70702), -(collection(_70702))], (50 ^ _36990) ^ [_37550, _37552] : [subsetof(_37552, _37550), -(most(_37552, _37550))], (1846 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1178 ^ _36990) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4022 ^ _36990) ^ [_84005] : [isa(_84005, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_84005))], (4606 ^ _36990) ^ [_91181, _91183, _91185, _91187] : [-(natfunction(f_relationexistsallfn(_91187, _91185, _91183, _91181), c_relationexistsallfn))], (902 ^ _36990) ^ [_46821, _46823] : [genls(_46823, _46821), -(collection(_46823))], (1076 ^ _36990) ^ [_48714] : [tptpcol_10_26886(_48714), -(tptpcol_9_26885(_48714))], (114 ^ _36990) ^ [_38244] : [tptpcol_5_20483(_38244), -(tptpcol_4_16387(_38244))], (3708 ^ _36990) ^ [_80088, _80090, _80092] : [relationallexists(_80092, _80090, _80088), -(binarypredicate(_80092))], (3134 ^ _36990) ^ [_72909, _72911, _72913] : [-(natargument(f_subcollectionofwithrelationtofn(_72913, _72911, _72909), n_1, _72913))], (4052 ^ _36990) ^ [_84374] : [tptpcol_0_0(_84374), -(isa(_84374, c_tptpcol_0_0))], (4608 ^ _36990) ^ [_91215, _91217, _91219, _91221] : [-(natargument(f_relationexistsallfn(_91221, _91219, _91217, _91215), n_1, _91221))], (2100 ^ _36990) ^ [_60076] : [isa(_60076, c_pushingwithopenhand), -(pushingwithopenhand(_60076))], (926 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (1874 ^ _36990) ^ [_57423] : [tptpcol_15_26925(_57423), -(tptpcol_14_26921(_57423))], (4014 ^ _36990) ^ [_83879, _83881, _83883] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83883, _83881, _83879), n_1, _83883))], (416 ^ _36990) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1228 ^ _36990) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (5002 ^ _36990) ^ [_96080] : [isa(_96080, c_transitivebinarypredicate), -(transitivebinarypredicate(_96080))], (3678 ^ _36990) ^ [_79707] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79707), -(isa(_79707, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (188 ^ _36990) ^ [_39051] : [tptpcol_11_92230(_39051), -(tptpcol_10_92166(_39051))], (3020 ^ _36990) ^ [_71428] : [-(microtheory(f_contextofpcwfn(_71428)))], (4636 ^ _36990) ^ [_91613, _91615] : [tptptypes_7_389(_91615, _91613), -(firstordercollection(_91615))], (1068 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (38 ^ _36990) ^ [_37399, _37401, _37403] : [-(genlpreds(_37403, _37399)), genlinverse(_37403, _37401), genlinverse(_37401, _37399)], (750 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (788 ^ _36990) ^ [_45594] : [tptpcol_9_72709(_45594), -(tptpcol_8_72708(_45594))], (660 ^ _36990) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (2622 ^ _36990) ^ [_66472] : [tptpcol_3_65538(_66472), -(isa(_66472, c_tptpcol_3_65538))], (1312 ^ _36990) ^ [_51300] : [tptpcol_6_20484(_51300), -(tptpcol_5_20483(_51300))], (2682 ^ _36990) ^ [_67206] : [hpkb_subnationalagent(_67206), -(isa(_67206, c_hpkb_subnationalagent))], (4906 ^ _36990) ^ [_94912] : [isa(_94912, c_tptpcol_5_20483), -(tptpcol_5_20483(_94912))], (5306 ^ _36990) ^ [_99918] : [-(computerdataartifact(f_urlreferentfn(_99918)))], (2424 ^ _36990) ^ [_64028] : [tptpcol_6_18436(_64028), -(isa(_64028, c_tptpcol_6_18436))], (318 ^ _36990) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (2700 ^ _36990) ^ [_67425, _67427, _67429, _67431] : [-(natfunction(f_relationallexistsfn(_67431, _67429, _67427, _67425), c_relationallexistsfn))], (3022 ^ _36990) ^ [_71452, _71454] : [arg1isa(_71454, _71452), -(collection(_71452))], (2370 ^ _36990) ^ [_63371] : [isa(_63371, c_aspatialthing), -(aspatialthing(_63371))], (668 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1308 ^ _36990) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (194 ^ _36990) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (3560 ^ _36990) ^ [_78252] : [tptpcol_12_22055(_78252), -(isa(_78252, c_tptpcol_12_22055))], (3428 ^ _36990) ^ [_76634] : [tptpcol_14_22072(_76634), -(isa(_76634, c_tptpcol_14_22072))], (4600 ^ _36990) ^ [_91108] : [tptpcol_4_106497(_91108), -(isa(_91108, c_tptpcol_4_106497))], (1514 ^ _36990) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (4028 ^ _36990) ^ [_84078] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_84078), -(isa(_84078, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4516 ^ _36990) ^ [_90086] : [tptpcol_7_72707(_90086), -(isa(_90086, c_tptpcol_7_72707))], (5512 ^ _36990) ^ [_102505, _102507] : [disjointwith(_102507, _102505), -(disjointwith(_102505, _102507))], (3732 ^ _36990) ^ [_80386] : [pushingababycarriage(_80386), -(isa(_80386, c_pushingababycarriage))], (4666 ^ _36990) ^ [_91988, _91990] : [tptptypes_9_693(_91990, _91988), -(firstordercollection(_91988))], (2442 ^ _36990) ^ [_64247] : [isa(_64247, c_tptpcol_11_109125), -(tptpcol_11_109125(_64247))], (1366 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1830 ^ _36990) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1240 ^ _36990) ^ [_50539] : [tptpcol_14_26921(_50539), -(tptpcol_13_26920(_50539))], (998 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (4960 ^ _36990) ^ [_95569] : [tptpcol_4_16387(_95569), -(isa(_95569, c_tptpcol_4_16387))], (4220 ^ _36990) ^ [_86432, _86434] : [borderson(_86434, _86432), -(borderson(_86432, _86434))], (3136 ^ _36990) ^ [_72941, _72943, _72945] : [-(natargument(f_subcollectionofwithrelationtofn(_72945, _72943, _72941), n_2, _72943))], (866 ^ _36990) ^ [_46423] : [geographicalregion(_46423), -(partiallytangible(_46423))], (3720 ^ _36990) ^ [_80240] : [tptpcol_16_10258(_80240), -(isa(_80240, c_tptpcol_16_10258))], (4430 ^ _36990) ^ [_89018] : [-(tptpquantity(f_tptpquantityfn_1(_89018)))], (2920 ^ _36990) ^ [_70187] : [tptpcol_14_109181(_70187), -(isa(_70187, c_tptpcol_14_109181))], (362 ^ _36990) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (2750 ^ _36990) ^ [_68121] : [geolevel_1(_68121), -(isa(_68121, c_geolevel_1))], (2652 ^ _36990) ^ [_66841] : [isa(_66841, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66841))], (1624 ^ _36990) ^ [_54739] : [tptpcol_6_92162(_54739), -(tptpcol_5_90114(_54739))], (1116 ^ _36990) ^ [_49147] : [enduringthing_localized(_49147), -(spatialthing_nonsituational(_49147))], (916 ^ _36990) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (92 ^ _36990) ^ [_38007] : [tptpcol_5_16388(_38007), -(tptpcol_4_16387(_38007))], (2676 ^ _36990) ^ [_67133] : [isa(_67133, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_67133))], (2364 ^ _36990) ^ [_63298] : [tptpcol_9_93699(_63298), -(isa(_63298, c_tptpcol_9_93699))], (972 ^ _36990) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (1664 ^ _36990) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (5284 ^ _36990) ^ [_99646] : [isa(_99646, c_microtheory), -(microtheory(_99646))], (502 ^ _36990) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (48 ^ _36990) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2292 ^ _36990) ^ [_62418] : [tptpcol_12_72775(_62418), -(isa(_62418, c_tptpcol_12_72775))], (5374 ^ _36990) ^ [_100780] : [isa(_100780, c_tptpcol_10_72710), -(tptpcol_10_72710(_100780))], (3762 ^ _36990) ^ [_80751] : [isa(_80751, c_fixedordercollection), -(fixedordercollection(_80751))], (2586 ^ _36990) ^ [_66022, _66024] : [-(natargument(f_citynamedfn(_66024, _66022), n_1, _66024))], (710 ^ _36990) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (774 ^ _36990) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (2172 ^ _36990) ^ [_60954] : [tptpcol_16_26926(_60954), -(isa(_60954, c_tptpcol_16_26926))], (4762 ^ _36990) ^ [_93160] : [isa(_93160, c_tptpcol_9_18439), -(tptpcol_9_18439(_93160))], (574 ^ _36990) ^ [_43252] : [tptpcol_9_92165(_43252), -(tptpcol_8_92164(_43252))], (1028 ^ _36990) ^ [_48199, _48201] : [most(_48201, _48199), -(setorcollection(_48201))], (702 ^ _36990) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2908 ^ _36990) ^ [_70041] : [tptpcol_16_30972(_70041), -(isa(_70041, c_tptpcol_16_30972))], (1074 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1298 ^ _36990) ^ [_51151, _51153] : [no(_51153, _51151), -(few(_51153, _51151))], (982 ^ _36990) ^ [_47700] : [tptpcol_14_109181(_47700), -(tptpcol_13_109173(_47700))], (5174 ^ _36990) ^ [_98234, _98236, _98238] : [-(subsetof(_98234, _98236)), subsetof(_98238, _98236), subsetof(_98234, _98238)], (2628 ^ _36990) ^ [_66545] : [isa(_66545, c_tptpcol_16_27189), -(tptpcol_16_27189(_66545))], (2232 ^ _36990) ^ [_61688] : [tptpcol_8_114177(_61688), -(isa(_61688, c_tptpcol_8_114177))], (4324 ^ _36990) ^ [_87717] : [isa(_87717, c_executionbyfiringsquad), -(executionbyfiringsquad(_87717))], (3542 ^ _36990) ^ [_78029, _78031] : [tptptypes_7_396(_78031, _78029), -(firstordercollection(_78029))], (486 ^ _36990) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (1920 ^ _36990) ^ [_57914] : [tptpcol_13_72791(_57914), -(tptpcol_12_72775(_57914))], (4064 ^ _36990) ^ [_84520] : [geolevel_3(_84520), -(isa(_84520, c_geolevel_3))], (2250 ^ _36990) ^ [_61907] : [isa(_61907, c_tptpcol_16_50958), -(tptpcol_16_50958(_61907))], (1062 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (2352 ^ _36990) ^ [_63152] : [tptpcol_10_93700(_63152), -(isa(_63152, c_tptpcol_10_93700))], (4020 ^ _36990) ^ [_83975, _83977, _83979] : [-(collection(f_subcollectionofwithrelationfromtypefn(_83979, _83977, _83975)))], (80 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (5026 ^ _36990) ^ [_96376, _96378, _96380] : [-(geographicalsubregions(_96380, _96376)), geographicalsubregions(_96380, _96378), geographicalsubregions(_96378, _96376)], (4252 ^ _36990) ^ [_86833] : [isa(_86833, c_tptpcol_6_116738), -(tptpcol_6_116738(_86833))], (3190 ^ _36990) ^ [_73619, _73621] : [no(_73621, _73619), -(setorcollection(_73619))], (758 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (72 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (3738 ^ _36990) ^ [_80459] : [isa(_80459, c_aspatialinformationstore), -(aspatialinformationstore(_80459))], (3918 ^ _36990) ^ [_82665, _82667, _82669] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_82669, _82667, _82665), c_subcollectionofwithrelationtotypefn))], (794 ^ _36990) ^ [] : [-(individual(c_xskijump_thegame))], (4588 ^ _36990) ^ [_90962] : [tptpcol_3_98305(_90962), -(isa(_90962, c_tptpcol_3_98305))], (2358 ^ _36990) ^ [_63225] : [isa(_63225, c_tptpcol_9_93699), -(tptpcol_9_93699(_63225))], (5466 ^ _36990) ^ [_101930, _101932, _101934] : [-(genls(_101934, _101930)), genls(_101934, _101932), genls(_101932, _101930)], (5272 ^ _36990) ^ [_99495, _99497, _99499] : [-(genlinverse(_99499, _99495)), genlinverse(_99499, _99497), genlpreds(_99497, _99495)], (1018 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1400 ^ _36990) ^ [_52238] : [tptpcol_12_109157(_52238), -(tptpcol_11_109125(_52238))], (98 ^ _36990) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (1630 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (368 ^ _36990) ^ [_41010] : [tptpcol_10_109061(_41010), -(tptpcol_9_109060(_41010))], (1232 ^ _36990) ^ [_50450] : [tptpcol_3_65538(_50450), -(tptpcol_2_65537(_50450))], (2226 ^ _36990) ^ [_61615] : [isa(_61615, c_tptpcol_8_114177), -(tptpcol_8_114177(_61615))], (2346 ^ _36990) ^ [_63079] : [isa(_63079, c_tptpcol_10_93700), -(tptpcol_10_93700(_63079))], (5588 ^ _36990) ^ [_103479] : [microtheory(_103479), -(genlmt(_103479, _103479))], (148 ^ _36990) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (3660 ^ _36990) ^ [_79488] : [isa(_79488, c_unitvectorinterval), -(unitvectorinterval(_79488))], (1114 ^ _36990) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (5290 ^ _36990) ^ [_99719] : [microtheory(_99719), -(isa(_99719, c_microtheory))], (2634 ^ _36990) ^ [_66618] : [tptpcol_16_27189(_66618), -(isa(_66618, c_tptpcol_16_27189))], (1816 ^ _36990) ^ [_56806] : [tptpcol_13_26920(_56806), -(tptpcol_12_26919(_56806))], (4264 ^ _36990) ^ [_86979, _86981] : [tptptypes_5_387(_86981, _86979), -(firstordercollection(_86979))], (4142 ^ _36990) ^ [_85469] : [isa(_85469, c_setorcollection), -(setorcollection(_85469))], (2512 ^ _36990) ^ [_65118] : [isa(_65118, c_tptpcol_15_130931), -(tptpcol_15_130931(_65118))], (4534 ^ _36990) ^ [_90305] : [isa(_90305, c_tptpcol_11_93764), -(tptpcol_11_93764(_90305))], (806 ^ _36990) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (3416 ^ _36990) ^ [_76488] : [tptpcol_13_22071(_76488), -(isa(_76488, c_tptpcol_13_22071))], (4834 ^ _36990) ^ [_94036] : [isa(_94036, c_location_underspecified), -(location_underspecified(_94036))], (3286 ^ _36990) ^ [_74865, _74867] : [airporthasiatacode(_74867, _74865), -(stringoflengthfn3(_74865))], (4616 ^ _36990) ^ [_91355, _91357, _91359, _91361] : [-(thing(f_relationexistsallfn(_91361, _91359, _91357, _91355)))], (3228 ^ _36990) ^ [_74112, _74114, _74116] : [-(no(_74112, _74114)), no(_74116, _74114), genls(_74112, _74116)], (4288 ^ _36990) ^ [_87279] : [isa(_87279, c_shavingrazor_manual), -(shavingrazor_manual(_87279))], (1098 ^ _36990) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (686 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (3804 ^ _36990) ^ [_81262] : [tptpcol_1_1(_81262), -(isa(_81262, c_tptpcol_1_1))], (3320 ^ _36990) ^ [_75318] : [isa(_75318, c_tptpcol_6_112641), -(tptpcol_6_112641(_75318))], (1744 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3280 ^ _36990) ^ [_74790] : [-(natfunction(f_tptpquantityfn_21(_74790), c_tptpquantityfn_21))], (820 ^ _36990) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (852 ^ _36990) ^ [_46275] : [tptpcol_7_113665(_46275), -(tptpcol_6_112641(_46275))], (1278 ^ _36990) ^ [_50937] : [tptpcol_7_92163(_50937), -(tptpcol_6_92162(_50937))], (1674 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1934 ^ _36990) ^ [_58074] : [-(tptpofobject(_58074, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_58074)], (2744 ^ _36990) ^ [_68048] : [isa(_68048, c_geolevel_1), -(geolevel_1(_68048))], (2860 ^ _36990) ^ [_69457] : [tptpcol_6_26627(_69457), -(isa(_69457, c_tptpcol_6_26627))], (4522 ^ _36990) ^ [_90159] : [isa(_90159, c_tptpcol_8_72708), -(tptpcol_8_72708(_90159))], (378 ^ _36990) ^ [_41117, _41119] : [tptptypes_6_388(_41119, _41117), -(tptptypes_5_387(_41119, _41117))], (4432 ^ _36990) ^ [_89042] : [isa(_89042, c_furpelt), -(furpelt(_89042))], (4720 ^ _36990) ^ [_92649] : [tptpcol_2_98304(_92649), -(isa(_92649, c_tptpcol_2_98304))], (3690 ^ _36990) ^ [_79855, _79857] : [tptp_8_875(_79857, _79855), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79857))], (4240 ^ _36990) ^ [_86687] : [isa(_86687, c_tptpcol_15_92268), -(tptpcol_15_92268(_86687))], (4708 ^ _36990) ^ [_92503] : [tptpcol_1_65536(_92503), -(isa(_92503, c_tptpcol_1_65536))], (2112 ^ _36990) ^ [_60222] : [isa(_60222, c_tptpcol_15_22076), -(tptpcol_15_22076(_60222))], (2664 ^ _36990) ^ [_66987] : [isa(_66987, c_tptpcol_7_21508), -(tptpcol_7_21508(_66987))], (150 ^ _36990) ^ [_38636] : [partiallytangible(_38636), -(enduringthing_localized(_38636))], (2718 ^ _36990) ^ [_67707, _67709] : [arg2isa(_67709, _67707), -(relation(_67709))], (768 ^ _36990) ^ [_45380] : [tptpcol_10_22022(_45380), -(tptpcol_9_22021(_45380))], (3374 ^ _36990) ^ [_75975] : [firstordercollection(_75975), -(isa(_75975, c_firstordercollection))], (2056 ^ _36990) ^ [_59525, _59527] : [affiliatedwith(_59527, _59525), -(agent_generic(_59525))], (4918 ^ _36990) ^ [_95058] : [isa(_95058, c_tptpcol_13_72791), -(tptpcol_13_72791(_95058))], (1142 ^ _36990) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (3482 ^ _36990) ^ [_77291] : [isa(_77291, c_tptpcol_16_8886), -(tptpcol_16_8886(_77291))], (2572 ^ _36990) ^ [_65848] : [isa(_65848, c_intangibleindividual), -(intangibleindividual(_65848))], (4404 ^ _36990) ^ [_88686, _88688] : [inregion(_88688, _88686), -(spatialthing_nonsituational(_88688))], (5136 ^ _36990) ^ [_97745, _97747, _97749] : [-(most(_97749, _97745)), most(_97749, _97747), subsetof(_97747, _97745)], (2938 ^ _36990) ^ [_70406] : [isa(_70406, c_tptpcol_16_7738), -(tptpcol_16_7738(_70406))], (344 ^ _36990) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (512 ^ _36990) ^ [_42580] : [tptpcol_11_118084(_42580), -(tptpcol_10_118020(_42580))], (5014 ^ _36990) ^ [_96226, _96228] : [geographicalsubregions(_96228, _96226), -(geographicalregion(_96226))], (1294 ^ _36990) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (704 ^ _36990) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (5168 ^ _36990) ^ [_98161] : [setorcollection(_98161), -(subsetof(_98161, _98161))], (1766 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (262 ^ _36990) ^ [_39878] : [tptpcol_4_106497(_39878), -(tptpcol_3_98305(_39878))], (360 ^ _36990) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5444 ^ _36990) ^ [_101651] : [collection(_101651), -(genls(_101651, _101651))], (3870 ^ _36990) ^ [_82073, _82075] : [tptptypes_7_819(_82075, _82073), -(firstordercollection(_82073))], (78 ^ _36990) ^ [] : [-(transitivebinarypredicate(c_genls))], (3154 ^ _36990) ^ [_73181] : [isa(_73181, c_tptpcol_4_65539), -(tptpcol_4_65539(_73181))], (5494 ^ _36990) ^ [_102282] : [intangible(_102282), -(isa(_102282, c_intangible))], (4678 ^ _36990) ^ [_92138] : [isa(_92138, c_tptpcol_11_40388), -(tptpcol_11_40388(_92138))], (4876 ^ _36990) ^ [_94547] : [partiallyintangibleindividual(_94547), -(isa(_94547, c_partiallyintangibleindividual))], (2478 ^ _36990) ^ [_64685, _64687] : [few(_64687, _64685), -(setorcollection(_64685))], (2026 ^ _36990) ^ [_59160] : [geolevel_4(_59160), -(isa(_59160, c_geolevel_4))], (3382 ^ _36990) ^ [_76073] : [-(natargument(f_tptpquantityfn_14(_76073), n_1, _76073))], (2166 ^ _36990) ^ [_60881] : [isa(_60881, c_tptpcol_16_26926), -(tptpcol_16_26926(_60881))], (5222 ^ _36990) ^ [_98858, _98860] : [genlpreds(_98860, _98858), -(predicate(_98860))], (342 ^ _36990) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (3142 ^ _36990) ^ [_73035] : [isa(_73035, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73035))], (4094 ^ _36990) ^ [_84885] : [isa(_84885, c_tptpcol_5_106498), -(tptpcol_5_106498(_84885))], (3060 ^ _36990) ^ [_71943, _71945] : [objectfoundinlocation(_71945, _71943), -(spatialthing_localized(_71943))], (3834 ^ _36990) ^ [_81631] : [isa(_81631, c_tptpcol_11_26887), -(tptpcol_11_26887(_81631))], (1364 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (5296 ^ _36990) ^ [_99792] : [-(natfunction(f_urlfn(_99792), c_urlfn))], (2184 ^ _36990) ^ [_61100] : [tptpcol_13_118117(_61100), -(isa(_61100, c_tptpcol_13_118117))], (654 ^ _36990) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (5560 ^ _36990) ^ [_103123, _103125] : [genlmt(_103125, _103123), -(microtheory(_103125))], (2734 ^ _36990) ^ [_67915, _67917, _67919] : [-(arg2isa(_67919, _67915)), arg2isa(_67919, _67917), genls(_67917, _67915)], (3464 ^ _36990) ^ [_77072] : [tptpcol_14_93774(_77072), -(isa(_77072, c_tptpcol_14_93774))], (2130 ^ _36990) ^ [_60443] : [isa(_60443, c_tptpcol_7_39939), -(tptpcol_7_39939(_60443))], (3750 ^ _36990) ^ [_80605] : [isa(_80605, c_collection), -(collection(_80605))], (4202 ^ _36990) ^ [_86207] : [-(natfunction(f_tptpquantityfn_13(_86207), c_tptpquantityfn_13))], (1230 ^ _36990) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1886 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (4672 ^ _36990) ^ [_92063, _92065] : [tptptypes_9_693(_92065, _92063), -(firstordercollection(_92065))], (3350 ^ _36990) ^ [_75683] : [artifact(_75683), -(isa(_75683, c_artifact))], (5152 ^ _36990) ^ [_97953, _97955] : [subsetof(_97955, _97953), -(setorcollection(_97955))], (1252 ^ _36990) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2944 ^ _36990) ^ [_70479] : [tptpcol_16_7738(_70479), -(isa(_70479, c_tptpcol_16_7738))], (5036 ^ _36990) ^ [_96509] : [geographicalregion(_96509), -(geographicalsubregions(_96509, _96509))], (1050 ^ _36990) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1508 ^ _36990) ^ [_53427] : [tptpcol_9_118019(_53427), -(tptpcol_8_117763(_53427))], (1950 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1694 ^ _36990) ^ [_55515] : [tptpcol_4_65539(_55515), -(tptpcol_3_65538(_55515))], (5368 ^ _36990) ^ [_100707] : [tptpcol_9_72709(_100707), -(isa(_100707, c_tptpcol_9_72709))], (1326 ^ _36990) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3160 ^ _36990) ^ [_73254] : [tptpcol_4_65539(_73254), -(isa(_73254, c_tptpcol_4_65539))], (3894 ^ _36990) ^ [_82369, _82371] : [products(_82371, _82369), -(artifact(_82369))], (3530 ^ _36990) ^ [_77879, _77881] : [tptptypes_9_824(_77881, _77879), -(firstordercollection(_77879))], (4420 ^ _36990) ^ [_88894] : [spatialthing_nonsituational(_88894), -(inregion(_88894, _88894))], (570 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2702 ^ _36990) ^ [_67459, _67461, _67463, _67465] : [-(natargument(f_relationallexistsfn(_67465, _67463, _67461, _67459), n_1, _67465))], (5054 ^ _36990) ^ [_96728] : [isa(_96728, c_tptpcol_13_40421), -(tptpcol_13_40421(_96728))], (2388 ^ _36990) ^ [_63590] : [tptpcol_7_117762(_63590), -(isa(_63590, c_tptpcol_7_117762))], (2454 ^ _36990) ^ [_64393] : [isa(_64393, c_tptpcol_6_108546), -(tptpcol_6_108546(_64393))], (3976 ^ _36990) ^ [_83406] : [isa(_83406, c_terroristgroup), -(terroristgroup(_83406))], (880 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (446 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (1288 ^ _36990) ^ [_51044] : [tptpcol_16_130933(_51044), -(tptpcol_15_130931(_51044))], (1020 ^ _36990) ^ [_48110] : [tptpcol_7_26628(_48110), -(tptpcol_6_26627(_48110))], (2998 ^ _36990) ^ [_71158] : [tptpcol_8_26629(_71158), -(isa(_71158, c_tptpcol_8_26629))], (1306 ^ _36990) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3166 ^ _36990) ^ [_73327] : [isa(_73327, c_tptpcol_5_69635), -(tptpcol_5_69635(_73327))], (3172 ^ _36990) ^ [_73400] : [tptpcol_5_69635(_73400), -(isa(_73400, c_tptpcol_5_69635))], (4846 ^ _36990) ^ [_94182] : [isa(_94182, c_trajector_underspecified), -(trajector_underspecified(_94182))], (4136 ^ _36990) ^ [_85396] : [mathematicalthing(_85396), -(isa(_85396, c_mathematicalthing))], (3846 ^ _36990) ^ [_81777] : [isa(_81777, c_tptpcol_12_26919), -(tptpcol_12_26919(_81777))], (1406 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (256 ^ _36990) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (3756 ^ _36990) ^ [_80678] : [collection(_80678), -(isa(_80678, c_collection))], (4124 ^ _36990) ^ [_85250] : [tptpcol_13_109173(_85250), -(isa(_85250, c_tptpcol_13_109173))], (4738 ^ _36990) ^ [_92868] : [isa(_92868, c_tptpcol_11_92230), -(tptpcol_11_92230(_92868))], (1106 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (2304 ^ _36990) ^ [_62564] : [tptpcol_5_110593(_62564), -(isa(_62564, c_tptpcol_5_110593))], (2220 ^ _36990) ^ [_61542] : [tptpcol_16_72795(_61542), -(isa(_61542, c_tptpcol_16_72795))], (5350 ^ _36990) ^ [_100488] : [isa(_100488, c_inanimateobject), -(inanimateobject(_100488))], (1136 ^ _36990) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (5322 ^ _36990) ^ [_100130, _100132] : [isa(_100132, _100130), -(collection(_100130))], (1642 ^ _36990) ^ [_54935] : [tptpcol_13_118117(_54935), -(tptpcol_12_118116(_54935))], (4498 ^ _36990) ^ [_89867] : [isa(_89867, c_tptpcol_10_40324), -(tptpcol_10_40324(_89867))], (1192 ^ _36990) ^ [_50004] : [-(hpkb_subnationalagent(_50004)), mtvisible(c_hpkbvocabmt), state_geopolitical(_50004)], (1902 ^ _36990) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (3906 ^ _36990) ^ [_82519] : [isa(_82519, c_issuingaprescription), -(issuingaprescription(_82519))], (5204 ^ _36990) ^ [_98633, _98635] : [genlpreds(_98635, _98633), -(predicate(_98633))], (1426 ^ _36990) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (636 ^ _36990) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1338 ^ _36990) ^ [_51573] : [tptpcol_11_109125(_51573), -(tptpcol_10_109061(_51573))], (56 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (278 ^ _36990) ^ [_40056] : [tptpcol_12_93765(_40056), -(tptpcol_11_93764(_40056))], (3696 ^ _36990) ^ [_79930, _79932, _79934] : [relationallexists(_79934, _79932, _79930), -(collection(_79930))], (4690 ^ _36990) ^ [_92284] : [isa(_92284, c_marriagelicensedocument), -(marriagelicensedocument(_92284))], (1092 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (82 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5308 ^ _36990) ^ [_99942, _99944] : [-(natfunction(f_contentmtofcdafromeventfn(_99944, _99942), c_contentmtofcdafromeventfn))], (4540 ^ _36990) ^ [_90378] : [tptpcol_11_93764(_90378), -(isa(_90378, c_tptpcol_11_93764))], (1912 ^ _36990) ^ [_57825] : [tptpcol_5_110593(_57825), -(tptpcol_4_106497(_57825))], (5312 ^ _36990) ^ [_99999, _100001] : [-(natargument(f_contentmtofcdafromeventfn(_100001, _99999), n_2, _99999))], (4368 ^ _36990) ^ [_88246] : [thing(_88246), -(isa(_88246, c_thing))], (1596 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (530 ^ _36990) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (1204 ^ _36990) ^ [_50137] : [tptpcol_8_22020(_50137), -(tptpcol_7_21508(_50137))], (3900 ^ _36990) ^ [_82444, _82446] : [products(_82446, _82444), -(creationordestructionevent(_82446))], (5362 ^ _36990) ^ [_100634] : [isa(_100634, c_tptpcol_9_72709), -(tptpcol_9_72709(_100634))], (2926 ^ _36990) ^ [_70260] : [isa(_70260, c_physicalorderingpredicate), -(physicalorderingpredicate(_70260))], (4088 ^ _36990) ^ [_84812] : [tptpcol_5_24579(_84812), -(isa(_84812, c_tptpcol_5_24579))], (2872 ^ _36990) ^ [_69603] : [tptpcol_12_118116(_69603), -(isa(_69603, c_tptpcol_12_118116))], (3774 ^ _36990) ^ [_80897] : [isa(_80897, c_tptpcol_8_92164), -(tptpcol_8_92164(_80897))], (3940 ^ _36990) ^ [_82968] : [isa(_82968, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_82968))], (3248 ^ _36990) ^ [_74378, _74380, _74382] : [-(no(_74378, _74380)), no(_74382, _74380), subsetof(_74378, _74382)], (3922 ^ _36990) ^ [_82728, _82730, _82732] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82732, _82730, _82728), n_2, _82730))], (1996 ^ _36990) ^ [_58795] : [isa(_58795, c_tptpcol_16_62187), -(tptpcol_16_62187(_58795))], (4510 ^ _36990) ^ [_90013] : [isa(_90013, c_tptpcol_7_72707), -(tptpcol_7_72707(_90013))], (1904 ^ _36990) ^ [_57737] : [tptpcol_3_98305(_57737), tptpcol_3_114688(_57737)], (2148 ^ _36990) ^ [_60662] : [tptpcol_8_39940(_60662), -(isa(_60662, c_tptpcol_8_39940))], (988 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (2472 ^ _36990) ^ [_64612] : [tptpcol_6_20484(_64612), -(isa(_64612, c_tptpcol_6_20484))], (1396 ^ _36990) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1578 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (628 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (4564 ^ _36990) ^ [_90670] : [tptpcol_4_114689(_90670), -(isa(_90670, c_tptpcol_4_114689))], (178 ^ _36990) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (2706 ^ _36990) ^ [_67529, _67531, _67533, _67535] : [-(natargument(f_relationallexistsfn(_67535, _67533, _67531, _67529), n_3, _67531))], (3356 ^ _36990) ^ [_75756] : [isa(_75756, c_tptpcol_13_18664), -(tptpcol_13_18664(_75756))], (5060 ^ _36990) ^ [_96801] : [tptpcol_13_40421(_96801), -(isa(_96801, c_tptpcol_13_40421))], (782 ^ _36990) ^ [] : [-(transitivebinarypredicate(c_inregion))], (4294 ^ _36990) ^ [_87352] : [shavingrazor_manual(_87352), -(isa(_87352, c_shavingrazor_manual))], (1310 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3310 ^ _36990) ^ [_75161, _75163, _75165] : [-(natfunction(f_instancewithrelationtofn(_75165, _75163, _75161), c_instancewithrelationtofn))], (814 ^ _36990) ^ [_45877] : [firstordercollection(_45877), -(fixedordercollection(_45877))], (1586 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5238 ^ _36990) ^ [_99066] : [predicate(_99066), -(genlpreds(_99066, _99066))], (564 ^ _36990) ^ [_43145] : [tptpcol_2_2(_43145), -(tptpcol_1_1(_43145))], (1684 ^ _36990) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (268 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (548 ^ _36990) ^ [_42961] : [tptpcol_12_26919(_42961), -(tptpcol_11_26887(_42961))], (2126 ^ _36990) ^ [_60393] : [-(natargument(f_tptpquantityfn_2(_60393), n_1, _60393))], (244 ^ _36990) ^ [_39657, _39659, _39661, _39663] : [-(isa(f_relationexistsallfn(_39663, _39659, _39657, _39661), _39657)), isa(_39663, _39661), relationexistsall(_39659, _39657, _39661)], (1604 ^ _36990) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1348 ^ _36990) ^ [_51680] : [tptpcol_8_93698(_51680), -(tptpcol_7_93186(_51680))], (1172 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (5120 ^ _36990) ^ [_97539] : [setorcollection(_97539), -(most(_97539, _97539))], (3726 ^ _36990) ^ [_80313] : [isa(_80313, c_pushingababycarriage), -(pushingababycarriage(_80313))], (4034 ^ _36990) ^ [_84151, _84153] : [prettystring(_84153, _84151), -(controlcharacterfreestring(_84151))], (4070 ^ _36990) ^ [_84593] : [isa(_84593, c_tptpcol_4_24578), -(tptpcol_4_24578(_84593))], (5250 ^ _36990) ^ [_99212, _99214] : [genlinverse(_99214, _99212), -(binarypredicate(_99212))], (4362 ^ _36990) ^ [_88173] : [isa(_88173, c_thing), -(thing(_88173))], (1746 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (2776 ^ _36990) ^ [_68431] : [militaryperson(_68431), -(isa(_68431, c_militaryperson))], (3958 ^ _36990) ^ [_83187] : [tptpcol_10_118020(_83187), -(isa(_83187, c_tptpcol_10_118020))], (222 ^ _36990) ^ [_39413, _39415] : [tptptypes_9_693(_39415, _39413), -(tptptypes_8_692(_39415, _39413))], (3132 ^ _36990) ^ [_72878, _72880, _72882] : [-(natfunction(f_subcollectionofwithrelationtofn(_72882, _72880, _72878), c_subcollectionofwithrelationtofn))], (990 ^ _36990) ^ [_47789] : [tptpcol_16_30972(_47789), -(tptpcol_15_30970(_47789))], (3596 ^ _36990) ^ [_78694] : [runningshorts(_78694), -(isa(_78694, c_runningshorts))], (5434 ^ _36990) ^ [_101518, _101520, _101522] : [-(genls(_101522, _101518)), genls(_101522, _101520), genls(_101520, _101518)], (1476 ^ _36990) ^ [_53083] : [tptpcol_10_93700(_53083), -(tptpcol_9_93699(_53083))], (4936 ^ _36990) ^ [_95277] : [tptpcol_14_72792(_95277), -(isa(_95277, c_tptpcol_14_72792))], (4774 ^ _36990) ^ [_93306] : [isa(_93306, c_tptpcol_10_18567), -(tptpcol_10_18567(_93306))], (4726 ^ _36990) ^ [_92722] : [isa(_92722, c_tptpcol_10_92166), -(tptpcol_10_92166(_92722))], (3672 ^ _36990) ^ [_79634] : [isa(_79634, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_79634))], (156 ^ _36990) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (106 ^ _36990) ^ [_38155] : [tptpcol_14_72792(_38155), -(tptpcol_13_72791(_38155))], (386 ^ _36990) ^ [_41212] : [tptpcol_6_116738(_41212), -(tptpcol_5_114690(_41212))], (2044 ^ _36990) ^ [_59379] : [isa(_59379, c_pushingwithfingers), -(pushingwithfingers(_59379))], (3816 ^ _36990) ^ [_81408] : [tptpcol_2_2(_81408), -(isa(_81408, c_tptpcol_2_2))], (5228 ^ _36990) ^ [_98933, _98935, _98937] : [-(genlpreds(_98937, _98933)), genlpreds(_98937, _98935), genlpreds(_98935, _98933)], (330 ^ _36990) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (4558 ^ _36990) ^ [_90597] : [isa(_90597, c_tptpcol_4_114689), -(tptpcol_4_114689(_90597))], (3590 ^ _36990) ^ [_78621] : [isa(_78621, c_runningshorts), -(runningshorts(_78621))], (1318 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (354 ^ _36990) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (2688 ^ _36990) ^ [_67279] : [isa(_67279, c_state_geopolitical), -(state_geopolitical(_67279))], (5566 ^ _36990) ^ [_103198, _103200] : [genlmt(_103200, _103198), -(microtheory(_103200))], (3638 ^ _36990) ^ [_79205, _79207] : [directionoftranslation_throughout(_79207, _79205), -(unitvectorinterval(_79205))], (2598 ^ _36990) ^ [_66180] : [tptpcol_13_26920(_66180), -(isa(_66180, c_tptpcol_13_26920))], (5048 ^ _36990) ^ [_96655] : [tptpcol_12_40420(_96655), -(isa(_96655, c_tptpcol_12_40420))], (5582 ^ _36990) ^ [_103406] : [microtheory(_103406), -(genlmt(_103406, _103406))], (2578 ^ _36990) ^ [_65921] : [intangibleindividual(_65921), -(isa(_65921, c_intangibleindividual))], (1556 ^ _36990) ^ [_53973] : [tptpcol_16_50958(_53973), -(tptpcol_15_50957(_53973))], (4438 ^ _36990) ^ [_89115] : [furpelt(_89115), -(isa(_89115, c_furpelt))], (5102 ^ _36990) ^ [_97316, _97318] : [most(_97318, _97316), -(setorcollection(_97318))], (1952 ^ _36990) ^ [_58268] : [tptpcol_10_92166(_58268), -(tptpcol_9_92165(_58268))], (332 ^ _36990) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (2160 ^ _36990) ^ [_60808] : [tptpcol_15_26925(_60808), -(isa(_60808, c_tptpcol_15_26925))], (1774 ^ _36990) ^ [_56362] : [tptpcol_7_21508(_56362), -(tptpcol_6_20484(_56362))], (104 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4118 ^ _36990) ^ [_85177] : [isa(_85177, c_tptpcol_13_109173), -(tptpcol_13_109173(_85177))], (970 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (5020 ^ _36990) ^ [_96301, _96303] : [geographicalsubregions(_96303, _96301), -(geographicalregion(_96303))], (3110 ^ _36990) ^ [_72599, _72601, _72603] : [-(objectfoundinlocation(_72603, _72599)), objectfoundinlocation(_72603, _72601), subregions(_72599, _72601)], (2142 ^ _36990) ^ [_60589] : [isa(_60589, c_tptpcol_8_39940), -(tptpcol_8_39940(_60589))], (980 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (214 ^ _36990) ^ [_39324] : [tptpcol_12_40420(_39324), -(tptpcol_11_40388(_39324))], (3268 ^ _36990) ^ [_74644] : [isa(_74644, c_geographicalregion), -(geographicalregion(_74644))], (400 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2214 ^ _36990) ^ [_61469] : [isa(_61469, c_tptpcol_16_72795), -(tptpcol_16_72795(_61469))], (240 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (3362 ^ _36990) ^ [_75829] : [tptpcol_13_18664(_75829), -(isa(_75829, c_tptpcol_13_18664))], (4398 ^ _36990) ^ [_88611, _88613] : [inregion(_88613, _88611), -(spatialthing_nonsituational(_88611))], (14 ^ _36990) ^ [_37132] : [tptpcol_15_40430(_37132), -(tptpcol_14_40429(_37132))], (5066 ^ _36990) ^ [_96874] : [isa(_96874, c_tptpcol_6_92162), -(tptpcol_6_92162(_96874))], (590 ^ _36990) ^ [_43430] : [tptpcol_1_1(_43430), tptpcol_1_65536(_43430)], (968 ^ _36990) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5528 ^ _36990) ^ [_102715, _102717, _102719] : [-(disjointwith(_102715, _102717)), disjointwith(_102719, _102717), genls(_102715, _102719)], (3148 ^ _36990) ^ [_73108] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73108), -(isa(_73108, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3298 ^ _36990) ^ [_75015] : [isa(_75015, c_airport_physical), -(airport_physical(_75015))], (4468 ^ _36990) ^ [_89496, _89498, _89500] : [relationallinstance(_89500, _89498, _89496), -(binarypredicate(_89500))], (1598 ^ _36990) ^ [_54442] : [tptpcol_9_26885(_54442), -(tptpcol_8_26629(_54442))], (1060 ^ _36990) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1152 ^ _36990) ^ [_49531, _49533] : [disjointwith(_49533, _49531), -(collection(_49531))], (2394 ^ _36990) ^ [_63663] : [isa(_63663, c_tptpcol_8_117763), -(tptpcol_8_117763(_63663))], (64 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (2 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (3858 ^ _36990) ^ [_81923, _81925] : [tptptypes_6_818(_81925, _81923), -(firstordercollection(_81923))], (2154 ^ _36990) ^ [_60735] : [isa(_60735, c_tptpcol_15_26925), -(tptpcol_15_26925(_60735))], (534 ^ _36990) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (730 ^ _36990) ^ [_44965] : [tptpcol_8_109059(_44965), -(tptpcol_7_108547(_44965))], (4582 ^ _36990) ^ [_90889] : [isa(_90889, c_tptpcol_3_98305), -(tptpcol_3_98305(_90889))], (5304 ^ _36990) ^ [_99892] : [-(natargument(f_urlreferentfn(_99892), n_1, _99892))], (5334 ^ _36990) ^ [_100280, _100282] : [isa(_100282, _100280), -(thing(_100282))], (864 ^ _36990) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1276 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (784 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (1516 ^ _36990) ^ [_53516] : [individual(_53516), -(trajector_underspecified(_53516))], (3326 ^ _36990) ^ [_75391] : [tptpcol_6_112641(_75391), -(isa(_75391, c_tptpcol_6_112641))], (1522 ^ _36990) ^ [_53587] : [shavingrazor_manual(_53587), -(tptp_8_271(f_relationexistsallfn(_53587, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53587))], (5482 ^ _36990) ^ [_102136] : [partiallytangible(_102136), -(isa(_102136, c_partiallytangible))], (1782 ^ _36990) ^ [_56451] : [tptpcol_6_108546(_56451), -(tptpcol_5_106498(_56451))], (1356 ^ _36990) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1000 ^ _36990) ^ [_47896] : [tptpcol_9_18439(_47896), -(tptpcol_8_18438(_47896))], (2496 ^ _36990) ^ [_64910, _64912] : [few(_64912, _64910), -(setorcollection(_64912))], (3500 ^ _36990) ^ [_77512, _77514] : [orientation(_77514, _77512), -(spatialthing_localized(_77514))], (1572 ^ _36990) ^ [_54151] : [tptpcol_16_72795(_54151), -(tptpcol_15_72793(_54151))], (510 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (4300 ^ _36990) ^ [_87425] : [isa(_87425, c_tptpcol_9_109060), -(tptpcol_9_109060(_87425))], (1026 ^ _36990) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (164 ^ _36990) ^ [_38784] : [tptpcol_3_81921(_38784), -(tptpcol_2_65537(_38784))], (612 ^ _36990) ^ [_43666] : [-(tptp_8_875(_43666, f_relationallexistsfn(_43666, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43666, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (5594 ^ _36990) ^ [] : [-(mtvisible(c_universalvocabularymt))], (1724 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (536 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (4486 ^ _36990) ^ [_89721] : [isa(_89721, c_tptpcol_9_40196), -(tptpcol_9_40196(_89721))], (1612 ^ _36990) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (3714 ^ _36990) ^ [_80167] : [isa(_80167, c_tptpcol_16_10258), -(tptpcol_16_10258(_80167))], (3946 ^ _36990) ^ [_83041] : [mathematicalorcomputationalthing(_83041), -(isa(_83041, c_mathematicalorcomputationalthing))], (4456 ^ _36990) ^ [_89338, _89340, _89342] : [relationallinstance(_89342, _89340, _89338), -(thing(_89338))], (4178 ^ _36990) ^ [_85907, _85909] : [tptptypes_8_400(_85909, _85907), -(firstordercollection(_85907))], (3338 ^ _36990) ^ [_75537] : [tptpcol_7_113665(_75537), -(isa(_75537, c_tptpcol_7_113665))], (546 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (3120 ^ _36990) ^ [_72732] : [isa(_72732, c_ship), -(ship(_72732))], (670 ^ _36990) ^ [_44312] : [tptpcol_12_22055(_44312), -(tptpcol_11_22023(_44312))], (910 ^ _36990) ^ [_46914] : [tptpcol_13_22071(_46914), -(tptpcol_12_22055(_46914))], (1640 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (4018 ^ _36990) ^ [_83943, _83945, _83947] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_83947, _83945, _83943), n_3, _83943))], (958 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (2400 ^ _36990) ^ [_63736] : [tptpcol_8_117763(_63736), -(isa(_63736, c_tptpcol_8_117763))], (394 ^ _36990) ^ [_41301] : [tptpcol_15_92268(_41301), -(tptpcol_14_92264(_41301))], (526 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (3440 ^ _36990) ^ [_76780] : [tptpcol_7_108547(_76780), -(isa(_76780, c_tptpcol_7_108547))], (5108 ^ _36990) ^ [_97391, _97393] : [most(_97393, _97391), -(setorcollection(_97393))], (2244 ^ _36990) ^ [_61834] : [tptpcol_15_50957(_61834), -(isa(_61834, c_tptpcol_15_50957))], (4336 ^ _36990) ^ [] : [-(mtvisible(c_corecyclmt))], (3292 ^ _36990) ^ [_74940, _74942] : [airporthasiatacode(_74942, _74940), -(airport_physical(_74942))], (2466 ^ _36990) ^ [_64539] : [isa(_64539, c_tptpcol_6_20484), -(tptpcol_6_20484(_64539))], (474 ^ _36990) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (2484 ^ _36990) ^ [_64760, _64762] : [few(_64762, _64760), -(setorcollection(_64760))], (5316 ^ _36990) ^ [_100055, _100057] : [isa(_100057, _100055), -(collection(_100055))], (4006 ^ _36990) ^ [_83775] : [terrorist(_83775), -(isa(_83775, c_terrorist))], (142 ^ _36990) ^ [_38547] : [trajector_underspecified(_38547), -(location_underspecified(_38547))], (3494 ^ _36990) ^ [_77437, _77439] : [orientation(_77439, _77437), -(orientationvector(_77437))], (4148 ^ _36990) ^ [_85542] : [setorcollection(_85542), -(isa(_85542, c_setorcollection))], (3536 ^ _36990) ^ [_77954, _77956] : [tptptypes_9_824(_77956, _77954), -(firstordercollection(_77956))], (908 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (2554 ^ _36990) ^ [_65629] : [tptpcol_15_130923(_65629), -(isa(_65629, c_tptpcol_15_130923))], (3018 ^ _36990) ^ [_71402] : [-(natargument(f_contextofpcwfn(_71402), n_1, _71402))], (1082 ^ _36990) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (2524 ^ _36990) ^ [_65264] : [isa(_65264, c_tptpcol_16_130933), -(tptpcol_16_130933(_65264))], (292 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (2536 ^ _36990) ^ [_65410] : [isa(_65410, c_tptpcol_7_92163), -(tptpcol_7_92163(_65410))], (4614 ^ _36990) ^ [_91320, _91322, _91324, _91326] : [-(natargument(f_relationexistsallfn(_91326, _91324, _91322, _91320), n_4, _91320))], (1788 ^ _36990) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1770 ^ _36990) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (2340 ^ _36990) ^ [_63006] : [tptpcol_4_90113(_63006), -(isa(_63006, c_tptpcol_4_90113))], (4246 ^ _36990) ^ [_86760] : [tptpcol_15_92268(_86760), -(isa(_86760, c_tptpcol_15_92268))], (2824 ^ _36990) ^ [_69017, _69019] : [tptptypes_8_823(_69019, _69017), -(firstordercollection(_69019))], (520 ^ _36990) ^ [_42669] : [mathematicalorcomputationalthing(_42669), -(intangible(_42669))], (2590 ^ _36990) ^ [_66080, _66082] : [-(city(f_citynamedfn(_66082, _66080)))], (630 ^ _36990) ^ [_43872] : [tptpcol_10_118020(_43872), -(tptpcol_9_118019(_43872))], (496 ^ _36990) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (1490 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (3126 ^ _36990) ^ [_72805] : [ship(_72805), -(isa(_72805, c_ship))], (4528 ^ _36990) ^ [_90232] : [tptpcol_8_72708(_90232), -(isa(_90232, c_tptpcol_8_72708))], (4058 ^ _36990) ^ [_84447] : [isa(_84447, c_geolevel_3), -(geolevel_3(_84447))], (90 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (3072 ^ _36990) ^ [_72093, _72095] : [objectfoundinlocation(_72095, _72093), -(spatialthing_localized(_72095))], (4208 ^ _36990) ^ [_86282, _86284] : [borderson(_86284, _86282), -(geographicalregion(_86282))], (1540 ^ _36990) ^ [_53795] : [tptpcol_12_72775(_53795), -(tptpcol_11_72774(_53795))], (5298 ^ _36990) ^ [_99817] : [-(natargument(f_urlfn(_99817), n_1, _99817))], (128 ^ _36990) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (3822 ^ _36990) ^ [_81481, _81483] : [tptptypes_7_691(_81483, _81481), -(firstordercollection(_81481))], (662 ^ _36990) ^ [_44224] : [individual(_44224), setorcollection(_44224)], (1054 ^ _36990) ^ [_48488, _48490] : [tptptypes_8_823(_48490, _48488), -(tptptypes_7_819(_48490, _48488))], (2782 ^ _36990) ^ [_68504] : [isa(_68504, c_tptpcol_15_72793), -(tptpcol_15_72793(_68504))], (4654 ^ _36990) ^ [_91838, _91840] : [tptptypes_8_692(_91840, _91838), -(firstordercollection(_91838))], (364 ^ _36990) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (4612 ^ _36990) ^ [_91285, _91287, _91289, _91291] : [-(natargument(f_relationexistsallfn(_91291, _91289, _91287, _91285), n_3, _91287))], (4184 ^ _36990) ^ [_85982, _85984] : [tptptypes_8_400(_85984, _85982), -(firstordercollection(_85984))], (3864 ^ _36990) ^ [_81998, _82000] : [tptptypes_6_818(_82000, _81998), -(firstordercollection(_82000))], (1832 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (4996 ^ _36990) ^ [_96007] : [tptpcol_9_22021(_96007), -(isa(_96007, c_tptpcol_9_22021))], (1872 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1016 ^ _36990) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (4276 ^ _36990) ^ [_87129, _87131] : [tptptypes_6_388(_87131, _87129), -(firstordercollection(_87129))], (1108 ^ _36990) ^ [_49058] : [tptpcol_4_16387(_49058), -(tptpcol_3_16386(_49058))], (928 ^ _36990) ^ [_47110] : [tptpcol_4_114689(_47110), -(tptpcol_3_114688(_47110))], (2406 ^ _36990) ^ [_63809] : [isa(_63809, c_tptpcol_7_18437), -(tptpcol_7_18437(_63809))], (3934 ^ _36990) ^ [_82895] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_82895), -(isa(_82895, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (5008 ^ _36990) ^ [_96153] : [transitivebinarypredicate(_96153), -(isa(_96153, c_transitivebinarypredicate))], (744 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (4750 ^ _36990) ^ [_93014] : [isa(_93014, c_orderingpredicate), -(orderingpredicate(_93014))], (900 ^ _36990) ^ [] : [-(arg1isa(c_genls, c_collection))], (1498 ^ _36990) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (22 ^ _36990) ^ [_37221] : [tptpcol_10_72710(_37221), -(tptpcol_9_72709(_37221))], (3840 ^ _36990) ^ [_81704] : [tptpcol_11_26887(_81704), -(isa(_81704, c_tptpcol_11_26887))], (2014 ^ _36990) ^ [_59014] : [tptpcol_13_92263(_59014), -(isa(_59014, c_tptpcol_13_92263))], (556 ^ _36990) ^ [_43050, _43052] : [tptptypes_8_692(_43052, _43050), -(tptptypes_7_691(_43050, _43052))], (3184 ^ _36990) ^ [_73546] : [tptpcol_3_16386(_73546), -(isa(_73546, c_tptpcol_3_16386))], (874 ^ _36990) ^ [_46512, _46514] : [disjointwith(_46514, _46512), -(no(_46514, _46512))], (4828 ^ _36990) ^ [_93963] : [enduringthing_localized(_93963), -(isa(_93963, c_enduringthing_localized))], (1414 ^ _36990) ^ [_52398, _52400, _52402] : [isa(_52402, _52400), isa(_52402, _52398), disjointwith(_52400, _52398)], (588 ^ _36990) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (4318 ^ _36990) ^ [_87644] : [tptpcol_10_109061(_87644), -(isa(_87644, c_tptpcol_10_109061))], (392 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (786 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (606 ^ _36990) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2712 ^ _36990) ^ [_67632, _67634] : [arg2isa(_67634, _67632), -(collection(_67632))], (5518 ^ _36990) ^ [_102582, _102584, _102586] : [-(disjointwith(_102586, _102582)), disjointwith(_102586, _102584), genls(_102582, _102584)], (2756 ^ _36990) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2704 ^ _36990) ^ [_67494, _67496, _67498, _67500] : [-(natargument(f_relationallexistsfn(_67500, _67498, _67496, _67494), n_2, _67498))], (3318 ^ _36990) ^ [_75288, _75290, _75292] : [-(thing(f_instancewithrelationtofn(_75292, _75290, _75288)))], (366 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (196 ^ _36990) ^ [_39140] : [tptpcol_2_98304(_39140), -(tptpcol_1_65536(_39140))], (1270 ^ _36990) ^ [_50848] : [tptpcol_16_130924(_50848), -(tptpcol_15_130923(_50848))], (830 ^ _36990) ^ [_46043] : [tptpcol_13_18664(_46043), -(tptpcol_12_18663(_46043))], (4786 ^ _36990) ^ [_93452] : [isa(_93452, c_tptpcol_2_65537), -(tptpcol_2_65537(_93452))], (1212 ^ _36990) ^ [_50226] : [-(tptp_9_51(f_relationexistsallfn(_50226, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _50226)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_50226, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (4386 ^ _36990) ^ [_88465] : [isa(_88465, c_applicationcontext), -(applicationcontext(_88465))], (2950 ^ _36990) ^ [_70552, _70554] : [tptp_8_968(_70554, _70552), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70552))], (2974 ^ _36990) ^ [_70860, _70862, _70864] : [relationexistsall(_70864, _70862, _70860), -(binarypredicate(_70864))], (4966 ^ _36990) ^ [_95642] : [isa(_95642, c_tptpcol_5_16388), -(tptpcol_5_16388(_95642))], (678 ^ _36990) ^ [_44401] : [applicationcontext(_44401), -(microtheory(_44401))], (1330 ^ _36990) ^ [_51484] : [tptpcol_7_108547(_51484), -(tptpcol_6_108546(_51484))], (4 ^ _36990) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (1346 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (2430 ^ _36990) ^ [_64101] : [isa(_64101, c_tptpcol_8_93698), -(tptpcol_8_93698(_64101))], (28 ^ _36990) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (2202 ^ _36990) ^ [_61319, _61321] : [tptptypes_5_802(_61321, _61319), -(firstordercollection(_61319))], (942 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (1376 ^ _36990) ^ [_51983] : [tptpcol_8_18438(_51983), -(tptpcol_7_18437(_51983))], (5456 ^ _36990) ^ [_101797, _101799, _101801] : [-(genls(_101797, _101799)), genls(_101801, _101799), genls(_101797, _101801)], (622 ^ _36990) ^ [] : [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 ^ _36990) ^ [_87204, _87206] : [tptptypes_6_388(_87206, _87204), -(firstordercollection(_87206))], (3016 ^ _36990) ^ [_71377] : [-(natfunction(f_contextofpcwfn(_71377), c_contextofpcwfn))], (5072 ^ _36990) ^ [_96947] : [tptpcol_6_92162(_96947), -(isa(_96947, c_tptpcol_6_92162))], (596 ^ _36990) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (3828 ^ _36990) ^ [_81556, _81558] : [tptptypes_7_691(_81558, _81556), -(firstordercollection(_81558))], (2724 ^ _36990) ^ [_67782, _67784, _67786] : [-(arg2isa(_67786, _67782)), arg2isa(_67786, _67784), genls(_67784, _67782)], (1034 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (2560 ^ _36990) ^ [_65702] : [isa(_65702, c_tptpcol_16_130924), -(tptpcol_16_130924(_65702))], (2062 ^ _36990) ^ [_59600, _59602] : [affiliatedwith(_59602, _59600), -(agent_generic(_59602))], (4702 ^ _36990) ^ [_92430] : [isa(_92430, c_tptpcol_1_65536), -(tptpcol_1_65536(_92430))], (1084 ^ _36990) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3524 ^ _36990) ^ [_77806] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_77806), -(isa(_77806, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (2436 ^ _36990) ^ [_64174] : [tptpcol_8_93698(_64174), -(isa(_64174, c_tptpcol_8_93698))], (4546 ^ _36990) ^ [_90451] : [isa(_90451, c_tptpcol_12_93765), -(tptpcol_12_93765(_90451))], (580 ^ _36990) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (4356 ^ _36990) ^ [_88100] : [tptpcol_12_92262(_88100), -(isa(_88100, c_tptpcol_12_92262))], (858 ^ _36990) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (2806 ^ _36990) ^ [_68796] : [isa(_68796, c_tptpcol_10_26886), -(tptpcol_10_26886(_68796))], (1658 ^ _36990) ^ [_55113, _55115] : [tptptypes_9_824(_55115, _55113), -(tptptypes_8_823(_55115, _55113))], (1834 ^ _36990) ^ [_57002] : [tptpcol_9_40196(_57002), -(tptpcol_8_39940(_57002))], (1008 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (2382 ^ _36990) ^ [_63517] : [isa(_63517, c_tptpcol_7_117762), -(tptpcol_7_117762(_63517))], (1464 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4840 ^ _36990) ^ [_94109] : [location_underspecified(_94109), -(isa(_94109, c_location_underspecified))], (3702 ^ _36990) ^ [_80009, _80011, _80013] : [relationallexists(_80013, _80011, _80009), -(collection(_80011))], (4816 ^ _36990) ^ [_93817] : [artsupplies(_93817), -(isa(_93817, c_artsupplies))], (1894 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (472 ^ _36990) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1554 ^ _36990) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (3650 ^ _36990) ^ [_79355, _79357, _79359] : [-(directionoftranslation_throughout(_79355, _79357)), directionoftranslation_throughout(_79359, _79357), subevents(_79359, _79355)], (4330 ^ _36990) ^ [_87790] : [executionbyfiringsquad(_87790), -(isa(_87790, c_executionbyfiringsquad))], (1580 ^ _36990) ^ [_54240] : [tptpcol_6_71683(_54240), -(tptpcol_5_69635(_54240))], (1926 ^ _36990) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (2418 ^ _36990) ^ [_63955] : [isa(_63955, c_tptpcol_6_18436), -(tptpcol_6_18436(_63955))], (888 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (1086 ^ _36990) ^ [_48821] : [tptpcol_15_72793(_48821), -(tptpcol_14_72792(_48821))], (1100 ^ _36990) ^ [_48969] : [navypersonnel(_48969), -(militaryperson(_48969))], (2764 ^ _36990) ^ [_68285] : [spatialthing_nonsituational(_68285), -(isa(_68285, c_spatialthing_nonsituational))], (1960 ^ _36990) ^ [_58357] : [tptpcol_14_118118(_58357), -(tptpcol_13_118117(_58357))], (3810 ^ _36990) ^ [_81335] : [isa(_81335, c_tptpcol_2_2), -(tptpcol_2_2(_81335))], (258 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1456 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (4792 ^ _36990) ^ [_93525] : [tptpcol_2_65537(_93525), -(isa(_93525, c_tptpcol_2_65537))], (1472 ^ _36990) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (2932 ^ _36990) ^ [_70333] : [physicalorderingpredicate(_70333), -(isa(_70333, c_physicalorderingpredicate))], (1248 ^ _36990) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (2800 ^ _36990) ^ [_68723] : [tptpcol_9_26885(_68723), -(isa(_68723, c_tptpcol_9_26885))], (232 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (504 ^ _36990) ^ [_42485, _42487] : [geographicalsubregions(_42487, _42485), -(inregion(_42485, _42487))], (4954 ^ _36990) ^ [_95496] : [isa(_95496, c_tptpcol_4_16387), -(tptpcol_4_16387(_95496))], (1966 ^ _36990) ^ [_58428] : [isa(_58428, c_tptpcol_14_118118), -(tptpcol_14_118118(_58428))], (1500 ^ _36990) ^ [_53338] : [tptpcol_3_16386(_53338), -(tptpcol_2_2(_53338))], (1374 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (5548 ^ _36990) ^ [_102973, _102975] : [genlmt(_102975, _102973), -(microtheory(_102973))], (3398 ^ _36990) ^ [_76269] : [isa(_76269, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_76269))], (4810 ^ _36990) ^ [_93744] : [isa(_93744, c_artsupplies), -(artsupplies(_93744))], (3470 ^ _36990) ^ [_77145] : [isa(_77145, c_tptpcol_15_93775), -(tptpcol_15_93775(_77145))], (1754 ^ _36990) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (4930 ^ _36990) ^ [_95204] : [isa(_95204, c_tptpcol_14_72792), -(tptpcol_14_72792(_95204))], (3554 ^ _36990) ^ [_78179] : [isa(_78179, c_tptpcol_12_22055), -(tptpcol_12_22055(_78179))], (562 ^ _36990) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (848 ^ _36990) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (4822 ^ _36990) ^ [_93890] : [isa(_93890, c_enduringthing_localized), -(enduringthing_localized(_93890))], (2794 ^ _36990) ^ [_68650] : [isa(_68650, c_tptpcol_9_26885), -(tptpcol_9_26885(_68650))], (4392 ^ _36990) ^ [_88538] : [applicationcontext(_88538), -(isa(_88538, c_applicationcontext))], (5450 ^ _36990) ^ [_101724] : [collection(_101724), -(genls(_101724, _101724))], (300 ^ _36990) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (3584 ^ _36990) ^ [_78546, _78548] : [tptp_9_720(_78548, _78546), -(executionbyfiringsquad(_78548))], (2890 ^ _36990) ^ [_69822] : [isa(_69822, c_tptpcol_15_30970), -(tptpcol_15_30970(_69822))], (4642 ^ _36990) ^ [_91688, _91690] : [tptptypes_8_390(_91690, _91688), -(firstordercollection(_91688))], (3138 ^ _36990) ^ [_72973, _72975, _72977] : [-(natargument(f_subcollectionofwithrelationtofn(_72977, _72975, _72973), n_3, _72973))], (4948 ^ _36990) ^ [_95423] : [ridgeline_topographical(_95423), -(isa(_95423, c_ridgeline_topographical))], (4624 ^ _36990) ^ [_91463, _91465] : [resultisaarg(_91465, _91463), -(function_denotational(_91465))], (3506 ^ _36990) ^ [_77587] : [isa(_77587, c_orientationvector), -(orientationvector(_77587))], (1428 ^ _36990) ^ [_52566] : [aspatialinformationstore(_52566), -(aspatialthing(_52566))], (5282 ^ _36990) ^ [] : [-(mtvisible(c_basekb))], (4258 ^ _36990) ^ [_86906] : [tptpcol_6_116738(_86906), -(isa(_86906, c_tptpcol_6_116738))], (1250 ^ _36990) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1324 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (4864 ^ _36990) ^ [_94401] : [individual(_94401), -(isa(_94401, c_individual))], (1780 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (4696 ^ _36990) ^ [_92357] : [marriagelicensedocument(_92357), -(isa(_92357, c_marriagelicensedocument))], (5084 ^ _36990) ^ [_97093] : [tptpcol_7_93186(_97093), -(isa(_97093, c_tptpcol_7_93186))], (1530 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (3368 ^ _36990) ^ [_75902] : [isa(_75902, c_firstordercollection), -(firstordercollection(_75902))], (3258 ^ _36990) ^ [_74511, _74513, _74515] : [-(no(_74515, _74511)), no(_74515, _74513), subsetof(_74511, _74513)], (1538 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (4112 ^ _36990) ^ [_85104] : [tptpcol_12_109157(_85104), -(isa(_85104, c_tptpcol_12_109157))], (1682 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (494 ^ _36990) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (4306 ^ _36990) ^ [_87498] : [tptpcol_9_109060(_87498), -(isa(_87498, c_tptpcol_9_109060))], (3924 ^ _36990) ^ [_82760, _82762, _82764] : [-(natargument(f_subcollectionofwithrelationtotypefn(_82764, _82762, _82760), n_3, _82760))], (1344 ^ _36990) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (3034 ^ _36990) ^ [_71602, _71604, _71606] : [-(arg1isa(_71606, _71602)), arg1isa(_71606, _71604), genls(_71604, _71602)], (186 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (384 ^ _36990) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (3218 ^ _36990) ^ [_73979, _73981, _73983] : [-(no(_73979, _73981)), no(_73983, _73981), subsetof(_73979, _73983)], (84 ^ _36990) ^ [_37918] : [tptpcol_9_22021(_37918), -(tptpcol_8_22020(_37918))], (1888 ^ _36990) ^ [_57571] : [tptpcol_7_18437(_57571), -(tptpcol_6_18436(_57571))], (974 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (456 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (2274 ^ _36990) ^ [_62199] : [isa(_62199, c_tptpcol_11_72774), -(tptpcol_11_72774(_62199))], (4214 ^ _36990) ^ [_86357, _86359] : [borderson(_86359, _86357), -(geographicalregion(_86359))], (822 ^ _36990) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (4492 ^ _36990) ^ [_89794] : [tptpcol_9_40196(_89794), -(isa(_89794, c_tptpcol_9_40196))], (5356 ^ _36990) ^ [_100561] : [inanimateobject(_100561), -(isa(_100561, c_inanimateobject))], (544 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (2262 ^ _36990) ^ [_62053] : [isa(_62053, c_tptpcol_6_71683), -(tptpcol_6_71683(_62053))], (1858 ^ _36990) ^ [_57257] : [tptpcol_5_90114(_57257), -(tptpcol_4_90113(_57257))], (4166 ^ _36990) ^ [_85761] : [isa(_85761, c_tptpcol_12_18663), -(tptpcol_12_18663(_85761))], (2502 ^ _36990) ^ [_64985, _64987, _64989] : [-(few(_64989, _64985)), few(_64989, _64987), subsetof(_64985, _64987)], (2848 ^ _36990) ^ [_69311] : [tptpcol_15_109185(_69311), -(isa(_69311, c_tptpcol_15_109185))], (3316 ^ _36990) ^ [_75256, _75258, _75260] : [-(natargument(f_instancewithrelationtofn(_75260, _75258, _75256), n_3, _75256))], (5256 ^ _36990) ^ [_99287, _99289] : [genlinverse(_99289, _99287), -(binarypredicate(_99289))], (466 ^ _36990) ^ [_42094] : [tptpcol_5_24579(_42094), -(tptpcol_4_24578(_42094))], (2316 ^ _36990) ^ [_62710] : [tptpcol_16_25972(_62710), -(isa(_62710, c_tptpcol_16_25972))], (1438 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1336 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (2076 ^ _36990) ^ [_59784] : [isa(_59784, c_footballteam), -(footballteam(_59784))], (872 ^ _36990) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (2020 ^ _36990) ^ [_59087] : [isa(_59087, c_geolevel_4), -(geolevel_4(_59087))], (3410 ^ _36990) ^ [_76415] : [isa(_76415, c_tptpcol_13_22071), -(tptpcol_13_22071(_76415))], (1978 ^ _36990) ^ [_58574] : [-(natfunction(f_tptpquantityfn_6(_58574), c_tptpquantityfn_6))], (3792 ^ _36990) ^ [_81116] : [tptpcol_9_92165(_81116), -(isa(_81116, c_tptpcol_9_92165))], (2616 ^ _36990) ^ [_66399] : [isa(_66399, c_tptpcol_3_65538), -(tptpcol_3_65538(_66399))], (2980 ^ _36990) ^ [_70939] : [isa(_70939, c_tptpcol_7_26628), -(tptpcol_7_26628(_70939))], (5398 ^ _36990) ^ [_101072] : [isa(_101072, c_tptpcol_15_40430), -(tptpcol_15_40430(_101072))], (776 ^ _36990) ^ [_45469] : [inanimateobject_nonnatural(_45469), -(inanimateobject(_45469))], (1474 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (2002 ^ _36990) ^ [_58868] : [tptpcol_16_62187(_58868), -(isa(_58868, c_tptpcol_16_62187))], (684 ^ _36990) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1928 ^ _36990) ^ [_58003] : [computerdataartifact(_58003), -(artifact(_58003))], (220 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (3666 ^ _36990) ^ [_79561] : [unitvectorinterval(_79561), -(isa(_79561, c_unitvectorinterval))], (1036 ^ _36990) ^ [_48292] : [tptpcol_15_109185(_48292), -(tptpcol_14_109181(_48292))], (3196 ^ _36990) ^ [_73694, _73696] : [no(_73696, _73694), -(setorcollection(_73696))], (2854 ^ _36990) ^ [_69384] : [isa(_69384, c_tptpcol_6_26627), -(tptpcol_6_26627(_69384))], (1856 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (890 ^ _36990) ^ [_46696] : [tptpcol_5_69635(_46696), -(tptpcol_4_65539(_46696))], (3274 ^ _36990) ^ [_74717] : [geographicalregion(_74717), -(isa(_74717, c_geographicalregion))], (4744 ^ _36990) ^ [_92941] : [tptpcol_11_92230(_92941), -(isa(_92941, c_tptpcol_11_92230))], (2830 ^ _36990) ^ [_69092] : [isa(_69092, c_tptpcol_16_92269), -(tptpcol_16_92269(_69092))], (1668 ^ _36990) ^ [_55226] : [tptpcol_11_26887(_55226), -(tptpcol_10_26886(_55226))], (1666 ^ _36990) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (2334 ^ _36990) ^ [_62933] : [isa(_62933, c_tptpcol_4_90113), -(tptpcol_4_90113(_62933))], (4076 ^ _36990) ^ [_84666] : [tptpcol_4_24578(_84666), -(isa(_84666, c_tptpcol_4_24578))], (202 ^ _36990) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (1296 ^ _36990) ^ [] : [-(genlpreds(c_no, c_few))], (3458 ^ _36990) ^ [_76999] : [isa(_76999, c_tptpcol_14_93774), -(tptpcol_14_93774(_76999))], (2878 ^ _36990) ^ [_69676] : [isa(_69676, c_tptpcol_8_18438), -(tptpcol_8_18438(_69676))], (1506 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (5210 ^ _36990) ^ [_98708, _98710] : [genlpreds(_98710, _98708), -(predicate(_98708))], (1634 ^ _36990) ^ [_54846] : [tptpcol_8_92164(_54846), -(tptpcol_7_92163(_54846))], (1304 ^ _36990) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (4450 ^ _36990) ^ [_89263, _89265] : [tptpofobject(_89265, _89263), -(partiallytangible(_89265))], (2646 ^ _36990) ^ [_66766, _66768] : [tptp_9_51(_66768, _66766), -(tptpcol_7_26628(_66768))], (950 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (3066 ^ _36990) ^ [_72018, _72020] : [objectfoundinlocation(_72020, _72018), -(spatialthing_nonsituational(_72020))], (532 ^ _36990) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (1822 ^ _36990) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1972 ^ _36990) ^ [_58501] : [tptpcol_14_118118(_58501), -(isa(_58501, c_tptpcol_14_118118))], (1686 ^ _36990) ^ [_55422, _55424] : [few(_55424, _55422), -(setorcollection(_55422))], (1180 ^ _36990) ^ [_49868, _49870] : [tptptypes_7_389(_49870, _49868), -(tptptypes_6_388(_49868, _49870))], (838 ^ _36990) ^ [_46132] : [artifact(_46132), -(inanimateobject_nonnatural(_46132))], (1354 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1910 ^ _36990) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (3208 ^ _36990) ^ [_73846, _73848, _73850] : [-(no(_73850, _73846)), no(_73850, _73848), subsetof(_73846, _73848)], (1052 ^ _36990) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (572 ^ _36990) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (4374 ^ _36990) ^ [_88319] : [isa(_88319, c_computerdataartifact), -(computerdataartifact(_88319))], (2128 ^ _36990) ^ [_60419] : [-(tptpquantity(f_tptpquantityfn_2(_60419)))], (3028 ^ _36990) ^ [_71527, _71529] : [arg1isa(_71529, _71527), -(relation(_71529))], (1150 ^ _36990) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (3004 ^ _36990) ^ [_71231] : [isa(_71231, c_tptpcol_3_114688), -(tptpcol_3_114688(_71231))], (3988 ^ _36990) ^ [_83552, _83554] : [hasmembers(_83554, _83552), -(agent_generic(_83552))], (1794 ^ _36990) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (458 ^ _36990) ^ [_42005] : [tptpcol_5_106498(_42005), -(tptpcol_4_106497(_42005))], (1548 ^ _36990) ^ [_53884] : [tptpcol_7_72707(_53884), -(tptpcol_6_71683(_53884))], (4190 ^ _36990) ^ [_86057, _86059] : [tptptypes_9_401(_86059, _86057), -(firstordercollection(_86057))], (170 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (4870 ^ _36990) ^ [_94474] : [isa(_94474, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_94474))], (3882 ^ _36990) ^ [_82223] : [isa(_82223, c_correctivelensprescription), -(correctivelensprescription(_82223))], (4130 ^ _36990) ^ [_85323] : [isa(_85323, c_mathematicalthing), -(mathematicalthing(_85323))], (4226 ^ _36990) ^ [_86518] : [borderson(_86518, _86518)], (1328 ^ _36990) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (30 ^ _36990) ^ [_37310] : [inanimateobject(_37310), -(partiallytangible(_37310))], (2592 ^ _36990) ^ [_66107] : [isa(_66107, c_tptpcol_13_26920), -(tptpcol_13_26920(_66107))], (3010 ^ _36990) ^ [_71304] : [tptpcol_3_114688(_71304), -(isa(_71304, c_tptpcol_3_114688))], (1702 ^ _36990) ^ [_55604] : [tptpcol_8_39940(_55604), -(tptpcol_7_39939(_55604))], (5422 ^ _36990) ^ [_101368, _101370] : [genls(_101370, _101368), -(collection(_101370))], (346 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (1458 ^ _36990) ^ [_52887] : [tptpcol_6_26627(_52887), -(tptpcol_5_24579(_52887))], (1606 ^ _36990) ^ [_54531, _54533] : [genls(_54533, _54531), -(subsetof(_54533, _54531))], (1202 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (3238 ^ _36990) ^ [_74245, _74247, _74249] : [-(no(_74249, _74245)), no(_74249, _74247), genls(_74245, _74247)], (3572 ^ _36990) ^ [_78398] : [tptpcol_16_29490(_78398), -(isa(_78398, c_tptpcol_16_29490))], (4852 ^ _36990) ^ [_94255] : [trajector_underspecified(_94255), -(isa(_94255, c_trajector_underspecified))], (1732 ^ _36990) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (2376 ^ _36990) ^ [_63444] : [aspatialthing(_63444), -(isa(_63444, c_aspatialthing))], (598 ^ _36990) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (1408 ^ _36990) ^ [_52327] : [tptpcol_7_117762(_52327), -(tptpcol_6_116738(_52327))], (1128 ^ _36990) ^ [] : [-(disjointwith(c_collection, c_individual))], (4900 ^ _36990) ^ [_94839] : [tptpcol_11_22023(_94839), -(isa(_94839, c_tptpcol_11_22023))], (812 ^ _36990) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (3644 ^ _36990) ^ [_79280, _79282] : [directionoftranslation_throughout(_79282, _79280), -(movement_translationevent(_79282))], (766 ^ _36990) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (130 ^ _36990) ^ [_38422] : [partiallyintangibleindividual(_38422), -(individual(_38422))], (1980 ^ _36990) ^ [_58599] : [-(natargument(f_tptpquantityfn_6(_58599), n_1, _58599))], (5078 ^ _36990) ^ [_97020] : [isa(_97020, c_tptpcol_7_93186), -(tptpcol_7_93186(_97020))], (1168 ^ _36990) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (36 ^ _36990) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (1742 ^ _36990) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (4270 ^ _36990) ^ [_87054, _87056] : [tptptypes_5_387(_87056, _87054), -(firstordercollection(_87056))], (1398 ^ _36990) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4428 ^ _36990) ^ [_88992] : [-(natargument(f_tptpquantityfn_1(_88992), n_1, _88992))], (844 ^ _36990) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4714 ^ _36990) ^ [_92576] : [isa(_92576, c_tptpcol_2_98304), -(tptpcol_2_98304(_92576))], (422 ^ _36990) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (2268 ^ _36990) ^ [_62126] : [tptpcol_6_71683(_62126), -(isa(_62126, c_tptpcol_6_71683))], (2050 ^ _36990) ^ [_59452] : [pushingwithfingers(_59452), -(isa(_59452, c_pushingwithfingers))], (1562 ^ _36990) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2118 ^ _36990) ^ [_60295] : [tptpcol_15_22076(_60295), -(isa(_60295, c_tptpcol_15_22076))], (1442 ^ _36990) ^ [_52709] : [tptpcol_9_93699(_52709), -(tptpcol_8_93698(_52709))], (1692 ^ _36990) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1718 ^ _36990) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (2178 ^ _36990) ^ [_61027] : [isa(_61027, c_tptpcol_13_118117), -(tptpcol_13_118117(_61027))], (4410 ^ _36990) ^ [_88761, _88763, _88765] : [-(inregion(_88765, _88761)), inregion(_88765, _88763), inregion(_88763, _88761)], (1436 ^ _36990) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (3626 ^ _36990) ^ [_79059] : [isa(_79059, c_movement_translationevent), -(movement_translationevent(_79059))], (4798 ^ _36990) ^ [_93598] : [isa(_93598, c_tptpcol_3_81921), -(tptpcol_3_81921(_93598))], (3952 ^ _36990) ^ [_83114] : [isa(_83114, c_tptpcol_10_118020), -(tptpcol_10_118020(_83114))], (432 ^ _36990) ^ [_41720] : [tptpcol_12_18663(_41720), -(tptpcol_11_18631(_41720))], (1528 ^ _36990) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (2812 ^ _36990) ^ [_68869] : [tptpcol_10_26886(_68869), -(isa(_68869, c_tptpcol_10_26886))], (308 ^ _36990) ^ [_40394] : [-(tptpofobject(_40394, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40394)]], input).
% 45.45/44.70 ncf('1',plain,[-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)))],start(5596 ^ 0,bind([[_115826], [_18240]]))).
% 45.45/44.70 ncf('1.1',plain,[mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)), -(mtvisible(c_currentworlddatacollectormt_nonhomocentric)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_currentworlddatacollectormt_nonhomocentric)],extension(5538 ^ 1,bind([[_102848, _102850], [c_currentworlddatacollectormt_nonhomocentric, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)]]))).
% 45.45/44.70 ncf('1.1.1',plain,[mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptp_9_51(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802)), isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))],extension(1212 ^ 2,bind([[_50226], [c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802]]))).
% 45.45/44.70 ncf('1.1.1.1',plain,[tptp_9_51(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802), tptpcol_16_27189(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))],extension(5598 ^ 3,bind([[_115842], [f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))]]))).
% 45.45/44.70 ncf('1.1.1.1.1',plain,[-(tptpcol_16_27189(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))), isa(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), c_tptpcol_16_27189)],extension(2628 ^ 4,bind([[_66545], [f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))]]))).
% 45.45/44.70 ncf('1.1.1.1.1.1',plain,[-(isa(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), c_tptpcol_16_27189)), isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))],extension(244 ^ 5,bind([[_39657, _39659, _39661, _39663], [c_tptpcol_16_27189, c_tptp_9_51, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802]]))).
% 45.45/44.70 ncf('1.1.1.1.1.1.1',plain,[-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))],extension(896 ^ 6)).
% 45.45/44.70 ncf('1.1.1.1.1.1.2',plain,[-(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))), mtvisible(c_currentworlddatacollectormt_nonhomocentric)],extension(1222 ^ 6)).
% 45.45/44.70 ncf('1.1.1.1.1.1.2.1',plain,[-(mtvisible(c_currentworlddatacollectormt_nonhomocentric))],reduction('1.1')).
% 45.45/44.70 ncf('1.1.1.2',plain,[-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))), isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), genls(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))],extension(5340 ^ 3,bind([[_100355, _100357, _100359], [f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802]]))).
% 45.45/44.70 ncf('1.1.1.2.1',plain,[-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))],extension(896 ^ 4)).
% 45.45/44.70 ncf('1.1.1.2.2',plain,[-(genls(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))), collection(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))],extension(5444 ^ 4,bind([[_101651], [f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)]]))).
% 45.45/44.70 ncf('1.1.1.2.2.1',plain,[-(collection(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))],extension(3140 ^ 5,bind([[_73005, _73007, _73009], [c_cityofbostonma, c_objectfoundinlocation, c_ship]]))).
% 45.45/44.70 ncf('1.1.2',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_currentworlddatacollectormt_nonhomocentric)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_currentworlddatacollectormt_nonhomocentric), genlmt(c_currentworlddatacollectormt_nonhomocentric, c_currentworlddatacollectormt_nonhomocentric)],extension(5572 ^ 2,bind([[_103273, _103275, _103277], [c_currentworlddatacollectormt_nonhomocentric, c_currentworlddatacollectormt_nonhomocentric, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)]]))).
% 45.45/44.70 ncf('1.1.2.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_currentworlddatacollectormt_nonhomocentric)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_ldscdemonstrationspindleheadmt), genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric)],extension(5572 ^ 3,bind([[_103273, _103275, _103277], [c_currentworlddatacollectormt_nonhomocentric, c_ldscdemonstrationspindleheadmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)]]))).
% 45.45/44.70 ncf('1.1.2.1.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_ldscdemonstrationspindleheadmt)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_miptdatabase19681997_termsmt), genlmt(c_miptdatabase19681997_termsmt, c_ldscdemonstrationspindleheadmt)],extension(5572 ^ 4,bind([[_103273, _103275, _103277], [c_ldscdemonstrationspindleheadmt, c_miptdatabase19681997_termsmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)]]))).
% 45.45/44.70 ncf('1.1.2.1.1.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_miptdatabase19681997_termsmt)), genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt), genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt)],extension(5572 ^ 5,bind([[_103273, _103275, _103277], [c_miptdatabase19681997_termsmt, c_machinelearningspindleheadmt, f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885)]]))).
% 45.45/44.70 ncf('1.1.2.1.1.1.1',plain,[-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))],extension(970 ^ 6)).
% 45.45/44.70 ncf('1.1.2.1.1.1.2',plain,[-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))],extension(228 ^ 6)).
% 45.45/44.70 ncf('1.1.2.1.1.2',plain,[-(genlmt(c_miptdatabase19681997_termsmt, c_ldscdemonstrationspindleheadmt)), genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt), genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt)],extension(5572 ^ 5,bind([[_103273, _103275, _103277], [c_ldscdemonstrationspindleheadmt, c_ldscgeneralcollectormt, c_miptdatabase19681997_termsmt]]))).
% 45.45/44.70 ncf('1.1.2.1.1.2.1',plain,[-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))],extension(208 ^ 6)).
% 45.45/44.70 ncf('1.1.2.1.1.2.2',plain,[-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))],extension(342 ^ 6)).
% 45.45/44.70 ncf('1.1.2.1.2',plain,[-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))],extension(230 ^ 4)).
% 45.45/44.70 ncf('1.1.2.2',plain,[-(genlmt(c_currentworlddatacollectormt_nonhomocentric, c_currentworlddatacollectormt_nonhomocentric)), microtheory(c_currentworlddatacollectormt_nonhomocentric)],extension(5588 ^ 3,bind([[_103479], [c_currentworlddatacollectormt_nonhomocentric]]))).
% 45.45/44.70 ncf('1.1.2.2.1',plain,[-(microtheory(c_currentworlddatacollectormt_nonhomocentric)), genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric)],extension(5554 ^ 4,bind([[_103048, _103050], [c_currentworlddatacollectormt_nonhomocentric, c_ldscdemonstrationspindleheadmt]]))).
% 45.45/44.70 ncf('1.1.2.2.1.1',plain,[-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))],extension(230 ^ 5)).
% 45.45/44.70 %-----------------------------------------------------
% 45.45/44.70 End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------