;; -*- LISP -*-
;; Description dumped from SME V4
;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x/Me and NT/2000/XP
(sme::defdescription "Libya"
   :documentation ""
   :notes ""
   :expressions 
     (
(dependsOn-Pairwise Libya oilExport Libya oilProduction Positive)
(exportThroughAmountDuring Libya (ProductFn NaturalGas)
 Transmed-Pipeline (YearFn 1997)
 ((PerFn (Giga CubicFoot) YearsDuration) 0))
(consumptionAmountDuring Libya EnergyStuff (YearFn 1995)
 ((Peta BritishThermalUnit) 0.54))
(implies
 (and (numberOfInhabitants Libya ?Y)
      (emissionAmountDuring Libya Carbon (YearFn 1995) (MetricTon ?X)))
 (evaluate 1.9 (QuotientFn ?X ?Y)))
(consumptionAmountDuring Libya (ProductFn NaturalGas) (YearFn 1996)
 ((Tera CubicFoot) 0.23))
(exportAmountDuring Libya PetroleumProduct (YearFn 1997)
 (BillionDollars 9))
(exportAmountDuring Libya (ProductFn Petroleum-CrudeOil) (YearFn 1998)
 (BillionDollars 5.8))
(exportAmountDuring Libya Product (YearFn 1995) (BillionDollars 8.4))
(importAmountDuring Libya Product (YearFn 1995) (BillionDollars 7.3))
(laborForceFractionDuring Libya IndustrialEconomicSector
 (MonthFn July (YearFn 1997)) 0.31)
(budgetExpenditures Libya GovernmentMilitaryOrganization (YearFn 1993)
 ((USDollarFn 1993) 1.4e+9))
(productionAmountDuring Libya (ProductFn NaturalGas) (YearFn 1997)
 ((Mega CubicFoot) 220000))
(budgetExpenditures Libya GovernmentMilitaryOrganization (YearFn 1994)
 (BillionDollars 1.4))
(exportAmountDuring Libya PartiallyTangibleProduct (YearFn 1997)
 (BillionDollars 11.4))
(importAmountDuring Libya Product (YearFn 1994) (BillionDollars 6.9))
(implies
 (and (grossDomesticProduct Libya (YearFn 1995) ((USDollarFn 1987) ?Y))
      (consumptionAmountDuring Libya EnergyAsAQuantity (YearFn 1995)
       ((Kilo BritishThermalUnit) ?X)))
 (evaluate 22.9 (QuotientFn ?X ?Y)))
(tradeBalanceDuring Libya PartiallyTangibleProduct (YearFn 1997)
 (MillionDollars 740))
(productionCapacityDuring Libya Electricity (YearFn 1997)
 ((Giga Watt) 4.5))
(emissionAmountDuring Libya Carbon (YearFn 1995) ((Mega MetricTon) 9.7))
(consumptionAmountDuring Libya (ProductFn NaturalGas) (YearFn 1997)
 ((Mega CubicFoot) 184000))
(exportAmountDuring Libya (ProductFn Petroleum-CrudeOil) (YearFn 1997)
 (BillionDollars 9))
(exportAmountDuring Libya Product (YearFn 1994) (BillionDollars 7.2))
(importAmountDuring Libya PartiallyTangibleProduct (YearFn 1997)
 (BillionDollars 10.6))
(implies
 (and (numberOfInhabitants Libya ?Y)
      (consumptionAmountDuring Libya EnergyAsAQuantity (YearFn 1995)
       ((Mega BritishThermalUnit) ?X)))
 (evaluate 102.1 (QuotientFn ?X ?Y)))
(productionAmountDuring Libya (ProductFn NaturalGas) (YearFn 1996)
 ((Tera CubicFoot) 0.23))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya FighterPlane 212))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya ArmoredPersonnelCarrier
  990))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya Tank-Vehicle 2025))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya Artillery-Towed 720))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya Artillery-SelfPropelled
  450))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya LandingCraft 10))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya AttackHelicopter 55))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya Submarine 4))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya MineCountermeasuresVessel
  8))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya MissilePatrolVessel 24))
(holdsIn (YearFn 1998)
 (relationInstanceExistsCount possesses Libya BomberPlane 6))
(denotationRelatedTo Libyan-TheWord Adjective 0 Libya)
(goalCategoryForAgent Libya
 (thereExists ?EVENT (decreases-Generic ?EVENT OPEC oilExport))
 StrategicNationalInterest)
(goalCategoryForAgent Libya
 (thereExists ?EVENT (increases-Generic ?EVENT OPEC oilPriceCharged))
 StrategicNationalInterest)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical France MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical SanMarino MiddleEast-Region Low)
 ActionGuidingIdeology)
(totalBudgetExpenditures Libya (YearFn 1995) (BillionDollars 14.9))
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Denmark MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Italy MiddleEast-Region Low)
 ActionGuidingIdeology)
(totalReserves Libya (ProductFn Petroleum-CrudeOil)
 (BillionBarrels 29.5))
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical
  UnitedKingdomOfGreatBritainAndNorthernIreland MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (not (thereExists ?AGENT
       (thereExists ?TERRITORY
        (and (Agent ?AGENT) (geographicalSubRegions Libya ?TERRITORY)
             (different Libya ?AGENT)
             (not (subOrganizations Libya ?AGENT))
             (ableToControl ?AGENT ?TERRITORY)))))
 TerritorialIntegrityGoal)
