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

% Computer : n014.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:49:04 EDT 2023

% Result   : Theorem 1.44s 2.43s
% Output   : Proof 1.44s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR056+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n014.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:33:42 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 1.44/2.43  
% 1.44/2.43  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 1.44/2.43  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 1.44/2.43  %-----------------------------------------------------
% 1.44/2.43  ncf(matrix, plain, [(5596 ^ _610949) ^ [_800476] : [-(mtvisible(c_tptp_member3717_mt))], (5598 ^ _610949) ^ [_800513] : [tptpofobject(c_tptpartsupplies, _800513)], (2 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _610949) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _610949) ^ [_611154] : [intangible(_611154), partiallytangible(_611154)], (12 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _610949) ^ [_611392] : [tptpcol_15_40430(_611392), -(tptpcol_14_40429(_611392))], (20 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _610949) ^ [_611631] : [tptpcol_10_72710(_611631), -(tptpcol_9_72709(_611631))], (28 ^ _610949) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _610949) ^ [_611870] : [inanimateobject(_611870), -(partiallytangible(_611870))], (36 ^ _610949) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _610949) ^ [_612137, _612139, _612141] : [-(genlpreds(_612141, _612137)), genlinverse(_612141, _612139), genlinverse(_612139, _612137)], (48 ^ _610949) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _610949) ^ [_612499, _612501] : [subsetof(_612501, _612499), -(most(_612501, _612499))], (56 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _610949) ^ [_612748] : [tptpcol_7_93186(_612748), -(tptpcol_6_92162(_612748))], (64 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _610949) ^ [_612987] : [tptpcol_13_40421(_612987), -(tptpcol_12_40420(_612987))], (72 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _610949) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _610949) ^ [_613451] : [tptpcol_9_22021(_613451), -(tptpcol_8_22020(_613451))], (90 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _610949) ^ [_613690] : [tptpcol_5_16388(_613690), -(tptpcol_4_16387(_613690))], (98 ^ _610949) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _610949) ^ [_614048] : [tptpcol_14_72792(_614048), -(tptpcol_13_72791(_614048))], (112 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _610949) ^ [_614287] : [tptpcol_5_20483(_614287), -(tptpcol_4_16387(_614287))], (120 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _610949) ^ [_614526] : [tptpcol_11_22023(_614526), -(tptpcol_10_22022(_614526))], (128 ^ _610949) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _610949) ^ [_614765] : [partiallyintangibleindividual(_614765), -(individual(_614765))], (136 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _610949) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _610949) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _610949) ^ [_615110] : [trajector_underspecified(_615110), -(location_underspecified(_615110))], (148 ^ _610949) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _610949) ^ [_615349] : [partiallytangible(_615349), -(enduringthing_localized(_615349))], (156 ^ _610949) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _610949) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _610949) ^ [_615707] : [tptpcol_3_81921(_615707), -(tptpcol_2_65537(_615707))], (170 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _610949) ^ [_615946] : [tptpcol_10_18567(_615946), -(tptpcol_9_18439(_615946))], (178 ^ _610949) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _610949) ^ [_616185] : [orderingpredicate(_616185), -(transitivebinarypredicate(_616185))], (186 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _610949) ^ [_616424] : [tptpcol_11_92230(_616424), -(tptpcol_10_92166(_616424))], (194 ^ _610949) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _610949) ^ [_616663] : [tptpcol_2_98304(_616663), -(tptpcol_1_65536(_616663))], (202 ^ _610949) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _610949) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _610949) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _610949) ^ [_617127] : [tptpcol_12_40420(_617127), -(tptpcol_11_40388(_617127))], (220 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _610949) ^ [_617380, _617382] : [tptptypes_9_693(_617382, _617380), -(tptptypes_8_692(_617382, _617380))], (228 ^ _610949) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _610949) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _610949) ^ [_617749, _617751] : [tptptypes_8_390(_617751, _617749), -(tptptypes_7_389(_617751, _617749))], (240 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _610949) ^ [_618093, _618095, _618097, _618099] : [-(isa(f_relationexistsallfn(_618099, _618095, _618093, _618097), _618093)), isa(_618099, _618097), relationexistsall(_618095, _618093, _618097)], (254 ^ _610949) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _610949) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _610949) ^ [_618622] : [tptpcol_4_106497(_618622), -(tptpcol_3_98305(_618622))], (268 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _610949) ^ [_618861] : [tptpcol_5_114690(_618861), -(tptpcol_4_114689(_618861))], (276 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _610949) ^ [_619100] : [tptpcol_12_93765(_619100), -(tptpcol_11_93764(_619100))], (284 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _610949) ^ [_619339] : [tptpcol_8_72708(_619339), -(tptpcol_7_72707(_619339))], (292 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _610949) ^ [_619578] : [tptpcol_10_40324(_619578), -(tptpcol_9_40196(_619578))], (300 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _610949) ^ [_619817] : [tptpcol_13_93766(_619817), -(tptpcol_12_93765(_619817))], (308 ^ _610949) ^ [_620003] : [-(tptpofobject(_620003, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_620003)], (318 ^ _610949) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _610949) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _610949) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _610949) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _610949) ^ [_620667] : [location_underspecified(_620667), -(thing(_620667))], (342 ^ _610949) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _610949) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _610949) ^ [_621012] : [tptpcol_12_92262(_621012), -(tptpcol_11_92230(_621012))], (354 ^ _610949) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _610949) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _610949) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _610949) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _610949) ^ [_621529] : [tptpcol_10_109061(_621529), -(tptpcol_9_109060(_621529))], (374 ^ _610949) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _610949) ^ [_621835, _621837] : [tptptypes_6_388(_621837, _621835), -(tptptypes_5_387(_621837, _621835))], (384 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _610949) ^ [_622084] : [tptpcol_6_116738(_622084), -(tptpcol_5_114690(_622084))], (392 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _610949) ^ [_622323] : [tptpcol_15_92268(_622323), -(tptpcol_14_92264(_622323))], (400 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _610949) ^ [_622628] : [-(tptpofobject(_622628, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_622628)], (416 ^ _610949) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _610949) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _610949) ^ [_623081, _623083] : [tptptypes_9_401(_623083, _623081), -(tptptypes_8_400(_623081, _623083))], (430 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _610949) ^ [_623330] : [tptpcol_12_18663(_623330), -(tptpcol_11_18631(_623330))], (438 ^ _610949) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _610949) ^ [_623569] : [setorcollection(_623569), -(mathematicalthing(_623569))], (446 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _610949) ^ [_623808] : [tptpcol_13_109173(_623808), -(tptpcol_12_109157(_623808))], (454 ^ _610949) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _610949) ^ [_624100] : [tptpcol_5_106498(_624100), -(tptpcol_4_106497(_624100))], (464 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _610949) ^ [_624339] : [tptpcol_5_24579(_624339), -(tptpcol_4_24578(_624339))], (472 ^ _610949) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _610949) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _610949) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _610949) ^ [_624869] : [tptpcol_1_65536(_624869), -(tptpcol_0_0(_624869))], (494 ^ _610949) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _610949) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _610949) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _610949) ^ [_625294, _625296] : [geographicalsubregions(_625296, _625294), -(inregion(_625294, _625296))], (510 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _610949) ^ [_625543] : [tptpcol_11_118084(_625543), -(tptpcol_10_118020(_625543))], (518 ^ _610949) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _610949) ^ [_625782] : [mathematicalorcomputationalthing(_625782), -(intangible(_625782))], (526 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _610949) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _610949) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _610949) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _610949) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _610949) ^ [_626300, _626302] : [tptptypes_7_819(_626302, _626300), -(tptptypes_6_818(_626302, _626300))], (544 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _610949) ^ [_626602] : [tptpcol_12_26919(_626602), -(tptpcol_11_26887(_626602))], (554 ^ _610949) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _610949) ^ [_626855, _626857] : [tptptypes_8_692(_626857, _626855), -(tptptypes_7_691(_626855, _626857))], (562 ^ _610949) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _610949) ^ [_627104] : [tptpcol_2_2(_627104), -(tptpcol_1_1(_627104))], (570 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _610949) ^ [_627396] : [tptpcol_9_92165(_627396), -(tptpcol_8_92164(_627396))], (580 ^ _610949) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _610949) ^ [_627635] : [fixedordercollection(_627635), -(collection(_627635))], (588 ^ _610949) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _610949) ^ [_627874] : [tptpcol_1_1(_627874), tptpcol_1_65536(_627874)], (596 ^ _610949) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _610949) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _610949) ^ [_628165] : [microtheory(_628165), -(aspatialinformationstore(_628165))], (606 ^ _610949) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _610949) ^ [_628470] : [-(tptp_8_875(_628470, f_relationallexistsfn(_628470, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_628470, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _610949) ^ [] : [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 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _610949) ^ [_628921] : [tptpcol_10_118020(_628921), -(tptpcol_9_118019(_628921))], (636 ^ _610949) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _610949) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _610949) ^ [_629279] : [-(tptp_9_720(_629279, f_relationallexistsfn(_629279, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_629279)], (654 ^ _610949) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _610949) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _610949) ^ [_629728] : [individual(_629728), setorcollection(_629728)], (668 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _610949) ^ [_629966] : [tptpcol_12_22055(_629966), -(tptpcol_11_22023(_629966))], (676 ^ _610949) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _610949) ^ [_630205] : [applicationcontext(_630205), -(microtheory(_630205))], (684 ^ _610949) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _610949) ^ [_630511, _630513] : [tptptypes_8_400(_630513, _630511), -(tptptypes_7_396(_630513, _630511))], (694 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _610949) ^ [_630760] : [tptpcol_11_18631(_630760), -(tptpcol_10_18567(_630760))], (702 ^ _610949) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _610949) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _610949) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _610949) ^ [_631171] : [mathematicalthing(_631171), -(mathematicalorcomputationalthing(_631171))], (718 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _610949) ^ [_631463] : [tptpcol_15_93775(_631463), -(tptpcol_14_93774(_631463))], (728 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _610949) ^ [_631702] : [tptpcol_8_109059(_631702), -(tptpcol_7_108547(_631702))], (736 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _610949) ^ [_631941] : [tptpcol_14_40429(_631941), -(tptpcol_13_40421(_631941))], (744 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _610949) ^ [_632299] : [tptpcol_14_22072(_632299), -(tptpcol_13_22071(_632299))], (758 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _610949) ^ [_632538] : [tptpcol_14_93774(_632538), -(tptpcol_13_93766(_632538))], (766 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _610949) ^ [_632777] : [tptpcol_10_22022(_632777), -(tptpcol_9_22021(_632777))], (774 ^ _610949) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _610949) ^ [_633016] : [inanimateobject_nonnatural(_633016), -(inanimateobject(_633016))], (782 ^ _610949) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _610949) ^ [_633361] : [tptpcol_9_72709(_633361), -(tptpcol_8_72708(_633361))], (794 ^ _610949) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _610949) ^ [_633600] : [-(tptpofobject(_633600, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_633600)], (806 ^ _610949) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _610949) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _610949) ^ [_634039] : [firstordercollection(_634039), -(fixedordercollection(_634039))], (820 ^ _610949) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _610949) ^ [_634450] : [tptpcol_13_18664(_634450), -(tptpcol_12_18663(_634450))], (836 ^ _610949) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _610949) ^ [_634689] : [artifact(_634689), -(inanimateobject_nonnatural(_634689))], (844 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _610949) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _610949) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _610949) ^ [_635087] : [tptpcol_7_113665(_635087), -(tptpcol_6_112641(_635087))], (858 ^ _610949) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _610949) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _610949) ^ [_635445] : [geographicalregion(_635445), -(partiallytangible(_635445))], (872 ^ _610949) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _610949) ^ [_635698, _635700] : [disjointwith(_635700, _635698), -(no(_635700, _635698))], (880 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _610949) ^ [_635947] : [tptpcol_4_24578(_635947), -(tptpcol_3_16386(_635947))], (888 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _610949) ^ [_636186] : [tptpcol_5_69635(_636186), -(tptpcol_4_65539(_636186))], (896 ^ _610949) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _610949) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _610949) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _610949) ^ [_636545, _636547] : [genls(_636547, _636545), -(collection(_636547))], (908 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _610949) ^ [_636792] : [tptpcol_13_22071(_636792), -(tptpcol_12_22055(_636792))], (916 ^ _610949) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _610949) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _610949) ^ [_637084] : [tptpcol_3_98305(_637084), -(tptpcol_2_98304(_637084))], (926 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _610949) ^ [_637323] : [tptpcol_4_114689(_637323), -(tptpcol_3_114688(_637323))], (934 ^ _610949) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _610949) ^ [_637562] : [artsupplies(_637562), -(supplies(_637562))], (942 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _610949) ^ [_637801] : [tptpcol_8_26629(_637801), -(tptpcol_7_26628(_637801))], (950 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _610949) ^ [_638040] : [tptpcol_9_109060(_638040), -(tptpcol_8_109059(_638040))], (958 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _610949) ^ [_638279] : [isa(_638279, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_638279, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _638279))], (966 ^ _610949) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _610949) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _610949) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _610949) ^ [_638863] : [tptpcol_14_109181(_638863), -(tptpcol_13_109173(_638863))], (988 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _610949) ^ [_639102] : [tptpcol_16_30972(_639102), -(tptpcol_15_30970(_639102))], (996 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _610949) ^ [_639394] : [tptpcol_9_18439(_639394), -(tptpcol_8_18438(_639394))], (1006 ^ _610949) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _610949) ^ [_639686] : [tptpcol_12_118116(_639686), -(tptpcol_11_118084(_639686))], (1016 ^ _610949) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _610949) ^ [_639978] : [tptpcol_7_26628(_639978), -(tptpcol_6_26627(_639978))], (1026 ^ _610949) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _610949) ^ [_640231, _640233] : [most(_640233, _640231), -(setorcollection(_640233))], (1034 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _610949) ^ [_640478] : [tptpcol_15_109185(_640478), -(tptpcol_14_109181(_640478))], (1042 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _610949) ^ [_640717] : [tptpcol_16_92269(_640717), -(tptpcol_15_92268(_640717))], (1050 ^ _610949) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _610949) ^ [_641023, _641025] : [tptptypes_8_823(_641025, _641023), -(tptptypes_7_819(_641025, _641023))], (1060 ^ _610949) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _610949) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _610949) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _610949) ^ [_641603] : [tptpcol_10_26886(_641603), -(tptpcol_9_26885(_641603))], (1082 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _610949) ^ [_641895] : [tptpcol_15_72793(_641895), -(tptpcol_14_72792(_641895))], (1092 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _610949) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _610949) ^ [_642253] : [navypersonnel(_642253), -(militaryperson(_642253))], (1106 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _610949) ^ [_642492] : [tptpcol_4_16387(_642492), -(tptpcol_3_16386(_642492))], (1114 ^ _610949) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _610949) ^ [_642731] : [enduringthing_localized(_642731), -(spatialthing_nonsituational(_642731))], (1122 ^ _610949) ^ [_642917] : [collection(_642917), individual(_642917)], (1128 ^ _610949) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _610949) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _610949) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _610949) ^ [_643446] : [physicalorderingpredicate(_643446), -(orderingpredicate(_643446))], (1150 ^ _610949) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _610949) ^ [_643699, _643701] : [disjointwith(_643701, _643699), -(collection(_643699))], (1158 ^ _610949) ^ [_643935, _643937, _643939, _643941] : [-(isa(f_relationallexistsfn(_643941, _643937, _643939, _643935), _643935)), isa(_643941, _643939), relationallexists(_643937, _643939, _643935)], (1168 ^ _610949) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _610949) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _610949) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _610949) ^ [_644544, _644546] : [tptptypes_7_389(_644546, _644544), -(tptptypes_6_388(_644544, _644546))], (1186 ^ _610949) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _610949) ^ [_644859] : [-(hpkb_subnationalagent(_644859)), mtvisible(c_hpkbvocabmt), state_geopolitical(_644859)], (1202 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _610949) ^ [_645177] : [tptpcol_8_22020(_645177), -(tptpcol_7_21508(_645177))], (1210 ^ _610949) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _610949) ^ [_645416] : [-(tptp_9_51(f_relationexistsallfn(_645416, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _645416)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_645416, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _610949) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _610949) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _610949) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _610949) ^ [_645920] : [tptpcol_3_65538(_645920), -(tptpcol_2_65537(_645920))], (1238 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _610949) ^ [_646159] : [tptpcol_14_26921(_646159), -(tptpcol_13_26920(_646159))], (1246 ^ _610949) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _610949) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _610949) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _610949) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _610949) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _610949) ^ [_646610] : [intangibleindividual(_646610), -(partiallyintangibleindividual(_646610))], (1262 ^ _610949) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _610949) ^ [_646968] : [tptpcol_16_130924(_646968), -(tptpcol_15_130923(_646968))], (1276 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _610949) ^ [_647207] : [tptpcol_7_92163(_647207), -(tptpcol_6_92162(_647207))], (1284 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _610949) ^ [_647499] : [tptpcol_16_130933(_647499), -(tptpcol_15_130931(_647499))], (1294 ^ _610949) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _610949) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _610949) ^ [_647805, _647807] : [no(_647807, _647805), -(few(_647807, _647805))], (1304 ^ _610949) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _610949) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _610949) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _610949) ^ [_648213] : [tptpcol_6_20484(_648213), -(tptpcol_5_20483(_648213))], (1318 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _610949) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _610949) ^ [_648677] : [tptpcol_7_108547(_648677), -(tptpcol_6_108546(_648677))], (1336 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _610949) ^ [_648916] : [tptpcol_11_109125(_648916), -(tptpcol_10_109061(_648916))], (1344 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _610949) ^ [_649208] : [tptpcol_8_93698(_649208), -(tptpcol_7_93186(_649208))], (1354 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _610949) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _610949) ^ [_649500] : [tptpcol_2_65537(_649500), -(tptpcol_1_65536(_649500))], (1364 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _610949) ^ [_649792] : [tptpcol_6_18436(_649792), -(tptpcol_5_16388(_649792))], (1374 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _610949) ^ [_650031] : [tptpcol_8_18438(_650031), -(tptpcol_7_18437(_650031))], (1382 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _610949) ^ [_650389] : [tptpcol_8_117763(_650389), -(tptpcol_7_117762(_650389))], (1396 ^ _610949) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _610949) ^ [_650681] : [tptpcol_12_109157(_650681), -(tptpcol_11_109125(_650681))], (1406 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _610949) ^ [_650920] : [tptpcol_7_117762(_650920), -(tptpcol_6_116738(_650920))], (1414 ^ _610949) ^ [_651134, _651136, _651138] : [isa(_651138, _651136), isa(_651138, _651134), disjointwith(_651136, _651134)], (1424 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _610949) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _610949) ^ [_651534] : [aspatialinformationstore(_651534), -(aspatialthing(_651534))], (1434 ^ _610949) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _610949) ^ [_651932] : [tptpcol_9_93699(_651932), -(tptpcol_8_93698(_651932))], (1448 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _610949) ^ [_652171] : [tptpcol_11_93764(_652171), -(tptpcol_10_93700(_652171))], (1456 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _610949) ^ [_652410] : [tptpcol_6_26627(_652410), -(tptpcol_5_24579(_652410))], (1464 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _610949) ^ [_652649] : [tptpcol_4_90113(_652649), -(tptpcol_3_81921(_652649))], (1472 ^ _610949) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _610949) ^ [_652941] : [tptpcol_10_93700(_652941), -(tptpcol_9_93699(_652941))], (1482 ^ _610949) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _610949) ^ [_653180] : [aspatialinformationstore(_653180), -(intangibleindividual(_653180))], (1490 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _610949) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _610949) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _610949) ^ [_653591] : [tptpcol_3_16386(_653591), -(tptpcol_2_2(_653591))], (1506 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _610949) ^ [_653830] : [tptpcol_9_118019(_653830), -(tptpcol_8_117763(_653830))], (1514 ^ _610949) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _610949) ^ [_654069] : [individual(_654069), -(trajector_underspecified(_654069))], (1522 ^ _610949) ^ [_654255] : [shavingrazor_manual(_654255), -(tptp_8_271(f_relationexistsallfn(_654255, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _654255))], (1528 ^ _610949) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _610949) ^ [_654559] : [tptpcol_6_112641(_654559), -(tptpcol_5_110593(_654559))], (1538 ^ _610949) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _610949) ^ [_654798] : [tptpcol_12_72775(_654798), -(tptpcol_11_72774(_654798))], (1546 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _610949) ^ [_655037] : [tptpcol_7_72707(_655037), -(tptpcol_6_71683(_655037))], (1554 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _610949) ^ [_655276] : [tptpcol_16_50958(_655276), -(tptpcol_15_50957(_655276))], (1562 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _610949) ^ [_655515] : [tptpcol_8_114177(_655515), -(tptpcol_7_113665(_655515))], (1570 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _610949) ^ [_655754] : [tptpcol_16_72795(_655754), -(tptpcol_15_72793(_655754))], (1578 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _610949) ^ [_655993] : [tptpcol_6_71683(_655993), -(tptpcol_5_69635(_655993))], (1586 ^ _610949) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _610949) ^ [_656299, _656301] : [tptptypes_7_396(_656301, _656299), -(tptptypes_6_388(_656301, _656299))], (1596 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _610949) ^ [_656548] : [tptpcol_9_26885(_656548), -(tptpcol_8_26629(_656548))], (1604 ^ _610949) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _610949) ^ [_656801, _656803] : [genls(_656803, _656801), -(subsetof(_656803, _656801))], (1612 ^ _610949) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _610949) ^ [_657117, _657119] : [tptptypes_6_818(_657119, _657117), -(tptptypes_5_802(_657119, _657117))], (1622 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _610949) ^ [_657366] : [tptpcol_6_92162(_657366), -(tptpcol_5_90114(_657366))], (1630 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _610949) ^ [_657658] : [tptpcol_8_92164(_657658), -(tptpcol_7_92163(_657658))], (1640 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _610949) ^ [_657897] : [tptpcol_13_118117(_657897), -(tptpcol_12_118116(_657897))], (1648 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _610949) ^ [_658136] : [tptpcol_11_40388(_658136), -(tptpcol_10_40324(_658136))], (1656 ^ _610949) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _610949) ^ [_658389, _658391] : [tptptypes_9_824(_658391, _658389), -(tptptypes_8_823(_658391, _658389))], (1664 ^ _610949) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _610949) ^ [_658691] : [tptpcol_11_26887(_658691), -(tptpcol_10_26886(_658691))], (1674 ^ _610949) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _610949) ^ [_658930] : [tptpcol_16_26926(_658930), -(tptpcol_15_26925(_658930))], (1682 ^ _610949) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _610949) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _610949) ^ [_659236, _659238] : [few(_659238, _659236), -(setorcollection(_659236))], (1692 ^ _610949) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _610949) ^ [_659483] : [tptpcol_4_65539(_659483), -(tptpcol_3_65538(_659483))], (1700 ^ _610949) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _610949) ^ [_659722] : [tptpcol_8_39940(_659722), -(tptpcol_7_39939(_659722))], (1708 ^ _610949) ^ [_659908] : [-(tptpofobject(_659908, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_659908)], (1718 ^ _610949) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _610949) ^ [_660347] : [tptpcol_15_22076(_660347), -(tptpcol_14_22072(_660347))], (1732 ^ _610949) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _610949) ^ [_660586] : [tptpcol_0_0(_660586), -(individual(_660586))], (1740 ^ _610949) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _610949) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _610949) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _610949) ^ [_660984] : [tptpcol_11_72774(_660984), -(tptpcol_10_72710(_660984))], (1754 ^ _610949) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _610949) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _610949) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _610949) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _610949) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _610949) ^ [_661620] : [tptpcol_7_21508(_661620), -(tptpcol_6_20484(_661620))], (1780 ^ _610949) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _610949) ^ [_661859] : [tptpcol_6_108546(_661859), -(tptpcol_5_106498(_661859))], (1788 ^ _610949) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _610949) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _610949) ^ [_662217] : [geolevel_4(_662217), -(geographicalregion(_662217))], (1802 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _610949) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _610949) ^ [_662694] : [tptpcol_13_26920(_662694), -(tptpcol_12_26919(_662694))], (1822 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _610949) ^ [_662933] : [tptpcol_14_92264(_662933), -(tptpcol_13_92263(_662933))], (1830 ^ _610949) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _610949) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _610949) ^ [_663225] : [tptpcol_9_40196(_663225), -(tptpcol_8_39940(_663225))], (1840 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _610949) ^ [_663583] : [tptpcol_13_92263(_663583), -(tptpcol_12_92262(_663583))], (1854 ^ _610949) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _610949) ^ [_663875] : [tptpcol_5_90114(_663875), -(tptpcol_4_90113(_663875))], (1864 ^ _610949) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _610949) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _610949) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _610949) ^ [_664286] : [tptpcol_15_26925(_664286), -(tptpcol_14_26921(_664286))], (1880 ^ _610949) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _610949) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _610949) ^ [_664644] : [tptpcol_7_18437(_664644), -(tptpcol_6_18436(_664644))], (1894 ^ _610949) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _610949) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _610949) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _610949) ^ [_665055] : [tptpcol_3_98305(_665055), tptpcol_3_114688(_665055)], (1910 ^ _610949) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _610949) ^ [_665293] : [tptpcol_5_110593(_665293), -(tptpcol_4_106497(_665293))], (1918 ^ _610949) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _610949) ^ [_665532] : [tptpcol_13_72791(_665532), -(tptpcol_12_72775(_665532))], (1926 ^ _610949) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _610949) ^ [_665771] : [computerdataartifact(_665771), -(artifact(_665771))], (1934 ^ _610949) ^ [_665957] : [-(tptpofobject(_665957, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_665957)], (1944 ^ _610949) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _610949) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _610949) ^ [_666396] : [tptpcol_10_92166(_666396), -(tptpcol_9_92165(_666396))], (1958 ^ _610949) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _610949) ^ [_666635] : [tptpcol_14_118118(_666635), -(tptpcol_13_118117(_666635))], (1966 ^ _610949) ^ [_666821] : [isa(_666821, c_tptpcol_14_118118), -(tptpcol_14_118118(_666821))], (1972 ^ _610949) ^ [_667009] : [tptpcol_14_118118(_667009), -(isa(_667009, c_tptpcol_14_118118))], (1978 ^ _610949) ^ [_667182] : [-(natfunction(f_tptpquantityfn_6(_667182), c_tptpquantityfn_6))], (1980 ^ _610949) ^ [_667262] : [-(natargument(f_tptpquantityfn_6(_667262), n_1, _667262))], (1982 ^ _610949) ^ [_667343] : [-(tptpquantity(f_tptpquantityfn_6(_667343)))], (1984 ^ _610949) ^ [_667437] : [isa(_667437, c_tptpcol_16_26939), -(tptpcol_16_26939(_667437))], (1990 ^ _610949) ^ [_667625] : [tptpcol_16_26939(_667625), -(isa(_667625, c_tptpcol_16_26939))], (1996 ^ _610949) ^ [_667813] : [isa(_667813, c_tptpcol_16_62187), -(tptpcol_16_62187(_667813))], (2002 ^ _610949) ^ [_668001] : [tptpcol_16_62187(_668001), -(isa(_668001, c_tptpcol_16_62187))], (2008 ^ _610949) ^ [_668189] : [isa(_668189, c_tptpcol_13_92263), -(tptpcol_13_92263(_668189))], (2014 ^ _610949) ^ [_668377] : [tptpcol_13_92263(_668377), -(isa(_668377, c_tptpcol_13_92263))], (2020 ^ _610949) ^ [_668565] : [isa(_668565, c_geolevel_4), -(geolevel_4(_668565))], (2026 ^ _610949) ^ [_668753] : [geolevel_4(_668753), -(isa(_668753, c_geolevel_4))], (2032 ^ _610949) ^ [_668941] : [isa(_668941, c_tptpcol_15_4027), -(tptpcol_15_4027(_668941))], (2038 ^ _610949) ^ [_669129] : [tptpcol_15_4027(_669129), -(isa(_669129, c_tptpcol_15_4027))], (2044 ^ _610949) ^ [_669317] : [isa(_669317, c_pushingwithfingers), -(pushingwithfingers(_669317))], (2050 ^ _610949) ^ [_669505] : [pushingwithfingers(_669505), -(isa(_669505, c_pushingwithfingers))], (2056 ^ _610949) ^ [_669707, _669709] : [affiliatedwith(_669709, _669707), -(agent_generic(_669707))], (2062 ^ _610949) ^ [_669915, _669917] : [affiliatedwith(_669917, _669915), -(agent_generic(_669917))], (2068 ^ _610949) ^ [_670123, _670125] : [affiliatedwith(_670125, _670123), -(affiliatedwith(_670123, _670125))], (2074 ^ _610949) ^ [_670303] : [affiliatedwith(_670303, _670303)], (2076 ^ _610949) ^ [_670396] : [isa(_670396, c_footballteam), -(footballteam(_670396))], (2082 ^ _610949) ^ [_670584] : [footballteam(_670584), -(isa(_670584, c_footballteam))], (2088 ^ _610949) ^ [_670772] : [isa(_670772, c_tptpcol_16_4451), -(tptpcol_16_4451(_670772))], (2094 ^ _610949) ^ [_670960] : [tptpcol_16_4451(_670960), -(isa(_670960, c_tptpcol_16_4451))], (2100 ^ _610949) ^ [_671148] : [isa(_671148, c_pushingwithopenhand), -(pushingwithopenhand(_671148))], (2106 ^ _610949) ^ [_671336] : [pushingwithopenhand(_671336), -(isa(_671336, c_pushingwithopenhand))], (2112 ^ _610949) ^ [_671524] : [isa(_671524, c_tptpcol_15_22076), -(tptpcol_15_22076(_671524))], (2118 ^ _610949) ^ [_671712] : [tptpcol_15_22076(_671712), -(isa(_671712, c_tptpcol_15_22076))], (2124 ^ _610949) ^ [_671885] : [-(natfunction(f_tptpquantityfn_2(_671885), c_tptpquantityfn_2))], (2126 ^ _610949) ^ [_671965] : [-(natargument(f_tptpquantityfn_2(_671965), n_1, _671965))], (2128 ^ _610949) ^ [_672046] : [-(tptpquantity(f_tptpquantityfn_2(_672046)))], (2130 ^ _610949) ^ [_672140] : [isa(_672140, c_tptpcol_7_39939), -(tptpcol_7_39939(_672140))], (2136 ^ _610949) ^ [_672328] : [tptpcol_7_39939(_672328), -(isa(_672328, c_tptpcol_7_39939))], (2142 ^ _610949) ^ [_672516] : [isa(_672516, c_tptpcol_8_39940), -(tptpcol_8_39940(_672516))], (2148 ^ _610949) ^ [_672704] : [tptpcol_8_39940(_672704), -(isa(_672704, c_tptpcol_8_39940))], (2154 ^ _610949) ^ [_672892] : [isa(_672892, c_tptpcol_15_26925), -(tptpcol_15_26925(_672892))], (2160 ^ _610949) ^ [_673080] : [tptpcol_15_26925(_673080), -(isa(_673080, c_tptpcol_15_26925))], (2166 ^ _610949) ^ [_673268] : [isa(_673268, c_tptpcol_16_26926), -(tptpcol_16_26926(_673268))], (2172 ^ _610949) ^ [_673456] : [tptpcol_16_26926(_673456), -(isa(_673456, c_tptpcol_16_26926))], (2178 ^ _610949) ^ [_673644] : [isa(_673644, c_tptpcol_13_118117), -(tptpcol_13_118117(_673644))], (2184 ^ _610949) ^ [_673832] : [tptpcol_13_118117(_673832), -(isa(_673832, c_tptpcol_13_118117))], (2190 ^ _610949) ^ [_674020] : [isa(_674020, c_tptpcol_5_90114), -(tptpcol_5_90114(_674020))], (2196 ^ _610949) ^ [_674208] : [tptpcol_5_90114(_674208), -(isa(_674208, c_tptpcol_5_90114))], (2202 ^ _610949) ^ [_674410, _674412] : [tptptypes_5_802(_674412, _674410), -(firstordercollection(_674410))], (2208 ^ _610949) ^ [_674618, _674620] : [tptptypes_5_802(_674620, _674618), -(firstordercollection(_674620))], (2214 ^ _610949) ^ [_674812] : [isa(_674812, c_tptpcol_16_72795), -(tptpcol_16_72795(_674812))], (2220 ^ _610949) ^ [_675000] : [tptpcol_16_72795(_675000), -(isa(_675000, c_tptpcol_16_72795))], (2226 ^ _610949) ^ [_675188] : [isa(_675188, c_tptpcol_8_114177), -(tptpcol_8_114177(_675188))], (2232 ^ _610949) ^ [_675376] : [tptpcol_8_114177(_675376), -(isa(_675376, c_tptpcol_8_114177))], (2238 ^ _610949) ^ [_675564] : [isa(_675564, c_tptpcol_15_50957), -(tptpcol_15_50957(_675564))], (2244 ^ _610949) ^ [_675752] : [tptpcol_15_50957(_675752), -(isa(_675752, c_tptpcol_15_50957))], (2250 ^ _610949) ^ [_675940] : [isa(_675940, c_tptpcol_16_50958), -(tptpcol_16_50958(_675940))], (2256 ^ _610949) ^ [_676128] : [tptpcol_16_50958(_676128), -(isa(_676128, c_tptpcol_16_50958))], (2262 ^ _610949) ^ [_676316] : [isa(_676316, c_tptpcol_6_71683), -(tptpcol_6_71683(_676316))], (2268 ^ _610949) ^ [_676504] : [tptpcol_6_71683(_676504), -(isa(_676504, c_tptpcol_6_71683))], (2274 ^ _610949) ^ [_676692] : [isa(_676692, c_tptpcol_11_72774), -(tptpcol_11_72774(_676692))], (2280 ^ _610949) ^ [_676880] : [tptpcol_11_72774(_676880), -(isa(_676880, c_tptpcol_11_72774))], (2286 ^ _610949) ^ [_677068] : [isa(_677068, c_tptpcol_12_72775), -(tptpcol_12_72775(_677068))], (2292 ^ _610949) ^ [_677256] : [tptpcol_12_72775(_677256), -(isa(_677256, c_tptpcol_12_72775))], (2298 ^ _610949) ^ [_677444] : [isa(_677444, c_tptpcol_5_110593), -(tptpcol_5_110593(_677444))], (2304 ^ _610949) ^ [_677632] : [tptpcol_5_110593(_677632), -(isa(_677632, c_tptpcol_5_110593))], (2310 ^ _610949) ^ [_677820] : [isa(_677820, c_tptpcol_16_25972), -(tptpcol_16_25972(_677820))], (2316 ^ _610949) ^ [_678008] : [tptpcol_16_25972(_678008), -(isa(_678008, c_tptpcol_16_25972))], (2322 ^ _610949) ^ [_678210, _678212] : [tptp_8_271(_678212, _678210), -(razor(_678210))], (2328 ^ _610949) ^ [_678418, _678420] : [tptp_8_271(_678420, _678418), -(tptpcol_5_24579(_678420))], (2334 ^ _610949) ^ [_678612] : [isa(_678612, c_tptpcol_4_90113), -(tptpcol_4_90113(_678612))], (2340 ^ _610949) ^ [_678800] : [tptpcol_4_90113(_678800), -(isa(_678800, c_tptpcol_4_90113))], (2346 ^ _610949) ^ [_678988] : [isa(_678988, c_tptpcol_10_93700), -(tptpcol_10_93700(_678988))], (2352 ^ _610949) ^ [_679176] : [tptpcol_10_93700(_679176), -(isa(_679176, c_tptpcol_10_93700))], (2358 ^ _610949) ^ [_679364] : [isa(_679364, c_tptpcol_9_93699), -(tptpcol_9_93699(_679364))], (2364 ^ _610949) ^ [_679552] : [tptpcol_9_93699(_679552), -(isa(_679552, c_tptpcol_9_93699))], (2370 ^ _610949) ^ [_679740] : [isa(_679740, c_aspatialthing), -(aspatialthing(_679740))], (2376 ^ _610949) ^ [_679928] : [aspatialthing(_679928), -(isa(_679928, c_aspatialthing))], (2382 ^ _610949) ^ [_680116] : [isa(_680116, c_tptpcol_7_117762), -(tptpcol_7_117762(_680116))], (2388 ^ _610949) ^ [_680304] : [tptpcol_7_117762(_680304), -(isa(_680304, c_tptpcol_7_117762))], (2394 ^ _610949) ^ [_680492] : [isa(_680492, c_tptpcol_8_117763), -(tptpcol_8_117763(_680492))], (2400 ^ _610949) ^ [_680680] : [tptpcol_8_117763(_680680), -(isa(_680680, c_tptpcol_8_117763))], (2406 ^ _610949) ^ [_680868] : [isa(_680868, c_tptpcol_7_18437), -(tptpcol_7_18437(_680868))], (2412 ^ _610949) ^ [_681056] : [tptpcol_7_18437(_681056), -(isa(_681056, c_tptpcol_7_18437))], (2418 ^ _610949) ^ [_681244] : [isa(_681244, c_tptpcol_6_18436), -(tptpcol_6_18436(_681244))], (2424 ^ _610949) ^ [_681432] : [tptpcol_6_18436(_681432), -(isa(_681432, c_tptpcol_6_18436))], (2430 ^ _610949) ^ [_681620] : [isa(_681620, c_tptpcol_8_93698), -(tptpcol_8_93698(_681620))], (2436 ^ _610949) ^ [_681808] : [tptpcol_8_93698(_681808), -(isa(_681808, c_tptpcol_8_93698))], (2442 ^ _610949) ^ [_681996] : [isa(_681996, c_tptpcol_11_109125), -(tptpcol_11_109125(_681996))], (2448 ^ _610949) ^ [_682184] : [tptpcol_11_109125(_682184), -(isa(_682184, c_tptpcol_11_109125))], (2454 ^ _610949) ^ [_682372] : [isa(_682372, c_tptpcol_6_108546), -(tptpcol_6_108546(_682372))], (2460 ^ _610949) ^ [_682560] : [tptpcol_6_108546(_682560), -(isa(_682560, c_tptpcol_6_108546))], (2466 ^ _610949) ^ [_682748] : [isa(_682748, c_tptpcol_6_20484), -(tptpcol_6_20484(_682748))], (2472 ^ _610949) ^ [_682936] : [tptpcol_6_20484(_682936), -(isa(_682936, c_tptpcol_6_20484))], (2478 ^ _610949) ^ [_683138, _683140] : [few(_683140, _683138), -(setorcollection(_683138))], (2484 ^ _610949) ^ [_683346, _683348] : [few(_683348, _683346), -(setorcollection(_683346))], (2490 ^ _610949) ^ [_683554, _683556] : [few(_683556, _683554), -(setorcollection(_683556))], (2496 ^ _610949) ^ [_683762, _683764] : [few(_683764, _683762), -(setorcollection(_683764))], (2502 ^ _610949) ^ [_683984, _683986, _683988] : [-(few(_683988, _683984)), few(_683988, _683986), subsetof(_683984, _683986)], (2512 ^ _610949) ^ [_684279] : [isa(_684279, c_tptpcol_15_130931), -(tptpcol_15_130931(_684279))], (2518 ^ _610949) ^ [_684467] : [tptpcol_15_130931(_684467), -(isa(_684467, c_tptpcol_15_130931))], (2524 ^ _610949) ^ [_684655] : [isa(_684655, c_tptpcol_16_130933), -(tptpcol_16_130933(_684655))], (2530 ^ _610949) ^ [_684843] : [tptpcol_16_130933(_684843), -(isa(_684843, c_tptpcol_16_130933))], (2536 ^ _610949) ^ [_685031] : [isa(_685031, c_tptpcol_7_92163), -(tptpcol_7_92163(_685031))], (2542 ^ _610949) ^ [_685219] : [tptpcol_7_92163(_685219), -(isa(_685219, c_tptpcol_7_92163))], (2548 ^ _610949) ^ [_685407] : [isa(_685407, c_tptpcol_15_130923), -(tptpcol_15_130923(_685407))], (2554 ^ _610949) ^ [_685595] : [tptpcol_15_130923(_685595), -(isa(_685595, c_tptpcol_15_130923))], (2560 ^ _610949) ^ [_685783] : [isa(_685783, c_tptpcol_16_130924), -(tptpcol_16_130924(_685783))], (2566 ^ _610949) ^ [_685971] : [tptpcol_16_130924(_685971), -(isa(_685971, c_tptpcol_16_130924))], (2572 ^ _610949) ^ [_686159] : [isa(_686159, c_intangibleindividual), -(intangibleindividual(_686159))], (2578 ^ _610949) ^ [_686347] : [intangibleindividual(_686347), -(isa(_686347, c_intangibleindividual))], (2584 ^ _610949) ^ [_686534, _686536] : [-(natfunction(f_citynamedfn(_686536, _686534), c_citynamedfn))], (2586 ^ _610949) ^ [_686631, _686633] : [-(natargument(f_citynamedfn(_686633, _686631), n_1, _686633))], (2588 ^ _610949) ^ [_686729, _686731] : [-(natargument(f_citynamedfn(_686731, _686729), n_2, _686729))], (2590 ^ _610949) ^ [_686827, _686829] : [-(city(f_citynamedfn(_686829, _686827)))], (2592 ^ _610949) ^ [_686924] : [isa(_686924, c_tptpcol_13_26920), -(tptpcol_13_26920(_686924))], (2598 ^ _610949) ^ [_687112] : [tptpcol_13_26920(_687112), -(isa(_687112, c_tptpcol_13_26920))], (2604 ^ _610949) ^ [_687300] : [isa(_687300, c_tptpcol_14_26921), -(tptpcol_14_26921(_687300))], (2610 ^ _610949) ^ [_687488] : [tptpcol_14_26921(_687488), -(isa(_687488, c_tptpcol_14_26921))], (2616 ^ _610949) ^ [_687676] : [isa(_687676, c_tptpcol_3_65538), -(tptpcol_3_65538(_687676))], (2622 ^ _610949) ^ [_687864] : [tptpcol_3_65538(_687864), -(isa(_687864, c_tptpcol_3_65538))], (2628 ^ _610949) ^ [_688052] : [isa(_688052, c_tptpcol_16_27189), -(tptpcol_16_27189(_688052))], (2634 ^ _610949) ^ [_688240] : [tptpcol_16_27189(_688240), -(isa(_688240, c_tptpcol_16_27189))], (2640 ^ _610949) ^ [_688442, _688444] : [tptp_9_51(_688444, _688442), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688442))], (2646 ^ _610949) ^ [_688650, _688652] : [tptp_9_51(_688652, _688650), -(tptpcol_7_26628(_688652))], (2652 ^ _610949) ^ [_688844] : [isa(_688844, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_688844))], (2658 ^ _610949) ^ [_689032] : [reflexivebinarypredicate(_689032), -(isa(_689032, c_reflexivebinarypredicate))], (2664 ^ _610949) ^ [_689220] : [isa(_689220, c_tptpcol_7_21508), -(tptpcol_7_21508(_689220))], (2670 ^ _610949) ^ [_689408] : [tptpcol_7_21508(_689408), -(isa(_689408, c_tptpcol_7_21508))], (2676 ^ _610949) ^ [_689596] : [isa(_689596, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_689596))], (2682 ^ _610949) ^ [_689784] : [hpkb_subnationalagent(_689784), -(isa(_689784, c_hpkb_subnationalagent))], (2688 ^ _610949) ^ [_689972] : [isa(_689972, c_state_geopolitical), -(state_geopolitical(_689972))], (2694 ^ _610949) ^ [_690160] : [state_geopolitical(_690160), -(isa(_690160, c_state_geopolitical))], (2700 ^ _610949) ^ [_690375, _690377, _690379, _690381] : [-(natfunction(f_relationallexistsfn(_690381, _690379, _690377, _690375), c_relationallexistsfn))], (2702 ^ _610949) ^ [_690506, _690508, _690510, _690512] : [-(natargument(f_relationallexistsfn(_690512, _690510, _690508, _690506), n_1, _690512))], (2704 ^ _610949) ^ [_690638, _690640, _690642, _690644] : [-(natargument(f_relationallexistsfn(_690644, _690642, _690640, _690638), n_2, _690642))], (2706 ^ _610949) ^ [_690770, _690772, _690774, _690776] : [-(natargument(f_relationallexistsfn(_690776, _690774, _690772, _690770), n_3, _690772))], (2708 ^ _610949) ^ [_690902, _690904, _690906, _690908] : [-(natargument(f_relationallexistsfn(_690908, _690906, _690904, _690902), n_4, _690902))], (2710 ^ _610949) ^ [_691034, _691036, _691038, _691040] : [-(thing(f_relationallexistsfn(_691040, _691038, _691036, _691034)))], (2712 ^ _610949) ^ [_691151, _691153] : [arg2isa(_691153, _691151), -(collection(_691151))], (2718 ^ _610949) ^ [_691359, _691361] : [arg2isa(_691361, _691359), -(relation(_691361))], (2724 ^ _610949) ^ [_691581, _691583, _691585] : [-(arg2isa(_691585, _691581)), arg2isa(_691585, _691583), genls(_691583, _691581)], (2734 ^ _610949) ^ [_691904, _691906, _691908] : [-(arg2isa(_691908, _691904)), arg2isa(_691908, _691906), genls(_691906, _691904)], (2744 ^ _610949) ^ [_692199] : [isa(_692199, c_geolevel_1), -(geolevel_1(_692199))], (2750 ^ _610949) ^ [_692387] : [geolevel_1(_692387), -(isa(_692387, c_geolevel_1))], (2756 ^ _610949) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _610949) ^ [_692628] : [isa(_692628, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_692628))], (2764 ^ _610949) ^ [_692816] : [spatialthing_nonsituational(_692816), -(isa(_692816, c_spatialthing_nonsituational))], (2770 ^ _610949) ^ [_693004] : [isa(_693004, c_militaryperson), -(militaryperson(_693004))], (2776 ^ _610949) ^ [_693192] : [militaryperson(_693192), -(isa(_693192, c_militaryperson))], (2782 ^ _610949) ^ [_693380] : [isa(_693380, c_tptpcol_15_72793), -(tptpcol_15_72793(_693380))], (2788 ^ _610949) ^ [_693568] : [tptpcol_15_72793(_693568), -(isa(_693568, c_tptpcol_15_72793))], (2794 ^ _610949) ^ [_693756] : [isa(_693756, c_tptpcol_9_26885), -(tptpcol_9_26885(_693756))], (2800 ^ _610949) ^ [_693944] : [tptpcol_9_26885(_693944), -(isa(_693944, c_tptpcol_9_26885))], (2806 ^ _610949) ^ [_694132] : [isa(_694132, c_tptpcol_10_26886), -(tptpcol_10_26886(_694132))], (2812 ^ _610949) ^ [_694320] : [tptpcol_10_26886(_694320), -(isa(_694320, c_tptpcol_10_26886))], (2818 ^ _610949) ^ [_694522, _694524] : [tptptypes_8_823(_694524, _694522), -(firstordercollection(_694522))], (2824 ^ _610949) ^ [_694730, _694732] : [tptptypes_8_823(_694732, _694730), -(firstordercollection(_694732))], (2830 ^ _610949) ^ [_694924] : [isa(_694924, c_tptpcol_16_92269), -(tptpcol_16_92269(_694924))], (2836 ^ _610949) ^ [_695112] : [tptpcol_16_92269(_695112), -(isa(_695112, c_tptpcol_16_92269))], (2842 ^ _610949) ^ [_695300] : [isa(_695300, c_tptpcol_15_109185), -(tptpcol_15_109185(_695300))], (2848 ^ _610949) ^ [_695488] : [tptpcol_15_109185(_695488), -(isa(_695488, c_tptpcol_15_109185))], (2854 ^ _610949) ^ [_695676] : [isa(_695676, c_tptpcol_6_26627), -(tptpcol_6_26627(_695676))], (2860 ^ _610949) ^ [_695864] : [tptpcol_6_26627(_695864), -(isa(_695864, c_tptpcol_6_26627))], (2866 ^ _610949) ^ [_696052] : [isa(_696052, c_tptpcol_12_118116), -(tptpcol_12_118116(_696052))], (2872 ^ _610949) ^ [_696240] : [tptpcol_12_118116(_696240), -(isa(_696240, c_tptpcol_12_118116))], (2878 ^ _610949) ^ [_696428] : [isa(_696428, c_tptpcol_8_18438), -(tptpcol_8_18438(_696428))], (2884 ^ _610949) ^ [_696616] : [tptpcol_8_18438(_696616), -(isa(_696616, c_tptpcol_8_18438))], (2890 ^ _610949) ^ [_696804] : [isa(_696804, c_tptpcol_15_30970), -(tptpcol_15_30970(_696804))], (2896 ^ _610949) ^ [_696992] : [tptpcol_15_30970(_696992), -(isa(_696992, c_tptpcol_15_30970))], (2902 ^ _610949) ^ [_697180] : [isa(_697180, c_tptpcol_16_30972), -(tptpcol_16_30972(_697180))], (2908 ^ _610949) ^ [_697368] : [tptpcol_16_30972(_697368), -(isa(_697368, c_tptpcol_16_30972))], (2914 ^ _610949) ^ [_697556] : [isa(_697556, c_tptpcol_14_109181), -(tptpcol_14_109181(_697556))], (2920 ^ _610949) ^ [_697744] : [tptpcol_14_109181(_697744), -(isa(_697744, c_tptpcol_14_109181))], (2926 ^ _610949) ^ [_697932] : [isa(_697932, c_physicalorderingpredicate), -(physicalorderingpredicate(_697932))], (2932 ^ _610949) ^ [_698120] : [physicalorderingpredicate(_698120), -(isa(_698120, c_physicalorderingpredicate))], (2938 ^ _610949) ^ [_698308] : [isa(_698308, c_tptpcol_16_7738), -(tptpcol_16_7738(_698308))], (2944 ^ _610949) ^ [_698496] : [tptpcol_16_7738(_698496), -(isa(_698496, c_tptpcol_16_7738))], (2950 ^ _610949) ^ [_698698, _698700] : [tptp_8_968(_698700, _698698), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_698698))], (2956 ^ _610949) ^ [_698906, _698908] : [tptp_8_968(_698908, _698906), -(tptpcol_7_7172(_698908))], (2962 ^ _610949) ^ [_699128, _699130, _699132] : [relationexistsall(_699132, _699130, _699128), -(collection(_699128))], (2968 ^ _610949) ^ [_699358, _699360, _699362] : [relationexistsall(_699362, _699360, _699358), -(collection(_699360))], (2974 ^ _610949) ^ [_699588, _699590, _699592] : [relationexistsall(_699592, _699590, _699588), -(binarypredicate(_699592))], (2980 ^ _610949) ^ [_699790] : [isa(_699790, c_tptpcol_7_26628), -(tptpcol_7_26628(_699790))], (2986 ^ _610949) ^ [_699978] : [tptpcol_7_26628(_699978), -(isa(_699978, c_tptpcol_7_26628))], (2992 ^ _610949) ^ [_700166] : [isa(_700166, c_tptpcol_8_26629), -(tptpcol_8_26629(_700166))], (2998 ^ _610949) ^ [_700354] : [tptpcol_8_26629(_700354), -(isa(_700354, c_tptpcol_8_26629))], (3004 ^ _610949) ^ [_700542] : [isa(_700542, c_tptpcol_3_114688), -(tptpcol_3_114688(_700542))], (3010 ^ _610949) ^ [_700730] : [tptpcol_3_114688(_700730), -(isa(_700730, c_tptpcol_3_114688))], (3016 ^ _610949) ^ [_700903] : [-(natfunction(f_contextofpcwfn(_700903), c_contextofpcwfn))], (3018 ^ _610949) ^ [_700983] : [-(natargument(f_contextofpcwfn(_700983), n_1, _700983))], (3020 ^ _610949) ^ [_701064] : [-(microtheory(f_contextofpcwfn(_701064)))], (3022 ^ _610949) ^ [_701172, _701174] : [arg1isa(_701174, _701172), -(collection(_701172))], (3028 ^ _610949) ^ [_701380, _701382] : [arg1isa(_701382, _701380), -(relation(_701382))], (3034 ^ _610949) ^ [_701602, _701604, _701606] : [-(arg1isa(_701606, _701602)), arg1isa(_701606, _701604), genls(_701604, _701602)], (3044 ^ _610949) ^ [_701925, _701927, _701929] : [-(arg1isa(_701929, _701925)), arg1isa(_701929, _701927), genls(_701927, _701925)], (3054 ^ _610949) ^ [_702234, _702236] : [objectfoundinlocation(_702236, _702234), -(spatialthing_nonsituational(_702234))], (3060 ^ _610949) ^ [_702442, _702444] : [objectfoundinlocation(_702444, _702442), -(spatialthing_localized(_702442))], (3066 ^ _610949) ^ [_702650, _702652] : [objectfoundinlocation(_702652, _702650), -(spatialthing_nonsituational(_702652))], (3072 ^ _610949) ^ [_702858, _702860] : [objectfoundinlocation(_702860, _702858), -(spatialthing_localized(_702860))], (3078 ^ _610949) ^ [_703080, _703082, _703084] : [-(objectfoundinlocation(_703084, _703080)), objectfoundinlocation(_703084, _703082), objectfoundinlocation(_703082, _703080)], (3088 ^ _610949) ^ [_703359] : [objectfoundinlocation(_703359, _703359)], (3090 ^ _610949) ^ [_703480, _703482, _703484] : [-(objectfoundinlocation(_703484, _703480)), objectfoundinlocation(_703484, _703482), geopoliticalsubdivision(_703480, _703482)], (3100 ^ _610949) ^ [_703803, _703805, _703807] : [-(objectfoundinlocation(_703807, _703803)), objectfoundinlocation(_703807, _703805), geographicallysubsumes(_703803, _703805)], (3110 ^ _610949) ^ [_704126, _704128, _704130] : [-(objectfoundinlocation(_704130, _704126)), objectfoundinlocation(_704130, _704128), subregions(_704126, _704128)], (3120 ^ _610949) ^ [_704421] : [isa(_704421, c_ship), -(ship(_704421))], (3126 ^ _610949) ^ [_704609] : [ship(_704609), -(isa(_704609, c_ship))], (3132 ^ _610949) ^ [_704810, _704812, _704814] : [-(natfunction(f_subcollectionofwithrelationtofn(_704814, _704812, _704810), c_subcollectionofwithrelationtofn))], (3134 ^ _610949) ^ [_704924, _704926, _704928] : [-(natargument(f_subcollectionofwithrelationtofn(_704928, _704926, _704924), n_1, _704928))], (3136 ^ _610949) ^ [_705039, _705041, _705043] : [-(natargument(f_subcollectionofwithrelationtofn(_705043, _705041, _705039), n_2, _705041))], (3138 ^ _610949) ^ [_705154, _705156, _705158] : [-(natargument(f_subcollectionofwithrelationtofn(_705158, _705156, _705154), n_3, _705154))], (3140 ^ _610949) ^ [_705269, _705271, _705273] : [-(collection(f_subcollectionofwithrelationtofn(_705273, _705271, _705269)))], (3142 ^ _610949) ^ [_705369] : [isa(_705369, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705369))], (3148 ^ _610949) ^ [_705557] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705557), -(isa(_705557, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _610949) ^ [_705745] : [isa(_705745, c_tptpcol_4_65539), -(tptpcol_4_65539(_705745))], (3160 ^ _610949) ^ [_705933] : [tptpcol_4_65539(_705933), -(isa(_705933, c_tptpcol_4_65539))], (3166 ^ _610949) ^ [_706121] : [isa(_706121, c_tptpcol_5_69635), -(tptpcol_5_69635(_706121))], (3172 ^ _610949) ^ [_706309] : [tptpcol_5_69635(_706309), -(isa(_706309, c_tptpcol_5_69635))], (3178 ^ _610949) ^ [_706497] : [isa(_706497, c_tptpcol_3_16386), -(tptpcol_3_16386(_706497))], (3184 ^ _610949) ^ [_706685] : [tptpcol_3_16386(_706685), -(isa(_706685, c_tptpcol_3_16386))], (3190 ^ _610949) ^ [_706887, _706889] : [no(_706889, _706887), -(setorcollection(_706887))], (3196 ^ _610949) ^ [_707095, _707097] : [no(_707097, _707095), -(setorcollection(_707097))], (3202 ^ _610949) ^ [_707303, _707305] : [no(_707305, _707303), -(no(_707303, _707305))], (3208 ^ _610949) ^ [_707527, _707529, _707531] : [-(no(_707531, _707527)), no(_707531, _707529), subsetof(_707527, _707529)], (3218 ^ _610949) ^ [_707850, _707852, _707854] : [-(no(_707850, _707852)), no(_707854, _707852), subsetof(_707850, _707854)], (3228 ^ _610949) ^ [_708173, _708175, _708177] : [-(no(_708173, _708175)), no(_708177, _708175), genls(_708173, _708177)], (3238 ^ _610949) ^ [_708496, _708498, _708500] : [-(no(_708500, _708496)), no(_708500, _708498), genls(_708496, _708498)], (3248 ^ _610949) ^ [_708819, _708821, _708823] : [-(no(_708819, _708821)), no(_708823, _708821), subsetof(_708819, _708823)], (3258 ^ _610949) ^ [_709142, _709144, _709146] : [-(no(_709146, _709142)), no(_709146, _709144), subsetof(_709142, _709144)], (3268 ^ _610949) ^ [_709437] : [isa(_709437, c_geographicalregion), -(geographicalregion(_709437))], (3274 ^ _610949) ^ [_709625] : [geographicalregion(_709625), -(isa(_709625, c_geographicalregion))], (3280 ^ _610949) ^ [_709798] : [-(natfunction(f_tptpquantityfn_21(_709798), c_tptpquantityfn_21))], (3282 ^ _610949) ^ [_709878] : [-(natargument(f_tptpquantityfn_21(_709878), n_1, _709878))], (3284 ^ _610949) ^ [_709959] : [-(tptpquantity(f_tptpquantityfn_21(_709959)))], (3286 ^ _610949) ^ [_710067, _710069] : [airporthasiatacode(_710069, _710067), -(stringoflengthfn3(_710067))], (3292 ^ _610949) ^ [_710275, _710277] : [airporthasiatacode(_710277, _710275), -(airport_physical(_710277))], (3298 ^ _610949) ^ [_710469] : [isa(_710469, c_airport_physical), -(airport_physical(_710469))], (3304 ^ _610949) ^ [_710657] : [airport_physical(_710657), -(isa(_710657, c_airport_physical))], (3310 ^ _610949) ^ [_710858, _710860, _710862] : [-(natfunction(f_instancewithrelationtofn(_710862, _710860, _710858), c_instancewithrelationtofn))], (3312 ^ _610949) ^ [_710972, _710974, _710976] : [-(natargument(f_instancewithrelationtofn(_710976, _710974, _710972), n_1, _710976))], (3314 ^ _610949) ^ [_711087, _711089, _711091] : [-(natargument(f_instancewithrelationtofn(_711091, _711089, _711087), n_2, _711089))], (3316 ^ _610949) ^ [_711202, _711204, _711206] : [-(natargument(f_instancewithrelationtofn(_711206, _711204, _711202), n_3, _711202))], (3318 ^ _610949) ^ [_711317, _711319, _711321] : [-(thing(f_instancewithrelationtofn(_711321, _711319, _711317)))], (3320 ^ _610949) ^ [_711417] : [isa(_711417, c_tptpcol_6_112641), -(tptpcol_6_112641(_711417))], (3326 ^ _610949) ^ [_711605] : [tptpcol_6_112641(_711605), -(isa(_711605, c_tptpcol_6_112641))], (3332 ^ _610949) ^ [_711793] : [isa(_711793, c_tptpcol_7_113665), -(tptpcol_7_113665(_711793))], (3338 ^ _610949) ^ [_711981] : [tptpcol_7_113665(_711981), -(isa(_711981, c_tptpcol_7_113665))], (3344 ^ _610949) ^ [_712169] : [isa(_712169, c_artifact), -(artifact(_712169))], (3350 ^ _610949) ^ [_712357] : [artifact(_712357), -(isa(_712357, c_artifact))], (3356 ^ _610949) ^ [_712545] : [isa(_712545, c_tptpcol_13_18664), -(tptpcol_13_18664(_712545))], (3362 ^ _610949) ^ [_712733] : [tptpcol_13_18664(_712733), -(isa(_712733, c_tptpcol_13_18664))], (3368 ^ _610949) ^ [_712921] : [isa(_712921, c_firstordercollection), -(firstordercollection(_712921))], (3374 ^ _610949) ^ [_713109] : [firstordercollection(_713109), -(isa(_713109, c_firstordercollection))], (3380 ^ _610949) ^ [_713282] : [-(natfunction(f_tptpquantityfn_14(_713282), c_tptpquantityfn_14))], (3382 ^ _610949) ^ [_713362] : [-(natargument(f_tptpquantityfn_14(_713362), n_1, _713362))], (3384 ^ _610949) ^ [_713443] : [-(tptpquantity(f_tptpquantityfn_14(_713443)))], (3386 ^ _610949) ^ [_713537] : [isa(_713537, c_supplies), -(supplies(_713537))], (3392 ^ _610949) ^ [_713725] : [supplies(_713725), -(isa(_713725, c_supplies))], (3398 ^ _610949) ^ [_713913] : [isa(_713913, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_713913))], (3404 ^ _610949) ^ [_714101] : [inanimateobject_nonnatural(_714101), -(isa(_714101, c_inanimateobject_nonnatural))], (3410 ^ _610949) ^ [_714289] : [isa(_714289, c_tptpcol_13_22071), -(tptpcol_13_22071(_714289))], (3416 ^ _610949) ^ [_714477] : [tptpcol_13_22071(_714477), -(isa(_714477, c_tptpcol_13_22071))], (3422 ^ _610949) ^ [_714665] : [isa(_714665, c_tptpcol_14_22072), -(tptpcol_14_22072(_714665))], (3428 ^ _610949) ^ [_714853] : [tptpcol_14_22072(_714853), -(isa(_714853, c_tptpcol_14_22072))], (3434 ^ _610949) ^ [_715041] : [isa(_715041, c_tptpcol_7_108547), -(tptpcol_7_108547(_715041))], (3440 ^ _610949) ^ [_715229] : [tptpcol_7_108547(_715229), -(isa(_715229, c_tptpcol_7_108547))], (3446 ^ _610949) ^ [_715417] : [isa(_715417, c_tptpcol_8_109059), -(tptpcol_8_109059(_715417))], (3452 ^ _610949) ^ [_715605] : [tptpcol_8_109059(_715605), -(isa(_715605, c_tptpcol_8_109059))], (3458 ^ _610949) ^ [_715793] : [isa(_715793, c_tptpcol_14_93774), -(tptpcol_14_93774(_715793))], (3464 ^ _610949) ^ [_715981] : [tptpcol_14_93774(_715981), -(isa(_715981, c_tptpcol_14_93774))], (3470 ^ _610949) ^ [_716169] : [isa(_716169, c_tptpcol_15_93775), -(tptpcol_15_93775(_716169))], (3476 ^ _610949) ^ [_716357] : [tptpcol_15_93775(_716357), -(isa(_716357, c_tptpcol_15_93775))], (3482 ^ _610949) ^ [_716545] : [isa(_716545, c_tptpcol_16_8886), -(tptpcol_16_8886(_716545))], (3488 ^ _610949) ^ [_716733] : [tptpcol_16_8886(_716733), -(isa(_716733, c_tptpcol_16_8886))], (3494 ^ _610949) ^ [_716935, _716937] : [orientation(_716937, _716935), -(orientationvector(_716935))], (3500 ^ _610949) ^ [_717143, _717145] : [orientation(_717145, _717143), -(spatialthing_localized(_717145))], (3506 ^ _610949) ^ [_717337] : [isa(_717337, c_orientationvector), -(orientationvector(_717337))], (3512 ^ _610949) ^ [_717525] : [orientationvector(_717525), -(isa(_717525, c_orientationvector))], (3518 ^ _610949) ^ [_717713] : [isa(_717713, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717713))], (3524 ^ _610949) ^ [_717901] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717901), -(isa(_717901, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _610949) ^ [_718103, _718105] : [tptptypes_9_824(_718105, _718103), -(firstordercollection(_718103))], (3536 ^ _610949) ^ [_718311, _718313] : [tptptypes_9_824(_718313, _718311), -(firstordercollection(_718313))], (3542 ^ _610949) ^ [_718519, _718521] : [tptptypes_7_396(_718521, _718519), -(firstordercollection(_718519))], (3548 ^ _610949) ^ [_718727, _718729] : [tptptypes_7_396(_718729, _718727), -(firstordercollection(_718729))], (3554 ^ _610949) ^ [_718921] : [isa(_718921, c_tptpcol_12_22055), -(tptpcol_12_22055(_718921))], (3560 ^ _610949) ^ [_719109] : [tptpcol_12_22055(_719109), -(isa(_719109, c_tptpcol_12_22055))], (3566 ^ _610949) ^ [_719297] : [isa(_719297, c_tptpcol_16_29490), -(tptpcol_16_29490(_719297))], (3572 ^ _610949) ^ [_719485] : [tptpcol_16_29490(_719485), -(isa(_719485, c_tptpcol_16_29490))], (3578 ^ _610949) ^ [_719687, _719689] : [tptp_9_720(_719689, _719687), -(tptpcol_5_28674(_719687))], (3584 ^ _610949) ^ [_719895, _719897] : [tptp_9_720(_719897, _719895), -(executionbyfiringsquad(_719897))], (3590 ^ _610949) ^ [_720089] : [isa(_720089, c_runningshorts), -(runningshorts(_720089))], (3596 ^ _610949) ^ [_720277] : [runningshorts(_720277), -(isa(_720277, c_runningshorts))], (3602 ^ _610949) ^ [_720465] : [isa(_720465, c_tptpcol_9_118019), -(tptpcol_9_118019(_720465))], (3608 ^ _610949) ^ [_720653] : [tptpcol_9_118019(_720653), -(isa(_720653, c_tptpcol_9_118019))], (3614 ^ _610949) ^ [_720841] : [isa(_720841, c_tptpcol_16_31868), -(tptpcol_16_31868(_720841))], (3620 ^ _610949) ^ [_721029] : [tptpcol_16_31868(_721029), -(isa(_721029, c_tptpcol_16_31868))], (3626 ^ _610949) ^ [_721217] : [isa(_721217, c_movement_translationevent), -(movement_translationevent(_721217))], (3632 ^ _610949) ^ [_721405] : [movement_translationevent(_721405), -(isa(_721405, c_movement_translationevent))], (3638 ^ _610949) ^ [_721607, _721609] : [directionoftranslation_throughout(_721609, _721607), -(unitvectorinterval(_721607))], (3644 ^ _610949) ^ [_721815, _721817] : [directionoftranslation_throughout(_721817, _721815), -(movement_translationevent(_721817))], (3650 ^ _610949) ^ [_722037, _722039, _722041] : [-(directionoftranslation_throughout(_722037, _722039)), directionoftranslation_throughout(_722041, _722039), subevents(_722041, _722037)], (3660 ^ _610949) ^ [_722332] : [isa(_722332, c_unitvectorinterval), -(unitvectorinterval(_722332))], (3666 ^ _610949) ^ [_722520] : [unitvectorinterval(_722520), -(isa(_722520, c_unitvectorinterval))], (3672 ^ _610949) ^ [_722708] : [isa(_722708, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722708))], (3678 ^ _610949) ^ [_722896] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722896), -(isa(_722896, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _610949) ^ [_723098, _723100] : [tptp_8_875(_723100, _723098), -(tptpcol_4_24578(_723098))], (3690 ^ _610949) ^ [_723306, _723308] : [tptp_8_875(_723308, _723306), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723308))], (3696 ^ _610949) ^ [_723528, _723530, _723532] : [relationallexists(_723532, _723530, _723528), -(collection(_723528))], (3702 ^ _610949) ^ [_723758, _723760, _723762] : [relationallexists(_723762, _723760, _723758), -(collection(_723760))], (3708 ^ _610949) ^ [_723988, _723990, _723992] : [relationallexists(_723992, _723990, _723988), -(binarypredicate(_723992))], (3714 ^ _610949) ^ [_724190] : [isa(_724190, c_tptpcol_16_10258), -(tptpcol_16_10258(_724190))], (3720 ^ _610949) ^ [_724378] : [tptpcol_16_10258(_724378), -(isa(_724378, c_tptpcol_16_10258))], (3726 ^ _610949) ^ [_724566] : [isa(_724566, c_pushingababycarriage), -(pushingababycarriage(_724566))], (3732 ^ _610949) ^ [_724754] : [pushingababycarriage(_724754), -(isa(_724754, c_pushingababycarriage))], (3738 ^ _610949) ^ [_724942] : [isa(_724942, c_aspatialinformationstore), -(aspatialinformationstore(_724942))], (3744 ^ _610949) ^ [_725130] : [aspatialinformationstore(_725130), -(isa(_725130, c_aspatialinformationstore))], (3750 ^ _610949) ^ [_725318] : [isa(_725318, c_collection), -(collection(_725318))], (3756 ^ _610949) ^ [_725506] : [collection(_725506), -(isa(_725506, c_collection))], (3762 ^ _610949) ^ [_725694] : [isa(_725694, c_fixedordercollection), -(fixedordercollection(_725694))], (3768 ^ _610949) ^ [_725882] : [fixedordercollection(_725882), -(isa(_725882, c_fixedordercollection))], (3774 ^ _610949) ^ [_726070] : [isa(_726070, c_tptpcol_8_92164), -(tptpcol_8_92164(_726070))], (3780 ^ _610949) ^ [_726258] : [tptpcol_8_92164(_726258), -(isa(_726258, c_tptpcol_8_92164))], (3786 ^ _610949) ^ [_726446] : [isa(_726446, c_tptpcol_9_92165), -(tptpcol_9_92165(_726446))], (3792 ^ _610949) ^ [_726634] : [tptpcol_9_92165(_726634), -(isa(_726634, c_tptpcol_9_92165))], (3798 ^ _610949) ^ [_726822] : [isa(_726822, c_tptpcol_1_1), -(tptpcol_1_1(_726822))], (3804 ^ _610949) ^ [_727010] : [tptpcol_1_1(_727010), -(isa(_727010, c_tptpcol_1_1))], (3810 ^ _610949) ^ [_727198] : [isa(_727198, c_tptpcol_2_2), -(tptpcol_2_2(_727198))], (3816 ^ _610949) ^ [_727386] : [tptpcol_2_2(_727386), -(isa(_727386, c_tptpcol_2_2))], (3822 ^ _610949) ^ [_727588, _727590] : [tptptypes_7_691(_727590, _727588), -(firstordercollection(_727588))], (3828 ^ _610949) ^ [_727796, _727798] : [tptptypes_7_691(_727798, _727796), -(firstordercollection(_727798))], (3834 ^ _610949) ^ [_727990] : [isa(_727990, c_tptpcol_11_26887), -(tptpcol_11_26887(_727990))], (3840 ^ _610949) ^ [_728178] : [tptpcol_11_26887(_728178), -(isa(_728178, c_tptpcol_11_26887))], (3846 ^ _610949) ^ [_728366] : [isa(_728366, c_tptpcol_12_26919), -(tptpcol_12_26919(_728366))], (3852 ^ _610949) ^ [_728554] : [tptpcol_12_26919(_728554), -(isa(_728554, c_tptpcol_12_26919))], (3858 ^ _610949) ^ [_728756, _728758] : [tptptypes_6_818(_728758, _728756), -(firstordercollection(_728756))], (3864 ^ _610949) ^ [_728964, _728966] : [tptptypes_6_818(_728966, _728964), -(firstordercollection(_728966))], (3870 ^ _610949) ^ [_729172, _729174] : [tptptypes_7_819(_729174, _729172), -(firstordercollection(_729172))], (3876 ^ _610949) ^ [_729380, _729382] : [tptptypes_7_819(_729382, _729380), -(firstordercollection(_729382))], (3882 ^ _610949) ^ [_729574] : [isa(_729574, c_correctivelensprescription), -(correctivelensprescription(_729574))], (3888 ^ _610949) ^ [_729762] : [correctivelensprescription(_729762), -(isa(_729762, c_correctivelensprescription))], (3894 ^ _610949) ^ [_729964, _729966] : [products(_729966, _729964), -(artifact(_729964))], (3900 ^ _610949) ^ [_730172, _730174] : [products(_730174, _730172), -(creationordestructionevent(_730174))], (3906 ^ _610949) ^ [_730366] : [isa(_730366, c_issuingaprescription), -(issuingaprescription(_730366))], (3912 ^ _610949) ^ [_730554] : [issuingaprescription(_730554), -(isa(_730554, c_issuingaprescription))], (3918 ^ _610949) ^ [_730755, _730757, _730759] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_730759, _730757, _730755), c_subcollectionofwithrelationtotypefn))], (3920 ^ _610949) ^ [_730869, _730871, _730873] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730873, _730871, _730869), n_1, _730873))], (3922 ^ _610949) ^ [_730984, _730986, _730988] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730988, _730986, _730984), n_2, _730986))], (3924 ^ _610949) ^ [_731099, _731101, _731103] : [-(natargument(f_subcollectionofwithrelationtotypefn(_731103, _731101, _731099), n_3, _731099))], (3926 ^ _610949) ^ [_731214, _731216, _731218] : [-(collection(f_subcollectionofwithrelationtotypefn(_731218, _731216, _731214)))], (3928 ^ _610949) ^ [_731314] : [isa(_731314, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731314))], (3934 ^ _610949) ^ [_731502] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731502), -(isa(_731502, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _610949) ^ [_731690] : [isa(_731690, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_731690))], (3946 ^ _610949) ^ [_731878] : [mathematicalorcomputationalthing(_731878), -(isa(_731878, c_mathematicalorcomputationalthing))], (3952 ^ _610949) ^ [_732066] : [isa(_732066, c_tptpcol_10_118020), -(tptpcol_10_118020(_732066))], (3958 ^ _610949) ^ [_732254] : [tptpcol_10_118020(_732254), -(isa(_732254, c_tptpcol_10_118020))], (3964 ^ _610949) ^ [_732442] : [isa(_732442, c_tptpcol_11_118084), -(tptpcol_11_118084(_732442))], (3970 ^ _610949) ^ [_732630] : [tptpcol_11_118084(_732630), -(isa(_732630, c_tptpcol_11_118084))], (3976 ^ _610949) ^ [_732818] : [isa(_732818, c_terroristgroup), -(terroristgroup(_732818))], (3982 ^ _610949) ^ [_733006] : [terroristgroup(_733006), -(isa(_733006, c_terroristgroup))], (3988 ^ _610949) ^ [_733208, _733210] : [hasmembers(_733210, _733208), -(agent_generic(_733208))], (3994 ^ _610949) ^ [_733416, _733418] : [hasmembers(_733418, _733416), -(organization(_733418))], (4000 ^ _610949) ^ [_733610] : [isa(_733610, c_terrorist), -(terrorist(_733610))], (4006 ^ _610949) ^ [_733798] : [terrorist(_733798), -(isa(_733798, c_terrorist))], (4012 ^ _610949) ^ [_733999, _734001, _734003] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_734003, _734001, _733999), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _610949) ^ [_734113, _734115, _734117] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734117, _734115, _734113), n_1, _734117))], (4016 ^ _610949) ^ [_734228, _734230, _734232] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734232, _734230, _734228), n_2, _734230))], (4018 ^ _610949) ^ [_734343, _734345, _734347] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734347, _734345, _734343), n_3, _734343))], (4020 ^ _610949) ^ [_734458, _734460, _734462] : [-(collection(f_subcollectionofwithrelationfromtypefn(_734462, _734460, _734458)))], (4022 ^ _610949) ^ [_734558] : [isa(_734558, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734558))], (4028 ^ _610949) ^ [_734746] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734746), -(isa(_734746, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _610949) ^ [_734948, _734950] : [prettystring(_734950, _734948), -(controlcharacterfreestring(_734948))], (4040 ^ _610949) ^ [_735156, _735158] : [prettystring(_735158, _735156), -(thing(_735158))], (4046 ^ _610949) ^ [_735350] : [isa(_735350, c_tptpcol_0_0), -(tptpcol_0_0(_735350))], (4052 ^ _610949) ^ [_735538] : [tptpcol_0_0(_735538), -(isa(_735538, c_tptpcol_0_0))], (4058 ^ _610949) ^ [_735726] : [isa(_735726, c_geolevel_3), -(geolevel_3(_735726))], (4064 ^ _610949) ^ [_735914] : [geolevel_3(_735914), -(isa(_735914, c_geolevel_3))], (4070 ^ _610949) ^ [_736102] : [isa(_736102, c_tptpcol_4_24578), -(tptpcol_4_24578(_736102))], (4076 ^ _610949) ^ [_736290] : [tptpcol_4_24578(_736290), -(isa(_736290, c_tptpcol_4_24578))], (4082 ^ _610949) ^ [_736478] : [isa(_736478, c_tptpcol_5_24579), -(tptpcol_5_24579(_736478))], (4088 ^ _610949) ^ [_736666] : [tptpcol_5_24579(_736666), -(isa(_736666, c_tptpcol_5_24579))], (4094 ^ _610949) ^ [_736854] : [isa(_736854, c_tptpcol_5_106498), -(tptpcol_5_106498(_736854))], (4100 ^ _610949) ^ [_737042] : [tptpcol_5_106498(_737042), -(isa(_737042, c_tptpcol_5_106498))], (4106 ^ _610949) ^ [_737230] : [isa(_737230, c_tptpcol_12_109157), -(tptpcol_12_109157(_737230))], (4112 ^ _610949) ^ [_737418] : [tptpcol_12_109157(_737418), -(isa(_737418, c_tptpcol_12_109157))], (4118 ^ _610949) ^ [_737606] : [isa(_737606, c_tptpcol_13_109173), -(tptpcol_13_109173(_737606))], (4124 ^ _610949) ^ [_737794] : [tptpcol_13_109173(_737794), -(isa(_737794, c_tptpcol_13_109173))], (4130 ^ _610949) ^ [_737982] : [isa(_737982, c_mathematicalthing), -(mathematicalthing(_737982))], (4136 ^ _610949) ^ [_738170] : [mathematicalthing(_738170), -(isa(_738170, c_mathematicalthing))], (4142 ^ _610949) ^ [_738358] : [isa(_738358, c_setorcollection), -(setorcollection(_738358))], (4148 ^ _610949) ^ [_738546] : [setorcollection(_738546), -(isa(_738546, c_setorcollection))], (4154 ^ _610949) ^ [_738734] : [isa(_738734, c_tptpcol_11_18631), -(tptpcol_11_18631(_738734))], (4160 ^ _610949) ^ [_738922] : [tptpcol_11_18631(_738922), -(isa(_738922, c_tptpcol_11_18631))], (4166 ^ _610949) ^ [_739110] : [isa(_739110, c_tptpcol_12_18663), -(tptpcol_12_18663(_739110))], (4172 ^ _610949) ^ [_739298] : [tptpcol_12_18663(_739298), -(isa(_739298, c_tptpcol_12_18663))], (4178 ^ _610949) ^ [_739500, _739502] : [tptptypes_8_400(_739502, _739500), -(firstordercollection(_739500))], (4184 ^ _610949) ^ [_739708, _739710] : [tptptypes_8_400(_739710, _739708), -(firstordercollection(_739710))], (4190 ^ _610949) ^ [_739916, _739918] : [tptptypes_9_401(_739918, _739916), -(firstordercollection(_739916))], (4196 ^ _610949) ^ [_740124, _740126] : [tptptypes_9_401(_740126, _740124), -(firstordercollection(_740126))], (4202 ^ _610949) ^ [_740303] : [-(natfunction(f_tptpquantityfn_13(_740303), c_tptpquantityfn_13))], (4204 ^ _610949) ^ [_740383] : [-(natargument(f_tptpquantityfn_13(_740383), n_1, _740383))], (4206 ^ _610949) ^ [_740464] : [-(tptpquantity(f_tptpquantityfn_13(_740464)))], (4208 ^ _610949) ^ [_740572, _740574] : [borderson(_740574, _740572), -(geographicalregion(_740572))], (4214 ^ _610949) ^ [_740780, _740782] : [borderson(_740782, _740780), -(geographicalregion(_740782))], (4220 ^ _610949) ^ [_740988, _740990] : [borderson(_740990, _740988), -(borderson(_740988, _740990))], (4226 ^ _610949) ^ [_741168] : [borderson(_741168, _741168)], (4228 ^ _610949) ^ [_741261] : [isa(_741261, c_tptpcol_14_92264), -(tptpcol_14_92264(_741261))], (4234 ^ _610949) ^ [_741449] : [tptpcol_14_92264(_741449), -(isa(_741449, c_tptpcol_14_92264))], (4240 ^ _610949) ^ [_741637] : [isa(_741637, c_tptpcol_15_92268), -(tptpcol_15_92268(_741637))], (4246 ^ _610949) ^ [_741825] : [tptpcol_15_92268(_741825), -(isa(_741825, c_tptpcol_15_92268))], (4252 ^ _610949) ^ [_742013] : [isa(_742013, c_tptpcol_6_116738), -(tptpcol_6_116738(_742013))], (4258 ^ _610949) ^ [_742201] : [tptpcol_6_116738(_742201), -(isa(_742201, c_tptpcol_6_116738))], (4264 ^ _610949) ^ [_742403, _742405] : [tptptypes_5_387(_742405, _742403), -(firstordercollection(_742403))], (4270 ^ _610949) ^ [_742611, _742613] : [tptptypes_5_387(_742613, _742611), -(firstordercollection(_742613))], (4276 ^ _610949) ^ [_742819, _742821] : [tptptypes_6_388(_742821, _742819), -(firstordercollection(_742819))], (4282 ^ _610949) ^ [_743027, _743029] : [tptptypes_6_388(_743029, _743027), -(firstordercollection(_743029))], (4288 ^ _610949) ^ [_743221] : [isa(_743221, c_shavingrazor_manual), -(shavingrazor_manual(_743221))], (4294 ^ _610949) ^ [_743409] : [shavingrazor_manual(_743409), -(isa(_743409, c_shavingrazor_manual))], (4300 ^ _610949) ^ [_743597] : [isa(_743597, c_tptpcol_9_109060), -(tptpcol_9_109060(_743597))], (4306 ^ _610949) ^ [_743785] : [tptpcol_9_109060(_743785), -(isa(_743785, c_tptpcol_9_109060))], (4312 ^ _610949) ^ [_743973] : [isa(_743973, c_tptpcol_10_109061), -(tptpcol_10_109061(_743973))], (4318 ^ _610949) ^ [_744161] : [tptpcol_10_109061(_744161), -(isa(_744161, c_tptpcol_10_109061))], (4324 ^ _610949) ^ [_744349] : [isa(_744349, c_executionbyfiringsquad), -(executionbyfiringsquad(_744349))], (4330 ^ _610949) ^ [_744537] : [executionbyfiringsquad(_744537), -(isa(_744537, c_executionbyfiringsquad))], (4336 ^ _610949) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _610949) ^ [_744778] : [isa(_744778, c_navypersonnel), -(navypersonnel(_744778))], (4344 ^ _610949) ^ [_744966] : [navypersonnel(_744966), -(isa(_744966, c_navypersonnel))], (4350 ^ _610949) ^ [_745154] : [isa(_745154, c_tptpcol_12_92262), -(tptpcol_12_92262(_745154))], (4356 ^ _610949) ^ [_745342] : [tptpcol_12_92262(_745342), -(isa(_745342, c_tptpcol_12_92262))], (4362 ^ _610949) ^ [_745530] : [isa(_745530, c_thing), -(thing(_745530))], (4368 ^ _610949) ^ [_745718] : [thing(_745718), -(isa(_745718, c_thing))], (4374 ^ _610949) ^ [_745906] : [isa(_745906, c_computerdataartifact), -(computerdataartifact(_745906))], (4380 ^ _610949) ^ [_746094] : [computerdataartifact(_746094), -(isa(_746094, c_computerdataartifact))], (4386 ^ _610949) ^ [_746282] : [isa(_746282, c_applicationcontext), -(applicationcontext(_746282))], (4392 ^ _610949) ^ [_746470] : [applicationcontext(_746470), -(isa(_746470, c_applicationcontext))], (4398 ^ _610949) ^ [_746672, _746674] : [inregion(_746674, _746672), -(spatialthing_nonsituational(_746672))], (4404 ^ _610949) ^ [_746880, _746882] : [inregion(_746882, _746880), -(spatialthing_nonsituational(_746882))], (4410 ^ _610949) ^ [_747102, _747104, _747106] : [-(inregion(_747106, _747102)), inregion(_747106, _747104), inregion(_747104, _747102)], (4420 ^ _610949) ^ [_747397] : [spatialthing_nonsituational(_747397), -(inregion(_747397, _747397))], (4426 ^ _610949) ^ [_747570] : [-(natfunction(f_tptpquantityfn_1(_747570), c_tptpquantityfn_1))], (4428 ^ _610949) ^ [_747650] : [-(natargument(f_tptpquantityfn_1(_747650), n_1, _747650))], (4430 ^ _610949) ^ [_747731] : [-(tptpquantity(f_tptpquantityfn_1(_747731)))], (4432 ^ _610949) ^ [_747825] : [isa(_747825, c_furpelt), -(furpelt(_747825))], (4438 ^ _610949) ^ [_748013] : [furpelt(_748013), -(isa(_748013, c_furpelt))], (4444 ^ _610949) ^ [_748215, _748217] : [tptpofobject(_748217, _748215), -(tptpquantity(_748215))], (4450 ^ _610949) ^ [_748423, _748425] : [tptpofobject(_748425, _748423), -(partiallytangible(_748425))], (4456 ^ _610949) ^ [_748645, _748647, _748649] : [relationallinstance(_748649, _748647, _748645), -(thing(_748645))], (4462 ^ _610949) ^ [_748875, _748877, _748879] : [relationallinstance(_748879, _748877, _748875), -(collection(_748877))], (4468 ^ _610949) ^ [_749105, _749107, _749109] : [relationallinstance(_749109, _749107, _749105), -(binarypredicate(_749109))], (4474 ^ _610949) ^ [_749307] : [isa(_749307, c_tptpcol_13_93766), -(tptpcol_13_93766(_749307))], (4480 ^ _610949) ^ [_749495] : [tptpcol_13_93766(_749495), -(isa(_749495, c_tptpcol_13_93766))], (4486 ^ _610949) ^ [_749683] : [isa(_749683, c_tptpcol_9_40196), -(tptpcol_9_40196(_749683))], (4492 ^ _610949) ^ [_749871] : [tptpcol_9_40196(_749871), -(isa(_749871, c_tptpcol_9_40196))], (4498 ^ _610949) ^ [_750059] : [isa(_750059, c_tptpcol_10_40324), -(tptpcol_10_40324(_750059))], (4504 ^ _610949) ^ [_750247] : [tptpcol_10_40324(_750247), -(isa(_750247, c_tptpcol_10_40324))], (4510 ^ _610949) ^ [_750435] : [isa(_750435, c_tptpcol_7_72707), -(tptpcol_7_72707(_750435))], (4516 ^ _610949) ^ [_750623] : [tptpcol_7_72707(_750623), -(isa(_750623, c_tptpcol_7_72707))], (4522 ^ _610949) ^ [_750811] : [isa(_750811, c_tptpcol_8_72708), -(tptpcol_8_72708(_750811))], (4528 ^ _610949) ^ [_750999] : [tptpcol_8_72708(_750999), -(isa(_750999, c_tptpcol_8_72708))], (4534 ^ _610949) ^ [_751187] : [isa(_751187, c_tptpcol_11_93764), -(tptpcol_11_93764(_751187))], (4540 ^ _610949) ^ [_751375] : [tptpcol_11_93764(_751375), -(isa(_751375, c_tptpcol_11_93764))], (4546 ^ _610949) ^ [_751563] : [isa(_751563, c_tptpcol_12_93765), -(tptpcol_12_93765(_751563))], (4552 ^ _610949) ^ [_751751] : [tptpcol_12_93765(_751751), -(isa(_751751, c_tptpcol_12_93765))], (4558 ^ _610949) ^ [_751939] : [isa(_751939, c_tptpcol_4_114689), -(tptpcol_4_114689(_751939))], (4564 ^ _610949) ^ [_752127] : [tptpcol_4_114689(_752127), -(isa(_752127, c_tptpcol_4_114689))], (4570 ^ _610949) ^ [_752315] : [isa(_752315, c_tptpcol_5_114690), -(tptpcol_5_114690(_752315))], (4576 ^ _610949) ^ [_752503] : [tptpcol_5_114690(_752503), -(isa(_752503, c_tptpcol_5_114690))], (4582 ^ _610949) ^ [_752691] : [isa(_752691, c_tptpcol_3_98305), -(tptpcol_3_98305(_752691))], (4588 ^ _610949) ^ [_752879] : [tptpcol_3_98305(_752879), -(isa(_752879, c_tptpcol_3_98305))], (4594 ^ _610949) ^ [_753067] : [isa(_753067, c_tptpcol_4_106497), -(tptpcol_4_106497(_753067))], (4600 ^ _610949) ^ [_753255] : [tptpcol_4_106497(_753255), -(isa(_753255, c_tptpcol_4_106497))], (4606 ^ _610949) ^ [_753470, _753472, _753474, _753476] : [-(natfunction(f_relationexistsallfn(_753476, _753474, _753472, _753470), c_relationexistsallfn))], (4608 ^ _610949) ^ [_753601, _753603, _753605, _753607] : [-(natargument(f_relationexistsallfn(_753607, _753605, _753603, _753601), n_1, _753607))], (4610 ^ _610949) ^ [_753733, _753735, _753737, _753739] : [-(natargument(f_relationexistsallfn(_753739, _753737, _753735, _753733), n_2, _753737))], (4612 ^ _610949) ^ [_753865, _753867, _753869, _753871] : [-(natargument(f_relationexistsallfn(_753871, _753869, _753867, _753865), n_3, _753867))], (4614 ^ _610949) ^ [_753997, _753999, _754001, _754003] : [-(natargument(f_relationexistsallfn(_754003, _754001, _753999, _753997), n_4, _753997))], (4616 ^ _610949) ^ [_754129, _754131, _754133, _754135] : [-(thing(f_relationexistsallfn(_754135, _754133, _754131, _754129)))], (4618 ^ _610949) ^ [_754246, _754248] : [resultisaarg(_754248, _754246), -(positiveinteger(_754246))], (4624 ^ _610949) ^ [_754454, _754456] : [resultisaarg(_754456, _754454), -(function_denotational(_754456))], (4630 ^ _610949) ^ [_754662, _754664] : [tptptypes_7_389(_754664, _754662), -(firstordercollection(_754662))], (4636 ^ _610949) ^ [_754870, _754872] : [tptptypes_7_389(_754872, _754870), -(firstordercollection(_754872))], (4642 ^ _610949) ^ [_755078, _755080] : [tptptypes_8_390(_755080, _755078), -(firstordercollection(_755078))], (4648 ^ _610949) ^ [_755286, _755288] : [tptptypes_8_390(_755288, _755286), -(firstordercollection(_755288))], (4654 ^ _610949) ^ [_755494, _755496] : [tptptypes_8_692(_755496, _755494), -(firstordercollection(_755494))], (4660 ^ _610949) ^ [_755702, _755704] : [tptptypes_8_692(_755704, _755702), -(firstordercollection(_755704))], (4666 ^ _610949) ^ [_755910, _755912] : [tptptypes_9_693(_755912, _755910), -(firstordercollection(_755910))], (4672 ^ _610949) ^ [_756118, _756120] : [tptptypes_9_693(_756120, _756118), -(firstordercollection(_756120))], (4678 ^ _610949) ^ [_756312] : [isa(_756312, c_tptpcol_11_40388), -(tptpcol_11_40388(_756312))], (4684 ^ _610949) ^ [_756500] : [tptpcol_11_40388(_756500), -(isa(_756500, c_tptpcol_11_40388))], (4690 ^ _610949) ^ [_756688] : [isa(_756688, c_marriagelicensedocument), -(marriagelicensedocument(_756688))], (4696 ^ _610949) ^ [_756876] : [marriagelicensedocument(_756876), -(isa(_756876, c_marriagelicensedocument))], (4702 ^ _610949) ^ [_757064] : [isa(_757064, c_tptpcol_1_65536), -(tptpcol_1_65536(_757064))], (4708 ^ _610949) ^ [_757252] : [tptpcol_1_65536(_757252), -(isa(_757252, c_tptpcol_1_65536))], (4714 ^ _610949) ^ [_757440] : [isa(_757440, c_tptpcol_2_98304), -(tptpcol_2_98304(_757440))], (4720 ^ _610949) ^ [_757628] : [tptpcol_2_98304(_757628), -(isa(_757628, c_tptpcol_2_98304))], (4726 ^ _610949) ^ [_757816] : [isa(_757816, c_tptpcol_10_92166), -(tptpcol_10_92166(_757816))], (4732 ^ _610949) ^ [_758004] : [tptpcol_10_92166(_758004), -(isa(_758004, c_tptpcol_10_92166))], (4738 ^ _610949) ^ [_758192] : [isa(_758192, c_tptpcol_11_92230), -(tptpcol_11_92230(_758192))], (4744 ^ _610949) ^ [_758380] : [tptpcol_11_92230(_758380), -(isa(_758380, c_tptpcol_11_92230))], (4750 ^ _610949) ^ [_758568] : [isa(_758568, c_orderingpredicate), -(orderingpredicate(_758568))], (4756 ^ _610949) ^ [_758756] : [orderingpredicate(_758756), -(isa(_758756, c_orderingpredicate))], (4762 ^ _610949) ^ [_758944] : [isa(_758944, c_tptpcol_9_18439), -(tptpcol_9_18439(_758944))], (4768 ^ _610949) ^ [_759132] : [tptpcol_9_18439(_759132), -(isa(_759132, c_tptpcol_9_18439))], (4774 ^ _610949) ^ [_759320] : [isa(_759320, c_tptpcol_10_18567), -(tptpcol_10_18567(_759320))], (4780 ^ _610949) ^ [_759508] : [tptpcol_10_18567(_759508), -(isa(_759508, c_tptpcol_10_18567))], (4786 ^ _610949) ^ [_759696] : [isa(_759696, c_tptpcol_2_65537), -(tptpcol_2_65537(_759696))], (4792 ^ _610949) ^ [_759884] : [tptpcol_2_65537(_759884), -(isa(_759884, c_tptpcol_2_65537))], (4798 ^ _610949) ^ [_760072] : [isa(_760072, c_tptpcol_3_81921), -(tptpcol_3_81921(_760072))], (4804 ^ _610949) ^ [_760260] : [tptpcol_3_81921(_760260), -(isa(_760260, c_tptpcol_3_81921))], (4810 ^ _610949) ^ [_760448] : [isa(_760448, c_artsupplies), -(artsupplies(_760448))], (4816 ^ _610949) ^ [_760636] : [artsupplies(_760636), -(isa(_760636, c_artsupplies))], (4822 ^ _610949) ^ [_760824] : [isa(_760824, c_enduringthing_localized), -(enduringthing_localized(_760824))], (4828 ^ _610949) ^ [_761012] : [enduringthing_localized(_761012), -(isa(_761012, c_enduringthing_localized))], (4834 ^ _610949) ^ [_761200] : [isa(_761200, c_location_underspecified), -(location_underspecified(_761200))], (4840 ^ _610949) ^ [_761388] : [location_underspecified(_761388), -(isa(_761388, c_location_underspecified))], (4846 ^ _610949) ^ [_761576] : [isa(_761576, c_trajector_underspecified), -(trajector_underspecified(_761576))], (4852 ^ _610949) ^ [_761764] : [trajector_underspecified(_761764), -(isa(_761764, c_trajector_underspecified))], (4858 ^ _610949) ^ [_761952] : [isa(_761952, c_individual), -(individual(_761952))], (4864 ^ _610949) ^ [_762140] : [individual(_762140), -(isa(_762140, c_individual))], (4870 ^ _610949) ^ [_762328] : [isa(_762328, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_762328))], (4876 ^ _610949) ^ [_762516] : [partiallyintangibleindividual(_762516), -(isa(_762516, c_partiallyintangibleindividual))], (4882 ^ _610949) ^ [_762704] : [isa(_762704, c_tptpcol_10_22022), -(tptpcol_10_22022(_762704))], (4888 ^ _610949) ^ [_762892] : [tptpcol_10_22022(_762892), -(isa(_762892, c_tptpcol_10_22022))], (4894 ^ _610949) ^ [_763080] : [isa(_763080, c_tptpcol_11_22023), -(tptpcol_11_22023(_763080))], (4900 ^ _610949) ^ [_763268] : [tptpcol_11_22023(_763268), -(isa(_763268, c_tptpcol_11_22023))], (4906 ^ _610949) ^ [_763456] : [isa(_763456, c_tptpcol_5_20483), -(tptpcol_5_20483(_763456))], (4912 ^ _610949) ^ [_763644] : [tptpcol_5_20483(_763644), -(isa(_763644, c_tptpcol_5_20483))], (4918 ^ _610949) ^ [_763832] : [isa(_763832, c_tptpcol_13_72791), -(tptpcol_13_72791(_763832))], (4924 ^ _610949) ^ [_764020] : [tptpcol_13_72791(_764020), -(isa(_764020, c_tptpcol_13_72791))], (4930 ^ _610949) ^ [_764208] : [isa(_764208, c_tptpcol_14_72792), -(tptpcol_14_72792(_764208))], (4936 ^ _610949) ^ [_764396] : [tptpcol_14_72792(_764396), -(isa(_764396, c_tptpcol_14_72792))], (4942 ^ _610949) ^ [_764584] : [isa(_764584, c_ridgeline_topographical), -(ridgeline_topographical(_764584))], (4948 ^ _610949) ^ [_764772] : [ridgeline_topographical(_764772), -(isa(_764772, c_ridgeline_topographical))], (4954 ^ _610949) ^ [_764960] : [isa(_764960, c_tptpcol_4_16387), -(tptpcol_4_16387(_764960))], (4960 ^ _610949) ^ [_765148] : [tptpcol_4_16387(_765148), -(isa(_765148, c_tptpcol_4_16387))], (4966 ^ _610949) ^ [_765336] : [isa(_765336, c_tptpcol_5_16388), -(tptpcol_5_16388(_765336))], (4972 ^ _610949) ^ [_765524] : [tptpcol_5_16388(_765524), -(isa(_765524, c_tptpcol_5_16388))], (4978 ^ _610949) ^ [_765712] : [isa(_765712, c_tptpcol_8_22020), -(tptpcol_8_22020(_765712))], (4984 ^ _610949) ^ [_765900] : [tptpcol_8_22020(_765900), -(isa(_765900, c_tptpcol_8_22020))], (4990 ^ _610949) ^ [_766088] : [isa(_766088, c_tptpcol_9_22021), -(tptpcol_9_22021(_766088))], (4996 ^ _610949) ^ [_766276] : [tptpcol_9_22021(_766276), -(isa(_766276, c_tptpcol_9_22021))], (5002 ^ _610949) ^ [_766464] : [isa(_766464, c_transitivebinarypredicate), -(transitivebinarypredicate(_766464))], (5008 ^ _610949) ^ [_766652] : [transitivebinarypredicate(_766652), -(isa(_766652, c_transitivebinarypredicate))], (5014 ^ _610949) ^ [_766854, _766856] : [geographicalsubregions(_766856, _766854), -(geographicalregion(_766854))], (5020 ^ _610949) ^ [_767062, _767064] : [geographicalsubregions(_767064, _767062), -(geographicalregion(_767064))], (5026 ^ _610949) ^ [_767284, _767286, _767288] : [-(geographicalsubregions(_767288, _767284)), geographicalsubregions(_767288, _767286), geographicalsubregions(_767286, _767284)], (5036 ^ _610949) ^ [_767579] : [geographicalregion(_767579), -(geographicalsubregions(_767579, _767579))], (5042 ^ _610949) ^ [_767767] : [isa(_767767, c_tptpcol_12_40420), -(tptpcol_12_40420(_767767))], (5048 ^ _610949) ^ [_767955] : [tptpcol_12_40420(_767955), -(isa(_767955, c_tptpcol_12_40420))], (5054 ^ _610949) ^ [_768143] : [isa(_768143, c_tptpcol_13_40421), -(tptpcol_13_40421(_768143))], (5060 ^ _610949) ^ [_768331] : [tptpcol_13_40421(_768331), -(isa(_768331, c_tptpcol_13_40421))], (5066 ^ _610949) ^ [_768519] : [isa(_768519, c_tptpcol_6_92162), -(tptpcol_6_92162(_768519))], (5072 ^ _610949) ^ [_768707] : [tptpcol_6_92162(_768707), -(isa(_768707, c_tptpcol_6_92162))], (5078 ^ _610949) ^ [_768895] : [isa(_768895, c_tptpcol_7_93186), -(tptpcol_7_93186(_768895))], (5084 ^ _610949) ^ [_769083] : [tptpcol_7_93186(_769083), -(isa(_769083, c_tptpcol_7_93186))], (5090 ^ _610949) ^ [_769285, _769287] : [most(_769287, _769285), -(setorcollection(_769285))], (5096 ^ _610949) ^ [_769493, _769495] : [most(_769495, _769493), -(setorcollection(_769493))], (5102 ^ _610949) ^ [_769701, _769703] : [most(_769703, _769701), -(setorcollection(_769703))], (5108 ^ _610949) ^ [_769909, _769911] : [most(_769911, _769909), -(setorcollection(_769911))], (5114 ^ _610949) ^ [_770103] : [setorcollection(_770103), -(most(_770103, _770103))], (5120 ^ _610949) ^ [_770291] : [setorcollection(_770291), -(most(_770291, _770291))], (5126 ^ _610949) ^ [_770507, _770509, _770511] : [-(most(_770511, _770507)), most(_770511, _770509), subsetof(_770509, _770507)], (5136 ^ _610949) ^ [_770830, _770832, _770834] : [-(most(_770834, _770830)), most(_770834, _770832), subsetof(_770832, _770830)], (5146 ^ _610949) ^ [_771139, _771141] : [subsetof(_771141, _771139), -(setorcollection(_771139))], (5152 ^ _610949) ^ [_771347, _771349] : [subsetof(_771349, _771347), -(setorcollection(_771349))], (5158 ^ _610949) ^ [_771569, _771571, _771573] : [-(subsetof(_771573, _771569)), subsetof(_771573, _771571), subsetof(_771571, _771569)], (5168 ^ _610949) ^ [_771864] : [setorcollection(_771864), -(subsetof(_771864, _771864))], (5174 ^ _610949) ^ [_772080, _772082, _772084] : [-(subsetof(_772080, _772082)), subsetof(_772084, _772082), subsetof(_772080, _772084)], (5184 ^ _610949) ^ [_772403, _772405, _772407] : [-(subsetof(_772407, _772403)), subsetof(_772407, _772405), subsetof(_772405, _772403)], (5194 ^ _610949) ^ [_772726, _772728, _772730] : [-(subsetof(_772730, _772726)), subsetof(_772730, _772728), subsetof(_772728, _772726)], (5204 ^ _610949) ^ [_773035, _773037] : [genlpreds(_773037, _773035), -(predicate(_773035))], (5210 ^ _610949) ^ [_773243, _773245] : [genlpreds(_773245, _773243), -(predicate(_773243))], (5216 ^ _610949) ^ [_773451, _773453] : [genlpreds(_773453, _773451), -(predicate(_773453))], (5222 ^ _610949) ^ [_773659, _773661] : [genlpreds(_773661, _773659), -(predicate(_773661))], (5228 ^ _610949) ^ [_773881, _773883, _773885] : [-(genlpreds(_773885, _773881)), genlpreds(_773885, _773883), genlpreds(_773883, _773881)], (5238 ^ _610949) ^ [_774176] : [predicate(_774176), -(genlpreds(_774176, _774176))], (5244 ^ _610949) ^ [_774364] : [predicate(_774364), -(genlpreds(_774364, _774364))], (5250 ^ _610949) ^ [_774566, _774568] : [genlinverse(_774568, _774566), -(binarypredicate(_774566))], (5256 ^ _610949) ^ [_774774, _774776] : [genlinverse(_774776, _774774), -(binarypredicate(_774776))], (5262 ^ _610949) ^ [_774996, _774998, _775000] : [-(genlinverse(_774996, _774998)), genlinverse(_775000, _774998), genlpreds(_774996, _775000)], (5272 ^ _610949) ^ [_775319, _775321, _775323] : [-(genlinverse(_775323, _775319)), genlinverse(_775323, _775321), genlpreds(_775321, _775319)], (5282 ^ _610949) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _610949) ^ [_775667] : [isa(_775667, c_microtheory), -(microtheory(_775667))], (5290 ^ _610949) ^ [_775855] : [microtheory(_775855), -(isa(_775855, c_microtheory))], (5296 ^ _610949) ^ [_776028] : [-(natfunction(f_urlfn(_776028), c_urlfn))], (5298 ^ _610949) ^ [_776108] : [-(natargument(f_urlfn(_776108), n_1, _776108))], (5300 ^ _610949) ^ [_776189] : [-(uniformresourcelocator(f_urlfn(_776189)))], (5302 ^ _610949) ^ [_776268] : [-(natfunction(f_urlreferentfn(_776268), c_urlreferentfn))], (5304 ^ _610949) ^ [_776348] : [-(natargument(f_urlreferentfn(_776348), n_1, _776348))], (5306 ^ _610949) ^ [_776429] : [-(computerdataartifact(f_urlreferentfn(_776429)))], (5308 ^ _610949) ^ [_776522, _776524] : [-(natfunction(f_contentmtofcdafromeventfn(_776524, _776522), c_contentmtofcdafromeventfn))], (5310 ^ _610949) ^ [_776619, _776621] : [-(natargument(f_contentmtofcdafromeventfn(_776621, _776619), n_1, _776621))], (5312 ^ _610949) ^ [_776717, _776719] : [-(natargument(f_contentmtofcdafromeventfn(_776719, _776717), n_2, _776717))], (5314 ^ _610949) ^ [_776815, _776817] : [-(microtheory(f_contentmtofcdafromeventfn(_776817, _776815)))], (5316 ^ _610949) ^ [_776926, _776928] : [isa(_776928, _776926), -(collection(_776926))], (5322 ^ _610949) ^ [_777134, _777136] : [isa(_777136, _777134), -(collection(_777134))], (5328 ^ _610949) ^ [_777342, _777344] : [isa(_777344, _777342), -(thing(_777344))], (5334 ^ _610949) ^ [_777550, _777552] : [isa(_777552, _777550), -(thing(_777552))], (5340 ^ _610949) ^ [_777772, _777774, _777776] : [-(isa(_777776, _777772)), isa(_777776, _777774), genls(_777774, _777772)], (5350 ^ _610949) ^ [_778067] : [isa(_778067, c_inanimateobject), -(inanimateobject(_778067))], (5356 ^ _610949) ^ [_778255] : [inanimateobject(_778255), -(isa(_778255, c_inanimateobject))], (5362 ^ _610949) ^ [_778443] : [isa(_778443, c_tptpcol_9_72709), -(tptpcol_9_72709(_778443))], (5368 ^ _610949) ^ [_778631] : [tptpcol_9_72709(_778631), -(isa(_778631, c_tptpcol_9_72709))], (5374 ^ _610949) ^ [_778819] : [isa(_778819, c_tptpcol_10_72710), -(tptpcol_10_72710(_778819))], (5380 ^ _610949) ^ [_779007] : [tptpcol_10_72710(_779007), -(isa(_779007, c_tptpcol_10_72710))], (5386 ^ _610949) ^ [_779195] : [isa(_779195, c_tptpcol_14_40429), -(tptpcol_14_40429(_779195))], (5392 ^ _610949) ^ [_779383] : [tptpcol_14_40429(_779383), -(isa(_779383, c_tptpcol_14_40429))], (5398 ^ _610949) ^ [_779571] : [isa(_779571, c_tptpcol_15_40430), -(tptpcol_15_40430(_779571))], (5404 ^ _610949) ^ [_779759] : [tptpcol_15_40430(_779759), -(isa(_779759, c_tptpcol_15_40430))], (5410 ^ _610949) ^ [_779961, _779963] : [genls(_779963, _779961), -(collection(_779961))], (5416 ^ _610949) ^ [_780169, _780171] : [genls(_780171, _780169), -(collection(_780169))], (5422 ^ _610949) ^ [_780377, _780379] : [genls(_780379, _780377), -(collection(_780379))], (5428 ^ _610949) ^ [_780585, _780587] : [genls(_780587, _780585), -(collection(_780587))], (5434 ^ _610949) ^ [_780807, _780809, _780811] : [-(genls(_780811, _780807)), genls(_780811, _780809), genls(_780809, _780807)], (5444 ^ _610949) ^ [_781102] : [collection(_781102), -(genls(_781102, _781102))], (5450 ^ _610949) ^ [_781290] : [collection(_781290), -(genls(_781290, _781290))], (5456 ^ _610949) ^ [_781506, _781508, _781510] : [-(genls(_781506, _781508)), genls(_781510, _781508), genls(_781506, _781510)], (5466 ^ _610949) ^ [_781829, _781831, _781833] : [-(genls(_781833, _781829)), genls(_781833, _781831), genls(_781831, _781829)], (5476 ^ _610949) ^ [_782124] : [isa(_782124, c_partiallytangible), -(partiallytangible(_782124))], (5482 ^ _610949) ^ [_782312] : [partiallytangible(_782312), -(isa(_782312, c_partiallytangible))], (5488 ^ _610949) ^ [_782500] : [isa(_782500, c_intangible), -(intangible(_782500))], (5494 ^ _610949) ^ [_782688] : [intangible(_782688), -(isa(_782688, c_intangible))], (5500 ^ _610949) ^ [_782890, _782892] : [disjointwith(_782892, _782890), -(collection(_782890))], (5506 ^ _610949) ^ [_783098, _783100] : [disjointwith(_783100, _783098), -(collection(_783100))], (5512 ^ _610949) ^ [_783306, _783308] : [disjointwith(_783308, _783306), -(disjointwith(_783306, _783308))], (5518 ^ _610949) ^ [_783530, _783532, _783534] : [-(disjointwith(_783534, _783530)), disjointwith(_783534, _783532), genls(_783530, _783532)], (5528 ^ _610949) ^ [_783853, _783855, _783857] : [-(disjointwith(_783853, _783855)), disjointwith(_783857, _783855), genls(_783853, _783857)], (5538 ^ _610949) ^ [_784162, _784164] : [-(mtvisible(_784162)), mtvisible(_784164), genlmt(_784164, _784162)], (5548 ^ _610949) ^ [_784457, _784459] : [genlmt(_784459, _784457), -(microtheory(_784457))], (5554 ^ _610949) ^ [_784665, _784667] : [genlmt(_784667, _784665), -(microtheory(_784665))], (5560 ^ _610949) ^ [_784873, _784875] : [genlmt(_784875, _784873), -(microtheory(_784875))], (5566 ^ _610949) ^ [_785081, _785083] : [genlmt(_785083, _785081), -(microtheory(_785083))], (5572 ^ _610949) ^ [_785303, _785305, _785307] : [-(genlmt(_785307, _785303)), genlmt(_785307, _785305), genlmt(_785305, _785303)], (5582 ^ _610949) ^ [_785598] : [microtheory(_785598), -(genlmt(_785598, _785598))], (5594 ^ _610949) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _610949) ^ [_785786] : [microtheory(_785786), -(genlmt(_785786, _785786))]], input).
% 1.44/2.43  ncf('1',plain,[tptpofobject(c_tptpartsupplies, f_tptpquantityfn_14(n_232))],start(5598 ^ 0,bind([[_800513], [f_tptpquantityfn_14(n_232)]]))).
% 1.44/2.43  ncf('1.1',plain,[-(tptpofobject(c_tptpartsupplies, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(c_tptpartsupplies)],extension(796 ^ 1,bind([[_633600], [c_tptpartsupplies]]))).
% 1.44/2.43  ncf('1.1.1',plain,[-(mtvisible(c_tptp_spindleheadmt)), mtvisible(c_tptp_member3717_mt), genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt)],extension(5538 ^ 2,bind([[_784162, _784164], [c_tptp_spindleheadmt, c_tptp_member3717_mt]]))).
% 1.44/2.43  ncf('1.1.1.1',plain,[-(mtvisible(c_tptp_member3717_mt))],extension(5596 ^ 3,bind([[_800476], [_405094]]))).
% 1.44/2.43  ncf('1.1.1.2',plain,[-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))],extension(1082 ^ 3)).
% 1.44/2.43  ncf('1.1.2',plain,[-(supplies(c_tptpartsupplies)), artsupplies(c_tptpartsupplies)],extension(936 ^ 2,bind([[_637562], [c_tptpartsupplies]]))).
% 1.44/2.43  ncf('1.1.2.1',plain,[-(artsupplies(c_tptpartsupplies)), mtvisible(c_cyclistsmt)],extension(156 ^ 3)).
% 1.44/2.43  ncf('1.1.2.1.1',plain,[-(mtvisible(c_cyclistsmt)), mtvisible(c_tptp_member3717_mt), genlmt(c_tptp_member3717_mt, c_cyclistsmt)],extension(5538 ^ 4,bind([[_784162, _784164], [c_cyclistsmt, c_tptp_member3717_mt]]))).
% 1.44/2.43  ncf('1.1.2.1.1.1',plain,[-(mtvisible(c_tptp_member3717_mt))],extension(5596 ^ 5,bind([[_800476], [_412245]]))).
% 1.44/2.43  ncf('1.1.2.1.1.2',plain,[-(genlmt(c_tptp_member3717_mt, c_cyclistsmt)), genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt), genlmt(c_tptp_spindleheadmt, c_cyclistsmt)],extension(5572 ^ 5,bind([[_785303, _785305, _785307], [c_cyclistsmt, c_tptp_spindleheadmt, c_tptp_member3717_mt]]))).
% 1.44/2.43  ncf('1.1.2.1.1.2.1',plain,[-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))],extension(1082 ^ 6)).
% 1.44/2.43  ncf('1.1.2.1.1.2.2',plain,[-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))],extension(996 ^ 6)).
% 1.44/2.43  %-----------------------------------------------------
% 1.44/2.43  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------