%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR071+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n018.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:01:07 EDT 2023
% Result : Theorem 0.48s 1.35s
% Output : Proof 0.48s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : CSR071+2 : TPTP v8.1.2. Released v3.4.0.
% 0.10/0.10 % Command : nanocop.sh %s %d
% 0.10/0.31 % Computer : n018.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 300
% 0.10/0.31 % DateTime : Fri May 19 00:26:58 EDT 2023
% 0.10/0.31 % CPUTime :
% 0.48/1.35
% 0.48/1.35 /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.48/1.35 Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.48/1.35 %-----------------------------------------------------
% 0.48/1.35 ncf(matrix, plain, [(5596 ^ _608059) ^ [] : [-(mtvisible(c_tptp_spindlecollectormt))], (5598 ^ _608059) ^ [] : [tptpofobject(c_tptpnavypersonnel_3, f_tptpquantityfn_6(n_414))], (2 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _608059) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _608059) ^ [_608264] : [intangible(_608264), partiallytangible(_608264)], (12 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _608059) ^ [_608502] : [tptpcol_15_40430(_608502), -(tptpcol_14_40429(_608502))], (20 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _608059) ^ [_608741] : [tptpcol_10_72710(_608741), -(tptpcol_9_72709(_608741))], (28 ^ _608059) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _608059) ^ [_608980] : [inanimateobject(_608980), -(partiallytangible(_608980))], (36 ^ _608059) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _608059) ^ [_609247, _609249, _609251] : [-(genlpreds(_609251, _609247)), genlinverse(_609251, _609249), genlinverse(_609249, _609247)], (48 ^ _608059) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _608059) ^ [_609609, _609611] : [subsetof(_609611, _609609), -(most(_609611, _609609))], (56 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _608059) ^ [_609858] : [tptpcol_7_93186(_609858), -(tptpcol_6_92162(_609858))], (64 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _608059) ^ [_610097] : [tptpcol_13_40421(_610097), -(tptpcol_12_40420(_610097))], (72 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _608059) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _608059) ^ [_610561] : [tptpcol_9_22021(_610561), -(tptpcol_8_22020(_610561))], (90 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _608059) ^ [_610800] : [tptpcol_5_16388(_610800), -(tptpcol_4_16387(_610800))], (98 ^ _608059) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _608059) ^ [_611158] : [tptpcol_14_72792(_611158), -(tptpcol_13_72791(_611158))], (112 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _608059) ^ [_611397] : [tptpcol_5_20483(_611397), -(tptpcol_4_16387(_611397))], (120 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _608059) ^ [_611636] : [tptpcol_11_22023(_611636), -(tptpcol_10_22022(_611636))], (128 ^ _608059) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _608059) ^ [_611875] : [partiallyintangibleindividual(_611875), -(individual(_611875))], (136 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _608059) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _608059) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _608059) ^ [_612220] : [trajector_underspecified(_612220), -(location_underspecified(_612220))], (148 ^ _608059) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _608059) ^ [_612459] : [partiallytangible(_612459), -(enduringthing_localized(_612459))], (156 ^ _608059) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _608059) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _608059) ^ [_612817] : [tptpcol_3_81921(_612817), -(tptpcol_2_65537(_612817))], (170 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _608059) ^ [_613056] : [tptpcol_10_18567(_613056), -(tptpcol_9_18439(_613056))], (178 ^ _608059) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _608059) ^ [_613295] : [orderingpredicate(_613295), -(transitivebinarypredicate(_613295))], (186 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _608059) ^ [_613534] : [tptpcol_11_92230(_613534), -(tptpcol_10_92166(_613534))], (194 ^ _608059) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _608059) ^ [_613773] : [tptpcol_2_98304(_613773), -(tptpcol_1_65536(_613773))], (202 ^ _608059) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _608059) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _608059) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _608059) ^ [_614237] : [tptpcol_12_40420(_614237), -(tptpcol_11_40388(_614237))], (220 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _608059) ^ [_614490, _614492] : [tptptypes_9_693(_614492, _614490), -(tptptypes_8_692(_614492, _614490))], (228 ^ _608059) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _608059) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _608059) ^ [_614859, _614861] : [tptptypes_8_390(_614861, _614859), -(tptptypes_7_389(_614861, _614859))], (240 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _608059) ^ [_615203, _615205, _615207, _615209] : [-(isa(f_relationexistsallfn(_615209, _615205, _615203, _615207), _615203)), isa(_615209, _615207), relationexistsall(_615205, _615203, _615207)], (254 ^ _608059) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _608059) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _608059) ^ [_615732] : [tptpcol_4_106497(_615732), -(tptpcol_3_98305(_615732))], (268 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _608059) ^ [_615971] : [tptpcol_5_114690(_615971), -(tptpcol_4_114689(_615971))], (276 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _608059) ^ [_616210] : [tptpcol_12_93765(_616210), -(tptpcol_11_93764(_616210))], (284 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _608059) ^ [_616449] : [tptpcol_8_72708(_616449), -(tptpcol_7_72707(_616449))], (292 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _608059) ^ [_616688] : [tptpcol_10_40324(_616688), -(tptpcol_9_40196(_616688))], (300 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _608059) ^ [_616927] : [tptpcol_13_93766(_616927), -(tptpcol_12_93765(_616927))], (308 ^ _608059) ^ [_617113] : [-(tptpofobject(_617113, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_617113)], (318 ^ _608059) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _608059) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _608059) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _608059) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _608059) ^ [_617777] : [location_underspecified(_617777), -(thing(_617777))], (342 ^ _608059) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _608059) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _608059) ^ [_618122] : [tptpcol_12_92262(_618122), -(tptpcol_11_92230(_618122))], (354 ^ _608059) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _608059) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _608059) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _608059) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _608059) ^ [_618639] : [tptpcol_10_109061(_618639), -(tptpcol_9_109060(_618639))], (374 ^ _608059) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _608059) ^ [_618945, _618947] : [tptptypes_6_388(_618947, _618945), -(tptptypes_5_387(_618947, _618945))], (384 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _608059) ^ [_619194] : [tptpcol_6_116738(_619194), -(tptpcol_5_114690(_619194))], (392 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _608059) ^ [_619433] : [tptpcol_15_92268(_619433), -(tptpcol_14_92264(_619433))], (400 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _608059) ^ [_619738] : [-(tptpofobject(_619738, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_619738)], (416 ^ _608059) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _608059) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _608059) ^ [_620191, _620193] : [tptptypes_9_401(_620193, _620191), -(tptptypes_8_400(_620191, _620193))], (430 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _608059) ^ [_620440] : [tptpcol_12_18663(_620440), -(tptpcol_11_18631(_620440))], (438 ^ _608059) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _608059) ^ [_620679] : [setorcollection(_620679), -(mathematicalthing(_620679))], (446 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _608059) ^ [_620918] : [tptpcol_13_109173(_620918), -(tptpcol_12_109157(_620918))], (454 ^ _608059) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _608059) ^ [_621210] : [tptpcol_5_106498(_621210), -(tptpcol_4_106497(_621210))], (464 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _608059) ^ [_621449] : [tptpcol_5_24579(_621449), -(tptpcol_4_24578(_621449))], (472 ^ _608059) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _608059) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _608059) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _608059) ^ [_621979] : [tptpcol_1_65536(_621979), -(tptpcol_0_0(_621979))], (494 ^ _608059) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _608059) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _608059) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _608059) ^ [_622404, _622406] : [geographicalsubregions(_622406, _622404), -(inregion(_622404, _622406))], (510 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _608059) ^ [_622653] : [tptpcol_11_118084(_622653), -(tptpcol_10_118020(_622653))], (518 ^ _608059) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _608059) ^ [_622892] : [mathematicalorcomputationalthing(_622892), -(intangible(_622892))], (526 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _608059) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _608059) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _608059) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _608059) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _608059) ^ [_623410, _623412] : [tptptypes_7_819(_623412, _623410), -(tptptypes_6_818(_623412, _623410))], (544 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _608059) ^ [_623712] : [tptpcol_12_26919(_623712), -(tptpcol_11_26887(_623712))], (554 ^ _608059) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _608059) ^ [_623965, _623967] : [tptptypes_8_692(_623967, _623965), -(tptptypes_7_691(_623965, _623967))], (562 ^ _608059) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _608059) ^ [_624214] : [tptpcol_2_2(_624214), -(tptpcol_1_1(_624214))], (570 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _608059) ^ [_624506] : [tptpcol_9_92165(_624506), -(tptpcol_8_92164(_624506))], (580 ^ _608059) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _608059) ^ [_624745] : [fixedordercollection(_624745), -(collection(_624745))], (588 ^ _608059) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _608059) ^ [_624984] : [tptpcol_1_1(_624984), tptpcol_1_65536(_624984)], (596 ^ _608059) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _608059) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _608059) ^ [_625275] : [microtheory(_625275), -(aspatialinformationstore(_625275))], (606 ^ _608059) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _608059) ^ [_625580] : [-(tptp_8_875(_625580, f_relationallexistsfn(_625580, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_625580, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _608059) ^ [] : [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 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _608059) ^ [_626031] : [tptpcol_10_118020(_626031), -(tptpcol_9_118019(_626031))], (636 ^ _608059) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _608059) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _608059) ^ [_626389] : [-(tptp_9_720(_626389, f_relationallexistsfn(_626389, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_626389)], (654 ^ _608059) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _608059) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _608059) ^ [_626838] : [individual(_626838), setorcollection(_626838)], (668 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _608059) ^ [_627076] : [tptpcol_12_22055(_627076), -(tptpcol_11_22023(_627076))], (676 ^ _608059) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _608059) ^ [_627315] : [applicationcontext(_627315), -(microtheory(_627315))], (684 ^ _608059) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _608059) ^ [_627621, _627623] : [tptptypes_8_400(_627623, _627621), -(tptptypes_7_396(_627623, _627621))], (694 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _608059) ^ [_627870] : [tptpcol_11_18631(_627870), -(tptpcol_10_18567(_627870))], (702 ^ _608059) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _608059) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _608059) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _608059) ^ [_628281] : [mathematicalthing(_628281), -(mathematicalorcomputationalthing(_628281))], (718 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _608059) ^ [_628573] : [tptpcol_15_93775(_628573), -(tptpcol_14_93774(_628573))], (728 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _608059) ^ [_628812] : [tptpcol_8_109059(_628812), -(tptpcol_7_108547(_628812))], (736 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _608059) ^ [_629051] : [tptpcol_14_40429(_629051), -(tptpcol_13_40421(_629051))], (744 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _608059) ^ [_629409] : [tptpcol_14_22072(_629409), -(tptpcol_13_22071(_629409))], (758 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _608059) ^ [_629648] : [tptpcol_14_93774(_629648), -(tptpcol_13_93766(_629648))], (766 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _608059) ^ [_629887] : [tptpcol_10_22022(_629887), -(tptpcol_9_22021(_629887))], (774 ^ _608059) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _608059) ^ [_630126] : [inanimateobject_nonnatural(_630126), -(inanimateobject(_630126))], (782 ^ _608059) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _608059) ^ [_630471] : [tptpcol_9_72709(_630471), -(tptpcol_8_72708(_630471))], (794 ^ _608059) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _608059) ^ [_630710] : [-(tptpofobject(_630710, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_630710)], (806 ^ _608059) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _608059) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _608059) ^ [_631149] : [firstordercollection(_631149), -(fixedordercollection(_631149))], (820 ^ _608059) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _608059) ^ [_631560] : [tptpcol_13_18664(_631560), -(tptpcol_12_18663(_631560))], (836 ^ _608059) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _608059) ^ [_631799] : [artifact(_631799), -(inanimateobject_nonnatural(_631799))], (844 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _608059) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _608059) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _608059) ^ [_632197] : [tptpcol_7_113665(_632197), -(tptpcol_6_112641(_632197))], (858 ^ _608059) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _608059) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _608059) ^ [_632555] : [geographicalregion(_632555), -(partiallytangible(_632555))], (872 ^ _608059) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _608059) ^ [_632808, _632810] : [disjointwith(_632810, _632808), -(no(_632810, _632808))], (880 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _608059) ^ [_633057] : [tptpcol_4_24578(_633057), -(tptpcol_3_16386(_633057))], (888 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _608059) ^ [_633296] : [tptpcol_5_69635(_633296), -(tptpcol_4_65539(_633296))], (896 ^ _608059) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _608059) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _608059) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _608059) ^ [_633655, _633657] : [genls(_633657, _633655), -(collection(_633657))], (908 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _608059) ^ [_633902] : [tptpcol_13_22071(_633902), -(tptpcol_12_22055(_633902))], (916 ^ _608059) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _608059) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _608059) ^ [_634194] : [tptpcol_3_98305(_634194), -(tptpcol_2_98304(_634194))], (926 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _608059) ^ [_634433] : [tptpcol_4_114689(_634433), -(tptpcol_3_114688(_634433))], (934 ^ _608059) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _608059) ^ [_634672] : [artsupplies(_634672), -(supplies(_634672))], (942 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _608059) ^ [_634911] : [tptpcol_8_26629(_634911), -(tptpcol_7_26628(_634911))], (950 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _608059) ^ [_635150] : [tptpcol_9_109060(_635150), -(tptpcol_8_109059(_635150))], (958 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _608059) ^ [_635389] : [isa(_635389, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_635389, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _635389))], (966 ^ _608059) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _608059) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _608059) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _608059) ^ [_635973] : [tptpcol_14_109181(_635973), -(tptpcol_13_109173(_635973))], (988 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _608059) ^ [_636212] : [tptpcol_16_30972(_636212), -(tptpcol_15_30970(_636212))], (996 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _608059) ^ [_636504] : [tptpcol_9_18439(_636504), -(tptpcol_8_18438(_636504))], (1006 ^ _608059) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _608059) ^ [_636796] : [tptpcol_12_118116(_636796), -(tptpcol_11_118084(_636796))], (1016 ^ _608059) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _608059) ^ [_637088] : [tptpcol_7_26628(_637088), -(tptpcol_6_26627(_637088))], (1026 ^ _608059) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _608059) ^ [_637341, _637343] : [most(_637343, _637341), -(setorcollection(_637343))], (1034 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _608059) ^ [_637588] : [tptpcol_15_109185(_637588), -(tptpcol_14_109181(_637588))], (1042 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _608059) ^ [_637827] : [tptpcol_16_92269(_637827), -(tptpcol_15_92268(_637827))], (1050 ^ _608059) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _608059) ^ [_638133, _638135] : [tptptypes_8_823(_638135, _638133), -(tptptypes_7_819(_638135, _638133))], (1060 ^ _608059) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _608059) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _608059) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _608059) ^ [_638713] : [tptpcol_10_26886(_638713), -(tptpcol_9_26885(_638713))], (1082 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _608059) ^ [_639005] : [tptpcol_15_72793(_639005), -(tptpcol_14_72792(_639005))], (1092 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _608059) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _608059) ^ [_639363] : [navypersonnel(_639363), -(militaryperson(_639363))], (1106 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _608059) ^ [_639602] : [tptpcol_4_16387(_639602), -(tptpcol_3_16386(_639602))], (1114 ^ _608059) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _608059) ^ [_639841] : [enduringthing_localized(_639841), -(spatialthing_nonsituational(_639841))], (1122 ^ _608059) ^ [_640027] : [collection(_640027), individual(_640027)], (1128 ^ _608059) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _608059) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _608059) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _608059) ^ [_640556] : [physicalorderingpredicate(_640556), -(orderingpredicate(_640556))], (1150 ^ _608059) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _608059) ^ [_640809, _640811] : [disjointwith(_640811, _640809), -(collection(_640809))], (1158 ^ _608059) ^ [_641045, _641047, _641049, _641051] : [-(isa(f_relationallexistsfn(_641051, _641047, _641049, _641045), _641045)), isa(_641051, _641049), relationallexists(_641047, _641049, _641045)], (1168 ^ _608059) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _608059) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _608059) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _608059) ^ [_641654, _641656] : [tptptypes_7_389(_641656, _641654), -(tptptypes_6_388(_641654, _641656))], (1186 ^ _608059) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _608059) ^ [_641969] : [-(hpkb_subnationalagent(_641969)), mtvisible(c_hpkbvocabmt), state_geopolitical(_641969)], (1202 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _608059) ^ [_642287] : [tptpcol_8_22020(_642287), -(tptpcol_7_21508(_642287))], (1210 ^ _608059) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _608059) ^ [_642526] : [-(tptp_9_51(f_relationexistsallfn(_642526, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _642526)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_642526, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _608059) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _608059) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _608059) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _608059) ^ [_643030] : [tptpcol_3_65538(_643030), -(tptpcol_2_65537(_643030))], (1238 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _608059) ^ [_643269] : [tptpcol_14_26921(_643269), -(tptpcol_13_26920(_643269))], (1246 ^ _608059) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _608059) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _608059) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _608059) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _608059) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _608059) ^ [_643720] : [intangibleindividual(_643720), -(partiallyintangibleindividual(_643720))], (1262 ^ _608059) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _608059) ^ [_644078] : [tptpcol_16_130924(_644078), -(tptpcol_15_130923(_644078))], (1276 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _608059) ^ [_644317] : [tptpcol_7_92163(_644317), -(tptpcol_6_92162(_644317))], (1284 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _608059) ^ [_644609] : [tptpcol_16_130933(_644609), -(tptpcol_15_130931(_644609))], (1294 ^ _608059) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _608059) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _608059) ^ [_644915, _644917] : [no(_644917, _644915), -(few(_644917, _644915))], (1304 ^ _608059) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _608059) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _608059) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _608059) ^ [_645323] : [tptpcol_6_20484(_645323), -(tptpcol_5_20483(_645323))], (1318 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _608059) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _608059) ^ [_645787] : [tptpcol_7_108547(_645787), -(tptpcol_6_108546(_645787))], (1336 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _608059) ^ [_646026] : [tptpcol_11_109125(_646026), -(tptpcol_10_109061(_646026))], (1344 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _608059) ^ [_646318] : [tptpcol_8_93698(_646318), -(tptpcol_7_93186(_646318))], (1354 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _608059) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _608059) ^ [_646610] : [tptpcol_2_65537(_646610), -(tptpcol_1_65536(_646610))], (1364 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _608059) ^ [_646902] : [tptpcol_6_18436(_646902), -(tptpcol_5_16388(_646902))], (1374 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _608059) ^ [_647141] : [tptpcol_8_18438(_647141), -(tptpcol_7_18437(_647141))], (1382 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _608059) ^ [_647499] : [tptpcol_8_117763(_647499), -(tptpcol_7_117762(_647499))], (1396 ^ _608059) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _608059) ^ [_647791] : [tptpcol_12_109157(_647791), -(tptpcol_11_109125(_647791))], (1406 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _608059) ^ [_648030] : [tptpcol_7_117762(_648030), -(tptpcol_6_116738(_648030))], (1414 ^ _608059) ^ [_648244, _648246, _648248] : [isa(_648248, _648246), isa(_648248, _648244), disjointwith(_648246, _648244)], (1424 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _608059) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _608059) ^ [_648644] : [aspatialinformationstore(_648644), -(aspatialthing(_648644))], (1434 ^ _608059) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _608059) ^ [_649042] : [tptpcol_9_93699(_649042), -(tptpcol_8_93698(_649042))], (1448 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _608059) ^ [_649281] : [tptpcol_11_93764(_649281), -(tptpcol_10_93700(_649281))], (1456 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _608059) ^ [_649520] : [tptpcol_6_26627(_649520), -(tptpcol_5_24579(_649520))], (1464 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _608059) ^ [_649759] : [tptpcol_4_90113(_649759), -(tptpcol_3_81921(_649759))], (1472 ^ _608059) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _608059) ^ [_650051] : [tptpcol_10_93700(_650051), -(tptpcol_9_93699(_650051))], (1482 ^ _608059) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _608059) ^ [_650290] : [aspatialinformationstore(_650290), -(intangibleindividual(_650290))], (1490 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _608059) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _608059) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _608059) ^ [_650701] : [tptpcol_3_16386(_650701), -(tptpcol_2_2(_650701))], (1506 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _608059) ^ [_650940] : [tptpcol_9_118019(_650940), -(tptpcol_8_117763(_650940))], (1514 ^ _608059) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _608059) ^ [_651179] : [individual(_651179), -(trajector_underspecified(_651179))], (1522 ^ _608059) ^ [_651365] : [shavingrazor_manual(_651365), -(tptp_8_271(f_relationexistsallfn(_651365, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _651365))], (1528 ^ _608059) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _608059) ^ [_651669] : [tptpcol_6_112641(_651669), -(tptpcol_5_110593(_651669))], (1538 ^ _608059) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _608059) ^ [_651908] : [tptpcol_12_72775(_651908), -(tptpcol_11_72774(_651908))], (1546 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _608059) ^ [_652147] : [tptpcol_7_72707(_652147), -(tptpcol_6_71683(_652147))], (1554 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _608059) ^ [_652386] : [tptpcol_16_50958(_652386), -(tptpcol_15_50957(_652386))], (1562 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _608059) ^ [_652625] : [tptpcol_8_114177(_652625), -(tptpcol_7_113665(_652625))], (1570 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _608059) ^ [_652864] : [tptpcol_16_72795(_652864), -(tptpcol_15_72793(_652864))], (1578 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _608059) ^ [_653103] : [tptpcol_6_71683(_653103), -(tptpcol_5_69635(_653103))], (1586 ^ _608059) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _608059) ^ [_653409, _653411] : [tptptypes_7_396(_653411, _653409), -(tptptypes_6_388(_653411, _653409))], (1596 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _608059) ^ [_653658] : [tptpcol_9_26885(_653658), -(tptpcol_8_26629(_653658))], (1604 ^ _608059) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _608059) ^ [_653911, _653913] : [genls(_653913, _653911), -(subsetof(_653913, _653911))], (1612 ^ _608059) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _608059) ^ [_654227, _654229] : [tptptypes_6_818(_654229, _654227), -(tptptypes_5_802(_654229, _654227))], (1622 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _608059) ^ [_654476] : [tptpcol_6_92162(_654476), -(tptpcol_5_90114(_654476))], (1630 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _608059) ^ [_654768] : [tptpcol_8_92164(_654768), -(tptpcol_7_92163(_654768))], (1640 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _608059) ^ [_655007] : [tptpcol_13_118117(_655007), -(tptpcol_12_118116(_655007))], (1648 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _608059) ^ [_655246] : [tptpcol_11_40388(_655246), -(tptpcol_10_40324(_655246))], (1656 ^ _608059) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _608059) ^ [_655499, _655501] : [tptptypes_9_824(_655501, _655499), -(tptptypes_8_823(_655501, _655499))], (1664 ^ _608059) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _608059) ^ [_655801] : [tptpcol_11_26887(_655801), -(tptpcol_10_26886(_655801))], (1674 ^ _608059) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _608059) ^ [_656040] : [tptpcol_16_26926(_656040), -(tptpcol_15_26925(_656040))], (1682 ^ _608059) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _608059) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _608059) ^ [_656346, _656348] : [few(_656348, _656346), -(setorcollection(_656346))], (1692 ^ _608059) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _608059) ^ [_656593] : [tptpcol_4_65539(_656593), -(tptpcol_3_65538(_656593))], (1700 ^ _608059) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _608059) ^ [_656832] : [tptpcol_8_39940(_656832), -(tptpcol_7_39939(_656832))], (1708 ^ _608059) ^ [_657018] : [-(tptpofobject(_657018, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_657018)], (1718 ^ _608059) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _608059) ^ [_657457] : [tptpcol_15_22076(_657457), -(tptpcol_14_22072(_657457))], (1732 ^ _608059) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _608059) ^ [_657696] : [tptpcol_0_0(_657696), -(individual(_657696))], (1740 ^ _608059) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _608059) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _608059) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _608059) ^ [_658094] : [tptpcol_11_72774(_658094), -(tptpcol_10_72710(_658094))], (1754 ^ _608059) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _608059) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _608059) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _608059) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _608059) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _608059) ^ [_658730] : [tptpcol_7_21508(_658730), -(tptpcol_6_20484(_658730))], (1780 ^ _608059) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _608059) ^ [_658969] : [tptpcol_6_108546(_658969), -(tptpcol_5_106498(_658969))], (1788 ^ _608059) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _608059) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _608059) ^ [_659327] : [geolevel_4(_659327), -(geographicalregion(_659327))], (1802 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _608059) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _608059) ^ [_659804] : [tptpcol_13_26920(_659804), -(tptpcol_12_26919(_659804))], (1822 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _608059) ^ [_660043] : [tptpcol_14_92264(_660043), -(tptpcol_13_92263(_660043))], (1830 ^ _608059) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _608059) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _608059) ^ [_660335] : [tptpcol_9_40196(_660335), -(tptpcol_8_39940(_660335))], (1840 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _608059) ^ [_660693] : [tptpcol_13_92263(_660693), -(tptpcol_12_92262(_660693))], (1854 ^ _608059) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _608059) ^ [_660985] : [tptpcol_5_90114(_660985), -(tptpcol_4_90113(_660985))], (1864 ^ _608059) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _608059) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _608059) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _608059) ^ [_661396] : [tptpcol_15_26925(_661396), -(tptpcol_14_26921(_661396))], (1880 ^ _608059) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _608059) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _608059) ^ [_661754] : [tptpcol_7_18437(_661754), -(tptpcol_6_18436(_661754))], (1894 ^ _608059) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _608059) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _608059) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _608059) ^ [_662165] : [tptpcol_3_98305(_662165), tptpcol_3_114688(_662165)], (1910 ^ _608059) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _608059) ^ [_662403] : [tptpcol_5_110593(_662403), -(tptpcol_4_106497(_662403))], (1918 ^ _608059) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _608059) ^ [_662642] : [tptpcol_13_72791(_662642), -(tptpcol_12_72775(_662642))], (1926 ^ _608059) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _608059) ^ [_662881] : [computerdataartifact(_662881), -(artifact(_662881))], (1934 ^ _608059) ^ [_663067] : [-(tptpofobject(_663067, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_663067)], (1944 ^ _608059) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _608059) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _608059) ^ [_663506] : [tptpcol_10_92166(_663506), -(tptpcol_9_92165(_663506))], (1958 ^ _608059) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _608059) ^ [_663745] : [tptpcol_14_118118(_663745), -(tptpcol_13_118117(_663745))], (1966 ^ _608059) ^ [_663931] : [isa(_663931, c_tptpcol_14_118118), -(tptpcol_14_118118(_663931))], (1972 ^ _608059) ^ [_664119] : [tptpcol_14_118118(_664119), -(isa(_664119, c_tptpcol_14_118118))], (1978 ^ _608059) ^ [_664292] : [-(natfunction(f_tptpquantityfn_6(_664292), c_tptpquantityfn_6))], (1980 ^ _608059) ^ [_664372] : [-(natargument(f_tptpquantityfn_6(_664372), n_1, _664372))], (1982 ^ _608059) ^ [_664453] : [-(tptpquantity(f_tptpquantityfn_6(_664453)))], (1984 ^ _608059) ^ [_664547] : [isa(_664547, c_tptpcol_16_26939), -(tptpcol_16_26939(_664547))], (1990 ^ _608059) ^ [_664735] : [tptpcol_16_26939(_664735), -(isa(_664735, c_tptpcol_16_26939))], (1996 ^ _608059) ^ [_664923] : [isa(_664923, c_tptpcol_16_62187), -(tptpcol_16_62187(_664923))], (2002 ^ _608059) ^ [_665111] : [tptpcol_16_62187(_665111), -(isa(_665111, c_tptpcol_16_62187))], (2008 ^ _608059) ^ [_665299] : [isa(_665299, c_tptpcol_13_92263), -(tptpcol_13_92263(_665299))], (2014 ^ _608059) ^ [_665487] : [tptpcol_13_92263(_665487), -(isa(_665487, c_tptpcol_13_92263))], (2020 ^ _608059) ^ [_665675] : [isa(_665675, c_geolevel_4), -(geolevel_4(_665675))], (2026 ^ _608059) ^ [_665863] : [geolevel_4(_665863), -(isa(_665863, c_geolevel_4))], (2032 ^ _608059) ^ [_666051] : [isa(_666051, c_tptpcol_15_4027), -(tptpcol_15_4027(_666051))], (2038 ^ _608059) ^ [_666239] : [tptpcol_15_4027(_666239), -(isa(_666239, c_tptpcol_15_4027))], (2044 ^ _608059) ^ [_666427] : [isa(_666427, c_pushingwithfingers), -(pushingwithfingers(_666427))], (2050 ^ _608059) ^ [_666615] : [pushingwithfingers(_666615), -(isa(_666615, c_pushingwithfingers))], (2056 ^ _608059) ^ [_666817, _666819] : [affiliatedwith(_666819, _666817), -(agent_generic(_666817))], (2062 ^ _608059) ^ [_667025, _667027] : [affiliatedwith(_667027, _667025), -(agent_generic(_667027))], (2068 ^ _608059) ^ [_667233, _667235] : [affiliatedwith(_667235, _667233), -(affiliatedwith(_667233, _667235))], (2074 ^ _608059) ^ [_667413] : [affiliatedwith(_667413, _667413)], (2076 ^ _608059) ^ [_667506] : [isa(_667506, c_footballteam), -(footballteam(_667506))], (2082 ^ _608059) ^ [_667694] : [footballteam(_667694), -(isa(_667694, c_footballteam))], (2088 ^ _608059) ^ [_667882] : [isa(_667882, c_tptpcol_16_4451), -(tptpcol_16_4451(_667882))], (2094 ^ _608059) ^ [_668070] : [tptpcol_16_4451(_668070), -(isa(_668070, c_tptpcol_16_4451))], (2100 ^ _608059) ^ [_668258] : [isa(_668258, c_pushingwithopenhand), -(pushingwithopenhand(_668258))], (2106 ^ _608059) ^ [_668446] : [pushingwithopenhand(_668446), -(isa(_668446, c_pushingwithopenhand))], (2112 ^ _608059) ^ [_668634] : [isa(_668634, c_tptpcol_15_22076), -(tptpcol_15_22076(_668634))], (2118 ^ _608059) ^ [_668822] : [tptpcol_15_22076(_668822), -(isa(_668822, c_tptpcol_15_22076))], (2124 ^ _608059) ^ [_668995] : [-(natfunction(f_tptpquantityfn_2(_668995), c_tptpquantityfn_2))], (2126 ^ _608059) ^ [_669075] : [-(natargument(f_tptpquantityfn_2(_669075), n_1, _669075))], (2128 ^ _608059) ^ [_669156] : [-(tptpquantity(f_tptpquantityfn_2(_669156)))], (2130 ^ _608059) ^ [_669250] : [isa(_669250, c_tptpcol_7_39939), -(tptpcol_7_39939(_669250))], (2136 ^ _608059) ^ [_669438] : [tptpcol_7_39939(_669438), -(isa(_669438, c_tptpcol_7_39939))], (2142 ^ _608059) ^ [_669626] : [isa(_669626, c_tptpcol_8_39940), -(tptpcol_8_39940(_669626))], (2148 ^ _608059) ^ [_669814] : [tptpcol_8_39940(_669814), -(isa(_669814, c_tptpcol_8_39940))], (2154 ^ _608059) ^ [_670002] : [isa(_670002, c_tptpcol_15_26925), -(tptpcol_15_26925(_670002))], (2160 ^ _608059) ^ [_670190] : [tptpcol_15_26925(_670190), -(isa(_670190, c_tptpcol_15_26925))], (2166 ^ _608059) ^ [_670378] : [isa(_670378, c_tptpcol_16_26926), -(tptpcol_16_26926(_670378))], (2172 ^ _608059) ^ [_670566] : [tptpcol_16_26926(_670566), -(isa(_670566, c_tptpcol_16_26926))], (2178 ^ _608059) ^ [_670754] : [isa(_670754, c_tptpcol_13_118117), -(tptpcol_13_118117(_670754))], (2184 ^ _608059) ^ [_670942] : [tptpcol_13_118117(_670942), -(isa(_670942, c_tptpcol_13_118117))], (2190 ^ _608059) ^ [_671130] : [isa(_671130, c_tptpcol_5_90114), -(tptpcol_5_90114(_671130))], (2196 ^ _608059) ^ [_671318] : [tptpcol_5_90114(_671318), -(isa(_671318, c_tptpcol_5_90114))], (2202 ^ _608059) ^ [_671520, _671522] : [tptptypes_5_802(_671522, _671520), -(firstordercollection(_671520))], (2208 ^ _608059) ^ [_671728, _671730] : [tptptypes_5_802(_671730, _671728), -(firstordercollection(_671730))], (2214 ^ _608059) ^ [_671922] : [isa(_671922, c_tptpcol_16_72795), -(tptpcol_16_72795(_671922))], (2220 ^ _608059) ^ [_672110] : [tptpcol_16_72795(_672110), -(isa(_672110, c_tptpcol_16_72795))], (2226 ^ _608059) ^ [_672298] : [isa(_672298, c_tptpcol_8_114177), -(tptpcol_8_114177(_672298))], (2232 ^ _608059) ^ [_672486] : [tptpcol_8_114177(_672486), -(isa(_672486, c_tptpcol_8_114177))], (2238 ^ _608059) ^ [_672674] : [isa(_672674, c_tptpcol_15_50957), -(tptpcol_15_50957(_672674))], (2244 ^ _608059) ^ [_672862] : [tptpcol_15_50957(_672862), -(isa(_672862, c_tptpcol_15_50957))], (2250 ^ _608059) ^ [_673050] : [isa(_673050, c_tptpcol_16_50958), -(tptpcol_16_50958(_673050))], (2256 ^ _608059) ^ [_673238] : [tptpcol_16_50958(_673238), -(isa(_673238, c_tptpcol_16_50958))], (2262 ^ _608059) ^ [_673426] : [isa(_673426, c_tptpcol_6_71683), -(tptpcol_6_71683(_673426))], (2268 ^ _608059) ^ [_673614] : [tptpcol_6_71683(_673614), -(isa(_673614, c_tptpcol_6_71683))], (2274 ^ _608059) ^ [_673802] : [isa(_673802, c_tptpcol_11_72774), -(tptpcol_11_72774(_673802))], (2280 ^ _608059) ^ [_673990] : [tptpcol_11_72774(_673990), -(isa(_673990, c_tptpcol_11_72774))], (2286 ^ _608059) ^ [_674178] : [isa(_674178, c_tptpcol_12_72775), -(tptpcol_12_72775(_674178))], (2292 ^ _608059) ^ [_674366] : [tptpcol_12_72775(_674366), -(isa(_674366, c_tptpcol_12_72775))], (2298 ^ _608059) ^ [_674554] : [isa(_674554, c_tptpcol_5_110593), -(tptpcol_5_110593(_674554))], (2304 ^ _608059) ^ [_674742] : [tptpcol_5_110593(_674742), -(isa(_674742, c_tptpcol_5_110593))], (2310 ^ _608059) ^ [_674930] : [isa(_674930, c_tptpcol_16_25972), -(tptpcol_16_25972(_674930))], (2316 ^ _608059) ^ [_675118] : [tptpcol_16_25972(_675118), -(isa(_675118, c_tptpcol_16_25972))], (2322 ^ _608059) ^ [_675320, _675322] : [tptp_8_271(_675322, _675320), -(razor(_675320))], (2328 ^ _608059) ^ [_675528, _675530] : [tptp_8_271(_675530, _675528), -(tptpcol_5_24579(_675530))], (2334 ^ _608059) ^ [_675722] : [isa(_675722, c_tptpcol_4_90113), -(tptpcol_4_90113(_675722))], (2340 ^ _608059) ^ [_675910] : [tptpcol_4_90113(_675910), -(isa(_675910, c_tptpcol_4_90113))], (2346 ^ _608059) ^ [_676098] : [isa(_676098, c_tptpcol_10_93700), -(tptpcol_10_93700(_676098))], (2352 ^ _608059) ^ [_676286] : [tptpcol_10_93700(_676286), -(isa(_676286, c_tptpcol_10_93700))], (2358 ^ _608059) ^ [_676474] : [isa(_676474, c_tptpcol_9_93699), -(tptpcol_9_93699(_676474))], (2364 ^ _608059) ^ [_676662] : [tptpcol_9_93699(_676662), -(isa(_676662, c_tptpcol_9_93699))], (2370 ^ _608059) ^ [_676850] : [isa(_676850, c_aspatialthing), -(aspatialthing(_676850))], (2376 ^ _608059) ^ [_677038] : [aspatialthing(_677038), -(isa(_677038, c_aspatialthing))], (2382 ^ _608059) ^ [_677226] : [isa(_677226, c_tptpcol_7_117762), -(tptpcol_7_117762(_677226))], (2388 ^ _608059) ^ [_677414] : [tptpcol_7_117762(_677414), -(isa(_677414, c_tptpcol_7_117762))], (2394 ^ _608059) ^ [_677602] : [isa(_677602, c_tptpcol_8_117763), -(tptpcol_8_117763(_677602))], (2400 ^ _608059) ^ [_677790] : [tptpcol_8_117763(_677790), -(isa(_677790, c_tptpcol_8_117763))], (2406 ^ _608059) ^ [_677978] : [isa(_677978, c_tptpcol_7_18437), -(tptpcol_7_18437(_677978))], (2412 ^ _608059) ^ [_678166] : [tptpcol_7_18437(_678166), -(isa(_678166, c_tptpcol_7_18437))], (2418 ^ _608059) ^ [_678354] : [isa(_678354, c_tptpcol_6_18436), -(tptpcol_6_18436(_678354))], (2424 ^ _608059) ^ [_678542] : [tptpcol_6_18436(_678542), -(isa(_678542, c_tptpcol_6_18436))], (2430 ^ _608059) ^ [_678730] : [isa(_678730, c_tptpcol_8_93698), -(tptpcol_8_93698(_678730))], (2436 ^ _608059) ^ [_678918] : [tptpcol_8_93698(_678918), -(isa(_678918, c_tptpcol_8_93698))], (2442 ^ _608059) ^ [_679106] : [isa(_679106, c_tptpcol_11_109125), -(tptpcol_11_109125(_679106))], (2448 ^ _608059) ^ [_679294] : [tptpcol_11_109125(_679294), -(isa(_679294, c_tptpcol_11_109125))], (2454 ^ _608059) ^ [_679482] : [isa(_679482, c_tptpcol_6_108546), -(tptpcol_6_108546(_679482))], (2460 ^ _608059) ^ [_679670] : [tptpcol_6_108546(_679670), -(isa(_679670, c_tptpcol_6_108546))], (2466 ^ _608059) ^ [_679858] : [isa(_679858, c_tptpcol_6_20484), -(tptpcol_6_20484(_679858))], (2472 ^ _608059) ^ [_680046] : [tptpcol_6_20484(_680046), -(isa(_680046, c_tptpcol_6_20484))], (2478 ^ _608059) ^ [_680248, _680250] : [few(_680250, _680248), -(setorcollection(_680248))], (2484 ^ _608059) ^ [_680456, _680458] : [few(_680458, _680456), -(setorcollection(_680456))], (2490 ^ _608059) ^ [_680664, _680666] : [few(_680666, _680664), -(setorcollection(_680666))], (2496 ^ _608059) ^ [_680872, _680874] : [few(_680874, _680872), -(setorcollection(_680874))], (2502 ^ _608059) ^ [_681094, _681096, _681098] : [-(few(_681098, _681094)), few(_681098, _681096), subsetof(_681094, _681096)], (2512 ^ _608059) ^ [_681389] : [isa(_681389, c_tptpcol_15_130931), -(tptpcol_15_130931(_681389))], (2518 ^ _608059) ^ [_681577] : [tptpcol_15_130931(_681577), -(isa(_681577, c_tptpcol_15_130931))], (2524 ^ _608059) ^ [_681765] : [isa(_681765, c_tptpcol_16_130933), -(tptpcol_16_130933(_681765))], (2530 ^ _608059) ^ [_681953] : [tptpcol_16_130933(_681953), -(isa(_681953, c_tptpcol_16_130933))], (2536 ^ _608059) ^ [_682141] : [isa(_682141, c_tptpcol_7_92163), -(tptpcol_7_92163(_682141))], (2542 ^ _608059) ^ [_682329] : [tptpcol_7_92163(_682329), -(isa(_682329, c_tptpcol_7_92163))], (2548 ^ _608059) ^ [_682517] : [isa(_682517, c_tptpcol_15_130923), -(tptpcol_15_130923(_682517))], (2554 ^ _608059) ^ [_682705] : [tptpcol_15_130923(_682705), -(isa(_682705, c_tptpcol_15_130923))], (2560 ^ _608059) ^ [_682893] : [isa(_682893, c_tptpcol_16_130924), -(tptpcol_16_130924(_682893))], (2566 ^ _608059) ^ [_683081] : [tptpcol_16_130924(_683081), -(isa(_683081, c_tptpcol_16_130924))], (2572 ^ _608059) ^ [_683269] : [isa(_683269, c_intangibleindividual), -(intangibleindividual(_683269))], (2578 ^ _608059) ^ [_683457] : [intangibleindividual(_683457), -(isa(_683457, c_intangibleindividual))], (2584 ^ _608059) ^ [_683644, _683646] : [-(natfunction(f_citynamedfn(_683646, _683644), c_citynamedfn))], (2586 ^ _608059) ^ [_683741, _683743] : [-(natargument(f_citynamedfn(_683743, _683741), n_1, _683743))], (2588 ^ _608059) ^ [_683839, _683841] : [-(natargument(f_citynamedfn(_683841, _683839), n_2, _683839))], (2590 ^ _608059) ^ [_683937, _683939] : [-(city(f_citynamedfn(_683939, _683937)))], (2592 ^ _608059) ^ [_684034] : [isa(_684034, c_tptpcol_13_26920), -(tptpcol_13_26920(_684034))], (2598 ^ _608059) ^ [_684222] : [tptpcol_13_26920(_684222), -(isa(_684222, c_tptpcol_13_26920))], (2604 ^ _608059) ^ [_684410] : [isa(_684410, c_tptpcol_14_26921), -(tptpcol_14_26921(_684410))], (2610 ^ _608059) ^ [_684598] : [tptpcol_14_26921(_684598), -(isa(_684598, c_tptpcol_14_26921))], (2616 ^ _608059) ^ [_684786] : [isa(_684786, c_tptpcol_3_65538), -(tptpcol_3_65538(_684786))], (2622 ^ _608059) ^ [_684974] : [tptpcol_3_65538(_684974), -(isa(_684974, c_tptpcol_3_65538))], (2628 ^ _608059) ^ [_685162] : [isa(_685162, c_tptpcol_16_27189), -(tptpcol_16_27189(_685162))], (2634 ^ _608059) ^ [_685350] : [tptpcol_16_27189(_685350), -(isa(_685350, c_tptpcol_16_27189))], (2640 ^ _608059) ^ [_685552, _685554] : [tptp_9_51(_685554, _685552), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_685552))], (2646 ^ _608059) ^ [_685760, _685762] : [tptp_9_51(_685762, _685760), -(tptpcol_7_26628(_685762))], (2652 ^ _608059) ^ [_685954] : [isa(_685954, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_685954))], (2658 ^ _608059) ^ [_686142] : [reflexivebinarypredicate(_686142), -(isa(_686142, c_reflexivebinarypredicate))], (2664 ^ _608059) ^ [_686330] : [isa(_686330, c_tptpcol_7_21508), -(tptpcol_7_21508(_686330))], (2670 ^ _608059) ^ [_686518] : [tptpcol_7_21508(_686518), -(isa(_686518, c_tptpcol_7_21508))], (2676 ^ _608059) ^ [_686706] : [isa(_686706, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_686706))], (2682 ^ _608059) ^ [_686894] : [hpkb_subnationalagent(_686894), -(isa(_686894, c_hpkb_subnationalagent))], (2688 ^ _608059) ^ [_687082] : [isa(_687082, c_state_geopolitical), -(state_geopolitical(_687082))], (2694 ^ _608059) ^ [_687270] : [state_geopolitical(_687270), -(isa(_687270, c_state_geopolitical))], (2700 ^ _608059) ^ [_687485, _687487, _687489, _687491] : [-(natfunction(f_relationallexistsfn(_687491, _687489, _687487, _687485), c_relationallexistsfn))], (2702 ^ _608059) ^ [_687616, _687618, _687620, _687622] : [-(natargument(f_relationallexistsfn(_687622, _687620, _687618, _687616), n_1, _687622))], (2704 ^ _608059) ^ [_687748, _687750, _687752, _687754] : [-(natargument(f_relationallexistsfn(_687754, _687752, _687750, _687748), n_2, _687752))], (2706 ^ _608059) ^ [_687880, _687882, _687884, _687886] : [-(natargument(f_relationallexistsfn(_687886, _687884, _687882, _687880), n_3, _687882))], (2708 ^ _608059) ^ [_688012, _688014, _688016, _688018] : [-(natargument(f_relationallexistsfn(_688018, _688016, _688014, _688012), n_4, _688012))], (2710 ^ _608059) ^ [_688144, _688146, _688148, _688150] : [-(thing(f_relationallexistsfn(_688150, _688148, _688146, _688144)))], (2712 ^ _608059) ^ [_688261, _688263] : [arg2isa(_688263, _688261), -(collection(_688261))], (2718 ^ _608059) ^ [_688469, _688471] : [arg2isa(_688471, _688469), -(relation(_688471))], (2724 ^ _608059) ^ [_688691, _688693, _688695] : [-(arg2isa(_688695, _688691)), arg2isa(_688695, _688693), genls(_688693, _688691)], (2734 ^ _608059) ^ [_689014, _689016, _689018] : [-(arg2isa(_689018, _689014)), arg2isa(_689018, _689016), genls(_689016, _689014)], (2744 ^ _608059) ^ [_689309] : [isa(_689309, c_geolevel_1), -(geolevel_1(_689309))], (2750 ^ _608059) ^ [_689497] : [geolevel_1(_689497), -(isa(_689497, c_geolevel_1))], (2756 ^ _608059) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _608059) ^ [_689738] : [isa(_689738, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_689738))], (2764 ^ _608059) ^ [_689926] : [spatialthing_nonsituational(_689926), -(isa(_689926, c_spatialthing_nonsituational))], (2770 ^ _608059) ^ [_690114] : [isa(_690114, c_militaryperson), -(militaryperson(_690114))], (2776 ^ _608059) ^ [_690302] : [militaryperson(_690302), -(isa(_690302, c_militaryperson))], (2782 ^ _608059) ^ [_690490] : [isa(_690490, c_tptpcol_15_72793), -(tptpcol_15_72793(_690490))], (2788 ^ _608059) ^ [_690678] : [tptpcol_15_72793(_690678), -(isa(_690678, c_tptpcol_15_72793))], (2794 ^ _608059) ^ [_690866] : [isa(_690866, c_tptpcol_9_26885), -(tptpcol_9_26885(_690866))], (2800 ^ _608059) ^ [_691054] : [tptpcol_9_26885(_691054), -(isa(_691054, c_tptpcol_9_26885))], (2806 ^ _608059) ^ [_691242] : [isa(_691242, c_tptpcol_10_26886), -(tptpcol_10_26886(_691242))], (2812 ^ _608059) ^ [_691430] : [tptpcol_10_26886(_691430), -(isa(_691430, c_tptpcol_10_26886))], (2818 ^ _608059) ^ [_691632, _691634] : [tptptypes_8_823(_691634, _691632), -(firstordercollection(_691632))], (2824 ^ _608059) ^ [_691840, _691842] : [tptptypes_8_823(_691842, _691840), -(firstordercollection(_691842))], (2830 ^ _608059) ^ [_692034] : [isa(_692034, c_tptpcol_16_92269), -(tptpcol_16_92269(_692034))], (2836 ^ _608059) ^ [_692222] : [tptpcol_16_92269(_692222), -(isa(_692222, c_tptpcol_16_92269))], (2842 ^ _608059) ^ [_692410] : [isa(_692410, c_tptpcol_15_109185), -(tptpcol_15_109185(_692410))], (2848 ^ _608059) ^ [_692598] : [tptpcol_15_109185(_692598), -(isa(_692598, c_tptpcol_15_109185))], (2854 ^ _608059) ^ [_692786] : [isa(_692786, c_tptpcol_6_26627), -(tptpcol_6_26627(_692786))], (2860 ^ _608059) ^ [_692974] : [tptpcol_6_26627(_692974), -(isa(_692974, c_tptpcol_6_26627))], (2866 ^ _608059) ^ [_693162] : [isa(_693162, c_tptpcol_12_118116), -(tptpcol_12_118116(_693162))], (2872 ^ _608059) ^ [_693350] : [tptpcol_12_118116(_693350), -(isa(_693350, c_tptpcol_12_118116))], (2878 ^ _608059) ^ [_693538] : [isa(_693538, c_tptpcol_8_18438), -(tptpcol_8_18438(_693538))], (2884 ^ _608059) ^ [_693726] : [tptpcol_8_18438(_693726), -(isa(_693726, c_tptpcol_8_18438))], (2890 ^ _608059) ^ [_693914] : [isa(_693914, c_tptpcol_15_30970), -(tptpcol_15_30970(_693914))], (2896 ^ _608059) ^ [_694102] : [tptpcol_15_30970(_694102), -(isa(_694102, c_tptpcol_15_30970))], (2902 ^ _608059) ^ [_694290] : [isa(_694290, c_tptpcol_16_30972), -(tptpcol_16_30972(_694290))], (2908 ^ _608059) ^ [_694478] : [tptpcol_16_30972(_694478), -(isa(_694478, c_tptpcol_16_30972))], (2914 ^ _608059) ^ [_694666] : [isa(_694666, c_tptpcol_14_109181), -(tptpcol_14_109181(_694666))], (2920 ^ _608059) ^ [_694854] : [tptpcol_14_109181(_694854), -(isa(_694854, c_tptpcol_14_109181))], (2926 ^ _608059) ^ [_695042] : [isa(_695042, c_physicalorderingpredicate), -(physicalorderingpredicate(_695042))], (2932 ^ _608059) ^ [_695230] : [physicalorderingpredicate(_695230), -(isa(_695230, c_physicalorderingpredicate))], (2938 ^ _608059) ^ [_695418] : [isa(_695418, c_tptpcol_16_7738), -(tptpcol_16_7738(_695418))], (2944 ^ _608059) ^ [_695606] : [tptpcol_16_7738(_695606), -(isa(_695606, c_tptpcol_16_7738))], (2950 ^ _608059) ^ [_695808, _695810] : [tptp_8_968(_695810, _695808), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_695808))], (2956 ^ _608059) ^ [_696016, _696018] : [tptp_8_968(_696018, _696016), -(tptpcol_7_7172(_696018))], (2962 ^ _608059) ^ [_696238, _696240, _696242] : [relationexistsall(_696242, _696240, _696238), -(collection(_696238))], (2968 ^ _608059) ^ [_696468, _696470, _696472] : [relationexistsall(_696472, _696470, _696468), -(collection(_696470))], (2974 ^ _608059) ^ [_696698, _696700, _696702] : [relationexistsall(_696702, _696700, _696698), -(binarypredicate(_696702))], (2980 ^ _608059) ^ [_696900] : [isa(_696900, c_tptpcol_7_26628), -(tptpcol_7_26628(_696900))], (2986 ^ _608059) ^ [_697088] : [tptpcol_7_26628(_697088), -(isa(_697088, c_tptpcol_7_26628))], (2992 ^ _608059) ^ [_697276] : [isa(_697276, c_tptpcol_8_26629), -(tptpcol_8_26629(_697276))], (2998 ^ _608059) ^ [_697464] : [tptpcol_8_26629(_697464), -(isa(_697464, c_tptpcol_8_26629))], (3004 ^ _608059) ^ [_697652] : [isa(_697652, c_tptpcol_3_114688), -(tptpcol_3_114688(_697652))], (3010 ^ _608059) ^ [_697840] : [tptpcol_3_114688(_697840), -(isa(_697840, c_tptpcol_3_114688))], (3016 ^ _608059) ^ [_698013] : [-(natfunction(f_contextofpcwfn(_698013), c_contextofpcwfn))], (3018 ^ _608059) ^ [_698093] : [-(natargument(f_contextofpcwfn(_698093), n_1, _698093))], (3020 ^ _608059) ^ [_698174] : [-(microtheory(f_contextofpcwfn(_698174)))], (3022 ^ _608059) ^ [_698282, _698284] : [arg1isa(_698284, _698282), -(collection(_698282))], (3028 ^ _608059) ^ [_698490, _698492] : [arg1isa(_698492, _698490), -(relation(_698492))], (3034 ^ _608059) ^ [_698712, _698714, _698716] : [-(arg1isa(_698716, _698712)), arg1isa(_698716, _698714), genls(_698714, _698712)], (3044 ^ _608059) ^ [_699035, _699037, _699039] : [-(arg1isa(_699039, _699035)), arg1isa(_699039, _699037), genls(_699037, _699035)], (3054 ^ _608059) ^ [_699344, _699346] : [objectfoundinlocation(_699346, _699344), -(spatialthing_nonsituational(_699344))], (3060 ^ _608059) ^ [_699552, _699554] : [objectfoundinlocation(_699554, _699552), -(spatialthing_localized(_699552))], (3066 ^ _608059) ^ [_699760, _699762] : [objectfoundinlocation(_699762, _699760), -(spatialthing_nonsituational(_699762))], (3072 ^ _608059) ^ [_699968, _699970] : [objectfoundinlocation(_699970, _699968), -(spatialthing_localized(_699970))], (3078 ^ _608059) ^ [_700190, _700192, _700194] : [-(objectfoundinlocation(_700194, _700190)), objectfoundinlocation(_700194, _700192), objectfoundinlocation(_700192, _700190)], (3088 ^ _608059) ^ [_700469] : [objectfoundinlocation(_700469, _700469)], (3090 ^ _608059) ^ [_700590, _700592, _700594] : [-(objectfoundinlocation(_700594, _700590)), objectfoundinlocation(_700594, _700592), geopoliticalsubdivision(_700590, _700592)], (3100 ^ _608059) ^ [_700913, _700915, _700917] : [-(objectfoundinlocation(_700917, _700913)), objectfoundinlocation(_700917, _700915), geographicallysubsumes(_700913, _700915)], (3110 ^ _608059) ^ [_701236, _701238, _701240] : [-(objectfoundinlocation(_701240, _701236)), objectfoundinlocation(_701240, _701238), subregions(_701236, _701238)], (3120 ^ _608059) ^ [_701531] : [isa(_701531, c_ship), -(ship(_701531))], (3126 ^ _608059) ^ [_701719] : [ship(_701719), -(isa(_701719, c_ship))], (3132 ^ _608059) ^ [_701920, _701922, _701924] : [-(natfunction(f_subcollectionofwithrelationtofn(_701924, _701922, _701920), c_subcollectionofwithrelationtofn))], (3134 ^ _608059) ^ [_702034, _702036, _702038] : [-(natargument(f_subcollectionofwithrelationtofn(_702038, _702036, _702034), n_1, _702038))], (3136 ^ _608059) ^ [_702149, _702151, _702153] : [-(natargument(f_subcollectionofwithrelationtofn(_702153, _702151, _702149), n_2, _702151))], (3138 ^ _608059) ^ [_702264, _702266, _702268] : [-(natargument(f_subcollectionofwithrelationtofn(_702268, _702266, _702264), n_3, _702264))], (3140 ^ _608059) ^ [_702379, _702381, _702383] : [-(collection(f_subcollectionofwithrelationtofn(_702383, _702381, _702379)))], (3142 ^ _608059) ^ [_702479] : [isa(_702479, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_702479))], (3148 ^ _608059) ^ [_702667] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_702667), -(isa(_702667, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _608059) ^ [_702855] : [isa(_702855, c_tptpcol_4_65539), -(tptpcol_4_65539(_702855))], (3160 ^ _608059) ^ [_703043] : [tptpcol_4_65539(_703043), -(isa(_703043, c_tptpcol_4_65539))], (3166 ^ _608059) ^ [_703231] : [isa(_703231, c_tptpcol_5_69635), -(tptpcol_5_69635(_703231))], (3172 ^ _608059) ^ [_703419] : [tptpcol_5_69635(_703419), -(isa(_703419, c_tptpcol_5_69635))], (3178 ^ _608059) ^ [_703607] : [isa(_703607, c_tptpcol_3_16386), -(tptpcol_3_16386(_703607))], (3184 ^ _608059) ^ [_703795] : [tptpcol_3_16386(_703795), -(isa(_703795, c_tptpcol_3_16386))], (3190 ^ _608059) ^ [_703997, _703999] : [no(_703999, _703997), -(setorcollection(_703997))], (3196 ^ _608059) ^ [_704205, _704207] : [no(_704207, _704205), -(setorcollection(_704207))], (3202 ^ _608059) ^ [_704413, _704415] : [no(_704415, _704413), -(no(_704413, _704415))], (3208 ^ _608059) ^ [_704637, _704639, _704641] : [-(no(_704641, _704637)), no(_704641, _704639), subsetof(_704637, _704639)], (3218 ^ _608059) ^ [_704960, _704962, _704964] : [-(no(_704960, _704962)), no(_704964, _704962), subsetof(_704960, _704964)], (3228 ^ _608059) ^ [_705283, _705285, _705287] : [-(no(_705283, _705285)), no(_705287, _705285), genls(_705283, _705287)], (3238 ^ _608059) ^ [_705606, _705608, _705610] : [-(no(_705610, _705606)), no(_705610, _705608), genls(_705606, _705608)], (3248 ^ _608059) ^ [_705929, _705931, _705933] : [-(no(_705929, _705931)), no(_705933, _705931), subsetof(_705929, _705933)], (3258 ^ _608059) ^ [_706252, _706254, _706256] : [-(no(_706256, _706252)), no(_706256, _706254), subsetof(_706252, _706254)], (3268 ^ _608059) ^ [_706547] : [isa(_706547, c_geographicalregion), -(geographicalregion(_706547))], (3274 ^ _608059) ^ [_706735] : [geographicalregion(_706735), -(isa(_706735, c_geographicalregion))], (3280 ^ _608059) ^ [_706908] : [-(natfunction(f_tptpquantityfn_21(_706908), c_tptpquantityfn_21))], (3282 ^ _608059) ^ [_706988] : [-(natargument(f_tptpquantityfn_21(_706988), n_1, _706988))], (3284 ^ _608059) ^ [_707069] : [-(tptpquantity(f_tptpquantityfn_21(_707069)))], (3286 ^ _608059) ^ [_707177, _707179] : [airporthasiatacode(_707179, _707177), -(stringoflengthfn3(_707177))], (3292 ^ _608059) ^ [_707385, _707387] : [airporthasiatacode(_707387, _707385), -(airport_physical(_707387))], (3298 ^ _608059) ^ [_707579] : [isa(_707579, c_airport_physical), -(airport_physical(_707579))], (3304 ^ _608059) ^ [_707767] : [airport_physical(_707767), -(isa(_707767, c_airport_physical))], (3310 ^ _608059) ^ [_707968, _707970, _707972] : [-(natfunction(f_instancewithrelationtofn(_707972, _707970, _707968), c_instancewithrelationtofn))], (3312 ^ _608059) ^ [_708082, _708084, _708086] : [-(natargument(f_instancewithrelationtofn(_708086, _708084, _708082), n_1, _708086))], (3314 ^ _608059) ^ [_708197, _708199, _708201] : [-(natargument(f_instancewithrelationtofn(_708201, _708199, _708197), n_2, _708199))], (3316 ^ _608059) ^ [_708312, _708314, _708316] : [-(natargument(f_instancewithrelationtofn(_708316, _708314, _708312), n_3, _708312))], (3318 ^ _608059) ^ [_708427, _708429, _708431] : [-(thing(f_instancewithrelationtofn(_708431, _708429, _708427)))], (3320 ^ _608059) ^ [_708527] : [isa(_708527, c_tptpcol_6_112641), -(tptpcol_6_112641(_708527))], (3326 ^ _608059) ^ [_708715] : [tptpcol_6_112641(_708715), -(isa(_708715, c_tptpcol_6_112641))], (3332 ^ _608059) ^ [_708903] : [isa(_708903, c_tptpcol_7_113665), -(tptpcol_7_113665(_708903))], (3338 ^ _608059) ^ [_709091] : [tptpcol_7_113665(_709091), -(isa(_709091, c_tptpcol_7_113665))], (3344 ^ _608059) ^ [_709279] : [isa(_709279, c_artifact), -(artifact(_709279))], (3350 ^ _608059) ^ [_709467] : [artifact(_709467), -(isa(_709467, c_artifact))], (3356 ^ _608059) ^ [_709655] : [isa(_709655, c_tptpcol_13_18664), -(tptpcol_13_18664(_709655))], (3362 ^ _608059) ^ [_709843] : [tptpcol_13_18664(_709843), -(isa(_709843, c_tptpcol_13_18664))], (3368 ^ _608059) ^ [_710031] : [isa(_710031, c_firstordercollection), -(firstordercollection(_710031))], (3374 ^ _608059) ^ [_710219] : [firstordercollection(_710219), -(isa(_710219, c_firstordercollection))], (3380 ^ _608059) ^ [_710392] : [-(natfunction(f_tptpquantityfn_14(_710392), c_tptpquantityfn_14))], (3382 ^ _608059) ^ [_710472] : [-(natargument(f_tptpquantityfn_14(_710472), n_1, _710472))], (3384 ^ _608059) ^ [_710553] : [-(tptpquantity(f_tptpquantityfn_14(_710553)))], (3386 ^ _608059) ^ [_710647] : [isa(_710647, c_supplies), -(supplies(_710647))], (3392 ^ _608059) ^ [_710835] : [supplies(_710835), -(isa(_710835, c_supplies))], (3398 ^ _608059) ^ [_711023] : [isa(_711023, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_711023))], (3404 ^ _608059) ^ [_711211] : [inanimateobject_nonnatural(_711211), -(isa(_711211, c_inanimateobject_nonnatural))], (3410 ^ _608059) ^ [_711399] : [isa(_711399, c_tptpcol_13_22071), -(tptpcol_13_22071(_711399))], (3416 ^ _608059) ^ [_711587] : [tptpcol_13_22071(_711587), -(isa(_711587, c_tptpcol_13_22071))], (3422 ^ _608059) ^ [_711775] : [isa(_711775, c_tptpcol_14_22072), -(tptpcol_14_22072(_711775))], (3428 ^ _608059) ^ [_711963] : [tptpcol_14_22072(_711963), -(isa(_711963, c_tptpcol_14_22072))], (3434 ^ _608059) ^ [_712151] : [isa(_712151, c_tptpcol_7_108547), -(tptpcol_7_108547(_712151))], (3440 ^ _608059) ^ [_712339] : [tptpcol_7_108547(_712339), -(isa(_712339, c_tptpcol_7_108547))], (3446 ^ _608059) ^ [_712527] : [isa(_712527, c_tptpcol_8_109059), -(tptpcol_8_109059(_712527))], (3452 ^ _608059) ^ [_712715] : [tptpcol_8_109059(_712715), -(isa(_712715, c_tptpcol_8_109059))], (3458 ^ _608059) ^ [_712903] : [isa(_712903, c_tptpcol_14_93774), -(tptpcol_14_93774(_712903))], (3464 ^ _608059) ^ [_713091] : [tptpcol_14_93774(_713091), -(isa(_713091, c_tptpcol_14_93774))], (3470 ^ _608059) ^ [_713279] : [isa(_713279, c_tptpcol_15_93775), -(tptpcol_15_93775(_713279))], (3476 ^ _608059) ^ [_713467] : [tptpcol_15_93775(_713467), -(isa(_713467, c_tptpcol_15_93775))], (3482 ^ _608059) ^ [_713655] : [isa(_713655, c_tptpcol_16_8886), -(tptpcol_16_8886(_713655))], (3488 ^ _608059) ^ [_713843] : [tptpcol_16_8886(_713843), -(isa(_713843, c_tptpcol_16_8886))], (3494 ^ _608059) ^ [_714045, _714047] : [orientation(_714047, _714045), -(orientationvector(_714045))], (3500 ^ _608059) ^ [_714253, _714255] : [orientation(_714255, _714253), -(spatialthing_localized(_714255))], (3506 ^ _608059) ^ [_714447] : [isa(_714447, c_orientationvector), -(orientationvector(_714447))], (3512 ^ _608059) ^ [_714635] : [orientationvector(_714635), -(isa(_714635, c_orientationvector))], (3518 ^ _608059) ^ [_714823] : [isa(_714823, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_714823))], (3524 ^ _608059) ^ [_715011] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_715011), -(isa(_715011, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _608059) ^ [_715213, _715215] : [tptptypes_9_824(_715215, _715213), -(firstordercollection(_715213))], (3536 ^ _608059) ^ [_715421, _715423] : [tptptypes_9_824(_715423, _715421), -(firstordercollection(_715423))], (3542 ^ _608059) ^ [_715629, _715631] : [tptptypes_7_396(_715631, _715629), -(firstordercollection(_715629))], (3548 ^ _608059) ^ [_715837, _715839] : [tptptypes_7_396(_715839, _715837), -(firstordercollection(_715839))], (3554 ^ _608059) ^ [_716031] : [isa(_716031, c_tptpcol_12_22055), -(tptpcol_12_22055(_716031))], (3560 ^ _608059) ^ [_716219] : [tptpcol_12_22055(_716219), -(isa(_716219, c_tptpcol_12_22055))], (3566 ^ _608059) ^ [_716407] : [isa(_716407, c_tptpcol_16_29490), -(tptpcol_16_29490(_716407))], (3572 ^ _608059) ^ [_716595] : [tptpcol_16_29490(_716595), -(isa(_716595, c_tptpcol_16_29490))], (3578 ^ _608059) ^ [_716797, _716799] : [tptp_9_720(_716799, _716797), -(tptpcol_5_28674(_716797))], (3584 ^ _608059) ^ [_717005, _717007] : [tptp_9_720(_717007, _717005), -(executionbyfiringsquad(_717007))], (3590 ^ _608059) ^ [_717199] : [isa(_717199, c_runningshorts), -(runningshorts(_717199))], (3596 ^ _608059) ^ [_717387] : [runningshorts(_717387), -(isa(_717387, c_runningshorts))], (3602 ^ _608059) ^ [_717575] : [isa(_717575, c_tptpcol_9_118019), -(tptpcol_9_118019(_717575))], (3608 ^ _608059) ^ [_717763] : [tptpcol_9_118019(_717763), -(isa(_717763, c_tptpcol_9_118019))], (3614 ^ _608059) ^ [_717951] : [isa(_717951, c_tptpcol_16_31868), -(tptpcol_16_31868(_717951))], (3620 ^ _608059) ^ [_718139] : [tptpcol_16_31868(_718139), -(isa(_718139, c_tptpcol_16_31868))], (3626 ^ _608059) ^ [_718327] : [isa(_718327, c_movement_translationevent), -(movement_translationevent(_718327))], (3632 ^ _608059) ^ [_718515] : [movement_translationevent(_718515), -(isa(_718515, c_movement_translationevent))], (3638 ^ _608059) ^ [_718717, _718719] : [directionoftranslation_throughout(_718719, _718717), -(unitvectorinterval(_718717))], (3644 ^ _608059) ^ [_718925, _718927] : [directionoftranslation_throughout(_718927, _718925), -(movement_translationevent(_718927))], (3650 ^ _608059) ^ [_719147, _719149, _719151] : [-(directionoftranslation_throughout(_719147, _719149)), directionoftranslation_throughout(_719151, _719149), subevents(_719151, _719147)], (3660 ^ _608059) ^ [_719442] : [isa(_719442, c_unitvectorinterval), -(unitvectorinterval(_719442))], (3666 ^ _608059) ^ [_719630] : [unitvectorinterval(_719630), -(isa(_719630, c_unitvectorinterval))], (3672 ^ _608059) ^ [_719818] : [isa(_719818, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_719818))], (3678 ^ _608059) ^ [_720006] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_720006), -(isa(_720006, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _608059) ^ [_720208, _720210] : [tptp_8_875(_720210, _720208), -(tptpcol_4_24578(_720208))], (3690 ^ _608059) ^ [_720416, _720418] : [tptp_8_875(_720418, _720416), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_720418))], (3696 ^ _608059) ^ [_720638, _720640, _720642] : [relationallexists(_720642, _720640, _720638), -(collection(_720638))], (3702 ^ _608059) ^ [_720868, _720870, _720872] : [relationallexists(_720872, _720870, _720868), -(collection(_720870))], (3708 ^ _608059) ^ [_721098, _721100, _721102] : [relationallexists(_721102, _721100, _721098), -(binarypredicate(_721102))], (3714 ^ _608059) ^ [_721300] : [isa(_721300, c_tptpcol_16_10258), -(tptpcol_16_10258(_721300))], (3720 ^ _608059) ^ [_721488] : [tptpcol_16_10258(_721488), -(isa(_721488, c_tptpcol_16_10258))], (3726 ^ _608059) ^ [_721676] : [isa(_721676, c_pushingababycarriage), -(pushingababycarriage(_721676))], (3732 ^ _608059) ^ [_721864] : [pushingababycarriage(_721864), -(isa(_721864, c_pushingababycarriage))], (3738 ^ _608059) ^ [_722052] : [isa(_722052, c_aspatialinformationstore), -(aspatialinformationstore(_722052))], (3744 ^ _608059) ^ [_722240] : [aspatialinformationstore(_722240), -(isa(_722240, c_aspatialinformationstore))], (3750 ^ _608059) ^ [_722428] : [isa(_722428, c_collection), -(collection(_722428))], (3756 ^ _608059) ^ [_722616] : [collection(_722616), -(isa(_722616, c_collection))], (3762 ^ _608059) ^ [_722804] : [isa(_722804, c_fixedordercollection), -(fixedordercollection(_722804))], (3768 ^ _608059) ^ [_722992] : [fixedordercollection(_722992), -(isa(_722992, c_fixedordercollection))], (3774 ^ _608059) ^ [_723180] : [isa(_723180, c_tptpcol_8_92164), -(tptpcol_8_92164(_723180))], (3780 ^ _608059) ^ [_723368] : [tptpcol_8_92164(_723368), -(isa(_723368, c_tptpcol_8_92164))], (3786 ^ _608059) ^ [_723556] : [isa(_723556, c_tptpcol_9_92165), -(tptpcol_9_92165(_723556))], (3792 ^ _608059) ^ [_723744] : [tptpcol_9_92165(_723744), -(isa(_723744, c_tptpcol_9_92165))], (3798 ^ _608059) ^ [_723932] : [isa(_723932, c_tptpcol_1_1), -(tptpcol_1_1(_723932))], (3804 ^ _608059) ^ [_724120] : [tptpcol_1_1(_724120), -(isa(_724120, c_tptpcol_1_1))], (3810 ^ _608059) ^ [_724308] : [isa(_724308, c_tptpcol_2_2), -(tptpcol_2_2(_724308))], (3816 ^ _608059) ^ [_724496] : [tptpcol_2_2(_724496), -(isa(_724496, c_tptpcol_2_2))], (3822 ^ _608059) ^ [_724698, _724700] : [tptptypes_7_691(_724700, _724698), -(firstordercollection(_724698))], (3828 ^ _608059) ^ [_724906, _724908] : [tptptypes_7_691(_724908, _724906), -(firstordercollection(_724908))], (3834 ^ _608059) ^ [_725100] : [isa(_725100, c_tptpcol_11_26887), -(tptpcol_11_26887(_725100))], (3840 ^ _608059) ^ [_725288] : [tptpcol_11_26887(_725288), -(isa(_725288, c_tptpcol_11_26887))], (3846 ^ _608059) ^ [_725476] : [isa(_725476, c_tptpcol_12_26919), -(tptpcol_12_26919(_725476))], (3852 ^ _608059) ^ [_725664] : [tptpcol_12_26919(_725664), -(isa(_725664, c_tptpcol_12_26919))], (3858 ^ _608059) ^ [_725866, _725868] : [tptptypes_6_818(_725868, _725866), -(firstordercollection(_725866))], (3864 ^ _608059) ^ [_726074, _726076] : [tptptypes_6_818(_726076, _726074), -(firstordercollection(_726076))], (3870 ^ _608059) ^ [_726282, _726284] : [tptptypes_7_819(_726284, _726282), -(firstordercollection(_726282))], (3876 ^ _608059) ^ [_726490, _726492] : [tptptypes_7_819(_726492, _726490), -(firstordercollection(_726492))], (3882 ^ _608059) ^ [_726684] : [isa(_726684, c_correctivelensprescription), -(correctivelensprescription(_726684))], (3888 ^ _608059) ^ [_726872] : [correctivelensprescription(_726872), -(isa(_726872, c_correctivelensprescription))], (3894 ^ _608059) ^ [_727074, _727076] : [products(_727076, _727074), -(artifact(_727074))], (3900 ^ _608059) ^ [_727282, _727284] : [products(_727284, _727282), -(creationordestructionevent(_727284))], (3906 ^ _608059) ^ [_727476] : [isa(_727476, c_issuingaprescription), -(issuingaprescription(_727476))], (3912 ^ _608059) ^ [_727664] : [issuingaprescription(_727664), -(isa(_727664, c_issuingaprescription))], (3918 ^ _608059) ^ [_727865, _727867, _727869] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_727869, _727867, _727865), c_subcollectionofwithrelationtotypefn))], (3920 ^ _608059) ^ [_727979, _727981, _727983] : [-(natargument(f_subcollectionofwithrelationtotypefn(_727983, _727981, _727979), n_1, _727983))], (3922 ^ _608059) ^ [_728094, _728096, _728098] : [-(natargument(f_subcollectionofwithrelationtotypefn(_728098, _728096, _728094), n_2, _728096))], (3924 ^ _608059) ^ [_728209, _728211, _728213] : [-(natargument(f_subcollectionofwithrelationtotypefn(_728213, _728211, _728209), n_3, _728209))], (3926 ^ _608059) ^ [_728324, _728326, _728328] : [-(collection(f_subcollectionofwithrelationtotypefn(_728328, _728326, _728324)))], (3928 ^ _608059) ^ [_728424] : [isa(_728424, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_728424))], (3934 ^ _608059) ^ [_728612] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_728612), -(isa(_728612, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _608059) ^ [_728800] : [isa(_728800, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_728800))], (3946 ^ _608059) ^ [_728988] : [mathematicalorcomputationalthing(_728988), -(isa(_728988, c_mathematicalorcomputationalthing))], (3952 ^ _608059) ^ [_729176] : [isa(_729176, c_tptpcol_10_118020), -(tptpcol_10_118020(_729176))], (3958 ^ _608059) ^ [_729364] : [tptpcol_10_118020(_729364), -(isa(_729364, c_tptpcol_10_118020))], (3964 ^ _608059) ^ [_729552] : [isa(_729552, c_tptpcol_11_118084), -(tptpcol_11_118084(_729552))], (3970 ^ _608059) ^ [_729740] : [tptpcol_11_118084(_729740), -(isa(_729740, c_tptpcol_11_118084))], (3976 ^ _608059) ^ [_729928] : [isa(_729928, c_terroristgroup), -(terroristgroup(_729928))], (3982 ^ _608059) ^ [_730116] : [terroristgroup(_730116), -(isa(_730116, c_terroristgroup))], (3988 ^ _608059) ^ [_730318, _730320] : [hasmembers(_730320, _730318), -(agent_generic(_730318))], (3994 ^ _608059) ^ [_730526, _730528] : [hasmembers(_730528, _730526), -(organization(_730528))], (4000 ^ _608059) ^ [_730720] : [isa(_730720, c_terrorist), -(terrorist(_730720))], (4006 ^ _608059) ^ [_730908] : [terrorist(_730908), -(isa(_730908, c_terrorist))], (4012 ^ _608059) ^ [_731109, _731111, _731113] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_731113, _731111, _731109), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _608059) ^ [_731223, _731225, _731227] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_731227, _731225, _731223), n_1, _731227))], (4016 ^ _608059) ^ [_731338, _731340, _731342] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_731342, _731340, _731338), n_2, _731340))], (4018 ^ _608059) ^ [_731453, _731455, _731457] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_731457, _731455, _731453), n_3, _731453))], (4020 ^ _608059) ^ [_731568, _731570, _731572] : [-(collection(f_subcollectionofwithrelationfromtypefn(_731572, _731570, _731568)))], (4022 ^ _608059) ^ [_731668] : [isa(_731668, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_731668))], (4028 ^ _608059) ^ [_731856] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_731856), -(isa(_731856, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _608059) ^ [_732058, _732060] : [prettystring(_732060, _732058), -(controlcharacterfreestring(_732058))], (4040 ^ _608059) ^ [_732266, _732268] : [prettystring(_732268, _732266), -(thing(_732268))], (4046 ^ _608059) ^ [_732460] : [isa(_732460, c_tptpcol_0_0), -(tptpcol_0_0(_732460))], (4052 ^ _608059) ^ [_732648] : [tptpcol_0_0(_732648), -(isa(_732648, c_tptpcol_0_0))], (4058 ^ _608059) ^ [_732836] : [isa(_732836, c_geolevel_3), -(geolevel_3(_732836))], (4064 ^ _608059) ^ [_733024] : [geolevel_3(_733024), -(isa(_733024, c_geolevel_3))], (4070 ^ _608059) ^ [_733212] : [isa(_733212, c_tptpcol_4_24578), -(tptpcol_4_24578(_733212))], (4076 ^ _608059) ^ [_733400] : [tptpcol_4_24578(_733400), -(isa(_733400, c_tptpcol_4_24578))], (4082 ^ _608059) ^ [_733588] : [isa(_733588, c_tptpcol_5_24579), -(tptpcol_5_24579(_733588))], (4088 ^ _608059) ^ [_733776] : [tptpcol_5_24579(_733776), -(isa(_733776, c_tptpcol_5_24579))], (4094 ^ _608059) ^ [_733964] : [isa(_733964, c_tptpcol_5_106498), -(tptpcol_5_106498(_733964))], (4100 ^ _608059) ^ [_734152] : [tptpcol_5_106498(_734152), -(isa(_734152, c_tptpcol_5_106498))], (4106 ^ _608059) ^ [_734340] : [isa(_734340, c_tptpcol_12_109157), -(tptpcol_12_109157(_734340))], (4112 ^ _608059) ^ [_734528] : [tptpcol_12_109157(_734528), -(isa(_734528, c_tptpcol_12_109157))], (4118 ^ _608059) ^ [_734716] : [isa(_734716, c_tptpcol_13_109173), -(tptpcol_13_109173(_734716))], (4124 ^ _608059) ^ [_734904] : [tptpcol_13_109173(_734904), -(isa(_734904, c_tptpcol_13_109173))], (4130 ^ _608059) ^ [_735092] : [isa(_735092, c_mathematicalthing), -(mathematicalthing(_735092))], (4136 ^ _608059) ^ [_735280] : [mathematicalthing(_735280), -(isa(_735280, c_mathematicalthing))], (4142 ^ _608059) ^ [_735468] : [isa(_735468, c_setorcollection), -(setorcollection(_735468))], (4148 ^ _608059) ^ [_735656] : [setorcollection(_735656), -(isa(_735656, c_setorcollection))], (4154 ^ _608059) ^ [_735844] : [isa(_735844, c_tptpcol_11_18631), -(tptpcol_11_18631(_735844))], (4160 ^ _608059) ^ [_736032] : [tptpcol_11_18631(_736032), -(isa(_736032, c_tptpcol_11_18631))], (4166 ^ _608059) ^ [_736220] : [isa(_736220, c_tptpcol_12_18663), -(tptpcol_12_18663(_736220))], (4172 ^ _608059) ^ [_736408] : [tptpcol_12_18663(_736408), -(isa(_736408, c_tptpcol_12_18663))], (4178 ^ _608059) ^ [_736610, _736612] : [tptptypes_8_400(_736612, _736610), -(firstordercollection(_736610))], (4184 ^ _608059) ^ [_736818, _736820] : [tptptypes_8_400(_736820, _736818), -(firstordercollection(_736820))], (4190 ^ _608059) ^ [_737026, _737028] : [tptptypes_9_401(_737028, _737026), -(firstordercollection(_737026))], (4196 ^ _608059) ^ [_737234, _737236] : [tptptypes_9_401(_737236, _737234), -(firstordercollection(_737236))], (4202 ^ _608059) ^ [_737413] : [-(natfunction(f_tptpquantityfn_13(_737413), c_tptpquantityfn_13))], (4204 ^ _608059) ^ [_737493] : [-(natargument(f_tptpquantityfn_13(_737493), n_1, _737493))], (4206 ^ _608059) ^ [_737574] : [-(tptpquantity(f_tptpquantityfn_13(_737574)))], (4208 ^ _608059) ^ [_737682, _737684] : [borderson(_737684, _737682), -(geographicalregion(_737682))], (4214 ^ _608059) ^ [_737890, _737892] : [borderson(_737892, _737890), -(geographicalregion(_737892))], (4220 ^ _608059) ^ [_738098, _738100] : [borderson(_738100, _738098), -(borderson(_738098, _738100))], (4226 ^ _608059) ^ [_738278] : [borderson(_738278, _738278)], (4228 ^ _608059) ^ [_738371] : [isa(_738371, c_tptpcol_14_92264), -(tptpcol_14_92264(_738371))], (4234 ^ _608059) ^ [_738559] : [tptpcol_14_92264(_738559), -(isa(_738559, c_tptpcol_14_92264))], (4240 ^ _608059) ^ [_738747] : [isa(_738747, c_tptpcol_15_92268), -(tptpcol_15_92268(_738747))], (4246 ^ _608059) ^ [_738935] : [tptpcol_15_92268(_738935), -(isa(_738935, c_tptpcol_15_92268))], (4252 ^ _608059) ^ [_739123] : [isa(_739123, c_tptpcol_6_116738), -(tptpcol_6_116738(_739123))], (4258 ^ _608059) ^ [_739311] : [tptpcol_6_116738(_739311), -(isa(_739311, c_tptpcol_6_116738))], (4264 ^ _608059) ^ [_739513, _739515] : [tptptypes_5_387(_739515, _739513), -(firstordercollection(_739513))], (4270 ^ _608059) ^ [_739721, _739723] : [tptptypes_5_387(_739723, _739721), -(firstordercollection(_739723))], (4276 ^ _608059) ^ [_739929, _739931] : [tptptypes_6_388(_739931, _739929), -(firstordercollection(_739929))], (4282 ^ _608059) ^ [_740137, _740139] : [tptptypes_6_388(_740139, _740137), -(firstordercollection(_740139))], (4288 ^ _608059) ^ [_740331] : [isa(_740331, c_shavingrazor_manual), -(shavingrazor_manual(_740331))], (4294 ^ _608059) ^ [_740519] : [shavingrazor_manual(_740519), -(isa(_740519, c_shavingrazor_manual))], (4300 ^ _608059) ^ [_740707] : [isa(_740707, c_tptpcol_9_109060), -(tptpcol_9_109060(_740707))], (4306 ^ _608059) ^ [_740895] : [tptpcol_9_109060(_740895), -(isa(_740895, c_tptpcol_9_109060))], (4312 ^ _608059) ^ [_741083] : [isa(_741083, c_tptpcol_10_109061), -(tptpcol_10_109061(_741083))], (4318 ^ _608059) ^ [_741271] : [tptpcol_10_109061(_741271), -(isa(_741271, c_tptpcol_10_109061))], (4324 ^ _608059) ^ [_741459] : [isa(_741459, c_executionbyfiringsquad), -(executionbyfiringsquad(_741459))], (4330 ^ _608059) ^ [_741647] : [executionbyfiringsquad(_741647), -(isa(_741647, c_executionbyfiringsquad))], (4336 ^ _608059) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _608059) ^ [_741888] : [isa(_741888, c_navypersonnel), -(navypersonnel(_741888))], (4344 ^ _608059) ^ [_742076] : [navypersonnel(_742076), -(isa(_742076, c_navypersonnel))], (4350 ^ _608059) ^ [_742264] : [isa(_742264, c_tptpcol_12_92262), -(tptpcol_12_92262(_742264))], (4356 ^ _608059) ^ [_742452] : [tptpcol_12_92262(_742452), -(isa(_742452, c_tptpcol_12_92262))], (4362 ^ _608059) ^ [_742640] : [isa(_742640, c_thing), -(thing(_742640))], (4368 ^ _608059) ^ [_742828] : [thing(_742828), -(isa(_742828, c_thing))], (4374 ^ _608059) ^ [_743016] : [isa(_743016, c_computerdataartifact), -(computerdataartifact(_743016))], (4380 ^ _608059) ^ [_743204] : [computerdataartifact(_743204), -(isa(_743204, c_computerdataartifact))], (4386 ^ _608059) ^ [_743392] : [isa(_743392, c_applicationcontext), -(applicationcontext(_743392))], (4392 ^ _608059) ^ [_743580] : [applicationcontext(_743580), -(isa(_743580, c_applicationcontext))], (4398 ^ _608059) ^ [_743782, _743784] : [inregion(_743784, _743782), -(spatialthing_nonsituational(_743782))], (4404 ^ _608059) ^ [_743990, _743992] : [inregion(_743992, _743990), -(spatialthing_nonsituational(_743992))], (4410 ^ _608059) ^ [_744212, _744214, _744216] : [-(inregion(_744216, _744212)), inregion(_744216, _744214), inregion(_744214, _744212)], (4420 ^ _608059) ^ [_744507] : [spatialthing_nonsituational(_744507), -(inregion(_744507, _744507))], (4426 ^ _608059) ^ [_744680] : [-(natfunction(f_tptpquantityfn_1(_744680), c_tptpquantityfn_1))], (4428 ^ _608059) ^ [_744760] : [-(natargument(f_tptpquantityfn_1(_744760), n_1, _744760))], (4430 ^ _608059) ^ [_744841] : [-(tptpquantity(f_tptpquantityfn_1(_744841)))], (4432 ^ _608059) ^ [_744935] : [isa(_744935, c_furpelt), -(furpelt(_744935))], (4438 ^ _608059) ^ [_745123] : [furpelt(_745123), -(isa(_745123, c_furpelt))], (4444 ^ _608059) ^ [_745325, _745327] : [tptpofobject(_745327, _745325), -(tptpquantity(_745325))], (4450 ^ _608059) ^ [_745533, _745535] : [tptpofobject(_745535, _745533), -(partiallytangible(_745535))], (4456 ^ _608059) ^ [_745755, _745757, _745759] : [relationallinstance(_745759, _745757, _745755), -(thing(_745755))], (4462 ^ _608059) ^ [_745985, _745987, _745989] : [relationallinstance(_745989, _745987, _745985), -(collection(_745987))], (4468 ^ _608059) ^ [_746215, _746217, _746219] : [relationallinstance(_746219, _746217, _746215), -(binarypredicate(_746219))], (4474 ^ _608059) ^ [_746417] : [isa(_746417, c_tptpcol_13_93766), -(tptpcol_13_93766(_746417))], (4480 ^ _608059) ^ [_746605] : [tptpcol_13_93766(_746605), -(isa(_746605, c_tptpcol_13_93766))], (4486 ^ _608059) ^ [_746793] : [isa(_746793, c_tptpcol_9_40196), -(tptpcol_9_40196(_746793))], (4492 ^ _608059) ^ [_746981] : [tptpcol_9_40196(_746981), -(isa(_746981, c_tptpcol_9_40196))], (4498 ^ _608059) ^ [_747169] : [isa(_747169, c_tptpcol_10_40324), -(tptpcol_10_40324(_747169))], (4504 ^ _608059) ^ [_747357] : [tptpcol_10_40324(_747357), -(isa(_747357, c_tptpcol_10_40324))], (4510 ^ _608059) ^ [_747545] : [isa(_747545, c_tptpcol_7_72707), -(tptpcol_7_72707(_747545))], (4516 ^ _608059) ^ [_747733] : [tptpcol_7_72707(_747733), -(isa(_747733, c_tptpcol_7_72707))], (4522 ^ _608059) ^ [_747921] : [isa(_747921, c_tptpcol_8_72708), -(tptpcol_8_72708(_747921))], (4528 ^ _608059) ^ [_748109] : [tptpcol_8_72708(_748109), -(isa(_748109, c_tptpcol_8_72708))], (4534 ^ _608059) ^ [_748297] : [isa(_748297, c_tptpcol_11_93764), -(tptpcol_11_93764(_748297))], (4540 ^ _608059) ^ [_748485] : [tptpcol_11_93764(_748485), -(isa(_748485, c_tptpcol_11_93764))], (4546 ^ _608059) ^ [_748673] : [isa(_748673, c_tptpcol_12_93765), -(tptpcol_12_93765(_748673))], (4552 ^ _608059) ^ [_748861] : [tptpcol_12_93765(_748861), -(isa(_748861, c_tptpcol_12_93765))], (4558 ^ _608059) ^ [_749049] : [isa(_749049, c_tptpcol_4_114689), -(tptpcol_4_114689(_749049))], (4564 ^ _608059) ^ [_749237] : [tptpcol_4_114689(_749237), -(isa(_749237, c_tptpcol_4_114689))], (4570 ^ _608059) ^ [_749425] : [isa(_749425, c_tptpcol_5_114690), -(tptpcol_5_114690(_749425))], (4576 ^ _608059) ^ [_749613] : [tptpcol_5_114690(_749613), -(isa(_749613, c_tptpcol_5_114690))], (4582 ^ _608059) ^ [_749801] : [isa(_749801, c_tptpcol_3_98305), -(tptpcol_3_98305(_749801))], (4588 ^ _608059) ^ [_749989] : [tptpcol_3_98305(_749989), -(isa(_749989, c_tptpcol_3_98305))], (4594 ^ _608059) ^ [_750177] : [isa(_750177, c_tptpcol_4_106497), -(tptpcol_4_106497(_750177))], (4600 ^ _608059) ^ [_750365] : [tptpcol_4_106497(_750365), -(isa(_750365, c_tptpcol_4_106497))], (4606 ^ _608059) ^ [_750580, _750582, _750584, _750586] : [-(natfunction(f_relationexistsallfn(_750586, _750584, _750582, _750580), c_relationexistsallfn))], (4608 ^ _608059) ^ [_750711, _750713, _750715, _750717] : [-(natargument(f_relationexistsallfn(_750717, _750715, _750713, _750711), n_1, _750717))], (4610 ^ _608059) ^ [_750843, _750845, _750847, _750849] : [-(natargument(f_relationexistsallfn(_750849, _750847, _750845, _750843), n_2, _750847))], (4612 ^ _608059) ^ [_750975, _750977, _750979, _750981] : [-(natargument(f_relationexistsallfn(_750981, _750979, _750977, _750975), n_3, _750977))], (4614 ^ _608059) ^ [_751107, _751109, _751111, _751113] : [-(natargument(f_relationexistsallfn(_751113, _751111, _751109, _751107), n_4, _751107))], (4616 ^ _608059) ^ [_751239, _751241, _751243, _751245] : [-(thing(f_relationexistsallfn(_751245, _751243, _751241, _751239)))], (4618 ^ _608059) ^ [_751356, _751358] : [resultisaarg(_751358, _751356), -(positiveinteger(_751356))], (4624 ^ _608059) ^ [_751564, _751566] : [resultisaarg(_751566, _751564), -(function_denotational(_751566))], (4630 ^ _608059) ^ [_751772, _751774] : [tptptypes_7_389(_751774, _751772), -(firstordercollection(_751772))], (4636 ^ _608059) ^ [_751980, _751982] : [tptptypes_7_389(_751982, _751980), -(firstordercollection(_751982))], (4642 ^ _608059) ^ [_752188, _752190] : [tptptypes_8_390(_752190, _752188), -(firstordercollection(_752188))], (4648 ^ _608059) ^ [_752396, _752398] : [tptptypes_8_390(_752398, _752396), -(firstordercollection(_752398))], (4654 ^ _608059) ^ [_752604, _752606] : [tptptypes_8_692(_752606, _752604), -(firstordercollection(_752604))], (4660 ^ _608059) ^ [_752812, _752814] : [tptptypes_8_692(_752814, _752812), -(firstordercollection(_752814))], (4666 ^ _608059) ^ [_753020, _753022] : [tptptypes_9_693(_753022, _753020), -(firstordercollection(_753020))], (4672 ^ _608059) ^ [_753228, _753230] : [tptptypes_9_693(_753230, _753228), -(firstordercollection(_753230))], (4678 ^ _608059) ^ [_753422] : [isa(_753422, c_tptpcol_11_40388), -(tptpcol_11_40388(_753422))], (4684 ^ _608059) ^ [_753610] : [tptpcol_11_40388(_753610), -(isa(_753610, c_tptpcol_11_40388))], (4690 ^ _608059) ^ [_753798] : [isa(_753798, c_marriagelicensedocument), -(marriagelicensedocument(_753798))], (4696 ^ _608059) ^ [_753986] : [marriagelicensedocument(_753986), -(isa(_753986, c_marriagelicensedocument))], (4702 ^ _608059) ^ [_754174] : [isa(_754174, c_tptpcol_1_65536), -(tptpcol_1_65536(_754174))], (4708 ^ _608059) ^ [_754362] : [tptpcol_1_65536(_754362), -(isa(_754362, c_tptpcol_1_65536))], (4714 ^ _608059) ^ [_754550] : [isa(_754550, c_tptpcol_2_98304), -(tptpcol_2_98304(_754550))], (4720 ^ _608059) ^ [_754738] : [tptpcol_2_98304(_754738), -(isa(_754738, c_tptpcol_2_98304))], (4726 ^ _608059) ^ [_754926] : [isa(_754926, c_tptpcol_10_92166), -(tptpcol_10_92166(_754926))], (4732 ^ _608059) ^ [_755114] : [tptpcol_10_92166(_755114), -(isa(_755114, c_tptpcol_10_92166))], (4738 ^ _608059) ^ [_755302] : [isa(_755302, c_tptpcol_11_92230), -(tptpcol_11_92230(_755302))], (4744 ^ _608059) ^ [_755490] : [tptpcol_11_92230(_755490), -(isa(_755490, c_tptpcol_11_92230))], (4750 ^ _608059) ^ [_755678] : [isa(_755678, c_orderingpredicate), -(orderingpredicate(_755678))], (4756 ^ _608059) ^ [_755866] : [orderingpredicate(_755866), -(isa(_755866, c_orderingpredicate))], (4762 ^ _608059) ^ [_756054] : [isa(_756054, c_tptpcol_9_18439), -(tptpcol_9_18439(_756054))], (4768 ^ _608059) ^ [_756242] : [tptpcol_9_18439(_756242), -(isa(_756242, c_tptpcol_9_18439))], (4774 ^ _608059) ^ [_756430] : [isa(_756430, c_tptpcol_10_18567), -(tptpcol_10_18567(_756430))], (4780 ^ _608059) ^ [_756618] : [tptpcol_10_18567(_756618), -(isa(_756618, c_tptpcol_10_18567))], (4786 ^ _608059) ^ [_756806] : [isa(_756806, c_tptpcol_2_65537), -(tptpcol_2_65537(_756806))], (4792 ^ _608059) ^ [_756994] : [tptpcol_2_65537(_756994), -(isa(_756994, c_tptpcol_2_65537))], (4798 ^ _608059) ^ [_757182] : [isa(_757182, c_tptpcol_3_81921), -(tptpcol_3_81921(_757182))], (4804 ^ _608059) ^ [_757370] : [tptpcol_3_81921(_757370), -(isa(_757370, c_tptpcol_3_81921))], (4810 ^ _608059) ^ [_757558] : [isa(_757558, c_artsupplies), -(artsupplies(_757558))], (4816 ^ _608059) ^ [_757746] : [artsupplies(_757746), -(isa(_757746, c_artsupplies))], (4822 ^ _608059) ^ [_757934] : [isa(_757934, c_enduringthing_localized), -(enduringthing_localized(_757934))], (4828 ^ _608059) ^ [_758122] : [enduringthing_localized(_758122), -(isa(_758122, c_enduringthing_localized))], (4834 ^ _608059) ^ [_758310] : [isa(_758310, c_location_underspecified), -(location_underspecified(_758310))], (4840 ^ _608059) ^ [_758498] : [location_underspecified(_758498), -(isa(_758498, c_location_underspecified))], (4846 ^ _608059) ^ [_758686] : [isa(_758686, c_trajector_underspecified), -(trajector_underspecified(_758686))], (4852 ^ _608059) ^ [_758874] : [trajector_underspecified(_758874), -(isa(_758874, c_trajector_underspecified))], (4858 ^ _608059) ^ [_759062] : [isa(_759062, c_individual), -(individual(_759062))], (4864 ^ _608059) ^ [_759250] : [individual(_759250), -(isa(_759250, c_individual))], (4870 ^ _608059) ^ [_759438] : [isa(_759438, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_759438))], (4876 ^ _608059) ^ [_759626] : [partiallyintangibleindividual(_759626), -(isa(_759626, c_partiallyintangibleindividual))], (4882 ^ _608059) ^ [_759814] : [isa(_759814, c_tptpcol_10_22022), -(tptpcol_10_22022(_759814))], (4888 ^ _608059) ^ [_760002] : [tptpcol_10_22022(_760002), -(isa(_760002, c_tptpcol_10_22022))], (4894 ^ _608059) ^ [_760190] : [isa(_760190, c_tptpcol_11_22023), -(tptpcol_11_22023(_760190))], (4900 ^ _608059) ^ [_760378] : [tptpcol_11_22023(_760378), -(isa(_760378, c_tptpcol_11_22023))], (4906 ^ _608059) ^ [_760566] : [isa(_760566, c_tptpcol_5_20483), -(tptpcol_5_20483(_760566))], (4912 ^ _608059) ^ [_760754] : [tptpcol_5_20483(_760754), -(isa(_760754, c_tptpcol_5_20483))], (4918 ^ _608059) ^ [_760942] : [isa(_760942, c_tptpcol_13_72791), -(tptpcol_13_72791(_760942))], (4924 ^ _608059) ^ [_761130] : [tptpcol_13_72791(_761130), -(isa(_761130, c_tptpcol_13_72791))], (4930 ^ _608059) ^ [_761318] : [isa(_761318, c_tptpcol_14_72792), -(tptpcol_14_72792(_761318))], (4936 ^ _608059) ^ [_761506] : [tptpcol_14_72792(_761506), -(isa(_761506, c_tptpcol_14_72792))], (4942 ^ _608059) ^ [_761694] : [isa(_761694, c_ridgeline_topographical), -(ridgeline_topographical(_761694))], (4948 ^ _608059) ^ [_761882] : [ridgeline_topographical(_761882), -(isa(_761882, c_ridgeline_topographical))], (4954 ^ _608059) ^ [_762070] : [isa(_762070, c_tptpcol_4_16387), -(tptpcol_4_16387(_762070))], (4960 ^ _608059) ^ [_762258] : [tptpcol_4_16387(_762258), -(isa(_762258, c_tptpcol_4_16387))], (4966 ^ _608059) ^ [_762446] : [isa(_762446, c_tptpcol_5_16388), -(tptpcol_5_16388(_762446))], (4972 ^ _608059) ^ [_762634] : [tptpcol_5_16388(_762634), -(isa(_762634, c_tptpcol_5_16388))], (4978 ^ _608059) ^ [_762822] : [isa(_762822, c_tptpcol_8_22020), -(tptpcol_8_22020(_762822))], (4984 ^ _608059) ^ [_763010] : [tptpcol_8_22020(_763010), -(isa(_763010, c_tptpcol_8_22020))], (4990 ^ _608059) ^ [_763198] : [isa(_763198, c_tptpcol_9_22021), -(tptpcol_9_22021(_763198))], (4996 ^ _608059) ^ [_763386] : [tptpcol_9_22021(_763386), -(isa(_763386, c_tptpcol_9_22021))], (5002 ^ _608059) ^ [_763574] : [isa(_763574, c_transitivebinarypredicate), -(transitivebinarypredicate(_763574))], (5008 ^ _608059) ^ [_763762] : [transitivebinarypredicate(_763762), -(isa(_763762, c_transitivebinarypredicate))], (5014 ^ _608059) ^ [_763964, _763966] : [geographicalsubregions(_763966, _763964), -(geographicalregion(_763964))], (5020 ^ _608059) ^ [_764172, _764174] : [geographicalsubregions(_764174, _764172), -(geographicalregion(_764174))], (5026 ^ _608059) ^ [_764394, _764396, _764398] : [-(geographicalsubregions(_764398, _764394)), geographicalsubregions(_764398, _764396), geographicalsubregions(_764396, _764394)], (5036 ^ _608059) ^ [_764689] : [geographicalregion(_764689), -(geographicalsubregions(_764689, _764689))], (5042 ^ _608059) ^ [_764877] : [isa(_764877, c_tptpcol_12_40420), -(tptpcol_12_40420(_764877))], (5048 ^ _608059) ^ [_765065] : [tptpcol_12_40420(_765065), -(isa(_765065, c_tptpcol_12_40420))], (5054 ^ _608059) ^ [_765253] : [isa(_765253, c_tptpcol_13_40421), -(tptpcol_13_40421(_765253))], (5060 ^ _608059) ^ [_765441] : [tptpcol_13_40421(_765441), -(isa(_765441, c_tptpcol_13_40421))], (5066 ^ _608059) ^ [_765629] : [isa(_765629, c_tptpcol_6_92162), -(tptpcol_6_92162(_765629))], (5072 ^ _608059) ^ [_765817] : [tptpcol_6_92162(_765817), -(isa(_765817, c_tptpcol_6_92162))], (5078 ^ _608059) ^ [_766005] : [isa(_766005, c_tptpcol_7_93186), -(tptpcol_7_93186(_766005))], (5084 ^ _608059) ^ [_766193] : [tptpcol_7_93186(_766193), -(isa(_766193, c_tptpcol_7_93186))], (5090 ^ _608059) ^ [_766395, _766397] : [most(_766397, _766395), -(setorcollection(_766395))], (5096 ^ _608059) ^ [_766603, _766605] : [most(_766605, _766603), -(setorcollection(_766603))], (5102 ^ _608059) ^ [_766811, _766813] : [most(_766813, _766811), -(setorcollection(_766813))], (5108 ^ _608059) ^ [_767019, _767021] : [most(_767021, _767019), -(setorcollection(_767021))], (5114 ^ _608059) ^ [_767213] : [setorcollection(_767213), -(most(_767213, _767213))], (5120 ^ _608059) ^ [_767401] : [setorcollection(_767401), -(most(_767401, _767401))], (5126 ^ _608059) ^ [_767617, _767619, _767621] : [-(most(_767621, _767617)), most(_767621, _767619), subsetof(_767619, _767617)], (5136 ^ _608059) ^ [_767940, _767942, _767944] : [-(most(_767944, _767940)), most(_767944, _767942), subsetof(_767942, _767940)], (5146 ^ _608059) ^ [_768249, _768251] : [subsetof(_768251, _768249), -(setorcollection(_768249))], (5152 ^ _608059) ^ [_768457, _768459] : [subsetof(_768459, _768457), -(setorcollection(_768459))], (5158 ^ _608059) ^ [_768679, _768681, _768683] : [-(subsetof(_768683, _768679)), subsetof(_768683, _768681), subsetof(_768681, _768679)], (5168 ^ _608059) ^ [_768974] : [setorcollection(_768974), -(subsetof(_768974, _768974))], (5174 ^ _608059) ^ [_769190, _769192, _769194] : [-(subsetof(_769190, _769192)), subsetof(_769194, _769192), subsetof(_769190, _769194)], (5184 ^ _608059) ^ [_769513, _769515, _769517] : [-(subsetof(_769517, _769513)), subsetof(_769517, _769515), subsetof(_769515, _769513)], (5194 ^ _608059) ^ [_769836, _769838, _769840] : [-(subsetof(_769840, _769836)), subsetof(_769840, _769838), subsetof(_769838, _769836)], (5204 ^ _608059) ^ [_770145, _770147] : [genlpreds(_770147, _770145), -(predicate(_770145))], (5210 ^ _608059) ^ [_770353, _770355] : [genlpreds(_770355, _770353), -(predicate(_770353))], (5216 ^ _608059) ^ [_770561, _770563] : [genlpreds(_770563, _770561), -(predicate(_770563))], (5222 ^ _608059) ^ [_770769, _770771] : [genlpreds(_770771, _770769), -(predicate(_770771))], (5228 ^ _608059) ^ [_770991, _770993, _770995] : [-(genlpreds(_770995, _770991)), genlpreds(_770995, _770993), genlpreds(_770993, _770991)], (5238 ^ _608059) ^ [_771286] : [predicate(_771286), -(genlpreds(_771286, _771286))], (5244 ^ _608059) ^ [_771474] : [predicate(_771474), -(genlpreds(_771474, _771474))], (5250 ^ _608059) ^ [_771676, _771678] : [genlinverse(_771678, _771676), -(binarypredicate(_771676))], (5256 ^ _608059) ^ [_771884, _771886] : [genlinverse(_771886, _771884), -(binarypredicate(_771886))], (5262 ^ _608059) ^ [_772106, _772108, _772110] : [-(genlinverse(_772106, _772108)), genlinverse(_772110, _772108), genlpreds(_772106, _772110)], (5272 ^ _608059) ^ [_772429, _772431, _772433] : [-(genlinverse(_772433, _772429)), genlinverse(_772433, _772431), genlpreds(_772431, _772429)], (5282 ^ _608059) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _608059) ^ [_772777] : [isa(_772777, c_microtheory), -(microtheory(_772777))], (5290 ^ _608059) ^ [_772965] : [microtheory(_772965), -(isa(_772965, c_microtheory))], (5296 ^ _608059) ^ [_773138] : [-(natfunction(f_urlfn(_773138), c_urlfn))], (5298 ^ _608059) ^ [_773218] : [-(natargument(f_urlfn(_773218), n_1, _773218))], (5300 ^ _608059) ^ [_773299] : [-(uniformresourcelocator(f_urlfn(_773299)))], (5302 ^ _608059) ^ [_773378] : [-(natfunction(f_urlreferentfn(_773378), c_urlreferentfn))], (5304 ^ _608059) ^ [_773458] : [-(natargument(f_urlreferentfn(_773458), n_1, _773458))], (5306 ^ _608059) ^ [_773539] : [-(computerdataartifact(f_urlreferentfn(_773539)))], (5308 ^ _608059) ^ [_773632, _773634] : [-(natfunction(f_contentmtofcdafromeventfn(_773634, _773632), c_contentmtofcdafromeventfn))], (5310 ^ _608059) ^ [_773729, _773731] : [-(natargument(f_contentmtofcdafromeventfn(_773731, _773729), n_1, _773731))], (5312 ^ _608059) ^ [_773827, _773829] : [-(natargument(f_contentmtofcdafromeventfn(_773829, _773827), n_2, _773827))], (5314 ^ _608059) ^ [_773925, _773927] : [-(microtheory(f_contentmtofcdafromeventfn(_773927, _773925)))], (5316 ^ _608059) ^ [_774036, _774038] : [isa(_774038, _774036), -(collection(_774036))], (5322 ^ _608059) ^ [_774244, _774246] : [isa(_774246, _774244), -(collection(_774244))], (5328 ^ _608059) ^ [_774452, _774454] : [isa(_774454, _774452), -(thing(_774454))], (5334 ^ _608059) ^ [_774660, _774662] : [isa(_774662, _774660), -(thing(_774662))], (5340 ^ _608059) ^ [_774882, _774884, _774886] : [-(isa(_774886, _774882)), isa(_774886, _774884), genls(_774884, _774882)], (5350 ^ _608059) ^ [_775177] : [isa(_775177, c_inanimateobject), -(inanimateobject(_775177))], (5356 ^ _608059) ^ [_775365] : [inanimateobject(_775365), -(isa(_775365, c_inanimateobject))], (5362 ^ _608059) ^ [_775553] : [isa(_775553, c_tptpcol_9_72709), -(tptpcol_9_72709(_775553))], (5368 ^ _608059) ^ [_775741] : [tptpcol_9_72709(_775741), -(isa(_775741, c_tptpcol_9_72709))], (5374 ^ _608059) ^ [_775929] : [isa(_775929, c_tptpcol_10_72710), -(tptpcol_10_72710(_775929))], (5380 ^ _608059) ^ [_776117] : [tptpcol_10_72710(_776117), -(isa(_776117, c_tptpcol_10_72710))], (5386 ^ _608059) ^ [_776305] : [isa(_776305, c_tptpcol_14_40429), -(tptpcol_14_40429(_776305))], (5392 ^ _608059) ^ [_776493] : [tptpcol_14_40429(_776493), -(isa(_776493, c_tptpcol_14_40429))], (5398 ^ _608059) ^ [_776681] : [isa(_776681, c_tptpcol_15_40430), -(tptpcol_15_40430(_776681))], (5404 ^ _608059) ^ [_776869] : [tptpcol_15_40430(_776869), -(isa(_776869, c_tptpcol_15_40430))], (5410 ^ _608059) ^ [_777071, _777073] : [genls(_777073, _777071), -(collection(_777071))], (5416 ^ _608059) ^ [_777279, _777281] : [genls(_777281, _777279), -(collection(_777279))], (5422 ^ _608059) ^ [_777487, _777489] : [genls(_777489, _777487), -(collection(_777489))], (5428 ^ _608059) ^ [_777695, _777697] : [genls(_777697, _777695), -(collection(_777697))], (5434 ^ _608059) ^ [_777917, _777919, _777921] : [-(genls(_777921, _777917)), genls(_777921, _777919), genls(_777919, _777917)], (5444 ^ _608059) ^ [_778212] : [collection(_778212), -(genls(_778212, _778212))], (5450 ^ _608059) ^ [_778400] : [collection(_778400), -(genls(_778400, _778400))], (5456 ^ _608059) ^ [_778616, _778618, _778620] : [-(genls(_778616, _778618)), genls(_778620, _778618), genls(_778616, _778620)], (5466 ^ _608059) ^ [_778939, _778941, _778943] : [-(genls(_778943, _778939)), genls(_778943, _778941), genls(_778941, _778939)], (5476 ^ _608059) ^ [_779234] : [isa(_779234, c_partiallytangible), -(partiallytangible(_779234))], (5482 ^ _608059) ^ [_779422] : [partiallytangible(_779422), -(isa(_779422, c_partiallytangible))], (5488 ^ _608059) ^ [_779610] : [isa(_779610, c_intangible), -(intangible(_779610))], (5494 ^ _608059) ^ [_779798] : [intangible(_779798), -(isa(_779798, c_intangible))], (5500 ^ _608059) ^ [_780000, _780002] : [disjointwith(_780002, _780000), -(collection(_780000))], (5506 ^ _608059) ^ [_780208, _780210] : [disjointwith(_780210, _780208), -(collection(_780210))], (5512 ^ _608059) ^ [_780416, _780418] : [disjointwith(_780418, _780416), -(disjointwith(_780416, _780418))], (5518 ^ _608059) ^ [_780640, _780642, _780644] : [-(disjointwith(_780644, _780640)), disjointwith(_780644, _780642), genls(_780640, _780642)], (5528 ^ _608059) ^ [_780963, _780965, _780967] : [-(disjointwith(_780963, _780965)), disjointwith(_780967, _780965), genls(_780963, _780967)], (5538 ^ _608059) ^ [_781272, _781274] : [-(mtvisible(_781272)), mtvisible(_781274), genlmt(_781274, _781272)], (5548 ^ _608059) ^ [_781567, _781569] : [genlmt(_781569, _781567), -(microtheory(_781567))], (5554 ^ _608059) ^ [_781775, _781777] : [genlmt(_781777, _781775), -(microtheory(_781775))], (5560 ^ _608059) ^ [_781983, _781985] : [genlmt(_781985, _781983), -(microtheory(_781985))], (5566 ^ _608059) ^ [_782191, _782193] : [genlmt(_782193, _782191), -(microtheory(_782193))], (5572 ^ _608059) ^ [_782413, _782415, _782417] : [-(genlmt(_782417, _782413)), genlmt(_782417, _782415), genlmt(_782415, _782413)], (5582 ^ _608059) ^ [_782708] : [microtheory(_782708), -(genlmt(_782708, _782708))], (5594 ^ _608059) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _608059) ^ [_782896] : [microtheory(_782896), -(genlmt(_782896, _782896))]], input).
% 0.48/1.35 ncf('1',plain,[tptpofobject(c_tptpnavypersonnel_3, f_tptpquantityfn_6(n_414))],start(5598 ^ 0)).
% 0.48/1.35 ncf('1.1',plain,[-(tptpofobject(c_tptpnavypersonnel_3, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(c_tptpnavypersonnel_3)],extension(1934 ^ 1,bind([[_663067], [c_tptpnavypersonnel_3]]))).
% 0.48/1.35 ncf('1.1.1',plain,[-(mtvisible(c_tptp_member698_mt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt)],extension(5538 ^ 2,bind([[_781272, _781274], [c_tptp_member698_mt, c_tptp_spindlecollectormt]]))).
% 0.48/1.35 ncf('1.1.1.1',plain,[-(mtvisible(c_tptp_spindlecollectormt))],extension(5596 ^ 3)).
% 0.48/1.35 ncf('1.1.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))],extension(1744 ^ 3)).
% 0.48/1.35 ncf('1.1.2',plain,[-(militaryperson(c_tptpnavypersonnel_3)), navypersonnel(c_tptpnavypersonnel_3)],extension(1100 ^ 2,bind([[_639363], [c_tptpnavypersonnel_3]]))).
% 0.48/1.35 ncf('1.1.2.1',plain,[-(navypersonnel(c_tptpnavypersonnel_3)), mtvisible(c_tptp_member1672_mt)],extension(354 ^ 3)).
% 0.48/1.35 ncf('1.1.2.1.1',plain,[-(mtvisible(c_tptp_member1672_mt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt)],extension(5538 ^ 4,bind([[_781272, _781274], [c_tptp_member1672_mt, c_tptp_spindlecollectormt]]))).
% 0.48/1.35 ncf('1.1.2.1.1.1',plain,[-(mtvisible(c_tptp_spindlecollectormt))],extension(5596 ^ 5)).
% 0.48/1.35 ncf('1.1.2.1.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))],extension(1766 ^ 5)).
% 0.48/1.35 %-----------------------------------------------------
% 0.48/1.35 End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------