(exportsThrough Libya PetroleumProduct SuezCanal)
(grossDomesticProduct Libya (YearFn 1997) (BillionDollars 77.5))
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Portugal MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Sweden MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Liechtenstein MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Iceland MiddleEast-Region Low)
 ActionGuidingIdeology)
(not (behaviorCapable Libya (DevelopingAFn NuclearWeapon) performedBy))
(populationDuring Libya (YearFn 1997) 5800000)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Norway MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Switzerland MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (behaviorCapable Libya (MakingFn WeaponOfMassDestruction) performedBy)
 NationalDefenseGoal)
(behaviorCapable Libya EconomicEmbargo performedBy)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Libya ContinentOfAfrica High)
 GeopoliticalStatusGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Luxembourg MiddleEast-Region Low)
 ActionGuidingIdeology)
(hasStatusWithAgent Libya UnitedStatesOfAmerica NoDiplomaticRecognition)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Finland MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (not (thereExists ?DISPUTE
       (thereExists ?OPPONENT
        (and (TerritorialDispute ?DISPUTE)
             (opponentsInConflict Libya ?OPPONENT ?DISPUTE)))))
 GeopoliticalStatusGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Netherlands MiddleEast-Region Low)
 ActionGuidingIdeology)
(holdsIn (MtTimeFn EIAPagesMt)
 (userRightsRelation Libya (IndustryOfRegionFn OilIndustry Libya)
  FullUseRights))
(currentAccountBalanceDuring Libya (YearFn 1997) (MillionDollars -560))
(distanceBetween Libya PersianGulfRegion (Kilometer 2000 4200))
(goalCategoryForAgent Libya
 (not (thereExists ?ATTACK
       (and (MilitaryAttack ?ATTACK) (maleficiary ?ATTACK Libya)
            (or (directingAgent ?ATTACK Israel)
                (directingAgent ?ATTACK UnitedStatesOfAmerica)
                (relationInstanceExists directingAgent ?ATTACK
                 WesternCountry)))))
 NationalDefenseGoal)
(populationDuring Libya (MonthFn July (YearFn 1996)) 5445436)
(behaviorCapable Libya ChemicalAttack performedBy)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Greece MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (forAll ?ACTOR
  (implies (socialParticipants MiddleEastPeaceProcess ?ACTOR)
   (failureForAgents MiddleEastPeaceProcess ?ACTOR)))
 GeopoliticalStatusGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Libya ContinentOfAfrica High)
 PoliticalGoal)
(opponentsInConflict Libya Niger TerritorialDispute-Libya-Niger)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Canada MiddleEast-Region Low)
 ActionGuidingIdeology)
(holdsIn (YearFn 1997) (owesDebts Libya Russia (BillionDollars 2.4)))
(grossNationalProduct Libya (YearFn 1994) ((USDollarFn 1994) 3.29e+10))
(behaviorCapable Libya MissileAttack performedBy)
(grossDomesticProduct Libya (YearFn 1995) (BillionDollars 34.5))
(goalCategoryForAgent Libya
 (not (thereExists ?SANCTION
       (and (ImposingSanctions ?SANCTION)
            (maleficiary ?SANCTION Libya))))
 NationalEconomyGoal)
(goalCategoryForAgent Libya
 (not (thereExists ?SANCTION
       (and (ImposingSanctions ?SANCTION)
            (maleficiary ?SANCTION Libya))))
 ForeignPolicyGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical VaticanCity MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical UnitedStatesOfAmerica MiddleEast-Region
  Low)
 ActionGuidingIdeology)
(populationDuring Libya (YearFn 1994) 5248401)
(goalCategoryForAgent Libya
 (not (thereExists ?SANCTION
       (and (ImposingSanctions ?SANCTION)
            (maleficiary ?SANCTION Libya))))
 StrategicNationalInterest)
(implies
 (and (TerroristGroup ?TERRORIST) (considersAsEnemy ?TERRORIST Israel))
 (goalCategoryForAgent Libya
  (thereExists ?SUPPORT
   (givesSupportToAgent Libya ?TERRORIST ?SUPPORT))
  ActionGuidingIdeology))
(goalCategoryForAgent Libya
 (thereExists ?WMD
  (and (WeaponOfMassDestruction ?WMD) (owns Libya ?WMD)))
 NationalDefenseGoal)
(goalCategoryForAgent Libya
 (thereExists ?EVENT (increases-Generic ?EVENT Libya power-Military))
 NationalDefenseGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Belgium MiddleEast-Region Low)
 ActionGuidingIdeology)
(behaviorCapable Libya (MakingFn BlisterAgent) performedBy)
(implies (WesternCountry ?COUNTRY)
 (goalCategoryForAgent Libya
  (powerInRegion-Geopolitical ?COUNTRY MiddleEast-Region Low)
  ActionGuidingIdeology))
(populationDuring Libya (YearFn 1996) 5445436)
(holdsIn (DayFn 1 (MonthFn January (YearFn 1998)))
 (totalReserves Libya (ProductFn NaturalGas) ((Tera CubicFoot) 46.3)))
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Germany MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Ireland-TheNation MiddleEast-Region Low)
 ActionGuidingIdeology)
(opponentsInConflict Libya Tunisia TerritorialDispute-Libya-Tunisia)
(goalCategoryForAgent Libya
 (forAll ?ACTOR
  (implies (socialParticipants MiddleEastPeaceProcess ?ACTOR)
   (failureForAgents MiddleEastPeaceProcess ?ACTOR)))
 ForeignPolicyGoal)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Austria MiddleEast-Region Low)
 ActionGuidingIdeology)
