;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                    -*-
;;;; ---------------------------------------------------------------------
;;;; File name: context-vectors-pred-data.lsp
;;;;    System: FIRE
;;;;    Author: Praveen Paritosh
;;;;   Created: August 28, 2002 11:27:03
;;;;   Purpose: Testing out the context vector idea 
;;;; ---------------------------------------------------------------------
;;;;  Modified: Friday, September 20, 2002 at 16:15:20 by paritosh
;;;; ---------------------------------------------------------------------

(in-package :fire)

(defun not-for-associations? (term reasoner)
  (declare (ignore reasoner))
  (or (numberp term) 
      (variable? term)
      (non-discriminatory-predicate? term))) ;; Add more here. 

;; Looking up for NARTs is so frequent during building the assoc matrices 
;; that it makes sense to cache it. 

(defun cached-nart-predicate? (pred &optional (nart-predicates *nart-predicates*))
  (member pred nart-predicates))

;;;(defun cache-nart-predicates (&optional (reasoner *reasoner*))
;;;  (let ((nart-assertions (ask '(data::isa ?x data::ReifiableFunction) reasoner :all :all :pattern :all)))
;;;    (setq *nart-predicates* (remove-duplicates (mapcar #'second nart-assertions)))))

(defparameter *nart-predicates* 
  '(
  data::TimeIntervalInclusiveFn data::ImplicitISObjectFn data::PersonNamedFn
  data::PlanningGoalFn data::NationalInfrastructureReqFn data::IntervalBeforeFn
  data::TableLF data::WorksOfArtPeriodFn data::EndsOfChainFn data::StoringFn
  data::EntryPointsFn data::DBEntryFn data::SporophyteFn data::GraduateFn
  data::Femto data::PracticingFn data::PainInFn data::HighAmountFn
  data::AnalogyAgentInContextCaseFn data::ProposalFn data::OrderingFn data::OlympicsFn
  data::CityGridSectionFn data::TreatmentFn data::InfectingFn
  data::StreetSystemOfAreaFn data::SkinOnFn data::Kilo data::ResidentsFn
  data::TransportLayerProtocolFn data::BachelorsDegreeInFn data::PrescriptionTypeForMtFn
  data::TreatiseFn data::OpenForFn data::LineFn data::FileFn data::VeryHighAmountFn
  data::WashingInFn data::MediumAmountFn data::AxisFn data::IntegerFromFn
  data::AssociatesDegreeInFn data::LineBetweenFn data::SetOfTypeFn
  data::SummerOlympicsFn data::CavityInteriorRegionFn data::ArtObjectTypeDisplayedInFn
  data::Mega data::GenDoingFn data::PerformSimultaneouslyFn data::Micro
  data::HardcoreFn data::ExtractedSampleFn data::CommonShapeAttributeFn
  data::ContinentalShelfZoneFn data::JobPositionTypeFn data::PPTDosageFormFn
  data::VenomOfFn data::MedicalCareFn data::LyricsToMusicFn-Agent
  data::SubPathInsideRegionFn data::CentralRegionFn data::PerimeterFn data::PolicyFn
  data::TypeCapableFn data::ForegroundFn data::ComparisonOfInstancesFn
  data::USDollarFn data::PerformingFn data::BrightFn data::BlockedForFn
  data::SurfaceLayer-TopSurfaceFn data::Giga data::SkyFn data::LibraryFaultFn
  data::NFn data::GunByCaliberFn data::GeographicalLocationFn data::ProfessionalFn
  data::TravelingByMeansOfFn data::DateInSituationFn data::ProductsMadeByFn
  data::PreventionFn data::SchemaOfIBOFn data::STIF data::DBKeyFunctionFn
  data::MeatFn data::Hecto data::ProductMadeOfFn data::Tera data::InfectionFn
  data::BelieverFn data::Centi data::ImageSpaceFn data::SymptomOfAilmentFn
  data::ConsultantFromFieldFn data::ServingFn data::StockInFn data::BorderBetweenFn
  data::ParticleFn data::WatchingFn data::SubcollectionByRegionFn
  data::GeographicalSpaceRegionFn data::PlayerOfInstrumentFn data::SDBIVisitByToWhenFn
  data::PfizerTerritoryFn data::SkinContactWithFn data::OccasionInYearFn
  data::CurrencyOfDateFn data::NewRxFn data::FieldLengthsFn
  data::NationalRedCrossSocietyFn data::CellNucleusFn data::PartTypeFn
  data::AmateurProducedProductFn data::InstallingFn data::ProgramTypeCopyFn
  data::TravelingByMeansOfPathMediumFn data::CareAndFeedingFn data::DownloadOfTypeFn
  data::PhDDegreeInFn data::CurrentPoliticalEventsFn data::HandlingFn
  data::ComputerFileFormatFn data::ApprenticeCertifForFn data::CleaningFn
  data::DownloadSiteFn data::JointTypeBetweenFn data::PotencyFn
  data::RequirementsForCertificateFn data::ManagementOfTypeFn data::Peta data::Nth
  data::StoreFn data::TeacherFn data::SpaceOccupiedByFn data::Exa
  data::ChemicalSynthesisFn data::RoadSystemFn data::EmbryoFn data::FormalProductFn
  data::GameChampionsFn data::ReplacementFn data::TerritorialSeaFn
  data::BacteriumOfTypeInCultureFn data::LocallyExploitableFn data::EdiblePartFn
  data::NewsGroupMessageFn data::JuvenileFn data::WoodFn data::MediaSeriesByDateFn
  data::AccessoryFn-Product data::SponsorFn-EventType data::TVBroadcastOfTypeFn
  data::DevelopingAFn data::RadioBroadcastOfTypeFn data::SponsorFn-Event
  data::IndependentIonFn data::PPTAdminRouteFn data::MetropolitanAreaFn
  data::RailSystemFn data::RunningVersionFn data::InternetBroadcastFn-EventType
  data::PublisherOfPublicationTypeFn data::ProgramCopyFn data::QuittingFn
  data::PlayOpportunityFn-Online data::AdviceFn data::OnlineListingsFn-Product
  data::EquipmentTypeForEventTypeFn data::DeviceRunningPartFn data::MaritimeClaimFn
  data::PPTStrengthFn data::CourseOfStudyFn data::InfusionFn data::MoviesStarringFn
  data::ProductProviderFn-Seller data::IndependentMoleculeFn data::BiographyFn
  data::PartsFn-Device data::SponsorFn-Agent data::PlayOpportunityFn
  data::ChemicalCompositionIBTFn data::InstructionsFn-Making data::ImagesByArtistFn
  data::ProductsSoldByFn data::UsingAFn data::InstructionsFn-Getting data::GameForOSFn
  data::TrainingFn data::DaysWorkFn data::AccessoryFn-Activity
  data::InstructionsFn-UsingOrDoing data::RequirementsForCredentialFn
  data::ScheduleFn-Individual data::ProductProviderFn-NoCost data::AtomGroupingFn
  data::BiographyOfTypeFn data::RelinquishingFn data::ContactInfoForTypeFn
  data::ArmyFn data::EdibleByFn data::OnlineListingsFn-Event data::LeafFn
  data::InternetBroadcastFn-Event data::LawsInTerritoryFn
  data::PublisherOfInformationTypeFn data::BottledFn data::RefillFn
  data::AudioRecordingFn-Downloadable data::BroadcastOfEventFn
  data::FindingAPhysicalObjectFn data::BroadcastOfEventTypeFn
  data::CorrespondingIntegerExtentFn data::MediaSeriesNthFn data::GameteFn
  data::AccessingAnIBTTypeFn data::NavyFn data::ContactInfoFn data::Atto
  data::RightFn data::DownloadOfFn data::IntelligenceCommunityFn data::CarDealerFn
  data::Deka data::ArmedForcesFn data::CitizensFn data::LiquidFn
  data::BiochemicalSynthesisFn data::Pico data::PlacingInOrientationFn data::AtomFn
  data::SupervisingFn data::OnlineListingsFn-IBT data::BiologicalProductFn
  data::GameForSystemFn data::AppearancesByFn data::MeaningInSystemFn
  data::CityNamedFn data::ObtainingFn data::GenericFormFn data::AccessPageFn-IBT
  data::ImpureFn data::OwnerFn-RightsToType data::SourceCodeFn data::JuiceFn
  data::OwnerFn-Individual data::PileFn data::OrgRelatedFn
  data::ProducerFn-PTProductType data::MerchandiseFn data::MolecularRadicalFn
  data::MapFn-TypeLevel data::BootSectorFn data::FullTextOfIBTFn
  data::CharitableContributionMappingFn data::EquipmentTypeForOccupationTypeFn
  data::ExplanationFn data::WorksOfArtFromFn data::NCIsaConstraintFn
  data::CompositeModalOpFn data::LeftFn data::BundleFn data::FruitFn
  data::GovernmentFn data::CompetitionEventTypeFn data::MonthOfYearFn data::MakingFn
  data::MentalSituationFn data::MobFn data::DayOfMonthFn data::DayOfYearFn
  data::MensEventFn data::ProfessorFn data::FlagFn data::ConstructionSiteAttributeFn
  data::IrregularForcesFn data::ScatFn data::AbstractFn
  data::PartlyAssembledAttributeFn data::StringOfLengthFn data::ViceFn
  data::LocalizedFn data::GaseousFn data::ChapterFnObsolete data::GovernmentsAllFn
  data::OperativeAgentOfFn data::PageFn data::ProgramProcessesFn data::Milli
  data::AssistantFn data::RollFn data::ProductionAmountInEventFn data::NucleusFn
  data::CompilerFn data::CheatsForComputerGameFn data::AtomicCompositionFn
  data::AccessorFn data::IngestingFn data::VisaFn data::ObjectIDFn data::AirForceFn
  data::OrganizationOfFacilityFn data::MarineCorpsFn data::PageRangeFn
  data::CorrespondingGenQuantFn data::DesignFn data::DosageOfByAnimalTypeFn
  data::VaccineForFn data::TransportationAccommodationFn data::SubscriptionToFn
  data::ScheduleFn-Type data::KillingFn data::TravelInfoForFn
  data::MilitaryPostingForTempFn data::CityInCountryFn data::SportsStatsForFn
  data::ChemicalInteractionFn data::FlowerFn data::CountryFn
  data::DestructionOfIndividualFn data::SeedFn
  data::VulnerableToMaliciousCodeInstallationFn data::LawsAboutTypeFn
  data::DrugTherapyUseFn data::CollectionSubsetFn data::PersonTypeByCultureFn
  data::AnthemFn data::UsingAForFn data::VaccinationAgainstFn data::RootFn
  data::VaccineForAgainstFn data::CirculationFn data::VaccineAgainstMicroorganismFn
  data::CombustionOfIndividualFn data::TrainingForFn data::AreaResourceIBTFn
  data::PairFn data::NCGenlsConstraintFn data::DirectionsFn data::CaseFn
  data::StabilizationFn data::ReviewFn data::CorrespondingGenQuantAttr-NLAttrFn
  data::DrugSampleFn data::MolecularComponentFn data::ShootSystemFn data::DeathFn
  data::NthSceneFn data::SharesInFundFn data::DestructionFn data::WaveEmissionFn
  data::RepeatedBoosterShotFn data::NCEqualsConstraintFn
  data::ShapesConfigurationSituationFn data::SightseeingInFn data::Zepto
  data::JobRecruitmentFn data::FAQFn data::CharSequenceOfLength-lowercaseFn
  data::Yocto data::DarkFn data::NCPOSConstraintFn data::HistoryFn
  data::NCPOSPredConstraintFn data::HideFn data::SupportingFn
  data::MicrosoftSoftwarePatchFn data::ServiceRelatedFn data::BiologicalWeaponFn
  data::ProductionOfFn data::DowntownFn data::EquipmentTypeForStructuredActivityTypeFn
  data::LocalAdministratorAccountFn data::DeletingFromSystemOfDevicesFn
  data::NucleotideSequenceGISFn data::AddingToSystemOfDevicesFn data::DonorFn-AgentType
  data::StuffFn data::Zetta data::SolidFn data::RepairingFn data::Yotta
  data::CharSequenceOfLength-MixedCaseFn data::AttackTypeByWeaponTypeFn
  data::ResearchInFn data::ProductTypeByPersonTypeFn data::ConvexHullSpaceFn
  data::WindowsAccountFn data::UserAccountFn data::GeneticSubstrateFn
  data::MilitarySpecialtyObstacleFn data::MilitaryTaskObstacleFn data::IssuesOfCWSeriesFn
  data::CommunicatingByMeansOfFn data::PronounFn data::IndustryFn
  data::ChemicalCompoundFn data::CharSequenceOfMaximumLength-MixedCaseFn
  data::MeasurementFn data::BackupFn data::TeachingASkillFn
  data::CharSequenceOfMaximumLength-lowercaseFn data::ConvexHullFn data::EncasingInFn
  data::BiologicalProductionOfFn data::FetishFn data::FullTextOfPCWFn
  data::UnknownProgramFn data::ThePartition data::PicturesFn data::ChemicalWeaponFn
  data::AbilityOfTypeToTypeFn data::PicturesOfTypeFn data::HardcopyOfCWFn
  data::HobbyFn-Field data::HoldsInMtFn data::WildPlantBLOFn data::TowingFn
  data::RecipeFn data::TradingFn data::TextByAgentFn data::CityBlockFn
  data::MoleculeFn data::VectorFromToFn data::IntendedTargetTypeFn data::GametophyteFn
  data::OrganismInfectedWithFn data::WrittenCharacterFn data::SmugglingFn
  data::TextByAgentTypeFn data::MedicalSpecialtyFOSFn data::ShapeTypeFn
  data::AntiWeaponTypeFn data::VulnerableToPacketAttackFn data::PriceQuoteForFn
  data::PPTPackageFn data::GenreFn data::SceneFn data::NLPhraseWithFrameFn
  data::VintageFn data::EnvironmentVariableFaultFn data::AbilityOfToTypeFn
  data::ModelFn data::CheatsForGameTypeFn data::QuotationFn data::SteeringFn
  data::HumanInitiatedFn data::GenValueFn data::InfectionDueToFn data::LengthAxisFn
  data::InfectionEpidemicFn data::MarkTypeFn data::RowFn data::OdorFn
  data::TransportFn data::MtForTemporalThing data::MapFn-Individual
  data::CrushedFragmentedFn data::ProducerFn-EventType data::SolutionOfStrengthFn
  data::AbilitiesOfTypeFn data::IndustryInfrastructureReqFn data::AqueousSolutionFn
  data::MaliciousCodeAccommodatingFaultFn data::BookCWsAboutFn data::EmbassyBuildingFn
  data::NewsFn data::PackageFn data::NationalPressFn data::NLWordFormWithFrameFn
  data::RefiningFn data::FileOnFn data::UniquePartFn data::TranscriptOfEventFn
  data::ActorOfTypeInEventFn data::AudioClipOfSubjectFn data::DetNbarAgrConstraintFn
  data::IBTWithFullTextOfIBTTypeFn data::FacilityOfOrganizationFn
  data::MtOfIndustryTypeFn data::TranscriptOfEventTypeFn data::ElectronicFn
  data::AudioClipOfWorkFn data::SceneWithTypeInRoleFn
  data::AlternativeMedicalModalityFOSFn data::ConveyViaFn data::PSRuleGenlsConstraintFn
  data::PSRuleIsaConstraintFn data::SystemAccountFn data::HardcopyOfIBTTypeFn
  data::NovelByAuthorFn data::JokeAboutFn data::DownloadOfFileTypeFn data::StandardsFn
  data::MtOfIndustryOfRegionFn data::EnzymeComplementFn data::NthSceneOfTypeFn
  data::MastersDegreeInFn data::IBTWithFullTextOfPITTypeFn data::TroubleWithTypeReportFn
  data::AbilityWithRespectToFn data::DesignForObjectTypeFn data::PractitionerFn
  data::AttendingFn data::TextualMaterialAboutFn data::AttackTypeByTargetTypeFn
  data::ConsultingAFn data::ProductionOfArtifactFn data::EarlyPartFn data::CoastlineFn
  data::ShoreOfLakeFn data::AnalogyAgentCaseFn data::POSPredConstraintFn
  data::IBTGeneratedFn data::ConstituentTypeConstraintFn data::PhraseFn-Bar1
  data::AbilitiesOfFn data::PhraseFn data::RuinFn data::ComputerProcessFn
  data::SituationFn data::TeacherOfSkillFn data::RootAccountFn
  data::OrgTypeByGeoAndBOSFn data::WeaponTypeByIntendedTargetTypeFn
  data::AdministratorAccessFn data::TestInstance2Fn data::AllergyToFn data::LitterFn
  data::AdultFn data::ToyVersionFn data::MusicalTextFn-Agent data::NoAmountFn
  data::SwellingInRegionTypeFn data::RefineActionFn data::MtTimeFn data::HusbandryFn
  data::LongTermFn data::NorthWesternRegionFn data::RefineActionSpecFn
  data::FoodOrDrinkForFn data::ShortTermFn data::SouthWesternRegionFn
  data::TestInstance1Fn data::IDObjectFn data::SponsorFn-AgentType
  data::DeliveryOfWeaponFn data::CharSequenceOfLength-ALLCAPSFn
  data::CharSequenceOfLengthFn data::CollectionIntersectionFn data::PhysicalQuartersFn
  data::WesternRegionFn data::AmateurFn data::Nano data::TranslocationAlongFn
  data::AddictionFn data::SwimmingEventFn data::BorderFn data::CollectingFn
  data::InformationThingAboutFn data::HomemadeFn data::DiscographyFn data::EconomyFn
  data::MovieNamedFn data::MusicalCompositionFn-Agent data::AttemptingFn
  data::PreparedInstantFoodFn data::RemotelyExploitableFn data::InstantFoodMixFn
  data::BlockOfStreetBetweenFn data::SpoiledFn data::MaleFn data::MtOfIBOTFn
  data::LowAmountFn data::SurfaceLayer-WholeThingFn data::EntryPathsFn
  data::NodesCut-SubSystemFn data::ProductSerialNumberMappingFn
  data::PerformanceOfClassicalMusicCWTypeFn data::FunctionValueFn
  data::IndustryOfRegionFn data::AsMuchAsFn data::TasteFn data::IntervalAfterFn
  data::STIB data::IsotopeFn data::SportsRulesFn data::TransactionIDFn
  data::FemaleFn data::RoomAtFn data::PediatricFn data::VeryLowAmountFn
  data::CenterOfISFn data::WorldRecordInFn data::MarketedProductOfCWFn
  data::ManifestationOfFeelingFn data::TopFn data::EventOfIBOFn data::BottomFn
  data::IncarnationPhysicalFn data::MilkFn data::InventingFn
  data::NorthEasternRegionFn data::LatePartFn data::WinterOlympicsFn
  data::WholeOrganizationFn data::LandBorderFn
  data::CharSequenceOfMaximumLength-ALLCAPSFn data::PhysicalCollectingFn
  data::IntervalStartedByFn data::PathJunctionFn data::FreeSpaceContentAroundFn
  data::LeftRiverbankFn data::ClubRelatedFn data::VisitingSiteFn data::FieldFn
  data::Spore-PlantLifeStageFn data::ControllingFn data::ControlSubeventFn
  data::GroupUserRightsFn data::RentingFn data::EdiblesRichInFn data::StackFn
  data::DriedProductFn data::ViewerFn data::NumberDatatypeFn data::BodyPartFn
  data::MakingAvailableFn data::DisplayingFn data::TravelingByClassFn
  data::WaveReflectionFn data::WaveAbsorptionFn data::GroupFn
  data::InstantiationOfAISFn data::HomepageFn-TypeLevel data::MaintenanceFn
  data::Y2KIndividualFn data::WritingFn data::IntervalEndedByFn data::PureFn
  data::CityTourFn data::VeteranFn data::CharSequenceOfMaximumLengthFn
  data::WaveReceptionFn data::PhysicalDistributionFn data::MilitaryPostingFn
  data::OrgTypeByEchelonGeoAndBOSFn data::The data::InhalingFn data::CombineMTsFn
  data::SelfInjectableFn data::BacterialSporeFn data::CancerFn data::StreetCornerFn
  data::LinksCut-SubSystemFn data::USPatentMappingFn data::JobFn
  data::CulturedGrowthFn data::AccountBetweenFn data::PopulationOfTypeFn
  data::SubcollectionOccursAtFn data::AudioRecordingFn data::TransportationFromToByFn
  data::ObjectFromIDFn data::EasternRegionFn data::TourTravelLegFn data::TheCovering
  data::FrontFn data::ShoppingAtFn data::BackFn data::TransmissionOfFromTypeToTypeFn
  data::ThreePrimeEndFn data::ExclusiveEconomicZoneFn data::PersonEnrolledInFn
  data::SightseeingInTypeFn data::PlaneFn data::AnalogyCorrespondenceFn
  data::PlanningFn data::AnalogyMatchFn data::AnalogyMappingFn data::RoleFn
  data::PredicateRuleTemplateFn data::RemovalFn data::CityInCanadianProvinceFn
  data::CollectionUnionFn data::CollectionRuleTemplateFn data::TransportViaFn
  data::TerritoryFn data::PreviouslyOwnedFn data::TransportationFromToFn
  data::TheGroupMemberFn data::BackgroundFn data::PITOfIBTFn data::FreeTourTimeInFn
  data::ShoppingAtPlaceFn data::BuildingTourFn data::DrugFn data::SkolemFunctionFn
  data::FreeTourDayInFn data::BuyingFn data::BodyPartCollectionFn
  data::ContiguousZoneFn data::HotelInCityNamedFn data::InstrumentPlayingFn
  data::TotalTimeFn data::CircularAnnulusFn data::ShippingLaneOfRegionFn
  data::SightseeingOfFn data::FivePrimeEndFn data::ArtisticWorkOfDisplayedInFn
  data::PoliticalOrganizationsFn data::OldTownFn data::LifeFn
  data::ExposureToHarmfulSubstanceFn data::ShoppingForFn data::OrganismPartTypeFn
  data::SouthEasternRegionFn data::SupportGroupFn-Misc data::BitingByFn
  data::FanSiteFn data::SoftcoreFn data::HomepageFn-Individual
  data::HobbyFn-ScriptType data::PlayingFn data::OlympicMedalAwardCeremonyFn
  data::LastEruptionOfFn data::CenterFn data::AccessoryTypeFn-Product
  data::ObtainingDeviceStateFn data::NorthernRegionFn data::SaintFn
  data::HelpingEventTypeFn data::WordsEndingWithPhonemeTypeFn data::EvaluatingFn
  data::TimeIntervalBetweenFn data::CenterLineOfPathFn data::PlaybackFn
  data::StreetIntersectionFn data::ManufacturerFn data::WordsStartingWithPhonemeTypeFn
  data::DiseaseAfflictingPartFn data::PerformerFn data::WordsEndingWithLetterFn
  data::MostNotableEruptionOfFn data::Deci data::SouthernRegionFn data::PracticeFn
  data::CitySectionFn data::BirthFn data::WordsStartingWithLetterFn
  data::RightRiverbankFn data::SportsStatsForTypeFn data::DeadFn data::PerFn
  data::PresidentFn data::FieldConcerningFn data::StemFn data::RootAccessFn
  data::VocationalDegreeForFn data::SeparationFromTypeFn data::ProtectionFn
  data::PrerequisiteDocumentsFn data::HairMobFn data::ExperiencingEmotionFn))


(defparameter *non-discriminatory-predicates* 
  '(data::implies data::and data::or data::not data::genls data::isa data::equals data::ist-Information 
                  data::ist data::holdsIn data::cfImplies data::termOfUnit 
                  data::argIsa data::arg1Isa data::arg2Isa data::arg3Isa data::arg4Isa
                  data::arg5Isa data::arg6Isa data::argGenl data::arg1Genl data::arg2Genl
                  data::arg3genl data::arg4Genl data::arg5Genl data::arg6Genl data::resultGenl
                  data::relationAllInstance data::relationAllExists data::relationAllExistsMany 
                  data::relationAllExistsMax data::relationAllExistsMin data::relationAll 
                  data::relationAllAll data::thereExists data::relationInstanceExists
                  data::relationInstanceExistsCount data::relationInstanceExistsMany 
                  data::relationInstanceExistsMax data::relationInstanceExistsMin 
                  data::relationInstanceExistsRange data::resultIsa data::Kappa
                  data::TheSetOf data::forAll data::argGenl data::comment data::userDocComment
                  data::conceptuallyCoRelated data::conceptuallyRelated ;; These last two are for test purposes, remove later. 
                  ;; From frequency analysis, build more exhaustive list in time. 
                  data::myCreator data::myCreationTime data::SimpleNoun data::comment data::nameString 
                  data::posForms data::myCreationPurpose data::The data::arity data::genlMt data::Collection
                  data::cyclistNotes
                  
                  data::multiWordString data::LSReviewer data::toBeReviewedBy data::genStringAssertion
                  data::WorldWideWeb-DynamicIndexedInfoSource
                  
                  data::keCommonQueryExample data::keCommonQueryExampleReln data::IKBConstant
                  data::sharedNotes data::compoundString data::denotation data::formalityOfWS-New
                  data::synonymousExternalConcept data::preferredGenUnit
                  
                  data::YearFn data::geopoliticalSubdivision data::Percent data::ProductFn
                  data::internationalOrg-MemberCountry data::countryOfCity data::eventOccursAt
                  data::geographicalSubRegions))

(defparameter *unreifiable-but-not-standalone-predicates*
  '(data::YearFn ;; (YearFn 1985)
    data::internationalOrg-MemberCountry ;; (internationalOrg-MemberCountry MINURSO UnitedStatesOfAmerica)
    ))

;; The same predicate that names the symbol dominates the dot product. But if the other context vector
;; refers to my name, my dot product with it should increase, but if we totally throw my name out of 
;; the context vector we have lost that effect. 

;; Interesting, frequent predicates (in countries) data::eventOccursAt. 

;; Two types of non-discriminatory predicates -- 
;;  1. Dont count any of the symbols in the statements that mention them. e.g., myCreationPurpose
;;  2. Dont count just the predicates, but the other symbols mentioned in the expression are counted. e.g., hasMembers 
;; Then there are predicates who themselves shouldnt be counted, but their arguments should/could be. e.g., 
;; (geopoliticalSubdivision UnitedArabEmirates Dubai-Emirate), data::geographicalSubRegions, 
;; even internationalOrg-MemberCountry, data::hasMembers

;; Quantitative predicates like data::Percent, data::BarrelsPerDay, 

    
(defparameter *cyclists*
  '(data::Elias data::MWakoff data::Kat data::JasonMarsack data::MEckman data::AdamPease data::ACable data::Pierre
                   data::Meyer data::Pittman data::Lehmann data::Chip data::MargaretMinsky data::Alama data::CWagner data::KMSmith
                   data::EricAllen data::MarkWillems data::Montalvo data::Pengelly data::LeeFedor data::Rode data::Yumi
                   data::Cyclist-In-Training data::Cyndy data::Cocozzella data::SheriGoodman data::AlanM data::Alok data::Graham
                   data::RobLewis data::Loika data::Lyons data::Sean data::Lupher data::Wroblewski data::JonC data::Davis
                   data::SteveReed data::ECoppock data::RKF-User data::Colvin data::JasonLozano data::Liana data::Joly data::Laufmann
                   data::BarryEvans data::DaveG data::RickB data::Danh data::Derthick data::CycSecure-User data::BillAndersen
                   data::Wayne data::Srinija data::Wanda data::Wally data::Sidney data::Samir data::Bertolo data::Lila
                   data::McDermott-Cyclist data::Guzman data::Alvaro data::Forbus data::Maeda data::Watson data::PeterMeyer
                   data::Tighe data::Wittenburg data::TracySchwartz data::Russell-Cyclist data::BillM data::DavidDeYoe data::HPKB-User
                   data::PaulBennett data::Webb data::Guest data::Hadden data::MacCallum data::Markman data::Ruttenberg data::MingXu
                   data::Stephens data::Jli data::Laura data::ErikLarson data::Amy data::Falk data::GaoYongxiang data::Shen
                   data::BFraser data::PMartin data::Fischer data::Kahlert data::Curtis data::Yogman data::Foxvog data::Jenkins
                   data::Salome data::Torosian data::NancySalay data::Marques data::PKuman data::MandySharp data::Huffer data::Lenat
                   data::PeterWagner data::Guha data::Saty data::ABelasco data::Dexter data::Jamie data::Gruber data::Hubbell
                   data::Jantos data::Aldag data::MattSmith data::Reimers data::Jana data::Rohrbaugh data::SteveSchulz data::Zelal
                   data::KathyPanton data::Blake data::Blevins data::AndrewBaker data::Wonko data::OHara data::TerreS data::Aramil
                   data::Mahler data::FredHoyt data::Lempert data::CKoehnen data::Zelaniec data::Zaiss data::Gadbois data::IA-User
                   data::Goolsbey data::Chun data::Ksiezyk data::CathyLegg data::JPrice data::McCain data::DeSanto data::Cleo
                   data::DShulman data::Miraglia data::Biggs data::DanLip data::Gumby data::KathyMitchell data::Alexi data::Marx
                   data::Barnett data::Chris data::William data::Levy data::PStrominger data::CPOF-User data::Brauch data::Marcum
                   data::JohnD data::Nichols data::EvaPierce data::Barnes data::MikePool data::Huhns data::Baxter data::OKeefe
                   data::Bushko data::BrianPeterson data::Molloy data::Michele data::Hunt data::Abramson data::Sullivan data::Charles
                   data::York data::Veale data::Huffman data::JulieF data::Klein data::Brad data::SDeVoy data::SlurperUser
                   data::Maureen data::MBrown data::Jennifer data::RandySchulz data::Habash data::Peter data::Olken data::Siegel
                   data::CycAdministrator data::Terveen data::RolandSanguino data::KevinKnight data::Daza data::Kean data::Trey
                   data::Vizedom data::Jacobs data::Hagen data::Laural data::DaveS data::GaryMerrill data::Rhett data::Witbrock
                   data::Kartha data::DaleAlbericci data::DavidC data::BillJ data::Murray data::MaryShepherd data::Schwartz
                   data::Blair data::DPeters data::JenHeadley data::ToddHughes data::Roland data::Causley))