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

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

% Result   : Theorem 3.60s 4.48s
% Output   : Proof 3.60s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : CSR070+2 : TPTP v8.1.2. Released v3.4.0.
% 0.10/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n007.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 : Thu May 18 23:39:23 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 3.60/4.48  
% 3.60/4.48  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 3.60/4.48  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 3.60/4.48  %-----------------------------------------------------
% 3.60/4.48  ncf(matrix, plain, [(5596 ^ _603679) ^ [] : [-(mtvisible(c_tptp_spindlecollectormt))], (5598 ^ _603679) ^ [] : [tptptypes_5_802(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)], (2 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _603679) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _603679) ^ [_603884] : [intangible(_603884), partiallytangible(_603884)], (12 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _603679) ^ [_604122] : [tptpcol_15_40430(_604122), -(tptpcol_14_40429(_604122))], (20 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _603679) ^ [_604361] : [tptpcol_10_72710(_604361), -(tptpcol_9_72709(_604361))], (28 ^ _603679) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _603679) ^ [_604600] : [inanimateobject(_604600), -(partiallytangible(_604600))], (36 ^ _603679) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _603679) ^ [_604867, _604869, _604871] : [-(genlpreds(_604871, _604867)), genlinverse(_604871, _604869), genlinverse(_604869, _604867)], (48 ^ _603679) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _603679) ^ [_605229, _605231] : [subsetof(_605231, _605229), -(most(_605231, _605229))], (56 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _603679) ^ [_605478] : [tptpcol_7_93186(_605478), -(tptpcol_6_92162(_605478))], (64 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _603679) ^ [_605717] : [tptpcol_13_40421(_605717), -(tptpcol_12_40420(_605717))], (72 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _603679) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _603679) ^ [_606181] : [tptpcol_9_22021(_606181), -(tptpcol_8_22020(_606181))], (90 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _603679) ^ [_606420] : [tptpcol_5_16388(_606420), -(tptpcol_4_16387(_606420))], (98 ^ _603679) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _603679) ^ [_606778] : [tptpcol_14_72792(_606778), -(tptpcol_13_72791(_606778))], (112 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _603679) ^ [_607017] : [tptpcol_5_20483(_607017), -(tptpcol_4_16387(_607017))], (120 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _603679) ^ [_607256] : [tptpcol_11_22023(_607256), -(tptpcol_10_22022(_607256))], (128 ^ _603679) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _603679) ^ [_607495] : [partiallyintangibleindividual(_607495), -(individual(_607495))], (136 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _603679) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _603679) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _603679) ^ [_607840] : [trajector_underspecified(_607840), -(location_underspecified(_607840))], (148 ^ _603679) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _603679) ^ [_608079] : [partiallytangible(_608079), -(enduringthing_localized(_608079))], (156 ^ _603679) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _603679) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _603679) ^ [_608437] : [tptpcol_3_81921(_608437), -(tptpcol_2_65537(_608437))], (170 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _603679) ^ [_608676] : [tptpcol_10_18567(_608676), -(tptpcol_9_18439(_608676))], (178 ^ _603679) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _603679) ^ [_608915] : [orderingpredicate(_608915), -(transitivebinarypredicate(_608915))], (186 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _603679) ^ [_609154] : [tptpcol_11_92230(_609154), -(tptpcol_10_92166(_609154))], (194 ^ _603679) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _603679) ^ [_609393] : [tptpcol_2_98304(_609393), -(tptpcol_1_65536(_609393))], (202 ^ _603679) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _603679) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _603679) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _603679) ^ [_609857] : [tptpcol_12_40420(_609857), -(tptpcol_11_40388(_609857))], (220 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _603679) ^ [_610110, _610112] : [tptptypes_9_693(_610112, _610110), -(tptptypes_8_692(_610112, _610110))], (228 ^ _603679) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _603679) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _603679) ^ [_610479, _610481] : [tptptypes_8_390(_610481, _610479), -(tptptypes_7_389(_610481, _610479))], (240 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _603679) ^ [_610823, _610825, _610827, _610829] : [-(isa(f_relationexistsallfn(_610829, _610825, _610823, _610827), _610823)), isa(_610829, _610827), relationexistsall(_610825, _610823, _610827)], (254 ^ _603679) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _603679) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _603679) ^ [_611352] : [tptpcol_4_106497(_611352), -(tptpcol_3_98305(_611352))], (268 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _603679) ^ [_611591] : [tptpcol_5_114690(_611591), -(tptpcol_4_114689(_611591))], (276 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _603679) ^ [_611830] : [tptpcol_12_93765(_611830), -(tptpcol_11_93764(_611830))], (284 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _603679) ^ [_612069] : [tptpcol_8_72708(_612069), -(tptpcol_7_72707(_612069))], (292 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _603679) ^ [_612308] : [tptpcol_10_40324(_612308), -(tptpcol_9_40196(_612308))], (300 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _603679) ^ [_612547] : [tptpcol_13_93766(_612547), -(tptpcol_12_93765(_612547))], (308 ^ _603679) ^ [_612733] : [-(tptpofobject(_612733, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_612733)], (318 ^ _603679) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _603679) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _603679) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _603679) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _603679) ^ [_613397] : [location_underspecified(_613397), -(thing(_613397))], (342 ^ _603679) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _603679) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _603679) ^ [_613742] : [tptpcol_12_92262(_613742), -(tptpcol_11_92230(_613742))], (354 ^ _603679) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _603679) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _603679) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _603679) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _603679) ^ [_614259] : [tptpcol_10_109061(_614259), -(tptpcol_9_109060(_614259))], (374 ^ _603679) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _603679) ^ [_614565, _614567] : [tptptypes_6_388(_614567, _614565), -(tptptypes_5_387(_614567, _614565))], (384 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _603679) ^ [_614814] : [tptpcol_6_116738(_614814), -(tptpcol_5_114690(_614814))], (392 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _603679) ^ [_615053] : [tptpcol_15_92268(_615053), -(tptpcol_14_92264(_615053))], (400 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _603679) ^ [_615358] : [-(tptpofobject(_615358, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_615358)], (416 ^ _603679) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _603679) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _603679) ^ [_615811, _615813] : [tptptypes_9_401(_615813, _615811), -(tptptypes_8_400(_615811, _615813))], (430 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _603679) ^ [_616060] : [tptpcol_12_18663(_616060), -(tptpcol_11_18631(_616060))], (438 ^ _603679) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _603679) ^ [_616299] : [setorcollection(_616299), -(mathematicalthing(_616299))], (446 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _603679) ^ [_616538] : [tptpcol_13_109173(_616538), -(tptpcol_12_109157(_616538))], (454 ^ _603679) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _603679) ^ [_616830] : [tptpcol_5_106498(_616830), -(tptpcol_4_106497(_616830))], (464 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _603679) ^ [_617069] : [tptpcol_5_24579(_617069), -(tptpcol_4_24578(_617069))], (472 ^ _603679) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _603679) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _603679) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _603679) ^ [_617599] : [tptpcol_1_65536(_617599), -(tptpcol_0_0(_617599))], (494 ^ _603679) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _603679) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _603679) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _603679) ^ [_618024, _618026] : [geographicalsubregions(_618026, _618024), -(inregion(_618024, _618026))], (510 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _603679) ^ [_618273] : [tptpcol_11_118084(_618273), -(tptpcol_10_118020(_618273))], (518 ^ _603679) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _603679) ^ [_618512] : [mathematicalorcomputationalthing(_618512), -(intangible(_618512))], (526 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _603679) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _603679) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _603679) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _603679) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _603679) ^ [_619030, _619032] : [tptptypes_7_819(_619032, _619030), -(tptptypes_6_818(_619032, _619030))], (544 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _603679) ^ [_619332] : [tptpcol_12_26919(_619332), -(tptpcol_11_26887(_619332))], (554 ^ _603679) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _603679) ^ [_619585, _619587] : [tptptypes_8_692(_619587, _619585), -(tptptypes_7_691(_619585, _619587))], (562 ^ _603679) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _603679) ^ [_619834] : [tptpcol_2_2(_619834), -(tptpcol_1_1(_619834))], (570 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _603679) ^ [_620126] : [tptpcol_9_92165(_620126), -(tptpcol_8_92164(_620126))], (580 ^ _603679) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _603679) ^ [_620365] : [fixedordercollection(_620365), -(collection(_620365))], (588 ^ _603679) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _603679) ^ [_620604] : [tptpcol_1_1(_620604), tptpcol_1_65536(_620604)], (596 ^ _603679) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _603679) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _603679) ^ [_620895] : [microtheory(_620895), -(aspatialinformationstore(_620895))], (606 ^ _603679) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _603679) ^ [_621200] : [-(tptp_8_875(_621200, f_relationallexistsfn(_621200, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_621200, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _603679) ^ [] : [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 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _603679) ^ [_621651] : [tptpcol_10_118020(_621651), -(tptpcol_9_118019(_621651))], (636 ^ _603679) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _603679) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _603679) ^ [_622009] : [-(tptp_9_720(_622009, f_relationallexistsfn(_622009, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_622009)], (654 ^ _603679) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _603679) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _603679) ^ [_622458] : [individual(_622458), setorcollection(_622458)], (668 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _603679) ^ [_622696] : [tptpcol_12_22055(_622696), -(tptpcol_11_22023(_622696))], (676 ^ _603679) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _603679) ^ [_622935] : [applicationcontext(_622935), -(microtheory(_622935))], (684 ^ _603679) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _603679) ^ [_623241, _623243] : [tptptypes_8_400(_623243, _623241), -(tptptypes_7_396(_623243, _623241))], (694 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _603679) ^ [_623490] : [tptpcol_11_18631(_623490), -(tptpcol_10_18567(_623490))], (702 ^ _603679) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _603679) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _603679) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _603679) ^ [_623901] : [mathematicalthing(_623901), -(mathematicalorcomputationalthing(_623901))], (718 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _603679) ^ [_624193] : [tptpcol_15_93775(_624193), -(tptpcol_14_93774(_624193))], (728 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _603679) ^ [_624432] : [tptpcol_8_109059(_624432), -(tptpcol_7_108547(_624432))], (736 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _603679) ^ [_624671] : [tptpcol_14_40429(_624671), -(tptpcol_13_40421(_624671))], (744 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _603679) ^ [_625029] : [tptpcol_14_22072(_625029), -(tptpcol_13_22071(_625029))], (758 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _603679) ^ [_625268] : [tptpcol_14_93774(_625268), -(tptpcol_13_93766(_625268))], (766 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _603679) ^ [_625507] : [tptpcol_10_22022(_625507), -(tptpcol_9_22021(_625507))], (774 ^ _603679) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _603679) ^ [_625746] : [inanimateobject_nonnatural(_625746), -(inanimateobject(_625746))], (782 ^ _603679) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _603679) ^ [_626091] : [tptpcol_9_72709(_626091), -(tptpcol_8_72708(_626091))], (794 ^ _603679) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _603679) ^ [_626330] : [-(tptpofobject(_626330, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_626330)], (806 ^ _603679) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _603679) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _603679) ^ [_626769] : [firstordercollection(_626769), -(fixedordercollection(_626769))], (820 ^ _603679) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _603679) ^ [_627180] : [tptpcol_13_18664(_627180), -(tptpcol_12_18663(_627180))], (836 ^ _603679) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _603679) ^ [_627419] : [artifact(_627419), -(inanimateobject_nonnatural(_627419))], (844 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _603679) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _603679) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _603679) ^ [_627817] : [tptpcol_7_113665(_627817), -(tptpcol_6_112641(_627817))], (858 ^ _603679) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _603679) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _603679) ^ [_628175] : [geographicalregion(_628175), -(partiallytangible(_628175))], (872 ^ _603679) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _603679) ^ [_628428, _628430] : [disjointwith(_628430, _628428), -(no(_628430, _628428))], (880 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _603679) ^ [_628677] : [tptpcol_4_24578(_628677), -(tptpcol_3_16386(_628677))], (888 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _603679) ^ [_628916] : [tptpcol_5_69635(_628916), -(tptpcol_4_65539(_628916))], (896 ^ _603679) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _603679) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _603679) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _603679) ^ [_629275, _629277] : [genls(_629277, _629275), -(collection(_629277))], (908 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _603679) ^ [_629522] : [tptpcol_13_22071(_629522), -(tptpcol_12_22055(_629522))], (916 ^ _603679) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _603679) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _603679) ^ [_629814] : [tptpcol_3_98305(_629814), -(tptpcol_2_98304(_629814))], (926 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _603679) ^ [_630053] : [tptpcol_4_114689(_630053), -(tptpcol_3_114688(_630053))], (934 ^ _603679) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _603679) ^ [_630292] : [artsupplies(_630292), -(supplies(_630292))], (942 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _603679) ^ [_630531] : [tptpcol_8_26629(_630531), -(tptpcol_7_26628(_630531))], (950 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _603679) ^ [_630770] : [tptpcol_9_109060(_630770), -(tptpcol_8_109059(_630770))], (958 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _603679) ^ [_631009] : [isa(_631009, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_631009, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _631009))], (966 ^ _603679) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _603679) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _603679) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _603679) ^ [_631593] : [tptpcol_14_109181(_631593), -(tptpcol_13_109173(_631593))], (988 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _603679) ^ [_631832] : [tptpcol_16_30972(_631832), -(tptpcol_15_30970(_631832))], (996 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _603679) ^ [_632124] : [tptpcol_9_18439(_632124), -(tptpcol_8_18438(_632124))], (1006 ^ _603679) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _603679) ^ [_632416] : [tptpcol_12_118116(_632416), -(tptpcol_11_118084(_632416))], (1016 ^ _603679) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _603679) ^ [_632708] : [tptpcol_7_26628(_632708), -(tptpcol_6_26627(_632708))], (1026 ^ _603679) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _603679) ^ [_632961, _632963] : [most(_632963, _632961), -(setorcollection(_632963))], (1034 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _603679) ^ [_633208] : [tptpcol_15_109185(_633208), -(tptpcol_14_109181(_633208))], (1042 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _603679) ^ [_633447] : [tptpcol_16_92269(_633447), -(tptpcol_15_92268(_633447))], (1050 ^ _603679) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _603679) ^ [_633753, _633755] : [tptptypes_8_823(_633755, _633753), -(tptptypes_7_819(_633755, _633753))], (1060 ^ _603679) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _603679) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _603679) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _603679) ^ [_634333] : [tptpcol_10_26886(_634333), -(tptpcol_9_26885(_634333))], (1082 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _603679) ^ [_634625] : [tptpcol_15_72793(_634625), -(tptpcol_14_72792(_634625))], (1092 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _603679) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _603679) ^ [_634983] : [navypersonnel(_634983), -(militaryperson(_634983))], (1106 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _603679) ^ [_635222] : [tptpcol_4_16387(_635222), -(tptpcol_3_16386(_635222))], (1114 ^ _603679) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _603679) ^ [_635461] : [enduringthing_localized(_635461), -(spatialthing_nonsituational(_635461))], (1122 ^ _603679) ^ [_635647] : [collection(_635647), individual(_635647)], (1128 ^ _603679) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _603679) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _603679) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _603679) ^ [_636176] : [physicalorderingpredicate(_636176), -(orderingpredicate(_636176))], (1150 ^ _603679) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _603679) ^ [_636429, _636431] : [disjointwith(_636431, _636429), -(collection(_636429))], (1158 ^ _603679) ^ [_636665, _636667, _636669, _636671] : [-(isa(f_relationallexistsfn(_636671, _636667, _636669, _636665), _636665)), isa(_636671, _636669), relationallexists(_636667, _636669, _636665)], (1168 ^ _603679) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _603679) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _603679) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _603679) ^ [_637274, _637276] : [tptptypes_7_389(_637276, _637274), -(tptptypes_6_388(_637274, _637276))], (1186 ^ _603679) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _603679) ^ [_637589] : [-(hpkb_subnationalagent(_637589)), mtvisible(c_hpkbvocabmt), state_geopolitical(_637589)], (1202 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _603679) ^ [_637907] : [tptpcol_8_22020(_637907), -(tptpcol_7_21508(_637907))], (1210 ^ _603679) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _603679) ^ [_638146] : [-(tptp_9_51(f_relationexistsallfn(_638146, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _638146)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_638146, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _603679) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _603679) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _603679) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _603679) ^ [_638650] : [tptpcol_3_65538(_638650), -(tptpcol_2_65537(_638650))], (1238 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _603679) ^ [_638889] : [tptpcol_14_26921(_638889), -(tptpcol_13_26920(_638889))], (1246 ^ _603679) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _603679) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _603679) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _603679) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _603679) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _603679) ^ [_639340] : [intangibleindividual(_639340), -(partiallyintangibleindividual(_639340))], (1262 ^ _603679) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _603679) ^ [_639698] : [tptpcol_16_130924(_639698), -(tptpcol_15_130923(_639698))], (1276 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _603679) ^ [_639937] : [tptpcol_7_92163(_639937), -(tptpcol_6_92162(_639937))], (1284 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _603679) ^ [_640229] : [tptpcol_16_130933(_640229), -(tptpcol_15_130931(_640229))], (1294 ^ _603679) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _603679) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _603679) ^ [_640535, _640537] : [no(_640537, _640535), -(few(_640537, _640535))], (1304 ^ _603679) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _603679) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _603679) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _603679) ^ [_640943] : [tptpcol_6_20484(_640943), -(tptpcol_5_20483(_640943))], (1318 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _603679) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _603679) ^ [_641407] : [tptpcol_7_108547(_641407), -(tptpcol_6_108546(_641407))], (1336 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _603679) ^ [_641646] : [tptpcol_11_109125(_641646), -(tptpcol_10_109061(_641646))], (1344 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _603679) ^ [_641938] : [tptpcol_8_93698(_641938), -(tptpcol_7_93186(_641938))], (1354 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _603679) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _603679) ^ [_642230] : [tptpcol_2_65537(_642230), -(tptpcol_1_65536(_642230))], (1364 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _603679) ^ [_642522] : [tptpcol_6_18436(_642522), -(tptpcol_5_16388(_642522))], (1374 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _603679) ^ [_642761] : [tptpcol_8_18438(_642761), -(tptpcol_7_18437(_642761))], (1382 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _603679) ^ [_643119] : [tptpcol_8_117763(_643119), -(tptpcol_7_117762(_643119))], (1396 ^ _603679) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _603679) ^ [_643411] : [tptpcol_12_109157(_643411), -(tptpcol_11_109125(_643411))], (1406 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _603679) ^ [_643650] : [tptpcol_7_117762(_643650), -(tptpcol_6_116738(_643650))], (1414 ^ _603679) ^ [_643864, _643866, _643868] : [isa(_643868, _643866), isa(_643868, _643864), disjointwith(_643866, _643864)], (1424 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _603679) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _603679) ^ [_644264] : [aspatialinformationstore(_644264), -(aspatialthing(_644264))], (1434 ^ _603679) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _603679) ^ [_644662] : [tptpcol_9_93699(_644662), -(tptpcol_8_93698(_644662))], (1448 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _603679) ^ [_644901] : [tptpcol_11_93764(_644901), -(tptpcol_10_93700(_644901))], (1456 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _603679) ^ [_645140] : [tptpcol_6_26627(_645140), -(tptpcol_5_24579(_645140))], (1464 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _603679) ^ [_645379] : [tptpcol_4_90113(_645379), -(tptpcol_3_81921(_645379))], (1472 ^ _603679) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _603679) ^ [_645671] : [tptpcol_10_93700(_645671), -(tptpcol_9_93699(_645671))], (1482 ^ _603679) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _603679) ^ [_645910] : [aspatialinformationstore(_645910), -(intangibleindividual(_645910))], (1490 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _603679) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _603679) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _603679) ^ [_646321] : [tptpcol_3_16386(_646321), -(tptpcol_2_2(_646321))], (1506 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _603679) ^ [_646560] : [tptpcol_9_118019(_646560), -(tptpcol_8_117763(_646560))], (1514 ^ _603679) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _603679) ^ [_646799] : [individual(_646799), -(trajector_underspecified(_646799))], (1522 ^ _603679) ^ [_646985] : [shavingrazor_manual(_646985), -(tptp_8_271(f_relationexistsallfn(_646985, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _646985))], (1528 ^ _603679) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _603679) ^ [_647289] : [tptpcol_6_112641(_647289), -(tptpcol_5_110593(_647289))], (1538 ^ _603679) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _603679) ^ [_647528] : [tptpcol_12_72775(_647528), -(tptpcol_11_72774(_647528))], (1546 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _603679) ^ [_647767] : [tptpcol_7_72707(_647767), -(tptpcol_6_71683(_647767))], (1554 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _603679) ^ [_648006] : [tptpcol_16_50958(_648006), -(tptpcol_15_50957(_648006))], (1562 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _603679) ^ [_648245] : [tptpcol_8_114177(_648245), -(tptpcol_7_113665(_648245))], (1570 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _603679) ^ [_648484] : [tptpcol_16_72795(_648484), -(tptpcol_15_72793(_648484))], (1578 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _603679) ^ [_648723] : [tptpcol_6_71683(_648723), -(tptpcol_5_69635(_648723))], (1586 ^ _603679) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _603679) ^ [_649029, _649031] : [tptptypes_7_396(_649031, _649029), -(tptptypes_6_388(_649031, _649029))], (1596 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _603679) ^ [_649278] : [tptpcol_9_26885(_649278), -(tptpcol_8_26629(_649278))], (1604 ^ _603679) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _603679) ^ [_649531, _649533] : [genls(_649533, _649531), -(subsetof(_649533, _649531))], (1612 ^ _603679) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _603679) ^ [_649847, _649849] : [tptptypes_6_818(_649849, _649847), -(tptptypes_5_802(_649849, _649847))], (1622 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _603679) ^ [_650096] : [tptpcol_6_92162(_650096), -(tptpcol_5_90114(_650096))], (1630 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _603679) ^ [_650388] : [tptpcol_8_92164(_650388), -(tptpcol_7_92163(_650388))], (1640 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _603679) ^ [_650627] : [tptpcol_13_118117(_650627), -(tptpcol_12_118116(_650627))], (1648 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _603679) ^ [_650866] : [tptpcol_11_40388(_650866), -(tptpcol_10_40324(_650866))], (1656 ^ _603679) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _603679) ^ [_651119, _651121] : [tptptypes_9_824(_651121, _651119), -(tptptypes_8_823(_651121, _651119))], (1664 ^ _603679) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _603679) ^ [_651421] : [tptpcol_11_26887(_651421), -(tptpcol_10_26886(_651421))], (1674 ^ _603679) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _603679) ^ [_651660] : [tptpcol_16_26926(_651660), -(tptpcol_15_26925(_651660))], (1682 ^ _603679) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _603679) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _603679) ^ [_651966, _651968] : [few(_651968, _651966), -(setorcollection(_651966))], (1692 ^ _603679) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _603679) ^ [_652213] : [tptpcol_4_65539(_652213), -(tptpcol_3_65538(_652213))], (1700 ^ _603679) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _603679) ^ [_652452] : [tptpcol_8_39940(_652452), -(tptpcol_7_39939(_652452))], (1708 ^ _603679) ^ [_652638] : [-(tptpofobject(_652638, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_652638)], (1718 ^ _603679) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _603679) ^ [_653077] : [tptpcol_15_22076(_653077), -(tptpcol_14_22072(_653077))], (1732 ^ _603679) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _603679) ^ [_653316] : [tptpcol_0_0(_653316), -(individual(_653316))], (1740 ^ _603679) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _603679) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _603679) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _603679) ^ [_653714] : [tptpcol_11_72774(_653714), -(tptpcol_10_72710(_653714))], (1754 ^ _603679) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _603679) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _603679) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _603679) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _603679) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _603679) ^ [_654350] : [tptpcol_7_21508(_654350), -(tptpcol_6_20484(_654350))], (1780 ^ _603679) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _603679) ^ [_654589] : [tptpcol_6_108546(_654589), -(tptpcol_5_106498(_654589))], (1788 ^ _603679) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _603679) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _603679) ^ [_654947] : [geolevel_4(_654947), -(geographicalregion(_654947))], (1802 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _603679) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _603679) ^ [_655424] : [tptpcol_13_26920(_655424), -(tptpcol_12_26919(_655424))], (1822 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _603679) ^ [_655663] : [tptpcol_14_92264(_655663), -(tptpcol_13_92263(_655663))], (1830 ^ _603679) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _603679) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _603679) ^ [_655955] : [tptpcol_9_40196(_655955), -(tptpcol_8_39940(_655955))], (1840 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _603679) ^ [_656313] : [tptpcol_13_92263(_656313), -(tptpcol_12_92262(_656313))], (1854 ^ _603679) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _603679) ^ [_656605] : [tptpcol_5_90114(_656605), -(tptpcol_4_90113(_656605))], (1864 ^ _603679) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _603679) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _603679) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _603679) ^ [_657016] : [tptpcol_15_26925(_657016), -(tptpcol_14_26921(_657016))], (1880 ^ _603679) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _603679) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _603679) ^ [_657374] : [tptpcol_7_18437(_657374), -(tptpcol_6_18436(_657374))], (1894 ^ _603679) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _603679) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _603679) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _603679) ^ [_657785] : [tptpcol_3_98305(_657785), tptpcol_3_114688(_657785)], (1910 ^ _603679) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _603679) ^ [_658023] : [tptpcol_5_110593(_658023), -(tptpcol_4_106497(_658023))], (1918 ^ _603679) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _603679) ^ [_658262] : [tptpcol_13_72791(_658262), -(tptpcol_12_72775(_658262))], (1926 ^ _603679) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _603679) ^ [_658501] : [computerdataartifact(_658501), -(artifact(_658501))], (1934 ^ _603679) ^ [_658687] : [-(tptpofobject(_658687, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_658687)], (1944 ^ _603679) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _603679) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _603679) ^ [_659126] : [tptpcol_10_92166(_659126), -(tptpcol_9_92165(_659126))], (1958 ^ _603679) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _603679) ^ [_659365] : [tptpcol_14_118118(_659365), -(tptpcol_13_118117(_659365))], (1966 ^ _603679) ^ [_659551] : [isa(_659551, c_tptpcol_14_118118), -(tptpcol_14_118118(_659551))], (1972 ^ _603679) ^ [_659739] : [tptpcol_14_118118(_659739), -(isa(_659739, c_tptpcol_14_118118))], (1978 ^ _603679) ^ [_659912] : [-(natfunction(f_tptpquantityfn_6(_659912), c_tptpquantityfn_6))], (1980 ^ _603679) ^ [_659992] : [-(natargument(f_tptpquantityfn_6(_659992), n_1, _659992))], (1982 ^ _603679) ^ [_660073] : [-(tptpquantity(f_tptpquantityfn_6(_660073)))], (1984 ^ _603679) ^ [_660167] : [isa(_660167, c_tptpcol_16_26939), -(tptpcol_16_26939(_660167))], (1990 ^ _603679) ^ [_660355] : [tptpcol_16_26939(_660355), -(isa(_660355, c_tptpcol_16_26939))], (1996 ^ _603679) ^ [_660543] : [isa(_660543, c_tptpcol_16_62187), -(tptpcol_16_62187(_660543))], (2002 ^ _603679) ^ [_660731] : [tptpcol_16_62187(_660731), -(isa(_660731, c_tptpcol_16_62187))], (2008 ^ _603679) ^ [_660919] : [isa(_660919, c_tptpcol_13_92263), -(tptpcol_13_92263(_660919))], (2014 ^ _603679) ^ [_661107] : [tptpcol_13_92263(_661107), -(isa(_661107, c_tptpcol_13_92263))], (2020 ^ _603679) ^ [_661295] : [isa(_661295, c_geolevel_4), -(geolevel_4(_661295))], (2026 ^ _603679) ^ [_661483] : [geolevel_4(_661483), -(isa(_661483, c_geolevel_4))], (2032 ^ _603679) ^ [_661671] : [isa(_661671, c_tptpcol_15_4027), -(tptpcol_15_4027(_661671))], (2038 ^ _603679) ^ [_661859] : [tptpcol_15_4027(_661859), -(isa(_661859, c_tptpcol_15_4027))], (2044 ^ _603679) ^ [_662047] : [isa(_662047, c_pushingwithfingers), -(pushingwithfingers(_662047))], (2050 ^ _603679) ^ [_662235] : [pushingwithfingers(_662235), -(isa(_662235, c_pushingwithfingers))], (2056 ^ _603679) ^ [_662437, _662439] : [affiliatedwith(_662439, _662437), -(agent_generic(_662437))], (2062 ^ _603679) ^ [_662645, _662647] : [affiliatedwith(_662647, _662645), -(agent_generic(_662647))], (2068 ^ _603679) ^ [_662853, _662855] : [affiliatedwith(_662855, _662853), -(affiliatedwith(_662853, _662855))], (2074 ^ _603679) ^ [_663033] : [affiliatedwith(_663033, _663033)], (2076 ^ _603679) ^ [_663126] : [isa(_663126, c_footballteam), -(footballteam(_663126))], (2082 ^ _603679) ^ [_663314] : [footballteam(_663314), -(isa(_663314, c_footballteam))], (2088 ^ _603679) ^ [_663502] : [isa(_663502, c_tptpcol_16_4451), -(tptpcol_16_4451(_663502))], (2094 ^ _603679) ^ [_663690] : [tptpcol_16_4451(_663690), -(isa(_663690, c_tptpcol_16_4451))], (2100 ^ _603679) ^ [_663878] : [isa(_663878, c_pushingwithopenhand), -(pushingwithopenhand(_663878))], (2106 ^ _603679) ^ [_664066] : [pushingwithopenhand(_664066), -(isa(_664066, c_pushingwithopenhand))], (2112 ^ _603679) ^ [_664254] : [isa(_664254, c_tptpcol_15_22076), -(tptpcol_15_22076(_664254))], (2118 ^ _603679) ^ [_664442] : [tptpcol_15_22076(_664442), -(isa(_664442, c_tptpcol_15_22076))], (2124 ^ _603679) ^ [_664615] : [-(natfunction(f_tptpquantityfn_2(_664615), c_tptpquantityfn_2))], (2126 ^ _603679) ^ [_664695] : [-(natargument(f_tptpquantityfn_2(_664695), n_1, _664695))], (2128 ^ _603679) ^ [_664776] : [-(tptpquantity(f_tptpquantityfn_2(_664776)))], (2130 ^ _603679) ^ [_664870] : [isa(_664870, c_tptpcol_7_39939), -(tptpcol_7_39939(_664870))], (2136 ^ _603679) ^ [_665058] : [tptpcol_7_39939(_665058), -(isa(_665058, c_tptpcol_7_39939))], (2142 ^ _603679) ^ [_665246] : [isa(_665246, c_tptpcol_8_39940), -(tptpcol_8_39940(_665246))], (2148 ^ _603679) ^ [_665434] : [tptpcol_8_39940(_665434), -(isa(_665434, c_tptpcol_8_39940))], (2154 ^ _603679) ^ [_665622] : [isa(_665622, c_tptpcol_15_26925), -(tptpcol_15_26925(_665622))], (2160 ^ _603679) ^ [_665810] : [tptpcol_15_26925(_665810), -(isa(_665810, c_tptpcol_15_26925))], (2166 ^ _603679) ^ [_665998] : [isa(_665998, c_tptpcol_16_26926), -(tptpcol_16_26926(_665998))], (2172 ^ _603679) ^ [_666186] : [tptpcol_16_26926(_666186), -(isa(_666186, c_tptpcol_16_26926))], (2178 ^ _603679) ^ [_666374] : [isa(_666374, c_tptpcol_13_118117), -(tptpcol_13_118117(_666374))], (2184 ^ _603679) ^ [_666562] : [tptpcol_13_118117(_666562), -(isa(_666562, c_tptpcol_13_118117))], (2190 ^ _603679) ^ [_666750] : [isa(_666750, c_tptpcol_5_90114), -(tptpcol_5_90114(_666750))], (2196 ^ _603679) ^ [_666938] : [tptpcol_5_90114(_666938), -(isa(_666938, c_tptpcol_5_90114))], (2202 ^ _603679) ^ [_667140, _667142] : [tptptypes_5_802(_667142, _667140), -(firstordercollection(_667140))], (2208 ^ _603679) ^ [_667348, _667350] : [tptptypes_5_802(_667350, _667348), -(firstordercollection(_667350))], (2214 ^ _603679) ^ [_667542] : [isa(_667542, c_tptpcol_16_72795), -(tptpcol_16_72795(_667542))], (2220 ^ _603679) ^ [_667730] : [tptpcol_16_72795(_667730), -(isa(_667730, c_tptpcol_16_72795))], (2226 ^ _603679) ^ [_667918] : [isa(_667918, c_tptpcol_8_114177), -(tptpcol_8_114177(_667918))], (2232 ^ _603679) ^ [_668106] : [tptpcol_8_114177(_668106), -(isa(_668106, c_tptpcol_8_114177))], (2238 ^ _603679) ^ [_668294] : [isa(_668294, c_tptpcol_15_50957), -(tptpcol_15_50957(_668294))], (2244 ^ _603679) ^ [_668482] : [tptpcol_15_50957(_668482), -(isa(_668482, c_tptpcol_15_50957))], (2250 ^ _603679) ^ [_668670] : [isa(_668670, c_tptpcol_16_50958), -(tptpcol_16_50958(_668670))], (2256 ^ _603679) ^ [_668858] : [tptpcol_16_50958(_668858), -(isa(_668858, c_tptpcol_16_50958))], (2262 ^ _603679) ^ [_669046] : [isa(_669046, c_tptpcol_6_71683), -(tptpcol_6_71683(_669046))], (2268 ^ _603679) ^ [_669234] : [tptpcol_6_71683(_669234), -(isa(_669234, c_tptpcol_6_71683))], (2274 ^ _603679) ^ [_669422] : [isa(_669422, c_tptpcol_11_72774), -(tptpcol_11_72774(_669422))], (2280 ^ _603679) ^ [_669610] : [tptpcol_11_72774(_669610), -(isa(_669610, c_tptpcol_11_72774))], (2286 ^ _603679) ^ [_669798] : [isa(_669798, c_tptpcol_12_72775), -(tptpcol_12_72775(_669798))], (2292 ^ _603679) ^ [_669986] : [tptpcol_12_72775(_669986), -(isa(_669986, c_tptpcol_12_72775))], (2298 ^ _603679) ^ [_670174] : [isa(_670174, c_tptpcol_5_110593), -(tptpcol_5_110593(_670174))], (2304 ^ _603679) ^ [_670362] : [tptpcol_5_110593(_670362), -(isa(_670362, c_tptpcol_5_110593))], (2310 ^ _603679) ^ [_670550] : [isa(_670550, c_tptpcol_16_25972), -(tptpcol_16_25972(_670550))], (2316 ^ _603679) ^ [_670738] : [tptpcol_16_25972(_670738), -(isa(_670738, c_tptpcol_16_25972))], (2322 ^ _603679) ^ [_670940, _670942] : [tptp_8_271(_670942, _670940), -(razor(_670940))], (2328 ^ _603679) ^ [_671148, _671150] : [tptp_8_271(_671150, _671148), -(tptpcol_5_24579(_671150))], (2334 ^ _603679) ^ [_671342] : [isa(_671342, c_tptpcol_4_90113), -(tptpcol_4_90113(_671342))], (2340 ^ _603679) ^ [_671530] : [tptpcol_4_90113(_671530), -(isa(_671530, c_tptpcol_4_90113))], (2346 ^ _603679) ^ [_671718] : [isa(_671718, c_tptpcol_10_93700), -(tptpcol_10_93700(_671718))], (2352 ^ _603679) ^ [_671906] : [tptpcol_10_93700(_671906), -(isa(_671906, c_tptpcol_10_93700))], (2358 ^ _603679) ^ [_672094] : [isa(_672094, c_tptpcol_9_93699), -(tptpcol_9_93699(_672094))], (2364 ^ _603679) ^ [_672282] : [tptpcol_9_93699(_672282), -(isa(_672282, c_tptpcol_9_93699))], (2370 ^ _603679) ^ [_672470] : [isa(_672470, c_aspatialthing), -(aspatialthing(_672470))], (2376 ^ _603679) ^ [_672658] : [aspatialthing(_672658), -(isa(_672658, c_aspatialthing))], (2382 ^ _603679) ^ [_672846] : [isa(_672846, c_tptpcol_7_117762), -(tptpcol_7_117762(_672846))], (2388 ^ _603679) ^ [_673034] : [tptpcol_7_117762(_673034), -(isa(_673034, c_tptpcol_7_117762))], (2394 ^ _603679) ^ [_673222] : [isa(_673222, c_tptpcol_8_117763), -(tptpcol_8_117763(_673222))], (2400 ^ _603679) ^ [_673410] : [tptpcol_8_117763(_673410), -(isa(_673410, c_tptpcol_8_117763))], (2406 ^ _603679) ^ [_673598] : [isa(_673598, c_tptpcol_7_18437), -(tptpcol_7_18437(_673598))], (2412 ^ _603679) ^ [_673786] : [tptpcol_7_18437(_673786), -(isa(_673786, c_tptpcol_7_18437))], (2418 ^ _603679) ^ [_673974] : [isa(_673974, c_tptpcol_6_18436), -(tptpcol_6_18436(_673974))], (2424 ^ _603679) ^ [_674162] : [tptpcol_6_18436(_674162), -(isa(_674162, c_tptpcol_6_18436))], (2430 ^ _603679) ^ [_674350] : [isa(_674350, c_tptpcol_8_93698), -(tptpcol_8_93698(_674350))], (2436 ^ _603679) ^ [_674538] : [tptpcol_8_93698(_674538), -(isa(_674538, c_tptpcol_8_93698))], (2442 ^ _603679) ^ [_674726] : [isa(_674726, c_tptpcol_11_109125), -(tptpcol_11_109125(_674726))], (2448 ^ _603679) ^ [_674914] : [tptpcol_11_109125(_674914), -(isa(_674914, c_tptpcol_11_109125))], (2454 ^ _603679) ^ [_675102] : [isa(_675102, c_tptpcol_6_108546), -(tptpcol_6_108546(_675102))], (2460 ^ _603679) ^ [_675290] : [tptpcol_6_108546(_675290), -(isa(_675290, c_tptpcol_6_108546))], (2466 ^ _603679) ^ [_675478] : [isa(_675478, c_tptpcol_6_20484), -(tptpcol_6_20484(_675478))], (2472 ^ _603679) ^ [_675666] : [tptpcol_6_20484(_675666), -(isa(_675666, c_tptpcol_6_20484))], (2478 ^ _603679) ^ [_675868, _675870] : [few(_675870, _675868), -(setorcollection(_675868))], (2484 ^ _603679) ^ [_676076, _676078] : [few(_676078, _676076), -(setorcollection(_676076))], (2490 ^ _603679) ^ [_676284, _676286] : [few(_676286, _676284), -(setorcollection(_676286))], (2496 ^ _603679) ^ [_676492, _676494] : [few(_676494, _676492), -(setorcollection(_676494))], (2502 ^ _603679) ^ [_676714, _676716, _676718] : [-(few(_676718, _676714)), few(_676718, _676716), subsetof(_676714, _676716)], (2512 ^ _603679) ^ [_677009] : [isa(_677009, c_tptpcol_15_130931), -(tptpcol_15_130931(_677009))], (2518 ^ _603679) ^ [_677197] : [tptpcol_15_130931(_677197), -(isa(_677197, c_tptpcol_15_130931))], (2524 ^ _603679) ^ [_677385] : [isa(_677385, c_tptpcol_16_130933), -(tptpcol_16_130933(_677385))], (2530 ^ _603679) ^ [_677573] : [tptpcol_16_130933(_677573), -(isa(_677573, c_tptpcol_16_130933))], (2536 ^ _603679) ^ [_677761] : [isa(_677761, c_tptpcol_7_92163), -(tptpcol_7_92163(_677761))], (2542 ^ _603679) ^ [_677949] : [tptpcol_7_92163(_677949), -(isa(_677949, c_tptpcol_7_92163))], (2548 ^ _603679) ^ [_678137] : [isa(_678137, c_tptpcol_15_130923), -(tptpcol_15_130923(_678137))], (2554 ^ _603679) ^ [_678325] : [tptpcol_15_130923(_678325), -(isa(_678325, c_tptpcol_15_130923))], (2560 ^ _603679) ^ [_678513] : [isa(_678513, c_tptpcol_16_130924), -(tptpcol_16_130924(_678513))], (2566 ^ _603679) ^ [_678701] : [tptpcol_16_130924(_678701), -(isa(_678701, c_tptpcol_16_130924))], (2572 ^ _603679) ^ [_678889] : [isa(_678889, c_intangibleindividual), -(intangibleindividual(_678889))], (2578 ^ _603679) ^ [_679077] : [intangibleindividual(_679077), -(isa(_679077, c_intangibleindividual))], (2584 ^ _603679) ^ [_679264, _679266] : [-(natfunction(f_citynamedfn(_679266, _679264), c_citynamedfn))], (2586 ^ _603679) ^ [_679361, _679363] : [-(natargument(f_citynamedfn(_679363, _679361), n_1, _679363))], (2588 ^ _603679) ^ [_679459, _679461] : [-(natargument(f_citynamedfn(_679461, _679459), n_2, _679459))], (2590 ^ _603679) ^ [_679557, _679559] : [-(city(f_citynamedfn(_679559, _679557)))], (2592 ^ _603679) ^ [_679654] : [isa(_679654, c_tptpcol_13_26920), -(tptpcol_13_26920(_679654))], (2598 ^ _603679) ^ [_679842] : [tptpcol_13_26920(_679842), -(isa(_679842, c_tptpcol_13_26920))], (2604 ^ _603679) ^ [_680030] : [isa(_680030, c_tptpcol_14_26921), -(tptpcol_14_26921(_680030))], (2610 ^ _603679) ^ [_680218] : [tptpcol_14_26921(_680218), -(isa(_680218, c_tptpcol_14_26921))], (2616 ^ _603679) ^ [_680406] : [isa(_680406, c_tptpcol_3_65538), -(tptpcol_3_65538(_680406))], (2622 ^ _603679) ^ [_680594] : [tptpcol_3_65538(_680594), -(isa(_680594, c_tptpcol_3_65538))], (2628 ^ _603679) ^ [_680782] : [isa(_680782, c_tptpcol_16_27189), -(tptpcol_16_27189(_680782))], (2634 ^ _603679) ^ [_680970] : [tptpcol_16_27189(_680970), -(isa(_680970, c_tptpcol_16_27189))], (2640 ^ _603679) ^ [_681172, _681174] : [tptp_9_51(_681174, _681172), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_681172))], (2646 ^ _603679) ^ [_681380, _681382] : [tptp_9_51(_681382, _681380), -(tptpcol_7_26628(_681382))], (2652 ^ _603679) ^ [_681574] : [isa(_681574, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_681574))], (2658 ^ _603679) ^ [_681762] : [reflexivebinarypredicate(_681762), -(isa(_681762, c_reflexivebinarypredicate))], (2664 ^ _603679) ^ [_681950] : [isa(_681950, c_tptpcol_7_21508), -(tptpcol_7_21508(_681950))], (2670 ^ _603679) ^ [_682138] : [tptpcol_7_21508(_682138), -(isa(_682138, c_tptpcol_7_21508))], (2676 ^ _603679) ^ [_682326] : [isa(_682326, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_682326))], (2682 ^ _603679) ^ [_682514] : [hpkb_subnationalagent(_682514), -(isa(_682514, c_hpkb_subnationalagent))], (2688 ^ _603679) ^ [_682702] : [isa(_682702, c_state_geopolitical), -(state_geopolitical(_682702))], (2694 ^ _603679) ^ [_682890] : [state_geopolitical(_682890), -(isa(_682890, c_state_geopolitical))], (2700 ^ _603679) ^ [_683105, _683107, _683109, _683111] : [-(natfunction(f_relationallexistsfn(_683111, _683109, _683107, _683105), c_relationallexistsfn))], (2702 ^ _603679) ^ [_683236, _683238, _683240, _683242] : [-(natargument(f_relationallexistsfn(_683242, _683240, _683238, _683236), n_1, _683242))], (2704 ^ _603679) ^ [_683368, _683370, _683372, _683374] : [-(natargument(f_relationallexistsfn(_683374, _683372, _683370, _683368), n_2, _683372))], (2706 ^ _603679) ^ [_683500, _683502, _683504, _683506] : [-(natargument(f_relationallexistsfn(_683506, _683504, _683502, _683500), n_3, _683502))], (2708 ^ _603679) ^ [_683632, _683634, _683636, _683638] : [-(natargument(f_relationallexistsfn(_683638, _683636, _683634, _683632), n_4, _683632))], (2710 ^ _603679) ^ [_683764, _683766, _683768, _683770] : [-(thing(f_relationallexistsfn(_683770, _683768, _683766, _683764)))], (2712 ^ _603679) ^ [_683881, _683883] : [arg2isa(_683883, _683881), -(collection(_683881))], (2718 ^ _603679) ^ [_684089, _684091] : [arg2isa(_684091, _684089), -(relation(_684091))], (2724 ^ _603679) ^ [_684311, _684313, _684315] : [-(arg2isa(_684315, _684311)), arg2isa(_684315, _684313), genls(_684313, _684311)], (2734 ^ _603679) ^ [_684634, _684636, _684638] : [-(arg2isa(_684638, _684634)), arg2isa(_684638, _684636), genls(_684636, _684634)], (2744 ^ _603679) ^ [_684929] : [isa(_684929, c_geolevel_1), -(geolevel_1(_684929))], (2750 ^ _603679) ^ [_685117] : [geolevel_1(_685117), -(isa(_685117, c_geolevel_1))], (2756 ^ _603679) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _603679) ^ [_685358] : [isa(_685358, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_685358))], (2764 ^ _603679) ^ [_685546] : [spatialthing_nonsituational(_685546), -(isa(_685546, c_spatialthing_nonsituational))], (2770 ^ _603679) ^ [_685734] : [isa(_685734, c_militaryperson), -(militaryperson(_685734))], (2776 ^ _603679) ^ [_685922] : [militaryperson(_685922), -(isa(_685922, c_militaryperson))], (2782 ^ _603679) ^ [_686110] : [isa(_686110, c_tptpcol_15_72793), -(tptpcol_15_72793(_686110))], (2788 ^ _603679) ^ [_686298] : [tptpcol_15_72793(_686298), -(isa(_686298, c_tptpcol_15_72793))], (2794 ^ _603679) ^ [_686486] : [isa(_686486, c_tptpcol_9_26885), -(tptpcol_9_26885(_686486))], (2800 ^ _603679) ^ [_686674] : [tptpcol_9_26885(_686674), -(isa(_686674, c_tptpcol_9_26885))], (2806 ^ _603679) ^ [_686862] : [isa(_686862, c_tptpcol_10_26886), -(tptpcol_10_26886(_686862))], (2812 ^ _603679) ^ [_687050] : [tptpcol_10_26886(_687050), -(isa(_687050, c_tptpcol_10_26886))], (2818 ^ _603679) ^ [_687252, _687254] : [tptptypes_8_823(_687254, _687252), -(firstordercollection(_687252))], (2824 ^ _603679) ^ [_687460, _687462] : [tptptypes_8_823(_687462, _687460), -(firstordercollection(_687462))], (2830 ^ _603679) ^ [_687654] : [isa(_687654, c_tptpcol_16_92269), -(tptpcol_16_92269(_687654))], (2836 ^ _603679) ^ [_687842] : [tptpcol_16_92269(_687842), -(isa(_687842, c_tptpcol_16_92269))], (2842 ^ _603679) ^ [_688030] : [isa(_688030, c_tptpcol_15_109185), -(tptpcol_15_109185(_688030))], (2848 ^ _603679) ^ [_688218] : [tptpcol_15_109185(_688218), -(isa(_688218, c_tptpcol_15_109185))], (2854 ^ _603679) ^ [_688406] : [isa(_688406, c_tptpcol_6_26627), -(tptpcol_6_26627(_688406))], (2860 ^ _603679) ^ [_688594] : [tptpcol_6_26627(_688594), -(isa(_688594, c_tptpcol_6_26627))], (2866 ^ _603679) ^ [_688782] : [isa(_688782, c_tptpcol_12_118116), -(tptpcol_12_118116(_688782))], (2872 ^ _603679) ^ [_688970] : [tptpcol_12_118116(_688970), -(isa(_688970, c_tptpcol_12_118116))], (2878 ^ _603679) ^ [_689158] : [isa(_689158, c_tptpcol_8_18438), -(tptpcol_8_18438(_689158))], (2884 ^ _603679) ^ [_689346] : [tptpcol_8_18438(_689346), -(isa(_689346, c_tptpcol_8_18438))], (2890 ^ _603679) ^ [_689534] : [isa(_689534, c_tptpcol_15_30970), -(tptpcol_15_30970(_689534))], (2896 ^ _603679) ^ [_689722] : [tptpcol_15_30970(_689722), -(isa(_689722, c_tptpcol_15_30970))], (2902 ^ _603679) ^ [_689910] : [isa(_689910, c_tptpcol_16_30972), -(tptpcol_16_30972(_689910))], (2908 ^ _603679) ^ [_690098] : [tptpcol_16_30972(_690098), -(isa(_690098, c_tptpcol_16_30972))], (2914 ^ _603679) ^ [_690286] : [isa(_690286, c_tptpcol_14_109181), -(tptpcol_14_109181(_690286))], (2920 ^ _603679) ^ [_690474] : [tptpcol_14_109181(_690474), -(isa(_690474, c_tptpcol_14_109181))], (2926 ^ _603679) ^ [_690662] : [isa(_690662, c_physicalorderingpredicate), -(physicalorderingpredicate(_690662))], (2932 ^ _603679) ^ [_690850] : [physicalorderingpredicate(_690850), -(isa(_690850, c_physicalorderingpredicate))], (2938 ^ _603679) ^ [_691038] : [isa(_691038, c_tptpcol_16_7738), -(tptpcol_16_7738(_691038))], (2944 ^ _603679) ^ [_691226] : [tptpcol_16_7738(_691226), -(isa(_691226, c_tptpcol_16_7738))], (2950 ^ _603679) ^ [_691428, _691430] : [tptp_8_968(_691430, _691428), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_691428))], (2956 ^ _603679) ^ [_691636, _691638] : [tptp_8_968(_691638, _691636), -(tptpcol_7_7172(_691638))], (2962 ^ _603679) ^ [_691858, _691860, _691862] : [relationexistsall(_691862, _691860, _691858), -(collection(_691858))], (2968 ^ _603679) ^ [_692088, _692090, _692092] : [relationexistsall(_692092, _692090, _692088), -(collection(_692090))], (2974 ^ _603679) ^ [_692318, _692320, _692322] : [relationexistsall(_692322, _692320, _692318), -(binarypredicate(_692322))], (2980 ^ _603679) ^ [_692520] : [isa(_692520, c_tptpcol_7_26628), -(tptpcol_7_26628(_692520))], (2986 ^ _603679) ^ [_692708] : [tptpcol_7_26628(_692708), -(isa(_692708, c_tptpcol_7_26628))], (2992 ^ _603679) ^ [_692896] : [isa(_692896, c_tptpcol_8_26629), -(tptpcol_8_26629(_692896))], (2998 ^ _603679) ^ [_693084] : [tptpcol_8_26629(_693084), -(isa(_693084, c_tptpcol_8_26629))], (3004 ^ _603679) ^ [_693272] : [isa(_693272, c_tptpcol_3_114688), -(tptpcol_3_114688(_693272))], (3010 ^ _603679) ^ [_693460] : [tptpcol_3_114688(_693460), -(isa(_693460, c_tptpcol_3_114688))], (3016 ^ _603679) ^ [_693633] : [-(natfunction(f_contextofpcwfn(_693633), c_contextofpcwfn))], (3018 ^ _603679) ^ [_693713] : [-(natargument(f_contextofpcwfn(_693713), n_1, _693713))], (3020 ^ _603679) ^ [_693794] : [-(microtheory(f_contextofpcwfn(_693794)))], (3022 ^ _603679) ^ [_693902, _693904] : [arg1isa(_693904, _693902), -(collection(_693902))], (3028 ^ _603679) ^ [_694110, _694112] : [arg1isa(_694112, _694110), -(relation(_694112))], (3034 ^ _603679) ^ [_694332, _694334, _694336] : [-(arg1isa(_694336, _694332)), arg1isa(_694336, _694334), genls(_694334, _694332)], (3044 ^ _603679) ^ [_694655, _694657, _694659] : [-(arg1isa(_694659, _694655)), arg1isa(_694659, _694657), genls(_694657, _694655)], (3054 ^ _603679) ^ [_694964, _694966] : [objectfoundinlocation(_694966, _694964), -(spatialthing_nonsituational(_694964))], (3060 ^ _603679) ^ [_695172, _695174] : [objectfoundinlocation(_695174, _695172), -(spatialthing_localized(_695172))], (3066 ^ _603679) ^ [_695380, _695382] : [objectfoundinlocation(_695382, _695380), -(spatialthing_nonsituational(_695382))], (3072 ^ _603679) ^ [_695588, _695590] : [objectfoundinlocation(_695590, _695588), -(spatialthing_localized(_695590))], (3078 ^ _603679) ^ [_695810, _695812, _695814] : [-(objectfoundinlocation(_695814, _695810)), objectfoundinlocation(_695814, _695812), objectfoundinlocation(_695812, _695810)], (3088 ^ _603679) ^ [_696089] : [objectfoundinlocation(_696089, _696089)], (3090 ^ _603679) ^ [_696210, _696212, _696214] : [-(objectfoundinlocation(_696214, _696210)), objectfoundinlocation(_696214, _696212), geopoliticalsubdivision(_696210, _696212)], (3100 ^ _603679) ^ [_696533, _696535, _696537] : [-(objectfoundinlocation(_696537, _696533)), objectfoundinlocation(_696537, _696535), geographicallysubsumes(_696533, _696535)], (3110 ^ _603679) ^ [_696856, _696858, _696860] : [-(objectfoundinlocation(_696860, _696856)), objectfoundinlocation(_696860, _696858), subregions(_696856, _696858)], (3120 ^ _603679) ^ [_697151] : [isa(_697151, c_ship), -(ship(_697151))], (3126 ^ _603679) ^ [_697339] : [ship(_697339), -(isa(_697339, c_ship))], (3132 ^ _603679) ^ [_697540, _697542, _697544] : [-(natfunction(f_subcollectionofwithrelationtofn(_697544, _697542, _697540), c_subcollectionofwithrelationtofn))], (3134 ^ _603679) ^ [_697654, _697656, _697658] : [-(natargument(f_subcollectionofwithrelationtofn(_697658, _697656, _697654), n_1, _697658))], (3136 ^ _603679) ^ [_697769, _697771, _697773] : [-(natargument(f_subcollectionofwithrelationtofn(_697773, _697771, _697769), n_2, _697771))], (3138 ^ _603679) ^ [_697884, _697886, _697888] : [-(natargument(f_subcollectionofwithrelationtofn(_697888, _697886, _697884), n_3, _697884))], (3140 ^ _603679) ^ [_697999, _698001, _698003] : [-(collection(f_subcollectionofwithrelationtofn(_698003, _698001, _697999)))], (3142 ^ _603679) ^ [_698099] : [isa(_698099, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_698099))], (3148 ^ _603679) ^ [_698287] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_698287), -(isa(_698287, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _603679) ^ [_698475] : [isa(_698475, c_tptpcol_4_65539), -(tptpcol_4_65539(_698475))], (3160 ^ _603679) ^ [_698663] : [tptpcol_4_65539(_698663), -(isa(_698663, c_tptpcol_4_65539))], (3166 ^ _603679) ^ [_698851] : [isa(_698851, c_tptpcol_5_69635), -(tptpcol_5_69635(_698851))], (3172 ^ _603679) ^ [_699039] : [tptpcol_5_69635(_699039), -(isa(_699039, c_tptpcol_5_69635))], (3178 ^ _603679) ^ [_699227] : [isa(_699227, c_tptpcol_3_16386), -(tptpcol_3_16386(_699227))], (3184 ^ _603679) ^ [_699415] : [tptpcol_3_16386(_699415), -(isa(_699415, c_tptpcol_3_16386))], (3190 ^ _603679) ^ [_699617, _699619] : [no(_699619, _699617), -(setorcollection(_699617))], (3196 ^ _603679) ^ [_699825, _699827] : [no(_699827, _699825), -(setorcollection(_699827))], (3202 ^ _603679) ^ [_700033, _700035] : [no(_700035, _700033), -(no(_700033, _700035))], (3208 ^ _603679) ^ [_700257, _700259, _700261] : [-(no(_700261, _700257)), no(_700261, _700259), subsetof(_700257, _700259)], (3218 ^ _603679) ^ [_700580, _700582, _700584] : [-(no(_700580, _700582)), no(_700584, _700582), subsetof(_700580, _700584)], (3228 ^ _603679) ^ [_700903, _700905, _700907] : [-(no(_700903, _700905)), no(_700907, _700905), genls(_700903, _700907)], (3238 ^ _603679) ^ [_701226, _701228, _701230] : [-(no(_701230, _701226)), no(_701230, _701228), genls(_701226, _701228)], (3248 ^ _603679) ^ [_701549, _701551, _701553] : [-(no(_701549, _701551)), no(_701553, _701551), subsetof(_701549, _701553)], (3258 ^ _603679) ^ [_701872, _701874, _701876] : [-(no(_701876, _701872)), no(_701876, _701874), subsetof(_701872, _701874)], (3268 ^ _603679) ^ [_702167] : [isa(_702167, c_geographicalregion), -(geographicalregion(_702167))], (3274 ^ _603679) ^ [_702355] : [geographicalregion(_702355), -(isa(_702355, c_geographicalregion))], (3280 ^ _603679) ^ [_702528] : [-(natfunction(f_tptpquantityfn_21(_702528), c_tptpquantityfn_21))], (3282 ^ _603679) ^ [_702608] : [-(natargument(f_tptpquantityfn_21(_702608), n_1, _702608))], (3284 ^ _603679) ^ [_702689] : [-(tptpquantity(f_tptpquantityfn_21(_702689)))], (3286 ^ _603679) ^ [_702797, _702799] : [airporthasiatacode(_702799, _702797), -(stringoflengthfn3(_702797))], (3292 ^ _603679) ^ [_703005, _703007] : [airporthasiatacode(_703007, _703005), -(airport_physical(_703007))], (3298 ^ _603679) ^ [_703199] : [isa(_703199, c_airport_physical), -(airport_physical(_703199))], (3304 ^ _603679) ^ [_703387] : [airport_physical(_703387), -(isa(_703387, c_airport_physical))], (3310 ^ _603679) ^ [_703588, _703590, _703592] : [-(natfunction(f_instancewithrelationtofn(_703592, _703590, _703588), c_instancewithrelationtofn))], (3312 ^ _603679) ^ [_703702, _703704, _703706] : [-(natargument(f_instancewithrelationtofn(_703706, _703704, _703702), n_1, _703706))], (3314 ^ _603679) ^ [_703817, _703819, _703821] : [-(natargument(f_instancewithrelationtofn(_703821, _703819, _703817), n_2, _703819))], (3316 ^ _603679) ^ [_703932, _703934, _703936] : [-(natargument(f_instancewithrelationtofn(_703936, _703934, _703932), n_3, _703932))], (3318 ^ _603679) ^ [_704047, _704049, _704051] : [-(thing(f_instancewithrelationtofn(_704051, _704049, _704047)))], (3320 ^ _603679) ^ [_704147] : [isa(_704147, c_tptpcol_6_112641), -(tptpcol_6_112641(_704147))], (3326 ^ _603679) ^ [_704335] : [tptpcol_6_112641(_704335), -(isa(_704335, c_tptpcol_6_112641))], (3332 ^ _603679) ^ [_704523] : [isa(_704523, c_tptpcol_7_113665), -(tptpcol_7_113665(_704523))], (3338 ^ _603679) ^ [_704711] : [tptpcol_7_113665(_704711), -(isa(_704711, c_tptpcol_7_113665))], (3344 ^ _603679) ^ [_704899] : [isa(_704899, c_artifact), -(artifact(_704899))], (3350 ^ _603679) ^ [_705087] : [artifact(_705087), -(isa(_705087, c_artifact))], (3356 ^ _603679) ^ [_705275] : [isa(_705275, c_tptpcol_13_18664), -(tptpcol_13_18664(_705275))], (3362 ^ _603679) ^ [_705463] : [tptpcol_13_18664(_705463), -(isa(_705463, c_tptpcol_13_18664))], (3368 ^ _603679) ^ [_705651] : [isa(_705651, c_firstordercollection), -(firstordercollection(_705651))], (3374 ^ _603679) ^ [_705839] : [firstordercollection(_705839), -(isa(_705839, c_firstordercollection))], (3380 ^ _603679) ^ [_706012] : [-(natfunction(f_tptpquantityfn_14(_706012), c_tptpquantityfn_14))], (3382 ^ _603679) ^ [_706092] : [-(natargument(f_tptpquantityfn_14(_706092), n_1, _706092))], (3384 ^ _603679) ^ [_706173] : [-(tptpquantity(f_tptpquantityfn_14(_706173)))], (3386 ^ _603679) ^ [_706267] : [isa(_706267, c_supplies), -(supplies(_706267))], (3392 ^ _603679) ^ [_706455] : [supplies(_706455), -(isa(_706455, c_supplies))], (3398 ^ _603679) ^ [_706643] : [isa(_706643, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_706643))], (3404 ^ _603679) ^ [_706831] : [inanimateobject_nonnatural(_706831), -(isa(_706831, c_inanimateobject_nonnatural))], (3410 ^ _603679) ^ [_707019] : [isa(_707019, c_tptpcol_13_22071), -(tptpcol_13_22071(_707019))], (3416 ^ _603679) ^ [_707207] : [tptpcol_13_22071(_707207), -(isa(_707207, c_tptpcol_13_22071))], (3422 ^ _603679) ^ [_707395] : [isa(_707395, c_tptpcol_14_22072), -(tptpcol_14_22072(_707395))], (3428 ^ _603679) ^ [_707583] : [tptpcol_14_22072(_707583), -(isa(_707583, c_tptpcol_14_22072))], (3434 ^ _603679) ^ [_707771] : [isa(_707771, c_tptpcol_7_108547), -(tptpcol_7_108547(_707771))], (3440 ^ _603679) ^ [_707959] : [tptpcol_7_108547(_707959), -(isa(_707959, c_tptpcol_7_108547))], (3446 ^ _603679) ^ [_708147] : [isa(_708147, c_tptpcol_8_109059), -(tptpcol_8_109059(_708147))], (3452 ^ _603679) ^ [_708335] : [tptpcol_8_109059(_708335), -(isa(_708335, c_tptpcol_8_109059))], (3458 ^ _603679) ^ [_708523] : [isa(_708523, c_tptpcol_14_93774), -(tptpcol_14_93774(_708523))], (3464 ^ _603679) ^ [_708711] : [tptpcol_14_93774(_708711), -(isa(_708711, c_tptpcol_14_93774))], (3470 ^ _603679) ^ [_708899] : [isa(_708899, c_tptpcol_15_93775), -(tptpcol_15_93775(_708899))], (3476 ^ _603679) ^ [_709087] : [tptpcol_15_93775(_709087), -(isa(_709087, c_tptpcol_15_93775))], (3482 ^ _603679) ^ [_709275] : [isa(_709275, c_tptpcol_16_8886), -(tptpcol_16_8886(_709275))], (3488 ^ _603679) ^ [_709463] : [tptpcol_16_8886(_709463), -(isa(_709463, c_tptpcol_16_8886))], (3494 ^ _603679) ^ [_709665, _709667] : [orientation(_709667, _709665), -(orientationvector(_709665))], (3500 ^ _603679) ^ [_709873, _709875] : [orientation(_709875, _709873), -(spatialthing_localized(_709875))], (3506 ^ _603679) ^ [_710067] : [isa(_710067, c_orientationvector), -(orientationvector(_710067))], (3512 ^ _603679) ^ [_710255] : [orientationvector(_710255), -(isa(_710255, c_orientationvector))], (3518 ^ _603679) ^ [_710443] : [isa(_710443, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_710443))], (3524 ^ _603679) ^ [_710631] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_710631), -(isa(_710631, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _603679) ^ [_710833, _710835] : [tptptypes_9_824(_710835, _710833), -(firstordercollection(_710833))], (3536 ^ _603679) ^ [_711041, _711043] : [tptptypes_9_824(_711043, _711041), -(firstordercollection(_711043))], (3542 ^ _603679) ^ [_711249, _711251] : [tptptypes_7_396(_711251, _711249), -(firstordercollection(_711249))], (3548 ^ _603679) ^ [_711457, _711459] : [tptptypes_7_396(_711459, _711457), -(firstordercollection(_711459))], (3554 ^ _603679) ^ [_711651] : [isa(_711651, c_tptpcol_12_22055), -(tptpcol_12_22055(_711651))], (3560 ^ _603679) ^ [_711839] : [tptpcol_12_22055(_711839), -(isa(_711839, c_tptpcol_12_22055))], (3566 ^ _603679) ^ [_712027] : [isa(_712027, c_tptpcol_16_29490), -(tptpcol_16_29490(_712027))], (3572 ^ _603679) ^ [_712215] : [tptpcol_16_29490(_712215), -(isa(_712215, c_tptpcol_16_29490))], (3578 ^ _603679) ^ [_712417, _712419] : [tptp_9_720(_712419, _712417), -(tptpcol_5_28674(_712417))], (3584 ^ _603679) ^ [_712625, _712627] : [tptp_9_720(_712627, _712625), -(executionbyfiringsquad(_712627))], (3590 ^ _603679) ^ [_712819] : [isa(_712819, c_runningshorts), -(runningshorts(_712819))], (3596 ^ _603679) ^ [_713007] : [runningshorts(_713007), -(isa(_713007, c_runningshorts))], (3602 ^ _603679) ^ [_713195] : [isa(_713195, c_tptpcol_9_118019), -(tptpcol_9_118019(_713195))], (3608 ^ _603679) ^ [_713383] : [tptpcol_9_118019(_713383), -(isa(_713383, c_tptpcol_9_118019))], (3614 ^ _603679) ^ [_713571] : [isa(_713571, c_tptpcol_16_31868), -(tptpcol_16_31868(_713571))], (3620 ^ _603679) ^ [_713759] : [tptpcol_16_31868(_713759), -(isa(_713759, c_tptpcol_16_31868))], (3626 ^ _603679) ^ [_713947] : [isa(_713947, c_movement_translationevent), -(movement_translationevent(_713947))], (3632 ^ _603679) ^ [_714135] : [movement_translationevent(_714135), -(isa(_714135, c_movement_translationevent))], (3638 ^ _603679) ^ [_714337, _714339] : [directionoftranslation_throughout(_714339, _714337), -(unitvectorinterval(_714337))], (3644 ^ _603679) ^ [_714545, _714547] : [directionoftranslation_throughout(_714547, _714545), -(movement_translationevent(_714547))], (3650 ^ _603679) ^ [_714767, _714769, _714771] : [-(directionoftranslation_throughout(_714767, _714769)), directionoftranslation_throughout(_714771, _714769), subevents(_714771, _714767)], (3660 ^ _603679) ^ [_715062] : [isa(_715062, c_unitvectorinterval), -(unitvectorinterval(_715062))], (3666 ^ _603679) ^ [_715250] : [unitvectorinterval(_715250), -(isa(_715250, c_unitvectorinterval))], (3672 ^ _603679) ^ [_715438] : [isa(_715438, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_715438))], (3678 ^ _603679) ^ [_715626] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_715626), -(isa(_715626, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _603679) ^ [_715828, _715830] : [tptp_8_875(_715830, _715828), -(tptpcol_4_24578(_715828))], (3690 ^ _603679) ^ [_716036, _716038] : [tptp_8_875(_716038, _716036), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_716038))], (3696 ^ _603679) ^ [_716258, _716260, _716262] : [relationallexists(_716262, _716260, _716258), -(collection(_716258))], (3702 ^ _603679) ^ [_716488, _716490, _716492] : [relationallexists(_716492, _716490, _716488), -(collection(_716490))], (3708 ^ _603679) ^ [_716718, _716720, _716722] : [relationallexists(_716722, _716720, _716718), -(binarypredicate(_716722))], (3714 ^ _603679) ^ [_716920] : [isa(_716920, c_tptpcol_16_10258), -(tptpcol_16_10258(_716920))], (3720 ^ _603679) ^ [_717108] : [tptpcol_16_10258(_717108), -(isa(_717108, c_tptpcol_16_10258))], (3726 ^ _603679) ^ [_717296] : [isa(_717296, c_pushingababycarriage), -(pushingababycarriage(_717296))], (3732 ^ _603679) ^ [_717484] : [pushingababycarriage(_717484), -(isa(_717484, c_pushingababycarriage))], (3738 ^ _603679) ^ [_717672] : [isa(_717672, c_aspatialinformationstore), -(aspatialinformationstore(_717672))], (3744 ^ _603679) ^ [_717860] : [aspatialinformationstore(_717860), -(isa(_717860, c_aspatialinformationstore))], (3750 ^ _603679) ^ [_718048] : [isa(_718048, c_collection), -(collection(_718048))], (3756 ^ _603679) ^ [_718236] : [collection(_718236), -(isa(_718236, c_collection))], (3762 ^ _603679) ^ [_718424] : [isa(_718424, c_fixedordercollection), -(fixedordercollection(_718424))], (3768 ^ _603679) ^ [_718612] : [fixedordercollection(_718612), -(isa(_718612, c_fixedordercollection))], (3774 ^ _603679) ^ [_718800] : [isa(_718800, c_tptpcol_8_92164), -(tptpcol_8_92164(_718800))], (3780 ^ _603679) ^ [_718988] : [tptpcol_8_92164(_718988), -(isa(_718988, c_tptpcol_8_92164))], (3786 ^ _603679) ^ [_719176] : [isa(_719176, c_tptpcol_9_92165), -(tptpcol_9_92165(_719176))], (3792 ^ _603679) ^ [_719364] : [tptpcol_9_92165(_719364), -(isa(_719364, c_tptpcol_9_92165))], (3798 ^ _603679) ^ [_719552] : [isa(_719552, c_tptpcol_1_1), -(tptpcol_1_1(_719552))], (3804 ^ _603679) ^ [_719740] : [tptpcol_1_1(_719740), -(isa(_719740, c_tptpcol_1_1))], (3810 ^ _603679) ^ [_719928] : [isa(_719928, c_tptpcol_2_2), -(tptpcol_2_2(_719928))], (3816 ^ _603679) ^ [_720116] : [tptpcol_2_2(_720116), -(isa(_720116, c_tptpcol_2_2))], (3822 ^ _603679) ^ [_720318, _720320] : [tptptypes_7_691(_720320, _720318), -(firstordercollection(_720318))], (3828 ^ _603679) ^ [_720526, _720528] : [tptptypes_7_691(_720528, _720526), -(firstordercollection(_720528))], (3834 ^ _603679) ^ [_720720] : [isa(_720720, c_tptpcol_11_26887), -(tptpcol_11_26887(_720720))], (3840 ^ _603679) ^ [_720908] : [tptpcol_11_26887(_720908), -(isa(_720908, c_tptpcol_11_26887))], (3846 ^ _603679) ^ [_721096] : [isa(_721096, c_tptpcol_12_26919), -(tptpcol_12_26919(_721096))], (3852 ^ _603679) ^ [_721284] : [tptpcol_12_26919(_721284), -(isa(_721284, c_tptpcol_12_26919))], (3858 ^ _603679) ^ [_721486, _721488] : [tptptypes_6_818(_721488, _721486), -(firstordercollection(_721486))], (3864 ^ _603679) ^ [_721694, _721696] : [tptptypes_6_818(_721696, _721694), -(firstordercollection(_721696))], (3870 ^ _603679) ^ [_721902, _721904] : [tptptypes_7_819(_721904, _721902), -(firstordercollection(_721902))], (3876 ^ _603679) ^ [_722110, _722112] : [tptptypes_7_819(_722112, _722110), -(firstordercollection(_722112))], (3882 ^ _603679) ^ [_722304] : [isa(_722304, c_correctivelensprescription), -(correctivelensprescription(_722304))], (3888 ^ _603679) ^ [_722492] : [correctivelensprescription(_722492), -(isa(_722492, c_correctivelensprescription))], (3894 ^ _603679) ^ [_722694, _722696] : [products(_722696, _722694), -(artifact(_722694))], (3900 ^ _603679) ^ [_722902, _722904] : [products(_722904, _722902), -(creationordestructionevent(_722904))], (3906 ^ _603679) ^ [_723096] : [isa(_723096, c_issuingaprescription), -(issuingaprescription(_723096))], (3912 ^ _603679) ^ [_723284] : [issuingaprescription(_723284), -(isa(_723284, c_issuingaprescription))], (3918 ^ _603679) ^ [_723485, _723487, _723489] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_723489, _723487, _723485), c_subcollectionofwithrelationtotypefn))], (3920 ^ _603679) ^ [_723599, _723601, _723603] : [-(natargument(f_subcollectionofwithrelationtotypefn(_723603, _723601, _723599), n_1, _723603))], (3922 ^ _603679) ^ [_723714, _723716, _723718] : [-(natargument(f_subcollectionofwithrelationtotypefn(_723718, _723716, _723714), n_2, _723716))], (3924 ^ _603679) ^ [_723829, _723831, _723833] : [-(natargument(f_subcollectionofwithrelationtotypefn(_723833, _723831, _723829), n_3, _723829))], (3926 ^ _603679) ^ [_723944, _723946, _723948] : [-(collection(f_subcollectionofwithrelationtotypefn(_723948, _723946, _723944)))], (3928 ^ _603679) ^ [_724044] : [isa(_724044, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_724044))], (3934 ^ _603679) ^ [_724232] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_724232), -(isa(_724232, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _603679) ^ [_724420] : [isa(_724420, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_724420))], (3946 ^ _603679) ^ [_724608] : [mathematicalorcomputationalthing(_724608), -(isa(_724608, c_mathematicalorcomputationalthing))], (3952 ^ _603679) ^ [_724796] : [isa(_724796, c_tptpcol_10_118020), -(tptpcol_10_118020(_724796))], (3958 ^ _603679) ^ [_724984] : [tptpcol_10_118020(_724984), -(isa(_724984, c_tptpcol_10_118020))], (3964 ^ _603679) ^ [_725172] : [isa(_725172, c_tptpcol_11_118084), -(tptpcol_11_118084(_725172))], (3970 ^ _603679) ^ [_725360] : [tptpcol_11_118084(_725360), -(isa(_725360, c_tptpcol_11_118084))], (3976 ^ _603679) ^ [_725548] : [isa(_725548, c_terroristgroup), -(terroristgroup(_725548))], (3982 ^ _603679) ^ [_725736] : [terroristgroup(_725736), -(isa(_725736, c_terroristgroup))], (3988 ^ _603679) ^ [_725938, _725940] : [hasmembers(_725940, _725938), -(agent_generic(_725938))], (3994 ^ _603679) ^ [_726146, _726148] : [hasmembers(_726148, _726146), -(organization(_726148))], (4000 ^ _603679) ^ [_726340] : [isa(_726340, c_terrorist), -(terrorist(_726340))], (4006 ^ _603679) ^ [_726528] : [terrorist(_726528), -(isa(_726528, c_terrorist))], (4012 ^ _603679) ^ [_726729, _726731, _726733] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_726733, _726731, _726729), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _603679) ^ [_726843, _726845, _726847] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_726847, _726845, _726843), n_1, _726847))], (4016 ^ _603679) ^ [_726958, _726960, _726962] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_726962, _726960, _726958), n_2, _726960))], (4018 ^ _603679) ^ [_727073, _727075, _727077] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_727077, _727075, _727073), n_3, _727073))], (4020 ^ _603679) ^ [_727188, _727190, _727192] : [-(collection(f_subcollectionofwithrelationfromtypefn(_727192, _727190, _727188)))], (4022 ^ _603679) ^ [_727288] : [isa(_727288, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_727288))], (4028 ^ _603679) ^ [_727476] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_727476), -(isa(_727476, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _603679) ^ [_727678, _727680] : [prettystring(_727680, _727678), -(controlcharacterfreestring(_727678))], (4040 ^ _603679) ^ [_727886, _727888] : [prettystring(_727888, _727886), -(thing(_727888))], (4046 ^ _603679) ^ [_728080] : [isa(_728080, c_tptpcol_0_0), -(tptpcol_0_0(_728080))], (4052 ^ _603679) ^ [_728268] : [tptpcol_0_0(_728268), -(isa(_728268, c_tptpcol_0_0))], (4058 ^ _603679) ^ [_728456] : [isa(_728456, c_geolevel_3), -(geolevel_3(_728456))], (4064 ^ _603679) ^ [_728644] : [geolevel_3(_728644), -(isa(_728644, c_geolevel_3))], (4070 ^ _603679) ^ [_728832] : [isa(_728832, c_tptpcol_4_24578), -(tptpcol_4_24578(_728832))], (4076 ^ _603679) ^ [_729020] : [tptpcol_4_24578(_729020), -(isa(_729020, c_tptpcol_4_24578))], (4082 ^ _603679) ^ [_729208] : [isa(_729208, c_tptpcol_5_24579), -(tptpcol_5_24579(_729208))], (4088 ^ _603679) ^ [_729396] : [tptpcol_5_24579(_729396), -(isa(_729396, c_tptpcol_5_24579))], (4094 ^ _603679) ^ [_729584] : [isa(_729584, c_tptpcol_5_106498), -(tptpcol_5_106498(_729584))], (4100 ^ _603679) ^ [_729772] : [tptpcol_5_106498(_729772), -(isa(_729772, c_tptpcol_5_106498))], (4106 ^ _603679) ^ [_729960] : [isa(_729960, c_tptpcol_12_109157), -(tptpcol_12_109157(_729960))], (4112 ^ _603679) ^ [_730148] : [tptpcol_12_109157(_730148), -(isa(_730148, c_tptpcol_12_109157))], (4118 ^ _603679) ^ [_730336] : [isa(_730336, c_tptpcol_13_109173), -(tptpcol_13_109173(_730336))], (4124 ^ _603679) ^ [_730524] : [tptpcol_13_109173(_730524), -(isa(_730524, c_tptpcol_13_109173))], (4130 ^ _603679) ^ [_730712] : [isa(_730712, c_mathematicalthing), -(mathematicalthing(_730712))], (4136 ^ _603679) ^ [_730900] : [mathematicalthing(_730900), -(isa(_730900, c_mathematicalthing))], (4142 ^ _603679) ^ [_731088] : [isa(_731088, c_setorcollection), -(setorcollection(_731088))], (4148 ^ _603679) ^ [_731276] : [setorcollection(_731276), -(isa(_731276, c_setorcollection))], (4154 ^ _603679) ^ [_731464] : [isa(_731464, c_tptpcol_11_18631), -(tptpcol_11_18631(_731464))], (4160 ^ _603679) ^ [_731652] : [tptpcol_11_18631(_731652), -(isa(_731652, c_tptpcol_11_18631))], (4166 ^ _603679) ^ [_731840] : [isa(_731840, c_tptpcol_12_18663), -(tptpcol_12_18663(_731840))], (4172 ^ _603679) ^ [_732028] : [tptpcol_12_18663(_732028), -(isa(_732028, c_tptpcol_12_18663))], (4178 ^ _603679) ^ [_732230, _732232] : [tptptypes_8_400(_732232, _732230), -(firstordercollection(_732230))], (4184 ^ _603679) ^ [_732438, _732440] : [tptptypes_8_400(_732440, _732438), -(firstordercollection(_732440))], (4190 ^ _603679) ^ [_732646, _732648] : [tptptypes_9_401(_732648, _732646), -(firstordercollection(_732646))], (4196 ^ _603679) ^ [_732854, _732856] : [tptptypes_9_401(_732856, _732854), -(firstordercollection(_732856))], (4202 ^ _603679) ^ [_733033] : [-(natfunction(f_tptpquantityfn_13(_733033), c_tptpquantityfn_13))], (4204 ^ _603679) ^ [_733113] : [-(natargument(f_tptpquantityfn_13(_733113), n_1, _733113))], (4206 ^ _603679) ^ [_733194] : [-(tptpquantity(f_tptpquantityfn_13(_733194)))], (4208 ^ _603679) ^ [_733302, _733304] : [borderson(_733304, _733302), -(geographicalregion(_733302))], (4214 ^ _603679) ^ [_733510, _733512] : [borderson(_733512, _733510), -(geographicalregion(_733512))], (4220 ^ _603679) ^ [_733718, _733720] : [borderson(_733720, _733718), -(borderson(_733718, _733720))], (4226 ^ _603679) ^ [_733898] : [borderson(_733898, _733898)], (4228 ^ _603679) ^ [_733991] : [isa(_733991, c_tptpcol_14_92264), -(tptpcol_14_92264(_733991))], (4234 ^ _603679) ^ [_734179] : [tptpcol_14_92264(_734179), -(isa(_734179, c_tptpcol_14_92264))], (4240 ^ _603679) ^ [_734367] : [isa(_734367, c_tptpcol_15_92268), -(tptpcol_15_92268(_734367))], (4246 ^ _603679) ^ [_734555] : [tptpcol_15_92268(_734555), -(isa(_734555, c_tptpcol_15_92268))], (4252 ^ _603679) ^ [_734743] : [isa(_734743, c_tptpcol_6_116738), -(tptpcol_6_116738(_734743))], (4258 ^ _603679) ^ [_734931] : [tptpcol_6_116738(_734931), -(isa(_734931, c_tptpcol_6_116738))], (4264 ^ _603679) ^ [_735133, _735135] : [tptptypes_5_387(_735135, _735133), -(firstordercollection(_735133))], (4270 ^ _603679) ^ [_735341, _735343] : [tptptypes_5_387(_735343, _735341), -(firstordercollection(_735343))], (4276 ^ _603679) ^ [_735549, _735551] : [tptptypes_6_388(_735551, _735549), -(firstordercollection(_735549))], (4282 ^ _603679) ^ [_735757, _735759] : [tptptypes_6_388(_735759, _735757), -(firstordercollection(_735759))], (4288 ^ _603679) ^ [_735951] : [isa(_735951, c_shavingrazor_manual), -(shavingrazor_manual(_735951))], (4294 ^ _603679) ^ [_736139] : [shavingrazor_manual(_736139), -(isa(_736139, c_shavingrazor_manual))], (4300 ^ _603679) ^ [_736327] : [isa(_736327, c_tptpcol_9_109060), -(tptpcol_9_109060(_736327))], (4306 ^ _603679) ^ [_736515] : [tptpcol_9_109060(_736515), -(isa(_736515, c_tptpcol_9_109060))], (4312 ^ _603679) ^ [_736703] : [isa(_736703, c_tptpcol_10_109061), -(tptpcol_10_109061(_736703))], (4318 ^ _603679) ^ [_736891] : [tptpcol_10_109061(_736891), -(isa(_736891, c_tptpcol_10_109061))], (4324 ^ _603679) ^ [_737079] : [isa(_737079, c_executionbyfiringsquad), -(executionbyfiringsquad(_737079))], (4330 ^ _603679) ^ [_737267] : [executionbyfiringsquad(_737267), -(isa(_737267, c_executionbyfiringsquad))], (4336 ^ _603679) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _603679) ^ [_737508] : [isa(_737508, c_navypersonnel), -(navypersonnel(_737508))], (4344 ^ _603679) ^ [_737696] : [navypersonnel(_737696), -(isa(_737696, c_navypersonnel))], (4350 ^ _603679) ^ [_737884] : [isa(_737884, c_tptpcol_12_92262), -(tptpcol_12_92262(_737884))], (4356 ^ _603679) ^ [_738072] : [tptpcol_12_92262(_738072), -(isa(_738072, c_tptpcol_12_92262))], (4362 ^ _603679) ^ [_738260] : [isa(_738260, c_thing), -(thing(_738260))], (4368 ^ _603679) ^ [_738448] : [thing(_738448), -(isa(_738448, c_thing))], (4374 ^ _603679) ^ [_738636] : [isa(_738636, c_computerdataartifact), -(computerdataartifact(_738636))], (4380 ^ _603679) ^ [_738824] : [computerdataartifact(_738824), -(isa(_738824, c_computerdataartifact))], (4386 ^ _603679) ^ [_739012] : [isa(_739012, c_applicationcontext), -(applicationcontext(_739012))], (4392 ^ _603679) ^ [_739200] : [applicationcontext(_739200), -(isa(_739200, c_applicationcontext))], (4398 ^ _603679) ^ [_739402, _739404] : [inregion(_739404, _739402), -(spatialthing_nonsituational(_739402))], (4404 ^ _603679) ^ [_739610, _739612] : [inregion(_739612, _739610), -(spatialthing_nonsituational(_739612))], (4410 ^ _603679) ^ [_739832, _739834, _739836] : [-(inregion(_739836, _739832)), inregion(_739836, _739834), inregion(_739834, _739832)], (4420 ^ _603679) ^ [_740127] : [spatialthing_nonsituational(_740127), -(inregion(_740127, _740127))], (4426 ^ _603679) ^ [_740300] : [-(natfunction(f_tptpquantityfn_1(_740300), c_tptpquantityfn_1))], (4428 ^ _603679) ^ [_740380] : [-(natargument(f_tptpquantityfn_1(_740380), n_1, _740380))], (4430 ^ _603679) ^ [_740461] : [-(tptpquantity(f_tptpquantityfn_1(_740461)))], (4432 ^ _603679) ^ [_740555] : [isa(_740555, c_furpelt), -(furpelt(_740555))], (4438 ^ _603679) ^ [_740743] : [furpelt(_740743), -(isa(_740743, c_furpelt))], (4444 ^ _603679) ^ [_740945, _740947] : [tptpofobject(_740947, _740945), -(tptpquantity(_740945))], (4450 ^ _603679) ^ [_741153, _741155] : [tptpofobject(_741155, _741153), -(partiallytangible(_741155))], (4456 ^ _603679) ^ [_741375, _741377, _741379] : [relationallinstance(_741379, _741377, _741375), -(thing(_741375))], (4462 ^ _603679) ^ [_741605, _741607, _741609] : [relationallinstance(_741609, _741607, _741605), -(collection(_741607))], (4468 ^ _603679) ^ [_741835, _741837, _741839] : [relationallinstance(_741839, _741837, _741835), -(binarypredicate(_741839))], (4474 ^ _603679) ^ [_742037] : [isa(_742037, c_tptpcol_13_93766), -(tptpcol_13_93766(_742037))], (4480 ^ _603679) ^ [_742225] : [tptpcol_13_93766(_742225), -(isa(_742225, c_tptpcol_13_93766))], (4486 ^ _603679) ^ [_742413] : [isa(_742413, c_tptpcol_9_40196), -(tptpcol_9_40196(_742413))], (4492 ^ _603679) ^ [_742601] : [tptpcol_9_40196(_742601), -(isa(_742601, c_tptpcol_9_40196))], (4498 ^ _603679) ^ [_742789] : [isa(_742789, c_tptpcol_10_40324), -(tptpcol_10_40324(_742789))], (4504 ^ _603679) ^ [_742977] : [tptpcol_10_40324(_742977), -(isa(_742977, c_tptpcol_10_40324))], (4510 ^ _603679) ^ [_743165] : [isa(_743165, c_tptpcol_7_72707), -(tptpcol_7_72707(_743165))], (4516 ^ _603679) ^ [_743353] : [tptpcol_7_72707(_743353), -(isa(_743353, c_tptpcol_7_72707))], (4522 ^ _603679) ^ [_743541] : [isa(_743541, c_tptpcol_8_72708), -(tptpcol_8_72708(_743541))], (4528 ^ _603679) ^ [_743729] : [tptpcol_8_72708(_743729), -(isa(_743729, c_tptpcol_8_72708))], (4534 ^ _603679) ^ [_743917] : [isa(_743917, c_tptpcol_11_93764), -(tptpcol_11_93764(_743917))], (4540 ^ _603679) ^ [_744105] : [tptpcol_11_93764(_744105), -(isa(_744105, c_tptpcol_11_93764))], (4546 ^ _603679) ^ [_744293] : [isa(_744293, c_tptpcol_12_93765), -(tptpcol_12_93765(_744293))], (4552 ^ _603679) ^ [_744481] : [tptpcol_12_93765(_744481), -(isa(_744481, c_tptpcol_12_93765))], (4558 ^ _603679) ^ [_744669] : [isa(_744669, c_tptpcol_4_114689), -(tptpcol_4_114689(_744669))], (4564 ^ _603679) ^ [_744857] : [tptpcol_4_114689(_744857), -(isa(_744857, c_tptpcol_4_114689))], (4570 ^ _603679) ^ [_745045] : [isa(_745045, c_tptpcol_5_114690), -(tptpcol_5_114690(_745045))], (4576 ^ _603679) ^ [_745233] : [tptpcol_5_114690(_745233), -(isa(_745233, c_tptpcol_5_114690))], (4582 ^ _603679) ^ [_745421] : [isa(_745421, c_tptpcol_3_98305), -(tptpcol_3_98305(_745421))], (4588 ^ _603679) ^ [_745609] : [tptpcol_3_98305(_745609), -(isa(_745609, c_tptpcol_3_98305))], (4594 ^ _603679) ^ [_745797] : [isa(_745797, c_tptpcol_4_106497), -(tptpcol_4_106497(_745797))], (4600 ^ _603679) ^ [_745985] : [tptpcol_4_106497(_745985), -(isa(_745985, c_tptpcol_4_106497))], (4606 ^ _603679) ^ [_746200, _746202, _746204, _746206] : [-(natfunction(f_relationexistsallfn(_746206, _746204, _746202, _746200), c_relationexistsallfn))], (4608 ^ _603679) ^ [_746331, _746333, _746335, _746337] : [-(natargument(f_relationexistsallfn(_746337, _746335, _746333, _746331), n_1, _746337))], (4610 ^ _603679) ^ [_746463, _746465, _746467, _746469] : [-(natargument(f_relationexistsallfn(_746469, _746467, _746465, _746463), n_2, _746467))], (4612 ^ _603679) ^ [_746595, _746597, _746599, _746601] : [-(natargument(f_relationexistsallfn(_746601, _746599, _746597, _746595), n_3, _746597))], (4614 ^ _603679) ^ [_746727, _746729, _746731, _746733] : [-(natargument(f_relationexistsallfn(_746733, _746731, _746729, _746727), n_4, _746727))], (4616 ^ _603679) ^ [_746859, _746861, _746863, _746865] : [-(thing(f_relationexistsallfn(_746865, _746863, _746861, _746859)))], (4618 ^ _603679) ^ [_746976, _746978] : [resultisaarg(_746978, _746976), -(positiveinteger(_746976))], (4624 ^ _603679) ^ [_747184, _747186] : [resultisaarg(_747186, _747184), -(function_denotational(_747186))], (4630 ^ _603679) ^ [_747392, _747394] : [tptptypes_7_389(_747394, _747392), -(firstordercollection(_747392))], (4636 ^ _603679) ^ [_747600, _747602] : [tptptypes_7_389(_747602, _747600), -(firstordercollection(_747602))], (4642 ^ _603679) ^ [_747808, _747810] : [tptptypes_8_390(_747810, _747808), -(firstordercollection(_747808))], (4648 ^ _603679) ^ [_748016, _748018] : [tptptypes_8_390(_748018, _748016), -(firstordercollection(_748018))], (4654 ^ _603679) ^ [_748224, _748226] : [tptptypes_8_692(_748226, _748224), -(firstordercollection(_748224))], (4660 ^ _603679) ^ [_748432, _748434] : [tptptypes_8_692(_748434, _748432), -(firstordercollection(_748434))], (4666 ^ _603679) ^ [_748640, _748642] : [tptptypes_9_693(_748642, _748640), -(firstordercollection(_748640))], (4672 ^ _603679) ^ [_748848, _748850] : [tptptypes_9_693(_748850, _748848), -(firstordercollection(_748850))], (4678 ^ _603679) ^ [_749042] : [isa(_749042, c_tptpcol_11_40388), -(tptpcol_11_40388(_749042))], (4684 ^ _603679) ^ [_749230] : [tptpcol_11_40388(_749230), -(isa(_749230, c_tptpcol_11_40388))], (4690 ^ _603679) ^ [_749418] : [isa(_749418, c_marriagelicensedocument), -(marriagelicensedocument(_749418))], (4696 ^ _603679) ^ [_749606] : [marriagelicensedocument(_749606), -(isa(_749606, c_marriagelicensedocument))], (4702 ^ _603679) ^ [_749794] : [isa(_749794, c_tptpcol_1_65536), -(tptpcol_1_65536(_749794))], (4708 ^ _603679) ^ [_749982] : [tptpcol_1_65536(_749982), -(isa(_749982, c_tptpcol_1_65536))], (4714 ^ _603679) ^ [_750170] : [isa(_750170, c_tptpcol_2_98304), -(tptpcol_2_98304(_750170))], (4720 ^ _603679) ^ [_750358] : [tptpcol_2_98304(_750358), -(isa(_750358, c_tptpcol_2_98304))], (4726 ^ _603679) ^ [_750546] : [isa(_750546, c_tptpcol_10_92166), -(tptpcol_10_92166(_750546))], (4732 ^ _603679) ^ [_750734] : [tptpcol_10_92166(_750734), -(isa(_750734, c_tptpcol_10_92166))], (4738 ^ _603679) ^ [_750922] : [isa(_750922, c_tptpcol_11_92230), -(tptpcol_11_92230(_750922))], (4744 ^ _603679) ^ [_751110] : [tptpcol_11_92230(_751110), -(isa(_751110, c_tptpcol_11_92230))], (4750 ^ _603679) ^ [_751298] : [isa(_751298, c_orderingpredicate), -(orderingpredicate(_751298))], (4756 ^ _603679) ^ [_751486] : [orderingpredicate(_751486), -(isa(_751486, c_orderingpredicate))], (4762 ^ _603679) ^ [_751674] : [isa(_751674, c_tptpcol_9_18439), -(tptpcol_9_18439(_751674))], (4768 ^ _603679) ^ [_751862] : [tptpcol_9_18439(_751862), -(isa(_751862, c_tptpcol_9_18439))], (4774 ^ _603679) ^ [_752050] : [isa(_752050, c_tptpcol_10_18567), -(tptpcol_10_18567(_752050))], (4780 ^ _603679) ^ [_752238] : [tptpcol_10_18567(_752238), -(isa(_752238, c_tptpcol_10_18567))], (4786 ^ _603679) ^ [_752426] : [isa(_752426, c_tptpcol_2_65537), -(tptpcol_2_65537(_752426))], (4792 ^ _603679) ^ [_752614] : [tptpcol_2_65537(_752614), -(isa(_752614, c_tptpcol_2_65537))], (4798 ^ _603679) ^ [_752802] : [isa(_752802, c_tptpcol_3_81921), -(tptpcol_3_81921(_752802))], (4804 ^ _603679) ^ [_752990] : [tptpcol_3_81921(_752990), -(isa(_752990, c_tptpcol_3_81921))], (4810 ^ _603679) ^ [_753178] : [isa(_753178, c_artsupplies), -(artsupplies(_753178))], (4816 ^ _603679) ^ [_753366] : [artsupplies(_753366), -(isa(_753366, c_artsupplies))], (4822 ^ _603679) ^ [_753554] : [isa(_753554, c_enduringthing_localized), -(enduringthing_localized(_753554))], (4828 ^ _603679) ^ [_753742] : [enduringthing_localized(_753742), -(isa(_753742, c_enduringthing_localized))], (4834 ^ _603679) ^ [_753930] : [isa(_753930, c_location_underspecified), -(location_underspecified(_753930))], (4840 ^ _603679) ^ [_754118] : [location_underspecified(_754118), -(isa(_754118, c_location_underspecified))], (4846 ^ _603679) ^ [_754306] : [isa(_754306, c_trajector_underspecified), -(trajector_underspecified(_754306))], (4852 ^ _603679) ^ [_754494] : [trajector_underspecified(_754494), -(isa(_754494, c_trajector_underspecified))], (4858 ^ _603679) ^ [_754682] : [isa(_754682, c_individual), -(individual(_754682))], (4864 ^ _603679) ^ [_754870] : [individual(_754870), -(isa(_754870, c_individual))], (4870 ^ _603679) ^ [_755058] : [isa(_755058, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_755058))], (4876 ^ _603679) ^ [_755246] : [partiallyintangibleindividual(_755246), -(isa(_755246, c_partiallyintangibleindividual))], (4882 ^ _603679) ^ [_755434] : [isa(_755434, c_tptpcol_10_22022), -(tptpcol_10_22022(_755434))], (4888 ^ _603679) ^ [_755622] : [tptpcol_10_22022(_755622), -(isa(_755622, c_tptpcol_10_22022))], (4894 ^ _603679) ^ [_755810] : [isa(_755810, c_tptpcol_11_22023), -(tptpcol_11_22023(_755810))], (4900 ^ _603679) ^ [_755998] : [tptpcol_11_22023(_755998), -(isa(_755998, c_tptpcol_11_22023))], (4906 ^ _603679) ^ [_756186] : [isa(_756186, c_tptpcol_5_20483), -(tptpcol_5_20483(_756186))], (4912 ^ _603679) ^ [_756374] : [tptpcol_5_20483(_756374), -(isa(_756374, c_tptpcol_5_20483))], (4918 ^ _603679) ^ [_756562] : [isa(_756562, c_tptpcol_13_72791), -(tptpcol_13_72791(_756562))], (4924 ^ _603679) ^ [_756750] : [tptpcol_13_72791(_756750), -(isa(_756750, c_tptpcol_13_72791))], (4930 ^ _603679) ^ [_756938] : [isa(_756938, c_tptpcol_14_72792), -(tptpcol_14_72792(_756938))], (4936 ^ _603679) ^ [_757126] : [tptpcol_14_72792(_757126), -(isa(_757126, c_tptpcol_14_72792))], (4942 ^ _603679) ^ [_757314] : [isa(_757314, c_ridgeline_topographical), -(ridgeline_topographical(_757314))], (4948 ^ _603679) ^ [_757502] : [ridgeline_topographical(_757502), -(isa(_757502, c_ridgeline_topographical))], (4954 ^ _603679) ^ [_757690] : [isa(_757690, c_tptpcol_4_16387), -(tptpcol_4_16387(_757690))], (4960 ^ _603679) ^ [_757878] : [tptpcol_4_16387(_757878), -(isa(_757878, c_tptpcol_4_16387))], (4966 ^ _603679) ^ [_758066] : [isa(_758066, c_tptpcol_5_16388), -(tptpcol_5_16388(_758066))], (4972 ^ _603679) ^ [_758254] : [tptpcol_5_16388(_758254), -(isa(_758254, c_tptpcol_5_16388))], (4978 ^ _603679) ^ [_758442] : [isa(_758442, c_tptpcol_8_22020), -(tptpcol_8_22020(_758442))], (4984 ^ _603679) ^ [_758630] : [tptpcol_8_22020(_758630), -(isa(_758630, c_tptpcol_8_22020))], (4990 ^ _603679) ^ [_758818] : [isa(_758818, c_tptpcol_9_22021), -(tptpcol_9_22021(_758818))], (4996 ^ _603679) ^ [_759006] : [tptpcol_9_22021(_759006), -(isa(_759006, c_tptpcol_9_22021))], (5002 ^ _603679) ^ [_759194] : [isa(_759194, c_transitivebinarypredicate), -(transitivebinarypredicate(_759194))], (5008 ^ _603679) ^ [_759382] : [transitivebinarypredicate(_759382), -(isa(_759382, c_transitivebinarypredicate))], (5014 ^ _603679) ^ [_759584, _759586] : [geographicalsubregions(_759586, _759584), -(geographicalregion(_759584))], (5020 ^ _603679) ^ [_759792, _759794] : [geographicalsubregions(_759794, _759792), -(geographicalregion(_759794))], (5026 ^ _603679) ^ [_760014, _760016, _760018] : [-(geographicalsubregions(_760018, _760014)), geographicalsubregions(_760018, _760016), geographicalsubregions(_760016, _760014)], (5036 ^ _603679) ^ [_760309] : [geographicalregion(_760309), -(geographicalsubregions(_760309, _760309))], (5042 ^ _603679) ^ [_760497] : [isa(_760497, c_tptpcol_12_40420), -(tptpcol_12_40420(_760497))], (5048 ^ _603679) ^ [_760685] : [tptpcol_12_40420(_760685), -(isa(_760685, c_tptpcol_12_40420))], (5054 ^ _603679) ^ [_760873] : [isa(_760873, c_tptpcol_13_40421), -(tptpcol_13_40421(_760873))], (5060 ^ _603679) ^ [_761061] : [tptpcol_13_40421(_761061), -(isa(_761061, c_tptpcol_13_40421))], (5066 ^ _603679) ^ [_761249] : [isa(_761249, c_tptpcol_6_92162), -(tptpcol_6_92162(_761249))], (5072 ^ _603679) ^ [_761437] : [tptpcol_6_92162(_761437), -(isa(_761437, c_tptpcol_6_92162))], (5078 ^ _603679) ^ [_761625] : [isa(_761625, c_tptpcol_7_93186), -(tptpcol_7_93186(_761625))], (5084 ^ _603679) ^ [_761813] : [tptpcol_7_93186(_761813), -(isa(_761813, c_tptpcol_7_93186))], (5090 ^ _603679) ^ [_762015, _762017] : [most(_762017, _762015), -(setorcollection(_762015))], (5096 ^ _603679) ^ [_762223, _762225] : [most(_762225, _762223), -(setorcollection(_762223))], (5102 ^ _603679) ^ [_762431, _762433] : [most(_762433, _762431), -(setorcollection(_762433))], (5108 ^ _603679) ^ [_762639, _762641] : [most(_762641, _762639), -(setorcollection(_762641))], (5114 ^ _603679) ^ [_762833] : [setorcollection(_762833), -(most(_762833, _762833))], (5120 ^ _603679) ^ [_763021] : [setorcollection(_763021), -(most(_763021, _763021))], (5126 ^ _603679) ^ [_763237, _763239, _763241] : [-(most(_763241, _763237)), most(_763241, _763239), subsetof(_763239, _763237)], (5136 ^ _603679) ^ [_763560, _763562, _763564] : [-(most(_763564, _763560)), most(_763564, _763562), subsetof(_763562, _763560)], (5146 ^ _603679) ^ [_763869, _763871] : [subsetof(_763871, _763869), -(setorcollection(_763869))], (5152 ^ _603679) ^ [_764077, _764079] : [subsetof(_764079, _764077), -(setorcollection(_764079))], (5158 ^ _603679) ^ [_764299, _764301, _764303] : [-(subsetof(_764303, _764299)), subsetof(_764303, _764301), subsetof(_764301, _764299)], (5168 ^ _603679) ^ [_764594] : [setorcollection(_764594), -(subsetof(_764594, _764594))], (5174 ^ _603679) ^ [_764810, _764812, _764814] : [-(subsetof(_764810, _764812)), subsetof(_764814, _764812), subsetof(_764810, _764814)], (5184 ^ _603679) ^ [_765133, _765135, _765137] : [-(subsetof(_765137, _765133)), subsetof(_765137, _765135), subsetof(_765135, _765133)], (5194 ^ _603679) ^ [_765456, _765458, _765460] : [-(subsetof(_765460, _765456)), subsetof(_765460, _765458), subsetof(_765458, _765456)], (5204 ^ _603679) ^ [_765765, _765767] : [genlpreds(_765767, _765765), -(predicate(_765765))], (5210 ^ _603679) ^ [_765973, _765975] : [genlpreds(_765975, _765973), -(predicate(_765973))], (5216 ^ _603679) ^ [_766181, _766183] : [genlpreds(_766183, _766181), -(predicate(_766183))], (5222 ^ _603679) ^ [_766389, _766391] : [genlpreds(_766391, _766389), -(predicate(_766391))], (5228 ^ _603679) ^ [_766611, _766613, _766615] : [-(genlpreds(_766615, _766611)), genlpreds(_766615, _766613), genlpreds(_766613, _766611)], (5238 ^ _603679) ^ [_766906] : [predicate(_766906), -(genlpreds(_766906, _766906))], (5244 ^ _603679) ^ [_767094] : [predicate(_767094), -(genlpreds(_767094, _767094))], (5250 ^ _603679) ^ [_767296, _767298] : [genlinverse(_767298, _767296), -(binarypredicate(_767296))], (5256 ^ _603679) ^ [_767504, _767506] : [genlinverse(_767506, _767504), -(binarypredicate(_767506))], (5262 ^ _603679) ^ [_767726, _767728, _767730] : [-(genlinverse(_767726, _767728)), genlinverse(_767730, _767728), genlpreds(_767726, _767730)], (5272 ^ _603679) ^ [_768049, _768051, _768053] : [-(genlinverse(_768053, _768049)), genlinverse(_768053, _768051), genlpreds(_768051, _768049)], (5282 ^ _603679) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _603679) ^ [_768397] : [isa(_768397, c_microtheory), -(microtheory(_768397))], (5290 ^ _603679) ^ [_768585] : [microtheory(_768585), -(isa(_768585, c_microtheory))], (5296 ^ _603679) ^ [_768758] : [-(natfunction(f_urlfn(_768758), c_urlfn))], (5298 ^ _603679) ^ [_768838] : [-(natargument(f_urlfn(_768838), n_1, _768838))], (5300 ^ _603679) ^ [_768919] : [-(uniformresourcelocator(f_urlfn(_768919)))], (5302 ^ _603679) ^ [_768998] : [-(natfunction(f_urlreferentfn(_768998), c_urlreferentfn))], (5304 ^ _603679) ^ [_769078] : [-(natargument(f_urlreferentfn(_769078), n_1, _769078))], (5306 ^ _603679) ^ [_769159] : [-(computerdataartifact(f_urlreferentfn(_769159)))], (5308 ^ _603679) ^ [_769252, _769254] : [-(natfunction(f_contentmtofcdafromeventfn(_769254, _769252), c_contentmtofcdafromeventfn))], (5310 ^ _603679) ^ [_769349, _769351] : [-(natargument(f_contentmtofcdafromeventfn(_769351, _769349), n_1, _769351))], (5312 ^ _603679) ^ [_769447, _769449] : [-(natargument(f_contentmtofcdafromeventfn(_769449, _769447), n_2, _769447))], (5314 ^ _603679) ^ [_769545, _769547] : [-(microtheory(f_contentmtofcdafromeventfn(_769547, _769545)))], (5316 ^ _603679) ^ [_769656, _769658] : [isa(_769658, _769656), -(collection(_769656))], (5322 ^ _603679) ^ [_769864, _769866] : [isa(_769866, _769864), -(collection(_769864))], (5328 ^ _603679) ^ [_770072, _770074] : [isa(_770074, _770072), -(thing(_770074))], (5334 ^ _603679) ^ [_770280, _770282] : [isa(_770282, _770280), -(thing(_770282))], (5340 ^ _603679) ^ [_770502, _770504, _770506] : [-(isa(_770506, _770502)), isa(_770506, _770504), genls(_770504, _770502)], (5350 ^ _603679) ^ [_770797] : [isa(_770797, c_inanimateobject), -(inanimateobject(_770797))], (5356 ^ _603679) ^ [_770985] : [inanimateobject(_770985), -(isa(_770985, c_inanimateobject))], (5362 ^ _603679) ^ [_771173] : [isa(_771173, c_tptpcol_9_72709), -(tptpcol_9_72709(_771173))], (5368 ^ _603679) ^ [_771361] : [tptpcol_9_72709(_771361), -(isa(_771361, c_tptpcol_9_72709))], (5374 ^ _603679) ^ [_771549] : [isa(_771549, c_tptpcol_10_72710), -(tptpcol_10_72710(_771549))], (5380 ^ _603679) ^ [_771737] : [tptpcol_10_72710(_771737), -(isa(_771737, c_tptpcol_10_72710))], (5386 ^ _603679) ^ [_771925] : [isa(_771925, c_tptpcol_14_40429), -(tptpcol_14_40429(_771925))], (5392 ^ _603679) ^ [_772113] : [tptpcol_14_40429(_772113), -(isa(_772113, c_tptpcol_14_40429))], (5398 ^ _603679) ^ [_772301] : [isa(_772301, c_tptpcol_15_40430), -(tptpcol_15_40430(_772301))], (5404 ^ _603679) ^ [_772489] : [tptpcol_15_40430(_772489), -(isa(_772489, c_tptpcol_15_40430))], (5410 ^ _603679) ^ [_772691, _772693] : [genls(_772693, _772691), -(collection(_772691))], (5416 ^ _603679) ^ [_772899, _772901] : [genls(_772901, _772899), -(collection(_772899))], (5422 ^ _603679) ^ [_773107, _773109] : [genls(_773109, _773107), -(collection(_773109))], (5428 ^ _603679) ^ [_773315, _773317] : [genls(_773317, _773315), -(collection(_773317))], (5434 ^ _603679) ^ [_773537, _773539, _773541] : [-(genls(_773541, _773537)), genls(_773541, _773539), genls(_773539, _773537)], (5444 ^ _603679) ^ [_773832] : [collection(_773832), -(genls(_773832, _773832))], (5450 ^ _603679) ^ [_774020] : [collection(_774020), -(genls(_774020, _774020))], (5456 ^ _603679) ^ [_774236, _774238, _774240] : [-(genls(_774236, _774238)), genls(_774240, _774238), genls(_774236, _774240)], (5466 ^ _603679) ^ [_774559, _774561, _774563] : [-(genls(_774563, _774559)), genls(_774563, _774561), genls(_774561, _774559)], (5476 ^ _603679) ^ [_774854] : [isa(_774854, c_partiallytangible), -(partiallytangible(_774854))], (5482 ^ _603679) ^ [_775042] : [partiallytangible(_775042), -(isa(_775042, c_partiallytangible))], (5488 ^ _603679) ^ [_775230] : [isa(_775230, c_intangible), -(intangible(_775230))], (5494 ^ _603679) ^ [_775418] : [intangible(_775418), -(isa(_775418, c_intangible))], (5500 ^ _603679) ^ [_775620, _775622] : [disjointwith(_775622, _775620), -(collection(_775620))], (5506 ^ _603679) ^ [_775828, _775830] : [disjointwith(_775830, _775828), -(collection(_775830))], (5512 ^ _603679) ^ [_776036, _776038] : [disjointwith(_776038, _776036), -(disjointwith(_776036, _776038))], (5518 ^ _603679) ^ [_776260, _776262, _776264] : [-(disjointwith(_776264, _776260)), disjointwith(_776264, _776262), genls(_776260, _776262)], (5528 ^ _603679) ^ [_776583, _776585, _776587] : [-(disjointwith(_776583, _776585)), disjointwith(_776587, _776585), genls(_776583, _776587)], (5538 ^ _603679) ^ [_776892, _776894] : [-(mtvisible(_776892)), mtvisible(_776894), genlmt(_776894, _776892)], (5548 ^ _603679) ^ [_777187, _777189] : [genlmt(_777189, _777187), -(microtheory(_777187))], (5554 ^ _603679) ^ [_777395, _777397] : [genlmt(_777397, _777395), -(microtheory(_777395))], (5560 ^ _603679) ^ [_777603, _777605] : [genlmt(_777605, _777603), -(microtheory(_777605))], (5566 ^ _603679) ^ [_777811, _777813] : [genlmt(_777813, _777811), -(microtheory(_777813))], (5572 ^ _603679) ^ [_778033, _778035, _778037] : [-(genlmt(_778037, _778033)), genlmt(_778037, _778035), genlmt(_778035, _778033)], (5582 ^ _603679) ^ [_778328] : [microtheory(_778328), -(genlmt(_778328, _778328))], (5594 ^ _603679) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _603679) ^ [_778516] : [microtheory(_778516), -(genlmt(_778516, _778516))]], input).
% 3.60/4.48  ncf('1',plain,[tptptypes_5_802(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)],start(5598 ^ 0)).
% 3.60/4.48  ncf('1.1',plain,[-(tptptypes_5_802(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)), tptptypes_6_818(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)],extension(1616 ^ 1,bind([[_649847, _649849], [c_tptpcol_16_8886, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)]]))).
% 3.60/4.48  ncf('1.1.1',plain,[-(tptptypes_6_818(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)), tptptypes_7_819(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)],extension(538 ^ 2,bind([[_619030, _619032], [c_tptpcol_16_8886, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)]]))).
% 3.60/4.48  ncf('1.1.1.1',plain,[-(tptptypes_7_819(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)), tptptypes_8_823(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)],extension(1054 ^ 3,bind([[_633753, _633755], [c_tptpcol_16_8886, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)]]))).
% 3.60/4.48  ncf('1.1.1.1.1',plain,[-(tptptypes_8_823(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)), tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)],extension(1658 ^ 4,bind([[_651119, _651121], [c_tptpcol_16_8886, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)]]))).
% 3.60/4.48  ncf('1.1.1.1.1.1',plain,[-(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886)), mtvisible(c_tptp_member2668_mt)],extension(704 ^ 5)).
% 3.60/4.48  ncf('1.1.1.1.1.1.1',plain,[-(mtvisible(c_tptp_member2668_mt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt)],extension(5538 ^ 6,bind([[_776892, _776894], [c_tptp_member2668_mt, c_tptp_spindlecollectormt]]))).
% 3.60/4.48  ncf('1.1.1.1.1.1.1.1',plain,[-(mtvisible(c_tptp_spindlecollectormt))],extension(5596 ^ 7)).
% 3.60/4.48  ncf('1.1.1.1.1.1.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))],extension(1364 ^ 7)).
% 3.60/4.48  %-----------------------------------------------------
% 3.60/4.48  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------