(opponentsInConflict Libya Algeria TerritorialDispute-Libya-Algeria)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Spain MiddleEast-Region Low)
 ActionGuidingIdeology)
(goalCategoryForAgent Libya (power-Military Libya High)
 NationalDefenseGoal)
(givesSupportToAgent Libya AbuNidalOrganization
 (HighAmountFn EconomicSupport))
(populationDuring Libya (YearFn 1997) 5648359)
(behaviorCapable Libya (MakingFn NerveAgent) performedBy)
(goalCategoryForAgent Libya
 (powerInRegion-Geopolitical Monaco MiddleEast-Region Low)
 ActionGuidingIdeology)
(relationInstanceExistsMany possesses Libya Missile)
(relationInstanceExistsMany owns Libya CruiseMissile-OtomatMk2)
(relationInstanceExistsMany owns Libya BallisticMissile-SCUDC)
(relationInstanceExistsMany possesses Libya BlisterAgent)
(examplePredSentences relationInstanceExistsMany
 (relationInstanceExistsMany possesses Libya ChemicalWeapon))
(hasStatusWithAgent InternationalSeabedAuthority Libya ObserverStatus)
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya CruiseMissile-AS7Kerry))
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya BallisticMissile-SS21))
(many-GenQuantRelnFrom possesses Libya ChemicalWeapon)
(relationInstanceExistsMany possesses Libya BallisticMissile-SCUDB)
(beliefs InternationalCommunity
 (relationInstanceExists performedBy Libya (MakingFn NuclearWeapon)))
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya BallisticMissile-SCUDC))
(relationInstanceExistsMany possesses Libya Su-24-Bomber)
(relationInstanceExistsMany owns Libya CruiseMissile-Styx)
(relationInstanceExistsMany owns Libya CruiseMissile-ExocetAM39)
(relationInstanceExistsMany owns Libya BallisticMissile-SS21)
(relationInstanceExistsMany owns Libya Su-24-Bomber)
(relationInstanceExistsMany possesses Libya CruiseMissile-Styx)
(relationInstanceExistsMany possesses Libya CruiseMissile-ExocetAM39)
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya CruiseMissile-AS9Kyle))
(relationInstanceExistsMany possesses Libya BallisticMissile-SS21)
(relationInstanceExistsMany owns Libya BallisticMissile-SCUDB)
(relationInstanceAll citizens Libya LibyanPerson)
(relationInstanceExistsMany possesses Libya NerveAgent)
(opponentsInConflict Tunisia Libya TerritorialDispute-Libya-Tunisia)
(relationInstanceExistsMany owns Libya ChemicalWeapon)
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya CruiseMissile-OtomatMk2))
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya CruiseMissile-AS11Kilter))
(borderBetweenRegions (BorderBetweenFn Libya Algeria) Libya Algeria)
(beliefs InternationalCommunity
 (relationInstanceExists possesses Libya ChemicalWeapon))
(relationInstanceExistsMany possesses Libya BallisticMissile-SCUDC)
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya CruiseMissile-SSN2CStyx))
(holdsIn (YearFn 1998)
 (relationInstanceExists possesses Libya BallisticMissile-SS1))
(relationInstanceExistsMany possesses Libya CruiseMissile-OtomatMk2)
(importsFrom Spain PetroleumProduct-Refined Libya)
(holdsIn (YearFn 1997) (suppliedWithFrom Greece PetroleumProduct Libya))
(importsFrom Greece PetroleumProduct-Refined Libya)
(importanceOfThingInSet Spain
 (TheSetOf ?COUNTRY
  (and (IndependentCountry ?COUNTRY)
       (importsFrom ?COUNTRY PetroleumProduct-Refined Libya)))
 VeryHigh)
(importanceOfThingInSet Germany
 (TheSetOf ?COUNTRY
  (and (IndependentCountry ?COUNTRY)
       (importsFrom ?COUNTRY PetroleumProduct-Refined Libya)))
 VeryHigh)
(importanceOfThingInSet France
 (TheSetOf ?COUNTRY
  (and (IndependentCountry ?COUNTRY)
       (importsFrom ?COUNTRY PetroleumProduct-Refined Libya)))
 VeryHigh)
(importanceOfThingInSet Italy
 (TheSetOf ?COUNTRY
  (and (IndependentCountry ?COUNTRY)
       (importsFrom ?COUNTRY PetroleumProduct-Refined Libya)))
 VeryHigh)
(importsFrom Greece Petroleum-CrudeOil Libya)
(importsFrom Italy PetroleumProduct-Refined Libya)
(importsFrom Spain (ProductFn Petroleum-CrudeOil) Libya)
(holdsIn (YearFn 1997) (suppliedWithFrom Spain PetroleumProduct Libya))
(relationExistsInstance performedBy
 (MakingFn BallisticMissile-AlFattah) Libya)
(holdsIn (YearFn 1997) (suppliedWithFrom France PetroleumProduct Libya))
(holdsIn (YearFn 1997) (suppliedWithFrom Italy PetroleumProduct Libya))
(holdsIn (YearFn 1997)
 (suppliedWithFrom Germany PetroleumProduct Libya))
(importsFrom UnitedKingdomOfGreatBritainAndNorthernIreland
 PetroleumProduct-Refined Libya)
(holdsIn (YearFn 1997)
 (suppliedWithFrom Switzerland PetroleumProduct Libya))
