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

% Computer : n027.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:54:45 EDT 2023

% Result   : Theorem 247.91s 239.60s
% Output   : Proof 247.91s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12  % Problem  : CSR063+2 : TPTP v8.1.2. Released v3.4.0.
% 0.12/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n027.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:08:20 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 247.91/239.60  
% 247.91/239.60  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 247.91/239.60  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 247.91/239.60  %-----------------------------------------------------
% 247.91/239.60  ncf(matrix, plain, [(1656 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (2848 ^ _36693) ^ [_69017] : [tptpcol_15_109185(_69017), -(isa(_69017, c_tptpcol_15_109185))], (1632 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (710 ^ _36693) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (2962 ^ _36693) ^ [_70408, _70410, _70412] : [relationexistsall(_70412, _70410, _70408), -(collection(_70408))], (3120 ^ _36693) ^ [_72669] : [isa(_72669, c_ship), -(ship(_72669))], (3482 ^ _36693) ^ [_84793] : [isa(_84793, c_tptpcol_16_8886), -(tptpcol_16_8886(_84793))], (3632 ^ _36693) ^ [_89653] : [movement_translationevent(_89653), -(isa(_89653, c_movement_translationevent))], (3620 ^ _36693) ^ [_89277] : [tptpcol_16_31868(_89277), -(isa(_89277, c_tptpcol_16_31868))], (4792 ^ _36693) ^ [_128132] : [tptpcol_2_65537(_128132), -(isa(_128132, c_tptpcol_2_65537))], (1590 ^ _36693) ^ [_54053, _54055] : [tptptypes_7_396(_54055, _54053), -(tptptypes_6_388(_54055, _54053))], (3536 ^ _36693) ^ [_86559, _86561] : [tptptypes_9_824(_86561, _86559), -(firstordercollection(_86561))], (2202 ^ _36693) ^ [_61025, _61027] : [tptptypes_5_802(_61027, _61025), -(firstordercollection(_61025))], (4000 ^ _36693) ^ [_101858] : [isa(_101858, c_terrorist), -(terrorist(_101858))], (718 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (1318 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (4204 ^ _36693) ^ [_108631] : [-(natargument(f_tptpquantityfn_13(_108631), n_1, _108631))], (1782 ^ _36693) ^ [_56157] : [tptpcol_6_108546(_56157), -(tptpcol_5_106498(_56157))], (3386 ^ _36693) ^ [_81785] : [isa(_81785, c_supplies), -(supplies(_81785))], (2352 ^ _36693) ^ [_62858] : [tptpcol_10_93700(_62858), -(isa(_62858, c_tptpcol_10_93700))], (1114 ^ _36693) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (3708 ^ _36693) ^ [_92236, _92238, _92240] : [relationallexists(_92240, _92238, _92236), -(binarypredicate(_92240))], (1796 ^ _36693) ^ [_56305] : [geolevel_4(_56305), -(geographicalregion(_56305))], (106 ^ _36693) ^ [_37861] : [tptpcol_14_72792(_37861), -(tptpcol_13_72791(_37861))], (3970 ^ _36693) ^ [_100878] : [tptpcol_11_118084(_100878), -(isa(_100878, c_tptpcol_11_118084))], (1570 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (582 ^ _36693) ^ [_43047] : [fixedordercollection(_43047), -(collection(_43047))], (2358 ^ _36693) ^ [_62931] : [isa(_62931, c_tptpcol_9_93699), -(tptpcol_9_93699(_62931))], (2316 ^ _36693) ^ [_62416] : [tptpcol_16_25972(_62416), -(isa(_62416, c_tptpcol_16_25972))], (1346 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (3512 ^ _36693) ^ [_85773] : [orientationvector(_85773), -(isa(_85773, c_orientationvector))], (720 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (5078 ^ _36693) ^ [_137143] : [isa(_137143, c_tptpcol_7_93186), -(tptpcol_7_93186(_137143))], (208 ^ _36693) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (526 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (1990 ^ _36693) ^ [_58428] : [tptpcol_16_26939(_58428), -(isa(_58428, c_tptpcol_16_26939))], (2908 ^ _36693) ^ [_69747] : [tptpcol_16_30972(_69747), -(isa(_69747, c_tptpcol_16_30972))], (2530 ^ _36693) ^ [_65043] : [tptpcol_16_130933(_65043), -(isa(_65043, c_tptpcol_16_130933))], (1586 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (5026 ^ _36693) ^ [_135532, _135534, _135536] : [-(geographicalsubregions(_135536, _135532)), geographicalsubregions(_135536, _135534), geographicalsubregions(_135534, _135532)], (848 ^ _36693) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (1978 ^ _36693) ^ [_58280] : [-(natfunction(f_tptpquantityfn_6(_58280), c_tptpquantityfn_6))], (194 ^ _36693) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (974 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (3382 ^ _36693) ^ [_81610] : [-(natargument(f_tptpquantityfn_14(_81610), n_1, _81610))], (570 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (2062 ^ _36693) ^ [_59306, _59308] : [affiliatedwith(_59308, _59306), -(agent_generic(_59308))], (2890 ^ _36693) ^ [_69528] : [isa(_69528, c_tptpcol_15_30970), -(tptpcol_15_30970(_69528))], (2274 ^ _36693) ^ [_61905] : [isa(_61905, c_tptpcol_11_72774), -(tptpcol_11_72774(_61905))], (1152 ^ _36693) ^ [_49237, _49239] : [disjointwith(_49239, _49237), -(collection(_49237))], (5048 ^ _36693) ^ [_136203] : [tptpcol_12_40420(_136203), -(isa(_136203, c_tptpcol_12_40420))], (3196 ^ _36693) ^ [_75343, _75345] : [no(_75345, _75343), -(setorcollection(_75345))], (2986 ^ _36693) ^ [_70718] : [tptpcol_7_26628(_70718), -(isa(_70718, c_tptpcol_7_26628))], (3940 ^ _36693) ^ [_99938] : [isa(_99938, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_99938))], (5120 ^ _36693) ^ [_138539] : [setorcollection(_138539), -(most(_138539, _138539))], (2524 ^ _36693) ^ [_64970] : [isa(_64970, c_tptpcol_16_130933), -(tptpcol_16_130933(_64970))], (2652 ^ _36693) ^ [_66547] : [isa(_66547, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_66547))], (2370 ^ _36693) ^ [_63077] : [isa(_63077, c_aspatialthing), -(aspatialthing(_63077))], (3392 ^ _36693) ^ [_81973] : [supplies(_81973), -(isa(_81973, c_supplies))], (1612 ^ _36693) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1186 ^ _36693) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (488 ^ _36693) ^ [_42025] : [tptpcol_1_65536(_42025), -(tptpcol_0_0(_42025))], (2436 ^ _36693) ^ [_63880] : [tptpcol_8_93698(_63880), -(isa(_63880, c_tptpcol_8_93698))], (3218 ^ _36693) ^ [_76098, _76100, _76102] : [-(no(_76098, _76100)), no(_76102, _76100), subsetof(_76098, _76102)], (528 ^ _36693) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (1150 ^ _36693) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (122 ^ _36693) ^ [_38039] : [tptpcol_11_22023(_38039), -(tptpcol_10_22022(_38039))], (2800 ^ _36693) ^ [_68429] : [tptpcol_9_26885(_68429), -(isa(_68429, c_tptpcol_9_26885))], (164 ^ _36693) ^ [_38490] : [tptpcol_3_81921(_38490), -(tptpcol_2_65537(_38490))], (822 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (2676 ^ _36693) ^ [_66839] : [isa(_66839, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_66839))], (2340 ^ _36693) ^ [_62712] : [tptpcol_4_90113(_62712), -(isa(_62712, c_tptpcol_4_90113))], (2490 ^ _36693) ^ [_64541, _64543] : [few(_64543, _64541), -(setorcollection(_64543))], (424 ^ _36693) ^ [_41331, _41333] : [tptptypes_9_401(_41333, _41331), -(tptptypes_8_400(_41331, _41333))], (4732 ^ _36693) ^ [_126252] : [tptpcol_10_92166(_126252), -(isa(_126252, c_tptpcol_10_92166))], (4154 ^ _36693) ^ [_106982] : [isa(_106982, c_tptpcol_11_18631), -(tptpcol_11_18631(_106982))], (630 ^ _36693) ^ [_43578] : [tptpcol_10_118020(_43578), -(tptpcol_9_118019(_43578))], (3350 ^ _36693) ^ [_80605] : [artifact(_80605), -(isa(_80605, c_artifact))], (2112 ^ _36693) ^ [_59928] : [isa(_59928, c_tptpcol_15_22076), -(tptpcol_15_22076(_59928))], (5350 ^ _36693) ^ [_146315] : [isa(_146315, c_inanimateobject), -(inanimateobject(_146315))], (4756 ^ _36693) ^ [_127004] : [orderingpredicate(_127004), -(isa(_127004, c_orderingpredicate))], (4510 ^ _36693) ^ [_118683] : [isa(_118683, c_tptpcol_7_72707), -(tptpcol_7_72707(_118683))], (4444 ^ _36693) ^ [_116463, _116465] : [tptpofobject(_116465, _116463), -(tptpquantity(_116463))], (2914 ^ _36693) ^ [_69820] : [isa(_69820, c_tptpcol_14_109181), -(tptpcol_14_109181(_69820))], (4130 ^ _36693) ^ [_106230] : [isa(_106230, c_mathematicalthing), -(mathematicalthing(_106230))], (1864 ^ _36693) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (4570 ^ _36693) ^ [_120563] : [isa(_120563, c_tptpcol_5_114690), -(tptpcol_5_114690(_120563))], (3988 ^ _36693) ^ [_101456, _101458] : [hasmembers(_101458, _101456), -(agent_generic(_101456))], (694 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (3452 ^ _36693) ^ [_83853] : [tptpcol_8_109059(_83853), -(isa(_83853, c_tptpcol_8_109059))], (2956 ^ _36693) ^ [_70333, _70335] : [tptp_8_968(_70335, _70333), -(tptpcol_7_7172(_70335))], (758 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (3918 ^ _36693) ^ [_99003, _99005, _99007] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_99007, _99005, _99003), c_subcollectionofwithrelationtotypefn))], (1366 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (5572 ^ _36693) ^ [_153551, _153553, _153555] : [-(genlmt(_153555, _153551)), genlmt(_153555, _153553), genlmt(_153553, _153551)], (2812 ^ _36693) ^ [_68575] : [tptpcol_10_26886(_68575), -(isa(_68575, c_tptpcol_10_26886))], (3464 ^ _36693) ^ [_84229] : [tptpcol_14_93774(_84229), -(isa(_84229, c_tptpcol_14_93774))], (4684 ^ _36693) ^ [_124748] : [tptpcol_11_40388(_124748), -(isa(_124748, c_tptpcol_11_40388))], (510 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (612 ^ _36693) ^ [_43372] : [-(tptp_8_875(_43372, f_relationallexistsfn(_43372, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_43372, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (556 ^ _36693) ^ [_42756, _42758] : [tptptypes_8_692(_42758, _42756), -(tptptypes_7_691(_42756, _42758))], (4306 ^ _36693) ^ [_112033] : [tptpcol_9_109060(_112033), -(isa(_112033, c_tptpcol_9_109060))], (1666 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (5596 ^ _36693) ^ [] : [-(disjointwith(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_tptpcol_16_118949))], (1354 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (952 ^ _36693) ^ [_47083] : [tptpcol_9_109060(_47083), -(tptpcol_8_109059(_47083))], (2484 ^ _36693) ^ [_64466, _64468] : [few(_64468, _64466), -(setorcollection(_64466))], (3020 ^ _36693) ^ [_71134] : [-(microtheory(f_contextofpcwfn(_71134)))], (130 ^ _36693) ^ [_38128] : [partiallyintangibleindividual(_38128), -(individual(_38128))], (1202 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (534 ^ _36693) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (580 ^ _36693) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (156 ^ _36693) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (3994 ^ _36693) ^ [_101664, _101666] : [hasmembers(_101666, _101664), -(organization(_101666))], (776 ^ _36693) ^ [_45175] : [inanimateobject_nonnatural(_45175), -(inanimateobject(_45175))], (5450 ^ _36693) ^ [_149538] : [collection(_149538), -(genls(_149538, _149538))], (1130 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (3172 ^ _36693) ^ [_74557] : [tptpcol_5_69635(_74557), -(isa(_74557, c_tptpcol_5_69635))], (1248 ^ _36693) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1538 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1870 ^ _36693) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (2136 ^ _36693) ^ [_60222] : [tptpcol_7_39939(_60222), -(isa(_60222, c_tptpcol_7_39939))], (3066 ^ _36693) ^ [_71724, _71726] : [objectfoundinlocation(_71726, _71724), -(spatialthing_nonsituational(_71726))], (1438 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (4234 ^ _36693) ^ [_109697] : [tptpcol_14_92264(_109697), -(isa(_109697, c_tptpcol_14_92264))], (2710 ^ _36693) ^ [_67305, _67307, _67309, _67311] : [-(thing(f_relationallexistsfn(_67311, _67309, _67307, _67305)))], (1296 ^ _36693) ^ [] : [-(genlpreds(c_no, c_few))], (3044 ^ _36693) ^ [_71441, _71443, _71445] : [-(arg1isa(_71445, _71441)), arg1isa(_71445, _71443), genls(_71443, _71441)], (4552 ^ _36693) ^ [_119999] : [tptpcol_12_93765(_119999), -(isa(_119999, c_tptpcol_12_93765))], (2424 ^ _36693) ^ [_63734] : [tptpcol_6_18436(_63734), -(isa(_63734, c_tptpcol_6_18436))], (2830 ^ _36693) ^ [_68798] : [isa(_68798, c_tptpcol_16_92269), -(tptpcol_16_92269(_68798))], (378 ^ _36693) ^ [_40823, _40825] : [tptptypes_6_388(_40825, _40823), -(tptptypes_5_387(_40825, _40823))], (1984 ^ _36693) ^ [_58355] : [isa(_58355, c_tptpcol_16_26939), -(tptpcol_16_26939(_58355))], (2178 ^ _36693) ^ [_60733] : [isa(_60733, c_tptpcol_13_118117), -(tptpcol_13_118117(_60733))], (1944 ^ _36693) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (2548 ^ _36693) ^ [_65262] : [isa(_65262, c_tptpcol_15_130923), -(tptpcol_15_130923(_65262))], (4702 ^ _36693) ^ [_125312] : [isa(_125312, c_tptpcol_1_65536), -(tptpcol_1_65536(_125312))], (2634 ^ _36693) ^ [_66324] : [tptpcol_16_27189(_66324), -(isa(_66324, c_tptpcol_16_27189))], (5096 ^ _36693) ^ [_137741, _137743] : [most(_137743, _137741), -(setorcollection(_137741))], (1084 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (3876 ^ _36693) ^ [_97628, _97630] : [tptptypes_7_819(_97630, _97628), -(firstordercollection(_97630))], (5298 ^ _36693) ^ [_144356] : [-(natargument(f_urlfn(_144356), n_1, _144356))], (4504 ^ _36693) ^ [_118495] : [tptpcol_10_40324(_118495), -(isa(_118495, c_tptpcol_10_40324))], (4100 ^ _36693) ^ [_105290] : [tptpcol_5_106498(_105290), -(isa(_105290, c_tptpcol_5_106498))], (80 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (318 ^ _36693) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (3100 ^ _36693) ^ [_72172, _72174, _72176] : [-(objectfoundinlocation(_72176, _72172)), objectfoundinlocation(_72176, _72174), geographicallysubsumes(_72172, _72174)], (2478 ^ _36693) ^ [_64391, _64393] : [few(_64393, _64391), -(setorcollection(_64391))], (1098 ^ _36693) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (5456 ^ _36693) ^ [_149754, _149756, _149758] : [-(genls(_149754, _149756)), genls(_149758, _149756), genls(_149754, _149758)], (4046 ^ _36693) ^ [_103598] : [isa(_103598, c_tptpcol_0_0), -(tptpcol_0_0(_103598))], (2646 ^ _36693) ^ [_66472, _66474] : [tptp_9_51(_66474, _66472), -(tptpcol_7_26628(_66474))], (112 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (2718 ^ _36693) ^ [_67413, _67415] : [arg2isa(_67415, _67413), -(relation(_67415))], (5488 ^ _36693) ^ [_150748] : [isa(_150748, c_intangible), -(intangible(_150748))], (1650 ^ _36693) ^ [_54730] : [tptpcol_11_40388(_54730), -(tptpcol_10_40324(_54730))], (3166 ^ _36693) ^ [_74369] : [isa(_74369, c_tptpcol_5_69635), -(tptpcol_5_69635(_74369))], (3126 ^ _36693) ^ [_72857] : [ship(_72857), -(isa(_72857, c_ship))], (2758 ^ _36693) ^ [_67918] : [isa(_67918, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_67918))], (2364 ^ _36693) ^ [_63004] : [tptpcol_9_93699(_63004), -(isa(_63004, c_tptpcol_9_93699))], (3822 ^ _36693) ^ [_95836, _95838] : [tptptypes_7_691(_95838, _95836), -(firstordercollection(_95836))], (2460 ^ _36693) ^ [_64172] : [tptpcol_6_108546(_64172), -(isa(_64172, c_tptpcol_6_108546))], (2584 ^ _36693) ^ [_65700, _65702] : [-(natfunction(f_citynamedfn(_65702, _65700), c_citynamedfn))], (1664 ^ _36693) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (4738 ^ _36693) ^ [_126440] : [isa(_126440, c_tptpcol_11_92230), -(tptpcol_11_92230(_126440))], (5500 ^ _36693) ^ [_151138, _151140] : [disjointwith(_151140, _151138), -(collection(_151138))], (1442 ^ _36693) ^ [_52415] : [tptpcol_9_93699(_52415), -(tptpcol_8_93698(_52415))], (2184 ^ _36693) ^ [_60806] : [tptpcol_13_118117(_60806), -(isa(_60806, c_tptpcol_13_118117))], (898 ^ _36693) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (260 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (4206 ^ _36693) ^ [_108712] : [-(tptpquantity(f_tptpquantityfn_13(_108712)))], (4392 ^ _36693) ^ [_114718] : [applicationcontext(_114718), -(isa(_114718, c_applicationcontext))], (1210 ^ _36693) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (546 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (5528 ^ _36693) ^ [_152101, _152103, _152105] : [-(disjointwith(_152101, _152103)), disjointwith(_152105, _152103), genls(_152101, _152105)], (676 ^ _36693) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (3840 ^ _36693) ^ [_96426] : [tptpcol_11_26887(_96426), -(isa(_96426, c_tptpcol_11_26887))], (2496 ^ _36693) ^ [_64616, _64618] : [few(_64618, _64616), -(setorcollection(_64618))], (2292 ^ _36693) ^ [_62124] : [tptpcol_12_72775(_62124), -(isa(_62124, c_tptpcol_12_72775))], (1306 ^ _36693) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (3524 ^ _36693) ^ [_86149] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_86149), -(isa(_86149, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (364 ^ _36693) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (3976 ^ _36693) ^ [_101066] : [isa(_101066, c_terroristgroup), -(terroristgroup(_101066))], (234 ^ _36693) ^ [_39250, _39252] : [tptptypes_8_390(_39252, _39250), -(tptptypes_7_389(_39252, _39250))], (812 ^ _36693) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (4840 ^ _36693) ^ [_129636] : [location_underspecified(_129636), -(isa(_129636, c_location_underspecified))], (1694 ^ _36693) ^ [_55221] : [tptpcol_4_65539(_55221), -(tptpcol_3_65538(_55221))], (1406 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (4600 ^ _36693) ^ [_121503] : [tptpcol_4_106497(_121503), -(isa(_121503, c_tptpcol_4_106497))], (5008 ^ _36693) ^ [_134900] : [transitivebinarypredicate(_134900), -(isa(_134900, c_transitivebinarypredicate))], (292 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (3920 ^ _36693) ^ [_99117, _99119, _99121] : [-(natargument(f_subcollectionofwithrelationtotypefn(_99121, _99119, _99117), n_1, _99121))], (2980 ^ _36693) ^ [_70645] : [isa(_70645, c_tptpcol_7_26628), -(tptpcol_7_26628(_70645))], (2406 ^ _36693) ^ [_63515] : [isa(_63515, c_tptpcol_7_18437), -(tptpcol_7_18437(_63515))], (104 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (4522 ^ _36693) ^ [_119059] : [isa(_119059, c_tptpcol_8_72708), -(tptpcol_8_72708(_119059))], (972 ^ _36693) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (926 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (5210 ^ _36693) ^ [_141491, _141493] : [genlpreds(_141493, _141491), -(predicate(_141491))], (496 ^ _36693) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (3494 ^ _36693) ^ [_85183, _85185] : [orientation(_85185, _85183), -(orientationvector(_85183))], (3060 ^ _36693) ^ [_71649, _71651] : [objectfoundinlocation(_71651, _71649), -(spatialthing_localized(_71649))], (2196 ^ _36693) ^ [_60952] : [tptpcol_5_90114(_60952), -(isa(_60952, c_tptpcol_5_90114))], (548 ^ _36693) ^ [_42667] : [tptpcol_12_26919(_42667), -(tptpcol_11_26887(_42667))], (2640 ^ _36693) ^ [_66397, _66399] : [tptp_9_51(_66399, _66397), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_66397))], (4264 ^ _36693) ^ [_110651, _110653] : [tptptypes_5_387(_110653, _110651), -(firstordercollection(_110651))], (688 ^ _36693) ^ [_44214, _44216] : [tptptypes_8_400(_44216, _44214), -(tptptypes_7_396(_44216, _44214))], (3416 ^ _36693) ^ [_82725] : [tptpcol_13_22071(_82725), -(isa(_82725, c_tptpcol_13_22071))], (660 ^ _36693) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (536 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (1830 ^ _36693) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1886 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (3964 ^ _36693) ^ [_100690] : [isa(_100690, c_tptpcol_11_118084), -(tptpcol_11_118084(_100690))], (400 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (2932 ^ _36693) ^ [_70039] : [physicalorderingpredicate(_70039), -(isa(_70039, c_physicalorderingpredicate))], (2442 ^ _36693) ^ [_63953] : [isa(_63953, c_tptpcol_11_109125), -(tptpcol_11_109125(_63953))], (3178 ^ _36693) ^ [_74745] : [isa(_74745, c_tptpcol_3_16386), -(tptpcol_3_16386(_74745))], (5084 ^ _36693) ^ [_137331] : [tptpcol_7_93186(_137331), -(isa(_137331, c_tptpcol_7_93186))], (1540 ^ _36693) ^ [_53501] : [tptpcol_12_72775(_53501), -(tptpcol_11_72774(_53501))], (1232 ^ _36693) ^ [_50156] : [tptpcol_3_65538(_50156), -(tptpcol_2_65537(_50156))], (2658 ^ _36693) ^ [_66620] : [reflexivebinarypredicate(_66620), -(isa(_66620, c_reflexivebinarypredicate))], (920 ^ _36693) ^ [_46727] : [tptpcol_3_98305(_46727), -(tptpcol_2_98304(_46727))], (5304 ^ _36693) ^ [_144596] : [-(natargument(f_urlreferentfn(_144596), n_1, _144596))], (2756 ^ _36693) ^ [] : [-(mtvisible(c_logicaltruthmt))], (6 ^ _36693) ^ [_36750] : [intangible(_36750), partiallytangible(_36750)], (942 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (5216 ^ _36693) ^ [_141699, _141701] : [genlpreds(_141701, _141699), -(predicate(_141701))], (4492 ^ _36693) ^ [_118119] : [tptpcol_9_40196(_118119), -(isa(_118119, c_tptpcol_9_40196))], (2788 ^ _36693) ^ [_68283] : [tptpcol_15_72793(_68283), -(isa(_68283, c_tptpcol_15_72793))], (3018 ^ _36693) ^ [_71108] : [-(natargument(f_contextofpcwfn(_71108), n_1, _71108))], (2512 ^ _36693) ^ [_64824] : [isa(_64824, c_tptpcol_15_130931), -(tptpcol_15_130931(_64824))], (1060 ^ _36693) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (220 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (4624 ^ _36693) ^ [_122702, _122704] : [resultisaarg(_122704, _122702), -(function_denotational(_122704))], (4608 ^ _36693) ^ [_121849, _121851, _121853, _121855] : [-(natargument(f_relationexistsallfn(_121855, _121853, _121851, _121849), n_1, _121855))], (1122 ^ _36693) ^ [_48924] : [collection(_48924), individual(_48924)], (5310 ^ _36693) ^ [_144867, _144869] : [-(natargument(f_contentmtofcdafromeventfn(_144869, _144867), n_1, _144869))], (142 ^ _36693) ^ [_38253] : [trajector_underspecified(_38253), -(location_underspecified(_38253))], (1388 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1008 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (3786 ^ _36693) ^ [_94694] : [isa(_94694, c_tptpcol_9_92165), -(tptpcol_9_92165(_94694))], (3078 ^ _36693) ^ [_71874, _71876, _71878] : [-(objectfoundinlocation(_71878, _71874)), objectfoundinlocation(_71878, _71876), objectfoundinlocation(_71876, _71874)], (4336 ^ _36693) ^ [] : [-(mtvisible(c_corecyclmt))], (148 ^ _36693) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (1108 ^ _36693) ^ [_48764] : [tptpcol_4_16387(_48764), -(tptpcol_3_16386(_48764))], (1050 ^ _36693) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (212 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (4546 ^ _36693) ^ [_119811] : [isa(_119811, c_tptpcol_12_93765), -(tptpcol_12_93765(_119811))], (1262 ^ _36693) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1414 ^ _36693) ^ [_52104, _52106, _52108] : [isa(_52108, _52106), isa(_52108, _52104), disjointwith(_52106, _52104)], (2704 ^ _36693) ^ [_67200, _67202, _67204, _67206] : [-(natargument(f_relationallexistsfn(_67206, _67204, _67202, _67200), n_2, _67204))], (850 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (1496 ^ _36693) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (3428 ^ _36693) ^ [_83101] : [tptpcol_14_22072(_83101), -(isa(_83101, c_tptpcol_14_22072))], (1230 ^ _36693) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (5108 ^ _36693) ^ [_138157, _138159] : [most(_138159, _138157), -(setorcollection(_138159))], (90 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (4918 ^ _36693) ^ [_132080] : [isa(_132080, c_tptpcol_13_72791), -(tptpcol_13_72791(_132080))], (1034 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (5410 ^ _36693) ^ [_148209, _148211] : [genls(_148211, _148209), -(collection(_148209))], (1506 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (4666 ^ _36693) ^ [_124158, _124160] : [tptptypes_9_693(_124160, _124158), -(firstordercollection(_124158))], (5204 ^ _36693) ^ [_141283, _141285] : [genlpreds(_141285, _141283), -(predicate(_141283))], (3834 ^ _36693) ^ [_96238] : [isa(_96238, c_tptpcol_11_26887), -(tptpcol_11_26887(_96238))], (2002 ^ _36693) ^ [_58574] : [tptpcol_16_62187(_58574), -(isa(_58574, c_tptpcol_16_62187))], (4246 ^ _36693) ^ [_110073] : [tptpcol_15_92268(_110073), -(isa(_110073, c_tptpcol_15_92268))], (3732 ^ _36693) ^ [_93002] : [pushingababycarriage(_93002), -(isa(_93002, c_pushingababycarriage))], (1064 ^ _36693) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1256 ^ _36693) ^ [_50406] : [intangibleindividual(_50406), -(partiallyintangibleindividual(_50406))], (4618 ^ _36693) ^ [_122494, _122496] : [resultisaarg(_122496, _122494), -(positiveinteger(_122494))], (5392 ^ _36693) ^ [_147631] : [tptpcol_14_40429(_147631), -(isa(_147631, c_tptpcol_14_40429))], (4456 ^ _36693) ^ [_116893, _116895, _116897] : [relationallinstance(_116897, _116895, _116893), -(thing(_116893))], (908 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (3958 ^ _36693) ^ [_100502] : [tptpcol_10_118020(_100502), -(isa(_100502, c_tptpcol_10_118020))], (4380 ^ _36693) ^ [_114342] : [computerdataartifact(_114342), -(isa(_114342, c_computerdataartifact))], (3644 ^ _36693) ^ [_90063, _90065] : [directionoftranslation_throughout(_90065, _90063), -(movement_translationevent(_90065))], (1548 ^ _36693) ^ [_53590] : [tptpcol_7_72707(_53590), -(tptpcol_6_71683(_53590))], (5368 ^ _36693) ^ [_146879] : [tptpcol_9_72709(_146879), -(isa(_146879, c_tptpcol_9_72709))], (3316 ^ _36693) ^ [_79450, _79452, _79454] : [-(natargument(f_instancewithrelationtofn(_79454, _79452, _79450), n_3, _79450))], (5300 ^ _36693) ^ [_144437] : [-(uniformresourcelocator(f_urlfn(_144437)))], (5152 ^ _36693) ^ [_139595, _139597] : [subsetof(_139597, _139595), -(setorcollection(_139597))], (590 ^ _36693) ^ [_43136] : [tptpcol_1_1(_43136), tptpcol_1_65536(_43136)], (836 ^ _36693) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (3922 ^ _36693) ^ [_99232, _99234, _99236] : [-(natargument(f_subcollectionofwithrelationtotypefn(_99236, _99234, _99232), n_2, _99234))], (538 ^ _36693) ^ [_42554, _42556] : [tptptypes_7_819(_42556, _42554), -(tptptypes_6_818(_42556, _42554))], (1270 ^ _36693) ^ [_50554] : [tptpcol_16_130924(_50554), -(tptpcol_15_130923(_50554))], (3398 ^ _36693) ^ [_82161] : [isa(_82161, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_82161))], (702 ^ _36693) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (2700 ^ _36693) ^ [_67131, _67133, _67135, _67137] : [-(natfunction(f_relationallexistsfn(_67137, _67135, _67133, _67131), c_relationallexistsfn))], (3506 ^ _36693) ^ [_85585] : [isa(_85585, c_orientationvector), -(orientationvector(_85585))], (4432 ^ _36693) ^ [_116073] : [isa(_116073, c_furpelt), -(furpelt(_116073))], (2566 ^ _36693) ^ [_65481] : [tptpcol_16_130924(_65481), -(isa(_65481, c_tptpcol_16_130924))], (1440 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1562 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (2082 ^ _36693) ^ [_59563] : [footballteam(_59563), -(isa(_59563, c_footballteam))], (910 ^ _36693) ^ [_46620] : [tptpcol_13_22071(_46620), -(tptpcol_12_22055(_46620))], (1874 ^ _36693) ^ [_57129] : [tptpcol_15_26925(_57129), -(tptpcol_14_26921(_57129))], (4 ^ _36693) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (5262 ^ _36693) ^ [_143244, _143246, _143248] : [-(genlinverse(_143244, _143246)), genlinverse(_143248, _143246), genlpreds(_143244, _143248)], (4744 ^ _36693) ^ [_126628] : [tptpcol_11_92230(_126628), -(isa(_126628, c_tptpcol_11_92230))], (1268 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (686 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (1364 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1066 ^ _36693) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (2154 ^ _36693) ^ [_60441] : [isa(_60441, c_tptpcol_15_26925), -(tptpcol_15_26925(_60441))], (5398 ^ _36693) ^ [_147819] : [isa(_147819, c_tptpcol_15_40430), -(tptpcol_15_40430(_147819))], (254 ^ _36693) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (294 ^ _36693) ^ [_39940] : [tptpcol_10_40324(_39940), -(tptpcol_9_40196(_39940))], (1846 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1288 ^ _36693) ^ [_50750] : [tptpcol_16_130933(_50750), -(tptpcol_15_130931(_50750))], (120 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (2554 ^ _36693) ^ [_65335] : [tptpcol_15_130923(_65335), -(isa(_65335, c_tptpcol_15_130923))], (2902 ^ _36693) ^ [_69674] : [isa(_69674, c_tptpcol_16_30972), -(tptpcol_16_30972(_69674))], (1428 ^ _36693) ^ [_52272] : [aspatialinformationstore(_52272), -(aspatialthing(_52272))], (2130 ^ _36693) ^ [_60149] : [isa(_60149, c_tptpcol_7_39939), -(tptpcol_7_39939(_60149))], (3614 ^ _36693) ^ [_89089] : [isa(_89089, c_tptpcol_16_31868), -(tptpcol_16_31868(_89089))], (406 ^ _36693) ^ [_41137] : [-(tptpofobject(_41137, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_41137)], (2610 ^ _36693) ^ [_66032] : [tptpcol_14_26921(_66032), -(isa(_66032, c_tptpcol_14_26921))], (84 ^ _36693) ^ [_37624] : [tptpcol_9_22021(_37624), -(tptpcol_8_22020(_37624))], (4768 ^ _36693) ^ [_127380] : [tptpcol_9_18439(_127380), -(isa(_127380, c_tptpcol_9_18439))], (456 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (3338 ^ _36693) ^ [_80229] : [tptpcol_7_113665(_80229), -(isa(_80229, c_tptpcol_7_113665))], (1400 ^ _36693) ^ [_51944] : [tptpcol_12_109157(_51944), -(tptpcol_11_109125(_51944))], (1674 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (4018 ^ _36693) ^ [_102591, _102593, _102595] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_102595, _102593, _102591), n_3, _102591))], (392 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (3870 ^ _36693) ^ [_97420, _97422] : [tptptypes_7_819(_97422, _97420), -(firstordercollection(_97420))], (1648 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (4058 ^ _36693) ^ [_103974] : [isa(_103974, c_geolevel_3), -(geolevel_3(_103974))], (2750 ^ _36693) ^ [_67827] : [geolevel_1(_67827), -(isa(_67827, c_geolevel_1))], (3132 ^ _36693) ^ [_73058, _73060, _73062] : [-(natfunction(f_subcollectionofwithrelationtofn(_73062, _73060, _73058), c_subcollectionofwithrelationtofn))], (5060 ^ _36693) ^ [_136579] : [tptpcol_13_40421(_136579), -(isa(_136579, c_tptpcol_13_40421))], (1016 ^ _36693) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (3072 ^ _36693) ^ [_71799, _71801] : [objectfoundinlocation(_71801, _71799), -(spatialthing_localized(_71801))], (1918 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (3138 ^ _36693) ^ [_73402, _73404, _73406] : [-(natargument(f_subcollectionofwithrelationtofn(_73406, _73404, _73402), n_3, _73402))], (3912 ^ _36693) ^ [_98802] : [issuingaprescription(_98802), -(isa(_98802, c_issuingaprescription))], (5428 ^ _36693) ^ [_148833, _148835] : [genls(_148835, _148833), -(collection(_148835))], (3750 ^ _36693) ^ [_93566] : [isa(_93566, c_collection), -(collection(_93566))], (5114 ^ _36693) ^ [_138351] : [setorcollection(_138351), -(most(_138351, _138351))], (960 ^ _36693) ^ [_47172] : [isa(_47172, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_47172, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _47172))], (4834 ^ _36693) ^ [_129448] : [isa(_129448, c_location_underspecified), -(location_underspecified(_129448))], (4876 ^ _36693) ^ [_130764] : [partiallyintangibleindividual(_130764), -(isa(_130764, c_partiallyintangibleindividual))], (3684 ^ _36693) ^ [_91346, _91348] : [tptp_8_875(_91348, _91346), -(tptpcol_4_24578(_91346))], (1358 ^ _36693) ^ [_51493] : [tptpcol_2_65537(_51493), -(tptpcol_1_65536(_51493))], (1880 ^ _36693) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (4588 ^ _36693) ^ [_121127] : [tptpcol_3_98305(_121127), -(isa(_121127, c_tptpcol_3_98305))], (4356 ^ _36693) ^ [_113590] : [tptpcol_12_92262(_113590), -(isa(_113590, c_tptpcol_12_92262))], (890 ^ _36693) ^ [_46402] : [tptpcol_5_69635(_46402), -(tptpcol_4_65539(_46402))], (3190 ^ _36693) ^ [_75135, _75137] : [no(_75137, _75135), -(setorcollection(_75135))], (4136 ^ _36693) ^ [_106418] : [mathematicalthing(_106418), -(isa(_106418, c_mathematicalthing))], (2702 ^ _36693) ^ [_67165, _67167, _67169, _67171] : [-(natargument(f_relationallexistsfn(_67171, _67169, _67167, _67165), n_1, _67171))], (4616 ^ _36693) ^ [_122377, _122379, _122381, _122383] : [-(thing(f_relationexistsallfn(_122383, _122381, _122379, _122377)))], (2166 ^ _36693) ^ [_60587] : [isa(_60587, c_tptpcol_16_26926), -(tptpcol_16_26926(_60587))], (3134 ^ _36693) ^ [_73172, _73174, _73176] : [-(natargument(f_subcollectionofwithrelationtofn(_73176, _73174, _73172), n_1, _73176))], (230 ^ _36693) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (830 ^ _36693) ^ [_45749] : [tptpcol_13_18664(_45749), -(tptpcol_12_18663(_45749))], (750 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (1702 ^ _36693) ^ [_55310] : [tptpcol_8_39940(_55310), -(tptpcol_7_39939(_55310))], (796 ^ _36693) ^ [_45389] : [-(tptpofobject(_45389, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_45389)], (374 ^ _36693) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (3672 ^ _36693) ^ [_90956] : [isa(_90956, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_90956))], (3756 ^ _36693) ^ [_93754] : [collection(_93754), -(isa(_93754, c_collection))], (1514 ^ _36693) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1484 ^ _36693) ^ [_52878] : [aspatialinformationstore(_52878), -(intangibleindividual(_52878))], (1426 ^ _36693) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1522 ^ _36693) ^ [_53293] : [shavingrazor_manual(_53293), -(tptp_8_271(f_relationexistsallfn(_53293, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _53293))], (1788 ^ _36693) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (3858 ^ _36693) ^ [_97004, _97006] : [tptptypes_6_818(_97006, _97004), -(firstordercollection(_97004))], (256 ^ _36693) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (4498 ^ _36693) ^ [_118307] : [isa(_118307, c_tptpcol_10_40324), -(tptpcol_10_40324(_118307))], (2588 ^ _36693) ^ [_65757, _65759] : [-(natargument(f_citynamedfn(_65759, _65757), n_2, _65757))], (4630 ^ _36693) ^ [_122910, _122912] : [tptptypes_7_389(_122912, _122910), -(firstordercollection(_122910))], (5174 ^ _36693) ^ [_140328, _140330, _140332] : [-(subsetof(_140328, _140330)), subsetof(_140332, _140330), subsetof(_140328, _140332)], (3596 ^ _36693) ^ [_88525] : [runningshorts(_88525), -(isa(_88525, c_runningshorts))], (794 ^ _36693) ^ [] : [-(individual(c_xskijump_thegame))], (4318 ^ _36693) ^ [_112409] : [tptpcol_10_109061(_112409), -(isa(_112409, c_tptpcol_10_109061))], (2328 ^ _36693) ^ [_62564, _62566] : [tptp_8_271(_62566, _62564), -(tptpcol_5_24579(_62566))], (4726 ^ _36693) ^ [_126064] : [isa(_126064, c_tptpcol_10_92166), -(tptpcol_10_92166(_126064))], (2604 ^ _36693) ^ [_65959] : [isa(_65959, c_tptpcol_14_26921), -(tptpcol_14_26921(_65959))], (1212 ^ _36693) ^ [_49932] : [-(tptp_9_51(f_relationexistsallfn(_49932, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _49932)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_49932, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1010 ^ _36693) ^ [_47709] : [tptpcol_12_118116(_47709), -(tptpcol_11_118084(_47709))], (3934 ^ _36693) ^ [_99750] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_99750), -(isa(_99750, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (872 ^ _36693) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (644 ^ _36693) ^ [_43726] : [-(tptp_9_720(_43726, f_relationallexistsfn(_43726, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_43726)], (1246 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1824 ^ _36693) ^ [_56601] : [tptpcol_14_92264(_56601), -(tptpcol_13_92263(_56601))], (4118 ^ _36693) ^ [_105854] : [isa(_105854, c_tptpcol_13_109173), -(tptpcol_13_109173(_105854))], (4972 ^ _36693) ^ [_133772] : [tptpcol_5_16388(_133772), -(isa(_133772, c_tptpcol_5_16388))], (2836 ^ _36693) ^ [_68871] : [tptpcol_16_92269(_68871), -(isa(_68871, c_tptpcol_16_92269))], (244 ^ _36693) ^ [_39363, _39365, _39367, _39369] : [-(isa(f_relationexistsallfn(_39369, _39365, _39363, _39367), _39363)), isa(_39369, _39367), relationexistsall(_39365, _39363, _39367)], (2542 ^ _36693) ^ [_65189] : [tptpcol_7_92163(_65189), -(isa(_65189, c_tptpcol_7_92163))], (1044 ^ _36693) ^ [_48087] : [tptpcol_16_92269(_48087), -(tptpcol_15_92268(_48087))], (3202 ^ _36693) ^ [_75551, _75553] : [no(_75553, _75551), -(no(_75551, _75553))], (3034 ^ _36693) ^ [_71308, _71310, _71312] : [-(arg1isa(_71312, _71308)), arg1isa(_71312, _71310), genls(_71310, _71308)], (1144 ^ _36693) ^ [_49148] : [physicalorderingpredicate(_49148), -(orderingpredicate(_49148))], (4582 ^ _36693) ^ [_120939] : [isa(_120939, c_tptpcol_3_98305), -(tptpcol_3_98305(_120939))], (354 ^ _36693) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (3982 ^ _36693) ^ [_101254] : [terroristgroup(_101254), -(isa(_101254, c_terroristgroup))], (3566 ^ _36693) ^ [_87545] : [isa(_87545, c_tptpcol_16_29490), -(tptpcol_16_29490(_87545))], (2286 ^ _36693) ^ [_62051] : [isa(_62051, c_tptpcol_12_72775), -(tptpcol_12_72775(_62051))], (494 ^ _36693) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (210 ^ _36693) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (3318 ^ _36693) ^ [_79565, _79567, _79569] : [-(thing(f_instancewithrelationtofn(_79569, _79567, _79565)))], (1192 ^ _36693) ^ [_49710] : [-(hpkb_subnationalagent(_49710)), mtvisible(c_hpkbvocabmt), state_geopolitical(_49710)], (2454 ^ _36693) ^ [_64099] : [isa(_64099, c_tptpcol_6_108546), -(tptpcol_6_108546(_64099))], (1834 ^ _36693) ^ [_56708] : [tptpcol_9_40196(_56708), -(tptpcol_8_39940(_56708))], (4780 ^ _36693) ^ [_127756] : [tptpcol_10_18567(_127756), -(isa(_127756, c_tptpcol_10_18567))], (440 ^ _36693) ^ [_41515] : [setorcollection(_41515), -(mathematicalthing(_41515))], (2310 ^ _36693) ^ [_62343] : [isa(_62343, c_tptpcol_16_25972), -(tptpcol_16_25972(_62343))], (1780 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (2 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (1634 ^ _36693) ^ [_54552] : [tptpcol_8_92164(_54552), -(tptpcol_7_92163(_54552))], (3780 ^ _36693) ^ [_94506] : [tptpcol_8_92164(_94506), -(isa(_94506, c_tptpcol_8_92164))], (3560 ^ _36693) ^ [_87357] : [tptpcol_12_22055(_87357), -(isa(_87357, c_tptpcol_12_22055))], (806 ^ _36693) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (366 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (5282 ^ _36693) ^ [] : [-(mtvisible(c_basekb))], (2706 ^ _36693) ^ [_67235, _67237, _67239, _67241] : [-(natargument(f_relationallexistsfn(_67241, _67239, _67237, _67235), n_3, _67237))], (242 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (3380 ^ _36693) ^ [_81530] : [-(natfunction(f_tptpquantityfn_14(_81530), c_tptpquantityfn_14))], (5042 ^ _36693) ^ [_136015] : [isa(_136015, c_tptpcol_12_40420), -(tptpcol_12_40420(_136015))], (324 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (360 ^ _36693) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (5090 ^ _36693) ^ [_137533, _137535] : [most(_137535, _137533), -(setorcollection(_137533))], (486 ^ _36693) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (3268 ^ _36693) ^ [_77685] : [isa(_77685, c_geographicalregion), -(geographicalregion(_77685))], (4202 ^ _36693) ^ [_108551] : [-(natfunction(f_tptpquantityfn_13(_108551), c_tptpquantityfn_13))], (970 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (2256 ^ _36693) ^ [_61686] : [tptpcol_16_50958(_61686), -(isa(_61686, c_tptpcol_16_50958))], (730 ^ _36693) ^ [_44671] : [tptpcol_8_109059(_44671), -(tptpcol_7_108547(_44671))], (1814 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (2770 ^ _36693) ^ [_68064] : [isa(_68064, c_militaryperson), -(militaryperson(_68064))], (2394 ^ _36693) ^ [_63369] : [isa(_63369, c_tptpcol_8_117763), -(tptpcol_8_117763(_63369))], (202 ^ _36693) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (5340 ^ _36693) ^ [_146020, _146022, _146024] : [-(isa(_146024, _146020)), isa(_146024, _146022), genls(_146022, _146020)], (1018 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1490 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (4906 ^ _36693) ^ [_131704] : [isa(_131704, c_tptpcol_5_20483), -(tptpcol_5_20483(_131704))], (3738 ^ _36693) ^ [_93190] : [isa(_93190, c_aspatialinformationstore), -(aspatialinformationstore(_93190))], (1888 ^ _36693) ^ [_57277] : [tptpcol_7_18437(_57277), -(tptpcol_6_18436(_57277))], (5512 ^ _36693) ^ [_151554, _151556] : [disjointwith(_151556, _151554), -(disjointwith(_151554, _151556))], (2044 ^ _36693) ^ [_59085] : [isa(_59085, c_pushingwithfingers), -(pushingwithfingers(_59085))], (480 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (3608 ^ _36693) ^ [_88901] : [tptpcol_9_118019(_88901), -(isa(_88901, c_tptpcol_9_118019))], (1658 ^ _36693) ^ [_54819, _54821] : [tptptypes_9_824(_54821, _54819), -(tptptypes_8_823(_54821, _54819))], (2128 ^ _36693) ^ [_60125] : [-(tptpquantity(f_tptpquantityfn_2(_60125)))], (2734 ^ _36693) ^ [_67621, _67623, _67625] : [-(arg2isa(_67625, _67621)), arg2isa(_67625, _67623), genls(_67623, _67621)], (2118 ^ _36693) ^ [_60001] : [tptpcol_15_22076(_60001), -(isa(_60001, c_tptpcol_15_22076))], (5256 ^ _36693) ^ [_143022, _143024] : [genlinverse(_143024, _143022), -(binarypredicate(_143024))], (2628 ^ _36693) ^ [_66251] : [isa(_66251, c_tptpcol_16_27189), -(tptpcol_16_27189(_66251))], (5244 ^ _36693) ^ [_142612] : [predicate(_142612), -(genlpreds(_142612, _142612))], (5380 ^ _36693) ^ [_147255] : [tptpcol_10_72710(_147255), -(isa(_147255, c_tptpcol_10_72710))], (4966 ^ _36693) ^ [_133584] : [isa(_133584, c_tptpcol_5_16388), -(tptpcol_5_16388(_133584))], (4172 ^ _36693) ^ [_107546] : [tptpcol_12_18663(_107546), -(isa(_107546, c_tptpcol_12_18663))], (3140 ^ _36693) ^ [_73517, _73519, _73521] : [-(collection(f_subcollectionofwithrelationtofn(_73521, _73519, _73517)))], (2724 ^ _36693) ^ [_67488, _67490, _67492] : [-(arg2isa(_67492, _67488)), arg2isa(_67492, _67490), genls(_67490, _67488)], (4594 ^ _36693) ^ [_121315] : [isa(_121315, c_tptpcol_4_106497), -(tptpcol_4_106497(_121315))], (3292 ^ _36693) ^ [_78523, _78525] : [airporthasiatacode(_78525, _78523), -(airport_physical(_78525))], (5272 ^ _36693) ^ [_143567, _143569, _143571] : [-(genlinverse(_143571, _143567)), genlinverse(_143571, _143569), genlpreds(_143569, _143567)], (4534 ^ _36693) ^ [_119435] : [isa(_119435, c_tptpcol_11_93764), -(tptpcol_11_93764(_119435))], (4184 ^ _36693) ^ [_107956, _107958] : [tptptypes_8_400(_107958, _107956), -(firstordercollection(_107958))], (1328 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (2268 ^ _36693) ^ [_61832] : [tptpcol_6_71683(_61832), -(isa(_61832, c_tptpcol_6_71683))], (5228 ^ _36693) ^ [_142129, _142131, _142133] : [-(genlpreds(_142133, _142129)), genlpreds(_142133, _142131), genlpreds(_142131, _142129)], (5194 ^ _36693) ^ [_140974, _140976, _140978] : [-(subsetof(_140978, _140974)), subsetof(_140978, _140976), subsetof(_140976, _140974)], (3384 ^ _36693) ^ [_81691] : [-(tptpquantity(f_tptpquantityfn_14(_81691)))], (820 ^ _36693) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (430 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (2172 ^ _36693) ^ [_60660] : [tptpcol_16_26926(_60660), -(isa(_60660, c_tptpcol_16_26926))], (36 ^ _36693) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (5002 ^ _36693) ^ [_134712] : [isa(_134712, c_transitivebinarypredicate), -(transitivebinarypredicate(_134712))], (4912 ^ _36693) ^ [_131892] : [tptpcol_5_20483(_131892), -(isa(_131892, c_tptpcol_5_20483))], (14 ^ _36693) ^ [_36838] : [tptpcol_15_40430(_36838), -(tptpcol_14_40429(_36838))], (262 ^ _36693) ^ [_39584] : [tptpcol_4_106497(_39584), -(tptpcol_3_98305(_39584))], (722 ^ _36693) ^ [_44582] : [tptpcol_15_93775(_44582), -(tptpcol_14_93774(_44582))], (4924 ^ _36693) ^ [_132268] : [tptpcol_13_72791(_132268), -(isa(_132268, c_tptpcol_13_72791))], (4900 ^ _36693) ^ [_131516] : [tptpcol_11_22023(_131516), -(isa(_131516, c_tptpcol_11_22023))], (4112 ^ _36693) ^ [_105666] : [tptpcol_12_109157(_105666), -(isa(_105666, c_tptpcol_12_109157))], (3952 ^ _36693) ^ [_100314] : [isa(_100314, c_tptpcol_10_118020), -(tptpcol_10_118020(_100314))], (3924 ^ _36693) ^ [_99347, _99349, _99351] : [-(natargument(f_subcollectionofwithrelationtotypefn(_99351, _99349, _99347), n_3, _99347))], (1062 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1532 ^ _36693) ^ [_53412] : [tptpcol_6_112641(_53412), -(tptpcol_5_110593(_53412))], (760 ^ _36693) ^ [_44997] : [tptpcol_14_93774(_44997), -(tptpcol_13_93766(_44997))], (2346 ^ _36693) ^ [_62785] : [isa(_62785, c_tptpcol_10_93700), -(tptpcol_10_93700(_62785))], (2708 ^ _36693) ^ [_67270, _67272, _67274, _67276] : [-(natargument(f_relationallexistsfn(_67276, _67274, _67272, _67270), n_4, _67270))], (1732 ^ _36693) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (48 ^ _36693) ^ [] : [-(genlpreds(c_subsetof, c_most))], (2968 ^ _36693) ^ [_70487, _70489, _70491] : [relationexistsall(_70491, _70489, _70487), -(collection(_70489))], (3500 ^ _36693) ^ [_85391, _85393] : [orientation(_85393, _85391), -(spatialthing_localized(_85393))], (1686 ^ _36693) ^ [_55128, _55130] : [few(_55130, _55128), -(setorcollection(_55128))], (5302 ^ _36693) ^ [_144516] : [-(natfunction(f_urlreferentfn(_144516), c_urlreferentfn))], (4450 ^ _36693) ^ [_116671, _116673] : [tptpofobject(_116673, _116671), -(partiallytangible(_116673))], (4894 ^ _36693) ^ [_131328] : [isa(_131328, c_tptpcol_11_22023), -(tptpcol_11_22023(_131328))], (2250 ^ _36693) ^ [_61613] : [isa(_61613, c_tptpcol_16_50958), -(tptpcol_16_50958(_61613))], (2126 ^ _36693) ^ [_60099] : [-(natargument(f_tptpquantityfn_2(_60099), n_1, _60099))], (1744 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (3602 ^ _36693) ^ [_88713] : [isa(_88713, c_tptpcol_9_118019), -(tptpcol_9_118019(_88713))], (4660 ^ _36693) ^ [_123950, _123952] : [tptptypes_8_692(_123952, _123950), -(firstordercollection(_123952))], (3440 ^ _36693) ^ [_83477] : [tptpcol_7_108547(_83477), -(isa(_83477, c_tptpcol_7_108547))], (4252 ^ _36693) ^ [_110261] : [isa(_110261, c_tptpcol_6_116738), -(tptpcol_6_116738(_110261))], (3542 ^ _36693) ^ [_86767, _86769] : [tptptypes_7_396(_86769, _86767), -(firstordercollection(_86767))], (2950 ^ _36693) ^ [_70258, _70260] : [tptp_8_968(_70260, _70258), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_70258))], (1746 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1142 ^ _36693) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (684 ^ _36693) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (1180 ^ _36693) ^ [_49574, _49576] : [tptptypes_7_389(_49576, _49574), -(tptptypes_6_388(_49574, _49576))], (2322 ^ _36693) ^ [_62489, _62491] : [tptp_8_271(_62491, _62489), -(razor(_62489))], (5126 ^ _36693) ^ [_138755, _138757, _138759] : [-(most(_138759, _138755)), most(_138759, _138757), subsetof(_138757, _138755)], (864 ^ _36693) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (1616 ^ _36693) ^ [_54350, _54352] : [tptptypes_6_818(_54352, _54350), -(tptptypes_5_802(_54352, _54350))], (1324 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (5328 ^ _36693) ^ [_145590, _145592] : [isa(_145592, _145590), -(thing(_145592))], (1718 ^ _36693) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (4034 ^ _36693) ^ [_103196, _103198] : [prettystring(_103198, _103196), -(controlcharacterfreestring(_103196))], (1476 ^ _36693) ^ [_52789] : [tptpcol_10_93700(_52789), -(tptpcol_9_93699(_52789))], (2842 ^ _36693) ^ [_68944] : [isa(_68944, c_tptpcol_15_109185), -(tptpcol_15_109185(_68944))], (4996 ^ _36693) ^ [_134524] : [tptpcol_9_22021(_134524), -(isa(_134524, c_tptpcol_9_22021))], (4816 ^ _36693) ^ [_128884] : [artsupplies(_128884), -(isa(_128884, c_artsupplies))], (1726 ^ _36693) ^ [_55575] : [tptpcol_15_22076(_55575), -(tptpcol_14_22072(_55575))], (4076 ^ _36693) ^ [_104538] : [tptpcol_4_24578(_104538), -(isa(_104538, c_tptpcol_4_24578))], (2466 ^ _36693) ^ [_64245] : [isa(_64245, c_tptpcol_6_20484), -(tptpcol_6_20484(_64245))], (1456 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (712 ^ _36693) ^ [_44475] : [mathematicalthing(_44475), -(mathematicalorcomputationalthing(_44475))], (1250 ^ _36693) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (348 ^ _36693) ^ [_40514] : [tptpcol_12_92262(_40514), -(tptpcol_11_92230(_40514))], (4220 ^ _36693) ^ [_109236, _109238] : [borderson(_109238, _109236), -(borderson(_109236, _109238))], (3554 ^ _36693) ^ [_87169] : [isa(_87169, c_tptpcol_12_22055), -(tptpcol_12_22055(_87169))], (1294 ^ _36693) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (3280 ^ _36693) ^ [_78046] : [-(natfunction(f_tptpquantityfn_21(_78046), c_tptpquantityfn_21))], (1926 ^ _36693) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (3488 ^ _36693) ^ [_84981] : [tptpcol_16_8886(_84981), -(isa(_84981, c_tptpcol_16_8886))], (1972 ^ _36693) ^ [_58207] : [tptpcol_14_118118(_58207), -(isa(_58207, c_tptpcol_14_118118))], (2032 ^ _36693) ^ [_58939] : [isa(_58939, c_tptpcol_15_4027), -(tptpcol_15_4027(_58939))], (1588 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (4106 ^ _36693) ^ [_105478] : [isa(_105478, c_tptpcol_12_109157), -(tptpcol_12_109157(_105478))], (334 ^ _36693) ^ [] : [-(genls(c_location_underspecified, c_thing))], (92 ^ _36693) ^ [_37713] : [tptpcol_5_16388(_37713), -(tptpcol_4_16387(_37713))], (300 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (1436 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (2190 ^ _36693) ^ [_60879] : [isa(_60879, c_tptpcol_5_90114), -(tptpcol_5_90114(_60879))], (752 ^ _36693) ^ [_44908] : [tptpcol_14_22072(_44908), -(tptpcol_13_22071(_44908))], (4798 ^ _36693) ^ [_128320] : [isa(_128320, c_tptpcol_3_81921), -(tptpcol_3_81921(_128320))], (2214 ^ _36693) ^ [_61175] : [isa(_61175, c_tptpcol_16_72795), -(tptpcol_16_72795(_61175))], (606 ^ _36693) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (2782 ^ _36693) ^ [_68210] : [isa(_68210, c_tptpcol_15_72793), -(tptpcol_15_72793(_68210))], (2622 ^ _36693) ^ [_66178] : [tptpcol_3_65538(_66178), -(isa(_66178, c_tptpcol_3_65538))], (882 ^ _36693) ^ [_46313] : [tptpcol_4_24578(_46313), -(tptpcol_3_16386(_46313))], (638 ^ _36693) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (1336 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (4428 ^ _36693) ^ [_115898] : [-(natargument(f_tptpquantityfn_1(_115898), n_1, _115898))], (20 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (284 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (966 ^ _36693) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3804 ^ _36693) ^ [_95258] : [tptpcol_1_1(_95258), -(isa(_95258, c_tptpcol_1_1))], (934 ^ _36693) ^ [] : [-(genls(c_artsupplies, c_supplies))], (4196 ^ _36693) ^ [_108372, _108374] : [tptptypes_9_401(_108374, _108372), -(firstordercollection(_108374))], (1222 ^ _36693) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (4822 ^ _36693) ^ [_129072] : [isa(_129072, c_enduringthing_localized), -(enduringthing_localized(_129072))], (2560 ^ _36693) ^ [_65408] : [isa(_65408, c_tptpcol_16_130924), -(tptpcol_16_130924(_65408))], (466 ^ _36693) ^ [_41800] : [tptpcol_5_24579(_41800), -(tptpcol_4_24578(_41800))], (5250 ^ _36693) ^ [_142814, _142816] : [genlinverse(_142816, _142814), -(binarypredicate(_142814))], (1390 ^ _36693) ^ [_51837] : [tptpcol_8_117763(_51837), -(tptpcol_7_117762(_51837))], (1238 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (598 ^ _36693) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (3010 ^ _36693) ^ [_71010] : [tptpcol_3_114688(_71010), -(isa(_71010, c_tptpcol_3_114688))], (5146 ^ _36693) ^ [_139387, _139389] : [subsetof(_139389, _139387), -(setorcollection(_139387))], (2974 ^ _36693) ^ [_70566, _70568, _70570] : [relationexistsall(_70570, _70568, _70566), -(binarypredicate(_70570))], (4420 ^ _36693) ^ [_115645] : [spatialthing_nonsituational(_115645), -(inregion(_115645, _115645))], (5582 ^ _36693) ^ [_153846] : [microtheory(_153846), -(genlmt(_153846, _153846))], (5054 ^ _36693) ^ [_136391] : [isa(_136391, c_tptpcol_13_40421), -(tptpcol_13_40421(_136391))], (1204 ^ _36693) ^ [_49843] : [tptpcol_8_22020(_49843), -(tptpcol_7_21508(_49843))], (178 ^ _36693) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (72 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (738 ^ _36693) ^ [_44760] : [tptpcol_14_40429(_44760), -(tptpcol_13_40421(_44760))], (2280 ^ _36693) ^ [_61978] : [tptpcol_11_72774(_61978), -(isa(_61978, c_tptpcol_11_72774))], (332 ^ _36693) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (1158 ^ _36693) ^ [_49312, _49314, _49316, _49318] : [-(isa(f_relationallexistsfn(_49318, _49314, _49316, _49312), _49312)), isa(_49318, _49316), relationallexists(_49314, _49316, _49312)], (1854 ^ _36693) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (5588 ^ _36693) ^ [_154034] : [microtheory(_154034), -(genlmt(_154034, _154034))], (3638 ^ _36693) ^ [_89855, _89857] : [directionoftranslation_throughout(_89857, _89855), -(unitvectorinterval(_89855))], (276 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (5506 ^ _36693) ^ [_151346, _151348] : [disjointwith(_151348, _151346), -(collection(_151348))], (1692 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (3678 ^ _36693) ^ [_91144] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_91144), -(isa(_91144, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (4654 ^ _36693) ^ [_123742, _123744] : [tptptypes_8_692(_123744, _123742), -(firstordercollection(_123742))], (1450 ^ _36693) ^ [_52504] : [tptpcol_11_93764(_52504), -(tptpcol_10_93700(_52504))], (3312 ^ _36693) ^ [_79220, _79222, _79224] : [-(natargument(f_instancewithrelationtofn(_79224, _79222, _79220), n_1, _79224))], (1054 ^ _36693) ^ [_48194, _48196] : [tptptypes_8_823(_48196, _48194), -(tptptypes_7_819(_48196, _48194))], (4558 ^ _36693) ^ [_120187] : [isa(_120187, c_tptpcol_4_114689), -(tptpcol_4_114689(_120187))], (3828 ^ _36693) ^ [_96044, _96046] : [tptptypes_7_691(_96046, _96044), -(firstordercollection(_96046))], (1116 ^ _36693) ^ [_48853] : [enduringthing_localized(_48853), -(spatialthing_nonsituational(_48853))], (3310 ^ _36693) ^ [_79106, _79108, _79110] : [-(natfunction(f_instancewithrelationtofn(_79110, _79108, _79106), c_instancewithrelationtofn))], (4750 ^ _36693) ^ [_126816] : [isa(_126816, c_orderingpredicate), -(orderingpredicate(_126816))], (3946 ^ _36693) ^ [_100126] : [mathematicalorcomputationalthing(_100126), -(isa(_100126, c_mathematicalorcomputationalthing))], (1508 ^ _36693) ^ [_53133] : [tptpcol_9_118019(_53133), -(tptpcol_8_117763(_53133))], (5476 ^ _36693) ^ [_150372] : [isa(_150372, c_partiallytangible), -(partiallytangible(_150372))], (2238 ^ _36693) ^ [_61467] : [isa(_61467, c_tptpcol_15_50957), -(tptpcol_15_50957(_61467))], (2074 ^ _36693) ^ [_59467] : [affiliatedwith(_59467, _59467)], (1082 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (3928 ^ _36693) ^ [_99562] : [isa(_99562, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_99562))], (1482 ^ _36693) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1398 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (4350 ^ _36693) ^ [_113402] : [isa(_113402, c_tptpcol_12_92262), -(tptpcol_12_92262(_113402))], (270 ^ _36693) ^ [_39673] : [tptpcol_5_114690(_39673), -(tptpcol_4_114689(_39673))], (1000 ^ _36693) ^ [_47602] : [tptpcol_9_18439(_47602), -(tptpcol_8_18438(_47602))], (1284 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (4040 ^ _36693) ^ [_103404, _103406] : [prettystring(_103406, _103404), -(thing(_103406))], (454 ^ _36693) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (668 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (1466 ^ _36693) ^ [_52682] : [tptpcol_4_90113(_52682), -(tptpcol_3_81921(_52682))], (128 ^ _36693) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (1458 ^ _36693) ^ [_52593] : [tptpcol_6_26627(_52593), -(tptpcol_5_24579(_52593))], (1546 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (844 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (4166 ^ _36693) ^ [_107358] : [isa(_107358, c_tptpcol_12_18663), -(tptpcol_12_18663(_107358))], (3022 ^ _36693) ^ [_71158, _71160] : [arg1isa(_71160, _71158), -(collection(_71158))], (1006 ^ _36693) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (172 ^ _36693) ^ [_38579] : [tptpcol_10_18567(_38579), -(tptpcol_9_18439(_38579))], (2418 ^ _36693) ^ [_63661] : [isa(_63661, c_tptpcol_6_18436), -(tptpcol_6_18436(_63661))], (432 ^ _36693) ^ [_41426] : [tptpcol_12_18663(_41426), -(tptpcol_11_18631(_41426))], (30 ^ _36693) ^ [_37016] : [inanimateobject(_37016), -(partiallytangible(_37016))], (342 ^ _36693) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (1734 ^ _36693) ^ [_55664] : [tptpcol_0_0(_55664), -(individual(_55664))], (3228 ^ _36693) ^ [_76421, _76423, _76425] : [-(no(_76421, _76423)), no(_76425, _76423), genls(_76421, _76425)], (4064 ^ _36693) ^ [_104162] : [geolevel_3(_104162), -(isa(_104162, c_geolevel_3))], (1966 ^ _36693) ^ [_58134] : [isa(_58134, c_tptpcol_14_118118), -(tptpcol_14_118118(_58134))], (3690 ^ _36693) ^ [_91554, _91556] : [tptp_8_875(_91556, _91554), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_91556))], (1996 ^ _36693) ^ [_58501] : [isa(_58501, c_tptpcol_16_62187), -(tptpcol_16_62187(_58501))], (4870 ^ _36693) ^ [_130576] : [isa(_130576, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_130576))], (3410 ^ _36693) ^ [_82537] : [isa(_82537, c_tptpcol_13_22071), -(tptpcol_13_22071(_82537))], (1934 ^ _36693) ^ [_57780] : [-(tptpofobject(_57780, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_57780)], (1516 ^ _36693) ^ [_53222] : [individual(_53222), -(trajector_underspecified(_53222))], (98 ^ _36693) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (858 ^ _36693) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (4852 ^ _36693) ^ [_130012] : [trajector_underspecified(_130012), -(isa(_130012, c_trajector_underspecified))], (4858 ^ _36693) ^ [_130200] : [isa(_130200, c_individual), -(individual(_130200))], (4088 ^ _36693) ^ [_104914] : [tptpcol_5_24579(_104914), -(isa(_104914, c_tptpcol_5_24579))], (4846 ^ _36693) ^ [_129824] : [isa(_129824, c_trajector_underspecified), -(trajector_underspecified(_129824))], (2884 ^ _36693) ^ [_69455] : [tptpcol_8_18438(_69455), -(isa(_69455, c_tptpcol_8_18438))], (3344 ^ _36693) ^ [_80417] : [isa(_80417, c_artifact), -(artifact(_80417))], (4082 ^ _36693) ^ [_104726] : [isa(_104726, c_tptpcol_5_24579), -(tptpcol_5_24579(_104726))], (846 ^ _36693) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (562 ^ _36693) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (1604 ^ _36693) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1952 ^ _36693) ^ [_57974] : [tptpcol_10_92166(_57974), -(tptpcol_9_92165(_57974))], (2100 ^ _36693) ^ [_59782] : [isa(_59782, c_pushingwithopenhand), -(pushingwithopenhand(_59782))], (3110 ^ _36693) ^ [_72374, _72376, _72378] : [-(objectfoundinlocation(_72378, _72374)), objectfoundinlocation(_72378, _72376), subregions(_72374, _72376)], (4614 ^ _36693) ^ [_122245, _122247, _122249, _122251] : [-(natargument(f_relationexistsallfn(_122251, _122249, _122247, _122245), n_4, _122245))], (1028 ^ _36693) ^ [_47905, _47907] : [most(_47907, _47905), -(setorcollection(_47907))], (3028 ^ _36693) ^ [_71233, _71235] : [arg1isa(_71235, _71233), -(relation(_71235))], (4312 ^ _36693) ^ [_112221] : [isa(_112221, c_tptpcol_10_109061), -(tptpcol_10_109061(_112221))], (1760 ^ _36693) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (56 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (416 ^ _36693) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (1700 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1872 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (2400 ^ _36693) ^ [_63442] : [tptpcol_8_117763(_63442), -(isa(_63442, c_tptpcol_8_117763))], (4708 ^ _36693) ^ [_125500] : [tptpcol_1_65536(_125500), -(isa(_125500, c_tptpcol_1_65536))], (880 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (1136 ^ _36693) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (3284 ^ _36693) ^ [_78207] : [-(tptpquantity(f_tptpquantityfn_21(_78207)))], (2448 ^ _36693) ^ [_64026] : [tptpcol_11_109125(_64026), -(isa(_64026, c_tptpcol_11_109125))], (1128 ^ _36693) ^ [] : [-(disjointwith(c_collection, c_individual))], (4786 ^ _36693) ^ [_127944] : [isa(_127944, c_tptpcol_2_65537), -(tptpcol_2_65537(_127944))], (2008 ^ _36693) ^ [_58647] : [isa(_58647, c_tptpcol_13_92263), -(tptpcol_13_92263(_58647))], (4022 ^ _36693) ^ [_102806] : [isa(_102806, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_102806))], (5566 ^ _36693) ^ [_153329, _153331] : [genlmt(_153331, _153329), -(microtheory(_153331))], (394 ^ _36693) ^ [_41007] : [tptpcol_15_92268(_41007), -(tptpcol_14_92264(_41007))], (5548 ^ _36693) ^ [_152705, _152707] : [genlmt(_152707, _152705), -(microtheory(_152705))], (900 ^ _36693) ^ [] : [-(arg1isa(c_genls, c_collection))], (1768 ^ _36693) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1092 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (3320 ^ _36693) ^ [_79665] : [isa(_79665, c_tptpcol_6_112641), -(tptpcol_6_112641(_79665))], (258 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (1042 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1624 ^ _36693) ^ [_54445] : [tptpcol_6_92162(_54445), -(tptpcol_5_90114(_54445))], (4636 ^ _36693) ^ [_123118, _123120] : [tptptypes_7_389(_123120, _123118), -(firstordercollection(_123120))], (2872 ^ _36693) ^ [_69309] : [tptpcol_12_118116(_69309), -(isa(_69309, c_tptpcol_12_118116))], (368 ^ _36693) ^ [_40716] : [tptpcol_10_109061(_40716), -(tptpcol_9_109060(_40716))], (4258 ^ _36693) ^ [_110449] : [tptpcol_6_116738(_110449), -(isa(_110449, c_tptpcol_6_116738))], (2026 ^ _36693) ^ [_58866] : [geolevel_4(_58866), -(isa(_58866, c_geolevel_4))], (344 ^ _36693) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (4480 ^ _36693) ^ [_117743] : [tptpcol_13_93766(_117743), -(isa(_117743, c_tptpcol_13_93766))], (3274 ^ _36693) ^ [_77873] : [geographicalregion(_77873), -(isa(_77873, c_geographicalregion))], (4438 ^ _36693) ^ [_116261] : [furpelt(_116261), -(isa(_116261, c_furpelt))], (5554 ^ _36693) ^ [_152913, _152915] : [genlmt(_152915, _152913), -(microtheory(_152913))], (4516 ^ _36693) ^ [_118871] : [tptpcol_7_72707(_118871), -(isa(_118871, c_tptpcol_7_72707))], (1580 ^ _36693) ^ [_53946] : [tptpcol_6_71683(_53946), -(tptpcol_5_69635(_53946))], (38 ^ _36693) ^ [_37105, _37107, _37109] : [-(genlpreds(_37109, _37105)), genlinverse(_37109, _37107), genlinverse(_37107, _37105)], (3726 ^ _36693) ^ [_92814] : [isa(_92814, c_pushingababycarriage), -(pushingababycarriage(_92814))], (5386 ^ _36693) ^ [_147443] : [isa(_147443, c_tptpcol_14_40429), -(tptpcol_14_40429(_147443))], (1740 ^ _36693) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (5296 ^ _36693) ^ [_144276] : [-(natfunction(f_urlfn(_144276), c_urlfn))], (1858 ^ _36693) ^ [_56963] : [tptpcol_5_90114(_56963), -(tptpcol_4_90113(_56963))], (2038 ^ _36693) ^ [_59012] : [tptpcol_15_4027(_59012), -(isa(_59012, c_tptpcol_15_4027))], (866 ^ _36693) ^ [_46129] : [geographicalregion(_46129), -(partiallytangible(_46129))], (1376 ^ _36693) ^ [_51689] : [tptpcol_8_18438(_51689), -(tptpcol_7_18437(_51689))], (3762 ^ _36693) ^ [_93942] : [isa(_93942, c_fixedordercollection), -(fixedordercollection(_93942))], (596 ^ _36693) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (518 ^ _36693) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (5308 ^ _36693) ^ [_144770, _144772] : [-(natfunction(f_contentmtofcdafromeventfn(_144772, _144770), c_contentmtofcdafromeventfn))], (4228 ^ _36693) ^ [_109509] : [isa(_109509, c_tptpcol_14_92264), -(tptpcol_14_92264(_109509))], (4960 ^ _36693) ^ [_133396] : [tptpcol_4_16387(_133396), -(isa(_133396, c_tptpcol_4_16387))], (5312 ^ _36693) ^ [_144965, _144967] : [-(natargument(f_contentmtofcdafromeventfn(_144967, _144965), n_2, _144965))], (622 ^ _36693) ^ [] : [mtvisible(c_tptp_member2610_mt), -(relationallexists(c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))], (1900 ^ _36693) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (554 ^ _36693) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (2920 ^ _36693) ^ [_69893] : [tptpcol_14_109181(_69893), -(isa(_69893, c_tptpcol_14_109181))], (2860 ^ _36693) ^ [_69163] : [tptpcol_6_26627(_69163), -(isa(_69163, c_tptpcol_6_26627))], (1772 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (5158 ^ _36693) ^ [_139817, _139819, _139821] : [-(subsetof(_139821, _139817)), subsetof(_139821, _139819), subsetof(_139819, _139817)], (774 ^ _36693) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (4888 ^ _36693) ^ [_131140] : [tptpcol_10_22022(_131140), -(isa(_131140, c_tptpcol_10_22022))], (150 ^ _36693) ^ [_38342] : [partiallytangible(_38342), -(enduringthing_localized(_38342))], (896 ^ _36693) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3882 ^ _36693) ^ [_97822] : [isa(_97822, c_correctivelensprescription), -(correctivelensprescription(_97822))], (4942 ^ _36693) ^ [_132832] : [isa(_132832, c_ridgeline_topographical), -(ridgeline_topographical(_132832))], (1474 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (768 ^ _36693) ^ [_45086] : [tptpcol_10_22022(_45086), -(tptpcol_9_22021(_45086))], (4374 ^ _36693) ^ [_114154] : [isa(_114154, c_computerdataartifact), -(computerdataartifact(_114154))], (3304 ^ _36693) ^ [_78905] : [airport_physical(_78905), -(isa(_78905, c_airport_physical))], (3810 ^ _36693) ^ [_95446] : [isa(_95446, c_tptpcol_2_2), -(tptpcol_2_2(_95446))], (2938 ^ _36693) ^ [_70112] : [isa(_70112, c_tptpcol_16_7738), -(tptpcol_16_7738(_70112))], (240 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (438 ^ _36693) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (4672 ^ _36693) ^ [_124366, _124368] : [tptptypes_9_693(_124368, _124366), -(firstordercollection(_124368))], (1668 ^ _36693) ^ [_54932] : [tptpcol_11_26887(_54932), -(tptpcol_10_26886(_54932))], (2050 ^ _36693) ^ [_59158] : [pushingwithfingers(_59158), -(isa(_59158, c_pushingwithfingers))], (4270 ^ _36693) ^ [_110859, _110861] : [tptptypes_5_387(_110861, _110859), -(firstordercollection(_110861))], (662 ^ _36693) ^ [_43930] : [individual(_43930), setorcollection(_43930)], (4690 ^ _36693) ^ [_124936] : [isa(_124936, c_marriagelicensedocument), -(marriagelicensedocument(_124936))], (1356 ^ _36693) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (4344 ^ _36693) ^ [_113214] : [navypersonnel(_113214), -(isa(_113214, c_navypersonnel))], (4828 ^ _36693) ^ [_129260] : [enduringthing_localized(_129260), -(isa(_129260, c_enduringthing_localized))], (4014 ^ _36693) ^ [_102361, _102363, _102365] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_102365, _102363, _102361), n_1, _102365))], (3326 ^ _36693) ^ [_79853] : [tptpcol_6_112641(_79853), -(isa(_79853, c_tptpcol_6_112641))], (1170 ^ _36693) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (3238 ^ _36693) ^ [_76744, _76746, _76748] : [-(no(_76748, _76744)), no(_76748, _76746), genls(_76744, _76746)], (1754 ^ _36693) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (78 ^ _36693) ^ [] : [-(transitivebinarypredicate(c_genls))], (2160 ^ _36693) ^ [_60514] : [tptpcol_15_26925(_60514), -(isa(_60514, c_tptpcol_15_26925))], (4474 ^ _36693) ^ [_117555] : [isa(_117555, c_tptpcol_13_93766), -(tptpcol_13_93766(_117555))], (362 ^ _36693) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (3518 ^ _36693) ^ [_85961] : [isa(_85961, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_85961))], (3142 ^ _36693) ^ [_73617] : [isa(_73617, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73617))], (3548 ^ _36693) ^ [_86975, _86977] : [tptptypes_7_396(_86977, _86975), -(firstordercollection(_86977))], (918 ^ _36693) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (2572 ^ _36693) ^ [_65554] : [isa(_65554, c_intangibleindividual), -(intangibleindividual(_65554))], (5538 ^ _36693) ^ [_152410, _152412] : [-(mtvisible(_152410)), mtvisible(_152412), genlmt(_152412, _152410)], (422 ^ _36693) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (3458 ^ _36693) ^ [_84041] : [isa(_84041, c_tptpcol_14_93774), -(tptpcol_14_93774(_84041))], (838 ^ _36693) ^ [_45838] : [artifact(_45838), -(inanimateobject_nonnatural(_45838))], (2944 ^ _36693) ^ [_70185] : [tptpcol_16_7738(_70185), -(isa(_70185, c_tptpcol_16_7738))], (2682 ^ _36693) ^ [_66912] : [hpkb_subnationalagent(_66912), -(isa(_66912, c_hpkb_subnationalagent))], (4714 ^ _36693) ^ [_125688] : [isa(_125688, c_tptpcol_2_98304), -(tptpcol_2_98304(_125688))], (5404 ^ _36693) ^ [_148007] : [tptpcol_15_40430(_148007), -(isa(_148007, c_tptpcol_15_40430))], (1498 ^ _36693) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (3374 ^ _36693) ^ [_81357] : [firstordercollection(_81357), -(isa(_81357, c_firstordercollection))], (3590 ^ _36693) ^ [_88337] : [isa(_88337, c_runningshorts), -(runningshorts(_88337))], (1052 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (2664 ^ _36693) ^ [_66693] : [isa(_66693, c_tptpcol_7_21508), -(tptpcol_7_21508(_66693))], (4648 ^ _36693) ^ [_123534, _123536] : [tptptypes_8_390(_123536, _123534), -(firstordercollection(_123536))], (1598 ^ _36693) ^ [_54148] : [tptpcol_9_26885(_54148), -(tptpcol_8_26629(_54148))], (1912 ^ _36693) ^ [_57531] : [tptpcol_5_110593(_57531), -(tptpcol_4_106497(_57531))], (4404 ^ _36693) ^ [_115128, _115130] : [inregion(_115130, _115128), -(spatialthing_nonsituational(_115130))], (2992 ^ _36693) ^ [_70791] : [isa(_70791, c_tptpcol_8_26629), -(tptpcol_8_26629(_70791))], (4330 ^ _36693) ^ [_112785] : [executionbyfiringsquad(_112785), -(isa(_112785, c_executionbyfiringsquad))], (4276 ^ _36693) ^ [_111067, _111069] : [tptptypes_6_388(_111069, _111067), -(firstordercollection(_111067))], (5434 ^ _36693) ^ [_149055, _149057, _149059] : [-(genls(_149059, _149055)), genls(_149059, _149057), genls(_149057, _149055)], (1172 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1816 ^ _36693) ^ [_56512] : [tptpcol_13_26920(_56512), -(tptpcol_12_26919(_56512))], (138 ^ _36693) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (1326 ^ _36693) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (3894 ^ _36693) ^ [_98212, _98214] : [products(_98214, _98212), -(artifact(_98212))], (4774 ^ _36693) ^ [_127568] : [isa(_127568, c_tptpcol_10_18567), -(tptpcol_10_18567(_127568))], (2220 ^ _36693) ^ [_61248] : [tptpcol_16_72795(_61248), -(isa(_61248, c_tptpcol_16_72795))], (302 ^ _36693) ^ [_40029] : [tptpcol_13_93766(_40029), -(tptpcol_12_93765(_40029))], (1774 ^ _36693) ^ [_56068] : [tptpcol_7_21508(_56068), -(tptpcol_6_20484(_56068))], (4226 ^ _36693) ^ [_109416] : [borderson(_109416, _109416)], (530 ^ _36693) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (2412 ^ _36693) ^ [_63588] : [tptpcol_7_18437(_63588), -(isa(_63588, c_tptpcol_7_18437))], (5334 ^ _36693) ^ [_145798, _145800] : [isa(_145800, _145798), -(thing(_145800))], (4300 ^ _36693) ^ [_111845] : [isa(_111845, c_tptpcol_9_109060), -(tptpcol_9_109060(_111845))], (1766 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (268 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (3476 ^ _36693) ^ [_84605] : [tptpcol_15_93775(_84605), -(isa(_84605, c_tptpcol_15_93775))], (766 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (3248 ^ _36693) ^ [_77067, _77069, _77071] : [-(no(_77067, _77069)), no(_77071, _77069), subsetof(_77067, _77071)], (1808 ^ _36693) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (5416 ^ _36693) ^ [_148417, _148419] : [genls(_148419, _148417), -(collection(_148417))], (3650 ^ _36693) ^ [_90285, _90287, _90289] : [-(directionoftranslation_throughout(_90285, _90287)), directionoftranslation_throughout(_90289, _90287), subevents(_90289, _90285)], (996 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (1312 ^ _36693) ^ [_51006] : [tptpcol_6_20484(_51006), -(tptpcol_5_20483(_51006))], (3148 ^ _36693) ^ [_73805] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_73805), -(isa(_73805, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (696 ^ _36693) ^ [_44309] : [tptpcol_11_18631(_44309), -(tptpcol_10_18567(_44309))], (4642 ^ _36693) ^ [_123326, _123328] : [tptptypes_8_390(_123328, _123326), -(firstordercollection(_123326))], (678 ^ _36693) ^ [_44107] : [applicationcontext(_44107), -(microtheory(_44107))], (4678 ^ _36693) ^ [_124560] : [isa(_124560, c_tptpcol_11_40388), -(tptpcol_11_40388(_124560))], (1556 ^ _36693) ^ [_53679] : [tptpcol_16_50958(_53679), -(tptpcol_15_50957(_53679))], (1676 ^ _36693) ^ [_55021] : [tptpcol_16_26926(_55021), -(tptpcol_15_26925(_55021))], (2334 ^ _36693) ^ [_62639] : [isa(_62639, c_tptpcol_4_90113), -(tptpcol_4_90113(_62639))], (4282 ^ _36693) ^ [_111275, _111277] : [tptptypes_6_388(_111277, _111275), -(firstordercollection(_111277))], (2670 ^ _36693) ^ [_66766] : [tptpcol_7_21508(_66766), -(isa(_66766, c_tptpcol_7_21508))], (2430 ^ _36693) ^ [_63807] : [isa(_63807, c_tptpcol_8_93698), -(tptpcol_8_93698(_63807))], (4606 ^ _36693) ^ [_121718, _121720, _121722, _121724] : [-(natfunction(f_relationexistsallfn(_121724, _121722, _121720, _121718), c_relationexistsallfn))], (4462 ^ _36693) ^ [_117123, _117125, _117127] : [relationallinstance(_117127, _117125, _117123), -(collection(_117125))], (1338 ^ _36693) ^ [_51279] : [tptpcol_11_109125(_51279), -(tptpcol_10_109061(_51279))], (4386 ^ _36693) ^ [_114530] : [isa(_114530, c_applicationcontext), -(applicationcontext(_114530))], (728 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (5560 ^ _36693) ^ [_153121, _153123] : [genlmt(_153123, _153121), -(microtheory(_153123))], (2088 ^ _36693) ^ [_59636] : [isa(_59636, c_tptpcol_16_4451), -(tptpcol_16_4451(_59636))], (3572 ^ _36693) ^ [_87733] : [tptpcol_16_29490(_87733), -(isa(_87733, c_tptpcol_16_29490))], (4052 ^ _36693) ^ [_103786] : [tptpcol_0_0(_103786), -(isa(_103786, c_tptpcol_0_0))], (504 ^ _36693) ^ [_42191, _42193] : [geographicalsubregions(_42193, _42191), -(inregion(_42191, _42193))], (520 ^ _36693) ^ [_42375] : [mathematicalorcomputationalthing(_42375), -(intangible(_42375))], (3368 ^ _36693) ^ [_81169] : [isa(_81169, c_firstordercollection), -(firstordercollection(_81169))], (180 ^ _36693) ^ [_38668] : [orderingpredicate(_38668), -(transitivebinarypredicate(_38668))], (1684 ^ _36693) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1348 ^ _36693) ^ [_51386] : [tptpcol_8_93698(_51386), -(tptpcol_7_93186(_51386))], (782 ^ _36693) ^ [] : [-(transitivebinarypredicate(c_inregion))], (3282 ^ _36693) ^ [_78126] : [-(natargument(f_tptpquantityfn_21(_78126), n_1, _78126))], (232 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (1448 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (944 ^ _36693) ^ [_46994] : [tptpcol_8_26629(_46994), -(tptpcol_7_26628(_46994))], (1374 ^ _36693) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (186 ^ _36693) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (336 ^ _36693) ^ [_40389] : [location_underspecified(_40389), -(thing(_40389))], (1596 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (3446 ^ _36693) ^ [_83665] : [isa(_83665, c_tptpcol_8_109059), -(tptpcol_8_109059(_83665))], (988 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (1026 ^ _36693) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (3314 ^ _36693) ^ [_79335, _79337, _79339] : [-(natargument(f_instancewithrelationtofn(_79339, _79337, _79335), n_2, _79337))], (1434 ^ _36693) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1020 ^ _36693) ^ [_47816] : [tptpcol_7_26628(_47816), -(tptpcol_6_26627(_47816))], (2616 ^ _36693) ^ [_66105] : [isa(_66105, c_tptpcol_3_65538), -(tptpcol_3_65538(_66105))], (1980 ^ _36693) ^ [_58305] : [-(natargument(f_tptpquantityfn_6(_58305), n_1, _58305))], (654 ^ _36693) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (4410 ^ _36693) ^ [_115350, _115352, _115354] : [-(inregion(_115354, _115350)), inregion(_115354, _115352), inregion(_115352, _115350)], (4190 ^ _36693) ^ [_108164, _108166] : [tptptypes_9_401(_108166, _108164), -(firstordercollection(_108164))], (4160 ^ _36693) ^ [_107170] : [tptpcol_11_18631(_107170), -(isa(_107170, c_tptpcol_11_18631))], (1554 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1252 ^ _36693) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (2208 ^ _36693) ^ [_61100, _61102] : [tptptypes_5_802(_61102, _61100), -(firstordercollection(_61102))], (3004 ^ _36693) ^ [_70937] : [isa(_70937, c_tptpcol_3_114688), -(tptpcol_3_114688(_70937))], (5184 ^ _36693) ^ [_140651, _140653, _140655] : [-(subsetof(_140655, _140651)), subsetof(_140655, _140653), subsetof(_140653, _140651)], (2998 ^ _36693) ^ [_70864] : [tptpcol_8_26629(_70864), -(isa(_70864, c_tptpcol_8_26629))], (1278 ^ _36693) ^ [_50643] : [tptpcol_7_92163(_50643), -(tptpcol_6_92162(_50643))], (3864 ^ _36693) ^ [_97212, _97214] : [tptptypes_6_818(_97214, _97212), -(firstordercollection(_97214))], (2854 ^ _36693) ^ [_69090] : [isa(_69090, c_tptpcol_6_26627), -(tptpcol_6_26627(_69090))], (1086 ^ _36693) ^ [_48527] : [tptpcol_15_72793(_48527), -(tptpcol_14_72792(_48527))], (3016 ^ _36693) ^ [_71083] : [-(natfunction(f_contextofpcwfn(_71083), c_contextofpcwfn))], (4094 ^ _36693) ^ [_105102] : [isa(_105102, c_tptpcol_5_106498), -(tptpcol_5_106498(_105102))], (2472 ^ _36693) ^ [_64318] : [tptpcol_6_20484(_64318), -(isa(_64318, c_tptpcol_6_20484))], (2586 ^ _36693) ^ [_65728, _65730] : [-(natargument(f_citynamedfn(_65730, _65728), n_1, _65730))], (2232 ^ _36693) ^ [_61394] : [tptpcol_8_114177(_61394), -(isa(_61394, c_tptpcol_8_114177))], (502 ^ _36693) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (1950 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (4930 ^ _36693) ^ [_132456] : [isa(_132456, c_tptpcol_14_72792), -(tptpcol_14_72792(_132456))], (3696 ^ _36693) ^ [_91776, _91778, _91780] : [relationallexists(_91780, _91778, _91776), -(collection(_91776))], (2502 ^ _36693) ^ [_64691, _64693, _64695] : [-(few(_64695, _64691)), few(_64695, _64693), subsetof(_64691, _64693)], (2382 ^ _36693) ^ [_63223] : [isa(_63223, c_tptpcol_7_117762), -(tptpcol_7_117762(_63223))], (1708 ^ _36693) ^ [_55381] : [-(tptpofobject(_55381, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_55381)], (4948 ^ _36693) ^ [_133020] : [ridgeline_topographical(_133020), -(isa(_133020, c_ridgeline_topographical))], (4240 ^ _36693) ^ [_109885] : [isa(_109885, c_tptpcol_15_92268), -(tptpcol_15_92268(_109885))], (5362 ^ _36693) ^ [_146691] : [isa(_146691, c_tptpcol_9_72709), -(tptpcol_9_72709(_146691))], (3286 ^ _36693) ^ [_78315, _78317] : [airporthasiatacode(_78317, _78315), -(stringoflengthfn3(_78315))], (1276 ^ _36693) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (3530 ^ _36693) ^ [_86351, _86353] : [tptptypes_9_824(_86353, _86351), -(firstordercollection(_86351))], (2866 ^ _36693) ^ [_69236] : [isa(_69236, c_tptpcol_12_118116), -(tptpcol_12_118116(_69236))], (4426 ^ _36693) ^ [_115818] : [-(natfunction(f_tptpquantityfn_1(_115818), c_tptpquantityfn_1))], (1564 ^ _36693) ^ [_53768] : [tptpcol_8_114177(_53768), -(tptpcol_7_113665(_53768))], (1074 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (2106 ^ _36693) ^ [_59855] : [pushingwithopenhand(_59855), -(isa(_59855, c_pushingwithopenhand))], (3404 ^ _36693) ^ [_82349] : [inanimateobject_nonnatural(_82349), -(isa(_82349, c_inanimateobject_nonnatural))], (5014 ^ _36693) ^ [_135102, _135104] : [geographicalsubregions(_135104, _135102), -(geographicalregion(_135102))], (2592 ^ _36693) ^ [_65813] : [isa(_65813, c_tptpcol_13_26920), -(tptpcol_13_26920(_65813))], (564 ^ _36693) ^ [_42851] : [tptpcol_2_2(_42851), -(tptpcol_1_1(_42851))], (2764 ^ _36693) ^ [_67991] : [spatialthing_nonsituational(_67991), -(isa(_67991, c_spatialthing_nonsituational))], (4468 ^ _36693) ^ [_117353, _117355, _117357] : [relationallinstance(_117357, _117355, _117353), -(binarypredicate(_117357))], (2262 ^ _36693) ^ [_61759] : [isa(_61759, c_tptpcol_6_71683), -(tptpcol_6_71683(_61759))], (3332 ^ _36693) ^ [_80041] : [isa(_80041, c_tptpcol_7_113665), -(tptpcol_7_113665(_80041))], (474 ^ _36693) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (3768 ^ _36693) ^ [_94130] : [fixedordercollection(_94130), -(isa(_94130, c_fixedordercollection))], (278 ^ _36693) ^ [_39762] : [tptpcol_12_93765(_39762), -(tptpcol_11_93764(_39762))], (1960 ^ _36693) ^ [_58063] : [tptpcol_14_118118(_58063), -(tptpcol_13_118117(_58063))], (1894 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (3470 ^ _36693) ^ [_84417] : [isa(_84417, c_tptpcol_15_93775), -(tptpcol_15_93775(_84417))], (3702 ^ _36693) ^ [_92006, _92008, _92010] : [relationallexists(_92010, _92008, _92006), -(collection(_92008))], (3744 ^ _36693) ^ [_93378] : [aspatialinformationstore(_93378), -(isa(_93378, c_aspatialinformationstore))], (140 ^ _36693) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (5356 ^ _36693) ^ [_146503] : [inanimateobject(_146503), -(isa(_146503, c_inanimateobject))], (3906 ^ _36693) ^ [_98614] : [isa(_98614, c_issuingaprescription), -(issuingaprescription(_98614))], (3184 ^ _36693) ^ [_74933] : [tptpcol_3_16386(_74933), -(isa(_74933, c_tptpcol_3_16386))], (4864 ^ _36693) ^ [_130388] : [individual(_130388), -(isa(_130388, c_individual))], (3578 ^ _36693) ^ [_87935, _87937] : [tptp_9_720(_87937, _87935), -(tptpcol_5_28674(_87935))], (2694 ^ _36693) ^ [_67058] : [state_geopolitical(_67058), -(isa(_67058, c_state_geopolitical))], (2688 ^ _36693) ^ [_66985] : [isa(_66985, c_state_geopolitical), -(state_geopolitical(_66985))], (1368 ^ _36693) ^ [_51600] : [tptpcol_6_18436(_51600), -(tptpcol_5_16388(_51600))], (4882 ^ _36693) ^ [_130952] : [isa(_130952, c_tptpcol_10_22022), -(tptpcol_10_22022(_130952))], (1528 ^ _36693) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (5306 ^ _36693) ^ [_144677] : [-(computerdataartifact(f_urlreferentfn(_144677)))], (3088 ^ _36693) ^ [_72016] : [objectfoundinlocation(_72016, _72016)], (588 ^ _36693) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (2298 ^ _36693) ^ [_62197] : [isa(_62197, c_tptpcol_5_110593), -(tptpcol_5_110593(_62197))], (2068 ^ _36693) ^ [_59381, _59383] : [affiliatedwith(_59383, _59381), -(affiliatedwith(_59381, _59383))], (3720 ^ _36693) ^ [_92626] : [tptpcol_16_10258(_92626), -(isa(_92626, c_tptpcol_16_10258))], (4804 ^ _36693) ^ [_128508] : [tptpcol_3_81921(_128508), -(isa(_128508, c_tptpcol_3_81921))], (1640 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (196 ^ _36693) ^ [_38846] : [tptpcol_2_98304(_38846), -(tptpcol_1_65536(_38846))], (4430 ^ _36693) ^ [_115979] : [-(tptpquantity(f_tptpquantityfn_1(_115979)))], (4984 ^ _36693) ^ [_134148] : [tptpcol_8_22020(_134148), -(isa(_134148, c_tptpcol_8_22020))], (4362 ^ _36693) ^ [_113778] : [isa(_113778, c_thing), -(thing(_113778))], (636 ^ _36693) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (1036 ^ _36693) ^ [_47998] : [tptpcol_15_109185(_47998), -(tptpcol_14_109181(_47998))], (936 ^ _36693) ^ [_46905] : [artsupplies(_46905), -(supplies(_46905))], (1178 ^ _36693) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (4288 ^ _36693) ^ [_111469] : [isa(_111469, c_shavingrazor_manual), -(shavingrazor_manual(_111469))], (286 ^ _36693) ^ [_39851] : [tptpcol_8_72708(_39851), -(tptpcol_7_72707(_39851))], (2926 ^ _36693) ^ [_69966] : [isa(_69966, c_physicalorderingpredicate), -(physicalorderingpredicate(_69966))], (472 ^ _36693) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (1464 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (4528 ^ _36693) ^ [_119247] : [tptpcol_8_72708(_119247), -(isa(_119247, c_tptpcol_8_72708))], (968 ^ _36693) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (5238 ^ _36693) ^ [_142424] : [predicate(_142424), -(genlpreds(_142424, _142424))], (2014 ^ _36693) ^ [_58720] : [tptpcol_13_92263(_58720), -(isa(_58720, c_tptpcol_13_92263))], (2878 ^ _36693) ^ [_69382] : [isa(_69382, c_tptpcol_8_18438), -(tptpcol_8_18438(_69382))], (5284 ^ _36693) ^ [_143915] : [isa(_143915, c_microtheory), -(microtheory(_143915))], (2794 ^ _36693) ^ [_68356] : [isa(_68356, c_tptpcol_9_26885), -(tptpcol_9_26885(_68356))], (3136 ^ _36693) ^ [_73287, _73289, _73291] : [-(natargument(f_subcollectionofwithrelationtofn(_73291, _73289, _73287), n_2, _73289))], (4486 ^ _36693) ^ [_117931] : [isa(_117931, c_tptpcol_9_40196), -(tptpcol_9_40196(_117931))], (1304 ^ _36693) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (214 ^ _36693) ^ [_39030] : [tptpcol_12_40420(_39030), -(tptpcol_11_40388(_39030))], (4954 ^ _36693) ^ [_133208] : [isa(_133208, c_tptpcol_4_16387), -(tptpcol_4_16387(_133208))], (1848 ^ _36693) ^ [_56856] : [tptpcol_13_92263(_56856), -(tptpcol_12_92262(_56856))], (4576 ^ _36693) ^ [_120751] : [tptpcol_5_114690(_120751), -(isa(_120751, c_tptpcol_5_114690))], (1578 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (4936 ^ _36693) ^ [_132644] : [tptpcol_14_72792(_132644), -(isa(_132644, c_tptpcol_14_72792))], (4070 ^ _36693) ^ [_104350] : [isa(_104350, c_tptpcol_4_24578), -(tptpcol_4_24578(_104350))], (916 ^ _36693) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (3422 ^ _36693) ^ [_82913] : [isa(_82913, c_tptpcol_14_22072), -(tptpcol_14_22072(_82913))], (66 ^ _36693) ^ [_37440] : [tptpcol_13_40421(_37440), -(tptpcol_12_40420(_37440))], (512 ^ _36693) ^ [_42286] : [tptpcol_11_118084(_42286), -(tptpcol_10_118020(_42286))], (3714 ^ _36693) ^ [_92438] : [isa(_92438, c_tptpcol_16_10258), -(tptpcol_16_10258(_92438))], (4338 ^ _36693) ^ [_113026] : [isa(_113026, c_navypersonnel), -(navypersonnel(_113026))], (1382 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1982 ^ _36693) ^ [_58331] : [-(tptpquantity(f_tptpquantityfn_6(_58331)))], (1794 ^ _36693) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1748 ^ _36693) ^ [_55807] : [tptpcol_11_72774(_55807), -(tptpcol_10_72710(_55807))], (4028 ^ _36693) ^ [_102994] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_102994), -(isa(_102994, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4610 ^ _36693) ^ [_121981, _121983, _121985, _121987] : [-(natargument(f_relationexistsallfn(_121987, _121985, _121983, _121981), n_2, _121985))], (308 ^ _36693) ^ [_40100] : [-(tptpofobject(_40100, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_40100)], (4696 ^ _36693) ^ [_125124] : [marriagelicensedocument(_125124), -(isa(_125124, c_marriagelicensedocument))], (1742 ^ _36693) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (5494 ^ _36693) ^ [_150936] : [intangible(_150936), -(isa(_150936, c_intangible))], (998 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (58 ^ _36693) ^ [_37351] : [tptpcol_7_93186(_37351), -(tptpcol_6_92162(_37351))], (4564 ^ _36693) ^ [_120375] : [tptpcol_4_114689(_120375), -(isa(_120375, c_tptpcol_4_114689))], (1856 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1802 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1310 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (3846 ^ _36693) ^ [_96614] : [isa(_96614, c_tptpcol_12_26919), -(tptpcol_12_26919(_96614))], (736 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (4720 ^ _36693) ^ [_125876] : [tptpcol_2_98304(_125876), -(isa(_125876, c_tptpcol_2_98304))], (3584 ^ _36693) ^ [_88143, _88145] : [tptp_9_720(_88145, _88143), -(executionbyfiringsquad(_88145))], (5374 ^ _36693) ^ [_147067] : [isa(_147067, c_tptpcol_10_72710), -(tptpcol_10_72710(_147067))], (2076 ^ _36693) ^ [_59490] : [isa(_59490, c_footballteam), -(footballteam(_59490))], (1614 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (4398 ^ _36693) ^ [_114920, _114922] : [inregion(_114922, _114920), -(spatialthing_nonsituational(_114920))], (2590 ^ _36693) ^ [_65786, _65788] : [-(city(f_citynamedfn(_65788, _65786)))], (3852 ^ _36693) ^ [_96802] : [tptpcol_12_26919(_96802), -(isa(_96802, c_tptpcol_12_26919))], (5482 ^ _36693) ^ [_150560] : [partiallytangible(_150560), -(isa(_150560, c_partiallytangible))], (3774 ^ _36693) ^ [_94318] : [isa(_94318, c_tptpcol_8_92164), -(tptpcol_8_92164(_94318))], (1298 ^ _36693) ^ [_50857, _50859] : [no(_50859, _50857), -(few(_50859, _50857))], (3434 ^ _36693) ^ [_83289] : [isa(_83289, c_tptpcol_7_108547), -(tptpcol_7_108547(_83289))], (4214 ^ _36693) ^ [_109028, _109030] : [borderson(_109030, _109028), -(geographicalregion(_109030))], (3208 ^ _36693) ^ [_75775, _75777, _75779] : [-(no(_75779, _75775)), no(_75779, _75777), subsetof(_75775, _75777)], (5020 ^ _36693) ^ [_135310, _135312] : [geographicalsubregions(_135312, _135310), -(geographicalregion(_135312))], (2056 ^ _36693) ^ [_59231, _59233] : [affiliatedwith(_59233, _59231), -(agent_generic(_59231))], (1330 ^ _36693) ^ [_51190] : [tptpcol_7_108547(_51190), -(tptpcol_6_108546(_51190))], (574 ^ _36693) ^ [_42958] : [tptpcol_9_92165(_42958), -(tptpcol_8_92164(_42958))], (2712 ^ _36693) ^ [_67338, _67340] : [arg2isa(_67340, _67338), -(collection(_67338))], (5072 ^ _36693) ^ [_136955] : [tptpcol_6_92162(_136955), -(isa(_136955, c_tptpcol_6_92162))], (958 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (628 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (1832 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (982 ^ _36693) ^ [_47406] : [tptpcol_14_109181(_47406), -(tptpcol_13_109173(_47406))], (1630 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (3888 ^ _36693) ^ [_98010] : [correctivelensprescription(_98010), -(isa(_98010, c_correctivelensprescription))], (3160 ^ _36693) ^ [_74181] : [tptpcol_4_65539(_74181), -(isa(_74181, c_tptpcol_4_65539))], (1308 ^ _36693) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (4012 ^ _36693) ^ [_102247, _102249, _102251] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_102251, _102249, _102247), c_subcollectionofwithrelationfromtypefn))], (1902 ^ _36693) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (5168 ^ _36693) ^ [_140112] : [setorcollection(_140112), -(subsetof(_140112, _140112))], (1106 ^ _36693) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (4762 ^ _36693) ^ [_127192] : [isa(_127192, c_tptpcol_9_18439), -(tptpcol_9_18439(_127192))], (1682 ^ _36693) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (2518 ^ _36693) ^ [_64897] : [tptpcol_15_130931(_64897), -(isa(_64897, c_tptpcol_15_130931))], (950 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (446 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (50 ^ _36693) ^ [_37256, _37258] : [subsetof(_37258, _37256), -(most(_37258, _37256))], (2744 ^ _36693) ^ [_67754] : [isa(_67754, c_geolevel_1), -(geolevel_1(_67754))], (5422 ^ _36693) ^ [_148625, _148627] : [genls(_148627, _148625), -(collection(_148627))], (2148 ^ _36693) ^ [_60368] : [tptpcol_8_39940(_60368), -(isa(_60368, c_tptpcol_8_39940))], (1928 ^ _36693) ^ [_57709] : [computerdataartifact(_57709), -(artifact(_57709))], (670 ^ _36693) ^ [_44018] : [tptpcol_12_22055(_44018), -(tptpcol_11_22023(_44018))], (1606 ^ _36693) ^ [_54237, _54239] : [genls(_54239, _54237), -(subsetof(_54239, _54237))], (2304 ^ _36693) ^ [_62270] : [tptpcol_5_110593(_62270), -(isa(_62270, c_tptpcol_5_110593))], (1910 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1770 ^ _36693) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1100 ^ _36693) ^ [_48675] : [navypersonnel(_48675), -(militaryperson(_48675))], (114 ^ _36693) ^ [_37950] : [tptpcol_5_20483(_37950), -(tptpcol_4_16387(_37950))], (4990 ^ _36693) ^ [_134336] : [isa(_134336, c_tptpcol_9_22021), -(tptpcol_9_22021(_134336))], (2244 ^ _36693) ^ [_61540] : [tptpcol_15_50957(_61540), -(isa(_61540, c_tptpcol_15_50957))], (384 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (1240 ^ _36693) ^ [_50245] : [tptpcol_14_26921(_50245), -(tptpcol_13_26920(_50245))], (874 ^ _36693) ^ [_46218, _46220] : [disjointwith(_46220, _46218), -(no(_46220, _46218))], (704 ^ _36693) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (3258 ^ _36693) ^ [_77390, _77392, _77394] : [-(no(_77394, _77390)), no(_77394, _77392), subsetof(_77390, _77392)], (2142 ^ _36693) ^ [_60295] : [isa(_60295, c_tptpcol_8_39940), -(tptpcol_8_39940(_60295))], (5036 ^ _36693) ^ [_135827] : [geographicalregion(_135827), -(geographicalsubregions(_135827, _135827))], (3298 ^ _36693) ^ [_78717] : [isa(_78717, c_airport_physical), -(airport_physical(_78717))], (346 ^ _36693) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (3154 ^ _36693) ^ [_73993] : [isa(_73993, c_tptpcol_4_65539), -(tptpcol_4_65539(_73993))], (5222 ^ _36693) ^ [_141907, _141909] : [genlpreds(_141909, _141907), -(predicate(_141909))], (2388 ^ _36693) ^ [_63296] : [tptpcol_7_117762(_63296), -(isa(_63296, c_tptpcol_7_117762))], (448 ^ _36693) ^ [_41604] : [tptpcol_13_109173(_41604), -(tptpcol_12_109157(_41604))], (3926 ^ _36693) ^ [_99462, _99464, _99466] : [-(collection(f_subcollectionofwithrelationtotypefn(_99466, _99464, _99462)))], (2806 ^ _36693) ^ [_68502] : [isa(_68502, c_tptpcol_10_26886), -(tptpcol_10_26886(_68502))], (5322 ^ _36693) ^ [_145382, _145384] : [isa(_145384, _145382), -(collection(_145382))], (1068 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1286 ^ _36693) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (162 ^ _36693) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (572 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (5594 ^ _36693) ^ [] : [-(mtvisible(c_universalvocabularymt))], (3054 ^ _36693) ^ [_71574, _71576] : [objectfoundinlocation(_71576, _71574), -(spatialthing_nonsituational(_71574))], (170 ^ _36693) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (64 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (4368 ^ _36693) ^ [_113966] : [thing(_113966), -(isa(_113966, c_thing))], (784 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (3900 ^ _36693) ^ [_98420, _98422] : [products(_98422, _98420), -(creationordestructionevent(_98422))], (2020 ^ _36693) ^ [_58793] : [isa(_58793, c_geolevel_4), -(geolevel_4(_58793))], (2776 ^ _36693) ^ [_68137] : [militaryperson(_68137), -(isa(_68137, c_militaryperson))], (2818 ^ _36693) ^ [_68648, _68650] : [tptptypes_8_823(_68650, _68648), -(firstordercollection(_68648))], (22 ^ _36693) ^ [_36927] : [tptpcol_10_72710(_36927), -(tptpcol_9_72709(_36927))], (4810 ^ _36693) ^ [_128696] : [isa(_128696, c_artsupplies), -(artsupplies(_128696))], (2578 ^ _36693) ^ [_65627] : [intangibleindividual(_65627), -(isa(_65627, c_intangibleindividual))], (600 ^ _36693) ^ [_43242] : [microtheory(_43242), -(aspatialinformationstore(_43242))], (1724 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (4978 ^ _36693) ^ [_133960] : [isa(_133960, c_tptpcol_8_22020), -(tptpcol_8_22020(_133960))], (902 ^ _36693) ^ [_46527, _46529] : [genls(_46529, _46527), -(collection(_46529))], (3792 ^ _36693) ^ [_94882] : [tptpcol_9_92165(_94882), -(isa(_94882, c_tptpcol_9_92165))], (5444 ^ _36693) ^ [_149350] : [collection(_149350), -(genls(_149350, _149350))], (5136 ^ _36693) ^ [_139078, _139080, _139082] : [-(most(_139082, _139078)), most(_139082, _139080), subsetof(_139080, _139078)], (1642 ^ _36693) ^ [_54641] : [tptpcol_13_118117(_54641), -(tptpcol_12_118116(_54641))], (980 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (2536 ^ _36693) ^ [_65116] : [isa(_65116, c_tptpcol_7_92163), -(tptpcol_7_92163(_65116))], (376 ^ _36693) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (4208 ^ _36693) ^ [_108820, _108822] : [borderson(_108822, _108820), -(geographicalregion(_108820))], (82 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (5518 ^ _36693) ^ [_151778, _151780, _151782] : [-(disjointwith(_151782, _151778)), disjointwith(_151782, _151780), genls(_151778, _151780)], (5290 ^ _36693) ^ [_144103] : [microtheory(_144103), -(isa(_144103, c_microtheory))], (4142 ^ _36693) ^ [_106606] : [isa(_106606, c_setorcollection), -(setorcollection(_106606))], (2094 ^ _36693) ^ [_59709] : [tptpcol_16_4451(_59709), -(isa(_59709, c_tptpcol_16_4451))], (1424 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (532 ^ _36693) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (4540 ^ _36693) ^ [_119623] : [tptpcol_11_93764(_119623), -(isa(_119623, c_tptpcol_11_93764))], (222 ^ _36693) ^ [_39119, _39121] : [tptptypes_9_693(_39121, _39119), -(tptptypes_8_692(_39121, _39119))], (2124 ^ _36693) ^ [_60074] : [-(natfunction(f_tptpquantityfn_2(_60074), c_tptpquantityfn_2))], (5314 ^ _36693) ^ [_145063, _145065] : [-(microtheory(f_contentmtofcdafromeventfn(_145065, _145063)))], (3356 ^ _36693) ^ [_80793] : [isa(_80793, c_tptpcol_13_18664), -(tptpcol_13_18664(_80793))], (852 ^ _36693) ^ [_45981] : [tptpcol_7_113665(_45981), -(tptpcol_6_112641(_45981))], (3090 ^ _36693) ^ [_72039, _72041, _72043] : [-(objectfoundinlocation(_72043, _72039)), objectfoundinlocation(_72043, _72041), geopoliticalsubdivision(_72039, _72041)], (2896 ^ _36693) ^ [_69601] : [tptpcol_15_30970(_69601), -(isa(_69601, c_tptpcol_15_30970))], (1622 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1500 ^ _36693) ^ [_53044] : [tptpcol_3_16386(_53044), -(tptpcol_2_2(_53044))], (544 ^ _36693) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (3798 ^ _36693) ^ [_95070] : [isa(_95070, c_tptpcol_1_1), -(tptpcol_1_1(_95070))], (4324 ^ _36693) ^ [_112597] : [isa(_112597, c_executionbyfiringsquad), -(executionbyfiringsquad(_112597))], (744 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (1168 ^ _36693) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (458 ^ _36693) ^ [_41711] : [tptpcol_5_106498(_41711), -(tptpcol_4_106497(_41711))], (3660 ^ _36693) ^ [_90580] : [isa(_90580, c_unitvectorinterval), -(unitvectorinterval(_90580))], (814 ^ _36693) ^ [_45583] : [firstordercollection(_45583), -(fixedordercollection(_45583))], (2226 ^ _36693) ^ [_61321] : [isa(_61321, c_tptpcol_8_114177), -(tptpcol_8_114177(_61321))], (828 ^ _36693) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (4294 ^ _36693) ^ [_111657] : [shavingrazor_manual(_111657), -(isa(_111657, c_shavingrazor_manual))], (786 ^ _36693) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (4148 ^ _36693) ^ [_106794] : [setorcollection(_106794), -(isa(_106794, c_setorcollection))], (1254 ^ _36693) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (464 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (136 ^ _36693) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (1408 ^ _36693) ^ [_52033] : [tptpcol_7_117762(_52033), -(tptpcol_6_116738(_52033))], (788 ^ _36693) ^ [_45300] : [tptpcol_9_72709(_45300), -(tptpcol_8_72708(_45300))], (4178 ^ _36693) ^ [_107748, _107750] : [tptptypes_8_400(_107750, _107748), -(firstordercollection(_107748))], (928 ^ _36693) ^ [_46816] : [tptpcol_4_114689(_46816), -(tptpcol_3_114688(_46816))], (888 ^ _36693) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (4006 ^ _36693) ^ [_102046] : [terrorist(_102046), -(isa(_102046, c_terrorist))], (3666 ^ _36693) ^ [_90768] : [unitvectorinterval(_90768), -(isa(_90768, c_unitvectorinterval))], (5066 ^ _36693) ^ [_136767] : [isa(_136767, c_tptpcol_6_92162), -(tptpcol_6_92162(_136767))], (2376 ^ _36693) ^ [_63150] : [aspatialthing(_63150), -(isa(_63150, c_aspatialthing))], (1822 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (4016 ^ _36693) ^ [_102476, _102478, _102480] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_102480, _102478, _102476), n_2, _102478))], (3362 ^ _36693) ^ [_80981] : [tptpcol_13_18664(_80981), -(isa(_80981, c_tptpcol_13_18664))], (1344 ^ _36693) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1572 ^ _36693) ^ [_53857] : [tptpcol_16_72795(_53857), -(tptpcol_15_72793(_53857))], (4124 ^ _36693) ^ [_106042] : [tptpcol_13_109173(_106042), -(isa(_106042, c_tptpcol_13_109173))], (330 ^ _36693) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (1920 ^ _36693) ^ [_57620] : [tptpcol_13_72791(_57620), -(tptpcol_12_72775(_57620))], (386 ^ _36693) ^ [_40918] : [tptpcol_6_116738(_40918), -(tptpcol_5_114690(_40918))], (2598 ^ _36693) ^ [_65886] : [tptpcol_13_26920(_65886), -(isa(_65886, c_tptpcol_13_26920))], (1958 ^ _36693) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1076 ^ _36693) ^ [_48420] : [tptpcol_10_26886(_48420), -(tptpcol_9_26885(_48420))], (4020 ^ _36693) ^ [_102706, _102708, _102710] : [-(collection(f_subcollectionofwithrelationfromtypefn(_102710, _102708, _102706)))], (990 ^ _36693) ^ [_47495] : [tptpcol_16_30972(_47495), -(tptpcol_15_30970(_47495))], (5466 ^ _36693) ^ [_150077, _150079, _150081] : [-(genls(_150081, _150077)), genls(_150081, _150079), genls(_150079, _150077)], (3816 ^ _36693) ^ [_95634] : [tptpcol_2_2(_95634), -(isa(_95634, c_tptpcol_2_2))], (188 ^ _36693) ^ [_38757] : [tptpcol_11_92230(_38757), -(tptpcol_10_92166(_38757))], (2824 ^ _36693) ^ [_68723, _68725] : [tptptypes_8_823(_68725, _68723), -(firstordercollection(_68725))], (1472 ^ _36693) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (4612 ^ _36693) ^ [_122113, _122115, _122117, _122119] : [-(natargument(f_relationexistsallfn(_122119, _122117, _122115, _122113), n_3, _122115))], (28 ^ _36693) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (5316 ^ _36693) ^ [_145174, _145176] : [isa(_145176, _145174), -(collection(_145174))], (1904 ^ _36693) ^ [_57443] : [tptpcol_3_98305(_57443), tptpcol_3_114688(_57443)], (1530 ^ _36693) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1840 ^ _36693) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (228 ^ _36693) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (5102 ^ _36693) ^ [_137949, _137951] : [most(_137951, _137949), -(setorcollection(_137951))], (1228 ^ _36693) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (12 ^ _36693) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (3626 ^ _36693) ^ [_89465] : [isa(_89465, c_movement_translationevent), -(movement_translationevent(_89465))], (1396 ^ _36693) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))]], input).
% 247.91/239.60  ncf('1',plain,[intangible(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))), partiallytangible(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],start(6 ^ 0,bind([[_36750], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1',plain,[-(intangible(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), mathematicalorcomputationalthing(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(520 ^ 1,bind([[_42375], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1.1',plain,[-(mathematicalorcomputationalthing(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), mathematicalthing(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(712 ^ 2,bind([[_44475], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1.1.1',plain,[-(mathematicalthing(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), setorcollection(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(440 ^ 3,bind([[_41515], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1.1.1.1',plain,[-(setorcollection(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), no(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_tptpcol_16_118949)],extension(3196 ^ 4,bind([[_75343, _75345], [c_tptpcol_16_118949, f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1.1.1.1.1',plain,[-(no(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_tptpcol_16_118949)), disjointwith(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_tptpcol_16_118949)],extension(874 ^ 5,bind([[_46218, _46220], [c_tptpcol_16_118949, f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.1.1.1.1.1.1',plain,[-(disjointwith(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_tptpcol_16_118949))],extension(5596 ^ 6)).
% 247.91/239.60  ncf('1.2',plain,[-(partiallytangible(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), inanimateobject(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(30 ^ 1,bind([[_37016], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.2.1',plain,[-(inanimateobject(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), isa(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_inanimateobject)],extension(5350 ^ 2,bind([[_146315], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.2.1.1',plain,[-(isa(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_inanimateobject)), isa(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_artifact), genls(c_artifact, c_inanimateobject)],extension(5340 ^ 3,bind([[_146020, _146022, _146024], [c_inanimateobject, c_artifact, f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.2.1.1.1',plain,[-(isa(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)), c_artifact)), artifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(3350 ^ 4,bind([[_80605], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.2.1.1.1.1',plain,[-(artifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))), computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf)))],extension(1928 ^ 5,bind([[_57709], [f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))]]))).
% 247.91/239.60  ncf('1.2.1.1.1.1.1',plain,[-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))],extension(332 ^ 6)).
% 247.91/239.60  ncf('1.2.1.1.2',plain,[-(genls(c_artifact, c_inanimateobject)), genls(c_artifact, c_inanimateobject_nonnatural), genls(c_inanimateobject_nonnatural, c_inanimateobject)],extension(5434 ^ 4,bind([[_149055, _149057, _149059], [c_inanimateobject, c_inanimateobject_nonnatural, c_artifact]]))).
% 247.91/239.60  ncf('1.2.1.1.2.1',plain,[-(genls(c_artifact, c_inanimateobject_nonnatural))],extension(836 ^ 5)).
% 247.91/239.60  ncf('1.2.1.1.2.2',plain,[-(genls(c_inanimateobject_nonnatural, c_inanimateobject))],extension(774 ^ 5)).
% 247.91/239.60  %-----------------------------------------------------
% 247.91/239.60  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------