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

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

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : CSR057+2 : TPTP v8.1.2. Released v3.4.0.
% 0.11/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n022.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:39:46 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 4.07/4.51  
% 4.07/4.51  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 4.07/4.51  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 4.07/4.51  %-----------------------------------------------------
% 4.07/4.51  ncf(matrix, plain, [(5596 ^ _610806) ^ [_800333] : [-(mtvisible(c_tptpgeo_member8_mt))], (5598 ^ _610806) ^ [_800370] : [inregion(_800370, c_georegion_l4_x75_y75)], (2 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _610806) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _610806) ^ [_611011] : [intangible(_611011), partiallytangible(_611011)], (12 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _610806) ^ [_611249] : [tptpcol_15_40430(_611249), -(tptpcol_14_40429(_611249))], (20 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _610806) ^ [_611488] : [tptpcol_10_72710(_611488), -(tptpcol_9_72709(_611488))], (28 ^ _610806) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _610806) ^ [_611727] : [inanimateobject(_611727), -(partiallytangible(_611727))], (36 ^ _610806) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _610806) ^ [_611994, _611996, _611998] : [-(genlpreds(_611998, _611994)), genlinverse(_611998, _611996), genlinverse(_611996, _611994)], (48 ^ _610806) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _610806) ^ [_612356, _612358] : [subsetof(_612358, _612356), -(most(_612358, _612356))], (56 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _610806) ^ [_612605] : [tptpcol_7_93186(_612605), -(tptpcol_6_92162(_612605))], (64 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _610806) ^ [_612844] : [tptpcol_13_40421(_612844), -(tptpcol_12_40420(_612844))], (72 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _610806) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _610806) ^ [_613308] : [tptpcol_9_22021(_613308), -(tptpcol_8_22020(_613308))], (90 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _610806) ^ [_613547] : [tptpcol_5_16388(_613547), -(tptpcol_4_16387(_613547))], (98 ^ _610806) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _610806) ^ [_613905] : [tptpcol_14_72792(_613905), -(tptpcol_13_72791(_613905))], (112 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _610806) ^ [_614144] : [tptpcol_5_20483(_614144), -(tptpcol_4_16387(_614144))], (120 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _610806) ^ [_614383] : [tptpcol_11_22023(_614383), -(tptpcol_10_22022(_614383))], (128 ^ _610806) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _610806) ^ [_614622] : [partiallyintangibleindividual(_614622), -(individual(_614622))], (136 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _610806) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _610806) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _610806) ^ [_614967] : [trajector_underspecified(_614967), -(location_underspecified(_614967))], (148 ^ _610806) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _610806) ^ [_615206] : [partiallytangible(_615206), -(enduringthing_localized(_615206))], (156 ^ _610806) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _610806) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _610806) ^ [_615564] : [tptpcol_3_81921(_615564), -(tptpcol_2_65537(_615564))], (170 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _610806) ^ [_615803] : [tptpcol_10_18567(_615803), -(tptpcol_9_18439(_615803))], (178 ^ _610806) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _610806) ^ [_616042] : [orderingpredicate(_616042), -(transitivebinarypredicate(_616042))], (186 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _610806) ^ [_616281] : [tptpcol_11_92230(_616281), -(tptpcol_10_92166(_616281))], (194 ^ _610806) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _610806) ^ [_616520] : [tptpcol_2_98304(_616520), -(tptpcol_1_65536(_616520))], (202 ^ _610806) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _610806) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _610806) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _610806) ^ [_616984] : [tptpcol_12_40420(_616984), -(tptpcol_11_40388(_616984))], (220 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _610806) ^ [_617237, _617239] : [tptptypes_9_693(_617239, _617237), -(tptptypes_8_692(_617239, _617237))], (228 ^ _610806) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _610806) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _610806) ^ [_617606, _617608] : [tptptypes_8_390(_617608, _617606), -(tptptypes_7_389(_617608, _617606))], (240 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _610806) ^ [_617950, _617952, _617954, _617956] : [-(isa(f_relationexistsallfn(_617956, _617952, _617950, _617954), _617950)), isa(_617956, _617954), relationexistsall(_617952, _617950, _617954)], (254 ^ _610806) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _610806) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _610806) ^ [_618479] : [tptpcol_4_106497(_618479), -(tptpcol_3_98305(_618479))], (268 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _610806) ^ [_618718] : [tptpcol_5_114690(_618718), -(tptpcol_4_114689(_618718))], (276 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _610806) ^ [_618957] : [tptpcol_12_93765(_618957), -(tptpcol_11_93764(_618957))], (284 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _610806) ^ [_619196] : [tptpcol_8_72708(_619196), -(tptpcol_7_72707(_619196))], (292 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _610806) ^ [_619435] : [tptpcol_10_40324(_619435), -(tptpcol_9_40196(_619435))], (300 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _610806) ^ [_619674] : [tptpcol_13_93766(_619674), -(tptpcol_12_93765(_619674))], (308 ^ _610806) ^ [_619860] : [-(tptpofobject(_619860, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_619860)], (318 ^ _610806) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _610806) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _610806) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _610806) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _610806) ^ [_620524] : [location_underspecified(_620524), -(thing(_620524))], (342 ^ _610806) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _610806) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _610806) ^ [_620869] : [tptpcol_12_92262(_620869), -(tptpcol_11_92230(_620869))], (354 ^ _610806) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _610806) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _610806) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _610806) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _610806) ^ [_621386] : [tptpcol_10_109061(_621386), -(tptpcol_9_109060(_621386))], (374 ^ _610806) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _610806) ^ [_621692, _621694] : [tptptypes_6_388(_621694, _621692), -(tptptypes_5_387(_621694, _621692))], (384 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _610806) ^ [_621941] : [tptpcol_6_116738(_621941), -(tptpcol_5_114690(_621941))], (392 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _610806) ^ [_622180] : [tptpcol_15_92268(_622180), -(tptpcol_14_92264(_622180))], (400 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _610806) ^ [_622485] : [-(tptpofobject(_622485, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_622485)], (416 ^ _610806) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _610806) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _610806) ^ [_622938, _622940] : [tptptypes_9_401(_622940, _622938), -(tptptypes_8_400(_622938, _622940))], (430 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _610806) ^ [_623187] : [tptpcol_12_18663(_623187), -(tptpcol_11_18631(_623187))], (438 ^ _610806) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _610806) ^ [_623426] : [setorcollection(_623426), -(mathematicalthing(_623426))], (446 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _610806) ^ [_623665] : [tptpcol_13_109173(_623665), -(tptpcol_12_109157(_623665))], (454 ^ _610806) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _610806) ^ [_623957] : [tptpcol_5_106498(_623957), -(tptpcol_4_106497(_623957))], (464 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _610806) ^ [_624196] : [tptpcol_5_24579(_624196), -(tptpcol_4_24578(_624196))], (472 ^ _610806) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _610806) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _610806) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _610806) ^ [_624726] : [tptpcol_1_65536(_624726), -(tptpcol_0_0(_624726))], (494 ^ _610806) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _610806) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _610806) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _610806) ^ [_625151, _625153] : [geographicalsubregions(_625153, _625151), -(inregion(_625151, _625153))], (510 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _610806) ^ [_625400] : [tptpcol_11_118084(_625400), -(tptpcol_10_118020(_625400))], (518 ^ _610806) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _610806) ^ [_625639] : [mathematicalorcomputationalthing(_625639), -(intangible(_625639))], (526 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _610806) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _610806) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _610806) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _610806) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _610806) ^ [_626157, _626159] : [tptptypes_7_819(_626159, _626157), -(tptptypes_6_818(_626159, _626157))], (544 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _610806) ^ [_626459] : [tptpcol_12_26919(_626459), -(tptpcol_11_26887(_626459))], (554 ^ _610806) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _610806) ^ [_626712, _626714] : [tptptypes_8_692(_626714, _626712), -(tptptypes_7_691(_626712, _626714))], (562 ^ _610806) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _610806) ^ [_626961] : [tptpcol_2_2(_626961), -(tptpcol_1_1(_626961))], (570 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _610806) ^ [_627253] : [tptpcol_9_92165(_627253), -(tptpcol_8_92164(_627253))], (580 ^ _610806) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _610806) ^ [_627492] : [fixedordercollection(_627492), -(collection(_627492))], (588 ^ _610806) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _610806) ^ [_627731] : [tptpcol_1_1(_627731), tptpcol_1_65536(_627731)], (596 ^ _610806) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _610806) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _610806) ^ [_628022] : [microtheory(_628022), -(aspatialinformationstore(_628022))], (606 ^ _610806) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _610806) ^ [_628327] : [-(tptp_8_875(_628327, f_relationallexistsfn(_628327, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_628327, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _610806) ^ [] : [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 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _610806) ^ [_628778] : [tptpcol_10_118020(_628778), -(tptpcol_9_118019(_628778))], (636 ^ _610806) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _610806) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _610806) ^ [_629136] : [-(tptp_9_720(_629136, f_relationallexistsfn(_629136, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_629136)], (654 ^ _610806) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _610806) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _610806) ^ [_629585] : [individual(_629585), setorcollection(_629585)], (668 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _610806) ^ [_629823] : [tptpcol_12_22055(_629823), -(tptpcol_11_22023(_629823))], (676 ^ _610806) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _610806) ^ [_630062] : [applicationcontext(_630062), -(microtheory(_630062))], (684 ^ _610806) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _610806) ^ [_630368, _630370] : [tptptypes_8_400(_630370, _630368), -(tptptypes_7_396(_630370, _630368))], (694 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _610806) ^ [_630617] : [tptpcol_11_18631(_630617), -(tptpcol_10_18567(_630617))], (702 ^ _610806) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _610806) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _610806) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _610806) ^ [_631028] : [mathematicalthing(_631028), -(mathematicalorcomputationalthing(_631028))], (718 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _610806) ^ [_631320] : [tptpcol_15_93775(_631320), -(tptpcol_14_93774(_631320))], (728 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _610806) ^ [_631559] : [tptpcol_8_109059(_631559), -(tptpcol_7_108547(_631559))], (736 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _610806) ^ [_631798] : [tptpcol_14_40429(_631798), -(tptpcol_13_40421(_631798))], (744 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _610806) ^ [_632156] : [tptpcol_14_22072(_632156), -(tptpcol_13_22071(_632156))], (758 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _610806) ^ [_632395] : [tptpcol_14_93774(_632395), -(tptpcol_13_93766(_632395))], (766 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _610806) ^ [_632634] : [tptpcol_10_22022(_632634), -(tptpcol_9_22021(_632634))], (774 ^ _610806) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _610806) ^ [_632873] : [inanimateobject_nonnatural(_632873), -(inanimateobject(_632873))], (782 ^ _610806) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _610806) ^ [_633218] : [tptpcol_9_72709(_633218), -(tptpcol_8_72708(_633218))], (794 ^ _610806) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _610806) ^ [_633457] : [-(tptpofobject(_633457, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_633457)], (806 ^ _610806) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _610806) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _610806) ^ [_633896] : [firstordercollection(_633896), -(fixedordercollection(_633896))], (820 ^ _610806) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _610806) ^ [_634307] : [tptpcol_13_18664(_634307), -(tptpcol_12_18663(_634307))], (836 ^ _610806) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _610806) ^ [_634546] : [artifact(_634546), -(inanimateobject_nonnatural(_634546))], (844 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _610806) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _610806) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _610806) ^ [_634944] : [tptpcol_7_113665(_634944), -(tptpcol_6_112641(_634944))], (858 ^ _610806) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _610806) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _610806) ^ [_635302] : [geographicalregion(_635302), -(partiallytangible(_635302))], (872 ^ _610806) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _610806) ^ [_635555, _635557] : [disjointwith(_635557, _635555), -(no(_635557, _635555))], (880 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _610806) ^ [_635804] : [tptpcol_4_24578(_635804), -(tptpcol_3_16386(_635804))], (888 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _610806) ^ [_636043] : [tptpcol_5_69635(_636043), -(tptpcol_4_65539(_636043))], (896 ^ _610806) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _610806) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _610806) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _610806) ^ [_636402, _636404] : [genls(_636404, _636402), -(collection(_636404))], (908 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _610806) ^ [_636649] : [tptpcol_13_22071(_636649), -(tptpcol_12_22055(_636649))], (916 ^ _610806) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _610806) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _610806) ^ [_636941] : [tptpcol_3_98305(_636941), -(tptpcol_2_98304(_636941))], (926 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _610806) ^ [_637180] : [tptpcol_4_114689(_637180), -(tptpcol_3_114688(_637180))], (934 ^ _610806) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _610806) ^ [_637419] : [artsupplies(_637419), -(supplies(_637419))], (942 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _610806) ^ [_637658] : [tptpcol_8_26629(_637658), -(tptpcol_7_26628(_637658))], (950 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _610806) ^ [_637897] : [tptpcol_9_109060(_637897), -(tptpcol_8_109059(_637897))], (958 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _610806) ^ [_638136] : [isa(_638136, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_638136, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _638136))], (966 ^ _610806) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _610806) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _610806) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _610806) ^ [_638720] : [tptpcol_14_109181(_638720), -(tptpcol_13_109173(_638720))], (988 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _610806) ^ [_638959] : [tptpcol_16_30972(_638959), -(tptpcol_15_30970(_638959))], (996 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _610806) ^ [_639251] : [tptpcol_9_18439(_639251), -(tptpcol_8_18438(_639251))], (1006 ^ _610806) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _610806) ^ [_639543] : [tptpcol_12_118116(_639543), -(tptpcol_11_118084(_639543))], (1016 ^ _610806) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _610806) ^ [_639835] : [tptpcol_7_26628(_639835), -(tptpcol_6_26627(_639835))], (1026 ^ _610806) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _610806) ^ [_640088, _640090] : [most(_640090, _640088), -(setorcollection(_640090))], (1034 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _610806) ^ [_640335] : [tptpcol_15_109185(_640335), -(tptpcol_14_109181(_640335))], (1042 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _610806) ^ [_640574] : [tptpcol_16_92269(_640574), -(tptpcol_15_92268(_640574))], (1050 ^ _610806) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _610806) ^ [_640880, _640882] : [tptptypes_8_823(_640882, _640880), -(tptptypes_7_819(_640882, _640880))], (1060 ^ _610806) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _610806) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _610806) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _610806) ^ [_641460] : [tptpcol_10_26886(_641460), -(tptpcol_9_26885(_641460))], (1082 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _610806) ^ [_641752] : [tptpcol_15_72793(_641752), -(tptpcol_14_72792(_641752))], (1092 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _610806) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _610806) ^ [_642110] : [navypersonnel(_642110), -(militaryperson(_642110))], (1106 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _610806) ^ [_642349] : [tptpcol_4_16387(_642349), -(tptpcol_3_16386(_642349))], (1114 ^ _610806) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _610806) ^ [_642588] : [enduringthing_localized(_642588), -(spatialthing_nonsituational(_642588))], (1122 ^ _610806) ^ [_642774] : [collection(_642774), individual(_642774)], (1128 ^ _610806) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _610806) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _610806) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _610806) ^ [_643303] : [physicalorderingpredicate(_643303), -(orderingpredicate(_643303))], (1150 ^ _610806) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _610806) ^ [_643556, _643558] : [disjointwith(_643558, _643556), -(collection(_643556))], (1158 ^ _610806) ^ [_643792, _643794, _643796, _643798] : [-(isa(f_relationallexistsfn(_643798, _643794, _643796, _643792), _643792)), isa(_643798, _643796), relationallexists(_643794, _643796, _643792)], (1168 ^ _610806) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _610806) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _610806) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _610806) ^ [_644401, _644403] : [tptptypes_7_389(_644403, _644401), -(tptptypes_6_388(_644401, _644403))], (1186 ^ _610806) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _610806) ^ [_644716] : [-(hpkb_subnationalagent(_644716)), mtvisible(c_hpkbvocabmt), state_geopolitical(_644716)], (1202 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _610806) ^ [_645034] : [tptpcol_8_22020(_645034), -(tptpcol_7_21508(_645034))], (1210 ^ _610806) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _610806) ^ [_645273] : [-(tptp_9_51(f_relationexistsallfn(_645273, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _645273)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_645273, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _610806) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _610806) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _610806) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _610806) ^ [_645777] : [tptpcol_3_65538(_645777), -(tptpcol_2_65537(_645777))], (1238 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _610806) ^ [_646016] : [tptpcol_14_26921(_646016), -(tptpcol_13_26920(_646016))], (1246 ^ _610806) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _610806) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _610806) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _610806) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _610806) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _610806) ^ [_646467] : [intangibleindividual(_646467), -(partiallyintangibleindividual(_646467))], (1262 ^ _610806) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _610806) ^ [_646825] : [tptpcol_16_130924(_646825), -(tptpcol_15_130923(_646825))], (1276 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _610806) ^ [_647064] : [tptpcol_7_92163(_647064), -(tptpcol_6_92162(_647064))], (1284 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _610806) ^ [_647356] : [tptpcol_16_130933(_647356), -(tptpcol_15_130931(_647356))], (1294 ^ _610806) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _610806) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _610806) ^ [_647662, _647664] : [no(_647664, _647662), -(few(_647664, _647662))], (1304 ^ _610806) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _610806) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _610806) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _610806) ^ [_648070] : [tptpcol_6_20484(_648070), -(tptpcol_5_20483(_648070))], (1318 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _610806) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _610806) ^ [_648534] : [tptpcol_7_108547(_648534), -(tptpcol_6_108546(_648534))], (1336 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _610806) ^ [_648773] : [tptpcol_11_109125(_648773), -(tptpcol_10_109061(_648773))], (1344 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _610806) ^ [_649065] : [tptpcol_8_93698(_649065), -(tptpcol_7_93186(_649065))], (1354 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _610806) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _610806) ^ [_649357] : [tptpcol_2_65537(_649357), -(tptpcol_1_65536(_649357))], (1364 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _610806) ^ [_649649] : [tptpcol_6_18436(_649649), -(tptpcol_5_16388(_649649))], (1374 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _610806) ^ [_649888] : [tptpcol_8_18438(_649888), -(tptpcol_7_18437(_649888))], (1382 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _610806) ^ [_650246] : [tptpcol_8_117763(_650246), -(tptpcol_7_117762(_650246))], (1396 ^ _610806) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _610806) ^ [_650538] : [tptpcol_12_109157(_650538), -(tptpcol_11_109125(_650538))], (1406 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _610806) ^ [_650777] : [tptpcol_7_117762(_650777), -(tptpcol_6_116738(_650777))], (1414 ^ _610806) ^ [_650991, _650993, _650995] : [isa(_650995, _650993), isa(_650995, _650991), disjointwith(_650993, _650991)], (1424 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _610806) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _610806) ^ [_651391] : [aspatialinformationstore(_651391), -(aspatialthing(_651391))], (1434 ^ _610806) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _610806) ^ [_651789] : [tptpcol_9_93699(_651789), -(tptpcol_8_93698(_651789))], (1448 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _610806) ^ [_652028] : [tptpcol_11_93764(_652028), -(tptpcol_10_93700(_652028))], (1456 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _610806) ^ [_652267] : [tptpcol_6_26627(_652267), -(tptpcol_5_24579(_652267))], (1464 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _610806) ^ [_652506] : [tptpcol_4_90113(_652506), -(tptpcol_3_81921(_652506))], (1472 ^ _610806) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _610806) ^ [_652798] : [tptpcol_10_93700(_652798), -(tptpcol_9_93699(_652798))], (1482 ^ _610806) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _610806) ^ [_653037] : [aspatialinformationstore(_653037), -(intangibleindividual(_653037))], (1490 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _610806) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _610806) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _610806) ^ [_653448] : [tptpcol_3_16386(_653448), -(tptpcol_2_2(_653448))], (1506 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _610806) ^ [_653687] : [tptpcol_9_118019(_653687), -(tptpcol_8_117763(_653687))], (1514 ^ _610806) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _610806) ^ [_653926] : [individual(_653926), -(trajector_underspecified(_653926))], (1522 ^ _610806) ^ [_654112] : [shavingrazor_manual(_654112), -(tptp_8_271(f_relationexistsallfn(_654112, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _654112))], (1528 ^ _610806) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _610806) ^ [_654416] : [tptpcol_6_112641(_654416), -(tptpcol_5_110593(_654416))], (1538 ^ _610806) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _610806) ^ [_654655] : [tptpcol_12_72775(_654655), -(tptpcol_11_72774(_654655))], (1546 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _610806) ^ [_654894] : [tptpcol_7_72707(_654894), -(tptpcol_6_71683(_654894))], (1554 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _610806) ^ [_655133] : [tptpcol_16_50958(_655133), -(tptpcol_15_50957(_655133))], (1562 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _610806) ^ [_655372] : [tptpcol_8_114177(_655372), -(tptpcol_7_113665(_655372))], (1570 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _610806) ^ [_655611] : [tptpcol_16_72795(_655611), -(tptpcol_15_72793(_655611))], (1578 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _610806) ^ [_655850] : [tptpcol_6_71683(_655850), -(tptpcol_5_69635(_655850))], (1586 ^ _610806) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _610806) ^ [_656156, _656158] : [tptptypes_7_396(_656158, _656156), -(tptptypes_6_388(_656158, _656156))], (1596 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _610806) ^ [_656405] : [tptpcol_9_26885(_656405), -(tptpcol_8_26629(_656405))], (1604 ^ _610806) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _610806) ^ [_656658, _656660] : [genls(_656660, _656658), -(subsetof(_656660, _656658))], (1612 ^ _610806) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _610806) ^ [_656974, _656976] : [tptptypes_6_818(_656976, _656974), -(tptptypes_5_802(_656976, _656974))], (1622 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _610806) ^ [_657223] : [tptpcol_6_92162(_657223), -(tptpcol_5_90114(_657223))], (1630 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _610806) ^ [_657515] : [tptpcol_8_92164(_657515), -(tptpcol_7_92163(_657515))], (1640 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _610806) ^ [_657754] : [tptpcol_13_118117(_657754), -(tptpcol_12_118116(_657754))], (1648 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _610806) ^ [_657993] : [tptpcol_11_40388(_657993), -(tptpcol_10_40324(_657993))], (1656 ^ _610806) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _610806) ^ [_658246, _658248] : [tptptypes_9_824(_658248, _658246), -(tptptypes_8_823(_658248, _658246))], (1664 ^ _610806) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _610806) ^ [_658548] : [tptpcol_11_26887(_658548), -(tptpcol_10_26886(_658548))], (1674 ^ _610806) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _610806) ^ [_658787] : [tptpcol_16_26926(_658787), -(tptpcol_15_26925(_658787))], (1682 ^ _610806) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _610806) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _610806) ^ [_659093, _659095] : [few(_659095, _659093), -(setorcollection(_659093))], (1692 ^ _610806) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _610806) ^ [_659340] : [tptpcol_4_65539(_659340), -(tptpcol_3_65538(_659340))], (1700 ^ _610806) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _610806) ^ [_659579] : [tptpcol_8_39940(_659579), -(tptpcol_7_39939(_659579))], (1708 ^ _610806) ^ [_659765] : [-(tptpofobject(_659765, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_659765)], (1718 ^ _610806) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _610806) ^ [_660204] : [tptpcol_15_22076(_660204), -(tptpcol_14_22072(_660204))], (1732 ^ _610806) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _610806) ^ [_660443] : [tptpcol_0_0(_660443), -(individual(_660443))], (1740 ^ _610806) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _610806) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _610806) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _610806) ^ [_660841] : [tptpcol_11_72774(_660841), -(tptpcol_10_72710(_660841))], (1754 ^ _610806) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _610806) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _610806) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _610806) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _610806) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _610806) ^ [_661477] : [tptpcol_7_21508(_661477), -(tptpcol_6_20484(_661477))], (1780 ^ _610806) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _610806) ^ [_661716] : [tptpcol_6_108546(_661716), -(tptpcol_5_106498(_661716))], (1788 ^ _610806) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _610806) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _610806) ^ [_662074] : [geolevel_4(_662074), -(geographicalregion(_662074))], (1802 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _610806) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _610806) ^ [_662551] : [tptpcol_13_26920(_662551), -(tptpcol_12_26919(_662551))], (1822 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _610806) ^ [_662790] : [tptpcol_14_92264(_662790), -(tptpcol_13_92263(_662790))], (1830 ^ _610806) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _610806) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _610806) ^ [_663082] : [tptpcol_9_40196(_663082), -(tptpcol_8_39940(_663082))], (1840 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _610806) ^ [_663440] : [tptpcol_13_92263(_663440), -(tptpcol_12_92262(_663440))], (1854 ^ _610806) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _610806) ^ [_663732] : [tptpcol_5_90114(_663732), -(tptpcol_4_90113(_663732))], (1864 ^ _610806) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _610806) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _610806) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _610806) ^ [_664143] : [tptpcol_15_26925(_664143), -(tptpcol_14_26921(_664143))], (1880 ^ _610806) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _610806) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _610806) ^ [_664501] : [tptpcol_7_18437(_664501), -(tptpcol_6_18436(_664501))], (1894 ^ _610806) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _610806) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _610806) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _610806) ^ [_664912] : [tptpcol_3_98305(_664912), tptpcol_3_114688(_664912)], (1910 ^ _610806) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _610806) ^ [_665150] : [tptpcol_5_110593(_665150), -(tptpcol_4_106497(_665150))], (1918 ^ _610806) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _610806) ^ [_665389] : [tptpcol_13_72791(_665389), -(tptpcol_12_72775(_665389))], (1926 ^ _610806) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _610806) ^ [_665628] : [computerdataartifact(_665628), -(artifact(_665628))], (1934 ^ _610806) ^ [_665814] : [-(tptpofobject(_665814, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_665814)], (1944 ^ _610806) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _610806) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _610806) ^ [_666253] : [tptpcol_10_92166(_666253), -(tptpcol_9_92165(_666253))], (1958 ^ _610806) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _610806) ^ [_666492] : [tptpcol_14_118118(_666492), -(tptpcol_13_118117(_666492))], (1966 ^ _610806) ^ [_666678] : [isa(_666678, c_tptpcol_14_118118), -(tptpcol_14_118118(_666678))], (1972 ^ _610806) ^ [_666866] : [tptpcol_14_118118(_666866), -(isa(_666866, c_tptpcol_14_118118))], (1978 ^ _610806) ^ [_667039] : [-(natfunction(f_tptpquantityfn_6(_667039), c_tptpquantityfn_6))], (1980 ^ _610806) ^ [_667119] : [-(natargument(f_tptpquantityfn_6(_667119), n_1, _667119))], (1982 ^ _610806) ^ [_667200] : [-(tptpquantity(f_tptpquantityfn_6(_667200)))], (1984 ^ _610806) ^ [_667294] : [isa(_667294, c_tptpcol_16_26939), -(tptpcol_16_26939(_667294))], (1990 ^ _610806) ^ [_667482] : [tptpcol_16_26939(_667482), -(isa(_667482, c_tptpcol_16_26939))], (1996 ^ _610806) ^ [_667670] : [isa(_667670, c_tptpcol_16_62187), -(tptpcol_16_62187(_667670))], (2002 ^ _610806) ^ [_667858] : [tptpcol_16_62187(_667858), -(isa(_667858, c_tptpcol_16_62187))], (2008 ^ _610806) ^ [_668046] : [isa(_668046, c_tptpcol_13_92263), -(tptpcol_13_92263(_668046))], (2014 ^ _610806) ^ [_668234] : [tptpcol_13_92263(_668234), -(isa(_668234, c_tptpcol_13_92263))], (2020 ^ _610806) ^ [_668422] : [isa(_668422, c_geolevel_4), -(geolevel_4(_668422))], (2026 ^ _610806) ^ [_668610] : [geolevel_4(_668610), -(isa(_668610, c_geolevel_4))], (2032 ^ _610806) ^ [_668798] : [isa(_668798, c_tptpcol_15_4027), -(tptpcol_15_4027(_668798))], (2038 ^ _610806) ^ [_668986] : [tptpcol_15_4027(_668986), -(isa(_668986, c_tptpcol_15_4027))], (2044 ^ _610806) ^ [_669174] : [isa(_669174, c_pushingwithfingers), -(pushingwithfingers(_669174))], (2050 ^ _610806) ^ [_669362] : [pushingwithfingers(_669362), -(isa(_669362, c_pushingwithfingers))], (2056 ^ _610806) ^ [_669564, _669566] : [affiliatedwith(_669566, _669564), -(agent_generic(_669564))], (2062 ^ _610806) ^ [_669772, _669774] : [affiliatedwith(_669774, _669772), -(agent_generic(_669774))], (2068 ^ _610806) ^ [_669980, _669982] : [affiliatedwith(_669982, _669980), -(affiliatedwith(_669980, _669982))], (2074 ^ _610806) ^ [_670160] : [affiliatedwith(_670160, _670160)], (2076 ^ _610806) ^ [_670253] : [isa(_670253, c_footballteam), -(footballteam(_670253))], (2082 ^ _610806) ^ [_670441] : [footballteam(_670441), -(isa(_670441, c_footballteam))], (2088 ^ _610806) ^ [_670629] : [isa(_670629, c_tptpcol_16_4451), -(tptpcol_16_4451(_670629))], (2094 ^ _610806) ^ [_670817] : [tptpcol_16_4451(_670817), -(isa(_670817, c_tptpcol_16_4451))], (2100 ^ _610806) ^ [_671005] : [isa(_671005, c_pushingwithopenhand), -(pushingwithopenhand(_671005))], (2106 ^ _610806) ^ [_671193] : [pushingwithopenhand(_671193), -(isa(_671193, c_pushingwithopenhand))], (2112 ^ _610806) ^ [_671381] : [isa(_671381, c_tptpcol_15_22076), -(tptpcol_15_22076(_671381))], (2118 ^ _610806) ^ [_671569] : [tptpcol_15_22076(_671569), -(isa(_671569, c_tptpcol_15_22076))], (2124 ^ _610806) ^ [_671742] : [-(natfunction(f_tptpquantityfn_2(_671742), c_tptpquantityfn_2))], (2126 ^ _610806) ^ [_671822] : [-(natargument(f_tptpquantityfn_2(_671822), n_1, _671822))], (2128 ^ _610806) ^ [_671903] : [-(tptpquantity(f_tptpquantityfn_2(_671903)))], (2130 ^ _610806) ^ [_671997] : [isa(_671997, c_tptpcol_7_39939), -(tptpcol_7_39939(_671997))], (2136 ^ _610806) ^ [_672185] : [tptpcol_7_39939(_672185), -(isa(_672185, c_tptpcol_7_39939))], (2142 ^ _610806) ^ [_672373] : [isa(_672373, c_tptpcol_8_39940), -(tptpcol_8_39940(_672373))], (2148 ^ _610806) ^ [_672561] : [tptpcol_8_39940(_672561), -(isa(_672561, c_tptpcol_8_39940))], (2154 ^ _610806) ^ [_672749] : [isa(_672749, c_tptpcol_15_26925), -(tptpcol_15_26925(_672749))], (2160 ^ _610806) ^ [_672937] : [tptpcol_15_26925(_672937), -(isa(_672937, c_tptpcol_15_26925))], (2166 ^ _610806) ^ [_673125] : [isa(_673125, c_tptpcol_16_26926), -(tptpcol_16_26926(_673125))], (2172 ^ _610806) ^ [_673313] : [tptpcol_16_26926(_673313), -(isa(_673313, c_tptpcol_16_26926))], (2178 ^ _610806) ^ [_673501] : [isa(_673501, c_tptpcol_13_118117), -(tptpcol_13_118117(_673501))], (2184 ^ _610806) ^ [_673689] : [tptpcol_13_118117(_673689), -(isa(_673689, c_tptpcol_13_118117))], (2190 ^ _610806) ^ [_673877] : [isa(_673877, c_tptpcol_5_90114), -(tptpcol_5_90114(_673877))], (2196 ^ _610806) ^ [_674065] : [tptpcol_5_90114(_674065), -(isa(_674065, c_tptpcol_5_90114))], (2202 ^ _610806) ^ [_674267, _674269] : [tptptypes_5_802(_674269, _674267), -(firstordercollection(_674267))], (2208 ^ _610806) ^ [_674475, _674477] : [tptptypes_5_802(_674477, _674475), -(firstordercollection(_674477))], (2214 ^ _610806) ^ [_674669] : [isa(_674669, c_tptpcol_16_72795), -(tptpcol_16_72795(_674669))], (2220 ^ _610806) ^ [_674857] : [tptpcol_16_72795(_674857), -(isa(_674857, c_tptpcol_16_72795))], (2226 ^ _610806) ^ [_675045] : [isa(_675045, c_tptpcol_8_114177), -(tptpcol_8_114177(_675045))], (2232 ^ _610806) ^ [_675233] : [tptpcol_8_114177(_675233), -(isa(_675233, c_tptpcol_8_114177))], (2238 ^ _610806) ^ [_675421] : [isa(_675421, c_tptpcol_15_50957), -(tptpcol_15_50957(_675421))], (2244 ^ _610806) ^ [_675609] : [tptpcol_15_50957(_675609), -(isa(_675609, c_tptpcol_15_50957))], (2250 ^ _610806) ^ [_675797] : [isa(_675797, c_tptpcol_16_50958), -(tptpcol_16_50958(_675797))], (2256 ^ _610806) ^ [_675985] : [tptpcol_16_50958(_675985), -(isa(_675985, c_tptpcol_16_50958))], (2262 ^ _610806) ^ [_676173] : [isa(_676173, c_tptpcol_6_71683), -(tptpcol_6_71683(_676173))], (2268 ^ _610806) ^ [_676361] : [tptpcol_6_71683(_676361), -(isa(_676361, c_tptpcol_6_71683))], (2274 ^ _610806) ^ [_676549] : [isa(_676549, c_tptpcol_11_72774), -(tptpcol_11_72774(_676549))], (2280 ^ _610806) ^ [_676737] : [tptpcol_11_72774(_676737), -(isa(_676737, c_tptpcol_11_72774))], (2286 ^ _610806) ^ [_676925] : [isa(_676925, c_tptpcol_12_72775), -(tptpcol_12_72775(_676925))], (2292 ^ _610806) ^ [_677113] : [tptpcol_12_72775(_677113), -(isa(_677113, c_tptpcol_12_72775))], (2298 ^ _610806) ^ [_677301] : [isa(_677301, c_tptpcol_5_110593), -(tptpcol_5_110593(_677301))], (2304 ^ _610806) ^ [_677489] : [tptpcol_5_110593(_677489), -(isa(_677489, c_tptpcol_5_110593))], (2310 ^ _610806) ^ [_677677] : [isa(_677677, c_tptpcol_16_25972), -(tptpcol_16_25972(_677677))], (2316 ^ _610806) ^ [_677865] : [tptpcol_16_25972(_677865), -(isa(_677865, c_tptpcol_16_25972))], (2322 ^ _610806) ^ [_678067, _678069] : [tptp_8_271(_678069, _678067), -(razor(_678067))], (2328 ^ _610806) ^ [_678275, _678277] : [tptp_8_271(_678277, _678275), -(tptpcol_5_24579(_678277))], (2334 ^ _610806) ^ [_678469] : [isa(_678469, c_tptpcol_4_90113), -(tptpcol_4_90113(_678469))], (2340 ^ _610806) ^ [_678657] : [tptpcol_4_90113(_678657), -(isa(_678657, c_tptpcol_4_90113))], (2346 ^ _610806) ^ [_678845] : [isa(_678845, c_tptpcol_10_93700), -(tptpcol_10_93700(_678845))], (2352 ^ _610806) ^ [_679033] : [tptpcol_10_93700(_679033), -(isa(_679033, c_tptpcol_10_93700))], (2358 ^ _610806) ^ [_679221] : [isa(_679221, c_tptpcol_9_93699), -(tptpcol_9_93699(_679221))], (2364 ^ _610806) ^ [_679409] : [tptpcol_9_93699(_679409), -(isa(_679409, c_tptpcol_9_93699))], (2370 ^ _610806) ^ [_679597] : [isa(_679597, c_aspatialthing), -(aspatialthing(_679597))], (2376 ^ _610806) ^ [_679785] : [aspatialthing(_679785), -(isa(_679785, c_aspatialthing))], (2382 ^ _610806) ^ [_679973] : [isa(_679973, c_tptpcol_7_117762), -(tptpcol_7_117762(_679973))], (2388 ^ _610806) ^ [_680161] : [tptpcol_7_117762(_680161), -(isa(_680161, c_tptpcol_7_117762))], (2394 ^ _610806) ^ [_680349] : [isa(_680349, c_tptpcol_8_117763), -(tptpcol_8_117763(_680349))], (2400 ^ _610806) ^ [_680537] : [tptpcol_8_117763(_680537), -(isa(_680537, c_tptpcol_8_117763))], (2406 ^ _610806) ^ [_680725] : [isa(_680725, c_tptpcol_7_18437), -(tptpcol_7_18437(_680725))], (2412 ^ _610806) ^ [_680913] : [tptpcol_7_18437(_680913), -(isa(_680913, c_tptpcol_7_18437))], (2418 ^ _610806) ^ [_681101] : [isa(_681101, c_tptpcol_6_18436), -(tptpcol_6_18436(_681101))], (2424 ^ _610806) ^ [_681289] : [tptpcol_6_18436(_681289), -(isa(_681289, c_tptpcol_6_18436))], (2430 ^ _610806) ^ [_681477] : [isa(_681477, c_tptpcol_8_93698), -(tptpcol_8_93698(_681477))], (2436 ^ _610806) ^ [_681665] : [tptpcol_8_93698(_681665), -(isa(_681665, c_tptpcol_8_93698))], (2442 ^ _610806) ^ [_681853] : [isa(_681853, c_tptpcol_11_109125), -(tptpcol_11_109125(_681853))], (2448 ^ _610806) ^ [_682041] : [tptpcol_11_109125(_682041), -(isa(_682041, c_tptpcol_11_109125))], (2454 ^ _610806) ^ [_682229] : [isa(_682229, c_tptpcol_6_108546), -(tptpcol_6_108546(_682229))], (2460 ^ _610806) ^ [_682417] : [tptpcol_6_108546(_682417), -(isa(_682417, c_tptpcol_6_108546))], (2466 ^ _610806) ^ [_682605] : [isa(_682605, c_tptpcol_6_20484), -(tptpcol_6_20484(_682605))], (2472 ^ _610806) ^ [_682793] : [tptpcol_6_20484(_682793), -(isa(_682793, c_tptpcol_6_20484))], (2478 ^ _610806) ^ [_682995, _682997] : [few(_682997, _682995), -(setorcollection(_682995))], (2484 ^ _610806) ^ [_683203, _683205] : [few(_683205, _683203), -(setorcollection(_683203))], (2490 ^ _610806) ^ [_683411, _683413] : [few(_683413, _683411), -(setorcollection(_683413))], (2496 ^ _610806) ^ [_683619, _683621] : [few(_683621, _683619), -(setorcollection(_683621))], (2502 ^ _610806) ^ [_683841, _683843, _683845] : [-(few(_683845, _683841)), few(_683845, _683843), subsetof(_683841, _683843)], (2512 ^ _610806) ^ [_684136] : [isa(_684136, c_tptpcol_15_130931), -(tptpcol_15_130931(_684136))], (2518 ^ _610806) ^ [_684324] : [tptpcol_15_130931(_684324), -(isa(_684324, c_tptpcol_15_130931))], (2524 ^ _610806) ^ [_684512] : [isa(_684512, c_tptpcol_16_130933), -(tptpcol_16_130933(_684512))], (2530 ^ _610806) ^ [_684700] : [tptpcol_16_130933(_684700), -(isa(_684700, c_tptpcol_16_130933))], (2536 ^ _610806) ^ [_684888] : [isa(_684888, c_tptpcol_7_92163), -(tptpcol_7_92163(_684888))], (2542 ^ _610806) ^ [_685076] : [tptpcol_7_92163(_685076), -(isa(_685076, c_tptpcol_7_92163))], (2548 ^ _610806) ^ [_685264] : [isa(_685264, c_tptpcol_15_130923), -(tptpcol_15_130923(_685264))], (2554 ^ _610806) ^ [_685452] : [tptpcol_15_130923(_685452), -(isa(_685452, c_tptpcol_15_130923))], (2560 ^ _610806) ^ [_685640] : [isa(_685640, c_tptpcol_16_130924), -(tptpcol_16_130924(_685640))], (2566 ^ _610806) ^ [_685828] : [tptpcol_16_130924(_685828), -(isa(_685828, c_tptpcol_16_130924))], (2572 ^ _610806) ^ [_686016] : [isa(_686016, c_intangibleindividual), -(intangibleindividual(_686016))], (2578 ^ _610806) ^ [_686204] : [intangibleindividual(_686204), -(isa(_686204, c_intangibleindividual))], (2584 ^ _610806) ^ [_686391, _686393] : [-(natfunction(f_citynamedfn(_686393, _686391), c_citynamedfn))], (2586 ^ _610806) ^ [_686488, _686490] : [-(natargument(f_citynamedfn(_686490, _686488), n_1, _686490))], (2588 ^ _610806) ^ [_686586, _686588] : [-(natargument(f_citynamedfn(_686588, _686586), n_2, _686586))], (2590 ^ _610806) ^ [_686684, _686686] : [-(city(f_citynamedfn(_686686, _686684)))], (2592 ^ _610806) ^ [_686781] : [isa(_686781, c_tptpcol_13_26920), -(tptpcol_13_26920(_686781))], (2598 ^ _610806) ^ [_686969] : [tptpcol_13_26920(_686969), -(isa(_686969, c_tptpcol_13_26920))], (2604 ^ _610806) ^ [_687157] : [isa(_687157, c_tptpcol_14_26921), -(tptpcol_14_26921(_687157))], (2610 ^ _610806) ^ [_687345] : [tptpcol_14_26921(_687345), -(isa(_687345, c_tptpcol_14_26921))], (2616 ^ _610806) ^ [_687533] : [isa(_687533, c_tptpcol_3_65538), -(tptpcol_3_65538(_687533))], (2622 ^ _610806) ^ [_687721] : [tptpcol_3_65538(_687721), -(isa(_687721, c_tptpcol_3_65538))], (2628 ^ _610806) ^ [_687909] : [isa(_687909, c_tptpcol_16_27189), -(tptpcol_16_27189(_687909))], (2634 ^ _610806) ^ [_688097] : [tptpcol_16_27189(_688097), -(isa(_688097, c_tptpcol_16_27189))], (2640 ^ _610806) ^ [_688299, _688301] : [tptp_9_51(_688301, _688299), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688299))], (2646 ^ _610806) ^ [_688507, _688509] : [tptp_9_51(_688509, _688507), -(tptpcol_7_26628(_688509))], (2652 ^ _610806) ^ [_688701] : [isa(_688701, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_688701))], (2658 ^ _610806) ^ [_688889] : [reflexivebinarypredicate(_688889), -(isa(_688889, c_reflexivebinarypredicate))], (2664 ^ _610806) ^ [_689077] : [isa(_689077, c_tptpcol_7_21508), -(tptpcol_7_21508(_689077))], (2670 ^ _610806) ^ [_689265] : [tptpcol_7_21508(_689265), -(isa(_689265, c_tptpcol_7_21508))], (2676 ^ _610806) ^ [_689453] : [isa(_689453, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_689453))], (2682 ^ _610806) ^ [_689641] : [hpkb_subnationalagent(_689641), -(isa(_689641, c_hpkb_subnationalagent))], (2688 ^ _610806) ^ [_689829] : [isa(_689829, c_state_geopolitical), -(state_geopolitical(_689829))], (2694 ^ _610806) ^ [_690017] : [state_geopolitical(_690017), -(isa(_690017, c_state_geopolitical))], (2700 ^ _610806) ^ [_690232, _690234, _690236, _690238] : [-(natfunction(f_relationallexistsfn(_690238, _690236, _690234, _690232), c_relationallexistsfn))], (2702 ^ _610806) ^ [_690363, _690365, _690367, _690369] : [-(natargument(f_relationallexistsfn(_690369, _690367, _690365, _690363), n_1, _690369))], (2704 ^ _610806) ^ [_690495, _690497, _690499, _690501] : [-(natargument(f_relationallexistsfn(_690501, _690499, _690497, _690495), n_2, _690499))], (2706 ^ _610806) ^ [_690627, _690629, _690631, _690633] : [-(natargument(f_relationallexistsfn(_690633, _690631, _690629, _690627), n_3, _690629))], (2708 ^ _610806) ^ [_690759, _690761, _690763, _690765] : [-(natargument(f_relationallexistsfn(_690765, _690763, _690761, _690759), n_4, _690759))], (2710 ^ _610806) ^ [_690891, _690893, _690895, _690897] : [-(thing(f_relationallexistsfn(_690897, _690895, _690893, _690891)))], (2712 ^ _610806) ^ [_691008, _691010] : [arg2isa(_691010, _691008), -(collection(_691008))], (2718 ^ _610806) ^ [_691216, _691218] : [arg2isa(_691218, _691216), -(relation(_691218))], (2724 ^ _610806) ^ [_691438, _691440, _691442] : [-(arg2isa(_691442, _691438)), arg2isa(_691442, _691440), genls(_691440, _691438)], (2734 ^ _610806) ^ [_691761, _691763, _691765] : [-(arg2isa(_691765, _691761)), arg2isa(_691765, _691763), genls(_691763, _691761)], (2744 ^ _610806) ^ [_692056] : [isa(_692056, c_geolevel_1), -(geolevel_1(_692056))], (2750 ^ _610806) ^ [_692244] : [geolevel_1(_692244), -(isa(_692244, c_geolevel_1))], (2756 ^ _610806) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _610806) ^ [_692485] : [isa(_692485, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_692485))], (2764 ^ _610806) ^ [_692673] : [spatialthing_nonsituational(_692673), -(isa(_692673, c_spatialthing_nonsituational))], (2770 ^ _610806) ^ [_692861] : [isa(_692861, c_militaryperson), -(militaryperson(_692861))], (2776 ^ _610806) ^ [_693049] : [militaryperson(_693049), -(isa(_693049, c_militaryperson))], (2782 ^ _610806) ^ [_693237] : [isa(_693237, c_tptpcol_15_72793), -(tptpcol_15_72793(_693237))], (2788 ^ _610806) ^ [_693425] : [tptpcol_15_72793(_693425), -(isa(_693425, c_tptpcol_15_72793))], (2794 ^ _610806) ^ [_693613] : [isa(_693613, c_tptpcol_9_26885), -(tptpcol_9_26885(_693613))], (2800 ^ _610806) ^ [_693801] : [tptpcol_9_26885(_693801), -(isa(_693801, c_tptpcol_9_26885))], (2806 ^ _610806) ^ [_693989] : [isa(_693989, c_tptpcol_10_26886), -(tptpcol_10_26886(_693989))], (2812 ^ _610806) ^ [_694177] : [tptpcol_10_26886(_694177), -(isa(_694177, c_tptpcol_10_26886))], (2818 ^ _610806) ^ [_694379, _694381] : [tptptypes_8_823(_694381, _694379), -(firstordercollection(_694379))], (2824 ^ _610806) ^ [_694587, _694589] : [tptptypes_8_823(_694589, _694587), -(firstordercollection(_694589))], (2830 ^ _610806) ^ [_694781] : [isa(_694781, c_tptpcol_16_92269), -(tptpcol_16_92269(_694781))], (2836 ^ _610806) ^ [_694969] : [tptpcol_16_92269(_694969), -(isa(_694969, c_tptpcol_16_92269))], (2842 ^ _610806) ^ [_695157] : [isa(_695157, c_tptpcol_15_109185), -(tptpcol_15_109185(_695157))], (2848 ^ _610806) ^ [_695345] : [tptpcol_15_109185(_695345), -(isa(_695345, c_tptpcol_15_109185))], (2854 ^ _610806) ^ [_695533] : [isa(_695533, c_tptpcol_6_26627), -(tptpcol_6_26627(_695533))], (2860 ^ _610806) ^ [_695721] : [tptpcol_6_26627(_695721), -(isa(_695721, c_tptpcol_6_26627))], (2866 ^ _610806) ^ [_695909] : [isa(_695909, c_tptpcol_12_118116), -(tptpcol_12_118116(_695909))], (2872 ^ _610806) ^ [_696097] : [tptpcol_12_118116(_696097), -(isa(_696097, c_tptpcol_12_118116))], (2878 ^ _610806) ^ [_696285] : [isa(_696285, c_tptpcol_8_18438), -(tptpcol_8_18438(_696285))], (2884 ^ _610806) ^ [_696473] : [tptpcol_8_18438(_696473), -(isa(_696473, c_tptpcol_8_18438))], (2890 ^ _610806) ^ [_696661] : [isa(_696661, c_tptpcol_15_30970), -(tptpcol_15_30970(_696661))], (2896 ^ _610806) ^ [_696849] : [tptpcol_15_30970(_696849), -(isa(_696849, c_tptpcol_15_30970))], (2902 ^ _610806) ^ [_697037] : [isa(_697037, c_tptpcol_16_30972), -(tptpcol_16_30972(_697037))], (2908 ^ _610806) ^ [_697225] : [tptpcol_16_30972(_697225), -(isa(_697225, c_tptpcol_16_30972))], (2914 ^ _610806) ^ [_697413] : [isa(_697413, c_tptpcol_14_109181), -(tptpcol_14_109181(_697413))], (2920 ^ _610806) ^ [_697601] : [tptpcol_14_109181(_697601), -(isa(_697601, c_tptpcol_14_109181))], (2926 ^ _610806) ^ [_697789] : [isa(_697789, c_physicalorderingpredicate), -(physicalorderingpredicate(_697789))], (2932 ^ _610806) ^ [_697977] : [physicalorderingpredicate(_697977), -(isa(_697977, c_physicalorderingpredicate))], (2938 ^ _610806) ^ [_698165] : [isa(_698165, c_tptpcol_16_7738), -(tptpcol_16_7738(_698165))], (2944 ^ _610806) ^ [_698353] : [tptpcol_16_7738(_698353), -(isa(_698353, c_tptpcol_16_7738))], (2950 ^ _610806) ^ [_698555, _698557] : [tptp_8_968(_698557, _698555), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_698555))], (2956 ^ _610806) ^ [_698763, _698765] : [tptp_8_968(_698765, _698763), -(tptpcol_7_7172(_698765))], (2962 ^ _610806) ^ [_698985, _698987, _698989] : [relationexistsall(_698989, _698987, _698985), -(collection(_698985))], (2968 ^ _610806) ^ [_699215, _699217, _699219] : [relationexistsall(_699219, _699217, _699215), -(collection(_699217))], (2974 ^ _610806) ^ [_699445, _699447, _699449] : [relationexistsall(_699449, _699447, _699445), -(binarypredicate(_699449))], (2980 ^ _610806) ^ [_699647] : [isa(_699647, c_tptpcol_7_26628), -(tptpcol_7_26628(_699647))], (2986 ^ _610806) ^ [_699835] : [tptpcol_7_26628(_699835), -(isa(_699835, c_tptpcol_7_26628))], (2992 ^ _610806) ^ [_700023] : [isa(_700023, c_tptpcol_8_26629), -(tptpcol_8_26629(_700023))], (2998 ^ _610806) ^ [_700211] : [tptpcol_8_26629(_700211), -(isa(_700211, c_tptpcol_8_26629))], (3004 ^ _610806) ^ [_700399] : [isa(_700399, c_tptpcol_3_114688), -(tptpcol_3_114688(_700399))], (3010 ^ _610806) ^ [_700587] : [tptpcol_3_114688(_700587), -(isa(_700587, c_tptpcol_3_114688))], (3016 ^ _610806) ^ [_700760] : [-(natfunction(f_contextofpcwfn(_700760), c_contextofpcwfn))], (3018 ^ _610806) ^ [_700840] : [-(natargument(f_contextofpcwfn(_700840), n_1, _700840))], (3020 ^ _610806) ^ [_700921] : [-(microtheory(f_contextofpcwfn(_700921)))], (3022 ^ _610806) ^ [_701029, _701031] : [arg1isa(_701031, _701029), -(collection(_701029))], (3028 ^ _610806) ^ [_701237, _701239] : [arg1isa(_701239, _701237), -(relation(_701239))], (3034 ^ _610806) ^ [_701459, _701461, _701463] : [-(arg1isa(_701463, _701459)), arg1isa(_701463, _701461), genls(_701461, _701459)], (3044 ^ _610806) ^ [_701782, _701784, _701786] : [-(arg1isa(_701786, _701782)), arg1isa(_701786, _701784), genls(_701784, _701782)], (3054 ^ _610806) ^ [_702091, _702093] : [objectfoundinlocation(_702093, _702091), -(spatialthing_nonsituational(_702091))], (3060 ^ _610806) ^ [_702299, _702301] : [objectfoundinlocation(_702301, _702299), -(spatialthing_localized(_702299))], (3066 ^ _610806) ^ [_702507, _702509] : [objectfoundinlocation(_702509, _702507), -(spatialthing_nonsituational(_702509))], (3072 ^ _610806) ^ [_702715, _702717] : [objectfoundinlocation(_702717, _702715), -(spatialthing_localized(_702717))], (3078 ^ _610806) ^ [_702937, _702939, _702941] : [-(objectfoundinlocation(_702941, _702937)), objectfoundinlocation(_702941, _702939), objectfoundinlocation(_702939, _702937)], (3088 ^ _610806) ^ [_703216] : [objectfoundinlocation(_703216, _703216)], (3090 ^ _610806) ^ [_703337, _703339, _703341] : [-(objectfoundinlocation(_703341, _703337)), objectfoundinlocation(_703341, _703339), geopoliticalsubdivision(_703337, _703339)], (3100 ^ _610806) ^ [_703660, _703662, _703664] : [-(objectfoundinlocation(_703664, _703660)), objectfoundinlocation(_703664, _703662), geographicallysubsumes(_703660, _703662)], (3110 ^ _610806) ^ [_703983, _703985, _703987] : [-(objectfoundinlocation(_703987, _703983)), objectfoundinlocation(_703987, _703985), subregions(_703983, _703985)], (3120 ^ _610806) ^ [_704278] : [isa(_704278, c_ship), -(ship(_704278))], (3126 ^ _610806) ^ [_704466] : [ship(_704466), -(isa(_704466, c_ship))], (3132 ^ _610806) ^ [_704667, _704669, _704671] : [-(natfunction(f_subcollectionofwithrelationtofn(_704671, _704669, _704667), c_subcollectionofwithrelationtofn))], (3134 ^ _610806) ^ [_704781, _704783, _704785] : [-(natargument(f_subcollectionofwithrelationtofn(_704785, _704783, _704781), n_1, _704785))], (3136 ^ _610806) ^ [_704896, _704898, _704900] : [-(natargument(f_subcollectionofwithrelationtofn(_704900, _704898, _704896), n_2, _704898))], (3138 ^ _610806) ^ [_705011, _705013, _705015] : [-(natargument(f_subcollectionofwithrelationtofn(_705015, _705013, _705011), n_3, _705011))], (3140 ^ _610806) ^ [_705126, _705128, _705130] : [-(collection(f_subcollectionofwithrelationtofn(_705130, _705128, _705126)))], (3142 ^ _610806) ^ [_705226] : [isa(_705226, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705226))], (3148 ^ _610806) ^ [_705414] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705414), -(isa(_705414, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _610806) ^ [_705602] : [isa(_705602, c_tptpcol_4_65539), -(tptpcol_4_65539(_705602))], (3160 ^ _610806) ^ [_705790] : [tptpcol_4_65539(_705790), -(isa(_705790, c_tptpcol_4_65539))], (3166 ^ _610806) ^ [_705978] : [isa(_705978, c_tptpcol_5_69635), -(tptpcol_5_69635(_705978))], (3172 ^ _610806) ^ [_706166] : [tptpcol_5_69635(_706166), -(isa(_706166, c_tptpcol_5_69635))], (3178 ^ _610806) ^ [_706354] : [isa(_706354, c_tptpcol_3_16386), -(tptpcol_3_16386(_706354))], (3184 ^ _610806) ^ [_706542] : [tptpcol_3_16386(_706542), -(isa(_706542, c_tptpcol_3_16386))], (3190 ^ _610806) ^ [_706744, _706746] : [no(_706746, _706744), -(setorcollection(_706744))], (3196 ^ _610806) ^ [_706952, _706954] : [no(_706954, _706952), -(setorcollection(_706954))], (3202 ^ _610806) ^ [_707160, _707162] : [no(_707162, _707160), -(no(_707160, _707162))], (3208 ^ _610806) ^ [_707384, _707386, _707388] : [-(no(_707388, _707384)), no(_707388, _707386), subsetof(_707384, _707386)], (3218 ^ _610806) ^ [_707707, _707709, _707711] : [-(no(_707707, _707709)), no(_707711, _707709), subsetof(_707707, _707711)], (3228 ^ _610806) ^ [_708030, _708032, _708034] : [-(no(_708030, _708032)), no(_708034, _708032), genls(_708030, _708034)], (3238 ^ _610806) ^ [_708353, _708355, _708357] : [-(no(_708357, _708353)), no(_708357, _708355), genls(_708353, _708355)], (3248 ^ _610806) ^ [_708676, _708678, _708680] : [-(no(_708676, _708678)), no(_708680, _708678), subsetof(_708676, _708680)], (3258 ^ _610806) ^ [_708999, _709001, _709003] : [-(no(_709003, _708999)), no(_709003, _709001), subsetof(_708999, _709001)], (3268 ^ _610806) ^ [_709294] : [isa(_709294, c_geographicalregion), -(geographicalregion(_709294))], (3274 ^ _610806) ^ [_709482] : [geographicalregion(_709482), -(isa(_709482, c_geographicalregion))], (3280 ^ _610806) ^ [_709655] : [-(natfunction(f_tptpquantityfn_21(_709655), c_tptpquantityfn_21))], (3282 ^ _610806) ^ [_709735] : [-(natargument(f_tptpquantityfn_21(_709735), n_1, _709735))], (3284 ^ _610806) ^ [_709816] : [-(tptpquantity(f_tptpquantityfn_21(_709816)))], (3286 ^ _610806) ^ [_709924, _709926] : [airporthasiatacode(_709926, _709924), -(stringoflengthfn3(_709924))], (3292 ^ _610806) ^ [_710132, _710134] : [airporthasiatacode(_710134, _710132), -(airport_physical(_710134))], (3298 ^ _610806) ^ [_710326] : [isa(_710326, c_airport_physical), -(airport_physical(_710326))], (3304 ^ _610806) ^ [_710514] : [airport_physical(_710514), -(isa(_710514, c_airport_physical))], (3310 ^ _610806) ^ [_710715, _710717, _710719] : [-(natfunction(f_instancewithrelationtofn(_710719, _710717, _710715), c_instancewithrelationtofn))], (3312 ^ _610806) ^ [_710829, _710831, _710833] : [-(natargument(f_instancewithrelationtofn(_710833, _710831, _710829), n_1, _710833))], (3314 ^ _610806) ^ [_710944, _710946, _710948] : [-(natargument(f_instancewithrelationtofn(_710948, _710946, _710944), n_2, _710946))], (3316 ^ _610806) ^ [_711059, _711061, _711063] : [-(natargument(f_instancewithrelationtofn(_711063, _711061, _711059), n_3, _711059))], (3318 ^ _610806) ^ [_711174, _711176, _711178] : [-(thing(f_instancewithrelationtofn(_711178, _711176, _711174)))], (3320 ^ _610806) ^ [_711274] : [isa(_711274, c_tptpcol_6_112641), -(tptpcol_6_112641(_711274))], (3326 ^ _610806) ^ [_711462] : [tptpcol_6_112641(_711462), -(isa(_711462, c_tptpcol_6_112641))], (3332 ^ _610806) ^ [_711650] : [isa(_711650, c_tptpcol_7_113665), -(tptpcol_7_113665(_711650))], (3338 ^ _610806) ^ [_711838] : [tptpcol_7_113665(_711838), -(isa(_711838, c_tptpcol_7_113665))], (3344 ^ _610806) ^ [_712026] : [isa(_712026, c_artifact), -(artifact(_712026))], (3350 ^ _610806) ^ [_712214] : [artifact(_712214), -(isa(_712214, c_artifact))], (3356 ^ _610806) ^ [_712402] : [isa(_712402, c_tptpcol_13_18664), -(tptpcol_13_18664(_712402))], (3362 ^ _610806) ^ [_712590] : [tptpcol_13_18664(_712590), -(isa(_712590, c_tptpcol_13_18664))], (3368 ^ _610806) ^ [_712778] : [isa(_712778, c_firstordercollection), -(firstordercollection(_712778))], (3374 ^ _610806) ^ [_712966] : [firstordercollection(_712966), -(isa(_712966, c_firstordercollection))], (3380 ^ _610806) ^ [_713139] : [-(natfunction(f_tptpquantityfn_14(_713139), c_tptpquantityfn_14))], (3382 ^ _610806) ^ [_713219] : [-(natargument(f_tptpquantityfn_14(_713219), n_1, _713219))], (3384 ^ _610806) ^ [_713300] : [-(tptpquantity(f_tptpquantityfn_14(_713300)))], (3386 ^ _610806) ^ [_713394] : [isa(_713394, c_supplies), -(supplies(_713394))], (3392 ^ _610806) ^ [_713582] : [supplies(_713582), -(isa(_713582, c_supplies))], (3398 ^ _610806) ^ [_713770] : [isa(_713770, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_713770))], (3404 ^ _610806) ^ [_713958] : [inanimateobject_nonnatural(_713958), -(isa(_713958, c_inanimateobject_nonnatural))], (3410 ^ _610806) ^ [_714146] : [isa(_714146, c_tptpcol_13_22071), -(tptpcol_13_22071(_714146))], (3416 ^ _610806) ^ [_714334] : [tptpcol_13_22071(_714334), -(isa(_714334, c_tptpcol_13_22071))], (3422 ^ _610806) ^ [_714522] : [isa(_714522, c_tptpcol_14_22072), -(tptpcol_14_22072(_714522))], (3428 ^ _610806) ^ [_714710] : [tptpcol_14_22072(_714710), -(isa(_714710, c_tptpcol_14_22072))], (3434 ^ _610806) ^ [_714898] : [isa(_714898, c_tptpcol_7_108547), -(tptpcol_7_108547(_714898))], (3440 ^ _610806) ^ [_715086] : [tptpcol_7_108547(_715086), -(isa(_715086, c_tptpcol_7_108547))], (3446 ^ _610806) ^ [_715274] : [isa(_715274, c_tptpcol_8_109059), -(tptpcol_8_109059(_715274))], (3452 ^ _610806) ^ [_715462] : [tptpcol_8_109059(_715462), -(isa(_715462, c_tptpcol_8_109059))], (3458 ^ _610806) ^ [_715650] : [isa(_715650, c_tptpcol_14_93774), -(tptpcol_14_93774(_715650))], (3464 ^ _610806) ^ [_715838] : [tptpcol_14_93774(_715838), -(isa(_715838, c_tptpcol_14_93774))], (3470 ^ _610806) ^ [_716026] : [isa(_716026, c_tptpcol_15_93775), -(tptpcol_15_93775(_716026))], (3476 ^ _610806) ^ [_716214] : [tptpcol_15_93775(_716214), -(isa(_716214, c_tptpcol_15_93775))], (3482 ^ _610806) ^ [_716402] : [isa(_716402, c_tptpcol_16_8886), -(tptpcol_16_8886(_716402))], (3488 ^ _610806) ^ [_716590] : [tptpcol_16_8886(_716590), -(isa(_716590, c_tptpcol_16_8886))], (3494 ^ _610806) ^ [_716792, _716794] : [orientation(_716794, _716792), -(orientationvector(_716792))], (3500 ^ _610806) ^ [_717000, _717002] : [orientation(_717002, _717000), -(spatialthing_localized(_717002))], (3506 ^ _610806) ^ [_717194] : [isa(_717194, c_orientationvector), -(orientationvector(_717194))], (3512 ^ _610806) ^ [_717382] : [orientationvector(_717382), -(isa(_717382, c_orientationvector))], (3518 ^ _610806) ^ [_717570] : [isa(_717570, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717570))], (3524 ^ _610806) ^ [_717758] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717758), -(isa(_717758, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _610806) ^ [_717960, _717962] : [tptptypes_9_824(_717962, _717960), -(firstordercollection(_717960))], (3536 ^ _610806) ^ [_718168, _718170] : [tptptypes_9_824(_718170, _718168), -(firstordercollection(_718170))], (3542 ^ _610806) ^ [_718376, _718378] : [tptptypes_7_396(_718378, _718376), -(firstordercollection(_718376))], (3548 ^ _610806) ^ [_718584, _718586] : [tptptypes_7_396(_718586, _718584), -(firstordercollection(_718586))], (3554 ^ _610806) ^ [_718778] : [isa(_718778, c_tptpcol_12_22055), -(tptpcol_12_22055(_718778))], (3560 ^ _610806) ^ [_718966] : [tptpcol_12_22055(_718966), -(isa(_718966, c_tptpcol_12_22055))], (3566 ^ _610806) ^ [_719154] : [isa(_719154, c_tptpcol_16_29490), -(tptpcol_16_29490(_719154))], (3572 ^ _610806) ^ [_719342] : [tptpcol_16_29490(_719342), -(isa(_719342, c_tptpcol_16_29490))], (3578 ^ _610806) ^ [_719544, _719546] : [tptp_9_720(_719546, _719544), -(tptpcol_5_28674(_719544))], (3584 ^ _610806) ^ [_719752, _719754] : [tptp_9_720(_719754, _719752), -(executionbyfiringsquad(_719754))], (3590 ^ _610806) ^ [_719946] : [isa(_719946, c_runningshorts), -(runningshorts(_719946))], (3596 ^ _610806) ^ [_720134] : [runningshorts(_720134), -(isa(_720134, c_runningshorts))], (3602 ^ _610806) ^ [_720322] : [isa(_720322, c_tptpcol_9_118019), -(tptpcol_9_118019(_720322))], (3608 ^ _610806) ^ [_720510] : [tptpcol_9_118019(_720510), -(isa(_720510, c_tptpcol_9_118019))], (3614 ^ _610806) ^ [_720698] : [isa(_720698, c_tptpcol_16_31868), -(tptpcol_16_31868(_720698))], (3620 ^ _610806) ^ [_720886] : [tptpcol_16_31868(_720886), -(isa(_720886, c_tptpcol_16_31868))], (3626 ^ _610806) ^ [_721074] : [isa(_721074, c_movement_translationevent), -(movement_translationevent(_721074))], (3632 ^ _610806) ^ [_721262] : [movement_translationevent(_721262), -(isa(_721262, c_movement_translationevent))], (3638 ^ _610806) ^ [_721464, _721466] : [directionoftranslation_throughout(_721466, _721464), -(unitvectorinterval(_721464))], (3644 ^ _610806) ^ [_721672, _721674] : [directionoftranslation_throughout(_721674, _721672), -(movement_translationevent(_721674))], (3650 ^ _610806) ^ [_721894, _721896, _721898] : [-(directionoftranslation_throughout(_721894, _721896)), directionoftranslation_throughout(_721898, _721896), subevents(_721898, _721894)], (3660 ^ _610806) ^ [_722189] : [isa(_722189, c_unitvectorinterval), -(unitvectorinterval(_722189))], (3666 ^ _610806) ^ [_722377] : [unitvectorinterval(_722377), -(isa(_722377, c_unitvectorinterval))], (3672 ^ _610806) ^ [_722565] : [isa(_722565, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722565))], (3678 ^ _610806) ^ [_722753] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722753), -(isa(_722753, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _610806) ^ [_722955, _722957] : [tptp_8_875(_722957, _722955), -(tptpcol_4_24578(_722955))], (3690 ^ _610806) ^ [_723163, _723165] : [tptp_8_875(_723165, _723163), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723165))], (3696 ^ _610806) ^ [_723385, _723387, _723389] : [relationallexists(_723389, _723387, _723385), -(collection(_723385))], (3702 ^ _610806) ^ [_723615, _723617, _723619] : [relationallexists(_723619, _723617, _723615), -(collection(_723617))], (3708 ^ _610806) ^ [_723845, _723847, _723849] : [relationallexists(_723849, _723847, _723845), -(binarypredicate(_723849))], (3714 ^ _610806) ^ [_724047] : [isa(_724047, c_tptpcol_16_10258), -(tptpcol_16_10258(_724047))], (3720 ^ _610806) ^ [_724235] : [tptpcol_16_10258(_724235), -(isa(_724235, c_tptpcol_16_10258))], (3726 ^ _610806) ^ [_724423] : [isa(_724423, c_pushingababycarriage), -(pushingababycarriage(_724423))], (3732 ^ _610806) ^ [_724611] : [pushingababycarriage(_724611), -(isa(_724611, c_pushingababycarriage))], (3738 ^ _610806) ^ [_724799] : [isa(_724799, c_aspatialinformationstore), -(aspatialinformationstore(_724799))], (3744 ^ _610806) ^ [_724987] : [aspatialinformationstore(_724987), -(isa(_724987, c_aspatialinformationstore))], (3750 ^ _610806) ^ [_725175] : [isa(_725175, c_collection), -(collection(_725175))], (3756 ^ _610806) ^ [_725363] : [collection(_725363), -(isa(_725363, c_collection))], (3762 ^ _610806) ^ [_725551] : [isa(_725551, c_fixedordercollection), -(fixedordercollection(_725551))], (3768 ^ _610806) ^ [_725739] : [fixedordercollection(_725739), -(isa(_725739, c_fixedordercollection))], (3774 ^ _610806) ^ [_725927] : [isa(_725927, c_tptpcol_8_92164), -(tptpcol_8_92164(_725927))], (3780 ^ _610806) ^ [_726115] : [tptpcol_8_92164(_726115), -(isa(_726115, c_tptpcol_8_92164))], (3786 ^ _610806) ^ [_726303] : [isa(_726303, c_tptpcol_9_92165), -(tptpcol_9_92165(_726303))], (3792 ^ _610806) ^ [_726491] : [tptpcol_9_92165(_726491), -(isa(_726491, c_tptpcol_9_92165))], (3798 ^ _610806) ^ [_726679] : [isa(_726679, c_tptpcol_1_1), -(tptpcol_1_1(_726679))], (3804 ^ _610806) ^ [_726867] : [tptpcol_1_1(_726867), -(isa(_726867, c_tptpcol_1_1))], (3810 ^ _610806) ^ [_727055] : [isa(_727055, c_tptpcol_2_2), -(tptpcol_2_2(_727055))], (3816 ^ _610806) ^ [_727243] : [tptpcol_2_2(_727243), -(isa(_727243, c_tptpcol_2_2))], (3822 ^ _610806) ^ [_727445, _727447] : [tptptypes_7_691(_727447, _727445), -(firstordercollection(_727445))], (3828 ^ _610806) ^ [_727653, _727655] : [tptptypes_7_691(_727655, _727653), -(firstordercollection(_727655))], (3834 ^ _610806) ^ [_727847] : [isa(_727847, c_tptpcol_11_26887), -(tptpcol_11_26887(_727847))], (3840 ^ _610806) ^ [_728035] : [tptpcol_11_26887(_728035), -(isa(_728035, c_tptpcol_11_26887))], (3846 ^ _610806) ^ [_728223] : [isa(_728223, c_tptpcol_12_26919), -(tptpcol_12_26919(_728223))], (3852 ^ _610806) ^ [_728411] : [tptpcol_12_26919(_728411), -(isa(_728411, c_tptpcol_12_26919))], (3858 ^ _610806) ^ [_728613, _728615] : [tptptypes_6_818(_728615, _728613), -(firstordercollection(_728613))], (3864 ^ _610806) ^ [_728821, _728823] : [tptptypes_6_818(_728823, _728821), -(firstordercollection(_728823))], (3870 ^ _610806) ^ [_729029, _729031] : [tptptypes_7_819(_729031, _729029), -(firstordercollection(_729029))], (3876 ^ _610806) ^ [_729237, _729239] : [tptptypes_7_819(_729239, _729237), -(firstordercollection(_729239))], (3882 ^ _610806) ^ [_729431] : [isa(_729431, c_correctivelensprescription), -(correctivelensprescription(_729431))], (3888 ^ _610806) ^ [_729619] : [correctivelensprescription(_729619), -(isa(_729619, c_correctivelensprescription))], (3894 ^ _610806) ^ [_729821, _729823] : [products(_729823, _729821), -(artifact(_729821))], (3900 ^ _610806) ^ [_730029, _730031] : [products(_730031, _730029), -(creationordestructionevent(_730031))], (3906 ^ _610806) ^ [_730223] : [isa(_730223, c_issuingaprescription), -(issuingaprescription(_730223))], (3912 ^ _610806) ^ [_730411] : [issuingaprescription(_730411), -(isa(_730411, c_issuingaprescription))], (3918 ^ _610806) ^ [_730612, _730614, _730616] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_730616, _730614, _730612), c_subcollectionofwithrelationtotypefn))], (3920 ^ _610806) ^ [_730726, _730728, _730730] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730730, _730728, _730726), n_1, _730730))], (3922 ^ _610806) ^ [_730841, _730843, _730845] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730845, _730843, _730841), n_2, _730843))], (3924 ^ _610806) ^ [_730956, _730958, _730960] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730960, _730958, _730956), n_3, _730956))], (3926 ^ _610806) ^ [_731071, _731073, _731075] : [-(collection(f_subcollectionofwithrelationtotypefn(_731075, _731073, _731071)))], (3928 ^ _610806) ^ [_731171] : [isa(_731171, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731171))], (3934 ^ _610806) ^ [_731359] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731359), -(isa(_731359, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _610806) ^ [_731547] : [isa(_731547, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_731547))], (3946 ^ _610806) ^ [_731735] : [mathematicalorcomputationalthing(_731735), -(isa(_731735, c_mathematicalorcomputationalthing))], (3952 ^ _610806) ^ [_731923] : [isa(_731923, c_tptpcol_10_118020), -(tptpcol_10_118020(_731923))], (3958 ^ _610806) ^ [_732111] : [tptpcol_10_118020(_732111), -(isa(_732111, c_tptpcol_10_118020))], (3964 ^ _610806) ^ [_732299] : [isa(_732299, c_tptpcol_11_118084), -(tptpcol_11_118084(_732299))], (3970 ^ _610806) ^ [_732487] : [tptpcol_11_118084(_732487), -(isa(_732487, c_tptpcol_11_118084))], (3976 ^ _610806) ^ [_732675] : [isa(_732675, c_terroristgroup), -(terroristgroup(_732675))], (3982 ^ _610806) ^ [_732863] : [terroristgroup(_732863), -(isa(_732863, c_terroristgroup))], (3988 ^ _610806) ^ [_733065, _733067] : [hasmembers(_733067, _733065), -(agent_generic(_733065))], (3994 ^ _610806) ^ [_733273, _733275] : [hasmembers(_733275, _733273), -(organization(_733275))], (4000 ^ _610806) ^ [_733467] : [isa(_733467, c_terrorist), -(terrorist(_733467))], (4006 ^ _610806) ^ [_733655] : [terrorist(_733655), -(isa(_733655, c_terrorist))], (4012 ^ _610806) ^ [_733856, _733858, _733860] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_733860, _733858, _733856), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _610806) ^ [_733970, _733972, _733974] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_733974, _733972, _733970), n_1, _733974))], (4016 ^ _610806) ^ [_734085, _734087, _734089] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734089, _734087, _734085), n_2, _734087))], (4018 ^ _610806) ^ [_734200, _734202, _734204] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734204, _734202, _734200), n_3, _734200))], (4020 ^ _610806) ^ [_734315, _734317, _734319] : [-(collection(f_subcollectionofwithrelationfromtypefn(_734319, _734317, _734315)))], (4022 ^ _610806) ^ [_734415] : [isa(_734415, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734415))], (4028 ^ _610806) ^ [_734603] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734603), -(isa(_734603, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _610806) ^ [_734805, _734807] : [prettystring(_734807, _734805), -(controlcharacterfreestring(_734805))], (4040 ^ _610806) ^ [_735013, _735015] : [prettystring(_735015, _735013), -(thing(_735015))], (4046 ^ _610806) ^ [_735207] : [isa(_735207, c_tptpcol_0_0), -(tptpcol_0_0(_735207))], (4052 ^ _610806) ^ [_735395] : [tptpcol_0_0(_735395), -(isa(_735395, c_tptpcol_0_0))], (4058 ^ _610806) ^ [_735583] : [isa(_735583, c_geolevel_3), -(geolevel_3(_735583))], (4064 ^ _610806) ^ [_735771] : [geolevel_3(_735771), -(isa(_735771, c_geolevel_3))], (4070 ^ _610806) ^ [_735959] : [isa(_735959, c_tptpcol_4_24578), -(tptpcol_4_24578(_735959))], (4076 ^ _610806) ^ [_736147] : [tptpcol_4_24578(_736147), -(isa(_736147, c_tptpcol_4_24578))], (4082 ^ _610806) ^ [_736335] : [isa(_736335, c_tptpcol_5_24579), -(tptpcol_5_24579(_736335))], (4088 ^ _610806) ^ [_736523] : [tptpcol_5_24579(_736523), -(isa(_736523, c_tptpcol_5_24579))], (4094 ^ _610806) ^ [_736711] : [isa(_736711, c_tptpcol_5_106498), -(tptpcol_5_106498(_736711))], (4100 ^ _610806) ^ [_736899] : [tptpcol_5_106498(_736899), -(isa(_736899, c_tptpcol_5_106498))], (4106 ^ _610806) ^ [_737087] : [isa(_737087, c_tptpcol_12_109157), -(tptpcol_12_109157(_737087))], (4112 ^ _610806) ^ [_737275] : [tptpcol_12_109157(_737275), -(isa(_737275, c_tptpcol_12_109157))], (4118 ^ _610806) ^ [_737463] : [isa(_737463, c_tptpcol_13_109173), -(tptpcol_13_109173(_737463))], (4124 ^ _610806) ^ [_737651] : [tptpcol_13_109173(_737651), -(isa(_737651, c_tptpcol_13_109173))], (4130 ^ _610806) ^ [_737839] : [isa(_737839, c_mathematicalthing), -(mathematicalthing(_737839))], (4136 ^ _610806) ^ [_738027] : [mathematicalthing(_738027), -(isa(_738027, c_mathematicalthing))], (4142 ^ _610806) ^ [_738215] : [isa(_738215, c_setorcollection), -(setorcollection(_738215))], (4148 ^ _610806) ^ [_738403] : [setorcollection(_738403), -(isa(_738403, c_setorcollection))], (4154 ^ _610806) ^ [_738591] : [isa(_738591, c_tptpcol_11_18631), -(tptpcol_11_18631(_738591))], (4160 ^ _610806) ^ [_738779] : [tptpcol_11_18631(_738779), -(isa(_738779, c_tptpcol_11_18631))], (4166 ^ _610806) ^ [_738967] : [isa(_738967, c_tptpcol_12_18663), -(tptpcol_12_18663(_738967))], (4172 ^ _610806) ^ [_739155] : [tptpcol_12_18663(_739155), -(isa(_739155, c_tptpcol_12_18663))], (4178 ^ _610806) ^ [_739357, _739359] : [tptptypes_8_400(_739359, _739357), -(firstordercollection(_739357))], (4184 ^ _610806) ^ [_739565, _739567] : [tptptypes_8_400(_739567, _739565), -(firstordercollection(_739567))], (4190 ^ _610806) ^ [_739773, _739775] : [tptptypes_9_401(_739775, _739773), -(firstordercollection(_739773))], (4196 ^ _610806) ^ [_739981, _739983] : [tptptypes_9_401(_739983, _739981), -(firstordercollection(_739983))], (4202 ^ _610806) ^ [_740160] : [-(natfunction(f_tptpquantityfn_13(_740160), c_tptpquantityfn_13))], (4204 ^ _610806) ^ [_740240] : [-(natargument(f_tptpquantityfn_13(_740240), n_1, _740240))], (4206 ^ _610806) ^ [_740321] : [-(tptpquantity(f_tptpquantityfn_13(_740321)))], (4208 ^ _610806) ^ [_740429, _740431] : [borderson(_740431, _740429), -(geographicalregion(_740429))], (4214 ^ _610806) ^ [_740637, _740639] : [borderson(_740639, _740637), -(geographicalregion(_740639))], (4220 ^ _610806) ^ [_740845, _740847] : [borderson(_740847, _740845), -(borderson(_740845, _740847))], (4226 ^ _610806) ^ [_741025] : [borderson(_741025, _741025)], (4228 ^ _610806) ^ [_741118] : [isa(_741118, c_tptpcol_14_92264), -(tptpcol_14_92264(_741118))], (4234 ^ _610806) ^ [_741306] : [tptpcol_14_92264(_741306), -(isa(_741306, c_tptpcol_14_92264))], (4240 ^ _610806) ^ [_741494] : [isa(_741494, c_tptpcol_15_92268), -(tptpcol_15_92268(_741494))], (4246 ^ _610806) ^ [_741682] : [tptpcol_15_92268(_741682), -(isa(_741682, c_tptpcol_15_92268))], (4252 ^ _610806) ^ [_741870] : [isa(_741870, c_tptpcol_6_116738), -(tptpcol_6_116738(_741870))], (4258 ^ _610806) ^ [_742058] : [tptpcol_6_116738(_742058), -(isa(_742058, c_tptpcol_6_116738))], (4264 ^ _610806) ^ [_742260, _742262] : [tptptypes_5_387(_742262, _742260), -(firstordercollection(_742260))], (4270 ^ _610806) ^ [_742468, _742470] : [tptptypes_5_387(_742470, _742468), -(firstordercollection(_742470))], (4276 ^ _610806) ^ [_742676, _742678] : [tptptypes_6_388(_742678, _742676), -(firstordercollection(_742676))], (4282 ^ _610806) ^ [_742884, _742886] : [tptptypes_6_388(_742886, _742884), -(firstordercollection(_742886))], (4288 ^ _610806) ^ [_743078] : [isa(_743078, c_shavingrazor_manual), -(shavingrazor_manual(_743078))], (4294 ^ _610806) ^ [_743266] : [shavingrazor_manual(_743266), -(isa(_743266, c_shavingrazor_manual))], (4300 ^ _610806) ^ [_743454] : [isa(_743454, c_tptpcol_9_109060), -(tptpcol_9_109060(_743454))], (4306 ^ _610806) ^ [_743642] : [tptpcol_9_109060(_743642), -(isa(_743642, c_tptpcol_9_109060))], (4312 ^ _610806) ^ [_743830] : [isa(_743830, c_tptpcol_10_109061), -(tptpcol_10_109061(_743830))], (4318 ^ _610806) ^ [_744018] : [tptpcol_10_109061(_744018), -(isa(_744018, c_tptpcol_10_109061))], (4324 ^ _610806) ^ [_744206] : [isa(_744206, c_executionbyfiringsquad), -(executionbyfiringsquad(_744206))], (4330 ^ _610806) ^ [_744394] : [executionbyfiringsquad(_744394), -(isa(_744394, c_executionbyfiringsquad))], (4336 ^ _610806) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _610806) ^ [_744635] : [isa(_744635, c_navypersonnel), -(navypersonnel(_744635))], (4344 ^ _610806) ^ [_744823] : [navypersonnel(_744823), -(isa(_744823, c_navypersonnel))], (4350 ^ _610806) ^ [_745011] : [isa(_745011, c_tptpcol_12_92262), -(tptpcol_12_92262(_745011))], (4356 ^ _610806) ^ [_745199] : [tptpcol_12_92262(_745199), -(isa(_745199, c_tptpcol_12_92262))], (4362 ^ _610806) ^ [_745387] : [isa(_745387, c_thing), -(thing(_745387))], (4368 ^ _610806) ^ [_745575] : [thing(_745575), -(isa(_745575, c_thing))], (4374 ^ _610806) ^ [_745763] : [isa(_745763, c_computerdataartifact), -(computerdataartifact(_745763))], (4380 ^ _610806) ^ [_745951] : [computerdataartifact(_745951), -(isa(_745951, c_computerdataartifact))], (4386 ^ _610806) ^ [_746139] : [isa(_746139, c_applicationcontext), -(applicationcontext(_746139))], (4392 ^ _610806) ^ [_746327] : [applicationcontext(_746327), -(isa(_746327, c_applicationcontext))], (4398 ^ _610806) ^ [_746529, _746531] : [inregion(_746531, _746529), -(spatialthing_nonsituational(_746529))], (4404 ^ _610806) ^ [_746737, _746739] : [inregion(_746739, _746737), -(spatialthing_nonsituational(_746739))], (4410 ^ _610806) ^ [_746959, _746961, _746963] : [-(inregion(_746963, _746959)), inregion(_746963, _746961), inregion(_746961, _746959)], (4420 ^ _610806) ^ [_747254] : [spatialthing_nonsituational(_747254), -(inregion(_747254, _747254))], (4426 ^ _610806) ^ [_747427] : [-(natfunction(f_tptpquantityfn_1(_747427), c_tptpquantityfn_1))], (4428 ^ _610806) ^ [_747507] : [-(natargument(f_tptpquantityfn_1(_747507), n_1, _747507))], (4430 ^ _610806) ^ [_747588] : [-(tptpquantity(f_tptpquantityfn_1(_747588)))], (4432 ^ _610806) ^ [_747682] : [isa(_747682, c_furpelt), -(furpelt(_747682))], (4438 ^ _610806) ^ [_747870] : [furpelt(_747870), -(isa(_747870, c_furpelt))], (4444 ^ _610806) ^ [_748072, _748074] : [tptpofobject(_748074, _748072), -(tptpquantity(_748072))], (4450 ^ _610806) ^ [_748280, _748282] : [tptpofobject(_748282, _748280), -(partiallytangible(_748282))], (4456 ^ _610806) ^ [_748502, _748504, _748506] : [relationallinstance(_748506, _748504, _748502), -(thing(_748502))], (4462 ^ _610806) ^ [_748732, _748734, _748736] : [relationallinstance(_748736, _748734, _748732), -(collection(_748734))], (4468 ^ _610806) ^ [_748962, _748964, _748966] : [relationallinstance(_748966, _748964, _748962), -(binarypredicate(_748966))], (4474 ^ _610806) ^ [_749164] : [isa(_749164, c_tptpcol_13_93766), -(tptpcol_13_93766(_749164))], (4480 ^ _610806) ^ [_749352] : [tptpcol_13_93766(_749352), -(isa(_749352, c_tptpcol_13_93766))], (4486 ^ _610806) ^ [_749540] : [isa(_749540, c_tptpcol_9_40196), -(tptpcol_9_40196(_749540))], (4492 ^ _610806) ^ [_749728] : [tptpcol_9_40196(_749728), -(isa(_749728, c_tptpcol_9_40196))], (4498 ^ _610806) ^ [_749916] : [isa(_749916, c_tptpcol_10_40324), -(tptpcol_10_40324(_749916))], (4504 ^ _610806) ^ [_750104] : [tptpcol_10_40324(_750104), -(isa(_750104, c_tptpcol_10_40324))], (4510 ^ _610806) ^ [_750292] : [isa(_750292, c_tptpcol_7_72707), -(tptpcol_7_72707(_750292))], (4516 ^ _610806) ^ [_750480] : [tptpcol_7_72707(_750480), -(isa(_750480, c_tptpcol_7_72707))], (4522 ^ _610806) ^ [_750668] : [isa(_750668, c_tptpcol_8_72708), -(tptpcol_8_72708(_750668))], (4528 ^ _610806) ^ [_750856] : [tptpcol_8_72708(_750856), -(isa(_750856, c_tptpcol_8_72708))], (4534 ^ _610806) ^ [_751044] : [isa(_751044, c_tptpcol_11_93764), -(tptpcol_11_93764(_751044))], (4540 ^ _610806) ^ [_751232] : [tptpcol_11_93764(_751232), -(isa(_751232, c_tptpcol_11_93764))], (4546 ^ _610806) ^ [_751420] : [isa(_751420, c_tptpcol_12_93765), -(tptpcol_12_93765(_751420))], (4552 ^ _610806) ^ [_751608] : [tptpcol_12_93765(_751608), -(isa(_751608, c_tptpcol_12_93765))], (4558 ^ _610806) ^ [_751796] : [isa(_751796, c_tptpcol_4_114689), -(tptpcol_4_114689(_751796))], (4564 ^ _610806) ^ [_751984] : [tptpcol_4_114689(_751984), -(isa(_751984, c_tptpcol_4_114689))], (4570 ^ _610806) ^ [_752172] : [isa(_752172, c_tptpcol_5_114690), -(tptpcol_5_114690(_752172))], (4576 ^ _610806) ^ [_752360] : [tptpcol_5_114690(_752360), -(isa(_752360, c_tptpcol_5_114690))], (4582 ^ _610806) ^ [_752548] : [isa(_752548, c_tptpcol_3_98305), -(tptpcol_3_98305(_752548))], (4588 ^ _610806) ^ [_752736] : [tptpcol_3_98305(_752736), -(isa(_752736, c_tptpcol_3_98305))], (4594 ^ _610806) ^ [_752924] : [isa(_752924, c_tptpcol_4_106497), -(tptpcol_4_106497(_752924))], (4600 ^ _610806) ^ [_753112] : [tptpcol_4_106497(_753112), -(isa(_753112, c_tptpcol_4_106497))], (4606 ^ _610806) ^ [_753327, _753329, _753331, _753333] : [-(natfunction(f_relationexistsallfn(_753333, _753331, _753329, _753327), c_relationexistsallfn))], (4608 ^ _610806) ^ [_753458, _753460, _753462, _753464] : [-(natargument(f_relationexistsallfn(_753464, _753462, _753460, _753458), n_1, _753464))], (4610 ^ _610806) ^ [_753590, _753592, _753594, _753596] : [-(natargument(f_relationexistsallfn(_753596, _753594, _753592, _753590), n_2, _753594))], (4612 ^ _610806) ^ [_753722, _753724, _753726, _753728] : [-(natargument(f_relationexistsallfn(_753728, _753726, _753724, _753722), n_3, _753724))], (4614 ^ _610806) ^ [_753854, _753856, _753858, _753860] : [-(natargument(f_relationexistsallfn(_753860, _753858, _753856, _753854), n_4, _753854))], (4616 ^ _610806) ^ [_753986, _753988, _753990, _753992] : [-(thing(f_relationexistsallfn(_753992, _753990, _753988, _753986)))], (4618 ^ _610806) ^ [_754103, _754105] : [resultisaarg(_754105, _754103), -(positiveinteger(_754103))], (4624 ^ _610806) ^ [_754311, _754313] : [resultisaarg(_754313, _754311), -(function_denotational(_754313))], (4630 ^ _610806) ^ [_754519, _754521] : [tptptypes_7_389(_754521, _754519), -(firstordercollection(_754519))], (4636 ^ _610806) ^ [_754727, _754729] : [tptptypes_7_389(_754729, _754727), -(firstordercollection(_754729))], (4642 ^ _610806) ^ [_754935, _754937] : [tptptypes_8_390(_754937, _754935), -(firstordercollection(_754935))], (4648 ^ _610806) ^ [_755143, _755145] : [tptptypes_8_390(_755145, _755143), -(firstordercollection(_755145))], (4654 ^ _610806) ^ [_755351, _755353] : [tptptypes_8_692(_755353, _755351), -(firstordercollection(_755351))], (4660 ^ _610806) ^ [_755559, _755561] : [tptptypes_8_692(_755561, _755559), -(firstordercollection(_755561))], (4666 ^ _610806) ^ [_755767, _755769] : [tptptypes_9_693(_755769, _755767), -(firstordercollection(_755767))], (4672 ^ _610806) ^ [_755975, _755977] : [tptptypes_9_693(_755977, _755975), -(firstordercollection(_755977))], (4678 ^ _610806) ^ [_756169] : [isa(_756169, c_tptpcol_11_40388), -(tptpcol_11_40388(_756169))], (4684 ^ _610806) ^ [_756357] : [tptpcol_11_40388(_756357), -(isa(_756357, c_tptpcol_11_40388))], (4690 ^ _610806) ^ [_756545] : [isa(_756545, c_marriagelicensedocument), -(marriagelicensedocument(_756545))], (4696 ^ _610806) ^ [_756733] : [marriagelicensedocument(_756733), -(isa(_756733, c_marriagelicensedocument))], (4702 ^ _610806) ^ [_756921] : [isa(_756921, c_tptpcol_1_65536), -(tptpcol_1_65536(_756921))], (4708 ^ _610806) ^ [_757109] : [tptpcol_1_65536(_757109), -(isa(_757109, c_tptpcol_1_65536))], (4714 ^ _610806) ^ [_757297] : [isa(_757297, c_tptpcol_2_98304), -(tptpcol_2_98304(_757297))], (4720 ^ _610806) ^ [_757485] : [tptpcol_2_98304(_757485), -(isa(_757485, c_tptpcol_2_98304))], (4726 ^ _610806) ^ [_757673] : [isa(_757673, c_tptpcol_10_92166), -(tptpcol_10_92166(_757673))], (4732 ^ _610806) ^ [_757861] : [tptpcol_10_92166(_757861), -(isa(_757861, c_tptpcol_10_92166))], (4738 ^ _610806) ^ [_758049] : [isa(_758049, c_tptpcol_11_92230), -(tptpcol_11_92230(_758049))], (4744 ^ _610806) ^ [_758237] : [tptpcol_11_92230(_758237), -(isa(_758237, c_tptpcol_11_92230))], (4750 ^ _610806) ^ [_758425] : [isa(_758425, c_orderingpredicate), -(orderingpredicate(_758425))], (4756 ^ _610806) ^ [_758613] : [orderingpredicate(_758613), -(isa(_758613, c_orderingpredicate))], (4762 ^ _610806) ^ [_758801] : [isa(_758801, c_tptpcol_9_18439), -(tptpcol_9_18439(_758801))], (4768 ^ _610806) ^ [_758989] : [tptpcol_9_18439(_758989), -(isa(_758989, c_tptpcol_9_18439))], (4774 ^ _610806) ^ [_759177] : [isa(_759177, c_tptpcol_10_18567), -(tptpcol_10_18567(_759177))], (4780 ^ _610806) ^ [_759365] : [tptpcol_10_18567(_759365), -(isa(_759365, c_tptpcol_10_18567))], (4786 ^ _610806) ^ [_759553] : [isa(_759553, c_tptpcol_2_65537), -(tptpcol_2_65537(_759553))], (4792 ^ _610806) ^ [_759741] : [tptpcol_2_65537(_759741), -(isa(_759741, c_tptpcol_2_65537))], (4798 ^ _610806) ^ [_759929] : [isa(_759929, c_tptpcol_3_81921), -(tptpcol_3_81921(_759929))], (4804 ^ _610806) ^ [_760117] : [tptpcol_3_81921(_760117), -(isa(_760117, c_tptpcol_3_81921))], (4810 ^ _610806) ^ [_760305] : [isa(_760305, c_artsupplies), -(artsupplies(_760305))], (4816 ^ _610806) ^ [_760493] : [artsupplies(_760493), -(isa(_760493, c_artsupplies))], (4822 ^ _610806) ^ [_760681] : [isa(_760681, c_enduringthing_localized), -(enduringthing_localized(_760681))], (4828 ^ _610806) ^ [_760869] : [enduringthing_localized(_760869), -(isa(_760869, c_enduringthing_localized))], (4834 ^ _610806) ^ [_761057] : [isa(_761057, c_location_underspecified), -(location_underspecified(_761057))], (4840 ^ _610806) ^ [_761245] : [location_underspecified(_761245), -(isa(_761245, c_location_underspecified))], (4846 ^ _610806) ^ [_761433] : [isa(_761433, c_trajector_underspecified), -(trajector_underspecified(_761433))], (4852 ^ _610806) ^ [_761621] : [trajector_underspecified(_761621), -(isa(_761621, c_trajector_underspecified))], (4858 ^ _610806) ^ [_761809] : [isa(_761809, c_individual), -(individual(_761809))], (4864 ^ _610806) ^ [_761997] : [individual(_761997), -(isa(_761997, c_individual))], (4870 ^ _610806) ^ [_762185] : [isa(_762185, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_762185))], (4876 ^ _610806) ^ [_762373] : [partiallyintangibleindividual(_762373), -(isa(_762373, c_partiallyintangibleindividual))], (4882 ^ _610806) ^ [_762561] : [isa(_762561, c_tptpcol_10_22022), -(tptpcol_10_22022(_762561))], (4888 ^ _610806) ^ [_762749] : [tptpcol_10_22022(_762749), -(isa(_762749, c_tptpcol_10_22022))], (4894 ^ _610806) ^ [_762937] : [isa(_762937, c_tptpcol_11_22023), -(tptpcol_11_22023(_762937))], (4900 ^ _610806) ^ [_763125] : [tptpcol_11_22023(_763125), -(isa(_763125, c_tptpcol_11_22023))], (4906 ^ _610806) ^ [_763313] : [isa(_763313, c_tptpcol_5_20483), -(tptpcol_5_20483(_763313))], (4912 ^ _610806) ^ [_763501] : [tptpcol_5_20483(_763501), -(isa(_763501, c_tptpcol_5_20483))], (4918 ^ _610806) ^ [_763689] : [isa(_763689, c_tptpcol_13_72791), -(tptpcol_13_72791(_763689))], (4924 ^ _610806) ^ [_763877] : [tptpcol_13_72791(_763877), -(isa(_763877, c_tptpcol_13_72791))], (4930 ^ _610806) ^ [_764065] : [isa(_764065, c_tptpcol_14_72792), -(tptpcol_14_72792(_764065))], (4936 ^ _610806) ^ [_764253] : [tptpcol_14_72792(_764253), -(isa(_764253, c_tptpcol_14_72792))], (4942 ^ _610806) ^ [_764441] : [isa(_764441, c_ridgeline_topographical), -(ridgeline_topographical(_764441))], (4948 ^ _610806) ^ [_764629] : [ridgeline_topographical(_764629), -(isa(_764629, c_ridgeline_topographical))], (4954 ^ _610806) ^ [_764817] : [isa(_764817, c_tptpcol_4_16387), -(tptpcol_4_16387(_764817))], (4960 ^ _610806) ^ [_765005] : [tptpcol_4_16387(_765005), -(isa(_765005, c_tptpcol_4_16387))], (4966 ^ _610806) ^ [_765193] : [isa(_765193, c_tptpcol_5_16388), -(tptpcol_5_16388(_765193))], (4972 ^ _610806) ^ [_765381] : [tptpcol_5_16388(_765381), -(isa(_765381, c_tptpcol_5_16388))], (4978 ^ _610806) ^ [_765569] : [isa(_765569, c_tptpcol_8_22020), -(tptpcol_8_22020(_765569))], (4984 ^ _610806) ^ [_765757] : [tptpcol_8_22020(_765757), -(isa(_765757, c_tptpcol_8_22020))], (4990 ^ _610806) ^ [_765945] : [isa(_765945, c_tptpcol_9_22021), -(tptpcol_9_22021(_765945))], (4996 ^ _610806) ^ [_766133] : [tptpcol_9_22021(_766133), -(isa(_766133, c_tptpcol_9_22021))], (5002 ^ _610806) ^ [_766321] : [isa(_766321, c_transitivebinarypredicate), -(transitivebinarypredicate(_766321))], (5008 ^ _610806) ^ [_766509] : [transitivebinarypredicate(_766509), -(isa(_766509, c_transitivebinarypredicate))], (5014 ^ _610806) ^ [_766711, _766713] : [geographicalsubregions(_766713, _766711), -(geographicalregion(_766711))], (5020 ^ _610806) ^ [_766919, _766921] : [geographicalsubregions(_766921, _766919), -(geographicalregion(_766921))], (5026 ^ _610806) ^ [_767141, _767143, _767145] : [-(geographicalsubregions(_767145, _767141)), geographicalsubregions(_767145, _767143), geographicalsubregions(_767143, _767141)], (5036 ^ _610806) ^ [_767436] : [geographicalregion(_767436), -(geographicalsubregions(_767436, _767436))], (5042 ^ _610806) ^ [_767624] : [isa(_767624, c_tptpcol_12_40420), -(tptpcol_12_40420(_767624))], (5048 ^ _610806) ^ [_767812] : [tptpcol_12_40420(_767812), -(isa(_767812, c_tptpcol_12_40420))], (5054 ^ _610806) ^ [_768000] : [isa(_768000, c_tptpcol_13_40421), -(tptpcol_13_40421(_768000))], (5060 ^ _610806) ^ [_768188] : [tptpcol_13_40421(_768188), -(isa(_768188, c_tptpcol_13_40421))], (5066 ^ _610806) ^ [_768376] : [isa(_768376, c_tptpcol_6_92162), -(tptpcol_6_92162(_768376))], (5072 ^ _610806) ^ [_768564] : [tptpcol_6_92162(_768564), -(isa(_768564, c_tptpcol_6_92162))], (5078 ^ _610806) ^ [_768752] : [isa(_768752, c_tptpcol_7_93186), -(tptpcol_7_93186(_768752))], (5084 ^ _610806) ^ [_768940] : [tptpcol_7_93186(_768940), -(isa(_768940, c_tptpcol_7_93186))], (5090 ^ _610806) ^ [_769142, _769144] : [most(_769144, _769142), -(setorcollection(_769142))], (5096 ^ _610806) ^ [_769350, _769352] : [most(_769352, _769350), -(setorcollection(_769350))], (5102 ^ _610806) ^ [_769558, _769560] : [most(_769560, _769558), -(setorcollection(_769560))], (5108 ^ _610806) ^ [_769766, _769768] : [most(_769768, _769766), -(setorcollection(_769768))], (5114 ^ _610806) ^ [_769960] : [setorcollection(_769960), -(most(_769960, _769960))], (5120 ^ _610806) ^ [_770148] : [setorcollection(_770148), -(most(_770148, _770148))], (5126 ^ _610806) ^ [_770364, _770366, _770368] : [-(most(_770368, _770364)), most(_770368, _770366), subsetof(_770366, _770364)], (5136 ^ _610806) ^ [_770687, _770689, _770691] : [-(most(_770691, _770687)), most(_770691, _770689), subsetof(_770689, _770687)], (5146 ^ _610806) ^ [_770996, _770998] : [subsetof(_770998, _770996), -(setorcollection(_770996))], (5152 ^ _610806) ^ [_771204, _771206] : [subsetof(_771206, _771204), -(setorcollection(_771206))], (5158 ^ _610806) ^ [_771426, _771428, _771430] : [-(subsetof(_771430, _771426)), subsetof(_771430, _771428), subsetof(_771428, _771426)], (5168 ^ _610806) ^ [_771721] : [setorcollection(_771721), -(subsetof(_771721, _771721))], (5174 ^ _610806) ^ [_771937, _771939, _771941] : [-(subsetof(_771937, _771939)), subsetof(_771941, _771939), subsetof(_771937, _771941)], (5184 ^ _610806) ^ [_772260, _772262, _772264] : [-(subsetof(_772264, _772260)), subsetof(_772264, _772262), subsetof(_772262, _772260)], (5194 ^ _610806) ^ [_772583, _772585, _772587] : [-(subsetof(_772587, _772583)), subsetof(_772587, _772585), subsetof(_772585, _772583)], (5204 ^ _610806) ^ [_772892, _772894] : [genlpreds(_772894, _772892), -(predicate(_772892))], (5210 ^ _610806) ^ [_773100, _773102] : [genlpreds(_773102, _773100), -(predicate(_773100))], (5216 ^ _610806) ^ [_773308, _773310] : [genlpreds(_773310, _773308), -(predicate(_773310))], (5222 ^ _610806) ^ [_773516, _773518] : [genlpreds(_773518, _773516), -(predicate(_773518))], (5228 ^ _610806) ^ [_773738, _773740, _773742] : [-(genlpreds(_773742, _773738)), genlpreds(_773742, _773740), genlpreds(_773740, _773738)], (5238 ^ _610806) ^ [_774033] : [predicate(_774033), -(genlpreds(_774033, _774033))], (5244 ^ _610806) ^ [_774221] : [predicate(_774221), -(genlpreds(_774221, _774221))], (5250 ^ _610806) ^ [_774423, _774425] : [genlinverse(_774425, _774423), -(binarypredicate(_774423))], (5256 ^ _610806) ^ [_774631, _774633] : [genlinverse(_774633, _774631), -(binarypredicate(_774633))], (5262 ^ _610806) ^ [_774853, _774855, _774857] : [-(genlinverse(_774853, _774855)), genlinverse(_774857, _774855), genlpreds(_774853, _774857)], (5272 ^ _610806) ^ [_775176, _775178, _775180] : [-(genlinverse(_775180, _775176)), genlinverse(_775180, _775178), genlpreds(_775178, _775176)], (5282 ^ _610806) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _610806) ^ [_775524] : [isa(_775524, c_microtheory), -(microtheory(_775524))], (5290 ^ _610806) ^ [_775712] : [microtheory(_775712), -(isa(_775712, c_microtheory))], (5296 ^ _610806) ^ [_775885] : [-(natfunction(f_urlfn(_775885), c_urlfn))], (5298 ^ _610806) ^ [_775965] : [-(natargument(f_urlfn(_775965), n_1, _775965))], (5300 ^ _610806) ^ [_776046] : [-(uniformresourcelocator(f_urlfn(_776046)))], (5302 ^ _610806) ^ [_776125] : [-(natfunction(f_urlreferentfn(_776125), c_urlreferentfn))], (5304 ^ _610806) ^ [_776205] : [-(natargument(f_urlreferentfn(_776205), n_1, _776205))], (5306 ^ _610806) ^ [_776286] : [-(computerdataartifact(f_urlreferentfn(_776286)))], (5308 ^ _610806) ^ [_776379, _776381] : [-(natfunction(f_contentmtofcdafromeventfn(_776381, _776379), c_contentmtofcdafromeventfn))], (5310 ^ _610806) ^ [_776476, _776478] : [-(natargument(f_contentmtofcdafromeventfn(_776478, _776476), n_1, _776478))], (5312 ^ _610806) ^ [_776574, _776576] : [-(natargument(f_contentmtofcdafromeventfn(_776576, _776574), n_2, _776574))], (5314 ^ _610806) ^ [_776672, _776674] : [-(microtheory(f_contentmtofcdafromeventfn(_776674, _776672)))], (5316 ^ _610806) ^ [_776783, _776785] : [isa(_776785, _776783), -(collection(_776783))], (5322 ^ _610806) ^ [_776991, _776993] : [isa(_776993, _776991), -(collection(_776991))], (5328 ^ _610806) ^ [_777199, _777201] : [isa(_777201, _777199), -(thing(_777201))], (5334 ^ _610806) ^ [_777407, _777409] : [isa(_777409, _777407), -(thing(_777409))], (5340 ^ _610806) ^ [_777629, _777631, _777633] : [-(isa(_777633, _777629)), isa(_777633, _777631), genls(_777631, _777629)], (5350 ^ _610806) ^ [_777924] : [isa(_777924, c_inanimateobject), -(inanimateobject(_777924))], (5356 ^ _610806) ^ [_778112] : [inanimateobject(_778112), -(isa(_778112, c_inanimateobject))], (5362 ^ _610806) ^ [_778300] : [isa(_778300, c_tptpcol_9_72709), -(tptpcol_9_72709(_778300))], (5368 ^ _610806) ^ [_778488] : [tptpcol_9_72709(_778488), -(isa(_778488, c_tptpcol_9_72709))], (5374 ^ _610806) ^ [_778676] : [isa(_778676, c_tptpcol_10_72710), -(tptpcol_10_72710(_778676))], (5380 ^ _610806) ^ [_778864] : [tptpcol_10_72710(_778864), -(isa(_778864, c_tptpcol_10_72710))], (5386 ^ _610806) ^ [_779052] : [isa(_779052, c_tptpcol_14_40429), -(tptpcol_14_40429(_779052))], (5392 ^ _610806) ^ [_779240] : [tptpcol_14_40429(_779240), -(isa(_779240, c_tptpcol_14_40429))], (5398 ^ _610806) ^ [_779428] : [isa(_779428, c_tptpcol_15_40430), -(tptpcol_15_40430(_779428))], (5404 ^ _610806) ^ [_779616] : [tptpcol_15_40430(_779616), -(isa(_779616, c_tptpcol_15_40430))], (5410 ^ _610806) ^ [_779818, _779820] : [genls(_779820, _779818), -(collection(_779818))], (5416 ^ _610806) ^ [_780026, _780028] : [genls(_780028, _780026), -(collection(_780026))], (5422 ^ _610806) ^ [_780234, _780236] : [genls(_780236, _780234), -(collection(_780236))], (5428 ^ _610806) ^ [_780442, _780444] : [genls(_780444, _780442), -(collection(_780444))], (5434 ^ _610806) ^ [_780664, _780666, _780668] : [-(genls(_780668, _780664)), genls(_780668, _780666), genls(_780666, _780664)], (5444 ^ _610806) ^ [_780959] : [collection(_780959), -(genls(_780959, _780959))], (5450 ^ _610806) ^ [_781147] : [collection(_781147), -(genls(_781147, _781147))], (5456 ^ _610806) ^ [_781363, _781365, _781367] : [-(genls(_781363, _781365)), genls(_781367, _781365), genls(_781363, _781367)], (5466 ^ _610806) ^ [_781686, _781688, _781690] : [-(genls(_781690, _781686)), genls(_781690, _781688), genls(_781688, _781686)], (5476 ^ _610806) ^ [_781981] : [isa(_781981, c_partiallytangible), -(partiallytangible(_781981))], (5482 ^ _610806) ^ [_782169] : [partiallytangible(_782169), -(isa(_782169, c_partiallytangible))], (5488 ^ _610806) ^ [_782357] : [isa(_782357, c_intangible), -(intangible(_782357))], (5494 ^ _610806) ^ [_782545] : [intangible(_782545), -(isa(_782545, c_intangible))], (5500 ^ _610806) ^ [_782747, _782749] : [disjointwith(_782749, _782747), -(collection(_782747))], (5506 ^ _610806) ^ [_782955, _782957] : [disjointwith(_782957, _782955), -(collection(_782957))], (5512 ^ _610806) ^ [_783163, _783165] : [disjointwith(_783165, _783163), -(disjointwith(_783163, _783165))], (5518 ^ _610806) ^ [_783387, _783389, _783391] : [-(disjointwith(_783391, _783387)), disjointwith(_783391, _783389), genls(_783387, _783389)], (5528 ^ _610806) ^ [_783710, _783712, _783714] : [-(disjointwith(_783710, _783712)), disjointwith(_783714, _783712), genls(_783710, _783714)], (5538 ^ _610806) ^ [_784019, _784021] : [-(mtvisible(_784019)), mtvisible(_784021), genlmt(_784021, _784019)], (5548 ^ _610806) ^ [_784314, _784316] : [genlmt(_784316, _784314), -(microtheory(_784314))], (5554 ^ _610806) ^ [_784522, _784524] : [genlmt(_784524, _784522), -(microtheory(_784522))], (5560 ^ _610806) ^ [_784730, _784732] : [genlmt(_784732, _784730), -(microtheory(_784732))], (5566 ^ _610806) ^ [_784938, _784940] : [genlmt(_784940, _784938), -(microtheory(_784940))], (5572 ^ _610806) ^ [_785160, _785162, _785164] : [-(genlmt(_785164, _785160)), genlmt(_785164, _785162), genlmt(_785162, _785160)], (5582 ^ _610806) ^ [_785455] : [microtheory(_785455), -(genlmt(_785455, _785455))], (5594 ^ _610806) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _610806) ^ [_785643] : [microtheory(_785643), -(genlmt(_785643, _785643))]], input).
% 4.07/4.51  ncf('1',plain,[inregion(c_georegion_l4_x75_y75, c_georegion_l4_x75_y75)],start(5598 ^ 0,bind([[_800370], [c_georegion_l4_x75_y75]]))).
% 4.07/4.51  ncf('1.1',plain,[-(inregion(c_georegion_l4_x75_y75, c_georegion_l4_x75_y75)), geographicalsubregions(c_georegion_l4_x75_y75, c_georegion_l4_x75_y75)],extension(504 ^ 1,bind([[_625151, _625153], [c_georegion_l4_x75_y75, c_georegion_l4_x75_y75]]))).
% 4.07/4.51  ncf('1.1.1',plain,[-(geographicalsubregions(c_georegion_l4_x75_y75, c_georegion_l4_x75_y75)), geographicalregion(c_georegion_l4_x75_y75)],extension(5036 ^ 2,bind([[_767436], [c_georegion_l4_x75_y75]]))).
% 4.07/4.51  ncf('1.1.1.1',plain,[-(geographicalregion(c_georegion_l4_x75_y75)), geolevel_4(c_georegion_l4_x75_y75)],extension(1796 ^ 3,bind([[_662074], [c_georegion_l4_x75_y75]]))).
% 4.07/4.51  ncf('1.1.1.1.1',plain,[-(geolevel_4(c_georegion_l4_x75_y75)), mtvisible(c_worldgeographymt)],extension(1808 ^ 4)).
% 4.07/4.51  ncf('1.1.1.1.1.1',plain,[-(mtvisible(c_worldgeographymt)), mtvisible(c_tptpgeo_member8_mt), genlmt(c_tptpgeo_member8_mt, c_worldgeographymt)],extension(5538 ^ 5,bind([[_784019, _784021], [c_worldgeographymt, c_tptpgeo_member8_mt]]))).
% 4.07/4.51  ncf('1.1.1.1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member8_mt))],extension(5596 ^ 6,bind([[_800333], [_412922]]))).
% 4.07/4.51  ncf('1.1.1.1.1.1.2',plain,[-(genlmt(c_tptpgeo_member8_mt, c_worldgeographymt)), genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt), genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt)],extension(5572 ^ 6,bind([[_785160, _785162, _785164], [c_worldgeographymt, c_tptpgeo_spindleheadmt, c_tptpgeo_member8_mt]]))).
% 4.07/4.51  ncf('1.1.1.1.1.1.2.1',plain,[-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))],extension(2 ^ 7)).
% 4.07/4.51  ncf('1.1.1.1.1.1.2.2',plain,[-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))],extension(1284 ^ 7)).
% 4.07/4.51  %-----------------------------------------------------
% 4.07/4.51  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------