(borderBetweenRegions (BorderBetweenFn Chad Libya) Chad Libya)
(importsFrom Austria PetroleumProduct-Refined Libya)
(holdsIn (YearFn 1997)
 (suppliedWithFrom UnitedKingdomOfGreatBritainAndNorthernIreland
  PetroleumProduct Libya))
(importanceOfThingInSet WesternEurope
 (TheSetOf ?X (importsFrom ?X PetroleumProduct Libya)) High)
(importsFrom Germany PetroleumProduct-Refined Libya)
(importsFrom France PetroleumProduct-Refined Libya)
(holdsIn (YearFn 1997)
 (suppliedWithFrom Austria PetroleumProduct Libya))
(goals Libya
 (forAll ?ATTACK
  (implies
   (and (MilitaryAttack ?ATTACK) (performedBy ?ATTACK Israel)
        (maleficiary ?ATTACK Libya))
   (failureForAgents ?ATTACK Israel))))
(Entity Libya)
(IndependentCountry Libya)
(holdsIn Iran-IraqWar (allies Libya Iran))
(goals Libya (powerInRegion-Geopolitical Germany MiddleEast-Region Low))
(capitalCity Libya CityOfTripoliLibya)
(goals Libya
 (powerInRegion-Geopolitical
  UnitedKingdomOfGreatBritainAndNorthernIreland MiddleEast-Region Low))
(ethnicGroupsHere Libya EthnicGroupOfMaltese)
(goals Libya
 (forAll ?ATTACK
  (implies
   (and (MilitaryAttack ?ATTACK)
        (performedBy ?ATTACK UnitedStatesOfAmerica)
        (maleficiary ?ATTACK Libya))
   (failureForAgents ?ATTACK UnitedStatesOfAmerica))))
(goals Libya (powerInRegion-Geopolitical Austria MiddleEast-Region Low))
(geographicalSubRegions Libya GialoOilField)
(ethnicGroupsHere Libya EthnicGroupOfItalians)
(goals Libya
 (not (thereExists ?SANCTION
       (and (ImposingSanctions ?SANCTION)
            (maleficiary ?SANCTION Libya)))))
(goals Libya (powerInRegion-Geopolitical Denmark MiddleEast-Region Low))
(ethnicGroupsHere Libya EthnicGroupOfArabs)
(government Libya (GovernmentFn Libya))
(goals Libya
 (powerInRegion-Geopolitical Portugal MiddleEast-Region Low))
(holdsIn (YearFn 1998) (militaryManpower-Active Libya 65000))
(ethnicGroupsHere Libya EthnicGroupOfEgyptians)
(geographicalSubRegions Libya Defa-WahaOilField)
(goals Libya (powerInRegion-Geopolitical Sweden MiddleEast-Region Low))
(citizens Libya Floquil)
(beliefs InternationalCommunity
 (thereExists ?WEAP
  (and (ChemicalWeapon ?WEAP) (possesses Libya ?WEAP))))
(ethnicGroupsHere Libya EthnicGroupOfTunisians)
(geographicalSubRegions Libya AttahaddyOilField)
(goals Libya
 (powerInRegion-Geopolitical Netherlands MiddleEast-Region Low))
(goals Libya
 (powerInRegion-Geopolitical Liechtenstein MiddleEast-Region Low))
(goals Libya
 (thereExists ?EVENT (decreases-Generic ?EVENT OPEC oilExport)))
(geographicalSubRegions Libya SarirOilField)
(considersAsEnemy Libya WesternEurope)
(geopoliticalSubdivision Libya Tarabulus-MunicipalityLibya)
(goals Libya
 (thereExists ?EVENT (increases-Generic ?EVENT OPEC oilPriceCharged)))
(exports Libya PetroleumProduct)
(IndustrializedCountry Libya)
(holdsIn (YearFn 1997) (customers Libya Switzerland))
(geographicalSubRegions Libya Dahra-HofraOilField)
(inhabitantTypes Libya LibyanPerson)
(geographicalSubRegions Libya GhadamesGasField)
(goals Libya (powerInRegion-Geopolitical Iceland MiddleEast-Region Low))
(armedWithWeaponType Libya (BiologicalWeaponFn Anthrax-Bacterium))
(ethnicGroupsHere Libya EthnicGroupOfPakistanis)
(goals Libya (powerInRegion-Geopolitical Norway MiddleEast-Region Low))
(inhabitantTypes Libya EthnicGroupOfTunisians)
(geopoliticalSubdivision Libya Sabha-MunicipalityLibya)
(holdsIn TheYear1988 (deathRate Libya 11.2))
(exports Libya PetroleumProduct-Refined)
(customers Libya Turkey)
(geopoliticalSubdivision Libya Awbari-MunicipalityLibya)
(governmentType-Coll Libya MilitaryDictatorship-Coll)
(temporalBoundsContain Libya TheYear1988)
(geopoliticalSubdivision Libya CityOfBanghaziLibya)
(goals Libya
 (powerInRegion-Geopolitical Switzerland MiddleEast-Region Low))
(exports Libya (ProductFn Petroleum-CrudeOil))
(geopoliticalSubdivision Libya Sawfajjin-MunicipalityLibya)
(spatiallyIntersects Libya SaharaDesert)
(bordersOn Libya MediterraneanSea)
(holdsIn (YearFn 1998)
 (defenseBudgetExpenditures Libya ((USDollarFn 1998) 1300000000)))
