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

% Computer : n015.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:57:14 EDT 2023

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

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11  % Problem  : CSR066+2 : TPTP v8.1.2. Released v3.4.0.
% 0.12/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n015.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Fri May 19 00:37:52 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 0.44/1.37  
% 0.44/1.37  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.44/1.37  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.44/1.37  %-----------------------------------------------------
% 0.44/1.37  ncf(matrix, plain, [(5596 ^ _602381) ^ [_791908] : [-(mtvisible(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21)))], (5598 ^ _602381) ^ [_791961] : [tptp_8_271(_791961, c_theprototypicalshavingrazor_manual), tptpcol_16_25972(_791961)], (2 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _602381) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _602381) ^ [_602586] : [intangible(_602586), partiallytangible(_602586)], (12 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _602381) ^ [_602824] : [tptpcol_15_40430(_602824), -(tptpcol_14_40429(_602824))], (20 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _602381) ^ [_603063] : [tptpcol_10_72710(_603063), -(tptpcol_9_72709(_603063))], (28 ^ _602381) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _602381) ^ [_603302] : [inanimateobject(_603302), -(partiallytangible(_603302))], (36 ^ _602381) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _602381) ^ [_603569, _603571, _603573] : [-(genlpreds(_603573, _603569)), genlinverse(_603573, _603571), genlinverse(_603571, _603569)], (48 ^ _602381) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _602381) ^ [_603931, _603933] : [subsetof(_603933, _603931), -(most(_603933, _603931))], (56 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _602381) ^ [_604180] : [tptpcol_7_93186(_604180), -(tptpcol_6_92162(_604180))], (64 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _602381) ^ [_604419] : [tptpcol_13_40421(_604419), -(tptpcol_12_40420(_604419))], (72 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _602381) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _602381) ^ [_604883] : [tptpcol_9_22021(_604883), -(tptpcol_8_22020(_604883))], (90 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _602381) ^ [_605122] : [tptpcol_5_16388(_605122), -(tptpcol_4_16387(_605122))], (98 ^ _602381) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _602381) ^ [_605480] : [tptpcol_14_72792(_605480), -(tptpcol_13_72791(_605480))], (112 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _602381) ^ [_605719] : [tptpcol_5_20483(_605719), -(tptpcol_4_16387(_605719))], (120 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _602381) ^ [_605958] : [tptpcol_11_22023(_605958), -(tptpcol_10_22022(_605958))], (128 ^ _602381) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _602381) ^ [_606197] : [partiallyintangibleindividual(_606197), -(individual(_606197))], (136 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _602381) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _602381) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _602381) ^ [_606542] : [trajector_underspecified(_606542), -(location_underspecified(_606542))], (148 ^ _602381) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _602381) ^ [_606781] : [partiallytangible(_606781), -(enduringthing_localized(_606781))], (156 ^ _602381) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _602381) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _602381) ^ [_607139] : [tptpcol_3_81921(_607139), -(tptpcol_2_65537(_607139))], (170 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _602381) ^ [_607378] : [tptpcol_10_18567(_607378), -(tptpcol_9_18439(_607378))], (178 ^ _602381) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _602381) ^ [_607617] : [orderingpredicate(_607617), -(transitivebinarypredicate(_607617))], (186 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _602381) ^ [_607856] : [tptpcol_11_92230(_607856), -(tptpcol_10_92166(_607856))], (194 ^ _602381) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _602381) ^ [_608095] : [tptpcol_2_98304(_608095), -(tptpcol_1_65536(_608095))], (202 ^ _602381) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _602381) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _602381) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _602381) ^ [_608559] : [tptpcol_12_40420(_608559), -(tptpcol_11_40388(_608559))], (220 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _602381) ^ [_608812, _608814] : [tptptypes_9_693(_608814, _608812), -(tptptypes_8_692(_608814, _608812))], (228 ^ _602381) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _602381) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _602381) ^ [_609181, _609183] : [tptptypes_8_390(_609183, _609181), -(tptptypes_7_389(_609183, _609181))], (240 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _602381) ^ [_609525, _609527, _609529, _609531] : [-(isa(f_relationexistsallfn(_609531, _609527, _609525, _609529), _609525)), isa(_609531, _609529), relationexistsall(_609527, _609525, _609529)], (254 ^ _602381) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _602381) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _602381) ^ [_610054] : [tptpcol_4_106497(_610054), -(tptpcol_3_98305(_610054))], (268 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _602381) ^ [_610293] : [tptpcol_5_114690(_610293), -(tptpcol_4_114689(_610293))], (276 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _602381) ^ [_610532] : [tptpcol_12_93765(_610532), -(tptpcol_11_93764(_610532))], (284 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _602381) ^ [_610771] : [tptpcol_8_72708(_610771), -(tptpcol_7_72707(_610771))], (292 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _602381) ^ [_611010] : [tptpcol_10_40324(_611010), -(tptpcol_9_40196(_611010))], (300 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _602381) ^ [_611249] : [tptpcol_13_93766(_611249), -(tptpcol_12_93765(_611249))], (308 ^ _602381) ^ [_611435] : [-(tptpofobject(_611435, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_611435)], (318 ^ _602381) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _602381) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _602381) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _602381) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _602381) ^ [_612099] : [location_underspecified(_612099), -(thing(_612099))], (342 ^ _602381) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _602381) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _602381) ^ [_612444] : [tptpcol_12_92262(_612444), -(tptpcol_11_92230(_612444))], (354 ^ _602381) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _602381) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _602381) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _602381) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _602381) ^ [_612961] : [tptpcol_10_109061(_612961), -(tptpcol_9_109060(_612961))], (374 ^ _602381) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _602381) ^ [_613267, _613269] : [tptptypes_6_388(_613269, _613267), -(tptptypes_5_387(_613269, _613267))], (384 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _602381) ^ [_613516] : [tptpcol_6_116738(_613516), -(tptpcol_5_114690(_613516))], (392 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _602381) ^ [_613755] : [tptpcol_15_92268(_613755), -(tptpcol_14_92264(_613755))], (400 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _602381) ^ [_614060] : [-(tptpofobject(_614060, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_614060)], (416 ^ _602381) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _602381) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _602381) ^ [_614513, _614515] : [tptptypes_9_401(_614515, _614513), -(tptptypes_8_400(_614513, _614515))], (430 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _602381) ^ [_614762] : [tptpcol_12_18663(_614762), -(tptpcol_11_18631(_614762))], (438 ^ _602381) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _602381) ^ [_615001] : [setorcollection(_615001), -(mathematicalthing(_615001))], (446 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _602381) ^ [_615240] : [tptpcol_13_109173(_615240), -(tptpcol_12_109157(_615240))], (454 ^ _602381) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _602381) ^ [_615532] : [tptpcol_5_106498(_615532), -(tptpcol_4_106497(_615532))], (464 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _602381) ^ [_615771] : [tptpcol_5_24579(_615771), -(tptpcol_4_24578(_615771))], (472 ^ _602381) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _602381) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _602381) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _602381) ^ [_616301] : [tptpcol_1_65536(_616301), -(tptpcol_0_0(_616301))], (494 ^ _602381) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _602381) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _602381) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _602381) ^ [_616726, _616728] : [geographicalsubregions(_616728, _616726), -(inregion(_616726, _616728))], (510 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _602381) ^ [_616975] : [tptpcol_11_118084(_616975), -(tptpcol_10_118020(_616975))], (518 ^ _602381) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _602381) ^ [_617214] : [mathematicalorcomputationalthing(_617214), -(intangible(_617214))], (526 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _602381) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _602381) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _602381) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _602381) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _602381) ^ [_617732, _617734] : [tptptypes_7_819(_617734, _617732), -(tptptypes_6_818(_617734, _617732))], (544 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _602381) ^ [_618034] : [tptpcol_12_26919(_618034), -(tptpcol_11_26887(_618034))], (554 ^ _602381) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _602381) ^ [_618287, _618289] : [tptptypes_8_692(_618289, _618287), -(tptptypes_7_691(_618287, _618289))], (562 ^ _602381) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _602381) ^ [_618536] : [tptpcol_2_2(_618536), -(tptpcol_1_1(_618536))], (570 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _602381) ^ [_618828] : [tptpcol_9_92165(_618828), -(tptpcol_8_92164(_618828))], (580 ^ _602381) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _602381) ^ [_619067] : [fixedordercollection(_619067), -(collection(_619067))], (588 ^ _602381) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _602381) ^ [_619306] : [tptpcol_1_1(_619306), tptpcol_1_65536(_619306)], (596 ^ _602381) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _602381) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _602381) ^ [_619597] : [microtheory(_619597), -(aspatialinformationstore(_619597))], (606 ^ _602381) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _602381) ^ [_619902] : [-(tptp_8_875(_619902, f_relationallexistsfn(_619902, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_619902, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _602381) ^ [] : [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 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _602381) ^ [_620353] : [tptpcol_10_118020(_620353), -(tptpcol_9_118019(_620353))], (636 ^ _602381) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _602381) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _602381) ^ [_620711] : [-(tptp_9_720(_620711, f_relationallexistsfn(_620711, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_620711)], (654 ^ _602381) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _602381) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _602381) ^ [_621160] : [individual(_621160), setorcollection(_621160)], (668 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _602381) ^ [_621398] : [tptpcol_12_22055(_621398), -(tptpcol_11_22023(_621398))], (676 ^ _602381) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _602381) ^ [_621637] : [applicationcontext(_621637), -(microtheory(_621637))], (684 ^ _602381) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _602381) ^ [_621943, _621945] : [tptptypes_8_400(_621945, _621943), -(tptptypes_7_396(_621945, _621943))], (694 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _602381) ^ [_622192] : [tptpcol_11_18631(_622192), -(tptpcol_10_18567(_622192))], (702 ^ _602381) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _602381) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _602381) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _602381) ^ [_622603] : [mathematicalthing(_622603), -(mathematicalorcomputationalthing(_622603))], (718 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _602381) ^ [_622895] : [tptpcol_15_93775(_622895), -(tptpcol_14_93774(_622895))], (728 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _602381) ^ [_623134] : [tptpcol_8_109059(_623134), -(tptpcol_7_108547(_623134))], (736 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _602381) ^ [_623373] : [tptpcol_14_40429(_623373), -(tptpcol_13_40421(_623373))], (744 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _602381) ^ [_623731] : [tptpcol_14_22072(_623731), -(tptpcol_13_22071(_623731))], (758 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _602381) ^ [_623970] : [tptpcol_14_93774(_623970), -(tptpcol_13_93766(_623970))], (766 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _602381) ^ [_624209] : [tptpcol_10_22022(_624209), -(tptpcol_9_22021(_624209))], (774 ^ _602381) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _602381) ^ [_624448] : [inanimateobject_nonnatural(_624448), -(inanimateobject(_624448))], (782 ^ _602381) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _602381) ^ [_624793] : [tptpcol_9_72709(_624793), -(tptpcol_8_72708(_624793))], (794 ^ _602381) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _602381) ^ [_625032] : [-(tptpofobject(_625032, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_625032)], (806 ^ _602381) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _602381) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _602381) ^ [_625471] : [firstordercollection(_625471), -(fixedordercollection(_625471))], (820 ^ _602381) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _602381) ^ [_625882] : [tptpcol_13_18664(_625882), -(tptpcol_12_18663(_625882))], (836 ^ _602381) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _602381) ^ [_626121] : [artifact(_626121), -(inanimateobject_nonnatural(_626121))], (844 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _602381) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _602381) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _602381) ^ [_626519] : [tptpcol_7_113665(_626519), -(tptpcol_6_112641(_626519))], (858 ^ _602381) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _602381) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _602381) ^ [_626877] : [geographicalregion(_626877), -(partiallytangible(_626877))], (872 ^ _602381) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _602381) ^ [_627130, _627132] : [disjointwith(_627132, _627130), -(no(_627132, _627130))], (880 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _602381) ^ [_627379] : [tptpcol_4_24578(_627379), -(tptpcol_3_16386(_627379))], (888 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _602381) ^ [_627618] : [tptpcol_5_69635(_627618), -(tptpcol_4_65539(_627618))], (896 ^ _602381) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _602381) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _602381) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _602381) ^ [_627977, _627979] : [genls(_627979, _627977), -(collection(_627979))], (908 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _602381) ^ [_628224] : [tptpcol_13_22071(_628224), -(tptpcol_12_22055(_628224))], (916 ^ _602381) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _602381) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _602381) ^ [_628516] : [tptpcol_3_98305(_628516), -(tptpcol_2_98304(_628516))], (926 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _602381) ^ [_628755] : [tptpcol_4_114689(_628755), -(tptpcol_3_114688(_628755))], (934 ^ _602381) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _602381) ^ [_628994] : [artsupplies(_628994), -(supplies(_628994))], (942 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _602381) ^ [_629233] : [tptpcol_8_26629(_629233), -(tptpcol_7_26628(_629233))], (950 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _602381) ^ [_629472] : [tptpcol_9_109060(_629472), -(tptpcol_8_109059(_629472))], (958 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _602381) ^ [_629711] : [isa(_629711, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_629711, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _629711))], (966 ^ _602381) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _602381) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _602381) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _602381) ^ [_630295] : [tptpcol_14_109181(_630295), -(tptpcol_13_109173(_630295))], (988 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _602381) ^ [_630534] : [tptpcol_16_30972(_630534), -(tptpcol_15_30970(_630534))], (996 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _602381) ^ [_630826] : [tptpcol_9_18439(_630826), -(tptpcol_8_18438(_630826))], (1006 ^ _602381) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _602381) ^ [_631118] : [tptpcol_12_118116(_631118), -(tptpcol_11_118084(_631118))], (1016 ^ _602381) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _602381) ^ [_631410] : [tptpcol_7_26628(_631410), -(tptpcol_6_26627(_631410))], (1026 ^ _602381) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _602381) ^ [_631663, _631665] : [most(_631665, _631663), -(setorcollection(_631665))], (1034 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _602381) ^ [_631910] : [tptpcol_15_109185(_631910), -(tptpcol_14_109181(_631910))], (1042 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _602381) ^ [_632149] : [tptpcol_16_92269(_632149), -(tptpcol_15_92268(_632149))], (1050 ^ _602381) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _602381) ^ [_632455, _632457] : [tptptypes_8_823(_632457, _632455), -(tptptypes_7_819(_632457, _632455))], (1060 ^ _602381) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _602381) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _602381) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _602381) ^ [_633035] : [tptpcol_10_26886(_633035), -(tptpcol_9_26885(_633035))], (1082 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _602381) ^ [_633327] : [tptpcol_15_72793(_633327), -(tptpcol_14_72792(_633327))], (1092 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _602381) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _602381) ^ [_633685] : [navypersonnel(_633685), -(militaryperson(_633685))], (1106 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _602381) ^ [_633924] : [tptpcol_4_16387(_633924), -(tptpcol_3_16386(_633924))], (1114 ^ _602381) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _602381) ^ [_634163] : [enduringthing_localized(_634163), -(spatialthing_nonsituational(_634163))], (1122 ^ _602381) ^ [_634349] : [collection(_634349), individual(_634349)], (1128 ^ _602381) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _602381) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _602381) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _602381) ^ [_634878] : [physicalorderingpredicate(_634878), -(orderingpredicate(_634878))], (1150 ^ _602381) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _602381) ^ [_635131, _635133] : [disjointwith(_635133, _635131), -(collection(_635131))], (1158 ^ _602381) ^ [_635367, _635369, _635371, _635373] : [-(isa(f_relationallexistsfn(_635373, _635369, _635371, _635367), _635367)), isa(_635373, _635371), relationallexists(_635369, _635371, _635367)], (1168 ^ _602381) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _602381) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _602381) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _602381) ^ [_635976, _635978] : [tptptypes_7_389(_635978, _635976), -(tptptypes_6_388(_635976, _635978))], (1186 ^ _602381) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _602381) ^ [_636291] : [-(hpkb_subnationalagent(_636291)), mtvisible(c_hpkbvocabmt), state_geopolitical(_636291)], (1202 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _602381) ^ [_636609] : [tptpcol_8_22020(_636609), -(tptpcol_7_21508(_636609))], (1210 ^ _602381) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _602381) ^ [_636848] : [-(tptp_9_51(f_relationexistsallfn(_636848, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _636848)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_636848, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _602381) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _602381) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _602381) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _602381) ^ [_637352] : [tptpcol_3_65538(_637352), -(tptpcol_2_65537(_637352))], (1238 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _602381) ^ [_637591] : [tptpcol_14_26921(_637591), -(tptpcol_13_26920(_637591))], (1246 ^ _602381) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _602381) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _602381) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _602381) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _602381) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _602381) ^ [_638042] : [intangibleindividual(_638042), -(partiallyintangibleindividual(_638042))], (1262 ^ _602381) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _602381) ^ [_638400] : [tptpcol_16_130924(_638400), -(tptpcol_15_130923(_638400))], (1276 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _602381) ^ [_638639] : [tptpcol_7_92163(_638639), -(tptpcol_6_92162(_638639))], (1284 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _602381) ^ [_638931] : [tptpcol_16_130933(_638931), -(tptpcol_15_130931(_638931))], (1294 ^ _602381) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _602381) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _602381) ^ [_639237, _639239] : [no(_639239, _639237), -(few(_639239, _639237))], (1304 ^ _602381) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _602381) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _602381) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _602381) ^ [_639645] : [tptpcol_6_20484(_639645), -(tptpcol_5_20483(_639645))], (1318 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _602381) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _602381) ^ [_640109] : [tptpcol_7_108547(_640109), -(tptpcol_6_108546(_640109))], (1336 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _602381) ^ [_640348] : [tptpcol_11_109125(_640348), -(tptpcol_10_109061(_640348))], (1344 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _602381) ^ [_640640] : [tptpcol_8_93698(_640640), -(tptpcol_7_93186(_640640))], (1354 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _602381) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _602381) ^ [_640932] : [tptpcol_2_65537(_640932), -(tptpcol_1_65536(_640932))], (1364 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _602381) ^ [_641224] : [tptpcol_6_18436(_641224), -(tptpcol_5_16388(_641224))], (1374 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _602381) ^ [_641463] : [tptpcol_8_18438(_641463), -(tptpcol_7_18437(_641463))], (1382 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _602381) ^ [_641821] : [tptpcol_8_117763(_641821), -(tptpcol_7_117762(_641821))], (1396 ^ _602381) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _602381) ^ [_642113] : [tptpcol_12_109157(_642113), -(tptpcol_11_109125(_642113))], (1406 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _602381) ^ [_642352] : [tptpcol_7_117762(_642352), -(tptpcol_6_116738(_642352))], (1414 ^ _602381) ^ [_642566, _642568, _642570] : [isa(_642570, _642568), isa(_642570, _642566), disjointwith(_642568, _642566)], (1424 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _602381) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _602381) ^ [_642966] : [aspatialinformationstore(_642966), -(aspatialthing(_642966))], (1434 ^ _602381) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _602381) ^ [_643364] : [tptpcol_9_93699(_643364), -(tptpcol_8_93698(_643364))], (1448 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _602381) ^ [_643603] : [tptpcol_11_93764(_643603), -(tptpcol_10_93700(_643603))], (1456 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _602381) ^ [_643842] : [tptpcol_6_26627(_643842), -(tptpcol_5_24579(_643842))], (1464 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _602381) ^ [_644081] : [tptpcol_4_90113(_644081), -(tptpcol_3_81921(_644081))], (1472 ^ _602381) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _602381) ^ [_644373] : [tptpcol_10_93700(_644373), -(tptpcol_9_93699(_644373))], (1482 ^ _602381) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _602381) ^ [_644612] : [aspatialinformationstore(_644612), -(intangibleindividual(_644612))], (1490 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _602381) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _602381) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _602381) ^ [_645023] : [tptpcol_3_16386(_645023), -(tptpcol_2_2(_645023))], (1506 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _602381) ^ [_645262] : [tptpcol_9_118019(_645262), -(tptpcol_8_117763(_645262))], (1514 ^ _602381) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _602381) ^ [_645501] : [individual(_645501), -(trajector_underspecified(_645501))], (1522 ^ _602381) ^ [_645687] : [shavingrazor_manual(_645687), -(tptp_8_271(f_relationexistsallfn(_645687, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _645687))], (1528 ^ _602381) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _602381) ^ [_645991] : [tptpcol_6_112641(_645991), -(tptpcol_5_110593(_645991))], (1538 ^ _602381) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _602381) ^ [_646230] : [tptpcol_12_72775(_646230), -(tptpcol_11_72774(_646230))], (1546 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _602381) ^ [_646469] : [tptpcol_7_72707(_646469), -(tptpcol_6_71683(_646469))], (1554 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _602381) ^ [_646708] : [tptpcol_16_50958(_646708), -(tptpcol_15_50957(_646708))], (1562 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _602381) ^ [_646947] : [tptpcol_8_114177(_646947), -(tptpcol_7_113665(_646947))], (1570 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _602381) ^ [_647186] : [tptpcol_16_72795(_647186), -(tptpcol_15_72793(_647186))], (1578 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _602381) ^ [_647425] : [tptpcol_6_71683(_647425), -(tptpcol_5_69635(_647425))], (1586 ^ _602381) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _602381) ^ [_647731, _647733] : [tptptypes_7_396(_647733, _647731), -(tptptypes_6_388(_647733, _647731))], (1596 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _602381) ^ [_647980] : [tptpcol_9_26885(_647980), -(tptpcol_8_26629(_647980))], (1604 ^ _602381) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _602381) ^ [_648233, _648235] : [genls(_648235, _648233), -(subsetof(_648235, _648233))], (1612 ^ _602381) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _602381) ^ [_648549, _648551] : [tptptypes_6_818(_648551, _648549), -(tptptypes_5_802(_648551, _648549))], (1622 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _602381) ^ [_648798] : [tptpcol_6_92162(_648798), -(tptpcol_5_90114(_648798))], (1630 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _602381) ^ [_649090] : [tptpcol_8_92164(_649090), -(tptpcol_7_92163(_649090))], (1640 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _602381) ^ [_649329] : [tptpcol_13_118117(_649329), -(tptpcol_12_118116(_649329))], (1648 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _602381) ^ [_649568] : [tptpcol_11_40388(_649568), -(tptpcol_10_40324(_649568))], (1656 ^ _602381) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _602381) ^ [_649821, _649823] : [tptptypes_9_824(_649823, _649821), -(tptptypes_8_823(_649823, _649821))], (1664 ^ _602381) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _602381) ^ [_650123] : [tptpcol_11_26887(_650123), -(tptpcol_10_26886(_650123))], (1674 ^ _602381) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _602381) ^ [_650362] : [tptpcol_16_26926(_650362), -(tptpcol_15_26925(_650362))], (1682 ^ _602381) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _602381) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _602381) ^ [_650668, _650670] : [few(_650670, _650668), -(setorcollection(_650668))], (1692 ^ _602381) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _602381) ^ [_650915] : [tptpcol_4_65539(_650915), -(tptpcol_3_65538(_650915))], (1700 ^ _602381) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _602381) ^ [_651154] : [tptpcol_8_39940(_651154), -(tptpcol_7_39939(_651154))], (1708 ^ _602381) ^ [_651340] : [-(tptpofobject(_651340, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_651340)], (1718 ^ _602381) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _602381) ^ [_651779] : [tptpcol_15_22076(_651779), -(tptpcol_14_22072(_651779))], (1732 ^ _602381) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _602381) ^ [_652018] : [tptpcol_0_0(_652018), -(individual(_652018))], (1740 ^ _602381) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _602381) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _602381) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _602381) ^ [_652416] : [tptpcol_11_72774(_652416), -(tptpcol_10_72710(_652416))], (1754 ^ _602381) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _602381) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _602381) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _602381) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _602381) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _602381) ^ [_653052] : [tptpcol_7_21508(_653052), -(tptpcol_6_20484(_653052))], (1780 ^ _602381) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _602381) ^ [_653291] : [tptpcol_6_108546(_653291), -(tptpcol_5_106498(_653291))], (1788 ^ _602381) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _602381) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _602381) ^ [_653649] : [geolevel_4(_653649), -(geographicalregion(_653649))], (1802 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _602381) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _602381) ^ [_654126] : [tptpcol_13_26920(_654126), -(tptpcol_12_26919(_654126))], (1822 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _602381) ^ [_654365] : [tptpcol_14_92264(_654365), -(tptpcol_13_92263(_654365))], (1830 ^ _602381) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _602381) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _602381) ^ [_654657] : [tptpcol_9_40196(_654657), -(tptpcol_8_39940(_654657))], (1840 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _602381) ^ [_655015] : [tptpcol_13_92263(_655015), -(tptpcol_12_92262(_655015))], (1854 ^ _602381) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _602381) ^ [_655307] : [tptpcol_5_90114(_655307), -(tptpcol_4_90113(_655307))], (1864 ^ _602381) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _602381) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _602381) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _602381) ^ [_655718] : [tptpcol_15_26925(_655718), -(tptpcol_14_26921(_655718))], (1880 ^ _602381) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _602381) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _602381) ^ [_656076] : [tptpcol_7_18437(_656076), -(tptpcol_6_18436(_656076))], (1894 ^ _602381) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _602381) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _602381) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _602381) ^ [_656487] : [tptpcol_3_98305(_656487), tptpcol_3_114688(_656487)], (1910 ^ _602381) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _602381) ^ [_656725] : [tptpcol_5_110593(_656725), -(tptpcol_4_106497(_656725))], (1918 ^ _602381) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _602381) ^ [_656964] : [tptpcol_13_72791(_656964), -(tptpcol_12_72775(_656964))], (1926 ^ _602381) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _602381) ^ [_657203] : [computerdataartifact(_657203), -(artifact(_657203))], (1934 ^ _602381) ^ [_657389] : [-(tptpofobject(_657389, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_657389)], (1944 ^ _602381) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _602381) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _602381) ^ [_657828] : [tptpcol_10_92166(_657828), -(tptpcol_9_92165(_657828))], (1958 ^ _602381) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _602381) ^ [_658067] : [tptpcol_14_118118(_658067), -(tptpcol_13_118117(_658067))], (1966 ^ _602381) ^ [_658253] : [isa(_658253, c_tptpcol_14_118118), -(tptpcol_14_118118(_658253))], (1972 ^ _602381) ^ [_658441] : [tptpcol_14_118118(_658441), -(isa(_658441, c_tptpcol_14_118118))], (1978 ^ _602381) ^ [_658614] : [-(natfunction(f_tptpquantityfn_6(_658614), c_tptpquantityfn_6))], (1980 ^ _602381) ^ [_658694] : [-(natargument(f_tptpquantityfn_6(_658694), n_1, _658694))], (1982 ^ _602381) ^ [_658775] : [-(tptpquantity(f_tptpquantityfn_6(_658775)))], (1984 ^ _602381) ^ [_658869] : [isa(_658869, c_tptpcol_16_26939), -(tptpcol_16_26939(_658869))], (1990 ^ _602381) ^ [_659057] : [tptpcol_16_26939(_659057), -(isa(_659057, c_tptpcol_16_26939))], (1996 ^ _602381) ^ [_659245] : [isa(_659245, c_tptpcol_16_62187), -(tptpcol_16_62187(_659245))], (2002 ^ _602381) ^ [_659433] : [tptpcol_16_62187(_659433), -(isa(_659433, c_tptpcol_16_62187))], (2008 ^ _602381) ^ [_659621] : [isa(_659621, c_tptpcol_13_92263), -(tptpcol_13_92263(_659621))], (2014 ^ _602381) ^ [_659809] : [tptpcol_13_92263(_659809), -(isa(_659809, c_tptpcol_13_92263))], (2020 ^ _602381) ^ [_659997] : [isa(_659997, c_geolevel_4), -(geolevel_4(_659997))], (2026 ^ _602381) ^ [_660185] : [geolevel_4(_660185), -(isa(_660185, c_geolevel_4))], (2032 ^ _602381) ^ [_660373] : [isa(_660373, c_tptpcol_15_4027), -(tptpcol_15_4027(_660373))], (2038 ^ _602381) ^ [_660561] : [tptpcol_15_4027(_660561), -(isa(_660561, c_tptpcol_15_4027))], (2044 ^ _602381) ^ [_660749] : [isa(_660749, c_pushingwithfingers), -(pushingwithfingers(_660749))], (2050 ^ _602381) ^ [_660937] : [pushingwithfingers(_660937), -(isa(_660937, c_pushingwithfingers))], (2056 ^ _602381) ^ [_661139, _661141] : [affiliatedwith(_661141, _661139), -(agent_generic(_661139))], (2062 ^ _602381) ^ [_661347, _661349] : [affiliatedwith(_661349, _661347), -(agent_generic(_661349))], (2068 ^ _602381) ^ [_661555, _661557] : [affiliatedwith(_661557, _661555), -(affiliatedwith(_661555, _661557))], (2074 ^ _602381) ^ [_661735] : [affiliatedwith(_661735, _661735)], (2076 ^ _602381) ^ [_661828] : [isa(_661828, c_footballteam), -(footballteam(_661828))], (2082 ^ _602381) ^ [_662016] : [footballteam(_662016), -(isa(_662016, c_footballteam))], (2088 ^ _602381) ^ [_662204] : [isa(_662204, c_tptpcol_16_4451), -(tptpcol_16_4451(_662204))], (2094 ^ _602381) ^ [_662392] : [tptpcol_16_4451(_662392), -(isa(_662392, c_tptpcol_16_4451))], (2100 ^ _602381) ^ [_662580] : [isa(_662580, c_pushingwithopenhand), -(pushingwithopenhand(_662580))], (2106 ^ _602381) ^ [_662768] : [pushingwithopenhand(_662768), -(isa(_662768, c_pushingwithopenhand))], (2112 ^ _602381) ^ [_662956] : [isa(_662956, c_tptpcol_15_22076), -(tptpcol_15_22076(_662956))], (2118 ^ _602381) ^ [_663144] : [tptpcol_15_22076(_663144), -(isa(_663144, c_tptpcol_15_22076))], (2124 ^ _602381) ^ [_663317] : [-(natfunction(f_tptpquantityfn_2(_663317), c_tptpquantityfn_2))], (2126 ^ _602381) ^ [_663397] : [-(natargument(f_tptpquantityfn_2(_663397), n_1, _663397))], (2128 ^ _602381) ^ [_663478] : [-(tptpquantity(f_tptpquantityfn_2(_663478)))], (2130 ^ _602381) ^ [_663572] : [isa(_663572, c_tptpcol_7_39939), -(tptpcol_7_39939(_663572))], (2136 ^ _602381) ^ [_663760] : [tptpcol_7_39939(_663760), -(isa(_663760, c_tptpcol_7_39939))], (2142 ^ _602381) ^ [_663948] : [isa(_663948, c_tptpcol_8_39940), -(tptpcol_8_39940(_663948))], (2148 ^ _602381) ^ [_664136] : [tptpcol_8_39940(_664136), -(isa(_664136, c_tptpcol_8_39940))], (2154 ^ _602381) ^ [_664324] : [isa(_664324, c_tptpcol_15_26925), -(tptpcol_15_26925(_664324))], (2160 ^ _602381) ^ [_664512] : [tptpcol_15_26925(_664512), -(isa(_664512, c_tptpcol_15_26925))], (2166 ^ _602381) ^ [_664700] : [isa(_664700, c_tptpcol_16_26926), -(tptpcol_16_26926(_664700))], (2172 ^ _602381) ^ [_664888] : [tptpcol_16_26926(_664888), -(isa(_664888, c_tptpcol_16_26926))], (2178 ^ _602381) ^ [_665076] : [isa(_665076, c_tptpcol_13_118117), -(tptpcol_13_118117(_665076))], (2184 ^ _602381) ^ [_665264] : [tptpcol_13_118117(_665264), -(isa(_665264, c_tptpcol_13_118117))], (2190 ^ _602381) ^ [_665452] : [isa(_665452, c_tptpcol_5_90114), -(tptpcol_5_90114(_665452))], (2196 ^ _602381) ^ [_665640] : [tptpcol_5_90114(_665640), -(isa(_665640, c_tptpcol_5_90114))], (2202 ^ _602381) ^ [_665842, _665844] : [tptptypes_5_802(_665844, _665842), -(firstordercollection(_665842))], (2208 ^ _602381) ^ [_666050, _666052] : [tptptypes_5_802(_666052, _666050), -(firstordercollection(_666052))], (2214 ^ _602381) ^ [_666244] : [isa(_666244, c_tptpcol_16_72795), -(tptpcol_16_72795(_666244))], (2220 ^ _602381) ^ [_666432] : [tptpcol_16_72795(_666432), -(isa(_666432, c_tptpcol_16_72795))], (2226 ^ _602381) ^ [_666620] : [isa(_666620, c_tptpcol_8_114177), -(tptpcol_8_114177(_666620))], (2232 ^ _602381) ^ [_666808] : [tptpcol_8_114177(_666808), -(isa(_666808, c_tptpcol_8_114177))], (2238 ^ _602381) ^ [_666996] : [isa(_666996, c_tptpcol_15_50957), -(tptpcol_15_50957(_666996))], (2244 ^ _602381) ^ [_667184] : [tptpcol_15_50957(_667184), -(isa(_667184, c_tptpcol_15_50957))], (2250 ^ _602381) ^ [_667372] : [isa(_667372, c_tptpcol_16_50958), -(tptpcol_16_50958(_667372))], (2256 ^ _602381) ^ [_667560] : [tptpcol_16_50958(_667560), -(isa(_667560, c_tptpcol_16_50958))], (2262 ^ _602381) ^ [_667748] : [isa(_667748, c_tptpcol_6_71683), -(tptpcol_6_71683(_667748))], (2268 ^ _602381) ^ [_667936] : [tptpcol_6_71683(_667936), -(isa(_667936, c_tptpcol_6_71683))], (2274 ^ _602381) ^ [_668124] : [isa(_668124, c_tptpcol_11_72774), -(tptpcol_11_72774(_668124))], (2280 ^ _602381) ^ [_668312] : [tptpcol_11_72774(_668312), -(isa(_668312, c_tptpcol_11_72774))], (2286 ^ _602381) ^ [_668500] : [isa(_668500, c_tptpcol_12_72775), -(tptpcol_12_72775(_668500))], (2292 ^ _602381) ^ [_668688] : [tptpcol_12_72775(_668688), -(isa(_668688, c_tptpcol_12_72775))], (2298 ^ _602381) ^ [_668876] : [isa(_668876, c_tptpcol_5_110593), -(tptpcol_5_110593(_668876))], (2304 ^ _602381) ^ [_669064] : [tptpcol_5_110593(_669064), -(isa(_669064, c_tptpcol_5_110593))], (2310 ^ _602381) ^ [_669252] : [isa(_669252, c_tptpcol_16_25972), -(tptpcol_16_25972(_669252))], (2316 ^ _602381) ^ [_669440] : [tptpcol_16_25972(_669440), -(isa(_669440, c_tptpcol_16_25972))], (2322 ^ _602381) ^ [_669642, _669644] : [tptp_8_271(_669644, _669642), -(razor(_669642))], (2328 ^ _602381) ^ [_669850, _669852] : [tptp_8_271(_669852, _669850), -(tptpcol_5_24579(_669852))], (2334 ^ _602381) ^ [_670044] : [isa(_670044, c_tptpcol_4_90113), -(tptpcol_4_90113(_670044))], (2340 ^ _602381) ^ [_670232] : [tptpcol_4_90113(_670232), -(isa(_670232, c_tptpcol_4_90113))], (2346 ^ _602381) ^ [_670420] : [isa(_670420, c_tptpcol_10_93700), -(tptpcol_10_93700(_670420))], (2352 ^ _602381) ^ [_670608] : [tptpcol_10_93700(_670608), -(isa(_670608, c_tptpcol_10_93700))], (2358 ^ _602381) ^ [_670796] : [isa(_670796, c_tptpcol_9_93699), -(tptpcol_9_93699(_670796))], (2364 ^ _602381) ^ [_670984] : [tptpcol_9_93699(_670984), -(isa(_670984, c_tptpcol_9_93699))], (2370 ^ _602381) ^ [_671172] : [isa(_671172, c_aspatialthing), -(aspatialthing(_671172))], (2376 ^ _602381) ^ [_671360] : [aspatialthing(_671360), -(isa(_671360, c_aspatialthing))], (2382 ^ _602381) ^ [_671548] : [isa(_671548, c_tptpcol_7_117762), -(tptpcol_7_117762(_671548))], (2388 ^ _602381) ^ [_671736] : [tptpcol_7_117762(_671736), -(isa(_671736, c_tptpcol_7_117762))], (2394 ^ _602381) ^ [_671924] : [isa(_671924, c_tptpcol_8_117763), -(tptpcol_8_117763(_671924))], (2400 ^ _602381) ^ [_672112] : [tptpcol_8_117763(_672112), -(isa(_672112, c_tptpcol_8_117763))], (2406 ^ _602381) ^ [_672300] : [isa(_672300, c_tptpcol_7_18437), -(tptpcol_7_18437(_672300))], (2412 ^ _602381) ^ [_672488] : [tptpcol_7_18437(_672488), -(isa(_672488, c_tptpcol_7_18437))], (2418 ^ _602381) ^ [_672676] : [isa(_672676, c_tptpcol_6_18436), -(tptpcol_6_18436(_672676))], (2424 ^ _602381) ^ [_672864] : [tptpcol_6_18436(_672864), -(isa(_672864, c_tptpcol_6_18436))], (2430 ^ _602381) ^ [_673052] : [isa(_673052, c_tptpcol_8_93698), -(tptpcol_8_93698(_673052))], (2436 ^ _602381) ^ [_673240] : [tptpcol_8_93698(_673240), -(isa(_673240, c_tptpcol_8_93698))], (2442 ^ _602381) ^ [_673428] : [isa(_673428, c_tptpcol_11_109125), -(tptpcol_11_109125(_673428))], (2448 ^ _602381) ^ [_673616] : [tptpcol_11_109125(_673616), -(isa(_673616, c_tptpcol_11_109125))], (2454 ^ _602381) ^ [_673804] : [isa(_673804, c_tptpcol_6_108546), -(tptpcol_6_108546(_673804))], (2460 ^ _602381) ^ [_673992] : [tptpcol_6_108546(_673992), -(isa(_673992, c_tptpcol_6_108546))], (2466 ^ _602381) ^ [_674180] : [isa(_674180, c_tptpcol_6_20484), -(tptpcol_6_20484(_674180))], (2472 ^ _602381) ^ [_674368] : [tptpcol_6_20484(_674368), -(isa(_674368, c_tptpcol_6_20484))], (2478 ^ _602381) ^ [_674570, _674572] : [few(_674572, _674570), -(setorcollection(_674570))], (2484 ^ _602381) ^ [_674778, _674780] : [few(_674780, _674778), -(setorcollection(_674778))], (2490 ^ _602381) ^ [_674986, _674988] : [few(_674988, _674986), -(setorcollection(_674988))], (2496 ^ _602381) ^ [_675194, _675196] : [few(_675196, _675194), -(setorcollection(_675196))], (2502 ^ _602381) ^ [_675416, _675418, _675420] : [-(few(_675420, _675416)), few(_675420, _675418), subsetof(_675416, _675418)], (2512 ^ _602381) ^ [_675711] : [isa(_675711, c_tptpcol_15_130931), -(tptpcol_15_130931(_675711))], (2518 ^ _602381) ^ [_675899] : [tptpcol_15_130931(_675899), -(isa(_675899, c_tptpcol_15_130931))], (2524 ^ _602381) ^ [_676087] : [isa(_676087, c_tptpcol_16_130933), -(tptpcol_16_130933(_676087))], (2530 ^ _602381) ^ [_676275] : [tptpcol_16_130933(_676275), -(isa(_676275, c_tptpcol_16_130933))], (2536 ^ _602381) ^ [_676463] : [isa(_676463, c_tptpcol_7_92163), -(tptpcol_7_92163(_676463))], (2542 ^ _602381) ^ [_676651] : [tptpcol_7_92163(_676651), -(isa(_676651, c_tptpcol_7_92163))], (2548 ^ _602381) ^ [_676839] : [isa(_676839, c_tptpcol_15_130923), -(tptpcol_15_130923(_676839))], (2554 ^ _602381) ^ [_677027] : [tptpcol_15_130923(_677027), -(isa(_677027, c_tptpcol_15_130923))], (2560 ^ _602381) ^ [_677215] : [isa(_677215, c_tptpcol_16_130924), -(tptpcol_16_130924(_677215))], (2566 ^ _602381) ^ [_677403] : [tptpcol_16_130924(_677403), -(isa(_677403, c_tptpcol_16_130924))], (2572 ^ _602381) ^ [_677591] : [isa(_677591, c_intangibleindividual), -(intangibleindividual(_677591))], (2578 ^ _602381) ^ [_677779] : [intangibleindividual(_677779), -(isa(_677779, c_intangibleindividual))], (2584 ^ _602381) ^ [_677966, _677968] : [-(natfunction(f_citynamedfn(_677968, _677966), c_citynamedfn))], (2586 ^ _602381) ^ [_678063, _678065] : [-(natargument(f_citynamedfn(_678065, _678063), n_1, _678065))], (2588 ^ _602381) ^ [_678161, _678163] : [-(natargument(f_citynamedfn(_678163, _678161), n_2, _678161))], (2590 ^ _602381) ^ [_678259, _678261] : [-(city(f_citynamedfn(_678261, _678259)))], (2592 ^ _602381) ^ [_678356] : [isa(_678356, c_tptpcol_13_26920), -(tptpcol_13_26920(_678356))], (2598 ^ _602381) ^ [_678544] : [tptpcol_13_26920(_678544), -(isa(_678544, c_tptpcol_13_26920))], (2604 ^ _602381) ^ [_678732] : [isa(_678732, c_tptpcol_14_26921), -(tptpcol_14_26921(_678732))], (2610 ^ _602381) ^ [_678920] : [tptpcol_14_26921(_678920), -(isa(_678920, c_tptpcol_14_26921))], (2616 ^ _602381) ^ [_679108] : [isa(_679108, c_tptpcol_3_65538), -(tptpcol_3_65538(_679108))], (2622 ^ _602381) ^ [_679296] : [tptpcol_3_65538(_679296), -(isa(_679296, c_tptpcol_3_65538))], (2628 ^ _602381) ^ [_679484] : [isa(_679484, c_tptpcol_16_27189), -(tptpcol_16_27189(_679484))], (2634 ^ _602381) ^ [_679672] : [tptpcol_16_27189(_679672), -(isa(_679672, c_tptpcol_16_27189))], (2640 ^ _602381) ^ [_679874, _679876] : [tptp_9_51(_679876, _679874), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_679874))], (2646 ^ _602381) ^ [_680082, _680084] : [tptp_9_51(_680084, _680082), -(tptpcol_7_26628(_680084))], (2652 ^ _602381) ^ [_680276] : [isa(_680276, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_680276))], (2658 ^ _602381) ^ [_680464] : [reflexivebinarypredicate(_680464), -(isa(_680464, c_reflexivebinarypredicate))], (2664 ^ _602381) ^ [_680652] : [isa(_680652, c_tptpcol_7_21508), -(tptpcol_7_21508(_680652))], (2670 ^ _602381) ^ [_680840] : [tptpcol_7_21508(_680840), -(isa(_680840, c_tptpcol_7_21508))], (2676 ^ _602381) ^ [_681028] : [isa(_681028, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_681028))], (2682 ^ _602381) ^ [_681216] : [hpkb_subnationalagent(_681216), -(isa(_681216, c_hpkb_subnationalagent))], (2688 ^ _602381) ^ [_681404] : [isa(_681404, c_state_geopolitical), -(state_geopolitical(_681404))], (2694 ^ _602381) ^ [_681592] : [state_geopolitical(_681592), -(isa(_681592, c_state_geopolitical))], (2700 ^ _602381) ^ [_681807, _681809, _681811, _681813] : [-(natfunction(f_relationallexistsfn(_681813, _681811, _681809, _681807), c_relationallexistsfn))], (2702 ^ _602381) ^ [_681938, _681940, _681942, _681944] : [-(natargument(f_relationallexistsfn(_681944, _681942, _681940, _681938), n_1, _681944))], (2704 ^ _602381) ^ [_682070, _682072, _682074, _682076] : [-(natargument(f_relationallexistsfn(_682076, _682074, _682072, _682070), n_2, _682074))], (2706 ^ _602381) ^ [_682202, _682204, _682206, _682208] : [-(natargument(f_relationallexistsfn(_682208, _682206, _682204, _682202), n_3, _682204))], (2708 ^ _602381) ^ [_682334, _682336, _682338, _682340] : [-(natargument(f_relationallexistsfn(_682340, _682338, _682336, _682334), n_4, _682334))], (2710 ^ _602381) ^ [_682466, _682468, _682470, _682472] : [-(thing(f_relationallexistsfn(_682472, _682470, _682468, _682466)))], (2712 ^ _602381) ^ [_682583, _682585] : [arg2isa(_682585, _682583), -(collection(_682583))], (2718 ^ _602381) ^ [_682791, _682793] : [arg2isa(_682793, _682791), -(relation(_682793))], (2724 ^ _602381) ^ [_683013, _683015, _683017] : [-(arg2isa(_683017, _683013)), arg2isa(_683017, _683015), genls(_683015, _683013)], (2734 ^ _602381) ^ [_683336, _683338, _683340] : [-(arg2isa(_683340, _683336)), arg2isa(_683340, _683338), genls(_683338, _683336)], (2744 ^ _602381) ^ [_683631] : [isa(_683631, c_geolevel_1), -(geolevel_1(_683631))], (2750 ^ _602381) ^ [_683819] : [geolevel_1(_683819), -(isa(_683819, c_geolevel_1))], (2756 ^ _602381) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _602381) ^ [_684060] : [isa(_684060, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_684060))], (2764 ^ _602381) ^ [_684248] : [spatialthing_nonsituational(_684248), -(isa(_684248, c_spatialthing_nonsituational))], (2770 ^ _602381) ^ [_684436] : [isa(_684436, c_militaryperson), -(militaryperson(_684436))], (2776 ^ _602381) ^ [_684624] : [militaryperson(_684624), -(isa(_684624, c_militaryperson))], (2782 ^ _602381) ^ [_684812] : [isa(_684812, c_tptpcol_15_72793), -(tptpcol_15_72793(_684812))], (2788 ^ _602381) ^ [_685000] : [tptpcol_15_72793(_685000), -(isa(_685000, c_tptpcol_15_72793))], (2794 ^ _602381) ^ [_685188] : [isa(_685188, c_tptpcol_9_26885), -(tptpcol_9_26885(_685188))], (2800 ^ _602381) ^ [_685376] : [tptpcol_9_26885(_685376), -(isa(_685376, c_tptpcol_9_26885))], (2806 ^ _602381) ^ [_685564] : [isa(_685564, c_tptpcol_10_26886), -(tptpcol_10_26886(_685564))], (2812 ^ _602381) ^ [_685752] : [tptpcol_10_26886(_685752), -(isa(_685752, c_tptpcol_10_26886))], (2818 ^ _602381) ^ [_685954, _685956] : [tptptypes_8_823(_685956, _685954), -(firstordercollection(_685954))], (2824 ^ _602381) ^ [_686162, _686164] : [tptptypes_8_823(_686164, _686162), -(firstordercollection(_686164))], (2830 ^ _602381) ^ [_686356] : [isa(_686356, c_tptpcol_16_92269), -(tptpcol_16_92269(_686356))], (2836 ^ _602381) ^ [_686544] : [tptpcol_16_92269(_686544), -(isa(_686544, c_tptpcol_16_92269))], (2842 ^ _602381) ^ [_686732] : [isa(_686732, c_tptpcol_15_109185), -(tptpcol_15_109185(_686732))], (2848 ^ _602381) ^ [_686920] : [tptpcol_15_109185(_686920), -(isa(_686920, c_tptpcol_15_109185))], (2854 ^ _602381) ^ [_687108] : [isa(_687108, c_tptpcol_6_26627), -(tptpcol_6_26627(_687108))], (2860 ^ _602381) ^ [_687296] : [tptpcol_6_26627(_687296), -(isa(_687296, c_tptpcol_6_26627))], (2866 ^ _602381) ^ [_687484] : [isa(_687484, c_tptpcol_12_118116), -(tptpcol_12_118116(_687484))], (2872 ^ _602381) ^ [_687672] : [tptpcol_12_118116(_687672), -(isa(_687672, c_tptpcol_12_118116))], (2878 ^ _602381) ^ [_687860] : [isa(_687860, c_tptpcol_8_18438), -(tptpcol_8_18438(_687860))], (2884 ^ _602381) ^ [_688048] : [tptpcol_8_18438(_688048), -(isa(_688048, c_tptpcol_8_18438))], (2890 ^ _602381) ^ [_688236] : [isa(_688236, c_tptpcol_15_30970), -(tptpcol_15_30970(_688236))], (2896 ^ _602381) ^ [_688424] : [tptpcol_15_30970(_688424), -(isa(_688424, c_tptpcol_15_30970))], (2902 ^ _602381) ^ [_688612] : [isa(_688612, c_tptpcol_16_30972), -(tptpcol_16_30972(_688612))], (2908 ^ _602381) ^ [_688800] : [tptpcol_16_30972(_688800), -(isa(_688800, c_tptpcol_16_30972))], (2914 ^ _602381) ^ [_688988] : [isa(_688988, c_tptpcol_14_109181), -(tptpcol_14_109181(_688988))], (2920 ^ _602381) ^ [_689176] : [tptpcol_14_109181(_689176), -(isa(_689176, c_tptpcol_14_109181))], (2926 ^ _602381) ^ [_689364] : [isa(_689364, c_physicalorderingpredicate), -(physicalorderingpredicate(_689364))], (2932 ^ _602381) ^ [_689552] : [physicalorderingpredicate(_689552), -(isa(_689552, c_physicalorderingpredicate))], (2938 ^ _602381) ^ [_689740] : [isa(_689740, c_tptpcol_16_7738), -(tptpcol_16_7738(_689740))], (2944 ^ _602381) ^ [_689928] : [tptpcol_16_7738(_689928), -(isa(_689928, c_tptpcol_16_7738))], (2950 ^ _602381) ^ [_690130, _690132] : [tptp_8_968(_690132, _690130), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_690130))], (2956 ^ _602381) ^ [_690338, _690340] : [tptp_8_968(_690340, _690338), -(tptpcol_7_7172(_690340))], (2962 ^ _602381) ^ [_690560, _690562, _690564] : [relationexistsall(_690564, _690562, _690560), -(collection(_690560))], (2968 ^ _602381) ^ [_690790, _690792, _690794] : [relationexistsall(_690794, _690792, _690790), -(collection(_690792))], (2974 ^ _602381) ^ [_691020, _691022, _691024] : [relationexistsall(_691024, _691022, _691020), -(binarypredicate(_691024))], (2980 ^ _602381) ^ [_691222] : [isa(_691222, c_tptpcol_7_26628), -(tptpcol_7_26628(_691222))], (2986 ^ _602381) ^ [_691410] : [tptpcol_7_26628(_691410), -(isa(_691410, c_tptpcol_7_26628))], (2992 ^ _602381) ^ [_691598] : [isa(_691598, c_tptpcol_8_26629), -(tptpcol_8_26629(_691598))], (2998 ^ _602381) ^ [_691786] : [tptpcol_8_26629(_691786), -(isa(_691786, c_tptpcol_8_26629))], (3004 ^ _602381) ^ [_691974] : [isa(_691974, c_tptpcol_3_114688), -(tptpcol_3_114688(_691974))], (3010 ^ _602381) ^ [_692162] : [tptpcol_3_114688(_692162), -(isa(_692162, c_tptpcol_3_114688))], (3016 ^ _602381) ^ [_692335] : [-(natfunction(f_contextofpcwfn(_692335), c_contextofpcwfn))], (3018 ^ _602381) ^ [_692415] : [-(natargument(f_contextofpcwfn(_692415), n_1, _692415))], (3020 ^ _602381) ^ [_692496] : [-(microtheory(f_contextofpcwfn(_692496)))], (3022 ^ _602381) ^ [_692604, _692606] : [arg1isa(_692606, _692604), -(collection(_692604))], (3028 ^ _602381) ^ [_692812, _692814] : [arg1isa(_692814, _692812), -(relation(_692814))], (3034 ^ _602381) ^ [_693034, _693036, _693038] : [-(arg1isa(_693038, _693034)), arg1isa(_693038, _693036), genls(_693036, _693034)], (3044 ^ _602381) ^ [_693357, _693359, _693361] : [-(arg1isa(_693361, _693357)), arg1isa(_693361, _693359), genls(_693359, _693357)], (3054 ^ _602381) ^ [_693666, _693668] : [objectfoundinlocation(_693668, _693666), -(spatialthing_nonsituational(_693666))], (3060 ^ _602381) ^ [_693874, _693876] : [objectfoundinlocation(_693876, _693874), -(spatialthing_localized(_693874))], (3066 ^ _602381) ^ [_694082, _694084] : [objectfoundinlocation(_694084, _694082), -(spatialthing_nonsituational(_694084))], (3072 ^ _602381) ^ [_694290, _694292] : [objectfoundinlocation(_694292, _694290), -(spatialthing_localized(_694292))], (3078 ^ _602381) ^ [_694512, _694514, _694516] : [-(objectfoundinlocation(_694516, _694512)), objectfoundinlocation(_694516, _694514), objectfoundinlocation(_694514, _694512)], (3088 ^ _602381) ^ [_694791] : [objectfoundinlocation(_694791, _694791)], (3090 ^ _602381) ^ [_694912, _694914, _694916] : [-(objectfoundinlocation(_694916, _694912)), objectfoundinlocation(_694916, _694914), geopoliticalsubdivision(_694912, _694914)], (3100 ^ _602381) ^ [_695235, _695237, _695239] : [-(objectfoundinlocation(_695239, _695235)), objectfoundinlocation(_695239, _695237), geographicallysubsumes(_695235, _695237)], (3110 ^ _602381) ^ [_695558, _695560, _695562] : [-(objectfoundinlocation(_695562, _695558)), objectfoundinlocation(_695562, _695560), subregions(_695558, _695560)], (3120 ^ _602381) ^ [_695853] : [isa(_695853, c_ship), -(ship(_695853))], (3126 ^ _602381) ^ [_696041] : [ship(_696041), -(isa(_696041, c_ship))], (3132 ^ _602381) ^ [_696242, _696244, _696246] : [-(natfunction(f_subcollectionofwithrelationtofn(_696246, _696244, _696242), c_subcollectionofwithrelationtofn))], (3134 ^ _602381) ^ [_696356, _696358, _696360] : [-(natargument(f_subcollectionofwithrelationtofn(_696360, _696358, _696356), n_1, _696360))], (3136 ^ _602381) ^ [_696471, _696473, _696475] : [-(natargument(f_subcollectionofwithrelationtofn(_696475, _696473, _696471), n_2, _696473))], (3138 ^ _602381) ^ [_696586, _696588, _696590] : [-(natargument(f_subcollectionofwithrelationtofn(_696590, _696588, _696586), n_3, _696586))], (3140 ^ _602381) ^ [_696701, _696703, _696705] : [-(collection(f_subcollectionofwithrelationtofn(_696705, _696703, _696701)))], (3142 ^ _602381) ^ [_696801] : [isa(_696801, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_696801))], (3148 ^ _602381) ^ [_696989] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_696989), -(isa(_696989, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _602381) ^ [_697177] : [isa(_697177, c_tptpcol_4_65539), -(tptpcol_4_65539(_697177))], (3160 ^ _602381) ^ [_697365] : [tptpcol_4_65539(_697365), -(isa(_697365, c_tptpcol_4_65539))], (3166 ^ _602381) ^ [_697553] : [isa(_697553, c_tptpcol_5_69635), -(tptpcol_5_69635(_697553))], (3172 ^ _602381) ^ [_697741] : [tptpcol_5_69635(_697741), -(isa(_697741, c_tptpcol_5_69635))], (3178 ^ _602381) ^ [_697929] : [isa(_697929, c_tptpcol_3_16386), -(tptpcol_3_16386(_697929))], (3184 ^ _602381) ^ [_698117] : [tptpcol_3_16386(_698117), -(isa(_698117, c_tptpcol_3_16386))], (3190 ^ _602381) ^ [_698319, _698321] : [no(_698321, _698319), -(setorcollection(_698319))], (3196 ^ _602381) ^ [_698527, _698529] : [no(_698529, _698527), -(setorcollection(_698529))], (3202 ^ _602381) ^ [_698735, _698737] : [no(_698737, _698735), -(no(_698735, _698737))], (3208 ^ _602381) ^ [_698959, _698961, _698963] : [-(no(_698963, _698959)), no(_698963, _698961), subsetof(_698959, _698961)], (3218 ^ _602381) ^ [_699282, _699284, _699286] : [-(no(_699282, _699284)), no(_699286, _699284), subsetof(_699282, _699286)], (3228 ^ _602381) ^ [_699605, _699607, _699609] : [-(no(_699605, _699607)), no(_699609, _699607), genls(_699605, _699609)], (3238 ^ _602381) ^ [_699928, _699930, _699932] : [-(no(_699932, _699928)), no(_699932, _699930), genls(_699928, _699930)], (3248 ^ _602381) ^ [_700251, _700253, _700255] : [-(no(_700251, _700253)), no(_700255, _700253), subsetof(_700251, _700255)], (3258 ^ _602381) ^ [_700574, _700576, _700578] : [-(no(_700578, _700574)), no(_700578, _700576), subsetof(_700574, _700576)], (3268 ^ _602381) ^ [_700869] : [isa(_700869, c_geographicalregion), -(geographicalregion(_700869))], (3274 ^ _602381) ^ [_701057] : [geographicalregion(_701057), -(isa(_701057, c_geographicalregion))], (3280 ^ _602381) ^ [_701230] : [-(natfunction(f_tptpquantityfn_21(_701230), c_tptpquantityfn_21))], (3282 ^ _602381) ^ [_701310] : [-(natargument(f_tptpquantityfn_21(_701310), n_1, _701310))], (3284 ^ _602381) ^ [_701391] : [-(tptpquantity(f_tptpquantityfn_21(_701391)))], (3286 ^ _602381) ^ [_701499, _701501] : [airporthasiatacode(_701501, _701499), -(stringoflengthfn3(_701499))], (3292 ^ _602381) ^ [_701707, _701709] : [airporthasiatacode(_701709, _701707), -(airport_physical(_701709))], (3298 ^ _602381) ^ [_701901] : [isa(_701901, c_airport_physical), -(airport_physical(_701901))], (3304 ^ _602381) ^ [_702089] : [airport_physical(_702089), -(isa(_702089, c_airport_physical))], (3310 ^ _602381) ^ [_702290, _702292, _702294] : [-(natfunction(f_instancewithrelationtofn(_702294, _702292, _702290), c_instancewithrelationtofn))], (3312 ^ _602381) ^ [_702404, _702406, _702408] : [-(natargument(f_instancewithrelationtofn(_702408, _702406, _702404), n_1, _702408))], (3314 ^ _602381) ^ [_702519, _702521, _702523] : [-(natargument(f_instancewithrelationtofn(_702523, _702521, _702519), n_2, _702521))], (3316 ^ _602381) ^ [_702634, _702636, _702638] : [-(natargument(f_instancewithrelationtofn(_702638, _702636, _702634), n_3, _702634))], (3318 ^ _602381) ^ [_702749, _702751, _702753] : [-(thing(f_instancewithrelationtofn(_702753, _702751, _702749)))], (3320 ^ _602381) ^ [_702849] : [isa(_702849, c_tptpcol_6_112641), -(tptpcol_6_112641(_702849))], (3326 ^ _602381) ^ [_703037] : [tptpcol_6_112641(_703037), -(isa(_703037, c_tptpcol_6_112641))], (3332 ^ _602381) ^ [_703225] : [isa(_703225, c_tptpcol_7_113665), -(tptpcol_7_113665(_703225))], (3338 ^ _602381) ^ [_703413] : [tptpcol_7_113665(_703413), -(isa(_703413, c_tptpcol_7_113665))], (3344 ^ _602381) ^ [_703601] : [isa(_703601, c_artifact), -(artifact(_703601))], (3350 ^ _602381) ^ [_703789] : [artifact(_703789), -(isa(_703789, c_artifact))], (3356 ^ _602381) ^ [_703977] : [isa(_703977, c_tptpcol_13_18664), -(tptpcol_13_18664(_703977))], (3362 ^ _602381) ^ [_704165] : [tptpcol_13_18664(_704165), -(isa(_704165, c_tptpcol_13_18664))], (3368 ^ _602381) ^ [_704353] : [isa(_704353, c_firstordercollection), -(firstordercollection(_704353))], (3374 ^ _602381) ^ [_704541] : [firstordercollection(_704541), -(isa(_704541, c_firstordercollection))], (3380 ^ _602381) ^ [_704714] : [-(natfunction(f_tptpquantityfn_14(_704714), c_tptpquantityfn_14))], (3382 ^ _602381) ^ [_704794] : [-(natargument(f_tptpquantityfn_14(_704794), n_1, _704794))], (3384 ^ _602381) ^ [_704875] : [-(tptpquantity(f_tptpquantityfn_14(_704875)))], (3386 ^ _602381) ^ [_704969] : [isa(_704969, c_supplies), -(supplies(_704969))], (3392 ^ _602381) ^ [_705157] : [supplies(_705157), -(isa(_705157, c_supplies))], (3398 ^ _602381) ^ [_705345] : [isa(_705345, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_705345))], (3404 ^ _602381) ^ [_705533] : [inanimateobject_nonnatural(_705533), -(isa(_705533, c_inanimateobject_nonnatural))], (3410 ^ _602381) ^ [_705721] : [isa(_705721, c_tptpcol_13_22071), -(tptpcol_13_22071(_705721))], (3416 ^ _602381) ^ [_705909] : [tptpcol_13_22071(_705909), -(isa(_705909, c_tptpcol_13_22071))], (3422 ^ _602381) ^ [_706097] : [isa(_706097, c_tptpcol_14_22072), -(tptpcol_14_22072(_706097))], (3428 ^ _602381) ^ [_706285] : [tptpcol_14_22072(_706285), -(isa(_706285, c_tptpcol_14_22072))], (3434 ^ _602381) ^ [_706473] : [isa(_706473, c_tptpcol_7_108547), -(tptpcol_7_108547(_706473))], (3440 ^ _602381) ^ [_706661] : [tptpcol_7_108547(_706661), -(isa(_706661, c_tptpcol_7_108547))], (3446 ^ _602381) ^ [_706849] : [isa(_706849, c_tptpcol_8_109059), -(tptpcol_8_109059(_706849))], (3452 ^ _602381) ^ [_707037] : [tptpcol_8_109059(_707037), -(isa(_707037, c_tptpcol_8_109059))], (3458 ^ _602381) ^ [_707225] : [isa(_707225, c_tptpcol_14_93774), -(tptpcol_14_93774(_707225))], (3464 ^ _602381) ^ [_707413] : [tptpcol_14_93774(_707413), -(isa(_707413, c_tptpcol_14_93774))], (3470 ^ _602381) ^ [_707601] : [isa(_707601, c_tptpcol_15_93775), -(tptpcol_15_93775(_707601))], (3476 ^ _602381) ^ [_707789] : [tptpcol_15_93775(_707789), -(isa(_707789, c_tptpcol_15_93775))], (3482 ^ _602381) ^ [_707977] : [isa(_707977, c_tptpcol_16_8886), -(tptpcol_16_8886(_707977))], (3488 ^ _602381) ^ [_708165] : [tptpcol_16_8886(_708165), -(isa(_708165, c_tptpcol_16_8886))], (3494 ^ _602381) ^ [_708367, _708369] : [orientation(_708369, _708367), -(orientationvector(_708367))], (3500 ^ _602381) ^ [_708575, _708577] : [orientation(_708577, _708575), -(spatialthing_localized(_708577))], (3506 ^ _602381) ^ [_708769] : [isa(_708769, c_orientationvector), -(orientationvector(_708769))], (3512 ^ _602381) ^ [_708957] : [orientationvector(_708957), -(isa(_708957, c_orientationvector))], (3518 ^ _602381) ^ [_709145] : [isa(_709145, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_709145))], (3524 ^ _602381) ^ [_709333] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_709333), -(isa(_709333, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _602381) ^ [_709535, _709537] : [tptptypes_9_824(_709537, _709535), -(firstordercollection(_709535))], (3536 ^ _602381) ^ [_709743, _709745] : [tptptypes_9_824(_709745, _709743), -(firstordercollection(_709745))], (3542 ^ _602381) ^ [_709951, _709953] : [tptptypes_7_396(_709953, _709951), -(firstordercollection(_709951))], (3548 ^ _602381) ^ [_710159, _710161] : [tptptypes_7_396(_710161, _710159), -(firstordercollection(_710161))], (3554 ^ _602381) ^ [_710353] : [isa(_710353, c_tptpcol_12_22055), -(tptpcol_12_22055(_710353))], (3560 ^ _602381) ^ [_710541] : [tptpcol_12_22055(_710541), -(isa(_710541, c_tptpcol_12_22055))], (3566 ^ _602381) ^ [_710729] : [isa(_710729, c_tptpcol_16_29490), -(tptpcol_16_29490(_710729))], (3572 ^ _602381) ^ [_710917] : [tptpcol_16_29490(_710917), -(isa(_710917, c_tptpcol_16_29490))], (3578 ^ _602381) ^ [_711119, _711121] : [tptp_9_720(_711121, _711119), -(tptpcol_5_28674(_711119))], (3584 ^ _602381) ^ [_711327, _711329] : [tptp_9_720(_711329, _711327), -(executionbyfiringsquad(_711329))], (3590 ^ _602381) ^ [_711521] : [isa(_711521, c_runningshorts), -(runningshorts(_711521))], (3596 ^ _602381) ^ [_711709] : [runningshorts(_711709), -(isa(_711709, c_runningshorts))], (3602 ^ _602381) ^ [_711897] : [isa(_711897, c_tptpcol_9_118019), -(tptpcol_9_118019(_711897))], (3608 ^ _602381) ^ [_712085] : [tptpcol_9_118019(_712085), -(isa(_712085, c_tptpcol_9_118019))], (3614 ^ _602381) ^ [_712273] : [isa(_712273, c_tptpcol_16_31868), -(tptpcol_16_31868(_712273))], (3620 ^ _602381) ^ [_712461] : [tptpcol_16_31868(_712461), -(isa(_712461, c_tptpcol_16_31868))], (3626 ^ _602381) ^ [_712649] : [isa(_712649, c_movement_translationevent), -(movement_translationevent(_712649))], (3632 ^ _602381) ^ [_712837] : [movement_translationevent(_712837), -(isa(_712837, c_movement_translationevent))], (3638 ^ _602381) ^ [_713039, _713041] : [directionoftranslation_throughout(_713041, _713039), -(unitvectorinterval(_713039))], (3644 ^ _602381) ^ [_713247, _713249] : [directionoftranslation_throughout(_713249, _713247), -(movement_translationevent(_713249))], (3650 ^ _602381) ^ [_713469, _713471, _713473] : [-(directionoftranslation_throughout(_713469, _713471)), directionoftranslation_throughout(_713473, _713471), subevents(_713473, _713469)], (3660 ^ _602381) ^ [_713764] : [isa(_713764, c_unitvectorinterval), -(unitvectorinterval(_713764))], (3666 ^ _602381) ^ [_713952] : [unitvectorinterval(_713952), -(isa(_713952, c_unitvectorinterval))], (3672 ^ _602381) ^ [_714140] : [isa(_714140, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_714140))], (3678 ^ _602381) ^ [_714328] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_714328), -(isa(_714328, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _602381) ^ [_714530, _714532] : [tptp_8_875(_714532, _714530), -(tptpcol_4_24578(_714530))], (3690 ^ _602381) ^ [_714738, _714740] : [tptp_8_875(_714740, _714738), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_714740))], (3696 ^ _602381) ^ [_714960, _714962, _714964] : [relationallexists(_714964, _714962, _714960), -(collection(_714960))], (3702 ^ _602381) ^ [_715190, _715192, _715194] : [relationallexists(_715194, _715192, _715190), -(collection(_715192))], (3708 ^ _602381) ^ [_715420, _715422, _715424] : [relationallexists(_715424, _715422, _715420), -(binarypredicate(_715424))], (3714 ^ _602381) ^ [_715622] : [isa(_715622, c_tptpcol_16_10258), -(tptpcol_16_10258(_715622))], (3720 ^ _602381) ^ [_715810] : [tptpcol_16_10258(_715810), -(isa(_715810, c_tptpcol_16_10258))], (3726 ^ _602381) ^ [_715998] : [isa(_715998, c_pushingababycarriage), -(pushingababycarriage(_715998))], (3732 ^ _602381) ^ [_716186] : [pushingababycarriage(_716186), -(isa(_716186, c_pushingababycarriage))], (3738 ^ _602381) ^ [_716374] : [isa(_716374, c_aspatialinformationstore), -(aspatialinformationstore(_716374))], (3744 ^ _602381) ^ [_716562] : [aspatialinformationstore(_716562), -(isa(_716562, c_aspatialinformationstore))], (3750 ^ _602381) ^ [_716750] : [isa(_716750, c_collection), -(collection(_716750))], (3756 ^ _602381) ^ [_716938] : [collection(_716938), -(isa(_716938, c_collection))], (3762 ^ _602381) ^ [_717126] : [isa(_717126, c_fixedordercollection), -(fixedordercollection(_717126))], (3768 ^ _602381) ^ [_717314] : [fixedordercollection(_717314), -(isa(_717314, c_fixedordercollection))], (3774 ^ _602381) ^ [_717502] : [isa(_717502, c_tptpcol_8_92164), -(tptpcol_8_92164(_717502))], (3780 ^ _602381) ^ [_717690] : [tptpcol_8_92164(_717690), -(isa(_717690, c_tptpcol_8_92164))], (3786 ^ _602381) ^ [_717878] : [isa(_717878, c_tptpcol_9_92165), -(tptpcol_9_92165(_717878))], (3792 ^ _602381) ^ [_718066] : [tptpcol_9_92165(_718066), -(isa(_718066, c_tptpcol_9_92165))], (3798 ^ _602381) ^ [_718254] : [isa(_718254, c_tptpcol_1_1), -(tptpcol_1_1(_718254))], (3804 ^ _602381) ^ [_718442] : [tptpcol_1_1(_718442), -(isa(_718442, c_tptpcol_1_1))], (3810 ^ _602381) ^ [_718630] : [isa(_718630, c_tptpcol_2_2), -(tptpcol_2_2(_718630))], (3816 ^ _602381) ^ [_718818] : [tptpcol_2_2(_718818), -(isa(_718818, c_tptpcol_2_2))], (3822 ^ _602381) ^ [_719020, _719022] : [tptptypes_7_691(_719022, _719020), -(firstordercollection(_719020))], (3828 ^ _602381) ^ [_719228, _719230] : [tptptypes_7_691(_719230, _719228), -(firstordercollection(_719230))], (3834 ^ _602381) ^ [_719422] : [isa(_719422, c_tptpcol_11_26887), -(tptpcol_11_26887(_719422))], (3840 ^ _602381) ^ [_719610] : [tptpcol_11_26887(_719610), -(isa(_719610, c_tptpcol_11_26887))], (3846 ^ _602381) ^ [_719798] : [isa(_719798, c_tptpcol_12_26919), -(tptpcol_12_26919(_719798))], (3852 ^ _602381) ^ [_719986] : [tptpcol_12_26919(_719986), -(isa(_719986, c_tptpcol_12_26919))], (3858 ^ _602381) ^ [_720188, _720190] : [tptptypes_6_818(_720190, _720188), -(firstordercollection(_720188))], (3864 ^ _602381) ^ [_720396, _720398] : [tptptypes_6_818(_720398, _720396), -(firstordercollection(_720398))], (3870 ^ _602381) ^ [_720604, _720606] : [tptptypes_7_819(_720606, _720604), -(firstordercollection(_720604))], (3876 ^ _602381) ^ [_720812, _720814] : [tptptypes_7_819(_720814, _720812), -(firstordercollection(_720814))], (3882 ^ _602381) ^ [_721006] : [isa(_721006, c_correctivelensprescription), -(correctivelensprescription(_721006))], (3888 ^ _602381) ^ [_721194] : [correctivelensprescription(_721194), -(isa(_721194, c_correctivelensprescription))], (3894 ^ _602381) ^ [_721396, _721398] : [products(_721398, _721396), -(artifact(_721396))], (3900 ^ _602381) ^ [_721604, _721606] : [products(_721606, _721604), -(creationordestructionevent(_721606))], (3906 ^ _602381) ^ [_721798] : [isa(_721798, c_issuingaprescription), -(issuingaprescription(_721798))], (3912 ^ _602381) ^ [_721986] : [issuingaprescription(_721986), -(isa(_721986, c_issuingaprescription))], (3918 ^ _602381) ^ [_722187, _722189, _722191] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_722191, _722189, _722187), c_subcollectionofwithrelationtotypefn))], (3920 ^ _602381) ^ [_722301, _722303, _722305] : [-(natargument(f_subcollectionofwithrelationtotypefn(_722305, _722303, _722301), n_1, _722305))], (3922 ^ _602381) ^ [_722416, _722418, _722420] : [-(natargument(f_subcollectionofwithrelationtotypefn(_722420, _722418, _722416), n_2, _722418))], (3924 ^ _602381) ^ [_722531, _722533, _722535] : [-(natargument(f_subcollectionofwithrelationtotypefn(_722535, _722533, _722531), n_3, _722531))], (3926 ^ _602381) ^ [_722646, _722648, _722650] : [-(collection(f_subcollectionofwithrelationtotypefn(_722650, _722648, _722646)))], (3928 ^ _602381) ^ [_722746] : [isa(_722746, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_722746))], (3934 ^ _602381) ^ [_722934] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_722934), -(isa(_722934, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _602381) ^ [_723122] : [isa(_723122, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_723122))], (3946 ^ _602381) ^ [_723310] : [mathematicalorcomputationalthing(_723310), -(isa(_723310, c_mathematicalorcomputationalthing))], (3952 ^ _602381) ^ [_723498] : [isa(_723498, c_tptpcol_10_118020), -(tptpcol_10_118020(_723498))], (3958 ^ _602381) ^ [_723686] : [tptpcol_10_118020(_723686), -(isa(_723686, c_tptpcol_10_118020))], (3964 ^ _602381) ^ [_723874] : [isa(_723874, c_tptpcol_11_118084), -(tptpcol_11_118084(_723874))], (3970 ^ _602381) ^ [_724062] : [tptpcol_11_118084(_724062), -(isa(_724062, c_tptpcol_11_118084))], (3976 ^ _602381) ^ [_724250] : [isa(_724250, c_terroristgroup), -(terroristgroup(_724250))], (3982 ^ _602381) ^ [_724438] : [terroristgroup(_724438), -(isa(_724438, c_terroristgroup))], (3988 ^ _602381) ^ [_724640, _724642] : [hasmembers(_724642, _724640), -(agent_generic(_724640))], (3994 ^ _602381) ^ [_724848, _724850] : [hasmembers(_724850, _724848), -(organization(_724850))], (4000 ^ _602381) ^ [_725042] : [isa(_725042, c_terrorist), -(terrorist(_725042))], (4006 ^ _602381) ^ [_725230] : [terrorist(_725230), -(isa(_725230, c_terrorist))], (4012 ^ _602381) ^ [_725431, _725433, _725435] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_725435, _725433, _725431), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _602381) ^ [_725545, _725547, _725549] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_725549, _725547, _725545), n_1, _725549))], (4016 ^ _602381) ^ [_725660, _725662, _725664] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_725664, _725662, _725660), n_2, _725662))], (4018 ^ _602381) ^ [_725775, _725777, _725779] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_725779, _725777, _725775), n_3, _725775))], (4020 ^ _602381) ^ [_725890, _725892, _725894] : [-(collection(f_subcollectionofwithrelationfromtypefn(_725894, _725892, _725890)))], (4022 ^ _602381) ^ [_725990] : [isa(_725990, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_725990))], (4028 ^ _602381) ^ [_726178] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_726178), -(isa(_726178, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _602381) ^ [_726380, _726382] : [prettystring(_726382, _726380), -(controlcharacterfreestring(_726380))], (4040 ^ _602381) ^ [_726588, _726590] : [prettystring(_726590, _726588), -(thing(_726590))], (4046 ^ _602381) ^ [_726782] : [isa(_726782, c_tptpcol_0_0), -(tptpcol_0_0(_726782))], (4052 ^ _602381) ^ [_726970] : [tptpcol_0_0(_726970), -(isa(_726970, c_tptpcol_0_0))], (4058 ^ _602381) ^ [_727158] : [isa(_727158, c_geolevel_3), -(geolevel_3(_727158))], (4064 ^ _602381) ^ [_727346] : [geolevel_3(_727346), -(isa(_727346, c_geolevel_3))], (4070 ^ _602381) ^ [_727534] : [isa(_727534, c_tptpcol_4_24578), -(tptpcol_4_24578(_727534))], (4076 ^ _602381) ^ [_727722] : [tptpcol_4_24578(_727722), -(isa(_727722, c_tptpcol_4_24578))], (4082 ^ _602381) ^ [_727910] : [isa(_727910, c_tptpcol_5_24579), -(tptpcol_5_24579(_727910))], (4088 ^ _602381) ^ [_728098] : [tptpcol_5_24579(_728098), -(isa(_728098, c_tptpcol_5_24579))], (4094 ^ _602381) ^ [_728286] : [isa(_728286, c_tptpcol_5_106498), -(tptpcol_5_106498(_728286))], (4100 ^ _602381) ^ [_728474] : [tptpcol_5_106498(_728474), -(isa(_728474, c_tptpcol_5_106498))], (4106 ^ _602381) ^ [_728662] : [isa(_728662, c_tptpcol_12_109157), -(tptpcol_12_109157(_728662))], (4112 ^ _602381) ^ [_728850] : [tptpcol_12_109157(_728850), -(isa(_728850, c_tptpcol_12_109157))], (4118 ^ _602381) ^ [_729038] : [isa(_729038, c_tptpcol_13_109173), -(tptpcol_13_109173(_729038))], (4124 ^ _602381) ^ [_729226] : [tptpcol_13_109173(_729226), -(isa(_729226, c_tptpcol_13_109173))], (4130 ^ _602381) ^ [_729414] : [isa(_729414, c_mathematicalthing), -(mathematicalthing(_729414))], (4136 ^ _602381) ^ [_729602] : [mathematicalthing(_729602), -(isa(_729602, c_mathematicalthing))], (4142 ^ _602381) ^ [_729790] : [isa(_729790, c_setorcollection), -(setorcollection(_729790))], (4148 ^ _602381) ^ [_729978] : [setorcollection(_729978), -(isa(_729978, c_setorcollection))], (4154 ^ _602381) ^ [_730166] : [isa(_730166, c_tptpcol_11_18631), -(tptpcol_11_18631(_730166))], (4160 ^ _602381) ^ [_730354] : [tptpcol_11_18631(_730354), -(isa(_730354, c_tptpcol_11_18631))], (4166 ^ _602381) ^ [_730542] : [isa(_730542, c_tptpcol_12_18663), -(tptpcol_12_18663(_730542))], (4172 ^ _602381) ^ [_730730] : [tptpcol_12_18663(_730730), -(isa(_730730, c_tptpcol_12_18663))], (4178 ^ _602381) ^ [_730932, _730934] : [tptptypes_8_400(_730934, _730932), -(firstordercollection(_730932))], (4184 ^ _602381) ^ [_731140, _731142] : [tptptypes_8_400(_731142, _731140), -(firstordercollection(_731142))], (4190 ^ _602381) ^ [_731348, _731350] : [tptptypes_9_401(_731350, _731348), -(firstordercollection(_731348))], (4196 ^ _602381) ^ [_731556, _731558] : [tptptypes_9_401(_731558, _731556), -(firstordercollection(_731558))], (4202 ^ _602381) ^ [_731735] : [-(natfunction(f_tptpquantityfn_13(_731735), c_tptpquantityfn_13))], (4204 ^ _602381) ^ [_731815] : [-(natargument(f_tptpquantityfn_13(_731815), n_1, _731815))], (4206 ^ _602381) ^ [_731896] : [-(tptpquantity(f_tptpquantityfn_13(_731896)))], (4208 ^ _602381) ^ [_732004, _732006] : [borderson(_732006, _732004), -(geographicalregion(_732004))], (4214 ^ _602381) ^ [_732212, _732214] : [borderson(_732214, _732212), -(geographicalregion(_732214))], (4220 ^ _602381) ^ [_732420, _732422] : [borderson(_732422, _732420), -(borderson(_732420, _732422))], (4226 ^ _602381) ^ [_732600] : [borderson(_732600, _732600)], (4228 ^ _602381) ^ [_732693] : [isa(_732693, c_tptpcol_14_92264), -(tptpcol_14_92264(_732693))], (4234 ^ _602381) ^ [_732881] : [tptpcol_14_92264(_732881), -(isa(_732881, c_tptpcol_14_92264))], (4240 ^ _602381) ^ [_733069] : [isa(_733069, c_tptpcol_15_92268), -(tptpcol_15_92268(_733069))], (4246 ^ _602381) ^ [_733257] : [tptpcol_15_92268(_733257), -(isa(_733257, c_tptpcol_15_92268))], (4252 ^ _602381) ^ [_733445] : [isa(_733445, c_tptpcol_6_116738), -(tptpcol_6_116738(_733445))], (4258 ^ _602381) ^ [_733633] : [tptpcol_6_116738(_733633), -(isa(_733633, c_tptpcol_6_116738))], (4264 ^ _602381) ^ [_733835, _733837] : [tptptypes_5_387(_733837, _733835), -(firstordercollection(_733835))], (4270 ^ _602381) ^ [_734043, _734045] : [tptptypes_5_387(_734045, _734043), -(firstordercollection(_734045))], (4276 ^ _602381) ^ [_734251, _734253] : [tptptypes_6_388(_734253, _734251), -(firstordercollection(_734251))], (4282 ^ _602381) ^ [_734459, _734461] : [tptptypes_6_388(_734461, _734459), -(firstordercollection(_734461))], (4288 ^ _602381) ^ [_734653] : [isa(_734653, c_shavingrazor_manual), -(shavingrazor_manual(_734653))], (4294 ^ _602381) ^ [_734841] : [shavingrazor_manual(_734841), -(isa(_734841, c_shavingrazor_manual))], (4300 ^ _602381) ^ [_735029] : [isa(_735029, c_tptpcol_9_109060), -(tptpcol_9_109060(_735029))], (4306 ^ _602381) ^ [_735217] : [tptpcol_9_109060(_735217), -(isa(_735217, c_tptpcol_9_109060))], (4312 ^ _602381) ^ [_735405] : [isa(_735405, c_tptpcol_10_109061), -(tptpcol_10_109061(_735405))], (4318 ^ _602381) ^ [_735593] : [tptpcol_10_109061(_735593), -(isa(_735593, c_tptpcol_10_109061))], (4324 ^ _602381) ^ [_735781] : [isa(_735781, c_executionbyfiringsquad), -(executionbyfiringsquad(_735781))], (4330 ^ _602381) ^ [_735969] : [executionbyfiringsquad(_735969), -(isa(_735969, c_executionbyfiringsquad))], (4336 ^ _602381) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _602381) ^ [_736210] : [isa(_736210, c_navypersonnel), -(navypersonnel(_736210))], (4344 ^ _602381) ^ [_736398] : [navypersonnel(_736398), -(isa(_736398, c_navypersonnel))], (4350 ^ _602381) ^ [_736586] : [isa(_736586, c_tptpcol_12_92262), -(tptpcol_12_92262(_736586))], (4356 ^ _602381) ^ [_736774] : [tptpcol_12_92262(_736774), -(isa(_736774, c_tptpcol_12_92262))], (4362 ^ _602381) ^ [_736962] : [isa(_736962, c_thing), -(thing(_736962))], (4368 ^ _602381) ^ [_737150] : [thing(_737150), -(isa(_737150, c_thing))], (4374 ^ _602381) ^ [_737338] : [isa(_737338, c_computerdataartifact), -(computerdataartifact(_737338))], (4380 ^ _602381) ^ [_737526] : [computerdataartifact(_737526), -(isa(_737526, c_computerdataartifact))], (4386 ^ _602381) ^ [_737714] : [isa(_737714, c_applicationcontext), -(applicationcontext(_737714))], (4392 ^ _602381) ^ [_737902] : [applicationcontext(_737902), -(isa(_737902, c_applicationcontext))], (4398 ^ _602381) ^ [_738104, _738106] : [inregion(_738106, _738104), -(spatialthing_nonsituational(_738104))], (4404 ^ _602381) ^ [_738312, _738314] : [inregion(_738314, _738312), -(spatialthing_nonsituational(_738314))], (4410 ^ _602381) ^ [_738534, _738536, _738538] : [-(inregion(_738538, _738534)), inregion(_738538, _738536), inregion(_738536, _738534)], (4420 ^ _602381) ^ [_738829] : [spatialthing_nonsituational(_738829), -(inregion(_738829, _738829))], (4426 ^ _602381) ^ [_739002] : [-(natfunction(f_tptpquantityfn_1(_739002), c_tptpquantityfn_1))], (4428 ^ _602381) ^ [_739082] : [-(natargument(f_tptpquantityfn_1(_739082), n_1, _739082))], (4430 ^ _602381) ^ [_739163] : [-(tptpquantity(f_tptpquantityfn_1(_739163)))], (4432 ^ _602381) ^ [_739257] : [isa(_739257, c_furpelt), -(furpelt(_739257))], (4438 ^ _602381) ^ [_739445] : [furpelt(_739445), -(isa(_739445, c_furpelt))], (4444 ^ _602381) ^ [_739647, _739649] : [tptpofobject(_739649, _739647), -(tptpquantity(_739647))], (4450 ^ _602381) ^ [_739855, _739857] : [tptpofobject(_739857, _739855), -(partiallytangible(_739857))], (4456 ^ _602381) ^ [_740077, _740079, _740081] : [relationallinstance(_740081, _740079, _740077), -(thing(_740077))], (4462 ^ _602381) ^ [_740307, _740309, _740311] : [relationallinstance(_740311, _740309, _740307), -(collection(_740309))], (4468 ^ _602381) ^ [_740537, _740539, _740541] : [relationallinstance(_740541, _740539, _740537), -(binarypredicate(_740541))], (4474 ^ _602381) ^ [_740739] : [isa(_740739, c_tptpcol_13_93766), -(tptpcol_13_93766(_740739))], (4480 ^ _602381) ^ [_740927] : [tptpcol_13_93766(_740927), -(isa(_740927, c_tptpcol_13_93766))], (4486 ^ _602381) ^ [_741115] : [isa(_741115, c_tptpcol_9_40196), -(tptpcol_9_40196(_741115))], (4492 ^ _602381) ^ [_741303] : [tptpcol_9_40196(_741303), -(isa(_741303, c_tptpcol_9_40196))], (4498 ^ _602381) ^ [_741491] : [isa(_741491, c_tptpcol_10_40324), -(tptpcol_10_40324(_741491))], (4504 ^ _602381) ^ [_741679] : [tptpcol_10_40324(_741679), -(isa(_741679, c_tptpcol_10_40324))], (4510 ^ _602381) ^ [_741867] : [isa(_741867, c_tptpcol_7_72707), -(tptpcol_7_72707(_741867))], (4516 ^ _602381) ^ [_742055] : [tptpcol_7_72707(_742055), -(isa(_742055, c_tptpcol_7_72707))], (4522 ^ _602381) ^ [_742243] : [isa(_742243, c_tptpcol_8_72708), -(tptpcol_8_72708(_742243))], (4528 ^ _602381) ^ [_742431] : [tptpcol_8_72708(_742431), -(isa(_742431, c_tptpcol_8_72708))], (4534 ^ _602381) ^ [_742619] : [isa(_742619, c_tptpcol_11_93764), -(tptpcol_11_93764(_742619))], (4540 ^ _602381) ^ [_742807] : [tptpcol_11_93764(_742807), -(isa(_742807, c_tptpcol_11_93764))], (4546 ^ _602381) ^ [_742995] : [isa(_742995, c_tptpcol_12_93765), -(tptpcol_12_93765(_742995))], (4552 ^ _602381) ^ [_743183] : [tptpcol_12_93765(_743183), -(isa(_743183, c_tptpcol_12_93765))], (4558 ^ _602381) ^ [_743371] : [isa(_743371, c_tptpcol_4_114689), -(tptpcol_4_114689(_743371))], (4564 ^ _602381) ^ [_743559] : [tptpcol_4_114689(_743559), -(isa(_743559, c_tptpcol_4_114689))], (4570 ^ _602381) ^ [_743747] : [isa(_743747, c_tptpcol_5_114690), -(tptpcol_5_114690(_743747))], (4576 ^ _602381) ^ [_743935] : [tptpcol_5_114690(_743935), -(isa(_743935, c_tptpcol_5_114690))], (4582 ^ _602381) ^ [_744123] : [isa(_744123, c_tptpcol_3_98305), -(tptpcol_3_98305(_744123))], (4588 ^ _602381) ^ [_744311] : [tptpcol_3_98305(_744311), -(isa(_744311, c_tptpcol_3_98305))], (4594 ^ _602381) ^ [_744499] : [isa(_744499, c_tptpcol_4_106497), -(tptpcol_4_106497(_744499))], (4600 ^ _602381) ^ [_744687] : [tptpcol_4_106497(_744687), -(isa(_744687, c_tptpcol_4_106497))], (4606 ^ _602381) ^ [_744902, _744904, _744906, _744908] : [-(natfunction(f_relationexistsallfn(_744908, _744906, _744904, _744902), c_relationexistsallfn))], (4608 ^ _602381) ^ [_745033, _745035, _745037, _745039] : [-(natargument(f_relationexistsallfn(_745039, _745037, _745035, _745033), n_1, _745039))], (4610 ^ _602381) ^ [_745165, _745167, _745169, _745171] : [-(natargument(f_relationexistsallfn(_745171, _745169, _745167, _745165), n_2, _745169))], (4612 ^ _602381) ^ [_745297, _745299, _745301, _745303] : [-(natargument(f_relationexistsallfn(_745303, _745301, _745299, _745297), n_3, _745299))], (4614 ^ _602381) ^ [_745429, _745431, _745433, _745435] : [-(natargument(f_relationexistsallfn(_745435, _745433, _745431, _745429), n_4, _745429))], (4616 ^ _602381) ^ [_745561, _745563, _745565, _745567] : [-(thing(f_relationexistsallfn(_745567, _745565, _745563, _745561)))], (4618 ^ _602381) ^ [_745678, _745680] : [resultisaarg(_745680, _745678), -(positiveinteger(_745678))], (4624 ^ _602381) ^ [_745886, _745888] : [resultisaarg(_745888, _745886), -(function_denotational(_745888))], (4630 ^ _602381) ^ [_746094, _746096] : [tptptypes_7_389(_746096, _746094), -(firstordercollection(_746094))], (4636 ^ _602381) ^ [_746302, _746304] : [tptptypes_7_389(_746304, _746302), -(firstordercollection(_746304))], (4642 ^ _602381) ^ [_746510, _746512] : [tptptypes_8_390(_746512, _746510), -(firstordercollection(_746510))], (4648 ^ _602381) ^ [_746718, _746720] : [tptptypes_8_390(_746720, _746718), -(firstordercollection(_746720))], (4654 ^ _602381) ^ [_746926, _746928] : [tptptypes_8_692(_746928, _746926), -(firstordercollection(_746926))], (4660 ^ _602381) ^ [_747134, _747136] : [tptptypes_8_692(_747136, _747134), -(firstordercollection(_747136))], (4666 ^ _602381) ^ [_747342, _747344] : [tptptypes_9_693(_747344, _747342), -(firstordercollection(_747342))], (4672 ^ _602381) ^ [_747550, _747552] : [tptptypes_9_693(_747552, _747550), -(firstordercollection(_747552))], (4678 ^ _602381) ^ [_747744] : [isa(_747744, c_tptpcol_11_40388), -(tptpcol_11_40388(_747744))], (4684 ^ _602381) ^ [_747932] : [tptpcol_11_40388(_747932), -(isa(_747932, c_tptpcol_11_40388))], (4690 ^ _602381) ^ [_748120] : [isa(_748120, c_marriagelicensedocument), -(marriagelicensedocument(_748120))], (4696 ^ _602381) ^ [_748308] : [marriagelicensedocument(_748308), -(isa(_748308, c_marriagelicensedocument))], (4702 ^ _602381) ^ [_748496] : [isa(_748496, c_tptpcol_1_65536), -(tptpcol_1_65536(_748496))], (4708 ^ _602381) ^ [_748684] : [tptpcol_1_65536(_748684), -(isa(_748684, c_tptpcol_1_65536))], (4714 ^ _602381) ^ [_748872] : [isa(_748872, c_tptpcol_2_98304), -(tptpcol_2_98304(_748872))], (4720 ^ _602381) ^ [_749060] : [tptpcol_2_98304(_749060), -(isa(_749060, c_tptpcol_2_98304))], (4726 ^ _602381) ^ [_749248] : [isa(_749248, c_tptpcol_10_92166), -(tptpcol_10_92166(_749248))], (4732 ^ _602381) ^ [_749436] : [tptpcol_10_92166(_749436), -(isa(_749436, c_tptpcol_10_92166))], (4738 ^ _602381) ^ [_749624] : [isa(_749624, c_tptpcol_11_92230), -(tptpcol_11_92230(_749624))], (4744 ^ _602381) ^ [_749812] : [tptpcol_11_92230(_749812), -(isa(_749812, c_tptpcol_11_92230))], (4750 ^ _602381) ^ [_750000] : [isa(_750000, c_orderingpredicate), -(orderingpredicate(_750000))], (4756 ^ _602381) ^ [_750188] : [orderingpredicate(_750188), -(isa(_750188, c_orderingpredicate))], (4762 ^ _602381) ^ [_750376] : [isa(_750376, c_tptpcol_9_18439), -(tptpcol_9_18439(_750376))], (4768 ^ _602381) ^ [_750564] : [tptpcol_9_18439(_750564), -(isa(_750564, c_tptpcol_9_18439))], (4774 ^ _602381) ^ [_750752] : [isa(_750752, c_tptpcol_10_18567), -(tptpcol_10_18567(_750752))], (4780 ^ _602381) ^ [_750940] : [tptpcol_10_18567(_750940), -(isa(_750940, c_tptpcol_10_18567))], (4786 ^ _602381) ^ [_751128] : [isa(_751128, c_tptpcol_2_65537), -(tptpcol_2_65537(_751128))], (4792 ^ _602381) ^ [_751316] : [tptpcol_2_65537(_751316), -(isa(_751316, c_tptpcol_2_65537))], (4798 ^ _602381) ^ [_751504] : [isa(_751504, c_tptpcol_3_81921), -(tptpcol_3_81921(_751504))], (4804 ^ _602381) ^ [_751692] : [tptpcol_3_81921(_751692), -(isa(_751692, c_tptpcol_3_81921))], (4810 ^ _602381) ^ [_751880] : [isa(_751880, c_artsupplies), -(artsupplies(_751880))], (4816 ^ _602381) ^ [_752068] : [artsupplies(_752068), -(isa(_752068, c_artsupplies))], (4822 ^ _602381) ^ [_752256] : [isa(_752256, c_enduringthing_localized), -(enduringthing_localized(_752256))], (4828 ^ _602381) ^ [_752444] : [enduringthing_localized(_752444), -(isa(_752444, c_enduringthing_localized))], (4834 ^ _602381) ^ [_752632] : [isa(_752632, c_location_underspecified), -(location_underspecified(_752632))], (4840 ^ _602381) ^ [_752820] : [location_underspecified(_752820), -(isa(_752820, c_location_underspecified))], (4846 ^ _602381) ^ [_753008] : [isa(_753008, c_trajector_underspecified), -(trajector_underspecified(_753008))], (4852 ^ _602381) ^ [_753196] : [trajector_underspecified(_753196), -(isa(_753196, c_trajector_underspecified))], (4858 ^ _602381) ^ [_753384] : [isa(_753384, c_individual), -(individual(_753384))], (4864 ^ _602381) ^ [_753572] : [individual(_753572), -(isa(_753572, c_individual))], (4870 ^ _602381) ^ [_753760] : [isa(_753760, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_753760))], (4876 ^ _602381) ^ [_753948] : [partiallyintangibleindividual(_753948), -(isa(_753948, c_partiallyintangibleindividual))], (4882 ^ _602381) ^ [_754136] : [isa(_754136, c_tptpcol_10_22022), -(tptpcol_10_22022(_754136))], (4888 ^ _602381) ^ [_754324] : [tptpcol_10_22022(_754324), -(isa(_754324, c_tptpcol_10_22022))], (4894 ^ _602381) ^ [_754512] : [isa(_754512, c_tptpcol_11_22023), -(tptpcol_11_22023(_754512))], (4900 ^ _602381) ^ [_754700] : [tptpcol_11_22023(_754700), -(isa(_754700, c_tptpcol_11_22023))], (4906 ^ _602381) ^ [_754888] : [isa(_754888, c_tptpcol_5_20483), -(tptpcol_5_20483(_754888))], (4912 ^ _602381) ^ [_755076] : [tptpcol_5_20483(_755076), -(isa(_755076, c_tptpcol_5_20483))], (4918 ^ _602381) ^ [_755264] : [isa(_755264, c_tptpcol_13_72791), -(tptpcol_13_72791(_755264))], (4924 ^ _602381) ^ [_755452] : [tptpcol_13_72791(_755452), -(isa(_755452, c_tptpcol_13_72791))], (4930 ^ _602381) ^ [_755640] : [isa(_755640, c_tptpcol_14_72792), -(tptpcol_14_72792(_755640))], (4936 ^ _602381) ^ [_755828] : [tptpcol_14_72792(_755828), -(isa(_755828, c_tptpcol_14_72792))], (4942 ^ _602381) ^ [_756016] : [isa(_756016, c_ridgeline_topographical), -(ridgeline_topographical(_756016))], (4948 ^ _602381) ^ [_756204] : [ridgeline_topographical(_756204), -(isa(_756204, c_ridgeline_topographical))], (4954 ^ _602381) ^ [_756392] : [isa(_756392, c_tptpcol_4_16387), -(tptpcol_4_16387(_756392))], (4960 ^ _602381) ^ [_756580] : [tptpcol_4_16387(_756580), -(isa(_756580, c_tptpcol_4_16387))], (4966 ^ _602381) ^ [_756768] : [isa(_756768, c_tptpcol_5_16388), -(tptpcol_5_16388(_756768))], (4972 ^ _602381) ^ [_756956] : [tptpcol_5_16388(_756956), -(isa(_756956, c_tptpcol_5_16388))], (4978 ^ _602381) ^ [_757144] : [isa(_757144, c_tptpcol_8_22020), -(tptpcol_8_22020(_757144))], (4984 ^ _602381) ^ [_757332] : [tptpcol_8_22020(_757332), -(isa(_757332, c_tptpcol_8_22020))], (4990 ^ _602381) ^ [_757520] : [isa(_757520, c_tptpcol_9_22021), -(tptpcol_9_22021(_757520))], (4996 ^ _602381) ^ [_757708] : [tptpcol_9_22021(_757708), -(isa(_757708, c_tptpcol_9_22021))], (5002 ^ _602381) ^ [_757896] : [isa(_757896, c_transitivebinarypredicate), -(transitivebinarypredicate(_757896))], (5008 ^ _602381) ^ [_758084] : [transitivebinarypredicate(_758084), -(isa(_758084, c_transitivebinarypredicate))], (5014 ^ _602381) ^ [_758286, _758288] : [geographicalsubregions(_758288, _758286), -(geographicalregion(_758286))], (5020 ^ _602381) ^ [_758494, _758496] : [geographicalsubregions(_758496, _758494), -(geographicalregion(_758496))], (5026 ^ _602381) ^ [_758716, _758718, _758720] : [-(geographicalsubregions(_758720, _758716)), geographicalsubregions(_758720, _758718), geographicalsubregions(_758718, _758716)], (5036 ^ _602381) ^ [_759011] : [geographicalregion(_759011), -(geographicalsubregions(_759011, _759011))], (5042 ^ _602381) ^ [_759199] : [isa(_759199, c_tptpcol_12_40420), -(tptpcol_12_40420(_759199))], (5048 ^ _602381) ^ [_759387] : [tptpcol_12_40420(_759387), -(isa(_759387, c_tptpcol_12_40420))], (5054 ^ _602381) ^ [_759575] : [isa(_759575, c_tptpcol_13_40421), -(tptpcol_13_40421(_759575))], (5060 ^ _602381) ^ [_759763] : [tptpcol_13_40421(_759763), -(isa(_759763, c_tptpcol_13_40421))], (5066 ^ _602381) ^ [_759951] : [isa(_759951, c_tptpcol_6_92162), -(tptpcol_6_92162(_759951))], (5072 ^ _602381) ^ [_760139] : [tptpcol_6_92162(_760139), -(isa(_760139, c_tptpcol_6_92162))], (5078 ^ _602381) ^ [_760327] : [isa(_760327, c_tptpcol_7_93186), -(tptpcol_7_93186(_760327))], (5084 ^ _602381) ^ [_760515] : [tptpcol_7_93186(_760515), -(isa(_760515, c_tptpcol_7_93186))], (5090 ^ _602381) ^ [_760717, _760719] : [most(_760719, _760717), -(setorcollection(_760717))], (5096 ^ _602381) ^ [_760925, _760927] : [most(_760927, _760925), -(setorcollection(_760925))], (5102 ^ _602381) ^ [_761133, _761135] : [most(_761135, _761133), -(setorcollection(_761135))], (5108 ^ _602381) ^ [_761341, _761343] : [most(_761343, _761341), -(setorcollection(_761343))], (5114 ^ _602381) ^ [_761535] : [setorcollection(_761535), -(most(_761535, _761535))], (5120 ^ _602381) ^ [_761723] : [setorcollection(_761723), -(most(_761723, _761723))], (5126 ^ _602381) ^ [_761939, _761941, _761943] : [-(most(_761943, _761939)), most(_761943, _761941), subsetof(_761941, _761939)], (5136 ^ _602381) ^ [_762262, _762264, _762266] : [-(most(_762266, _762262)), most(_762266, _762264), subsetof(_762264, _762262)], (5146 ^ _602381) ^ [_762571, _762573] : [subsetof(_762573, _762571), -(setorcollection(_762571))], (5152 ^ _602381) ^ [_762779, _762781] : [subsetof(_762781, _762779), -(setorcollection(_762781))], (5158 ^ _602381) ^ [_763001, _763003, _763005] : [-(subsetof(_763005, _763001)), subsetof(_763005, _763003), subsetof(_763003, _763001)], (5168 ^ _602381) ^ [_763296] : [setorcollection(_763296), -(subsetof(_763296, _763296))], (5174 ^ _602381) ^ [_763512, _763514, _763516] : [-(subsetof(_763512, _763514)), subsetof(_763516, _763514), subsetof(_763512, _763516)], (5184 ^ _602381) ^ [_763835, _763837, _763839] : [-(subsetof(_763839, _763835)), subsetof(_763839, _763837), subsetof(_763837, _763835)], (5194 ^ _602381) ^ [_764158, _764160, _764162] : [-(subsetof(_764162, _764158)), subsetof(_764162, _764160), subsetof(_764160, _764158)], (5204 ^ _602381) ^ [_764467, _764469] : [genlpreds(_764469, _764467), -(predicate(_764467))], (5210 ^ _602381) ^ [_764675, _764677] : [genlpreds(_764677, _764675), -(predicate(_764675))], (5216 ^ _602381) ^ [_764883, _764885] : [genlpreds(_764885, _764883), -(predicate(_764885))], (5222 ^ _602381) ^ [_765091, _765093] : [genlpreds(_765093, _765091), -(predicate(_765093))], (5228 ^ _602381) ^ [_765313, _765315, _765317] : [-(genlpreds(_765317, _765313)), genlpreds(_765317, _765315), genlpreds(_765315, _765313)], (5238 ^ _602381) ^ [_765608] : [predicate(_765608), -(genlpreds(_765608, _765608))], (5244 ^ _602381) ^ [_765796] : [predicate(_765796), -(genlpreds(_765796, _765796))], (5250 ^ _602381) ^ [_765998, _766000] : [genlinverse(_766000, _765998), -(binarypredicate(_765998))], (5256 ^ _602381) ^ [_766206, _766208] : [genlinverse(_766208, _766206), -(binarypredicate(_766208))], (5262 ^ _602381) ^ [_766428, _766430, _766432] : [-(genlinverse(_766428, _766430)), genlinverse(_766432, _766430), genlpreds(_766428, _766432)], (5272 ^ _602381) ^ [_766751, _766753, _766755] : [-(genlinverse(_766755, _766751)), genlinverse(_766755, _766753), genlpreds(_766753, _766751)], (5282 ^ _602381) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _602381) ^ [_767099] : [isa(_767099, c_microtheory), -(microtheory(_767099))], (5290 ^ _602381) ^ [_767287] : [microtheory(_767287), -(isa(_767287, c_microtheory))], (5296 ^ _602381) ^ [_767460] : [-(natfunction(f_urlfn(_767460), c_urlfn))], (5298 ^ _602381) ^ [_767540] : [-(natargument(f_urlfn(_767540), n_1, _767540))], (5300 ^ _602381) ^ [_767621] : [-(uniformresourcelocator(f_urlfn(_767621)))], (5302 ^ _602381) ^ [_767700] : [-(natfunction(f_urlreferentfn(_767700), c_urlreferentfn))], (5304 ^ _602381) ^ [_767780] : [-(natargument(f_urlreferentfn(_767780), n_1, _767780))], (5306 ^ _602381) ^ [_767861] : [-(computerdataartifact(f_urlreferentfn(_767861)))], (5308 ^ _602381) ^ [_767954, _767956] : [-(natfunction(f_contentmtofcdafromeventfn(_767956, _767954), c_contentmtofcdafromeventfn))], (5310 ^ _602381) ^ [_768051, _768053] : [-(natargument(f_contentmtofcdafromeventfn(_768053, _768051), n_1, _768053))], (5312 ^ _602381) ^ [_768149, _768151] : [-(natargument(f_contentmtofcdafromeventfn(_768151, _768149), n_2, _768149))], (5314 ^ _602381) ^ [_768247, _768249] : [-(microtheory(f_contentmtofcdafromeventfn(_768249, _768247)))], (5316 ^ _602381) ^ [_768358, _768360] : [isa(_768360, _768358), -(collection(_768358))], (5322 ^ _602381) ^ [_768566, _768568] : [isa(_768568, _768566), -(collection(_768566))], (5328 ^ _602381) ^ [_768774, _768776] : [isa(_768776, _768774), -(thing(_768776))], (5334 ^ _602381) ^ [_768982, _768984] : [isa(_768984, _768982), -(thing(_768984))], (5340 ^ _602381) ^ [_769204, _769206, _769208] : [-(isa(_769208, _769204)), isa(_769208, _769206), genls(_769206, _769204)], (5350 ^ _602381) ^ [_769499] : [isa(_769499, c_inanimateobject), -(inanimateobject(_769499))], (5356 ^ _602381) ^ [_769687] : [inanimateobject(_769687), -(isa(_769687, c_inanimateobject))], (5362 ^ _602381) ^ [_769875] : [isa(_769875, c_tptpcol_9_72709), -(tptpcol_9_72709(_769875))], (5368 ^ _602381) ^ [_770063] : [tptpcol_9_72709(_770063), -(isa(_770063, c_tptpcol_9_72709))], (5374 ^ _602381) ^ [_770251] : [isa(_770251, c_tptpcol_10_72710), -(tptpcol_10_72710(_770251))], (5380 ^ _602381) ^ [_770439] : [tptpcol_10_72710(_770439), -(isa(_770439, c_tptpcol_10_72710))], (5386 ^ _602381) ^ [_770627] : [isa(_770627, c_tptpcol_14_40429), -(tptpcol_14_40429(_770627))], (5392 ^ _602381) ^ [_770815] : [tptpcol_14_40429(_770815), -(isa(_770815, c_tptpcol_14_40429))], (5398 ^ _602381) ^ [_771003] : [isa(_771003, c_tptpcol_15_40430), -(tptpcol_15_40430(_771003))], (5404 ^ _602381) ^ [_771191] : [tptpcol_15_40430(_771191), -(isa(_771191, c_tptpcol_15_40430))], (5410 ^ _602381) ^ [_771393, _771395] : [genls(_771395, _771393), -(collection(_771393))], (5416 ^ _602381) ^ [_771601, _771603] : [genls(_771603, _771601), -(collection(_771601))], (5422 ^ _602381) ^ [_771809, _771811] : [genls(_771811, _771809), -(collection(_771811))], (5428 ^ _602381) ^ [_772017, _772019] : [genls(_772019, _772017), -(collection(_772019))], (5434 ^ _602381) ^ [_772239, _772241, _772243] : [-(genls(_772243, _772239)), genls(_772243, _772241), genls(_772241, _772239)], (5444 ^ _602381) ^ [_772534] : [collection(_772534), -(genls(_772534, _772534))], (5450 ^ _602381) ^ [_772722] : [collection(_772722), -(genls(_772722, _772722))], (5456 ^ _602381) ^ [_772938, _772940, _772942] : [-(genls(_772938, _772940)), genls(_772942, _772940), genls(_772938, _772942)], (5466 ^ _602381) ^ [_773261, _773263, _773265] : [-(genls(_773265, _773261)), genls(_773265, _773263), genls(_773263, _773261)], (5476 ^ _602381) ^ [_773556] : [isa(_773556, c_partiallytangible), -(partiallytangible(_773556))], (5482 ^ _602381) ^ [_773744] : [partiallytangible(_773744), -(isa(_773744, c_partiallytangible))], (5488 ^ _602381) ^ [_773932] : [isa(_773932, c_intangible), -(intangible(_773932))], (5494 ^ _602381) ^ [_774120] : [intangible(_774120), -(isa(_774120, c_intangible))], (5500 ^ _602381) ^ [_774322, _774324] : [disjointwith(_774324, _774322), -(collection(_774322))], (5506 ^ _602381) ^ [_774530, _774532] : [disjointwith(_774532, _774530), -(collection(_774532))], (5512 ^ _602381) ^ [_774738, _774740] : [disjointwith(_774740, _774738), -(disjointwith(_774738, _774740))], (5518 ^ _602381) ^ [_774962, _774964, _774966] : [-(disjointwith(_774966, _774962)), disjointwith(_774966, _774964), genls(_774962, _774964)], (5528 ^ _602381) ^ [_775285, _775287, _775289] : [-(disjointwith(_775285, _775287)), disjointwith(_775289, _775287), genls(_775285, _775289)], (5538 ^ _602381) ^ [_775594, _775596] : [-(mtvisible(_775594)), mtvisible(_775596), genlmt(_775596, _775594)], (5548 ^ _602381) ^ [_775889, _775891] : [genlmt(_775891, _775889), -(microtheory(_775889))], (5554 ^ _602381) ^ [_776097, _776099] : [genlmt(_776099, _776097), -(microtheory(_776097))], (5560 ^ _602381) ^ [_776305, _776307] : [genlmt(_776307, _776305), -(microtheory(_776307))], (5566 ^ _602381) ^ [_776513, _776515] : [genlmt(_776515, _776513), -(microtheory(_776515))], (5572 ^ _602381) ^ [_776735, _776737, _776739] : [-(genlmt(_776739, _776735)), genlmt(_776739, _776737), genlmt(_776737, _776735)], (5582 ^ _602381) ^ [_777030] : [microtheory(_777030), -(genlmt(_777030, _777030))], (5594 ^ _602381) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _602381) ^ [_777218] : [microtheory(_777218), -(genlmt(_777218, _777218))]], input).
% 0.44/1.37  ncf('1',plain,[tptp_8_271(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), c_theprototypicalshavingrazor_manual), tptpcol_16_25972(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))],start(5598 ^ 0,bind([[_791961], [f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual)]]))).
% 0.44/1.37  ncf('1.1',plain,[-(tptp_8_271(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), c_theprototypicalshavingrazor_manual)), shavingrazor_manual(c_theprototypicalshavingrazor_manual)],extension(1522 ^ 1,bind([[_645687], [c_theprototypicalshavingrazor_manual]]))).
% 0.44/1.37  ncf('1.1.1',plain,[-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))],extension(374 ^ 2)).
% 0.44/1.37  ncf('1.2',plain,[-(tptpcol_16_25972(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))), isa(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), c_tptpcol_16_25972)],extension(2310 ^ 1,bind([[_669252], [f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual)]]))).
% 0.44/1.37  ncf('1.2.1',plain,[-(isa(f_relationexistsallfn(c_theprototypicalshavingrazor_manual, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), c_tptpcol_16_25972)), isa(c_theprototypicalshavingrazor_manual, c_shavingrazor_manual), relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual)],extension(244 ^ 2,bind([[_609525, _609527, _609529, _609531], [c_tptpcol_16_25972, c_tptp_8_271, c_shavingrazor_manual, c_theprototypicalshavingrazor_manual]]))).
% 0.44/1.37  ncf('1.2.1.1',plain,[-(isa(c_theprototypicalshavingrazor_manual, c_shavingrazor_manual)), shavingrazor_manual(c_theprototypicalshavingrazor_manual)],extension(4294 ^ 3,bind([[_734841], [c_theprototypicalshavingrazor_manual]]))).
% 0.44/1.37  ncf('1.2.1.1.1',plain,[-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))],extension(374 ^ 4)).
% 0.44/1.37  ncf('1.2.1.2',plain,[-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))],extension(1528 ^ 3)).
% 0.44/1.37  %-----------------------------------------------------
% 0.44/1.37  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------