%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : CSR030+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:27:52 EDT 2023

% Result   : Theorem 0.64s 1.39s
% Output   : Proof 0.64s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR030+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n014.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Thu May 18 23:57:42 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.64/1.39  
% 0.64/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.64/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.64/1.39  %-----------------------------------------------------
% 0.64/1.39  ncf(matrix, plain, [(5596 ^ _600265) ^ [_789792] : [-(mtvisible(c_tptp_member3393_mt))], (5598 ^ _600265) ^ [_789829] : [tptptypes_5_387(_789829, c_pushingwithopenhand)], (2 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _600265) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _600265) ^ [_600470] : [intangible(_600470), partiallytangible(_600470)], (12 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _600265) ^ [_600708] : [tptpcol_15_40430(_600708), -(tptpcol_14_40429(_600708))], (20 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _600265) ^ [_600947] : [tptpcol_10_72710(_600947), -(tptpcol_9_72709(_600947))], (28 ^ _600265) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _600265) ^ [_601186] : [inanimateobject(_601186), -(partiallytangible(_601186))], (36 ^ _600265) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _600265) ^ [_601453, _601455, _601457] : [-(genlpreds(_601457, _601453)), genlinverse(_601457, _601455), genlinverse(_601455, _601453)], (48 ^ _600265) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _600265) ^ [_601815, _601817] : [subsetof(_601817, _601815), -(most(_601817, _601815))], (56 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _600265) ^ [_602064] : [tptpcol_7_93186(_602064), -(tptpcol_6_92162(_602064))], (64 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _600265) ^ [_602303] : [tptpcol_13_40421(_602303), -(tptpcol_12_40420(_602303))], (72 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _600265) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _600265) ^ [_602767] : [tptpcol_9_22021(_602767), -(tptpcol_8_22020(_602767))], (90 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _600265) ^ [_603006] : [tptpcol_5_16388(_603006), -(tptpcol_4_16387(_603006))], (98 ^ _600265) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _600265) ^ [_603364] : [tptpcol_14_72792(_603364), -(tptpcol_13_72791(_603364))], (112 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _600265) ^ [_603603] : [tptpcol_5_20483(_603603), -(tptpcol_4_16387(_603603))], (120 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _600265) ^ [_603842] : [tptpcol_11_22023(_603842), -(tptpcol_10_22022(_603842))], (128 ^ _600265) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _600265) ^ [_604081] : [partiallyintangibleindividual(_604081), -(individual(_604081))], (136 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _600265) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _600265) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _600265) ^ [_604426] : [trajector_underspecified(_604426), -(location_underspecified(_604426))], (148 ^ _600265) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _600265) ^ [_604665] : [partiallytangible(_604665), -(enduringthing_localized(_604665))], (156 ^ _600265) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _600265) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _600265) ^ [_605023] : [tptpcol_3_81921(_605023), -(tptpcol_2_65537(_605023))], (170 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _600265) ^ [_605262] : [tptpcol_10_18567(_605262), -(tptpcol_9_18439(_605262))], (178 ^ _600265) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _600265) ^ [_605501] : [orderingpredicate(_605501), -(transitivebinarypredicate(_605501))], (186 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _600265) ^ [_605740] : [tptpcol_11_92230(_605740), -(tptpcol_10_92166(_605740))], (194 ^ _600265) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _600265) ^ [_605979] : [tptpcol_2_98304(_605979), -(tptpcol_1_65536(_605979))], (202 ^ _600265) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _600265) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _600265) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _600265) ^ [_606443] : [tptpcol_12_40420(_606443), -(tptpcol_11_40388(_606443))], (220 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _600265) ^ [_606696, _606698] : [tptptypes_9_693(_606698, _606696), -(tptptypes_8_692(_606698, _606696))], (228 ^ _600265) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _600265) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _600265) ^ [_607065, _607067] : [tptptypes_8_390(_607067, _607065), -(tptptypes_7_389(_607067, _607065))], (240 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _600265) ^ [_607409, _607411, _607413, _607415] : [-(isa(f_relationexistsallfn(_607415, _607411, _607409, _607413), _607409)), isa(_607415, _607413), relationexistsall(_607411, _607409, _607413)], (254 ^ _600265) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _600265) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _600265) ^ [_607938] : [tptpcol_4_106497(_607938), -(tptpcol_3_98305(_607938))], (268 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _600265) ^ [_608177] : [tptpcol_5_114690(_608177), -(tptpcol_4_114689(_608177))], (276 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _600265) ^ [_608416] : [tptpcol_12_93765(_608416), -(tptpcol_11_93764(_608416))], (284 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _600265) ^ [_608655] : [tptpcol_8_72708(_608655), -(tptpcol_7_72707(_608655))], (292 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _600265) ^ [_608894] : [tptpcol_10_40324(_608894), -(tptpcol_9_40196(_608894))], (300 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _600265) ^ [_609133] : [tptpcol_13_93766(_609133), -(tptpcol_12_93765(_609133))], (308 ^ _600265) ^ [_609319] : [-(tptpofobject(_609319, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_609319)], (318 ^ _600265) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _600265) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _600265) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _600265) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _600265) ^ [_609983] : [location_underspecified(_609983), -(thing(_609983))], (342 ^ _600265) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _600265) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _600265) ^ [_610328] : [tptpcol_12_92262(_610328), -(tptpcol_11_92230(_610328))], (354 ^ _600265) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _600265) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _600265) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _600265) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _600265) ^ [_610845] : [tptpcol_10_109061(_610845), -(tptpcol_9_109060(_610845))], (374 ^ _600265) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _600265) ^ [_611151, _611153] : [tptptypes_6_388(_611153, _611151), -(tptptypes_5_387(_611153, _611151))], (384 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _600265) ^ [_611400] : [tptpcol_6_116738(_611400), -(tptpcol_5_114690(_611400))], (392 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _600265) ^ [_611639] : [tptpcol_15_92268(_611639), -(tptpcol_14_92264(_611639))], (400 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _600265) ^ [_611944] : [-(tptpofobject(_611944, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_611944)], (416 ^ _600265) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _600265) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _600265) ^ [_612397, _612399] : [tptptypes_9_401(_612399, _612397), -(tptptypes_8_400(_612397, _612399))], (430 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _600265) ^ [_612646] : [tptpcol_12_18663(_612646), -(tptpcol_11_18631(_612646))], (438 ^ _600265) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _600265) ^ [_612885] : [setorcollection(_612885), -(mathematicalthing(_612885))], (446 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _600265) ^ [_613124] : [tptpcol_13_109173(_613124), -(tptpcol_12_109157(_613124))], (454 ^ _600265) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _600265) ^ [_613416] : [tptpcol_5_106498(_613416), -(tptpcol_4_106497(_613416))], (464 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _600265) ^ [_613655] : [tptpcol_5_24579(_613655), -(tptpcol_4_24578(_613655))], (472 ^ _600265) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _600265) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _600265) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _600265) ^ [_614185] : [tptpcol_1_65536(_614185), -(tptpcol_0_0(_614185))], (494 ^ _600265) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _600265) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _600265) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _600265) ^ [_614610, _614612] : [geographicalsubregions(_614612, _614610), -(inregion(_614610, _614612))], (510 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _600265) ^ [_614859] : [tptpcol_11_118084(_614859), -(tptpcol_10_118020(_614859))], (518 ^ _600265) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _600265) ^ [_615098] : [mathematicalorcomputationalthing(_615098), -(intangible(_615098))], (526 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _600265) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _600265) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _600265) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _600265) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _600265) ^ [_615616, _615618] : [tptptypes_7_819(_615618, _615616), -(tptptypes_6_818(_615618, _615616))], (544 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _600265) ^ [_615918] : [tptpcol_12_26919(_615918), -(tptpcol_11_26887(_615918))], (554 ^ _600265) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _600265) ^ [_616171, _616173] : [tptptypes_8_692(_616173, _616171), -(tptptypes_7_691(_616171, _616173))], (562 ^ _600265) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _600265) ^ [_616420] : [tptpcol_2_2(_616420), -(tptpcol_1_1(_616420))], (570 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _600265) ^ [_616712] : [tptpcol_9_92165(_616712), -(tptpcol_8_92164(_616712))], (580 ^ _600265) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _600265) ^ [_616951] : [fixedordercollection(_616951), -(collection(_616951))], (588 ^ _600265) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _600265) ^ [_617190] : [tptpcol_1_1(_617190), tptpcol_1_65536(_617190)], (596 ^ _600265) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _600265) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _600265) ^ [_617481] : [microtheory(_617481), -(aspatialinformationstore(_617481))], (606 ^ _600265) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _600265) ^ [_617786] : [-(tptp_8_875(_617786, f_relationallexistsfn(_617786, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_617786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _600265) ^ [] : [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 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _600265) ^ [_618237] : [tptpcol_10_118020(_618237), -(tptpcol_9_118019(_618237))], (636 ^ _600265) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _600265) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _600265) ^ [_618595] : [-(tptp_9_720(_618595, f_relationallexistsfn(_618595, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_618595)], (654 ^ _600265) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _600265) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _600265) ^ [_619044] : [individual(_619044), setorcollection(_619044)], (668 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _600265) ^ [_619282] : [tptpcol_12_22055(_619282), -(tptpcol_11_22023(_619282))], (676 ^ _600265) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _600265) ^ [_619521] : [applicationcontext(_619521), -(microtheory(_619521))], (684 ^ _600265) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _600265) ^ [_619827, _619829] : [tptptypes_8_400(_619829, _619827), -(tptptypes_7_396(_619829, _619827))], (694 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _600265) ^ [_620076] : [tptpcol_11_18631(_620076), -(tptpcol_10_18567(_620076))], (702 ^ _600265) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _600265) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _600265) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _600265) ^ [_620487] : [mathematicalthing(_620487), -(mathematicalorcomputationalthing(_620487))], (718 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _600265) ^ [_620779] : [tptpcol_15_93775(_620779), -(tptpcol_14_93774(_620779))], (728 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _600265) ^ [_621018] : [tptpcol_8_109059(_621018), -(tptpcol_7_108547(_621018))], (736 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _600265) ^ [_621257] : [tptpcol_14_40429(_621257), -(tptpcol_13_40421(_621257))], (744 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _600265) ^ [_621615] : [tptpcol_14_22072(_621615), -(tptpcol_13_22071(_621615))], (758 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _600265) ^ [_621854] : [tptpcol_14_93774(_621854), -(tptpcol_13_93766(_621854))], (766 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _600265) ^ [_622093] : [tptpcol_10_22022(_622093), -(tptpcol_9_22021(_622093))], (774 ^ _600265) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _600265) ^ [_622332] : [inanimateobject_nonnatural(_622332), -(inanimateobject(_622332))], (782 ^ _600265) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _600265) ^ [_622677] : [tptpcol_9_72709(_622677), -(tptpcol_8_72708(_622677))], (794 ^ _600265) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _600265) ^ [_622916] : [-(tptpofobject(_622916, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_622916)], (806 ^ _600265) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _600265) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _600265) ^ [_623355] : [firstordercollection(_623355), -(fixedordercollection(_623355))], (820 ^ _600265) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _600265) ^ [_623766] : [tptpcol_13_18664(_623766), -(tptpcol_12_18663(_623766))], (836 ^ _600265) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _600265) ^ [_624005] : [artifact(_624005), -(inanimateobject_nonnatural(_624005))], (844 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _600265) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _600265) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _600265) ^ [_624403] : [tptpcol_7_113665(_624403), -(tptpcol_6_112641(_624403))], (858 ^ _600265) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _600265) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _600265) ^ [_624761] : [geographicalregion(_624761), -(partiallytangible(_624761))], (872 ^ _600265) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _600265) ^ [_625014, _625016] : [disjointwith(_625016, _625014), -(no(_625016, _625014))], (880 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _600265) ^ [_625263] : [tptpcol_4_24578(_625263), -(tptpcol_3_16386(_625263))], (888 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _600265) ^ [_625502] : [tptpcol_5_69635(_625502), -(tptpcol_4_65539(_625502))], (896 ^ _600265) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _600265) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _600265) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _600265) ^ [_625861, _625863] : [genls(_625863, _625861), -(collection(_625863))], (908 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _600265) ^ [_626108] : [tptpcol_13_22071(_626108), -(tptpcol_12_22055(_626108))], (916 ^ _600265) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _600265) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _600265) ^ [_626400] : [tptpcol_3_98305(_626400), -(tptpcol_2_98304(_626400))], (926 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _600265) ^ [_626639] : [tptpcol_4_114689(_626639), -(tptpcol_3_114688(_626639))], (934 ^ _600265) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _600265) ^ [_626878] : [artsupplies(_626878), -(supplies(_626878))], (942 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _600265) ^ [_627117] : [tptpcol_8_26629(_627117), -(tptpcol_7_26628(_627117))], (950 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _600265) ^ [_627356] : [tptpcol_9_109060(_627356), -(tptpcol_8_109059(_627356))], (958 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _600265) ^ [_627595] : [isa(_627595, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_627595, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _627595))], (966 ^ _600265) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _600265) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _600265) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _600265) ^ [_628179] : [tptpcol_14_109181(_628179), -(tptpcol_13_109173(_628179))], (988 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _600265) ^ [_628418] : [tptpcol_16_30972(_628418), -(tptpcol_15_30970(_628418))], (996 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _600265) ^ [_628710] : [tptpcol_9_18439(_628710), -(tptpcol_8_18438(_628710))], (1006 ^ _600265) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _600265) ^ [_629002] : [tptpcol_12_118116(_629002), -(tptpcol_11_118084(_629002))], (1016 ^ _600265) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _600265) ^ [_629294] : [tptpcol_7_26628(_629294), -(tptpcol_6_26627(_629294))], (1026 ^ _600265) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _600265) ^ [_629547, _629549] : [most(_629549, _629547), -(setorcollection(_629549))], (1034 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _600265) ^ [_629794] : [tptpcol_15_109185(_629794), -(tptpcol_14_109181(_629794))], (1042 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _600265) ^ [_630033] : [tptpcol_16_92269(_630033), -(tptpcol_15_92268(_630033))], (1050 ^ _600265) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _600265) ^ [_630339, _630341] : [tptptypes_8_823(_630341, _630339), -(tptptypes_7_819(_630341, _630339))], (1060 ^ _600265) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _600265) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _600265) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _600265) ^ [_630919] : [tptpcol_10_26886(_630919), -(tptpcol_9_26885(_630919))], (1082 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _600265) ^ [_631211] : [tptpcol_15_72793(_631211), -(tptpcol_14_72792(_631211))], (1092 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _600265) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _600265) ^ [_631569] : [navypersonnel(_631569), -(militaryperson(_631569))], (1106 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _600265) ^ [_631808] : [tptpcol_4_16387(_631808), -(tptpcol_3_16386(_631808))], (1114 ^ _600265) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _600265) ^ [_632047] : [enduringthing_localized(_632047), -(spatialthing_nonsituational(_632047))], (1122 ^ _600265) ^ [_632233] : [collection(_632233), individual(_632233)], (1128 ^ _600265) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _600265) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _600265) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _600265) ^ [_632762] : [physicalorderingpredicate(_632762), -(orderingpredicate(_632762))], (1150 ^ _600265) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _600265) ^ [_633015, _633017] : [disjointwith(_633017, _633015), -(collection(_633015))], (1158 ^ _600265) ^ [_633251, _633253, _633255, _633257] : [-(isa(f_relationallexistsfn(_633257, _633253, _633255, _633251), _633251)), isa(_633257, _633255), relationallexists(_633253, _633255, _633251)], (1168 ^ _600265) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _600265) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _600265) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _600265) ^ [_633860, _633862] : [tptptypes_7_389(_633862, _633860), -(tptptypes_6_388(_633860, _633862))], (1186 ^ _600265) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _600265) ^ [_634175] : [-(hpkb_subnationalagent(_634175)), mtvisible(c_hpkbvocabmt), state_geopolitical(_634175)], (1202 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _600265) ^ [_634493] : [tptpcol_8_22020(_634493), -(tptpcol_7_21508(_634493))], (1210 ^ _600265) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _600265) ^ [_634732] : [-(tptp_9_51(f_relationexistsallfn(_634732, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _634732)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_634732, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _600265) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _600265) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _600265) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _600265) ^ [_635236] : [tptpcol_3_65538(_635236), -(tptpcol_2_65537(_635236))], (1238 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _600265) ^ [_635475] : [tptpcol_14_26921(_635475), -(tptpcol_13_26920(_635475))], (1246 ^ _600265) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _600265) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _600265) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _600265) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _600265) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _600265) ^ [_635926] : [intangibleindividual(_635926), -(partiallyintangibleindividual(_635926))], (1262 ^ _600265) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _600265) ^ [_636284] : [tptpcol_16_130924(_636284), -(tptpcol_15_130923(_636284))], (1276 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _600265) ^ [_636523] : [tptpcol_7_92163(_636523), -(tptpcol_6_92162(_636523))], (1284 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _600265) ^ [_636815] : [tptpcol_16_130933(_636815), -(tptpcol_15_130931(_636815))], (1294 ^ _600265) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _600265) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _600265) ^ [_637121, _637123] : [no(_637123, _637121), -(few(_637123, _637121))], (1304 ^ _600265) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _600265) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _600265) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _600265) ^ [_637529] : [tptpcol_6_20484(_637529), -(tptpcol_5_20483(_637529))], (1318 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _600265) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _600265) ^ [_637993] : [tptpcol_7_108547(_637993), -(tptpcol_6_108546(_637993))], (1336 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _600265) ^ [_638232] : [tptpcol_11_109125(_638232), -(tptpcol_10_109061(_638232))], (1344 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _600265) ^ [_638524] : [tptpcol_8_93698(_638524), -(tptpcol_7_93186(_638524))], (1354 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _600265) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _600265) ^ [_638816] : [tptpcol_2_65537(_638816), -(tptpcol_1_65536(_638816))], (1364 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _600265) ^ [_639108] : [tptpcol_6_18436(_639108), -(tptpcol_5_16388(_639108))], (1374 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _600265) ^ [_639347] : [tptpcol_8_18438(_639347), -(tptpcol_7_18437(_639347))], (1382 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _600265) ^ [_639705] : [tptpcol_8_117763(_639705), -(tptpcol_7_117762(_639705))], (1396 ^ _600265) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _600265) ^ [_639997] : [tptpcol_12_109157(_639997), -(tptpcol_11_109125(_639997))], (1406 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _600265) ^ [_640236] : [tptpcol_7_117762(_640236), -(tptpcol_6_116738(_640236))], (1414 ^ _600265) ^ [_640450, _640452, _640454] : [isa(_640454, _640452), isa(_640454, _640450), disjointwith(_640452, _640450)], (1424 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _600265) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _600265) ^ [_640850] : [aspatialinformationstore(_640850), -(aspatialthing(_640850))], (1434 ^ _600265) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _600265) ^ [_641248] : [tptpcol_9_93699(_641248), -(tptpcol_8_93698(_641248))], (1448 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _600265) ^ [_641487] : [tptpcol_11_93764(_641487), -(tptpcol_10_93700(_641487))], (1456 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _600265) ^ [_641726] : [tptpcol_6_26627(_641726), -(tptpcol_5_24579(_641726))], (1464 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _600265) ^ [_641965] : [tptpcol_4_90113(_641965), -(tptpcol_3_81921(_641965))], (1472 ^ _600265) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _600265) ^ [_642257] : [tptpcol_10_93700(_642257), -(tptpcol_9_93699(_642257))], (1482 ^ _600265) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _600265) ^ [_642496] : [aspatialinformationstore(_642496), -(intangibleindividual(_642496))], (1490 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _600265) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _600265) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _600265) ^ [_642907] : [tptpcol_3_16386(_642907), -(tptpcol_2_2(_642907))], (1506 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _600265) ^ [_643146] : [tptpcol_9_118019(_643146), -(tptpcol_8_117763(_643146))], (1514 ^ _600265) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _600265) ^ [_643385] : [individual(_643385), -(trajector_underspecified(_643385))], (1522 ^ _600265) ^ [_643571] : [shavingrazor_manual(_643571), -(tptp_8_271(f_relationexistsallfn(_643571, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _643571))], (1528 ^ _600265) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _600265) ^ [_643875] : [tptpcol_6_112641(_643875), -(tptpcol_5_110593(_643875))], (1538 ^ _600265) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _600265) ^ [_644114] : [tptpcol_12_72775(_644114), -(tptpcol_11_72774(_644114))], (1546 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _600265) ^ [_644353] : [tptpcol_7_72707(_644353), -(tptpcol_6_71683(_644353))], (1554 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _600265) ^ [_644592] : [tptpcol_16_50958(_644592), -(tptpcol_15_50957(_644592))], (1562 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _600265) ^ [_644831] : [tptpcol_8_114177(_644831), -(tptpcol_7_113665(_644831))], (1570 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _600265) ^ [_645070] : [tptpcol_16_72795(_645070), -(tptpcol_15_72793(_645070))], (1578 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _600265) ^ [_645309] : [tptpcol_6_71683(_645309), -(tptpcol_5_69635(_645309))], (1586 ^ _600265) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _600265) ^ [_645615, _645617] : [tptptypes_7_396(_645617, _645615), -(tptptypes_6_388(_645617, _645615))], (1596 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _600265) ^ [_645864] : [tptpcol_9_26885(_645864), -(tptpcol_8_26629(_645864))], (1604 ^ _600265) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _600265) ^ [_646117, _646119] : [genls(_646119, _646117), -(subsetof(_646119, _646117))], (1612 ^ _600265) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _600265) ^ [_646433, _646435] : [tptptypes_6_818(_646435, _646433), -(tptptypes_5_802(_646435, _646433))], (1622 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _600265) ^ [_646682] : [tptpcol_6_92162(_646682), -(tptpcol_5_90114(_646682))], (1630 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _600265) ^ [_646974] : [tptpcol_8_92164(_646974), -(tptpcol_7_92163(_646974))], (1640 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _600265) ^ [_647213] : [tptpcol_13_118117(_647213), -(tptpcol_12_118116(_647213))], (1648 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _600265) ^ [_647452] : [tptpcol_11_40388(_647452), -(tptpcol_10_40324(_647452))], (1656 ^ _600265) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _600265) ^ [_647705, _647707] : [tptptypes_9_824(_647707, _647705), -(tptptypes_8_823(_647707, _647705))], (1664 ^ _600265) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _600265) ^ [_648007] : [tptpcol_11_26887(_648007), -(tptpcol_10_26886(_648007))], (1674 ^ _600265) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _600265) ^ [_648246] : [tptpcol_16_26926(_648246), -(tptpcol_15_26925(_648246))], (1682 ^ _600265) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _600265) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _600265) ^ [_648552, _648554] : [few(_648554, _648552), -(setorcollection(_648552))], (1692 ^ _600265) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _600265) ^ [_648799] : [tptpcol_4_65539(_648799), -(tptpcol_3_65538(_648799))], (1700 ^ _600265) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _600265) ^ [_649038] : [tptpcol_8_39940(_649038), -(tptpcol_7_39939(_649038))], (1708 ^ _600265) ^ [_649224] : [-(tptpofobject(_649224, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_649224)], (1718 ^ _600265) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _600265) ^ [_649663] : [tptpcol_15_22076(_649663), -(tptpcol_14_22072(_649663))], (1732 ^ _600265) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _600265) ^ [_649902] : [tptpcol_0_0(_649902), -(individual(_649902))], (1740 ^ _600265) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _600265) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _600265) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _600265) ^ [_650300] : [tptpcol_11_72774(_650300), -(tptpcol_10_72710(_650300))], (1754 ^ _600265) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _600265) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _600265) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _600265) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _600265) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _600265) ^ [_650936] : [tptpcol_7_21508(_650936), -(tptpcol_6_20484(_650936))], (1780 ^ _600265) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _600265) ^ [_651175] : [tptpcol_6_108546(_651175), -(tptpcol_5_106498(_651175))], (1788 ^ _600265) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _600265) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _600265) ^ [_651533] : [geolevel_4(_651533), -(geographicalregion(_651533))], (1802 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _600265) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _600265) ^ [_652010] : [tptpcol_13_26920(_652010), -(tptpcol_12_26919(_652010))], (1822 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _600265) ^ [_652249] : [tptpcol_14_92264(_652249), -(tptpcol_13_92263(_652249))], (1830 ^ _600265) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _600265) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _600265) ^ [_652541] : [tptpcol_9_40196(_652541), -(tptpcol_8_39940(_652541))], (1840 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _600265) ^ [_652899] : [tptpcol_13_92263(_652899), -(tptpcol_12_92262(_652899))], (1854 ^ _600265) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _600265) ^ [_653191] : [tptpcol_5_90114(_653191), -(tptpcol_4_90113(_653191))], (1864 ^ _600265) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _600265) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _600265) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _600265) ^ [_653602] : [tptpcol_15_26925(_653602), -(tptpcol_14_26921(_653602))], (1880 ^ _600265) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _600265) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _600265) ^ [_653960] : [tptpcol_7_18437(_653960), -(tptpcol_6_18436(_653960))], (1894 ^ _600265) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _600265) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _600265) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _600265) ^ [_654371] : [tptpcol_3_98305(_654371), tptpcol_3_114688(_654371)], (1910 ^ _600265) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _600265) ^ [_654609] : [tptpcol_5_110593(_654609), -(tptpcol_4_106497(_654609))], (1918 ^ _600265) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _600265) ^ [_654848] : [tptpcol_13_72791(_654848), -(tptpcol_12_72775(_654848))], (1926 ^ _600265) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _600265) ^ [_655087] : [computerdataartifact(_655087), -(artifact(_655087))], (1934 ^ _600265) ^ [_655273] : [-(tptpofobject(_655273, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_655273)], (1944 ^ _600265) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _600265) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _600265) ^ [_655712] : [tptpcol_10_92166(_655712), -(tptpcol_9_92165(_655712))], (1958 ^ _600265) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _600265) ^ [_655951] : [tptpcol_14_118118(_655951), -(tptpcol_13_118117(_655951))], (1966 ^ _600265) ^ [_656137] : [isa(_656137, c_tptpcol_14_118118), -(tptpcol_14_118118(_656137))], (1972 ^ _600265) ^ [_656325] : [tptpcol_14_118118(_656325), -(isa(_656325, c_tptpcol_14_118118))], (1978 ^ _600265) ^ [_656498] : [-(natfunction(f_tptpquantityfn_6(_656498), c_tptpquantityfn_6))], (1980 ^ _600265) ^ [_656578] : [-(natargument(f_tptpquantityfn_6(_656578), n_1, _656578))], (1982 ^ _600265) ^ [_656659] : [-(tptpquantity(f_tptpquantityfn_6(_656659)))], (1984 ^ _600265) ^ [_656753] : [isa(_656753, c_tptpcol_16_26939), -(tptpcol_16_26939(_656753))], (1990 ^ _600265) ^ [_656941] : [tptpcol_16_26939(_656941), -(isa(_656941, c_tptpcol_16_26939))], (1996 ^ _600265) ^ [_657129] : [isa(_657129, c_tptpcol_16_62187), -(tptpcol_16_62187(_657129))], (2002 ^ _600265) ^ [_657317] : [tptpcol_16_62187(_657317), -(isa(_657317, c_tptpcol_16_62187))], (2008 ^ _600265) ^ [_657505] : [isa(_657505, c_tptpcol_13_92263), -(tptpcol_13_92263(_657505))], (2014 ^ _600265) ^ [_657693] : [tptpcol_13_92263(_657693), -(isa(_657693, c_tptpcol_13_92263))], (2020 ^ _600265) ^ [_657881] : [isa(_657881, c_geolevel_4), -(geolevel_4(_657881))], (2026 ^ _600265) ^ [_658069] : [geolevel_4(_658069), -(isa(_658069, c_geolevel_4))], (2032 ^ _600265) ^ [_658257] : [isa(_658257, c_tptpcol_15_4027), -(tptpcol_15_4027(_658257))], (2038 ^ _600265) ^ [_658445] : [tptpcol_15_4027(_658445), -(isa(_658445, c_tptpcol_15_4027))], (2044 ^ _600265) ^ [_658633] : [isa(_658633, c_pushingwithfingers), -(pushingwithfingers(_658633))], (2050 ^ _600265) ^ [_658821] : [pushingwithfingers(_658821), -(isa(_658821, c_pushingwithfingers))], (2056 ^ _600265) ^ [_659023, _659025] : [affiliatedwith(_659025, _659023), -(agent_generic(_659023))], (2062 ^ _600265) ^ [_659231, _659233] : [affiliatedwith(_659233, _659231), -(agent_generic(_659233))], (2068 ^ _600265) ^ [_659439, _659441] : [affiliatedwith(_659441, _659439), -(affiliatedwith(_659439, _659441))], (2074 ^ _600265) ^ [_659619] : [affiliatedwith(_659619, _659619)], (2076 ^ _600265) ^ [_659712] : [isa(_659712, c_footballteam), -(footballteam(_659712))], (2082 ^ _600265) ^ [_659900] : [footballteam(_659900), -(isa(_659900, c_footballteam))], (2088 ^ _600265) ^ [_660088] : [isa(_660088, c_tptpcol_16_4451), -(tptpcol_16_4451(_660088))], (2094 ^ _600265) ^ [_660276] : [tptpcol_16_4451(_660276), -(isa(_660276, c_tptpcol_16_4451))], (2100 ^ _600265) ^ [_660464] : [isa(_660464, c_pushingwithopenhand), -(pushingwithopenhand(_660464))], (2106 ^ _600265) ^ [_660652] : [pushingwithopenhand(_660652), -(isa(_660652, c_pushingwithopenhand))], (2112 ^ _600265) ^ [_660840] : [isa(_660840, c_tptpcol_15_22076), -(tptpcol_15_22076(_660840))], (2118 ^ _600265) ^ [_661028] : [tptpcol_15_22076(_661028), -(isa(_661028, c_tptpcol_15_22076))], (2124 ^ _600265) ^ [_661201] : [-(natfunction(f_tptpquantityfn_2(_661201), c_tptpquantityfn_2))], (2126 ^ _600265) ^ [_661281] : [-(natargument(f_tptpquantityfn_2(_661281), n_1, _661281))], (2128 ^ _600265) ^ [_661362] : [-(tptpquantity(f_tptpquantityfn_2(_661362)))], (2130 ^ _600265) ^ [_661456] : [isa(_661456, c_tptpcol_7_39939), -(tptpcol_7_39939(_661456))], (2136 ^ _600265) ^ [_661644] : [tptpcol_7_39939(_661644), -(isa(_661644, c_tptpcol_7_39939))], (2142 ^ _600265) ^ [_661832] : [isa(_661832, c_tptpcol_8_39940), -(tptpcol_8_39940(_661832))], (2148 ^ _600265) ^ [_662020] : [tptpcol_8_39940(_662020), -(isa(_662020, c_tptpcol_8_39940))], (2154 ^ _600265) ^ [_662208] : [isa(_662208, c_tptpcol_15_26925), -(tptpcol_15_26925(_662208))], (2160 ^ _600265) ^ [_662396] : [tptpcol_15_26925(_662396), -(isa(_662396, c_tptpcol_15_26925))], (2166 ^ _600265) ^ [_662584] : [isa(_662584, c_tptpcol_16_26926), -(tptpcol_16_26926(_662584))], (2172 ^ _600265) ^ [_662772] : [tptpcol_16_26926(_662772), -(isa(_662772, c_tptpcol_16_26926))], (2178 ^ _600265) ^ [_662960] : [isa(_662960, c_tptpcol_13_118117), -(tptpcol_13_118117(_662960))], (2184 ^ _600265) ^ [_663148] : [tptpcol_13_118117(_663148), -(isa(_663148, c_tptpcol_13_118117))], (2190 ^ _600265) ^ [_663336] : [isa(_663336, c_tptpcol_5_90114), -(tptpcol_5_90114(_663336))], (2196 ^ _600265) ^ [_663524] : [tptpcol_5_90114(_663524), -(isa(_663524, c_tptpcol_5_90114))], (2202 ^ _600265) ^ [_663726, _663728] : [tptptypes_5_802(_663728, _663726), -(firstordercollection(_663726))], (2208 ^ _600265) ^ [_663934, _663936] : [tptptypes_5_802(_663936, _663934), -(firstordercollection(_663936))], (2214 ^ _600265) ^ [_664128] : [isa(_664128, c_tptpcol_16_72795), -(tptpcol_16_72795(_664128))], (2220 ^ _600265) ^ [_664316] : [tptpcol_16_72795(_664316), -(isa(_664316, c_tptpcol_16_72795))], (2226 ^ _600265) ^ [_664504] : [isa(_664504, c_tptpcol_8_114177), -(tptpcol_8_114177(_664504))], (2232 ^ _600265) ^ [_664692] : [tptpcol_8_114177(_664692), -(isa(_664692, c_tptpcol_8_114177))], (2238 ^ _600265) ^ [_664880] : [isa(_664880, c_tptpcol_15_50957), -(tptpcol_15_50957(_664880))], (2244 ^ _600265) ^ [_665068] : [tptpcol_15_50957(_665068), -(isa(_665068, c_tptpcol_15_50957))], (2250 ^ _600265) ^ [_665256] : [isa(_665256, c_tptpcol_16_50958), -(tptpcol_16_50958(_665256))], (2256 ^ _600265) ^ [_665444] : [tptpcol_16_50958(_665444), -(isa(_665444, c_tptpcol_16_50958))], (2262 ^ _600265) ^ [_665632] : [isa(_665632, c_tptpcol_6_71683), -(tptpcol_6_71683(_665632))], (2268 ^ _600265) ^ [_665820] : [tptpcol_6_71683(_665820), -(isa(_665820, c_tptpcol_6_71683))], (2274 ^ _600265) ^ [_666008] : [isa(_666008, c_tptpcol_11_72774), -(tptpcol_11_72774(_666008))], (2280 ^ _600265) ^ [_666196] : [tptpcol_11_72774(_666196), -(isa(_666196, c_tptpcol_11_72774))], (2286 ^ _600265) ^ [_666384] : [isa(_666384, c_tptpcol_12_72775), -(tptpcol_12_72775(_666384))], (2292 ^ _600265) ^ [_666572] : [tptpcol_12_72775(_666572), -(isa(_666572, c_tptpcol_12_72775))], (2298 ^ _600265) ^ [_666760] : [isa(_666760, c_tptpcol_5_110593), -(tptpcol_5_110593(_666760))], (2304 ^ _600265) ^ [_666948] : [tptpcol_5_110593(_666948), -(isa(_666948, c_tptpcol_5_110593))], (2310 ^ _600265) ^ [_667136] : [isa(_667136, c_tptpcol_16_25972), -(tptpcol_16_25972(_667136))], (2316 ^ _600265) ^ [_667324] : [tptpcol_16_25972(_667324), -(isa(_667324, c_tptpcol_16_25972))], (2322 ^ _600265) ^ [_667526, _667528] : [tptp_8_271(_667528, _667526), -(razor(_667526))], (2328 ^ _600265) ^ [_667734, _667736] : [tptp_8_271(_667736, _667734), -(tptpcol_5_24579(_667736))], (2334 ^ _600265) ^ [_667928] : [isa(_667928, c_tptpcol_4_90113), -(tptpcol_4_90113(_667928))], (2340 ^ _600265) ^ [_668116] : [tptpcol_4_90113(_668116), -(isa(_668116, c_tptpcol_4_90113))], (2346 ^ _600265) ^ [_668304] : [isa(_668304, c_tptpcol_10_93700), -(tptpcol_10_93700(_668304))], (2352 ^ _600265) ^ [_668492] : [tptpcol_10_93700(_668492), -(isa(_668492, c_tptpcol_10_93700))], (2358 ^ _600265) ^ [_668680] : [isa(_668680, c_tptpcol_9_93699), -(tptpcol_9_93699(_668680))], (2364 ^ _600265) ^ [_668868] : [tptpcol_9_93699(_668868), -(isa(_668868, c_tptpcol_9_93699))], (2370 ^ _600265) ^ [_669056] : [isa(_669056, c_aspatialthing), -(aspatialthing(_669056))], (2376 ^ _600265) ^ [_669244] : [aspatialthing(_669244), -(isa(_669244, c_aspatialthing))], (2382 ^ _600265) ^ [_669432] : [isa(_669432, c_tptpcol_7_117762), -(tptpcol_7_117762(_669432))], (2388 ^ _600265) ^ [_669620] : [tptpcol_7_117762(_669620), -(isa(_669620, c_tptpcol_7_117762))], (2394 ^ _600265) ^ [_669808] : [isa(_669808, c_tptpcol_8_117763), -(tptpcol_8_117763(_669808))], (2400 ^ _600265) ^ [_669996] : [tptpcol_8_117763(_669996), -(isa(_669996, c_tptpcol_8_117763))], (2406 ^ _600265) ^ [_670184] : [isa(_670184, c_tptpcol_7_18437), -(tptpcol_7_18437(_670184))], (2412 ^ _600265) ^ [_670372] : [tptpcol_7_18437(_670372), -(isa(_670372, c_tptpcol_7_18437))], (2418 ^ _600265) ^ [_670560] : [isa(_670560, c_tptpcol_6_18436), -(tptpcol_6_18436(_670560))], (2424 ^ _600265) ^ [_670748] : [tptpcol_6_18436(_670748), -(isa(_670748, c_tptpcol_6_18436))], (2430 ^ _600265) ^ [_670936] : [isa(_670936, c_tptpcol_8_93698), -(tptpcol_8_93698(_670936))], (2436 ^ _600265) ^ [_671124] : [tptpcol_8_93698(_671124), -(isa(_671124, c_tptpcol_8_93698))], (2442 ^ _600265) ^ [_671312] : [isa(_671312, c_tptpcol_11_109125), -(tptpcol_11_109125(_671312))], (2448 ^ _600265) ^ [_671500] : [tptpcol_11_109125(_671500), -(isa(_671500, c_tptpcol_11_109125))], (2454 ^ _600265) ^ [_671688] : [isa(_671688, c_tptpcol_6_108546), -(tptpcol_6_108546(_671688))], (2460 ^ _600265) ^ [_671876] : [tptpcol_6_108546(_671876), -(isa(_671876, c_tptpcol_6_108546))], (2466 ^ _600265) ^ [_672064] : [isa(_672064, c_tptpcol_6_20484), -(tptpcol_6_20484(_672064))], (2472 ^ _600265) ^ [_672252] : [tptpcol_6_20484(_672252), -(isa(_672252, c_tptpcol_6_20484))], (2478 ^ _600265) ^ [_672454, _672456] : [few(_672456, _672454), -(setorcollection(_672454))], (2484 ^ _600265) ^ [_672662, _672664] : [few(_672664, _672662), -(setorcollection(_672662))], (2490 ^ _600265) ^ [_672870, _672872] : [few(_672872, _672870), -(setorcollection(_672872))], (2496 ^ _600265) ^ [_673078, _673080] : [few(_673080, _673078), -(setorcollection(_673080))], (2502 ^ _600265) ^ [_673300, _673302, _673304] : [-(few(_673304, _673300)), few(_673304, _673302), subsetof(_673300, _673302)], (2512 ^ _600265) ^ [_673595] : [isa(_673595, c_tptpcol_15_130931), -(tptpcol_15_130931(_673595))], (2518 ^ _600265) ^ [_673783] : [tptpcol_15_130931(_673783), -(isa(_673783, c_tptpcol_15_130931))], (2524 ^ _600265) ^ [_673971] : [isa(_673971, c_tptpcol_16_130933), -(tptpcol_16_130933(_673971))], (2530 ^ _600265) ^ [_674159] : [tptpcol_16_130933(_674159), -(isa(_674159, c_tptpcol_16_130933))], (2536 ^ _600265) ^ [_674347] : [isa(_674347, c_tptpcol_7_92163), -(tptpcol_7_92163(_674347))], (2542 ^ _600265) ^ [_674535] : [tptpcol_7_92163(_674535), -(isa(_674535, c_tptpcol_7_92163))], (2548 ^ _600265) ^ [_674723] : [isa(_674723, c_tptpcol_15_130923), -(tptpcol_15_130923(_674723))], (2554 ^ _600265) ^ [_674911] : [tptpcol_15_130923(_674911), -(isa(_674911, c_tptpcol_15_130923))], (2560 ^ _600265) ^ [_675099] : [isa(_675099, c_tptpcol_16_130924), -(tptpcol_16_130924(_675099))], (2566 ^ _600265) ^ [_675287] : [tptpcol_16_130924(_675287), -(isa(_675287, c_tptpcol_16_130924))], (2572 ^ _600265) ^ [_675475] : [isa(_675475, c_intangibleindividual), -(intangibleindividual(_675475))], (2578 ^ _600265) ^ [_675663] : [intangibleindividual(_675663), -(isa(_675663, c_intangibleindividual))], (2584 ^ _600265) ^ [_675850, _675852] : [-(natfunction(f_citynamedfn(_675852, _675850), c_citynamedfn))], (2586 ^ _600265) ^ [_675947, _675949] : [-(natargument(f_citynamedfn(_675949, _675947), n_1, _675949))], (2588 ^ _600265) ^ [_676045, _676047] : [-(natargument(f_citynamedfn(_676047, _676045), n_2, _676045))], (2590 ^ _600265) ^ [_676143, _676145] : [-(city(f_citynamedfn(_676145, _676143)))], (2592 ^ _600265) ^ [_676240] : [isa(_676240, c_tptpcol_13_26920), -(tptpcol_13_26920(_676240))], (2598 ^ _600265) ^ [_676428] : [tptpcol_13_26920(_676428), -(isa(_676428, c_tptpcol_13_26920))], (2604 ^ _600265) ^ [_676616] : [isa(_676616, c_tptpcol_14_26921), -(tptpcol_14_26921(_676616))], (2610 ^ _600265) ^ [_676804] : [tptpcol_14_26921(_676804), -(isa(_676804, c_tptpcol_14_26921))], (2616 ^ _600265) ^ [_676992] : [isa(_676992, c_tptpcol_3_65538), -(tptpcol_3_65538(_676992))], (2622 ^ _600265) ^ [_677180] : [tptpcol_3_65538(_677180), -(isa(_677180, c_tptpcol_3_65538))], (2628 ^ _600265) ^ [_677368] : [isa(_677368, c_tptpcol_16_27189), -(tptpcol_16_27189(_677368))], (2634 ^ _600265) ^ [_677556] : [tptpcol_16_27189(_677556), -(isa(_677556, c_tptpcol_16_27189))], (2640 ^ _600265) ^ [_677758, _677760] : [tptp_9_51(_677760, _677758), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_677758))], (2646 ^ _600265) ^ [_677966, _677968] : [tptp_9_51(_677968, _677966), -(tptpcol_7_26628(_677968))], (2652 ^ _600265) ^ [_678160] : [isa(_678160, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_678160))], (2658 ^ _600265) ^ [_678348] : [reflexivebinarypredicate(_678348), -(isa(_678348, c_reflexivebinarypredicate))], (2664 ^ _600265) ^ [_678536] : [isa(_678536, c_tptpcol_7_21508), -(tptpcol_7_21508(_678536))], (2670 ^ _600265) ^ [_678724] : [tptpcol_7_21508(_678724), -(isa(_678724, c_tptpcol_7_21508))], (2676 ^ _600265) ^ [_678912] : [isa(_678912, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_678912))], (2682 ^ _600265) ^ [_679100] : [hpkb_subnationalagent(_679100), -(isa(_679100, c_hpkb_subnationalagent))], (2688 ^ _600265) ^ [_679288] : [isa(_679288, c_state_geopolitical), -(state_geopolitical(_679288))], (2694 ^ _600265) ^ [_679476] : [state_geopolitical(_679476), -(isa(_679476, c_state_geopolitical))], (2700 ^ _600265) ^ [_679691, _679693, _679695, _679697] : [-(natfunction(f_relationallexistsfn(_679697, _679695, _679693, _679691), c_relationallexistsfn))], (2702 ^ _600265) ^ [_679822, _679824, _679826, _679828] : [-(natargument(f_relationallexistsfn(_679828, _679826, _679824, _679822), n_1, _679828))], (2704 ^ _600265) ^ [_679954, _679956, _679958, _679960] : [-(natargument(f_relationallexistsfn(_679960, _679958, _679956, _679954), n_2, _679958))], (2706 ^ _600265) ^ [_680086, _680088, _680090, _680092] : [-(natargument(f_relationallexistsfn(_680092, _680090, _680088, _680086), n_3, _680088))], (2708 ^ _600265) ^ [_680218, _680220, _680222, _680224] : [-(natargument(f_relationallexistsfn(_680224, _680222, _680220, _680218), n_4, _680218))], (2710 ^ _600265) ^ [_680350, _680352, _680354, _680356] : [-(thing(f_relationallexistsfn(_680356, _680354, _680352, _680350)))], (2712 ^ _600265) ^ [_680467, _680469] : [arg2isa(_680469, _680467), -(collection(_680467))], (2718 ^ _600265) ^ [_680675, _680677] : [arg2isa(_680677, _680675), -(relation(_680677))], (2724 ^ _600265) ^ [_680897, _680899, _680901] : [-(arg2isa(_680901, _680897)), arg2isa(_680901, _680899), genls(_680899, _680897)], (2734 ^ _600265) ^ [_681220, _681222, _681224] : [-(arg2isa(_681224, _681220)), arg2isa(_681224, _681222), genls(_681222, _681220)], (2744 ^ _600265) ^ [_681515] : [isa(_681515, c_geolevel_1), -(geolevel_1(_681515))], (2750 ^ _600265) ^ [_681703] : [geolevel_1(_681703), -(isa(_681703, c_geolevel_1))], (2756 ^ _600265) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _600265) ^ [_681944] : [isa(_681944, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_681944))], (2764 ^ _600265) ^ [_682132] : [spatialthing_nonsituational(_682132), -(isa(_682132, c_spatialthing_nonsituational))], (2770 ^ _600265) ^ [_682320] : [isa(_682320, c_militaryperson), -(militaryperson(_682320))], (2776 ^ _600265) ^ [_682508] : [militaryperson(_682508), -(isa(_682508, c_militaryperson))], (2782 ^ _600265) ^ [_682696] : [isa(_682696, c_tptpcol_15_72793), -(tptpcol_15_72793(_682696))], (2788 ^ _600265) ^ [_682884] : [tptpcol_15_72793(_682884), -(isa(_682884, c_tptpcol_15_72793))], (2794 ^ _600265) ^ [_683072] : [isa(_683072, c_tptpcol_9_26885), -(tptpcol_9_26885(_683072))], (2800 ^ _600265) ^ [_683260] : [tptpcol_9_26885(_683260), -(isa(_683260, c_tptpcol_9_26885))], (2806 ^ _600265) ^ [_683448] : [isa(_683448, c_tptpcol_10_26886), -(tptpcol_10_26886(_683448))], (2812 ^ _600265) ^ [_683636] : [tptpcol_10_26886(_683636), -(isa(_683636, c_tptpcol_10_26886))], (2818 ^ _600265) ^ [_683838, _683840] : [tptptypes_8_823(_683840, _683838), -(firstordercollection(_683838))], (2824 ^ _600265) ^ [_684046, _684048] : [tptptypes_8_823(_684048, _684046), -(firstordercollection(_684048))], (2830 ^ _600265) ^ [_684240] : [isa(_684240, c_tptpcol_16_92269), -(tptpcol_16_92269(_684240))], (2836 ^ _600265) ^ [_684428] : [tptpcol_16_92269(_684428), -(isa(_684428, c_tptpcol_16_92269))], (2842 ^ _600265) ^ [_684616] : [isa(_684616, c_tptpcol_15_109185), -(tptpcol_15_109185(_684616))], (2848 ^ _600265) ^ [_684804] : [tptpcol_15_109185(_684804), -(isa(_684804, c_tptpcol_15_109185))], (2854 ^ _600265) ^ [_684992] : [isa(_684992, c_tptpcol_6_26627), -(tptpcol_6_26627(_684992))], (2860 ^ _600265) ^ [_685180] : [tptpcol_6_26627(_685180), -(isa(_685180, c_tptpcol_6_26627))], (2866 ^ _600265) ^ [_685368] : [isa(_685368, c_tptpcol_12_118116), -(tptpcol_12_118116(_685368))], (2872 ^ _600265) ^ [_685556] : [tptpcol_12_118116(_685556), -(isa(_685556, c_tptpcol_12_118116))], (2878 ^ _600265) ^ [_685744] : [isa(_685744, c_tptpcol_8_18438), -(tptpcol_8_18438(_685744))], (2884 ^ _600265) ^ [_685932] : [tptpcol_8_18438(_685932), -(isa(_685932, c_tptpcol_8_18438))], (2890 ^ _600265) ^ [_686120] : [isa(_686120, c_tptpcol_15_30970), -(tptpcol_15_30970(_686120))], (2896 ^ _600265) ^ [_686308] : [tptpcol_15_30970(_686308), -(isa(_686308, c_tptpcol_15_30970))], (2902 ^ _600265) ^ [_686496] : [isa(_686496, c_tptpcol_16_30972), -(tptpcol_16_30972(_686496))], (2908 ^ _600265) ^ [_686684] : [tptpcol_16_30972(_686684), -(isa(_686684, c_tptpcol_16_30972))], (2914 ^ _600265) ^ [_686872] : [isa(_686872, c_tptpcol_14_109181), -(tptpcol_14_109181(_686872))], (2920 ^ _600265) ^ [_687060] : [tptpcol_14_109181(_687060), -(isa(_687060, c_tptpcol_14_109181))], (2926 ^ _600265) ^ [_687248] : [isa(_687248, c_physicalorderingpredicate), -(physicalorderingpredicate(_687248))], (2932 ^ _600265) ^ [_687436] : [physicalorderingpredicate(_687436), -(isa(_687436, c_physicalorderingpredicate))], (2938 ^ _600265) ^ [_687624] : [isa(_687624, c_tptpcol_16_7738), -(tptpcol_16_7738(_687624))], (2944 ^ _600265) ^ [_687812] : [tptpcol_16_7738(_687812), -(isa(_687812, c_tptpcol_16_7738))], (2950 ^ _600265) ^ [_688014, _688016] : [tptp_8_968(_688016, _688014), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_688014))], (2956 ^ _600265) ^ [_688222, _688224] : [tptp_8_968(_688224, _688222), -(tptpcol_7_7172(_688224))], (2962 ^ _600265) ^ [_688444, _688446, _688448] : [relationexistsall(_688448, _688446, _688444), -(collection(_688444))], (2968 ^ _600265) ^ [_688674, _688676, _688678] : [relationexistsall(_688678, _688676, _688674), -(collection(_688676))], (2974 ^ _600265) ^ [_688904, _688906, _688908] : [relationexistsall(_688908, _688906, _688904), -(binarypredicate(_688908))], (2980 ^ _600265) ^ [_689106] : [isa(_689106, c_tptpcol_7_26628), -(tptpcol_7_26628(_689106))], (2986 ^ _600265) ^ [_689294] : [tptpcol_7_26628(_689294), -(isa(_689294, c_tptpcol_7_26628))], (2992 ^ _600265) ^ [_689482] : [isa(_689482, c_tptpcol_8_26629), -(tptpcol_8_26629(_689482))], (2998 ^ _600265) ^ [_689670] : [tptpcol_8_26629(_689670), -(isa(_689670, c_tptpcol_8_26629))], (3004 ^ _600265) ^ [_689858] : [isa(_689858, c_tptpcol_3_114688), -(tptpcol_3_114688(_689858))], (3010 ^ _600265) ^ [_690046] : [tptpcol_3_114688(_690046), -(isa(_690046, c_tptpcol_3_114688))], (3016 ^ _600265) ^ [_690219] : [-(natfunction(f_contextofpcwfn(_690219), c_contextofpcwfn))], (3018 ^ _600265) ^ [_690299] : [-(natargument(f_contextofpcwfn(_690299), n_1, _690299))], (3020 ^ _600265) ^ [_690380] : [-(microtheory(f_contextofpcwfn(_690380)))], (3022 ^ _600265) ^ [_690488, _690490] : [arg1isa(_690490, _690488), -(collection(_690488))], (3028 ^ _600265) ^ [_690696, _690698] : [arg1isa(_690698, _690696), -(relation(_690698))], (3034 ^ _600265) ^ [_690918, _690920, _690922] : [-(arg1isa(_690922, _690918)), arg1isa(_690922, _690920), genls(_690920, _690918)], (3044 ^ _600265) ^ [_691241, _691243, _691245] : [-(arg1isa(_691245, _691241)), arg1isa(_691245, _691243), genls(_691243, _691241)], (3054 ^ _600265) ^ [_691550, _691552] : [objectfoundinlocation(_691552, _691550), -(spatialthing_nonsituational(_691550))], (3060 ^ _600265) ^ [_691758, _691760] : [objectfoundinlocation(_691760, _691758), -(spatialthing_localized(_691758))], (3066 ^ _600265) ^ [_691966, _691968] : [objectfoundinlocation(_691968, _691966), -(spatialthing_nonsituational(_691968))], (3072 ^ _600265) ^ [_692174, _692176] : [objectfoundinlocation(_692176, _692174), -(spatialthing_localized(_692176))], (3078 ^ _600265) ^ [_692396, _692398, _692400] : [-(objectfoundinlocation(_692400, _692396)), objectfoundinlocation(_692400, _692398), objectfoundinlocation(_692398, _692396)], (3088 ^ _600265) ^ [_692675] : [objectfoundinlocation(_692675, _692675)], (3090 ^ _600265) ^ [_692796, _692798, _692800] : [-(objectfoundinlocation(_692800, _692796)), objectfoundinlocation(_692800, _692798), geopoliticalsubdivision(_692796, _692798)], (3100 ^ _600265) ^ [_693119, _693121, _693123] : [-(objectfoundinlocation(_693123, _693119)), objectfoundinlocation(_693123, _693121), geographicallysubsumes(_693119, _693121)], (3110 ^ _600265) ^ [_693442, _693444, _693446] : [-(objectfoundinlocation(_693446, _693442)), objectfoundinlocation(_693446, _693444), subregions(_693442, _693444)], (3120 ^ _600265) ^ [_693737] : [isa(_693737, c_ship), -(ship(_693737))], (3126 ^ _600265) ^ [_693925] : [ship(_693925), -(isa(_693925, c_ship))], (3132 ^ _600265) ^ [_694126, _694128, _694130] : [-(natfunction(f_subcollectionofwithrelationtofn(_694130, _694128, _694126), c_subcollectionofwithrelationtofn))], (3134 ^ _600265) ^ [_694240, _694242, _694244] : [-(natargument(f_subcollectionofwithrelationtofn(_694244, _694242, _694240), n_1, _694244))], (3136 ^ _600265) ^ [_694355, _694357, _694359] : [-(natargument(f_subcollectionofwithrelationtofn(_694359, _694357, _694355), n_2, _694357))], (3138 ^ _600265) ^ [_694470, _694472, _694474] : [-(natargument(f_subcollectionofwithrelationtofn(_694474, _694472, _694470), n_3, _694470))], (3140 ^ _600265) ^ [_694585, _694587, _694589] : [-(collection(f_subcollectionofwithrelationtofn(_694589, _694587, _694585)))], (3142 ^ _600265) ^ [_694685] : [isa(_694685, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_694685))], (3148 ^ _600265) ^ [_694873] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_694873), -(isa(_694873, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _600265) ^ [_695061] : [isa(_695061, c_tptpcol_4_65539), -(tptpcol_4_65539(_695061))], (3160 ^ _600265) ^ [_695249] : [tptpcol_4_65539(_695249), -(isa(_695249, c_tptpcol_4_65539))], (3166 ^ _600265) ^ [_695437] : [isa(_695437, c_tptpcol_5_69635), -(tptpcol_5_69635(_695437))], (3172 ^ _600265) ^ [_695625] : [tptpcol_5_69635(_695625), -(isa(_695625, c_tptpcol_5_69635))], (3178 ^ _600265) ^ [_695813] : [isa(_695813, c_tptpcol_3_16386), -(tptpcol_3_16386(_695813))], (3184 ^ _600265) ^ [_696001] : [tptpcol_3_16386(_696001), -(isa(_696001, c_tptpcol_3_16386))], (3190 ^ _600265) ^ [_696203, _696205] : [no(_696205, _696203), -(setorcollection(_696203))], (3196 ^ _600265) ^ [_696411, _696413] : [no(_696413, _696411), -(setorcollection(_696413))], (3202 ^ _600265) ^ [_696619, _696621] : [no(_696621, _696619), -(no(_696619, _696621))], (3208 ^ _600265) ^ [_696843, _696845, _696847] : [-(no(_696847, _696843)), no(_696847, _696845), subsetof(_696843, _696845)], (3218 ^ _600265) ^ [_697166, _697168, _697170] : [-(no(_697166, _697168)), no(_697170, _697168), subsetof(_697166, _697170)], (3228 ^ _600265) ^ [_697489, _697491, _697493] : [-(no(_697489, _697491)), no(_697493, _697491), genls(_697489, _697493)], (3238 ^ _600265) ^ [_697812, _697814, _697816] : [-(no(_697816, _697812)), no(_697816, _697814), genls(_697812, _697814)], (3248 ^ _600265) ^ [_698135, _698137, _698139] : [-(no(_698135, _698137)), no(_698139, _698137), subsetof(_698135, _698139)], (3258 ^ _600265) ^ [_698458, _698460, _698462] : [-(no(_698462, _698458)), no(_698462, _698460), subsetof(_698458, _698460)], (3268 ^ _600265) ^ [_698753] : [isa(_698753, c_geographicalregion), -(geographicalregion(_698753))], (3274 ^ _600265) ^ [_698941] : [geographicalregion(_698941), -(isa(_698941, c_geographicalregion))], (3280 ^ _600265) ^ [_699114] : [-(natfunction(f_tptpquantityfn_21(_699114), c_tptpquantityfn_21))], (3282 ^ _600265) ^ [_699194] : [-(natargument(f_tptpquantityfn_21(_699194), n_1, _699194))], (3284 ^ _600265) ^ [_699275] : [-(tptpquantity(f_tptpquantityfn_21(_699275)))], (3286 ^ _600265) ^ [_699383, _699385] : [airporthasiatacode(_699385, _699383), -(stringoflengthfn3(_699383))], (3292 ^ _600265) ^ [_699591, _699593] : [airporthasiatacode(_699593, _699591), -(airport_physical(_699593))], (3298 ^ _600265) ^ [_699785] : [isa(_699785, c_airport_physical), -(airport_physical(_699785))], (3304 ^ _600265) ^ [_699973] : [airport_physical(_699973), -(isa(_699973, c_airport_physical))], (3310 ^ _600265) ^ [_700174, _700176, _700178] : [-(natfunction(f_instancewithrelationtofn(_700178, _700176, _700174), c_instancewithrelationtofn))], (3312 ^ _600265) ^ [_700288, _700290, _700292] : [-(natargument(f_instancewithrelationtofn(_700292, _700290, _700288), n_1, _700292))], (3314 ^ _600265) ^ [_700403, _700405, _700407] : [-(natargument(f_instancewithrelationtofn(_700407, _700405, _700403), n_2, _700405))], (3316 ^ _600265) ^ [_700518, _700520, _700522] : [-(natargument(f_instancewithrelationtofn(_700522, _700520, _700518), n_3, _700518))], (3318 ^ _600265) ^ [_700633, _700635, _700637] : [-(thing(f_instancewithrelationtofn(_700637, _700635, _700633)))], (3320 ^ _600265) ^ [_700733] : [isa(_700733, c_tptpcol_6_112641), -(tptpcol_6_112641(_700733))], (3326 ^ _600265) ^ [_700921] : [tptpcol_6_112641(_700921), -(isa(_700921, c_tptpcol_6_112641))], (3332 ^ _600265) ^ [_701109] : [isa(_701109, c_tptpcol_7_113665), -(tptpcol_7_113665(_701109))], (3338 ^ _600265) ^ [_701297] : [tptpcol_7_113665(_701297), -(isa(_701297, c_tptpcol_7_113665))], (3344 ^ _600265) ^ [_701485] : [isa(_701485, c_artifact), -(artifact(_701485))], (3350 ^ _600265) ^ [_701673] : [artifact(_701673), -(isa(_701673, c_artifact))], (3356 ^ _600265) ^ [_701861] : [isa(_701861, c_tptpcol_13_18664), -(tptpcol_13_18664(_701861))], (3362 ^ _600265) ^ [_702049] : [tptpcol_13_18664(_702049), -(isa(_702049, c_tptpcol_13_18664))], (3368 ^ _600265) ^ [_702237] : [isa(_702237, c_firstordercollection), -(firstordercollection(_702237))], (3374 ^ _600265) ^ [_702425] : [firstordercollection(_702425), -(isa(_702425, c_firstordercollection))], (3380 ^ _600265) ^ [_702598] : [-(natfunction(f_tptpquantityfn_14(_702598), c_tptpquantityfn_14))], (3382 ^ _600265) ^ [_702678] : [-(natargument(f_tptpquantityfn_14(_702678), n_1, _702678))], (3384 ^ _600265) ^ [_702759] : [-(tptpquantity(f_tptpquantityfn_14(_702759)))], (3386 ^ _600265) ^ [_702853] : [isa(_702853, c_supplies), -(supplies(_702853))], (3392 ^ _600265) ^ [_703041] : [supplies(_703041), -(isa(_703041, c_supplies))], (3398 ^ _600265) ^ [_703229] : [isa(_703229, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_703229))], (3404 ^ _600265) ^ [_703417] : [inanimateobject_nonnatural(_703417), -(isa(_703417, c_inanimateobject_nonnatural))], (3410 ^ _600265) ^ [_703605] : [isa(_703605, c_tptpcol_13_22071), -(tptpcol_13_22071(_703605))], (3416 ^ _600265) ^ [_703793] : [tptpcol_13_22071(_703793), -(isa(_703793, c_tptpcol_13_22071))], (3422 ^ _600265) ^ [_703981] : [isa(_703981, c_tptpcol_14_22072), -(tptpcol_14_22072(_703981))], (3428 ^ _600265) ^ [_704169] : [tptpcol_14_22072(_704169), -(isa(_704169, c_tptpcol_14_22072))], (3434 ^ _600265) ^ [_704357] : [isa(_704357, c_tptpcol_7_108547), -(tptpcol_7_108547(_704357))], (3440 ^ _600265) ^ [_704545] : [tptpcol_7_108547(_704545), -(isa(_704545, c_tptpcol_7_108547))], (3446 ^ _600265) ^ [_704733] : [isa(_704733, c_tptpcol_8_109059), -(tptpcol_8_109059(_704733))], (3452 ^ _600265) ^ [_704921] : [tptpcol_8_109059(_704921), -(isa(_704921, c_tptpcol_8_109059))], (3458 ^ _600265) ^ [_705109] : [isa(_705109, c_tptpcol_14_93774), -(tptpcol_14_93774(_705109))], (3464 ^ _600265) ^ [_705297] : [tptpcol_14_93774(_705297), -(isa(_705297, c_tptpcol_14_93774))], (3470 ^ _600265) ^ [_705485] : [isa(_705485, c_tptpcol_15_93775), -(tptpcol_15_93775(_705485))], (3476 ^ _600265) ^ [_705673] : [tptpcol_15_93775(_705673), -(isa(_705673, c_tptpcol_15_93775))], (3482 ^ _600265) ^ [_705861] : [isa(_705861, c_tptpcol_16_8886), -(tptpcol_16_8886(_705861))], (3488 ^ _600265) ^ [_706049] : [tptpcol_16_8886(_706049), -(isa(_706049, c_tptpcol_16_8886))], (3494 ^ _600265) ^ [_706251, _706253] : [orientation(_706253, _706251), -(orientationvector(_706251))], (3500 ^ _600265) ^ [_706459, _706461] : [orientation(_706461, _706459), -(spatialthing_localized(_706461))], (3506 ^ _600265) ^ [_706653] : [isa(_706653, c_orientationvector), -(orientationvector(_706653))], (3512 ^ _600265) ^ [_706841] : [orientationvector(_706841), -(isa(_706841, c_orientationvector))], (3518 ^ _600265) ^ [_707029] : [isa(_707029, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_707029))], (3524 ^ _600265) ^ [_707217] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_707217), -(isa(_707217, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _600265) ^ [_707419, _707421] : [tptptypes_9_824(_707421, _707419), -(firstordercollection(_707419))], (3536 ^ _600265) ^ [_707627, _707629] : [tptptypes_9_824(_707629, _707627), -(firstordercollection(_707629))], (3542 ^ _600265) ^ [_707835, _707837] : [tptptypes_7_396(_707837, _707835), -(firstordercollection(_707835))], (3548 ^ _600265) ^ [_708043, _708045] : [tptptypes_7_396(_708045, _708043), -(firstordercollection(_708045))], (3554 ^ _600265) ^ [_708237] : [isa(_708237, c_tptpcol_12_22055), -(tptpcol_12_22055(_708237))], (3560 ^ _600265) ^ [_708425] : [tptpcol_12_22055(_708425), -(isa(_708425, c_tptpcol_12_22055))], (3566 ^ _600265) ^ [_708613] : [isa(_708613, c_tptpcol_16_29490), -(tptpcol_16_29490(_708613))], (3572 ^ _600265) ^ [_708801] : [tptpcol_16_29490(_708801), -(isa(_708801, c_tptpcol_16_29490))], (3578 ^ _600265) ^ [_709003, _709005] : [tptp_9_720(_709005, _709003), -(tptpcol_5_28674(_709003))], (3584 ^ _600265) ^ [_709211, _709213] : [tptp_9_720(_709213, _709211), -(executionbyfiringsquad(_709213))], (3590 ^ _600265) ^ [_709405] : [isa(_709405, c_runningshorts), -(runningshorts(_709405))], (3596 ^ _600265) ^ [_709593] : [runningshorts(_709593), -(isa(_709593, c_runningshorts))], (3602 ^ _600265) ^ [_709781] : [isa(_709781, c_tptpcol_9_118019), -(tptpcol_9_118019(_709781))], (3608 ^ _600265) ^ [_709969] : [tptpcol_9_118019(_709969), -(isa(_709969, c_tptpcol_9_118019))], (3614 ^ _600265) ^ [_710157] : [isa(_710157, c_tptpcol_16_31868), -(tptpcol_16_31868(_710157))], (3620 ^ _600265) ^ [_710345] : [tptpcol_16_31868(_710345), -(isa(_710345, c_tptpcol_16_31868))], (3626 ^ _600265) ^ [_710533] : [isa(_710533, c_movement_translationevent), -(movement_translationevent(_710533))], (3632 ^ _600265) ^ [_710721] : [movement_translationevent(_710721), -(isa(_710721, c_movement_translationevent))], (3638 ^ _600265) ^ [_710923, _710925] : [directionoftranslation_throughout(_710925, _710923), -(unitvectorinterval(_710923))], (3644 ^ _600265) ^ [_711131, _711133] : [directionoftranslation_throughout(_711133, _711131), -(movement_translationevent(_711133))], (3650 ^ _600265) ^ [_711353, _711355, _711357] : [-(directionoftranslation_throughout(_711353, _711355)), directionoftranslation_throughout(_711357, _711355), subevents(_711357, _711353)], (3660 ^ _600265) ^ [_711648] : [isa(_711648, c_unitvectorinterval), -(unitvectorinterval(_711648))], (3666 ^ _600265) ^ [_711836] : [unitvectorinterval(_711836), -(isa(_711836, c_unitvectorinterval))], (3672 ^ _600265) ^ [_712024] : [isa(_712024, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_712024))], (3678 ^ _600265) ^ [_712212] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_712212), -(isa(_712212, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _600265) ^ [_712414, _712416] : [tptp_8_875(_712416, _712414), -(tptpcol_4_24578(_712414))], (3690 ^ _600265) ^ [_712622, _712624] : [tptp_8_875(_712624, _712622), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_712624))], (3696 ^ _600265) ^ [_712844, _712846, _712848] : [relationallexists(_712848, _712846, _712844), -(collection(_712844))], (3702 ^ _600265) ^ [_713074, _713076, _713078] : [relationallexists(_713078, _713076, _713074), -(collection(_713076))], (3708 ^ _600265) ^ [_713304, _713306, _713308] : [relationallexists(_713308, _713306, _713304), -(binarypredicate(_713308))], (3714 ^ _600265) ^ [_713506] : [isa(_713506, c_tptpcol_16_10258), -(tptpcol_16_10258(_713506))], (3720 ^ _600265) ^ [_713694] : [tptpcol_16_10258(_713694), -(isa(_713694, c_tptpcol_16_10258))], (3726 ^ _600265) ^ [_713882] : [isa(_713882, c_pushingababycarriage), -(pushingababycarriage(_713882))], (3732 ^ _600265) ^ [_714070] : [pushingababycarriage(_714070), -(isa(_714070, c_pushingababycarriage))], (3738 ^ _600265) ^ [_714258] : [isa(_714258, c_aspatialinformationstore), -(aspatialinformationstore(_714258))], (3744 ^ _600265) ^ [_714446] : [aspatialinformationstore(_714446), -(isa(_714446, c_aspatialinformationstore))], (3750 ^ _600265) ^ [_714634] : [isa(_714634, c_collection), -(collection(_714634))], (3756 ^ _600265) ^ [_714822] : [collection(_714822), -(isa(_714822, c_collection))], (3762 ^ _600265) ^ [_715010] : [isa(_715010, c_fixedordercollection), -(fixedordercollection(_715010))], (3768 ^ _600265) ^ [_715198] : [fixedordercollection(_715198), -(isa(_715198, c_fixedordercollection))], (3774 ^ _600265) ^ [_715386] : [isa(_715386, c_tptpcol_8_92164), -(tptpcol_8_92164(_715386))], (3780 ^ _600265) ^ [_715574] : [tptpcol_8_92164(_715574), -(isa(_715574, c_tptpcol_8_92164))], (3786 ^ _600265) ^ [_715762] : [isa(_715762, c_tptpcol_9_92165), -(tptpcol_9_92165(_715762))], (3792 ^ _600265) ^ [_715950] : [tptpcol_9_92165(_715950), -(isa(_715950, c_tptpcol_9_92165))], (3798 ^ _600265) ^ [_716138] : [isa(_716138, c_tptpcol_1_1), -(tptpcol_1_1(_716138))], (3804 ^ _600265) ^ [_716326] : [tptpcol_1_1(_716326), -(isa(_716326, c_tptpcol_1_1))], (3810 ^ _600265) ^ [_716514] : [isa(_716514, c_tptpcol_2_2), -(tptpcol_2_2(_716514))], (3816 ^ _600265) ^ [_716702] : [tptpcol_2_2(_716702), -(isa(_716702, c_tptpcol_2_2))], (3822 ^ _600265) ^ [_716904, _716906] : [tptptypes_7_691(_716906, _716904), -(firstordercollection(_716904))], (3828 ^ _600265) ^ [_717112, _717114] : [tptptypes_7_691(_717114, _717112), -(firstordercollection(_717114))], (3834 ^ _600265) ^ [_717306] : [isa(_717306, c_tptpcol_11_26887), -(tptpcol_11_26887(_717306))], (3840 ^ _600265) ^ [_717494] : [tptpcol_11_26887(_717494), -(isa(_717494, c_tptpcol_11_26887))], (3846 ^ _600265) ^ [_717682] : [isa(_717682, c_tptpcol_12_26919), -(tptpcol_12_26919(_717682))], (3852 ^ _600265) ^ [_717870] : [tptpcol_12_26919(_717870), -(isa(_717870, c_tptpcol_12_26919))], (3858 ^ _600265) ^ [_718072, _718074] : [tptptypes_6_818(_718074, _718072), -(firstordercollection(_718072))], (3864 ^ _600265) ^ [_718280, _718282] : [tptptypes_6_818(_718282, _718280), -(firstordercollection(_718282))], (3870 ^ _600265) ^ [_718488, _718490] : [tptptypes_7_819(_718490, _718488), -(firstordercollection(_718488))], (3876 ^ _600265) ^ [_718696, _718698] : [tptptypes_7_819(_718698, _718696), -(firstordercollection(_718698))], (3882 ^ _600265) ^ [_718890] : [isa(_718890, c_correctivelensprescription), -(correctivelensprescription(_718890))], (3888 ^ _600265) ^ [_719078] : [correctivelensprescription(_719078), -(isa(_719078, c_correctivelensprescription))], (3894 ^ _600265) ^ [_719280, _719282] : [products(_719282, _719280), -(artifact(_719280))], (3900 ^ _600265) ^ [_719488, _719490] : [products(_719490, _719488), -(creationordestructionevent(_719490))], (3906 ^ _600265) ^ [_719682] : [isa(_719682, c_issuingaprescription), -(issuingaprescription(_719682))], (3912 ^ _600265) ^ [_719870] : [issuingaprescription(_719870), -(isa(_719870, c_issuingaprescription))], (3918 ^ _600265) ^ [_720071, _720073, _720075] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_720075, _720073, _720071), c_subcollectionofwithrelationtotypefn))], (3920 ^ _600265) ^ [_720185, _720187, _720189] : [-(natargument(f_subcollectionofwithrelationtotypefn(_720189, _720187, _720185), n_1, _720189))], (3922 ^ _600265) ^ [_720300, _720302, _720304] : [-(natargument(f_subcollectionofwithrelationtotypefn(_720304, _720302, _720300), n_2, _720302))], (3924 ^ _600265) ^ [_720415, _720417, _720419] : [-(natargument(f_subcollectionofwithrelationtotypefn(_720419, _720417, _720415), n_3, _720415))], (3926 ^ _600265) ^ [_720530, _720532, _720534] : [-(collection(f_subcollectionofwithrelationtotypefn(_720534, _720532, _720530)))], (3928 ^ _600265) ^ [_720630] : [isa(_720630, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_720630))], (3934 ^ _600265) ^ [_720818] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_720818), -(isa(_720818, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _600265) ^ [_721006] : [isa(_721006, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_721006))], (3946 ^ _600265) ^ [_721194] : [mathematicalorcomputationalthing(_721194), -(isa(_721194, c_mathematicalorcomputationalthing))], (3952 ^ _600265) ^ [_721382] : [isa(_721382, c_tptpcol_10_118020), -(tptpcol_10_118020(_721382))], (3958 ^ _600265) ^ [_721570] : [tptpcol_10_118020(_721570), -(isa(_721570, c_tptpcol_10_118020))], (3964 ^ _600265) ^ [_721758] : [isa(_721758, c_tptpcol_11_118084), -(tptpcol_11_118084(_721758))], (3970 ^ _600265) ^ [_721946] : [tptpcol_11_118084(_721946), -(isa(_721946, c_tptpcol_11_118084))], (3976 ^ _600265) ^ [_722134] : [isa(_722134, c_terroristgroup), -(terroristgroup(_722134))], (3982 ^ _600265) ^ [_722322] : [terroristgroup(_722322), -(isa(_722322, c_terroristgroup))], (3988 ^ _600265) ^ [_722524, _722526] : [hasmembers(_722526, _722524), -(agent_generic(_722524))], (3994 ^ _600265) ^ [_722732, _722734] : [hasmembers(_722734, _722732), -(organization(_722734))], (4000 ^ _600265) ^ [_722926] : [isa(_722926, c_terrorist), -(terrorist(_722926))], (4006 ^ _600265) ^ [_723114] : [terrorist(_723114), -(isa(_723114, c_terrorist))], (4012 ^ _600265) ^ [_723315, _723317, _723319] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_723319, _723317, _723315), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _600265) ^ [_723429, _723431, _723433] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_723433, _723431, _723429), n_1, _723433))], (4016 ^ _600265) ^ [_723544, _723546, _723548] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_723548, _723546, _723544), n_2, _723546))], (4018 ^ _600265) ^ [_723659, _723661, _723663] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_723663, _723661, _723659), n_3, _723659))], (4020 ^ _600265) ^ [_723774, _723776, _723778] : [-(collection(f_subcollectionofwithrelationfromtypefn(_723778, _723776, _723774)))], (4022 ^ _600265) ^ [_723874] : [isa(_723874, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_723874))], (4028 ^ _600265) ^ [_724062] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_724062), -(isa(_724062, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _600265) ^ [_724264, _724266] : [prettystring(_724266, _724264), -(controlcharacterfreestring(_724264))], (4040 ^ _600265) ^ [_724472, _724474] : [prettystring(_724474, _724472), -(thing(_724474))], (4046 ^ _600265) ^ [_724666] : [isa(_724666, c_tptpcol_0_0), -(tptpcol_0_0(_724666))], (4052 ^ _600265) ^ [_724854] : [tptpcol_0_0(_724854), -(isa(_724854, c_tptpcol_0_0))], (4058 ^ _600265) ^ [_725042] : [isa(_725042, c_geolevel_3), -(geolevel_3(_725042))], (4064 ^ _600265) ^ [_725230] : [geolevel_3(_725230), -(isa(_725230, c_geolevel_3))], (4070 ^ _600265) ^ [_725418] : [isa(_725418, c_tptpcol_4_24578), -(tptpcol_4_24578(_725418))], (4076 ^ _600265) ^ [_725606] : [tptpcol_4_24578(_725606), -(isa(_725606, c_tptpcol_4_24578))], (4082 ^ _600265) ^ [_725794] : [isa(_725794, c_tptpcol_5_24579), -(tptpcol_5_24579(_725794))], (4088 ^ _600265) ^ [_725982] : [tptpcol_5_24579(_725982), -(isa(_725982, c_tptpcol_5_24579))], (4094 ^ _600265) ^ [_726170] : [isa(_726170, c_tptpcol_5_106498), -(tptpcol_5_106498(_726170))], (4100 ^ _600265) ^ [_726358] : [tptpcol_5_106498(_726358), -(isa(_726358, c_tptpcol_5_106498))], (4106 ^ _600265) ^ [_726546] : [isa(_726546, c_tptpcol_12_109157), -(tptpcol_12_109157(_726546))], (4112 ^ _600265) ^ [_726734] : [tptpcol_12_109157(_726734), -(isa(_726734, c_tptpcol_12_109157))], (4118 ^ _600265) ^ [_726922] : [isa(_726922, c_tptpcol_13_109173), -(tptpcol_13_109173(_726922))], (4124 ^ _600265) ^ [_727110] : [tptpcol_13_109173(_727110), -(isa(_727110, c_tptpcol_13_109173))], (4130 ^ _600265) ^ [_727298] : [isa(_727298, c_mathematicalthing), -(mathematicalthing(_727298))], (4136 ^ _600265) ^ [_727486] : [mathematicalthing(_727486), -(isa(_727486, c_mathematicalthing))], (4142 ^ _600265) ^ [_727674] : [isa(_727674, c_setorcollection), -(setorcollection(_727674))], (4148 ^ _600265) ^ [_727862] : [setorcollection(_727862), -(isa(_727862, c_setorcollection))], (4154 ^ _600265) ^ [_728050] : [isa(_728050, c_tptpcol_11_18631), -(tptpcol_11_18631(_728050))], (4160 ^ _600265) ^ [_728238] : [tptpcol_11_18631(_728238), -(isa(_728238, c_tptpcol_11_18631))], (4166 ^ _600265) ^ [_728426] : [isa(_728426, c_tptpcol_12_18663), -(tptpcol_12_18663(_728426))], (4172 ^ _600265) ^ [_728614] : [tptpcol_12_18663(_728614), -(isa(_728614, c_tptpcol_12_18663))], (4178 ^ _600265) ^ [_728816, _728818] : [tptptypes_8_400(_728818, _728816), -(firstordercollection(_728816))], (4184 ^ _600265) ^ [_729024, _729026] : [tptptypes_8_400(_729026, _729024), -(firstordercollection(_729026))], (4190 ^ _600265) ^ [_729232, _729234] : [tptptypes_9_401(_729234, _729232), -(firstordercollection(_729232))], (4196 ^ _600265) ^ [_729440, _729442] : [tptptypes_9_401(_729442, _729440), -(firstordercollection(_729442))], (4202 ^ _600265) ^ [_729619] : [-(natfunction(f_tptpquantityfn_13(_729619), c_tptpquantityfn_13))], (4204 ^ _600265) ^ [_729699] : [-(natargument(f_tptpquantityfn_13(_729699), n_1, _729699))], (4206 ^ _600265) ^ [_729780] : [-(tptpquantity(f_tptpquantityfn_13(_729780)))], (4208 ^ _600265) ^ [_729888, _729890] : [borderson(_729890, _729888), -(geographicalregion(_729888))], (4214 ^ _600265) ^ [_730096, _730098] : [borderson(_730098, _730096), -(geographicalregion(_730098))], (4220 ^ _600265) ^ [_730304, _730306] : [borderson(_730306, _730304), -(borderson(_730304, _730306))], (4226 ^ _600265) ^ [_730484] : [borderson(_730484, _730484)], (4228 ^ _600265) ^ [_730577] : [isa(_730577, c_tptpcol_14_92264), -(tptpcol_14_92264(_730577))], (4234 ^ _600265) ^ [_730765] : [tptpcol_14_92264(_730765), -(isa(_730765, c_tptpcol_14_92264))], (4240 ^ _600265) ^ [_730953] : [isa(_730953, c_tptpcol_15_92268), -(tptpcol_15_92268(_730953))], (4246 ^ _600265) ^ [_731141] : [tptpcol_15_92268(_731141), -(isa(_731141, c_tptpcol_15_92268))], (4252 ^ _600265) ^ [_731329] : [isa(_731329, c_tptpcol_6_116738), -(tptpcol_6_116738(_731329))], (4258 ^ _600265) ^ [_731517] : [tptpcol_6_116738(_731517), -(isa(_731517, c_tptpcol_6_116738))], (4264 ^ _600265) ^ [_731719, _731721] : [tptptypes_5_387(_731721, _731719), -(firstordercollection(_731719))], (4270 ^ _600265) ^ [_731927, _731929] : [tptptypes_5_387(_731929, _731927), -(firstordercollection(_731929))], (4276 ^ _600265) ^ [_732135, _732137] : [tptptypes_6_388(_732137, _732135), -(firstordercollection(_732135))], (4282 ^ _600265) ^ [_732343, _732345] : [tptptypes_6_388(_732345, _732343), -(firstordercollection(_732345))], (4288 ^ _600265) ^ [_732537] : [isa(_732537, c_shavingrazor_manual), -(shavingrazor_manual(_732537))], (4294 ^ _600265) ^ [_732725] : [shavingrazor_manual(_732725), -(isa(_732725, c_shavingrazor_manual))], (4300 ^ _600265) ^ [_732913] : [isa(_732913, c_tptpcol_9_109060), -(tptpcol_9_109060(_732913))], (4306 ^ _600265) ^ [_733101] : [tptpcol_9_109060(_733101), -(isa(_733101, c_tptpcol_9_109060))], (4312 ^ _600265) ^ [_733289] : [isa(_733289, c_tptpcol_10_109061), -(tptpcol_10_109061(_733289))], (4318 ^ _600265) ^ [_733477] : [tptpcol_10_109061(_733477), -(isa(_733477, c_tptpcol_10_109061))], (4324 ^ _600265) ^ [_733665] : [isa(_733665, c_executionbyfiringsquad), -(executionbyfiringsquad(_733665))], (4330 ^ _600265) ^ [_733853] : [executionbyfiringsquad(_733853), -(isa(_733853, c_executionbyfiringsquad))], (4336 ^ _600265) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _600265) ^ [_734094] : [isa(_734094, c_navypersonnel), -(navypersonnel(_734094))], (4344 ^ _600265) ^ [_734282] : [navypersonnel(_734282), -(isa(_734282, c_navypersonnel))], (4350 ^ _600265) ^ [_734470] : [isa(_734470, c_tptpcol_12_92262), -(tptpcol_12_92262(_734470))], (4356 ^ _600265) ^ [_734658] : [tptpcol_12_92262(_734658), -(isa(_734658, c_tptpcol_12_92262))], (4362 ^ _600265) ^ [_734846] : [isa(_734846, c_thing), -(thing(_734846))], (4368 ^ _600265) ^ [_735034] : [thing(_735034), -(isa(_735034, c_thing))], (4374 ^ _600265) ^ [_735222] : [isa(_735222, c_computerdataartifact), -(computerdataartifact(_735222))], (4380 ^ _600265) ^ [_735410] : [computerdataartifact(_735410), -(isa(_735410, c_computerdataartifact))], (4386 ^ _600265) ^ [_735598] : [isa(_735598, c_applicationcontext), -(applicationcontext(_735598))], (4392 ^ _600265) ^ [_735786] : [applicationcontext(_735786), -(isa(_735786, c_applicationcontext))], (4398 ^ _600265) ^ [_735988, _735990] : [inregion(_735990, _735988), -(spatialthing_nonsituational(_735988))], (4404 ^ _600265) ^ [_736196, _736198] : [inregion(_736198, _736196), -(spatialthing_nonsituational(_736198))], (4410 ^ _600265) ^ [_736418, _736420, _736422] : [-(inregion(_736422, _736418)), inregion(_736422, _736420), inregion(_736420, _736418)], (4420 ^ _600265) ^ [_736713] : [spatialthing_nonsituational(_736713), -(inregion(_736713, _736713))], (4426 ^ _600265) ^ [_736886] : [-(natfunction(f_tptpquantityfn_1(_736886), c_tptpquantityfn_1))], (4428 ^ _600265) ^ [_736966] : [-(natargument(f_tptpquantityfn_1(_736966), n_1, _736966))], (4430 ^ _600265) ^ [_737047] : [-(tptpquantity(f_tptpquantityfn_1(_737047)))], (4432 ^ _600265) ^ [_737141] : [isa(_737141, c_furpelt), -(furpelt(_737141))], (4438 ^ _600265) ^ [_737329] : [furpelt(_737329), -(isa(_737329, c_furpelt))], (4444 ^ _600265) ^ [_737531, _737533] : [tptpofobject(_737533, _737531), -(tptpquantity(_737531))], (4450 ^ _600265) ^ [_737739, _737741] : [tptpofobject(_737741, _737739), -(partiallytangible(_737741))], (4456 ^ _600265) ^ [_737961, _737963, _737965] : [relationallinstance(_737965, _737963, _737961), -(thing(_737961))], (4462 ^ _600265) ^ [_738191, _738193, _738195] : [relationallinstance(_738195, _738193, _738191), -(collection(_738193))], (4468 ^ _600265) ^ [_738421, _738423, _738425] : [relationallinstance(_738425, _738423, _738421), -(binarypredicate(_738425))], (4474 ^ _600265) ^ [_738623] : [isa(_738623, c_tptpcol_13_93766), -(tptpcol_13_93766(_738623))], (4480 ^ _600265) ^ [_738811] : [tptpcol_13_93766(_738811), -(isa(_738811, c_tptpcol_13_93766))], (4486 ^ _600265) ^ [_738999] : [isa(_738999, c_tptpcol_9_40196), -(tptpcol_9_40196(_738999))], (4492 ^ _600265) ^ [_739187] : [tptpcol_9_40196(_739187), -(isa(_739187, c_tptpcol_9_40196))], (4498 ^ _600265) ^ [_739375] : [isa(_739375, c_tptpcol_10_40324), -(tptpcol_10_40324(_739375))], (4504 ^ _600265) ^ [_739563] : [tptpcol_10_40324(_739563), -(isa(_739563, c_tptpcol_10_40324))], (4510 ^ _600265) ^ [_739751] : [isa(_739751, c_tptpcol_7_72707), -(tptpcol_7_72707(_739751))], (4516 ^ _600265) ^ [_739939] : [tptpcol_7_72707(_739939), -(isa(_739939, c_tptpcol_7_72707))], (4522 ^ _600265) ^ [_740127] : [isa(_740127, c_tptpcol_8_72708), -(tptpcol_8_72708(_740127))], (4528 ^ _600265) ^ [_740315] : [tptpcol_8_72708(_740315), -(isa(_740315, c_tptpcol_8_72708))], (4534 ^ _600265) ^ [_740503] : [isa(_740503, c_tptpcol_11_93764), -(tptpcol_11_93764(_740503))], (4540 ^ _600265) ^ [_740691] : [tptpcol_11_93764(_740691), -(isa(_740691, c_tptpcol_11_93764))], (4546 ^ _600265) ^ [_740879] : [isa(_740879, c_tptpcol_12_93765), -(tptpcol_12_93765(_740879))], (4552 ^ _600265) ^ [_741067] : [tptpcol_12_93765(_741067), -(isa(_741067, c_tptpcol_12_93765))], (4558 ^ _600265) ^ [_741255] : [isa(_741255, c_tptpcol_4_114689), -(tptpcol_4_114689(_741255))], (4564 ^ _600265) ^ [_741443] : [tptpcol_4_114689(_741443), -(isa(_741443, c_tptpcol_4_114689))], (4570 ^ _600265) ^ [_741631] : [isa(_741631, c_tptpcol_5_114690), -(tptpcol_5_114690(_741631))], (4576 ^ _600265) ^ [_741819] : [tptpcol_5_114690(_741819), -(isa(_741819, c_tptpcol_5_114690))], (4582 ^ _600265) ^ [_742007] : [isa(_742007, c_tptpcol_3_98305), -(tptpcol_3_98305(_742007))], (4588 ^ _600265) ^ [_742195] : [tptpcol_3_98305(_742195), -(isa(_742195, c_tptpcol_3_98305))], (4594 ^ _600265) ^ [_742383] : [isa(_742383, c_tptpcol_4_106497), -(tptpcol_4_106497(_742383))], (4600 ^ _600265) ^ [_742571] : [tptpcol_4_106497(_742571), -(isa(_742571, c_tptpcol_4_106497))], (4606 ^ _600265) ^ [_742786, _742788, _742790, _742792] : [-(natfunction(f_relationexistsallfn(_742792, _742790, _742788, _742786), c_relationexistsallfn))], (4608 ^ _600265) ^ [_742917, _742919, _742921, _742923] : [-(natargument(f_relationexistsallfn(_742923, _742921, _742919, _742917), n_1, _742923))], (4610 ^ _600265) ^ [_743049, _743051, _743053, _743055] : [-(natargument(f_relationexistsallfn(_743055, _743053, _743051, _743049), n_2, _743053))], (4612 ^ _600265) ^ [_743181, _743183, _743185, _743187] : [-(natargument(f_relationexistsallfn(_743187, _743185, _743183, _743181), n_3, _743183))], (4614 ^ _600265) ^ [_743313, _743315, _743317, _743319] : [-(natargument(f_relationexistsallfn(_743319, _743317, _743315, _743313), n_4, _743313))], (4616 ^ _600265) ^ [_743445, _743447, _743449, _743451] : [-(thing(f_relationexistsallfn(_743451, _743449, _743447, _743445)))], (4618 ^ _600265) ^ [_743562, _743564] : [resultisaarg(_743564, _743562), -(positiveinteger(_743562))], (4624 ^ _600265) ^ [_743770, _743772] : [resultisaarg(_743772, _743770), -(function_denotational(_743772))], (4630 ^ _600265) ^ [_743978, _743980] : [tptptypes_7_389(_743980, _743978), -(firstordercollection(_743978))], (4636 ^ _600265) ^ [_744186, _744188] : [tptptypes_7_389(_744188, _744186), -(firstordercollection(_744188))], (4642 ^ _600265) ^ [_744394, _744396] : [tptptypes_8_390(_744396, _744394), -(firstordercollection(_744394))], (4648 ^ _600265) ^ [_744602, _744604] : [tptptypes_8_390(_744604, _744602), -(firstordercollection(_744604))], (4654 ^ _600265) ^ [_744810, _744812] : [tptptypes_8_692(_744812, _744810), -(firstordercollection(_744810))], (4660 ^ _600265) ^ [_745018, _745020] : [tptptypes_8_692(_745020, _745018), -(firstordercollection(_745020))], (4666 ^ _600265) ^ [_745226, _745228] : [tptptypes_9_693(_745228, _745226), -(firstordercollection(_745226))], (4672 ^ _600265) ^ [_745434, _745436] : [tptptypes_9_693(_745436, _745434), -(firstordercollection(_745436))], (4678 ^ _600265) ^ [_745628] : [isa(_745628, c_tptpcol_11_40388), -(tptpcol_11_40388(_745628))], (4684 ^ _600265) ^ [_745816] : [tptpcol_11_40388(_745816), -(isa(_745816, c_tptpcol_11_40388))], (4690 ^ _600265) ^ [_746004] : [isa(_746004, c_marriagelicensedocument), -(marriagelicensedocument(_746004))], (4696 ^ _600265) ^ [_746192] : [marriagelicensedocument(_746192), -(isa(_746192, c_marriagelicensedocument))], (4702 ^ _600265) ^ [_746380] : [isa(_746380, c_tptpcol_1_65536), -(tptpcol_1_65536(_746380))], (4708 ^ _600265) ^ [_746568] : [tptpcol_1_65536(_746568), -(isa(_746568, c_tptpcol_1_65536))], (4714 ^ _600265) ^ [_746756] : [isa(_746756, c_tptpcol_2_98304), -(tptpcol_2_98304(_746756))], (4720 ^ _600265) ^ [_746944] : [tptpcol_2_98304(_746944), -(isa(_746944, c_tptpcol_2_98304))], (4726 ^ _600265) ^ [_747132] : [isa(_747132, c_tptpcol_10_92166), -(tptpcol_10_92166(_747132))], (4732 ^ _600265) ^ [_747320] : [tptpcol_10_92166(_747320), -(isa(_747320, c_tptpcol_10_92166))], (4738 ^ _600265) ^ [_747508] : [isa(_747508, c_tptpcol_11_92230), -(tptpcol_11_92230(_747508))], (4744 ^ _600265) ^ [_747696] : [tptpcol_11_92230(_747696), -(isa(_747696, c_tptpcol_11_92230))], (4750 ^ _600265) ^ [_747884] : [isa(_747884, c_orderingpredicate), -(orderingpredicate(_747884))], (4756 ^ _600265) ^ [_748072] : [orderingpredicate(_748072), -(isa(_748072, c_orderingpredicate))], (4762 ^ _600265) ^ [_748260] : [isa(_748260, c_tptpcol_9_18439), -(tptpcol_9_18439(_748260))], (4768 ^ _600265) ^ [_748448] : [tptpcol_9_18439(_748448), -(isa(_748448, c_tptpcol_9_18439))], (4774 ^ _600265) ^ [_748636] : [isa(_748636, c_tptpcol_10_18567), -(tptpcol_10_18567(_748636))], (4780 ^ _600265) ^ [_748824] : [tptpcol_10_18567(_748824), -(isa(_748824, c_tptpcol_10_18567))], (4786 ^ _600265) ^ [_749012] : [isa(_749012, c_tptpcol_2_65537), -(tptpcol_2_65537(_749012))], (4792 ^ _600265) ^ [_749200] : [tptpcol_2_65537(_749200), -(isa(_749200, c_tptpcol_2_65537))], (4798 ^ _600265) ^ [_749388] : [isa(_749388, c_tptpcol_3_81921), -(tptpcol_3_81921(_749388))], (4804 ^ _600265) ^ [_749576] : [tptpcol_3_81921(_749576), -(isa(_749576, c_tptpcol_3_81921))], (4810 ^ _600265) ^ [_749764] : [isa(_749764, c_artsupplies), -(artsupplies(_749764))], (4816 ^ _600265) ^ [_749952] : [artsupplies(_749952), -(isa(_749952, c_artsupplies))], (4822 ^ _600265) ^ [_750140] : [isa(_750140, c_enduringthing_localized), -(enduringthing_localized(_750140))], (4828 ^ _600265) ^ [_750328] : [enduringthing_localized(_750328), -(isa(_750328, c_enduringthing_localized))], (4834 ^ _600265) ^ [_750516] : [isa(_750516, c_location_underspecified), -(location_underspecified(_750516))], (4840 ^ _600265) ^ [_750704] : [location_underspecified(_750704), -(isa(_750704, c_location_underspecified))], (4846 ^ _600265) ^ [_750892] : [isa(_750892, c_trajector_underspecified), -(trajector_underspecified(_750892))], (4852 ^ _600265) ^ [_751080] : [trajector_underspecified(_751080), -(isa(_751080, c_trajector_underspecified))], (4858 ^ _600265) ^ [_751268] : [isa(_751268, c_individual), -(individual(_751268))], (4864 ^ _600265) ^ [_751456] : [individual(_751456), -(isa(_751456, c_individual))], (4870 ^ _600265) ^ [_751644] : [isa(_751644, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_751644))], (4876 ^ _600265) ^ [_751832] : [partiallyintangibleindividual(_751832), -(isa(_751832, c_partiallyintangibleindividual))], (4882 ^ _600265) ^ [_752020] : [isa(_752020, c_tptpcol_10_22022), -(tptpcol_10_22022(_752020))], (4888 ^ _600265) ^ [_752208] : [tptpcol_10_22022(_752208), -(isa(_752208, c_tptpcol_10_22022))], (4894 ^ _600265) ^ [_752396] : [isa(_752396, c_tptpcol_11_22023), -(tptpcol_11_22023(_752396))], (4900 ^ _600265) ^ [_752584] : [tptpcol_11_22023(_752584), -(isa(_752584, c_tptpcol_11_22023))], (4906 ^ _600265) ^ [_752772] : [isa(_752772, c_tptpcol_5_20483), -(tptpcol_5_20483(_752772))], (4912 ^ _600265) ^ [_752960] : [tptpcol_5_20483(_752960), -(isa(_752960, c_tptpcol_5_20483))], (4918 ^ _600265) ^ [_753148] : [isa(_753148, c_tptpcol_13_72791), -(tptpcol_13_72791(_753148))], (4924 ^ _600265) ^ [_753336] : [tptpcol_13_72791(_753336), -(isa(_753336, c_tptpcol_13_72791))], (4930 ^ _600265) ^ [_753524] : [isa(_753524, c_tptpcol_14_72792), -(tptpcol_14_72792(_753524))], (4936 ^ _600265) ^ [_753712] : [tptpcol_14_72792(_753712), -(isa(_753712, c_tptpcol_14_72792))], (4942 ^ _600265) ^ [_753900] : [isa(_753900, c_ridgeline_topographical), -(ridgeline_topographical(_753900))], (4948 ^ _600265) ^ [_754088] : [ridgeline_topographical(_754088), -(isa(_754088, c_ridgeline_topographical))], (4954 ^ _600265) ^ [_754276] : [isa(_754276, c_tptpcol_4_16387), -(tptpcol_4_16387(_754276))], (4960 ^ _600265) ^ [_754464] : [tptpcol_4_16387(_754464), -(isa(_754464, c_tptpcol_4_16387))], (4966 ^ _600265) ^ [_754652] : [isa(_754652, c_tptpcol_5_16388), -(tptpcol_5_16388(_754652))], (4972 ^ _600265) ^ [_754840] : [tptpcol_5_16388(_754840), -(isa(_754840, c_tptpcol_5_16388))], (4978 ^ _600265) ^ [_755028] : [isa(_755028, c_tptpcol_8_22020), -(tptpcol_8_22020(_755028))], (4984 ^ _600265) ^ [_755216] : [tptpcol_8_22020(_755216), -(isa(_755216, c_tptpcol_8_22020))], (4990 ^ _600265) ^ [_755404] : [isa(_755404, c_tptpcol_9_22021), -(tptpcol_9_22021(_755404))], (4996 ^ _600265) ^ [_755592] : [tptpcol_9_22021(_755592), -(isa(_755592, c_tptpcol_9_22021))], (5002 ^ _600265) ^ [_755780] : [isa(_755780, c_transitivebinarypredicate), -(transitivebinarypredicate(_755780))], (5008 ^ _600265) ^ [_755968] : [transitivebinarypredicate(_755968), -(isa(_755968, c_transitivebinarypredicate))], (5014 ^ _600265) ^ [_756170, _756172] : [geographicalsubregions(_756172, _756170), -(geographicalregion(_756170))], (5020 ^ _600265) ^ [_756378, _756380] : [geographicalsubregions(_756380, _756378), -(geographicalregion(_756380))], (5026 ^ _600265) ^ [_756600, _756602, _756604] : [-(geographicalsubregions(_756604, _756600)), geographicalsubregions(_756604, _756602), geographicalsubregions(_756602, _756600)], (5036 ^ _600265) ^ [_756895] : [geographicalregion(_756895), -(geographicalsubregions(_756895, _756895))], (5042 ^ _600265) ^ [_757083] : [isa(_757083, c_tptpcol_12_40420), -(tptpcol_12_40420(_757083))], (5048 ^ _600265) ^ [_757271] : [tptpcol_12_40420(_757271), -(isa(_757271, c_tptpcol_12_40420))], (5054 ^ _600265) ^ [_757459] : [isa(_757459, c_tptpcol_13_40421), -(tptpcol_13_40421(_757459))], (5060 ^ _600265) ^ [_757647] : [tptpcol_13_40421(_757647), -(isa(_757647, c_tptpcol_13_40421))], (5066 ^ _600265) ^ [_757835] : [isa(_757835, c_tptpcol_6_92162), -(tptpcol_6_92162(_757835))], (5072 ^ _600265) ^ [_758023] : [tptpcol_6_92162(_758023), -(isa(_758023, c_tptpcol_6_92162))], (5078 ^ _600265) ^ [_758211] : [isa(_758211, c_tptpcol_7_93186), -(tptpcol_7_93186(_758211))], (5084 ^ _600265) ^ [_758399] : [tptpcol_7_93186(_758399), -(isa(_758399, c_tptpcol_7_93186))], (5090 ^ _600265) ^ [_758601, _758603] : [most(_758603, _758601), -(setorcollection(_758601))], (5096 ^ _600265) ^ [_758809, _758811] : [most(_758811, _758809), -(setorcollection(_758809))], (5102 ^ _600265) ^ [_759017, _759019] : [most(_759019, _759017), -(setorcollection(_759019))], (5108 ^ _600265) ^ [_759225, _759227] : [most(_759227, _759225), -(setorcollection(_759227))], (5114 ^ _600265) ^ [_759419] : [setorcollection(_759419), -(most(_759419, _759419))], (5120 ^ _600265) ^ [_759607] : [setorcollection(_759607), -(most(_759607, _759607))], (5126 ^ _600265) ^ [_759823, _759825, _759827] : [-(most(_759827, _759823)), most(_759827, _759825), subsetof(_759825, _759823)], (5136 ^ _600265) ^ [_760146, _760148, _760150] : [-(most(_760150, _760146)), most(_760150, _760148), subsetof(_760148, _760146)], (5146 ^ _600265) ^ [_760455, _760457] : [subsetof(_760457, _760455), -(setorcollection(_760455))], (5152 ^ _600265) ^ [_760663, _760665] : [subsetof(_760665, _760663), -(setorcollection(_760665))], (5158 ^ _600265) ^ [_760885, _760887, _760889] : [-(subsetof(_760889, _760885)), subsetof(_760889, _760887), subsetof(_760887, _760885)], (5168 ^ _600265) ^ [_761180] : [setorcollection(_761180), -(subsetof(_761180, _761180))], (5174 ^ _600265) ^ [_761396, _761398, _761400] : [-(subsetof(_761396, _761398)), subsetof(_761400, _761398), subsetof(_761396, _761400)], (5184 ^ _600265) ^ [_761719, _761721, _761723] : [-(subsetof(_761723, _761719)), subsetof(_761723, _761721), subsetof(_761721, _761719)], (5194 ^ _600265) ^ [_762042, _762044, _762046] : [-(subsetof(_762046, _762042)), subsetof(_762046, _762044), subsetof(_762044, _762042)], (5204 ^ _600265) ^ [_762351, _762353] : [genlpreds(_762353, _762351), -(predicate(_762351))], (5210 ^ _600265) ^ [_762559, _762561] : [genlpreds(_762561, _762559), -(predicate(_762559))], (5216 ^ _600265) ^ [_762767, _762769] : [genlpreds(_762769, _762767), -(predicate(_762769))], (5222 ^ _600265) ^ [_762975, _762977] : [genlpreds(_762977, _762975), -(predicate(_762977))], (5228 ^ _600265) ^ [_763197, _763199, _763201] : [-(genlpreds(_763201, _763197)), genlpreds(_763201, _763199), genlpreds(_763199, _763197)], (5238 ^ _600265) ^ [_763492] : [predicate(_763492), -(genlpreds(_763492, _763492))], (5244 ^ _600265) ^ [_763680] : [predicate(_763680), -(genlpreds(_763680, _763680))], (5250 ^ _600265) ^ [_763882, _763884] : [genlinverse(_763884, _763882), -(binarypredicate(_763882))], (5256 ^ _600265) ^ [_764090, _764092] : [genlinverse(_764092, _764090), -(binarypredicate(_764092))], (5262 ^ _600265) ^ [_764312, _764314, _764316] : [-(genlinverse(_764312, _764314)), genlinverse(_764316, _764314), genlpreds(_764312, _764316)], (5272 ^ _600265) ^ [_764635, _764637, _764639] : [-(genlinverse(_764639, _764635)), genlinverse(_764639, _764637), genlpreds(_764637, _764635)], (5282 ^ _600265) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _600265) ^ [_764983] : [isa(_764983, c_microtheory), -(microtheory(_764983))], (5290 ^ _600265) ^ [_765171] : [microtheory(_765171), -(isa(_765171, c_microtheory))], (5296 ^ _600265) ^ [_765344] : [-(natfunction(f_urlfn(_765344), c_urlfn))], (5298 ^ _600265) ^ [_765424] : [-(natargument(f_urlfn(_765424), n_1, _765424))], (5300 ^ _600265) ^ [_765505] : [-(uniformresourcelocator(f_urlfn(_765505)))], (5302 ^ _600265) ^ [_765584] : [-(natfunction(f_urlreferentfn(_765584), c_urlreferentfn))], (5304 ^ _600265) ^ [_765664] : [-(natargument(f_urlreferentfn(_765664), n_1, _765664))], (5306 ^ _600265) ^ [_765745] : [-(computerdataartifact(f_urlreferentfn(_765745)))], (5308 ^ _600265) ^ [_765838, _765840] : [-(natfunction(f_contentmtofcdafromeventfn(_765840, _765838), c_contentmtofcdafromeventfn))], (5310 ^ _600265) ^ [_765935, _765937] : [-(natargument(f_contentmtofcdafromeventfn(_765937, _765935), n_1, _765937))], (5312 ^ _600265) ^ [_766033, _766035] : [-(natargument(f_contentmtofcdafromeventfn(_766035, _766033), n_2, _766033))], (5314 ^ _600265) ^ [_766131, _766133] : [-(microtheory(f_contentmtofcdafromeventfn(_766133, _766131)))], (5316 ^ _600265) ^ [_766242, _766244] : [isa(_766244, _766242), -(collection(_766242))], (5322 ^ _600265) ^ [_766450, _766452] : [isa(_766452, _766450), -(collection(_766450))], (5328 ^ _600265) ^ [_766658, _766660] : [isa(_766660, _766658), -(thing(_766660))], (5334 ^ _600265) ^ [_766866, _766868] : [isa(_766868, _766866), -(thing(_766868))], (5340 ^ _600265) ^ [_767088, _767090, _767092] : [-(isa(_767092, _767088)), isa(_767092, _767090), genls(_767090, _767088)], (5350 ^ _600265) ^ [_767383] : [isa(_767383, c_inanimateobject), -(inanimateobject(_767383))], (5356 ^ _600265) ^ [_767571] : [inanimateobject(_767571), -(isa(_767571, c_inanimateobject))], (5362 ^ _600265) ^ [_767759] : [isa(_767759, c_tptpcol_9_72709), -(tptpcol_9_72709(_767759))], (5368 ^ _600265) ^ [_767947] : [tptpcol_9_72709(_767947), -(isa(_767947, c_tptpcol_9_72709))], (5374 ^ _600265) ^ [_768135] : [isa(_768135, c_tptpcol_10_72710), -(tptpcol_10_72710(_768135))], (5380 ^ _600265) ^ [_768323] : [tptpcol_10_72710(_768323), -(isa(_768323, c_tptpcol_10_72710))], (5386 ^ _600265) ^ [_768511] : [isa(_768511, c_tptpcol_14_40429), -(tptpcol_14_40429(_768511))], (5392 ^ _600265) ^ [_768699] : [tptpcol_14_40429(_768699), -(isa(_768699, c_tptpcol_14_40429))], (5398 ^ _600265) ^ [_768887] : [isa(_768887, c_tptpcol_15_40430), -(tptpcol_15_40430(_768887))], (5404 ^ _600265) ^ [_769075] : [tptpcol_15_40430(_769075), -(isa(_769075, c_tptpcol_15_40430))], (5410 ^ _600265) ^ [_769277, _769279] : [genls(_769279, _769277), -(collection(_769277))], (5416 ^ _600265) ^ [_769485, _769487] : [genls(_769487, _769485), -(collection(_769485))], (5422 ^ _600265) ^ [_769693, _769695] : [genls(_769695, _769693), -(collection(_769695))], (5428 ^ _600265) ^ [_769901, _769903] : [genls(_769903, _769901), -(collection(_769903))], (5434 ^ _600265) ^ [_770123, _770125, _770127] : [-(genls(_770127, _770123)), genls(_770127, _770125), genls(_770125, _770123)], (5444 ^ _600265) ^ [_770418] : [collection(_770418), -(genls(_770418, _770418))], (5450 ^ _600265) ^ [_770606] : [collection(_770606), -(genls(_770606, _770606))], (5456 ^ _600265) ^ [_770822, _770824, _770826] : [-(genls(_770822, _770824)), genls(_770826, _770824), genls(_770822, _770826)], (5466 ^ _600265) ^ [_771145, _771147, _771149] : [-(genls(_771149, _771145)), genls(_771149, _771147), genls(_771147, _771145)], (5476 ^ _600265) ^ [_771440] : [isa(_771440, c_partiallytangible), -(partiallytangible(_771440))], (5482 ^ _600265) ^ [_771628] : [partiallytangible(_771628), -(isa(_771628, c_partiallytangible))], (5488 ^ _600265) ^ [_771816] : [isa(_771816, c_intangible), -(intangible(_771816))], (5494 ^ _600265) ^ [_772004] : [intangible(_772004), -(isa(_772004, c_intangible))], (5500 ^ _600265) ^ [_772206, _772208] : [disjointwith(_772208, _772206), -(collection(_772206))], (5506 ^ _600265) ^ [_772414, _772416] : [disjointwith(_772416, _772414), -(collection(_772416))], (5512 ^ _600265) ^ [_772622, _772624] : [disjointwith(_772624, _772622), -(disjointwith(_772622, _772624))], (5518 ^ _600265) ^ [_772846, _772848, _772850] : [-(disjointwith(_772850, _772846)), disjointwith(_772850, _772848), genls(_772846, _772848)], (5528 ^ _600265) ^ [_773169, _773171, _773173] : [-(disjointwith(_773169, _773171)), disjointwith(_773173, _773171), genls(_773169, _773173)], (5538 ^ _600265) ^ [_773478, _773480] : [-(mtvisible(_773478)), mtvisible(_773480), genlmt(_773480, _773478)], (5548 ^ _600265) ^ [_773773, _773775] : [genlmt(_773775, _773773), -(microtheory(_773773))], (5554 ^ _600265) ^ [_773981, _773983] : [genlmt(_773983, _773981), -(microtheory(_773981))], (5560 ^ _600265) ^ [_774189, _774191] : [genlmt(_774191, _774189), -(microtheory(_774191))], (5566 ^ _600265) ^ [_774397, _774399] : [genlmt(_774399, _774397), -(microtheory(_774399))], (5572 ^ _600265) ^ [_774619, _774621, _774623] : [-(genlmt(_774623, _774619)), genlmt(_774623, _774621), genlmt(_774621, _774619)], (5582 ^ _600265) ^ [_774914] : [microtheory(_774914), -(genlmt(_774914, _774914))], (5594 ^ _600265) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _600265) ^ [_775102] : [microtheory(_775102), -(genlmt(_775102, _775102))]], input).
% 0.64/1.39  ncf('1',plain,[tptptypes_5_387(c_tptpcol_16_4451, c_pushingwithopenhand)],start(5598 ^ 0,bind([[_789829], [c_tptpcol_16_4451]]))).
% 0.64/1.39  ncf('1.1',plain,[-(tptptypes_5_387(c_tptpcol_16_4451, c_pushingwithopenhand)), tptptypes_6_388(c_tptpcol_16_4451, c_pushingwithopenhand)],extension(378 ^ 1,bind([[_611151, _611153], [c_pushingwithopenhand, c_tptpcol_16_4451]]))).
% 0.64/1.39  ncf('1.1.1',plain,[-(tptptypes_6_388(c_tptpcol_16_4451, c_pushingwithopenhand)), tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451)],extension(1180 ^ 2,bind([[_633860, _633862], [c_tptpcol_16_4451, c_pushingwithopenhand]]))).
% 0.64/1.39  ncf('1.1.1.1',plain,[-(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451)), mtvisible(c_tptp_spindleheadmt)],extension(1754 ^ 3)).
% 0.64/1.39  ncf('1.1.1.1.1',plain,[-(mtvisible(c_tptp_spindleheadmt)), mtvisible(c_tptp_member3393_mt), genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt)],extension(5538 ^ 4,bind([[_773478, _773480], [c_tptp_spindleheadmt, c_tptp_member3393_mt]]))).
% 0.64/1.39  ncf('1.1.1.1.1.1',plain,[-(mtvisible(c_tptp_member3393_mt))],extension(5596 ^ 5,bind([[_789792], [_407864]]))).
% 0.64/1.39  ncf('1.1.1.1.1.2',plain,[-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))],extension(526 ^ 5)).
% 0.64/1.39  %-----------------------------------------------------
% 0.64/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------