(geopoliticalSubdivision Libya AlJabalalAkhdar-MunicipalityLibya)
(geopoliticalSubdivision Libya AlKhums-MunicipalityLibya)
(inhabitantTypes Libya EthnicGroupOfArabs)
(majorReligions Libya SunniIslam)
(geographicalSubRegions Libya SamahOilField)
(areaOfRegion Libya (SquareKilometer 1775500))
(imports Libya ManufacturedGoods)
(exports Libya (ProductFn NaturalGas))
(temporalBoundsContain Libya TheYear1986)
(goals Libya (powerInRegion-Geopolitical Libya ContinentOfAfrica High))
(imports Libya TransportationDevice)
(EELDNaturalDataConstant Libya)
(geopoliticalSubdivision Libya AshShati-MunicipalityLibya)
(geopoliticalSubdivision Libya Ajdabiya-MunicipalityLibya)
(regionHasTransportMeans Libya Truck)
(geographicalSubRegions Libya BeidaOilField)
(languagesSpokenHere Libya ArabicLanguage)
(geographicalSubRegions Libya El-BouriGasField)
(ethnicGroupsHere Libya EthnicGroupOfGreeks)
(holdsIn (YearFn 1997)
 (internationalMonetaryReserves Libya ((Giga Dollar-UnitedStates) 5.3)))
(geopoliticalSubdivision Libya AlFatih-MunicipalityLibya)
(inhabitantTypes Libya EthnicGroupOfIndia)
(holdsIn (YearFn 1997)
 (numberOfInhabitants Libya (TimesFn 5.8 1000000)))
(geopoliticalSubdivision Libya Yafran-MunicipalityLibya)
(beliefs Libya
 (thereExists ?URANIUM
  (and (Uranium ?URANIUM) (objectFoundInLocation ?URANIUM Libya)
       (inRegion ?URANIUM (BorderBetweenFn Chad Libya)))))
(goals Libya
 (powerInRegion-Geopolitical Ireland-TheNation MiddleEast-Region Low))
(inhabitantTypes Libya EthnicGroupOfTurks)
(geopoliticalSubdivision Libya Tarhunah-MunicipalityLibya)
(subjectToCOC Libya HumanRights)
(regionHasTransportMeans Libya Airplane)
(inhabitantTypes Libya EthnicGroupOfPakistanis)
(geopoliticalSubdivision Libya AzZawiyah-MunicipalityLibya)
(geopoliticalSubdivision Libya Ghadamis-MunicipalityLibya)
(geopoliticalSubdivision Libya Surt-MunicipalityLibya)
(goals Libya (powerInRegion-Geopolitical Greece MiddleEast-Region Low))
(holdsIn (YearFn 1997) (customers Libya Italy))
(possesses Libya HYP-BallisticMissile-SCUDB-62340073)
(geopoliticalSubdivision Libya Murzuq-MunicipalityLibya)
(geopoliticalSubdivision Libya Darnah-MunicipalityLibya)
(possesses Libya HYP-BallisticMissile-SS21-19770457)
(possesses Libya HYP-BallisticMissile-SCUDC-25199766)
(inhabitantTypes Libya EthnicGroupOfMaltese)
(holdsIn (YearFn 1997) (customers Libya France))
(goals Libya (power-Military Libya High))
(possesses Libya HYP-CruiseMissile-ExocetAM39-24943222)
(Individual Libya)
(geopoliticalSubdivision Libya Zlitan-MunicipalityLibya)
(MilitaryGovernment-Coll Libya)
(MilitaryDictatorship-Coll Libya)
(inhabitantTypes Libya EthnicGroupOfGreeks)
(geopoliticalSubdivision Libya Misratah-MunicipalityLibya)
(holdsIn TheYear1988 (birthRate Libya 46))
(negativeVestedInterest Libya AbuNidalOrganization)
(possesses Libya HYP-CruiseMissile-Styx-5941352)
(EELDSharedOntologyCandidateConstant Libya)
(holdsIn (YearFn 1997) (customers Libya Austria))
(IKBConstant Libya)
(geopoliticalSubdivision Libya Banghazi-MunicipalityLibya)
(goals Libya
 (not (thereExists ?DISPUTE
       (thereExists ?OPPONENT
        (and (TerritorialDispute ?DISPUTE)
             (opponentsInConflict Libya ?OPPONENT ?DISPUTE))))))
(geographicalSubRegions Libya Nafoora-AugilaOilField)
(implies (citizens Libya ?PERSON) (LibyanPerson ?PERSON))
(geographicalSubRegions Libya BahiOilField)
(conceptuallyRelated Libya (ResidentsFn Libya))
(MaghrebCountry Libya)
(definingMt Libya WorldPoliticalGeographyDataVocabularyMt)
(goals Libya
 (powerInRegion-Geopolitical VaticanCity MiddleEast-Region Low))
(governmentType Libya MilitaryDictatorship)
(holdsIn TheYear1988 (infantMortalityRate Libya 84))
(startingDate Libya (DayFn 24 (MonthFn December (YearFn 1951))))
(totalDebt Libya (BillionDollars 5.6))
(geopoliticalSubdivision Libya AlKufrah-MunicipalityLibya)
(regionHasTransportMeans Libya Ship)
(geographicalSubRegions Libya RagubaOilField)
(geopoliticalSubdivision Libya AlAziziyah-MunicipalityLibya)
(geographicalSubRegions Libya NasserOilField)
(power-Military Libya Low)
(holdsIn (YearFn 1997)
 (customers Libya UnitedKingdomOfGreatBritainAndNorthernIreland))
