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

% Computer : n005.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:38:26 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR043+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.13  % Command  : nanocop.sh %s %d
% 0.12/0.34  % Computer : n005.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Fri May 19 00:22:08 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 0.40/1.39  
% 0.40/1.39  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.40/1.39  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.40/1.39  %-----------------------------------------------------
% 0.40/1.39  ncf(matrix, plain, [(5596 ^ _592246) ^ [] : [-(mtvisible(c_tptp_member2862_mt))], (5598 ^ _592246) ^ [] : [genls(c_tptpcol_16_30972, c_tptpcol_15_30970)], (2 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592246) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592246) ^ [_592451] : [intangible(_592451), partiallytangible(_592451)], (12 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592246) ^ [_592689] : [tptpcol_15_40430(_592689), -(tptpcol_14_40429(_592689))], (20 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592246) ^ [_592928] : [tptpcol_10_72710(_592928), -(tptpcol_9_72709(_592928))], (28 ^ _592246) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592246) ^ [_593167] : [inanimateobject(_593167), -(partiallytangible(_593167))], (36 ^ _592246) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592246) ^ [_593434, _593436, _593438] : [-(genlpreds(_593438, _593434)), genlinverse(_593438, _593436), genlinverse(_593436, _593434)], (48 ^ _592246) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592246) ^ [_593796, _593798] : [subsetof(_593798, _593796), -(most(_593798, _593796))], (56 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592246) ^ [_594045] : [tptpcol_7_93186(_594045), -(tptpcol_6_92162(_594045))], (64 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592246) ^ [_594284] : [tptpcol_13_40421(_594284), -(tptpcol_12_40420(_594284))], (72 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592246) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592246) ^ [_594748] : [tptpcol_9_22021(_594748), -(tptpcol_8_22020(_594748))], (90 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592246) ^ [_594987] : [tptpcol_5_16388(_594987), -(tptpcol_4_16387(_594987))], (98 ^ _592246) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592246) ^ [_595345] : [tptpcol_14_72792(_595345), -(tptpcol_13_72791(_595345))], (112 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592246) ^ [_595584] : [tptpcol_5_20483(_595584), -(tptpcol_4_16387(_595584))], (120 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592246) ^ [_595823] : [tptpcol_11_22023(_595823), -(tptpcol_10_22022(_595823))], (128 ^ _592246) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592246) ^ [_596062] : [partiallyintangibleindividual(_596062), -(individual(_596062))], (136 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592246) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592246) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592246) ^ [_596407] : [trajector_underspecified(_596407), -(location_underspecified(_596407))], (148 ^ _592246) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592246) ^ [_596646] : [partiallytangible(_596646), -(enduringthing_localized(_596646))], (156 ^ _592246) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592246) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592246) ^ [_597004] : [tptpcol_3_81921(_597004), -(tptpcol_2_65537(_597004))], (170 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592246) ^ [_597243] : [tptpcol_10_18567(_597243), -(tptpcol_9_18439(_597243))], (178 ^ _592246) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592246) ^ [_597482] : [orderingpredicate(_597482), -(transitivebinarypredicate(_597482))], (186 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592246) ^ [_597721] : [tptpcol_11_92230(_597721), -(tptpcol_10_92166(_597721))], (194 ^ _592246) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592246) ^ [_597960] : [tptpcol_2_98304(_597960), -(tptpcol_1_65536(_597960))], (202 ^ _592246) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592246) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592246) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592246) ^ [_598424] : [tptpcol_12_40420(_598424), -(tptpcol_11_40388(_598424))], (220 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592246) ^ [_598677, _598679] : [tptptypes_9_693(_598679, _598677), -(tptptypes_8_692(_598679, _598677))], (228 ^ _592246) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592246) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592246) ^ [_599046, _599048] : [tptptypes_8_390(_599048, _599046), -(tptptypes_7_389(_599048, _599046))], (240 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592246) ^ [_599390, _599392, _599394, _599396] : [-(isa(f_relationexistsallfn(_599396, _599392, _599390, _599394), _599390)), isa(_599396, _599394), relationexistsall(_599392, _599390, _599394)], (254 ^ _592246) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592246) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592246) ^ [_599919] : [tptpcol_4_106497(_599919), -(tptpcol_3_98305(_599919))], (268 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592246) ^ [_600158] : [tptpcol_5_114690(_600158), -(tptpcol_4_114689(_600158))], (276 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592246) ^ [_600397] : [tptpcol_12_93765(_600397), -(tptpcol_11_93764(_600397))], (284 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592246) ^ [_600636] : [tptpcol_8_72708(_600636), -(tptpcol_7_72707(_600636))], (292 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592246) ^ [_600875] : [tptpcol_10_40324(_600875), -(tptpcol_9_40196(_600875))], (300 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592246) ^ [_601114] : [tptpcol_13_93766(_601114), -(tptpcol_12_93765(_601114))], (308 ^ _592246) ^ [_601300] : [-(tptpofobject(_601300, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601300)], (318 ^ _592246) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592246) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592246) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592246) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592246) ^ [_601964] : [location_underspecified(_601964), -(thing(_601964))], (342 ^ _592246) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592246) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592246) ^ [_602309] : [tptpcol_12_92262(_602309), -(tptpcol_11_92230(_602309))], (354 ^ _592246) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592246) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592246) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592246) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592246) ^ [_602826] : [tptpcol_10_109061(_602826), -(tptpcol_9_109060(_602826))], (374 ^ _592246) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592246) ^ [_603132, _603134] : [tptptypes_6_388(_603134, _603132), -(tptptypes_5_387(_603134, _603132))], (384 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592246) ^ [_603381] : [tptpcol_6_116738(_603381), -(tptpcol_5_114690(_603381))], (392 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592246) ^ [_603620] : [tptpcol_15_92268(_603620), -(tptpcol_14_92264(_603620))], (400 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592246) ^ [_603925] : [-(tptpofobject(_603925, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_603925)], (416 ^ _592246) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592246) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592246) ^ [_604378, _604380] : [tptptypes_9_401(_604380, _604378), -(tptptypes_8_400(_604378, _604380))], (430 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592246) ^ [_604627] : [tptpcol_12_18663(_604627), -(tptpcol_11_18631(_604627))], (438 ^ _592246) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592246) ^ [_604866] : [setorcollection(_604866), -(mathematicalthing(_604866))], (446 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592246) ^ [_605105] : [tptpcol_13_109173(_605105), -(tptpcol_12_109157(_605105))], (454 ^ _592246) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592246) ^ [_605397] : [tptpcol_5_106498(_605397), -(tptpcol_4_106497(_605397))], (464 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592246) ^ [_605636] : [tptpcol_5_24579(_605636), -(tptpcol_4_24578(_605636))], (472 ^ _592246) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592246) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592246) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592246) ^ [_606166] : [tptpcol_1_65536(_606166), -(tptpcol_0_0(_606166))], (494 ^ _592246) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592246) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592246) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592246) ^ [_606591, _606593] : [geographicalsubregions(_606593, _606591), -(inregion(_606591, _606593))], (510 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592246) ^ [_606840] : [tptpcol_11_118084(_606840), -(tptpcol_10_118020(_606840))], (518 ^ _592246) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592246) ^ [_607079] : [mathematicalorcomputationalthing(_607079), -(intangible(_607079))], (526 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592246) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592246) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592246) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592246) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592246) ^ [_607597, _607599] : [tptptypes_7_819(_607599, _607597), -(tptptypes_6_818(_607599, _607597))], (544 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592246) ^ [_607899] : [tptpcol_12_26919(_607899), -(tptpcol_11_26887(_607899))], (554 ^ _592246) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592246) ^ [_608152, _608154] : [tptptypes_8_692(_608154, _608152), -(tptptypes_7_691(_608152, _608154))], (562 ^ _592246) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592246) ^ [_608401] : [tptpcol_2_2(_608401), -(tptpcol_1_1(_608401))], (570 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592246) ^ [_608693] : [tptpcol_9_92165(_608693), -(tptpcol_8_92164(_608693))], (580 ^ _592246) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592246) ^ [_608932] : [fixedordercollection(_608932), -(collection(_608932))], (588 ^ _592246) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592246) ^ [_609171] : [tptpcol_1_1(_609171), tptpcol_1_65536(_609171)], (596 ^ _592246) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592246) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592246) ^ [_609462] : [microtheory(_609462), -(aspatialinformationstore(_609462))], (606 ^ _592246) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592246) ^ [_609767] : [-(tptp_8_875(_609767, f_relationallexistsfn(_609767, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_609767, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592246) ^ [] : [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 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592246) ^ [_610218] : [tptpcol_10_118020(_610218), -(tptpcol_9_118019(_610218))], (636 ^ _592246) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592246) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592246) ^ [_610576] : [-(tptp_9_720(_610576, f_relationallexistsfn(_610576, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610576)], (654 ^ _592246) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592246) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592246) ^ [_611025] : [individual(_611025), setorcollection(_611025)], (668 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592246) ^ [_611263] : [tptpcol_12_22055(_611263), -(tptpcol_11_22023(_611263))], (676 ^ _592246) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592246) ^ [_611502] : [applicationcontext(_611502), -(microtheory(_611502))], (684 ^ _592246) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592246) ^ [_611808, _611810] : [tptptypes_8_400(_611810, _611808), -(tptptypes_7_396(_611810, _611808))], (694 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592246) ^ [_612057] : [tptpcol_11_18631(_612057), -(tptpcol_10_18567(_612057))], (702 ^ _592246) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592246) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592246) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592246) ^ [_612468] : [mathematicalthing(_612468), -(mathematicalorcomputationalthing(_612468))], (718 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592246) ^ [_612760] : [tptpcol_15_93775(_612760), -(tptpcol_14_93774(_612760))], (728 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592246) ^ [_612999] : [tptpcol_8_109059(_612999), -(tptpcol_7_108547(_612999))], (736 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592246) ^ [_613238] : [tptpcol_14_40429(_613238), -(tptpcol_13_40421(_613238))], (744 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592246) ^ [_613596] : [tptpcol_14_22072(_613596), -(tptpcol_13_22071(_613596))], (758 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592246) ^ [_613835] : [tptpcol_14_93774(_613835), -(tptpcol_13_93766(_613835))], (766 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592246) ^ [_614074] : [tptpcol_10_22022(_614074), -(tptpcol_9_22021(_614074))], (774 ^ _592246) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592246) ^ [_614313] : [inanimateobject_nonnatural(_614313), -(inanimateobject(_614313))], (782 ^ _592246) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592246) ^ [_614658] : [tptpcol_9_72709(_614658), -(tptpcol_8_72708(_614658))], (794 ^ _592246) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592246) ^ [_614897] : [-(tptpofobject(_614897, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_614897)], (806 ^ _592246) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592246) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592246) ^ [_615336] : [firstordercollection(_615336), -(fixedordercollection(_615336))], (820 ^ _592246) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592246) ^ [_615747] : [tptpcol_13_18664(_615747), -(tptpcol_12_18663(_615747))], (836 ^ _592246) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592246) ^ [_615986] : [artifact(_615986), -(inanimateobject_nonnatural(_615986))], (844 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592246) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592246) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592246) ^ [_616384] : [tptpcol_7_113665(_616384), -(tptpcol_6_112641(_616384))], (858 ^ _592246) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592246) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592246) ^ [_616742] : [geographicalregion(_616742), -(partiallytangible(_616742))], (872 ^ _592246) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592246) ^ [_616995, _616997] : [disjointwith(_616997, _616995), -(no(_616997, _616995))], (880 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592246) ^ [_617244] : [tptpcol_4_24578(_617244), -(tptpcol_3_16386(_617244))], (888 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592246) ^ [_617483] : [tptpcol_5_69635(_617483), -(tptpcol_4_65539(_617483))], (896 ^ _592246) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592246) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592246) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592246) ^ [_617842, _617844] : [genls(_617844, _617842), -(collection(_617844))], (908 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592246) ^ [_618089] : [tptpcol_13_22071(_618089), -(tptpcol_12_22055(_618089))], (916 ^ _592246) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592246) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592246) ^ [_618381] : [tptpcol_3_98305(_618381), -(tptpcol_2_98304(_618381))], (926 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592246) ^ [_618620] : [tptpcol_4_114689(_618620), -(tptpcol_3_114688(_618620))], (934 ^ _592246) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592246) ^ [_618859] : [artsupplies(_618859), -(supplies(_618859))], (942 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592246) ^ [_619098] : [tptpcol_8_26629(_619098), -(tptpcol_7_26628(_619098))], (950 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592246) ^ [_619337] : [tptpcol_9_109060(_619337), -(tptpcol_8_109059(_619337))], (958 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592246) ^ [_619576] : [isa(_619576, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619576, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619576))], (966 ^ _592246) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592246) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592246) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592246) ^ [_620160] : [tptpcol_14_109181(_620160), -(tptpcol_13_109173(_620160))], (988 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592246) ^ [_620399] : [tptpcol_16_30972(_620399), -(tptpcol_15_30970(_620399))], (996 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592246) ^ [_620691] : [tptpcol_9_18439(_620691), -(tptpcol_8_18438(_620691))], (1006 ^ _592246) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592246) ^ [_620983] : [tptpcol_12_118116(_620983), -(tptpcol_11_118084(_620983))], (1016 ^ _592246) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592246) ^ [_621275] : [tptpcol_7_26628(_621275), -(tptpcol_6_26627(_621275))], (1026 ^ _592246) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592246) ^ [_621528, _621530] : [most(_621530, _621528), -(setorcollection(_621530))], (1034 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592246) ^ [_621775] : [tptpcol_15_109185(_621775), -(tptpcol_14_109181(_621775))], (1042 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592246) ^ [_622014] : [tptpcol_16_92269(_622014), -(tptpcol_15_92268(_622014))], (1050 ^ _592246) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592246) ^ [_622320, _622322] : [tptptypes_8_823(_622322, _622320), -(tptptypes_7_819(_622322, _622320))], (1060 ^ _592246) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592246) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592246) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592246) ^ [_622900] : [tptpcol_10_26886(_622900), -(tptpcol_9_26885(_622900))], (1082 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592246) ^ [_623192] : [tptpcol_15_72793(_623192), -(tptpcol_14_72792(_623192))], (1092 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592246) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592246) ^ [_623550] : [navypersonnel(_623550), -(militaryperson(_623550))], (1106 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592246) ^ [_623789] : [tptpcol_4_16387(_623789), -(tptpcol_3_16386(_623789))], (1114 ^ _592246) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592246) ^ [_624028] : [enduringthing_localized(_624028), -(spatialthing_nonsituational(_624028))], (1122 ^ _592246) ^ [_624214] : [collection(_624214), individual(_624214)], (1128 ^ _592246) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592246) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592246) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592246) ^ [_624743] : [physicalorderingpredicate(_624743), -(orderingpredicate(_624743))], (1150 ^ _592246) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592246) ^ [_624996, _624998] : [disjointwith(_624998, _624996), -(collection(_624996))], (1158 ^ _592246) ^ [_625232, _625234, _625236, _625238] : [-(isa(f_relationallexistsfn(_625238, _625234, _625236, _625232), _625232)), isa(_625238, _625236), relationallexists(_625234, _625236, _625232)], (1168 ^ _592246) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592246) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592246) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592246) ^ [_625841, _625843] : [tptptypes_7_389(_625843, _625841), -(tptptypes_6_388(_625841, _625843))], (1186 ^ _592246) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592246) ^ [_626156] : [-(hpkb_subnationalagent(_626156)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626156)], (1202 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592246) ^ [_626474] : [tptpcol_8_22020(_626474), -(tptpcol_7_21508(_626474))], (1210 ^ _592246) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592246) ^ [_626713] : [-(tptp_9_51(f_relationexistsallfn(_626713, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _626713)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_626713, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592246) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592246) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592246) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592246) ^ [_627217] : [tptpcol_3_65538(_627217), -(tptpcol_2_65537(_627217))], (1238 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592246) ^ [_627456] : [tptpcol_14_26921(_627456), -(tptpcol_13_26920(_627456))], (1246 ^ _592246) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592246) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592246) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592246) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592246) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592246) ^ [_627907] : [intangibleindividual(_627907), -(partiallyintangibleindividual(_627907))], (1262 ^ _592246) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592246) ^ [_628265] : [tptpcol_16_130924(_628265), -(tptpcol_15_130923(_628265))], (1276 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592246) ^ [_628504] : [tptpcol_7_92163(_628504), -(tptpcol_6_92162(_628504))], (1284 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592246) ^ [_628796] : [tptpcol_16_130933(_628796), -(tptpcol_15_130931(_628796))], (1294 ^ _592246) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592246) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592246) ^ [_629102, _629104] : [no(_629104, _629102), -(few(_629104, _629102))], (1304 ^ _592246) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592246) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592246) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592246) ^ [_629510] : [tptpcol_6_20484(_629510), -(tptpcol_5_20483(_629510))], (1318 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592246) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592246) ^ [_629974] : [tptpcol_7_108547(_629974), -(tptpcol_6_108546(_629974))], (1336 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592246) ^ [_630213] : [tptpcol_11_109125(_630213), -(tptpcol_10_109061(_630213))], (1344 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592246) ^ [_630505] : [tptpcol_8_93698(_630505), -(tptpcol_7_93186(_630505))], (1354 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592246) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592246) ^ [_630797] : [tptpcol_2_65537(_630797), -(tptpcol_1_65536(_630797))], (1364 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592246) ^ [_631089] : [tptpcol_6_18436(_631089), -(tptpcol_5_16388(_631089))], (1374 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592246) ^ [_631328] : [tptpcol_8_18438(_631328), -(tptpcol_7_18437(_631328))], (1382 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592246) ^ [_631686] : [tptpcol_8_117763(_631686), -(tptpcol_7_117762(_631686))], (1396 ^ _592246) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592246) ^ [_631978] : [tptpcol_12_109157(_631978), -(tptpcol_11_109125(_631978))], (1406 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592246) ^ [_632217] : [tptpcol_7_117762(_632217), -(tptpcol_6_116738(_632217))], (1414 ^ _592246) ^ [_632431, _632433, _632435] : [isa(_632435, _632433), isa(_632435, _632431), disjointwith(_632433, _632431)], (1424 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592246) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592246) ^ [_632831] : [aspatialinformationstore(_632831), -(aspatialthing(_632831))], (1434 ^ _592246) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592246) ^ [_633229] : [tptpcol_9_93699(_633229), -(tptpcol_8_93698(_633229))], (1448 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592246) ^ [_633468] : [tptpcol_11_93764(_633468), -(tptpcol_10_93700(_633468))], (1456 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592246) ^ [_633707] : [tptpcol_6_26627(_633707), -(tptpcol_5_24579(_633707))], (1464 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592246) ^ [_633946] : [tptpcol_4_90113(_633946), -(tptpcol_3_81921(_633946))], (1472 ^ _592246) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592246) ^ [_634238] : [tptpcol_10_93700(_634238), -(tptpcol_9_93699(_634238))], (1482 ^ _592246) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592246) ^ [_634477] : [aspatialinformationstore(_634477), -(intangibleindividual(_634477))], (1490 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592246) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592246) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592246) ^ [_634888] : [tptpcol_3_16386(_634888), -(tptpcol_2_2(_634888))], (1506 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592246) ^ [_635127] : [tptpcol_9_118019(_635127), -(tptpcol_8_117763(_635127))], (1514 ^ _592246) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592246) ^ [_635366] : [individual(_635366), -(trajector_underspecified(_635366))], (1522 ^ _592246) ^ [_635552] : [shavingrazor_manual(_635552), -(tptp_8_271(f_relationexistsallfn(_635552, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635552))], (1528 ^ _592246) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592246) ^ [_635856] : [tptpcol_6_112641(_635856), -(tptpcol_5_110593(_635856))], (1538 ^ _592246) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592246) ^ [_636095] : [tptpcol_12_72775(_636095), -(tptpcol_11_72774(_636095))], (1546 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592246) ^ [_636334] : [tptpcol_7_72707(_636334), -(tptpcol_6_71683(_636334))], (1554 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592246) ^ [_636573] : [tptpcol_16_50958(_636573), -(tptpcol_15_50957(_636573))], (1562 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592246) ^ [_636812] : [tptpcol_8_114177(_636812), -(tptpcol_7_113665(_636812))], (1570 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592246) ^ [_637051] : [tptpcol_16_72795(_637051), -(tptpcol_15_72793(_637051))], (1578 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592246) ^ [_637290] : [tptpcol_6_71683(_637290), -(tptpcol_5_69635(_637290))], (1586 ^ _592246) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592246) ^ [_637596, _637598] : [tptptypes_7_396(_637598, _637596), -(tptptypes_6_388(_637598, _637596))], (1596 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592246) ^ [_637845] : [tptpcol_9_26885(_637845), -(tptpcol_8_26629(_637845))], (1604 ^ _592246) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592246) ^ [_638098, _638100] : [genls(_638100, _638098), -(subsetof(_638100, _638098))], (1612 ^ _592246) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592246) ^ [_638414, _638416] : [tptptypes_6_818(_638416, _638414), -(tptptypes_5_802(_638416, _638414))], (1622 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592246) ^ [_638663] : [tptpcol_6_92162(_638663), -(tptpcol_5_90114(_638663))], (1630 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592246) ^ [_638955] : [tptpcol_8_92164(_638955), -(tptpcol_7_92163(_638955))], (1640 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592246) ^ [_639194] : [tptpcol_13_118117(_639194), -(tptpcol_12_118116(_639194))], (1648 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592246) ^ [_639433] : [tptpcol_11_40388(_639433), -(tptpcol_10_40324(_639433))], (1656 ^ _592246) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592246) ^ [_639686, _639688] : [tptptypes_9_824(_639688, _639686), -(tptptypes_8_823(_639688, _639686))], (1664 ^ _592246) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592246) ^ [_639988] : [tptpcol_11_26887(_639988), -(tptpcol_10_26886(_639988))], (1674 ^ _592246) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592246) ^ [_640227] : [tptpcol_16_26926(_640227), -(tptpcol_15_26925(_640227))], (1682 ^ _592246) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592246) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592246) ^ [_640533, _640535] : [few(_640535, _640533), -(setorcollection(_640533))], (1692 ^ _592246) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592246) ^ [_640780] : [tptpcol_4_65539(_640780), -(tptpcol_3_65538(_640780))], (1700 ^ _592246) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592246) ^ [_641019] : [tptpcol_8_39940(_641019), -(tptpcol_7_39939(_641019))], (1708 ^ _592246) ^ [_641205] : [-(tptpofobject(_641205, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641205)], (1718 ^ _592246) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592246) ^ [_641644] : [tptpcol_15_22076(_641644), -(tptpcol_14_22072(_641644))], (1732 ^ _592246) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592246) ^ [_641883] : [tptpcol_0_0(_641883), -(individual(_641883))], (1740 ^ _592246) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592246) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592246) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592246) ^ [_642281] : [tptpcol_11_72774(_642281), -(tptpcol_10_72710(_642281))], (1754 ^ _592246) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592246) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592246) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592246) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592246) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592246) ^ [_642917] : [tptpcol_7_21508(_642917), -(tptpcol_6_20484(_642917))], (1780 ^ _592246) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592246) ^ [_643156] : [tptpcol_6_108546(_643156), -(tptpcol_5_106498(_643156))], (1788 ^ _592246) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592246) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592246) ^ [_643514] : [geolevel_4(_643514), -(geographicalregion(_643514))], (1802 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592246) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592246) ^ [_643991] : [tptpcol_13_26920(_643991), -(tptpcol_12_26919(_643991))], (1822 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592246) ^ [_644230] : [tptpcol_14_92264(_644230), -(tptpcol_13_92263(_644230))], (1830 ^ _592246) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592246) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592246) ^ [_644522] : [tptpcol_9_40196(_644522), -(tptpcol_8_39940(_644522))], (1840 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592246) ^ [_644880] : [tptpcol_13_92263(_644880), -(tptpcol_12_92262(_644880))], (1854 ^ _592246) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592246) ^ [_645172] : [tptpcol_5_90114(_645172), -(tptpcol_4_90113(_645172))], (1864 ^ _592246) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592246) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592246) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592246) ^ [_645583] : [tptpcol_15_26925(_645583), -(tptpcol_14_26921(_645583))], (1880 ^ _592246) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592246) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592246) ^ [_645941] : [tptpcol_7_18437(_645941), -(tptpcol_6_18436(_645941))], (1894 ^ _592246) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592246) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592246) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592246) ^ [_646352] : [tptpcol_3_98305(_646352), tptpcol_3_114688(_646352)], (1910 ^ _592246) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592246) ^ [_646590] : [tptpcol_5_110593(_646590), -(tptpcol_4_106497(_646590))], (1918 ^ _592246) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592246) ^ [_646829] : [tptpcol_13_72791(_646829), -(tptpcol_12_72775(_646829))], (1926 ^ _592246) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592246) ^ [_647068] : [computerdataartifact(_647068), -(artifact(_647068))], (1934 ^ _592246) ^ [_647254] : [-(tptpofobject(_647254, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647254)], (1944 ^ _592246) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592246) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592246) ^ [_647693] : [tptpcol_10_92166(_647693), -(tptpcol_9_92165(_647693))], (1958 ^ _592246) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592246) ^ [_647932] : [tptpcol_14_118118(_647932), -(tptpcol_13_118117(_647932))], (1966 ^ _592246) ^ [_648118] : [isa(_648118, c_tptpcol_14_118118), -(tptpcol_14_118118(_648118))], (1972 ^ _592246) ^ [_648306] : [tptpcol_14_118118(_648306), -(isa(_648306, c_tptpcol_14_118118))], (1978 ^ _592246) ^ [_648479] : [-(natfunction(f_tptpquantityfn_6(_648479), c_tptpquantityfn_6))], (1980 ^ _592246) ^ [_648559] : [-(natargument(f_tptpquantityfn_6(_648559), n_1, _648559))], (1982 ^ _592246) ^ [_648640] : [-(tptpquantity(f_tptpquantityfn_6(_648640)))], (1984 ^ _592246) ^ [_648734] : [isa(_648734, c_tptpcol_16_26939), -(tptpcol_16_26939(_648734))], (1990 ^ _592246) ^ [_648922] : [tptpcol_16_26939(_648922), -(isa(_648922, c_tptpcol_16_26939))], (1996 ^ _592246) ^ [_649110] : [isa(_649110, c_tptpcol_16_62187), -(tptpcol_16_62187(_649110))], (2002 ^ _592246) ^ [_649298] : [tptpcol_16_62187(_649298), -(isa(_649298, c_tptpcol_16_62187))], (2008 ^ _592246) ^ [_649486] : [isa(_649486, c_tptpcol_13_92263), -(tptpcol_13_92263(_649486))], (2014 ^ _592246) ^ [_649674] : [tptpcol_13_92263(_649674), -(isa(_649674, c_tptpcol_13_92263))], (2020 ^ _592246) ^ [_649862] : [isa(_649862, c_geolevel_4), -(geolevel_4(_649862))], (2026 ^ _592246) ^ [_650050] : [geolevel_4(_650050), -(isa(_650050, c_geolevel_4))], (2032 ^ _592246) ^ [_650238] : [isa(_650238, c_tptpcol_15_4027), -(tptpcol_15_4027(_650238))], (2038 ^ _592246) ^ [_650426] : [tptpcol_15_4027(_650426), -(isa(_650426, c_tptpcol_15_4027))], (2044 ^ _592246) ^ [_650614] : [isa(_650614, c_pushingwithfingers), -(pushingwithfingers(_650614))], (2050 ^ _592246) ^ [_650802] : [pushingwithfingers(_650802), -(isa(_650802, c_pushingwithfingers))], (2056 ^ _592246) ^ [_651004, _651006] : [affiliatedwith(_651006, _651004), -(agent_generic(_651004))], (2062 ^ _592246) ^ [_651212, _651214] : [affiliatedwith(_651214, _651212), -(agent_generic(_651214))], (2068 ^ _592246) ^ [_651420, _651422] : [affiliatedwith(_651422, _651420), -(affiliatedwith(_651420, _651422))], (2074 ^ _592246) ^ [_651600] : [affiliatedwith(_651600, _651600)], (2076 ^ _592246) ^ [_651693] : [isa(_651693, c_footballteam), -(footballteam(_651693))], (2082 ^ _592246) ^ [_651881] : [footballteam(_651881), -(isa(_651881, c_footballteam))], (2088 ^ _592246) ^ [_652069] : [isa(_652069, c_tptpcol_16_4451), -(tptpcol_16_4451(_652069))], (2094 ^ _592246) ^ [_652257] : [tptpcol_16_4451(_652257), -(isa(_652257, c_tptpcol_16_4451))], (2100 ^ _592246) ^ [_652445] : [isa(_652445, c_pushingwithopenhand), -(pushingwithopenhand(_652445))], (2106 ^ _592246) ^ [_652633] : [pushingwithopenhand(_652633), -(isa(_652633, c_pushingwithopenhand))], (2112 ^ _592246) ^ [_652821] : [isa(_652821, c_tptpcol_15_22076), -(tptpcol_15_22076(_652821))], (2118 ^ _592246) ^ [_653009] : [tptpcol_15_22076(_653009), -(isa(_653009, c_tptpcol_15_22076))], (2124 ^ _592246) ^ [_653182] : [-(natfunction(f_tptpquantityfn_2(_653182), c_tptpquantityfn_2))], (2126 ^ _592246) ^ [_653262] : [-(natargument(f_tptpquantityfn_2(_653262), n_1, _653262))], (2128 ^ _592246) ^ [_653343] : [-(tptpquantity(f_tptpquantityfn_2(_653343)))], (2130 ^ _592246) ^ [_653437] : [isa(_653437, c_tptpcol_7_39939), -(tptpcol_7_39939(_653437))], (2136 ^ _592246) ^ [_653625] : [tptpcol_7_39939(_653625), -(isa(_653625, c_tptpcol_7_39939))], (2142 ^ _592246) ^ [_653813] : [isa(_653813, c_tptpcol_8_39940), -(tptpcol_8_39940(_653813))], (2148 ^ _592246) ^ [_654001] : [tptpcol_8_39940(_654001), -(isa(_654001, c_tptpcol_8_39940))], (2154 ^ _592246) ^ [_654189] : [isa(_654189, c_tptpcol_15_26925), -(tptpcol_15_26925(_654189))], (2160 ^ _592246) ^ [_654377] : [tptpcol_15_26925(_654377), -(isa(_654377, c_tptpcol_15_26925))], (2166 ^ _592246) ^ [_654565] : [isa(_654565, c_tptpcol_16_26926), -(tptpcol_16_26926(_654565))], (2172 ^ _592246) ^ [_654753] : [tptpcol_16_26926(_654753), -(isa(_654753, c_tptpcol_16_26926))], (2178 ^ _592246) ^ [_654941] : [isa(_654941, c_tptpcol_13_118117), -(tptpcol_13_118117(_654941))], (2184 ^ _592246) ^ [_655129] : [tptpcol_13_118117(_655129), -(isa(_655129, c_tptpcol_13_118117))], (2190 ^ _592246) ^ [_655317] : [isa(_655317, c_tptpcol_5_90114), -(tptpcol_5_90114(_655317))], (2196 ^ _592246) ^ [_655505] : [tptpcol_5_90114(_655505), -(isa(_655505, c_tptpcol_5_90114))], (2202 ^ _592246) ^ [_655707, _655709] : [tptptypes_5_802(_655709, _655707), -(firstordercollection(_655707))], (2208 ^ _592246) ^ [_655915, _655917] : [tptptypes_5_802(_655917, _655915), -(firstordercollection(_655917))], (2214 ^ _592246) ^ [_656109] : [isa(_656109, c_tptpcol_16_72795), -(tptpcol_16_72795(_656109))], (2220 ^ _592246) ^ [_656297] : [tptpcol_16_72795(_656297), -(isa(_656297, c_tptpcol_16_72795))], (2226 ^ _592246) ^ [_656485] : [isa(_656485, c_tptpcol_8_114177), -(tptpcol_8_114177(_656485))], (2232 ^ _592246) ^ [_656673] : [tptpcol_8_114177(_656673), -(isa(_656673, c_tptpcol_8_114177))], (2238 ^ _592246) ^ [_656861] : [isa(_656861, c_tptpcol_15_50957), -(tptpcol_15_50957(_656861))], (2244 ^ _592246) ^ [_657049] : [tptpcol_15_50957(_657049), -(isa(_657049, c_tptpcol_15_50957))], (2250 ^ _592246) ^ [_657237] : [isa(_657237, c_tptpcol_16_50958), -(tptpcol_16_50958(_657237))], (2256 ^ _592246) ^ [_657425] : [tptpcol_16_50958(_657425), -(isa(_657425, c_tptpcol_16_50958))], (2262 ^ _592246) ^ [_657613] : [isa(_657613, c_tptpcol_6_71683), -(tptpcol_6_71683(_657613))], (2268 ^ _592246) ^ [_657801] : [tptpcol_6_71683(_657801), -(isa(_657801, c_tptpcol_6_71683))], (2274 ^ _592246) ^ [_657989] : [isa(_657989, c_tptpcol_11_72774), -(tptpcol_11_72774(_657989))], (2280 ^ _592246) ^ [_658177] : [tptpcol_11_72774(_658177), -(isa(_658177, c_tptpcol_11_72774))], (2286 ^ _592246) ^ [_658365] : [isa(_658365, c_tptpcol_12_72775), -(tptpcol_12_72775(_658365))], (2292 ^ _592246) ^ [_658553] : [tptpcol_12_72775(_658553), -(isa(_658553, c_tptpcol_12_72775))], (2298 ^ _592246) ^ [_658741] : [isa(_658741, c_tptpcol_5_110593), -(tptpcol_5_110593(_658741))], (2304 ^ _592246) ^ [_658929] : [tptpcol_5_110593(_658929), -(isa(_658929, c_tptpcol_5_110593))], (2310 ^ _592246) ^ [_659117] : [isa(_659117, c_tptpcol_16_25972), -(tptpcol_16_25972(_659117))], (2316 ^ _592246) ^ [_659305] : [tptpcol_16_25972(_659305), -(isa(_659305, c_tptpcol_16_25972))], (2322 ^ _592246) ^ [_659507, _659509] : [tptp_8_271(_659509, _659507), -(razor(_659507))], (2328 ^ _592246) ^ [_659715, _659717] : [tptp_8_271(_659717, _659715), -(tptpcol_5_24579(_659717))], (2334 ^ _592246) ^ [_659909] : [isa(_659909, c_tptpcol_4_90113), -(tptpcol_4_90113(_659909))], (2340 ^ _592246) ^ [_660097] : [tptpcol_4_90113(_660097), -(isa(_660097, c_tptpcol_4_90113))], (2346 ^ _592246) ^ [_660285] : [isa(_660285, c_tptpcol_10_93700), -(tptpcol_10_93700(_660285))], (2352 ^ _592246) ^ [_660473] : [tptpcol_10_93700(_660473), -(isa(_660473, c_tptpcol_10_93700))], (2358 ^ _592246) ^ [_660661] : [isa(_660661, c_tptpcol_9_93699), -(tptpcol_9_93699(_660661))], (2364 ^ _592246) ^ [_660849] : [tptpcol_9_93699(_660849), -(isa(_660849, c_tptpcol_9_93699))], (2370 ^ _592246) ^ [_661037] : [isa(_661037, c_aspatialthing), -(aspatialthing(_661037))], (2376 ^ _592246) ^ [_661225] : [aspatialthing(_661225), -(isa(_661225, c_aspatialthing))], (2382 ^ _592246) ^ [_661413] : [isa(_661413, c_tptpcol_7_117762), -(tptpcol_7_117762(_661413))], (2388 ^ _592246) ^ [_661601] : [tptpcol_7_117762(_661601), -(isa(_661601, c_tptpcol_7_117762))], (2394 ^ _592246) ^ [_661789] : [isa(_661789, c_tptpcol_8_117763), -(tptpcol_8_117763(_661789))], (2400 ^ _592246) ^ [_661977] : [tptpcol_8_117763(_661977), -(isa(_661977, c_tptpcol_8_117763))], (2406 ^ _592246) ^ [_662165] : [isa(_662165, c_tptpcol_7_18437), -(tptpcol_7_18437(_662165))], (2412 ^ _592246) ^ [_662353] : [tptpcol_7_18437(_662353), -(isa(_662353, c_tptpcol_7_18437))], (2418 ^ _592246) ^ [_662541] : [isa(_662541, c_tptpcol_6_18436), -(tptpcol_6_18436(_662541))], (2424 ^ _592246) ^ [_662729] : [tptpcol_6_18436(_662729), -(isa(_662729, c_tptpcol_6_18436))], (2430 ^ _592246) ^ [_662917] : [isa(_662917, c_tptpcol_8_93698), -(tptpcol_8_93698(_662917))], (2436 ^ _592246) ^ [_663105] : [tptpcol_8_93698(_663105), -(isa(_663105, c_tptpcol_8_93698))], (2442 ^ _592246) ^ [_663293] : [isa(_663293, c_tptpcol_11_109125), -(tptpcol_11_109125(_663293))], (2448 ^ _592246) ^ [_663481] : [tptpcol_11_109125(_663481), -(isa(_663481, c_tptpcol_11_109125))], (2454 ^ _592246) ^ [_663669] : [isa(_663669, c_tptpcol_6_108546), -(tptpcol_6_108546(_663669))], (2460 ^ _592246) ^ [_663857] : [tptpcol_6_108546(_663857), -(isa(_663857, c_tptpcol_6_108546))], (2466 ^ _592246) ^ [_664045] : [isa(_664045, c_tptpcol_6_20484), -(tptpcol_6_20484(_664045))], (2472 ^ _592246) ^ [_664233] : [tptpcol_6_20484(_664233), -(isa(_664233, c_tptpcol_6_20484))], (2478 ^ _592246) ^ [_664435, _664437] : [few(_664437, _664435), -(setorcollection(_664435))], (2484 ^ _592246) ^ [_664643, _664645] : [few(_664645, _664643), -(setorcollection(_664643))], (2490 ^ _592246) ^ [_664851, _664853] : [few(_664853, _664851), -(setorcollection(_664853))], (2496 ^ _592246) ^ [_665059, _665061] : [few(_665061, _665059), -(setorcollection(_665061))], (2502 ^ _592246) ^ [_665281, _665283, _665285] : [-(few(_665285, _665281)), few(_665285, _665283), subsetof(_665281, _665283)], (2512 ^ _592246) ^ [_665576] : [isa(_665576, c_tptpcol_15_130931), -(tptpcol_15_130931(_665576))], (2518 ^ _592246) ^ [_665764] : [tptpcol_15_130931(_665764), -(isa(_665764, c_tptpcol_15_130931))], (2524 ^ _592246) ^ [_665952] : [isa(_665952, c_tptpcol_16_130933), -(tptpcol_16_130933(_665952))], (2530 ^ _592246) ^ [_666140] : [tptpcol_16_130933(_666140), -(isa(_666140, c_tptpcol_16_130933))], (2536 ^ _592246) ^ [_666328] : [isa(_666328, c_tptpcol_7_92163), -(tptpcol_7_92163(_666328))], (2542 ^ _592246) ^ [_666516] : [tptpcol_7_92163(_666516), -(isa(_666516, c_tptpcol_7_92163))], (2548 ^ _592246) ^ [_666704] : [isa(_666704, c_tptpcol_15_130923), -(tptpcol_15_130923(_666704))], (2554 ^ _592246) ^ [_666892] : [tptpcol_15_130923(_666892), -(isa(_666892, c_tptpcol_15_130923))], (2560 ^ _592246) ^ [_667080] : [isa(_667080, c_tptpcol_16_130924), -(tptpcol_16_130924(_667080))], (2566 ^ _592246) ^ [_667268] : [tptpcol_16_130924(_667268), -(isa(_667268, c_tptpcol_16_130924))], (2572 ^ _592246) ^ [_667456] : [isa(_667456, c_intangibleindividual), -(intangibleindividual(_667456))], (2578 ^ _592246) ^ [_667644] : [intangibleindividual(_667644), -(isa(_667644, c_intangibleindividual))], (2584 ^ _592246) ^ [_667831, _667833] : [-(natfunction(f_citynamedfn(_667833, _667831), c_citynamedfn))], (2586 ^ _592246) ^ [_667928, _667930] : [-(natargument(f_citynamedfn(_667930, _667928), n_1, _667930))], (2588 ^ _592246) ^ [_668026, _668028] : [-(natargument(f_citynamedfn(_668028, _668026), n_2, _668026))], (2590 ^ _592246) ^ [_668124, _668126] : [-(city(f_citynamedfn(_668126, _668124)))], (2592 ^ _592246) ^ [_668221] : [isa(_668221, c_tptpcol_13_26920), -(tptpcol_13_26920(_668221))], (2598 ^ _592246) ^ [_668409] : [tptpcol_13_26920(_668409), -(isa(_668409, c_tptpcol_13_26920))], (2604 ^ _592246) ^ [_668597] : [isa(_668597, c_tptpcol_14_26921), -(tptpcol_14_26921(_668597))], (2610 ^ _592246) ^ [_668785] : [tptpcol_14_26921(_668785), -(isa(_668785, c_tptpcol_14_26921))], (2616 ^ _592246) ^ [_668973] : [isa(_668973, c_tptpcol_3_65538), -(tptpcol_3_65538(_668973))], (2622 ^ _592246) ^ [_669161] : [tptpcol_3_65538(_669161), -(isa(_669161, c_tptpcol_3_65538))], (2628 ^ _592246) ^ [_669349] : [isa(_669349, c_tptpcol_16_27189), -(tptpcol_16_27189(_669349))], (2634 ^ _592246) ^ [_669537] : [tptpcol_16_27189(_669537), -(isa(_669537, c_tptpcol_16_27189))], (2640 ^ _592246) ^ [_669739, _669741] : [tptp_9_51(_669741, _669739), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_669739))], (2646 ^ _592246) ^ [_669947, _669949] : [tptp_9_51(_669949, _669947), -(tptpcol_7_26628(_669949))], (2652 ^ _592246) ^ [_670141] : [isa(_670141, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670141))], (2658 ^ _592246) ^ [_670329] : [reflexivebinarypredicate(_670329), -(isa(_670329, c_reflexivebinarypredicate))], (2664 ^ _592246) ^ [_670517] : [isa(_670517, c_tptpcol_7_21508), -(tptpcol_7_21508(_670517))], (2670 ^ _592246) ^ [_670705] : [tptpcol_7_21508(_670705), -(isa(_670705, c_tptpcol_7_21508))], (2676 ^ _592246) ^ [_670893] : [isa(_670893, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_670893))], (2682 ^ _592246) ^ [_671081] : [hpkb_subnationalagent(_671081), -(isa(_671081, c_hpkb_subnationalagent))], (2688 ^ _592246) ^ [_671269] : [isa(_671269, c_state_geopolitical), -(state_geopolitical(_671269))], (2694 ^ _592246) ^ [_671457] : [state_geopolitical(_671457), -(isa(_671457, c_state_geopolitical))], (2700 ^ _592246) ^ [_671672, _671674, _671676, _671678] : [-(natfunction(f_relationallexistsfn(_671678, _671676, _671674, _671672), c_relationallexistsfn))], (2702 ^ _592246) ^ [_671803, _671805, _671807, _671809] : [-(natargument(f_relationallexistsfn(_671809, _671807, _671805, _671803), n_1, _671809))], (2704 ^ _592246) ^ [_671935, _671937, _671939, _671941] : [-(natargument(f_relationallexistsfn(_671941, _671939, _671937, _671935), n_2, _671939))], (2706 ^ _592246) ^ [_672067, _672069, _672071, _672073] : [-(natargument(f_relationallexistsfn(_672073, _672071, _672069, _672067), n_3, _672069))], (2708 ^ _592246) ^ [_672199, _672201, _672203, _672205] : [-(natargument(f_relationallexistsfn(_672205, _672203, _672201, _672199), n_4, _672199))], (2710 ^ _592246) ^ [_672331, _672333, _672335, _672337] : [-(thing(f_relationallexistsfn(_672337, _672335, _672333, _672331)))], (2712 ^ _592246) ^ [_672448, _672450] : [arg2isa(_672450, _672448), -(collection(_672448))], (2718 ^ _592246) ^ [_672656, _672658] : [arg2isa(_672658, _672656), -(relation(_672658))], (2724 ^ _592246) ^ [_672878, _672880, _672882] : [-(arg2isa(_672882, _672878)), arg2isa(_672882, _672880), genls(_672880, _672878)], (2734 ^ _592246) ^ [_673201, _673203, _673205] : [-(arg2isa(_673205, _673201)), arg2isa(_673205, _673203), genls(_673203, _673201)], (2744 ^ _592246) ^ [_673496] : [isa(_673496, c_geolevel_1), -(geolevel_1(_673496))], (2750 ^ _592246) ^ [_673684] : [geolevel_1(_673684), -(isa(_673684, c_geolevel_1))], (2756 ^ _592246) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592246) ^ [_673925] : [isa(_673925, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_673925))], (2764 ^ _592246) ^ [_674113] : [spatialthing_nonsituational(_674113), -(isa(_674113, c_spatialthing_nonsituational))], (2770 ^ _592246) ^ [_674301] : [isa(_674301, c_militaryperson), -(militaryperson(_674301))], (2776 ^ _592246) ^ [_674489] : [militaryperson(_674489), -(isa(_674489, c_militaryperson))], (2782 ^ _592246) ^ [_674677] : [isa(_674677, c_tptpcol_15_72793), -(tptpcol_15_72793(_674677))], (2788 ^ _592246) ^ [_674865] : [tptpcol_15_72793(_674865), -(isa(_674865, c_tptpcol_15_72793))], (2794 ^ _592246) ^ [_675053] : [isa(_675053, c_tptpcol_9_26885), -(tptpcol_9_26885(_675053))], (2800 ^ _592246) ^ [_675241] : [tptpcol_9_26885(_675241), -(isa(_675241, c_tptpcol_9_26885))], (2806 ^ _592246) ^ [_675429] : [isa(_675429, c_tptpcol_10_26886), -(tptpcol_10_26886(_675429))], (2812 ^ _592246) ^ [_675617] : [tptpcol_10_26886(_675617), -(isa(_675617, c_tptpcol_10_26886))], (2818 ^ _592246) ^ [_675819, _675821] : [tptptypes_8_823(_675821, _675819), -(firstordercollection(_675819))], (2824 ^ _592246) ^ [_676027, _676029] : [tptptypes_8_823(_676029, _676027), -(firstordercollection(_676029))], (2830 ^ _592246) ^ [_676221] : [isa(_676221, c_tptpcol_16_92269), -(tptpcol_16_92269(_676221))], (2836 ^ _592246) ^ [_676409] : [tptpcol_16_92269(_676409), -(isa(_676409, c_tptpcol_16_92269))], (2842 ^ _592246) ^ [_676597] : [isa(_676597, c_tptpcol_15_109185), -(tptpcol_15_109185(_676597))], (2848 ^ _592246) ^ [_676785] : [tptpcol_15_109185(_676785), -(isa(_676785, c_tptpcol_15_109185))], (2854 ^ _592246) ^ [_676973] : [isa(_676973, c_tptpcol_6_26627), -(tptpcol_6_26627(_676973))], (2860 ^ _592246) ^ [_677161] : [tptpcol_6_26627(_677161), -(isa(_677161, c_tptpcol_6_26627))], (2866 ^ _592246) ^ [_677349] : [isa(_677349, c_tptpcol_12_118116), -(tptpcol_12_118116(_677349))], (2872 ^ _592246) ^ [_677537] : [tptpcol_12_118116(_677537), -(isa(_677537, c_tptpcol_12_118116))], (2878 ^ _592246) ^ [_677725] : [isa(_677725, c_tptpcol_8_18438), -(tptpcol_8_18438(_677725))], (2884 ^ _592246) ^ [_677913] : [tptpcol_8_18438(_677913), -(isa(_677913, c_tptpcol_8_18438))], (2890 ^ _592246) ^ [_678101] : [isa(_678101, c_tptpcol_15_30970), -(tptpcol_15_30970(_678101))], (2896 ^ _592246) ^ [_678289] : [tptpcol_15_30970(_678289), -(isa(_678289, c_tptpcol_15_30970))], (2902 ^ _592246) ^ [_678477] : [isa(_678477, c_tptpcol_16_30972), -(tptpcol_16_30972(_678477))], (2908 ^ _592246) ^ [_678665] : [tptpcol_16_30972(_678665), -(isa(_678665, c_tptpcol_16_30972))], (2914 ^ _592246) ^ [_678853] : [isa(_678853, c_tptpcol_14_109181), -(tptpcol_14_109181(_678853))], (2920 ^ _592246) ^ [_679041] : [tptpcol_14_109181(_679041), -(isa(_679041, c_tptpcol_14_109181))], (2926 ^ _592246) ^ [_679229] : [isa(_679229, c_physicalorderingpredicate), -(physicalorderingpredicate(_679229))], (2932 ^ _592246) ^ [_679417] : [physicalorderingpredicate(_679417), -(isa(_679417, c_physicalorderingpredicate))], (2938 ^ _592246) ^ [_679605] : [isa(_679605, c_tptpcol_16_7738), -(tptpcol_16_7738(_679605))], (2944 ^ _592246) ^ [_679793] : [tptpcol_16_7738(_679793), -(isa(_679793, c_tptpcol_16_7738))], (2950 ^ _592246) ^ [_679995, _679997] : [tptp_8_968(_679997, _679995), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_679995))], (2956 ^ _592246) ^ [_680203, _680205] : [tptp_8_968(_680205, _680203), -(tptpcol_7_7172(_680205))], (2962 ^ _592246) ^ [_680425, _680427, _680429] : [relationexistsall(_680429, _680427, _680425), -(collection(_680425))], (2968 ^ _592246) ^ [_680655, _680657, _680659] : [relationexistsall(_680659, _680657, _680655), -(collection(_680657))], (2974 ^ _592246) ^ [_680885, _680887, _680889] : [relationexistsall(_680889, _680887, _680885), -(binarypredicate(_680889))], (2980 ^ _592246) ^ [_681087] : [isa(_681087, c_tptpcol_7_26628), -(tptpcol_7_26628(_681087))], (2986 ^ _592246) ^ [_681275] : [tptpcol_7_26628(_681275), -(isa(_681275, c_tptpcol_7_26628))], (2992 ^ _592246) ^ [_681463] : [isa(_681463, c_tptpcol_8_26629), -(tptpcol_8_26629(_681463))], (2998 ^ _592246) ^ [_681651] : [tptpcol_8_26629(_681651), -(isa(_681651, c_tptpcol_8_26629))], (3004 ^ _592246) ^ [_681839] : [isa(_681839, c_tptpcol_3_114688), -(tptpcol_3_114688(_681839))], (3010 ^ _592246) ^ [_682027] : [tptpcol_3_114688(_682027), -(isa(_682027, c_tptpcol_3_114688))], (3016 ^ _592246) ^ [_682200] : [-(natfunction(f_contextofpcwfn(_682200), c_contextofpcwfn))], (3018 ^ _592246) ^ [_682280] : [-(natargument(f_contextofpcwfn(_682280), n_1, _682280))], (3020 ^ _592246) ^ [_682361] : [-(microtheory(f_contextofpcwfn(_682361)))], (3022 ^ _592246) ^ [_682469, _682471] : [arg1isa(_682471, _682469), -(collection(_682469))], (3028 ^ _592246) ^ [_682677, _682679] : [arg1isa(_682679, _682677), -(relation(_682679))], (3034 ^ _592246) ^ [_682899, _682901, _682903] : [-(arg1isa(_682903, _682899)), arg1isa(_682903, _682901), genls(_682901, _682899)], (3044 ^ _592246) ^ [_683222, _683224, _683226] : [-(arg1isa(_683226, _683222)), arg1isa(_683226, _683224), genls(_683224, _683222)], (3054 ^ _592246) ^ [_683531, _683533] : [objectfoundinlocation(_683533, _683531), -(spatialthing_nonsituational(_683531))], (3060 ^ _592246) ^ [_683739, _683741] : [objectfoundinlocation(_683741, _683739), -(spatialthing_localized(_683739))], (3066 ^ _592246) ^ [_683947, _683949] : [objectfoundinlocation(_683949, _683947), -(spatialthing_nonsituational(_683949))], (3072 ^ _592246) ^ [_684155, _684157] : [objectfoundinlocation(_684157, _684155), -(spatialthing_localized(_684157))], (3078 ^ _592246) ^ [_684377, _684379, _684381] : [-(objectfoundinlocation(_684381, _684377)), objectfoundinlocation(_684381, _684379), objectfoundinlocation(_684379, _684377)], (3088 ^ _592246) ^ [_684656] : [objectfoundinlocation(_684656, _684656)], (3090 ^ _592246) ^ [_684777, _684779, _684781] : [-(objectfoundinlocation(_684781, _684777)), objectfoundinlocation(_684781, _684779), geopoliticalsubdivision(_684777, _684779)], (3100 ^ _592246) ^ [_685100, _685102, _685104] : [-(objectfoundinlocation(_685104, _685100)), objectfoundinlocation(_685104, _685102), geographicallysubsumes(_685100, _685102)], (3110 ^ _592246) ^ [_685423, _685425, _685427] : [-(objectfoundinlocation(_685427, _685423)), objectfoundinlocation(_685427, _685425), subregions(_685423, _685425)], (3120 ^ _592246) ^ [_685718] : [isa(_685718, c_ship), -(ship(_685718))], (3126 ^ _592246) ^ [_685906] : [ship(_685906), -(isa(_685906, c_ship))], (3132 ^ _592246) ^ [_686107, _686109, _686111] : [-(natfunction(f_subcollectionofwithrelationtofn(_686111, _686109, _686107), c_subcollectionofwithrelationtofn))], (3134 ^ _592246) ^ [_686221, _686223, _686225] : [-(natargument(f_subcollectionofwithrelationtofn(_686225, _686223, _686221), n_1, _686225))], (3136 ^ _592246) ^ [_686336, _686338, _686340] : [-(natargument(f_subcollectionofwithrelationtofn(_686340, _686338, _686336), n_2, _686338))], (3138 ^ _592246) ^ [_686451, _686453, _686455] : [-(natargument(f_subcollectionofwithrelationtofn(_686455, _686453, _686451), n_3, _686451))], (3140 ^ _592246) ^ [_686566, _686568, _686570] : [-(collection(f_subcollectionofwithrelationtofn(_686570, _686568, _686566)))], (3142 ^ _592246) ^ [_686666] : [isa(_686666, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686666))], (3148 ^ _592246) ^ [_686854] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686854), -(isa(_686854, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592246) ^ [_687042] : [isa(_687042, c_tptpcol_4_65539), -(tptpcol_4_65539(_687042))], (3160 ^ _592246) ^ [_687230] : [tptpcol_4_65539(_687230), -(isa(_687230, c_tptpcol_4_65539))], (3166 ^ _592246) ^ [_687418] : [isa(_687418, c_tptpcol_5_69635), -(tptpcol_5_69635(_687418))], (3172 ^ _592246) ^ [_687606] : [tptpcol_5_69635(_687606), -(isa(_687606, c_tptpcol_5_69635))], (3178 ^ _592246) ^ [_687794] : [isa(_687794, c_tptpcol_3_16386), -(tptpcol_3_16386(_687794))], (3184 ^ _592246) ^ [_687982] : [tptpcol_3_16386(_687982), -(isa(_687982, c_tptpcol_3_16386))], (3190 ^ _592246) ^ [_688184, _688186] : [no(_688186, _688184), -(setorcollection(_688184))], (3196 ^ _592246) ^ [_688392, _688394] : [no(_688394, _688392), -(setorcollection(_688394))], (3202 ^ _592246) ^ [_688600, _688602] : [no(_688602, _688600), -(no(_688600, _688602))], (3208 ^ _592246) ^ [_688824, _688826, _688828] : [-(no(_688828, _688824)), no(_688828, _688826), subsetof(_688824, _688826)], (3218 ^ _592246) ^ [_689147, _689149, _689151] : [-(no(_689147, _689149)), no(_689151, _689149), subsetof(_689147, _689151)], (3228 ^ _592246) ^ [_689470, _689472, _689474] : [-(no(_689470, _689472)), no(_689474, _689472), genls(_689470, _689474)], (3238 ^ _592246) ^ [_689793, _689795, _689797] : [-(no(_689797, _689793)), no(_689797, _689795), genls(_689793, _689795)], (3248 ^ _592246) ^ [_690116, _690118, _690120] : [-(no(_690116, _690118)), no(_690120, _690118), subsetof(_690116, _690120)], (3258 ^ _592246) ^ [_690439, _690441, _690443] : [-(no(_690443, _690439)), no(_690443, _690441), subsetof(_690439, _690441)], (3268 ^ _592246) ^ [_690734] : [isa(_690734, c_geographicalregion), -(geographicalregion(_690734))], (3274 ^ _592246) ^ [_690922] : [geographicalregion(_690922), -(isa(_690922, c_geographicalregion))], (3280 ^ _592246) ^ [_691095] : [-(natfunction(f_tptpquantityfn_21(_691095), c_tptpquantityfn_21))], (3282 ^ _592246) ^ [_691175] : [-(natargument(f_tptpquantityfn_21(_691175), n_1, _691175))], (3284 ^ _592246) ^ [_691256] : [-(tptpquantity(f_tptpquantityfn_21(_691256)))], (3286 ^ _592246) ^ [_691364, _691366] : [airporthasiatacode(_691366, _691364), -(stringoflengthfn3(_691364))], (3292 ^ _592246) ^ [_691572, _691574] : [airporthasiatacode(_691574, _691572), -(airport_physical(_691574))], (3298 ^ _592246) ^ [_691766] : [isa(_691766, c_airport_physical), -(airport_physical(_691766))], (3304 ^ _592246) ^ [_691954] : [airport_physical(_691954), -(isa(_691954, c_airport_physical))], (3310 ^ _592246) ^ [_692155, _692157, _692159] : [-(natfunction(f_instancewithrelationtofn(_692159, _692157, _692155), c_instancewithrelationtofn))], (3312 ^ _592246) ^ [_692269, _692271, _692273] : [-(natargument(f_instancewithrelationtofn(_692273, _692271, _692269), n_1, _692273))], (3314 ^ _592246) ^ [_692384, _692386, _692388] : [-(natargument(f_instancewithrelationtofn(_692388, _692386, _692384), n_2, _692386))], (3316 ^ _592246) ^ [_692499, _692501, _692503] : [-(natargument(f_instancewithrelationtofn(_692503, _692501, _692499), n_3, _692499))], (3318 ^ _592246) ^ [_692614, _692616, _692618] : [-(thing(f_instancewithrelationtofn(_692618, _692616, _692614)))], (3320 ^ _592246) ^ [_692714] : [isa(_692714, c_tptpcol_6_112641), -(tptpcol_6_112641(_692714))], (3326 ^ _592246) ^ [_692902] : [tptpcol_6_112641(_692902), -(isa(_692902, c_tptpcol_6_112641))], (3332 ^ _592246) ^ [_693090] : [isa(_693090, c_tptpcol_7_113665), -(tptpcol_7_113665(_693090))], (3338 ^ _592246) ^ [_693278] : [tptpcol_7_113665(_693278), -(isa(_693278, c_tptpcol_7_113665))], (3344 ^ _592246) ^ [_693466] : [isa(_693466, c_artifact), -(artifact(_693466))], (3350 ^ _592246) ^ [_693654] : [artifact(_693654), -(isa(_693654, c_artifact))], (3356 ^ _592246) ^ [_693842] : [isa(_693842, c_tptpcol_13_18664), -(tptpcol_13_18664(_693842))], (3362 ^ _592246) ^ [_694030] : [tptpcol_13_18664(_694030), -(isa(_694030, c_tptpcol_13_18664))], (3368 ^ _592246) ^ [_694218] : [isa(_694218, c_firstordercollection), -(firstordercollection(_694218))], (3374 ^ _592246) ^ [_694406] : [firstordercollection(_694406), -(isa(_694406, c_firstordercollection))], (3380 ^ _592246) ^ [_694579] : [-(natfunction(f_tptpquantityfn_14(_694579), c_tptpquantityfn_14))], (3382 ^ _592246) ^ [_694659] : [-(natargument(f_tptpquantityfn_14(_694659), n_1, _694659))], (3384 ^ _592246) ^ [_694740] : [-(tptpquantity(f_tptpquantityfn_14(_694740)))], (3386 ^ _592246) ^ [_694834] : [isa(_694834, c_supplies), -(supplies(_694834))], (3392 ^ _592246) ^ [_695022] : [supplies(_695022), -(isa(_695022, c_supplies))], (3398 ^ _592246) ^ [_695210] : [isa(_695210, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695210))], (3404 ^ _592246) ^ [_695398] : [inanimateobject_nonnatural(_695398), -(isa(_695398, c_inanimateobject_nonnatural))], (3410 ^ _592246) ^ [_695586] : [isa(_695586, c_tptpcol_13_22071), -(tptpcol_13_22071(_695586))], (3416 ^ _592246) ^ [_695774] : [tptpcol_13_22071(_695774), -(isa(_695774, c_tptpcol_13_22071))], (3422 ^ _592246) ^ [_695962] : [isa(_695962, c_tptpcol_14_22072), -(tptpcol_14_22072(_695962))], (3428 ^ _592246) ^ [_696150] : [tptpcol_14_22072(_696150), -(isa(_696150, c_tptpcol_14_22072))], (3434 ^ _592246) ^ [_696338] : [isa(_696338, c_tptpcol_7_108547), -(tptpcol_7_108547(_696338))], (3440 ^ _592246) ^ [_696526] : [tptpcol_7_108547(_696526), -(isa(_696526, c_tptpcol_7_108547))], (3446 ^ _592246) ^ [_696714] : [isa(_696714, c_tptpcol_8_109059), -(tptpcol_8_109059(_696714))], (3452 ^ _592246) ^ [_696902] : [tptpcol_8_109059(_696902), -(isa(_696902, c_tptpcol_8_109059))], (3458 ^ _592246) ^ [_697090] : [isa(_697090, c_tptpcol_14_93774), -(tptpcol_14_93774(_697090))], (3464 ^ _592246) ^ [_697278] : [tptpcol_14_93774(_697278), -(isa(_697278, c_tptpcol_14_93774))], (3470 ^ _592246) ^ [_697466] : [isa(_697466, c_tptpcol_15_93775), -(tptpcol_15_93775(_697466))], (3476 ^ _592246) ^ [_697654] : [tptpcol_15_93775(_697654), -(isa(_697654, c_tptpcol_15_93775))], (3482 ^ _592246) ^ [_697842] : [isa(_697842, c_tptpcol_16_8886), -(tptpcol_16_8886(_697842))], (3488 ^ _592246) ^ [_698030] : [tptpcol_16_8886(_698030), -(isa(_698030, c_tptpcol_16_8886))], (3494 ^ _592246) ^ [_698232, _698234] : [orientation(_698234, _698232), -(orientationvector(_698232))], (3500 ^ _592246) ^ [_698440, _698442] : [orientation(_698442, _698440), -(spatialthing_localized(_698442))], (3506 ^ _592246) ^ [_698634] : [isa(_698634, c_orientationvector), -(orientationvector(_698634))], (3512 ^ _592246) ^ [_698822] : [orientationvector(_698822), -(isa(_698822, c_orientationvector))], (3518 ^ _592246) ^ [_699010] : [isa(_699010, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699010))], (3524 ^ _592246) ^ [_699198] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699198), -(isa(_699198, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592246) ^ [_699400, _699402] : [tptptypes_9_824(_699402, _699400), -(firstordercollection(_699400))], (3536 ^ _592246) ^ [_699608, _699610] : [tptptypes_9_824(_699610, _699608), -(firstordercollection(_699610))], (3542 ^ _592246) ^ [_699816, _699818] : [tptptypes_7_396(_699818, _699816), -(firstordercollection(_699816))], (3548 ^ _592246) ^ [_700024, _700026] : [tptptypes_7_396(_700026, _700024), -(firstordercollection(_700026))], (3554 ^ _592246) ^ [_700218] : [isa(_700218, c_tptpcol_12_22055), -(tptpcol_12_22055(_700218))], (3560 ^ _592246) ^ [_700406] : [tptpcol_12_22055(_700406), -(isa(_700406, c_tptpcol_12_22055))], (3566 ^ _592246) ^ [_700594] : [isa(_700594, c_tptpcol_16_29490), -(tptpcol_16_29490(_700594))], (3572 ^ _592246) ^ [_700782] : [tptpcol_16_29490(_700782), -(isa(_700782, c_tptpcol_16_29490))], (3578 ^ _592246) ^ [_700984, _700986] : [tptp_9_720(_700986, _700984), -(tptpcol_5_28674(_700984))], (3584 ^ _592246) ^ [_701192, _701194] : [tptp_9_720(_701194, _701192), -(executionbyfiringsquad(_701194))], (3590 ^ _592246) ^ [_701386] : [isa(_701386, c_runningshorts), -(runningshorts(_701386))], (3596 ^ _592246) ^ [_701574] : [runningshorts(_701574), -(isa(_701574, c_runningshorts))], (3602 ^ _592246) ^ [_701762] : [isa(_701762, c_tptpcol_9_118019), -(tptpcol_9_118019(_701762))], (3608 ^ _592246) ^ [_701950] : [tptpcol_9_118019(_701950), -(isa(_701950, c_tptpcol_9_118019))], (3614 ^ _592246) ^ [_702138] : [isa(_702138, c_tptpcol_16_31868), -(tptpcol_16_31868(_702138))], (3620 ^ _592246) ^ [_702326] : [tptpcol_16_31868(_702326), -(isa(_702326, c_tptpcol_16_31868))], (3626 ^ _592246) ^ [_702514] : [isa(_702514, c_movement_translationevent), -(movement_translationevent(_702514))], (3632 ^ _592246) ^ [_702702] : [movement_translationevent(_702702), -(isa(_702702, c_movement_translationevent))], (3638 ^ _592246) ^ [_702904, _702906] : [directionoftranslation_throughout(_702906, _702904), -(unitvectorinterval(_702904))], (3644 ^ _592246) ^ [_703112, _703114] : [directionoftranslation_throughout(_703114, _703112), -(movement_translationevent(_703114))], (3650 ^ _592246) ^ [_703334, _703336, _703338] : [-(directionoftranslation_throughout(_703334, _703336)), directionoftranslation_throughout(_703338, _703336), subevents(_703338, _703334)], (3660 ^ _592246) ^ [_703629] : [isa(_703629, c_unitvectorinterval), -(unitvectorinterval(_703629))], (3666 ^ _592246) ^ [_703817] : [unitvectorinterval(_703817), -(isa(_703817, c_unitvectorinterval))], (3672 ^ _592246) ^ [_704005] : [isa(_704005, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704005))], (3678 ^ _592246) ^ [_704193] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704193), -(isa(_704193, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592246) ^ [_704395, _704397] : [tptp_8_875(_704397, _704395), -(tptpcol_4_24578(_704395))], (3690 ^ _592246) ^ [_704603, _704605] : [tptp_8_875(_704605, _704603), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704605))], (3696 ^ _592246) ^ [_704825, _704827, _704829] : [relationallexists(_704829, _704827, _704825), -(collection(_704825))], (3702 ^ _592246) ^ [_705055, _705057, _705059] : [relationallexists(_705059, _705057, _705055), -(collection(_705057))], (3708 ^ _592246) ^ [_705285, _705287, _705289] : [relationallexists(_705289, _705287, _705285), -(binarypredicate(_705289))], (3714 ^ _592246) ^ [_705487] : [isa(_705487, c_tptpcol_16_10258), -(tptpcol_16_10258(_705487))], (3720 ^ _592246) ^ [_705675] : [tptpcol_16_10258(_705675), -(isa(_705675, c_tptpcol_16_10258))], (3726 ^ _592246) ^ [_705863] : [isa(_705863, c_pushingababycarriage), -(pushingababycarriage(_705863))], (3732 ^ _592246) ^ [_706051] : [pushingababycarriage(_706051), -(isa(_706051, c_pushingababycarriage))], (3738 ^ _592246) ^ [_706239] : [isa(_706239, c_aspatialinformationstore), -(aspatialinformationstore(_706239))], (3744 ^ _592246) ^ [_706427] : [aspatialinformationstore(_706427), -(isa(_706427, c_aspatialinformationstore))], (3750 ^ _592246) ^ [_706615] : [isa(_706615, c_collection), -(collection(_706615))], (3756 ^ _592246) ^ [_706803] : [collection(_706803), -(isa(_706803, c_collection))], (3762 ^ _592246) ^ [_706991] : [isa(_706991, c_fixedordercollection), -(fixedordercollection(_706991))], (3768 ^ _592246) ^ [_707179] : [fixedordercollection(_707179), -(isa(_707179, c_fixedordercollection))], (3774 ^ _592246) ^ [_707367] : [isa(_707367, c_tptpcol_8_92164), -(tptpcol_8_92164(_707367))], (3780 ^ _592246) ^ [_707555] : [tptpcol_8_92164(_707555), -(isa(_707555, c_tptpcol_8_92164))], (3786 ^ _592246) ^ [_707743] : [isa(_707743, c_tptpcol_9_92165), -(tptpcol_9_92165(_707743))], (3792 ^ _592246) ^ [_707931] : [tptpcol_9_92165(_707931), -(isa(_707931, c_tptpcol_9_92165))], (3798 ^ _592246) ^ [_708119] : [isa(_708119, c_tptpcol_1_1), -(tptpcol_1_1(_708119))], (3804 ^ _592246) ^ [_708307] : [tptpcol_1_1(_708307), -(isa(_708307, c_tptpcol_1_1))], (3810 ^ _592246) ^ [_708495] : [isa(_708495, c_tptpcol_2_2), -(tptpcol_2_2(_708495))], (3816 ^ _592246) ^ [_708683] : [tptpcol_2_2(_708683), -(isa(_708683, c_tptpcol_2_2))], (3822 ^ _592246) ^ [_708885, _708887] : [tptptypes_7_691(_708887, _708885), -(firstordercollection(_708885))], (3828 ^ _592246) ^ [_709093, _709095] : [tptptypes_7_691(_709095, _709093), -(firstordercollection(_709095))], (3834 ^ _592246) ^ [_709287] : [isa(_709287, c_tptpcol_11_26887), -(tptpcol_11_26887(_709287))], (3840 ^ _592246) ^ [_709475] : [tptpcol_11_26887(_709475), -(isa(_709475, c_tptpcol_11_26887))], (3846 ^ _592246) ^ [_709663] : [isa(_709663, c_tptpcol_12_26919), -(tptpcol_12_26919(_709663))], (3852 ^ _592246) ^ [_709851] : [tptpcol_12_26919(_709851), -(isa(_709851, c_tptpcol_12_26919))], (3858 ^ _592246) ^ [_710053, _710055] : [tptptypes_6_818(_710055, _710053), -(firstordercollection(_710053))], (3864 ^ _592246) ^ [_710261, _710263] : [tptptypes_6_818(_710263, _710261), -(firstordercollection(_710263))], (3870 ^ _592246) ^ [_710469, _710471] : [tptptypes_7_819(_710471, _710469), -(firstordercollection(_710469))], (3876 ^ _592246) ^ [_710677, _710679] : [tptptypes_7_819(_710679, _710677), -(firstordercollection(_710679))], (3882 ^ _592246) ^ [_710871] : [isa(_710871, c_correctivelensprescription), -(correctivelensprescription(_710871))], (3888 ^ _592246) ^ [_711059] : [correctivelensprescription(_711059), -(isa(_711059, c_correctivelensprescription))], (3894 ^ _592246) ^ [_711261, _711263] : [products(_711263, _711261), -(artifact(_711261))], (3900 ^ _592246) ^ [_711469, _711471] : [products(_711471, _711469), -(creationordestructionevent(_711471))], (3906 ^ _592246) ^ [_711663] : [isa(_711663, c_issuingaprescription), -(issuingaprescription(_711663))], (3912 ^ _592246) ^ [_711851] : [issuingaprescription(_711851), -(isa(_711851, c_issuingaprescription))], (3918 ^ _592246) ^ [_712052, _712054, _712056] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712056, _712054, _712052), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592246) ^ [_712166, _712168, _712170] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712170, _712168, _712166), n_1, _712170))], (3922 ^ _592246) ^ [_712281, _712283, _712285] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712285, _712283, _712281), n_2, _712283))], (3924 ^ _592246) ^ [_712396, _712398, _712400] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712400, _712398, _712396), n_3, _712396))], (3926 ^ _592246) ^ [_712511, _712513, _712515] : [-(collection(f_subcollectionofwithrelationtotypefn(_712515, _712513, _712511)))], (3928 ^ _592246) ^ [_712611] : [isa(_712611, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712611))], (3934 ^ _592246) ^ [_712799] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712799), -(isa(_712799, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592246) ^ [_712987] : [isa(_712987, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_712987))], (3946 ^ _592246) ^ [_713175] : [mathematicalorcomputationalthing(_713175), -(isa(_713175, c_mathematicalorcomputationalthing))], (3952 ^ _592246) ^ [_713363] : [isa(_713363, c_tptpcol_10_118020), -(tptpcol_10_118020(_713363))], (3958 ^ _592246) ^ [_713551] : [tptpcol_10_118020(_713551), -(isa(_713551, c_tptpcol_10_118020))], (3964 ^ _592246) ^ [_713739] : [isa(_713739, c_tptpcol_11_118084), -(tptpcol_11_118084(_713739))], (3970 ^ _592246) ^ [_713927] : [tptpcol_11_118084(_713927), -(isa(_713927, c_tptpcol_11_118084))], (3976 ^ _592246) ^ [_714115] : [isa(_714115, c_terroristgroup), -(terroristgroup(_714115))], (3982 ^ _592246) ^ [_714303] : [terroristgroup(_714303), -(isa(_714303, c_terroristgroup))], (3988 ^ _592246) ^ [_714505, _714507] : [hasmembers(_714507, _714505), -(agent_generic(_714505))], (3994 ^ _592246) ^ [_714713, _714715] : [hasmembers(_714715, _714713), -(organization(_714715))], (4000 ^ _592246) ^ [_714907] : [isa(_714907, c_terrorist), -(terrorist(_714907))], (4006 ^ _592246) ^ [_715095] : [terrorist(_715095), -(isa(_715095, c_terrorist))], (4012 ^ _592246) ^ [_715296, _715298, _715300] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715300, _715298, _715296), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592246) ^ [_715410, _715412, _715414] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715414, _715412, _715410), n_1, _715414))], (4016 ^ _592246) ^ [_715525, _715527, _715529] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715529, _715527, _715525), n_2, _715527))], (4018 ^ _592246) ^ [_715640, _715642, _715644] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715644, _715642, _715640), n_3, _715640))], (4020 ^ _592246) ^ [_715755, _715757, _715759] : [-(collection(f_subcollectionofwithrelationfromtypefn(_715759, _715757, _715755)))], (4022 ^ _592246) ^ [_715855] : [isa(_715855, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_715855))], (4028 ^ _592246) ^ [_716043] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716043), -(isa(_716043, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592246) ^ [_716245, _716247] : [prettystring(_716247, _716245), -(controlcharacterfreestring(_716245))], (4040 ^ _592246) ^ [_716453, _716455] : [prettystring(_716455, _716453), -(thing(_716455))], (4046 ^ _592246) ^ [_716647] : [isa(_716647, c_tptpcol_0_0), -(tptpcol_0_0(_716647))], (4052 ^ _592246) ^ [_716835] : [tptpcol_0_0(_716835), -(isa(_716835, c_tptpcol_0_0))], (4058 ^ _592246) ^ [_717023] : [isa(_717023, c_geolevel_3), -(geolevel_3(_717023))], (4064 ^ _592246) ^ [_717211] : [geolevel_3(_717211), -(isa(_717211, c_geolevel_3))], (4070 ^ _592246) ^ [_717399] : [isa(_717399, c_tptpcol_4_24578), -(tptpcol_4_24578(_717399))], (4076 ^ _592246) ^ [_717587] : [tptpcol_4_24578(_717587), -(isa(_717587, c_tptpcol_4_24578))], (4082 ^ _592246) ^ [_717775] : [isa(_717775, c_tptpcol_5_24579), -(tptpcol_5_24579(_717775))], (4088 ^ _592246) ^ [_717963] : [tptpcol_5_24579(_717963), -(isa(_717963, c_tptpcol_5_24579))], (4094 ^ _592246) ^ [_718151] : [isa(_718151, c_tptpcol_5_106498), -(tptpcol_5_106498(_718151))], (4100 ^ _592246) ^ [_718339] : [tptpcol_5_106498(_718339), -(isa(_718339, c_tptpcol_5_106498))], (4106 ^ _592246) ^ [_718527] : [isa(_718527, c_tptpcol_12_109157), -(tptpcol_12_109157(_718527))], (4112 ^ _592246) ^ [_718715] : [tptpcol_12_109157(_718715), -(isa(_718715, c_tptpcol_12_109157))], (4118 ^ _592246) ^ [_718903] : [isa(_718903, c_tptpcol_13_109173), -(tptpcol_13_109173(_718903))], (4124 ^ _592246) ^ [_719091] : [tptpcol_13_109173(_719091), -(isa(_719091, c_tptpcol_13_109173))], (4130 ^ _592246) ^ [_719279] : [isa(_719279, c_mathematicalthing), -(mathematicalthing(_719279))], (4136 ^ _592246) ^ [_719467] : [mathematicalthing(_719467), -(isa(_719467, c_mathematicalthing))], (4142 ^ _592246) ^ [_719655] : [isa(_719655, c_setorcollection), -(setorcollection(_719655))], (4148 ^ _592246) ^ [_719843] : [setorcollection(_719843), -(isa(_719843, c_setorcollection))], (4154 ^ _592246) ^ [_720031] : [isa(_720031, c_tptpcol_11_18631), -(tptpcol_11_18631(_720031))], (4160 ^ _592246) ^ [_720219] : [tptpcol_11_18631(_720219), -(isa(_720219, c_tptpcol_11_18631))], (4166 ^ _592246) ^ [_720407] : [isa(_720407, c_tptpcol_12_18663), -(tptpcol_12_18663(_720407))], (4172 ^ _592246) ^ [_720595] : [tptpcol_12_18663(_720595), -(isa(_720595, c_tptpcol_12_18663))], (4178 ^ _592246) ^ [_720797, _720799] : [tptptypes_8_400(_720799, _720797), -(firstordercollection(_720797))], (4184 ^ _592246) ^ [_721005, _721007] : [tptptypes_8_400(_721007, _721005), -(firstordercollection(_721007))], (4190 ^ _592246) ^ [_721213, _721215] : [tptptypes_9_401(_721215, _721213), -(firstordercollection(_721213))], (4196 ^ _592246) ^ [_721421, _721423] : [tptptypes_9_401(_721423, _721421), -(firstordercollection(_721423))], (4202 ^ _592246) ^ [_721600] : [-(natfunction(f_tptpquantityfn_13(_721600), c_tptpquantityfn_13))], (4204 ^ _592246) ^ [_721680] : [-(natargument(f_tptpquantityfn_13(_721680), n_1, _721680))], (4206 ^ _592246) ^ [_721761] : [-(tptpquantity(f_tptpquantityfn_13(_721761)))], (4208 ^ _592246) ^ [_721869, _721871] : [borderson(_721871, _721869), -(geographicalregion(_721869))], (4214 ^ _592246) ^ [_722077, _722079] : [borderson(_722079, _722077), -(geographicalregion(_722079))], (4220 ^ _592246) ^ [_722285, _722287] : [borderson(_722287, _722285), -(borderson(_722285, _722287))], (4226 ^ _592246) ^ [_722465] : [borderson(_722465, _722465)], (4228 ^ _592246) ^ [_722558] : [isa(_722558, c_tptpcol_14_92264), -(tptpcol_14_92264(_722558))], (4234 ^ _592246) ^ [_722746] : [tptpcol_14_92264(_722746), -(isa(_722746, c_tptpcol_14_92264))], (4240 ^ _592246) ^ [_722934] : [isa(_722934, c_tptpcol_15_92268), -(tptpcol_15_92268(_722934))], (4246 ^ _592246) ^ [_723122] : [tptpcol_15_92268(_723122), -(isa(_723122, c_tptpcol_15_92268))], (4252 ^ _592246) ^ [_723310] : [isa(_723310, c_tptpcol_6_116738), -(tptpcol_6_116738(_723310))], (4258 ^ _592246) ^ [_723498] : [tptpcol_6_116738(_723498), -(isa(_723498, c_tptpcol_6_116738))], (4264 ^ _592246) ^ [_723700, _723702] : [tptptypes_5_387(_723702, _723700), -(firstordercollection(_723700))], (4270 ^ _592246) ^ [_723908, _723910] : [tptptypes_5_387(_723910, _723908), -(firstordercollection(_723910))], (4276 ^ _592246) ^ [_724116, _724118] : [tptptypes_6_388(_724118, _724116), -(firstordercollection(_724116))], (4282 ^ _592246) ^ [_724324, _724326] : [tptptypes_6_388(_724326, _724324), -(firstordercollection(_724326))], (4288 ^ _592246) ^ [_724518] : [isa(_724518, c_shavingrazor_manual), -(shavingrazor_manual(_724518))], (4294 ^ _592246) ^ [_724706] : [shavingrazor_manual(_724706), -(isa(_724706, c_shavingrazor_manual))], (4300 ^ _592246) ^ [_724894] : [isa(_724894, c_tptpcol_9_109060), -(tptpcol_9_109060(_724894))], (4306 ^ _592246) ^ [_725082] : [tptpcol_9_109060(_725082), -(isa(_725082, c_tptpcol_9_109060))], (4312 ^ _592246) ^ [_725270] : [isa(_725270, c_tptpcol_10_109061), -(tptpcol_10_109061(_725270))], (4318 ^ _592246) ^ [_725458] : [tptpcol_10_109061(_725458), -(isa(_725458, c_tptpcol_10_109061))], (4324 ^ _592246) ^ [_725646] : [isa(_725646, c_executionbyfiringsquad), -(executionbyfiringsquad(_725646))], (4330 ^ _592246) ^ [_725834] : [executionbyfiringsquad(_725834), -(isa(_725834, c_executionbyfiringsquad))], (4336 ^ _592246) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592246) ^ [_726075] : [isa(_726075, c_navypersonnel), -(navypersonnel(_726075))], (4344 ^ _592246) ^ [_726263] : [navypersonnel(_726263), -(isa(_726263, c_navypersonnel))], (4350 ^ _592246) ^ [_726451] : [isa(_726451, c_tptpcol_12_92262), -(tptpcol_12_92262(_726451))], (4356 ^ _592246) ^ [_726639] : [tptpcol_12_92262(_726639), -(isa(_726639, c_tptpcol_12_92262))], (4362 ^ _592246) ^ [_726827] : [isa(_726827, c_thing), -(thing(_726827))], (4368 ^ _592246) ^ [_727015] : [thing(_727015), -(isa(_727015, c_thing))], (4374 ^ _592246) ^ [_727203] : [isa(_727203, c_computerdataartifact), -(computerdataartifact(_727203))], (4380 ^ _592246) ^ [_727391] : [computerdataartifact(_727391), -(isa(_727391, c_computerdataartifact))], (4386 ^ _592246) ^ [_727579] : [isa(_727579, c_applicationcontext), -(applicationcontext(_727579))], (4392 ^ _592246) ^ [_727767] : [applicationcontext(_727767), -(isa(_727767, c_applicationcontext))], (4398 ^ _592246) ^ [_727969, _727971] : [inregion(_727971, _727969), -(spatialthing_nonsituational(_727969))], (4404 ^ _592246) ^ [_728177, _728179] : [inregion(_728179, _728177), -(spatialthing_nonsituational(_728179))], (4410 ^ _592246) ^ [_728399, _728401, _728403] : [-(inregion(_728403, _728399)), inregion(_728403, _728401), inregion(_728401, _728399)], (4420 ^ _592246) ^ [_728694] : [spatialthing_nonsituational(_728694), -(inregion(_728694, _728694))], (4426 ^ _592246) ^ [_728867] : [-(natfunction(f_tptpquantityfn_1(_728867), c_tptpquantityfn_1))], (4428 ^ _592246) ^ [_728947] : [-(natargument(f_tptpquantityfn_1(_728947), n_1, _728947))], (4430 ^ _592246) ^ [_729028] : [-(tptpquantity(f_tptpquantityfn_1(_729028)))], (4432 ^ _592246) ^ [_729122] : [isa(_729122, c_furpelt), -(furpelt(_729122))], (4438 ^ _592246) ^ [_729310] : [furpelt(_729310), -(isa(_729310, c_furpelt))], (4444 ^ _592246) ^ [_729512, _729514] : [tptpofobject(_729514, _729512), -(tptpquantity(_729512))], (4450 ^ _592246) ^ [_729720, _729722] : [tptpofobject(_729722, _729720), -(partiallytangible(_729722))], (4456 ^ _592246) ^ [_729942, _729944, _729946] : [relationallinstance(_729946, _729944, _729942), -(thing(_729942))], (4462 ^ _592246) ^ [_730172, _730174, _730176] : [relationallinstance(_730176, _730174, _730172), -(collection(_730174))], (4468 ^ _592246) ^ [_730402, _730404, _730406] : [relationallinstance(_730406, _730404, _730402), -(binarypredicate(_730406))], (4474 ^ _592246) ^ [_730604] : [isa(_730604, c_tptpcol_13_93766), -(tptpcol_13_93766(_730604))], (4480 ^ _592246) ^ [_730792] : [tptpcol_13_93766(_730792), -(isa(_730792, c_tptpcol_13_93766))], (4486 ^ _592246) ^ [_730980] : [isa(_730980, c_tptpcol_9_40196), -(tptpcol_9_40196(_730980))], (4492 ^ _592246) ^ [_731168] : [tptpcol_9_40196(_731168), -(isa(_731168, c_tptpcol_9_40196))], (4498 ^ _592246) ^ [_731356] : [isa(_731356, c_tptpcol_10_40324), -(tptpcol_10_40324(_731356))], (4504 ^ _592246) ^ [_731544] : [tptpcol_10_40324(_731544), -(isa(_731544, c_tptpcol_10_40324))], (4510 ^ _592246) ^ [_731732] : [isa(_731732, c_tptpcol_7_72707), -(tptpcol_7_72707(_731732))], (4516 ^ _592246) ^ [_731920] : [tptpcol_7_72707(_731920), -(isa(_731920, c_tptpcol_7_72707))], (4522 ^ _592246) ^ [_732108] : [isa(_732108, c_tptpcol_8_72708), -(tptpcol_8_72708(_732108))], (4528 ^ _592246) ^ [_732296] : [tptpcol_8_72708(_732296), -(isa(_732296, c_tptpcol_8_72708))], (4534 ^ _592246) ^ [_732484] : [isa(_732484, c_tptpcol_11_93764), -(tptpcol_11_93764(_732484))], (4540 ^ _592246) ^ [_732672] : [tptpcol_11_93764(_732672), -(isa(_732672, c_tptpcol_11_93764))], (4546 ^ _592246) ^ [_732860] : [isa(_732860, c_tptpcol_12_93765), -(tptpcol_12_93765(_732860))], (4552 ^ _592246) ^ [_733048] : [tptpcol_12_93765(_733048), -(isa(_733048, c_tptpcol_12_93765))], (4558 ^ _592246) ^ [_733236] : [isa(_733236, c_tptpcol_4_114689), -(tptpcol_4_114689(_733236))], (4564 ^ _592246) ^ [_733424] : [tptpcol_4_114689(_733424), -(isa(_733424, c_tptpcol_4_114689))], (4570 ^ _592246) ^ [_733612] : [isa(_733612, c_tptpcol_5_114690), -(tptpcol_5_114690(_733612))], (4576 ^ _592246) ^ [_733800] : [tptpcol_5_114690(_733800), -(isa(_733800, c_tptpcol_5_114690))], (4582 ^ _592246) ^ [_733988] : [isa(_733988, c_tptpcol_3_98305), -(tptpcol_3_98305(_733988))], (4588 ^ _592246) ^ [_734176] : [tptpcol_3_98305(_734176), -(isa(_734176, c_tptpcol_3_98305))], (4594 ^ _592246) ^ [_734364] : [isa(_734364, c_tptpcol_4_106497), -(tptpcol_4_106497(_734364))], (4600 ^ _592246) ^ [_734552] : [tptpcol_4_106497(_734552), -(isa(_734552, c_tptpcol_4_106497))], (4606 ^ _592246) ^ [_734767, _734769, _734771, _734773] : [-(natfunction(f_relationexistsallfn(_734773, _734771, _734769, _734767), c_relationexistsallfn))], (4608 ^ _592246) ^ [_734898, _734900, _734902, _734904] : [-(natargument(f_relationexistsallfn(_734904, _734902, _734900, _734898), n_1, _734904))], (4610 ^ _592246) ^ [_735030, _735032, _735034, _735036] : [-(natargument(f_relationexistsallfn(_735036, _735034, _735032, _735030), n_2, _735034))], (4612 ^ _592246) ^ [_735162, _735164, _735166, _735168] : [-(natargument(f_relationexistsallfn(_735168, _735166, _735164, _735162), n_3, _735164))], (4614 ^ _592246) ^ [_735294, _735296, _735298, _735300] : [-(natargument(f_relationexistsallfn(_735300, _735298, _735296, _735294), n_4, _735294))], (4616 ^ _592246) ^ [_735426, _735428, _735430, _735432] : [-(thing(f_relationexistsallfn(_735432, _735430, _735428, _735426)))], (4618 ^ _592246) ^ [_735543, _735545] : [resultisaarg(_735545, _735543), -(positiveinteger(_735543))], (4624 ^ _592246) ^ [_735751, _735753] : [resultisaarg(_735753, _735751), -(function_denotational(_735753))], (4630 ^ _592246) ^ [_735959, _735961] : [tptptypes_7_389(_735961, _735959), -(firstordercollection(_735959))], (4636 ^ _592246) ^ [_736167, _736169] : [tptptypes_7_389(_736169, _736167), -(firstordercollection(_736169))], (4642 ^ _592246) ^ [_736375, _736377] : [tptptypes_8_390(_736377, _736375), -(firstordercollection(_736375))], (4648 ^ _592246) ^ [_736583, _736585] : [tptptypes_8_390(_736585, _736583), -(firstordercollection(_736585))], (4654 ^ _592246) ^ [_736791, _736793] : [tptptypes_8_692(_736793, _736791), -(firstordercollection(_736791))], (4660 ^ _592246) ^ [_736999, _737001] : [tptptypes_8_692(_737001, _736999), -(firstordercollection(_737001))], (4666 ^ _592246) ^ [_737207, _737209] : [tptptypes_9_693(_737209, _737207), -(firstordercollection(_737207))], (4672 ^ _592246) ^ [_737415, _737417] : [tptptypes_9_693(_737417, _737415), -(firstordercollection(_737417))], (4678 ^ _592246) ^ [_737609] : [isa(_737609, c_tptpcol_11_40388), -(tptpcol_11_40388(_737609))], (4684 ^ _592246) ^ [_737797] : [tptpcol_11_40388(_737797), -(isa(_737797, c_tptpcol_11_40388))], (4690 ^ _592246) ^ [_737985] : [isa(_737985, c_marriagelicensedocument), -(marriagelicensedocument(_737985))], (4696 ^ _592246) ^ [_738173] : [marriagelicensedocument(_738173), -(isa(_738173, c_marriagelicensedocument))], (4702 ^ _592246) ^ [_738361] : [isa(_738361, c_tptpcol_1_65536), -(tptpcol_1_65536(_738361))], (4708 ^ _592246) ^ [_738549] : [tptpcol_1_65536(_738549), -(isa(_738549, c_tptpcol_1_65536))], (4714 ^ _592246) ^ [_738737] : [isa(_738737, c_tptpcol_2_98304), -(tptpcol_2_98304(_738737))], (4720 ^ _592246) ^ [_738925] : [tptpcol_2_98304(_738925), -(isa(_738925, c_tptpcol_2_98304))], (4726 ^ _592246) ^ [_739113] : [isa(_739113, c_tptpcol_10_92166), -(tptpcol_10_92166(_739113))], (4732 ^ _592246) ^ [_739301] : [tptpcol_10_92166(_739301), -(isa(_739301, c_tptpcol_10_92166))], (4738 ^ _592246) ^ [_739489] : [isa(_739489, c_tptpcol_11_92230), -(tptpcol_11_92230(_739489))], (4744 ^ _592246) ^ [_739677] : [tptpcol_11_92230(_739677), -(isa(_739677, c_tptpcol_11_92230))], (4750 ^ _592246) ^ [_739865] : [isa(_739865, c_orderingpredicate), -(orderingpredicate(_739865))], (4756 ^ _592246) ^ [_740053] : [orderingpredicate(_740053), -(isa(_740053, c_orderingpredicate))], (4762 ^ _592246) ^ [_740241] : [isa(_740241, c_tptpcol_9_18439), -(tptpcol_9_18439(_740241))], (4768 ^ _592246) ^ [_740429] : [tptpcol_9_18439(_740429), -(isa(_740429, c_tptpcol_9_18439))], (4774 ^ _592246) ^ [_740617] : [isa(_740617, c_tptpcol_10_18567), -(tptpcol_10_18567(_740617))], (4780 ^ _592246) ^ [_740805] : [tptpcol_10_18567(_740805), -(isa(_740805, c_tptpcol_10_18567))], (4786 ^ _592246) ^ [_740993] : [isa(_740993, c_tptpcol_2_65537), -(tptpcol_2_65537(_740993))], (4792 ^ _592246) ^ [_741181] : [tptpcol_2_65537(_741181), -(isa(_741181, c_tptpcol_2_65537))], (4798 ^ _592246) ^ [_741369] : [isa(_741369, c_tptpcol_3_81921), -(tptpcol_3_81921(_741369))], (4804 ^ _592246) ^ [_741557] : [tptpcol_3_81921(_741557), -(isa(_741557, c_tptpcol_3_81921))], (4810 ^ _592246) ^ [_741745] : [isa(_741745, c_artsupplies), -(artsupplies(_741745))], (4816 ^ _592246) ^ [_741933] : [artsupplies(_741933), -(isa(_741933, c_artsupplies))], (4822 ^ _592246) ^ [_742121] : [isa(_742121, c_enduringthing_localized), -(enduringthing_localized(_742121))], (4828 ^ _592246) ^ [_742309] : [enduringthing_localized(_742309), -(isa(_742309, c_enduringthing_localized))], (4834 ^ _592246) ^ [_742497] : [isa(_742497, c_location_underspecified), -(location_underspecified(_742497))], (4840 ^ _592246) ^ [_742685] : [location_underspecified(_742685), -(isa(_742685, c_location_underspecified))], (4846 ^ _592246) ^ [_742873] : [isa(_742873, c_trajector_underspecified), -(trajector_underspecified(_742873))], (4852 ^ _592246) ^ [_743061] : [trajector_underspecified(_743061), -(isa(_743061, c_trajector_underspecified))], (4858 ^ _592246) ^ [_743249] : [isa(_743249, c_individual), -(individual(_743249))], (4864 ^ _592246) ^ [_743437] : [individual(_743437), -(isa(_743437, c_individual))], (4870 ^ _592246) ^ [_743625] : [isa(_743625, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743625))], (4876 ^ _592246) ^ [_743813] : [partiallyintangibleindividual(_743813), -(isa(_743813, c_partiallyintangibleindividual))], (4882 ^ _592246) ^ [_744001] : [isa(_744001, c_tptpcol_10_22022), -(tptpcol_10_22022(_744001))], (4888 ^ _592246) ^ [_744189] : [tptpcol_10_22022(_744189), -(isa(_744189, c_tptpcol_10_22022))], (4894 ^ _592246) ^ [_744377] : [isa(_744377, c_tptpcol_11_22023), -(tptpcol_11_22023(_744377))], (4900 ^ _592246) ^ [_744565] : [tptpcol_11_22023(_744565), -(isa(_744565, c_tptpcol_11_22023))], (4906 ^ _592246) ^ [_744753] : [isa(_744753, c_tptpcol_5_20483), -(tptpcol_5_20483(_744753))], (4912 ^ _592246) ^ [_744941] : [tptpcol_5_20483(_744941), -(isa(_744941, c_tptpcol_5_20483))], (4918 ^ _592246) ^ [_745129] : [isa(_745129, c_tptpcol_13_72791), -(tptpcol_13_72791(_745129))], (4924 ^ _592246) ^ [_745317] : [tptpcol_13_72791(_745317), -(isa(_745317, c_tptpcol_13_72791))], (4930 ^ _592246) ^ [_745505] : [isa(_745505, c_tptpcol_14_72792), -(tptpcol_14_72792(_745505))], (4936 ^ _592246) ^ [_745693] : [tptpcol_14_72792(_745693), -(isa(_745693, c_tptpcol_14_72792))], (4942 ^ _592246) ^ [_745881] : [isa(_745881, c_ridgeline_topographical), -(ridgeline_topographical(_745881))], (4948 ^ _592246) ^ [_746069] : [ridgeline_topographical(_746069), -(isa(_746069, c_ridgeline_topographical))], (4954 ^ _592246) ^ [_746257] : [isa(_746257, c_tptpcol_4_16387), -(tptpcol_4_16387(_746257))], (4960 ^ _592246) ^ [_746445] : [tptpcol_4_16387(_746445), -(isa(_746445, c_tptpcol_4_16387))], (4966 ^ _592246) ^ [_746633] : [isa(_746633, c_tptpcol_5_16388), -(tptpcol_5_16388(_746633))], (4972 ^ _592246) ^ [_746821] : [tptpcol_5_16388(_746821), -(isa(_746821, c_tptpcol_5_16388))], (4978 ^ _592246) ^ [_747009] : [isa(_747009, c_tptpcol_8_22020), -(tptpcol_8_22020(_747009))], (4984 ^ _592246) ^ [_747197] : [tptpcol_8_22020(_747197), -(isa(_747197, c_tptpcol_8_22020))], (4990 ^ _592246) ^ [_747385] : [isa(_747385, c_tptpcol_9_22021), -(tptpcol_9_22021(_747385))], (4996 ^ _592246) ^ [_747573] : [tptpcol_9_22021(_747573), -(isa(_747573, c_tptpcol_9_22021))], (5002 ^ _592246) ^ [_747761] : [isa(_747761, c_transitivebinarypredicate), -(transitivebinarypredicate(_747761))], (5008 ^ _592246) ^ [_747949] : [transitivebinarypredicate(_747949), -(isa(_747949, c_transitivebinarypredicate))], (5014 ^ _592246) ^ [_748151, _748153] : [geographicalsubregions(_748153, _748151), -(geographicalregion(_748151))], (5020 ^ _592246) ^ [_748359, _748361] : [geographicalsubregions(_748361, _748359), -(geographicalregion(_748361))], (5026 ^ _592246) ^ [_748581, _748583, _748585] : [-(geographicalsubregions(_748585, _748581)), geographicalsubregions(_748585, _748583), geographicalsubregions(_748583, _748581)], (5036 ^ _592246) ^ [_748876] : [geographicalregion(_748876), -(geographicalsubregions(_748876, _748876))], (5042 ^ _592246) ^ [_749064] : [isa(_749064, c_tptpcol_12_40420), -(tptpcol_12_40420(_749064))], (5048 ^ _592246) ^ [_749252] : [tptpcol_12_40420(_749252), -(isa(_749252, c_tptpcol_12_40420))], (5054 ^ _592246) ^ [_749440] : [isa(_749440, c_tptpcol_13_40421), -(tptpcol_13_40421(_749440))], (5060 ^ _592246) ^ [_749628] : [tptpcol_13_40421(_749628), -(isa(_749628, c_tptpcol_13_40421))], (5066 ^ _592246) ^ [_749816] : [isa(_749816, c_tptpcol_6_92162), -(tptpcol_6_92162(_749816))], (5072 ^ _592246) ^ [_750004] : [tptpcol_6_92162(_750004), -(isa(_750004, c_tptpcol_6_92162))], (5078 ^ _592246) ^ [_750192] : [isa(_750192, c_tptpcol_7_93186), -(tptpcol_7_93186(_750192))], (5084 ^ _592246) ^ [_750380] : [tptpcol_7_93186(_750380), -(isa(_750380, c_tptpcol_7_93186))], (5090 ^ _592246) ^ [_750582, _750584] : [most(_750584, _750582), -(setorcollection(_750582))], (5096 ^ _592246) ^ [_750790, _750792] : [most(_750792, _750790), -(setorcollection(_750790))], (5102 ^ _592246) ^ [_750998, _751000] : [most(_751000, _750998), -(setorcollection(_751000))], (5108 ^ _592246) ^ [_751206, _751208] : [most(_751208, _751206), -(setorcollection(_751208))], (5114 ^ _592246) ^ [_751400] : [setorcollection(_751400), -(most(_751400, _751400))], (5120 ^ _592246) ^ [_751588] : [setorcollection(_751588), -(most(_751588, _751588))], (5126 ^ _592246) ^ [_751804, _751806, _751808] : [-(most(_751808, _751804)), most(_751808, _751806), subsetof(_751806, _751804)], (5136 ^ _592246) ^ [_752127, _752129, _752131] : [-(most(_752131, _752127)), most(_752131, _752129), subsetof(_752129, _752127)], (5146 ^ _592246) ^ [_752436, _752438] : [subsetof(_752438, _752436), -(setorcollection(_752436))], (5152 ^ _592246) ^ [_752644, _752646] : [subsetof(_752646, _752644), -(setorcollection(_752646))], (5158 ^ _592246) ^ [_752866, _752868, _752870] : [-(subsetof(_752870, _752866)), subsetof(_752870, _752868), subsetof(_752868, _752866)], (5168 ^ _592246) ^ [_753161] : [setorcollection(_753161), -(subsetof(_753161, _753161))], (5174 ^ _592246) ^ [_753377, _753379, _753381] : [-(subsetof(_753377, _753379)), subsetof(_753381, _753379), subsetof(_753377, _753381)], (5184 ^ _592246) ^ [_753700, _753702, _753704] : [-(subsetof(_753704, _753700)), subsetof(_753704, _753702), subsetof(_753702, _753700)], (5194 ^ _592246) ^ [_754023, _754025, _754027] : [-(subsetof(_754027, _754023)), subsetof(_754027, _754025), subsetof(_754025, _754023)], (5204 ^ _592246) ^ [_754332, _754334] : [genlpreds(_754334, _754332), -(predicate(_754332))], (5210 ^ _592246) ^ [_754540, _754542] : [genlpreds(_754542, _754540), -(predicate(_754540))], (5216 ^ _592246) ^ [_754748, _754750] : [genlpreds(_754750, _754748), -(predicate(_754750))], (5222 ^ _592246) ^ [_754956, _754958] : [genlpreds(_754958, _754956), -(predicate(_754958))], (5228 ^ _592246) ^ [_755178, _755180, _755182] : [-(genlpreds(_755182, _755178)), genlpreds(_755182, _755180), genlpreds(_755180, _755178)], (5238 ^ _592246) ^ [_755473] : [predicate(_755473), -(genlpreds(_755473, _755473))], (5244 ^ _592246) ^ [_755661] : [predicate(_755661), -(genlpreds(_755661, _755661))], (5250 ^ _592246) ^ [_755863, _755865] : [genlinverse(_755865, _755863), -(binarypredicate(_755863))], (5256 ^ _592246) ^ [_756071, _756073] : [genlinverse(_756073, _756071), -(binarypredicate(_756073))], (5262 ^ _592246) ^ [_756293, _756295, _756297] : [-(genlinverse(_756293, _756295)), genlinverse(_756297, _756295), genlpreds(_756293, _756297)], (5272 ^ _592246) ^ [_756616, _756618, _756620] : [-(genlinverse(_756620, _756616)), genlinverse(_756620, _756618), genlpreds(_756618, _756616)], (5282 ^ _592246) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592246) ^ [_756964] : [isa(_756964, c_microtheory), -(microtheory(_756964))], (5290 ^ _592246) ^ [_757152] : [microtheory(_757152), -(isa(_757152, c_microtheory))], (5296 ^ _592246) ^ [_757325] : [-(natfunction(f_urlfn(_757325), c_urlfn))], (5298 ^ _592246) ^ [_757405] : [-(natargument(f_urlfn(_757405), n_1, _757405))], (5300 ^ _592246) ^ [_757486] : [-(uniformresourcelocator(f_urlfn(_757486)))], (5302 ^ _592246) ^ [_757565] : [-(natfunction(f_urlreferentfn(_757565), c_urlreferentfn))], (5304 ^ _592246) ^ [_757645] : [-(natargument(f_urlreferentfn(_757645), n_1, _757645))], (5306 ^ _592246) ^ [_757726] : [-(computerdataartifact(f_urlreferentfn(_757726)))], (5308 ^ _592246) ^ [_757819, _757821] : [-(natfunction(f_contentmtofcdafromeventfn(_757821, _757819), c_contentmtofcdafromeventfn))], (5310 ^ _592246) ^ [_757916, _757918] : [-(natargument(f_contentmtofcdafromeventfn(_757918, _757916), n_1, _757918))], (5312 ^ _592246) ^ [_758014, _758016] : [-(natargument(f_contentmtofcdafromeventfn(_758016, _758014), n_2, _758014))], (5314 ^ _592246) ^ [_758112, _758114] : [-(microtheory(f_contentmtofcdafromeventfn(_758114, _758112)))], (5316 ^ _592246) ^ [_758223, _758225] : [isa(_758225, _758223), -(collection(_758223))], (5322 ^ _592246) ^ [_758431, _758433] : [isa(_758433, _758431), -(collection(_758431))], (5328 ^ _592246) ^ [_758639, _758641] : [isa(_758641, _758639), -(thing(_758641))], (5334 ^ _592246) ^ [_758847, _758849] : [isa(_758849, _758847), -(thing(_758849))], (5340 ^ _592246) ^ [_759069, _759071, _759073] : [-(isa(_759073, _759069)), isa(_759073, _759071), genls(_759071, _759069)], (5350 ^ _592246) ^ [_759364] : [isa(_759364, c_inanimateobject), -(inanimateobject(_759364))], (5356 ^ _592246) ^ [_759552] : [inanimateobject(_759552), -(isa(_759552, c_inanimateobject))], (5362 ^ _592246) ^ [_759740] : [isa(_759740, c_tptpcol_9_72709), -(tptpcol_9_72709(_759740))], (5368 ^ _592246) ^ [_759928] : [tptpcol_9_72709(_759928), -(isa(_759928, c_tptpcol_9_72709))], (5374 ^ _592246) ^ [_760116] : [isa(_760116, c_tptpcol_10_72710), -(tptpcol_10_72710(_760116))], (5380 ^ _592246) ^ [_760304] : [tptpcol_10_72710(_760304), -(isa(_760304, c_tptpcol_10_72710))], (5386 ^ _592246) ^ [_760492] : [isa(_760492, c_tptpcol_14_40429), -(tptpcol_14_40429(_760492))], (5392 ^ _592246) ^ [_760680] : [tptpcol_14_40429(_760680), -(isa(_760680, c_tptpcol_14_40429))], (5398 ^ _592246) ^ [_760868] : [isa(_760868, c_tptpcol_15_40430), -(tptpcol_15_40430(_760868))], (5404 ^ _592246) ^ [_761056] : [tptpcol_15_40430(_761056), -(isa(_761056, c_tptpcol_15_40430))], (5410 ^ _592246) ^ [_761258, _761260] : [genls(_761260, _761258), -(collection(_761258))], (5416 ^ _592246) ^ [_761466, _761468] : [genls(_761468, _761466), -(collection(_761466))], (5422 ^ _592246) ^ [_761674, _761676] : [genls(_761676, _761674), -(collection(_761676))], (5428 ^ _592246) ^ [_761882, _761884] : [genls(_761884, _761882), -(collection(_761884))], (5434 ^ _592246) ^ [_762104, _762106, _762108] : [-(genls(_762108, _762104)), genls(_762108, _762106), genls(_762106, _762104)], (5444 ^ _592246) ^ [_762399] : [collection(_762399), -(genls(_762399, _762399))], (5450 ^ _592246) ^ [_762587] : [collection(_762587), -(genls(_762587, _762587))], (5456 ^ _592246) ^ [_762803, _762805, _762807] : [-(genls(_762803, _762805)), genls(_762807, _762805), genls(_762803, _762807)], (5466 ^ _592246) ^ [_763126, _763128, _763130] : [-(genls(_763130, _763126)), genls(_763130, _763128), genls(_763128, _763126)], (5476 ^ _592246) ^ [_763421] : [isa(_763421, c_partiallytangible), -(partiallytangible(_763421))], (5482 ^ _592246) ^ [_763609] : [partiallytangible(_763609), -(isa(_763609, c_partiallytangible))], (5488 ^ _592246) ^ [_763797] : [isa(_763797, c_intangible), -(intangible(_763797))], (5494 ^ _592246) ^ [_763985] : [intangible(_763985), -(isa(_763985, c_intangible))], (5500 ^ _592246) ^ [_764187, _764189] : [disjointwith(_764189, _764187), -(collection(_764187))], (5506 ^ _592246) ^ [_764395, _764397] : [disjointwith(_764397, _764395), -(collection(_764397))], (5512 ^ _592246) ^ [_764603, _764605] : [disjointwith(_764605, _764603), -(disjointwith(_764603, _764605))], (5518 ^ _592246) ^ [_764827, _764829, _764831] : [-(disjointwith(_764831, _764827)), disjointwith(_764831, _764829), genls(_764827, _764829)], (5528 ^ _592246) ^ [_765150, _765152, _765154] : [-(disjointwith(_765150, _765152)), disjointwith(_765154, _765152), genls(_765150, _765154)], (5538 ^ _592246) ^ [_765459, _765461] : [-(mtvisible(_765459)), mtvisible(_765461), genlmt(_765461, _765459)], (5548 ^ _592246) ^ [_765754, _765756] : [genlmt(_765756, _765754), -(microtheory(_765754))], (5554 ^ _592246) ^ [_765962, _765964] : [genlmt(_765964, _765962), -(microtheory(_765962))], (5560 ^ _592246) ^ [_766170, _766172] : [genlmt(_766172, _766170), -(microtheory(_766172))], (5566 ^ _592246) ^ [_766378, _766380] : [genlmt(_766380, _766378), -(microtheory(_766380))], (5572 ^ _592246) ^ [_766600, _766602, _766604] : [-(genlmt(_766604, _766600)), genlmt(_766604, _766602), genlmt(_766602, _766600)], (5582 ^ _592246) ^ [_766895] : [microtheory(_766895), -(genlmt(_766895, _766895))], (5594 ^ _592246) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592246) ^ [_767083] : [microtheory(_767083), -(genlmt(_767083, _767083))]], input).
% 0.40/1.39  ncf('1',plain,[genls(c_tptpcol_16_30972, c_tptpcol_15_30970)],start(5598 ^ 0)).
% 0.40/1.39  ncf('1.1',plain,[-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))],extension(988 ^ 1)).
% 0.40/1.39  %-----------------------------------------------------
% 0.40/1.39  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------