%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR028+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n007.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri May 19 10:26:16 EDT 2023
% Result : Theorem 0.41s 1.39s
% Output : Proof 0.41s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR028+2 : TPTP v8.1.2. Released v3.4.0.
% 0.03/0.13 % Command : nanocop.sh %s %d
% 0.13/0.34 % Computer : n007.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Thu May 18 23:50:08 EDT 2023
% 0.13/0.34 % CPUTime :
% 0.41/1.39
% 0.41/1.39 /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.41/1.39 Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.41/1.39 %-----------------------------------------------------
% 0.41/1.39 ncf(matrix, plain, [(5596 ^ _592390) ^ [] : [-(mtvisible(c_tptp_member2089_mt))], (5598 ^ _592390) ^ [] : [individual(c_tptptptpcol_16_25985)], (2 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592390) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592390) ^ [_592595] : [intangible(_592595), partiallytangible(_592595)], (12 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592390) ^ [_592833] : [tptpcol_15_40430(_592833), -(tptpcol_14_40429(_592833))], (20 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592390) ^ [_593072] : [tptpcol_10_72710(_593072), -(tptpcol_9_72709(_593072))], (28 ^ _592390) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592390) ^ [_593311] : [inanimateobject(_593311), -(partiallytangible(_593311))], (36 ^ _592390) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592390) ^ [_593578, _593580, _593582] : [-(genlpreds(_593582, _593578)), genlinverse(_593582, _593580), genlinverse(_593580, _593578)], (48 ^ _592390) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592390) ^ [_593940, _593942] : [subsetof(_593942, _593940), -(most(_593942, _593940))], (56 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592390) ^ [_594189] : [tptpcol_7_93186(_594189), -(tptpcol_6_92162(_594189))], (64 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592390) ^ [_594428] : [tptpcol_13_40421(_594428), -(tptpcol_12_40420(_594428))], (72 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592390) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592390) ^ [_594892] : [tptpcol_9_22021(_594892), -(tptpcol_8_22020(_594892))], (90 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592390) ^ [_595131] : [tptpcol_5_16388(_595131), -(tptpcol_4_16387(_595131))], (98 ^ _592390) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592390) ^ [_595489] : [tptpcol_14_72792(_595489), -(tptpcol_13_72791(_595489))], (112 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592390) ^ [_595728] : [tptpcol_5_20483(_595728), -(tptpcol_4_16387(_595728))], (120 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592390) ^ [_595967] : [tptpcol_11_22023(_595967), -(tptpcol_10_22022(_595967))], (128 ^ _592390) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592390) ^ [_596206] : [partiallyintangibleindividual(_596206), -(individual(_596206))], (136 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592390) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592390) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592390) ^ [_596551] : [trajector_underspecified(_596551), -(location_underspecified(_596551))], (148 ^ _592390) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592390) ^ [_596790] : [partiallytangible(_596790), -(enduringthing_localized(_596790))], (156 ^ _592390) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592390) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592390) ^ [_597148] : [tptpcol_3_81921(_597148), -(tptpcol_2_65537(_597148))], (170 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592390) ^ [_597387] : [tptpcol_10_18567(_597387), -(tptpcol_9_18439(_597387))], (178 ^ _592390) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592390) ^ [_597626] : [orderingpredicate(_597626), -(transitivebinarypredicate(_597626))], (186 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592390) ^ [_597865] : [tptpcol_11_92230(_597865), -(tptpcol_10_92166(_597865))], (194 ^ _592390) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592390) ^ [_598104] : [tptpcol_2_98304(_598104), -(tptpcol_1_65536(_598104))], (202 ^ _592390) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592390) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592390) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592390) ^ [_598568] : [tptpcol_12_40420(_598568), -(tptpcol_11_40388(_598568))], (220 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592390) ^ [_598821, _598823] : [tptptypes_9_693(_598823, _598821), -(tptptypes_8_692(_598823, _598821))], (228 ^ _592390) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592390) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592390) ^ [_599190, _599192] : [tptptypes_8_390(_599192, _599190), -(tptptypes_7_389(_599192, _599190))], (240 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592390) ^ [_599534, _599536, _599538, _599540] : [-(isa(f_relationexistsallfn(_599540, _599536, _599534, _599538), _599534)), isa(_599540, _599538), relationexistsall(_599536, _599534, _599538)], (254 ^ _592390) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592390) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592390) ^ [_600063] : [tptpcol_4_106497(_600063), -(tptpcol_3_98305(_600063))], (268 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592390) ^ [_600302] : [tptpcol_5_114690(_600302), -(tptpcol_4_114689(_600302))], (276 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592390) ^ [_600541] : [tptpcol_12_93765(_600541), -(tptpcol_11_93764(_600541))], (284 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592390) ^ [_600780] : [tptpcol_8_72708(_600780), -(tptpcol_7_72707(_600780))], (292 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592390) ^ [_601019] : [tptpcol_10_40324(_601019), -(tptpcol_9_40196(_601019))], (300 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592390) ^ [_601258] : [tptpcol_13_93766(_601258), -(tptpcol_12_93765(_601258))], (308 ^ _592390) ^ [_601444] : [-(tptpofobject(_601444, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601444)], (318 ^ _592390) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592390) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592390) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592390) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592390) ^ [_602108] : [location_underspecified(_602108), -(thing(_602108))], (342 ^ _592390) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592390) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592390) ^ [_602453] : [tptpcol_12_92262(_602453), -(tptpcol_11_92230(_602453))], (354 ^ _592390) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592390) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592390) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592390) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592390) ^ [_602970] : [tptpcol_10_109061(_602970), -(tptpcol_9_109060(_602970))], (374 ^ _592390) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592390) ^ [_603276, _603278] : [tptptypes_6_388(_603278, _603276), -(tptptypes_5_387(_603278, _603276))], (384 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592390) ^ [_603525] : [tptpcol_6_116738(_603525), -(tptpcol_5_114690(_603525))], (392 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592390) ^ [_603764] : [tptpcol_15_92268(_603764), -(tptpcol_14_92264(_603764))], (400 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592390) ^ [_604069] : [-(tptpofobject(_604069, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604069)], (416 ^ _592390) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592390) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592390) ^ [_604522, _604524] : [tptptypes_9_401(_604524, _604522), -(tptptypes_8_400(_604522, _604524))], (430 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592390) ^ [_604771] : [tptpcol_12_18663(_604771), -(tptpcol_11_18631(_604771))], (438 ^ _592390) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592390) ^ [_605010] : [setorcollection(_605010), -(mathematicalthing(_605010))], (446 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592390) ^ [_605249] : [tptpcol_13_109173(_605249), -(tptpcol_12_109157(_605249))], (454 ^ _592390) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592390) ^ [_605541] : [tptpcol_5_106498(_605541), -(tptpcol_4_106497(_605541))], (464 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592390) ^ [_605780] : [tptpcol_5_24579(_605780), -(tptpcol_4_24578(_605780))], (472 ^ _592390) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592390) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592390) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592390) ^ [_606310] : [tptpcol_1_65536(_606310), -(tptpcol_0_0(_606310))], (494 ^ _592390) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592390) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592390) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592390) ^ [_606735, _606737] : [geographicalsubregions(_606737, _606735), -(inregion(_606735, _606737))], (510 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592390) ^ [_606984] : [tptpcol_11_118084(_606984), -(tptpcol_10_118020(_606984))], (518 ^ _592390) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592390) ^ [_607223] : [mathematicalorcomputationalthing(_607223), -(intangible(_607223))], (526 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592390) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592390) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592390) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592390) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592390) ^ [_607741, _607743] : [tptptypes_7_819(_607743, _607741), -(tptptypes_6_818(_607743, _607741))], (544 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592390) ^ [_608043] : [tptpcol_12_26919(_608043), -(tptpcol_11_26887(_608043))], (554 ^ _592390) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592390) ^ [_608296, _608298] : [tptptypes_8_692(_608298, _608296), -(tptptypes_7_691(_608296, _608298))], (562 ^ _592390) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592390) ^ [_608545] : [tptpcol_2_2(_608545), -(tptpcol_1_1(_608545))], (570 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592390) ^ [_608837] : [tptpcol_9_92165(_608837), -(tptpcol_8_92164(_608837))], (580 ^ _592390) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592390) ^ [_609076] : [fixedordercollection(_609076), -(collection(_609076))], (588 ^ _592390) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592390) ^ [_609315] : [tptpcol_1_1(_609315), tptpcol_1_65536(_609315)], (596 ^ _592390) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592390) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592390) ^ [_609606] : [microtheory(_609606), -(aspatialinformationstore(_609606))], (606 ^ _592390) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592390) ^ [_609911] : [-(tptp_8_875(_609911, f_relationallexistsfn(_609911, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_609911, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592390) ^ [] : [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 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592390) ^ [_610362] : [tptpcol_10_118020(_610362), -(tptpcol_9_118019(_610362))], (636 ^ _592390) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592390) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592390) ^ [_610720] : [-(tptp_9_720(_610720, f_relationallexistsfn(_610720, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610720)], (654 ^ _592390) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592390) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592390) ^ [_611169] : [individual(_611169), setorcollection(_611169)], (668 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592390) ^ [_611407] : [tptpcol_12_22055(_611407), -(tptpcol_11_22023(_611407))], (676 ^ _592390) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592390) ^ [_611646] : [applicationcontext(_611646), -(microtheory(_611646))], (684 ^ _592390) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592390) ^ [_611952, _611954] : [tptptypes_8_400(_611954, _611952), -(tptptypes_7_396(_611954, _611952))], (694 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592390) ^ [_612201] : [tptpcol_11_18631(_612201), -(tptpcol_10_18567(_612201))], (702 ^ _592390) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592390) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592390) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592390) ^ [_612612] : [mathematicalthing(_612612), -(mathematicalorcomputationalthing(_612612))], (718 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592390) ^ [_612904] : [tptpcol_15_93775(_612904), -(tptpcol_14_93774(_612904))], (728 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592390) ^ [_613143] : [tptpcol_8_109059(_613143), -(tptpcol_7_108547(_613143))], (736 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592390) ^ [_613382] : [tptpcol_14_40429(_613382), -(tptpcol_13_40421(_613382))], (744 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592390) ^ [_613740] : [tptpcol_14_22072(_613740), -(tptpcol_13_22071(_613740))], (758 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592390) ^ [_613979] : [tptpcol_14_93774(_613979), -(tptpcol_13_93766(_613979))], (766 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592390) ^ [_614218] : [tptpcol_10_22022(_614218), -(tptpcol_9_22021(_614218))], (774 ^ _592390) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592390) ^ [_614457] : [inanimateobject_nonnatural(_614457), -(inanimateobject(_614457))], (782 ^ _592390) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592390) ^ [_614802] : [tptpcol_9_72709(_614802), -(tptpcol_8_72708(_614802))], (794 ^ _592390) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592390) ^ [_615041] : [-(tptpofobject(_615041, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615041)], (806 ^ _592390) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592390) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592390) ^ [_615480] : [firstordercollection(_615480), -(fixedordercollection(_615480))], (820 ^ _592390) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592390) ^ [_615891] : [tptpcol_13_18664(_615891), -(tptpcol_12_18663(_615891))], (836 ^ _592390) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592390) ^ [_616130] : [artifact(_616130), -(inanimateobject_nonnatural(_616130))], (844 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592390) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592390) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592390) ^ [_616528] : [tptpcol_7_113665(_616528), -(tptpcol_6_112641(_616528))], (858 ^ _592390) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592390) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592390) ^ [_616886] : [geographicalregion(_616886), -(partiallytangible(_616886))], (872 ^ _592390) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592390) ^ [_617139, _617141] : [disjointwith(_617141, _617139), -(no(_617141, _617139))], (880 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592390) ^ [_617388] : [tptpcol_4_24578(_617388), -(tptpcol_3_16386(_617388))], (888 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592390) ^ [_617627] : [tptpcol_5_69635(_617627), -(tptpcol_4_65539(_617627))], (896 ^ _592390) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592390) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592390) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592390) ^ [_617986, _617988] : [genls(_617988, _617986), -(collection(_617988))], (908 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592390) ^ [_618233] : [tptpcol_13_22071(_618233), -(tptpcol_12_22055(_618233))], (916 ^ _592390) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592390) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592390) ^ [_618525] : [tptpcol_3_98305(_618525), -(tptpcol_2_98304(_618525))], (926 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592390) ^ [_618764] : [tptpcol_4_114689(_618764), -(tptpcol_3_114688(_618764))], (934 ^ _592390) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592390) ^ [_619003] : [artsupplies(_619003), -(supplies(_619003))], (942 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592390) ^ [_619242] : [tptpcol_8_26629(_619242), -(tptpcol_7_26628(_619242))], (950 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592390) ^ [_619481] : [tptpcol_9_109060(_619481), -(tptpcol_8_109059(_619481))], (958 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592390) ^ [_619720] : [isa(_619720, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619720, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619720))], (966 ^ _592390) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592390) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592390) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592390) ^ [_620304] : [tptpcol_14_109181(_620304), -(tptpcol_13_109173(_620304))], (988 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592390) ^ [_620543] : [tptpcol_16_30972(_620543), -(tptpcol_15_30970(_620543))], (996 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592390) ^ [_620835] : [tptpcol_9_18439(_620835), -(tptpcol_8_18438(_620835))], (1006 ^ _592390) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592390) ^ [_621127] : [tptpcol_12_118116(_621127), -(tptpcol_11_118084(_621127))], (1016 ^ _592390) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592390) ^ [_621419] : [tptpcol_7_26628(_621419), -(tptpcol_6_26627(_621419))], (1026 ^ _592390) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592390) ^ [_621672, _621674] : [most(_621674, _621672), -(setorcollection(_621674))], (1034 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592390) ^ [_621919] : [tptpcol_15_109185(_621919), -(tptpcol_14_109181(_621919))], (1042 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592390) ^ [_622158] : [tptpcol_16_92269(_622158), -(tptpcol_15_92268(_622158))], (1050 ^ _592390) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592390) ^ [_622464, _622466] : [tptptypes_8_823(_622466, _622464), -(tptptypes_7_819(_622466, _622464))], (1060 ^ _592390) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592390) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592390) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592390) ^ [_623044] : [tptpcol_10_26886(_623044), -(tptpcol_9_26885(_623044))], (1082 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592390) ^ [_623336] : [tptpcol_15_72793(_623336), -(tptpcol_14_72792(_623336))], (1092 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592390) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592390) ^ [_623694] : [navypersonnel(_623694), -(militaryperson(_623694))], (1106 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592390) ^ [_623933] : [tptpcol_4_16387(_623933), -(tptpcol_3_16386(_623933))], (1114 ^ _592390) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592390) ^ [_624172] : [enduringthing_localized(_624172), -(spatialthing_nonsituational(_624172))], (1122 ^ _592390) ^ [_624358] : [collection(_624358), individual(_624358)], (1128 ^ _592390) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592390) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592390) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592390) ^ [_624887] : [physicalorderingpredicate(_624887), -(orderingpredicate(_624887))], (1150 ^ _592390) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592390) ^ [_625140, _625142] : [disjointwith(_625142, _625140), -(collection(_625140))], (1158 ^ _592390) ^ [_625376, _625378, _625380, _625382] : [-(isa(f_relationallexistsfn(_625382, _625378, _625380, _625376), _625376)), isa(_625382, _625380), relationallexists(_625378, _625380, _625376)], (1168 ^ _592390) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592390) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592390) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592390) ^ [_625985, _625987] : [tptptypes_7_389(_625987, _625985), -(tptptypes_6_388(_625985, _625987))], (1186 ^ _592390) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592390) ^ [_626300] : [-(hpkb_subnationalagent(_626300)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626300)], (1202 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592390) ^ [_626618] : [tptpcol_8_22020(_626618), -(tptpcol_7_21508(_626618))], (1210 ^ _592390) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592390) ^ [_626857] : [-(tptp_9_51(f_relationexistsallfn(_626857, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _626857)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_626857, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592390) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592390) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592390) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592390) ^ [_627361] : [tptpcol_3_65538(_627361), -(tptpcol_2_65537(_627361))], (1238 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592390) ^ [_627600] : [tptpcol_14_26921(_627600), -(tptpcol_13_26920(_627600))], (1246 ^ _592390) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592390) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592390) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592390) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592390) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592390) ^ [_628051] : [intangibleindividual(_628051), -(partiallyintangibleindividual(_628051))], (1262 ^ _592390) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592390) ^ [_628409] : [tptpcol_16_130924(_628409), -(tptpcol_15_130923(_628409))], (1276 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592390) ^ [_628648] : [tptpcol_7_92163(_628648), -(tptpcol_6_92162(_628648))], (1284 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592390) ^ [_628940] : [tptpcol_16_130933(_628940), -(tptpcol_15_130931(_628940))], (1294 ^ _592390) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592390) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592390) ^ [_629246, _629248] : [no(_629248, _629246), -(few(_629248, _629246))], (1304 ^ _592390) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592390) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592390) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592390) ^ [_629654] : [tptpcol_6_20484(_629654), -(tptpcol_5_20483(_629654))], (1318 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592390) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592390) ^ [_630118] : [tptpcol_7_108547(_630118), -(tptpcol_6_108546(_630118))], (1336 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592390) ^ [_630357] : [tptpcol_11_109125(_630357), -(tptpcol_10_109061(_630357))], (1344 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592390) ^ [_630649] : [tptpcol_8_93698(_630649), -(tptpcol_7_93186(_630649))], (1354 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592390) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592390) ^ [_630941] : [tptpcol_2_65537(_630941), -(tptpcol_1_65536(_630941))], (1364 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592390) ^ [_631233] : [tptpcol_6_18436(_631233), -(tptpcol_5_16388(_631233))], (1374 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592390) ^ [_631472] : [tptpcol_8_18438(_631472), -(tptpcol_7_18437(_631472))], (1382 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592390) ^ [_631830] : [tptpcol_8_117763(_631830), -(tptpcol_7_117762(_631830))], (1396 ^ _592390) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592390) ^ [_632122] : [tptpcol_12_109157(_632122), -(tptpcol_11_109125(_632122))], (1406 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592390) ^ [_632361] : [tptpcol_7_117762(_632361), -(tptpcol_6_116738(_632361))], (1414 ^ _592390) ^ [_632575, _632577, _632579] : [isa(_632579, _632577), isa(_632579, _632575), disjointwith(_632577, _632575)], (1424 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592390) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592390) ^ [_632975] : [aspatialinformationstore(_632975), -(aspatialthing(_632975))], (1434 ^ _592390) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592390) ^ [_633373] : [tptpcol_9_93699(_633373), -(tptpcol_8_93698(_633373))], (1448 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592390) ^ [_633612] : [tptpcol_11_93764(_633612), -(tptpcol_10_93700(_633612))], (1456 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592390) ^ [_633851] : [tptpcol_6_26627(_633851), -(tptpcol_5_24579(_633851))], (1464 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592390) ^ [_634090] : [tptpcol_4_90113(_634090), -(tptpcol_3_81921(_634090))], (1472 ^ _592390) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592390) ^ [_634382] : [tptpcol_10_93700(_634382), -(tptpcol_9_93699(_634382))], (1482 ^ _592390) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592390) ^ [_634621] : [aspatialinformationstore(_634621), -(intangibleindividual(_634621))], (1490 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592390) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592390) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592390) ^ [_635032] : [tptpcol_3_16386(_635032), -(tptpcol_2_2(_635032))], (1506 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592390) ^ [_635271] : [tptpcol_9_118019(_635271), -(tptpcol_8_117763(_635271))], (1514 ^ _592390) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592390) ^ [_635510] : [individual(_635510), -(trajector_underspecified(_635510))], (1522 ^ _592390) ^ [_635696] : [shavingrazor_manual(_635696), -(tptp_8_271(f_relationexistsallfn(_635696, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635696))], (1528 ^ _592390) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592390) ^ [_636000] : [tptpcol_6_112641(_636000), -(tptpcol_5_110593(_636000))], (1538 ^ _592390) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592390) ^ [_636239] : [tptpcol_12_72775(_636239), -(tptpcol_11_72774(_636239))], (1546 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592390) ^ [_636478] : [tptpcol_7_72707(_636478), -(tptpcol_6_71683(_636478))], (1554 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592390) ^ [_636717] : [tptpcol_16_50958(_636717), -(tptpcol_15_50957(_636717))], (1562 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592390) ^ [_636956] : [tptpcol_8_114177(_636956), -(tptpcol_7_113665(_636956))], (1570 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592390) ^ [_637195] : [tptpcol_16_72795(_637195), -(tptpcol_15_72793(_637195))], (1578 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592390) ^ [_637434] : [tptpcol_6_71683(_637434), -(tptpcol_5_69635(_637434))], (1586 ^ _592390) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592390) ^ [_637740, _637742] : [tptptypes_7_396(_637742, _637740), -(tptptypes_6_388(_637742, _637740))], (1596 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592390) ^ [_637989] : [tptpcol_9_26885(_637989), -(tptpcol_8_26629(_637989))], (1604 ^ _592390) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592390) ^ [_638242, _638244] : [genls(_638244, _638242), -(subsetof(_638244, _638242))], (1612 ^ _592390) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592390) ^ [_638558, _638560] : [tptptypes_6_818(_638560, _638558), -(tptptypes_5_802(_638560, _638558))], (1622 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592390) ^ [_638807] : [tptpcol_6_92162(_638807), -(tptpcol_5_90114(_638807))], (1630 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592390) ^ [_639099] : [tptpcol_8_92164(_639099), -(tptpcol_7_92163(_639099))], (1640 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592390) ^ [_639338] : [tptpcol_13_118117(_639338), -(tptpcol_12_118116(_639338))], (1648 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592390) ^ [_639577] : [tptpcol_11_40388(_639577), -(tptpcol_10_40324(_639577))], (1656 ^ _592390) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592390) ^ [_639830, _639832] : [tptptypes_9_824(_639832, _639830), -(tptptypes_8_823(_639832, _639830))], (1664 ^ _592390) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592390) ^ [_640132] : [tptpcol_11_26887(_640132), -(tptpcol_10_26886(_640132))], (1674 ^ _592390) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592390) ^ [_640371] : [tptpcol_16_26926(_640371), -(tptpcol_15_26925(_640371))], (1682 ^ _592390) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592390) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592390) ^ [_640677, _640679] : [few(_640679, _640677), -(setorcollection(_640677))], (1692 ^ _592390) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592390) ^ [_640924] : [tptpcol_4_65539(_640924), -(tptpcol_3_65538(_640924))], (1700 ^ _592390) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592390) ^ [_641163] : [tptpcol_8_39940(_641163), -(tptpcol_7_39939(_641163))], (1708 ^ _592390) ^ [_641349] : [-(tptpofobject(_641349, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641349)], (1718 ^ _592390) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592390) ^ [_641788] : [tptpcol_15_22076(_641788), -(tptpcol_14_22072(_641788))], (1732 ^ _592390) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592390) ^ [_642027] : [tptpcol_0_0(_642027), -(individual(_642027))], (1740 ^ _592390) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592390) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592390) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592390) ^ [_642425] : [tptpcol_11_72774(_642425), -(tptpcol_10_72710(_642425))], (1754 ^ _592390) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592390) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592390) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592390) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592390) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592390) ^ [_643061] : [tptpcol_7_21508(_643061), -(tptpcol_6_20484(_643061))], (1780 ^ _592390) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592390) ^ [_643300] : [tptpcol_6_108546(_643300), -(tptpcol_5_106498(_643300))], (1788 ^ _592390) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592390) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592390) ^ [_643658] : [geolevel_4(_643658), -(geographicalregion(_643658))], (1802 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592390) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592390) ^ [_644135] : [tptpcol_13_26920(_644135), -(tptpcol_12_26919(_644135))], (1822 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592390) ^ [_644374] : [tptpcol_14_92264(_644374), -(tptpcol_13_92263(_644374))], (1830 ^ _592390) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592390) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592390) ^ [_644666] : [tptpcol_9_40196(_644666), -(tptpcol_8_39940(_644666))], (1840 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592390) ^ [_645024] : [tptpcol_13_92263(_645024), -(tptpcol_12_92262(_645024))], (1854 ^ _592390) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592390) ^ [_645316] : [tptpcol_5_90114(_645316), -(tptpcol_4_90113(_645316))], (1864 ^ _592390) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592390) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592390) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592390) ^ [_645727] : [tptpcol_15_26925(_645727), -(tptpcol_14_26921(_645727))], (1880 ^ _592390) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592390) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592390) ^ [_646085] : [tptpcol_7_18437(_646085), -(tptpcol_6_18436(_646085))], (1894 ^ _592390) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592390) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592390) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592390) ^ [_646496] : [tptpcol_3_98305(_646496), tptpcol_3_114688(_646496)], (1910 ^ _592390) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592390) ^ [_646734] : [tptpcol_5_110593(_646734), -(tptpcol_4_106497(_646734))], (1918 ^ _592390) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592390) ^ [_646973] : [tptpcol_13_72791(_646973), -(tptpcol_12_72775(_646973))], (1926 ^ _592390) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592390) ^ [_647212] : [computerdataartifact(_647212), -(artifact(_647212))], (1934 ^ _592390) ^ [_647398] : [-(tptpofobject(_647398, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647398)], (1944 ^ _592390) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592390) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592390) ^ [_647837] : [tptpcol_10_92166(_647837), -(tptpcol_9_92165(_647837))], (1958 ^ _592390) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592390) ^ [_648076] : [tptpcol_14_118118(_648076), -(tptpcol_13_118117(_648076))], (1966 ^ _592390) ^ [_648262] : [isa(_648262, c_tptpcol_14_118118), -(tptpcol_14_118118(_648262))], (1972 ^ _592390) ^ [_648450] : [tptpcol_14_118118(_648450), -(isa(_648450, c_tptpcol_14_118118))], (1978 ^ _592390) ^ [_648623] : [-(natfunction(f_tptpquantityfn_6(_648623), c_tptpquantityfn_6))], (1980 ^ _592390) ^ [_648703] : [-(natargument(f_tptpquantityfn_6(_648703), n_1, _648703))], (1982 ^ _592390) ^ [_648784] : [-(tptpquantity(f_tptpquantityfn_6(_648784)))], (1984 ^ _592390) ^ [_648878] : [isa(_648878, c_tptpcol_16_26939), -(tptpcol_16_26939(_648878))], (1990 ^ _592390) ^ [_649066] : [tptpcol_16_26939(_649066), -(isa(_649066, c_tptpcol_16_26939))], (1996 ^ _592390) ^ [_649254] : [isa(_649254, c_tptpcol_16_62187), -(tptpcol_16_62187(_649254))], (2002 ^ _592390) ^ [_649442] : [tptpcol_16_62187(_649442), -(isa(_649442, c_tptpcol_16_62187))], (2008 ^ _592390) ^ [_649630] : [isa(_649630, c_tptpcol_13_92263), -(tptpcol_13_92263(_649630))], (2014 ^ _592390) ^ [_649818] : [tptpcol_13_92263(_649818), -(isa(_649818, c_tptpcol_13_92263))], (2020 ^ _592390) ^ [_650006] : [isa(_650006, c_geolevel_4), -(geolevel_4(_650006))], (2026 ^ _592390) ^ [_650194] : [geolevel_4(_650194), -(isa(_650194, c_geolevel_4))], (2032 ^ _592390) ^ [_650382] : [isa(_650382, c_tptpcol_15_4027), -(tptpcol_15_4027(_650382))], (2038 ^ _592390) ^ [_650570] : [tptpcol_15_4027(_650570), -(isa(_650570, c_tptpcol_15_4027))], (2044 ^ _592390) ^ [_650758] : [isa(_650758, c_pushingwithfingers), -(pushingwithfingers(_650758))], (2050 ^ _592390) ^ [_650946] : [pushingwithfingers(_650946), -(isa(_650946, c_pushingwithfingers))], (2056 ^ _592390) ^ [_651148, _651150] : [affiliatedwith(_651150, _651148), -(agent_generic(_651148))], (2062 ^ _592390) ^ [_651356, _651358] : [affiliatedwith(_651358, _651356), -(agent_generic(_651358))], (2068 ^ _592390) ^ [_651564, _651566] : [affiliatedwith(_651566, _651564), -(affiliatedwith(_651564, _651566))], (2074 ^ _592390) ^ [_651744] : [affiliatedwith(_651744, _651744)], (2076 ^ _592390) ^ [_651837] : [isa(_651837, c_footballteam), -(footballteam(_651837))], (2082 ^ _592390) ^ [_652025] : [footballteam(_652025), -(isa(_652025, c_footballteam))], (2088 ^ _592390) ^ [_652213] : [isa(_652213, c_tptpcol_16_4451), -(tptpcol_16_4451(_652213))], (2094 ^ _592390) ^ [_652401] : [tptpcol_16_4451(_652401), -(isa(_652401, c_tptpcol_16_4451))], (2100 ^ _592390) ^ [_652589] : [isa(_652589, c_pushingwithopenhand), -(pushingwithopenhand(_652589))], (2106 ^ _592390) ^ [_652777] : [pushingwithopenhand(_652777), -(isa(_652777, c_pushingwithopenhand))], (2112 ^ _592390) ^ [_652965] : [isa(_652965, c_tptpcol_15_22076), -(tptpcol_15_22076(_652965))], (2118 ^ _592390) ^ [_653153] : [tptpcol_15_22076(_653153), -(isa(_653153, c_tptpcol_15_22076))], (2124 ^ _592390) ^ [_653326] : [-(natfunction(f_tptpquantityfn_2(_653326), c_tptpquantityfn_2))], (2126 ^ _592390) ^ [_653406] : [-(natargument(f_tptpquantityfn_2(_653406), n_1, _653406))], (2128 ^ _592390) ^ [_653487] : [-(tptpquantity(f_tptpquantityfn_2(_653487)))], (2130 ^ _592390) ^ [_653581] : [isa(_653581, c_tptpcol_7_39939), -(tptpcol_7_39939(_653581))], (2136 ^ _592390) ^ [_653769] : [tptpcol_7_39939(_653769), -(isa(_653769, c_tptpcol_7_39939))], (2142 ^ _592390) ^ [_653957] : [isa(_653957, c_tptpcol_8_39940), -(tptpcol_8_39940(_653957))], (2148 ^ _592390) ^ [_654145] : [tptpcol_8_39940(_654145), -(isa(_654145, c_tptpcol_8_39940))], (2154 ^ _592390) ^ [_654333] : [isa(_654333, c_tptpcol_15_26925), -(tptpcol_15_26925(_654333))], (2160 ^ _592390) ^ [_654521] : [tptpcol_15_26925(_654521), -(isa(_654521, c_tptpcol_15_26925))], (2166 ^ _592390) ^ [_654709] : [isa(_654709, c_tptpcol_16_26926), -(tptpcol_16_26926(_654709))], (2172 ^ _592390) ^ [_654897] : [tptpcol_16_26926(_654897), -(isa(_654897, c_tptpcol_16_26926))], (2178 ^ _592390) ^ [_655085] : [isa(_655085, c_tptpcol_13_118117), -(tptpcol_13_118117(_655085))], (2184 ^ _592390) ^ [_655273] : [tptpcol_13_118117(_655273), -(isa(_655273, c_tptpcol_13_118117))], (2190 ^ _592390) ^ [_655461] : [isa(_655461, c_tptpcol_5_90114), -(tptpcol_5_90114(_655461))], (2196 ^ _592390) ^ [_655649] : [tptpcol_5_90114(_655649), -(isa(_655649, c_tptpcol_5_90114))], (2202 ^ _592390) ^ [_655851, _655853] : [tptptypes_5_802(_655853, _655851), -(firstordercollection(_655851))], (2208 ^ _592390) ^ [_656059, _656061] : [tptptypes_5_802(_656061, _656059), -(firstordercollection(_656061))], (2214 ^ _592390) ^ [_656253] : [isa(_656253, c_tptpcol_16_72795), -(tptpcol_16_72795(_656253))], (2220 ^ _592390) ^ [_656441] : [tptpcol_16_72795(_656441), -(isa(_656441, c_tptpcol_16_72795))], (2226 ^ _592390) ^ [_656629] : [isa(_656629, c_tptpcol_8_114177), -(tptpcol_8_114177(_656629))], (2232 ^ _592390) ^ [_656817] : [tptpcol_8_114177(_656817), -(isa(_656817, c_tptpcol_8_114177))], (2238 ^ _592390) ^ [_657005] : [isa(_657005, c_tptpcol_15_50957), -(tptpcol_15_50957(_657005))], (2244 ^ _592390) ^ [_657193] : [tptpcol_15_50957(_657193), -(isa(_657193, c_tptpcol_15_50957))], (2250 ^ _592390) ^ [_657381] : [isa(_657381, c_tptpcol_16_50958), -(tptpcol_16_50958(_657381))], (2256 ^ _592390) ^ [_657569] : [tptpcol_16_50958(_657569), -(isa(_657569, c_tptpcol_16_50958))], (2262 ^ _592390) ^ [_657757] : [isa(_657757, c_tptpcol_6_71683), -(tptpcol_6_71683(_657757))], (2268 ^ _592390) ^ [_657945] : [tptpcol_6_71683(_657945), -(isa(_657945, c_tptpcol_6_71683))], (2274 ^ _592390) ^ [_658133] : [isa(_658133, c_tptpcol_11_72774), -(tptpcol_11_72774(_658133))], (2280 ^ _592390) ^ [_658321] : [tptpcol_11_72774(_658321), -(isa(_658321, c_tptpcol_11_72774))], (2286 ^ _592390) ^ [_658509] : [isa(_658509, c_tptpcol_12_72775), -(tptpcol_12_72775(_658509))], (2292 ^ _592390) ^ [_658697] : [tptpcol_12_72775(_658697), -(isa(_658697, c_tptpcol_12_72775))], (2298 ^ _592390) ^ [_658885] : [isa(_658885, c_tptpcol_5_110593), -(tptpcol_5_110593(_658885))], (2304 ^ _592390) ^ [_659073] : [tptpcol_5_110593(_659073), -(isa(_659073, c_tptpcol_5_110593))], (2310 ^ _592390) ^ [_659261] : [isa(_659261, c_tptpcol_16_25972), -(tptpcol_16_25972(_659261))], (2316 ^ _592390) ^ [_659449] : [tptpcol_16_25972(_659449), -(isa(_659449, c_tptpcol_16_25972))], (2322 ^ _592390) ^ [_659651, _659653] : [tptp_8_271(_659653, _659651), -(razor(_659651))], (2328 ^ _592390) ^ [_659859, _659861] : [tptp_8_271(_659861, _659859), -(tptpcol_5_24579(_659861))], (2334 ^ _592390) ^ [_660053] : [isa(_660053, c_tptpcol_4_90113), -(tptpcol_4_90113(_660053))], (2340 ^ _592390) ^ [_660241] : [tptpcol_4_90113(_660241), -(isa(_660241, c_tptpcol_4_90113))], (2346 ^ _592390) ^ [_660429] : [isa(_660429, c_tptpcol_10_93700), -(tptpcol_10_93700(_660429))], (2352 ^ _592390) ^ [_660617] : [tptpcol_10_93700(_660617), -(isa(_660617, c_tptpcol_10_93700))], (2358 ^ _592390) ^ [_660805] : [isa(_660805, c_tptpcol_9_93699), -(tptpcol_9_93699(_660805))], (2364 ^ _592390) ^ [_660993] : [tptpcol_9_93699(_660993), -(isa(_660993, c_tptpcol_9_93699))], (2370 ^ _592390) ^ [_661181] : [isa(_661181, c_aspatialthing), -(aspatialthing(_661181))], (2376 ^ _592390) ^ [_661369] : [aspatialthing(_661369), -(isa(_661369, c_aspatialthing))], (2382 ^ _592390) ^ [_661557] : [isa(_661557, c_tptpcol_7_117762), -(tptpcol_7_117762(_661557))], (2388 ^ _592390) ^ [_661745] : [tptpcol_7_117762(_661745), -(isa(_661745, c_tptpcol_7_117762))], (2394 ^ _592390) ^ [_661933] : [isa(_661933, c_tptpcol_8_117763), -(tptpcol_8_117763(_661933))], (2400 ^ _592390) ^ [_662121] : [tptpcol_8_117763(_662121), -(isa(_662121, c_tptpcol_8_117763))], (2406 ^ _592390) ^ [_662309] : [isa(_662309, c_tptpcol_7_18437), -(tptpcol_7_18437(_662309))], (2412 ^ _592390) ^ [_662497] : [tptpcol_7_18437(_662497), -(isa(_662497, c_tptpcol_7_18437))], (2418 ^ _592390) ^ [_662685] : [isa(_662685, c_tptpcol_6_18436), -(tptpcol_6_18436(_662685))], (2424 ^ _592390) ^ [_662873] : [tptpcol_6_18436(_662873), -(isa(_662873, c_tptpcol_6_18436))], (2430 ^ _592390) ^ [_663061] : [isa(_663061, c_tptpcol_8_93698), -(tptpcol_8_93698(_663061))], (2436 ^ _592390) ^ [_663249] : [tptpcol_8_93698(_663249), -(isa(_663249, c_tptpcol_8_93698))], (2442 ^ _592390) ^ [_663437] : [isa(_663437, c_tptpcol_11_109125), -(tptpcol_11_109125(_663437))], (2448 ^ _592390) ^ [_663625] : [tptpcol_11_109125(_663625), -(isa(_663625, c_tptpcol_11_109125))], (2454 ^ _592390) ^ [_663813] : [isa(_663813, c_tptpcol_6_108546), -(tptpcol_6_108546(_663813))], (2460 ^ _592390) ^ [_664001] : [tptpcol_6_108546(_664001), -(isa(_664001, c_tptpcol_6_108546))], (2466 ^ _592390) ^ [_664189] : [isa(_664189, c_tptpcol_6_20484), -(tptpcol_6_20484(_664189))], (2472 ^ _592390) ^ [_664377] : [tptpcol_6_20484(_664377), -(isa(_664377, c_tptpcol_6_20484))], (2478 ^ _592390) ^ [_664579, _664581] : [few(_664581, _664579), -(setorcollection(_664579))], (2484 ^ _592390) ^ [_664787, _664789] : [few(_664789, _664787), -(setorcollection(_664787))], (2490 ^ _592390) ^ [_664995, _664997] : [few(_664997, _664995), -(setorcollection(_664997))], (2496 ^ _592390) ^ [_665203, _665205] : [few(_665205, _665203), -(setorcollection(_665205))], (2502 ^ _592390) ^ [_665425, _665427, _665429] : [-(few(_665429, _665425)), few(_665429, _665427), subsetof(_665425, _665427)], (2512 ^ _592390) ^ [_665720] : [isa(_665720, c_tptpcol_15_130931), -(tptpcol_15_130931(_665720))], (2518 ^ _592390) ^ [_665908] : [tptpcol_15_130931(_665908), -(isa(_665908, c_tptpcol_15_130931))], (2524 ^ _592390) ^ [_666096] : [isa(_666096, c_tptpcol_16_130933), -(tptpcol_16_130933(_666096))], (2530 ^ _592390) ^ [_666284] : [tptpcol_16_130933(_666284), -(isa(_666284, c_tptpcol_16_130933))], (2536 ^ _592390) ^ [_666472] : [isa(_666472, c_tptpcol_7_92163), -(tptpcol_7_92163(_666472))], (2542 ^ _592390) ^ [_666660] : [tptpcol_7_92163(_666660), -(isa(_666660, c_tptpcol_7_92163))], (2548 ^ _592390) ^ [_666848] : [isa(_666848, c_tptpcol_15_130923), -(tptpcol_15_130923(_666848))], (2554 ^ _592390) ^ [_667036] : [tptpcol_15_130923(_667036), -(isa(_667036, c_tptpcol_15_130923))], (2560 ^ _592390) ^ [_667224] : [isa(_667224, c_tptpcol_16_130924), -(tptpcol_16_130924(_667224))], (2566 ^ _592390) ^ [_667412] : [tptpcol_16_130924(_667412), -(isa(_667412, c_tptpcol_16_130924))], (2572 ^ _592390) ^ [_667600] : [isa(_667600, c_intangibleindividual), -(intangibleindividual(_667600))], (2578 ^ _592390) ^ [_667788] : [intangibleindividual(_667788), -(isa(_667788, c_intangibleindividual))], (2584 ^ _592390) ^ [_667975, _667977] : [-(natfunction(f_citynamedfn(_667977, _667975), c_citynamedfn))], (2586 ^ _592390) ^ [_668072, _668074] : [-(natargument(f_citynamedfn(_668074, _668072), n_1, _668074))], (2588 ^ _592390) ^ [_668170, _668172] : [-(natargument(f_citynamedfn(_668172, _668170), n_2, _668170))], (2590 ^ _592390) ^ [_668268, _668270] : [-(city(f_citynamedfn(_668270, _668268)))], (2592 ^ _592390) ^ [_668365] : [isa(_668365, c_tptpcol_13_26920), -(tptpcol_13_26920(_668365))], (2598 ^ _592390) ^ [_668553] : [tptpcol_13_26920(_668553), -(isa(_668553, c_tptpcol_13_26920))], (2604 ^ _592390) ^ [_668741] : [isa(_668741, c_tptpcol_14_26921), -(tptpcol_14_26921(_668741))], (2610 ^ _592390) ^ [_668929] : [tptpcol_14_26921(_668929), -(isa(_668929, c_tptpcol_14_26921))], (2616 ^ _592390) ^ [_669117] : [isa(_669117, c_tptpcol_3_65538), -(tptpcol_3_65538(_669117))], (2622 ^ _592390) ^ [_669305] : [tptpcol_3_65538(_669305), -(isa(_669305, c_tptpcol_3_65538))], (2628 ^ _592390) ^ [_669493] : [isa(_669493, c_tptpcol_16_27189), -(tptpcol_16_27189(_669493))], (2634 ^ _592390) ^ [_669681] : [tptpcol_16_27189(_669681), -(isa(_669681, c_tptpcol_16_27189))], (2640 ^ _592390) ^ [_669883, _669885] : [tptp_9_51(_669885, _669883), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_669883))], (2646 ^ _592390) ^ [_670091, _670093] : [tptp_9_51(_670093, _670091), -(tptpcol_7_26628(_670093))], (2652 ^ _592390) ^ [_670285] : [isa(_670285, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670285))], (2658 ^ _592390) ^ [_670473] : [reflexivebinarypredicate(_670473), -(isa(_670473, c_reflexivebinarypredicate))], (2664 ^ _592390) ^ [_670661] : [isa(_670661, c_tptpcol_7_21508), -(tptpcol_7_21508(_670661))], (2670 ^ _592390) ^ [_670849] : [tptpcol_7_21508(_670849), -(isa(_670849, c_tptpcol_7_21508))], (2676 ^ _592390) ^ [_671037] : [isa(_671037, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671037))], (2682 ^ _592390) ^ [_671225] : [hpkb_subnationalagent(_671225), -(isa(_671225, c_hpkb_subnationalagent))], (2688 ^ _592390) ^ [_671413] : [isa(_671413, c_state_geopolitical), -(state_geopolitical(_671413))], (2694 ^ _592390) ^ [_671601] : [state_geopolitical(_671601), -(isa(_671601, c_state_geopolitical))], (2700 ^ _592390) ^ [_671816, _671818, _671820, _671822] : [-(natfunction(f_relationallexistsfn(_671822, _671820, _671818, _671816), c_relationallexistsfn))], (2702 ^ _592390) ^ [_671947, _671949, _671951, _671953] : [-(natargument(f_relationallexistsfn(_671953, _671951, _671949, _671947), n_1, _671953))], (2704 ^ _592390) ^ [_672079, _672081, _672083, _672085] : [-(natargument(f_relationallexistsfn(_672085, _672083, _672081, _672079), n_2, _672083))], (2706 ^ _592390) ^ [_672211, _672213, _672215, _672217] : [-(natargument(f_relationallexistsfn(_672217, _672215, _672213, _672211), n_3, _672213))], (2708 ^ _592390) ^ [_672343, _672345, _672347, _672349] : [-(natargument(f_relationallexistsfn(_672349, _672347, _672345, _672343), n_4, _672343))], (2710 ^ _592390) ^ [_672475, _672477, _672479, _672481] : [-(thing(f_relationallexistsfn(_672481, _672479, _672477, _672475)))], (2712 ^ _592390) ^ [_672592, _672594] : [arg2isa(_672594, _672592), -(collection(_672592))], (2718 ^ _592390) ^ [_672800, _672802] : [arg2isa(_672802, _672800), -(relation(_672802))], (2724 ^ _592390) ^ [_673022, _673024, _673026] : [-(arg2isa(_673026, _673022)), arg2isa(_673026, _673024), genls(_673024, _673022)], (2734 ^ _592390) ^ [_673345, _673347, _673349] : [-(arg2isa(_673349, _673345)), arg2isa(_673349, _673347), genls(_673347, _673345)], (2744 ^ _592390) ^ [_673640] : [isa(_673640, c_geolevel_1), -(geolevel_1(_673640))], (2750 ^ _592390) ^ [_673828] : [geolevel_1(_673828), -(isa(_673828, c_geolevel_1))], (2756 ^ _592390) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592390) ^ [_674069] : [isa(_674069, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674069))], (2764 ^ _592390) ^ [_674257] : [spatialthing_nonsituational(_674257), -(isa(_674257, c_spatialthing_nonsituational))], (2770 ^ _592390) ^ [_674445] : [isa(_674445, c_militaryperson), -(militaryperson(_674445))], (2776 ^ _592390) ^ [_674633] : [militaryperson(_674633), -(isa(_674633, c_militaryperson))], (2782 ^ _592390) ^ [_674821] : [isa(_674821, c_tptpcol_15_72793), -(tptpcol_15_72793(_674821))], (2788 ^ _592390) ^ [_675009] : [tptpcol_15_72793(_675009), -(isa(_675009, c_tptpcol_15_72793))], (2794 ^ _592390) ^ [_675197] : [isa(_675197, c_tptpcol_9_26885), -(tptpcol_9_26885(_675197))], (2800 ^ _592390) ^ [_675385] : [tptpcol_9_26885(_675385), -(isa(_675385, c_tptpcol_9_26885))], (2806 ^ _592390) ^ [_675573] : [isa(_675573, c_tptpcol_10_26886), -(tptpcol_10_26886(_675573))], (2812 ^ _592390) ^ [_675761] : [tptpcol_10_26886(_675761), -(isa(_675761, c_tptpcol_10_26886))], (2818 ^ _592390) ^ [_675963, _675965] : [tptptypes_8_823(_675965, _675963), -(firstordercollection(_675963))], (2824 ^ _592390) ^ [_676171, _676173] : [tptptypes_8_823(_676173, _676171), -(firstordercollection(_676173))], (2830 ^ _592390) ^ [_676365] : [isa(_676365, c_tptpcol_16_92269), -(tptpcol_16_92269(_676365))], (2836 ^ _592390) ^ [_676553] : [tptpcol_16_92269(_676553), -(isa(_676553, c_tptpcol_16_92269))], (2842 ^ _592390) ^ [_676741] : [isa(_676741, c_tptpcol_15_109185), -(tptpcol_15_109185(_676741))], (2848 ^ _592390) ^ [_676929] : [tptpcol_15_109185(_676929), -(isa(_676929, c_tptpcol_15_109185))], (2854 ^ _592390) ^ [_677117] : [isa(_677117, c_tptpcol_6_26627), -(tptpcol_6_26627(_677117))], (2860 ^ _592390) ^ [_677305] : [tptpcol_6_26627(_677305), -(isa(_677305, c_tptpcol_6_26627))], (2866 ^ _592390) ^ [_677493] : [isa(_677493, c_tptpcol_12_118116), -(tptpcol_12_118116(_677493))], (2872 ^ _592390) ^ [_677681] : [tptpcol_12_118116(_677681), -(isa(_677681, c_tptpcol_12_118116))], (2878 ^ _592390) ^ [_677869] : [isa(_677869, c_tptpcol_8_18438), -(tptpcol_8_18438(_677869))], (2884 ^ _592390) ^ [_678057] : [tptpcol_8_18438(_678057), -(isa(_678057, c_tptpcol_8_18438))], (2890 ^ _592390) ^ [_678245] : [isa(_678245, c_tptpcol_15_30970), -(tptpcol_15_30970(_678245))], (2896 ^ _592390) ^ [_678433] : [tptpcol_15_30970(_678433), -(isa(_678433, c_tptpcol_15_30970))], (2902 ^ _592390) ^ [_678621] : [isa(_678621, c_tptpcol_16_30972), -(tptpcol_16_30972(_678621))], (2908 ^ _592390) ^ [_678809] : [tptpcol_16_30972(_678809), -(isa(_678809, c_tptpcol_16_30972))], (2914 ^ _592390) ^ [_678997] : [isa(_678997, c_tptpcol_14_109181), -(tptpcol_14_109181(_678997))], (2920 ^ _592390) ^ [_679185] : [tptpcol_14_109181(_679185), -(isa(_679185, c_tptpcol_14_109181))], (2926 ^ _592390) ^ [_679373] : [isa(_679373, c_physicalorderingpredicate), -(physicalorderingpredicate(_679373))], (2932 ^ _592390) ^ [_679561] : [physicalorderingpredicate(_679561), -(isa(_679561, c_physicalorderingpredicate))], (2938 ^ _592390) ^ [_679749] : [isa(_679749, c_tptpcol_16_7738), -(tptpcol_16_7738(_679749))], (2944 ^ _592390) ^ [_679937] : [tptpcol_16_7738(_679937), -(isa(_679937, c_tptpcol_16_7738))], (2950 ^ _592390) ^ [_680139, _680141] : [tptp_8_968(_680141, _680139), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680139))], (2956 ^ _592390) ^ [_680347, _680349] : [tptp_8_968(_680349, _680347), -(tptpcol_7_7172(_680349))], (2962 ^ _592390) ^ [_680569, _680571, _680573] : [relationexistsall(_680573, _680571, _680569), -(collection(_680569))], (2968 ^ _592390) ^ [_680799, _680801, _680803] : [relationexistsall(_680803, _680801, _680799), -(collection(_680801))], (2974 ^ _592390) ^ [_681029, _681031, _681033] : [relationexistsall(_681033, _681031, _681029), -(binarypredicate(_681033))], (2980 ^ _592390) ^ [_681231] : [isa(_681231, c_tptpcol_7_26628), -(tptpcol_7_26628(_681231))], (2986 ^ _592390) ^ [_681419] : [tptpcol_7_26628(_681419), -(isa(_681419, c_tptpcol_7_26628))], (2992 ^ _592390) ^ [_681607] : [isa(_681607, c_tptpcol_8_26629), -(tptpcol_8_26629(_681607))], (2998 ^ _592390) ^ [_681795] : [tptpcol_8_26629(_681795), -(isa(_681795, c_tptpcol_8_26629))], (3004 ^ _592390) ^ [_681983] : [isa(_681983, c_tptpcol_3_114688), -(tptpcol_3_114688(_681983))], (3010 ^ _592390) ^ [_682171] : [tptpcol_3_114688(_682171), -(isa(_682171, c_tptpcol_3_114688))], (3016 ^ _592390) ^ [_682344] : [-(natfunction(f_contextofpcwfn(_682344), c_contextofpcwfn))], (3018 ^ _592390) ^ [_682424] : [-(natargument(f_contextofpcwfn(_682424), n_1, _682424))], (3020 ^ _592390) ^ [_682505] : [-(microtheory(f_contextofpcwfn(_682505)))], (3022 ^ _592390) ^ [_682613, _682615] : [arg1isa(_682615, _682613), -(collection(_682613))], (3028 ^ _592390) ^ [_682821, _682823] : [arg1isa(_682823, _682821), -(relation(_682823))], (3034 ^ _592390) ^ [_683043, _683045, _683047] : [-(arg1isa(_683047, _683043)), arg1isa(_683047, _683045), genls(_683045, _683043)], (3044 ^ _592390) ^ [_683366, _683368, _683370] : [-(arg1isa(_683370, _683366)), arg1isa(_683370, _683368), genls(_683368, _683366)], (3054 ^ _592390) ^ [_683675, _683677] : [objectfoundinlocation(_683677, _683675), -(spatialthing_nonsituational(_683675))], (3060 ^ _592390) ^ [_683883, _683885] : [objectfoundinlocation(_683885, _683883), -(spatialthing_localized(_683883))], (3066 ^ _592390) ^ [_684091, _684093] : [objectfoundinlocation(_684093, _684091), -(spatialthing_nonsituational(_684093))], (3072 ^ _592390) ^ [_684299, _684301] : [objectfoundinlocation(_684301, _684299), -(spatialthing_localized(_684301))], (3078 ^ _592390) ^ [_684521, _684523, _684525] : [-(objectfoundinlocation(_684525, _684521)), objectfoundinlocation(_684525, _684523), objectfoundinlocation(_684523, _684521)], (3088 ^ _592390) ^ [_684800] : [objectfoundinlocation(_684800, _684800)], (3090 ^ _592390) ^ [_684921, _684923, _684925] : [-(objectfoundinlocation(_684925, _684921)), objectfoundinlocation(_684925, _684923), geopoliticalsubdivision(_684921, _684923)], (3100 ^ _592390) ^ [_685244, _685246, _685248] : [-(objectfoundinlocation(_685248, _685244)), objectfoundinlocation(_685248, _685246), geographicallysubsumes(_685244, _685246)], (3110 ^ _592390) ^ [_685567, _685569, _685571] : [-(objectfoundinlocation(_685571, _685567)), objectfoundinlocation(_685571, _685569), subregions(_685567, _685569)], (3120 ^ _592390) ^ [_685862] : [isa(_685862, c_ship), -(ship(_685862))], (3126 ^ _592390) ^ [_686050] : [ship(_686050), -(isa(_686050, c_ship))], (3132 ^ _592390) ^ [_686251, _686253, _686255] : [-(natfunction(f_subcollectionofwithrelationtofn(_686255, _686253, _686251), c_subcollectionofwithrelationtofn))], (3134 ^ _592390) ^ [_686365, _686367, _686369] : [-(natargument(f_subcollectionofwithrelationtofn(_686369, _686367, _686365), n_1, _686369))], (3136 ^ _592390) ^ [_686480, _686482, _686484] : [-(natargument(f_subcollectionofwithrelationtofn(_686484, _686482, _686480), n_2, _686482))], (3138 ^ _592390) ^ [_686595, _686597, _686599] : [-(natargument(f_subcollectionofwithrelationtofn(_686599, _686597, _686595), n_3, _686595))], (3140 ^ _592390) ^ [_686710, _686712, _686714] : [-(collection(f_subcollectionofwithrelationtofn(_686714, _686712, _686710)))], (3142 ^ _592390) ^ [_686810] : [isa(_686810, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686810))], (3148 ^ _592390) ^ [_686998] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686998), -(isa(_686998, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592390) ^ [_687186] : [isa(_687186, c_tptpcol_4_65539), -(tptpcol_4_65539(_687186))], (3160 ^ _592390) ^ [_687374] : [tptpcol_4_65539(_687374), -(isa(_687374, c_tptpcol_4_65539))], (3166 ^ _592390) ^ [_687562] : [isa(_687562, c_tptpcol_5_69635), -(tptpcol_5_69635(_687562))], (3172 ^ _592390) ^ [_687750] : [tptpcol_5_69635(_687750), -(isa(_687750, c_tptpcol_5_69635))], (3178 ^ _592390) ^ [_687938] : [isa(_687938, c_tptpcol_3_16386), -(tptpcol_3_16386(_687938))], (3184 ^ _592390) ^ [_688126] : [tptpcol_3_16386(_688126), -(isa(_688126, c_tptpcol_3_16386))], (3190 ^ _592390) ^ [_688328, _688330] : [no(_688330, _688328), -(setorcollection(_688328))], (3196 ^ _592390) ^ [_688536, _688538] : [no(_688538, _688536), -(setorcollection(_688538))], (3202 ^ _592390) ^ [_688744, _688746] : [no(_688746, _688744), -(no(_688744, _688746))], (3208 ^ _592390) ^ [_688968, _688970, _688972] : [-(no(_688972, _688968)), no(_688972, _688970), subsetof(_688968, _688970)], (3218 ^ _592390) ^ [_689291, _689293, _689295] : [-(no(_689291, _689293)), no(_689295, _689293), subsetof(_689291, _689295)], (3228 ^ _592390) ^ [_689614, _689616, _689618] : [-(no(_689614, _689616)), no(_689618, _689616), genls(_689614, _689618)], (3238 ^ _592390) ^ [_689937, _689939, _689941] : [-(no(_689941, _689937)), no(_689941, _689939), genls(_689937, _689939)], (3248 ^ _592390) ^ [_690260, _690262, _690264] : [-(no(_690260, _690262)), no(_690264, _690262), subsetof(_690260, _690264)], (3258 ^ _592390) ^ [_690583, _690585, _690587] : [-(no(_690587, _690583)), no(_690587, _690585), subsetof(_690583, _690585)], (3268 ^ _592390) ^ [_690878] : [isa(_690878, c_geographicalregion), -(geographicalregion(_690878))], (3274 ^ _592390) ^ [_691066] : [geographicalregion(_691066), -(isa(_691066, c_geographicalregion))], (3280 ^ _592390) ^ [_691239] : [-(natfunction(f_tptpquantityfn_21(_691239), c_tptpquantityfn_21))], (3282 ^ _592390) ^ [_691319] : [-(natargument(f_tptpquantityfn_21(_691319), n_1, _691319))], (3284 ^ _592390) ^ [_691400] : [-(tptpquantity(f_tptpquantityfn_21(_691400)))], (3286 ^ _592390) ^ [_691508, _691510] : [airporthasiatacode(_691510, _691508), -(stringoflengthfn3(_691508))], (3292 ^ _592390) ^ [_691716, _691718] : [airporthasiatacode(_691718, _691716), -(airport_physical(_691718))], (3298 ^ _592390) ^ [_691910] : [isa(_691910, c_airport_physical), -(airport_physical(_691910))], (3304 ^ _592390) ^ [_692098] : [airport_physical(_692098), -(isa(_692098, c_airport_physical))], (3310 ^ _592390) ^ [_692299, _692301, _692303] : [-(natfunction(f_instancewithrelationtofn(_692303, _692301, _692299), c_instancewithrelationtofn))], (3312 ^ _592390) ^ [_692413, _692415, _692417] : [-(natargument(f_instancewithrelationtofn(_692417, _692415, _692413), n_1, _692417))], (3314 ^ _592390) ^ [_692528, _692530, _692532] : [-(natargument(f_instancewithrelationtofn(_692532, _692530, _692528), n_2, _692530))], (3316 ^ _592390) ^ [_692643, _692645, _692647] : [-(natargument(f_instancewithrelationtofn(_692647, _692645, _692643), n_3, _692643))], (3318 ^ _592390) ^ [_692758, _692760, _692762] : [-(thing(f_instancewithrelationtofn(_692762, _692760, _692758)))], (3320 ^ _592390) ^ [_692858] : [isa(_692858, c_tptpcol_6_112641), -(tptpcol_6_112641(_692858))], (3326 ^ _592390) ^ [_693046] : [tptpcol_6_112641(_693046), -(isa(_693046, c_tptpcol_6_112641))], (3332 ^ _592390) ^ [_693234] : [isa(_693234, c_tptpcol_7_113665), -(tptpcol_7_113665(_693234))], (3338 ^ _592390) ^ [_693422] : [tptpcol_7_113665(_693422), -(isa(_693422, c_tptpcol_7_113665))], (3344 ^ _592390) ^ [_693610] : [isa(_693610, c_artifact), -(artifact(_693610))], (3350 ^ _592390) ^ [_693798] : [artifact(_693798), -(isa(_693798, c_artifact))], (3356 ^ _592390) ^ [_693986] : [isa(_693986, c_tptpcol_13_18664), -(tptpcol_13_18664(_693986))], (3362 ^ _592390) ^ [_694174] : [tptpcol_13_18664(_694174), -(isa(_694174, c_tptpcol_13_18664))], (3368 ^ _592390) ^ [_694362] : [isa(_694362, c_firstordercollection), -(firstordercollection(_694362))], (3374 ^ _592390) ^ [_694550] : [firstordercollection(_694550), -(isa(_694550, c_firstordercollection))], (3380 ^ _592390) ^ [_694723] : [-(natfunction(f_tptpquantityfn_14(_694723), c_tptpquantityfn_14))], (3382 ^ _592390) ^ [_694803] : [-(natargument(f_tptpquantityfn_14(_694803), n_1, _694803))], (3384 ^ _592390) ^ [_694884] : [-(tptpquantity(f_tptpquantityfn_14(_694884)))], (3386 ^ _592390) ^ [_694978] : [isa(_694978, c_supplies), -(supplies(_694978))], (3392 ^ _592390) ^ [_695166] : [supplies(_695166), -(isa(_695166, c_supplies))], (3398 ^ _592390) ^ [_695354] : [isa(_695354, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695354))], (3404 ^ _592390) ^ [_695542] : [inanimateobject_nonnatural(_695542), -(isa(_695542, c_inanimateobject_nonnatural))], (3410 ^ _592390) ^ [_695730] : [isa(_695730, c_tptpcol_13_22071), -(tptpcol_13_22071(_695730))], (3416 ^ _592390) ^ [_695918] : [tptpcol_13_22071(_695918), -(isa(_695918, c_tptpcol_13_22071))], (3422 ^ _592390) ^ [_696106] : [isa(_696106, c_tptpcol_14_22072), -(tptpcol_14_22072(_696106))], (3428 ^ _592390) ^ [_696294] : [tptpcol_14_22072(_696294), -(isa(_696294, c_tptpcol_14_22072))], (3434 ^ _592390) ^ [_696482] : [isa(_696482, c_tptpcol_7_108547), -(tptpcol_7_108547(_696482))], (3440 ^ _592390) ^ [_696670] : [tptpcol_7_108547(_696670), -(isa(_696670, c_tptpcol_7_108547))], (3446 ^ _592390) ^ [_696858] : [isa(_696858, c_tptpcol_8_109059), -(tptpcol_8_109059(_696858))], (3452 ^ _592390) ^ [_697046] : [tptpcol_8_109059(_697046), -(isa(_697046, c_tptpcol_8_109059))], (3458 ^ _592390) ^ [_697234] : [isa(_697234, c_tptpcol_14_93774), -(tptpcol_14_93774(_697234))], (3464 ^ _592390) ^ [_697422] : [tptpcol_14_93774(_697422), -(isa(_697422, c_tptpcol_14_93774))], (3470 ^ _592390) ^ [_697610] : [isa(_697610, c_tptpcol_15_93775), -(tptpcol_15_93775(_697610))], (3476 ^ _592390) ^ [_697798] : [tptpcol_15_93775(_697798), -(isa(_697798, c_tptpcol_15_93775))], (3482 ^ _592390) ^ [_697986] : [isa(_697986, c_tptpcol_16_8886), -(tptpcol_16_8886(_697986))], (3488 ^ _592390) ^ [_698174] : [tptpcol_16_8886(_698174), -(isa(_698174, c_tptpcol_16_8886))], (3494 ^ _592390) ^ [_698376, _698378] : [orientation(_698378, _698376), -(orientationvector(_698376))], (3500 ^ _592390) ^ [_698584, _698586] : [orientation(_698586, _698584), -(spatialthing_localized(_698586))], (3506 ^ _592390) ^ [_698778] : [isa(_698778, c_orientationvector), -(orientationvector(_698778))], (3512 ^ _592390) ^ [_698966] : [orientationvector(_698966), -(isa(_698966, c_orientationvector))], (3518 ^ _592390) ^ [_699154] : [isa(_699154, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699154))], (3524 ^ _592390) ^ [_699342] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699342), -(isa(_699342, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592390) ^ [_699544, _699546] : [tptptypes_9_824(_699546, _699544), -(firstordercollection(_699544))], (3536 ^ _592390) ^ [_699752, _699754] : [tptptypes_9_824(_699754, _699752), -(firstordercollection(_699754))], (3542 ^ _592390) ^ [_699960, _699962] : [tptptypes_7_396(_699962, _699960), -(firstordercollection(_699960))], (3548 ^ _592390) ^ [_700168, _700170] : [tptptypes_7_396(_700170, _700168), -(firstordercollection(_700170))], (3554 ^ _592390) ^ [_700362] : [isa(_700362, c_tptpcol_12_22055), -(tptpcol_12_22055(_700362))], (3560 ^ _592390) ^ [_700550] : [tptpcol_12_22055(_700550), -(isa(_700550, c_tptpcol_12_22055))], (3566 ^ _592390) ^ [_700738] : [isa(_700738, c_tptpcol_16_29490), -(tptpcol_16_29490(_700738))], (3572 ^ _592390) ^ [_700926] : [tptpcol_16_29490(_700926), -(isa(_700926, c_tptpcol_16_29490))], (3578 ^ _592390) ^ [_701128, _701130] : [tptp_9_720(_701130, _701128), -(tptpcol_5_28674(_701128))], (3584 ^ _592390) ^ [_701336, _701338] : [tptp_9_720(_701338, _701336), -(executionbyfiringsquad(_701338))], (3590 ^ _592390) ^ [_701530] : [isa(_701530, c_runningshorts), -(runningshorts(_701530))], (3596 ^ _592390) ^ [_701718] : [runningshorts(_701718), -(isa(_701718, c_runningshorts))], (3602 ^ _592390) ^ [_701906] : [isa(_701906, c_tptpcol_9_118019), -(tptpcol_9_118019(_701906))], (3608 ^ _592390) ^ [_702094] : [tptpcol_9_118019(_702094), -(isa(_702094, c_tptpcol_9_118019))], (3614 ^ _592390) ^ [_702282] : [isa(_702282, c_tptpcol_16_31868), -(tptpcol_16_31868(_702282))], (3620 ^ _592390) ^ [_702470] : [tptpcol_16_31868(_702470), -(isa(_702470, c_tptpcol_16_31868))], (3626 ^ _592390) ^ [_702658] : [isa(_702658, c_movement_translationevent), -(movement_translationevent(_702658))], (3632 ^ _592390) ^ [_702846] : [movement_translationevent(_702846), -(isa(_702846, c_movement_translationevent))], (3638 ^ _592390) ^ [_703048, _703050] : [directionoftranslation_throughout(_703050, _703048), -(unitvectorinterval(_703048))], (3644 ^ _592390) ^ [_703256, _703258] : [directionoftranslation_throughout(_703258, _703256), -(movement_translationevent(_703258))], (3650 ^ _592390) ^ [_703478, _703480, _703482] : [-(directionoftranslation_throughout(_703478, _703480)), directionoftranslation_throughout(_703482, _703480), subevents(_703482, _703478)], (3660 ^ _592390) ^ [_703773] : [isa(_703773, c_unitvectorinterval), -(unitvectorinterval(_703773))], (3666 ^ _592390) ^ [_703961] : [unitvectorinterval(_703961), -(isa(_703961, c_unitvectorinterval))], (3672 ^ _592390) ^ [_704149] : [isa(_704149, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704149))], (3678 ^ _592390) ^ [_704337] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704337), -(isa(_704337, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592390) ^ [_704539, _704541] : [tptp_8_875(_704541, _704539), -(tptpcol_4_24578(_704539))], (3690 ^ _592390) ^ [_704747, _704749] : [tptp_8_875(_704749, _704747), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704749))], (3696 ^ _592390) ^ [_704969, _704971, _704973] : [relationallexists(_704973, _704971, _704969), -(collection(_704969))], (3702 ^ _592390) ^ [_705199, _705201, _705203] : [relationallexists(_705203, _705201, _705199), -(collection(_705201))], (3708 ^ _592390) ^ [_705429, _705431, _705433] : [relationallexists(_705433, _705431, _705429), -(binarypredicate(_705433))], (3714 ^ _592390) ^ [_705631] : [isa(_705631, c_tptpcol_16_10258), -(tptpcol_16_10258(_705631))], (3720 ^ _592390) ^ [_705819] : [tptpcol_16_10258(_705819), -(isa(_705819, c_tptpcol_16_10258))], (3726 ^ _592390) ^ [_706007] : [isa(_706007, c_pushingababycarriage), -(pushingababycarriage(_706007))], (3732 ^ _592390) ^ [_706195] : [pushingababycarriage(_706195), -(isa(_706195, c_pushingababycarriage))], (3738 ^ _592390) ^ [_706383] : [isa(_706383, c_aspatialinformationstore), -(aspatialinformationstore(_706383))], (3744 ^ _592390) ^ [_706571] : [aspatialinformationstore(_706571), -(isa(_706571, c_aspatialinformationstore))], (3750 ^ _592390) ^ [_706759] : [isa(_706759, c_collection), -(collection(_706759))], (3756 ^ _592390) ^ [_706947] : [collection(_706947), -(isa(_706947, c_collection))], (3762 ^ _592390) ^ [_707135] : [isa(_707135, c_fixedordercollection), -(fixedordercollection(_707135))], (3768 ^ _592390) ^ [_707323] : [fixedordercollection(_707323), -(isa(_707323, c_fixedordercollection))], (3774 ^ _592390) ^ [_707511] : [isa(_707511, c_tptpcol_8_92164), -(tptpcol_8_92164(_707511))], (3780 ^ _592390) ^ [_707699] : [tptpcol_8_92164(_707699), -(isa(_707699, c_tptpcol_8_92164))], (3786 ^ _592390) ^ [_707887] : [isa(_707887, c_tptpcol_9_92165), -(tptpcol_9_92165(_707887))], (3792 ^ _592390) ^ [_708075] : [tptpcol_9_92165(_708075), -(isa(_708075, c_tptpcol_9_92165))], (3798 ^ _592390) ^ [_708263] : [isa(_708263, c_tptpcol_1_1), -(tptpcol_1_1(_708263))], (3804 ^ _592390) ^ [_708451] : [tptpcol_1_1(_708451), -(isa(_708451, c_tptpcol_1_1))], (3810 ^ _592390) ^ [_708639] : [isa(_708639, c_tptpcol_2_2), -(tptpcol_2_2(_708639))], (3816 ^ _592390) ^ [_708827] : [tptpcol_2_2(_708827), -(isa(_708827, c_tptpcol_2_2))], (3822 ^ _592390) ^ [_709029, _709031] : [tptptypes_7_691(_709031, _709029), -(firstordercollection(_709029))], (3828 ^ _592390) ^ [_709237, _709239] : [tptptypes_7_691(_709239, _709237), -(firstordercollection(_709239))], (3834 ^ _592390) ^ [_709431] : [isa(_709431, c_tptpcol_11_26887), -(tptpcol_11_26887(_709431))], (3840 ^ _592390) ^ [_709619] : [tptpcol_11_26887(_709619), -(isa(_709619, c_tptpcol_11_26887))], (3846 ^ _592390) ^ [_709807] : [isa(_709807, c_tptpcol_12_26919), -(tptpcol_12_26919(_709807))], (3852 ^ _592390) ^ [_709995] : [tptpcol_12_26919(_709995), -(isa(_709995, c_tptpcol_12_26919))], (3858 ^ _592390) ^ [_710197, _710199] : [tptptypes_6_818(_710199, _710197), -(firstordercollection(_710197))], (3864 ^ _592390) ^ [_710405, _710407] : [tptptypes_6_818(_710407, _710405), -(firstordercollection(_710407))], (3870 ^ _592390) ^ [_710613, _710615] : [tptptypes_7_819(_710615, _710613), -(firstordercollection(_710613))], (3876 ^ _592390) ^ [_710821, _710823] : [tptptypes_7_819(_710823, _710821), -(firstordercollection(_710823))], (3882 ^ _592390) ^ [_711015] : [isa(_711015, c_correctivelensprescription), -(correctivelensprescription(_711015))], (3888 ^ _592390) ^ [_711203] : [correctivelensprescription(_711203), -(isa(_711203, c_correctivelensprescription))], (3894 ^ _592390) ^ [_711405, _711407] : [products(_711407, _711405), -(artifact(_711405))], (3900 ^ _592390) ^ [_711613, _711615] : [products(_711615, _711613), -(creationordestructionevent(_711615))], (3906 ^ _592390) ^ [_711807] : [isa(_711807, c_issuingaprescription), -(issuingaprescription(_711807))], (3912 ^ _592390) ^ [_711995] : [issuingaprescription(_711995), -(isa(_711995, c_issuingaprescription))], (3918 ^ _592390) ^ [_712196, _712198, _712200] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712200, _712198, _712196), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592390) ^ [_712310, _712312, _712314] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712314, _712312, _712310), n_1, _712314))], (3922 ^ _592390) ^ [_712425, _712427, _712429] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712429, _712427, _712425), n_2, _712427))], (3924 ^ _592390) ^ [_712540, _712542, _712544] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712544, _712542, _712540), n_3, _712540))], (3926 ^ _592390) ^ [_712655, _712657, _712659] : [-(collection(f_subcollectionofwithrelationtotypefn(_712659, _712657, _712655)))], (3928 ^ _592390) ^ [_712755] : [isa(_712755, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712755))], (3934 ^ _592390) ^ [_712943] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712943), -(isa(_712943, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592390) ^ [_713131] : [isa(_713131, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713131))], (3946 ^ _592390) ^ [_713319] : [mathematicalorcomputationalthing(_713319), -(isa(_713319, c_mathematicalorcomputationalthing))], (3952 ^ _592390) ^ [_713507] : [isa(_713507, c_tptpcol_10_118020), -(tptpcol_10_118020(_713507))], (3958 ^ _592390) ^ [_713695] : [tptpcol_10_118020(_713695), -(isa(_713695, c_tptpcol_10_118020))], (3964 ^ _592390) ^ [_713883] : [isa(_713883, c_tptpcol_11_118084), -(tptpcol_11_118084(_713883))], (3970 ^ _592390) ^ [_714071] : [tptpcol_11_118084(_714071), -(isa(_714071, c_tptpcol_11_118084))], (3976 ^ _592390) ^ [_714259] : [isa(_714259, c_terroristgroup), -(terroristgroup(_714259))], (3982 ^ _592390) ^ [_714447] : [terroristgroup(_714447), -(isa(_714447, c_terroristgroup))], (3988 ^ _592390) ^ [_714649, _714651] : [hasmembers(_714651, _714649), -(agent_generic(_714649))], (3994 ^ _592390) ^ [_714857, _714859] : [hasmembers(_714859, _714857), -(organization(_714859))], (4000 ^ _592390) ^ [_715051] : [isa(_715051, c_terrorist), -(terrorist(_715051))], (4006 ^ _592390) ^ [_715239] : [terrorist(_715239), -(isa(_715239, c_terrorist))], (4012 ^ _592390) ^ [_715440, _715442, _715444] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715444, _715442, _715440), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592390) ^ [_715554, _715556, _715558] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715558, _715556, _715554), n_1, _715558))], (4016 ^ _592390) ^ [_715669, _715671, _715673] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715673, _715671, _715669), n_2, _715671))], (4018 ^ _592390) ^ [_715784, _715786, _715788] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715788, _715786, _715784), n_3, _715784))], (4020 ^ _592390) ^ [_715899, _715901, _715903] : [-(collection(f_subcollectionofwithrelationfromtypefn(_715903, _715901, _715899)))], (4022 ^ _592390) ^ [_715999] : [isa(_715999, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_715999))], (4028 ^ _592390) ^ [_716187] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716187), -(isa(_716187, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592390) ^ [_716389, _716391] : [prettystring(_716391, _716389), -(controlcharacterfreestring(_716389))], (4040 ^ _592390) ^ [_716597, _716599] : [prettystring(_716599, _716597), -(thing(_716599))], (4046 ^ _592390) ^ [_716791] : [isa(_716791, c_tptpcol_0_0), -(tptpcol_0_0(_716791))], (4052 ^ _592390) ^ [_716979] : [tptpcol_0_0(_716979), -(isa(_716979, c_tptpcol_0_0))], (4058 ^ _592390) ^ [_717167] : [isa(_717167, c_geolevel_3), -(geolevel_3(_717167))], (4064 ^ _592390) ^ [_717355] : [geolevel_3(_717355), -(isa(_717355, c_geolevel_3))], (4070 ^ _592390) ^ [_717543] : [isa(_717543, c_tptpcol_4_24578), -(tptpcol_4_24578(_717543))], (4076 ^ _592390) ^ [_717731] : [tptpcol_4_24578(_717731), -(isa(_717731, c_tptpcol_4_24578))], (4082 ^ _592390) ^ [_717919] : [isa(_717919, c_tptpcol_5_24579), -(tptpcol_5_24579(_717919))], (4088 ^ _592390) ^ [_718107] : [tptpcol_5_24579(_718107), -(isa(_718107, c_tptpcol_5_24579))], (4094 ^ _592390) ^ [_718295] : [isa(_718295, c_tptpcol_5_106498), -(tptpcol_5_106498(_718295))], (4100 ^ _592390) ^ [_718483] : [tptpcol_5_106498(_718483), -(isa(_718483, c_tptpcol_5_106498))], (4106 ^ _592390) ^ [_718671] : [isa(_718671, c_tptpcol_12_109157), -(tptpcol_12_109157(_718671))], (4112 ^ _592390) ^ [_718859] : [tptpcol_12_109157(_718859), -(isa(_718859, c_tptpcol_12_109157))], (4118 ^ _592390) ^ [_719047] : [isa(_719047, c_tptpcol_13_109173), -(tptpcol_13_109173(_719047))], (4124 ^ _592390) ^ [_719235] : [tptpcol_13_109173(_719235), -(isa(_719235, c_tptpcol_13_109173))], (4130 ^ _592390) ^ [_719423] : [isa(_719423, c_mathematicalthing), -(mathematicalthing(_719423))], (4136 ^ _592390) ^ [_719611] : [mathematicalthing(_719611), -(isa(_719611, c_mathematicalthing))], (4142 ^ _592390) ^ [_719799] : [isa(_719799, c_setorcollection), -(setorcollection(_719799))], (4148 ^ _592390) ^ [_719987] : [setorcollection(_719987), -(isa(_719987, c_setorcollection))], (4154 ^ _592390) ^ [_720175] : [isa(_720175, c_tptpcol_11_18631), -(tptpcol_11_18631(_720175))], (4160 ^ _592390) ^ [_720363] : [tptpcol_11_18631(_720363), -(isa(_720363, c_tptpcol_11_18631))], (4166 ^ _592390) ^ [_720551] : [isa(_720551, c_tptpcol_12_18663), -(tptpcol_12_18663(_720551))], (4172 ^ _592390) ^ [_720739] : [tptpcol_12_18663(_720739), -(isa(_720739, c_tptpcol_12_18663))], (4178 ^ _592390) ^ [_720941, _720943] : [tptptypes_8_400(_720943, _720941), -(firstordercollection(_720941))], (4184 ^ _592390) ^ [_721149, _721151] : [tptptypes_8_400(_721151, _721149), -(firstordercollection(_721151))], (4190 ^ _592390) ^ [_721357, _721359] : [tptptypes_9_401(_721359, _721357), -(firstordercollection(_721357))], (4196 ^ _592390) ^ [_721565, _721567] : [tptptypes_9_401(_721567, _721565), -(firstordercollection(_721567))], (4202 ^ _592390) ^ [_721744] : [-(natfunction(f_tptpquantityfn_13(_721744), c_tptpquantityfn_13))], (4204 ^ _592390) ^ [_721824] : [-(natargument(f_tptpquantityfn_13(_721824), n_1, _721824))], (4206 ^ _592390) ^ [_721905] : [-(tptpquantity(f_tptpquantityfn_13(_721905)))], (4208 ^ _592390) ^ [_722013, _722015] : [borderson(_722015, _722013), -(geographicalregion(_722013))], (4214 ^ _592390) ^ [_722221, _722223] : [borderson(_722223, _722221), -(geographicalregion(_722223))], (4220 ^ _592390) ^ [_722429, _722431] : [borderson(_722431, _722429), -(borderson(_722429, _722431))], (4226 ^ _592390) ^ [_722609] : [borderson(_722609, _722609)], (4228 ^ _592390) ^ [_722702] : [isa(_722702, c_tptpcol_14_92264), -(tptpcol_14_92264(_722702))], (4234 ^ _592390) ^ [_722890] : [tptpcol_14_92264(_722890), -(isa(_722890, c_tptpcol_14_92264))], (4240 ^ _592390) ^ [_723078] : [isa(_723078, c_tptpcol_15_92268), -(tptpcol_15_92268(_723078))], (4246 ^ _592390) ^ [_723266] : [tptpcol_15_92268(_723266), -(isa(_723266, c_tptpcol_15_92268))], (4252 ^ _592390) ^ [_723454] : [isa(_723454, c_tptpcol_6_116738), -(tptpcol_6_116738(_723454))], (4258 ^ _592390) ^ [_723642] : [tptpcol_6_116738(_723642), -(isa(_723642, c_tptpcol_6_116738))], (4264 ^ _592390) ^ [_723844, _723846] : [tptptypes_5_387(_723846, _723844), -(firstordercollection(_723844))], (4270 ^ _592390) ^ [_724052, _724054] : [tptptypes_5_387(_724054, _724052), -(firstordercollection(_724054))], (4276 ^ _592390) ^ [_724260, _724262] : [tptptypes_6_388(_724262, _724260), -(firstordercollection(_724260))], (4282 ^ _592390) ^ [_724468, _724470] : [tptptypes_6_388(_724470, _724468), -(firstordercollection(_724470))], (4288 ^ _592390) ^ [_724662] : [isa(_724662, c_shavingrazor_manual), -(shavingrazor_manual(_724662))], (4294 ^ _592390) ^ [_724850] : [shavingrazor_manual(_724850), -(isa(_724850, c_shavingrazor_manual))], (4300 ^ _592390) ^ [_725038] : [isa(_725038, c_tptpcol_9_109060), -(tptpcol_9_109060(_725038))], (4306 ^ _592390) ^ [_725226] : [tptpcol_9_109060(_725226), -(isa(_725226, c_tptpcol_9_109060))], (4312 ^ _592390) ^ [_725414] : [isa(_725414, c_tptpcol_10_109061), -(tptpcol_10_109061(_725414))], (4318 ^ _592390) ^ [_725602] : [tptpcol_10_109061(_725602), -(isa(_725602, c_tptpcol_10_109061))], (4324 ^ _592390) ^ [_725790] : [isa(_725790, c_executionbyfiringsquad), -(executionbyfiringsquad(_725790))], (4330 ^ _592390) ^ [_725978] : [executionbyfiringsquad(_725978), -(isa(_725978, c_executionbyfiringsquad))], (4336 ^ _592390) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592390) ^ [_726219] : [isa(_726219, c_navypersonnel), -(navypersonnel(_726219))], (4344 ^ _592390) ^ [_726407] : [navypersonnel(_726407), -(isa(_726407, c_navypersonnel))], (4350 ^ _592390) ^ [_726595] : [isa(_726595, c_tptpcol_12_92262), -(tptpcol_12_92262(_726595))], (4356 ^ _592390) ^ [_726783] : [tptpcol_12_92262(_726783), -(isa(_726783, c_tptpcol_12_92262))], (4362 ^ _592390) ^ [_726971] : [isa(_726971, c_thing), -(thing(_726971))], (4368 ^ _592390) ^ [_727159] : [thing(_727159), -(isa(_727159, c_thing))], (4374 ^ _592390) ^ [_727347] : [isa(_727347, c_computerdataartifact), -(computerdataartifact(_727347))], (4380 ^ _592390) ^ [_727535] : [computerdataartifact(_727535), -(isa(_727535, c_computerdataartifact))], (4386 ^ _592390) ^ [_727723] : [isa(_727723, c_applicationcontext), -(applicationcontext(_727723))], (4392 ^ _592390) ^ [_727911] : [applicationcontext(_727911), -(isa(_727911, c_applicationcontext))], (4398 ^ _592390) ^ [_728113, _728115] : [inregion(_728115, _728113), -(spatialthing_nonsituational(_728113))], (4404 ^ _592390) ^ [_728321, _728323] : [inregion(_728323, _728321), -(spatialthing_nonsituational(_728323))], (4410 ^ _592390) ^ [_728543, _728545, _728547] : [-(inregion(_728547, _728543)), inregion(_728547, _728545), inregion(_728545, _728543)], (4420 ^ _592390) ^ [_728838] : [spatialthing_nonsituational(_728838), -(inregion(_728838, _728838))], (4426 ^ _592390) ^ [_729011] : [-(natfunction(f_tptpquantityfn_1(_729011), c_tptpquantityfn_1))], (4428 ^ _592390) ^ [_729091] : [-(natargument(f_tptpquantityfn_1(_729091), n_1, _729091))], (4430 ^ _592390) ^ [_729172] : [-(tptpquantity(f_tptpquantityfn_1(_729172)))], (4432 ^ _592390) ^ [_729266] : [isa(_729266, c_furpelt), -(furpelt(_729266))], (4438 ^ _592390) ^ [_729454] : [furpelt(_729454), -(isa(_729454, c_furpelt))], (4444 ^ _592390) ^ [_729656, _729658] : [tptpofobject(_729658, _729656), -(tptpquantity(_729656))], (4450 ^ _592390) ^ [_729864, _729866] : [tptpofobject(_729866, _729864), -(partiallytangible(_729866))], (4456 ^ _592390) ^ [_730086, _730088, _730090] : [relationallinstance(_730090, _730088, _730086), -(thing(_730086))], (4462 ^ _592390) ^ [_730316, _730318, _730320] : [relationallinstance(_730320, _730318, _730316), -(collection(_730318))], (4468 ^ _592390) ^ [_730546, _730548, _730550] : [relationallinstance(_730550, _730548, _730546), -(binarypredicate(_730550))], (4474 ^ _592390) ^ [_730748] : [isa(_730748, c_tptpcol_13_93766), -(tptpcol_13_93766(_730748))], (4480 ^ _592390) ^ [_730936] : [tptpcol_13_93766(_730936), -(isa(_730936, c_tptpcol_13_93766))], (4486 ^ _592390) ^ [_731124] : [isa(_731124, c_tptpcol_9_40196), -(tptpcol_9_40196(_731124))], (4492 ^ _592390) ^ [_731312] : [tptpcol_9_40196(_731312), -(isa(_731312, c_tptpcol_9_40196))], (4498 ^ _592390) ^ [_731500] : [isa(_731500, c_tptpcol_10_40324), -(tptpcol_10_40324(_731500))], (4504 ^ _592390) ^ [_731688] : [tptpcol_10_40324(_731688), -(isa(_731688, c_tptpcol_10_40324))], (4510 ^ _592390) ^ [_731876] : [isa(_731876, c_tptpcol_7_72707), -(tptpcol_7_72707(_731876))], (4516 ^ _592390) ^ [_732064] : [tptpcol_7_72707(_732064), -(isa(_732064, c_tptpcol_7_72707))], (4522 ^ _592390) ^ [_732252] : [isa(_732252, c_tptpcol_8_72708), -(tptpcol_8_72708(_732252))], (4528 ^ _592390) ^ [_732440] : [tptpcol_8_72708(_732440), -(isa(_732440, c_tptpcol_8_72708))], (4534 ^ _592390) ^ [_732628] : [isa(_732628, c_tptpcol_11_93764), -(tptpcol_11_93764(_732628))], (4540 ^ _592390) ^ [_732816] : [tptpcol_11_93764(_732816), -(isa(_732816, c_tptpcol_11_93764))], (4546 ^ _592390) ^ [_733004] : [isa(_733004, c_tptpcol_12_93765), -(tptpcol_12_93765(_733004))], (4552 ^ _592390) ^ [_733192] : [tptpcol_12_93765(_733192), -(isa(_733192, c_tptpcol_12_93765))], (4558 ^ _592390) ^ [_733380] : [isa(_733380, c_tptpcol_4_114689), -(tptpcol_4_114689(_733380))], (4564 ^ _592390) ^ [_733568] : [tptpcol_4_114689(_733568), -(isa(_733568, c_tptpcol_4_114689))], (4570 ^ _592390) ^ [_733756] : [isa(_733756, c_tptpcol_5_114690), -(tptpcol_5_114690(_733756))], (4576 ^ _592390) ^ [_733944] : [tptpcol_5_114690(_733944), -(isa(_733944, c_tptpcol_5_114690))], (4582 ^ _592390) ^ [_734132] : [isa(_734132, c_tptpcol_3_98305), -(tptpcol_3_98305(_734132))], (4588 ^ _592390) ^ [_734320] : [tptpcol_3_98305(_734320), -(isa(_734320, c_tptpcol_3_98305))], (4594 ^ _592390) ^ [_734508] : [isa(_734508, c_tptpcol_4_106497), -(tptpcol_4_106497(_734508))], (4600 ^ _592390) ^ [_734696] : [tptpcol_4_106497(_734696), -(isa(_734696, c_tptpcol_4_106497))], (4606 ^ _592390) ^ [_734911, _734913, _734915, _734917] : [-(natfunction(f_relationexistsallfn(_734917, _734915, _734913, _734911), c_relationexistsallfn))], (4608 ^ _592390) ^ [_735042, _735044, _735046, _735048] : [-(natargument(f_relationexistsallfn(_735048, _735046, _735044, _735042), n_1, _735048))], (4610 ^ _592390) ^ [_735174, _735176, _735178, _735180] : [-(natargument(f_relationexistsallfn(_735180, _735178, _735176, _735174), n_2, _735178))], (4612 ^ _592390) ^ [_735306, _735308, _735310, _735312] : [-(natargument(f_relationexistsallfn(_735312, _735310, _735308, _735306), n_3, _735308))], (4614 ^ _592390) ^ [_735438, _735440, _735442, _735444] : [-(natargument(f_relationexistsallfn(_735444, _735442, _735440, _735438), n_4, _735438))], (4616 ^ _592390) ^ [_735570, _735572, _735574, _735576] : [-(thing(f_relationexistsallfn(_735576, _735574, _735572, _735570)))], (4618 ^ _592390) ^ [_735687, _735689] : [resultisaarg(_735689, _735687), -(positiveinteger(_735687))], (4624 ^ _592390) ^ [_735895, _735897] : [resultisaarg(_735897, _735895), -(function_denotational(_735897))], (4630 ^ _592390) ^ [_736103, _736105] : [tptptypes_7_389(_736105, _736103), -(firstordercollection(_736103))], (4636 ^ _592390) ^ [_736311, _736313] : [tptptypes_7_389(_736313, _736311), -(firstordercollection(_736313))], (4642 ^ _592390) ^ [_736519, _736521] : [tptptypes_8_390(_736521, _736519), -(firstordercollection(_736519))], (4648 ^ _592390) ^ [_736727, _736729] : [tptptypes_8_390(_736729, _736727), -(firstordercollection(_736729))], (4654 ^ _592390) ^ [_736935, _736937] : [tptptypes_8_692(_736937, _736935), -(firstordercollection(_736935))], (4660 ^ _592390) ^ [_737143, _737145] : [tptptypes_8_692(_737145, _737143), -(firstordercollection(_737145))], (4666 ^ _592390) ^ [_737351, _737353] : [tptptypes_9_693(_737353, _737351), -(firstordercollection(_737351))], (4672 ^ _592390) ^ [_737559, _737561] : [tptptypes_9_693(_737561, _737559), -(firstordercollection(_737561))], (4678 ^ _592390) ^ [_737753] : [isa(_737753, c_tptpcol_11_40388), -(tptpcol_11_40388(_737753))], (4684 ^ _592390) ^ [_737941] : [tptpcol_11_40388(_737941), -(isa(_737941, c_tptpcol_11_40388))], (4690 ^ _592390) ^ [_738129] : [isa(_738129, c_marriagelicensedocument), -(marriagelicensedocument(_738129))], (4696 ^ _592390) ^ [_738317] : [marriagelicensedocument(_738317), -(isa(_738317, c_marriagelicensedocument))], (4702 ^ _592390) ^ [_738505] : [isa(_738505, c_tptpcol_1_65536), -(tptpcol_1_65536(_738505))], (4708 ^ _592390) ^ [_738693] : [tptpcol_1_65536(_738693), -(isa(_738693, c_tptpcol_1_65536))], (4714 ^ _592390) ^ [_738881] : [isa(_738881, c_tptpcol_2_98304), -(tptpcol_2_98304(_738881))], (4720 ^ _592390) ^ [_739069] : [tptpcol_2_98304(_739069), -(isa(_739069, c_tptpcol_2_98304))], (4726 ^ _592390) ^ [_739257] : [isa(_739257, c_tptpcol_10_92166), -(tptpcol_10_92166(_739257))], (4732 ^ _592390) ^ [_739445] : [tptpcol_10_92166(_739445), -(isa(_739445, c_tptpcol_10_92166))], (4738 ^ _592390) ^ [_739633] : [isa(_739633, c_tptpcol_11_92230), -(tptpcol_11_92230(_739633))], (4744 ^ _592390) ^ [_739821] : [tptpcol_11_92230(_739821), -(isa(_739821, c_tptpcol_11_92230))], (4750 ^ _592390) ^ [_740009] : [isa(_740009, c_orderingpredicate), -(orderingpredicate(_740009))], (4756 ^ _592390) ^ [_740197] : [orderingpredicate(_740197), -(isa(_740197, c_orderingpredicate))], (4762 ^ _592390) ^ [_740385] : [isa(_740385, c_tptpcol_9_18439), -(tptpcol_9_18439(_740385))], (4768 ^ _592390) ^ [_740573] : [tptpcol_9_18439(_740573), -(isa(_740573, c_tptpcol_9_18439))], (4774 ^ _592390) ^ [_740761] : [isa(_740761, c_tptpcol_10_18567), -(tptpcol_10_18567(_740761))], (4780 ^ _592390) ^ [_740949] : [tptpcol_10_18567(_740949), -(isa(_740949, c_tptpcol_10_18567))], (4786 ^ _592390) ^ [_741137] : [isa(_741137, c_tptpcol_2_65537), -(tptpcol_2_65537(_741137))], (4792 ^ _592390) ^ [_741325] : [tptpcol_2_65537(_741325), -(isa(_741325, c_tptpcol_2_65537))], (4798 ^ _592390) ^ [_741513] : [isa(_741513, c_tptpcol_3_81921), -(tptpcol_3_81921(_741513))], (4804 ^ _592390) ^ [_741701] : [tptpcol_3_81921(_741701), -(isa(_741701, c_tptpcol_3_81921))], (4810 ^ _592390) ^ [_741889] : [isa(_741889, c_artsupplies), -(artsupplies(_741889))], (4816 ^ _592390) ^ [_742077] : [artsupplies(_742077), -(isa(_742077, c_artsupplies))], (4822 ^ _592390) ^ [_742265] : [isa(_742265, c_enduringthing_localized), -(enduringthing_localized(_742265))], (4828 ^ _592390) ^ [_742453] : [enduringthing_localized(_742453), -(isa(_742453, c_enduringthing_localized))], (4834 ^ _592390) ^ [_742641] : [isa(_742641, c_location_underspecified), -(location_underspecified(_742641))], (4840 ^ _592390) ^ [_742829] : [location_underspecified(_742829), -(isa(_742829, c_location_underspecified))], (4846 ^ _592390) ^ [_743017] : [isa(_743017, c_trajector_underspecified), -(trajector_underspecified(_743017))], (4852 ^ _592390) ^ [_743205] : [trajector_underspecified(_743205), -(isa(_743205, c_trajector_underspecified))], (4858 ^ _592390) ^ [_743393] : [isa(_743393, c_individual), -(individual(_743393))], (4864 ^ _592390) ^ [_743581] : [individual(_743581), -(isa(_743581, c_individual))], (4870 ^ _592390) ^ [_743769] : [isa(_743769, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743769))], (4876 ^ _592390) ^ [_743957] : [partiallyintangibleindividual(_743957), -(isa(_743957, c_partiallyintangibleindividual))], (4882 ^ _592390) ^ [_744145] : [isa(_744145, c_tptpcol_10_22022), -(tptpcol_10_22022(_744145))], (4888 ^ _592390) ^ [_744333] : [tptpcol_10_22022(_744333), -(isa(_744333, c_tptpcol_10_22022))], (4894 ^ _592390) ^ [_744521] : [isa(_744521, c_tptpcol_11_22023), -(tptpcol_11_22023(_744521))], (4900 ^ _592390) ^ [_744709] : [tptpcol_11_22023(_744709), -(isa(_744709, c_tptpcol_11_22023))], (4906 ^ _592390) ^ [_744897] : [isa(_744897, c_tptpcol_5_20483), -(tptpcol_5_20483(_744897))], (4912 ^ _592390) ^ [_745085] : [tptpcol_5_20483(_745085), -(isa(_745085, c_tptpcol_5_20483))], (4918 ^ _592390) ^ [_745273] : [isa(_745273, c_tptpcol_13_72791), -(tptpcol_13_72791(_745273))], (4924 ^ _592390) ^ [_745461] : [tptpcol_13_72791(_745461), -(isa(_745461, c_tptpcol_13_72791))], (4930 ^ _592390) ^ [_745649] : [isa(_745649, c_tptpcol_14_72792), -(tptpcol_14_72792(_745649))], (4936 ^ _592390) ^ [_745837] : [tptpcol_14_72792(_745837), -(isa(_745837, c_tptpcol_14_72792))], (4942 ^ _592390) ^ [_746025] : [isa(_746025, c_ridgeline_topographical), -(ridgeline_topographical(_746025))], (4948 ^ _592390) ^ [_746213] : [ridgeline_topographical(_746213), -(isa(_746213, c_ridgeline_topographical))], (4954 ^ _592390) ^ [_746401] : [isa(_746401, c_tptpcol_4_16387), -(tptpcol_4_16387(_746401))], (4960 ^ _592390) ^ [_746589] : [tptpcol_4_16387(_746589), -(isa(_746589, c_tptpcol_4_16387))], (4966 ^ _592390) ^ [_746777] : [isa(_746777, c_tptpcol_5_16388), -(tptpcol_5_16388(_746777))], (4972 ^ _592390) ^ [_746965] : [tptpcol_5_16388(_746965), -(isa(_746965, c_tptpcol_5_16388))], (4978 ^ _592390) ^ [_747153] : [isa(_747153, c_tptpcol_8_22020), -(tptpcol_8_22020(_747153))], (4984 ^ _592390) ^ [_747341] : [tptpcol_8_22020(_747341), -(isa(_747341, c_tptpcol_8_22020))], (4990 ^ _592390) ^ [_747529] : [isa(_747529, c_tptpcol_9_22021), -(tptpcol_9_22021(_747529))], (4996 ^ _592390) ^ [_747717] : [tptpcol_9_22021(_747717), -(isa(_747717, c_tptpcol_9_22021))], (5002 ^ _592390) ^ [_747905] : [isa(_747905, c_transitivebinarypredicate), -(transitivebinarypredicate(_747905))], (5008 ^ _592390) ^ [_748093] : [transitivebinarypredicate(_748093), -(isa(_748093, c_transitivebinarypredicate))], (5014 ^ _592390) ^ [_748295, _748297] : [geographicalsubregions(_748297, _748295), -(geographicalregion(_748295))], (5020 ^ _592390) ^ [_748503, _748505] : [geographicalsubregions(_748505, _748503), -(geographicalregion(_748505))], (5026 ^ _592390) ^ [_748725, _748727, _748729] : [-(geographicalsubregions(_748729, _748725)), geographicalsubregions(_748729, _748727), geographicalsubregions(_748727, _748725)], (5036 ^ _592390) ^ [_749020] : [geographicalregion(_749020), -(geographicalsubregions(_749020, _749020))], (5042 ^ _592390) ^ [_749208] : [isa(_749208, c_tptpcol_12_40420), -(tptpcol_12_40420(_749208))], (5048 ^ _592390) ^ [_749396] : [tptpcol_12_40420(_749396), -(isa(_749396, c_tptpcol_12_40420))], (5054 ^ _592390) ^ [_749584] : [isa(_749584, c_tptpcol_13_40421), -(tptpcol_13_40421(_749584))], (5060 ^ _592390) ^ [_749772] : [tptpcol_13_40421(_749772), -(isa(_749772, c_tptpcol_13_40421))], (5066 ^ _592390) ^ [_749960] : [isa(_749960, c_tptpcol_6_92162), -(tptpcol_6_92162(_749960))], (5072 ^ _592390) ^ [_750148] : [tptpcol_6_92162(_750148), -(isa(_750148, c_tptpcol_6_92162))], (5078 ^ _592390) ^ [_750336] : [isa(_750336, c_tptpcol_7_93186), -(tptpcol_7_93186(_750336))], (5084 ^ _592390) ^ [_750524] : [tptpcol_7_93186(_750524), -(isa(_750524, c_tptpcol_7_93186))], (5090 ^ _592390) ^ [_750726, _750728] : [most(_750728, _750726), -(setorcollection(_750726))], (5096 ^ _592390) ^ [_750934, _750936] : [most(_750936, _750934), -(setorcollection(_750934))], (5102 ^ _592390) ^ [_751142, _751144] : [most(_751144, _751142), -(setorcollection(_751144))], (5108 ^ _592390) ^ [_751350, _751352] : [most(_751352, _751350), -(setorcollection(_751352))], (5114 ^ _592390) ^ [_751544] : [setorcollection(_751544), -(most(_751544, _751544))], (5120 ^ _592390) ^ [_751732] : [setorcollection(_751732), -(most(_751732, _751732))], (5126 ^ _592390) ^ [_751948, _751950, _751952] : [-(most(_751952, _751948)), most(_751952, _751950), subsetof(_751950, _751948)], (5136 ^ _592390) ^ [_752271, _752273, _752275] : [-(most(_752275, _752271)), most(_752275, _752273), subsetof(_752273, _752271)], (5146 ^ _592390) ^ [_752580, _752582] : [subsetof(_752582, _752580), -(setorcollection(_752580))], (5152 ^ _592390) ^ [_752788, _752790] : [subsetof(_752790, _752788), -(setorcollection(_752790))], (5158 ^ _592390) ^ [_753010, _753012, _753014] : [-(subsetof(_753014, _753010)), subsetof(_753014, _753012), subsetof(_753012, _753010)], (5168 ^ _592390) ^ [_753305] : [setorcollection(_753305), -(subsetof(_753305, _753305))], (5174 ^ _592390) ^ [_753521, _753523, _753525] : [-(subsetof(_753521, _753523)), subsetof(_753525, _753523), subsetof(_753521, _753525)], (5184 ^ _592390) ^ [_753844, _753846, _753848] : [-(subsetof(_753848, _753844)), subsetof(_753848, _753846), subsetof(_753846, _753844)], (5194 ^ _592390) ^ [_754167, _754169, _754171] : [-(subsetof(_754171, _754167)), subsetof(_754171, _754169), subsetof(_754169, _754167)], (5204 ^ _592390) ^ [_754476, _754478] : [genlpreds(_754478, _754476), -(predicate(_754476))], (5210 ^ _592390) ^ [_754684, _754686] : [genlpreds(_754686, _754684), -(predicate(_754684))], (5216 ^ _592390) ^ [_754892, _754894] : [genlpreds(_754894, _754892), -(predicate(_754894))], (5222 ^ _592390) ^ [_755100, _755102] : [genlpreds(_755102, _755100), -(predicate(_755102))], (5228 ^ _592390) ^ [_755322, _755324, _755326] : [-(genlpreds(_755326, _755322)), genlpreds(_755326, _755324), genlpreds(_755324, _755322)], (5238 ^ _592390) ^ [_755617] : [predicate(_755617), -(genlpreds(_755617, _755617))], (5244 ^ _592390) ^ [_755805] : [predicate(_755805), -(genlpreds(_755805, _755805))], (5250 ^ _592390) ^ [_756007, _756009] : [genlinverse(_756009, _756007), -(binarypredicate(_756007))], (5256 ^ _592390) ^ [_756215, _756217] : [genlinverse(_756217, _756215), -(binarypredicate(_756217))], (5262 ^ _592390) ^ [_756437, _756439, _756441] : [-(genlinverse(_756437, _756439)), genlinverse(_756441, _756439), genlpreds(_756437, _756441)], (5272 ^ _592390) ^ [_756760, _756762, _756764] : [-(genlinverse(_756764, _756760)), genlinverse(_756764, _756762), genlpreds(_756762, _756760)], (5282 ^ _592390) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592390) ^ [_757108] : [isa(_757108, c_microtheory), -(microtheory(_757108))], (5290 ^ _592390) ^ [_757296] : [microtheory(_757296), -(isa(_757296, c_microtheory))], (5296 ^ _592390) ^ [_757469] : [-(natfunction(f_urlfn(_757469), c_urlfn))], (5298 ^ _592390) ^ [_757549] : [-(natargument(f_urlfn(_757549), n_1, _757549))], (5300 ^ _592390) ^ [_757630] : [-(uniformresourcelocator(f_urlfn(_757630)))], (5302 ^ _592390) ^ [_757709] : [-(natfunction(f_urlreferentfn(_757709), c_urlreferentfn))], (5304 ^ _592390) ^ [_757789] : [-(natargument(f_urlreferentfn(_757789), n_1, _757789))], (5306 ^ _592390) ^ [_757870] : [-(computerdataartifact(f_urlreferentfn(_757870)))], (5308 ^ _592390) ^ [_757963, _757965] : [-(natfunction(f_contentmtofcdafromeventfn(_757965, _757963), c_contentmtofcdafromeventfn))], (5310 ^ _592390) ^ [_758060, _758062] : [-(natargument(f_contentmtofcdafromeventfn(_758062, _758060), n_1, _758062))], (5312 ^ _592390) ^ [_758158, _758160] : [-(natargument(f_contentmtofcdafromeventfn(_758160, _758158), n_2, _758158))], (5314 ^ _592390) ^ [_758256, _758258] : [-(microtheory(f_contentmtofcdafromeventfn(_758258, _758256)))], (5316 ^ _592390) ^ [_758367, _758369] : [isa(_758369, _758367), -(collection(_758367))], (5322 ^ _592390) ^ [_758575, _758577] : [isa(_758577, _758575), -(collection(_758575))], (5328 ^ _592390) ^ [_758783, _758785] : [isa(_758785, _758783), -(thing(_758785))], (5334 ^ _592390) ^ [_758991, _758993] : [isa(_758993, _758991), -(thing(_758993))], (5340 ^ _592390) ^ [_759213, _759215, _759217] : [-(isa(_759217, _759213)), isa(_759217, _759215), genls(_759215, _759213)], (5350 ^ _592390) ^ [_759508] : [isa(_759508, c_inanimateobject), -(inanimateobject(_759508))], (5356 ^ _592390) ^ [_759696] : [inanimateobject(_759696), -(isa(_759696, c_inanimateobject))], (5362 ^ _592390) ^ [_759884] : [isa(_759884, c_tptpcol_9_72709), -(tptpcol_9_72709(_759884))], (5368 ^ _592390) ^ [_760072] : [tptpcol_9_72709(_760072), -(isa(_760072, c_tptpcol_9_72709))], (5374 ^ _592390) ^ [_760260] : [isa(_760260, c_tptpcol_10_72710), -(tptpcol_10_72710(_760260))], (5380 ^ _592390) ^ [_760448] : [tptpcol_10_72710(_760448), -(isa(_760448, c_tptpcol_10_72710))], (5386 ^ _592390) ^ [_760636] : [isa(_760636, c_tptpcol_14_40429), -(tptpcol_14_40429(_760636))], (5392 ^ _592390) ^ [_760824] : [tptpcol_14_40429(_760824), -(isa(_760824, c_tptpcol_14_40429))], (5398 ^ _592390) ^ [_761012] : [isa(_761012, c_tptpcol_15_40430), -(tptpcol_15_40430(_761012))], (5404 ^ _592390) ^ [_761200] : [tptpcol_15_40430(_761200), -(isa(_761200, c_tptpcol_15_40430))], (5410 ^ _592390) ^ [_761402, _761404] : [genls(_761404, _761402), -(collection(_761402))], (5416 ^ _592390) ^ [_761610, _761612] : [genls(_761612, _761610), -(collection(_761610))], (5422 ^ _592390) ^ [_761818, _761820] : [genls(_761820, _761818), -(collection(_761820))], (5428 ^ _592390) ^ [_762026, _762028] : [genls(_762028, _762026), -(collection(_762028))], (5434 ^ _592390) ^ [_762248, _762250, _762252] : [-(genls(_762252, _762248)), genls(_762252, _762250), genls(_762250, _762248)], (5444 ^ _592390) ^ [_762543] : [collection(_762543), -(genls(_762543, _762543))], (5450 ^ _592390) ^ [_762731] : [collection(_762731), -(genls(_762731, _762731))], (5456 ^ _592390) ^ [_762947, _762949, _762951] : [-(genls(_762947, _762949)), genls(_762951, _762949), genls(_762947, _762951)], (5466 ^ _592390) ^ [_763270, _763272, _763274] : [-(genls(_763274, _763270)), genls(_763274, _763272), genls(_763272, _763270)], (5476 ^ _592390) ^ [_763565] : [isa(_763565, c_partiallytangible), -(partiallytangible(_763565))], (5482 ^ _592390) ^ [_763753] : [partiallytangible(_763753), -(isa(_763753, c_partiallytangible))], (5488 ^ _592390) ^ [_763941] : [isa(_763941, c_intangible), -(intangible(_763941))], (5494 ^ _592390) ^ [_764129] : [intangible(_764129), -(isa(_764129, c_intangible))], (5500 ^ _592390) ^ [_764331, _764333] : [disjointwith(_764333, _764331), -(collection(_764331))], (5506 ^ _592390) ^ [_764539, _764541] : [disjointwith(_764541, _764539), -(collection(_764541))], (5512 ^ _592390) ^ [_764747, _764749] : [disjointwith(_764749, _764747), -(disjointwith(_764747, _764749))], (5518 ^ _592390) ^ [_764971, _764973, _764975] : [-(disjointwith(_764975, _764971)), disjointwith(_764975, _764973), genls(_764971, _764973)], (5528 ^ _592390) ^ [_765294, _765296, _765298] : [-(disjointwith(_765294, _765296)), disjointwith(_765298, _765296), genls(_765294, _765298)], (5538 ^ _592390) ^ [_765603, _765605] : [-(mtvisible(_765603)), mtvisible(_765605), genlmt(_765605, _765603)], (5548 ^ _592390) ^ [_765898, _765900] : [genlmt(_765900, _765898), -(microtheory(_765898))], (5554 ^ _592390) ^ [_766106, _766108] : [genlmt(_766108, _766106), -(microtheory(_766106))], (5560 ^ _592390) ^ [_766314, _766316] : [genlmt(_766316, _766314), -(microtheory(_766316))], (5566 ^ _592390) ^ [_766522, _766524] : [genlmt(_766524, _766522), -(microtheory(_766524))], (5572 ^ _592390) ^ [_766744, _766746, _766748] : [-(genlmt(_766748, _766744)), genlmt(_766748, _766746), genlmt(_766746, _766744)], (5582 ^ _592390) ^ [_767039] : [microtheory(_767039), -(genlmt(_767039, _767039))], (5594 ^ _592390) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592390) ^ [_767227] : [microtheory(_767227), -(genlmt(_767227, _767227))]], input).
% 0.41/1.39 ncf('1',plain,[individual(c_tptptptpcol_16_25985)],start(5598 ^ 0)).
% 0.41/1.39 ncf('1.1',plain,[-(individual(c_tptptptpcol_16_25985))],extension(1170 ^ 1)).
% 0.41/1.39 %-----------------------------------------------------
% 0.41/1.39 End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------