(ethnicGroupsHere Libya EthnicGroupOfArab-Berbers)
(defenseBudgetExpenditures Libya ((USDollarFn 1993) 1.4e+9))
(nationalLanguage Libya ArabicLanguage)
(goals Libya (powerInRegion-Geopolitical Canada MiddleEast-Region Low))
(inhabitantTypes Libya EthnicGroupOfItalians)
(goals Libya
 (not (thereExists ?AGENT
       (thereExists ?TERRITORY
        (and (Agent ?AGENT) (geographicalSubRegions Libya ?TERRITORY)
             (different Libya ?AGENT)
             (not (subOrganizations Libya ?AGENT))
             (ableToControl ?AGENT ?TERRITORY))))))
(bordersOn Libya Algeria)
(holdsIn (YearFn 1997) (customers Libya Spain))
(goals Libya
 (setBehaviorCapable Libya
  (TheSetOf ?ATTACK
   (and (MilitaryAttack ?ATTACK)
        (maleficiary ?ATTACK UnitedStatesOfAmerica)
        (destructivePotentialOf ?ATTACK
         (HighAmountFn DestructivePotential))))
  performedBy))
(geopoliticalSubdivision Libya Gharyan-MunicipalityLibya)
(geopoliticalSubdivision Libya Tubruq-MunicipalityLibya)
(positiveVestedInterest Libya (NorthernRegionFn Niger))
(geographicalSubRegions Libya AssumudOilField)
(goals Libya
 (powerInRegion-Geopolitical SanMarino MiddleEast-Region Low))
(presidentOfCountry Libya MuammarAl-Qaddafi)
(spatiallyIntersects Libya TropicOfCancer)
(adjSemTrans Libyan-TheWord 0 RegularAdjFrame
 (possessiveRelation Libya :NOUN))
(holdsIn (YearFn 1997) (customers Libya Germany))
(geopoliticalSubdivision Libya AlJufrah-MunicipalityLibya)
(holdsIn (YearFn 1997) (customers Libya Greece))
(geopoliticalSubdivision Libya CityOfMersaBregaLibya)
(holdsIn TheYear1986 (deathRate Libya 13))
(geographicalSubRegions Libya MesslaOilField)
(IntangibleExistingThing (BorderBetweenFn Libya Algeria))
(lengthOfObject (BorderBetweenFn Libya Algeria) (Kilometer 982))
(Individual (BorderBetweenFn Libya Algeria))
(Border (BorderBetweenFn Libya Algeria))
(GeopoliticalBorder (BorderBetweenFn Libya Algeria))
(goals Libya (powerInRegion-Geopolitical France MiddleEast-Region Low))
(affiliatedWith Libya PopularFrontForLiberationOfPalestine)
(goals Libya
 (thereExists ?WMD
  (and (WeaponOfMassDestruction ?WMD) (owns Libya ?WMD))))
(goals Libya
 (thereExists ?EVENT (increases-Generic ?EVENT Libya power-Military)))
(inhabitantTypes Libya EthnicGroupOfEgyptians)
(goals Libya (powerInRegion-Geopolitical Monaco MiddleEast-Region Low))
(governmentType-Coll Libya MilitaryGovernment-Coll)
(positiveVestedInterest Libya
 (SouthernRegionFn (EasternRegionFn Algeria)))
(geographicalSubRegions Libya AmalOilField)
(geopoliticalSubdivision Libya CityOfTripoliLibya)
(goals Libya
 (behaviorCapable Libya (MakingFn WeaponOfMassDestruction) performedBy))
(goals Libya (powerInRegion-Geopolitical Spain MiddleEast-Region Low))
(imports Libya MechanicalDevice)
(goals Libya (powerInRegion-Geopolitical Italy MiddleEast-Region Low))
(bordersOn Libya Sudan)
(goals Libya
 (forAll ?ACTOR
  (implies (socialParticipants MiddleEastPeaceProcess ?ACTOR)
   (failureForAgents MiddleEastPeaceProcess ?ACTOR))))
(positiveVestedInterest Libya (MaritimeClaimFn Tunisia))
(considersAsEnemy Libya Israel)
(citizens Libya Y1Phase2Stage1-LibyanScientist1)
(ethnicGroupsHere Libya EthnicGroupOfIndia)
(citizens Libya Y1Phase2Stage1-LibyanScientist2)
(bordersOn Libya Egypt)
(holdsIn TheYear1986 (birthRate Libya 48))
(goals Libya (powerInRegion-Geopolitical Finland MiddleEast-Region Low))
(geopoliticalSubdivision Libya AnNuqatalKhams-MunicipalityLibya)
(spatiallyIntersects Libya Maghreb-Region)
(ethnicGroupsHere Libya EthnicGroupOfTurks)
(goals Libya (powerInRegion-Geopolitical Belgium MiddleEast-Region Low))
(imports Libya Food)
(geographicalSubRegions Libya IntisarOilField)
(geographicalSubRegions Libya HateibaGasField)
(ethnicGroupsHere Libya EthnicGroupOfBerbers)
(goals Libya
 (powerInRegion-Geopolitical Luxembourg MiddleEast-Region Low))
(considersAsEnemy Libya UnitedStatesOfAmerica)
(geopoliticalSubdivision Libya CityOfMisurataLibya)
(inhabitantTypes Libya EthnicGroupOfBerbers)
(goals Libya
 (powerInRegion-Geopolitical UnitedStatesOfAmerica MiddleEast-Region
  Low))
