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

% Computer : n001.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:41:44 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : CSR047+2 : TPTP v8.1.2. Released v3.4.0.
% 0.11/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n001.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Fri May 19 01:18:05 EDT 2023
% 0.13/0.33  % CPUTime  : 
% 0.41/1.38  
% 0.41/1.38  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.41/1.38  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.41/1.38  %-----------------------------------------------------
% 0.41/1.38  ncf(matrix, plain, [(5596 ^ _596550) ^ [] : [-(mtvisible(c_tptpgeo_member4_mt))], (5598 ^ _596550) ^ [] : [borderson(c_georegion_l4_x37_y50, c_georegion_l4_x36_y50)], (2 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _596550) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _596550) ^ [_596755] : [intangible(_596755), partiallytangible(_596755)], (12 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _596550) ^ [_596993] : [tptpcol_15_40430(_596993), -(tptpcol_14_40429(_596993))], (20 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _596550) ^ [_597232] : [tptpcol_10_72710(_597232), -(tptpcol_9_72709(_597232))], (28 ^ _596550) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _596550) ^ [_597471] : [inanimateobject(_597471), -(partiallytangible(_597471))], (36 ^ _596550) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _596550) ^ [_597738, _597740, _597742] : [-(genlpreds(_597742, _597738)), genlinverse(_597742, _597740), genlinverse(_597740, _597738)], (48 ^ _596550) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _596550) ^ [_598100, _598102] : [subsetof(_598102, _598100), -(most(_598102, _598100))], (56 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _596550) ^ [_598349] : [tptpcol_7_93186(_598349), -(tptpcol_6_92162(_598349))], (64 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _596550) ^ [_598588] : [tptpcol_13_40421(_598588), -(tptpcol_12_40420(_598588))], (72 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _596550) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _596550) ^ [_599052] : [tptpcol_9_22021(_599052), -(tptpcol_8_22020(_599052))], (90 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _596550) ^ [_599291] : [tptpcol_5_16388(_599291), -(tptpcol_4_16387(_599291))], (98 ^ _596550) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _596550) ^ [_599649] : [tptpcol_14_72792(_599649), -(tptpcol_13_72791(_599649))], (112 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _596550) ^ [_599888] : [tptpcol_5_20483(_599888), -(tptpcol_4_16387(_599888))], (120 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _596550) ^ [_600127] : [tptpcol_11_22023(_600127), -(tptpcol_10_22022(_600127))], (128 ^ _596550) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _596550) ^ [_600366] : [partiallyintangibleindividual(_600366), -(individual(_600366))], (136 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _596550) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _596550) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _596550) ^ [_600711] : [trajector_underspecified(_600711), -(location_underspecified(_600711))], (148 ^ _596550) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _596550) ^ [_600950] : [partiallytangible(_600950), -(enduringthing_localized(_600950))], (156 ^ _596550) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _596550) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _596550) ^ [_601308] : [tptpcol_3_81921(_601308), -(tptpcol_2_65537(_601308))], (170 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _596550) ^ [_601547] : [tptpcol_10_18567(_601547), -(tptpcol_9_18439(_601547))], (178 ^ _596550) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _596550) ^ [_601786] : [orderingpredicate(_601786), -(transitivebinarypredicate(_601786))], (186 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _596550) ^ [_602025] : [tptpcol_11_92230(_602025), -(tptpcol_10_92166(_602025))], (194 ^ _596550) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _596550) ^ [_602264] : [tptpcol_2_98304(_602264), -(tptpcol_1_65536(_602264))], (202 ^ _596550) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _596550) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _596550) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _596550) ^ [_602728] : [tptpcol_12_40420(_602728), -(tptpcol_11_40388(_602728))], (220 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _596550) ^ [_602981, _602983] : [tptptypes_9_693(_602983, _602981), -(tptptypes_8_692(_602983, _602981))], (228 ^ _596550) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _596550) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _596550) ^ [_603350, _603352] : [tptptypes_8_390(_603352, _603350), -(tptptypes_7_389(_603352, _603350))], (240 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _596550) ^ [_603694, _603696, _603698, _603700] : [-(isa(f_relationexistsallfn(_603700, _603696, _603694, _603698), _603694)), isa(_603700, _603698), relationexistsall(_603696, _603694, _603698)], (254 ^ _596550) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _596550) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _596550) ^ [_604223] : [tptpcol_4_106497(_604223), -(tptpcol_3_98305(_604223))], (268 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _596550) ^ [_604462] : [tptpcol_5_114690(_604462), -(tptpcol_4_114689(_604462))], (276 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _596550) ^ [_604701] : [tptpcol_12_93765(_604701), -(tptpcol_11_93764(_604701))], (284 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _596550) ^ [_604940] : [tptpcol_8_72708(_604940), -(tptpcol_7_72707(_604940))], (292 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _596550) ^ [_605179] : [tptpcol_10_40324(_605179), -(tptpcol_9_40196(_605179))], (300 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _596550) ^ [_605418] : [tptpcol_13_93766(_605418), -(tptpcol_12_93765(_605418))], (308 ^ _596550) ^ [_605604] : [-(tptpofobject(_605604, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_605604)], (318 ^ _596550) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _596550) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _596550) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _596550) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _596550) ^ [_606268] : [location_underspecified(_606268), -(thing(_606268))], (342 ^ _596550) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _596550) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _596550) ^ [_606613] : [tptpcol_12_92262(_606613), -(tptpcol_11_92230(_606613))], (354 ^ _596550) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _596550) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _596550) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _596550) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _596550) ^ [_607130] : [tptpcol_10_109061(_607130), -(tptpcol_9_109060(_607130))], (374 ^ _596550) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _596550) ^ [_607436, _607438] : [tptptypes_6_388(_607438, _607436), -(tptptypes_5_387(_607438, _607436))], (384 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _596550) ^ [_607685] : [tptpcol_6_116738(_607685), -(tptpcol_5_114690(_607685))], (392 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _596550) ^ [_607924] : [tptpcol_15_92268(_607924), -(tptpcol_14_92264(_607924))], (400 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _596550) ^ [_608229] : [-(tptpofobject(_608229, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_608229)], (416 ^ _596550) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _596550) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _596550) ^ [_608682, _608684] : [tptptypes_9_401(_608684, _608682), -(tptptypes_8_400(_608682, _608684))], (430 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _596550) ^ [_608931] : [tptpcol_12_18663(_608931), -(tptpcol_11_18631(_608931))], (438 ^ _596550) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _596550) ^ [_609170] : [setorcollection(_609170), -(mathematicalthing(_609170))], (446 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _596550) ^ [_609409] : [tptpcol_13_109173(_609409), -(tptpcol_12_109157(_609409))], (454 ^ _596550) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _596550) ^ [_609701] : [tptpcol_5_106498(_609701), -(tptpcol_4_106497(_609701))], (464 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _596550) ^ [_609940] : [tptpcol_5_24579(_609940), -(tptpcol_4_24578(_609940))], (472 ^ _596550) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _596550) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _596550) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _596550) ^ [_610470] : [tptpcol_1_65536(_610470), -(tptpcol_0_0(_610470))], (494 ^ _596550) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _596550) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _596550) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _596550) ^ [_610895, _610897] : [geographicalsubregions(_610897, _610895), -(inregion(_610895, _610897))], (510 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _596550) ^ [_611144] : [tptpcol_11_118084(_611144), -(tptpcol_10_118020(_611144))], (518 ^ _596550) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _596550) ^ [_611383] : [mathematicalorcomputationalthing(_611383), -(intangible(_611383))], (526 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _596550) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _596550) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _596550) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _596550) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _596550) ^ [_611901, _611903] : [tptptypes_7_819(_611903, _611901), -(tptptypes_6_818(_611903, _611901))], (544 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _596550) ^ [_612203] : [tptpcol_12_26919(_612203), -(tptpcol_11_26887(_612203))], (554 ^ _596550) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _596550) ^ [_612456, _612458] : [tptptypes_8_692(_612458, _612456), -(tptptypes_7_691(_612456, _612458))], (562 ^ _596550) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _596550) ^ [_612705] : [tptpcol_2_2(_612705), -(tptpcol_1_1(_612705))], (570 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _596550) ^ [_612997] : [tptpcol_9_92165(_612997), -(tptpcol_8_92164(_612997))], (580 ^ _596550) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _596550) ^ [_613236] : [fixedordercollection(_613236), -(collection(_613236))], (588 ^ _596550) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _596550) ^ [_613475] : [tptpcol_1_1(_613475), tptpcol_1_65536(_613475)], (596 ^ _596550) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _596550) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _596550) ^ [_613766] : [microtheory(_613766), -(aspatialinformationstore(_613766))], (606 ^ _596550) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _596550) ^ [_614071] : [-(tptp_8_875(_614071, f_relationallexistsfn(_614071, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_614071, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _596550) ^ [] : [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 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _596550) ^ [_614522] : [tptpcol_10_118020(_614522), -(tptpcol_9_118019(_614522))], (636 ^ _596550) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _596550) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _596550) ^ [_614880] : [-(tptp_9_720(_614880, f_relationallexistsfn(_614880, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_614880)], (654 ^ _596550) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _596550) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _596550) ^ [_615329] : [individual(_615329), setorcollection(_615329)], (668 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _596550) ^ [_615567] : [tptpcol_12_22055(_615567), -(tptpcol_11_22023(_615567))], (676 ^ _596550) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _596550) ^ [_615806] : [applicationcontext(_615806), -(microtheory(_615806))], (684 ^ _596550) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _596550) ^ [_616112, _616114] : [tptptypes_8_400(_616114, _616112), -(tptptypes_7_396(_616114, _616112))], (694 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _596550) ^ [_616361] : [tptpcol_11_18631(_616361), -(tptpcol_10_18567(_616361))], (702 ^ _596550) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _596550) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _596550) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _596550) ^ [_616772] : [mathematicalthing(_616772), -(mathematicalorcomputationalthing(_616772))], (718 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _596550) ^ [_617064] : [tptpcol_15_93775(_617064), -(tptpcol_14_93774(_617064))], (728 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _596550) ^ [_617303] : [tptpcol_8_109059(_617303), -(tptpcol_7_108547(_617303))], (736 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _596550) ^ [_617542] : [tptpcol_14_40429(_617542), -(tptpcol_13_40421(_617542))], (744 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _596550) ^ [_617900] : [tptpcol_14_22072(_617900), -(tptpcol_13_22071(_617900))], (758 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _596550) ^ [_618139] : [tptpcol_14_93774(_618139), -(tptpcol_13_93766(_618139))], (766 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _596550) ^ [_618378] : [tptpcol_10_22022(_618378), -(tptpcol_9_22021(_618378))], (774 ^ _596550) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _596550) ^ [_618617] : [inanimateobject_nonnatural(_618617), -(inanimateobject(_618617))], (782 ^ _596550) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _596550) ^ [_618962] : [tptpcol_9_72709(_618962), -(tptpcol_8_72708(_618962))], (794 ^ _596550) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _596550) ^ [_619201] : [-(tptpofobject(_619201, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_619201)], (806 ^ _596550) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _596550) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _596550) ^ [_619640] : [firstordercollection(_619640), -(fixedordercollection(_619640))], (820 ^ _596550) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _596550) ^ [_620051] : [tptpcol_13_18664(_620051), -(tptpcol_12_18663(_620051))], (836 ^ _596550) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _596550) ^ [_620290] : [artifact(_620290), -(inanimateobject_nonnatural(_620290))], (844 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _596550) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _596550) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _596550) ^ [_620688] : [tptpcol_7_113665(_620688), -(tptpcol_6_112641(_620688))], (858 ^ _596550) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _596550) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _596550) ^ [_621046] : [geographicalregion(_621046), -(partiallytangible(_621046))], (872 ^ _596550) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _596550) ^ [_621299, _621301] : [disjointwith(_621301, _621299), -(no(_621301, _621299))], (880 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _596550) ^ [_621548] : [tptpcol_4_24578(_621548), -(tptpcol_3_16386(_621548))], (888 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _596550) ^ [_621787] : [tptpcol_5_69635(_621787), -(tptpcol_4_65539(_621787))], (896 ^ _596550) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _596550) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _596550) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _596550) ^ [_622146, _622148] : [genls(_622148, _622146), -(collection(_622148))], (908 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _596550) ^ [_622393] : [tptpcol_13_22071(_622393), -(tptpcol_12_22055(_622393))], (916 ^ _596550) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _596550) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _596550) ^ [_622685] : [tptpcol_3_98305(_622685), -(tptpcol_2_98304(_622685))], (926 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _596550) ^ [_622924] : [tptpcol_4_114689(_622924), -(tptpcol_3_114688(_622924))], (934 ^ _596550) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _596550) ^ [_623163] : [artsupplies(_623163), -(supplies(_623163))], (942 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _596550) ^ [_623402] : [tptpcol_8_26629(_623402), -(tptpcol_7_26628(_623402))], (950 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _596550) ^ [_623641] : [tptpcol_9_109060(_623641), -(tptpcol_8_109059(_623641))], (958 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _596550) ^ [_623880] : [isa(_623880, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_623880, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _623880))], (966 ^ _596550) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _596550) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _596550) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _596550) ^ [_624464] : [tptpcol_14_109181(_624464), -(tptpcol_13_109173(_624464))], (988 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _596550) ^ [_624703] : [tptpcol_16_30972(_624703), -(tptpcol_15_30970(_624703))], (996 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _596550) ^ [_624995] : [tptpcol_9_18439(_624995), -(tptpcol_8_18438(_624995))], (1006 ^ _596550) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _596550) ^ [_625287] : [tptpcol_12_118116(_625287), -(tptpcol_11_118084(_625287))], (1016 ^ _596550) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _596550) ^ [_625579] : [tptpcol_7_26628(_625579), -(tptpcol_6_26627(_625579))], (1026 ^ _596550) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _596550) ^ [_625832, _625834] : [most(_625834, _625832), -(setorcollection(_625834))], (1034 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _596550) ^ [_626079] : [tptpcol_15_109185(_626079), -(tptpcol_14_109181(_626079))], (1042 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _596550) ^ [_626318] : [tptpcol_16_92269(_626318), -(tptpcol_15_92268(_626318))], (1050 ^ _596550) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _596550) ^ [_626624, _626626] : [tptptypes_8_823(_626626, _626624), -(tptptypes_7_819(_626626, _626624))], (1060 ^ _596550) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _596550) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _596550) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _596550) ^ [_627204] : [tptpcol_10_26886(_627204), -(tptpcol_9_26885(_627204))], (1082 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _596550) ^ [_627496] : [tptpcol_15_72793(_627496), -(tptpcol_14_72792(_627496))], (1092 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _596550) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _596550) ^ [_627854] : [navypersonnel(_627854), -(militaryperson(_627854))], (1106 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _596550) ^ [_628093] : [tptpcol_4_16387(_628093), -(tptpcol_3_16386(_628093))], (1114 ^ _596550) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _596550) ^ [_628332] : [enduringthing_localized(_628332), -(spatialthing_nonsituational(_628332))], (1122 ^ _596550) ^ [_628518] : [collection(_628518), individual(_628518)], (1128 ^ _596550) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _596550) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _596550) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _596550) ^ [_629047] : [physicalorderingpredicate(_629047), -(orderingpredicate(_629047))], (1150 ^ _596550) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _596550) ^ [_629300, _629302] : [disjointwith(_629302, _629300), -(collection(_629300))], (1158 ^ _596550) ^ [_629536, _629538, _629540, _629542] : [-(isa(f_relationallexistsfn(_629542, _629538, _629540, _629536), _629536)), isa(_629542, _629540), relationallexists(_629538, _629540, _629536)], (1168 ^ _596550) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _596550) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _596550) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _596550) ^ [_630145, _630147] : [tptptypes_7_389(_630147, _630145), -(tptptypes_6_388(_630145, _630147))], (1186 ^ _596550) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _596550) ^ [_630460] : [-(hpkb_subnationalagent(_630460)), mtvisible(c_hpkbvocabmt), state_geopolitical(_630460)], (1202 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _596550) ^ [_630778] : [tptpcol_8_22020(_630778), -(tptpcol_7_21508(_630778))], (1210 ^ _596550) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _596550) ^ [_631017] : [-(tptp_9_51(f_relationexistsallfn(_631017, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _631017)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_631017, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _596550) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _596550) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _596550) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _596550) ^ [_631521] : [tptpcol_3_65538(_631521), -(tptpcol_2_65537(_631521))], (1238 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _596550) ^ [_631760] : [tptpcol_14_26921(_631760), -(tptpcol_13_26920(_631760))], (1246 ^ _596550) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _596550) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _596550) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _596550) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _596550) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _596550) ^ [_632211] : [intangibleindividual(_632211), -(partiallyintangibleindividual(_632211))], (1262 ^ _596550) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _596550) ^ [_632569] : [tptpcol_16_130924(_632569), -(tptpcol_15_130923(_632569))], (1276 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _596550) ^ [_632808] : [tptpcol_7_92163(_632808), -(tptpcol_6_92162(_632808))], (1284 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _596550) ^ [_633100] : [tptpcol_16_130933(_633100), -(tptpcol_15_130931(_633100))], (1294 ^ _596550) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _596550) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _596550) ^ [_633406, _633408] : [no(_633408, _633406), -(few(_633408, _633406))], (1304 ^ _596550) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _596550) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _596550) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _596550) ^ [_633814] : [tptpcol_6_20484(_633814), -(tptpcol_5_20483(_633814))], (1318 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _596550) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _596550) ^ [_634278] : [tptpcol_7_108547(_634278), -(tptpcol_6_108546(_634278))], (1336 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _596550) ^ [_634517] : [tptpcol_11_109125(_634517), -(tptpcol_10_109061(_634517))], (1344 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _596550) ^ [_634809] : [tptpcol_8_93698(_634809), -(tptpcol_7_93186(_634809))], (1354 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _596550) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _596550) ^ [_635101] : [tptpcol_2_65537(_635101), -(tptpcol_1_65536(_635101))], (1364 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _596550) ^ [_635393] : [tptpcol_6_18436(_635393), -(tptpcol_5_16388(_635393))], (1374 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _596550) ^ [_635632] : [tptpcol_8_18438(_635632), -(tptpcol_7_18437(_635632))], (1382 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _596550) ^ [_635990] : [tptpcol_8_117763(_635990), -(tptpcol_7_117762(_635990))], (1396 ^ _596550) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _596550) ^ [_636282] : [tptpcol_12_109157(_636282), -(tptpcol_11_109125(_636282))], (1406 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _596550) ^ [_636521] : [tptpcol_7_117762(_636521), -(tptpcol_6_116738(_636521))], (1414 ^ _596550) ^ [_636735, _636737, _636739] : [isa(_636739, _636737), isa(_636739, _636735), disjointwith(_636737, _636735)], (1424 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _596550) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _596550) ^ [_637135] : [aspatialinformationstore(_637135), -(aspatialthing(_637135))], (1434 ^ _596550) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _596550) ^ [_637533] : [tptpcol_9_93699(_637533), -(tptpcol_8_93698(_637533))], (1448 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _596550) ^ [_637772] : [tptpcol_11_93764(_637772), -(tptpcol_10_93700(_637772))], (1456 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _596550) ^ [_638011] : [tptpcol_6_26627(_638011), -(tptpcol_5_24579(_638011))], (1464 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _596550) ^ [_638250] : [tptpcol_4_90113(_638250), -(tptpcol_3_81921(_638250))], (1472 ^ _596550) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _596550) ^ [_638542] : [tptpcol_10_93700(_638542), -(tptpcol_9_93699(_638542))], (1482 ^ _596550) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _596550) ^ [_638781] : [aspatialinformationstore(_638781), -(intangibleindividual(_638781))], (1490 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _596550) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _596550) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _596550) ^ [_639192] : [tptpcol_3_16386(_639192), -(tptpcol_2_2(_639192))], (1506 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _596550) ^ [_639431] : [tptpcol_9_118019(_639431), -(tptpcol_8_117763(_639431))], (1514 ^ _596550) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _596550) ^ [_639670] : [individual(_639670), -(trajector_underspecified(_639670))], (1522 ^ _596550) ^ [_639856] : [shavingrazor_manual(_639856), -(tptp_8_271(f_relationexistsallfn(_639856, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _639856))], (1528 ^ _596550) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _596550) ^ [_640160] : [tptpcol_6_112641(_640160), -(tptpcol_5_110593(_640160))], (1538 ^ _596550) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _596550) ^ [_640399] : [tptpcol_12_72775(_640399), -(tptpcol_11_72774(_640399))], (1546 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _596550) ^ [_640638] : [tptpcol_7_72707(_640638), -(tptpcol_6_71683(_640638))], (1554 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _596550) ^ [_640877] : [tptpcol_16_50958(_640877), -(tptpcol_15_50957(_640877))], (1562 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _596550) ^ [_641116] : [tptpcol_8_114177(_641116), -(tptpcol_7_113665(_641116))], (1570 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _596550) ^ [_641355] : [tptpcol_16_72795(_641355), -(tptpcol_15_72793(_641355))], (1578 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _596550) ^ [_641594] : [tptpcol_6_71683(_641594), -(tptpcol_5_69635(_641594))], (1586 ^ _596550) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _596550) ^ [_641900, _641902] : [tptptypes_7_396(_641902, _641900), -(tptptypes_6_388(_641902, _641900))], (1596 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _596550) ^ [_642149] : [tptpcol_9_26885(_642149), -(tptpcol_8_26629(_642149))], (1604 ^ _596550) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _596550) ^ [_642402, _642404] : [genls(_642404, _642402), -(subsetof(_642404, _642402))], (1612 ^ _596550) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _596550) ^ [_642718, _642720] : [tptptypes_6_818(_642720, _642718), -(tptptypes_5_802(_642720, _642718))], (1622 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _596550) ^ [_642967] : [tptpcol_6_92162(_642967), -(tptpcol_5_90114(_642967))], (1630 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _596550) ^ [_643259] : [tptpcol_8_92164(_643259), -(tptpcol_7_92163(_643259))], (1640 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _596550) ^ [_643498] : [tptpcol_13_118117(_643498), -(tptpcol_12_118116(_643498))], (1648 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _596550) ^ [_643737] : [tptpcol_11_40388(_643737), -(tptpcol_10_40324(_643737))], (1656 ^ _596550) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _596550) ^ [_643990, _643992] : [tptptypes_9_824(_643992, _643990), -(tptptypes_8_823(_643992, _643990))], (1664 ^ _596550) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _596550) ^ [_644292] : [tptpcol_11_26887(_644292), -(tptpcol_10_26886(_644292))], (1674 ^ _596550) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _596550) ^ [_644531] : [tptpcol_16_26926(_644531), -(tptpcol_15_26925(_644531))], (1682 ^ _596550) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _596550) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _596550) ^ [_644837, _644839] : [few(_644839, _644837), -(setorcollection(_644837))], (1692 ^ _596550) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _596550) ^ [_645084] : [tptpcol_4_65539(_645084), -(tptpcol_3_65538(_645084))], (1700 ^ _596550) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _596550) ^ [_645323] : [tptpcol_8_39940(_645323), -(tptpcol_7_39939(_645323))], (1708 ^ _596550) ^ [_645509] : [-(tptpofobject(_645509, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_645509)], (1718 ^ _596550) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _596550) ^ [_645948] : [tptpcol_15_22076(_645948), -(tptpcol_14_22072(_645948))], (1732 ^ _596550) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _596550) ^ [_646187] : [tptpcol_0_0(_646187), -(individual(_646187))], (1740 ^ _596550) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _596550) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _596550) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _596550) ^ [_646585] : [tptpcol_11_72774(_646585), -(tptpcol_10_72710(_646585))], (1754 ^ _596550) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _596550) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _596550) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _596550) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _596550) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _596550) ^ [_647221] : [tptpcol_7_21508(_647221), -(tptpcol_6_20484(_647221))], (1780 ^ _596550) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _596550) ^ [_647460] : [tptpcol_6_108546(_647460), -(tptpcol_5_106498(_647460))], (1788 ^ _596550) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _596550) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _596550) ^ [_647818] : [geolevel_4(_647818), -(geographicalregion(_647818))], (1802 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _596550) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _596550) ^ [_648295] : [tptpcol_13_26920(_648295), -(tptpcol_12_26919(_648295))], (1822 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _596550) ^ [_648534] : [tptpcol_14_92264(_648534), -(tptpcol_13_92263(_648534))], (1830 ^ _596550) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _596550) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _596550) ^ [_648826] : [tptpcol_9_40196(_648826), -(tptpcol_8_39940(_648826))], (1840 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _596550) ^ [_649184] : [tptpcol_13_92263(_649184), -(tptpcol_12_92262(_649184))], (1854 ^ _596550) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _596550) ^ [_649476] : [tptpcol_5_90114(_649476), -(tptpcol_4_90113(_649476))], (1864 ^ _596550) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _596550) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _596550) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _596550) ^ [_649887] : [tptpcol_15_26925(_649887), -(tptpcol_14_26921(_649887))], (1880 ^ _596550) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _596550) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _596550) ^ [_650245] : [tptpcol_7_18437(_650245), -(tptpcol_6_18436(_650245))], (1894 ^ _596550) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _596550) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _596550) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _596550) ^ [_650656] : [tptpcol_3_98305(_650656), tptpcol_3_114688(_650656)], (1910 ^ _596550) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _596550) ^ [_650894] : [tptpcol_5_110593(_650894), -(tptpcol_4_106497(_650894))], (1918 ^ _596550) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _596550) ^ [_651133] : [tptpcol_13_72791(_651133), -(tptpcol_12_72775(_651133))], (1926 ^ _596550) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _596550) ^ [_651372] : [computerdataartifact(_651372), -(artifact(_651372))], (1934 ^ _596550) ^ [_651558] : [-(tptpofobject(_651558, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_651558)], (1944 ^ _596550) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _596550) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _596550) ^ [_651997] : [tptpcol_10_92166(_651997), -(tptpcol_9_92165(_651997))], (1958 ^ _596550) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _596550) ^ [_652236] : [tptpcol_14_118118(_652236), -(tptpcol_13_118117(_652236))], (1966 ^ _596550) ^ [_652422] : [isa(_652422, c_tptpcol_14_118118), -(tptpcol_14_118118(_652422))], (1972 ^ _596550) ^ [_652610] : [tptpcol_14_118118(_652610), -(isa(_652610, c_tptpcol_14_118118))], (1978 ^ _596550) ^ [_652783] : [-(natfunction(f_tptpquantityfn_6(_652783), c_tptpquantityfn_6))], (1980 ^ _596550) ^ [_652863] : [-(natargument(f_tptpquantityfn_6(_652863), n_1, _652863))], (1982 ^ _596550) ^ [_652944] : [-(tptpquantity(f_tptpquantityfn_6(_652944)))], (1984 ^ _596550) ^ [_653038] : [isa(_653038, c_tptpcol_16_26939), -(tptpcol_16_26939(_653038))], (1990 ^ _596550) ^ [_653226] : [tptpcol_16_26939(_653226), -(isa(_653226, c_tptpcol_16_26939))], (1996 ^ _596550) ^ [_653414] : [isa(_653414, c_tptpcol_16_62187), -(tptpcol_16_62187(_653414))], (2002 ^ _596550) ^ [_653602] : [tptpcol_16_62187(_653602), -(isa(_653602, c_tptpcol_16_62187))], (2008 ^ _596550) ^ [_653790] : [isa(_653790, c_tptpcol_13_92263), -(tptpcol_13_92263(_653790))], (2014 ^ _596550) ^ [_653978] : [tptpcol_13_92263(_653978), -(isa(_653978, c_tptpcol_13_92263))], (2020 ^ _596550) ^ [_654166] : [isa(_654166, c_geolevel_4), -(geolevel_4(_654166))], (2026 ^ _596550) ^ [_654354] : [geolevel_4(_654354), -(isa(_654354, c_geolevel_4))], (2032 ^ _596550) ^ [_654542] : [isa(_654542, c_tptpcol_15_4027), -(tptpcol_15_4027(_654542))], (2038 ^ _596550) ^ [_654730] : [tptpcol_15_4027(_654730), -(isa(_654730, c_tptpcol_15_4027))], (2044 ^ _596550) ^ [_654918] : [isa(_654918, c_pushingwithfingers), -(pushingwithfingers(_654918))], (2050 ^ _596550) ^ [_655106] : [pushingwithfingers(_655106), -(isa(_655106, c_pushingwithfingers))], (2056 ^ _596550) ^ [_655308, _655310] : [affiliatedwith(_655310, _655308), -(agent_generic(_655308))], (2062 ^ _596550) ^ [_655516, _655518] : [affiliatedwith(_655518, _655516), -(agent_generic(_655518))], (2068 ^ _596550) ^ [_655724, _655726] : [affiliatedwith(_655726, _655724), -(affiliatedwith(_655724, _655726))], (2074 ^ _596550) ^ [_655904] : [affiliatedwith(_655904, _655904)], (2076 ^ _596550) ^ [_655997] : [isa(_655997, c_footballteam), -(footballteam(_655997))], (2082 ^ _596550) ^ [_656185] : [footballteam(_656185), -(isa(_656185, c_footballteam))], (2088 ^ _596550) ^ [_656373] : [isa(_656373, c_tptpcol_16_4451), -(tptpcol_16_4451(_656373))], (2094 ^ _596550) ^ [_656561] : [tptpcol_16_4451(_656561), -(isa(_656561, c_tptpcol_16_4451))], (2100 ^ _596550) ^ [_656749] : [isa(_656749, c_pushingwithopenhand), -(pushingwithopenhand(_656749))], (2106 ^ _596550) ^ [_656937] : [pushingwithopenhand(_656937), -(isa(_656937, c_pushingwithopenhand))], (2112 ^ _596550) ^ [_657125] : [isa(_657125, c_tptpcol_15_22076), -(tptpcol_15_22076(_657125))], (2118 ^ _596550) ^ [_657313] : [tptpcol_15_22076(_657313), -(isa(_657313, c_tptpcol_15_22076))], (2124 ^ _596550) ^ [_657486] : [-(natfunction(f_tptpquantityfn_2(_657486), c_tptpquantityfn_2))], (2126 ^ _596550) ^ [_657566] : [-(natargument(f_tptpquantityfn_2(_657566), n_1, _657566))], (2128 ^ _596550) ^ [_657647] : [-(tptpquantity(f_tptpquantityfn_2(_657647)))], (2130 ^ _596550) ^ [_657741] : [isa(_657741, c_tptpcol_7_39939), -(tptpcol_7_39939(_657741))], (2136 ^ _596550) ^ [_657929] : [tptpcol_7_39939(_657929), -(isa(_657929, c_tptpcol_7_39939))], (2142 ^ _596550) ^ [_658117] : [isa(_658117, c_tptpcol_8_39940), -(tptpcol_8_39940(_658117))], (2148 ^ _596550) ^ [_658305] : [tptpcol_8_39940(_658305), -(isa(_658305, c_tptpcol_8_39940))], (2154 ^ _596550) ^ [_658493] : [isa(_658493, c_tptpcol_15_26925), -(tptpcol_15_26925(_658493))], (2160 ^ _596550) ^ [_658681] : [tptpcol_15_26925(_658681), -(isa(_658681, c_tptpcol_15_26925))], (2166 ^ _596550) ^ [_658869] : [isa(_658869, c_tptpcol_16_26926), -(tptpcol_16_26926(_658869))], (2172 ^ _596550) ^ [_659057] : [tptpcol_16_26926(_659057), -(isa(_659057, c_tptpcol_16_26926))], (2178 ^ _596550) ^ [_659245] : [isa(_659245, c_tptpcol_13_118117), -(tptpcol_13_118117(_659245))], (2184 ^ _596550) ^ [_659433] : [tptpcol_13_118117(_659433), -(isa(_659433, c_tptpcol_13_118117))], (2190 ^ _596550) ^ [_659621] : [isa(_659621, c_tptpcol_5_90114), -(tptpcol_5_90114(_659621))], (2196 ^ _596550) ^ [_659809] : [tptpcol_5_90114(_659809), -(isa(_659809, c_tptpcol_5_90114))], (2202 ^ _596550) ^ [_660011, _660013] : [tptptypes_5_802(_660013, _660011), -(firstordercollection(_660011))], (2208 ^ _596550) ^ [_660219, _660221] : [tptptypes_5_802(_660221, _660219), -(firstordercollection(_660221))], (2214 ^ _596550) ^ [_660413] : [isa(_660413, c_tptpcol_16_72795), -(tptpcol_16_72795(_660413))], (2220 ^ _596550) ^ [_660601] : [tptpcol_16_72795(_660601), -(isa(_660601, c_tptpcol_16_72795))], (2226 ^ _596550) ^ [_660789] : [isa(_660789, c_tptpcol_8_114177), -(tptpcol_8_114177(_660789))], (2232 ^ _596550) ^ [_660977] : [tptpcol_8_114177(_660977), -(isa(_660977, c_tptpcol_8_114177))], (2238 ^ _596550) ^ [_661165] : [isa(_661165, c_tptpcol_15_50957), -(tptpcol_15_50957(_661165))], (2244 ^ _596550) ^ [_661353] : [tptpcol_15_50957(_661353), -(isa(_661353, c_tptpcol_15_50957))], (2250 ^ _596550) ^ [_661541] : [isa(_661541, c_tptpcol_16_50958), -(tptpcol_16_50958(_661541))], (2256 ^ _596550) ^ [_661729] : [tptpcol_16_50958(_661729), -(isa(_661729, c_tptpcol_16_50958))], (2262 ^ _596550) ^ [_661917] : [isa(_661917, c_tptpcol_6_71683), -(tptpcol_6_71683(_661917))], (2268 ^ _596550) ^ [_662105] : [tptpcol_6_71683(_662105), -(isa(_662105, c_tptpcol_6_71683))], (2274 ^ _596550) ^ [_662293] : [isa(_662293, c_tptpcol_11_72774), -(tptpcol_11_72774(_662293))], (2280 ^ _596550) ^ [_662481] : [tptpcol_11_72774(_662481), -(isa(_662481, c_tptpcol_11_72774))], (2286 ^ _596550) ^ [_662669] : [isa(_662669, c_tptpcol_12_72775), -(tptpcol_12_72775(_662669))], (2292 ^ _596550) ^ [_662857] : [tptpcol_12_72775(_662857), -(isa(_662857, c_tptpcol_12_72775))], (2298 ^ _596550) ^ [_663045] : [isa(_663045, c_tptpcol_5_110593), -(tptpcol_5_110593(_663045))], (2304 ^ _596550) ^ [_663233] : [tptpcol_5_110593(_663233), -(isa(_663233, c_tptpcol_5_110593))], (2310 ^ _596550) ^ [_663421] : [isa(_663421, c_tptpcol_16_25972), -(tptpcol_16_25972(_663421))], (2316 ^ _596550) ^ [_663609] : [tptpcol_16_25972(_663609), -(isa(_663609, c_tptpcol_16_25972))], (2322 ^ _596550) ^ [_663811, _663813] : [tptp_8_271(_663813, _663811), -(razor(_663811))], (2328 ^ _596550) ^ [_664019, _664021] : [tptp_8_271(_664021, _664019), -(tptpcol_5_24579(_664021))], (2334 ^ _596550) ^ [_664213] : [isa(_664213, c_tptpcol_4_90113), -(tptpcol_4_90113(_664213))], (2340 ^ _596550) ^ [_664401] : [tptpcol_4_90113(_664401), -(isa(_664401, c_tptpcol_4_90113))], (2346 ^ _596550) ^ [_664589] : [isa(_664589, c_tptpcol_10_93700), -(tptpcol_10_93700(_664589))], (2352 ^ _596550) ^ [_664777] : [tptpcol_10_93700(_664777), -(isa(_664777, c_tptpcol_10_93700))], (2358 ^ _596550) ^ [_664965] : [isa(_664965, c_tptpcol_9_93699), -(tptpcol_9_93699(_664965))], (2364 ^ _596550) ^ [_665153] : [tptpcol_9_93699(_665153), -(isa(_665153, c_tptpcol_9_93699))], (2370 ^ _596550) ^ [_665341] : [isa(_665341, c_aspatialthing), -(aspatialthing(_665341))], (2376 ^ _596550) ^ [_665529] : [aspatialthing(_665529), -(isa(_665529, c_aspatialthing))], (2382 ^ _596550) ^ [_665717] : [isa(_665717, c_tptpcol_7_117762), -(tptpcol_7_117762(_665717))], (2388 ^ _596550) ^ [_665905] : [tptpcol_7_117762(_665905), -(isa(_665905, c_tptpcol_7_117762))], (2394 ^ _596550) ^ [_666093] : [isa(_666093, c_tptpcol_8_117763), -(tptpcol_8_117763(_666093))], (2400 ^ _596550) ^ [_666281] : [tptpcol_8_117763(_666281), -(isa(_666281, c_tptpcol_8_117763))], (2406 ^ _596550) ^ [_666469] : [isa(_666469, c_tptpcol_7_18437), -(tptpcol_7_18437(_666469))], (2412 ^ _596550) ^ [_666657] : [tptpcol_7_18437(_666657), -(isa(_666657, c_tptpcol_7_18437))], (2418 ^ _596550) ^ [_666845] : [isa(_666845, c_tptpcol_6_18436), -(tptpcol_6_18436(_666845))], (2424 ^ _596550) ^ [_667033] : [tptpcol_6_18436(_667033), -(isa(_667033, c_tptpcol_6_18436))], (2430 ^ _596550) ^ [_667221] : [isa(_667221, c_tptpcol_8_93698), -(tptpcol_8_93698(_667221))], (2436 ^ _596550) ^ [_667409] : [tptpcol_8_93698(_667409), -(isa(_667409, c_tptpcol_8_93698))], (2442 ^ _596550) ^ [_667597] : [isa(_667597, c_tptpcol_11_109125), -(tptpcol_11_109125(_667597))], (2448 ^ _596550) ^ [_667785] : [tptpcol_11_109125(_667785), -(isa(_667785, c_tptpcol_11_109125))], (2454 ^ _596550) ^ [_667973] : [isa(_667973, c_tptpcol_6_108546), -(tptpcol_6_108546(_667973))], (2460 ^ _596550) ^ [_668161] : [tptpcol_6_108546(_668161), -(isa(_668161, c_tptpcol_6_108546))], (2466 ^ _596550) ^ [_668349] : [isa(_668349, c_tptpcol_6_20484), -(tptpcol_6_20484(_668349))], (2472 ^ _596550) ^ [_668537] : [tptpcol_6_20484(_668537), -(isa(_668537, c_tptpcol_6_20484))], (2478 ^ _596550) ^ [_668739, _668741] : [few(_668741, _668739), -(setorcollection(_668739))], (2484 ^ _596550) ^ [_668947, _668949] : [few(_668949, _668947), -(setorcollection(_668947))], (2490 ^ _596550) ^ [_669155, _669157] : [few(_669157, _669155), -(setorcollection(_669157))], (2496 ^ _596550) ^ [_669363, _669365] : [few(_669365, _669363), -(setorcollection(_669365))], (2502 ^ _596550) ^ [_669585, _669587, _669589] : [-(few(_669589, _669585)), few(_669589, _669587), subsetof(_669585, _669587)], (2512 ^ _596550) ^ [_669880] : [isa(_669880, c_tptpcol_15_130931), -(tptpcol_15_130931(_669880))], (2518 ^ _596550) ^ [_670068] : [tptpcol_15_130931(_670068), -(isa(_670068, c_tptpcol_15_130931))], (2524 ^ _596550) ^ [_670256] : [isa(_670256, c_tptpcol_16_130933), -(tptpcol_16_130933(_670256))], (2530 ^ _596550) ^ [_670444] : [tptpcol_16_130933(_670444), -(isa(_670444, c_tptpcol_16_130933))], (2536 ^ _596550) ^ [_670632] : [isa(_670632, c_tptpcol_7_92163), -(tptpcol_7_92163(_670632))], (2542 ^ _596550) ^ [_670820] : [tptpcol_7_92163(_670820), -(isa(_670820, c_tptpcol_7_92163))], (2548 ^ _596550) ^ [_671008] : [isa(_671008, c_tptpcol_15_130923), -(tptpcol_15_130923(_671008))], (2554 ^ _596550) ^ [_671196] : [tptpcol_15_130923(_671196), -(isa(_671196, c_tptpcol_15_130923))], (2560 ^ _596550) ^ [_671384] : [isa(_671384, c_tptpcol_16_130924), -(tptpcol_16_130924(_671384))], (2566 ^ _596550) ^ [_671572] : [tptpcol_16_130924(_671572), -(isa(_671572, c_tptpcol_16_130924))], (2572 ^ _596550) ^ [_671760] : [isa(_671760, c_intangibleindividual), -(intangibleindividual(_671760))], (2578 ^ _596550) ^ [_671948] : [intangibleindividual(_671948), -(isa(_671948, c_intangibleindividual))], (2584 ^ _596550) ^ [_672135, _672137] : [-(natfunction(f_citynamedfn(_672137, _672135), c_citynamedfn))], (2586 ^ _596550) ^ [_672232, _672234] : [-(natargument(f_citynamedfn(_672234, _672232), n_1, _672234))], (2588 ^ _596550) ^ [_672330, _672332] : [-(natargument(f_citynamedfn(_672332, _672330), n_2, _672330))], (2590 ^ _596550) ^ [_672428, _672430] : [-(city(f_citynamedfn(_672430, _672428)))], (2592 ^ _596550) ^ [_672525] : [isa(_672525, c_tptpcol_13_26920), -(tptpcol_13_26920(_672525))], (2598 ^ _596550) ^ [_672713] : [tptpcol_13_26920(_672713), -(isa(_672713, c_tptpcol_13_26920))], (2604 ^ _596550) ^ [_672901] : [isa(_672901, c_tptpcol_14_26921), -(tptpcol_14_26921(_672901))], (2610 ^ _596550) ^ [_673089] : [tptpcol_14_26921(_673089), -(isa(_673089, c_tptpcol_14_26921))], (2616 ^ _596550) ^ [_673277] : [isa(_673277, c_tptpcol_3_65538), -(tptpcol_3_65538(_673277))], (2622 ^ _596550) ^ [_673465] : [tptpcol_3_65538(_673465), -(isa(_673465, c_tptpcol_3_65538))], (2628 ^ _596550) ^ [_673653] : [isa(_673653, c_tptpcol_16_27189), -(tptpcol_16_27189(_673653))], (2634 ^ _596550) ^ [_673841] : [tptpcol_16_27189(_673841), -(isa(_673841, c_tptpcol_16_27189))], (2640 ^ _596550) ^ [_674043, _674045] : [tptp_9_51(_674045, _674043), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_674043))], (2646 ^ _596550) ^ [_674251, _674253] : [tptp_9_51(_674253, _674251), -(tptpcol_7_26628(_674253))], (2652 ^ _596550) ^ [_674445] : [isa(_674445, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_674445))], (2658 ^ _596550) ^ [_674633] : [reflexivebinarypredicate(_674633), -(isa(_674633, c_reflexivebinarypredicate))], (2664 ^ _596550) ^ [_674821] : [isa(_674821, c_tptpcol_7_21508), -(tptpcol_7_21508(_674821))], (2670 ^ _596550) ^ [_675009] : [tptpcol_7_21508(_675009), -(isa(_675009, c_tptpcol_7_21508))], (2676 ^ _596550) ^ [_675197] : [isa(_675197, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_675197))], (2682 ^ _596550) ^ [_675385] : [hpkb_subnationalagent(_675385), -(isa(_675385, c_hpkb_subnationalagent))], (2688 ^ _596550) ^ [_675573] : [isa(_675573, c_state_geopolitical), -(state_geopolitical(_675573))], (2694 ^ _596550) ^ [_675761] : [state_geopolitical(_675761), -(isa(_675761, c_state_geopolitical))], (2700 ^ _596550) ^ [_675976, _675978, _675980, _675982] : [-(natfunction(f_relationallexistsfn(_675982, _675980, _675978, _675976), c_relationallexistsfn))], (2702 ^ _596550) ^ [_676107, _676109, _676111, _676113] : [-(natargument(f_relationallexistsfn(_676113, _676111, _676109, _676107), n_1, _676113))], (2704 ^ _596550) ^ [_676239, _676241, _676243, _676245] : [-(natargument(f_relationallexistsfn(_676245, _676243, _676241, _676239), n_2, _676243))], (2706 ^ _596550) ^ [_676371, _676373, _676375, _676377] : [-(natargument(f_relationallexistsfn(_676377, _676375, _676373, _676371), n_3, _676373))], (2708 ^ _596550) ^ [_676503, _676505, _676507, _676509] : [-(natargument(f_relationallexistsfn(_676509, _676507, _676505, _676503), n_4, _676503))], (2710 ^ _596550) ^ [_676635, _676637, _676639, _676641] : [-(thing(f_relationallexistsfn(_676641, _676639, _676637, _676635)))], (2712 ^ _596550) ^ [_676752, _676754] : [arg2isa(_676754, _676752), -(collection(_676752))], (2718 ^ _596550) ^ [_676960, _676962] : [arg2isa(_676962, _676960), -(relation(_676962))], (2724 ^ _596550) ^ [_677182, _677184, _677186] : [-(arg2isa(_677186, _677182)), arg2isa(_677186, _677184), genls(_677184, _677182)], (2734 ^ _596550) ^ [_677505, _677507, _677509] : [-(arg2isa(_677509, _677505)), arg2isa(_677509, _677507), genls(_677507, _677505)], (2744 ^ _596550) ^ [_677800] : [isa(_677800, c_geolevel_1), -(geolevel_1(_677800))], (2750 ^ _596550) ^ [_677988] : [geolevel_1(_677988), -(isa(_677988, c_geolevel_1))], (2756 ^ _596550) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _596550) ^ [_678229] : [isa(_678229, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_678229))], (2764 ^ _596550) ^ [_678417] : [spatialthing_nonsituational(_678417), -(isa(_678417, c_spatialthing_nonsituational))], (2770 ^ _596550) ^ [_678605] : [isa(_678605, c_militaryperson), -(militaryperson(_678605))], (2776 ^ _596550) ^ [_678793] : [militaryperson(_678793), -(isa(_678793, c_militaryperson))], (2782 ^ _596550) ^ [_678981] : [isa(_678981, c_tptpcol_15_72793), -(tptpcol_15_72793(_678981))], (2788 ^ _596550) ^ [_679169] : [tptpcol_15_72793(_679169), -(isa(_679169, c_tptpcol_15_72793))], (2794 ^ _596550) ^ [_679357] : [isa(_679357, c_tptpcol_9_26885), -(tptpcol_9_26885(_679357))], (2800 ^ _596550) ^ [_679545] : [tptpcol_9_26885(_679545), -(isa(_679545, c_tptpcol_9_26885))], (2806 ^ _596550) ^ [_679733] : [isa(_679733, c_tptpcol_10_26886), -(tptpcol_10_26886(_679733))], (2812 ^ _596550) ^ [_679921] : [tptpcol_10_26886(_679921), -(isa(_679921, c_tptpcol_10_26886))], (2818 ^ _596550) ^ [_680123, _680125] : [tptptypes_8_823(_680125, _680123), -(firstordercollection(_680123))], (2824 ^ _596550) ^ [_680331, _680333] : [tptptypes_8_823(_680333, _680331), -(firstordercollection(_680333))], (2830 ^ _596550) ^ [_680525] : [isa(_680525, c_tptpcol_16_92269), -(tptpcol_16_92269(_680525))], (2836 ^ _596550) ^ [_680713] : [tptpcol_16_92269(_680713), -(isa(_680713, c_tptpcol_16_92269))], (2842 ^ _596550) ^ [_680901] : [isa(_680901, c_tptpcol_15_109185), -(tptpcol_15_109185(_680901))], (2848 ^ _596550) ^ [_681089] : [tptpcol_15_109185(_681089), -(isa(_681089, c_tptpcol_15_109185))], (2854 ^ _596550) ^ [_681277] : [isa(_681277, c_tptpcol_6_26627), -(tptpcol_6_26627(_681277))], (2860 ^ _596550) ^ [_681465] : [tptpcol_6_26627(_681465), -(isa(_681465, c_tptpcol_6_26627))], (2866 ^ _596550) ^ [_681653] : [isa(_681653, c_tptpcol_12_118116), -(tptpcol_12_118116(_681653))], (2872 ^ _596550) ^ [_681841] : [tptpcol_12_118116(_681841), -(isa(_681841, c_tptpcol_12_118116))], (2878 ^ _596550) ^ [_682029] : [isa(_682029, c_tptpcol_8_18438), -(tptpcol_8_18438(_682029))], (2884 ^ _596550) ^ [_682217] : [tptpcol_8_18438(_682217), -(isa(_682217, c_tptpcol_8_18438))], (2890 ^ _596550) ^ [_682405] : [isa(_682405, c_tptpcol_15_30970), -(tptpcol_15_30970(_682405))], (2896 ^ _596550) ^ [_682593] : [tptpcol_15_30970(_682593), -(isa(_682593, c_tptpcol_15_30970))], (2902 ^ _596550) ^ [_682781] : [isa(_682781, c_tptpcol_16_30972), -(tptpcol_16_30972(_682781))], (2908 ^ _596550) ^ [_682969] : [tptpcol_16_30972(_682969), -(isa(_682969, c_tptpcol_16_30972))], (2914 ^ _596550) ^ [_683157] : [isa(_683157, c_tptpcol_14_109181), -(tptpcol_14_109181(_683157))], (2920 ^ _596550) ^ [_683345] : [tptpcol_14_109181(_683345), -(isa(_683345, c_tptpcol_14_109181))], (2926 ^ _596550) ^ [_683533] : [isa(_683533, c_physicalorderingpredicate), -(physicalorderingpredicate(_683533))], (2932 ^ _596550) ^ [_683721] : [physicalorderingpredicate(_683721), -(isa(_683721, c_physicalorderingpredicate))], (2938 ^ _596550) ^ [_683909] : [isa(_683909, c_tptpcol_16_7738), -(tptpcol_16_7738(_683909))], (2944 ^ _596550) ^ [_684097] : [tptpcol_16_7738(_684097), -(isa(_684097, c_tptpcol_16_7738))], (2950 ^ _596550) ^ [_684299, _684301] : [tptp_8_968(_684301, _684299), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_684299))], (2956 ^ _596550) ^ [_684507, _684509] : [tptp_8_968(_684509, _684507), -(tptpcol_7_7172(_684509))], (2962 ^ _596550) ^ [_684729, _684731, _684733] : [relationexistsall(_684733, _684731, _684729), -(collection(_684729))], (2968 ^ _596550) ^ [_684959, _684961, _684963] : [relationexistsall(_684963, _684961, _684959), -(collection(_684961))], (2974 ^ _596550) ^ [_685189, _685191, _685193] : [relationexistsall(_685193, _685191, _685189), -(binarypredicate(_685193))], (2980 ^ _596550) ^ [_685391] : [isa(_685391, c_tptpcol_7_26628), -(tptpcol_7_26628(_685391))], (2986 ^ _596550) ^ [_685579] : [tptpcol_7_26628(_685579), -(isa(_685579, c_tptpcol_7_26628))], (2992 ^ _596550) ^ [_685767] : [isa(_685767, c_tptpcol_8_26629), -(tptpcol_8_26629(_685767))], (2998 ^ _596550) ^ [_685955] : [tptpcol_8_26629(_685955), -(isa(_685955, c_tptpcol_8_26629))], (3004 ^ _596550) ^ [_686143] : [isa(_686143, c_tptpcol_3_114688), -(tptpcol_3_114688(_686143))], (3010 ^ _596550) ^ [_686331] : [tptpcol_3_114688(_686331), -(isa(_686331, c_tptpcol_3_114688))], (3016 ^ _596550) ^ [_686504] : [-(natfunction(f_contextofpcwfn(_686504), c_contextofpcwfn))], (3018 ^ _596550) ^ [_686584] : [-(natargument(f_contextofpcwfn(_686584), n_1, _686584))], (3020 ^ _596550) ^ [_686665] : [-(microtheory(f_contextofpcwfn(_686665)))], (3022 ^ _596550) ^ [_686773, _686775] : [arg1isa(_686775, _686773), -(collection(_686773))], (3028 ^ _596550) ^ [_686981, _686983] : [arg1isa(_686983, _686981), -(relation(_686983))], (3034 ^ _596550) ^ [_687203, _687205, _687207] : [-(arg1isa(_687207, _687203)), arg1isa(_687207, _687205), genls(_687205, _687203)], (3044 ^ _596550) ^ [_687526, _687528, _687530] : [-(arg1isa(_687530, _687526)), arg1isa(_687530, _687528), genls(_687528, _687526)], (3054 ^ _596550) ^ [_687835, _687837] : [objectfoundinlocation(_687837, _687835), -(spatialthing_nonsituational(_687835))], (3060 ^ _596550) ^ [_688043, _688045] : [objectfoundinlocation(_688045, _688043), -(spatialthing_localized(_688043))], (3066 ^ _596550) ^ [_688251, _688253] : [objectfoundinlocation(_688253, _688251), -(spatialthing_nonsituational(_688253))], (3072 ^ _596550) ^ [_688459, _688461] : [objectfoundinlocation(_688461, _688459), -(spatialthing_localized(_688461))], (3078 ^ _596550) ^ [_688681, _688683, _688685] : [-(objectfoundinlocation(_688685, _688681)), objectfoundinlocation(_688685, _688683), objectfoundinlocation(_688683, _688681)], (3088 ^ _596550) ^ [_688960] : [objectfoundinlocation(_688960, _688960)], (3090 ^ _596550) ^ [_689081, _689083, _689085] : [-(objectfoundinlocation(_689085, _689081)), objectfoundinlocation(_689085, _689083), geopoliticalsubdivision(_689081, _689083)], (3100 ^ _596550) ^ [_689404, _689406, _689408] : [-(objectfoundinlocation(_689408, _689404)), objectfoundinlocation(_689408, _689406), geographicallysubsumes(_689404, _689406)], (3110 ^ _596550) ^ [_689727, _689729, _689731] : [-(objectfoundinlocation(_689731, _689727)), objectfoundinlocation(_689731, _689729), subregions(_689727, _689729)], (3120 ^ _596550) ^ [_690022] : [isa(_690022, c_ship), -(ship(_690022))], (3126 ^ _596550) ^ [_690210] : [ship(_690210), -(isa(_690210, c_ship))], (3132 ^ _596550) ^ [_690411, _690413, _690415] : [-(natfunction(f_subcollectionofwithrelationtofn(_690415, _690413, _690411), c_subcollectionofwithrelationtofn))], (3134 ^ _596550) ^ [_690525, _690527, _690529] : [-(natargument(f_subcollectionofwithrelationtofn(_690529, _690527, _690525), n_1, _690529))], (3136 ^ _596550) ^ [_690640, _690642, _690644] : [-(natargument(f_subcollectionofwithrelationtofn(_690644, _690642, _690640), n_2, _690642))], (3138 ^ _596550) ^ [_690755, _690757, _690759] : [-(natargument(f_subcollectionofwithrelationtofn(_690759, _690757, _690755), n_3, _690755))], (3140 ^ _596550) ^ [_690870, _690872, _690874] : [-(collection(f_subcollectionofwithrelationtofn(_690874, _690872, _690870)))], (3142 ^ _596550) ^ [_690970] : [isa(_690970, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_690970))], (3148 ^ _596550) ^ [_691158] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_691158), -(isa(_691158, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _596550) ^ [_691346] : [isa(_691346, c_tptpcol_4_65539), -(tptpcol_4_65539(_691346))], (3160 ^ _596550) ^ [_691534] : [tptpcol_4_65539(_691534), -(isa(_691534, c_tptpcol_4_65539))], (3166 ^ _596550) ^ [_691722] : [isa(_691722, c_tptpcol_5_69635), -(tptpcol_5_69635(_691722))], (3172 ^ _596550) ^ [_691910] : [tptpcol_5_69635(_691910), -(isa(_691910, c_tptpcol_5_69635))], (3178 ^ _596550) ^ [_692098] : [isa(_692098, c_tptpcol_3_16386), -(tptpcol_3_16386(_692098))], (3184 ^ _596550) ^ [_692286] : [tptpcol_3_16386(_692286), -(isa(_692286, c_tptpcol_3_16386))], (3190 ^ _596550) ^ [_692488, _692490] : [no(_692490, _692488), -(setorcollection(_692488))], (3196 ^ _596550) ^ [_692696, _692698] : [no(_692698, _692696), -(setorcollection(_692698))], (3202 ^ _596550) ^ [_692904, _692906] : [no(_692906, _692904), -(no(_692904, _692906))], (3208 ^ _596550) ^ [_693128, _693130, _693132] : [-(no(_693132, _693128)), no(_693132, _693130), subsetof(_693128, _693130)], (3218 ^ _596550) ^ [_693451, _693453, _693455] : [-(no(_693451, _693453)), no(_693455, _693453), subsetof(_693451, _693455)], (3228 ^ _596550) ^ [_693774, _693776, _693778] : [-(no(_693774, _693776)), no(_693778, _693776), genls(_693774, _693778)], (3238 ^ _596550) ^ [_694097, _694099, _694101] : [-(no(_694101, _694097)), no(_694101, _694099), genls(_694097, _694099)], (3248 ^ _596550) ^ [_694420, _694422, _694424] : [-(no(_694420, _694422)), no(_694424, _694422), subsetof(_694420, _694424)], (3258 ^ _596550) ^ [_694743, _694745, _694747] : [-(no(_694747, _694743)), no(_694747, _694745), subsetof(_694743, _694745)], (3268 ^ _596550) ^ [_695038] : [isa(_695038, c_geographicalregion), -(geographicalregion(_695038))], (3274 ^ _596550) ^ [_695226] : [geographicalregion(_695226), -(isa(_695226, c_geographicalregion))], (3280 ^ _596550) ^ [_695399] : [-(natfunction(f_tptpquantityfn_21(_695399), c_tptpquantityfn_21))], (3282 ^ _596550) ^ [_695479] : [-(natargument(f_tptpquantityfn_21(_695479), n_1, _695479))], (3284 ^ _596550) ^ [_695560] : [-(tptpquantity(f_tptpquantityfn_21(_695560)))], (3286 ^ _596550) ^ [_695668, _695670] : [airporthasiatacode(_695670, _695668), -(stringoflengthfn3(_695668))], (3292 ^ _596550) ^ [_695876, _695878] : [airporthasiatacode(_695878, _695876), -(airport_physical(_695878))], (3298 ^ _596550) ^ [_696070] : [isa(_696070, c_airport_physical), -(airport_physical(_696070))], (3304 ^ _596550) ^ [_696258] : [airport_physical(_696258), -(isa(_696258, c_airport_physical))], (3310 ^ _596550) ^ [_696459, _696461, _696463] : [-(natfunction(f_instancewithrelationtofn(_696463, _696461, _696459), c_instancewithrelationtofn))], (3312 ^ _596550) ^ [_696573, _696575, _696577] : [-(natargument(f_instancewithrelationtofn(_696577, _696575, _696573), n_1, _696577))], (3314 ^ _596550) ^ [_696688, _696690, _696692] : [-(natargument(f_instancewithrelationtofn(_696692, _696690, _696688), n_2, _696690))], (3316 ^ _596550) ^ [_696803, _696805, _696807] : [-(natargument(f_instancewithrelationtofn(_696807, _696805, _696803), n_3, _696803))], (3318 ^ _596550) ^ [_696918, _696920, _696922] : [-(thing(f_instancewithrelationtofn(_696922, _696920, _696918)))], (3320 ^ _596550) ^ [_697018] : [isa(_697018, c_tptpcol_6_112641), -(tptpcol_6_112641(_697018))], (3326 ^ _596550) ^ [_697206] : [tptpcol_6_112641(_697206), -(isa(_697206, c_tptpcol_6_112641))], (3332 ^ _596550) ^ [_697394] : [isa(_697394, c_tptpcol_7_113665), -(tptpcol_7_113665(_697394))], (3338 ^ _596550) ^ [_697582] : [tptpcol_7_113665(_697582), -(isa(_697582, c_tptpcol_7_113665))], (3344 ^ _596550) ^ [_697770] : [isa(_697770, c_artifact), -(artifact(_697770))], (3350 ^ _596550) ^ [_697958] : [artifact(_697958), -(isa(_697958, c_artifact))], (3356 ^ _596550) ^ [_698146] : [isa(_698146, c_tptpcol_13_18664), -(tptpcol_13_18664(_698146))], (3362 ^ _596550) ^ [_698334] : [tptpcol_13_18664(_698334), -(isa(_698334, c_tptpcol_13_18664))], (3368 ^ _596550) ^ [_698522] : [isa(_698522, c_firstordercollection), -(firstordercollection(_698522))], (3374 ^ _596550) ^ [_698710] : [firstordercollection(_698710), -(isa(_698710, c_firstordercollection))], (3380 ^ _596550) ^ [_698883] : [-(natfunction(f_tptpquantityfn_14(_698883), c_tptpquantityfn_14))], (3382 ^ _596550) ^ [_698963] : [-(natargument(f_tptpquantityfn_14(_698963), n_1, _698963))], (3384 ^ _596550) ^ [_699044] : [-(tptpquantity(f_tptpquantityfn_14(_699044)))], (3386 ^ _596550) ^ [_699138] : [isa(_699138, c_supplies), -(supplies(_699138))], (3392 ^ _596550) ^ [_699326] : [supplies(_699326), -(isa(_699326, c_supplies))], (3398 ^ _596550) ^ [_699514] : [isa(_699514, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_699514))], (3404 ^ _596550) ^ [_699702] : [inanimateobject_nonnatural(_699702), -(isa(_699702, c_inanimateobject_nonnatural))], (3410 ^ _596550) ^ [_699890] : [isa(_699890, c_tptpcol_13_22071), -(tptpcol_13_22071(_699890))], (3416 ^ _596550) ^ [_700078] : [tptpcol_13_22071(_700078), -(isa(_700078, c_tptpcol_13_22071))], (3422 ^ _596550) ^ [_700266] : [isa(_700266, c_tptpcol_14_22072), -(tptpcol_14_22072(_700266))], (3428 ^ _596550) ^ [_700454] : [tptpcol_14_22072(_700454), -(isa(_700454, c_tptpcol_14_22072))], (3434 ^ _596550) ^ [_700642] : [isa(_700642, c_tptpcol_7_108547), -(tptpcol_7_108547(_700642))], (3440 ^ _596550) ^ [_700830] : [tptpcol_7_108547(_700830), -(isa(_700830, c_tptpcol_7_108547))], (3446 ^ _596550) ^ [_701018] : [isa(_701018, c_tptpcol_8_109059), -(tptpcol_8_109059(_701018))], (3452 ^ _596550) ^ [_701206] : [tptpcol_8_109059(_701206), -(isa(_701206, c_tptpcol_8_109059))], (3458 ^ _596550) ^ [_701394] : [isa(_701394, c_tptpcol_14_93774), -(tptpcol_14_93774(_701394))], (3464 ^ _596550) ^ [_701582] : [tptpcol_14_93774(_701582), -(isa(_701582, c_tptpcol_14_93774))], (3470 ^ _596550) ^ [_701770] : [isa(_701770, c_tptpcol_15_93775), -(tptpcol_15_93775(_701770))], (3476 ^ _596550) ^ [_701958] : [tptpcol_15_93775(_701958), -(isa(_701958, c_tptpcol_15_93775))], (3482 ^ _596550) ^ [_702146] : [isa(_702146, c_tptpcol_16_8886), -(tptpcol_16_8886(_702146))], (3488 ^ _596550) ^ [_702334] : [tptpcol_16_8886(_702334), -(isa(_702334, c_tptpcol_16_8886))], (3494 ^ _596550) ^ [_702536, _702538] : [orientation(_702538, _702536), -(orientationvector(_702536))], (3500 ^ _596550) ^ [_702744, _702746] : [orientation(_702746, _702744), -(spatialthing_localized(_702746))], (3506 ^ _596550) ^ [_702938] : [isa(_702938, c_orientationvector), -(orientationvector(_702938))], (3512 ^ _596550) ^ [_703126] : [orientationvector(_703126), -(isa(_703126, c_orientationvector))], (3518 ^ _596550) ^ [_703314] : [isa(_703314, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_703314))], (3524 ^ _596550) ^ [_703502] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_703502), -(isa(_703502, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _596550) ^ [_703704, _703706] : [tptptypes_9_824(_703706, _703704), -(firstordercollection(_703704))], (3536 ^ _596550) ^ [_703912, _703914] : [tptptypes_9_824(_703914, _703912), -(firstordercollection(_703914))], (3542 ^ _596550) ^ [_704120, _704122] : [tptptypes_7_396(_704122, _704120), -(firstordercollection(_704120))], (3548 ^ _596550) ^ [_704328, _704330] : [tptptypes_7_396(_704330, _704328), -(firstordercollection(_704330))], (3554 ^ _596550) ^ [_704522] : [isa(_704522, c_tptpcol_12_22055), -(tptpcol_12_22055(_704522))], (3560 ^ _596550) ^ [_704710] : [tptpcol_12_22055(_704710), -(isa(_704710, c_tptpcol_12_22055))], (3566 ^ _596550) ^ [_704898] : [isa(_704898, c_tptpcol_16_29490), -(tptpcol_16_29490(_704898))], (3572 ^ _596550) ^ [_705086] : [tptpcol_16_29490(_705086), -(isa(_705086, c_tptpcol_16_29490))], (3578 ^ _596550) ^ [_705288, _705290] : [tptp_9_720(_705290, _705288), -(tptpcol_5_28674(_705288))], (3584 ^ _596550) ^ [_705496, _705498] : [tptp_9_720(_705498, _705496), -(executionbyfiringsquad(_705498))], (3590 ^ _596550) ^ [_705690] : [isa(_705690, c_runningshorts), -(runningshorts(_705690))], (3596 ^ _596550) ^ [_705878] : [runningshorts(_705878), -(isa(_705878, c_runningshorts))], (3602 ^ _596550) ^ [_706066] : [isa(_706066, c_tptpcol_9_118019), -(tptpcol_9_118019(_706066))], (3608 ^ _596550) ^ [_706254] : [tptpcol_9_118019(_706254), -(isa(_706254, c_tptpcol_9_118019))], (3614 ^ _596550) ^ [_706442] : [isa(_706442, c_tptpcol_16_31868), -(tptpcol_16_31868(_706442))], (3620 ^ _596550) ^ [_706630] : [tptpcol_16_31868(_706630), -(isa(_706630, c_tptpcol_16_31868))], (3626 ^ _596550) ^ [_706818] : [isa(_706818, c_movement_translationevent), -(movement_translationevent(_706818))], (3632 ^ _596550) ^ [_707006] : [movement_translationevent(_707006), -(isa(_707006, c_movement_translationevent))], (3638 ^ _596550) ^ [_707208, _707210] : [directionoftranslation_throughout(_707210, _707208), -(unitvectorinterval(_707208))], (3644 ^ _596550) ^ [_707416, _707418] : [directionoftranslation_throughout(_707418, _707416), -(movement_translationevent(_707418))], (3650 ^ _596550) ^ [_707638, _707640, _707642] : [-(directionoftranslation_throughout(_707638, _707640)), directionoftranslation_throughout(_707642, _707640), subevents(_707642, _707638)], (3660 ^ _596550) ^ [_707933] : [isa(_707933, c_unitvectorinterval), -(unitvectorinterval(_707933))], (3666 ^ _596550) ^ [_708121] : [unitvectorinterval(_708121), -(isa(_708121, c_unitvectorinterval))], (3672 ^ _596550) ^ [_708309] : [isa(_708309, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708309))], (3678 ^ _596550) ^ [_708497] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708497), -(isa(_708497, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _596550) ^ [_708699, _708701] : [tptp_8_875(_708701, _708699), -(tptpcol_4_24578(_708699))], (3690 ^ _596550) ^ [_708907, _708909] : [tptp_8_875(_708909, _708907), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_708909))], (3696 ^ _596550) ^ [_709129, _709131, _709133] : [relationallexists(_709133, _709131, _709129), -(collection(_709129))], (3702 ^ _596550) ^ [_709359, _709361, _709363] : [relationallexists(_709363, _709361, _709359), -(collection(_709361))], (3708 ^ _596550) ^ [_709589, _709591, _709593] : [relationallexists(_709593, _709591, _709589), -(binarypredicate(_709593))], (3714 ^ _596550) ^ [_709791] : [isa(_709791, c_tptpcol_16_10258), -(tptpcol_16_10258(_709791))], (3720 ^ _596550) ^ [_709979] : [tptpcol_16_10258(_709979), -(isa(_709979, c_tptpcol_16_10258))], (3726 ^ _596550) ^ [_710167] : [isa(_710167, c_pushingababycarriage), -(pushingababycarriage(_710167))], (3732 ^ _596550) ^ [_710355] : [pushingababycarriage(_710355), -(isa(_710355, c_pushingababycarriage))], (3738 ^ _596550) ^ [_710543] : [isa(_710543, c_aspatialinformationstore), -(aspatialinformationstore(_710543))], (3744 ^ _596550) ^ [_710731] : [aspatialinformationstore(_710731), -(isa(_710731, c_aspatialinformationstore))], (3750 ^ _596550) ^ [_710919] : [isa(_710919, c_collection), -(collection(_710919))], (3756 ^ _596550) ^ [_711107] : [collection(_711107), -(isa(_711107, c_collection))], (3762 ^ _596550) ^ [_711295] : [isa(_711295, c_fixedordercollection), -(fixedordercollection(_711295))], (3768 ^ _596550) ^ [_711483] : [fixedordercollection(_711483), -(isa(_711483, c_fixedordercollection))], (3774 ^ _596550) ^ [_711671] : [isa(_711671, c_tptpcol_8_92164), -(tptpcol_8_92164(_711671))], (3780 ^ _596550) ^ [_711859] : [tptpcol_8_92164(_711859), -(isa(_711859, c_tptpcol_8_92164))], (3786 ^ _596550) ^ [_712047] : [isa(_712047, c_tptpcol_9_92165), -(tptpcol_9_92165(_712047))], (3792 ^ _596550) ^ [_712235] : [tptpcol_9_92165(_712235), -(isa(_712235, c_tptpcol_9_92165))], (3798 ^ _596550) ^ [_712423] : [isa(_712423, c_tptpcol_1_1), -(tptpcol_1_1(_712423))], (3804 ^ _596550) ^ [_712611] : [tptpcol_1_1(_712611), -(isa(_712611, c_tptpcol_1_1))], (3810 ^ _596550) ^ [_712799] : [isa(_712799, c_tptpcol_2_2), -(tptpcol_2_2(_712799))], (3816 ^ _596550) ^ [_712987] : [tptpcol_2_2(_712987), -(isa(_712987, c_tptpcol_2_2))], (3822 ^ _596550) ^ [_713189, _713191] : [tptptypes_7_691(_713191, _713189), -(firstordercollection(_713189))], (3828 ^ _596550) ^ [_713397, _713399] : [tptptypes_7_691(_713399, _713397), -(firstordercollection(_713399))], (3834 ^ _596550) ^ [_713591] : [isa(_713591, c_tptpcol_11_26887), -(tptpcol_11_26887(_713591))], (3840 ^ _596550) ^ [_713779] : [tptpcol_11_26887(_713779), -(isa(_713779, c_tptpcol_11_26887))], (3846 ^ _596550) ^ [_713967] : [isa(_713967, c_tptpcol_12_26919), -(tptpcol_12_26919(_713967))], (3852 ^ _596550) ^ [_714155] : [tptpcol_12_26919(_714155), -(isa(_714155, c_tptpcol_12_26919))], (3858 ^ _596550) ^ [_714357, _714359] : [tptptypes_6_818(_714359, _714357), -(firstordercollection(_714357))], (3864 ^ _596550) ^ [_714565, _714567] : [tptptypes_6_818(_714567, _714565), -(firstordercollection(_714567))], (3870 ^ _596550) ^ [_714773, _714775] : [tptptypes_7_819(_714775, _714773), -(firstordercollection(_714773))], (3876 ^ _596550) ^ [_714981, _714983] : [tptptypes_7_819(_714983, _714981), -(firstordercollection(_714983))], (3882 ^ _596550) ^ [_715175] : [isa(_715175, c_correctivelensprescription), -(correctivelensprescription(_715175))], (3888 ^ _596550) ^ [_715363] : [correctivelensprescription(_715363), -(isa(_715363, c_correctivelensprescription))], (3894 ^ _596550) ^ [_715565, _715567] : [products(_715567, _715565), -(artifact(_715565))], (3900 ^ _596550) ^ [_715773, _715775] : [products(_715775, _715773), -(creationordestructionevent(_715775))], (3906 ^ _596550) ^ [_715967] : [isa(_715967, c_issuingaprescription), -(issuingaprescription(_715967))], (3912 ^ _596550) ^ [_716155] : [issuingaprescription(_716155), -(isa(_716155, c_issuingaprescription))], (3918 ^ _596550) ^ [_716356, _716358, _716360] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_716360, _716358, _716356), c_subcollectionofwithrelationtotypefn))], (3920 ^ _596550) ^ [_716470, _716472, _716474] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716474, _716472, _716470), n_1, _716474))], (3922 ^ _596550) ^ [_716585, _716587, _716589] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716589, _716587, _716585), n_2, _716587))], (3924 ^ _596550) ^ [_716700, _716702, _716704] : [-(natargument(f_subcollectionofwithrelationtotypefn(_716704, _716702, _716700), n_3, _716700))], (3926 ^ _596550) ^ [_716815, _716817, _716819] : [-(collection(f_subcollectionofwithrelationtotypefn(_716819, _716817, _716815)))], (3928 ^ _596550) ^ [_716915] : [isa(_716915, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_716915))], (3934 ^ _596550) ^ [_717103] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_717103), -(isa(_717103, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _596550) ^ [_717291] : [isa(_717291, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_717291))], (3946 ^ _596550) ^ [_717479] : [mathematicalorcomputationalthing(_717479), -(isa(_717479, c_mathematicalorcomputationalthing))], (3952 ^ _596550) ^ [_717667] : [isa(_717667, c_tptpcol_10_118020), -(tptpcol_10_118020(_717667))], (3958 ^ _596550) ^ [_717855] : [tptpcol_10_118020(_717855), -(isa(_717855, c_tptpcol_10_118020))], (3964 ^ _596550) ^ [_718043] : [isa(_718043, c_tptpcol_11_118084), -(tptpcol_11_118084(_718043))], (3970 ^ _596550) ^ [_718231] : [tptpcol_11_118084(_718231), -(isa(_718231, c_tptpcol_11_118084))], (3976 ^ _596550) ^ [_718419] : [isa(_718419, c_terroristgroup), -(terroristgroup(_718419))], (3982 ^ _596550) ^ [_718607] : [terroristgroup(_718607), -(isa(_718607, c_terroristgroup))], (3988 ^ _596550) ^ [_718809, _718811] : [hasmembers(_718811, _718809), -(agent_generic(_718809))], (3994 ^ _596550) ^ [_719017, _719019] : [hasmembers(_719019, _719017), -(organization(_719019))], (4000 ^ _596550) ^ [_719211] : [isa(_719211, c_terrorist), -(terrorist(_719211))], (4006 ^ _596550) ^ [_719399] : [terrorist(_719399), -(isa(_719399, c_terrorist))], (4012 ^ _596550) ^ [_719600, _719602, _719604] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_719604, _719602, _719600), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _596550) ^ [_719714, _719716, _719718] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719718, _719716, _719714), n_1, _719718))], (4016 ^ _596550) ^ [_719829, _719831, _719833] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719833, _719831, _719829), n_2, _719831))], (4018 ^ _596550) ^ [_719944, _719946, _719948] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719948, _719946, _719944), n_3, _719944))], (4020 ^ _596550) ^ [_720059, _720061, _720063] : [-(collection(f_subcollectionofwithrelationfromtypefn(_720063, _720061, _720059)))], (4022 ^ _596550) ^ [_720159] : [isa(_720159, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720159))], (4028 ^ _596550) ^ [_720347] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_720347), -(isa(_720347, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _596550) ^ [_720549, _720551] : [prettystring(_720551, _720549), -(controlcharacterfreestring(_720549))], (4040 ^ _596550) ^ [_720757, _720759] : [prettystring(_720759, _720757), -(thing(_720759))], (4046 ^ _596550) ^ [_720951] : [isa(_720951, c_tptpcol_0_0), -(tptpcol_0_0(_720951))], (4052 ^ _596550) ^ [_721139] : [tptpcol_0_0(_721139), -(isa(_721139, c_tptpcol_0_0))], (4058 ^ _596550) ^ [_721327] : [isa(_721327, c_geolevel_3), -(geolevel_3(_721327))], (4064 ^ _596550) ^ [_721515] : [geolevel_3(_721515), -(isa(_721515, c_geolevel_3))], (4070 ^ _596550) ^ [_721703] : [isa(_721703, c_tptpcol_4_24578), -(tptpcol_4_24578(_721703))], (4076 ^ _596550) ^ [_721891] : [tptpcol_4_24578(_721891), -(isa(_721891, c_tptpcol_4_24578))], (4082 ^ _596550) ^ [_722079] : [isa(_722079, c_tptpcol_5_24579), -(tptpcol_5_24579(_722079))], (4088 ^ _596550) ^ [_722267] : [tptpcol_5_24579(_722267), -(isa(_722267, c_tptpcol_5_24579))], (4094 ^ _596550) ^ [_722455] : [isa(_722455, c_tptpcol_5_106498), -(tptpcol_5_106498(_722455))], (4100 ^ _596550) ^ [_722643] : [tptpcol_5_106498(_722643), -(isa(_722643, c_tptpcol_5_106498))], (4106 ^ _596550) ^ [_722831] : [isa(_722831, c_tptpcol_12_109157), -(tptpcol_12_109157(_722831))], (4112 ^ _596550) ^ [_723019] : [tptpcol_12_109157(_723019), -(isa(_723019, c_tptpcol_12_109157))], (4118 ^ _596550) ^ [_723207] : [isa(_723207, c_tptpcol_13_109173), -(tptpcol_13_109173(_723207))], (4124 ^ _596550) ^ [_723395] : [tptpcol_13_109173(_723395), -(isa(_723395, c_tptpcol_13_109173))], (4130 ^ _596550) ^ [_723583] : [isa(_723583, c_mathematicalthing), -(mathematicalthing(_723583))], (4136 ^ _596550) ^ [_723771] : [mathematicalthing(_723771), -(isa(_723771, c_mathematicalthing))], (4142 ^ _596550) ^ [_723959] : [isa(_723959, c_setorcollection), -(setorcollection(_723959))], (4148 ^ _596550) ^ [_724147] : [setorcollection(_724147), -(isa(_724147, c_setorcollection))], (4154 ^ _596550) ^ [_724335] : [isa(_724335, c_tptpcol_11_18631), -(tptpcol_11_18631(_724335))], (4160 ^ _596550) ^ [_724523] : [tptpcol_11_18631(_724523), -(isa(_724523, c_tptpcol_11_18631))], (4166 ^ _596550) ^ [_724711] : [isa(_724711, c_tptpcol_12_18663), -(tptpcol_12_18663(_724711))], (4172 ^ _596550) ^ [_724899] : [tptpcol_12_18663(_724899), -(isa(_724899, c_tptpcol_12_18663))], (4178 ^ _596550) ^ [_725101, _725103] : [tptptypes_8_400(_725103, _725101), -(firstordercollection(_725101))], (4184 ^ _596550) ^ [_725309, _725311] : [tptptypes_8_400(_725311, _725309), -(firstordercollection(_725311))], (4190 ^ _596550) ^ [_725517, _725519] : [tptptypes_9_401(_725519, _725517), -(firstordercollection(_725517))], (4196 ^ _596550) ^ [_725725, _725727] : [tptptypes_9_401(_725727, _725725), -(firstordercollection(_725727))], (4202 ^ _596550) ^ [_725904] : [-(natfunction(f_tptpquantityfn_13(_725904), c_tptpquantityfn_13))], (4204 ^ _596550) ^ [_725984] : [-(natargument(f_tptpquantityfn_13(_725984), n_1, _725984))], (4206 ^ _596550) ^ [_726065] : [-(tptpquantity(f_tptpquantityfn_13(_726065)))], (4208 ^ _596550) ^ [_726173, _726175] : [borderson(_726175, _726173), -(geographicalregion(_726173))], (4214 ^ _596550) ^ [_726381, _726383] : [borderson(_726383, _726381), -(geographicalregion(_726383))], (4220 ^ _596550) ^ [_726589, _726591] : [borderson(_726591, _726589), -(borderson(_726589, _726591))], (4226 ^ _596550) ^ [_726769] : [borderson(_726769, _726769)], (4228 ^ _596550) ^ [_726862] : [isa(_726862, c_tptpcol_14_92264), -(tptpcol_14_92264(_726862))], (4234 ^ _596550) ^ [_727050] : [tptpcol_14_92264(_727050), -(isa(_727050, c_tptpcol_14_92264))], (4240 ^ _596550) ^ [_727238] : [isa(_727238, c_tptpcol_15_92268), -(tptpcol_15_92268(_727238))], (4246 ^ _596550) ^ [_727426] : [tptpcol_15_92268(_727426), -(isa(_727426, c_tptpcol_15_92268))], (4252 ^ _596550) ^ [_727614] : [isa(_727614, c_tptpcol_6_116738), -(tptpcol_6_116738(_727614))], (4258 ^ _596550) ^ [_727802] : [tptpcol_6_116738(_727802), -(isa(_727802, c_tptpcol_6_116738))], (4264 ^ _596550) ^ [_728004, _728006] : [tptptypes_5_387(_728006, _728004), -(firstordercollection(_728004))], (4270 ^ _596550) ^ [_728212, _728214] : [tptptypes_5_387(_728214, _728212), -(firstordercollection(_728214))], (4276 ^ _596550) ^ [_728420, _728422] : [tptptypes_6_388(_728422, _728420), -(firstordercollection(_728420))], (4282 ^ _596550) ^ [_728628, _728630] : [tptptypes_6_388(_728630, _728628), -(firstordercollection(_728630))], (4288 ^ _596550) ^ [_728822] : [isa(_728822, c_shavingrazor_manual), -(shavingrazor_manual(_728822))], (4294 ^ _596550) ^ [_729010] : [shavingrazor_manual(_729010), -(isa(_729010, c_shavingrazor_manual))], (4300 ^ _596550) ^ [_729198] : [isa(_729198, c_tptpcol_9_109060), -(tptpcol_9_109060(_729198))], (4306 ^ _596550) ^ [_729386] : [tptpcol_9_109060(_729386), -(isa(_729386, c_tptpcol_9_109060))], (4312 ^ _596550) ^ [_729574] : [isa(_729574, c_tptpcol_10_109061), -(tptpcol_10_109061(_729574))], (4318 ^ _596550) ^ [_729762] : [tptpcol_10_109061(_729762), -(isa(_729762, c_tptpcol_10_109061))], (4324 ^ _596550) ^ [_729950] : [isa(_729950, c_executionbyfiringsquad), -(executionbyfiringsquad(_729950))], (4330 ^ _596550) ^ [_730138] : [executionbyfiringsquad(_730138), -(isa(_730138, c_executionbyfiringsquad))], (4336 ^ _596550) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _596550) ^ [_730379] : [isa(_730379, c_navypersonnel), -(navypersonnel(_730379))], (4344 ^ _596550) ^ [_730567] : [navypersonnel(_730567), -(isa(_730567, c_navypersonnel))], (4350 ^ _596550) ^ [_730755] : [isa(_730755, c_tptpcol_12_92262), -(tptpcol_12_92262(_730755))], (4356 ^ _596550) ^ [_730943] : [tptpcol_12_92262(_730943), -(isa(_730943, c_tptpcol_12_92262))], (4362 ^ _596550) ^ [_731131] : [isa(_731131, c_thing), -(thing(_731131))], (4368 ^ _596550) ^ [_731319] : [thing(_731319), -(isa(_731319, c_thing))], (4374 ^ _596550) ^ [_731507] : [isa(_731507, c_computerdataartifact), -(computerdataartifact(_731507))], (4380 ^ _596550) ^ [_731695] : [computerdataartifact(_731695), -(isa(_731695, c_computerdataartifact))], (4386 ^ _596550) ^ [_731883] : [isa(_731883, c_applicationcontext), -(applicationcontext(_731883))], (4392 ^ _596550) ^ [_732071] : [applicationcontext(_732071), -(isa(_732071, c_applicationcontext))], (4398 ^ _596550) ^ [_732273, _732275] : [inregion(_732275, _732273), -(spatialthing_nonsituational(_732273))], (4404 ^ _596550) ^ [_732481, _732483] : [inregion(_732483, _732481), -(spatialthing_nonsituational(_732483))], (4410 ^ _596550) ^ [_732703, _732705, _732707] : [-(inregion(_732707, _732703)), inregion(_732707, _732705), inregion(_732705, _732703)], (4420 ^ _596550) ^ [_732998] : [spatialthing_nonsituational(_732998), -(inregion(_732998, _732998))], (4426 ^ _596550) ^ [_733171] : [-(natfunction(f_tptpquantityfn_1(_733171), c_tptpquantityfn_1))], (4428 ^ _596550) ^ [_733251] : [-(natargument(f_tptpquantityfn_1(_733251), n_1, _733251))], (4430 ^ _596550) ^ [_733332] : [-(tptpquantity(f_tptpquantityfn_1(_733332)))], (4432 ^ _596550) ^ [_733426] : [isa(_733426, c_furpelt), -(furpelt(_733426))], (4438 ^ _596550) ^ [_733614] : [furpelt(_733614), -(isa(_733614, c_furpelt))], (4444 ^ _596550) ^ [_733816, _733818] : [tptpofobject(_733818, _733816), -(tptpquantity(_733816))], (4450 ^ _596550) ^ [_734024, _734026] : [tptpofobject(_734026, _734024), -(partiallytangible(_734026))], (4456 ^ _596550) ^ [_734246, _734248, _734250] : [relationallinstance(_734250, _734248, _734246), -(thing(_734246))], (4462 ^ _596550) ^ [_734476, _734478, _734480] : [relationallinstance(_734480, _734478, _734476), -(collection(_734478))], (4468 ^ _596550) ^ [_734706, _734708, _734710] : [relationallinstance(_734710, _734708, _734706), -(binarypredicate(_734710))], (4474 ^ _596550) ^ [_734908] : [isa(_734908, c_tptpcol_13_93766), -(tptpcol_13_93766(_734908))], (4480 ^ _596550) ^ [_735096] : [tptpcol_13_93766(_735096), -(isa(_735096, c_tptpcol_13_93766))], (4486 ^ _596550) ^ [_735284] : [isa(_735284, c_tptpcol_9_40196), -(tptpcol_9_40196(_735284))], (4492 ^ _596550) ^ [_735472] : [tptpcol_9_40196(_735472), -(isa(_735472, c_tptpcol_9_40196))], (4498 ^ _596550) ^ [_735660] : [isa(_735660, c_tptpcol_10_40324), -(tptpcol_10_40324(_735660))], (4504 ^ _596550) ^ [_735848] : [tptpcol_10_40324(_735848), -(isa(_735848, c_tptpcol_10_40324))], (4510 ^ _596550) ^ [_736036] : [isa(_736036, c_tptpcol_7_72707), -(tptpcol_7_72707(_736036))], (4516 ^ _596550) ^ [_736224] : [tptpcol_7_72707(_736224), -(isa(_736224, c_tptpcol_7_72707))], (4522 ^ _596550) ^ [_736412] : [isa(_736412, c_tptpcol_8_72708), -(tptpcol_8_72708(_736412))], (4528 ^ _596550) ^ [_736600] : [tptpcol_8_72708(_736600), -(isa(_736600, c_tptpcol_8_72708))], (4534 ^ _596550) ^ [_736788] : [isa(_736788, c_tptpcol_11_93764), -(tptpcol_11_93764(_736788))], (4540 ^ _596550) ^ [_736976] : [tptpcol_11_93764(_736976), -(isa(_736976, c_tptpcol_11_93764))], (4546 ^ _596550) ^ [_737164] : [isa(_737164, c_tptpcol_12_93765), -(tptpcol_12_93765(_737164))], (4552 ^ _596550) ^ [_737352] : [tptpcol_12_93765(_737352), -(isa(_737352, c_tptpcol_12_93765))], (4558 ^ _596550) ^ [_737540] : [isa(_737540, c_tptpcol_4_114689), -(tptpcol_4_114689(_737540))], (4564 ^ _596550) ^ [_737728] : [tptpcol_4_114689(_737728), -(isa(_737728, c_tptpcol_4_114689))], (4570 ^ _596550) ^ [_737916] : [isa(_737916, c_tptpcol_5_114690), -(tptpcol_5_114690(_737916))], (4576 ^ _596550) ^ [_738104] : [tptpcol_5_114690(_738104), -(isa(_738104, c_tptpcol_5_114690))], (4582 ^ _596550) ^ [_738292] : [isa(_738292, c_tptpcol_3_98305), -(tptpcol_3_98305(_738292))], (4588 ^ _596550) ^ [_738480] : [tptpcol_3_98305(_738480), -(isa(_738480, c_tptpcol_3_98305))], (4594 ^ _596550) ^ [_738668] : [isa(_738668, c_tptpcol_4_106497), -(tptpcol_4_106497(_738668))], (4600 ^ _596550) ^ [_738856] : [tptpcol_4_106497(_738856), -(isa(_738856, c_tptpcol_4_106497))], (4606 ^ _596550) ^ [_739071, _739073, _739075, _739077] : [-(natfunction(f_relationexistsallfn(_739077, _739075, _739073, _739071), c_relationexistsallfn))], (4608 ^ _596550) ^ [_739202, _739204, _739206, _739208] : [-(natargument(f_relationexistsallfn(_739208, _739206, _739204, _739202), n_1, _739208))], (4610 ^ _596550) ^ [_739334, _739336, _739338, _739340] : [-(natargument(f_relationexistsallfn(_739340, _739338, _739336, _739334), n_2, _739338))], (4612 ^ _596550) ^ [_739466, _739468, _739470, _739472] : [-(natargument(f_relationexistsallfn(_739472, _739470, _739468, _739466), n_3, _739468))], (4614 ^ _596550) ^ [_739598, _739600, _739602, _739604] : [-(natargument(f_relationexistsallfn(_739604, _739602, _739600, _739598), n_4, _739598))], (4616 ^ _596550) ^ [_739730, _739732, _739734, _739736] : [-(thing(f_relationexistsallfn(_739736, _739734, _739732, _739730)))], (4618 ^ _596550) ^ [_739847, _739849] : [resultisaarg(_739849, _739847), -(positiveinteger(_739847))], (4624 ^ _596550) ^ [_740055, _740057] : [resultisaarg(_740057, _740055), -(function_denotational(_740057))], (4630 ^ _596550) ^ [_740263, _740265] : [tptptypes_7_389(_740265, _740263), -(firstordercollection(_740263))], (4636 ^ _596550) ^ [_740471, _740473] : [tptptypes_7_389(_740473, _740471), -(firstordercollection(_740473))], (4642 ^ _596550) ^ [_740679, _740681] : [tptptypes_8_390(_740681, _740679), -(firstordercollection(_740679))], (4648 ^ _596550) ^ [_740887, _740889] : [tptptypes_8_390(_740889, _740887), -(firstordercollection(_740889))], (4654 ^ _596550) ^ [_741095, _741097] : [tptptypes_8_692(_741097, _741095), -(firstordercollection(_741095))], (4660 ^ _596550) ^ [_741303, _741305] : [tptptypes_8_692(_741305, _741303), -(firstordercollection(_741305))], (4666 ^ _596550) ^ [_741511, _741513] : [tptptypes_9_693(_741513, _741511), -(firstordercollection(_741511))], (4672 ^ _596550) ^ [_741719, _741721] : [tptptypes_9_693(_741721, _741719), -(firstordercollection(_741721))], (4678 ^ _596550) ^ [_741913] : [isa(_741913, c_tptpcol_11_40388), -(tptpcol_11_40388(_741913))], (4684 ^ _596550) ^ [_742101] : [tptpcol_11_40388(_742101), -(isa(_742101, c_tptpcol_11_40388))], (4690 ^ _596550) ^ [_742289] : [isa(_742289, c_marriagelicensedocument), -(marriagelicensedocument(_742289))], (4696 ^ _596550) ^ [_742477] : [marriagelicensedocument(_742477), -(isa(_742477, c_marriagelicensedocument))], (4702 ^ _596550) ^ [_742665] : [isa(_742665, c_tptpcol_1_65536), -(tptpcol_1_65536(_742665))], (4708 ^ _596550) ^ [_742853] : [tptpcol_1_65536(_742853), -(isa(_742853, c_tptpcol_1_65536))], (4714 ^ _596550) ^ [_743041] : [isa(_743041, c_tptpcol_2_98304), -(tptpcol_2_98304(_743041))], (4720 ^ _596550) ^ [_743229] : [tptpcol_2_98304(_743229), -(isa(_743229, c_tptpcol_2_98304))], (4726 ^ _596550) ^ [_743417] : [isa(_743417, c_tptpcol_10_92166), -(tptpcol_10_92166(_743417))], (4732 ^ _596550) ^ [_743605] : [tptpcol_10_92166(_743605), -(isa(_743605, c_tptpcol_10_92166))], (4738 ^ _596550) ^ [_743793] : [isa(_743793, c_tptpcol_11_92230), -(tptpcol_11_92230(_743793))], (4744 ^ _596550) ^ [_743981] : [tptpcol_11_92230(_743981), -(isa(_743981, c_tptpcol_11_92230))], (4750 ^ _596550) ^ [_744169] : [isa(_744169, c_orderingpredicate), -(orderingpredicate(_744169))], (4756 ^ _596550) ^ [_744357] : [orderingpredicate(_744357), -(isa(_744357, c_orderingpredicate))], (4762 ^ _596550) ^ [_744545] : [isa(_744545, c_tptpcol_9_18439), -(tptpcol_9_18439(_744545))], (4768 ^ _596550) ^ [_744733] : [tptpcol_9_18439(_744733), -(isa(_744733, c_tptpcol_9_18439))], (4774 ^ _596550) ^ [_744921] : [isa(_744921, c_tptpcol_10_18567), -(tptpcol_10_18567(_744921))], (4780 ^ _596550) ^ [_745109] : [tptpcol_10_18567(_745109), -(isa(_745109, c_tptpcol_10_18567))], (4786 ^ _596550) ^ [_745297] : [isa(_745297, c_tptpcol_2_65537), -(tptpcol_2_65537(_745297))], (4792 ^ _596550) ^ [_745485] : [tptpcol_2_65537(_745485), -(isa(_745485, c_tptpcol_2_65537))], (4798 ^ _596550) ^ [_745673] : [isa(_745673, c_tptpcol_3_81921), -(tptpcol_3_81921(_745673))], (4804 ^ _596550) ^ [_745861] : [tptpcol_3_81921(_745861), -(isa(_745861, c_tptpcol_3_81921))], (4810 ^ _596550) ^ [_746049] : [isa(_746049, c_artsupplies), -(artsupplies(_746049))], (4816 ^ _596550) ^ [_746237] : [artsupplies(_746237), -(isa(_746237, c_artsupplies))], (4822 ^ _596550) ^ [_746425] : [isa(_746425, c_enduringthing_localized), -(enduringthing_localized(_746425))], (4828 ^ _596550) ^ [_746613] : [enduringthing_localized(_746613), -(isa(_746613, c_enduringthing_localized))], (4834 ^ _596550) ^ [_746801] : [isa(_746801, c_location_underspecified), -(location_underspecified(_746801))], (4840 ^ _596550) ^ [_746989] : [location_underspecified(_746989), -(isa(_746989, c_location_underspecified))], (4846 ^ _596550) ^ [_747177] : [isa(_747177, c_trajector_underspecified), -(trajector_underspecified(_747177))], (4852 ^ _596550) ^ [_747365] : [trajector_underspecified(_747365), -(isa(_747365, c_trajector_underspecified))], (4858 ^ _596550) ^ [_747553] : [isa(_747553, c_individual), -(individual(_747553))], (4864 ^ _596550) ^ [_747741] : [individual(_747741), -(isa(_747741, c_individual))], (4870 ^ _596550) ^ [_747929] : [isa(_747929, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_747929))], (4876 ^ _596550) ^ [_748117] : [partiallyintangibleindividual(_748117), -(isa(_748117, c_partiallyintangibleindividual))], (4882 ^ _596550) ^ [_748305] : [isa(_748305, c_tptpcol_10_22022), -(tptpcol_10_22022(_748305))], (4888 ^ _596550) ^ [_748493] : [tptpcol_10_22022(_748493), -(isa(_748493, c_tptpcol_10_22022))], (4894 ^ _596550) ^ [_748681] : [isa(_748681, c_tptpcol_11_22023), -(tptpcol_11_22023(_748681))], (4900 ^ _596550) ^ [_748869] : [tptpcol_11_22023(_748869), -(isa(_748869, c_tptpcol_11_22023))], (4906 ^ _596550) ^ [_749057] : [isa(_749057, c_tptpcol_5_20483), -(tptpcol_5_20483(_749057))], (4912 ^ _596550) ^ [_749245] : [tptpcol_5_20483(_749245), -(isa(_749245, c_tptpcol_5_20483))], (4918 ^ _596550) ^ [_749433] : [isa(_749433, c_tptpcol_13_72791), -(tptpcol_13_72791(_749433))], (4924 ^ _596550) ^ [_749621] : [tptpcol_13_72791(_749621), -(isa(_749621, c_tptpcol_13_72791))], (4930 ^ _596550) ^ [_749809] : [isa(_749809, c_tptpcol_14_72792), -(tptpcol_14_72792(_749809))], (4936 ^ _596550) ^ [_749997] : [tptpcol_14_72792(_749997), -(isa(_749997, c_tptpcol_14_72792))], (4942 ^ _596550) ^ [_750185] : [isa(_750185, c_ridgeline_topographical), -(ridgeline_topographical(_750185))], (4948 ^ _596550) ^ [_750373] : [ridgeline_topographical(_750373), -(isa(_750373, c_ridgeline_topographical))], (4954 ^ _596550) ^ [_750561] : [isa(_750561, c_tptpcol_4_16387), -(tptpcol_4_16387(_750561))], (4960 ^ _596550) ^ [_750749] : [tptpcol_4_16387(_750749), -(isa(_750749, c_tptpcol_4_16387))], (4966 ^ _596550) ^ [_750937] : [isa(_750937, c_tptpcol_5_16388), -(tptpcol_5_16388(_750937))], (4972 ^ _596550) ^ [_751125] : [tptpcol_5_16388(_751125), -(isa(_751125, c_tptpcol_5_16388))], (4978 ^ _596550) ^ [_751313] : [isa(_751313, c_tptpcol_8_22020), -(tptpcol_8_22020(_751313))], (4984 ^ _596550) ^ [_751501] : [tptpcol_8_22020(_751501), -(isa(_751501, c_tptpcol_8_22020))], (4990 ^ _596550) ^ [_751689] : [isa(_751689, c_tptpcol_9_22021), -(tptpcol_9_22021(_751689))], (4996 ^ _596550) ^ [_751877] : [tptpcol_9_22021(_751877), -(isa(_751877, c_tptpcol_9_22021))], (5002 ^ _596550) ^ [_752065] : [isa(_752065, c_transitivebinarypredicate), -(transitivebinarypredicate(_752065))], (5008 ^ _596550) ^ [_752253] : [transitivebinarypredicate(_752253), -(isa(_752253, c_transitivebinarypredicate))], (5014 ^ _596550) ^ [_752455, _752457] : [geographicalsubregions(_752457, _752455), -(geographicalregion(_752455))], (5020 ^ _596550) ^ [_752663, _752665] : [geographicalsubregions(_752665, _752663), -(geographicalregion(_752665))], (5026 ^ _596550) ^ [_752885, _752887, _752889] : [-(geographicalsubregions(_752889, _752885)), geographicalsubregions(_752889, _752887), geographicalsubregions(_752887, _752885)], (5036 ^ _596550) ^ [_753180] : [geographicalregion(_753180), -(geographicalsubregions(_753180, _753180))], (5042 ^ _596550) ^ [_753368] : [isa(_753368, c_tptpcol_12_40420), -(tptpcol_12_40420(_753368))], (5048 ^ _596550) ^ [_753556] : [tptpcol_12_40420(_753556), -(isa(_753556, c_tptpcol_12_40420))], (5054 ^ _596550) ^ [_753744] : [isa(_753744, c_tptpcol_13_40421), -(tptpcol_13_40421(_753744))], (5060 ^ _596550) ^ [_753932] : [tptpcol_13_40421(_753932), -(isa(_753932, c_tptpcol_13_40421))], (5066 ^ _596550) ^ [_754120] : [isa(_754120, c_tptpcol_6_92162), -(tptpcol_6_92162(_754120))], (5072 ^ _596550) ^ [_754308] : [tptpcol_6_92162(_754308), -(isa(_754308, c_tptpcol_6_92162))], (5078 ^ _596550) ^ [_754496] : [isa(_754496, c_tptpcol_7_93186), -(tptpcol_7_93186(_754496))], (5084 ^ _596550) ^ [_754684] : [tptpcol_7_93186(_754684), -(isa(_754684, c_tptpcol_7_93186))], (5090 ^ _596550) ^ [_754886, _754888] : [most(_754888, _754886), -(setorcollection(_754886))], (5096 ^ _596550) ^ [_755094, _755096] : [most(_755096, _755094), -(setorcollection(_755094))], (5102 ^ _596550) ^ [_755302, _755304] : [most(_755304, _755302), -(setorcollection(_755304))], (5108 ^ _596550) ^ [_755510, _755512] : [most(_755512, _755510), -(setorcollection(_755512))], (5114 ^ _596550) ^ [_755704] : [setorcollection(_755704), -(most(_755704, _755704))], (5120 ^ _596550) ^ [_755892] : [setorcollection(_755892), -(most(_755892, _755892))], (5126 ^ _596550) ^ [_756108, _756110, _756112] : [-(most(_756112, _756108)), most(_756112, _756110), subsetof(_756110, _756108)], (5136 ^ _596550) ^ [_756431, _756433, _756435] : [-(most(_756435, _756431)), most(_756435, _756433), subsetof(_756433, _756431)], (5146 ^ _596550) ^ [_756740, _756742] : [subsetof(_756742, _756740), -(setorcollection(_756740))], (5152 ^ _596550) ^ [_756948, _756950] : [subsetof(_756950, _756948), -(setorcollection(_756950))], (5158 ^ _596550) ^ [_757170, _757172, _757174] : [-(subsetof(_757174, _757170)), subsetof(_757174, _757172), subsetof(_757172, _757170)], (5168 ^ _596550) ^ [_757465] : [setorcollection(_757465), -(subsetof(_757465, _757465))], (5174 ^ _596550) ^ [_757681, _757683, _757685] : [-(subsetof(_757681, _757683)), subsetof(_757685, _757683), subsetof(_757681, _757685)], (5184 ^ _596550) ^ [_758004, _758006, _758008] : [-(subsetof(_758008, _758004)), subsetof(_758008, _758006), subsetof(_758006, _758004)], (5194 ^ _596550) ^ [_758327, _758329, _758331] : [-(subsetof(_758331, _758327)), subsetof(_758331, _758329), subsetof(_758329, _758327)], (5204 ^ _596550) ^ [_758636, _758638] : [genlpreds(_758638, _758636), -(predicate(_758636))], (5210 ^ _596550) ^ [_758844, _758846] : [genlpreds(_758846, _758844), -(predicate(_758844))], (5216 ^ _596550) ^ [_759052, _759054] : [genlpreds(_759054, _759052), -(predicate(_759054))], (5222 ^ _596550) ^ [_759260, _759262] : [genlpreds(_759262, _759260), -(predicate(_759262))], (5228 ^ _596550) ^ [_759482, _759484, _759486] : [-(genlpreds(_759486, _759482)), genlpreds(_759486, _759484), genlpreds(_759484, _759482)], (5238 ^ _596550) ^ [_759777] : [predicate(_759777), -(genlpreds(_759777, _759777))], (5244 ^ _596550) ^ [_759965] : [predicate(_759965), -(genlpreds(_759965, _759965))], (5250 ^ _596550) ^ [_760167, _760169] : [genlinverse(_760169, _760167), -(binarypredicate(_760167))], (5256 ^ _596550) ^ [_760375, _760377] : [genlinverse(_760377, _760375), -(binarypredicate(_760377))], (5262 ^ _596550) ^ [_760597, _760599, _760601] : [-(genlinverse(_760597, _760599)), genlinverse(_760601, _760599), genlpreds(_760597, _760601)], (5272 ^ _596550) ^ [_760920, _760922, _760924] : [-(genlinverse(_760924, _760920)), genlinverse(_760924, _760922), genlpreds(_760922, _760920)], (5282 ^ _596550) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _596550) ^ [_761268] : [isa(_761268, c_microtheory), -(microtheory(_761268))], (5290 ^ _596550) ^ [_761456] : [microtheory(_761456), -(isa(_761456, c_microtheory))], (5296 ^ _596550) ^ [_761629] : [-(natfunction(f_urlfn(_761629), c_urlfn))], (5298 ^ _596550) ^ [_761709] : [-(natargument(f_urlfn(_761709), n_1, _761709))], (5300 ^ _596550) ^ [_761790] : [-(uniformresourcelocator(f_urlfn(_761790)))], (5302 ^ _596550) ^ [_761869] : [-(natfunction(f_urlreferentfn(_761869), c_urlreferentfn))], (5304 ^ _596550) ^ [_761949] : [-(natargument(f_urlreferentfn(_761949), n_1, _761949))], (5306 ^ _596550) ^ [_762030] : [-(computerdataartifact(f_urlreferentfn(_762030)))], (5308 ^ _596550) ^ [_762123, _762125] : [-(natfunction(f_contentmtofcdafromeventfn(_762125, _762123), c_contentmtofcdafromeventfn))], (5310 ^ _596550) ^ [_762220, _762222] : [-(natargument(f_contentmtofcdafromeventfn(_762222, _762220), n_1, _762222))], (5312 ^ _596550) ^ [_762318, _762320] : [-(natargument(f_contentmtofcdafromeventfn(_762320, _762318), n_2, _762318))], (5314 ^ _596550) ^ [_762416, _762418] : [-(microtheory(f_contentmtofcdafromeventfn(_762418, _762416)))], (5316 ^ _596550) ^ [_762527, _762529] : [isa(_762529, _762527), -(collection(_762527))], (5322 ^ _596550) ^ [_762735, _762737] : [isa(_762737, _762735), -(collection(_762735))], (5328 ^ _596550) ^ [_762943, _762945] : [isa(_762945, _762943), -(thing(_762945))], (5334 ^ _596550) ^ [_763151, _763153] : [isa(_763153, _763151), -(thing(_763153))], (5340 ^ _596550) ^ [_763373, _763375, _763377] : [-(isa(_763377, _763373)), isa(_763377, _763375), genls(_763375, _763373)], (5350 ^ _596550) ^ [_763668] : [isa(_763668, c_inanimateobject), -(inanimateobject(_763668))], (5356 ^ _596550) ^ [_763856] : [inanimateobject(_763856), -(isa(_763856, c_inanimateobject))], (5362 ^ _596550) ^ [_764044] : [isa(_764044, c_tptpcol_9_72709), -(tptpcol_9_72709(_764044))], (5368 ^ _596550) ^ [_764232] : [tptpcol_9_72709(_764232), -(isa(_764232, c_tptpcol_9_72709))], (5374 ^ _596550) ^ [_764420] : [isa(_764420, c_tptpcol_10_72710), -(tptpcol_10_72710(_764420))], (5380 ^ _596550) ^ [_764608] : [tptpcol_10_72710(_764608), -(isa(_764608, c_tptpcol_10_72710))], (5386 ^ _596550) ^ [_764796] : [isa(_764796, c_tptpcol_14_40429), -(tptpcol_14_40429(_764796))], (5392 ^ _596550) ^ [_764984] : [tptpcol_14_40429(_764984), -(isa(_764984, c_tptpcol_14_40429))], (5398 ^ _596550) ^ [_765172] : [isa(_765172, c_tptpcol_15_40430), -(tptpcol_15_40430(_765172))], (5404 ^ _596550) ^ [_765360] : [tptpcol_15_40430(_765360), -(isa(_765360, c_tptpcol_15_40430))], (5410 ^ _596550) ^ [_765562, _765564] : [genls(_765564, _765562), -(collection(_765562))], (5416 ^ _596550) ^ [_765770, _765772] : [genls(_765772, _765770), -(collection(_765770))], (5422 ^ _596550) ^ [_765978, _765980] : [genls(_765980, _765978), -(collection(_765980))], (5428 ^ _596550) ^ [_766186, _766188] : [genls(_766188, _766186), -(collection(_766188))], (5434 ^ _596550) ^ [_766408, _766410, _766412] : [-(genls(_766412, _766408)), genls(_766412, _766410), genls(_766410, _766408)], (5444 ^ _596550) ^ [_766703] : [collection(_766703), -(genls(_766703, _766703))], (5450 ^ _596550) ^ [_766891] : [collection(_766891), -(genls(_766891, _766891))], (5456 ^ _596550) ^ [_767107, _767109, _767111] : [-(genls(_767107, _767109)), genls(_767111, _767109), genls(_767107, _767111)], (5466 ^ _596550) ^ [_767430, _767432, _767434] : [-(genls(_767434, _767430)), genls(_767434, _767432), genls(_767432, _767430)], (5476 ^ _596550) ^ [_767725] : [isa(_767725, c_partiallytangible), -(partiallytangible(_767725))], (5482 ^ _596550) ^ [_767913] : [partiallytangible(_767913), -(isa(_767913, c_partiallytangible))], (5488 ^ _596550) ^ [_768101] : [isa(_768101, c_intangible), -(intangible(_768101))], (5494 ^ _596550) ^ [_768289] : [intangible(_768289), -(isa(_768289, c_intangible))], (5500 ^ _596550) ^ [_768491, _768493] : [disjointwith(_768493, _768491), -(collection(_768491))], (5506 ^ _596550) ^ [_768699, _768701] : [disjointwith(_768701, _768699), -(collection(_768701))], (5512 ^ _596550) ^ [_768907, _768909] : [disjointwith(_768909, _768907), -(disjointwith(_768907, _768909))], (5518 ^ _596550) ^ [_769131, _769133, _769135] : [-(disjointwith(_769135, _769131)), disjointwith(_769135, _769133), genls(_769131, _769133)], (5528 ^ _596550) ^ [_769454, _769456, _769458] : [-(disjointwith(_769454, _769456)), disjointwith(_769458, _769456), genls(_769454, _769458)], (5538 ^ _596550) ^ [_769763, _769765] : [-(mtvisible(_769763)), mtvisible(_769765), genlmt(_769765, _769763)], (5548 ^ _596550) ^ [_770058, _770060] : [genlmt(_770060, _770058), -(microtheory(_770058))], (5554 ^ _596550) ^ [_770266, _770268] : [genlmt(_770268, _770266), -(microtheory(_770266))], (5560 ^ _596550) ^ [_770474, _770476] : [genlmt(_770476, _770474), -(microtheory(_770476))], (5566 ^ _596550) ^ [_770682, _770684] : [genlmt(_770684, _770682), -(microtheory(_770684))], (5572 ^ _596550) ^ [_770904, _770906, _770908] : [-(genlmt(_770908, _770904)), genlmt(_770908, _770906), genlmt(_770906, _770904)], (5582 ^ _596550) ^ [_771199] : [microtheory(_771199), -(genlmt(_771199, _771199))], (5594 ^ _596550) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _596550) ^ [_771387] : [microtheory(_771387), -(genlmt(_771387, _771387))]], input).
% 0.41/1.38  ncf('1',plain,[borderson(c_georegion_l4_x37_y50, c_georegion_l4_x36_y50)],start(5598 ^ 0)).
% 0.41/1.38  ncf('1.1',plain,[-(borderson(c_georegion_l4_x37_y50, c_georegion_l4_x36_y50)), borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50)],extension(4220 ^ 1,bind([[_726589, _726591], [c_georegion_l4_x37_y50, c_georegion_l4_x36_y50]]))).
% 0.41/1.38  ncf('1.1.1',plain,[-(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50)), mtvisible(c_tptpgeo_member4_mt)],extension(1490 ^ 2)).
% 0.41/1.38  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member4_mt))],extension(5596 ^ 3)).
% 0.41/1.38  %-----------------------------------------------------
% 0.41/1.38  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------