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

% Computer : n005.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 11:03:30 EDT 2023

% Result   : Theorem 0.44s 1.40s
% Output   : Proof 0.44s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13  % Problem  : CSR074+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.14  % Command  : nanocop.sh %s %d
% 0.12/0.35  % Computer : n005.cluster.edu
% 0.12/0.35  % Model    : x86_64 x86_64
% 0.12/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.35  % Memory   : 8042.1875MB
% 0.12/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.35  % CPULimit : 300
% 0.12/0.35  % WCLimit  : 300
% 0.12/0.35  % DateTime : Thu May 18 23:48:23 EDT 2023
% 0.12/0.35  % CPUTime  : 
% 0.44/1.40  
% 0.44/1.40  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.44/1.40  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.44/1.40  %-----------------------------------------------------
% 0.44/1.40  ncf(matrix, plain, [(5596 ^ _611341) ^ [] : [-(mtvisible(c_tptpgeo_member7_mt))], (5598 ^ _611341) ^ [] : [inregion(c_geolocation_x53_y74, c_georegion_l3_x17_y24), geolevel_3(c_georegion_l3_x17_y24)], (2 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _611341) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _611341) ^ [_611546] : [intangible(_611546), partiallytangible(_611546)], (12 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _611341) ^ [_611784] : [tptpcol_15_40430(_611784), -(tptpcol_14_40429(_611784))], (20 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _611341) ^ [_612023] : [tptpcol_10_72710(_612023), -(tptpcol_9_72709(_612023))], (28 ^ _611341) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _611341) ^ [_612262] : [inanimateobject(_612262), -(partiallytangible(_612262))], (36 ^ _611341) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _611341) ^ [_612529, _612531, _612533] : [-(genlpreds(_612533, _612529)), genlinverse(_612533, _612531), genlinverse(_612531, _612529)], (48 ^ _611341) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _611341) ^ [_612891, _612893] : [subsetof(_612893, _612891), -(most(_612893, _612891))], (56 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _611341) ^ [_613140] : [tptpcol_7_93186(_613140), -(tptpcol_6_92162(_613140))], (64 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _611341) ^ [_613379] : [tptpcol_13_40421(_613379), -(tptpcol_12_40420(_613379))], (72 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _611341) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _611341) ^ [_613843] : [tptpcol_9_22021(_613843), -(tptpcol_8_22020(_613843))], (90 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _611341) ^ [_614082] : [tptpcol_5_16388(_614082), -(tptpcol_4_16387(_614082))], (98 ^ _611341) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _611341) ^ [_614440] : [tptpcol_14_72792(_614440), -(tptpcol_13_72791(_614440))], (112 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _611341) ^ [_614679] : [tptpcol_5_20483(_614679), -(tptpcol_4_16387(_614679))], (120 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _611341) ^ [_614918] : [tptpcol_11_22023(_614918), -(tptpcol_10_22022(_614918))], (128 ^ _611341) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _611341) ^ [_615157] : [partiallyintangibleindividual(_615157), -(individual(_615157))], (136 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _611341) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _611341) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _611341) ^ [_615502] : [trajector_underspecified(_615502), -(location_underspecified(_615502))], (148 ^ _611341) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _611341) ^ [_615741] : [partiallytangible(_615741), -(enduringthing_localized(_615741))], (156 ^ _611341) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _611341) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _611341) ^ [_616099] : [tptpcol_3_81921(_616099), -(tptpcol_2_65537(_616099))], (170 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _611341) ^ [_616338] : [tptpcol_10_18567(_616338), -(tptpcol_9_18439(_616338))], (178 ^ _611341) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _611341) ^ [_616577] : [orderingpredicate(_616577), -(transitivebinarypredicate(_616577))], (186 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _611341) ^ [_616816] : [tptpcol_11_92230(_616816), -(tptpcol_10_92166(_616816))], (194 ^ _611341) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _611341) ^ [_617055] : [tptpcol_2_98304(_617055), -(tptpcol_1_65536(_617055))], (202 ^ _611341) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _611341) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _611341) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _611341) ^ [_617519] : [tptpcol_12_40420(_617519), -(tptpcol_11_40388(_617519))], (220 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _611341) ^ [_617772, _617774] : [tptptypes_9_693(_617774, _617772), -(tptptypes_8_692(_617774, _617772))], (228 ^ _611341) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _611341) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _611341) ^ [_618141, _618143] : [tptptypes_8_390(_618143, _618141), -(tptptypes_7_389(_618143, _618141))], (240 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _611341) ^ [_618485, _618487, _618489, _618491] : [-(isa(f_relationexistsallfn(_618491, _618487, _618485, _618489), _618485)), isa(_618491, _618489), relationexistsall(_618487, _618485, _618489)], (254 ^ _611341) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _611341) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _611341) ^ [_619014] : [tptpcol_4_106497(_619014), -(tptpcol_3_98305(_619014))], (268 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _611341) ^ [_619253] : [tptpcol_5_114690(_619253), -(tptpcol_4_114689(_619253))], (276 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _611341) ^ [_619492] : [tptpcol_12_93765(_619492), -(tptpcol_11_93764(_619492))], (284 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _611341) ^ [_619731] : [tptpcol_8_72708(_619731), -(tptpcol_7_72707(_619731))], (292 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _611341) ^ [_619970] : [tptpcol_10_40324(_619970), -(tptpcol_9_40196(_619970))], (300 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _611341) ^ [_620209] : [tptpcol_13_93766(_620209), -(tptpcol_12_93765(_620209))], (308 ^ _611341) ^ [_620395] : [-(tptpofobject(_620395, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_620395)], (318 ^ _611341) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _611341) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _611341) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _611341) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _611341) ^ [_621059] : [location_underspecified(_621059), -(thing(_621059))], (342 ^ _611341) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _611341) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _611341) ^ [_621404] : [tptpcol_12_92262(_621404), -(tptpcol_11_92230(_621404))], (354 ^ _611341) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _611341) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _611341) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _611341) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _611341) ^ [_621921] : [tptpcol_10_109061(_621921), -(tptpcol_9_109060(_621921))], (374 ^ _611341) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _611341) ^ [_622227, _622229] : [tptptypes_6_388(_622229, _622227), -(tptptypes_5_387(_622229, _622227))], (384 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _611341) ^ [_622476] : [tptpcol_6_116738(_622476), -(tptpcol_5_114690(_622476))], (392 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _611341) ^ [_622715] : [tptpcol_15_92268(_622715), -(tptpcol_14_92264(_622715))], (400 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _611341) ^ [_623020] : [-(tptpofobject(_623020, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_623020)], (416 ^ _611341) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _611341) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _611341) ^ [_623473, _623475] : [tptptypes_9_401(_623475, _623473), -(tptptypes_8_400(_623473, _623475))], (430 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _611341) ^ [_623722] : [tptpcol_12_18663(_623722), -(tptpcol_11_18631(_623722))], (438 ^ _611341) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _611341) ^ [_623961] : [setorcollection(_623961), -(mathematicalthing(_623961))], (446 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _611341) ^ [_624200] : [tptpcol_13_109173(_624200), -(tptpcol_12_109157(_624200))], (454 ^ _611341) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _611341) ^ [_624492] : [tptpcol_5_106498(_624492), -(tptpcol_4_106497(_624492))], (464 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _611341) ^ [_624731] : [tptpcol_5_24579(_624731), -(tptpcol_4_24578(_624731))], (472 ^ _611341) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _611341) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _611341) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _611341) ^ [_625261] : [tptpcol_1_65536(_625261), -(tptpcol_0_0(_625261))], (494 ^ _611341) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _611341) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _611341) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _611341) ^ [_625686, _625688] : [geographicalsubregions(_625688, _625686), -(inregion(_625686, _625688))], (510 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _611341) ^ [_625935] : [tptpcol_11_118084(_625935), -(tptpcol_10_118020(_625935))], (518 ^ _611341) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _611341) ^ [_626174] : [mathematicalorcomputationalthing(_626174), -(intangible(_626174))], (526 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _611341) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _611341) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _611341) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _611341) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _611341) ^ [_626692, _626694] : [tptptypes_7_819(_626694, _626692), -(tptptypes_6_818(_626694, _626692))], (544 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _611341) ^ [_626994] : [tptpcol_12_26919(_626994), -(tptpcol_11_26887(_626994))], (554 ^ _611341) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _611341) ^ [_627247, _627249] : [tptptypes_8_692(_627249, _627247), -(tptptypes_7_691(_627247, _627249))], (562 ^ _611341) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _611341) ^ [_627496] : [tptpcol_2_2(_627496), -(tptpcol_1_1(_627496))], (570 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _611341) ^ [_627788] : [tptpcol_9_92165(_627788), -(tptpcol_8_92164(_627788))], (580 ^ _611341) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _611341) ^ [_628027] : [fixedordercollection(_628027), -(collection(_628027))], (588 ^ _611341) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _611341) ^ [_628266] : [tptpcol_1_1(_628266), tptpcol_1_65536(_628266)], (596 ^ _611341) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _611341) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _611341) ^ [_628557] : [microtheory(_628557), -(aspatialinformationstore(_628557))], (606 ^ _611341) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _611341) ^ [_628862] : [-(tptp_8_875(_628862, f_relationallexistsfn(_628862, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_628862, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _611341) ^ [] : [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 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _611341) ^ [_629313] : [tptpcol_10_118020(_629313), -(tptpcol_9_118019(_629313))], (636 ^ _611341) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _611341) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _611341) ^ [_629671] : [-(tptp_9_720(_629671, f_relationallexistsfn(_629671, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_629671)], (654 ^ _611341) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _611341) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _611341) ^ [_630120] : [individual(_630120), setorcollection(_630120)], (668 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _611341) ^ [_630358] : [tptpcol_12_22055(_630358), -(tptpcol_11_22023(_630358))], (676 ^ _611341) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _611341) ^ [_630597] : [applicationcontext(_630597), -(microtheory(_630597))], (684 ^ _611341) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _611341) ^ [_630903, _630905] : [tptptypes_8_400(_630905, _630903), -(tptptypes_7_396(_630905, _630903))], (694 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _611341) ^ [_631152] : [tptpcol_11_18631(_631152), -(tptpcol_10_18567(_631152))], (702 ^ _611341) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _611341) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _611341) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _611341) ^ [_631563] : [mathematicalthing(_631563), -(mathematicalorcomputationalthing(_631563))], (718 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _611341) ^ [_631855] : [tptpcol_15_93775(_631855), -(tptpcol_14_93774(_631855))], (728 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _611341) ^ [_632094] : [tptpcol_8_109059(_632094), -(tptpcol_7_108547(_632094))], (736 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _611341) ^ [_632333] : [tptpcol_14_40429(_632333), -(tptpcol_13_40421(_632333))], (744 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _611341) ^ [_632691] : [tptpcol_14_22072(_632691), -(tptpcol_13_22071(_632691))], (758 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _611341) ^ [_632930] : [tptpcol_14_93774(_632930), -(tptpcol_13_93766(_632930))], (766 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _611341) ^ [_633169] : [tptpcol_10_22022(_633169), -(tptpcol_9_22021(_633169))], (774 ^ _611341) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _611341) ^ [_633408] : [inanimateobject_nonnatural(_633408), -(inanimateobject(_633408))], (782 ^ _611341) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _611341) ^ [_633753] : [tptpcol_9_72709(_633753), -(tptpcol_8_72708(_633753))], (794 ^ _611341) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _611341) ^ [_633992] : [-(tptpofobject(_633992, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_633992)], (806 ^ _611341) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _611341) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _611341) ^ [_634431] : [firstordercollection(_634431), -(fixedordercollection(_634431))], (820 ^ _611341) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _611341) ^ [_634842] : [tptpcol_13_18664(_634842), -(tptpcol_12_18663(_634842))], (836 ^ _611341) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _611341) ^ [_635081] : [artifact(_635081), -(inanimateobject_nonnatural(_635081))], (844 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _611341) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _611341) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _611341) ^ [_635479] : [tptpcol_7_113665(_635479), -(tptpcol_6_112641(_635479))], (858 ^ _611341) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _611341) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _611341) ^ [_635837] : [geographicalregion(_635837), -(partiallytangible(_635837))], (872 ^ _611341) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _611341) ^ [_636090, _636092] : [disjointwith(_636092, _636090), -(no(_636092, _636090))], (880 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _611341) ^ [_636339] : [tptpcol_4_24578(_636339), -(tptpcol_3_16386(_636339))], (888 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _611341) ^ [_636578] : [tptpcol_5_69635(_636578), -(tptpcol_4_65539(_636578))], (896 ^ _611341) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _611341) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _611341) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _611341) ^ [_636937, _636939] : [genls(_636939, _636937), -(collection(_636939))], (908 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _611341) ^ [_637184] : [tptpcol_13_22071(_637184), -(tptpcol_12_22055(_637184))], (916 ^ _611341) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _611341) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _611341) ^ [_637476] : [tptpcol_3_98305(_637476), -(tptpcol_2_98304(_637476))], (926 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _611341) ^ [_637715] : [tptpcol_4_114689(_637715), -(tptpcol_3_114688(_637715))], (934 ^ _611341) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _611341) ^ [_637954] : [artsupplies(_637954), -(supplies(_637954))], (942 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _611341) ^ [_638193] : [tptpcol_8_26629(_638193), -(tptpcol_7_26628(_638193))], (950 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _611341) ^ [_638432] : [tptpcol_9_109060(_638432), -(tptpcol_8_109059(_638432))], (958 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _611341) ^ [_638671] : [isa(_638671, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_638671, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _638671))], (966 ^ _611341) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _611341) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _611341) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _611341) ^ [_639255] : [tptpcol_14_109181(_639255), -(tptpcol_13_109173(_639255))], (988 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _611341) ^ [_639494] : [tptpcol_16_30972(_639494), -(tptpcol_15_30970(_639494))], (996 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _611341) ^ [_639786] : [tptpcol_9_18439(_639786), -(tptpcol_8_18438(_639786))], (1006 ^ _611341) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _611341) ^ [_640078] : [tptpcol_12_118116(_640078), -(tptpcol_11_118084(_640078))], (1016 ^ _611341) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _611341) ^ [_640370] : [tptpcol_7_26628(_640370), -(tptpcol_6_26627(_640370))], (1026 ^ _611341) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _611341) ^ [_640623, _640625] : [most(_640625, _640623), -(setorcollection(_640625))], (1034 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _611341) ^ [_640870] : [tptpcol_15_109185(_640870), -(tptpcol_14_109181(_640870))], (1042 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _611341) ^ [_641109] : [tptpcol_16_92269(_641109), -(tptpcol_15_92268(_641109))], (1050 ^ _611341) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _611341) ^ [_641415, _641417] : [tptptypes_8_823(_641417, _641415), -(tptptypes_7_819(_641417, _641415))], (1060 ^ _611341) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _611341) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _611341) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _611341) ^ [_641995] : [tptpcol_10_26886(_641995), -(tptpcol_9_26885(_641995))], (1082 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _611341) ^ [_642287] : [tptpcol_15_72793(_642287), -(tptpcol_14_72792(_642287))], (1092 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _611341) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _611341) ^ [_642645] : [navypersonnel(_642645), -(militaryperson(_642645))], (1106 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _611341) ^ [_642884] : [tptpcol_4_16387(_642884), -(tptpcol_3_16386(_642884))], (1114 ^ _611341) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _611341) ^ [_643123] : [enduringthing_localized(_643123), -(spatialthing_nonsituational(_643123))], (1122 ^ _611341) ^ [_643309] : [collection(_643309), individual(_643309)], (1128 ^ _611341) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _611341) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _611341) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _611341) ^ [_643838] : [physicalorderingpredicate(_643838), -(orderingpredicate(_643838))], (1150 ^ _611341) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _611341) ^ [_644091, _644093] : [disjointwith(_644093, _644091), -(collection(_644091))], (1158 ^ _611341) ^ [_644327, _644329, _644331, _644333] : [-(isa(f_relationallexistsfn(_644333, _644329, _644331, _644327), _644327)), isa(_644333, _644331), relationallexists(_644329, _644331, _644327)], (1168 ^ _611341) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _611341) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _611341) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _611341) ^ [_644936, _644938] : [tptptypes_7_389(_644938, _644936), -(tptptypes_6_388(_644936, _644938))], (1186 ^ _611341) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _611341) ^ [_645251] : [-(hpkb_subnationalagent(_645251)), mtvisible(c_hpkbvocabmt), state_geopolitical(_645251)], (1202 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _611341) ^ [_645569] : [tptpcol_8_22020(_645569), -(tptpcol_7_21508(_645569))], (1210 ^ _611341) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _611341) ^ [_645808] : [-(tptp_9_51(f_relationexistsallfn(_645808, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _645808)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_645808, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _611341) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _611341) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _611341) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _611341) ^ [_646312] : [tptpcol_3_65538(_646312), -(tptpcol_2_65537(_646312))], (1238 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _611341) ^ [_646551] : [tptpcol_14_26921(_646551), -(tptpcol_13_26920(_646551))], (1246 ^ _611341) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _611341) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _611341) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _611341) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _611341) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _611341) ^ [_647002] : [intangibleindividual(_647002), -(partiallyintangibleindividual(_647002))], (1262 ^ _611341) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _611341) ^ [_647360] : [tptpcol_16_130924(_647360), -(tptpcol_15_130923(_647360))], (1276 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _611341) ^ [_647599] : [tptpcol_7_92163(_647599), -(tptpcol_6_92162(_647599))], (1284 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _611341) ^ [_647891] : [tptpcol_16_130933(_647891), -(tptpcol_15_130931(_647891))], (1294 ^ _611341) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _611341) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _611341) ^ [_648197, _648199] : [no(_648199, _648197), -(few(_648199, _648197))], (1304 ^ _611341) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _611341) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _611341) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _611341) ^ [_648605] : [tptpcol_6_20484(_648605), -(tptpcol_5_20483(_648605))], (1318 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _611341) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _611341) ^ [_649069] : [tptpcol_7_108547(_649069), -(tptpcol_6_108546(_649069))], (1336 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _611341) ^ [_649308] : [tptpcol_11_109125(_649308), -(tptpcol_10_109061(_649308))], (1344 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _611341) ^ [_649600] : [tptpcol_8_93698(_649600), -(tptpcol_7_93186(_649600))], (1354 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _611341) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _611341) ^ [_649892] : [tptpcol_2_65537(_649892), -(tptpcol_1_65536(_649892))], (1364 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _611341) ^ [_650184] : [tptpcol_6_18436(_650184), -(tptpcol_5_16388(_650184))], (1374 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _611341) ^ [_650423] : [tptpcol_8_18438(_650423), -(tptpcol_7_18437(_650423))], (1382 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _611341) ^ [_650781] : [tptpcol_8_117763(_650781), -(tptpcol_7_117762(_650781))], (1396 ^ _611341) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _611341) ^ [_651073] : [tptpcol_12_109157(_651073), -(tptpcol_11_109125(_651073))], (1406 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _611341) ^ [_651312] : [tptpcol_7_117762(_651312), -(tptpcol_6_116738(_651312))], (1414 ^ _611341) ^ [_651526, _651528, _651530] : [isa(_651530, _651528), isa(_651530, _651526), disjointwith(_651528, _651526)], (1424 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _611341) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _611341) ^ [_651926] : [aspatialinformationstore(_651926), -(aspatialthing(_651926))], (1434 ^ _611341) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _611341) ^ [_652324] : [tptpcol_9_93699(_652324), -(tptpcol_8_93698(_652324))], (1448 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _611341) ^ [_652563] : [tptpcol_11_93764(_652563), -(tptpcol_10_93700(_652563))], (1456 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _611341) ^ [_652802] : [tptpcol_6_26627(_652802), -(tptpcol_5_24579(_652802))], (1464 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _611341) ^ [_653041] : [tptpcol_4_90113(_653041), -(tptpcol_3_81921(_653041))], (1472 ^ _611341) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _611341) ^ [_653333] : [tptpcol_10_93700(_653333), -(tptpcol_9_93699(_653333))], (1482 ^ _611341) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _611341) ^ [_653572] : [aspatialinformationstore(_653572), -(intangibleindividual(_653572))], (1490 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _611341) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _611341) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _611341) ^ [_653983] : [tptpcol_3_16386(_653983), -(tptpcol_2_2(_653983))], (1506 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _611341) ^ [_654222] : [tptpcol_9_118019(_654222), -(tptpcol_8_117763(_654222))], (1514 ^ _611341) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _611341) ^ [_654461] : [individual(_654461), -(trajector_underspecified(_654461))], (1522 ^ _611341) ^ [_654647] : [shavingrazor_manual(_654647), -(tptp_8_271(f_relationexistsallfn(_654647, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _654647))], (1528 ^ _611341) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _611341) ^ [_654951] : [tptpcol_6_112641(_654951), -(tptpcol_5_110593(_654951))], (1538 ^ _611341) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _611341) ^ [_655190] : [tptpcol_12_72775(_655190), -(tptpcol_11_72774(_655190))], (1546 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _611341) ^ [_655429] : [tptpcol_7_72707(_655429), -(tptpcol_6_71683(_655429))], (1554 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _611341) ^ [_655668] : [tptpcol_16_50958(_655668), -(tptpcol_15_50957(_655668))], (1562 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _611341) ^ [_655907] : [tptpcol_8_114177(_655907), -(tptpcol_7_113665(_655907))], (1570 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _611341) ^ [_656146] : [tptpcol_16_72795(_656146), -(tptpcol_15_72793(_656146))], (1578 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _611341) ^ [_656385] : [tptpcol_6_71683(_656385), -(tptpcol_5_69635(_656385))], (1586 ^ _611341) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _611341) ^ [_656691, _656693] : [tptptypes_7_396(_656693, _656691), -(tptptypes_6_388(_656693, _656691))], (1596 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _611341) ^ [_656940] : [tptpcol_9_26885(_656940), -(tptpcol_8_26629(_656940))], (1604 ^ _611341) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _611341) ^ [_657193, _657195] : [genls(_657195, _657193), -(subsetof(_657195, _657193))], (1612 ^ _611341) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _611341) ^ [_657509, _657511] : [tptptypes_6_818(_657511, _657509), -(tptptypes_5_802(_657511, _657509))], (1622 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _611341) ^ [_657758] : [tptpcol_6_92162(_657758), -(tptpcol_5_90114(_657758))], (1630 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _611341) ^ [_658050] : [tptpcol_8_92164(_658050), -(tptpcol_7_92163(_658050))], (1640 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _611341) ^ [_658289] : [tptpcol_13_118117(_658289), -(tptpcol_12_118116(_658289))], (1648 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _611341) ^ [_658528] : [tptpcol_11_40388(_658528), -(tptpcol_10_40324(_658528))], (1656 ^ _611341) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _611341) ^ [_658781, _658783] : [tptptypes_9_824(_658783, _658781), -(tptptypes_8_823(_658783, _658781))], (1664 ^ _611341) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _611341) ^ [_659083] : [tptpcol_11_26887(_659083), -(tptpcol_10_26886(_659083))], (1674 ^ _611341) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _611341) ^ [_659322] : [tptpcol_16_26926(_659322), -(tptpcol_15_26925(_659322))], (1682 ^ _611341) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _611341) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _611341) ^ [_659628, _659630] : [few(_659630, _659628), -(setorcollection(_659628))], (1692 ^ _611341) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _611341) ^ [_659875] : [tptpcol_4_65539(_659875), -(tptpcol_3_65538(_659875))], (1700 ^ _611341) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _611341) ^ [_660114] : [tptpcol_8_39940(_660114), -(tptpcol_7_39939(_660114))], (1708 ^ _611341) ^ [_660300] : [-(tptpofobject(_660300, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_660300)], (1718 ^ _611341) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _611341) ^ [_660739] : [tptpcol_15_22076(_660739), -(tptpcol_14_22072(_660739))], (1732 ^ _611341) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _611341) ^ [_660978] : [tptpcol_0_0(_660978), -(individual(_660978))], (1740 ^ _611341) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _611341) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _611341) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _611341) ^ [_661376] : [tptpcol_11_72774(_661376), -(tptpcol_10_72710(_661376))], (1754 ^ _611341) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _611341) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _611341) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _611341) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _611341) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _611341) ^ [_662012] : [tptpcol_7_21508(_662012), -(tptpcol_6_20484(_662012))], (1780 ^ _611341) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _611341) ^ [_662251] : [tptpcol_6_108546(_662251), -(tptpcol_5_106498(_662251))], (1788 ^ _611341) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _611341) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _611341) ^ [_662609] : [geolevel_4(_662609), -(geographicalregion(_662609))], (1802 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _611341) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _611341) ^ [_663086] : [tptpcol_13_26920(_663086), -(tptpcol_12_26919(_663086))], (1822 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _611341) ^ [_663325] : [tptpcol_14_92264(_663325), -(tptpcol_13_92263(_663325))], (1830 ^ _611341) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _611341) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _611341) ^ [_663617] : [tptpcol_9_40196(_663617), -(tptpcol_8_39940(_663617))], (1840 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _611341) ^ [_663975] : [tptpcol_13_92263(_663975), -(tptpcol_12_92262(_663975))], (1854 ^ _611341) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _611341) ^ [_664267] : [tptpcol_5_90114(_664267), -(tptpcol_4_90113(_664267))], (1864 ^ _611341) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _611341) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _611341) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _611341) ^ [_664678] : [tptpcol_15_26925(_664678), -(tptpcol_14_26921(_664678))], (1880 ^ _611341) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _611341) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _611341) ^ [_665036] : [tptpcol_7_18437(_665036), -(tptpcol_6_18436(_665036))], (1894 ^ _611341) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _611341) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _611341) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _611341) ^ [_665447] : [tptpcol_3_98305(_665447), tptpcol_3_114688(_665447)], (1910 ^ _611341) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _611341) ^ [_665685] : [tptpcol_5_110593(_665685), -(tptpcol_4_106497(_665685))], (1918 ^ _611341) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _611341) ^ [_665924] : [tptpcol_13_72791(_665924), -(tptpcol_12_72775(_665924))], (1926 ^ _611341) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _611341) ^ [_666163] : [computerdataartifact(_666163), -(artifact(_666163))], (1934 ^ _611341) ^ [_666349] : [-(tptpofobject(_666349, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_666349)], (1944 ^ _611341) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _611341) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _611341) ^ [_666788] : [tptpcol_10_92166(_666788), -(tptpcol_9_92165(_666788))], (1958 ^ _611341) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _611341) ^ [_667027] : [tptpcol_14_118118(_667027), -(tptpcol_13_118117(_667027))], (1966 ^ _611341) ^ [_667213] : [isa(_667213, c_tptpcol_14_118118), -(tptpcol_14_118118(_667213))], (1972 ^ _611341) ^ [_667401] : [tptpcol_14_118118(_667401), -(isa(_667401, c_tptpcol_14_118118))], (1978 ^ _611341) ^ [_667574] : [-(natfunction(f_tptpquantityfn_6(_667574), c_tptpquantityfn_6))], (1980 ^ _611341) ^ [_667654] : [-(natargument(f_tptpquantityfn_6(_667654), n_1, _667654))], (1982 ^ _611341) ^ [_667735] : [-(tptpquantity(f_tptpquantityfn_6(_667735)))], (1984 ^ _611341) ^ [_667829] : [isa(_667829, c_tptpcol_16_26939), -(tptpcol_16_26939(_667829))], (1990 ^ _611341) ^ [_668017] : [tptpcol_16_26939(_668017), -(isa(_668017, c_tptpcol_16_26939))], (1996 ^ _611341) ^ [_668205] : [isa(_668205, c_tptpcol_16_62187), -(tptpcol_16_62187(_668205))], (2002 ^ _611341) ^ [_668393] : [tptpcol_16_62187(_668393), -(isa(_668393, c_tptpcol_16_62187))], (2008 ^ _611341) ^ [_668581] : [isa(_668581, c_tptpcol_13_92263), -(tptpcol_13_92263(_668581))], (2014 ^ _611341) ^ [_668769] : [tptpcol_13_92263(_668769), -(isa(_668769, c_tptpcol_13_92263))], (2020 ^ _611341) ^ [_668957] : [isa(_668957, c_geolevel_4), -(geolevel_4(_668957))], (2026 ^ _611341) ^ [_669145] : [geolevel_4(_669145), -(isa(_669145, c_geolevel_4))], (2032 ^ _611341) ^ [_669333] : [isa(_669333, c_tptpcol_15_4027), -(tptpcol_15_4027(_669333))], (2038 ^ _611341) ^ [_669521] : [tptpcol_15_4027(_669521), -(isa(_669521, c_tptpcol_15_4027))], (2044 ^ _611341) ^ [_669709] : [isa(_669709, c_pushingwithfingers), -(pushingwithfingers(_669709))], (2050 ^ _611341) ^ [_669897] : [pushingwithfingers(_669897), -(isa(_669897, c_pushingwithfingers))], (2056 ^ _611341) ^ [_670099, _670101] : [affiliatedwith(_670101, _670099), -(agent_generic(_670099))], (2062 ^ _611341) ^ [_670307, _670309] : [affiliatedwith(_670309, _670307), -(agent_generic(_670309))], (2068 ^ _611341) ^ [_670515, _670517] : [affiliatedwith(_670517, _670515), -(affiliatedwith(_670515, _670517))], (2074 ^ _611341) ^ [_670695] : [affiliatedwith(_670695, _670695)], (2076 ^ _611341) ^ [_670788] : [isa(_670788, c_footballteam), -(footballteam(_670788))], (2082 ^ _611341) ^ [_670976] : [footballteam(_670976), -(isa(_670976, c_footballteam))], (2088 ^ _611341) ^ [_671164] : [isa(_671164, c_tptpcol_16_4451), -(tptpcol_16_4451(_671164))], (2094 ^ _611341) ^ [_671352] : [tptpcol_16_4451(_671352), -(isa(_671352, c_tptpcol_16_4451))], (2100 ^ _611341) ^ [_671540] : [isa(_671540, c_pushingwithopenhand), -(pushingwithopenhand(_671540))], (2106 ^ _611341) ^ [_671728] : [pushingwithopenhand(_671728), -(isa(_671728, c_pushingwithopenhand))], (2112 ^ _611341) ^ [_671916] : [isa(_671916, c_tptpcol_15_22076), -(tptpcol_15_22076(_671916))], (2118 ^ _611341) ^ [_672104] : [tptpcol_15_22076(_672104), -(isa(_672104, c_tptpcol_15_22076))], (2124 ^ _611341) ^ [_672277] : [-(natfunction(f_tptpquantityfn_2(_672277), c_tptpquantityfn_2))], (2126 ^ _611341) ^ [_672357] : [-(natargument(f_tptpquantityfn_2(_672357), n_1, _672357))], (2128 ^ _611341) ^ [_672438] : [-(tptpquantity(f_tptpquantityfn_2(_672438)))], (2130 ^ _611341) ^ [_672532] : [isa(_672532, c_tptpcol_7_39939), -(tptpcol_7_39939(_672532))], (2136 ^ _611341) ^ [_672720] : [tptpcol_7_39939(_672720), -(isa(_672720, c_tptpcol_7_39939))], (2142 ^ _611341) ^ [_672908] : [isa(_672908, c_tptpcol_8_39940), -(tptpcol_8_39940(_672908))], (2148 ^ _611341) ^ [_673096] : [tptpcol_8_39940(_673096), -(isa(_673096, c_tptpcol_8_39940))], (2154 ^ _611341) ^ [_673284] : [isa(_673284, c_tptpcol_15_26925), -(tptpcol_15_26925(_673284))], (2160 ^ _611341) ^ [_673472] : [tptpcol_15_26925(_673472), -(isa(_673472, c_tptpcol_15_26925))], (2166 ^ _611341) ^ [_673660] : [isa(_673660, c_tptpcol_16_26926), -(tptpcol_16_26926(_673660))], (2172 ^ _611341) ^ [_673848] : [tptpcol_16_26926(_673848), -(isa(_673848, c_tptpcol_16_26926))], (2178 ^ _611341) ^ [_674036] : [isa(_674036, c_tptpcol_13_118117), -(tptpcol_13_118117(_674036))], (2184 ^ _611341) ^ [_674224] : [tptpcol_13_118117(_674224), -(isa(_674224, c_tptpcol_13_118117))], (2190 ^ _611341) ^ [_674412] : [isa(_674412, c_tptpcol_5_90114), -(tptpcol_5_90114(_674412))], (2196 ^ _611341) ^ [_674600] : [tptpcol_5_90114(_674600), -(isa(_674600, c_tptpcol_5_90114))], (2202 ^ _611341) ^ [_674802, _674804] : [tptptypes_5_802(_674804, _674802), -(firstordercollection(_674802))], (2208 ^ _611341) ^ [_675010, _675012] : [tptptypes_5_802(_675012, _675010), -(firstordercollection(_675012))], (2214 ^ _611341) ^ [_675204] : [isa(_675204, c_tptpcol_16_72795), -(tptpcol_16_72795(_675204))], (2220 ^ _611341) ^ [_675392] : [tptpcol_16_72795(_675392), -(isa(_675392, c_tptpcol_16_72795))], (2226 ^ _611341) ^ [_675580] : [isa(_675580, c_tptpcol_8_114177), -(tptpcol_8_114177(_675580))], (2232 ^ _611341) ^ [_675768] : [tptpcol_8_114177(_675768), -(isa(_675768, c_tptpcol_8_114177))], (2238 ^ _611341) ^ [_675956] : [isa(_675956, c_tptpcol_15_50957), -(tptpcol_15_50957(_675956))], (2244 ^ _611341) ^ [_676144] : [tptpcol_15_50957(_676144), -(isa(_676144, c_tptpcol_15_50957))], (2250 ^ _611341) ^ [_676332] : [isa(_676332, c_tptpcol_16_50958), -(tptpcol_16_50958(_676332))], (2256 ^ _611341) ^ [_676520] : [tptpcol_16_50958(_676520), -(isa(_676520, c_tptpcol_16_50958))], (2262 ^ _611341) ^ [_676708] : [isa(_676708, c_tptpcol_6_71683), -(tptpcol_6_71683(_676708))], (2268 ^ _611341) ^ [_676896] : [tptpcol_6_71683(_676896), -(isa(_676896, c_tptpcol_6_71683))], (2274 ^ _611341) ^ [_677084] : [isa(_677084, c_tptpcol_11_72774), -(tptpcol_11_72774(_677084))], (2280 ^ _611341) ^ [_677272] : [tptpcol_11_72774(_677272), -(isa(_677272, c_tptpcol_11_72774))], (2286 ^ _611341) ^ [_677460] : [isa(_677460, c_tptpcol_12_72775), -(tptpcol_12_72775(_677460))], (2292 ^ _611341) ^ [_677648] : [tptpcol_12_72775(_677648), -(isa(_677648, c_tptpcol_12_72775))], (2298 ^ _611341) ^ [_677836] : [isa(_677836, c_tptpcol_5_110593), -(tptpcol_5_110593(_677836))], (2304 ^ _611341) ^ [_678024] : [tptpcol_5_110593(_678024), -(isa(_678024, c_tptpcol_5_110593))], (2310 ^ _611341) ^ [_678212] : [isa(_678212, c_tptpcol_16_25972), -(tptpcol_16_25972(_678212))], (2316 ^ _611341) ^ [_678400] : [tptpcol_16_25972(_678400), -(isa(_678400, c_tptpcol_16_25972))], (2322 ^ _611341) ^ [_678602, _678604] : [tptp_8_271(_678604, _678602), -(razor(_678602))], (2328 ^ _611341) ^ [_678810, _678812] : [tptp_8_271(_678812, _678810), -(tptpcol_5_24579(_678812))], (2334 ^ _611341) ^ [_679004] : [isa(_679004, c_tptpcol_4_90113), -(tptpcol_4_90113(_679004))], (2340 ^ _611341) ^ [_679192] : [tptpcol_4_90113(_679192), -(isa(_679192, c_tptpcol_4_90113))], (2346 ^ _611341) ^ [_679380] : [isa(_679380, c_tptpcol_10_93700), -(tptpcol_10_93700(_679380))], (2352 ^ _611341) ^ [_679568] : [tptpcol_10_93700(_679568), -(isa(_679568, c_tptpcol_10_93700))], (2358 ^ _611341) ^ [_679756] : [isa(_679756, c_tptpcol_9_93699), -(tptpcol_9_93699(_679756))], (2364 ^ _611341) ^ [_679944] : [tptpcol_9_93699(_679944), -(isa(_679944, c_tptpcol_9_93699))], (2370 ^ _611341) ^ [_680132] : [isa(_680132, c_aspatialthing), -(aspatialthing(_680132))], (2376 ^ _611341) ^ [_680320] : [aspatialthing(_680320), -(isa(_680320, c_aspatialthing))], (2382 ^ _611341) ^ [_680508] : [isa(_680508, c_tptpcol_7_117762), -(tptpcol_7_117762(_680508))], (2388 ^ _611341) ^ [_680696] : [tptpcol_7_117762(_680696), -(isa(_680696, c_tptpcol_7_117762))], (2394 ^ _611341) ^ [_680884] : [isa(_680884, c_tptpcol_8_117763), -(tptpcol_8_117763(_680884))], (2400 ^ _611341) ^ [_681072] : [tptpcol_8_117763(_681072), -(isa(_681072, c_tptpcol_8_117763))], (2406 ^ _611341) ^ [_681260] : [isa(_681260, c_tptpcol_7_18437), -(tptpcol_7_18437(_681260))], (2412 ^ _611341) ^ [_681448] : [tptpcol_7_18437(_681448), -(isa(_681448, c_tptpcol_7_18437))], (2418 ^ _611341) ^ [_681636] : [isa(_681636, c_tptpcol_6_18436), -(tptpcol_6_18436(_681636))], (2424 ^ _611341) ^ [_681824] : [tptpcol_6_18436(_681824), -(isa(_681824, c_tptpcol_6_18436))], (2430 ^ _611341) ^ [_682012] : [isa(_682012, c_tptpcol_8_93698), -(tptpcol_8_93698(_682012))], (2436 ^ _611341) ^ [_682200] : [tptpcol_8_93698(_682200), -(isa(_682200, c_tptpcol_8_93698))], (2442 ^ _611341) ^ [_682388] : [isa(_682388, c_tptpcol_11_109125), -(tptpcol_11_109125(_682388))], (2448 ^ _611341) ^ [_682576] : [tptpcol_11_109125(_682576), -(isa(_682576, c_tptpcol_11_109125))], (2454 ^ _611341) ^ [_682764] : [isa(_682764, c_tptpcol_6_108546), -(tptpcol_6_108546(_682764))], (2460 ^ _611341) ^ [_682952] : [tptpcol_6_108546(_682952), -(isa(_682952, c_tptpcol_6_108546))], (2466 ^ _611341) ^ [_683140] : [isa(_683140, c_tptpcol_6_20484), -(tptpcol_6_20484(_683140))], (2472 ^ _611341) ^ [_683328] : [tptpcol_6_20484(_683328), -(isa(_683328, c_tptpcol_6_20484))], (2478 ^ _611341) ^ [_683530, _683532] : [few(_683532, _683530), -(setorcollection(_683530))], (2484 ^ _611341) ^ [_683738, _683740] : [few(_683740, _683738), -(setorcollection(_683738))], (2490 ^ _611341) ^ [_683946, _683948] : [few(_683948, _683946), -(setorcollection(_683948))], (2496 ^ _611341) ^ [_684154, _684156] : [few(_684156, _684154), -(setorcollection(_684156))], (2502 ^ _611341) ^ [_684376, _684378, _684380] : [-(few(_684380, _684376)), few(_684380, _684378), subsetof(_684376, _684378)], (2512 ^ _611341) ^ [_684671] : [isa(_684671, c_tptpcol_15_130931), -(tptpcol_15_130931(_684671))], (2518 ^ _611341) ^ [_684859] : [tptpcol_15_130931(_684859), -(isa(_684859, c_tptpcol_15_130931))], (2524 ^ _611341) ^ [_685047] : [isa(_685047, c_tptpcol_16_130933), -(tptpcol_16_130933(_685047))], (2530 ^ _611341) ^ [_685235] : [tptpcol_16_130933(_685235), -(isa(_685235, c_tptpcol_16_130933))], (2536 ^ _611341) ^ [_685423] : [isa(_685423, c_tptpcol_7_92163), -(tptpcol_7_92163(_685423))], (2542 ^ _611341) ^ [_685611] : [tptpcol_7_92163(_685611), -(isa(_685611, c_tptpcol_7_92163))], (2548 ^ _611341) ^ [_685799] : [isa(_685799, c_tptpcol_15_130923), -(tptpcol_15_130923(_685799))], (2554 ^ _611341) ^ [_685987] : [tptpcol_15_130923(_685987), -(isa(_685987, c_tptpcol_15_130923))], (2560 ^ _611341) ^ [_686175] : [isa(_686175, c_tptpcol_16_130924), -(tptpcol_16_130924(_686175))], (2566 ^ _611341) ^ [_686363] : [tptpcol_16_130924(_686363), -(isa(_686363, c_tptpcol_16_130924))], (2572 ^ _611341) ^ [_686551] : [isa(_686551, c_intangibleindividual), -(intangibleindividual(_686551))], (2578 ^ _611341) ^ [_686739] : [intangibleindividual(_686739), -(isa(_686739, c_intangibleindividual))], (2584 ^ _611341) ^ [_686926, _686928] : [-(natfunction(f_citynamedfn(_686928, _686926), c_citynamedfn))], (2586 ^ _611341) ^ [_687023, _687025] : [-(natargument(f_citynamedfn(_687025, _687023), n_1, _687025))], (2588 ^ _611341) ^ [_687121, _687123] : [-(natargument(f_citynamedfn(_687123, _687121), n_2, _687121))], (2590 ^ _611341) ^ [_687219, _687221] : [-(city(f_citynamedfn(_687221, _687219)))], (2592 ^ _611341) ^ [_687316] : [isa(_687316, c_tptpcol_13_26920), -(tptpcol_13_26920(_687316))], (2598 ^ _611341) ^ [_687504] : [tptpcol_13_26920(_687504), -(isa(_687504, c_tptpcol_13_26920))], (2604 ^ _611341) ^ [_687692] : [isa(_687692, c_tptpcol_14_26921), -(tptpcol_14_26921(_687692))], (2610 ^ _611341) ^ [_687880] : [tptpcol_14_26921(_687880), -(isa(_687880, c_tptpcol_14_26921))], (2616 ^ _611341) ^ [_688068] : [isa(_688068, c_tptpcol_3_65538), -(tptpcol_3_65538(_688068))], (2622 ^ _611341) ^ [_688256] : [tptpcol_3_65538(_688256), -(isa(_688256, c_tptpcol_3_65538))], (2628 ^ _611341) ^ [_688444] : [isa(_688444, c_tptpcol_16_27189), -(tptpcol_16_27189(_688444))], (2634 ^ _611341) ^ [_688632] : [tptpcol_16_27189(_688632), -(isa(_688632, c_tptpcol_16_27189))], (2640 ^ _611341) ^ [_688834, _688836] : [tptp_9_51(_688836, _688834), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_688834))], (2646 ^ _611341) ^ [_689042, _689044] : [tptp_9_51(_689044, _689042), -(tptpcol_7_26628(_689044))], (2652 ^ _611341) ^ [_689236] : [isa(_689236, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_689236))], (2658 ^ _611341) ^ [_689424] : [reflexivebinarypredicate(_689424), -(isa(_689424, c_reflexivebinarypredicate))], (2664 ^ _611341) ^ [_689612] : [isa(_689612, c_tptpcol_7_21508), -(tptpcol_7_21508(_689612))], (2670 ^ _611341) ^ [_689800] : [tptpcol_7_21508(_689800), -(isa(_689800, c_tptpcol_7_21508))], (2676 ^ _611341) ^ [_689988] : [isa(_689988, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_689988))], (2682 ^ _611341) ^ [_690176] : [hpkb_subnationalagent(_690176), -(isa(_690176, c_hpkb_subnationalagent))], (2688 ^ _611341) ^ [_690364] : [isa(_690364, c_state_geopolitical), -(state_geopolitical(_690364))], (2694 ^ _611341) ^ [_690552] : [state_geopolitical(_690552), -(isa(_690552, c_state_geopolitical))], (2700 ^ _611341) ^ [_690767, _690769, _690771, _690773] : [-(natfunction(f_relationallexistsfn(_690773, _690771, _690769, _690767), c_relationallexistsfn))], (2702 ^ _611341) ^ [_690898, _690900, _690902, _690904] : [-(natargument(f_relationallexistsfn(_690904, _690902, _690900, _690898), n_1, _690904))], (2704 ^ _611341) ^ [_691030, _691032, _691034, _691036] : [-(natargument(f_relationallexistsfn(_691036, _691034, _691032, _691030), n_2, _691034))], (2706 ^ _611341) ^ [_691162, _691164, _691166, _691168] : [-(natargument(f_relationallexistsfn(_691168, _691166, _691164, _691162), n_3, _691164))], (2708 ^ _611341) ^ [_691294, _691296, _691298, _691300] : [-(natargument(f_relationallexistsfn(_691300, _691298, _691296, _691294), n_4, _691294))], (2710 ^ _611341) ^ [_691426, _691428, _691430, _691432] : [-(thing(f_relationallexistsfn(_691432, _691430, _691428, _691426)))], (2712 ^ _611341) ^ [_691543, _691545] : [arg2isa(_691545, _691543), -(collection(_691543))], (2718 ^ _611341) ^ [_691751, _691753] : [arg2isa(_691753, _691751), -(relation(_691753))], (2724 ^ _611341) ^ [_691973, _691975, _691977] : [-(arg2isa(_691977, _691973)), arg2isa(_691977, _691975), genls(_691975, _691973)], (2734 ^ _611341) ^ [_692296, _692298, _692300] : [-(arg2isa(_692300, _692296)), arg2isa(_692300, _692298), genls(_692298, _692296)], (2744 ^ _611341) ^ [_692591] : [isa(_692591, c_geolevel_1), -(geolevel_1(_692591))], (2750 ^ _611341) ^ [_692779] : [geolevel_1(_692779), -(isa(_692779, c_geolevel_1))], (2756 ^ _611341) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _611341) ^ [_693020] : [isa(_693020, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_693020))], (2764 ^ _611341) ^ [_693208] : [spatialthing_nonsituational(_693208), -(isa(_693208, c_spatialthing_nonsituational))], (2770 ^ _611341) ^ [_693396] : [isa(_693396, c_militaryperson), -(militaryperson(_693396))], (2776 ^ _611341) ^ [_693584] : [militaryperson(_693584), -(isa(_693584, c_militaryperson))], (2782 ^ _611341) ^ [_693772] : [isa(_693772, c_tptpcol_15_72793), -(tptpcol_15_72793(_693772))], (2788 ^ _611341) ^ [_693960] : [tptpcol_15_72793(_693960), -(isa(_693960, c_tptpcol_15_72793))], (2794 ^ _611341) ^ [_694148] : [isa(_694148, c_tptpcol_9_26885), -(tptpcol_9_26885(_694148))], (2800 ^ _611341) ^ [_694336] : [tptpcol_9_26885(_694336), -(isa(_694336, c_tptpcol_9_26885))], (2806 ^ _611341) ^ [_694524] : [isa(_694524, c_tptpcol_10_26886), -(tptpcol_10_26886(_694524))], (2812 ^ _611341) ^ [_694712] : [tptpcol_10_26886(_694712), -(isa(_694712, c_tptpcol_10_26886))], (2818 ^ _611341) ^ [_694914, _694916] : [tptptypes_8_823(_694916, _694914), -(firstordercollection(_694914))], (2824 ^ _611341) ^ [_695122, _695124] : [tptptypes_8_823(_695124, _695122), -(firstordercollection(_695124))], (2830 ^ _611341) ^ [_695316] : [isa(_695316, c_tptpcol_16_92269), -(tptpcol_16_92269(_695316))], (2836 ^ _611341) ^ [_695504] : [tptpcol_16_92269(_695504), -(isa(_695504, c_tptpcol_16_92269))], (2842 ^ _611341) ^ [_695692] : [isa(_695692, c_tptpcol_15_109185), -(tptpcol_15_109185(_695692))], (2848 ^ _611341) ^ [_695880] : [tptpcol_15_109185(_695880), -(isa(_695880, c_tptpcol_15_109185))], (2854 ^ _611341) ^ [_696068] : [isa(_696068, c_tptpcol_6_26627), -(tptpcol_6_26627(_696068))], (2860 ^ _611341) ^ [_696256] : [tptpcol_6_26627(_696256), -(isa(_696256, c_tptpcol_6_26627))], (2866 ^ _611341) ^ [_696444] : [isa(_696444, c_tptpcol_12_118116), -(tptpcol_12_118116(_696444))], (2872 ^ _611341) ^ [_696632] : [tptpcol_12_118116(_696632), -(isa(_696632, c_tptpcol_12_118116))], (2878 ^ _611341) ^ [_696820] : [isa(_696820, c_tptpcol_8_18438), -(tptpcol_8_18438(_696820))], (2884 ^ _611341) ^ [_697008] : [tptpcol_8_18438(_697008), -(isa(_697008, c_tptpcol_8_18438))], (2890 ^ _611341) ^ [_697196] : [isa(_697196, c_tptpcol_15_30970), -(tptpcol_15_30970(_697196))], (2896 ^ _611341) ^ [_697384] : [tptpcol_15_30970(_697384), -(isa(_697384, c_tptpcol_15_30970))], (2902 ^ _611341) ^ [_697572] : [isa(_697572, c_tptpcol_16_30972), -(tptpcol_16_30972(_697572))], (2908 ^ _611341) ^ [_697760] : [tptpcol_16_30972(_697760), -(isa(_697760, c_tptpcol_16_30972))], (2914 ^ _611341) ^ [_697948] : [isa(_697948, c_tptpcol_14_109181), -(tptpcol_14_109181(_697948))], (2920 ^ _611341) ^ [_698136] : [tptpcol_14_109181(_698136), -(isa(_698136, c_tptpcol_14_109181))], (2926 ^ _611341) ^ [_698324] : [isa(_698324, c_physicalorderingpredicate), -(physicalorderingpredicate(_698324))], (2932 ^ _611341) ^ [_698512] : [physicalorderingpredicate(_698512), -(isa(_698512, c_physicalorderingpredicate))], (2938 ^ _611341) ^ [_698700] : [isa(_698700, c_tptpcol_16_7738), -(tptpcol_16_7738(_698700))], (2944 ^ _611341) ^ [_698888] : [tptpcol_16_7738(_698888), -(isa(_698888, c_tptpcol_16_7738))], (2950 ^ _611341) ^ [_699090, _699092] : [tptp_8_968(_699092, _699090), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_699090))], (2956 ^ _611341) ^ [_699298, _699300] : [tptp_8_968(_699300, _699298), -(tptpcol_7_7172(_699300))], (2962 ^ _611341) ^ [_699520, _699522, _699524] : [relationexistsall(_699524, _699522, _699520), -(collection(_699520))], (2968 ^ _611341) ^ [_699750, _699752, _699754] : [relationexistsall(_699754, _699752, _699750), -(collection(_699752))], (2974 ^ _611341) ^ [_699980, _699982, _699984] : [relationexistsall(_699984, _699982, _699980), -(binarypredicate(_699984))], (2980 ^ _611341) ^ [_700182] : [isa(_700182, c_tptpcol_7_26628), -(tptpcol_7_26628(_700182))], (2986 ^ _611341) ^ [_700370] : [tptpcol_7_26628(_700370), -(isa(_700370, c_tptpcol_7_26628))], (2992 ^ _611341) ^ [_700558] : [isa(_700558, c_tptpcol_8_26629), -(tptpcol_8_26629(_700558))], (2998 ^ _611341) ^ [_700746] : [tptpcol_8_26629(_700746), -(isa(_700746, c_tptpcol_8_26629))], (3004 ^ _611341) ^ [_700934] : [isa(_700934, c_tptpcol_3_114688), -(tptpcol_3_114688(_700934))], (3010 ^ _611341) ^ [_701122] : [tptpcol_3_114688(_701122), -(isa(_701122, c_tptpcol_3_114688))], (3016 ^ _611341) ^ [_701295] : [-(natfunction(f_contextofpcwfn(_701295), c_contextofpcwfn))], (3018 ^ _611341) ^ [_701375] : [-(natargument(f_contextofpcwfn(_701375), n_1, _701375))], (3020 ^ _611341) ^ [_701456] : [-(microtheory(f_contextofpcwfn(_701456)))], (3022 ^ _611341) ^ [_701564, _701566] : [arg1isa(_701566, _701564), -(collection(_701564))], (3028 ^ _611341) ^ [_701772, _701774] : [arg1isa(_701774, _701772), -(relation(_701774))], (3034 ^ _611341) ^ [_701994, _701996, _701998] : [-(arg1isa(_701998, _701994)), arg1isa(_701998, _701996), genls(_701996, _701994)], (3044 ^ _611341) ^ [_702317, _702319, _702321] : [-(arg1isa(_702321, _702317)), arg1isa(_702321, _702319), genls(_702319, _702317)], (3054 ^ _611341) ^ [_702626, _702628] : [objectfoundinlocation(_702628, _702626), -(spatialthing_nonsituational(_702626))], (3060 ^ _611341) ^ [_702834, _702836] : [objectfoundinlocation(_702836, _702834), -(spatialthing_localized(_702834))], (3066 ^ _611341) ^ [_703042, _703044] : [objectfoundinlocation(_703044, _703042), -(spatialthing_nonsituational(_703044))], (3072 ^ _611341) ^ [_703250, _703252] : [objectfoundinlocation(_703252, _703250), -(spatialthing_localized(_703252))], (3078 ^ _611341) ^ [_703472, _703474, _703476] : [-(objectfoundinlocation(_703476, _703472)), objectfoundinlocation(_703476, _703474), objectfoundinlocation(_703474, _703472)], (3088 ^ _611341) ^ [_703751] : [objectfoundinlocation(_703751, _703751)], (3090 ^ _611341) ^ [_703872, _703874, _703876] : [-(objectfoundinlocation(_703876, _703872)), objectfoundinlocation(_703876, _703874), geopoliticalsubdivision(_703872, _703874)], (3100 ^ _611341) ^ [_704195, _704197, _704199] : [-(objectfoundinlocation(_704199, _704195)), objectfoundinlocation(_704199, _704197), geographicallysubsumes(_704195, _704197)], (3110 ^ _611341) ^ [_704518, _704520, _704522] : [-(objectfoundinlocation(_704522, _704518)), objectfoundinlocation(_704522, _704520), subregions(_704518, _704520)], (3120 ^ _611341) ^ [_704813] : [isa(_704813, c_ship), -(ship(_704813))], (3126 ^ _611341) ^ [_705001] : [ship(_705001), -(isa(_705001, c_ship))], (3132 ^ _611341) ^ [_705202, _705204, _705206] : [-(natfunction(f_subcollectionofwithrelationtofn(_705206, _705204, _705202), c_subcollectionofwithrelationtofn))], (3134 ^ _611341) ^ [_705316, _705318, _705320] : [-(natargument(f_subcollectionofwithrelationtofn(_705320, _705318, _705316), n_1, _705320))], (3136 ^ _611341) ^ [_705431, _705433, _705435] : [-(natargument(f_subcollectionofwithrelationtofn(_705435, _705433, _705431), n_2, _705433))], (3138 ^ _611341) ^ [_705546, _705548, _705550] : [-(natargument(f_subcollectionofwithrelationtofn(_705550, _705548, _705546), n_3, _705546))], (3140 ^ _611341) ^ [_705661, _705663, _705665] : [-(collection(f_subcollectionofwithrelationtofn(_705665, _705663, _705661)))], (3142 ^ _611341) ^ [_705761] : [isa(_705761, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705761))], (3148 ^ _611341) ^ [_705949] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_705949), -(isa(_705949, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _611341) ^ [_706137] : [isa(_706137, c_tptpcol_4_65539), -(tptpcol_4_65539(_706137))], (3160 ^ _611341) ^ [_706325] : [tptpcol_4_65539(_706325), -(isa(_706325, c_tptpcol_4_65539))], (3166 ^ _611341) ^ [_706513] : [isa(_706513, c_tptpcol_5_69635), -(tptpcol_5_69635(_706513))], (3172 ^ _611341) ^ [_706701] : [tptpcol_5_69635(_706701), -(isa(_706701, c_tptpcol_5_69635))], (3178 ^ _611341) ^ [_706889] : [isa(_706889, c_tptpcol_3_16386), -(tptpcol_3_16386(_706889))], (3184 ^ _611341) ^ [_707077] : [tptpcol_3_16386(_707077), -(isa(_707077, c_tptpcol_3_16386))], (3190 ^ _611341) ^ [_707279, _707281] : [no(_707281, _707279), -(setorcollection(_707279))], (3196 ^ _611341) ^ [_707487, _707489] : [no(_707489, _707487), -(setorcollection(_707489))], (3202 ^ _611341) ^ [_707695, _707697] : [no(_707697, _707695), -(no(_707695, _707697))], (3208 ^ _611341) ^ [_707919, _707921, _707923] : [-(no(_707923, _707919)), no(_707923, _707921), subsetof(_707919, _707921)], (3218 ^ _611341) ^ [_708242, _708244, _708246] : [-(no(_708242, _708244)), no(_708246, _708244), subsetof(_708242, _708246)], (3228 ^ _611341) ^ [_708565, _708567, _708569] : [-(no(_708565, _708567)), no(_708569, _708567), genls(_708565, _708569)], (3238 ^ _611341) ^ [_708888, _708890, _708892] : [-(no(_708892, _708888)), no(_708892, _708890), genls(_708888, _708890)], (3248 ^ _611341) ^ [_709211, _709213, _709215] : [-(no(_709211, _709213)), no(_709215, _709213), subsetof(_709211, _709215)], (3258 ^ _611341) ^ [_709534, _709536, _709538] : [-(no(_709538, _709534)), no(_709538, _709536), subsetof(_709534, _709536)], (3268 ^ _611341) ^ [_709829] : [isa(_709829, c_geographicalregion), -(geographicalregion(_709829))], (3274 ^ _611341) ^ [_710017] : [geographicalregion(_710017), -(isa(_710017, c_geographicalregion))], (3280 ^ _611341) ^ [_710190] : [-(natfunction(f_tptpquantityfn_21(_710190), c_tptpquantityfn_21))], (3282 ^ _611341) ^ [_710270] : [-(natargument(f_tptpquantityfn_21(_710270), n_1, _710270))], (3284 ^ _611341) ^ [_710351] : [-(tptpquantity(f_tptpquantityfn_21(_710351)))], (3286 ^ _611341) ^ [_710459, _710461] : [airporthasiatacode(_710461, _710459), -(stringoflengthfn3(_710459))], (3292 ^ _611341) ^ [_710667, _710669] : [airporthasiatacode(_710669, _710667), -(airport_physical(_710669))], (3298 ^ _611341) ^ [_710861] : [isa(_710861, c_airport_physical), -(airport_physical(_710861))], (3304 ^ _611341) ^ [_711049] : [airport_physical(_711049), -(isa(_711049, c_airport_physical))], (3310 ^ _611341) ^ [_711250, _711252, _711254] : [-(natfunction(f_instancewithrelationtofn(_711254, _711252, _711250), c_instancewithrelationtofn))], (3312 ^ _611341) ^ [_711364, _711366, _711368] : [-(natargument(f_instancewithrelationtofn(_711368, _711366, _711364), n_1, _711368))], (3314 ^ _611341) ^ [_711479, _711481, _711483] : [-(natargument(f_instancewithrelationtofn(_711483, _711481, _711479), n_2, _711481))], (3316 ^ _611341) ^ [_711594, _711596, _711598] : [-(natargument(f_instancewithrelationtofn(_711598, _711596, _711594), n_3, _711594))], (3318 ^ _611341) ^ [_711709, _711711, _711713] : [-(thing(f_instancewithrelationtofn(_711713, _711711, _711709)))], (3320 ^ _611341) ^ [_711809] : [isa(_711809, c_tptpcol_6_112641), -(tptpcol_6_112641(_711809))], (3326 ^ _611341) ^ [_711997] : [tptpcol_6_112641(_711997), -(isa(_711997, c_tptpcol_6_112641))], (3332 ^ _611341) ^ [_712185] : [isa(_712185, c_tptpcol_7_113665), -(tptpcol_7_113665(_712185))], (3338 ^ _611341) ^ [_712373] : [tptpcol_7_113665(_712373), -(isa(_712373, c_tptpcol_7_113665))], (3344 ^ _611341) ^ [_712561] : [isa(_712561, c_artifact), -(artifact(_712561))], (3350 ^ _611341) ^ [_712749] : [artifact(_712749), -(isa(_712749, c_artifact))], (3356 ^ _611341) ^ [_712937] : [isa(_712937, c_tptpcol_13_18664), -(tptpcol_13_18664(_712937))], (3362 ^ _611341) ^ [_713125] : [tptpcol_13_18664(_713125), -(isa(_713125, c_tptpcol_13_18664))], (3368 ^ _611341) ^ [_713313] : [isa(_713313, c_firstordercollection), -(firstordercollection(_713313))], (3374 ^ _611341) ^ [_713501] : [firstordercollection(_713501), -(isa(_713501, c_firstordercollection))], (3380 ^ _611341) ^ [_713674] : [-(natfunction(f_tptpquantityfn_14(_713674), c_tptpquantityfn_14))], (3382 ^ _611341) ^ [_713754] : [-(natargument(f_tptpquantityfn_14(_713754), n_1, _713754))], (3384 ^ _611341) ^ [_713835] : [-(tptpquantity(f_tptpquantityfn_14(_713835)))], (3386 ^ _611341) ^ [_713929] : [isa(_713929, c_supplies), -(supplies(_713929))], (3392 ^ _611341) ^ [_714117] : [supplies(_714117), -(isa(_714117, c_supplies))], (3398 ^ _611341) ^ [_714305] : [isa(_714305, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_714305))], (3404 ^ _611341) ^ [_714493] : [inanimateobject_nonnatural(_714493), -(isa(_714493, c_inanimateobject_nonnatural))], (3410 ^ _611341) ^ [_714681] : [isa(_714681, c_tptpcol_13_22071), -(tptpcol_13_22071(_714681))], (3416 ^ _611341) ^ [_714869] : [tptpcol_13_22071(_714869), -(isa(_714869, c_tptpcol_13_22071))], (3422 ^ _611341) ^ [_715057] : [isa(_715057, c_tptpcol_14_22072), -(tptpcol_14_22072(_715057))], (3428 ^ _611341) ^ [_715245] : [tptpcol_14_22072(_715245), -(isa(_715245, c_tptpcol_14_22072))], (3434 ^ _611341) ^ [_715433] : [isa(_715433, c_tptpcol_7_108547), -(tptpcol_7_108547(_715433))], (3440 ^ _611341) ^ [_715621] : [tptpcol_7_108547(_715621), -(isa(_715621, c_tptpcol_7_108547))], (3446 ^ _611341) ^ [_715809] : [isa(_715809, c_tptpcol_8_109059), -(tptpcol_8_109059(_715809))], (3452 ^ _611341) ^ [_715997] : [tptpcol_8_109059(_715997), -(isa(_715997, c_tptpcol_8_109059))], (3458 ^ _611341) ^ [_716185] : [isa(_716185, c_tptpcol_14_93774), -(tptpcol_14_93774(_716185))], (3464 ^ _611341) ^ [_716373] : [tptpcol_14_93774(_716373), -(isa(_716373, c_tptpcol_14_93774))], (3470 ^ _611341) ^ [_716561] : [isa(_716561, c_tptpcol_15_93775), -(tptpcol_15_93775(_716561))], (3476 ^ _611341) ^ [_716749] : [tptpcol_15_93775(_716749), -(isa(_716749, c_tptpcol_15_93775))], (3482 ^ _611341) ^ [_716937] : [isa(_716937, c_tptpcol_16_8886), -(tptpcol_16_8886(_716937))], (3488 ^ _611341) ^ [_717125] : [tptpcol_16_8886(_717125), -(isa(_717125, c_tptpcol_16_8886))], (3494 ^ _611341) ^ [_717327, _717329] : [orientation(_717329, _717327), -(orientationvector(_717327))], (3500 ^ _611341) ^ [_717535, _717537] : [orientation(_717537, _717535), -(spatialthing_localized(_717537))], (3506 ^ _611341) ^ [_717729] : [isa(_717729, c_orientationvector), -(orientationvector(_717729))], (3512 ^ _611341) ^ [_717917] : [orientationvector(_717917), -(isa(_717917, c_orientationvector))], (3518 ^ _611341) ^ [_718105] : [isa(_718105, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_718105))], (3524 ^ _611341) ^ [_718293] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_718293), -(isa(_718293, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _611341) ^ [_718495, _718497] : [tptptypes_9_824(_718497, _718495), -(firstordercollection(_718495))], (3536 ^ _611341) ^ [_718703, _718705] : [tptptypes_9_824(_718705, _718703), -(firstordercollection(_718705))], (3542 ^ _611341) ^ [_718911, _718913] : [tptptypes_7_396(_718913, _718911), -(firstordercollection(_718911))], (3548 ^ _611341) ^ [_719119, _719121] : [tptptypes_7_396(_719121, _719119), -(firstordercollection(_719121))], (3554 ^ _611341) ^ [_719313] : [isa(_719313, c_tptpcol_12_22055), -(tptpcol_12_22055(_719313))], (3560 ^ _611341) ^ [_719501] : [tptpcol_12_22055(_719501), -(isa(_719501, c_tptpcol_12_22055))], (3566 ^ _611341) ^ [_719689] : [isa(_719689, c_tptpcol_16_29490), -(tptpcol_16_29490(_719689))], (3572 ^ _611341) ^ [_719877] : [tptpcol_16_29490(_719877), -(isa(_719877, c_tptpcol_16_29490))], (3578 ^ _611341) ^ [_720079, _720081] : [tptp_9_720(_720081, _720079), -(tptpcol_5_28674(_720079))], (3584 ^ _611341) ^ [_720287, _720289] : [tptp_9_720(_720289, _720287), -(executionbyfiringsquad(_720289))], (3590 ^ _611341) ^ [_720481] : [isa(_720481, c_runningshorts), -(runningshorts(_720481))], (3596 ^ _611341) ^ [_720669] : [runningshorts(_720669), -(isa(_720669, c_runningshorts))], (3602 ^ _611341) ^ [_720857] : [isa(_720857, c_tptpcol_9_118019), -(tptpcol_9_118019(_720857))], (3608 ^ _611341) ^ [_721045] : [tptpcol_9_118019(_721045), -(isa(_721045, c_tptpcol_9_118019))], (3614 ^ _611341) ^ [_721233] : [isa(_721233, c_tptpcol_16_31868), -(tptpcol_16_31868(_721233))], (3620 ^ _611341) ^ [_721421] : [tptpcol_16_31868(_721421), -(isa(_721421, c_tptpcol_16_31868))], (3626 ^ _611341) ^ [_721609] : [isa(_721609, c_movement_translationevent), -(movement_translationevent(_721609))], (3632 ^ _611341) ^ [_721797] : [movement_translationevent(_721797), -(isa(_721797, c_movement_translationevent))], (3638 ^ _611341) ^ [_721999, _722001] : [directionoftranslation_throughout(_722001, _721999), -(unitvectorinterval(_721999))], (3644 ^ _611341) ^ [_722207, _722209] : [directionoftranslation_throughout(_722209, _722207), -(movement_translationevent(_722209))], (3650 ^ _611341) ^ [_722429, _722431, _722433] : [-(directionoftranslation_throughout(_722429, _722431)), directionoftranslation_throughout(_722433, _722431), subevents(_722433, _722429)], (3660 ^ _611341) ^ [_722724] : [isa(_722724, c_unitvectorinterval), -(unitvectorinterval(_722724))], (3666 ^ _611341) ^ [_722912] : [unitvectorinterval(_722912), -(isa(_722912, c_unitvectorinterval))], (3672 ^ _611341) ^ [_723100] : [isa(_723100, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723100))], (3678 ^ _611341) ^ [_723288] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723288), -(isa(_723288, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _611341) ^ [_723490, _723492] : [tptp_8_875(_723492, _723490), -(tptpcol_4_24578(_723490))], (3690 ^ _611341) ^ [_723698, _723700] : [tptp_8_875(_723700, _723698), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_723700))], (3696 ^ _611341) ^ [_723920, _723922, _723924] : [relationallexists(_723924, _723922, _723920), -(collection(_723920))], (3702 ^ _611341) ^ [_724150, _724152, _724154] : [relationallexists(_724154, _724152, _724150), -(collection(_724152))], (3708 ^ _611341) ^ [_724380, _724382, _724384] : [relationallexists(_724384, _724382, _724380), -(binarypredicate(_724384))], (3714 ^ _611341) ^ [_724582] : [isa(_724582, c_tptpcol_16_10258), -(tptpcol_16_10258(_724582))], (3720 ^ _611341) ^ [_724770] : [tptpcol_16_10258(_724770), -(isa(_724770, c_tptpcol_16_10258))], (3726 ^ _611341) ^ [_724958] : [isa(_724958, c_pushingababycarriage), -(pushingababycarriage(_724958))], (3732 ^ _611341) ^ [_725146] : [pushingababycarriage(_725146), -(isa(_725146, c_pushingababycarriage))], (3738 ^ _611341) ^ [_725334] : [isa(_725334, c_aspatialinformationstore), -(aspatialinformationstore(_725334))], (3744 ^ _611341) ^ [_725522] : [aspatialinformationstore(_725522), -(isa(_725522, c_aspatialinformationstore))], (3750 ^ _611341) ^ [_725710] : [isa(_725710, c_collection), -(collection(_725710))], (3756 ^ _611341) ^ [_725898] : [collection(_725898), -(isa(_725898, c_collection))], (3762 ^ _611341) ^ [_726086] : [isa(_726086, c_fixedordercollection), -(fixedordercollection(_726086))], (3768 ^ _611341) ^ [_726274] : [fixedordercollection(_726274), -(isa(_726274, c_fixedordercollection))], (3774 ^ _611341) ^ [_726462] : [isa(_726462, c_tptpcol_8_92164), -(tptpcol_8_92164(_726462))], (3780 ^ _611341) ^ [_726650] : [tptpcol_8_92164(_726650), -(isa(_726650, c_tptpcol_8_92164))], (3786 ^ _611341) ^ [_726838] : [isa(_726838, c_tptpcol_9_92165), -(tptpcol_9_92165(_726838))], (3792 ^ _611341) ^ [_727026] : [tptpcol_9_92165(_727026), -(isa(_727026, c_tptpcol_9_92165))], (3798 ^ _611341) ^ [_727214] : [isa(_727214, c_tptpcol_1_1), -(tptpcol_1_1(_727214))], (3804 ^ _611341) ^ [_727402] : [tptpcol_1_1(_727402), -(isa(_727402, c_tptpcol_1_1))], (3810 ^ _611341) ^ [_727590] : [isa(_727590, c_tptpcol_2_2), -(tptpcol_2_2(_727590))], (3816 ^ _611341) ^ [_727778] : [tptpcol_2_2(_727778), -(isa(_727778, c_tptpcol_2_2))], (3822 ^ _611341) ^ [_727980, _727982] : [tptptypes_7_691(_727982, _727980), -(firstordercollection(_727980))], (3828 ^ _611341) ^ [_728188, _728190] : [tptptypes_7_691(_728190, _728188), -(firstordercollection(_728190))], (3834 ^ _611341) ^ [_728382] : [isa(_728382, c_tptpcol_11_26887), -(tptpcol_11_26887(_728382))], (3840 ^ _611341) ^ [_728570] : [tptpcol_11_26887(_728570), -(isa(_728570, c_tptpcol_11_26887))], (3846 ^ _611341) ^ [_728758] : [isa(_728758, c_tptpcol_12_26919), -(tptpcol_12_26919(_728758))], (3852 ^ _611341) ^ [_728946] : [tptpcol_12_26919(_728946), -(isa(_728946, c_tptpcol_12_26919))], (3858 ^ _611341) ^ [_729148, _729150] : [tptptypes_6_818(_729150, _729148), -(firstordercollection(_729148))], (3864 ^ _611341) ^ [_729356, _729358] : [tptptypes_6_818(_729358, _729356), -(firstordercollection(_729358))], (3870 ^ _611341) ^ [_729564, _729566] : [tptptypes_7_819(_729566, _729564), -(firstordercollection(_729564))], (3876 ^ _611341) ^ [_729772, _729774] : [tptptypes_7_819(_729774, _729772), -(firstordercollection(_729774))], (3882 ^ _611341) ^ [_729966] : [isa(_729966, c_correctivelensprescription), -(correctivelensprescription(_729966))], (3888 ^ _611341) ^ [_730154] : [correctivelensprescription(_730154), -(isa(_730154, c_correctivelensprescription))], (3894 ^ _611341) ^ [_730356, _730358] : [products(_730358, _730356), -(artifact(_730356))], (3900 ^ _611341) ^ [_730564, _730566] : [products(_730566, _730564), -(creationordestructionevent(_730566))], (3906 ^ _611341) ^ [_730758] : [isa(_730758, c_issuingaprescription), -(issuingaprescription(_730758))], (3912 ^ _611341) ^ [_730946] : [issuingaprescription(_730946), -(isa(_730946, c_issuingaprescription))], (3918 ^ _611341) ^ [_731147, _731149, _731151] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_731151, _731149, _731147), c_subcollectionofwithrelationtotypefn))], (3920 ^ _611341) ^ [_731261, _731263, _731265] : [-(natargument(f_subcollectionofwithrelationtotypefn(_731265, _731263, _731261), n_1, _731265))], (3922 ^ _611341) ^ [_731376, _731378, _731380] : [-(natargument(f_subcollectionofwithrelationtotypefn(_731380, _731378, _731376), n_2, _731378))], (3924 ^ _611341) ^ [_731491, _731493, _731495] : [-(natargument(f_subcollectionofwithrelationtotypefn(_731495, _731493, _731491), n_3, _731491))], (3926 ^ _611341) ^ [_731606, _731608, _731610] : [-(collection(f_subcollectionofwithrelationtotypefn(_731610, _731608, _731606)))], (3928 ^ _611341) ^ [_731706] : [isa(_731706, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731706))], (3934 ^ _611341) ^ [_731894] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_731894), -(isa(_731894, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _611341) ^ [_732082] : [isa(_732082, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_732082))], (3946 ^ _611341) ^ [_732270] : [mathematicalorcomputationalthing(_732270), -(isa(_732270, c_mathematicalorcomputationalthing))], (3952 ^ _611341) ^ [_732458] : [isa(_732458, c_tptpcol_10_118020), -(tptpcol_10_118020(_732458))], (3958 ^ _611341) ^ [_732646] : [tptpcol_10_118020(_732646), -(isa(_732646, c_tptpcol_10_118020))], (3964 ^ _611341) ^ [_732834] : [isa(_732834, c_tptpcol_11_118084), -(tptpcol_11_118084(_732834))], (3970 ^ _611341) ^ [_733022] : [tptpcol_11_118084(_733022), -(isa(_733022, c_tptpcol_11_118084))], (3976 ^ _611341) ^ [_733210] : [isa(_733210, c_terroristgroup), -(terroristgroup(_733210))], (3982 ^ _611341) ^ [_733398] : [terroristgroup(_733398), -(isa(_733398, c_terroristgroup))], (3988 ^ _611341) ^ [_733600, _733602] : [hasmembers(_733602, _733600), -(agent_generic(_733600))], (3994 ^ _611341) ^ [_733808, _733810] : [hasmembers(_733810, _733808), -(organization(_733810))], (4000 ^ _611341) ^ [_734002] : [isa(_734002, c_terrorist), -(terrorist(_734002))], (4006 ^ _611341) ^ [_734190] : [terrorist(_734190), -(isa(_734190, c_terrorist))], (4012 ^ _611341) ^ [_734391, _734393, _734395] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_734395, _734393, _734391), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _611341) ^ [_734505, _734507, _734509] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734509, _734507, _734505), n_1, _734509))], (4016 ^ _611341) ^ [_734620, _734622, _734624] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734624, _734622, _734620), n_2, _734622))], (4018 ^ _611341) ^ [_734735, _734737, _734739] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_734739, _734737, _734735), n_3, _734735))], (4020 ^ _611341) ^ [_734850, _734852, _734854] : [-(collection(f_subcollectionofwithrelationfromtypefn(_734854, _734852, _734850)))], (4022 ^ _611341) ^ [_734950] : [isa(_734950, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_734950))], (4028 ^ _611341) ^ [_735138] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_735138), -(isa(_735138, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _611341) ^ [_735340, _735342] : [prettystring(_735342, _735340), -(controlcharacterfreestring(_735340))], (4040 ^ _611341) ^ [_735548, _735550] : [prettystring(_735550, _735548), -(thing(_735550))], (4046 ^ _611341) ^ [_735742] : [isa(_735742, c_tptpcol_0_0), -(tptpcol_0_0(_735742))], (4052 ^ _611341) ^ [_735930] : [tptpcol_0_0(_735930), -(isa(_735930, c_tptpcol_0_0))], (4058 ^ _611341) ^ [_736118] : [isa(_736118, c_geolevel_3), -(geolevel_3(_736118))], (4064 ^ _611341) ^ [_736306] : [geolevel_3(_736306), -(isa(_736306, c_geolevel_3))], (4070 ^ _611341) ^ [_736494] : [isa(_736494, c_tptpcol_4_24578), -(tptpcol_4_24578(_736494))], (4076 ^ _611341) ^ [_736682] : [tptpcol_4_24578(_736682), -(isa(_736682, c_tptpcol_4_24578))], (4082 ^ _611341) ^ [_736870] : [isa(_736870, c_tptpcol_5_24579), -(tptpcol_5_24579(_736870))], (4088 ^ _611341) ^ [_737058] : [tptpcol_5_24579(_737058), -(isa(_737058, c_tptpcol_5_24579))], (4094 ^ _611341) ^ [_737246] : [isa(_737246, c_tptpcol_5_106498), -(tptpcol_5_106498(_737246))], (4100 ^ _611341) ^ [_737434] : [tptpcol_5_106498(_737434), -(isa(_737434, c_tptpcol_5_106498))], (4106 ^ _611341) ^ [_737622] : [isa(_737622, c_tptpcol_12_109157), -(tptpcol_12_109157(_737622))], (4112 ^ _611341) ^ [_737810] : [tptpcol_12_109157(_737810), -(isa(_737810, c_tptpcol_12_109157))], (4118 ^ _611341) ^ [_737998] : [isa(_737998, c_tptpcol_13_109173), -(tptpcol_13_109173(_737998))], (4124 ^ _611341) ^ [_738186] : [tptpcol_13_109173(_738186), -(isa(_738186, c_tptpcol_13_109173))], (4130 ^ _611341) ^ [_738374] : [isa(_738374, c_mathematicalthing), -(mathematicalthing(_738374))], (4136 ^ _611341) ^ [_738562] : [mathematicalthing(_738562), -(isa(_738562, c_mathematicalthing))], (4142 ^ _611341) ^ [_738750] : [isa(_738750, c_setorcollection), -(setorcollection(_738750))], (4148 ^ _611341) ^ [_738938] : [setorcollection(_738938), -(isa(_738938, c_setorcollection))], (4154 ^ _611341) ^ [_739126] : [isa(_739126, c_tptpcol_11_18631), -(tptpcol_11_18631(_739126))], (4160 ^ _611341) ^ [_739314] : [tptpcol_11_18631(_739314), -(isa(_739314, c_tptpcol_11_18631))], (4166 ^ _611341) ^ [_739502] : [isa(_739502, c_tptpcol_12_18663), -(tptpcol_12_18663(_739502))], (4172 ^ _611341) ^ [_739690] : [tptpcol_12_18663(_739690), -(isa(_739690, c_tptpcol_12_18663))], (4178 ^ _611341) ^ [_739892, _739894] : [tptptypes_8_400(_739894, _739892), -(firstordercollection(_739892))], (4184 ^ _611341) ^ [_740100, _740102] : [tptptypes_8_400(_740102, _740100), -(firstordercollection(_740102))], (4190 ^ _611341) ^ [_740308, _740310] : [tptptypes_9_401(_740310, _740308), -(firstordercollection(_740308))], (4196 ^ _611341) ^ [_740516, _740518] : [tptptypes_9_401(_740518, _740516), -(firstordercollection(_740518))], (4202 ^ _611341) ^ [_740695] : [-(natfunction(f_tptpquantityfn_13(_740695), c_tptpquantityfn_13))], (4204 ^ _611341) ^ [_740775] : [-(natargument(f_tptpquantityfn_13(_740775), n_1, _740775))], (4206 ^ _611341) ^ [_740856] : [-(tptpquantity(f_tptpquantityfn_13(_740856)))], (4208 ^ _611341) ^ [_740964, _740966] : [borderson(_740966, _740964), -(geographicalregion(_740964))], (4214 ^ _611341) ^ [_741172, _741174] : [borderson(_741174, _741172), -(geographicalregion(_741174))], (4220 ^ _611341) ^ [_741380, _741382] : [borderson(_741382, _741380), -(borderson(_741380, _741382))], (4226 ^ _611341) ^ [_741560] : [borderson(_741560, _741560)], (4228 ^ _611341) ^ [_741653] : [isa(_741653, c_tptpcol_14_92264), -(tptpcol_14_92264(_741653))], (4234 ^ _611341) ^ [_741841] : [tptpcol_14_92264(_741841), -(isa(_741841, c_tptpcol_14_92264))], (4240 ^ _611341) ^ [_742029] : [isa(_742029, c_tptpcol_15_92268), -(tptpcol_15_92268(_742029))], (4246 ^ _611341) ^ [_742217] : [tptpcol_15_92268(_742217), -(isa(_742217, c_tptpcol_15_92268))], (4252 ^ _611341) ^ [_742405] : [isa(_742405, c_tptpcol_6_116738), -(tptpcol_6_116738(_742405))], (4258 ^ _611341) ^ [_742593] : [tptpcol_6_116738(_742593), -(isa(_742593, c_tptpcol_6_116738))], (4264 ^ _611341) ^ [_742795, _742797] : [tptptypes_5_387(_742797, _742795), -(firstordercollection(_742795))], (4270 ^ _611341) ^ [_743003, _743005] : [tptptypes_5_387(_743005, _743003), -(firstordercollection(_743005))], (4276 ^ _611341) ^ [_743211, _743213] : [tptptypes_6_388(_743213, _743211), -(firstordercollection(_743211))], (4282 ^ _611341) ^ [_743419, _743421] : [tptptypes_6_388(_743421, _743419), -(firstordercollection(_743421))], (4288 ^ _611341) ^ [_743613] : [isa(_743613, c_shavingrazor_manual), -(shavingrazor_manual(_743613))], (4294 ^ _611341) ^ [_743801] : [shavingrazor_manual(_743801), -(isa(_743801, c_shavingrazor_manual))], (4300 ^ _611341) ^ [_743989] : [isa(_743989, c_tptpcol_9_109060), -(tptpcol_9_109060(_743989))], (4306 ^ _611341) ^ [_744177] : [tptpcol_9_109060(_744177), -(isa(_744177, c_tptpcol_9_109060))], (4312 ^ _611341) ^ [_744365] : [isa(_744365, c_tptpcol_10_109061), -(tptpcol_10_109061(_744365))], (4318 ^ _611341) ^ [_744553] : [tptpcol_10_109061(_744553), -(isa(_744553, c_tptpcol_10_109061))], (4324 ^ _611341) ^ [_744741] : [isa(_744741, c_executionbyfiringsquad), -(executionbyfiringsquad(_744741))], (4330 ^ _611341) ^ [_744929] : [executionbyfiringsquad(_744929), -(isa(_744929, c_executionbyfiringsquad))], (4336 ^ _611341) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _611341) ^ [_745170] : [isa(_745170, c_navypersonnel), -(navypersonnel(_745170))], (4344 ^ _611341) ^ [_745358] : [navypersonnel(_745358), -(isa(_745358, c_navypersonnel))], (4350 ^ _611341) ^ [_745546] : [isa(_745546, c_tptpcol_12_92262), -(tptpcol_12_92262(_745546))], (4356 ^ _611341) ^ [_745734] : [tptpcol_12_92262(_745734), -(isa(_745734, c_tptpcol_12_92262))], (4362 ^ _611341) ^ [_745922] : [isa(_745922, c_thing), -(thing(_745922))], (4368 ^ _611341) ^ [_746110] : [thing(_746110), -(isa(_746110, c_thing))], (4374 ^ _611341) ^ [_746298] : [isa(_746298, c_computerdataartifact), -(computerdataartifact(_746298))], (4380 ^ _611341) ^ [_746486] : [computerdataartifact(_746486), -(isa(_746486, c_computerdataartifact))], (4386 ^ _611341) ^ [_746674] : [isa(_746674, c_applicationcontext), -(applicationcontext(_746674))], (4392 ^ _611341) ^ [_746862] : [applicationcontext(_746862), -(isa(_746862, c_applicationcontext))], (4398 ^ _611341) ^ [_747064, _747066] : [inregion(_747066, _747064), -(spatialthing_nonsituational(_747064))], (4404 ^ _611341) ^ [_747272, _747274] : [inregion(_747274, _747272), -(spatialthing_nonsituational(_747274))], (4410 ^ _611341) ^ [_747494, _747496, _747498] : [-(inregion(_747498, _747494)), inregion(_747498, _747496), inregion(_747496, _747494)], (4420 ^ _611341) ^ [_747789] : [spatialthing_nonsituational(_747789), -(inregion(_747789, _747789))], (4426 ^ _611341) ^ [_747962] : [-(natfunction(f_tptpquantityfn_1(_747962), c_tptpquantityfn_1))], (4428 ^ _611341) ^ [_748042] : [-(natargument(f_tptpquantityfn_1(_748042), n_1, _748042))], (4430 ^ _611341) ^ [_748123] : [-(tptpquantity(f_tptpquantityfn_1(_748123)))], (4432 ^ _611341) ^ [_748217] : [isa(_748217, c_furpelt), -(furpelt(_748217))], (4438 ^ _611341) ^ [_748405] : [furpelt(_748405), -(isa(_748405, c_furpelt))], (4444 ^ _611341) ^ [_748607, _748609] : [tptpofobject(_748609, _748607), -(tptpquantity(_748607))], (4450 ^ _611341) ^ [_748815, _748817] : [tptpofobject(_748817, _748815), -(partiallytangible(_748817))], (4456 ^ _611341) ^ [_749037, _749039, _749041] : [relationallinstance(_749041, _749039, _749037), -(thing(_749037))], (4462 ^ _611341) ^ [_749267, _749269, _749271] : [relationallinstance(_749271, _749269, _749267), -(collection(_749269))], (4468 ^ _611341) ^ [_749497, _749499, _749501] : [relationallinstance(_749501, _749499, _749497), -(binarypredicate(_749501))], (4474 ^ _611341) ^ [_749699] : [isa(_749699, c_tptpcol_13_93766), -(tptpcol_13_93766(_749699))], (4480 ^ _611341) ^ [_749887] : [tptpcol_13_93766(_749887), -(isa(_749887, c_tptpcol_13_93766))], (4486 ^ _611341) ^ [_750075] : [isa(_750075, c_tptpcol_9_40196), -(tptpcol_9_40196(_750075))], (4492 ^ _611341) ^ [_750263] : [tptpcol_9_40196(_750263), -(isa(_750263, c_tptpcol_9_40196))], (4498 ^ _611341) ^ [_750451] : [isa(_750451, c_tptpcol_10_40324), -(tptpcol_10_40324(_750451))], (4504 ^ _611341) ^ [_750639] : [tptpcol_10_40324(_750639), -(isa(_750639, c_tptpcol_10_40324))], (4510 ^ _611341) ^ [_750827] : [isa(_750827, c_tptpcol_7_72707), -(tptpcol_7_72707(_750827))], (4516 ^ _611341) ^ [_751015] : [tptpcol_7_72707(_751015), -(isa(_751015, c_tptpcol_7_72707))], (4522 ^ _611341) ^ [_751203] : [isa(_751203, c_tptpcol_8_72708), -(tptpcol_8_72708(_751203))], (4528 ^ _611341) ^ [_751391] : [tptpcol_8_72708(_751391), -(isa(_751391, c_tptpcol_8_72708))], (4534 ^ _611341) ^ [_751579] : [isa(_751579, c_tptpcol_11_93764), -(tptpcol_11_93764(_751579))], (4540 ^ _611341) ^ [_751767] : [tptpcol_11_93764(_751767), -(isa(_751767, c_tptpcol_11_93764))], (4546 ^ _611341) ^ [_751955] : [isa(_751955, c_tptpcol_12_93765), -(tptpcol_12_93765(_751955))], (4552 ^ _611341) ^ [_752143] : [tptpcol_12_93765(_752143), -(isa(_752143, c_tptpcol_12_93765))], (4558 ^ _611341) ^ [_752331] : [isa(_752331, c_tptpcol_4_114689), -(tptpcol_4_114689(_752331))], (4564 ^ _611341) ^ [_752519] : [tptpcol_4_114689(_752519), -(isa(_752519, c_tptpcol_4_114689))], (4570 ^ _611341) ^ [_752707] : [isa(_752707, c_tptpcol_5_114690), -(tptpcol_5_114690(_752707))], (4576 ^ _611341) ^ [_752895] : [tptpcol_5_114690(_752895), -(isa(_752895, c_tptpcol_5_114690))], (4582 ^ _611341) ^ [_753083] : [isa(_753083, c_tptpcol_3_98305), -(tptpcol_3_98305(_753083))], (4588 ^ _611341) ^ [_753271] : [tptpcol_3_98305(_753271), -(isa(_753271, c_tptpcol_3_98305))], (4594 ^ _611341) ^ [_753459] : [isa(_753459, c_tptpcol_4_106497), -(tptpcol_4_106497(_753459))], (4600 ^ _611341) ^ [_753647] : [tptpcol_4_106497(_753647), -(isa(_753647, c_tptpcol_4_106497))], (4606 ^ _611341) ^ [_753862, _753864, _753866, _753868] : [-(natfunction(f_relationexistsallfn(_753868, _753866, _753864, _753862), c_relationexistsallfn))], (4608 ^ _611341) ^ [_753993, _753995, _753997, _753999] : [-(natargument(f_relationexistsallfn(_753999, _753997, _753995, _753993), n_1, _753999))], (4610 ^ _611341) ^ [_754125, _754127, _754129, _754131] : [-(natargument(f_relationexistsallfn(_754131, _754129, _754127, _754125), n_2, _754129))], (4612 ^ _611341) ^ [_754257, _754259, _754261, _754263] : [-(natargument(f_relationexistsallfn(_754263, _754261, _754259, _754257), n_3, _754259))], (4614 ^ _611341) ^ [_754389, _754391, _754393, _754395] : [-(natargument(f_relationexistsallfn(_754395, _754393, _754391, _754389), n_4, _754389))], (4616 ^ _611341) ^ [_754521, _754523, _754525, _754527] : [-(thing(f_relationexistsallfn(_754527, _754525, _754523, _754521)))], (4618 ^ _611341) ^ [_754638, _754640] : [resultisaarg(_754640, _754638), -(positiveinteger(_754638))], (4624 ^ _611341) ^ [_754846, _754848] : [resultisaarg(_754848, _754846), -(function_denotational(_754848))], (4630 ^ _611341) ^ [_755054, _755056] : [tptptypes_7_389(_755056, _755054), -(firstordercollection(_755054))], (4636 ^ _611341) ^ [_755262, _755264] : [tptptypes_7_389(_755264, _755262), -(firstordercollection(_755264))], (4642 ^ _611341) ^ [_755470, _755472] : [tptptypes_8_390(_755472, _755470), -(firstordercollection(_755470))], (4648 ^ _611341) ^ [_755678, _755680] : [tptptypes_8_390(_755680, _755678), -(firstordercollection(_755680))], (4654 ^ _611341) ^ [_755886, _755888] : [tptptypes_8_692(_755888, _755886), -(firstordercollection(_755886))], (4660 ^ _611341) ^ [_756094, _756096] : [tptptypes_8_692(_756096, _756094), -(firstordercollection(_756096))], (4666 ^ _611341) ^ [_756302, _756304] : [tptptypes_9_693(_756304, _756302), -(firstordercollection(_756302))], (4672 ^ _611341) ^ [_756510, _756512] : [tptptypes_9_693(_756512, _756510), -(firstordercollection(_756512))], (4678 ^ _611341) ^ [_756704] : [isa(_756704, c_tptpcol_11_40388), -(tptpcol_11_40388(_756704))], (4684 ^ _611341) ^ [_756892] : [tptpcol_11_40388(_756892), -(isa(_756892, c_tptpcol_11_40388))], (4690 ^ _611341) ^ [_757080] : [isa(_757080, c_marriagelicensedocument), -(marriagelicensedocument(_757080))], (4696 ^ _611341) ^ [_757268] : [marriagelicensedocument(_757268), -(isa(_757268, c_marriagelicensedocument))], (4702 ^ _611341) ^ [_757456] : [isa(_757456, c_tptpcol_1_65536), -(tptpcol_1_65536(_757456))], (4708 ^ _611341) ^ [_757644] : [tptpcol_1_65536(_757644), -(isa(_757644, c_tptpcol_1_65536))], (4714 ^ _611341) ^ [_757832] : [isa(_757832, c_tptpcol_2_98304), -(tptpcol_2_98304(_757832))], (4720 ^ _611341) ^ [_758020] : [tptpcol_2_98304(_758020), -(isa(_758020, c_tptpcol_2_98304))], (4726 ^ _611341) ^ [_758208] : [isa(_758208, c_tptpcol_10_92166), -(tptpcol_10_92166(_758208))], (4732 ^ _611341) ^ [_758396] : [tptpcol_10_92166(_758396), -(isa(_758396, c_tptpcol_10_92166))], (4738 ^ _611341) ^ [_758584] : [isa(_758584, c_tptpcol_11_92230), -(tptpcol_11_92230(_758584))], (4744 ^ _611341) ^ [_758772] : [tptpcol_11_92230(_758772), -(isa(_758772, c_tptpcol_11_92230))], (4750 ^ _611341) ^ [_758960] : [isa(_758960, c_orderingpredicate), -(orderingpredicate(_758960))], (4756 ^ _611341) ^ [_759148] : [orderingpredicate(_759148), -(isa(_759148, c_orderingpredicate))], (4762 ^ _611341) ^ [_759336] : [isa(_759336, c_tptpcol_9_18439), -(tptpcol_9_18439(_759336))], (4768 ^ _611341) ^ [_759524] : [tptpcol_9_18439(_759524), -(isa(_759524, c_tptpcol_9_18439))], (4774 ^ _611341) ^ [_759712] : [isa(_759712, c_tptpcol_10_18567), -(tptpcol_10_18567(_759712))], (4780 ^ _611341) ^ [_759900] : [tptpcol_10_18567(_759900), -(isa(_759900, c_tptpcol_10_18567))], (4786 ^ _611341) ^ [_760088] : [isa(_760088, c_tptpcol_2_65537), -(tptpcol_2_65537(_760088))], (4792 ^ _611341) ^ [_760276] : [tptpcol_2_65537(_760276), -(isa(_760276, c_tptpcol_2_65537))], (4798 ^ _611341) ^ [_760464] : [isa(_760464, c_tptpcol_3_81921), -(tptpcol_3_81921(_760464))], (4804 ^ _611341) ^ [_760652] : [tptpcol_3_81921(_760652), -(isa(_760652, c_tptpcol_3_81921))], (4810 ^ _611341) ^ [_760840] : [isa(_760840, c_artsupplies), -(artsupplies(_760840))], (4816 ^ _611341) ^ [_761028] : [artsupplies(_761028), -(isa(_761028, c_artsupplies))], (4822 ^ _611341) ^ [_761216] : [isa(_761216, c_enduringthing_localized), -(enduringthing_localized(_761216))], (4828 ^ _611341) ^ [_761404] : [enduringthing_localized(_761404), -(isa(_761404, c_enduringthing_localized))], (4834 ^ _611341) ^ [_761592] : [isa(_761592, c_location_underspecified), -(location_underspecified(_761592))], (4840 ^ _611341) ^ [_761780] : [location_underspecified(_761780), -(isa(_761780, c_location_underspecified))], (4846 ^ _611341) ^ [_761968] : [isa(_761968, c_trajector_underspecified), -(trajector_underspecified(_761968))], (4852 ^ _611341) ^ [_762156] : [trajector_underspecified(_762156), -(isa(_762156, c_trajector_underspecified))], (4858 ^ _611341) ^ [_762344] : [isa(_762344, c_individual), -(individual(_762344))], (4864 ^ _611341) ^ [_762532] : [individual(_762532), -(isa(_762532, c_individual))], (4870 ^ _611341) ^ [_762720] : [isa(_762720, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_762720))], (4876 ^ _611341) ^ [_762908] : [partiallyintangibleindividual(_762908), -(isa(_762908, c_partiallyintangibleindividual))], (4882 ^ _611341) ^ [_763096] : [isa(_763096, c_tptpcol_10_22022), -(tptpcol_10_22022(_763096))], (4888 ^ _611341) ^ [_763284] : [tptpcol_10_22022(_763284), -(isa(_763284, c_tptpcol_10_22022))], (4894 ^ _611341) ^ [_763472] : [isa(_763472, c_tptpcol_11_22023), -(tptpcol_11_22023(_763472))], (4900 ^ _611341) ^ [_763660] : [tptpcol_11_22023(_763660), -(isa(_763660, c_tptpcol_11_22023))], (4906 ^ _611341) ^ [_763848] : [isa(_763848, c_tptpcol_5_20483), -(tptpcol_5_20483(_763848))], (4912 ^ _611341) ^ [_764036] : [tptpcol_5_20483(_764036), -(isa(_764036, c_tptpcol_5_20483))], (4918 ^ _611341) ^ [_764224] : [isa(_764224, c_tptpcol_13_72791), -(tptpcol_13_72791(_764224))], (4924 ^ _611341) ^ [_764412] : [tptpcol_13_72791(_764412), -(isa(_764412, c_tptpcol_13_72791))], (4930 ^ _611341) ^ [_764600] : [isa(_764600, c_tptpcol_14_72792), -(tptpcol_14_72792(_764600))], (4936 ^ _611341) ^ [_764788] : [tptpcol_14_72792(_764788), -(isa(_764788, c_tptpcol_14_72792))], (4942 ^ _611341) ^ [_764976] : [isa(_764976, c_ridgeline_topographical), -(ridgeline_topographical(_764976))], (4948 ^ _611341) ^ [_765164] : [ridgeline_topographical(_765164), -(isa(_765164, c_ridgeline_topographical))], (4954 ^ _611341) ^ [_765352] : [isa(_765352, c_tptpcol_4_16387), -(tptpcol_4_16387(_765352))], (4960 ^ _611341) ^ [_765540] : [tptpcol_4_16387(_765540), -(isa(_765540, c_tptpcol_4_16387))], (4966 ^ _611341) ^ [_765728] : [isa(_765728, c_tptpcol_5_16388), -(tptpcol_5_16388(_765728))], (4972 ^ _611341) ^ [_765916] : [tptpcol_5_16388(_765916), -(isa(_765916, c_tptpcol_5_16388))], (4978 ^ _611341) ^ [_766104] : [isa(_766104, c_tptpcol_8_22020), -(tptpcol_8_22020(_766104))], (4984 ^ _611341) ^ [_766292] : [tptpcol_8_22020(_766292), -(isa(_766292, c_tptpcol_8_22020))], (4990 ^ _611341) ^ [_766480] : [isa(_766480, c_tptpcol_9_22021), -(tptpcol_9_22021(_766480))], (4996 ^ _611341) ^ [_766668] : [tptpcol_9_22021(_766668), -(isa(_766668, c_tptpcol_9_22021))], (5002 ^ _611341) ^ [_766856] : [isa(_766856, c_transitivebinarypredicate), -(transitivebinarypredicate(_766856))], (5008 ^ _611341) ^ [_767044] : [transitivebinarypredicate(_767044), -(isa(_767044, c_transitivebinarypredicate))], (5014 ^ _611341) ^ [_767246, _767248] : [geographicalsubregions(_767248, _767246), -(geographicalregion(_767246))], (5020 ^ _611341) ^ [_767454, _767456] : [geographicalsubregions(_767456, _767454), -(geographicalregion(_767456))], (5026 ^ _611341) ^ [_767676, _767678, _767680] : [-(geographicalsubregions(_767680, _767676)), geographicalsubregions(_767680, _767678), geographicalsubregions(_767678, _767676)], (5036 ^ _611341) ^ [_767971] : [geographicalregion(_767971), -(geographicalsubregions(_767971, _767971))], (5042 ^ _611341) ^ [_768159] : [isa(_768159, c_tptpcol_12_40420), -(tptpcol_12_40420(_768159))], (5048 ^ _611341) ^ [_768347] : [tptpcol_12_40420(_768347), -(isa(_768347, c_tptpcol_12_40420))], (5054 ^ _611341) ^ [_768535] : [isa(_768535, c_tptpcol_13_40421), -(tptpcol_13_40421(_768535))], (5060 ^ _611341) ^ [_768723] : [tptpcol_13_40421(_768723), -(isa(_768723, c_tptpcol_13_40421))], (5066 ^ _611341) ^ [_768911] : [isa(_768911, c_tptpcol_6_92162), -(tptpcol_6_92162(_768911))], (5072 ^ _611341) ^ [_769099] : [tptpcol_6_92162(_769099), -(isa(_769099, c_tptpcol_6_92162))], (5078 ^ _611341) ^ [_769287] : [isa(_769287, c_tptpcol_7_93186), -(tptpcol_7_93186(_769287))], (5084 ^ _611341) ^ [_769475] : [tptpcol_7_93186(_769475), -(isa(_769475, c_tptpcol_7_93186))], (5090 ^ _611341) ^ [_769677, _769679] : [most(_769679, _769677), -(setorcollection(_769677))], (5096 ^ _611341) ^ [_769885, _769887] : [most(_769887, _769885), -(setorcollection(_769885))], (5102 ^ _611341) ^ [_770093, _770095] : [most(_770095, _770093), -(setorcollection(_770095))], (5108 ^ _611341) ^ [_770301, _770303] : [most(_770303, _770301), -(setorcollection(_770303))], (5114 ^ _611341) ^ [_770495] : [setorcollection(_770495), -(most(_770495, _770495))], (5120 ^ _611341) ^ [_770683] : [setorcollection(_770683), -(most(_770683, _770683))], (5126 ^ _611341) ^ [_770899, _770901, _770903] : [-(most(_770903, _770899)), most(_770903, _770901), subsetof(_770901, _770899)], (5136 ^ _611341) ^ [_771222, _771224, _771226] : [-(most(_771226, _771222)), most(_771226, _771224), subsetof(_771224, _771222)], (5146 ^ _611341) ^ [_771531, _771533] : [subsetof(_771533, _771531), -(setorcollection(_771531))], (5152 ^ _611341) ^ [_771739, _771741] : [subsetof(_771741, _771739), -(setorcollection(_771741))], (5158 ^ _611341) ^ [_771961, _771963, _771965] : [-(subsetof(_771965, _771961)), subsetof(_771965, _771963), subsetof(_771963, _771961)], (5168 ^ _611341) ^ [_772256] : [setorcollection(_772256), -(subsetof(_772256, _772256))], (5174 ^ _611341) ^ [_772472, _772474, _772476] : [-(subsetof(_772472, _772474)), subsetof(_772476, _772474), subsetof(_772472, _772476)], (5184 ^ _611341) ^ [_772795, _772797, _772799] : [-(subsetof(_772799, _772795)), subsetof(_772799, _772797), subsetof(_772797, _772795)], (5194 ^ _611341) ^ [_773118, _773120, _773122] : [-(subsetof(_773122, _773118)), subsetof(_773122, _773120), subsetof(_773120, _773118)], (5204 ^ _611341) ^ [_773427, _773429] : [genlpreds(_773429, _773427), -(predicate(_773427))], (5210 ^ _611341) ^ [_773635, _773637] : [genlpreds(_773637, _773635), -(predicate(_773635))], (5216 ^ _611341) ^ [_773843, _773845] : [genlpreds(_773845, _773843), -(predicate(_773845))], (5222 ^ _611341) ^ [_774051, _774053] : [genlpreds(_774053, _774051), -(predicate(_774053))], (5228 ^ _611341) ^ [_774273, _774275, _774277] : [-(genlpreds(_774277, _774273)), genlpreds(_774277, _774275), genlpreds(_774275, _774273)], (5238 ^ _611341) ^ [_774568] : [predicate(_774568), -(genlpreds(_774568, _774568))], (5244 ^ _611341) ^ [_774756] : [predicate(_774756), -(genlpreds(_774756, _774756))], (5250 ^ _611341) ^ [_774958, _774960] : [genlinverse(_774960, _774958), -(binarypredicate(_774958))], (5256 ^ _611341) ^ [_775166, _775168] : [genlinverse(_775168, _775166), -(binarypredicate(_775168))], (5262 ^ _611341) ^ [_775388, _775390, _775392] : [-(genlinverse(_775388, _775390)), genlinverse(_775392, _775390), genlpreds(_775388, _775392)], (5272 ^ _611341) ^ [_775711, _775713, _775715] : [-(genlinverse(_775715, _775711)), genlinverse(_775715, _775713), genlpreds(_775713, _775711)], (5282 ^ _611341) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _611341) ^ [_776059] : [isa(_776059, c_microtheory), -(microtheory(_776059))], (5290 ^ _611341) ^ [_776247] : [microtheory(_776247), -(isa(_776247, c_microtheory))], (5296 ^ _611341) ^ [_776420] : [-(natfunction(f_urlfn(_776420), c_urlfn))], (5298 ^ _611341) ^ [_776500] : [-(natargument(f_urlfn(_776500), n_1, _776500))], (5300 ^ _611341) ^ [_776581] : [-(uniformresourcelocator(f_urlfn(_776581)))], (5302 ^ _611341) ^ [_776660] : [-(natfunction(f_urlreferentfn(_776660), c_urlreferentfn))], (5304 ^ _611341) ^ [_776740] : [-(natargument(f_urlreferentfn(_776740), n_1, _776740))], (5306 ^ _611341) ^ [_776821] : [-(computerdataartifact(f_urlreferentfn(_776821)))], (5308 ^ _611341) ^ [_776914, _776916] : [-(natfunction(f_contentmtofcdafromeventfn(_776916, _776914), c_contentmtofcdafromeventfn))], (5310 ^ _611341) ^ [_777011, _777013] : [-(natargument(f_contentmtofcdafromeventfn(_777013, _777011), n_1, _777013))], (5312 ^ _611341) ^ [_777109, _777111] : [-(natargument(f_contentmtofcdafromeventfn(_777111, _777109), n_2, _777109))], (5314 ^ _611341) ^ [_777207, _777209] : [-(microtheory(f_contentmtofcdafromeventfn(_777209, _777207)))], (5316 ^ _611341) ^ [_777318, _777320] : [isa(_777320, _777318), -(collection(_777318))], (5322 ^ _611341) ^ [_777526, _777528] : [isa(_777528, _777526), -(collection(_777526))], (5328 ^ _611341) ^ [_777734, _777736] : [isa(_777736, _777734), -(thing(_777736))], (5334 ^ _611341) ^ [_777942, _777944] : [isa(_777944, _777942), -(thing(_777944))], (5340 ^ _611341) ^ [_778164, _778166, _778168] : [-(isa(_778168, _778164)), isa(_778168, _778166), genls(_778166, _778164)], (5350 ^ _611341) ^ [_778459] : [isa(_778459, c_inanimateobject), -(inanimateobject(_778459))], (5356 ^ _611341) ^ [_778647] : [inanimateobject(_778647), -(isa(_778647, c_inanimateobject))], (5362 ^ _611341) ^ [_778835] : [isa(_778835, c_tptpcol_9_72709), -(tptpcol_9_72709(_778835))], (5368 ^ _611341) ^ [_779023] : [tptpcol_9_72709(_779023), -(isa(_779023, c_tptpcol_9_72709))], (5374 ^ _611341) ^ [_779211] : [isa(_779211, c_tptpcol_10_72710), -(tptpcol_10_72710(_779211))], (5380 ^ _611341) ^ [_779399] : [tptpcol_10_72710(_779399), -(isa(_779399, c_tptpcol_10_72710))], (5386 ^ _611341) ^ [_779587] : [isa(_779587, c_tptpcol_14_40429), -(tptpcol_14_40429(_779587))], (5392 ^ _611341) ^ [_779775] : [tptpcol_14_40429(_779775), -(isa(_779775, c_tptpcol_14_40429))], (5398 ^ _611341) ^ [_779963] : [isa(_779963, c_tptpcol_15_40430), -(tptpcol_15_40430(_779963))], (5404 ^ _611341) ^ [_780151] : [tptpcol_15_40430(_780151), -(isa(_780151, c_tptpcol_15_40430))], (5410 ^ _611341) ^ [_780353, _780355] : [genls(_780355, _780353), -(collection(_780353))], (5416 ^ _611341) ^ [_780561, _780563] : [genls(_780563, _780561), -(collection(_780561))], (5422 ^ _611341) ^ [_780769, _780771] : [genls(_780771, _780769), -(collection(_780771))], (5428 ^ _611341) ^ [_780977, _780979] : [genls(_780979, _780977), -(collection(_780979))], (5434 ^ _611341) ^ [_781199, _781201, _781203] : [-(genls(_781203, _781199)), genls(_781203, _781201), genls(_781201, _781199)], (5444 ^ _611341) ^ [_781494] : [collection(_781494), -(genls(_781494, _781494))], (5450 ^ _611341) ^ [_781682] : [collection(_781682), -(genls(_781682, _781682))], (5456 ^ _611341) ^ [_781898, _781900, _781902] : [-(genls(_781898, _781900)), genls(_781902, _781900), genls(_781898, _781902)], (5466 ^ _611341) ^ [_782221, _782223, _782225] : [-(genls(_782225, _782221)), genls(_782225, _782223), genls(_782223, _782221)], (5476 ^ _611341) ^ [_782516] : [isa(_782516, c_partiallytangible), -(partiallytangible(_782516))], (5482 ^ _611341) ^ [_782704] : [partiallytangible(_782704), -(isa(_782704, c_partiallytangible))], (5488 ^ _611341) ^ [_782892] : [isa(_782892, c_intangible), -(intangible(_782892))], (5494 ^ _611341) ^ [_783080] : [intangible(_783080), -(isa(_783080, c_intangible))], (5500 ^ _611341) ^ [_783282, _783284] : [disjointwith(_783284, _783282), -(collection(_783282))], (5506 ^ _611341) ^ [_783490, _783492] : [disjointwith(_783492, _783490), -(collection(_783492))], (5512 ^ _611341) ^ [_783698, _783700] : [disjointwith(_783700, _783698), -(disjointwith(_783698, _783700))], (5518 ^ _611341) ^ [_783922, _783924, _783926] : [-(disjointwith(_783926, _783922)), disjointwith(_783926, _783924), genls(_783922, _783924)], (5528 ^ _611341) ^ [_784245, _784247, _784249] : [-(disjointwith(_784245, _784247)), disjointwith(_784249, _784247), genls(_784245, _784249)], (5538 ^ _611341) ^ [_784554, _784556] : [-(mtvisible(_784554)), mtvisible(_784556), genlmt(_784556, _784554)], (5548 ^ _611341) ^ [_784849, _784851] : [genlmt(_784851, _784849), -(microtheory(_784849))], (5554 ^ _611341) ^ [_785057, _785059] : [genlmt(_785059, _785057), -(microtheory(_785057))], (5560 ^ _611341) ^ [_785265, _785267] : [genlmt(_785267, _785265), -(microtheory(_785267))], (5566 ^ _611341) ^ [_785473, _785475] : [genlmt(_785475, _785473), -(microtheory(_785475))], (5572 ^ _611341) ^ [_785695, _785697, _785699] : [-(genlmt(_785699, _785695)), genlmt(_785699, _785697), genlmt(_785697, _785695)], (5582 ^ _611341) ^ [_785990] : [microtheory(_785990), -(genlmt(_785990, _785990))], (5594 ^ _611341) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _611341) ^ [_786178] : [microtheory(_786178), -(genlmt(_786178, _786178))]], input).
% 0.44/1.40  ncf('1',plain,[inregion(c_geolocation_x53_y74, c_georegion_l3_x17_y24), geolevel_3(c_georegion_l3_x17_y24)],start(5598 ^ 0)).
% 0.44/1.40  ncf('1.1',plain,[-(inregion(c_geolocation_x53_y74, c_georegion_l3_x17_y24)), inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74), inregion(c_georegion_l4_x53_y74, c_georegion_l3_x17_y24)],extension(4410 ^ 1,bind([[_747494, _747496, _747498], [c_georegion_l3_x17_y24, c_georegion_l4_x53_y74, c_geolocation_x53_y74]]))).
% 0.44/1.40  ncf('1.1.1',plain,[-(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74)), mtvisible(c_tptpgeo_member7_mt)],extension(324 ^ 2)).
% 0.44/1.40  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3)).
% 0.44/1.40  ncf('1.1.2',plain,[-(inregion(c_georegion_l4_x53_y74, c_georegion_l3_x17_y24)), geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74)],extension(504 ^ 2,bind([[_625686, _625688], [c_georegion_l4_x53_y74, c_georegion_l3_x17_y24]]))).
% 0.44/1.40  ncf('1.1.2.1',plain,[-(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74)), mtvisible(c_tptpgeo_member7_mt)],extension(1840 ^ 3)).
% 0.44/1.40  ncf('1.1.2.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 4)).
% 0.44/1.40  ncf('1.2',plain,[-(geolevel_3(c_georegion_l3_x17_y24)), mtvisible(c_worldgeographymt)],extension(1864 ^ 1)).
% 0.44/1.40  ncf('1.2.1',plain,[-(mtvisible(c_worldgeographymt)), mtvisible(c_tptpgeo_member7_mt), genlmt(c_tptpgeo_member7_mt, c_worldgeographymt)],extension(5538 ^ 2,bind([[_784554, _784556], [c_worldgeographymt, c_tptpgeo_member7_mt]]))).
% 0.44/1.40  ncf('1.2.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3)).
% 0.44/1.40  ncf('1.2.1.2',plain,[-(genlmt(c_tptpgeo_member7_mt, c_worldgeographymt)), genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt), genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt)],extension(5572 ^ 3,bind([[_785695, _785697, _785699], [c_worldgeographymt, c_tptpgeo_spindleheadmt, c_tptpgeo_member7_mt]]))).
% 0.44/1.40  ncf('1.2.1.2.1',plain,[-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))],extension(242 ^ 4)).
% 0.44/1.40  ncf('1.2.1.2.2',plain,[-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))],extension(1284 ^ 4)).
% 0.44/1.40  %-----------------------------------------------------
% 0.44/1.40  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------