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

% Computer : n032.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 11:01:54 EDT 2023

% Result   : Theorem 0.28s 1.32s
% Output   : Proof 0.28s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08  % Problem  : CSR072+2 : TPTP v8.1.2. Released v3.4.0.
% 0.00/0.08  % Command  : nanocop.sh %s %d
% 0.07/0.27  % Computer : n032.cluster.edu
% 0.07/0.27  % Model    : x86_64 x86_64
% 0.07/0.27  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.07/0.27  % Memory   : 8042.1875MB
% 0.07/0.27  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.07/0.27  % CPULimit : 300
% 0.07/0.27  % WCLimit  : 300
% 0.07/0.27  % DateTime : Fri May 19 00:50:50 EDT 2023
% 0.07/0.27  % CPUTime  : 
% 0.28/1.32  
% 0.28/1.32  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 0.28/1.32  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.28/1.32  %-----------------------------------------------------
% 0.28/1.32  ncf(matrix, plain, [(5596 ^ _592671) ^ [] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885)))], (5598 ^ _592671) ^ [] : [genls(c_tptpcol_16_130924, c_tptpcol_15_130923)], (2 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _592671) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _592671) ^ [_592876] : [intangible(_592876), partiallytangible(_592876)], (12 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _592671) ^ [_593114] : [tptpcol_15_40430(_593114), -(tptpcol_14_40429(_593114))], (20 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _592671) ^ [_593353] : [tptpcol_10_72710(_593353), -(tptpcol_9_72709(_593353))], (28 ^ _592671) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _592671) ^ [_593592] : [inanimateobject(_593592), -(partiallytangible(_593592))], (36 ^ _592671) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _592671) ^ [_593859, _593861, _593863] : [-(genlpreds(_593863, _593859)), genlinverse(_593863, _593861), genlinverse(_593861, _593859)], (48 ^ _592671) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _592671) ^ [_594221, _594223] : [subsetof(_594223, _594221), -(most(_594223, _594221))], (56 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _592671) ^ [_594470] : [tptpcol_7_93186(_594470), -(tptpcol_6_92162(_594470))], (64 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _592671) ^ [_594709] : [tptpcol_13_40421(_594709), -(tptpcol_12_40420(_594709))], (72 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _592671) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _592671) ^ [_595173] : [tptpcol_9_22021(_595173), -(tptpcol_8_22020(_595173))], (90 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _592671) ^ [_595412] : [tptpcol_5_16388(_595412), -(tptpcol_4_16387(_595412))], (98 ^ _592671) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _592671) ^ [_595770] : [tptpcol_14_72792(_595770), -(tptpcol_13_72791(_595770))], (112 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _592671) ^ [_596009] : [tptpcol_5_20483(_596009), -(tptpcol_4_16387(_596009))], (120 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _592671) ^ [_596248] : [tptpcol_11_22023(_596248), -(tptpcol_10_22022(_596248))], (128 ^ _592671) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _592671) ^ [_596487] : [partiallyintangibleindividual(_596487), -(individual(_596487))], (136 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _592671) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _592671) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _592671) ^ [_596832] : [trajector_underspecified(_596832), -(location_underspecified(_596832))], (148 ^ _592671) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _592671) ^ [_597071] : [partiallytangible(_597071), -(enduringthing_localized(_597071))], (156 ^ _592671) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _592671) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _592671) ^ [_597429] : [tptpcol_3_81921(_597429), -(tptpcol_2_65537(_597429))], (170 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _592671) ^ [_597668] : [tptpcol_10_18567(_597668), -(tptpcol_9_18439(_597668))], (178 ^ _592671) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _592671) ^ [_597907] : [orderingpredicate(_597907), -(transitivebinarypredicate(_597907))], (186 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _592671) ^ [_598146] : [tptpcol_11_92230(_598146), -(tptpcol_10_92166(_598146))], (194 ^ _592671) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _592671) ^ [_598385] : [tptpcol_2_98304(_598385), -(tptpcol_1_65536(_598385))], (202 ^ _592671) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _592671) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _592671) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _592671) ^ [_598849] : [tptpcol_12_40420(_598849), -(tptpcol_11_40388(_598849))], (220 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _592671) ^ [_599102, _599104] : [tptptypes_9_693(_599104, _599102), -(tptptypes_8_692(_599104, _599102))], (228 ^ _592671) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _592671) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _592671) ^ [_599471, _599473] : [tptptypes_8_390(_599473, _599471), -(tptptypes_7_389(_599473, _599471))], (240 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _592671) ^ [_599815, _599817, _599819, _599821] : [-(isa(f_relationexistsallfn(_599821, _599817, _599815, _599819), _599815)), isa(_599821, _599819), relationexistsall(_599817, _599815, _599819)], (254 ^ _592671) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _592671) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _592671) ^ [_600344] : [tptpcol_4_106497(_600344), -(tptpcol_3_98305(_600344))], (268 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _592671) ^ [_600583] : [tptpcol_5_114690(_600583), -(tptpcol_4_114689(_600583))], (276 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _592671) ^ [_600822] : [tptpcol_12_93765(_600822), -(tptpcol_11_93764(_600822))], (284 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _592671) ^ [_601061] : [tptpcol_8_72708(_601061), -(tptpcol_7_72707(_601061))], (292 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _592671) ^ [_601300] : [tptpcol_10_40324(_601300), -(tptpcol_9_40196(_601300))], (300 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _592671) ^ [_601539] : [tptpcol_13_93766(_601539), -(tptpcol_12_93765(_601539))], (308 ^ _592671) ^ [_601725] : [-(tptpofobject(_601725, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_601725)], (318 ^ _592671) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _592671) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _592671) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _592671) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _592671) ^ [_602389] : [location_underspecified(_602389), -(thing(_602389))], (342 ^ _592671) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _592671) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _592671) ^ [_602734] : [tptpcol_12_92262(_602734), -(tptpcol_11_92230(_602734))], (354 ^ _592671) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _592671) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _592671) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _592671) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _592671) ^ [_603251] : [tptpcol_10_109061(_603251), -(tptpcol_9_109060(_603251))], (374 ^ _592671) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _592671) ^ [_603557, _603559] : [tptptypes_6_388(_603559, _603557), -(tptptypes_5_387(_603559, _603557))], (384 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _592671) ^ [_603806] : [tptpcol_6_116738(_603806), -(tptpcol_5_114690(_603806))], (392 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _592671) ^ [_604045] : [tptpcol_15_92268(_604045), -(tptpcol_14_92264(_604045))], (400 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _592671) ^ [_604350] : [-(tptpofobject(_604350, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_604350)], (416 ^ _592671) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _592671) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _592671) ^ [_604803, _604805] : [tptptypes_9_401(_604805, _604803), -(tptptypes_8_400(_604803, _604805))], (430 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _592671) ^ [_605052] : [tptpcol_12_18663(_605052), -(tptpcol_11_18631(_605052))], (438 ^ _592671) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _592671) ^ [_605291] : [setorcollection(_605291), -(mathematicalthing(_605291))], (446 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _592671) ^ [_605530] : [tptpcol_13_109173(_605530), -(tptpcol_12_109157(_605530))], (454 ^ _592671) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _592671) ^ [_605822] : [tptpcol_5_106498(_605822), -(tptpcol_4_106497(_605822))], (464 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _592671) ^ [_606061] : [tptpcol_5_24579(_606061), -(tptpcol_4_24578(_606061))], (472 ^ _592671) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _592671) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _592671) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _592671) ^ [_606591] : [tptpcol_1_65536(_606591), -(tptpcol_0_0(_606591))], (494 ^ _592671) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _592671) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _592671) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _592671) ^ [_607016, _607018] : [geographicalsubregions(_607018, _607016), -(inregion(_607016, _607018))], (510 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _592671) ^ [_607265] : [tptpcol_11_118084(_607265), -(tptpcol_10_118020(_607265))], (518 ^ _592671) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _592671) ^ [_607504] : [mathematicalorcomputationalthing(_607504), -(intangible(_607504))], (526 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _592671) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _592671) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _592671) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _592671) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _592671) ^ [_608022, _608024] : [tptptypes_7_819(_608024, _608022), -(tptptypes_6_818(_608024, _608022))], (544 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _592671) ^ [_608324] : [tptpcol_12_26919(_608324), -(tptpcol_11_26887(_608324))], (554 ^ _592671) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _592671) ^ [_608577, _608579] : [tptptypes_8_692(_608579, _608577), -(tptptypes_7_691(_608577, _608579))], (562 ^ _592671) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _592671) ^ [_608826] : [tptpcol_2_2(_608826), -(tptpcol_1_1(_608826))], (570 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _592671) ^ [_609118] : [tptpcol_9_92165(_609118), -(tptpcol_8_92164(_609118))], (580 ^ _592671) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _592671) ^ [_609357] : [fixedordercollection(_609357), -(collection(_609357))], (588 ^ _592671) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _592671) ^ [_609596] : [tptpcol_1_1(_609596), tptpcol_1_65536(_609596)], (596 ^ _592671) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _592671) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _592671) ^ [_609887] : [microtheory(_609887), -(aspatialinformationstore(_609887))], (606 ^ _592671) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _592671) ^ [_610192] : [-(tptp_8_875(_610192, f_relationallexistsfn(_610192, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_610192, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _592671) ^ [] : [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 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _592671) ^ [_610643] : [tptpcol_10_118020(_610643), -(tptpcol_9_118019(_610643))], (636 ^ _592671) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _592671) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _592671) ^ [_611001] : [-(tptp_9_720(_611001, f_relationallexistsfn(_611001, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_611001)], (654 ^ _592671) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _592671) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _592671) ^ [_611450] : [individual(_611450), setorcollection(_611450)], (668 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _592671) ^ [_611688] : [tptpcol_12_22055(_611688), -(tptpcol_11_22023(_611688))], (676 ^ _592671) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _592671) ^ [_611927] : [applicationcontext(_611927), -(microtheory(_611927))], (684 ^ _592671) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _592671) ^ [_612233, _612235] : [tptptypes_8_400(_612235, _612233), -(tptptypes_7_396(_612235, _612233))], (694 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _592671) ^ [_612482] : [tptpcol_11_18631(_612482), -(tptpcol_10_18567(_612482))], (702 ^ _592671) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _592671) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _592671) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _592671) ^ [_612893] : [mathematicalthing(_612893), -(mathematicalorcomputationalthing(_612893))], (718 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _592671) ^ [_613185] : [tptpcol_15_93775(_613185), -(tptpcol_14_93774(_613185))], (728 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _592671) ^ [_613424] : [tptpcol_8_109059(_613424), -(tptpcol_7_108547(_613424))], (736 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _592671) ^ [_613663] : [tptpcol_14_40429(_613663), -(tptpcol_13_40421(_613663))], (744 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _592671) ^ [_614021] : [tptpcol_14_22072(_614021), -(tptpcol_13_22071(_614021))], (758 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _592671) ^ [_614260] : [tptpcol_14_93774(_614260), -(tptpcol_13_93766(_614260))], (766 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _592671) ^ [_614499] : [tptpcol_10_22022(_614499), -(tptpcol_9_22021(_614499))], (774 ^ _592671) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _592671) ^ [_614738] : [inanimateobject_nonnatural(_614738), -(inanimateobject(_614738))], (782 ^ _592671) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _592671) ^ [_615083] : [tptpcol_9_72709(_615083), -(tptpcol_8_72708(_615083))], (794 ^ _592671) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _592671) ^ [_615322] : [-(tptpofobject(_615322, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_615322)], (806 ^ _592671) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _592671) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _592671) ^ [_615761] : [firstordercollection(_615761), -(fixedordercollection(_615761))], (820 ^ _592671) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _592671) ^ [_616172] : [tptpcol_13_18664(_616172), -(tptpcol_12_18663(_616172))], (836 ^ _592671) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _592671) ^ [_616411] : [artifact(_616411), -(inanimateobject_nonnatural(_616411))], (844 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _592671) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _592671) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _592671) ^ [_616809] : [tptpcol_7_113665(_616809), -(tptpcol_6_112641(_616809))], (858 ^ _592671) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _592671) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _592671) ^ [_617167] : [geographicalregion(_617167), -(partiallytangible(_617167))], (872 ^ _592671) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _592671) ^ [_617420, _617422] : [disjointwith(_617422, _617420), -(no(_617422, _617420))], (880 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _592671) ^ [_617669] : [tptpcol_4_24578(_617669), -(tptpcol_3_16386(_617669))], (888 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _592671) ^ [_617908] : [tptpcol_5_69635(_617908), -(tptpcol_4_65539(_617908))], (896 ^ _592671) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _592671) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _592671) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _592671) ^ [_618267, _618269] : [genls(_618269, _618267), -(collection(_618269))], (908 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _592671) ^ [_618514] : [tptpcol_13_22071(_618514), -(tptpcol_12_22055(_618514))], (916 ^ _592671) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _592671) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _592671) ^ [_618806] : [tptpcol_3_98305(_618806), -(tptpcol_2_98304(_618806))], (926 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _592671) ^ [_619045] : [tptpcol_4_114689(_619045), -(tptpcol_3_114688(_619045))], (934 ^ _592671) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _592671) ^ [_619284] : [artsupplies(_619284), -(supplies(_619284))], (942 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _592671) ^ [_619523] : [tptpcol_8_26629(_619523), -(tptpcol_7_26628(_619523))], (950 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _592671) ^ [_619762] : [tptpcol_9_109060(_619762), -(tptpcol_8_109059(_619762))], (958 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _592671) ^ [_620001] : [isa(_620001, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_620001, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _620001))], (966 ^ _592671) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _592671) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _592671) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _592671) ^ [_620585] : [tptpcol_14_109181(_620585), -(tptpcol_13_109173(_620585))], (988 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _592671) ^ [_620824] : [tptpcol_16_30972(_620824), -(tptpcol_15_30970(_620824))], (996 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _592671) ^ [_621116] : [tptpcol_9_18439(_621116), -(tptpcol_8_18438(_621116))], (1006 ^ _592671) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _592671) ^ [_621408] : [tptpcol_12_118116(_621408), -(tptpcol_11_118084(_621408))], (1016 ^ _592671) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _592671) ^ [_621700] : [tptpcol_7_26628(_621700), -(tptpcol_6_26627(_621700))], (1026 ^ _592671) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _592671) ^ [_621953, _621955] : [most(_621955, _621953), -(setorcollection(_621955))], (1034 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _592671) ^ [_622200] : [tptpcol_15_109185(_622200), -(tptpcol_14_109181(_622200))], (1042 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _592671) ^ [_622439] : [tptpcol_16_92269(_622439), -(tptpcol_15_92268(_622439))], (1050 ^ _592671) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _592671) ^ [_622745, _622747] : [tptptypes_8_823(_622747, _622745), -(tptptypes_7_819(_622747, _622745))], (1060 ^ _592671) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _592671) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _592671) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _592671) ^ [_623325] : [tptpcol_10_26886(_623325), -(tptpcol_9_26885(_623325))], (1082 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _592671) ^ [_623617] : [tptpcol_15_72793(_623617), -(tptpcol_14_72792(_623617))], (1092 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _592671) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _592671) ^ [_623975] : [navypersonnel(_623975), -(militaryperson(_623975))], (1106 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _592671) ^ [_624214] : [tptpcol_4_16387(_624214), -(tptpcol_3_16386(_624214))], (1114 ^ _592671) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _592671) ^ [_624453] : [enduringthing_localized(_624453), -(spatialthing_nonsituational(_624453))], (1122 ^ _592671) ^ [_624639] : [collection(_624639), individual(_624639)], (1128 ^ _592671) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _592671) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _592671) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _592671) ^ [_625168] : [physicalorderingpredicate(_625168), -(orderingpredicate(_625168))], (1150 ^ _592671) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _592671) ^ [_625421, _625423] : [disjointwith(_625423, _625421), -(collection(_625421))], (1158 ^ _592671) ^ [_625657, _625659, _625661, _625663] : [-(isa(f_relationallexistsfn(_625663, _625659, _625661, _625657), _625657)), isa(_625663, _625661), relationallexists(_625659, _625661, _625657)], (1168 ^ _592671) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _592671) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _592671) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _592671) ^ [_626266, _626268] : [tptptypes_7_389(_626268, _626266), -(tptptypes_6_388(_626266, _626268))], (1186 ^ _592671) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _592671) ^ [_626581] : [-(hpkb_subnationalagent(_626581)), mtvisible(c_hpkbvocabmt), state_geopolitical(_626581)], (1202 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _592671) ^ [_626899] : [tptpcol_8_22020(_626899), -(tptpcol_7_21508(_626899))], (1210 ^ _592671) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _592671) ^ [_627138] : [-(tptp_9_51(f_relationexistsallfn(_627138, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _627138)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_627138, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _592671) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _592671) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _592671) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _592671) ^ [_627642] : [tptpcol_3_65538(_627642), -(tptpcol_2_65537(_627642))], (1238 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _592671) ^ [_627881] : [tptpcol_14_26921(_627881), -(tptpcol_13_26920(_627881))], (1246 ^ _592671) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _592671) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _592671) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _592671) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _592671) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _592671) ^ [_628332] : [intangibleindividual(_628332), -(partiallyintangibleindividual(_628332))], (1262 ^ _592671) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _592671) ^ [_628690] : [tptpcol_16_130924(_628690), -(tptpcol_15_130923(_628690))], (1276 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _592671) ^ [_628929] : [tptpcol_7_92163(_628929), -(tptpcol_6_92162(_628929))], (1284 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _592671) ^ [_629221] : [tptpcol_16_130933(_629221), -(tptpcol_15_130931(_629221))], (1294 ^ _592671) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _592671) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _592671) ^ [_629527, _629529] : [no(_629529, _629527), -(few(_629529, _629527))], (1304 ^ _592671) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _592671) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _592671) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _592671) ^ [_629935] : [tptpcol_6_20484(_629935), -(tptpcol_5_20483(_629935))], (1318 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _592671) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _592671) ^ [_630399] : [tptpcol_7_108547(_630399), -(tptpcol_6_108546(_630399))], (1336 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _592671) ^ [_630638] : [tptpcol_11_109125(_630638), -(tptpcol_10_109061(_630638))], (1344 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _592671) ^ [_630930] : [tptpcol_8_93698(_630930), -(tptpcol_7_93186(_630930))], (1354 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _592671) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _592671) ^ [_631222] : [tptpcol_2_65537(_631222), -(tptpcol_1_65536(_631222))], (1364 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _592671) ^ [_631514] : [tptpcol_6_18436(_631514), -(tptpcol_5_16388(_631514))], (1374 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _592671) ^ [_631753] : [tptpcol_8_18438(_631753), -(tptpcol_7_18437(_631753))], (1382 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _592671) ^ [_632111] : [tptpcol_8_117763(_632111), -(tptpcol_7_117762(_632111))], (1396 ^ _592671) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _592671) ^ [_632403] : [tptpcol_12_109157(_632403), -(tptpcol_11_109125(_632403))], (1406 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _592671) ^ [_632642] : [tptpcol_7_117762(_632642), -(tptpcol_6_116738(_632642))], (1414 ^ _592671) ^ [_632856, _632858, _632860] : [isa(_632860, _632858), isa(_632860, _632856), disjointwith(_632858, _632856)], (1424 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _592671) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _592671) ^ [_633256] : [aspatialinformationstore(_633256), -(aspatialthing(_633256))], (1434 ^ _592671) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _592671) ^ [_633654] : [tptpcol_9_93699(_633654), -(tptpcol_8_93698(_633654))], (1448 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _592671) ^ [_633893] : [tptpcol_11_93764(_633893), -(tptpcol_10_93700(_633893))], (1456 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _592671) ^ [_634132] : [tptpcol_6_26627(_634132), -(tptpcol_5_24579(_634132))], (1464 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _592671) ^ [_634371] : [tptpcol_4_90113(_634371), -(tptpcol_3_81921(_634371))], (1472 ^ _592671) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _592671) ^ [_634663] : [tptpcol_10_93700(_634663), -(tptpcol_9_93699(_634663))], (1482 ^ _592671) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _592671) ^ [_634902] : [aspatialinformationstore(_634902), -(intangibleindividual(_634902))], (1490 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _592671) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _592671) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _592671) ^ [_635313] : [tptpcol_3_16386(_635313), -(tptpcol_2_2(_635313))], (1506 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _592671) ^ [_635552] : [tptpcol_9_118019(_635552), -(tptpcol_8_117763(_635552))], (1514 ^ _592671) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _592671) ^ [_635791] : [individual(_635791), -(trajector_underspecified(_635791))], (1522 ^ _592671) ^ [_635977] : [shavingrazor_manual(_635977), -(tptp_8_271(f_relationexistsallfn(_635977, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _635977))], (1528 ^ _592671) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _592671) ^ [_636281] : [tptpcol_6_112641(_636281), -(tptpcol_5_110593(_636281))], (1538 ^ _592671) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _592671) ^ [_636520] : [tptpcol_12_72775(_636520), -(tptpcol_11_72774(_636520))], (1546 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _592671) ^ [_636759] : [tptpcol_7_72707(_636759), -(tptpcol_6_71683(_636759))], (1554 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _592671) ^ [_636998] : [tptpcol_16_50958(_636998), -(tptpcol_15_50957(_636998))], (1562 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _592671) ^ [_637237] : [tptpcol_8_114177(_637237), -(tptpcol_7_113665(_637237))], (1570 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _592671) ^ [_637476] : [tptpcol_16_72795(_637476), -(tptpcol_15_72793(_637476))], (1578 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _592671) ^ [_637715] : [tptpcol_6_71683(_637715), -(tptpcol_5_69635(_637715))], (1586 ^ _592671) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _592671) ^ [_638021, _638023] : [tptptypes_7_396(_638023, _638021), -(tptptypes_6_388(_638023, _638021))], (1596 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _592671) ^ [_638270] : [tptpcol_9_26885(_638270), -(tptpcol_8_26629(_638270))], (1604 ^ _592671) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _592671) ^ [_638523, _638525] : [genls(_638525, _638523), -(subsetof(_638525, _638523))], (1612 ^ _592671) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _592671) ^ [_638839, _638841] : [tptptypes_6_818(_638841, _638839), -(tptptypes_5_802(_638841, _638839))], (1622 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _592671) ^ [_639088] : [tptpcol_6_92162(_639088), -(tptpcol_5_90114(_639088))], (1630 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _592671) ^ [_639380] : [tptpcol_8_92164(_639380), -(tptpcol_7_92163(_639380))], (1640 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _592671) ^ [_639619] : [tptpcol_13_118117(_639619), -(tptpcol_12_118116(_639619))], (1648 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _592671) ^ [_639858] : [tptpcol_11_40388(_639858), -(tptpcol_10_40324(_639858))], (1656 ^ _592671) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _592671) ^ [_640111, _640113] : [tptptypes_9_824(_640113, _640111), -(tptptypes_8_823(_640113, _640111))], (1664 ^ _592671) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _592671) ^ [_640413] : [tptpcol_11_26887(_640413), -(tptpcol_10_26886(_640413))], (1674 ^ _592671) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _592671) ^ [_640652] : [tptpcol_16_26926(_640652), -(tptpcol_15_26925(_640652))], (1682 ^ _592671) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _592671) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _592671) ^ [_640958, _640960] : [few(_640960, _640958), -(setorcollection(_640958))], (1692 ^ _592671) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _592671) ^ [_641205] : [tptpcol_4_65539(_641205), -(tptpcol_3_65538(_641205))], (1700 ^ _592671) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _592671) ^ [_641444] : [tptpcol_8_39940(_641444), -(tptpcol_7_39939(_641444))], (1708 ^ _592671) ^ [_641630] : [-(tptpofobject(_641630, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_641630)], (1718 ^ _592671) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _592671) ^ [_642069] : [tptpcol_15_22076(_642069), -(tptpcol_14_22072(_642069))], (1732 ^ _592671) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _592671) ^ [_642308] : [tptpcol_0_0(_642308), -(individual(_642308))], (1740 ^ _592671) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _592671) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _592671) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _592671) ^ [_642706] : [tptpcol_11_72774(_642706), -(tptpcol_10_72710(_642706))], (1754 ^ _592671) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _592671) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _592671) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _592671) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _592671) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _592671) ^ [_643342] : [tptpcol_7_21508(_643342), -(tptpcol_6_20484(_643342))], (1780 ^ _592671) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _592671) ^ [_643581] : [tptpcol_6_108546(_643581), -(tptpcol_5_106498(_643581))], (1788 ^ _592671) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _592671) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _592671) ^ [_643939] : [geolevel_4(_643939), -(geographicalregion(_643939))], (1802 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _592671) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _592671) ^ [_644416] : [tptpcol_13_26920(_644416), -(tptpcol_12_26919(_644416))], (1822 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _592671) ^ [_644655] : [tptpcol_14_92264(_644655), -(tptpcol_13_92263(_644655))], (1830 ^ _592671) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _592671) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _592671) ^ [_644947] : [tptpcol_9_40196(_644947), -(tptpcol_8_39940(_644947))], (1840 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _592671) ^ [_645305] : [tptpcol_13_92263(_645305), -(tptpcol_12_92262(_645305))], (1854 ^ _592671) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _592671) ^ [_645597] : [tptpcol_5_90114(_645597), -(tptpcol_4_90113(_645597))], (1864 ^ _592671) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _592671) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _592671) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _592671) ^ [_646008] : [tptpcol_15_26925(_646008), -(tptpcol_14_26921(_646008))], (1880 ^ _592671) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _592671) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _592671) ^ [_646366] : [tptpcol_7_18437(_646366), -(tptpcol_6_18436(_646366))], (1894 ^ _592671) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _592671) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _592671) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _592671) ^ [_646777] : [tptpcol_3_98305(_646777), tptpcol_3_114688(_646777)], (1910 ^ _592671) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _592671) ^ [_647015] : [tptpcol_5_110593(_647015), -(tptpcol_4_106497(_647015))], (1918 ^ _592671) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _592671) ^ [_647254] : [tptpcol_13_72791(_647254), -(tptpcol_12_72775(_647254))], (1926 ^ _592671) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _592671) ^ [_647493] : [computerdataartifact(_647493), -(artifact(_647493))], (1934 ^ _592671) ^ [_647679] : [-(tptpofobject(_647679, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_647679)], (1944 ^ _592671) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _592671) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _592671) ^ [_648118] : [tptpcol_10_92166(_648118), -(tptpcol_9_92165(_648118))], (1958 ^ _592671) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _592671) ^ [_648357] : [tptpcol_14_118118(_648357), -(tptpcol_13_118117(_648357))], (1966 ^ _592671) ^ [_648543] : [isa(_648543, c_tptpcol_14_118118), -(tptpcol_14_118118(_648543))], (1972 ^ _592671) ^ [_648731] : [tptpcol_14_118118(_648731), -(isa(_648731, c_tptpcol_14_118118))], (1978 ^ _592671) ^ [_648904] : [-(natfunction(f_tptpquantityfn_6(_648904), c_tptpquantityfn_6))], (1980 ^ _592671) ^ [_648984] : [-(natargument(f_tptpquantityfn_6(_648984), n_1, _648984))], (1982 ^ _592671) ^ [_649065] : [-(tptpquantity(f_tptpquantityfn_6(_649065)))], (1984 ^ _592671) ^ [_649159] : [isa(_649159, c_tptpcol_16_26939), -(tptpcol_16_26939(_649159))], (1990 ^ _592671) ^ [_649347] : [tptpcol_16_26939(_649347), -(isa(_649347, c_tptpcol_16_26939))], (1996 ^ _592671) ^ [_649535] : [isa(_649535, c_tptpcol_16_62187), -(tptpcol_16_62187(_649535))], (2002 ^ _592671) ^ [_649723] : [tptpcol_16_62187(_649723), -(isa(_649723, c_tptpcol_16_62187))], (2008 ^ _592671) ^ [_649911] : [isa(_649911, c_tptpcol_13_92263), -(tptpcol_13_92263(_649911))], (2014 ^ _592671) ^ [_650099] : [tptpcol_13_92263(_650099), -(isa(_650099, c_tptpcol_13_92263))], (2020 ^ _592671) ^ [_650287] : [isa(_650287, c_geolevel_4), -(geolevel_4(_650287))], (2026 ^ _592671) ^ [_650475] : [geolevel_4(_650475), -(isa(_650475, c_geolevel_4))], (2032 ^ _592671) ^ [_650663] : [isa(_650663, c_tptpcol_15_4027), -(tptpcol_15_4027(_650663))], (2038 ^ _592671) ^ [_650851] : [tptpcol_15_4027(_650851), -(isa(_650851, c_tptpcol_15_4027))], (2044 ^ _592671) ^ [_651039] : [isa(_651039, c_pushingwithfingers), -(pushingwithfingers(_651039))], (2050 ^ _592671) ^ [_651227] : [pushingwithfingers(_651227), -(isa(_651227, c_pushingwithfingers))], (2056 ^ _592671) ^ [_651429, _651431] : [affiliatedwith(_651431, _651429), -(agent_generic(_651429))], (2062 ^ _592671) ^ [_651637, _651639] : [affiliatedwith(_651639, _651637), -(agent_generic(_651639))], (2068 ^ _592671) ^ [_651845, _651847] : [affiliatedwith(_651847, _651845), -(affiliatedwith(_651845, _651847))], (2074 ^ _592671) ^ [_652025] : [affiliatedwith(_652025, _652025)], (2076 ^ _592671) ^ [_652118] : [isa(_652118, c_footballteam), -(footballteam(_652118))], (2082 ^ _592671) ^ [_652306] : [footballteam(_652306), -(isa(_652306, c_footballteam))], (2088 ^ _592671) ^ [_652494] : [isa(_652494, c_tptpcol_16_4451), -(tptpcol_16_4451(_652494))], (2094 ^ _592671) ^ [_652682] : [tptpcol_16_4451(_652682), -(isa(_652682, c_tptpcol_16_4451))], (2100 ^ _592671) ^ [_652870] : [isa(_652870, c_pushingwithopenhand), -(pushingwithopenhand(_652870))], (2106 ^ _592671) ^ [_653058] : [pushingwithopenhand(_653058), -(isa(_653058, c_pushingwithopenhand))], (2112 ^ _592671) ^ [_653246] : [isa(_653246, c_tptpcol_15_22076), -(tptpcol_15_22076(_653246))], (2118 ^ _592671) ^ [_653434] : [tptpcol_15_22076(_653434), -(isa(_653434, c_tptpcol_15_22076))], (2124 ^ _592671) ^ [_653607] : [-(natfunction(f_tptpquantityfn_2(_653607), c_tptpquantityfn_2))], (2126 ^ _592671) ^ [_653687] : [-(natargument(f_tptpquantityfn_2(_653687), n_1, _653687))], (2128 ^ _592671) ^ [_653768] : [-(tptpquantity(f_tptpquantityfn_2(_653768)))], (2130 ^ _592671) ^ [_653862] : [isa(_653862, c_tptpcol_7_39939), -(tptpcol_7_39939(_653862))], (2136 ^ _592671) ^ [_654050] : [tptpcol_7_39939(_654050), -(isa(_654050, c_tptpcol_7_39939))], (2142 ^ _592671) ^ [_654238] : [isa(_654238, c_tptpcol_8_39940), -(tptpcol_8_39940(_654238))], (2148 ^ _592671) ^ [_654426] : [tptpcol_8_39940(_654426), -(isa(_654426, c_tptpcol_8_39940))], (2154 ^ _592671) ^ [_654614] : [isa(_654614, c_tptpcol_15_26925), -(tptpcol_15_26925(_654614))], (2160 ^ _592671) ^ [_654802] : [tptpcol_15_26925(_654802), -(isa(_654802, c_tptpcol_15_26925))], (2166 ^ _592671) ^ [_654990] : [isa(_654990, c_tptpcol_16_26926), -(tptpcol_16_26926(_654990))], (2172 ^ _592671) ^ [_655178] : [tptpcol_16_26926(_655178), -(isa(_655178, c_tptpcol_16_26926))], (2178 ^ _592671) ^ [_655366] : [isa(_655366, c_tptpcol_13_118117), -(tptpcol_13_118117(_655366))], (2184 ^ _592671) ^ [_655554] : [tptpcol_13_118117(_655554), -(isa(_655554, c_tptpcol_13_118117))], (2190 ^ _592671) ^ [_655742] : [isa(_655742, c_tptpcol_5_90114), -(tptpcol_5_90114(_655742))], (2196 ^ _592671) ^ [_655930] : [tptpcol_5_90114(_655930), -(isa(_655930, c_tptpcol_5_90114))], (2202 ^ _592671) ^ [_656132, _656134] : [tptptypes_5_802(_656134, _656132), -(firstordercollection(_656132))], (2208 ^ _592671) ^ [_656340, _656342] : [tptptypes_5_802(_656342, _656340), -(firstordercollection(_656342))], (2214 ^ _592671) ^ [_656534] : [isa(_656534, c_tptpcol_16_72795), -(tptpcol_16_72795(_656534))], (2220 ^ _592671) ^ [_656722] : [tptpcol_16_72795(_656722), -(isa(_656722, c_tptpcol_16_72795))], (2226 ^ _592671) ^ [_656910] : [isa(_656910, c_tptpcol_8_114177), -(tptpcol_8_114177(_656910))], (2232 ^ _592671) ^ [_657098] : [tptpcol_8_114177(_657098), -(isa(_657098, c_tptpcol_8_114177))], (2238 ^ _592671) ^ [_657286] : [isa(_657286, c_tptpcol_15_50957), -(tptpcol_15_50957(_657286))], (2244 ^ _592671) ^ [_657474] : [tptpcol_15_50957(_657474), -(isa(_657474, c_tptpcol_15_50957))], (2250 ^ _592671) ^ [_657662] : [isa(_657662, c_tptpcol_16_50958), -(tptpcol_16_50958(_657662))], (2256 ^ _592671) ^ [_657850] : [tptpcol_16_50958(_657850), -(isa(_657850, c_tptpcol_16_50958))], (2262 ^ _592671) ^ [_658038] : [isa(_658038, c_tptpcol_6_71683), -(tptpcol_6_71683(_658038))], (2268 ^ _592671) ^ [_658226] : [tptpcol_6_71683(_658226), -(isa(_658226, c_tptpcol_6_71683))], (2274 ^ _592671) ^ [_658414] : [isa(_658414, c_tptpcol_11_72774), -(tptpcol_11_72774(_658414))], (2280 ^ _592671) ^ [_658602] : [tptpcol_11_72774(_658602), -(isa(_658602, c_tptpcol_11_72774))], (2286 ^ _592671) ^ [_658790] : [isa(_658790, c_tptpcol_12_72775), -(tptpcol_12_72775(_658790))], (2292 ^ _592671) ^ [_658978] : [tptpcol_12_72775(_658978), -(isa(_658978, c_tptpcol_12_72775))], (2298 ^ _592671) ^ [_659166] : [isa(_659166, c_tptpcol_5_110593), -(tptpcol_5_110593(_659166))], (2304 ^ _592671) ^ [_659354] : [tptpcol_5_110593(_659354), -(isa(_659354, c_tptpcol_5_110593))], (2310 ^ _592671) ^ [_659542] : [isa(_659542, c_tptpcol_16_25972), -(tptpcol_16_25972(_659542))], (2316 ^ _592671) ^ [_659730] : [tptpcol_16_25972(_659730), -(isa(_659730, c_tptpcol_16_25972))], (2322 ^ _592671) ^ [_659932, _659934] : [tptp_8_271(_659934, _659932), -(razor(_659932))], (2328 ^ _592671) ^ [_660140, _660142] : [tptp_8_271(_660142, _660140), -(tptpcol_5_24579(_660142))], (2334 ^ _592671) ^ [_660334] : [isa(_660334, c_tptpcol_4_90113), -(tptpcol_4_90113(_660334))], (2340 ^ _592671) ^ [_660522] : [tptpcol_4_90113(_660522), -(isa(_660522, c_tptpcol_4_90113))], (2346 ^ _592671) ^ [_660710] : [isa(_660710, c_tptpcol_10_93700), -(tptpcol_10_93700(_660710))], (2352 ^ _592671) ^ [_660898] : [tptpcol_10_93700(_660898), -(isa(_660898, c_tptpcol_10_93700))], (2358 ^ _592671) ^ [_661086] : [isa(_661086, c_tptpcol_9_93699), -(tptpcol_9_93699(_661086))], (2364 ^ _592671) ^ [_661274] : [tptpcol_9_93699(_661274), -(isa(_661274, c_tptpcol_9_93699))], (2370 ^ _592671) ^ [_661462] : [isa(_661462, c_aspatialthing), -(aspatialthing(_661462))], (2376 ^ _592671) ^ [_661650] : [aspatialthing(_661650), -(isa(_661650, c_aspatialthing))], (2382 ^ _592671) ^ [_661838] : [isa(_661838, c_tptpcol_7_117762), -(tptpcol_7_117762(_661838))], (2388 ^ _592671) ^ [_662026] : [tptpcol_7_117762(_662026), -(isa(_662026, c_tptpcol_7_117762))], (2394 ^ _592671) ^ [_662214] : [isa(_662214, c_tptpcol_8_117763), -(tptpcol_8_117763(_662214))], (2400 ^ _592671) ^ [_662402] : [tptpcol_8_117763(_662402), -(isa(_662402, c_tptpcol_8_117763))], (2406 ^ _592671) ^ [_662590] : [isa(_662590, c_tptpcol_7_18437), -(tptpcol_7_18437(_662590))], (2412 ^ _592671) ^ [_662778] : [tptpcol_7_18437(_662778), -(isa(_662778, c_tptpcol_7_18437))], (2418 ^ _592671) ^ [_662966] : [isa(_662966, c_tptpcol_6_18436), -(tptpcol_6_18436(_662966))], (2424 ^ _592671) ^ [_663154] : [tptpcol_6_18436(_663154), -(isa(_663154, c_tptpcol_6_18436))], (2430 ^ _592671) ^ [_663342] : [isa(_663342, c_tptpcol_8_93698), -(tptpcol_8_93698(_663342))], (2436 ^ _592671) ^ [_663530] : [tptpcol_8_93698(_663530), -(isa(_663530, c_tptpcol_8_93698))], (2442 ^ _592671) ^ [_663718] : [isa(_663718, c_tptpcol_11_109125), -(tptpcol_11_109125(_663718))], (2448 ^ _592671) ^ [_663906] : [tptpcol_11_109125(_663906), -(isa(_663906, c_tptpcol_11_109125))], (2454 ^ _592671) ^ [_664094] : [isa(_664094, c_tptpcol_6_108546), -(tptpcol_6_108546(_664094))], (2460 ^ _592671) ^ [_664282] : [tptpcol_6_108546(_664282), -(isa(_664282, c_tptpcol_6_108546))], (2466 ^ _592671) ^ [_664470] : [isa(_664470, c_tptpcol_6_20484), -(tptpcol_6_20484(_664470))], (2472 ^ _592671) ^ [_664658] : [tptpcol_6_20484(_664658), -(isa(_664658, c_tptpcol_6_20484))], (2478 ^ _592671) ^ [_664860, _664862] : [few(_664862, _664860), -(setorcollection(_664860))], (2484 ^ _592671) ^ [_665068, _665070] : [few(_665070, _665068), -(setorcollection(_665068))], (2490 ^ _592671) ^ [_665276, _665278] : [few(_665278, _665276), -(setorcollection(_665278))], (2496 ^ _592671) ^ [_665484, _665486] : [few(_665486, _665484), -(setorcollection(_665486))], (2502 ^ _592671) ^ [_665706, _665708, _665710] : [-(few(_665710, _665706)), few(_665710, _665708), subsetof(_665706, _665708)], (2512 ^ _592671) ^ [_666001] : [isa(_666001, c_tptpcol_15_130931), -(tptpcol_15_130931(_666001))], (2518 ^ _592671) ^ [_666189] : [tptpcol_15_130931(_666189), -(isa(_666189, c_tptpcol_15_130931))], (2524 ^ _592671) ^ [_666377] : [isa(_666377, c_tptpcol_16_130933), -(tptpcol_16_130933(_666377))], (2530 ^ _592671) ^ [_666565] : [tptpcol_16_130933(_666565), -(isa(_666565, c_tptpcol_16_130933))], (2536 ^ _592671) ^ [_666753] : [isa(_666753, c_tptpcol_7_92163), -(tptpcol_7_92163(_666753))], (2542 ^ _592671) ^ [_666941] : [tptpcol_7_92163(_666941), -(isa(_666941, c_tptpcol_7_92163))], (2548 ^ _592671) ^ [_667129] : [isa(_667129, c_tptpcol_15_130923), -(tptpcol_15_130923(_667129))], (2554 ^ _592671) ^ [_667317] : [tptpcol_15_130923(_667317), -(isa(_667317, c_tptpcol_15_130923))], (2560 ^ _592671) ^ [_667505] : [isa(_667505, c_tptpcol_16_130924), -(tptpcol_16_130924(_667505))], (2566 ^ _592671) ^ [_667693] : [tptpcol_16_130924(_667693), -(isa(_667693, c_tptpcol_16_130924))], (2572 ^ _592671) ^ [_667881] : [isa(_667881, c_intangibleindividual), -(intangibleindividual(_667881))], (2578 ^ _592671) ^ [_668069] : [intangibleindividual(_668069), -(isa(_668069, c_intangibleindividual))], (2584 ^ _592671) ^ [_668256, _668258] : [-(natfunction(f_citynamedfn(_668258, _668256), c_citynamedfn))], (2586 ^ _592671) ^ [_668353, _668355] : [-(natargument(f_citynamedfn(_668355, _668353), n_1, _668355))], (2588 ^ _592671) ^ [_668451, _668453] : [-(natargument(f_citynamedfn(_668453, _668451), n_2, _668451))], (2590 ^ _592671) ^ [_668549, _668551] : [-(city(f_citynamedfn(_668551, _668549)))], (2592 ^ _592671) ^ [_668646] : [isa(_668646, c_tptpcol_13_26920), -(tptpcol_13_26920(_668646))], (2598 ^ _592671) ^ [_668834] : [tptpcol_13_26920(_668834), -(isa(_668834, c_tptpcol_13_26920))], (2604 ^ _592671) ^ [_669022] : [isa(_669022, c_tptpcol_14_26921), -(tptpcol_14_26921(_669022))], (2610 ^ _592671) ^ [_669210] : [tptpcol_14_26921(_669210), -(isa(_669210, c_tptpcol_14_26921))], (2616 ^ _592671) ^ [_669398] : [isa(_669398, c_tptpcol_3_65538), -(tptpcol_3_65538(_669398))], (2622 ^ _592671) ^ [_669586] : [tptpcol_3_65538(_669586), -(isa(_669586, c_tptpcol_3_65538))], (2628 ^ _592671) ^ [_669774] : [isa(_669774, c_tptpcol_16_27189), -(tptpcol_16_27189(_669774))], (2634 ^ _592671) ^ [_669962] : [tptpcol_16_27189(_669962), -(isa(_669962, c_tptpcol_16_27189))], (2640 ^ _592671) ^ [_670164, _670166] : [tptp_9_51(_670166, _670164), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_670164))], (2646 ^ _592671) ^ [_670372, _670374] : [tptp_9_51(_670374, _670372), -(tptpcol_7_26628(_670374))], (2652 ^ _592671) ^ [_670566] : [isa(_670566, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_670566))], (2658 ^ _592671) ^ [_670754] : [reflexivebinarypredicate(_670754), -(isa(_670754, c_reflexivebinarypredicate))], (2664 ^ _592671) ^ [_670942] : [isa(_670942, c_tptpcol_7_21508), -(tptpcol_7_21508(_670942))], (2670 ^ _592671) ^ [_671130] : [tptpcol_7_21508(_671130), -(isa(_671130, c_tptpcol_7_21508))], (2676 ^ _592671) ^ [_671318] : [isa(_671318, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_671318))], (2682 ^ _592671) ^ [_671506] : [hpkb_subnationalagent(_671506), -(isa(_671506, c_hpkb_subnationalagent))], (2688 ^ _592671) ^ [_671694] : [isa(_671694, c_state_geopolitical), -(state_geopolitical(_671694))], (2694 ^ _592671) ^ [_671882] : [state_geopolitical(_671882), -(isa(_671882, c_state_geopolitical))], (2700 ^ _592671) ^ [_672097, _672099, _672101, _672103] : [-(natfunction(f_relationallexistsfn(_672103, _672101, _672099, _672097), c_relationallexistsfn))], (2702 ^ _592671) ^ [_672228, _672230, _672232, _672234] : [-(natargument(f_relationallexistsfn(_672234, _672232, _672230, _672228), n_1, _672234))], (2704 ^ _592671) ^ [_672360, _672362, _672364, _672366] : [-(natargument(f_relationallexistsfn(_672366, _672364, _672362, _672360), n_2, _672364))], (2706 ^ _592671) ^ [_672492, _672494, _672496, _672498] : [-(natargument(f_relationallexistsfn(_672498, _672496, _672494, _672492), n_3, _672494))], (2708 ^ _592671) ^ [_672624, _672626, _672628, _672630] : [-(natargument(f_relationallexistsfn(_672630, _672628, _672626, _672624), n_4, _672624))], (2710 ^ _592671) ^ [_672756, _672758, _672760, _672762] : [-(thing(f_relationallexistsfn(_672762, _672760, _672758, _672756)))], (2712 ^ _592671) ^ [_672873, _672875] : [arg2isa(_672875, _672873), -(collection(_672873))], (2718 ^ _592671) ^ [_673081, _673083] : [arg2isa(_673083, _673081), -(relation(_673083))], (2724 ^ _592671) ^ [_673303, _673305, _673307] : [-(arg2isa(_673307, _673303)), arg2isa(_673307, _673305), genls(_673305, _673303)], (2734 ^ _592671) ^ [_673626, _673628, _673630] : [-(arg2isa(_673630, _673626)), arg2isa(_673630, _673628), genls(_673628, _673626)], (2744 ^ _592671) ^ [_673921] : [isa(_673921, c_geolevel_1), -(geolevel_1(_673921))], (2750 ^ _592671) ^ [_674109] : [geolevel_1(_674109), -(isa(_674109, c_geolevel_1))], (2756 ^ _592671) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _592671) ^ [_674350] : [isa(_674350, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_674350))], (2764 ^ _592671) ^ [_674538] : [spatialthing_nonsituational(_674538), -(isa(_674538, c_spatialthing_nonsituational))], (2770 ^ _592671) ^ [_674726] : [isa(_674726, c_militaryperson), -(militaryperson(_674726))], (2776 ^ _592671) ^ [_674914] : [militaryperson(_674914), -(isa(_674914, c_militaryperson))], (2782 ^ _592671) ^ [_675102] : [isa(_675102, c_tptpcol_15_72793), -(tptpcol_15_72793(_675102))], (2788 ^ _592671) ^ [_675290] : [tptpcol_15_72793(_675290), -(isa(_675290, c_tptpcol_15_72793))], (2794 ^ _592671) ^ [_675478] : [isa(_675478, c_tptpcol_9_26885), -(tptpcol_9_26885(_675478))], (2800 ^ _592671) ^ [_675666] : [tptpcol_9_26885(_675666), -(isa(_675666, c_tptpcol_9_26885))], (2806 ^ _592671) ^ [_675854] : [isa(_675854, c_tptpcol_10_26886), -(tptpcol_10_26886(_675854))], (2812 ^ _592671) ^ [_676042] : [tptpcol_10_26886(_676042), -(isa(_676042, c_tptpcol_10_26886))], (2818 ^ _592671) ^ [_676244, _676246] : [tptptypes_8_823(_676246, _676244), -(firstordercollection(_676244))], (2824 ^ _592671) ^ [_676452, _676454] : [tptptypes_8_823(_676454, _676452), -(firstordercollection(_676454))], (2830 ^ _592671) ^ [_676646] : [isa(_676646, c_tptpcol_16_92269), -(tptpcol_16_92269(_676646))], (2836 ^ _592671) ^ [_676834] : [tptpcol_16_92269(_676834), -(isa(_676834, c_tptpcol_16_92269))], (2842 ^ _592671) ^ [_677022] : [isa(_677022, c_tptpcol_15_109185), -(tptpcol_15_109185(_677022))], (2848 ^ _592671) ^ [_677210] : [tptpcol_15_109185(_677210), -(isa(_677210, c_tptpcol_15_109185))], (2854 ^ _592671) ^ [_677398] : [isa(_677398, c_tptpcol_6_26627), -(tptpcol_6_26627(_677398))], (2860 ^ _592671) ^ [_677586] : [tptpcol_6_26627(_677586), -(isa(_677586, c_tptpcol_6_26627))], (2866 ^ _592671) ^ [_677774] : [isa(_677774, c_tptpcol_12_118116), -(tptpcol_12_118116(_677774))], (2872 ^ _592671) ^ [_677962] : [tptpcol_12_118116(_677962), -(isa(_677962, c_tptpcol_12_118116))], (2878 ^ _592671) ^ [_678150] : [isa(_678150, c_tptpcol_8_18438), -(tptpcol_8_18438(_678150))], (2884 ^ _592671) ^ [_678338] : [tptpcol_8_18438(_678338), -(isa(_678338, c_tptpcol_8_18438))], (2890 ^ _592671) ^ [_678526] : [isa(_678526, c_tptpcol_15_30970), -(tptpcol_15_30970(_678526))], (2896 ^ _592671) ^ [_678714] : [tptpcol_15_30970(_678714), -(isa(_678714, c_tptpcol_15_30970))], (2902 ^ _592671) ^ [_678902] : [isa(_678902, c_tptpcol_16_30972), -(tptpcol_16_30972(_678902))], (2908 ^ _592671) ^ [_679090] : [tptpcol_16_30972(_679090), -(isa(_679090, c_tptpcol_16_30972))], (2914 ^ _592671) ^ [_679278] : [isa(_679278, c_tptpcol_14_109181), -(tptpcol_14_109181(_679278))], (2920 ^ _592671) ^ [_679466] : [tptpcol_14_109181(_679466), -(isa(_679466, c_tptpcol_14_109181))], (2926 ^ _592671) ^ [_679654] : [isa(_679654, c_physicalorderingpredicate), -(physicalorderingpredicate(_679654))], (2932 ^ _592671) ^ [_679842] : [physicalorderingpredicate(_679842), -(isa(_679842, c_physicalorderingpredicate))], (2938 ^ _592671) ^ [_680030] : [isa(_680030, c_tptpcol_16_7738), -(tptpcol_16_7738(_680030))], (2944 ^ _592671) ^ [_680218] : [tptpcol_16_7738(_680218), -(isa(_680218, c_tptpcol_16_7738))], (2950 ^ _592671) ^ [_680420, _680422] : [tptp_8_968(_680422, _680420), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_680420))], (2956 ^ _592671) ^ [_680628, _680630] : [tptp_8_968(_680630, _680628), -(tptpcol_7_7172(_680630))], (2962 ^ _592671) ^ [_680850, _680852, _680854] : [relationexistsall(_680854, _680852, _680850), -(collection(_680850))], (2968 ^ _592671) ^ [_681080, _681082, _681084] : [relationexistsall(_681084, _681082, _681080), -(collection(_681082))], (2974 ^ _592671) ^ [_681310, _681312, _681314] : [relationexistsall(_681314, _681312, _681310), -(binarypredicate(_681314))], (2980 ^ _592671) ^ [_681512] : [isa(_681512, c_tptpcol_7_26628), -(tptpcol_7_26628(_681512))], (2986 ^ _592671) ^ [_681700] : [tptpcol_7_26628(_681700), -(isa(_681700, c_tptpcol_7_26628))], (2992 ^ _592671) ^ [_681888] : [isa(_681888, c_tptpcol_8_26629), -(tptpcol_8_26629(_681888))], (2998 ^ _592671) ^ [_682076] : [tptpcol_8_26629(_682076), -(isa(_682076, c_tptpcol_8_26629))], (3004 ^ _592671) ^ [_682264] : [isa(_682264, c_tptpcol_3_114688), -(tptpcol_3_114688(_682264))], (3010 ^ _592671) ^ [_682452] : [tptpcol_3_114688(_682452), -(isa(_682452, c_tptpcol_3_114688))], (3016 ^ _592671) ^ [_682625] : [-(natfunction(f_contextofpcwfn(_682625), c_contextofpcwfn))], (3018 ^ _592671) ^ [_682705] : [-(natargument(f_contextofpcwfn(_682705), n_1, _682705))], (3020 ^ _592671) ^ [_682786] : [-(microtheory(f_contextofpcwfn(_682786)))], (3022 ^ _592671) ^ [_682894, _682896] : [arg1isa(_682896, _682894), -(collection(_682894))], (3028 ^ _592671) ^ [_683102, _683104] : [arg1isa(_683104, _683102), -(relation(_683104))], (3034 ^ _592671) ^ [_683324, _683326, _683328] : [-(arg1isa(_683328, _683324)), arg1isa(_683328, _683326), genls(_683326, _683324)], (3044 ^ _592671) ^ [_683647, _683649, _683651] : [-(arg1isa(_683651, _683647)), arg1isa(_683651, _683649), genls(_683649, _683647)], (3054 ^ _592671) ^ [_683956, _683958] : [objectfoundinlocation(_683958, _683956), -(spatialthing_nonsituational(_683956))], (3060 ^ _592671) ^ [_684164, _684166] : [objectfoundinlocation(_684166, _684164), -(spatialthing_localized(_684164))], (3066 ^ _592671) ^ [_684372, _684374] : [objectfoundinlocation(_684374, _684372), -(spatialthing_nonsituational(_684374))], (3072 ^ _592671) ^ [_684580, _684582] : [objectfoundinlocation(_684582, _684580), -(spatialthing_localized(_684582))], (3078 ^ _592671) ^ [_684802, _684804, _684806] : [-(objectfoundinlocation(_684806, _684802)), objectfoundinlocation(_684806, _684804), objectfoundinlocation(_684804, _684802)], (3088 ^ _592671) ^ [_685081] : [objectfoundinlocation(_685081, _685081)], (3090 ^ _592671) ^ [_685202, _685204, _685206] : [-(objectfoundinlocation(_685206, _685202)), objectfoundinlocation(_685206, _685204), geopoliticalsubdivision(_685202, _685204)], (3100 ^ _592671) ^ [_685525, _685527, _685529] : [-(objectfoundinlocation(_685529, _685525)), objectfoundinlocation(_685529, _685527), geographicallysubsumes(_685525, _685527)], (3110 ^ _592671) ^ [_685848, _685850, _685852] : [-(objectfoundinlocation(_685852, _685848)), objectfoundinlocation(_685852, _685850), subregions(_685848, _685850)], (3120 ^ _592671) ^ [_686143] : [isa(_686143, c_ship), -(ship(_686143))], (3126 ^ _592671) ^ [_686331] : [ship(_686331), -(isa(_686331, c_ship))], (3132 ^ _592671) ^ [_686532, _686534, _686536] : [-(natfunction(f_subcollectionofwithrelationtofn(_686536, _686534, _686532), c_subcollectionofwithrelationtofn))], (3134 ^ _592671) ^ [_686646, _686648, _686650] : [-(natargument(f_subcollectionofwithrelationtofn(_686650, _686648, _686646), n_1, _686650))], (3136 ^ _592671) ^ [_686761, _686763, _686765] : [-(natargument(f_subcollectionofwithrelationtofn(_686765, _686763, _686761), n_2, _686763))], (3138 ^ _592671) ^ [_686876, _686878, _686880] : [-(natargument(f_subcollectionofwithrelationtofn(_686880, _686878, _686876), n_3, _686876))], (3140 ^ _592671) ^ [_686991, _686993, _686995] : [-(collection(f_subcollectionofwithrelationtofn(_686995, _686993, _686991)))], (3142 ^ _592671) ^ [_687091] : [isa(_687091, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687091))], (3148 ^ _592671) ^ [_687279] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_687279), -(isa(_687279, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _592671) ^ [_687467] : [isa(_687467, c_tptpcol_4_65539), -(tptpcol_4_65539(_687467))], (3160 ^ _592671) ^ [_687655] : [tptpcol_4_65539(_687655), -(isa(_687655, c_tptpcol_4_65539))], (3166 ^ _592671) ^ [_687843] : [isa(_687843, c_tptpcol_5_69635), -(tptpcol_5_69635(_687843))], (3172 ^ _592671) ^ [_688031] : [tptpcol_5_69635(_688031), -(isa(_688031, c_tptpcol_5_69635))], (3178 ^ _592671) ^ [_688219] : [isa(_688219, c_tptpcol_3_16386), -(tptpcol_3_16386(_688219))], (3184 ^ _592671) ^ [_688407] : [tptpcol_3_16386(_688407), -(isa(_688407, c_tptpcol_3_16386))], (3190 ^ _592671) ^ [_688609, _688611] : [no(_688611, _688609), -(setorcollection(_688609))], (3196 ^ _592671) ^ [_688817, _688819] : [no(_688819, _688817), -(setorcollection(_688819))], (3202 ^ _592671) ^ [_689025, _689027] : [no(_689027, _689025), -(no(_689025, _689027))], (3208 ^ _592671) ^ [_689249, _689251, _689253] : [-(no(_689253, _689249)), no(_689253, _689251), subsetof(_689249, _689251)], (3218 ^ _592671) ^ [_689572, _689574, _689576] : [-(no(_689572, _689574)), no(_689576, _689574), subsetof(_689572, _689576)], (3228 ^ _592671) ^ [_689895, _689897, _689899] : [-(no(_689895, _689897)), no(_689899, _689897), genls(_689895, _689899)], (3238 ^ _592671) ^ [_690218, _690220, _690222] : [-(no(_690222, _690218)), no(_690222, _690220), genls(_690218, _690220)], (3248 ^ _592671) ^ [_690541, _690543, _690545] : [-(no(_690541, _690543)), no(_690545, _690543), subsetof(_690541, _690545)], (3258 ^ _592671) ^ [_690864, _690866, _690868] : [-(no(_690868, _690864)), no(_690868, _690866), subsetof(_690864, _690866)], (3268 ^ _592671) ^ [_691159] : [isa(_691159, c_geographicalregion), -(geographicalregion(_691159))], (3274 ^ _592671) ^ [_691347] : [geographicalregion(_691347), -(isa(_691347, c_geographicalregion))], (3280 ^ _592671) ^ [_691520] : [-(natfunction(f_tptpquantityfn_21(_691520), c_tptpquantityfn_21))], (3282 ^ _592671) ^ [_691600] : [-(natargument(f_tptpquantityfn_21(_691600), n_1, _691600))], (3284 ^ _592671) ^ [_691681] : [-(tptpquantity(f_tptpquantityfn_21(_691681)))], (3286 ^ _592671) ^ [_691789, _691791] : [airporthasiatacode(_691791, _691789), -(stringoflengthfn3(_691789))], (3292 ^ _592671) ^ [_691997, _691999] : [airporthasiatacode(_691999, _691997), -(airport_physical(_691999))], (3298 ^ _592671) ^ [_692191] : [isa(_692191, c_airport_physical), -(airport_physical(_692191))], (3304 ^ _592671) ^ [_692379] : [airport_physical(_692379), -(isa(_692379, c_airport_physical))], (3310 ^ _592671) ^ [_692580, _692582, _692584] : [-(natfunction(f_instancewithrelationtofn(_692584, _692582, _692580), c_instancewithrelationtofn))], (3312 ^ _592671) ^ [_692694, _692696, _692698] : [-(natargument(f_instancewithrelationtofn(_692698, _692696, _692694), n_1, _692698))], (3314 ^ _592671) ^ [_692809, _692811, _692813] : [-(natargument(f_instancewithrelationtofn(_692813, _692811, _692809), n_2, _692811))], (3316 ^ _592671) ^ [_692924, _692926, _692928] : [-(natargument(f_instancewithrelationtofn(_692928, _692926, _692924), n_3, _692924))], (3318 ^ _592671) ^ [_693039, _693041, _693043] : [-(thing(f_instancewithrelationtofn(_693043, _693041, _693039)))], (3320 ^ _592671) ^ [_693139] : [isa(_693139, c_tptpcol_6_112641), -(tptpcol_6_112641(_693139))], (3326 ^ _592671) ^ [_693327] : [tptpcol_6_112641(_693327), -(isa(_693327, c_tptpcol_6_112641))], (3332 ^ _592671) ^ [_693515] : [isa(_693515, c_tptpcol_7_113665), -(tptpcol_7_113665(_693515))], (3338 ^ _592671) ^ [_693703] : [tptpcol_7_113665(_693703), -(isa(_693703, c_tptpcol_7_113665))], (3344 ^ _592671) ^ [_693891] : [isa(_693891, c_artifact), -(artifact(_693891))], (3350 ^ _592671) ^ [_694079] : [artifact(_694079), -(isa(_694079, c_artifact))], (3356 ^ _592671) ^ [_694267] : [isa(_694267, c_tptpcol_13_18664), -(tptpcol_13_18664(_694267))], (3362 ^ _592671) ^ [_694455] : [tptpcol_13_18664(_694455), -(isa(_694455, c_tptpcol_13_18664))], (3368 ^ _592671) ^ [_694643] : [isa(_694643, c_firstordercollection), -(firstordercollection(_694643))], (3374 ^ _592671) ^ [_694831] : [firstordercollection(_694831), -(isa(_694831, c_firstordercollection))], (3380 ^ _592671) ^ [_695004] : [-(natfunction(f_tptpquantityfn_14(_695004), c_tptpquantityfn_14))], (3382 ^ _592671) ^ [_695084] : [-(natargument(f_tptpquantityfn_14(_695084), n_1, _695084))], (3384 ^ _592671) ^ [_695165] : [-(tptpquantity(f_tptpquantityfn_14(_695165)))], (3386 ^ _592671) ^ [_695259] : [isa(_695259, c_supplies), -(supplies(_695259))], (3392 ^ _592671) ^ [_695447] : [supplies(_695447), -(isa(_695447, c_supplies))], (3398 ^ _592671) ^ [_695635] : [isa(_695635, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_695635))], (3404 ^ _592671) ^ [_695823] : [inanimateobject_nonnatural(_695823), -(isa(_695823, c_inanimateobject_nonnatural))], (3410 ^ _592671) ^ [_696011] : [isa(_696011, c_tptpcol_13_22071), -(tptpcol_13_22071(_696011))], (3416 ^ _592671) ^ [_696199] : [tptpcol_13_22071(_696199), -(isa(_696199, c_tptpcol_13_22071))], (3422 ^ _592671) ^ [_696387] : [isa(_696387, c_tptpcol_14_22072), -(tptpcol_14_22072(_696387))], (3428 ^ _592671) ^ [_696575] : [tptpcol_14_22072(_696575), -(isa(_696575, c_tptpcol_14_22072))], (3434 ^ _592671) ^ [_696763] : [isa(_696763, c_tptpcol_7_108547), -(tptpcol_7_108547(_696763))], (3440 ^ _592671) ^ [_696951] : [tptpcol_7_108547(_696951), -(isa(_696951, c_tptpcol_7_108547))], (3446 ^ _592671) ^ [_697139] : [isa(_697139, c_tptpcol_8_109059), -(tptpcol_8_109059(_697139))], (3452 ^ _592671) ^ [_697327] : [tptpcol_8_109059(_697327), -(isa(_697327, c_tptpcol_8_109059))], (3458 ^ _592671) ^ [_697515] : [isa(_697515, c_tptpcol_14_93774), -(tptpcol_14_93774(_697515))], (3464 ^ _592671) ^ [_697703] : [tptpcol_14_93774(_697703), -(isa(_697703, c_tptpcol_14_93774))], (3470 ^ _592671) ^ [_697891] : [isa(_697891, c_tptpcol_15_93775), -(tptpcol_15_93775(_697891))], (3476 ^ _592671) ^ [_698079] : [tptpcol_15_93775(_698079), -(isa(_698079, c_tptpcol_15_93775))], (3482 ^ _592671) ^ [_698267] : [isa(_698267, c_tptpcol_16_8886), -(tptpcol_16_8886(_698267))], (3488 ^ _592671) ^ [_698455] : [tptpcol_16_8886(_698455), -(isa(_698455, c_tptpcol_16_8886))], (3494 ^ _592671) ^ [_698657, _698659] : [orientation(_698659, _698657), -(orientationvector(_698657))], (3500 ^ _592671) ^ [_698865, _698867] : [orientation(_698867, _698865), -(spatialthing_localized(_698867))], (3506 ^ _592671) ^ [_699059] : [isa(_699059, c_orientationvector), -(orientationvector(_699059))], (3512 ^ _592671) ^ [_699247] : [orientationvector(_699247), -(isa(_699247, c_orientationvector))], (3518 ^ _592671) ^ [_699435] : [isa(_699435, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699435))], (3524 ^ _592671) ^ [_699623] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_699623), -(isa(_699623, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _592671) ^ [_699825, _699827] : [tptptypes_9_824(_699827, _699825), -(firstordercollection(_699825))], (3536 ^ _592671) ^ [_700033, _700035] : [tptptypes_9_824(_700035, _700033), -(firstordercollection(_700035))], (3542 ^ _592671) ^ [_700241, _700243] : [tptptypes_7_396(_700243, _700241), -(firstordercollection(_700241))], (3548 ^ _592671) ^ [_700449, _700451] : [tptptypes_7_396(_700451, _700449), -(firstordercollection(_700451))], (3554 ^ _592671) ^ [_700643] : [isa(_700643, c_tptpcol_12_22055), -(tptpcol_12_22055(_700643))], (3560 ^ _592671) ^ [_700831] : [tptpcol_12_22055(_700831), -(isa(_700831, c_tptpcol_12_22055))], (3566 ^ _592671) ^ [_701019] : [isa(_701019, c_tptpcol_16_29490), -(tptpcol_16_29490(_701019))], (3572 ^ _592671) ^ [_701207] : [tptpcol_16_29490(_701207), -(isa(_701207, c_tptpcol_16_29490))], (3578 ^ _592671) ^ [_701409, _701411] : [tptp_9_720(_701411, _701409), -(tptpcol_5_28674(_701409))], (3584 ^ _592671) ^ [_701617, _701619] : [tptp_9_720(_701619, _701617), -(executionbyfiringsquad(_701619))], (3590 ^ _592671) ^ [_701811] : [isa(_701811, c_runningshorts), -(runningshorts(_701811))], (3596 ^ _592671) ^ [_701999] : [runningshorts(_701999), -(isa(_701999, c_runningshorts))], (3602 ^ _592671) ^ [_702187] : [isa(_702187, c_tptpcol_9_118019), -(tptpcol_9_118019(_702187))], (3608 ^ _592671) ^ [_702375] : [tptpcol_9_118019(_702375), -(isa(_702375, c_tptpcol_9_118019))], (3614 ^ _592671) ^ [_702563] : [isa(_702563, c_tptpcol_16_31868), -(tptpcol_16_31868(_702563))], (3620 ^ _592671) ^ [_702751] : [tptpcol_16_31868(_702751), -(isa(_702751, c_tptpcol_16_31868))], (3626 ^ _592671) ^ [_702939] : [isa(_702939, c_movement_translationevent), -(movement_translationevent(_702939))], (3632 ^ _592671) ^ [_703127] : [movement_translationevent(_703127), -(isa(_703127, c_movement_translationevent))], (3638 ^ _592671) ^ [_703329, _703331] : [directionoftranslation_throughout(_703331, _703329), -(unitvectorinterval(_703329))], (3644 ^ _592671) ^ [_703537, _703539] : [directionoftranslation_throughout(_703539, _703537), -(movement_translationevent(_703539))], (3650 ^ _592671) ^ [_703759, _703761, _703763] : [-(directionoftranslation_throughout(_703759, _703761)), directionoftranslation_throughout(_703763, _703761), subevents(_703763, _703759)], (3660 ^ _592671) ^ [_704054] : [isa(_704054, c_unitvectorinterval), -(unitvectorinterval(_704054))], (3666 ^ _592671) ^ [_704242] : [unitvectorinterval(_704242), -(isa(_704242, c_unitvectorinterval))], (3672 ^ _592671) ^ [_704430] : [isa(_704430, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704430))], (3678 ^ _592671) ^ [_704618] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_704618), -(isa(_704618, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _592671) ^ [_704820, _704822] : [tptp_8_875(_704822, _704820), -(tptpcol_4_24578(_704820))], (3690 ^ _592671) ^ [_705028, _705030] : [tptp_8_875(_705030, _705028), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_705030))], (3696 ^ _592671) ^ [_705250, _705252, _705254] : [relationallexists(_705254, _705252, _705250), -(collection(_705250))], (3702 ^ _592671) ^ [_705480, _705482, _705484] : [relationallexists(_705484, _705482, _705480), -(collection(_705482))], (3708 ^ _592671) ^ [_705710, _705712, _705714] : [relationallexists(_705714, _705712, _705710), -(binarypredicate(_705714))], (3714 ^ _592671) ^ [_705912] : [isa(_705912, c_tptpcol_16_10258), -(tptpcol_16_10258(_705912))], (3720 ^ _592671) ^ [_706100] : [tptpcol_16_10258(_706100), -(isa(_706100, c_tptpcol_16_10258))], (3726 ^ _592671) ^ [_706288] : [isa(_706288, c_pushingababycarriage), -(pushingababycarriage(_706288))], (3732 ^ _592671) ^ [_706476] : [pushingababycarriage(_706476), -(isa(_706476, c_pushingababycarriage))], (3738 ^ _592671) ^ [_706664] : [isa(_706664, c_aspatialinformationstore), -(aspatialinformationstore(_706664))], (3744 ^ _592671) ^ [_706852] : [aspatialinformationstore(_706852), -(isa(_706852, c_aspatialinformationstore))], (3750 ^ _592671) ^ [_707040] : [isa(_707040, c_collection), -(collection(_707040))], (3756 ^ _592671) ^ [_707228] : [collection(_707228), -(isa(_707228, c_collection))], (3762 ^ _592671) ^ [_707416] : [isa(_707416, c_fixedordercollection), -(fixedordercollection(_707416))], (3768 ^ _592671) ^ [_707604] : [fixedordercollection(_707604), -(isa(_707604, c_fixedordercollection))], (3774 ^ _592671) ^ [_707792] : [isa(_707792, c_tptpcol_8_92164), -(tptpcol_8_92164(_707792))], (3780 ^ _592671) ^ [_707980] : [tptpcol_8_92164(_707980), -(isa(_707980, c_tptpcol_8_92164))], (3786 ^ _592671) ^ [_708168] : [isa(_708168, c_tptpcol_9_92165), -(tptpcol_9_92165(_708168))], (3792 ^ _592671) ^ [_708356] : [tptpcol_9_92165(_708356), -(isa(_708356, c_tptpcol_9_92165))], (3798 ^ _592671) ^ [_708544] : [isa(_708544, c_tptpcol_1_1), -(tptpcol_1_1(_708544))], (3804 ^ _592671) ^ [_708732] : [tptpcol_1_1(_708732), -(isa(_708732, c_tptpcol_1_1))], (3810 ^ _592671) ^ [_708920] : [isa(_708920, c_tptpcol_2_2), -(tptpcol_2_2(_708920))], (3816 ^ _592671) ^ [_709108] : [tptpcol_2_2(_709108), -(isa(_709108, c_tptpcol_2_2))], (3822 ^ _592671) ^ [_709310, _709312] : [tptptypes_7_691(_709312, _709310), -(firstordercollection(_709310))], (3828 ^ _592671) ^ [_709518, _709520] : [tptptypes_7_691(_709520, _709518), -(firstordercollection(_709520))], (3834 ^ _592671) ^ [_709712] : [isa(_709712, c_tptpcol_11_26887), -(tptpcol_11_26887(_709712))], (3840 ^ _592671) ^ [_709900] : [tptpcol_11_26887(_709900), -(isa(_709900, c_tptpcol_11_26887))], (3846 ^ _592671) ^ [_710088] : [isa(_710088, c_tptpcol_12_26919), -(tptpcol_12_26919(_710088))], (3852 ^ _592671) ^ [_710276] : [tptpcol_12_26919(_710276), -(isa(_710276, c_tptpcol_12_26919))], (3858 ^ _592671) ^ [_710478, _710480] : [tptptypes_6_818(_710480, _710478), -(firstordercollection(_710478))], (3864 ^ _592671) ^ [_710686, _710688] : [tptptypes_6_818(_710688, _710686), -(firstordercollection(_710688))], (3870 ^ _592671) ^ [_710894, _710896] : [tptptypes_7_819(_710896, _710894), -(firstordercollection(_710894))], (3876 ^ _592671) ^ [_711102, _711104] : [tptptypes_7_819(_711104, _711102), -(firstordercollection(_711104))], (3882 ^ _592671) ^ [_711296] : [isa(_711296, c_correctivelensprescription), -(correctivelensprescription(_711296))], (3888 ^ _592671) ^ [_711484] : [correctivelensprescription(_711484), -(isa(_711484, c_correctivelensprescription))], (3894 ^ _592671) ^ [_711686, _711688] : [products(_711688, _711686), -(artifact(_711686))], (3900 ^ _592671) ^ [_711894, _711896] : [products(_711896, _711894), -(creationordestructionevent(_711896))], (3906 ^ _592671) ^ [_712088] : [isa(_712088, c_issuingaprescription), -(issuingaprescription(_712088))], (3912 ^ _592671) ^ [_712276] : [issuingaprescription(_712276), -(isa(_712276, c_issuingaprescription))], (3918 ^ _592671) ^ [_712477, _712479, _712481] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_712481, _712479, _712477), c_subcollectionofwithrelationtotypefn))], (3920 ^ _592671) ^ [_712591, _712593, _712595] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712595, _712593, _712591), n_1, _712595))], (3922 ^ _592671) ^ [_712706, _712708, _712710] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712710, _712708, _712706), n_2, _712708))], (3924 ^ _592671) ^ [_712821, _712823, _712825] : [-(natargument(f_subcollectionofwithrelationtotypefn(_712825, _712823, _712821), n_3, _712821))], (3926 ^ _592671) ^ [_712936, _712938, _712940] : [-(collection(f_subcollectionofwithrelationtotypefn(_712940, _712938, _712936)))], (3928 ^ _592671) ^ [_713036] : [isa(_713036, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713036))], (3934 ^ _592671) ^ [_713224] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_713224), -(isa(_713224, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _592671) ^ [_713412] : [isa(_713412, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_713412))], (3946 ^ _592671) ^ [_713600] : [mathematicalorcomputationalthing(_713600), -(isa(_713600, c_mathematicalorcomputationalthing))], (3952 ^ _592671) ^ [_713788] : [isa(_713788, c_tptpcol_10_118020), -(tptpcol_10_118020(_713788))], (3958 ^ _592671) ^ [_713976] : [tptpcol_10_118020(_713976), -(isa(_713976, c_tptpcol_10_118020))], (3964 ^ _592671) ^ [_714164] : [isa(_714164, c_tptpcol_11_118084), -(tptpcol_11_118084(_714164))], (3970 ^ _592671) ^ [_714352] : [tptpcol_11_118084(_714352), -(isa(_714352, c_tptpcol_11_118084))], (3976 ^ _592671) ^ [_714540] : [isa(_714540, c_terroristgroup), -(terroristgroup(_714540))], (3982 ^ _592671) ^ [_714728] : [terroristgroup(_714728), -(isa(_714728, c_terroristgroup))], (3988 ^ _592671) ^ [_714930, _714932] : [hasmembers(_714932, _714930), -(agent_generic(_714930))], (3994 ^ _592671) ^ [_715138, _715140] : [hasmembers(_715140, _715138), -(organization(_715140))], (4000 ^ _592671) ^ [_715332] : [isa(_715332, c_terrorist), -(terrorist(_715332))], (4006 ^ _592671) ^ [_715520] : [terrorist(_715520), -(isa(_715520, c_terrorist))], (4012 ^ _592671) ^ [_715721, _715723, _715725] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_715725, _715723, _715721), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _592671) ^ [_715835, _715837, _715839] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715839, _715837, _715835), n_1, _715839))], (4016 ^ _592671) ^ [_715950, _715952, _715954] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_715954, _715952, _715950), n_2, _715952))], (4018 ^ _592671) ^ [_716065, _716067, _716069] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_716069, _716067, _716065), n_3, _716065))], (4020 ^ _592671) ^ [_716180, _716182, _716184] : [-(collection(f_subcollectionofwithrelationfromtypefn(_716184, _716182, _716180)))], (4022 ^ _592671) ^ [_716280] : [isa(_716280, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716280))], (4028 ^ _592671) ^ [_716468] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_716468), -(isa(_716468, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _592671) ^ [_716670, _716672] : [prettystring(_716672, _716670), -(controlcharacterfreestring(_716670))], (4040 ^ _592671) ^ [_716878, _716880] : [prettystring(_716880, _716878), -(thing(_716880))], (4046 ^ _592671) ^ [_717072] : [isa(_717072, c_tptpcol_0_0), -(tptpcol_0_0(_717072))], (4052 ^ _592671) ^ [_717260] : [tptpcol_0_0(_717260), -(isa(_717260, c_tptpcol_0_0))], (4058 ^ _592671) ^ [_717448] : [isa(_717448, c_geolevel_3), -(geolevel_3(_717448))], (4064 ^ _592671) ^ [_717636] : [geolevel_3(_717636), -(isa(_717636, c_geolevel_3))], (4070 ^ _592671) ^ [_717824] : [isa(_717824, c_tptpcol_4_24578), -(tptpcol_4_24578(_717824))], (4076 ^ _592671) ^ [_718012] : [tptpcol_4_24578(_718012), -(isa(_718012, c_tptpcol_4_24578))], (4082 ^ _592671) ^ [_718200] : [isa(_718200, c_tptpcol_5_24579), -(tptpcol_5_24579(_718200))], (4088 ^ _592671) ^ [_718388] : [tptpcol_5_24579(_718388), -(isa(_718388, c_tptpcol_5_24579))], (4094 ^ _592671) ^ [_718576] : [isa(_718576, c_tptpcol_5_106498), -(tptpcol_5_106498(_718576))], (4100 ^ _592671) ^ [_718764] : [tptpcol_5_106498(_718764), -(isa(_718764, c_tptpcol_5_106498))], (4106 ^ _592671) ^ [_718952] : [isa(_718952, c_tptpcol_12_109157), -(tptpcol_12_109157(_718952))], (4112 ^ _592671) ^ [_719140] : [tptpcol_12_109157(_719140), -(isa(_719140, c_tptpcol_12_109157))], (4118 ^ _592671) ^ [_719328] : [isa(_719328, c_tptpcol_13_109173), -(tptpcol_13_109173(_719328))], (4124 ^ _592671) ^ [_719516] : [tptpcol_13_109173(_719516), -(isa(_719516, c_tptpcol_13_109173))], (4130 ^ _592671) ^ [_719704] : [isa(_719704, c_mathematicalthing), -(mathematicalthing(_719704))], (4136 ^ _592671) ^ [_719892] : [mathematicalthing(_719892), -(isa(_719892, c_mathematicalthing))], (4142 ^ _592671) ^ [_720080] : [isa(_720080, c_setorcollection), -(setorcollection(_720080))], (4148 ^ _592671) ^ [_720268] : [setorcollection(_720268), -(isa(_720268, c_setorcollection))], (4154 ^ _592671) ^ [_720456] : [isa(_720456, c_tptpcol_11_18631), -(tptpcol_11_18631(_720456))], (4160 ^ _592671) ^ [_720644] : [tptpcol_11_18631(_720644), -(isa(_720644, c_tptpcol_11_18631))], (4166 ^ _592671) ^ [_720832] : [isa(_720832, c_tptpcol_12_18663), -(tptpcol_12_18663(_720832))], (4172 ^ _592671) ^ [_721020] : [tptpcol_12_18663(_721020), -(isa(_721020, c_tptpcol_12_18663))], (4178 ^ _592671) ^ [_721222, _721224] : [tptptypes_8_400(_721224, _721222), -(firstordercollection(_721222))], (4184 ^ _592671) ^ [_721430, _721432] : [tptptypes_8_400(_721432, _721430), -(firstordercollection(_721432))], (4190 ^ _592671) ^ [_721638, _721640] : [tptptypes_9_401(_721640, _721638), -(firstordercollection(_721638))], (4196 ^ _592671) ^ [_721846, _721848] : [tptptypes_9_401(_721848, _721846), -(firstordercollection(_721848))], (4202 ^ _592671) ^ [_722025] : [-(natfunction(f_tptpquantityfn_13(_722025), c_tptpquantityfn_13))], (4204 ^ _592671) ^ [_722105] : [-(natargument(f_tptpquantityfn_13(_722105), n_1, _722105))], (4206 ^ _592671) ^ [_722186] : [-(tptpquantity(f_tptpquantityfn_13(_722186)))], (4208 ^ _592671) ^ [_722294, _722296] : [borderson(_722296, _722294), -(geographicalregion(_722294))], (4214 ^ _592671) ^ [_722502, _722504] : [borderson(_722504, _722502), -(geographicalregion(_722504))], (4220 ^ _592671) ^ [_722710, _722712] : [borderson(_722712, _722710), -(borderson(_722710, _722712))], (4226 ^ _592671) ^ [_722890] : [borderson(_722890, _722890)], (4228 ^ _592671) ^ [_722983] : [isa(_722983, c_tptpcol_14_92264), -(tptpcol_14_92264(_722983))], (4234 ^ _592671) ^ [_723171] : [tptpcol_14_92264(_723171), -(isa(_723171, c_tptpcol_14_92264))], (4240 ^ _592671) ^ [_723359] : [isa(_723359, c_tptpcol_15_92268), -(tptpcol_15_92268(_723359))], (4246 ^ _592671) ^ [_723547] : [tptpcol_15_92268(_723547), -(isa(_723547, c_tptpcol_15_92268))], (4252 ^ _592671) ^ [_723735] : [isa(_723735, c_tptpcol_6_116738), -(tptpcol_6_116738(_723735))], (4258 ^ _592671) ^ [_723923] : [tptpcol_6_116738(_723923), -(isa(_723923, c_tptpcol_6_116738))], (4264 ^ _592671) ^ [_724125, _724127] : [tptptypes_5_387(_724127, _724125), -(firstordercollection(_724125))], (4270 ^ _592671) ^ [_724333, _724335] : [tptptypes_5_387(_724335, _724333), -(firstordercollection(_724335))], (4276 ^ _592671) ^ [_724541, _724543] : [tptptypes_6_388(_724543, _724541), -(firstordercollection(_724541))], (4282 ^ _592671) ^ [_724749, _724751] : [tptptypes_6_388(_724751, _724749), -(firstordercollection(_724751))], (4288 ^ _592671) ^ [_724943] : [isa(_724943, c_shavingrazor_manual), -(shavingrazor_manual(_724943))], (4294 ^ _592671) ^ [_725131] : [shavingrazor_manual(_725131), -(isa(_725131, c_shavingrazor_manual))], (4300 ^ _592671) ^ [_725319] : [isa(_725319, c_tptpcol_9_109060), -(tptpcol_9_109060(_725319))], (4306 ^ _592671) ^ [_725507] : [tptpcol_9_109060(_725507), -(isa(_725507, c_tptpcol_9_109060))], (4312 ^ _592671) ^ [_725695] : [isa(_725695, c_tptpcol_10_109061), -(tptpcol_10_109061(_725695))], (4318 ^ _592671) ^ [_725883] : [tptpcol_10_109061(_725883), -(isa(_725883, c_tptpcol_10_109061))], (4324 ^ _592671) ^ [_726071] : [isa(_726071, c_executionbyfiringsquad), -(executionbyfiringsquad(_726071))], (4330 ^ _592671) ^ [_726259] : [executionbyfiringsquad(_726259), -(isa(_726259, c_executionbyfiringsquad))], (4336 ^ _592671) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _592671) ^ [_726500] : [isa(_726500, c_navypersonnel), -(navypersonnel(_726500))], (4344 ^ _592671) ^ [_726688] : [navypersonnel(_726688), -(isa(_726688, c_navypersonnel))], (4350 ^ _592671) ^ [_726876] : [isa(_726876, c_tptpcol_12_92262), -(tptpcol_12_92262(_726876))], (4356 ^ _592671) ^ [_727064] : [tptpcol_12_92262(_727064), -(isa(_727064, c_tptpcol_12_92262))], (4362 ^ _592671) ^ [_727252] : [isa(_727252, c_thing), -(thing(_727252))], (4368 ^ _592671) ^ [_727440] : [thing(_727440), -(isa(_727440, c_thing))], (4374 ^ _592671) ^ [_727628] : [isa(_727628, c_computerdataartifact), -(computerdataartifact(_727628))], (4380 ^ _592671) ^ [_727816] : [computerdataartifact(_727816), -(isa(_727816, c_computerdataartifact))], (4386 ^ _592671) ^ [_728004] : [isa(_728004, c_applicationcontext), -(applicationcontext(_728004))], (4392 ^ _592671) ^ [_728192] : [applicationcontext(_728192), -(isa(_728192, c_applicationcontext))], (4398 ^ _592671) ^ [_728394, _728396] : [inregion(_728396, _728394), -(spatialthing_nonsituational(_728394))], (4404 ^ _592671) ^ [_728602, _728604] : [inregion(_728604, _728602), -(spatialthing_nonsituational(_728604))], (4410 ^ _592671) ^ [_728824, _728826, _728828] : [-(inregion(_728828, _728824)), inregion(_728828, _728826), inregion(_728826, _728824)], (4420 ^ _592671) ^ [_729119] : [spatialthing_nonsituational(_729119), -(inregion(_729119, _729119))], (4426 ^ _592671) ^ [_729292] : [-(natfunction(f_tptpquantityfn_1(_729292), c_tptpquantityfn_1))], (4428 ^ _592671) ^ [_729372] : [-(natargument(f_tptpquantityfn_1(_729372), n_1, _729372))], (4430 ^ _592671) ^ [_729453] : [-(tptpquantity(f_tptpquantityfn_1(_729453)))], (4432 ^ _592671) ^ [_729547] : [isa(_729547, c_furpelt), -(furpelt(_729547))], (4438 ^ _592671) ^ [_729735] : [furpelt(_729735), -(isa(_729735, c_furpelt))], (4444 ^ _592671) ^ [_729937, _729939] : [tptpofobject(_729939, _729937), -(tptpquantity(_729937))], (4450 ^ _592671) ^ [_730145, _730147] : [tptpofobject(_730147, _730145), -(partiallytangible(_730147))], (4456 ^ _592671) ^ [_730367, _730369, _730371] : [relationallinstance(_730371, _730369, _730367), -(thing(_730367))], (4462 ^ _592671) ^ [_730597, _730599, _730601] : [relationallinstance(_730601, _730599, _730597), -(collection(_730599))], (4468 ^ _592671) ^ [_730827, _730829, _730831] : [relationallinstance(_730831, _730829, _730827), -(binarypredicate(_730831))], (4474 ^ _592671) ^ [_731029] : [isa(_731029, c_tptpcol_13_93766), -(tptpcol_13_93766(_731029))], (4480 ^ _592671) ^ [_731217] : [tptpcol_13_93766(_731217), -(isa(_731217, c_tptpcol_13_93766))], (4486 ^ _592671) ^ [_731405] : [isa(_731405, c_tptpcol_9_40196), -(tptpcol_9_40196(_731405))], (4492 ^ _592671) ^ [_731593] : [tptpcol_9_40196(_731593), -(isa(_731593, c_tptpcol_9_40196))], (4498 ^ _592671) ^ [_731781] : [isa(_731781, c_tptpcol_10_40324), -(tptpcol_10_40324(_731781))], (4504 ^ _592671) ^ [_731969] : [tptpcol_10_40324(_731969), -(isa(_731969, c_tptpcol_10_40324))], (4510 ^ _592671) ^ [_732157] : [isa(_732157, c_tptpcol_7_72707), -(tptpcol_7_72707(_732157))], (4516 ^ _592671) ^ [_732345] : [tptpcol_7_72707(_732345), -(isa(_732345, c_tptpcol_7_72707))], (4522 ^ _592671) ^ [_732533] : [isa(_732533, c_tptpcol_8_72708), -(tptpcol_8_72708(_732533))], (4528 ^ _592671) ^ [_732721] : [tptpcol_8_72708(_732721), -(isa(_732721, c_tptpcol_8_72708))], (4534 ^ _592671) ^ [_732909] : [isa(_732909, c_tptpcol_11_93764), -(tptpcol_11_93764(_732909))], (4540 ^ _592671) ^ [_733097] : [tptpcol_11_93764(_733097), -(isa(_733097, c_tptpcol_11_93764))], (4546 ^ _592671) ^ [_733285] : [isa(_733285, c_tptpcol_12_93765), -(tptpcol_12_93765(_733285))], (4552 ^ _592671) ^ [_733473] : [tptpcol_12_93765(_733473), -(isa(_733473, c_tptpcol_12_93765))], (4558 ^ _592671) ^ [_733661] : [isa(_733661, c_tptpcol_4_114689), -(tptpcol_4_114689(_733661))], (4564 ^ _592671) ^ [_733849] : [tptpcol_4_114689(_733849), -(isa(_733849, c_tptpcol_4_114689))], (4570 ^ _592671) ^ [_734037] : [isa(_734037, c_tptpcol_5_114690), -(tptpcol_5_114690(_734037))], (4576 ^ _592671) ^ [_734225] : [tptpcol_5_114690(_734225), -(isa(_734225, c_tptpcol_5_114690))], (4582 ^ _592671) ^ [_734413] : [isa(_734413, c_tptpcol_3_98305), -(tptpcol_3_98305(_734413))], (4588 ^ _592671) ^ [_734601] : [tptpcol_3_98305(_734601), -(isa(_734601, c_tptpcol_3_98305))], (4594 ^ _592671) ^ [_734789] : [isa(_734789, c_tptpcol_4_106497), -(tptpcol_4_106497(_734789))], (4600 ^ _592671) ^ [_734977] : [tptpcol_4_106497(_734977), -(isa(_734977, c_tptpcol_4_106497))], (4606 ^ _592671) ^ [_735192, _735194, _735196, _735198] : [-(natfunction(f_relationexistsallfn(_735198, _735196, _735194, _735192), c_relationexistsallfn))], (4608 ^ _592671) ^ [_735323, _735325, _735327, _735329] : [-(natargument(f_relationexistsallfn(_735329, _735327, _735325, _735323), n_1, _735329))], (4610 ^ _592671) ^ [_735455, _735457, _735459, _735461] : [-(natargument(f_relationexistsallfn(_735461, _735459, _735457, _735455), n_2, _735459))], (4612 ^ _592671) ^ [_735587, _735589, _735591, _735593] : [-(natargument(f_relationexistsallfn(_735593, _735591, _735589, _735587), n_3, _735589))], (4614 ^ _592671) ^ [_735719, _735721, _735723, _735725] : [-(natargument(f_relationexistsallfn(_735725, _735723, _735721, _735719), n_4, _735719))], (4616 ^ _592671) ^ [_735851, _735853, _735855, _735857] : [-(thing(f_relationexistsallfn(_735857, _735855, _735853, _735851)))], (4618 ^ _592671) ^ [_735968, _735970] : [resultisaarg(_735970, _735968), -(positiveinteger(_735968))], (4624 ^ _592671) ^ [_736176, _736178] : [resultisaarg(_736178, _736176), -(function_denotational(_736178))], (4630 ^ _592671) ^ [_736384, _736386] : [tptptypes_7_389(_736386, _736384), -(firstordercollection(_736384))], (4636 ^ _592671) ^ [_736592, _736594] : [tptptypes_7_389(_736594, _736592), -(firstordercollection(_736594))], (4642 ^ _592671) ^ [_736800, _736802] : [tptptypes_8_390(_736802, _736800), -(firstordercollection(_736800))], (4648 ^ _592671) ^ [_737008, _737010] : [tptptypes_8_390(_737010, _737008), -(firstordercollection(_737010))], (4654 ^ _592671) ^ [_737216, _737218] : [tptptypes_8_692(_737218, _737216), -(firstordercollection(_737216))], (4660 ^ _592671) ^ [_737424, _737426] : [tptptypes_8_692(_737426, _737424), -(firstordercollection(_737426))], (4666 ^ _592671) ^ [_737632, _737634] : [tptptypes_9_693(_737634, _737632), -(firstordercollection(_737632))], (4672 ^ _592671) ^ [_737840, _737842] : [tptptypes_9_693(_737842, _737840), -(firstordercollection(_737842))], (4678 ^ _592671) ^ [_738034] : [isa(_738034, c_tptpcol_11_40388), -(tptpcol_11_40388(_738034))], (4684 ^ _592671) ^ [_738222] : [tptpcol_11_40388(_738222), -(isa(_738222, c_tptpcol_11_40388))], (4690 ^ _592671) ^ [_738410] : [isa(_738410, c_marriagelicensedocument), -(marriagelicensedocument(_738410))], (4696 ^ _592671) ^ [_738598] : [marriagelicensedocument(_738598), -(isa(_738598, c_marriagelicensedocument))], (4702 ^ _592671) ^ [_738786] : [isa(_738786, c_tptpcol_1_65536), -(tptpcol_1_65536(_738786))], (4708 ^ _592671) ^ [_738974] : [tptpcol_1_65536(_738974), -(isa(_738974, c_tptpcol_1_65536))], (4714 ^ _592671) ^ [_739162] : [isa(_739162, c_tptpcol_2_98304), -(tptpcol_2_98304(_739162))], (4720 ^ _592671) ^ [_739350] : [tptpcol_2_98304(_739350), -(isa(_739350, c_tptpcol_2_98304))], (4726 ^ _592671) ^ [_739538] : [isa(_739538, c_tptpcol_10_92166), -(tptpcol_10_92166(_739538))], (4732 ^ _592671) ^ [_739726] : [tptpcol_10_92166(_739726), -(isa(_739726, c_tptpcol_10_92166))], (4738 ^ _592671) ^ [_739914] : [isa(_739914, c_tptpcol_11_92230), -(tptpcol_11_92230(_739914))], (4744 ^ _592671) ^ [_740102] : [tptpcol_11_92230(_740102), -(isa(_740102, c_tptpcol_11_92230))], (4750 ^ _592671) ^ [_740290] : [isa(_740290, c_orderingpredicate), -(orderingpredicate(_740290))], (4756 ^ _592671) ^ [_740478] : [orderingpredicate(_740478), -(isa(_740478, c_orderingpredicate))], (4762 ^ _592671) ^ [_740666] : [isa(_740666, c_tptpcol_9_18439), -(tptpcol_9_18439(_740666))], (4768 ^ _592671) ^ [_740854] : [tptpcol_9_18439(_740854), -(isa(_740854, c_tptpcol_9_18439))], (4774 ^ _592671) ^ [_741042] : [isa(_741042, c_tptpcol_10_18567), -(tptpcol_10_18567(_741042))], (4780 ^ _592671) ^ [_741230] : [tptpcol_10_18567(_741230), -(isa(_741230, c_tptpcol_10_18567))], (4786 ^ _592671) ^ [_741418] : [isa(_741418, c_tptpcol_2_65537), -(tptpcol_2_65537(_741418))], (4792 ^ _592671) ^ [_741606] : [tptpcol_2_65537(_741606), -(isa(_741606, c_tptpcol_2_65537))], (4798 ^ _592671) ^ [_741794] : [isa(_741794, c_tptpcol_3_81921), -(tptpcol_3_81921(_741794))], (4804 ^ _592671) ^ [_741982] : [tptpcol_3_81921(_741982), -(isa(_741982, c_tptpcol_3_81921))], (4810 ^ _592671) ^ [_742170] : [isa(_742170, c_artsupplies), -(artsupplies(_742170))], (4816 ^ _592671) ^ [_742358] : [artsupplies(_742358), -(isa(_742358, c_artsupplies))], (4822 ^ _592671) ^ [_742546] : [isa(_742546, c_enduringthing_localized), -(enduringthing_localized(_742546))], (4828 ^ _592671) ^ [_742734] : [enduringthing_localized(_742734), -(isa(_742734, c_enduringthing_localized))], (4834 ^ _592671) ^ [_742922] : [isa(_742922, c_location_underspecified), -(location_underspecified(_742922))], (4840 ^ _592671) ^ [_743110] : [location_underspecified(_743110), -(isa(_743110, c_location_underspecified))], (4846 ^ _592671) ^ [_743298] : [isa(_743298, c_trajector_underspecified), -(trajector_underspecified(_743298))], (4852 ^ _592671) ^ [_743486] : [trajector_underspecified(_743486), -(isa(_743486, c_trajector_underspecified))], (4858 ^ _592671) ^ [_743674] : [isa(_743674, c_individual), -(individual(_743674))], (4864 ^ _592671) ^ [_743862] : [individual(_743862), -(isa(_743862, c_individual))], (4870 ^ _592671) ^ [_744050] : [isa(_744050, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_744050))], (4876 ^ _592671) ^ [_744238] : [partiallyintangibleindividual(_744238), -(isa(_744238, c_partiallyintangibleindividual))], (4882 ^ _592671) ^ [_744426] : [isa(_744426, c_tptpcol_10_22022), -(tptpcol_10_22022(_744426))], (4888 ^ _592671) ^ [_744614] : [tptpcol_10_22022(_744614), -(isa(_744614, c_tptpcol_10_22022))], (4894 ^ _592671) ^ [_744802] : [isa(_744802, c_tptpcol_11_22023), -(tptpcol_11_22023(_744802))], (4900 ^ _592671) ^ [_744990] : [tptpcol_11_22023(_744990), -(isa(_744990, c_tptpcol_11_22023))], (4906 ^ _592671) ^ [_745178] : [isa(_745178, c_tptpcol_5_20483), -(tptpcol_5_20483(_745178))], (4912 ^ _592671) ^ [_745366] : [tptpcol_5_20483(_745366), -(isa(_745366, c_tptpcol_5_20483))], (4918 ^ _592671) ^ [_745554] : [isa(_745554, c_tptpcol_13_72791), -(tptpcol_13_72791(_745554))], (4924 ^ _592671) ^ [_745742] : [tptpcol_13_72791(_745742), -(isa(_745742, c_tptpcol_13_72791))], (4930 ^ _592671) ^ [_745930] : [isa(_745930, c_tptpcol_14_72792), -(tptpcol_14_72792(_745930))], (4936 ^ _592671) ^ [_746118] : [tptpcol_14_72792(_746118), -(isa(_746118, c_tptpcol_14_72792))], (4942 ^ _592671) ^ [_746306] : [isa(_746306, c_ridgeline_topographical), -(ridgeline_topographical(_746306))], (4948 ^ _592671) ^ [_746494] : [ridgeline_topographical(_746494), -(isa(_746494, c_ridgeline_topographical))], (4954 ^ _592671) ^ [_746682] : [isa(_746682, c_tptpcol_4_16387), -(tptpcol_4_16387(_746682))], (4960 ^ _592671) ^ [_746870] : [tptpcol_4_16387(_746870), -(isa(_746870, c_tptpcol_4_16387))], (4966 ^ _592671) ^ [_747058] : [isa(_747058, c_tptpcol_5_16388), -(tptpcol_5_16388(_747058))], (4972 ^ _592671) ^ [_747246] : [tptpcol_5_16388(_747246), -(isa(_747246, c_tptpcol_5_16388))], (4978 ^ _592671) ^ [_747434] : [isa(_747434, c_tptpcol_8_22020), -(tptpcol_8_22020(_747434))], (4984 ^ _592671) ^ [_747622] : [tptpcol_8_22020(_747622), -(isa(_747622, c_tptpcol_8_22020))], (4990 ^ _592671) ^ [_747810] : [isa(_747810, c_tptpcol_9_22021), -(tptpcol_9_22021(_747810))], (4996 ^ _592671) ^ [_747998] : [tptpcol_9_22021(_747998), -(isa(_747998, c_tptpcol_9_22021))], (5002 ^ _592671) ^ [_748186] : [isa(_748186, c_transitivebinarypredicate), -(transitivebinarypredicate(_748186))], (5008 ^ _592671) ^ [_748374] : [transitivebinarypredicate(_748374), -(isa(_748374, c_transitivebinarypredicate))], (5014 ^ _592671) ^ [_748576, _748578] : [geographicalsubregions(_748578, _748576), -(geographicalregion(_748576))], (5020 ^ _592671) ^ [_748784, _748786] : [geographicalsubregions(_748786, _748784), -(geographicalregion(_748786))], (5026 ^ _592671) ^ [_749006, _749008, _749010] : [-(geographicalsubregions(_749010, _749006)), geographicalsubregions(_749010, _749008), geographicalsubregions(_749008, _749006)], (5036 ^ _592671) ^ [_749301] : [geographicalregion(_749301), -(geographicalsubregions(_749301, _749301))], (5042 ^ _592671) ^ [_749489] : [isa(_749489, c_tptpcol_12_40420), -(tptpcol_12_40420(_749489))], (5048 ^ _592671) ^ [_749677] : [tptpcol_12_40420(_749677), -(isa(_749677, c_tptpcol_12_40420))], (5054 ^ _592671) ^ [_749865] : [isa(_749865, c_tptpcol_13_40421), -(tptpcol_13_40421(_749865))], (5060 ^ _592671) ^ [_750053] : [tptpcol_13_40421(_750053), -(isa(_750053, c_tptpcol_13_40421))], (5066 ^ _592671) ^ [_750241] : [isa(_750241, c_tptpcol_6_92162), -(tptpcol_6_92162(_750241))], (5072 ^ _592671) ^ [_750429] : [tptpcol_6_92162(_750429), -(isa(_750429, c_tptpcol_6_92162))], (5078 ^ _592671) ^ [_750617] : [isa(_750617, c_tptpcol_7_93186), -(tptpcol_7_93186(_750617))], (5084 ^ _592671) ^ [_750805] : [tptpcol_7_93186(_750805), -(isa(_750805, c_tptpcol_7_93186))], (5090 ^ _592671) ^ [_751007, _751009] : [most(_751009, _751007), -(setorcollection(_751007))], (5096 ^ _592671) ^ [_751215, _751217] : [most(_751217, _751215), -(setorcollection(_751215))], (5102 ^ _592671) ^ [_751423, _751425] : [most(_751425, _751423), -(setorcollection(_751425))], (5108 ^ _592671) ^ [_751631, _751633] : [most(_751633, _751631), -(setorcollection(_751633))], (5114 ^ _592671) ^ [_751825] : [setorcollection(_751825), -(most(_751825, _751825))], (5120 ^ _592671) ^ [_752013] : [setorcollection(_752013), -(most(_752013, _752013))], (5126 ^ _592671) ^ [_752229, _752231, _752233] : [-(most(_752233, _752229)), most(_752233, _752231), subsetof(_752231, _752229)], (5136 ^ _592671) ^ [_752552, _752554, _752556] : [-(most(_752556, _752552)), most(_752556, _752554), subsetof(_752554, _752552)], (5146 ^ _592671) ^ [_752861, _752863] : [subsetof(_752863, _752861), -(setorcollection(_752861))], (5152 ^ _592671) ^ [_753069, _753071] : [subsetof(_753071, _753069), -(setorcollection(_753071))], (5158 ^ _592671) ^ [_753291, _753293, _753295] : [-(subsetof(_753295, _753291)), subsetof(_753295, _753293), subsetof(_753293, _753291)], (5168 ^ _592671) ^ [_753586] : [setorcollection(_753586), -(subsetof(_753586, _753586))], (5174 ^ _592671) ^ [_753802, _753804, _753806] : [-(subsetof(_753802, _753804)), subsetof(_753806, _753804), subsetof(_753802, _753806)], (5184 ^ _592671) ^ [_754125, _754127, _754129] : [-(subsetof(_754129, _754125)), subsetof(_754129, _754127), subsetof(_754127, _754125)], (5194 ^ _592671) ^ [_754448, _754450, _754452] : [-(subsetof(_754452, _754448)), subsetof(_754452, _754450), subsetof(_754450, _754448)], (5204 ^ _592671) ^ [_754757, _754759] : [genlpreds(_754759, _754757), -(predicate(_754757))], (5210 ^ _592671) ^ [_754965, _754967] : [genlpreds(_754967, _754965), -(predicate(_754965))], (5216 ^ _592671) ^ [_755173, _755175] : [genlpreds(_755175, _755173), -(predicate(_755175))], (5222 ^ _592671) ^ [_755381, _755383] : [genlpreds(_755383, _755381), -(predicate(_755383))], (5228 ^ _592671) ^ [_755603, _755605, _755607] : [-(genlpreds(_755607, _755603)), genlpreds(_755607, _755605), genlpreds(_755605, _755603)], (5238 ^ _592671) ^ [_755898] : [predicate(_755898), -(genlpreds(_755898, _755898))], (5244 ^ _592671) ^ [_756086] : [predicate(_756086), -(genlpreds(_756086, _756086))], (5250 ^ _592671) ^ [_756288, _756290] : [genlinverse(_756290, _756288), -(binarypredicate(_756288))], (5256 ^ _592671) ^ [_756496, _756498] : [genlinverse(_756498, _756496), -(binarypredicate(_756498))], (5262 ^ _592671) ^ [_756718, _756720, _756722] : [-(genlinverse(_756718, _756720)), genlinverse(_756722, _756720), genlpreds(_756718, _756722)], (5272 ^ _592671) ^ [_757041, _757043, _757045] : [-(genlinverse(_757045, _757041)), genlinverse(_757045, _757043), genlpreds(_757043, _757041)], (5282 ^ _592671) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _592671) ^ [_757389] : [isa(_757389, c_microtheory), -(microtheory(_757389))], (5290 ^ _592671) ^ [_757577] : [microtheory(_757577), -(isa(_757577, c_microtheory))], (5296 ^ _592671) ^ [_757750] : [-(natfunction(f_urlfn(_757750), c_urlfn))], (5298 ^ _592671) ^ [_757830] : [-(natargument(f_urlfn(_757830), n_1, _757830))], (5300 ^ _592671) ^ [_757911] : [-(uniformresourcelocator(f_urlfn(_757911)))], (5302 ^ _592671) ^ [_757990] : [-(natfunction(f_urlreferentfn(_757990), c_urlreferentfn))], (5304 ^ _592671) ^ [_758070] : [-(natargument(f_urlreferentfn(_758070), n_1, _758070))], (5306 ^ _592671) ^ [_758151] : [-(computerdataartifact(f_urlreferentfn(_758151)))], (5308 ^ _592671) ^ [_758244, _758246] : [-(natfunction(f_contentmtofcdafromeventfn(_758246, _758244), c_contentmtofcdafromeventfn))], (5310 ^ _592671) ^ [_758341, _758343] : [-(natargument(f_contentmtofcdafromeventfn(_758343, _758341), n_1, _758343))], (5312 ^ _592671) ^ [_758439, _758441] : [-(natargument(f_contentmtofcdafromeventfn(_758441, _758439), n_2, _758439))], (5314 ^ _592671) ^ [_758537, _758539] : [-(microtheory(f_contentmtofcdafromeventfn(_758539, _758537)))], (5316 ^ _592671) ^ [_758648, _758650] : [isa(_758650, _758648), -(collection(_758648))], (5322 ^ _592671) ^ [_758856, _758858] : [isa(_758858, _758856), -(collection(_758856))], (5328 ^ _592671) ^ [_759064, _759066] : [isa(_759066, _759064), -(thing(_759066))], (5334 ^ _592671) ^ [_759272, _759274] : [isa(_759274, _759272), -(thing(_759274))], (5340 ^ _592671) ^ [_759494, _759496, _759498] : [-(isa(_759498, _759494)), isa(_759498, _759496), genls(_759496, _759494)], (5350 ^ _592671) ^ [_759789] : [isa(_759789, c_inanimateobject), -(inanimateobject(_759789))], (5356 ^ _592671) ^ [_759977] : [inanimateobject(_759977), -(isa(_759977, c_inanimateobject))], (5362 ^ _592671) ^ [_760165] : [isa(_760165, c_tptpcol_9_72709), -(tptpcol_9_72709(_760165))], (5368 ^ _592671) ^ [_760353] : [tptpcol_9_72709(_760353), -(isa(_760353, c_tptpcol_9_72709))], (5374 ^ _592671) ^ [_760541] : [isa(_760541, c_tptpcol_10_72710), -(tptpcol_10_72710(_760541))], (5380 ^ _592671) ^ [_760729] : [tptpcol_10_72710(_760729), -(isa(_760729, c_tptpcol_10_72710))], (5386 ^ _592671) ^ [_760917] : [isa(_760917, c_tptpcol_14_40429), -(tptpcol_14_40429(_760917))], (5392 ^ _592671) ^ [_761105] : [tptpcol_14_40429(_761105), -(isa(_761105, c_tptpcol_14_40429))], (5398 ^ _592671) ^ [_761293] : [isa(_761293, c_tptpcol_15_40430), -(tptpcol_15_40430(_761293))], (5404 ^ _592671) ^ [_761481] : [tptpcol_15_40430(_761481), -(isa(_761481, c_tptpcol_15_40430))], (5410 ^ _592671) ^ [_761683, _761685] : [genls(_761685, _761683), -(collection(_761683))], (5416 ^ _592671) ^ [_761891, _761893] : [genls(_761893, _761891), -(collection(_761891))], (5422 ^ _592671) ^ [_762099, _762101] : [genls(_762101, _762099), -(collection(_762101))], (5428 ^ _592671) ^ [_762307, _762309] : [genls(_762309, _762307), -(collection(_762309))], (5434 ^ _592671) ^ [_762529, _762531, _762533] : [-(genls(_762533, _762529)), genls(_762533, _762531), genls(_762531, _762529)], (5444 ^ _592671) ^ [_762824] : [collection(_762824), -(genls(_762824, _762824))], (5450 ^ _592671) ^ [_763012] : [collection(_763012), -(genls(_763012, _763012))], (5456 ^ _592671) ^ [_763228, _763230, _763232] : [-(genls(_763228, _763230)), genls(_763232, _763230), genls(_763228, _763232)], (5466 ^ _592671) ^ [_763551, _763553, _763555] : [-(genls(_763555, _763551)), genls(_763555, _763553), genls(_763553, _763551)], (5476 ^ _592671) ^ [_763846] : [isa(_763846, c_partiallytangible), -(partiallytangible(_763846))], (5482 ^ _592671) ^ [_764034] : [partiallytangible(_764034), -(isa(_764034, c_partiallytangible))], (5488 ^ _592671) ^ [_764222] : [isa(_764222, c_intangible), -(intangible(_764222))], (5494 ^ _592671) ^ [_764410] : [intangible(_764410), -(isa(_764410, c_intangible))], (5500 ^ _592671) ^ [_764612, _764614] : [disjointwith(_764614, _764612), -(collection(_764612))], (5506 ^ _592671) ^ [_764820, _764822] : [disjointwith(_764822, _764820), -(collection(_764822))], (5512 ^ _592671) ^ [_765028, _765030] : [disjointwith(_765030, _765028), -(disjointwith(_765028, _765030))], (5518 ^ _592671) ^ [_765252, _765254, _765256] : [-(disjointwith(_765256, _765252)), disjointwith(_765256, _765254), genls(_765252, _765254)], (5528 ^ _592671) ^ [_765575, _765577, _765579] : [-(disjointwith(_765575, _765577)), disjointwith(_765579, _765577), genls(_765575, _765579)], (5538 ^ _592671) ^ [_765884, _765886] : [-(mtvisible(_765884)), mtvisible(_765886), genlmt(_765886, _765884)], (5548 ^ _592671) ^ [_766179, _766181] : [genlmt(_766181, _766179), -(microtheory(_766179))], (5554 ^ _592671) ^ [_766387, _766389] : [genlmt(_766389, _766387), -(microtheory(_766387))], (5560 ^ _592671) ^ [_766595, _766597] : [genlmt(_766597, _766595), -(microtheory(_766597))], (5566 ^ _592671) ^ [_766803, _766805] : [genlmt(_766805, _766803), -(microtheory(_766805))], (5572 ^ _592671) ^ [_767025, _767027, _767029] : [-(genlmt(_767029, _767025)), genlmt(_767029, _767027), genlmt(_767027, _767025)], (5582 ^ _592671) ^ [_767320] : [microtheory(_767320), -(genlmt(_767320, _767320))], (5594 ^ _592671) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _592671) ^ [_767508] : [microtheory(_767508), -(genlmt(_767508, _767508))]], input).
% 0.28/1.32  ncf('1',plain,[genls(c_tptpcol_16_130924, c_tptpcol_15_130923)],start(5598 ^ 0)).
% 0.28/1.32  ncf('1.1',plain,[-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))],extension(1268 ^ 1)).
% 0.28/1.32  %-----------------------------------------------------
% 0.28/1.32  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------