From 1332d550cdce9cad4d579da5462663d3a3d09581 Mon Sep 17 00:00:00 2001 From: Aarne Ranta Date: Mon, 30 May 2022 15:01:30 +0200 Subject: [PATCH] added wikipedia lab --- lab2/README.md | 13 + lab2/wikipedia/Countries.gf | 16 + lab2/wikipedia/CountriesEng.gf | 20 ++ lab2/wikipedia/CountriesFin.gf | 26 ++ lab2/wikipedia/CountriesGer.gf | 20 ++ lab2/wikipedia/CountriesSwe.gf | 25 ++ lab2/wikipedia/CountryNames.gf | 545 +++++++++++++++++++++++++++++ lab2/wikipedia/CountryNamesEng.gf | 548 +++++++++++++++++++++++++++++ lab2/wikipedia/CountryNamesFin.gf | 557 ++++++++++++++++++++++++++++++ lab2/wikipedia/CountryNamesGer.gf | 550 +++++++++++++++++++++++++++++ lab2/wikipedia/CountryNamesSwe.gf | 556 +++++++++++++++++++++++++++++ lab2/wikipedia/Facts.gf | 19 + lab2/wikipedia/FactsEng.gf | 16 + lab2/wikipedia/FactsFin.gf | 17 + lab2/wikipedia/FactsGer.gf | 16 + lab2/wikipedia/FactsSwe.gf | 17 + lab2/wikipedia/country_facts.py | 64 ++++ lab2/wikipedia/data_facts.py | 72 ++++ lab2/wikipedia/extract_names.py | 77 +++++ 19 files changed, 3174 insertions(+) create mode 100644 lab2/wikipedia/Countries.gf create mode 100644 lab2/wikipedia/CountriesEng.gf create mode 100644 lab2/wikipedia/CountriesFin.gf create mode 100644 lab2/wikipedia/CountriesGer.gf create mode 100644 lab2/wikipedia/CountriesSwe.gf create mode 100644 lab2/wikipedia/CountryNames.gf create mode 100644 lab2/wikipedia/CountryNamesEng.gf create mode 100644 lab2/wikipedia/CountryNamesFin.gf create mode 100644 lab2/wikipedia/CountryNamesGer.gf create mode 100644 lab2/wikipedia/CountryNamesSwe.gf create mode 100644 lab2/wikipedia/Facts.gf create mode 100644 lab2/wikipedia/FactsEng.gf create mode 100644 lab2/wikipedia/FactsFin.gf create mode 100644 lab2/wikipedia/FactsGer.gf create mode 100644 lab2/wikipedia/FactsSwe.gf create mode 100644 lab2/wikipedia/country_facts.py create mode 100644 lab2/wikipedia/data_facts.py create mode 100644 lab2/wikipedia/extract_names.py diff --git a/lab2/README.md b/lab2/README.md index d5e4a46..38a8be1 100644 --- a/lab2/README.md +++ b/lab2/README.md @@ -46,6 +46,7 @@ But use this implementation only as a reference with which to test your own one: ## Session 8 +### Alternative 1: Doctor 1. Implement a simple application grammar, application/Doctor.gf. This can be be done either by using your own MiniResource or the standard resource. There are two versions of English implementation to support this. @@ -56,6 +57,18 @@ Your first approximation can be just to copy it and change the words. *Deadline*: until the end of the course. +### Alternative 2: Abstract Wikipedia +The task is to add a language to the grammar in `wikipedia/`. This involves +- finding country and other names to implement `CountryNames`, by querying Wikidata labels and using `extract_names.py`; +- writing the concrete syntax modules for `Facts`, `CountryNames`, and `Countries` for this language. + + +More information on the task can be find in +- the lecture notes: https://github.com/aarneranta/NLG-examples/blob/main/doc/gf-nlg.pdf +- the slides shown on lecture 9: https://docs.google.com/presentation/d/1gQTI_vv6anBCaUCJujGxJZbmZBKuXPN_rRUYRgdvXio/edit?usp=sharing +- the GF Summer School film: https://www.youtube.com/watch?v=gX_y2BqJ0w0&list=PL7VkoRLnYYP6EZngakW7lNNCTjfC93uh0&index=15 + + ## A method for testing your Micro and Mini grammar Since MicroLang is a proper part of the RGL, it can be easily implemented as an application grammar. diff --git a/lab2/wikipedia/Countries.gf b/lab2/wikipedia/Countries.gf new file mode 100644 index 0000000..5a73e19 --- /dev/null +++ b/lab2/wikipedia/Countries.gf @@ -0,0 +1,16 @@ +abstract Countries = Facts, CountryNames ** { +fun +-- using CNames + cName : CName -> Name ; + +-- basic properties + capital_Attribute : Attribute ; + area_Attribute : Attribute ; + population_Attribute : Attribute ; + continent_Attribute : Attribute ; + currency_Attribute : Attribute ; + +-- specialized expressions for properties + populationFact : CName -> Int -> Fact ; + continentFact : CName -> CName -> Fact ; +} diff --git a/lab2/wikipedia/CountriesEng.gf b/lab2/wikipedia/CountriesEng.gf new file mode 100644 index 0000000..3b049c4 --- /dev/null +++ b/lab2/wikipedia/CountriesEng.gf @@ -0,0 +1,20 @@ +concrete CountriesEng of Countries = FactsEng, CountryNamesEng ** + +open SyntaxEng, ParadigmsEng, SymbolicEng in { + +lin + cName name = name ; + + capital_Attribute = mkAttribute "capital" ; + area_Attribute = mkAttribute "area" ; + population_Attribute = mkAttribute "population" ; + continent_Attribute = mkAttribute "continent" ; + currency_Attribute = mkAttribute "currency" ; + + populationFact cname int = mkCl cname have_V2 (mkNP (mkN "inhabitant")) ; + continentFact cname name = mkCl cname (SyntaxEng.mkAdv in_Prep name) ; + +oper + mkAttribute : Str -> CN = \s -> mkCN (mkN s) ; + +} diff --git a/lab2/wikipedia/CountriesFin.gf b/lab2/wikipedia/CountriesFin.gf new file mode 100644 index 0000000..74030b7 --- /dev/null +++ b/lab2/wikipedia/CountriesFin.gf @@ -0,0 +1,26 @@ +concrete CountriesFin of Countries = FactsFin, CountryNamesFin ** + +open SyntaxFin, ParadigmsFin, SymbolicFin, Prelude + +in { + +lin + cName name = name.np ; + + capital_Attribute = mkAttribute "pääkaupunki" ; + area_Attribute = mkAttribute "pinta-ala" ; + population_Attribute = mkAttribute "asukasluku" ; + continent_Attribute = mkAttribute "maanosa" ; + currency_Attribute = mkAttribute "valuutta" ; + + populationFact cname int = mkCl cname.np (mkV2 (caseV (locCase cname) have_V2)) (mkNP (mkN "asukas")) ; + continentFact cname name = mkCl cname.np (SyntaxFin.mkAdv (casePrep (locCase name)) name.np) ; + +oper + mkAttribute : Str -> CN = \s -> mkCN (mkN s) ; + + locCase : LocName -> Case = \name -> case name.isIn of { + True => inessive ; + False => adessive + } ; +} diff --git a/lab2/wikipedia/CountriesGer.gf b/lab2/wikipedia/CountriesGer.gf new file mode 100644 index 0000000..b2fe3ac --- /dev/null +++ b/lab2/wikipedia/CountriesGer.gf @@ -0,0 +1,20 @@ +concrete CountriesGer of Countries = FactsGer, CountryNamesGer ** + +open SyntaxGer, ParadigmsGer, SymbolicGer in { + +lin + cName name = name ; + + capital_Attribute = mkAttribute (mkN "Hauptstadt" "Hauptstädte" feminine) ; + area_Attribute = mkAttribute (mkN "Fläche") ; + population_Attribute = mkAttribute (mkN "Einwohnerzahl" feminine) ; + continent_Attribute = mkAttribute (mkN "Kontinent" "Kontinente" masculine) ; + currency_Attribute = mkAttribute (mkN "Währung") ; + + populationFact cname int = mkCl cname have_V2 (mkNP (mkN "Einwohner")) ; + continentFact cname name = mkCl cname (mkVP (mkVP (mkV "liegen")) (SyntaxGer.mkAdv in_Prep name)) ; + +oper + mkAttribute : N -> CN = \n -> mkCN n ; + +} diff --git a/lab2/wikipedia/CountriesSwe.gf b/lab2/wikipedia/CountriesSwe.gf new file mode 100644 index 0000000..9cb70b6 --- /dev/null +++ b/lab2/wikipedia/CountriesSwe.gf @@ -0,0 +1,25 @@ +concrete CountriesSwe of Countries = FactsSwe, CountryNamesSwe ** + +open SyntaxSwe, ParadigmsSwe, SymbolicSwe, (I=IrregSwe), Prelude in { + +lin + cName name = name.np ; + + capital_Attribute = mkAttribute "huvudstad" ; + area_Attribute = mkAttribute "yta" ; + population_Attribute = mkAttribute "befolkning" ; + continent_Attribute = mkAttribute "kontinent" ; + currency_Attribute = mkAttribute "valuta" ; + + populationFact cname int = mkCl cname.np have_V2 (mkNP (mkN "invånare" "invånare")) ; + continentFact cname name = mkCl cname.np (mkVP (mkVP I.ligga_V) (SyntaxSwe.mkAdv (locPrep name) name.np)) ; + +oper + mkAttribute : Str -> CN = \s -> mkCN (mkN s) ; ---- + + locPrep : LocName -> Prep = \name -> case name.isIn of { + True => in_Prep ; + False => on_Prep + } ; + +} diff --git a/lab2/wikipedia/CountryNames.gf b/lab2/wikipedia/CountryNames.gf new file mode 100644 index 0000000..f277edf --- /dev/null +++ b/lab2/wikipedia/CountryNames.gf @@ -0,0 +1,545 @@ +abstract CountryNames = { + +cat CName ; + +-- generated +fun Africa_CName : CName ; +fun Asia_CName : CName ; +fun Central_America_CName : CName ; +fun Europe_CName : CName ; +fun North_America_CName : CName ; +fun South_America_CName : CName ; +fun insular_Oceania_CName : CName ; + +fun 'Guinea-Bissau_CName' : CName ; +fun 'Nur-Sultan_CName' : CName ; +fun 'Port-au-Prince_CName' : CName ; +fun 'Porto-Novo_CName' : CName ; +fun 'St._George\'s_CName' : CName ; +fun 'Washington,_D.C._CName' : CName ; +fun Abu_Dhabi_CName : CName ; +fun Abuja_CName : CName ; +fun Accra_CName : CName ; +fun Addis_Ababa_CName : CName ; +fun Afghan_afghani_CName : CName ; +fun Afghanistan_CName : CName ; +fun Albania_CName : CName ; +fun Albanian_lek_CName : CName ; +fun Algeria_CName : CName ; +fun Algerian_dinar_CName : CName ; +fun Algiers_CName : CName ; +fun Amman_CName : CName ; +fun Amsterdam_CName : CName ; +fun Andorra_CName : CName ; +fun Andorra_la_Vella_CName : CName ; +fun Angola_CName : CName ; +fun Ankara_CName : CName ; +fun Antananarivo_CName : CName ; +fun Antigua_and_Barbuda_CName : CName ; +fun Apia_CName : CName ; +fun Argentina_CName : CName ; +fun Argentine_peso_CName : CName ; +fun Armenia_CName : CName ; +fun Armenian_dram_CName : CName ; +fun Ashgabat_CName : CName ; +fun Asmara_CName : CName ; +fun Asunción_CName : CName ; +fun Athens_CName : CName ; +fun Australia_CName : CName ; +fun Australian_dollar_CName : CName ; +fun Austria_CName : CName ; +fun Azerbaijan_CName : CName ; +fun Azerbaijani_manat_CName : CName ; +fun Baghdad_CName : CName ; +fun Bahamian_dollar_CName : CName ; +fun Bahrain_CName : CName ; +fun Bahraini_dinar_CName : CName ; +fun Baku_CName : CName ; +fun Bamako_CName : CName ; +fun Bandar_Seri_Begawan_CName : CName ; +fun Bangkok_CName : CName ; +fun Bangladesh_CName : CName ; +fun Bangladeshi_taka_CName : CName ; +fun Bangui_CName : CName ; +fun Banjul_CName : CName ; +fun Barbadian_dollar_CName : CName ; +fun Barbados_CName : CName ; +fun Basseterre_CName : CName ; +fun Beijing_CName : CName ; +fun Beirut_CName : CName ; +fun Belarus_CName : CName ; +fun Belarusian_ruble_CName : CName ; +fun Belgium_CName : CName ; +fun Belgrade_CName : CName ; +fun Belize_CName : CName ; +fun Belize_dollar_CName : CName ; +fun Belmopan_CName : CName ; +fun Benin_CName : CName ; +fun Berlin_CName : CName ; +fun Bern_CName : CName ; +fun Bhutan_CName : CName ; +fun Bishkek_CName : CName ; +fun Bissau_CName : CName ; +fun Bogotá_CName : CName ; +fun Bolivia_CName : CName ; +fun Bosnia_and_Herzegovina_CName : CName ; +fun Botswana_CName : CName ; +fun Botswana_pula_CName : CName ; +fun Brasília_CName : CName ; +fun Bratislava_CName : CName ; +fun Brazil_CName : CName ; +fun Brazilian_real_CName : CName ; +fun Brazzaville_CName : CName ; +fun Bridgetown_CName : CName ; +fun Brunei_CName : CName ; +fun Brunei_dollar_CName : CName ; +fun Bucharest_CName : CName ; +fun Budapest_CName : CName ; +fun Buenos_Aires_CName : CName ; +fun Bulgaria_CName : CName ; +fun Bulgarian_lev_CName : CName ; +fun Burkina_Faso_CName : CName ; +fun Burundi_CName : CName ; +fun Burundian_franc_CName : CName ; +fun Cairo_CName : CName ; +fun Cambodia_CName : CName ; +fun Cameroon_CName : CName ; +fun Canada_CName : CName ; +fun Canadian_dollar_CName : CName ; +fun Canberra_CName : CName ; +fun Cape_Verde_CName : CName ; +fun Cape_Verdean_escudo_CName : CName ; +fun Caracas_CName : CName ; +fun Castries_CName : CName ; +fun Central_African_CFA_franc_CName : CName ; +fun Central_African_Republic_CName : CName ; +fun Chad_CName : CName ; +fun Chile_CName : CName ; +fun Chilean_peso_CName : CName ; +fun 'Chișinău_CName' : CName ; +fun City_of_Brussels_CName : CName ; +fun Colombia_CName : CName ; +fun Colombian_cincuenta_centavos_CName : CName ; +fun Colombo_CName : CName ; +fun Comorian_franc_CName : CName ; +fun Comoros_CName : CName ; +fun Conakry_CName : CName ; +fun Congolese_franc_CName : CName ; +fun Copenhagen_CName : CName ; +fun Costa_Rica_CName : CName ; +fun Costa_Rican_colón_CName : CName ; +fun Croatia_CName : CName ; +fun Croatian_kuna_CName : CName ; +fun Cuba_CName : CName ; +fun Cuban_peso_CName : CName ; +fun Cyprus_CName : CName ; +fun Czech_Republic_CName : CName ; +fun Czech_koruna_CName : CName ; +fun Dakar_CName : CName ; +fun Damascus_CName : CName ; +fun Danish_krone_CName : CName ; +fun Democratic_Republic_of_the_Congo_CName : CName ; +fun Denmark_CName : CName ; +fun Dhaka_CName : CName ; +fun Dili_CName : CName ; +fun Djibouti_CName : CName ; +fun Djiboutian_franc_CName : CName ; +fun Dodoma_CName : CName ; +fun Doha_CName : CName ; +fun Dominica_CName : CName ; +fun Dominican_Republic_CName : CName ; +fun Dominican_peso_CName : CName ; +fun Dublin_CName : CName ; +fun Dushanbe_CName : CName ; +fun East_Timor_CName : CName ; +fun East_Timor_centavo_coins_CName : CName ; +fun Eastern_Caribbean_dollar_CName : CName ; +fun Ecuador_CName : CName ; +fun Egypt_CName : CName ; +fun Egyptian_pound_CName : CName ; +fun El_Salvador_CName : CName ; +fun Equatorial_Guinea_CName : CName ; +fun Eritrea_CName : CName ; +fun Estonia_CName : CName ; +fun Eswatini_CName : CName ; +fun Ethiopia_CName : CName ; +fun Federated_States_of_Micronesia_CName : CName ; +fun Fiji_CName : CName ; +fun Fijian_dollar_CName : CName ; +fun Finland_CName : CName ; +fun France_CName : CName ; +fun Freetown_CName : CName ; +fun Funafuti_CName : CName ; +fun Gabon_CName : CName ; +fun Gaborone_CName : CName ; +fun Georgetown_CName : CName ; +fun Georgia_CName : CName ; +fun Georgian_lari_CName : CName ; +fun Germany_CName : CName ; +fun Ghana_CName : CName ; +fun Ghana_cedi_CName : CName ; +fun Gitega_CName : CName ; +fun Greece_CName : CName ; +fun Grenada_CName : CName ; +fun Guatemala_CName : CName ; +fun Guatemala_City_CName : CName ; +fun Guinea_CName : CName ; +fun Guinean_franc_CName : CName ; +fun Guyana_CName : CName ; +fun Guyanese_dollar_CName : CName ; +fun Haiti_CName : CName ; +fun Hanoi_CName : CName ; +fun Harare_CName : CName ; +fun Havana_CName : CName ; +fun Helsinki_CName : CName ; +fun Honduran_lempira_CName : CName ; +fun Honduras_CName : CName ; +fun Honiara_CName : CName ; +fun Hungary_CName : CName ; +fun Iceland_CName : CName ; +fun Icelandic_króna_CName : CName ; +fun India_CName : CName ; +fun Indian_rupee_CName : CName ; +fun Indonesia_CName : CName ; +fun Iran_CName : CName ; +fun Iranian_rial_CName : CName ; +fun Iraq_CName : CName ; +fun Iraqi_dinar_CName : CName ; +fun Ireland_CName : CName ; +fun Islamabad_CName : CName ; +fun Israel_CName : CName ; +fun Italy_CName : CName ; +fun Ivory_Coast_CName : CName ; +fun Jakarta_CName : CName ; +fun Jamaica_CName : CName ; +fun Jamaican_dollar_CName : CName ; +fun Japan_CName : CName ; +fun Japanese_yen_CName : CName ; +fun Jerusalem_CName : CName ; +fun Jordan_CName : CName ; +fun Jordanian_dinar_CName : CName ; +fun Juba_CName : CName ; +fun Kabul_CName : CName ; +fun Kampala_CName : CName ; +fun Kathmandu_CName : CName ; +fun Kazakhstan_CName : CName ; +fun Kazakhstani_tenge_CName : CName ; +fun Kenya_CName : CName ; +fun Kenyan_shilling_CName : CName ; +fun Khartoum_CName : CName ; +fun Kigali_CName : CName ; +fun Kingdom_of_the_Netherlands_CName : CName ; +fun Kingston_CName : CName ; +fun Kingstown_CName : CName ; +fun Kinshasa_CName : CName ; +fun Kiribati_CName : CName ; +fun Kiribati_dollar_CName : CName ; +fun Kuala_Lumpur_CName : CName ; +fun Kuwait_CName : CName ; +fun Kuwait_City_CName : CName ; +fun Kuwaiti_dinar_CName : CName ; +fun Kyiv_CName : CName ; +fun Kyrgyzstan_CName : CName ; +fun Kyrgyzstani_som_CName : CName ; +fun La_Paz_CName : CName ; +fun Lao_kip_CName : CName ; +fun Laos_CName : CName ; +fun Latvia_CName : CName ; +fun Lebanese_pound_CName : CName ; +fun Lebanon_CName : CName ; +fun Lesotho_CName : CName ; +fun Lesotho_loti_CName : CName ; +fun Liberia_CName : CName ; +fun Liberian_dollar_CName : CName ; +fun Libreville_CName : CName ; +fun Libya_CName : CName ; +fun Libyan_dinar_CName : CName ; +fun Liechtenstein_CName : CName ; +fun Lilongwe_CName : CName ; +fun Lima_CName : CName ; +fun Lisbon_CName : CName ; +fun Lithuania_CName : CName ; +fun Ljubljana_CName : CName ; +fun Lobamba_CName : CName ; +fun Lomé_CName : CName ; +fun London_CName : CName ; +fun Luanda_CName : CName ; +fun Lusaka_CName : CName ; +fun Luxembourg_CName : CName ; +fun Madagascar_CName : CName ; +fun Madrid_CName : CName ; +fun Majuro_CName : CName ; +fun Malabo_CName : CName ; +fun Malawi_CName : CName ; +fun Malawian_kwacha_CName : CName ; +fun Malaysia_CName : CName ; +fun Malaysian_ringgit_CName : CName ; +fun Maldives_CName : CName ; +fun Maldivian_rufiyaa_CName : CName ; +fun Mali_CName : CName ; +fun Malta_CName : CName ; +fun Malé_CName : CName ; +fun Managua_CName : CName ; +fun Manama_CName : CName ; +fun Manila_CName : CName ; +fun Maputo_CName : CName ; +fun Marshall_Islands_CName : CName ; +fun Maseru_CName : CName ; +fun Mauritania_CName : CName ; +fun Mauritanian_ouguiya_CName : CName ; +fun Mauritian_rupee_CName : CName ; +fun Mauritius_CName : CName ; +fun Mexican_peso_CName : CName ; +fun Mexico_CName : CName ; +fun Mexico_City_CName : CName ; +fun Minsk_CName : CName ; +fun Mogadishu_CName : CName ; +fun Moldova_CName : CName ; +fun Moldovan_leu_CName : CName ; +fun Monaco_CName : CName ; +fun Monaco_City_CName : CName ; +fun Mongolia_CName : CName ; +fun Monrovia_CName : CName ; +fun Montenegro_CName : CName ; +fun Montevideo_CName : CName ; +fun Moroccan_dirham_CName : CName ; +fun Morocco_CName : CName ; +fun Moroni_CName : CName ; +fun Moscow_CName : CName ; +fun Mozambican_metical_CName : CName ; +fun Mozambique_CName : CName ; +fun Muscat_CName : CName ; +fun Myanmar_CName : CName ; +fun N'Djamena_CName : CName ; +fun Nairobi_CName : CName ; +fun Namibia_CName : CName ; +fun Namibian_dollar_CName : CName ; +fun Nassau_CName : CName ; +fun Nauru_CName : CName ; +fun Naypyidaw_CName : CName ; +fun Nepal_CName : CName ; +fun Nepalese_rupee_CName : CName ; +fun New_Delhi_CName : CName ; +fun New_Taiwan_dollar_CName : CName ; +fun New_Zealand_CName : CName ; +fun New_Zealand_dollar_CName : CName ; +fun Ngerulmud_CName : CName ; +fun Niamey_CName : CName ; +fun Nicaragua_CName : CName ; +fun Nicaraguan_córdoba_CName : CName ; +fun Nicosia_CName : CName ; +fun Niger_CName : CName ; +fun Nigeria_CName : CName ; +fun Nigerian_naira_CName : CName ; +fun North_Korea_CName : CName ; +fun North_Korean_won_CName : CName ; +fun North_Macedonia_CName : CName ; +fun Norway_CName : CName ; +fun Norwegian_krone_CName : CName ; +fun Nouakchott_CName : CName ; +fun Nuku'alofa_CName : CName ; +fun Oman_CName : CName ; +fun Omani_rial_CName : CName ; +fun Oslo_CName : CName ; +fun Ottawa_CName : CName ; +fun Ouagadougou_CName : CName ; +fun Pakistan_CName : CName ; +fun Pakistani_rupee_CName : CName ; +fun Palau_CName : CName ; +fun Palikir_CName : CName ; +fun Panama_CName : CName ; +fun Panama_City_CName : CName ; +fun Panamanian_balboa_CName : CName ; +fun Papua_New_Guinea_CName : CName ; +fun Paraguay_CName : CName ; +fun Paraguayan_guaraní_CName : CName ; +fun Paramaribo_CName : CName ; +fun Paris_CName : CName ; +fun People's_Republic_of_China_CName : CName ; +fun Peru_CName : CName ; +fun Peruvian_sol_CName : CName ; +fun Philippine_peso_CName : CName ; +fun Philippines_CName : CName ; +fun Phnom_Penh_CName : CName ; +fun Podgorica_CName : CName ; +fun Poland_CName : CName ; +fun Port_Louis_CName : CName ; +fun Port_Moresby_CName : CName ; +fun Port_Vila_CName : CName ; +fun Port_of_Spain_CName : CName ; +fun Portugal_CName : CName ; +fun Prague_CName : CName ; +fun Praia_CName : CName ; +fun Pretoria_CName : CName ; +fun Pyongyang_CName : CName ; +fun Qatar_CName : CName ; +fun Qatari_riyal_CName : CName ; +fun Quito_CName : CName ; +fun Rabat_CName : CName ; +fun Republic_of_the_Congo_CName : CName ; +fun Reykjavík_CName : CName ; +fun Riga_CName : CName ; +fun Riyadh_CName : CName ; +fun Romania_CName : CName ; +fun Romanian_leu_CName : CName ; +fun Rome_CName : CName ; +fun Roseau_CName : CName ; +fun Russia_CName : CName ; +fun Russian_ruble_CName : CName ; +fun Rwanda_CName : CName ; +fun Rwandan_franc_CName : CName ; +fun Saint_John's_CName : CName ; +fun Saint_Kitts_and_Nevis_CName : CName ; +fun Saint_Lucia_CName : CName ; +fun Saint_Vincent_and_the_Grenadines_CName : CName ; +fun Samoa_CName : CName ; +fun 'Samoan_tālā_CName' : CName ; +fun San_José_CName : CName ; +fun San_Marino_CName : CName ; +fun San_Salvador_CName : CName ; +fun Sanaa_CName : CName ; +fun Santiago_CName : CName ; +fun Santo_Domingo_CName : CName ; +fun Sarajevo_CName : CName ; +fun Saudi_Arabia_CName : CName ; +fun Saudi_riyal_CName : CName ; +fun Senegal_CName : CName ; +fun Seoul_CName : CName ; +fun Serbia_CName : CName ; +fun Serbian_dinar_CName : CName ; +fun Seychelles_CName : CName ; +fun Seychellois_rupee_CName : CName ; +fun Sierra_Leone_CName : CName ; +fun Sierra_Leonean_leone_CName : CName ; +fun Singapore_CName : CName ; +fun Singapore_dollar_CName : CName ; +fun Skopje_CName : CName ; +fun Slovakia_CName : CName ; +fun Slovenia_CName : CName ; +fun Sofia_CName : CName ; +fun Solomon_Islands_CName : CName ; +fun Solomon_Islands_dollar_CName : CName ; +fun Somali_shilling_CName : CName ; +fun Somalia_CName : CName ; +fun South_Africa_CName : CName ; +fun South_African_rand_CName : CName ; +fun South_Korea_CName : CName ; +fun South_Korean_won_CName : CName ; +fun South_Sudan_CName : CName ; +fun South_Sudanese_pound_CName : CName ; +fun South_Tarawa_CName : CName ; +fun Sovereign_Bolivar_CName : CName ; +fun Spain_CName : CName ; +fun Sri_Lanka_CName : CName ; +fun Sri_Lankan_rupee_CName : CName ; +fun Stockholm_CName : CName ; +fun Sudan_CName : CName ; +fun Sudanese_pound_CName : CName ; +fun Suriname_CName : CName ; +fun Surinamese_dollar_CName : CName ; +fun Suva_CName : CName ; +fun Sweden_CName : CName ; +fun Swedish_krona_CName : CName ; +fun Swiss_franc_CName : CName ; +fun Switzerland_CName : CName ; +fun Syria_CName : CName ; +fun Syrian_pound_CName : CName ; +fun São_Tomé_CName : CName ; +fun São_Tomé_and_Príncipe_CName : CName ; +fun São_Tomé_and_Príncipe_dobra_CName : CName ; +fun Taipei_CName : CName ; +fun Taiwan_CName : CName ; +fun Tajikistan_CName : CName ; +fun Tajikistani_somoni_CName : CName ; +fun Tallinn_CName : CName ; +fun Tanzania_CName : CName ; +fun Tanzanian_shilling_CName : CName ; +fun Tashkent_CName : CName ; +fun Tbilisi_CName : CName ; +fun Tegucigalpa_CName : CName ; +fun Tehran_CName : CName ; +fun Thailand_CName : CName ; +fun The_Bahamas_CName : CName ; +fun The_Gambia_CName : CName ; +fun Thimphu_CName : CName ; +fun Tirana_CName : CName ; +fun Togo_CName : CName ; +fun Tokyo_CName : CName ; +fun Tonga_CName : CName ; +fun 'Tongan_paʻanga_CName' : CName ; +fun Trinidad_and_Tobago_CName : CName ; +fun Trinidad_and_Tobago_dollar_CName : CName ; +fun Tripoli_CName : CName ; +fun Tunis_CName : CName ; +fun Tunisia_CName : CName ; +fun Tunisian_dinar_CName : CName ; +fun Turkey_CName : CName ; +fun Turkish_lira_CName : CName ; +fun Turkmenistan_CName : CName ; +fun Turkmenistan_manat_CName : CName ; +fun Tuvalu_CName : CName ; +fun Tuvaluan_dollar_CName : CName ; +fun Uganda_CName : CName ; +fun Ugandan_shilling_CName : CName ; +fun Ukraine_CName : CName ; +fun Ulaanbaatar_CName : CName ; +fun United_Arab_Emirates_CName : CName ; +fun United_Arab_Emirates_dirham_CName : CName ; +fun United_Kingdom_CName : CName ; +fun United_States_dollar_CName : CName ; +fun United_States_of_America_CName : CName ; +fun Uruguay_CName : CName ; +fun Uruguayan_peso_CName : CName ; +fun Uzbekistan_CName : CName ; +fun Uzbekistani_som_CName : CName ; +fun Vaduz_CName : CName ; +fun Valletta_CName : CName ; +fun Vanuatu_CName : CName ; +fun Vanuatu_vatus_CName : CName ; +fun Venezuela_CName : CName ; +fun Victoria_CName : CName ; +fun Vienna_CName : CName ; +fun Vientiane_CName : CName ; +fun Vietnam_CName : CName ; +fun Vietnamese_dong_CName : CName ; +fun Vilnius_CName : CName ; +fun Warsaw_CName : CName ; +fun Wellington_CName : CName ; +fun West_African_CFA_franc_CName : CName ; +fun Windhoek_CName : CName ; +fun Yamoussoukro_CName : CName ; +fun Yaoundé_CName : CName ; +fun Yaren_District_CName : CName ; +fun Yemen_CName : CName ; +fun Yemeni_rial_CName : CName ; +fun Yerevan_CName : CName ; +fun Zagreb_CName : CName ; +fun Zambia_CName : CName ; +fun Zambian_kwacha_CName : CName ; +fun Zimbabwe_CName : CName ; +fun ariary_CName : CName ; +fun baht_CName : CName ; +fun birr_CName : CName ; +fun boliviano_CName : CName ; +fun convertible_mark_CName : CName ; +fun dalasi_CName : CName ; +fun denar_CName : CName ; +fun euro_CName : CName ; +fun forint_CName : CName ; +fun gourde_CName : CName ; +fun hryvnia_CName : CName ; +fun kina_CName : CName ; +fun kwanza_CName : CName ; +fun kyat_CName : CName ; +fun lilangeni_CName : CName ; +fun nakfa_CName : CName ; +fun new_shekel_CName : CName ; +fun ngultrum_CName : CName ; +fun pound_sterling_CName : CName ; +fun quetzal_CName : CName ; +fun renminbi_CName : CName ; +fun riel_CName : CName ; +fun rupiah_CName : CName ; +fun tugrik_CName : CName ; +fun 'złoty_CName' : CName ; +} \ No newline at end of file diff --git a/lab2/wikipedia/CountryNamesEng.gf b/lab2/wikipedia/CountryNamesEng.gf new file mode 100644 index 0000000..ccb47df --- /dev/null +++ b/lab2/wikipedia/CountryNamesEng.gf @@ -0,0 +1,548 @@ +concrete CountryNamesEng of CountryNames = + + open SyntaxEng, ParadigmsEng in { + +lincat CName = NP ; + +oper mkCName : Str -> NP = \s -> mkNP (mkPN s) ; + +lin Africa_CName = mkCName "Africa" ; +lin Asia_CName = mkCName "Asia" ; +lin Central_America_CName = mkCName "Central America" ; +lin Europe_CName = mkCName "Europe" ; +lin North_America_CName = mkCName "North America" ; +lin South_America_CName = mkCName "South America" ; +lin insular_Oceania_CName = mkCName "insular Oceania" ; + +lin 'Guinea-Bissau_CName' = mkCName "Guinea-Bissau" ; +lin 'Nur-Sultan_CName' = mkCName "Nur-Sultan" ; +lin 'Port-au-Prince_CName' = mkCName "Port-au-Prince" ; +lin 'Porto-Novo_CName' = mkCName "Porto-Novo" ; +lin 'St._George\'s_CName' = mkCName "St. George's" ; +lin 'Washington,_D.C._CName' = mkCName "Washington, D.C." ; +lin Abu_Dhabi_CName = mkCName "Abu Dhabi" ; +lin Abuja_CName = mkCName "Abuja" ; +lin Accra_CName = mkCName "Accra" ; +lin Addis_Ababa_CName = mkCName "Addis Ababa" ; +lin Afghan_afghani_CName = mkCName "Afghan afghani" ; +lin Afghanistan_CName = mkCName "Afghanistan" ; +lin Albania_CName = mkCName "Albania" ; +lin Albanian_lek_CName = mkCName "Albanian lek" ; +lin Algeria_CName = mkCName "Algeria" ; +lin Algerian_dinar_CName = mkCName "Algerian dinar" ; +lin Algiers_CName = mkCName "Algiers" ; +lin Amman_CName = mkCName "Amman" ; +lin Amsterdam_CName = mkCName "Amsterdam" ; +lin Andorra_CName = mkCName "Andorra" ; +lin Andorra_la_Vella_CName = mkCName "Andorra la Vella" ; +lin Angola_CName = mkCName "Angola" ; +lin Ankara_CName = mkCName "Ankara" ; +lin Antananarivo_CName = mkCName "Antananarivo" ; +lin Antigua_and_Barbuda_CName = mkCName "Antigua and Barbuda" ; +lin Apia_CName = mkCName "Apia" ; +lin Argentina_CName = mkCName "Argentina" ; +lin Argentine_peso_CName = mkCName "Argentine peso" ; +lin Armenia_CName = mkCName "Armenia" ; +lin Armenian_dram_CName = mkCName "Armenian dram" ; +lin Ashgabat_CName = mkCName "Ashgabat" ; +lin Asmara_CName = mkCName "Asmara" ; +lin Asunción_CName = mkCName "Asunción" ; +lin Athens_CName = mkCName "Athens" ; +lin Australia_CName = mkCName "Australia" ; +lin Australian_dollar_CName = mkCName "Australian dollar" ; +lin Austria_CName = mkCName "Austria" ; +lin Azerbaijan_CName = mkCName "Azerbaijan" ; +lin Azerbaijani_manat_CName = mkCName "Azerbaijani manat" ; +lin Baghdad_CName = mkCName "Baghdad" ; +lin Bahamian_dollar_CName = mkCName "Bahamian dollar" ; +lin Bahrain_CName = mkCName "Bahrain" ; +lin Bahraini_dinar_CName = mkCName "Bahraini dinar" ; +lin Baku_CName = mkCName "Baku" ; +lin Bamako_CName = mkCName "Bamako" ; +lin Bandar_Seri_Begawan_CName = mkCName "Bandar Seri Begawan" ; +lin Bangkok_CName = mkCName "Bangkok" ; +lin Bangladesh_CName = mkCName "Bangladesh" ; +lin Bangladeshi_taka_CName = mkCName "Bangladeshi taka" ; +lin Bangui_CName = mkCName "Bangui" ; +lin Banjul_CName = mkCName "Banjul" ; +lin Barbadian_dollar_CName = mkCName "Barbadian dollar" ; +lin Barbados_CName = mkCName "Barbados" ; +lin Basseterre_CName = mkCName "Basseterre" ; +lin Beijing_CName = mkCName "Beijing" ; +lin Beirut_CName = mkCName "Beirut" ; +lin Belarus_CName = mkCName "Belarus" ; +lin Belarusian_ruble_CName = mkCName "Belarusian ruble" ; +lin Belgium_CName = mkCName "Belgium" ; +lin Belgrade_CName = mkCName "Belgrade" ; +lin Belize_CName = mkCName "Belize" ; +lin Belize_dollar_CName = mkCName "Belize dollar" ; +lin Belmopan_CName = mkCName "Belmopan" ; +lin Benin_CName = mkCName "Benin" ; +lin Berlin_CName = mkCName "Berlin" ; +lin Bern_CName = mkCName "Bern" ; +lin Bhutan_CName = mkCName "Bhutan" ; +lin Bishkek_CName = mkCName "Bishkek" ; +lin Bissau_CName = mkCName "Bissau" ; +lin Bogotá_CName = mkCName "Bogotá" ; +lin Bolivia_CName = mkCName "Bolivia" ; +lin Bosnia_and_Herzegovina_CName = mkCName "Bosnia and Herzegovina" ; +lin Botswana_CName = mkCName "Botswana" ; +lin Botswana_pula_CName = mkCName "Botswana pula" ; +lin Brasília_CName = mkCName "Brasília" ; +lin Bratislava_CName = mkCName "Bratislava" ; +lin Brazil_CName = mkCName "Brazil" ; +lin Brazilian_real_CName = mkCName "Brazilian real" ; +lin Brazzaville_CName = mkCName "Brazzaville" ; +lin Bridgetown_CName = mkCName "Bridgetown" ; +lin Brunei_CName = mkCName "Brunei" ; +lin Brunei_dollar_CName = mkCName "Brunei dollar" ; +lin Bucharest_CName = mkCName "Bucharest" ; +lin Budapest_CName = mkCName "Budapest" ; +lin Buenos_Aires_CName = mkCName "Buenos Aires" ; +lin Bulgaria_CName = mkCName "Bulgaria" ; +lin Bulgarian_lev_CName = mkCName "Bulgarian lev" ; +lin Burkina_Faso_CName = mkCName "Burkina Faso" ; +lin Burundi_CName = mkCName "Burundi" ; +lin Burundian_franc_CName = mkCName "Burundian franc" ; +lin Cairo_CName = mkCName "Cairo" ; +lin Cambodia_CName = mkCName "Cambodia" ; +lin Cameroon_CName = mkCName "Cameroon" ; +lin Canada_CName = mkCName "Canada" ; +lin Canadian_dollar_CName = mkCName "Canadian dollar" ; +lin Canberra_CName = mkCName "Canberra" ; +lin Cape_Verde_CName = mkCName "Cape Verde" ; +lin Cape_Verdean_escudo_CName = mkCName "Cape Verdean escudo" ; +lin Caracas_CName = mkCName "Caracas" ; +lin Castries_CName = mkCName "Castries" ; +lin Central_African_CFA_franc_CName = mkCName "Central African CFA franc" ; +lin Central_African_Republic_CName = mkCName "Central African Republic" ; +lin Chad_CName = mkCName "Chad" ; +lin Chile_CName = mkCName "Chile" ; +lin Chilean_peso_CName = mkCName "Chilean peso" ; +lin 'Chișinău_CName' = mkCName "Chișinău" ; +lin City_of_Brussels_CName = mkCName "City of Brussels" ; +lin Colombia_CName = mkCName "Colombia" ; +lin Colombian_cincuenta_centavos_CName = mkCName "Colombian cincuenta centavos" ; +lin Colombo_CName = mkCName "Colombo" ; +lin Comorian_franc_CName = mkCName "Comorian franc" ; +lin Comoros_CName = mkCName "Comoros" ; +lin Conakry_CName = mkCName "Conakry" ; +lin Congolese_franc_CName = mkCName "Congolese franc" ; +lin Copenhagen_CName = mkCName "Copenhagen" ; +lin Costa_Rica_CName = mkCName "Costa Rica" ; +lin Costa_Rican_colón_CName = mkCName "Costa Rican colón" ; +lin Croatia_CName = mkCName "Croatia" ; +lin Croatian_kuna_CName = mkCName "Croatian kuna" ; +lin Cuba_CName = mkCName "Cuba" ; +lin Cuban_peso_CName = mkCName "Cuban peso" ; +lin Cyprus_CName = mkCName "Cyprus" ; +lin Czech_Republic_CName = mkCName "Czech Republic" ; +lin Czech_koruna_CName = mkCName "Czech koruna" ; +lin Dakar_CName = mkCName "Dakar" ; +lin Damascus_CName = mkCName "Damascus" ; +lin Danish_krone_CName = mkCName "Danish krone" ; +lin Democratic_Republic_of_the_Congo_CName = mkCName "Democratic Republic of the Congo" ; +lin Denmark_CName = mkCName "Denmark" ; +lin Dhaka_CName = mkCName "Dhaka" ; +lin Dili_CName = mkCName "Dili" ; +lin Djibouti_CName = mkCName "Djibouti" ; +lin Djiboutian_franc_CName = mkCName "Djiboutian franc" ; +lin Dodoma_CName = mkCName "Dodoma" ; +lin Doha_CName = mkCName "Doha" ; +lin Dominica_CName = mkCName "Dominica" ; +lin Dominican_Republic_CName = mkCName "Dominican Republic" ; +lin Dominican_peso_CName = mkCName "Dominican peso" ; +lin Dublin_CName = mkCName "Dublin" ; +lin Dushanbe_CName = mkCName "Dushanbe" ; +lin East_Timor_CName = mkCName "East Timor" ; +lin East_Timor_centavo_coins_CName = mkCName "East Timor centavo coins" ; +lin Eastern_Caribbean_dollar_CName = mkCName "Eastern Caribbean dollar" ; +lin Ecuador_CName = mkCName "Ecuador" ; +lin Egypt_CName = mkCName "Egypt" ; +lin Egyptian_pound_CName = mkCName "Egyptian pound" ; +lin El_Salvador_CName = mkCName "El Salvador" ; +lin Equatorial_Guinea_CName = mkCName "Equatorial Guinea" ; +lin Eritrea_CName = mkCName "Eritrea" ; +lin Estonia_CName = mkCName "Estonia" ; +lin Eswatini_CName = mkCName "Eswatini" ; +lin Ethiopia_CName = mkCName "Ethiopia" ; +lin Federated_States_of_Micronesia_CName = mkCName "Federated States of Micronesia" ; +lin Fiji_CName = mkCName "Fiji" ; +lin Fijian_dollar_CName = mkCName "Fijian dollar" ; +lin Finland_CName = mkCName "Finland" ; +lin France_CName = mkCName "France" ; +lin Freetown_CName = mkCName "Freetown" ; +lin Funafuti_CName = mkCName "Funafuti" ; +lin Gabon_CName = mkCName "Gabon" ; +lin Gaborone_CName = mkCName "Gaborone" ; +lin Georgetown_CName = mkCName "Georgetown" ; +lin Georgia_CName = mkCName "Georgia" ; +lin Georgian_lari_CName = mkCName "Georgian lari" ; +lin Germany_CName = mkCName "Germany" ; +lin Ghana_CName = mkCName "Ghana" ; +lin Ghana_cedi_CName = mkCName "Ghana cedi" ; +lin Gitega_CName = mkCName "Gitega" ; +lin Greece_CName = mkCName "Greece" ; +lin Grenada_CName = mkCName "Grenada" ; +lin Guatemala_CName = mkCName "Guatemala" ; +lin Guatemala_City_CName = mkCName "Guatemala City" ; +lin Guinea_CName = mkCName "Guinea" ; +lin Guinean_franc_CName = mkCName "Guinean franc" ; +lin Guyana_CName = mkCName "Guyana" ; +lin Guyanese_dollar_CName = mkCName "Guyanese dollar" ; +lin Haiti_CName = mkCName "Haiti" ; +lin Hanoi_CName = mkCName "Hanoi" ; +lin Harare_CName = mkCName "Harare" ; +lin Havana_CName = mkCName "Havana" ; +lin Helsinki_CName = mkCName "Helsinki" ; +lin Honduran_lempira_CName = mkCName "Honduran lempira" ; +lin Honduras_CName = mkCName "Honduras" ; +lin Honiara_CName = mkCName "Honiara" ; +lin Hungary_CName = mkCName "Hungary" ; +lin Iceland_CName = mkCName "Iceland" ; +lin Icelandic_króna_CName = mkCName "Icelandic króna" ; +lin India_CName = mkCName "India" ; +lin Indian_rupee_CName = mkCName "Indian rupee" ; +lin Indonesia_CName = mkCName "Indonesia" ; +lin Iran_CName = mkCName "Iran" ; +lin Iranian_rial_CName = mkCName "Iranian rial" ; +lin Iraq_CName = mkCName "Iraq" ; +lin Iraqi_dinar_CName = mkCName "Iraqi dinar" ; +lin Ireland_CName = mkCName "Ireland" ; +lin Islamabad_CName = mkCName "Islamabad" ; +lin Israel_CName = mkCName "Israel" ; +lin Italy_CName = mkCName "Italy" ; +lin Ivory_Coast_CName = mkCName "Ivory Coast" ; +lin Jakarta_CName = mkCName "Jakarta" ; +lin Jamaica_CName = mkCName "Jamaica" ; +lin Jamaican_dollar_CName = mkCName "Jamaican dollar" ; +lin Japan_CName = mkCName "Japan" ; +lin Japanese_yen_CName = mkCName "Japanese yen" ; +lin Jerusalem_CName = mkCName "Jerusalem" ; +lin Jordan_CName = mkCName "Jordan" ; +lin Jordanian_dinar_CName = mkCName "Jordanian dinar" ; +lin Juba_CName = mkCName "Juba" ; +lin Kabul_CName = mkCName "Kabul" ; +lin Kampala_CName = mkCName "Kampala" ; +lin Kathmandu_CName = mkCName "Kathmandu" ; +lin Kazakhstan_CName = mkCName "Kazakhstan" ; +lin Kazakhstani_tenge_CName = mkCName "Kazakhstani tenge" ; +lin Kenya_CName = mkCName "Kenya" ; +lin Kenyan_shilling_CName = mkCName "Kenyan shilling" ; +lin Khartoum_CName = mkCName "Khartoum" ; +lin Kigali_CName = mkCName "Kigali" ; +lin Kingdom_of_the_Netherlands_CName = mkCName "Kingdom of the Netherlands" ; +lin Kingston_CName = mkCName "Kingston" ; +lin Kingstown_CName = mkCName "Kingstown" ; +lin Kinshasa_CName = mkCName "Kinshasa" ; +lin Kiribati_CName = mkCName "Kiribati" ; +lin Kiribati_dollar_CName = mkCName "Kiribati dollar" ; +lin Kuala_Lumpur_CName = mkCName "Kuala Lumpur" ; +lin Kuwait_CName = mkCName "Kuwait" ; +lin Kuwait_City_CName = mkCName "Kuwait City" ; +lin Kuwaiti_dinar_CName = mkCName "Kuwaiti dinar" ; +lin Kyiv_CName = mkCName "Kyiv" ; +lin Kyrgyzstan_CName = mkCName "Kyrgyzstan" ; +lin Kyrgyzstani_som_CName = mkCName "Kyrgyzstani som" ; +lin La_Paz_CName = mkCName "La Paz" ; +lin Lao_kip_CName = mkCName "Lao kip" ; +lin Laos_CName = mkCName "Laos" ; +lin Latvia_CName = mkCName "Latvia" ; +lin Lebanese_pound_CName = mkCName "Lebanese pound" ; +lin Lebanon_CName = mkCName "Lebanon" ; +lin Lesotho_CName = mkCName "Lesotho" ; +lin Lesotho_loti_CName = mkCName "Lesotho loti" ; +lin Liberia_CName = mkCName "Liberia" ; +lin Liberian_dollar_CName = mkCName "Liberian dollar" ; +lin Libreville_CName = mkCName "Libreville" ; +lin Libya_CName = mkCName "Libya" ; +lin Libyan_dinar_CName = mkCName "Libyan dinar" ; +lin Liechtenstein_CName = mkCName "Liechtenstein" ; +lin Lilongwe_CName = mkCName "Lilongwe" ; +lin Lima_CName = mkCName "Lima" ; +lin Lisbon_CName = mkCName "Lisbon" ; +lin Lithuania_CName = mkCName "Lithuania" ; +lin Ljubljana_CName = mkCName "Ljubljana" ; +lin Lobamba_CName = mkCName "Lobamba" ; +lin Lomé_CName = mkCName "Lomé" ; +lin London_CName = mkCName "London" ; +lin Luanda_CName = mkCName "Luanda" ; +lin Lusaka_CName = mkCName "Lusaka" ; +lin Luxembourg_CName = mkCName "Luxembourg" ; +lin Madagascar_CName = mkCName "Madagascar" ; +lin Madrid_CName = mkCName "Madrid" ; +lin Majuro_CName = mkCName "Majuro" ; +lin Malabo_CName = mkCName "Malabo" ; +lin Malawi_CName = mkCName "Malawi" ; +lin Malawian_kwacha_CName = mkCName "Malawian kwacha" ; +lin Malaysia_CName = mkCName "Malaysia" ; +lin Malaysian_ringgit_CName = mkCName "Malaysian ringgit" ; +lin Maldives_CName = mkCName "Maldives" ; +lin Maldivian_rufiyaa_CName = mkCName "Maldivian rufiyaa" ; +lin Mali_CName = mkCName "Mali" ; +lin Malta_CName = mkCName "Malta" ; +lin Malé_CName = mkCName "Malé" ; +lin Managua_CName = mkCName "Managua" ; +lin Manama_CName = mkCName "Manama" ; +lin Manila_CName = mkCName "Manila" ; +lin Maputo_CName = mkCName "Maputo" ; +lin Marshall_Islands_CName = mkCName "Marshall Islands" ; +lin Maseru_CName = mkCName "Maseru" ; +lin Mauritania_CName = mkCName "Mauritania" ; +lin Mauritanian_ouguiya_CName = mkCName "Mauritanian ouguiya" ; +lin Mauritian_rupee_CName = mkCName "Mauritian rupee" ; +lin Mauritius_CName = mkCName "Mauritius" ; +lin Mexican_peso_CName = mkCName "Mexican peso" ; +lin Mexico_CName = mkCName "Mexico" ; +lin Mexico_City_CName = mkCName "Mexico City" ; +lin Minsk_CName = mkCName "Minsk" ; +lin Mogadishu_CName = mkCName "Mogadishu" ; +lin Moldova_CName = mkCName "Moldova" ; +lin Moldovan_leu_CName = mkCName "Moldovan leu" ; +lin Monaco_CName = mkCName "Monaco" ; +lin Monaco_City_CName = mkCName "Monaco City" ; +lin Mongolia_CName = mkCName "Mongolia" ; +lin Monrovia_CName = mkCName "Monrovia" ; +lin Montenegro_CName = mkCName "Montenegro" ; +lin Montevideo_CName = mkCName "Montevideo" ; +lin Moroccan_dirham_CName = mkCName "Moroccan dirham" ; +lin Morocco_CName = mkCName "Morocco" ; +lin Moroni_CName = mkCName "Moroni" ; +lin Moscow_CName = mkCName "Moscow" ; +lin Mozambican_metical_CName = mkCName "Mozambican metical" ; +lin Mozambique_CName = mkCName "Mozambique" ; +lin Muscat_CName = mkCName "Muscat" ; +lin Myanmar_CName = mkCName "Myanmar" ; +lin N'Djamena_CName = mkCName "N'Djamena" ; +lin Nairobi_CName = mkCName "Nairobi" ; +lin Namibia_CName = mkCName "Namibia" ; +lin Namibian_dollar_CName = mkCName "Namibian dollar" ; +lin Nassau_CName = mkCName "Nassau" ; +lin Nauru_CName = mkCName "Nauru" ; +lin Naypyidaw_CName = mkCName "Naypyidaw" ; +lin Nepal_CName = mkCName "Nepal" ; +lin Nepalese_rupee_CName = mkCName "Nepalese rupee" ; +lin New_Delhi_CName = mkCName "New Delhi" ; +lin New_Taiwan_dollar_CName = mkCName "New Taiwan dollar" ; +lin New_Zealand_CName = mkCName "New Zealand" ; +lin New_Zealand_dollar_CName = mkCName "New Zealand dollar" ; +lin Ngerulmud_CName = mkCName "Ngerulmud" ; +lin Niamey_CName = mkCName "Niamey" ; +lin Nicaragua_CName = mkCName "Nicaragua" ; +lin Nicaraguan_córdoba_CName = mkCName "Nicaraguan córdoba" ; +lin Nicosia_CName = mkCName "Nicosia" ; +lin Niger_CName = mkCName "Niger" ; +lin Nigeria_CName = mkCName "Nigeria" ; +lin Nigerian_naira_CName = mkCName "Nigerian naira" ; +lin North_Korea_CName = mkCName "North Korea" ; +lin North_Korean_won_CName = mkCName "North Korean won" ; +lin North_Macedonia_CName = mkCName "North Macedonia" ; +lin Norway_CName = mkCName "Norway" ; +lin Norwegian_krone_CName = mkCName "Norwegian krone" ; +lin Nouakchott_CName = mkCName "Nouakchott" ; +lin Nuku'alofa_CName = mkCName "Nuku'alofa" ; +lin Oman_CName = mkCName "Oman" ; +lin Omani_rial_CName = mkCName "Omani rial" ; +lin Oslo_CName = mkCName "Oslo" ; +lin Ottawa_CName = mkCName "Ottawa" ; +lin Ouagadougou_CName = mkCName "Ouagadougou" ; +lin Pakistan_CName = mkCName "Pakistan" ; +lin Pakistani_rupee_CName = mkCName "Pakistani rupee" ; +lin Palau_CName = mkCName "Palau" ; +lin Palikir_CName = mkCName "Palikir" ; +lin Panama_CName = mkCName "Panama" ; +lin Panama_City_CName = mkCName "Panama City" ; +lin Panamanian_balboa_CName = mkCName "Panamanian balboa" ; +lin Papua_New_Guinea_CName = mkCName "Papua New Guinea" ; +lin Paraguay_CName = mkCName "Paraguay" ; +lin Paraguayan_guaraní_CName = mkCName "Paraguayan guaraní" ; +lin Paramaribo_CName = mkCName "Paramaribo" ; +lin Paris_CName = mkCName "Paris" ; +lin People's_Republic_of_China_CName = mkCName "People's Republic of China" ; +lin Peru_CName = mkCName "Peru" ; +lin Peruvian_sol_CName = mkCName "Peruvian sol" ; +lin Philippine_peso_CName = mkCName "Philippine peso" ; +lin Philippines_CName = mkCName "Philippines" ; +lin Phnom_Penh_CName = mkCName "Phnom Penh" ; +lin Podgorica_CName = mkCName "Podgorica" ; +lin Poland_CName = mkCName "Poland" ; +lin Port_Louis_CName = mkCName "Port Louis" ; +lin Port_Moresby_CName = mkCName "Port Moresby" ; +lin Port_Vila_CName = mkCName "Port Vila" ; +lin Port_of_Spain_CName = mkCName "Port of Spain" ; +lin Portugal_CName = mkCName "Portugal" ; +lin Prague_CName = mkCName "Prague" ; +lin Praia_CName = mkCName "Praia" ; +lin Pretoria_CName = mkCName "Pretoria" ; +lin Pyongyang_CName = mkCName "Pyongyang" ; +lin Qatar_CName = mkCName "Qatar" ; +lin Qatari_riyal_CName = mkCName "Qatari riyal" ; +lin Quito_CName = mkCName "Quito" ; +lin Rabat_CName = mkCName "Rabat" ; +lin Republic_of_the_Congo_CName = mkCName "Republic of the Congo" ; +lin Reykjavík_CName = mkCName "Reykjavík" ; +lin Riga_CName = mkCName "Riga" ; +lin Riyadh_CName = mkCName "Riyadh" ; +lin Romania_CName = mkCName "Romania" ; +lin Romanian_leu_CName = mkCName "Romanian leu" ; +lin Rome_CName = mkCName "Rome" ; +lin Roseau_CName = mkCName "Roseau" ; +lin Russia_CName = mkCName "Russia" ; +lin Russian_ruble_CName = mkCName "Russian ruble" ; +lin Rwanda_CName = mkCName "Rwanda" ; +lin Rwandan_franc_CName = mkCName "Rwandan franc" ; +lin Saint_John's_CName = mkCName "Saint John's" ; +lin Saint_Kitts_and_Nevis_CName = mkCName "Saint Kitts and Nevis" ; +lin Saint_Lucia_CName = mkCName "Saint Lucia" ; +lin Saint_Vincent_and_the_Grenadines_CName = mkCName "Saint Vincent and the Grenadines" ; +lin Samoa_CName = mkCName "Samoa" ; +lin 'Samoan_tālā_CName' = mkCName "Samoan tālā" ; +lin San_José_CName = mkCName "San José" ; +lin San_Marino_CName = mkCName "San Marino" ; +lin San_Salvador_CName = mkCName "San Salvador" ; +lin Sanaa_CName = mkCName "Sanaa" ; +lin Santiago_CName = mkCName "Santiago" ; +lin Santo_Domingo_CName = mkCName "Santo Domingo" ; +lin Sarajevo_CName = mkCName "Sarajevo" ; +lin Saudi_Arabia_CName = mkCName "Saudi Arabia" ; +lin Saudi_riyal_CName = mkCName "Saudi riyal" ; +lin Senegal_CName = mkCName "Senegal" ; +lin Seoul_CName = mkCName "Seoul" ; +lin Serbia_CName = mkCName "Serbia" ; +lin Serbian_dinar_CName = mkCName "Serbian dinar" ; +lin Seychelles_CName = mkCName "Seychelles" ; +lin Seychellois_rupee_CName = mkCName "Seychellois rupee" ; +lin Sierra_Leone_CName = mkCName "Sierra Leone" ; +lin Sierra_Leonean_leone_CName = mkCName "Sierra Leonean leone" ; +lin Singapore_CName = mkCName "Singapore" ; +lin Singapore_dollar_CName = mkCName "Singapore dollar" ; +lin Skopje_CName = mkCName "Skopje" ; +lin Slovakia_CName = mkCName "Slovakia" ; +lin Slovenia_CName = mkCName "Slovenia" ; +lin Sofia_CName = mkCName "Sofia" ; +lin Solomon_Islands_CName = mkCName "Solomon Islands" ; +lin Solomon_Islands_dollar_CName = mkCName "Solomon Islands dollar" ; +lin Somali_shilling_CName = mkCName "Somali shilling" ; +lin Somalia_CName = mkCName "Somalia" ; +lin South_Africa_CName = mkCName "South Africa" ; +lin South_African_rand_CName = mkCName "South African rand" ; +lin South_Korea_CName = mkCName "South Korea" ; +lin South_Korean_won_CName = mkCName "South Korean won" ; +lin South_Sudan_CName = mkCName "South Sudan" ; +lin South_Sudanese_pound_CName = mkCName "South Sudanese pound" ; +lin South_Tarawa_CName = mkCName "South Tarawa" ; +lin Sovereign_Bolivar_CName = mkCName "Sovereign Bolivar" ; +lin Spain_CName = mkCName "Spain" ; +lin Sri_Lanka_CName = mkCName "Sri Lanka" ; +lin Sri_Lankan_rupee_CName = mkCName "Sri Lankan rupee" ; +lin Stockholm_CName = mkCName "Stockholm" ; +lin Sudan_CName = mkCName "Sudan" ; +lin Sudanese_pound_CName = mkCName "Sudanese pound" ; +lin Suriname_CName = mkCName "Suriname" ; +lin Surinamese_dollar_CName = mkCName "Surinamese dollar" ; +lin Suva_CName = mkCName "Suva" ; +lin Sweden_CName = mkCName "Sweden" ; +lin Swedish_krona_CName = mkCName "Swedish krona" ; +lin Swiss_franc_CName = mkCName "Swiss franc" ; +lin Switzerland_CName = mkCName "Switzerland" ; +lin Syria_CName = mkCName "Syria" ; +lin Syrian_pound_CName = mkCName "Syrian pound" ; +lin São_Tomé_CName = mkCName "São Tomé" ; +lin São_Tomé_and_Príncipe_CName = mkCName "São Tomé and Príncipe" ; +lin São_Tomé_and_Príncipe_dobra_CName = mkCName "São Tomé and Príncipe dobra" ; +lin Taipei_CName = mkCName "Taipei" ; +lin Taiwan_CName = mkCName "Taiwan" ; +lin Tajikistan_CName = mkCName "Tajikistan" ; +lin Tajikistani_somoni_CName = mkCName "Tajikistani somoni" ; +lin Tallinn_CName = mkCName "Tallinn" ; +lin Tanzania_CName = mkCName "Tanzania" ; +lin Tanzanian_shilling_CName = mkCName "Tanzanian shilling" ; +lin Tashkent_CName = mkCName "Tashkent" ; +lin Tbilisi_CName = mkCName "Tbilisi" ; +lin Tegucigalpa_CName = mkCName "Tegucigalpa" ; +lin Tehran_CName = mkCName "Tehran" ; +lin Thailand_CName = mkCName "Thailand" ; +lin The_Bahamas_CName = mkCName "The Bahamas" ; +lin The_Gambia_CName = mkCName "The Gambia" ; +lin Thimphu_CName = mkCName "Thimphu" ; +lin Tirana_CName = mkCName "Tirana" ; +lin Togo_CName = mkCName "Togo" ; +lin Tokyo_CName = mkCName "Tokyo" ; +lin Tonga_CName = mkCName "Tonga" ; +lin 'Tongan_paʻanga_CName' = mkCName "Tongan paʻanga" ; +lin Trinidad_and_Tobago_CName = mkCName "Trinidad and Tobago" ; +lin Trinidad_and_Tobago_dollar_CName = mkCName "Trinidad and Tobago dollar" ; +lin Tripoli_CName = mkCName "Tripoli" ; +lin Tunis_CName = mkCName "Tunis" ; +lin Tunisia_CName = mkCName "Tunisia" ; +lin Tunisian_dinar_CName = mkCName "Tunisian dinar" ; +lin Turkey_CName = mkCName "Turkey" ; +lin Turkish_lira_CName = mkCName "Turkish lira" ; +lin Turkmenistan_CName = mkCName "Turkmenistan" ; +lin Turkmenistan_manat_CName = mkCName "Turkmenistan manat" ; +lin Tuvalu_CName = mkCName "Tuvalu" ; +lin Tuvaluan_dollar_CName = mkCName "Tuvaluan dollar" ; +lin Uganda_CName = mkCName "Uganda" ; +lin Ugandan_shilling_CName = mkCName "Ugandan shilling" ; +lin Ukraine_CName = mkCName "Ukraine" ; +lin Ulaanbaatar_CName = mkCName "Ulaanbaatar" ; +lin United_Arab_Emirates_CName = mkCName "United Arab Emirates" ; +lin United_Arab_Emirates_dirham_CName = mkCName "United Arab Emirates dirham" ; +lin United_Kingdom_CName = mkCName "the United Kingdom" ; +lin United_States_dollar_CName = mkCName "United States dollar" ; +lin United_States_of_America_CName = mkCName "the United States" ; +lin Uruguay_CName = mkCName "Uruguay" ; +lin Uruguayan_peso_CName = mkCName "Uruguayan peso" ; +lin Uzbekistan_CName = mkCName "Uzbekistan" ; +lin Uzbekistani_som_CName = mkCName "Uzbekistani som" ; +lin Vaduz_CName = mkCName "Vaduz" ; +lin Valletta_CName = mkCName "Valletta" ; +lin Vanuatu_CName = mkCName "Vanuatu" ; +lin Vanuatu_vatus_CName = mkCName "Vanuatu vatus" ; +lin Venezuela_CName = mkCName "Venezuela" ; +lin Victoria_CName = mkCName "Victoria" ; +lin Vienna_CName = mkCName "Vienna" ; +lin Vientiane_CName = mkCName "Vientiane" ; +lin Vietnam_CName = mkCName "Vietnam" ; +lin Vietnamese_dong_CName = mkCName "Vietnamese dong" ; +lin Vilnius_CName = mkCName "Vilnius" ; +lin Warsaw_CName = mkCName "Warsaw" ; +lin Wellington_CName = mkCName "Wellington" ; +lin West_African_CFA_franc_CName = mkCName "West African CFA franc" ; +lin Windhoek_CName = mkCName "Windhoek" ; +lin Yamoussoukro_CName = mkCName "Yamoussoukro" ; +lin Yaoundé_CName = mkCName "Yaoundé" ; +lin Yaren_District_CName = mkCName "Yaren District" ; +lin Yemen_CName = mkCName "Yemen" ; +lin Yemeni_rial_CName = mkCName "Yemeni rial" ; +lin Yerevan_CName = mkCName "Yerevan" ; +lin Zagreb_CName = mkCName "Zagreb" ; +lin Zambia_CName = mkCName "Zambia" ; +lin Zambian_kwacha_CName = mkCName "Zambian kwacha" ; +lin Zimbabwe_CName = mkCName "Zimbabwe" ; +lin ariary_CName = mkCName "ariary" ; +lin baht_CName = mkCName "baht" ; +lin birr_CName = mkCName "birr" ; +lin boliviano_CName = mkCName "boliviano" ; +lin convertible_mark_CName = mkCName "convertible mark" ; +lin dalasi_CName = mkCName "dalasi" ; +lin denar_CName = mkCName "denar" ; +lin euro_CName = mkCName "euro" ; +lin forint_CName = mkCName "forint" ; +lin gourde_CName = mkCName "gourde" ; +lin hryvnia_CName = mkCName "hryvnia" ; +lin kina_CName = mkCName "kina" ; +lin kwanza_CName = mkCName "kwanza" ; +lin kyat_CName = mkCName "kyat" ; +lin lilangeni_CName = mkCName "lilangeni" ; +lin nakfa_CName = mkCName "nakfa" ; +lin new_shekel_CName = mkCName "new shekel" ; +lin ngultrum_CName = mkCName "ngultrum" ; +lin pound_sterling_CName = mkCName "pound sterling" ; +lin quetzal_CName = mkCName "quetzal" ; +lin renminbi_CName = mkCName "renminbi" ; +lin riel_CName = mkCName "riel" ; +lin rupiah_CName = mkCName "rupiah" ; +lin tugrik_CName = mkCName "tugrik" ; +lin 'złoty_CName' = mkCName "złoty" ; +} \ No newline at end of file diff --git a/lab2/wikipedia/CountryNamesFin.gf b/lab2/wikipedia/CountryNamesFin.gf new file mode 100644 index 0000000..e91ec99 --- /dev/null +++ b/lab2/wikipedia/CountryNamesFin.gf @@ -0,0 +1,557 @@ +concrete CountryNamesFin of CountryNames = + + open SyntaxFin, ParadigmsFin, Prelude in { + +lincat CName = LocName ; + +oper LocName = {np : NP ; isIn : Bool} ; + +oper mkCName = overload { + mkCName : Str -> LocName = \s -> {np = mkNP (foreignPN s) ; isIn = True} ; + mkCName : N -> LocName = \n -> {np = mkNP n ; isIn = True} ; + mkCName : NP -> LocName = \np -> {np = np ; isIn = True} ; + } ; + + exCName : LocName -> LocName = \name -> name ** {isIn = False} ; + sgCName : LocName -> LocName = \name -> name ** {np = forceNumberNP singular name.np} ; + +lin Africa_CName = mkCName (mkN "Afrikka") ; +lin Asia_CName = mkCName "Aasia" ; +lin Central_America_CName = mkCName (mkN "Keski-Amerikka") ; +lin Europe_CName = mkCName (mkN "Eurooppa") ; +lin North_America_CName = mkCName (mkN "Pohjois-Amerikka") ; +lin South_America_CName = mkCName (mkN "Etelä-Amerikka") ; +lin insular_Oceania_CName = mkCName "Oseania" ; + +lin 'Guinea-Bissau_CName' = mkCName "Guinea-Bissau" ; +lin 'Nur-Sultan_CName' = mkCName "Nur-Sultan" ; +lin 'Port-au-Prince_CName' = mkCName "Port-au-Prince" ; +lin 'Porto-Novo_CName' = mkCName "Porto-Novo" ; +lin 'St._George\'s_CName' = mkCName "St. George’s" ; +lin 'Washington,_D.C._CName' = mkCName "Washington" ; +lin Abu_Dhabi_CName = mkCName "Abu Dhabi" ; +lin Abuja_CName = mkCName "Abuja" ; +lin Accra_CName = mkCName "Accra" ; +lin Addis_Ababa_CName = mkCName "Addis Abeba" ; +lin Afghan_afghani_CName = mkCName "afgani" ; +lin Afghanistan_CName = mkCName "Afganistan" ; +lin Albania_CName = mkCName "Albania" ; +lin Albanian_lek_CName = mkCName "Albanian lek" ; +lin Algeria_CName = mkCName "Algeria" ; +lin Algerian_dinar_CName = mkCName "Algerian dinaari" ; +lin Algiers_CName = mkCName "Alger" ; +lin Amman_CName = mkCName "Amman" ; +lin Amsterdam_CName = mkCName "Amsterdam" ; +lin Andorra_CName = mkCName "Andorra" ; +lin Andorra_la_Vella_CName = mkCName "Andorra la Vella" ; +lin Angola_CName = mkCName "Angola" ; +lin Ankara_CName = mkCName "Ankara" ; +lin Antananarivo_CName = mkCName "Antananarivo" ; +lin Antigua_and_Barbuda_CName = mkCName "Antigua ja Barbuda" ; +lin Apia_CName = mkCName "Apia" ; +lin Argentina_CName = mkCName "Argentiina" ; +lin Argentine_peso_CName = mkCName "Argentiinan peso" ; +lin Armenia_CName = mkCName "Armenia" ; +lin Armenian_dram_CName = mkCName "Armenian dram" ; +lin Ashgabat_CName = mkCName "Ašgabat" ; +lin Asmara_CName = mkCName "Asmara" ; +lin Asunción_CName = mkCName "Asunción" ; +lin Athens_CName = mkCName "Ateena" ; +lin Australia_CName = mkCName "Australia" ; +lin Australian_dollar_CName = mkCName "Australian dollari" ; +lin Austria_CName = mkCName "Itävalta" ; +lin Azerbaijan_CName = mkCName "Azerbaidžan" ; +lin Azerbaijani_manat_CName = mkCName "Azerbaidžanin manat" ; +lin Baghdad_CName = mkCName "Bagdad" ; +lin Bahamian_dollar_CName = mkCName "Bahaman dollari" ; +lin Bahrain_CName = mkCName "Bahrain" ; +lin Bahraini_dinar_CName = mkCName "Bahrainin dinaari" ; +lin Baku_CName = mkCName "Baku" ; +lin Bamako_CName = mkCName "Bamako" ; +lin Bandar_Seri_Begawan_CName = mkCName "Bandar Seri Begawan" ; +lin Bangkok_CName = mkCName "Bangkok" ; +lin Bangladesh_CName = mkCName "Bangladesh" ; +lin Bangladeshi_taka_CName = mkCName "Bangladeshin taka" ; +lin Bangui_CName = mkCName "Bangui" ; +lin Banjul_CName = mkCName "Banjul" ; +lin Barbadian_dollar_CName = mkCName "Barbadoksen dollari" ; +lin Barbados_CName = mkCName "Barbados" ; +lin Basseterre_CName = mkCName "Basseterre" ; +lin Beijing_CName = mkCName "Peking" ; +lin Beirut_CName = mkCName "Beirut" ; +lin Belarus_CName = mkCName "Valko-Venäjä" ; +lin Belarusian_ruble_CName = mkCName "Valko-Venäjän rupla" ; +lin Belgium_CName = mkCName "Belgia" ; +lin Belgrade_CName = mkCName "Belgrad" ; +lin Belize_CName = mkCName "Belize" ; +lin Belize_dollar_CName = mkCName "Belizen dollari" ; +lin Belmopan_CName = mkCName "Belmopan" ; +lin Benin_CName = mkCName "Benin" ; +lin Berlin_CName = mkCName "Berliini" ; +lin Bern_CName = mkCName "Bern" ; +lin Bhutan_CName = mkCName "Bhutan" ; +lin Bishkek_CName = mkCName "Biškek" ; +lin Bissau_CName = mkCName "Bissau" ; +lin Bogotá_CName = mkCName "Bogotá" ; +lin Bolivia_CName = mkCName "Bolivia" ; +lin Bosnia_and_Herzegovina_CName = mkCName "Bosnia ja Hertsegovina" ; +lin Botswana_CName = mkCName "Botswana" ; +lin Botswana_pula_CName = mkCName "Pula" ; +lin Brasília_CName = mkCName "Brasília" ; +lin Bratislava_CName = mkCName "Bratislava" ; +lin Brazil_CName = mkCName "Brasilia" ; +lin Brazilian_real_CName = mkCName "Brasilian real" ; +lin Brazzaville_CName = mkCName "Brazzaville" ; +lin Bridgetown_CName = mkCName "Bridgetown" ; +lin Brunei_CName = mkCName "Brunei" ; +lin Brunei_dollar_CName = mkCName "Brunein dollari" ; +lin Bucharest_CName = mkCName "Bukarest" ; +lin Budapest_CName = mkCName "Budapest" ; +lin Buenos_Aires_CName = mkCName "Buenos Aires" ; +lin Bulgaria_CName = mkCName "Bulgaria" ; +lin Bulgarian_lev_CName = mkCName "Bulgarian leva" ; +lin Burkina_Faso_CName = mkCName "Burkina Faso" ; +lin Burundi_CName = mkCName "Burundi" ; +lin Burundian_franc_CName = mkCName "Burundin frangi" ; +lin Cairo_CName = mkCName "Kairo" ; +lin Cambodia_CName = mkCName "Kambodža" ; +lin Cameroon_CName = mkCName "Kamerun" ; +lin Canada_CName = mkCName "Kanada" ; +lin Canadian_dollar_CName = mkCName "Kanadan dollari" ; +lin Canberra_CName = mkCName "Canberra" ; +lin Cape_Verde_CName = mkCName "Kap Verde" ; +lin Cape_Verdean_escudo_CName = mkCName "Kap Verden escudo" ; +lin Caracas_CName = mkCName "Caracas" ; +lin Castries_CName = mkCName "Castries" ; +lin Central_African_CFA_franc_CName = mkCName "Keski-Afrikan CFA-frangi" ; +lin Central_African_Republic_CName = mkCName "Keski-Afrikan tasavalta" ; +lin Chad_CName = mkCName "Tšad" ; +lin Chile_CName = mkCName "Chile" ; +lin Chilean_peso_CName = mkCName "Chilen peso" ; +lin 'Chișinău_CName' = mkCName "Chișinău" ; +lin City_of_Brussels_CName = mkCName "Bryssel" ; +lin Colombia_CName = mkCName "Kolumbia" ; +lin Colombian_cincuenta_centavos_CName = mkCName "Kolumbian peso" ; +lin Colombo_CName = mkCName "Colombo" ; +lin Comorian_franc_CName = mkCName "Komorien frangi" ; +lin Comoros_CName = mkCName "Komorit" ; +lin Conakry_CName = mkCName "Conakry" ; +lin Congolese_franc_CName = mkCName "Kongon frangi" ; +lin Copenhagen_CName = mkCName "Kööpenhamina" ; +lin Costa_Rica_CName = mkCName "Costa Rica" ; +lin Costa_Rican_colón_CName = mkCName "Costa Rican colón" ; +lin Croatia_CName = mkCName "Kroatia" ; +lin Croatian_kuna_CName = mkCName "Kroatian kuna" ; +lin Cuba_CName = mkCName "Kuuba" ; +lin Cuban_peso_CName = mkCName "Kuuban peso" ; +lin Cyprus_CName = mkCName "Kypros" ; +lin Czech_Republic_CName = mkCName "Tšekki" ; +lin Czech_koruna_CName = mkCName "Tšekin koruna" ; +lin Dakar_CName = mkCName "Dakar" ; +lin Damascus_CName = mkCName "Damaskos" ; +lin Danish_krone_CName = mkCName "Tanskan kruunu" ; +lin Democratic_Republic_of_the_Congo_CName = mkCName "Kongon demokraattinen tasavalta" ; +lin Denmark_CName = mkCName "Tanska" ; +lin Dhaka_CName = mkCName "Dhaka" ; +lin Dili_CName = mkCName "Dili" ; +lin Djibouti_CName = mkCName "Djibouti" ; +lin Djiboutian_franc_CName = mkCName "Djiboutin frangi" ; +lin Dodoma_CName = mkCName "Dodoma" ; +lin Doha_CName = mkCName "Doha" ; +lin Dominica_CName = mkCName "Dominica" ; +lin Dominican_Republic_CName = mkCName "Dominikaaninen tasavalta" ; +lin Dominican_peso_CName = mkCName "Dominikaanisen tasavallan peso" ; +lin Dublin_CName = mkCName "Dublin" ; +lin Dushanbe_CName = mkCName "Dušanbe" ; +lin East_Timor_CName = mkCName "Itä-Timor" ; +lin East_Timor_centavo_coins_CName = mkCName "East Timor centavo coins" ; +lin Eastern_Caribbean_dollar_CName = mkCName "Itä-Karibian dollari" ; +lin Ecuador_CName = mkCName "Ecuador" ; +lin Egypt_CName = mkCName "Egypti" ; +lin Egyptian_pound_CName = mkCName "Egyptin punta" ; +lin El_Salvador_CName = mkCName "El Salvador" ; +lin Equatorial_Guinea_CName = mkCName "Päiväntasaajan Guinea" ; +lin Eritrea_CName = mkCName "Eritrea" ; +lin Estonia_CName = mkCName "Viro" ; +lin Eswatini_CName = mkCName "Swazimaa" ; +lin Ethiopia_CName = mkCName "Etiopia" ; +lin Federated_States_of_Micronesia_CName = mkCName "Mikronesia" ; +lin Fiji_CName = mkCName "Fidži" ; +lin Fijian_dollar_CName = mkCName "Fidžin dollari" ; +lin Finland_CName = mkCName (mkN "Suomi" "Suomia") ; +lin France_CName = mkCName "Ranska" ; +lin Freetown_CName = mkCName "Freetown" ; +lin Funafuti_CName = mkCName "Funafuti" ; +lin Gabon_CName = mkCName "Gabon" ; +lin Gaborone_CName = mkCName "Gaborone" ; +lin Georgetown_CName = mkCName "Georgetown" ; +lin Georgia_CName = mkCName "Georgia" ; +lin Georgian_lari_CName = mkCName "Georgian lari" ; +lin Germany_CName = mkCName "Saksa" ; +lin Ghana_CName = mkCName "Ghana" ; +lin Ghana_cedi_CName = mkCName "Cedi" ; +lin Gitega_CName = mkCName "Gitega" ; +lin Greece_CName = mkCName "Kreikka" ; +lin Grenada_CName = mkCName "Grenada" ; +lin Guatemala_CName = mkCName "Guatemala" ; +lin Guatemala_City_CName = mkCName "Guatemala" ; +lin Guinea_CName = mkCName "Guinea" ; +lin Guinean_franc_CName = mkCName "Guinean frangi" ; +lin Guyana_CName = mkCName "Guyana" ; +lin Guyanese_dollar_CName = mkCName "Guyanan dollari" ; +lin Haiti_CName = mkCName "Haiti" ; +lin Hanoi_CName = mkCName "Hanoi" ; +lin Harare_CName = mkCName "Harare" ; +lin Havana_CName = mkCName "Havanna" ; +lin Helsinki_CName = mkCName "Helsinki" ; +lin Honduran_lempira_CName = mkCName "Hondurasin lempira" ; +lin Honduras_CName = mkCName "Honduras" ; +lin Honiara_CName = mkCName "Honiara" ; +lin Hungary_CName = mkCName "Unkari" ; +lin Iceland_CName = mkCName "Islanti" ; +lin Icelandic_króna_CName = mkCName "Islannin kruunu" ; +lin India_CName = mkCName "Intia" ; +lin Indian_rupee_CName = mkCName "Intian rupia" ; +lin Indonesia_CName = mkCName "Indonesia" ; +lin Iran_CName = mkCName "Iran" ; +lin Iranian_rial_CName = mkCName "Iranin rial" ; +lin Iraq_CName = mkCName "Irak" ; +lin Iraqi_dinar_CName = mkCName "Irakin dinaari" ; +lin Ireland_CName = mkCName "Irlanti" ; +lin Islamabad_CName = mkCName "Islamabad" ; +lin Israel_CName = mkCName "Israel" ; +lin Italy_CName = mkCName "Italia" ; +lin Ivory_Coast_CName = mkCName "Norsunluurannikko" ; +lin Jakarta_CName = mkCName "Jakarta" ; +lin Jamaica_CName = mkCName "Jamaika" ; +lin Jamaican_dollar_CName = mkCName "Jamaikan dollari" ; +lin Japan_CName = mkCName "Japani" ; +lin Japanese_yen_CName = mkCName "Japanin jeni" ; +lin Jerusalem_CName = mkCName "Jerusalem" ; +lin Jordan_CName = mkCName "Jordania" ; +lin Jordanian_dinar_CName = mkCName "Jordanian dinaari" ; +lin Juba_CName = mkCName "Juba" ; +lin Kabul_CName = mkCName "Kabul" ; +lin Kampala_CName = mkCName "Kampala" ; +lin Kathmandu_CName = mkCName "Kathmandu" ; +lin Kazakhstan_CName = mkCName "Kazakstan" ; +lin Kazakhstani_tenge_CName = mkCName "Kazakstanin tenge" ; +lin Kenya_CName = mkCName "Kenia" ; +lin Kenyan_shilling_CName = mkCName "Kenian šillinki" ; +lin Khartoum_CName = mkCName "Khartum" ; +lin Kigali_CName = mkCName "Kigali" ; +lin Kingdom_of_the_Netherlands_CName = mkCName "Alankomaiden kuningaskunta" ; +lin Kingston_CName = mkCName "Kingston" ; +lin Kingstown_CName = mkCName "Kingstown" ; +lin Kinshasa_CName = mkCName "Kinshasa" ; +lin Kiribati_CName = mkCName "Kiribati" ; +lin Kiribati_dollar_CName = mkCName "Kiribati dollar" ; +lin Kuala_Lumpur_CName = mkCName "Kuala Lumpur" ; +lin Kuwait_CName = mkCName "Kuwait" ; +lin Kuwait_City_CName = mkCName "Kuwait" ; +lin Kuwaiti_dinar_CName = mkCName "Kuwaitin dinaari" ; +lin Kyiv_CName = mkCName "Kiova" ; +lin Kyrgyzstan_CName = mkCName "Kirgisia" ; +lin Kyrgyzstani_som_CName = mkCName "Kirgisian som" ; +lin La_Paz_CName = mkCName "La Paz" ; +lin Lao_kip_CName = mkCName "Laosin kip" ; +lin Laos_CName = mkCName "Laos" ; +lin Latvia_CName = mkCName "Latvia" ; +lin Lebanese_pound_CName = mkCName "Libanonin punta" ; +lin Lebanon_CName = mkCName "Libanon" ; +lin Lesotho_CName = mkCName "Lesotho" ; +lin Lesotho_loti_CName = mkCName "Lesothon loti" ; +lin Liberia_CName = mkCName "Liberia" ; +lin Liberian_dollar_CName = mkCName "Liberian dollari" ; +lin Libreville_CName = mkCName "Libreville" ; +lin Libya_CName = mkCName "Libya" ; +lin Libyan_dinar_CName = mkCName "Libyan dinaari" ; +lin Liechtenstein_CName = mkCName "Liechtenstein" ; +lin Lilongwe_CName = mkCName "Lilongwe" ; +lin Lima_CName = mkCName "Lima" ; +lin Lisbon_CName = mkCName "Lissabon" ; +lin Lithuania_CName = mkCName "Liettua" ; +lin Ljubljana_CName = mkCName "Ljubljana" ; +lin Lobamba_CName = mkCName "Lobamba" ; +lin Lomé_CName = mkCName "Lomé" ; +lin London_CName = mkCName "Lontoo" ; +lin Luanda_CName = mkCName "Luanda" ; +lin Lusaka_CName = mkCName "Lusaka" ; +lin Luxembourg_CName = mkCName "Luxemburg" ; +lin Madagascar_CName = mkCName "Madagaskar" ; +lin Madrid_CName = mkCName "Madrid" ; +lin Majuro_CName = mkCName "Majuro" ; +lin Malabo_CName = mkCName "Malabo" ; +lin Malawi_CName = mkCName "Malawi" ; +lin Malawian_kwacha_CName = mkCName "Malawin kwacha" ; +lin Malaysia_CName = mkCName "Malesia" ; +lin Malaysian_ringgit_CName = mkCName "Malesian ringgit" ; +lin Maldives_CName = mkCName "Malediivit" ; +lin Maldivian_rufiyaa_CName = mkCName "Malediivien rufiyaa" ; +lin Mali_CName = mkCName "Mali" ; +lin Malta_CName = mkCName "Malta" ; +lin Malé_CName = mkCName "Malé" ; +lin Managua_CName = mkCName "Managua" ; +lin Manama_CName = mkCName "Manama" ; +lin Manila_CName = mkCName "Manila" ; +lin Maputo_CName = mkCName "Maputo" ; +lin Marshall_Islands_CName = exCName (mkCName (mkNP thePl_Det (mkN "Marshallin" (mkN "saari" "saaria")))) ; +lin Maseru_CName = mkCName "Maseru" ; +lin Mauritania_CName = mkCName "Mauritania" ; +lin Mauritanian_ouguiya_CName = mkCName "Mauritanian ouguiya" ; +lin Mauritian_rupee_CName = mkCName "Mauritiuksen rupia" ; +lin Mauritius_CName = mkCName "Mauritius" ; +lin Mexican_peso_CName = mkCName "Meksikon peso" ; +lin Mexico_CName = mkCName "Meksiko" ; +lin Mexico_City_CName = mkCName "México" ; +lin Minsk_CName = mkCName "Minsk" ; +lin Mogadishu_CName = mkCName "Mogadishu" ; +lin Moldova_CName = mkCName "Moldova" ; +lin Moldovan_leu_CName = mkCName "Moldovan leu" ; +lin Monaco_CName = mkCName "Monaco" ; +lin Monaco_City_CName = mkCName "Monaco City" ; +lin Mongolia_CName = mkCName "Mongolia" ; +lin Monrovia_CName = mkCName "Monrovia" ; +lin Montenegro_CName = mkCName "Montenegro" ; +lin Montevideo_CName = mkCName "Montevideo" ; +lin Moroccan_dirham_CName = mkCName "Marokon dirhami" ; +lin Morocco_CName = mkCName "Marokko" ; +lin Moroni_CName = mkCName "Moroni" ; +lin Moscow_CName = mkCName "Moskova" ; +lin Mozambican_metical_CName = mkCName "Mosambikin metical" ; +lin Mozambique_CName = mkCName "Mosambik" ; +lin Muscat_CName = mkCName "Masqat" ; +lin Myanmar_CName = mkCName "Myanmar" ; +lin N'Djamena_CName = mkCName "N’Djamena" ; +lin Nairobi_CName = mkCName "Nairobi" ; +lin Namibia_CName = mkCName "Namibia" ; +lin Namibian_dollar_CName = mkCName "Namibian dollari" ; +lin Nassau_CName = mkCName "Nassau" ; +lin Nauru_CName = mkCName "Nauru" ; +lin Naypyidaw_CName = mkCName "Naypyidaw" ; +lin Nepal_CName = mkCName "Nepal" ; +lin Nepalese_rupee_CName = mkCName "Nepalin rupia" ; +lin New_Delhi_CName = mkCName "New Delhi" ; +lin New_Taiwan_dollar_CName = mkCName "Uusi Taiwanin dollari" ; +lin New_Zealand_CName = mkCName "Uusi-Seelanti" ; +lin New_Zealand_dollar_CName = mkCName "Uuden-Seelannin dollari" ; +lin Ngerulmud_CName = mkCName "Ngerulmud" ; +lin Niamey_CName = mkCName "Niamey" ; +lin Nicaragua_CName = mkCName "Nicaragua" ; +lin Nicaraguan_córdoba_CName = mkCName "Nicaraguan córdoba" ; +lin Nicosia_CName = mkCName "Nikosia" ; +lin Niger_CName = mkCName "Niger" ; +lin Nigeria_CName = mkCName "Nigeria" ; +lin Nigerian_naira_CName = mkCName "Nigerian naira" ; +lin North_Korea_CName = mkCName "Korean demokraattinen kansantasavalta" ; +lin North_Korean_won_CName = mkCName "Pohjois-Korean won" ; +lin North_Macedonia_CName = mkCName "Pohjois-Makedonia" ; +lin Norway_CName = mkCName "Norja" ; +lin Norwegian_krone_CName = mkCName "Norjan kruunu" ; +lin Nouakchott_CName = mkCName "Nouakchott" ; +lin Nuku'alofa_CName = mkCName "Nukuʻalofa" ; +lin Oman_CName = mkCName "Oman" ; +lin Omani_rial_CName = mkCName "Omanin rial" ; +lin Oslo_CName = mkCName "Oslo" ; +lin Ottawa_CName = mkCName "Ottawa" ; +lin Ouagadougou_CName = mkCName "Ouagadougou" ; +lin Pakistan_CName = mkCName "Pakistan" ; +lin Pakistani_rupee_CName = mkCName "Pakistanin rupia" ; +lin Palau_CName = mkCName "Palau" ; +lin Palikir_CName = mkCName "Palikir" ; +lin Panama_CName = mkCName "Panama" ; +lin Panama_City_CName = mkCName "Panamá" ; +lin Panamanian_balboa_CName = mkCName "Panaman balboa" ; +lin Papua_New_Guinea_CName = mkCName "Papua-Uusi-Guinea" ; +lin Paraguay_CName = mkCName "Paraguay" ; +lin Paraguayan_guaraní_CName = mkCName "Paraguayn guaraní" ; +lin Paramaribo_CName = mkCName "Paramaribo" ; +lin Paris_CName = mkCName "Pariisi" ; +lin People's_Republic_of_China_CName = mkCName "Kiina" ; +lin Peru_CName = mkCName "Peru" ; +lin Peruvian_sol_CName = mkCName "Perun nuevo sol" ; +lin Philippine_peso_CName = mkCName "Filippiinien peso" ; +lin Philippines_CName = mkCName "Filippiinit" ; +lin Phnom_Penh_CName = mkCName "Phnom Penh" ; +lin Podgorica_CName = mkCName "Podgorica" ; +lin Poland_CName = mkCName "Puola" ; +lin Port_Louis_CName = mkCName "Port Louis" ; +lin Port_Moresby_CName = mkCName "Port Moresby" ; +lin Port_Vila_CName = mkCName "Port Vila" ; +lin Port_of_Spain_CName = mkCName "Port of Spain" ; +lin Portugal_CName = mkCName "Portugali" ; +lin Prague_CName = mkCName "Praha" ; +lin Praia_CName = mkCName "Praia" ; +lin Pretoria_CName = mkCName "Pretoria" ; +lin Pyongyang_CName = mkCName "Pjongjang" ; +lin Qatar_CName = mkCName "Qatar" ; +lin Qatari_riyal_CName = mkCName "Qatarin rial" ; +lin Quito_CName = mkCName "Quito" ; +lin Rabat_CName = mkCName "Rabat" ; +lin Republic_of_the_Congo_CName = mkCName "Kongon tasavalta" ; +lin Reykjavík_CName = mkCName "Reykjavík" ; +lin Riga_CName = mkCName "Riika" ; +lin Riyadh_CName = mkCName "Riad" ; +lin Romania_CName = mkCName "Romania" ; +lin Romanian_leu_CName = mkCName "Romanian leu" ; +lin Rome_CName = mkCName "Rooma" ; +lin Roseau_CName = mkCName "Roseau" ; +lin Russia_CName = exCName (mkCName "Venäjä") ; +lin Russian_ruble_CName = mkCName "Venäjän rupla" ; +lin Rwanda_CName = mkCName "Ruanda" ; +lin Rwandan_franc_CName = mkCName "Ruandan frangi" ; +lin Saint_John's_CName = mkCName "St. John’s" ; +lin Saint_Kitts_and_Nevis_CName = mkCName "Saint Kitts ja Nevis" ; +lin Saint_Lucia_CName = mkCName "Saint Lucia" ; +lin Saint_Vincent_and_the_Grenadines_CName = mkCName "Saint Vincent ja Grenadiinit" ; +lin Samoa_CName = mkCName "Samoa" ; +lin 'Samoan_tālā_CName' = mkCName "Samoan tala" ; +lin San_José_CName = mkCName "San José" ; +lin San_Marino_CName = mkCName "San Marino" ; +lin San_Salvador_CName = mkCName "San Salvador" ; +lin Sanaa_CName = mkCName "Sanaa" ; +lin Santiago_CName = mkCName "Santiago de Chile" ; +lin Santo_Domingo_CName = mkCName "Santo Domingo" ; +lin Sarajevo_CName = mkCName "Sarajevo" ; +lin Saudi_Arabia_CName = mkCName "Saudi-Arabia" ; +lin Saudi_riyal_CName = mkCName "Saudi-Arabian rial" ; +lin Senegal_CName = mkCName "Senegal" ; +lin Seoul_CName = mkCName "Soul" ; +lin Serbia_CName = mkCName "Serbia" ; +lin Serbian_dinar_CName = mkCName "Serbian dinaari" ; +lin Seychelles_CName = mkCName "Seychellit" ; +lin Seychellois_rupee_CName = mkCName "Seychellien rupia" ; +lin Sierra_Leone_CName = mkCName "Sierra Leone" ; +lin Sierra_Leonean_leone_CName = mkCName "Sierra Leonen leone" ; +lin Singapore_CName = mkCName "Singapore" ; +lin Singapore_dollar_CName = mkCName "Singaporen dollari" ; +lin Skopje_CName = mkCName "Skopje" ; +lin Slovakia_CName = mkCName "Slovakia" ; +lin Slovenia_CName = mkCName "Slovenia" ; +lin Sofia_CName = mkCName "Sofia" ; +lin Solomon_Islands_CName = exCName (mkCName (mkNP thePl_Det (mkN "Salomon" (mkN "saari" "saaria")))) ; +lin Solomon_Islands_dollar_CName = mkCName "Salomonsaarten dollari" ; +lin Somali_shilling_CName = mkCName "Somalian šillinki" ; +lin Somalia_CName = mkCName "Somalia" ; +lin South_Africa_CName = mkCName (mkN "Etelä-Afrikka") ; +lin South_African_rand_CName = mkCName "Etelä-Afrikan randi" ; +lin South_Korea_CName = mkCName "Etelä-Korea" ; +lin South_Korean_won_CName = mkCName "Etelä-Korean won" ; +lin South_Sudan_CName = mkCName "Etelä-Sudan" ; +lin South_Sudanese_pound_CName = mkCName (mkN "Etelä-Sudanin punta") ; +lin South_Tarawa_CName = mkCName "South Tarawa" ; +lin Sovereign_Bolivar_CName = mkCName "Sovereign Bolivar" ; +lin Spain_CName = mkCName "Espanja" ; +lin Sri_Lanka_CName = mkCName "Sri Lanka" ; +lin Sri_Lankan_rupee_CName = mkCName "Sri Lankan rupia" ; +lin Stockholm_CName = mkCName "Tukholma" ; +lin Sudan_CName = mkCName "Sudan" ; +lin Sudanese_pound_CName = mkCName "Sudanin punta" ; +lin Suriname_CName = mkCName "Suriname" ; +lin Surinamese_dollar_CName = mkCName "Surinamen dollari" ; +lin Suva_CName = mkCName "Suva" ; +lin Sweden_CName = mkCName "Ruotsi" ; +lin Swedish_krona_CName = mkCName "Ruotsin kruunu" ; +lin Swiss_franc_CName = mkCName "Sveitsin frangi" ; +lin Switzerland_CName = mkCName "Sveitsi" ; +lin Syria_CName = mkCName "Syyria" ; +lin Syrian_pound_CName = mkCName "Syyrian punta" ; +lin São_Tomé_CName = mkCName "São Tomé" ; +lin São_Tomé_and_Príncipe_CName = mkCName "São Tomé ja Príncipe" ; +lin São_Tomé_and_Príncipe_dobra_CName = mkCName "São Tomén ja Príncipen dobra" ; +lin Taipei_CName = mkCName "Taipei" ; +lin Taiwan_CName = mkCName "Taiwan" ; +lin Tajikistan_CName = mkCName "Tadžikistan" ; +lin Tajikistani_somoni_CName = mkCName "Tadžikistanin somoni" ; +lin Tallinn_CName = mkCName "Tallinna" ; +lin Tanzania_CName = mkCName "Tansania" ; +lin Tanzanian_shilling_CName = mkCName "Tansanian šillinki" ; +lin Tashkent_CName = mkCName "Taškent" ; +lin Tbilisi_CName = mkCName "Tbilisi" ; +lin Tegucigalpa_CName = mkCName "Tegucigalpa" ; +lin Tehran_CName = mkCName "Teheran" ; +lin Thailand_CName = mkCName "Thaimaa" ; +lin The_Bahamas_CName = mkCName "Bahama" ; +lin The_Gambia_CName = mkCName "Gambia" ; +lin Thimphu_CName = mkCName "Thimphu" ; +lin Tirana_CName = mkCName "Tirana" ; +lin Togo_CName = mkCName "Togo" ; +lin Tokyo_CName = mkCName "Tokio" ; +lin Tonga_CName = mkCName "Tonga" ; +lin 'Tongan_paʻanga_CName' = mkCName "Tongan paʻanga" ; +lin Trinidad_and_Tobago_CName = mkCName "Trinidad ja Tobago" ; +lin Trinidad_and_Tobago_dollar_CName = mkCName "Trinidad ja Tobagon dollari" ; +lin Tripoli_CName = mkCName "Tripoli" ; +lin Tunis_CName = mkCName "Tunis" ; +lin Tunisia_CName = mkCName "Tunisia" ; +lin Tunisian_dinar_CName = mkCName "Tunisian dinaari" ; +lin Turkey_CName = mkCName (mkN "Turkki") ; +lin Turkish_lira_CName = mkCName "Turkin liira" ; +lin Turkmenistan_CName = mkCName "Turkmenistan" ; +lin Turkmenistan_manat_CName = mkCName "Turkmenistanin manat" ; +lin Tuvalu_CName = mkCName "Tuvalu" ; +lin Tuvaluan_dollar_CName = mkCName "Tuvalun dollari" ; +lin Uganda_CName = mkCName "Uganda" ; +lin Ugandan_shilling_CName = mkCName "Ugandan šillinki" ; +lin Ukraine_CName = mkCName "Ukraina" ; +lin Ulaanbaatar_CName = mkCName "Ulan Bator" ; +lin United_Arab_Emirates_CName = mkCName "Yhdistyneet arabiemiirikunnat" ; +lin United_Arab_Emirates_dirham_CName = mkCName "Yhdistyneiden arabiemiirikuntien dirhami" ; +lin United_Kingdom_CName = mkCName "Yhdistynyt kuningaskunta" ; +lin United_States_dollar_CName = mkCName "Yhdysvaltain dollari" ; +lin United_States_of_America_CName = sgCName (mkCName (mkNP thePl_Det (exceptPlGenN (mkN "Yhdysvalta") "Yhdysvaltain"))) ; +lin Uruguay_CName = mkCName "Uruguay" ; +lin Uruguayan_peso_CName = mkCName "Uruguayn peso" ; +lin Uzbekistan_CName = mkCName "Uzbekistan" ; +lin Uzbekistani_som_CName = mkCName "Uzbekistanin som" ; +lin Vaduz_CName = mkCName "Vaduz" ; +lin Valletta_CName = mkCName "Valletta" ; +lin Vanuatu_CName = mkCName "Vanuatu" ; +lin Vanuatu_vatus_CName = mkCName "Vanuatun vatu" ; +lin Venezuela_CName = mkCName "Venezuela" ; +lin Victoria_CName = mkCName "Victoria" ; +lin Vienna_CName = mkCName "Wien" ; +lin Vientiane_CName = mkCName "Vientiane" ; +lin Vietnam_CName = mkCName "Vietnam" ; +lin Vietnamese_dong_CName = mkCName "Vietnamin đồng" ; +lin Vilnius_CName = mkCName "Vilna" ; +lin Warsaw_CName = mkCName "Varsova" ; +lin Wellington_CName = mkCName "Wellington" ; +lin West_African_CFA_franc_CName = mkCName "West African CFA franc" ; +lin Windhoek_CName = mkCName "Windhoek" ; +lin Yamoussoukro_CName = mkCName "Yamoussoukro" ; +lin Yaoundé_CName = mkCName "Yaoundé" ; +lin Yaren_District_CName = mkCName "Yaren" ; +lin Yemen_CName = mkCName "Jemen" ; +lin Yemeni_rial_CName = mkCName "Jemenin rial" ; +lin Yerevan_CName = mkCName "Jerevan" ; +lin Zagreb_CName = mkCName "Zagreb" ; +lin Zambia_CName = mkCName "Sambia" ; +lin Zambian_kwacha_CName = mkCName "Sambian kwacha" ; +lin Zimbabwe_CName = mkCName "Zimbabwe" ; +lin ariary_CName = mkCName "Madagaskarin ariary" ; +lin baht_CName = mkCName "Baht" ; +lin birr_CName = mkCName "Etiopian birr" ; +lin boliviano_CName = mkCName "Bolivian boliviano" ; +lin convertible_mark_CName = mkCName "Bosnian ja Hertsegovinan vaihdettava markka" ; +lin dalasi_CName = mkCName "Dalasi" ; +lin denar_CName = mkCName "Makedonian denaari" ; +lin euro_CName = mkCName "euro" ; +lin forint_CName = mkCName "Unkarin forintti" ; +lin gourde_CName = mkCName "Haitin gourde" ; +lin hryvnia_CName = mkCName "Ukrainan hryvnia" ; +lin kina_CName = mkCName "Papua-Uuden-Guinean kina" ; +lin kwanza_CName = mkCName "Angolan kwanza" ; +lin kyat_CName = mkCName "Myanmarin kyat" ; +lin lilangeni_CName = mkCName "Lilangeni" ; +lin nakfa_CName = mkCName "Eritrean nakfa" ; +lin new_shekel_CName = mkCName "Uusi Israelin sekeli" ; +lin ngultrum_CName = mkCName "Bhutanin ngultrum" ; +lin pound_sterling_CName = mkCName "Englannin punta" ; +lin quetzal_CName = mkCName "Guatemalan quetzal" ; +lin renminbi_CName = mkCName "Renminbi" ; +lin riel_CName = mkCName "Kambodžan riel" ; +lin rupiah_CName = mkCName "Indonesian rupia" ; +lin tugrik_CName = mkCName "Mongolian tugrik" ; +lin 'złoty_CName' = mkCName "Puolan złoty" ; +} diff --git a/lab2/wikipedia/CountryNamesGer.gf b/lab2/wikipedia/CountryNamesGer.gf new file mode 100644 index 0000000..d4e07f4 --- /dev/null +++ b/lab2/wikipedia/CountryNamesGer.gf @@ -0,0 +1,550 @@ +concrete CountryNamesGer of CountryNames = + + open SyntaxGer, ParadigmsGer in { + +lincat CName = NP ; + +oper mkCName = overload { + mkCName : Str -> NP = \s -> mkNP (mkPN s) ; + mkCName : NP -> NP = \np -> np ; + } ; + +lin 'Guinea-Bissau_CName' = mkCName "Guinea-Bissau" ; +lin 'Nur-Sultan_CName' = mkCName "Nur-Sultan" ; +lin 'Port-au-Prince_CName' = mkCName "Port-au-Prince" ; +lin 'Porto-Novo_CName' = mkCName "Porto-Novo" ; +lin 'St._George\'s_CName' = mkCName "St. George’s" ; +lin 'Washington,_D.C._CName' = mkCName "Washington, D.C." ; +lin Abu_Dhabi_CName = mkCName "Abu Dhabi" ; +lin Abuja_CName = mkCName "Abuja" ; +lin Accra_CName = mkCName "Accra" ; +lin Addis_Ababa_CName = mkCName "Addis Abeba" ; +lin Afghan_afghani_CName = mkCName "Afghani" ; +lin Afghanistan_CName = mkCName "Afghanistan" ; +lin Africa_CName = mkCName "Afrika" ; +lin Albania_CName = mkCName "Albanien" ; +lin Albanian_lek_CName = mkCName "Albanischer Lek" ; +lin Algeria_CName = mkCName "Algerien" ; +lin Algerian_dinar_CName = mkCName "algerischer Dinar" ; +lin Algiers_CName = mkCName "Algier" ; +lin Amman_CName = mkCName "Amman" ; +lin Amsterdam_CName = mkCName "Amsterdam" ; +lin Andorra_CName = mkCName "Andorra" ; +lin Andorra_la_Vella_CName = mkCName "Andorra la Vella" ; +lin Angola_CName = mkCName "Angola" ; +lin Ankara_CName = mkCName "Ankara" ; +lin Antananarivo_CName = mkCName "Antananarivo" ; +lin Antigua_and_Barbuda_CName = mkCName "Antigua und Barbuda" ; +lin Apia_CName = mkCName "Apia" ; +lin Argentina_CName = mkCName "Argentinien" ; +lin Argentine_peso_CName = mkCName "argentinischer Peso" ; +lin Armenia_CName = mkCName "Armenien" ; +lin Armenian_dram_CName = mkCName "Dram" ; +lin Ashgabat_CName = mkCName "Aşgabat" ; +lin Asia_CName = mkCName "Asien" ; +lin Asmara_CName = mkCName "Asmara" ; +lin Asunción_CName = mkCName "Asunción" ; +lin Athens_CName = mkCName "Athen" ; +lin Australia_CName = mkCName "Australien" ; +lin Australian_dollar_CName = mkCName "Australischer Dollar" ; +lin Austria_CName = mkCName "Österreich" ; +lin Azerbaijan_CName = mkCName "Aserbaidschan" ; +lin Azerbaijani_manat_CName = mkCName "Aserbaidschan-Manat" ; +lin Baghdad_CName = mkCName "Bagdad" ; +lin Bahamian_dollar_CName = mkCName "Bahama-Dollar" ; +lin Bahrain_CName = mkCName "Bahrain" ; +lin Bahraini_dinar_CName = mkCName "Bahrain-Dinar" ; +lin Baku_CName = mkCName "Baku" ; +lin Bamako_CName = mkCName "Bamako" ; +lin Bandar_Seri_Begawan_CName = mkCName "Bandar Seri Begawan" ; +lin Bangkok_CName = mkCName "Bangkok" ; +lin Bangladesh_CName = mkCName "Bangladesch" ; +lin Bangladeshi_taka_CName = mkCName "Taka" ; +lin Bangui_CName = mkCName "Bangui" ; +lin Banjul_CName = mkCName "Banjul" ; +lin Barbadian_dollar_CName = mkCName "Barbados-Dollar" ; +lin Barbados_CName = mkCName "Barbados" ; +lin Basseterre_CName = mkCName "Basseterre" ; +lin Beijing_CName = mkCName "Peking" ; +lin Beirut_CName = mkCName "Beirut" ; +lin Belarus_CName = mkCName "Belarus" ; +lin Belarusian_ruble_CName = mkCName "weißrussischer Rubel" ; +lin Belgium_CName = mkCName "Belgien" ; +lin Belgrade_CName = mkCName "Belgrad" ; +lin Belize_CName = mkCName "Belize" ; +lin Belize_dollar_CName = mkCName "Belize-Dollar" ; +lin Belmopan_CName = mkCName "Belmopan" ; +lin Benin_CName = mkCName "Benin" ; +lin Berlin_CName = mkCName "Berlin" ; +lin Bern_CName = mkCName "Bern" ; +lin Bhutan_CName = mkCName "Bhutan" ; +lin Bishkek_CName = mkCName "Bischkek" ; +lin Bissau_CName = mkCName "Bissau" ; +lin Bogotá_CName = mkCName "Bogotá" ; +lin Bolivia_CName = mkCName "Bolivien" ; +lin Bosnia_and_Herzegovina_CName = mkCName "Bosnien und Herzegowina" ; +lin Botswana_CName = mkCName "Botswana" ; +lin Botswana_pula_CName = mkCName "botswanischer Pula" ; +lin Brasília_CName = mkCName "Brasília" ; +lin Bratislava_CName = mkCName "Bratislava" ; +lin Brazil_CName = mkCName "Brasilien" ; +lin Brazilian_real_CName = mkCName "brasilianischer Real" ; +lin Brazzaville_CName = mkCName "Brazzaville" ; +lin Bridgetown_CName = mkCName "Bridgetown" ; +lin Brunei_CName = mkCName "Brunei" ; +lin Brunei_dollar_CName = mkCName "Brunei-Dollar" ; +lin Bucharest_CName = mkCName "Bukarest" ; +lin Budapest_CName = mkCName "Budapest" ; +lin Buenos_Aires_CName = mkCName "Buenos Aires" ; +lin Bulgaria_CName = mkCName "Bulgarien" ; +lin Bulgarian_lev_CName = mkCName "Lew" ; +lin Burkina_Faso_CName = mkCName "Burkina Faso" ; +lin Burundi_CName = mkCName "Burundi" ; +lin Burundian_franc_CName = mkCName "Burundi-Franc" ; +lin Cairo_CName = mkCName "Kairo" ; +lin Cambodia_CName = mkCName "Kambodscha" ; +lin Cameroon_CName = mkCName "Kamerun" ; +lin Canada_CName = mkCName "Kanada" ; +lin Canadian_dollar_CName = mkCName "kanadischer Dollar" ; +lin Canberra_CName = mkCName "Canberra" ; +lin Cape_Verde_CName = mkCName "Kap Verde" ; +lin Cape_Verdean_escudo_CName = mkCName "Kap-Verde-Escudo" ; +lin Caracas_CName = mkCName "Caracas" ; +lin Castries_CName = mkCName "Castries" ; +lin Central_African_CFA_franc_CName = mkCName "CFA-Franc BEAC" ; +lin Central_African_Republic_CName = mkCName "Zentralafrikanische Republik" ; +lin Central_America_CName = mkCName "Zentralamerika" ; +lin Chad_CName = mkCName "Tschad" ; +lin Chile_CName = mkCName "Chile" ; +lin Chilean_peso_CName = mkCName "chilenischer Peso" ; +lin 'Chișinău_CName' = mkCName "Chișinău" ; +lin City_of_Brussels_CName = mkCName "Brüssel" ; +lin Colombia_CName = mkCName "Kolumbien" ; +lin Colombian_cincuenta_centavos_CName = mkCName "kolumbianischer Peso" ; +lin Colombo_CName = mkCName "Colombo" ; +lin Comorian_franc_CName = mkCName "Komoren-Franc" ; +lin Comoros_CName = mkCName "Komoren" ; +lin Conakry_CName = mkCName "Conakry" ; +lin Congolese_franc_CName = mkCName "Kongo-Franc" ; +lin Copenhagen_CName = mkCName "Kopenhagen" ; +lin Costa_Rica_CName = mkCName "Costa Rica" ; +lin Costa_Rican_colón_CName = mkCName "Costa-Rica-Colón" ; +lin Croatia_CName = mkCName "Kroatien" ; +lin Croatian_kuna_CName = mkCName "kroatische Kuna" ; +lin Cuba_CName = mkCName "Kuba" ; +lin Cuban_peso_CName = mkCName "kubanischer Peso" ; +lin Cyprus_CName = mkCName "Republik Zypern" ; +lin Czech_Republic_CName = mkCName "Tschechien" ; +lin Czech_koruna_CName = mkCName "tschechische Krone" ; +lin Dakar_CName = mkCName "Dakar" ; +lin Damascus_CName = mkCName "Damaskus" ; +lin Danish_krone_CName = mkCName "dänische Krone" ; +lin Democratic_Republic_of_the_Congo_CName = mkCName "Demokratische Republik Kongo" ; +lin Denmark_CName = mkCName "Dänemark" ; +lin Dhaka_CName = mkCName "Dhaka" ; +lin Dili_CName = mkCName "Dili" ; +lin Djibouti_CName = mkCName "Dschibuti" ; +lin Djiboutian_franc_CName = mkCName "Dschibuti-Franc" ; +lin Dodoma_CName = mkCName "Dodoma" ; +lin Doha_CName = mkCName "Doha" ; +lin Dominica_CName = mkCName "Dominica" ; +lin Dominican_Republic_CName = mkCName "Dominikanische Republik" ; +lin Dominican_peso_CName = mkCName "dominikanischer Peso" ; +lin Dublin_CName = mkCName "Dublin" ; +lin Dushanbe_CName = mkCName "Duschanbe" ; +lin East_Timor_CName = mkCName "Osttimor" ; +lin East_Timor_centavo_coins_CName = mkCName "East Timor centavo coins" ; +lin Eastern_Caribbean_dollar_CName = mkCName "Ostkaribischer Dollar" ; +lin Ecuador_CName = mkCName "Ecuador" ; +lin Egypt_CName = mkCName "Ägypten" ; +lin Egyptian_pound_CName = mkCName "ägyptisches Pfund" ; +lin El_Salvador_CName = mkCName "El Salvador" ; +lin Equatorial_Guinea_CName = mkCName "Äquatorialguinea" ; +lin Eritrea_CName = mkCName "Eritrea" ; +lin Estonia_CName = mkCName "Estland" ; +lin Eswatini_CName = mkCName "Eswatini" ; +lin Ethiopia_CName = mkCName "Äthiopien" ; +lin Europe_CName = mkCName "Europa" ; +lin Federated_States_of_Micronesia_CName = mkCName "Föderierte Staaten von Mikronesien" ; +lin Fiji_CName = mkCName "Fidschi" ; +lin Fijian_dollar_CName = mkCName "Fidschi-Dollar" ; +lin Finland_CName = mkCName "Finnland" ; +lin France_CName = mkCName "Frankreich" ; +lin Freetown_CName = mkCName "Freetown" ; +lin Funafuti_CName = mkCName "Funafuti" ; +lin Gabon_CName = mkCName "Gabun" ; +lin Gaborone_CName = mkCName "Gaborone" ; +lin Georgetown_CName = mkCName "Georgetown" ; +lin Georgia_CName = mkCName "Georgien" ; +lin Georgian_lari_CName = mkCName "georgischer Lari" ; +lin Germany_CName = mkCName "Deutschland" ; +lin Ghana_CName = mkCName "Ghana" ; +lin Ghana_cedi_CName = mkCName "Cedi" ; +lin Gitega_CName = mkCName "Gitega" ; +lin Greece_CName = mkCName "Griechenland" ; +lin Grenada_CName = mkCName "Grenada" ; +lin Guatemala_CName = mkCName "Guatemala" ; +lin Guatemala_City_CName = mkCName "Guatemala-Stadt" ; +lin Guinea_CName = mkCName "Guinea" ; +lin Guinean_franc_CName = mkCName "Franc Guinéen" ; +lin Guyana_CName = mkCName "Guyana" ; +lin Guyanese_dollar_CName = mkCName "Guyana-Dollar" ; +lin Haiti_CName = mkCName "Haiti" ; +lin Hanoi_CName = mkCName "Hanoi" ; +lin Harare_CName = mkCName "Harare" ; +lin Havana_CName = mkCName "Havanna" ; +lin Helsinki_CName = mkCName "Helsinki" ; +lin Honduran_lempira_CName = mkCName "Lempira" ; +lin Honduras_CName = mkCName "Honduras" ; +lin Honiara_CName = mkCName "Honiara" ; +lin Hungary_CName = mkCName "Ungarn" ; +lin Iceland_CName = mkCName "Island" ; +lin Icelandic_króna_CName = mkCName "isländische Krone" ; +lin India_CName = mkCName "Indien" ; +lin Indian_rupee_CName = mkCName "Indische Rupie" ; +lin Indonesia_CName = mkCName "Indonesien" ; +lin Iran_CName = mkCName "Iran" ; +lin Iranian_rial_CName = mkCName "iranischer Rial" ; +lin Iraq_CName = mkCName "Irak" ; +lin Iraqi_dinar_CName = mkCName "irakischer Dinar" ; +lin Ireland_CName = mkCName "Irland" ; +lin Islamabad_CName = mkCName "Islamabad" ; +lin Israel_CName = mkCName "Israel" ; +lin Italy_CName = mkCName "Italien" ; +lin Ivory_Coast_CName = mkCName "Elfenbeinküste" ; +lin Jakarta_CName = mkCName "Jakarta" ; +lin Jamaica_CName = mkCName "Jamaika" ; +lin Jamaican_dollar_CName = mkCName "Jamaika-Dollar" ; +lin Japan_CName = mkCName "Japan" ; +lin Japanese_yen_CName = mkCName "Yen" ; +lin Jerusalem_CName = mkCName "Jerusalem" ; +lin Jordan_CName = mkCName "Jordanien" ; +lin Jordanian_dinar_CName = mkCName "jordanischer Dinar" ; +lin Juba_CName = mkCName "Juba" ; +lin Kabul_CName = mkCName "Kabul" ; +lin Kampala_CName = mkCName "Kampala" ; +lin Kathmandu_CName = mkCName "Kathmandu" ; +lin Kazakhstan_CName = mkCName "Kasachstan" ; +lin Kazakhstani_tenge_CName = mkCName "Tenge" ; +lin Kenya_CName = mkCName "Kenia" ; +lin Kenyan_shilling_CName = mkCName "Kenia-Schilling" ; +lin Khartoum_CName = mkCName "Khartum" ; +lin Kigali_CName = mkCName "Kigali" ; +lin Kingdom_of_the_Netherlands_CName = mkCName "Königreich der Niederlande" ; +lin Kingston_CName = mkCName "Kingston" ; +lin Kingstown_CName = mkCName "Kingstown" ; +lin Kinshasa_CName = mkCName "Kinshasa" ; +lin Kiribati_CName = mkCName "Kiribati" ; +lin Kiribati_dollar_CName = mkCName "Kiribati dollar" ; +lin Kuala_Lumpur_CName = mkCName "Kuala Lumpur" ; +lin Kuwait_CName = mkCName "Kuwait" ; +lin Kuwait_City_CName = mkCName "Kuwait" ; +lin Kuwaiti_dinar_CName = mkCName "Kuwait-Dinar" ; +lin Kyiv_CName = mkCName "Kiew" ; +lin Kyrgyzstan_CName = mkCName "Kirgisistan" ; +lin Kyrgyzstani_som_CName = mkCName "Som" ; +lin La_Paz_CName = mkCName "La Paz" ; +lin Lao_kip_CName = mkCName "Kip" ; +lin Laos_CName = mkCName "Laos" ; +lin Latvia_CName = mkCName "Lettland" ; +lin Lebanese_pound_CName = mkCName "libanesisches Pfund" ; +lin Lebanon_CName = mkCName "Libanon" ; +lin Lesotho_CName = mkCName "Lesotho" ; +lin Lesotho_loti_CName = mkCName "Lesothischer Loti" ; +lin Liberia_CName = mkCName "Liberia" ; +lin Liberian_dollar_CName = mkCName "Liberianischer Dollar" ; +lin Libreville_CName = mkCName "Libreville" ; +lin Libya_CName = mkCName "Libyen" ; +lin Libyan_dinar_CName = mkCName "libyscher Dinar" ; +lin Liechtenstein_CName = mkCName "Liechtenstein" ; +lin Lilongwe_CName = mkCName "Lilongwe" ; +lin Lima_CName = mkCName "Lima" ; +lin Lisbon_CName = mkCName "Lissabon" ; +lin Lithuania_CName = mkCName "Litauen" ; +lin Ljubljana_CName = mkCName "Ljubljana" ; +lin Lobamba_CName = mkCName "Lobamba" ; +lin Lomé_CName = mkCName "Lomé" ; +lin London_CName = mkCName "London" ; +lin Luanda_CName = mkCName "Luanda" ; +lin Lusaka_CName = mkCName "Lusaka" ; +lin Luxembourg_CName = mkCName "Luxemburg" ; +lin Madagascar_CName = mkCName "Madagaskar" ; +lin Madrid_CName = mkCName "Madrid" ; +lin Majuro_CName = mkCName "Majuro" ; +lin Malabo_CName = mkCName "Malabo" ; +lin Malawi_CName = mkCName "Malawi" ; +lin Malawian_kwacha_CName = mkCName "Malawi-Kwacha" ; +lin Malaysia_CName = mkCName "Malaysia" ; +lin Malaysian_ringgit_CName = mkCName "Ringgit" ; +lin Maldives_CName = mkCName "Malediven" ; +lin Maldivian_rufiyaa_CName = mkCName "Rufiyaa" ; +lin Mali_CName = mkCName "Mali" ; +lin Malta_CName = mkCName "Malta" ; +lin Malé_CName = mkCName "Malé" ; +lin Managua_CName = mkCName "Managua" ; +lin Manama_CName = mkCName "Manama" ; +lin Manila_CName = mkCName "Manila" ; +lin Maputo_CName = mkCName "Maputo" ; +lin Marshall_Islands_CName = mkCName "Marshallinseln" ; +lin Maseru_CName = mkCName "Maseru" ; +lin Mauritania_CName = mkCName "Mauretanien" ; +lin Mauritanian_ouguiya_CName = mkCName "Ouguiya" ; +lin Mauritian_rupee_CName = mkCName "Mauritius-Rupie" ; +lin Mauritius_CName = mkCName "Mauritius" ; +lin Mexican_peso_CName = mkCName "Mexikanischer Peso" ; +lin Mexico_CName = mkCName "Mexiko" ; +lin Mexico_City_CName = mkCName "Mexiko-Stadt" ; +lin Minsk_CName = mkCName "Minsk" ; +lin Mogadishu_CName = mkCName "Mogadischu" ; +lin Moldova_CName = mkCName "Republik Moldau" ; +lin Moldovan_leu_CName = mkCName "moldauischer Leu" ; +lin Monaco_CName = mkCName "Monaco" ; +lin Monaco_City_CName = mkCName "Monaco City" ; +lin Mongolia_CName = mkCName "Mongolei" ; +lin Monrovia_CName = mkCName "Monrovia" ; +lin Montenegro_CName = mkCName "Montenegro" ; +lin Montevideo_CName = mkCName "Montevideo" ; +lin Moroccan_dirham_CName = mkCName "Marokkanischer Dirham" ; +lin Morocco_CName = mkCName "Marokko" ; +lin Moroni_CName = mkCName "Moroni" ; +lin Moscow_CName = mkCName "Moskau" ; +lin Mozambican_metical_CName = mkCName "Metical" ; +lin Mozambique_CName = mkCName "Mosambik" ; +lin Muscat_CName = mkCName "Maskat" ; +lin Myanmar_CName = mkCName "Myanmar" ; +lin N'Djamena_CName = mkCName "N’Djamena" ; +lin Nairobi_CName = mkCName "Nairobi" ; +lin Namibia_CName = mkCName "Namibia" ; +lin Namibian_dollar_CName = mkCName "Namibia-Dollar" ; +lin Nassau_CName = mkCName "Nassau" ; +lin Nauru_CName = mkCName "Nauru" ; +lin Naypyidaw_CName = mkCName "Naypyidaw" ; +lin Nepal_CName = mkCName "Nepal" ; +lin Nepalese_rupee_CName = mkCName "Nepalesische Rupie" ; +lin New_Delhi_CName = mkCName "Neu-Delhi" ; +lin New_Taiwan_dollar_CName = mkCName "Neuer Taiwan-Dollar" ; +lin New_Zealand_CName = mkCName "Neuseeland" ; +lin New_Zealand_dollar_CName = mkCName "Neuseeland-Dollar" ; +lin Ngerulmud_CName = mkCName "Ngerulmud" ; +lin Niamey_CName = mkCName "Niamey" ; +lin Nicaragua_CName = mkCName "Nicaragua" ; +lin Nicaraguan_córdoba_CName = mkCName "Córdoba Oro" ; +lin Nicosia_CName = mkCName "Nikosia" ; +lin Niger_CName = mkCName "Niger" ; +lin Nigeria_CName = mkCName "Nigeria" ; +lin Nigerian_naira_CName = mkCName "Naira" ; +lin North_America_CName = mkCName "Nordamerika" ; +lin North_Korea_CName = mkCName "Nordkorea" ; +lin North_Korean_won_CName = mkCName "nordkoreanischer Won" ; +lin North_Macedonia_CName = mkCName "Nordmazedonien" ; +lin Norway_CName = mkCName "Norwegen" ; +lin Norwegian_krone_CName = mkCName "norwegische Krone" ; +lin Nouakchott_CName = mkCName "Nouakchott" ; +lin Nuku'alofa_CName = mkCName "Nukuʻalofa" ; +lin Oman_CName = mkCName "Oman" ; +lin Omani_rial_CName = mkCName "Omanischer Rial" ; +lin Oslo_CName = mkCName "Oslo" ; +lin Ottawa_CName = mkCName "Ottawa" ; +lin Ouagadougou_CName = mkCName "Ouagadougou" ; +lin Pakistan_CName = mkCName "Pakistan" ; +lin Pakistani_rupee_CName = mkCName "pakistanische Rupie" ; +lin Palau_CName = mkCName "Palau" ; +lin Palikir_CName = mkCName "Palikir" ; +lin Panama_CName = mkCName "Panama" ; +lin Panama_City_CName = mkCName "Panama-Stadt" ; +lin Panamanian_balboa_CName = mkCName "Panamaischer Balboa" ; +lin Papua_New_Guinea_CName = mkCName "Papua-Neuguinea" ; +lin Paraguay_CName = mkCName "Paraguay" ; +lin Paraguayan_guaraní_CName = mkCName "Paraguayischer Guaraní" ; +lin Paramaribo_CName = mkCName "Paramaribo" ; +lin Paris_CName = mkCName "Paris" ; +lin People's_Republic_of_China_CName = mkCName "Volksrepublik China" ; +lin Peru_CName = mkCName "Peru" ; +lin Peruvian_sol_CName = mkCName "Nuevo Sol" ; +lin Philippine_peso_CName = mkCName "philippinischer Peso" ; +lin Philippines_CName = mkCName "Philippinen" ; +lin Phnom_Penh_CName = mkCName "Phnom Penh" ; +lin Podgorica_CName = mkCName "Podgorica" ; +lin Poland_CName = mkCName "Polen" ; +lin Port_Louis_CName = mkCName "Port Louis" ; +lin Port_Moresby_CName = mkCName "Port Moresby" ; +lin Port_Vila_CName = mkCName "Port Vila" ; +lin Port_of_Spain_CName = mkCName "Port of Spain" ; +lin Portugal_CName = mkCName "Portugal" ; +lin Prague_CName = mkCName "Prag" ; +lin Praia_CName = mkCName "Praia" ; +lin Pretoria_CName = mkCName "Pretoria" ; +lin Pyongyang_CName = mkCName "Pjöngjang" ; +lin Qatar_CName = mkCName "Katar" ; +lin Qatari_riyal_CName = mkCName "Katar-Riyal" ; +lin Quito_CName = mkCName "Quito" ; +lin Rabat_CName = mkCName "Rabat" ; +lin Republic_of_the_Congo_CName = mkCName "Republik Kongo" ; +lin Reykjavík_CName = mkCName "Reykjavík" ; +lin Riga_CName = mkCName "Riga" ; +lin Riyadh_CName = mkCName "Riad" ; +lin Romania_CName = mkCName "Rumänien" ; +lin Romanian_leu_CName = mkCName "rumänischer Leu" ; +lin Rome_CName = mkCName "Rom" ; +lin Roseau_CName = mkCName "Roseau" ; +lin Russia_CName = mkCName "Russland" ; +lin Russian_ruble_CName = mkCName "russischer Rubel" ; +lin Rwanda_CName = mkCName "Ruanda" ; +lin Rwandan_franc_CName = mkCName "Ruanda-Franc" ; +lin Saint_John's_CName = mkCName "Saint John’s" ; +lin Saint_Kitts_and_Nevis_CName = mkCName "St. Kitts und Nevis" ; +lin Saint_Lucia_CName = mkCName "St. Lucia" ; +lin Saint_Vincent_and_the_Grenadines_CName = mkCName "St. Vincent und die Grenadinen" ; +lin Samoa_CName = mkCName "Samoa" ; +lin 'Samoan_tālā_CName' = mkCName "samoanischer Tala" ; +lin San_José_CName = mkCName "San José" ; +lin San_Marino_CName = mkCName "San Marino" ; +lin San_Salvador_CName = mkCName "San Salvador" ; +lin Sanaa_CName = mkCName "Sanaa" ; +lin Santiago_CName = mkCName "Santiago de Chile" ; +lin Santo_Domingo_CName = mkCName "Santo Domingo" ; +lin Sarajevo_CName = mkCName "Sarajevo" ; +lin Saudi_Arabia_CName = mkCName "Saudi-Arabien" ; +lin Saudi_riyal_CName = mkCName "Saudi-Rial" ; +lin Senegal_CName = mkCName "Senegal" ; +lin Seoul_CName = mkCName "Seoul" ; +lin Serbia_CName = mkCName "Serbien" ; +lin Serbian_dinar_CName = mkCName "serbischer Dinar" ; +lin Seychelles_CName = mkCName "Seychellen" ; +lin Seychellois_rupee_CName = mkCName "Seychellen-Rupie" ; +lin Sierra_Leone_CName = mkCName "Sierra Leone" ; +lin Sierra_Leonean_leone_CName = mkCName "Sierra-leonischer Leone" ; +lin Singapore_CName = mkCName "Singapur" ; +lin Singapore_dollar_CName = mkCName "Singapur-Dollar" ; +lin Skopje_CName = mkCName "Skopje" ; +lin Slovakia_CName = mkCName "Slowakei" ; +lin Slovenia_CName = mkCName "Slowenien" ; +lin Sofia_CName = mkCName "Sofia" ; +lin Solomon_Islands_CName = mkCName "Salomonen" ; +lin Solomon_Islands_dollar_CName = mkCName "Salomonen-Dollar" ; +lin Somali_shilling_CName = mkCName "Somalia-Schilling" ; +lin Somalia_CName = mkCName "Somalia" ; +lin South_Africa_CName = mkCName "Südafrika" ; +lin South_African_rand_CName = mkCName "südafrikanischer Rand" ; +lin South_America_CName = mkCName "Südamerika" ; +lin South_Korea_CName = mkCName "Südkorea" ; +lin South_Korean_won_CName = mkCName "Südkoreanischer Won" ; +lin South_Sudan_CName = mkCName "Südsudan" ; +lin South_Sudanese_pound_CName = mkCName "südsudanesisches Pfund" ; +lin South_Tarawa_CName = mkCName "South Tarawa" ; +lin Sovereign_Bolivar_CName = mkCName "Sovereign Bolivar" ; +lin Spain_CName = mkCName "Spanien" ; +lin Sri_Lanka_CName = mkCName "Sri Lanka" ; +lin Sri_Lankan_rupee_CName = mkCName "Sri-Lanka-Rupie" ; +lin Stockholm_CName = mkCName "Stockholm" ; +lin Sudan_CName = mkCName "Sudan" ; +lin Sudanese_pound_CName = mkCName "sudanesisches Pfund" ; +lin Suriname_CName = mkCName "Suriname" ; +lin Surinamese_dollar_CName = mkCName "Suriname-Dollar" ; +lin Suva_CName = mkCName "Suva" ; +lin Sweden_CName = mkCName "Schweden" ; +lin Swedish_krona_CName = mkCName "schwedische Krone" ; +lin Swiss_franc_CName = mkCName "Schweizer Franken" ; +lin Switzerland_CName = mkCName (mkNP the_Det (mkN "Schweiz" feminine)) ; +lin Syria_CName = mkCName "Syrien" ; +lin Syrian_pound_CName = mkCName "syrische Lira" ; +lin São_Tomé_CName = mkCName "São Tomé" ; +lin São_Tomé_and_Príncipe_CName = mkCName "São Tomé und Príncipe" ; +lin São_Tomé_and_Príncipe_dobra_CName = mkCName "São-toméischer Dobra" ; +lin Taipei_CName = mkCName "Taipeh" ; +lin Taiwan_CName = mkCName "Republik China" ; +lin Tajikistan_CName = mkCName "Tadschikistan" ; +lin Tajikistani_somoni_CName = mkCName "Somoni" ; +lin Tallinn_CName = mkCName "Tallinn" ; +lin Tanzania_CName = mkCName "Tansania" ; +lin Tanzanian_shilling_CName = mkCName "Tansania-Schilling" ; +lin Tashkent_CName = mkCName "Taschkent" ; +lin Tbilisi_CName = mkCName "Tiflis" ; +lin Tegucigalpa_CName = mkCName "Tegucigalpa" ; +lin Tehran_CName = mkCName "Teheran" ; +lin Thailand_CName = mkCName "Thailand" ; +lin The_Bahamas_CName = mkCName "Bahamas" ; +lin The_Gambia_CName = mkCName "Gambia" ; +lin Thimphu_CName = mkCName "Thimphu" ; +lin Tirana_CName = mkCName "Tirana" ; +lin Togo_CName = mkCName "Togo" ; +lin Tokyo_CName = mkCName "Tokio" ; +lin Tonga_CName = mkCName "Tonga" ; +lin 'Tongan_paʻanga_CName' = mkCName "Paʻanga" ; +lin Trinidad_and_Tobago_CName = mkCName "Trinidad und Tobago" ; +lin Trinidad_and_Tobago_dollar_CName = mkCName "Trinidad-und-Tobago-Dollar" ; +lin Tripoli_CName = mkCName "Tripolis" ; +lin Tunis_CName = mkCName "Tunis" ; +lin Tunisia_CName = mkCName "Tunesien" ; +lin Tunisian_dinar_CName = mkCName "tunesischer Dinar" ; +lin Turkey_CName = mkCName "Türkei" ; +lin Turkish_lira_CName = mkCName "türkische Lira" ; +lin Turkmenistan_CName = mkCName "Turkmenistan" ; +lin Turkmenistan_manat_CName = mkCName "Turkmenistan-Manat" ; +lin Tuvalu_CName = mkCName "Tuvalu" ; +lin Tuvaluan_dollar_CName = mkCName "Tuvaluischer Dollar" ; +lin Uganda_CName = mkCName "Uganda" ; +lin Ugandan_shilling_CName = mkCName "Uganda-Schilling" ; +lin Ukraine_CName = mkCName "Ukraine" ; +lin Ulaanbaatar_CName = mkCName "Ulaanbaatar" ; +lin United_Arab_Emirates_CName = mkCName "Vereinigte Arabische Emirate" ; +lin United_Arab_Emirates_dirham_CName = mkCName "VAE-Dirham" ; +lin United_Kingdom_CName = mkCName (mkNP the_Det (mkCN (mkA "Vereinigt") (mkN "Königreich" neuter))) ; +lin United_States_dollar_CName = mkCName "US-Dollar" ; +lin United_States_of_America_CName = mkCName (mkNP thePl_Det (mkCN (mkA "Vereinigt") (mkN "Staat" "Staaten" masculine))) ; +lin Uruguay_CName = mkCName "Uruguay" ; +lin Uruguayan_peso_CName = mkCName "uruguayischer Peso" ; +lin Uzbekistan_CName = mkCName "Usbekistan" ; +lin Uzbekistani_som_CName = mkCName "Soʻm" ; +lin Vaduz_CName = mkCName "Vaduz" ; +lin Valletta_CName = mkCName "Valletta" ; +lin Vanuatu_CName = mkCName "Vanuatu" ; +lin Vanuatu_vatus_CName = mkCName "Vatu" ; +lin Venezuela_CName = mkCName "Venezuela" ; +lin Victoria_CName = mkCName "Victoria" ; +lin Vienna_CName = mkCName "Wien" ; +lin Vientiane_CName = mkCName "Vientiane" ; +lin Vietnam_CName = mkCName "Vietnam" ; +lin Vietnamese_dong_CName = mkCName "vietnamesischer Đồng" ; +lin Vilnius_CName = mkCName "Vilnius" ; +lin Warsaw_CName = mkCName "Warschau" ; +lin Wellington_CName = mkCName "Wellington" ; +lin West_African_CFA_franc_CName = mkCName "West African CFA franc" ; +lin Windhoek_CName = mkCName "Windhoek" ; +lin Yamoussoukro_CName = mkCName "Yamoussoukro" ; +lin Yaoundé_CName = mkCName "Yaoundé" ; +lin Yaren_District_CName = mkCName "Yaren" ; +lin Yemen_CName = mkCName "Jemen" ; +lin Yemeni_rial_CName = mkCName "Jemen-Rial" ; +lin Yerevan_CName = mkCName "Jerewan" ; +lin Zagreb_CName = mkCName "Zagreb" ; +lin Zambia_CName = mkCName "Sambia" ; +lin Zambian_kwacha_CName = mkCName "sambischer Kwacha" ; +lin Zimbabwe_CName = mkCName "Simbabwe" ; +lin ariary_CName = mkCName "Ariary" ; +lin baht_CName = mkCName "Baht" ; +lin birr_CName = mkCName "Äthiopischer Birr" ; +lin boliviano_CName = mkCName "Boliviano" ; +lin convertible_mark_CName = mkCName "konvertible Mark" ; +lin dalasi_CName = mkCName "Dalasi" ; +lin denar_CName = mkCName "nordmazedonischer Denar" ; +lin euro_CName = mkCName "Euro" ; +lin forint_CName = mkCName "Forint" ; +lin gourde_CName = mkCName "Gourde" ; +lin hryvnia_CName = mkCName "Hrywnja" ; +lin insular_Oceania_CName = mkCName "Ozeanien" ; +lin kina_CName = mkCName "Kina" ; +lin kwanza_CName = mkCName "Kwanza" ; +lin kyat_CName = mkCName "Kyat" ; +lin lilangeni_CName = mkCName "Lilangeni" ; +lin nakfa_CName = mkCName "eritreischer Nakfa" ; +lin new_shekel_CName = mkCName "Schekel" ; +lin ngultrum_CName = mkCName "Ngultrum" ; +lin pound_sterling_CName = mkCName "Pfund Sterling" ; +lin quetzal_CName = mkCName "Guatemaltekischer Quetzal" ; +lin renminbi_CName = mkCName "Renminbi" ; +lin riel_CName = mkCName "Kambodschanischer Riel" ; +lin rupiah_CName = mkCName "indonesische Rupiah" ; +lin tugrik_CName = mkCName "Tögrög" ; +lin 'złoty_CName' = mkCName "Złoty" ; +} \ No newline at end of file diff --git a/lab2/wikipedia/CountryNamesSwe.gf b/lab2/wikipedia/CountryNamesSwe.gf new file mode 100644 index 0000000..01031b2 --- /dev/null +++ b/lab2/wikipedia/CountryNamesSwe.gf @@ -0,0 +1,556 @@ +concrete CountryNamesSwe of CountryNames = + + open SyntaxSwe, ParadigmsSwe, Prelude in { + +lincat CName = LocName ; + +oper LocName = {np : NP ; isIn : Bool} ; + +oper mkCName = overload { + mkCName : Str -> LocName = \s -> {np = mkNP (mkPN s neutrum) ; isIn = True} ; + mkCName : N -> LocName = \n -> {np = mkNP n ; isIn = True} ; + mkCName : NP -> LocName = \np -> {np = np ; isIn = True} ; + } ; + + exCName : LocName -> LocName = \name -> name ** {isIn = False} ; + sgCName : LocName -> LocName = \name -> name ; ---- ** {np = forceNumberNP singular name.np} ; + +lin Afghanistan_CName = mkCName "Afghanistan" ; +lin Afghan_afghani_CName = mkCName "afghani" ; +lin Kabul_CName = mkCName "Kabul" ; +lin Sudanese_pound_CName = mkCName "Sudanesiskt pund" ; +lin Costa_Rican_colón_CName = mkCName "Costaricansk colón" ; +lin Taiwan_CName = mkCName "Taiwan" ; +lin Niger_CName = mkCName "Niger" ; +lin Amsterdam_CName = mkCName "Amsterdam" ; +lin Austria_CName = mkCName "Österrike" ; +lin Morocco_CName = mkCName "Marocko" ; +lin Kiribati_dollar_CName = mkCName "Kiribati dollar" ; +lin Bahraini_dinar_CName = mkCName "Bahrainsk dinar" ; +lin Ghana_CName = mkCName "Ghana" ; +lin Pakistani_rupee_CName = mkCName "Pakistansk rupee" ; +lin Indian_rupee_CName = mkCName "Indisk rupee" ; +lin Bucharest_CName = mkCName "Bukarest" ; +lin Marshall_Islands_CName = mkCName "Marshallöarna" ; +lin Basseterre_CName = mkCName "Basseterre" ; +lin Addis_Ababa_CName = mkCName "Addis Abeba" ; +lin Mexico_CName = mkCName "Mexiko" ; +lin nakfa_CName = mkCName "Nakfa" ; +lin Cairo_CName = mkCName "Kairo" ; +lin Ethiopia_CName = mkCName "Etiopien" ; +lin North_America_CName = mkCName "Nordamerika" ; +lin Valletta_CName = mkCName "Valletta" ; +lin Argentine_peso_CName = mkCName "Argentinsk peso" ; +lin Kuwait_City_CName = mkCName "Kuwait" ; +lin Palau_CName = mkCName "Palau" ; +lin Baku_CName = mkCName "Baku" ; +lin Tirana_CName = mkCName "Tirana" ; +lin Copenhagen_CName = mkCName "Köpenhamn" ; +lin Damascus_CName = mkCName "Damaskus" ; +lin Costa_Rica_CName = mkCName "Costa Rica" ; +lin Israel_CName = mkCName "Israel" ; +lin Mozambique_CName = mkCName "Moçambique" ; +lin Victoria_CName = mkCName "Victoria" ; +lin East_Timor_centavo_coins_CName = mkCName "East Timor centavo coins" ; +lin Omani_rial_CName = mkCName "Omansk rial" ; +lin Kingstown_CName = mkCName "Kingstown" ; +lin Yaoundé_CName = mkCName "Yaoundé" ; +lin Slovenia_CName = mkCName "Slovenien" ; +lin Mali_CName = mkCName "Mali" ; +lin Cuba_CName = mkCName "Kuba" ; +lin Wellington_CName = mkCName "Wellington" ; +lin East_Timor_CName = mkCName "Östtimor" ; +lin quetzal_CName = mkCName "Quetzal" ; +lin South_Sudan_CName = mkCName "Sydsudan" ; +lin Turkey_CName = mkCName "Turkiet" ; +lin Algiers_CName = mkCName "Alger" ; +lin Jamaican_dollar_CName = mkCName "Jamaicansk dollar" ; +lin Nassau_CName = mkCName "Nassau" ; +lin Prague_CName = mkCName "Prag" ; +lin Spain_CName = mkCName "Spanien" ; +lin Serbian_dinar_CName = mkCName "Serbisk dinar" ; +lin Montevideo_CName = mkCName "Montevideo" ; +lin Sarajevo_CName = mkCName "Sarajevo" ; +lin Paris_CName = mkCName "Paris" ; +lin Luanda_CName = mkCName "Luanda" ; +lin Indonesia_CName = mkCName "Indonesien" ; +lin Seychelles_CName = mkCName "Seychellerna" ; +lin Madrid_CName = mkCName "Madrid" ; +lin Yaren_District_CName = mkCName "Yaren" ; +lin Pretoria_CName = mkCName "Pretoria" ; +lin Liberian_dollar_CName = mkCName "Liberiansk dollar" ; +lin Vietnam_CName = mkCName "Vietnam" ; +lin Tunisian_dinar_CName = mkCName "Tunisisk dinar" ; +lin Nicaragua_CName = mkCName "Nicaragua" ; +lin Taipei_CName = mkCName "Taipei" ; +lin Lithuania_CName = mkCName "Litauen" ; +lin Moroni_CName = mkCName "Moroni" ; +lin Nairobi_CName = mkCName "Nairobi" ; +lin United_Arab_Emirates_dirham_CName = mkCName "Emiratisk dirham" ; +lin Maldives_CName = mkCName "Maldiverna" ; +lin Swiss_franc_CName = mkCName "schweizisk franc" ; +lin Ghana_cedi_CName = mkCName "Ghana Cedi" ; +lin Bulgaria_CName = mkCName "Bulgarien" ; +lin Tonga_CName = mkCName "Tonga" ; +lin Maldivian_rufiyaa_CName = mkCName "Maldivisk rufiyah" ; +lin Zimbabwe_CName = mkCName "Zimbabwe" ; +lin Kenya_CName = mkCName "Kenya" ; +lin Madagascar_CName = mkCName "Madagaskar" ; +lin Bangui_CName = mkCName "Bangui" ; +lin Thimphu_CName = mkCName "Thimphu" ; +lin Phnom_Penh_CName = mkCName "Phnom Penh" ; +lin Moscow_CName = mkCName "Moskva" ; +lin São_Tomé_CName = mkCName "São Tomé" ; +lin Fiji_CName = mkCName "Fiji" ; +lin Lesotho_CName = mkCName "Lesotho" ; +lin Philippines_CName = mkCName "Filippinerna" ; +lin Barbadian_dollar_CName = mkCName "Barbadisk dollar" ; +lin Philippine_peso_CName = mkCName "Filippinsk peso" ; +lin Havana_CName = mkCName "Havanna" ; +lin 'złoty_CName' = mkCName "Złoty" ; +lin hryvnia_CName = mkCName "Hryvnja" ; +lin Port_Louis_CName = mkCName "Port Louis" ; +lin Dodoma_CName = mkCName "Dodoma" ; +lin Comoros_CName = mkCName "Komorerna" ; +lin Comorian_franc_CName = mkCName "Komoransk franc" ; +lin Buenos_Aires_CName = mkCName "Buenos Aires" ; +lin Russian_ruble_CName = mkCName "rysk rubel" ; +lin Ivory_Coast_CName = mkCName "Elfenbenskusten" ; +lin Oslo_CName = mkCName "Oslo" ; +lin North_Korea_CName = mkCName "Nordkorea" ; +lin Conakry_CName = mkCName "Conakry" ; +lin Abuja_CName = mkCName "Abuja" ; +lin Lomé_CName = mkCName "Lomé" ; +lin ariary_CName = mkCName "Madagaskisk ariary" ; +lin Iceland_CName = mkCName "Island" ; +lin Rabat_CName = mkCName "Rabat" ; +lin Yemeni_rial_CName = mkCName "Jemenitisk rial" ; +lin Dakar_CName = mkCName "Dakar" ; +lin Tunisia_CName = mkCName "Tunisien" ; +lin N'Djamena_CName = mkCName "N'Djamena" ; +lin Apia_CName = mkCName "Apia" ; +lin tugrik_CName = mkCName "Mongolisk Tögrög" ; +lin Sudan_CName = mkCName "Sudan" ; +lin Italy_CName = mkCName "Italien" ; +lin Maseru_CName = mkCName "Maseru" ; +lin Montenegro_CName = mkCName "Montenegro" ; +lin Syria_CName = mkCName "Syrien" ; +lin La_Paz_CName = mkCName "La Paz" ; +lin 'Guinea-Bissau_CName' = mkCName "Guinea-Bissau" ; +lin Seoul_CName = mkCName "Seoul" ; +lin Canadian_dollar_CName = mkCName "kanadensisk dollar" ; +lin North_Macedonia_CName = mkCName "Nordmakedonien" ; +lin Kuwait_CName = mkCName "Kuwait" ; +lin New_Zealand_dollar_CName = mkCName "Nyzeeländsk dollar" ; +lin Kenyan_shilling_CName = mkCName "Kenyansk shilling" ; +lin Amman_CName = mkCName "Amman" ; +lin rupiah_CName = mkCName "Rupiah" ; +lin Vilnius_CName = mkCName "Vilnius" ; +lin Zagreb_CName = mkCName "Zagreb" ; +lin Uganda_CName = mkCName "Uganda" ; +lin Nigerian_naira_CName = mkCName "Nigeriansk naira" ; +lin Burundi_CName = mkCName "Burundi" ; +lin baht_CName = mkCName "Baht" ; +lin Algeria_CName = mkCName "Algeriet" ; +lin Lao_kip_CName = mkCName "Laotisk Kip" ; +lin Jordanian_dinar_CName = mkCName "Jordansk dinar" ; +lin Ljubljana_CName = mkCName "Ljubljana" ; +lin Yamoussoukro_CName = mkCName "Yamoussoukro" ; +lin Japanese_yen_CName = mkCName "yen" ; +lin Malaysia_CName = mkCName "Malaysia" ; +lin kyat_CName = mkCName "Burmesisk kyat" ; +lin Nicosia_CName = mkCName "Nicosia" ; +lin Honduran_lempira_CName = mkCName "Lempira" ; +lin Nigeria_CName = mkCName "Nigeria" ; +lin Luxembourg_CName = mkCName "Luxemburg" ; +lin 'Porto-Novo_CName' = mkCName "Porto-Novo" ; +lin Lilongwe_CName = mkCName "Lilongwe" ; +lin Finland_CName = mkCName "Finland" ; +lin West_African_CFA_franc_CName = mkCName "West African CFA franc" ; +lin Dublin_CName = mkCName "Dublin" ; +lin Australia_CName = mkCName "Australien" ; +lin 'Port-au-Prince_CName' = mkCName "Port-au-Prince" ; +lin Freetown_CName = mkCName "Freetown" ; +lin Qatari_riyal_CName = mkCName "Qatarisk rial" ; +lin denar_CName = mkCName "Makedonisk denar" ; +lin Praia_CName = mkCName "Praia" ; +lin Jerusalem_CName = mkCName "Jerusalem" ; +lin Mozambican_metical_CName = mkCName "Moçambikisk Metical" ; +lin Egyptian_pound_CName = mkCName "Egyptiskt pund" ; +lin Papua_New_Guinea_CName = mkCName "Papua Nya Guinea" ; +lin Accra_CName = mkCName "Accra" ; +lin Tripoli_CName = mkCName "Tripoli" ; +lin Mongolia_CName = mkCName "Mongoliet" ; +lin Antananarivo_CName = mkCName "Antananarivo" ; +lin Eastern_Caribbean_dollar_CName = mkCName "Östkaribisk dollar" ; +lin Lesotho_loti_CName = mkCName "Lesothisk Loti" ; +lin South_African_rand_CName = mkCName "Rand" ; +lin Belgium_CName = mkCName "Belgien" ; +lin United_States_of_America_CName = mkCName "USA" ; +lin Venezuela_CName = mkCName "Venezuela" ; +lin Lobamba_CName = mkCName "Lobamba" ; +lin Ukraine_CName = mkCName "Ukraina" ; +lin Qatar_CName = mkCName "Qatar" ; +lin Peruvian_sol_CName = mkCName "Nuevo sol" ; +lin Sierra_Leone_CName = mkCName "Sierra Leone" ; +lin Ireland_CName = mkCName "Irland" ; +lin Ottawa_CName = mkCName "Ottawa" ; +lin Bratislava_CName = mkCName "Bratislava" ; +lin Ankara_CName = mkCName "Ankara" ; +lin Albanian_lek_CName = mkCName "Lek" ; +lin Portugal_CName = mkCName "Portugal" ; +lin Paraguayan_guaraní_CName = mkCName "Guarani" ; +lin Switzerland_CName = mkCName "Schweiz" ; +lin India_CName = mkCName "Indien" ; +lin Athens_CName = mkCName "Aten" ; +lin Iraq_CName = mkCName "Irak" ; +lin Singapore_CName = mkCName "Singapore" ; +lin Nuku'alofa_CName = mkCName "Nuku'alofa" ; +lin Brazil_CName = mkCName "Brasilien" ; +lin Lisbon_CName = mkCName "Lissabon" ; +lin Iranian_rial_CName = mkCName "Iransk rial" ; +lin pound_sterling_CName = mkCName "Brittiskt pund" ; +lin São_Tomé_and_Príncipe_CName = mkCName "São Tomé och Príncipe" ; +lin Turkish_lira_CName = mkCName "Turkisk lira" ; +lin Serbia_CName = mkCName "Serbien" ; +lin Chad_CName = mkCName "Tchad" ; +lin Libyan_dinar_CName = mkCName "Libysk dinar" ; +lin Beijing_CName = mkCName "Peking" ; +lin Stockholm_CName = mkCName "Stockholm" ; +lin Hungary_CName = mkCName "Ungern" ; +lin Georgetown_CName = mkCName "Georgetown" ; +lin Andorra_CName = mkCName "Andorra" ; +lin Angola_CName = mkCName "Angola" ; +lin Africa_CName = mkCName "Afrika" ; +lin New_Zealand_CName = mkCName "Nya Zeeland" ; +lin Denmark_CName = mkCName "Danmark" ; +lin Port_Vila_CName = mkCName "Port Vila" ; +lin Lusaka_CName = mkCName "Lusaka" ; +lin Samoa_CName = mkCName "Samoa" ; +lin People's_Republic_of_China_CName = mkCName "Kina" ; +lin 'Washington,_D.C._CName' = mkCName "Washington, D.C." ; +lin Icelandic_króna_CName = mkCName "Isländsk krona" ; +lin Dominican_Republic_CName = mkCName "Dominikanska republiken" ; +lin Armenian_dram_CName = mkCName "Dram" ; +lin boliviano_CName = mkCName "Boliviano" ; +lin Senegal_CName = mkCName "Senegal" ; +lin Saudi_Arabia_CName = mkCName "Saudiarabien" ; +lin Turkmenistan_manat_CName = mkCName "Turkmenistansk manat" ; +lin Lebanese_pound_CName = mkCName "Libanesiskt pund" ; +lin Monaco_CName = mkCName "Monaco" ; +lin Jordan_CName = mkCName "Jordanien" ; +lin Thailand_CName = mkCName "Thailand" ; +lin Romania_CName = mkCName "Rumänien" ; +lin Suva_CName = mkCName "Suva" ; +lin Naypyidaw_CName = mkCName "Naypyidaw" ; +lin Roseau_CName = mkCName "Roseau" ; +lin Riyadh_CName = mkCName "Riyadh" ; +lin Laos_CName = mkCName "Laos" ; +lin Majuro_CName = mkCName "Majuro" ; +lin Canada_CName = mkCName "Kanada" ; +lin Fijian_dollar_CName = mkCName "Fijidollar" ; +lin Tegucigalpa_CName = mkCName "Tegucigalpa" ; +lin France_CName = mkCName "Frankrike" ; +lin Somalia_CName = mkCName "Somalia" ; +lin convertible_mark_CName = mkCName "Konvertibilna marka" ; +lin Djiboutian_franc_CName = mkCName "Djiboutisk franc" ; +lin Saudi_riyal_CName = mkCName "Saudiarabisk rial" ; +lin Congolese_franc_CName = mkCName "Kongolesisk franc" ; +lin Togo_CName = mkCName "Togo" ; +lin Bangkok_CName = mkCName "Bangkok" ; +lin Minsk_CName = mkCName "Minsk" ; +lin Nouakchott_CName = mkCName "Nouakchott" ; +lin Sanaa_CName = mkCName "Sanaa" ; +lin Sovereign_Bolivar_CName = mkCName "Sovereign Bolivar" ; +lin Cape_Verde_CName = mkCName "Kap Verde" ; +lin Oman_CName = mkCName "Oman" ; +lin Swedish_krona_CName = mkCName "svensk krona" ; +lin Central_African_CFA_franc_CName = mkCName "Centralafrikansk CFA Franc" ; +lin Brazzaville_CName = mkCName "Brazzaville" ; +lin ngultrum_CName = mkCName "Ngultrum" ; +lin South_Tarawa_CName = mkCName "South Tarawa" ; +lin Turkmenistan_CName = mkCName "Turkmenistan" ; +lin Bahamian_dollar_CName = mkCName "Bahamansk dollar" ; +lin Trinidad_and_Tobago_dollar_CName = mkCName "Trinidaddollar" ; +lin Yemen_CName = mkCName "Jemen" ; +lin United_Arab_Emirates_CName = mkCName "Förenade Arabemiraten" ; +lin Brasília_CName = mkCName "Brasília" ; +lin Cuban_peso_CName = mkCName "Kubansk peso" ; +lin Tuvaluan_dollar_CName = mkCName "Tuvaluansk dollar" ; +lin Bulgarian_lev_CName = mkCName "Lev" ; +lin Tajikistani_somoni_CName = mkCName "Tadzjikistansk somoni" ; +lin Malaysian_ringgit_CName = mkCName "Malaysisk ringgit" ; +lin Baghdad_CName = mkCName "Bagdad" ; +lin Sofia_CName = mkCName "Sofia" ; +lin Bogotá_CName = mkCName "Bogotá" ; +lin Asmara_CName = mkCName "Asmara" ; +lin Brunei_CName = mkCName "Brunei" ; +lin Juba_CName = mkCName "Juba" ; +lin Tokyo_CName = mkCName "Tokyo prefektur" ; +lin Azerbaijan_CName = mkCName "Azerbajdzjan" ; +lin Beirut_CName = mkCName "Beirut" ; +lin Dili_CName = mkCName "Dili" ; +lin Georgian_lari_CName = mkCName "Georgiska lari" ; +lin Budapest_CName = mkCName "Budapest" ; +lin Reykjavík_CName = mkCName "Reykjavík" ; +lin Vientiane_CName = mkCName "Vientiane" ; +lin gourde_CName = mkCName "Gourde" ; +lin Romanian_leu_CName = mkCName "Rumänsk leu" ; +lin Nepalese_rupee_CName = mkCName "Nepalesisk rupee" ; +lin Tanzania_CName = mkCName "Tanzania" ; +lin Bahrain_CName = mkCName "Bahrain" ; +lin Trinidad_and_Tobago_CName = mkCName "Trinidad och Tobago" ; +lin Mauritius_CName = mkCName "Mauritius" ; +lin Cyprus_CName = mkCName "Cypern" ; +lin birr_CName = mkCName "Etiopisk Birr" ; +lin Chile_CName = mkCName "Chile" ; +lin Managua_CName = mkCName "Managua" ; +lin San_José_CName = mkCName "San José" ; +lin Colombian_cincuenta_centavos_CName = mkCName "Colombiansk peso" ; +lin Caracas_CName = mkCName "Caracas" ; +lin Vanuatu_vatus_CName = mkCName "Vanuatisk vatu" ; +lin Danish_krone_CName = mkCName "dansk krona" ; +lin United_Kingdom_CName = mkCName "Storbritannien" ; +lin Berlin_CName = mkCName "Berlin" ; +lin Eswatini_CName = mkCName "Swaziland" ; +lin Riga_CName = mkCName "Riga" ; +lin Ugandan_shilling_CName = mkCName "Ugandisk shilling" ; +lin The_Bahamas_CName = mkCName "Bahamas" ; +lin Uruguay_CName = mkCName "Uruguay" ; +lin United_States_dollar_CName = mkCName "amerikansk dollar" ; +lin Libya_CName = mkCName "Libyen" ; +lin Nauru_CName = mkCName "Nauru" ; +lin Latvia_CName = mkCName "Lettland" ; +lin South_Korea_CName = mkCName "Sydkorea" ; +lin Egypt_CName = mkCName "Egypten" ; +lin Kazakhstan_CName = mkCName "Kazakstan" ; +lin Vanuatu_CName = mkCName "Vanuatu" ; +lin Guatemala_CName = mkCName "Guatemala" ; +lin Dominican_peso_CName = mkCName "Dominikansk peso" ; +lin Harare_CName = mkCName "Harare" ; +lin Nepal_CName = mkCName "Nepal" ; +lin Tallinn_CName = mkCName "Tallinn" ; +lin Lebanon_CName = mkCName "Libanon" ; +lin Botswana_pula_CName = mkCName "Pula" ; +lin Central_America_CName = mkCName "Centralamerika" ; +lin Kyiv_CName = mkCName "Kiev" ; +lin Bridgetown_CName = mkCName "Bridgetown" ; +lin Manila_CName = mkCName "Manila" ; +lin Colombia_CName = mkCName "Colombia" ; +lin Eritrea_CName = mkCName "Eritrea" ; +lin Croatian_kuna_CName = mkCName "Kroatisk kuna" ; +lin Manama_CName = mkCName "Manama" ; +lin Sierra_Leonean_leone_CName = mkCName "Sierraleonsk Leone" ; +lin Ngerulmud_CName = mkCName "Ngerulmud" ; +lin 'Nur-Sultan_CName' = mkCName "Nur-Sultan" ; +lin Azerbaijani_manat_CName = mkCName "Azerbajdzjansk manat" ; +lin Norwegian_krone_CName = mkCName "norsk krona" ; +lin Rome_CName = mkCName "Rom" ; +lin Islamabad_CName = mkCName "Islamabad" ; +lin Guyanese_dollar_CName = mkCName "Guyansk dollar" ; +lin Rwanda_CName = mkCName "Rwanda" ; +lin renminbi_CName = mkCName "Renminbi" ; +lin Croatia_CName = mkCName "Kroatien" ; +lin Quito_CName = mkCName "Quito" ; +lin North_Korean_won_CName = mkCName "Nordkoreansk won" ; +lin Port_Moresby_CName = mkCName "Port Moresby" ; +lin Republic_of_the_Congo_CName = mkCName "Kongo-Brazzaville" ; +lin Monrovia_CName = mkCName "Monrovia" ; +lin Andorra_la_Vella_CName = mkCName "Andorra la Vella" ; +lin Uruguayan_peso_CName = mkCName "Uruguayansk peso" ; +lin Gitega_CName = mkCName "Gitega" ; +lin Port_of_Spain_CName = mkCName "Port of Spain" ; +lin Panama_CName = mkCName "Panama" ; +lin Myanmar_CName = mkCName "Myanmar" ; +lin Belarus_CName = mkCName "Belarus" ; +lin Burkina_Faso_CName = mkCName "Burkina Faso" ; +lin Georgia_CName = mkCName "Georgien" ; +lin Belmopan_CName = mkCName "Belmopan" ; +lin Paramaribo_CName = mkCName "Paramaribo" ; +lin Muscat_CName = mkCName "Muskat" ; +lin Chilean_peso_CName = mkCName "Chilensk peso" ; +lin Kiribati_CName = mkCName "Kiribati" ; +lin Tanzanian_shilling_CName = mkCName "Tanzanisk shilling" ; +lin Russia_CName = mkCName "Ryssland" ; +lin Saint_Lucia_CName = mkCName "Saint Lucia" ; +lin Kathmandu_CName = mkCName "Katmandu" ; +lin Guyana_CName = mkCName "Guyana" ; +lin Kuwaiti_dinar_CName = mkCName "Kuwaitisk dinar" ; +lin Asia_CName = mkCName "Asien" ; +lin South_Korean_won_CName = mkCName "Sydkoreansk won" ; +lin Iran_CName = mkCName "Iran" ; +lin Argentina_CName = mkCName "Argentina" ; +lin South_Africa_CName = mkCName "Sydafrika" ; +lin Tunis_CName = mkCName "Tunis" ; +lin Czech_koruna_CName = mkCName "tjeckisk krona" ; +lin Bamako_CName = mkCName "Bamako" ; +lin 'Tongan_paʻanga_CName' = mkCName "Tongansk pa'anga" ; +lin Saint_John's_CName = mkCName "Saint John's" ; +lin Paraguay_CName = mkCName "Paraguay" ; +lin Cameroon_CName = mkCName "Kamerun" ; +lin Mauritian_rupee_CName = mkCName "Mauritisk rupie" ; +lin Solomon_Islands_dollar_CName = mkCName "Salomondollar" ; +lin South_America_CName = mkCName "Sydamerika" ; +lin Lima_CName = mkCName "Lima" ; +lin Saint_Vincent_and_the_Grenadines_CName = mkCName "Saint Vincent och Grenadinerna" ; +lin Seychellois_rupee_CName = mkCName "Seychellisk rupee" ; +lin Belgrade_CName = mkCName "Belgrad" ; +lin Tuvalu_CName = mkCName "Tuvalu" ; +lin Belize_CName = mkCName "Belize" ; +lin Kinshasa_CName = mkCName "Kinshasa" ; +lin San_Marino_CName = mkCName "San Marino" ; +lin Peru_CName = mkCName "Peru" ; +lin El_Salvador_CName = mkCName "El Salvador" ; +lin Equatorial_Guinea_CName = mkCName "Ekvatorialguinea" ; +lin Bissau_CName = mkCName "Bissau" ; +lin Ouagadougou_CName = mkCName "Ouagadougou" ; +lin Germany_CName = mkCName "Tyskland" ; +lin Uzbekistan_CName = mkCName "Uzbekistan" ; +lin dalasi_CName = mkCName "Dalasi" ; +lin Gaborone_CName = mkCName "Gaborone" ; +lin forint_CName = mkCName "Forint" ; +lin Kyrgyzstan_CName = mkCName "Kirgizistan" ; +lin kwanza_CName = mkCName "Kwanza" ; +lin Banjul_CName = mkCName "Banjul" ; +lin Czech_Republic_CName = mkCName "Tjeckien" ; +lin Windhoek_CName = mkCName "Windhoek" ; +lin Liechtenstein_CName = mkCName "Liechtenstein" ; +lin riel_CName = mkCName "Kambodjansk riel" ; +lin Moldovan_leu_CName = mkCName "Moldavisk leu" ; +lin Honiara_CName = mkCName "Honiara" ; +lin Bhutan_CName = mkCName "Bhutan" ; +lin Kingston_CName = mkCName "Kingston" ; +lin Kampala_CName = mkCName "Kampala" ; +lin Kingdom_of_the_Netherlands_CName = mkCName "Konungariket Nederländerna" ; +lin Nicaraguan_córdoba_CName = mkCName "Nicaraguansk córdoba" ; +lin Malawi_CName = mkCName "Malawi" ; +lin new_shekel_CName = mkCName "Shekel" ; +lin Panamanian_balboa_CName = mkCName "Panamansk balboa" ; +lin Singapore_dollar_CName = mkCName "Singaporiansk dollar" ; +lin lilangeni_CName = mkCName "Swazisk lilangeni" ; +lin Mexico_City_CName = mkCName "Mexico City" ; +lin Dushanbe_CName = mkCName "Dusjanbe" ; +lin Zambian_kwacha_CName = mkCName "Zambisk kwacha" ; +lin Estonia_CName = mkCName "Estland" ; +lin Gabon_CName = mkCName "Gabon" ; +lin Podgorica_CName = mkCName "Podgorica" ; +lin Armenia_CName = mkCName "Armenien" ; +lin Kuala_Lumpur_CName = mkCName "Kuala Lumpur" ; +lin Namibia_CName = mkCName "Namibia" ; +lin Guatemala_City_CName = mkCName "Guatemala City" ; +lin 'Samoan_tālā_CName' = mkCName "Samoansk Tala" ; +lin Pyongyang_CName = mkCName "Pyongyang" ; +lin Barbados_CName = mkCName "Barbados" ; +lin Algerian_dinar_CName = mkCName "Algerisk dinar" ; +lin Malabo_CName = mkCName "Malabo" ; +lin Federated_States_of_Micronesia_CName = mkCName "Mikronesiska federationen" ; +lin Iraqi_dinar_CName = mkCName "Irakisk dinar" ; +lin 'St._George\'s_CName' = mkCName "Saint George's" ; +lin São_Tomé_and_Príncipe_dobra_CName = mkCName "Saotomeansk Dobra" ; +lin Norway_CName = mkCName "Norge" ; +lin Colombo_CName = mkCName "Colombo" ; +lin Hanoi_CName = mkCName "Hanoi" ; +lin Kigali_CName = mkCName "Kigali" ; +lin Malé_CName = mkCName "Malé" ; +lin Albania_CName = mkCName "Albanien" ; +lin Slovakia_CName = mkCName "Slovakien" ; +lin Suriname_CName = mkCName "Surinam" ; +lin Niamey_CName = mkCName "Niamey" ; +lin Sri_Lanka_CName = mkCName "Sri Lanka" ; +lin Khartoum_CName = mkCName "Khartoum" ; +lin Surinamese_dollar_CName = mkCName "Surinamesisk dollar" ; +lin Bandar_Seri_Begawan_CName = mkCName "Bandar Seri Begawan" ; +lin Tashkent_CName = mkCName "Tasjkent" ; +lin Bolivia_CName = mkCName "Bolivia" ; +lin Central_African_Republic_CName = mkCName "Centralafrikanska republiken" ; +lin Ulaanbaatar_CName = mkCName "Ulan Bator" ; +lin Yerevan_CName = mkCName "Jerevan" ; +lin Zambia_CName = mkCName "Zambia" ; +lin Dhaka_CName = mkCName "Dhaka" ; +lin insular_Oceania_CName = mkCName "Oceanien" ; +lin Mauritanian_ouguiya_CName = mkCName "Mauretansk ouguiya" ; +lin Bern_CName = mkCName "Bern" ; +lin Warsaw_CName = mkCName "Warszawa" ; +lin Maputo_CName = mkCName "Maputo" ; +lin Malta_CName = mkCName "Malta" ; +lin Poland_CName = mkCName "Polen" ; +lin Sweden_CName = mkCName "Sverige" ; +lin Brazilian_real_CName = mkCName "Real" ; +lin Solomon_Islands_CName = mkCName "Salomonöarna" ; +lin Helsinki_CName = mkCName "Helsingfors" ; +lin Santo_Domingo_CName = mkCName "Santo Domingo" ; +lin 'Chișinău_CName' = mkCName "Chișinău" ; +lin Vienna_CName = mkCName "Wien" ; +lin Haiti_CName = mkCName "Haiti" ; +lin Vaduz_CName = mkCName "Vaduz" ; +lin Mogadishu_CName = mkCName "Mogadishu" ; +lin Pakistan_CName = mkCName "Pakistan" ; +lin Bosnia_and_Herzegovina_CName = mkCName "Bosnien och Hercegovina" ; +lin New_Delhi_CName = mkCName "New Delhi" ; +lin Bishkek_CName = mkCName "Bisjkek" ; +lin Skopje_CName = mkCName "Skopje" ; +lin Jakarta_CName = mkCName "Jakarta" ; +lin Guinea_CName = mkCName "Guinea" ; +lin Botswana_CName = mkCName "Botswana" ; +lin Cambodia_CName = mkCName "Kambodja" ; +lin The_Gambia_CName = mkCName "Gambia" ; +lin Abu_Dhabi_CName = mkCName "Abu Dhabi" ; +lin Libreville_CName = mkCName "Libreville" ; +lin Syrian_pound_CName = mkCName "Syriskt pund" ; +lin Tajikistan_CName = mkCName "Tadzjikistan" ; +lin Kazakhstani_tenge_CName = mkCName "Kazakstansk Tenge" ; +lin Europe_CName = mkCName "Europa" ; +lin San_Salvador_CName = mkCName "San Salvador" ; +lin Bangladeshi_taka_CName = mkCName "Taka" ; +lin Malawian_kwacha_CName = mkCName "Malawisk kwacha" ; +lin Honduras_CName = mkCName "Honduras" ; +lin Saint_Kitts_and_Nevis_CName = mkCName "Saint Kitts och Nevis" ; +lin Tehran_CName = mkCName "Teheran" ; +lin Benin_CName = mkCName "Benin" ; +lin City_of_Brussels_CName = mkCName "Bryssel" ; +lin kina_CName = mkCName "Papuansk Kina" ; +lin Democratic_Republic_of_the_Congo_CName = mkCName "Kongo-Kinshasa" ; +lin Jamaica_CName = mkCName "Jamaica" ; +lin Guinean_franc_CName = mkCName "Guinesisk franc" ; +lin euro_CName = mkCName "euro" ; +lin Ashgabat_CName = mkCName "Asjchabad" ; +lin Liberia_CName = mkCName "Liberia" ; +lin Belize_dollar_CName = mkCName "Belizisk dollar" ; +lin Tbilisi_CName = mkCName "Tbilisi" ; +lin Sri_Lankan_rupee_CName = mkCName "Lankesisk rupie" ; +lin Antigua_and_Barbuda_CName = mkCName "Antigua och Barbuda" ; +lin Panama_City_CName = mkCName "Panama City" ; +lin South_Sudanese_pound_CName = mkCName "Sydsudanesiskt pund" ; +lin Uzbekistani_som_CName = mkCName "Uzbekistansk som" ; +lin Asunción_CName = mkCName "Asunción" ; +lin Rwandan_franc_CName = mkCName "Rwandisk franc" ; +lin Vietnamese_dong_CName = mkCName "Vietnamesisk dong" ; +lin Namibian_dollar_CName = mkCName "Namibisk dollar" ; +lin Djibouti_CName = mkCName "Djibouti" ; +lin Somali_shilling_CName = mkCName "Somalisk shilling" ; +lin Funafuti_CName = mkCName "Funafuti" ; +lin Burundian_franc_CName = mkCName "Burundisk franc" ; +lin Canberra_CName = mkCName "Canberra" ; +lin Belarusian_ruble_CName = mkCName "Belarusisk rubel" ; +lin Dominica_CName = mkCName "Dominica" ; +lin Greece_CName = mkCName "Grekland" ; +lin Santiago_CName = mkCName "Santiago de Chile" ; +lin Palikir_CName = mkCName "Palikir" ; +lin Moldova_CName = mkCName "Moldavien" ; +lin Ecuador_CName = mkCName "Ecuador" ; +lin Grenada_CName = mkCName "Grenada" ; +lin Kyrgyzstani_som_CName = mkCName "Kirgizistansk som" ; +lin Mauritania_CName = mkCName "Mauretanien" ; +lin Japan_CName = mkCName "Japan" ; +lin Mexican_peso_CName = mkCName "Mexikansk peso" ; +lin New_Taiwan_dollar_CName = mkCName "Taiwanesisk dollar" ; +lin Doha_CName = mkCName "Doha" ; +lin Bangladesh_CName = mkCName "Bangladesh" ; +lin Cape_Verdean_escudo_CName = mkCName "Kapverdisk escudo" ; +lin London_CName = mkCName "London" ; +lin Australian_dollar_CName = mkCName "Australisk dollar" ; +lin Moroccan_dirham_CName = mkCName "Marockansk dirham" ; +lin Monaco_City_CName = mkCName "Monaco City" ; +lin Brunei_dollar_CName = mkCName "Bruneisk dollar" ; +lin Castries_CName = mkCName "Castries" ; +} \ No newline at end of file diff --git a/lab2/wikipedia/Facts.gf b/lab2/wikipedia/Facts.gf new file mode 100644 index 0000000..661b165 --- /dev/null +++ b/lab2/wikipedia/Facts.gf @@ -0,0 +1,19 @@ +abstract Facts = { + +flags startcat = Fact ; + +cat + Fact ; + Object ; + Attribute ; + Value ; + Name ; + +fun + AttributeFact : Attribute -> Object -> Value -> Fact ; + + NameObject : Name -> Object ; + NameValue : Name -> Value ; + IntValue : Int -> Value ; + +} \ No newline at end of file diff --git a/lab2/wikipedia/FactsEng.gf b/lab2/wikipedia/FactsEng.gf new file mode 100644 index 0000000..878a916 --- /dev/null +++ b/lab2/wikipedia/FactsEng.gf @@ -0,0 +1,16 @@ +concrete FactsEng of Facts = open SyntaxEng, SymbolicEng in { + +lincat + Fact = Cl ; + Object = NP ; + Attribute = CN ; + Value = NP ; + Name = NP ; + +lin + AttributeFact attr obj val = mkCl (mkNP the_Det (mkCN attr (mkAdv possess_Prep obj))) val ; + NameObject name = name ; + NameValue name = name ; + IntValue int = symb int ; + +} \ No newline at end of file diff --git a/lab2/wikipedia/FactsFin.gf b/lab2/wikipedia/FactsFin.gf new file mode 100644 index 0000000..771828c --- /dev/null +++ b/lab2/wikipedia/FactsFin.gf @@ -0,0 +1,17 @@ +concrete FactsFin of Facts = + open SyntaxFin, SymbolicFin, (E=ExtendFin) in { + +lincat + Fact = Cl ; + Object = NP ; + Attribute = CN ; + Value = NP ; + Name = NP ; + +lin + AttributeFact attr obj val = mkCl (mkNP (E.GenNP obj) attr) val ; + NameObject name = name ; + NameValue name = name ; + IntValue int = symb int ; + +} \ No newline at end of file diff --git a/lab2/wikipedia/FactsGer.gf b/lab2/wikipedia/FactsGer.gf new file mode 100644 index 0000000..34b8b12 --- /dev/null +++ b/lab2/wikipedia/FactsGer.gf @@ -0,0 +1,16 @@ +concrete FactsGer of Facts = open SyntaxGer, SymbolicGer in { + +lincat + Fact = Cl ; + Object = NP ; + Attribute = CN ; + Value = NP ; + Name = NP ; + +lin + AttributeFact attr obj val = mkCl (mkNP the_Det (mkCN attr (mkAdv possess_Prep obj))) val ; + NameObject name = name ; + NameValue name = name ; + IntValue int = symb int ; + +} \ No newline at end of file diff --git a/lab2/wikipedia/FactsSwe.gf b/lab2/wikipedia/FactsSwe.gf new file mode 100644 index 0000000..4133440 --- /dev/null +++ b/lab2/wikipedia/FactsSwe.gf @@ -0,0 +1,17 @@ +concrete FactsSwe of Facts = + open SyntaxSwe, SymbolicSwe, (E=ExtendSwe) in { + +lincat + Fact = Cl ; + Object = NP ; + Attribute = CN ; + Value = NP ; + Name = NP ; + +lin + AttributeFact attr obj val = mkCl (mkNP (E.GenNP obj) attr) val ; + NameObject name = name ; + NameValue name = name ; + IntValue int = symb int ; + +} \ No newline at end of file diff --git a/lab2/wikipedia/country_facts.py b/lab2/wikipedia/country_facts.py new file mode 100644 index 0000000..d792f86 --- /dev/null +++ b/lab2/wikipedia/country_facts.py @@ -0,0 +1,64 @@ +from data_facts import * + +pgffile = 'Countries.pgf' +datafile = '../data/countries.tsv' + +# 0.238s +def country_facts_embedded(factsys,tuple): + countr = factsys.str2exp("CName",tuple[0]) + cap = factsys.str2exp('Name',tuple.capital) + cont = factsys.str2exp('CName',tuple.continent) + curr = factsys.str2exp('Name',tuple.currency) + pop = mkInt(tuple.population) + are = mkInt(tuple.area) + + factsys.grammar.embed("G") + import G + object = G.NameObject(G.cName(countr)) + + return [ + G.AttributeFact(G.capital_Attribute, object, G.NameValue(cap)), + G.AttributeFact(G.area_Attribute, object, G.IntValue(are)), + G.populationFact(countr, pop), + G.continentFact(countr, cont), + G.AttributeFact(G.currency_Attribute, object, G.NameValue(curr)) + ] + +# 0.367s +def country_facts_parsed(factsys,tuple): + countr = factsys.data2lin("CName",tuple[0]) + cap = factsys.data2lin('Name',tuple.capital) + cont = factsys.data2lin('CName',tuple.continent) + curr = factsys.data2lin('Name',tuple.currency) + pop = mkInt(tuple.population) + are = mkInt(tuple.area) + + return [ factsys.str2exp('Fact',s) for s in + [ + "the capital of {} is {}".format(countr,cap), + "the area of {} is {}".format(countr,are), + "{} has {} inhabitants".format(countr,pop), + "{} is in {}".format(countr, cont), + "the currency of {} is {}".format(countr,are) + ] + ] + +def countries_facts(factsys,cs): + return [t for c in cs for t in country_facts_embedded(factsys,c)] + +def mkInt(s): + return pgf.readExpr(str(s)) + +def main(): + gr = pgf.readPGF('Countries.pgf') + + factsys = FactSystem( + 'country capital area population continent currency', + gr, + 'CountriesEng' + ) + factsys.run(datafile, countries_facts) + +if __name__ == "__main__": + main() + diff --git a/lab2/wikipedia/data_facts.py b/lab2/wikipedia/data_facts.py new file mode 100644 index 0000000..192057b --- /dev/null +++ b/lab2/wikipedia/data_facts.py @@ -0,0 +1,72 @@ +import pgf +from collections import namedtuple + + +class FactSystem: + def __init__(self,fnames,gr,lang1): + self.fieldnames = fnames + self.grammar = gr + self.language1 = lang1 # the language in which entities are parsed to trees + + def get_data(self,filename): + data = [] + Data = namedtuple('Data', self.fieldnames) + file = open(filename) + for line in file: + fields = Data(*line.split('\t')) + data.append(fields) + return data + + # can raise ParseError + def str2exp(self,cat,s): + eng = self.grammar.languages[self.language1] + pp = eng.parse(s,cat=pgf.readType(cat)) + _,e = pp.__next__() + return e + + def exp2str(self,exp): + eng = self.grammar.languages[self.language1] + return eng.linearize(exp) + + def data2lin(self,cat,s): + return self.exp2str(self.str2exp(cat,s)) + + def run(self,datafile,fact_generator): + gr = self.grammar + data = sorted(list(self.get_data(datafile))) + langs = list(gr.languages.values()) + for lang in langs: + text = [] + for tree in fact_generator(self,data): + lin = lang.linearize(tree) + if lin: text.append(lin[0].upper() + lin[1:]) + print('\n'.join(text)) + + +def simple_facts(factsys,data): + "for each tuple in data, generate an attribute fact for each field" + fields = factsys.fieldnames.split() + facts = [] + for tuple in data: + object = factsys.str2exp("Object",tuple[0]) + for (attr,val) in [(fields[i],tuple[i]) for i in range(1,len(fields))]: + fact = pgf.Expr("AttributeFact", [ + factsys.str2exp("Attribute",attr), + object, + factsys.str2exp("Value",val)]) + facts.append(fact) + return facts + + +def example_run(): + gr = pgf.readPGF('Countries.pgf') + factsys = FactSystem( + 'country capital area population continent currency', + gr, + 'CountriesEng' + ) + + factsys.run('../data/countries.tsv',simple_facts) + +if __name__ == "__main__": + example_run() diff --git a/lab2/wikipedia/extract_names.py b/lab2/wikipedia/extract_names.py new file mode 100644 index 0000000..f24e7aa --- /dev/null +++ b/lab2/wikipedia/extract_names.py @@ -0,0 +1,77 @@ +country_file = '../data/countries.tsv' +labels_file = '../data/alllabels.tsv' +name_cat = 'CName' +included_fields = [0,1,4,5] + +source_field = 1 # English +target_field = 4 # German + +def get_names(filename): + names = set() + file = open(filename) + for line in file.readlines()[1:]: + fields = line.split('\t') + for i in included_fields: + names.add(fields[i].strip()) + return names + +def name_rules(name,cat,lin): + fun = mkFun(name,cat) + return ( + ' '.join(["fun",fun,':',cat,';']), + ' '.join(["lin",fun,'=','mk'+cat, '"'+lin+'"', ';']) + ) + +def escape(s): + r = '' + for c in s: + if c in "\\'": + r = r + "\\" + c + else: + r = r + c + return r + +def mkFun(name,cat): + parts = name.split() + parts.append(cat) + fun = '_'.join(parts) + + esc = False + if not name or not (name[0].isalpha()): + esc = True + else: + for c in name: + if not (c.isalpha() or c.isdigit() or c in "' _"): + esc = True + break + if esc: + fun = "'" + escape(fun) + "'" + return fun + + +def main_eng(): + names = get_names(country_file) + for name in names: + fun,lin = name_rules(name,name_cat,name) + print(fun) + print(lin) + +def main_lang(): + + labeldefs = open(labels_file) + labels = {} + for row in labeldefs: + cols = row.split('\t') + labels[cols[source_field].strip()] = cols[target_field].strip() + + names = get_names(country_file) + for name in names: + linname = labels.get(name,name) + fun,lin = name_rules(name,name_cat,linname) + print(fun) + print(lin) + +if __name__ == "__main__": + main_lang() + +