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

% Computer : n025.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 10:34:21 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11  % Problem  : CSR038+2 : TPTP v8.1.2. Released v3.4.0.
% 0.12/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n025.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Fri May 19 00:36:03 EDT 2023
% 0.13/0.33  % CPUTime  : 
% 0.40/1.37  
% 0.40/1.37  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.40/1.37  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.40/1.37  %-----------------------------------------------------
% 0.40/1.37  ncf(matrix, plain, [(5596 ^ _598083) ^ [_787610] : [-(mtvisible(c_knowledgefragmentd3mt))], (5598 ^ _598083) ^ [_787663] : [tptp_8_968(_787663, c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804), tptpcol_16_7738(_787663)], (2 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _598083) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _598083) ^ [_598288] : [intangible(_598288), partiallytangible(_598288)], (12 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _598083) ^ [_598526] : [tptpcol_15_40430(_598526), -(tptpcol_14_40429(_598526))], (20 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _598083) ^ [_598765] : [tptpcol_10_72710(_598765), -(tptpcol_9_72709(_598765))], (28 ^ _598083) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _598083) ^ [_599004] : [inanimateobject(_599004), -(partiallytangible(_599004))], (36 ^ _598083) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _598083) ^ [_599271, _599273, _599275] : [-(genlpreds(_599275, _599271)), genlinverse(_599275, _599273), genlinverse(_599273, _599271)], (48 ^ _598083) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _598083) ^ [_599633, _599635] : [subsetof(_599635, _599633), -(most(_599635, _599633))], (56 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _598083) ^ [_599882] : [tptpcol_7_93186(_599882), -(tptpcol_6_92162(_599882))], (64 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _598083) ^ [_600121] : [tptpcol_13_40421(_600121), -(tptpcol_12_40420(_600121))], (72 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _598083) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _598083) ^ [_600585] : [tptpcol_9_22021(_600585), -(tptpcol_8_22020(_600585))], (90 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _598083) ^ [_600824] : [tptpcol_5_16388(_600824), -(tptpcol_4_16387(_600824))], (98 ^ _598083) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _598083) ^ [_601182] : [tptpcol_14_72792(_601182), -(tptpcol_13_72791(_601182))], (112 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _598083) ^ [_601421] : [tptpcol_5_20483(_601421), -(tptpcol_4_16387(_601421))], (120 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _598083) ^ [_601660] : [tptpcol_11_22023(_601660), -(tptpcol_10_22022(_601660))], (128 ^ _598083) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _598083) ^ [_601899] : [partiallyintangibleindividual(_601899), -(individual(_601899))], (136 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _598083) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _598083) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _598083) ^ [_602244] : [trajector_underspecified(_602244), -(location_underspecified(_602244))], (148 ^ _598083) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _598083) ^ [_602483] : [partiallytangible(_602483), -(enduringthing_localized(_602483))], (156 ^ _598083) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _598083) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _598083) ^ [_602841] : [tptpcol_3_81921(_602841), -(tptpcol_2_65537(_602841))], (170 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _598083) ^ [_603080] : [tptpcol_10_18567(_603080), -(tptpcol_9_18439(_603080))], (178 ^ _598083) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _598083) ^ [_603319] : [orderingpredicate(_603319), -(transitivebinarypredicate(_603319))], (186 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _598083) ^ [_603558] : [tptpcol_11_92230(_603558), -(tptpcol_10_92166(_603558))], (194 ^ _598083) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _598083) ^ [_603797] : [tptpcol_2_98304(_603797), -(tptpcol_1_65536(_603797))], (202 ^ _598083) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _598083) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _598083) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _598083) ^ [_604261] : [tptpcol_12_40420(_604261), -(tptpcol_11_40388(_604261))], (220 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _598083) ^ [_604514, _604516] : [tptptypes_9_693(_604516, _604514), -(tptptypes_8_692(_604516, _604514))], (228 ^ _598083) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _598083) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _598083) ^ [_604883, _604885] : [tptptypes_8_390(_604885, _604883), -(tptptypes_7_389(_604885, _604883))], (240 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _598083) ^ [_605227, _605229, _605231, _605233] : [-(isa(f_relationexistsallfn(_605233, _605229, _605227, _605231), _605227)), isa(_605233, _605231), relationexistsall(_605229, _605227, _605231)], (254 ^ _598083) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _598083) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _598083) ^ [_605756] : [tptpcol_4_106497(_605756), -(tptpcol_3_98305(_605756))], (268 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _598083) ^ [_605995] : [tptpcol_5_114690(_605995), -(tptpcol_4_114689(_605995))], (276 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _598083) ^ [_606234] : [tptpcol_12_93765(_606234), -(tptpcol_11_93764(_606234))], (284 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _598083) ^ [_606473] : [tptpcol_8_72708(_606473), -(tptpcol_7_72707(_606473))], (292 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _598083) ^ [_606712] : [tptpcol_10_40324(_606712), -(tptpcol_9_40196(_606712))], (300 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _598083) ^ [_606951] : [tptpcol_13_93766(_606951), -(tptpcol_12_93765(_606951))], (308 ^ _598083) ^ [_607137] : [-(tptpofobject(_607137, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_607137)], (318 ^ _598083) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _598083) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _598083) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _598083) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _598083) ^ [_607801] : [location_underspecified(_607801), -(thing(_607801))], (342 ^ _598083) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _598083) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _598083) ^ [_608146] : [tptpcol_12_92262(_608146), -(tptpcol_11_92230(_608146))], (354 ^ _598083) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _598083) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _598083) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _598083) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _598083) ^ [_608663] : [tptpcol_10_109061(_608663), -(tptpcol_9_109060(_608663))], (374 ^ _598083) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _598083) ^ [_608969, _608971] : [tptptypes_6_388(_608971, _608969), -(tptptypes_5_387(_608971, _608969))], (384 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _598083) ^ [_609218] : [tptpcol_6_116738(_609218), -(tptpcol_5_114690(_609218))], (392 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _598083) ^ [_609457] : [tptpcol_15_92268(_609457), -(tptpcol_14_92264(_609457))], (400 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _598083) ^ [_609762] : [-(tptpofobject(_609762, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_609762)], (416 ^ _598083) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _598083) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _598083) ^ [_610215, _610217] : [tptptypes_9_401(_610217, _610215), -(tptptypes_8_400(_610215, _610217))], (430 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _598083) ^ [_610464] : [tptpcol_12_18663(_610464), -(tptpcol_11_18631(_610464))], (438 ^ _598083) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _598083) ^ [_610703] : [setorcollection(_610703), -(mathematicalthing(_610703))], (446 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _598083) ^ [_610942] : [tptpcol_13_109173(_610942), -(tptpcol_12_109157(_610942))], (454 ^ _598083) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _598083) ^ [_611234] : [tptpcol_5_106498(_611234), -(tptpcol_4_106497(_611234))], (464 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _598083) ^ [_611473] : [tptpcol_5_24579(_611473), -(tptpcol_4_24578(_611473))], (472 ^ _598083) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _598083) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _598083) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _598083) ^ [_612003] : [tptpcol_1_65536(_612003), -(tptpcol_0_0(_612003))], (494 ^ _598083) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _598083) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _598083) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _598083) ^ [_612428, _612430] : [geographicalsubregions(_612430, _612428), -(inregion(_612428, _612430))], (510 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _598083) ^ [_612677] : [tptpcol_11_118084(_612677), -(tptpcol_10_118020(_612677))], (518 ^ _598083) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _598083) ^ [_612916] : [mathematicalorcomputationalthing(_612916), -(intangible(_612916))], (526 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _598083) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _598083) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _598083) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _598083) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _598083) ^ [_613434, _613436] : [tptptypes_7_819(_613436, _613434), -(tptptypes_6_818(_613436, _613434))], (544 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _598083) ^ [_613736] : [tptpcol_12_26919(_613736), -(tptpcol_11_26887(_613736))], (554 ^ _598083) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _598083) ^ [_613989, _613991] : [tptptypes_8_692(_613991, _613989), -(tptptypes_7_691(_613989, _613991))], (562 ^ _598083) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _598083) ^ [_614238] : [tptpcol_2_2(_614238), -(tptpcol_1_1(_614238))], (570 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _598083) ^ [_614530] : [tptpcol_9_92165(_614530), -(tptpcol_8_92164(_614530))], (580 ^ _598083) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _598083) ^ [_614769] : [fixedordercollection(_614769), -(collection(_614769))], (588 ^ _598083) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _598083) ^ [_615008] : [tptpcol_1_1(_615008), tptpcol_1_65536(_615008)], (596 ^ _598083) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _598083) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _598083) ^ [_615299] : [microtheory(_615299), -(aspatialinformationstore(_615299))], (606 ^ _598083) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _598083) ^ [_615604] : [-(tptp_8_875(_615604, f_relationallexistsfn(_615604, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_615604, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _598083) ^ [] : [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 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _598083) ^ [_616055] : [tptpcol_10_118020(_616055), -(tptpcol_9_118019(_616055))], (636 ^ _598083) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _598083) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _598083) ^ [_616413] : [-(tptp_9_720(_616413, f_relationallexistsfn(_616413, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_616413)], (654 ^ _598083) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _598083) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _598083) ^ [_616862] : [individual(_616862), setorcollection(_616862)], (668 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _598083) ^ [_617100] : [tptpcol_12_22055(_617100), -(tptpcol_11_22023(_617100))], (676 ^ _598083) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _598083) ^ [_617339] : [applicationcontext(_617339), -(microtheory(_617339))], (684 ^ _598083) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _598083) ^ [_617645, _617647] : [tptptypes_8_400(_617647, _617645), -(tptptypes_7_396(_617647, _617645))], (694 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _598083) ^ [_617894] : [tptpcol_11_18631(_617894), -(tptpcol_10_18567(_617894))], (702 ^ _598083) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _598083) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _598083) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _598083) ^ [_618305] : [mathematicalthing(_618305), -(mathematicalorcomputationalthing(_618305))], (718 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _598083) ^ [_618597] : [tptpcol_15_93775(_618597), -(tptpcol_14_93774(_618597))], (728 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _598083) ^ [_618836] : [tptpcol_8_109059(_618836), -(tptpcol_7_108547(_618836))], (736 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _598083) ^ [_619075] : [tptpcol_14_40429(_619075), -(tptpcol_13_40421(_619075))], (744 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _598083) ^ [_619433] : [tptpcol_14_22072(_619433), -(tptpcol_13_22071(_619433))], (758 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _598083) ^ [_619672] : [tptpcol_14_93774(_619672), -(tptpcol_13_93766(_619672))], (766 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _598083) ^ [_619911] : [tptpcol_10_22022(_619911), -(tptpcol_9_22021(_619911))], (774 ^ _598083) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _598083) ^ [_620150] : [inanimateobject_nonnatural(_620150), -(inanimateobject(_620150))], (782 ^ _598083) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _598083) ^ [_620495] : [tptpcol_9_72709(_620495), -(tptpcol_8_72708(_620495))], (794 ^ _598083) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _598083) ^ [_620734] : [-(tptpofobject(_620734, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_620734)], (806 ^ _598083) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _598083) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _598083) ^ [_621173] : [firstordercollection(_621173), -(fixedordercollection(_621173))], (820 ^ _598083) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _598083) ^ [_621584] : [tptpcol_13_18664(_621584), -(tptpcol_12_18663(_621584))], (836 ^ _598083) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _598083) ^ [_621823] : [artifact(_621823), -(inanimateobject_nonnatural(_621823))], (844 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _598083) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _598083) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _598083) ^ [_622221] : [tptpcol_7_113665(_622221), -(tptpcol_6_112641(_622221))], (858 ^ _598083) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _598083) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _598083) ^ [_622579] : [geographicalregion(_622579), -(partiallytangible(_622579))], (872 ^ _598083) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _598083) ^ [_622832, _622834] : [disjointwith(_622834, _622832), -(no(_622834, _622832))], (880 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _598083) ^ [_623081] : [tptpcol_4_24578(_623081), -(tptpcol_3_16386(_623081))], (888 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _598083) ^ [_623320] : [tptpcol_5_69635(_623320), -(tptpcol_4_65539(_623320))], (896 ^ _598083) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _598083) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _598083) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _598083) ^ [_623679, _623681] : [genls(_623681, _623679), -(collection(_623681))], (908 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _598083) ^ [_623926] : [tptpcol_13_22071(_623926), -(tptpcol_12_22055(_623926))], (916 ^ _598083) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _598083) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _598083) ^ [_624218] : [tptpcol_3_98305(_624218), -(tptpcol_2_98304(_624218))], (926 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _598083) ^ [_624457] : [tptpcol_4_114689(_624457), -(tptpcol_3_114688(_624457))], (934 ^ _598083) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _598083) ^ [_624696] : [artsupplies(_624696), -(supplies(_624696))], (942 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _598083) ^ [_624935] : [tptpcol_8_26629(_624935), -(tptpcol_7_26628(_624935))], (950 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _598083) ^ [_625174] : [tptpcol_9_109060(_625174), -(tptpcol_8_109059(_625174))], (958 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _598083) ^ [_625413] : [isa(_625413, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_625413, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _625413))], (966 ^ _598083) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _598083) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _598083) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _598083) ^ [_625997] : [tptpcol_14_109181(_625997), -(tptpcol_13_109173(_625997))], (988 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _598083) ^ [_626236] : [tptpcol_16_30972(_626236), -(tptpcol_15_30970(_626236))], (996 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _598083) ^ [_626528] : [tptpcol_9_18439(_626528), -(tptpcol_8_18438(_626528))], (1006 ^ _598083) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _598083) ^ [_626820] : [tptpcol_12_118116(_626820), -(tptpcol_11_118084(_626820))], (1016 ^ _598083) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _598083) ^ [_627112] : [tptpcol_7_26628(_627112), -(tptpcol_6_26627(_627112))], (1026 ^ _598083) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _598083) ^ [_627365, _627367] : [most(_627367, _627365), -(setorcollection(_627367))], (1034 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _598083) ^ [_627612] : [tptpcol_15_109185(_627612), -(tptpcol_14_109181(_627612))], (1042 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _598083) ^ [_627851] : [tptpcol_16_92269(_627851), -(tptpcol_15_92268(_627851))], (1050 ^ _598083) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _598083) ^ [_628157, _628159] : [tptptypes_8_823(_628159, _628157), -(tptptypes_7_819(_628159, _628157))], (1060 ^ _598083) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _598083) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _598083) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _598083) ^ [_628737] : [tptpcol_10_26886(_628737), -(tptpcol_9_26885(_628737))], (1082 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _598083) ^ [_629029] : [tptpcol_15_72793(_629029), -(tptpcol_14_72792(_629029))], (1092 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _598083) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _598083) ^ [_629387] : [navypersonnel(_629387), -(militaryperson(_629387))], (1106 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _598083) ^ [_629626] : [tptpcol_4_16387(_629626), -(tptpcol_3_16386(_629626))], (1114 ^ _598083) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _598083) ^ [_629865] : [enduringthing_localized(_629865), -(spatialthing_nonsituational(_629865))], (1122 ^ _598083) ^ [_630051] : [collection(_630051), individual(_630051)], (1128 ^ _598083) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _598083) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _598083) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _598083) ^ [_630580] : [physicalorderingpredicate(_630580), -(orderingpredicate(_630580))], (1150 ^ _598083) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _598083) ^ [_630833, _630835] : [disjointwith(_630835, _630833), -(collection(_630833))], (1158 ^ _598083) ^ [_631069, _631071, _631073, _631075] : [-(isa(f_relationallexistsfn(_631075, _631071, _631073, _631069), _631069)), isa(_631075, _631073), relationallexists(_631071, _631073, _631069)], (1168 ^ _598083) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _598083) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _598083) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _598083) ^ [_631678, _631680] : [tptptypes_7_389(_631680, _631678), -(tptptypes_6_388(_631678, _631680))], (1186 ^ _598083) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _598083) ^ [_631993] : [-(hpkb_subnationalagent(_631993)), mtvisible(c_hpkbvocabmt), state_geopolitical(_631993)], (1202 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _598083) ^ [_632311] : [tptpcol_8_22020(_632311), -(tptpcol_7_21508(_632311))], (1210 ^ _598083) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _598083) ^ [_632550] : [-(tptp_9_51(f_relationexistsallfn(_632550, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _632550)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_632550, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _598083) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _598083) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _598083) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _598083) ^ [_633054] : [tptpcol_3_65538(_633054), -(tptpcol_2_65537(_633054))], (1238 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _598083) ^ [_633293] : [tptpcol_14_26921(_633293), -(tptpcol_13_26920(_633293))], (1246 ^ _598083) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _598083) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _598083) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _598083) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _598083) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _598083) ^ [_633744] : [intangibleindividual(_633744), -(partiallyintangibleindividual(_633744))], (1262 ^ _598083) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _598083) ^ [_634102] : [tptpcol_16_130924(_634102), -(tptpcol_15_130923(_634102))], (1276 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _598083) ^ [_634341] : [tptpcol_7_92163(_634341), -(tptpcol_6_92162(_634341))], (1284 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _598083) ^ [_634633] : [tptpcol_16_130933(_634633), -(tptpcol_15_130931(_634633))], (1294 ^ _598083) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _598083) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _598083) ^ [_634939, _634941] : [no(_634941, _634939), -(few(_634941, _634939))], (1304 ^ _598083) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _598083) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _598083) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _598083) ^ [_635347] : [tptpcol_6_20484(_635347), -(tptpcol_5_20483(_635347))], (1318 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _598083) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _598083) ^ [_635811] : [tptpcol_7_108547(_635811), -(tptpcol_6_108546(_635811))], (1336 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _598083) ^ [_636050] : [tptpcol_11_109125(_636050), -(tptpcol_10_109061(_636050))], (1344 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _598083) ^ [_636342] : [tptpcol_8_93698(_636342), -(tptpcol_7_93186(_636342))], (1354 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _598083) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _598083) ^ [_636634] : [tptpcol_2_65537(_636634), -(tptpcol_1_65536(_636634))], (1364 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _598083) ^ [_636926] : [tptpcol_6_18436(_636926), -(tptpcol_5_16388(_636926))], (1374 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _598083) ^ [_637165] : [tptpcol_8_18438(_637165), -(tptpcol_7_18437(_637165))], (1382 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _598083) ^ [_637523] : [tptpcol_8_117763(_637523), -(tptpcol_7_117762(_637523))], (1396 ^ _598083) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _598083) ^ [_637815] : [tptpcol_12_109157(_637815), -(tptpcol_11_109125(_637815))], (1406 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _598083) ^ [_638054] : [tptpcol_7_117762(_638054), -(tptpcol_6_116738(_638054))], (1414 ^ _598083) ^ [_638268, _638270, _638272] : [isa(_638272, _638270), isa(_638272, _638268), disjointwith(_638270, _638268)], (1424 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _598083) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _598083) ^ [_638668] : [aspatialinformationstore(_638668), -(aspatialthing(_638668))], (1434 ^ _598083) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _598083) ^ [_639066] : [tptpcol_9_93699(_639066), -(tptpcol_8_93698(_639066))], (1448 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _598083) ^ [_639305] : [tptpcol_11_93764(_639305), -(tptpcol_10_93700(_639305))], (1456 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _598083) ^ [_639544] : [tptpcol_6_26627(_639544), -(tptpcol_5_24579(_639544))], (1464 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _598083) ^ [_639783] : [tptpcol_4_90113(_639783), -(tptpcol_3_81921(_639783))], (1472 ^ _598083) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _598083) ^ [_640075] : [tptpcol_10_93700(_640075), -(tptpcol_9_93699(_640075))], (1482 ^ _598083) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _598083) ^ [_640314] : [aspatialinformationstore(_640314), -(intangibleindividual(_640314))], (1490 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _598083) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _598083) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _598083) ^ [_640725] : [tptpcol_3_16386(_640725), -(tptpcol_2_2(_640725))], (1506 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _598083) ^ [_640964] : [tptpcol_9_118019(_640964), -(tptpcol_8_117763(_640964))], (1514 ^ _598083) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _598083) ^ [_641203] : [individual(_641203), -(trajector_underspecified(_641203))], (1522 ^ _598083) ^ [_641389] : [shavingrazor_manual(_641389), -(tptp_8_271(f_relationexistsallfn(_641389, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _641389))], (1528 ^ _598083) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _598083) ^ [_641693] : [tptpcol_6_112641(_641693), -(tptpcol_5_110593(_641693))], (1538 ^ _598083) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _598083) ^ [_641932] : [tptpcol_12_72775(_641932), -(tptpcol_11_72774(_641932))], (1546 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _598083) ^ [_642171] : [tptpcol_7_72707(_642171), -(tptpcol_6_71683(_642171))], (1554 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _598083) ^ [_642410] : [tptpcol_16_50958(_642410), -(tptpcol_15_50957(_642410))], (1562 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _598083) ^ [_642649] : [tptpcol_8_114177(_642649), -(tptpcol_7_113665(_642649))], (1570 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _598083) ^ [_642888] : [tptpcol_16_72795(_642888), -(tptpcol_15_72793(_642888))], (1578 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _598083) ^ [_643127] : [tptpcol_6_71683(_643127), -(tptpcol_5_69635(_643127))], (1586 ^ _598083) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _598083) ^ [_643433, _643435] : [tptptypes_7_396(_643435, _643433), -(tptptypes_6_388(_643435, _643433))], (1596 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _598083) ^ [_643682] : [tptpcol_9_26885(_643682), -(tptpcol_8_26629(_643682))], (1604 ^ _598083) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _598083) ^ [_643935, _643937] : [genls(_643937, _643935), -(subsetof(_643937, _643935))], (1612 ^ _598083) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _598083) ^ [_644251, _644253] : [tptptypes_6_818(_644253, _644251), -(tptptypes_5_802(_644253, _644251))], (1622 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _598083) ^ [_644500] : [tptpcol_6_92162(_644500), -(tptpcol_5_90114(_644500))], (1630 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _598083) ^ [_644792] : [tptpcol_8_92164(_644792), -(tptpcol_7_92163(_644792))], (1640 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _598083) ^ [_645031] : [tptpcol_13_118117(_645031), -(tptpcol_12_118116(_645031))], (1648 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _598083) ^ [_645270] : [tptpcol_11_40388(_645270), -(tptpcol_10_40324(_645270))], (1656 ^ _598083) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _598083) ^ [_645523, _645525] : [tptptypes_9_824(_645525, _645523), -(tptptypes_8_823(_645525, _645523))], (1664 ^ _598083) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _598083) ^ [_645825] : [tptpcol_11_26887(_645825), -(tptpcol_10_26886(_645825))], (1674 ^ _598083) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _598083) ^ [_646064] : [tptpcol_16_26926(_646064), -(tptpcol_15_26925(_646064))], (1682 ^ _598083) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _598083) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _598083) ^ [_646370, _646372] : [few(_646372, _646370), -(setorcollection(_646370))], (1692 ^ _598083) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _598083) ^ [_646617] : [tptpcol_4_65539(_646617), -(tptpcol_3_65538(_646617))], (1700 ^ _598083) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _598083) ^ [_646856] : [tptpcol_8_39940(_646856), -(tptpcol_7_39939(_646856))], (1708 ^ _598083) ^ [_647042] : [-(tptpofobject(_647042, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_647042)], (1718 ^ _598083) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _598083) ^ [_647481] : [tptpcol_15_22076(_647481), -(tptpcol_14_22072(_647481))], (1732 ^ _598083) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _598083) ^ [_647720] : [tptpcol_0_0(_647720), -(individual(_647720))], (1740 ^ _598083) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _598083) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _598083) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _598083) ^ [_648118] : [tptpcol_11_72774(_648118), -(tptpcol_10_72710(_648118))], (1754 ^ _598083) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _598083) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _598083) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _598083) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _598083) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _598083) ^ [_648754] : [tptpcol_7_21508(_648754), -(tptpcol_6_20484(_648754))], (1780 ^ _598083) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _598083) ^ [_648993] : [tptpcol_6_108546(_648993), -(tptpcol_5_106498(_648993))], (1788 ^ _598083) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _598083) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _598083) ^ [_649351] : [geolevel_4(_649351), -(geographicalregion(_649351))], (1802 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _598083) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _598083) ^ [_649828] : [tptpcol_13_26920(_649828), -(tptpcol_12_26919(_649828))], (1822 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _598083) ^ [_650067] : [tptpcol_14_92264(_650067), -(tptpcol_13_92263(_650067))], (1830 ^ _598083) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _598083) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _598083) ^ [_650359] : [tptpcol_9_40196(_650359), -(tptpcol_8_39940(_650359))], (1840 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _598083) ^ [_650717] : [tptpcol_13_92263(_650717), -(tptpcol_12_92262(_650717))], (1854 ^ _598083) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _598083) ^ [_651009] : [tptpcol_5_90114(_651009), -(tptpcol_4_90113(_651009))], (1864 ^ _598083) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _598083) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _598083) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _598083) ^ [_651420] : [tptpcol_15_26925(_651420), -(tptpcol_14_26921(_651420))], (1880 ^ _598083) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _598083) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _598083) ^ [_651778] : [tptpcol_7_18437(_651778), -(tptpcol_6_18436(_651778))], (1894 ^ _598083) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _598083) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _598083) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _598083) ^ [_652189] : [tptpcol_3_98305(_652189), tptpcol_3_114688(_652189)], (1910 ^ _598083) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _598083) ^ [_652427] : [tptpcol_5_110593(_652427), -(tptpcol_4_106497(_652427))], (1918 ^ _598083) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _598083) ^ [_652666] : [tptpcol_13_72791(_652666), -(tptpcol_12_72775(_652666))], (1926 ^ _598083) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _598083) ^ [_652905] : [computerdataartifact(_652905), -(artifact(_652905))], (1934 ^ _598083) ^ [_653091] : [-(tptpofobject(_653091, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_653091)], (1944 ^ _598083) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _598083) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _598083) ^ [_653530] : [tptpcol_10_92166(_653530), -(tptpcol_9_92165(_653530))], (1958 ^ _598083) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _598083) ^ [_653769] : [tptpcol_14_118118(_653769), -(tptpcol_13_118117(_653769))], (1966 ^ _598083) ^ [_653955] : [isa(_653955, c_tptpcol_14_118118), -(tptpcol_14_118118(_653955))], (1972 ^ _598083) ^ [_654143] : [tptpcol_14_118118(_654143), -(isa(_654143, c_tptpcol_14_118118))], (1978 ^ _598083) ^ [_654316] : [-(natfunction(f_tptpquantityfn_6(_654316), c_tptpquantityfn_6))], (1980 ^ _598083) ^ [_654396] : [-(natargument(f_tptpquantityfn_6(_654396), n_1, _654396))], (1982 ^ _598083) ^ [_654477] : [-(tptpquantity(f_tptpquantityfn_6(_654477)))], (1984 ^ _598083) ^ [_654571] : [isa(_654571, c_tptpcol_16_26939), -(tptpcol_16_26939(_654571))], (1990 ^ _598083) ^ [_654759] : [tptpcol_16_26939(_654759), -(isa(_654759, c_tptpcol_16_26939))], (1996 ^ _598083) ^ [_654947] : [isa(_654947, c_tptpcol_16_62187), -(tptpcol_16_62187(_654947))], (2002 ^ _598083) ^ [_655135] : [tptpcol_16_62187(_655135), -(isa(_655135, c_tptpcol_16_62187))], (2008 ^ _598083) ^ [_655323] : [isa(_655323, c_tptpcol_13_92263), -(tptpcol_13_92263(_655323))], (2014 ^ _598083) ^ [_655511] : [tptpcol_13_92263(_655511), -(isa(_655511, c_tptpcol_13_92263))], (2020 ^ _598083) ^ [_655699] : [isa(_655699, c_geolevel_4), -(geolevel_4(_655699))], (2026 ^ _598083) ^ [_655887] : [geolevel_4(_655887), -(isa(_655887, c_geolevel_4))], (2032 ^ _598083) ^ [_656075] : [isa(_656075, c_tptpcol_15_4027), -(tptpcol_15_4027(_656075))], (2038 ^ _598083) ^ [_656263] : [tptpcol_15_4027(_656263), -(isa(_656263, c_tptpcol_15_4027))], (2044 ^ _598083) ^ [_656451] : [isa(_656451, c_pushingwithfingers), -(pushingwithfingers(_656451))], (2050 ^ _598083) ^ [_656639] : [pushingwithfingers(_656639), -(isa(_656639, c_pushingwithfingers))], (2056 ^ _598083) ^ [_656841, _656843] : [affiliatedwith(_656843, _656841), -(agent_generic(_656841))], (2062 ^ _598083) ^ [_657049, _657051] : [affiliatedwith(_657051, _657049), -(agent_generic(_657051))], (2068 ^ _598083) ^ [_657257, _657259] : [affiliatedwith(_657259, _657257), -(affiliatedwith(_657257, _657259))], (2074 ^ _598083) ^ [_657437] : [affiliatedwith(_657437, _657437)], (2076 ^ _598083) ^ [_657530] : [isa(_657530, c_footballteam), -(footballteam(_657530))], (2082 ^ _598083) ^ [_657718] : [footballteam(_657718), -(isa(_657718, c_footballteam))], (2088 ^ _598083) ^ [_657906] : [isa(_657906, c_tptpcol_16_4451), -(tptpcol_16_4451(_657906))], (2094 ^ _598083) ^ [_658094] : [tptpcol_16_4451(_658094), -(isa(_658094, c_tptpcol_16_4451))], (2100 ^ _598083) ^ [_658282] : [isa(_658282, c_pushingwithopenhand), -(pushingwithopenhand(_658282))], (2106 ^ _598083) ^ [_658470] : [pushingwithopenhand(_658470), -(isa(_658470, c_pushingwithopenhand))], (2112 ^ _598083) ^ [_658658] : [isa(_658658, c_tptpcol_15_22076), -(tptpcol_15_22076(_658658))], (2118 ^ _598083) ^ [_658846] : [tptpcol_15_22076(_658846), -(isa(_658846, c_tptpcol_15_22076))], (2124 ^ _598083) ^ [_659019] : [-(natfunction(f_tptpquantityfn_2(_659019), c_tptpquantityfn_2))], (2126 ^ _598083) ^ [_659099] : [-(natargument(f_tptpquantityfn_2(_659099), n_1, _659099))], (2128 ^ _598083) ^ [_659180] : [-(tptpquantity(f_tptpquantityfn_2(_659180)))], (2130 ^ _598083) ^ [_659274] : [isa(_659274, c_tptpcol_7_39939), -(tptpcol_7_39939(_659274))], (2136 ^ _598083) ^ [_659462] : [tptpcol_7_39939(_659462), -(isa(_659462, c_tptpcol_7_39939))], (2142 ^ _598083) ^ [_659650] : [isa(_659650, c_tptpcol_8_39940), -(tptpcol_8_39940(_659650))], (2148 ^ _598083) ^ [_659838] : [tptpcol_8_39940(_659838), -(isa(_659838, c_tptpcol_8_39940))], (2154 ^ _598083) ^ [_660026] : [isa(_660026, c_tptpcol_15_26925), -(tptpcol_15_26925(_660026))], (2160 ^ _598083) ^ [_660214] : [tptpcol_15_26925(_660214), -(isa(_660214, c_tptpcol_15_26925))], (2166 ^ _598083) ^ [_660402] : [isa(_660402, c_tptpcol_16_26926), -(tptpcol_16_26926(_660402))], (2172 ^ _598083) ^ [_660590] : [tptpcol_16_26926(_660590), -(isa(_660590, c_tptpcol_16_26926))], (2178 ^ _598083) ^ [_660778] : [isa(_660778, c_tptpcol_13_118117), -(tptpcol_13_118117(_660778))], (2184 ^ _598083) ^ [_660966] : [tptpcol_13_118117(_660966), -(isa(_660966, c_tptpcol_13_118117))], (2190 ^ _598083) ^ [_661154] : [isa(_661154, c_tptpcol_5_90114), -(tptpcol_5_90114(_661154))], (2196 ^ _598083) ^ [_661342] : [tptpcol_5_90114(_661342), -(isa(_661342, c_tptpcol_5_90114))], (2202 ^ _598083) ^ [_661544, _661546] : [tptptypes_5_802(_661546, _661544), -(firstordercollection(_661544))], (2208 ^ _598083) ^ [_661752, _661754] : [tptptypes_5_802(_661754, _661752), -(firstordercollection(_661754))], (2214 ^ _598083) ^ [_661946] : [isa(_661946, c_tptpcol_16_72795), -(tptpcol_16_72795(_661946))], (2220 ^ _598083) ^ [_662134] : [tptpcol_16_72795(_662134), -(isa(_662134, c_tptpcol_16_72795))], (2226 ^ _598083) ^ [_662322] : [isa(_662322, c_tptpcol_8_114177), -(tptpcol_8_114177(_662322))], (2232 ^ _598083) ^ [_662510] : [tptpcol_8_114177(_662510), -(isa(_662510, c_tptpcol_8_114177))], (2238 ^ _598083) ^ [_662698] : [isa(_662698, c_tptpcol_15_50957), -(tptpcol_15_50957(_662698))], (2244 ^ _598083) ^ [_662886] : [tptpcol_15_50957(_662886), -(isa(_662886, c_tptpcol_15_50957))], (2250 ^ _598083) ^ [_663074] : [isa(_663074, c_tptpcol_16_50958), -(tptpcol_16_50958(_663074))], (2256 ^ _598083) ^ [_663262] : [tptpcol_16_50958(_663262), -(isa(_663262, c_tptpcol_16_50958))], (2262 ^ _598083) ^ [_663450] : [isa(_663450, c_tptpcol_6_71683), -(tptpcol_6_71683(_663450))], (2268 ^ _598083) ^ [_663638] : [tptpcol_6_71683(_663638), -(isa(_663638, c_tptpcol_6_71683))], (2274 ^ _598083) ^ [_663826] : [isa(_663826, c_tptpcol_11_72774), -(tptpcol_11_72774(_663826))], (2280 ^ _598083) ^ [_664014] : [tptpcol_11_72774(_664014), -(isa(_664014, c_tptpcol_11_72774))], (2286 ^ _598083) ^ [_664202] : [isa(_664202, c_tptpcol_12_72775), -(tptpcol_12_72775(_664202))], (2292 ^ _598083) ^ [_664390] : [tptpcol_12_72775(_664390), -(isa(_664390, c_tptpcol_12_72775))], (2298 ^ _598083) ^ [_664578] : [isa(_664578, c_tptpcol_5_110593), -(tptpcol_5_110593(_664578))], (2304 ^ _598083) ^ [_664766] : [tptpcol_5_110593(_664766), -(isa(_664766, c_tptpcol_5_110593))], (2310 ^ _598083) ^ [_664954] : [isa(_664954, c_tptpcol_16_25972), -(tptpcol_16_25972(_664954))], (2316 ^ _598083) ^ [_665142] : [tptpcol_16_25972(_665142), -(isa(_665142, c_tptpcol_16_25972))], (2322 ^ _598083) ^ [_665344, _665346] : [tptp_8_271(_665346, _665344), -(razor(_665344))], (2328 ^ _598083) ^ [_665552, _665554] : [tptp_8_271(_665554, _665552), -(tptpcol_5_24579(_665554))], (2334 ^ _598083) ^ [_665746] : [isa(_665746, c_tptpcol_4_90113), -(tptpcol_4_90113(_665746))], (2340 ^ _598083) ^ [_665934] : [tptpcol_4_90113(_665934), -(isa(_665934, c_tptpcol_4_90113))], (2346 ^ _598083) ^ [_666122] : [isa(_666122, c_tptpcol_10_93700), -(tptpcol_10_93700(_666122))], (2352 ^ _598083) ^ [_666310] : [tptpcol_10_93700(_666310), -(isa(_666310, c_tptpcol_10_93700))], (2358 ^ _598083) ^ [_666498] : [isa(_666498, c_tptpcol_9_93699), -(tptpcol_9_93699(_666498))], (2364 ^ _598083) ^ [_666686] : [tptpcol_9_93699(_666686), -(isa(_666686, c_tptpcol_9_93699))], (2370 ^ _598083) ^ [_666874] : [isa(_666874, c_aspatialthing), -(aspatialthing(_666874))], (2376 ^ _598083) ^ [_667062] : [aspatialthing(_667062), -(isa(_667062, c_aspatialthing))], (2382 ^ _598083) ^ [_667250] : [isa(_667250, c_tptpcol_7_117762), -(tptpcol_7_117762(_667250))], (2388 ^ _598083) ^ [_667438] : [tptpcol_7_117762(_667438), -(isa(_667438, c_tptpcol_7_117762))], (2394 ^ _598083) ^ [_667626] : [isa(_667626, c_tptpcol_8_117763), -(tptpcol_8_117763(_667626))], (2400 ^ _598083) ^ [_667814] : [tptpcol_8_117763(_667814), -(isa(_667814, c_tptpcol_8_117763))], (2406 ^ _598083) ^ [_668002] : [isa(_668002, c_tptpcol_7_18437), -(tptpcol_7_18437(_668002))], (2412 ^ _598083) ^ [_668190] : [tptpcol_7_18437(_668190), -(isa(_668190, c_tptpcol_7_18437))], (2418 ^ _598083) ^ [_668378] : [isa(_668378, c_tptpcol_6_18436), -(tptpcol_6_18436(_668378))], (2424 ^ _598083) ^ [_668566] : [tptpcol_6_18436(_668566), -(isa(_668566, c_tptpcol_6_18436))], (2430 ^ _598083) ^ [_668754] : [isa(_668754, c_tptpcol_8_93698), -(tptpcol_8_93698(_668754))], (2436 ^ _598083) ^ [_668942] : [tptpcol_8_93698(_668942), -(isa(_668942, c_tptpcol_8_93698))], (2442 ^ _598083) ^ [_669130] : [isa(_669130, c_tptpcol_11_109125), -(tptpcol_11_109125(_669130))], (2448 ^ _598083) ^ [_669318] : [tptpcol_11_109125(_669318), -(isa(_669318, c_tptpcol_11_109125))], (2454 ^ _598083) ^ [_669506] : [isa(_669506, c_tptpcol_6_108546), -(tptpcol_6_108546(_669506))], (2460 ^ _598083) ^ [_669694] : [tptpcol_6_108546(_669694), -(isa(_669694, c_tptpcol_6_108546))], (2466 ^ _598083) ^ [_669882] : [isa(_669882, c_tptpcol_6_20484), -(tptpcol_6_20484(_669882))], (2472 ^ _598083) ^ [_670070] : [tptpcol_6_20484(_670070), -(isa(_670070, c_tptpcol_6_20484))], (2478 ^ _598083) ^ [_670272, _670274] : [few(_670274, _670272), -(setorcollection(_670272))], (2484 ^ _598083) ^ [_670480, _670482] : [few(_670482, _670480), -(setorcollection(_670480))], (2490 ^ _598083) ^ [_670688, _670690] : [few(_670690, _670688), -(setorcollection(_670690))], (2496 ^ _598083) ^ [_670896, _670898] : [few(_670898, _670896), -(setorcollection(_670898))], (2502 ^ _598083) ^ [_671118, _671120, _671122] : [-(few(_671122, _671118)), few(_671122, _671120), subsetof(_671118, _671120)], (2512 ^ _598083) ^ [_671413] : [isa(_671413, c_tptpcol_15_130931), -(tptpcol_15_130931(_671413))], (2518 ^ _598083) ^ [_671601] : [tptpcol_15_130931(_671601), -(isa(_671601, c_tptpcol_15_130931))], (2524 ^ _598083) ^ [_671789] : [isa(_671789, c_tptpcol_16_130933), -(tptpcol_16_130933(_671789))], (2530 ^ _598083) ^ [_671977] : [tptpcol_16_130933(_671977), -(isa(_671977, c_tptpcol_16_130933))], (2536 ^ _598083) ^ [_672165] : [isa(_672165, c_tptpcol_7_92163), -(tptpcol_7_92163(_672165))], (2542 ^ _598083) ^ [_672353] : [tptpcol_7_92163(_672353), -(isa(_672353, c_tptpcol_7_92163))], (2548 ^ _598083) ^ [_672541] : [isa(_672541, c_tptpcol_15_130923), -(tptpcol_15_130923(_672541))], (2554 ^ _598083) ^ [_672729] : [tptpcol_15_130923(_672729), -(isa(_672729, c_tptpcol_15_130923))], (2560 ^ _598083) ^ [_672917] : [isa(_672917, c_tptpcol_16_130924), -(tptpcol_16_130924(_672917))], (2566 ^ _598083) ^ [_673105] : [tptpcol_16_130924(_673105), -(isa(_673105, c_tptpcol_16_130924))], (2572 ^ _598083) ^ [_673293] : [isa(_673293, c_intangibleindividual), -(intangibleindividual(_673293))], (2578 ^ _598083) ^ [_673481] : [intangibleindividual(_673481), -(isa(_673481, c_intangibleindividual))], (2584 ^ _598083) ^ [_673668, _673670] : [-(natfunction(f_citynamedfn(_673670, _673668), c_citynamedfn))], (2586 ^ _598083) ^ [_673765, _673767] : [-(natargument(f_citynamedfn(_673767, _673765), n_1, _673767))], (2588 ^ _598083) ^ [_673863, _673865] : [-(natargument(f_citynamedfn(_673865, _673863), n_2, _673863))], (2590 ^ _598083) ^ [_673961, _673963] : [-(city(f_citynamedfn(_673963, _673961)))], (2592 ^ _598083) ^ [_674058] : [isa(_674058, c_tptpcol_13_26920), -(tptpcol_13_26920(_674058))], (2598 ^ _598083) ^ [_674246] : [tptpcol_13_26920(_674246), -(isa(_674246, c_tptpcol_13_26920))], (2604 ^ _598083) ^ [_674434] : [isa(_674434, c_tptpcol_14_26921), -(tptpcol_14_26921(_674434))], (2610 ^ _598083) ^ [_674622] : [tptpcol_14_26921(_674622), -(isa(_674622, c_tptpcol_14_26921))], (2616 ^ _598083) ^ [_674810] : [isa(_674810, c_tptpcol_3_65538), -(tptpcol_3_65538(_674810))], (2622 ^ _598083) ^ [_674998] : [tptpcol_3_65538(_674998), -(isa(_674998, c_tptpcol_3_65538))], (2628 ^ _598083) ^ [_675186] : [isa(_675186, c_tptpcol_16_27189), -(tptpcol_16_27189(_675186))], (2634 ^ _598083) ^ [_675374] : [tptpcol_16_27189(_675374), -(isa(_675374, c_tptpcol_16_27189))], (2640 ^ _598083) ^ [_675576, _675578] : [tptp_9_51(_675578, _675576), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_675576))], (2646 ^ _598083) ^ [_675784, _675786] : [tptp_9_51(_675786, _675784), -(tptpcol_7_26628(_675786))], (2652 ^ _598083) ^ [_675978] : [isa(_675978, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_675978))], (2658 ^ _598083) ^ [_676166] : [reflexivebinarypredicate(_676166), -(isa(_676166, c_reflexivebinarypredicate))], (2664 ^ _598083) ^ [_676354] : [isa(_676354, c_tptpcol_7_21508), -(tptpcol_7_21508(_676354))], (2670 ^ _598083) ^ [_676542] : [tptpcol_7_21508(_676542), -(isa(_676542, c_tptpcol_7_21508))], (2676 ^ _598083) ^ [_676730] : [isa(_676730, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_676730))], (2682 ^ _598083) ^ [_676918] : [hpkb_subnationalagent(_676918), -(isa(_676918, c_hpkb_subnationalagent))], (2688 ^ _598083) ^ [_677106] : [isa(_677106, c_state_geopolitical), -(state_geopolitical(_677106))], (2694 ^ _598083) ^ [_677294] : [state_geopolitical(_677294), -(isa(_677294, c_state_geopolitical))], (2700 ^ _598083) ^ [_677509, _677511, _677513, _677515] : [-(natfunction(f_relationallexistsfn(_677515, _677513, _677511, _677509), c_relationallexistsfn))], (2702 ^ _598083) ^ [_677640, _677642, _677644, _677646] : [-(natargument(f_relationallexistsfn(_677646, _677644, _677642, _677640), n_1, _677646))], (2704 ^ _598083) ^ [_677772, _677774, _677776, _677778] : [-(natargument(f_relationallexistsfn(_677778, _677776, _677774, _677772), n_2, _677776))], (2706 ^ _598083) ^ [_677904, _677906, _677908, _677910] : [-(natargument(f_relationallexistsfn(_677910, _677908, _677906, _677904), n_3, _677906))], (2708 ^ _598083) ^ [_678036, _678038, _678040, _678042] : [-(natargument(f_relationallexistsfn(_678042, _678040, _678038, _678036), n_4, _678036))], (2710 ^ _598083) ^ [_678168, _678170, _678172, _678174] : [-(thing(f_relationallexistsfn(_678174, _678172, _678170, _678168)))], (2712 ^ _598083) ^ [_678285, _678287] : [arg2isa(_678287, _678285), -(collection(_678285))], (2718 ^ _598083) ^ [_678493, _678495] : [arg2isa(_678495, _678493), -(relation(_678495))], (2724 ^ _598083) ^ [_678715, _678717, _678719] : [-(arg2isa(_678719, _678715)), arg2isa(_678719, _678717), genls(_678717, _678715)], (2734 ^ _598083) ^ [_679038, _679040, _679042] : [-(arg2isa(_679042, _679038)), arg2isa(_679042, _679040), genls(_679040, _679038)], (2744 ^ _598083) ^ [_679333] : [isa(_679333, c_geolevel_1), -(geolevel_1(_679333))], (2750 ^ _598083) ^ [_679521] : [geolevel_1(_679521), -(isa(_679521, c_geolevel_1))], (2756 ^ _598083) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _598083) ^ [_679762] : [isa(_679762, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_679762))], (2764 ^ _598083) ^ [_679950] : [spatialthing_nonsituational(_679950), -(isa(_679950, c_spatialthing_nonsituational))], (2770 ^ _598083) ^ [_680138] : [isa(_680138, c_militaryperson), -(militaryperson(_680138))], (2776 ^ _598083) ^ [_680326] : [militaryperson(_680326), -(isa(_680326, c_militaryperson))], (2782 ^ _598083) ^ [_680514] : [isa(_680514, c_tptpcol_15_72793), -(tptpcol_15_72793(_680514))], (2788 ^ _598083) ^ [_680702] : [tptpcol_15_72793(_680702), -(isa(_680702, c_tptpcol_15_72793))], (2794 ^ _598083) ^ [_680890] : [isa(_680890, c_tptpcol_9_26885), -(tptpcol_9_26885(_680890))], (2800 ^ _598083) ^ [_681078] : [tptpcol_9_26885(_681078), -(isa(_681078, c_tptpcol_9_26885))], (2806 ^ _598083) ^ [_681266] : [isa(_681266, c_tptpcol_10_26886), -(tptpcol_10_26886(_681266))], (2812 ^ _598083) ^ [_681454] : [tptpcol_10_26886(_681454), -(isa(_681454, c_tptpcol_10_26886))], (2818 ^ _598083) ^ [_681656, _681658] : [tptptypes_8_823(_681658, _681656), -(firstordercollection(_681656))], (2824 ^ _598083) ^ [_681864, _681866] : [tptptypes_8_823(_681866, _681864), -(firstordercollection(_681866))], (2830 ^ _598083) ^ [_682058] : [isa(_682058, c_tptpcol_16_92269), -(tptpcol_16_92269(_682058))], (2836 ^ _598083) ^ [_682246] : [tptpcol_16_92269(_682246), -(isa(_682246, c_tptpcol_16_92269))], (2842 ^ _598083) ^ [_682434] : [isa(_682434, c_tptpcol_15_109185), -(tptpcol_15_109185(_682434))], (2848 ^ _598083) ^ [_682622] : [tptpcol_15_109185(_682622), -(isa(_682622, c_tptpcol_15_109185))], (2854 ^ _598083) ^ [_682810] : [isa(_682810, c_tptpcol_6_26627), -(tptpcol_6_26627(_682810))], (2860 ^ _598083) ^ [_682998] : [tptpcol_6_26627(_682998), -(isa(_682998, c_tptpcol_6_26627))], (2866 ^ _598083) ^ [_683186] : [isa(_683186, c_tptpcol_12_118116), -(tptpcol_12_118116(_683186))], (2872 ^ _598083) ^ [_683374] : [tptpcol_12_118116(_683374), -(isa(_683374, c_tptpcol_12_118116))], (2878 ^ _598083) ^ [_683562] : [isa(_683562, c_tptpcol_8_18438), -(tptpcol_8_18438(_683562))], (2884 ^ _598083) ^ [_683750] : [tptpcol_8_18438(_683750), -(isa(_683750, c_tptpcol_8_18438))], (2890 ^ _598083) ^ [_683938] : [isa(_683938, c_tptpcol_15_30970), -(tptpcol_15_30970(_683938))], (2896 ^ _598083) ^ [_684126] : [tptpcol_15_30970(_684126), -(isa(_684126, c_tptpcol_15_30970))], (2902 ^ _598083) ^ [_684314] : [isa(_684314, c_tptpcol_16_30972), -(tptpcol_16_30972(_684314))], (2908 ^ _598083) ^ [_684502] : [tptpcol_16_30972(_684502), -(isa(_684502, c_tptpcol_16_30972))], (2914 ^ _598083) ^ [_684690] : [isa(_684690, c_tptpcol_14_109181), -(tptpcol_14_109181(_684690))], (2920 ^ _598083) ^ [_684878] : [tptpcol_14_109181(_684878), -(isa(_684878, c_tptpcol_14_109181))], (2926 ^ _598083) ^ [_685066] : [isa(_685066, c_physicalorderingpredicate), -(physicalorderingpredicate(_685066))], (2932 ^ _598083) ^ [_685254] : [physicalorderingpredicate(_685254), -(isa(_685254, c_physicalorderingpredicate))], (2938 ^ _598083) ^ [_685442] : [isa(_685442, c_tptpcol_16_7738), -(tptpcol_16_7738(_685442))], (2944 ^ _598083) ^ [_685630] : [tptpcol_16_7738(_685630), -(isa(_685630, c_tptpcol_16_7738))], (2950 ^ _598083) ^ [_685832, _685834] : [tptp_8_968(_685834, _685832), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_685832))], (2956 ^ _598083) ^ [_686040, _686042] : [tptp_8_968(_686042, _686040), -(tptpcol_7_7172(_686042))], (2962 ^ _598083) ^ [_686262, _686264, _686266] : [relationexistsall(_686266, _686264, _686262), -(collection(_686262))], (2968 ^ _598083) ^ [_686492, _686494, _686496] : [relationexistsall(_686496, _686494, _686492), -(collection(_686494))], (2974 ^ _598083) ^ [_686722, _686724, _686726] : [relationexistsall(_686726, _686724, _686722), -(binarypredicate(_686726))], (2980 ^ _598083) ^ [_686924] : [isa(_686924, c_tptpcol_7_26628), -(tptpcol_7_26628(_686924))], (2986 ^ _598083) ^ [_687112] : [tptpcol_7_26628(_687112), -(isa(_687112, c_tptpcol_7_26628))], (2992 ^ _598083) ^ [_687300] : [isa(_687300, c_tptpcol_8_26629), -(tptpcol_8_26629(_687300))], (2998 ^ _598083) ^ [_687488] : [tptpcol_8_26629(_687488), -(isa(_687488, c_tptpcol_8_26629))], (3004 ^ _598083) ^ [_687676] : [isa(_687676, c_tptpcol_3_114688), -(tptpcol_3_114688(_687676))], (3010 ^ _598083) ^ [_687864] : [tptpcol_3_114688(_687864), -(isa(_687864, c_tptpcol_3_114688))], (3016 ^ _598083) ^ [_688037] : [-(natfunction(f_contextofpcwfn(_688037), c_contextofpcwfn))], (3018 ^ _598083) ^ [_688117] : [-(natargument(f_contextofpcwfn(_688117), n_1, _688117))], (3020 ^ _598083) ^ [_688198] : [-(microtheory(f_contextofpcwfn(_688198)))], (3022 ^ _598083) ^ [_688306, _688308] : [arg1isa(_688308, _688306), -(collection(_688306))], (3028 ^ _598083) ^ [_688514, _688516] : [arg1isa(_688516, _688514), -(relation(_688516))], (3034 ^ _598083) ^ [_688736, _688738, _688740] : [-(arg1isa(_688740, _688736)), arg1isa(_688740, _688738), genls(_688738, _688736)], (3044 ^ _598083) ^ [_689059, _689061, _689063] : [-(arg1isa(_689063, _689059)), arg1isa(_689063, _689061), genls(_689061, _689059)], (3054 ^ _598083) ^ [_689368, _689370] : [objectfoundinlocation(_689370, _689368), -(spatialthing_nonsituational(_689368))], (3060 ^ _598083) ^ [_689576, _689578] : [objectfoundinlocation(_689578, _689576), -(spatialthing_localized(_689576))], (3066 ^ _598083) ^ [_689784, _689786] : [objectfoundinlocation(_689786, _689784), -(spatialthing_nonsituational(_689786))], (3072 ^ _598083) ^ [_689992, _689994] : [objectfoundinlocation(_689994, _689992), -(spatialthing_localized(_689994))], (3078 ^ _598083) ^ [_690214, _690216, _690218] : [-(objectfoundinlocation(_690218, _690214)), objectfoundinlocation(_690218, _690216), objectfoundinlocation(_690216, _690214)], (3088 ^ _598083) ^ [_690493] : [objectfoundinlocation(_690493, _690493)], (3090 ^ _598083) ^ [_690614, _690616, _690618] : [-(objectfoundinlocation(_690618, _690614)), objectfoundinlocation(_690618, _690616), geopoliticalsubdivision(_690614, _690616)], (3100 ^ _598083) ^ [_690937, _690939, _690941] : [-(objectfoundinlocation(_690941, _690937)), objectfoundinlocation(_690941, _690939), geographicallysubsumes(_690937, _690939)], (3110 ^ _598083) ^ [_691260, _691262, _691264] : [-(objectfoundinlocation(_691264, _691260)), objectfoundinlocation(_691264, _691262), subregions(_691260, _691262)], (3120 ^ _598083) ^ [_691555] : [isa(_691555, c_ship), -(ship(_691555))], (3126 ^ _598083) ^ [_691743] : [ship(_691743), -(isa(_691743, c_ship))], (3132 ^ _598083) ^ [_691944, _691946, _691948] : [-(natfunction(f_subcollectionofwithrelationtofn(_691948, _691946, _691944), c_subcollectionofwithrelationtofn))], (3134 ^ _598083) ^ [_692058, _692060, _692062] : [-(natargument(f_subcollectionofwithrelationtofn(_692062, _692060, _692058), n_1, _692062))], (3136 ^ _598083) ^ [_692173, _692175, _692177] : [-(natargument(f_subcollectionofwithrelationtofn(_692177, _692175, _692173), n_2, _692175))], (3138 ^ _598083) ^ [_692288, _692290, _692292] : [-(natargument(f_subcollectionofwithrelationtofn(_692292, _692290, _692288), n_3, _692288))], (3140 ^ _598083) ^ [_692403, _692405, _692407] : [-(collection(f_subcollectionofwithrelationtofn(_692407, _692405, _692403)))], (3142 ^ _598083) ^ [_692503] : [isa(_692503, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_692503))], (3148 ^ _598083) ^ [_692691] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_692691), -(isa(_692691, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _598083) ^ [_692879] : [isa(_692879, c_tptpcol_4_65539), -(tptpcol_4_65539(_692879))], (3160 ^ _598083) ^ [_693067] : [tptpcol_4_65539(_693067), -(isa(_693067, c_tptpcol_4_65539))], (3166 ^ _598083) ^ [_693255] : [isa(_693255, c_tptpcol_5_69635), -(tptpcol_5_69635(_693255))], (3172 ^ _598083) ^ [_693443] : [tptpcol_5_69635(_693443), -(isa(_693443, c_tptpcol_5_69635))], (3178 ^ _598083) ^ [_693631] : [isa(_693631, c_tptpcol_3_16386), -(tptpcol_3_16386(_693631))], (3184 ^ _598083) ^ [_693819] : [tptpcol_3_16386(_693819), -(isa(_693819, c_tptpcol_3_16386))], (3190 ^ _598083) ^ [_694021, _694023] : [no(_694023, _694021), -(setorcollection(_694021))], (3196 ^ _598083) ^ [_694229, _694231] : [no(_694231, _694229), -(setorcollection(_694231))], (3202 ^ _598083) ^ [_694437, _694439] : [no(_694439, _694437), -(no(_694437, _694439))], (3208 ^ _598083) ^ [_694661, _694663, _694665] : [-(no(_694665, _694661)), no(_694665, _694663), subsetof(_694661, _694663)], (3218 ^ _598083) ^ [_694984, _694986, _694988] : [-(no(_694984, _694986)), no(_694988, _694986), subsetof(_694984, _694988)], (3228 ^ _598083) ^ [_695307, _695309, _695311] : [-(no(_695307, _695309)), no(_695311, _695309), genls(_695307, _695311)], (3238 ^ _598083) ^ [_695630, _695632, _695634] : [-(no(_695634, _695630)), no(_695634, _695632), genls(_695630, _695632)], (3248 ^ _598083) ^ [_695953, _695955, _695957] : [-(no(_695953, _695955)), no(_695957, _695955), subsetof(_695953, _695957)], (3258 ^ _598083) ^ [_696276, _696278, _696280] : [-(no(_696280, _696276)), no(_696280, _696278), subsetof(_696276, _696278)], (3268 ^ _598083) ^ [_696571] : [isa(_696571, c_geographicalregion), -(geographicalregion(_696571))], (3274 ^ _598083) ^ [_696759] : [geographicalregion(_696759), -(isa(_696759, c_geographicalregion))], (3280 ^ _598083) ^ [_696932] : [-(natfunction(f_tptpquantityfn_21(_696932), c_tptpquantityfn_21))], (3282 ^ _598083) ^ [_697012] : [-(natargument(f_tptpquantityfn_21(_697012), n_1, _697012))], (3284 ^ _598083) ^ [_697093] : [-(tptpquantity(f_tptpquantityfn_21(_697093)))], (3286 ^ _598083) ^ [_697201, _697203] : [airporthasiatacode(_697203, _697201), -(stringoflengthfn3(_697201))], (3292 ^ _598083) ^ [_697409, _697411] : [airporthasiatacode(_697411, _697409), -(airport_physical(_697411))], (3298 ^ _598083) ^ [_697603] : [isa(_697603, c_airport_physical), -(airport_physical(_697603))], (3304 ^ _598083) ^ [_697791] : [airport_physical(_697791), -(isa(_697791, c_airport_physical))], (3310 ^ _598083) ^ [_697992, _697994, _697996] : [-(natfunction(f_instancewithrelationtofn(_697996, _697994, _697992), c_instancewithrelationtofn))], (3312 ^ _598083) ^ [_698106, _698108, _698110] : [-(natargument(f_instancewithrelationtofn(_698110, _698108, _698106), n_1, _698110))], (3314 ^ _598083) ^ [_698221, _698223, _698225] : [-(natargument(f_instancewithrelationtofn(_698225, _698223, _698221), n_2, _698223))], (3316 ^ _598083) ^ [_698336, _698338, _698340] : [-(natargument(f_instancewithrelationtofn(_698340, _698338, _698336), n_3, _698336))], (3318 ^ _598083) ^ [_698451, _698453, _698455] : [-(thing(f_instancewithrelationtofn(_698455, _698453, _698451)))], (3320 ^ _598083) ^ [_698551] : [isa(_698551, c_tptpcol_6_112641), -(tptpcol_6_112641(_698551))], (3326 ^ _598083) ^ [_698739] : [tptpcol_6_112641(_698739), -(isa(_698739, c_tptpcol_6_112641))], (3332 ^ _598083) ^ [_698927] : [isa(_698927, c_tptpcol_7_113665), -(tptpcol_7_113665(_698927))], (3338 ^ _598083) ^ [_699115] : [tptpcol_7_113665(_699115), -(isa(_699115, c_tptpcol_7_113665))], (3344 ^ _598083) ^ [_699303] : [isa(_699303, c_artifact), -(artifact(_699303))], (3350 ^ _598083) ^ [_699491] : [artifact(_699491), -(isa(_699491, c_artifact))], (3356 ^ _598083) ^ [_699679] : [isa(_699679, c_tptpcol_13_18664), -(tptpcol_13_18664(_699679))], (3362 ^ _598083) ^ [_699867] : [tptpcol_13_18664(_699867), -(isa(_699867, c_tptpcol_13_18664))], (3368 ^ _598083) ^ [_700055] : [isa(_700055, c_firstordercollection), -(firstordercollection(_700055))], (3374 ^ _598083) ^ [_700243] : [firstordercollection(_700243), -(isa(_700243, c_firstordercollection))], (3380 ^ _598083) ^ [_700416] : [-(natfunction(f_tptpquantityfn_14(_700416), c_tptpquantityfn_14))], (3382 ^ _598083) ^ [_700496] : [-(natargument(f_tptpquantityfn_14(_700496), n_1, _700496))], (3384 ^ _598083) ^ [_700577] : [-(tptpquantity(f_tptpquantityfn_14(_700577)))], (3386 ^ _598083) ^ [_700671] : [isa(_700671, c_supplies), -(supplies(_700671))], (3392 ^ _598083) ^ [_700859] : [supplies(_700859), -(isa(_700859, c_supplies))], (3398 ^ _598083) ^ [_701047] : [isa(_701047, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_701047))], (3404 ^ _598083) ^ [_701235] : [inanimateobject_nonnatural(_701235), -(isa(_701235, c_inanimateobject_nonnatural))], (3410 ^ _598083) ^ [_701423] : [isa(_701423, c_tptpcol_13_22071), -(tptpcol_13_22071(_701423))], (3416 ^ _598083) ^ [_701611] : [tptpcol_13_22071(_701611), -(isa(_701611, c_tptpcol_13_22071))], (3422 ^ _598083) ^ [_701799] : [isa(_701799, c_tptpcol_14_22072), -(tptpcol_14_22072(_701799))], (3428 ^ _598083) ^ [_701987] : [tptpcol_14_22072(_701987), -(isa(_701987, c_tptpcol_14_22072))], (3434 ^ _598083) ^ [_702175] : [isa(_702175, c_tptpcol_7_108547), -(tptpcol_7_108547(_702175))], (3440 ^ _598083) ^ [_702363] : [tptpcol_7_108547(_702363), -(isa(_702363, c_tptpcol_7_108547))], (3446 ^ _598083) ^ [_702551] : [isa(_702551, c_tptpcol_8_109059), -(tptpcol_8_109059(_702551))], (3452 ^ _598083) ^ [_702739] : [tptpcol_8_109059(_702739), -(isa(_702739, c_tptpcol_8_109059))], (3458 ^ _598083) ^ [_702927] : [isa(_702927, c_tptpcol_14_93774), -(tptpcol_14_93774(_702927))], (3464 ^ _598083) ^ [_703115] : [tptpcol_14_93774(_703115), -(isa(_703115, c_tptpcol_14_93774))], (3470 ^ _598083) ^ [_703303] : [isa(_703303, c_tptpcol_15_93775), -(tptpcol_15_93775(_703303))], (3476 ^ _598083) ^ [_703491] : [tptpcol_15_93775(_703491), -(isa(_703491, c_tptpcol_15_93775))], (3482 ^ _598083) ^ [_703679] : [isa(_703679, c_tptpcol_16_8886), -(tptpcol_16_8886(_703679))], (3488 ^ _598083) ^ [_703867] : [tptpcol_16_8886(_703867), -(isa(_703867, c_tptpcol_16_8886))], (3494 ^ _598083) ^ [_704069, _704071] : [orientation(_704071, _704069), -(orientationvector(_704069))], (3500 ^ _598083) ^ [_704277, _704279] : [orientation(_704279, _704277), -(spatialthing_localized(_704279))], (3506 ^ _598083) ^ [_704471] : [isa(_704471, c_orientationvector), -(orientationvector(_704471))], (3512 ^ _598083) ^ [_704659] : [orientationvector(_704659), -(isa(_704659, c_orientationvector))], (3518 ^ _598083) ^ [_704847] : [isa(_704847, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_704847))], (3524 ^ _598083) ^ [_705035] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_705035), -(isa(_705035, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _598083) ^ [_705237, _705239] : [tptptypes_9_824(_705239, _705237), -(firstordercollection(_705237))], (3536 ^ _598083) ^ [_705445, _705447] : [tptptypes_9_824(_705447, _705445), -(firstordercollection(_705447))], (3542 ^ _598083) ^ [_705653, _705655] : [tptptypes_7_396(_705655, _705653), -(firstordercollection(_705653))], (3548 ^ _598083) ^ [_705861, _705863] : [tptptypes_7_396(_705863, _705861), -(firstordercollection(_705863))], (3554 ^ _598083) ^ [_706055] : [isa(_706055, c_tptpcol_12_22055), -(tptpcol_12_22055(_706055))], (3560 ^ _598083) ^ [_706243] : [tptpcol_12_22055(_706243), -(isa(_706243, c_tptpcol_12_22055))], (3566 ^ _598083) ^ [_706431] : [isa(_706431, c_tptpcol_16_29490), -(tptpcol_16_29490(_706431))], (3572 ^ _598083) ^ [_706619] : [tptpcol_16_29490(_706619), -(isa(_706619, c_tptpcol_16_29490))], (3578 ^ _598083) ^ [_706821, _706823] : [tptp_9_720(_706823, _706821), -(tptpcol_5_28674(_706821))], (3584 ^ _598083) ^ [_707029, _707031] : [tptp_9_720(_707031, _707029), -(executionbyfiringsquad(_707031))], (3590 ^ _598083) ^ [_707223] : [isa(_707223, c_runningshorts), -(runningshorts(_707223))], (3596 ^ _598083) ^ [_707411] : [runningshorts(_707411), -(isa(_707411, c_runningshorts))], (3602 ^ _598083) ^ [_707599] : [isa(_707599, c_tptpcol_9_118019), -(tptpcol_9_118019(_707599))], (3608 ^ _598083) ^ [_707787] : [tptpcol_9_118019(_707787), -(isa(_707787, c_tptpcol_9_118019))], (3614 ^ _598083) ^ [_707975] : [isa(_707975, c_tptpcol_16_31868), -(tptpcol_16_31868(_707975))], (3620 ^ _598083) ^ [_708163] : [tptpcol_16_31868(_708163), -(isa(_708163, c_tptpcol_16_31868))], (3626 ^ _598083) ^ [_708351] : [isa(_708351, c_movement_translationevent), -(movement_translationevent(_708351))], (3632 ^ _598083) ^ [_708539] : [movement_translationevent(_708539), -(isa(_708539, c_movement_translationevent))], (3638 ^ _598083) ^ [_708741, _708743] : [directionoftranslation_throughout(_708743, _708741), -(unitvectorinterval(_708741))], (3644 ^ _598083) ^ [_708949, _708951] : [directionoftranslation_throughout(_708951, _708949), -(movement_translationevent(_708951))], (3650 ^ _598083) ^ [_709171, _709173, _709175] : [-(directionoftranslation_throughout(_709171, _709173)), directionoftranslation_throughout(_709175, _709173), subevents(_709175, _709171)], (3660 ^ _598083) ^ [_709466] : [isa(_709466, c_unitvectorinterval), -(unitvectorinterval(_709466))], (3666 ^ _598083) ^ [_709654] : [unitvectorinterval(_709654), -(isa(_709654, c_unitvectorinterval))], (3672 ^ _598083) ^ [_709842] : [isa(_709842, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_709842))], (3678 ^ _598083) ^ [_710030] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_710030), -(isa(_710030, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _598083) ^ [_710232, _710234] : [tptp_8_875(_710234, _710232), -(tptpcol_4_24578(_710232))], (3690 ^ _598083) ^ [_710440, _710442] : [tptp_8_875(_710442, _710440), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_710442))], (3696 ^ _598083) ^ [_710662, _710664, _710666] : [relationallexists(_710666, _710664, _710662), -(collection(_710662))], (3702 ^ _598083) ^ [_710892, _710894, _710896] : [relationallexists(_710896, _710894, _710892), -(collection(_710894))], (3708 ^ _598083) ^ [_711122, _711124, _711126] : [relationallexists(_711126, _711124, _711122), -(binarypredicate(_711126))], (3714 ^ _598083) ^ [_711324] : [isa(_711324, c_tptpcol_16_10258), -(tptpcol_16_10258(_711324))], (3720 ^ _598083) ^ [_711512] : [tptpcol_16_10258(_711512), -(isa(_711512, c_tptpcol_16_10258))], (3726 ^ _598083) ^ [_711700] : [isa(_711700, c_pushingababycarriage), -(pushingababycarriage(_711700))], (3732 ^ _598083) ^ [_711888] : [pushingababycarriage(_711888), -(isa(_711888, c_pushingababycarriage))], (3738 ^ _598083) ^ [_712076] : [isa(_712076, c_aspatialinformationstore), -(aspatialinformationstore(_712076))], (3744 ^ _598083) ^ [_712264] : [aspatialinformationstore(_712264), -(isa(_712264, c_aspatialinformationstore))], (3750 ^ _598083) ^ [_712452] : [isa(_712452, c_collection), -(collection(_712452))], (3756 ^ _598083) ^ [_712640] : [collection(_712640), -(isa(_712640, c_collection))], (3762 ^ _598083) ^ [_712828] : [isa(_712828, c_fixedordercollection), -(fixedordercollection(_712828))], (3768 ^ _598083) ^ [_713016] : [fixedordercollection(_713016), -(isa(_713016, c_fixedordercollection))], (3774 ^ _598083) ^ [_713204] : [isa(_713204, c_tptpcol_8_92164), -(tptpcol_8_92164(_713204))], (3780 ^ _598083) ^ [_713392] : [tptpcol_8_92164(_713392), -(isa(_713392, c_tptpcol_8_92164))], (3786 ^ _598083) ^ [_713580] : [isa(_713580, c_tptpcol_9_92165), -(tptpcol_9_92165(_713580))], (3792 ^ _598083) ^ [_713768] : [tptpcol_9_92165(_713768), -(isa(_713768, c_tptpcol_9_92165))], (3798 ^ _598083) ^ [_713956] : [isa(_713956, c_tptpcol_1_1), -(tptpcol_1_1(_713956))], (3804 ^ _598083) ^ [_714144] : [tptpcol_1_1(_714144), -(isa(_714144, c_tptpcol_1_1))], (3810 ^ _598083) ^ [_714332] : [isa(_714332, c_tptpcol_2_2), -(tptpcol_2_2(_714332))], (3816 ^ _598083) ^ [_714520] : [tptpcol_2_2(_714520), -(isa(_714520, c_tptpcol_2_2))], (3822 ^ _598083) ^ [_714722, _714724] : [tptptypes_7_691(_714724, _714722), -(firstordercollection(_714722))], (3828 ^ _598083) ^ [_714930, _714932] : [tptptypes_7_691(_714932, _714930), -(firstordercollection(_714932))], (3834 ^ _598083) ^ [_715124] : [isa(_715124, c_tptpcol_11_26887), -(tptpcol_11_26887(_715124))], (3840 ^ _598083) ^ [_715312] : [tptpcol_11_26887(_715312), -(isa(_715312, c_tptpcol_11_26887))], (3846 ^ _598083) ^ [_715500] : [isa(_715500, c_tptpcol_12_26919), -(tptpcol_12_26919(_715500))], (3852 ^ _598083) ^ [_715688] : [tptpcol_12_26919(_715688), -(isa(_715688, c_tptpcol_12_26919))], (3858 ^ _598083) ^ [_715890, _715892] : [tptptypes_6_818(_715892, _715890), -(firstordercollection(_715890))], (3864 ^ _598083) ^ [_716098, _716100] : [tptptypes_6_818(_716100, _716098), -(firstordercollection(_716100))], (3870 ^ _598083) ^ [_716306, _716308] : [tptptypes_7_819(_716308, _716306), -(firstordercollection(_716306))], (3876 ^ _598083) ^ [_716514, _716516] : [tptptypes_7_819(_716516, _716514), -(firstordercollection(_716516))], (3882 ^ _598083) ^ [_716708] : [isa(_716708, c_correctivelensprescription), -(correctivelensprescription(_716708))], (3888 ^ _598083) ^ [_716896] : [correctivelensprescription(_716896), -(isa(_716896, c_correctivelensprescription))], (3894 ^ _598083) ^ [_717098, _717100] : [products(_717100, _717098), -(artifact(_717098))], (3900 ^ _598083) ^ [_717306, _717308] : [products(_717308, _717306), -(creationordestructionevent(_717308))], (3906 ^ _598083) ^ [_717500] : [isa(_717500, c_issuingaprescription), -(issuingaprescription(_717500))], (3912 ^ _598083) ^ [_717688] : [issuingaprescription(_717688), -(isa(_717688, c_issuingaprescription))], (3918 ^ _598083) ^ [_717889, _717891, _717893] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_717893, _717891, _717889), c_subcollectionofwithrelationtotypefn))], (3920 ^ _598083) ^ [_718003, _718005, _718007] : [-(natargument(f_subcollectionofwithrelationtotypefn(_718007, _718005, _718003), n_1, _718007))], (3922 ^ _598083) ^ [_718118, _718120, _718122] : [-(natargument(f_subcollectionofwithrelationtotypefn(_718122, _718120, _718118), n_2, _718120))], (3924 ^ _598083) ^ [_718233, _718235, _718237] : [-(natargument(f_subcollectionofwithrelationtotypefn(_718237, _718235, _718233), n_3, _718233))], (3926 ^ _598083) ^ [_718348, _718350, _718352] : [-(collection(f_subcollectionofwithrelationtotypefn(_718352, _718350, _718348)))], (3928 ^ _598083) ^ [_718448] : [isa(_718448, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_718448))], (3934 ^ _598083) ^ [_718636] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_718636), -(isa(_718636, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _598083) ^ [_718824] : [isa(_718824, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_718824))], (3946 ^ _598083) ^ [_719012] : [mathematicalorcomputationalthing(_719012), -(isa(_719012, c_mathematicalorcomputationalthing))], (3952 ^ _598083) ^ [_719200] : [isa(_719200, c_tptpcol_10_118020), -(tptpcol_10_118020(_719200))], (3958 ^ _598083) ^ [_719388] : [tptpcol_10_118020(_719388), -(isa(_719388, c_tptpcol_10_118020))], (3964 ^ _598083) ^ [_719576] : [isa(_719576, c_tptpcol_11_118084), -(tptpcol_11_118084(_719576))], (3970 ^ _598083) ^ [_719764] : [tptpcol_11_118084(_719764), -(isa(_719764, c_tptpcol_11_118084))], (3976 ^ _598083) ^ [_719952] : [isa(_719952, c_terroristgroup), -(terroristgroup(_719952))], (3982 ^ _598083) ^ [_720140] : [terroristgroup(_720140), -(isa(_720140, c_terroristgroup))], (3988 ^ _598083) ^ [_720342, _720344] : [hasmembers(_720344, _720342), -(agent_generic(_720342))], (3994 ^ _598083) ^ [_720550, _720552] : [hasmembers(_720552, _720550), -(organization(_720552))], (4000 ^ _598083) ^ [_720744] : [isa(_720744, c_terrorist), -(terrorist(_720744))], (4006 ^ _598083) ^ [_720932] : [terrorist(_720932), -(isa(_720932, c_terrorist))], (4012 ^ _598083) ^ [_721133, _721135, _721137] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_721137, _721135, _721133), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _598083) ^ [_721247, _721249, _721251] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_721251, _721249, _721247), n_1, _721251))], (4016 ^ _598083) ^ [_721362, _721364, _721366] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_721366, _721364, _721362), n_2, _721364))], (4018 ^ _598083) ^ [_721477, _721479, _721481] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_721481, _721479, _721477), n_3, _721477))], (4020 ^ _598083) ^ [_721592, _721594, _721596] : [-(collection(f_subcollectionofwithrelationfromtypefn(_721596, _721594, _721592)))], (4022 ^ _598083) ^ [_721692] : [isa(_721692, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721692))], (4028 ^ _598083) ^ [_721880] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_721880), -(isa(_721880, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _598083) ^ [_722082, _722084] : [prettystring(_722084, _722082), -(controlcharacterfreestring(_722082))], (4040 ^ _598083) ^ [_722290, _722292] : [prettystring(_722292, _722290), -(thing(_722292))], (4046 ^ _598083) ^ [_722484] : [isa(_722484, c_tptpcol_0_0), -(tptpcol_0_0(_722484))], (4052 ^ _598083) ^ [_722672] : [tptpcol_0_0(_722672), -(isa(_722672, c_tptpcol_0_0))], (4058 ^ _598083) ^ [_722860] : [isa(_722860, c_geolevel_3), -(geolevel_3(_722860))], (4064 ^ _598083) ^ [_723048] : [geolevel_3(_723048), -(isa(_723048, c_geolevel_3))], (4070 ^ _598083) ^ [_723236] : [isa(_723236, c_tptpcol_4_24578), -(tptpcol_4_24578(_723236))], (4076 ^ _598083) ^ [_723424] : [tptpcol_4_24578(_723424), -(isa(_723424, c_tptpcol_4_24578))], (4082 ^ _598083) ^ [_723612] : [isa(_723612, c_tptpcol_5_24579), -(tptpcol_5_24579(_723612))], (4088 ^ _598083) ^ [_723800] : [tptpcol_5_24579(_723800), -(isa(_723800, c_tptpcol_5_24579))], (4094 ^ _598083) ^ [_723988] : [isa(_723988, c_tptpcol_5_106498), -(tptpcol_5_106498(_723988))], (4100 ^ _598083) ^ [_724176] : [tptpcol_5_106498(_724176), -(isa(_724176, c_tptpcol_5_106498))], (4106 ^ _598083) ^ [_724364] : [isa(_724364, c_tptpcol_12_109157), -(tptpcol_12_109157(_724364))], (4112 ^ _598083) ^ [_724552] : [tptpcol_12_109157(_724552), -(isa(_724552, c_tptpcol_12_109157))], (4118 ^ _598083) ^ [_724740] : [isa(_724740, c_tptpcol_13_109173), -(tptpcol_13_109173(_724740))], (4124 ^ _598083) ^ [_724928] : [tptpcol_13_109173(_724928), -(isa(_724928, c_tptpcol_13_109173))], (4130 ^ _598083) ^ [_725116] : [isa(_725116, c_mathematicalthing), -(mathematicalthing(_725116))], (4136 ^ _598083) ^ [_725304] : [mathematicalthing(_725304), -(isa(_725304, c_mathematicalthing))], (4142 ^ _598083) ^ [_725492] : [isa(_725492, c_setorcollection), -(setorcollection(_725492))], (4148 ^ _598083) ^ [_725680] : [setorcollection(_725680), -(isa(_725680, c_setorcollection))], (4154 ^ _598083) ^ [_725868] : [isa(_725868, c_tptpcol_11_18631), -(tptpcol_11_18631(_725868))], (4160 ^ _598083) ^ [_726056] : [tptpcol_11_18631(_726056), -(isa(_726056, c_tptpcol_11_18631))], (4166 ^ _598083) ^ [_726244] : [isa(_726244, c_tptpcol_12_18663), -(tptpcol_12_18663(_726244))], (4172 ^ _598083) ^ [_726432] : [tptpcol_12_18663(_726432), -(isa(_726432, c_tptpcol_12_18663))], (4178 ^ _598083) ^ [_726634, _726636] : [tptptypes_8_400(_726636, _726634), -(firstordercollection(_726634))], (4184 ^ _598083) ^ [_726842, _726844] : [tptptypes_8_400(_726844, _726842), -(firstordercollection(_726844))], (4190 ^ _598083) ^ [_727050, _727052] : [tptptypes_9_401(_727052, _727050), -(firstordercollection(_727050))], (4196 ^ _598083) ^ [_727258, _727260] : [tptptypes_9_401(_727260, _727258), -(firstordercollection(_727260))], (4202 ^ _598083) ^ [_727437] : [-(natfunction(f_tptpquantityfn_13(_727437), c_tptpquantityfn_13))], (4204 ^ _598083) ^ [_727517] : [-(natargument(f_tptpquantityfn_13(_727517), n_1, _727517))], (4206 ^ _598083) ^ [_727598] : [-(tptpquantity(f_tptpquantityfn_13(_727598)))], (4208 ^ _598083) ^ [_727706, _727708] : [borderson(_727708, _727706), -(geographicalregion(_727706))], (4214 ^ _598083) ^ [_727914, _727916] : [borderson(_727916, _727914), -(geographicalregion(_727916))], (4220 ^ _598083) ^ [_728122, _728124] : [borderson(_728124, _728122), -(borderson(_728122, _728124))], (4226 ^ _598083) ^ [_728302] : [borderson(_728302, _728302)], (4228 ^ _598083) ^ [_728395] : [isa(_728395, c_tptpcol_14_92264), -(tptpcol_14_92264(_728395))], (4234 ^ _598083) ^ [_728583] : [tptpcol_14_92264(_728583), -(isa(_728583, c_tptpcol_14_92264))], (4240 ^ _598083) ^ [_728771] : [isa(_728771, c_tptpcol_15_92268), -(tptpcol_15_92268(_728771))], (4246 ^ _598083) ^ [_728959] : [tptpcol_15_92268(_728959), -(isa(_728959, c_tptpcol_15_92268))], (4252 ^ _598083) ^ [_729147] : [isa(_729147, c_tptpcol_6_116738), -(tptpcol_6_116738(_729147))], (4258 ^ _598083) ^ [_729335] : [tptpcol_6_116738(_729335), -(isa(_729335, c_tptpcol_6_116738))], (4264 ^ _598083) ^ [_729537, _729539] : [tptptypes_5_387(_729539, _729537), -(firstordercollection(_729537))], (4270 ^ _598083) ^ [_729745, _729747] : [tptptypes_5_387(_729747, _729745), -(firstordercollection(_729747))], (4276 ^ _598083) ^ [_729953, _729955] : [tptptypes_6_388(_729955, _729953), -(firstordercollection(_729953))], (4282 ^ _598083) ^ [_730161, _730163] : [tptptypes_6_388(_730163, _730161), -(firstordercollection(_730163))], (4288 ^ _598083) ^ [_730355] : [isa(_730355, c_shavingrazor_manual), -(shavingrazor_manual(_730355))], (4294 ^ _598083) ^ [_730543] : [shavingrazor_manual(_730543), -(isa(_730543, c_shavingrazor_manual))], (4300 ^ _598083) ^ [_730731] : [isa(_730731, c_tptpcol_9_109060), -(tptpcol_9_109060(_730731))], (4306 ^ _598083) ^ [_730919] : [tptpcol_9_109060(_730919), -(isa(_730919, c_tptpcol_9_109060))], (4312 ^ _598083) ^ [_731107] : [isa(_731107, c_tptpcol_10_109061), -(tptpcol_10_109061(_731107))], (4318 ^ _598083) ^ [_731295] : [tptpcol_10_109061(_731295), -(isa(_731295, c_tptpcol_10_109061))], (4324 ^ _598083) ^ [_731483] : [isa(_731483, c_executionbyfiringsquad), -(executionbyfiringsquad(_731483))], (4330 ^ _598083) ^ [_731671] : [executionbyfiringsquad(_731671), -(isa(_731671, c_executionbyfiringsquad))], (4336 ^ _598083) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _598083) ^ [_731912] : [isa(_731912, c_navypersonnel), -(navypersonnel(_731912))], (4344 ^ _598083) ^ [_732100] : [navypersonnel(_732100), -(isa(_732100, c_navypersonnel))], (4350 ^ _598083) ^ [_732288] : [isa(_732288, c_tptpcol_12_92262), -(tptpcol_12_92262(_732288))], (4356 ^ _598083) ^ [_732476] : [tptpcol_12_92262(_732476), -(isa(_732476, c_tptpcol_12_92262))], (4362 ^ _598083) ^ [_732664] : [isa(_732664, c_thing), -(thing(_732664))], (4368 ^ _598083) ^ [_732852] : [thing(_732852), -(isa(_732852, c_thing))], (4374 ^ _598083) ^ [_733040] : [isa(_733040, c_computerdataartifact), -(computerdataartifact(_733040))], (4380 ^ _598083) ^ [_733228] : [computerdataartifact(_733228), -(isa(_733228, c_computerdataartifact))], (4386 ^ _598083) ^ [_733416] : [isa(_733416, c_applicationcontext), -(applicationcontext(_733416))], (4392 ^ _598083) ^ [_733604] : [applicationcontext(_733604), -(isa(_733604, c_applicationcontext))], (4398 ^ _598083) ^ [_733806, _733808] : [inregion(_733808, _733806), -(spatialthing_nonsituational(_733806))], (4404 ^ _598083) ^ [_734014, _734016] : [inregion(_734016, _734014), -(spatialthing_nonsituational(_734016))], (4410 ^ _598083) ^ [_734236, _734238, _734240] : [-(inregion(_734240, _734236)), inregion(_734240, _734238), inregion(_734238, _734236)], (4420 ^ _598083) ^ [_734531] : [spatialthing_nonsituational(_734531), -(inregion(_734531, _734531))], (4426 ^ _598083) ^ [_734704] : [-(natfunction(f_tptpquantityfn_1(_734704), c_tptpquantityfn_1))], (4428 ^ _598083) ^ [_734784] : [-(natargument(f_tptpquantityfn_1(_734784), n_1, _734784))], (4430 ^ _598083) ^ [_734865] : [-(tptpquantity(f_tptpquantityfn_1(_734865)))], (4432 ^ _598083) ^ [_734959] : [isa(_734959, c_furpelt), -(furpelt(_734959))], (4438 ^ _598083) ^ [_735147] : [furpelt(_735147), -(isa(_735147, c_furpelt))], (4444 ^ _598083) ^ [_735349, _735351] : [tptpofobject(_735351, _735349), -(tptpquantity(_735349))], (4450 ^ _598083) ^ [_735557, _735559] : [tptpofobject(_735559, _735557), -(partiallytangible(_735559))], (4456 ^ _598083) ^ [_735779, _735781, _735783] : [relationallinstance(_735783, _735781, _735779), -(thing(_735779))], (4462 ^ _598083) ^ [_736009, _736011, _736013] : [relationallinstance(_736013, _736011, _736009), -(collection(_736011))], (4468 ^ _598083) ^ [_736239, _736241, _736243] : [relationallinstance(_736243, _736241, _736239), -(binarypredicate(_736243))], (4474 ^ _598083) ^ [_736441] : [isa(_736441, c_tptpcol_13_93766), -(tptpcol_13_93766(_736441))], (4480 ^ _598083) ^ [_736629] : [tptpcol_13_93766(_736629), -(isa(_736629, c_tptpcol_13_93766))], (4486 ^ _598083) ^ [_736817] : [isa(_736817, c_tptpcol_9_40196), -(tptpcol_9_40196(_736817))], (4492 ^ _598083) ^ [_737005] : [tptpcol_9_40196(_737005), -(isa(_737005, c_tptpcol_9_40196))], (4498 ^ _598083) ^ [_737193] : [isa(_737193, c_tptpcol_10_40324), -(tptpcol_10_40324(_737193))], (4504 ^ _598083) ^ [_737381] : [tptpcol_10_40324(_737381), -(isa(_737381, c_tptpcol_10_40324))], (4510 ^ _598083) ^ [_737569] : [isa(_737569, c_tptpcol_7_72707), -(tptpcol_7_72707(_737569))], (4516 ^ _598083) ^ [_737757] : [tptpcol_7_72707(_737757), -(isa(_737757, c_tptpcol_7_72707))], (4522 ^ _598083) ^ [_737945] : [isa(_737945, c_tptpcol_8_72708), -(tptpcol_8_72708(_737945))], (4528 ^ _598083) ^ [_738133] : [tptpcol_8_72708(_738133), -(isa(_738133, c_tptpcol_8_72708))], (4534 ^ _598083) ^ [_738321] : [isa(_738321, c_tptpcol_11_93764), -(tptpcol_11_93764(_738321))], (4540 ^ _598083) ^ [_738509] : [tptpcol_11_93764(_738509), -(isa(_738509, c_tptpcol_11_93764))], (4546 ^ _598083) ^ [_738697] : [isa(_738697, c_tptpcol_12_93765), -(tptpcol_12_93765(_738697))], (4552 ^ _598083) ^ [_738885] : [tptpcol_12_93765(_738885), -(isa(_738885, c_tptpcol_12_93765))], (4558 ^ _598083) ^ [_739073] : [isa(_739073, c_tptpcol_4_114689), -(tptpcol_4_114689(_739073))], (4564 ^ _598083) ^ [_739261] : [tptpcol_4_114689(_739261), -(isa(_739261, c_tptpcol_4_114689))], (4570 ^ _598083) ^ [_739449] : [isa(_739449, c_tptpcol_5_114690), -(tptpcol_5_114690(_739449))], (4576 ^ _598083) ^ [_739637] : [tptpcol_5_114690(_739637), -(isa(_739637, c_tptpcol_5_114690))], (4582 ^ _598083) ^ [_739825] : [isa(_739825, c_tptpcol_3_98305), -(tptpcol_3_98305(_739825))], (4588 ^ _598083) ^ [_740013] : [tptpcol_3_98305(_740013), -(isa(_740013, c_tptpcol_3_98305))], (4594 ^ _598083) ^ [_740201] : [isa(_740201, c_tptpcol_4_106497), -(tptpcol_4_106497(_740201))], (4600 ^ _598083) ^ [_740389] : [tptpcol_4_106497(_740389), -(isa(_740389, c_tptpcol_4_106497))], (4606 ^ _598083) ^ [_740604, _740606, _740608, _740610] : [-(natfunction(f_relationexistsallfn(_740610, _740608, _740606, _740604), c_relationexistsallfn))], (4608 ^ _598083) ^ [_740735, _740737, _740739, _740741] : [-(natargument(f_relationexistsallfn(_740741, _740739, _740737, _740735), n_1, _740741))], (4610 ^ _598083) ^ [_740867, _740869, _740871, _740873] : [-(natargument(f_relationexistsallfn(_740873, _740871, _740869, _740867), n_2, _740871))], (4612 ^ _598083) ^ [_740999, _741001, _741003, _741005] : [-(natargument(f_relationexistsallfn(_741005, _741003, _741001, _740999), n_3, _741001))], (4614 ^ _598083) ^ [_741131, _741133, _741135, _741137] : [-(natargument(f_relationexistsallfn(_741137, _741135, _741133, _741131), n_4, _741131))], (4616 ^ _598083) ^ [_741263, _741265, _741267, _741269] : [-(thing(f_relationexistsallfn(_741269, _741267, _741265, _741263)))], (4618 ^ _598083) ^ [_741380, _741382] : [resultisaarg(_741382, _741380), -(positiveinteger(_741380))], (4624 ^ _598083) ^ [_741588, _741590] : [resultisaarg(_741590, _741588), -(function_denotational(_741590))], (4630 ^ _598083) ^ [_741796, _741798] : [tptptypes_7_389(_741798, _741796), -(firstordercollection(_741796))], (4636 ^ _598083) ^ [_742004, _742006] : [tptptypes_7_389(_742006, _742004), -(firstordercollection(_742006))], (4642 ^ _598083) ^ [_742212, _742214] : [tptptypes_8_390(_742214, _742212), -(firstordercollection(_742212))], (4648 ^ _598083) ^ [_742420, _742422] : [tptptypes_8_390(_742422, _742420), -(firstordercollection(_742422))], (4654 ^ _598083) ^ [_742628, _742630] : [tptptypes_8_692(_742630, _742628), -(firstordercollection(_742628))], (4660 ^ _598083) ^ [_742836, _742838] : [tptptypes_8_692(_742838, _742836), -(firstordercollection(_742838))], (4666 ^ _598083) ^ [_743044, _743046] : [tptptypes_9_693(_743046, _743044), -(firstordercollection(_743044))], (4672 ^ _598083) ^ [_743252, _743254] : [tptptypes_9_693(_743254, _743252), -(firstordercollection(_743254))], (4678 ^ _598083) ^ [_743446] : [isa(_743446, c_tptpcol_11_40388), -(tptpcol_11_40388(_743446))], (4684 ^ _598083) ^ [_743634] : [tptpcol_11_40388(_743634), -(isa(_743634, c_tptpcol_11_40388))], (4690 ^ _598083) ^ [_743822] : [isa(_743822, c_marriagelicensedocument), -(marriagelicensedocument(_743822))], (4696 ^ _598083) ^ [_744010] : [marriagelicensedocument(_744010), -(isa(_744010, c_marriagelicensedocument))], (4702 ^ _598083) ^ [_744198] : [isa(_744198, c_tptpcol_1_65536), -(tptpcol_1_65536(_744198))], (4708 ^ _598083) ^ [_744386] : [tptpcol_1_65536(_744386), -(isa(_744386, c_tptpcol_1_65536))], (4714 ^ _598083) ^ [_744574] : [isa(_744574, c_tptpcol_2_98304), -(tptpcol_2_98304(_744574))], (4720 ^ _598083) ^ [_744762] : [tptpcol_2_98304(_744762), -(isa(_744762, c_tptpcol_2_98304))], (4726 ^ _598083) ^ [_744950] : [isa(_744950, c_tptpcol_10_92166), -(tptpcol_10_92166(_744950))], (4732 ^ _598083) ^ [_745138] : [tptpcol_10_92166(_745138), -(isa(_745138, c_tptpcol_10_92166))], (4738 ^ _598083) ^ [_745326] : [isa(_745326, c_tptpcol_11_92230), -(tptpcol_11_92230(_745326))], (4744 ^ _598083) ^ [_745514] : [tptpcol_11_92230(_745514), -(isa(_745514, c_tptpcol_11_92230))], (4750 ^ _598083) ^ [_745702] : [isa(_745702, c_orderingpredicate), -(orderingpredicate(_745702))], (4756 ^ _598083) ^ [_745890] : [orderingpredicate(_745890), -(isa(_745890, c_orderingpredicate))], (4762 ^ _598083) ^ [_746078] : [isa(_746078, c_tptpcol_9_18439), -(tptpcol_9_18439(_746078))], (4768 ^ _598083) ^ [_746266] : [tptpcol_9_18439(_746266), -(isa(_746266, c_tptpcol_9_18439))], (4774 ^ _598083) ^ [_746454] : [isa(_746454, c_tptpcol_10_18567), -(tptpcol_10_18567(_746454))], (4780 ^ _598083) ^ [_746642] : [tptpcol_10_18567(_746642), -(isa(_746642, c_tptpcol_10_18567))], (4786 ^ _598083) ^ [_746830] : [isa(_746830, c_tptpcol_2_65537), -(tptpcol_2_65537(_746830))], (4792 ^ _598083) ^ [_747018] : [tptpcol_2_65537(_747018), -(isa(_747018, c_tptpcol_2_65537))], (4798 ^ _598083) ^ [_747206] : [isa(_747206, c_tptpcol_3_81921), -(tptpcol_3_81921(_747206))], (4804 ^ _598083) ^ [_747394] : [tptpcol_3_81921(_747394), -(isa(_747394, c_tptpcol_3_81921))], (4810 ^ _598083) ^ [_747582] : [isa(_747582, c_artsupplies), -(artsupplies(_747582))], (4816 ^ _598083) ^ [_747770] : [artsupplies(_747770), -(isa(_747770, c_artsupplies))], (4822 ^ _598083) ^ [_747958] : [isa(_747958, c_enduringthing_localized), -(enduringthing_localized(_747958))], (4828 ^ _598083) ^ [_748146] : [enduringthing_localized(_748146), -(isa(_748146, c_enduringthing_localized))], (4834 ^ _598083) ^ [_748334] : [isa(_748334, c_location_underspecified), -(location_underspecified(_748334))], (4840 ^ _598083) ^ [_748522] : [location_underspecified(_748522), -(isa(_748522, c_location_underspecified))], (4846 ^ _598083) ^ [_748710] : [isa(_748710, c_trajector_underspecified), -(trajector_underspecified(_748710))], (4852 ^ _598083) ^ [_748898] : [trajector_underspecified(_748898), -(isa(_748898, c_trajector_underspecified))], (4858 ^ _598083) ^ [_749086] : [isa(_749086, c_individual), -(individual(_749086))], (4864 ^ _598083) ^ [_749274] : [individual(_749274), -(isa(_749274, c_individual))], (4870 ^ _598083) ^ [_749462] : [isa(_749462, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_749462))], (4876 ^ _598083) ^ [_749650] : [partiallyintangibleindividual(_749650), -(isa(_749650, c_partiallyintangibleindividual))], (4882 ^ _598083) ^ [_749838] : [isa(_749838, c_tptpcol_10_22022), -(tptpcol_10_22022(_749838))], (4888 ^ _598083) ^ [_750026] : [tptpcol_10_22022(_750026), -(isa(_750026, c_tptpcol_10_22022))], (4894 ^ _598083) ^ [_750214] : [isa(_750214, c_tptpcol_11_22023), -(tptpcol_11_22023(_750214))], (4900 ^ _598083) ^ [_750402] : [tptpcol_11_22023(_750402), -(isa(_750402, c_tptpcol_11_22023))], (4906 ^ _598083) ^ [_750590] : [isa(_750590, c_tptpcol_5_20483), -(tptpcol_5_20483(_750590))], (4912 ^ _598083) ^ [_750778] : [tptpcol_5_20483(_750778), -(isa(_750778, c_tptpcol_5_20483))], (4918 ^ _598083) ^ [_750966] : [isa(_750966, c_tptpcol_13_72791), -(tptpcol_13_72791(_750966))], (4924 ^ _598083) ^ [_751154] : [tptpcol_13_72791(_751154), -(isa(_751154, c_tptpcol_13_72791))], (4930 ^ _598083) ^ [_751342] : [isa(_751342, c_tptpcol_14_72792), -(tptpcol_14_72792(_751342))], (4936 ^ _598083) ^ [_751530] : [tptpcol_14_72792(_751530), -(isa(_751530, c_tptpcol_14_72792))], (4942 ^ _598083) ^ [_751718] : [isa(_751718, c_ridgeline_topographical), -(ridgeline_topographical(_751718))], (4948 ^ _598083) ^ [_751906] : [ridgeline_topographical(_751906), -(isa(_751906, c_ridgeline_topographical))], (4954 ^ _598083) ^ [_752094] : [isa(_752094, c_tptpcol_4_16387), -(tptpcol_4_16387(_752094))], (4960 ^ _598083) ^ [_752282] : [tptpcol_4_16387(_752282), -(isa(_752282, c_tptpcol_4_16387))], (4966 ^ _598083) ^ [_752470] : [isa(_752470, c_tptpcol_5_16388), -(tptpcol_5_16388(_752470))], (4972 ^ _598083) ^ [_752658] : [tptpcol_5_16388(_752658), -(isa(_752658, c_tptpcol_5_16388))], (4978 ^ _598083) ^ [_752846] : [isa(_752846, c_tptpcol_8_22020), -(tptpcol_8_22020(_752846))], (4984 ^ _598083) ^ [_753034] : [tptpcol_8_22020(_753034), -(isa(_753034, c_tptpcol_8_22020))], (4990 ^ _598083) ^ [_753222] : [isa(_753222, c_tptpcol_9_22021), -(tptpcol_9_22021(_753222))], (4996 ^ _598083) ^ [_753410] : [tptpcol_9_22021(_753410), -(isa(_753410, c_tptpcol_9_22021))], (5002 ^ _598083) ^ [_753598] : [isa(_753598, c_transitivebinarypredicate), -(transitivebinarypredicate(_753598))], (5008 ^ _598083) ^ [_753786] : [transitivebinarypredicate(_753786), -(isa(_753786, c_transitivebinarypredicate))], (5014 ^ _598083) ^ [_753988, _753990] : [geographicalsubregions(_753990, _753988), -(geographicalregion(_753988))], (5020 ^ _598083) ^ [_754196, _754198] : [geographicalsubregions(_754198, _754196), -(geographicalregion(_754198))], (5026 ^ _598083) ^ [_754418, _754420, _754422] : [-(geographicalsubregions(_754422, _754418)), geographicalsubregions(_754422, _754420), geographicalsubregions(_754420, _754418)], (5036 ^ _598083) ^ [_754713] : [geographicalregion(_754713), -(geographicalsubregions(_754713, _754713))], (5042 ^ _598083) ^ [_754901] : [isa(_754901, c_tptpcol_12_40420), -(tptpcol_12_40420(_754901))], (5048 ^ _598083) ^ [_755089] : [tptpcol_12_40420(_755089), -(isa(_755089, c_tptpcol_12_40420))], (5054 ^ _598083) ^ [_755277] : [isa(_755277, c_tptpcol_13_40421), -(tptpcol_13_40421(_755277))], (5060 ^ _598083) ^ [_755465] : [tptpcol_13_40421(_755465), -(isa(_755465, c_tptpcol_13_40421))], (5066 ^ _598083) ^ [_755653] : [isa(_755653, c_tptpcol_6_92162), -(tptpcol_6_92162(_755653))], (5072 ^ _598083) ^ [_755841] : [tptpcol_6_92162(_755841), -(isa(_755841, c_tptpcol_6_92162))], (5078 ^ _598083) ^ [_756029] : [isa(_756029, c_tptpcol_7_93186), -(tptpcol_7_93186(_756029))], (5084 ^ _598083) ^ [_756217] : [tptpcol_7_93186(_756217), -(isa(_756217, c_tptpcol_7_93186))], (5090 ^ _598083) ^ [_756419, _756421] : [most(_756421, _756419), -(setorcollection(_756419))], (5096 ^ _598083) ^ [_756627, _756629] : [most(_756629, _756627), -(setorcollection(_756627))], (5102 ^ _598083) ^ [_756835, _756837] : [most(_756837, _756835), -(setorcollection(_756837))], (5108 ^ _598083) ^ [_757043, _757045] : [most(_757045, _757043), -(setorcollection(_757045))], (5114 ^ _598083) ^ [_757237] : [setorcollection(_757237), -(most(_757237, _757237))], (5120 ^ _598083) ^ [_757425] : [setorcollection(_757425), -(most(_757425, _757425))], (5126 ^ _598083) ^ [_757641, _757643, _757645] : [-(most(_757645, _757641)), most(_757645, _757643), subsetof(_757643, _757641)], (5136 ^ _598083) ^ [_757964, _757966, _757968] : [-(most(_757968, _757964)), most(_757968, _757966), subsetof(_757966, _757964)], (5146 ^ _598083) ^ [_758273, _758275] : [subsetof(_758275, _758273), -(setorcollection(_758273))], (5152 ^ _598083) ^ [_758481, _758483] : [subsetof(_758483, _758481), -(setorcollection(_758483))], (5158 ^ _598083) ^ [_758703, _758705, _758707] : [-(subsetof(_758707, _758703)), subsetof(_758707, _758705), subsetof(_758705, _758703)], (5168 ^ _598083) ^ [_758998] : [setorcollection(_758998), -(subsetof(_758998, _758998))], (5174 ^ _598083) ^ [_759214, _759216, _759218] : [-(subsetof(_759214, _759216)), subsetof(_759218, _759216), subsetof(_759214, _759218)], (5184 ^ _598083) ^ [_759537, _759539, _759541] : [-(subsetof(_759541, _759537)), subsetof(_759541, _759539), subsetof(_759539, _759537)], (5194 ^ _598083) ^ [_759860, _759862, _759864] : [-(subsetof(_759864, _759860)), subsetof(_759864, _759862), subsetof(_759862, _759860)], (5204 ^ _598083) ^ [_760169, _760171] : [genlpreds(_760171, _760169), -(predicate(_760169))], (5210 ^ _598083) ^ [_760377, _760379] : [genlpreds(_760379, _760377), -(predicate(_760377))], (5216 ^ _598083) ^ [_760585, _760587] : [genlpreds(_760587, _760585), -(predicate(_760587))], (5222 ^ _598083) ^ [_760793, _760795] : [genlpreds(_760795, _760793), -(predicate(_760795))], (5228 ^ _598083) ^ [_761015, _761017, _761019] : [-(genlpreds(_761019, _761015)), genlpreds(_761019, _761017), genlpreds(_761017, _761015)], (5238 ^ _598083) ^ [_761310] : [predicate(_761310), -(genlpreds(_761310, _761310))], (5244 ^ _598083) ^ [_761498] : [predicate(_761498), -(genlpreds(_761498, _761498))], (5250 ^ _598083) ^ [_761700, _761702] : [genlinverse(_761702, _761700), -(binarypredicate(_761700))], (5256 ^ _598083) ^ [_761908, _761910] : [genlinverse(_761910, _761908), -(binarypredicate(_761910))], (5262 ^ _598083) ^ [_762130, _762132, _762134] : [-(genlinverse(_762130, _762132)), genlinverse(_762134, _762132), genlpreds(_762130, _762134)], (5272 ^ _598083) ^ [_762453, _762455, _762457] : [-(genlinverse(_762457, _762453)), genlinverse(_762457, _762455), genlpreds(_762455, _762453)], (5282 ^ _598083) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _598083) ^ [_762801] : [isa(_762801, c_microtheory), -(microtheory(_762801))], (5290 ^ _598083) ^ [_762989] : [microtheory(_762989), -(isa(_762989, c_microtheory))], (5296 ^ _598083) ^ [_763162] : [-(natfunction(f_urlfn(_763162), c_urlfn))], (5298 ^ _598083) ^ [_763242] : [-(natargument(f_urlfn(_763242), n_1, _763242))], (5300 ^ _598083) ^ [_763323] : [-(uniformresourcelocator(f_urlfn(_763323)))], (5302 ^ _598083) ^ [_763402] : [-(natfunction(f_urlreferentfn(_763402), c_urlreferentfn))], (5304 ^ _598083) ^ [_763482] : [-(natargument(f_urlreferentfn(_763482), n_1, _763482))], (5306 ^ _598083) ^ [_763563] : [-(computerdataartifact(f_urlreferentfn(_763563)))], (5308 ^ _598083) ^ [_763656, _763658] : [-(natfunction(f_contentmtofcdafromeventfn(_763658, _763656), c_contentmtofcdafromeventfn))], (5310 ^ _598083) ^ [_763753, _763755] : [-(natargument(f_contentmtofcdafromeventfn(_763755, _763753), n_1, _763755))], (5312 ^ _598083) ^ [_763851, _763853] : [-(natargument(f_contentmtofcdafromeventfn(_763853, _763851), n_2, _763851))], (5314 ^ _598083) ^ [_763949, _763951] : [-(microtheory(f_contentmtofcdafromeventfn(_763951, _763949)))], (5316 ^ _598083) ^ [_764060, _764062] : [isa(_764062, _764060), -(collection(_764060))], (5322 ^ _598083) ^ [_764268, _764270] : [isa(_764270, _764268), -(collection(_764268))], (5328 ^ _598083) ^ [_764476, _764478] : [isa(_764478, _764476), -(thing(_764478))], (5334 ^ _598083) ^ [_764684, _764686] : [isa(_764686, _764684), -(thing(_764686))], (5340 ^ _598083) ^ [_764906, _764908, _764910] : [-(isa(_764910, _764906)), isa(_764910, _764908), genls(_764908, _764906)], (5350 ^ _598083) ^ [_765201] : [isa(_765201, c_inanimateobject), -(inanimateobject(_765201))], (5356 ^ _598083) ^ [_765389] : [inanimateobject(_765389), -(isa(_765389, c_inanimateobject))], (5362 ^ _598083) ^ [_765577] : [isa(_765577, c_tptpcol_9_72709), -(tptpcol_9_72709(_765577))], (5368 ^ _598083) ^ [_765765] : [tptpcol_9_72709(_765765), -(isa(_765765, c_tptpcol_9_72709))], (5374 ^ _598083) ^ [_765953] : [isa(_765953, c_tptpcol_10_72710), -(tptpcol_10_72710(_765953))], (5380 ^ _598083) ^ [_766141] : [tptpcol_10_72710(_766141), -(isa(_766141, c_tptpcol_10_72710))], (5386 ^ _598083) ^ [_766329] : [isa(_766329, c_tptpcol_14_40429), -(tptpcol_14_40429(_766329))], (5392 ^ _598083) ^ [_766517] : [tptpcol_14_40429(_766517), -(isa(_766517, c_tptpcol_14_40429))], (5398 ^ _598083) ^ [_766705] : [isa(_766705, c_tptpcol_15_40430), -(tptpcol_15_40430(_766705))], (5404 ^ _598083) ^ [_766893] : [tptpcol_15_40430(_766893), -(isa(_766893, c_tptpcol_15_40430))], (5410 ^ _598083) ^ [_767095, _767097] : [genls(_767097, _767095), -(collection(_767095))], (5416 ^ _598083) ^ [_767303, _767305] : [genls(_767305, _767303), -(collection(_767303))], (5422 ^ _598083) ^ [_767511, _767513] : [genls(_767513, _767511), -(collection(_767513))], (5428 ^ _598083) ^ [_767719, _767721] : [genls(_767721, _767719), -(collection(_767721))], (5434 ^ _598083) ^ [_767941, _767943, _767945] : [-(genls(_767945, _767941)), genls(_767945, _767943), genls(_767943, _767941)], (5444 ^ _598083) ^ [_768236] : [collection(_768236), -(genls(_768236, _768236))], (5450 ^ _598083) ^ [_768424] : [collection(_768424), -(genls(_768424, _768424))], (5456 ^ _598083) ^ [_768640, _768642, _768644] : [-(genls(_768640, _768642)), genls(_768644, _768642), genls(_768640, _768644)], (5466 ^ _598083) ^ [_768963, _768965, _768967] : [-(genls(_768967, _768963)), genls(_768967, _768965), genls(_768965, _768963)], (5476 ^ _598083) ^ [_769258] : [isa(_769258, c_partiallytangible), -(partiallytangible(_769258))], (5482 ^ _598083) ^ [_769446] : [partiallytangible(_769446), -(isa(_769446, c_partiallytangible))], (5488 ^ _598083) ^ [_769634] : [isa(_769634, c_intangible), -(intangible(_769634))], (5494 ^ _598083) ^ [_769822] : [intangible(_769822), -(isa(_769822, c_intangible))], (5500 ^ _598083) ^ [_770024, _770026] : [disjointwith(_770026, _770024), -(collection(_770024))], (5506 ^ _598083) ^ [_770232, _770234] : [disjointwith(_770234, _770232), -(collection(_770234))], (5512 ^ _598083) ^ [_770440, _770442] : [disjointwith(_770442, _770440), -(disjointwith(_770440, _770442))], (5518 ^ _598083) ^ [_770664, _770666, _770668] : [-(disjointwith(_770668, _770664)), disjointwith(_770668, _770666), genls(_770664, _770666)], (5528 ^ _598083) ^ [_770987, _770989, _770991] : [-(disjointwith(_770987, _770989)), disjointwith(_770991, _770989), genls(_770987, _770991)], (5538 ^ _598083) ^ [_771296, _771298] : [-(mtvisible(_771296)), mtvisible(_771298), genlmt(_771298, _771296)], (5548 ^ _598083) ^ [_771591, _771593] : [genlmt(_771593, _771591), -(microtheory(_771591))], (5554 ^ _598083) ^ [_771799, _771801] : [genlmt(_771801, _771799), -(microtheory(_771799))], (5560 ^ _598083) ^ [_772007, _772009] : [genlmt(_772009, _772007), -(microtheory(_772009))], (5566 ^ _598083) ^ [_772215, _772217] : [genlmt(_772217, _772215), -(microtheory(_772217))], (5572 ^ _598083) ^ [_772437, _772439, _772441] : [-(genlmt(_772441, _772437)), genlmt(_772441, _772439), genlmt(_772439, _772437)], (5582 ^ _598083) ^ [_772732] : [microtheory(_772732), -(genlmt(_772732, _772732))], (5594 ^ _598083) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _598083) ^ [_772920] : [microtheory(_772920), -(genlmt(_772920, _772920))]], input).
% 0.40/1.37  ncf('1',plain,[tptp_8_968(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804), tptpcol_16_7738(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))],start(5598 ^ 0,bind([[_787663], [f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription))]]))).
% 0.40/1.37  ncf('1.1',plain,[-(tptp_8_968(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804)), isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription))],extension(960 ^ 1,bind([[_625413], [c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804]]))).
% 0.40/1.37  ncf('1.1.1',plain,[-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))],extension(528 ^ 2)).
% 0.40/1.37  ncf('1.2',plain,[-(tptpcol_16_7738(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))), isa(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), c_tptpcol_16_7738)],extension(2938 ^ 1,bind([[_685442], [f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription))]]))).
% 0.40/1.37  ncf('1.2.1',plain,[-(isa(f_relationexistsallfn(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), c_tptpcol_16_7738)), isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription))],extension(244 ^ 2,bind([[_605227, _605229, _605231, _605233], [c_tptpcol_16_7738, c_tptp_8_968, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription), c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804]]))).
% 0.40/1.37  ncf('1.2.1.1',plain,[-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))],extension(528 ^ 3)).
% 0.40/1.37  ncf('1.2.1.2',plain,[-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))],extension(966 ^ 3)).
% 0.40/1.37  %-----------------------------------------------------
% 0.40/1.37  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------