%------------------------------------------------------------------------------ % File : SPASS-SCL---0.1 % Problem : CSR072+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:20:10 PM UTC 2026 % Result : Theorem 0.30s 0.91s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.24 % Problem : CSR072+3 : TPTP v9.2.1. Released v3.4.0. % 0.11/0.25 % Command : /export/starexec/sandbox/solver/bin/execute.py 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.17/0.46 % Computer : n001.cluster.edu % 0.17/0.46 % Model : x86_64 x86_64 % 0.17/0.46 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.17/0.46 % Memory : 8042.1875MB % 0.17/0.46 % OS : Linux 3.10.0-693.el7.x86_64 % 0.17/0.46 % CPULimit : 300 % 0.17/0.46 % WCLimit : 300 % 0.17/0.46 % DateTime : Thu May 7 11:42:39 EDT 2026 % 0.17/0.46 % CPUTime : % 0.17/0.46 SPASS-SCL-FOL version: % 0.26/0.56 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] % 0.30/0.88 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.88 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.88 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.88 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.88 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 300 /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.88 Execution normal ended with status: unsatisfiable % 0.30/0.88 Used heuristic: normal % 0.30/0.88 % 0.30/0.88 Input Clauses: % 0.30/0.89 % 0.30/0.89 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 % 0.30/0.89 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 % 0.30/0.89 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 % 0.30/0.89 Problem Properties: % 0.30/0.89 This is a full first-order problem without equality. % 0.30/0.89 % 0.30/0.89 % 0.30/0.89 Reduced Input Clauses: % 0.30/0.90 8008:0:0:[8007.0,4328.0]:: -> % 0.30/0.91 % 0.30/0.91 SZS status Unsatisfiable % 0.30/0.91 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.30/0.91 % 0.30/0.91 SPASS-SCL-FOL Statistics: % 0.30/0.91 Number of learned clauses: 0 % 0.30/0.91 Number of propagations: 0 % 0.30/0.91 Number of decisions: 0 % 0.30/0.91 Number of resolutions: 0 % 0.30/0.91 Number of condensations: 0 % 0.30/0.91 Number of sub resolutions: 1 % 0.30/0.91 % 0.30/0.91 Needed: 0:00:00.17 % 0.30/0.91 %------------------------------------------------------------------------------