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

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

% Result   : Theorem 0.41s 1.43s
% Output   : Proof 0.41s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.15  % Problem  : CSR042+2 : TPTP v8.1.2. Released v3.4.0.
% 0.06/0.16  % Command  : nanocop.sh %s %d
% 0.12/0.37  % Computer : n007.cluster.edu
% 0.12/0.37  % Model    : x86_64 x86_64
% 0.12/0.37  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.37  % Memory   : 8042.1875MB
% 0.12/0.37  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.37  % CPULimit : 300
% 0.12/0.37  % WCLimit  : 300
% 0.12/0.37  % DateTime : Thu May 18 23:55:53 EDT 2023
% 0.12/0.38  % CPUTime  : 
% 0.41/1.43  
% 0.41/1.43  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.41/1.43  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.41/1.43  %-----------------------------------------------------
% 0.41/1.43  ncf(matrix, plain, [(5596 ^ _595636) ^ [_785163] : [-(mtvisible(c_tptpgeo_member7_mt))], (5598 ^ _595636) ^ [_785200] : [borderson(_785200, c_georegion_l4_x27_y64)], (2 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_member8_mt, c_tptpgeo_spindleheadmt))], (4 ^ _595636) ^ [] : [-(disjointwith(c_intangible, c_partiallytangible))], (6 ^ _595636) ^ [_595841] : [intangible(_595841), partiallytangible(_595841)], (12 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_40430, c_tptpcol_14_40429))], (14 ^ _595636) ^ [_596079] : [tptpcol_15_40430(_596079), -(tptpcol_14_40429(_596079))], (20 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_72710, c_tptpcol_9_72709))], (22 ^ _595636) ^ [_596318] : [tptpcol_10_72710(_596318), -(tptpcol_9_72709(_596318))], (28 ^ _595636) ^ [] : [-(genls(c_inanimateobject, c_partiallytangible))], (30 ^ _595636) ^ [_596557] : [inanimateobject(_596557), -(partiallytangible(_596557))], (36 ^ _595636) ^ [] : [-(microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_of_munichhtml)), c_translation_3)))], (38 ^ _595636) ^ [_596824, _596826, _596828] : [-(genlpreds(_596828, _596824)), genlinverse(_596828, _596826), genlinverse(_596826, _596824)], (48 ^ _595636) ^ [] : [-(genlpreds(c_subsetof, c_most))], (50 ^ _595636) ^ [_597186, _597188] : [subsetof(_597188, _597186), -(most(_597188, _597186))], (56 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_93186, c_tptpcol_6_92162))], (58 ^ _595636) ^ [_597435] : [tptpcol_7_93186(_597435), -(tptpcol_6_92162(_597435))], (64 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_40421, c_tptpcol_12_40420))], (66 ^ _595636) ^ [_597674] : [tptpcol_13_40421(_597674), -(tptpcol_12_40420(_597674))], (72 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l1_x2_y0, c_georegion_l2_x8_y2))], (78 ^ _595636) ^ [] : [-(transitivebinarypredicate(c_genls))], (80 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2610_mt))], (82 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_22021, c_tptpcol_8_22020))], (84 ^ _595636) ^ [_598138] : [tptpcol_9_22021(_598138), -(tptpcol_8_22020(_598138))], (90 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_16388, c_tptpcol_4_16387))], (92 ^ _595636) ^ [_598377] : [tptpcol_5_16388(_598377), -(tptpcol_4_16387(_598377))], (98 ^ _595636) ^ [] : [mtvisible(c_cyclistsmt), -(ridgeline_topographical(c_tptpridgeline_topographical))], (104 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_72792, c_tptpcol_13_72791))], (106 ^ _595636) ^ [_598735] : [tptpcol_14_72792(_598735), -(tptpcol_13_72791(_598735))], (112 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_20483, c_tptpcol_4_16387))], (114 ^ _595636) ^ [_598974] : [tptpcol_5_20483(_598974), -(tptpcol_4_16387(_598974))], (120 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_22023, c_tptpcol_10_22022))], (122 ^ _595636) ^ [_599213] : [tptpcol_11_22023(_599213), -(tptpcol_10_22022(_599213))], (128 ^ _595636) ^ [] : [-(genls(c_partiallyintangibleindividual, c_individual))], (130 ^ _595636) ^ [_599452] : [partiallyintangibleindividual(_599452), -(individual(_599452))], (136 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3205_mt, c_tptp_spindleheadmt))], (138 ^ _595636) ^ [] : [-(genlmt(c_peopledatamt, c_unitedstatessociallifemt))], (140 ^ _595636) ^ [] : [-(genls(c_trajector_underspecified, c_location_underspecified))], (142 ^ _595636) ^ [_599797] : [trajector_underspecified(_599797), -(location_underspecified(_599797))], (148 ^ _595636) ^ [] : [-(genls(c_partiallytangible, c_enduringthing_localized))], (150 ^ _595636) ^ [_600036] : [partiallytangible(_600036), -(enduringthing_localized(_600036))], (156 ^ _595636) ^ [] : [mtvisible(c_cyclistsmt), -(artsupplies(c_tptpartsupplies))], (162 ^ _595636) ^ [] : [-(genls(c_tptpcol_3_81921, c_tptpcol_2_65537))], (164 ^ _595636) ^ [_600394] : [tptpcol_3_81921(_600394), -(tptpcol_2_65537(_600394))], (170 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_18567, c_tptpcol_9_18439))], (172 ^ _595636) ^ [_600633] : [tptpcol_10_18567(_600633), -(tptpcol_9_18439(_600633))], (178 ^ _595636) ^ [] : [-(genls(c_orderingpredicate, c_transitivebinarypredicate))], (180 ^ _595636) ^ [_600872] : [orderingpredicate(_600872), -(transitivebinarypredicate(_600872))], (186 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_92230, c_tptpcol_10_92166))], (188 ^ _595636) ^ [_601111] : [tptpcol_11_92230(_601111), -(tptpcol_10_92166(_601111))], (194 ^ _595636) ^ [] : [-(genls(c_tptpcol_2_98304, c_tptpcol_1_65536))], (196 ^ _595636) ^ [_601350] : [tptpcol_2_98304(_601350), -(tptpcol_1_65536(_601350))], (202 ^ _595636) ^ [] : [mtvisible(c_tptp_member3356_mt), -(marriagelicensedocument(c_tptpmarriagelicensedocument))], (208 ^ _595636) ^ [] : [-(genlmt(c_miptdatabase19681997_termsmt, c_ldscgeneralcollectormt))], (210 ^ _595636) ^ [] : [-(genlmt(c_ethnicgroupsmt, c_ethnicgroupsvocabularymt))], (212 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_40420, c_tptpcol_11_40388))], (214 ^ _595636) ^ [_601814] : [tptpcol_12_40420(_601814), -(tptpcol_11_40388(_601814))], (220 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_9_693, c_tptptypes_8_692))], (222 ^ _595636) ^ [_602067, _602069] : [tptptypes_9_693(_602069, _602067), -(tptptypes_8_692(_602069, _602067))], (228 ^ _595636) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_miptdatabase19681997_termsmt))], (230 ^ _595636) ^ [] : [-(genlmt(c_ldscdemonstrationspindleheadmt, c_currentworlddatacollectormt_nonhomocentric))], (232 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_8_390, c_tptptypes_7_389))], (234 ^ _595636) ^ [_602436, _602438] : [tptptypes_8_390(_602438, _602436), -(tptptypes_7_389(_602438, _602436))], (240 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml)), c_translation_33), c_machinelearningspindleheadmt))], (242 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_member7_mt, c_tptpgeo_spindleheadmt))], (244 ^ _595636) ^ [_602780, _602782, _602784, _602786] : [-(isa(f_relationexistsallfn(_602786, _602782, _602780, _602784), _602780)), isa(_602786, _602784), relationexistsall(_602782, _602780, _602784)], (254 ^ _595636) ^ [] : [-(resultisaarg(c_relationexistsallfn, n_3))], (256 ^ _595636) ^ [] : [-(genlmt(c_nooescapearchitecturemt, c_organizationdatamt))], (258 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfuntriviacomplayquizcfmqid60926origin)), c_translation_0_885), c_machinelearningspindleheadmt))], (260 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_106497, c_tptpcol_3_98305))], (262 ^ _595636) ^ [_603309] : [tptpcol_4_106497(_603309), -(tptpcol_3_98305(_603309))], (268 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_114690, c_tptpcol_4_114689))], (270 ^ _595636) ^ [_603548] : [tptpcol_5_114690(_603548), -(tptpcol_4_114689(_603548))], (276 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_93765, c_tptpcol_11_93764))], (278 ^ _595636) ^ [_603787] : [tptpcol_12_93765(_603787), -(tptpcol_11_93764(_603787))], (284 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_72708, c_tptpcol_7_72707))], (286 ^ _595636) ^ [_604026] : [tptpcol_8_72708(_604026), -(tptpcol_7_72707(_604026))], (292 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_40324, c_tptpcol_9_40196))], (294 ^ _595636) ^ [_604265] : [tptpcol_10_40324(_604265), -(tptpcol_9_40196(_604265))], (300 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_93766, c_tptpcol_12_93765))], (302 ^ _595636) ^ [_604504] : [tptpcol_13_93766(_604504), -(tptpcol_12_93765(_604504))], (308 ^ _595636) ^ [_604690] : [-(tptpofobject(_604690, f_tptpquantityfn_1(n_328))), mtvisible(c_tptp_spindleheadmt), furpelt(_604690)], (318 ^ _595636) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_furpelt, f_tptpquantityfn_1(n_328)))], (324 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(inregion(c_geolocation_x53_y74, c_georegion_l4_x53_y74))], (330 ^ _595636) ^ [] : [-(applicationcontext(c_wamt_evalinitial_p14))], (332 ^ _595636) ^ [] : [-(computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf))))], (334 ^ _595636) ^ [] : [-(genls(c_location_underspecified, c_thing))], (336 ^ _595636) ^ [_605354] : [location_underspecified(_605354), -(thing(_605354))], (342 ^ _595636) ^ [] : [-(genlmt(c_ldscgeneralcollectormt, c_ldscdemonstrationspindleheadmt))], (344 ^ _595636) ^ [] : [-(genlmt(c_patterndetectormt, c_basekb))], (346 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_92262, c_tptpcol_11_92230))], (348 ^ _595636) ^ [_605699] : [tptpcol_12_92262(_605699), -(tptpcol_11_92230(_605699))], (354 ^ _595636) ^ [] : [mtvisible(c_tptp_member1672_mt), -(navypersonnel(c_tptpnavypersonnel_3))], (360 ^ _595636) ^ [] : [-(genlmt(c_universalvocabularymt, c_corecyclmt))], (362 ^ _595636) ^ [] : [-(genlmt(c_tptp_member2831_mt, c_tptp_spindleheadmt))], (364 ^ _595636) ^ [] : [-(executionbyfiringsquad(c_tptpexecutionbyfiringsquad_90))], (366 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_109061, c_tptpcol_9_109060))], (368 ^ _595636) ^ [_606216] : [tptpcol_10_109061(_606216), -(tptpcol_9_109060(_606216))], (374 ^ _595636) ^ [] : [-(shavingrazor_manual(c_theprototypicalshavingrazor_manual))], (376 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_6_388, c_tptptypes_5_387))], (378 ^ _595636) ^ [_606522, _606524] : [tptptypes_6_388(_606524, _606522), -(tptptypes_5_387(_606524, _606522))], (384 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_116738, c_tptpcol_5_114690))], (386 ^ _595636) ^ [_606771] : [tptpcol_6_116738(_606771), -(tptpcol_5_114690(_606771))], (392 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_92268, c_tptpcol_14_92264))], (394 ^ _595636) ^ [_607010] : [tptpcol_15_92268(_607010), -(tptpcol_14_92264(_607010))], (400 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member5_mt), -(borderson(c_georegion_l4_x56_y47, c_georegion_l4_x57_y47))], (406 ^ _595636) ^ [_607315] : [-(tptpofobject(_607315, f_tptpquantityfn_13(n_468))), mtvisible(c_tptp_member235_mt), ridgeline_topographical(_607315)], (416 ^ _595636) ^ [] : [mtvisible(c_tptp_member235_mt), -(relationallinstance(c_tptpofobject, c_ridgeline_topographical, f_tptpquantityfn_13(n_468)))], (422 ^ _595636) ^ [] : [-(genlinverse(c_tptptypes_9_401, c_tptptypes_8_400))], (424 ^ _595636) ^ [_607768, _607770] : [tptptypes_9_401(_607770, _607768), -(tptptypes_8_400(_607768, _607770))], (430 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_18663, c_tptpcol_11_18631))], (432 ^ _595636) ^ [_608017] : [tptpcol_12_18663(_608017), -(tptpcol_11_18631(_608017))], (438 ^ _595636) ^ [] : [-(genls(c_setorcollection, c_mathematicalthing))], (440 ^ _595636) ^ [_608256] : [setorcollection(_608256), -(mathematicalthing(_608256))], (446 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_109173, c_tptpcol_12_109157))], (448 ^ _595636) ^ [_608495] : [tptpcol_13_109173(_608495), -(tptpcol_12_109157(_608495))], (454 ^ _595636) ^ [] : [-(genlmt(c_cyclistsmt, c_calendarsmt))], (456 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_106498, c_tptpcol_4_106497))], (458 ^ _595636) ^ [_608787] : [tptpcol_5_106498(_608787), -(tptpcol_4_106497(_608787))], (464 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_24579, c_tptpcol_4_24578))], (466 ^ _595636) ^ [_609026] : [tptpcol_5_24579(_609026), -(tptpcol_4_24578(_609026))], (472 ^ _595636) ^ [] : [-(transitivebinarypredicate(c_genlpreds))], (474 ^ _595636) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x4_y13))], (480 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65))], (486 ^ _595636) ^ [] : [-(genls(c_tptpcol_1_65536, c_tptpcol_0_0))], (488 ^ _595636) ^ [_609556] : [tptpcol_1_65536(_609556), -(tptpcol_0_0(_609556))], (494 ^ _595636) ^ [] : [-(genlmt(c_cyclistsmt, c_hpkbvocabmt))], (496 ^ _595636) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup), s_terroristthathasbeenamemberofaterroristorganization))], (502 ^ _595636) ^ [] : [-(genlinverse(c_geographicalsubregions, c_inregion))], (504 ^ _595636) ^ [_609981, _609983] : [geographicalsubregions(_609983, _609981), -(inregion(_609981, _609983))], (510 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_118084, c_tptpcol_10_118020))], (512 ^ _595636) ^ [_610230] : [tptpcol_11_118084(_610230), -(tptpcol_10_118020(_610230))], (518 ^ _595636) ^ [] : [-(genls(c_mathematicalorcomputationalthing, c_intangible))], (520 ^ _595636) ^ [_610469] : [mathematicalorcomputationalthing(_610469), -(intangible(_610469))], (526 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3393_mt, c_tptp_spindleheadmt))], (528 ^ _595636) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (530 ^ _595636) ^ [] : [-(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804))], (532 ^ _595636) ^ [] : [-(genlmt(c_generictemporalmt, c_basekb))], (534 ^ _595636) ^ [] : [-(genlmt(c_worldgeographydualistmt, c_worldgeographymt))], (536 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_7_819, c_tptptypes_6_818))], (538 ^ _595636) ^ [_610987, _610989] : [tptptypes_7_819(_610989, _610987), -(tptptypes_6_818(_610989, _610987))], (544 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member1_mt))], (546 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_26919, c_tptpcol_11_26887))], (548 ^ _595636) ^ [_611289] : [tptpcol_12_26919(_611289), -(tptpcol_11_26887(_611289))], (554 ^ _595636) ^ [] : [-(genlinverse(c_tptptypes_8_692, c_tptptypes_7_691))], (556 ^ _595636) ^ [_611542, _611544] : [tptptypes_8_692(_611544, _611542), -(tptptypes_7_691(_611542, _611544))], (562 ^ _595636) ^ [] : [-(genls(c_tptpcol_2_2, c_tptpcol_1_1))], (564 ^ _595636) ^ [_611791] : [tptpcol_2_2(_611791), -(tptpcol_1_1(_611791))], (570 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3515_mt, c_tptp_spindleheadmt))], (572 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_92165, c_tptpcol_8_92164))], (574 ^ _595636) ^ [_612083] : [tptpcol_9_92165(_612083), -(tptpcol_8_92164(_612083))], (580 ^ _595636) ^ [] : [-(genls(c_fixedordercollection, c_collection))], (582 ^ _595636) ^ [_612322] : [fixedordercollection(_612322), -(collection(_612322))], (588 ^ _595636) ^ [] : [-(disjointwith(c_tptpcol_1_1, c_tptpcol_1_65536))], (590 ^ _595636) ^ [_612561] : [tptpcol_1_1(_612561), tptpcol_1_65536(_612561)], (596 ^ _595636) ^ [] : [-(genlmt(c_geographymt, c_basekb))], (598 ^ _595636) ^ [] : [-(genls(c_microtheory, c_aspatialinformationstore))], (600 ^ _595636) ^ [_612852] : [microtheory(_612852), -(aspatialinformationstore(_612852))], (606 ^ _595636) ^ [] : [mtvisible(c_tptp_member237_mt), -(tptptypes_9_401(c_pushingababycarriage, c_tptpcol_16_10258))], (612 ^ _595636) ^ [_613157] : [-(tptp_8_875(_613157, f_relationallexistsfn(_613157, c_tptp_8_875, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent), c_tptpcol_16_31868))), mtvisible(c_tptp_member2610_mt), isa(_613157, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent))], (622 ^ _595636) ^ [] : [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 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_118020, c_tptpcol_9_118019))], (630 ^ _595636) ^ [_613608] : [tptpcol_10_118020(_613608), -(tptpcol_9_118019(_613608))], (636 ^ _595636) ^ [] : [-(genlmt(c_calendarsvocabularymt, c_basekb))], (638 ^ _595636) ^ [] : [mtvisible(c_cyclistsmt), -(runningshorts(c_tptprunningshorts))], (644 ^ _595636) ^ [_613966] : [-(tptp_9_720(_613966, f_relationallexistsfn(_613966, c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))), mtvisible(c_cyclistsmt), executionbyfiringsquad(_613966)], (654 ^ _595636) ^ [] : [mtvisible(c_cyclistsmt), -(relationallexists(c_tptp_9_720, c_executionbyfiringsquad, c_tptpcol_16_29490))], (660 ^ _595636) ^ [] : [-(disjointwith(c_individual, c_setorcollection))], (662 ^ _595636) ^ [_614415] : [individual(_614415), setorcollection(_614415)], (668 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_22055, c_tptpcol_11_22023))], (670 ^ _595636) ^ [_614653] : [tptpcol_12_22055(_614653), -(tptpcol_11_22023(_614653))], (676 ^ _595636) ^ [] : [-(genls(c_applicationcontext, c_microtheory))], (678 ^ _595636) ^ [_614892] : [applicationcontext(_614892), -(microtheory(_614892))], (684 ^ _595636) ^ [] : [-(genlmt(c_tptp_member2089_mt, c_tptp_spindleheadmt))], (686 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_8_400, c_tptptypes_7_396))], (688 ^ _595636) ^ [_615198, _615200] : [tptptypes_8_400(_615200, _615198), -(tptptypes_7_396(_615200, _615198))], (694 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_18631, c_tptpcol_10_18567))], (696 ^ _595636) ^ [_615447] : [tptpcol_11_18631(_615447), -(tptpcol_10_18567(_615447))], (702 ^ _595636) ^ [] : [-(genlmt(c_machinelearningspindleheadmt, c_cycnounlearnermt))], (704 ^ _595636) ^ [] : [mtvisible(c_tptp_member2668_mt), -(tptptypes_9_824(f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible), c_tptpcol_16_8886))], (710 ^ _595636) ^ [] : [-(genls(c_mathematicalthing, c_mathematicalorcomputationalthing))], (712 ^ _595636) ^ [_615858] : [mathematicalthing(_615858), -(mathematicalorcomputationalthing(_615858))], (718 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthedailybulletincompostcardsmar9chtm)), c_translation_14), c_machinelearningspindleheadmt))], (720 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_93775, c_tptpcol_14_93774))], (722 ^ _595636) ^ [_616150] : [tptpcol_15_93775(_616150), -(tptpcol_14_93774(_616150))], (728 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_109059, c_tptpcol_7_108547))], (730 ^ _595636) ^ [_616389] : [tptpcol_8_109059(_616389), -(tptpcol_7_108547(_616389))], (736 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_40429, c_tptpcol_13_40421))], (738 ^ _595636) ^ [_616628] : [tptpcol_14_40429(_616628), -(tptpcol_13_40421(_616628))], (744 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x15_y24, c_georegion_l4_x45_y72))], (750 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_22072, c_tptpcol_13_22071))], (752 ^ _595636) ^ [_616986] : [tptpcol_14_22072(_616986), -(tptpcol_13_22071(_616986))], (758 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_93774, c_tptpcol_13_93766))], (760 ^ _595636) ^ [_617225] : [tptpcol_14_93774(_617225), -(tptpcol_13_93766(_617225))], (766 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_22022, c_tptpcol_9_22021))], (768 ^ _595636) ^ [_617464] : [tptpcol_10_22022(_617464), -(tptpcol_9_22021(_617464))], (774 ^ _595636) ^ [] : [-(genls(c_inanimateobject_nonnatural, c_inanimateobject))], (776 ^ _595636) ^ [_617703] : [inanimateobject_nonnatural(_617703), -(inanimateobject(_617703))], (782 ^ _595636) ^ [] : [-(transitivebinarypredicate(c_inregion))], (784 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member237_mt))], (786 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_72709, c_tptpcol_8_72708))], (788 ^ _595636) ^ [_618048] : [tptpcol_9_72709(_618048), -(tptpcol_8_72708(_618048))], (794 ^ _595636) ^ [] : [-(individual(c_xskijump_thegame))], (796 ^ _595636) ^ [_618287] : [-(tptpofobject(_618287, f_tptpquantityfn_14(n_232))), mtvisible(c_tptp_spindleheadmt), supplies(_618287)], (806 ^ _595636) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(relationallinstance(c_tptpofobject, c_supplies, f_tptpquantityfn_14(n_232)))], (812 ^ _595636) ^ [] : [-(genls(c_firstordercollection, c_fixedordercollection))], (814 ^ _595636) ^ [_618726] : [firstordercollection(_618726), -(fixedordercollection(_618726))], (820 ^ _595636) ^ [] : [-(genlmt(c_universalvocabularymt, c_basekb))], (822 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x45_y9, c_georegion_l4_x45_y10))], (828 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_18664, c_tptpcol_12_18663))], (830 ^ _595636) ^ [_619137] : [tptpcol_13_18664(_619137), -(tptpcol_12_18663(_619137))], (836 ^ _595636) ^ [] : [-(genls(c_artifact, c_inanimateobject_nonnatural))], (838 ^ _595636) ^ [_619376] : [artifact(_619376), -(inanimateobject_nonnatural(_619376))], (844 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_member3_mt, c_tptpgeo_spindleheadmt))], (846 ^ _595636) ^ [] : [-(transitivebinarypredicate(c_genlmt))], (848 ^ _595636) ^ [] : [-(genlmt(c_timehasnoendmt, c_generictemporalmt))], (850 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_113665, c_tptpcol_6_112641))], (852 ^ _595636) ^ [_619774] : [tptpcol_7_113665(_619774), -(tptpcol_6_112641(_619774))], (858 ^ _595636) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptpofobject(f_instancewithrelationtofn(c_airport_physical, c_airporthasiatacode, s_tlh), f_tptpquantityfn_21(n_170)))], (864 ^ _595636) ^ [] : [-(genls(c_geographicalregion, c_partiallytangible))], (866 ^ _595636) ^ [_620132] : [geographicalregion(_620132), -(partiallytangible(_620132))], (872 ^ _595636) ^ [] : [-(genlpreds(c_disjointwith, c_no))], (874 ^ _595636) ^ [_620385, _620387] : [disjointwith(_620387, _620385), -(no(_620387, _620385))], (880 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_24578, c_tptpcol_3_16386))], (882 ^ _595636) ^ [_620634] : [tptpcol_4_24578(_620634), -(tptpcol_3_16386(_620634))], (888 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_69635, c_tptpcol_4_65539))], (890 ^ _595636) ^ [_620873] : [tptpcol_5_69635(_620873), -(tptpcol_4_65539(_620873))], (896 ^ _595636) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (898 ^ _595636) ^ [] : [-(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802))], (900 ^ _595636) ^ [] : [-(arg1isa(c_genls, c_collection))], (902 ^ _595636) ^ [_621232, _621234] : [genls(_621234, _621232), -(collection(_621234))], (908 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_22071, c_tptpcol_12_22055))], (910 ^ _595636) ^ [_621479] : [tptpcol_13_22071(_621479), -(tptpcol_12_22055(_621479))], (916 ^ _595636) ^ [] : [-(genlmt(f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman), c_massmediadatamt))], (918 ^ _595636) ^ [] : [-(genls(c_tptpcol_3_98305, c_tptpcol_2_98304))], (920 ^ _595636) ^ [_621771] : [tptpcol_3_98305(_621771), -(tptpcol_2_98304(_621771))], (926 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_114689, c_tptpcol_3_114688))], (928 ^ _595636) ^ [_622010] : [tptpcol_4_114689(_622010), -(tptpcol_3_114688(_622010))], (934 ^ _595636) ^ [] : [-(genls(c_artsupplies, c_supplies))], (936 ^ _595636) ^ [_622249] : [artsupplies(_622249), -(supplies(_622249))], (942 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_26629, c_tptpcol_7_26628))], (944 ^ _595636) ^ [_622488] : [tptpcol_8_26629(_622488), -(tptpcol_7_26628(_622488))], (950 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_109060, c_tptpcol_8_109059))], (952 ^ _595636) ^ [_622727] : [tptpcol_9_109060(_622727), -(tptpcol_8_109059(_622727))], (958 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3633_mt, c_tptp_spindleheadmt))], (960 ^ _595636) ^ [_622966] : [isa(_622966, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(tptp_8_968(f_relationexistsallfn(_622966, c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), _622966))], (966 ^ _595636) ^ [] : [-(relationexistsall(c_tptp_8_968, c_tptpcol_16_7738, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (968 ^ _595636) ^ [] : [-(physicalorderingpredicate(c_geographicalsubregions))], (970 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988)), c_translation_0_885), c_machinelearningspindleheadmt))], (972 ^ _595636) ^ [] : [-(genlmt(c_tptp_member974_mt, c_tptp_spindleheadmt))], (974 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(geographicalsubregions(c_georegion_l3_x11_y2, c_georegion_l4_x35_y7))], (980 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_109181, c_tptpcol_13_109173))], (982 ^ _595636) ^ [_623550] : [tptpcol_14_109181(_623550), -(tptpcol_13_109173(_623550))], (988 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_30972, c_tptpcol_15_30970))], (990 ^ _595636) ^ [_623789] : [tptpcol_16_30972(_623789), -(tptpcol_15_30970(_623789))], (996 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindleheadmt, c_cyclistsmt))], (998 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_18439, c_tptpcol_8_18438))], (1000 ^ _595636) ^ [_624081] : [tptpcol_9_18439(_624081), -(tptpcol_8_18438(_624081))], (1006 ^ _595636) ^ [] : [-(genlmt(c_keinteractionresourcetestmt, c_testvocabularymt))], (1008 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_118116, c_tptpcol_11_118084))], (1010 ^ _595636) ^ [_624373] : [tptpcol_12_118116(_624373), -(tptpcol_11_118084(_624373))], (1016 ^ _595636) ^ [] : [-(furpelt(c_theprototypicalfurpelt))], (1018 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_26628, c_tptpcol_6_26627))], (1020 ^ _595636) ^ [_624665] : [tptpcol_7_26628(_624665), -(tptpcol_6_26627(_624665))], (1026 ^ _595636) ^ [] : [-(arg1isa(c_most, c_setorcollection))], (1028 ^ _595636) ^ [_624918, _624920] : [most(_624920, _624918), -(setorcollection(_624920))], (1034 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_109185, c_tptpcol_14_109181))], (1036 ^ _595636) ^ [_625165] : [tptpcol_15_109185(_625165), -(tptpcol_14_109181(_625165))], (1042 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_92269, c_tptpcol_15_92268))], (1044 ^ _595636) ^ [_625404] : [tptpcol_16_92269(_625404), -(tptpcol_15_92268(_625404))], (1050 ^ _595636) ^ [] : [-(genlmt(c_cycnounlearnermt, c_cycorpproductsmt))], (1052 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_8_823, c_tptptypes_7_819))], (1054 ^ _595636) ^ [_625710, _625712] : [tptptypes_8_823(_625712, _625710), -(tptptypes_7_819(_625712, _625710))], (1060 ^ _595636) ^ [] : [-(genlmt(c_humansociallifemt, c_basekb))], (1062 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member2_mt))], (1064 ^ _595636) ^ [] : [-(genlmt(c_knowledgefragmentd3mt, c_basekb))], (1066 ^ _595636) ^ [] : [-(genlmt(c_testvocabularymt, c_nooescapearchitecturemt))], (1068 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l2_x5_y8, c_georegion_l3_x15_y24))], (1074 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_26886, c_tptpcol_9_26885))], (1076 ^ _595636) ^ [_626290] : [tptpcol_10_26886(_626290), -(tptpcol_9_26885(_626290))], (1082 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3717_mt, c_tptp_spindleheadmt))], (1084 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_72793, c_tptpcol_14_72792))], (1086 ^ _595636) ^ [_626582] : [tptpcol_15_72793(_626582), -(tptpcol_14_72792(_626582))], (1092 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(inregion(c_geolocation_x14_y39, c_georegion_l4_x14_y39))], (1098 ^ _595636) ^ [] : [-(genls(c_navypersonnel, c_militaryperson))], (1100 ^ _595636) ^ [_626940] : [navypersonnel(_626940), -(militaryperson(_626940))], (1106 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_16387, c_tptpcol_3_16386))], (1108 ^ _595636) ^ [_627179] : [tptpcol_4_16387(_627179), -(tptpcol_3_16386(_627179))], (1114 ^ _595636) ^ [] : [-(genls(c_enduringthing_localized, c_spatialthing_nonsituational))], (1116 ^ _595636) ^ [_627418] : [enduringthing_localized(_627418), -(spatialthing_nonsituational(_627418))], (1122 ^ _595636) ^ [_627604] : [collection(_627604), individual(_627604)], (1128 ^ _595636) ^ [] : [-(disjointwith(c_collection, c_individual))], (1130 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l2_x8_y2, c_georegion_l3_x25_y7))], (1136 ^ _595636) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_1(c_georegion_l1_x2_y0))], (1142 ^ _595636) ^ [] : [-(genls(c_physicalorderingpredicate, c_orderingpredicate))], (1144 ^ _595636) ^ [_628133] : [physicalorderingpredicate(_628133), -(orderingpredicate(_628133))], (1150 ^ _595636) ^ [] : [-(arg2isa(c_disjointwith, c_collection))], (1152 ^ _595636) ^ [_628386, _628388] : [disjointwith(_628388, _628386), -(collection(_628386))], (1158 ^ _595636) ^ [_628622, _628624, _628626, _628628] : [-(isa(f_relationallexistsfn(_628628, _628624, _628626, _628622), _628622)), isa(_628628, _628626), relationallexists(_628624, _628626, _628622)], (1168 ^ _595636) ^ [] : [-(resultisaarg(c_relationallexistsfn, n_4))], (1170 ^ _595636) ^ [] : [-(individual(c_tptptptpcol_16_25985))], (1172 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(geographicalsubregions(c_georegion_l3_x25_y7, c_georegion_l4_x76_y23))], (1178 ^ _595636) ^ [] : [-(genlinverse(c_tptptypes_7_389, c_tptptypes_6_388))], (1180 ^ _595636) ^ [_629231, _629233] : [tptptypes_7_389(_629233, _629231), -(tptptypes_6_388(_629231, _629233))], (1186 ^ _595636) ^ [] : [mtvisible(c_hpkbvocabmt), -(genls(c_state_geopolitical, c_hpkb_subnationalagent))], (1192 ^ _595636) ^ [_629546] : [-(hpkb_subnationalagent(_629546)), mtvisible(c_hpkbvocabmt), state_geopolitical(_629546)], (1202 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_22020, c_tptpcol_7_21508))], (1204 ^ _595636) ^ [_629864] : [tptpcol_8_22020(_629864), -(tptpcol_7_21508(_629864))], (1210 ^ _595636) ^ [] : [-(reflexivebinarypredicate(c_inregion))], (1212 ^ _595636) ^ [_630103] : [-(tptp_9_51(f_relationexistsallfn(_630103, c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), _630103)), mtvisible(c_currentworlddatacollectormt_nonhomocentric), isa(_630103, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma))], (1222 ^ _595636) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(relationexistsall(c_tptp_9_51, c_tptpcol_16_27189, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (1228 ^ _595636) ^ [] : [-(genlmt(c_cyclistsmt, c_keinteractionresourcetestmt))], (1230 ^ _595636) ^ [] : [-(genls(c_tptpcol_3_65538, c_tptpcol_2_65537))], (1232 ^ _595636) ^ [_630607] : [tptpcol_3_65538(_630607), -(tptpcol_2_65537(_630607))], (1238 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_26921, c_tptpcol_13_26920))], (1240 ^ _595636) ^ [_630846] : [tptpcol_14_26921(_630846), -(tptpcol_13_26920(_630846))], (1246 ^ _595636) ^ [] : [-(genlmt(c_tptp_member3993_mt, c_tptp_spindleheadmt))], (1248 ^ _595636) ^ [] : [-(isa(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (1250 ^ _595636) ^ [] : [-(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786))], (1252 ^ _595636) ^ [] : [-(individual(f_citynamedfn(s_agen, c_france)))], (1254 ^ _595636) ^ [] : [-(genls(c_intangibleindividual, c_partiallyintangibleindividual))], (1256 ^ _595636) ^ [_631297] : [intangibleindividual(_631297), -(partiallyintangibleindividual(_631297))], (1262 ^ _595636) ^ [] : [mtvisible(c_worldgeographymt), -(state_geopolitical(c_wanica_districtsuriname))], (1268 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_130924, c_tptpcol_15_130923))], (1270 ^ _595636) ^ [_631655] : [tptpcol_16_130924(_631655), -(tptpcol_15_130923(_631655))], (1276 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_92163, c_tptpcol_6_92162))], (1278 ^ _595636) ^ [_631894] : [tptpcol_7_92163(_631894), -(tptpcol_6_92162(_631894))], (1284 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_spindleheadmt, c_worldgeographymt))], (1286 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_130933, c_tptpcol_15_130931))], (1288 ^ _595636) ^ [_632186] : [tptpcol_16_130933(_632186), -(tptpcol_15_130931(_632186))], (1294 ^ _595636) ^ [] : [-(genlmt(c_massmediadatamt, c_ethnicgroupsmt))], (1296 ^ _595636) ^ [] : [-(genlpreds(c_no, c_few))], (1298 ^ _595636) ^ [_632492, _632494] : [no(_632494, _632492), -(few(_632494, _632492))], (1304 ^ _595636) ^ [] : [-(genlmt(c_cycorpproductsmt, c_basekb))], (1306 ^ _595636) ^ [] : [-(genlmt(c_reasoningaboutpossibleantecedentsmt, c_humansociallifemt))], (1308 ^ _595636) ^ [] : [-(genlmt(c_worldgeographymt, c_geographymt))], (1310 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_20484, c_tptpcol_5_20483))], (1312 ^ _595636) ^ [_632900] : [tptpcol_6_20484(_632900), -(tptpcol_5_20483(_632900))], (1318 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member3_mt), -(geographicalsubregions(c_georegion_l3_x4_y13, c_georegion_l4_x14_y39))], (1324 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_memberstripodcomindygalfordtriviahtm)), c_translation_32), c_machinelearningspindleheadmt))], (1326 ^ _595636) ^ [] : [-(genlmt(c_worldcompletedualistgeographymt, c_unitedstatesgeographydualistmt))], (1328 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_108547, c_tptpcol_6_108546))], (1330 ^ _595636) ^ [_633364] : [tptpcol_7_108547(_633364), -(tptpcol_6_108546(_633364))], (1336 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_109125, c_tptpcol_10_109061))], (1338 ^ _595636) ^ [_633603] : [tptpcol_11_109125(_633603), -(tptpcol_10_109061(_633603))], (1344 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2701_mt))], (1346 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_93698, c_tptpcol_7_93186))], (1348 ^ _595636) ^ [_633895] : [tptpcol_8_93698(_633895), -(tptpcol_7_93186(_633895))], (1354 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpoweripodsearchinfobrown_ipodhtml)), c_translation_7), c_machinelearningspindleheadmt))], (1356 ^ _595636) ^ [] : [-(genls(c_tptpcol_2_65537, c_tptpcol_1_65536))], (1358 ^ _595636) ^ [_634187] : [tptpcol_2_65537(_634187), -(tptpcol_1_65536(_634187))], (1364 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member2668_mt))], (1366 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_18436, c_tptpcol_5_16388))], (1368 ^ _595636) ^ [_634479] : [tptpcol_6_18436(_634479), -(tptpcol_5_16388(_634479))], (1374 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_18438, c_tptpcol_7_18437))], (1376 ^ _595636) ^ [_634718] : [tptpcol_8_18438(_634718), -(tptpcol_7_18437(_634718))], (1382 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member2_mt), -(inregion(c_geolocation_x76_y23, c_georegion_l4_x76_y23))], (1388 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_117763, c_tptpcol_7_117762))], (1390 ^ _595636) ^ [_635076] : [tptpcol_8_117763(_635076), -(tptpcol_7_117762(_635076))], (1396 ^ _595636) ^ [] : [-(genlmt(c_corecyclmt, c_logicaltruthmt))], (1398 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_109157, c_tptpcol_11_109125))], (1400 ^ _595636) ^ [_635368] : [tptpcol_12_109157(_635368), -(tptpcol_11_109125(_635368))], (1406 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_117762, c_tptpcol_6_116738))], (1408 ^ _595636) ^ [_635607] : [tptpcol_7_117762(_635607), -(tptpcol_6_116738(_635607))], (1414 ^ _595636) ^ [_635821, _635823, _635825] : [isa(_635825, _635823), isa(_635825, _635821), disjointwith(_635823, _635821)], (1424 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member3993_mt))], (1426 ^ _595636) ^ [] : [-(genls(c_aspatialinformationstore, c_aspatialthing))], (1428 ^ _595636) ^ [_636221] : [aspatialinformationstore(_636221), -(aspatialthing(_636221))], (1434 ^ _595636) ^ [] : [-(genlmt(c_ethnicgroupsvocabularymt, c_worldcompletedualistgeographymt))], (1436 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwarthritis_symptomcoma_cbursitishtm)), c_translation_0_885), c_machinelearningspindleheadmt))], (1438 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member8_mt))], (1440 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_93699, c_tptpcol_8_93698))], (1442 ^ _595636) ^ [_636619] : [tptpcol_9_93699(_636619), -(tptpcol_8_93698(_636619))], (1448 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_93764, c_tptpcol_10_93700))], (1450 ^ _595636) ^ [_636858] : [tptpcol_11_93764(_636858), -(tptpcol_10_93700(_636858))], (1456 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_26627, c_tptpcol_5_24579))], (1458 ^ _595636) ^ [_637097] : [tptpcol_6_26627(_637097), -(tptpcol_5_24579(_637097))], (1464 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_90113, c_tptpcol_3_81921))], (1466 ^ _595636) ^ [_637336] : [tptpcol_4_90113(_637336), -(tptpcol_3_81921(_637336))], (1472 ^ _595636) ^ [] : [-(genlmt(c_calendarsmt, c_calendarsvocabularymt))], (1474 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_93700, c_tptpcol_9_93699))], (1476 ^ _595636) ^ [_637628] : [tptpcol_10_93700(_637628), -(tptpcol_9_93699(_637628))], (1482 ^ _595636) ^ [] : [-(genls(c_aspatialinformationstore, c_intangibleindividual))], (1484 ^ _595636) ^ [_637867] : [aspatialinformationstore(_637867), -(intangibleindividual(_637867))], (1490 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member4_mt), -(borderson(c_georegion_l4_x36_y50, c_georegion_l4_x37_y50))], (1496 ^ _595636) ^ [] : [-(genlmt(c_unitedstatesgeographypeoplemt, c_peopledatamt))], (1498 ^ _595636) ^ [] : [-(genls(c_tptpcol_3_16386, c_tptpcol_2_2))], (1500 ^ _595636) ^ [_638278] : [tptpcol_3_16386(_638278), -(tptpcol_2_2(_638278))], (1506 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_118019, c_tptpcol_8_117763))], (1508 ^ _595636) ^ [_638517] : [tptpcol_9_118019(_638517), -(tptpcol_8_117763(_638517))], (1514 ^ _595636) ^ [] : [-(genls(c_individual, c_trajector_underspecified))], (1516 ^ _595636) ^ [_638756] : [individual(_638756), -(trajector_underspecified(_638756))], (1522 ^ _595636) ^ [_638942] : [shavingrazor_manual(_638942), -(tptp_8_271(f_relationexistsallfn(_638942, c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual), _638942))], (1528 ^ _595636) ^ [] : [-(relationexistsall(c_tptp_8_271, c_tptpcol_16_25972, c_shavingrazor_manual))], (1530 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_112641, c_tptpcol_5_110593))], (1532 ^ _595636) ^ [_639246] : [tptpcol_6_112641(_639246), -(tptpcol_5_110593(_639246))], (1538 ^ _595636) ^ [] : [-(genls(c_tptpcol_12_72775, c_tptpcol_11_72774))], (1540 ^ _595636) ^ [_639485] : [tptpcol_12_72775(_639485), -(tptpcol_11_72774(_639485))], (1546 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_72707, c_tptpcol_6_71683))], (1548 ^ _595636) ^ [_639724] : [tptpcol_7_72707(_639724), -(tptpcol_6_71683(_639724))], (1554 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_50958, c_tptpcol_15_50957))], (1556 ^ _595636) ^ [_639963] : [tptpcol_16_50958(_639963), -(tptpcol_15_50957(_639963))], (1562 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_114177, c_tptpcol_7_113665))], (1564 ^ _595636) ^ [_640202] : [tptpcol_8_114177(_640202), -(tptpcol_7_113665(_640202))], (1570 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_72795, c_tptpcol_15_72793))], (1572 ^ _595636) ^ [_640441] : [tptpcol_16_72795(_640441), -(tptpcol_15_72793(_640441))], (1578 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_71683, c_tptpcol_5_69635))], (1580 ^ _595636) ^ [_640680] : [tptpcol_6_71683(_640680), -(tptpcol_5_69635(_640680))], (1586 ^ _595636) ^ [] : [-(genlmt(c_tptpgeo_spindlecollectormt, c_tptpgeo_member5_mt))], (1588 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_7_396, c_tptptypes_6_388))], (1590 ^ _595636) ^ [_640986, _640988] : [tptptypes_7_396(_640988, _640986), -(tptptypes_6_388(_640988, _640986))], (1596 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_26885, c_tptpcol_8_26629))], (1598 ^ _595636) ^ [_641235] : [tptpcol_9_26885(_641235), -(tptpcol_8_26629(_641235))], (1604 ^ _595636) ^ [] : [-(genlpreds(c_genls, c_subsetof))], (1606 ^ _595636) ^ [_641488, _641490] : [genls(_641490, _641488), -(subsetof(_641490, _641488))], (1612 ^ _595636) ^ [] : [-(genlmt(c_unitedstatessociallifemt, c_gregoriancalendarmt))], (1614 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_6_818, c_tptptypes_5_802))], (1616 ^ _595636) ^ [_641804, _641806] : [tptptypes_6_818(_641806, _641804), -(tptptypes_5_802(_641806, _641804))], (1622 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_92162, c_tptpcol_5_90114))], (1624 ^ _595636) ^ [_642053] : [tptpcol_6_92162(_642053), -(tptpcol_5_90114(_642053))], (1630 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member235_mt))], (1632 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_92164, c_tptpcol_7_92163))], (1634 ^ _595636) ^ [_642345] : [tptpcol_8_92164(_642345), -(tptpcol_7_92163(_642345))], (1640 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_118117, c_tptpcol_12_118116))], (1642 ^ _595636) ^ [_642584] : [tptpcol_13_118117(_642584), -(tptpcol_12_118116(_642584))], (1648 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_40388, c_tptpcol_10_40324))], (1650 ^ _595636) ^ [_642823] : [tptpcol_11_40388(_642823), -(tptpcol_10_40324(_642823))], (1656 ^ _595636) ^ [] : [-(genlpreds(c_tptptypes_9_824, c_tptptypes_8_823))], (1658 ^ _595636) ^ [_643076, _643078] : [tptptypes_9_824(_643078, _643076), -(tptptypes_8_823(_643078, _643076))], (1664 ^ _595636) ^ [] : [-(individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml))))], (1666 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_26887, c_tptpcol_10_26886))], (1668 ^ _595636) ^ [_643378] : [tptpcol_11_26887(_643378), -(tptpcol_10_26886(_643378))], (1674 ^ _595636) ^ [] : [-(genls(c_tptpcol_16_26926, c_tptpcol_15_26925))], (1676 ^ _595636) ^ [_643617] : [tptpcol_16_26926(_643617), -(tptpcol_15_26925(_643617))], (1682 ^ _595636) ^ [] : [-(genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webnjiteducjohnsontreebiochhtm)), c_translation_21), c_machinelearningspindleheadmt))], (1684 ^ _595636) ^ [] : [-(arg2isa(c_few, c_setorcollection))], (1686 ^ _595636) ^ [_643923, _643925] : [few(_643925, _643923), -(setorcollection(_643923))], (1692 ^ _595636) ^ [] : [-(genls(c_tptpcol_4_65539, c_tptpcol_3_65538))], (1694 ^ _595636) ^ [_644170] : [tptpcol_4_65539(_644170), -(tptpcol_3_65538(_644170))], (1700 ^ _595636) ^ [] : [-(genls(c_tptpcol_8_39940, c_tptpcol_7_39939))], (1702 ^ _595636) ^ [_644409] : [tptpcol_8_39940(_644409), -(tptpcol_7_39939(_644409))], (1708 ^ _595636) ^ [_644595] : [-(tptpofobject(_644595, f_tptpquantityfn_2(n_756))), mtvisible(c_tptp_member2701_mt), runningshorts(_644595)], (1718 ^ _595636) ^ [] : [mtvisible(c_tptp_member2701_mt), -(relationallinstance(c_tptpofobject, c_runningshorts, f_tptpquantityfn_2(n_756)))], (1724 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_22076, c_tptpcol_14_22072))], (1726 ^ _595636) ^ [_645034] : [tptpcol_15_22076(_645034), -(tptpcol_14_22072(_645034))], (1732 ^ _595636) ^ [] : [-(genls(c_tptpcol_0_0, c_individual))], (1734 ^ _595636) ^ [_645273] : [tptpcol_0_0(_645273), -(individual(_645273))], (1740 ^ _595636) ^ [] : [-(genlmt(c_tptp_member2356_mt, c_tptp_spindleheadmt))], (1742 ^ _595636) ^ [] : [-(individual(c_tptptptpcol_16_8398))], (1744 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member698_mt))], (1746 ^ _595636) ^ [] : [-(genls(c_tptpcol_11_72774, c_tptpcol_10_72710))], (1748 ^ _595636) ^ [_645671] : [tptpcol_11_72774(_645671), -(tptpcol_10_72710(_645671))], (1754 ^ _595636) ^ [] : [mtvisible(c_tptp_spindleheadmt), -(tptptypes_7_389(c_pushingwithopenhand, c_tptpcol_16_4451))], (1760 ^ _595636) ^ [] : [mtvisible(c_englishmt), -(prettystring(f_instancewithrelationtofn(c_footballteam, c_affiliatedwith, c_beloitcollege), s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege))], (1766 ^ _595636) ^ [] : [-(genlmt(c_tptp_spindlecollectormt, c_tptp_member1672_mt))], (1768 ^ _595636) ^ [] : [-(genlmt(c_unitedstatesgeographydualistmt, c_worldgeographydualistmt))], (1770 ^ _595636) ^ [] : [-(genlmt(c_basekb, c_universalvocabularymt))], (1772 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_21508, c_tptpcol_6_20484))], (1774 ^ _595636) ^ [_646307] : [tptpcol_7_21508(_646307), -(tptpcol_6_20484(_646307))], (1780 ^ _595636) ^ [] : [-(genls(c_tptpcol_6_108546, c_tptpcol_5_106498))], (1782 ^ _595636) ^ [_646546] : [tptpcol_6_108546(_646546), -(tptpcol_5_106498(_646546))], (1788 ^ _595636) ^ [] : [mtvisible(c_cyclistsmt), -(tptptypes_8_390(c_pushingwithfingers, c_tptpcol_15_4027))], (1794 ^ _595636) ^ [] : [-(genls(c_geolevel_4, c_geographicalregion))], (1796 ^ _595636) ^ [_646904] : [geolevel_4(_646904), -(geographicalregion(_646904))], (1802 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member1_mt), -(borderson(c_georegion_l4_x38_y24, c_georegion_l4_x39_y24))], (1808 ^ _595636) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_4(c_georegion_l4_x75_y75))], (1814 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_26920, c_tptpcol_12_26919))], (1816 ^ _595636) ^ [_647381] : [tptpcol_13_26920(_647381), -(tptpcol_12_26919(_647381))], (1822 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_92264, c_tptpcol_13_92263))], (1824 ^ _595636) ^ [_647620] : [tptpcol_14_92264(_647620), -(tptpcol_13_92263(_647620))], (1830 ^ _595636) ^ [] : [-(genlmt(c_gregoriancalendarmt, c_basekb))], (1832 ^ _595636) ^ [] : [-(genls(c_tptpcol_9_40196, c_tptpcol_8_39940))], (1834 ^ _595636) ^ [_647912] : [tptpcol_9_40196(_647912), -(tptpcol_8_39940(_647912))], (1840 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(geographicalsubregions(c_georegion_l3_x17_y24, c_georegion_l4_x53_y74))], (1846 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_92263, c_tptpcol_12_92262))], (1848 ^ _595636) ^ [_648270] : [tptpcol_13_92263(_648270), -(tptpcol_12_92262(_648270))], (1854 ^ _595636) ^ [] : [-(firstordercollection(c_tptpcol_16_62187))], (1856 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_90114, c_tptpcol_4_90113))], (1858 ^ _595636) ^ [_648562] : [tptpcol_5_90114(_648562), -(tptpcol_4_90113(_648562))], (1864 ^ _595636) ^ [] : [mtvisible(c_worldgeographymt), -(geolevel_3(c_georegion_l3_x17_y24))], (1870 ^ _595636) ^ [] : [-(genlmt(c_tptp_member2862_mt, c_tptp_spindleheadmt))], (1872 ^ _595636) ^ [] : [-(genls(c_tptpcol_15_26925, c_tptpcol_14_26921))], (1874 ^ _595636) ^ [_648973] : [tptpcol_15_26925(_648973), -(tptpcol_14_26921(_648973))], (1880 ^ _595636) ^ [] : [mtvisible(c_currentworlddatacollectormt_nonhomocentric), -(tptptypes_9_693(f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma), c_tptpcol_16_26939))], (1886 ^ _595636) ^ [] : [-(genls(c_tptpcol_7_18437, c_tptpcol_6_18436))], (1888 ^ _595636) ^ [_649331] : [tptpcol_7_18437(_649331), -(tptpcol_6_18436(_649331))], (1894 ^ _595636) ^ [] : [mtvisible(c_tptpgeo_member7_mt), -(borderson(c_georegion_l4_x29_y75, c_georegion_l4_x29_y76))], (1900 ^ _595636) ^ [] : [-(genlmt(c_organizationdatamt, f_contextofpcwfn(c_ap_martha_stewart_omnimedia_names_chairman)))], (1902 ^ _595636) ^ [] : [-(disjointwith(c_tptpcol_3_98305, c_tptpcol_3_114688))], (1904 ^ _595636) ^ [_649742] : [tptpcol_3_98305(_649742), tptpcol_3_114688(_649742)], (1910 ^ _595636) ^ [] : [-(genls(c_tptpcol_5_110593, c_tptpcol_4_106497))], (1912 ^ _595636) ^ [_649980] : [tptpcol_5_110593(_649980), -(tptpcol_4_106497(_649980))], (1918 ^ _595636) ^ [] : [-(genls(c_tptpcol_13_72791, c_tptpcol_12_72775))], (1920 ^ _595636) ^ [_650219] : [tptpcol_13_72791(_650219), -(tptpcol_12_72775(_650219))], (1926 ^ _595636) ^ [] : [-(genls(c_computerdataartifact, c_artifact))], (1928 ^ _595636) ^ [_650458] : [computerdataartifact(_650458), -(artifact(_650458))], (1934 ^ _595636) ^ [_650644] : [-(tptpofobject(_650644, f_tptpquantityfn_6(n_414))), mtvisible(c_tptp_member698_mt), militaryperson(_650644)], (1944 ^ _595636) ^ [] : [mtvisible(c_tptp_member698_mt), -(relationallinstance(c_tptpofobject, c_militaryperson, f_tptpquantityfn_6(n_414)))], (1950 ^ _595636) ^ [] : [-(genls(c_tptpcol_10_92166, c_tptpcol_9_92165))], (1952 ^ _595636) ^ [_651083] : [tptpcol_10_92166(_651083), -(tptpcol_9_92165(_651083))], (1958 ^ _595636) ^ [] : [-(genls(c_tptpcol_14_118118, c_tptpcol_13_118117))], (1960 ^ _595636) ^ [_651322] : [tptpcol_14_118118(_651322), -(tptpcol_13_118117(_651322))], (1966 ^ _595636) ^ [_651508] : [isa(_651508, c_tptpcol_14_118118), -(tptpcol_14_118118(_651508))], (1972 ^ _595636) ^ [_651696] : [tptpcol_14_118118(_651696), -(isa(_651696, c_tptpcol_14_118118))], (1978 ^ _595636) ^ [_651869] : [-(natfunction(f_tptpquantityfn_6(_651869), c_tptpquantityfn_6))], (1980 ^ _595636) ^ [_651949] : [-(natargument(f_tptpquantityfn_6(_651949), n_1, _651949))], (1982 ^ _595636) ^ [_652030] : [-(tptpquantity(f_tptpquantityfn_6(_652030)))], (1984 ^ _595636) ^ [_652124] : [isa(_652124, c_tptpcol_16_26939), -(tptpcol_16_26939(_652124))], (1990 ^ _595636) ^ [_652312] : [tptpcol_16_26939(_652312), -(isa(_652312, c_tptpcol_16_26939))], (1996 ^ _595636) ^ [_652500] : [isa(_652500, c_tptpcol_16_62187), -(tptpcol_16_62187(_652500))], (2002 ^ _595636) ^ [_652688] : [tptpcol_16_62187(_652688), -(isa(_652688, c_tptpcol_16_62187))], (2008 ^ _595636) ^ [_652876] : [isa(_652876, c_tptpcol_13_92263), -(tptpcol_13_92263(_652876))], (2014 ^ _595636) ^ [_653064] : [tptpcol_13_92263(_653064), -(isa(_653064, c_tptpcol_13_92263))], (2020 ^ _595636) ^ [_653252] : [isa(_653252, c_geolevel_4), -(geolevel_4(_653252))], (2026 ^ _595636) ^ [_653440] : [geolevel_4(_653440), -(isa(_653440, c_geolevel_4))], (2032 ^ _595636) ^ [_653628] : [isa(_653628, c_tptpcol_15_4027), -(tptpcol_15_4027(_653628))], (2038 ^ _595636) ^ [_653816] : [tptpcol_15_4027(_653816), -(isa(_653816, c_tptpcol_15_4027))], (2044 ^ _595636) ^ [_654004] : [isa(_654004, c_pushingwithfingers), -(pushingwithfingers(_654004))], (2050 ^ _595636) ^ [_654192] : [pushingwithfingers(_654192), -(isa(_654192, c_pushingwithfingers))], (2056 ^ _595636) ^ [_654394, _654396] : [affiliatedwith(_654396, _654394), -(agent_generic(_654394))], (2062 ^ _595636) ^ [_654602, _654604] : [affiliatedwith(_654604, _654602), -(agent_generic(_654604))], (2068 ^ _595636) ^ [_654810, _654812] : [affiliatedwith(_654812, _654810), -(affiliatedwith(_654810, _654812))], (2074 ^ _595636) ^ [_654990] : [affiliatedwith(_654990, _654990)], (2076 ^ _595636) ^ [_655083] : [isa(_655083, c_footballteam), -(footballteam(_655083))], (2082 ^ _595636) ^ [_655271] : [footballteam(_655271), -(isa(_655271, c_footballteam))], (2088 ^ _595636) ^ [_655459] : [isa(_655459, c_tptpcol_16_4451), -(tptpcol_16_4451(_655459))], (2094 ^ _595636) ^ [_655647] : [tptpcol_16_4451(_655647), -(isa(_655647, c_tptpcol_16_4451))], (2100 ^ _595636) ^ [_655835] : [isa(_655835, c_pushingwithopenhand), -(pushingwithopenhand(_655835))], (2106 ^ _595636) ^ [_656023] : [pushingwithopenhand(_656023), -(isa(_656023, c_pushingwithopenhand))], (2112 ^ _595636) ^ [_656211] : [isa(_656211, c_tptpcol_15_22076), -(tptpcol_15_22076(_656211))], (2118 ^ _595636) ^ [_656399] : [tptpcol_15_22076(_656399), -(isa(_656399, c_tptpcol_15_22076))], (2124 ^ _595636) ^ [_656572] : [-(natfunction(f_tptpquantityfn_2(_656572), c_tptpquantityfn_2))], (2126 ^ _595636) ^ [_656652] : [-(natargument(f_tptpquantityfn_2(_656652), n_1, _656652))], (2128 ^ _595636) ^ [_656733] : [-(tptpquantity(f_tptpquantityfn_2(_656733)))], (2130 ^ _595636) ^ [_656827] : [isa(_656827, c_tptpcol_7_39939), -(tptpcol_7_39939(_656827))], (2136 ^ _595636) ^ [_657015] : [tptpcol_7_39939(_657015), -(isa(_657015, c_tptpcol_7_39939))], (2142 ^ _595636) ^ [_657203] : [isa(_657203, c_tptpcol_8_39940), -(tptpcol_8_39940(_657203))], (2148 ^ _595636) ^ [_657391] : [tptpcol_8_39940(_657391), -(isa(_657391, c_tptpcol_8_39940))], (2154 ^ _595636) ^ [_657579] : [isa(_657579, c_tptpcol_15_26925), -(tptpcol_15_26925(_657579))], (2160 ^ _595636) ^ [_657767] : [tptpcol_15_26925(_657767), -(isa(_657767, c_tptpcol_15_26925))], (2166 ^ _595636) ^ [_657955] : [isa(_657955, c_tptpcol_16_26926), -(tptpcol_16_26926(_657955))], (2172 ^ _595636) ^ [_658143] : [tptpcol_16_26926(_658143), -(isa(_658143, c_tptpcol_16_26926))], (2178 ^ _595636) ^ [_658331] : [isa(_658331, c_tptpcol_13_118117), -(tptpcol_13_118117(_658331))], (2184 ^ _595636) ^ [_658519] : [tptpcol_13_118117(_658519), -(isa(_658519, c_tptpcol_13_118117))], (2190 ^ _595636) ^ [_658707] : [isa(_658707, c_tptpcol_5_90114), -(tptpcol_5_90114(_658707))], (2196 ^ _595636) ^ [_658895] : [tptpcol_5_90114(_658895), -(isa(_658895, c_tptpcol_5_90114))], (2202 ^ _595636) ^ [_659097, _659099] : [tptptypes_5_802(_659099, _659097), -(firstordercollection(_659097))], (2208 ^ _595636) ^ [_659305, _659307] : [tptptypes_5_802(_659307, _659305), -(firstordercollection(_659307))], (2214 ^ _595636) ^ [_659499] : [isa(_659499, c_tptpcol_16_72795), -(tptpcol_16_72795(_659499))], (2220 ^ _595636) ^ [_659687] : [tptpcol_16_72795(_659687), -(isa(_659687, c_tptpcol_16_72795))], (2226 ^ _595636) ^ [_659875] : [isa(_659875, c_tptpcol_8_114177), -(tptpcol_8_114177(_659875))], (2232 ^ _595636) ^ [_660063] : [tptpcol_8_114177(_660063), -(isa(_660063, c_tptpcol_8_114177))], (2238 ^ _595636) ^ [_660251] : [isa(_660251, c_tptpcol_15_50957), -(tptpcol_15_50957(_660251))], (2244 ^ _595636) ^ [_660439] : [tptpcol_15_50957(_660439), -(isa(_660439, c_tptpcol_15_50957))], (2250 ^ _595636) ^ [_660627] : [isa(_660627, c_tptpcol_16_50958), -(tptpcol_16_50958(_660627))], (2256 ^ _595636) ^ [_660815] : [tptpcol_16_50958(_660815), -(isa(_660815, c_tptpcol_16_50958))], (2262 ^ _595636) ^ [_661003] : [isa(_661003, c_tptpcol_6_71683), -(tptpcol_6_71683(_661003))], (2268 ^ _595636) ^ [_661191] : [tptpcol_6_71683(_661191), -(isa(_661191, c_tptpcol_6_71683))], (2274 ^ _595636) ^ [_661379] : [isa(_661379, c_tptpcol_11_72774), -(tptpcol_11_72774(_661379))], (2280 ^ _595636) ^ [_661567] : [tptpcol_11_72774(_661567), -(isa(_661567, c_tptpcol_11_72774))], (2286 ^ _595636) ^ [_661755] : [isa(_661755, c_tptpcol_12_72775), -(tptpcol_12_72775(_661755))], (2292 ^ _595636) ^ [_661943] : [tptpcol_12_72775(_661943), -(isa(_661943, c_tptpcol_12_72775))], (2298 ^ _595636) ^ [_662131] : [isa(_662131, c_tptpcol_5_110593), -(tptpcol_5_110593(_662131))], (2304 ^ _595636) ^ [_662319] : [tptpcol_5_110593(_662319), -(isa(_662319, c_tptpcol_5_110593))], (2310 ^ _595636) ^ [_662507] : [isa(_662507, c_tptpcol_16_25972), -(tptpcol_16_25972(_662507))], (2316 ^ _595636) ^ [_662695] : [tptpcol_16_25972(_662695), -(isa(_662695, c_tptpcol_16_25972))], (2322 ^ _595636) ^ [_662897, _662899] : [tptp_8_271(_662899, _662897), -(razor(_662897))], (2328 ^ _595636) ^ [_663105, _663107] : [tptp_8_271(_663107, _663105), -(tptpcol_5_24579(_663107))], (2334 ^ _595636) ^ [_663299] : [isa(_663299, c_tptpcol_4_90113), -(tptpcol_4_90113(_663299))], (2340 ^ _595636) ^ [_663487] : [tptpcol_4_90113(_663487), -(isa(_663487, c_tptpcol_4_90113))], (2346 ^ _595636) ^ [_663675] : [isa(_663675, c_tptpcol_10_93700), -(tptpcol_10_93700(_663675))], (2352 ^ _595636) ^ [_663863] : [tptpcol_10_93700(_663863), -(isa(_663863, c_tptpcol_10_93700))], (2358 ^ _595636) ^ [_664051] : [isa(_664051, c_tptpcol_9_93699), -(tptpcol_9_93699(_664051))], (2364 ^ _595636) ^ [_664239] : [tptpcol_9_93699(_664239), -(isa(_664239, c_tptpcol_9_93699))], (2370 ^ _595636) ^ [_664427] : [isa(_664427, c_aspatialthing), -(aspatialthing(_664427))], (2376 ^ _595636) ^ [_664615] : [aspatialthing(_664615), -(isa(_664615, c_aspatialthing))], (2382 ^ _595636) ^ [_664803] : [isa(_664803, c_tptpcol_7_117762), -(tptpcol_7_117762(_664803))], (2388 ^ _595636) ^ [_664991] : [tptpcol_7_117762(_664991), -(isa(_664991, c_tptpcol_7_117762))], (2394 ^ _595636) ^ [_665179] : [isa(_665179, c_tptpcol_8_117763), -(tptpcol_8_117763(_665179))], (2400 ^ _595636) ^ [_665367] : [tptpcol_8_117763(_665367), -(isa(_665367, c_tptpcol_8_117763))], (2406 ^ _595636) ^ [_665555] : [isa(_665555, c_tptpcol_7_18437), -(tptpcol_7_18437(_665555))], (2412 ^ _595636) ^ [_665743] : [tptpcol_7_18437(_665743), -(isa(_665743, c_tptpcol_7_18437))], (2418 ^ _595636) ^ [_665931] : [isa(_665931, c_tptpcol_6_18436), -(tptpcol_6_18436(_665931))], (2424 ^ _595636) ^ [_666119] : [tptpcol_6_18436(_666119), -(isa(_666119, c_tptpcol_6_18436))], (2430 ^ _595636) ^ [_666307] : [isa(_666307, c_tptpcol_8_93698), -(tptpcol_8_93698(_666307))], (2436 ^ _595636) ^ [_666495] : [tptpcol_8_93698(_666495), -(isa(_666495, c_tptpcol_8_93698))], (2442 ^ _595636) ^ [_666683] : [isa(_666683, c_tptpcol_11_109125), -(tptpcol_11_109125(_666683))], (2448 ^ _595636) ^ [_666871] : [tptpcol_11_109125(_666871), -(isa(_666871, c_tptpcol_11_109125))], (2454 ^ _595636) ^ [_667059] : [isa(_667059, c_tptpcol_6_108546), -(tptpcol_6_108546(_667059))], (2460 ^ _595636) ^ [_667247] : [tptpcol_6_108546(_667247), -(isa(_667247, c_tptpcol_6_108546))], (2466 ^ _595636) ^ [_667435] : [isa(_667435, c_tptpcol_6_20484), -(tptpcol_6_20484(_667435))], (2472 ^ _595636) ^ [_667623] : [tptpcol_6_20484(_667623), -(isa(_667623, c_tptpcol_6_20484))], (2478 ^ _595636) ^ [_667825, _667827] : [few(_667827, _667825), -(setorcollection(_667825))], (2484 ^ _595636) ^ [_668033, _668035] : [few(_668035, _668033), -(setorcollection(_668033))], (2490 ^ _595636) ^ [_668241, _668243] : [few(_668243, _668241), -(setorcollection(_668243))], (2496 ^ _595636) ^ [_668449, _668451] : [few(_668451, _668449), -(setorcollection(_668451))], (2502 ^ _595636) ^ [_668671, _668673, _668675] : [-(few(_668675, _668671)), few(_668675, _668673), subsetof(_668671, _668673)], (2512 ^ _595636) ^ [_668966] : [isa(_668966, c_tptpcol_15_130931), -(tptpcol_15_130931(_668966))], (2518 ^ _595636) ^ [_669154] : [tptpcol_15_130931(_669154), -(isa(_669154, c_tptpcol_15_130931))], (2524 ^ _595636) ^ [_669342] : [isa(_669342, c_tptpcol_16_130933), -(tptpcol_16_130933(_669342))], (2530 ^ _595636) ^ [_669530] : [tptpcol_16_130933(_669530), -(isa(_669530, c_tptpcol_16_130933))], (2536 ^ _595636) ^ [_669718] : [isa(_669718, c_tptpcol_7_92163), -(tptpcol_7_92163(_669718))], (2542 ^ _595636) ^ [_669906] : [tptpcol_7_92163(_669906), -(isa(_669906, c_tptpcol_7_92163))], (2548 ^ _595636) ^ [_670094] : [isa(_670094, c_tptpcol_15_130923), -(tptpcol_15_130923(_670094))], (2554 ^ _595636) ^ [_670282] : [tptpcol_15_130923(_670282), -(isa(_670282, c_tptpcol_15_130923))], (2560 ^ _595636) ^ [_670470] : [isa(_670470, c_tptpcol_16_130924), -(tptpcol_16_130924(_670470))], (2566 ^ _595636) ^ [_670658] : [tptpcol_16_130924(_670658), -(isa(_670658, c_tptpcol_16_130924))], (2572 ^ _595636) ^ [_670846] : [isa(_670846, c_intangibleindividual), -(intangibleindividual(_670846))], (2578 ^ _595636) ^ [_671034] : [intangibleindividual(_671034), -(isa(_671034, c_intangibleindividual))], (2584 ^ _595636) ^ [_671221, _671223] : [-(natfunction(f_citynamedfn(_671223, _671221), c_citynamedfn))], (2586 ^ _595636) ^ [_671318, _671320] : [-(natargument(f_citynamedfn(_671320, _671318), n_1, _671320))], (2588 ^ _595636) ^ [_671416, _671418] : [-(natargument(f_citynamedfn(_671418, _671416), n_2, _671416))], (2590 ^ _595636) ^ [_671514, _671516] : [-(city(f_citynamedfn(_671516, _671514)))], (2592 ^ _595636) ^ [_671611] : [isa(_671611, c_tptpcol_13_26920), -(tptpcol_13_26920(_671611))], (2598 ^ _595636) ^ [_671799] : [tptpcol_13_26920(_671799), -(isa(_671799, c_tptpcol_13_26920))], (2604 ^ _595636) ^ [_671987] : [isa(_671987, c_tptpcol_14_26921), -(tptpcol_14_26921(_671987))], (2610 ^ _595636) ^ [_672175] : [tptpcol_14_26921(_672175), -(isa(_672175, c_tptpcol_14_26921))], (2616 ^ _595636) ^ [_672363] : [isa(_672363, c_tptpcol_3_65538), -(tptpcol_3_65538(_672363))], (2622 ^ _595636) ^ [_672551] : [tptpcol_3_65538(_672551), -(isa(_672551, c_tptpcol_3_65538))], (2628 ^ _595636) ^ [_672739] : [isa(_672739, c_tptpcol_16_27189), -(tptpcol_16_27189(_672739))], (2634 ^ _595636) ^ [_672927] : [tptpcol_16_27189(_672927), -(isa(_672927, c_tptpcol_16_27189))], (2640 ^ _595636) ^ [_673129, _673131] : [tptp_9_51(_673131, _673129), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_673129))], (2646 ^ _595636) ^ [_673337, _673339] : [tptp_9_51(_673339, _673337), -(tptpcol_7_26628(_673339))], (2652 ^ _595636) ^ [_673531] : [isa(_673531, c_reflexivebinarypredicate), -(reflexivebinarypredicate(_673531))], (2658 ^ _595636) ^ [_673719] : [reflexivebinarypredicate(_673719), -(isa(_673719, c_reflexivebinarypredicate))], (2664 ^ _595636) ^ [_673907] : [isa(_673907, c_tptpcol_7_21508), -(tptpcol_7_21508(_673907))], (2670 ^ _595636) ^ [_674095] : [tptpcol_7_21508(_674095), -(isa(_674095, c_tptpcol_7_21508))], (2676 ^ _595636) ^ [_674283] : [isa(_674283, c_hpkb_subnationalagent), -(hpkb_subnationalagent(_674283))], (2682 ^ _595636) ^ [_674471] : [hpkb_subnationalagent(_674471), -(isa(_674471, c_hpkb_subnationalagent))], (2688 ^ _595636) ^ [_674659] : [isa(_674659, c_state_geopolitical), -(state_geopolitical(_674659))], (2694 ^ _595636) ^ [_674847] : [state_geopolitical(_674847), -(isa(_674847, c_state_geopolitical))], (2700 ^ _595636) ^ [_675062, _675064, _675066, _675068] : [-(natfunction(f_relationallexistsfn(_675068, _675066, _675064, _675062), c_relationallexistsfn))], (2702 ^ _595636) ^ [_675193, _675195, _675197, _675199] : [-(natargument(f_relationallexistsfn(_675199, _675197, _675195, _675193), n_1, _675199))], (2704 ^ _595636) ^ [_675325, _675327, _675329, _675331] : [-(natargument(f_relationallexistsfn(_675331, _675329, _675327, _675325), n_2, _675329))], (2706 ^ _595636) ^ [_675457, _675459, _675461, _675463] : [-(natargument(f_relationallexistsfn(_675463, _675461, _675459, _675457), n_3, _675459))], (2708 ^ _595636) ^ [_675589, _675591, _675593, _675595] : [-(natargument(f_relationallexistsfn(_675595, _675593, _675591, _675589), n_4, _675589))], (2710 ^ _595636) ^ [_675721, _675723, _675725, _675727] : [-(thing(f_relationallexistsfn(_675727, _675725, _675723, _675721)))], (2712 ^ _595636) ^ [_675838, _675840] : [arg2isa(_675840, _675838), -(collection(_675838))], (2718 ^ _595636) ^ [_676046, _676048] : [arg2isa(_676048, _676046), -(relation(_676048))], (2724 ^ _595636) ^ [_676268, _676270, _676272] : [-(arg2isa(_676272, _676268)), arg2isa(_676272, _676270), genls(_676270, _676268)], (2734 ^ _595636) ^ [_676591, _676593, _676595] : [-(arg2isa(_676595, _676591)), arg2isa(_676595, _676593), genls(_676593, _676591)], (2744 ^ _595636) ^ [_676886] : [isa(_676886, c_geolevel_1), -(geolevel_1(_676886))], (2750 ^ _595636) ^ [_677074] : [geolevel_1(_677074), -(isa(_677074, c_geolevel_1))], (2756 ^ _595636) ^ [] : [-(mtvisible(c_logicaltruthmt))], (2758 ^ _595636) ^ [_677315] : [isa(_677315, c_spatialthing_nonsituational), -(spatialthing_nonsituational(_677315))], (2764 ^ _595636) ^ [_677503] : [spatialthing_nonsituational(_677503), -(isa(_677503, c_spatialthing_nonsituational))], (2770 ^ _595636) ^ [_677691] : [isa(_677691, c_militaryperson), -(militaryperson(_677691))], (2776 ^ _595636) ^ [_677879] : [militaryperson(_677879), -(isa(_677879, c_militaryperson))], (2782 ^ _595636) ^ [_678067] : [isa(_678067, c_tptpcol_15_72793), -(tptpcol_15_72793(_678067))], (2788 ^ _595636) ^ [_678255] : [tptpcol_15_72793(_678255), -(isa(_678255, c_tptpcol_15_72793))], (2794 ^ _595636) ^ [_678443] : [isa(_678443, c_tptpcol_9_26885), -(tptpcol_9_26885(_678443))], (2800 ^ _595636) ^ [_678631] : [tptpcol_9_26885(_678631), -(isa(_678631, c_tptpcol_9_26885))], (2806 ^ _595636) ^ [_678819] : [isa(_678819, c_tptpcol_10_26886), -(tptpcol_10_26886(_678819))], (2812 ^ _595636) ^ [_679007] : [tptpcol_10_26886(_679007), -(isa(_679007, c_tptpcol_10_26886))], (2818 ^ _595636) ^ [_679209, _679211] : [tptptypes_8_823(_679211, _679209), -(firstordercollection(_679209))], (2824 ^ _595636) ^ [_679417, _679419] : [tptptypes_8_823(_679419, _679417), -(firstordercollection(_679419))], (2830 ^ _595636) ^ [_679611] : [isa(_679611, c_tptpcol_16_92269), -(tptpcol_16_92269(_679611))], (2836 ^ _595636) ^ [_679799] : [tptpcol_16_92269(_679799), -(isa(_679799, c_tptpcol_16_92269))], (2842 ^ _595636) ^ [_679987] : [isa(_679987, c_tptpcol_15_109185), -(tptpcol_15_109185(_679987))], (2848 ^ _595636) ^ [_680175] : [tptpcol_15_109185(_680175), -(isa(_680175, c_tptpcol_15_109185))], (2854 ^ _595636) ^ [_680363] : [isa(_680363, c_tptpcol_6_26627), -(tptpcol_6_26627(_680363))], (2860 ^ _595636) ^ [_680551] : [tptpcol_6_26627(_680551), -(isa(_680551, c_tptpcol_6_26627))], (2866 ^ _595636) ^ [_680739] : [isa(_680739, c_tptpcol_12_118116), -(tptpcol_12_118116(_680739))], (2872 ^ _595636) ^ [_680927] : [tptpcol_12_118116(_680927), -(isa(_680927, c_tptpcol_12_118116))], (2878 ^ _595636) ^ [_681115] : [isa(_681115, c_tptpcol_8_18438), -(tptpcol_8_18438(_681115))], (2884 ^ _595636) ^ [_681303] : [tptpcol_8_18438(_681303), -(isa(_681303, c_tptpcol_8_18438))], (2890 ^ _595636) ^ [_681491] : [isa(_681491, c_tptpcol_15_30970), -(tptpcol_15_30970(_681491))], (2896 ^ _595636) ^ [_681679] : [tptpcol_15_30970(_681679), -(isa(_681679, c_tptpcol_15_30970))], (2902 ^ _595636) ^ [_681867] : [isa(_681867, c_tptpcol_16_30972), -(tptpcol_16_30972(_681867))], (2908 ^ _595636) ^ [_682055] : [tptpcol_16_30972(_682055), -(isa(_682055, c_tptpcol_16_30972))], (2914 ^ _595636) ^ [_682243] : [isa(_682243, c_tptpcol_14_109181), -(tptpcol_14_109181(_682243))], (2920 ^ _595636) ^ [_682431] : [tptpcol_14_109181(_682431), -(isa(_682431, c_tptpcol_14_109181))], (2926 ^ _595636) ^ [_682619] : [isa(_682619, c_physicalorderingpredicate), -(physicalorderingpredicate(_682619))], (2932 ^ _595636) ^ [_682807] : [physicalorderingpredicate(_682807), -(isa(_682807, c_physicalorderingpredicate))], (2938 ^ _595636) ^ [_682995] : [isa(_682995, c_tptpcol_16_7738), -(tptpcol_16_7738(_682995))], (2944 ^ _595636) ^ [_683183] : [tptpcol_16_7738(_683183), -(isa(_683183, c_tptpcol_16_7738))], (2950 ^ _595636) ^ [_683385, _683387] : [tptp_8_968(_683387, _683385), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_683385))], (2956 ^ _595636) ^ [_683593, _683595] : [tptp_8_968(_683595, _683593), -(tptpcol_7_7172(_683595))], (2962 ^ _595636) ^ [_683815, _683817, _683819] : [relationexistsall(_683819, _683817, _683815), -(collection(_683815))], (2968 ^ _595636) ^ [_684045, _684047, _684049] : [relationexistsall(_684049, _684047, _684045), -(collection(_684047))], (2974 ^ _595636) ^ [_684275, _684277, _684279] : [relationexistsall(_684279, _684277, _684275), -(binarypredicate(_684279))], (2980 ^ _595636) ^ [_684477] : [isa(_684477, c_tptpcol_7_26628), -(tptpcol_7_26628(_684477))], (2986 ^ _595636) ^ [_684665] : [tptpcol_7_26628(_684665), -(isa(_684665, c_tptpcol_7_26628))], (2992 ^ _595636) ^ [_684853] : [isa(_684853, c_tptpcol_8_26629), -(tptpcol_8_26629(_684853))], (2998 ^ _595636) ^ [_685041] : [tptpcol_8_26629(_685041), -(isa(_685041, c_tptpcol_8_26629))], (3004 ^ _595636) ^ [_685229] : [isa(_685229, c_tptpcol_3_114688), -(tptpcol_3_114688(_685229))], (3010 ^ _595636) ^ [_685417] : [tptpcol_3_114688(_685417), -(isa(_685417, c_tptpcol_3_114688))], (3016 ^ _595636) ^ [_685590] : [-(natfunction(f_contextofpcwfn(_685590), c_contextofpcwfn))], (3018 ^ _595636) ^ [_685670] : [-(natargument(f_contextofpcwfn(_685670), n_1, _685670))], (3020 ^ _595636) ^ [_685751] : [-(microtheory(f_contextofpcwfn(_685751)))], (3022 ^ _595636) ^ [_685859, _685861] : [arg1isa(_685861, _685859), -(collection(_685859))], (3028 ^ _595636) ^ [_686067, _686069] : [arg1isa(_686069, _686067), -(relation(_686069))], (3034 ^ _595636) ^ [_686289, _686291, _686293] : [-(arg1isa(_686293, _686289)), arg1isa(_686293, _686291), genls(_686291, _686289)], (3044 ^ _595636) ^ [_686612, _686614, _686616] : [-(arg1isa(_686616, _686612)), arg1isa(_686616, _686614), genls(_686614, _686612)], (3054 ^ _595636) ^ [_686921, _686923] : [objectfoundinlocation(_686923, _686921), -(spatialthing_nonsituational(_686921))], (3060 ^ _595636) ^ [_687129, _687131] : [objectfoundinlocation(_687131, _687129), -(spatialthing_localized(_687129))], (3066 ^ _595636) ^ [_687337, _687339] : [objectfoundinlocation(_687339, _687337), -(spatialthing_nonsituational(_687339))], (3072 ^ _595636) ^ [_687545, _687547] : [objectfoundinlocation(_687547, _687545), -(spatialthing_localized(_687547))], (3078 ^ _595636) ^ [_687767, _687769, _687771] : [-(objectfoundinlocation(_687771, _687767)), objectfoundinlocation(_687771, _687769), objectfoundinlocation(_687769, _687767)], (3088 ^ _595636) ^ [_688046] : [objectfoundinlocation(_688046, _688046)], (3090 ^ _595636) ^ [_688167, _688169, _688171] : [-(objectfoundinlocation(_688171, _688167)), objectfoundinlocation(_688171, _688169), geopoliticalsubdivision(_688167, _688169)], (3100 ^ _595636) ^ [_688490, _688492, _688494] : [-(objectfoundinlocation(_688494, _688490)), objectfoundinlocation(_688494, _688492), geographicallysubsumes(_688490, _688492)], (3110 ^ _595636) ^ [_688813, _688815, _688817] : [-(objectfoundinlocation(_688817, _688813)), objectfoundinlocation(_688817, _688815), subregions(_688813, _688815)], (3120 ^ _595636) ^ [_689108] : [isa(_689108, c_ship), -(ship(_689108))], (3126 ^ _595636) ^ [_689296] : [ship(_689296), -(isa(_689296, c_ship))], (3132 ^ _595636) ^ [_689497, _689499, _689501] : [-(natfunction(f_subcollectionofwithrelationtofn(_689501, _689499, _689497), c_subcollectionofwithrelationtofn))], (3134 ^ _595636) ^ [_689611, _689613, _689615] : [-(natargument(f_subcollectionofwithrelationtofn(_689615, _689613, _689611), n_1, _689615))], (3136 ^ _595636) ^ [_689726, _689728, _689730] : [-(natargument(f_subcollectionofwithrelationtofn(_689730, _689728, _689726), n_2, _689728))], (3138 ^ _595636) ^ [_689841, _689843, _689845] : [-(natargument(f_subcollectionofwithrelationtofn(_689845, _689843, _689841), n_3, _689841))], (3140 ^ _595636) ^ [_689956, _689958, _689960] : [-(collection(f_subcollectionofwithrelationtofn(_689960, _689958, _689956)))], (3142 ^ _595636) ^ [_690056] : [isa(_690056, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)), -(subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_690056))], (3148 ^ _595636) ^ [_690244] : [subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(_690244), -(isa(_690244, f_subcollectionofwithrelationtofn(c_ship, c_objectfoundinlocation, c_cityofbostonma)))], (3154 ^ _595636) ^ [_690432] : [isa(_690432, c_tptpcol_4_65539), -(tptpcol_4_65539(_690432))], (3160 ^ _595636) ^ [_690620] : [tptpcol_4_65539(_690620), -(isa(_690620, c_tptpcol_4_65539))], (3166 ^ _595636) ^ [_690808] : [isa(_690808, c_tptpcol_5_69635), -(tptpcol_5_69635(_690808))], (3172 ^ _595636) ^ [_690996] : [tptpcol_5_69635(_690996), -(isa(_690996, c_tptpcol_5_69635))], (3178 ^ _595636) ^ [_691184] : [isa(_691184, c_tptpcol_3_16386), -(tptpcol_3_16386(_691184))], (3184 ^ _595636) ^ [_691372] : [tptpcol_3_16386(_691372), -(isa(_691372, c_tptpcol_3_16386))], (3190 ^ _595636) ^ [_691574, _691576] : [no(_691576, _691574), -(setorcollection(_691574))], (3196 ^ _595636) ^ [_691782, _691784] : [no(_691784, _691782), -(setorcollection(_691784))], (3202 ^ _595636) ^ [_691990, _691992] : [no(_691992, _691990), -(no(_691990, _691992))], (3208 ^ _595636) ^ [_692214, _692216, _692218] : [-(no(_692218, _692214)), no(_692218, _692216), subsetof(_692214, _692216)], (3218 ^ _595636) ^ [_692537, _692539, _692541] : [-(no(_692537, _692539)), no(_692541, _692539), subsetof(_692537, _692541)], (3228 ^ _595636) ^ [_692860, _692862, _692864] : [-(no(_692860, _692862)), no(_692864, _692862), genls(_692860, _692864)], (3238 ^ _595636) ^ [_693183, _693185, _693187] : [-(no(_693187, _693183)), no(_693187, _693185), genls(_693183, _693185)], (3248 ^ _595636) ^ [_693506, _693508, _693510] : [-(no(_693506, _693508)), no(_693510, _693508), subsetof(_693506, _693510)], (3258 ^ _595636) ^ [_693829, _693831, _693833] : [-(no(_693833, _693829)), no(_693833, _693831), subsetof(_693829, _693831)], (3268 ^ _595636) ^ [_694124] : [isa(_694124, c_geographicalregion), -(geographicalregion(_694124))], (3274 ^ _595636) ^ [_694312] : [geographicalregion(_694312), -(isa(_694312, c_geographicalregion))], (3280 ^ _595636) ^ [_694485] : [-(natfunction(f_tptpquantityfn_21(_694485), c_tptpquantityfn_21))], (3282 ^ _595636) ^ [_694565] : [-(natargument(f_tptpquantityfn_21(_694565), n_1, _694565))], (3284 ^ _595636) ^ [_694646] : [-(tptpquantity(f_tptpquantityfn_21(_694646)))], (3286 ^ _595636) ^ [_694754, _694756] : [airporthasiatacode(_694756, _694754), -(stringoflengthfn3(_694754))], (3292 ^ _595636) ^ [_694962, _694964] : [airporthasiatacode(_694964, _694962), -(airport_physical(_694964))], (3298 ^ _595636) ^ [_695156] : [isa(_695156, c_airport_physical), -(airport_physical(_695156))], (3304 ^ _595636) ^ [_695344] : [airport_physical(_695344), -(isa(_695344, c_airport_physical))], (3310 ^ _595636) ^ [_695545, _695547, _695549] : [-(natfunction(f_instancewithrelationtofn(_695549, _695547, _695545), c_instancewithrelationtofn))], (3312 ^ _595636) ^ [_695659, _695661, _695663] : [-(natargument(f_instancewithrelationtofn(_695663, _695661, _695659), n_1, _695663))], (3314 ^ _595636) ^ [_695774, _695776, _695778] : [-(natargument(f_instancewithrelationtofn(_695778, _695776, _695774), n_2, _695776))], (3316 ^ _595636) ^ [_695889, _695891, _695893] : [-(natargument(f_instancewithrelationtofn(_695893, _695891, _695889), n_3, _695889))], (3318 ^ _595636) ^ [_696004, _696006, _696008] : [-(thing(f_instancewithrelationtofn(_696008, _696006, _696004)))], (3320 ^ _595636) ^ [_696104] : [isa(_696104, c_tptpcol_6_112641), -(tptpcol_6_112641(_696104))], (3326 ^ _595636) ^ [_696292] : [tptpcol_6_112641(_696292), -(isa(_696292, c_tptpcol_6_112641))], (3332 ^ _595636) ^ [_696480] : [isa(_696480, c_tptpcol_7_113665), -(tptpcol_7_113665(_696480))], (3338 ^ _595636) ^ [_696668] : [tptpcol_7_113665(_696668), -(isa(_696668, c_tptpcol_7_113665))], (3344 ^ _595636) ^ [_696856] : [isa(_696856, c_artifact), -(artifact(_696856))], (3350 ^ _595636) ^ [_697044] : [artifact(_697044), -(isa(_697044, c_artifact))], (3356 ^ _595636) ^ [_697232] : [isa(_697232, c_tptpcol_13_18664), -(tptpcol_13_18664(_697232))], (3362 ^ _595636) ^ [_697420] : [tptpcol_13_18664(_697420), -(isa(_697420, c_tptpcol_13_18664))], (3368 ^ _595636) ^ [_697608] : [isa(_697608, c_firstordercollection), -(firstordercollection(_697608))], (3374 ^ _595636) ^ [_697796] : [firstordercollection(_697796), -(isa(_697796, c_firstordercollection))], (3380 ^ _595636) ^ [_697969] : [-(natfunction(f_tptpquantityfn_14(_697969), c_tptpquantityfn_14))], (3382 ^ _595636) ^ [_698049] : [-(natargument(f_tptpquantityfn_14(_698049), n_1, _698049))], (3384 ^ _595636) ^ [_698130] : [-(tptpquantity(f_tptpquantityfn_14(_698130)))], (3386 ^ _595636) ^ [_698224] : [isa(_698224, c_supplies), -(supplies(_698224))], (3392 ^ _595636) ^ [_698412] : [supplies(_698412), -(isa(_698412, c_supplies))], (3398 ^ _595636) ^ [_698600] : [isa(_698600, c_inanimateobject_nonnatural), -(inanimateobject_nonnatural(_698600))], (3404 ^ _595636) ^ [_698788] : [inanimateobject_nonnatural(_698788), -(isa(_698788, c_inanimateobject_nonnatural))], (3410 ^ _595636) ^ [_698976] : [isa(_698976, c_tptpcol_13_22071), -(tptpcol_13_22071(_698976))], (3416 ^ _595636) ^ [_699164] : [tptpcol_13_22071(_699164), -(isa(_699164, c_tptpcol_13_22071))], (3422 ^ _595636) ^ [_699352] : [isa(_699352, c_tptpcol_14_22072), -(tptpcol_14_22072(_699352))], (3428 ^ _595636) ^ [_699540] : [tptpcol_14_22072(_699540), -(isa(_699540, c_tptpcol_14_22072))], (3434 ^ _595636) ^ [_699728] : [isa(_699728, c_tptpcol_7_108547), -(tptpcol_7_108547(_699728))], (3440 ^ _595636) ^ [_699916] : [tptpcol_7_108547(_699916), -(isa(_699916, c_tptpcol_7_108547))], (3446 ^ _595636) ^ [_700104] : [isa(_700104, c_tptpcol_8_109059), -(tptpcol_8_109059(_700104))], (3452 ^ _595636) ^ [_700292] : [tptpcol_8_109059(_700292), -(isa(_700292, c_tptpcol_8_109059))], (3458 ^ _595636) ^ [_700480] : [isa(_700480, c_tptpcol_14_93774), -(tptpcol_14_93774(_700480))], (3464 ^ _595636) ^ [_700668] : [tptpcol_14_93774(_700668), -(isa(_700668, c_tptpcol_14_93774))], (3470 ^ _595636) ^ [_700856] : [isa(_700856, c_tptpcol_15_93775), -(tptpcol_15_93775(_700856))], (3476 ^ _595636) ^ [_701044] : [tptpcol_15_93775(_701044), -(isa(_701044, c_tptpcol_15_93775))], (3482 ^ _595636) ^ [_701232] : [isa(_701232, c_tptpcol_16_8886), -(tptpcol_16_8886(_701232))], (3488 ^ _595636) ^ [_701420] : [tptpcol_16_8886(_701420), -(isa(_701420, c_tptpcol_16_8886))], (3494 ^ _595636) ^ [_701622, _701624] : [orientation(_701624, _701622), -(orientationvector(_701622))], (3500 ^ _595636) ^ [_701830, _701832] : [orientation(_701832, _701830), -(spatialthing_localized(_701832))], (3506 ^ _595636) ^ [_702024] : [isa(_702024, c_orientationvector), -(orientationvector(_702024))], (3512 ^ _595636) ^ [_702212] : [orientationvector(_702212), -(isa(_702212, c_orientationvector))], (3518 ^ _595636) ^ [_702400] : [isa(_702400, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)), -(subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_702400))], (3524 ^ _595636) ^ [_702588] : [subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(_702588), -(isa(_702588, f_subcollectionofwithrelationfromtypefn(c_orientationvector, c_orientation, c_partiallytangible)))], (3530 ^ _595636) ^ [_702790, _702792] : [tptptypes_9_824(_702792, _702790), -(firstordercollection(_702790))], (3536 ^ _595636) ^ [_702998, _703000] : [tptptypes_9_824(_703000, _702998), -(firstordercollection(_703000))], (3542 ^ _595636) ^ [_703206, _703208] : [tptptypes_7_396(_703208, _703206), -(firstordercollection(_703206))], (3548 ^ _595636) ^ [_703414, _703416] : [tptptypes_7_396(_703416, _703414), -(firstordercollection(_703416))], (3554 ^ _595636) ^ [_703608] : [isa(_703608, c_tptpcol_12_22055), -(tptpcol_12_22055(_703608))], (3560 ^ _595636) ^ [_703796] : [tptpcol_12_22055(_703796), -(isa(_703796, c_tptpcol_12_22055))], (3566 ^ _595636) ^ [_703984] : [isa(_703984, c_tptpcol_16_29490), -(tptpcol_16_29490(_703984))], (3572 ^ _595636) ^ [_704172] : [tptpcol_16_29490(_704172), -(isa(_704172, c_tptpcol_16_29490))], (3578 ^ _595636) ^ [_704374, _704376] : [tptp_9_720(_704376, _704374), -(tptpcol_5_28674(_704374))], (3584 ^ _595636) ^ [_704582, _704584] : [tptp_9_720(_704584, _704582), -(executionbyfiringsquad(_704584))], (3590 ^ _595636) ^ [_704776] : [isa(_704776, c_runningshorts), -(runningshorts(_704776))], (3596 ^ _595636) ^ [_704964] : [runningshorts(_704964), -(isa(_704964, c_runningshorts))], (3602 ^ _595636) ^ [_705152] : [isa(_705152, c_tptpcol_9_118019), -(tptpcol_9_118019(_705152))], (3608 ^ _595636) ^ [_705340] : [tptpcol_9_118019(_705340), -(isa(_705340, c_tptpcol_9_118019))], (3614 ^ _595636) ^ [_705528] : [isa(_705528, c_tptpcol_16_31868), -(tptpcol_16_31868(_705528))], (3620 ^ _595636) ^ [_705716] : [tptpcol_16_31868(_705716), -(isa(_705716, c_tptpcol_16_31868))], (3626 ^ _595636) ^ [_705904] : [isa(_705904, c_movement_translationevent), -(movement_translationevent(_705904))], (3632 ^ _595636) ^ [_706092] : [movement_translationevent(_706092), -(isa(_706092, c_movement_translationevent))], (3638 ^ _595636) ^ [_706294, _706296] : [directionoftranslation_throughout(_706296, _706294), -(unitvectorinterval(_706294))], (3644 ^ _595636) ^ [_706502, _706504] : [directionoftranslation_throughout(_706504, _706502), -(movement_translationevent(_706504))], (3650 ^ _595636) ^ [_706724, _706726, _706728] : [-(directionoftranslation_throughout(_706724, _706726)), directionoftranslation_throughout(_706728, _706726), subevents(_706728, _706724)], (3660 ^ _595636) ^ [_707019] : [isa(_707019, c_unitvectorinterval), -(unitvectorinterval(_707019))], (3666 ^ _595636) ^ [_707207] : [unitvectorinterval(_707207), -(isa(_707207, c_unitvectorinterval))], (3672 ^ _595636) ^ [_707395] : [isa(_707395, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_707395))], (3678 ^ _595636) ^ [_707583] : [subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_707583), -(isa(_707583, f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval, c_directionoftranslation_throughout, c_movement_translationevent)))], (3684 ^ _595636) ^ [_707785, _707787] : [tptp_8_875(_707787, _707785), -(tptpcol_4_24578(_707785))], (3690 ^ _595636) ^ [_707993, _707995] : [tptp_8_875(_707995, _707993), -(subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(_707995))], (3696 ^ _595636) ^ [_708215, _708217, _708219] : [relationallexists(_708219, _708217, _708215), -(collection(_708215))], (3702 ^ _595636) ^ [_708445, _708447, _708449] : [relationallexists(_708449, _708447, _708445), -(collection(_708447))], (3708 ^ _595636) ^ [_708675, _708677, _708679] : [relationallexists(_708679, _708677, _708675), -(binarypredicate(_708679))], (3714 ^ _595636) ^ [_708877] : [isa(_708877, c_tptpcol_16_10258), -(tptpcol_16_10258(_708877))], (3720 ^ _595636) ^ [_709065] : [tptpcol_16_10258(_709065), -(isa(_709065, c_tptpcol_16_10258))], (3726 ^ _595636) ^ [_709253] : [isa(_709253, c_pushingababycarriage), -(pushingababycarriage(_709253))], (3732 ^ _595636) ^ [_709441] : [pushingababycarriage(_709441), -(isa(_709441, c_pushingababycarriage))], (3738 ^ _595636) ^ [_709629] : [isa(_709629, c_aspatialinformationstore), -(aspatialinformationstore(_709629))], (3744 ^ _595636) ^ [_709817] : [aspatialinformationstore(_709817), -(isa(_709817, c_aspatialinformationstore))], (3750 ^ _595636) ^ [_710005] : [isa(_710005, c_collection), -(collection(_710005))], (3756 ^ _595636) ^ [_710193] : [collection(_710193), -(isa(_710193, c_collection))], (3762 ^ _595636) ^ [_710381] : [isa(_710381, c_fixedordercollection), -(fixedordercollection(_710381))], (3768 ^ _595636) ^ [_710569] : [fixedordercollection(_710569), -(isa(_710569, c_fixedordercollection))], (3774 ^ _595636) ^ [_710757] : [isa(_710757, c_tptpcol_8_92164), -(tptpcol_8_92164(_710757))], (3780 ^ _595636) ^ [_710945] : [tptpcol_8_92164(_710945), -(isa(_710945, c_tptpcol_8_92164))], (3786 ^ _595636) ^ [_711133] : [isa(_711133, c_tptpcol_9_92165), -(tptpcol_9_92165(_711133))], (3792 ^ _595636) ^ [_711321] : [tptpcol_9_92165(_711321), -(isa(_711321, c_tptpcol_9_92165))], (3798 ^ _595636) ^ [_711509] : [isa(_711509, c_tptpcol_1_1), -(tptpcol_1_1(_711509))], (3804 ^ _595636) ^ [_711697] : [tptpcol_1_1(_711697), -(isa(_711697, c_tptpcol_1_1))], (3810 ^ _595636) ^ [_711885] : [isa(_711885, c_tptpcol_2_2), -(tptpcol_2_2(_711885))], (3816 ^ _595636) ^ [_712073] : [tptpcol_2_2(_712073), -(isa(_712073, c_tptpcol_2_2))], (3822 ^ _595636) ^ [_712275, _712277] : [tptptypes_7_691(_712277, _712275), -(firstordercollection(_712275))], (3828 ^ _595636) ^ [_712483, _712485] : [tptptypes_7_691(_712485, _712483), -(firstordercollection(_712485))], (3834 ^ _595636) ^ [_712677] : [isa(_712677, c_tptpcol_11_26887), -(tptpcol_11_26887(_712677))], (3840 ^ _595636) ^ [_712865] : [tptpcol_11_26887(_712865), -(isa(_712865, c_tptpcol_11_26887))], (3846 ^ _595636) ^ [_713053] : [isa(_713053, c_tptpcol_12_26919), -(tptpcol_12_26919(_713053))], (3852 ^ _595636) ^ [_713241] : [tptpcol_12_26919(_713241), -(isa(_713241, c_tptpcol_12_26919))], (3858 ^ _595636) ^ [_713443, _713445] : [tptptypes_6_818(_713445, _713443), -(firstordercollection(_713443))], (3864 ^ _595636) ^ [_713651, _713653] : [tptptypes_6_818(_713653, _713651), -(firstordercollection(_713653))], (3870 ^ _595636) ^ [_713859, _713861] : [tptptypes_7_819(_713861, _713859), -(firstordercollection(_713859))], (3876 ^ _595636) ^ [_714067, _714069] : [tptptypes_7_819(_714069, _714067), -(firstordercollection(_714069))], (3882 ^ _595636) ^ [_714261] : [isa(_714261, c_correctivelensprescription), -(correctivelensprescription(_714261))], (3888 ^ _595636) ^ [_714449] : [correctivelensprescription(_714449), -(isa(_714449, c_correctivelensprescription))], (3894 ^ _595636) ^ [_714651, _714653] : [products(_714653, _714651), -(artifact(_714651))], (3900 ^ _595636) ^ [_714859, _714861] : [products(_714861, _714859), -(creationordestructionevent(_714861))], (3906 ^ _595636) ^ [_715053] : [isa(_715053, c_issuingaprescription), -(issuingaprescription(_715053))], (3912 ^ _595636) ^ [_715241] : [issuingaprescription(_715241), -(isa(_715241, c_issuingaprescription))], (3918 ^ _595636) ^ [_715442, _715444, _715446] : [-(natfunction(f_subcollectionofwithrelationtotypefn(_715446, _715444, _715442), c_subcollectionofwithrelationtotypefn))], (3920 ^ _595636) ^ [_715556, _715558, _715560] : [-(natargument(f_subcollectionofwithrelationtotypefn(_715560, _715558, _715556), n_1, _715560))], (3922 ^ _595636) ^ [_715671, _715673, _715675] : [-(natargument(f_subcollectionofwithrelationtotypefn(_715675, _715673, _715671), n_2, _715673))], (3924 ^ _595636) ^ [_715786, _715788, _715790] : [-(natargument(f_subcollectionofwithrelationtotypefn(_715790, _715788, _715786), n_3, _715786))], (3926 ^ _595636) ^ [_715901, _715903, _715905] : [-(collection(f_subcollectionofwithrelationtotypefn(_715905, _715903, _715901)))], (3928 ^ _595636) ^ [_716001] : [isa(_716001, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)), -(subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_716001))], (3934 ^ _595636) ^ [_716189] : [subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(_716189), -(isa(_716189, f_subcollectionofwithrelationtotypefn(c_issuingaprescription, c_products, c_correctivelensprescription)))], (3940 ^ _595636) ^ [_716377] : [isa(_716377, c_mathematicalorcomputationalthing), -(mathematicalorcomputationalthing(_716377))], (3946 ^ _595636) ^ [_716565] : [mathematicalorcomputationalthing(_716565), -(isa(_716565, c_mathematicalorcomputationalthing))], (3952 ^ _595636) ^ [_716753] : [isa(_716753, c_tptpcol_10_118020), -(tptpcol_10_118020(_716753))], (3958 ^ _595636) ^ [_716941] : [tptpcol_10_118020(_716941), -(isa(_716941, c_tptpcol_10_118020))], (3964 ^ _595636) ^ [_717129] : [isa(_717129, c_tptpcol_11_118084), -(tptpcol_11_118084(_717129))], (3970 ^ _595636) ^ [_717317] : [tptpcol_11_118084(_717317), -(isa(_717317, c_tptpcol_11_118084))], (3976 ^ _595636) ^ [_717505] : [isa(_717505, c_terroristgroup), -(terroristgroup(_717505))], (3982 ^ _595636) ^ [_717693] : [terroristgroup(_717693), -(isa(_717693, c_terroristgroup))], (3988 ^ _595636) ^ [_717895, _717897] : [hasmembers(_717897, _717895), -(agent_generic(_717895))], (3994 ^ _595636) ^ [_718103, _718105] : [hasmembers(_718105, _718103), -(organization(_718105))], (4000 ^ _595636) ^ [_718297] : [isa(_718297, c_terrorist), -(terrorist(_718297))], (4006 ^ _595636) ^ [_718485] : [terrorist(_718485), -(isa(_718485, c_terrorist))], (4012 ^ _595636) ^ [_718686, _718688, _718690] : [-(natfunction(f_subcollectionofwithrelationfromtypefn(_718690, _718688, _718686), c_subcollectionofwithrelationfromtypefn))], (4014 ^ _595636) ^ [_718800, _718802, _718804] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_718804, _718802, _718800), n_1, _718804))], (4016 ^ _595636) ^ [_718915, _718917, _718919] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_718919, _718917, _718915), n_2, _718917))], (4018 ^ _595636) ^ [_719030, _719032, _719034] : [-(natargument(f_subcollectionofwithrelationfromtypefn(_719034, _719032, _719030), n_3, _719030))], (4020 ^ _595636) ^ [_719145, _719147, _719149] : [-(collection(f_subcollectionofwithrelationfromtypefn(_719149, _719147, _719145)))], (4022 ^ _595636) ^ [_719245] : [isa(_719245, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)), -(subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_719245))], (4028 ^ _595636) ^ [_719433] : [subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(_719433), -(isa(_719433, f_subcollectionofwithrelationfromtypefn(c_terrorist, c_hasmembers, c_terroristgroup)))], (4034 ^ _595636) ^ [_719635, _719637] : [prettystring(_719637, _719635), -(controlcharacterfreestring(_719635))], (4040 ^ _595636) ^ [_719843, _719845] : [prettystring(_719845, _719843), -(thing(_719845))], (4046 ^ _595636) ^ [_720037] : [isa(_720037, c_tptpcol_0_0), -(tptpcol_0_0(_720037))], (4052 ^ _595636) ^ [_720225] : [tptpcol_0_0(_720225), -(isa(_720225, c_tptpcol_0_0))], (4058 ^ _595636) ^ [_720413] : [isa(_720413, c_geolevel_3), -(geolevel_3(_720413))], (4064 ^ _595636) ^ [_720601] : [geolevel_3(_720601), -(isa(_720601, c_geolevel_3))], (4070 ^ _595636) ^ [_720789] : [isa(_720789, c_tptpcol_4_24578), -(tptpcol_4_24578(_720789))], (4076 ^ _595636) ^ [_720977] : [tptpcol_4_24578(_720977), -(isa(_720977, c_tptpcol_4_24578))], (4082 ^ _595636) ^ [_721165] : [isa(_721165, c_tptpcol_5_24579), -(tptpcol_5_24579(_721165))], (4088 ^ _595636) ^ [_721353] : [tptpcol_5_24579(_721353), -(isa(_721353, c_tptpcol_5_24579))], (4094 ^ _595636) ^ [_721541] : [isa(_721541, c_tptpcol_5_106498), -(tptpcol_5_106498(_721541))], (4100 ^ _595636) ^ [_721729] : [tptpcol_5_106498(_721729), -(isa(_721729, c_tptpcol_5_106498))], (4106 ^ _595636) ^ [_721917] : [isa(_721917, c_tptpcol_12_109157), -(tptpcol_12_109157(_721917))], (4112 ^ _595636) ^ [_722105] : [tptpcol_12_109157(_722105), -(isa(_722105, c_tptpcol_12_109157))], (4118 ^ _595636) ^ [_722293] : [isa(_722293, c_tptpcol_13_109173), -(tptpcol_13_109173(_722293))], (4124 ^ _595636) ^ [_722481] : [tptpcol_13_109173(_722481), -(isa(_722481, c_tptpcol_13_109173))], (4130 ^ _595636) ^ [_722669] : [isa(_722669, c_mathematicalthing), -(mathematicalthing(_722669))], (4136 ^ _595636) ^ [_722857] : [mathematicalthing(_722857), -(isa(_722857, c_mathematicalthing))], (4142 ^ _595636) ^ [_723045] : [isa(_723045, c_setorcollection), -(setorcollection(_723045))], (4148 ^ _595636) ^ [_723233] : [setorcollection(_723233), -(isa(_723233, c_setorcollection))], (4154 ^ _595636) ^ [_723421] : [isa(_723421, c_tptpcol_11_18631), -(tptpcol_11_18631(_723421))], (4160 ^ _595636) ^ [_723609] : [tptpcol_11_18631(_723609), -(isa(_723609, c_tptpcol_11_18631))], (4166 ^ _595636) ^ [_723797] : [isa(_723797, c_tptpcol_12_18663), -(tptpcol_12_18663(_723797))], (4172 ^ _595636) ^ [_723985] : [tptpcol_12_18663(_723985), -(isa(_723985, c_tptpcol_12_18663))], (4178 ^ _595636) ^ [_724187, _724189] : [tptptypes_8_400(_724189, _724187), -(firstordercollection(_724187))], (4184 ^ _595636) ^ [_724395, _724397] : [tptptypes_8_400(_724397, _724395), -(firstordercollection(_724397))], (4190 ^ _595636) ^ [_724603, _724605] : [tptptypes_9_401(_724605, _724603), -(firstordercollection(_724603))], (4196 ^ _595636) ^ [_724811, _724813] : [tptptypes_9_401(_724813, _724811), -(firstordercollection(_724813))], (4202 ^ _595636) ^ [_724990] : [-(natfunction(f_tptpquantityfn_13(_724990), c_tptpquantityfn_13))], (4204 ^ _595636) ^ [_725070] : [-(natargument(f_tptpquantityfn_13(_725070), n_1, _725070))], (4206 ^ _595636) ^ [_725151] : [-(tptpquantity(f_tptpquantityfn_13(_725151)))], (4208 ^ _595636) ^ [_725259, _725261] : [borderson(_725261, _725259), -(geographicalregion(_725259))], (4214 ^ _595636) ^ [_725467, _725469] : [borderson(_725469, _725467), -(geographicalregion(_725469))], (4220 ^ _595636) ^ [_725675, _725677] : [borderson(_725677, _725675), -(borderson(_725675, _725677))], (4226 ^ _595636) ^ [_725855] : [borderson(_725855, _725855)], (4228 ^ _595636) ^ [_725948] : [isa(_725948, c_tptpcol_14_92264), -(tptpcol_14_92264(_725948))], (4234 ^ _595636) ^ [_726136] : [tptpcol_14_92264(_726136), -(isa(_726136, c_tptpcol_14_92264))], (4240 ^ _595636) ^ [_726324] : [isa(_726324, c_tptpcol_15_92268), -(tptpcol_15_92268(_726324))], (4246 ^ _595636) ^ [_726512] : [tptpcol_15_92268(_726512), -(isa(_726512, c_tptpcol_15_92268))], (4252 ^ _595636) ^ [_726700] : [isa(_726700, c_tptpcol_6_116738), -(tptpcol_6_116738(_726700))], (4258 ^ _595636) ^ [_726888] : [tptpcol_6_116738(_726888), -(isa(_726888, c_tptpcol_6_116738))], (4264 ^ _595636) ^ [_727090, _727092] : [tptptypes_5_387(_727092, _727090), -(firstordercollection(_727090))], (4270 ^ _595636) ^ [_727298, _727300] : [tptptypes_5_387(_727300, _727298), -(firstordercollection(_727300))], (4276 ^ _595636) ^ [_727506, _727508] : [tptptypes_6_388(_727508, _727506), -(firstordercollection(_727506))], (4282 ^ _595636) ^ [_727714, _727716] : [tptptypes_6_388(_727716, _727714), -(firstordercollection(_727716))], (4288 ^ _595636) ^ [_727908] : [isa(_727908, c_shavingrazor_manual), -(shavingrazor_manual(_727908))], (4294 ^ _595636) ^ [_728096] : [shavingrazor_manual(_728096), -(isa(_728096, c_shavingrazor_manual))], (4300 ^ _595636) ^ [_728284] : [isa(_728284, c_tptpcol_9_109060), -(tptpcol_9_109060(_728284))], (4306 ^ _595636) ^ [_728472] : [tptpcol_9_109060(_728472), -(isa(_728472, c_tptpcol_9_109060))], (4312 ^ _595636) ^ [_728660] : [isa(_728660, c_tptpcol_10_109061), -(tptpcol_10_109061(_728660))], (4318 ^ _595636) ^ [_728848] : [tptpcol_10_109061(_728848), -(isa(_728848, c_tptpcol_10_109061))], (4324 ^ _595636) ^ [_729036] : [isa(_729036, c_executionbyfiringsquad), -(executionbyfiringsquad(_729036))], (4330 ^ _595636) ^ [_729224] : [executionbyfiringsquad(_729224), -(isa(_729224, c_executionbyfiringsquad))], (4336 ^ _595636) ^ [] : [-(mtvisible(c_corecyclmt))], (4338 ^ _595636) ^ [_729465] : [isa(_729465, c_navypersonnel), -(navypersonnel(_729465))], (4344 ^ _595636) ^ [_729653] : [navypersonnel(_729653), -(isa(_729653, c_navypersonnel))], (4350 ^ _595636) ^ [_729841] : [isa(_729841, c_tptpcol_12_92262), -(tptpcol_12_92262(_729841))], (4356 ^ _595636) ^ [_730029] : [tptpcol_12_92262(_730029), -(isa(_730029, c_tptpcol_12_92262))], (4362 ^ _595636) ^ [_730217] : [isa(_730217, c_thing), -(thing(_730217))], (4368 ^ _595636) ^ [_730405] : [thing(_730405), -(isa(_730405, c_thing))], (4374 ^ _595636) ^ [_730593] : [isa(_730593, c_computerdataartifact), -(computerdataartifact(_730593))], (4380 ^ _595636) ^ [_730781] : [computerdataartifact(_730781), -(isa(_730781, c_computerdataartifact))], (4386 ^ _595636) ^ [_730969] : [isa(_730969, c_applicationcontext), -(applicationcontext(_730969))], (4392 ^ _595636) ^ [_731157] : [applicationcontext(_731157), -(isa(_731157, c_applicationcontext))], (4398 ^ _595636) ^ [_731359, _731361] : [inregion(_731361, _731359), -(spatialthing_nonsituational(_731359))], (4404 ^ _595636) ^ [_731567, _731569] : [inregion(_731569, _731567), -(spatialthing_nonsituational(_731569))], (4410 ^ _595636) ^ [_731789, _731791, _731793] : [-(inregion(_731793, _731789)), inregion(_731793, _731791), inregion(_731791, _731789)], (4420 ^ _595636) ^ [_732084] : [spatialthing_nonsituational(_732084), -(inregion(_732084, _732084))], (4426 ^ _595636) ^ [_732257] : [-(natfunction(f_tptpquantityfn_1(_732257), c_tptpquantityfn_1))], (4428 ^ _595636) ^ [_732337] : [-(natargument(f_tptpquantityfn_1(_732337), n_1, _732337))], (4430 ^ _595636) ^ [_732418] : [-(tptpquantity(f_tptpquantityfn_1(_732418)))], (4432 ^ _595636) ^ [_732512] : [isa(_732512, c_furpelt), -(furpelt(_732512))], (4438 ^ _595636) ^ [_732700] : [furpelt(_732700), -(isa(_732700, c_furpelt))], (4444 ^ _595636) ^ [_732902, _732904] : [tptpofobject(_732904, _732902), -(tptpquantity(_732902))], (4450 ^ _595636) ^ [_733110, _733112] : [tptpofobject(_733112, _733110), -(partiallytangible(_733112))], (4456 ^ _595636) ^ [_733332, _733334, _733336] : [relationallinstance(_733336, _733334, _733332), -(thing(_733332))], (4462 ^ _595636) ^ [_733562, _733564, _733566] : [relationallinstance(_733566, _733564, _733562), -(collection(_733564))], (4468 ^ _595636) ^ [_733792, _733794, _733796] : [relationallinstance(_733796, _733794, _733792), -(binarypredicate(_733796))], (4474 ^ _595636) ^ [_733994] : [isa(_733994, c_tptpcol_13_93766), -(tptpcol_13_93766(_733994))], (4480 ^ _595636) ^ [_734182] : [tptpcol_13_93766(_734182), -(isa(_734182, c_tptpcol_13_93766))], (4486 ^ _595636) ^ [_734370] : [isa(_734370, c_tptpcol_9_40196), -(tptpcol_9_40196(_734370))], (4492 ^ _595636) ^ [_734558] : [tptpcol_9_40196(_734558), -(isa(_734558, c_tptpcol_9_40196))], (4498 ^ _595636) ^ [_734746] : [isa(_734746, c_tptpcol_10_40324), -(tptpcol_10_40324(_734746))], (4504 ^ _595636) ^ [_734934] : [tptpcol_10_40324(_734934), -(isa(_734934, c_tptpcol_10_40324))], (4510 ^ _595636) ^ [_735122] : [isa(_735122, c_tptpcol_7_72707), -(tptpcol_7_72707(_735122))], (4516 ^ _595636) ^ [_735310] : [tptpcol_7_72707(_735310), -(isa(_735310, c_tptpcol_7_72707))], (4522 ^ _595636) ^ [_735498] : [isa(_735498, c_tptpcol_8_72708), -(tptpcol_8_72708(_735498))], (4528 ^ _595636) ^ [_735686] : [tptpcol_8_72708(_735686), -(isa(_735686, c_tptpcol_8_72708))], (4534 ^ _595636) ^ [_735874] : [isa(_735874, c_tptpcol_11_93764), -(tptpcol_11_93764(_735874))], (4540 ^ _595636) ^ [_736062] : [tptpcol_11_93764(_736062), -(isa(_736062, c_tptpcol_11_93764))], (4546 ^ _595636) ^ [_736250] : [isa(_736250, c_tptpcol_12_93765), -(tptpcol_12_93765(_736250))], (4552 ^ _595636) ^ [_736438] : [tptpcol_12_93765(_736438), -(isa(_736438, c_tptpcol_12_93765))], (4558 ^ _595636) ^ [_736626] : [isa(_736626, c_tptpcol_4_114689), -(tptpcol_4_114689(_736626))], (4564 ^ _595636) ^ [_736814] : [tptpcol_4_114689(_736814), -(isa(_736814, c_tptpcol_4_114689))], (4570 ^ _595636) ^ [_737002] : [isa(_737002, c_tptpcol_5_114690), -(tptpcol_5_114690(_737002))], (4576 ^ _595636) ^ [_737190] : [tptpcol_5_114690(_737190), -(isa(_737190, c_tptpcol_5_114690))], (4582 ^ _595636) ^ [_737378] : [isa(_737378, c_tptpcol_3_98305), -(tptpcol_3_98305(_737378))], (4588 ^ _595636) ^ [_737566] : [tptpcol_3_98305(_737566), -(isa(_737566, c_tptpcol_3_98305))], (4594 ^ _595636) ^ [_737754] : [isa(_737754, c_tptpcol_4_106497), -(tptpcol_4_106497(_737754))], (4600 ^ _595636) ^ [_737942] : [tptpcol_4_106497(_737942), -(isa(_737942, c_tptpcol_4_106497))], (4606 ^ _595636) ^ [_738157, _738159, _738161, _738163] : [-(natfunction(f_relationexistsallfn(_738163, _738161, _738159, _738157), c_relationexistsallfn))], (4608 ^ _595636) ^ [_738288, _738290, _738292, _738294] : [-(natargument(f_relationexistsallfn(_738294, _738292, _738290, _738288), n_1, _738294))], (4610 ^ _595636) ^ [_738420, _738422, _738424, _738426] : [-(natargument(f_relationexistsallfn(_738426, _738424, _738422, _738420), n_2, _738424))], (4612 ^ _595636) ^ [_738552, _738554, _738556, _738558] : [-(natargument(f_relationexistsallfn(_738558, _738556, _738554, _738552), n_3, _738554))], (4614 ^ _595636) ^ [_738684, _738686, _738688, _738690] : [-(natargument(f_relationexistsallfn(_738690, _738688, _738686, _738684), n_4, _738684))], (4616 ^ _595636) ^ [_738816, _738818, _738820, _738822] : [-(thing(f_relationexistsallfn(_738822, _738820, _738818, _738816)))], (4618 ^ _595636) ^ [_738933, _738935] : [resultisaarg(_738935, _738933), -(positiveinteger(_738933))], (4624 ^ _595636) ^ [_739141, _739143] : [resultisaarg(_739143, _739141), -(function_denotational(_739143))], (4630 ^ _595636) ^ [_739349, _739351] : [tptptypes_7_389(_739351, _739349), -(firstordercollection(_739349))], (4636 ^ _595636) ^ [_739557, _739559] : [tptptypes_7_389(_739559, _739557), -(firstordercollection(_739559))], (4642 ^ _595636) ^ [_739765, _739767] : [tptptypes_8_390(_739767, _739765), -(firstordercollection(_739765))], (4648 ^ _595636) ^ [_739973, _739975] : [tptptypes_8_390(_739975, _739973), -(firstordercollection(_739975))], (4654 ^ _595636) ^ [_740181, _740183] : [tptptypes_8_692(_740183, _740181), -(firstordercollection(_740181))], (4660 ^ _595636) ^ [_740389, _740391] : [tptptypes_8_692(_740391, _740389), -(firstordercollection(_740391))], (4666 ^ _595636) ^ [_740597, _740599] : [tptptypes_9_693(_740599, _740597), -(firstordercollection(_740597))], (4672 ^ _595636) ^ [_740805, _740807] : [tptptypes_9_693(_740807, _740805), -(firstordercollection(_740807))], (4678 ^ _595636) ^ [_740999] : [isa(_740999, c_tptpcol_11_40388), -(tptpcol_11_40388(_740999))], (4684 ^ _595636) ^ [_741187] : [tptpcol_11_40388(_741187), -(isa(_741187, c_tptpcol_11_40388))], (4690 ^ _595636) ^ [_741375] : [isa(_741375, c_marriagelicensedocument), -(marriagelicensedocument(_741375))], (4696 ^ _595636) ^ [_741563] : [marriagelicensedocument(_741563), -(isa(_741563, c_marriagelicensedocument))], (4702 ^ _595636) ^ [_741751] : [isa(_741751, c_tptpcol_1_65536), -(tptpcol_1_65536(_741751))], (4708 ^ _595636) ^ [_741939] : [tptpcol_1_65536(_741939), -(isa(_741939, c_tptpcol_1_65536))], (4714 ^ _595636) ^ [_742127] : [isa(_742127, c_tptpcol_2_98304), -(tptpcol_2_98304(_742127))], (4720 ^ _595636) ^ [_742315] : [tptpcol_2_98304(_742315), -(isa(_742315, c_tptpcol_2_98304))], (4726 ^ _595636) ^ [_742503] : [isa(_742503, c_tptpcol_10_92166), -(tptpcol_10_92166(_742503))], (4732 ^ _595636) ^ [_742691] : [tptpcol_10_92166(_742691), -(isa(_742691, c_tptpcol_10_92166))], (4738 ^ _595636) ^ [_742879] : [isa(_742879, c_tptpcol_11_92230), -(tptpcol_11_92230(_742879))], (4744 ^ _595636) ^ [_743067] : [tptpcol_11_92230(_743067), -(isa(_743067, c_tptpcol_11_92230))], (4750 ^ _595636) ^ [_743255] : [isa(_743255, c_orderingpredicate), -(orderingpredicate(_743255))], (4756 ^ _595636) ^ [_743443] : [orderingpredicate(_743443), -(isa(_743443, c_orderingpredicate))], (4762 ^ _595636) ^ [_743631] : [isa(_743631, c_tptpcol_9_18439), -(tptpcol_9_18439(_743631))], (4768 ^ _595636) ^ [_743819] : [tptpcol_9_18439(_743819), -(isa(_743819, c_tptpcol_9_18439))], (4774 ^ _595636) ^ [_744007] : [isa(_744007, c_tptpcol_10_18567), -(tptpcol_10_18567(_744007))], (4780 ^ _595636) ^ [_744195] : [tptpcol_10_18567(_744195), -(isa(_744195, c_tptpcol_10_18567))], (4786 ^ _595636) ^ [_744383] : [isa(_744383, c_tptpcol_2_65537), -(tptpcol_2_65537(_744383))], (4792 ^ _595636) ^ [_744571] : [tptpcol_2_65537(_744571), -(isa(_744571, c_tptpcol_2_65537))], (4798 ^ _595636) ^ [_744759] : [isa(_744759, c_tptpcol_3_81921), -(tptpcol_3_81921(_744759))], (4804 ^ _595636) ^ [_744947] : [tptpcol_3_81921(_744947), -(isa(_744947, c_tptpcol_3_81921))], (4810 ^ _595636) ^ [_745135] : [isa(_745135, c_artsupplies), -(artsupplies(_745135))], (4816 ^ _595636) ^ [_745323] : [artsupplies(_745323), -(isa(_745323, c_artsupplies))], (4822 ^ _595636) ^ [_745511] : [isa(_745511, c_enduringthing_localized), -(enduringthing_localized(_745511))], (4828 ^ _595636) ^ [_745699] : [enduringthing_localized(_745699), -(isa(_745699, c_enduringthing_localized))], (4834 ^ _595636) ^ [_745887] : [isa(_745887, c_location_underspecified), -(location_underspecified(_745887))], (4840 ^ _595636) ^ [_746075] : [location_underspecified(_746075), -(isa(_746075, c_location_underspecified))], (4846 ^ _595636) ^ [_746263] : [isa(_746263, c_trajector_underspecified), -(trajector_underspecified(_746263))], (4852 ^ _595636) ^ [_746451] : [trajector_underspecified(_746451), -(isa(_746451, c_trajector_underspecified))], (4858 ^ _595636) ^ [_746639] : [isa(_746639, c_individual), -(individual(_746639))], (4864 ^ _595636) ^ [_746827] : [individual(_746827), -(isa(_746827, c_individual))], (4870 ^ _595636) ^ [_747015] : [isa(_747015, c_partiallyintangibleindividual), -(partiallyintangibleindividual(_747015))], (4876 ^ _595636) ^ [_747203] : [partiallyintangibleindividual(_747203), -(isa(_747203, c_partiallyintangibleindividual))], (4882 ^ _595636) ^ [_747391] : [isa(_747391, c_tptpcol_10_22022), -(tptpcol_10_22022(_747391))], (4888 ^ _595636) ^ [_747579] : [tptpcol_10_22022(_747579), -(isa(_747579, c_tptpcol_10_22022))], (4894 ^ _595636) ^ [_747767] : [isa(_747767, c_tptpcol_11_22023), -(tptpcol_11_22023(_747767))], (4900 ^ _595636) ^ [_747955] : [tptpcol_11_22023(_747955), -(isa(_747955, c_tptpcol_11_22023))], (4906 ^ _595636) ^ [_748143] : [isa(_748143, c_tptpcol_5_20483), -(tptpcol_5_20483(_748143))], (4912 ^ _595636) ^ [_748331] : [tptpcol_5_20483(_748331), -(isa(_748331, c_tptpcol_5_20483))], (4918 ^ _595636) ^ [_748519] : [isa(_748519, c_tptpcol_13_72791), -(tptpcol_13_72791(_748519))], (4924 ^ _595636) ^ [_748707] : [tptpcol_13_72791(_748707), -(isa(_748707, c_tptpcol_13_72791))], (4930 ^ _595636) ^ [_748895] : [isa(_748895, c_tptpcol_14_72792), -(tptpcol_14_72792(_748895))], (4936 ^ _595636) ^ [_749083] : [tptpcol_14_72792(_749083), -(isa(_749083, c_tptpcol_14_72792))], (4942 ^ _595636) ^ [_749271] : [isa(_749271, c_ridgeline_topographical), -(ridgeline_topographical(_749271))], (4948 ^ _595636) ^ [_749459] : [ridgeline_topographical(_749459), -(isa(_749459, c_ridgeline_topographical))], (4954 ^ _595636) ^ [_749647] : [isa(_749647, c_tptpcol_4_16387), -(tptpcol_4_16387(_749647))], (4960 ^ _595636) ^ [_749835] : [tptpcol_4_16387(_749835), -(isa(_749835, c_tptpcol_4_16387))], (4966 ^ _595636) ^ [_750023] : [isa(_750023, c_tptpcol_5_16388), -(tptpcol_5_16388(_750023))], (4972 ^ _595636) ^ [_750211] : [tptpcol_5_16388(_750211), -(isa(_750211, c_tptpcol_5_16388))], (4978 ^ _595636) ^ [_750399] : [isa(_750399, c_tptpcol_8_22020), -(tptpcol_8_22020(_750399))], (4984 ^ _595636) ^ [_750587] : [tptpcol_8_22020(_750587), -(isa(_750587, c_tptpcol_8_22020))], (4990 ^ _595636) ^ [_750775] : [isa(_750775, c_tptpcol_9_22021), -(tptpcol_9_22021(_750775))], (4996 ^ _595636) ^ [_750963] : [tptpcol_9_22021(_750963), -(isa(_750963, c_tptpcol_9_22021))], (5002 ^ _595636) ^ [_751151] : [isa(_751151, c_transitivebinarypredicate), -(transitivebinarypredicate(_751151))], (5008 ^ _595636) ^ [_751339] : [transitivebinarypredicate(_751339), -(isa(_751339, c_transitivebinarypredicate))], (5014 ^ _595636) ^ [_751541, _751543] : [geographicalsubregions(_751543, _751541), -(geographicalregion(_751541))], (5020 ^ _595636) ^ [_751749, _751751] : [geographicalsubregions(_751751, _751749), -(geographicalregion(_751751))], (5026 ^ _595636) ^ [_751971, _751973, _751975] : [-(geographicalsubregions(_751975, _751971)), geographicalsubregions(_751975, _751973), geographicalsubregions(_751973, _751971)], (5036 ^ _595636) ^ [_752266] : [geographicalregion(_752266), -(geographicalsubregions(_752266, _752266))], (5042 ^ _595636) ^ [_752454] : [isa(_752454, c_tptpcol_12_40420), -(tptpcol_12_40420(_752454))], (5048 ^ _595636) ^ [_752642] : [tptpcol_12_40420(_752642), -(isa(_752642, c_tptpcol_12_40420))], (5054 ^ _595636) ^ [_752830] : [isa(_752830, c_tptpcol_13_40421), -(tptpcol_13_40421(_752830))], (5060 ^ _595636) ^ [_753018] : [tptpcol_13_40421(_753018), -(isa(_753018, c_tptpcol_13_40421))], (5066 ^ _595636) ^ [_753206] : [isa(_753206, c_tptpcol_6_92162), -(tptpcol_6_92162(_753206))], (5072 ^ _595636) ^ [_753394] : [tptpcol_6_92162(_753394), -(isa(_753394, c_tptpcol_6_92162))], (5078 ^ _595636) ^ [_753582] : [isa(_753582, c_tptpcol_7_93186), -(tptpcol_7_93186(_753582))], (5084 ^ _595636) ^ [_753770] : [tptpcol_7_93186(_753770), -(isa(_753770, c_tptpcol_7_93186))], (5090 ^ _595636) ^ [_753972, _753974] : [most(_753974, _753972), -(setorcollection(_753972))], (5096 ^ _595636) ^ [_754180, _754182] : [most(_754182, _754180), -(setorcollection(_754180))], (5102 ^ _595636) ^ [_754388, _754390] : [most(_754390, _754388), -(setorcollection(_754390))], (5108 ^ _595636) ^ [_754596, _754598] : [most(_754598, _754596), -(setorcollection(_754598))], (5114 ^ _595636) ^ [_754790] : [setorcollection(_754790), -(most(_754790, _754790))], (5120 ^ _595636) ^ [_754978] : [setorcollection(_754978), -(most(_754978, _754978))], (5126 ^ _595636) ^ [_755194, _755196, _755198] : [-(most(_755198, _755194)), most(_755198, _755196), subsetof(_755196, _755194)], (5136 ^ _595636) ^ [_755517, _755519, _755521] : [-(most(_755521, _755517)), most(_755521, _755519), subsetof(_755519, _755517)], (5146 ^ _595636) ^ [_755826, _755828] : [subsetof(_755828, _755826), -(setorcollection(_755826))], (5152 ^ _595636) ^ [_756034, _756036] : [subsetof(_756036, _756034), -(setorcollection(_756036))], (5158 ^ _595636) ^ [_756256, _756258, _756260] : [-(subsetof(_756260, _756256)), subsetof(_756260, _756258), subsetof(_756258, _756256)], (5168 ^ _595636) ^ [_756551] : [setorcollection(_756551), -(subsetof(_756551, _756551))], (5174 ^ _595636) ^ [_756767, _756769, _756771] : [-(subsetof(_756767, _756769)), subsetof(_756771, _756769), subsetof(_756767, _756771)], (5184 ^ _595636) ^ [_757090, _757092, _757094] : [-(subsetof(_757094, _757090)), subsetof(_757094, _757092), subsetof(_757092, _757090)], (5194 ^ _595636) ^ [_757413, _757415, _757417] : [-(subsetof(_757417, _757413)), subsetof(_757417, _757415), subsetof(_757415, _757413)], (5204 ^ _595636) ^ [_757722, _757724] : [genlpreds(_757724, _757722), -(predicate(_757722))], (5210 ^ _595636) ^ [_757930, _757932] : [genlpreds(_757932, _757930), -(predicate(_757930))], (5216 ^ _595636) ^ [_758138, _758140] : [genlpreds(_758140, _758138), -(predicate(_758140))], (5222 ^ _595636) ^ [_758346, _758348] : [genlpreds(_758348, _758346), -(predicate(_758348))], (5228 ^ _595636) ^ [_758568, _758570, _758572] : [-(genlpreds(_758572, _758568)), genlpreds(_758572, _758570), genlpreds(_758570, _758568)], (5238 ^ _595636) ^ [_758863] : [predicate(_758863), -(genlpreds(_758863, _758863))], (5244 ^ _595636) ^ [_759051] : [predicate(_759051), -(genlpreds(_759051, _759051))], (5250 ^ _595636) ^ [_759253, _759255] : [genlinverse(_759255, _759253), -(binarypredicate(_759253))], (5256 ^ _595636) ^ [_759461, _759463] : [genlinverse(_759463, _759461), -(binarypredicate(_759463))], (5262 ^ _595636) ^ [_759683, _759685, _759687] : [-(genlinverse(_759683, _759685)), genlinverse(_759687, _759685), genlpreds(_759683, _759687)], (5272 ^ _595636) ^ [_760006, _760008, _760010] : [-(genlinverse(_760010, _760006)), genlinverse(_760010, _760008), genlpreds(_760008, _760006)], (5282 ^ _595636) ^ [] : [-(mtvisible(c_basekb))], (5284 ^ _595636) ^ [_760354] : [isa(_760354, c_microtheory), -(microtheory(_760354))], (5290 ^ _595636) ^ [_760542] : [microtheory(_760542), -(isa(_760542, c_microtheory))], (5296 ^ _595636) ^ [_760715] : [-(natfunction(f_urlfn(_760715), c_urlfn))], (5298 ^ _595636) ^ [_760795] : [-(natargument(f_urlfn(_760795), n_1, _760795))], (5300 ^ _595636) ^ [_760876] : [-(uniformresourcelocator(f_urlfn(_760876)))], (5302 ^ _595636) ^ [_760955] : [-(natfunction(f_urlreferentfn(_760955), c_urlreferentfn))], (5304 ^ _595636) ^ [_761035] : [-(natargument(f_urlreferentfn(_761035), n_1, _761035))], (5306 ^ _595636) ^ [_761116] : [-(computerdataartifact(f_urlreferentfn(_761116)))], (5308 ^ _595636) ^ [_761209, _761211] : [-(natfunction(f_contentmtofcdafromeventfn(_761211, _761209), c_contentmtofcdafromeventfn))], (5310 ^ _595636) ^ [_761306, _761308] : [-(natargument(f_contentmtofcdafromeventfn(_761308, _761306), n_1, _761308))], (5312 ^ _595636) ^ [_761404, _761406] : [-(natargument(f_contentmtofcdafromeventfn(_761406, _761404), n_2, _761404))], (5314 ^ _595636) ^ [_761502, _761504] : [-(microtheory(f_contentmtofcdafromeventfn(_761504, _761502)))], (5316 ^ _595636) ^ [_761613, _761615] : [isa(_761615, _761613), -(collection(_761613))], (5322 ^ _595636) ^ [_761821, _761823] : [isa(_761823, _761821), -(collection(_761821))], (5328 ^ _595636) ^ [_762029, _762031] : [isa(_762031, _762029), -(thing(_762031))], (5334 ^ _595636) ^ [_762237, _762239] : [isa(_762239, _762237), -(thing(_762239))], (5340 ^ _595636) ^ [_762459, _762461, _762463] : [-(isa(_762463, _762459)), isa(_762463, _762461), genls(_762461, _762459)], (5350 ^ _595636) ^ [_762754] : [isa(_762754, c_inanimateobject), -(inanimateobject(_762754))], (5356 ^ _595636) ^ [_762942] : [inanimateobject(_762942), -(isa(_762942, c_inanimateobject))], (5362 ^ _595636) ^ [_763130] : [isa(_763130, c_tptpcol_9_72709), -(tptpcol_9_72709(_763130))], (5368 ^ _595636) ^ [_763318] : [tptpcol_9_72709(_763318), -(isa(_763318, c_tptpcol_9_72709))], (5374 ^ _595636) ^ [_763506] : [isa(_763506, c_tptpcol_10_72710), -(tptpcol_10_72710(_763506))], (5380 ^ _595636) ^ [_763694] : [tptpcol_10_72710(_763694), -(isa(_763694, c_tptpcol_10_72710))], (5386 ^ _595636) ^ [_763882] : [isa(_763882, c_tptpcol_14_40429), -(tptpcol_14_40429(_763882))], (5392 ^ _595636) ^ [_764070] : [tptpcol_14_40429(_764070), -(isa(_764070, c_tptpcol_14_40429))], (5398 ^ _595636) ^ [_764258] : [isa(_764258, c_tptpcol_15_40430), -(tptpcol_15_40430(_764258))], (5404 ^ _595636) ^ [_764446] : [tptpcol_15_40430(_764446), -(isa(_764446, c_tptpcol_15_40430))], (5410 ^ _595636) ^ [_764648, _764650] : [genls(_764650, _764648), -(collection(_764648))], (5416 ^ _595636) ^ [_764856, _764858] : [genls(_764858, _764856), -(collection(_764856))], (5422 ^ _595636) ^ [_765064, _765066] : [genls(_765066, _765064), -(collection(_765066))], (5428 ^ _595636) ^ [_765272, _765274] : [genls(_765274, _765272), -(collection(_765274))], (5434 ^ _595636) ^ [_765494, _765496, _765498] : [-(genls(_765498, _765494)), genls(_765498, _765496), genls(_765496, _765494)], (5444 ^ _595636) ^ [_765789] : [collection(_765789), -(genls(_765789, _765789))], (5450 ^ _595636) ^ [_765977] : [collection(_765977), -(genls(_765977, _765977))], (5456 ^ _595636) ^ [_766193, _766195, _766197] : [-(genls(_766193, _766195)), genls(_766197, _766195), genls(_766193, _766197)], (5466 ^ _595636) ^ [_766516, _766518, _766520] : [-(genls(_766520, _766516)), genls(_766520, _766518), genls(_766518, _766516)], (5476 ^ _595636) ^ [_766811] : [isa(_766811, c_partiallytangible), -(partiallytangible(_766811))], (5482 ^ _595636) ^ [_766999] : [partiallytangible(_766999), -(isa(_766999, c_partiallytangible))], (5488 ^ _595636) ^ [_767187] : [isa(_767187, c_intangible), -(intangible(_767187))], (5494 ^ _595636) ^ [_767375] : [intangible(_767375), -(isa(_767375, c_intangible))], (5500 ^ _595636) ^ [_767577, _767579] : [disjointwith(_767579, _767577), -(collection(_767577))], (5506 ^ _595636) ^ [_767785, _767787] : [disjointwith(_767787, _767785), -(collection(_767787))], (5512 ^ _595636) ^ [_767993, _767995] : [disjointwith(_767995, _767993), -(disjointwith(_767993, _767995))], (5518 ^ _595636) ^ [_768217, _768219, _768221] : [-(disjointwith(_768221, _768217)), disjointwith(_768221, _768219), genls(_768217, _768219)], (5528 ^ _595636) ^ [_768540, _768542, _768544] : [-(disjointwith(_768540, _768542)), disjointwith(_768544, _768542), genls(_768540, _768544)], (5538 ^ _595636) ^ [_768849, _768851] : [-(mtvisible(_768849)), mtvisible(_768851), genlmt(_768851, _768849)], (5548 ^ _595636) ^ [_769144, _769146] : [genlmt(_769146, _769144), -(microtheory(_769144))], (5554 ^ _595636) ^ [_769352, _769354] : [genlmt(_769354, _769352), -(microtheory(_769352))], (5560 ^ _595636) ^ [_769560, _769562] : [genlmt(_769562, _769560), -(microtheory(_769562))], (5566 ^ _595636) ^ [_769768, _769770] : [genlmt(_769770, _769768), -(microtheory(_769770))], (5572 ^ _595636) ^ [_769990, _769992, _769994] : [-(genlmt(_769994, _769990)), genlmt(_769994, _769992), genlmt(_769992, _769990)], (5582 ^ _595636) ^ [_770285] : [microtheory(_770285), -(genlmt(_770285, _770285))], (5594 ^ _595636) ^ [] : [-(mtvisible(c_universalvocabularymt))], (5588 ^ _595636) ^ [_770473] : [microtheory(_770473), -(genlmt(_770473, _770473))]], input).
% 0.41/1.43  ncf('1',plain,[borderson(c_georegion_l4_x27_y65, c_georegion_l4_x27_y64)],start(5598 ^ 0,bind([[_785200], [c_georegion_l4_x27_y65]]))).
% 0.41/1.43  ncf('1.1',plain,[-(borderson(c_georegion_l4_x27_y65, c_georegion_l4_x27_y64)), borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65)],extension(4220 ^ 1,bind([[_725675, _725677], [c_georegion_l4_x27_y65, c_georegion_l4_x27_y64]]))).
% 0.41/1.43  ncf('1.1.1',plain,[-(borderson(c_georegion_l4_x27_y64, c_georegion_l4_x27_y65)), mtvisible(c_tptpgeo_member7_mt)],extension(480 ^ 2)).
% 0.41/1.43  ncf('1.1.1.1',plain,[-(mtvisible(c_tptpgeo_member7_mt))],extension(5596 ^ 3,bind([[_785163], [_403854]]))).
% 0.41/1.43  %-----------------------------------------------------
% 0.41/1.43  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------