From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/CountriesAndRegionsEng.gf | 848 -------------------------------- 1 file changed, 848 deletions(-) delete mode 100644 examples/SUMO/CountriesAndRegionsEng.gf (limited to 'examples/SUMO/CountriesAndRegionsEng.gf') diff --git a/examples/SUMO/CountriesAndRegionsEng.gf b/examples/SUMO/CountriesAndRegionsEng.gf deleted file mode 100644 index a5e214ae3..000000000 --- a/examples/SUMO/CountriesAndRegionsEng.gf +++ /dev/null @@ -1,848 +0,0 @@ ---# -path=.:englishExtended -concrete CountriesAndRegionsEng of CountriesAndRegions = MidLevelOntologyEng ** open ParadigmsEng,NounEng in { - -lin - NewJersey = UsePN (mkPN "New Jersey") ; - NewYorkState = UsePN (mkPN "New York") ; - Texas = UsePN (mkPN "Texas") ; - AdanaTurkey = UsePN (mkPN "Adana") ; - AddisAbabaEthiopia = UsePN (mkPN "Addis Ababa") ; - AdenYemen = UsePN (mkPN "Aden") ; - AdoraWestBank = UsePN (mkPN "Adora") ; - AfulaIsrael = UsePN (mkPN "Afula") ; - AgriTurkey = UsePN (mkPN "Agri") ; - AinDeflaAlgeria = UsePN (mkPN "Ain Defla") ; - AinElHajarAlgeria = UsePN (mkPN "Ain el Hajar") ; - AjaccioFrance = UsePN (mkPN "Ajaccio") ; - AlBalamandLebanon = UsePN (mkPN "Al-Balamand") ; - AleiSinaiGazaStrip = UsePN (mkPN "Alei Sinai") ; - AleiZahavWestBank = UsePN (mkPN "Alei Zahav") ; - AleyLebanon = UsePN (mkPN "Aley") ; - AlgiersAlgeria = UsePN (mkPN "Algiers") ; - AlkhanYurtRussia = UsePN (mkPN "Alkhan-Yurt") ; - AlonMorehWestBank = UsePN (mkPN "Alon Moreh") ; - AmbonIndonesia = UsePN (mkPN "Ambon") ; - AmmanJordan = UsePN (mkPN "Amman") ; - AnNuwaydiratBahrain = UsePN (mkPN "An Nuwaydirat") ; - AndeanSpain = UsePN (mkPN "Andean") ; - AngkorWatCambodia = UsePN (mkPN "Angkor Wat") ; - AnkaraTurkey = UsePN (mkPN "Ankara") ; - AntalyaTurkey = UsePN (mkPN "Antalya") ; - AntioquiaColombia = UsePN (mkPN "Antioquia") ; - AntwerpBelgium = UsePN (mkPN "Antwerp") ; - ApumiracPeru = UsePN (mkPN "Apumirac") ; - ApureVenezuela = UsePN (mkPN "Apure") ; - AraucaColombia = UsePN (mkPN "Arauca") ; - ArgunRussia = UsePN (mkPN "Argun") ; - ArielWestBank = UsePN (mkPN "Ariel") ; - ArmaghNorthernIreland = UsePN (mkPN "Armagh") ; - ArzewAlgeria = UsePN (mkPN "Arzew") ; - AshdodIsrael = UsePN (mkPN "Ashdod") ; - AskelonIsrael = UsePN (mkPN "Askelon") ; - AsmaraEritrea = UsePN (mkPN "Asmara") ; - AssamIndia = UsePN (mkPN "Assam") ; - AswanEgypt = UsePN (mkPN "Aswan") ; - AsyutEgypt = UsePN (mkPN "Asyut") ; - AthensGreece = UsePN (mkPN "Athens") ; - AtrushIraq = UsePN (mkPN "Atrush") ; - AtzmonaGazaStrip = UsePN (mkPN "Atzmona") ; - AvneiHefetzIsrael = UsePN (mkPN "Avnei Hefetz") ; - AyacuchoPeru = UsePN (mkPN "Ayacucho") ; - AzorIsrael = UsePN (mkPN "Azor") ; - BadVilbelGermany = UsePN (mkPN "Bad Vilbel") ; - BaghdadIraq = UsePN (mkPN "Baghdad") ; - BagreColombia = UsePN (mkPN "Bagre") ; - Bahamas = UsePN (mkPN "Bahamas") ; - BahawalpurPakistan = UsePN (mkPN "Bahawalpur") ; - BakaAlGarbiyehIsrael = UsePN (mkPN "Baka al-Garbiyeh") ; - BakkaAlSharkiyaWestBank = UsePN (mkPN "Bakka al-Sharkiya") ; - BakuAzerbaijan = UsePN (mkPN "Baku") ; - BaleEthiopia = UsePN (mkPN "Bale") ; - BanbridgeNorthernIreland = UsePN (mkPN "Banbridge") ; - BangkokThailand = UsePN (mkPN "Bangkok") ; - BangorNorthernIreland = UsePN (mkPN "Bangor") ; - BanguiCentralAfricanRepublic = UsePN (mkPN "Bangui") ; - BarcelonaSpain = UsePN (mkPN "Barcelona") ; - BarkeoCambodia = UsePN (mkPN "Barkeo") ; - BarrancabermejaColombia = UsePN (mkPN "Barrancabermeja") ; - BasraIsrael = UsePN (mkPN "Basra") ; - BatYamIsrael = UsePN (mkPN "Bat Yam") ; - BatmanTurkey = UsePN (mkPN "Batman") ; - BeasainSpain = UsePN (mkPN "Beasain") ; - BeErShevaIsrael = UsePN (mkPN "Be'er Sheva") ; - BeirutLebanon = UsePN (mkPN "Beirut") ; - BeitElWestBank = UsePN (mkPN "Beit El") ; - BeitHaggaiWestBank = UsePN (mkPN "Beit Haggai") ; - BeitSahurWestBank = UsePN (mkPN "Beit Sahur") ; - BeitSheAnIsrael = UsePN (mkPN "Beit She'an") ; - BeitShemeshIsrael = UsePN (mkPN "Beit Shemesh") ; - BeledweyneSomalia = UsePN (mkPN "Beledweyne") ; - BelfastNorthernIreland = UsePN (mkPN "Belfast") ; - BelgradeSerbiaAndMontenegro = UsePN (mkPN "Belgrade") ; - BerlinGermany = UsePN (mkPN "Berlin") ; - BetLeHiyehGazaStrip = UsePN (mkPN "Bet LeHiyeh") ; - BetLidJunctionIsrael = UsePN (mkPN "Bet Lid Junction") ; - BethElIsrael = UsePN (mkPN "Beth El") ; - BethlehemWestBank = UsePN (mkPN "Bethlehem") ; - BidyaWestBank = UsePN (mkPN "Bidya") ; - BilbaoSpain = UsePN (mkPN "Bilbao") ; - BillabonaSpain = UsePN (mkPN "Billabona") ; - BinyaminaIsrael = UsePN (mkPN "Binyamina") ; - BKaotWestBank = UsePN (mkPN "B'kaot") ; - BneiAyishIsrael = UsePN (mkPN "Bnei Ayish") ; - BogotaColombia = UsePN (mkPN "Bogota") ; - BolognaItaly = UsePN (mkPN "Bologna") ; - BonnGermany = UsePN (mkPN "Bonn") ; - BosphorousStraitsTurkey = UsePN (mkPN "BosphorousStraits") ; - BouiraAlgeria = UsePN (mkPN "Bouira") ; - BouzeGueneAlgeria = UsePN (mkPN "Bouze-guene") ; - BrusselsBelgium = UsePN (mkPN "Brussels") ; - BucaramangaColombia = UsePN (mkPN "Bucaramanga") ; - BucharestRomania = UsePN (mkPN "Bucharest") ; - BuenosAiresArgentina = UsePN (mkPN "Buenos Aires") ; - BuinakskRussia = UsePN (mkPN "Buinaksk") ; - Burma = UsePN (mkPN "Burma") ; - BwindiforestUganda = UsePN (mkPN "Bwindi forest") ; - CabindaAngola = UsePN (mkPN "Cabinda") ; - CaglayanTurkey = UsePN (mkPN "Caglayan") ; - CairoEgypt = UsePN (mkPN "Cairo") ; - CalcuttaIndia = UsePN (mkPN "Calcutta") ; - CaliColombia = UsePN (mkPN "Cali") ; - CampZamaJapan = UsePN (mkPN "Camp Zama") ; - CankiriTurkey = UsePN (mkPN "Cankiri") ; - CapeTownSouthAfrica = UsePN (mkPN "Cape Town") ; - CaritasPolandChechnya = UsePN (mkPN "Caritas Poland") ; - CarmelIsrael = UsePN (mkPN "Carmel") ; - CarmenDeBolivarColombia = UsePN (mkPN "Carmen de Bolivar") ; - CarrejonColombia = UsePN (mkPN "Carrejon") ; - ChamanPakistan = UsePN (mkPN "Chaman") ; - ChararESharifIndia = UsePN (mkPN "Charar-e-Sharif") ; - CharsaadaPakistan = UsePN (mkPN "Charsaada") ; - ChernoRechyeRussia = UsePN (mkPN "Cherno-rechye") ; - ChicagoUnitedStates = UsePN (mkPN "Chicago") ; - ChisimayuSomalia = UsePN (mkPN "Chisimayu") ; - ChittagongBangladesh = UsePN (mkPN "Chittagong") ; - ChobaAngola = UsePN (mkPN "Choba") ; - ChocoColombia = UsePN (mkPN "Choco") ; - ChorrosQueroVenezuela = UsePN (mkPN "Chorros-quero") ; - ClarkAirbasePhilippines = UsePN (mkPN "Clark Airbase") ; - CoimbatoreIndia = UsePN (mkPN "Coimbatore") ; - CologneGermany = UsePN (mkPN "Cologne") ; - ColombiaCityColombia = UsePN (mkPN "Colombia City") ; - ColombiaPanama = UsePN (mkPN "Colombia") ; - ColomboSriLanka = UsePN (mkPN "Colombo") ; - ComayaguaHonduras = UsePN (mkPN "Comayagua") ; - Congo = UsePN (mkPN "Congo") ; - CopacaBanaCuba = UsePN (mkPN "Copaca-bana") ; - CopenhagenDenmark = UsePN (mkPN "Copenhagen") ; - CorsicaFrance = UsePN (mkPN "Corsica") ; - CorteFrance = UsePN (mkPN "Corte") ; - CorumTurkey = UsePN (mkPN "Corum") ; - CundiNamarcaColombia = UsePN (mkPN "Cundi-namarca") ; - CupiaguaColombia = UsePN (mkPN "Cupiagua") ; - CuzcoPeru = UsePN (mkPN "Cuzco") ; - DagestanRussia = UsePN (mkPN "Dagestan") ; - DahukIraq = UsePN (mkPN "Dahuk") ; - DangDistrictNepal = UsePN (mkPN "Dang district") ; - DarEsSalaAmTanzania = UsePN (mkPN "Dar es Sala'am") ; - DarvazTajikistan = UsePN (mkPN "Darvaz") ; - DebaSpain = UsePN (mkPN "Deba") ; - DelhiIndia = UsePN (mkPN "Delhi") ; - DhahranSaudiArabia = UsePN (mkPN "Dhahran") ; - DhakaBangladesh = UsePN (mkPN "Dhaka") ; - DinanFrance = UsePN (mkPN "Dinan") ; - DirNaballahWestBank = UsePN (mkPN "Dir Naballah") ; - DireDawaEthiopia = UsePN (mkPN "Dire Dawa") ; - DistrictOfMansehraPakistan = UsePN (mkPN "district of Mansehra") ; - DjakashariGeorgia = UsePN (mkPN "Djakashari") ; - DjerbaTunisia = UsePN (mkPN "Djerba") ; - DodaIndia = UsePN (mkPN "Doda") ; - DortmundGermany = UsePN (mkPN "Dortmund") ; - DublinIreland = UsePN (mkPN "Dublin") ; - DuesseldorfGermany = UsePN (mkPN "Duesseldorf") ; - DugitGazaStrip = UsePN (mkPN "Dugit") ; - DurangoSpain = UsePN (mkPN "Durango") ; - DushanbeTajikistan = UsePN (mkPN "Dushanbe") ; - DushanbeAirportTajikistan = UsePN (mkPN "Dushanbe airport") ; - DushanbeGarmTajikistan = UsePN (mkPN "Dushanbe Garm") ; - EastJerusalemIsrael = UsePN (mkPN "East Jerusalem") ; - EfratWestBank = UsePN (mkPN "Efrat") ; - EilatIsrael = UsePN (mkPN "Eilat") ; - EinavWestBank = UsePN (mkPN "Einav") ; - ElBagreColombia = UsePN (mkPN "El Bagre") ; - ElBirehWestBank = UsePN (mkPN "El Bireh") ; - ElPlayonColombia = UsePN (mkPN "El Playon") ; - ElRipialApureVenezuela = UsePN (mkPN "El Ripial Apure") ; - ElayoSomalia = UsePN (mkPN "Elayo") ; - ElAzzariyaWestBank = UsePN (mkPN "el-Azzariya") ; - EleiSinaiGazaStrip = UsePN (mkPN "Elei Sinai") ; - EmmanuelWestBank = UsePN (mkPN "Emmanuel") ; - ErezGazaStrip = UsePN (mkPN "Erez") ; - FethiyeAndMarmarisTurkey = UsePN (mkPN "Fethiye and Marmaris") ; - FloridaUnitedStates = UsePN (mkPN "Florida") ; - FormequeColombia = UsePN (mkPN "Formeque") ; - FrankfurtGermany = UsePN (mkPN "Frankfurt") ; - FrenchHillIsrael = UsePN (mkPN "French Hill") ; - FuengirolaSpain = UsePN (mkPN "Fuengirola") ; - FusagasusaColombia = UsePN (mkPN "Fusagasusa") ; - GaliAbkhaziaGeorgia = UsePN (mkPN "Gali Abkhazia") ; - GanimWestBank = UsePN (mkPN "Ganim") ; - GashuriIsrael = UsePN (mkPN "Gashuri") ; - GeneralSantosPhilippines = UsePN (mkPN "General Santos") ; - GenevaSwitzerland = UsePN (mkPN "Geneva") ; - Georgia = UsePN (mkPN "Georgia") ; - GetxoSpain = UsePN (mkPN "Getxo") ; - GhalebiehIraq = UsePN (mkPN "Ghalebieh") ; - GhaziabadUttarPradeshIndia = UsePN (mkPN "Ghaziabad Uttar Pradesh") ; - GiloIsrael = UsePN (mkPN "Gilo") ; - GivatZeEvWestBank = UsePN (mkPN "Givat Ze'ev") ; - GizaEgypt = UsePN (mkPN "Giza") ; - GonegalleSriLanka = UsePN (mkPN "Gonegalle") ; - GranadaSpain = UsePN (mkPN "Granada") ; - GrazAustria = UsePN (mkPN "Graz") ; - GroznyChechnya = UsePN (mkPN "Grozny") ; - GuilinChina = UsePN (mkPN "Guilin") ; - GujaratIndia = UsePN (mkPN "Gujarat") ; - GushEtzionWestBank = UsePN (mkPN "Gush Etzion") ; - GushKatifGazaStrip = UsePN (mkPN "Gush Katif") ; - HaderaIsrael = UsePN (mkPN "Hadera") ; - HaifaIsrael = UsePN (mkPN "Haifa") ; - HamburgGermany = UsePN (mkPN "Hamburg") ; - HamisMiliyanaAlgeria = UsePN (mkPN "Hamis Miliyana") ; - HamraWestBank = UsePN (mkPN "Hamra") ; - HannoverGermany = UsePN (mkPN "Hannover") ; - HarBrachaWestBank = UsePN (mkPN "Har Bracha") ; - HarerEthiopia = UsePN (mkPN "Harer") ; - HavanaCuba = UsePN (mkPN "Havana") ; - HawanaIraq = UsePN (mkPN "Hawana") ; - HeartAfghanistan = UsePN (mkPN "Heart") ; - HebronWestBank = UsePN (mkPN "Hebron") ; - HermeshIsrael = UsePN (mkPN "Hermesh") ; - HernaniSpain = UsePN (mkPN "Hernani") ; - HerzliyaIsrael = UsePN (mkPN "Herzliya") ; - HilversumNetherlands = UsePN (mkPN "Hilversum") ; - HizmaWestBank = UsePN (mkPN "Hizma") ; - HodayaJunctionIsrael = UsePN (mkPN "Hodaya Junction") ; - HolonJunctionIsrael = UsePN (mkPN "Holon Junction") ; - HuallgaPeru = UsePN (mkPN "Huallga") ; - HurghadaEgypt = UsePN (mkPN "Hurghada") ; - HyderabadPakistan = UsePN (mkPN "Hyderabad") ; - IbsrilIraq = UsePN (mkPN "Ibsril") ; - IncirlikAirbaseTurkey = UsePN (mkPN "Incirlik Airbase") ; - IpilPhilippines = UsePN (mkPN "Ipil") ; - IrbilIraq = UsePN (mkPN "Irbil") ; - IslamabadPakistan = UsePN (mkPN "Islamabad") ; - IslandOfBaliIndonesia = UsePN (mkPN "Island of Bali") ; - IstanbulTurkey = UsePN (mkPN "Istanbul") ; - ItamarWestBank = UsePN (mkPN "Itamar") ; - IzmirTurkey = UsePN (mkPN "Izmir") ; - JaffaIsrael = UsePN (mkPN "Jaffa") ; - JaffnaSriLanka = UsePN (mkPN "Jaffna") ; - JakartaIndonesia = UsePN (mkPN "Jakarta") ; - JalahIndia = UsePN (mkPN "Jalah") ; - JalpaiguriRailwayStationIndia = UsePN (mkPN "Jalpaiguri Railway Station") ; - JammuIndia = UsePN (mkPN "Jammu") ; - JangasPeru = UsePN (mkPN "Jangas") ; - JeninWestBank = UsePN (mkPN "Jenin") ; - JerusalemIsrael = UsePN (mkPN "Jerusalem") ; - JMainWestBank = UsePN (mkPN "J'main") ; - JohannesburgSouthAfrica = UsePN (mkPN "Johannesburg") ; - JoloPhilippines = UsePN (mkPN "Jolo") ; - JubialSaudiArabia = UsePN (mkPN "Jubial") ; - JullundurIndia = UsePN (mkPN "Jullundur") ; - KabacanPhilippines = UsePN (mkPN "Kabacan") ; - KabulAfghanistan = UsePN (mkPN "Kabul") ; - KafrAkabWestBank = UsePN (mkPN "Kafr Akab") ; - KafrIdnaWestBank = UsePN (mkPN "Kafr Idna") ; - KalkilyaWestBank = UsePN (mkPN "Kalkilya") ; - KalmunaiSriLanka = UsePN (mkPN "Kalmunai") ; - KampalaUganda = UsePN (mkPN "Kampala") ; - KandySriLanka = UsePN (mkPN "Kandy") ; - KanihamaIndia = UsePN (mkPN "Kanihama") ; - KarachiPakistan = UsePN (mkPN "Karachi") ; - KarkurIsrael = UsePN (mkPN "Karkur") ; - KarmeiTzurWestBank = UsePN (mkPN "Karmei Tzur") ; - KarneiShomronWestBank = UsePN (mkPN "Karnei Shomron") ; - KashmirIndia = UsePN (mkPN "Kashmir") ; - KatmanduAirportNepal = UsePN (mkPN "Katmandu Airport") ; - KedumimWestBank = UsePN (mkPN "Kedumim") ; - KedumimSettlementWestBank = UsePN (mkPN "Kedumim Settlement") ; - KfarBaAnehIsrael = UsePN (mkPN "Kfar Ba'aneh") ; - KfarDaromGazaStrip = UsePN (mkPN "Kfar Darom") ; - KfarHessIsrael = UsePN (mkPN "Kfar Hess") ; - KfarSabaIsrael = UsePN (mkPN "Kfar Saba") ; - KfarTzurifWestBank = UsePN (mkPN "Kfar Tzurif") ; - KfarYamGazaStrip = UsePN (mkPN "Kfar Yam") ; - KfarDaromNetzarimIsrael = UsePN (mkPN "Kfar-Darom Netzarim") ; - KhankalaChechnya = UsePN (mkPN "Khankala") ; - KhartoumSudan = UsePN (mkPN "Khartoum") ; - KhelilAlgeria = UsePN (mkPN "Khelil") ; - KhobarSaudiArabia = UsePN (mkPN "Khobar") ; - KibbutzGalEdIsrael = UsePN (mkPN "Kibbutz Gal 'Ed") ; - KibbutzMeravIsrael = UsePN (mkPN "Kibbutz Merav") ; - KibbutzSheluhotIsrael = UsePN (mkPN "Kibbutz Sheluhot") ; - KidapawanPhilippines = UsePN (mkPN "Kidapawan") ; - KigaliRwanda = UsePN (mkPN "Kigali") ; - KirikkaleTurkey = UsePN (mkPN "Kirikkale") ; - KiryatArbaWestBank = UsePN (mkPN "Kiryat Arba") ; - KiryatMotzkinIsrael = UsePN (mkPN "Kiryat Motzkin") ; - KiryatNetafimWestBank = UsePN (mkPN "Kiryat Netafim") ; - KissufimGazaStrip = UsePN (mkPN "Kissufim") ; - KiursehirBoztepTurkey = UsePN (mkPN "Kiursehir-Boztep") ; - KlaiyatLebanon = UsePN (mkPN "Klaiyat") ; - KohlanYemen = UsePN (mkPN "Kohlan") ; - KomsomoLabadTajikistan = UsePN (mkPN "Komsomo-labad") ; - KuwaitCityKuwait = UsePN (mkPN "Kuwait City") ; - LaCeibaHonduras = UsePN (mkPN "La Ceiba") ; - LaGabarraVenezuela = UsePN (mkPN "La Gabarra") ; - LaGuajiraColombia = UsePN (mkPN "La Guajira") ; - LaPazBolivia = UsePN (mkPN "La Paz") ; - LaVictoriaVenezuela = UsePN (mkPN "La Victoria") ; - LahorePakistan = UsePN (mkPN "Lahore") ; - LarbaAlgeria = UsePN (mkPN "Larba") ; - LarnacaCyprus = UsePN (mkPN "Larnaca") ; - LasarteSpain = UsePN (mkPN "Lasarte") ; - LeizaSpain = UsePN (mkPN "Leiza") ; - LesEucalyptusDistrictAlgeria = UsePN (mkPN "Les Eucalyptus district") ; - LibertadorVenezuela = UsePN (mkPN "Libertador") ; - LiceTurkey = UsePN (mkPN "Lice") ; - LIleRousseFrance = UsePN (mkPN "L'Ile-Rousse") ; - LimaPeru = UsePN (mkPN "Lima") ; - LindosRhodes = UsePN (mkPN "Lindos") ; - LinzAustralia = UsePN (mkPN "Linz") ; - LockerbieUnitedKingdom = UsePN (mkPN "Lockerbie") ; - LogornoSpain = UsePN (mkPN "Logorno") ; - LondonUnitedKingdom = UsePN (mkPN "London") ; - LondonberryNorthernIreland = UsePN (mkPN "Londonberry") ; - LosAngelesUnitedStates = UsePN (mkPN "Los Angeles") ; - LosAngelesInternationalAirportUnitedStates = UsePN (mkPN "Los Angeles International Airport") ; - LosBancosVenezuela = UsePN (mkPN "Los Bancos") ; - LosKatiosNationalParkColombia = UsePN (mkPN "Los Katios National Park") ; - LuandaAngola = UsePN (mkPN "Luanda") ; - LuebeckGermany = UsePN (mkPN "Luebeck") ; - LundaNorteAngola = UsePN (mkPN "Lunda Norte") ; - LuxorEgypt = UsePN (mkPN "Luxor") ; - LyonsFrance = UsePN (mkPN "Lyons") ; - MaAlehMichmashWestBank = UsePN (mkPN "Ma'aleh Michmash") ; - MaccabimIsrael = UsePN (mkPN "Maccabim") ; - MadhuSriLanka = UsePN (mkPN "Madhu") ; - MadrasIndia = UsePN (mkPN "Madras") ; - MadridSpain = UsePN (mkPN "Madrid") ; - MagdalenaColombia = UsePN (mkPN "Magdalena") ; - MaidanSharAfghanistan = UsePN (mkPN "Maidan Shar") ; - MakhachkalaRussia = UsePN (mkPN "Makhachkala") ; - MalagaSpain = UsePN (mkPN "Malaga") ; - MalukkaIslandsIndonesia = UsePN (mkPN "Malukka islands") ; - ManaguaNigeria = UsePN (mkPN "Managua") ; - ManamaBahrain = UsePN (mkPN "Manama") ; - ManchesterUnitedKingdom = UsePN (mkPN "Manchester") ; - MangalsenAndSanpheBagarNepal = UsePN (mkPN "Mangalsen and Sanphe Bagar") ; - ManilaPhilippines = UsePN (mkPN "Manila") ; - MaonIsrael = UsePN (mkPN "Maon") ; - MapourditSudan = UsePN (mkPN "Mapourdit") ; - MarSabaWestBank = UsePN (mkPN "Mar Saba") ; - MarawiPhilippines = UsePN (mkPN "Marawi") ; - MardanPakistan = UsePN (mkPN "Mardan") ; - MarmarisTurkey = UsePN (mkPN "Marmaris") ; - MarseillesFrance = UsePN (mkPN "Marseilles") ; - MashaWestBank = UsePN (mkPN "Masha") ; - MatsumotoJapan = UsePN (mkPN "Matsumoto") ; - MawdiyahYemen = UsePN (mkPN "Mawdiyah") ; - MeaShearimIsrael = UsePN (mkPN "Mea Shearim") ; - MeccaSaudiArabia = UsePN (mkPN "Mecca") ; - MechoraWestBank = UsePN (mkPN "Mechora") ; - MedanIndonesia = UsePN (mkPN "Medan") ; - MedellinColombia = UsePN (mkPN "Medellin") ; - MegidoIsrael = UsePN (mkPN "Megido") ; - MeholaIsrael = UsePN (mkPN "Mehola") ; - MekholahIsrael = UsePN (mkPN "Mekholah") ; - MersinTurkey = UsePN (mkPN "Mersin") ; - MetaColombia = UsePN (mkPN "Meta") ; - MetullaIsrael = UsePN (mkPN "Metulla") ; - MetzerIsrael = UsePN (mkPN "Metzer") ; - MilanItaly = UsePN (mkPN "Milan") ; - MindanaoPhilippines = UsePN (mkPN "Mindanao") ; - MinharotRoadWestBank = UsePN (mkPN "Minharot Road") ; - MiranShahPakistan = UsePN (mkPN "Miran Shah") ; - MituColombia = UsePN (mkPN "Mitu") ; - ModiinIllitWestBank = UsePN (mkPN "Modiin Illit") ; - MombassaKenya = UsePN (mkPN "Mombassa") ; - MoragJunctionGazaStrip = UsePN (mkPN "Morag Junction") ; - MoscowRussia = UsePN (mkPN "Moscow") ; - MoshavHagorIsrael = UsePN (mkPN "Moshav Hagor") ; - MoshavTomerWestBank = UsePN (mkPN "Moshav Tomer") ; - MukallahAdenYemen = UsePN (mkPN "Mukallah-Aden") ; - MunchenGladbachGermany = UsePN (mkPN "Munchen-Gladbach") ; - MunsterGermany = UsePN (mkPN "Munster") ; - MurloughNorthernIreland = UsePN (mkPN "Murlough") ; - MusMusIsrael = UsePN (mkPN "Mus Mus") ; - MutataColombia = UsePN (mkPN "Mutata") ; - MutturSriLanka = UsePN (mkPN "Muttur") ; - NaAlinWestBank = UsePN (mkPN "Na'alin") ; - NablusWestBank = UsePN (mkPN "Nablus") ; - NahalOzGazaStrip = UsePN (mkPN "Nahal Oz") ; - NaharaimIsrael = UsePN (mkPN "Naharaim") ; - NahariyaIsrael = UsePN (mkPN "Nahariya") ; - NairobiKenya = UsePN (mkPN "Nairobi") ; - NajafIraq = UsePN (mkPN "Najaf") ; - NallurAreaSriLanka = UsePN (mkPN "Nallur Area") ; - NaquraLebanon = UsePN (mkPN "Naqura") ; - NarayangangBangladesh = UsePN (mkPN "Narayangang") ; - NetanyaIsrael = UsePN (mkPN "Netanya") ; - NetzarimGazaStrip = UsePN (mkPN "Netzarim") ; - NetzerHazaniGazaStrip = UsePN (mkPN "Netzer Hazani") ; - NeveDanielWestBank = UsePN (mkPN "Neve Daniel") ; - NeveYaminIsrael = UsePN (mkPN "Neve Yamin") ; - NewDelhiIndia = UsePN (mkPN "New Delhi") ; - NewYorkCityUnitedStates = UsePN (mkPN "New York City") ; - NeztarimSettlementGazaStrip = UsePN (mkPN "Neztarim Settlement") ; - NiameyNiger = UsePN (mkPN "Niamey") ; - NissanitGazaStrip = UsePN (mkPN "Nissanit") ; - NitzaneiOzWestBank = UsePN (mkPN "Nitzanei Oz") ; - NitzanimIsrael = UsePN (mkPN "Nitzanim") ; - NokdimTekoaRdWestBank = UsePN (mkPN "Nokdim-Tekoa Rd.") ; - NorteDeSantanderColombia = UsePN (mkPN "Norte de Santander") ; - NorthernCaucasiusChechnya = UsePN (mkPN "Northern Caucasius") ; - NovogroznyRussia = UsePN (mkPN "Novogrozny") ; - NovyyAtagiRussia = UsePN (mkPN "Novyy Atagi") ; - OberwartAustria = UsePN (mkPN "Oberwart") ; - OfraWestBank = UsePN (mkPN "Ofra") ; - OilbaseAlgeria = UsePN (mkPN "Oil base") ; - oilfieldsVenezuela = UsePN (mkPN "oilfields") ; - OkaraPakistan = UsePN (mkPN "Okara") ; - OlayaHerreraColombia = UsePN (mkPN "Olaya Herrera") ; - OmaghNorthernIreland = UsePN (mkPN "Omagh") ; - OrYehudaIsrael = UsePN (mkPN "Or Yehuda") ; - OranAlgeria = UsePN (mkPN "Oran") ; - OsakaJapan = UsePN (mkPN "Osaka") ; - OsloNorway = UsePN (mkPN "Oslo") ; - OssnabruckGermany = UsePN (mkPN "Ossnabruck") ; - OthnielJunctionIsrael = UsePN (mkPN "Othniel Junction") ; - OtnielWestBank = UsePN (mkPN "Otniel") ; - OtzarinWestBank = UsePN (mkPN "Otzarin") ; - OzamisPhilippines = UsePN (mkPN "Ozamis") ; - PahalgamIndia = UsePN (mkPN "Pahalgam") ; - PalorinyaUganda = UsePN (mkPN "Palorinya") ; - PamplonaSpain = UsePN (mkPN "Pamplona") ; - PanamaCityPanama = UsePN (mkPN "Panama City") ; - PantrasGreece = UsePN (mkPN "Pantras") ; - PapayinColombia = UsePN (mkPN "Papayin") ; - PapuaIndonesia = UsePN (mkPN "Papua") ; - ParisFrance = UsePN (mkPN "Paris") ; - PatikulPhilippines = UsePN (mkPN "Patikul") ; - PauFrance = UsePN (mkPN "Pau") ; - PeAtSadehGazaStrip = UsePN (mkPN "Pe'at Sadeh") ; - PeshawarPakistan = UsePN (mkPN "Peshawar") ; - PetahTikvahIsrael = UsePN (mkPN "Petah Tikvah") ; - PhnomPenhCambodia = UsePN (mkPN "Phnom Penh") ; - PortadownIreland = UsePN (mkPN "Portadown") ; - PragueCzechRepublic = UsePN (mkPN "Prague") ; - PuertoAlviraColombia = UsePN (mkPN "Puerto Alvira") ; - PuertoLlerasColombia = UsePN (mkPN "Puerto Lleras") ; - PunjabPakistan = UsePN (mkPN "Punjab") ; - QuettaPakistan = UsePN (mkPN "Quetta") ; - QuitoEcuador = UsePN (mkPN "Quito") ; - RadaAmanYemen = UsePN (mkPN "Rada-Aman") ; - RafahGazaStrip = UsePN (mkPN "Rafah") ; - RamaJunctionWestBank = UsePN (mkPN "Rama Junction") ; - RamalDeAspusanaPeru = UsePN (mkPN "Ramal de Aspusana") ; - RamallahWestBank = UsePN (mkPN "Ramallah") ; - RamatGanIsrael = UsePN (mkPN "Ramat Gan") ; - RaminWestBank = UsePN (mkPN "Ramin") ; - RamleIsrael = UsePN (mkPN "Ramle") ; - RawalpindiPakistan = UsePN (mkPN "Rawalpindi") ; - ReusSpain = UsePN (mkPN "Reus") ; - RigaLatvia = UsePN (mkPN "Riga") ; - RijekaCroatia = UsePN (mkPN "Rijeka") ; - RimalDistrictGazaStrip = UsePN (mkPN "Rimal district") ; - RishonLeZionIsrael = UsePN (mkPN "Rishon Le Zion") ; - RiyadhSaudiArabia = UsePN (mkPN "Riyadh") ; - RoermondNetherlands = UsePN (mkPN "Roermond") ; - RomeItaly = UsePN (mkPN "Rome") ; - RosasSpain = UsePN (mkPN "Rosas") ; - RostovOnDonRussia = UsePN (mkPN "Rostov-on-Don") ; - RuhengeriRwanda = UsePN (mkPN "Ruhengeri") ; - SaadaYemen = UsePN (mkPN "Saada") ; - SabatenaColombia = UsePN (mkPN "Sabatena") ; - SacramentoUnitedStates = UsePN (mkPN "Sacramento") ; - SaintAvoldFrance = UsePN (mkPN "Saint Avold") ; - SaintSebastianSpain = UsePN (mkPN "Saint Sebastian") ; - SaintJeanDeLuzFrance = UsePN (mkPN "Saint-Jean-de-Luz") ; - SairanbarIraq = UsePN (mkPN "Sairanbar") ; - SajaIAGazaStrip = UsePN (mkPN "Saja'i'a") ; - SallentDeGallegoSpain = UsePN (mkPN "Sallent de Gallego") ; - SamariaWestBank = UsePN (mkPN "Samaria") ; - SamashkiRussia = UsePN (mkPN "Samashki") ; - SanDiegoColombia = UsePN (mkPN "San Diego") ; - SanJoseCostaRica = UsePN (mkPN "San Jose") ; - SanLuisColombia = UsePN (mkPN "San Luis") ; - SanMiguelElSalvador = UsePN (mkPN "San Miguel") ; - SanPabloColombia = UsePN (mkPN "San Pablo") ; - SanSabatianSpain = UsePN (mkPN "San Sabatian") ; - SanaaYemen = UsePN (mkPN "Sanaa") ; - SangaldanIndia = UsePN (mkPN "Sangaldan") ; - SantaMartaColombia = UsePN (mkPN "Santa Marta") ; - SantaPolaSpain = UsePN (mkPN "Santa Pola") ; - SantaRitaMountainsPanama = UsePN (mkPN "Santa Rita Mountains") ; - SantiagoChile = UsePN (mkPN "Santiago") ; - SanurIsrael = UsePN (mkPN "Sanur") ; - SarajevoBosniaAndHerzegovina = UsePN (mkPN "Sarajevo") ; - SatkhiraBangladesh = UsePN (mkPN "Satkhira") ; - SegoviaColombia = UsePN (mkPN "Segovia") ; - SeoulSouthKorea = UsePN (mkPN "Seoul") ; - SevilleSpain = UsePN (mkPN "Seville") ; - ShadmotMeholaWestBank = UsePN (mkPN "Shadmot Mehola") ; - ShaveiShomronWestBank = UsePN (mkPN "Shavei Shomron") ; - SheikhAjlunGazaStrip = UsePN (mkPN "Sheikh Ajlun") ; - ShiloWestBank = UsePN (mkPN "Shilo") ; - ShimiEcuador = UsePN (mkPN "Shimi") ; - ShlomiIsrael = UsePN (mkPN "Shlomi") ; - SidiHalifahLibya = UsePN (mkPN "Sidi Halifah") ; - SidonLebanon = UsePN (mkPN "Sidon") ; - SiirtTurkey = UsePN (mkPN "Siirt") ; - SilatADaharWestBank = UsePN (mkPN "Silat a-Dahar") ; - SipadanIslandMalaysia = UsePN (mkPN "Sipadan Island") ; - SitrahBahrain = UsePN (mkPN "Sitrah") ; - SoporeIndia = UsePN (mkPN "Sopore") ; - SrinagarIndia = UsePN (mkPN "Srinagar") ; - SrinigarIndia = UsePN (mkPN "Srinigar") ; - SriperumbudurIndia = UsePN (mkPN "Sriperumbudur") ; - StewartstownNorthernIreland = UsePN (mkPN "Stewartstown") ; - StockholmSweden = UsePN (mkPN "Stockholm") ; - StrasbourgFrance = UsePN (mkPN "Strasbourg") ; - SukaimaniyahIraq = UsePN (mkPN "Sukai-maniyah") ; - SulawesiIndonesia = UsePN (mkPN "Sulawesi") ; - SulaymaniyahIraq = UsePN (mkPN "Sulaymaniyah") ; - SumayrYemen = UsePN (mkPN "Sumayr") ; - SusiyaWestBank = UsePN (mkPN "Susiya") ; - TailaPakistan = UsePN (mkPN "Taila") ; - TamezGuidaAlgeria = UsePN (mkPN "Tamez-guida") ; - TandySriLanka = UsePN (mkPN "Tandy") ; - TaxilaPakistan = UsePN (mkPN "Taxila") ; - TBilisiGeorgia = UsePN (mkPN "T'bilisi") ; - TegucigalpaHonduras = UsePN (mkPN "Tegucigalpa") ; - TeheranIran = UsePN (mkPN "Teheran") ; - TekoaWestBank = UsePN (mkPN "Tekoa") ; - TelAvivIsrael = UsePN (mkPN "Tel Aviv" | mkPN "Tel-Aviv") ; - TelHaShomerJunctionIsrael = UsePN (mkPN "Tel HaShomer Junction") ; - TelQateifaGazaStrip = UsePN (mkPN "Tel Qateifa") ; - TelRumeiydaIsrael = UsePN (mkPN "Tel Rumeiyda") ; - TelemIsrael = UsePN (mkPN "Telem") ; - TenaWestBank = UsePN (mkPN "Tena") ; - TheHagueNetherlands = UsePN (mkPN "The Hague") ; - TheKyrgyzCapitalBishkekChina = UsePN (mkPN "The Kyrgyz capital Bishkek.") ; - ThekraguriIndia = UsePN (mkPN "Thekraguri") ; - TiaretAlgeria = UsePN (mkPN "Tiaret") ; - TiratAlgeria = UsePN (mkPN "Tirat") ; - TokyoJapan = UsePN (mkPN "Tokyo") ; - TolosaSpain = UsePN (mkPN "Tolosa") ; - TopkakiTurkey = UsePN (mkPN "Topkaki") ; - TrabzonTurkey = UsePN (mkPN "Trabzon") ; - TrincomaleeHarborSriLanka = UsePN (mkPN "Trincomalee Harbor") ; - TripoliLibya = UsePN (mkPN "Tripoli") ; - TulkaremWestBank = UsePN (mkPN "Tulkarem") ; - TulkarmWestBank = UsePN (mkPN "Tulkarm") ; - TunceliTurkey = UsePN (mkPN "Tunceli") ; - TurbatPakistan = UsePN (mkPN "Turbat") ; - UmAlFahmIsrael = UsePN (mkPN "Um al-Fahm") ; - UmmQasrIraq = UsePN (mkPN "Umm Qasr") ; - UrenaVenezuela = UsePN (mkPN "Urena") ; - UrraColombia = UsePN (mkPN "Urra") ; - UrsMartanRussia = UsePN (mkPN "Urs-Martan") ; - UWaIndianReservationColombia = UsePN (mkPN "U'wa Indian reservation") ; - ValenciaSpain = UsePN (mkPN "Valencia") ; - ValleduparColombia = UsePN (mkPN "Valledupar") ; - VanTurkey = UsePN (mkPN "Van") ; - VavuniyaSriLanka = UsePN (mkPN "Vavuniya") ; - ViennaAustria = UsePN (mkPN "Vienna") ; - VientianeLaos = UsePN (mkPN "Vientiane") ; - VillavicencioColombia = UsePN (mkPN "Villavicencio") ; - VitoriaSpain = UsePN (mkPN "Vitoria") ; - VitrollesFrance = UsePN (mkPN "Vitrolles") ; - VladikavkazRussia = UsePN (mkPN "Vladikavkaz") ; - VladivostokRussia = UsePN (mkPN "Vladivostok") ; - VolgodonskRussia = UsePN (mkPN "Volgodonsk") ; - WadiAlDabaatYemen = UsePN (mkPN "Wadi al-Dabaat") ; - WadiAraIsrael = UsePN (mkPN "Wadi Ara") ; - WadiKeltWestBank = UsePN (mkPN "Wadi Kelt") ; - WarsawPoland = UsePN (mkPN "Warsaw") ; - WashingtonDCUnitedStates = UsePN (mkPN "Washington DC.") ; - WattyanBahrain = UsePN (mkPN "Wattyan") ; - WestBeirutLebanon = UsePN (mkPN "West Beirut") ; - XiAnChina = UsePN (mkPN "Xi'an") ; - YaAbadWestBank = UsePN (mkPN "Ya'abad") ; - YagurJunctionIsrael = UsePN (mkPN "Yagur Junction") ; - YehudIsrael = UsePN (mkPN "Yehud") ; - YerevanArmenia = UsePN (mkPN "Yerevan") ; - YitzharWestBank = UsePN (mkPN "Yitzhar") ; - YokotaJapan = UsePN (mkPN "Yokota") ; - YopalColombia = UsePN (mkPN "Yopal") ; - YuksekovaTurkey = UsePN (mkPN "Yuksekova") ; - ZaitaIsrael = UsePN (mkPN "Zaita") ; - ZamarYemen = UsePN (mkPN "Zamar") ; - ZamboangaPhilippines = UsePN (mkPN "Zamboanga") ; - ZaragozaSpain = UsePN (mkPN "Zaragoza") ; - ZarauzSpain = UsePN (mkPN "Zarauz") ; - ZeifIntersectionWestBank = UsePN (mkPN "Zeif intersection") ; - ZekharyaIsrael = UsePN (mkPN "Zekharya") ; - ZuliaColombia = UsePN (mkPN "Zulia") ; - ZumaiaSpain = UsePN (mkPN "Zumaia") ; - ZumarragaSpain = UsePN (mkPN "Zumarraga") ; - Burundi = UsePN (mkPN "Burundi") ; - CentralAfricanRepublic = UsePN (mkPN "Central African Republic") ; - Chad = UsePN (mkPN "Chad") ; - DemocraticRepublicOfTheCongo = UsePN (mkPN "Democratic Republic of the Congo") ; - Rwanda = UsePN (mkPN "Rwanda") ; - Djibouti = UsePN (mkPN "Djibouti") ; - Eritrea = UsePN (mkPN "Eritrea") ; - Ethiopia = UsePN (mkPN "Ethiopia") ; - Kenya = UsePN (mkPN "Kenya") ; - Seychelles = UsePN (mkPN "Seychelles") ; - Somalia = UsePN (mkPN "Somalia") ; - Tanzania = UsePN (mkPN "Tanzania") ; - Uganda = UsePN (mkPN "Uganda") ; - Algeria = UsePN (mkPN "Algeria") ; - Egypt = UsePN (mkPN "Egypt") ; - Libya = UsePN (mkPN "Libya") ; - Mauritania = UsePN (mkPN "Mauritania") ; - Morocco = UsePN (mkPN "Morocco") ; - Sudan = UsePN (mkPN "Sudan") ; - Tunisia = UsePN (mkPN "Tunisia") ; - WesternSahara = UsePN (mkPN "Western Sahara") ; - Angola = UsePN (mkPN "Angola") ; - BassasDaIndia = UsePN (mkPN "Bassas da India") ; - Botswana = UsePN (mkPN "Botswana") ; - BouvetIsland = UsePN (mkPN "Bouvet Island") ; - Comoros = UsePN (mkPN "Comoros") ; - EuropaIsland = UsePN (mkPN "Europa Island") ; - GloriosoIslands = UsePN (mkPN "Glorioso Islands") ; - HeardIslandAndMcDonaldIslands = UsePN (mkPN "Heard Island and McDonald Islands") ; - JuanDeNovaIsland = UsePN (mkPN "Juan de Nova Island") ; - Lesotho = UsePN (mkPN "Lesotho" | mkPN "Basutoland") ; - Madagascar = UsePN (mkPN "Madagascar") ; - Malawi = UsePN (mkPN "Malawi") ; - Mauritius = UsePN (mkPN "Mauritius") ; - Mayotte = UsePN (mkPN "Mayotte") ; - Mozambique = UsePN (mkPN "Mozambique") ; - Namibia = UsePN (mkPN "Namibia") ; - Reunion = UsePN (mkPN "Reunion") ; - SouthAfrica = UsePN (mkPN "South Africa") ; - Swaziland = UsePN (mkPN "Swaziland") ; - TromelinIsland = UsePN (mkPN "Tromelin Island") ; - Zambia = UsePN (mkPN "Zambia") ; - Zimbabwe = UsePN (mkPN "Zimbabwe") ; - Benin = UsePN (mkPN "Benin") ; - BurkinaFaso = UsePN (mkPN "Burkina Faso") ; - Cameroon = UsePN (mkPN "Cameroon") ; - CapeVerde = UsePN (mkPN "Cape Verde") ; - CoteDIvoire = UsePN (mkPN "Cote d'Ivoire") ; - EquatorialGuinea = UsePN (mkPN "Equatorial Guinea") ; - Gabon = UsePN (mkPN "Gabon") ; - Gambia = UsePN (mkPN "Gambia") ; - Ghana = UsePN (mkPN "Ghana") ; - Guinea = UsePN (mkPN "Guinea") ; - GuineaBissau = UsePN (mkPN "Guinea Bissau") ; - Liberia = UsePN (mkPN "Liberia") ; - Mali = UsePN (mkPN "Mali") ; - Niger = UsePN (mkPN "Niger") ; - Nigeria = UsePN (mkPN "Nigeria") ; - Senegal = UsePN (mkPN "Senegal") ; - SierraLeone = UsePN (mkPN "Sierra Leone") ; - Togo = UsePN (mkPN "Togo") ; - SaintHelena = UsePN (mkPN "Saint Helena") ; - Bahrain = UsePN (mkPN "Bahrain") ; - Cyprus = UsePN (mkPN "Cyprus") ; - GazaStrip = UsePN (mkPN "Gaza Strip") ; - Iran = UsePN (mkPN "Iran") ; - Iraq = UsePN (mkPN "Iraq") ; - Israel = UsePN (mkPN "Israel") ; - Jordan = UsePN (mkPN "Jordan") ; - Kuwait = UsePN (mkPN "Kuwait") ; - Lebanon = UsePN (mkPN "Lebanon") ; - Oman = UsePN (mkPN "Oman") ; - Qatar = UsePN (mkPN "Qatar") ; - SaudiArabia = UsePN (mkPN "Saudi Arabia") ; - Syria = UsePN (mkPN "Syria") ; - UnitedArabEmirates = UsePN (mkPN "United Arab Emirates") ; - WestBank = UsePN (mkPN "West Bank") ; - Yemen = UsePN (mkPN "Yemen") ; - Austria = UsePN (mkPN "Austria") ; - CzechRepublic = UsePN (mkPN "Czech Republic") ; - Germany = UsePN (mkPN "Germany") ; - Hungary = UsePN (mkPN "Hungary") ; - Liechtenstein = UsePN (mkPN "Liechtenstein") ; - Poland = UsePN (mkPN "Poland") ; - Slovakia = UsePN (mkPN "Slovakia") ; - Slovenia = UsePN (mkPN "Slovenia") ; - Switzerland = UsePN (mkPN "Switzerland") ; - Belarus = UsePN (mkPN "Belarus") ; - Estonia = UsePN (mkPN "Estonia") ; - Latvia = UsePN (mkPN "Latvia") ; - Lithuania = UsePN (mkPN "Lithuania") ; - Moldova = UsePN (mkPN "Moldova") ; - Ukraine = UsePN (mkPN "Ukraine") ; - Denmark = UsePN (mkPN "Denmark") ; - FaroeIslands = UsePN (mkPN "Faroe Islands") ; - Finland = UsePN (mkPN "Finland") ; - Iceland = UsePN (mkPN "Iceland") ; - JanMayenIsland = UsePN (mkPN "Jan Mayen Island") ; - Norway = UsePN (mkPN "Norway") ; - Svalbard = UsePN (mkPN "Svalbard") ; - Sweden = UsePN (mkPN "Sweden") ; - Greece = UsePN (mkPN "Greece") ; - HolySee = UsePN (mkPN "Holy See") ; - Italy = UsePN (mkPN "Italy") ; - Malta = UsePN (mkPN "Malta") ; - SanMarino = UsePN (mkPN "San Marino") ; - Belgium = UsePN (mkPN "Belgium") ; - France = UsePN (mkPN "France") ; - Guernsey = UsePN (mkPN "Guernsey") ; - Ireland = UsePN (mkPN "Ireland") ; - Jersey = UsePN (mkPN "Jersey") ; - Luxembourg = UsePN (mkPN "Luxembourg") ; - IsleOfMan = UsePN (mkPN "Isle of Man") ; - Monaco = UsePN (mkPN "Monaco") ; - Netherlands = UsePN (mkPN "Netherlands") ; - UnitedKingdom = UsePN (mkPN "United Kingdom of Great Britain and Northern Ireland" | mkPN "United Kingdom" | mkPN "Great Britain") ; - Albania = UsePN (mkPN "Albania") ; - BosniaAndHerzegovina = UsePN (mkPN "Bosnia and Herzegovina") ; - Bulgaria = UsePN (mkPN "Bulgaria") ; - Croatia = UsePN (mkPN "Croatia") ; - Macedonia = UsePN (mkPN "Macedonia") ; - Romania = UsePN (mkPN "Romania") ; - Turkey = UsePN (mkPN "Turkey") ; - Andorra = UsePN (mkPN "Andorra") ; - Gibraltar = UsePN (mkPN "Gibraltar") ; - Portugal = UsePN (mkPN "Portugal") ; - Spain = UsePN (mkPN "Spain") ; - Bermuda = UsePN (mkPN "Bermuda") ; - UnitedStates = UsePN (mkPN "United States") ; - Canada = UsePN (mkPN "Canada") ; - Greenland = UsePN (mkPN "Greenland") ; - SaintPierreAndMiquelon = UsePN (mkPN "Saint Pierre and Miquelon") ; - Anguilla = UsePN (mkPN "Anguilla") ; - AntiguaAndBarbuda = UsePN (mkPN "Antigua and Barbuda") ; - Aruba = UsePN (mkPN "Aruba") ; - TheBahamas = UsePN (mkPN "Bahamas") ; - Barbados = UsePN (mkPN "Barbados") ; - BritishVirginIslands = UsePN (mkPN "British Virgin Islands") ; - CaymanIslands = UsePN (mkPN "Cayman Islands") ; - Cuba = UsePN (mkPN "Cuba") ; - Dominica = UsePN (mkPN "Dominica") ; - DominicanRepublic = UsePN (mkPN "Dominican Republic") ; - Grenada = UsePN (mkPN "Grenada") ; - Guadeloupe = UsePN (mkPN "Guadeloupe") ; - Haiti = UsePN (mkPN "Haiti") ; - Jamaica = UsePN (mkPN "Jamaica") ; - Martinique = UsePN (mkPN "Martinique") ; - Montserrat = UsePN (mkPN "Montserrat") ; - NavassaIsland = UsePN (mkPN "Navassa Island") ; - NetherlandsAntilles = UsePN (mkPN "Netherlands Antilles") ; - PuertoRico = UsePN (mkPN "Puerto Rico") ; - SaintLucia = UsePN (mkPN "Saint Lucia") ; - TurksAndCaicosIslands = UsePN (mkPN "Turks and Caicos Islands") ; - VirginIslands = UsePN (mkPN "Virgin Islands") ; - Belize = UsePN (mkPN "Belize") ; - ClippertonIsland = UsePN (mkPN "Clipperton Island") ; - CostaRica = UsePN (mkPN "Costa Rica") ; - ElSalvador = UsePN (mkPN "El Salvador") ; - Guatemala = UsePN (mkPN "Guatemala") ; - Honduras = UsePN (mkPN "Honduras") ; - Mexico = UsePN (mkPN "Mexico") ; - Nicaragua = UsePN (mkPN "Nicaragua") ; - Panama = UsePN (mkPN "Panama") ; - Bolivia = UsePN (mkPN "Bolivia") ; - Paraguay = UsePN (mkPN "Paraguay") ; - Brazil = UsePN (mkPN "Brazil") ; - Colombia = UsePN (mkPN "Colombia") ; - FrenchGuiana = UsePN (mkPN "French Guiana") ; - Guyana = UsePN (mkPN "Guyana") ; - Suriname = UsePN (mkPN "Suriname") ; - Venezuela = UsePN (mkPN "Venezuela") ; - Argentina = UsePN (mkPN "Argentina") ; - Chile = UsePN (mkPN "Chile") ; - FalklandIslands = UsePN (mkPN "Falkland Islands") ; - SouthGeorgiaAndTheSouthSandwichIslands = UsePN (mkPN "South Georgia and the South Sandwich Islands") ; - Uruguay = UsePN (mkPN "Uruguay") ; - Ecuador = UsePN (mkPN "Ecuador") ; - Peru = UsePN (mkPN "Peru") ; - Kazakhstan = UsePN (mkPN "Kazakhstan") ; - Kyrgyzstan = UsePN (mkPN "Kyrgyzstan") ; - Tajikistan = UsePN (mkPN "Tajikistan") ; - Turkmenistan = UsePN (mkPN "Turkmenistan") ; - Uzbekistan = UsePN (mkPN "Uzbekistan") ; - China = UsePN (mkPN "China") ; - HongKong = UsePN (mkPN "Hong Kong") ; - Japan = UsePN (mkPN "Japan") ; - NorthKorea = UsePN (mkPN "NorthKorea") ; - SouthKorea = UsePN (mkPN "SouthKorea") ; - Macau = UsePN (mkPN "Macau") ; - Taiwan = UsePN (mkPN "Taiwan" | mkPN "Republic of China") ; - Mongolia = UsePN (mkPN "Mongolia") ; - Russia = UsePN (mkPN "Russia") ; - Afghanistan = UsePN (mkPN "Afghanistan") ; - Bangladesh = UsePN (mkPN "Bangladesh") ; - Bhutan = UsePN (mkPN "Bhutan") ; - BritishIndianOceanTerritory = UsePN (mkPN "British Indian Ocean Territory") ; - India = UsePN (mkPN "India") ; - Maldives = UsePN (mkPN "Maldives") ; - Nepal = UsePN (mkPN "Nepal") ; - Pakistan = UsePN (mkPN "Pakistan") ; - SriLanka = UsePN (mkPN "Sri Lanka") ; - FrenchSouthernAndAntarcticLands = UsePN (mkPN "French Southern and Antarctic Lands") ; - AshmoreAndCartierIslands = UsePN (mkPN "Ashmore and Cartier Islands") ; - Brunei = UsePN (mkPN "Brunei") ; - Cambodia = UsePN (mkPN "Cambodia") ; - ChristmasIsland = UsePN (mkPN "Christmas Island") ; - CocosKeelingIslands = UsePN (mkPN "Cocos Keeling Islands") ; - EastTimor = UsePN (mkPN "East Timor") ; - Indonesia = UsePN (mkPN "Indonesia") ; - Laos = UsePN (mkPN "Laos") ; - Malaysia = UsePN (mkPN "Malaysia") ; - Myanmar = UsePN (mkPN "Myanmar") ; - PapuaNewGuinea = UsePN (mkPN "Papua New Guinea") ; - ParacelIslands = UsePN (mkPN "Paracel Islands") ; - Philippines = UsePN (mkPN "Philippines") ; - Singapore = UsePN (mkPN "Singapore") ; - SpratlyIslands = UsePN (mkPN "Spratly Islands") ; - Thailand = UsePN (mkPN "Thailand") ; - Vietnam = UsePN (mkPN "Vietnam") ; - Armenia = UsePN (mkPN "Armenia") ; - Azerbaijan = UsePN (mkPN "Azerbaijan") ; - RepublicOfGeorgia = UsePN (mkPN "Republic Of Georgia") ; - AmericanSamoa = UsePN (mkPN "American Samoa") ; - Australia = UsePN (mkPN "Australia") ; - BakerIsland = UsePN (mkPN "Baker Island") ; - CookIslands = UsePN (mkPN "Cook Islands") ; - CoralSeaIslands = UsePN (mkPN "Coral Sea Islands") ; - Fiji = UsePN (mkPN "Fiji") ; - FrenchPolynesia = UsePN (mkPN "French Polynesia") ; - Guam = UsePN (mkPN "Guam") ; - HowlandIsland = UsePN (mkPN "Howland Island") ; - JarvisIsland = UsePN (mkPN "Jarvis Island") ; - JohnstonAtoll = UsePN (mkPN "Johnston Atoll") ; - KingmanReef = UsePN (mkPN "Kingman Reef") ; - Kiribati = UsePN (mkPN "Kiribati") ; - MarshallIslands = UsePN (mkPN "Marshall Islands") ; - Micronesia = UsePN (mkPN "Micronesia") ; - MidwayIslands = UsePN (mkPN "Midway Islands") ; - Nauru = UsePN (mkPN "Nauru") ; - NewCaledonia = UsePN (mkPN "New Caledonia") ; - NewZealand = UsePN (mkPN "New Zealand") ; - Niue = UsePN (mkPN "Niue") ; - NorfolkIsland = UsePN (mkPN "Norfolk Island") ; - NorthernMarianaIslands = UsePN (mkPN "Northern Mariana Islands") ; - Palau = UsePN (mkPN "Palau") ; - PalmyraAtoll = UsePN (mkPN "Palmyra Atoll") ; - PitcairnIslands = UsePN (mkPN "Pitcairn Islands") ; - Samoa = UsePN (mkPN "Samoa") ; - SolomonIslands = UsePN (mkPN "Solomon Islands") ; - Tokelau = UsePN (mkPN "Tokelau") ; - Tonga = UsePN (mkPN "Tonga") ; - Tuvalu = UsePN (mkPN "Tuvalu") ; - Vanuatu = UsePN (mkPN "Vanuatu") ; - WakeIsland = UsePN (mkPN "Wake Island") ; - WallisAndFutuna = UsePN (mkPN "Wallis and Futuna") ; - Zaire = UsePN (mkPN "Zaire") ; - -}; -- cgit v1.2.3