%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR067+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n012.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:57:59 EDT 2023
% Result : Theorem 0.44s 1.38s
% Output : Proof 0.44s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR067+2 : TPTP v8.1.2. Released v3.4.0.
% 0.11/0.13 % Command : nanocop.sh %s %d
% 0.14/0.33 % Computer : n012.cluster.edu
% 0.14/0.33 % Model : x86_64 x86_64
% 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.33 % Memory : 8042.1875MB
% 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.33 % CPULimit : 300
% 0.14/0.33 % WCLimit : 300
% 0.14/0.33 % DateTime : Fri May 19 00:42:31 EDT 2023
% 0.14/0.34 % CPUTime :
% 0.44/1.38
% 0.44/1.38 /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.44/1.38 Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.44/1.38 %-----------------------------------------------------
% 0.44/1.38 ncf(matrix, plain, [(5596 ^ _597088) ^ [_786615] : [-(mtvisible(c_tptpgeo_member7_mt))], (5598 ^ _597088) ^ [_786652] : [borderson(_786652, c_georegion_l4_x29_y75)], (2 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _597088) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _597088) ^ [_597293] : [intangible(_597293), partiallytangible(_597293)], (12 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _597088) ^ [_597531] : [tptpcol_15_40430(_597531), -(tptpcol_14_40429(_597531))], (20 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _597088) ^ [_597770] : [tptpcol_10_72710(_597770), -(tptpcol_9_72709(_597770))], (28 ^ _597088) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _597088) ^ [_598009] : [inanimateobject(_598009), -(partiallytangible(_598009))], (36 ^ _597088) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _597088) ^ [_598276, _598278, _598280] : [-(genlpreds(_598280, _598276)), genlinverse(_598280, _598278), genlinverse(_598278, _598276)], (48 ^ _597088) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _597088) ^ [_598638, _598640] : [subsetof(_598640, _598638), -(most(_598640, _598638))], (56 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _597088) ^ [_598887] : [tptpcol_7_93186(_598887), -(tptpcol_6_92162(_598887))], (64 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _597088) ^ [_599126] : [tptpcol_13_40421(_599126), -(tptpcol_12_40420(_599126))], (72 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _597088) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _597088) ^ [_599590] : [tptpcol_9_22021(_599590), -(tptpcol_8_22020(_599590))], (90 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _597088) ^ [_599829] : [tptpcol_5_16388(_599829), -(tptpcol_4_16387(_599829))], (98 ^ _597088) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _597088) ^ [_600187] : [tptpcol_14_72792(_600187), -(tptpcol_13_72791(_600187))], (112 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _597088) ^ [_600426] : [tptpcol_5_20483(_600426), -(tptpcol_4_16387(_600426))], (120 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _597088) ^ [_600665] : [tptpcol_11_22023(_600665), -(tptpcol_10_22022(_600665))], (128 ^ _597088) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _597088) ^ [_600904] : [partiallyintangibleindividual(_600904), -(individual(_600904))], (136 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _597088) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _597088) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _597088) ^ [_601249] : [trajector_underspecified(_601249), -(location_underspecified(_601249))], (148 ^ _597088) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _597088) ^ [_601488] : [partiallytangible(_601488), -(enduringthing_localized(_601488))], (156 ^ _597088) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _597088) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _597088) ^ [_601846] : [tptpcol_3_81921(_601846), -(tptpcol_2_65537(_601846))], (170 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _597088) ^ [_602085] : [tptpcol_10_18567(_602085), -(tptpcol_9_18439(_602085))], (178 ^ _597088) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _597088) ^ [_602324] : [orderingpredicate(_602324), -(transitivebinarypredicate(_602324))], (186 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _597088) ^ [_602563] : [tptpcol_11_92230(_602563), -(tptpcol_10_92166(_602563))], (194 ^ _597088) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _597088) ^ [_602802] : [tptpcol_2_98304(_602802), -(tptpcol_1_65536(_602802))], (202 ^ _597088) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _597088) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _597088) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _597088) ^ [_603266] : [tptpcol_12_40420(_603266), -(tptpcol_11_40388(_603266))], (220 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _597088) ^ [_603519, _603521] : [tptptypes_9_693(_603521, _603519), -(tptptypes_8_692(_603521, _603519))], (228 ^ _597088) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _597088) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _597088) ^ [_603888, _603890] : [tptptypes_8_390(_603890, _603888), -(tptptypes_7_389(_603890, _603888))], (240 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _597088) ^ [_604232, _604234, _604236, _604238] : [-(isa(f_relationexistsallfn(_604238, _604234, _604232, _604236), _604232)), isa(_604238, _604236), relationexistsall(_604234, _604232, _604236)], (254 ^ _597088) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _597088) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _597088) ^ [_604761] : [tptpcol_4_106497(_604761), -(tptpcol_3_98305(_604761))], (268 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _597088) ^ [_605000] : [tptpcol_5_114690(_605000), -(tptpcol_4_114689(_605000))], (276 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _597088) ^ [_605239] : [tptpcol_12_93765(_605239), -(tptpcol_11_93764(_605239))], (284 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _597088) ^ [_605478] : [tptpcol_8_72708(_605478), -(tptpcol_7_72707(_605478))], (292 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _597088) ^ [_605717] : [tptpcol_10_40324(_605717), -(tptpcol_9_40196(_605717))], (300 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _597088) ^ [_605956] : [tptpcol_13_93766(_605956), -(tptpcol_12_93765(_605956))], (308 ^ _597088) ^ [_606142] : [-(tptpofobject(_606142, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_606142)], (318 ^ _597088) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _597088) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _597088) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _597088) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _597088) ^ [_606806] : [location_underspecified(_606806), -(thing(_606806))], (342 ^ _597088) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _597088) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _597088) ^ [_607151] : [tptpcol_12_92262(_607151), -(tptpcol_11_92230(_607151))], (354 ^ _597088) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _597088) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _597088) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _597088) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _597088) ^ [_607668] : [tptpcol_10_109061(_607668), -(tptpcol_9_109060(_607668))], (374 ^ _597088) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _597088) ^ [_607974, _607976] : [tptptypes_6_388(_607976, _607974), -(tptptypes_5_387(_607976, _607974))], (384 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _597088) ^ [_608223] : [tptpcol_6_116738(_608223), -(tptpcol_5_114690(_608223))], (392 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _597088) ^ [_608462] : [tptpcol_15_92268(_608462), -(tptpcol_14_92264(_608462))], (400 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _597088) ^ [_608767] : [-(tptpofobject(_608767, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_608767)], (416 ^ _597088) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _597088) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _597088) ^ [_609220, _609222] : [tptptypes_9_401(_609222, _609220), -(tptptypes_8_400(_609220, _609222))], (430 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _597088) ^ [_609469] : [tptpcol_12_18663(_609469), -(tptpcol_11_18631(_609469))], (438 ^ _597088) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _597088) ^ [_609708] : [setorcollection(_609708), -(mathematicalthing(_609708))], (446 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _597088) ^ [_609947] : [tptpcol_13_109173(_609947), -(tptpcol_12_109157(_609947))], (454 ^ _597088) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _597088) ^ [_610239] : [tptpcol_5_106498(_610239), -(tptpcol_4_106497(_610239))], (464 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _597088) ^ [_610478] : [tptpcol_5_24579(_610478), -(tptpcol_4_24578(_610478))], (472 ^ _597088) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _597088) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _597088) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _597088) ^ [_611008] : [tptpcol_1_65536(_611008), -(tptpcol_0_0(_611008))], (494 ^ _597088) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _597088) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _597088) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _597088) ^ [_611433, _611435] : [geographicalsubregions(_611435, _611433), -(inregion(_611433, _611435))], (510 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _597088) ^ [_611682] : [tptpcol_11_118084(_611682), -(tptpcol_10_118020(_611682))], (518 ^ _597088) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _597088) ^ [_611921] : [mathematicalorcomputationalthing(_611921), -(intangible(_611921))], (526 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _597088) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _597088) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _597088) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _597088) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _597088) ^ [_612439, _612441] : [tptptypes_7_819(_612441, _612439), -(tptptypes_6_818(_612441, _612439))], (544 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _597088) ^ [_612741] : [tptpcol_12_26919(_612741), -(tptpcol_11_26887(_612741))], (554 ^ _597088) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _597088) ^ [_612994, _612996] : [tptptypes_8_692(_612996, _612994), -(tptptypes_7_691(_612994, _612996))], (562 ^ _597088) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _597088) ^ [_613243] : [tptpcol_2_2(_613243), -(tptpcol_1_1(_613243))], (570 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _597088) ^ [_613535] : [tptpcol_9_92165(_613535), -(tptpcol_8_92164(_613535))], (580 ^ _597088) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _597088) ^ [_613774] : [fixedordercollection(_613774), -(collection(_613774))], (588 ^ _597088) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _597088) ^ [_614013] : [tptpcol_1_1(_614013), tptpcol_1_65536(_614013)], (596 ^ _597088) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _597088) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _597088) ^ [_614304] : [microtheory(_614304), -(aspatialinformationstore(_614304))], (606 ^ _597088) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _597088) ^ [_614609] : [-(tptp_8_875(_614609, f_relationallexistsfn(_614609, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_614609, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _597088) ^ [] : [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 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _597088) ^ [_615060] : [tptpcol_10_118020(_615060), -(tptpcol_9_118019(_615060))], (636 ^ _597088) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _597088) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _597088) ^ [_615418] : [-(tptp_9_720(_615418, f_relationallexistsfn(_615418, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_615418)], (654 ^ _597088) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _597088) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _597088) ^ [_615867] : [individual(_615867), setorcollection(_615867)], (668 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _597088) ^ [_616105] : [tptpcol_12_22055(_616105), -(tptpcol_11_22023(_616105))], (676 ^ _597088) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _597088) ^ [_616344] : [applicationcontext(_616344), -(microtheory(_616344))], (684 ^ _597088) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _597088) ^ [_616650, _616652] : [tptptypes_8_400(_616652, _616650), -(tptptypes_7_396(_616652, _616650))], (694 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _597088) ^ [_616899] : [tptpcol_11_18631(_616899), -(tptpcol_10_18567(_616899))], (702 ^ _597088) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _597088) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _597088) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _597088) ^ [_617310] : [mathematicalthing(_617310), -(mathematicalorcomputationalthing(_617310))], (718 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _597088) ^ [_617602] : [tptpcol_15_93775(_617602), -(tptpcol_14_93774(_617602))], (728 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _597088) ^ [_617841] : [tptpcol_8_109059(_617841), -(tptpcol_7_108547(_617841))], (736 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _597088) ^ [_618080] : [tptpcol_14_40429(_618080), -(tptpcol_13_40421(_618080))], (744 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _597088) ^ [_618438] : [tptpcol_14_22072(_618438), -(tptpcol_13_22071(_618438))], (758 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _597088) ^ [_618677] : [tptpcol_14_93774(_618677), -(tptpcol_13_93766(_618677))], (766 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _597088) ^ [_618916] : [tptpcol_10_22022(_618916), -(tptpcol_9_22021(_618916))], (774 ^ _597088) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _597088) ^ [_619155] : [inanimateobject_nonnatural(_619155), -(inanimateobject(_619155))], (782 ^ _597088) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _597088) ^ [_619500] : [tptpcol_9_72709(_619500), -(tptpcol_8_72708(_619500))], (794 ^ _597088) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _597088) ^ [_619739] : [-(tptpofobject(_619739, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_619739)], (806 ^ _597088) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _597088) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _597088) ^ [_620178] : [firstordercollection(_620178), -(fixedordercollection(_620178))], (820 ^ _597088) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _597088) ^ [_620589] : [tptpcol_13_18664(_620589), -(tptpcol_12_18663(_620589))], (836 ^ _597088) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _597088) ^ [_620828] : [artifact(_620828), -(inanimateobject_nonnatural(_620828))], (844 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _597088) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _597088) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _597088) ^ [_621226] : [tptpcol_7_113665(_621226), -(tptpcol_6_112641(_621226))], (858 ^ _597088) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _597088) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _597088) ^ [_621584] : [geographicalregion(_621584), -(partiallytangible(_621584))], (872 ^ _597088) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _597088) ^ [_621837, _621839] : [disjointwith(_621839, _621837), -(no(_621839, _621837))], (880 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _597088) ^ [_622086] : [tptpcol_4_24578(_622086), -(tptpcol_3_16386(_622086))], (888 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _597088) ^ [_622325] : [tptpcol_5_69635(_622325), -(tptpcol_4_65539(_622325))], (896 ^ _597088) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _597088) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _597088) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _597088) ^ [_622684, _622686] : [genls(_622686, _622684), -(collection(_622686))], (908 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _597088) ^ [_622931] : [tptpcol_13_22071(_622931), -(tptpcol_12_22055(_622931))], (916 ^ _597088) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _597088) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _597088) ^ [_623223] : [tptpcol_3_98305(_623223), -(tptpcol_2_98304(_623223))], (926 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _597088) ^ [_623462] : [tptpcol_4_114689(_623462), -(tptpcol_3_114688(_623462))], (934 ^ _597088) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _597088) ^ [_623701] : [artsupplies(_623701), -(supplies(_623701))], (942 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _597088) ^ [_623940] : [tptpcol_8_26629(_623940), -(tptpcol_7_26628(_623940))], (950 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _597088) ^ [_624179] : [tptpcol_9_109060(_624179), -(tptpcol_8_109059(_624179))], (958 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _597088) ^ [_624418] : [isa(_624418, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_624418, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _624418))], (966 ^ _597088) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _597088) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _597088) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _597088) ^ [_625002] : [tptpcol_14_109181(_625002), -(tptpcol_13_109173(_625002))], (988 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _597088) ^ [_625241] : [tptpcol_16_30972(_625241), -(tptpcol_15_30970(_625241))], (996 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _597088) ^ [_625533] : [tptpcol_9_18439(_625533), -(tptpcol_8_18438(_625533))], (1006 ^ _597088) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _597088) ^ [_625825] : [tptpcol_12_118116(_625825), -(tptpcol_11_118084(_625825))], (1016 ^ _597088) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _597088) ^ [_626117] : [tptpcol_7_26628(_626117), -(tptpcol_6_26627(_626117))], (1026 ^ _597088) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _597088) ^ [_626370, _626372] : [most(_626372, _626370), -(setorcollection(_626372))], (1034 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _597088) ^ [_626617] : [tptpcol_15_109185(_626617), -(tptpcol_14_109181(_626617))], (1042 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _597088) ^ [_626856] : [tptpcol_16_92269(_626856), -(tptpcol_15_92268(_626856))], (1050 ^ _597088) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _597088) ^ [_627162, _627164] : [tptptypes_8_823(_627164, _627162), -(tptptypes_7_819(_627164, _627162))], (1060 ^ _597088) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _597088) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _597088) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _597088) ^ [_627742] : [tptpcol_10_26886(_627742), -(tptpcol_9_26885(_627742))], (1082 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _597088) ^ [_628034] : [tptpcol_15_72793(_628034), -(tptpcol_14_72792(_628034))], (1092 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _597088) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _597088) ^ [_628392] : [navypersonnel(_628392), -(militaryperson(_628392))], (1106 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _597088) ^ [_628631] : [tptpcol_4_16387(_628631), -(tptpcol_3_16386(_628631))], (1114 ^ _597088) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _597088) ^ [_628870] : [enduringthing_localized(_628870), -(spatialthing_nonsituational(_628870))], (1122 ^ _597088) ^ [_629056] : [collection(_629056), individual(_629056)], (1128 ^ _597088) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _597088) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _597088) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _597088) ^ [_629585] : [physicalorderingpredicate(_629585), -(orderingpredicate(_629585))], (1150 ^ _597088) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _597088) ^ [_629838, _629840] : [disjointwith(_629840, _629838), -(collection(_629838))], (1158 ^ _597088) ^ [_630074, _630076, _630078, _630080] : [-(isa(f_relationallexistsfn(_630080, _630076, _630078, _630074), _630074)), isa(_630080, _630078), relationallexists(_630076, _630078, _630074)], (1168 ^ _597088) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _597088) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _597088) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _597088) ^ [_630683, _630685] : [tptptypes_7_389(_630685, _630683), -(tptptypes_6_388(_630683, _630685))], (1186 ^ _597088) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _597088) ^ [_630998] : [-(hpkb_subnationalagent(_630998)), mtvisible(c_hpkbvocabmt), state_geopolitical(_630998)], (1202 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _597088) ^ [_631316] : [tptpcol_8_22020(_631316), -(tptpcol_7_21508(_631316))], (1210 ^ _597088) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _597088) ^ [_631555] : [-(tptp_9_51(f_relationexistsallfn(_631555, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _631555)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_631555, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _597088) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _597088) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _597088) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _597088) ^ [_632059] : [tptpcol_3_65538(_632059), -(tptpcol_2_65537(_632059))], (1238 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _597088) ^ [_632298] : [tptpcol_14_26921(_632298), -(tptpcol_13_26920(_632298))], (1246 ^ _597088) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _597088) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _597088) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _597088) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _597088) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _597088) ^ [_632749] : [intangibleindividual(_632749), -(partiallyintangibleindividual(_632749))], (1262 ^ _597088) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _597088) ^ [_633107] : [tptpcol_16_130924(_633107), -(tptpcol_15_130923(_633107))], (1276 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _597088) ^ [_633346] : [tptpcol_7_92163(_633346), -(tptpcol_6_92162(_633346))], (1284 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _597088) ^ [_633638] : [tptpcol_16_130933(_633638), -(tptpcol_15_130931(_633638))], (1294 ^ _597088) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _597088) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _597088) ^ [_633944, _633946] : [no(_633946, _633944), -(few(_633946, _633944))], (1304 ^ _597088) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _597088) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _597088) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _597088) ^ [_634352] : [tptpcol_6_20484(_634352), -(tptpcol_5_20483(_634352))], (1318 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _597088) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _597088) ^ [_634816] : [tptpcol_7_108547(_634816), -(tptpcol_6_108546(_634816))], (1336 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _597088) ^ [_635055] : [tptpcol_11_109125(_635055), -(tptpcol_10_109061(_635055))], (1344 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _597088) ^ [_635347] : [tptpcol_8_93698(_635347), -(tptpcol_7_93186(_635347))], (1354 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _597088) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _597088) ^ [_635639] : [tptpcol_2_65537(_635639), -(tptpcol_1_65536(_635639))], (1364 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _597088) ^ [_635931] : [tptpcol_6_18436(_635931), -(tptpcol_5_16388(_635931))], (1374 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _597088) ^ [_636170] : [tptpcol_8_18438(_636170), -(tptpcol_7_18437(_636170))], (1382 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _597088) ^ [_636528] : [tptpcol_8_117763(_636528), -(tptpcol_7_117762(_636528))], (1396 ^ _597088) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _597088) ^ [_636820] : [tptpcol_12_109157(_636820), -(tptpcol_11_109125(_636820))], (1406 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _597088) ^ [_637059] : [tptpcol_7_117762(_637059), -(tptpcol_6_116738(_637059))], (1414 ^ _597088) ^ [_637273, _637275, _637277] : [isa(_637277, _637275), isa(_637277, _637273), disjointwith(_637275, _637273)], (1424 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _597088) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _597088) ^ [_637673] : [aspatialinformationstore(_637673), -(aspatialthing(_637673))], (1434 ^ _597088) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _597088) ^ [_638071] : [tptpcol_9_93699(_638071), -(tptpcol_8_93698(_638071))], (1448 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _597088) ^ [_638310] : [tptpcol_11_93764(_638310), -(tptpcol_10_93700(_638310))], (1456 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _597088) ^ [_638549] : [tptpcol_6_26627(_638549), -(tptpcol_5_24579(_638549))], (1464 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _597088) ^ [_638788] : [tptpcol_4_90113(_638788), -(tptpcol_3_81921(_638788))], (1472 ^ _597088) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _597088) ^ [_639080] : [tptpcol_10_93700(_639080), -(tptpcol_9_93699(_639080))], (1482 ^ _597088) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _597088) ^ [_639319] : [aspatialinformationstore(_639319), -(intangibleindividual(_639319))], (1490 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _597088) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _597088) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _597088) ^ [_639730] : [tptpcol_3_16386(_639730), -(tptpcol_2_2(_639730))], (1506 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _597088) ^ [_639969] : [tptpcol_9_118019(_639969), -(tptpcol_8_117763(_639969))], (1514 ^ _597088) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _597088) ^ [_640208] : [individual(_640208), -(trajector_underspecified(_640208))], (1522 ^ _597088) ^ [_640394] : [shavingrazor_manual(_640394), -(tptp_8_271(f_relationexistsallfn(_640394, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _640394))], (1528 ^ _597088) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _597088) ^ [_640698] : [tptpcol_6_112641(_640698), -(tptpcol_5_110593(_640698))], (1538 ^ _597088) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _597088) ^ [_640937] : [tptpcol_12_72775(_640937), -(tptpcol_11_72774(_640937))], (1546 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _597088) ^ [_641176] : [tptpcol_7_72707(_641176), -(tptpcol_6_71683(_641176))], (1554 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _597088) ^ [_641415] : [tptpcol_16_50958(_641415), -(tptpcol_15_50957(_641415))], (1562 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _597088) ^ [_641654] : [tptpcol_8_114177(_641654), -(tptpcol_7_113665(_641654))], (1570 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _597088) ^ [_641893] : [tptpcol_16_72795(_641893), -(tptpcol_15_72793(_641893))], (1578 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _597088) ^ [_642132] : [tptpcol_6_71683(_642132), -(tptpcol_5_69635(_642132))], (1586 ^ _597088) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _597088) ^ [_642438, _642440] : [tptptypes_7_396(_642440, _642438), -(tptptypes_6_388(_642440, _642438))], (1596 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _597088) ^ [_642687] : [tptpcol_9_26885(_642687), -(tptpcol_8_26629(_642687))], (1604 ^ _597088) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _597088) ^ [_642940, _642942] : [genls(_642942, _642940), -(subsetof(_642942, _642940))], (1612 ^ _597088) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _597088) ^ [_643256, _643258] : [tptptypes_6_818(_643258, _643256), -(tptptypes_5_802(_643258, _643256))], (1622 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _597088) ^ [_643505] : [tptpcol_6_92162(_643505), -(tptpcol_5_90114(_643505))], (1630 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _597088) ^ [_643797] : [tptpcol_8_92164(_643797), -(tptpcol_7_92163(_643797))], (1640 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _597088) ^ [_644036] : [tptpcol_13_118117(_644036), -(tptpcol_12_118116(_644036))], (1648 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _597088) ^ [_644275] : [tptpcol_11_40388(_644275), -(tptpcol_10_40324(_644275))], (1656 ^ _597088) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _597088) ^ [_644528, _644530] : [tptptypes_9_824(_644530, _644528), -(tptptypes_8_823(_644530, _644528))], (1664 ^ _597088) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _597088) ^ [_644830] : [tptpcol_11_26887(_644830), -(tptpcol_10_26886(_644830))], (1674 ^ _597088) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _597088) ^ [_645069] : [tptpcol_16_26926(_645069), -(tptpcol_15_26925(_645069))], (1682 ^ _597088) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _597088) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _597088) ^ [_645375, _645377] : [few(_645377, _645375), -(setorcollection(_645375))], (1692 ^ _597088) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _597088) ^ [_645622] : [tptpcol_4_65539(_645622), -(tptpcol_3_65538(_645622))], (1700 ^ _597088) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _597088) ^ [_645861] : [tptpcol_8_39940(_645861), -(tptpcol_7_39939(_645861))], (1708 ^ _597088) ^ [_646047] : [-(tptpofobject(_646047, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_646047)], (1718 ^ _597088) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _597088) ^ [_646486] : [tptpcol_15_22076(_646486), -(tptpcol_14_22072(_646486))], (1732 ^ _597088) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _597088) ^ [_646725] : [tptpcol_0_0(_646725), -(individual(_646725))], (1740 ^ _597088) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _597088) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _597088) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _597088) ^ [_647123] : [tptpcol_11_72774(_647123), -(tptpcol_10_72710(_647123))], (1754 ^ _597088) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _597088) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _597088) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _597088) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _597088) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _597088) ^ [_647759] : [tptpcol_7_21508(_647759), -(tptpcol_6_20484(_647759))], (1780 ^ _597088) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _597088) ^ [_647998] : [tptpcol_6_108546(_647998), -(tptpcol_5_106498(_647998))], (1788 ^ _597088) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _597088) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _597088) ^ [_648356] : [geolevel_4(_648356), -(geographicalregion(_648356))], (1802 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _597088) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _597088) ^ [_648833] : [tptpcol_13_26920(_648833), -(tptpcol_12_26919(_648833))], (1822 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _597088) ^ [_649072] : [tptpcol_14_92264(_649072), -(tptpcol_13_92263(_649072))], (1830 ^ _597088) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _597088) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _597088) ^ [_649364] : [tptpcol_9_40196(_649364), -(tptpcol_8_39940(_649364))], (1840 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _597088) ^ [_649722] : [tptpcol_13_92263(_649722), -(tptpcol_12_92262(_649722))], (1854 ^ _597088) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _597088) ^ [_650014] : [tptpcol_5_90114(_650014), -(tptpcol_4_90113(_650014))], (1864 ^ _597088) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _597088) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _597088) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _597088) ^ [_650425] : [tptpcol_15_26925(_650425), -(tptpcol_14_26921(_650425))], (1880 ^ _597088) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _597088) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _597088) ^ [_650783] : [tptpcol_7_18437(_650783), -(tptpcol_6_18436(_650783))], (1894 ^ _597088) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _597088) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _597088) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _597088) ^ [_651194] : [tptpcol_3_98305(_651194), tptpcol_3_114688(_651194)], (1910 ^ _597088) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _597088) ^ [_651432] : [tptpcol_5_110593(_651432), -(tptpcol_4_106497(_651432))], (1918 ^ _597088) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _597088) ^ [_651671] : [tptpcol_13_72791(_651671), -(tptpcol_12_72775(_651671))], (1926 ^ _597088) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _597088) ^ [_651910] : [computerdataartifact(_651910), -(artifact(_651910))], (1934 ^ _597088) ^ [_652096] : [-(tptpofobject(_652096, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_652096)], (1944 ^ _597088) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _597088) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _597088) ^ [_652535] : [tptpcol_10_92166(_652535), -(tptpcol_9_92165(_652535))], (1958 ^ _597088) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _597088) ^ [_652774] : [tptpcol_14_118118(_652774), -(tptpcol_13_118117(_652774))], (1966 ^ _597088) ^ [_652960] : [isa(_652960, c_tptpcol_14_118118), -(tptpcol_14_118118(_652960))], (1972 ^ _597088) ^ [_653148] : [tptpcol_14_118118(_653148), -(isa(_653148, c_tptpcol_14_118118))], (1978 ^ _597088) ^ [_653321] : [-(natfunction(f_tptpquantityfn_6(_653321), c_tptpquantityfn_6))], (1980 ^ _597088) ^ [_653401] : [-(natargument(f_tptpquantityfn_6(_653401), n_1, _653401))], (1982 ^ _597088) ^ [_653482] : [-(tptpquantity(f_tptpquantityfn_6(_653482)))], (1984 ^ _597088) ^ [_653576] : [isa(_653576, c_tptpcol_16_26939), -(tptpcol_16_26939(_653576))], (1990 ^ _597088) ^ [_653764] : [tptpcol_16_26939(_653764), -(isa(_653764, c_tptpcol_16_26939))], (1996 ^ _597088) ^ [_653952] : [isa(_653952, c_tptpcol_16_62187), -(tptpcol_16_62187(_653952))], (2002 ^ _597088) ^ [_654140] : [tptpcol_16_62187(_654140), -(isa(_654140, c_tptpcol_16_62187))], (2008 ^ _597088) ^ [_654328] : [isa(_654328, c_tptpcol_13_92263), -(tptpcol_13_92263(_654328))], (2014 ^ _597088) ^ [_654516] : [tptpcol_13_92263(_654516), -(isa(_654516, c_tptpcol_13_92263))], (2020 ^ _597088) ^ [_654704] : [isa(_654704, c_geolevel_4), -(geolevel_4(_654704))], (2026 ^ _597088) ^ [_654892] : [geolevel_4(_654892), -(isa(_654892, c_geolevel_4))], (2032 ^ _597088) ^ [_655080] : [isa(_655080, c_tptpcol_15_4027), -(tptpcol_15_4027(_655080))], (2038 ^ _597088) ^ [_655268] : [tptpcol_15_4027(_655268), -(isa(_655268, c_tptpcol_15_4027))], (2044 ^ _597088) ^ [_655456] : [isa(_655456, c_pushingwithfingers), -(pushingwithfingers(_655456))], (2050 ^ _597088) ^ [_655644] : [pushingwithfingers(_655644), -(isa(_655644, c_pushingwithfingers))], (2056 ^ _597088) ^ [_655846, _655848] : [affiliatedwith(_655848, _655846), -(agent_generic(_655846))], (2062 ^ _597088) ^ [_656054, _656056] : [affiliatedwith(_656056, _656054), -(agent_generic(_656056))], (2068 ^ _597088) ^ [_656262, _656264] : [affiliatedwith(_656264, _656262), -(affiliatedwith(_656262, _656264))], (2074 ^ _597088) ^ [_656442] : [affiliatedwith(_656442, _656442)], (2076 ^ _597088) ^ [_656535] : [isa(_656535, c_footballteam), -(footballteam(_656535))], (2082 ^ _597088) ^ [_656723] : [footballteam(_656723), -(isa(_656723, c_footballteam))], (2088 ^ _597088) ^ [_656911] : [isa(_656911, c_tptpcol_16_4451), -(tptpcol_16_4451(_656911))], (2094 ^ _597088) ^ [_657099] : [tptpcol_16_4451(_657099), -(isa(_657099, c_tptpcol_16_4451))], (2100 ^ _597088) ^ [_657287] : [isa(_657287, c_pushingwithopenhand), -(pushingwithopenhand(_657287))], (2106 ^ _597088) ^ [_657475] : [pushingwithopenhand(_657475), -(isa(_657475, c_pushingwithopenhand))], (2112 ^ _597088) ^ [_657663] : [isa(_657663, c_tptpcol_15_22076), -(tptpcol_15_22076(_657663))], (2118 ^ _597088) ^ [_657851] : [tptpcol_15_22076(_657851), -(isa(_657851, c_tptpcol_15_22076))], (2124 ^ _597088) ^ [_658024] : [-(natfunction(f_tptpquantityfn_2(_658024), c_tptpquantityfn_2))], (2126 ^ _597088) ^ [_658104] : [-(natargument(f_tptpquantityfn_2(_658104), n_1, _658104))], (2128 ^ _597088) ^ [_658185] : [-(tptpquantity(f_tptpquantityfn_2(_658185)))], (2130 ^ _597088) ^ [_658279] : [isa(_658279, c_tptpcol_7_39939), -(tptpcol_7_39939(_658279))], (2136 ^ _597088) ^ [_658467] : [tptpcol_7_39939(_658467), -(isa(_658467, c_tptpcol_7_39939))], (2142 ^ _597088) ^ [_658655] : [isa(_658655, c_tptpcol_8_39940), -(tptpcol_8_39940(_658655))], (2148 ^ _597088) ^ [_658843] : [tptpcol_8_39940(_658843), -(isa(_658843, c_tptpcol_8_39940))], (2154 ^ _597088) ^ [_659031] : [isa(_659031, c_tptpcol_15_26925), -(tptpcol_15_26925(_659031))], (2160 ^ _597088) ^ [_659219] : [tptpcol_15_26925(_659219), -(isa(_659219, c_tptpcol_15_26925))], (2166 ^ _597088) ^ [_659407] : [isa(_659407, c_tptpcol_16_26926), -(tptpcol_16_26926(_659407))], (2172 ^ _597088) ^ [_659595] : [tptpcol_16_26926(_659595), -(isa(_659595, c_tptpcol_16_26926))], (2178 ^ _597088) ^ [_659783] : [isa(_659783, c_tptpcol_13_118117), -(tptpcol_13_118117(_659783))], (2184 ^ _597088) ^ [_659971] : [tptpcol_13_118117(_659971), -(isa(_659971, c_tptpcol_13_118117))], (2190 ^ _597088) ^ [_660159] : [isa(_660159, c_tptpcol_5_90114), -(tptpcol_5_90114(_660159))], (2196 ^ _597088) ^ [_660347] : [tptpcol_5_90114(_660347), -(isa(_660347, c_tptpcol_5_90114))], (2202 ^ _597088) ^ [_660549, _660551] : [tptptypes_5_802(_660551, _660549), -(firstordercollection(_660549))], (2208 ^ _597088) ^ [_660757, _660759] : [tptptypes_5_802(_660759, _660757), -(firstordercollection(_660759))], (2214 ^ _597088) ^ [_660951] : [isa(_660951, c_tptpcol_16_72795), -(tptpcol_16_72795(_660951))], (2220 ^ _597088) ^ [_661139] : [tptpcol_16_72795(_661139), -(isa(_661139, c_tptpcol_16_72795))], (2226 ^ _597088) ^ [_661327] : [isa(_661327, c_tptpcol_8_114177), -(tptpcol_8_114177(_661327))], (2232 ^ _597088) ^ [_661515] : [tptpcol_8_114177(_661515), -(isa(_661515, c_tptpcol_8_114177))], (2238 ^ _597088) ^ [_661703] : [isa(_661703, c_tptpcol_15_50957), -(tptpcol_15_50957(_661703))], (2244 ^ _597088) ^ [_661891] : [tptpcol_15_50957(_661891), -(isa(_661891, c_tptpcol_15_50957))], (2250 ^ _597088) ^ [_662079] : [isa(_662079, c_tptpcol_16_50958), -(tptpcol_16_50958(_662079))], (2256 ^ _597088) ^ [_662267] : [tptpcol_16_50958(_662267), -(isa(_662267, c_tptpcol_16_50958))], (2262 ^ _597088) ^ [_662455] : [isa(_662455, c_tptpcol_6_71683), -(tptpcol_6_71683(_662455))], (2268 ^ _597088) ^ [_662643] : [tptpcol_6_71683(_662643), -(isa(_662643, c_tptpcol_6_71683))], (2274 ^ _597088) ^ [_662831] : [isa(_662831, c_tptpcol_11_72774), -(tptpcol_11_72774(_662831))], (2280 ^ _597088) ^ [_663019] : [tptpcol_11_72774(_663019), -(isa(_663019, c_tptpcol_11_72774))], (2286 ^ _597088) ^ [_663207] : [isa(_663207, c_tptpcol_12_72775), -(tptpcol_12_72775(_663207))], (2292 ^ _597088) ^ [_663395] : [tptpcol_12_72775(_663395), -(isa(_663395, c_tptpcol_12_72775))], (2298 ^ _597088) ^ [_663583] : [isa(_663583, c_tptpcol_5_110593), -(tptpcol_5_110593(_663583))], (2304 ^ _597088) ^ [_663771] : [tptpcol_5_110593(_663771), -(isa(_663771, c_tptpcol_5_110593))], (2310 ^ _597088) ^ [_663959] : [isa(_663959, c_tptpcol_16_25972), -(tptpcol_16_25972(_663959))], (2316 ^ _597088) ^ [_664147] : [tptpcol_16_25972(_664147), -(isa(_664147, c_tptpcol_16_25972))], (2322 ^ _597088) ^ [_664349, _664351] : [tptp_8_271(_664351, _664349), -(razor(_664349))], (2328 ^ _597088) ^ [_664557, _664559] : [tptp_8_271(_664559, _664557), -(tptpcol_5_24579(_664559))], (2334 ^ _597088) ^ [_664751] : [isa(_664751, c_tptpcol_4_90113), -(tptpcol_4_90113(_664751))], (2340 ^ _597088) ^ [_664939] : [tptpcol_4_90113(_664939), -(isa(_664939, c_tptpcol_4_90113))], (2346 ^ _597088) ^ [_665127] : [isa(_665127, c_tptpcol_10_93700), -(tptpcol_10_93700(_665127))], (2352 ^ _597088) ^ [_665315] : [tptpcol_10_93700(_665315), -(isa(_665315, c_tptpcol_10_93700))], (2358 ^ _597088) ^ [_665503] : [isa(_665503, c_tptpcol_9_93699), -(tptpcol_9_93699(_665503))], (2364 ^ _597088) ^ [_665691] : [tptpcol_9_93699(_665691), -(isa(_665691, c_tptpcol_9_93699))], (2370 ^ _597088) ^ [_665879] : [isa(_665879, c_aspatialthing), -(aspatialthing(_665879))], (2376 ^ _597088) ^ [_666067] : [aspatialthing(_666067), -(isa(_666067, c_aspatialthing))], (2382 ^ _597088) ^ [_666255] : [isa(_666255, c_tptpcol_7_117762), -(tptpcol_7_117762(_666255))], (2388 ^ _597088) ^ [_666443] : [tptpcol_7_117762(_666443), -(isa(_666443, c_tptpcol_7_117762))], (2394 ^ _597088) ^ [_666631] : [isa(_666631, c_tptpcol_8_117763), -(tptpcol_8_117763(_666631))], (2400 ^ _597088) ^ [_666819] : [tptpcol_8_117763(_666819), -(isa(_666819, c_tptpcol_8_117763))], (2406 ^ _597088) ^ [_667007] : [isa(_667007, c_tptpcol_7_18437), -(tptpcol_7_18437(_667007))], (2412 ^ _597088) ^ [_667195] : [tptpcol_7_18437(_667195), -(isa(_667195, c_tptpcol_7_18437))], (2418 ^ _597088) ^ [_667383] : [isa(_667383, c_tptpcol_6_18436), -(tptpcol_6_18436(_667383))], (2424 ^ _597088) ^ [_667571] : [tptpcol_6_18436(_667571), -(isa(_667571, c_tptpcol_6_18436))], (2430 ^ _597088) ^ [_667759] : [isa(_667759, c_tptpcol_8_93698), -(tptpcol_8_93698(_667759))], (2436 ^ _597088) ^ [_667947] : [tptpcol_8_93698(_667947), -(isa(_667947, c_tptpcol_8_93698))], (2442 ^ _597088) ^ [_668135] : [isa(_668135, c_tptpcol_11_109125), -(tptpcol_11_109125(_668135))], (2448 ^ _597088) ^ [_668323] : [tptpcol_11_109125(_668323), -(isa(_668323, c_tptpcol_11_109125))], (2454 ^ _597088) ^ [_668511] : [isa(_668511, c_tptpcol_6_108546), -(tptpcol_6_108546(_668511))], (2460 ^ _597088) ^ [_668699] : [tptpcol_6_108546(_668699), -(isa(_668699, c_tptpcol_6_108546))], (2466 ^ _597088) ^ [_668887] : [isa(_668887, c_tptpcol_6_20484), -(tptpcol_6_20484(_668887))], (2472 ^ _597088) ^ [_669075] : [tptpcol_6_20484(_669075), -(isa(_669075, c_tptpcol_6_20484))], (2478 ^ _597088) ^ [_669277, _669279] : [few(_669279, _669277), -(setorcollection(_669277))], (2484 ^ _597088) ^ [_669485, _669487] : [few(_669487, _669485), -(setorcollection(_669485))], (2490 ^ _597088) ^ [_669693, _669695] : [few(_669695, _669693), -(setorcollection(_669695))], (2496 ^ _597088) ^ [_669901, _669903] : [few(_669903, _669901), -(setorcollection(_669903))], (2502 ^ _597088) ^ [_670123, _670125, _670127] : [-(few(_670127, _670123)), few(_670127, _670125), subsetof(_670123, _670125)], (2512 ^ _597088) ^ [_670418] : [isa(_670418, c_tptpcol_15_130931), -(tptpcol_15_130931(_670418))], (2518 ^ _597088) ^ [_670606] : [tptpcol_15_130931(_670606), -(isa(_670606, c_tptpcol_15_130931))], (2524 ^ _597088) ^ [_670794] : [isa(_670794, c_tptpcol_16_130933), -(tptpcol_16_130933(_670794))], (2530 ^ _597088) ^ [_670982] : [tptpcol_16_130933(_670982), -(isa(_670982, c_tptpcol_16_130933))], (2536 ^ _597088) ^ [_671170] : [isa(_671170, c_tptpcol_7_92163), -(tptpcol_7_92163(_671170))], (2542 ^ _597088) ^ [_671358] : [tptpcol_7_92163(_671358), -(isa(_671358, c_tptpcol_7_92163))], (2548 ^ _597088) ^ [_671546] : [isa(_671546, c_tptpcol_15_130923), -(tptpcol_15_130923(_671546))], (2554 ^ _597088) ^ [_671734] : [tptpcol_15_130923(_671734), -(isa(_671734, c_tptpcol_15_130923))], (2560 ^ _597088) ^ [_671922] : [isa(_671922, c_tptpcol_16_130924), -(tptpcol_16_130924(_671922))], (2566 ^ _597088) ^ [_672110] : [tptpcol_16_130924(_672110), -(isa(_672110, c_tptpcol_16_130924))], (2572 ^ _597088) ^ [_672298] : [isa(_672298, c_intangibleindividual), -(intangibleindividual(_672298))], (2578 ^ _597088) ^ [_672486] : [intangibleindividual(_672486), -(isa(_672486, c_intangibleindividual))], (2584 ^ _597088) ^ [_672673, _672675] : [-(natfunction(f_citynamedfn(_672675, _672673), c_citynamedfn))], (2586 ^ _597088) ^ [_672770, _672772] : [-(natargument(f_citynamedfn(_672772, _672770), n_1, _672772))], (2588 ^ _597088) ^ [_672868, _672870] : [-(natargument(f_citynamedfn(_672870, _672868), n_2, _672868))], (2590 ^ _597088) ^ [_672966, _672968] : [-(city(f_citynamedfn(_672968, _672966)))], (2592 ^ _597088) ^ [_673063] : [isa(_673063, c_tptpcol_13_26920), -(tptpcol_13_26920(_673063))], (2598 ^ _597088) ^ [_673251] : [tptpcol_13_26920(_673251), -(isa(_673251, c_tptpcol_13_26920))], (2604 ^ _597088) ^ [_673439] : [isa(_673439, c_tptpcol_14_26921), -(tptpcol_14_26921(_673439))], (2610 ^ _597088) ^ [_673627] : [tptpcol_14_26921(_673627), -(isa(_673627, c_tptpcol_14_26921))], (2616 ^ _597088) ^ [_673815] : [isa(_673815, c_tptpcol_3_65538), -(tptpcol_3_65538(_673815))], (2622 ^ _597088) ^ [_674003] : [tptpcol_3_65538(_674003), -(isa(_674003, c_tptpcol_3_65538))], (2628 ^ _597088) ^ [_674191] : [isa(_674191, c_tptpcol_16_27189), -(tptpcol_16_27189(_674191))], (2634 ^ _597088) ^ [_674379] : [tptpcol_16_27189(_674379), -(isa(_674379, c_tptpcol_16_27189))], (2640 ^ _597088) ^ [_674581, _674583] : [tptp_9_51(_674583, _674581), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_674581))], (2646 ^ _597088) ^ [_674789, _674791] : [tptp_9_51(_674791, _674789), -(tptpcol_7_26628(_674791))], (2652 ^ _597088) ^ [_674983] : [isa(_674983, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_674983))], (2658 ^ _597088) ^ [_675171] : [reflexivebinarypredicate(_675171), -(isa(_675171, c_reflexivebinarypredicate))], (2664 ^ _597088) ^ [_675359] : [isa(_675359, c_tptpcol_7_21508), -(tptpcol_7_21508(_675359))], (2670 ^ _597088) ^ [_675547] : [tptpcol_7_21508(_675547), -(isa(_675547, c_tptpcol_7_21508))], (2676 ^ _597088) ^ [_675735] : [isa(_675735, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_675735))], (2682 ^ _597088) ^ [_675923] : [hpkb_subnationalagent(_675923), -(isa(_675923, c_hpkb_subnationalagent))], (2688 ^ _597088) ^ [_676111] : [isa(_676111, c_state_geopolitical), -(state_geopolitical(_676111))], (2694 ^ _597088) ^ [_676299] : [state_geopolitical(_676299), -(isa(_676299, c_state_geopolitical))], (2700 ^ _597088) ^ [_676514, _676516, _676518, _676520] : [-(natfunction(f_relationallexistsfn(_676520, _676518, _676516, _676514), c_relationallexistsfn))], (2702 ^ _597088) ^ [_676645, _676647, _676649, _676651] : [-(natargument(f_relationallexistsfn(_676651, _676649, _676647, _676645), n_1, _676651))], (2704 ^ _597088) ^ [_676777, _676779, _676781, _676783] : [-(natargument(f_relationallexistsfn(_676783, _676781, _676779, _676777), n_2, _676781))], (2706 ^ _597088) ^ [_676909, _676911, _676913, _676915] : [-(natargument(f_relationallexistsfn(_676915, _676913, _676911, _676909), n_3, _676911))], (2708 ^ _597088) ^ [_677041, _677043, _677045, _677047] : [-(natargument(f_relationallexistsfn(_677047, _677045, _677043, _677041), n_4, _677041))], (2710 ^ _597088) ^ [_677173, _677175, _677177, _677179] : [-(thing(f_relationallexistsfn(_677179, _677177, _677175, _677173)))], (2712 ^ _597088) ^ [_677290, _677292] : [arg2isa(_677292, _677290), -(collection(_677290))], (2718 ^ _597088) ^ [_677498, _677500] : [arg2isa(_677500, _677498), -(relation(_677500))], (2724 ^ _597088) ^ [_677720, _677722, _677724] : [-(arg2isa(_677724, _677720)), arg2isa(_677724, _677722), genls(_677722, _677720)], (2734 ^ _597088) ^ [_678043, _678045, _678047] : [-(arg2isa(_678047, _678043)), arg2isa(_678047, _678045), genls(_678045, _678043)], (2744 ^ _597088) ^ [_678338] : [isa(_678338, c_geolevel_1), -(geolevel_1(_678338))], (2750 ^ _597088) ^ [_678526] : [geolevel_1(_678526), -(isa(_678526, c_geolevel_1))], (2756 ^ _597088) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _597088) ^ [_678767] : [isa(_678767, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_678767))], (2764 ^ _597088) ^ [_678955] : [spatialthing_nonsituational(_678955), -(isa(_678955, c_spatialthing_nonsituational))], (2770 ^ _597088) ^ [_679143] : [isa(_679143, c_militaryperson), -(militaryperson(_679143))], (2776 ^ _597088) ^ [_679331] : [militaryperson(_679331), -(isa(_679331, c_militaryperson))], (2782 ^ _597088) ^ [_679519] : [isa(_679519, c_tptpcol_15_72793), -(tptpcol_15_72793(_679519))], (2788 ^ _597088) ^ [_679707] : [tptpcol_15_72793(_679707), -(isa(_679707, c_tptpcol_15_72793))], (2794 ^ _597088) ^ [_679895] : [isa(_679895, c_tptpcol_9_26885), -(tptpcol_9_26885(_679895))], (2800 ^ _597088) ^ [_680083] : [tptpcol_9_26885(_680083), -(isa(_680083, c_tptpcol_9_26885))], (2806 ^ _597088) ^ [_680271] : [isa(_680271, c_tptpcol_10_26886), -(tptpcol_10_26886(_680271))], (2812 ^ _597088) ^ [_680459] : [tptpcol_10_26886(_680459), -(isa(_680459, c_tptpcol_10_26886))], (2818 ^ _597088) ^ [_680661, _680663] : [tptptypes_8_823(_680663, _680661), -(firstordercollection(_680661))], (2824 ^ _597088) ^ [_680869, _680871] : [tptptypes_8_823(_680871, _680869), -(firstordercollection(_680871))], (2830 ^ _597088) ^ [_681063] : [isa(_681063, c_tptpcol_16_92269), -(tptpcol_16_92269(_681063))], (2836 ^ _597088) ^ [_681251] : [tptpcol_16_92269(_681251), -(isa(_681251, c_tptpcol_16_92269))], (2842 ^ _597088) ^ [_681439] : [isa(_681439, c_tptpcol_15_109185), -(tptpcol_15_109185(_681439))], (2848 ^ _597088) ^ [_681627] : [tptpcol_15_109185(_681627), -(isa(_681627, c_tptpcol_15_109185))], (2854 ^ _597088) ^ [_681815] : [isa(_681815, c_tptpcol_6_26627), -(tptpcol_6_26627(_681815))], (2860 ^ _597088) ^ [_682003] : [tptpcol_6_26627(_682003), -(isa(_682003, c_tptpcol_6_26627))], (2866 ^ _597088) ^ [_682191] : [isa(_682191, c_tptpcol_12_118116), -(tptpcol_12_118116(_682191))], (2872 ^ _597088) ^ [_682379] : [tptpcol_12_118116(_682379), -(isa(_682379, c_tptpcol_12_118116))], (2878 ^ _597088) ^ [_682567] : [isa(_682567, c_tptpcol_8_18438), -(tptpcol_8_18438(_682567))], (2884 ^ _597088) ^ [_682755] : [tptpcol_8_18438(_682755), -(isa(_682755, c_tptpcol_8_18438))], (2890 ^ _597088) ^ [_682943] : [isa(_682943, c_tptpcol_15_30970), -(tptpcol_15_30970(_682943))], (2896 ^ _597088) ^ [_683131] : [tptpcol_15_30970(_683131), -(isa(_683131, c_tptpcol_15_30970))], (2902 ^ _597088) ^ [_683319] : [isa(_683319, c_tptpcol_16_30972), -(tptpcol_16_30972(_683319))], (2908 ^ _597088) ^ [_683507] : [tptpcol_16_30972(_683507), -(isa(_683507, c_tptpcol_16_30972))], (2914 ^ _597088) ^ [_683695] : [isa(_683695, c_tptpcol_14_109181), -(tptpcol_14_109181(_683695))], (2920 ^ _597088) ^ [_683883] : [tptpcol_14_109181(_683883), -(isa(_683883, c_tptpcol_14_109181))], (2926 ^ _597088) ^ [_684071] : [isa(_684071, c_physicalorderingpredicate), -(physicalorderingpredicate(_684071))], (2932 ^ _597088) ^ [_684259] : [physicalorderingpredicate(_684259), -(isa(_684259, c_physicalorderingpredicate))], (2938 ^ _597088) ^ [_684447] : [isa(_684447, c_tptpcol_16_7738), -(tptpcol_16_7738(_684447))], (2944 ^ _597088) ^ [_684635] : [tptpcol_16_7738(_684635), -(isa(_684635, c_tptpcol_16_7738))], (2950 ^ _597088) ^ [_684837, _684839] : [tptp_8_968(_684839, _684837), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_684837))], (2956 ^ _597088) ^ [_685045, _685047] : [tptp_8_968(_685047, _685045), -(tptpcol_7_7172(_685047))], (2962 ^ _597088) ^ [_685267, _685269, _685271] : [relationexistsall(_685271, _685269, _685267), -(collection(_685267))], (2968 ^ _597088) ^ [_685497, _685499, _685501] : [relationexistsall(_685501, _685499, _685497), -(collection(_685499))], (2974 ^ _597088) ^ [_685727, _685729, _685731] : [relationexistsall(_685731, _685729, _685727), -(binarypredicate(_685731))], (2980 ^ _597088) ^ [_685929] : [isa(_685929, c_tptpcol_7_26628), -(tptpcol_7_26628(_685929))], (2986 ^ _597088) ^ [_686117] : [tptpcol_7_26628(_686117), -(isa(_686117, c_tptpcol_7_26628))], (2992 ^ _597088) ^ [_686305] : [isa(_686305, c_tptpcol_8_26629), -(tptpcol_8_26629(_686305))], (2998 ^ _597088) ^ [_686493] : [tptpcol_8_26629(_686493), -(isa(_686493, c_tptpcol_8_26629))], (3004 ^ _597088) ^ [_686681] : [isa(_686681, c_tptpcol_3_114688), -(tptpcol_3_114688(_686681))], (3010 ^ _597088) ^ [_686869] : [tptpcol_3_114688(_686869), -(isa(_686869, c_tptpcol_3_114688))], (3016 ^ _597088) ^ [_687042] : [-(natfunction(f_contextofpcwfn(_687042), c_contextofpcwfn))], (3018 ^ _597088) ^ [_687122] : [-(natargument(f_contextofpcwfn(_687122), n_1, _687122))], (3020 ^ _597088) ^ [_687203] : [-(microtheory(f_contextofpcwfn(_687203)))], (3022 ^ _597088) ^ [_687311, _687313] : [arg1isa(_687313, _687311), -(collection(_687311))], (3028 ^ _597088) ^ [_687519, _687521] : [arg1isa(_687521, _687519), -(relation(_687521))], (3034 ^ _597088) ^ [_687741, _687743, _687745] : [-(arg1isa(_687745, _687741)), arg1isa(_687745, _687743), genls(_687743, _687741)], (3044 ^ _597088) ^ [_688064, _688066, _688068] : [-(arg1isa(_688068, _688064)), arg1isa(_688068, _688066), genls(_688066, _688064)], (3054 ^ _597088) ^ [_688373, _688375] : [objectfoundinlocation(_688375, _688373), -(spatialthing_nonsituational(_688373))], (3060 ^ _597088) ^ [_688581, _688583] : [objectfoundinlocation(_688583, _688581), -(spatialthing_localized(_688581))], (3066 ^ _597088) ^ [_688789, _688791] : [objectfoundinlocation(_688791, _688789), -(spatialthing_nonsituational(_688791))], (3072 ^ _597088) ^ [_688997, _688999] : [objectfoundinlocation(_688999, _688997), -(spatialthing_localized(_688999))], (3078 ^ _597088) ^ [_689219, _689221, _689223] : [-(objectfoundinlocation(_689223, _689219)), objectfoundinlocation(_689223, _689221), objectfoundinlocation(_689221, _689219)], (3088 ^ _597088) ^ [_689498] : [objectfoundinlocation(_689498, _689498)], (3090 ^ _597088) ^ [_689619, _689621, _689623] : [-(objectfoundinlocation(_689623, _689619)), objectfoundinlocation(_689623, _689621), geopoliticalsubdivision(_689619, _689621)], (3100 ^ _597088) ^ [_689942, _689944, _689946] : [-(objectfoundinlocation(_689946, _689942)), objectfoundinlocation(_689946, _689944), geographicallysubsumes(_689942, _689944)], (3110 ^ _597088) ^ [_690265, _690267, _690269] : [-(objectfoundinlocation(_690269, _690265)), objectfoundinlocation(_690269, _690267), subregions(_690265, _690267)], (3120 ^ _597088) ^ [_690560] : [isa(_690560, c_ship), -(ship(_690560))], (3126 ^ _597088) ^ [_690748] : [ship(_690748), -(isa(_690748, c_ship))], (3132 ^ _597088) ^ [_690949, _690951, _690953] : [-(natfunction(f_subcollectionofwithrelationtofn(_690953, _690951, _690949), c_subcollectionofwithrelationtofn))], (3134 ^ _597088) ^ [_691063, _691065, _691067] : [-(natargument(f_subcollectionofwithrelationtofn(_691067, _691065, _691063), n_1, _691067))], (3136 ^ _597088) ^ [_691178, _691180, _691182] : [-(natargument(f_subcollectionofwithrelationtofn(_691182, _691180, _691178), n_2, _691180))], (3138 ^ _597088) ^ [_691293, _691295, _691297] : [-(natargument(f_subcollectionofwithrelationtofn(_691297, _691295, _691293), n_3, _691293))], (3140 ^ _597088) ^ [_691408, _691410, _691412] : [-(collection(f_subcollectionofwithrelationtofn(_691412, _691410, _691408)))], (3142 ^ _597088) ^ [_691508] : [isa(_691508, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691508))], (3148 ^ _597088) ^ [_691696] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691696), -(isa(_691696, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _597088) ^ [_691884] : [isa(_691884, c_tptpcol_4_65539), -(tptpcol_4_65539(_691884))], (3160 ^ _597088) ^ [_692072] : [tptpcol_4_65539(_692072), -(isa(_692072, c_tptpcol_4_65539))], (3166 ^ _597088) ^ [_692260] : [isa(_692260, c_tptpcol_5_69635), -(tptpcol_5_69635(_692260))], (3172 ^ _597088) ^ [_692448] : [tptpcol_5_69635(_692448), -(isa(_692448, c_tptpcol_5_69635))], (3178 ^ _597088) ^ [_692636] : [isa(_692636, c_tptpcol_3_16386), -(tptpcol_3_16386(_692636))], (3184 ^ _597088) ^ [_692824] : [tptpcol_3_16386(_692824), -(isa(_692824, c_tptpcol_3_16386))], (3190 ^ _597088) ^ [_693026, _693028] : [no(_693028, _693026), -(setorcollection(_693026))], (3196 ^ _597088) ^ [_693234, _693236] : [no(_693236, _693234), -(setorcollection(_693236))], (3202 ^ _597088) ^ [_693442, _693444] : [no(_693444, _693442), -(no(_693442, _693444))], (3208 ^ _597088) ^ [_693666, _693668, _693670] : [-(no(_693670, _693666)), no(_693670, _693668), subsetof(_693666, _693668)], (3218 ^ _597088) ^ [_693989, _693991, _693993] : [-(no(_693989, _693991)), no(_693993, _693991), subsetof(_693989, _693993)], (3228 ^ _597088) ^ [_694312, _694314, _694316] : [-(no(_694312, _694314)), no(_694316, _694314), genls(_694312, _694316)], (3238 ^ _597088) ^ [_694635, _694637, _694639] : [-(no(_694639, _694635)), no(_694639, _694637), genls(_694635, _694637)], (3248 ^ _597088) ^ [_694958, _694960, _694962] : [-(no(_694958, _694960)), no(_694962, _694960), subsetof(_694958, _694962)], (3258 ^ _597088) ^ [_695281, _695283, _695285] : [-(no(_695285, _695281)), no(_695285, _695283), subsetof(_695281, _695283)], (3268 ^ _597088) ^ [_695576] : [isa(_695576, c_geographicalregion), -(geographicalregion(_695576))], (3274 ^ _597088) ^ [_695764] : [geographicalregion(_695764), -(isa(_695764, c_geographicalregion))], (3280 ^ _597088) ^ [_695937] : [-(natfunction(f_tptpquantityfn_21(_695937), c_tptpquantityfn_21))], (3282 ^ _597088) ^ [_696017] : [-(natargument(f_tptpquantityfn_21(_696017), n_1, _696017))], (3284 ^ _597088) ^ [_696098] : [-(tptpquantity(f_tptpquantityfn_21(_696098)))], (3286 ^ _597088) ^ [_696206, _696208] : [airporthasiatacode(_696208, _696206), -(stringoflengthfn3(_696206))], (3292 ^ _597088) ^ [_696414, _696416] : [airporthasiatacode(_696416, _696414), -(airport_physical(_696416))], (3298 ^ _597088) ^ [_696608] : [isa(_696608, c_airport_physical), -(airport_physical(_696608))], (3304 ^ _597088) ^ [_696796] : [airport_physical(_696796), -(isa(_696796, c_airport_physical))], (3310 ^ _597088) ^ [_696997, _696999, _697001] : [-(natfunction(f_instancewithrelationtofn(_697001, _696999, _696997), c_instancewithrelationtofn))], (3312 ^ _597088) ^ [_697111, _697113, _697115] : [-(natargument(f_instancewithrelationtofn(_697115, _697113, _697111), n_1, _697115))], (3314 ^ _597088) ^ [_697226, _697228, _697230] : [-(natargument(f_instancewithrelationtofn(_697230, _697228, _697226), n_2, _697228))], (3316 ^ _597088) ^ [_697341, _697343, _697345] : [-(natargument(f_instancewithrelationtofn(_697345, _697343, _697341), n_3, _697341))], (3318 ^ _597088) ^ [_697456, _697458, _697460] : [-(thing(f_instancewithrelationtofn(_697460, _697458, _697456)))], (3320 ^ _597088) ^ [_697556] : [isa(_697556, c_tptpcol_6_112641), -(tptpcol_6_112641(_697556))], (3326 ^ _597088) ^ [_697744] : [tptpcol_6_112641(_697744), -(isa(_697744, c_tptpcol_6_112641))], (3332 ^ _597088) ^ [_697932] : [isa(_697932, c_tptpcol_7_113665), -(tptpcol_7_113665(_697932))], (3338 ^ _597088) ^ [_698120] : [tptpcol_7_113665(_698120), -(isa(_698120, c_tptpcol_7_113665))], (3344 ^ _597088) ^ [_698308] : [isa(_698308, c_artifact), -(artifact(_698308))], (3350 ^ _597088) ^ [_698496] : [artifact(_698496), -(isa(_698496, c_artifact))], (3356 ^ _597088) ^ [_698684] : [isa(_698684, c_tptpcol_13_18664), -(tptpcol_13_18664(_698684))], (3362 ^ _597088) ^ [_698872] : [tptpcol_13_18664(_698872), -(isa(_698872, c_tptpcol_13_18664))], (3368 ^ _597088) ^ [_699060] : [isa(_699060, c_firstordercollection), -(firstordercollection(_699060))], (3374 ^ _597088) ^ [_699248] : [firstordercollection(_699248), -(isa(_699248, c_firstordercollection))], (3380 ^ _597088) ^ [_699421] : [-(natfunction(f_tptpquantityfn_14(_699421), c_tptpquantityfn_14))], (3382 ^ _597088) ^ [_699501] : [-(natargument(f_tptpquantityfn_14(_699501), n_1, _699501))], (3384 ^ _597088) ^ [_699582] : [-(tptpquantity(f_tptpquantityfn_14(_699582)))], (3386 ^ _597088) ^ [_699676] : [isa(_699676, c_supplies), -(supplies(_699676))], (3392 ^ _597088) ^ [_699864] : [supplies(_699864), -(isa(_699864, c_supplies))], (3398 ^ _597088) ^ [_700052] : [isa(_700052, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_700052))], (3404 ^ _597088) ^ [_700240] : [inanimateobject_nonnatural(_700240), -(isa(_700240, c_inanimateobject_nonnatural))], (3410 ^ _597088) ^ [_700428] : [isa(_700428, c_tptpcol_13_22071), -(tptpcol_13_22071(_700428))], (3416 ^ _597088) ^ [_700616] : [tptpcol_13_22071(_700616), -(isa(_700616, c_tptpcol_13_22071))], (3422 ^ _597088) ^ [_700804] : [isa(_700804, c_tptpcol_14_22072), -(tptpcol_14_22072(_700804))], (3428 ^ _597088) ^ [_700992] : [tptpcol_14_22072(_700992), -(isa(_700992, c_tptpcol_14_22072))], (3434 ^ _597088) ^ [_701180] : [isa(_701180, c_tptpcol_7_108547), -(tptpcol_7_108547(_701180))], (3440 ^ _597088) ^ [_701368] : [tptpcol_7_108547(_701368), -(isa(_701368, c_tptpcol_7_108547))], (3446 ^ _597088) ^ [_701556] : [isa(_701556, c_tptpcol_8_109059), -(tptpcol_8_109059(_701556))], (3452 ^ _597088) ^ [_701744] : [tptpcol_8_109059(_701744), -(isa(_701744, c_tptpcol_8_109059))], (3458 ^ _597088) ^ [_701932] : [isa(_701932, c_tptpcol_14_93774), -(tptpcol_14_93774(_701932))], (3464 ^ _597088) ^ [_702120] : [tptpcol_14_93774(_702120), -(isa(_702120, c_tptpcol_14_93774))], (3470 ^ _597088) ^ [_702308] : [isa(_702308, c_tptpcol_15_93775), -(tptpcol_15_93775(_702308))], (3476 ^ _597088) ^ [_702496] : [tptpcol_15_93775(_702496), -(isa(_702496, c_tptpcol_15_93775))], (3482 ^ _597088) ^ [_702684] : [isa(_702684, c_tptpcol_16_8886), -(tptpcol_16_8886(_702684))], (3488 ^ _597088) ^ [_702872] : [tptpcol_16_8886(_702872), -(isa(_702872, c_tptpcol_16_8886))], (3494 ^ _597088) ^ [_703074, _703076] : [orientation(_703076, _703074), -(orientationvector(_703074))], (3500 ^ _597088) ^ [_703282, _703284] : [orientation(_703284, _703282), -(spatialthing_localized(_703284))], (3506 ^ _597088) ^ [_703476] : [isa(_703476, c_orientationvector), -(orientationvector(_703476))], (3512 ^ _597088) ^ [_703664] : [orientationvector(_703664), -(isa(_703664, c_orientationvector))], (3518 ^ _597088) ^ [_703852] : [isa(_703852, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_703852))], (3524 ^ _597088) ^ [_704040] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704040), -(isa(_704040, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _597088) ^ [_704242, _704244] : [tptptypes_9_824(_704244, _704242), -(firstordercollection(_704242))], (3536 ^ _597088) ^ [_704450, _704452] : [tptptypes_9_824(_704452, _704450), -(firstordercollection(_704452))], (3542 ^ _597088) ^ [_704658, _704660] : [tptptypes_7_396(_704660, _704658), -(firstordercollection(_704658))], (3548 ^ _597088) ^ [_704866, _704868] : [tptptypes_7_396(_704868, _704866), -(firstordercollection(_704868))], (3554 ^ _597088) ^ [_705060] : [isa(_705060, c_tptpcol_12_22055), -(tptpcol_12_22055(_705060))], (3560 ^ _597088) ^ [_705248] : [tptpcol_12_22055(_705248), -(isa(_705248, c_tptpcol_12_22055))], (3566 ^ _597088) ^ [_705436] : [isa(_705436, c_tptpcol_16_29490), -(tptpcol_16_29490(_705436))], (3572 ^ _597088) ^ [_705624] : [tptpcol_16_29490(_705624), -(isa(_705624, c_tptpcol_16_29490))], (3578 ^ _597088) ^ [_705826, _705828] : [tptp_9_720(_705828, _705826), -(tptpcol_5_28674(_705826))], (3584 ^ _597088) ^ [_706034, _706036] : [tptp_9_720(_706036, _706034), -(executionbyfiringsquad(_706036))], (3590 ^ _597088) ^ [_706228] : [isa(_706228, c_runningshorts), -(runningshorts(_706228))], (3596 ^ _597088) ^ [_706416] : [runningshorts(_706416), -(isa(_706416, c_runningshorts))], (3602 ^ _597088) ^ [_706604] : [isa(_706604, c_tptpcol_9_118019), -(tptpcol_9_118019(_706604))], (3608 ^ _597088) ^ [_706792] : [tptpcol_9_118019(_706792), -(isa(_706792, c_tptpcol_9_118019))], (3614 ^ _597088) ^ [_706980] : [isa(_706980, c_tptpcol_16_31868), -(tptpcol_16_31868(_706980))], (3620 ^ _597088) ^ [_707168] : [tptpcol_16_31868(_707168), -(isa(_707168, c_tptpcol_16_31868))], (3626 ^ _597088) ^ [_707356] : [isa(_707356, c_movement_translationevent), -(movement_translationevent(_707356))], (3632 ^ _597088) ^ [_707544] : [movement_translationevent(_707544), -(isa(_707544, c_movement_translationevent))], (3638 ^ _597088) ^ [_707746, _707748] : [directionoftranslation_throughout(_707748, _707746), -(unitvectorinterval(_707746))], (3644 ^ _597088) ^ [_707954, _707956] : [directionoftranslation_throughout(_707956, _707954), -(movement_translationevent(_707956))], (3650 ^ _597088) ^ [_708176, _708178, _708180] : [-(directionoftranslation_throughout(_708176, _708178)), directionoftranslation_throughout(_708180, _708178), subevents(_708180, _708176)], (3660 ^ _597088) ^ [_708471] : [isa(_708471, c_unitvectorinterval), -(unitvectorinterval(_708471))], (3666 ^ _597088) ^ [_708659] : [unitvectorinterval(_708659), -(isa(_708659, c_unitvectorinterval))], (3672 ^ _597088) ^ [_708847] : [isa(_708847, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708847))], (3678 ^ _597088) ^ [_709035] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709035), -(isa(_709035, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _597088) ^ [_709237, _709239] : [tptp_8_875(_709239, _709237), -(tptpcol_4_24578(_709237))], (3690 ^ _597088) ^ [_709445, _709447] : [tptp_8_875(_709447, _709445), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709447))], (3696 ^ _597088) ^ [_709667, _709669, _709671] : [relationallexists(_709671, _709669, _709667), -(collection(_709667))], (3702 ^ _597088) ^ [_709897, _709899, _709901] : [relationallexists(_709901, _709899, _709897), -(collection(_709899))], (3708 ^ _597088) ^ [_710127, _710129, _710131] : [relationallexists(_710131, _710129, _710127), -(binarypredicate(_710131))], (3714 ^ _597088) ^ [_710329] : [isa(_710329, c_tptpcol_16_10258), -(tptpcol_16_10258(_710329))], (3720 ^ _597088) ^ [_710517] : [tptpcol_16_10258(_710517), -(isa(_710517, c_tptpcol_16_10258))], (3726 ^ _597088) ^ [_710705] : [isa(_710705, c_pushingababycarriage), -(pushingababycarriage(_710705))], (3732 ^ _597088) ^ [_710893] : [pushingababycarriage(_710893), -(isa(_710893, c_pushingababycarriage))], (3738 ^ _597088) ^ [_711081] : [isa(_711081, c_aspatialinformationstore), -(aspatialinformationstore(_711081))], (3744 ^ _597088) ^ [_711269] : [aspatialinformationstore(_711269), -(isa(_711269, c_aspatialinformationstore))], (3750 ^ _597088) ^ [_711457] : [isa(_711457, c_collection), -(collection(_711457))], (3756 ^ _597088) ^ [_711645] : [collection(_711645), -(isa(_711645, c_collection))], (3762 ^ _597088) ^ [_711833] : [isa(_711833, c_fixedordercollection), -(fixedordercollection(_711833))], (3768 ^ _597088) ^ [_712021] : [fixedordercollection(_712021), -(isa(_712021, c_fixedordercollection))], (3774 ^ _597088) ^ [_712209] : [isa(_712209, c_tptpcol_8_92164), -(tptpcol_8_92164(_712209))], (3780 ^ _597088) ^ [_712397] : [tptpcol_8_92164(_712397), -(isa(_712397, c_tptpcol_8_92164))], (3786 ^ _597088) ^ [_712585] : [isa(_712585, c_tptpcol_9_92165), -(tptpcol_9_92165(_712585))], (3792 ^ _597088) ^ [_712773] : [tptpcol_9_92165(_712773), -(isa(_712773, c_tptpcol_9_92165))], (3798 ^ _597088) ^ [_712961] : [isa(_712961, c_tptpcol_1_1), -(tptpcol_1_1(_712961))], (3804 ^ _597088) ^ [_713149] : [tptpcol_1_1(_713149), -(isa(_713149, c_tptpcol_1_1))], (3810 ^ _597088) ^ [_713337] : [isa(_713337, c_tptpcol_2_2), -(tptpcol_2_2(_713337))], (3816 ^ _597088) ^ [_713525] : [tptpcol_2_2(_713525), -(isa(_713525, c_tptpcol_2_2))], (3822 ^ _597088) ^ [_713727, _713729] : [tptptypes_7_691(_713729, _713727), -(firstordercollection(_713727))], (3828 ^ _597088) ^ [_713935, _713937] : [tptptypes_7_691(_713937, _713935), -(firstordercollection(_713937))], (3834 ^ _597088) ^ [_714129] : [isa(_714129, c_tptpcol_11_26887), -(tptpcol_11_26887(_714129))], (3840 ^ _597088) ^ [_714317] : [tptpcol_11_26887(_714317), -(isa(_714317, c_tptpcol_11_26887))], (3846 ^ _597088) ^ [_714505] : [isa(_714505, c_tptpcol_12_26919), -(tptpcol_12_26919(_714505))], (3852 ^ _597088) ^ [_714693] : [tptpcol_12_26919(_714693), -(isa(_714693, c_tptpcol_12_26919))], (3858 ^ _597088) ^ [_714895, _714897] : [tptptypes_6_818(_714897, _714895), -(firstordercollection(_714895))], (3864 ^ _597088) ^ [_715103, _715105] : [tptptypes_6_818(_715105, _715103), -(firstordercollection(_715105))], (3870 ^ _597088) ^ [_715311, _715313] : [tptptypes_7_819(_715313, _715311), -(firstordercollection(_715311))], (3876 ^ _597088) ^ [_715519, _715521] : [tptptypes_7_819(_715521, _715519), -(firstordercollection(_715521))], (3882 ^ _597088) ^ [_715713] : [isa(_715713, c_correctivelensprescription), -(correctivelensprescription(_715713))], (3888 ^ _597088) ^ [_715901] : [correctivelensprescription(_715901), -(isa(_715901, c_correctivelensprescription))], (3894 ^ _597088) ^ [_716103, _716105] : [products(_716105, _716103), -(artifact(_716103))], (3900 ^ _597088) ^ [_716311, _716313] : [products(_716313, _716311), -(creationordestructionevent(_716313))], (3906 ^ _597088) ^ [_716505] : [isa(_716505, c_issuingaprescription), -(issuingaprescription(_716505))], (3912 ^ _597088) ^ [_716693] : [issuingaprescription(_716693), -(isa(_716693, c_issuingaprescription))], (3918 ^ _597088) ^ [_716894, _716896, _716898] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_716898, _716896, _716894), c_subcollectionofwithrelationtotypefn))], (3920 ^ _597088) ^ [_717008, _717010, _717012] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717012, _717010, _717008), n_1, _717012))], (3922 ^ _597088) ^ [_717123, _717125, _717127] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717127, _717125, _717123), n_2, _717125))], (3924 ^ _597088) ^ [_717238, _717240, _717242] : [-(natargument(f_subcollectionofwithrelationtotypefn(_717242, _717240, _717238), n_3, _717238))], (3926 ^ _597088) ^ [_717353, _717355, _717357] : [-(collection(f_subcollectionofwithrelationtotypefn(_717357, _717355, _717353)))], (3928 ^ _597088) ^ [_717453] : [isa(_717453, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717453))], (3934 ^ _597088) ^ [_717641] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717641), -(isa(_717641, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _597088) ^ [_717829] : [isa(_717829, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_717829))], (3946 ^ _597088) ^ [_718017] : [mathematicalorcomputationalthing(_718017), -(isa(_718017, c_mathematicalorcomputationalthing))], (3952 ^ _597088) ^ [_718205] : [isa(_718205, c_tptpcol_10_118020), -(tptpcol_10_118020(_718205))], (3958 ^ _597088) ^ [_718393] : [tptpcol_10_118020(_718393), -(isa(_718393, c_tptpcol_10_118020))], (3964 ^ _597088) ^ [_718581] : [isa(_718581, c_tptpcol_11_118084), -(tptpcol_11_118084(_718581))], (3970 ^ _597088) ^ [_718769] : [tptpcol_11_118084(_718769), -(isa(_718769, c_tptpcol_11_118084))], (3976 ^ _597088) ^ [_718957] : [isa(_718957, c_terroristgroup), -(terroristgroup(_718957))], (3982 ^ _597088) ^ [_719145] : [terroristgroup(_719145), -(isa(_719145, c_terroristgroup))], (3988 ^ _597088) ^ [_719347, _719349] : [hasmembers(_719349, _719347), -(agent_generic(_719347))], (3994 ^ _597088) ^ [_719555, _719557] : [hasmembers(_719557, _719555), -(organization(_719557))], (4000 ^ _597088) ^ [_719749] : [isa(_719749, c_terrorist), -(terrorist(_719749))], (4006 ^ _597088) ^ [_719937] : [terrorist(_719937), -(isa(_719937, c_terrorist))], (4012 ^ _597088) ^ [_720138, _720140, _720142] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_720142, _720140, _720138), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _597088) ^ [_720252, _720254, _720256] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720256, _720254, _720252), n_1, _720256))], (4016 ^ _597088) ^ [_720367, _720369, _720371] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720371, _720369, _720367), n_2, _720369))], (4018 ^ _597088) ^ [_720482, _720484, _720486] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_720486, _720484, _720482), n_3, _720482))], (4020 ^ _597088) ^ [_720597, _720599, _720601] : [-(collection(f_subcollectionofwithrelationfromtypefn(_720601, _720599, _720597)))], (4022 ^ _597088) ^ [_720697] : [isa(_720697, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720697))], (4028 ^ _597088) ^ [_720885] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720885), -(isa(_720885, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _597088) ^ [_721087, _721089] : [prettystring(_721089, _721087), -(controlcharacterfreestring(_721087))], (4040 ^ _597088) ^ [_721295, _721297] : [prettystring(_721297, _721295), -(thing(_721297))], (4046 ^ _597088) ^ [_721489] : [isa(_721489, c_tptpcol_0_0), -(tptpcol_0_0(_721489))], (4052 ^ _597088) ^ [_721677] : [tptpcol_0_0(_721677), -(isa(_721677, c_tptpcol_0_0))], (4058 ^ _597088) ^ [_721865] : [isa(_721865, c_geolevel_3), -(geolevel_3(_721865))], (4064 ^ _597088) ^ [_722053] : [geolevel_3(_722053), -(isa(_722053, c_geolevel_3))], (4070 ^ _597088) ^ [_722241] : [isa(_722241, c_tptpcol_4_24578), -(tptpcol_4_24578(_722241))], (4076 ^ _597088) ^ [_722429] : [tptpcol_4_24578(_722429), -(isa(_722429, c_tptpcol_4_24578))], (4082 ^ _597088) ^ [_722617] : [isa(_722617, c_tptpcol_5_24579), -(tptpcol_5_24579(_722617))], (4088 ^ _597088) ^ [_722805] : [tptpcol_5_24579(_722805), -(isa(_722805, c_tptpcol_5_24579))], (4094 ^ _597088) ^ [_722993] : [isa(_722993, c_tptpcol_5_106498), -(tptpcol_5_106498(_722993))], (4100 ^ _597088) ^ [_723181] : [tptpcol_5_106498(_723181), -(isa(_723181, c_tptpcol_5_106498))], (4106 ^ _597088) ^ [_723369] : [isa(_723369, c_tptpcol_12_109157), -(tptpcol_12_109157(_723369))], (4112 ^ _597088) ^ [_723557] : [tptpcol_12_109157(_723557), -(isa(_723557, c_tptpcol_12_109157))], (4118 ^ _597088) ^ [_723745] : [isa(_723745, c_tptpcol_13_109173), -(tptpcol_13_109173(_723745))], (4124 ^ _597088) ^ [_723933] : [tptpcol_13_109173(_723933), -(isa(_723933, c_tptpcol_13_109173))], (4130 ^ _597088) ^ [_724121] : [isa(_724121, c_mathematicalthing), -(mathematicalthing(_724121))], (4136 ^ _597088) ^ [_724309] : [mathematicalthing(_724309), -(isa(_724309, c_mathematicalthing))], (4142 ^ _597088) ^ [_724497] : [isa(_724497, c_setorcollection), -(setorcollection(_724497))], (4148 ^ _597088) ^ [_724685] : [setorcollection(_724685), -(isa(_724685, c_setorcollection))], (4154 ^ _597088) ^ [_724873] : [isa(_724873, c_tptpcol_11_18631), -(tptpcol_11_18631(_724873))], (4160 ^ _597088) ^ [_725061] : [tptpcol_11_18631(_725061), -(isa(_725061, c_tptpcol_11_18631))], (4166 ^ _597088) ^ [_725249] : [isa(_725249, c_tptpcol_12_18663), -(tptpcol_12_18663(_725249))], (4172 ^ _597088) ^ [_725437] : [tptpcol_12_18663(_725437), -(isa(_725437, c_tptpcol_12_18663))], (4178 ^ _597088) ^ [_725639, _725641] : [tptptypes_8_400(_725641, _725639), -(firstordercollection(_725639))], (4184 ^ _597088) ^ [_725847, _725849] : [tptptypes_8_400(_725849, _725847), -(firstordercollection(_725849))], (4190 ^ _597088) ^ [_726055, _726057] : [tptptypes_9_401(_726057, _726055), -(firstordercollection(_726055))], (4196 ^ _597088) ^ [_726263, _726265] : [tptptypes_9_401(_726265, _726263), -(firstordercollection(_726265))], (4202 ^ _597088) ^ [_726442] : [-(natfunction(f_tptpquantityfn_13(_726442), c_tptpquantityfn_13))], (4204 ^ _597088) ^ [_726522] : [-(natargument(f_tptpquantityfn_13(_726522), n_1, _726522))], (4206 ^ _597088) ^ [_726603] : [-(tptpquantity(f_tptpquantityfn_13(_726603)))], (4208 ^ _597088) ^ [_726711, _726713] : [borderson(_726713, _726711), -(geographicalregion(_726711))], (4214 ^ _597088) ^ [_726919, _726921] : [borderson(_726921, _726919), -(geographicalregion(_726921))], (4220 ^ _597088) ^ [_727127, _727129] : [borderson(_727129, _727127), -(borderson(_727127, _727129))], (4226 ^ _597088) ^ [_727307] : [borderson(_727307, _727307)], (4228 ^ _597088) ^ [_727400] : [isa(_727400, c_tptpcol_14_92264), -(tptpcol_14_92264(_727400))], (4234 ^ _597088) ^ [_727588] : [tptpcol_14_92264(_727588), -(isa(_727588, c_tptpcol_14_92264))], (4240 ^ _597088) ^ [_727776] : [isa(_727776, c_tptpcol_15_92268), -(tptpcol_15_92268(_727776))], (4246 ^ _597088) ^ [_727964] : [tptpcol_15_92268(_727964), -(isa(_727964, c_tptpcol_15_92268))], (4252 ^ _597088) ^ [_728152] : [isa(_728152, c_tptpcol_6_116738), -(tptpcol_6_116738(_728152))], (4258 ^ _597088) ^ [_728340] : [tptpcol_6_116738(_728340), -(isa(_728340, c_tptpcol_6_116738))], (4264 ^ _597088) ^ [_728542, _728544] : [tptptypes_5_387(_728544, _728542), -(firstordercollection(_728542))], (4270 ^ _597088) ^ [_728750, _728752] : [tptptypes_5_387(_728752, _728750), -(firstordercollection(_728752))], (4276 ^ _597088) ^ [_728958, _728960] : [tptptypes_6_388(_728960, _728958), -(firstordercollection(_728958))], (4282 ^ _597088) ^ [_729166, _729168] : [tptptypes_6_388(_729168, _729166), -(firstordercollection(_729168))], (4288 ^ _597088) ^ [_729360] : [isa(_729360, c_shavingrazor_manual), -(shavingrazor_manual(_729360))], (4294 ^ _597088) ^ [_729548] : [shavingrazor_manual(_729548), -(isa(_729548, c_shavingrazor_manual))], (4300 ^ _597088) ^ [_729736] : [isa(_729736, c_tptpcol_9_109060), -(tptpcol_9_109060(_729736))], (4306 ^ _597088) ^ [_729924] : [tptpcol_9_109060(_729924), -(isa(_729924, c_tptpcol_9_109060))], (4312 ^ _597088) ^ [_730112] : [isa(_730112, c_tptpcol_10_109061), -(tptpcol_10_109061(_730112))], (4318 ^ _597088) ^ [_730300] : [tptpcol_10_109061(_730300), -(isa(_730300, c_tptpcol_10_109061))], (4324 ^ _597088) ^ [_730488] : [isa(_730488, c_executionbyfiringsquad), -(executionbyfiringsquad(_730488))], (4330 ^ _597088) ^ [_730676] : [executionbyfiringsquad(_730676), -(isa(_730676, c_executionbyfiringsquad))], (4336 ^ _597088) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _597088) ^ [_730917] : [isa(_730917, c_navypersonnel), -(navypersonnel(_730917))], (4344 ^ _597088) ^ [_731105] : [navypersonnel(_731105), -(isa(_731105, c_navypersonnel))], (4350 ^ _597088) ^ [_731293] : [isa(_731293, c_tptpcol_12_92262), -(tptpcol_12_92262(_731293))], (4356 ^ _597088) ^ [_731481] : [tptpcol_12_92262(_731481), -(isa(_731481, c_tptpcol_12_92262))], (4362 ^ _597088) ^ [_731669] : [isa(_731669, c_thing), -(thing(_731669))], (4368 ^ _597088) ^ [_731857] : [thing(_731857), -(isa(_731857, c_thing))], (4374 ^ _597088) ^ [_732045] : [isa(_732045, c_computerdataartifact), -(computerdataartifact(_732045))], (4380 ^ _597088) ^ [_732233] : [computerdataartifact(_732233), -(isa(_732233, c_computerdataartifact))], (4386 ^ _597088) ^ [_732421] : [isa(_732421, c_applicationcontext), -(applicationcontext(_732421))], (4392 ^ _597088) ^ [_732609] : [applicationcontext(_732609), -(isa(_732609, c_applicationcontext))], (4398 ^ _597088) ^ [_732811, _732813] : [inregion(_732813, _732811), -(spatialthing_nonsituational(_732811))], (4404 ^ _597088) ^ [_733019, _733021] : [inregion(_733021, _733019), -(spatialthing_nonsituational(_733021))], (4410 ^ _597088) ^ [_733241, _733243, _733245] : [-(inregion(_733245, _733241)), inregion(_733245, _733243), inregion(_733243, _733241)], (4420 ^ _597088) ^ [_733536] : [spatialthing_nonsituational(_733536), -(inregion(_733536, _733536))], (4426 ^ _597088) ^ [_733709] : [-(natfunction(f_tptpquantityfn_1(_733709), c_tptpquantityfn_1))], (4428 ^ _597088) ^ [_733789] : [-(natargument(f_tptpquantityfn_1(_733789), n_1, _733789))], (4430 ^ _597088) ^ [_733870] : [-(tptpquantity(f_tptpquantityfn_1(_733870)))], (4432 ^ _597088) ^ [_733964] : [isa(_733964, c_furpelt), -(furpelt(_733964))], (4438 ^ _597088) ^ [_734152] : [furpelt(_734152), -(isa(_734152, c_furpelt))], (4444 ^ _597088) ^ [_734354, _734356] : [tptpofobject(_734356, _734354), -(tptpquantity(_734354))], (4450 ^ _597088) ^ [_734562, _734564] : [tptpofobject(_734564, _734562), -(partiallytangible(_734564))], (4456 ^ _597088) ^ [_734784, _734786, _734788] : [relationallinstance(_734788, _734786, _734784), -(thing(_734784))], (4462 ^ _597088) ^ [_735014, _735016, _735018] : [relationallinstance(_735018, _735016, _735014), -(collection(_735016))], (4468 ^ _597088) ^ [_735244, _735246, _735248] : [relationallinstance(_735248, _735246, _735244), -(binarypredicate(_735248))], (4474 ^ _597088) ^ [_735446] : [isa(_735446, c_tptpcol_13_93766), -(tptpcol_13_93766(_735446))], (4480 ^ _597088) ^ [_735634] : [tptpcol_13_93766(_735634), -(isa(_735634, c_tptpcol_13_93766))], (4486 ^ _597088) ^ [_735822] : [isa(_735822, c_tptpcol_9_40196), -(tptpcol_9_40196(_735822))], (4492 ^ _597088) ^ [_736010] : [tptpcol_9_40196(_736010), -(isa(_736010, c_tptpcol_9_40196))], (4498 ^ _597088) ^ [_736198] : [isa(_736198, c_tptpcol_10_40324), -(tptpcol_10_40324(_736198))], (4504 ^ _597088) ^ [_736386] : [tptpcol_10_40324(_736386), -(isa(_736386, c_tptpcol_10_40324))], (4510 ^ _597088) ^ [_736574] : [isa(_736574, c_tptpcol_7_72707), -(tptpcol_7_72707(_736574))], (4516 ^ _597088) ^ [_736762] : [tptpcol_7_72707(_736762), -(isa(_736762, c_tptpcol_7_72707))], (4522 ^ _597088) ^ [_736950] : [isa(_736950, c_tptpcol_8_72708), -(tptpcol_8_72708(_736950))], (4528 ^ _597088) ^ [_737138] : [tptpcol_8_72708(_737138), -(isa(_737138, c_tptpcol_8_72708))], (4534 ^ _597088) ^ [_737326] : [isa(_737326, c_tptpcol_11_93764), -(tptpcol_11_93764(_737326))], (4540 ^ _597088) ^ [_737514] : [tptpcol_11_93764(_737514), -(isa(_737514, c_tptpcol_11_93764))], (4546 ^ _597088) ^ [_737702] : [isa(_737702, c_tptpcol_12_93765), -(tptpcol_12_93765(_737702))], (4552 ^ _597088) ^ [_737890] : [tptpcol_12_93765(_737890), -(isa(_737890, c_tptpcol_12_93765))], (4558 ^ _597088) ^ [_738078] : [isa(_738078, c_tptpcol_4_114689), -(tptpcol_4_114689(_738078))], (4564 ^ _597088) ^ [_738266] : [tptpcol_4_114689(_738266), -(isa(_738266, c_tptpcol_4_114689))], (4570 ^ _597088) ^ [_738454] : [isa(_738454, c_tptpcol_5_114690), -(tptpcol_5_114690(_738454))], (4576 ^ _597088) ^ [_738642] : [tptpcol_5_114690(_738642), -(isa(_738642, c_tptpcol_5_114690))], (4582 ^ _597088) ^ [_738830] : [isa(_738830, c_tptpcol_3_98305), -(tptpcol_3_98305(_738830))], (4588 ^ _597088) ^ [_739018] : [tptpcol_3_98305(_739018), -(isa(_739018, c_tptpcol_3_98305))], (4594 ^ _597088) ^ [_739206] : [isa(_739206, c_tptpcol_4_106497), -(tptpcol_4_106497(_739206))], (4600 ^ _597088) ^ [_739394] : [tptpcol_4_106497(_739394), -(isa(_739394, c_tptpcol_4_106497))], (4606 ^ _597088) ^ [_739609, _739611, _739613, _739615] : [-(natfunction(f_relationexistsallfn(_739615, _739613, _739611, _739609), c_relationexistsallfn))], (4608 ^ _597088) ^ [_739740, _739742, _739744, _739746] : [-(natargument(f_relationexistsallfn(_739746, _739744, _739742, _739740), n_1, _739746))], (4610 ^ _597088) ^ [_739872, _739874, _739876, _739878] : [-(natargument(f_relationexistsallfn(_739878, _739876, _739874, _739872), n_2, _739876))], (4612 ^ _597088) ^ [_740004, _740006, _740008, _740010] : [-(natargument(f_relationexistsallfn(_740010, _740008, _740006, _740004), n_3, _740006))], (4614 ^ _597088) ^ [_740136, _740138, _740140, _740142] : [-(natargument(f_relationexistsallfn(_740142, _740140, _740138, _740136), n_4, _740136))], (4616 ^ _597088) ^ [_740268, _740270, _740272, _740274] : [-(thing(f_relationexistsallfn(_740274, _740272, _740270, _740268)))], (4618 ^ _597088) ^ [_740385, _740387] : [resultisaarg(_740387, _740385), -(positiveinteger(_740385))], (4624 ^ _597088) ^ [_740593, _740595] : [resultisaarg(_740595, _740593), -(function_denotational(_740595))], (4630 ^ _597088) ^ [_740801, _740803] : [tptptypes_7_389(_740803, _740801), -(firstordercollection(_740801))], (4636 ^ _597088) ^ [_741009, _741011] : [tptptypes_7_389(_741011, _741009), -(firstordercollection(_741011))], (4642 ^ _597088) ^ [_741217, _741219] : [tptptypes_8_390(_741219, _741217), -(firstordercollection(_741217))], (4648 ^ _597088) ^ [_741425, _741427] : [tptptypes_8_390(_741427, _741425), -(firstordercollection(_741427))], (4654 ^ _597088) ^ [_741633, _741635] : [tptptypes_8_692(_741635, _741633), -(firstordercollection(_741633))], (4660 ^ _597088) ^ [_741841, _741843] : [tptptypes_8_692(_741843, _741841), -(firstordercollection(_741843))], (4666 ^ _597088) ^ [_742049, _742051] : [tptptypes_9_693(_742051, _742049), -(firstordercollection(_742049))], (4672 ^ _597088) ^ [_742257, _742259] : [tptptypes_9_693(_742259, _742257), -(firstordercollection(_742259))], (4678 ^ _597088) ^ [_742451] : [isa(_742451, c_tptpcol_11_40388), -(tptpcol_11_40388(_742451))], (4684 ^ _597088) ^ [_742639] : [tptpcol_11_40388(_742639), -(isa(_742639, c_tptpcol_11_40388))], (4690 ^ _597088) ^ [_742827] : [isa(_742827, c_marriagelicensedocument), -(marriagelicensedocument(_742827))], (4696 ^ _597088) ^ [_743015] : [marriagelicensedocument(_743015), -(isa(_743015, c_marriagelicensedocument))], (4702 ^ _597088) ^ [_743203] : [isa(_743203, c_tptpcol_1_65536), -(tptpcol_1_65536(_743203))], (4708 ^ _597088) ^ [_743391] : [tptpcol_1_65536(_743391), -(isa(_743391, c_tptpcol_1_65536))], (4714 ^ _597088) ^ [_743579] : [isa(_743579, c_tptpcol_2_98304), -(tptpcol_2_98304(_743579))], (4720 ^ _597088) ^ [_743767] : [tptpcol_2_98304(_743767), -(isa(_743767, c_tptpcol_2_98304))], (4726 ^ _597088) ^ [_743955] : [isa(_743955, c_tptpcol_10_92166), -(tptpcol_10_92166(_743955))], (4732 ^ _597088) ^ [_744143] : [tptpcol_10_92166(_744143), -(isa(_744143, c_tptpcol_10_92166))], (4738 ^ _597088) ^ [_744331] : [isa(_744331, c_tptpcol_11_92230), -(tptpcol_11_92230(_744331))], (4744 ^ _597088) ^ [_744519] : [tptpcol_11_92230(_744519), -(isa(_744519, c_tptpcol_11_92230))], (4750 ^ _597088) ^ [_744707] : [isa(_744707, c_orderingpredicate), -(orderingpredicate(_744707))], (4756 ^ _597088) ^ [_744895] : [orderingpredicate(_744895), -(isa(_744895, c_orderingpredicate))], (4762 ^ _597088) ^ [_745083] : [isa(_745083, c_tptpcol_9_18439), -(tptpcol_9_18439(_745083))], (4768 ^ _597088) ^ [_745271] : [tptpcol_9_18439(_745271), -(isa(_745271, c_tptpcol_9_18439))], (4774 ^ _597088) ^ [_745459] : [isa(_745459, c_tptpcol_10_18567), -(tptpcol_10_18567(_745459))], (4780 ^ _597088) ^ [_745647] : [tptpcol_10_18567(_745647), -(isa(_745647, c_tptpcol_10_18567))], (4786 ^ _597088) ^ [_745835] : [isa(_745835, c_tptpcol_2_65537), -(tptpcol_2_65537(_745835))], (4792 ^ _597088) ^ [_746023] : [tptpcol_2_65537(_746023), -(isa(_746023, c_tptpcol_2_65537))], (4798 ^ _597088) ^ [_746211] : [isa(_746211, c_tptpcol_3_81921), -(tptpcol_3_81921(_746211))], (4804 ^ _597088) ^ [_746399] : [tptpcol_3_81921(_746399), -(isa(_746399, c_tptpcol_3_81921))], (4810 ^ _597088) ^ [_746587] : [isa(_746587, c_artsupplies), -(artsupplies(_746587))], (4816 ^ _597088) ^ [_746775] : [artsupplies(_746775), -(isa(_746775, c_artsupplies))], (4822 ^ _597088) ^ [_746963] : [isa(_746963, c_enduringthing_localized), -(enduringthing_localized(_746963))], (4828 ^ _597088) ^ [_747151] : [enduringthing_localized(_747151), -(isa(_747151, c_enduringthing_localized))], (4834 ^ _597088) ^ [_747339] : [isa(_747339, c_location_underspecified), -(location_underspecified(_747339))], (4840 ^ _597088) ^ [_747527] : [location_underspecified(_747527), -(isa(_747527, c_location_underspecified))], (4846 ^ _597088) ^ [_747715] : [isa(_747715, c_trajector_underspecified), -(trajector_underspecified(_747715))], (4852 ^ _597088) ^ [_747903] : [trajector_underspecified(_747903), -(isa(_747903, c_trajector_underspecified))], (4858 ^ _597088) ^ [_748091] : [isa(_748091, c_individual), -(individual(_748091))], (4864 ^ _597088) ^ [_748279] : [individual(_748279), -(isa(_748279, c_individual))], (4870 ^ _597088) ^ [_748467] : [isa(_748467, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_748467))], (4876 ^ _597088) ^ [_748655] : [partiallyintangibleindividual(_748655), -(isa(_748655, c_partiallyintangibleindividual))], (4882 ^ _597088) ^ [_748843] : [isa(_748843, c_tptpcol_10_22022), -(tptpcol_10_22022(_748843))], (4888 ^ _597088) ^ [_749031] : [tptpcol_10_22022(_749031), -(isa(_749031, c_tptpcol_10_22022))], (4894 ^ _597088) ^ [_749219] : [isa(_749219, c_tptpcol_11_22023), -(tptpcol_11_22023(_749219))], (4900 ^ _597088) ^ [_749407] : [tptpcol_11_22023(_749407), -(isa(_749407, c_tptpcol_11_22023))], (4906 ^ _597088) ^ [_749595] : [isa(_749595, c_tptpcol_5_20483), -(tptpcol_5_20483(_749595))], (4912 ^ _597088) ^ [_749783] : [tptpcol_5_20483(_749783), -(isa(_749783, c_tptpcol_5_20483))], (4918 ^ _597088) ^ [_749971] : [isa(_749971, c_tptpcol_13_72791), -(tptpcol_13_72791(_749971))], (4924 ^ _597088) ^ [_750159] : [tptpcol_13_72791(_750159), -(isa(_750159, c_tptpcol_13_72791))], (4930 ^ _597088) ^ [_750347] : [isa(_750347, c_tptpcol_14_72792), -(tptpcol_14_72792(_750347))], (4936 ^ _597088) ^ [_750535] : [tptpcol_14_72792(_750535), -(isa(_750535, c_tptpcol_14_72792))], (4942 ^ _597088) ^ [_750723] : [isa(_750723, c_ridgeline_topographical), -(ridgeline_topographical(_750723))], (4948 ^ _597088) ^ [_750911] : [ridgeline_topographical(_750911), -(isa(_750911, c_ridgeline_topographical))], (4954 ^ _597088) ^ [_751099] : [isa(_751099, c_tptpcol_4_16387), -(tptpcol_4_16387(_751099))], (4960 ^ _597088) ^ [_751287] : [tptpcol_4_16387(_751287), -(isa(_751287, c_tptpcol_4_16387))], (4966 ^ _597088) ^ [_751475] : [isa(_751475, c_tptpcol_5_16388), -(tptpcol_5_16388(_751475))], (4972 ^ _597088) ^ [_751663] : [tptpcol_5_16388(_751663), -(isa(_751663, c_tptpcol_5_16388))], (4978 ^ _597088) ^ [_751851] : [isa(_751851, c_tptpcol_8_22020), -(tptpcol_8_22020(_751851))], (4984 ^ _597088) ^ [_752039] : [tptpcol_8_22020(_752039), -(isa(_752039, c_tptpcol_8_22020))], (4990 ^ _597088) ^ [_752227] : [isa(_752227, c_tptpcol_9_22021), -(tptpcol_9_22021(_752227))], (4996 ^ _597088) ^ [_752415] : [tptpcol_9_22021(_752415), -(isa(_752415, c_tptpcol_9_22021))], (5002 ^ _597088) ^ [_752603] : [isa(_752603, c_transitivebinarypredicate), -(transitivebinarypredicate(_752603))], (5008 ^ _597088) ^ [_752791] : [transitivebinarypredicate(_752791), -(isa(_752791, c_transitivebinarypredicate))], (5014 ^ _597088) ^ [_752993, _752995] : [geographicalsubregions(_752995, _752993), -(geographicalregion(_752993))], (5020 ^ _597088) ^ [_753201, _753203] : [geographicalsubregions(_753203, _753201), -(geographicalregion(_753203))], (5026 ^ _597088) ^ [_753423, _753425, _753427] : [-(geographicalsubregions(_753427, _753423)), geographicalsubregions(_753427, _753425), geographicalsubregions(_753425, _753423)], (5036 ^ _597088) ^ [_753718] : [geographicalregion(_753718), -(geographicalsubregions(_753718, _753718))], (5042 ^ _597088) ^ [_753906] : [isa(_753906, c_tptpcol_12_40420), -(tptpcol_12_40420(_753906))], (5048 ^ _597088) ^ [_754094] : [tptpcol_12_40420(_754094), -(isa(_754094, c_tptpcol_12_40420))], (5054 ^ _597088) ^ [_754282] : [isa(_754282, c_tptpcol_13_40421), -(tptpcol_13_40421(_754282))], (5060 ^ _597088) ^ [_754470] : [tptpcol_13_40421(_754470), -(isa(_754470, c_tptpcol_13_40421))], (5066 ^ _597088) ^ [_754658] : [isa(_754658, c_tptpcol_6_92162), -(tptpcol_6_92162(_754658))], (5072 ^ _597088) ^ [_754846] : [tptpcol_6_92162(_754846), -(isa(_754846, c_tptpcol_6_92162))], (5078 ^ _597088) ^ [_755034] : [isa(_755034, c_tptpcol_7_93186), -(tptpcol_7_93186(_755034))], (5084 ^ _597088) ^ [_755222] : [tptpcol_7_93186(_755222), -(isa(_755222, c_tptpcol_7_93186))], (5090 ^ _597088) ^ [_755424, _755426] : [most(_755426, _755424), -(setorcollection(_755424))], (5096 ^ _597088) ^ [_755632, _755634] : [most(_755634, _755632), -(setorcollection(_755632))], (5102 ^ _597088) ^ [_755840, _755842] : [most(_755842, _755840), -(setorcollection(_755842))], (5108 ^ _597088) ^ [_756048, _756050] : [most(_756050, _756048), -(setorcollection(_756050))], (5114 ^ _597088) ^ [_756242] : [setorcollection(_756242), -(most(_756242, _756242))], (5120 ^ _597088) ^ [_756430] : [setorcollection(_756430), -(most(_756430, _756430))], (5126 ^ _597088) ^ [_756646, _756648, _756650] : [-(most(_756650, _756646)), most(_756650, _756648), subsetof(_756648, _756646)], (5136 ^ _597088) ^ [_756969, _756971, _756973] : [-(most(_756973, _756969)), most(_756973, _756971), subsetof(_756971, _756969)], (5146 ^ _597088) ^ [_757278, _757280] : [subsetof(_757280, _757278), -(setorcollection(_757278))], (5152 ^ _597088) ^ [_757486, _757488] : [subsetof(_757488, _757486), -(setorcollection(_757488))], (5158 ^ _597088) ^ [_757708, _757710, _757712] : [-(subsetof(_757712, _757708)), subsetof(_757712, _757710), subsetof(_757710, _757708)], (5168 ^ _597088) ^ [_758003] : [setorcollection(_758003), -(subsetof(_758003, _758003))], (5174 ^ _597088) ^ [_758219, _758221, _758223] : [-(subsetof(_758219, _758221)), subsetof(_758223, _758221), subsetof(_758219, _758223)], (5184 ^ _597088) ^ [_758542, _758544, _758546] : [-(subsetof(_758546, _758542)), subsetof(_758546, _758544), subsetof(_758544, _758542)], (5194 ^ _597088) ^ [_758865, _758867, _758869] : [-(subsetof(_758869, _758865)), subsetof(_758869, _758867), subsetof(_758867, _758865)], (5204 ^ _597088) ^ [_759174, _759176] : [genlpreds(_759176, _759174), -(predicate(_759174))], (5210 ^ _597088) ^ [_759382, _759384] : [genlpreds(_759384, _759382), -(predicate(_759382))], (5216 ^ _597088) ^ [_759590, _759592] : [genlpreds(_759592, _759590), -(predicate(_759592))], (5222 ^ _597088) ^ [_759798, _759800] : [genlpreds(_759800, _759798), -(predicate(_759800))], (5228 ^ _597088) ^ [_760020, _760022, _760024] : [-(genlpreds(_760024, _760020)), genlpreds(_760024, _760022), genlpreds(_760022, _760020)], (5238 ^ _597088) ^ [_760315] : [predicate(_760315), -(genlpreds(_760315, _760315))], (5244 ^ _597088) ^ [_760503] : [predicate(_760503), -(genlpreds(_760503, _760503))], (5250 ^ _597088) ^ [_760705, _760707] : [genlinverse(_760707, _760705), -(binarypredicate(_760705))], (5256 ^ _597088) ^ [_760913, _760915] : [genlinverse(_760915, _760913), -(binarypredicate(_760915))], (5262 ^ _597088) ^ [_761135, _761137, _761139] : [-(genlinverse(_761135, _761137)), genlinverse(_761139, _761137), genlpreds(_761135, _761139)], (5272 ^ _597088) ^ [_761458, _761460, _761462] : [-(genlinverse(_761462, _761458)), genlinverse(_761462, _761460), genlpreds(_761460, _761458)], (5282 ^ _597088) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _597088) ^ [_761806] : [isa(_761806, c_microtheory), -(microtheory(_761806))], (5290 ^ _597088) ^ [_761994] : [microtheory(_761994), -(isa(_761994, c_microtheory))], (5296 ^ _597088) ^ [_762167] : [-(natfunction(f_urlfn(_762167), c_urlfn))], (5298 ^ _597088) ^ [_762247] : [-(natargument(f_urlfn(_762247), n_1, _762247))], (5300 ^ _597088) ^ [_762328] : [-(uniformresourcelocator(f_urlfn(_762328)))], (5302 ^ _597088) ^ [_762407] : [-(natfunction(f_urlreferentfn(_762407), c_urlreferentfn))], (5304 ^ _597088) ^ [_762487] : [-(natargument(f_urlreferentfn(_762487), n_1, _762487))], (5306 ^ _597088) ^ [_762568] : [-(computerdataartifact(f_urlreferentfn(_762568)))], (5308 ^ _597088) ^ [_762661, _762663] : [-(natfunction(f_contentmtofcdafromeventfn(_762663, _762661), c_contentmtofcdafromeventfn))], (5310 ^ _597088) ^ [_762758, _762760] : [-(natargument(f_contentmtofcdafromeventfn(_762760, _762758), n_1, _762760))], (5312 ^ _597088) ^ [_762856, _762858] : [-(natargument(f_contentmtofcdafromeventfn(_762858, _762856), n_2, _762856))], (5314 ^ _597088) ^ [_762954, _762956] : [-(microtheory(f_contentmtofcdafromeventfn(_762956, _762954)))], (5316 ^ _597088) ^ [_763065, _763067] : [isa(_763067, _763065), -(collection(_763065))], (5322 ^ _597088) ^ [_763273, _763275] : [isa(_763275, _763273), -(collection(_763273))], (5328 ^ _597088) ^ [_763481, _763483] : [isa(_763483, _763481), -(thing(_763483))], (5334 ^ _597088) ^ [_763689, _763691] : [isa(_763691, _763689), -(thing(_763691))], (5340 ^ _597088) ^ [_763911, _763913, _763915] : [-(isa(_763915, _763911)), isa(_763915, _763913), genls(_763913, _763911)], (5350 ^ _597088) ^ [_764206] : [isa(_764206, c_inanimateobject), -(inanimateobject(_764206))], (5356 ^ _597088) ^ [_764394] : [inanimateobject(_764394), -(isa(_764394, c_inanimateobject))], (5362 ^ _597088) ^ [_764582] : [isa(_764582, c_tptpcol_9_72709), -(tptpcol_9_72709(_764582))], (5368 ^ _597088) ^ [_764770] : [tptpcol_9_72709(_764770), -(isa(_764770, c_tptpcol_9_72709))], (5374 ^ _597088) ^ [_764958] : [isa(_764958, c_tptpcol_10_72710), -(tptpcol_10_72710(_764958))], (5380 ^ _597088) ^ [_765146] : [tptpcol_10_72710(_765146), -(isa(_765146, c_tptpcol_10_72710))], (5386 ^ _597088) ^ [_765334] : [isa(_765334, c_tptpcol_14_40429), -(tptpcol_14_40429(_765334))], (5392 ^ _597088) ^ [_765522] : [tptpcol_14_40429(_765522), -(isa(_765522, c_tptpcol_14_40429))], (5398 ^ _597088) ^ [_765710] : [isa(_765710, c_tptpcol_15_40430), -(tptpcol_15_40430(_765710))], (5404 ^ _597088) ^ [_765898] : [tptpcol_15_40430(_765898), -(isa(_765898, c_tptpcol_15_40430))], (5410 ^ _597088) ^ [_766100, _766102] : [genls(_766102, _766100), -(collection(_766100))], (5416 ^ _597088) ^ [_766308, _766310] : [genls(_766310, _766308), -(collection(_766308))], (5422 ^ _597088) ^ [_766516, _766518] : [genls(_766518, _766516), -(collection(_766518))], (5428 ^ _597088) ^ [_766724, _766726] : [genls(_766726, _766724), -(collection(_766726))], (5434 ^ _597088) ^ [_766946, _766948, _766950] : [-(genls(_766950, _766946)), genls(_766950, _766948), genls(_766948, _766946)], (5444 ^ _597088) ^ [_767241] : [collection(_767241), -(genls(_767241, _767241))], (5450 ^ _597088) ^ [_767429] : [collection(_767429), -(genls(_767429, _767429))], (5456 ^ _597088) ^ [_767645, _767647, _767649] : [-(genls(_767645, _767647)), genls(_767649, _767647), genls(_767645, _767649)], (5466 ^ _597088) ^ [_767968, _767970, _767972] : [-(genls(_767972, _767968)), genls(_767972, _767970), genls(_767970, _767968)], (5476 ^ _597088) ^ [_768263] : [isa(_768263, c_partiallytangible), -(partiallytangible(_768263))], (5482 ^ _597088) ^ [_768451] : [partiallytangible(_768451), -(isa(_768451, c_partiallytangible))], (5488 ^ _597088) ^ [_768639] : [isa(_768639, c_intangible), -(intangible(_768639))], (5494 ^ _597088) ^ [_768827] : [intangible(_768827), -(isa(_768827, c_intangible))], (5500 ^ _597088) ^ [_769029, _769031] : [disjointwith(_769031, _769029), -(collection(_769029))], (5506 ^ _597088) ^ [_769237, _769239] : [disjointwith(_769239, _769237), -(collection(_769239))], (5512 ^ _597088) ^ [_769445, _769447] : [disjointwith(_769447, _769445), -(disjointwith(_769445, _769447))], (5518 ^ _597088) ^ [_769669, _769671, _769673] : [-(disjointwith(_769673, _769669)), disjointwith(_769673, _769671), genls(_769669, _769671)], (5528 ^ _597088) ^ [_769992, _769994, _769996] : [-(disjointwith(_769992, _769994)), disjointwith(_769996, _769994), genls(_769992, _769996)], (5538 ^ _597088) ^ [_770301, _770303] : [-(mtvisible(_770301)), mtvisible(_770303), genlmt(_770303, _770301)], (5548 ^ _597088) ^ [_770596, _770598] : [genlmt(_770598, _770596), -(microtheory(_770596))], (5554 ^ _597088) ^ [_770804, _770806] : [genlmt(_770806, _770804), -(microtheory(_770804))], (5560 ^ _597088) ^ [_771012, _771014] : [genlmt(_771014, _771012), -(microtheory(_771014))], (5566 ^ _597088) ^ [_771220, _771222] : [genlmt(_771222, _771220), -(microtheory(_771222))], (5572 ^ _597088) ^ [_771442, _771444, _771446] : [-(genlmt(_771446, _771442)), genlmt(_771446, _771444), genlmt(_771444, _771442)], (5582 ^ _597088) ^ [_771737] : [microtheory(_771737), -(genlmt(_771737, _771737))], (5594 ^ _597088) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _597088) ^ [_771925] : [microtheory(_771925), -(genlmt(_771925, _771925))]], input).
% 0.44/1.38 ncf('1',plain,[borderson(c_georegion_l4_x29_y76, c_georegion_l4_x29_y75)],start(5598 ^ 0,bind([[_786652], [c_georegion_l4_x29_y76]]))).
% 0.44/1.38 ncf('1.1',plain,[-(borderson(c_georegion_l4_x29_y76, c_georegion_l4_x29_y75)), borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76)],extension(4220 ^ 1,bind([[_727127, _727129], [c_georegion_l4_x29_y76, c_georegion_l4_x29_y75]]))).
% 0.44/1.38 ncf('1.1.1',plain,[-(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76)), mtvisible(c_tptpgeo_member7_mt)],extension(1894 ^ 2)).
% 0.44/1.38 ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3,bind([[_786615], [_405306]]))).
% 0.44/1.38 %-----------------------------------------------------
% 0.44/1.38 End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------