(possesses Libya HYP-CruiseMissile-OtomatMk2-36984848)
(geographicalSubRegions NorthernAfrica Libya)
(internationalOrganizationMemberCountries CustomsCooperationCouncil
 Libya)
(objectFoundInLocation Murzuk-OilField Libya)
(performedBy LibyaSupportsPFLP-01 Libya)
(hasHeadquartersInCountry LibyanNationalOilCompany Libya)
(directingAgent BombingOfUTAFlight772 Libya)
(beneficiary RussiaHelpsLibyaInItsCivilianNuclearEnergyProgram Libya)
(obligatedAgent NuclearNon-ProliferationTreaty Libya)
(directingAgent BombingOfPanAmFlight103 Libya)
(performedBy ChemicalAttackAgainstChad-1987 Libya)
(objectFoundInLocation ElBouri-OilField Libya)
(internationalOrganizationMemberCountries OAPEC Libya)
(internationalOrganizationMemberCountries
 ArabBankForEconomicDevelopmentInAfrica Libya)
(pathTerminus Messla-RasLanuf-Pipeline Libya)
(areasOfOrigin EthnicGroupOfTuaregs Libya)
(residenceOfOrganization RevolutionaryCommandCouncil-Libya Libya)
(pathTerminus Waha-EsSider-Pipeline Libya)
(thereExists ?NEG
 (and (Negotiating ?NEG) (senderOfInfo ?NEG Libya)
      (senderOfInfo ?NEG Russia)))
(Individual (BorderBetweenFn Chad Libya))
(GeopoliticalBorder (BorderBetweenFn Chad Libya))
(Border (BorderBetweenFn Chad Libya))
(IntangibleExistingThing (BorderBetweenFn Chad Libya))
(thereExists ?URANIUM
 (and (inRegion ?URANIUM (BorderBetweenFn Chad Libya))
      (Uranium ?URANIUM) (objectFoundInLocation ?URANIUM Libya)))
(residenceOfOrganization AbuNidalOrganization Libya)
(customers Turkey Libya)
((GroupFn Business)
 (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya))
(Industry-Localized
 (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya))
(Individual (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya))
(groupMemberType
 (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya) Business)
(CivilianNuclearEnergyProgram
 (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya))
(interestFostered RussiaHelpsLibyaInItsCivilianNuclearEnergyProgram
 (IndustryOfRegionFn CivilianNuclearEnergyProgram Libya))
(customers UnitedKingdomOfGreatBritainAndNorthernIreland Libya)
(performedBy LibyaSupportsPalestineLiberationFront-01 Libya)
(hasHeadquartersInCountry ArabOilAndGasCompany Libya)
(customers France Libya)
(customers Greece Libya)
(officeInCountry Zueitina-OilCompany Libya)
(operatesInRegion LibyanFightGroup Libya)
(performedBy LibyaSupportsAbuNidalOrganization-01 Libya)
(performedBy LibyaSupportsPFLP-GeneralCommand-01 Libya)
(objectFoundInLocation MarsaElBrega-Refinery Libya)
(hasMembers InternationalAtomicEnergyAgency Libya)
(hasHeadquartersInCountry Waha-OilCompany Libya)
(objectFoundInLocation Kabir-OilField Libya)
(hasHeadquartersInCountry AbuNidalOrganization Libya)
(customers Italy Libya)
(headOfStateOf MuammarAl-Qaddafi Libya)
(objectFoundInLocation Sarir-OilRefinery Libya)
(geographicalSubRegions Maghreb-Region Libya)
(pathTerminus Intisar-Zueitina-Pipeline Libya)
(internationalOrganizationMemberCountries ARABSAT Libya)
(geographicalSubRegions Mediterranean-Region Libya)
(residenceOfOrganization LibyanMilitary Libya)
(conceptuallyRelated (ResidentsFn Libya) Libya)
(socialParticipants Y1Stage1-OPECMeeting Libya)
(pathTerminus HammadaElHamra-Zawiya-Pipeline Libya)
(thereExists ?ATTACK (deliberateActors ?ATTACK Libya))
(internationalOrganizationMemberCountries LeagueOfArabStates Libya)
(internationalOrganizationMemberCountries OPEC Libya)
(jurisdictionRegion US-EuropeanCommand-Stuttgart-VaihingenGermany Libya)
(officeInCountry Sirte-OilCompany Libya)
(internationalOrganizationMemberCountries
 OrganizationOfTheIslamicConference Libya)
(objectFoundInLocation MarsaElBrega-Pipeline Libya)
(pathTerminus MarsaElBrega-Pipeline Libya)
(performedBy LibyaSupportsPalestineIslamicJihad-01 Libya)
(currencyOf Dinar-Libya Libya)
(conceptuallyRelated MuammarAl-Qaddafi Libya)
(hasMembers InternationalMonetaryFund Libya)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 BeidaOilField)
(Industry-Localized (IndustryOfRegionFn OilIndustry Libya))
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 AttahaddyOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Waha-EsSider-Pipeline)
(groupMembers (IndustryOfRegionFn OilIndustry Libya)
 LibyanNationalOilCompany)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 MesslaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Sarir-OilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SamahOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 RasLanuf-OilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 NasserHatiba-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Sarir-MarsaElHariga-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Messla-RasLanuf-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 AssumudOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Tobruk-OilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 MarsaElBrega-Pipeline)
