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

% Computer : n013.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 10:53:58 EDT 2023

% Result   : Theorem 3.71s 4.51s
% Output   : Proof 3.71s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13  % Problem  : CSR062+2 : TPTP v8.1.2. Released v3.4.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.35  % Computer : n013.cluster.edu
% 0.13/0.35  % Model    : x86_64 x86_64
% 0.13/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35  % Memory   : 8042.1875MB
% 0.13/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35  % CPULimit : 300
% 0.13/0.35  % WCLimit  : 300
% 0.13/0.35  % DateTime : Fri May 19 00:12:05 EDT 2023
% 0.13/0.35  % CPUTime  : 
% 3.71/4.51  
% 3.71/4.51  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 3.71/4.51  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 3.71/4.51  %-----------------------------------------------------
% 3.71/4.51  ncf(matrix, plain, [(5596 ^ _605968) ^ [_795495] : [-(mtvisible(c_tptp_member3205_mt))], (5598 ^ _605968) ^ [_795532] : [tptptypes_5_387(_795532, c_pushingwithfingers)], (2 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _605968) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _605968) ^ [_606173] : [intangible(_606173), partiallytangible(_606173)], (12 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _605968) ^ [_606411] : [tptpcol_15_40430(_606411), -(tptpcol_14_40429(_606411))], (20 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _605968) ^ [_606650] : [tptpcol_10_72710(_606650), -(tptpcol_9_72709(_606650))], (28 ^ _605968) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _605968) ^ [_606889] : [inanimateobject(_606889), -(partiallytangible(_606889))], (36 ^ _605968) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _605968) ^ [_607156, _607158, _607160] : [-(genlpreds(_607160, _607156)), genlinverse(_607160, _607158), genlinverse(_607158, _607156)], (48 ^ _605968) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _605968) ^ [_607518, _607520] : [subsetof(_607520, _607518), -(most(_607520, _607518))], (56 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _605968) ^ [_607767] : [tptpcol_7_93186(_607767), -(tptpcol_6_92162(_607767))], (64 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _605968) ^ [_608006] : [tptpcol_13_40421(_608006), -(tptpcol_12_40420(_608006))], (72 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _605968) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _605968) ^ [_608470] : [tptpcol_9_22021(_608470), -(tptpcol_8_22020(_608470))], (90 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _605968) ^ [_608709] : [tptpcol_5_16388(_608709), -(tptpcol_4_16387(_608709))], (98 ^ _605968) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _605968) ^ [_609067] : [tptpcol_14_72792(_609067), -(tptpcol_13_72791(_609067))], (112 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _605968) ^ [_609306] : [tptpcol_5_20483(_609306), -(tptpcol_4_16387(_609306))], (120 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _605968) ^ [_609545] : [tptpcol_11_22023(_609545), -(tptpcol_10_22022(_609545))], (128 ^ _605968) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _605968) ^ [_609784] : [partiallyintangibleindividual(_609784), -(individual(_609784))], (136 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _605968) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _605968) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _605968) ^ [_610129] : [trajector_underspecified(_610129), -(location_underspecified(_610129))], (148 ^ _605968) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _605968) ^ [_610368] : [partiallytangible(_610368), -(enduringthing_localized(_610368))], (156 ^ _605968) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _605968) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _605968) ^ [_610726] : [tptpcol_3_81921(_610726), -(tptpcol_2_65537(_610726))], (170 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _605968) ^ [_610965] : [tptpcol_10_18567(_610965), -(tptpcol_9_18439(_610965))], (178 ^ _605968) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _605968) ^ [_611204] : [orderingpredicate(_611204), -(transitivebinarypredicate(_611204))], (186 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _605968) ^ [_611443] : [tptpcol_11_92230(_611443), -(tptpcol_10_92166(_611443))], (194 ^ _605968) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _605968) ^ [_611682] : [tptpcol_2_98304(_611682), -(tptpcol_1_65536(_611682))], (202 ^ _605968) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _605968) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _605968) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _605968) ^ [_612146] : [tptpcol_12_40420(_612146), -(tptpcol_11_40388(_612146))], (220 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _605968) ^ [_612399, _612401] : [tptptypes_9_693(_612401, _612399), -(tptptypes_8_692(_612401, _612399))], (228 ^ _605968) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _605968) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _605968) ^ [_612768, _612770] : [tptptypes_8_390(_612770, _612768), -(tptptypes_7_389(_612770, _612768))], (240 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _605968) ^ [_613112, _613114, _613116, _613118] : [-(isa(f_relationexistsallfn(_613118, _613114, _613112, _613116), _613112)), isa(_613118, _613116), relationexistsall(_613114, _613112, _613116)], (254 ^ _605968) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _605968) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _605968) ^ [_613641] : [tptpcol_4_106497(_613641), -(tptpcol_3_98305(_613641))], (268 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _605968) ^ [_613880] : [tptpcol_5_114690(_613880), -(tptpcol_4_114689(_613880))], (276 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _605968) ^ [_614119] : [tptpcol_12_93765(_614119), -(tptpcol_11_93764(_614119))], (284 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _605968) ^ [_614358] : [tptpcol_8_72708(_614358), -(tptpcol_7_72707(_614358))], (292 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _605968) ^ [_614597] : [tptpcol_10_40324(_614597), -(tptpcol_9_40196(_614597))], (300 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _605968) ^ [_614836] : [tptpcol_13_93766(_614836), -(tptpcol_12_93765(_614836))], (308 ^ _605968) ^ [_615022] : [-(tptpofobject(_615022, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_615022)], (318 ^ _605968) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _605968) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _605968) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _605968) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _605968) ^ [_615686] : [location_underspecified(_615686), -(thing(_615686))], (342 ^ _605968) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _605968) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _605968) ^ [_616031] : [tptpcol_12_92262(_616031), -(tptpcol_11_92230(_616031))], (354 ^ _605968) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _605968) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _605968) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _605968) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _605968) ^ [_616548] : [tptpcol_10_109061(_616548), -(tptpcol_9_109060(_616548))], (374 ^ _605968) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _605968) ^ [_616854, _616856] : [tptptypes_6_388(_616856, _616854), -(tptptypes_5_387(_616856, _616854))], (384 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _605968) ^ [_617103] : [tptpcol_6_116738(_617103), -(tptpcol_5_114690(_617103))], (392 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _605968) ^ [_617342] : [tptpcol_15_92268(_617342), -(tptpcol_14_92264(_617342))], (400 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _605968) ^ [_617647] : [-(tptpofobject(_617647, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_617647)], (416 ^ _605968) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _605968) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _605968) ^ [_618100, _618102] : [tptptypes_9_401(_618102, _618100), -(tptptypes_8_400(_618100, _618102))], (430 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _605968) ^ [_618349] : [tptpcol_12_18663(_618349), -(tptpcol_11_18631(_618349))], (438 ^ _605968) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _605968) ^ [_618588] : [setorcollection(_618588), -(mathematicalthing(_618588))], (446 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _605968) ^ [_618827] : [tptpcol_13_109173(_618827), -(tptpcol_12_109157(_618827))], (454 ^ _605968) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _605968) ^ [_619119] : [tptpcol_5_106498(_619119), -(tptpcol_4_106497(_619119))], (464 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _605968) ^ [_619358] : [tptpcol_5_24579(_619358), -(tptpcol_4_24578(_619358))], (472 ^ _605968) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _605968) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _605968) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _605968) ^ [_619888] : [tptpcol_1_65536(_619888), -(tptpcol_0_0(_619888))], (494 ^ _605968) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _605968) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _605968) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _605968) ^ [_620313, _620315] : [geographicalsubregions(_620315, _620313), -(inregion(_620313, _620315))], (510 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _605968) ^ [_620562] : [tptpcol_11_118084(_620562), -(tptpcol_10_118020(_620562))], (518 ^ _605968) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _605968) ^ [_620801] : [mathematicalorcomputationalthing(_620801), -(intangible(_620801))], (526 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _605968) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _605968) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _605968) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _605968) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _605968) ^ [_621319, _621321] : [tptptypes_7_819(_621321, _621319), -(tptptypes_6_818(_621321, _621319))], (544 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _605968) ^ [_621621] : [tptpcol_12_26919(_621621), -(tptpcol_11_26887(_621621))], (554 ^ _605968) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _605968) ^ [_621874, _621876] : [tptptypes_8_692(_621876, _621874), -(tptptypes_7_691(_621874, _621876))], (562 ^ _605968) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _605968) ^ [_622123] : [tptpcol_2_2(_622123), -(tptpcol_1_1(_622123))], (570 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _605968) ^ [_622415] : [tptpcol_9_92165(_622415), -(tptpcol_8_92164(_622415))], (580 ^ _605968) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _605968) ^ [_622654] : [fixedordercollection(_622654), -(collection(_622654))], (588 ^ _605968) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _605968) ^ [_622893] : [tptpcol_1_1(_622893), tptpcol_1_65536(_622893)], (596 ^ _605968) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _605968) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _605968) ^ [_623184] : [microtheory(_623184), -(aspatialinformationstore(_623184))], (606 ^ _605968) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _605968) ^ [_623489] : [-(tptp_8_875(_623489, f_relationallexistsfn(_623489, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_623489, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _605968) ^ [] : [mtvisible(c_tptp_member2610_mt), -(relationallexists(c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))], (628 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _605968) ^ [_623940] : [tptpcol_10_118020(_623940), -(tptpcol_9_118019(_623940))], (636 ^ _605968) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _605968) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _605968) ^ [_624298] : [-(tptp_9_720(_624298, f_relationallexistsfn(_624298, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_624298)], (654 ^ _605968) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _605968) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _605968) ^ [_624747] : [individual(_624747), setorcollection(_624747)], (668 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _605968) ^ [_624985] : [tptpcol_12_22055(_624985), -(tptpcol_11_22023(_624985))], (676 ^ _605968) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _605968) ^ [_625224] : [applicationcontext(_625224), -(microtheory(_625224))], (684 ^ _605968) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _605968) ^ [_625530, _625532] : [tptptypes_8_400(_625532, _625530), -(tptptypes_7_396(_625532, _625530))], (694 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _605968) ^ [_625779] : [tptpcol_11_18631(_625779), -(tptpcol_10_18567(_625779))], (702 ^ _605968) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _605968) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _605968) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _605968) ^ [_626190] : [mathematicalthing(_626190), -(mathematicalorcomputationalthing(_626190))], (718 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _605968) ^ [_626482] : [tptpcol_15_93775(_626482), -(tptpcol_14_93774(_626482))], (728 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _605968) ^ [_626721] : [tptpcol_8_109059(_626721), -(tptpcol_7_108547(_626721))], (736 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _605968) ^ [_626960] : [tptpcol_14_40429(_626960), -(tptpcol_13_40421(_626960))], (744 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _605968) ^ [_627318] : [tptpcol_14_22072(_627318), -(tptpcol_13_22071(_627318))], (758 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _605968) ^ [_627557] : [tptpcol_14_93774(_627557), -(tptpcol_13_93766(_627557))], (766 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _605968) ^ [_627796] : [tptpcol_10_22022(_627796), -(tptpcol_9_22021(_627796))], (774 ^ _605968) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _605968) ^ [_628035] : [inanimateobject_nonnatural(_628035), -(inanimateobject(_628035))], (782 ^ _605968) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _605968) ^ [_628380] : [tptpcol_9_72709(_628380), -(tptpcol_8_72708(_628380))], (794 ^ _605968) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _605968) ^ [_628619] : [-(tptpofobject(_628619, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_628619)], (806 ^ _605968) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _605968) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _605968) ^ [_629058] : [firstordercollection(_629058), -(fixedordercollection(_629058))], (820 ^ _605968) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _605968) ^ [_629469] : [tptpcol_13_18664(_629469), -(tptpcol_12_18663(_629469))], (836 ^ _605968) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _605968) ^ [_629708] : [artifact(_629708), -(inanimateobject_nonnatural(_629708))], (844 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _605968) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _605968) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _605968) ^ [_630106] : [tptpcol_7_113665(_630106), -(tptpcol_6_112641(_630106))], (858 ^ _605968) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _605968) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _605968) ^ [_630464] : [geographicalregion(_630464), -(partiallytangible(_630464))], (872 ^ _605968) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _605968) ^ [_630717, _630719] : [disjointwith(_630719, _630717), -(no(_630719, _630717))], (880 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _605968) ^ [_630966] : [tptpcol_4_24578(_630966), -(tptpcol_3_16386(_630966))], (888 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _605968) ^ [_631205] : [tptpcol_5_69635(_631205), -(tptpcol_4_65539(_631205))], (896 ^ _605968) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _605968) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _605968) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _605968) ^ [_631564, _631566] : [genls(_631566, _631564), -(collection(_631566))], (908 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _605968) ^ [_631811] : [tptpcol_13_22071(_631811), -(tptpcol_12_22055(_631811))], (916 ^ _605968) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _605968) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _605968) ^ [_632103] : [tptpcol_3_98305(_632103), -(tptpcol_2_98304(_632103))], (926 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _605968) ^ [_632342] : [tptpcol_4_114689(_632342), -(tptpcol_3_114688(_632342))], (934 ^ _605968) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _605968) ^ [_632581] : [artsupplies(_632581), -(supplies(_632581))], (942 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _605968) ^ [_632820] : [tptpcol_8_26629(_632820), -(tptpcol_7_26628(_632820))], (950 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _605968) ^ [_633059] : [tptpcol_9_109060(_633059), -(tptpcol_8_109059(_633059))], (958 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _605968) ^ [_633298] : [isa(_633298, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_633298, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _633298))], (966 ^ _605968) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _605968) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _605968) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _605968) ^ [_633882] : [tptpcol_14_109181(_633882), -(tptpcol_13_109173(_633882))], (988 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _605968) ^ [_634121] : [tptpcol_16_30972(_634121), -(tptpcol_15_30970(_634121))], (996 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _605968) ^ [_634413] : [tptpcol_9_18439(_634413), -(tptpcol_8_18438(_634413))], (1006 ^ _605968) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _605968) ^ [_634705] : [tptpcol_12_118116(_634705), -(tptpcol_11_118084(_634705))], (1016 ^ _605968) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _605968) ^ [_634997] : [tptpcol_7_26628(_634997), -(tptpcol_6_26627(_634997))], (1026 ^ _605968) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _605968) ^ [_635250, _635252] : [most(_635252, _635250), -(setorcollection(_635252))], (1034 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _605968) ^ [_635497] : [tptpcol_15_109185(_635497), -(tptpcol_14_109181(_635497))], (1042 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _605968) ^ [_635736] : [tptpcol_16_92269(_635736), -(tptpcol_15_92268(_635736))], (1050 ^ _605968) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _605968) ^ [_636042, _636044] : [tptptypes_8_823(_636044, _636042), -(tptptypes_7_819(_636044, _636042))], (1060 ^ _605968) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _605968) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _605968) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _605968) ^ [_636622] : [tptpcol_10_26886(_636622), -(tptpcol_9_26885(_636622))], (1082 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _605968) ^ [_636914] : [tptpcol_15_72793(_636914), -(tptpcol_14_72792(_636914))], (1092 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _605968) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _605968) ^ [_637272] : [navypersonnel(_637272), -(militaryperson(_637272))], (1106 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _605968) ^ [_637511] : [tptpcol_4_16387(_637511), -(tptpcol_3_16386(_637511))], (1114 ^ _605968) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _605968) ^ [_637750] : [enduringthing_localized(_637750), -(spatialthing_nonsituational(_637750))], (1122 ^ _605968) ^ [_637936] : [collection(_637936), individual(_637936)], (1128 ^ _605968) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _605968) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _605968) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _605968) ^ [_638465] : [physicalorderingpredicate(_638465), -(orderingpredicate(_638465))], (1150 ^ _605968) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _605968) ^ [_638718, _638720] : [disjointwith(_638720, _638718), -(collection(_638718))], (1158 ^ _605968) ^ [_638954, _638956, _638958, _638960] : [-(isa(f_relationallexistsfn(_638960, _638956, _638958, _638954), _638954)), isa(_638960, _638958), relationallexists(_638956, _638958, _638954)], (1168 ^ _605968) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _605968) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _605968) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _605968) ^ [_639563, _639565] : [tptptypes_7_389(_639565, _639563), -(tptptypes_6_388(_639563, _639565))], (1186 ^ _605968) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _605968) ^ [_639878] : [-(hpkb_subnationalagent(_639878)), mtvisible(c_hpkbvocabmt), state_geopolitical(_639878)], (1202 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _605968) ^ [_640196] : [tptpcol_8_22020(_640196), -(tptpcol_7_21508(_640196))], (1210 ^ _605968) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _605968) ^ [_640435] : [-(tptp_9_51(f_relationexistsallfn(_640435, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _640435)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_640435, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _605968) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _605968) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _605968) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _605968) ^ [_640939] : [tptpcol_3_65538(_640939), -(tptpcol_2_65537(_640939))], (1238 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _605968) ^ [_641178] : [tptpcol_14_26921(_641178), -(tptpcol_13_26920(_641178))], (1246 ^ _605968) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _605968) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _605968) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _605968) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _605968) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _605968) ^ [_641629] : [intangibleindividual(_641629), -(partiallyintangibleindividual(_641629))], (1262 ^ _605968) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _605968) ^ [_641987] : [tptpcol_16_130924(_641987), -(tptpcol_15_130923(_641987))], (1276 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _605968) ^ [_642226] : [tptpcol_7_92163(_642226), -(tptpcol_6_92162(_642226))], (1284 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _605968) ^ [_642518] : [tptpcol_16_130933(_642518), -(tptpcol_15_130931(_642518))], (1294 ^ _605968) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _605968) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _605968) ^ [_642824, _642826] : [no(_642826, _642824), -(few(_642826, _642824))], (1304 ^ _605968) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _605968) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _605968) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _605968) ^ [_643232] : [tptpcol_6_20484(_643232), -(tptpcol_5_20483(_643232))], (1318 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _605968) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _605968) ^ [_643696] : [tptpcol_7_108547(_643696), -(tptpcol_6_108546(_643696))], (1336 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _605968) ^ [_643935] : [tptpcol_11_109125(_643935), -(tptpcol_10_109061(_643935))], (1344 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _605968) ^ [_644227] : [tptpcol_8_93698(_644227), -(tptpcol_7_93186(_644227))], (1354 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _605968) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _605968) ^ [_644519] : [tptpcol_2_65537(_644519), -(tptpcol_1_65536(_644519))], (1364 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _605968) ^ [_644811] : [tptpcol_6_18436(_644811), -(tptpcol_5_16388(_644811))], (1374 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _605968) ^ [_645050] : [tptpcol_8_18438(_645050), -(tptpcol_7_18437(_645050))], (1382 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _605968) ^ [_645408] : [tptpcol_8_117763(_645408), -(tptpcol_7_117762(_645408))], (1396 ^ _605968) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _605968) ^ [_645700] : [tptpcol_12_109157(_645700), -(tptpcol_11_109125(_645700))], (1406 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _605968) ^ [_645939] : [tptpcol_7_117762(_645939), -(tptpcol_6_116738(_645939))], (1414 ^ _605968) ^ [_646153, _646155, _646157] : [isa(_646157, _646155), isa(_646157, _646153), disjointwith(_646155, _646153)], (1424 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _605968) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _605968) ^ [_646553] : [aspatialinformationstore(_646553), -(aspatialthing(_646553))], (1434 ^ _605968) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _605968) ^ [_646951] : [tptpcol_9_93699(_646951), -(tptpcol_8_93698(_646951))], (1448 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _605968) ^ [_647190] : [tptpcol_11_93764(_647190), -(tptpcol_10_93700(_647190))], (1456 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _605968) ^ [_647429] : [tptpcol_6_26627(_647429), -(tptpcol_5_24579(_647429))], (1464 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _605968) ^ [_647668] : [tptpcol_4_90113(_647668), -(tptpcol_3_81921(_647668))], (1472 ^ _605968) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _605968) ^ [_647960] : [tptpcol_10_93700(_647960), -(tptpcol_9_93699(_647960))], (1482 ^ _605968) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _605968) ^ [_648199] : [aspatialinformationstore(_648199), -(intangibleindividual(_648199))], (1490 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _605968) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _605968) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _605968) ^ [_648610] : [tptpcol_3_16386(_648610), -(tptpcol_2_2(_648610))], (1506 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _605968) ^ [_648849] : [tptpcol_9_118019(_648849), -(tptpcol_8_117763(_648849))], (1514 ^ _605968) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _605968) ^ [_649088] : [individual(_649088), -(trajector_underspecified(_649088))], (1522 ^ _605968) ^ [_649274] : [shavingrazor_manual(_649274), -(tptp_8_271(f_relationexistsallfn(_649274, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _649274))], (1528 ^ _605968) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _605968) ^ [_649578] : [tptpcol_6_112641(_649578), -(tptpcol_5_110593(_649578))], (1538 ^ _605968) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _605968) ^ [_649817] : [tptpcol_12_72775(_649817), -(tptpcol_11_72774(_649817))], (1546 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _605968) ^ [_650056] : [tptpcol_7_72707(_650056), -(tptpcol_6_71683(_650056))], (1554 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _605968) ^ [_650295] : [tptpcol_16_50958(_650295), -(tptpcol_15_50957(_650295))], (1562 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _605968) ^ [_650534] : [tptpcol_8_114177(_650534), -(tptpcol_7_113665(_650534))], (1570 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _605968) ^ [_650773] : [tptpcol_16_72795(_650773), -(tptpcol_15_72793(_650773))], (1578 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _605968) ^ [_651012] : [tptpcol_6_71683(_651012), -(tptpcol_5_69635(_651012))], (1586 ^ _605968) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _605968) ^ [_651318, _651320] : [tptptypes_7_396(_651320, _651318), -(tptptypes_6_388(_651320, _651318))], (1596 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _605968) ^ [_651567] : [tptpcol_9_26885(_651567), -(tptpcol_8_26629(_651567))], (1604 ^ _605968) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _605968) ^ [_651820, _651822] : [genls(_651822, _651820), -(subsetof(_651822, _651820))], (1612 ^ _605968) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _605968) ^ [_652136, _652138] : [tptptypes_6_818(_652138, _652136), -(tptptypes_5_802(_652138, _652136))], (1622 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _605968) ^ [_652385] : [tptpcol_6_92162(_652385), -(tptpcol_5_90114(_652385))], (1630 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _605968) ^ [_652677] : [tptpcol_8_92164(_652677), -(tptpcol_7_92163(_652677))], (1640 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _605968) ^ [_652916] : [tptpcol_13_118117(_652916), -(tptpcol_12_118116(_652916))], (1648 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _605968) ^ [_653155] : [tptpcol_11_40388(_653155), -(tptpcol_10_40324(_653155))], (1656 ^ _605968) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _605968) ^ [_653408, _653410] : [tptptypes_9_824(_653410, _653408), -(tptptypes_8_823(_653410, _653408))], (1664 ^ _605968) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _605968) ^ [_653710] : [tptpcol_11_26887(_653710), -(tptpcol_10_26886(_653710))], (1674 ^ _605968) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _605968) ^ [_653949] : [tptpcol_16_26926(_653949), -(tptpcol_15_26925(_653949))], (1682 ^ _605968) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _605968) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _605968) ^ [_654255, _654257] : [few(_654257, _654255), -(setorcollection(_654255))], (1692 ^ _605968) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _605968) ^ [_654502] : [tptpcol_4_65539(_654502), -(tptpcol_3_65538(_654502))], (1700 ^ _605968) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _605968) ^ [_654741] : [tptpcol_8_39940(_654741), -(tptpcol_7_39939(_654741))], (1708 ^ _605968) ^ [_654927] : [-(tptpofobject(_654927, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_654927)], (1718 ^ _605968) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _605968) ^ [_655366] : [tptpcol_15_22076(_655366), -(tptpcol_14_22072(_655366))], (1732 ^ _605968) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _605968) ^ [_655605] : [tptpcol_0_0(_655605), -(individual(_655605))], (1740 ^ _605968) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _605968) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _605968) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _605968) ^ [_656003] : [tptpcol_11_72774(_656003), -(tptpcol_10_72710(_656003))], (1754 ^ _605968) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _605968) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _605968) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _605968) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _605968) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _605968) ^ [_656639] : [tptpcol_7_21508(_656639), -(tptpcol_6_20484(_656639))], (1780 ^ _605968) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _605968) ^ [_656878] : [tptpcol_6_108546(_656878), -(tptpcol_5_106498(_656878))], (1788 ^ _605968) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _605968) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _605968) ^ [_657236] : [geolevel_4(_657236), -(geographicalregion(_657236))], (1802 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _605968) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _605968) ^ [_657713] : [tptpcol_13_26920(_657713), -(tptpcol_12_26919(_657713))], (1822 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _605968) ^ [_657952] : [tptpcol_14_92264(_657952), -(tptpcol_13_92263(_657952))], (1830 ^ _605968) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _605968) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _605968) ^ [_658244] : [tptpcol_9_40196(_658244), -(tptpcol_8_39940(_658244))], (1840 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _605968) ^ [_658602] : [tptpcol_13_92263(_658602), -(tptpcol_12_92262(_658602))], (1854 ^ _605968) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _605968) ^ [_658894] : [tptpcol_5_90114(_658894), -(tptpcol_4_90113(_658894))], (1864 ^ _605968) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _605968) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _605968) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _605968) ^ [_659305] : [tptpcol_15_26925(_659305), -(tptpcol_14_26921(_659305))], (1880 ^ _605968) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _605968) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _605968) ^ [_659663] : [tptpcol_7_18437(_659663), -(tptpcol_6_18436(_659663))], (1894 ^ _605968) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _605968) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _605968) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _605968) ^ [_660074] : [tptpcol_3_98305(_660074), tptpcol_3_114688(_660074)], (1910 ^ _605968) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _605968) ^ [_660312] : [tptpcol_5_110593(_660312), -(tptpcol_4_106497(_660312))], (1918 ^ _605968) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _605968) ^ [_660551] : [tptpcol_13_72791(_660551), -(tptpcol_12_72775(_660551))], (1926 ^ _605968) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _605968) ^ [_660790] : [computerdataartifact(_660790), -(artifact(_660790))], (1934 ^ _605968) ^ [_660976] : [-(tptpofobject(_660976, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_660976)], (1944 ^ _605968) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _605968) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _605968) ^ [_661415] : [tptpcol_10_92166(_661415), -(tptpcol_9_92165(_661415))], (1958 ^ _605968) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _605968) ^ [_661654] : [tptpcol_14_118118(_661654), -(tptpcol_13_118117(_661654))], (1966 ^ _605968) ^ [_661840] : [isa(_661840, c_tptpcol_14_118118), -(tptpcol_14_118118(_661840))], (1972 ^ _605968) ^ [_662028] : [tptpcol_14_118118(_662028), -(isa(_662028, c_tptpcol_14_118118))], (1978 ^ _605968) ^ [_662201] : [-(natfunction(f_tptpquantityfn_6(_662201), c_tptpquantityfn_6))], (1980 ^ _605968) ^ [_662281] : [-(natargument(f_tptpquantityfn_6(_662281), n_1, _662281))], (1982 ^ _605968) ^ [_662362] : [-(tptpquantity(f_tptpquantityfn_6(_662362)))], (1984 ^ _605968) ^ [_662456] : [isa(_662456, c_tptpcol_16_26939), -(tptpcol_16_26939(_662456))], (1990 ^ _605968) ^ [_662644] : [tptpcol_16_26939(_662644), -(isa(_662644, c_tptpcol_16_26939))], (1996 ^ _605968) ^ [_662832] : [isa(_662832, c_tptpcol_16_62187), -(tptpcol_16_62187(_662832))], (2002 ^ _605968) ^ [_663020] : [tptpcol_16_62187(_663020), -(isa(_663020, c_tptpcol_16_62187))], (2008 ^ _605968) ^ [_663208] : [isa(_663208, c_tptpcol_13_92263), -(tptpcol_13_92263(_663208))], (2014 ^ _605968) ^ [_663396] : [tptpcol_13_92263(_663396), -(isa(_663396, c_tptpcol_13_92263))], (2020 ^ _605968) ^ [_663584] : [isa(_663584, c_geolevel_4), -(geolevel_4(_663584))], (2026 ^ _605968) ^ [_663772] : [geolevel_4(_663772), -(isa(_663772, c_geolevel_4))], (2032 ^ _605968) ^ [_663960] : [isa(_663960, c_tptpcol_15_4027), -(tptpcol_15_4027(_663960))], (2038 ^ _605968) ^ [_664148] : [tptpcol_15_4027(_664148), -(isa(_664148, c_tptpcol_15_4027))], (2044 ^ _605968) ^ [_664336] : [isa(_664336, c_pushingwithfingers), -(pushingwithfingers(_664336))], (2050 ^ _605968) ^ [_664524] : [pushingwithfingers(_664524), -(isa(_664524, c_pushingwithfingers))], (2056 ^ _605968) ^ [_664726, _664728] : [affiliatedwith(_664728, _664726), -(agent_generic(_664726))], (2062 ^ _605968) ^ [_664934, _664936] : [affiliatedwith(_664936, _664934), -(agent_generic(_664936))], (2068 ^ _605968) ^ [_665142, _665144] : [affiliatedwith(_665144, _665142), -(affiliatedwith(_665142, _665144))], (2074 ^ _605968) ^ [_665322] : [affiliatedwith(_665322, _665322)], (2076 ^ _605968) ^ [_665415] : [isa(_665415, c_footballteam), -(footballteam(_665415))], (2082 ^ _605968) ^ [_665603] : [footballteam(_665603), -(isa(_665603, c_footballteam))], (2088 ^ _605968) ^ [_665791] : [isa(_665791, c_tptpcol_16_4451), -(tptpcol_16_4451(_665791))], (2094 ^ _605968) ^ [_665979] : [tptpcol_16_4451(_665979), -(isa(_665979, c_tptpcol_16_4451))], (2100 ^ _605968) ^ [_666167] : [isa(_666167, c_pushingwithopenhand), -(pushingwithopenhand(_666167))], (2106 ^ _605968) ^ [_666355] : [pushingwithopenhand(_666355), -(isa(_666355, c_pushingwithopenhand))], (2112 ^ _605968) ^ [_666543] : [isa(_666543, c_tptpcol_15_22076), -(tptpcol_15_22076(_666543))], (2118 ^ _605968) ^ [_666731] : [tptpcol_15_22076(_666731), -(isa(_666731, c_tptpcol_15_22076))], (2124 ^ _605968) ^ [_666904] : [-(natfunction(f_tptpquantityfn_2(_666904), c_tptpquantityfn_2))], (2126 ^ _605968) ^ [_666984] : [-(natargument(f_tptpquantityfn_2(_666984), n_1, _666984))], (2128 ^ _605968) ^ [_667065] : [-(tptpquantity(f_tptpquantityfn_2(_667065)))], (2130 ^ _605968) ^ [_667159] : [isa(_667159, c_tptpcol_7_39939), -(tptpcol_7_39939(_667159))], (2136 ^ _605968) ^ [_667347] : [tptpcol_7_39939(_667347), -(isa(_667347, c_tptpcol_7_39939))], (2142 ^ _605968) ^ [_667535] : [isa(_667535, c_tptpcol_8_39940), -(tptpcol_8_39940(_667535))], (2148 ^ _605968) ^ [_667723] : [tptpcol_8_39940(_667723), -(isa(_667723, c_tptpcol_8_39940))], (2154 ^ _605968) ^ [_667911] : [isa(_667911, c_tptpcol_15_26925), -(tptpcol_15_26925(_667911))], (2160 ^ _605968) ^ [_668099] : [tptpcol_15_26925(_668099), -(isa(_668099, c_tptpcol_15_26925))], (2166 ^ _605968) ^ [_668287] : [isa(_668287, c_tptpcol_16_26926), -(tptpcol_16_26926(_668287))], (2172 ^ _605968) ^ [_668475] : [tptpcol_16_26926(_668475), -(isa(_668475, c_tptpcol_16_26926))], (2178 ^ _605968) ^ [_668663] : [isa(_668663, c_tptpcol_13_118117), -(tptpcol_13_118117(_668663))], (2184 ^ _605968) ^ [_668851] : [tptpcol_13_118117(_668851), -(isa(_668851, c_tptpcol_13_118117))], (2190 ^ _605968) ^ [_669039] : [isa(_669039, c_tptpcol_5_90114), -(tptpcol_5_90114(_669039))], (2196 ^ _605968) ^ [_669227] : [tptpcol_5_90114(_669227), -(isa(_669227, c_tptpcol_5_90114))], (2202 ^ _605968) ^ [_669429, _669431] : [tptptypes_5_802(_669431, _669429), -(firstordercollection(_669429))], (2208 ^ _605968) ^ [_669637, _669639] : [tptptypes_5_802(_669639, _669637), -(firstordercollection(_669639))], (2214 ^ _605968) ^ [_669831] : [isa(_669831, c_tptpcol_16_72795), -(tptpcol_16_72795(_669831))], (2220 ^ _605968) ^ [_670019] : [tptpcol_16_72795(_670019), -(isa(_670019, c_tptpcol_16_72795))], (2226 ^ _605968) ^ [_670207] : [isa(_670207, c_tptpcol_8_114177), -(tptpcol_8_114177(_670207))], (2232 ^ _605968) ^ [_670395] : [tptpcol_8_114177(_670395), -(isa(_670395, c_tptpcol_8_114177))], (2238 ^ _605968) ^ [_670583] : [isa(_670583, c_tptpcol_15_50957), -(tptpcol_15_50957(_670583))], (2244 ^ _605968) ^ [_670771] : [tptpcol_15_50957(_670771), -(isa(_670771, c_tptpcol_15_50957))], (2250 ^ _605968) ^ [_670959] : [isa(_670959, c_tptpcol_16_50958), -(tptpcol_16_50958(_670959))], (2256 ^ _605968) ^ [_671147] : [tptpcol_16_50958(_671147), -(isa(_671147, c_tptpcol_16_50958))], (2262 ^ _605968) ^ [_671335] : [isa(_671335, c_tptpcol_6_71683), -(tptpcol_6_71683(_671335))], (2268 ^ _605968) ^ [_671523] : [tptpcol_6_71683(_671523), -(isa(_671523, c_tptpcol_6_71683))], (2274 ^ _605968) ^ [_671711] : [isa(_671711, c_tptpcol_11_72774), -(tptpcol_11_72774(_671711))], (2280 ^ _605968) ^ [_671899] : [tptpcol_11_72774(_671899), -(isa(_671899, c_tptpcol_11_72774))], (2286 ^ _605968) ^ [_672087] : [isa(_672087, c_tptpcol_12_72775), -(tptpcol_12_72775(_672087))], (2292 ^ _605968) ^ [_672275] : [tptpcol_12_72775(_672275), -(isa(_672275, c_tptpcol_12_72775))], (2298 ^ _605968) ^ [_672463] : [isa(_672463, c_tptpcol_5_110593), -(tptpcol_5_110593(_672463))], (2304 ^ _605968) ^ [_672651] : [tptpcol_5_110593(_672651), -(isa(_672651, c_tptpcol_5_110593))], (2310 ^ _605968) ^ [_672839] : [isa(_672839, c_tptpcol_16_25972), -(tptpcol_16_25972(_672839))], (2316 ^ _605968) ^ [_673027] : [tptpcol_16_25972(_673027), -(isa(_673027, c_tptpcol_16_25972))], (2322 ^ _605968) ^ [_673229, _673231] : [tptp_8_271(_673231, _673229), -(razor(_673229))], (2328 ^ _605968) ^ [_673437, _673439] : [tptp_8_271(_673439, _673437), -(tptpcol_5_24579(_673439))], (2334 ^ _605968) ^ [_673631] : [isa(_673631, c_tptpcol_4_90113), -(tptpcol_4_90113(_673631))], (2340 ^ _605968) ^ [_673819] : [tptpcol_4_90113(_673819), -(isa(_673819, c_tptpcol_4_90113))], (2346 ^ _605968) ^ [_674007] : [isa(_674007, c_tptpcol_10_93700), -(tptpcol_10_93700(_674007))], (2352 ^ _605968) ^ [_674195] : [tptpcol_10_93700(_674195), -(isa(_674195, c_tptpcol_10_93700))], (2358 ^ _605968) ^ [_674383] : [isa(_674383, c_tptpcol_9_93699), -(tptpcol_9_93699(_674383))], (2364 ^ _605968) ^ [_674571] : [tptpcol_9_93699(_674571), -(isa(_674571, c_tptpcol_9_93699))], (2370 ^ _605968) ^ [_674759] : [isa(_674759, c_aspatialthing), -(aspatialthing(_674759))], (2376 ^ _605968) ^ [_674947] : [aspatialthing(_674947), -(isa(_674947, c_aspatialthing))], (2382 ^ _605968) ^ [_675135] : [isa(_675135, c_tptpcol_7_117762), -(tptpcol_7_117762(_675135))], (2388 ^ _605968) ^ [_675323] : [tptpcol_7_117762(_675323), -(isa(_675323, c_tptpcol_7_117762))], (2394 ^ _605968) ^ [_675511] : [isa(_675511, c_tptpcol_8_117763), -(tptpcol_8_117763(_675511))], (2400 ^ _605968) ^ [_675699] : [tptpcol_8_117763(_675699), -(isa(_675699, c_tptpcol_8_117763))], (2406 ^ _605968) ^ [_675887] : [isa(_675887, c_tptpcol_7_18437), -(tptpcol_7_18437(_675887))], (2412 ^ _605968) ^ [_676075] : [tptpcol_7_18437(_676075), -(isa(_676075, c_tptpcol_7_18437))], (2418 ^ _605968) ^ [_676263] : [isa(_676263, c_tptpcol_6_18436), -(tptpcol_6_18436(_676263))], (2424 ^ _605968) ^ [_676451] : [tptpcol_6_18436(_676451), -(isa(_676451, c_tptpcol_6_18436))], (2430 ^ _605968) ^ [_676639] : [isa(_676639, c_tptpcol_8_93698), -(tptpcol_8_93698(_676639))], (2436 ^ _605968) ^ [_676827] : [tptpcol_8_93698(_676827), -(isa(_676827, c_tptpcol_8_93698))], (2442 ^ _605968) ^ [_677015] : [isa(_677015, c_tptpcol_11_109125), -(tptpcol_11_109125(_677015))], (2448 ^ _605968) ^ [_677203] : [tptpcol_11_109125(_677203), -(isa(_677203, c_tptpcol_11_109125))], (2454 ^ _605968) ^ [_677391] : [isa(_677391, c_tptpcol_6_108546), -(tptpcol_6_108546(_677391))], (2460 ^ _605968) ^ [_677579] : [tptpcol_6_108546(_677579), -(isa(_677579, c_tptpcol_6_108546))], (2466 ^ _605968) ^ [_677767] : [isa(_677767, c_tptpcol_6_20484), -(tptpcol_6_20484(_677767))], (2472 ^ _605968) ^ [_677955] : [tptpcol_6_20484(_677955), -(isa(_677955, c_tptpcol_6_20484))], (2478 ^ _605968) ^ [_678157, _678159] : [few(_678159, _678157), -(setorcollection(_678157))], (2484 ^ _605968) ^ [_678365, _678367] : [few(_678367, _678365), -(setorcollection(_678365))], (2490 ^ _605968) ^ [_678573, _678575] : [few(_678575, _678573), -(setorcollection(_678575))], (2496 ^ _605968) ^ [_678781, _678783] : [few(_678783, _678781), -(setorcollection(_678783))], (2502 ^ _605968) ^ [_679003, _679005, _679007] : [-(few(_679007, _679003)), few(_679007, _679005), subsetof(_679003, _679005)], (2512 ^ _605968) ^ [_679298] : [isa(_679298, c_tptpcol_15_130931), -(tptpcol_15_130931(_679298))], (2518 ^ _605968) ^ [_679486] : [tptpcol_15_130931(_679486), -(isa(_679486, c_tptpcol_15_130931))], (2524 ^ _605968) ^ [_679674] : [isa(_679674, c_tptpcol_16_130933), -(tptpcol_16_130933(_679674))], (2530 ^ _605968) ^ [_679862] : [tptpcol_16_130933(_679862), -(isa(_679862, c_tptpcol_16_130933))], (2536 ^ _605968) ^ [_680050] : [isa(_680050, c_tptpcol_7_92163), -(tptpcol_7_92163(_680050))], (2542 ^ _605968) ^ [_680238] : [tptpcol_7_92163(_680238), -(isa(_680238, c_tptpcol_7_92163))], (2548 ^ _605968) ^ [_680426] : [isa(_680426, c_tptpcol_15_130923), -(tptpcol_15_130923(_680426))], (2554 ^ _605968) ^ [_680614] : [tptpcol_15_130923(_680614), -(isa(_680614, c_tptpcol_15_130923))], (2560 ^ _605968) ^ [_680802] : [isa(_680802, c_tptpcol_16_130924), -(tptpcol_16_130924(_680802))], (2566 ^ _605968) ^ [_680990] : [tptpcol_16_130924(_680990), -(isa(_680990, c_tptpcol_16_130924))], (2572 ^ _605968) ^ [_681178] : [isa(_681178, c_intangibleindividual), -(intangibleindividual(_681178))], (2578 ^ _605968) ^ [_681366] : [intangibleindividual(_681366), -(isa(_681366, c_intangibleindividual))], (2584 ^ _605968) ^ [_681553, _681555] : [-(natfunction(f_citynamedfn(_681555, _681553), c_citynamedfn))], (2586 ^ _605968) ^ [_681650, _681652] : [-(natargument(f_citynamedfn(_681652, _681650), n_1, _681652))], (2588 ^ _605968) ^ [_681748, _681750] : [-(natargument(f_citynamedfn(_681750, _681748), n_2, _681748))], (2590 ^ _605968) ^ [_681846, _681848] : [-(city(f_citynamedfn(_681848, _681846)))], (2592 ^ _605968) ^ [_681943] : [isa(_681943, c_tptpcol_13_26920), -(tptpcol_13_26920(_681943))], (2598 ^ _605968) ^ [_682131] : [tptpcol_13_26920(_682131), -(isa(_682131, c_tptpcol_13_26920))], (2604 ^ _605968) ^ [_682319] : [isa(_682319, c_tptpcol_14_26921), -(tptpcol_14_26921(_682319))], (2610 ^ _605968) ^ [_682507] : [tptpcol_14_26921(_682507), -(isa(_682507, c_tptpcol_14_26921))], (2616 ^ _605968) ^ [_682695] : [isa(_682695, c_tptpcol_3_65538), -(tptpcol_3_65538(_682695))], (2622 ^ _605968) ^ [_682883] : [tptpcol_3_65538(_682883), -(isa(_682883, c_tptpcol_3_65538))], (2628 ^ _605968) ^ [_683071] : [isa(_683071, c_tptpcol_16_27189), -(tptpcol_16_27189(_683071))], (2634 ^ _605968) ^ [_683259] : [tptpcol_16_27189(_683259), -(isa(_683259, c_tptpcol_16_27189))], (2640 ^ _605968) ^ [_683461, _683463] : [tptp_9_51(_683463, _683461), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_683461))], (2646 ^ _605968) ^ [_683669, _683671] : [tptp_9_51(_683671, _683669), -(tptpcol_7_26628(_683671))], (2652 ^ _605968) ^ [_683863] : [isa(_683863, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_683863))], (2658 ^ _605968) ^ [_684051] : [reflexivebinarypredicate(_684051), -(isa(_684051, c_reflexivebinarypredicate))], (2664 ^ _605968) ^ [_684239] : [isa(_684239, c_tptpcol_7_21508), -(tptpcol_7_21508(_684239))], (2670 ^ _605968) ^ [_684427] : [tptpcol_7_21508(_684427), -(isa(_684427, c_tptpcol_7_21508))], (2676 ^ _605968) ^ [_684615] : [isa(_684615, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_684615))], (2682 ^ _605968) ^ [_684803] : [hpkb_subnationalagent(_684803), -(isa(_684803, c_hpkb_subnationalagent))], (2688 ^ _605968) ^ [_684991] : [isa(_684991, c_state_geopolitical), -(state_geopolitical(_684991))], (2694 ^ _605968) ^ [_685179] : [state_geopolitical(_685179), -(isa(_685179, c_state_geopolitical))], (2700 ^ _605968) ^ [_685394, _685396, _685398, _685400] : [-(natfunction(f_relationallexistsfn(_685400, _685398, _685396, _685394), c_relationallexistsfn))], (2702 ^ _605968) ^ [_685525, _685527, _685529, _685531] : [-(natargument(f_relationallexistsfn(_685531, _685529, _685527, _685525), n_1, _685531))], (2704 ^ _605968) ^ [_685657, _685659, _685661, _685663] : [-(natargument(f_relationallexistsfn(_685663, _685661, _685659, _685657), n_2, _685661))], (2706 ^ _605968) ^ [_685789, _685791, _685793, _685795] : [-(natargument(f_relationallexistsfn(_685795, _685793, _685791, _685789), n_3, _685791))], (2708 ^ _605968) ^ [_685921, _685923, _685925, _685927] : [-(natargument(f_relationallexistsfn(_685927, _685925, _685923, _685921), n_4, _685921))], (2710 ^ _605968) ^ [_686053, _686055, _686057, _686059] : [-(thing(f_relationallexistsfn(_686059, _686057, _686055, _686053)))], (2712 ^ _605968) ^ [_686170, _686172] : [arg2isa(_686172, _686170), -(collection(_686170))], (2718 ^ _605968) ^ [_686378, _686380] : [arg2isa(_686380, _686378), -(relation(_686380))], (2724 ^ _605968) ^ [_686600, _686602, _686604] : [-(arg2isa(_686604, _686600)), arg2isa(_686604, _686602), genls(_686602, _686600)], (2734 ^ _605968) ^ [_686923, _686925, _686927] : [-(arg2isa(_686927, _686923)), arg2isa(_686927, _686925), genls(_686925, _686923)], (2744 ^ _605968) ^ [_687218] : [isa(_687218, c_geolevel_1), -(geolevel_1(_687218))], (2750 ^ _605968) ^ [_687406] : [geolevel_1(_687406), -(isa(_687406, c_geolevel_1))], (2756 ^ _605968) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _605968) ^ [_687647] : [isa(_687647, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_687647))], (2764 ^ _605968) ^ [_687835] : [spatialthing_nonsituational(_687835), -(isa(_687835, c_spatialthing_nonsituational))], (2770 ^ _605968) ^ [_688023] : [isa(_688023, c_militaryperson), -(militaryperson(_688023))], (2776 ^ _605968) ^ [_688211] : [militaryperson(_688211), -(isa(_688211, c_militaryperson))], (2782 ^ _605968) ^ [_688399] : [isa(_688399, c_tptpcol_15_72793), -(tptpcol_15_72793(_688399))], (2788 ^ _605968) ^ [_688587] : [tptpcol_15_72793(_688587), -(isa(_688587, c_tptpcol_15_72793))], (2794 ^ _605968) ^ [_688775] : [isa(_688775, c_tptpcol_9_26885), -(tptpcol_9_26885(_688775))], (2800 ^ _605968) ^ [_688963] : [tptpcol_9_26885(_688963), -(isa(_688963, c_tptpcol_9_26885))], (2806 ^ _605968) ^ [_689151] : [isa(_689151, c_tptpcol_10_26886), -(tptpcol_10_26886(_689151))], (2812 ^ _605968) ^ [_689339] : [tptpcol_10_26886(_689339), -(isa(_689339, c_tptpcol_10_26886))], (2818 ^ _605968) ^ [_689541, _689543] : [tptptypes_8_823(_689543, _689541), -(firstordercollection(_689541))], (2824 ^ _605968) ^ [_689749, _689751] : [tptptypes_8_823(_689751, _689749), -(firstordercollection(_689751))], (2830 ^ _605968) ^ [_689943] : [isa(_689943, c_tptpcol_16_92269), -(tptpcol_16_92269(_689943))], (2836 ^ _605968) ^ [_690131] : [tptpcol_16_92269(_690131), -(isa(_690131, c_tptpcol_16_92269))], (2842 ^ _605968) ^ [_690319] : [isa(_690319, c_tptpcol_15_109185), -(tptpcol_15_109185(_690319))], (2848 ^ _605968) ^ [_690507] : [tptpcol_15_109185(_690507), -(isa(_690507, c_tptpcol_15_109185))], (2854 ^ _605968) ^ [_690695] : [isa(_690695, c_tptpcol_6_26627), -(tptpcol_6_26627(_690695))], (2860 ^ _605968) ^ [_690883] : [tptpcol_6_26627(_690883), -(isa(_690883, c_tptpcol_6_26627))], (2866 ^ _605968) ^ [_691071] : [isa(_691071, c_tptpcol_12_118116), -(tptpcol_12_118116(_691071))], (2872 ^ _605968) ^ [_691259] : [tptpcol_12_118116(_691259), -(isa(_691259, c_tptpcol_12_118116))], (2878 ^ _605968) ^ [_691447] : [isa(_691447, c_tptpcol_8_18438), -(tptpcol_8_18438(_691447))], (2884 ^ _605968) ^ [_691635] : [tptpcol_8_18438(_691635), -(isa(_691635, c_tptpcol_8_18438))], (2890 ^ _605968) ^ [_691823] : [isa(_691823, c_tptpcol_15_30970), -(tptpcol_15_30970(_691823))], (2896 ^ _605968) ^ [_692011] : [tptpcol_15_30970(_692011), -(isa(_692011, c_tptpcol_15_30970))], (2902 ^ _605968) ^ [_692199] : [isa(_692199, c_tptpcol_16_30972), -(tptpcol_16_30972(_692199))], (2908 ^ _605968) ^ [_692387] : [tptpcol_16_30972(_692387), -(isa(_692387, c_tptpcol_16_30972))], (2914 ^ _605968) ^ [_692575] : [isa(_692575, c_tptpcol_14_109181), -(tptpcol_14_109181(_692575))], (2920 ^ _605968) ^ [_692763] : [tptpcol_14_109181(_692763), -(isa(_692763, c_tptpcol_14_109181))], (2926 ^ _605968) ^ [_692951] : [isa(_692951, c_physicalorderingpredicate), -(physicalorderingpredicate(_692951))], (2932 ^ _605968) ^ [_693139] : [physicalorderingpredicate(_693139), -(isa(_693139, c_physicalorderingpredicate))], (2938 ^ _605968) ^ [_693327] : [isa(_693327, c_tptpcol_16_7738), -(tptpcol_16_7738(_693327))], (2944 ^ _605968) ^ [_693515] : [tptpcol_16_7738(_693515), -(isa(_693515, c_tptpcol_16_7738))], (2950 ^ _605968) ^ [_693717, _693719] : [tptp_8_968(_693719, _693717), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_693717))], (2956 ^ _605968) ^ [_693925, _693927] : [tptp_8_968(_693927, _693925), -(tptpcol_7_7172(_693927))], (2962 ^ _605968) ^ [_694147, _694149, _694151] : [relationexistsall(_694151, _694149, _694147), -(collection(_694147))], (2968 ^ _605968) ^ [_694377, _694379, _694381] : [relationexistsall(_694381, _694379, _694377), -(collection(_694379))], (2974 ^ _605968) ^ [_694607, _694609, _694611] : [relationexistsall(_694611, _694609, _694607), -(binarypredicate(_694611))], (2980 ^ _605968) ^ [_694809] : [isa(_694809, c_tptpcol_7_26628), -(tptpcol_7_26628(_694809))], (2986 ^ _605968) ^ [_694997] : [tptpcol_7_26628(_694997), -(isa(_694997, c_tptpcol_7_26628))], (2992 ^ _605968) ^ [_695185] : [isa(_695185, c_tptpcol_8_26629), -(tptpcol_8_26629(_695185))], (2998 ^ _605968) ^ [_695373] : [tptpcol_8_26629(_695373), -(isa(_695373, c_tptpcol_8_26629))], (3004 ^ _605968) ^ [_695561] : [isa(_695561, c_tptpcol_3_114688), -(tptpcol_3_114688(_695561))], (3010 ^ _605968) ^ [_695749] : [tptpcol_3_114688(_695749), -(isa(_695749, c_tptpcol_3_114688))], (3016 ^ _605968) ^ [_695922] : [-(natfunction(f_contextofpcwfn(_695922), c_contextofpcwfn))], (3018 ^ _605968) ^ [_696002] : [-(natargument(f_contextofpcwfn(_696002), n_1, _696002))], (3020 ^ _605968) ^ [_696083] : [-(microtheory(f_contextofpcwfn(_696083)))], (3022 ^ _605968) ^ [_696191, _696193] : [arg1isa(_696193, _696191), -(collection(_696191))], (3028 ^ _605968) ^ [_696399, _696401] : [arg1isa(_696401, _696399), -(relation(_696401))], (3034 ^ _605968) ^ [_696621, _696623, _696625] : [-(arg1isa(_696625, _696621)), arg1isa(_696625, _696623), genls(_696623, _696621)], (3044 ^ _605968) ^ [_696944, _696946, _696948] : [-(arg1isa(_696948, _696944)), arg1isa(_696948, _696946), genls(_696946, _696944)], (3054 ^ _605968) ^ [_697253, _697255] : [objectfoundinlocation(_697255, _697253), -(spatialthing_nonsituational(_697253))], (3060 ^ _605968) ^ [_697461, _697463] : [objectfoundinlocation(_697463, _697461), -(spatialthing_localized(_697461))], (3066 ^ _605968) ^ [_697669, _697671] : [objectfoundinlocation(_697671, _697669), -(spatialthing_nonsituational(_697671))], (3072 ^ _605968) ^ [_697877, _697879] : [objectfoundinlocation(_697879, _697877), -(spatialthing_localized(_697879))], (3078 ^ _605968) ^ [_698099, _698101, _698103] : [-(objectfoundinlocation(_698103, _698099)), objectfoundinlocation(_698103, _698101), objectfoundinlocation(_698101, _698099)], (3088 ^ _605968) ^ [_698378] : [objectfoundinlocation(_698378, _698378)], (3090 ^ _605968) ^ [_698499, _698501, _698503] : [-(objectfoundinlocation(_698503, _698499)), objectfoundinlocation(_698503, _698501), geopoliticalsubdivision(_698499, _698501)], (3100 ^ _605968) ^ [_698822, _698824, _698826] : [-(objectfoundinlocation(_698826, _698822)), objectfoundinlocation(_698826, _698824), geographicallysubsumes(_698822, _698824)], (3110 ^ _605968) ^ [_699145, _699147, _699149] : [-(objectfoundinlocation(_699149, _699145)), objectfoundinlocation(_699149, _699147), subregions(_699145, _699147)], (3120 ^ _605968) ^ [_699440] : [isa(_699440, c_ship), -(ship(_699440))], (3126 ^ _605968) ^ [_699628] : [ship(_699628), -(isa(_699628, c_ship))], (3132 ^ _605968) ^ [_699829, _699831, _699833] : [-(natfunction(f_subcollectionofwithrelationtofn(_699833, _699831, _699829), c_subcollectionofwithrelationtofn))], (3134 ^ _605968) ^ [_699943, _699945, _699947] : [-(natargument(f_subcollectionofwithrelationtofn(_699947, _699945, _699943), n_1, _699947))], (3136 ^ _605968) ^ [_700058, _700060, _700062] : [-(natargument(f_subcollectionofwithrelationtofn(_700062, _700060, _700058), n_2, _700060))], (3138 ^ _605968) ^ [_700173, _700175, _700177] : [-(natargument(f_subcollectionofwithrelationtofn(_700177, _700175, _700173), n_3, _700173))], (3140 ^ _605968) ^ [_700288, _700290, _700292] : [-(collection(f_subcollectionofwithrelationtofn(_700292, _700290, _700288)))], (3142 ^ _605968) ^ [_700388] : [isa(_700388, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_700388))], (3148 ^ _605968) ^ [_700576] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_700576), -(isa(_700576, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _605968) ^ [_700764] : [isa(_700764, c_tptpcol_4_65539), -(tptpcol_4_65539(_700764))], (3160 ^ _605968) ^ [_700952] : [tptpcol_4_65539(_700952), -(isa(_700952, c_tptpcol_4_65539))], (3166 ^ _605968) ^ [_701140] : [isa(_701140, c_tptpcol_5_69635), -(tptpcol_5_69635(_701140))], (3172 ^ _605968) ^ [_701328] : [tptpcol_5_69635(_701328), -(isa(_701328, c_tptpcol_5_69635))], (3178 ^ _605968) ^ [_701516] : [isa(_701516, c_tptpcol_3_16386), -(tptpcol_3_16386(_701516))], (3184 ^ _605968) ^ [_701704] : [tptpcol_3_16386(_701704), -(isa(_701704, c_tptpcol_3_16386))], (3190 ^ _605968) ^ [_701906, _701908] : [no(_701908, _701906), -(setorcollection(_701906))], (3196 ^ _605968) ^ [_702114, _702116] : [no(_702116, _702114), -(setorcollection(_702116))], (3202 ^ _605968) ^ [_702322, _702324] : [no(_702324, _702322), -(no(_702322, _702324))], (3208 ^ _605968) ^ [_702546, _702548, _702550] : [-(no(_702550, _702546)), no(_702550, _702548), subsetof(_702546, _702548)], (3218 ^ _605968) ^ [_702869, _702871, _702873] : [-(no(_702869, _702871)), no(_702873, _702871), subsetof(_702869, _702873)], (3228 ^ _605968) ^ [_703192, _703194, _703196] : [-(no(_703192, _703194)), no(_703196, _703194), genls(_703192, _703196)], (3238 ^ _605968) ^ [_703515, _703517, _703519] : [-(no(_703519, _703515)), no(_703519, _703517), genls(_703515, _703517)], (3248 ^ _605968) ^ [_703838, _703840, _703842] : [-(no(_703838, _703840)), no(_703842, _703840), subsetof(_703838, _703842)], (3258 ^ _605968) ^ [_704161, _704163, _704165] : [-(no(_704165, _704161)), no(_704165, _704163), subsetof(_704161, _704163)], (3268 ^ _605968) ^ [_704456] : [isa(_704456, c_geographicalregion), -(geographicalregion(_704456))], (3274 ^ _605968) ^ [_704644] : [geographicalregion(_704644), -(isa(_704644, c_geographicalregion))], (3280 ^ _605968) ^ [_704817] : [-(natfunction(f_tptpquantityfn_21(_704817), c_tptpquantityfn_21))], (3282 ^ _605968) ^ [_704897] : [-(natargument(f_tptpquantityfn_21(_704897), n_1, _704897))], (3284 ^ _605968) ^ [_704978] : [-(tptpquantity(f_tptpquantityfn_21(_704978)))], (3286 ^ _605968) ^ [_705086, _705088] : [airporthasiatacode(_705088, _705086), -(stringoflengthfn3(_705086))], (3292 ^ _605968) ^ [_705294, _705296] : [airporthasiatacode(_705296, _705294), -(airport_physical(_705296))], (3298 ^ _605968) ^ [_705488] : [isa(_705488, c_airport_physical), -(airport_physical(_705488))], (3304 ^ _605968) ^ [_705676] : [airport_physical(_705676), -(isa(_705676, c_airport_physical))], (3310 ^ _605968) ^ [_705877, _705879, _705881] : [-(natfunction(f_instancewithrelationtofn(_705881, _705879, _705877), c_instancewithrelationtofn))], (3312 ^ _605968) ^ [_705991, _705993, _705995] : [-(natargument(f_instancewithrelationtofn(_705995, _705993, _705991), n_1, _705995))], (3314 ^ _605968) ^ [_706106, _706108, _706110] : [-(natargument(f_instancewithrelationtofn(_706110, _706108, _706106), n_2, _706108))], (3316 ^ _605968) ^ [_706221, _706223, _706225] : [-(natargument(f_instancewithrelationtofn(_706225, _706223, _706221), n_3, _706221))], (3318 ^ _605968) ^ [_706336, _706338, _706340] : [-(thing(f_instancewithrelationtofn(_706340, _706338, _706336)))], (3320 ^ _605968) ^ [_706436] : [isa(_706436, c_tptpcol_6_112641), -(tptpcol_6_112641(_706436))], (3326 ^ _605968) ^ [_706624] : [tptpcol_6_112641(_706624), -(isa(_706624, c_tptpcol_6_112641))], (3332 ^ _605968) ^ [_706812] : [isa(_706812, c_tptpcol_7_113665), -(tptpcol_7_113665(_706812))], (3338 ^ _605968) ^ [_707000] : [tptpcol_7_113665(_707000), -(isa(_707000, c_tptpcol_7_113665))], (3344 ^ _605968) ^ [_707188] : [isa(_707188, c_artifact), -(artifact(_707188))], (3350 ^ _605968) ^ [_707376] : [artifact(_707376), -(isa(_707376, c_artifact))], (3356 ^ _605968) ^ [_707564] : [isa(_707564, c_tptpcol_13_18664), -(tptpcol_13_18664(_707564))], (3362 ^ _605968) ^ [_707752] : [tptpcol_13_18664(_707752), -(isa(_707752, c_tptpcol_13_18664))], (3368 ^ _605968) ^ [_707940] : [isa(_707940, c_firstordercollection), -(firstordercollection(_707940))], (3374 ^ _605968) ^ [_708128] : [firstordercollection(_708128), -(isa(_708128, c_firstordercollection))], (3380 ^ _605968) ^ [_708301] : [-(natfunction(f_tptpquantityfn_14(_708301), c_tptpquantityfn_14))], (3382 ^ _605968) ^ [_708381] : [-(natargument(f_tptpquantityfn_14(_708381), n_1, _708381))], (3384 ^ _605968) ^ [_708462] : [-(tptpquantity(f_tptpquantityfn_14(_708462)))], (3386 ^ _605968) ^ [_708556] : [isa(_708556, c_supplies), -(supplies(_708556))], (3392 ^ _605968) ^ [_708744] : [supplies(_708744), -(isa(_708744, c_supplies))], (3398 ^ _605968) ^ [_708932] : [isa(_708932, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_708932))], (3404 ^ _605968) ^ [_709120] : [inanimateobject_nonnatural(_709120), -(isa(_709120, c_inanimateobject_nonnatural))], (3410 ^ _605968) ^ [_709308] : [isa(_709308, c_tptpcol_13_22071), -(tptpcol_13_22071(_709308))], (3416 ^ _605968) ^ [_709496] : [tptpcol_13_22071(_709496), -(isa(_709496, c_tptpcol_13_22071))], (3422 ^ _605968) ^ [_709684] : [isa(_709684, c_tptpcol_14_22072), -(tptpcol_14_22072(_709684))], (3428 ^ _605968) ^ [_709872] : [tptpcol_14_22072(_709872), -(isa(_709872, c_tptpcol_14_22072))], (3434 ^ _605968) ^ [_710060] : [isa(_710060, c_tptpcol_7_108547), -(tptpcol_7_108547(_710060))], (3440 ^ _605968) ^ [_710248] : [tptpcol_7_108547(_710248), -(isa(_710248, c_tptpcol_7_108547))], (3446 ^ _605968) ^ [_710436] : [isa(_710436, c_tptpcol_8_109059), -(tptpcol_8_109059(_710436))], (3452 ^ _605968) ^ [_710624] : [tptpcol_8_109059(_710624), -(isa(_710624, c_tptpcol_8_109059))], (3458 ^ _605968) ^ [_710812] : [isa(_710812, c_tptpcol_14_93774), -(tptpcol_14_93774(_710812))], (3464 ^ _605968) ^ [_711000] : [tptpcol_14_93774(_711000), -(isa(_711000, c_tptpcol_14_93774))], (3470 ^ _605968) ^ [_711188] : [isa(_711188, c_tptpcol_15_93775), -(tptpcol_15_93775(_711188))], (3476 ^ _605968) ^ [_711376] : [tptpcol_15_93775(_711376), -(isa(_711376, c_tptpcol_15_93775))], (3482 ^ _605968) ^ [_711564] : [isa(_711564, c_tptpcol_16_8886), -(tptpcol_16_8886(_711564))], (3488 ^ _605968) ^ [_711752] : [tptpcol_16_8886(_711752), -(isa(_711752, c_tptpcol_16_8886))], (3494 ^ _605968) ^ [_711954, _711956] : [orientation(_711956, _711954), -(orientationvector(_711954))], (3500 ^ _605968) ^ [_712162, _712164] : [orientation(_712164, _712162), -(spatialthing_localized(_712164))], (3506 ^ _605968) ^ [_712356] : [isa(_712356, c_orientationvector), -(orientationvector(_712356))], (3512 ^ _605968) ^ [_712544] : [orientationvector(_712544), -(isa(_712544, c_orientationvector))], (3518 ^ _605968) ^ [_712732] : [isa(_712732, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_712732))], (3524 ^ _605968) ^ [_712920] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_712920), -(isa(_712920, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _605968) ^ [_713122, _713124] : [tptptypes_9_824(_713124, _713122), -(firstordercollection(_713122))], (3536 ^ _605968) ^ [_713330, _713332] : [tptptypes_9_824(_713332, _713330), -(firstordercollection(_713332))], (3542 ^ _605968) ^ [_713538, _713540] : [tptptypes_7_396(_713540, _713538), -(firstordercollection(_713538))], (3548 ^ _605968) ^ [_713746, _713748] : [tptptypes_7_396(_713748, _713746), -(firstordercollection(_713748))], (3554 ^ _605968) ^ [_713940] : [isa(_713940, c_tptpcol_12_22055), -(tptpcol_12_22055(_713940))], (3560 ^ _605968) ^ [_714128] : [tptpcol_12_22055(_714128), -(isa(_714128, c_tptpcol_12_22055))], (3566 ^ _605968) ^ [_714316] : [isa(_714316, c_tptpcol_16_29490), -(tptpcol_16_29490(_714316))], (3572 ^ _605968) ^ [_714504] : [tptpcol_16_29490(_714504), -(isa(_714504, c_tptpcol_16_29490))], (3578 ^ _605968) ^ [_714706, _714708] : [tptp_9_720(_714708, _714706), -(tptpcol_5_28674(_714706))], (3584 ^ _605968) ^ [_714914, _714916] : [tptp_9_720(_714916, _714914), -(executionbyfiringsquad(_714916))], (3590 ^ _605968) ^ [_715108] : [isa(_715108, c_runningshorts), -(runningshorts(_715108))], (3596 ^ _605968) ^ [_715296] : [runningshorts(_715296), -(isa(_715296, c_runningshorts))], (3602 ^ _605968) ^ [_715484] : [isa(_715484, c_tptpcol_9_118019), -(tptpcol_9_118019(_715484))], (3608 ^ _605968) ^ [_715672] : [tptpcol_9_118019(_715672), -(isa(_715672, c_tptpcol_9_118019))], (3614 ^ _605968) ^ [_715860] : [isa(_715860, c_tptpcol_16_31868), -(tptpcol_16_31868(_715860))], (3620 ^ _605968) ^ [_716048] : [tptpcol_16_31868(_716048), -(isa(_716048, c_tptpcol_16_31868))], (3626 ^ _605968) ^ [_716236] : [isa(_716236, c_movement_translationevent), -(movement_translationevent(_716236))], (3632 ^ _605968) ^ [_716424] : [movement_translationevent(_716424), -(isa(_716424, c_movement_translationevent))], (3638 ^ _605968) ^ [_716626, _716628] : [directionoftranslation_throughout(_716628, _716626), -(unitvectorinterval(_716626))], (3644 ^ _605968) ^ [_716834, _716836] : [directionoftranslation_throughout(_716836, _716834), -(movement_translationevent(_716836))], (3650 ^ _605968) ^ [_717056, _717058, _717060] : [-(directionoftranslation_throughout(_717056, _717058)), directionoftranslation_throughout(_717060, _717058), subevents(_717060, _717056)], (3660 ^ _605968) ^ [_717351] : [isa(_717351, c_unitvectorinterval), -(unitvectorinterval(_717351))], (3666 ^ _605968) ^ [_717539] : [unitvectorinterval(_717539), -(isa(_717539, c_unitvectorinterval))], (3672 ^ _605968) ^ [_717727] : [isa(_717727, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_717727))], (3678 ^ _605968) ^ [_717915] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_717915), -(isa(_717915, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _605968) ^ [_718117, _718119] : [tptp_8_875(_718119, _718117), -(tptpcol_4_24578(_718117))], (3690 ^ _605968) ^ [_718325, _718327] : [tptp_8_875(_718327, _718325), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_718327))], (3696 ^ _605968) ^ [_718547, _718549, _718551] : [relationallexists(_718551, _718549, _718547), -(collection(_718547))], (3702 ^ _605968) ^ [_718777, _718779, _718781] : [relationallexists(_718781, _718779, _718777), -(collection(_718779))], (3708 ^ _605968) ^ [_719007, _719009, _719011] : [relationallexists(_719011, _719009, _719007), -(binarypredicate(_719011))], (3714 ^ _605968) ^ [_719209] : [isa(_719209, c_tptpcol_16_10258), -(tptpcol_16_10258(_719209))], (3720 ^ _605968) ^ [_719397] : [tptpcol_16_10258(_719397), -(isa(_719397, c_tptpcol_16_10258))], (3726 ^ _605968) ^ [_719585] : [isa(_719585, c_pushingababycarriage), -(pushingababycarriage(_719585))], (3732 ^ _605968) ^ [_719773] : [pushingababycarriage(_719773), -(isa(_719773, c_pushingababycarriage))], (3738 ^ _605968) ^ [_719961] : [isa(_719961, c_aspatialinformationstore), -(aspatialinformationstore(_719961))], (3744 ^ _605968) ^ [_720149] : [aspatialinformationstore(_720149), -(isa(_720149, c_aspatialinformationstore))], (3750 ^ _605968) ^ [_720337] : [isa(_720337, c_collection), -(collection(_720337))], (3756 ^ _605968) ^ [_720525] : [collection(_720525), -(isa(_720525, c_collection))], (3762 ^ _605968) ^ [_720713] : [isa(_720713, c_fixedordercollection), -(fixedordercollection(_720713))], (3768 ^ _605968) ^ [_720901] : [fixedordercollection(_720901), -(isa(_720901, c_fixedordercollection))], (3774 ^ _605968) ^ [_721089] : [isa(_721089, c_tptpcol_8_92164), -(tptpcol_8_92164(_721089))], (3780 ^ _605968) ^ [_721277] : [tptpcol_8_92164(_721277), -(isa(_721277, c_tptpcol_8_92164))], (3786 ^ _605968) ^ [_721465] : [isa(_721465, c_tptpcol_9_92165), -(tptpcol_9_92165(_721465))], (3792 ^ _605968) ^ [_721653] : [tptpcol_9_92165(_721653), -(isa(_721653, c_tptpcol_9_92165))], (3798 ^ _605968) ^ [_721841] : [isa(_721841, c_tptpcol_1_1), -(tptpcol_1_1(_721841))], (3804 ^ _605968) ^ [_722029] : [tptpcol_1_1(_722029), -(isa(_722029, c_tptpcol_1_1))], (3810 ^ _605968) ^ [_722217] : [isa(_722217, c_tptpcol_2_2), -(tptpcol_2_2(_722217))], (3816 ^ _605968) ^ [_722405] : [tptpcol_2_2(_722405), -(isa(_722405, c_tptpcol_2_2))], (3822 ^ _605968) ^ [_722607, _722609] : [tptptypes_7_691(_722609, _722607), -(firstordercollection(_722607))], (3828 ^ _605968) ^ [_722815, _722817] : [tptptypes_7_691(_722817, _722815), -(firstordercollection(_722817))], (3834 ^ _605968) ^ [_723009] : [isa(_723009, c_tptpcol_11_26887), -(tptpcol_11_26887(_723009))], (3840 ^ _605968) ^ [_723197] : [tptpcol_11_26887(_723197), -(isa(_723197, c_tptpcol_11_26887))], (3846 ^ _605968) ^ [_723385] : [isa(_723385, c_tptpcol_12_26919), -(tptpcol_12_26919(_723385))], (3852 ^ _605968) ^ [_723573] : [tptpcol_12_26919(_723573), -(isa(_723573, c_tptpcol_12_26919))], (3858 ^ _605968) ^ [_723775, _723777] : [tptptypes_6_818(_723777, _723775), -(firstordercollection(_723775))], (3864 ^ _605968) ^ [_723983, _723985] : [tptptypes_6_818(_723985, _723983), -(firstordercollection(_723985))], (3870 ^ _605968) ^ [_724191, _724193] : [tptptypes_7_819(_724193, _724191), -(firstordercollection(_724191))], (3876 ^ _605968) ^ [_724399, _724401] : [tptptypes_7_819(_724401, _724399), -(firstordercollection(_724401))], (3882 ^ _605968) ^ [_724593] : [isa(_724593, c_correctivelensprescription), -(correctivelensprescription(_724593))], (3888 ^ _605968) ^ [_724781] : [correctivelensprescription(_724781), -(isa(_724781, c_correctivelensprescription))], (3894 ^ _605968) ^ [_724983, _724985] : [products(_724985, _724983), -(artifact(_724983))], (3900 ^ _605968) ^ [_725191, _725193] : [products(_725193, _725191), -(creationordestructionevent(_725193))], (3906 ^ _605968) ^ [_725385] : [isa(_725385, c_issuingaprescription), -(issuingaprescription(_725385))], (3912 ^ _605968) ^ [_725573] : [issuingaprescription(_725573), -(isa(_725573, c_issuingaprescription))], (3918 ^ _605968) ^ [_725774, _725776, _725778] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_725778, _725776, _725774), c_subcollectionofwithrelationtotypefn))], (3920 ^ _605968) ^ [_725888, _725890, _725892] : [-(natargument(f_subcollectionofwithrelationtotypefn(_725892, _725890, _725888), n_1, _725892))], (3922 ^ _605968) ^ [_726003, _726005, _726007] : [-(natargument(f_subcollectionofwithrelationtotypefn(_726007, _726005, _726003), n_2, _726005))], (3924 ^ _605968) ^ [_726118, _726120, _726122] : [-(natargument(f_subcollectionofwithrelationtotypefn(_726122, _726120, _726118), n_3, _726118))], (3926 ^ _605968) ^ [_726233, _726235, _726237] : [-(collection(f_subcollectionofwithrelationtotypefn(_726237, _726235, _726233)))], (3928 ^ _605968) ^ [_726333] : [isa(_726333, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_726333))], (3934 ^ _605968) ^ [_726521] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_726521), -(isa(_726521, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _605968) ^ [_726709] : [isa(_726709, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_726709))], (3946 ^ _605968) ^ [_726897] : [mathematicalorcomputationalthing(_726897), -(isa(_726897, c_mathematicalorcomputationalthing))], (3952 ^ _605968) ^ [_727085] : [isa(_727085, c_tptpcol_10_118020), -(tptpcol_10_118020(_727085))], (3958 ^ _605968) ^ [_727273] : [tptpcol_10_118020(_727273), -(isa(_727273, c_tptpcol_10_118020))], (3964 ^ _605968) ^ [_727461] : [isa(_727461, c_tptpcol_11_118084), -(tptpcol_11_118084(_727461))], (3970 ^ _605968) ^ [_727649] : [tptpcol_11_118084(_727649), -(isa(_727649, c_tptpcol_11_118084))], (3976 ^ _605968) ^ [_727837] : [isa(_727837, c_terroristgroup), -(terroristgroup(_727837))], (3982 ^ _605968) ^ [_728025] : [terroristgroup(_728025), -(isa(_728025, c_terroristgroup))], (3988 ^ _605968) ^ [_728227, _728229] : [hasmembers(_728229, _728227), -(agent_generic(_728227))], (3994 ^ _605968) ^ [_728435, _728437] : [hasmembers(_728437, _728435), -(organization(_728437))], (4000 ^ _605968) ^ [_728629] : [isa(_728629, c_terrorist), -(terrorist(_728629))], (4006 ^ _605968) ^ [_728817] : [terrorist(_728817), -(isa(_728817, c_terrorist))], (4012 ^ _605968) ^ [_729018, _729020, _729022] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_729022, _729020, _729018), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _605968) ^ [_729132, _729134, _729136] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_729136, _729134, _729132), n_1, _729136))], (4016 ^ _605968) ^ [_729247, _729249, _729251] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_729251, _729249, _729247), n_2, _729249))], (4018 ^ _605968) ^ [_729362, _729364, _729366] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_729366, _729364, _729362), n_3, _729362))], (4020 ^ _605968) ^ [_729477, _729479, _729481] : [-(collection(f_subcollectionofwithrelationfromtypefn(_729481, _729479, _729477)))], (4022 ^ _605968) ^ [_729577] : [isa(_729577, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_729577))], (4028 ^ _605968) ^ [_729765] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_729765), -(isa(_729765, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _605968) ^ [_729967, _729969] : [prettystring(_729969, _729967), -(controlcharacterfreestring(_729967))], (4040 ^ _605968) ^ [_730175, _730177] : [prettystring(_730177, _730175), -(thing(_730177))], (4046 ^ _605968) ^ [_730369] : [isa(_730369, c_tptpcol_0_0), -(tptpcol_0_0(_730369))], (4052 ^ _605968) ^ [_730557] : [tptpcol_0_0(_730557), -(isa(_730557, c_tptpcol_0_0))], (4058 ^ _605968) ^ [_730745] : [isa(_730745, c_geolevel_3), -(geolevel_3(_730745))], (4064 ^ _605968) ^ [_730933] : [geolevel_3(_730933), -(isa(_730933, c_geolevel_3))], (4070 ^ _605968) ^ [_731121] : [isa(_731121, c_tptpcol_4_24578), -(tptpcol_4_24578(_731121))], (4076 ^ _605968) ^ [_731309] : [tptpcol_4_24578(_731309), -(isa(_731309, c_tptpcol_4_24578))], (4082 ^ _605968) ^ [_731497] : [isa(_731497, c_tptpcol_5_24579), -(tptpcol_5_24579(_731497))], (4088 ^ _605968) ^ [_731685] : [tptpcol_5_24579(_731685), -(isa(_731685, c_tptpcol_5_24579))], (4094 ^ _605968) ^ [_731873] : [isa(_731873, c_tptpcol_5_106498), -(tptpcol_5_106498(_731873))], (4100 ^ _605968) ^ [_732061] : [tptpcol_5_106498(_732061), -(isa(_732061, c_tptpcol_5_106498))], (4106 ^ _605968) ^ [_732249] : [isa(_732249, c_tptpcol_12_109157), -(tptpcol_12_109157(_732249))], (4112 ^ _605968) ^ [_732437] : [tptpcol_12_109157(_732437), -(isa(_732437, c_tptpcol_12_109157))], (4118 ^ _605968) ^ [_732625] : [isa(_732625, c_tptpcol_13_109173), -(tptpcol_13_109173(_732625))], (4124 ^ _605968) ^ [_732813] : [tptpcol_13_109173(_732813), -(isa(_732813, c_tptpcol_13_109173))], (4130 ^ _605968) ^ [_733001] : [isa(_733001, c_mathematicalthing), -(mathematicalthing(_733001))], (4136 ^ _605968) ^ [_733189] : [mathematicalthing(_733189), -(isa(_733189, c_mathematicalthing))], (4142 ^ _605968) ^ [_733377] : [isa(_733377, c_setorcollection), -(setorcollection(_733377))], (4148 ^ _605968) ^ [_733565] : [setorcollection(_733565), -(isa(_733565, c_setorcollection))], (4154 ^ _605968) ^ [_733753] : [isa(_733753, c_tptpcol_11_18631), -(tptpcol_11_18631(_733753))], (4160 ^ _605968) ^ [_733941] : [tptpcol_11_18631(_733941), -(isa(_733941, c_tptpcol_11_18631))], (4166 ^ _605968) ^ [_734129] : [isa(_734129, c_tptpcol_12_18663), -(tptpcol_12_18663(_734129))], (4172 ^ _605968) ^ [_734317] : [tptpcol_12_18663(_734317), -(isa(_734317, c_tptpcol_12_18663))], (4178 ^ _605968) ^ [_734519, _734521] : [tptptypes_8_400(_734521, _734519), -(firstordercollection(_734519))], (4184 ^ _605968) ^ [_734727, _734729] : [tptptypes_8_400(_734729, _734727), -(firstordercollection(_734729))], (4190 ^ _605968) ^ [_734935, _734937] : [tptptypes_9_401(_734937, _734935), -(firstordercollection(_734935))], (4196 ^ _605968) ^ [_735143, _735145] : [tptptypes_9_401(_735145, _735143), -(firstordercollection(_735145))], (4202 ^ _605968) ^ [_735322] : [-(natfunction(f_tptpquantityfn_13(_735322), c_tptpquantityfn_13))], (4204 ^ _605968) ^ [_735402] : [-(natargument(f_tptpquantityfn_13(_735402), n_1, _735402))], (4206 ^ _605968) ^ [_735483] : [-(tptpquantity(f_tptpquantityfn_13(_735483)))], (4208 ^ _605968) ^ [_735591, _735593] : [borderson(_735593, _735591), -(geographicalregion(_735591))], (4214 ^ _605968) ^ [_735799, _735801] : [borderson(_735801, _735799), -(geographicalregion(_735801))], (4220 ^ _605968) ^ [_736007, _736009] : [borderson(_736009, _736007), -(borderson(_736007, _736009))], (4226 ^ _605968) ^ [_736187] : [borderson(_736187, _736187)], (4228 ^ _605968) ^ [_736280] : [isa(_736280, c_tptpcol_14_92264), -(tptpcol_14_92264(_736280))], (4234 ^ _605968) ^ [_736468] : [tptpcol_14_92264(_736468), -(isa(_736468, c_tptpcol_14_92264))], (4240 ^ _605968) ^ [_736656] : [isa(_736656, c_tptpcol_15_92268), -(tptpcol_15_92268(_736656))], (4246 ^ _605968) ^ [_736844] : [tptpcol_15_92268(_736844), -(isa(_736844, c_tptpcol_15_92268))], (4252 ^ _605968) ^ [_737032] : [isa(_737032, c_tptpcol_6_116738), -(tptpcol_6_116738(_737032))], (4258 ^ _605968) ^ [_737220] : [tptpcol_6_116738(_737220), -(isa(_737220, c_tptpcol_6_116738))], (4264 ^ _605968) ^ [_737422, _737424] : [tptptypes_5_387(_737424, _737422), -(firstordercollection(_737422))], (4270 ^ _605968) ^ [_737630, _737632] : [tptptypes_5_387(_737632, _737630), -(firstordercollection(_737632))], (4276 ^ _605968) ^ [_737838, _737840] : [tptptypes_6_388(_737840, _737838), -(firstordercollection(_737838))], (4282 ^ _605968) ^ [_738046, _738048] : [tptptypes_6_388(_738048, _738046), -(firstordercollection(_738048))], (4288 ^ _605968) ^ [_738240] : [isa(_738240, c_shavingrazor_manual), -(shavingrazor_manual(_738240))], (4294 ^ _605968) ^ [_738428] : [shavingrazor_manual(_738428), -(isa(_738428, c_shavingrazor_manual))], (4300 ^ _605968) ^ [_738616] : [isa(_738616, c_tptpcol_9_109060), -(tptpcol_9_109060(_738616))], (4306 ^ _605968) ^ [_738804] : [tptpcol_9_109060(_738804), -(isa(_738804, c_tptpcol_9_109060))], (4312 ^ _605968) ^ [_738992] : [isa(_738992, c_tptpcol_10_109061), -(tptpcol_10_109061(_738992))], (4318 ^ _605968) ^ [_739180] : [tptpcol_10_109061(_739180), -(isa(_739180, c_tptpcol_10_109061))], (4324 ^ _605968) ^ [_739368] : [isa(_739368, c_executionbyfiringsquad), -(executionbyfiringsquad(_739368))], (4330 ^ _605968) ^ [_739556] : [executionbyfiringsquad(_739556), -(isa(_739556, c_executionbyfiringsquad))], (4336 ^ _605968) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _605968) ^ [_739797] : [isa(_739797, c_navypersonnel), -(navypersonnel(_739797))], (4344 ^ _605968) ^ [_739985] : [navypersonnel(_739985), -(isa(_739985, c_navypersonnel))], (4350 ^ _605968) ^ [_740173] : [isa(_740173, c_tptpcol_12_92262), -(tptpcol_12_92262(_740173))], (4356 ^ _605968) ^ [_740361] : [tptpcol_12_92262(_740361), -(isa(_740361, c_tptpcol_12_92262))], (4362 ^ _605968) ^ [_740549] : [isa(_740549, c_thing), -(thing(_740549))], (4368 ^ _605968) ^ [_740737] : [thing(_740737), -(isa(_740737, c_thing))], (4374 ^ _605968) ^ [_740925] : [isa(_740925, c_computerdataartifact), -(computerdataartifact(_740925))], (4380 ^ _605968) ^ [_741113] : [computerdataartifact(_741113), -(isa(_741113, c_computerdataartifact))], (4386 ^ _605968) ^ [_741301] : [isa(_741301, c_applicationcontext), -(applicationcontext(_741301))], (4392 ^ _605968) ^ [_741489] : [applicationcontext(_741489), -(isa(_741489, c_applicationcontext))], (4398 ^ _605968) ^ [_741691, _741693] : [inregion(_741693, _741691), -(spatialthing_nonsituational(_741691))], (4404 ^ _605968) ^ [_741899, _741901] : [inregion(_741901, _741899), -(spatialthing_nonsituational(_741901))], (4410 ^ _605968) ^ [_742121, _742123, _742125] : [-(inregion(_742125, _742121)), inregion(_742125, _742123), inregion(_742123, _742121)], (4420 ^ _605968) ^ [_742416] : [spatialthing_nonsituational(_742416), -(inregion(_742416, _742416))], (4426 ^ _605968) ^ [_742589] : [-(natfunction(f_tptpquantityfn_1(_742589), c_tptpquantityfn_1))], (4428 ^ _605968) ^ [_742669] : [-(natargument(f_tptpquantityfn_1(_742669), n_1, _742669))], (4430 ^ _605968) ^ [_742750] : [-(tptpquantity(f_tptpquantityfn_1(_742750)))], (4432 ^ _605968) ^ [_742844] : [isa(_742844, c_furpelt), -(furpelt(_742844))], (4438 ^ _605968) ^ [_743032] : [furpelt(_743032), -(isa(_743032, c_furpelt))], (4444 ^ _605968) ^ [_743234, _743236] : [tptpofobject(_743236, _743234), -(tptpquantity(_743234))], (4450 ^ _605968) ^ [_743442, _743444] : [tptpofobject(_743444, _743442), -(partiallytangible(_743444))], (4456 ^ _605968) ^ [_743664, _743666, _743668] : [relationallinstance(_743668, _743666, _743664), -(thing(_743664))], (4462 ^ _605968) ^ [_743894, _743896, _743898] : [relationallinstance(_743898, _743896, _743894), -(collection(_743896))], (4468 ^ _605968) ^ [_744124, _744126, _744128] : [relationallinstance(_744128, _744126, _744124), -(binarypredicate(_744128))], (4474 ^ _605968) ^ [_744326] : [isa(_744326, c_tptpcol_13_93766), -(tptpcol_13_93766(_744326))], (4480 ^ _605968) ^ [_744514] : [tptpcol_13_93766(_744514), -(isa(_744514, c_tptpcol_13_93766))], (4486 ^ _605968) ^ [_744702] : [isa(_744702, c_tptpcol_9_40196), -(tptpcol_9_40196(_744702))], (4492 ^ _605968) ^ [_744890] : [tptpcol_9_40196(_744890), -(isa(_744890, c_tptpcol_9_40196))], (4498 ^ _605968) ^ [_745078] : [isa(_745078, c_tptpcol_10_40324), -(tptpcol_10_40324(_745078))], (4504 ^ _605968) ^ [_745266] : [tptpcol_10_40324(_745266), -(isa(_745266, c_tptpcol_10_40324))], (4510 ^ _605968) ^ [_745454] : [isa(_745454, c_tptpcol_7_72707), -(tptpcol_7_72707(_745454))], (4516 ^ _605968) ^ [_745642] : [tptpcol_7_72707(_745642), -(isa(_745642, c_tptpcol_7_72707))], (4522 ^ _605968) ^ [_745830] : [isa(_745830, c_tptpcol_8_72708), -(tptpcol_8_72708(_745830))], (4528 ^ _605968) ^ [_746018] : [tptpcol_8_72708(_746018), -(isa(_746018, c_tptpcol_8_72708))], (4534 ^ _605968) ^ [_746206] : [isa(_746206, c_tptpcol_11_93764), -(tptpcol_11_93764(_746206))], (4540 ^ _605968) ^ [_746394] : [tptpcol_11_93764(_746394), -(isa(_746394, c_tptpcol_11_93764))], (4546 ^ _605968) ^ [_746582] : [isa(_746582, c_tptpcol_12_93765), -(tptpcol_12_93765(_746582))], (4552 ^ _605968) ^ [_746770] : [tptpcol_12_93765(_746770), -(isa(_746770, c_tptpcol_12_93765))], (4558 ^ _605968) ^ [_746958] : [isa(_746958, c_tptpcol_4_114689), -(tptpcol_4_114689(_746958))], (4564 ^ _605968) ^ [_747146] : [tptpcol_4_114689(_747146), -(isa(_747146, c_tptpcol_4_114689))], (4570 ^ _605968) ^ [_747334] : [isa(_747334, c_tptpcol_5_114690), -(tptpcol_5_114690(_747334))], (4576 ^ _605968) ^ [_747522] : [tptpcol_5_114690(_747522), -(isa(_747522, c_tptpcol_5_114690))], (4582 ^ _605968) ^ [_747710] : [isa(_747710, c_tptpcol_3_98305), -(tptpcol_3_98305(_747710))], (4588 ^ _605968) ^ [_747898] : [tptpcol_3_98305(_747898), -(isa(_747898, c_tptpcol_3_98305))], (4594 ^ _605968) ^ [_748086] : [isa(_748086, c_tptpcol_4_106497), -(tptpcol_4_106497(_748086))], (4600 ^ _605968) ^ [_748274] : [tptpcol_4_106497(_748274), -(isa(_748274, c_tptpcol_4_106497))], (4606 ^ _605968) ^ [_748489, _748491, _748493, _748495] : [-(natfunction(f_relationexistsallfn(_748495, _748493, _748491, _748489), c_relationexistsallfn))], (4608 ^ _605968) ^ [_748620, _748622, _748624, _748626] : [-(natargument(f_relationexistsallfn(_748626, _748624, _748622, _748620), n_1, _748626))], (4610 ^ _605968) ^ [_748752, _748754, _748756, _748758] : [-(natargument(f_relationexistsallfn(_748758, _748756, _748754, _748752), n_2, _748756))], (4612 ^ _605968) ^ [_748884, _748886, _748888, _748890] : [-(natargument(f_relationexistsallfn(_748890, _748888, _748886, _748884), n_3, _748886))], (4614 ^ _605968) ^ [_749016, _749018, _749020, _749022] : [-(natargument(f_relationexistsallfn(_749022, _749020, _749018, _749016), n_4, _749016))], (4616 ^ _605968) ^ [_749148, _749150, _749152, _749154] : [-(thing(f_relationexistsallfn(_749154, _749152, _749150, _749148)))], (4618 ^ _605968) ^ [_749265, _749267] : [resultisaarg(_749267, _749265), -(positiveinteger(_749265))], (4624 ^ _605968) ^ [_749473, _749475] : [resultisaarg(_749475, _749473), -(function_denotational(_749475))], (4630 ^ _605968) ^ [_749681, _749683] : [tptptypes_7_389(_749683, _749681), -(firstordercollection(_749681))], (4636 ^ _605968) ^ [_749889, _749891] : [tptptypes_7_389(_749891, _749889), -(firstordercollection(_749891))], (4642 ^ _605968) ^ [_750097, _750099] : [tptptypes_8_390(_750099, _750097), -(firstordercollection(_750097))], (4648 ^ _605968) ^ [_750305, _750307] : [tptptypes_8_390(_750307, _750305), -(firstordercollection(_750307))], (4654 ^ _605968) ^ [_750513, _750515] : [tptptypes_8_692(_750515, _750513), -(firstordercollection(_750513))], (4660 ^ _605968) ^ [_750721, _750723] : [tptptypes_8_692(_750723, _750721), -(firstordercollection(_750723))], (4666 ^ _605968) ^ [_750929, _750931] : [tptptypes_9_693(_750931, _750929), -(firstordercollection(_750929))], (4672 ^ _605968) ^ [_751137, _751139] : [tptptypes_9_693(_751139, _751137), -(firstordercollection(_751139))], (4678 ^ _605968) ^ [_751331] : [isa(_751331, c_tptpcol_11_40388), -(tptpcol_11_40388(_751331))], (4684 ^ _605968) ^ [_751519] : [tptpcol_11_40388(_751519), -(isa(_751519, c_tptpcol_11_40388))], (4690 ^ _605968) ^ [_751707] : [isa(_751707, c_marriagelicensedocument), -(marriagelicensedocument(_751707))], (4696 ^ _605968) ^ [_751895] : [marriagelicensedocument(_751895), -(isa(_751895, c_marriagelicensedocument))], (4702 ^ _605968) ^ [_752083] : [isa(_752083, c_tptpcol_1_65536), -(tptpcol_1_65536(_752083))], (4708 ^ _605968) ^ [_752271] : [tptpcol_1_65536(_752271), -(isa(_752271, c_tptpcol_1_65536))], (4714 ^ _605968) ^ [_752459] : [isa(_752459, c_tptpcol_2_98304), -(tptpcol_2_98304(_752459))], (4720 ^ _605968) ^ [_752647] : [tptpcol_2_98304(_752647), -(isa(_752647, c_tptpcol_2_98304))], (4726 ^ _605968) ^ [_752835] : [isa(_752835, c_tptpcol_10_92166), -(tptpcol_10_92166(_752835))], (4732 ^ _605968) ^ [_753023] : [tptpcol_10_92166(_753023), -(isa(_753023, c_tptpcol_10_92166))], (4738 ^ _605968) ^ [_753211] : [isa(_753211, c_tptpcol_11_92230), -(tptpcol_11_92230(_753211))], (4744 ^ _605968) ^ [_753399] : [tptpcol_11_92230(_753399), -(isa(_753399, c_tptpcol_11_92230))], (4750 ^ _605968) ^ [_753587] : [isa(_753587, c_orderingpredicate), -(orderingpredicate(_753587))], (4756 ^ _605968) ^ [_753775] : [orderingpredicate(_753775), -(isa(_753775, c_orderingpredicate))], (4762 ^ _605968) ^ [_753963] : [isa(_753963, c_tptpcol_9_18439), -(tptpcol_9_18439(_753963))], (4768 ^ _605968) ^ [_754151] : [tptpcol_9_18439(_754151), -(isa(_754151, c_tptpcol_9_18439))], (4774 ^ _605968) ^ [_754339] : [isa(_754339, c_tptpcol_10_18567), -(tptpcol_10_18567(_754339))], (4780 ^ _605968) ^ [_754527] : [tptpcol_10_18567(_754527), -(isa(_754527, c_tptpcol_10_18567))], (4786 ^ _605968) ^ [_754715] : [isa(_754715, c_tptpcol_2_65537), -(tptpcol_2_65537(_754715))], (4792 ^ _605968) ^ [_754903] : [tptpcol_2_65537(_754903), -(isa(_754903, c_tptpcol_2_65537))], (4798 ^ _605968) ^ [_755091] : [isa(_755091, c_tptpcol_3_81921), -(tptpcol_3_81921(_755091))], (4804 ^ _605968) ^ [_755279] : [tptpcol_3_81921(_755279), -(isa(_755279, c_tptpcol_3_81921))], (4810 ^ _605968) ^ [_755467] : [isa(_755467, c_artsupplies), -(artsupplies(_755467))], (4816 ^ _605968) ^ [_755655] : [artsupplies(_755655), -(isa(_755655, c_artsupplies))], (4822 ^ _605968) ^ [_755843] : [isa(_755843, c_enduringthing_localized), -(enduringthing_localized(_755843))], (4828 ^ _605968) ^ [_756031] : [enduringthing_localized(_756031), -(isa(_756031, c_enduringthing_localized))], (4834 ^ _605968) ^ [_756219] : [isa(_756219, c_location_underspecified), -(location_underspecified(_756219))], (4840 ^ _605968) ^ [_756407] : [location_underspecified(_756407), -(isa(_756407, c_location_underspecified))], (4846 ^ _605968) ^ [_756595] : [isa(_756595, c_trajector_underspecified), -(trajector_underspecified(_756595))], (4852 ^ _605968) ^ [_756783] : [trajector_underspecified(_756783), -(isa(_756783, c_trajector_underspecified))], (4858 ^ _605968) ^ [_756971] : [isa(_756971, c_individual), -(individual(_756971))], (4864 ^ _605968) ^ [_757159] : [individual(_757159), -(isa(_757159, c_individual))], (4870 ^ _605968) ^ [_757347] : [isa(_757347, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_757347))], (4876 ^ _605968) ^ [_757535] : [partiallyintangibleindividual(_757535), -(isa(_757535, c_partiallyintangibleindividual))], (4882 ^ _605968) ^ [_757723] : [isa(_757723, c_tptpcol_10_22022), -(tptpcol_10_22022(_757723))], (4888 ^ _605968) ^ [_757911] : [tptpcol_10_22022(_757911), -(isa(_757911, c_tptpcol_10_22022))], (4894 ^ _605968) ^ [_758099] : [isa(_758099, c_tptpcol_11_22023), -(tptpcol_11_22023(_758099))], (4900 ^ _605968) ^ [_758287] : [tptpcol_11_22023(_758287), -(isa(_758287, c_tptpcol_11_22023))], (4906 ^ _605968) ^ [_758475] : [isa(_758475, c_tptpcol_5_20483), -(tptpcol_5_20483(_758475))], (4912 ^ _605968) ^ [_758663] : [tptpcol_5_20483(_758663), -(isa(_758663, c_tptpcol_5_20483))], (4918 ^ _605968) ^ [_758851] : [isa(_758851, c_tptpcol_13_72791), -(tptpcol_13_72791(_758851))], (4924 ^ _605968) ^ [_759039] : [tptpcol_13_72791(_759039), -(isa(_759039, c_tptpcol_13_72791))], (4930 ^ _605968) ^ [_759227] : [isa(_759227, c_tptpcol_14_72792), -(tptpcol_14_72792(_759227))], (4936 ^ _605968) ^ [_759415] : [tptpcol_14_72792(_759415), -(isa(_759415, c_tptpcol_14_72792))], (4942 ^ _605968) ^ [_759603] : [isa(_759603, c_ridgeline_topographical), -(ridgeline_topographical(_759603))], (4948 ^ _605968) ^ [_759791] : [ridgeline_topographical(_759791), -(isa(_759791, c_ridgeline_topographical))], (4954 ^ _605968) ^ [_759979] : [isa(_759979, c_tptpcol_4_16387), -(tptpcol_4_16387(_759979))], (4960 ^ _605968) ^ [_760167] : [tptpcol_4_16387(_760167), -(isa(_760167, c_tptpcol_4_16387))], (4966 ^ _605968) ^ [_760355] : [isa(_760355, c_tptpcol_5_16388), -(tptpcol_5_16388(_760355))], (4972 ^ _605968) ^ [_760543] : [tptpcol_5_16388(_760543), -(isa(_760543, c_tptpcol_5_16388))], (4978 ^ _605968) ^ [_760731] : [isa(_760731, c_tptpcol_8_22020), -(tptpcol_8_22020(_760731))], (4984 ^ _605968) ^ [_760919] : [tptpcol_8_22020(_760919), -(isa(_760919, c_tptpcol_8_22020))], (4990 ^ _605968) ^ [_761107] : [isa(_761107, c_tptpcol_9_22021), -(tptpcol_9_22021(_761107))], (4996 ^ _605968) ^ [_761295] : [tptpcol_9_22021(_761295), -(isa(_761295, c_tptpcol_9_22021))], (5002 ^ _605968) ^ [_761483] : [isa(_761483, c_transitivebinarypredicate), -(transitivebinarypredicate(_761483))], (5008 ^ _605968) ^ [_761671] : [transitivebinarypredicate(_761671), -(isa(_761671, c_transitivebinarypredicate))], (5014 ^ _605968) ^ [_761873, _761875] : [geographicalsubregions(_761875, _761873), -(geographicalregion(_761873))], (5020 ^ _605968) ^ [_762081, _762083] : [geographicalsubregions(_762083, _762081), -(geographicalregion(_762083))], (5026 ^ _605968) ^ [_762303, _762305, _762307] : [-(geographicalsubregions(_762307, _762303)), geographicalsubregions(_762307, _762305), geographicalsubregions(_762305, _762303)], (5036 ^ _605968) ^ [_762598] : [geographicalregion(_762598), -(geographicalsubregions(_762598, _762598))], (5042 ^ _605968) ^ [_762786] : [isa(_762786, c_tptpcol_12_40420), -(tptpcol_12_40420(_762786))], (5048 ^ _605968) ^ [_762974] : [tptpcol_12_40420(_762974), -(isa(_762974, c_tptpcol_12_40420))], (5054 ^ _605968) ^ [_763162] : [isa(_763162, c_tptpcol_13_40421), -(tptpcol_13_40421(_763162))], (5060 ^ _605968) ^ [_763350] : [tptpcol_13_40421(_763350), -(isa(_763350, c_tptpcol_13_40421))], (5066 ^ _605968) ^ [_763538] : [isa(_763538, c_tptpcol_6_92162), -(tptpcol_6_92162(_763538))], (5072 ^ _605968) ^ [_763726] : [tptpcol_6_92162(_763726), -(isa(_763726, c_tptpcol_6_92162))], (5078 ^ _605968) ^ [_763914] : [isa(_763914, c_tptpcol_7_93186), -(tptpcol_7_93186(_763914))], (5084 ^ _605968) ^ [_764102] : [tptpcol_7_93186(_764102), -(isa(_764102, c_tptpcol_7_93186))], (5090 ^ _605968) ^ [_764304, _764306] : [most(_764306, _764304), -(setorcollection(_764304))], (5096 ^ _605968) ^ [_764512, _764514] : [most(_764514, _764512), -(setorcollection(_764512))], (5102 ^ _605968) ^ [_764720, _764722] : [most(_764722, _764720), -(setorcollection(_764722))], (5108 ^ _605968) ^ [_764928, _764930] : [most(_764930, _764928), -(setorcollection(_764930))], (5114 ^ _605968) ^ [_765122] : [setorcollection(_765122), -(most(_765122, _765122))], (5120 ^ _605968) ^ [_765310] : [setorcollection(_765310), -(most(_765310, _765310))], (5126 ^ _605968) ^ [_765526, _765528, _765530] : [-(most(_765530, _765526)), most(_765530, _765528), subsetof(_765528, _765526)], (5136 ^ _605968) ^ [_765849, _765851, _765853] : [-(most(_765853, _765849)), most(_765853, _765851), subsetof(_765851, _765849)], (5146 ^ _605968) ^ [_766158, _766160] : [subsetof(_766160, _766158), -(setorcollection(_766158))], (5152 ^ _605968) ^ [_766366, _766368] : [subsetof(_766368, _766366), -(setorcollection(_766368))], (5158 ^ _605968) ^ [_766588, _766590, _766592] : [-(subsetof(_766592, _766588)), subsetof(_766592, _766590), subsetof(_766590, _766588)], (5168 ^ _605968) ^ [_766883] : [setorcollection(_766883), -(subsetof(_766883, _766883))], (5174 ^ _605968) ^ [_767099, _767101, _767103] : [-(subsetof(_767099, _767101)), subsetof(_767103, _767101), subsetof(_767099, _767103)], (5184 ^ _605968) ^ [_767422, _767424, _767426] : [-(subsetof(_767426, _767422)), subsetof(_767426, _767424), subsetof(_767424, _767422)], (5194 ^ _605968) ^ [_767745, _767747, _767749] : [-(subsetof(_767749, _767745)), subsetof(_767749, _767747), subsetof(_767747, _767745)], (5204 ^ _605968) ^ [_768054, _768056] : [genlpreds(_768056, _768054), -(predicate(_768054))], (5210 ^ _605968) ^ [_768262, _768264] : [genlpreds(_768264, _768262), -(predicate(_768262))], (5216 ^ _605968) ^ [_768470, _768472] : [genlpreds(_768472, _768470), -(predicate(_768472))], (5222 ^ _605968) ^ [_768678, _768680] : [genlpreds(_768680, _768678), -(predicate(_768680))], (5228 ^ _605968) ^ [_768900, _768902, _768904] : [-(genlpreds(_768904, _768900)), genlpreds(_768904, _768902), genlpreds(_768902, _768900)], (5238 ^ _605968) ^ [_769195] : [predicate(_769195), -(genlpreds(_769195, _769195))], (5244 ^ _605968) ^ [_769383] : [predicate(_769383), -(genlpreds(_769383, _769383))], (5250 ^ _605968) ^ [_769585, _769587] : [genlinverse(_769587, _769585), -(binarypredicate(_769585))], (5256 ^ _605968) ^ [_769793, _769795] : [genlinverse(_769795, _769793), -(binarypredicate(_769795))], (5262 ^ _605968) ^ [_770015, _770017, _770019] : [-(genlinverse(_770015, _770017)), genlinverse(_770019, _770017), genlpreds(_770015, _770019)], (5272 ^ _605968) ^ [_770338, _770340, _770342] : [-(genlinverse(_770342, _770338)), genlinverse(_770342, _770340), genlpreds(_770340, _770338)], (5282 ^ _605968) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _605968) ^ [_770686] : [isa(_770686, c_microtheory), -(microtheory(_770686))], (5290 ^ _605968) ^ [_770874] : [microtheory(_770874), -(isa(_770874, c_microtheory))], (5296 ^ _605968) ^ [_771047] : [-(natfunction(f_urlfn(_771047), c_urlfn))], (5298 ^ _605968) ^ [_771127] : [-(natargument(f_urlfn(_771127), n_1, _771127))], (5300 ^ _605968) ^ [_771208] : [-(uniformresourcelocator(f_urlfn(_771208)))], (5302 ^ _605968) ^ [_771287] : [-(natfunction(f_urlreferentfn(_771287), c_urlreferentfn))], (5304 ^ _605968) ^ [_771367] : [-(natargument(f_urlreferentfn(_771367), n_1, _771367))], (5306 ^ _605968) ^ [_771448] : [-(computerdataartifact(f_urlreferentfn(_771448)))], (5308 ^ _605968) ^ [_771541, _771543] : [-(natfunction(f_contentmtofcdafromeventfn(_771543, _771541), c_contentmtofcdafromeventfn))], (5310 ^ _605968) ^ [_771638, _771640] : [-(natargument(f_contentmtofcdafromeventfn(_771640, _771638), n_1, _771640))], (5312 ^ _605968) ^ [_771736, _771738] : [-(natargument(f_contentmtofcdafromeventfn(_771738, _771736), n_2, _771736))], (5314 ^ _605968) ^ [_771834, _771836] : [-(microtheory(f_contentmtofcdafromeventfn(_771836, _771834)))], (5316 ^ _605968) ^ [_771945, _771947] : [isa(_771947, _771945), -(collection(_771945))], (5322 ^ _605968) ^ [_772153, _772155] : [isa(_772155, _772153), -(collection(_772153))], (5328 ^ _605968) ^ [_772361, _772363] : [isa(_772363, _772361), -(thing(_772363))], (5334 ^ _605968) ^ [_772569, _772571] : [isa(_772571, _772569), -(thing(_772571))], (5340 ^ _605968) ^ [_772791, _772793, _772795] : [-(isa(_772795, _772791)), isa(_772795, _772793), genls(_772793, _772791)], (5350 ^ _605968) ^ [_773086] : [isa(_773086, c_inanimateobject), -(inanimateobject(_773086))], (5356 ^ _605968) ^ [_773274] : [inanimateobject(_773274), -(isa(_773274, c_inanimateobject))], (5362 ^ _605968) ^ [_773462] : [isa(_773462, c_tptpcol_9_72709), -(tptpcol_9_72709(_773462))], (5368 ^ _605968) ^ [_773650] : [tptpcol_9_72709(_773650), -(isa(_773650, c_tptpcol_9_72709))], (5374 ^ _605968) ^ [_773838] : [isa(_773838, c_tptpcol_10_72710), -(tptpcol_10_72710(_773838))], (5380 ^ _605968) ^ [_774026] : [tptpcol_10_72710(_774026), -(isa(_774026, c_tptpcol_10_72710))], (5386 ^ _605968) ^ [_774214] : [isa(_774214, c_tptpcol_14_40429), -(tptpcol_14_40429(_774214))], (5392 ^ _605968) ^ [_774402] : [tptpcol_14_40429(_774402), -(isa(_774402, c_tptpcol_14_40429))], (5398 ^ _605968) ^ [_774590] : [isa(_774590, c_tptpcol_15_40430), -(tptpcol_15_40430(_774590))], (5404 ^ _605968) ^ [_774778] : [tptpcol_15_40430(_774778), -(isa(_774778, c_tptpcol_15_40430))], (5410 ^ _605968) ^ [_774980, _774982] : [genls(_774982, _774980), -(collection(_774980))], (5416 ^ _605968) ^ [_775188, _775190] : [genls(_775190, _775188), -(collection(_775188))], (5422 ^ _605968) ^ [_775396, _775398] : [genls(_775398, _775396), -(collection(_775398))], (5428 ^ _605968) ^ [_775604, _775606] : [genls(_775606, _775604), -(collection(_775606))], (5434 ^ _605968) ^ [_775826, _775828, _775830] : [-(genls(_775830, _775826)), genls(_775830, _775828), genls(_775828, _775826)], (5444 ^ _605968) ^ [_776121] : [collection(_776121), -(genls(_776121, _776121))], (5450 ^ _605968) ^ [_776309] : [collection(_776309), -(genls(_776309, _776309))], (5456 ^ _605968) ^ [_776525, _776527, _776529] : [-(genls(_776525, _776527)), genls(_776529, _776527), genls(_776525, _776529)], (5466 ^ _605968) ^ [_776848, _776850, _776852] : [-(genls(_776852, _776848)), genls(_776852, _776850), genls(_776850, _776848)], (5476 ^ _605968) ^ [_777143] : [isa(_777143, c_partiallytangible), -(partiallytangible(_777143))], (5482 ^ _605968) ^ [_777331] : [partiallytangible(_777331), -(isa(_777331, c_partiallytangible))], (5488 ^ _605968) ^ [_777519] : [isa(_777519, c_intangible), -(intangible(_777519))], (5494 ^ _605968) ^ [_777707] : [intangible(_777707), -(isa(_777707, c_intangible))], (5500 ^ _605968) ^ [_777909, _777911] : [disjointwith(_777911, _777909), -(collection(_777909))], (5506 ^ _605968) ^ [_778117, _778119] : [disjointwith(_778119, _778117), -(collection(_778119))], (5512 ^ _605968) ^ [_778325, _778327] : [disjointwith(_778327, _778325), -(disjointwith(_778325, _778327))], (5518 ^ _605968) ^ [_778549, _778551, _778553] : [-(disjointwith(_778553, _778549)), disjointwith(_778553, _778551), genls(_778549, _778551)], (5528 ^ _605968) ^ [_778872, _778874, _778876] : [-(disjointwith(_778872, _778874)), disjointwith(_778876, _778874), genls(_778872, _778876)], (5538 ^ _605968) ^ [_779181, _779183] : [-(mtvisible(_779181)), mtvisible(_779183), genlmt(_779183, _779181)], (5548 ^ _605968) ^ [_779476, _779478] : [genlmt(_779478, _779476), -(microtheory(_779476))], (5554 ^ _605968) ^ [_779684, _779686] : [genlmt(_779686, _779684), -(microtheory(_779684))], (5560 ^ _605968) ^ [_779892, _779894] : [genlmt(_779894, _779892), -(microtheory(_779894))], (5566 ^ _605968) ^ [_780100, _780102] : [genlmt(_780102, _780100), -(microtheory(_780102))], (5572 ^ _605968) ^ [_780322, _780324, _780326] : [-(genlmt(_780326, _780322)), genlmt(_780326, _780324), genlmt(_780324, _780322)], (5582 ^ _605968) ^ [_780617] : [microtheory(_780617), -(genlmt(_780617, _780617))], (5594 ^ _605968) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _605968) ^ [_780805] : [microtheory(_780805), -(genlmt(_780805, _780805))]], input).
% 3.71/4.51  ncf('1',plain,[tptptypes_5_387(c_tptpcol_15_4027, c_pushingwithfingers)],start(5598 ^ 0,bind([[_795532], [c_tptpcol_15_4027]]))).
% 3.71/4.51  ncf('1.1',plain,[-(tptptypes_5_387(c_tptpcol_15_4027, c_pushingwithfingers)), tptptypes_6_388(c_tptpcol_15_4027, c_pushingwithfingers)],extension(378 ^ 1,bind([[_616854, _616856], [c_pushingwithfingers, c_tptpcol_15_4027]]))).
% 3.71/4.51  ncf('1.1.1',plain,[-(tptptypes_6_388(c_tptpcol_15_4027, c_pushingwithfingers)), tptptypes_7_389(c_pushingwithfingers, c_tptpcol_15_4027)],extension(1180 ^ 2,bind([[_639563, _639565], [c_tptpcol_15_4027, c_pushingwithfingers]]))).
% 3.71/4.51  ncf('1.1.1.1',plain,[-(tptptypes_7_389(c_pushingwithfingers, c_tptpcol_15_4027)), tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027)],extension(234 ^ 3,bind([[_612768, _612770], [c_tptpcol_15_4027, c_pushingwithfingers]]))).
% 3.71/4.51  ncf('1.1.1.1.1',plain,[-(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027)), mtvisible(c_cyclistsmt)],extension(1788 ^ 4)).
% 3.71/4.51  ncf('1.1.1.1.1.1',plain,[-(mtvisible(c_cyclistsmt)), mtvisible(c_tptp_member3205_mt), genlmt(c_tptp_member3205_mt, c_cyclistsmt)],extension(5538 ^ 5,bind([[_779181, _779183], [c_cyclistsmt, c_tptp_member3205_mt]]))).
% 3.71/4.51  ncf('1.1.1.1.1.1.1',plain,[-(mtvisible(c_tptp_member3205_mt))],extension(5596 ^ 6,bind([[_795495], [_408240]]))).
% 3.71/4.51  ncf('1.1.1.1.1.1.2',plain,[-(genlmt(c_tptp_member3205_mt, c_cyclistsmt)), genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt), genlmt(c_tptp_spindleheadmt, c_cyclistsmt)],extension(5572 ^ 6,bind([[_780322, _780324, _780326], [c_cyclistsmt, c_tptp_spindleheadmt, c_tptp_member3205_mt]]))).
% 3.71/4.51  ncf('1.1.1.1.1.1.2.1',plain,[-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))],extension(136 ^ 7)).
% 3.71/4.51  ncf('1.1.1.1.1.1.2.2',plain,[-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))],extension(996 ^ 7)).
% 3.71/4.51  %-----------------------------------------------------
% 3.71/4.51  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------