summaryrefslogtreecommitdiff
path: root/examples/SUMO/CountriesAndRegionsEng.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/SUMO/CountriesAndRegionsEng.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
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
Diffstat (limited to 'examples/SUMO/CountriesAndRegionsEng.gf')
-rw-r--r--examples/SUMO/CountriesAndRegionsEng.gf848
1 files changed, 0 insertions, 848 deletions
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") ;
-
-};