(groupMembers (IndustryOfRegionFn OilIndustry Libya)
 Zueitina-OilCompany)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SeaportOfTripoliLibya)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Zawiya-OilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SeaportOfBenghaziLibya)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Intisar-Zueitina-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SeaportOfMersaBregaLibya)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SeaportOfMisurataLibya)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 IntisarOilField)
((GroupFn Business) (IndustryOfRegionFn OilIndustry Libya))
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Kabir-OilField)
(groupMemberType (IndustryOfRegionFn OilIndustry Libya) Business)
(Individual (IndustryOfRegionFn OilIndustry Libya))
(industryFacilities (IndustryOfRegionFn OilIndustry Libya) BahiOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 RagubaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 BuAttifel-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Nafoora-AugilaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 SarirOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Amal-RasLanuf-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 IntisarAHatiba-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 MarsaElBrega-Refinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 NasserBrega-Pipeline)
(groupMembers (IndustryOfRegionFn OilIndustry Libya) Waha-OilCompany)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 GialoOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Dahra-HofraOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Murzuk-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 NasserOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 HammadaElHamra-Zawiya-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 ElBouri-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 Defa-WahaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya)
 DefaNasser-Pipeline)
(industryProducesType (IndustryOfRegionFn OilIndustry Libya)
 PetroleumProduct)
(industryFacilities (IndustryOfRegionFn OilIndustry Libya) AmalOilField)
(OilIndustry (IndustryOfRegionFn OilIndustry Libya))
(pathTerminus NasserHatiba-Pipeline Libya)
(maleficiary SanctionsOnLibya-November1993 Libya)
(maleficiary IranOilSanctionsAct-1996 Libya)
(ableToControl RevolutionaryCommandCouncil-Libya Libya)
(objectFoundInLocation RasLanuf-OilRefinery Libya)
(pathTerminus IntisarAHatiba-Pipeline Libya)
(officeInCountry LibyanNationalOilCompany Libya)
(bordersOn Chad Libya)
(objectFoundInLocation TadjouraNuclearResearchCenter Libya)
(pathTerminus Sarir-MarsaElHariga-Pipeline Libya)
(holdsIn IranRevolution-1978-1979 (allies Iran Libya))
(holdsIn (IntervalStartedByFn IranRevolution-1978-1979)
 (allies Iran Libya))
(customers Germany Libya)
(geographicalSubRegions ContinentOfAfrica Libya)
(internationalOrganizationMemberCountries UnitedNationsOrganization
 Libya)
(pathTerminus NasserBrega-Pipeline Libya)
(hasHeadquartersInCountry Zueitina-OilCompany Libya)
(obligatedAgent BiologicalAndToxinWeaponsConvention Libya)
(directingAgent CWAttackOnChadianTroops Libya)
(hasHeadquartersInCountry Sirte-OilCompany Libya)
(internationalOrganizationMemberCountries INTERPOL Libya)
(objectFoundInLocation Zawiya-OilRefinery Libya)
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK CentralAfricanRepublic)
       (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Mali) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Sudan) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Niger) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Egypt) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Nigeria) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Cameroon) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Italy) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Cyprus-TheCountry)
       (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Chad) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Algeria) (deviceUsed ?ATTACK ?MISSILE))))
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Israel) (deviceUsed ?ATTACK ?MISSILE))))
(objectFoundInLocation Tobruk-OilRefinery Libya)
(internationalOrganizationMemberCountries AfricanDevelopmentBank Libya)
(objectFoundInLocation BuAttifel-OilField Libya)
(pathTerminus Amal-RasLanuf-Pipeline Libya)
(pathTerminus DefaNasser-Pipeline Libya)
(directingAgent BombingOfBerlinDiscotheque Libya)
(internationalOrganizationMemberCountries
 InternationalAtomicEnergyAgency Libya)
(objectActedOn IranOilSanctionsAct-1996 (EconomyFn Libya))
(RedCrossSociety-National (NationalRedCrossSocietyFn Libya))
(Individual (NationalRedCrossSocietyFn Libya))
(hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties
 (NationalRedCrossSocietyFn Libya))
(holdsIn (YearFn 1996)
 (relationInstanceExists subOrganizations (GovernmentFn Libya) Navy))
(holdsIn (YearFn 1996)
 (relationInstanceExists subOrganizations (GovernmentFn Libya)
  AirForce))
(holdsIn (YearFn 1996)
 (relationInstanceExists subOrganizations (GovernmentFn Libya)
  Army-BranchOfService))
(positionOfPersonInOrganization AbdullahSalimAl-Badri
 (GovernmentFn Libya) MinisterOfEnergy)
(subOrganizations (GovernmentFn Libya) (ArmyFn Libya))
(GovernmentOfCountry (GovernmentFn Libya))
(RegionalGovernment (GovernmentFn Libya))
(Individual (GovernmentFn Libya))
(conceptuallyRelated AbdullahSalimAl-Badri (GovernmentFn Libya))
((GroupFn MilitaryPerson) (ArmyFn Libya))
(groupMemberType (ArmyFn Libya) MilitaryPerson)
(Army-BranchOfService (ArmyFn Libya))
(Individual (ArmyFn Libya))
(performedBy CWAttackOnChadianTroops (ArmyFn Libya))
(genls (ResidentsFn Libya) Person)
(genls (ResidentsFn Libya) Individual)
(genls (ResidentsFn Libya) LibyanPerson)
(PersonTypeByGeographicResidence (ResidentsFn Libya))
(keIrrelevantPrecisionSuggestionFrom (ResidentsFn Libya) Person)
     )
  ) ;; End of description Libya