TSTP Solution File: CSR073+2 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : CSR073+2 : TPTP v8.1.2. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n029.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:02:43 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.07/0.11 % Problem : CSR073+2 : TPTP v8.1.2. Released v3.4.0.
% 0.07/0.12 % Command : nanocop.sh %s %d
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Fri May 19 00:57:13 EDT 2023
% 0.12/0.33 % CPUTime :
% 3.60/4.48
% 3.60/4.48 /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 3.60/4.48 Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 3.60/4.48 %-----------------------------------------------------
% 3.60/4.48 ncf(matrix, plain, [(5596 ^ _601103) ^ [_790630] : [-(mtvisible(c_tptp_spindlecollectormt))], (5598 ^ _601103) ^ [_790667] : [tptptypes_5_387(_790667, c_pushingababycarriage)], (2 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _601103) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _601103) ^ [_601308] : [intangible(_601308), partiallytangible(_601308)], (12 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _601103) ^ [_601546] : [tptpcol_15_40430(_601546), -(tptpcol_14_40429(_601546))], (20 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _601103) ^ [_601785] : [tptpcol_10_72710(_601785), -(tptpcol_9_72709(_601785))], (28 ^ _601103) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _601103) ^ [_602024] : [inanimateobject(_602024), -(partiallytangible(_602024))], (36 ^ _601103) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _601103) ^ [_602291, _602293, _602295] : [-(genlpreds(_602295, _602291)), genlinverse(_602295, _602293), genlinverse(_602293, _602291)], (48 ^ _601103) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _601103) ^ [_602653, _602655] : [subsetof(_602655, _602653), -(most(_602655, _602653))], (56 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _601103) ^ [_602902] : [tptpcol_7_93186(_602902), -(tptpcol_6_92162(_602902))], (64 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _601103) ^ [_603141] : [tptpcol_13_40421(_603141), -(tptpcol_12_40420(_603141))], (72 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _601103) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _601103) ^ [_603605] : [tptpcol_9_22021(_603605), -(tptpcol_8_22020(_603605))], (90 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _601103) ^ [_603844] : [tptpcol_5_16388(_603844), -(tptpcol_4_16387(_603844))], (98 ^ _601103) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _601103) ^ [_604202] : [tptpcol_14_72792(_604202), -(tptpcol_13_72791(_604202))], (112 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _601103) ^ [_604441] : [tptpcol_5_20483(_604441), -(tptpcol_4_16387(_604441))], (120 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _601103) ^ [_604680] : [tptpcol_11_22023(_604680), -(tptpcol_10_22022(_604680))], (128 ^ _601103) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _601103) ^ [_604919] : [partiallyintangibleindividual(_604919), -(individual(_604919))], (136 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _601103) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _601103) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _601103) ^ [_605264] : [trajector_underspecified(_605264), -(location_underspecified(_605264))], (148 ^ _601103) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _601103) ^ [_605503] : [partiallytangible(_605503), -(enduringthing_localized(_605503))], (156 ^ _601103) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _601103) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _601103) ^ [_605861] : [tptpcol_3_81921(_605861), -(tptpcol_2_65537(_605861))], (170 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _601103) ^ [_606100] : [tptpcol_10_18567(_606100), -(tptpcol_9_18439(_606100))], (178 ^ _601103) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _601103) ^ [_606339] : [orderingpredicate(_606339), -(transitivebinarypredicate(_606339))], (186 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _601103) ^ [_606578] : [tptpcol_11_92230(_606578), -(tptpcol_10_92166(_606578))], (194 ^ _601103) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _601103) ^ [_606817] : [tptpcol_2_98304(_606817), -(tptpcol_1_65536(_606817))], (202 ^ _601103) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _601103) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _601103) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _601103) ^ [_607281] : [tptpcol_12_40420(_607281), -(tptpcol_11_40388(_607281))], (220 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _601103) ^ [_607534, _607536] : [tptptypes_9_693(_607536, _607534), -(tptptypes_8_692(_607536, _607534))], (228 ^ _601103) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _601103) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _601103) ^ [_607903, _607905] : [tptptypes_8_390(_607905, _607903), -(tptptypes_7_389(_607905, _607903))], (240 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _601103) ^ [_608247, _608249, _608251, _608253] : [-(isa(f_relationexistsallfn(_608253, _608249, _608247, _608251), _608247)), isa(_608253, _608251), relationexistsall(_608249, _608247, _608251)], (254 ^ _601103) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _601103) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _601103) ^ [_608776] : [tptpcol_4_106497(_608776), -(tptpcol_3_98305(_608776))], (268 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _601103) ^ [_609015] : [tptpcol_5_114690(_609015), -(tptpcol_4_114689(_609015))], (276 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _601103) ^ [_609254] : [tptpcol_12_93765(_609254), -(tptpcol_11_93764(_609254))], (284 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _601103) ^ [_609493] : [tptpcol_8_72708(_609493), -(tptpcol_7_72707(_609493))], (292 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _601103) ^ [_609732] : [tptpcol_10_40324(_609732), -(tptpcol_9_40196(_609732))], (300 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _601103) ^ [_609971] : [tptpcol_13_93766(_609971), -(tptpcol_12_93765(_609971))], (308 ^ _601103) ^ [_610157] : [-(tptpofobject(_610157, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_610157)], (318 ^ _601103) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _601103) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _601103) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _601103) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _601103) ^ [_610821] : [location_underspecified(_610821), -(thing(_610821))], (342 ^ _601103) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _601103) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _601103) ^ [_611166] : [tptpcol_12_92262(_611166), -(tptpcol_11_92230(_611166))], (354 ^ _601103) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _601103) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _601103) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _601103) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _601103) ^ [_611683] : [tptpcol_10_109061(_611683), -(tptpcol_9_109060(_611683))], (374 ^ _601103) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _601103) ^ [_611989, _611991] : [tptptypes_6_388(_611991, _611989), -(tptptypes_5_387(_611991, _611989))], (384 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _601103) ^ [_612238] : [tptpcol_6_116738(_612238), -(tptpcol_5_114690(_612238))], (392 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _601103) ^ [_612477] : [tptpcol_15_92268(_612477), -(tptpcol_14_92264(_612477))], (400 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _601103) ^ [_612782] : [-(tptpofobject(_612782, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_612782)], (416 ^ _601103) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _601103) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _601103) ^ [_613235, _613237] : [tptptypes_9_401(_613237, _613235), -(tptptypes_8_400(_613235, _613237))], (430 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _601103) ^ [_613484] : [tptpcol_12_18663(_613484), -(tptpcol_11_18631(_613484))], (438 ^ _601103) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _601103) ^ [_613723] : [setorcollection(_613723), -(mathematicalthing(_613723))], (446 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _601103) ^ [_613962] : [tptpcol_13_109173(_613962), -(tptpcol_12_109157(_613962))], (454 ^ _601103) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _601103) ^ [_614254] : [tptpcol_5_106498(_614254), -(tptpcol_4_106497(_614254))], (464 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _601103) ^ [_614493] : [tptpcol_5_24579(_614493), -(tptpcol_4_24578(_614493))], (472 ^ _601103) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _601103) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _601103) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _601103) ^ [_615023] : [tptpcol_1_65536(_615023), -(tptpcol_0_0(_615023))], (494 ^ _601103) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _601103) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _601103) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _601103) ^ [_615448, _615450] : [geographicalsubregions(_615450, _615448), -(inregion(_615448, _615450))], (510 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _601103) ^ [_615697] : [tptpcol_11_118084(_615697), -(tptpcol_10_118020(_615697))], (518 ^ _601103) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _601103) ^ [_615936] : [mathematicalorcomputationalthing(_615936), -(intangible(_615936))], (526 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _601103) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _601103) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _601103) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _601103) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _601103) ^ [_616454, _616456] : [tptptypes_7_819(_616456, _616454), -(tptptypes_6_818(_616456, _616454))], (544 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _601103) ^ [_616756] : [tptpcol_12_26919(_616756), -(tptpcol_11_26887(_616756))], (554 ^ _601103) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _601103) ^ [_617009, _617011] : [tptptypes_8_692(_617011, _617009), -(tptptypes_7_691(_617009, _617011))], (562 ^ _601103) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _601103) ^ [_617258] : [tptpcol_2_2(_617258), -(tptpcol_1_1(_617258))], (570 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _601103) ^ [_617550] : [tptpcol_9_92165(_617550), -(tptpcol_8_92164(_617550))], (580 ^ _601103) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _601103) ^ [_617789] : [fixedordercollection(_617789), -(collection(_617789))], (588 ^ _601103) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _601103) ^ [_618028] : [tptpcol_1_1(_618028), tptpcol_1_65536(_618028)], (596 ^ _601103) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _601103) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _601103) ^ [_618319] : [microtheory(_618319), -(aspatialinformationstore(_618319))], (606 ^ _601103) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _601103) ^ [_618624] : [-(tptp_8_875(_618624, f_relationallexistsfn(_618624, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_618624, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _601103) ^ [] : [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 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _601103) ^ [_619075] : [tptpcol_10_118020(_619075), -(tptpcol_9_118019(_619075))], (636 ^ _601103) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _601103) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _601103) ^ [_619433] : [-(tptp_9_720(_619433, f_relationallexistsfn(_619433, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_619433)], (654 ^ _601103) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _601103) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _601103) ^ [_619882] : [individual(_619882), setorcollection(_619882)], (668 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _601103) ^ [_620120] : [tptpcol_12_22055(_620120), -(tptpcol_11_22023(_620120))], (676 ^ _601103) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _601103) ^ [_620359] : [applicationcontext(_620359), -(microtheory(_620359))], (684 ^ _601103) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _601103) ^ [_620665, _620667] : [tptptypes_8_400(_620667, _620665), -(tptptypes_7_396(_620667, _620665))], (694 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _601103) ^ [_620914] : [tptpcol_11_18631(_620914), -(tptpcol_10_18567(_620914))], (702 ^ _601103) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _601103) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _601103) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _601103) ^ [_621325] : [mathematicalthing(_621325), -(mathematicalorcomputationalthing(_621325))], (718 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _601103) ^ [_621617] : [tptpcol_15_93775(_621617), -(tptpcol_14_93774(_621617))], (728 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _601103) ^ [_621856] : [tptpcol_8_109059(_621856), -(tptpcol_7_108547(_621856))], (736 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _601103) ^ [_622095] : [tptpcol_14_40429(_622095), -(tptpcol_13_40421(_622095))], (744 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _601103) ^ [_622453] : [tptpcol_14_22072(_622453), -(tptpcol_13_22071(_622453))], (758 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _601103) ^ [_622692] : [tptpcol_14_93774(_622692), -(tptpcol_13_93766(_622692))], (766 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _601103) ^ [_622931] : [tptpcol_10_22022(_622931), -(tptpcol_9_22021(_622931))], (774 ^ _601103) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _601103) ^ [_623170] : [inanimateobject_nonnatural(_623170), -(inanimateobject(_623170))], (782 ^ _601103) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _601103) ^ [_623515] : [tptpcol_9_72709(_623515), -(tptpcol_8_72708(_623515))], (794 ^ _601103) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _601103) ^ [_623754] : [-(tptpofobject(_623754, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_623754)], (806 ^ _601103) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _601103) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _601103) ^ [_624193] : [firstordercollection(_624193), -(fixedordercollection(_624193))], (820 ^ _601103) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _601103) ^ [_624604] : [tptpcol_13_18664(_624604), -(tptpcol_12_18663(_624604))], (836 ^ _601103) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _601103) ^ [_624843] : [artifact(_624843), -(inanimateobject_nonnatural(_624843))], (844 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _601103) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _601103) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _601103) ^ [_625241] : [tptpcol_7_113665(_625241), -(tptpcol_6_112641(_625241))], (858 ^ _601103) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _601103) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _601103) ^ [_625599] : [geographicalregion(_625599), -(partiallytangible(_625599))], (872 ^ _601103) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _601103) ^ [_625852, _625854] : [disjointwith(_625854, _625852), -(no(_625854, _625852))], (880 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _601103) ^ [_626101] : [tptpcol_4_24578(_626101), -(tptpcol_3_16386(_626101))], (888 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _601103) ^ [_626340] : [tptpcol_5_69635(_626340), -(tptpcol_4_65539(_626340))], (896 ^ _601103) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _601103) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _601103) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _601103) ^ [_626699, _626701] : [genls(_626701, _626699), -(collection(_626701))], (908 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _601103) ^ [_626946] : [tptpcol_13_22071(_626946), -(tptpcol_12_22055(_626946))], (916 ^ _601103) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _601103) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _601103) ^ [_627238] : [tptpcol_3_98305(_627238), -(tptpcol_2_98304(_627238))], (926 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _601103) ^ [_627477] : [tptpcol_4_114689(_627477), -(tptpcol_3_114688(_627477))], (934 ^ _601103) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _601103) ^ [_627716] : [artsupplies(_627716), -(supplies(_627716))], (942 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _601103) ^ [_627955] : [tptpcol_8_26629(_627955), -(tptpcol_7_26628(_627955))], (950 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _601103) ^ [_628194] : [tptpcol_9_109060(_628194), -(tptpcol_8_109059(_628194))], (958 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _601103) ^ [_628433] : [isa(_628433, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_628433, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _628433))], (966 ^ _601103) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _601103) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _601103) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _601103) ^ [_629017] : [tptpcol_14_109181(_629017), -(tptpcol_13_109173(_629017))], (988 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _601103) ^ [_629256] : [tptpcol_16_30972(_629256), -(tptpcol_15_30970(_629256))], (996 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _601103) ^ [_629548] : [tptpcol_9_18439(_629548), -(tptpcol_8_18438(_629548))], (1006 ^ _601103) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _601103) ^ [_629840] : [tptpcol_12_118116(_629840), -(tptpcol_11_118084(_629840))], (1016 ^ _601103) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _601103) ^ [_630132] : [tptpcol_7_26628(_630132), -(tptpcol_6_26627(_630132))], (1026 ^ _601103) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _601103) ^ [_630385, _630387] : [most(_630387, _630385), -(setorcollection(_630387))], (1034 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _601103) ^ [_630632] : [tptpcol_15_109185(_630632), -(tptpcol_14_109181(_630632))], (1042 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _601103) ^ [_630871] : [tptpcol_16_92269(_630871), -(tptpcol_15_92268(_630871))], (1050 ^ _601103) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _601103) ^ [_631177, _631179] : [tptptypes_8_823(_631179, _631177), -(tptptypes_7_819(_631179, _631177))], (1060 ^ _601103) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _601103) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _601103) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _601103) ^ [_631757] : [tptpcol_10_26886(_631757), -(tptpcol_9_26885(_631757))], (1082 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _601103) ^ [_632049] : [tptpcol_15_72793(_632049), -(tptpcol_14_72792(_632049))], (1092 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _601103) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _601103) ^ [_632407] : [navypersonnel(_632407), -(militaryperson(_632407))], (1106 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _601103) ^ [_632646] : [tptpcol_4_16387(_632646), -(tptpcol_3_16386(_632646))], (1114 ^ _601103) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _601103) ^ [_632885] : [enduringthing_localized(_632885), -(spatialthing_nonsituational(_632885))], (1122 ^ _601103) ^ [_633071] : [collection(_633071), individual(_633071)], (1128 ^ _601103) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _601103) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _601103) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _601103) ^ [_633600] : [physicalorderingpredicate(_633600), -(orderingpredicate(_633600))], (1150 ^ _601103) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _601103) ^ [_633853, _633855] : [disjointwith(_633855, _633853), -(collection(_633853))], (1158 ^ _601103) ^ [_634089, _634091, _634093, _634095] : [-(isa(f_relationallexistsfn(_634095, _634091, _634093, _634089), _634089)), isa(_634095, _634093), relationallexists(_634091, _634093, _634089)], (1168 ^ _601103) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _601103) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _601103) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _601103) ^ [_634698, _634700] : [tptptypes_7_389(_634700, _634698), -(tptptypes_6_388(_634698, _634700))], (1186 ^ _601103) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _601103) ^ [_635013] : [-(hpkb_subnationalagent(_635013)), mtvisible(c_hpkbvocabmt), state_geopolitical(_635013)], (1202 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _601103) ^ [_635331] : [tptpcol_8_22020(_635331), -(tptpcol_7_21508(_635331))], (1210 ^ _601103) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _601103) ^ [_635570] : [-(tptp_9_51(f_relationexistsallfn(_635570, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _635570)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_635570, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _601103) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _601103) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _601103) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _601103) ^ [_636074] : [tptpcol_3_65538(_636074), -(tptpcol_2_65537(_636074))], (1238 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _601103) ^ [_636313] : [tptpcol_14_26921(_636313), -(tptpcol_13_26920(_636313))], (1246 ^ _601103) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _601103) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _601103) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _601103) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _601103) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _601103) ^ [_636764] : [intangibleindividual(_636764), -(partiallyintangibleindividual(_636764))], (1262 ^ _601103) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _601103) ^ [_637122] : [tptpcol_16_130924(_637122), -(tptpcol_15_130923(_637122))], (1276 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _601103) ^ [_637361] : [tptpcol_7_92163(_637361), -(tptpcol_6_92162(_637361))], (1284 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _601103) ^ [_637653] : [tptpcol_16_130933(_637653), -(tptpcol_15_130931(_637653))], (1294 ^ _601103) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _601103) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _601103) ^ [_637959, _637961] : [no(_637961, _637959), -(few(_637961, _637959))], (1304 ^ _601103) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _601103) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _601103) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _601103) ^ [_638367] : [tptpcol_6_20484(_638367), -(tptpcol_5_20483(_638367))], (1318 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _601103) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _601103) ^ [_638831] : [tptpcol_7_108547(_638831), -(tptpcol_6_108546(_638831))], (1336 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _601103) ^ [_639070] : [tptpcol_11_109125(_639070), -(tptpcol_10_109061(_639070))], (1344 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _601103) ^ [_639362] : [tptpcol_8_93698(_639362), -(tptpcol_7_93186(_639362))], (1354 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _601103) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _601103) ^ [_639654] : [tptpcol_2_65537(_639654), -(tptpcol_1_65536(_639654))], (1364 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _601103) ^ [_639946] : [tptpcol_6_18436(_639946), -(tptpcol_5_16388(_639946))], (1374 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _601103) ^ [_640185] : [tptpcol_8_18438(_640185), -(tptpcol_7_18437(_640185))], (1382 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _601103) ^ [_640543] : [tptpcol_8_117763(_640543), -(tptpcol_7_117762(_640543))], (1396 ^ _601103) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _601103) ^ [_640835] : [tptpcol_12_109157(_640835), -(tptpcol_11_109125(_640835))], (1406 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _601103) ^ [_641074] : [tptpcol_7_117762(_641074), -(tptpcol_6_116738(_641074))], (1414 ^ _601103) ^ [_641288, _641290, _641292] : [isa(_641292, _641290), isa(_641292, _641288), disjointwith(_641290, _641288)], (1424 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _601103) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _601103) ^ [_641688] : [aspatialinformationstore(_641688), -(aspatialthing(_641688))], (1434 ^ _601103) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _601103) ^ [_642086] : [tptpcol_9_93699(_642086), -(tptpcol_8_93698(_642086))], (1448 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _601103) ^ [_642325] : [tptpcol_11_93764(_642325), -(tptpcol_10_93700(_642325))], (1456 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _601103) ^ [_642564] : [tptpcol_6_26627(_642564), -(tptpcol_5_24579(_642564))], (1464 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _601103) ^ [_642803] : [tptpcol_4_90113(_642803), -(tptpcol_3_81921(_642803))], (1472 ^ _601103) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _601103) ^ [_643095] : [tptpcol_10_93700(_643095), -(tptpcol_9_93699(_643095))], (1482 ^ _601103) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _601103) ^ [_643334] : [aspatialinformationstore(_643334), -(intangibleindividual(_643334))], (1490 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _601103) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _601103) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _601103) ^ [_643745] : [tptpcol_3_16386(_643745), -(tptpcol_2_2(_643745))], (1506 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _601103) ^ [_643984] : [tptpcol_9_118019(_643984), -(tptpcol_8_117763(_643984))], (1514 ^ _601103) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _601103) ^ [_644223] : [individual(_644223), -(trajector_underspecified(_644223))], (1522 ^ _601103) ^ [_644409] : [shavingrazor_manual(_644409), -(tptp_8_271(f_relationexistsallfn(_644409, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _644409))], (1528 ^ _601103) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _601103) ^ [_644713] : [tptpcol_6_112641(_644713), -(tptpcol_5_110593(_644713))], (1538 ^ _601103) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _601103) ^ [_644952] : [tptpcol_12_72775(_644952), -(tptpcol_11_72774(_644952))], (1546 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _601103) ^ [_645191] : [tptpcol_7_72707(_645191), -(tptpcol_6_71683(_645191))], (1554 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _601103) ^ [_645430] : [tptpcol_16_50958(_645430), -(tptpcol_15_50957(_645430))], (1562 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _601103) ^ [_645669] : [tptpcol_8_114177(_645669), -(tptpcol_7_113665(_645669))], (1570 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _601103) ^ [_645908] : [tptpcol_16_72795(_645908), -(tptpcol_15_72793(_645908))], (1578 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _601103) ^ [_646147] : [tptpcol_6_71683(_646147), -(tptpcol_5_69635(_646147))], (1586 ^ _601103) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _601103) ^ [_646453, _646455] : [tptptypes_7_396(_646455, _646453), -(tptptypes_6_388(_646455, _646453))], (1596 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _601103) ^ [_646702] : [tptpcol_9_26885(_646702), -(tptpcol_8_26629(_646702))], (1604 ^ _601103) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _601103) ^ [_646955, _646957] : [genls(_646957, _646955), -(subsetof(_646957, _646955))], (1612 ^ _601103) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _601103) ^ [_647271, _647273] : [tptptypes_6_818(_647273, _647271), -(tptptypes_5_802(_647273, _647271))], (1622 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _601103) ^ [_647520] : [tptpcol_6_92162(_647520), -(tptpcol_5_90114(_647520))], (1630 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _601103) ^ [_647812] : [tptpcol_8_92164(_647812), -(tptpcol_7_92163(_647812))], (1640 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _601103) ^ [_648051] : [tptpcol_13_118117(_648051), -(tptpcol_12_118116(_648051))], (1648 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _601103) ^ [_648290] : [tptpcol_11_40388(_648290), -(tptpcol_10_40324(_648290))], (1656 ^ _601103) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _601103) ^ [_648543, _648545] : [tptptypes_9_824(_648545, _648543), -(tptptypes_8_823(_648545, _648543))], (1664 ^ _601103) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _601103) ^ [_648845] : [tptpcol_11_26887(_648845), -(tptpcol_10_26886(_648845))], (1674 ^ _601103) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _601103) ^ [_649084] : [tptpcol_16_26926(_649084), -(tptpcol_15_26925(_649084))], (1682 ^ _601103) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _601103) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _601103) ^ [_649390, _649392] : [few(_649392, _649390), -(setorcollection(_649390))], (1692 ^ _601103) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _601103) ^ [_649637] : [tptpcol_4_65539(_649637), -(tptpcol_3_65538(_649637))], (1700 ^ _601103) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _601103) ^ [_649876] : [tptpcol_8_39940(_649876), -(tptpcol_7_39939(_649876))], (1708 ^ _601103) ^ [_650062] : [-(tptpofobject(_650062, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_650062)], (1718 ^ _601103) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _601103) ^ [_650501] : [tptpcol_15_22076(_650501), -(tptpcol_14_22072(_650501))], (1732 ^ _601103) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _601103) ^ [_650740] : [tptpcol_0_0(_650740), -(individual(_650740))], (1740 ^ _601103) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _601103) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _601103) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _601103) ^ [_651138] : [tptpcol_11_72774(_651138), -(tptpcol_10_72710(_651138))], (1754 ^ _601103) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _601103) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _601103) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _601103) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _601103) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _601103) ^ [_651774] : [tptpcol_7_21508(_651774), -(tptpcol_6_20484(_651774))], (1780 ^ _601103) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _601103) ^ [_652013] : [tptpcol_6_108546(_652013), -(tptpcol_5_106498(_652013))], (1788 ^ _601103) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _601103) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _601103) ^ [_652371] : [geolevel_4(_652371), -(geographicalregion(_652371))], (1802 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _601103) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _601103) ^ [_652848] : [tptpcol_13_26920(_652848), -(tptpcol_12_26919(_652848))], (1822 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _601103) ^ [_653087] : [tptpcol_14_92264(_653087), -(tptpcol_13_92263(_653087))], (1830 ^ _601103) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _601103) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _601103) ^ [_653379] : [tptpcol_9_40196(_653379), -(tptpcol_8_39940(_653379))], (1840 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _601103) ^ [_653737] : [tptpcol_13_92263(_653737), -(tptpcol_12_92262(_653737))], (1854 ^ _601103) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _601103) ^ [_654029] : [tptpcol_5_90114(_654029), -(tptpcol_4_90113(_654029))], (1864 ^ _601103) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _601103) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _601103) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _601103) ^ [_654440] : [tptpcol_15_26925(_654440), -(tptpcol_14_26921(_654440))], (1880 ^ _601103) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _601103) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _601103) ^ [_654798] : [tptpcol_7_18437(_654798), -(tptpcol_6_18436(_654798))], (1894 ^ _601103) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _601103) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _601103) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _601103) ^ [_655209] : [tptpcol_3_98305(_655209), tptpcol_3_114688(_655209)], (1910 ^ _601103) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _601103) ^ [_655447] : [tptpcol_5_110593(_655447), -(tptpcol_4_106497(_655447))], (1918 ^ _601103) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _601103) ^ [_655686] : [tptpcol_13_72791(_655686), -(tptpcol_12_72775(_655686))], (1926 ^ _601103) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _601103) ^ [_655925] : [computerdataartifact(_655925), -(artifact(_655925))], (1934 ^ _601103) ^ [_656111] : [-(tptpofobject(_656111, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_656111)], (1944 ^ _601103) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _601103) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _601103) ^ [_656550] : [tptpcol_10_92166(_656550), -(tptpcol_9_92165(_656550))], (1958 ^ _601103) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _601103) ^ [_656789] : [tptpcol_14_118118(_656789), -(tptpcol_13_118117(_656789))], (1966 ^ _601103) ^ [_656975] : [isa(_656975, c_tptpcol_14_118118), -(tptpcol_14_118118(_656975))], (1972 ^ _601103) ^ [_657163] : [tptpcol_14_118118(_657163), -(isa(_657163, c_tptpcol_14_118118))], (1978 ^ _601103) ^ [_657336] : [-(natfunction(f_tptpquantityfn_6(_657336), c_tptpquantityfn_6))], (1980 ^ _601103) ^ [_657416] : [-(natargument(f_tptpquantityfn_6(_657416), n_1, _657416))], (1982 ^ _601103) ^ [_657497] : [-(tptpquantity(f_tptpquantityfn_6(_657497)))], (1984 ^ _601103) ^ [_657591] : [isa(_657591, c_tptpcol_16_26939), -(tptpcol_16_26939(_657591))], (1990 ^ _601103) ^ [_657779] : [tptpcol_16_26939(_657779), -(isa(_657779, c_tptpcol_16_26939))], (1996 ^ _601103) ^ [_657967] : [isa(_657967, c_tptpcol_16_62187), -(tptpcol_16_62187(_657967))], (2002 ^ _601103) ^ [_658155] : [tptpcol_16_62187(_658155), -(isa(_658155, c_tptpcol_16_62187))], (2008 ^ _601103) ^ [_658343] : [isa(_658343, c_tptpcol_13_92263), -(tptpcol_13_92263(_658343))], (2014 ^ _601103) ^ [_658531] : [tptpcol_13_92263(_658531), -(isa(_658531, c_tptpcol_13_92263))], (2020 ^ _601103) ^ [_658719] : [isa(_658719, c_geolevel_4), -(geolevel_4(_658719))], (2026 ^ _601103) ^ [_658907] : [geolevel_4(_658907), -(isa(_658907, c_geolevel_4))], (2032 ^ _601103) ^ [_659095] : [isa(_659095, c_tptpcol_15_4027), -(tptpcol_15_4027(_659095))], (2038 ^ _601103) ^ [_659283] : [tptpcol_15_4027(_659283), -(isa(_659283, c_tptpcol_15_4027))], (2044 ^ _601103) ^ [_659471] : [isa(_659471, c_pushingwithfingers), -(pushingwithfingers(_659471))], (2050 ^ _601103) ^ [_659659] : [pushingwithfingers(_659659), -(isa(_659659, c_pushingwithfingers))], (2056 ^ _601103) ^ [_659861, _659863] : [affiliatedwith(_659863, _659861), -(agent_generic(_659861))], (2062 ^ _601103) ^ [_660069, _660071] : [affiliatedwith(_660071, _660069), -(agent_generic(_660071))], (2068 ^ _601103) ^ [_660277, _660279] : [affiliatedwith(_660279, _660277), -(affiliatedwith(_660277, _660279))], (2074 ^ _601103) ^ [_660457] : [affiliatedwith(_660457, _660457)], (2076 ^ _601103) ^ [_660550] : [isa(_660550, c_footballteam), -(footballteam(_660550))], (2082 ^ _601103) ^ [_660738] : [footballteam(_660738), -(isa(_660738, c_footballteam))], (2088 ^ _601103) ^ [_660926] : [isa(_660926, c_tptpcol_16_4451), -(tptpcol_16_4451(_660926))], (2094 ^ _601103) ^ [_661114] : [tptpcol_16_4451(_661114), -(isa(_661114, c_tptpcol_16_4451))], (2100 ^ _601103) ^ [_661302] : [isa(_661302, c_pushingwithopenhand), -(pushingwithopenhand(_661302))], (2106 ^ _601103) ^ [_661490] : [pushingwithopenhand(_661490), -(isa(_661490, c_pushingwithopenhand))], (2112 ^ _601103) ^ [_661678] : [isa(_661678, c_tptpcol_15_22076), -(tptpcol_15_22076(_661678))], (2118 ^ _601103) ^ [_661866] : [tptpcol_15_22076(_661866), -(isa(_661866, c_tptpcol_15_22076))], (2124 ^ _601103) ^ [_662039] : [-(natfunction(f_tptpquantityfn_2(_662039), c_tptpquantityfn_2))], (2126 ^ _601103) ^ [_662119] : [-(natargument(f_tptpquantityfn_2(_662119), n_1, _662119))], (2128 ^ _601103) ^ [_662200] : [-(tptpquantity(f_tptpquantityfn_2(_662200)))], (2130 ^ _601103) ^ [_662294] : [isa(_662294, c_tptpcol_7_39939), -(tptpcol_7_39939(_662294))], (2136 ^ _601103) ^ [_662482] : [tptpcol_7_39939(_662482), -(isa(_662482, c_tptpcol_7_39939))], (2142 ^ _601103) ^ [_662670] : [isa(_662670, c_tptpcol_8_39940), -(tptpcol_8_39940(_662670))], (2148 ^ _601103) ^ [_662858] : [tptpcol_8_39940(_662858), -(isa(_662858, c_tptpcol_8_39940))], (2154 ^ _601103) ^ [_663046] : [isa(_663046, c_tptpcol_15_26925), -(tptpcol_15_26925(_663046))], (2160 ^ _601103) ^ [_663234] : [tptpcol_15_26925(_663234), -(isa(_663234, c_tptpcol_15_26925))], (2166 ^ _601103) ^ [_663422] : [isa(_663422, c_tptpcol_16_26926), -(tptpcol_16_26926(_663422))], (2172 ^ _601103) ^ [_663610] : [tptpcol_16_26926(_663610), -(isa(_663610, c_tptpcol_16_26926))], (2178 ^ _601103) ^ [_663798] : [isa(_663798, c_tptpcol_13_118117), -(tptpcol_13_118117(_663798))], (2184 ^ _601103) ^ [_663986] : [tptpcol_13_118117(_663986), -(isa(_663986, c_tptpcol_13_118117))], (2190 ^ _601103) ^ [_664174] : [isa(_664174, c_tptpcol_5_90114), -(tptpcol_5_90114(_664174))], (2196 ^ _601103) ^ [_664362] : [tptpcol_5_90114(_664362), -(isa(_664362, c_tptpcol_5_90114))], (2202 ^ _601103) ^ [_664564, _664566] : [tptptypes_5_802(_664566, _664564), -(firstordercollection(_664564))], (2208 ^ _601103) ^ [_664772, _664774] : [tptptypes_5_802(_664774, _664772), -(firstordercollection(_664774))], (2214 ^ _601103) ^ [_664966] : [isa(_664966, c_tptpcol_16_72795), -(tptpcol_16_72795(_664966))], (2220 ^ _601103) ^ [_665154] : [tptpcol_16_72795(_665154), -(isa(_665154, c_tptpcol_16_72795))], (2226 ^ _601103) ^ [_665342] : [isa(_665342, c_tptpcol_8_114177), -(tptpcol_8_114177(_665342))], (2232 ^ _601103) ^ [_665530] : [tptpcol_8_114177(_665530), -(isa(_665530, c_tptpcol_8_114177))], (2238 ^ _601103) ^ [_665718] : [isa(_665718, c_tptpcol_15_50957), -(tptpcol_15_50957(_665718))], (2244 ^ _601103) ^ [_665906] : [tptpcol_15_50957(_665906), -(isa(_665906, c_tptpcol_15_50957))], (2250 ^ _601103) ^ [_666094] : [isa(_666094, c_tptpcol_16_50958), -(tptpcol_16_50958(_666094))], (2256 ^ _601103) ^ [_666282] : [tptpcol_16_50958(_666282), -(isa(_666282, c_tptpcol_16_50958))], (2262 ^ _601103) ^ [_666470] : [isa(_666470, c_tptpcol_6_71683), -(tptpcol_6_71683(_666470))], (2268 ^ _601103) ^ [_666658] : [tptpcol_6_71683(_666658), -(isa(_666658, c_tptpcol_6_71683))], (2274 ^ _601103) ^ [_666846] : [isa(_666846, c_tptpcol_11_72774), -(tptpcol_11_72774(_666846))], (2280 ^ _601103) ^ [_667034] : [tptpcol_11_72774(_667034), -(isa(_667034, c_tptpcol_11_72774))], (2286 ^ _601103) ^ [_667222] : [isa(_667222, c_tptpcol_12_72775), -(tptpcol_12_72775(_667222))], (2292 ^ _601103) ^ [_667410] : [tptpcol_12_72775(_667410), -(isa(_667410, c_tptpcol_12_72775))], (2298 ^ _601103) ^ [_667598] : [isa(_667598, c_tptpcol_5_110593), -(tptpcol_5_110593(_667598))], (2304 ^ _601103) ^ [_667786] : [tptpcol_5_110593(_667786), -(isa(_667786, c_tptpcol_5_110593))], (2310 ^ _601103) ^ [_667974] : [isa(_667974, c_tptpcol_16_25972), -(tptpcol_16_25972(_667974))], (2316 ^ _601103) ^ [_668162] : [tptpcol_16_25972(_668162), -(isa(_668162, c_tptpcol_16_25972))], (2322 ^ _601103) ^ [_668364, _668366] : [tptp_8_271(_668366, _668364), -(razor(_668364))], (2328 ^ _601103) ^ [_668572, _668574] : [tptp_8_271(_668574, _668572), -(tptpcol_5_24579(_668574))], (2334 ^ _601103) ^ [_668766] : [isa(_668766, c_tptpcol_4_90113), -(tptpcol_4_90113(_668766))], (2340 ^ _601103) ^ [_668954] : [tptpcol_4_90113(_668954), -(isa(_668954, c_tptpcol_4_90113))], (2346 ^ _601103) ^ [_669142] : [isa(_669142, c_tptpcol_10_93700), -(tptpcol_10_93700(_669142))], (2352 ^ _601103) ^ [_669330] : [tptpcol_10_93700(_669330), -(isa(_669330, c_tptpcol_10_93700))], (2358 ^ _601103) ^ [_669518] : [isa(_669518, c_tptpcol_9_93699), -(tptpcol_9_93699(_669518))], (2364 ^ _601103) ^ [_669706] : [tptpcol_9_93699(_669706), -(isa(_669706, c_tptpcol_9_93699))], (2370 ^ _601103) ^ [_669894] : [isa(_669894, c_aspatialthing), -(aspatialthing(_669894))], (2376 ^ _601103) ^ [_670082] : [aspatialthing(_670082), -(isa(_670082, c_aspatialthing))], (2382 ^ _601103) ^ [_670270] : [isa(_670270, c_tptpcol_7_117762), -(tptpcol_7_117762(_670270))], (2388 ^ _601103) ^ [_670458] : [tptpcol_7_117762(_670458), -(isa(_670458, c_tptpcol_7_117762))], (2394 ^ _601103) ^ [_670646] : [isa(_670646, c_tptpcol_8_117763), -(tptpcol_8_117763(_670646))], (2400 ^ _601103) ^ [_670834] : [tptpcol_8_117763(_670834), -(isa(_670834, c_tptpcol_8_117763))], (2406 ^ _601103) ^ [_671022] : [isa(_671022, c_tptpcol_7_18437), -(tptpcol_7_18437(_671022))], (2412 ^ _601103) ^ [_671210] : [tptpcol_7_18437(_671210), -(isa(_671210, c_tptpcol_7_18437))], (2418 ^ _601103) ^ [_671398] : [isa(_671398, c_tptpcol_6_18436), -(tptpcol_6_18436(_671398))], (2424 ^ _601103) ^ [_671586] : [tptpcol_6_18436(_671586), -(isa(_671586, c_tptpcol_6_18436))], (2430 ^ _601103) ^ [_671774] : [isa(_671774, c_tptpcol_8_93698), -(tptpcol_8_93698(_671774))], (2436 ^ _601103) ^ [_671962] : [tptpcol_8_93698(_671962), -(isa(_671962, c_tptpcol_8_93698))], (2442 ^ _601103) ^ [_672150] : [isa(_672150, c_tptpcol_11_109125), -(tptpcol_11_109125(_672150))], (2448 ^ _601103) ^ [_672338] : [tptpcol_11_109125(_672338), -(isa(_672338, c_tptpcol_11_109125))], (2454 ^ _601103) ^ [_672526] : [isa(_672526, c_tptpcol_6_108546), -(tptpcol_6_108546(_672526))], (2460 ^ _601103) ^ [_672714] : [tptpcol_6_108546(_672714), -(isa(_672714, c_tptpcol_6_108546))], (2466 ^ _601103) ^ [_672902] : [isa(_672902, c_tptpcol_6_20484), -(tptpcol_6_20484(_672902))], (2472 ^ _601103) ^ [_673090] : [tptpcol_6_20484(_673090), -(isa(_673090, c_tptpcol_6_20484))], (2478 ^ _601103) ^ [_673292, _673294] : [few(_673294, _673292), -(setorcollection(_673292))], (2484 ^ _601103) ^ [_673500, _673502] : [few(_673502, _673500), -(setorcollection(_673500))], (2490 ^ _601103) ^ [_673708, _673710] : [few(_673710, _673708), -(setorcollection(_673710))], (2496 ^ _601103) ^ [_673916, _673918] : [few(_673918, _673916), -(setorcollection(_673918))], (2502 ^ _601103) ^ [_674138, _674140, _674142] : [-(few(_674142, _674138)), few(_674142, _674140), subsetof(_674138, _674140)], (2512 ^ _601103) ^ [_674433] : [isa(_674433, c_tptpcol_15_130931), -(tptpcol_15_130931(_674433))], (2518 ^ _601103) ^ [_674621] : [tptpcol_15_130931(_674621), -(isa(_674621, c_tptpcol_15_130931))], (2524 ^ _601103) ^ [_674809] : [isa(_674809, c_tptpcol_16_130933), -(tptpcol_16_130933(_674809))], (2530 ^ _601103) ^ [_674997] : [tptpcol_16_130933(_674997), -(isa(_674997, c_tptpcol_16_130933))], (2536 ^ _601103) ^ [_675185] : [isa(_675185, c_tptpcol_7_92163), -(tptpcol_7_92163(_675185))], (2542 ^ _601103) ^ [_675373] : [tptpcol_7_92163(_675373), -(isa(_675373, c_tptpcol_7_92163))], (2548 ^ _601103) ^ [_675561] : [isa(_675561, c_tptpcol_15_130923), -(tptpcol_15_130923(_675561))], (2554 ^ _601103) ^ [_675749] : [tptpcol_15_130923(_675749), -(isa(_675749, c_tptpcol_15_130923))], (2560 ^ _601103) ^ [_675937] : [isa(_675937, c_tptpcol_16_130924), -(tptpcol_16_130924(_675937))], (2566 ^ _601103) ^ [_676125] : [tptpcol_16_130924(_676125), -(isa(_676125, c_tptpcol_16_130924))], (2572 ^ _601103) ^ [_676313] : [isa(_676313, c_intangibleindividual), -(intangibleindividual(_676313))], (2578 ^ _601103) ^ [_676501] : [intangibleindividual(_676501), -(isa(_676501, c_intangibleindividual))], (2584 ^ _601103) ^ [_676688, _676690] : [-(natfunction(f_citynamedfn(_676690, _676688), c_citynamedfn))], (2586 ^ _601103) ^ [_676785, _676787] : [-(natargument(f_citynamedfn(_676787, _676785), n_1, _676787))], (2588 ^ _601103) ^ [_676883, _676885] : [-(natargument(f_citynamedfn(_676885, _676883), n_2, _676883))], (2590 ^ _601103) ^ [_676981, _676983] : [-(city(f_citynamedfn(_676983, _676981)))], (2592 ^ _601103) ^ [_677078] : [isa(_677078, c_tptpcol_13_26920), -(tptpcol_13_26920(_677078))], (2598 ^ _601103) ^ [_677266] : [tptpcol_13_26920(_677266), -(isa(_677266, c_tptpcol_13_26920))], (2604 ^ _601103) ^ [_677454] : [isa(_677454, c_tptpcol_14_26921), -(tptpcol_14_26921(_677454))], (2610 ^ _601103) ^ [_677642] : [tptpcol_14_26921(_677642), -(isa(_677642, c_tptpcol_14_26921))], (2616 ^ _601103) ^ [_677830] : [isa(_677830, c_tptpcol_3_65538), -(tptpcol_3_65538(_677830))], (2622 ^ _601103) ^ [_678018] : [tptpcol_3_65538(_678018), -(isa(_678018, c_tptpcol_3_65538))], (2628 ^ _601103) ^ [_678206] : [isa(_678206, c_tptpcol_16_27189), -(tptpcol_16_27189(_678206))], (2634 ^ _601103) ^ [_678394] : [tptpcol_16_27189(_678394), -(isa(_678394, c_tptpcol_16_27189))], (2640 ^ _601103) ^ [_678596, _678598] : [tptp_9_51(_678598, _678596), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_678596))], (2646 ^ _601103) ^ [_678804, _678806] : [tptp_9_51(_678806, _678804), -(tptpcol_7_26628(_678806))], (2652 ^ _601103) ^ [_678998] : [isa(_678998, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_678998))], (2658 ^ _601103) ^ [_679186] : [reflexivebinarypredicate(_679186), -(isa(_679186, c_reflexivebinarypredicate))], (2664 ^ _601103) ^ [_679374] : [isa(_679374, c_tptpcol_7_21508), -(tptpcol_7_21508(_679374))], (2670 ^ _601103) ^ [_679562] : [tptpcol_7_21508(_679562), -(isa(_679562, c_tptpcol_7_21508))], (2676 ^ _601103) ^ [_679750] : [isa(_679750, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_679750))], (2682 ^ _601103) ^ [_679938] : [hpkb_subnationalagent(_679938), -(isa(_679938, c_hpkb_subnationalagent))], (2688 ^ _601103) ^ [_680126] : [isa(_680126, c_state_geopolitical), -(state_geopolitical(_680126))], (2694 ^ _601103) ^ [_680314] : [state_geopolitical(_680314), -(isa(_680314, c_state_geopolitical))], (2700 ^ _601103) ^ [_680529, _680531, _680533, _680535] : [-(natfunction(f_relationallexistsfn(_680535, _680533, _680531, _680529), c_relationallexistsfn))], (2702 ^ _601103) ^ [_680660, _680662, _680664, _680666] : [-(natargument(f_relationallexistsfn(_680666, _680664, _680662, _680660), n_1, _680666))], (2704 ^ _601103) ^ [_680792, _680794, _680796, _680798] : [-(natargument(f_relationallexistsfn(_680798, _680796, _680794, _680792), n_2, _680796))], (2706 ^ _601103) ^ [_680924, _680926, _680928, _680930] : [-(natargument(f_relationallexistsfn(_680930, _680928, _680926, _680924), n_3, _680926))], (2708 ^ _601103) ^ [_681056, _681058, _681060, _681062] : [-(natargument(f_relationallexistsfn(_681062, _681060, _681058, _681056), n_4, _681056))], (2710 ^ _601103) ^ [_681188, _681190, _681192, _681194] : [-(thing(f_relationallexistsfn(_681194, _681192, _681190, _681188)))], (2712 ^ _601103) ^ [_681305, _681307] : [arg2isa(_681307, _681305), -(collection(_681305))], (2718 ^ _601103) ^ [_681513, _681515] : [arg2isa(_681515, _681513), -(relation(_681515))], (2724 ^ _601103) ^ [_681735, _681737, _681739] : [-(arg2isa(_681739, _681735)), arg2isa(_681739, _681737), genls(_681737, _681735)], (2734 ^ _601103) ^ [_682058, _682060, _682062] : [-(arg2isa(_682062, _682058)), arg2isa(_682062, _682060), genls(_682060, _682058)], (2744 ^ _601103) ^ [_682353] : [isa(_682353, c_geolevel_1), -(geolevel_1(_682353))], (2750 ^ _601103) ^ [_682541] : [geolevel_1(_682541), -(isa(_682541, c_geolevel_1))], (2756 ^ _601103) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _601103) ^ [_682782] : [isa(_682782, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_682782))], (2764 ^ _601103) ^ [_682970] : [spatialthing_nonsituational(_682970), -(isa(_682970, c_spatialthing_nonsituational))], (2770 ^ _601103) ^ [_683158] : [isa(_683158, c_militaryperson), -(militaryperson(_683158))], (2776 ^ _601103) ^ [_683346] : [militaryperson(_683346), -(isa(_683346, c_militaryperson))], (2782 ^ _601103) ^ [_683534] : [isa(_683534, c_tptpcol_15_72793), -(tptpcol_15_72793(_683534))], (2788 ^ _601103) ^ [_683722] : [tptpcol_15_72793(_683722), -(isa(_683722, c_tptpcol_15_72793))], (2794 ^ _601103) ^ [_683910] : [isa(_683910, c_tptpcol_9_26885), -(tptpcol_9_26885(_683910))], (2800 ^ _601103) ^ [_684098] : [tptpcol_9_26885(_684098), -(isa(_684098, c_tptpcol_9_26885))], (2806 ^ _601103) ^ [_684286] : [isa(_684286, c_tptpcol_10_26886), -(tptpcol_10_26886(_684286))], (2812 ^ _601103) ^ [_684474] : [tptpcol_10_26886(_684474), -(isa(_684474, c_tptpcol_10_26886))], (2818 ^ _601103) ^ [_684676, _684678] : [tptptypes_8_823(_684678, _684676), -(firstordercollection(_684676))], (2824 ^ _601103) ^ [_684884, _684886] : [tptptypes_8_823(_684886, _684884), -(firstordercollection(_684886))], (2830 ^ _601103) ^ [_685078] : [isa(_685078, c_tptpcol_16_92269), -(tptpcol_16_92269(_685078))], (2836 ^ _601103) ^ [_685266] : [tptpcol_16_92269(_685266), -(isa(_685266, c_tptpcol_16_92269))], (2842 ^ _601103) ^ [_685454] : [isa(_685454, c_tptpcol_15_109185), -(tptpcol_15_109185(_685454))], (2848 ^ _601103) ^ [_685642] : [tptpcol_15_109185(_685642), -(isa(_685642, c_tptpcol_15_109185))], (2854 ^ _601103) ^ [_685830] : [isa(_685830, c_tptpcol_6_26627), -(tptpcol_6_26627(_685830))], (2860 ^ _601103) ^ [_686018] : [tptpcol_6_26627(_686018), -(isa(_686018, c_tptpcol_6_26627))], (2866 ^ _601103) ^ [_686206] : [isa(_686206, c_tptpcol_12_118116), -(tptpcol_12_118116(_686206))], (2872 ^ _601103) ^ [_686394] : [tptpcol_12_118116(_686394), -(isa(_686394, c_tptpcol_12_118116))], (2878 ^ _601103) ^ [_686582] : [isa(_686582, c_tptpcol_8_18438), -(tptpcol_8_18438(_686582))], (2884 ^ _601103) ^ [_686770] : [tptpcol_8_18438(_686770), -(isa(_686770, c_tptpcol_8_18438))], (2890 ^ _601103) ^ [_686958] : [isa(_686958, c_tptpcol_15_30970), -(tptpcol_15_30970(_686958))], (2896 ^ _601103) ^ [_687146] : [tptpcol_15_30970(_687146), -(isa(_687146, c_tptpcol_15_30970))], (2902 ^ _601103) ^ [_687334] : [isa(_687334, c_tptpcol_16_30972), -(tptpcol_16_30972(_687334))], (2908 ^ _601103) ^ [_687522] : [tptpcol_16_30972(_687522), -(isa(_687522, c_tptpcol_16_30972))], (2914 ^ _601103) ^ [_687710] : [isa(_687710, c_tptpcol_14_109181), -(tptpcol_14_109181(_687710))], (2920 ^ _601103) ^ [_687898] : [tptpcol_14_109181(_687898), -(isa(_687898, c_tptpcol_14_109181))], (2926 ^ _601103) ^ [_688086] : [isa(_688086, c_physicalorderingpredicate), -(physicalorderingpredicate(_688086))], (2932 ^ _601103) ^ [_688274] : [physicalorderingpredicate(_688274), -(isa(_688274, c_physicalorderingpredicate))], (2938 ^ _601103) ^ [_688462] : [isa(_688462, c_tptpcol_16_7738), -(tptpcol_16_7738(_688462))], (2944 ^ _601103) ^ [_688650] : [tptpcol_16_7738(_688650), -(isa(_688650, c_tptpcol_16_7738))], (2950 ^ _601103) ^ [_688852, _688854] : [tptp_8_968(_688854, _688852), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_688852))], (2956 ^ _601103) ^ [_689060, _689062] : [tptp_8_968(_689062, _689060), -(tptpcol_7_7172(_689062))], (2962 ^ _601103) ^ [_689282, _689284, _689286] : [relationexistsall(_689286, _689284, _689282), -(collection(_689282))], (2968 ^ _601103) ^ [_689512, _689514, _689516] : [relationexistsall(_689516, _689514, _689512), -(collection(_689514))], (2974 ^ _601103) ^ [_689742, _689744, _689746] : [relationexistsall(_689746, _689744, _689742), -(binarypredicate(_689746))], (2980 ^ _601103) ^ [_689944] : [isa(_689944, c_tptpcol_7_26628), -(tptpcol_7_26628(_689944))], (2986 ^ _601103) ^ [_690132] : [tptpcol_7_26628(_690132), -(isa(_690132, c_tptpcol_7_26628))], (2992 ^ _601103) ^ [_690320] : [isa(_690320, c_tptpcol_8_26629), -(tptpcol_8_26629(_690320))], (2998 ^ _601103) ^ [_690508] : [tptpcol_8_26629(_690508), -(isa(_690508, c_tptpcol_8_26629))], (3004 ^ _601103) ^ [_690696] : [isa(_690696, c_tptpcol_3_114688), -(tptpcol_3_114688(_690696))], (3010 ^ _601103) ^ [_690884] : [tptpcol_3_114688(_690884), -(isa(_690884, c_tptpcol_3_114688))], (3016 ^ _601103) ^ [_691057] : [-(natfunction(f_contextofpcwfn(_691057), c_contextofpcwfn))], (3018 ^ _601103) ^ [_691137] : [-(natargument(f_contextofpcwfn(_691137), n_1, _691137))], (3020 ^ _601103) ^ [_691218] : [-(microtheory(f_contextofpcwfn(_691218)))], (3022 ^ _601103) ^ [_691326, _691328] : [arg1isa(_691328, _691326), -(collection(_691326))], (3028 ^ _601103) ^ [_691534, _691536] : [arg1isa(_691536, _691534), -(relation(_691536))], (3034 ^ _601103) ^ [_691756, _691758, _691760] : [-(arg1isa(_691760, _691756)), arg1isa(_691760, _691758), genls(_691758, _691756)], (3044 ^ _601103) ^ [_692079, _692081, _692083] : [-(arg1isa(_692083, _692079)), arg1isa(_692083, _692081), genls(_692081, _692079)], (3054 ^ _601103) ^ [_692388, _692390] : [objectfoundinlocation(_692390, _692388), -(spatialthing_nonsituational(_692388))], (3060 ^ _601103) ^ [_692596, _692598] : [objectfoundinlocation(_692598, _692596), -(spatialthing_localized(_692596))], (3066 ^ _601103) ^ [_692804, _692806] : [objectfoundinlocation(_692806, _692804), -(spatialthing_nonsituational(_692806))], (3072 ^ _601103) ^ [_693012, _693014] : [objectfoundinlocation(_693014, _693012), -(spatialthing_localized(_693014))], (3078 ^ _601103) ^ [_693234, _693236, _693238] : [-(objectfoundinlocation(_693238, _693234)), objectfoundinlocation(_693238, _693236), objectfoundinlocation(_693236, _693234)], (3088 ^ _601103) ^ [_693513] : [objectfoundinlocation(_693513, _693513)], (3090 ^ _601103) ^ [_693634, _693636, _693638] : [-(objectfoundinlocation(_693638, _693634)), objectfoundinlocation(_693638, _693636), geopoliticalsubdivision(_693634, _693636)], (3100 ^ _601103) ^ [_693957, _693959, _693961] : [-(objectfoundinlocation(_693961, _693957)), objectfoundinlocation(_693961, _693959), geographicallysubsumes(_693957, _693959)], (3110 ^ _601103) ^ [_694280, _694282, _694284] : [-(objectfoundinlocation(_694284, _694280)), objectfoundinlocation(_694284, _694282), subregions(_694280, _694282)], (3120 ^ _601103) ^ [_694575] : [isa(_694575, c_ship), -(ship(_694575))], (3126 ^ _601103) ^ [_694763] : [ship(_694763), -(isa(_694763, c_ship))], (3132 ^ _601103) ^ [_694964, _694966, _694968] : [-(natfunction(f_subcollectionofwithrelationtofn(_694968, _694966, _694964), c_subcollectionofwithrelationtofn))], (3134 ^ _601103) ^ [_695078, _695080, _695082] : [-(natargument(f_subcollectionofwithrelationtofn(_695082, _695080, _695078), n_1, _695082))], (3136 ^ _601103) ^ [_695193, _695195, _695197] : [-(natargument(f_subcollectionofwithrelationtofn(_695197, _695195, _695193), n_2, _695195))], (3138 ^ _601103) ^ [_695308, _695310, _695312] : [-(natargument(f_subcollectionofwithrelationtofn(_695312, _695310, _695308), n_3, _695308))], (3140 ^ _601103) ^ [_695423, _695425, _695427] : [-(collection(f_subcollectionofwithrelationtofn(_695427, _695425, _695423)))], (3142 ^ _601103) ^ [_695523] : [isa(_695523, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_695523))], (3148 ^ _601103) ^ [_695711] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_695711), -(isa(_695711, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _601103) ^ [_695899] : [isa(_695899, c_tptpcol_4_65539), -(tptpcol_4_65539(_695899))], (3160 ^ _601103) ^ [_696087] : [tptpcol_4_65539(_696087), -(isa(_696087, c_tptpcol_4_65539))], (3166 ^ _601103) ^ [_696275] : [isa(_696275, c_tptpcol_5_69635), -(tptpcol_5_69635(_696275))], (3172 ^ _601103) ^ [_696463] : [tptpcol_5_69635(_696463), -(isa(_696463, c_tptpcol_5_69635))], (3178 ^ _601103) ^ [_696651] : [isa(_696651, c_tptpcol_3_16386), -(tptpcol_3_16386(_696651))], (3184 ^ _601103) ^ [_696839] : [tptpcol_3_16386(_696839), -(isa(_696839, c_tptpcol_3_16386))], (3190 ^ _601103) ^ [_697041, _697043] : [no(_697043, _697041), -(setorcollection(_697041))], (3196 ^ _601103) ^ [_697249, _697251] : [no(_697251, _697249), -(setorcollection(_697251))], (3202 ^ _601103) ^ [_697457, _697459] : [no(_697459, _697457), -(no(_697457, _697459))], (3208 ^ _601103) ^ [_697681, _697683, _697685] : [-(no(_697685, _697681)), no(_697685, _697683), subsetof(_697681, _697683)], (3218 ^ _601103) ^ [_698004, _698006, _698008] : [-(no(_698004, _698006)), no(_698008, _698006), subsetof(_698004, _698008)], (3228 ^ _601103) ^ [_698327, _698329, _698331] : [-(no(_698327, _698329)), no(_698331, _698329), genls(_698327, _698331)], (3238 ^ _601103) ^ [_698650, _698652, _698654] : [-(no(_698654, _698650)), no(_698654, _698652), genls(_698650, _698652)], (3248 ^ _601103) ^ [_698973, _698975, _698977] : [-(no(_698973, _698975)), no(_698977, _698975), subsetof(_698973, _698977)], (3258 ^ _601103) ^ [_699296, _699298, _699300] : [-(no(_699300, _699296)), no(_699300, _699298), subsetof(_699296, _699298)], (3268 ^ _601103) ^ [_699591] : [isa(_699591, c_geographicalregion), -(geographicalregion(_699591))], (3274 ^ _601103) ^ [_699779] : [geographicalregion(_699779), -(isa(_699779, c_geographicalregion))], (3280 ^ _601103) ^ [_699952] : [-(natfunction(f_tptpquantityfn_21(_699952), c_tptpquantityfn_21))], (3282 ^ _601103) ^ [_700032] : [-(natargument(f_tptpquantityfn_21(_700032), n_1, _700032))], (3284 ^ _601103) ^ [_700113] : [-(tptpquantity(f_tptpquantityfn_21(_700113)))], (3286 ^ _601103) ^ [_700221, _700223] : [airporthasiatacode(_700223, _700221), -(stringoflengthfn3(_700221))], (3292 ^ _601103) ^ [_700429, _700431] : [airporthasiatacode(_700431, _700429), -(airport_physical(_700431))], (3298 ^ _601103) ^ [_700623] : [isa(_700623, c_airport_physical), -(airport_physical(_700623))], (3304 ^ _601103) ^ [_700811] : [airport_physical(_700811), -(isa(_700811, c_airport_physical))], (3310 ^ _601103) ^ [_701012, _701014, _701016] : [-(natfunction(f_instancewithrelationtofn(_701016, _701014, _701012), c_instancewithrelationtofn))], (3312 ^ _601103) ^ [_701126, _701128, _701130] : [-(natargument(f_instancewithrelationtofn(_701130, _701128, _701126), n_1, _701130))], (3314 ^ _601103) ^ [_701241, _701243, _701245] : [-(natargument(f_instancewithrelationtofn(_701245, _701243, _701241), n_2, _701243))], (3316 ^ _601103) ^ [_701356, _701358, _701360] : [-(natargument(f_instancewithrelationtofn(_701360, _701358, _701356), n_3, _701356))], (3318 ^ _601103) ^ [_701471, _701473, _701475] : [-(thing(f_instancewithrelationtofn(_701475, _701473, _701471)))], (3320 ^ _601103) ^ [_701571] : [isa(_701571, c_tptpcol_6_112641), -(tptpcol_6_112641(_701571))], (3326 ^ _601103) ^ [_701759] : [tptpcol_6_112641(_701759), -(isa(_701759, c_tptpcol_6_112641))], (3332 ^ _601103) ^ [_701947] : [isa(_701947, c_tptpcol_7_113665), -(tptpcol_7_113665(_701947))], (3338 ^ _601103) ^ [_702135] : [tptpcol_7_113665(_702135), -(isa(_702135, c_tptpcol_7_113665))], (3344 ^ _601103) ^ [_702323] : [isa(_702323, c_artifact), -(artifact(_702323))], (3350 ^ _601103) ^ [_702511] : [artifact(_702511), -(isa(_702511, c_artifact))], (3356 ^ _601103) ^ [_702699] : [isa(_702699, c_tptpcol_13_18664), -(tptpcol_13_18664(_702699))], (3362 ^ _601103) ^ [_702887] : [tptpcol_13_18664(_702887), -(isa(_702887, c_tptpcol_13_18664))], (3368 ^ _601103) ^ [_703075] : [isa(_703075, c_firstordercollection), -(firstordercollection(_703075))], (3374 ^ _601103) ^ [_703263] : [firstordercollection(_703263), -(isa(_703263, c_firstordercollection))], (3380 ^ _601103) ^ [_703436] : [-(natfunction(f_tptpquantityfn_14(_703436), c_tptpquantityfn_14))], (3382 ^ _601103) ^ [_703516] : [-(natargument(f_tptpquantityfn_14(_703516), n_1, _703516))], (3384 ^ _601103) ^ [_703597] : [-(tptpquantity(f_tptpquantityfn_14(_703597)))], (3386 ^ _601103) ^ [_703691] : [isa(_703691, c_supplies), -(supplies(_703691))], (3392 ^ _601103) ^ [_703879] : [supplies(_703879), -(isa(_703879, c_supplies))], (3398 ^ _601103) ^ [_704067] : [isa(_704067, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_704067))], (3404 ^ _601103) ^ [_704255] : [inanimateobject_nonnatural(_704255), -(isa(_704255, c_inanimateobject_nonnatural))], (3410 ^ _601103) ^ [_704443] : [isa(_704443, c_tptpcol_13_22071), -(tptpcol_13_22071(_704443))], (3416 ^ _601103) ^ [_704631] : [tptpcol_13_22071(_704631), -(isa(_704631, c_tptpcol_13_22071))], (3422 ^ _601103) ^ [_704819] : [isa(_704819, c_tptpcol_14_22072), -(tptpcol_14_22072(_704819))], (3428 ^ _601103) ^ [_705007] : [tptpcol_14_22072(_705007), -(isa(_705007, c_tptpcol_14_22072))], (3434 ^ _601103) ^ [_705195] : [isa(_705195, c_tptpcol_7_108547), -(tptpcol_7_108547(_705195))], (3440 ^ _601103) ^ [_705383] : [tptpcol_7_108547(_705383), -(isa(_705383, c_tptpcol_7_108547))], (3446 ^ _601103) ^ [_705571] : [isa(_705571, c_tptpcol_8_109059), -(tptpcol_8_109059(_705571))], (3452 ^ _601103) ^ [_705759] : [tptpcol_8_109059(_705759), -(isa(_705759, c_tptpcol_8_109059))], (3458 ^ _601103) ^ [_705947] : [isa(_705947, c_tptpcol_14_93774), -(tptpcol_14_93774(_705947))], (3464 ^ _601103) ^ [_706135] : [tptpcol_14_93774(_706135), -(isa(_706135, c_tptpcol_14_93774))], (3470 ^ _601103) ^ [_706323] : [isa(_706323, c_tptpcol_15_93775), -(tptpcol_15_93775(_706323))], (3476 ^ _601103) ^ [_706511] : [tptpcol_15_93775(_706511), -(isa(_706511, c_tptpcol_15_93775))], (3482 ^ _601103) ^ [_706699] : [isa(_706699, c_tptpcol_16_8886), -(tptpcol_16_8886(_706699))], (3488 ^ _601103) ^ [_706887] : [tptpcol_16_8886(_706887), -(isa(_706887, c_tptpcol_16_8886))], (3494 ^ _601103) ^ [_707089, _707091] : [orientation(_707091, _707089), -(orientationvector(_707089))], (3500 ^ _601103) ^ [_707297, _707299] : [orientation(_707299, _707297), -(spatialthing_localized(_707299))], (3506 ^ _601103) ^ [_707491] : [isa(_707491, c_orientationvector), -(orientationvector(_707491))], (3512 ^ _601103) ^ [_707679] : [orientationvector(_707679), -(isa(_707679, c_orientationvector))], (3518 ^ _601103) ^ [_707867] : [isa(_707867, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_707867))], (3524 ^ _601103) ^ [_708055] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_708055), -(isa(_708055, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _601103) ^ [_708257, _708259] : [tptptypes_9_824(_708259, _708257), -(firstordercollection(_708257))], (3536 ^ _601103) ^ [_708465, _708467] : [tptptypes_9_824(_708467, _708465), -(firstordercollection(_708467))], (3542 ^ _601103) ^ [_708673, _708675] : [tptptypes_7_396(_708675, _708673), -(firstordercollection(_708673))], (3548 ^ _601103) ^ [_708881, _708883] : [tptptypes_7_396(_708883, _708881), -(firstordercollection(_708883))], (3554 ^ _601103) ^ [_709075] : [isa(_709075, c_tptpcol_12_22055), -(tptpcol_12_22055(_709075))], (3560 ^ _601103) ^ [_709263] : [tptpcol_12_22055(_709263), -(isa(_709263, c_tptpcol_12_22055))], (3566 ^ _601103) ^ [_709451] : [isa(_709451, c_tptpcol_16_29490), -(tptpcol_16_29490(_709451))], (3572 ^ _601103) ^ [_709639] : [tptpcol_16_29490(_709639), -(isa(_709639, c_tptpcol_16_29490))], (3578 ^ _601103) ^ [_709841, _709843] : [tptp_9_720(_709843, _709841), -(tptpcol_5_28674(_709841))], (3584 ^ _601103) ^ [_710049, _710051] : [tptp_9_720(_710051, _710049), -(executionbyfiringsquad(_710051))], (3590 ^ _601103) ^ [_710243] : [isa(_710243, c_runningshorts), -(runningshorts(_710243))], (3596 ^ _601103) ^ [_710431] : [runningshorts(_710431), -(isa(_710431, c_runningshorts))], (3602 ^ _601103) ^ [_710619] : [isa(_710619, c_tptpcol_9_118019), -(tptpcol_9_118019(_710619))], (3608 ^ _601103) ^ [_710807] : [tptpcol_9_118019(_710807), -(isa(_710807, c_tptpcol_9_118019))], (3614 ^ _601103) ^ [_710995] : [isa(_710995, c_tptpcol_16_31868), -(tptpcol_16_31868(_710995))], (3620 ^ _601103) ^ [_711183] : [tptpcol_16_31868(_711183), -(isa(_711183, c_tptpcol_16_31868))], (3626 ^ _601103) ^ [_711371] : [isa(_711371, c_movement_translationevent), -(movement_translationevent(_711371))], (3632 ^ _601103) ^ [_711559] : [movement_translationevent(_711559), -(isa(_711559, c_movement_translationevent))], (3638 ^ _601103) ^ [_711761, _711763] : [directionoftranslation_throughout(_711763, _711761), -(unitvectorinterval(_711761))], (3644 ^ _601103) ^ [_711969, _711971] : [directionoftranslation_throughout(_711971, _711969), -(movement_translationevent(_711971))], (3650 ^ _601103) ^ [_712191, _712193, _712195] : [-(directionoftranslation_throughout(_712191, _712193)), directionoftranslation_throughout(_712195, _712193), subevents(_712195, _712191)], (3660 ^ _601103) ^ [_712486] : [isa(_712486, c_unitvectorinterval), -(unitvectorinterval(_712486))], (3666 ^ _601103) ^ [_712674] : [unitvectorinterval(_712674), -(isa(_712674, c_unitvectorinterval))], (3672 ^ _601103) ^ [_712862] : [isa(_712862, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_712862))], (3678 ^ _601103) ^ [_713050] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_713050), -(isa(_713050, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _601103) ^ [_713252, _713254] : [tptp_8_875(_713254, _713252), -(tptpcol_4_24578(_713252))], (3690 ^ _601103) ^ [_713460, _713462] : [tptp_8_875(_713462, _713460), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_713462))], (3696 ^ _601103) ^ [_713682, _713684, _713686] : [relationallexists(_713686, _713684, _713682), -(collection(_713682))], (3702 ^ _601103) ^ [_713912, _713914, _713916] : [relationallexists(_713916, _713914, _713912), -(collection(_713914))], (3708 ^ _601103) ^ [_714142, _714144, _714146] : [relationallexists(_714146, _714144, _714142), -(binarypredicate(_714146))], (3714 ^ _601103) ^ [_714344] : [isa(_714344, c_tptpcol_16_10258), -(tptpcol_16_10258(_714344))], (3720 ^ _601103) ^ [_714532] : [tptpcol_16_10258(_714532), -(isa(_714532, c_tptpcol_16_10258))], (3726 ^ _601103) ^ [_714720] : [isa(_714720, c_pushingababycarriage), -(pushingababycarriage(_714720))], (3732 ^ _601103) ^ [_714908] : [pushingababycarriage(_714908), -(isa(_714908, c_pushingababycarriage))], (3738 ^ _601103) ^ [_715096] : [isa(_715096, c_aspatialinformationstore), -(aspatialinformationstore(_715096))], (3744 ^ _601103) ^ [_715284] : [aspatialinformationstore(_715284), -(isa(_715284, c_aspatialinformationstore))], (3750 ^ _601103) ^ [_715472] : [isa(_715472, c_collection), -(collection(_715472))], (3756 ^ _601103) ^ [_715660] : [collection(_715660), -(isa(_715660, c_collection))], (3762 ^ _601103) ^ [_715848] : [isa(_715848, c_fixedordercollection), -(fixedordercollection(_715848))], (3768 ^ _601103) ^ [_716036] : [fixedordercollection(_716036), -(isa(_716036, c_fixedordercollection))], (3774 ^ _601103) ^ [_716224] : [isa(_716224, c_tptpcol_8_92164), -(tptpcol_8_92164(_716224))], (3780 ^ _601103) ^ [_716412] : [tptpcol_8_92164(_716412), -(isa(_716412, c_tptpcol_8_92164))], (3786 ^ _601103) ^ [_716600] : [isa(_716600, c_tptpcol_9_92165), -(tptpcol_9_92165(_716600))], (3792 ^ _601103) ^ [_716788] : [tptpcol_9_92165(_716788), -(isa(_716788, c_tptpcol_9_92165))], (3798 ^ _601103) ^ [_716976] : [isa(_716976, c_tptpcol_1_1), -(tptpcol_1_1(_716976))], (3804 ^ _601103) ^ [_717164] : [tptpcol_1_1(_717164), -(isa(_717164, c_tptpcol_1_1))], (3810 ^ _601103) ^ [_717352] : [isa(_717352, c_tptpcol_2_2), -(tptpcol_2_2(_717352))], (3816 ^ _601103) ^ [_717540] : [tptpcol_2_2(_717540), -(isa(_717540, c_tptpcol_2_2))], (3822 ^ _601103) ^ [_717742, _717744] : [tptptypes_7_691(_717744, _717742), -(firstordercollection(_717742))], (3828 ^ _601103) ^ [_717950, _717952] : [tptptypes_7_691(_717952, _717950), -(firstordercollection(_717952))], (3834 ^ _601103) ^ [_718144] : [isa(_718144, c_tptpcol_11_26887), -(tptpcol_11_26887(_718144))], (3840 ^ _601103) ^ [_718332] : [tptpcol_11_26887(_718332), -(isa(_718332, c_tptpcol_11_26887))], (3846 ^ _601103) ^ [_718520] : [isa(_718520, c_tptpcol_12_26919), -(tptpcol_12_26919(_718520))], (3852 ^ _601103) ^ [_718708] : [tptpcol_12_26919(_718708), -(isa(_718708, c_tptpcol_12_26919))], (3858 ^ _601103) ^ [_718910, _718912] : [tptptypes_6_818(_718912, _718910), -(firstordercollection(_718910))], (3864 ^ _601103) ^ [_719118, _719120] : [tptptypes_6_818(_719120, _719118), -(firstordercollection(_719120))], (3870 ^ _601103) ^ [_719326, _719328] : [tptptypes_7_819(_719328, _719326), -(firstordercollection(_719326))], (3876 ^ _601103) ^ [_719534, _719536] : [tptptypes_7_819(_719536, _719534), -(firstordercollection(_719536))], (3882 ^ _601103) ^ [_719728] : [isa(_719728, c_correctivelensprescription), -(correctivelensprescription(_719728))], (3888 ^ _601103) ^ [_719916] : [correctivelensprescription(_719916), -(isa(_719916, c_correctivelensprescription))], (3894 ^ _601103) ^ [_720118, _720120] : [products(_720120, _720118), -(artifact(_720118))], (3900 ^ _601103) ^ [_720326, _720328] : [products(_720328, _720326), -(creationordestructionevent(_720328))], (3906 ^ _601103) ^ [_720520] : [isa(_720520, c_issuingaprescription), -(issuingaprescription(_720520))], (3912 ^ _601103) ^ [_720708] : [issuingaprescription(_720708), -(isa(_720708, c_issuingaprescription))], (3918 ^ _601103) ^ [_720909, _720911, _720913] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_720913, _720911, _720909), c_subcollectionofwithrelationtotypefn))], (3920 ^ _601103) ^ [_721023, _721025, _721027] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721027, _721025, _721023), n_1, _721027))], (3922 ^ _601103) ^ [_721138, _721140, _721142] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721142, _721140, _721138), n_2, _721140))], (3924 ^ _601103) ^ [_721253, _721255, _721257] : [-(natargument(f_subcollectionofwithrelationtotypefn(_721257, _721255, _721253), n_3, _721253))], (3926 ^ _601103) ^ [_721368, _721370, _721372] : [-(collection(f_subcollectionofwithrelationtotypefn(_721372, _721370, _721368)))], (3928 ^ _601103) ^ [_721468] : [isa(_721468, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_721468))], (3934 ^ _601103) ^ [_721656] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_721656), -(isa(_721656, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _601103) ^ [_721844] : [isa(_721844, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_721844))], (3946 ^ _601103) ^ [_722032] : [mathematicalorcomputationalthing(_722032), -(isa(_722032, c_mathematicalorcomputationalthing))], (3952 ^ _601103) ^ [_722220] : [isa(_722220, c_tptpcol_10_118020), -(tptpcol_10_118020(_722220))], (3958 ^ _601103) ^ [_722408] : [tptpcol_10_118020(_722408), -(isa(_722408, c_tptpcol_10_118020))], (3964 ^ _601103) ^ [_722596] : [isa(_722596, c_tptpcol_11_118084), -(tptpcol_11_118084(_722596))], (3970 ^ _601103) ^ [_722784] : [tptpcol_11_118084(_722784), -(isa(_722784, c_tptpcol_11_118084))], (3976 ^ _601103) ^ [_722972] : [isa(_722972, c_terroristgroup), -(terroristgroup(_722972))], (3982 ^ _601103) ^ [_723160] : [terroristgroup(_723160), -(isa(_723160, c_terroristgroup))], (3988 ^ _601103) ^ [_723362, _723364] : [hasmembers(_723364, _723362), -(agent_generic(_723362))], (3994 ^ _601103) ^ [_723570, _723572] : [hasmembers(_723572, _723570), -(organization(_723572))], (4000 ^ _601103) ^ [_723764] : [isa(_723764, c_terrorist), -(terrorist(_723764))], (4006 ^ _601103) ^ [_723952] : [terrorist(_723952), -(isa(_723952, c_terrorist))], (4012 ^ _601103) ^ [_724153, _724155, _724157] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_724157, _724155, _724153), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _601103) ^ [_724267, _724269, _724271] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_724271, _724269, _724267), n_1, _724271))], (4016 ^ _601103) ^ [_724382, _724384, _724386] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_724386, _724384, _724382), n_2, _724384))], (4018 ^ _601103) ^ [_724497, _724499, _724501] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_724501, _724499, _724497), n_3, _724497))], (4020 ^ _601103) ^ [_724612, _724614, _724616] : [-(collection(f_subcollectionofwithrelationfromtypefn(_724616, _724614, _724612)))], (4022 ^ _601103) ^ [_724712] : [isa(_724712, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_724712))], (4028 ^ _601103) ^ [_724900] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_724900), -(isa(_724900, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _601103) ^ [_725102, _725104] : [prettystring(_725104, _725102), -(controlcharacterfreestring(_725102))], (4040 ^ _601103) ^ [_725310, _725312] : [prettystring(_725312, _725310), -(thing(_725312))], (4046 ^ _601103) ^ [_725504] : [isa(_725504, c_tptpcol_0_0), -(tptpcol_0_0(_725504))], (4052 ^ _601103) ^ [_725692] : [tptpcol_0_0(_725692), -(isa(_725692, c_tptpcol_0_0))], (4058 ^ _601103) ^ [_725880] : [isa(_725880, c_geolevel_3), -(geolevel_3(_725880))], (4064 ^ _601103) ^ [_726068] : [geolevel_3(_726068), -(isa(_726068, c_geolevel_3))], (4070 ^ _601103) ^ [_726256] : [isa(_726256, c_tptpcol_4_24578), -(tptpcol_4_24578(_726256))], (4076 ^ _601103) ^ [_726444] : [tptpcol_4_24578(_726444), -(isa(_726444, c_tptpcol_4_24578))], (4082 ^ _601103) ^ [_726632] : [isa(_726632, c_tptpcol_5_24579), -(tptpcol_5_24579(_726632))], (4088 ^ _601103) ^ [_726820] : [tptpcol_5_24579(_726820), -(isa(_726820, c_tptpcol_5_24579))], (4094 ^ _601103) ^ [_727008] : [isa(_727008, c_tptpcol_5_106498), -(tptpcol_5_106498(_727008))], (4100 ^ _601103) ^ [_727196] : [tptpcol_5_106498(_727196), -(isa(_727196, c_tptpcol_5_106498))], (4106 ^ _601103) ^ [_727384] : [isa(_727384, c_tptpcol_12_109157), -(tptpcol_12_109157(_727384))], (4112 ^ _601103) ^ [_727572] : [tptpcol_12_109157(_727572), -(isa(_727572, c_tptpcol_12_109157))], (4118 ^ _601103) ^ [_727760] : [isa(_727760, c_tptpcol_13_109173), -(tptpcol_13_109173(_727760))], (4124 ^ _601103) ^ [_727948] : [tptpcol_13_109173(_727948), -(isa(_727948, c_tptpcol_13_109173))], (4130 ^ _601103) ^ [_728136] : [isa(_728136, c_mathematicalthing), -(mathematicalthing(_728136))], (4136 ^ _601103) ^ [_728324] : [mathematicalthing(_728324), -(isa(_728324, c_mathematicalthing))], (4142 ^ _601103) ^ [_728512] : [isa(_728512, c_setorcollection), -(setorcollection(_728512))], (4148 ^ _601103) ^ [_728700] : [setorcollection(_728700), -(isa(_728700, c_setorcollection))], (4154 ^ _601103) ^ [_728888] : [isa(_728888, c_tptpcol_11_18631), -(tptpcol_11_18631(_728888))], (4160 ^ _601103) ^ [_729076] : [tptpcol_11_18631(_729076), -(isa(_729076, c_tptpcol_11_18631))], (4166 ^ _601103) ^ [_729264] : [isa(_729264, c_tptpcol_12_18663), -(tptpcol_12_18663(_729264))], (4172 ^ _601103) ^ [_729452] : [tptpcol_12_18663(_729452), -(isa(_729452, c_tptpcol_12_18663))], (4178 ^ _601103) ^ [_729654, _729656] : [tptptypes_8_400(_729656, _729654), -(firstordercollection(_729654))], (4184 ^ _601103) ^ [_729862, _729864] : [tptptypes_8_400(_729864, _729862), -(firstordercollection(_729864))], (4190 ^ _601103) ^ [_730070, _730072] : [tptptypes_9_401(_730072, _730070), -(firstordercollection(_730070))], (4196 ^ _601103) ^ [_730278, _730280] : [tptptypes_9_401(_730280, _730278), -(firstordercollection(_730280))], (4202 ^ _601103) ^ [_730457] : [-(natfunction(f_tptpquantityfn_13(_730457), c_tptpquantityfn_13))], (4204 ^ _601103) ^ [_730537] : [-(natargument(f_tptpquantityfn_13(_730537), n_1, _730537))], (4206 ^ _601103) ^ [_730618] : [-(tptpquantity(f_tptpquantityfn_13(_730618)))], (4208 ^ _601103) ^ [_730726, _730728] : [borderson(_730728, _730726), -(geographicalregion(_730726))], (4214 ^ _601103) ^ [_730934, _730936] : [borderson(_730936, _730934), -(geographicalregion(_730936))], (4220 ^ _601103) ^ [_731142, _731144] : [borderson(_731144, _731142), -(borderson(_731142, _731144))], (4226 ^ _601103) ^ [_731322] : [borderson(_731322, _731322)], (4228 ^ _601103) ^ [_731415] : [isa(_731415, c_tptpcol_14_92264), -(tptpcol_14_92264(_731415))], (4234 ^ _601103) ^ [_731603] : [tptpcol_14_92264(_731603), -(isa(_731603, c_tptpcol_14_92264))], (4240 ^ _601103) ^ [_731791] : [isa(_731791, c_tptpcol_15_92268), -(tptpcol_15_92268(_731791))], (4246 ^ _601103) ^ [_731979] : [tptpcol_15_92268(_731979), -(isa(_731979, c_tptpcol_15_92268))], (4252 ^ _601103) ^ [_732167] : [isa(_732167, c_tptpcol_6_116738), -(tptpcol_6_116738(_732167))], (4258 ^ _601103) ^ [_732355] : [tptpcol_6_116738(_732355), -(isa(_732355, c_tptpcol_6_116738))], (4264 ^ _601103) ^ [_732557, _732559] : [tptptypes_5_387(_732559, _732557), -(firstordercollection(_732557))], (4270 ^ _601103) ^ [_732765, _732767] : [tptptypes_5_387(_732767, _732765), -(firstordercollection(_732767))], (4276 ^ _601103) ^ [_732973, _732975] : [tptptypes_6_388(_732975, _732973), -(firstordercollection(_732973))], (4282 ^ _601103) ^ [_733181, _733183] : [tptptypes_6_388(_733183, _733181), -(firstordercollection(_733183))], (4288 ^ _601103) ^ [_733375] : [isa(_733375, c_shavingrazor_manual), -(shavingrazor_manual(_733375))], (4294 ^ _601103) ^ [_733563] : [shavingrazor_manual(_733563), -(isa(_733563, c_shavingrazor_manual))], (4300 ^ _601103) ^ [_733751] : [isa(_733751, c_tptpcol_9_109060), -(tptpcol_9_109060(_733751))], (4306 ^ _601103) ^ [_733939] : [tptpcol_9_109060(_733939), -(isa(_733939, c_tptpcol_9_109060))], (4312 ^ _601103) ^ [_734127] : [isa(_734127, c_tptpcol_10_109061), -(tptpcol_10_109061(_734127))], (4318 ^ _601103) ^ [_734315] : [tptpcol_10_109061(_734315), -(isa(_734315, c_tptpcol_10_109061))], (4324 ^ _601103) ^ [_734503] : [isa(_734503, c_executionbyfiringsquad), -(executionbyfiringsquad(_734503))], (4330 ^ _601103) ^ [_734691] : [executionbyfiringsquad(_734691), -(isa(_734691, c_executionbyfiringsquad))], (4336 ^ _601103) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _601103) ^ [_734932] : [isa(_734932, c_navypersonnel), -(navypersonnel(_734932))], (4344 ^ _601103) ^ [_735120] : [navypersonnel(_735120), -(isa(_735120, c_navypersonnel))], (4350 ^ _601103) ^ [_735308] : [isa(_735308, c_tptpcol_12_92262), -(tptpcol_12_92262(_735308))], (4356 ^ _601103) ^ [_735496] : [tptpcol_12_92262(_735496), -(isa(_735496, c_tptpcol_12_92262))], (4362 ^ _601103) ^ [_735684] : [isa(_735684, c_thing), -(thing(_735684))], (4368 ^ _601103) ^ [_735872] : [thing(_735872), -(isa(_735872, c_thing))], (4374 ^ _601103) ^ [_736060] : [isa(_736060, c_computerdataartifact), -(computerdataartifact(_736060))], (4380 ^ _601103) ^ [_736248] : [computerdataartifact(_736248), -(isa(_736248, c_computerdataartifact))], (4386 ^ _601103) ^ [_736436] : [isa(_736436, c_applicationcontext), -(applicationcontext(_736436))], (4392 ^ _601103) ^ [_736624] : [applicationcontext(_736624), -(isa(_736624, c_applicationcontext))], (4398 ^ _601103) ^ [_736826, _736828] : [inregion(_736828, _736826), -(spatialthing_nonsituational(_736826))], (4404 ^ _601103) ^ [_737034, _737036] : [inregion(_737036, _737034), -(spatialthing_nonsituational(_737036))], (4410 ^ _601103) ^ [_737256, _737258, _737260] : [-(inregion(_737260, _737256)), inregion(_737260, _737258), inregion(_737258, _737256)], (4420 ^ _601103) ^ [_737551] : [spatialthing_nonsituational(_737551), -(inregion(_737551, _737551))], (4426 ^ _601103) ^ [_737724] : [-(natfunction(f_tptpquantityfn_1(_737724), c_tptpquantityfn_1))], (4428 ^ _601103) ^ [_737804] : [-(natargument(f_tptpquantityfn_1(_737804), n_1, _737804))], (4430 ^ _601103) ^ [_737885] : [-(tptpquantity(f_tptpquantityfn_1(_737885)))], (4432 ^ _601103) ^ [_737979] : [isa(_737979, c_furpelt), -(furpelt(_737979))], (4438 ^ _601103) ^ [_738167] : [furpelt(_738167), -(isa(_738167, c_furpelt))], (4444 ^ _601103) ^ [_738369, _738371] : [tptpofobject(_738371, _738369), -(tptpquantity(_738369))], (4450 ^ _601103) ^ [_738577, _738579] : [tptpofobject(_738579, _738577), -(partiallytangible(_738579))], (4456 ^ _601103) ^ [_738799, _738801, _738803] : [relationallinstance(_738803, _738801, _738799), -(thing(_738799))], (4462 ^ _601103) ^ [_739029, _739031, _739033] : [relationallinstance(_739033, _739031, _739029), -(collection(_739031))], (4468 ^ _601103) ^ [_739259, _739261, _739263] : [relationallinstance(_739263, _739261, _739259), -(binarypredicate(_739263))], (4474 ^ _601103) ^ [_739461] : [isa(_739461, c_tptpcol_13_93766), -(tptpcol_13_93766(_739461))], (4480 ^ _601103) ^ [_739649] : [tptpcol_13_93766(_739649), -(isa(_739649, c_tptpcol_13_93766))], (4486 ^ _601103) ^ [_739837] : [isa(_739837, c_tptpcol_9_40196), -(tptpcol_9_40196(_739837))], (4492 ^ _601103) ^ [_740025] : [tptpcol_9_40196(_740025), -(isa(_740025, c_tptpcol_9_40196))], (4498 ^ _601103) ^ [_740213] : [isa(_740213, c_tptpcol_10_40324), -(tptpcol_10_40324(_740213))], (4504 ^ _601103) ^ [_740401] : [tptpcol_10_40324(_740401), -(isa(_740401, c_tptpcol_10_40324))], (4510 ^ _601103) ^ [_740589] : [isa(_740589, c_tptpcol_7_72707), -(tptpcol_7_72707(_740589))], (4516 ^ _601103) ^ [_740777] : [tptpcol_7_72707(_740777), -(isa(_740777, c_tptpcol_7_72707))], (4522 ^ _601103) ^ [_740965] : [isa(_740965, c_tptpcol_8_72708), -(tptpcol_8_72708(_740965))], (4528 ^ _601103) ^ [_741153] : [tptpcol_8_72708(_741153), -(isa(_741153, c_tptpcol_8_72708))], (4534 ^ _601103) ^ [_741341] : [isa(_741341, c_tptpcol_11_93764), -(tptpcol_11_93764(_741341))], (4540 ^ _601103) ^ [_741529] : [tptpcol_11_93764(_741529), -(isa(_741529, c_tptpcol_11_93764))], (4546 ^ _601103) ^ [_741717] : [isa(_741717, c_tptpcol_12_93765), -(tptpcol_12_93765(_741717))], (4552 ^ _601103) ^ [_741905] : [tptpcol_12_93765(_741905), -(isa(_741905, c_tptpcol_12_93765))], (4558 ^ _601103) ^ [_742093] : [isa(_742093, c_tptpcol_4_114689), -(tptpcol_4_114689(_742093))], (4564 ^ _601103) ^ [_742281] : [tptpcol_4_114689(_742281), -(isa(_742281, c_tptpcol_4_114689))], (4570 ^ _601103) ^ [_742469] : [isa(_742469, c_tptpcol_5_114690), -(tptpcol_5_114690(_742469))], (4576 ^ _601103) ^ [_742657] : [tptpcol_5_114690(_742657), -(isa(_742657, c_tptpcol_5_114690))], (4582 ^ _601103) ^ [_742845] : [isa(_742845, c_tptpcol_3_98305), -(tptpcol_3_98305(_742845))], (4588 ^ _601103) ^ [_743033] : [tptpcol_3_98305(_743033), -(isa(_743033, c_tptpcol_3_98305))], (4594 ^ _601103) ^ [_743221] : [isa(_743221, c_tptpcol_4_106497), -(tptpcol_4_106497(_743221))], (4600 ^ _601103) ^ [_743409] : [tptpcol_4_106497(_743409), -(isa(_743409, c_tptpcol_4_106497))], (4606 ^ _601103) ^ [_743624, _743626, _743628, _743630] : [-(natfunction(f_relationexistsallfn(_743630, _743628, _743626, _743624), c_relationexistsallfn))], (4608 ^ _601103) ^ [_743755, _743757, _743759, _743761] : [-(natargument(f_relationexistsallfn(_743761, _743759, _743757, _743755), n_1, _743761))], (4610 ^ _601103) ^ [_743887, _743889, _743891, _743893] : [-(natargument(f_relationexistsallfn(_743893, _743891, _743889, _743887), n_2, _743891))], (4612 ^ _601103) ^ [_744019, _744021, _744023, _744025] : [-(natargument(f_relationexistsallfn(_744025, _744023, _744021, _744019), n_3, _744021))], (4614 ^ _601103) ^ [_744151, _744153, _744155, _744157] : [-(natargument(f_relationexistsallfn(_744157, _744155, _744153, _744151), n_4, _744151))], (4616 ^ _601103) ^ [_744283, _744285, _744287, _744289] : [-(thing(f_relationexistsallfn(_744289, _744287, _744285, _744283)))], (4618 ^ _601103) ^ [_744400, _744402] : [resultisaarg(_744402, _744400), -(positiveinteger(_744400))], (4624 ^ _601103) ^ [_744608, _744610] : [resultisaarg(_744610, _744608), -(function_denotational(_744610))], (4630 ^ _601103) ^ [_744816, _744818] : [tptptypes_7_389(_744818, _744816), -(firstordercollection(_744816))], (4636 ^ _601103) ^ [_745024, _745026] : [tptptypes_7_389(_745026, _745024), -(firstordercollection(_745026))], (4642 ^ _601103) ^ [_745232, _745234] : [tptptypes_8_390(_745234, _745232), -(firstordercollection(_745232))], (4648 ^ _601103) ^ [_745440, _745442] : [tptptypes_8_390(_745442, _745440), -(firstordercollection(_745442))], (4654 ^ _601103) ^ [_745648, _745650] : [tptptypes_8_692(_745650, _745648), -(firstordercollection(_745648))], (4660 ^ _601103) ^ [_745856, _745858] : [tptptypes_8_692(_745858, _745856), -(firstordercollection(_745858))], (4666 ^ _601103) ^ [_746064, _746066] : [tptptypes_9_693(_746066, _746064), -(firstordercollection(_746064))], (4672 ^ _601103) ^ [_746272, _746274] : [tptptypes_9_693(_746274, _746272), -(firstordercollection(_746274))], (4678 ^ _601103) ^ [_746466] : [isa(_746466, c_tptpcol_11_40388), -(tptpcol_11_40388(_746466))], (4684 ^ _601103) ^ [_746654] : [tptpcol_11_40388(_746654), -(isa(_746654, c_tptpcol_11_40388))], (4690 ^ _601103) ^ [_746842] : [isa(_746842, c_marriagelicensedocument), -(marriagelicensedocument(_746842))], (4696 ^ _601103) ^ [_747030] : [marriagelicensedocument(_747030), -(isa(_747030, c_marriagelicensedocument))], (4702 ^ _601103) ^ [_747218] : [isa(_747218, c_tptpcol_1_65536), -(tptpcol_1_65536(_747218))], (4708 ^ _601103) ^ [_747406] : [tptpcol_1_65536(_747406), -(isa(_747406, c_tptpcol_1_65536))], (4714 ^ _601103) ^ [_747594] : [isa(_747594, c_tptpcol_2_98304), -(tptpcol_2_98304(_747594))], (4720 ^ _601103) ^ [_747782] : [tptpcol_2_98304(_747782), -(isa(_747782, c_tptpcol_2_98304))], (4726 ^ _601103) ^ [_747970] : [isa(_747970, c_tptpcol_10_92166), -(tptpcol_10_92166(_747970))], (4732 ^ _601103) ^ [_748158] : [tptpcol_10_92166(_748158), -(isa(_748158, c_tptpcol_10_92166))], (4738 ^ _601103) ^ [_748346] : [isa(_748346, c_tptpcol_11_92230), -(tptpcol_11_92230(_748346))], (4744 ^ _601103) ^ [_748534] : [tptpcol_11_92230(_748534), -(isa(_748534, c_tptpcol_11_92230))], (4750 ^ _601103) ^ [_748722] : [isa(_748722, c_orderingpredicate), -(orderingpredicate(_748722))], (4756 ^ _601103) ^ [_748910] : [orderingpredicate(_748910), -(isa(_748910, c_orderingpredicate))], (4762 ^ _601103) ^ [_749098] : [isa(_749098, c_tptpcol_9_18439), -(tptpcol_9_18439(_749098))], (4768 ^ _601103) ^ [_749286] : [tptpcol_9_18439(_749286), -(isa(_749286, c_tptpcol_9_18439))], (4774 ^ _601103) ^ [_749474] : [isa(_749474, c_tptpcol_10_18567), -(tptpcol_10_18567(_749474))], (4780 ^ _601103) ^ [_749662] : [tptpcol_10_18567(_749662), -(isa(_749662, c_tptpcol_10_18567))], (4786 ^ _601103) ^ [_749850] : [isa(_749850, c_tptpcol_2_65537), -(tptpcol_2_65537(_749850))], (4792 ^ _601103) ^ [_750038] : [tptpcol_2_65537(_750038), -(isa(_750038, c_tptpcol_2_65537))], (4798 ^ _601103) ^ [_750226] : [isa(_750226, c_tptpcol_3_81921), -(tptpcol_3_81921(_750226))], (4804 ^ _601103) ^ [_750414] : [tptpcol_3_81921(_750414), -(isa(_750414, c_tptpcol_3_81921))], (4810 ^ _601103) ^ [_750602] : [isa(_750602, c_artsupplies), -(artsupplies(_750602))], (4816 ^ _601103) ^ [_750790] : [artsupplies(_750790), -(isa(_750790, c_artsupplies))], (4822 ^ _601103) ^ [_750978] : [isa(_750978, c_enduringthing_localized), -(enduringthing_localized(_750978))], (4828 ^ _601103) ^ [_751166] : [enduringthing_localized(_751166), -(isa(_751166, c_enduringthing_localized))], (4834 ^ _601103) ^ [_751354] : [isa(_751354, c_location_underspecified), -(location_underspecified(_751354))], (4840 ^ _601103) ^ [_751542] : [location_underspecified(_751542), -(isa(_751542, c_location_underspecified))], (4846 ^ _601103) ^ [_751730] : [isa(_751730, c_trajector_underspecified), -(trajector_underspecified(_751730))], (4852 ^ _601103) ^ [_751918] : [trajector_underspecified(_751918), -(isa(_751918, c_trajector_underspecified))], (4858 ^ _601103) ^ [_752106] : [isa(_752106, c_individual), -(individual(_752106))], (4864 ^ _601103) ^ [_752294] : [individual(_752294), -(isa(_752294, c_individual))], (4870 ^ _601103) ^ [_752482] : [isa(_752482, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_752482))], (4876 ^ _601103) ^ [_752670] : [partiallyintangibleindividual(_752670), -(isa(_752670, c_partiallyintangibleindividual))], (4882 ^ _601103) ^ [_752858] : [isa(_752858, c_tptpcol_10_22022), -(tptpcol_10_22022(_752858))], (4888 ^ _601103) ^ [_753046] : [tptpcol_10_22022(_753046), -(isa(_753046, c_tptpcol_10_22022))], (4894 ^ _601103) ^ [_753234] : [isa(_753234, c_tptpcol_11_22023), -(tptpcol_11_22023(_753234))], (4900 ^ _601103) ^ [_753422] : [tptpcol_11_22023(_753422), -(isa(_753422, c_tptpcol_11_22023))], (4906 ^ _601103) ^ [_753610] : [isa(_753610, c_tptpcol_5_20483), -(tptpcol_5_20483(_753610))], (4912 ^ _601103) ^ [_753798] : [tptpcol_5_20483(_753798), -(isa(_753798, c_tptpcol_5_20483))], (4918 ^ _601103) ^ [_753986] : [isa(_753986, c_tptpcol_13_72791), -(tptpcol_13_72791(_753986))], (4924 ^ _601103) ^ [_754174] : [tptpcol_13_72791(_754174), -(isa(_754174, c_tptpcol_13_72791))], (4930 ^ _601103) ^ [_754362] : [isa(_754362, c_tptpcol_14_72792), -(tptpcol_14_72792(_754362))], (4936 ^ _601103) ^ [_754550] : [tptpcol_14_72792(_754550), -(isa(_754550, c_tptpcol_14_72792))], (4942 ^ _601103) ^ [_754738] : [isa(_754738, c_ridgeline_topographical), -(ridgeline_topographical(_754738))], (4948 ^ _601103) ^ [_754926] : [ridgeline_topographical(_754926), -(isa(_754926, c_ridgeline_topographical))], (4954 ^ _601103) ^ [_755114] : [isa(_755114, c_tptpcol_4_16387), -(tptpcol_4_16387(_755114))], (4960 ^ _601103) ^ [_755302] : [tptpcol_4_16387(_755302), -(isa(_755302, c_tptpcol_4_16387))], (4966 ^ _601103) ^ [_755490] : [isa(_755490, c_tptpcol_5_16388), -(tptpcol_5_16388(_755490))], (4972 ^ _601103) ^ [_755678] : [tptpcol_5_16388(_755678), -(isa(_755678, c_tptpcol_5_16388))], (4978 ^ _601103) ^ [_755866] : [isa(_755866, c_tptpcol_8_22020), -(tptpcol_8_22020(_755866))], (4984 ^ _601103) ^ [_756054] : [tptpcol_8_22020(_756054), -(isa(_756054, c_tptpcol_8_22020))], (4990 ^ _601103) ^ [_756242] : [isa(_756242, c_tptpcol_9_22021), -(tptpcol_9_22021(_756242))], (4996 ^ _601103) ^ [_756430] : [tptpcol_9_22021(_756430), -(isa(_756430, c_tptpcol_9_22021))], (5002 ^ _601103) ^ [_756618] : [isa(_756618, c_transitivebinarypredicate), -(transitivebinarypredicate(_756618))], (5008 ^ _601103) ^ [_756806] : [transitivebinarypredicate(_756806), -(isa(_756806, c_transitivebinarypredicate))], (5014 ^ _601103) ^ [_757008, _757010] : [geographicalsubregions(_757010, _757008), -(geographicalregion(_757008))], (5020 ^ _601103) ^ [_757216, _757218] : [geographicalsubregions(_757218, _757216), -(geographicalregion(_757218))], (5026 ^ _601103) ^ [_757438, _757440, _757442] : [-(geographicalsubregions(_757442, _757438)), geographicalsubregions(_757442, _757440), geographicalsubregions(_757440, _757438)], (5036 ^ _601103) ^ [_757733] : [geographicalregion(_757733), -(geographicalsubregions(_757733, _757733))], (5042 ^ _601103) ^ [_757921] : [isa(_757921, c_tptpcol_12_40420), -(tptpcol_12_40420(_757921))], (5048 ^ _601103) ^ [_758109] : [tptpcol_12_40420(_758109), -(isa(_758109, c_tptpcol_12_40420))], (5054 ^ _601103) ^ [_758297] : [isa(_758297, c_tptpcol_13_40421), -(tptpcol_13_40421(_758297))], (5060 ^ _601103) ^ [_758485] : [tptpcol_13_40421(_758485), -(isa(_758485, c_tptpcol_13_40421))], (5066 ^ _601103) ^ [_758673] : [isa(_758673, c_tptpcol_6_92162), -(tptpcol_6_92162(_758673))], (5072 ^ _601103) ^ [_758861] : [tptpcol_6_92162(_758861), -(isa(_758861, c_tptpcol_6_92162))], (5078 ^ _601103) ^ [_759049] : [isa(_759049, c_tptpcol_7_93186), -(tptpcol_7_93186(_759049))], (5084 ^ _601103) ^ [_759237] : [tptpcol_7_93186(_759237), -(isa(_759237, c_tptpcol_7_93186))], (5090 ^ _601103) ^ [_759439, _759441] : [most(_759441, _759439), -(setorcollection(_759439))], (5096 ^ _601103) ^ [_759647, _759649] : [most(_759649, _759647), -(setorcollection(_759647))], (5102 ^ _601103) ^ [_759855, _759857] : [most(_759857, _759855), -(setorcollection(_759857))], (5108 ^ _601103) ^ [_760063, _760065] : [most(_760065, _760063), -(setorcollection(_760065))], (5114 ^ _601103) ^ [_760257] : [setorcollection(_760257), -(most(_760257, _760257))], (5120 ^ _601103) ^ [_760445] : [setorcollection(_760445), -(most(_760445, _760445))], (5126 ^ _601103) ^ [_760661, _760663, _760665] : [-(most(_760665, _760661)), most(_760665, _760663), subsetof(_760663, _760661)], (5136 ^ _601103) ^ [_760984, _760986, _760988] : [-(most(_760988, _760984)), most(_760988, _760986), subsetof(_760986, _760984)], (5146 ^ _601103) ^ [_761293, _761295] : [subsetof(_761295, _761293), -(setorcollection(_761293))], (5152 ^ _601103) ^ [_761501, _761503] : [subsetof(_761503, _761501), -(setorcollection(_761503))], (5158 ^ _601103) ^ [_761723, _761725, _761727] : [-(subsetof(_761727, _761723)), subsetof(_761727, _761725), subsetof(_761725, _761723)], (5168 ^ _601103) ^ [_762018] : [setorcollection(_762018), -(subsetof(_762018, _762018))], (5174 ^ _601103) ^ [_762234, _762236, _762238] : [-(subsetof(_762234, _762236)), subsetof(_762238, _762236), subsetof(_762234, _762238)], (5184 ^ _601103) ^ [_762557, _762559, _762561] : [-(subsetof(_762561, _762557)), subsetof(_762561, _762559), subsetof(_762559, _762557)], (5194 ^ _601103) ^ [_762880, _762882, _762884] : [-(subsetof(_762884, _762880)), subsetof(_762884, _762882), subsetof(_762882, _762880)], (5204 ^ _601103) ^ [_763189, _763191] : [genlpreds(_763191, _763189), -(predicate(_763189))], (5210 ^ _601103) ^ [_763397, _763399] : [genlpreds(_763399, _763397), -(predicate(_763397))], (5216 ^ _601103) ^ [_763605, _763607] : [genlpreds(_763607, _763605), -(predicate(_763607))], (5222 ^ _601103) ^ [_763813, _763815] : [genlpreds(_763815, _763813), -(predicate(_763815))], (5228 ^ _601103) ^ [_764035, _764037, _764039] : [-(genlpreds(_764039, _764035)), genlpreds(_764039, _764037), genlpreds(_764037, _764035)], (5238 ^ _601103) ^ [_764330] : [predicate(_764330), -(genlpreds(_764330, _764330))], (5244 ^ _601103) ^ [_764518] : [predicate(_764518), -(genlpreds(_764518, _764518))], (5250 ^ _601103) ^ [_764720, _764722] : [genlinverse(_764722, _764720), -(binarypredicate(_764720))], (5256 ^ _601103) ^ [_764928, _764930] : [genlinverse(_764930, _764928), -(binarypredicate(_764930))], (5262 ^ _601103) ^ [_765150, _765152, _765154] : [-(genlinverse(_765150, _765152)), genlinverse(_765154, _765152), genlpreds(_765150, _765154)], (5272 ^ _601103) ^ [_765473, _765475, _765477] : [-(genlinverse(_765477, _765473)), genlinverse(_765477, _765475), genlpreds(_765475, _765473)], (5282 ^ _601103) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _601103) ^ [_765821] : [isa(_765821, c_microtheory), -(microtheory(_765821))], (5290 ^ _601103) ^ [_766009] : [microtheory(_766009), -(isa(_766009, c_microtheory))], (5296 ^ _601103) ^ [_766182] : [-(natfunction(f_urlfn(_766182), c_urlfn))], (5298 ^ _601103) ^ [_766262] : [-(natargument(f_urlfn(_766262), n_1, _766262))], (5300 ^ _601103) ^ [_766343] : [-(uniformresourcelocator(f_urlfn(_766343)))], (5302 ^ _601103) ^ [_766422] : [-(natfunction(f_urlreferentfn(_766422), c_urlreferentfn))], (5304 ^ _601103) ^ [_766502] : [-(natargument(f_urlreferentfn(_766502), n_1, _766502))], (5306 ^ _601103) ^ [_766583] : [-(computerdataartifact(f_urlreferentfn(_766583)))], (5308 ^ _601103) ^ [_766676, _766678] : [-(natfunction(f_contentmtofcdafromeventfn(_766678, _766676), c_contentmtofcdafromeventfn))], (5310 ^ _601103) ^ [_766773, _766775] : [-(natargument(f_contentmtofcdafromeventfn(_766775, _766773), n_1, _766775))], (5312 ^ _601103) ^ [_766871, _766873] : [-(natargument(f_contentmtofcdafromeventfn(_766873, _766871), n_2, _766871))], (5314 ^ _601103) ^ [_766969, _766971] : [-(microtheory(f_contentmtofcdafromeventfn(_766971, _766969)))], (5316 ^ _601103) ^ [_767080, _767082] : [isa(_767082, _767080), -(collection(_767080))], (5322 ^ _601103) ^ [_767288, _767290] : [isa(_767290, _767288), -(collection(_767288))], (5328 ^ _601103) ^ [_767496, _767498] : [isa(_767498, _767496), -(thing(_767498))], (5334 ^ _601103) ^ [_767704, _767706] : [isa(_767706, _767704), -(thing(_767706))], (5340 ^ _601103) ^ [_767926, _767928, _767930] : [-(isa(_767930, _767926)), isa(_767930, _767928), genls(_767928, _767926)], (5350 ^ _601103) ^ [_768221] : [isa(_768221, c_inanimateobject), -(inanimateobject(_768221))], (5356 ^ _601103) ^ [_768409] : [inanimateobject(_768409), -(isa(_768409, c_inanimateobject))], (5362 ^ _601103) ^ [_768597] : [isa(_768597, c_tptpcol_9_72709), -(tptpcol_9_72709(_768597))], (5368 ^ _601103) ^ [_768785] : [tptpcol_9_72709(_768785), -(isa(_768785, c_tptpcol_9_72709))], (5374 ^ _601103) ^ [_768973] : [isa(_768973, c_tptpcol_10_72710), -(tptpcol_10_72710(_768973))], (5380 ^ _601103) ^ [_769161] : [tptpcol_10_72710(_769161), -(isa(_769161, c_tptpcol_10_72710))], (5386 ^ _601103) ^ [_769349] : [isa(_769349, c_tptpcol_14_40429), -(tptpcol_14_40429(_769349))], (5392 ^ _601103) ^ [_769537] : [tptpcol_14_40429(_769537), -(isa(_769537, c_tptpcol_14_40429))], (5398 ^ _601103) ^ [_769725] : [isa(_769725, c_tptpcol_15_40430), -(tptpcol_15_40430(_769725))], (5404 ^ _601103) ^ [_769913] : [tptpcol_15_40430(_769913), -(isa(_769913, c_tptpcol_15_40430))], (5410 ^ _601103) ^ [_770115, _770117] : [genls(_770117, _770115), -(collection(_770115))], (5416 ^ _601103) ^ [_770323, _770325] : [genls(_770325, _770323), -(collection(_770323))], (5422 ^ _601103) ^ [_770531, _770533] : [genls(_770533, _770531), -(collection(_770533))], (5428 ^ _601103) ^ [_770739, _770741] : [genls(_770741, _770739), -(collection(_770741))], (5434 ^ _601103) ^ [_770961, _770963, _770965] : [-(genls(_770965, _770961)), genls(_770965, _770963), genls(_770963, _770961)], (5444 ^ _601103) ^ [_771256] : [collection(_771256), -(genls(_771256, _771256))], (5450 ^ _601103) ^ [_771444] : [collection(_771444), -(genls(_771444, _771444))], (5456 ^ _601103) ^ [_771660, _771662, _771664] : [-(genls(_771660, _771662)), genls(_771664, _771662), genls(_771660, _771664)], (5466 ^ _601103) ^ [_771983, _771985, _771987] : [-(genls(_771987, _771983)), genls(_771987, _771985), genls(_771985, _771983)], (5476 ^ _601103) ^ [_772278] : [isa(_772278, c_partiallytangible), -(partiallytangible(_772278))], (5482 ^ _601103) ^ [_772466] : [partiallytangible(_772466), -(isa(_772466, c_partiallytangible))], (5488 ^ _601103) ^ [_772654] : [isa(_772654, c_intangible), -(intangible(_772654))], (5494 ^ _601103) ^ [_772842] : [intangible(_772842), -(isa(_772842, c_intangible))], (5500 ^ _601103) ^ [_773044, _773046] : [disjointwith(_773046, _773044), -(collection(_773044))], (5506 ^ _601103) ^ [_773252, _773254] : [disjointwith(_773254, _773252), -(collection(_773254))], (5512 ^ _601103) ^ [_773460, _773462] : [disjointwith(_773462, _773460), -(disjointwith(_773460, _773462))], (5518 ^ _601103) ^ [_773684, _773686, _773688] : [-(disjointwith(_773688, _773684)), disjointwith(_773688, _773686), genls(_773684, _773686)], (5528 ^ _601103) ^ [_774007, _774009, _774011] : [-(disjointwith(_774007, _774009)), disjointwith(_774011, _774009), genls(_774007, _774011)], (5538 ^ _601103) ^ [_774316, _774318] : [-(mtvisible(_774316)), mtvisible(_774318), genlmt(_774318, _774316)], (5548 ^ _601103) ^ [_774611, _774613] : [genlmt(_774613, _774611), -(microtheory(_774611))], (5554 ^ _601103) ^ [_774819, _774821] : [genlmt(_774821, _774819), -(microtheory(_774819))], (5560 ^ _601103) ^ [_775027, _775029] : [genlmt(_775029, _775027), -(microtheory(_775029))], (5566 ^ _601103) ^ [_775235, _775237] : [genlmt(_775237, _775235), -(microtheory(_775237))], (5572 ^ _601103) ^ [_775457, _775459, _775461] : [-(genlmt(_775461, _775457)), genlmt(_775461, _775459), genlmt(_775459, _775457)], (5582 ^ _601103) ^ [_775752] : [microtheory(_775752), -(genlmt(_775752, _775752))], (5594 ^ _601103) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _601103) ^ [_775940] : [microtheory(_775940), -(genlmt(_775940, _775940))]], input).
% 3.60/4.48 ncf('1',plain,[tptptypes_5_387(c_tptpcol_16_10258, c_pushingababycarriage)],start(5598 ^ 0,bind([[_790667], [c_tptpcol_16_10258]]))).
% 3.60/4.48 ncf('1.1',plain,[-(tptptypes_5_387(c_tptpcol_16_10258, c_pushingababycarriage)), tptptypes_6_388(c_tptpcol_16_10258, c_pushingababycarriage)],extension(378 ^ 1,bind([[_611989, _611991], [c_pushingababycarriage, c_tptpcol_16_10258]]))).
% 3.60/4.48 ncf('1.1.1',plain,[-(tptptypes_6_388(c_tptpcol_16_10258, c_pushingababycarriage)), tptptypes_7_396(c_tptpcol_16_10258, c_pushingababycarriage)],extension(1590 ^ 2,bind([[_646453, _646455], [c_pushingababycarriage, c_tptpcol_16_10258]]))).
% 3.60/4.48 ncf('1.1.1.1',plain,[-(tptptypes_7_396(c_tptpcol_16_10258, c_pushingababycarriage)), tptptypes_8_400(c_tptpcol_16_10258, c_pushingababycarriage)],extension(688 ^ 3,bind([[_620665, _620667], [c_pushingababycarriage, c_tptpcol_16_10258]]))).
% 3.60/4.48 ncf('1.1.1.1.1',plain,[-(tptptypes_8_400(c_tptpcol_16_10258, c_pushingababycarriage)), tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258)],extension(424 ^ 4,bind([[_613235, _613237], [c_tptpcol_16_10258, c_pushingababycarriage]]))).
% 3.60/4.48 ncf('1.1.1.1.1.1',plain,[-(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258)), mtvisible(c_tptp_member237_mt)],extension(606 ^ 5)).
% 3.60/4.48 ncf('1.1.1.1.1.1.1',plain,[-(mtvisible(c_tptp_member237_mt)), mtvisible(c_tptp_spindlecollectormt), genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt)],extension(5538 ^ 6,bind([[_774316, _774318], [c_tptp_member237_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,bind([[_790630], [_408434]]))).
% 3.60/4.48 ncf('1.1.1.1.1.1.1.2',plain,[-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))],extension(784 ^ 7)).
% 3.60/4.48 %-----------------------------------------------------
% 3.60/4.48 End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------