%------------------------------------------------------------------------------ % File : SPASS-SCL---0.1 % Problem : CSR048+3 : TPTP v9.2.1. Released v3.4.0. % Transfm : none % Format : tptp % Command : /export/starexec/sandbox/solver/bin/execute.py 300 /export/starexec/sandbox/benchmark/theBenchmark.p % Computer : n001.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 : Thu May 7 07:19:49 PM UTC 2026 % Result : Theorem 114.46s 23.50s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.13 % Problem : CSR048+3 : TPTP v9.2.1. Released v3.4.0. % 0.00/0.14 % Command : /export/starexec/sandbox/solver/bin/execute.py 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.18/0.35 % Computer : n001.cluster.edu % 0.18/0.35 % Model : x86_64 x86_64 % 0.18/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.18/0.35 % Memory : 8042.1875MB % 0.18/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.18/0.35 % CPULimit : 300 % 0.18/0.35 % WCLimit : 300 % 0.18/0.35 % DateTime : Thu May 7 11:40:33 EDT 2026 % 0.18/0.35 % CPUTime : % 0.18/0.35 SPASS-SCL-FOL version: % 0.20/0.44 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] % 114.46/23.46 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.46 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.46 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.46 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.46 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.46 Execution lmodel_grow ended with status: unsatisfiable % 114.46/23.46 Used heuristic: lmodel_grow % 114.46/23.46 % 114.46/23.46 Input Clauses: % 114.46/23.47 % 114.46/23.47 Predicates: genlmt genls fluidconduit partiallytangible individual arg2isa culturespecificmicrotheory microtheory transitivebinarypredicate mtvisible isa tptpofobject relationallinstance unaryfunction executionbyfiringsquad tptpcol_6_71683 tptpcol_5_69635 genlpreds no few artificialwaterfeature collectionunionfnthesetgravellysoilregionrockysoilregion geographicalregion georegiontogeoregionpredicate antibiotic inanimateobject catholicgift arg1isa genericallyequivalentquantity collection softwareparametervalueobject aspatialinformationstore partofbuilding_abovegroundfloor webgatheredgafmicrotheory geolevel_3 clothingconvention visualmark firstordercollection tptpcol_10_22022 tptpcol_9_22021 tptpcol_14_26928 tptpcol_13_26920 tptpcol_10_26886 tptpcol_9_26885 tptpcol_8_26629 tptpcol_7_26628 tptp_8_968 relationexistsall collectionunionfnthesetworkplacecommercialorganizationbusinessperson thing physicalorderingpredicate spatialpredicate state_geopolitical nonnaturalthing enduringthing_localized spatialthing_localized collectionunionfnthesetcalendarmillisecondcyclsentence intangibleindividual computerdataartifact geographicalsubregions shavingrazor_manual newspaperissue most_genquantrelntotype setorcollection tptpcol_13_109173 tptpcol_12_109157 triggerabledevice storminess tptp_8_875 relationallexists district_india cyclexpression tptpcol_10_18440 tptpcol_9_18439 tptpcol_3_114688 tptpcol_2_98304 conductingmedium situation spatialthing_nonsituational borderson tptpcol_11_26950 geolevel_1 modalityfeature location_underspecified beliefsystem tptpcol_4_65539 tptpcol_3_65538 tptpcol_0_0 genlinverse tptptypes_9_401 tptptypes_8_400 partiallyintangible tptpcol_15_109182 tptpcol_14_109181 tptpcol_12_72806 tptpcol_11_72774 hpkb_subnationalagent offensivelyadvantageousterrain ham artifact pairfnstar disjointwith tptp_7_78 tptpcol_16_130933 tptpcol_15_130931 tptpcol_10_72710 tptpcol_9_72709 spatiallydisjointobjecttype tptpcol_11_18568 tptpcol_10_18567 tptp_8_271 tptpcol_15_26925 tptpcol_14_26921 groupfnmarble_ball indexforagreement economicindexrateslot flatobject orderingpredicate objectpredicate geneticinformationstructure urbanarea inanimateobject_nonnatural limitpriceofstocktypeforagent_sell intelligentagent idobject tptpcol_6_24580 tptpcol_5_24579 tptpcol_7_18437 tptpcol_6_18436 tptpcol_9_93699 tptpcol_8_93698 tptp_8_449 timeindependentcollection informationstore propersubcollectionnamedfn_ternaryrepairshoplocation_underspecified33d76185_f4ed_11d9_9bea_0002b3a85b0b nucleus geopoliticalregion reflexivebinarypredicate carairfreshener publiclytradedproperty propositionalinformationthing formulatemplatemicrotheory taxdocumentmicrotheory silver militaryperson collectionintersection2fnsrilankanpersonmilitaryperson tptpcol_8_22020 tptpcol_7_21508 subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent malehuman soefromfacetarc antisymmetricbinarypredicate supplies manufacturerfnballbearing tptpcol_9_109315 tptpcol_8_109059 applicationcontext loopterminatingtransitivepredicate onedimensionalthing subsetof generalizations furpelt spatialpathsystem regiment_militaryechelon marriagelicensedocument tptpcol_11_72711 tptp_9_51 haveoccupationtypeinindustrytypenuclearindustrysecurityguard prettystring collectionunionfnthesetinformationbearingthingagent_generic partiallyintangibleindividual tptpcol_11_92230 tptpcol_10_92166 tptpcol_13_40421 tptpcol_12_40420 tptp_8_89 tptpcol_9_117764 tptpcol_8_117763 celestialsubregions inregion tptpcol_14_118118 tptpcol_13_118117 water waterbodyconcept subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma resultisaarg tptpcol_3_16386 tptpcol_2_2 tptp_9_720 ruralarea tptpcol_8_114177 tptpcol_7_113665 tptpcol_10_93827 fixedordercollection tptpcol_5_16388 intangibleassetof tptpcol_11_22023 place workaroundsmanagementmicrotheory factorycandidatespatialthingforcomparison intangibleexistingthing tptpcol_12_26919 tptpcol_11_26887 humanlyoccupiedspatialobject tptpcol_9_26630 tptpcol_16_72795 tptpcol_15_72793 tptpcol_10_22149 tptpcol_4_81922 tptpcol_3_81921 opaque endofcordlikeobject uniformresourcelocator collectiondifferencefnspatialthingsituation tptpcol_7_93186 tptpcol_6_92162 tptpcol_12_93765 tptpcol_11_93764 tptpcol_16_50958 tptpcol_15_50957 tptpcol_13_22056 tptpcol_12_22055 armedforcesmedic geographicalagent tptpcol_7_92163 propersubcollectionnamedfn_ternarychristchurchlocation_underspecified33f34df1_f4ed_11d9_9bea_0002b3a85b0b criterialforterraintacticalrole_negative soldier tptptypes_9_824 tptpcol_2_65537 sulfurhexafluoride tptptypes_7_819 tptptypes_6_818 presuppositionvocabterm temporalobjecttype rolls_roycejamesyoungcar historichuman subcollectionofwithrelationtofnenduringthing_localizedinregioncitynamedfntoribiocolombia information_content tptpcol_8_72708 chemicalsubstancefnhydrocarbonmolecule personalproduct tptpcol_5_118785 tptpcol_4_114689 tptpcol_15_109185 tptpcol_10_93700 language_specificmicrotheory formulatemplateinductiontopictypefncountry tptpcol_7_108547 timedependentcollection tptpcol_5_65540 wordnetsynsetimportstatus_readyforverbsemtrans tptpcol_13_93766 tptpcol_12_18663 tptpcol_11_18631 cyanide conceptfilterparametertype tptpcol_1_65536 situation_pla001_1 furniturepiece subcollectionofwithrelationfromtypefnmilitarypersonhasmembersgovernmentmilitaryorganization tptpcol_16_72794 electronicwarfarehelicopter helicopter_ee9cascaval stufffnpie sublfunctionspec tptpcol_12_93796 collectionunionfnthesetdurablegoodserviceeventproduct tptpcol_7_117762 groupfngroupfnadultmalehuman ascii_art dbcontext ridgeline_topographical tptpcol_14_92264 tptpcol_13_92263 geolevel_4 spatiallyboundedthing tptpcol_9_39941 tptpcol_8_39940 spaceregion recipecopyfor tptptypes_6_403 tptptypes_5_387 typically most trajector_underspecified wordnetsynsetimportstatus_determinedindividual copper tptpcol_6_16389 tptpcol_4_16387 tptpcol_12_26888 tptpcol_6_20484 tptpcol_5_20483 medicalscale tptp_5_9 collrelationunique surfaceregion_underspecified specifiedcollection inferenceanswerbindings elinferencebindingset tptpcol_5_114690 humansurname tptptypes_9_693 unitofmoneytypebygeopoliticalentity pathartifactsystem argumentgenl_fundamental_topic mtexpansion_topic tptpcol_12_72775 manufacturedgoodstype tptpcol_6_90115 tptpcol_5_90114 directedpath_generic tptpcol_9_92420 tptpcol_8_92164 collectionunionfnthesetoctopusmalehumanfemalehuman limelight versionedsoftwareobject tptpcol_7_19460 tptptypes_7_389 agent_generic isuzui_markcar tptpcol_6_106499 tptpcol_5_106498 nonelectrolyte ehbtmicrotheory collectionunionfnthesethomosapiensgroupfnhomosapiens mattertypebyphysicalstate tptpcol_7_72707 exanimateobject mobilityfacilitatingterrain tptpcol_6_116738 tptptypes_8_390 publiclyheldcorporation uscityorcounty tptpcol_9_118019 hypotheticalcontext tptp_9_389 razor thirdordercollection cycsubjectclump evaluatingvalueofwithrespecttofncomputernetworkmissionspecificationmicrotheory tptpcol_4_24578 tptpcol_7_20485 tptp_7_57 coextensionalsetorcollections tptptypes_8_692 tptptypes_7_691 geographicalthing tptpcol_8_118274 glfgraphcomponent topologicalspacetype mathematicalthing increasesslotfor collectionunionfnthesettable_documentpartgraph_documentpartabstractvisualstructure collectionunionfnthesettwodimensionalthingonedimensionalthing usedartifact atemporalthing mathematicalobject subcollectionofwithrelationfromtypefnbodyofwatergeographicalsubregionssea kegenlsstrongconsiderationpreds tptpcol_4_106497 runningshorts tptpcol_11_109125 tptpcol_10_109061 collectionunionfnthesetgeographicalregionbodyofwaterprovincelandtopographicalfeaturecountyindependentcountrycityairport_physicalcontinentroadwaycountrysubsidiary cityincountryfnsweden solidtangibleartifact tptpcol_13_93781 subcollectionofwithrelationtofnenduringthing_localizedinregionunitedkingdomofgreatbritainandnorthernireland subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription propersubcollectionnamedfn_ternarytizzylocation_underspecified34096e01_f4ed_11d9_9bea_0002b3a85b0b kerequirementpreds tptptypes_6_388 tptpcol_9_92165 taxonomicslotforpredicates chemicalsubstancefnoxalateion collectionunionfntheseteventtimeinterval placinganindicatoronsomething collectormicrotheory collectiontype tptpcol_16_92269 tptpcol_15_92268 path_spatial objecttype lexicalword relationexplicitlyinvokestypederivatively accessoryfn_activityplayingfnvolleyball tptpcol_16_26926 transportationtypebytransportertype subcollectionofwithrelationfromtypefnindividualproperpartsindividual existingobjecttype name tptpcol_16_30972 tptpcol_15_30970 collectionunionfnthesetmilitaryequipmentgroupfncommunicationdevice extent vocabularydefiningpredicate cordlikeartifact seaport tptpcol_6_108546 tptpcol_1_1 computationalobject encrypted basekbpredicate groupfnsubatomicparticle subcollectionofwithrelationtotypefndangerousthingobjectfoundinlocationunderwaterlocation microtheoryrelatingpredicate intangible format collectionunionfnthesetcollectionpredicate linearobject_tangible cyclanalogtoconceptnetpred collectionunionfnthesetagent_genericcomputeraccount tptpcol_15_22076 tptpcol_14_22072 tptpcol_2_32769 tptpcol_12_40389 tptpcol_11_40388 watersolublestuff tptpcol_16_26927 tptpcol_8_40451 tptpcol_7_39939 communicationconvention meat mobfnboat alchemytestorganization mobilitycorridor concealmentprovidingterrain sksicontentmicrotheory tptp_9_597 tptpcol_13_22071 tptpcol_16_130925 tptpcol_15_130923 propersubcollectionnamedfn_ternarymusicshoplocation_underspecified33f23c85_f4ed_11d9_9bea_0002b3a85b0b wordnetsynsetimportstatus_readyforlexification scriptexecutioncontext buddhistgift propersubcollectionnamedfn_ternaryreducehungerindividual34104bd3_f4ed_11d9_9bea_0002b3a85b0b aspatialthing constructionartifact viablebasisforweapontype tptpcol_6_112641 tptpcol_5_110593 tptpcol_10_118020 typecapablefnlearnedcapableof tptpcol_3_98305 cycinternalanthropacity infantryleader typicallyrelnfrom ruletemplate collectionunionfntheseteventartifact electricshaver oxide artsupplies predicates_fundamental_topic relationalnounslot interconvertibleunittype tptpcol_10_40197 tptpcol_9_40196 infantrysoldier orientedlocation_underspecified somethingexisting late20thcenturyperson militaryofficer strategictarget specifiedsubsetof tptpcol_10_27013 numberoftypewithrelationfrom tptpcol_14_72799 tptpcol_13_72791 compositetangibleandintangibleobject producttypebylicensingfeature singleleveltransitivepredicate covering tptp_9_28 tptpcol_6_26627 mereotopologyconcept rdxexplosive tptpcol_15_72796 tptpcol_14_72792 weakeningevent tptpcol_10_40324 algorithm mathematicalorcomputationalthing collectionunionfnthesetlogicalschemasetoftypefnlogicalschema partiallytangibleproduct candidateinferenceformapping linguisticexpressiontype ecologicalregion conjecturalcontext groupfnbusiness wordnetsynset navypersonnel propersubcollectionnamedfn_ternarylibraryofcongresslocation_underspecified342bc310_f4ed_11d9_9bea_0002b3a85b0b bpvmilitaryunittype horizontaldatum poolwater nearestarg4genl kindlevelpredicate topographicalfeature tptpcol_14_64198 shadow linguisticobject physicalfeaturepredicate propersubcollectionnamedfn_ternaryundertreelocation_underspecified340e28f2_f4ed_11d9_9bea_0002b3a85b0b tkbethnicitylist organicsoilregion monadicmicrotheory agent_underspecified renderingadangerousthingsafe predicatetype propersubcollectionnamedfn_ternaryathotellocation_underspecified33d71362_f4ed_11d9_9bea_0002b3a85b0b sunbeamtigerseriescar accessoryfn_artifactwirelesscommunicationdevice tptpcol_7_109570 firstorderadministrativedivision logicalfield batman_aidedecamp missinginaction opengisconcept architectureindependentcomputerpatchprogram eliteunit_militaryspecialty tacticalterraintypefrompositionforunittype activexcontrol microtheorypredicate tptpcol_15_11774 citygovernment usmilitaryservicepersonnel dynamicinfosource tptpcol_4_98306 penguin_cruisemissile inanimateobject_natural tptpcol_15_93778 tptpcol_14_93774 tptpcol_7_27651 purposeofscripttypeinplan cycorpquerylibraryfoldercollector groupfnminorleaguesportsteam tptptypes_8_89 tptpcol_8_18438 outdoorlocation tptptypes_5_802 internationalorganization conceptnodesfortasktypefnintelligenceanalysistask_allotment collectionunionfnthesetbiologicallivingobjectgroupfnbiologicallivingobject sea contrail candidatekbcompletenessnode securityinformation tptpcol_12_118116 tptpcol_11_118084 computerfile_abstract eventsandscripts_topic tptpcol_11_109062 tptpcol_4_90113 electrichairshaver meaninginsystemfnsensus_information1997set vocabularymicrotheory textualinferenceproblem_pascalformat tptpcol_13_109158 rulemacropredicate collegesportsteam puzzlegameprogram meaninginsystemfnsensus_information1997nondecomposable_object tptpcol_9_109060 region_underspecified terminatingprotectionistpolicies luggagemarketcategory tptpcol_8_21509 subcollectionofaboutfnsuppliesscientificfieldofstudy tptpcol_12_92262 devisedpracticeorwork methyldichloroarsine phaselineboundedarea spatiallyincludes militarypersonnelbunker versionedprogram collectionintersectionfnthesetintelligenceagentmilitarypersonunitedstatesperson reformulatorirrelevantfort underdevelopedregion unversionedprogram list objecttypebystyle arableland ediblecalcium infoconlevelmicrotheory unsuccessfulattempttofnpropersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b enlistedperson trapidle chemicalsubstancefnpropanoateion infantrybrigade smokingdevice tptpcol_13_26935 tptptypes_7_826 haircuttingrazor tptpcol_13_18664 many_genquantrelnto tptpcol_10_92293 provincialpark_canada hlpredicate tastefnfruitfnorangetree tptptypes_7_396 textualinferenceprobleminvolvingpresupposition tptpcol_16_2871 owlexportablerelation nonfictionalcontext bbnrelationtypepredicate landmark_underspecified hydrocarbon propersubcollectionnamedfn_ternarytntanddetonatorsartifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b imscardiovascularid scoringstrategy many_genquantrelntotype tptpcol_12_109126 microtheorydimension propersubcollectionnamedfn_ternaryofficeofbroadcastingcompanylocation_underspecified340687d1_f4ed_11d9_9bea_0002b3a85b0b tptptypes_8_823 nondavidsonianpredfnaccessingacomputeraccountthelistperformedbyaccountaccessedaccountsystemaccessed computeraccount adamite tptpcol_4_73730 sleepingbag tptpcol_6_110594 agent_nongeographical analogymatch conceptfilterparametertype_trigger freeware tptpcol_14_40429 artifact_nonagentive excessivelydrainedregion tptpcol_14_92271 tptpcol_12_118085 electrolyte secondordercollection narrativerole tptpcol_16_92270 blueunit timeinterval definition tptpcol_6_69636 coverfromdirectfire_poor sweetodor inertartifact siblingdisjointwith finitespatialthing threedimensionalthing tptpcol_13_40436 molecularconfiguration abstractthing discoursetrackingpeg collectionunionfnthesetdeformablefluidtangiblething waitinglist livinglanguage collectionunionfnthesetspatialthingvectorinterval propersubcollectionnamedfn_ternaryshallowwaterslocation_underspecified33f28aa0_f4ed_11d9_9bea_0002b3a85b0b eonodedefined equivalencerelation agents_topic luxuryitem hauntedthing informationbearingthing problemsolvingcntxt subcollectionofusedfortypefnsuppliescomputerprinter_laser vasoconstrictor intermediatevocabterm tptpcol_13_92278 tptp_9_395 leftobject tptpcol_10_109188 propersubcollectionnamedfn_ternaryrichguyspocketlocation_underspecified341b4856_f4ed_11d9_9bea_0002b3a85b0b mournsover dyingofblo tptp_9_608 vocabularyforstatingrelationshipsbetweenmicrotheories_mtexpansion_topic subcollectionofwithrelationfromtypefnenduringthing_localizedfromlocationtranslocation physicalpartofobject languagearea gaseoustangiblething setorcollectionunion2 provisions tptpcol_11_118021 basics_fundamental_topic proximityandlocation_spatial_topic communicationwithservicespecification bypassroute muzzleforanimal stop tptpcol_6_114691 cursivestyleofwriting tptpcol_8_113666 jointventureorganization tptpcol_7_116739 tptpcol_16_50959 twodimensionalthing tptpcol_13_72776 tptpcol_15_93775 tptp_9_163 stationeryproduct tptpcol_9_72964 syntaxspecificationsystem thermalenergy projectmicrotheory artifact_humancreated potentialcbrnethreat fruitbrandy tptpcol_6_22531 reformulatortestcase quantitychangeevent nodescut_subsystem tptpcol_13_118132 tptpcol_15_92265 tptpcol_7_112642 peacekeeper issue biographer vocabulary tptpcol_15_26922 explosivematerial concealmentfromaerialdetection_none tptpcol_11_92167 city scientisttypebyfield outofofficeduetoevent event desiredvalue tptpcol_4_122880 parsenounphrasetest functionalslot tptpcol_15_18062 genericquantity tkbfullyspecifiedsourcemicrotheory boomtown queryrolesofactortype fourthordercollection boseeinsteincondensate_stateofmatter militaryevent_statelevel propersubcollectionnamedfn_ternarytrainingfacilitypartiallytangible3413ce42_f4ed_11d9_9bea_0002b3a85b0b tptpcol_5_94209 meaninginsystemfnsensus_information1997interpersonal_thing disambiguationscoringstrategy collectionintersectionfnthesetcollectorroadbusinessroute woodwork groupfngroupfnadultfemalehuman tptpcol_5_28674 spatialcotemporalpredicate atemporalnecessarilyessentialcollectiontype golemterm collectiondifferencefngeographicalregioncollectionunionfnthesetparkforestciviladministrativeregion sequin predicate groupfnpartiallytangible drugsubstance tptpcol_7_71684 subregions groupfnmountain candidateinferencesupportscore mob warrantyproduct towedweapon border tptpcol_8_92675 relativelocationalpredicate logofwood tptpcol_11_40325 militaryintelligence parameter propersubcollectionnamedfn_ternarystationerystorelocation_underspecified33fd3901_f4ed_11d9_9bea_0002b3a85b0b persontypebyoccupation defaultmonotonicpredicate softwarepackage collectionintersectionfnthesetadultmalehumanmilitarypersonbritishperson fieldofstudy instrumentalartifact astronomicalstation climateconcept keld populatedplace containershapedobject physicaldecompositions ballroom tptpcol_16_8398 indexedinformationsource num_genquantrelntotype parathion fictionalthing most_genquantrelnto unsatisfactoryattempttofnpropersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b hormone cut_topographical persontypebypersonalattribute collectionintersection2fnmilitarypersonunitedstatesperson collectionunionfnthesettimeintervalsituation both systemiccapillary planningdomainmicrotheory alcohol_compound teresmajor textualinferenceprobleminvolvingsenseextension particle softwaretestortypeversion tptpcol_8_27140 artifact_intangible tptpcol_14_118125 tptpcol_8_108548 unclassified infantytrainer cbrnetemporarytoolfix terrainhighground abstractindividual mummifiedremains abstractstructure markuplanguage_element specifiedruleexpressesproposition proposition subcollectionofwithrelationfromtypefnenduringthing_localizedeventoccursatevent_localized tptpcol_12_22024 cityincountryfnfrance quintarypredicate meaninginsystemfnsensus_information1997language_related_object uniformresourceidentifier groupfnatom indirectfacetarc propersubcollectionnamedfn_ternarytoolboxofpianotunerlocation_underspecified341aac10_f4ed_11d9_9bea_0002b3a85b0b obstruction_constructionartifact collectionunionfnthesetmultisurfacesurface advancenoticeofcollectiondateandamount tptpcol_11_93701 temporallyextendedthing hillyregion facetinstancecollection template conventionalclassificationtype disposingofanexplosivedevice collectionunionfnthesettrain_transportationdeviceroadvehicletransportationpathsystem tptptypes_8_397 supposedtobemicrotheory situationspecification collectionwithaneventlikeorder artifact_generic smokyarea variedordercollection clarifyingcollectiontype airforcepersonnel animalbodyshapetype inorganicmaterial navalmine mineralfield persistencedistribution tptptypes_9_694 eonoderawmeaningdefinedbutneedsdeeperke evaluatingvalueofwithrespecttofnrouter_networkmissionspecificationmicrotheory subcollectionofwithrelationfromfnmilitarypersonhasmembersarmedforcesfnunitedstatesofamerica tptpcol_14_40422 artifacttypebyfunction marinepersonnel htmltagattribute lexicalmicrotheory collectionintersectionfnthesetfinitespatialthingcone submarinefleet_organization threateningtodomurderdeviceusedhandgrenade specializedknowledge_topic tptpcol_14_93767 spatiallycontains cycsecuredatafile ioniccompound computergameprogram helm_1 tptpcol_9_18694 technicalworker monsoonforest nonabduciblepredicate accessoryfn_artifactnintendo64_theproduct electroencephalographmachine tptpcol_9_22276 metapredicate theorymicrotheory tptpcol_9_93954 bpvitemtype tptpcol_12_92231 somewhatexcessivelydrainedregion cliche tptpcol_16_25985 tptpcol_14_22079 unabletodefendaftertaskins modernmilitaryunit_deployable collectionunionfnthesetfluidtangiblethinggroupfninanimateobject tptpcol_16_130932 booleanparameter acetonecyanohydrin mt_topic softwaretestortype nearestcommongenls device_proximatelycontrolled sampleinstanceoftypeforprogramfnrelativelocationalpredicatecycanalyticenvironment_theprogram nondavidsonianpredfnhidinganobjectbymovingitthelistperformedbyobjectactedon tptp_8_14 tptp_9_210 tptpcol_11_22086 errorrate scalarinterval artobject formulatemplateassertionformat compliancestatusattribute computerdesktoptheme nonterminatingtransitivepredicate powder arbitraryunion meaninginsystemfnsensus_information1997separable_entity tptpcol_16_70946 soedefaultgraphablepredicate secretariat tptpcol_15_22073 scenarioelaboratesviaprecondition scenariocontext physicalpartpredicate gen_commutativity_disj crewmemberonship tptpcol_8_73219 tptpcol_10_118147 americanrhea countygovernment tptpcol_8_18949 subcollectionofwithrelationtotypefnmilitaryattackperformedbyguerillaforce declarativecontext famousindividual accessoryfn_artifacttelevisionset tptpcol_15_40430 factoryirrelevantmicrotheory tptpcol_16_30971 accessoryfn_activityplayingfnbaseball_thegame is_underspecified programprocessesfnglassbox_theprogram coverfromdirectfire_fair residentfnsyria canonicalizerdirective transactionalnetwork collectionunionfnthesettimeintervalqualitativetimeofday bodyofwater_intermittent zerodimensionalthing subcollectionbyregionfntopographicalfeaturesoutheasternregionfnhawaii_island_hawaii changedactor set_mathematical giftbasket propersubcollectionnamedfn_ternaryfirereellocation_underspecified34270823_f4ed_11d9_9bea_0002b3a85b0b meat_humanfood wearsclothing tptpcol_16_130924 subcollectionofwithrelationtofnsubcollectionofwithrelationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernmentobjectfoundinlocationterritoryfnpanama collectionintersection2fntwodimensionalgeometricthingintangible collectionunionfnthesetphysicalseriespath_spatial tptpcol_13_18679 cybervulnerabilityexploit rubble tptpcol_10_72837 country militarypoliceofficer collectionintersection2fnindividualagentenduringthing_localized tptpcol_16_7979 tptpcol_12_18632 hardcopyinformationbearingobject subcollectionofusedfortypefnsuppliesproducinghardcopy collectionintersectionfnthesetlinearobject_onedimensionallinearobject_nonplanar tptpcol_3_3 obtainingastringbasedsearchresult groupfnsubcollectionofwithrelationfromfnairplanepossessesgovernmentfnisrael tptptypes_6_803 nasalbone landtopographicalfeature opensourcecomputerprogram sisphysicalschema pontiacventuraiicar tptpcol_15_40433 reservist electricity perceptualagent collectionsubsetfnterroristattackthesetofeventandisaeventterroristattackeventoccursateventisrael tptpcol_14_109174 collectionunionfnthesettrain_transportationdeviceroadvehicletransportfacilitytransportationpathsystem tptpcol_8_93187 graphicalstructuretype userredirectapplicabilityproperty temporaryparts biologicallivingobject softwareuserredirectspecification transportfacility terroristattack natfunction natargument tptpcol_15_28653 tptpcol_13_29046 tptpquantity integer listtypebymembertype listoftypefninteger chemicalsubstancetype regionalgovernment possesses subcollectionofwithrelationfromfnairplanepossessesgovernmentfnisrael along_underspecifiedpath overlappingspaceregions homogeneouspositivedimensionalspaceregion basicprice monetaryvalue temporalthing typicallycomparestowrtslotfnlessthanbasicprice linearobject_nonplanar linearobject_onedimensional producinghardcopy damages accident subcollectionofwithrelationtotypefnaccidentdamagesautomobile individualagent properphysicalparts physicalseries twodimensionalgeometricthing tptpcol_16_30034 facility_generic subcollectionofwithrelationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernment militaryhardware industrytype productionindustrytypefnmilitaryhardware munsellredpurplehue darkreddishpurple_color tptpcol_15_106097 somethingtowear solidtangiblething northof geographicallysubsumes temporalstufftype qualitativetimeofday september calendardecade date continuoustimeinterval persontypebygeographicresidence playingfnbaseball_thegame televisionset guerillaforce militaryattack tptpcol_15_16668 creditcard chosenitem selectingsomething subcollectionofwithrelationtotypefnselectingsomethingchosenitemcreditcard motorcycle manufacturerfnmotorcycle underspecifiedlocation tptpcol_16_913 physicalparttypes tptpcol_10_31619 prefixsubstring temporallyfinishedby politicalorganization propersubcollectionnamedfn_ternaryestablishislamicinternationaleunderthepatrongageofosamabinladenpoliticalorganization3406aee4_f4ed_11d9_9bea_0002b3a85b0b electronicdevice tptpcol_16_30531 tptpcol_6_28675 execution_judicial tptpcol_15_20755 objectactedon hidinganobjectbymovingit tptpcol_15_59325 tptpcol_13_4426 groupfninanimateobject militaryaction ethnicgroupofindia ethnicity persontypebyethnicity person subcollectionofwithrelationtofnterroristethnicityethnicgroupofindia officebuilding tptpcol_15_30622 cogenlpreds tptpcol_16_60506 breast diseasetype cancerfnbreast for_underspecifiedlocation investigation subcollectionofwithrelationtotypefninvestigationfor_underspecifiedlocationcancerfnbreast blockinganenemy nintendo64_theproduct tptpcol_16_27233 february spatialthing allgenlroles visibleparts permanentlynorthwestof mtalternatives reasoningwithtensemicrotheory cone power_quality dishdryingrack militaryorganization router_network acquaintedwith humanshaped tptpcol_16_28925 transportationpathsystem roadvehicle train_transportationdevice tptpcol_16_25972 tptpcol_16_129013 tptpcol_16_26790 formulatemplate triggeringsomething surface multisurface suborgs_materialsupport organization mailbox_outdoor atom linkclosedsubsystems pathsystem percentdeathsduetoduring intervalonnumberline organismclassificationtype event_localized tptpcol_16_15545 tptpcol_16_30937 cyclrulespecification tptpcol_13_61268 tptpcol_16_32505 propersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b tptpcol_14_26666 binarypredicate coplanarlines line_straight nonnegativeinteger binaryrelation computerprocessrunning computercode_binary computerprogram_cwis ferraricar cardealerfnferraricar tptpcol_16_32307 tptpcol_14_68072 contiguousafter_tempstage temporalstagespecification britishperson sportscommissioner tptpcol_16_26997 number_general referenceworkentry negligiblewrt orderofmagnitudeinterval mountain polydimensionalthing assembling eventoccursat geopoliticalsubdivision subevents factorybuildingcomplex subcollectionofwithrelationfromtypefnfactorybuildingcomplexeventoccursatassembling moderateblue_color under_underspecifiedlocation tptpcol_11_62852 civiladministrativeregion forest park tptpcol_16_62187 computertypebyhardware adultfemalehuman groupfnadultfemalehuman tptpcol_11_26695 tptpcol_14_26832 businessroute collectorroad widthofobject distance lessthan typicallycomparestowrtslotfnlessthanwidthofobject generalizedquantifier role tptpcol_14_86224 noiselevel scalarquantity scalarproperinterval termcreated creatingnewconceptincyc quantityslot confectionery owns socialbeing subcollectionofwithrelationtotypefnpersonownsconfectionery phonetician termformulas tptpcol_16_30512 tptpcol_14_26793 wnmemberholonym wordnetnounsynset tptpcol_16_127085 tptpcol_16_25057 higherprioritytemplatetype formulatemplatetype objecttakencareof takingcareofsomething maintainingsomething subcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment primaryactivitytypeoflocation subcollectionofwithrelationtofnfacility_constructprimaryactivitytypeoflocationsubcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment tptpcol_16_28820 tptpcol_15_27122 subgis atleastaslikelyas translocation fromlocation petroleum_crudeoil unrefinedfnpetroleum_crudeoil tptpcol_16_32297 perceptualagent_embodied partofspaceregion tptpcol_16_19212 tptpcol_15_49869 airplane tolocation loading subcollectionofwithrelationfromfnloadingtolocationairplane tptpcol_16_27189 computerprinter_laser formofcondition physiologicalconditiontype temporallysubsumes_typetype vectorinterval tptpcol_16_26965 tptpcol_16_29490 tptpcol_15_26851 fluidtangiblething deformable uniquepropersubsituationtypes tptpcol_16_32218 tptpcol_16_10258 lotteryofstatefnohio_state tptpcol_16_104116 hydrogenchloride existencedependentintermittentcollection tangiblestuffstatetype liquidfnhydrogenchloride vaporfnliquidfnhydrogenchloride entertainmentorrecreationorganization communicationsorganization collectionintersection2fncommunicationsorganizationentertainmentorrecreationorganization objective_colt_coa1 coadescriptionmicrotheory tptpcol_16_44290 after timepoint propersubcollectionnamedfn_ternaryopenedfireactiononobject33d6c543_f4ed_11d9_9bea_0002b3a85b0b accountsystemaccessed accountsystem accessingacomputeraccount accountaccessed performedby action simpleactionpredicate situationpredicate simplesituationpredicate genlkbcontenttests kbcontenttest nationalculture culturalcodeofetiquette properpartofspaceregion_inverse orangetree fruitfnorangetree taste tptpcol_16_21365 tptpcol_15_24832 substring characterstring propanoateion actiononobject propersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b dangerousparts dangeroustangiblething westof tptpcol_14_121927 unitedstatesperson intelligenceagent temporallysubsumedby_typetype subcultures culture_practice scientificfieldofstudy vestedinterest subalgorithms tptpcol_14_28502 sksimappingmicrotheory parttypes groupfnbiologicallivingobject secretarygeneral intelligenceanalysistask_allotment caeconceptfilter tvtalkshowhost minorleaguesportsteam layers layeredobject planspecificationmicrotheory bedandbreakfast agreeingserviceprovider agreementforongoingservice hotelreservation subcollectionofwithrelationtotypefnhotelreservationagreeingserviceproviderbedandbreakfast reformulationof modalrewritesto terraintypebytacticalpotential facility_construct groupfnfacility_construct wirelesscommunicationdevice gesturingbywinking cotemporalpredicate airporthasiatacode stringoflengthfn3 airport_physical automobile malfunctionaffects malfunction subcollectionofwithrelationtotypefnmalfunctionmalfunctionaffectsautomobile physicallycontains relation tptpcol_16_130857 business oilindustry industry_localized vulnerabletoactivitymonitoring setorcollectiontype setoftypefnlogicalschema logicalschema tptpcol_13_30984 person_supportingfurniture baseofbone fifthmetatarsal parttypefnfifthmetatarsalbaseofbone tptpcol_15_32128 tptpcol_16_24756 county unitofcpucapacity tptpcol_16_26806 sisters femaleanimal animal tptpcol_13_25574 learnedcapableof binaryrolepredicate learnedactivitytype capabilitypredicate_typelevel tptpcol_13_7542 tptpcol_15_27088 tptpcol_16_21566 tptpcol_15_26972 tptpcol_14_31739 tptpcol_6_30722 boat existingstufftype outof_underspecifiedcontainer tptpcol_16_30362 tptpcol_16_5311 tptpcol_15_107053 genlfunctions function_denotational underwaterlocation dangerousthing subatomicparticle tptpcol_16_26939 tptpcol_15_107467 communicationdevice groupfncommunicationdevice militaryequipment allnegligiblewrt cribmattress properparts kayak transportviafnkayak situationtemporalparts playingfnvolleyball artifacttypebygenericcategory humanfemalegivenname kbcontenttest_querysentencespecified oxalateion citytypebycountry countrysubsidiary roadway continent independentcountry province bodyofwater abstractvisualstructure graph_documentpart table_documentpart fjord groupfnfjord tptpcol_16_25202 missionspecificationmicrotheory computernetwork tptpcol_16_25765 tptpcol_16_122666 tptpcol_15_30259 tptpcol_15_4027 pushingwithfingers groupfnhomosapiens homosapiens tptpcol_16_4451 pushingwithopenhand tptpcol_15_30896 femalehuman octopus highperformancecpu allocationportions allotment tptpcol_15_32154 tptpcol_16_28891 unitofmoneyofgeopoliticalentityfnlaos tptpcol_16_26938 cycinferenceanswer tptpcol_15_26494 recipecopy persontypebygeopoliticalaffiliation citizenfnunitedarabemirates adultmalehuman groupfnadultmalehuman product serviceevent durablegood pie governmentmilitaryorganization inducedformulatemplatetopictype hydrocarbonmolecule tptpcol_16_8886 visitingsitefndisneyland_touristattraction tptpcol_16_9111 orientation orientationvector subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible tacticalterraintype affiliatedwith footballteam tptpcol_15_120329 tptpcol_14_29430 glassboxallotment tptpcol_16_30705 tptpcol_15_30111 positiveinteger computeruserwithusermodel celestialregion tptpcol_16_23353 requisitefor tptpcol_16_80607 tptpcol_16_8864 terroristgroup hasmembers subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup controlcharacterfreestring tptpcol_16_31868 objectfoundinlocation ship tptpcol_14_26953 tptpcol_16_62643 tptpcol_16_48879 ballbearing manufacturertypebyfocalproducttype tptpcol_15_119710 srilankanperson tptpcol_14_26681 birthplace terrorist subcollectionofwithrelationtofnterroristbirthplacesingapore editionofcwseries_periodic tptpcol_16_29044 stocktypebybusinessandclass economicagreement marble_ball tptpcol_15_26148 concentrationcamp tptpcol_16_9612 pushingababycarriage tptpcol_16_19788 star computervulnerabilityreport_cw tptpcol_15_30063 movement_translationevent directionoftranslation_throughout unitvectorinterval operatesfacilities building subcollectionofwithrelationfromfnbuildingoperatesfacilitieseuropeanunion calendaryear may calendarmonth calendarday periodicalissue cyclsentence calendarmillisecond tptpcol_16_74285 businessperson commercialorganization workplace correctivelensprescription products creationordestructionevent issuingaprescription tptpcol_16_7738 tptpcol_7_7172 genlspecifications specification tptpcol_16_75604 siblingspecifications constructedcyclqueryspecification glossforformulatemplate formulaargposition formulatemplatetopictype focaltermtypeforinducedtemplatetype normativespecification genericvaluepredicate softwareinteractionsessionrecordmicrotheory rockysoilregion gravellysoilregion greateroccipitalnerve uniqueanatomicalparttype rightobjectofpairfngreateroccipitalnerve superabstractype lifestagetype agentcapacityquantity % 114.46/23.47 Fol Constants: c_stimsoncentermt c_hpkbvocabmt c_informationgmt c_basekb c_fluidconduit c_partiallytangible s_http_192192255165htmldocs05_roy20linpdf s_http_www20sixcoukdancecommanderarchive200409 c_translation_3 c_abilityoftotypefn c_collection c_culturespecificmicrotheory c_microtheory c_superabstractype c_worldgeographymt c_calendarsmt c_tkbfactentrysource_book_irans_security_policy_in_the_post_revolutionary_era_9 c_miptdatabase19681997_termsmt c_tptp_member3179_mt c_greateroccipitalnerve n_461 c_tptpofobject c_nextiteratedcyclicintervalfn c_tptp_member2842_mt c_tptp_spindleheadmt c_massmediadatamt c_ethnicgroupsmt c_ciaworldfactbook1996mt c_gregoriancalendarmt c_tptpexecutionbyfiringsquad_90 c_tptpcol_6_71683 c_tptpcol_5_69635 c_no c_few c_javatoolsfeedbackmt c_cyclistsmt c_source_nv_attacks_investigation_index_htmlmt c_ldscdemonstrationspindleheadmt s_http_www123helpmecomviewaspid7874 c_translation_26 c_machinelearningspindleheadmt c_artificialwaterfeature s_http_wwwkimmccallorgwritingspnhpnhhtml c_translation_33 c_mgrtopbm_theprogram c_tptp_member603_mt c_religiouspeopledatamt c_geographicalsubregions s_http_wwwkjv1611orgukwho20wrote20the20book20of20hebrewshtm c_translation_32 s_http_wwwamazoncomexecobidostgdetail_0870541811vglance c_translation_1 s_http_enwikipediaorgwikilance_guest c_tptpexecutionbyfiringsquad_9 s_http_wwwmurkfamilyministriesorgthoughtslovech2html s_http_wwwlittleshelltribecomlstheadlinearchiveshtml c_guestshouldpraiseabundanceoffood c_humansociallifemt c_persiangulfoilexportfactsheetmt c_cycnounlearnermt s_http_wwwmidlifeflightcomlinkshtm c_translation_2 c_accountingmt c_antibiotic c_inanimateobject c_economyvocabularymt c_geographymt c_akbuser c_allotment_9 c_nooescape_theprogram c_nooescapearchitecturemt c_tptp_member936_mt n_374 c_catholicgift c_genericallyequivalentquantity c_softwareparametervalueobject c_aspatialinformationstore s_http_wwwatlantanettourtravelseedocivilwar2aspx c_partofbuilding_abovegroundfloor s_http_producthalfebaycomthe_great_gatsby_w0qqtgzinfoqqprz11947 c_translation_0_885 s_http_wwwoff_roadcom4x4webfordboggerbigdawghtml s_http_wwwprobertencyclopaediacommtehtm c_siblingspecifications c_georegion_l3_x0_y17 c_ali_baba_link_linktype_ks c_clothingconvention c_visualmark c_tptpcol_16_75604 c_tptpcol_10_22022 c_tptpcol_9_22021 c_tptpcol_14_26928 c_tptpcol_13_26920 c_worldcompletegeographymt c_fbireporttojudgegaleanoonamiabombing c_tptpexecutionbyfiringsquad_205 c_unitedstatesgeographypeoplemt c_peopledatamt s_http_wwwonlineessayscomessaysliteraturelit102php c_tptpcol_10_26886 c_tptpcol_9_26885 s_http_wwwlrbcoukv26n06edga01_html c_translation_9 c_genlspecifications c_tptpcol_8_26629 c_tptpcol_7_26628 c_issuingaprescription c_products c_correctivelensprescription c_tptp_8_968 c_tptpcol_16_7738 c_ldscgeneralcollectormt c_realtimemt c_tptp_spindlecollectormt c_tptp_member1672_mt s_http_wwwbali_travelnetcomhotelspuribukit_kembar c_physicalorderingpredicate c_spatialpredicate c_tptpcol_16_74285 c_geographicalregiongmt c_state_geopolitical c_nonnaturalthing c_enduringthing_localized c_spatialthing_localized c_chemicalsolutions_chemistrydomainmt s_http_wwwdiabetesmonitorcomn019htm c_tptpgeo_member2_mt c_georegion_l2_x8_y2 c_georegion_l3_x26_y7 c_tptp_member242_mt s_http_wwwrisenetworkorgabouthtml c_tptpshavingrazor_manual_1 c_usatoday_thenewspaper n_9 c_may n_2005 c_pq214mt c_testvocabularymt c_tptp_member987_mt c_most_genquantrelntotype c_setorcollection c_tptpmultiroleaircraft c_tptp_member2862_mt s_http_wwwbedandbreakfasts_ukcoukguide_belfasthtm c_translation_0 c_tptp_member2487_mt c_building c_operatesfacilities c_europeanunion n_19 s_http_newsawncomindexphpltypecatcategory1filmsnewsitem_no11515dir1 c_statedepartmentcountryreportsoneconomicpolicy1996mt c_tptpcol_13_109173 c_tptpcol_12_109157 c_tptp_member575_mt c_tptpexecutionbyfiringsquad_81 c_tptpgeo_member3_mt c_georegion_l3_x4_y13 c_georegion_l4_x14_y40 c_triggerabledevice c_storminess c_unitvectorinterval c_directionoftranslation_throughout c_movement_translationevent c_tptp_8_875 c_tptpcol_15_30063 c_indiangeographymt c_kandhamal_district_india c_cyclexpression c_thing c_tptpcol_10_18440 c_tptpcol_9_18439 c_tptpcol_3_114688 c_tptpcol_2_98304 c_conductingmedium c_georegion_l1_x2_y0 c_georegion_l2_x8_y0 c_pacespartitiondream s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml c_georegion_l3_x9_y20 c_situation c_intangibleindividual c_tptp_member3633_mt c_spatialthing_nonsituational c_tptp_member1729_mt c_generalbodystructurevocabularymt c_englishmt c_keinteractionresourcetestmt c_networkanalysisdomainvocabularymt c_disneysgamebreakhunchbackofnotredamethetopsyturvygames_thegame c_tptprenaultencorecar c_subcollectionofusedforfn c_individual c_textualentailmentproblemdescriptionmt c_currentworlddatacollectormt_nonhomocentric c_tptpgeo_member1_mt c_georegion_l4_x28_y9 c_georegion_l4_x28_y10 c_tptpcol_11_26950 c_tptp_member2584_mt s_http_wwwfargonebookscomviktorprhtml c_georegion_l1_x0_y0 c_cycorpproductsmt c_worldcompletedualistgeographymt c_bugtraqfaultdatabase s_4138 c_unitedstatessociallifemt c_unitedstatesgeographymt c_worldpoliticalgeographydatamt c_tptp_member3331_mt c_modalityfeature s_http_wwwfocusonthekingdomorg57htm c_textlearnerqltemplatemt c_location_underspecified c_beliefsystem c_middleearthmt c_patternsofglobalterrorism1995mt c_tptpcol_4_65539 c_tptpcol_3_65538 c_tptpcol_0_0 c_saicalqaidadatamt s_http_wwwtrinitymoscoworgbsthtml c_iranschangingrelationshipwithhezbollah c_terrorismtacticsmt c_xskijump_thegame c_tptptypes_9_401 c_tptptypes_8_400 c_partiallyintangible c_georegion_l4_x52_y60 c_tptpcol_15_109182 c_tptpcol_14_109181 c_theprototypicalshavingrazor_manual c_saicterroristgroupsdatamt c_tptpgeo_spindleheadmt c_universedatamt c_tptpgeo_member4_mt c_georegion_l4_x36_y47 c_georegion_l4_x37_y47 c_tptpcol_12_72806 c_tptpcol_11_72774 c_eiapagesmt c_patternsofglobalterrorism1997mt s_http_denverbizjournalscomtriadstories20040105daily32html c_hpkb_subnationalagent c_offensivelyadvantageousterrain c_geographicalregion c_tptpshavingrazor_manual_5 c_ham c_artifact c_tptpgeo_spindlecollectormt c_tptpgeo_member0_mt s_http_wwwinfovoyagercominfoququito_ecuadorhtml c_star c_tptp_member3853_mt c_tptp_7_78 c_tptpcol_16_19788 c_tptp_member2255_mt c_pushingababycarriage c_tptpcol_16_9612 c_tptpcol_16_130933 c_tptpcol_15_130931 c_tptpcol_10_72710 c_tptpcol_9_72709 s_http_timblairspleenvillecomarchives007948php c_ap_martha_stewart_omnimedia_names_chairman c_historicalpeopledatamt s_http_wwwtkborggroupjspgroupid61 c_concentrationcamp c_tptpgeo_member7_mt c_georegion_l4_x29_y75 c_georegion_l4_x30_y75 c_testgeographicalsubregions_fht c_wholesaleclub_corporation c_americanprofessionalsportsmt c_tptpcol_11_18568 c_tptpcol_10_18567 c_tptp_8_271 c_tptpcol_15_26148 c_shavingrazor_manual c_tptpcol_15_26925 c_tptpcol_14_26921 c_productgmt c_marble_ball c_relationexamplesmt c_organizationdatamt c_indexforagreement c_economicindexrateslot c_flatobject c_tptp_member2668_mt c_orderingpredicate c_objectpredicate c_tptp_member2089_mt c_georegion_l3_x11_y2 c_georegion_l4_x35_y7 c_geneticinformationstructure c_urbanarea c_inanimateobject_nonnatural c_limitpriceofstocktypeforagent_sell c_intelligentagent c_georegion_l3_x14_y13 s_http_wwwfilmtrackscomcomposerswilliamsshtml c_translation_16 c_idobject c_tptp_member3569_mt c_tptp_member128_mt c_tptp_member837_mt c_uia_people_demoenvironmentmt c_tptpcol_6_24580 c_tptpcol_5_24579 c_tptpcol_7_18437 c_tptpcol_6_18436 c_tptpcountryandwestern_styleofdance_1 c_tptp_member235_mt s_http_wwwhrcpelectoralwatchorgpartyprofilescfm c_tptpcol_9_93699 c_tptpcol_8_93698 c_tptp_member839_mt c_tptp_8_449 c_executionbyfiringsquad c_tptpcol_16_29044 c_timeindependentcollection c_informationstore s_http_wwwsoniclightcomconstablenotespdftituspdf c_humanactivitiesmt c_patternsofglobalterrorism_series n_1997 s_repairshop s_33d76185_f4ed_11d9_9bea_0002b3a85b0b s_http_wwwuniversitysportcaestory_detailcfmid6284 c_georegion_l2_x7_y1 c_nucleus c_chronologymt c_generictemporalmt c_readingtextvisualizationquerymt s_pasco c_washington_state c_physicaldecompositions c_carairfreshener c_publiclytradedproperty c_projectmanagementformulatemplatesmt c_propositionalinformationthing c_tptp_member1658_mt c_terrorist c_birthplace c_singapore n_273 c_formulatemplatemicrotheory c_usarmscontrolanddisarmamentagencymt c_tptp_member3124_mt c_tptpcol_14_26681 c_tptpexecutionbyfiringsquad_57 c_taxdocumentmicrotheory s_http_forummuppetcentralcomarchiveindexphpt_17282html c_tptp_member3231_mt c_miptdatabase19681997_temporarymt c_tptp_member3954_mt n_306 c_silver c_srilankanperson c_militaryperson c_reportcontent_intel_jtf_12006 c_tptp_member495_mt c_tptpexecutionbyfiringsquad_27 s_http_quinnelluspersonalmiscrandomhtml c_translation_28 s_http_wwwcommongroundcommonsenseorgforumslofiversionindexphpt10194html c_pcwdatamt s_http_enwikipediaorgwikiuser_niteowlneilsactors_a_b s_http_webnjiteducjohnsontreebiochhtm c_translation_21 c_tptpcol_8_22020 c_tptpcol_7_21508 c_tptp_member168_mt c_tptp_member3356_mt s_http_wwwxcapewithuscomsitebrocherspropertyasppropid2008site513cix c_tptpcol_15_119710 c_australasiansociallifemt c_timehasnoendmt c_naivedevicebehaviormt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_366 s_http_wwwalororgvolume35vol35no34htm c_literarypeopledatamt c_rudywiebe c_georegion_l4_x68_y15 c_georegion_l4_x69_y15 c_billclintonspeakingimt c_tptp_member2267_mt c_uia_worldleaders_demoenvironmentmt c_unitedstatesgeographydualistmt c_soefromfacetarc c_reasoningaboutpossibleantecedentsmt c_antisymmetricbinarypredicate n_232 c_supplies c_ballbearing c_hpkbcrisistestmt c_tptpcol_9_109315 c_tptpcol_8_109059 c_tptpcol_16_48879 c_mett_tc_timeanalysismt s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf c_tptpcol_16_62643 c_tptp_member300_mt c_disjointwith c_loopterminatingtransitivepredicate c_transitivebinarypredicate c_tourandvacationpackageitinerariesmt c_onedimensionalthing c_tptp_member3906_mt c_subsetof c_generalizations c_theprototypicalfurpelt s_http_wwwwvwebsitescomweatherwa_weatherphp c_pq125mt c_spatialpathsystem s_http_newmanbaruchcunyedudigital2002realestatebrooklyn_daybrooklyn_day_3_pt2htm c_translation_6 c_conventionguidemt c_patternsofglobalterrorism1998mt s_http_wwwnizkororgftpcgiorgscanadianwestern_guard_partyftppyorgscanadianwestern_guard_partycanadaright c_moss_battleforhue1968mt c_arvn_3rdregiment c_tptpmarriagelicensedocument c_generictemporalvocabularymt c_tptp_member1926_mt c_tptpcol_11_72711 c_tptptptpcol_16_16129 c_ship c_objectfoundinlocation c_cityofbostonma c_tptp_9_51 c_tptpcol_14_26953 n_487 c_haveoccupationtypeinindustrytypenuclearindustrysecurityguard c_translation_14 c_tptp_member2610_mt c_tptpcol_16_31868 c_hasmembers c_terroristgroup s_terroriststhathasbeenamemberofaterroristorganization s_3928 c_tptpcol_16_8864 c_tptpcol_16_80607 n_2000 c_ldscexperimentaltermsmt c_tptpcol_11_92230 c_tptpcol_10_92166 c_testlanguagespoken_fht c_cycorpinternalqltemplatetestmt c_tptp_member3519_mt c_fixedstructurevocabularymt c_requisitefor c_tptpcol_13_40421 c_tptpcol_12_40420 c_tptp_member3395_mt c_tptp_8_89 c_tptpcol_16_23353 c_tptpcol_9_117764 c_tptpcol_8_117763 s_http_wwwteenreadscomreviews0679751130asp c_uia_coabackgroundscenarioauthoring_demoenvironmentmt c_celestialsubregions c_inregion c_genls c_tptpcol_14_118118 c_tptpcol_13_118117 c_georegion_l3_x25_y7 c_water c_georegion_l2_x5_y8 c_georegion_l3_x17_y24 c_tptpnleaffntobaccoplant c_tkbinterestingnessrulesmt c_worldgeographydualistmt c_standardsismt c_glassboxenvironment01 s_jimjefferson c_genericintelligenceanalysis_cae_allotment c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_42 s_http_filmguardiancoukfeature_storyobserver041202538500html s_http_wwwciolympiawausgeneralgovaccenterpdfmarketanalysispdf s_http_wwwfuntriviacomplayquizcfmqid60926origin c_relationexistsallfn n_3 c_ciaworldfactbook1995mt c_defenselinkmt c_universalvocabularymt c_corecyclmt c_ckbtermsandassertionsmt c_tptp_member2626_mt c_tptpcol_3_16386 c_tptpcol_2_2 c_tptp_member2986_mt c_tptp_9_720 c_tptpcol_15_30111 c_knowledgefragmentd3mt c_ruralarea c_tptpcol_8_114177 c_tptpcol_7_113665 c_wordnetmappingmt c_georegion_l4_x38_y24 c_georegion_l4_x38_y25 c_businessgmt c_tptpexecutionbyfiringsquad_49 c_tptp_member232_mt c_tptpcol_10_93827 c_fixedordercollection c_worldnaturalgeographymt c_tkbfactentrysource_webpage_syrias_intelligence_services_origins_and_development c_kingfrederickix c_tptpcol_5_16388 c_intangibleassetof c_exemplarlearnbyreadingdocument c_translation_8 c_tptpcol_11_22023 c_tptpgeo_member5_mt c_georegion_l4_x56_y47 c_georegion_l4_x57_y47 c_georegion_l1_x0_y1 c_place c_brandnameproductgmt s_agen c_france c_individualhumanactivitiesmt c_wamt_evalinitial_p14 c_factorycandidatespatialthingforcomparison c_intangibleexistingthing c_tptp_member3082_mt c_tptpcol_12_26919 c_tptpcol_11_26887 c_humanlyoccupiedspatialobject c_christianitymt c_tptp_member3735_mt c_tptpcol_9_26630 c_tptpcol_16_72795 c_tptpcol_15_72793 c_tptpcol_16_30705 c_tptp_member3510_mt c_tptpcol_10_22149 c_tptpcol_4_81922 c_tptpcol_3_81921 c_opaque c_endofcordlikeobject s_janejones s_6cd582a0_e422_42b1_9aa4_25e28252835a c_georegion_l4_x29_y76 c_researchiraniandissent c_georegion_l4_x39_y24 c_gamezonegamesksmt s_http_wwwwashtimescomupi_breaking20040810_111754_1597rhtm c_tptpcol_14_29430 c_tptpcol_7_93186 c_tptpcol_6_92162 c_tptpcol_12_93765 c_tptpcol_11_93764 c_tptpcol_16_50958 c_tptpcol_15_50957 c_georegion_l3_x12_y6 c_rkfanalysisprocedurefwdrulesbackgroundmt s_5a92e6bd_f727_4f58_93bc_7073c663adbe c_tptpcol_13_22056 c_tptpcol_12_22055 c_generickrworkflowmt c_popculturemythologymt c_tptprunningshorts c_skippingofbillbutler c_armedforcesmedic s_terroriststhatisamemberofagroups c_logicaltruthmt c_dualistgeopoliticalmt c_geographicalagent c_tptp_member3671_mt c_tptpcol_15_120329 s_http_wwwbestdtudksc96information_packagehtml c_terroristfinancedatabasesourcemt c_russianmafiatestcasemt c_translation_19 s_http_wwwclubmomcomjforumpostslist90142052page c_tptpcol_7_92163 c_footballteam c_affiliatedwith c_beloitcollege s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege c_tptp_member2863_mt s_christchurch s_33f34df1_f4ed_11d9_9bea_0002b3a85b0b c_criterialforterraintacticalrole_negative c_soldier c_orientationvector c_orientation c_tptpcol_16_9111 c_networktestsoftwaremt c_tptp_member127_mt c_tptpcol_2_65537 c_sulfurhexafluoride c_irexpansionrulesmt c_zacapa_departmentguatemala c_tptptypes_7_819 c_tptptypes_6_818 c_tptp_member473_mt c_presuppositionvocabterm c_tptp_member191_mt c_disneyland_touristattraction c_tptpcol_16_8886 c_tptp_member678_mt c_calendarsvocabularymt c_kerelevance_basedinterestingnessrulesmt c_tptp_member623_mt n_124 c_rolls_roycejamesyoungcar c_democritus s_toribio c_colombia c_information_content c_georegion_l3_x15_y25 c_tptpcol_8_72708 c_tptp_member2877_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_88 s_losalamos c_newmexico_state s_http_wwwreadiocomarchives030205bbroadway5html c_hydrocarbonmolecule c_personalproduct c_insiderussiasnuclearcomplexmt c_georegion_l3_x16_y24 c_tptpcol_5_118785 c_tptpcol_4_114689 c_ethnicgroupsvocabularymt c_tptptptpcol_16_6274 c_tptpcol_15_109185 c_tptpcol_10_93700 c_language_specificmicrotheory s_http_wwwbibleorgpageasppage_id1429 c_gkeformulatemplatesmt c_country_inducedtemplate_3 c_country c_gafgatheringlogmt c_tptpcol_7_108547 c_timedependentcollection c_georegion_l4_x45_y9 c_georegion_l4_x45_y10 s_jessicajosephs c_horuslocusplusontologymappingmt c_reasoningwithrccandpointsmt s_http_cycledogblogspotcom200507our_fordhtml c_translation_2_3 c_iraniansociallifemt c_tptpcol_5_65540 c_mysentientdiscoursetrackingpegcreationtemplatemt c_wordnetsynsetimportstatus_readyforverbsemtrans c_analystdatabasemt c_tptpcol_13_93766 c_glfgraphforsimplifiedinfectiousdiseaseapmt s_http_attitudethemercurynewscomaucheese_batmanbalehtm c_georegion_l4_x33_y6 c_tptp_member995_mt c_georegion_l4_x75_y22 c_tptpcol_12_18663 c_tptpcol_11_18631 c_tptp_member593_mt c_georegion_l1_x0_y2 c_cyanide s_http_chemcofcedumsdsaallyl20alcoholhtm c_conceptfilterparametertype c_tptpcol_1_65536 c_situation_pla001_1 c_furniturepiece c_economymt c_governmentmilitaryorganization c_rkf_tkcp_demoenvironmentmt c_tptpcol_16_72794 c_tptp_member3121_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_5707 c_glfgraphforobservationapmt c_electronicwarfarehelicopter s_http_wwwwomenandinfantscombodycfmid388chunkiid19277 c_infoconassessmentmt c_tptp_member1346_mt c_tptphelicopter_ee9cascaval c_naivephysicsvocabularymt c_pie c_sublfunctionspec c_georegion_l3_x16_y9 c_tptpcol_12_93796 s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988 c_securitymt c_tptpcol_7_117762 s_http_wwwpharmchulaacthsurachaiacademiccontedaminoglycosidepdf s_http_wwwprojocomcgi_binincludeplmoviesfilmscruciblehtm c_georegion_l4_x13_y40 c_tptp_member3993_mt c_worldlikeourscollectormt_nonhomocentric c_cychistoricalpossibilitytheorymt c_adultmalehuman c_ascii_art c_tptp_member2932_mt c_unitedarabemirates n_446 c_dbcontext c_organizationproductmt s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc19221 c_translation_24 c_tptpridgeline_topographical s_http_forumstelevisionwithoutpitycomindexphpshowtopic2418494viewnew c_tptpcol_14_92264 c_tptpcol_13_92263 c_georegion_l4_x0_y36 c_tptp_member3205_mt s_http_wwwheritagepreservationorghhicase276html c_georegion_l3_x15_y26 s_http_dotsdotscomr_466674m_dvdb_468122a_b000059xuodefaultaspx c_patterndetectormt c_spatiallyboundedthing c_computerdataartifact c_tptpcol_9_39941 c_tptpcol_8_39940 s_http_wwwajrorgarticleaspid750 c_spaceregion c_recipecopyfor c_tptptypes_6_403 c_tptptypes_5_387 c_tptpgeo_member6_mt c_typically c_most c_trajector_underspecified c_bookkeepingmt s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml c_wordnetworkflowdatastatusmt n_403027 c_unitedstatesculturalgeographymt c_copper c_tptpnsubcollectionofwithrelationtofnoblatespheroidspheroidsemimajoraxislengthmeter6378137 c_tptpcol_6_16389 c_toydiscoursestructuresmt c_tptptptpcol_16_8398 c_islamiccalendarvocabularymt c_tptpcol_4_16387 s_http_wwwcrichtonismscom03losingtimeshtml c_translation_31 c_testwesternregion_fht c_agent_specificfactsheet_iranmt c_attributecleanupmt c_tptpcol_12_26888 c_tptpcol_6_20484 c_tptpcol_5_20483 c_testbiologicalsons_fht s_http_wwwentertainment_newsorgbreaking3857er_doc_finds_new_lovehtml c_internationalenergyoutlook1997mt n_581 c_medicalscale c_tptp_member1830_mt c_tptp_5_9 c_tptpcol_15_26494 c_collrelationunique c_uiainternalvocabularymt c_surfaceregion_underspecified c_specifiedcollection c_uaepolicyonabumusa c_inferenceanswerbindings c_elinferencebindingset c_communicationssupportmt c_wamt_modevalinitial_p7 c_tptpcol_5_114690 s_http_webamnestyorglibraryindexengasa160121999openofeng_2s3 c_namelexicalmt s_kidman s_http_wwwhealthandagecomsiteindexdsp_haacontentcfmcurr_navi01curr_content01curr_page1curr_mandanthealthandagesprencurr_version1framedef1curr_paramlisthealthandage51951haa_online_from213_dsp_tooldetailindex43cont_layout10210 s_http_blogcriticsorgarchives20041023112436php c_georegion_l4_x12_y40 c_urbancombatgame_uctapartmentsmapmt s_http_wwwprobertencyclopaediacomcgi_binresplkeywordjudidenchoffset0 c_charlie_infoconlevelmt c_worldpoliticalgeographydatavocabularymt c_temotu_provincesolomonislands c_tptpcol_16_26938 c_georegion_l3_x14_y8 c_laos c_genlpreds c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_63 c_tptp_member1438_mt c_tptp_member3717_mt n_385 c_georegion_l3_x4_y1 c_pathartifactsystem c_thehareandthetortoise_fable c_geolocation_x14_y39 c_georegion_l4_x14_y39 c_topicmt s_http_commonplacebooktripodcomid8html c_genlmt c_tptpcol_12_72775 c_movementmt s_http_wwwkentuckycommldheraldleadersports6546184htm c_translation_29 c_georegion_l4_x35_y6 s_http_wwwtnttvtitle0324281_115100html c_translation_27 c_cats_federal_agencies_ks c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_825 c_tptp_member115_mt c_tptpcol_16_28891 c_tptpcol_15_32154 c_allocationportions c_computerhardwarevocabularymt c_highperformancecpu c_tptpcol_6_90115 c_tptpcol_5_90114 c_directedpath_generic c_tptpcol_9_92420 c_tptpcol_8_92164 c_caseyjames c_limelight c_computersoftwaremt c_carello_theprogram s_121 c_tptpcol_7_19460 c_tptpcol_15_30896 c_cyclistdefinitionalmt c_unitedkingdomsociallifemt c_tptp_member698_mt n_414 c_tptpmailroom c_pushingwithopenhand c_tptpcol_16_4451 c_tptp_member2186_mt c_georegion_l3_x15_y24 c_saicbioterrorismeventsdatamt c_agent_generic c_partiallyintangibleindividual c_tptptptpcol_16_25985 c_acelimited c_geolocation_x53_y74 c_georegion_l4_x53_y74 c_tptpshavingrazor_manual_2 s_http_wwwwprowhointhealth_topicsdiphtheria c_tptp_member1667_mt n_190 c_isuzui_markcar c_strabane_districtnorthernireland c_tptpcol_6_106499 c_tptpcol_5_106498 c_cycuiamt c_nonelectrolyte c_ehbtmicrotheory c_tptp_member974_mt c_mattertypebyphysicalstate c_financialtransactionmt c_uia_geography_demoenvironmentmt c_tptp_member3652_mt c_tptpexecutionbyfiringsquad_572 c_islamicradicalism_growingrisksmt c_georegion_l1_x1_y2 c_tptpcol_7_72707 c_worldenergybalancesmt c_tptp_member404_mt c_tptp_member3125_mt c_exanimateobject s_http_wwwscreenselectcoukvisitoreditorial562html c_mobilityfacilitatingterrain c_animalmovementmt c_tkbfactentrysource_webpage_dossier_abdul_halim_khaddam s_http_wwwcbccainsitethe_sunday_edition2004118html s_http_wwwamb_usafrresourcesfranceusfamericans3htm c_cycprojectcalendar c_tptpcol_6_116738 c_pushingwithfingers c_tptpcol_15_4027 c_nasdaqksmt c_satcontechnologycorporation c_uscityorcounty c_tptp_member374_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_94 s_http_wwwnetessaysnetviewpaper27382html c_tptpcol_9_118019 c_hypotheticalcontext c_modality_inferencemt c_linux_redhat c_gaza_provincemozambique c_tptp_9_389 c_tptpcol_15_30259 c_reasoningaboutgrammaticalagreementmt c_tptp_member1936_mt s_http_wwwgeocitiescomresearchtrianglelab4191millermillershtml c_historyofsciencedatamt c_samutsakhon_provincethailand s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc33477 c_tptpcol_16_122666 c_tptpcol_16_25765 c_razor c_thirdordercollection c_historyofmusicdatamt c_cycsubjectclump c_computernetwork c_missionspecificationmicrotheory s_http_wwwcollectorcafecomarticle_archiveasparticle20id1939 c_worldgeographyphysicalmt c_querylibraryquerycreationtemplatemt s_http_wwwagabuscouktitusnoteshtm c_tptpcol_4_24578 c_olympicsdatamt c_logicaltruthimplementationmt s_umbria c_italy c_tptpcol_7_20485 c_tptp_7_57 c_tptpcol_16_25202 c_coextensionalsetorcollections c_bravocriterion3_infoconcriterionmt c_tptp12_dimethylhydrazine c_tptptypes_8_692 c_tptptypes_7_691 s_http_shoppingmsncomresultsshpbcatid4808av12_153349 c_knowledgefragmentt17mt c_khabarovsk_territoryrussia c_dcsuperheroesmt c_dialoguetrackinggmt c_tptp_member720_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_9935 c_pq234mt c_tptp_member697_mt c_fjord n_518 c_vehiculartrafficmt c_testresidesinregion_fht c_reformulatortestmt s_http_memberstripodcomindygalfordtriviahtm s_http_yahooeonlinecomcelebsqahoffmanintrview2html c_tptpcol_8_118274 c_glfgraphcomponent c_topologicalspacetype c_mathematicalthing s_http_newsbbccouk1hientertainmentfilm3099234stm c_increasesslotfor c_indigenousorganismdualistdatavocabularymt c_earthweathervocabularymt c_tptp_member3421_mt c_cycagencytheorymt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_55 c_tptpexecutionbyfiringsquad_86 c_mainstreamamericanculturemt c_usedartifact c_china_taiwanmilitarytechnologymt c_atemporalthing c_iet_ldscontologyextensionmt c_tptp_member371_mt c_tptpexecutionbyfiringsquad_51 s_http_wwwprobertencyclopaediacomcgi_binresplkeywordgarlandoffset0 c_statedepartmentcountryreportsoneconomicpolicy1997mt s_http_wwwmovieseercomactorprofilebilaspaid285channel2 c_translation_11 s_terroristthatisamemberofagroup c_mathematicalobject c_georegion_l4_x47_y74 s_http_triadbizjournalscomtriadstories20040105daily32htmljstb_ln_hl s_http_wwwdomainsumsonstdeiatrogeniciatrogenic_and_antibiotic_usehtml c_georegion_l4_x24_y24 c_georegion_l4_x25_y24 c_bodyofwater c_sea c_kegenlsstrongconsiderationpreds s_http_wwwchecklistscomchildrenhtml c_tptpcol_4_106497 c_tkbfactentrysource_webpage_kurdish_reawakening_in_syria_the c_non_opecfactsheetmt n_5 c_runningshorts c_tptpcol_11_109125 c_tptpcol_10_109061 c_materialsmanipulationmt c_georegion_l3_x25_y8 c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_495 s_visby c_sweden c_miptdatabase19982002_termsmt s_http_wwwleaderucomtheologyteenwitchcrafthtml c_solidtangibleartifact c_tptpcol_13_93781 c_georegion_l4_x75_y75 s_http_wwwtodayinliteraturecombiographyarthurmillerasp c_unitedkingdomofgreatbritainandnorthernireland c_braga_districtportugal c_kleintest2mt c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804 c_pq223mt s_http_wwweverestmaxcomnepalhtm c_tptptptpcol_16_7136 c_modernmilitaryvehiclesmt s_http_wwwreadersdigestcamag200004doghtml s_tizzy s_34096e01_f4ed_11d9_9bea_0002b3a85b0b c_kerequirementpreds c_tptptypes_6_388 c_tptp_member3705_mt c_tptpexecutionbyfiringsquad_497 c_tptpcol_9_92165 c_tptpnchemicalsubstancefnoxalateion_2 c_oxalateion c_placinganindicatoronsomething c_testimonyofessamalridimt c_collectormicrotheory c_collectiontype s_http_arxivorgpdfcmp_lg9807012 c_markuplanguagemt s_http_archivethisiswiltshirecouk20031217129990html c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_30 c_tptp_member1818_mt s_http_wwwamericanpoemscom6304524005some_folks_call_it_a_sling_bladephp c_generictouristmt c_throughthelookingglass_thebook c_worldoiltransitchokepointsmt c_tptpcol_16_92269 c_tptpcol_15_92268 s_thefootballteamwhoisaffiliatedwithbc c_motleyfoolsuggestionrulesmt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_520 c_path_spatial c_georegion_l3_x1_y1 c_kbcontenttest_querysentencespecified s_myrt c_relationexplicitlyinvokestypederivatively c_volleyball c_worldwariimt s_http_summarycentraltripodcomthecruciblehtm c_translation_30 c_tptpcol_16_26926 c_situationtemporalparts c_kayak c_geolocation_x55_y58 s_http_wwwwiueduusersmfwcwiugreatgatsbyhtml c_properparts c_cribmattress s_http_wwwmortgages_expocomalbany_mortgagehtml c_georegion_l4_x13_y39 s_serling c_tptpcol_16_30972 c_tptpcol_15_30970 c_allnegligiblewrt c_extent s_http_dodgsonucsdedulaselsal1973_1980html c_unitedstateshistorymt c_tptp_member1348_mt c_tptpgeo_member8_mt c_tptp_member2611_mt c_cordlikeartifact c_georegion_l4_x36_y50 c_georegion_l4_x37_y50 c_seaport c_tptp_member2094_mt c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_65 s_http_www20sixcoukdancecommanderarchive20040915n61crtr29jarhtm c_tptpcol_6_108546 c_tptpcol_1_1 s_http_wwwdiscoverourtowncomtownpagephptown105catattractions c_computationalobject c_tptpcol_15_107467 c_tptp_member2472_mt s_http_wwwrevolutionsfcomarticlehtmlid1281 c_encrypted c_tptpcol_16_26939 c_subatomicparticle c_applicationcontext c_dangerousthing c_underwaterlocation c_intangible c_format c_genlfunctions s_http_wwwworcacukuploaded_documentsstudy20of20religiondoc c_hpkbknowledgefragmentsmt s_http_summarycentraltripodcomthecrucible2htm c_tptp_member1138_mt c_tptpcol_15_107053 s_http_wwwtrikiwikicomgarry_marshall c_tptp_member3937_mt c_tptp_member474_mt c_tptpcol_16_5311 s_terroristthatisamemberofaterroristgroup c_computerorganizationdatamt c_commonlyacceptedexposurelimitsmt c_tptp_member2165_mt c_linearobject_tangible c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_156 c_conceptnetmappingmt s_http_shakespeareauthorshipcomox12html c_tptpcol_15_22076 c_tptpcol_14_22072 c_manufacturingmt c_tptp_member1573_mt c_tptpcol_16_30362 c_georegion_l3_x26_y8 c_tptpcol_2_32769 c_tptpcol_12_40389 c_tptpcol_11_40388 s_http_wwwnutmegstampcomsale_110110_04html c_watersolublestuff c_peloponnesianwarmt c_mipt_terroristeventsmt c_peoplemt c_outof_underspecifiedcontainer s_http_freepagesgenealogyrootswebcomehowetimeline1820html c_tptp_member3858_mt c_knowledgefragmentk2mt c_tptpcol_16_26927 c_tptp_member2090_mt s_http_wwwpoweripodsearchinfobrown_ipodhtml c_tptpcol_8_40451 c_tptpcol_7_39939 s_http_wwwprobertencyclopaediacomcgi_binresplkeywordjeanrenooffset0 c_communicationconvention c_tptp_member1747_mt c_meat c_boat c_alchemytestorganization c_mobilitycorridor c_culturegmt c_royaltyridgescenariospindlecollectormt c_concealmentprovidingterrain c_temporarylexicalassertions_guessedmt c_tptp_member2451_mt c_tptpexecutionbyfiringsquad_775 c_ctc_gketestmt c_sksicontentmicrotheory c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802 c_tptp_member2788_mt c_tptp_9_597 c_tptpcol_14_31739 c_tptpcol_15_26972 c_tptpcol_13_22071 c_anabar_districtnauru c_coacontributorsmt c_tptpcol_16_130925 c_tptpcol_15_130923 s_musicshop s_33f23c85_f4ed_11d9_9bea_0002b3a85b0b c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786 c_worldenergydatabasemt s_http_wwwmegaessayscomviewpaper83347html c_reasoningwithexpectationmt c_uia_openendedconversation_demoenvironmentmt n_740546 c_tptpexecutionbyfiringsquad_438 s_terroristthatisamemberofaterroristorganization s_http_citypapernetarticles2004_11_25naked2shtml c_allpeoplearehumanmt c_scriptexecutioncontext c_tptp_member516_mt c_tptpcol_16_21566 c_buddhistgift c_cycbehaviorlanguagespindleheadmt s_http_wwwprobertencyclopaediacomgcdahtm s_http_wwwmesothelioma__attorneycomstatewashingtonhtml c_perceptionvocabularymt s_reducehunger s_34104bd3_f4ed_11d9_9bea_0002b3a85b0b c_tptp_member692_mt c_aspatialthing c_culturalscenarioevaluationallotment_01 c_tptp_member2831_mt c_constructionartifact c_modernmilitaryweaponsmt c_viablebasisforweapontype c_formulastrengtheningheuristicsgmt c_tptpcol_6_112641 c_tptpcol_5_110593 c_agent_specificfactsheet_azerbaijanmt c_tptp_member334_mt c_tptpcol_10_118020 s_http_wwwmmicomsgnewsnews_feb242003bhtm c_tptpcol_15_27088 s_http_wwwscifilmorgreviewsdevilsbackbonehtml n_391252 c_tptp_member1053_mt c_tptpcol_13_7542 n_328 c_furpelt c_learnedcapableof c_georegion_l3_x22_y8 c_uia_drugproduct_demoenvironmentmt c_tptp_member709_mt c_tptpcol_3_98305 c_subeventorderingcompliancemt c_cycinternalanthropacity s_http_wwwsteamboatcomwinter_intaspxcategoryid254 s_http_wwwgreens_inorgarticle229phpsessid3641f5f711b0afdf34ae8268e87866d3 c_georegion_l3_x26_y19 c_infantryleader c_tptp_member687_mt c_typicallyrelnfrom c_tptptypes_7_389 c_tptpexecutionbyfiringsquad_39 c_ruletemplate c_tptp_member90_mt c_tptpexecutionbyfiringsquad_31 c_tptpcol_13_25574 c_electricshaver s_http_binaryflixcommovieaspscopepid1208 c_naiveuslawcoc s_http_wwwterrorismcentralcomlibrarybiographiesbioskahanekahanelisthtml c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_839 c_oxide c_artsupplies c_scenariotestingmt c_generallexiconmt c_sisters c_tptp_member3327_mt c_tptp_member3887_mt c_tptpcol_16_26806 c_reasoningaboutreferentrelationsmt c_tptpexecutionbyfiringsquad_34 s_http_wwwmovienavigatororgdigitalragehtm s_http_wwwhgtvcomhgtvrm_restoration_homes_areasarticle01797hgtv_3787_137528800html c_unitofcpucapacity c_georegion_l4_x66_y76 c_georegion_l4_x67_y76 c_georegion_l3_x19_y11 c_tptpcol_10_40197 c_tptpcol_9_40196 c_georegion_l4_x27_y64 c_georegion_l4_x28_y64 c_infantrysoldier s_terroristthatisamemberofagroups c_orientedlocation_underspecified c_somethingexisting c_tptp_member2746_mt n_903 c_late20thcenturyperson c_militaryofficer s_http_wwwamctvcompersondetailcid8142_1_est c_tptp_member1351_mt c_devilsbrewbriefingsmt c_tptp_member2902_mt s_http_archivestcmieirishexaminer20000826currentfpage_7htm c_strategictarget c_specifiedsubsetof c_abssimulatoractivitymt c_imsmo_sppdatamt c_uia_coacritiquing_demoenvironmentmt c_tptpcol_10_27013 c_numberoftypewithrelationfrom c_georegion_l4_x14_y47 c_tptpcol_14_72799 c_tptpcol_13_72791 s_http_forummuppetcentralcomprintthreadphpt17282page3pp15 c_compositetangibleandintangibleobject c_basicwesternlegalconceptsmt c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_178 c_producttypebylicensingfeature s_cottle c_texas_state c_singleleveltransitivepredicate c_covering c_tptp_member654_mt c_tptp_9_28 c_tptpcol_16_24756 c_tptpcol_15_32128 c_tptpcol_6_26627 c_tptp_member2960_mt c_tptp_member3377_mt c_fifthmetatarsal c_baseofbone n_216 c_cycltopddltranslatormt c_tptp_member2485_mt n_83 c_rdxexplosive c_person_supportingfurniture c_ali_baba_gpe_ks c_tptpcol_15_72796 c_tptpcol_14_72792 c_objectphysicalcharacteristicsmt s_http_wwwallwebdirectoriescomwwlanew_york_city_mesothelioma_asbestos_lawyerhtml c_weakeningevent c_tptpcol_10_40324 c_tptpcol_13_30984 c_georegion_l3_x11_y21 s_http_trishwilsontypepadcomblog200503why_are_women_dhtml c_tptp_member2762_mt c_uia_sksi_demoenvironmentmt s_http_newsbbccouk1hientertainment851330stm c_algorithm c_mathematicalorcomputationalthing c_ldscindexedinformationsourcemt c_partiallytangibleproduct c_candidateinferenceformapping c_linguisticexpressiontype c_ecologicalregion n_455454 c_conjecturalcontext c_vulnerabletoactivitymonitoring c_coabsmt c_oilindustry c_japan c_business c_tptp_member2356_mt c_vulnerabilityreasoningtestmt c_georegion_l3_x19_y10 s_http_encyclopediathefreedictionarycomhowardhawks n_384570 c_englishspeakingculturemt c_reasoningwithexpectationvocabularymt c_humansociallifewithtensemt c_tptpcol_16_130857 c_gregoriancalendarvocabularymt c_navypersonnel s_libraryofcongress s_342bc310_f4ed_11d9_9bea_0002b3a85b0b c_tptpplantepidermis_2 c_tptp_member764_mt c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_69 s_http_wwwggggcombestdvdabesdcjaxfvahtml c_bpvmilitaryunittype c_horizontaldatum s_http_forumsphilosophyforumscomthread15993 c_southernhemispheremt c_containergvocabularymt c_foodreadytoeatmt n_869 c_poolwater c_tptp_member2701_mt c_nearestarg4genl s_http_wwwcarlhiaasencom c_topographicalfeature c_georegion_l4_x45_y72 c_tptpnavypersonnel_3 c_georegion_l4_x55_y45 c_trec_mt c_tptp_member1341_mt c_tptptptpcol_14_64198 c_georegion_l3_x18_y0 s_http_wwwictorgilinter_terorgattackcfmorgid13 c_shadow c_alminufiyah_governorateegypt s_http_wwwnovumtestamentumcom200510song_about_hebrewsphp c_linguisticobject c_tkbfactentrysource_webpage_iran_and_the_bomb_a_nuclear_iran_poses_extreme_threat_to_us c_starseeker_actorsksmt c_eventpredicatetestmt c_feni_districtbangladesh c_physicallycontains c_khenifra_provincemorocco s_undertree s_340e28f2_f4ed_11d9_9bea_0002b3a85b0b c_unitofmoneytypebygeopoliticalentity c_recenteventsmt c_capabilitiesandexpectationreasoningmt c_humansexualbehaviormt s_http_wwwbelfastislamiccentreorgukvisitorsguidehtm c_malfunction c_malfunctionaffects c_automobile s_problemsinwhichacarplaysamalfunctioningdeviceroles s_http_forummuppetcentralcomshowthreadphpgotolastpostt17282 c_tkbethnicitylist c_organicsoilregion c_monadicmicrotheory c_conceptualunderspecificationmt c_agent_underspecified c_renderingadangerousthingsafe c_tptp_member2380_mt c_pq13mt c_tptp_member131_mt c_airport_physical c_airporthasiatacode s_tlh n_23 c_tptp_member66_mt c_georegion_l2_x6_y2 c_cityofgrandrapidsmi c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_136 c_pq10mt c_francegeographydualistmt c_cotemporalpredicate c_fictionalworksmt c_geolevel_4 c_internationalorganizationdatamt s_http_wwwamazoncomexecobidostgfeature_5604 c_gesturingbywinking s_wink c_cycapimt c_sublsymbolentityfn s_athotel s_33d71362_f4ed_11d9_9bea_0002b3a85b0b c_tptp_member3891_mt c_tptp_member2851_mt c_tptpexecutionbyfiringsquad_450 c_tptp_member883_mt n_901 c_sunbeamtigerseriescar c_wirelesscommunicationdevice c_facility_construct n_798 s_http_wwwtelanganacomhistoryhtm s_http_wwwangelfirecomsc3redentormioitimothyhtml c_tptp_member409_mt c_tptpcol_7_109570 c_firstorderadministrativedivision c_cycorpbugzillacreate_ls c_characterstring n_1 s_http_wwwinq7netent2003jun15ent_5_1htm c_knowledgefragmentz11mt c_year2000militarytechnologymt s_http_richmondthenandnowcomfamous_people_richmond_4html s_http_wwwnewagebdcom2005mar19lithtml c_translation_15 c_tptp_member3833_mt s_http_wwwinthepinktexascomindexphpm20051103 c_batman_aidedecamp c_pq44_112mt c_georegion_l4_x12_y39 c_usgs_ks c_bpvi_backgroundvocabularymt c_missinginaction c_opengisconcept s_http_newsbbccouk1hientertainmentfilm4009157stm c_translation_22 c_hpkbcrisismt s_http_wwwjazznowcom0903maltasights03html c_computersoftwaredatamt c_upgradelibsafe_2_0_12_thesoftwarepatch s_http_wwwtopixnetmoviescat_people c_eliteunit_militaryspecialty c_tacticalterraintypefrompositionforunittype c_existingobjecttype s_http_wwwprobertencyclopaediacomcgi_binresplkeywordjudygarlandoffset0 c_modalrewritesto c_activexcontrol n_1998 c_nationalbriefings_iranmt c_tptp_member2728_mt c_geopoliticalbordersmt c_tptp_member3674_mt c_tptptptpcol_15_11774 c_citygovernment c_tptp_member1919_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_323 c_uia_cycorpnotices_demoenvironmentmt c_usmilitaryservicepersonnel c_reformulationof c_dynamicinfosource c_hotelreservation c_agreeingserviceprovider c_bedandbreakfast c_tptpcol_4_98306 c_literotica_website c_penguin_cruisemissile c_inanimateobject_natural c_tptpcol_15_93778 c_tptpcol_14_93774 c_tptpcol_7_27651 c_purposeofscripttypeinplan c_cycorpquerylibraryfoldercollector c_layers s_http_cheerleaderyozcomarchives001947html c_organizationmt c_minorleaguesportsteam c_tptptypes_8_89 c_firstordercollection c_tptptypes_9_693 c_tptpcol_8_18438 c_tptp_member1475_mt c_montereyinstituteofinternationalstudiesmt c_outdoorlocation c_modernwesternclothingconventionmt s_http_dailyblabberivillagecomentertainmentarchives200511desperate_house_1html s_http_wwwnewadventorgfathers250102htm c_familymatters_thetvshow c_usconstitution s_http_wwwjoblocomatfirstsighthtm c_tptptypes_5_802 s_http_wwwmarxistsdemiddleastschoenmanprefhtm c_internationalorganization c_internationalenergyannual1996mt c_georegion_l2_x7_y2 c_kempsbay_districtbahamas c_tvtalkshowhost c_intelligenceanalysistask_allotment s_http_wwwgeocitiescomlorettapageirishtellmahtml c_cycnounlearnerlexicalmt c_secretarygeneral c_madinatisadistrictbahrain s_http_wwwmumbai_centralcomnukkadjan2002msg00287html c_butler_gafsfrommachinelearningmt c_worldnaturalgeographyvocabularymt c_ioniansea s_aupaluk c_quebec_canadianprovince c_contrail c_candidatekbcompletenessnode n_756 c_tptp_member3515_mt c_securityinformation c_tptpcol_12_118116 c_tptpcol_11_118084 c_businessstillunsortedforstubsmt c_parttypes c_subcollectionofusedfortypefn c_georegion_l4_x13_y41 c_computerfile_abstract c_yahoomoviesguide_ks c_georegion_l4_x35_y8 c_eventsandscripts_topic c_tptpcol_11_109062 c_tptp_member3393_mt c_geolocation_x21_y58 c_tptpcol_4_90113 c_tptpcol_14_28502 c_electrichairshaver c_sensus_information1997 s_set s_http_wwwiceplantorg200201 c_vocabularymicrotheory c_tkbfactentrysource_webpage_profile_rifaat_al_assad c_tkbfactentrysource_webpage_lineup_of_lebanons_new_cabinet c_pascalcp_ie_1636 c_subalgorithms c_tptpcol_13_109158 c_cycglossarymt c_wanica_districtsuriname c_affectvocabularymt c_georegion_l3_x16_y26 c_softwareuserinterestmodelingrulesmt c_theproducers_play c_tptp_member394_mt c_tptpshavingrazor_manual_3 c_sportsmt c_universityofnortherniowa c_chessnet_thegame c_sensusmappingmt s_nondecomposable_object c_tptpcol_9_109060 c_region_underspecified c_tptpartsupplies c_y2crisismt c_tptp_member237_mt c_vestedinterest c_uia_generalmilitary_demoenvironmentmt c_terminatingprotectionistpolicies c_luggagemarketcategory c_tptpcol_8_21509 c_scientificfieldofstudy s_http_wwwdailyillinicomnews20041214featuresconservatismontheriseinyoungvoters_828816shtml c_tptpcol_12_92262 c_devisedpracticeorwork s_http_wwwcanoecajammoviesartistsppreston_kellyhtml c_thesprotia_departmentgreece c_methyldichloroarsine c_subcultures c_georegion_l3_x18_y4 s_http_wwwnctimescomarticles20041030newstop_stories23_29_5810_29_04prt c_temporallysubsumedby_typetype s_http_wwwiconsoffrightcomjt_12_05htm c_northernhemispheremt s_http_atraveldirectorycomttallahasseehtml c_ailmentmt c_georegion_l3_x22_y25 c_wikiunitedkingdomgeopoliticalmt s_http_www3isrluiuceduunsworthcoursesbestsellerssearchcgititletheageofinnocence c_phaselineboundedarea c_spatiallyincludes c_tptpcyanide n_933 c_militarypersonnelbunker c_georegion_l3_x11_y26 c_catalyst3500_theprogram s_xl c_cycorpagentsmt s_http_wwwaahcelebcompicsdana_brownhtml c_brandnameproductgvocabularymt c_tptpcol_14_121927 c_ofacinterestingnessrulesmt c_wordnet2_0_synsetpointer_ks c_blueunitstructureroyaltyridgescenariomt c_simpleofferacceptgraphmt c_tptp_member1819_mt c_westof c_underdevelopedregion c_dangerousparts c_ppmtoxpm_theprogram c_uia_weather_demoenvironmentmt c_healthsystemsdesigncorporation c_temporalqualificationofpropositions_time_csc c_objecttypebystyle n_398098 s_http_atkins_ukcomglobalglossaryglossarybhtml c_tptp_member1697_mt n_858 c_arableland n_866 c_ediblecalcium c_infoconlevelmicrotheory c_georegion_l3_x23_y1 s_detonateexplosivesattheheadquartersofthenorthernirelandprisonservice c_actiononobject s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b s_http_wwwfirestreamnetviewtopicphpt14262side7998082faab8a2c158e4622e3556a55 c_tptptptpcol_15_18498 c_charliecriterion2_infoconcriterionmt c_tkbfactentrysource_webpage_whos_who_in_syrias_leadership c_enlistedperson c_hpkb_cf_reasoningmt n_213 c_trapidle c_propanoateion c_substring c_persiangulfrangefilemt c_tptp_member1546_mt c_tptp_member344_mt n_405 c_infantrybrigade c_tptp_member3785_mt n_456 c_smokingdevice c_tptpcol_13_26935 c_tptptptpcol_16_24283 c_tptptypes_7_826 c_tptpcol_15_24832 c_haircuttingrazor c_tptp_member2603_mt c_tptpcol_13_18664 c_tptp_member3890_mt c_many_genquantrelnto c_tptp_member545_mt c_tptp_member910_mt c_tptpcol_16_21365 c_tptpspirochaeta_genus_8 c_tptpcol_10_92293 c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_301 c_tptp_member3965_mt n_588 c_provincialpark_canada c_tptp_member3115_mt n_215 c_ridgeline_topographical c_georegion_l3_x1_y9 c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_3847 s_http_wwwarthritis_symptomcoma_cbursitishtm s_http_medeasmedialistsblueblogchcinema c_mysentientnonanaphoricpegcreationtemplatemt c_orangetree c_tptptypes_7_396 c_textualinferenceprobleminvolvingpresupposition c_tptptptpcol_16_2871 c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_5108 c_smugglingfn c_physicalagentvocabularymt s_b4427885_bd24_40fb_b1b3_45a58d9f443f c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_72 c_chemistrylaboratory_chemistrydomainmt c_owlmappingmt c_nonfictionalcontext c_tptp_member2777_mt c_tkbfactentrysource_newspaper_bbc_news_online_march_12_2006 c_cyccanonicalguidmappingmt c_nga_ks c_functionalroleanalysismt c_tptp_member1777_mt c_georegion_l4_x39_y23 c_landmark_underspecified c_tptp_member2177_mt c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_309 c_properpartofspaceregion_inverse c_hydrocarbon c_bayesnetspindleheadmt c_morocco c_waverley c_old_clothinggmt c_tptpnpropersubcollectionnamedfn_ternarytntanddetonatorsartifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b s_tntanddetonators c_artifact_generic s_341b2145_f4ed_11d9_9bea_0002b3a85b0b c_gafgatheringexperimentlogmt c_georegion_l4_x28_y76 c_cycorpbugzillaaction_ks c_imscardiovascularid s_http_forumsunfictioncomforumsviewtopicphpp2067sida7d2a861b1818d3c520d2fb42967482d c_uia_killingolegvagenmt c_scoringstrategy c_pnmcut_theprogram c_missilemastertablemt c_many_genquantrelntotype c_tptpcol_12_109126 c_microtheorydimension s_officeofbroadcastingcompany s_340687d1_f4ed_11d9_9bea_0002b3a85b0b c_tptptypes_9_824 c_tptptypes_8_823 c_mathmt s_http_wwwcresourceiorgbiblestudybb1cor2html c_genlkbcontenttests c_tptpfurpelt n_957 c_adamite c_saiccountertdbcollectormt c_tptptptpcol_16_22330 s_http_vh1shopvh1comnamepageaspxpidp66596typevloc33697 s_terroristthathasbeenamemberofagroup c_tptp_member1980_mt s_http_724129227celebritiesrichardgeretriviatest_answersshtml s_openedfire s_33d6c543_f4ed_11d9_9bea_0002b3a85b0b c_moderninternationalrelationsmt c_pascalchallengeproblemdescriptionmt s_http_wwwpgil_eirdataorghtmlpgil_datasetsauthorsooharamlifehtm c_georegion_l3_x5_y13 c_tptpcol_4_73730 c_tptp_member2247_mt n_986 c_sleepingbag c_tptp_member1587_mt s_http_wwwtruluckcomhtmlabout_the_authorhtml c_worldhistorymt c_tptpcol_6_110594 c_tptpexecutionbyfiringsquad_810 c_agent_nongeographical c_translation_7 c_georegion_l4_x77_y21 c_analogymatch c_conceptfilterparametertype_trigger c_georegion_l1_x1_y1 c_deonticreasoningwithmultifuture_logicmt s_e7dff3f0_099f_412b_bd76_51c9b4a540a7 c_corecyclimplementationmt c_tptp_member1938_mt c_after c_testsuborganizations_fht s_http_wwwthedailybulletincompostcardsmar9chtm c_test102mt s_http_mxborderline_angelcomproxyblueeastonhtm c_bpv_reddestroymt c_tptpcol_14_40429 c_artifact_nonagentive c_excessivelydrainedregion c_tptpcol_14_92271 s_http_wwwsimonsayscomtitles0684810948authorhtml s_http_wwwamazoncomexecobidostgdetail_0375726721vglance c_tptpcol_16_44290 s_http_wwwamazoncomgpcdpmember_reviewsa3u4ft0h0nthby_encodingutf8 s_http_wwwrtcolcomoaklandbrockhtml c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_420 c_tptpcol_12_118085 c_electrolyte c_secondordercollection c_narrativerole c_georegion_l3_x22_y24 c_commonsensetestmt c_csis_middleeaststudiesmt c_tptpcol_16_92270 c_bcase_3235139646 c_objective_colt_coa1 c_colt_object_222 c_georegion_l4_x77_y22 c_agent_specificfactsheet_unitedarabemiratesmt c_timeinterval c_definition s_http_wwwthepoormannetarchives001684html c_georegion_l3_x16_y16 c_opecfactsheetmt c_timesatlasoftheworld1995_pit c_communicationsorganization c_entertainmentorrecreationorganization s_pressthathasbeenalsoanensemble c_tptpcol_6_69636 c_hydrogenchloride n_773 c_georegion_l4_x56_y48 c_tptp_member3449_mt c_coverfromdirectfire_poor c_tptp_member3762_mt s_http_wwwhawaiifilmofficecompdfhollywood_tropicalpdf c_usmilitarystafforganizationmt c_georegion_l3_x17_y26 c_sweetodor c_inertartifact s_http_wwwispstateilustraffictraffictipscfm c_domainfactsheet_organizedcrimeintheformersovietunionmt c_siblingdisjointwith c_tptpcol_16_104116 c_finitespatialthing c_bbninterestingnessrulesmt c_tptp_member1153_mt c_tptp_member1942_mt c_ctcwhoisquerymt c_cycorplanmodel_cycsecuredatamt c_threedimensionalthing c_georegion_l3_x3_y15 c_tptp_member3355_mt c_central_provinceuganda c_uia_sports_demoenvironmentmt c_nistproject_taska c_reasoningaboutdiscourseprecedencemt s_http_wildcatarizonaedupapers911407_1_mhtml c_hpacincidentsmt s_http_enwikipediaorgwikiuser_talk_meltbanana c_tptp_member1091_mt c_tptpnavypersonnel s_http_ukgaycomheadlines6519 c_tptp_member193_mt c_tptp_member563_mt c_tptpexecutionbyfiringsquad_97 c_tptpcol_13_40436 c_molecularconfiguration c_georegion_l3_x19_y25 c_tptphiker c_abstractthing c_georegion_l4_x27_y65 c_tptp_member684_mt c_ohio_state s_http_crossoverfollowingcomdigitalragehtml s_http_enwikipediaorgwikibruce_lee c_tptp_member43_mt s_http_wwwdvdplayerreviewsnetitemsb0000cbl7a c_tptpcol_16_10258 c_tptpcol_16_32218 s_http_wwwradfordreviewscomcgi_binrviewcgirmmode2typereviewnameamistad c_discoursetrackingpeg c_uniquepropersubsituationtypes s_http_forumsegulletorgindexphpshowtopic42218 c_tptp_member2307_mt c_tptpcol_15_26851 c_tkbfactentrysource_webpage_irans_power_brokers c_pq102mt c_tptpcol_16_29490 c_waitinglist c_tptp_member3193_mt c_rkfroyaltyridgegisworkaroundmt c_physicstesttakingassumptionsmt c_theworstofpublicaccesstelevision_thetvshow c_languageandwritingsystemvocabularymt c_utelanguage s_warrington c_cheshire_countyengland c_tptp_member3791_mt c_tptpcol_16_26965 c_tptp_member3353_mt c_foodbuyinggmt s_shallowwaters s_33f28aa0_f4ed_11d9_9bea_0002b3a85b0b s_http_wwweonlinecomnewsitems011107000htmlibd c_tptptypes_8_390 c_eonodedefined c_temporallysubsumes_typetype c_equivalencerelation c_tkbfactentrysource_webpage_dossier_maj_gen_assef_shawkat c_agents_topic c_ailmentvocabularymt s_http_wwwnizkororgftpcgiplacesftppyplacescanadacanadaright c_georegion_l4_x36_y51 c_commonlispprogramminglanguagemt c_luxuryitem s_http_shswestportk12ctusrexjournalismjournalismhtm c_hauntedthing c_thesimpsonsmt s_http_studentswashingtonedutakenommsaurabhlog4html c_informationbearingthing s_http_wwwwvwebsitescomweatherny_weatherphp c_problemsolvingcntxt c_formofcondition c_computerprinter_laser c_tptpcol_16_27189 n_468 s_http_wwwpubumichedudaily1998apr04_02_98editedit1html c_loading c_tolocation c_airplane c_georegion_l4_x76_y23 c_tptp_member2032_mt c_tptphalloweendecoration c_sunwesu_thesoftwarepackage c_tptp_member2191_mt c_tptpexecutionbyfiringsquad_14 c_pq98_99mt s_http_legendstypepadcomliving_with_legends_the_h200507cult_fictionhtml c_tptpcol_15_49869 c_vasoconstrictor c_intermediatevocabterm c_tptpcol_13_92278 c_salesmt c_tptp_9_395 c_tptpcol_16_19212 c_charliecriterion5_infoconcriterionmt c_tptp_member2429_mt c_leftobject c_tptpcol_10_109188 c_tptp_member3482_mt s_http_wwwtruthoutorgissues_05101805hashtml c_pharmaceuticalusevocabularymt s_richguyspocket s_341b4856_f4ed_11d9_9bea_0002b3a85b0b c_worldenergysanctionsmt c_pq203mt s_http_wwwlibvirginiaedusmallexhibitsrave_reviewsbeyond_gwtwhtml c_testoperationmt c_americancollegesportsorganizationsdatamt c_partofspaceregion c_mournsover c_dyingofblo c_organizationgmt c_tptp_member3137_mt c_tptp_9_608 c_tptpcol_16_32297 s_http_wwwaaaeventscoukforumsview_topicphpid1439forum_id24page3 c_uia_music_demoenvironmentmt c_tptp_member3174_mt c_tptp_member840_mt c_petroleum_crudeoil n_209 s_http_wwwcathartonnetcgi_localauthorsyabbcgiboardarthurmilleractiondisplaynum1123452712 c_capabilitiesandexpectationreasoningvocabularymt s_terroristthathasbeenamemberofagroups c_fromlocation c_translocation c_janesunderwaterwarfaresystems1996_97mt c_georegion_l4_x34_y29 c_skillleveltestingmt c_teachme2mt c_atleastaslikelyas c_subgis c_georegion_l3_x16_y25 c_universitydatamt c_retailorganizationdatamt c_georegion_l4_x75_y21 c_physicalpartofobject c_languagearea c_olympicsmt c_sisvocabmt c_gaseoustangiblething c_tedbundy c_tptpcol_15_27122 c_tptp_member856_mt c_tptpbakersfieldcactus_3 c_setorcollectionunion2 c_provisions c_georegion_l4_x12_y41 s_http_www2usenetarchiveorgdir100file477html c_tptp_member7_mt c_fasintelligenceresourceprogrammt s_http_eurwebcominteractcommentviewcfmid21914 s_http_wwwnwcncomartsandleisuredvdreleasesstoriesnw_011304etndvdreleaseslj11345ec0html c_tptpcol_11_118021 c_tptp_member1374_mt c_tptp_member2538_mt c_communicationwithservicespecification n_163 c_bypassroute c_tptp_member504_mt s_http_wwwleadingauthoritiescomtalentaallen_debbieallen_debbiedoc c_ziguinchor_regionsenegal c_tptp_member2058_mt n_340 c_muzzleforanimal c_stop s_http_newsbbccoukhienglishentertainmentnewsid_217000217817stm c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_628 s_http_wwwimdbcomnamenm0005307bio s_terroriststhatisamemberofaterroristorganization c_tptpcol_6_114691 c_tptp_member3445_mt c_cursivestyleofwriting s_http_wwwprobertencyclopaediacomcgi_binresplkeywordbertlahroffset0 c_tptpcol_8_113666 c_bjelovarskabilogorska_countycroatia c_tptpcontainer_1 n_613 c_jointventureorganization c_georegion_l3_x6_y12 c_tptpcol_7_116739 c_tptpcol_16_50959 s_http_wwwrubylanecomshopsadellsplaceilistss c_giftadvisormt c_alphacriterion1_infoconcriterionmt c_twodimensionalthing c_manwalkingbypyramidsimt c_tptpcol_13_72776 c_tptp_member3003_mt c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2638 c_tptpcol_15_93775 c_rightwingterrorismandweaponsofmassdestructionmt s_http_wwwtvcomhome_improvementbackstage_passepisode23169summaryhtml c_persondatainterestingnessrulesmt c_tptp_9_163 c_tptpcol_16_28820 s_http_wwwtcminternationalcomlocationhtm c_tptp_member1288_mt c_francegeographymt c_stationeryproduct c_georegion_l1_x2_y2 c_primaryactivitytypeoflocation c_maintainingsomething c_objecttakencareof c_regionalgovernment s_installationswhoseprimaryactivitytypeoflocationhasincludedmaintaininginwhicharegionalgovernmenthasplayedanobjecttakencareofroles c_thematrix_themovie c_higherprioritytemplatetype c_organizationbuildingmt c_tptpcol_9_72964 c_tptp_member2216_mt c_tptpcol_16_25057 c_syntaxspecificationsystem c_valuetablevocabularymt c_georegion_l4_x33_y8 c_thermalenergy c_projectmicrotheory c_tptpcol_16_127085 c_tptp_member2973_mt c_tptpexecutionbyfiringsquad_68 c_englishwordsenseassertions_holdingmt c_uia_animals_demoenvironmentmt c_saicterrorismeventsdatamt s_http_wwwcosmicpenguincomhhzprefhtm c_communicationdevice n_277 c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_4 s_1396 c_communicationssupportvocabmt c_wnmemberholonym s_http_wwwinterstudyorgirelandqueensuniversityintroqueenshtml c_artifact_humancreated c_medicalorganizationdatamt c_proceedings_of_the_13th_world_wide_web_conference c_georegion_l3_x8_y22 c_timehasnobeginningmt c_georegion_l3_x16_y6 c_potentialcbrnethreat n_330 c_fruitbrandy c_tptpcol_6_22531 c_reformulatortestcase c_tptp_member2731_mt c_austinareamt c_quantitychangeevent c_tptp_member1888_mt c_muffettestmt c_ctccollectorontologymappingmt s_http_wwwsmeccorgsage_a_n_fsq_7htm c_nodescut_subsystem c_ecologymt c_cnlpontologymt c_tptpcol_14_26793 c_generalbodystructuremt c_ilpmode_leafstrategymt c_tptp_member1828_mt c_tptpcol_16_30512 c_textvocabularymt c_tptpnsubcollectionofwithrelationfromfnpost_locationcontrolssouthlebanonarmy_3 c_tptp_member1380_mt c_tptpcol_13_118132 c_tptpcol_15_92265 c_tptpcol_7_112642 c_pacifictimezonevocabularymt c_peacekeeper c_cyclishmt c_tptp_member3967_mt c_issue c_tptp_member1505_mt s_http_wwwcomingsoonnetforumsarchiveindexphpt_3063_p_25html n_508 c_biographer c_vocabulary c_motleyfoolukbrokercentreglossary c_tptp_member1276_mt s_http_wwwfactmonstercomipkaa0761438html c_tptp_member1074_mt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_111 c_webglimpse_theprogram c_tptp_member2994_mt c_termformulas c_socreport_cia_20030425_reportcontent c_georegion_l4_x45_y74 c_tptpcol_15_26922 c_explosivematerial c_geographicalthing c_concealmentfromaerialdetection_none c_worldculturalgeographydatamt s_http_wwwgerardbutlernethavenindexphps4e1eb232cb7f9542a7a735fdf80e0e75showtopic23076st10 c_tptpcol_11_92167 s_raleigh_durham c_northcarolina_state c_phonetician c_outofofficeduetoevent c_event c_person c_owns c_confectionery s_peopleinwhichacandyshopplaysahadownedroles c_buyingmt c_desiredvalue c_tptpcol_4_122880 s_thefootballteamwhohasbeenaffiliatedwithbc s_terroriststhatisamemberofagroup c_islamiccalendarmt c_parsenounphrasetest c_subsituationoftypesuchthatfn c_geolocation_x76_y23 c_termcreated c_tptptptpcol_15_18062 c_noiselevel s_http_wwwlivejournalcomgobmljournalpareviewitemid8422dirprev c_humanbodystructuremt c_housemt c_tptpexecutionbyfiringsquad_77 c_georegion_l4_x15_y9 c_georegion_l4_x16_y9 c_relationallexistsfn n_4 c_tptpcol_14_86224 c_uia_cycsecure_demoenvironmentmt s_http_wwwgeocitiescomjames_cutter001rmhtm c_tkbfullyspecifiedsourcemicrotheory c_georegion_l3_x0_y6 c_geographicalreasoningwithrccvocabularymt c_tptp_member2154_mt c_islammt c_tptpboomtown c_queryrolesofactortype c_fourthordercollection c_boseeinsteincondensate_stateofmatter c_militaryevent_statelevel c_many_nlattr c_uia_bw_demoenvironmentmt s_trainingfacility s_3413ce42_f4ed_11d9_9bea_0002b3a85b0b c_tptpcol_5_94209 c_lessthan c_widthofobject s_interpersonal_thing c_disambiguationscoringstrategy c_tptp_member3410_mt c_tptpridgeline_topographical_4 c_tptpncollectionintersection2fngeneral_ranksyrianperson c_nonusprofessionalsportsmt c_tptpcol_14_26832 c_tptp_member1834_mt s_http_wwwropeofsiliconcomprofilephpid809 c_woodwork c_tptpcol_11_26695 s_http_wwwbraintrustdvcomessaysdigital_ragehtml s_http_wwwwordsoftruthnetwordsoftruthbull04_17_2005html c_georegion_l4_x57_y41 c_georegion_l2_x7_y0 c_biologyvocabularymt c_adultfemalehuman c_tptpcol_5_28674 c_productlinkingmt s_http_wwwdvdfevercouknewsnews0805shtml c_tptp_member1698_mt c_tptpshavingrazor_manual_18 c_computertypebyhardware c_jewishcalendarmt c_georegion_l1_x2_y1 c_aiaiworkaroundsmt c_pathsystemcomparisonmt c_usgovernmentdomesticorganizationdatamt c_tptp_member317_mt c_unitedkennelclubmt c_golemterm c_tptpcol_16_62187 c_sksischemavalidatormt c_tptpshavingrazor_manual c_tptp_member377_mt n_279 c_sequin c_nwutrafficabilitymt c_ambientconditionsdatamt c_tptpcol_11_62852 c_under_underspecifiedlocation c_moderateblue_color s_deepmostultramarine s_http_wwwbasicstepsorgenglishnewtestamentstep10l7htm c_ciaworldfactbook1994mt c_tptpscalenusmedius c_drugsubstance c_factorybuildingcomplex c_eventoccursat c_assembling s_factoriesthatisanvenueofanassembling c_tptp_member3143_mt c_tptpcol_7_71684 c_reasoningwithtense_logicmt_neutralplainmetricoperator c_subregions c_tptp_member931_mt s_http_supremelpfindlawcomsupreme_courtbriefs99_190899_1908petamipacificrtf c_mountain c_negligiblewrt c_novoselo_municipalitymacedonia c_pornographymt c_relationinstanceexistsfn c_georegion_l4_x76_y22 c_georegion_l4_x51_y9 c_tptp_member632_mt c_imageretrievalmt s_http_wwwlegcogovhkyr03_04englishcounmtgpaperscm1217cb3_218_epdf c_nancyreagan s_http_wwwmesothelioma__lawyercomstatewashingtonhtml c_tptp_member3148_mt s_isa n_1999 c_analogicalreasoningmt c_candidateinferencesupportscore s_http_forumsxgamorgindexphps139d56ccb0e24593f69b58c70186a2b2actprintclientprinterf31t9613 c_tptp_member1678_mt c_mob c_jacgeopoliticalontologymappingmt s_http_priceseekeryo_storecompssling_blade c_warrantyproduct c_tptpcol_16_26997 c_tptp_member1480_mt n_47 c_towedweapon c_tptp_member485_mt c_border c_certadvisorydatabase s_ca_2000_11 c_tptpcol_8_92675 c_fetreformulatorrulesmt c_tkbfactentrysource_webpage_dossier_lt_gen_mustafa_tlass s_terroristthathasbeenamemberofaterroristorganization s_http_wwwprobertencyclopaediacomcgi_binresplkeywordraybolgeroffset0 c_tptp_member3733_mt s_typeoftangiblethingnamedtrainingfacility c_logofwood s_http_wwwevsdesignscomonline_dealsb0006gqkbgwith_all_deliberate_speedhtml c_tptpcol_11_40325 c_militaryintelligence c_cookingworldtestcaseentitiesmt c_tptp_member583_mt c_parameter c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2339 s_stationerystore s_33fd3901_f4ed_11d9_9bea_0002b3a85b0b s_http_wwwnizkororgftpcgipeoplewwaynelindacanadaright c_sportscommissioner s_http_yalenewhavenhealthorglibraryhealthguideen_usdrugguidetopicasphwidd00103a1 s_http_wwwmsuedudaggycopbkofdeadobits_sihtm c_sunwkcspg_thesoftwarepackage c_marvelsuperheroesmt s_http_wwwhssenieedusgstaffkahackwomenhtm c_artworksdatamt c_hpkby2testmt c_domesticbreedsmt c_fieldofstudy s_http_joyfulmusictripodcompage4html c_mostwantedlistinterestingnessrulesmt c_agent_specificfactsheet_arabianliberationarmymt c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_982 c_tptpdirectstockpurchase c_tptp_member992_mt c_instrumentalartifact c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_5497 c_mtafterrastannurahattack c_contiguousafter_tempstage c_tptp_member3223_mt c_astronomicalstation c_tptpcol_14_68072 c_tkbfactentrysource_database_cia_world_factbook_2005 c_mineralogyvocabularymt c_091401hj_htmmt c_keld c_tptp_member881_mt c_tptp_member3968_mt c_georegion_l2_x6_y1 s_http_wwwvcueduengwebeng384suicidehtm c_translation_12 c_tptp_member3136_mt c_keioumt c_populatedplace s_terroristthathasbeenamemberofaterroristgroup c_georegion_l4_x37_y49 c_containershapedobject c_emergingcruisemissilecapabilitiesmt c_tptp_member2079_mt n_975 c_ballroom c_tptpcol_16_32307 c_tptp_member3630_mt c_ferraricar n_360 c_hezbollahintelreport c_tptp_member31_mt c_tptpexecutionbyfiringsquad_35 c_processexecutablecodefn c_computerprocessrunning c_indexedinformationsource c_tptp_member2118_mt c_edb_ali_baba_ks c_spiritualistmt c_communitysavingsbanksharesinc c_num_genquantrelntotype s_lolly c_parathion c_bridgeheadlexicalmt c_fictionalthing c_coplanarlines c_tptp_member3545_mt c_most_genquantrelnto c_tptpcol_14_26666 c_wamt_modevalinitial_p2 s_attempttohitapolicevehiclehitacrowdedbusstopinstead s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b c_rkfkeyterrainap_fwdrulesmt c_geolocation_x8_y33 s_http_wwwminneapolisparksorgdocumentscaringwirth_minnha_mgmt_plan1pdf c_affectmt c_hormone c_modernmilitarymt c_cut_topographical c_worldproductsmt c_persontypebypersonalattribute c_unitedstatesperson c_tptpcol_16_32505 c_both c_biochemistryvocabularymt n_731 c_systemiccapillary c_planningdomainmicrotheory c_alcohol_compound c_assignmenttemplatetopicmt n_530 c_teresmajor c_structureofclassificationsystemsmt c_textualinferenceprobleminvolvingsenseextension c_particle s_http_wwwangelfirecomtv2ofawgiles09html s_http_wwwrateitallcomi_14189_dave_matthewsaspx c_softwaretestortypeversion c_nightcourt_thetvshow c_tptpcol_8_27140 s_http_wwwindependent_bangladeshcomnewsjul0101072005mghtm c_translation_23 c_helmand_provinceafghanistan c_artifact_intangible c_georegion_l3_x23_y11 c_testoperatesonlywithinregion_fht c_tptp_member1379_mt c_gachsaranoilfield c_geolocation_x21_y73 c_tptptptpcol_16_24908 c_tptpcol_14_118125 c_movementvocabularymt c_atemporalnecessarilyessentialcollectiontype c_tptpcol_8_108548 c_uia_halochemistry_demoenvironmentmt c_unclassified c_infantytrainer c_cbrnetemporarytoolfix c_terrainhighground c_computersecuritymt c_upgrade_hypermail_2_1_3_thesoftwarepatch c_abstractindividual c_mummifiedremains c_abstractstructure c_tptpcol_13_61268 s_http_wwwmoviemakercomissues05videohtml c_markuplanguage_element c_linux_immunix s_62 s_http_dvdawardforbestcomdvd_detail_b00005uo7f_some_folks_call_it_a_sling_bladehtm c_specifiedruleexpressesproposition c_proposition c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_7402 c_unitednationsorganizationmt c_tptpcol_16_30937 c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_8 s_http_wwwmrcrankycommovieskissthegirls722html c_tptpcol_16_15545 c_factbook1997kstemplatemt c_physicalgeographymt c_event_localized c_tptpcol_12_22024 c_percentdeathsduetoduring c_unitedstatesfipscodesdatamt c_georegion_l4_x14_y41 s_language_related_object s_http_wwwpcusaorgpcnewsoldnews199898148htm c_researchfailediranrussianucleardeal s_http_wwwbilly_ball_forumcombbfviewtopicphpp610sidcb662a7a1f999dd674e06ef26575b37b c_linkclosedsubsystems c_englishparaphrasemt s_http_wwwnizkororgftpcgiorgscanadianftppyorgscanadianchurch_of_the_creatorcanadaright c_atom c_kleintensereasoningtest2mt c_mailbox_outdoor c_indirectfacetarc s_http_wwwinformationblastcomtechnical_university_of_munichhtml c_indigenousorganismdualistdatamt c_tptp_member2168_mt s_toolboxofpianotuner s_341aac10_f4ed_11d9_9bea_0002b3a85b0b c_geographyvocabularymt c_suborgs_materialsupport c_cycemailsendingmt c_dualistgeopoliticalvocabularymt c_obstruction_constructionartifact c_irangovernmentorganizationdatamt s_http_wwwucdmcucdavisedusurgeryresidencysurgical_criticalindexshtml c_pathmodeldeonticreasoningmt c_eprexamplesmt c_whomdoessayyedalikhameneiconsiderasenemymt c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2952 c_advancenoticeofcollectiondateandamount c_glfgraph2fordutchsleymt s_http_webpitascomcananopie02_05_2005html c_jinotega_departmentnicaragua c_tptpcol_11_93701 s_http_wwwamazoncomexecobidostgdetail_1893224244vglance c_tptp_member3544_mt c_2001_aspaceodyssey_themovie c_microbiologicalchemistrymt c_kimcarnes c_tptpcol_16_26790 s_2008 c_temporallyextendedthing c_hillyregion s_http_wwwwashingtonpostcomwp_srvstylelongtermmoviesvideoscluelesspg13hinson_c02396htm c_uia_theoriesandconcepts_demoenvironmentmt s_http_wwwrethinkingedorgukgeldof1htm s_http_wwwnewsharvardedugazette19980129klineweavernamehtml c_dialoguetrackingcollectormt c_howitzerbn1_1_rrs c_tptpcol_16_129013 c_facetinstancecollection c_template c_tptpcol_16_25972 c_usgovernmentorganizationdatamt c_conventionalclassificationtype s_http_familyscreensceneallinfoaboutcomtvone_tree_hillhtml c_disposingofanexplosivedevice c_geolocation_x40_y37 c_tptptypes_8_397 c_supposedtobemicrotheory c_balaghat_district_india c_situationspecification c_tptp_member2147_mt s_http_newsbbccouk1hiuk2012881stm c_collectionwithaneventlikeorder c_temporarylexicalassertions_paulsmt s_http_encyclopediathefreedictionarycomscrewball20comedy20film c_translation_25 c_smokyarea c_tptpnproductproviderfn_sellerelectronichouseholdappliance_9 c_variedordercollection c_tptp_member3369_mt c_clarifyingcollectiontype c_airforcepersonnel c_uia_personalassistant_demoenvironmentmt c_tptpcol_16_28925 c_elprogreso_departmentguatemala c_humanshaped c_acquaintedwith c_inorganicmaterial n_72 c_navalmine c_mineralfield c_georegion_l4_x50_y66 c_georegion_l4_x50_y67 c_inagua_districtbahamas s_http_wwwjfk_onlinecomjfk100bigjimhtml c_persistencedistribution c_tptpsphere_5 c_containergmt c_tptp_member2402_mt c_tptptypes_9_694 c_humanperceptionmt c_externalontologyprojectsmt c_eonoderawmeaningdefinedbutneedsdeeperke c_router_network c_unitedstatesofamerica c_tptpcol_14_40422 c_dishdryingrack c_wamt_evalinitial_p13 c_tptp_member1719_mt c_royaltyridgescenarioweathermt c_marinepersonnel c_metaworldmt c_indigenousorganismdatamt c_butler_fastbusiness_mt c_tptp_member3311_mt c_pq103_110mt c_computerrunningmt c_htmltagattribute c_lexicalmicrotheory c_agentgmt c_tptp_member2934_mt n_206 c_submarinefleet_organization c_medicalvulnerabilitymt c_mtalternatives c_permanentlynorthwestof c_geolocation_x61_y6 c_irspolicymt c_threateningtodomurderdeviceusedhandgrenade c_specializedknowledge_topic c_kleintensereasoningtest1mt s_http_wwwasha_foundationorgwomenwomenhelen_gurley_brownphp c_indigenousorganismdatavocabularymt s_http_thecommonillsblogspotcom200502dallas_has_problems_with_arts_sectionhtml c_tptpcol_14_93767 c_visibleparts c_allgenlroles c_spatiallycontains c_georegion_l4_x34_y6 c_informationgvocabularymt c_february c_georegion_l4_x1_y57 c_cycsecuredatafile c_terminator2_themovie c_tptp_member2938_mt c_williambloke_thealbum s_http_enwikipediaorgwikihis_girl_friday c_hhb2_63arty_rrs s_nanki_shirahama c_ioniccompound s_http_wwwecbakersfieldorgdefendingourselves4doc c_mrmagoo_themovie c_helm_1 c_tptpcol_9_18694 s_terroriststhathasbeenamemberofagroups c_tptphoseclamp c_modernmilitarytacticsmt c_uia_coas_demoenvironmentmt c_tptp_member117_mt n_868 c_technicalworker c_tptp_member579_mt c_tptpcol_16_27233 c_tptp_member1496_mt c_monsoonforest c_pq204mt c_georegion_l4_x37_y71 c_tptp_member1411_mt c_nintendo64_theproduct s_ca_2002_27 c_cycorptermimagemt c_tkbfactentrysource_webpage_two_detainees_of_damascus_spring_released_after_the_expiry_of_their_sentences c_tptpelectroencephalographmachine c_tptpcol_9_22276 c_internationalenergyoutlook1998mt s_http_wwwprobertencyclopaediacomcgi_binresplkeywordadamsandleroffset0 c_tptp_member3017_mt c_qaworkflowmt c_physicalagentmt c_tptpcol_9_93954 c_tptp_member1660_mt c_riograndedosul_statebrazil s_http_homepagesihugconzghawkinsimqsbreshtm c_bpv_definitionalmt c_bpvitemtype s_http_www7scombestdvd2nfdripfdb3h6html c_tptpcol_12_92231 c_fairdebtcollectionpracticesact s_http_wwwwomenstennisforumscomshowthreadphpt58754 s_terroriststhathasbeenamemberofagroup s_9c416432_b89a_4a1c_8796_12ce4f0f1626 c_somewhatexcessivelydrainedregion c_blockinganenemy c_tptpnkillingbymeansoffnphysicaldevice_98 s_http_wwwelseroadcomntchronology_of_the_nthtm c_cliche c_tptp_member667_mt s_http_wwwempireonlinecomforumtmaspm62284mpage5 s_http_wwwnewscorpcomreport2000filmed_ent2html c_investigation c_for_underspecifiedlocation c_breast c_tptpcol_14_22079 c_tptpcol_16_60506 s_http_wwwcomputerbusinessreviewcomcompanyprofileaspguidd80ec5c2_6048_4b8f_b693_8a87ad230a64 c_cogenlpreds s_http_wwwnizkororgftpcgiorgscanadiannorthern_foundationcanadaright s_http_wwwallwebdirectoriescomwwlanew_york_city_asbestos_attorney_informationhtml c_tptpcol_15_30622 c_officebuilding c_naivebiologicaldescentmt c_georegion_l1_x1_y0 s_http_wwwmnstateeduedhumanaccreditationstandardssecure_folderexhibitspdfmedicalconditionresearchcrouzonpdf c_allotment_8 c_ethnicity c_ethnicgroupofindia n_881 c_unabletodefendaftertaskins c_modernmilitaryunit_deployable c_miptdatabase19982002_temporarymt c_georegion_l4_x26_y7 c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_58 c_tptpcol_16_130932 n_170 c_booleanparameter c_acetonecyanohydrin c_georegion_l2_x6_y0 c_sidap_fwdrulesmt c_basichumanrights_undeclaration c_tptpcol_13_4426 c_softwaretestortype c_universalvocabularyimplementationmt c_nearestcommongenls c_tptpcol_15_59325 c_device_proximatelycontrolled s_http_wwwunomahaedujrfduvallpbhtm s_http_healthenotescomgenetic_disorders_encyclopediafsh_muscular_dystrophy c_tptp_member3574_mt c_nyseksmt s_http_archiveaudioreviewcom050ef87e1aphp c_relativelocationalpredicate c_cycanalyticenvironment_theprogram c_pq228mt c_situationpredicaterepresentationmt s_http_wwwastroszonecomforumsarchiveindexphpt_1751html c_tptp_8_14 c_tptpcol_15_20755 c_tptp_member3904_mt c_tptp_9_210 c_tptpcol_16_30531 c_uia_automobiles_demoenvironmentmt c_tptpcol_11_22086 c_publicationdatamt c_errorrate c_scalarinterval c_tptp_member2252_mt c_vulnerabilitymt c_artobject c_formulatemplateassertionformat s_establishislamicinternationaleunderthepatrongageofosamabinladen c_politicalorganization s_3406aee4_f4ed_11d9_9bea_0002b3a85b0b n_52 c_cbrne_gke_testmt c_temporallyfinishedby c_prefixsubstring c_tptpaltartable c_tptp_member3343_mt s_http_whosedayisittodayblogspotcom2004_06_01_whosedayisittoday_archivehtml c_compliancestatusattribute s_terroriststhatisamemberofaterroristgroup c_tptp_member2110_mt c_tptpcol_10_31619 c_georegion_l3_x17_y25 c_shoppinggmt c_computerdesktoptheme c_georegion_l4_x47_y72 c_nonterminatingtransitivepredicate c_physicalparttypes c_kingofthehill_thegame c_powder c_arbitraryunion c_tptp_member41_mt c_georegion_l4_x28_y38 c_georegion_l4_x28_y39 c_tptpexecutionbyfiringsquad_75 c_tptpassistantchiefofstaff_intelligence_2 s_separable_entity c_tptp_member423_mt c_tptptptpcol_16_70946 c_tptpexecutionbyfiringsquad_811 c_tptpcol_16_913 s_http_freerepubliccomfocuskeywordkgenerationy c_businessstubmt c_unitednationssecretariat c_tptpcol_15_22073 c_typicalsizestemplatemt c_scenariogenerationactionplannermt c_scenarioelaboratesviaprecondition c_scenariocontext c_tptp_member1562_mt c_tptpshavingrazor_manual_9 c_underspecifiedlocation c_georegion_l3_x4_y2 c_few_nlattr c_chronologyvocabularymt c_americancollegesportspeopledatamt c_modalitymt c_necessary c_crewmemberonship c_tptpcol_8_73219 s_http_wwwtimesofmaltacomcoreheadlinesphpsectionnewsdate20051220 c_georegion_l3_x12_y17 c_allenglishvalidatedlexicalmicrotheorypsc c_hooters_therestaurant c_tptp_member1815_mt c_motorcycle n_334 c_tptpcol_10_118147 c_tptp_member3341_mt n_689 c_americanrhea s_http_wwwthebookstandardcombookstandardnewsauthorarticle_displayjspvnu_content_id1001570449 s_http_igougocomplanningjournalaspjournalid3591 c_glfmt c_countygovernment s_http_wwwbizjournalscomkansascitystories20020506daily31html c_sucre_departmentcolombia c_tptpcol_8_18949 c_selectingsomething c_chosenitem c_creditcard s_willchooseacreditcard c_tptpcol_15_16668 c_militaryattack c_performedby c_guerillaforce c_declarativecontext c_famousindividual c_irspolicyvocabularymt s_http_open_siteorgkidsworld_and_countriesafricaburundi c_tptp_member1013_mt c_tptp_member1866_mt c_televisionset c_tptp_member2512_mt s_http_quikonnexcomchannellinkphpid7418 c_webgatheredgafmicrotheory s_http_wwwnyfolkloreorgprogsfc99explorehtml c_tptpcol_15_40430 c_factoryirrelevantmicrotheory c_tptpcol_16_30971 c_tptp_member1510_mt c_us_gccsecurityrelationsmt c_baseball_thegame c_is_underspecified c_glassbox_theprogram c_coverfromdirectfire_fair c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_678 c_syria s_http_wwwwriternetcoukphp2newsphpid327item212 c_humanperceptionvocabularymt c_canonicalizerdirective c_deductiveqaheuristicsmt c_geographicalreasoningwithrccmt c_transactionalnetwork n_199 s_bd5933ac_f9fd_41d8_8af5_bbc93c33b7d1 c_september n_2001 s_bd596c1e_f9fd_41d8_8990_c458522a8ea5 s_thelatepartofthespellbetweensometimeinthe1990sandmostsometimeinseptember2001 c_tkbfactentrysource_book_axis_of_evil_iran_hizballah_and_the_palestinian_terror_the c_bodyofwater_intermittent c_zerodimensionalthing c_hawaii_island_hawaii c_changedactor c_set_mathematical s_http_wwwucopedusciencetodaypagesarchivetranscripts2003sci786html c_giftbasket s_firereel s_34270823_f4ed_11d9_9bea_0002b3a85b0b c_northof c_motleyfoolukglossarymt c_meat_humanfood c_tptp_member927_mt c_tptpnremotelyexploitablefnvulnerabletostartupfileoverwrite_1 c_pq_mt c_tptp_member1746_mt c_wearsclothing c_tptpcol_15_106097 c_tptpcol_16_130924 c_naivephysicsmt c_darkreddishpurple_color n_13 c_militaryhardware c_turkey c_tptp_member1465_mt c_drugsinafricamt c_pq230mt s_http_wwwnizkororgftpcgipeoplecftppypeoplecchristiedougcanadaright c_academicorganizationvocabularymt c_facility_generic c_unitedstatesfederalgovernment c_panama c_reasoningaboutprospectiveantecedentsmt c_tptpcol_16_30034 c_twodimensionalgeometricthing c_tptp_member2974_mt c_tptp_member1407_mt c_iamissionobligationvocabmt c_tptpcol_13_18679 c_geolocation_x54_y53 c_cybervulnerabilityexploit s_http_wwwnzfilmconzdownloadsnz20film20issue2073pdf c_rubble c_tptpcol_10_72837 c_ukraine c_militarypoliceofficer c_properphysicalparts c_textualinferencecontentmodelcreationtemplatemt s_http_wwwwinecountryitarticlesenogastronomy_and_tourism548 c_individualagent c_theprototypicaltptpcol_16_7979 s_http_wwwwmuciacommkmk_album_200207_2aspprintpage1 c_accident c_damages s_accidentsinwhichaautohasplayedadamageroles c_georegion_l4_x44_y10 c_tptpcol_12_18632 c_hardcopyinformationbearingobject c_producinghardcopy c_basicprice c_tptp_member457_mt s_http_www123helpmecomassets16067html c_tptp_member99_mt c_tptp_member2575_mt c_pharmaceuticaldetailsmt c_worldwideweburlmt s_http_wwwprobertencyclopaediacomcgi_binresplkeywordcheroffset0 c_overlappingspaceregions c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_8722 c_georegion_l2_x8_y1 s_http_wwwmccchurchorgmncstatement20of20call20to20be20the20next20moderator20of20ufmccdoc s_http_wwwempireonlinecoukforumtmaspm62284mpage5 c_tptpcol_3_3 c_massmediamt c_obtainingasearchresult_34399922 c_along_underspecifiedpath c_ciaworldfactbook1997mt c_possesses c_israel c_tptp_member1458_mt c_tptptypes_6_803 c_earthweathermt n_720 c_nasalbone c_bienhoa_provincevietnam c_tptp_member630_mt c_naturalgeographyvocabularymt c_landtopographicalfeature c_georegion_l4_x46_y9 c_horusweaponsontologymappingmt c_sisphysicalschema s_http_websitesexpercraftcomn51pwindexphpqlog_entrylog_id4868 c_compoundtypebycompositionfn c_integer c_tptp_member1197_mt n_617 c_pontiacventuraiicar c_tptp_member1793_mt c_tkbfactentrysource_webpage_dossier_maher_assad c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_597 c_tptp_member2964_mt c_tptpcol_13_29046 c_tptp_member2097_mt c_tptpcol_15_28653 c_tptp_member1044_mt c_source_frontline_shows_network_mt c_tptpcol_15_40433 c_reservist c_electricity c_perceptualagent s_http_wwwnizkororgftpcgipeoplecchristiedougftppypeoplecchristiedougcanadaright c_tptp_member2082_mt s_http_wwwstartrekcomstartrekviewnewsarticle124354html c_tptpcol_14_109174 c_uppervocabularycollectormt c_tptp_member2598_mt c_horusartifactontologymappingmt c_tptpcol_8_93187 c_abductionconstraintsmt c_jacgeopoliticalissueontologymappingmt c_mspaint_theprogram c_graphicalstructuretype c_simpleastronomydatavocabularymt c_userredirectapplicabilityproperty c_georegion_l4_x5_y1 c_georegion_l4_x5_y2 c_temporaryparts c_transportfacility c_terroristattack c_collectionsubsetfn n_2 c_tptpquantityfn_11 c_listoftypefn c_opensourcecomputerprogram c_governmentfn c_obtainingastringbasedsearchresult c_linearobject_nonplanar c_linearobject_onedimensional c_tptpcol_16_7979 c_physicalseries c_productionindustrytypefn c_munsellredpurplefn c_southeasternregionfn c_subcollectionbyregionfn c_qualitativetimeofday c_decadefn c_sometimeinintervalfn c_timeintervalinclusivefn c_residentfn c_programprocessesfn c_gen_commutativity_disj c_physicalpartpredicate c_secretariat c_soedefaultgraphablepredicate c_tptpcol_16_70946 c_hidinganobjectbymovingit c_sampleinstanceoftypeforprogramfn c_mt_topic c_cancerfn c_tptpcol_16_25985 c_theorymicrotheory c_metapredicate c_electroencephalographmachine c_nonabduciblepredicate c_tptpquantityfn_12 c_computergameprogram c_latepartfn c_reasoningwithmultifuture_inferencemt c_cone c_power_quality c_artifacttypebyfunction c_armedforcesfn c_animalbodyshapetype c_transportationpathsystem c_roadvehicle c_train_transportationdevice c_formulatemplate c_triggeringsomething c_templatefromtestqueryfn c_surface c_multisurface c_uniformresourceidentifier c_urifn c_quintarypredicate c_unsatisfactoryattempttofn c_cardealerfn c_tptpcol_16_8398 c_climateconcept c_britishperson c_softwarepackage c_defaultmonotonicpredicate c_persontypebyoccupation c_referenceworkentryfn c_civiladministrativeregion c_forest c_park c_spatialcotemporalpredicate c_businessroute c_collectorroad c_typicallycomparestowrtslotfn c_correspondinggenquantfn c_boomtown c_genericquantity c_highamountfn c_tptpcol_15_18062 c_functionalslot c_scientisttypebyfield c_tptpquantityfn_9 c_proximityandlocation_spatial_topic c_basics_fundamental_topic c_unrefinedfn c_vocabularyforstatingrelationshipsbetweenmicrotheories_mtexpansion_topic c_vectorinterval c_livinglanguage c_fluidtangiblething c_deformable c_lotteryofstatefn c_liquidfn c_vaporfn c_blueunit c_coadescriptionmtforfn c_freeware c_accessingacomputeraccount c_nondavidsonianpredfn c_scenariogenerationtypepredtestmt c_scenariogenerationtestmt c_nationalculturefn c_etiquetteofculturefn c_bbnrelationtypepredicate c_owlexportablerelation c_taskmodelmtfn c_tptpcol_16_2871 c_fruitfn c_tastefn c_hlpredicate c_tptpquantityfn_16 c_unsuccessfulattempttofn c_tptpquantityfn_4 c_list c_unversionedprogram c_reformulatorirrelevantfort c_intelligenceagent c_collectionintersectionfn c_versionedprogram c_subcollectionofaboutfn c_puzzlegameprogram c_collegesportsteam c_rulemacropredicate c_textualinferenceproblem_pascalformat c_meaninginsystemfn c_mappingmtfn c_tptpquantityfn_2 c_biologicallivingobject c_conceptnodesfortasktypefn c_tptpcol_15_11774 c_microtheorypredicate c_architectureindependentcomputerpatchprogram c_logicalfield c_logicalfieldfn c_tptpquantityfn_20 c_accessoryfn_artifact c_predicatetype c_physicalfeaturepredicate c_tptpcol_14_64198 c_kindlevelpredicate c_wordnetsynset c_industryofregionfn c_setoftypefn c_logicalschema c_mereotopologyconcept c_tptpquantityfn_8 c_parttypefn c_countynamedfn c_tptpquantityfn_21 c_interconvertibleunittype c_relationalnounslot c_predicates_fundamental_topic c_capabilitiesmt c_typecapablefn c_tptpquantityfn_1 c_wordnetsynsetimportstatus_readyforlexification c_mobfn c_computeraccount c_cyclanalogtoconceptnetpred c_predicate c_microtheoryrelatingpredicate c_basekbpredicate c_vocabularydefiningpredicate c_militaryequipment c_name c_transportationtypebytransportertype c_transportviafn c_playingfn c_accessoryfn_activity c_lexicalword c_humanfemalegivennamefn c_objecttype c_taxonomicslotforpredicates c_cityincountryfn c_countrysubsidiary c_roadway c_continent c_city c_independentcountry c_county c_province c_tptpquantityfn_3 c_abstractvisualstructure c_graph_documentpart c_table_documentpart c_evaluatingvalueofwithrespecttofn c_publiclyheldcorporation c_homosapiens c_tptpquantityfn_6 c_versionedsoftwareobject c_softwareversionfn c_femalehuman c_octopus c_manufacturedgoodstype c_contentmtheadfn c_mtexpansion_topic c_argumentgenl_fundamental_topic c_tptpquantityfn_17 c_unitofmoneyofgeopoliticalentityfn c_humansurname c_namefn c_wordnetsynsetimportstatus_determinedindividual c_wordnetsynsetreifiedfn c_tptpquantityfn_15 c_citizenfn c_product c_serviceevent c_durablegood c_stufffn c_helicopter_ee9cascaval c_formulatemplateinductiontopictypefn c_chemicalsubstancefn c_historichuman c_tptpquantityfn_0 c_temporalobjecttype c_visitingsitefn c_instancewithrelationtofn c_spatialthing c_uniformresourcelocator c_glassboxallotmentfn c_workaroundsmanagementmicrotheory c_presuppositionsmtofpcwfn c_userofsystemwithlocalnamefn c_waterbodyconcept c_tptpquantityfn_18 c_marriagelicensedocument c_regiment_militaryechelon c_manufacturerfn c_tptpquantityfn_14 c_malehuman c_collectionintersection2fn c_tptpquantityfn_19 c_subcollectionofwithrelationtofn c_reflexivebinarypredicate c_geopoliticalregion c_citynamedfn c_territoryfn c_propersubcollectionnamedfn_ternary c_editionforintervalfn c_groupfn c_spatiallydisjointobjecttype c_pairfn c_computervulnerabilityreportfn c_geolevel_1 c_district_india c_subcollectionofwithrelationfromtypefn c_lowamountfn c_tptpquantityfn_5 c_subcollectionofwithrelationfromfn c_newspaperissue c_yearfn c_monthfn c_dayfn c_editionfn c_cyclsentence c_calendarmillisecond c_businessperson c_commercialorganization c_workplace c_subcollectionofwithrelationtotypefn c_contentmtfn c_geolevel_3 c_constructedcyclqueryspecification c_normativespecification c_thefn c_simplequeryforformulafn c_tptpquantityfn_7 c_recordmtbyusertaskandapplicationfn c_georegiontogeoregionpredicate c_rockysoilregion c_gravellysoilregion c_collectionunionfn c_unaryfunction c_tptpquantityfn_13 c_rightobjectofpairfn c_contextofpcwfn c_contentmtofcdafromeventfn c_urlfn c_urlreferentfn % 114.46/23.48 Fol Functions: f_urlfn f_urlreferentfn f_contentmtofcdafromeventfn f_contextofpcwfn f_rightobjectofpairfn f_tptpquantityfn_13 f_recordmtbyusertaskandapplicationfn f_tptpquantityfn_7 f_contentmtfn f_subcollectionofwithrelationtotypefn f_relationexistsallfn f_yearfn f_monthfn f_dayfn f_editionfn f_subcollectionofwithrelationfromfn f_tptpquantityfn_5 f_lowamountfn f_subcollectionofwithrelationfromtypefn f_relationallexistsfn f_computervulnerabilityreportfn f_pairfn f_groupfn f_editionforintervalfn f_propersubcollectionnamedfn_ternary f_citynamedfn f_territoryfn f_subcollectionofwithrelationtofn f_tptpquantityfn_19 f_collectionintersection2fn f_tptpquantityfn_14 f_manufacturerfn f_tptpquantityfn_18 f_userofsystemwithlocalnamefn f_presuppositionsmtofpcwfn f_glassboxallotmentfn f_instancewithrelationtofn f_visitingsitefn f_tptpquantityfn_0 f_chemicalsubstancefn f_formulatemplateinductiontopictypefn f_stufffn f_citizenfn f_tptpquantityfn_15 f_wordnetsynsetreifiedfn f_namefn f_unitofmoneyofgeopoliticalentityfn f_tptpquantityfn_17 f_contentmtheadfn f_softwareversionfn f_tptpquantityfn_6 f_evaluatingvalueofwithrespecttofn f_tptpquantityfn_3 f_cityincountryfn f_humanfemalegivennamefn f_playingfn f_accessoryfn_activity f_transportviafn f_mobfn f_tptpquantityfn_1 f_typecapablefn f_tptpquantityfn_21 f_countynamedfn f_parttypefn f_tptpquantityfn_8 f_industryofregionfn f_accessoryfn_artifact f_tptpquantityfn_20 f_logicalfieldfn f_conceptnodesfortasktypefn f_tptpquantityfn_2 f_mappingmtfn f_meaninginsystemfn f_subcollectionofaboutfn f_tptpquantityfn_4 f_unsuccessfulattempttofn f_tptpquantityfn_16 f_fruitfn f_tastefn f_taskmodelmtfn f_nationalculturefn f_etiquetteofculturefn f_coadescriptionmtforfn f_liquidfn f_vaporfn f_lotteryofstatefn f_subcollectionofusedfortypefn f_unrefinedfn f_tptpquantityfn_9 f_highamountfn f_correspondinggenquantfn f_typicallycomparestowrtslotfn f_referenceworkentryfn f_cardealerfn f_unsatisfactoryattempttofn f_urifn f_armedforcesfn f_latepartfn f_tptpquantityfn_12 f_cancerfn f_sampleinstanceoftypeforprogramfn f_programprocessesfn f_residentfn f_decadefn f_sometimeinintervalfn f_timeintervalinclusivefn f_southeasternregionfn f_subcollectionbyregionfn f_munsellredpurplefn f_productionindustrytypefn f_governmentfn f_listoftypefn f_tptpquantityfn_11 f_collectionsubsetfn f_compoundtypebycompositionfn f_templatefromtestqueryfn f_processexecutablecodefn f_relationinstanceexistsfn f_subsituationoftypesuchthatfn f_nondavidsonianpredfn f_smugglingfn f_collectionintersectionfn f_sublsymbolentityfn f_setoftypefn f_subcollectionofusedforfn f_thefn f_simplequeryforformulafn f_collectionunionfn f_nextiteratedcyclicintervalfn f_abilityoftotypefn % 114.46/23.48 Problem Properties: % 114.46/23.48 This is a full first-order problem without equality. % 114.46/23.48 % 114.46/23.48 After reduction: Problem Properties: % 114.46/23.48 This is a full first-order problem without equality. % 114.46/23.48 % 114.46/23.48 % 114.46/23.48 Reduced Input Clauses: % 114.46/23.48 8008:1:0:[8007.0,2078.1]:: mtvisible(c_tptpgeo_member1_mt) -> % 114.46/23.50 % 114.46/23.50 Most General Atoms: fluidconduit(x0) culturespecificmicrotheory(x0) genlmt(x0,x2) artificialwaterfeature(x0) collectionunionfnthesetgravellysoilregionrockysoilregion(x0) microtheory(x1) antibiotic(x0) inanimateobject(x0) catholicgift(x0) mtvisible(x1) softwareparametervalueobject(x0) aspatialinformationstore(x0) partofbuilding_abovegroundfloor(x0) clothingconvention(x0) visualmark(x0) tptpcol_14_26928(x0) tptpcol_13_26920(x0) isa(x0,x2) collectionunionfnthesetworkplacecommercialorganizationbusinessperson(x0) physicalorderingpredicate(x0) spatialpredicate(x0) state_geopolitical(x0) nonnaturalthing(x0) collectionunionfnthesetcalendarmillisecondcyclsentence(x0) intangibleindividual(x0) natargument(f_urlreferentfn(x0),n_1,x0) triggerabledevice(x0) cyclexpression(x0) tptpcol_10_18440(x0) tptpcol_9_18439(x0) tptpcol_3_114688(x0) tptpcol_2_98304(x0) conductingmedium(x0) natfunction(f_urlreferentfn(x0),c_urlreferentfn) natargument(f_urlfn(x0),n_1,x0) tptpcol_11_26950(x0) tptpcol_10_26886(x0) modalityfeature(x0) natfunction(f_urlfn(x0),c_urlfn) beliefsystem(x0) natargument(f_contentmtofcdafromeventfn(x0,x1),n_2,x1) natargument(f_contentmtofcdafromeventfn(x0,x1),n_1,x0) natfunction(f_contentmtofcdafromeventfn(x0,x1),c_contentmtofcdafromeventfn) arg2isa(x0,x2) relation(x0) agentcapacityquantity(f_abilityoftotypefn(x0,x1)) natargument(f_abilityoftotypefn(x0,x1),n_2,x1) natargument(f_abilityoftotypefn(x0,x1),n_1,x0) tptpcol_15_109182(x0) tptpcol_14_109181(x0) natfunction(f_abilityoftotypefn(x0,x1),c_abilityoftotypefn) tptpcol_12_72806(x0) tptpcol_11_72774(x0) offensivelyadvantageousterrain(x0) ham(x0) pairfnstar(x0) superabstractype(x0,x2) lifestagetype(x1) tptpcol_11_18568(x0) tptpcol_10_18567(x0) shavingrazor_manual(x0) transitivebinarypredicate(x0) groupfnmarble_ball(x0) flatobject(x0) natargument(f_contextofpcwfn(x0),n_1,x0) orderingpredicate(x0) objectpredicate(x0) natfunction(f_contextofpcwfn(x0),c_contextofpcwfn) relationallinstance(x0,x1,x2) urbanarea(x0) inanimateobject_nonnatural(x0) idobject(x0) tptpcol_6_24580(x0) tptpcol_5_24579(x0) tptpofobject(x0,x1) tptpquantity(x1) rightobjectofpairfngreateroccipitalnerve(x0) executionbyfiringsquad(x0) timeindependentcollection(x0) informationstore(x0) location_underspecified(x0) propersubcollectionnamedfn_ternaryrepairshoplocation_underspecified33d76185_f4ed_11d9_9bea_0002b3a85b0b(x0) nucleus(x0) carairfreshener(x0) publiclytradedproperty(x0) propositionalinformationthing(x0) formulatemplatemicrotheory(x0) taxdocumentmicrotheory(x0) silver(x0) militaryperson(x0) collectionintersection2fnsrilankanpersonmilitaryperson(x0) uniqueanatomicalparttype(f_rightobjectofpairfn(x0)) natargument(f_rightobjectofpairfn(x0),n_1,x0) natfunction(f_rightobjectofpairfn(x0),c_rightobjectofpairfn) greateroccipitalnerve(x0) soefromfacetarc(x0) antisymmetricbinarypredicate(x0) natargument(f_tptpquantityfn_13(x0),n_1,x0) manufacturerfnballbearing(x0) tptpcol_9_109315(x0) tptpcol_8_109059(x0) natfunction(f_tptpquantityfn_13(x0),c_tptpquantityfn_13) continuoustimeinterval(f_nextiteratedcyclicintervalfn(x0)) natargument(f_nextiteratedcyclicintervalfn(x0),n_1,x0) loopterminatingtransitivepredicate(x0) onedimensionalthing(x0) natfunction(f_nextiteratedcyclicintervalfn(x0),c_nextiteratedcyclicintervalfn) spatialpathsystem(x0) unaryfunction(x0) tptpcol_11_72711(x0) tptpcol_10_72710(x0) haveoccupationtypeinindustrytypenuclearindustrysecurityguard(x0) collectionunionfnthesetinformationbearingthingagent_generic(x0) partiallyintangibleindividual(x0) tptpcol_6_71683(x0) tptpcol_5_69635(x0) tptpcol_9_117764(x0) tptpcol_8_117763(x0) predicate(x1) water(x0) genls(x2,x0) no(x1,x0) ruralarea(x0) few(x0,x2) tptpcol_10_93827(x0) tptpcol_9_93699(x0) natargument(f_collectionunionfn(x0),n_1,x0) natfunction(f_collectionunionfn(x0),c_collectionunionfn) gravellysoilregion(x0) rockysoilregion(x0) factorycandidatespatialthingforcomparison(x0) humanlyoccupiedspatialobject(x0) tptpcol_9_26630(x0) tptpcol_8_26629(x0) geographicalregion(x1) tptpcol_10_22149(x0) tptpcol_9_22021(x0) tptpcol_4_81922(x0) tptpcol_3_81921(x0) opaque(x0) endofcordlikeobject(x0) georegiontogeoregionpredicate(x0) softwareinteractionsessionrecordmicrotheory(f_recordmtbyusertaskandapplicationfn(x0,x1,x2)) natargument(f_recordmtbyusertaskandapplicationfn(x0,x1,x2),n_3,x2) natargument(f_recordmtbyusertaskandapplicationfn(x0,x1,x2),n_2,x1) natargument(f_recordmtbyusertaskandapplicationfn(x0,x1,x2),n_1,x0) natfunction(f_recordmtbyusertaskandapplicationfn(x0,x1,x2),c_recordmtbyusertaskandapplicationfn) tptpcol_13_22056(x0) tptpcol_12_22055(x0) tptpcol_12_26919(x0) tptpcol_11_26887(x0) armedforcesmedic(x0) geographicalagent(x0) natargument(f_tptpquantityfn_7(x0),n_1,x0) natfunction(f_tptpquantityfn_7(x0),c_tptpquantityfn_7) arg1isa(x0,x2) propersubcollectionnamedfn_ternarychristchurchlocation_underspecified33f34df1_f4ed_11d9_9bea_0002b3a85b0b(x0) genericallyequivalentquantity(x0,x1,x2,x3) soldier(x0) genericvaluepredicate(x3) sulfurhexafluoride(x0) presuppositionvocabterm(x0) webgatheredgafmicrotheory(x0) rolls_roycejamesyoungcar(x0) subcollectionofwithrelationtofnenduringthing_localizedinregioncitynamedfntoribiocolombia(x0) information_content(x0) chemicalsubstancefnhydrocarbonmolecule(x0) personalproduct(x0) tptpcol_5_118785(x0) tptpcol_4_114689(x0) natargument(f_simplequeryforformulafn(x0),n_1,x0) natfunction(f_simplequeryforformulafn(x0),c_simplequeryforformulafn) natargument(f_thefn(x0),n_1,x0) natfunction(f_thefn(x0),c_thefn) language_specificmicrotheory(x0) normativespecification(x0) timedependentcollection(x0) focaltermtypeforinducedtemplatetype(x0,x1) tptpcol_5_65540(x0) tptpcol_4_65539(x0) wordnetsynsetimportstatus_readyforverbsemtrans(x0) inducedformulatemplatetopictype(x1) glossforformulatemplate(x0,x1,x2,x3,x4) formulatemplate(x0) formulatemplatetopictype(x1) formulaargposition(x2) cyanide(x0) conceptfilterparametertype(x0) situation_pla001_1(x0) furniturepiece(x0) subcollectionofwithrelationfromtypefnmilitarypersonhasmembersgovernmentmilitaryorganization(x0) tptpcol_16_72794(x0) tptpcol_15_72793(x0) constructedcyclqueryspecification(x0) electronicwarfarehelicopter(x0) stufffnpie(x0) sublfunctionspec(x0) tptpcol_12_93796(x0) tptpcol_11_93764(x0) collectionunionfnthesetdurablegoodserviceeventproduct(x0) tptpcol_6_18436(x0) tptpcol_5_16388(x0) siblingspecifications(x0,x2) situationspecification(x1) geolevel_3(x0) natargument(f_contentmtfn(x0),n_1,x0) groupfngroupfnadultmalehuman(x0) ascii_art(x0) dbcontext(x0) natfunction(f_contentmtfn(x0),c_contentmtfn) tptpcol_16_75604(x0) spatiallyboundedthing(x0) tptpcol_9_39941(x0) tptpcol_8_39940(x0) spaceregion(x0) tptpcol_10_22022(x0) tptptypes_6_403(x0,x1) tptptypes_5_387(x0,x1) copper(x0) tptpcol_6_16389(x0) tptpcol_12_26888(x0) tptpcol_9_26885(x0) medicalscale(x0) specifiedcollection(x0) genlspecifications(x0,x2) specification(x1) supplies(x0) pathartifactsystem(x0) tptpcol_7_26628(x0) collection(x2) tptp_8_968(x0,x1) tptpcol_7_7172(x0) tptpcol_16_7738(x0) tptpcol_6_90115(x0) tptpcol_5_90114(x0) directedpath_generic(x0) tptpcol_9_92420(x0) tptpcol_8_92164(x0) collectionunionfnthesetoctopusmalehumanfemalehuman(x0) subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription(x0) limelight(x0) tptpcol_7_19460(x0) natargument(f_subcollectionofwithrelationtotypefn(x0,x1,x2),n_3,x2) natargument(f_subcollectionofwithrelationtotypefn(x0,x1,x2),n_2,x1) natargument(f_subcollectionofwithrelationtotypefn(x0,x1,x2),n_1,x0) natfunction(f_subcollectionofwithrelationtotypefn(x0,x1,x2),c_subcollectionofwithrelationtotypefn) issuingaprescription(x0) tptpcol_10_93700(x0) products(x0,x1) creationordestructionevent(x0) artifact(x1) correctivelensprescription(x0) isuzui_markcar(x0) tptpcol_2_65537(x0) tptpcol_1_65536(x0) tptpcol_6_106499(x0) tptpcol_5_106498(x0) nonelectrolyte(x0) ehbtmicrotheory(x0) collectionunionfnthesethomosapiensgroupfnhomosapiens(x0) mattertypebyphysicalstate(x0) workplace(x0) exanimateobject(x0) mobilityfacilitatingterrain(x0) commercialorganization(x0) businessperson(x0) uscityorcounty(x0) tptpcol_16_74285(x0) hypotheticalcontext(x0) thirdordercollection(x0) fixedordercollection(x0) cycsubjectclump(x0) evaluatingvalueofwithrespecttofncomputernetworkmissionspecificationmicrotheory(x0) tptpcol_7_20485(x0) tptpcol_6_20484(x0) tptpcol_8_118274(x0) tptpcol_7_117762(x0) glfgraphcomponent(x0) topologicalspacetype(x0) mathematicalthing(x0) calendarmillisecond(x0) collectionunionfnthesettable_documentpartgraph_documentpartabstractvisualstructure(x0) collectionunionfnthesettwodimensionalthingonedimensionalthing(x0) usedartifact(x0) atemporalthing(x0) cyclsentence(x0) computerdataartifact(x0) mathematicalobject(x0) subcollectionofwithrelationfromtypefnbodyofwatergeographicalsubregionssea(x0) periodicalissue(f_editionfn(x0,x1)) runningshorts(x0) natargument(f_editionfn(x0,x1),n_2,x1) natargument(f_editionfn(x0,x1),n_1,x0) collectionunionfnthesetgeographicalregionbodyofwaterprovincelandtopographicalfeaturecountyindependentcountrycityairport_physicalcontinentroadwaycountrysubsidiary(x0) natfunction(f_editionfn(x0,x1),c_editionfn) solidtangibleartifact(x0) tptpcol_13_93781(x0) tptpcol_12_93765(x0) subcollectionofwithrelationtofnenduringthing_localizedinregionunitedkingdomofgreatbritainandnorthernireland(x0) calendarday(f_dayfn(x0,x1)) natargument(f_dayfn(x0,x1),n_2,x1) natargument(f_dayfn(x0,x1),n_1,x0) propersubcollectionnamedfn_ternarytizzylocation_underspecified34096e01_f4ed_11d9_9bea_0002b3a85b0b(x0) natfunction(f_dayfn(x0,x1),c_dayfn) calendarmonth(f_monthfn(x0,x1)) natargument(f_monthfn(x0,x1),n_2,x1) natargument(f_monthfn(x0,x1),n_1,x0) collectionunionfntheseteventtimeinterval(x0) placinganindicatoronsomething(x0) collectormicrotheory(x0) collectiontype(x0) tptpcol_11_22023(x0) natfunction(f_monthfn(x0,x1),c_monthfn) may(x0) path_spatial(x0) calendaryear(f_yearfn(x0)) accessoryfn_activityplayingfnvolleyball(x0) natargument(f_yearfn(x0),n_1,x0) natfunction(f_yearfn(x0),c_yearfn) newspaperissue(x0) subcollectionofwithrelationfromtypefnindividualproperpartsindividual(x0) most_genquantrelntotype(x0,x1,x2) setorcollection(x2) collectionunionfnthesetmilitaryequipmentgroupfncommunicationdevice(x0) collectiondifferencefnspatialthingsituation(x0) tptpcol_8_93698(x0) subcollectionofwithrelationfromfnbuildingoperatesfacilitieseuropeanunion(x0) cordlikeartifact(x0) seaport(x0) natargument(f_subcollectionofwithrelationfromfn(x0,x1,x2),n_3,x2) natargument(f_subcollectionofwithrelationfromfn(x0,x1,x2),n_2,x1) natargument(f_subcollectionofwithrelationfromfn(x0,x1,x2),n_1,x0) computationalobject(x0) natfunction(f_subcollectionofwithrelationfromfn(x0,x1,x2),c_subcollectionofwithrelationfromfn) encrypted(x0) building(x0) groupfnsubatomicparticle(x0) operatesfacilities(x0,x1) subcollectionofwithrelationtotypefndangerousthingobjectfoundinlocationunderwaterlocation(x0) format(x0) natargument(f_tptpquantityfn_5(x0),n_1,x0) tptpcol_1_1(x0) tptpcol_0_0(x0) natfunction(f_tptpquantityfn_5(x0),c_tptpquantityfn_5) tptpcol_13_109173(x0) collectionunionfnthesetcollectionpredicate(x0) linearobject_tangible(x0) collectionunionfnthesetagent_genericcomputeraccount(x0) tptpcol_12_109157(x0) tptpcol_2_32769(x0) tptpcol_12_40389(x0) tptpcol_11_40388(x0) tptpcol_14_118118(x0) tptpcol_13_118117(x0) watersolublestuff(x0) scalarproperinterval(f_lowamountfn(x0)) tptpcol_16_26927(x0) tptpcol_15_26925(x0) tptpcol_8_40451(x0) tptpcol_7_39939(x0) communicationconvention(x0) scalarquantity(f_lowamountfn(x0)) natargument(f_lowamountfn(x0),n_1,x0) meat(x0) mobfnboat(x0) alchemytestorganization(x0) mobilitycorridor(x0) concealmentprovidingterrain(x0) sksicontentmicrotheory(x0) natfunction(f_lowamountfn(x0),c_lowamountfn) storminess(x0) tptpcol_16_130925(x0) tptpcol_15_130923(x0) propersubcollectionnamedfn_ternarymusicshoplocation_underspecified33f23c85_f4ed_11d9_9bea_0002b3a85b0b(x0) scriptexecutioncontext(x0) buddhistgift(x0) tptp_8_875(x0,x1) subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent(x0) tptpcol_4_24578(x1) propersubcollectionnamedfn_ternaryreducehungerindividual34104bd3_f4ed_11d9_9bea_0002b3a85b0b(x0) constructionartifact(x0) natargument(f_subcollectionofwithrelationfromtypefn(x0,x1,x2),n_3,x2) natargument(f_subcollectionofwithrelationfromtypefn(x0,x1,x2),n_2,x1) natargument(f_subcollectionofwithrelationfromtypefn(x0,x1,x2),n_1,x0) natfunction(f_subcollectionofwithrelationfromtypefn(x0,x1,x2),c_subcollectionofwithrelationfromtypefn) subevents(x0,x2) directionoftranslation_throughout(x2,x1) movement_translationevent(x0) unitvectorinterval(x1) cycinternalanthropacity(x0) tptpcol_15_30063(x0) tptpcol_10_118020(x0) tptpcol_9_118019(x0) infantryleader(x0) district_india(x0) ruletemplate(x0) collectionunionfntheseteventartifact(x0) electricshaver(x0) oxide(x0) tptpcol_10_40197(x0) tptpcol_9_40196(x0) infantrysoldier(x0) orientedlocation_underspecified(x0) late20thcenturyperson(x0) militaryofficer(x0) tptptypes_9_401(x0,x1) strategictarget(x0) specifiedsubsetof(x0,x1) tptpcol_10_27013(x0) tptpcol_14_72799(x0) tptpcol_13_72791(x0) producttypebylicensingfeature(x0) singleleveltransitivepredicate(x0) tptpcol_7_92163(x0) tptpcol_6_92162(x0) rdxexplosive(x0) tptpcol_15_72796(x0) tptpcol_14_72792(x0) weakeningevent(x0) mathematicalorcomputationalthing(x0) collectionunionfnthesetlogicalschemasetoftypefnlogicalschema(x0) partiallytangibleproduct(x0) candidateinferenceformapping(x0) linguisticexpressiontype(x0) ecologicalregion(x0) conjecturalcontext(x0) tptpcol_16_72795(x0) natargument(f_subcollectionofusedforfn(x0,x1),n_2,x1) natargument(f_subcollectionofusedforfn(x0,x1),n_1,x0) natfunction(f_subcollectionofusedforfn(x0,x1),c_subcollectionofusedforfn) propersubcollectionnamedfn_ternarylibraryofcongresslocation_underspecified342bc310_f4ed_11d9_9bea_0002b3a85b0b(x0) bpvmilitaryunittype(x0) horizontaldatum(x0) poolwater(x0) borderson(x1,x0) topographicalfeature(x0) shadow(x0) linguisticobject(x0) propersubcollectionnamedfn_ternaryundertreelocation_underspecified340e28f2_f4ed_11d9_9bea_0002b3a85b0b(x0) unitofmoneytypebygeopoliticalentity(x0) tkbethnicitylist(x0) geolevel_1(x0) organicsoilregion(x0) monadicmicrotheory(x0) agent_underspecified(x0) computervulnerabilityreport_cw(f_computervulnerabilityreportfn(x0,x1)) renderingadangerousthingsafe(x0) tptpcol_3_65538(x0) natargument(f_computervulnerabilityreportfn(x0,x1),n_2,x1) natargument(f_computervulnerabilityreportfn(x0,x1),n_1,x0) natfunction(f_computervulnerabilityreportfn(x0,x1),c_computervulnerabilityreportfn) propersubcollectionnamedfn_ternaryathotellocation_underspecified33d71362_f4ed_11d9_9bea_0002b3a85b0b(x0) sunbeamtigerseriescar(x0) accessoryfn_artifactwirelesscommunicationdevice(x0) intangible(x0) tptpcol_7_109570(x0) tptpcol_6_108546(x0) batman_aidedecamp(x0) opengisconcept(x0) eliteunit_militaryspecialty(x0) genlpreds(x2,x0) activexcontrol(x0) binarypredicate(x1) citygovernment(x0) hpkb_subnationalagent(x0) tptptypes_8_400(x0,x1) dynamicinfosource(x0) tptpcol_4_98306(x0) tptpcol_3_98305(x0) penguin_cruisemissile(x0) inanimateobject_natural(x0) tptpcol_15_93778(x0) tptpcol_14_93774(x0) tptpcol_7_27651(x0) tptpcol_6_26627(x0) tptpcol_6_112641(x0) tptpcol_5_110593(x0) cycorpquerylibraryfoldercollector(x0) groupfnminorleaguesportsteam(x0) outdoorlocation(x0) internationalorganization(x0) collectionunionfnthesetbiologicallivingobjectgroupfnbiologicallivingobject(x0) contrail(x0) candidatekbcompletenessnode(x0) tptpcol_11_109125(x0) tptpcol_10_109061(x0) securityinformation(x0) computerfile_abstract(x0) eventsandscripts_topic(x0) tptpcol_7_18437(x0) tptpcol_11_109062(x0) natargument(f_pairfn(x0),n_1,x0) tptpcol_9_72709(x0) natfunction(f_pairfn(x0),c_pairfn) star(x0) electrichairshaver(x0) meaninginsystemfnsensus_information1997set(x0) vocabularymicrotheory(x0) tptpcol_13_109158(x0) meaninginsystemfnsensus_information1997nondecomposable_object(x0) region_underspecified(x0) tptp_7_78(x0,x1) terminatingprotectionistpolicies(x0) luggagemarketcategory(x0) tptpcol_8_21509(x0) tptpcol_7_21508(x0) tptpcol_12_40420(x0) subcollectionofaboutfnsuppliesscientificfieldofstudy(x0) tptpcol_16_19788(x0) pushingababycarriage(x0) devisedpracticeorwork(x0) methyldichloroarsine(x0) tptpcol_16_9612(x0) tptpcol_16_130933(x0) phaselineboundedarea(x0) militarypersonnelbunker(x0) collectionintersectionfnthesetintelligenceagentmilitarypersonunitedstatesperson(x0) tptpcol_15_130931(x0) tptpcol_16_30972(x0) tptpcol_15_30970(x0) underdevelopedregion(x0) aspatialthing(x0) objecttypebystyle(x0) arableland(x0) concentrationcamp(x0) ediblecalcium(x0) infoconlevelmicrotheory(x0) unsuccessfulattempttofnpropersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(x0) enlistedperson(x0) trapidle(x0) chemicalsubstancefnpropanoateion(x0) infantrybrigade(x0) smokingdevice(x0) tptpcol_15_92268(x0) tptpcol_14_92264(x0) tptpcol_13_26935(x0) disjointwith(x1,x2) tptptypes_7_826(x0,x1) tptptypes_6_818(x0,x1) spatiallydisjointobjecttype(x0) haircuttingrazor(x0) tptpcol_8_72708(x0) tptpcol_7_72707(x0) tptpcol_12_72775(x0) tptpcol_10_92293(x0) tptpcol_9_92165(x0) provincialpark_canada(x0) ridgeline_topographical(x0) tptp_8_271(x0,x1) tastefnfruitfnorangetree(x0) razor(x1) tptpcol_15_26148(x0) textualinferenceprobleminvolvingpresupposition(x0) nonfictionalcontext(x0) tptpcol_14_26921(x0) landmark_underspecified(x0) hydrocarbon(x0) tptpcol_13_22071(x0) imscardiovascularid(x0) scoringstrategy(x0) natargument(f_groupfn(x0),n_1,x0) natfunction(f_groupfn(x0),c_groupfn) tptpcol_12_109126(x0) microtheorydimension(x0) marble_ball(x0) propersubcollectionnamedfn_ternaryofficeofbroadcastingcompanylocation_underspecified340687d1_f4ed_11d9_9bea_0002b3a85b0b(x0) indexforagreement(x0,x1) economicindexrateslot(x0) economicagreement(x1) adamite(x0) tptpcol_4_73730(x0) sleepingbag(x0) tptpcol_6_110594(x0) tptpcol_6_116738(x0) agent_nongeographical(x0) analogymatch(x0) conceptfilterparametertype_trigger(x0) tptptypes_7_396(x0,x1) artsupplies(x0) artifact_nonagentive(x0) excessivelydrainedregion(x0) tptpcol_14_92271(x0) tptpcol_13_92263(x0) limitpriceofstocktypeforagent_sell(x0,x1,x2) objecttype(x0) stocktypebybusinessandclass(x0) intelligentagent(x1) tptpcol_12_118085(x0) tptpcol_11_118084(x0) electrolyte(x0) secondordercollection(x0) narrativerole(x0) tptpcol_16_92270(x0) timeinterval(x0) definition(x0) tptpcol_6_69636(x0) coverfromdirectfire_poor(x0) tptpcol_13_93766(x0) sweetodor(x0) inertartifact(x0) finitespatialthing(x0) threedimensionalthing(x0) tptpcol_13_40436(x0) molecularconfiguration(x0) abstractthing(x0) furpelt(x0) discoursetrackingpeg(x0) collectionunionfnthesetdeformablefluidtangiblething(x0) tptp_8_449(x0,x1) waitinglist(x0) tptpcol_3_16386(x0) tptpcol_13_18664(x0) tptpcol_12_18663(x0) tptpcol_16_29044(x0) collectionunionfnthesetspatialthingvectorinterval(x0) propersubcollectionnamedfn_ternaryshallowwaterslocation_underspecified33f28aa0_f4ed_11d9_9bea_0002b3a85b0b(x0) eonodedefined(x0) equivalencerelation(x0) agents_topic(x0) editionofcwseries_periodic(f_editionforintervalfn(x0,x1)) natargument(f_editionforintervalfn(x0,x1),n_2,x1) luxuryitem(x0) hauntedthing(x0) natargument(f_editionforintervalfn(x0,x1),n_1,x0) natfunction(f_editionforintervalfn(x0,x1),c_editionforintervalfn) informationbearingthing(x0) problemsolvingcntxt(x0) subcollectionofusedfortypefnsuppliescomputerprinter_laser(x0) natargument(f_propersubcollectionnamedfn_ternary(x0,x1,x2),n_3,x2) natargument(f_propersubcollectionnamedfn_ternary(x0,x1,x2),n_2,x1) natargument(f_propersubcollectionnamedfn_ternary(x0,x1,x2),n_1,x0) natfunction(f_propersubcollectionnamedfn_ternary(x0,x1,x2),c_propersubcollectionnamedfn_ternary) tptpcol_16_50958(x0) tptpcol_15_50957(x0) vasoconstrictor(x0) intermediatevocabterm(x0) tptpcol_13_92278(x0) tptpcol_12_92262(x0) leftobject(x0) tptpcol_10_109188(x0) tptpcol_9_109060(x0) propersubcollectionnamedfn_ternaryrichguyspocketlocation_underspecified341b4856_f4ed_11d9_9bea_0002b3a85b0b(x0) natargument(f_territoryfn(x0),n_1,x0) natfunction(f_territoryfn(x0),c_territoryfn) subcollectionofwithrelationfromtypefnenduringthing_localizedfromlocationtranslocation(x0) physicalpartofobject(x0) languagearea(x0) gaseoustangiblething(x0) tptpcol_8_22020(x0) tptpcol_14_40429(x0) tptpcol_13_40421(x0) provisions(x0) natargument(f_citynamedfn(x0,x1),n_2,x1) natargument(f_citynamedfn(x0,x1),n_1,x0) natfunction(f_citynamedfn(x0,x1),c_citynamedfn) geopoliticalregion(x0) tptpcol_11_118021(x0) usmilitaryservicepersonnel(x0) communicationwithservicespecification(x0) bypassroute(x0) muzzleforanimal(x0) stop(x0) tptpcol_6_114691(x0) tptpcol_5_114690(x0) cursivestyleofwriting(x0) tptpcol_8_113666(x0) tptpcol_7_113665(x0) jointventureorganization(x0) tptpcol_7_116739(x0) tptpcol_16_50959(x0) twodimensionalthing(x0) tptpcol_13_72776(x0) physicaldecompositions(x0,x2) partiallytangible(x1) stationeryproduct(x0) tptpcol_9_72964(x0) syntaxspecificationsystem(x0) reflexivebinarypredicate(x0) thermalenergy(x0) projectmicrotheory(x0) tptptypes_8_823(x0,x1) tptptypes_7_819(x0,x1) artifact_humancreated(x0) potentialcbrnethreat(x0) fruitbrandy(x0) tptpcol_6_22531(x0) tptpcol_5_20483(x0) reformulatortestcase(x0) quantitychangeevent(x0) subcollectionofwithrelationtofnterroristbirthplacesingapore(x0) tptpcol_13_118132(x0) tptpcol_12_118116(x0) tptpcol_15_92265(x0) tptpcol_7_112642(x0) peacekeeper(x0) issue(x0) tptpcol_4_90113(x0) biographer(x0) vocabulary(x0) tptpcol_15_26922(x0) explosivematerial(x0) concealmentfromaerialdetection_none(x0) natargument(f_subcollectionofwithrelationtofn(x0,x1,x2),n_3,x2) tptpcol_11_92167(x0) tptpcol_10_92166(x0) natargument(f_subcollectionofwithrelationtofn(x0,x1,x2),n_2,x1) natargument(f_subcollectionofwithrelationtofn(x0,x1,x2),n_1,x0) natfunction(f_subcollectionofwithrelationtofn(x0,x1,x2),c_subcollectionofwithrelationtofn) tptpcol_4_122880(x0) tptpcol_7_108547(x0) parsenounphrasetest(x0) terrorist(x0) geographicalsubregions(x2,x1) birthplace(x0,x2) animal(x0) place(x1) tptptypes_9_824(x0,x1) natargument(f_tptpquantityfn_19(x0),n_1,x0) natfunction(f_tptpquantityfn_19(x0),c_tptpquantityfn_19) tkbfullyspecifiedsourcemicrotheory(x0) navypersonnel(x0) fourthordercollection(x0) boseeinsteincondensate_stateofmatter(x0) militaryevent_statelevel(x0) tptpcol_14_26681(x0) propersubcollectionnamedfn_ternarytrainingfacilitypartiallytangible3413ce42_f4ed_11d9_9bea_0002b3a85b0b(x0) tptpcol_5_94209(x0) meaninginsystemfnsensus_information1997interpersonal_thing(x0) disambiguationscoringstrategy(x0) collectionintersectionfnthesetcollectorroadbusinessroute(x0) woodwork(x0) groupfngroupfnadultfemalehuman(x0) tptpcol_5_28674(x0) golemterm(x0) collectiondifferencefngeographicalregioncollectionunionfnthesetparkforestciviladministrativeregion(x0) sequin(x0) natargument(f_collectionintersection2fn(x0,x1),n_2,x1) groupfnpartiallytangible(x0) drugsubstance(x0) tptpcol_8_18438(x0) tptpcol_7_71684(x0) groupfnmountain(x0) natargument(f_collectionintersection2fn(x0,x1),n_1,x0) natfunction(f_collectionintersection2fn(x0,x1),c_collectionintersection2fn) srilankanperson(x0) tptptypes_8_390(x0,x1) tptptypes_7_389(x0,x1) mob(x0) warrantyproduct(x0) towedweapon(x0) border(x0) tptpcol_8_92675(x0) logofwood(x0) tptpcol_11_40325(x0) tptpcol_10_40324(x0) militaryintelligence(x0) parameter(x0) propersubcollectionnamedfn_ternarystationerystorelocation_underspecified33fd3901_f4ed_11d9_9bea_0002b3a85b0b(x0) tptpcol_15_22076(x0) tptpcol_14_22072(x0) tptpcol_15_119710(x0) malehuman(x0) collectionintersectionfnthesetadultmalehumanmilitarypersonbritishperson(x0) fieldofstudy(x0) trajector_underspecified(x0) instrumentalartifact(x0) astronomicalstation(x0) keld(x0) populatedplace(x0) containershapedobject(x0) ballroom(x0) natargument(f_tptpquantityfn_14(x0),n_1,x0) tptptypes_9_693(x0,x1) tptptypes_8_692(x0,x1) tptptypes_5_802(x0,x1) indexedinformationsource(x0) applicationcontext(x0) natfunction(f_tptpquantityfn_14(x0),c_tptpquantityfn_14) parathion(x0) fictionalthing(x0) manufacturertypebyfocalproducttype(f_manufacturerfn(x0)) natargument(f_manufacturerfn(x0),n_1,x0) natfunction(f_manufacturerfn(x0),c_manufacturerfn) unsatisfactoryattempttofnpropersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(x0) ballbearing(x0) hormone(x0) cut_topographical(x0) persontypebypersonalattribute(x0) collectionintersection2fnmilitarypersonunitedstatesperson(x0) collectionunionfnthesettimeintervalsituation(x0) systemiccapillary(x0) planningdomainmicrotheory(x0) alcohol_compound(x0) teresmajor(x0) textualinferenceprobleminvolvingsenseextension(x0) geolevel_4(x0) particle(x0) softwaretestortypeversion(x0) tptpcol_16_48879(x0) tptpcol_8_27140(x0) artifact_intangible(x0) tptpcol_16_62643(x0) tptpcol_14_118125(x0) atemporalnecessarilyessentialcollectiontype(x0) tptpcol_8_108548(x0) unclassified(x0) infantytrainer(x0) cbrnetemporarytoolfix(x0) terrainhighground(x0) abstractindividual(x0) mummifiedremains(x0) abstractstructure(x0) markuplanguage_element(x0) subcollectionofwithrelationfromtypefnenduringthing_localizedeventoccursatevent_localized(x0) tptpcol_12_22024(x0) subsetof(x0,x2) meaninginsystemfnsensus_information1997language_related_object(x0) groupfnatom(x0) indirectfacetarc(x0) generalizations(x0,x2) tptpcol_15_109185(x0) propersubcollectionnamedfn_ternarytoolboxofpianotunerlocation_underspecified341aac10_f4ed_11d9_9bea_0002b3a85b0b(x0) obstruction_constructionartifact(x0) collectionunionfnthesetmultisurfacesurface(x0) missinginaction(x0) advancenoticeofcollectiondateandamount(x0) tptpcol_11_93701(x0) tptpcol_16_26926(x0) temporallyextendedthing(x0) thing(x1) hillyregion(x0) facetinstancecollection(x0) template(x0) regiment_militaryechelon(x0) conventionalclassificationtype(x0) disposingofanexplosivedevice(x0) collectionunionfnthesettrain_transportationdeviceroadvehicletransportationpathsystem(x0) tptptypes_8_397(x0,x1) supposedtobemicrotheory(x0) collectionwithaneventlikeorder(x0) artifact_generic(x0) smokyarea(x0) variedordercollection(x0) tptpcol_7_93186(x0) clarifyingcollectiontype(x0) airforcepersonnel(x0) inorganicmaterial(x0) navalmine(x0) mineralfield(x0) marriagelicensedocument(x0) persistencedistribution(x0) tptptypes_9_694(x0,x1) eonoderawmeaningdefinedbutneedsdeeperke(x0) evaluatingvalueofwithrespecttofnrouter_networkmissionspecificationmicrotheory(x0) subcollectionofwithrelationfromfnmilitarypersonhasmembersarmedforcesfnunitedstatesofamerica(x0) tptpcol_14_40422(x0) marinepersonnel(x0) htmltagattribute(x0) lexicalmicrotheory(x0) collectionintersectionfnthesetfinitespatialthingcone(x0) submarinefleet_organization(x0) tptp_9_51(x0,x1) threateningtodomurderdeviceusedhandgrenade(x0) specializedknowledge_topic(x0) tptpcol_11_18631(x0) tptptypes_6_388(x1,x0) tptpcol_14_26953(x0) tptpcol_14_93767(x0) tptpcol_11_92230(x0) cycsecuredatafile(x0) ioniccompound(x0) helm_1(x0) tptpcol_9_18694(x0) technicalworker(x0) monsoonforest(x0) accessoryfn_artifactnintendo64_theproduct(x0) subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma(x0) tptpcol_9_22276(x0) tptpcol_15_93775(x0) tptpcol_9_93954(x0) firstorderadministrativedivision(x0) tptpcol_4_106497(x0) bpvitemtype(x0) tptpcol_12_92231(x0) somewhatexcessivelydrainedregion(x0) cliche(x0) relationexistsall(x2,x3,x1) tptpcol_14_22079(x0) ship(x0) collectionunionfnthesetfluidtangiblethinggroupfninanimateobject(x0) tptpcol_16_130932(x0) booleanparameter(x0) acetonecyanohydrin(x0) softwaretestortype(x0) geopoliticalsubdivision(x2,x1) device_proximatelycontrolled(x0) objectfoundinlocation(x1,x2) tptpcol_11_22086(x0) artobject(x0) formulatemplateassertionformat(x0) compositetangibleandintangibleobject(x0) compliancestatusattribute(x0) computerdesktoptheme(x0) nonterminatingtransitivepredicate(x0) powder(x0) arbitraryunion(x0) meaninginsystemfnsensus_information1997separable_entity(x0) tptpcol_15_22073(x0) crewmemberonship(x0) tptpcol_8_73219(x0) tptpcol_10_118147(x0) spatialthing_localized(x1) spatialthing_nonsituational(x1) americanrhea(x0) countygovernment(x0) tptpcol_8_18949(x0) subcollectionofwithrelationtotypefnmilitaryattackperformedbyguerillaforce(x0) declarativecontext(x0) famousindividual(x0) accessoryfn_artifacttelevisionset(x0) natargument(f_tptpquantityfn_18(x0),n_1,x0) natfunction(f_tptpquantityfn_18(x0),c_tptpquantityfn_18) factoryirrelevantmicrotheory(x0) tptpcol_16_30971(x0) accessoryfn_activityplayingfnbaseball_thegame(x0) is_underspecified(x0,x1) programprocessesfnglassbox_theprogram(x0) coverfromdirectfire_fair(x0) residentfnsyria(x0) canonicalizerdirective(x0) transactionalnetwork(x0) tptpcol_16_31868(x0) collectionunionfnthesettimeintervalqualitativetimeofday(x0) bodyofwater_intermittent(x0) zerodimensionalthing(x0) subcollectionbyregionfntopographicalfeaturesoutheasternregionfnhawaii_island_hawaii(x0) changedactor(x0) prettystring(x0,x1) giftbasket(x0) propersubcollectionnamedfn_ternaryfirereellocation_underspecified34270823_f4ed_11d9_9bea_0002b3a85b0b(x0) controlcharacterfreestring(x1) meat_humanfood(x0) wearsclothing(x0,x1) subcollectionofwithrelationfromtypefnterroristhasmembersterroristgroup(x0) subcollectionofwithrelationtofnsubcollectionofwithrelationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernmentobjectfoundinlocationterritoryfnpanama(x0) collectionintersection2fntwodimensionalgeometricthingintangible(x0) tptpcol_16_130924(x0) collectionunionfnthesetphysicalseriespath_spatial(x0) tptpcol_15_40430(x0) tptpcol_13_18679(x0) relationallexists(x2,x1,x3) cybervulnerabilityexploit(x0) rubble(x0) tptpcol_10_72837(x0) tptpcol_16_92269(x0) militarypoliceofficer(x0) collectionintersection2fnindividualagentenduringthing_localized(x0) hasmembers(x0,x1) agent_generic(x1) tptpcol_12_18632(x0) hardcopyinformationbearingobject(x0) subcollectionofusedfortypefnsuppliesproducinghardcopy(x0) collectionintersectionfnthesetlinearobject_onedimensionallinearobject_nonplanar(x0) genlinverse(x1,x2) tptpcol_3_3(x0) groupfnsubcollectionofwithrelationfromfnairplanepossessesgovernmentfnisrael(x0) tptptypes_6_803(x0,x1) nasalbone(x0) terroristgroup(x0) landtopographicalfeature(x0) sisphysicalschema(x0) pontiacventuraiicar(x0) tptpcol_15_40433(x0) reservist(x0) electricity(x0) perceptualagent(x0) collectionsubsetfnterroristattackthesetofeventandisaeventterroristattackeventoccursateventisrael(x0) tptpcol_8_114177(x0) tptpcol_14_109174(x0) collectionunionfnthesettrain_transportationdeviceroadvehicletransportfacilitytransportationpathsystem(x0) intangibleexistingthing(x0) tptpcol_8_93187(x0) graphicalstructuretype(x0) tptpcol_16_8864(x0) biologicallivingobject(x0) temporaryparts(x1,x0) userredirectapplicabilityproperty(x0,x1) softwareuserredirectspecification(x0) transportfacility(x0) terroristattack(x0) natfunction(f_collectionsubsetfn(x0,x1),c_collectionsubsetfn) natargument(f_collectionsubsetfn(x0,x1),n_1,x0) natargument(f_collectionsubsetfn(x0,x1),n_2,x1) tptpcol_15_28653(x0) tptpcol_13_29046(x0) natfunction(f_tptpquantityfn_11(x0),c_tptpquantityfn_11) natargument(f_tptpquantityfn_11(x0),n_1,x0) integer(x0) natfunction(f_listoftypefn(x0),c_listoftypefn) natargument(f_listoftypefn(x0),n_1,x0) listtypebymembertype(f_listoftypefn(x0)) listoftypefninteger(x0) natfunction(f_compoundtypebycompositionfn(x0,x1),c_compoundtypebycompositionfn) natargument(f_compoundtypebycompositionfn(x0,x1),n_1,x0) natargument(f_compoundtypebycompositionfn(x0,x1),n_2,x1) chemicalsubstancetype(f_compoundtypebycompositionfn(x0,x1)) opensourcecomputerprogram(x0) natfunction(f_governmentfn(x0),c_governmentfn) natargument(f_governmentfn(x0),n_1,x0) possesses(x0,x1) subcollectionofwithrelationfromfnairplanepossessesgovernmentfnisrael(x0) individual(x1) along_underspecifiedpath(x1,x0) obtainingastringbasedsearchresult(x0) homogeneouspositivedimensionalspaceregion(x0) overlappingspaceregions(x1,x0) basicprice(x0,x1) monetaryvalue(x1) typicallycomparestowrtslotfnlessthanbasicprice(x1,x0) linearobject_nonplanar(x0) linearobject_onedimensional(x0) producinghardcopy(x0) damages(x0,x1) somethingexisting(x1) accident(x0) subcollectionofwithrelationtotypefnaccidentdamagesautomobile(x0) tptpcol_16_7979(x0) properphysicalparts(x1,x0) physicalseries(x0) twodimensionalgeometricthing(x0) tptpcol_16_30034(x0) facility_generic(x0) subcollectionofwithrelationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernment(x0) militaryhardware(x0) natfunction(f_productionindustrytypefn(x0),c_productionindustrytypefn) natargument(f_productionindustrytypefn(x0),n_1,x0) industrytype(f_productionindustrytypefn(x0)) productionindustrytypefnmilitaryhardware(x0) natfunction(f_munsellredpurplefn(x0),c_munsellredpurplefn) natargument(f_munsellredpurplefn(x0),n_1,x0) munsellredpurplehue(f_munsellredpurplefn(x0)) darkreddishpurple_color(x0) tptpcol_15_106097(x0) somethingtowear(x1) solidtangiblething(x0) geographicallysubsumes(x0,x2) northof(x2,x1) natfunction(f_southeasternregionfn(x0),c_southeasternregionfn) natargument(f_southeasternregionfn(x0),n_1,x0) natfunction(f_subcollectionbyregionfn(x0,x1),c_subcollectionbyregionfn) natargument(f_subcollectionbyregionfn(x0,x1),n_1,x0) natargument(f_subcollectionbyregionfn(x0,x1),n_2,x1) qualitativetimeofday(x0) september(x0) natfunction(f_decadefn(x0),c_decadefn) natargument(f_decadefn(x0),n_1,x0) calendardecade(f_decadefn(x0)) natfunction(f_sometimeinintervalfn(x0,x1),c_sometimeinintervalfn) natargument(f_sometimeinintervalfn(x0,x1),n_1,x0) natargument(f_sometimeinintervalfn(x0,x1),n_2,x1) continuoustimeinterval(f_sometimeinintervalfn(x0,x1)) natfunction(f_timeintervalinclusivefn(x0,x1),c_timeintervalinclusivefn) natargument(f_timeintervalinclusivefn(x0,x1),n_1,x0) natargument(f_timeintervalinclusivefn(x0,x1),n_2,x1) continuoustimeinterval(f_timeintervalinclusivefn(x0,x1)) natfunction(f_residentfn(x0),c_residentfn) natargument(f_residentfn(x0),n_1,x0) persontypebygeographicresidence(f_residentfn(x0)) natfunction(f_programprocessesfn(x0),c_programprocessesfn) natargument(f_programprocessesfn(x0),n_1,x0) tptpcol_16_80607(x0) playingfnbaseball_thegame(x0) televisionset(x0) guerillaforce(x0) militaryattack(x0) tptpcol_15_16668(x0) creditcard(x0) chosenitem(x0,x1) selectingsomething(x0) subcollectionofwithrelationtotypefnselectingsomethingchosenitemcreditcard(x0) motorcycle(x0) manufacturerfnmotorcycle(x0) gen_commutativity_disj(x0) physicalpartpredicate(x0) underspecifiedlocation(x0,x2) scenarioelaboratesviaprecondition(x0,x1,x2) scenariocontext(x1) secretariat(x0) soedefaultgraphablepredicate(x0) tptpcol_16_913(x0) tptpcol_16_70946(x0) temporalstufftype(x0) physicalparttypes(x2,x1) tptpcol_10_31619(x0) prefixsubstring(x0,x2) temporalthing(x1) temporallyfinishedby(x1,x0) politicalorganization(x0) propersubcollectionnamedfn_ternaryestablishislamicinternationaleunderthepatrongageofosamabinladenpoliticalorganization3406aee4_f4ed_11d9_9bea_0002b3a85b0b(x0) errorrate(x0,x1) scalarinterval(x1) electronicdevice(x0) tptpcol_16_30531(x0) tptp_9_210(x0,x1) tptpcol_6_28675(x1) execution_judicial(x0) tptpcol_15_20755(x0) tptp_8_14(x0,x1) objectactedon(x0,x1) hidinganobjectbymovingit(x0) nondavidsonianpredfnhidinganobjectbymovingitthelistperformedbyobjectactedon(x0,x1) natfunction(f_sampleinstanceoftypeforprogramfn(x0,x1),c_sampleinstanceoftypeforprogramfn) natargument(f_sampleinstanceoftypeforprogramfn(x0,x1),n_1,x0) natargument(f_sampleinstanceoftypeforprogramfn(x0,x1),n_2,x1) sampleinstanceoftypeforprogramfnrelativelocationalpredicatecycanalyticenvironment_theprogram(x0) tptpcol_15_59325(x0) nearestcommongenls(x0,x1,x2) tptpcol_13_4426(x0) mt_topic(x0) groupfninanimateobject(x0) modernmilitaryunit_deployable(x0) unabletodefendaftertaskins(x0,x1) militaryaction(x1) ethnicgroupofindia(x0) ethnicity(x0,x1) persontypebyethnicity(x1) person(x0) subcollectionofwithrelationtofnterroristethnicityethnicgroupofindia(x0) officebuilding(x0) tptpcol_15_30622(x0) cogenlpreds(x1,x0) tptpcol_16_60506(x0) breast(x0) natfunction(f_cancerfn(x0),c_cancerfn) natargument(f_cancerfn(x0),n_1,x0) diseasetype(f_cancerfn(x0)) cancerfnbreast(x0) for_underspecifiedlocation(x1,x0) investigation(x0) subcollectionofwithrelationtotypefninvestigationfor_underspecifiedlocationcancerfnbreast(x0) tptpcol_16_25985(x0) blockinganenemy(x0) theorymicrotheory(x0) metapredicate(x0) electroencephalographmachine(x0) nintendo64_theproduct(x0) nonabduciblepredicate(x0) tptpcol_16_27233(x0) natfunction(f_tptpquantityfn_12(x0),c_tptpquantityfn_12) natargument(f_tptpquantityfn_12(x0),n_1,x0) computergameprogram(x0) february(x0) natfunction(f_latepartfn(x0),c_latepartfn) natargument(f_latepartfn(x0),n_1,x0) spatialthing(x0) spatiallycontains(x1,x0) allgenlroles(x0,x2) visibleparts(x0,x2) geographicalthing(x1) permanentlynorthwestof(x1,x0) reasoningwithtensemicrotheory(x0) mtalternatives(x1,x0) cone(x0) power_quality(x0) artifacttypebyfunction(x0) dishdryingrack(x0) natfunction(f_armedforcesfn(x0),c_armedforcesfn) natargument(f_armedforcesfn(x0),n_1,x0) militaryorganization(f_armedforcesfn(x0)) router_network(x0) acquaintedwith(x0,x1) individualagent(x1) animalbodyshapetype(x0) humanshaped(x0) tptpcol_16_28925(x0) transportationpathsystem(x0) roadvehicle(x0) train_transportationdevice(x0) tptpcol_16_25972(x0) tptpcol_16_129013(x0) tptpcol_16_26790(x0) triggeringsomething(x0) natfunction(f_templatefromtestqueryfn(x0),c_templatefromtestqueryfn) natargument(f_templatefromtestqueryfn(x0),n_1,x0) surface(x0) multisurface(x0) organization(x1) suborgs_materialsupport(x1,x0) mailbox_outdoor(x0) atom(x0) linkclosedsubsystems(x0,x2) uniformresourceidentifier(x0) natfunction(f_urifn(x0),c_urifn) natargument(f_urifn(x0),n_1,x0) quintarypredicate(x0) percentdeathsduetoduring(x0,x1,x2,x3,x4) date(x4) intervalonnumberline(x3) firstordercollection(x2) organismclassificationtype(x1) cityincountryfnfrance(x0) event_localized(x0) tptpcol_16_15545(x0) tptpcol_16_30937(x0) specifiedruleexpressesproposition(x0,x1) proposition(x1) cyclrulespecification(x0) tptpcol_13_61268(x0) both(x0,x2) tptpcol_16_32505(x0) propersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(x0) natfunction(f_unsatisfactoryattempttofn(x0),c_unsatisfactoryattempttofn) natargument(f_unsatisfactoryattempttofn(x0),n_1,x0) tptpcol_14_26666(x0) most_genquantrelnto(x0,x1,x2) line_straight(x0) coplanarlines(x1,x0) num_genquantrelntotype(x0,x1,x2,x3) nonnegativeinteger(x3) binaryrelation(x0) computerprocessrunning(x0) natfunction(f_processexecutablecodefn(x0),c_processexecutablecodefn) natargument(f_processexecutablecodefn(x0),n_1,x0) computercode_binary(f_processexecutablecodefn(x0)) computerprogram_cwis(f_processexecutablecodefn(x0)) ferraricar(x0) natfunction(f_cardealerfn(x0),c_cardealerfn) natargument(f_cardealerfn(x0),n_1,x0) cardealerfnferraricar(x0) tptpcol_16_32307(x0) tptpcol_16_8398(x0) tptpcol_14_68072(x0) climateconcept(x0) temporalstagespecification(x0) contiguousafter_tempstage(x1,x0) britishperson(x0) softwarepackage(x0) defaultmonotonicpredicate(x0) persontypebyoccupation(x0) sportscommissioner(x0) tptpcol_16_26997(x0) candidateinferencesupportscore(x0,x1) number_general(x1) natfunction(f_referenceworkentryfn(x0,x1),c_referenceworkentryfn) natargument(f_referenceworkentryfn(x0,x1),n_1,x0) natargument(f_referenceworkentryfn(x0,x1),n_2,x1) referenceworkentry(f_referenceworkentryfn(x0,x1)) natfunction(f_relationinstanceexistsfn(x0,x1,x2),c_relationinstanceexistsfn) natargument(f_relationinstanceexistsfn(x0,x1,x2),n_1,x0) natargument(f_relationinstanceexistsfn(x0,x1,x2),n_2,x1) natargument(f_relationinstanceexistsfn(x0,x1,x2),n_3,x2) orderofmagnitudeinterval(x0) negligiblewrt(x1,x0) mountain(x0) surfaceregion_underspecified(x1) polydimensionalthing(x0) subregions(x0,x2) assembling(x0) enduringthing_localized(x1) eventoccursat(x2,x1) factorybuildingcomplex(x0) subcollectionofwithrelationfromtypefnfactorybuildingcomplexeventoccursatassembling(x0) moderateblue_color(x0) under_underspecifiedlocation(x1,x0) tptpcol_11_62852(x0) civiladministrativeregion(x0) forest(x0) park(x0) tptpcol_16_62187(x0) computertypebyhardware(x0) spatialcotemporalpredicate(x0) adultfemalehuman(x0) groupfnadultfemalehuman(x0) tptpcol_11_26695(x0) tptpcol_14_26832(x0) businessroute(x0) collectorroad(x0) widthofobject(x0,x1) distance(x1) lessthan(x1,x0) natfunction(f_typicallycomparestowrtslotfn(x0,x1),c_typicallycomparestowrtslotfn) natargument(f_typicallycomparestowrtslotfn(x0,x1),n_1,x0) natargument(f_typicallycomparestowrtslotfn(x0,x1),n_2,x1) typicallycomparestowrtslotfnlessthanwidthofobject(x1,x0) natfunction(f_correspondinggenquantfn(x0),c_correspondinggenquantfn) natargument(f_correspondinggenquantfn(x0),n_1,x0) generalizedquantifier(f_correspondinggenquantfn(x0)) queryrolesofactortype(x0,x1) role(x1) boomtown(x0) tptpcol_14_86224(x0) natfunction(f_relationallexistsfn(x0,x1,x2,x3),c_relationallexistsfn) natargument(f_relationallexistsfn(x0,x1,x2,x3),n_1,x0) natargument(f_relationallexistsfn(x0,x1,x2,x3),n_2,x1) natargument(f_relationallexistsfn(x0,x1,x2,x3),n_3,x2) natargument(f_relationallexistsfn(x0,x1,x2,x3),n_4,x3) genericquantity(x0) noiselevel(x0) natfunction(f_highamountfn(x0),c_highamountfn) natargument(f_highamountfn(x0),n_1,x0) scalarquantity(f_highamountfn(x0)) scalarproperinterval(f_highamountfn(x0)) tptpcol_15_18062(x0) functionalslot(x0) termcreated(x0,x1) creatingnewconceptincyc(x0) natfunction(f_subsituationoftypesuchthatfn(x0,x1,x2,x3),c_subsituationoftypesuchthatfn) natargument(f_subsituationoftypesuchthatfn(x0,x1,x2,x3),n_1,x0) natargument(f_subsituationoftypesuchthatfn(x0,x1,x2,x3),n_2,x1) natargument(f_subsituationoftypesuchthatfn(x0,x1,x2,x3),n_3,x2) natargument(f_subsituationoftypesuchthatfn(x0,x1,x2,x3),n_4,x3) desiredvalue(x0,x1,x2) confectionery(x0) socialbeing(x0) owns(x1,x0) subcollectionofwithrelationtotypefnpersonownsconfectionery(x0) outofofficeduetoevent(x0,x1) event(x1) scientisttypebyfield(x0) phonetician(x0) termformulas(x0,x1) tptpcol_16_30512(x0) tptpcol_14_26793(x0) nodescut_subsystem(x0,x1,x2) pathsystem(x2) natfunction(f_tptpquantityfn_9(x0),c_tptpquantityfn_9) natargument(f_tptpquantityfn_9(x0),n_1,x0) wordnetnounsynset(x0) wnmemberholonym(x0,x2) tptpcol_16_127085(x0) tptpcol_16_25057(x0) formulatemplatetype(x0) higherprioritytemplatetype(x0,x2) regionalgovernment(x0) objecttakencareof(x0,x1) takingcareofsomething(x0) maintainingsomething(x0) subcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment(x0) primaryactivitytypeoflocation(x0,x1) subcollectionofwithrelationtofnfacility_constructprimaryactivitytypeoflocationsubcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment(x0) tptpcol_16_28820(x0) tptp_9_163(x0,x1) proximityandlocation_spatial_topic(x0) basics_fundamental_topic(x0) setorcollectionunion2(x0,x1,x2) tptpcol_15_27122(x0) geneticinformationstructure(x1) subgis(x0,x2) atleastaslikelyas(x0,x2) translocation(x0) fromlocation(x0,x1) petroleum_crudeoil(x0) natfunction(f_unrefinedfn(x0),c_unrefinedfn) natargument(f_unrefinedfn(x0),n_1,x0) unrefinedfnpetroleum_crudeoil(x0) vocabularyforstatingrelationshipsbetweenmicrotheories_mtexpansion_topic(x0) tptpcol_16_32297(x0) tptp_9_608(x0,x1) mournsover(x0,x1) dyingofblo(x1) perceptualagent_embodied(x0) partofspaceregion(x0,x2) tptpcol_16_19212(x0) tptp_9_395(x0,x1) tptpcol_4_16387(x1) tptpcol_15_49869(x0) airplane(x0) tolocation(x0,x1) loading(x0) subcollectionofwithrelationfromfnloadingtolocationairplane(x0) tptpcol_16_27189(x0) computerprinter_laser(x0) physiologicalconditiontype(x0) formofcondition(x1,x0) temporallysubsumes_typetype(x2,x1) vectorinterval(x0) tptpcol_16_26965(x0) livinglanguage(x0) tptpcol_16_29490(x0) tptpcol_15_26851(x0) fluidtangiblething(x0) deformable(x0) uniquepropersubsituationtypes(x1,x0) tptpcol_16_32218(x0) tptpcol_16_10258(x0) natfunction(f_lotteryofstatefn(x0),c_lotteryofstatefn) natargument(f_lotteryofstatefn(x0),n_1,x0) lotteryofstatefnohio_state(x0) tptpcol_16_104116(x0) siblingdisjointwith(x1,x0) hydrogenchloride(x0) natfunction(f_liquidfn(x0),c_liquidfn) natargument(f_liquidfn(x0),n_1,x0) existencedependentintermittentcollection(f_liquidfn(x0)) tangiblestuffstatetype(f_liquidfn(x0)) liquidfnhydrogenchloride(x0) natfunction(f_vaporfn(x0),c_vaporfn) natargument(f_vaporfn(x0),n_1,x0) tangiblestuffstatetype(f_vaporfn(x0)) vaporfnliquidfnhydrogenchloride(x0) entertainmentorrecreationorganization(x0) communicationsorganization(x0) collectionintersection2fncommunicationsorganizationentertainmentorrecreationorganization(x0) blueunit(x0) objective_colt_coa1(x0) natfunction(f_coadescriptionmtforfn(x0,x1),c_coadescriptionmtforfn) natargument(f_coadescriptionmtforfn(x0,x1),n_1,x0) natargument(f_coadescriptionmtforfn(x0,x1),n_2,x1) coadescriptionmicrotheory(f_coadescriptionmtforfn(x0,x1)) tptpcol_16_44290(x0) freeware(x0) timepoint(x0) after(x1,x0) propersubcollectionnamedfn_ternaryopenedfireactiononobject33d6c543_f4ed_11d9_9bea_0002b3a85b0b(x0) accountsystemaccessed(x0,x1) accessingacomputeraccount(x0) accountaccessed(x0,x1) performedby(x0,x1) action(x0) natfunction(f_nondavidsonianpredfn(x0,x1),c_nondavidsonianpredfn) natargument(f_nondavidsonianpredfn(x0,x1),n_1,x0) natargument(f_nondavidsonianpredfn(x0,x1),n_2,x1) simpleactionpredicate(f_nondavidsonianpredfn(x0,x1)) situationpredicate(f_nondavidsonianpredfn(x0,x1)) simplesituationpredicate(f_nondavidsonianpredfn(x0,x1)) nondavidsonianpredfnaccessingacomputeraccountthelistperformedbyaccountaccessedaccountsystemaccessed(x0,x1,x2) accountsystem(x2) kbcontenttest(x0) genlkbcontenttests(x0,x2) many_genquantrelntotype(x0,x1,x2) propersubcollectionnamedfn_ternarytntanddetonatorsartifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b(x0) natfunction(f_nationalculturefn(x0),c_nationalculturefn) natargument(f_nationalculturefn(x0),n_1,x0) nationalculture(f_nationalculturefn(x0)) natfunction(f_etiquetteofculturefn(x0),c_etiquetteofculturefn) natargument(f_etiquetteofculturefn(x0),n_1,x0) culturalcodeofetiquette(f_etiquetteofculturefn(x0)) properpartofspaceregion_inverse(x1,x0) bbnrelationtypepredicate(x0) owlexportablerelation(x0) natfunction(f_taskmodelmtfn(x0),c_taskmodelmtfn) natargument(f_taskmodelmtfn(x0),n_1,x0) natfunction(f_smugglingfn(x0),c_smugglingfn) natargument(f_smugglingfn(x0),n_1,x0) tptpcol_16_2871(x0) orangetree(x0) natfunction(f_fruitfn(x0),c_fruitfn) natargument(f_fruitfn(x0),n_1,x0) fruitfnorangetree(x0) natfunction(f_tastefn(x0),c_tastefn) natargument(f_tastefn(x0),n_1,x0) taste(f_tastefn(x0)) hlpredicate(x0) natfunction(f_tptpquantityfn_16(x0),c_tptpquantityfn_16) natargument(f_tptpquantityfn_16(x0),n_1,x0) tptpcol_16_21365(x0) many_genquantrelnto(x0,x1,x2) tptpcol_15_24832(x0) characterstring(x0) substring(x0,x2) propanoateion(x0) actiononobject(x0) propersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(x0) natfunction(f_unsuccessfulattempttofn(x0),c_unsuccessfulattempttofn) natargument(f_unsuccessfulattempttofn(x0),n_1,x0) natfunction(f_tptpquantityfn_4(x0),c_tptpquantityfn_4) natargument(f_tptpquantityfn_4(x0),n_1,x0) list(x0) unversionedprogram(x0) dangerousparts(x0,x2) dangeroustangiblething(x0) westof(x1,x0) reformulatorirrelevantfort(x0) tptpcol_14_121927(x0) unitedstatesperson(x0) intelligenceagent(x0) natfunction(f_collectionintersectionfn(x0),c_collectionintersectionfn) natargument(f_collectionintersectionfn(x0),n_1,x0) versionedprogram(x0) spatiallyincludes(x0,x2) temporallysubsumedby_typetype(x2,x1) culture_practice(x0) subcultures(x0,x2) scientificfieldofstudy(x0) natfunction(f_subcollectionofaboutfn(x0,x1),c_subcollectionofaboutfn) natargument(f_subcollectionofaboutfn(x0,x1),n_1,x0) natargument(f_subcollectionofaboutfn(x0,x1),n_2,x1) vestedinterest(x0,x1) puzzlegameprogram(x0) collegesportsteam(x0) rulemacropredicate(x0) algorithm(x1) subalgorithms(x0,x2) textualinferenceproblem_pascalformat(x0) natfunction(f_meaninginsystemfn(x0,x1),c_meaninginsystemfn) natargument(f_meaninginsystemfn(x0,x1),n_1,x0) natargument(f_meaninginsystemfn(x0,x1),n_2,x1) tptpcol_14_28502(x0) natfunction(f_mappingmtfn(x0),c_mappingmtfn) natargument(f_mappingmtfn(x0),n_1,x0) sksimappingmicrotheory(f_mappingmtfn(x0)) natfunction(f_subcollectionofusedfortypefn(x0,x1),c_subcollectionofusedfortypefn) natargument(f_subcollectionofusedfortypefn(x0,x1),n_1,x0) natargument(f_subcollectionofusedfortypefn(x0,x1),n_2,x1) parttypes(x2,x1) natfunction(f_tptpquantityfn_2(x0),c_tptpquantityfn_2) natargument(f_tptpquantityfn_2(x0),n_1,x0) groupfnbiologicallivingobject(x0) secretarygeneral(x0) intelligenceanalysistask_allotment(x0) natfunction(f_conceptnodesfortasktypefn(x0),c_conceptnodesfortasktypefn) natargument(f_conceptnodesfortasktypefn(x0),n_1,x0) caeconceptfilter(f_conceptnodesfortasktypefn(x0)) conceptnodesfortasktypefnintelligenceanalysistask_allotment(x0) tvtalkshowhost(x0) tptptypes_8_89(x0,x1) minorleaguesportsteam(x0) layeredobject(x0) layers(x0,x2) purposeofscripttypeinplan(x0,x1,x2) planspecificationmicrotheory(x1) bedandbreakfast(x0) agreeingserviceprovider(x0,x1) agreementforongoingservice(x0) hotelreservation(x0) subcollectionofwithrelationtotypefnhotelreservationagreeingserviceproviderbedandbreakfast(x0) reformulationof(x0,x2) tptpcol_15_11774(x0) microtheorypredicate(x0) modalrewritesto(x0,x2) tacticalterraintypefrompositionforunittype(x0,x1,x2,x3) relativelocationalpredicate(x2) terraintypebytacticalpotential(x1) existingobjecttype(x0) architectureindependentcomputerpatchprogram(x0) logicalfield(x0) natfunction(f_logicalfieldfn(x0,x1,x2),c_logicalfieldfn) natargument(f_logicalfieldfn(x0,x1,x2),n_1,x0) natargument(f_logicalfieldfn(x0,x1,x2),n_2,x1) natargument(f_logicalfieldfn(x0,x1,x2),n_3,x2) natfunction(f_tptpquantityfn_20(x0),c_tptpquantityfn_20) natargument(f_tptpquantityfn_20(x0),n_1,x0) facility_construct(x0) groupfnfacility_construct(x0) wirelesscommunicationdevice(x0) natfunction(f_accessoryfn_artifact(x0),c_accessoryfn_artifact) natargument(f_accessoryfn_artifact(x0),n_1,x0) natfunction(f_sublsymbolentityfn(x0,x1),c_sublsymbolentityfn) natargument(f_sublsymbolentityfn(x0,x1),n_1,x0) natargument(f_sublsymbolentityfn(x0,x1),n_2,x1) gesturingbywinking(x0) predicatetype(x0) cotemporalpredicate(x0) airporthasiatacode(x0,x1) stringoflengthfn3(x1) airport_physical(x0) automobile(x0) malfunctionaffects(x0,x1) malfunction(x0) subcollectionofwithrelationtotypefnmalfunctionmalfunctionaffectsautomobile(x0) physicalfeaturepredicate(x0) physicallycontains(x1,x0) tptpcol_14_64198(x0) kindlevelpredicate(x0) nearestarg4genl(x0,x1) tptpcol_16_130857(x0) wordnetsynset(x0) business(x0) groupfnbusiness(x0) oilindustry(x0) natfunction(f_industryofregionfn(x0,x1),c_industryofregionfn) natargument(f_industryofregionfn(x0,x1),n_1,x0) natargument(f_industryofregionfn(x0,x1),n_2,x1) industry_localized(f_industryofregionfn(x0,x1)) vulnerabletoactivitymonitoring(x0) natfunction(f_setoftypefn(x0),c_setoftypefn) natargument(f_setoftypefn(x0),n_1,x0) setoftypefnlogicalschema(x0) logicalschema(x0) tptpcol_13_30984(x0) person_supportingfurniture(x0) mereotopologyconcept(x0) natfunction(f_tptpquantityfn_8(x0),c_tptpquantityfn_8) natargument(f_tptpquantityfn_8(x0),n_1,x0) baseofbone(x0) fifthmetatarsal(x0) natfunction(f_parttypefn(x0,x1),c_parttypefn) natargument(f_parttypefn(x0,x1),n_1,x0) natargument(f_parttypefn(x0,x1),n_2,x1) parttypefnfifthmetatarsalbaseofbone(x0) tptpcol_15_32128(x0) tptpcol_16_24756(x0) tptp_9_28(x0,x1) setorcollectiontype(x1) covering(x2,x1) natfunction(f_countynamedfn(x0,x1),c_countynamedfn) natargument(f_countynamedfn(x0,x1),n_1,x0) natargument(f_countynamedfn(x0,x1),n_2,x1) numberoftypewithrelationfrom(x0,x1,x2,x3) set_mathematical(x1) natfunction(f_tptpquantityfn_21(x0),c_tptpquantityfn_21) natargument(f_tptpquantityfn_21(x0),n_1,x0) interconvertibleunittype(x0) unitofcpucapacity(x0) tptpcol_16_26806(x0) relationalnounslot(x0) sisters(x0,x1) femaleanimal(x1) predicates_fundamental_topic(x0) tptpcol_13_25574(x0) typicallyrelnfrom(x0,x1,x2) learnedcapableof(x0,x1,x2) binaryrolepredicate(x2) learnedactivitytype(x1) natfunction(f_typecapablefn(x0),c_typecapablefn) natargument(f_typecapablefn(x0),n_1,x0) capabilitypredicate_typelevel(f_typecapablefn(x0)) typecapablefnlearnedcapableof(x0,x1,x2) natfunction(f_tptpquantityfn_1(x0),c_tptpquantityfn_1) natargument(f_tptpquantityfn_1(x0),n_1,x0) tptpcol_13_7542(x0) tptpcol_15_27088(x0) viablebasisforweapontype(x0,x1) requisitefor(x0,x2) tptpcol_16_21566(x0) wordnetsynsetimportstatus_readyforlexification(x0) tptpcol_15_26972(x0) tptpcol_14_31739(x0) tptp_9_597(x0,x1) tptpcol_6_30722(x1) boat(x0) natfunction(f_mobfn(x0),c_mobfn) natargument(f_mobfn(x0),n_1,x0) existingstufftype(f_mobfn(x0)) outof_underspecifiedcontainer(x1,x0) tptpcol_16_30362(x0) computeraccount(x0) cyclanalogtoconceptnetpred(x0) tptpcol_16_5311(x0) tptpcol_15_107053(x0) function_denotational(x0) genlfunctions(x0,x2) microtheoryrelatingpredicate(x0) underwaterlocation(x0) dangerousthing(x0) subatomicparticle(x0) basekbpredicate(x0) tptpcol_16_26939(x0) tptpcol_15_107467(x0) vocabularydefiningpredicate(x0) extent(x0,x2) communicationdevice(x0) groupfncommunicationdevice(x0) militaryequipment(x0) allnegligiblewrt(x1,x0) name(x0) cribmattress(x0) properparts(x1,x0) transportationtypebytransportertype(x0) kayak(x0) natfunction(f_transportviafn(x0),c_transportviafn) natargument(f_transportviafn(x0),n_1,x0) transportviafnkayak(x0) situation(x1) situationtemporalparts(x0,x2) natfunction(f_playingfn(x0),c_playingfn) natargument(f_playingfn(x0),n_1,x0) playingfnvolleyball(x0) natfunction(f_accessoryfn_activity(x0),c_accessoryfn_activity) natargument(f_accessoryfn_activity(x0),n_1,x0) artifacttypebygenericcategory(f_accessoryfn_activity(x0)) relationexplicitlyinvokestypederivatively(x0,x2) lexicalword(x0) natfunction(f_humanfemalegivennamefn(x0),c_humanfemalegivennamefn) natargument(f_humanfemalegivennamefn(x0),n_1,x0) humanfemalegivenname(f_humanfemalegivennamefn(x0)) kbcontenttest_querysentencespecified(x0) oxalateion(x0) chemicalsubstancefnoxalateion(x0) taxonomicslotforpredicates(x0) kerequirementpreds(x2,x1) natfunction(f_cityincountryfn(x0),c_cityincountryfn) natargument(f_cityincountryfn(x0),n_1,x0) citytypebycountry(f_cityincountryfn(x0)) cityincountryfnsweden(x0) countrysubsidiary(x0) roadway(x0) continent(x0) city(x0) independentcountry(x0) county(x0) province(x0) natfunction(f_tptpquantityfn_3(x0),c_tptpquantityfn_3) natargument(f_tptpquantityfn_3(x0),n_1,x0) kegenlsstrongconsiderationpreds(x0,x1) sea(x0) bodyofwater(x0) abstractvisualstructure(x0) graph_documentpart(x0) table_documentpart(x0) increasesslotfor(x0,x1,x2) quantityslot(x2) fjord(x0) groupfnfjord(x0) tptptypes_7_691(x0,x1) coextensionalsetorcollections(x1,x0) tptpcol_16_25202(x0) tptp_7_57(x0,x1) missionspecificationmicrotheory(x0) computernetwork(x0) natfunction(f_evaluatingvalueofwithrespecttofn(x0,x1),c_evaluatingvalueofwithrespecttofn) natargument(f_evaluatingvalueofwithrespecttofn(x0,x1),n_1,x0) natargument(f_evaluatingvalueofwithrespecttofn(x0,x1),n_2,x1) tptpcol_16_25765(x0) tptpcol_16_122666(x0) tptpcol_15_30259(x0) tptp_9_389(x0,x1) publiclyheldcorporation(x0) tptpcol_15_4027(x0) pushingwithfingers(x0) groupfnhomosapiens(x0) homosapiens(x0) tptpcol_16_4451(x0) pushingwithopenhand(x0) natfunction(f_tptpquantityfn_6(x0),c_tptpquantityfn_6) natargument(f_tptpquantityfn_6(x0),n_1,x0) tptpcol_15_30896(x0) versionedsoftwareobject(x0) natfunction(f_softwareversionfn(x0,x1),c_softwareversionfn) natargument(f_softwareversionfn(x0,x1),n_1,x0) natargument(f_softwareversionfn(x0,x1),n_2,x1) femalehuman(x0) octopus(x0) manufacturedgoodstype(x0) highperformancecpu(x0) allotment(x0) allocationportions(x0,x2) tptpcol_15_32154(x0) tptpcol_16_28891(x0) natfunction(f_contentmtheadfn(x0),c_contentmtheadfn) natargument(f_contentmtheadfn(x0),n_1,x0) mtexpansion_topic(x0) argumentgenl_fundamental_topic(x0) natfunction(f_tptpquantityfn_17(x0),c_tptpquantityfn_17) natargument(f_tptpquantityfn_17(x0),n_1,x0) natfunction(f_unitofmoneyofgeopoliticalentityfn(x0),c_unitofmoneyofgeopoliticalentityfn) natargument(f_unitofmoneyofgeopoliticalentityfn(x0),n_1,x0) unitofmoneyofgeopoliticalentityfnlaos(x0) tptpcol_16_26938(x0) humansurname(x0) natfunction(f_namefn(x0),c_namefn) natargument(f_namefn(x0),n_1,x0) inferenceanswerbindings(x0,x1) elinferencebindingset(x1) cycinferenceanswer(x0) collrelationunique(x0,x1,x2) tptpcol_15_26494(x0) tptp_5_9(x0,x1) tptpcol_2_2(x1) wordnetsynsetimportstatus_determinedindividual(x0) natfunction(f_wordnetsynsetreifiedfn(x0),c_wordnetsynsetreifiedfn) natargument(f_wordnetsynsetreifiedfn(x0),n_1,x0) most(x0,x2) tptp_8_89(x0,x1) tptpcol_16_23353(x0) typically(x0,x2) recipecopyfor(x0,x1) recipecopy(x0) natfunction(f_tptpquantityfn_15(x0),c_tptpquantityfn_15) natargument(f_tptpquantityfn_15(x0),n_1,x0) natfunction(f_citizenfn(x0),c_citizenfn) natargument(f_citizenfn(x0),n_1,x0) persontypebygeopoliticalaffiliation(f_citizenfn(x0)) citizenfnunitedarabemirates(x0) adultmalehuman(x0) groupfnadultmalehuman(x0) product(x0) serviceevent(x0) durablegood(x0) pie(x0) natfunction(f_stufffn(x0),c_stufffn) natargument(f_stufffn(x0),n_1,x0) existingstufftype(f_stufffn(x0)) helicopter_ee9cascaval(x0) governmentmilitaryorganization(x0) country(x0) natfunction(f_formulatemplateinductiontopictypefn(x0),c_formulatemplateinductiontopictypefn) natargument(f_formulatemplateinductiontopictypefn(x0),n_1,x0) formulatemplateinductiontopictypefncountry(x0) hydrocarbonmolecule(x0) natfunction(f_chemicalsubstancefn(x0),c_chemicalsubstancefn) natargument(f_chemicalsubstancefn(x0),n_1,x0) chemicalsubstancetype(f_chemicalsubstancefn(x0)) historichuman(x0) natfunction(f_tptpquantityfn_0(x0),c_tptpquantityfn_0) natargument(f_tptpquantityfn_0(x0),n_1,x0) tptpcol_16_8886(x0) temporalobjecttype(x0) natfunction(f_visitingsitefn(x0),c_visitingsitefn) natargument(f_visitingsitefn(x0),n_1,x0) visitingsitefndisneyland_touristattraction(x0) tptpcol_16_9111(x0) orientation(x0,x1) orientationvector(x0) subcollectionofwithrelationfromtypefnorientationvectororientationpartiallytangible(x0) criterialforterraintacticalrole_negative(x0,x1) tacticalterraintype(x0) affiliatedwith(x1,x0) footballteam(x0) natfunction(f_instancewithrelationtofn(x0,x1,x2),c_instancewithrelationtofn) natargument(f_instancewithrelationtofn(x0,x1,x2),n_1,x0) natargument(f_instancewithrelationtofn(x0,x1,x2),n_2,x1) natargument(f_instancewithrelationtofn(x0,x1,x2),n_3,x2) tptpcol_15_120329(x0) tptpcol_14_29430(x0) uniformresourcelocator(x0) natfunction(f_glassboxallotmentfn(x0),c_glassboxallotmentfn) natargument(f_glassboxallotmentfn(x0),n_1,x0) glassboxallotment(f_glassboxallotmentfn(x0)) tptpcol_16_30705(x0) workaroundsmanagementmicrotheory(x0) natfunction(f_presuppositionsmtofpcwfn(x0),c_presuppositionsmtofpcwfn) natargument(f_presuppositionsmtofpcwfn(x0),n_1,x0) intangibleassetof(x0,x1) partiallyintangible(x1) tptpcol_15_30111(x0) tptp_9_720(x0,x1) natfunction(f_relationexistsallfn(x0,x1,x2,x3),c_relationexistsallfn) natargument(f_relationexistsallfn(x0,x1,x2,x3),n_1,x0) natargument(f_relationexistsallfn(x0,x1,x2,x3),n_2,x1) natargument(f_relationexistsallfn(x0,x1,x2,x3),n_3,x2) natargument(f_relationexistsallfn(x0,x1,x2,x3),n_4,x3) resultisaarg(x0,x1) positiveinteger(x1) natfunction(f_userofsystemwithlocalnamefn(x0,x1),c_userofsystemwithlocalnamefn) natargument(f_userofsystemwithlocalnamefn(x0,x1),n_1,x0) natargument(f_userofsystemwithlocalnamefn(x0,x1),n_2,x1) computeruserwithusermodel(f_userofsystemwithlocalnamefn(x0,x1)) waterbodyconcept(x0) inregion(x0,x2) celestialregion(x0) celestialsubregions(x0,x2) % 114.46/23.50 % 114.46/23.50 === Starting SPASS-SCL-FOL A Little Less Naive, considering 6365 atoms initially, heuristics mode: lmodel_grow === % 114.46/23.50 % 114.46/23.50 === Backtracking. Learning clause 8010:2:1:[1802.0,8009.0,7982.3,2129.1,3736.1,7982.3,7982.3,7982.3,7982.3,3978.1,4473.1,918.1,7278.2,3718.2,6100.2,3463.1,3055.2,2887.2]:Top: tptpcol_5_28674(x0),tptpcol_5_90114(x0) -> % 114.46/23.50 === Backtracking. Learning clause 8012:2:1:[1069.0,8011.1,6582.2,1745.1,7982.3,3159.2,7982.3,7982.3,2793.1,2733.1]:Top: mob(x0),isa(x0,c_projectmicrotheory) -> % 114.46/23.50 === Backtracking. Learning clause 8013:2:1:[3890.2,4232.1,3153.2,3854.1,3810.2,2952.2,3424.2,3522.2,3943.2,1933.2,2925.2]:Top: tptpcol_11_109062(x0),tptpcol_5_114690(x0) -> % 114.46/23.50 % 114.46/23.50 SZS status Unsatisfiable % 114.46/23.50 % 114.46/23.50 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p % 114.46/23.50 % 114.46/23.50 SPASS-SCL-FOL Statistics: % 114.46/23.50 Number of learned clauses: 3 % 114.46/23.50 Number of propagations: 8024 % 114.46/23.50 Number of decisions: 108 % 114.46/23.50 Number of resolutions: 35 % 114.46/23.50 Number of condensations: 0 % 114.46/23.50 Number of sub resolutions: 3 % 114.46/23.50 Number of input literals (deduplicated): 6365 % 114.46/23.50 Number of grows: 0 % 114.46/23.50 Number of considered ground atoms: 6365 % 114.46/23.50 % 114.46/23.50 Needed: 0:0:22.84 % 114.46/23.50 %------------------------------------------------------------------------------