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

% Computer : n024.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:23:52 EDT 2023

% Result   : Theorem 0.43s 1.39s
% Output   : Proof 0.43s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : CSR025+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n024.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri May 19 00:24:36 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 0.43/1.39  
% 0.43/1.39  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.43/1.39  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.43/1.39  %-----------------------------------------------------
% 0.43/1.39  ncf(matrix, plain, [(5596 ^ _592546) ^ [] : [-(mtvisible(c_patterndetectormt))], (5598 ^ _592546) ^ [] : [genls(c_tptpcol_16_130933, c_tptpcol_15_130931)], (2 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592546) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592546) ^ [_592751] : [intangible(_592751), partiallytangible(_592751)], (12 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592546) ^ [_592989] : [tptpcol_15_40430(_592989), -(tptpcol_14_40429(_592989))], (20 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592546) ^ [_593228] : [tptpcol_10_72710(_593228), -(tptpcol_9_72709(_593228))], (28 ^ _592546) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592546) ^ [_593467] : [inanimateobject(_593467), -(partiallytangible(_593467))], (36 ^ _592546) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592546) ^ [_593734, _593736, _593738] : [-(genlpreds(_593738, _593734)), genlinverse(_593738, _593736), genlinverse(_593736, _593734)], (48 ^ _592546) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592546) ^ [_594096, _594098] : [subsetof(_594098, _594096), -(most(_594098, _594096))], (56 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592546) ^ [_594345] : [tptpcol_7_93186(_594345), -(tptpcol_6_92162(_594345))], (64 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592546) ^ [_594584] : [tptpcol_13_40421(_594584), -(tptpcol_12_40420(_594584))], (72 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592546) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592546) ^ [_595048] : [tptpcol_9_22021(_595048), -(tptpcol_8_22020(_595048))], (90 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592546) ^ [_595287] : [tptpcol_5_16388(_595287), -(tptpcol_4_16387(_595287))], (98 ^ _592546) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592546) ^ [_595645] : [tptpcol_14_72792(_595645), -(tptpcol_13_72791(_595645))], (112 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592546) ^ [_595884] : [tptpcol_5_20483(_595884), -(tptpcol_4_16387(_595884))], (120 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592546) ^ [_596123] : [tptpcol_11_22023(_596123), -(tptpcol_10_22022(_596123))], (128 ^ _592546) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592546) ^ [_596362] : [partiallyintangibleindividual(_596362), -(individual(_596362))], (136 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592546) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592546) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592546) ^ [_596707] : [trajector_underspecified(_596707), -(location_underspecified(_596707))], (148 ^ _592546) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592546) ^ [_596946] : [partiallytangible(_596946), -(enduringthing_localized(_596946))], (156 ^ _592546) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592546) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592546) ^ [_597304] : [tptpcol_3_81921(_597304), -(tptpcol_2_65537(_597304))], (170 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592546) ^ [_597543] : [tptpcol_10_18567(_597543), -(tptpcol_9_18439(_597543))], (178 ^ _592546) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592546) ^ [_597782] : [orderingpredicate(_597782), -(transitivebinarypredicate(_597782))], (186 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592546) ^ [_598021] : [tptpcol_11_92230(_598021), -(tptpcol_10_92166(_598021))], (194 ^ _592546) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592546) ^ [_598260] : [tptpcol_2_98304(_598260), -(tptpcol_1_65536(_598260))], (202 ^ _592546) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592546) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592546) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592546) ^ [_598724] : [tptpcol_12_40420(_598724), -(tptpcol_11_40388(_598724))], (220 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592546) ^ [_598977, _598979] : [tptptypes_9_693(_598979, _598977), -(tptptypes_8_692(_598979, _598977))], (228 ^ _592546) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592546) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592546) ^ [_599346, _599348] : [tptptypes_8_390(_599348, _599346), -(tptptypes_7_389(_599348, _599346))], (240 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592546) ^ [_599690, _599692, _599694, _599696] : [-(isa(f_relationexistsallfn(_599696, _599692, _599690, _599694), _599690)), isa(_599696, _599694), relationexistsall(_599692, _599690, _599694)], (254 ^ _592546) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592546) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592546) ^ [_600219] : [tptpcol_4_106497(_600219), -(tptpcol_3_98305(_600219))], (268 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592546) ^ [_600458] : [tptpcol_5_114690(_600458), -(tptpcol_4_114689(_600458))], (276 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592546) ^ [_600697] : [tptpcol_12_93765(_600697), -(tptpcol_11_93764(_600697))], (284 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592546) ^ [_600936] : [tptpcol_8_72708(_600936), -(tptpcol_7_72707(_600936))], (292 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592546) ^ [_601175] : [tptpcol_10_40324(_601175), -(tptpcol_9_40196(_601175))], (300 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592546) ^ [_601414] : [tptpcol_13_93766(_601414), -(tptpcol_12_93765(_601414))], (308 ^ _592546) ^ [_601600] : [-(tptpofobject(_601600, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601600)], (318 ^ _592546) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592546) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592546) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592546) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592546) ^ [_602264] : [location_underspecified(_602264), -(thing(_602264))], (342 ^ _592546) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592546) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592546) ^ [_602609] : [tptpcol_12_92262(_602609), -(tptpcol_11_92230(_602609))], (354 ^ _592546) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592546) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592546) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592546) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592546) ^ [_603126] : [tptpcol_10_109061(_603126), -(tptpcol_9_109060(_603126))], (374 ^ _592546) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592546) ^ [_603432, _603434] : [tptptypes_6_388(_603434, _603432), -(tptptypes_5_387(_603434, _603432))], (384 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592546) ^ [_603681] : [tptpcol_6_116738(_603681), -(tptpcol_5_114690(_603681))], (392 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592546) ^ [_603920] : [tptpcol_15_92268(_603920), -(tptpcol_14_92264(_603920))], (400 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592546) ^ [_604225] : [-(tptpofobject(_604225, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604225)], (416 ^ _592546) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592546) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592546) ^ [_604678, _604680] : [tptptypes_9_401(_604680, _604678), -(tptptypes_8_400(_604678, _604680))], (430 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592546) ^ [_604927] : [tptpcol_12_18663(_604927), -(tptpcol_11_18631(_604927))], (438 ^ _592546) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592546) ^ [_605166] : [setorcollection(_605166), -(mathematicalthing(_605166))], (446 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592546) ^ [_605405] : [tptpcol_13_109173(_605405), -(tptpcol_12_109157(_605405))], (454 ^ _592546) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592546) ^ [_605697] : [tptpcol_5_106498(_605697), -(tptpcol_4_106497(_605697))], (464 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592546) ^ [_605936] : [tptpcol_5_24579(_605936), -(tptpcol_4_24578(_605936))], (472 ^ _592546) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592546) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592546) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592546) ^ [_606466] : [tptpcol_1_65536(_606466), -(tptpcol_0_0(_606466))], (494 ^ _592546) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592546) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592546) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592546) ^ [_606891, _606893] : [geographicalsubregions(_606893, _606891), -(inregion(_606891, _606893))], (510 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592546) ^ [_607140] : [tptpcol_11_118084(_607140), -(tptpcol_10_118020(_607140))], (518 ^ _592546) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592546) ^ [_607379] : [mathematicalorcomputationalthing(_607379), -(intangible(_607379))], (526 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592546) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592546) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592546) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592546) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592546) ^ [_607897, _607899] : [tptptypes_7_819(_607899, _607897), -(tptptypes_6_818(_607899, _607897))], (544 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592546) ^ [_608199] : [tptpcol_12_26919(_608199), -(tptpcol_11_26887(_608199))], (554 ^ _592546) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592546) ^ [_608452, _608454] : [tptptypes_8_692(_608454, _608452), -(tptptypes_7_691(_608452, _608454))], (562 ^ _592546) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592546) ^ [_608701] : [tptpcol_2_2(_608701), -(tptpcol_1_1(_608701))], (570 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592546) ^ [_608993] : [tptpcol_9_92165(_608993), -(tptpcol_8_92164(_608993))], (580 ^ _592546) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592546) ^ [_609232] : [fixedordercollection(_609232), -(collection(_609232))], (588 ^ _592546) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592546) ^ [_609471] : [tptpcol_1_1(_609471), tptpcol_1_65536(_609471)], (596 ^ _592546) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592546) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592546) ^ [_609762] : [microtheory(_609762), -(aspatialinformationstore(_609762))], (606 ^ _592546) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592546) ^ [_610067] : [-(tptp_8_875(_610067, f_relationallexistsfn(_610067, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610067, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592546) ^ [] : [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 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592546) ^ [_610518] : [tptpcol_10_118020(_610518), -(tptpcol_9_118019(_610518))], (636 ^ _592546) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592546) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592546) ^ [_610876] : [-(tptp_9_720(_610876, f_relationallexistsfn(_610876, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610876)], (654 ^ _592546) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592546) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592546) ^ [_611325] : [individual(_611325), setorcollection(_611325)], (668 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592546) ^ [_611563] : [tptpcol_12_22055(_611563), -(tptpcol_11_22023(_611563))], (676 ^ _592546) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592546) ^ [_611802] : [applicationcontext(_611802), -(microtheory(_611802))], (684 ^ _592546) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592546) ^ [_612108, _612110] : [tptptypes_8_400(_612110, _612108), -(tptptypes_7_396(_612110, _612108))], (694 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592546) ^ [_612357] : [tptpcol_11_18631(_612357), -(tptpcol_10_18567(_612357))], (702 ^ _592546) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592546) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592546) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592546) ^ [_612768] : [mathematicalthing(_612768), -(mathematicalorcomputationalthing(_612768))], (718 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592546) ^ [_613060] : [tptpcol_15_93775(_613060), -(tptpcol_14_93774(_613060))], (728 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592546) ^ [_613299] : [tptpcol_8_109059(_613299), -(tptpcol_7_108547(_613299))], (736 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592546) ^ [_613538] : [tptpcol_14_40429(_613538), -(tptpcol_13_40421(_613538))], (744 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592546) ^ [_613896] : [tptpcol_14_22072(_613896), -(tptpcol_13_22071(_613896))], (758 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592546) ^ [_614135] : [tptpcol_14_93774(_614135), -(tptpcol_13_93766(_614135))], (766 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592546) ^ [_614374] : [tptpcol_10_22022(_614374), -(tptpcol_9_22021(_614374))], (774 ^ _592546) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592546) ^ [_614613] : [inanimateobject_nonnatural(_614613), -(inanimateobject(_614613))], (782 ^ _592546) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592546) ^ [_614958] : [tptpcol_9_72709(_614958), -(tptpcol_8_72708(_614958))], (794 ^ _592546) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592546) ^ [_615197] : [-(tptpofobject(_615197, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615197)], (806 ^ _592546) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592546) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592546) ^ [_615636] : [firstordercollection(_615636), -(fixedordercollection(_615636))], (820 ^ _592546) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592546) ^ [_616047] : [tptpcol_13_18664(_616047), -(tptpcol_12_18663(_616047))], (836 ^ _592546) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592546) ^ [_616286] : [artifact(_616286), -(inanimateobject_nonnatural(_616286))], (844 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592546) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592546) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592546) ^ [_616684] : [tptpcol_7_113665(_616684), -(tptpcol_6_112641(_616684))], (858 ^ _592546) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592546) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592546) ^ [_617042] : [geographicalregion(_617042), -(partiallytangible(_617042))], (872 ^ _592546) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592546) ^ [_617295, _617297] : [disjointwith(_617297, _617295), -(no(_617297, _617295))], (880 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592546) ^ [_617544] : [tptpcol_4_24578(_617544), -(tptpcol_3_16386(_617544))], (888 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592546) ^ [_617783] : [tptpcol_5_69635(_617783), -(tptpcol_4_65539(_617783))], (896 ^ _592546) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592546) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592546) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592546) ^ [_618142, _618144] : [genls(_618144, _618142), -(collection(_618144))], (908 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592546) ^ [_618389] : [tptpcol_13_22071(_618389), -(tptpcol_12_22055(_618389))], (916 ^ _592546) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592546) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592546) ^ [_618681] : [tptpcol_3_98305(_618681), -(tptpcol_2_98304(_618681))], (926 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592546) ^ [_618920] : [tptpcol_4_114689(_618920), -(tptpcol_3_114688(_618920))], (934 ^ _592546) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592546) ^ [_619159] : [artsupplies(_619159), -(supplies(_619159))], (942 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592546) ^ [_619398] : [tptpcol_8_26629(_619398), -(tptpcol_7_26628(_619398))], (950 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592546) ^ [_619637] : [tptpcol_9_109060(_619637), -(tptpcol_8_109059(_619637))], (958 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592546) ^ [_619876] : [isa(_619876, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619876, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619876))], (966 ^ _592546) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592546) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592546) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592546) ^ [_620460] : [tptpcol_14_109181(_620460), -(tptpcol_13_109173(_620460))], (988 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592546) ^ [_620699] : [tptpcol_16_30972(_620699), -(tptpcol_15_30970(_620699))], (996 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592546) ^ [_620991] : [tptpcol_9_18439(_620991), -(tptpcol_8_18438(_620991))], (1006 ^ _592546) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592546) ^ [_621283] : [tptpcol_12_118116(_621283), -(tptpcol_11_118084(_621283))], (1016 ^ _592546) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592546) ^ [_621575] : [tptpcol_7_26628(_621575), -(tptpcol_6_26627(_621575))], (1026 ^ _592546) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592546) ^ [_621828, _621830] : [most(_621830, _621828), -(setorcollection(_621830))], (1034 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592546) ^ [_622075] : [tptpcol_15_109185(_622075), -(tptpcol_14_109181(_622075))], (1042 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592546) ^ [_622314] : [tptpcol_16_92269(_622314), -(tptpcol_15_92268(_622314))], (1050 ^ _592546) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592546) ^ [_622620, _622622] : [tptptypes_8_823(_622622, _622620), -(tptptypes_7_819(_622622, _622620))], (1060 ^ _592546) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592546) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592546) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592546) ^ [_623200] : [tptpcol_10_26886(_623200), -(tptpcol_9_26885(_623200))], (1082 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592546) ^ [_623492] : [tptpcol_15_72793(_623492), -(tptpcol_14_72792(_623492))], (1092 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592546) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592546) ^ [_623850] : [navypersonnel(_623850), -(militaryperson(_623850))], (1106 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592546) ^ [_624089] : [tptpcol_4_16387(_624089), -(tptpcol_3_16386(_624089))], (1114 ^ _592546) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592546) ^ [_624328] : [enduringthing_localized(_624328), -(spatialthing_nonsituational(_624328))], (1122 ^ _592546) ^ [_624514] : [collection(_624514), individual(_624514)], (1128 ^ _592546) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592546) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592546) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592546) ^ [_625043] : [physicalorderingpredicate(_625043), -(orderingpredicate(_625043))], (1150 ^ _592546) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592546) ^ [_625296, _625298] : [disjointwith(_625298, _625296), -(collection(_625296))], (1158 ^ _592546) ^ [_625532, _625534, _625536, _625538] : [-(isa(f_relationallexistsfn(_625538, _625534, _625536, _625532), _625532)), isa(_625538, _625536), relationallexists(_625534, _625536, _625532)], (1168 ^ _592546) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592546) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592546) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592546) ^ [_626141, _626143] : [tptptypes_7_389(_626143, _626141), -(tptptypes_6_388(_626141, _626143))], (1186 ^ _592546) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592546) ^ [_626456] : [-(hpkb_subnationalagent(_626456)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626456)], (1202 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592546) ^ [_626774] : [tptpcol_8_22020(_626774), -(tptpcol_7_21508(_626774))], (1210 ^ _592546) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592546) ^ [_627013] : [-(tptp_9_51(f_relationexistsallfn(_627013, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _627013)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_627013, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592546) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592546) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592546) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592546) ^ [_627517] : [tptpcol_3_65538(_627517), -(tptpcol_2_65537(_627517))], (1238 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592546) ^ [_627756] : [tptpcol_14_26921(_627756), -(tptpcol_13_26920(_627756))], (1246 ^ _592546) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592546) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592546) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592546) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592546) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592546) ^ [_628207] : [intangibleindividual(_628207), -(partiallyintangibleindividual(_628207))], (1262 ^ _592546) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592546) ^ [_628565] : [tptpcol_16_130924(_628565), -(tptpcol_15_130923(_628565))], (1276 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592546) ^ [_628804] : [tptpcol_7_92163(_628804), -(tptpcol_6_92162(_628804))], (1284 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592546) ^ [_629096] : [tptpcol_16_130933(_629096), -(tptpcol_15_130931(_629096))], (1294 ^ _592546) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592546) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592546) ^ [_629402, _629404] : [no(_629404, _629402), -(few(_629404, _629402))], (1304 ^ _592546) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592546) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592546) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592546) ^ [_629810] : [tptpcol_6_20484(_629810), -(tptpcol_5_20483(_629810))], (1318 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592546) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592546) ^ [_630274] : [tptpcol_7_108547(_630274), -(tptpcol_6_108546(_630274))], (1336 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592546) ^ [_630513] : [tptpcol_11_109125(_630513), -(tptpcol_10_109061(_630513))], (1344 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592546) ^ [_630805] : [tptpcol_8_93698(_630805), -(tptpcol_7_93186(_630805))], (1354 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592546) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592546) ^ [_631097] : [tptpcol_2_65537(_631097), -(tptpcol_1_65536(_631097))], (1364 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592546) ^ [_631389] : [tptpcol_6_18436(_631389), -(tptpcol_5_16388(_631389))], (1374 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592546) ^ [_631628] : [tptpcol_8_18438(_631628), -(tptpcol_7_18437(_631628))], (1382 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592546) ^ [_631986] : [tptpcol_8_117763(_631986), -(tptpcol_7_117762(_631986))], (1396 ^ _592546) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592546) ^ [_632278] : [tptpcol_12_109157(_632278), -(tptpcol_11_109125(_632278))], (1406 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592546) ^ [_632517] : [tptpcol_7_117762(_632517), -(tptpcol_6_116738(_632517))], (1414 ^ _592546) ^ [_632731, _632733, _632735] : [isa(_632735, _632733), isa(_632735, _632731), disjointwith(_632733, _632731)], (1424 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592546) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592546) ^ [_633131] : [aspatialinformationstore(_633131), -(aspatialthing(_633131))], (1434 ^ _592546) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592546) ^ [_633529] : [tptpcol_9_93699(_633529), -(tptpcol_8_93698(_633529))], (1448 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592546) ^ [_633768] : [tptpcol_11_93764(_633768), -(tptpcol_10_93700(_633768))], (1456 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592546) ^ [_634007] : [tptpcol_6_26627(_634007), -(tptpcol_5_24579(_634007))], (1464 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592546) ^ [_634246] : [tptpcol_4_90113(_634246), -(tptpcol_3_81921(_634246))], (1472 ^ _592546) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592546) ^ [_634538] : [tptpcol_10_93700(_634538), -(tptpcol_9_93699(_634538))], (1482 ^ _592546) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592546) ^ [_634777] : [aspatialinformationstore(_634777), -(intangibleindividual(_634777))], (1490 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592546) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592546) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592546) ^ [_635188] : [tptpcol_3_16386(_635188), -(tptpcol_2_2(_635188))], (1506 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592546) ^ [_635427] : [tptpcol_9_118019(_635427), -(tptpcol_8_117763(_635427))], (1514 ^ _592546) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592546) ^ [_635666] : [individual(_635666), -(trajector_underspecified(_635666))], (1522 ^ _592546) ^ [_635852] : [shavingrazor_manual(_635852), -(tptp_8_271(f_relationexistsallfn(_635852, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635852))], (1528 ^ _592546) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592546) ^ [_636156] : [tptpcol_6_112641(_636156), -(tptpcol_5_110593(_636156))], (1538 ^ _592546) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592546) ^ [_636395] : [tptpcol_12_72775(_636395), -(tptpcol_11_72774(_636395))], (1546 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592546) ^ [_636634] : [tptpcol_7_72707(_636634), -(tptpcol_6_71683(_636634))], (1554 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592546) ^ [_636873] : [tptpcol_16_50958(_636873), -(tptpcol_15_50957(_636873))], (1562 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592546) ^ [_637112] : [tptpcol_8_114177(_637112), -(tptpcol_7_113665(_637112))], (1570 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592546) ^ [_637351] : [tptpcol_16_72795(_637351), -(tptpcol_15_72793(_637351))], (1578 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592546) ^ [_637590] : [tptpcol_6_71683(_637590), -(tptpcol_5_69635(_637590))], (1586 ^ _592546) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592546) ^ [_637896, _637898] : [tptptypes_7_396(_637898, _637896), -(tptptypes_6_388(_637898, _637896))], (1596 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592546) ^ [_638145] : [tptpcol_9_26885(_638145), -(tptpcol_8_26629(_638145))], (1604 ^ _592546) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592546) ^ [_638398, _638400] : [genls(_638400, _638398), -(subsetof(_638400, _638398))], (1612 ^ _592546) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592546) ^ [_638714, _638716] : [tptptypes_6_818(_638716, _638714), -(tptptypes_5_802(_638716, _638714))], (1622 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592546) ^ [_638963] : [tptpcol_6_92162(_638963), -(tptpcol_5_90114(_638963))], (1630 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592546) ^ [_639255] : [tptpcol_8_92164(_639255), -(tptpcol_7_92163(_639255))], (1640 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592546) ^ [_639494] : [tptpcol_13_118117(_639494), -(tptpcol_12_118116(_639494))], (1648 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592546) ^ [_639733] : [tptpcol_11_40388(_639733), -(tptpcol_10_40324(_639733))], (1656 ^ _592546) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592546) ^ [_639986, _639988] : [tptptypes_9_824(_639988, _639986), -(tptptypes_8_823(_639988, _639986))], (1664 ^ _592546) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592546) ^ [_640288] : [tptpcol_11_26887(_640288), -(tptpcol_10_26886(_640288))], (1674 ^ _592546) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592546) ^ [_640527] : [tptpcol_16_26926(_640527), -(tptpcol_15_26925(_640527))], (1682 ^ _592546) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592546) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592546) ^ [_640833, _640835] : [few(_640835, _640833), -(setorcollection(_640833))], (1692 ^ _592546) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592546) ^ [_641080] : [tptpcol_4_65539(_641080), -(tptpcol_3_65538(_641080))], (1700 ^ _592546) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592546) ^ [_641319] : [tptpcol_8_39940(_641319), -(tptpcol_7_39939(_641319))], (1708 ^ _592546) ^ [_641505] : [-(tptpofobject(_641505, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641505)], (1718 ^ _592546) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592546) ^ [_641944] : [tptpcol_15_22076(_641944), -(tptpcol_14_22072(_641944))], (1732 ^ _592546) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592546) ^ [_642183] : [tptpcol_0_0(_642183), -(individual(_642183))], (1740 ^ _592546) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592546) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592546) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592546) ^ [_642581] : [tptpcol_11_72774(_642581), -(tptpcol_10_72710(_642581))], (1754 ^ _592546) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592546) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592546) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592546) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592546) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592546) ^ [_643217] : [tptpcol_7_21508(_643217), -(tptpcol_6_20484(_643217))], (1780 ^ _592546) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592546) ^ [_643456] : [tptpcol_6_108546(_643456), -(tptpcol_5_106498(_643456))], (1788 ^ _592546) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592546) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592546) ^ [_643814] : [geolevel_4(_643814), -(geographicalregion(_643814))], (1802 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592546) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592546) ^ [_644291] : [tptpcol_13_26920(_644291), -(tptpcol_12_26919(_644291))], (1822 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592546) ^ [_644530] : [tptpcol_14_92264(_644530), -(tptpcol_13_92263(_644530))], (1830 ^ _592546) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592546) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592546) ^ [_644822] : [tptpcol_9_40196(_644822), -(tptpcol_8_39940(_644822))], (1840 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592546) ^ [_645180] : [tptpcol_13_92263(_645180), -(tptpcol_12_92262(_645180))], (1854 ^ _592546) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592546) ^ [_645472] : [tptpcol_5_90114(_645472), -(tptpcol_4_90113(_645472))], (1864 ^ _592546) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592546) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592546) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592546) ^ [_645883] : [tptpcol_15_26925(_645883), -(tptpcol_14_26921(_645883))], (1880 ^ _592546) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592546) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592546) ^ [_646241] : [tptpcol_7_18437(_646241), -(tptpcol_6_18436(_646241))], (1894 ^ _592546) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592546) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592546) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592546) ^ [_646652] : [tptpcol_3_98305(_646652), tptpcol_3_114688(_646652)], (1910 ^ _592546) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592546) ^ [_646890] : [tptpcol_5_110593(_646890), -(tptpcol_4_106497(_646890))], (1918 ^ _592546) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592546) ^ [_647129] : [tptpcol_13_72791(_647129), -(tptpcol_12_72775(_647129))], (1926 ^ _592546) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592546) ^ [_647368] : [computerdataartifact(_647368), -(artifact(_647368))], (1934 ^ _592546) ^ [_647554] : [-(tptpofobject(_647554, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647554)], (1944 ^ _592546) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592546) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592546) ^ [_647993] : [tptpcol_10_92166(_647993), -(tptpcol_9_92165(_647993))], (1958 ^ _592546) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592546) ^ [_648232] : [tptpcol_14_118118(_648232), -(tptpcol_13_118117(_648232))], (1966 ^ _592546) ^ [_648418] : [isa(_648418, c_tptpcol_14_118118), -(tptpcol_14_118118(_648418))], (1972 ^ _592546) ^ [_648606] : [tptpcol_14_118118(_648606), -(isa(_648606, c_tptpcol_14_118118))], (1978 ^ _592546) ^ [_648779] : [-(natfunction(f_tptpquantityfn_6(_648779), c_tptpquantityfn_6))], (1980 ^ _592546) ^ [_648859] : [-(natargument(f_tptpquantityfn_6(_648859), n_1, _648859))], (1982 ^ _592546) ^ [_648940] : [-(tptpquantity(f_tptpquantityfn_6(_648940)))], (1984 ^ _592546) ^ [_649034] : [isa(_649034, c_tptpcol_16_26939), -(tptpcol_16_26939(_649034))], (1990 ^ _592546) ^ [_649222] : [tptpcol_16_26939(_649222), -(isa(_649222, c_tptpcol_16_26939))], (1996 ^ _592546) ^ [_649410] : [isa(_649410, c_tptpcol_16_62187), -(tptpcol_16_62187(_649410))], (2002 ^ _592546) ^ [_649598] : [tptpcol_16_62187(_649598), -(isa(_649598, c_tptpcol_16_62187))], (2008 ^ _592546) ^ [_649786] : [isa(_649786, c_tptpcol_13_92263), -(tptpcol_13_92263(_649786))], (2014 ^ _592546) ^ [_649974] : [tptpcol_13_92263(_649974), -(isa(_649974, c_tptpcol_13_92263))], (2020 ^ _592546) ^ [_650162] : [isa(_650162, c_geolevel_4), -(geolevel_4(_650162))], (2026 ^ _592546) ^ [_650350] : [geolevel_4(_650350), -(isa(_650350, c_geolevel_4))], (2032 ^ _592546) ^ [_650538] : [isa(_650538, c_tptpcol_15_4027), -(tptpcol_15_4027(_650538))], (2038 ^ _592546) ^ [_650726] : [tptpcol_15_4027(_650726), -(isa(_650726, c_tptpcol_15_4027))], (2044 ^ _592546) ^ [_650914] : [isa(_650914, c_pushingwithfingers), -(pushingwithfingers(_650914))], (2050 ^ _592546) ^ [_651102] : [pushingwithfingers(_651102), -(isa(_651102, c_pushingwithfingers))], (2056 ^ _592546) ^ [_651304, _651306] : [affiliatedwith(_651306, _651304), -(agent_generic(_651304))], (2062 ^ _592546) ^ [_651512, _651514] : [affiliatedwith(_651514, _651512), -(agent_generic(_651514))], (2068 ^ _592546) ^ [_651720, _651722] : [affiliatedwith(_651722, _651720), -(affiliatedwith(_651720, _651722))], (2074 ^ _592546) ^ [_651900] : [affiliatedwith(_651900, _651900)], (2076 ^ _592546) ^ [_651993] : [isa(_651993, c_footballteam), -(footballteam(_651993))], (2082 ^ _592546) ^ [_652181] : [footballteam(_652181), -(isa(_652181, c_footballteam))], (2088 ^ _592546) ^ [_652369] : [isa(_652369, c_tptpcol_16_4451), -(tptpcol_16_4451(_652369))], (2094 ^ _592546) ^ [_652557] : [tptpcol_16_4451(_652557), -(isa(_652557, c_tptpcol_16_4451))], (2100 ^ _592546) ^ [_652745] : [isa(_652745, c_pushingwithopenhand), -(pushingwithopenhand(_652745))], (2106 ^ _592546) ^ [_652933] : [pushingwithopenhand(_652933), -(isa(_652933, c_pushingwithopenhand))], (2112 ^ _592546) ^ [_653121] : [isa(_653121, c_tptpcol_15_22076), -(tptpcol_15_22076(_653121))], (2118 ^ _592546) ^ [_653309] : [tptpcol_15_22076(_653309), -(isa(_653309, c_tptpcol_15_22076))], (2124 ^ _592546) ^ [_653482] : [-(natfunction(f_tptpquantityfn_2(_653482), c_tptpquantityfn_2))], (2126 ^ _592546) ^ [_653562] : [-(natargument(f_tptpquantityfn_2(_653562), n_1, _653562))], (2128 ^ _592546) ^ [_653643] : [-(tptpquantity(f_tptpquantityfn_2(_653643)))], (2130 ^ _592546) ^ [_653737] : [isa(_653737, c_tptpcol_7_39939), -(tptpcol_7_39939(_653737))], (2136 ^ _592546) ^ [_653925] : [tptpcol_7_39939(_653925), -(isa(_653925, c_tptpcol_7_39939))], (2142 ^ _592546) ^ [_654113] : [isa(_654113, c_tptpcol_8_39940), -(tptpcol_8_39940(_654113))], (2148 ^ _592546) ^ [_654301] : [tptpcol_8_39940(_654301), -(isa(_654301, c_tptpcol_8_39940))], (2154 ^ _592546) ^ [_654489] : [isa(_654489, c_tptpcol_15_26925), -(tptpcol_15_26925(_654489))], (2160 ^ _592546) ^ [_654677] : [tptpcol_15_26925(_654677), -(isa(_654677, c_tptpcol_15_26925))], (2166 ^ _592546) ^ [_654865] : [isa(_654865, c_tptpcol_16_26926), -(tptpcol_16_26926(_654865))], (2172 ^ _592546) ^ [_655053] : [tptpcol_16_26926(_655053), -(isa(_655053, c_tptpcol_16_26926))], (2178 ^ _592546) ^ [_655241] : [isa(_655241, c_tptpcol_13_118117), -(tptpcol_13_118117(_655241))], (2184 ^ _592546) ^ [_655429] : [tptpcol_13_118117(_655429), -(isa(_655429, c_tptpcol_13_118117))], (2190 ^ _592546) ^ [_655617] : [isa(_655617, c_tptpcol_5_90114), -(tptpcol_5_90114(_655617))], (2196 ^ _592546) ^ [_655805] : [tptpcol_5_90114(_655805), -(isa(_655805, c_tptpcol_5_90114))], (2202 ^ _592546) ^ [_656007, _656009] : [tptptypes_5_802(_656009, _656007), -(firstordercollection(_656007))], (2208 ^ _592546) ^ [_656215, _656217] : [tptptypes_5_802(_656217, _656215), -(firstordercollection(_656217))], (2214 ^ _592546) ^ [_656409] : [isa(_656409, c_tptpcol_16_72795), -(tptpcol_16_72795(_656409))], (2220 ^ _592546) ^ [_656597] : [tptpcol_16_72795(_656597), -(isa(_656597, c_tptpcol_16_72795))], (2226 ^ _592546) ^ [_656785] : [isa(_656785, c_tptpcol_8_114177), -(tptpcol_8_114177(_656785))], (2232 ^ _592546) ^ [_656973] : [tptpcol_8_114177(_656973), -(isa(_656973, c_tptpcol_8_114177))], (2238 ^ _592546) ^ [_657161] : [isa(_657161, c_tptpcol_15_50957), -(tptpcol_15_50957(_657161))], (2244 ^ _592546) ^ [_657349] : [tptpcol_15_50957(_657349), -(isa(_657349, c_tptpcol_15_50957))], (2250 ^ _592546) ^ [_657537] : [isa(_657537, c_tptpcol_16_50958), -(tptpcol_16_50958(_657537))], (2256 ^ _592546) ^ [_657725] : [tptpcol_16_50958(_657725), -(isa(_657725, c_tptpcol_16_50958))], (2262 ^ _592546) ^ [_657913] : [isa(_657913, c_tptpcol_6_71683), -(tptpcol_6_71683(_657913))], (2268 ^ _592546) ^ [_658101] : [tptpcol_6_71683(_658101), -(isa(_658101, c_tptpcol_6_71683))], (2274 ^ _592546) ^ [_658289] : [isa(_658289, c_tptpcol_11_72774), -(tptpcol_11_72774(_658289))], (2280 ^ _592546) ^ [_658477] : [tptpcol_11_72774(_658477), -(isa(_658477, c_tptpcol_11_72774))], (2286 ^ _592546) ^ [_658665] : [isa(_658665, c_tptpcol_12_72775), -(tptpcol_12_72775(_658665))], (2292 ^ _592546) ^ [_658853] : [tptpcol_12_72775(_658853), -(isa(_658853, c_tptpcol_12_72775))], (2298 ^ _592546) ^ [_659041] : [isa(_659041, c_tptpcol_5_110593), -(tptpcol_5_110593(_659041))], (2304 ^ _592546) ^ [_659229] : [tptpcol_5_110593(_659229), -(isa(_659229, c_tptpcol_5_110593))], (2310 ^ _592546) ^ [_659417] : [isa(_659417, c_tptpcol_16_25972), -(tptpcol_16_25972(_659417))], (2316 ^ _592546) ^ [_659605] : [tptpcol_16_25972(_659605), -(isa(_659605, c_tptpcol_16_25972))], (2322 ^ _592546) ^ [_659807, _659809] : [tptp_8_271(_659809, _659807), -(razor(_659807))], (2328 ^ _592546) ^ [_660015, _660017] : [tptp_8_271(_660017, _660015), -(tptpcol_5_24579(_660017))], (2334 ^ _592546) ^ [_660209] : [isa(_660209, c_tptpcol_4_90113), -(tptpcol_4_90113(_660209))], (2340 ^ _592546) ^ [_660397] : [tptpcol_4_90113(_660397), -(isa(_660397, c_tptpcol_4_90113))], (2346 ^ _592546) ^ [_660585] : [isa(_660585, c_tptpcol_10_93700), -(tptpcol_10_93700(_660585))], (2352 ^ _592546) ^ [_660773] : [tptpcol_10_93700(_660773), -(isa(_660773, c_tptpcol_10_93700))], (2358 ^ _592546) ^ [_660961] : [isa(_660961, c_tptpcol_9_93699), -(tptpcol_9_93699(_660961))], (2364 ^ _592546) ^ [_661149] : [tptpcol_9_93699(_661149), -(isa(_661149, c_tptpcol_9_93699))], (2370 ^ _592546) ^ [_661337] : [isa(_661337, c_aspatialthing), -(aspatialthing(_661337))], (2376 ^ _592546) ^ [_661525] : [aspatialthing(_661525), -(isa(_661525, c_aspatialthing))], (2382 ^ _592546) ^ [_661713] : [isa(_661713, c_tptpcol_7_117762), -(tptpcol_7_117762(_661713))], (2388 ^ _592546) ^ [_661901] : [tptpcol_7_117762(_661901), -(isa(_661901, c_tptpcol_7_117762))], (2394 ^ _592546) ^ [_662089] : [isa(_662089, c_tptpcol_8_117763), -(tptpcol_8_117763(_662089))], (2400 ^ _592546) ^ [_662277] : [tptpcol_8_117763(_662277), -(isa(_662277, c_tptpcol_8_117763))], (2406 ^ _592546) ^ [_662465] : [isa(_662465, c_tptpcol_7_18437), -(tptpcol_7_18437(_662465))], (2412 ^ _592546) ^ [_662653] : [tptpcol_7_18437(_662653), -(isa(_662653, c_tptpcol_7_18437))], (2418 ^ _592546) ^ [_662841] : [isa(_662841, c_tptpcol_6_18436), -(tptpcol_6_18436(_662841))], (2424 ^ _592546) ^ [_663029] : [tptpcol_6_18436(_663029), -(isa(_663029, c_tptpcol_6_18436))], (2430 ^ _592546) ^ [_663217] : [isa(_663217, c_tptpcol_8_93698), -(tptpcol_8_93698(_663217))], (2436 ^ _592546) ^ [_663405] : [tptpcol_8_93698(_663405), -(isa(_663405, c_tptpcol_8_93698))], (2442 ^ _592546) ^ [_663593] : [isa(_663593, c_tptpcol_11_109125), -(tptpcol_11_109125(_663593))], (2448 ^ _592546) ^ [_663781] : [tptpcol_11_109125(_663781), -(isa(_663781, c_tptpcol_11_109125))], (2454 ^ _592546) ^ [_663969] : [isa(_663969, c_tptpcol_6_108546), -(tptpcol_6_108546(_663969))], (2460 ^ _592546) ^ [_664157] : [tptpcol_6_108546(_664157), -(isa(_664157, c_tptpcol_6_108546))], (2466 ^ _592546) ^ [_664345] : [isa(_664345, c_tptpcol_6_20484), -(tptpcol_6_20484(_664345))], (2472 ^ _592546) ^ [_664533] : [tptpcol_6_20484(_664533), -(isa(_664533, c_tptpcol_6_20484))], (2478 ^ _592546) ^ [_664735, _664737] : [few(_664737, _664735), -(setorcollection(_664735))], (2484 ^ _592546) ^ [_664943, _664945] : [few(_664945, _664943), -(setorcollection(_664943))], (2490 ^ _592546) ^ [_665151, _665153] : [few(_665153, _665151), -(setorcollection(_665153))], (2496 ^ _592546) ^ [_665359, _665361] : [few(_665361, _665359), -(setorcollection(_665361))], (2502 ^ _592546) ^ [_665581, _665583, _665585] : [-(few(_665585, _665581)), few(_665585, _665583), subsetof(_665581, _665583)], (2512 ^ _592546) ^ [_665876] : [isa(_665876, c_tptpcol_15_130931), -(tptpcol_15_130931(_665876))], (2518 ^ _592546) ^ [_666064] : [tptpcol_15_130931(_666064), -(isa(_666064, c_tptpcol_15_130931))], (2524 ^ _592546) ^ [_666252] : [isa(_666252, c_tptpcol_16_130933), -(tptpcol_16_130933(_666252))], (2530 ^ _592546) ^ [_666440] : [tptpcol_16_130933(_666440), -(isa(_666440, c_tptpcol_16_130933))], (2536 ^ _592546) ^ [_666628] : [isa(_666628, c_tptpcol_7_92163), -(tptpcol_7_92163(_666628))], (2542 ^ _592546) ^ [_666816] : [tptpcol_7_92163(_666816), -(isa(_666816, c_tptpcol_7_92163))], (2548 ^ _592546) ^ [_667004] : [isa(_667004, c_tptpcol_15_130923), -(tptpcol_15_130923(_667004))], (2554 ^ _592546) ^ [_667192] : [tptpcol_15_130923(_667192), -(isa(_667192, c_tptpcol_15_130923))], (2560 ^ _592546) ^ [_667380] : [isa(_667380, c_tptpcol_16_130924), -(tptpcol_16_130924(_667380))], (2566 ^ _592546) ^ [_667568] : [tptpcol_16_130924(_667568), -(isa(_667568, c_tptpcol_16_130924))], (2572 ^ _592546) ^ [_667756] : [isa(_667756, c_intangibleindividual), -(intangibleindividual(_667756))], (2578 ^ _592546) ^ [_667944] : [intangibleindividual(_667944), -(isa(_667944, c_intangibleindividual))], (2584 ^ _592546) ^ [_668131, _668133] : [-(natfunction(f_citynamedfn(_668133, _668131), c_citynamedfn))], (2586 ^ _592546) ^ [_668228, _668230] : [-(natargument(f_citynamedfn(_668230, _668228), n_1, _668230))], (2588 ^ _592546) ^ [_668326, _668328] : [-(natargument(f_citynamedfn(_668328, _668326), n_2, _668326))], (2590 ^ _592546) ^ [_668424, _668426] : [-(city(f_citynamedfn(_668426, _668424)))], (2592 ^ _592546) ^ [_668521] : [isa(_668521, c_tptpcol_13_26920), -(tptpcol_13_26920(_668521))], (2598 ^ _592546) ^ [_668709] : [tptpcol_13_26920(_668709), -(isa(_668709, c_tptpcol_13_26920))], (2604 ^ _592546) ^ [_668897] : [isa(_668897, c_tptpcol_14_26921), -(tptpcol_14_26921(_668897))], (2610 ^ _592546) ^ [_669085] : [tptpcol_14_26921(_669085), -(isa(_669085, c_tptpcol_14_26921))], (2616 ^ _592546) ^ [_669273] : [isa(_669273, c_tptpcol_3_65538), -(tptpcol_3_65538(_669273))], (2622 ^ _592546) ^ [_669461] : [tptpcol_3_65538(_669461), -(isa(_669461, c_tptpcol_3_65538))], (2628 ^ _592546) ^ [_669649] : [isa(_669649, c_tptpcol_16_27189), -(tptpcol_16_27189(_669649))], (2634 ^ _592546) ^ [_669837] : [tptpcol_16_27189(_669837), -(isa(_669837, c_tptpcol_16_27189))], (2640 ^ _592546) ^ [_670039, _670041] : [tptp_9_51(_670041, _670039), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_670039))], (2646 ^ _592546) ^ [_670247, _670249] : [tptp_9_51(_670249, _670247), -(tptpcol_7_26628(_670249))], (2652 ^ _592546) ^ [_670441] : [isa(_670441, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670441))], (2658 ^ _592546) ^ [_670629] : [reflexivebinarypredicate(_670629), -(isa(_670629, c_reflexivebinarypredicate))], (2664 ^ _592546) ^ [_670817] : [isa(_670817, c_tptpcol_7_21508), -(tptpcol_7_21508(_670817))], (2670 ^ _592546) ^ [_671005] : [tptpcol_7_21508(_671005), -(isa(_671005, c_tptpcol_7_21508))], (2676 ^ _592546) ^ [_671193] : [isa(_671193, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671193))], (2682 ^ _592546) ^ [_671381] : [hpkb_subnationalagent(_671381), -(isa(_671381, c_hpkb_subnationalagent))], (2688 ^ _592546) ^ [_671569] : [isa(_671569, c_state_geopolitical), -(state_geopolitical(_671569))], (2694 ^ _592546) ^ [_671757] : [state_geopolitical(_671757), -(isa(_671757, c_state_geopolitical))], (2700 ^ _592546) ^ [_671972, _671974, _671976, _671978] : [-(natfunction(f_relationallexistsfn(_671978, _671976, _671974, _671972), c_relationallexistsfn))], (2702 ^ _592546) ^ [_672103, _672105, _672107, _672109] : [-(natargument(f_relationallexistsfn(_672109, _672107, _672105, _672103), n_1, _672109))], (2704 ^ _592546) ^ [_672235, _672237, _672239, _672241] : [-(natargument(f_relationallexistsfn(_672241, _672239, _672237, _672235), n_2, _672239))], (2706 ^ _592546) ^ [_672367, _672369, _672371, _672373] : [-(natargument(f_relationallexistsfn(_672373, _672371, _672369, _672367), n_3, _672369))], (2708 ^ _592546) ^ [_672499, _672501, _672503, _672505] : [-(natargument(f_relationallexistsfn(_672505, _672503, _672501, _672499), n_4, _672499))], (2710 ^ _592546) ^ [_672631, _672633, _672635, _672637] : [-(thing(f_relationallexistsfn(_672637, _672635, _672633, _672631)))], (2712 ^ _592546) ^ [_672748, _672750] : [arg2isa(_672750, _672748), -(collection(_672748))], (2718 ^ _592546) ^ [_672956, _672958] : [arg2isa(_672958, _672956), -(relation(_672958))], (2724 ^ _592546) ^ [_673178, _673180, _673182] : [-(arg2isa(_673182, _673178)), arg2isa(_673182, _673180), genls(_673180, _673178)], (2734 ^ _592546) ^ [_673501, _673503, _673505] : [-(arg2isa(_673505, _673501)), arg2isa(_673505, _673503), genls(_673503, _673501)], (2744 ^ _592546) ^ [_673796] : [isa(_673796, c_geolevel_1), -(geolevel_1(_673796))], (2750 ^ _592546) ^ [_673984] : [geolevel_1(_673984), -(isa(_673984, c_geolevel_1))], (2756 ^ _592546) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592546) ^ [_674225] : [isa(_674225, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674225))], (2764 ^ _592546) ^ [_674413] : [spatialthing_nonsituational(_674413), -(isa(_674413, c_spatialthing_nonsituational))], (2770 ^ _592546) ^ [_674601] : [isa(_674601, c_militaryperson), -(militaryperson(_674601))], (2776 ^ _592546) ^ [_674789] : [militaryperson(_674789), -(isa(_674789, c_militaryperson))], (2782 ^ _592546) ^ [_674977] : [isa(_674977, c_tptpcol_15_72793), -(tptpcol_15_72793(_674977))], (2788 ^ _592546) ^ [_675165] : [tptpcol_15_72793(_675165), -(isa(_675165, c_tptpcol_15_72793))], (2794 ^ _592546) ^ [_675353] : [isa(_675353, c_tptpcol_9_26885), -(tptpcol_9_26885(_675353))], (2800 ^ _592546) ^ [_675541] : [tptpcol_9_26885(_675541), -(isa(_675541, c_tptpcol_9_26885))], (2806 ^ _592546) ^ [_675729] : [isa(_675729, c_tptpcol_10_26886), -(tptpcol_10_26886(_675729))], (2812 ^ _592546) ^ [_675917] : [tptpcol_10_26886(_675917), -(isa(_675917, c_tptpcol_10_26886))], (2818 ^ _592546) ^ [_676119, _676121] : [tptptypes_8_823(_676121, _676119), -(firstordercollection(_676119))], (2824 ^ _592546) ^ [_676327, _676329] : [tptptypes_8_823(_676329, _676327), -(firstordercollection(_676329))], (2830 ^ _592546) ^ [_676521] : [isa(_676521, c_tptpcol_16_92269), -(tptpcol_16_92269(_676521))], (2836 ^ _592546) ^ [_676709] : [tptpcol_16_92269(_676709), -(isa(_676709, c_tptpcol_16_92269))], (2842 ^ _592546) ^ [_676897] : [isa(_676897, c_tptpcol_15_109185), -(tptpcol_15_109185(_676897))], (2848 ^ _592546) ^ [_677085] : [tptpcol_15_109185(_677085), -(isa(_677085, c_tptpcol_15_109185))], (2854 ^ _592546) ^ [_677273] : [isa(_677273, c_tptpcol_6_26627), -(tptpcol_6_26627(_677273))], (2860 ^ _592546) ^ [_677461] : [tptpcol_6_26627(_677461), -(isa(_677461, c_tptpcol_6_26627))], (2866 ^ _592546) ^ [_677649] : [isa(_677649, c_tptpcol_12_118116), -(tptpcol_12_118116(_677649))], (2872 ^ _592546) ^ [_677837] : [tptpcol_12_118116(_677837), -(isa(_677837, c_tptpcol_12_118116))], (2878 ^ _592546) ^ [_678025] : [isa(_678025, c_tptpcol_8_18438), -(tptpcol_8_18438(_678025))], (2884 ^ _592546) ^ [_678213] : [tptpcol_8_18438(_678213), -(isa(_678213, c_tptpcol_8_18438))], (2890 ^ _592546) ^ [_678401] : [isa(_678401, c_tptpcol_15_30970), -(tptpcol_15_30970(_678401))], (2896 ^ _592546) ^ [_678589] : [tptpcol_15_30970(_678589), -(isa(_678589, c_tptpcol_15_30970))], (2902 ^ _592546) ^ [_678777] : [isa(_678777, c_tptpcol_16_30972), -(tptpcol_16_30972(_678777))], (2908 ^ _592546) ^ [_678965] : [tptpcol_16_30972(_678965), -(isa(_678965, c_tptpcol_16_30972))], (2914 ^ _592546) ^ [_679153] : [isa(_679153, c_tptpcol_14_109181), -(tptpcol_14_109181(_679153))], (2920 ^ _592546) ^ [_679341] : [tptpcol_14_109181(_679341), -(isa(_679341, c_tptpcol_14_109181))], (2926 ^ _592546) ^ [_679529] : [isa(_679529, c_physicalorderingpredicate), -(physicalorderingpredicate(_679529))], (2932 ^ _592546) ^ [_679717] : [physicalorderingpredicate(_679717), -(isa(_679717, c_physicalorderingpredicate))], (2938 ^ _592546) ^ [_679905] : [isa(_679905, c_tptpcol_16_7738), -(tptpcol_16_7738(_679905))], (2944 ^ _592546) ^ [_680093] : [tptpcol_16_7738(_680093), -(isa(_680093, c_tptpcol_16_7738))], (2950 ^ _592546) ^ [_680295, _680297] : [tptp_8_968(_680297, _680295), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680295))], (2956 ^ _592546) ^ [_680503, _680505] : [tptp_8_968(_680505, _680503), -(tptpcol_7_7172(_680505))], (2962 ^ _592546) ^ [_680725, _680727, _680729] : [relationexistsall(_680729, _680727, _680725), -(collection(_680725))], (2968 ^ _592546) ^ [_680955, _680957, _680959] : [relationexistsall(_680959, _680957, _680955), -(collection(_680957))], (2974 ^ _592546) ^ [_681185, _681187, _681189] : [relationexistsall(_681189, _681187, _681185), -(binarypredicate(_681189))], (2980 ^ _592546) ^ [_681387] : [isa(_681387, c_tptpcol_7_26628), -(tptpcol_7_26628(_681387))], (2986 ^ _592546) ^ [_681575] : [tptpcol_7_26628(_681575), -(isa(_681575, c_tptpcol_7_26628))], (2992 ^ _592546) ^ [_681763] : [isa(_681763, c_tptpcol_8_26629), -(tptpcol_8_26629(_681763))], (2998 ^ _592546) ^ [_681951] : [tptpcol_8_26629(_681951), -(isa(_681951, c_tptpcol_8_26629))], (3004 ^ _592546) ^ [_682139] : [isa(_682139, c_tptpcol_3_114688), -(tptpcol_3_114688(_682139))], (3010 ^ _592546) ^ [_682327] : [tptpcol_3_114688(_682327), -(isa(_682327, c_tptpcol_3_114688))], (3016 ^ _592546) ^ [_682500] : [-(natfunction(f_contextofpcwfn(_682500), c_contextofpcwfn))], (3018 ^ _592546) ^ [_682580] : [-(natargument(f_contextofpcwfn(_682580), n_1, _682580))], (3020 ^ _592546) ^ [_682661] : [-(microtheory(f_contextofpcwfn(_682661)))], (3022 ^ _592546) ^ [_682769, _682771] : [arg1isa(_682771, _682769), -(collection(_682769))], (3028 ^ _592546) ^ [_682977, _682979] : [arg1isa(_682979, _682977), -(relation(_682979))], (3034 ^ _592546) ^ [_683199, _683201, _683203] : [-(arg1isa(_683203, _683199)), arg1isa(_683203, _683201), genls(_683201, _683199)], (3044 ^ _592546) ^ [_683522, _683524, _683526] : [-(arg1isa(_683526, _683522)), arg1isa(_683526, _683524), genls(_683524, _683522)], (3054 ^ _592546) ^ [_683831, _683833] : [objectfoundinlocation(_683833, _683831), -(spatialthing_nonsituational(_683831))], (3060 ^ _592546) ^ [_684039, _684041] : [objectfoundinlocation(_684041, _684039), -(spatialthing_localized(_684039))], (3066 ^ _592546) ^ [_684247, _684249] : [objectfoundinlocation(_684249, _684247), -(spatialthing_nonsituational(_684249))], (3072 ^ _592546) ^ [_684455, _684457] : [objectfoundinlocation(_684457, _684455), -(spatialthing_localized(_684457))], (3078 ^ _592546) ^ [_684677, _684679, _684681] : [-(objectfoundinlocation(_684681, _684677)), objectfoundinlocation(_684681, _684679), objectfoundinlocation(_684679, _684677)], (3088 ^ _592546) ^ [_684956] : [objectfoundinlocation(_684956, _684956)], (3090 ^ _592546) ^ [_685077, _685079, _685081] : [-(objectfoundinlocation(_685081, _685077)), objectfoundinlocation(_685081, _685079), geopoliticalsubdivision(_685077, _685079)], (3100 ^ _592546) ^ [_685400, _685402, _685404] : [-(objectfoundinlocation(_685404, _685400)), objectfoundinlocation(_685404, _685402), geographicallysubsumes(_685400, _685402)], (3110 ^ _592546) ^ [_685723, _685725, _685727] : [-(objectfoundinlocation(_685727, _685723)), objectfoundinlocation(_685727, _685725), subregions(_685723, _685725)], (3120 ^ _592546) ^ [_686018] : [isa(_686018, c_ship), -(ship(_686018))], (3126 ^ _592546) ^ [_686206] : [ship(_686206), -(isa(_686206, c_ship))], (3132 ^ _592546) ^ [_686407, _686409, _686411] : [-(natfunction(f_subcollectionofwithrelationtofn(_686411, _686409, _686407), c_subcollectionofwithrelationtofn))], (3134 ^ _592546) ^ [_686521, _686523, _686525] : [-(natargument(f_subcollectionofwithrelationtofn(_686525, _686523, _686521), n_1, _686525))], (3136 ^ _592546) ^ [_686636, _686638, _686640] : [-(natargument(f_subcollectionofwithrelationtofn(_686640, _686638, _686636), n_2, _686638))], (3138 ^ _592546) ^ [_686751, _686753, _686755] : [-(natargument(f_subcollectionofwithrelationtofn(_686755, _686753, _686751), n_3, _686751))], (3140 ^ _592546) ^ [_686866, _686868, _686870] : [-(collection(f_subcollectionofwithrelationtofn(_686870, _686868, _686866)))], (3142 ^ _592546) ^ [_686966] : [isa(_686966, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686966))], (3148 ^ _592546) ^ [_687154] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687154), -(isa(_687154, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592546) ^ [_687342] : [isa(_687342, c_tptpcol_4_65539), -(tptpcol_4_65539(_687342))], (3160 ^ _592546) ^ [_687530] : [tptpcol_4_65539(_687530), -(isa(_687530, c_tptpcol_4_65539))], (3166 ^ _592546) ^ [_687718] : [isa(_687718, c_tptpcol_5_69635), -(tptpcol_5_69635(_687718))], (3172 ^ _592546) ^ [_687906] : [tptpcol_5_69635(_687906), -(isa(_687906, c_tptpcol_5_69635))], (3178 ^ _592546) ^ [_688094] : [isa(_688094, c_tptpcol_3_16386), -(tptpcol_3_16386(_688094))], (3184 ^ _592546) ^ [_688282] : [tptpcol_3_16386(_688282), -(isa(_688282, c_tptpcol_3_16386))], (3190 ^ _592546) ^ [_688484, _688486] : [no(_688486, _688484), -(setorcollection(_688484))], (3196 ^ _592546) ^ [_688692, _688694] : [no(_688694, _688692), -(setorcollection(_688694))], (3202 ^ _592546) ^ [_688900, _688902] : [no(_688902, _688900), -(no(_688900, _688902))], (3208 ^ _592546) ^ [_689124, _689126, _689128] : [-(no(_689128, _689124)), no(_689128, _689126), subsetof(_689124, _689126)], (3218 ^ _592546) ^ [_689447, _689449, _689451] : [-(no(_689447, _689449)), no(_689451, _689449), subsetof(_689447, _689451)], (3228 ^ _592546) ^ [_689770, _689772, _689774] : [-(no(_689770, _689772)), no(_689774, _689772), genls(_689770, _689774)], (3238 ^ _592546) ^ [_690093, _690095, _690097] : [-(no(_690097, _690093)), no(_690097, _690095), genls(_690093, _690095)], (3248 ^ _592546) ^ [_690416, _690418, _690420] : [-(no(_690416, _690418)), no(_690420, _690418), subsetof(_690416, _690420)], (3258 ^ _592546) ^ [_690739, _690741, _690743] : [-(no(_690743, _690739)), no(_690743, _690741), subsetof(_690739, _690741)], (3268 ^ _592546) ^ [_691034] : [isa(_691034, c_geographicalregion), -(geographicalregion(_691034))], (3274 ^ _592546) ^ [_691222] : [geographicalregion(_691222), -(isa(_691222, c_geographicalregion))], (3280 ^ _592546) ^ [_691395] : [-(natfunction(f_tptpquantityfn_21(_691395), c_tptpquantityfn_21))], (3282 ^ _592546) ^ [_691475] : [-(natargument(f_tptpquantityfn_21(_691475), n_1, _691475))], (3284 ^ _592546) ^ [_691556] : [-(tptpquantity(f_tptpquantityfn_21(_691556)))], (3286 ^ _592546) ^ [_691664, _691666] : [airporthasiatacode(_691666, _691664), -(stringoflengthfn3(_691664))], (3292 ^ _592546) ^ [_691872, _691874] : [airporthasiatacode(_691874, _691872), -(airport_physical(_691874))], (3298 ^ _592546) ^ [_692066] : [isa(_692066, c_airport_physical), -(airport_physical(_692066))], (3304 ^ _592546) ^ [_692254] : [airport_physical(_692254), -(isa(_692254, c_airport_physical))], (3310 ^ _592546) ^ [_692455, _692457, _692459] : [-(natfunction(f_instancewithrelationtofn(_692459, _692457, _692455), c_instancewithrelationtofn))], (3312 ^ _592546) ^ [_692569, _692571, _692573] : [-(natargument(f_instancewithrelationtofn(_692573, _692571, _692569), n_1, _692573))], (3314 ^ _592546) ^ [_692684, _692686, _692688] : [-(natargument(f_instancewithrelationtofn(_692688, _692686, _692684), n_2, _692686))], (3316 ^ _592546) ^ [_692799, _692801, _692803] : [-(natargument(f_instancewithrelationtofn(_692803, _692801, _692799), n_3, _692799))], (3318 ^ _592546) ^ [_692914, _692916, _692918] : [-(thing(f_instancewithrelationtofn(_692918, _692916, _692914)))], (3320 ^ _592546) ^ [_693014] : [isa(_693014, c_tptpcol_6_112641), -(tptpcol_6_112641(_693014))], (3326 ^ _592546) ^ [_693202] : [tptpcol_6_112641(_693202), -(isa(_693202, c_tptpcol_6_112641))], (3332 ^ _592546) ^ [_693390] : [isa(_693390, c_tptpcol_7_113665), -(tptpcol_7_113665(_693390))], (3338 ^ _592546) ^ [_693578] : [tptpcol_7_113665(_693578), -(isa(_693578, c_tptpcol_7_113665))], (3344 ^ _592546) ^ [_693766] : [isa(_693766, c_artifact), -(artifact(_693766))], (3350 ^ _592546) ^ [_693954] : [artifact(_693954), -(isa(_693954, c_artifact))], (3356 ^ _592546) ^ [_694142] : [isa(_694142, c_tptpcol_13_18664), -(tptpcol_13_18664(_694142))], (3362 ^ _592546) ^ [_694330] : [tptpcol_13_18664(_694330), -(isa(_694330, c_tptpcol_13_18664))], (3368 ^ _592546) ^ [_694518] : [isa(_694518, c_firstordercollection), -(firstordercollection(_694518))], (3374 ^ _592546) ^ [_694706] : [firstordercollection(_694706), -(isa(_694706, c_firstordercollection))], (3380 ^ _592546) ^ [_694879] : [-(natfunction(f_tptpquantityfn_14(_694879), c_tptpquantityfn_14))], (3382 ^ _592546) ^ [_694959] : [-(natargument(f_tptpquantityfn_14(_694959), n_1, _694959))], (3384 ^ _592546) ^ [_695040] : [-(tptpquantity(f_tptpquantityfn_14(_695040)))], (3386 ^ _592546) ^ [_695134] : [isa(_695134, c_supplies), -(supplies(_695134))], (3392 ^ _592546) ^ [_695322] : [supplies(_695322), -(isa(_695322, c_supplies))], (3398 ^ _592546) ^ [_695510] : [isa(_695510, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695510))], (3404 ^ _592546) ^ [_695698] : [inanimateobject_nonnatural(_695698), -(isa(_695698, c_inanimateobject_nonnatural))], (3410 ^ _592546) ^ [_695886] : [isa(_695886, c_tptpcol_13_22071), -(tptpcol_13_22071(_695886))], (3416 ^ _592546) ^ [_696074] : [tptpcol_13_22071(_696074), -(isa(_696074, c_tptpcol_13_22071))], (3422 ^ _592546) ^ [_696262] : [isa(_696262, c_tptpcol_14_22072), -(tptpcol_14_22072(_696262))], (3428 ^ _592546) ^ [_696450] : [tptpcol_14_22072(_696450), -(isa(_696450, c_tptpcol_14_22072))], (3434 ^ _592546) ^ [_696638] : [isa(_696638, c_tptpcol_7_108547), -(tptpcol_7_108547(_696638))], (3440 ^ _592546) ^ [_696826] : [tptpcol_7_108547(_696826), -(isa(_696826, c_tptpcol_7_108547))], (3446 ^ _592546) ^ [_697014] : [isa(_697014, c_tptpcol_8_109059), -(tptpcol_8_109059(_697014))], (3452 ^ _592546) ^ [_697202] : [tptpcol_8_109059(_697202), -(isa(_697202, c_tptpcol_8_109059))], (3458 ^ _592546) ^ [_697390] : [isa(_697390, c_tptpcol_14_93774), -(tptpcol_14_93774(_697390))], (3464 ^ _592546) ^ [_697578] : [tptpcol_14_93774(_697578), -(isa(_697578, c_tptpcol_14_93774))], (3470 ^ _592546) ^ [_697766] : [isa(_697766, c_tptpcol_15_93775), -(tptpcol_15_93775(_697766))], (3476 ^ _592546) ^ [_697954] : [tptpcol_15_93775(_697954), -(isa(_697954, c_tptpcol_15_93775))], (3482 ^ _592546) ^ [_698142] : [isa(_698142, c_tptpcol_16_8886), -(tptpcol_16_8886(_698142))], (3488 ^ _592546) ^ [_698330] : [tptpcol_16_8886(_698330), -(isa(_698330, c_tptpcol_16_8886))], (3494 ^ _592546) ^ [_698532, _698534] : [orientation(_698534, _698532), -(orientationvector(_698532))], (3500 ^ _592546) ^ [_698740, _698742] : [orientation(_698742, _698740), -(spatialthing_localized(_698742))], (3506 ^ _592546) ^ [_698934] : [isa(_698934, c_orientationvector), -(orientationvector(_698934))], (3512 ^ _592546) ^ [_699122] : [orientationvector(_699122), -(isa(_699122, c_orientationvector))], (3518 ^ _592546) ^ [_699310] : [isa(_699310, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699310))], (3524 ^ _592546) ^ [_699498] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699498), -(isa(_699498, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592546) ^ [_699700, _699702] : [tptptypes_9_824(_699702, _699700), -(firstordercollection(_699700))], (3536 ^ _592546) ^ [_699908, _699910] : [tptptypes_9_824(_699910, _699908), -(firstordercollection(_699910))], (3542 ^ _592546) ^ [_700116, _700118] : [tptptypes_7_396(_700118, _700116), -(firstordercollection(_700116))], (3548 ^ _592546) ^ [_700324, _700326] : [tptptypes_7_396(_700326, _700324), -(firstordercollection(_700326))], (3554 ^ _592546) ^ [_700518] : [isa(_700518, c_tptpcol_12_22055), -(tptpcol_12_22055(_700518))], (3560 ^ _592546) ^ [_700706] : [tptpcol_12_22055(_700706), -(isa(_700706, c_tptpcol_12_22055))], (3566 ^ _592546) ^ [_700894] : [isa(_700894, c_tptpcol_16_29490), -(tptpcol_16_29490(_700894))], (3572 ^ _592546) ^ [_701082] : [tptpcol_16_29490(_701082), -(isa(_701082, c_tptpcol_16_29490))], (3578 ^ _592546) ^ [_701284, _701286] : [tptp_9_720(_701286, _701284), -(tptpcol_5_28674(_701284))], (3584 ^ _592546) ^ [_701492, _701494] : [tptp_9_720(_701494, _701492), -(executionbyfiringsquad(_701494))], (3590 ^ _592546) ^ [_701686] : [isa(_701686, c_runningshorts), -(runningshorts(_701686))], (3596 ^ _592546) ^ [_701874] : [runningshorts(_701874), -(isa(_701874, c_runningshorts))], (3602 ^ _592546) ^ [_702062] : [isa(_702062, c_tptpcol_9_118019), -(tptpcol_9_118019(_702062))], (3608 ^ _592546) ^ [_702250] : [tptpcol_9_118019(_702250), -(isa(_702250, c_tptpcol_9_118019))], (3614 ^ _592546) ^ [_702438] : [isa(_702438, c_tptpcol_16_31868), -(tptpcol_16_31868(_702438))], (3620 ^ _592546) ^ [_702626] : [tptpcol_16_31868(_702626), -(isa(_702626, c_tptpcol_16_31868))], (3626 ^ _592546) ^ [_702814] : [isa(_702814, c_movement_translationevent), -(movement_translationevent(_702814))], (3632 ^ _592546) ^ [_703002] : [movement_translationevent(_703002), -(isa(_703002, c_movement_translationevent))], (3638 ^ _592546) ^ [_703204, _703206] : [directionoftranslation_throughout(_703206, _703204), -(unitvectorinterval(_703204))], (3644 ^ _592546) ^ [_703412, _703414] : [directionoftranslation_throughout(_703414, _703412), -(movement_translationevent(_703414))], (3650 ^ _592546) ^ [_703634, _703636, _703638] : [-(directionoftranslation_throughout(_703634, _703636)), directionoftranslation_throughout(_703638, _703636), subevents(_703638, _703634)], (3660 ^ _592546) ^ [_703929] : [isa(_703929, c_unitvectorinterval), -(unitvectorinterval(_703929))], (3666 ^ _592546) ^ [_704117] : [unitvectorinterval(_704117), -(isa(_704117, c_unitvectorinterval))], (3672 ^ _592546) ^ [_704305] : [isa(_704305, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704305))], (3678 ^ _592546) ^ [_704493] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704493), -(isa(_704493, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592546) ^ [_704695, _704697] : [tptp_8_875(_704697, _704695), -(tptpcol_4_24578(_704695))], (3690 ^ _592546) ^ [_704903, _704905] : [tptp_8_875(_704905, _704903), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704905))], (3696 ^ _592546) ^ [_705125, _705127, _705129] : [relationallexists(_705129, _705127, _705125), -(collection(_705125))], (3702 ^ _592546) ^ [_705355, _705357, _705359] : [relationallexists(_705359, _705357, _705355), -(collection(_705357))], (3708 ^ _592546) ^ [_705585, _705587, _705589] : [relationallexists(_705589, _705587, _705585), -(binarypredicate(_705589))], (3714 ^ _592546) ^ [_705787] : [isa(_705787, c_tptpcol_16_10258), -(tptpcol_16_10258(_705787))], (3720 ^ _592546) ^ [_705975] : [tptpcol_16_10258(_705975), -(isa(_705975, c_tptpcol_16_10258))], (3726 ^ _592546) ^ [_706163] : [isa(_706163, c_pushingababycarriage), -(pushingababycarriage(_706163))], (3732 ^ _592546) ^ [_706351] : [pushingababycarriage(_706351), -(isa(_706351, c_pushingababycarriage))], (3738 ^ _592546) ^ [_706539] : [isa(_706539, c_aspatialinformationstore), -(aspatialinformationstore(_706539))], (3744 ^ _592546) ^ [_706727] : [aspatialinformationstore(_706727), -(isa(_706727, c_aspatialinformationstore))], (3750 ^ _592546) ^ [_706915] : [isa(_706915, c_collection), -(collection(_706915))], (3756 ^ _592546) ^ [_707103] : [collection(_707103), -(isa(_707103, c_collection))], (3762 ^ _592546) ^ [_707291] : [isa(_707291, c_fixedordercollection), -(fixedordercollection(_707291))], (3768 ^ _592546) ^ [_707479] : [fixedordercollection(_707479), -(isa(_707479, c_fixedordercollection))], (3774 ^ _592546) ^ [_707667] : [isa(_707667, c_tptpcol_8_92164), -(tptpcol_8_92164(_707667))], (3780 ^ _592546) ^ [_707855] : [tptpcol_8_92164(_707855), -(isa(_707855, c_tptpcol_8_92164))], (3786 ^ _592546) ^ [_708043] : [isa(_708043, c_tptpcol_9_92165), -(tptpcol_9_92165(_708043))], (3792 ^ _592546) ^ [_708231] : [tptpcol_9_92165(_708231), -(isa(_708231, c_tptpcol_9_92165))], (3798 ^ _592546) ^ [_708419] : [isa(_708419, c_tptpcol_1_1), -(tptpcol_1_1(_708419))], (3804 ^ _592546) ^ [_708607] : [tptpcol_1_1(_708607), -(isa(_708607, c_tptpcol_1_1))], (3810 ^ _592546) ^ [_708795] : [isa(_708795, c_tptpcol_2_2), -(tptpcol_2_2(_708795))], (3816 ^ _592546) ^ [_708983] : [tptpcol_2_2(_708983), -(isa(_708983, c_tptpcol_2_2))], (3822 ^ _592546) ^ [_709185, _709187] : [tptptypes_7_691(_709187, _709185), -(firstordercollection(_709185))], (3828 ^ _592546) ^ [_709393, _709395] : [tptptypes_7_691(_709395, _709393), -(firstordercollection(_709395))], (3834 ^ _592546) ^ [_709587] : [isa(_709587, c_tptpcol_11_26887), -(tptpcol_11_26887(_709587))], (3840 ^ _592546) ^ [_709775] : [tptpcol_11_26887(_709775), -(isa(_709775, c_tptpcol_11_26887))], (3846 ^ _592546) ^ [_709963] : [isa(_709963, c_tptpcol_12_26919), -(tptpcol_12_26919(_709963))], (3852 ^ _592546) ^ [_710151] : [tptpcol_12_26919(_710151), -(isa(_710151, c_tptpcol_12_26919))], (3858 ^ _592546) ^ [_710353, _710355] : [tptptypes_6_818(_710355, _710353), -(firstordercollection(_710353))], (3864 ^ _592546) ^ [_710561, _710563] : [tptptypes_6_818(_710563, _710561), -(firstordercollection(_710563))], (3870 ^ _592546) ^ [_710769, _710771] : [tptptypes_7_819(_710771, _710769), -(firstordercollection(_710769))], (3876 ^ _592546) ^ [_710977, _710979] : [tptptypes_7_819(_710979, _710977), -(firstordercollection(_710979))], (3882 ^ _592546) ^ [_711171] : [isa(_711171, c_correctivelensprescription), -(correctivelensprescription(_711171))], (3888 ^ _592546) ^ [_711359] : [correctivelensprescription(_711359), -(isa(_711359, c_correctivelensprescription))], (3894 ^ _592546) ^ [_711561, _711563] : [products(_711563, _711561), -(artifact(_711561))], (3900 ^ _592546) ^ [_711769, _711771] : [products(_711771, _711769), -(creationordestructionevent(_711771))], (3906 ^ _592546) ^ [_711963] : [isa(_711963, c_issuingaprescription), -(issuingaprescription(_711963))], (3912 ^ _592546) ^ [_712151] : [issuingaprescription(_712151), -(isa(_712151, c_issuingaprescription))], (3918 ^ _592546) ^ [_712352, _712354, _712356] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712356, _712354, _712352), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592546) ^ [_712466, _712468, _712470] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712470, _712468, _712466), n_1, _712470))], (3922 ^ _592546) ^ [_712581, _712583, _712585] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712585, _712583, _712581), n_2, _712583))], (3924 ^ _592546) ^ [_712696, _712698, _712700] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712700, _712698, _712696), n_3, _712696))], (3926 ^ _592546) ^ [_712811, _712813, _712815] : [-(collection(f_subcollectionofwithrelationtotypefn(_712815, _712813, _712811)))], (3928 ^ _592546) ^ [_712911] : [isa(_712911, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712911))], (3934 ^ _592546) ^ [_713099] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713099), -(isa(_713099, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592546) ^ [_713287] : [isa(_713287, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713287))], (3946 ^ _592546) ^ [_713475] : [mathematicalorcomputationalthing(_713475), -(isa(_713475, c_mathematicalorcomputationalthing))], (3952 ^ _592546) ^ [_713663] : [isa(_713663, c_tptpcol_10_118020), -(tptpcol_10_118020(_713663))], (3958 ^ _592546) ^ [_713851] : [tptpcol_10_118020(_713851), -(isa(_713851, c_tptpcol_10_118020))], (3964 ^ _592546) ^ [_714039] : [isa(_714039, c_tptpcol_11_118084), -(tptpcol_11_118084(_714039))], (3970 ^ _592546) ^ [_714227] : [tptpcol_11_118084(_714227), -(isa(_714227, c_tptpcol_11_118084))], (3976 ^ _592546) ^ [_714415] : [isa(_714415, c_terroristgroup), -(terroristgroup(_714415))], (3982 ^ _592546) ^ [_714603] : [terroristgroup(_714603), -(isa(_714603, c_terroristgroup))], (3988 ^ _592546) ^ [_714805, _714807] : [hasmembers(_714807, _714805), -(agent_generic(_714805))], (3994 ^ _592546) ^ [_715013, _715015] : [hasmembers(_715015, _715013), -(organization(_715015))], (4000 ^ _592546) ^ [_715207] : [isa(_715207, c_terrorist), -(terrorist(_715207))], (4006 ^ _592546) ^ [_715395] : [terrorist(_715395), -(isa(_715395, c_terrorist))], (4012 ^ _592546) ^ [_715596, _715598, _715600] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715600, _715598, _715596), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592546) ^ [_715710, _715712, _715714] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715714, _715712, _715710), n_1, _715714))], (4016 ^ _592546) ^ [_715825, _715827, _715829] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715829, _715827, _715825), n_2, _715827))], (4018 ^ _592546) ^ [_715940, _715942, _715944] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715944, _715942, _715940), n_3, _715940))], (4020 ^ _592546) ^ [_716055, _716057, _716059] : [-(collection(f_subcollectionofwithrelationfromtypefn(_716059, _716057, _716055)))], (4022 ^ _592546) ^ [_716155] : [isa(_716155, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716155))], (4028 ^ _592546) ^ [_716343] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716343), -(isa(_716343, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592546) ^ [_716545, _716547] : [prettystring(_716547, _716545), -(controlcharacterfreestring(_716545))], (4040 ^ _592546) ^ [_716753, _716755] : [prettystring(_716755, _716753), -(thing(_716755))], (4046 ^ _592546) ^ [_716947] : [isa(_716947, c_tptpcol_0_0), -(tptpcol_0_0(_716947))], (4052 ^ _592546) ^ [_717135] : [tptpcol_0_0(_717135), -(isa(_717135, c_tptpcol_0_0))], (4058 ^ _592546) ^ [_717323] : [isa(_717323, c_geolevel_3), -(geolevel_3(_717323))], (4064 ^ _592546) ^ [_717511] : [geolevel_3(_717511), -(isa(_717511, c_geolevel_3))], (4070 ^ _592546) ^ [_717699] : [isa(_717699, c_tptpcol_4_24578), -(tptpcol_4_24578(_717699))], (4076 ^ _592546) ^ [_717887] : [tptpcol_4_24578(_717887), -(isa(_717887, c_tptpcol_4_24578))], (4082 ^ _592546) ^ [_718075] : [isa(_718075, c_tptpcol_5_24579), -(tptpcol_5_24579(_718075))], (4088 ^ _592546) ^ [_718263] : [tptpcol_5_24579(_718263), -(isa(_718263, c_tptpcol_5_24579))], (4094 ^ _592546) ^ [_718451] : [isa(_718451, c_tptpcol_5_106498), -(tptpcol_5_106498(_718451))], (4100 ^ _592546) ^ [_718639] : [tptpcol_5_106498(_718639), -(isa(_718639, c_tptpcol_5_106498))], (4106 ^ _592546) ^ [_718827] : [isa(_718827, c_tptpcol_12_109157), -(tptpcol_12_109157(_718827))], (4112 ^ _592546) ^ [_719015] : [tptpcol_12_109157(_719015), -(isa(_719015, c_tptpcol_12_109157))], (4118 ^ _592546) ^ [_719203] : [isa(_719203, c_tptpcol_13_109173), -(tptpcol_13_109173(_719203))], (4124 ^ _592546) ^ [_719391] : [tptpcol_13_109173(_719391), -(isa(_719391, c_tptpcol_13_109173))], (4130 ^ _592546) ^ [_719579] : [isa(_719579, c_mathematicalthing), -(mathematicalthing(_719579))], (4136 ^ _592546) ^ [_719767] : [mathematicalthing(_719767), -(isa(_719767, c_mathematicalthing))], (4142 ^ _592546) ^ [_719955] : [isa(_719955, c_setorcollection), -(setorcollection(_719955))], (4148 ^ _592546) ^ [_720143] : [setorcollection(_720143), -(isa(_720143, c_setorcollection))], (4154 ^ _592546) ^ [_720331] : [isa(_720331, c_tptpcol_11_18631), -(tptpcol_11_18631(_720331))], (4160 ^ _592546) ^ [_720519] : [tptpcol_11_18631(_720519), -(isa(_720519, c_tptpcol_11_18631))], (4166 ^ _592546) ^ [_720707] : [isa(_720707, c_tptpcol_12_18663), -(tptpcol_12_18663(_720707))], (4172 ^ _592546) ^ [_720895] : [tptpcol_12_18663(_720895), -(isa(_720895, c_tptpcol_12_18663))], (4178 ^ _592546) ^ [_721097, _721099] : [tptptypes_8_400(_721099, _721097), -(firstordercollection(_721097))], (4184 ^ _592546) ^ [_721305, _721307] : [tptptypes_8_400(_721307, _721305), -(firstordercollection(_721307))], (4190 ^ _592546) ^ [_721513, _721515] : [tptptypes_9_401(_721515, _721513), -(firstordercollection(_721513))], (4196 ^ _592546) ^ [_721721, _721723] : [tptptypes_9_401(_721723, _721721), -(firstordercollection(_721723))], (4202 ^ _592546) ^ [_721900] : [-(natfunction(f_tptpquantityfn_13(_721900), c_tptpquantityfn_13))], (4204 ^ _592546) ^ [_721980] : [-(natargument(f_tptpquantityfn_13(_721980), n_1, _721980))], (4206 ^ _592546) ^ [_722061] : [-(tptpquantity(f_tptpquantityfn_13(_722061)))], (4208 ^ _592546) ^ [_722169, _722171] : [borderson(_722171, _722169), -(geographicalregion(_722169))], (4214 ^ _592546) ^ [_722377, _722379] : [borderson(_722379, _722377), -(geographicalregion(_722379))], (4220 ^ _592546) ^ [_722585, _722587] : [borderson(_722587, _722585), -(borderson(_722585, _722587))], (4226 ^ _592546) ^ [_722765] : [borderson(_722765, _722765)], (4228 ^ _592546) ^ [_722858] : [isa(_722858, c_tptpcol_14_92264), -(tptpcol_14_92264(_722858))], (4234 ^ _592546) ^ [_723046] : [tptpcol_14_92264(_723046), -(isa(_723046, c_tptpcol_14_92264))], (4240 ^ _592546) ^ [_723234] : [isa(_723234, c_tptpcol_15_92268), -(tptpcol_15_92268(_723234))], (4246 ^ _592546) ^ [_723422] : [tptpcol_15_92268(_723422), -(isa(_723422, c_tptpcol_15_92268))], (4252 ^ _592546) ^ [_723610] : [isa(_723610, c_tptpcol_6_116738), -(tptpcol_6_116738(_723610))], (4258 ^ _592546) ^ [_723798] : [tptpcol_6_116738(_723798), -(isa(_723798, c_tptpcol_6_116738))], (4264 ^ _592546) ^ [_724000, _724002] : [tptptypes_5_387(_724002, _724000), -(firstordercollection(_724000))], (4270 ^ _592546) ^ [_724208, _724210] : [tptptypes_5_387(_724210, _724208), -(firstordercollection(_724210))], (4276 ^ _592546) ^ [_724416, _724418] : [tptptypes_6_388(_724418, _724416), -(firstordercollection(_724416))], (4282 ^ _592546) ^ [_724624, _724626] : [tptptypes_6_388(_724626, _724624), -(firstordercollection(_724626))], (4288 ^ _592546) ^ [_724818] : [isa(_724818, c_shavingrazor_manual), -(shavingrazor_manual(_724818))], (4294 ^ _592546) ^ [_725006] : [shavingrazor_manual(_725006), -(isa(_725006, c_shavingrazor_manual))], (4300 ^ _592546) ^ [_725194] : [isa(_725194, c_tptpcol_9_109060), -(tptpcol_9_109060(_725194))], (4306 ^ _592546) ^ [_725382] : [tptpcol_9_109060(_725382), -(isa(_725382, c_tptpcol_9_109060))], (4312 ^ _592546) ^ [_725570] : [isa(_725570, c_tptpcol_10_109061), -(tptpcol_10_109061(_725570))], (4318 ^ _592546) ^ [_725758] : [tptpcol_10_109061(_725758), -(isa(_725758, c_tptpcol_10_109061))], (4324 ^ _592546) ^ [_725946] : [isa(_725946, c_executionbyfiringsquad), -(executionbyfiringsquad(_725946))], (4330 ^ _592546) ^ [_726134] : [executionbyfiringsquad(_726134), -(isa(_726134, c_executionbyfiringsquad))], (4336 ^ _592546) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592546) ^ [_726375] : [isa(_726375, c_navypersonnel), -(navypersonnel(_726375))], (4344 ^ _592546) ^ [_726563] : [navypersonnel(_726563), -(isa(_726563, c_navypersonnel))], (4350 ^ _592546) ^ [_726751] : [isa(_726751, c_tptpcol_12_92262), -(tptpcol_12_92262(_726751))], (4356 ^ _592546) ^ [_726939] : [tptpcol_12_92262(_726939), -(isa(_726939, c_tptpcol_12_92262))], (4362 ^ _592546) ^ [_727127] : [isa(_727127, c_thing), -(thing(_727127))], (4368 ^ _592546) ^ [_727315] : [thing(_727315), -(isa(_727315, c_thing))], (4374 ^ _592546) ^ [_727503] : [isa(_727503, c_computerdataartifact), -(computerdataartifact(_727503))], (4380 ^ _592546) ^ [_727691] : [computerdataartifact(_727691), -(isa(_727691, c_computerdataartifact))], (4386 ^ _592546) ^ [_727879] : [isa(_727879, c_applicationcontext), -(applicationcontext(_727879))], (4392 ^ _592546) ^ [_728067] : [applicationcontext(_728067), -(isa(_728067, c_applicationcontext))], (4398 ^ _592546) ^ [_728269, _728271] : [inregion(_728271, _728269), -(spatialthing_nonsituational(_728269))], (4404 ^ _592546) ^ [_728477, _728479] : [inregion(_728479, _728477), -(spatialthing_nonsituational(_728479))], (4410 ^ _592546) ^ [_728699, _728701, _728703] : [-(inregion(_728703, _728699)), inregion(_728703, _728701), inregion(_728701, _728699)], (4420 ^ _592546) ^ [_728994] : [spatialthing_nonsituational(_728994), -(inregion(_728994, _728994))], (4426 ^ _592546) ^ [_729167] : [-(natfunction(f_tptpquantityfn_1(_729167), c_tptpquantityfn_1))], (4428 ^ _592546) ^ [_729247] : [-(natargument(f_tptpquantityfn_1(_729247), n_1, _729247))], (4430 ^ _592546) ^ [_729328] : [-(tptpquantity(f_tptpquantityfn_1(_729328)))], (4432 ^ _592546) ^ [_729422] : [isa(_729422, c_furpelt), -(furpelt(_729422))], (4438 ^ _592546) ^ [_729610] : [furpelt(_729610), -(isa(_729610, c_furpelt))], (4444 ^ _592546) ^ [_729812, _729814] : [tptpofobject(_729814, _729812), -(tptpquantity(_729812))], (4450 ^ _592546) ^ [_730020, _730022] : [tptpofobject(_730022, _730020), -(partiallytangible(_730022))], (4456 ^ _592546) ^ [_730242, _730244, _730246] : [relationallinstance(_730246, _730244, _730242), -(thing(_730242))], (4462 ^ _592546) ^ [_730472, _730474, _730476] : [relationallinstance(_730476, _730474, _730472), -(collection(_730474))], (4468 ^ _592546) ^ [_730702, _730704, _730706] : [relationallinstance(_730706, _730704, _730702), -(binarypredicate(_730706))], (4474 ^ _592546) ^ [_730904] : [isa(_730904, c_tptpcol_13_93766), -(tptpcol_13_93766(_730904))], (4480 ^ _592546) ^ [_731092] : [tptpcol_13_93766(_731092), -(isa(_731092, c_tptpcol_13_93766))], (4486 ^ _592546) ^ [_731280] : [isa(_731280, c_tptpcol_9_40196), -(tptpcol_9_40196(_731280))], (4492 ^ _592546) ^ [_731468] : [tptpcol_9_40196(_731468), -(isa(_731468, c_tptpcol_9_40196))], (4498 ^ _592546) ^ [_731656] : [isa(_731656, c_tptpcol_10_40324), -(tptpcol_10_40324(_731656))], (4504 ^ _592546) ^ [_731844] : [tptpcol_10_40324(_731844), -(isa(_731844, c_tptpcol_10_40324))], (4510 ^ _592546) ^ [_732032] : [isa(_732032, c_tptpcol_7_72707), -(tptpcol_7_72707(_732032))], (4516 ^ _592546) ^ [_732220] : [tptpcol_7_72707(_732220), -(isa(_732220, c_tptpcol_7_72707))], (4522 ^ _592546) ^ [_732408] : [isa(_732408, c_tptpcol_8_72708), -(tptpcol_8_72708(_732408))], (4528 ^ _592546) ^ [_732596] : [tptpcol_8_72708(_732596), -(isa(_732596, c_tptpcol_8_72708))], (4534 ^ _592546) ^ [_732784] : [isa(_732784, c_tptpcol_11_93764), -(tptpcol_11_93764(_732784))], (4540 ^ _592546) ^ [_732972] : [tptpcol_11_93764(_732972), -(isa(_732972, c_tptpcol_11_93764))], (4546 ^ _592546) ^ [_733160] : [isa(_733160, c_tptpcol_12_93765), -(tptpcol_12_93765(_733160))], (4552 ^ _592546) ^ [_733348] : [tptpcol_12_93765(_733348), -(isa(_733348, c_tptpcol_12_93765))], (4558 ^ _592546) ^ [_733536] : [isa(_733536, c_tptpcol_4_114689), -(tptpcol_4_114689(_733536))], (4564 ^ _592546) ^ [_733724] : [tptpcol_4_114689(_733724), -(isa(_733724, c_tptpcol_4_114689))], (4570 ^ _592546) ^ [_733912] : [isa(_733912, c_tptpcol_5_114690), -(tptpcol_5_114690(_733912))], (4576 ^ _592546) ^ [_734100] : [tptpcol_5_114690(_734100), -(isa(_734100, c_tptpcol_5_114690))], (4582 ^ _592546) ^ [_734288] : [isa(_734288, c_tptpcol_3_98305), -(tptpcol_3_98305(_734288))], (4588 ^ _592546) ^ [_734476] : [tptpcol_3_98305(_734476), -(isa(_734476, c_tptpcol_3_98305))], (4594 ^ _592546) ^ [_734664] : [isa(_734664, c_tptpcol_4_106497), -(tptpcol_4_106497(_734664))], (4600 ^ _592546) ^ [_734852] : [tptpcol_4_106497(_734852), -(isa(_734852, c_tptpcol_4_106497))], (4606 ^ _592546) ^ [_735067, _735069, _735071, _735073] : [-(natfunction(f_relationexistsallfn(_735073, _735071, _735069, _735067), c_relationexistsallfn))], (4608 ^ _592546) ^ [_735198, _735200, _735202, _735204] : [-(natargument(f_relationexistsallfn(_735204, _735202, _735200, _735198), n_1, _735204))], (4610 ^ _592546) ^ [_735330, _735332, _735334, _735336] : [-(natargument(f_relationexistsallfn(_735336, _735334, _735332, _735330), n_2, _735334))], (4612 ^ _592546) ^ [_735462, _735464, _735466, _735468] : [-(natargument(f_relationexistsallfn(_735468, _735466, _735464, _735462), n_3, _735464))], (4614 ^ _592546) ^ [_735594, _735596, _735598, _735600] : [-(natargument(f_relationexistsallfn(_735600, _735598, _735596, _735594), n_4, _735594))], (4616 ^ _592546) ^ [_735726, _735728, _735730, _735732] : [-(thing(f_relationexistsallfn(_735732, _735730, _735728, _735726)))], (4618 ^ _592546) ^ [_735843, _735845] : [resultisaarg(_735845, _735843), -(positiveinteger(_735843))], (4624 ^ _592546) ^ [_736051, _736053] : [resultisaarg(_736053, _736051), -(function_denotational(_736053))], (4630 ^ _592546) ^ [_736259, _736261] : [tptptypes_7_389(_736261, _736259), -(firstordercollection(_736259))], (4636 ^ _592546) ^ [_736467, _736469] : [tptptypes_7_389(_736469, _736467), -(firstordercollection(_736469))], (4642 ^ _592546) ^ [_736675, _736677] : [tptptypes_8_390(_736677, _736675), -(firstordercollection(_736675))], (4648 ^ _592546) ^ [_736883, _736885] : [tptptypes_8_390(_736885, _736883), -(firstordercollection(_736885))], (4654 ^ _592546) ^ [_737091, _737093] : [tptptypes_8_692(_737093, _737091), -(firstordercollection(_737091))], (4660 ^ _592546) ^ [_737299, _737301] : [tptptypes_8_692(_737301, _737299), -(firstordercollection(_737301))], (4666 ^ _592546) ^ [_737507, _737509] : [tptptypes_9_693(_737509, _737507), -(firstordercollection(_737507))], (4672 ^ _592546) ^ [_737715, _737717] : [tptptypes_9_693(_737717, _737715), -(firstordercollection(_737717))], (4678 ^ _592546) ^ [_737909] : [isa(_737909, c_tptpcol_11_40388), -(tptpcol_11_40388(_737909))], (4684 ^ _592546) ^ [_738097] : [tptpcol_11_40388(_738097), -(isa(_738097, c_tptpcol_11_40388))], (4690 ^ _592546) ^ [_738285] : [isa(_738285, c_marriagelicensedocument), -(marriagelicensedocument(_738285))], (4696 ^ _592546) ^ [_738473] : [marriagelicensedocument(_738473), -(isa(_738473, c_marriagelicensedocument))], (4702 ^ _592546) ^ [_738661] : [isa(_738661, c_tptpcol_1_65536), -(tptpcol_1_65536(_738661))], (4708 ^ _592546) ^ [_738849] : [tptpcol_1_65536(_738849), -(isa(_738849, c_tptpcol_1_65536))], (4714 ^ _592546) ^ [_739037] : [isa(_739037, c_tptpcol_2_98304), -(tptpcol_2_98304(_739037))], (4720 ^ _592546) ^ [_739225] : [tptpcol_2_98304(_739225), -(isa(_739225, c_tptpcol_2_98304))], (4726 ^ _592546) ^ [_739413] : [isa(_739413, c_tptpcol_10_92166), -(tptpcol_10_92166(_739413))], (4732 ^ _592546) ^ [_739601] : [tptpcol_10_92166(_739601), -(isa(_739601, c_tptpcol_10_92166))], (4738 ^ _592546) ^ [_739789] : [isa(_739789, c_tptpcol_11_92230), -(tptpcol_11_92230(_739789))], (4744 ^ _592546) ^ [_739977] : [tptpcol_11_92230(_739977), -(isa(_739977, c_tptpcol_11_92230))], (4750 ^ _592546) ^ [_740165] : [isa(_740165, c_orderingpredicate), -(orderingpredicate(_740165))], (4756 ^ _592546) ^ [_740353] : [orderingpredicate(_740353), -(isa(_740353, c_orderingpredicate))], (4762 ^ _592546) ^ [_740541] : [isa(_740541, c_tptpcol_9_18439), -(tptpcol_9_18439(_740541))], (4768 ^ _592546) ^ [_740729] : [tptpcol_9_18439(_740729), -(isa(_740729, c_tptpcol_9_18439))], (4774 ^ _592546) ^ [_740917] : [isa(_740917, c_tptpcol_10_18567), -(tptpcol_10_18567(_740917))], (4780 ^ _592546) ^ [_741105] : [tptpcol_10_18567(_741105), -(isa(_741105, c_tptpcol_10_18567))], (4786 ^ _592546) ^ [_741293] : [isa(_741293, c_tptpcol_2_65537), -(tptpcol_2_65537(_741293))], (4792 ^ _592546) ^ [_741481] : [tptpcol_2_65537(_741481), -(isa(_741481, c_tptpcol_2_65537))], (4798 ^ _592546) ^ [_741669] : [isa(_741669, c_tptpcol_3_81921), -(tptpcol_3_81921(_741669))], (4804 ^ _592546) ^ [_741857] : [tptpcol_3_81921(_741857), -(isa(_741857, c_tptpcol_3_81921))], (4810 ^ _592546) ^ [_742045] : [isa(_742045, c_artsupplies), -(artsupplies(_742045))], (4816 ^ _592546) ^ [_742233] : [artsupplies(_742233), -(isa(_742233, c_artsupplies))], (4822 ^ _592546) ^ [_742421] : [isa(_742421, c_enduringthing_localized), -(enduringthing_localized(_742421))], (4828 ^ _592546) ^ [_742609] : [enduringthing_localized(_742609), -(isa(_742609, c_enduringthing_localized))], (4834 ^ _592546) ^ [_742797] : [isa(_742797, c_location_underspecified), -(location_underspecified(_742797))], (4840 ^ _592546) ^ [_742985] : [location_underspecified(_742985), -(isa(_742985, c_location_underspecified))], (4846 ^ _592546) ^ [_743173] : [isa(_743173, c_trajector_underspecified), -(trajector_underspecified(_743173))], (4852 ^ _592546) ^ [_743361] : [trajector_underspecified(_743361), -(isa(_743361, c_trajector_underspecified))], (4858 ^ _592546) ^ [_743549] : [isa(_743549, c_individual), -(individual(_743549))], (4864 ^ _592546) ^ [_743737] : [individual(_743737), -(isa(_743737, c_individual))], (4870 ^ _592546) ^ [_743925] : [isa(_743925, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743925))], (4876 ^ _592546) ^ [_744113] : [partiallyintangibleindividual(_744113), -(isa(_744113, c_partiallyintangibleindividual))], (4882 ^ _592546) ^ [_744301] : [isa(_744301, c_tptpcol_10_22022), -(tptpcol_10_22022(_744301))], (4888 ^ _592546) ^ [_744489] : [tptpcol_10_22022(_744489), -(isa(_744489, c_tptpcol_10_22022))], (4894 ^ _592546) ^ [_744677] : [isa(_744677, c_tptpcol_11_22023), -(tptpcol_11_22023(_744677))], (4900 ^ _592546) ^ [_744865] : [tptpcol_11_22023(_744865), -(isa(_744865, c_tptpcol_11_22023))], (4906 ^ _592546) ^ [_745053] : [isa(_745053, c_tptpcol_5_20483), -(tptpcol_5_20483(_745053))], (4912 ^ _592546) ^ [_745241] : [tptpcol_5_20483(_745241), -(isa(_745241, c_tptpcol_5_20483))], (4918 ^ _592546) ^ [_745429] : [isa(_745429, c_tptpcol_13_72791), -(tptpcol_13_72791(_745429))], (4924 ^ _592546) ^ [_745617] : [tptpcol_13_72791(_745617), -(isa(_745617, c_tptpcol_13_72791))], (4930 ^ _592546) ^ [_745805] : [isa(_745805, c_tptpcol_14_72792), -(tptpcol_14_72792(_745805))], (4936 ^ _592546) ^ [_745993] : [tptpcol_14_72792(_745993), -(isa(_745993, c_tptpcol_14_72792))], (4942 ^ _592546) ^ [_746181] : [isa(_746181, c_ridgeline_topographical), -(ridgeline_topographical(_746181))], (4948 ^ _592546) ^ [_746369] : [ridgeline_topographical(_746369), -(isa(_746369, c_ridgeline_topographical))], (4954 ^ _592546) ^ [_746557] : [isa(_746557, c_tptpcol_4_16387), -(tptpcol_4_16387(_746557))], (4960 ^ _592546) ^ [_746745] : [tptpcol_4_16387(_746745), -(isa(_746745, c_tptpcol_4_16387))], (4966 ^ _592546) ^ [_746933] : [isa(_746933, c_tptpcol_5_16388), -(tptpcol_5_16388(_746933))], (4972 ^ _592546) ^ [_747121] : [tptpcol_5_16388(_747121), -(isa(_747121, c_tptpcol_5_16388))], (4978 ^ _592546) ^ [_747309] : [isa(_747309, c_tptpcol_8_22020), -(tptpcol_8_22020(_747309))], (4984 ^ _592546) ^ [_747497] : [tptpcol_8_22020(_747497), -(isa(_747497, c_tptpcol_8_22020))], (4990 ^ _592546) ^ [_747685] : [isa(_747685, c_tptpcol_9_22021), -(tptpcol_9_22021(_747685))], (4996 ^ _592546) ^ [_747873] : [tptpcol_9_22021(_747873), -(isa(_747873, c_tptpcol_9_22021))], (5002 ^ _592546) ^ [_748061] : [isa(_748061, c_transitivebinarypredicate), -(transitivebinarypredicate(_748061))], (5008 ^ _592546) ^ [_748249] : [transitivebinarypredicate(_748249), -(isa(_748249, c_transitivebinarypredicate))], (5014 ^ _592546) ^ [_748451, _748453] : [geographicalsubregions(_748453, _748451), -(geographicalregion(_748451))], (5020 ^ _592546) ^ [_748659, _748661] : [geographicalsubregions(_748661, _748659), -(geographicalregion(_748661))], (5026 ^ _592546) ^ [_748881, _748883, _748885] : [-(geographicalsubregions(_748885, _748881)), geographicalsubregions(_748885, _748883), geographicalsubregions(_748883, _748881)], (5036 ^ _592546) ^ [_749176] : [geographicalregion(_749176), -(geographicalsubregions(_749176, _749176))], (5042 ^ _592546) ^ [_749364] : [isa(_749364, c_tptpcol_12_40420), -(tptpcol_12_40420(_749364))], (5048 ^ _592546) ^ [_749552] : [tptpcol_12_40420(_749552), -(isa(_749552, c_tptpcol_12_40420))], (5054 ^ _592546) ^ [_749740] : [isa(_749740, c_tptpcol_13_40421), -(tptpcol_13_40421(_749740))], (5060 ^ _592546) ^ [_749928] : [tptpcol_13_40421(_749928), -(isa(_749928, c_tptpcol_13_40421))], (5066 ^ _592546) ^ [_750116] : [isa(_750116, c_tptpcol_6_92162), -(tptpcol_6_92162(_750116))], (5072 ^ _592546) ^ [_750304] : [tptpcol_6_92162(_750304), -(isa(_750304, c_tptpcol_6_92162))], (5078 ^ _592546) ^ [_750492] : [isa(_750492, c_tptpcol_7_93186), -(tptpcol_7_93186(_750492))], (5084 ^ _592546) ^ [_750680] : [tptpcol_7_93186(_750680), -(isa(_750680, c_tptpcol_7_93186))], (5090 ^ _592546) ^ [_750882, _750884] : [most(_750884, _750882), -(setorcollection(_750882))], (5096 ^ _592546) ^ [_751090, _751092] : [most(_751092, _751090), -(setorcollection(_751090))], (5102 ^ _592546) ^ [_751298, _751300] : [most(_751300, _751298), -(setorcollection(_751300))], (5108 ^ _592546) ^ [_751506, _751508] : [most(_751508, _751506), -(setorcollection(_751508))], (5114 ^ _592546) ^ [_751700] : [setorcollection(_751700), -(most(_751700, _751700))], (5120 ^ _592546) ^ [_751888] : [setorcollection(_751888), -(most(_751888, _751888))], (5126 ^ _592546) ^ [_752104, _752106, _752108] : [-(most(_752108, _752104)), most(_752108, _752106), subsetof(_752106, _752104)], (5136 ^ _592546) ^ [_752427, _752429, _752431] : [-(most(_752431, _752427)), most(_752431, _752429), subsetof(_752429, _752427)], (5146 ^ _592546) ^ [_752736, _752738] : [subsetof(_752738, _752736), -(setorcollection(_752736))], (5152 ^ _592546) ^ [_752944, _752946] : [subsetof(_752946, _752944), -(setorcollection(_752946))], (5158 ^ _592546) ^ [_753166, _753168, _753170] : [-(subsetof(_753170, _753166)), subsetof(_753170, _753168), subsetof(_753168, _753166)], (5168 ^ _592546) ^ [_753461] : [setorcollection(_753461), -(subsetof(_753461, _753461))], (5174 ^ _592546) ^ [_753677, _753679, _753681] : [-(subsetof(_753677, _753679)), subsetof(_753681, _753679), subsetof(_753677, _753681)], (5184 ^ _592546) ^ [_754000, _754002, _754004] : [-(subsetof(_754004, _754000)), subsetof(_754004, _754002), subsetof(_754002, _754000)], (5194 ^ _592546) ^ [_754323, _754325, _754327] : [-(subsetof(_754327, _754323)), subsetof(_754327, _754325), subsetof(_754325, _754323)], (5204 ^ _592546) ^ [_754632, _754634] : [genlpreds(_754634, _754632), -(predicate(_754632))], (5210 ^ _592546) ^ [_754840, _754842] : [genlpreds(_754842, _754840), -(predicate(_754840))], (5216 ^ _592546) ^ [_755048, _755050] : [genlpreds(_755050, _755048), -(predicate(_755050))], (5222 ^ _592546) ^ [_755256, _755258] : [genlpreds(_755258, _755256), -(predicate(_755258))], (5228 ^ _592546) ^ [_755478, _755480, _755482] : [-(genlpreds(_755482, _755478)), genlpreds(_755482, _755480), genlpreds(_755480, _755478)], (5238 ^ _592546) ^ [_755773] : [predicate(_755773), -(genlpreds(_755773, _755773))], (5244 ^ _592546) ^ [_755961] : [predicate(_755961), -(genlpreds(_755961, _755961))], (5250 ^ _592546) ^ [_756163, _756165] : [genlinverse(_756165, _756163), -(binarypredicate(_756163))], (5256 ^ _592546) ^ [_756371, _756373] : [genlinverse(_756373, _756371), -(binarypredicate(_756373))], (5262 ^ _592546) ^ [_756593, _756595, _756597] : [-(genlinverse(_756593, _756595)), genlinverse(_756597, _756595), genlpreds(_756593, _756597)], (5272 ^ _592546) ^ [_756916, _756918, _756920] : [-(genlinverse(_756920, _756916)), genlinverse(_756920, _756918), genlpreds(_756918, _756916)], (5282 ^ _592546) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592546) ^ [_757264] : [isa(_757264, c_microtheory), -(microtheory(_757264))], (5290 ^ _592546) ^ [_757452] : [microtheory(_757452), -(isa(_757452, c_microtheory))], (5296 ^ _592546) ^ [_757625] : [-(natfunction(f_urlfn(_757625), c_urlfn))], (5298 ^ _592546) ^ [_757705] : [-(natargument(f_urlfn(_757705), n_1, _757705))], (5300 ^ _592546) ^ [_757786] : [-(uniformresourcelocator(f_urlfn(_757786)))], (5302 ^ _592546) ^ [_757865] : [-(natfunction(f_urlreferentfn(_757865), c_urlreferentfn))], (5304 ^ _592546) ^ [_757945] : [-(natargument(f_urlreferentfn(_757945), n_1, _757945))], (5306 ^ _592546) ^ [_758026] : [-(computerdataartifact(f_urlreferentfn(_758026)))], (5308 ^ _592546) ^ [_758119, _758121] : [-(natfunction(f_contentmtofcdafromeventfn(_758121, _758119), c_contentmtofcdafromeventfn))], (5310 ^ _592546) ^ [_758216, _758218] : [-(natargument(f_contentmtofcdafromeventfn(_758218, _758216), n_1, _758218))], (5312 ^ _592546) ^ [_758314, _758316] : [-(natargument(f_contentmtofcdafromeventfn(_758316, _758314), n_2, _758314))], (5314 ^ _592546) ^ [_758412, _758414] : [-(microtheory(f_contentmtofcdafromeventfn(_758414, _758412)))], (5316 ^ _592546) ^ [_758523, _758525] : [isa(_758525, _758523), -(collection(_758523))], (5322 ^ _592546) ^ [_758731, _758733] : [isa(_758733, _758731), -(collection(_758731))], (5328 ^ _592546) ^ [_758939, _758941] : [isa(_758941, _758939), -(thing(_758941))], (5334 ^ _592546) ^ [_759147, _759149] : [isa(_759149, _759147), -(thing(_759149))], (5340 ^ _592546) ^ [_759369, _759371, _759373] : [-(isa(_759373, _759369)), isa(_759373, _759371), genls(_759371, _759369)], (5350 ^ _592546) ^ [_759664] : [isa(_759664, c_inanimateobject), -(inanimateobject(_759664))], (5356 ^ _592546) ^ [_759852] : [inanimateobject(_759852), -(isa(_759852, c_inanimateobject))], (5362 ^ _592546) ^ [_760040] : [isa(_760040, c_tptpcol_9_72709), -(tptpcol_9_72709(_760040))], (5368 ^ _592546) ^ [_760228] : [tptpcol_9_72709(_760228), -(isa(_760228, c_tptpcol_9_72709))], (5374 ^ _592546) ^ [_760416] : [isa(_760416, c_tptpcol_10_72710), -(tptpcol_10_72710(_760416))], (5380 ^ _592546) ^ [_760604] : [tptpcol_10_72710(_760604), -(isa(_760604, c_tptpcol_10_72710))], (5386 ^ _592546) ^ [_760792] : [isa(_760792, c_tptpcol_14_40429), -(tptpcol_14_40429(_760792))], (5392 ^ _592546) ^ [_760980] : [tptpcol_14_40429(_760980), -(isa(_760980, c_tptpcol_14_40429))], (5398 ^ _592546) ^ [_761168] : [isa(_761168, c_tptpcol_15_40430), -(tptpcol_15_40430(_761168))], (5404 ^ _592546) ^ [_761356] : [tptpcol_15_40430(_761356), -(isa(_761356, c_tptpcol_15_40430))], (5410 ^ _592546) ^ [_761558, _761560] : [genls(_761560, _761558), -(collection(_761558))], (5416 ^ _592546) ^ [_761766, _761768] : [genls(_761768, _761766), -(collection(_761766))], (5422 ^ _592546) ^ [_761974, _761976] : [genls(_761976, _761974), -(collection(_761976))], (5428 ^ _592546) ^ [_762182, _762184] : [genls(_762184, _762182), -(collection(_762184))], (5434 ^ _592546) ^ [_762404, _762406, _762408] : [-(genls(_762408, _762404)), genls(_762408, _762406), genls(_762406, _762404)], (5444 ^ _592546) ^ [_762699] : [collection(_762699), -(genls(_762699, _762699))], (5450 ^ _592546) ^ [_762887] : [collection(_762887), -(genls(_762887, _762887))], (5456 ^ _592546) ^ [_763103, _763105, _763107] : [-(genls(_763103, _763105)), genls(_763107, _763105), genls(_763103, _763107)], (5466 ^ _592546) ^ [_763426, _763428, _763430] : [-(genls(_763430, _763426)), genls(_763430, _763428), genls(_763428, _763426)], (5476 ^ _592546) ^ [_763721] : [isa(_763721, c_partiallytangible), -(partiallytangible(_763721))], (5482 ^ _592546) ^ [_763909] : [partiallytangible(_763909), -(isa(_763909, c_partiallytangible))], (5488 ^ _592546) ^ [_764097] : [isa(_764097, c_intangible), -(intangible(_764097))], (5494 ^ _592546) ^ [_764285] : [intangible(_764285), -(isa(_764285, c_intangible))], (5500 ^ _592546) ^ [_764487, _764489] : [disjointwith(_764489, _764487), -(collection(_764487))], (5506 ^ _592546) ^ [_764695, _764697] : [disjointwith(_764697, _764695), -(collection(_764697))], (5512 ^ _592546) ^ [_764903, _764905] : [disjointwith(_764905, _764903), -(disjointwith(_764903, _764905))], (5518 ^ _592546) ^ [_765127, _765129, _765131] : [-(disjointwith(_765131, _765127)), disjointwith(_765131, _765129), genls(_765127, _765129)], (5528 ^ _592546) ^ [_765450, _765452, _765454] : [-(disjointwith(_765450, _765452)), disjointwith(_765454, _765452), genls(_765450, _765454)], (5538 ^ _592546) ^ [_765759, _765761] : [-(mtvisible(_765759)), mtvisible(_765761), genlmt(_765761, _765759)], (5548 ^ _592546) ^ [_766054, _766056] : [genlmt(_766056, _766054), -(microtheory(_766054))], (5554 ^ _592546) ^ [_766262, _766264] : [genlmt(_766264, _766262), -(microtheory(_766262))], (5560 ^ _592546) ^ [_766470, _766472] : [genlmt(_766472, _766470), -(microtheory(_766472))], (5566 ^ _592546) ^ [_766678, _766680] : [genlmt(_766680, _766678), -(microtheory(_766680))], (5572 ^ _592546) ^ [_766900, _766902, _766904] : [-(genlmt(_766904, _766900)), genlmt(_766904, _766902), genlmt(_766902, _766900)], (5582 ^ _592546) ^ [_767195] : [microtheory(_767195), -(genlmt(_767195, _767195))], (5594 ^ _592546) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592546) ^ [_767383] : [microtheory(_767383), -(genlmt(_767383, _767383))]], input).
% 0.43/1.39  ncf('1',plain,[genls(c_tptpcol_16_130933, c_tptpcol_15_130931)],start(5598 ^ 0)).
% 0.43/1.39  ncf('1.1',plain,[-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))],extension(1286 ^ 1)).
% 0.43/1.39  %-----------------------------------------------------
% 0.43/1.39  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------