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

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

% Result   : Theorem 0.46s 1.38s
% Output   : Proof 0.46s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR029+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n027.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Fri May 19 00:51:36 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 0.46/1.38  
% 0.46/1.38  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.46/1.38  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.46/1.38  %-----------------------------------------------------
% 0.46/1.38  ncf(matrix, plain, [(5596 ^ _610769) ^ [] : [-(mtvisible(c_tptpgeo_member3_mt))], (5598 ^ _610769) ^ [] : [inregion(c_geolocation_x14_y39, c_georegion_l3_x4_y13), geolevel_3(c_georegion_l3_x4_y13)], (2 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _610769) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _610769) ^ [_610974] : [intangible(_610974), partiallytangible(_610974)], (12 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _610769) ^ [_611212] : [tptpcol_15_40430(_611212), -(tptpcol_14_40429(_611212))], (20 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _610769) ^ [_611451] : [tptpcol_10_72710(_611451), -(tptpcol_9_72709(_611451))], (28 ^ _610769) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _610769) ^ [_611690] : [inanimateobject(_611690), -(partiallytangible(_611690))], (36 ^ _610769) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _610769) ^ [_611957, _611959, _611961] : [-(genlpreds(_611961, _611957)), genlinverse(_611961, _611959), genlinverse(_611959, _611957)], (48 ^ _610769) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _610769) ^ [_612319, _612321] : [subsetof(_612321, _612319), -(most(_612321, _612319))], (56 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _610769) ^ [_612568] : [tptpcol_7_93186(_612568), -(tptpcol_6_92162(_612568))], (64 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _610769) ^ [_612807] : [tptpcol_13_40421(_612807), -(tptpcol_12_40420(_612807))], (72 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _610769) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _610769) ^ [_613271] : [tptpcol_9_22021(_613271), -(tptpcol_8_22020(_613271))], (90 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _610769) ^ [_613510] : [tptpcol_5_16388(_613510), -(tptpcol_4_16387(_613510))], (98 ^ _610769) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _610769) ^ [_613868] : [tptpcol_14_72792(_613868), -(tptpcol_13_72791(_613868))], (112 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _610769) ^ [_614107] : [tptpcol_5_20483(_614107), -(tptpcol_4_16387(_614107))], (120 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _610769) ^ [_614346] : [tptpcol_11_22023(_614346), -(tptpcol_10_22022(_614346))], (128 ^ _610769) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _610769) ^ [_614585] : [partiallyintangibleindividual(_614585), -(individual(_614585))], (136 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _610769) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _610769) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _610769) ^ [_614930] : [trajector_underspecified(_614930), -(location_underspecified(_614930))], (148 ^ _610769) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _610769) ^ [_615169] : [partiallytangible(_615169), -(enduringthing_localized(_615169))], (156 ^ _610769) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _610769) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _610769) ^ [_615527] : [tptpcol_3_81921(_615527), -(tptpcol_2_65537(_615527))], (170 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _610769) ^ [_615766] : [tptpcol_10_18567(_615766), -(tptpcol_9_18439(_615766))], (178 ^ _610769) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _610769) ^ [_616005] : [orderingpredicate(_616005), -(transitivebinarypredicate(_616005))], (186 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _610769) ^ [_616244] : [tptpcol_11_92230(_616244), -(tptpcol_10_92166(_616244))], (194 ^ _610769) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _610769) ^ [_616483] : [tptpcol_2_98304(_616483), -(tptpcol_1_65536(_616483))], (202 ^ _610769) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _610769) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _610769) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _610769) ^ [_616947] : [tptpcol_12_40420(_616947), -(tptpcol_11_40388(_616947))], (220 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _610769) ^ [_617200, _617202] : [tptptypes_9_693(_617202, _617200), -(tptptypes_8_692(_617202, _617200))], (228 ^ _610769) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _610769) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _610769) ^ [_617569, _617571] : [tptptypes_8_390(_617571, _617569), -(tptptypes_7_389(_617571, _617569))], (240 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _610769) ^ [_617913, _617915, _617917, _617919] : [-(isa(f_relationexistsallfn(_617919, _617915, _617913, _617917), _617913)), isa(_617919, _617917), relationexistsall(_617915, _617913, _617917)], (254 ^ _610769) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _610769) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _610769) ^ [_618442] : [tptpcol_4_106497(_618442), -(tptpcol_3_98305(_618442))], (268 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _610769) ^ [_618681] : [tptpcol_5_114690(_618681), -(tptpcol_4_114689(_618681))], (276 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _610769) ^ [_618920] : [tptpcol_12_93765(_618920), -(tptpcol_11_93764(_618920))], (284 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _610769) ^ [_619159] : [tptpcol_8_72708(_619159), -(tptpcol_7_72707(_619159))], (292 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _610769) ^ [_619398] : [tptpcol_10_40324(_619398), -(tptpcol_9_40196(_619398))], (300 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _610769) ^ [_619637] : [tptpcol_13_93766(_619637), -(tptpcol_12_93765(_619637))], (308 ^ _610769) ^ [_619823] : [-(tptpofobject(_619823, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_619823)], (318 ^ _610769) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _610769) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _610769) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _610769) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _610769) ^ [_620487] : [location_underspecified(_620487), -(thing(_620487))], (342 ^ _610769) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _610769) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _610769) ^ [_620832] : [tptpcol_12_92262(_620832), -(tptpcol_11_92230(_620832))], (354 ^ _610769) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _610769) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _610769) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _610769) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _610769) ^ [_621349] : [tptpcol_10_109061(_621349), -(tptpcol_9_109060(_621349))], (374 ^ _610769) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _610769) ^ [_621655, _621657] : [tptptypes_6_388(_621657, _621655), -(tptptypes_5_387(_621657, _621655))], (384 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _610769) ^ [_621904] : [tptpcol_6_116738(_621904), -(tptpcol_5_114690(_621904))], (392 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _610769) ^ [_622143] : [tptpcol_15_92268(_622143), -(tptpcol_14_92264(_622143))], (400 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _610769) ^ [_622448] : [-(tptpofobject(_622448, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_622448)], (416 ^ _610769) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _610769) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _610769) ^ [_622901, _622903] : [tptptypes_9_401(_622903, _622901), -(tptptypes_8_400(_622901, _622903))], (430 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _610769) ^ [_623150] : [tptpcol_12_18663(_623150), -(tptpcol_11_18631(_623150))], (438 ^ _610769) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _610769) ^ [_623389] : [setorcollection(_623389), -(mathematicalthing(_623389))], (446 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _610769) ^ [_623628] : [tptpcol_13_109173(_623628), -(tptpcol_12_109157(_623628))], (454 ^ _610769) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _610769) ^ [_623920] : [tptpcol_5_106498(_623920), -(tptpcol_4_106497(_623920))], (464 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _610769) ^ [_624159] : [tptpcol_5_24579(_624159), -(tptpcol_4_24578(_624159))], (472 ^ _610769) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _610769) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _610769) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _610769) ^ [_624689] : [tptpcol_1_65536(_624689), -(tptpcol_0_0(_624689))], (494 ^ _610769) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _610769) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _610769) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _610769) ^ [_625114, _625116] : [geographicalsubregions(_625116, _625114), -(inregion(_625114, _625116))], (510 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _610769) ^ [_625363] : [tptpcol_11_118084(_625363), -(tptpcol_10_118020(_625363))], (518 ^ _610769) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _610769) ^ [_625602] : [mathematicalorcomputationalthing(_625602), -(intangible(_625602))], (526 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _610769) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _610769) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _610769) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _610769) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _610769) ^ [_626120, _626122] : [tptptypes_7_819(_626122, _626120), -(tptptypes_6_818(_626122, _626120))], (544 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _610769) ^ [_626422] : [tptpcol_12_26919(_626422), -(tptpcol_11_26887(_626422))], (554 ^ _610769) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _610769) ^ [_626675, _626677] : [tptptypes_8_692(_626677, _626675), -(tptptypes_7_691(_626675, _626677))], (562 ^ _610769) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _610769) ^ [_626924] : [tptpcol_2_2(_626924), -(tptpcol_1_1(_626924))], (570 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _610769) ^ [_627216] : [tptpcol_9_92165(_627216), -(tptpcol_8_92164(_627216))], (580 ^ _610769) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _610769) ^ [_627455] : [fixedordercollection(_627455), -(collection(_627455))], (588 ^ _610769) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _610769) ^ [_627694] : [tptpcol_1_1(_627694), tptpcol_1_65536(_627694)], (596 ^ _610769) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _610769) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _610769) ^ [_627985] : [microtheory(_627985), -(aspatialinformationstore(_627985))], (606 ^ _610769) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _610769) ^ [_628290] : [-(tptp_8_875(_628290, f_relationallexistsfn(_628290, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_628290, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _610769) ^ [] : [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 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _610769) ^ [_628741] : [tptpcol_10_118020(_628741), -(tptpcol_9_118019(_628741))], (636 ^ _610769) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _610769) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _610769) ^ [_629099] : [-(tptp_9_720(_629099, f_relationallexistsfn(_629099, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_629099)], (654 ^ _610769) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _610769) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _610769) ^ [_629548] : [individual(_629548), setorcollection(_629548)], (668 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _610769) ^ [_629786] : [tptpcol_12_22055(_629786), -(tptpcol_11_22023(_629786))], (676 ^ _610769) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _610769) ^ [_630025] : [applicationcontext(_630025), -(microtheory(_630025))], (684 ^ _610769) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _610769) ^ [_630331, _630333] : [tptptypes_8_400(_630333, _630331), -(tptptypes_7_396(_630333, _630331))], (694 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _610769) ^ [_630580] : [tptpcol_11_18631(_630580), -(tptpcol_10_18567(_630580))], (702 ^ _610769) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _610769) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _610769) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _610769) ^ [_630991] : [mathematicalthing(_630991), -(mathematicalorcomputationalthing(_630991))], (718 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _610769) ^ [_631283] : [tptpcol_15_93775(_631283), -(tptpcol_14_93774(_631283))], (728 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _610769) ^ [_631522] : [tptpcol_8_109059(_631522), -(tptpcol_7_108547(_631522))], (736 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _610769) ^ [_631761] : [tptpcol_14_40429(_631761), -(tptpcol_13_40421(_631761))], (744 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _610769) ^ [_632119] : [tptpcol_14_22072(_632119), -(tptpcol_13_22071(_632119))], (758 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _610769) ^ [_632358] : [tptpcol_14_93774(_632358), -(tptpcol_13_93766(_632358))], (766 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _610769) ^ [_632597] : [tptpcol_10_22022(_632597), -(tptpcol_9_22021(_632597))], (774 ^ _610769) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _610769) ^ [_632836] : [inanimateobject_nonnatural(_632836), -(inanimateobject(_632836))], (782 ^ _610769) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _610769) ^ [_633181] : [tptpcol_9_72709(_633181), -(tptpcol_8_72708(_633181))], (794 ^ _610769) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _610769) ^ [_633420] : [-(tptpofobject(_633420, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_633420)], (806 ^ _610769) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _610769) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _610769) ^ [_633859] : [firstordercollection(_633859), -(fixedordercollection(_633859))], (820 ^ _610769) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _610769) ^ [_634270] : [tptpcol_13_18664(_634270), -(tptpcol_12_18663(_634270))], (836 ^ _610769) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _610769) ^ [_634509] : [artifact(_634509), -(inanimateobject_nonnatural(_634509))], (844 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _610769) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _610769) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _610769) ^ [_634907] : [tptpcol_7_113665(_634907), -(tptpcol_6_112641(_634907))], (858 ^ _610769) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _610769) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _610769) ^ [_635265] : [geographicalregion(_635265), -(partiallytangible(_635265))], (872 ^ _610769) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _610769) ^ [_635518, _635520] : [disjointwith(_635520, _635518), -(no(_635520, _635518))], (880 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _610769) ^ [_635767] : [tptpcol_4_24578(_635767), -(tptpcol_3_16386(_635767))], (888 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _610769) ^ [_636006] : [tptpcol_5_69635(_636006), -(tptpcol_4_65539(_636006))], (896 ^ _610769) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _610769) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _610769) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _610769) ^ [_636365, _636367] : [genls(_636367, _636365), -(collection(_636367))], (908 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _610769) ^ [_636612] : [tptpcol_13_22071(_636612), -(tptpcol_12_22055(_636612))], (916 ^ _610769) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _610769) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _610769) ^ [_636904] : [tptpcol_3_98305(_636904), -(tptpcol_2_98304(_636904))], (926 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _610769) ^ [_637143] : [tptpcol_4_114689(_637143), -(tptpcol_3_114688(_637143))], (934 ^ _610769) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _610769) ^ [_637382] : [artsupplies(_637382), -(supplies(_637382))], (942 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _610769) ^ [_637621] : [tptpcol_8_26629(_637621), -(tptpcol_7_26628(_637621))], (950 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _610769) ^ [_637860] : [tptpcol_9_109060(_637860), -(tptpcol_8_109059(_637860))], (958 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _610769) ^ [_638099] : [isa(_638099, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_638099, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _638099))], (966 ^ _610769) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _610769) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _610769) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _610769) ^ [_638683] : [tptpcol_14_109181(_638683), -(tptpcol_13_109173(_638683))], (988 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _610769) ^ [_638922] : [tptpcol_16_30972(_638922), -(tptpcol_15_30970(_638922))], (996 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _610769) ^ [_639214] : [tptpcol_9_18439(_639214), -(tptpcol_8_18438(_639214))], (1006 ^ _610769) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _610769) ^ [_639506] : [tptpcol_12_118116(_639506), -(tptpcol_11_118084(_639506))], (1016 ^ _610769) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _610769) ^ [_639798] : [tptpcol_7_26628(_639798), -(tptpcol_6_26627(_639798))], (1026 ^ _610769) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _610769) ^ [_640051, _640053] : [most(_640053, _640051), -(setorcollection(_640053))], (1034 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _610769) ^ [_640298] : [tptpcol_15_109185(_640298), -(tptpcol_14_109181(_640298))], (1042 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _610769) ^ [_640537] : [tptpcol_16_92269(_640537), -(tptpcol_15_92268(_640537))], (1050 ^ _610769) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _610769) ^ [_640843, _640845] : [tptptypes_8_823(_640845, _640843), -(tptptypes_7_819(_640845, _640843))], (1060 ^ _610769) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _610769) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _610769) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _610769) ^ [_641423] : [tptpcol_10_26886(_641423), -(tptpcol_9_26885(_641423))], (1082 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _610769) ^ [_641715] : [tptpcol_15_72793(_641715), -(tptpcol_14_72792(_641715))], (1092 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _610769) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _610769) ^ [_642073] : [navypersonnel(_642073), -(militaryperson(_642073))], (1106 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _610769) ^ [_642312] : [tptpcol_4_16387(_642312), -(tptpcol_3_16386(_642312))], (1114 ^ _610769) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _610769) ^ [_642551] : [enduringthing_localized(_642551), -(spatialthing_nonsituational(_642551))], (1122 ^ _610769) ^ [_642737] : [collection(_642737), individual(_642737)], (1128 ^ _610769) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _610769) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _610769) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _610769) ^ [_643266] : [physicalorderingpredicate(_643266), -(orderingpredicate(_643266))], (1150 ^ _610769) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _610769) ^ [_643519, _643521] : [disjointwith(_643521, _643519), -(collection(_643519))], (1158 ^ _610769) ^ [_643755, _643757, _643759, _643761] : [-(isa(f_relationallexistsfn(_643761, _643757, _643759, _643755), _643755)), isa(_643761, _643759), relationallexists(_643757, _643759, _643755)], (1168 ^ _610769) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _610769) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _610769) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _610769) ^ [_644364, _644366] : [tptptypes_7_389(_644366, _644364), -(tptptypes_6_388(_644364, _644366))], (1186 ^ _610769) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _610769) ^ [_644679] : [-(hpkb_subnationalagent(_644679)), mtvisible(c_hpkbvocabmt), state_geopolitical(_644679)], (1202 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _610769) ^ [_644997] : [tptpcol_8_22020(_644997), -(tptpcol_7_21508(_644997))], (1210 ^ _610769) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _610769) ^ [_645236] : [-(tptp_9_51(f_relationexistsallfn(_645236, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _645236)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_645236, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _610769) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _610769) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _610769) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _610769) ^ [_645740] : [tptpcol_3_65538(_645740), -(tptpcol_2_65537(_645740))], (1238 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _610769) ^ [_645979] : [tptpcol_14_26921(_645979), -(tptpcol_13_26920(_645979))], (1246 ^ _610769) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _610769) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _610769) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _610769) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _610769) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _610769) ^ [_646430] : [intangibleindividual(_646430), -(partiallyintangibleindividual(_646430))], (1262 ^ _610769) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _610769) ^ [_646788] : [tptpcol_16_130924(_646788), -(tptpcol_15_130923(_646788))], (1276 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _610769) ^ [_647027] : [tptpcol_7_92163(_647027), -(tptpcol_6_92162(_647027))], (1284 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _610769) ^ [_647319] : [tptpcol_16_130933(_647319), -(tptpcol_15_130931(_647319))], (1294 ^ _610769) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _610769) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _610769) ^ [_647625, _647627] : [no(_647627, _647625), -(few(_647627, _647625))], (1304 ^ _610769) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _610769) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _610769) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _610769) ^ [_648033] : [tptpcol_6_20484(_648033), -(tptpcol_5_20483(_648033))], (1318 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _610769) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _610769) ^ [_648497] : [tptpcol_7_108547(_648497), -(tptpcol_6_108546(_648497))], (1336 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _610769) ^ [_648736] : [tptpcol_11_109125(_648736), -(tptpcol_10_109061(_648736))], (1344 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _610769) ^ [_649028] : [tptpcol_8_93698(_649028), -(tptpcol_7_93186(_649028))], (1354 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _610769) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _610769) ^ [_649320] : [tptpcol_2_65537(_649320), -(tptpcol_1_65536(_649320))], (1364 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _610769) ^ [_649612] : [tptpcol_6_18436(_649612), -(tptpcol_5_16388(_649612))], (1374 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _610769) ^ [_649851] : [tptpcol_8_18438(_649851), -(tptpcol_7_18437(_649851))], (1382 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _610769) ^ [_650209] : [tptpcol_8_117763(_650209), -(tptpcol_7_117762(_650209))], (1396 ^ _610769) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _610769) ^ [_650501] : [tptpcol_12_109157(_650501), -(tptpcol_11_109125(_650501))], (1406 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _610769) ^ [_650740] : [tptpcol_7_117762(_650740), -(tptpcol_6_116738(_650740))], (1414 ^ _610769) ^ [_650954, _650956, _650958] : [isa(_650958, _650956), isa(_650958, _650954), disjointwith(_650956, _650954)], (1424 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _610769) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _610769) ^ [_651354] : [aspatialinformationstore(_651354), -(aspatialthing(_651354))], (1434 ^ _610769) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _610769) ^ [_651752] : [tptpcol_9_93699(_651752), -(tptpcol_8_93698(_651752))], (1448 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _610769) ^ [_651991] : [tptpcol_11_93764(_651991), -(tptpcol_10_93700(_651991))], (1456 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _610769) ^ [_652230] : [tptpcol_6_26627(_652230), -(tptpcol_5_24579(_652230))], (1464 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _610769) ^ [_652469] : [tptpcol_4_90113(_652469), -(tptpcol_3_81921(_652469))], (1472 ^ _610769) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _610769) ^ [_652761] : [tptpcol_10_93700(_652761), -(tptpcol_9_93699(_652761))], (1482 ^ _610769) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _610769) ^ [_653000] : [aspatialinformationstore(_653000), -(intangibleindividual(_653000))], (1490 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _610769) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _610769) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _610769) ^ [_653411] : [tptpcol_3_16386(_653411), -(tptpcol_2_2(_653411))], (1506 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _610769) ^ [_653650] : [tptpcol_9_118019(_653650), -(tptpcol_8_117763(_653650))], (1514 ^ _610769) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _610769) ^ [_653889] : [individual(_653889), -(trajector_underspecified(_653889))], (1522 ^ _610769) ^ [_654075] : [shavingrazor_manual(_654075), -(tptp_8_271(f_relationexistsallfn(_654075, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _654075))], (1528 ^ _610769) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _610769) ^ [_654379] : [tptpcol_6_112641(_654379), -(tptpcol_5_110593(_654379))], (1538 ^ _610769) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _610769) ^ [_654618] : [tptpcol_12_72775(_654618), -(tptpcol_11_72774(_654618))], (1546 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _610769) ^ [_654857] : [tptpcol_7_72707(_654857), -(tptpcol_6_71683(_654857))], (1554 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _610769) ^ [_655096] : [tptpcol_16_50958(_655096), -(tptpcol_15_50957(_655096))], (1562 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _610769) ^ [_655335] : [tptpcol_8_114177(_655335), -(tptpcol_7_113665(_655335))], (1570 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _610769) ^ [_655574] : [tptpcol_16_72795(_655574), -(tptpcol_15_72793(_655574))], (1578 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _610769) ^ [_655813] : [tptpcol_6_71683(_655813), -(tptpcol_5_69635(_655813))], (1586 ^ _610769) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _610769) ^ [_656119, _656121] : [tptptypes_7_396(_656121, _656119), -(tptptypes_6_388(_656121, _656119))], (1596 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _610769) ^ [_656368] : [tptpcol_9_26885(_656368), -(tptpcol_8_26629(_656368))], (1604 ^ _610769) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _610769) ^ [_656621, _656623] : [genls(_656623, _656621), -(subsetof(_656623, _656621))], (1612 ^ _610769) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _610769) ^ [_656937, _656939] : [tptptypes_6_818(_656939, _656937), -(tptptypes_5_802(_656939, _656937))], (1622 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _610769) ^ [_657186] : [tptpcol_6_92162(_657186), -(tptpcol_5_90114(_657186))], (1630 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _610769) ^ [_657478] : [tptpcol_8_92164(_657478), -(tptpcol_7_92163(_657478))], (1640 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _610769) ^ [_657717] : [tptpcol_13_118117(_657717), -(tptpcol_12_118116(_657717))], (1648 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _610769) ^ [_657956] : [tptpcol_11_40388(_657956), -(tptpcol_10_40324(_657956))], (1656 ^ _610769) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _610769) ^ [_658209, _658211] : [tptptypes_9_824(_658211, _658209), -(tptptypes_8_823(_658211, _658209))], (1664 ^ _610769) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _610769) ^ [_658511] : [tptpcol_11_26887(_658511), -(tptpcol_10_26886(_658511))], (1674 ^ _610769) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _610769) ^ [_658750] : [tptpcol_16_26926(_658750), -(tptpcol_15_26925(_658750))], (1682 ^ _610769) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _610769) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _610769) ^ [_659056, _659058] : [few(_659058, _659056), -(setorcollection(_659056))], (1692 ^ _610769) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _610769) ^ [_659303] : [tptpcol_4_65539(_659303), -(tptpcol_3_65538(_659303))], (1700 ^ _610769) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _610769) ^ [_659542] : [tptpcol_8_39940(_659542), -(tptpcol_7_39939(_659542))], (1708 ^ _610769) ^ [_659728] : [-(tptpofobject(_659728, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_659728)], (1718 ^ _610769) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _610769) ^ [_660167] : [tptpcol_15_22076(_660167), -(tptpcol_14_22072(_660167))], (1732 ^ _610769) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _610769) ^ [_660406] : [tptpcol_0_0(_660406), -(individual(_660406))], (1740 ^ _610769) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _610769) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _610769) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _610769) ^ [_660804] : [tptpcol_11_72774(_660804), -(tptpcol_10_72710(_660804))], (1754 ^ _610769) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _610769) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _610769) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _610769) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _610769) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _610769) ^ [_661440] : [tptpcol_7_21508(_661440), -(tptpcol_6_20484(_661440))], (1780 ^ _610769) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _610769) ^ [_661679] : [tptpcol_6_108546(_661679), -(tptpcol_5_106498(_661679))], (1788 ^ _610769) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _610769) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _610769) ^ [_662037] : [geolevel_4(_662037), -(geographicalregion(_662037))], (1802 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _610769) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _610769) ^ [_662514] : [tptpcol_13_26920(_662514), -(tptpcol_12_26919(_662514))], (1822 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _610769) ^ [_662753] : [tptpcol_14_92264(_662753), -(tptpcol_13_92263(_662753))], (1830 ^ _610769) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _610769) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _610769) ^ [_663045] : [tptpcol_9_40196(_663045), -(tptpcol_8_39940(_663045))], (1840 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _610769) ^ [_663403] : [tptpcol_13_92263(_663403), -(tptpcol_12_92262(_663403))], (1854 ^ _610769) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _610769) ^ [_663695] : [tptpcol_5_90114(_663695), -(tptpcol_4_90113(_663695))], (1864 ^ _610769) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _610769) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _610769) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _610769) ^ [_664106] : [tptpcol_15_26925(_664106), -(tptpcol_14_26921(_664106))], (1880 ^ _610769) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _610769) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _610769) ^ [_664464] : [tptpcol_7_18437(_664464), -(tptpcol_6_18436(_664464))], (1894 ^ _610769) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _610769) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _610769) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _610769) ^ [_664875] : [tptpcol_3_98305(_664875), tptpcol_3_114688(_664875)], (1910 ^ _610769) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _610769) ^ [_665113] : [tptpcol_5_110593(_665113), -(tptpcol_4_106497(_665113))], (1918 ^ _610769) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _610769) ^ [_665352] : [tptpcol_13_72791(_665352), -(tptpcol_12_72775(_665352))], (1926 ^ _610769) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _610769) ^ [_665591] : [computerdataartifact(_665591), -(artifact(_665591))], (1934 ^ _610769) ^ [_665777] : [-(tptpofobject(_665777, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_665777)], (1944 ^ _610769) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _610769) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _610769) ^ [_666216] : [tptpcol_10_92166(_666216), -(tptpcol_9_92165(_666216))], (1958 ^ _610769) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _610769) ^ [_666455] : [tptpcol_14_118118(_666455), -(tptpcol_13_118117(_666455))], (1966 ^ _610769) ^ [_666641] : [isa(_666641, c_tptpcol_14_118118), -(tptpcol_14_118118(_666641))], (1972 ^ _610769) ^ [_666829] : [tptpcol_14_118118(_666829), -(isa(_666829, c_tptpcol_14_118118))], (1978 ^ _610769) ^ [_667002] : [-(natfunction(f_tptpquantityfn_6(_667002), c_tptpquantityfn_6))], (1980 ^ _610769) ^ [_667082] : [-(natargument(f_tptpquantityfn_6(_667082), n_1, _667082))], (1982 ^ _610769) ^ [_667163] : [-(tptpquantity(f_tptpquantityfn_6(_667163)))], (1984 ^ _610769) ^ [_667257] : [isa(_667257, c_tptpcol_16_26939), -(tptpcol_16_26939(_667257))], (1990 ^ _610769) ^ [_667445] : [tptpcol_16_26939(_667445), -(isa(_667445, c_tptpcol_16_26939))], (1996 ^ _610769) ^ [_667633] : [isa(_667633, c_tptpcol_16_62187), -(tptpcol_16_62187(_667633))], (2002 ^ _610769) ^ [_667821] : [tptpcol_16_62187(_667821), -(isa(_667821, c_tptpcol_16_62187))], (2008 ^ _610769) ^ [_668009] : [isa(_668009, c_tptpcol_13_92263), -(tptpcol_13_92263(_668009))], (2014 ^ _610769) ^ [_668197] : [tptpcol_13_92263(_668197), -(isa(_668197, c_tptpcol_13_92263))], (2020 ^ _610769) ^ [_668385] : [isa(_668385, c_geolevel_4), -(geolevel_4(_668385))], (2026 ^ _610769) ^ [_668573] : [geolevel_4(_668573), -(isa(_668573, c_geolevel_4))], (2032 ^ _610769) ^ [_668761] : [isa(_668761, c_tptpcol_15_4027), -(tptpcol_15_4027(_668761))], (2038 ^ _610769) ^ [_668949] : [tptpcol_15_4027(_668949), -(isa(_668949, c_tptpcol_15_4027))], (2044 ^ _610769) ^ [_669137] : [isa(_669137, c_pushingwithfingers), -(pushingwithfingers(_669137))], (2050 ^ _610769) ^ [_669325] : [pushingwithfingers(_669325), -(isa(_669325, c_pushingwithfingers))], (2056 ^ _610769) ^ [_669527, _669529] : [affiliatedwith(_669529, _669527), -(agent_generic(_669527))], (2062 ^ _610769) ^ [_669735, _669737] : [affiliatedwith(_669737, _669735), -(agent_generic(_669737))], (2068 ^ _610769) ^ [_669943, _669945] : [affiliatedwith(_669945, _669943), -(affiliatedwith(_669943, _669945))], (2074 ^ _610769) ^ [_670123] : [affiliatedwith(_670123, _670123)], (2076 ^ _610769) ^ [_670216] : [isa(_670216, c_footballteam), -(footballteam(_670216))], (2082 ^ _610769) ^ [_670404] : [footballteam(_670404), -(isa(_670404, c_footballteam))], (2088 ^ _610769) ^ [_670592] : [isa(_670592, c_tptpcol_16_4451), -(tptpcol_16_4451(_670592))], (2094 ^ _610769) ^ [_670780] : [tptpcol_16_4451(_670780), -(isa(_670780, c_tptpcol_16_4451))], (2100 ^ _610769) ^ [_670968] : [isa(_670968, c_pushingwithopenhand), -(pushingwithopenhand(_670968))], (2106 ^ _610769) ^ [_671156] : [pushingwithopenhand(_671156), -(isa(_671156, c_pushingwithopenhand))], (2112 ^ _610769) ^ [_671344] : [isa(_671344, c_tptpcol_15_22076), -(tptpcol_15_22076(_671344))], (2118 ^ _610769) ^ [_671532] : [tptpcol_15_22076(_671532), -(isa(_671532, c_tptpcol_15_22076))], (2124 ^ _610769) ^ [_671705] : [-(natfunction(f_tptpquantityfn_2(_671705), c_tptpquantityfn_2))], (2126 ^ _610769) ^ [_671785] : [-(natargument(f_tptpquantityfn_2(_671785), n_1, _671785))], (2128 ^ _610769) ^ [_671866] : [-(tptpquantity(f_tptpquantityfn_2(_671866)))], (2130 ^ _610769) ^ [_671960] : [isa(_671960, c_tptpcol_7_39939), -(tptpcol_7_39939(_671960))], (2136 ^ _610769) ^ [_672148] : [tptpcol_7_39939(_672148), -(isa(_672148, c_tptpcol_7_39939))], (2142 ^ _610769) ^ [_672336] : [isa(_672336, c_tptpcol_8_39940), -(tptpcol_8_39940(_672336))], (2148 ^ _610769) ^ [_672524] : [tptpcol_8_39940(_672524), -(isa(_672524, c_tptpcol_8_39940))], (2154 ^ _610769) ^ [_672712] : [isa(_672712, c_tptpcol_15_26925), -(tptpcol_15_26925(_672712))], (2160 ^ _610769) ^ [_672900] : [tptpcol_15_26925(_672900), -(isa(_672900, c_tptpcol_15_26925))], (2166 ^ _610769) ^ [_673088] : [isa(_673088, c_tptpcol_16_26926), -(tptpcol_16_26926(_673088))], (2172 ^ _610769) ^ [_673276] : [tptpcol_16_26926(_673276), -(isa(_673276, c_tptpcol_16_26926))], (2178 ^ _610769) ^ [_673464] : [isa(_673464, c_tptpcol_13_118117), -(tptpcol_13_118117(_673464))], (2184 ^ _610769) ^ [_673652] : [tptpcol_13_118117(_673652), -(isa(_673652, c_tptpcol_13_118117))], (2190 ^ _610769) ^ [_673840] : [isa(_673840, c_tptpcol_5_90114), -(tptpcol_5_90114(_673840))], (2196 ^ _610769) ^ [_674028] : [tptpcol_5_90114(_674028), -(isa(_674028, c_tptpcol_5_90114))], (2202 ^ _610769) ^ [_674230, _674232] : [tptptypes_5_802(_674232, _674230), -(firstordercollection(_674230))], (2208 ^ _610769) ^ [_674438, _674440] : [tptptypes_5_802(_674440, _674438), -(firstordercollection(_674440))], (2214 ^ _610769) ^ [_674632] : [isa(_674632, c_tptpcol_16_72795), -(tptpcol_16_72795(_674632))], (2220 ^ _610769) ^ [_674820] : [tptpcol_16_72795(_674820), -(isa(_674820, c_tptpcol_16_72795))], (2226 ^ _610769) ^ [_675008] : [isa(_675008, c_tptpcol_8_114177), -(tptpcol_8_114177(_675008))], (2232 ^ _610769) ^ [_675196] : [tptpcol_8_114177(_675196), -(isa(_675196, c_tptpcol_8_114177))], (2238 ^ _610769) ^ [_675384] : [isa(_675384, c_tptpcol_15_50957), -(tptpcol_15_50957(_675384))], (2244 ^ _610769) ^ [_675572] : [tptpcol_15_50957(_675572), -(isa(_675572, c_tptpcol_15_50957))], (2250 ^ _610769) ^ [_675760] : [isa(_675760, c_tptpcol_16_50958), -(tptpcol_16_50958(_675760))], (2256 ^ _610769) ^ [_675948] : [tptpcol_16_50958(_675948), -(isa(_675948, c_tptpcol_16_50958))], (2262 ^ _610769) ^ [_676136] : [isa(_676136, c_tptpcol_6_71683), -(tptpcol_6_71683(_676136))], (2268 ^ _610769) ^ [_676324] : [tptpcol_6_71683(_676324), -(isa(_676324, c_tptpcol_6_71683))], (2274 ^ _610769) ^ [_676512] : [isa(_676512, c_tptpcol_11_72774), -(tptpcol_11_72774(_676512))], (2280 ^ _610769) ^ [_676700] : [tptpcol_11_72774(_676700), -(isa(_676700, c_tptpcol_11_72774))], (2286 ^ _610769) ^ [_676888] : [isa(_676888, c_tptpcol_12_72775), -(tptpcol_12_72775(_676888))], (2292 ^ _610769) ^ [_677076] : [tptpcol_12_72775(_677076), -(isa(_677076, c_tptpcol_12_72775))], (2298 ^ _610769) ^ [_677264] : [isa(_677264, c_tptpcol_5_110593), -(tptpcol_5_110593(_677264))], (2304 ^ _610769) ^ [_677452] : [tptpcol_5_110593(_677452), -(isa(_677452, c_tptpcol_5_110593))], (2310 ^ _610769) ^ [_677640] : [isa(_677640, c_tptpcol_16_25972), -(tptpcol_16_25972(_677640))], (2316 ^ _610769) ^ [_677828] : [tptpcol_16_25972(_677828), -(isa(_677828, c_tptpcol_16_25972))], (2322 ^ _610769) ^ [_678030, _678032] : [tptp_8_271(_678032, _678030), -(razor(_678030))], (2328 ^ _610769) ^ [_678238, _678240] : [tptp_8_271(_678240, _678238), -(tptpcol_5_24579(_678240))], (2334 ^ _610769) ^ [_678432] : [isa(_678432, c_tptpcol_4_90113), -(tptpcol_4_90113(_678432))], (2340 ^ _610769) ^ [_678620] : [tptpcol_4_90113(_678620), -(isa(_678620, c_tptpcol_4_90113))], (2346 ^ _610769) ^ [_678808] : [isa(_678808, c_tptpcol_10_93700), -(tptpcol_10_93700(_678808))], (2352 ^ _610769) ^ [_678996] : [tptpcol_10_93700(_678996), -(isa(_678996, c_tptpcol_10_93700))], (2358 ^ _610769) ^ [_679184] : [isa(_679184, c_tptpcol_9_93699), -(tptpcol_9_93699(_679184))], (2364 ^ _610769) ^ [_679372] : [tptpcol_9_93699(_679372), -(isa(_679372, c_tptpcol_9_93699))], (2370 ^ _610769) ^ [_679560] : [isa(_679560, c_aspatialthing), -(aspatialthing(_679560))], (2376 ^ _610769) ^ [_679748] : [aspatialthing(_679748), -(isa(_679748, c_aspatialthing))], (2382 ^ _610769) ^ [_679936] : [isa(_679936, c_tptpcol_7_117762), -(tptpcol_7_117762(_679936))], (2388 ^ _610769) ^ [_680124] : [tptpcol_7_117762(_680124), -(isa(_680124, c_tptpcol_7_117762))], (2394 ^ _610769) ^ [_680312] : [isa(_680312, c_tptpcol_8_117763), -(tptpcol_8_117763(_680312))], (2400 ^ _610769) ^ [_680500] : [tptpcol_8_117763(_680500), -(isa(_680500, c_tptpcol_8_117763))], (2406 ^ _610769) ^ [_680688] : [isa(_680688, c_tptpcol_7_18437), -(tptpcol_7_18437(_680688))], (2412 ^ _610769) ^ [_680876] : [tptpcol_7_18437(_680876), -(isa(_680876, c_tptpcol_7_18437))], (2418 ^ _610769) ^ [_681064] : [isa(_681064, c_tptpcol_6_18436), -(tptpcol_6_18436(_681064))], (2424 ^ _610769) ^ [_681252] : [tptpcol_6_18436(_681252), -(isa(_681252, c_tptpcol_6_18436))], (2430 ^ _610769) ^ [_681440] : [isa(_681440, c_tptpcol_8_93698), -(tptpcol_8_93698(_681440))], (2436 ^ _610769) ^ [_681628] : [tptpcol_8_93698(_681628), -(isa(_681628, c_tptpcol_8_93698))], (2442 ^ _610769) ^ [_681816] : [isa(_681816, c_tptpcol_11_109125), -(tptpcol_11_109125(_681816))], (2448 ^ _610769) ^ [_682004] : [tptpcol_11_109125(_682004), -(isa(_682004, c_tptpcol_11_109125))], (2454 ^ _610769) ^ [_682192] : [isa(_682192, c_tptpcol_6_108546), -(tptpcol_6_108546(_682192))], (2460 ^ _610769) ^ [_682380] : [tptpcol_6_108546(_682380), -(isa(_682380, c_tptpcol_6_108546))], (2466 ^ _610769) ^ [_682568] : [isa(_682568, c_tptpcol_6_20484), -(tptpcol_6_20484(_682568))], (2472 ^ _610769) ^ [_682756] : [tptpcol_6_20484(_682756), -(isa(_682756, c_tptpcol_6_20484))], (2478 ^ _610769) ^ [_682958, _682960] : [few(_682960, _682958), -(setorcollection(_682958))], (2484 ^ _610769) ^ [_683166, _683168] : [few(_683168, _683166), -(setorcollection(_683166))], (2490 ^ _610769) ^ [_683374, _683376] : [few(_683376, _683374), -(setorcollection(_683376))], (2496 ^ _610769) ^ [_683582, _683584] : [few(_683584, _683582), -(setorcollection(_683584))], (2502 ^ _610769) ^ [_683804, _683806, _683808] : [-(few(_683808, _683804)), few(_683808, _683806), subsetof(_683804, _683806)], (2512 ^ _610769) ^ [_684099] : [isa(_684099, c_tptpcol_15_130931), -(tptpcol_15_130931(_684099))], (2518 ^ _610769) ^ [_684287] : [tptpcol_15_130931(_684287), -(isa(_684287, c_tptpcol_15_130931))], (2524 ^ _610769) ^ [_684475] : [isa(_684475, c_tptpcol_16_130933), -(tptpcol_16_130933(_684475))], (2530 ^ _610769) ^ [_684663] : [tptpcol_16_130933(_684663), -(isa(_684663, c_tptpcol_16_130933))], (2536 ^ _610769) ^ [_684851] : [isa(_684851, c_tptpcol_7_92163), -(tptpcol_7_92163(_684851))], (2542 ^ _610769) ^ [_685039] : [tptpcol_7_92163(_685039), -(isa(_685039, c_tptpcol_7_92163))], (2548 ^ _610769) ^ [_685227] : [isa(_685227, c_tptpcol_15_130923), -(tptpcol_15_130923(_685227))], (2554 ^ _610769) ^ [_685415] : [tptpcol_15_130923(_685415), -(isa(_685415, c_tptpcol_15_130923))], (2560 ^ _610769) ^ [_685603] : [isa(_685603, c_tptpcol_16_130924), -(tptpcol_16_130924(_685603))], (2566 ^ _610769) ^ [_685791] : [tptpcol_16_130924(_685791), -(isa(_685791, c_tptpcol_16_130924))], (2572 ^ _610769) ^ [_685979] : [isa(_685979, c_intangibleindividual), -(intangibleindividual(_685979))], (2578 ^ _610769) ^ [_686167] : [intangibleindividual(_686167), -(isa(_686167, c_intangibleindividual))], (2584 ^ _610769) ^ [_686354, _686356] : [-(natfunction(f_citynamedfn(_686356, _686354), c_citynamedfn))], (2586 ^ _610769) ^ [_686451, _686453] : [-(natargument(f_citynamedfn(_686453, _686451), n_1, _686453))], (2588 ^ _610769) ^ [_686549, _686551] : [-(natargument(f_citynamedfn(_686551, _686549), n_2, _686549))], (2590 ^ _610769) ^ [_686647, _686649] : [-(city(f_citynamedfn(_686649, _686647)))], (2592 ^ _610769) ^ [_686744] : [isa(_686744, c_tptpcol_13_26920), -(tptpcol_13_26920(_686744))], (2598 ^ _610769) ^ [_686932] : [tptpcol_13_26920(_686932), -(isa(_686932, c_tptpcol_13_26920))], (2604 ^ _610769) ^ [_687120] : [isa(_687120, c_tptpcol_14_26921), -(tptpcol_14_26921(_687120))], (2610 ^ _610769) ^ [_687308] : [tptpcol_14_26921(_687308), -(isa(_687308, c_tptpcol_14_26921))], (2616 ^ _610769) ^ [_687496] : [isa(_687496, c_tptpcol_3_65538), -(tptpcol_3_65538(_687496))], (2622 ^ _610769) ^ [_687684] : [tptpcol_3_65538(_687684), -(isa(_687684, c_tptpcol_3_65538))], (2628 ^ _610769) ^ [_687872] : [isa(_687872, c_tptpcol_16_27189), -(tptpcol_16_27189(_687872))], (2634 ^ _610769) ^ [_688060] : [tptpcol_16_27189(_688060), -(isa(_688060, c_tptpcol_16_27189))], (2640 ^ _610769) ^ [_688262, _688264] : [tptp_9_51(_688264, _688262), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688262))], (2646 ^ _610769) ^ [_688470, _688472] : [tptp_9_51(_688472, _688470), -(tptpcol_7_26628(_688472))], (2652 ^ _610769) ^ [_688664] : [isa(_688664, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_688664))], (2658 ^ _610769) ^ [_688852] : [reflexivebinarypredicate(_688852), -(isa(_688852, c_reflexivebinarypredicate))], (2664 ^ _610769) ^ [_689040] : [isa(_689040, c_tptpcol_7_21508), -(tptpcol_7_21508(_689040))], (2670 ^ _610769) ^ [_689228] : [tptpcol_7_21508(_689228), -(isa(_689228, c_tptpcol_7_21508))], (2676 ^ _610769) ^ [_689416] : [isa(_689416, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_689416))], (2682 ^ _610769) ^ [_689604] : [hpkb_subnationalagent(_689604), -(isa(_689604, c_hpkb_subnationalagent))], (2688 ^ _610769) ^ [_689792] : [isa(_689792, c_state_geopolitical), -(state_geopolitical(_689792))], (2694 ^ _610769) ^ [_689980] : [state_geopolitical(_689980), -(isa(_689980, c_state_geopolitical))], (2700 ^ _610769) ^ [_690195, _690197, _690199, _690201] : [-(natfunction(f_relationallexistsfn(_690201, _690199, _690197, _690195), c_relationallexistsfn))], (2702 ^ _610769) ^ [_690326, _690328, _690330, _690332] : [-(natargument(f_relationallexistsfn(_690332, _690330, _690328, _690326), n_1, _690332))], (2704 ^ _610769) ^ [_690458, _690460, _690462, _690464] : [-(natargument(f_relationallexistsfn(_690464, _690462, _690460, _690458), n_2, _690462))], (2706 ^ _610769) ^ [_690590, _690592, _690594, _690596] : [-(natargument(f_relationallexistsfn(_690596, _690594, _690592, _690590), n_3, _690592))], (2708 ^ _610769) ^ [_690722, _690724, _690726, _690728] : [-(natargument(f_relationallexistsfn(_690728, _690726, _690724, _690722), n_4, _690722))], (2710 ^ _610769) ^ [_690854, _690856, _690858, _690860] : [-(thing(f_relationallexistsfn(_690860, _690858, _690856, _690854)))], (2712 ^ _610769) ^ [_690971, _690973] : [arg2isa(_690973, _690971), -(collection(_690971))], (2718 ^ _610769) ^ [_691179, _691181] : [arg2isa(_691181, _691179), -(relation(_691181))], (2724 ^ _610769) ^ [_691401, _691403, _691405] : [-(arg2isa(_691405, _691401)), arg2isa(_691405, _691403), genls(_691403, _691401)], (2734 ^ _610769) ^ [_691724, _691726, _691728] : [-(arg2isa(_691728, _691724)), arg2isa(_691728, _691726), genls(_691726, _691724)], (2744 ^ _610769) ^ [_692019] : [isa(_692019, c_geolevel_1), -(geolevel_1(_692019))], (2750 ^ _610769) ^ [_692207] : [geolevel_1(_692207), -(isa(_692207, c_geolevel_1))], (2756 ^ _610769) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _610769) ^ [_692448] : [isa(_692448, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_692448))], (2764 ^ _610769) ^ [_692636] : [spatialthing_nonsituational(_692636), -(isa(_692636, c_spatialthing_nonsituational))], (2770 ^ _610769) ^ [_692824] : [isa(_692824, c_militaryperson), -(militaryperson(_692824))], (2776 ^ _610769) ^ [_693012] : [militaryperson(_693012), -(isa(_693012, c_militaryperson))], (2782 ^ _610769) ^ [_693200] : [isa(_693200, c_tptpcol_15_72793), -(tptpcol_15_72793(_693200))], (2788 ^ _610769) ^ [_693388] : [tptpcol_15_72793(_693388), -(isa(_693388, c_tptpcol_15_72793))], (2794 ^ _610769) ^ [_693576] : [isa(_693576, c_tptpcol_9_26885), -(tptpcol_9_26885(_693576))], (2800 ^ _610769) ^ [_693764] : [tptpcol_9_26885(_693764), -(isa(_693764, c_tptpcol_9_26885))], (2806 ^ _610769) ^ [_693952] : [isa(_693952, c_tptpcol_10_26886), -(tptpcol_10_26886(_693952))], (2812 ^ _610769) ^ [_694140] : [tptpcol_10_26886(_694140), -(isa(_694140, c_tptpcol_10_26886))], (2818 ^ _610769) ^ [_694342, _694344] : [tptptypes_8_823(_694344, _694342), -(firstordercollection(_694342))], (2824 ^ _610769) ^ [_694550, _694552] : [tptptypes_8_823(_694552, _694550), -(firstordercollection(_694552))], (2830 ^ _610769) ^ [_694744] : [isa(_694744, c_tptpcol_16_92269), -(tptpcol_16_92269(_694744))], (2836 ^ _610769) ^ [_694932] : [tptpcol_16_92269(_694932), -(isa(_694932, c_tptpcol_16_92269))], (2842 ^ _610769) ^ [_695120] : [isa(_695120, c_tptpcol_15_109185), -(tptpcol_15_109185(_695120))], (2848 ^ _610769) ^ [_695308] : [tptpcol_15_109185(_695308), -(isa(_695308, c_tptpcol_15_109185))], (2854 ^ _610769) ^ [_695496] : [isa(_695496, c_tptpcol_6_26627), -(tptpcol_6_26627(_695496))], (2860 ^ _610769) ^ [_695684] : [tptpcol_6_26627(_695684), -(isa(_695684, c_tptpcol_6_26627))], (2866 ^ _610769) ^ [_695872] : [isa(_695872, c_tptpcol_12_118116), -(tptpcol_12_118116(_695872))], (2872 ^ _610769) ^ [_696060] : [tptpcol_12_118116(_696060), -(isa(_696060, c_tptpcol_12_118116))], (2878 ^ _610769) ^ [_696248] : [isa(_696248, c_tptpcol_8_18438), -(tptpcol_8_18438(_696248))], (2884 ^ _610769) ^ [_696436] : [tptpcol_8_18438(_696436), -(isa(_696436, c_tptpcol_8_18438))], (2890 ^ _610769) ^ [_696624] : [isa(_696624, c_tptpcol_15_30970), -(tptpcol_15_30970(_696624))], (2896 ^ _610769) ^ [_696812] : [tptpcol_15_30970(_696812), -(isa(_696812, c_tptpcol_15_30970))], (2902 ^ _610769) ^ [_697000] : [isa(_697000, c_tptpcol_16_30972), -(tptpcol_16_30972(_697000))], (2908 ^ _610769) ^ [_697188] : [tptpcol_16_30972(_697188), -(isa(_697188, c_tptpcol_16_30972))], (2914 ^ _610769) ^ [_697376] : [isa(_697376, c_tptpcol_14_109181), -(tptpcol_14_109181(_697376))], (2920 ^ _610769) ^ [_697564] : [tptpcol_14_109181(_697564), -(isa(_697564, c_tptpcol_14_109181))], (2926 ^ _610769) ^ [_697752] : [isa(_697752, c_physicalorderingpredicate), -(physicalorderingpredicate(_697752))], (2932 ^ _610769) ^ [_697940] : [physicalorderingpredicate(_697940), -(isa(_697940, c_physicalorderingpredicate))], (2938 ^ _610769) ^ [_698128] : [isa(_698128, c_tptpcol_16_7738), -(tptpcol_16_7738(_698128))], (2944 ^ _610769) ^ [_698316] : [tptpcol_16_7738(_698316), -(isa(_698316, c_tptpcol_16_7738))], (2950 ^ _610769) ^ [_698518, _698520] : [tptp_8_968(_698520, _698518), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_698518))], (2956 ^ _610769) ^ [_698726, _698728] : [tptp_8_968(_698728, _698726), -(tptpcol_7_7172(_698728))], (2962 ^ _610769) ^ [_698948, _698950, _698952] : [relationexistsall(_698952, _698950, _698948), -(collection(_698948))], (2968 ^ _610769) ^ [_699178, _699180, _699182] : [relationexistsall(_699182, _699180, _699178), -(collection(_699180))], (2974 ^ _610769) ^ [_699408, _699410, _699412] : [relationexistsall(_699412, _699410, _699408), -(binarypredicate(_699412))], (2980 ^ _610769) ^ [_699610] : [isa(_699610, c_tptpcol_7_26628), -(tptpcol_7_26628(_699610))], (2986 ^ _610769) ^ [_699798] : [tptpcol_7_26628(_699798), -(isa(_699798, c_tptpcol_7_26628))], (2992 ^ _610769) ^ [_699986] : [isa(_699986, c_tptpcol_8_26629), -(tptpcol_8_26629(_699986))], (2998 ^ _610769) ^ [_700174] : [tptpcol_8_26629(_700174), -(isa(_700174, c_tptpcol_8_26629))], (3004 ^ _610769) ^ [_700362] : [isa(_700362, c_tptpcol_3_114688), -(tptpcol_3_114688(_700362))], (3010 ^ _610769) ^ [_700550] : [tptpcol_3_114688(_700550), -(isa(_700550, c_tptpcol_3_114688))], (3016 ^ _610769) ^ [_700723] : [-(natfunction(f_contextofpcwfn(_700723), c_contextofpcwfn))], (3018 ^ _610769) ^ [_700803] : [-(natargument(f_contextofpcwfn(_700803), n_1, _700803))], (3020 ^ _610769) ^ [_700884] : [-(microtheory(f_contextofpcwfn(_700884)))], (3022 ^ _610769) ^ [_700992, _700994] : [arg1isa(_700994, _700992), -(collection(_700992))], (3028 ^ _610769) ^ [_701200, _701202] : [arg1isa(_701202, _701200), -(relation(_701202))], (3034 ^ _610769) ^ [_701422, _701424, _701426] : [-(arg1isa(_701426, _701422)), arg1isa(_701426, _701424), genls(_701424, _701422)], (3044 ^ _610769) ^ [_701745, _701747, _701749] : [-(arg1isa(_701749, _701745)), arg1isa(_701749, _701747), genls(_701747, _701745)], (3054 ^ _610769) ^ [_702054, _702056] : [objectfoundinlocation(_702056, _702054), -(spatialthing_nonsituational(_702054))], (3060 ^ _610769) ^ [_702262, _702264] : [objectfoundinlocation(_702264, _702262), -(spatialthing_localized(_702262))], (3066 ^ _610769) ^ [_702470, _702472] : [objectfoundinlocation(_702472, _702470), -(spatialthing_nonsituational(_702472))], (3072 ^ _610769) ^ [_702678, _702680] : [objectfoundinlocation(_702680, _702678), -(spatialthing_localized(_702680))], (3078 ^ _610769) ^ [_702900, _702902, _702904] : [-(objectfoundinlocation(_702904, _702900)), objectfoundinlocation(_702904, _702902), objectfoundinlocation(_702902, _702900)], (3088 ^ _610769) ^ [_703179] : [objectfoundinlocation(_703179, _703179)], (3090 ^ _610769) ^ [_703300, _703302, _703304] : [-(objectfoundinlocation(_703304, _703300)), objectfoundinlocation(_703304, _703302), geopoliticalsubdivision(_703300, _703302)], (3100 ^ _610769) ^ [_703623, _703625, _703627] : [-(objectfoundinlocation(_703627, _703623)), objectfoundinlocation(_703627, _703625), geographicallysubsumes(_703623, _703625)], (3110 ^ _610769) ^ [_703946, _703948, _703950] : [-(objectfoundinlocation(_703950, _703946)), objectfoundinlocation(_703950, _703948), subregions(_703946, _703948)], (3120 ^ _610769) ^ [_704241] : [isa(_704241, c_ship), -(ship(_704241))], (3126 ^ _610769) ^ [_704429] : [ship(_704429), -(isa(_704429, c_ship))], (3132 ^ _610769) ^ [_704630, _704632, _704634] : [-(natfunction(f_subcollectionofwithrelationtofn(_704634, _704632, _704630), c_subcollectionofwithrelationtofn))], (3134 ^ _610769) ^ [_704744, _704746, _704748] : [-(natargument(f_subcollectionofwithrelationtofn(_704748, _704746, _704744), n_1, _704748))], (3136 ^ _610769) ^ [_704859, _704861, _704863] : [-(natargument(f_subcollectionofwithrelationtofn(_704863, _704861, _704859), n_2, _704861))], (3138 ^ _610769) ^ [_704974, _704976, _704978] : [-(natargument(f_subcollectionofwithrelationtofn(_704978, _704976, _704974), n_3, _704974))], (3140 ^ _610769) ^ [_705089, _705091, _705093] : [-(collection(f_subcollectionofwithrelationtofn(_705093, _705091, _705089)))], (3142 ^ _610769) ^ [_705189] : [isa(_705189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705189))], (3148 ^ _610769) ^ [_705377] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705377), -(isa(_705377, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _610769) ^ [_705565] : [isa(_705565, c_tptpcol_4_65539), -(tptpcol_4_65539(_705565))], (3160 ^ _610769) ^ [_705753] : [tptpcol_4_65539(_705753), -(isa(_705753, c_tptpcol_4_65539))], (3166 ^ _610769) ^ [_705941] : [isa(_705941, c_tptpcol_5_69635), -(tptpcol_5_69635(_705941))], (3172 ^ _610769) ^ [_706129] : [tptpcol_5_69635(_706129), -(isa(_706129, c_tptpcol_5_69635))], (3178 ^ _610769) ^ [_706317] : [isa(_706317, c_tptpcol_3_16386), -(tptpcol_3_16386(_706317))], (3184 ^ _610769) ^ [_706505] : [tptpcol_3_16386(_706505), -(isa(_706505, c_tptpcol_3_16386))], (3190 ^ _610769) ^ [_706707, _706709] : [no(_706709, _706707), -(setorcollection(_706707))], (3196 ^ _610769) ^ [_706915, _706917] : [no(_706917, _706915), -(setorcollection(_706917))], (3202 ^ _610769) ^ [_707123, _707125] : [no(_707125, _707123), -(no(_707123, _707125))], (3208 ^ _610769) ^ [_707347, _707349, _707351] : [-(no(_707351, _707347)), no(_707351, _707349), subsetof(_707347, _707349)], (3218 ^ _610769) ^ [_707670, _707672, _707674] : [-(no(_707670, _707672)), no(_707674, _707672), subsetof(_707670, _707674)], (3228 ^ _610769) ^ [_707993, _707995, _707997] : [-(no(_707993, _707995)), no(_707997, _707995), genls(_707993, _707997)], (3238 ^ _610769) ^ [_708316, _708318, _708320] : [-(no(_708320, _708316)), no(_708320, _708318), genls(_708316, _708318)], (3248 ^ _610769) ^ [_708639, _708641, _708643] : [-(no(_708639, _708641)), no(_708643, _708641), subsetof(_708639, _708643)], (3258 ^ _610769) ^ [_708962, _708964, _708966] : [-(no(_708966, _708962)), no(_708966, _708964), subsetof(_708962, _708964)], (3268 ^ _610769) ^ [_709257] : [isa(_709257, c_geographicalregion), -(geographicalregion(_709257))], (3274 ^ _610769) ^ [_709445] : [geographicalregion(_709445), -(isa(_709445, c_geographicalregion))], (3280 ^ _610769) ^ [_709618] : [-(natfunction(f_tptpquantityfn_21(_709618), c_tptpquantityfn_21))], (3282 ^ _610769) ^ [_709698] : [-(natargument(f_tptpquantityfn_21(_709698), n_1, _709698))], (3284 ^ _610769) ^ [_709779] : [-(tptpquantity(f_tptpquantityfn_21(_709779)))], (3286 ^ _610769) ^ [_709887, _709889] : [airporthasiatacode(_709889, _709887), -(stringoflengthfn3(_709887))], (3292 ^ _610769) ^ [_710095, _710097] : [airporthasiatacode(_710097, _710095), -(airport_physical(_710097))], (3298 ^ _610769) ^ [_710289] : [isa(_710289, c_airport_physical), -(airport_physical(_710289))], (3304 ^ _610769) ^ [_710477] : [airport_physical(_710477), -(isa(_710477, c_airport_physical))], (3310 ^ _610769) ^ [_710678, _710680, _710682] : [-(natfunction(f_instancewithrelationtofn(_710682, _710680, _710678), c_instancewithrelationtofn))], (3312 ^ _610769) ^ [_710792, _710794, _710796] : [-(natargument(f_instancewithrelationtofn(_710796, _710794, _710792), n_1, _710796))], (3314 ^ _610769) ^ [_710907, _710909, _710911] : [-(natargument(f_instancewithrelationtofn(_710911, _710909, _710907), n_2, _710909))], (3316 ^ _610769) ^ [_711022, _711024, _711026] : [-(natargument(f_instancewithrelationtofn(_711026, _711024, _711022), n_3, _711022))], (3318 ^ _610769) ^ [_711137, _711139, _711141] : [-(thing(f_instancewithrelationtofn(_711141, _711139, _711137)))], (3320 ^ _610769) ^ [_711237] : [isa(_711237, c_tptpcol_6_112641), -(tptpcol_6_112641(_711237))], (3326 ^ _610769) ^ [_711425] : [tptpcol_6_112641(_711425), -(isa(_711425, c_tptpcol_6_112641))], (3332 ^ _610769) ^ [_711613] : [isa(_711613, c_tptpcol_7_113665), -(tptpcol_7_113665(_711613))], (3338 ^ _610769) ^ [_711801] : [tptpcol_7_113665(_711801), -(isa(_711801, c_tptpcol_7_113665))], (3344 ^ _610769) ^ [_711989] : [isa(_711989, c_artifact), -(artifact(_711989))], (3350 ^ _610769) ^ [_712177] : [artifact(_712177), -(isa(_712177, c_artifact))], (3356 ^ _610769) ^ [_712365] : [isa(_712365, c_tptpcol_13_18664), -(tptpcol_13_18664(_712365))], (3362 ^ _610769) ^ [_712553] : [tptpcol_13_18664(_712553), -(isa(_712553, c_tptpcol_13_18664))], (3368 ^ _610769) ^ [_712741] : [isa(_712741, c_firstordercollection), -(firstordercollection(_712741))], (3374 ^ _610769) ^ [_712929] : [firstordercollection(_712929), -(isa(_712929, c_firstordercollection))], (3380 ^ _610769) ^ [_713102] : [-(natfunction(f_tptpquantityfn_14(_713102), c_tptpquantityfn_14))], (3382 ^ _610769) ^ [_713182] : [-(natargument(f_tptpquantityfn_14(_713182), n_1, _713182))], (3384 ^ _610769) ^ [_713263] : [-(tptpquantity(f_tptpquantityfn_14(_713263)))], (3386 ^ _610769) ^ [_713357] : [isa(_713357, c_supplies), -(supplies(_713357))], (3392 ^ _610769) ^ [_713545] : [supplies(_713545), -(isa(_713545, c_supplies))], (3398 ^ _610769) ^ [_713733] : [isa(_713733, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_713733))], (3404 ^ _610769) ^ [_713921] : [inanimateobject_nonnatural(_713921), -(isa(_713921, c_inanimateobject_nonnatural))], (3410 ^ _610769) ^ [_714109] : [isa(_714109, c_tptpcol_13_22071), -(tptpcol_13_22071(_714109))], (3416 ^ _610769) ^ [_714297] : [tptpcol_13_22071(_714297), -(isa(_714297, c_tptpcol_13_22071))], (3422 ^ _610769) ^ [_714485] : [isa(_714485, c_tptpcol_14_22072), -(tptpcol_14_22072(_714485))], (3428 ^ _610769) ^ [_714673] : [tptpcol_14_22072(_714673), -(isa(_714673, c_tptpcol_14_22072))], (3434 ^ _610769) ^ [_714861] : [isa(_714861, c_tptpcol_7_108547), -(tptpcol_7_108547(_714861))], (3440 ^ _610769) ^ [_715049] : [tptpcol_7_108547(_715049), -(isa(_715049, c_tptpcol_7_108547))], (3446 ^ _610769) ^ [_715237] : [isa(_715237, c_tptpcol_8_109059), -(tptpcol_8_109059(_715237))], (3452 ^ _610769) ^ [_715425] : [tptpcol_8_109059(_715425), -(isa(_715425, c_tptpcol_8_109059))], (3458 ^ _610769) ^ [_715613] : [isa(_715613, c_tptpcol_14_93774), -(tptpcol_14_93774(_715613))], (3464 ^ _610769) ^ [_715801] : [tptpcol_14_93774(_715801), -(isa(_715801, c_tptpcol_14_93774))], (3470 ^ _610769) ^ [_715989] : [isa(_715989, c_tptpcol_15_93775), -(tptpcol_15_93775(_715989))], (3476 ^ _610769) ^ [_716177] : [tptpcol_15_93775(_716177), -(isa(_716177, c_tptpcol_15_93775))], (3482 ^ _610769) ^ [_716365] : [isa(_716365, c_tptpcol_16_8886), -(tptpcol_16_8886(_716365))], (3488 ^ _610769) ^ [_716553] : [tptpcol_16_8886(_716553), -(isa(_716553, c_tptpcol_16_8886))], (3494 ^ _610769) ^ [_716755, _716757] : [orientation(_716757, _716755), -(orientationvector(_716755))], (3500 ^ _610769) ^ [_716963, _716965] : [orientation(_716965, _716963), -(spatialthing_localized(_716965))], (3506 ^ _610769) ^ [_717157] : [isa(_717157, c_orientationvector), -(orientationvector(_717157))], (3512 ^ _610769) ^ [_717345] : [orientationvector(_717345), -(isa(_717345, c_orientationvector))], (3518 ^ _610769) ^ [_717533] : [isa(_717533, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717533))], (3524 ^ _610769) ^ [_717721] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_717721), -(isa(_717721, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _610769) ^ [_717923, _717925] : [tptptypes_9_824(_717925, _717923), -(firstordercollection(_717923))], (3536 ^ _610769) ^ [_718131, _718133] : [tptptypes_9_824(_718133, _718131), -(firstordercollection(_718133))], (3542 ^ _610769) ^ [_718339, _718341] : [tptptypes_7_396(_718341, _718339), -(firstordercollection(_718339))], (3548 ^ _610769) ^ [_718547, _718549] : [tptptypes_7_396(_718549, _718547), -(firstordercollection(_718549))], (3554 ^ _610769) ^ [_718741] : [isa(_718741, c_tptpcol_12_22055), -(tptpcol_12_22055(_718741))], (3560 ^ _610769) ^ [_718929] : [tptpcol_12_22055(_718929), -(isa(_718929, c_tptpcol_12_22055))], (3566 ^ _610769) ^ [_719117] : [isa(_719117, c_tptpcol_16_29490), -(tptpcol_16_29490(_719117))], (3572 ^ _610769) ^ [_719305] : [tptpcol_16_29490(_719305), -(isa(_719305, c_tptpcol_16_29490))], (3578 ^ _610769) ^ [_719507, _719509] : [tptp_9_720(_719509, _719507), -(tptpcol_5_28674(_719507))], (3584 ^ _610769) ^ [_719715, _719717] : [tptp_9_720(_719717, _719715), -(executionbyfiringsquad(_719717))], (3590 ^ _610769) ^ [_719909] : [isa(_719909, c_runningshorts), -(runningshorts(_719909))], (3596 ^ _610769) ^ [_720097] : [runningshorts(_720097), -(isa(_720097, c_runningshorts))], (3602 ^ _610769) ^ [_720285] : [isa(_720285, c_tptpcol_9_118019), -(tptpcol_9_118019(_720285))], (3608 ^ _610769) ^ [_720473] : [tptpcol_9_118019(_720473), -(isa(_720473, c_tptpcol_9_118019))], (3614 ^ _610769) ^ [_720661] : [isa(_720661, c_tptpcol_16_31868), -(tptpcol_16_31868(_720661))], (3620 ^ _610769) ^ [_720849] : [tptpcol_16_31868(_720849), -(isa(_720849, c_tptpcol_16_31868))], (3626 ^ _610769) ^ [_721037] : [isa(_721037, c_movement_translationevent), -(movement_translationevent(_721037))], (3632 ^ _610769) ^ [_721225] : [movement_translationevent(_721225), -(isa(_721225, c_movement_translationevent))], (3638 ^ _610769) ^ [_721427, _721429] : [directionoftranslation_throughout(_721429, _721427), -(unitvectorinterval(_721427))], (3644 ^ _610769) ^ [_721635, _721637] : [directionoftranslation_throughout(_721637, _721635), -(movement_translationevent(_721637))], (3650 ^ _610769) ^ [_721857, _721859, _721861] : [-(directionoftranslation_throughout(_721857, _721859)), directionoftranslation_throughout(_721861, _721859), subevents(_721861, _721857)], (3660 ^ _610769) ^ [_722152] : [isa(_722152, c_unitvectorinterval), -(unitvectorinterval(_722152))], (3666 ^ _610769) ^ [_722340] : [unitvectorinterval(_722340), -(isa(_722340, c_unitvectorinterval))], (3672 ^ _610769) ^ [_722528] : [isa(_722528, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722528))], (3678 ^ _610769) ^ [_722716] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_722716), -(isa(_722716, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _610769) ^ [_722918, _722920] : [tptp_8_875(_722920, _722918), -(tptpcol_4_24578(_722918))], (3690 ^ _610769) ^ [_723126, _723128] : [tptp_8_875(_723128, _723126), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723128))], (3696 ^ _610769) ^ [_723348, _723350, _723352] : [relationallexists(_723352, _723350, _723348), -(collection(_723348))], (3702 ^ _610769) ^ [_723578, _723580, _723582] : [relationallexists(_723582, _723580, _723578), -(collection(_723580))], (3708 ^ _610769) ^ [_723808, _723810, _723812] : [relationallexists(_723812, _723810, _723808), -(binarypredicate(_723812))], (3714 ^ _610769) ^ [_724010] : [isa(_724010, c_tptpcol_16_10258), -(tptpcol_16_10258(_724010))], (3720 ^ _610769) ^ [_724198] : [tptpcol_16_10258(_724198), -(isa(_724198, c_tptpcol_16_10258))], (3726 ^ _610769) ^ [_724386] : [isa(_724386, c_pushingababycarriage), -(pushingababycarriage(_724386))], (3732 ^ _610769) ^ [_724574] : [pushingababycarriage(_724574), -(isa(_724574, c_pushingababycarriage))], (3738 ^ _610769) ^ [_724762] : [isa(_724762, c_aspatialinformationstore), -(aspatialinformationstore(_724762))], (3744 ^ _610769) ^ [_724950] : [aspatialinformationstore(_724950), -(isa(_724950, c_aspatialinformationstore))], (3750 ^ _610769) ^ [_725138] : [isa(_725138, c_collection), -(collection(_725138))], (3756 ^ _610769) ^ [_725326] : [collection(_725326), -(isa(_725326, c_collection))], (3762 ^ _610769) ^ [_725514] : [isa(_725514, c_fixedordercollection), -(fixedordercollection(_725514))], (3768 ^ _610769) ^ [_725702] : [fixedordercollection(_725702), -(isa(_725702, c_fixedordercollection))], (3774 ^ _610769) ^ [_725890] : [isa(_725890, c_tptpcol_8_92164), -(tptpcol_8_92164(_725890))], (3780 ^ _610769) ^ [_726078] : [tptpcol_8_92164(_726078), -(isa(_726078, c_tptpcol_8_92164))], (3786 ^ _610769) ^ [_726266] : [isa(_726266, c_tptpcol_9_92165), -(tptpcol_9_92165(_726266))], (3792 ^ _610769) ^ [_726454] : [tptpcol_9_92165(_726454), -(isa(_726454, c_tptpcol_9_92165))], (3798 ^ _610769) ^ [_726642] : [isa(_726642, c_tptpcol_1_1), -(tptpcol_1_1(_726642))], (3804 ^ _610769) ^ [_726830] : [tptpcol_1_1(_726830), -(isa(_726830, c_tptpcol_1_1))], (3810 ^ _610769) ^ [_727018] : [isa(_727018, c_tptpcol_2_2), -(tptpcol_2_2(_727018))], (3816 ^ _610769) ^ [_727206] : [tptpcol_2_2(_727206), -(isa(_727206, c_tptpcol_2_2))], (3822 ^ _610769) ^ [_727408, _727410] : [tptptypes_7_691(_727410, _727408), -(firstordercollection(_727408))], (3828 ^ _610769) ^ [_727616, _727618] : [tptptypes_7_691(_727618, _727616), -(firstordercollection(_727618))], (3834 ^ _610769) ^ [_727810] : [isa(_727810, c_tptpcol_11_26887), -(tptpcol_11_26887(_727810))], (3840 ^ _610769) ^ [_727998] : [tptpcol_11_26887(_727998), -(isa(_727998, c_tptpcol_11_26887))], (3846 ^ _610769) ^ [_728186] : [isa(_728186, c_tptpcol_12_26919), -(tptpcol_12_26919(_728186))], (3852 ^ _610769) ^ [_728374] : [tptpcol_12_26919(_728374), -(isa(_728374, c_tptpcol_12_26919))], (3858 ^ _610769) ^ [_728576, _728578] : [tptptypes_6_818(_728578, _728576), -(firstordercollection(_728576))], (3864 ^ _610769) ^ [_728784, _728786] : [tptptypes_6_818(_728786, _728784), -(firstordercollection(_728786))], (3870 ^ _610769) ^ [_728992, _728994] : [tptptypes_7_819(_728994, _728992), -(firstordercollection(_728992))], (3876 ^ _610769) ^ [_729200, _729202] : [tptptypes_7_819(_729202, _729200), -(firstordercollection(_729202))], (3882 ^ _610769) ^ [_729394] : [isa(_729394, c_correctivelensprescription), -(correctivelensprescription(_729394))], (3888 ^ _610769) ^ [_729582] : [correctivelensprescription(_729582), -(isa(_729582, c_correctivelensprescription))], (3894 ^ _610769) ^ [_729784, _729786] : [products(_729786, _729784), -(artifact(_729784))], (3900 ^ _610769) ^ [_729992, _729994] : [products(_729994, _729992), -(creationordestructionevent(_729994))], (3906 ^ _610769) ^ [_730186] : [isa(_730186, c_issuingaprescription), -(issuingaprescription(_730186))], (3912 ^ _610769) ^ [_730374] : [issuingaprescription(_730374), -(isa(_730374, c_issuingaprescription))], (3918 ^ _610769) ^ [_730575, _730577, _730579] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_730579, _730577, _730575), c_subcollectionofwithrelationtotypefn))], (3920 ^ _610769) ^ [_730689, _730691, _730693] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730693, _730691, _730689), n_1, _730693))], (3922 ^ _610769) ^ [_730804, _730806, _730808] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730808, _730806, _730804), n_2, _730806))], (3924 ^ _610769) ^ [_730919, _730921, _730923] : [-(natargument(f_subcollectionofwithrelationtotypefn(_730923, _730921, _730919), n_3, _730919))], (3926 ^ _610769) ^ [_731034, _731036, _731038] : [-(collection(f_subcollectionofwithrelationtotypefn(_731038, _731036, _731034)))], (3928 ^ _610769) ^ [_731134] : [isa(_731134, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731134))], (3934 ^ _610769) ^ [_731322] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731322), -(isa(_731322, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _610769) ^ [_731510] : [isa(_731510, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_731510))], (3946 ^ _610769) ^ [_731698] : [mathematicalorcomputationalthing(_731698), -(isa(_731698, c_mathematicalorcomputationalthing))], (3952 ^ _610769) ^ [_731886] : [isa(_731886, c_tptpcol_10_118020), -(tptpcol_10_118020(_731886))], (3958 ^ _610769) ^ [_732074] : [tptpcol_10_118020(_732074), -(isa(_732074, c_tptpcol_10_118020))], (3964 ^ _610769) ^ [_732262] : [isa(_732262, c_tptpcol_11_118084), -(tptpcol_11_118084(_732262))], (3970 ^ _610769) ^ [_732450] : [tptpcol_11_118084(_732450), -(isa(_732450, c_tptpcol_11_118084))], (3976 ^ _610769) ^ [_732638] : [isa(_732638, c_terroristgroup), -(terroristgroup(_732638))], (3982 ^ _610769) ^ [_732826] : [terroristgroup(_732826), -(isa(_732826, c_terroristgroup))], (3988 ^ _610769) ^ [_733028, _733030] : [hasmembers(_733030, _733028), -(agent_generic(_733028))], (3994 ^ _610769) ^ [_733236, _733238] : [hasmembers(_733238, _733236), -(organization(_733238))], (4000 ^ _610769) ^ [_733430] : [isa(_733430, c_terrorist), -(terrorist(_733430))], (4006 ^ _610769) ^ [_733618] : [terrorist(_733618), -(isa(_733618, c_terrorist))], (4012 ^ _610769) ^ [_733819, _733821, _733823] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_733823, _733821, _733819), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _610769) ^ [_733933, _733935, _733937] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_733937, _733935, _733933), n_1, _733937))], (4016 ^ _610769) ^ [_734048, _734050, _734052] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734052, _734050, _734048), n_2, _734050))], (4018 ^ _610769) ^ [_734163, _734165, _734167] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734167, _734165, _734163), n_3, _734163))], (4020 ^ _610769) ^ [_734278, _734280, _734282] : [-(collection(f_subcollectionofwithrelationfromtypefn(_734282, _734280, _734278)))], (4022 ^ _610769) ^ [_734378] : [isa(_734378, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734378))], (4028 ^ _610769) ^ [_734566] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734566), -(isa(_734566, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _610769) ^ [_734768, _734770] : [prettystring(_734770, _734768), -(controlcharacterfreestring(_734768))], (4040 ^ _610769) ^ [_734976, _734978] : [prettystring(_734978, _734976), -(thing(_734978))], (4046 ^ _610769) ^ [_735170] : [isa(_735170, c_tptpcol_0_0), -(tptpcol_0_0(_735170))], (4052 ^ _610769) ^ [_735358] : [tptpcol_0_0(_735358), -(isa(_735358, c_tptpcol_0_0))], (4058 ^ _610769) ^ [_735546] : [isa(_735546, c_geolevel_3), -(geolevel_3(_735546))], (4064 ^ _610769) ^ [_735734] : [geolevel_3(_735734), -(isa(_735734, c_geolevel_3))], (4070 ^ _610769) ^ [_735922] : [isa(_735922, c_tptpcol_4_24578), -(tptpcol_4_24578(_735922))], (4076 ^ _610769) ^ [_736110] : [tptpcol_4_24578(_736110), -(isa(_736110, c_tptpcol_4_24578))], (4082 ^ _610769) ^ [_736298] : [isa(_736298, c_tptpcol_5_24579), -(tptpcol_5_24579(_736298))], (4088 ^ _610769) ^ [_736486] : [tptpcol_5_24579(_736486), -(isa(_736486, c_tptpcol_5_24579))], (4094 ^ _610769) ^ [_736674] : [isa(_736674, c_tptpcol_5_106498), -(tptpcol_5_106498(_736674))], (4100 ^ _610769) ^ [_736862] : [tptpcol_5_106498(_736862), -(isa(_736862, c_tptpcol_5_106498))], (4106 ^ _610769) ^ [_737050] : [isa(_737050, c_tptpcol_12_109157), -(tptpcol_12_109157(_737050))], (4112 ^ _610769) ^ [_737238] : [tptpcol_12_109157(_737238), -(isa(_737238, c_tptpcol_12_109157))], (4118 ^ _610769) ^ [_737426] : [isa(_737426, c_tptpcol_13_109173), -(tptpcol_13_109173(_737426))], (4124 ^ _610769) ^ [_737614] : [tptpcol_13_109173(_737614), -(isa(_737614, c_tptpcol_13_109173))], (4130 ^ _610769) ^ [_737802] : [isa(_737802, c_mathematicalthing), -(mathematicalthing(_737802))], (4136 ^ _610769) ^ [_737990] : [mathematicalthing(_737990), -(isa(_737990, c_mathematicalthing))], (4142 ^ _610769) ^ [_738178] : [isa(_738178, c_setorcollection), -(setorcollection(_738178))], (4148 ^ _610769) ^ [_738366] : [setorcollection(_738366), -(isa(_738366, c_setorcollection))], (4154 ^ _610769) ^ [_738554] : [isa(_738554, c_tptpcol_11_18631), -(tptpcol_11_18631(_738554))], (4160 ^ _610769) ^ [_738742] : [tptpcol_11_18631(_738742), -(isa(_738742, c_tptpcol_11_18631))], (4166 ^ _610769) ^ [_738930] : [isa(_738930, c_tptpcol_12_18663), -(tptpcol_12_18663(_738930))], (4172 ^ _610769) ^ [_739118] : [tptpcol_12_18663(_739118), -(isa(_739118, c_tptpcol_12_18663))], (4178 ^ _610769) ^ [_739320, _739322] : [tptptypes_8_400(_739322, _739320), -(firstordercollection(_739320))], (4184 ^ _610769) ^ [_739528, _739530] : [tptptypes_8_400(_739530, _739528), -(firstordercollection(_739530))], (4190 ^ _610769) ^ [_739736, _739738] : [tptptypes_9_401(_739738, _739736), -(firstordercollection(_739736))], (4196 ^ _610769) ^ [_739944, _739946] : [tptptypes_9_401(_739946, _739944), -(firstordercollection(_739946))], (4202 ^ _610769) ^ [_740123] : [-(natfunction(f_tptpquantityfn_13(_740123), c_tptpquantityfn_13))], (4204 ^ _610769) ^ [_740203] : [-(natargument(f_tptpquantityfn_13(_740203), n_1, _740203))], (4206 ^ _610769) ^ [_740284] : [-(tptpquantity(f_tptpquantityfn_13(_740284)))], (4208 ^ _610769) ^ [_740392, _740394] : [borderson(_740394, _740392), -(geographicalregion(_740392))], (4214 ^ _610769) ^ [_740600, _740602] : [borderson(_740602, _740600), -(geographicalregion(_740602))], (4220 ^ _610769) ^ [_740808, _740810] : [borderson(_740810, _740808), -(borderson(_740808, _740810))], (4226 ^ _610769) ^ [_740988] : [borderson(_740988, _740988)], (4228 ^ _610769) ^ [_741081] : [isa(_741081, c_tptpcol_14_92264), -(tptpcol_14_92264(_741081))], (4234 ^ _610769) ^ [_741269] : [tptpcol_14_92264(_741269), -(isa(_741269, c_tptpcol_14_92264))], (4240 ^ _610769) ^ [_741457] : [isa(_741457, c_tptpcol_15_92268), -(tptpcol_15_92268(_741457))], (4246 ^ _610769) ^ [_741645] : [tptpcol_15_92268(_741645), -(isa(_741645, c_tptpcol_15_92268))], (4252 ^ _610769) ^ [_741833] : [isa(_741833, c_tptpcol_6_116738), -(tptpcol_6_116738(_741833))], (4258 ^ _610769) ^ [_742021] : [tptpcol_6_116738(_742021), -(isa(_742021, c_tptpcol_6_116738))], (4264 ^ _610769) ^ [_742223, _742225] : [tptptypes_5_387(_742225, _742223), -(firstordercollection(_742223))], (4270 ^ _610769) ^ [_742431, _742433] : [tptptypes_5_387(_742433, _742431), -(firstordercollection(_742433))], (4276 ^ _610769) ^ [_742639, _742641] : [tptptypes_6_388(_742641, _742639), -(firstordercollection(_742639))], (4282 ^ _610769) ^ [_742847, _742849] : [tptptypes_6_388(_742849, _742847), -(firstordercollection(_742849))], (4288 ^ _610769) ^ [_743041] : [isa(_743041, c_shavingrazor_manual), -(shavingrazor_manual(_743041))], (4294 ^ _610769) ^ [_743229] : [shavingrazor_manual(_743229), -(isa(_743229, c_shavingrazor_manual))], (4300 ^ _610769) ^ [_743417] : [isa(_743417, c_tptpcol_9_109060), -(tptpcol_9_109060(_743417))], (4306 ^ _610769) ^ [_743605] : [tptpcol_9_109060(_743605), -(isa(_743605, c_tptpcol_9_109060))], (4312 ^ _610769) ^ [_743793] : [isa(_743793, c_tptpcol_10_109061), -(tptpcol_10_109061(_743793))], (4318 ^ _610769) ^ [_743981] : [tptpcol_10_109061(_743981), -(isa(_743981, c_tptpcol_10_109061))], (4324 ^ _610769) ^ [_744169] : [isa(_744169, c_executionbyfiringsquad), -(executionbyfiringsquad(_744169))], (4330 ^ _610769) ^ [_744357] : [executionbyfiringsquad(_744357), -(isa(_744357, c_executionbyfiringsquad))], (4336 ^ _610769) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _610769) ^ [_744598] : [isa(_744598, c_navypersonnel), -(navypersonnel(_744598))], (4344 ^ _610769) ^ [_744786] : [navypersonnel(_744786), -(isa(_744786, c_navypersonnel))], (4350 ^ _610769) ^ [_744974] : [isa(_744974, c_tptpcol_12_92262), -(tptpcol_12_92262(_744974))], (4356 ^ _610769) ^ [_745162] : [tptpcol_12_92262(_745162), -(isa(_745162, c_tptpcol_12_92262))], (4362 ^ _610769) ^ [_745350] : [isa(_745350, c_thing), -(thing(_745350))], (4368 ^ _610769) ^ [_745538] : [thing(_745538), -(isa(_745538, c_thing))], (4374 ^ _610769) ^ [_745726] : [isa(_745726, c_computerdataartifact), -(computerdataartifact(_745726))], (4380 ^ _610769) ^ [_745914] : [computerdataartifact(_745914), -(isa(_745914, c_computerdataartifact))], (4386 ^ _610769) ^ [_746102] : [isa(_746102, c_applicationcontext), -(applicationcontext(_746102))], (4392 ^ _610769) ^ [_746290] : [applicationcontext(_746290), -(isa(_746290, c_applicationcontext))], (4398 ^ _610769) ^ [_746492, _746494] : [inregion(_746494, _746492), -(spatialthing_nonsituational(_746492))], (4404 ^ _610769) ^ [_746700, _746702] : [inregion(_746702, _746700), -(spatialthing_nonsituational(_746702))], (4410 ^ _610769) ^ [_746922, _746924, _746926] : [-(inregion(_746926, _746922)), inregion(_746926, _746924), inregion(_746924, _746922)], (4420 ^ _610769) ^ [_747217] : [spatialthing_nonsituational(_747217), -(inregion(_747217, _747217))], (4426 ^ _610769) ^ [_747390] : [-(natfunction(f_tptpquantityfn_1(_747390), c_tptpquantityfn_1))], (4428 ^ _610769) ^ [_747470] : [-(natargument(f_tptpquantityfn_1(_747470), n_1, _747470))], (4430 ^ _610769) ^ [_747551] : [-(tptpquantity(f_tptpquantityfn_1(_747551)))], (4432 ^ _610769) ^ [_747645] : [isa(_747645, c_furpelt), -(furpelt(_747645))], (4438 ^ _610769) ^ [_747833] : [furpelt(_747833), -(isa(_747833, c_furpelt))], (4444 ^ _610769) ^ [_748035, _748037] : [tptpofobject(_748037, _748035), -(tptpquantity(_748035))], (4450 ^ _610769) ^ [_748243, _748245] : [tptpofobject(_748245, _748243), -(partiallytangible(_748245))], (4456 ^ _610769) ^ [_748465, _748467, _748469] : [relationallinstance(_748469, _748467, _748465), -(thing(_748465))], (4462 ^ _610769) ^ [_748695, _748697, _748699] : [relationallinstance(_748699, _748697, _748695), -(collection(_748697))], (4468 ^ _610769) ^ [_748925, _748927, _748929] : [relationallinstance(_748929, _748927, _748925), -(binarypredicate(_748929))], (4474 ^ _610769) ^ [_749127] : [isa(_749127, c_tptpcol_13_93766), -(tptpcol_13_93766(_749127))], (4480 ^ _610769) ^ [_749315] : [tptpcol_13_93766(_749315), -(isa(_749315, c_tptpcol_13_93766))], (4486 ^ _610769) ^ [_749503] : [isa(_749503, c_tptpcol_9_40196), -(tptpcol_9_40196(_749503))], (4492 ^ _610769) ^ [_749691] : [tptpcol_9_40196(_749691), -(isa(_749691, c_tptpcol_9_40196))], (4498 ^ _610769) ^ [_749879] : [isa(_749879, c_tptpcol_10_40324), -(tptpcol_10_40324(_749879))], (4504 ^ _610769) ^ [_750067] : [tptpcol_10_40324(_750067), -(isa(_750067, c_tptpcol_10_40324))], (4510 ^ _610769) ^ [_750255] : [isa(_750255, c_tptpcol_7_72707), -(tptpcol_7_72707(_750255))], (4516 ^ _610769) ^ [_750443] : [tptpcol_7_72707(_750443), -(isa(_750443, c_tptpcol_7_72707))], (4522 ^ _610769) ^ [_750631] : [isa(_750631, c_tptpcol_8_72708), -(tptpcol_8_72708(_750631))], (4528 ^ _610769) ^ [_750819] : [tptpcol_8_72708(_750819), -(isa(_750819, c_tptpcol_8_72708))], (4534 ^ _610769) ^ [_751007] : [isa(_751007, c_tptpcol_11_93764), -(tptpcol_11_93764(_751007))], (4540 ^ _610769) ^ [_751195] : [tptpcol_11_93764(_751195), -(isa(_751195, c_tptpcol_11_93764))], (4546 ^ _610769) ^ [_751383] : [isa(_751383, c_tptpcol_12_93765), -(tptpcol_12_93765(_751383))], (4552 ^ _610769) ^ [_751571] : [tptpcol_12_93765(_751571), -(isa(_751571, c_tptpcol_12_93765))], (4558 ^ _610769) ^ [_751759] : [isa(_751759, c_tptpcol_4_114689), -(tptpcol_4_114689(_751759))], (4564 ^ _610769) ^ [_751947] : [tptpcol_4_114689(_751947), -(isa(_751947, c_tptpcol_4_114689))], (4570 ^ _610769) ^ [_752135] : [isa(_752135, c_tptpcol_5_114690), -(tptpcol_5_114690(_752135))], (4576 ^ _610769) ^ [_752323] : [tptpcol_5_114690(_752323), -(isa(_752323, c_tptpcol_5_114690))], (4582 ^ _610769) ^ [_752511] : [isa(_752511, c_tptpcol_3_98305), -(tptpcol_3_98305(_752511))], (4588 ^ _610769) ^ [_752699] : [tptpcol_3_98305(_752699), -(isa(_752699, c_tptpcol_3_98305))], (4594 ^ _610769) ^ [_752887] : [isa(_752887, c_tptpcol_4_106497), -(tptpcol_4_106497(_752887))], (4600 ^ _610769) ^ [_753075] : [tptpcol_4_106497(_753075), -(isa(_753075, c_tptpcol_4_106497))], (4606 ^ _610769) ^ [_753290, _753292, _753294, _753296] : [-(natfunction(f_relationexistsallfn(_753296, _753294, _753292, _753290), c_relationexistsallfn))], (4608 ^ _610769) ^ [_753421, _753423, _753425, _753427] : [-(natargument(f_relationexistsallfn(_753427, _753425, _753423, _753421), n_1, _753427))], (4610 ^ _610769) ^ [_753553, _753555, _753557, _753559] : [-(natargument(f_relationexistsallfn(_753559, _753557, _753555, _753553), n_2, _753557))], (4612 ^ _610769) ^ [_753685, _753687, _753689, _753691] : [-(natargument(f_relationexistsallfn(_753691, _753689, _753687, _753685), n_3, _753687))], (4614 ^ _610769) ^ [_753817, _753819, _753821, _753823] : [-(natargument(f_relationexistsallfn(_753823, _753821, _753819, _753817), n_4, _753817))], (4616 ^ _610769) ^ [_753949, _753951, _753953, _753955] : [-(thing(f_relationexistsallfn(_753955, _753953, _753951, _753949)))], (4618 ^ _610769) ^ [_754066, _754068] : [resultisaarg(_754068, _754066), -(positiveinteger(_754066))], (4624 ^ _610769) ^ [_754274, _754276] : [resultisaarg(_754276, _754274), -(function_denotational(_754276))], (4630 ^ _610769) ^ [_754482, _754484] : [tptptypes_7_389(_754484, _754482), -(firstordercollection(_754482))], (4636 ^ _610769) ^ [_754690, _754692] : [tptptypes_7_389(_754692, _754690), -(firstordercollection(_754692))], (4642 ^ _610769) ^ [_754898, _754900] : [tptptypes_8_390(_754900, _754898), -(firstordercollection(_754898))], (4648 ^ _610769) ^ [_755106, _755108] : [tptptypes_8_390(_755108, _755106), -(firstordercollection(_755108))], (4654 ^ _610769) ^ [_755314, _755316] : [tptptypes_8_692(_755316, _755314), -(firstordercollection(_755314))], (4660 ^ _610769) ^ [_755522, _755524] : [tptptypes_8_692(_755524, _755522), -(firstordercollection(_755524))], (4666 ^ _610769) ^ [_755730, _755732] : [tptptypes_9_693(_755732, _755730), -(firstordercollection(_755730))], (4672 ^ _610769) ^ [_755938, _755940] : [tptptypes_9_693(_755940, _755938), -(firstordercollection(_755940))], (4678 ^ _610769) ^ [_756132] : [isa(_756132, c_tptpcol_11_40388), -(tptpcol_11_40388(_756132))], (4684 ^ _610769) ^ [_756320] : [tptpcol_11_40388(_756320), -(isa(_756320, c_tptpcol_11_40388))], (4690 ^ _610769) ^ [_756508] : [isa(_756508, c_marriagelicensedocument), -(marriagelicensedocument(_756508))], (4696 ^ _610769) ^ [_756696] : [marriagelicensedocument(_756696), -(isa(_756696, c_marriagelicensedocument))], (4702 ^ _610769) ^ [_756884] : [isa(_756884, c_tptpcol_1_65536), -(tptpcol_1_65536(_756884))], (4708 ^ _610769) ^ [_757072] : [tptpcol_1_65536(_757072), -(isa(_757072, c_tptpcol_1_65536))], (4714 ^ _610769) ^ [_757260] : [isa(_757260, c_tptpcol_2_98304), -(tptpcol_2_98304(_757260))], (4720 ^ _610769) ^ [_757448] : [tptpcol_2_98304(_757448), -(isa(_757448, c_tptpcol_2_98304))], (4726 ^ _610769) ^ [_757636] : [isa(_757636, c_tptpcol_10_92166), -(tptpcol_10_92166(_757636))], (4732 ^ _610769) ^ [_757824] : [tptpcol_10_92166(_757824), -(isa(_757824, c_tptpcol_10_92166))], (4738 ^ _610769) ^ [_758012] : [isa(_758012, c_tptpcol_11_92230), -(tptpcol_11_92230(_758012))], (4744 ^ _610769) ^ [_758200] : [tptpcol_11_92230(_758200), -(isa(_758200, c_tptpcol_11_92230))], (4750 ^ _610769) ^ [_758388] : [isa(_758388, c_orderingpredicate), -(orderingpredicate(_758388))], (4756 ^ _610769) ^ [_758576] : [orderingpredicate(_758576), -(isa(_758576, c_orderingpredicate))], (4762 ^ _610769) ^ [_758764] : [isa(_758764, c_tptpcol_9_18439), -(tptpcol_9_18439(_758764))], (4768 ^ _610769) ^ [_758952] : [tptpcol_9_18439(_758952), -(isa(_758952, c_tptpcol_9_18439))], (4774 ^ _610769) ^ [_759140] : [isa(_759140, c_tptpcol_10_18567), -(tptpcol_10_18567(_759140))], (4780 ^ _610769) ^ [_759328] : [tptpcol_10_18567(_759328), -(isa(_759328, c_tptpcol_10_18567))], (4786 ^ _610769) ^ [_759516] : [isa(_759516, c_tptpcol_2_65537), -(tptpcol_2_65537(_759516))], (4792 ^ _610769) ^ [_759704] : [tptpcol_2_65537(_759704), -(isa(_759704, c_tptpcol_2_65537))], (4798 ^ _610769) ^ [_759892] : [isa(_759892, c_tptpcol_3_81921), -(tptpcol_3_81921(_759892))], (4804 ^ _610769) ^ [_760080] : [tptpcol_3_81921(_760080), -(isa(_760080, c_tptpcol_3_81921))], (4810 ^ _610769) ^ [_760268] : [isa(_760268, c_artsupplies), -(artsupplies(_760268))], (4816 ^ _610769) ^ [_760456] : [artsupplies(_760456), -(isa(_760456, c_artsupplies))], (4822 ^ _610769) ^ [_760644] : [isa(_760644, c_enduringthing_localized), -(enduringthing_localized(_760644))], (4828 ^ _610769) ^ [_760832] : [enduringthing_localized(_760832), -(isa(_760832, c_enduringthing_localized))], (4834 ^ _610769) ^ [_761020] : [isa(_761020, c_location_underspecified), -(location_underspecified(_761020))], (4840 ^ _610769) ^ [_761208] : [location_underspecified(_761208), -(isa(_761208, c_location_underspecified))], (4846 ^ _610769) ^ [_761396] : [isa(_761396, c_trajector_underspecified), -(trajector_underspecified(_761396))], (4852 ^ _610769) ^ [_761584] : [trajector_underspecified(_761584), -(isa(_761584, c_trajector_underspecified))], (4858 ^ _610769) ^ [_761772] : [isa(_761772, c_individual), -(individual(_761772))], (4864 ^ _610769) ^ [_761960] : [individual(_761960), -(isa(_761960, c_individual))], (4870 ^ _610769) ^ [_762148] : [isa(_762148, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_762148))], (4876 ^ _610769) ^ [_762336] : [partiallyintangibleindividual(_762336), -(isa(_762336, c_partiallyintangibleindividual))], (4882 ^ _610769) ^ [_762524] : [isa(_762524, c_tptpcol_10_22022), -(tptpcol_10_22022(_762524))], (4888 ^ _610769) ^ [_762712] : [tptpcol_10_22022(_762712), -(isa(_762712, c_tptpcol_10_22022))], (4894 ^ _610769) ^ [_762900] : [isa(_762900, c_tptpcol_11_22023), -(tptpcol_11_22023(_762900))], (4900 ^ _610769) ^ [_763088] : [tptpcol_11_22023(_763088), -(isa(_763088, c_tptpcol_11_22023))], (4906 ^ _610769) ^ [_763276] : [isa(_763276, c_tptpcol_5_20483), -(tptpcol_5_20483(_763276))], (4912 ^ _610769) ^ [_763464] : [tptpcol_5_20483(_763464), -(isa(_763464, c_tptpcol_5_20483))], (4918 ^ _610769) ^ [_763652] : [isa(_763652, c_tptpcol_13_72791), -(tptpcol_13_72791(_763652))], (4924 ^ _610769) ^ [_763840] : [tptpcol_13_72791(_763840), -(isa(_763840, c_tptpcol_13_72791))], (4930 ^ _610769) ^ [_764028] : [isa(_764028, c_tptpcol_14_72792), -(tptpcol_14_72792(_764028))], (4936 ^ _610769) ^ [_764216] : [tptpcol_14_72792(_764216), -(isa(_764216, c_tptpcol_14_72792))], (4942 ^ _610769) ^ [_764404] : [isa(_764404, c_ridgeline_topographical), -(ridgeline_topographical(_764404))], (4948 ^ _610769) ^ [_764592] : [ridgeline_topographical(_764592), -(isa(_764592, c_ridgeline_topographical))], (4954 ^ _610769) ^ [_764780] : [isa(_764780, c_tptpcol_4_16387), -(tptpcol_4_16387(_764780))], (4960 ^ _610769) ^ [_764968] : [tptpcol_4_16387(_764968), -(isa(_764968, c_tptpcol_4_16387))], (4966 ^ _610769) ^ [_765156] : [isa(_765156, c_tptpcol_5_16388), -(tptpcol_5_16388(_765156))], (4972 ^ _610769) ^ [_765344] : [tptpcol_5_16388(_765344), -(isa(_765344, c_tptpcol_5_16388))], (4978 ^ _610769) ^ [_765532] : [isa(_765532, c_tptpcol_8_22020), -(tptpcol_8_22020(_765532))], (4984 ^ _610769) ^ [_765720] : [tptpcol_8_22020(_765720), -(isa(_765720, c_tptpcol_8_22020))], (4990 ^ _610769) ^ [_765908] : [isa(_765908, c_tptpcol_9_22021), -(tptpcol_9_22021(_765908))], (4996 ^ _610769) ^ [_766096] : [tptpcol_9_22021(_766096), -(isa(_766096, c_tptpcol_9_22021))], (5002 ^ _610769) ^ [_766284] : [isa(_766284, c_transitivebinarypredicate), -(transitivebinarypredicate(_766284))], (5008 ^ _610769) ^ [_766472] : [transitivebinarypredicate(_766472), -(isa(_766472, c_transitivebinarypredicate))], (5014 ^ _610769) ^ [_766674, _766676] : [geographicalsubregions(_766676, _766674), -(geographicalregion(_766674))], (5020 ^ _610769) ^ [_766882, _766884] : [geographicalsubregions(_766884, _766882), -(geographicalregion(_766884))], (5026 ^ _610769) ^ [_767104, _767106, _767108] : [-(geographicalsubregions(_767108, _767104)), geographicalsubregions(_767108, _767106), geographicalsubregions(_767106, _767104)], (5036 ^ _610769) ^ [_767399] : [geographicalregion(_767399), -(geographicalsubregions(_767399, _767399))], (5042 ^ _610769) ^ [_767587] : [isa(_767587, c_tptpcol_12_40420), -(tptpcol_12_40420(_767587))], (5048 ^ _610769) ^ [_767775] : [tptpcol_12_40420(_767775), -(isa(_767775, c_tptpcol_12_40420))], (5054 ^ _610769) ^ [_767963] : [isa(_767963, c_tptpcol_13_40421), -(tptpcol_13_40421(_767963))], (5060 ^ _610769) ^ [_768151] : [tptpcol_13_40421(_768151), -(isa(_768151, c_tptpcol_13_40421))], (5066 ^ _610769) ^ [_768339] : [isa(_768339, c_tptpcol_6_92162), -(tptpcol_6_92162(_768339))], (5072 ^ _610769) ^ [_768527] : [tptpcol_6_92162(_768527), -(isa(_768527, c_tptpcol_6_92162))], (5078 ^ _610769) ^ [_768715] : [isa(_768715, c_tptpcol_7_93186), -(tptpcol_7_93186(_768715))], (5084 ^ _610769) ^ [_768903] : [tptpcol_7_93186(_768903), -(isa(_768903, c_tptpcol_7_93186))], (5090 ^ _610769) ^ [_769105, _769107] : [most(_769107, _769105), -(setorcollection(_769105))], (5096 ^ _610769) ^ [_769313, _769315] : [most(_769315, _769313), -(setorcollection(_769313))], (5102 ^ _610769) ^ [_769521, _769523] : [most(_769523, _769521), -(setorcollection(_769523))], (5108 ^ _610769) ^ [_769729, _769731] : [most(_769731, _769729), -(setorcollection(_769731))], (5114 ^ _610769) ^ [_769923] : [setorcollection(_769923), -(most(_769923, _769923))], (5120 ^ _610769) ^ [_770111] : [setorcollection(_770111), -(most(_770111, _770111))], (5126 ^ _610769) ^ [_770327, _770329, _770331] : [-(most(_770331, _770327)), most(_770331, _770329), subsetof(_770329, _770327)], (5136 ^ _610769) ^ [_770650, _770652, _770654] : [-(most(_770654, _770650)), most(_770654, _770652), subsetof(_770652, _770650)], (5146 ^ _610769) ^ [_770959, _770961] : [subsetof(_770961, _770959), -(setorcollection(_770959))], (5152 ^ _610769) ^ [_771167, _771169] : [subsetof(_771169, _771167), -(setorcollection(_771169))], (5158 ^ _610769) ^ [_771389, _771391, _771393] : [-(subsetof(_771393, _771389)), subsetof(_771393, _771391), subsetof(_771391, _771389)], (5168 ^ _610769) ^ [_771684] : [setorcollection(_771684), -(subsetof(_771684, _771684))], (5174 ^ _610769) ^ [_771900, _771902, _771904] : [-(subsetof(_771900, _771902)), subsetof(_771904, _771902), subsetof(_771900, _771904)], (5184 ^ _610769) ^ [_772223, _772225, _772227] : [-(subsetof(_772227, _772223)), subsetof(_772227, _772225), subsetof(_772225, _772223)], (5194 ^ _610769) ^ [_772546, _772548, _772550] : [-(subsetof(_772550, _772546)), subsetof(_772550, _772548), subsetof(_772548, _772546)], (5204 ^ _610769) ^ [_772855, _772857] : [genlpreds(_772857, _772855), -(predicate(_772855))], (5210 ^ _610769) ^ [_773063, _773065] : [genlpreds(_773065, _773063), -(predicate(_773063))], (5216 ^ _610769) ^ [_773271, _773273] : [genlpreds(_773273, _773271), -(predicate(_773273))], (5222 ^ _610769) ^ [_773479, _773481] : [genlpreds(_773481, _773479), -(predicate(_773481))], (5228 ^ _610769) ^ [_773701, _773703, _773705] : [-(genlpreds(_773705, _773701)), genlpreds(_773705, _773703), genlpreds(_773703, _773701)], (5238 ^ _610769) ^ [_773996] : [predicate(_773996), -(genlpreds(_773996, _773996))], (5244 ^ _610769) ^ [_774184] : [predicate(_774184), -(genlpreds(_774184, _774184))], (5250 ^ _610769) ^ [_774386, _774388] : [genlinverse(_774388, _774386), -(binarypredicate(_774386))], (5256 ^ _610769) ^ [_774594, _774596] : [genlinverse(_774596, _774594), -(binarypredicate(_774596))], (5262 ^ _610769) ^ [_774816, _774818, _774820] : [-(genlinverse(_774816, _774818)), genlinverse(_774820, _774818), genlpreds(_774816, _774820)], (5272 ^ _610769) ^ [_775139, _775141, _775143] : [-(genlinverse(_775143, _775139)), genlinverse(_775143, _775141), genlpreds(_775141, _775139)], (5282 ^ _610769) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _610769) ^ [_775487] : [isa(_775487, c_microtheory), -(microtheory(_775487))], (5290 ^ _610769) ^ [_775675] : [microtheory(_775675), -(isa(_775675, c_microtheory))], (5296 ^ _610769) ^ [_775848] : [-(natfunction(f_urlfn(_775848), c_urlfn))], (5298 ^ _610769) ^ [_775928] : [-(natargument(f_urlfn(_775928), n_1, _775928))], (5300 ^ _610769) ^ [_776009] : [-(uniformresourcelocator(f_urlfn(_776009)))], (5302 ^ _610769) ^ [_776088] : [-(natfunction(f_urlreferentfn(_776088), c_urlreferentfn))], (5304 ^ _610769) ^ [_776168] : [-(natargument(f_urlreferentfn(_776168), n_1, _776168))], (5306 ^ _610769) ^ [_776249] : [-(computerdataartifact(f_urlreferentfn(_776249)))], (5308 ^ _610769) ^ [_776342, _776344] : [-(natfunction(f_contentmtofcdafromeventfn(_776344, _776342), c_contentmtofcdafromeventfn))], (5310 ^ _610769) ^ [_776439, _776441] : [-(natargument(f_contentmtofcdafromeventfn(_776441, _776439), n_1, _776441))], (5312 ^ _610769) ^ [_776537, _776539] : [-(natargument(f_contentmtofcdafromeventfn(_776539, _776537), n_2, _776537))], (5314 ^ _610769) ^ [_776635, _776637] : [-(microtheory(f_contentmtofcdafromeventfn(_776637, _776635)))], (5316 ^ _610769) ^ [_776746, _776748] : [isa(_776748, _776746), -(collection(_776746))], (5322 ^ _610769) ^ [_776954, _776956] : [isa(_776956, _776954), -(collection(_776954))], (5328 ^ _610769) ^ [_777162, _777164] : [isa(_777164, _777162), -(thing(_777164))], (5334 ^ _610769) ^ [_777370, _777372] : [isa(_777372, _777370), -(thing(_777372))], (5340 ^ _610769) ^ [_777592, _777594, _777596] : [-(isa(_777596, _777592)), isa(_777596, _777594), genls(_777594, _777592)], (5350 ^ _610769) ^ [_777887] : [isa(_777887, c_inanimateobject), -(inanimateobject(_777887))], (5356 ^ _610769) ^ [_778075] : [inanimateobject(_778075), -(isa(_778075, c_inanimateobject))], (5362 ^ _610769) ^ [_778263] : [isa(_778263, c_tptpcol_9_72709), -(tptpcol_9_72709(_778263))], (5368 ^ _610769) ^ [_778451] : [tptpcol_9_72709(_778451), -(isa(_778451, c_tptpcol_9_72709))], (5374 ^ _610769) ^ [_778639] : [isa(_778639, c_tptpcol_10_72710), -(tptpcol_10_72710(_778639))], (5380 ^ _610769) ^ [_778827] : [tptpcol_10_72710(_778827), -(isa(_778827, c_tptpcol_10_72710))], (5386 ^ _610769) ^ [_779015] : [isa(_779015, c_tptpcol_14_40429), -(tptpcol_14_40429(_779015))], (5392 ^ _610769) ^ [_779203] : [tptpcol_14_40429(_779203), -(isa(_779203, c_tptpcol_14_40429))], (5398 ^ _610769) ^ [_779391] : [isa(_779391, c_tptpcol_15_40430), -(tptpcol_15_40430(_779391))], (5404 ^ _610769) ^ [_779579] : [tptpcol_15_40430(_779579), -(isa(_779579, c_tptpcol_15_40430))], (5410 ^ _610769) ^ [_779781, _779783] : [genls(_779783, _779781), -(collection(_779781))], (5416 ^ _610769) ^ [_779989, _779991] : [genls(_779991, _779989), -(collection(_779989))], (5422 ^ _610769) ^ [_780197, _780199] : [genls(_780199, _780197), -(collection(_780199))], (5428 ^ _610769) ^ [_780405, _780407] : [genls(_780407, _780405), -(collection(_780407))], (5434 ^ _610769) ^ [_780627, _780629, _780631] : [-(genls(_780631, _780627)), genls(_780631, _780629), genls(_780629, _780627)], (5444 ^ _610769) ^ [_780922] : [collection(_780922), -(genls(_780922, _780922))], (5450 ^ _610769) ^ [_781110] : [collection(_781110), -(genls(_781110, _781110))], (5456 ^ _610769) ^ [_781326, _781328, _781330] : [-(genls(_781326, _781328)), genls(_781330, _781328), genls(_781326, _781330)], (5466 ^ _610769) ^ [_781649, _781651, _781653] : [-(genls(_781653, _781649)), genls(_781653, _781651), genls(_781651, _781649)], (5476 ^ _610769) ^ [_781944] : [isa(_781944, c_partiallytangible), -(partiallytangible(_781944))], (5482 ^ _610769) ^ [_782132] : [partiallytangible(_782132), -(isa(_782132, c_partiallytangible))], (5488 ^ _610769) ^ [_782320] : [isa(_782320, c_intangible), -(intangible(_782320))], (5494 ^ _610769) ^ [_782508] : [intangible(_782508), -(isa(_782508, c_intangible))], (5500 ^ _610769) ^ [_782710, _782712] : [disjointwith(_782712, _782710), -(collection(_782710))], (5506 ^ _610769) ^ [_782918, _782920] : [disjointwith(_782920, _782918), -(collection(_782920))], (5512 ^ _610769) ^ [_783126, _783128] : [disjointwith(_783128, _783126), -(disjointwith(_783126, _783128))], (5518 ^ _610769) ^ [_783350, _783352, _783354] : [-(disjointwith(_783354, _783350)), disjointwith(_783354, _783352), genls(_783350, _783352)], (5528 ^ _610769) ^ [_783673, _783675, _783677] : [-(disjointwith(_783673, _783675)), disjointwith(_783677, _783675), genls(_783673, _783677)], (5538 ^ _610769) ^ [_783982, _783984] : [-(mtvisible(_783982)), mtvisible(_783984), genlmt(_783984, _783982)], (5548 ^ _610769) ^ [_784277, _784279] : [genlmt(_784279, _784277), -(microtheory(_784277))], (5554 ^ _610769) ^ [_784485, _784487] : [genlmt(_784487, _784485), -(microtheory(_784485))], (5560 ^ _610769) ^ [_784693, _784695] : [genlmt(_784695, _784693), -(microtheory(_784695))], (5566 ^ _610769) ^ [_784901, _784903] : [genlmt(_784903, _784901), -(microtheory(_784903))], (5572 ^ _610769) ^ [_785123, _785125, _785127] : [-(genlmt(_785127, _785123)), genlmt(_785127, _785125), genlmt(_785125, _785123)], (5582 ^ _610769) ^ [_785418] : [microtheory(_785418), -(genlmt(_785418, _785418))], (5594 ^ _610769) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _610769) ^ [_785606] : [microtheory(_785606), -(genlmt(_785606, _785606))]], input).
% 0.46/1.38  ncf('1',plain,[inregion(c_geolocation_x14_y39, c_georegion_l3_x4_y13), geolevel_3(c_georegion_l3_x4_y13)],start(5598 ^ 0)).
% 0.46/1.38  ncf('1.1',plain,[-(inregion(c_geolocation_x14_y39, c_georegion_l3_x4_y13)), inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39), inregion(c_georegion_l4_x14_y39, c_georegion_l3_x4_y13)],extension(4410 ^ 1,bind([[_746922, _746924, _746926], [c_georegion_l3_x4_y13, c_georegion_l4_x14_y39, c_geolocation_x14_y39]]))).
% 0.46/1.38  ncf('1.1.1',plain,[-(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39)), mtvisible(c_tptpgeo_member3_mt)],extension(1092 ^ 2)).
% 0.46/1.38  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member3_mt))],extension(5596 ^ 3)).
% 0.46/1.38  ncf('1.1.2',plain,[-(inregion(c_georegion_l4_x14_y39, c_georegion_l3_x4_y13)), geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39)],extension(504 ^ 2,bind([[_625114, _625116], [c_georegion_l4_x14_y39, c_georegion_l3_x4_y13]]))).
% 0.46/1.38  ncf('1.1.2.1',plain,[-(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39)), mtvisible(c_tptpgeo_member3_mt)],extension(1318 ^ 3)).
% 0.46/1.38  ncf('1.1.2.1.1',plain,[-(mtvisible(c_tptpgeo_member3_mt))],extension(5596 ^ 4)).
% 0.46/1.38  ncf('1.2',plain,[-(geolevel_3(c_georegion_l3_x4_y13)), mtvisible(c_worldgeographymt)],extension(474 ^ 1)).
% 0.46/1.38  ncf('1.2.1',plain,[-(mtvisible(c_worldgeographymt)), mtvisible(c_tptpgeo_member3_mt), genlmt(c_tptpgeo_member3_mt, c_worldgeographymt)],extension(5538 ^ 2,bind([[_783982, _783984], [c_worldgeographymt, c_tptpgeo_member3_mt]]))).
% 0.46/1.38  ncf('1.2.1.1',plain,[-(mtvisible(c_tptpgeo_member3_mt))],extension(5596 ^ 3)).
% 0.46/1.38  ncf('1.2.1.2',plain,[-(genlmt(c_tptpgeo_member3_mt, c_worldgeographymt)), genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt), genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt)],extension(5572 ^ 3,bind([[_785123, _785125, _785127], [c_worldgeographymt, c_tptpgeo_spindleheadmt, c_tptpgeo_member3_mt]]))).
% 0.46/1.38  ncf('1.2.1.2.1',plain,[-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))],extension(844 ^ 4)).
% 0.46/1.38  ncf('1.2.1.2.2',plain,[-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))],extension(1284 ^ 4)).
% 0.46/1.38  %-----------------------------------------------------
% 0.46/1.38  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------