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

% Computer : n026.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:46:36 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13  % Problem  : CSR053+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.35  % Computer : n026.cluster.edu
% 0.13/0.35  % Model    : x86_64 x86_64
% 0.13/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35  % Memory   : 8042.1875MB
% 0.13/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35  % CPULimit : 300
% 0.13/0.35  % WCLimit  : 300
% 0.13/0.35  % DateTime : Fri May 19 00:29:05 EDT 2023
% 0.13/0.35  % CPUTime  : 
% 0.40/1.40  
% 0.40/1.40  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.40/1.40  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.40/1.40  %-----------------------------------------------------
% 0.40/1.40  ncf(matrix, plain, [(5596 ^ _592316) ^ [] : [-(mtvisible(c_tptpgeo_member1_mt))], (5598 ^ _592316) ^ [] : [geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7)], (2 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592316) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592316) ^ [_592521] : [intangible(_592521), partiallytangible(_592521)], (12 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592316) ^ [_592759] : [tptpcol_15_40430(_592759), -(tptpcol_14_40429(_592759))], (20 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592316) ^ [_592998] : [tptpcol_10_72710(_592998), -(tptpcol_9_72709(_592998))], (28 ^ _592316) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592316) ^ [_593237] : [inanimateobject(_593237), -(partiallytangible(_593237))], (36 ^ _592316) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592316) ^ [_593504, _593506, _593508] : [-(genlpreds(_593508, _593504)), genlinverse(_593508, _593506), genlinverse(_593506, _593504)], (48 ^ _592316) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592316) ^ [_593866, _593868] : [subsetof(_593868, _593866), -(most(_593868, _593866))], (56 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592316) ^ [_594115] : [tptpcol_7_93186(_594115), -(tptpcol_6_92162(_594115))], (64 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592316) ^ [_594354] : [tptpcol_13_40421(_594354), -(tptpcol_12_40420(_594354))], (72 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592316) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592316) ^ [_594818] : [tptpcol_9_22021(_594818), -(tptpcol_8_22020(_594818))], (90 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592316) ^ [_595057] : [tptpcol_5_16388(_595057), -(tptpcol_4_16387(_595057))], (98 ^ _592316) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592316) ^ [_595415] : [tptpcol_14_72792(_595415), -(tptpcol_13_72791(_595415))], (112 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592316) ^ [_595654] : [tptpcol_5_20483(_595654), -(tptpcol_4_16387(_595654))], (120 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592316) ^ [_595893] : [tptpcol_11_22023(_595893), -(tptpcol_10_22022(_595893))], (128 ^ _592316) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592316) ^ [_596132] : [partiallyintangibleindividual(_596132), -(individual(_596132))], (136 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592316) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592316) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592316) ^ [_596477] : [trajector_underspecified(_596477), -(location_underspecified(_596477))], (148 ^ _592316) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592316) ^ [_596716] : [partiallytangible(_596716), -(enduringthing_localized(_596716))], (156 ^ _592316) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592316) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592316) ^ [_597074] : [tptpcol_3_81921(_597074), -(tptpcol_2_65537(_597074))], (170 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592316) ^ [_597313] : [tptpcol_10_18567(_597313), -(tptpcol_9_18439(_597313))], (178 ^ _592316) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592316) ^ [_597552] : [orderingpredicate(_597552), -(transitivebinarypredicate(_597552))], (186 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592316) ^ [_597791] : [tptpcol_11_92230(_597791), -(tptpcol_10_92166(_597791))], (194 ^ _592316) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592316) ^ [_598030] : [tptpcol_2_98304(_598030), -(tptpcol_1_65536(_598030))], (202 ^ _592316) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592316) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592316) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592316) ^ [_598494] : [tptpcol_12_40420(_598494), -(tptpcol_11_40388(_598494))], (220 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592316) ^ [_598747, _598749] : [tptptypes_9_693(_598749, _598747), -(tptptypes_8_692(_598749, _598747))], (228 ^ _592316) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592316) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592316) ^ [_599116, _599118] : [tptptypes_8_390(_599118, _599116), -(tptptypes_7_389(_599118, _599116))], (240 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592316) ^ [_599460, _599462, _599464, _599466] : [-(isa(f_relationexistsallfn(_599466, _599462, _599460, _599464), _599460)), isa(_599466, _599464), relationexistsall(_599462, _599460, _599464)], (254 ^ _592316) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592316) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592316) ^ [_599989] : [tptpcol_4_106497(_599989), -(tptpcol_3_98305(_599989))], (268 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592316) ^ [_600228] : [tptpcol_5_114690(_600228), -(tptpcol_4_114689(_600228))], (276 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592316) ^ [_600467] : [tptpcol_12_93765(_600467), -(tptpcol_11_93764(_600467))], (284 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592316) ^ [_600706] : [tptpcol_8_72708(_600706), -(tptpcol_7_72707(_600706))], (292 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592316) ^ [_600945] : [tptpcol_10_40324(_600945), -(tptpcol_9_40196(_600945))], (300 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592316) ^ [_601184] : [tptpcol_13_93766(_601184), -(tptpcol_12_93765(_601184))], (308 ^ _592316) ^ [_601370] : [-(tptpofobject(_601370, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601370)], (318 ^ _592316) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592316) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592316) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592316) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592316) ^ [_602034] : [location_underspecified(_602034), -(thing(_602034))], (342 ^ _592316) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592316) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592316) ^ [_602379] : [tptpcol_12_92262(_602379), -(tptpcol_11_92230(_602379))], (354 ^ _592316) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592316) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592316) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592316) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592316) ^ [_602896] : [tptpcol_10_109061(_602896), -(tptpcol_9_109060(_602896))], (374 ^ _592316) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592316) ^ [_603202, _603204] : [tptptypes_6_388(_603204, _603202), -(tptptypes_5_387(_603204, _603202))], (384 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592316) ^ [_603451] : [tptpcol_6_116738(_603451), -(tptpcol_5_114690(_603451))], (392 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592316) ^ [_603690] : [tptpcol_15_92268(_603690), -(tptpcol_14_92264(_603690))], (400 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592316) ^ [_603995] : [-(tptpofobject(_603995, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_603995)], (416 ^ _592316) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592316) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592316) ^ [_604448, _604450] : [tptptypes_9_401(_604450, _604448), -(tptptypes_8_400(_604448, _604450))], (430 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592316) ^ [_604697] : [tptpcol_12_18663(_604697), -(tptpcol_11_18631(_604697))], (438 ^ _592316) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592316) ^ [_604936] : [setorcollection(_604936), -(mathematicalthing(_604936))], (446 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592316) ^ [_605175] : [tptpcol_13_109173(_605175), -(tptpcol_12_109157(_605175))], (454 ^ _592316) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592316) ^ [_605467] : [tptpcol_5_106498(_605467), -(tptpcol_4_106497(_605467))], (464 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592316) ^ [_605706] : [tptpcol_5_24579(_605706), -(tptpcol_4_24578(_605706))], (472 ^ _592316) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592316) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592316) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592316) ^ [_606236] : [tptpcol_1_65536(_606236), -(tptpcol_0_0(_606236))], (494 ^ _592316) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592316) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592316) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592316) ^ [_606661, _606663] : [geographicalsubregions(_606663, _606661), -(inregion(_606661, _606663))], (510 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592316) ^ [_606910] : [tptpcol_11_118084(_606910), -(tptpcol_10_118020(_606910))], (518 ^ _592316) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592316) ^ [_607149] : [mathematicalorcomputationalthing(_607149), -(intangible(_607149))], (526 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592316) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592316) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592316) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592316) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592316) ^ [_607667, _607669] : [tptptypes_7_819(_607669, _607667), -(tptptypes_6_818(_607669, _607667))], (544 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592316) ^ [_607969] : [tptpcol_12_26919(_607969), -(tptpcol_11_26887(_607969))], (554 ^ _592316) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592316) ^ [_608222, _608224] : [tptptypes_8_692(_608224, _608222), -(tptptypes_7_691(_608222, _608224))], (562 ^ _592316) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592316) ^ [_608471] : [tptpcol_2_2(_608471), -(tptpcol_1_1(_608471))], (570 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592316) ^ [_608763] : [tptpcol_9_92165(_608763), -(tptpcol_8_92164(_608763))], (580 ^ _592316) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592316) ^ [_609002] : [fixedordercollection(_609002), -(collection(_609002))], (588 ^ _592316) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592316) ^ [_609241] : [tptpcol_1_1(_609241), tptpcol_1_65536(_609241)], (596 ^ _592316) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592316) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592316) ^ [_609532] : [microtheory(_609532), -(aspatialinformationstore(_609532))], (606 ^ _592316) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592316) ^ [_609837] : [-(tptp_8_875(_609837, f_relationallexistsfn(_609837, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_609837, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592316) ^ [] : [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 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592316) ^ [_610288] : [tptpcol_10_118020(_610288), -(tptpcol_9_118019(_610288))], (636 ^ _592316) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592316) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592316) ^ [_610646] : [-(tptp_9_720(_610646, f_relationallexistsfn(_610646, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_610646)], (654 ^ _592316) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592316) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592316) ^ [_611095] : [individual(_611095), setorcollection(_611095)], (668 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592316) ^ [_611333] : [tptpcol_12_22055(_611333), -(tptpcol_11_22023(_611333))], (676 ^ _592316) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592316) ^ [_611572] : [applicationcontext(_611572), -(microtheory(_611572))], (684 ^ _592316) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592316) ^ [_611878, _611880] : [tptptypes_8_400(_611880, _611878), -(tptptypes_7_396(_611880, _611878))], (694 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592316) ^ [_612127] : [tptpcol_11_18631(_612127), -(tptpcol_10_18567(_612127))], (702 ^ _592316) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592316) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592316) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592316) ^ [_612538] : [mathematicalthing(_612538), -(mathematicalorcomputationalthing(_612538))], (718 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592316) ^ [_612830] : [tptpcol_15_93775(_612830), -(tptpcol_14_93774(_612830))], (728 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592316) ^ [_613069] : [tptpcol_8_109059(_613069), -(tptpcol_7_108547(_613069))], (736 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592316) ^ [_613308] : [tptpcol_14_40429(_613308), -(tptpcol_13_40421(_613308))], (744 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592316) ^ [_613666] : [tptpcol_14_22072(_613666), -(tptpcol_13_22071(_613666))], (758 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592316) ^ [_613905] : [tptpcol_14_93774(_613905), -(tptpcol_13_93766(_613905))], (766 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592316) ^ [_614144] : [tptpcol_10_22022(_614144), -(tptpcol_9_22021(_614144))], (774 ^ _592316) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592316) ^ [_614383] : [inanimateobject_nonnatural(_614383), -(inanimateobject(_614383))], (782 ^ _592316) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592316) ^ [_614728] : [tptpcol_9_72709(_614728), -(tptpcol_8_72708(_614728))], (794 ^ _592316) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592316) ^ [_614967] : [-(tptpofobject(_614967, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_614967)], (806 ^ _592316) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592316) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592316) ^ [_615406] : [firstordercollection(_615406), -(fixedordercollection(_615406))], (820 ^ _592316) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592316) ^ [_615817] : [tptpcol_13_18664(_615817), -(tptpcol_12_18663(_615817))], (836 ^ _592316) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592316) ^ [_616056] : [artifact(_616056), -(inanimateobject_nonnatural(_616056))], (844 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592316) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592316) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592316) ^ [_616454] : [tptpcol_7_113665(_616454), -(tptpcol_6_112641(_616454))], (858 ^ _592316) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592316) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592316) ^ [_616812] : [geographicalregion(_616812), -(partiallytangible(_616812))], (872 ^ _592316) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592316) ^ [_617065, _617067] : [disjointwith(_617067, _617065), -(no(_617067, _617065))], (880 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592316) ^ [_617314] : [tptpcol_4_24578(_617314), -(tptpcol_3_16386(_617314))], (888 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592316) ^ [_617553] : [tptpcol_5_69635(_617553), -(tptpcol_4_65539(_617553))], (896 ^ _592316) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592316) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592316) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592316) ^ [_617912, _617914] : [genls(_617914, _617912), -(collection(_617914))], (908 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592316) ^ [_618159] : [tptpcol_13_22071(_618159), -(tptpcol_12_22055(_618159))], (916 ^ _592316) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592316) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592316) ^ [_618451] : [tptpcol_3_98305(_618451), -(tptpcol_2_98304(_618451))], (926 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592316) ^ [_618690] : [tptpcol_4_114689(_618690), -(tptpcol_3_114688(_618690))], (934 ^ _592316) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592316) ^ [_618929] : [artsupplies(_618929), -(supplies(_618929))], (942 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592316) ^ [_619168] : [tptpcol_8_26629(_619168), -(tptpcol_7_26628(_619168))], (950 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592316) ^ [_619407] : [tptpcol_9_109060(_619407), -(tptpcol_8_109059(_619407))], (958 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592316) ^ [_619646] : [isa(_619646, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_619646, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _619646))], (966 ^ _592316) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592316) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592316) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592316) ^ [_620230] : [tptpcol_14_109181(_620230), -(tptpcol_13_109173(_620230))], (988 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592316) ^ [_620469] : [tptpcol_16_30972(_620469), -(tptpcol_15_30970(_620469))], (996 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592316) ^ [_620761] : [tptpcol_9_18439(_620761), -(tptpcol_8_18438(_620761))], (1006 ^ _592316) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592316) ^ [_621053] : [tptpcol_12_118116(_621053), -(tptpcol_11_118084(_621053))], (1016 ^ _592316) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592316) ^ [_621345] : [tptpcol_7_26628(_621345), -(tptpcol_6_26627(_621345))], (1026 ^ _592316) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592316) ^ [_621598, _621600] : [most(_621600, _621598), -(setorcollection(_621600))], (1034 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592316) ^ [_621845] : [tptpcol_15_109185(_621845), -(tptpcol_14_109181(_621845))], (1042 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592316) ^ [_622084] : [tptpcol_16_92269(_622084), -(tptpcol_15_92268(_622084))], (1050 ^ _592316) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592316) ^ [_622390, _622392] : [tptptypes_8_823(_622392, _622390), -(tptptypes_7_819(_622392, _622390))], (1060 ^ _592316) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592316) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592316) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592316) ^ [_622970] : [tptpcol_10_26886(_622970), -(tptpcol_9_26885(_622970))], (1082 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592316) ^ [_623262] : [tptpcol_15_72793(_623262), -(tptpcol_14_72792(_623262))], (1092 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592316) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592316) ^ [_623620] : [navypersonnel(_623620), -(militaryperson(_623620))], (1106 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592316) ^ [_623859] : [tptpcol_4_16387(_623859), -(tptpcol_3_16386(_623859))], (1114 ^ _592316) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592316) ^ [_624098] : [enduringthing_localized(_624098), -(spatialthing_nonsituational(_624098))], (1122 ^ _592316) ^ [_624284] : [collection(_624284), individual(_624284)], (1128 ^ _592316) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592316) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592316) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592316) ^ [_624813] : [physicalorderingpredicate(_624813), -(orderingpredicate(_624813))], (1150 ^ _592316) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592316) ^ [_625066, _625068] : [disjointwith(_625068, _625066), -(collection(_625066))], (1158 ^ _592316) ^ [_625302, _625304, _625306, _625308] : [-(isa(f_relationallexistsfn(_625308, _625304, _625306, _625302), _625302)), isa(_625308, _625306), relationallexists(_625304, _625306, _625302)], (1168 ^ _592316) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592316) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592316) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592316) ^ [_625911, _625913] : [tptptypes_7_389(_625913, _625911), -(tptptypes_6_388(_625911, _625913))], (1186 ^ _592316) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592316) ^ [_626226] : [-(hpkb_subnationalagent(_626226)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626226)], (1202 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592316) ^ [_626544] : [tptpcol_8_22020(_626544), -(tptpcol_7_21508(_626544))], (1210 ^ _592316) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592316) ^ [_626783] : [-(tptp_9_51(f_relationexistsallfn(_626783, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _626783)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_626783, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592316) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592316) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592316) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592316) ^ [_627287] : [tptpcol_3_65538(_627287), -(tptpcol_2_65537(_627287))], (1238 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592316) ^ [_627526] : [tptpcol_14_26921(_627526), -(tptpcol_13_26920(_627526))], (1246 ^ _592316) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592316) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592316) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592316) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592316) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592316) ^ [_627977] : [intangibleindividual(_627977), -(partiallyintangibleindividual(_627977))], (1262 ^ _592316) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592316) ^ [_628335] : [tptpcol_16_130924(_628335), -(tptpcol_15_130923(_628335))], (1276 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592316) ^ [_628574] : [tptpcol_7_92163(_628574), -(tptpcol_6_92162(_628574))], (1284 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592316) ^ [_628866] : [tptpcol_16_130933(_628866), -(tptpcol_15_130931(_628866))], (1294 ^ _592316) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592316) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592316) ^ [_629172, _629174] : [no(_629174, _629172), -(few(_629174, _629172))], (1304 ^ _592316) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592316) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592316) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592316) ^ [_629580] : [tptpcol_6_20484(_629580), -(tptpcol_5_20483(_629580))], (1318 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592316) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592316) ^ [_630044] : [tptpcol_7_108547(_630044), -(tptpcol_6_108546(_630044))], (1336 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592316) ^ [_630283] : [tptpcol_11_109125(_630283), -(tptpcol_10_109061(_630283))], (1344 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592316) ^ [_630575] : [tptpcol_8_93698(_630575), -(tptpcol_7_93186(_630575))], (1354 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592316) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592316) ^ [_630867] : [tptpcol_2_65537(_630867), -(tptpcol_1_65536(_630867))], (1364 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592316) ^ [_631159] : [tptpcol_6_18436(_631159), -(tptpcol_5_16388(_631159))], (1374 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592316) ^ [_631398] : [tptpcol_8_18438(_631398), -(tptpcol_7_18437(_631398))], (1382 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592316) ^ [_631756] : [tptpcol_8_117763(_631756), -(tptpcol_7_117762(_631756))], (1396 ^ _592316) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592316) ^ [_632048] : [tptpcol_12_109157(_632048), -(tptpcol_11_109125(_632048))], (1406 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592316) ^ [_632287] : [tptpcol_7_117762(_632287), -(tptpcol_6_116738(_632287))], (1414 ^ _592316) ^ [_632501, _632503, _632505] : [isa(_632505, _632503), isa(_632505, _632501), disjointwith(_632503, _632501)], (1424 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592316) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592316) ^ [_632901] : [aspatialinformationstore(_632901), -(aspatialthing(_632901))], (1434 ^ _592316) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592316) ^ [_633299] : [tptpcol_9_93699(_633299), -(tptpcol_8_93698(_633299))], (1448 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592316) ^ [_633538] : [tptpcol_11_93764(_633538), -(tptpcol_10_93700(_633538))], (1456 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592316) ^ [_633777] : [tptpcol_6_26627(_633777), -(tptpcol_5_24579(_633777))], (1464 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592316) ^ [_634016] : [tptpcol_4_90113(_634016), -(tptpcol_3_81921(_634016))], (1472 ^ _592316) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592316) ^ [_634308] : [tptpcol_10_93700(_634308), -(tptpcol_9_93699(_634308))], (1482 ^ _592316) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592316) ^ [_634547] : [aspatialinformationstore(_634547), -(intangibleindividual(_634547))], (1490 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592316) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592316) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592316) ^ [_634958] : [tptpcol_3_16386(_634958), -(tptpcol_2_2(_634958))], (1506 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592316) ^ [_635197] : [tptpcol_9_118019(_635197), -(tptpcol_8_117763(_635197))], (1514 ^ _592316) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592316) ^ [_635436] : [individual(_635436), -(trajector_underspecified(_635436))], (1522 ^ _592316) ^ [_635622] : [shavingrazor_manual(_635622), -(tptp_8_271(f_relationexistsallfn(_635622, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635622))], (1528 ^ _592316) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592316) ^ [_635926] : [tptpcol_6_112641(_635926), -(tptpcol_5_110593(_635926))], (1538 ^ _592316) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592316) ^ [_636165] : [tptpcol_12_72775(_636165), -(tptpcol_11_72774(_636165))], (1546 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592316) ^ [_636404] : [tptpcol_7_72707(_636404), -(tptpcol_6_71683(_636404))], (1554 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592316) ^ [_636643] : [tptpcol_16_50958(_636643), -(tptpcol_15_50957(_636643))], (1562 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592316) ^ [_636882] : [tptpcol_8_114177(_636882), -(tptpcol_7_113665(_636882))], (1570 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592316) ^ [_637121] : [tptpcol_16_72795(_637121), -(tptpcol_15_72793(_637121))], (1578 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592316) ^ [_637360] : [tptpcol_6_71683(_637360), -(tptpcol_5_69635(_637360))], (1586 ^ _592316) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592316) ^ [_637666, _637668] : [tptptypes_7_396(_637668, _637666), -(tptptypes_6_388(_637668, _637666))], (1596 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592316) ^ [_637915] : [tptpcol_9_26885(_637915), -(tptpcol_8_26629(_637915))], (1604 ^ _592316) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592316) ^ [_638168, _638170] : [genls(_638170, _638168), -(subsetof(_638170, _638168))], (1612 ^ _592316) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592316) ^ [_638484, _638486] : [tptptypes_6_818(_638486, _638484), -(tptptypes_5_802(_638486, _638484))], (1622 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592316) ^ [_638733] : [tptpcol_6_92162(_638733), -(tptpcol_5_90114(_638733))], (1630 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592316) ^ [_639025] : [tptpcol_8_92164(_639025), -(tptpcol_7_92163(_639025))], (1640 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592316) ^ [_639264] : [tptpcol_13_118117(_639264), -(tptpcol_12_118116(_639264))], (1648 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592316) ^ [_639503] : [tptpcol_11_40388(_639503), -(tptpcol_10_40324(_639503))], (1656 ^ _592316) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592316) ^ [_639756, _639758] : [tptptypes_9_824(_639758, _639756), -(tptptypes_8_823(_639758, _639756))], (1664 ^ _592316) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592316) ^ [_640058] : [tptpcol_11_26887(_640058), -(tptpcol_10_26886(_640058))], (1674 ^ _592316) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592316) ^ [_640297] : [tptpcol_16_26926(_640297), -(tptpcol_15_26925(_640297))], (1682 ^ _592316) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592316) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592316) ^ [_640603, _640605] : [few(_640605, _640603), -(setorcollection(_640603))], (1692 ^ _592316) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592316) ^ [_640850] : [tptpcol_4_65539(_640850), -(tptpcol_3_65538(_640850))], (1700 ^ _592316) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592316) ^ [_641089] : [tptpcol_8_39940(_641089), -(tptpcol_7_39939(_641089))], (1708 ^ _592316) ^ [_641275] : [-(tptpofobject(_641275, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641275)], (1718 ^ _592316) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592316) ^ [_641714] : [tptpcol_15_22076(_641714), -(tptpcol_14_22072(_641714))], (1732 ^ _592316) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592316) ^ [_641953] : [tptpcol_0_0(_641953), -(individual(_641953))], (1740 ^ _592316) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592316) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592316) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592316) ^ [_642351] : [tptpcol_11_72774(_642351), -(tptpcol_10_72710(_642351))], (1754 ^ _592316) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592316) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592316) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592316) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592316) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592316) ^ [_642987] : [tptpcol_7_21508(_642987), -(tptpcol_6_20484(_642987))], (1780 ^ _592316) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592316) ^ [_643226] : [tptpcol_6_108546(_643226), -(tptpcol_5_106498(_643226))], (1788 ^ _592316) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592316) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592316) ^ [_643584] : [geolevel_4(_643584), -(geographicalregion(_643584))], (1802 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592316) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592316) ^ [_644061] : [tptpcol_13_26920(_644061), -(tptpcol_12_26919(_644061))], (1822 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592316) ^ [_644300] : [tptpcol_14_92264(_644300), -(tptpcol_13_92263(_644300))], (1830 ^ _592316) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592316) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592316) ^ [_644592] : [tptpcol_9_40196(_644592), -(tptpcol_8_39940(_644592))], (1840 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592316) ^ [_644950] : [tptpcol_13_92263(_644950), -(tptpcol_12_92262(_644950))], (1854 ^ _592316) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592316) ^ [_645242] : [tptpcol_5_90114(_645242), -(tptpcol_4_90113(_645242))], (1864 ^ _592316) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592316) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592316) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592316) ^ [_645653] : [tptpcol_15_26925(_645653), -(tptpcol_14_26921(_645653))], (1880 ^ _592316) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592316) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592316) ^ [_646011] : [tptpcol_7_18437(_646011), -(tptpcol_6_18436(_646011))], (1894 ^ _592316) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592316) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592316) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592316) ^ [_646422] : [tptpcol_3_98305(_646422), tptpcol_3_114688(_646422)], (1910 ^ _592316) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592316) ^ [_646660] : [tptpcol_5_110593(_646660), -(tptpcol_4_106497(_646660))], (1918 ^ _592316) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592316) ^ [_646899] : [tptpcol_13_72791(_646899), -(tptpcol_12_72775(_646899))], (1926 ^ _592316) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592316) ^ [_647138] : [computerdataartifact(_647138), -(artifact(_647138))], (1934 ^ _592316) ^ [_647324] : [-(tptpofobject(_647324, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647324)], (1944 ^ _592316) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592316) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592316) ^ [_647763] : [tptpcol_10_92166(_647763), -(tptpcol_9_92165(_647763))], (1958 ^ _592316) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592316) ^ [_648002] : [tptpcol_14_118118(_648002), -(tptpcol_13_118117(_648002))], (1966 ^ _592316) ^ [_648188] : [isa(_648188, c_tptpcol_14_118118), -(tptpcol_14_118118(_648188))], (1972 ^ _592316) ^ [_648376] : [tptpcol_14_118118(_648376), -(isa(_648376, c_tptpcol_14_118118))], (1978 ^ _592316) ^ [_648549] : [-(natfunction(f_tptpquantityfn_6(_648549), c_tptpquantityfn_6))], (1980 ^ _592316) ^ [_648629] : [-(natargument(f_tptpquantityfn_6(_648629), n_1, _648629))], (1982 ^ _592316) ^ [_648710] : [-(tptpquantity(f_tptpquantityfn_6(_648710)))], (1984 ^ _592316) ^ [_648804] : [isa(_648804, c_tptpcol_16_26939), -(tptpcol_16_26939(_648804))], (1990 ^ _592316) ^ [_648992] : [tptpcol_16_26939(_648992), -(isa(_648992, c_tptpcol_16_26939))], (1996 ^ _592316) ^ [_649180] : [isa(_649180, c_tptpcol_16_62187), -(tptpcol_16_62187(_649180))], (2002 ^ _592316) ^ [_649368] : [tptpcol_16_62187(_649368), -(isa(_649368, c_tptpcol_16_62187))], (2008 ^ _592316) ^ [_649556] : [isa(_649556, c_tptpcol_13_92263), -(tptpcol_13_92263(_649556))], (2014 ^ _592316) ^ [_649744] : [tptpcol_13_92263(_649744), -(isa(_649744, c_tptpcol_13_92263))], (2020 ^ _592316) ^ [_649932] : [isa(_649932, c_geolevel_4), -(geolevel_4(_649932))], (2026 ^ _592316) ^ [_650120] : [geolevel_4(_650120), -(isa(_650120, c_geolevel_4))], (2032 ^ _592316) ^ [_650308] : [isa(_650308, c_tptpcol_15_4027), -(tptpcol_15_4027(_650308))], (2038 ^ _592316) ^ [_650496] : [tptpcol_15_4027(_650496), -(isa(_650496, c_tptpcol_15_4027))], (2044 ^ _592316) ^ [_650684] : [isa(_650684, c_pushingwithfingers), -(pushingwithfingers(_650684))], (2050 ^ _592316) ^ [_650872] : [pushingwithfingers(_650872), -(isa(_650872, c_pushingwithfingers))], (2056 ^ _592316) ^ [_651074, _651076] : [affiliatedwith(_651076, _651074), -(agent_generic(_651074))], (2062 ^ _592316) ^ [_651282, _651284] : [affiliatedwith(_651284, _651282), -(agent_generic(_651284))], (2068 ^ _592316) ^ [_651490, _651492] : [affiliatedwith(_651492, _651490), -(affiliatedwith(_651490, _651492))], (2074 ^ _592316) ^ [_651670] : [affiliatedwith(_651670, _651670)], (2076 ^ _592316) ^ [_651763] : [isa(_651763, c_footballteam), -(footballteam(_651763))], (2082 ^ _592316) ^ [_651951] : [footballteam(_651951), -(isa(_651951, c_footballteam))], (2088 ^ _592316) ^ [_652139] : [isa(_652139, c_tptpcol_16_4451), -(tptpcol_16_4451(_652139))], (2094 ^ _592316) ^ [_652327] : [tptpcol_16_4451(_652327), -(isa(_652327, c_tptpcol_16_4451))], (2100 ^ _592316) ^ [_652515] : [isa(_652515, c_pushingwithopenhand), -(pushingwithopenhand(_652515))], (2106 ^ _592316) ^ [_652703] : [pushingwithopenhand(_652703), -(isa(_652703, c_pushingwithopenhand))], (2112 ^ _592316) ^ [_652891] : [isa(_652891, c_tptpcol_15_22076), -(tptpcol_15_22076(_652891))], (2118 ^ _592316) ^ [_653079] : [tptpcol_15_22076(_653079), -(isa(_653079, c_tptpcol_15_22076))], (2124 ^ _592316) ^ [_653252] : [-(natfunction(f_tptpquantityfn_2(_653252), c_tptpquantityfn_2))], (2126 ^ _592316) ^ [_653332] : [-(natargument(f_tptpquantityfn_2(_653332), n_1, _653332))], (2128 ^ _592316) ^ [_653413] : [-(tptpquantity(f_tptpquantityfn_2(_653413)))], (2130 ^ _592316) ^ [_653507] : [isa(_653507, c_tptpcol_7_39939), -(tptpcol_7_39939(_653507))], (2136 ^ _592316) ^ [_653695] : [tptpcol_7_39939(_653695), -(isa(_653695, c_tptpcol_7_39939))], (2142 ^ _592316) ^ [_653883] : [isa(_653883, c_tptpcol_8_39940), -(tptpcol_8_39940(_653883))], (2148 ^ _592316) ^ [_654071] : [tptpcol_8_39940(_654071), -(isa(_654071, c_tptpcol_8_39940))], (2154 ^ _592316) ^ [_654259] : [isa(_654259, c_tptpcol_15_26925), -(tptpcol_15_26925(_654259))], (2160 ^ _592316) ^ [_654447] : [tptpcol_15_26925(_654447), -(isa(_654447, c_tptpcol_15_26925))], (2166 ^ _592316) ^ [_654635] : [isa(_654635, c_tptpcol_16_26926), -(tptpcol_16_26926(_654635))], (2172 ^ _592316) ^ [_654823] : [tptpcol_16_26926(_654823), -(isa(_654823, c_tptpcol_16_26926))], (2178 ^ _592316) ^ [_655011] : [isa(_655011, c_tptpcol_13_118117), -(tptpcol_13_118117(_655011))], (2184 ^ _592316) ^ [_655199] : [tptpcol_13_118117(_655199), -(isa(_655199, c_tptpcol_13_118117))], (2190 ^ _592316) ^ [_655387] : [isa(_655387, c_tptpcol_5_90114), -(tptpcol_5_90114(_655387))], (2196 ^ _592316) ^ [_655575] : [tptpcol_5_90114(_655575), -(isa(_655575, c_tptpcol_5_90114))], (2202 ^ _592316) ^ [_655777, _655779] : [tptptypes_5_802(_655779, _655777), -(firstordercollection(_655777))], (2208 ^ _592316) ^ [_655985, _655987] : [tptptypes_5_802(_655987, _655985), -(firstordercollection(_655987))], (2214 ^ _592316) ^ [_656179] : [isa(_656179, c_tptpcol_16_72795), -(tptpcol_16_72795(_656179))], (2220 ^ _592316) ^ [_656367] : [tptpcol_16_72795(_656367), -(isa(_656367, c_tptpcol_16_72795))], (2226 ^ _592316) ^ [_656555] : [isa(_656555, c_tptpcol_8_114177), -(tptpcol_8_114177(_656555))], (2232 ^ _592316) ^ [_656743] : [tptpcol_8_114177(_656743), -(isa(_656743, c_tptpcol_8_114177))], (2238 ^ _592316) ^ [_656931] : [isa(_656931, c_tptpcol_15_50957), -(tptpcol_15_50957(_656931))], (2244 ^ _592316) ^ [_657119] : [tptpcol_15_50957(_657119), -(isa(_657119, c_tptpcol_15_50957))], (2250 ^ _592316) ^ [_657307] : [isa(_657307, c_tptpcol_16_50958), -(tptpcol_16_50958(_657307))], (2256 ^ _592316) ^ [_657495] : [tptpcol_16_50958(_657495), -(isa(_657495, c_tptpcol_16_50958))], (2262 ^ _592316) ^ [_657683] : [isa(_657683, c_tptpcol_6_71683), -(tptpcol_6_71683(_657683))], (2268 ^ _592316) ^ [_657871] : [tptpcol_6_71683(_657871), -(isa(_657871, c_tptpcol_6_71683))], (2274 ^ _592316) ^ [_658059] : [isa(_658059, c_tptpcol_11_72774), -(tptpcol_11_72774(_658059))], (2280 ^ _592316) ^ [_658247] : [tptpcol_11_72774(_658247), -(isa(_658247, c_tptpcol_11_72774))], (2286 ^ _592316) ^ [_658435] : [isa(_658435, c_tptpcol_12_72775), -(tptpcol_12_72775(_658435))], (2292 ^ _592316) ^ [_658623] : [tptpcol_12_72775(_658623), -(isa(_658623, c_tptpcol_12_72775))], (2298 ^ _592316) ^ [_658811] : [isa(_658811, c_tptpcol_5_110593), -(tptpcol_5_110593(_658811))], (2304 ^ _592316) ^ [_658999] : [tptpcol_5_110593(_658999), -(isa(_658999, c_tptpcol_5_110593))], (2310 ^ _592316) ^ [_659187] : [isa(_659187, c_tptpcol_16_25972), -(tptpcol_16_25972(_659187))], (2316 ^ _592316) ^ [_659375] : [tptpcol_16_25972(_659375), -(isa(_659375, c_tptpcol_16_25972))], (2322 ^ _592316) ^ [_659577, _659579] : [tptp_8_271(_659579, _659577), -(razor(_659577))], (2328 ^ _592316) ^ [_659785, _659787] : [tptp_8_271(_659787, _659785), -(tptpcol_5_24579(_659787))], (2334 ^ _592316) ^ [_659979] : [isa(_659979, c_tptpcol_4_90113), -(tptpcol_4_90113(_659979))], (2340 ^ _592316) ^ [_660167] : [tptpcol_4_90113(_660167), -(isa(_660167, c_tptpcol_4_90113))], (2346 ^ _592316) ^ [_660355] : [isa(_660355, c_tptpcol_10_93700), -(tptpcol_10_93700(_660355))], (2352 ^ _592316) ^ [_660543] : [tptpcol_10_93700(_660543), -(isa(_660543, c_tptpcol_10_93700))], (2358 ^ _592316) ^ [_660731] : [isa(_660731, c_tptpcol_9_93699), -(tptpcol_9_93699(_660731))], (2364 ^ _592316) ^ [_660919] : [tptpcol_9_93699(_660919), -(isa(_660919, c_tptpcol_9_93699))], (2370 ^ _592316) ^ [_661107] : [isa(_661107, c_aspatialthing), -(aspatialthing(_661107))], (2376 ^ _592316) ^ [_661295] : [aspatialthing(_661295), -(isa(_661295, c_aspatialthing))], (2382 ^ _592316) ^ [_661483] : [isa(_661483, c_tptpcol_7_117762), -(tptpcol_7_117762(_661483))], (2388 ^ _592316) ^ [_661671] : [tptpcol_7_117762(_661671), -(isa(_661671, c_tptpcol_7_117762))], (2394 ^ _592316) ^ [_661859] : [isa(_661859, c_tptpcol_8_117763), -(tptpcol_8_117763(_661859))], (2400 ^ _592316) ^ [_662047] : [tptpcol_8_117763(_662047), -(isa(_662047, c_tptpcol_8_117763))], (2406 ^ _592316) ^ [_662235] : [isa(_662235, c_tptpcol_7_18437), -(tptpcol_7_18437(_662235))], (2412 ^ _592316) ^ [_662423] : [tptpcol_7_18437(_662423), -(isa(_662423, c_tptpcol_7_18437))], (2418 ^ _592316) ^ [_662611] : [isa(_662611, c_tptpcol_6_18436), -(tptpcol_6_18436(_662611))], (2424 ^ _592316) ^ [_662799] : [tptpcol_6_18436(_662799), -(isa(_662799, c_tptpcol_6_18436))], (2430 ^ _592316) ^ [_662987] : [isa(_662987, c_tptpcol_8_93698), -(tptpcol_8_93698(_662987))], (2436 ^ _592316) ^ [_663175] : [tptpcol_8_93698(_663175), -(isa(_663175, c_tptpcol_8_93698))], (2442 ^ _592316) ^ [_663363] : [isa(_663363, c_tptpcol_11_109125), -(tptpcol_11_109125(_663363))], (2448 ^ _592316) ^ [_663551] : [tptpcol_11_109125(_663551), -(isa(_663551, c_tptpcol_11_109125))], (2454 ^ _592316) ^ [_663739] : [isa(_663739, c_tptpcol_6_108546), -(tptpcol_6_108546(_663739))], (2460 ^ _592316) ^ [_663927] : [tptpcol_6_108546(_663927), -(isa(_663927, c_tptpcol_6_108546))], (2466 ^ _592316) ^ [_664115] : [isa(_664115, c_tptpcol_6_20484), -(tptpcol_6_20484(_664115))], (2472 ^ _592316) ^ [_664303] : [tptpcol_6_20484(_664303), -(isa(_664303, c_tptpcol_6_20484))], (2478 ^ _592316) ^ [_664505, _664507] : [few(_664507, _664505), -(setorcollection(_664505))], (2484 ^ _592316) ^ [_664713, _664715] : [few(_664715, _664713), -(setorcollection(_664713))], (2490 ^ _592316) ^ [_664921, _664923] : [few(_664923, _664921), -(setorcollection(_664923))], (2496 ^ _592316) ^ [_665129, _665131] : [few(_665131, _665129), -(setorcollection(_665131))], (2502 ^ _592316) ^ [_665351, _665353, _665355] : [-(few(_665355, _665351)), few(_665355, _665353), subsetof(_665351, _665353)], (2512 ^ _592316) ^ [_665646] : [isa(_665646, c_tptpcol_15_130931), -(tptpcol_15_130931(_665646))], (2518 ^ _592316) ^ [_665834] : [tptpcol_15_130931(_665834), -(isa(_665834, c_tptpcol_15_130931))], (2524 ^ _592316) ^ [_666022] : [isa(_666022, c_tptpcol_16_130933), -(tptpcol_16_130933(_666022))], (2530 ^ _592316) ^ [_666210] : [tptpcol_16_130933(_666210), -(isa(_666210, c_tptpcol_16_130933))], (2536 ^ _592316) ^ [_666398] : [isa(_666398, c_tptpcol_7_92163), -(tptpcol_7_92163(_666398))], (2542 ^ _592316) ^ [_666586] : [tptpcol_7_92163(_666586), -(isa(_666586, c_tptpcol_7_92163))], (2548 ^ _592316) ^ [_666774] : [isa(_666774, c_tptpcol_15_130923), -(tptpcol_15_130923(_666774))], (2554 ^ _592316) ^ [_666962] : [tptpcol_15_130923(_666962), -(isa(_666962, c_tptpcol_15_130923))], (2560 ^ _592316) ^ [_667150] : [isa(_667150, c_tptpcol_16_130924), -(tptpcol_16_130924(_667150))], (2566 ^ _592316) ^ [_667338] : [tptpcol_16_130924(_667338), -(isa(_667338, c_tptpcol_16_130924))], (2572 ^ _592316) ^ [_667526] : [isa(_667526, c_intangibleindividual), -(intangibleindividual(_667526))], (2578 ^ _592316) ^ [_667714] : [intangibleindividual(_667714), -(isa(_667714, c_intangibleindividual))], (2584 ^ _592316) ^ [_667901, _667903] : [-(natfunction(f_citynamedfn(_667903, _667901), c_citynamedfn))], (2586 ^ _592316) ^ [_667998, _668000] : [-(natargument(f_citynamedfn(_668000, _667998), n_1, _668000))], (2588 ^ _592316) ^ [_668096, _668098] : [-(natargument(f_citynamedfn(_668098, _668096), n_2, _668096))], (2590 ^ _592316) ^ [_668194, _668196] : [-(city(f_citynamedfn(_668196, _668194)))], (2592 ^ _592316) ^ [_668291] : [isa(_668291, c_tptpcol_13_26920), -(tptpcol_13_26920(_668291))], (2598 ^ _592316) ^ [_668479] : [tptpcol_13_26920(_668479), -(isa(_668479, c_tptpcol_13_26920))], (2604 ^ _592316) ^ [_668667] : [isa(_668667, c_tptpcol_14_26921), -(tptpcol_14_26921(_668667))], (2610 ^ _592316) ^ [_668855] : [tptpcol_14_26921(_668855), -(isa(_668855, c_tptpcol_14_26921))], (2616 ^ _592316) ^ [_669043] : [isa(_669043, c_tptpcol_3_65538), -(tptpcol_3_65538(_669043))], (2622 ^ _592316) ^ [_669231] : [tptpcol_3_65538(_669231), -(isa(_669231, c_tptpcol_3_65538))], (2628 ^ _592316) ^ [_669419] : [isa(_669419, c_tptpcol_16_27189), -(tptpcol_16_27189(_669419))], (2634 ^ _592316) ^ [_669607] : [tptpcol_16_27189(_669607), -(isa(_669607, c_tptpcol_16_27189))], (2640 ^ _592316) ^ [_669809, _669811] : [tptp_9_51(_669811, _669809), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_669809))], (2646 ^ _592316) ^ [_670017, _670019] : [tptp_9_51(_670019, _670017), -(tptpcol_7_26628(_670019))], (2652 ^ _592316) ^ [_670211] : [isa(_670211, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670211))], (2658 ^ _592316) ^ [_670399] : [reflexivebinarypredicate(_670399), -(isa(_670399, c_reflexivebinarypredicate))], (2664 ^ _592316) ^ [_670587] : [isa(_670587, c_tptpcol_7_21508), -(tptpcol_7_21508(_670587))], (2670 ^ _592316) ^ [_670775] : [tptpcol_7_21508(_670775), -(isa(_670775, c_tptpcol_7_21508))], (2676 ^ _592316) ^ [_670963] : [isa(_670963, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_670963))], (2682 ^ _592316) ^ [_671151] : [hpkb_subnationalagent(_671151), -(isa(_671151, c_hpkb_subnationalagent))], (2688 ^ _592316) ^ [_671339] : [isa(_671339, c_state_geopolitical), -(state_geopolitical(_671339))], (2694 ^ _592316) ^ [_671527] : [state_geopolitical(_671527), -(isa(_671527, c_state_geopolitical))], (2700 ^ _592316) ^ [_671742, _671744, _671746, _671748] : [-(natfunction(f_relationallexistsfn(_671748, _671746, _671744, _671742), c_relationallexistsfn))], (2702 ^ _592316) ^ [_671873, _671875, _671877, _671879] : [-(natargument(f_relationallexistsfn(_671879, _671877, _671875, _671873), n_1, _671879))], (2704 ^ _592316) ^ [_672005, _672007, _672009, _672011] : [-(natargument(f_relationallexistsfn(_672011, _672009, _672007, _672005), n_2, _672009))], (2706 ^ _592316) ^ [_672137, _672139, _672141, _672143] : [-(natargument(f_relationallexistsfn(_672143, _672141, _672139, _672137), n_3, _672139))], (2708 ^ _592316) ^ [_672269, _672271, _672273, _672275] : [-(natargument(f_relationallexistsfn(_672275, _672273, _672271, _672269), n_4, _672269))], (2710 ^ _592316) ^ [_672401, _672403, _672405, _672407] : [-(thing(f_relationallexistsfn(_672407, _672405, _672403, _672401)))], (2712 ^ _592316) ^ [_672518, _672520] : [arg2isa(_672520, _672518), -(collection(_672518))], (2718 ^ _592316) ^ [_672726, _672728] : [arg2isa(_672728, _672726), -(relation(_672728))], (2724 ^ _592316) ^ [_672948, _672950, _672952] : [-(arg2isa(_672952, _672948)), arg2isa(_672952, _672950), genls(_672950, _672948)], (2734 ^ _592316) ^ [_673271, _673273, _673275] : [-(arg2isa(_673275, _673271)), arg2isa(_673275, _673273), genls(_673273, _673271)], (2744 ^ _592316) ^ [_673566] : [isa(_673566, c_geolevel_1), -(geolevel_1(_673566))], (2750 ^ _592316) ^ [_673754] : [geolevel_1(_673754), -(isa(_673754, c_geolevel_1))], (2756 ^ _592316) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592316) ^ [_673995] : [isa(_673995, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_673995))], (2764 ^ _592316) ^ [_674183] : [spatialthing_nonsituational(_674183), -(isa(_674183, c_spatialthing_nonsituational))], (2770 ^ _592316) ^ [_674371] : [isa(_674371, c_militaryperson), -(militaryperson(_674371))], (2776 ^ _592316) ^ [_674559] : [militaryperson(_674559), -(isa(_674559, c_militaryperson))], (2782 ^ _592316) ^ [_674747] : [isa(_674747, c_tptpcol_15_72793), -(tptpcol_15_72793(_674747))], (2788 ^ _592316) ^ [_674935] : [tptpcol_15_72793(_674935), -(isa(_674935, c_tptpcol_15_72793))], (2794 ^ _592316) ^ [_675123] : [isa(_675123, c_tptpcol_9_26885), -(tptpcol_9_26885(_675123))], (2800 ^ _592316) ^ [_675311] : [tptpcol_9_26885(_675311), -(isa(_675311, c_tptpcol_9_26885))], (2806 ^ _592316) ^ [_675499] : [isa(_675499, c_tptpcol_10_26886), -(tptpcol_10_26886(_675499))], (2812 ^ _592316) ^ [_675687] : [tptpcol_10_26886(_675687), -(isa(_675687, c_tptpcol_10_26886))], (2818 ^ _592316) ^ [_675889, _675891] : [tptptypes_8_823(_675891, _675889), -(firstordercollection(_675889))], (2824 ^ _592316) ^ [_676097, _676099] : [tptptypes_8_823(_676099, _676097), -(firstordercollection(_676099))], (2830 ^ _592316) ^ [_676291] : [isa(_676291, c_tptpcol_16_92269), -(tptpcol_16_92269(_676291))], (2836 ^ _592316) ^ [_676479] : [tptpcol_16_92269(_676479), -(isa(_676479, c_tptpcol_16_92269))], (2842 ^ _592316) ^ [_676667] : [isa(_676667, c_tptpcol_15_109185), -(tptpcol_15_109185(_676667))], (2848 ^ _592316) ^ [_676855] : [tptpcol_15_109185(_676855), -(isa(_676855, c_tptpcol_15_109185))], (2854 ^ _592316) ^ [_677043] : [isa(_677043, c_tptpcol_6_26627), -(tptpcol_6_26627(_677043))], (2860 ^ _592316) ^ [_677231] : [tptpcol_6_26627(_677231), -(isa(_677231, c_tptpcol_6_26627))], (2866 ^ _592316) ^ [_677419] : [isa(_677419, c_tptpcol_12_118116), -(tptpcol_12_118116(_677419))], (2872 ^ _592316) ^ [_677607] : [tptpcol_12_118116(_677607), -(isa(_677607, c_tptpcol_12_118116))], (2878 ^ _592316) ^ [_677795] : [isa(_677795, c_tptpcol_8_18438), -(tptpcol_8_18438(_677795))], (2884 ^ _592316) ^ [_677983] : [tptpcol_8_18438(_677983), -(isa(_677983, c_tptpcol_8_18438))], (2890 ^ _592316) ^ [_678171] : [isa(_678171, c_tptpcol_15_30970), -(tptpcol_15_30970(_678171))], (2896 ^ _592316) ^ [_678359] : [tptpcol_15_30970(_678359), -(isa(_678359, c_tptpcol_15_30970))], (2902 ^ _592316) ^ [_678547] : [isa(_678547, c_tptpcol_16_30972), -(tptpcol_16_30972(_678547))], (2908 ^ _592316) ^ [_678735] : [tptpcol_16_30972(_678735), -(isa(_678735, c_tptpcol_16_30972))], (2914 ^ _592316) ^ [_678923] : [isa(_678923, c_tptpcol_14_109181), -(tptpcol_14_109181(_678923))], (2920 ^ _592316) ^ [_679111] : [tptpcol_14_109181(_679111), -(isa(_679111, c_tptpcol_14_109181))], (2926 ^ _592316) ^ [_679299] : [isa(_679299, c_physicalorderingpredicate), -(physicalorderingpredicate(_679299))], (2932 ^ _592316) ^ [_679487] : [physicalorderingpredicate(_679487), -(isa(_679487, c_physicalorderingpredicate))], (2938 ^ _592316) ^ [_679675] : [isa(_679675, c_tptpcol_16_7738), -(tptpcol_16_7738(_679675))], (2944 ^ _592316) ^ [_679863] : [tptpcol_16_7738(_679863), -(isa(_679863, c_tptpcol_16_7738))], (2950 ^ _592316) ^ [_680065, _680067] : [tptp_8_968(_680067, _680065), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680065))], (2956 ^ _592316) ^ [_680273, _680275] : [tptp_8_968(_680275, _680273), -(tptpcol_7_7172(_680275))], (2962 ^ _592316) ^ [_680495, _680497, _680499] : [relationexistsall(_680499, _680497, _680495), -(collection(_680495))], (2968 ^ _592316) ^ [_680725, _680727, _680729] : [relationexistsall(_680729, _680727, _680725), -(collection(_680727))], (2974 ^ _592316) ^ [_680955, _680957, _680959] : [relationexistsall(_680959, _680957, _680955), -(binarypredicate(_680959))], (2980 ^ _592316) ^ [_681157] : [isa(_681157, c_tptpcol_7_26628), -(tptpcol_7_26628(_681157))], (2986 ^ _592316) ^ [_681345] : [tptpcol_7_26628(_681345), -(isa(_681345, c_tptpcol_7_26628))], (2992 ^ _592316) ^ [_681533] : [isa(_681533, c_tptpcol_8_26629), -(tptpcol_8_26629(_681533))], (2998 ^ _592316) ^ [_681721] : [tptpcol_8_26629(_681721), -(isa(_681721, c_tptpcol_8_26629))], (3004 ^ _592316) ^ [_681909] : [isa(_681909, c_tptpcol_3_114688), -(tptpcol_3_114688(_681909))], (3010 ^ _592316) ^ [_682097] : [tptpcol_3_114688(_682097), -(isa(_682097, c_tptpcol_3_114688))], (3016 ^ _592316) ^ [_682270] : [-(natfunction(f_contextofpcwfn(_682270), c_contextofpcwfn))], (3018 ^ _592316) ^ [_682350] : [-(natargument(f_contextofpcwfn(_682350), n_1, _682350))], (3020 ^ _592316) ^ [_682431] : [-(microtheory(f_contextofpcwfn(_682431)))], (3022 ^ _592316) ^ [_682539, _682541] : [arg1isa(_682541, _682539), -(collection(_682539))], (3028 ^ _592316) ^ [_682747, _682749] : [arg1isa(_682749, _682747), -(relation(_682749))], (3034 ^ _592316) ^ [_682969, _682971, _682973] : [-(arg1isa(_682973, _682969)), arg1isa(_682973, _682971), genls(_682971, _682969)], (3044 ^ _592316) ^ [_683292, _683294, _683296] : [-(arg1isa(_683296, _683292)), arg1isa(_683296, _683294), genls(_683294, _683292)], (3054 ^ _592316) ^ [_683601, _683603] : [objectfoundinlocation(_683603, _683601), -(spatialthing_nonsituational(_683601))], (3060 ^ _592316) ^ [_683809, _683811] : [objectfoundinlocation(_683811, _683809), -(spatialthing_localized(_683809))], (3066 ^ _592316) ^ [_684017, _684019] : [objectfoundinlocation(_684019, _684017), -(spatialthing_nonsituational(_684019))], (3072 ^ _592316) ^ [_684225, _684227] : [objectfoundinlocation(_684227, _684225), -(spatialthing_localized(_684227))], (3078 ^ _592316) ^ [_684447, _684449, _684451] : [-(objectfoundinlocation(_684451, _684447)), objectfoundinlocation(_684451, _684449), objectfoundinlocation(_684449, _684447)], (3088 ^ _592316) ^ [_684726] : [objectfoundinlocation(_684726, _684726)], (3090 ^ _592316) ^ [_684847, _684849, _684851] : [-(objectfoundinlocation(_684851, _684847)), objectfoundinlocation(_684851, _684849), geopoliticalsubdivision(_684847, _684849)], (3100 ^ _592316) ^ [_685170, _685172, _685174] : [-(objectfoundinlocation(_685174, _685170)), objectfoundinlocation(_685174, _685172), geographicallysubsumes(_685170, _685172)], (3110 ^ _592316) ^ [_685493, _685495, _685497] : [-(objectfoundinlocation(_685497, _685493)), objectfoundinlocation(_685497, _685495), subregions(_685493, _685495)], (3120 ^ _592316) ^ [_685788] : [isa(_685788, c_ship), -(ship(_685788))], (3126 ^ _592316) ^ [_685976] : [ship(_685976), -(isa(_685976, c_ship))], (3132 ^ _592316) ^ [_686177, _686179, _686181] : [-(natfunction(f_subcollectionofwithrelationtofn(_686181, _686179, _686177), c_subcollectionofwithrelationtofn))], (3134 ^ _592316) ^ [_686291, _686293, _686295] : [-(natargument(f_subcollectionofwithrelationtofn(_686295, _686293, _686291), n_1, _686295))], (3136 ^ _592316) ^ [_686406, _686408, _686410] : [-(natargument(f_subcollectionofwithrelationtofn(_686410, _686408, _686406), n_2, _686408))], (3138 ^ _592316) ^ [_686521, _686523, _686525] : [-(natargument(f_subcollectionofwithrelationtofn(_686525, _686523, _686521), n_3, _686521))], (3140 ^ _592316) ^ [_686636, _686638, _686640] : [-(collection(f_subcollectionofwithrelationtofn(_686640, _686638, _686636)))], (3142 ^ _592316) ^ [_686736] : [isa(_686736, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686736))], (3148 ^ _592316) ^ [_686924] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_686924), -(isa(_686924, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592316) ^ [_687112] : [isa(_687112, c_tptpcol_4_65539), -(tptpcol_4_65539(_687112))], (3160 ^ _592316) ^ [_687300] : [tptpcol_4_65539(_687300), -(isa(_687300, c_tptpcol_4_65539))], (3166 ^ _592316) ^ [_687488] : [isa(_687488, c_tptpcol_5_69635), -(tptpcol_5_69635(_687488))], (3172 ^ _592316) ^ [_687676] : [tptpcol_5_69635(_687676), -(isa(_687676, c_tptpcol_5_69635))], (3178 ^ _592316) ^ [_687864] : [isa(_687864, c_tptpcol_3_16386), -(tptpcol_3_16386(_687864))], (3184 ^ _592316) ^ [_688052] : [tptpcol_3_16386(_688052), -(isa(_688052, c_tptpcol_3_16386))], (3190 ^ _592316) ^ [_688254, _688256] : [no(_688256, _688254), -(setorcollection(_688254))], (3196 ^ _592316) ^ [_688462, _688464] : [no(_688464, _688462), -(setorcollection(_688464))], (3202 ^ _592316) ^ [_688670, _688672] : [no(_688672, _688670), -(no(_688670, _688672))], (3208 ^ _592316) ^ [_688894, _688896, _688898] : [-(no(_688898, _688894)), no(_688898, _688896), subsetof(_688894, _688896)], (3218 ^ _592316) ^ [_689217, _689219, _689221] : [-(no(_689217, _689219)), no(_689221, _689219), subsetof(_689217, _689221)], (3228 ^ _592316) ^ [_689540, _689542, _689544] : [-(no(_689540, _689542)), no(_689544, _689542), genls(_689540, _689544)], (3238 ^ _592316) ^ [_689863, _689865, _689867] : [-(no(_689867, _689863)), no(_689867, _689865), genls(_689863, _689865)], (3248 ^ _592316) ^ [_690186, _690188, _690190] : [-(no(_690186, _690188)), no(_690190, _690188), subsetof(_690186, _690190)], (3258 ^ _592316) ^ [_690509, _690511, _690513] : [-(no(_690513, _690509)), no(_690513, _690511), subsetof(_690509, _690511)], (3268 ^ _592316) ^ [_690804] : [isa(_690804, c_geographicalregion), -(geographicalregion(_690804))], (3274 ^ _592316) ^ [_690992] : [geographicalregion(_690992), -(isa(_690992, c_geographicalregion))], (3280 ^ _592316) ^ [_691165] : [-(natfunction(f_tptpquantityfn_21(_691165), c_tptpquantityfn_21))], (3282 ^ _592316) ^ [_691245] : [-(natargument(f_tptpquantityfn_21(_691245), n_1, _691245))], (3284 ^ _592316) ^ [_691326] : [-(tptpquantity(f_tptpquantityfn_21(_691326)))], (3286 ^ _592316) ^ [_691434, _691436] : [airporthasiatacode(_691436, _691434), -(stringoflengthfn3(_691434))], (3292 ^ _592316) ^ [_691642, _691644] : [airporthasiatacode(_691644, _691642), -(airport_physical(_691644))], (3298 ^ _592316) ^ [_691836] : [isa(_691836, c_airport_physical), -(airport_physical(_691836))], (3304 ^ _592316) ^ [_692024] : [airport_physical(_692024), -(isa(_692024, c_airport_physical))], (3310 ^ _592316) ^ [_692225, _692227, _692229] : [-(natfunction(f_instancewithrelationtofn(_692229, _692227, _692225), c_instancewithrelationtofn))], (3312 ^ _592316) ^ [_692339, _692341, _692343] : [-(natargument(f_instancewithrelationtofn(_692343, _692341, _692339), n_1, _692343))], (3314 ^ _592316) ^ [_692454, _692456, _692458] : [-(natargument(f_instancewithrelationtofn(_692458, _692456, _692454), n_2, _692456))], (3316 ^ _592316) ^ [_692569, _692571, _692573] : [-(natargument(f_instancewithrelationtofn(_692573, _692571, _692569), n_3, _692569))], (3318 ^ _592316) ^ [_692684, _692686, _692688] : [-(thing(f_instancewithrelationtofn(_692688, _692686, _692684)))], (3320 ^ _592316) ^ [_692784] : [isa(_692784, c_tptpcol_6_112641), -(tptpcol_6_112641(_692784))], (3326 ^ _592316) ^ [_692972] : [tptpcol_6_112641(_692972), -(isa(_692972, c_tptpcol_6_112641))], (3332 ^ _592316) ^ [_693160] : [isa(_693160, c_tptpcol_7_113665), -(tptpcol_7_113665(_693160))], (3338 ^ _592316) ^ [_693348] : [tptpcol_7_113665(_693348), -(isa(_693348, c_tptpcol_7_113665))], (3344 ^ _592316) ^ [_693536] : [isa(_693536, c_artifact), -(artifact(_693536))], (3350 ^ _592316) ^ [_693724] : [artifact(_693724), -(isa(_693724, c_artifact))], (3356 ^ _592316) ^ [_693912] : [isa(_693912, c_tptpcol_13_18664), -(tptpcol_13_18664(_693912))], (3362 ^ _592316) ^ [_694100] : [tptpcol_13_18664(_694100), -(isa(_694100, c_tptpcol_13_18664))], (3368 ^ _592316) ^ [_694288] : [isa(_694288, c_firstordercollection), -(firstordercollection(_694288))], (3374 ^ _592316) ^ [_694476] : [firstordercollection(_694476), -(isa(_694476, c_firstordercollection))], (3380 ^ _592316) ^ [_694649] : [-(natfunction(f_tptpquantityfn_14(_694649), c_tptpquantityfn_14))], (3382 ^ _592316) ^ [_694729] : [-(natargument(f_tptpquantityfn_14(_694729), n_1, _694729))], (3384 ^ _592316) ^ [_694810] : [-(tptpquantity(f_tptpquantityfn_14(_694810)))], (3386 ^ _592316) ^ [_694904] : [isa(_694904, c_supplies), -(supplies(_694904))], (3392 ^ _592316) ^ [_695092] : [supplies(_695092), -(isa(_695092, c_supplies))], (3398 ^ _592316) ^ [_695280] : [isa(_695280, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695280))], (3404 ^ _592316) ^ [_695468] : [inanimateobject_nonnatural(_695468), -(isa(_695468, c_inanimateobject_nonnatural))], (3410 ^ _592316) ^ [_695656] : [isa(_695656, c_tptpcol_13_22071), -(tptpcol_13_22071(_695656))], (3416 ^ _592316) ^ [_695844] : [tptpcol_13_22071(_695844), -(isa(_695844, c_tptpcol_13_22071))], (3422 ^ _592316) ^ [_696032] : [isa(_696032, c_tptpcol_14_22072), -(tptpcol_14_22072(_696032))], (3428 ^ _592316) ^ [_696220] : [tptpcol_14_22072(_696220), -(isa(_696220, c_tptpcol_14_22072))], (3434 ^ _592316) ^ [_696408] : [isa(_696408, c_tptpcol_7_108547), -(tptpcol_7_108547(_696408))], (3440 ^ _592316) ^ [_696596] : [tptpcol_7_108547(_696596), -(isa(_696596, c_tptpcol_7_108547))], (3446 ^ _592316) ^ [_696784] : [isa(_696784, c_tptpcol_8_109059), -(tptpcol_8_109059(_696784))], (3452 ^ _592316) ^ [_696972] : [tptpcol_8_109059(_696972), -(isa(_696972, c_tptpcol_8_109059))], (3458 ^ _592316) ^ [_697160] : [isa(_697160, c_tptpcol_14_93774), -(tptpcol_14_93774(_697160))], (3464 ^ _592316) ^ [_697348] : [tptpcol_14_93774(_697348), -(isa(_697348, c_tptpcol_14_93774))], (3470 ^ _592316) ^ [_697536] : [isa(_697536, c_tptpcol_15_93775), -(tptpcol_15_93775(_697536))], (3476 ^ _592316) ^ [_697724] : [tptpcol_15_93775(_697724), -(isa(_697724, c_tptpcol_15_93775))], (3482 ^ _592316) ^ [_697912] : [isa(_697912, c_tptpcol_16_8886), -(tptpcol_16_8886(_697912))], (3488 ^ _592316) ^ [_698100] : [tptpcol_16_8886(_698100), -(isa(_698100, c_tptpcol_16_8886))], (3494 ^ _592316) ^ [_698302, _698304] : [orientation(_698304, _698302), -(orientationvector(_698302))], (3500 ^ _592316) ^ [_698510, _698512] : [orientation(_698512, _698510), -(spatialthing_localized(_698512))], (3506 ^ _592316) ^ [_698704] : [isa(_698704, c_orientationvector), -(orientationvector(_698704))], (3512 ^ _592316) ^ [_698892] : [orientationvector(_698892), -(isa(_698892, c_orientationvector))], (3518 ^ _592316) ^ [_699080] : [isa(_699080, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699080))], (3524 ^ _592316) ^ [_699268] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699268), -(isa(_699268, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592316) ^ [_699470, _699472] : [tptptypes_9_824(_699472, _699470), -(firstordercollection(_699470))], (3536 ^ _592316) ^ [_699678, _699680] : [tptptypes_9_824(_699680, _699678), -(firstordercollection(_699680))], (3542 ^ _592316) ^ [_699886, _699888] : [tptptypes_7_396(_699888, _699886), -(firstordercollection(_699886))], (3548 ^ _592316) ^ [_700094, _700096] : [tptptypes_7_396(_700096, _700094), -(firstordercollection(_700096))], (3554 ^ _592316) ^ [_700288] : [isa(_700288, c_tptpcol_12_22055), -(tptpcol_12_22055(_700288))], (3560 ^ _592316) ^ [_700476] : [tptpcol_12_22055(_700476), -(isa(_700476, c_tptpcol_12_22055))], (3566 ^ _592316) ^ [_700664] : [isa(_700664, c_tptpcol_16_29490), -(tptpcol_16_29490(_700664))], (3572 ^ _592316) ^ [_700852] : [tptpcol_16_29490(_700852), -(isa(_700852, c_tptpcol_16_29490))], (3578 ^ _592316) ^ [_701054, _701056] : [tptp_9_720(_701056, _701054), -(tptpcol_5_28674(_701054))], (3584 ^ _592316) ^ [_701262, _701264] : [tptp_9_720(_701264, _701262), -(executionbyfiringsquad(_701264))], (3590 ^ _592316) ^ [_701456] : [isa(_701456, c_runningshorts), -(runningshorts(_701456))], (3596 ^ _592316) ^ [_701644] : [runningshorts(_701644), -(isa(_701644, c_runningshorts))], (3602 ^ _592316) ^ [_701832] : [isa(_701832, c_tptpcol_9_118019), -(tptpcol_9_118019(_701832))], (3608 ^ _592316) ^ [_702020] : [tptpcol_9_118019(_702020), -(isa(_702020, c_tptpcol_9_118019))], (3614 ^ _592316) ^ [_702208] : [isa(_702208, c_tptpcol_16_31868), -(tptpcol_16_31868(_702208))], (3620 ^ _592316) ^ [_702396] : [tptpcol_16_31868(_702396), -(isa(_702396, c_tptpcol_16_31868))], (3626 ^ _592316) ^ [_702584] : [isa(_702584, c_movement_translationevent), -(movement_translationevent(_702584))], (3632 ^ _592316) ^ [_702772] : [movement_translationevent(_702772), -(isa(_702772, c_movement_translationevent))], (3638 ^ _592316) ^ [_702974, _702976] : [directionoftranslation_throughout(_702976, _702974), -(unitvectorinterval(_702974))], (3644 ^ _592316) ^ [_703182, _703184] : [directionoftranslation_throughout(_703184, _703182), -(movement_translationevent(_703184))], (3650 ^ _592316) ^ [_703404, _703406, _703408] : [-(directionoftranslation_throughout(_703404, _703406)), directionoftranslation_throughout(_703408, _703406), subevents(_703408, _703404)], (3660 ^ _592316) ^ [_703699] : [isa(_703699, c_unitvectorinterval), -(unitvectorinterval(_703699))], (3666 ^ _592316) ^ [_703887] : [unitvectorinterval(_703887), -(isa(_703887, c_unitvectorinterval))], (3672 ^ _592316) ^ [_704075] : [isa(_704075, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704075))], (3678 ^ _592316) ^ [_704263] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704263), -(isa(_704263, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592316) ^ [_704465, _704467] : [tptp_8_875(_704467, _704465), -(tptpcol_4_24578(_704465))], (3690 ^ _592316) ^ [_704673, _704675] : [tptp_8_875(_704675, _704673), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704675))], (3696 ^ _592316) ^ [_704895, _704897, _704899] : [relationallexists(_704899, _704897, _704895), -(collection(_704895))], (3702 ^ _592316) ^ [_705125, _705127, _705129] : [relationallexists(_705129, _705127, _705125), -(collection(_705127))], (3708 ^ _592316) ^ [_705355, _705357, _705359] : [relationallexists(_705359, _705357, _705355), -(binarypredicate(_705359))], (3714 ^ _592316) ^ [_705557] : [isa(_705557, c_tptpcol_16_10258), -(tptpcol_16_10258(_705557))], (3720 ^ _592316) ^ [_705745] : [tptpcol_16_10258(_705745), -(isa(_705745, c_tptpcol_16_10258))], (3726 ^ _592316) ^ [_705933] : [isa(_705933, c_pushingababycarriage), -(pushingababycarriage(_705933))], (3732 ^ _592316) ^ [_706121] : [pushingababycarriage(_706121), -(isa(_706121, c_pushingababycarriage))], (3738 ^ _592316) ^ [_706309] : [isa(_706309, c_aspatialinformationstore), -(aspatialinformationstore(_706309))], (3744 ^ _592316) ^ [_706497] : [aspatialinformationstore(_706497), -(isa(_706497, c_aspatialinformationstore))], (3750 ^ _592316) ^ [_706685] : [isa(_706685, c_collection), -(collection(_706685))], (3756 ^ _592316) ^ [_706873] : [collection(_706873), -(isa(_706873, c_collection))], (3762 ^ _592316) ^ [_707061] : [isa(_707061, c_fixedordercollection), -(fixedordercollection(_707061))], (3768 ^ _592316) ^ [_707249] : [fixedordercollection(_707249), -(isa(_707249, c_fixedordercollection))], (3774 ^ _592316) ^ [_707437] : [isa(_707437, c_tptpcol_8_92164), -(tptpcol_8_92164(_707437))], (3780 ^ _592316) ^ [_707625] : [tptpcol_8_92164(_707625), -(isa(_707625, c_tptpcol_8_92164))], (3786 ^ _592316) ^ [_707813] : [isa(_707813, c_tptpcol_9_92165), -(tptpcol_9_92165(_707813))], (3792 ^ _592316) ^ [_708001] : [tptpcol_9_92165(_708001), -(isa(_708001, c_tptpcol_9_92165))], (3798 ^ _592316) ^ [_708189] : [isa(_708189, c_tptpcol_1_1), -(tptpcol_1_1(_708189))], (3804 ^ _592316) ^ [_708377] : [tptpcol_1_1(_708377), -(isa(_708377, c_tptpcol_1_1))], (3810 ^ _592316) ^ [_708565] : [isa(_708565, c_tptpcol_2_2), -(tptpcol_2_2(_708565))], (3816 ^ _592316) ^ [_708753] : [tptpcol_2_2(_708753), -(isa(_708753, c_tptpcol_2_2))], (3822 ^ _592316) ^ [_708955, _708957] : [tptptypes_7_691(_708957, _708955), -(firstordercollection(_708955))], (3828 ^ _592316) ^ [_709163, _709165] : [tptptypes_7_691(_709165, _709163), -(firstordercollection(_709165))], (3834 ^ _592316) ^ [_709357] : [isa(_709357, c_tptpcol_11_26887), -(tptpcol_11_26887(_709357))], (3840 ^ _592316) ^ [_709545] : [tptpcol_11_26887(_709545), -(isa(_709545, c_tptpcol_11_26887))], (3846 ^ _592316) ^ [_709733] : [isa(_709733, c_tptpcol_12_26919), -(tptpcol_12_26919(_709733))], (3852 ^ _592316) ^ [_709921] : [tptpcol_12_26919(_709921), -(isa(_709921, c_tptpcol_12_26919))], (3858 ^ _592316) ^ [_710123, _710125] : [tptptypes_6_818(_710125, _710123), -(firstordercollection(_710123))], (3864 ^ _592316) ^ [_710331, _710333] : [tptptypes_6_818(_710333, _710331), -(firstordercollection(_710333))], (3870 ^ _592316) ^ [_710539, _710541] : [tptptypes_7_819(_710541, _710539), -(firstordercollection(_710539))], (3876 ^ _592316) ^ [_710747, _710749] : [tptptypes_7_819(_710749, _710747), -(firstordercollection(_710749))], (3882 ^ _592316) ^ [_710941] : [isa(_710941, c_correctivelensprescription), -(correctivelensprescription(_710941))], (3888 ^ _592316) ^ [_711129] : [correctivelensprescription(_711129), -(isa(_711129, c_correctivelensprescription))], (3894 ^ _592316) ^ [_711331, _711333] : [products(_711333, _711331), -(artifact(_711331))], (3900 ^ _592316) ^ [_711539, _711541] : [products(_711541, _711539), -(creationordestructionevent(_711541))], (3906 ^ _592316) ^ [_711733] : [isa(_711733, c_issuingaprescription), -(issuingaprescription(_711733))], (3912 ^ _592316) ^ [_711921] : [issuingaprescription(_711921), -(isa(_711921, c_issuingaprescription))], (3918 ^ _592316) ^ [_712122, _712124, _712126] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712126, _712124, _712122), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592316) ^ [_712236, _712238, _712240] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712240, _712238, _712236), n_1, _712240))], (3922 ^ _592316) ^ [_712351, _712353, _712355] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712355, _712353, _712351), n_2, _712353))], (3924 ^ _592316) ^ [_712466, _712468, _712470] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712470, _712468, _712466), n_3, _712466))], (3926 ^ _592316) ^ [_712581, _712583, _712585] : [-(collection(f_subcollectionofwithrelationtotypefn(_712585, _712583, _712581)))], (3928 ^ _592316) ^ [_712681] : [isa(_712681, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712681))], (3934 ^ _592316) ^ [_712869] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_712869), -(isa(_712869, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592316) ^ [_713057] : [isa(_713057, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713057))], (3946 ^ _592316) ^ [_713245] : [mathematicalorcomputationalthing(_713245), -(isa(_713245, c_mathematicalorcomputationalthing))], (3952 ^ _592316) ^ [_713433] : [isa(_713433, c_tptpcol_10_118020), -(tptpcol_10_118020(_713433))], (3958 ^ _592316) ^ [_713621] : [tptpcol_10_118020(_713621), -(isa(_713621, c_tptpcol_10_118020))], (3964 ^ _592316) ^ [_713809] : [isa(_713809, c_tptpcol_11_118084), -(tptpcol_11_118084(_713809))], (3970 ^ _592316) ^ [_713997] : [tptpcol_11_118084(_713997), -(isa(_713997, c_tptpcol_11_118084))], (3976 ^ _592316) ^ [_714185] : [isa(_714185, c_terroristgroup), -(terroristgroup(_714185))], (3982 ^ _592316) ^ [_714373] : [terroristgroup(_714373), -(isa(_714373, c_terroristgroup))], (3988 ^ _592316) ^ [_714575, _714577] : [hasmembers(_714577, _714575), -(agent_generic(_714575))], (3994 ^ _592316) ^ [_714783, _714785] : [hasmembers(_714785, _714783), -(organization(_714785))], (4000 ^ _592316) ^ [_714977] : [isa(_714977, c_terrorist), -(terrorist(_714977))], (4006 ^ _592316) ^ [_715165] : [terrorist(_715165), -(isa(_715165, c_terrorist))], (4012 ^ _592316) ^ [_715366, _715368, _715370] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715370, _715368, _715366), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592316) ^ [_715480, _715482, _715484] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715484, _715482, _715480), n_1, _715484))], (4016 ^ _592316) ^ [_715595, _715597, _715599] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715599, _715597, _715595), n_2, _715597))], (4018 ^ _592316) ^ [_715710, _715712, _715714] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715714, _715712, _715710), n_3, _715710))], (4020 ^ _592316) ^ [_715825, _715827, _715829] : [-(collection(f_subcollectionofwithrelationfromtypefn(_715829, _715827, _715825)))], (4022 ^ _592316) ^ [_715925] : [isa(_715925, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_715925))], (4028 ^ _592316) ^ [_716113] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716113), -(isa(_716113, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592316) ^ [_716315, _716317] : [prettystring(_716317, _716315), -(controlcharacterfreestring(_716315))], (4040 ^ _592316) ^ [_716523, _716525] : [prettystring(_716525, _716523), -(thing(_716525))], (4046 ^ _592316) ^ [_716717] : [isa(_716717, c_tptpcol_0_0), -(tptpcol_0_0(_716717))], (4052 ^ _592316) ^ [_716905] : [tptpcol_0_0(_716905), -(isa(_716905, c_tptpcol_0_0))], (4058 ^ _592316) ^ [_717093] : [isa(_717093, c_geolevel_3), -(geolevel_3(_717093))], (4064 ^ _592316) ^ [_717281] : [geolevel_3(_717281), -(isa(_717281, c_geolevel_3))], (4070 ^ _592316) ^ [_717469] : [isa(_717469, c_tptpcol_4_24578), -(tptpcol_4_24578(_717469))], (4076 ^ _592316) ^ [_717657] : [tptpcol_4_24578(_717657), -(isa(_717657, c_tptpcol_4_24578))], (4082 ^ _592316) ^ [_717845] : [isa(_717845, c_tptpcol_5_24579), -(tptpcol_5_24579(_717845))], (4088 ^ _592316) ^ [_718033] : [tptpcol_5_24579(_718033), -(isa(_718033, c_tptpcol_5_24579))], (4094 ^ _592316) ^ [_718221] : [isa(_718221, c_tptpcol_5_106498), -(tptpcol_5_106498(_718221))], (4100 ^ _592316) ^ [_718409] : [tptpcol_5_106498(_718409), -(isa(_718409, c_tptpcol_5_106498))], (4106 ^ _592316) ^ [_718597] : [isa(_718597, c_tptpcol_12_109157), -(tptpcol_12_109157(_718597))], (4112 ^ _592316) ^ [_718785] : [tptpcol_12_109157(_718785), -(isa(_718785, c_tptpcol_12_109157))], (4118 ^ _592316) ^ [_718973] : [isa(_718973, c_tptpcol_13_109173), -(tptpcol_13_109173(_718973))], (4124 ^ _592316) ^ [_719161] : [tptpcol_13_109173(_719161), -(isa(_719161, c_tptpcol_13_109173))], (4130 ^ _592316) ^ [_719349] : [isa(_719349, c_mathematicalthing), -(mathematicalthing(_719349))], (4136 ^ _592316) ^ [_719537] : [mathematicalthing(_719537), -(isa(_719537, c_mathematicalthing))], (4142 ^ _592316) ^ [_719725] : [isa(_719725, c_setorcollection), -(setorcollection(_719725))], (4148 ^ _592316) ^ [_719913] : [setorcollection(_719913), -(isa(_719913, c_setorcollection))], (4154 ^ _592316) ^ [_720101] : [isa(_720101, c_tptpcol_11_18631), -(tptpcol_11_18631(_720101))], (4160 ^ _592316) ^ [_720289] : [tptpcol_11_18631(_720289), -(isa(_720289, c_tptpcol_11_18631))], (4166 ^ _592316) ^ [_720477] : [isa(_720477, c_tptpcol_12_18663), -(tptpcol_12_18663(_720477))], (4172 ^ _592316) ^ [_720665] : [tptpcol_12_18663(_720665), -(isa(_720665, c_tptpcol_12_18663))], (4178 ^ _592316) ^ [_720867, _720869] : [tptptypes_8_400(_720869, _720867), -(firstordercollection(_720867))], (4184 ^ _592316) ^ [_721075, _721077] : [tptptypes_8_400(_721077, _721075), -(firstordercollection(_721077))], (4190 ^ _592316) ^ [_721283, _721285] : [tptptypes_9_401(_721285, _721283), -(firstordercollection(_721283))], (4196 ^ _592316) ^ [_721491, _721493] : [tptptypes_9_401(_721493, _721491), -(firstordercollection(_721493))], (4202 ^ _592316) ^ [_721670] : [-(natfunction(f_tptpquantityfn_13(_721670), c_tptpquantityfn_13))], (4204 ^ _592316) ^ [_721750] : [-(natargument(f_tptpquantityfn_13(_721750), n_1, _721750))], (4206 ^ _592316) ^ [_721831] : [-(tptpquantity(f_tptpquantityfn_13(_721831)))], (4208 ^ _592316) ^ [_721939, _721941] : [borderson(_721941, _721939), -(geographicalregion(_721939))], (4214 ^ _592316) ^ [_722147, _722149] : [borderson(_722149, _722147), -(geographicalregion(_722149))], (4220 ^ _592316) ^ [_722355, _722357] : [borderson(_722357, _722355), -(borderson(_722355, _722357))], (4226 ^ _592316) ^ [_722535] : [borderson(_722535, _722535)], (4228 ^ _592316) ^ [_722628] : [isa(_722628, c_tptpcol_14_92264), -(tptpcol_14_92264(_722628))], (4234 ^ _592316) ^ [_722816] : [tptpcol_14_92264(_722816), -(isa(_722816, c_tptpcol_14_92264))], (4240 ^ _592316) ^ [_723004] : [isa(_723004, c_tptpcol_15_92268), -(tptpcol_15_92268(_723004))], (4246 ^ _592316) ^ [_723192] : [tptpcol_15_92268(_723192), -(isa(_723192, c_tptpcol_15_92268))], (4252 ^ _592316) ^ [_723380] : [isa(_723380, c_tptpcol_6_116738), -(tptpcol_6_116738(_723380))], (4258 ^ _592316) ^ [_723568] : [tptpcol_6_116738(_723568), -(isa(_723568, c_tptpcol_6_116738))], (4264 ^ _592316) ^ [_723770, _723772] : [tptptypes_5_387(_723772, _723770), -(firstordercollection(_723770))], (4270 ^ _592316) ^ [_723978, _723980] : [tptptypes_5_387(_723980, _723978), -(firstordercollection(_723980))], (4276 ^ _592316) ^ [_724186, _724188] : [tptptypes_6_388(_724188, _724186), -(firstordercollection(_724186))], (4282 ^ _592316) ^ [_724394, _724396] : [tptptypes_6_388(_724396, _724394), -(firstordercollection(_724396))], (4288 ^ _592316) ^ [_724588] : [isa(_724588, c_shavingrazor_manual), -(shavingrazor_manual(_724588))], (4294 ^ _592316) ^ [_724776] : [shavingrazor_manual(_724776), -(isa(_724776, c_shavingrazor_manual))], (4300 ^ _592316) ^ [_724964] : [isa(_724964, c_tptpcol_9_109060), -(tptpcol_9_109060(_724964))], (4306 ^ _592316) ^ [_725152] : [tptpcol_9_109060(_725152), -(isa(_725152, c_tptpcol_9_109060))], (4312 ^ _592316) ^ [_725340] : [isa(_725340, c_tptpcol_10_109061), -(tptpcol_10_109061(_725340))], (4318 ^ _592316) ^ [_725528] : [tptpcol_10_109061(_725528), -(isa(_725528, c_tptpcol_10_109061))], (4324 ^ _592316) ^ [_725716] : [isa(_725716, c_executionbyfiringsquad), -(executionbyfiringsquad(_725716))], (4330 ^ _592316) ^ [_725904] : [executionbyfiringsquad(_725904), -(isa(_725904, c_executionbyfiringsquad))], (4336 ^ _592316) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592316) ^ [_726145] : [isa(_726145, c_navypersonnel), -(navypersonnel(_726145))], (4344 ^ _592316) ^ [_726333] : [navypersonnel(_726333), -(isa(_726333, c_navypersonnel))], (4350 ^ _592316) ^ [_726521] : [isa(_726521, c_tptpcol_12_92262), -(tptpcol_12_92262(_726521))], (4356 ^ _592316) ^ [_726709] : [tptpcol_12_92262(_726709), -(isa(_726709, c_tptpcol_12_92262))], (4362 ^ _592316) ^ [_726897] : [isa(_726897, c_thing), -(thing(_726897))], (4368 ^ _592316) ^ [_727085] : [thing(_727085), -(isa(_727085, c_thing))], (4374 ^ _592316) ^ [_727273] : [isa(_727273, c_computerdataartifact), -(computerdataartifact(_727273))], (4380 ^ _592316) ^ [_727461] : [computerdataartifact(_727461), -(isa(_727461, c_computerdataartifact))], (4386 ^ _592316) ^ [_727649] : [isa(_727649, c_applicationcontext), -(applicationcontext(_727649))], (4392 ^ _592316) ^ [_727837] : [applicationcontext(_727837), -(isa(_727837, c_applicationcontext))], (4398 ^ _592316) ^ [_728039, _728041] : [inregion(_728041, _728039), -(spatialthing_nonsituational(_728039))], (4404 ^ _592316) ^ [_728247, _728249] : [inregion(_728249, _728247), -(spatialthing_nonsituational(_728249))], (4410 ^ _592316) ^ [_728469, _728471, _728473] : [-(inregion(_728473, _728469)), inregion(_728473, _728471), inregion(_728471, _728469)], (4420 ^ _592316) ^ [_728764] : [spatialthing_nonsituational(_728764), -(inregion(_728764, _728764))], (4426 ^ _592316) ^ [_728937] : [-(natfunction(f_tptpquantityfn_1(_728937), c_tptpquantityfn_1))], (4428 ^ _592316) ^ [_729017] : [-(natargument(f_tptpquantityfn_1(_729017), n_1, _729017))], (4430 ^ _592316) ^ [_729098] : [-(tptpquantity(f_tptpquantityfn_1(_729098)))], (4432 ^ _592316) ^ [_729192] : [isa(_729192, c_furpelt), -(furpelt(_729192))], (4438 ^ _592316) ^ [_729380] : [furpelt(_729380), -(isa(_729380, c_furpelt))], (4444 ^ _592316) ^ [_729582, _729584] : [tptpofobject(_729584, _729582), -(tptpquantity(_729582))], (4450 ^ _592316) ^ [_729790, _729792] : [tptpofobject(_729792, _729790), -(partiallytangible(_729792))], (4456 ^ _592316) ^ [_730012, _730014, _730016] : [relationallinstance(_730016, _730014, _730012), -(thing(_730012))], (4462 ^ _592316) ^ [_730242, _730244, _730246] : [relationallinstance(_730246, _730244, _730242), -(collection(_730244))], (4468 ^ _592316) ^ [_730472, _730474, _730476] : [relationallinstance(_730476, _730474, _730472), -(binarypredicate(_730476))], (4474 ^ _592316) ^ [_730674] : [isa(_730674, c_tptpcol_13_93766), -(tptpcol_13_93766(_730674))], (4480 ^ _592316) ^ [_730862] : [tptpcol_13_93766(_730862), -(isa(_730862, c_tptpcol_13_93766))], (4486 ^ _592316) ^ [_731050] : [isa(_731050, c_tptpcol_9_40196), -(tptpcol_9_40196(_731050))], (4492 ^ _592316) ^ [_731238] : [tptpcol_9_40196(_731238), -(isa(_731238, c_tptpcol_9_40196))], (4498 ^ _592316) ^ [_731426] : [isa(_731426, c_tptpcol_10_40324), -(tptpcol_10_40324(_731426))], (4504 ^ _592316) ^ [_731614] : [tptpcol_10_40324(_731614), -(isa(_731614, c_tptpcol_10_40324))], (4510 ^ _592316) ^ [_731802] : [isa(_731802, c_tptpcol_7_72707), -(tptpcol_7_72707(_731802))], (4516 ^ _592316) ^ [_731990] : [tptpcol_7_72707(_731990), -(isa(_731990, c_tptpcol_7_72707))], (4522 ^ _592316) ^ [_732178] : [isa(_732178, c_tptpcol_8_72708), -(tptpcol_8_72708(_732178))], (4528 ^ _592316) ^ [_732366] : [tptpcol_8_72708(_732366), -(isa(_732366, c_tptpcol_8_72708))], (4534 ^ _592316) ^ [_732554] : [isa(_732554, c_tptpcol_11_93764), -(tptpcol_11_93764(_732554))], (4540 ^ _592316) ^ [_732742] : [tptpcol_11_93764(_732742), -(isa(_732742, c_tptpcol_11_93764))], (4546 ^ _592316) ^ [_732930] : [isa(_732930, c_tptpcol_12_93765), -(tptpcol_12_93765(_732930))], (4552 ^ _592316) ^ [_733118] : [tptpcol_12_93765(_733118), -(isa(_733118, c_tptpcol_12_93765))], (4558 ^ _592316) ^ [_733306] : [isa(_733306, c_tptpcol_4_114689), -(tptpcol_4_114689(_733306))], (4564 ^ _592316) ^ [_733494] : [tptpcol_4_114689(_733494), -(isa(_733494, c_tptpcol_4_114689))], (4570 ^ _592316) ^ [_733682] : [isa(_733682, c_tptpcol_5_114690), -(tptpcol_5_114690(_733682))], (4576 ^ _592316) ^ [_733870] : [tptpcol_5_114690(_733870), -(isa(_733870, c_tptpcol_5_114690))], (4582 ^ _592316) ^ [_734058] : [isa(_734058, c_tptpcol_3_98305), -(tptpcol_3_98305(_734058))], (4588 ^ _592316) ^ [_734246] : [tptpcol_3_98305(_734246), -(isa(_734246, c_tptpcol_3_98305))], (4594 ^ _592316) ^ [_734434] : [isa(_734434, c_tptpcol_4_106497), -(tptpcol_4_106497(_734434))], (4600 ^ _592316) ^ [_734622] : [tptpcol_4_106497(_734622), -(isa(_734622, c_tptpcol_4_106497))], (4606 ^ _592316) ^ [_734837, _734839, _734841, _734843] : [-(natfunction(f_relationexistsallfn(_734843, _734841, _734839, _734837), c_relationexistsallfn))], (4608 ^ _592316) ^ [_734968, _734970, _734972, _734974] : [-(natargument(f_relationexistsallfn(_734974, _734972, _734970, _734968), n_1, _734974))], (4610 ^ _592316) ^ [_735100, _735102, _735104, _735106] : [-(natargument(f_relationexistsallfn(_735106, _735104, _735102, _735100), n_2, _735104))], (4612 ^ _592316) ^ [_735232, _735234, _735236, _735238] : [-(natargument(f_relationexistsallfn(_735238, _735236, _735234, _735232), n_3, _735234))], (4614 ^ _592316) ^ [_735364, _735366, _735368, _735370] : [-(natargument(f_relationexistsallfn(_735370, _735368, _735366, _735364), n_4, _735364))], (4616 ^ _592316) ^ [_735496, _735498, _735500, _735502] : [-(thing(f_relationexistsallfn(_735502, _735500, _735498, _735496)))], (4618 ^ _592316) ^ [_735613, _735615] : [resultisaarg(_735615, _735613), -(positiveinteger(_735613))], (4624 ^ _592316) ^ [_735821, _735823] : [resultisaarg(_735823, _735821), -(function_denotational(_735823))], (4630 ^ _592316) ^ [_736029, _736031] : [tptptypes_7_389(_736031, _736029), -(firstordercollection(_736029))], (4636 ^ _592316) ^ [_736237, _736239] : [tptptypes_7_389(_736239, _736237), -(firstordercollection(_736239))], (4642 ^ _592316) ^ [_736445, _736447] : [tptptypes_8_390(_736447, _736445), -(firstordercollection(_736445))], (4648 ^ _592316) ^ [_736653, _736655] : [tptptypes_8_390(_736655, _736653), -(firstordercollection(_736655))], (4654 ^ _592316) ^ [_736861, _736863] : [tptptypes_8_692(_736863, _736861), -(firstordercollection(_736861))], (4660 ^ _592316) ^ [_737069, _737071] : [tptptypes_8_692(_737071, _737069), -(firstordercollection(_737071))], (4666 ^ _592316) ^ [_737277, _737279] : [tptptypes_9_693(_737279, _737277), -(firstordercollection(_737277))], (4672 ^ _592316) ^ [_737485, _737487] : [tptptypes_9_693(_737487, _737485), -(firstordercollection(_737487))], (4678 ^ _592316) ^ [_737679] : [isa(_737679, c_tptpcol_11_40388), -(tptpcol_11_40388(_737679))], (4684 ^ _592316) ^ [_737867] : [tptpcol_11_40388(_737867), -(isa(_737867, c_tptpcol_11_40388))], (4690 ^ _592316) ^ [_738055] : [isa(_738055, c_marriagelicensedocument), -(marriagelicensedocument(_738055))], (4696 ^ _592316) ^ [_738243] : [marriagelicensedocument(_738243), -(isa(_738243, c_marriagelicensedocument))], (4702 ^ _592316) ^ [_738431] : [isa(_738431, c_tptpcol_1_65536), -(tptpcol_1_65536(_738431))], (4708 ^ _592316) ^ [_738619] : [tptpcol_1_65536(_738619), -(isa(_738619, c_tptpcol_1_65536))], (4714 ^ _592316) ^ [_738807] : [isa(_738807, c_tptpcol_2_98304), -(tptpcol_2_98304(_738807))], (4720 ^ _592316) ^ [_738995] : [tptpcol_2_98304(_738995), -(isa(_738995, c_tptpcol_2_98304))], (4726 ^ _592316) ^ [_739183] : [isa(_739183, c_tptpcol_10_92166), -(tptpcol_10_92166(_739183))], (4732 ^ _592316) ^ [_739371] : [tptpcol_10_92166(_739371), -(isa(_739371, c_tptpcol_10_92166))], (4738 ^ _592316) ^ [_739559] : [isa(_739559, c_tptpcol_11_92230), -(tptpcol_11_92230(_739559))], (4744 ^ _592316) ^ [_739747] : [tptpcol_11_92230(_739747), -(isa(_739747, c_tptpcol_11_92230))], (4750 ^ _592316) ^ [_739935] : [isa(_739935, c_orderingpredicate), -(orderingpredicate(_739935))], (4756 ^ _592316) ^ [_740123] : [orderingpredicate(_740123), -(isa(_740123, c_orderingpredicate))], (4762 ^ _592316) ^ [_740311] : [isa(_740311, c_tptpcol_9_18439), -(tptpcol_9_18439(_740311))], (4768 ^ _592316) ^ [_740499] : [tptpcol_9_18439(_740499), -(isa(_740499, c_tptpcol_9_18439))], (4774 ^ _592316) ^ [_740687] : [isa(_740687, c_tptpcol_10_18567), -(tptpcol_10_18567(_740687))], (4780 ^ _592316) ^ [_740875] : [tptpcol_10_18567(_740875), -(isa(_740875, c_tptpcol_10_18567))], (4786 ^ _592316) ^ [_741063] : [isa(_741063, c_tptpcol_2_65537), -(tptpcol_2_65537(_741063))], (4792 ^ _592316) ^ [_741251] : [tptpcol_2_65537(_741251), -(isa(_741251, c_tptpcol_2_65537))], (4798 ^ _592316) ^ [_741439] : [isa(_741439, c_tptpcol_3_81921), -(tptpcol_3_81921(_741439))], (4804 ^ _592316) ^ [_741627] : [tptpcol_3_81921(_741627), -(isa(_741627, c_tptpcol_3_81921))], (4810 ^ _592316) ^ [_741815] : [isa(_741815, c_artsupplies), -(artsupplies(_741815))], (4816 ^ _592316) ^ [_742003] : [artsupplies(_742003), -(isa(_742003, c_artsupplies))], (4822 ^ _592316) ^ [_742191] : [isa(_742191, c_enduringthing_localized), -(enduringthing_localized(_742191))], (4828 ^ _592316) ^ [_742379] : [enduringthing_localized(_742379), -(isa(_742379, c_enduringthing_localized))], (4834 ^ _592316) ^ [_742567] : [isa(_742567, c_location_underspecified), -(location_underspecified(_742567))], (4840 ^ _592316) ^ [_742755] : [location_underspecified(_742755), -(isa(_742755, c_location_underspecified))], (4846 ^ _592316) ^ [_742943] : [isa(_742943, c_trajector_underspecified), -(trajector_underspecified(_742943))], (4852 ^ _592316) ^ [_743131] : [trajector_underspecified(_743131), -(isa(_743131, c_trajector_underspecified))], (4858 ^ _592316) ^ [_743319] : [isa(_743319, c_individual), -(individual(_743319))], (4864 ^ _592316) ^ [_743507] : [individual(_743507), -(isa(_743507, c_individual))], (4870 ^ _592316) ^ [_743695] : [isa(_743695, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_743695))], (4876 ^ _592316) ^ [_743883] : [partiallyintangibleindividual(_743883), -(isa(_743883, c_partiallyintangibleindividual))], (4882 ^ _592316) ^ [_744071] : [isa(_744071, c_tptpcol_10_22022), -(tptpcol_10_22022(_744071))], (4888 ^ _592316) ^ [_744259] : [tptpcol_10_22022(_744259), -(isa(_744259, c_tptpcol_10_22022))], (4894 ^ _592316) ^ [_744447] : [isa(_744447, c_tptpcol_11_22023), -(tptpcol_11_22023(_744447))], (4900 ^ _592316) ^ [_744635] : [tptpcol_11_22023(_744635), -(isa(_744635, c_tptpcol_11_22023))], (4906 ^ _592316) ^ [_744823] : [isa(_744823, c_tptpcol_5_20483), -(tptpcol_5_20483(_744823))], (4912 ^ _592316) ^ [_745011] : [tptpcol_5_20483(_745011), -(isa(_745011, c_tptpcol_5_20483))], (4918 ^ _592316) ^ [_745199] : [isa(_745199, c_tptpcol_13_72791), -(tptpcol_13_72791(_745199))], (4924 ^ _592316) ^ [_745387] : [tptpcol_13_72791(_745387), -(isa(_745387, c_tptpcol_13_72791))], (4930 ^ _592316) ^ [_745575] : [isa(_745575, c_tptpcol_14_72792), -(tptpcol_14_72792(_745575))], (4936 ^ _592316) ^ [_745763] : [tptpcol_14_72792(_745763), -(isa(_745763, c_tptpcol_14_72792))], (4942 ^ _592316) ^ [_745951] : [isa(_745951, c_ridgeline_topographical), -(ridgeline_topographical(_745951))], (4948 ^ _592316) ^ [_746139] : [ridgeline_topographical(_746139), -(isa(_746139, c_ridgeline_topographical))], (4954 ^ _592316) ^ [_746327] : [isa(_746327, c_tptpcol_4_16387), -(tptpcol_4_16387(_746327))], (4960 ^ _592316) ^ [_746515] : [tptpcol_4_16387(_746515), -(isa(_746515, c_tptpcol_4_16387))], (4966 ^ _592316) ^ [_746703] : [isa(_746703, c_tptpcol_5_16388), -(tptpcol_5_16388(_746703))], (4972 ^ _592316) ^ [_746891] : [tptpcol_5_16388(_746891), -(isa(_746891, c_tptpcol_5_16388))], (4978 ^ _592316) ^ [_747079] : [isa(_747079, c_tptpcol_8_22020), -(tptpcol_8_22020(_747079))], (4984 ^ _592316) ^ [_747267] : [tptpcol_8_22020(_747267), -(isa(_747267, c_tptpcol_8_22020))], (4990 ^ _592316) ^ [_747455] : [isa(_747455, c_tptpcol_9_22021), -(tptpcol_9_22021(_747455))], (4996 ^ _592316) ^ [_747643] : [tptpcol_9_22021(_747643), -(isa(_747643, c_tptpcol_9_22021))], (5002 ^ _592316) ^ [_747831] : [isa(_747831, c_transitivebinarypredicate), -(transitivebinarypredicate(_747831))], (5008 ^ _592316) ^ [_748019] : [transitivebinarypredicate(_748019), -(isa(_748019, c_transitivebinarypredicate))], (5014 ^ _592316) ^ [_748221, _748223] : [geographicalsubregions(_748223, _748221), -(geographicalregion(_748221))], (5020 ^ _592316) ^ [_748429, _748431] : [geographicalsubregions(_748431, _748429), -(geographicalregion(_748431))], (5026 ^ _592316) ^ [_748651, _748653, _748655] : [-(geographicalsubregions(_748655, _748651)), geographicalsubregions(_748655, _748653), geographicalsubregions(_748653, _748651)], (5036 ^ _592316) ^ [_748946] : [geographicalregion(_748946), -(geographicalsubregions(_748946, _748946))], (5042 ^ _592316) ^ [_749134] : [isa(_749134, c_tptpcol_12_40420), -(tptpcol_12_40420(_749134))], (5048 ^ _592316) ^ [_749322] : [tptpcol_12_40420(_749322), -(isa(_749322, c_tptpcol_12_40420))], (5054 ^ _592316) ^ [_749510] : [isa(_749510, c_tptpcol_13_40421), -(tptpcol_13_40421(_749510))], (5060 ^ _592316) ^ [_749698] : [tptpcol_13_40421(_749698), -(isa(_749698, c_tptpcol_13_40421))], (5066 ^ _592316) ^ [_749886] : [isa(_749886, c_tptpcol_6_92162), -(tptpcol_6_92162(_749886))], (5072 ^ _592316) ^ [_750074] : [tptpcol_6_92162(_750074), -(isa(_750074, c_tptpcol_6_92162))], (5078 ^ _592316) ^ [_750262] : [isa(_750262, c_tptpcol_7_93186), -(tptpcol_7_93186(_750262))], (5084 ^ _592316) ^ [_750450] : [tptpcol_7_93186(_750450), -(isa(_750450, c_tptpcol_7_93186))], (5090 ^ _592316) ^ [_750652, _750654] : [most(_750654, _750652), -(setorcollection(_750652))], (5096 ^ _592316) ^ [_750860, _750862] : [most(_750862, _750860), -(setorcollection(_750860))], (5102 ^ _592316) ^ [_751068, _751070] : [most(_751070, _751068), -(setorcollection(_751070))], (5108 ^ _592316) ^ [_751276, _751278] : [most(_751278, _751276), -(setorcollection(_751278))], (5114 ^ _592316) ^ [_751470] : [setorcollection(_751470), -(most(_751470, _751470))], (5120 ^ _592316) ^ [_751658] : [setorcollection(_751658), -(most(_751658, _751658))], (5126 ^ _592316) ^ [_751874, _751876, _751878] : [-(most(_751878, _751874)), most(_751878, _751876), subsetof(_751876, _751874)], (5136 ^ _592316) ^ [_752197, _752199, _752201] : [-(most(_752201, _752197)), most(_752201, _752199), subsetof(_752199, _752197)], (5146 ^ _592316) ^ [_752506, _752508] : [subsetof(_752508, _752506), -(setorcollection(_752506))], (5152 ^ _592316) ^ [_752714, _752716] : [subsetof(_752716, _752714), -(setorcollection(_752716))], (5158 ^ _592316) ^ [_752936, _752938, _752940] : [-(subsetof(_752940, _752936)), subsetof(_752940, _752938), subsetof(_752938, _752936)], (5168 ^ _592316) ^ [_753231] : [setorcollection(_753231), -(subsetof(_753231, _753231))], (5174 ^ _592316) ^ [_753447, _753449, _753451] : [-(subsetof(_753447, _753449)), subsetof(_753451, _753449), subsetof(_753447, _753451)], (5184 ^ _592316) ^ [_753770, _753772, _753774] : [-(subsetof(_753774, _753770)), subsetof(_753774, _753772), subsetof(_753772, _753770)], (5194 ^ _592316) ^ [_754093, _754095, _754097] : [-(subsetof(_754097, _754093)), subsetof(_754097, _754095), subsetof(_754095, _754093)], (5204 ^ _592316) ^ [_754402, _754404] : [genlpreds(_754404, _754402), -(predicate(_754402))], (5210 ^ _592316) ^ [_754610, _754612] : [genlpreds(_754612, _754610), -(predicate(_754610))], (5216 ^ _592316) ^ [_754818, _754820] : [genlpreds(_754820, _754818), -(predicate(_754820))], (5222 ^ _592316) ^ [_755026, _755028] : [genlpreds(_755028, _755026), -(predicate(_755028))], (5228 ^ _592316) ^ [_755248, _755250, _755252] : [-(genlpreds(_755252, _755248)), genlpreds(_755252, _755250), genlpreds(_755250, _755248)], (5238 ^ _592316) ^ [_755543] : [predicate(_755543), -(genlpreds(_755543, _755543))], (5244 ^ _592316) ^ [_755731] : [predicate(_755731), -(genlpreds(_755731, _755731))], (5250 ^ _592316) ^ [_755933, _755935] : [genlinverse(_755935, _755933), -(binarypredicate(_755933))], (5256 ^ _592316) ^ [_756141, _756143] : [genlinverse(_756143, _756141), -(binarypredicate(_756143))], (5262 ^ _592316) ^ [_756363, _756365, _756367] : [-(genlinverse(_756363, _756365)), genlinverse(_756367, _756365), genlpreds(_756363, _756367)], (5272 ^ _592316) ^ [_756686, _756688, _756690] : [-(genlinverse(_756690, _756686)), genlinverse(_756690, _756688), genlpreds(_756688, _756686)], (5282 ^ _592316) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592316) ^ [_757034] : [isa(_757034, c_microtheory), -(microtheory(_757034))], (5290 ^ _592316) ^ [_757222] : [microtheory(_757222), -(isa(_757222, c_microtheory))], (5296 ^ _592316) ^ [_757395] : [-(natfunction(f_urlfn(_757395), c_urlfn))], (5298 ^ _592316) ^ [_757475] : [-(natargument(f_urlfn(_757475), n_1, _757475))], (5300 ^ _592316) ^ [_757556] : [-(uniformresourcelocator(f_urlfn(_757556)))], (5302 ^ _592316) ^ [_757635] : [-(natfunction(f_urlreferentfn(_757635), c_urlreferentfn))], (5304 ^ _592316) ^ [_757715] : [-(natargument(f_urlreferentfn(_757715), n_1, _757715))], (5306 ^ _592316) ^ [_757796] : [-(computerdataartifact(f_urlreferentfn(_757796)))], (5308 ^ _592316) ^ [_757889, _757891] : [-(natfunction(f_contentmtofcdafromeventfn(_757891, _757889), c_contentmtofcdafromeventfn))], (5310 ^ _592316) ^ [_757986, _757988] : [-(natargument(f_contentmtofcdafromeventfn(_757988, _757986), n_1, _757988))], (5312 ^ _592316) ^ [_758084, _758086] : [-(natargument(f_contentmtofcdafromeventfn(_758086, _758084), n_2, _758084))], (5314 ^ _592316) ^ [_758182, _758184] : [-(microtheory(f_contentmtofcdafromeventfn(_758184, _758182)))], (5316 ^ _592316) ^ [_758293, _758295] : [isa(_758295, _758293), -(collection(_758293))], (5322 ^ _592316) ^ [_758501, _758503] : [isa(_758503, _758501), -(collection(_758501))], (5328 ^ _592316) ^ [_758709, _758711] : [isa(_758711, _758709), -(thing(_758711))], (5334 ^ _592316) ^ [_758917, _758919] : [isa(_758919, _758917), -(thing(_758919))], (5340 ^ _592316) ^ [_759139, _759141, _759143] : [-(isa(_759143, _759139)), isa(_759143, _759141), genls(_759141, _759139)], (5350 ^ _592316) ^ [_759434] : [isa(_759434, c_inanimateobject), -(inanimateobject(_759434))], (5356 ^ _592316) ^ [_759622] : [inanimateobject(_759622), -(isa(_759622, c_inanimateobject))], (5362 ^ _592316) ^ [_759810] : [isa(_759810, c_tptpcol_9_72709), -(tptpcol_9_72709(_759810))], (5368 ^ _592316) ^ [_759998] : [tptpcol_9_72709(_759998), -(isa(_759998, c_tptpcol_9_72709))], (5374 ^ _592316) ^ [_760186] : [isa(_760186, c_tptpcol_10_72710), -(tptpcol_10_72710(_760186))], (5380 ^ _592316) ^ [_760374] : [tptpcol_10_72710(_760374), -(isa(_760374, c_tptpcol_10_72710))], (5386 ^ _592316) ^ [_760562] : [isa(_760562, c_tptpcol_14_40429), -(tptpcol_14_40429(_760562))], (5392 ^ _592316) ^ [_760750] : [tptpcol_14_40429(_760750), -(isa(_760750, c_tptpcol_14_40429))], (5398 ^ _592316) ^ [_760938] : [isa(_760938, c_tptpcol_15_40430), -(tptpcol_15_40430(_760938))], (5404 ^ _592316) ^ [_761126] : [tptpcol_15_40430(_761126), -(isa(_761126, c_tptpcol_15_40430))], (5410 ^ _592316) ^ [_761328, _761330] : [genls(_761330, _761328), -(collection(_761328))], (5416 ^ _592316) ^ [_761536, _761538] : [genls(_761538, _761536), -(collection(_761536))], (5422 ^ _592316) ^ [_761744, _761746] : [genls(_761746, _761744), -(collection(_761746))], (5428 ^ _592316) ^ [_761952, _761954] : [genls(_761954, _761952), -(collection(_761954))], (5434 ^ _592316) ^ [_762174, _762176, _762178] : [-(genls(_762178, _762174)), genls(_762178, _762176), genls(_762176, _762174)], (5444 ^ _592316) ^ [_762469] : [collection(_762469), -(genls(_762469, _762469))], (5450 ^ _592316) ^ [_762657] : [collection(_762657), -(genls(_762657, _762657))], (5456 ^ _592316) ^ [_762873, _762875, _762877] : [-(genls(_762873, _762875)), genls(_762877, _762875), genls(_762873, _762877)], (5466 ^ _592316) ^ [_763196, _763198, _763200] : [-(genls(_763200, _763196)), genls(_763200, _763198), genls(_763198, _763196)], (5476 ^ _592316) ^ [_763491] : [isa(_763491, c_partiallytangible), -(partiallytangible(_763491))], (5482 ^ _592316) ^ [_763679] : [partiallytangible(_763679), -(isa(_763679, c_partiallytangible))], (5488 ^ _592316) ^ [_763867] : [isa(_763867, c_intangible), -(intangible(_763867))], (5494 ^ _592316) ^ [_764055] : [intangible(_764055), -(isa(_764055, c_intangible))], (5500 ^ _592316) ^ [_764257, _764259] : [disjointwith(_764259, _764257), -(collection(_764257))], (5506 ^ _592316) ^ [_764465, _764467] : [disjointwith(_764467, _764465), -(collection(_764467))], (5512 ^ _592316) ^ [_764673, _764675] : [disjointwith(_764675, _764673), -(disjointwith(_764673, _764675))], (5518 ^ _592316) ^ [_764897, _764899, _764901] : [-(disjointwith(_764901, _764897)), disjointwith(_764901, _764899), genls(_764897, _764899)], (5528 ^ _592316) ^ [_765220, _765222, _765224] : [-(disjointwith(_765220, _765222)), disjointwith(_765224, _765222), genls(_765220, _765224)], (5538 ^ _592316) ^ [_765529, _765531] : [-(mtvisible(_765529)), mtvisible(_765531), genlmt(_765531, _765529)], (5548 ^ _592316) ^ [_765824, _765826] : [genlmt(_765826, _765824), -(microtheory(_765824))], (5554 ^ _592316) ^ [_766032, _766034] : [genlmt(_766034, _766032), -(microtheory(_766032))], (5560 ^ _592316) ^ [_766240, _766242] : [genlmt(_766242, _766240), -(microtheory(_766242))], (5566 ^ _592316) ^ [_766448, _766450] : [genlmt(_766450, _766448), -(microtheory(_766450))], (5572 ^ _592316) ^ [_766670, _766672, _766674] : [-(genlmt(_766674, _766670)), genlmt(_766674, _766672), genlmt(_766672, _766670)], (5582 ^ _592316) ^ [_766965] : [microtheory(_766965), -(genlmt(_766965, _766965))], (5594 ^ _592316) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592316) ^ [_767153] : [microtheory(_767153), -(genlmt(_767153, _767153))]], input).
% 0.40/1.40  ncf('1',plain,[geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7)],start(5598 ^ 0)).
% 0.40/1.40  ncf('1.1',plain,[-(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7)), mtvisible(c_tptpgeo_member1_mt)],extension(974 ^ 1)).
% 0.40/1.40  ncf('1.1.1',plain,[-(mtvisible(c_tptpgeo_member1_mt))],extension(5596 ^ 2)).
% 0.40/1.40  %-----------------------------------------------------
% 0.40/1.40  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------