1
0
forked from GitHub/gf-core

Finnish geonames in Dictionary

This commit is contained in:
aarne
2015-04-22 06:58:13 +00:00
parent ecdc44c572
commit 8a720913c1
3 changed files with 1370 additions and 5 deletions

View File

@@ -8280,14 +8280,14 @@ lin caracal_N = mkWN (compoundN "aavikko" (k39 "ilves")) ; --UNCHK
lin caracara_N = mkWN (compoundN "kara" (k9 "kara")) ; --UNCHK
lin caracas_PN = foreignPN "Caracas" ;
lin caracolito_N = mkWN (compoundN "caraco" (k1 "lito")) "Ruptiliocarpon" ; --UNCHK
lin carafe_N = mkWN (k6 "dekantteri") ; --UNCHK
lin carafe_N = mkN "karahvi" ;
lin carambola_N = mkWN (k10 "karambola") ; --UNCHK
lin caramel_A = mkWA (compoundA "karamellin" (k15 "ruskea")) ; --UNCHK
lin caramel_N = mkWN (compoundN "ruskean" (k38 "keltainen")) ; --UNCHK
lin carancha_N = mkWN (compoundN "töyhtökara" (k9 "kara")) ; --UNCHK
lin caranday_N = mkWN (k9 "alba") "Copernicia" ; --UNCHK
lin carat_N = mkWN (k5A "karaatti") ; --UNCHK
lin caravan_N = mkWN (compoundN "matkailu" (k1 "vaunu")) ; --UNCHK
lin caravan_N = mkN "karavaani" ;
lin caravanning_N = mkWN (compoundN "asuntovaunu" (k2 "matkailu")) ; --UNCHK
lin caravanserai_N = mkWN (compoundN "maja" (k1 "talo")) ; --UNCHK
lin caraway_N = mkWN (kH1 "kumina") ; --UNCHK
@@ -59479,6 +59479,460 @@ lin zymology_N = mkWN "tsymologia" ; --UNCHK
lin zymosis_N = mkWN "tsymoosi" ; --UNCHK
lin zymotic_A = mkWA "tsymoosiin" "liittyvä" ; --UNCHK
-- finnish geonames
lin akaa_PN = mkPN "Akaa" ;
lin alahärmä_PN = mkPN "Alahärmä" ;
lin alajärvi_PN = mkPN (mkN "Alajärvi" "Alajärviä") ;
lin alastaro_PN = mkPN "Alastaro" ;
lin alastaro_PN = mkPN "Alastaro" ;
lin alavieska_PN = mkPN "Alavieska" ;
lin alavus_PN = mkPN "Alavus" ;
lin anjala_PN = mkPN "Anjala" ;
lin artjärvi_PN = mkPN (mkN "Artjärvi" "Artjärviä") ;
lin asikkala_PN = mkPN "Asikkala" ;
lin askainen_PN = mkPN "Askainen" ;
lin askola_PN = mkPN "Askola" ;
lin aura_PN = mkPN "Aura" ;
lin auttoinen_PN = mkPN "Auttoinen" ;
lin bennäs_PN = mkPN "Bennäs" ;
lin broby_PN = mkPN "Broby" ;
lin dragsfjärd_PN = mkPN "Dragsfjärd" ;
lin ekenäs_PN = mkPN "Ekenäs" ;
lin elimäki_PN = mkPN (mkN "Elimäki" "Elimäkiä") ;
lin eno_PN = mkPN "Eno" ;
lin enonkoski_PN = mkPN (mkN "Enonkoski" "Enonkoskia") ;
lin enontekiö_PN = mkPN "Enontekiö" ;
lin espoo_PN = mkPN "Espoo" ;
lin eura_PN = mkPN "Eura" ;
lin eurajoki_PN = mkPN (mkN "Eurajoki" "Eurajokia") ;
lin evijärvi_PN = mkPN (mkN "Evijärvi" "Evijärviä") ;
lin forssa_PN = mkPN "Forssa" ;
lin haapajärvi_PN = mkPN (mkN "Haapajärvi" "Haapajärviä") ;
lin haapavesi_PN = mkPN (mkN "Haapavesi" "Haapaveden" "Haapavesiä") ;
lin hailuoto_PN = mkPN "Hailuoto" ;
lin halikko_PN = mkPN "Halikko" ;
lin halsua_PN = mkPN "Halsua" ;
lin hamina_PN = mkPN "Hamina" ;
lin hankasalmi_PN = mkPN (mkN "Hankasalmi" "Hankasalmia") ;
lin hanko_PN = mkPN "Hanko" ;
lin harjavalta_PN = mkPN "Harjavalta" ;
lin hartola_PN = mkPN "Hartola" ;
lin hauho_PN = mkPN "Hauho" ;
lin haukipudas_PN = mkPN "Haukipudas" ;
lin haukivuori_PN = mkPN (mkN "Haukivuori" "Haukivuoria") ;
lin hausjärvi_PN = mkPN (mkN "Hausjärvi" "Hausjärviä") ;
lin heinola_PN = mkPN "Heinola" ;
lin heinävesi_PN = mkPN (mkN "Heinävesi" "Heinäveden" "Heinävesiä") ;
lin himanka_PN = mkPN "Himanka" ;
lin hirvensalmi_PN = mkPN (mkN "Hirvensalmi" "Hirvensalmia") ;
lin hollola_PN = mkPN "Hollola" ;
lin hollola_PN = mkPN "Hollola" ;
lin honkajoki_PN = mkPN (mkN "Honkajoki" "Honkajokia") ;
lin houtskär_PN = mkPN "Houtskär" ;
lin huittinen_PN = mkPN "Huittinen" ;
lin humppila_PN = mkPN "Humppila" ;
lin hyrynsalmi_PN = mkPN (mkN "Hyrynsalmi" "Hyrynsalmia") ;
lin hyvinge_PN = mkPN "Hyvinge" ;
lin hämeenkoski_PN = mkPN (mkN "Hämeenkoski" "Hämeenkoskia") ;
lin hämeenkyrö_PN = mkPN "Hämeenkyrö" ;
lin hämeenlinna_PN = mkPN "Hämeenlinna" ;
lin ii_PN = mkPN "Ii" ;
lin iisalmi_PN = mkPN (mkN "Iisalmi" "Iisalmia") ;
lin iitti_PN = mkPN (mkN "Iitti" "Iittiä") ;
lin ikaalinen_PN = mkPN "Ikaalinen" ;
lin ilmajoki_PN = mkPN (mkN "Ilmajoki" "Ilmajokia") ;
lin ilomantsi_PN = mkPN "Ilomantsi" ;
lin imatra_PN = mkPN "Imatra" ;
lin inari_PN = mkPN "Inari" ;
lin ingå_PN = mkPN "Inkoo" ;
lin iniö_PN = mkPN "Iniö" ;
lin isojoki_PN = mkPN (mkN "Isojoki" "Isojokia") ;
lin isokyrö_PN = mkPN "Isokyrö" ;
lin ivalo_PN = mkPN "Ivalo" ;
lin jaala_PN = mkPN "Jaala" ;
lin jakobstad_PN = mkPN (mkN "Pietarsaari" "Pietarsaaria") ;
lin jalasjärvi_PN = mkPN (mkN "Jalasjärvi" "Jalasjärviä") ;
lin janakkala_PN = mkPN "Janakkala" ;
lin joensuu_PN = mkPN "Joensuu" ;
lin jokioinen_PN = mkPN "Jokioinen" ;
lin joroinen_PN = mkPN "Joroinen" ;
lin joutsa_PN = mkPN "Joutsa" ;
lin joutseno_PN = mkPN "Joutseno" ;
lin juankoski_PN = mkPN (mkN "Juankoski" "Juankoskia") ;
lin jurva_PN = mkPN "Jurva" ;
lin juuka_PN = mkPN "Juuka" ;
lin juupajoki_PN = mkPN (mkN "Juupajoki" "Juupajokia") ;
lin juva_PN = mkPN "Juva" ;
lin jyväskylä_PN = mkPN "Jyväskylä" ;
lin jämijärvi_PN = mkPN (mkN "Jämijärvi" "Jämijärviä") ;
lin jämsä_PN = mkPN "Jämsä" ;
lin jämsänkoski_PN = mkPN (mkN "Jämsänkoski" "Jämsänkoskia") ;
lin jäppilä_PN = mkPN "Jäppilä" ;
lin järvelä_PN = mkPN "Järvelä" ;
lin järvenpää_PN = mkPN "Järvenpää" ;
lin kaarina_PN = mkPN "Kaarina" ;
lin kaavi_PN = mkPN "Kaavi" ;
lin kajaani_PN = mkPN "Kajaani" ;
lin kalajoki_PN = mkPN (mkN "Kalajoki" "Kalajokia") ;
lin kalvola_PN = mkPN "Kalvola" ;
lin kangasala_PN = mkPN "Kangasala" ;
lin kangaslampi_PN = mkPN (mkN "Kangaslampi" "Kangaslampia") ;
lin kangasniemi_PN = mkPN (mkN "Kangasniemi" "Kangasniemiä") ;
lin kankaanpää_PN = mkPN "Kankaanpää" ;
lin kannonkoski_PN = mkPN (mkN "Kannonkoski" "Kannonkoskia") ;
lin kannus_PN = mkPN "Kannus" ;
lin karhula_PN = mkPN "Karhula" ;
lin karijoki_PN = mkPN (mkN "Karijoki" "Karijokia") ;
lin karinainen_PN = mkPN "Karinainen" ;
lin karis_PN = mkPN "Karjaa" ;
lin karjalohja_PN = mkPN "Karjalohja" ;
lin karkkila_PN = mkPN "Karkkila" ;
lin karstula_PN = mkPN "Karstula" ;
lin karttula_PN = mkPN "Karttula" ;
lin karvia_PN = mkPN "Karvia" ;
lin karvia_PN = mkPN "Karvia" ;
lin kaskinen_PN = mkPN "Kaskinen" ;
lin kauhajoki_PN = mkPN (mkN "Kauhajoki" "Kauhajokia") ;
lin kauhava_PN = mkPN "Kauhava" ;
lin kauniainen_PN = mkPN "Kauniainen" ;
lin kaustinen_PN = mkPN "Kaustinen" ;
lin keitele_PN = mkPN "Keitele" ;
lin kemi_PN = mkPN "Kemi" ;
lin kemijärvi_PN = mkPN (mkN "Kemijärvi" "Kemijärviä") ;
lin keminmaa_PN = mkPN "Keminmaa" ;
lin kempele_PN = mkPN "Kempele" ;
lin kerava_PN = mkPN "Kerava" ;
lin kerimäki_PN = mkPN (mkN "Kerimäki" "Kerimäkiä") ;
lin kestilä_PN = mkPN "Kestilä" ;
lin kesälahti_PN = mkPN (mkN "Kesälahti" "Kesälahtia") ;
lin keuruu_PN = mkPN "Keuruu" ;
lin kihniö_PN = mkPN "Kihniö" ;
lin kiihtelysvaara_PN = mkPN "Kiihtelysvaara" ;
lin kiikala_PN = mkPN "Kiikala" ;
lin kiikoinen_PN = mkPN "Kiikoinen" ;
lin kiiminki_PN = mkPN "Kiiminki" ;
lin kilo_PN = mkPN "Kilo" ;
lin kimito_PN = mkPN "Kemiö" ;
lin kinnula_PN = mkPN "Kinnula" ;
lin kinnula_PN = mkPN "Kinnula" ;
lin kirkkonummi_PN = mkPN (mkN "Kirkkonummi" "Kirkkonummia") ;
lin kisko_PN = mkPN "Kisko" ;
lin kitee_PN = mkPN "Kitee" ;
lin kittilä_PN = mkPN "Kittilä" ;
lin kiukainen_PN = mkPN "Kiukainen" ;
lin kiuruvesi_PN = mkPN (mkN "Kiuruvesi" "Kiuruvesia") ;
lin kivijärvi_PN = mkPN (mkN "Kivijärvi" "Kivijärviä") ;
lin kokemäki_PN = mkPN (mkN "Kokemäki" "Kokemäkia") ;
lin kokkola_PN = mkPN "Kokkola" ;
lin kolari_PN = mkPN "Kolari" ;
lin konnevesi_PN = mkPN (mkN "Konnevesi" "Konneveden" "Konnevesiä") ;
lin kontiolahti_PN = mkPN (mkN "Kontiolahti" "Kontiolahtia") ;
lin korpilahti_PN = mkPN (mkN "Korpilahti" "Korpilahtia") ;
lin korsholm_PN = mkPN "Korsholm" ;
lin korsnäs_PN = mkPN "Korsnäs" ;
lin kortesjärvi_PN = mkPN (mkN "Kortesjärvi" "Kortesjärviä") ;
lin koski_PN = mkPN (mkN "Koski" "Koskia") ;
lin tl_PN = mkPN "Tl" ;
lin kotka_PN = mkPN "Kotka" ;
lin koukkuniemi_PN = mkPN (mkN "Koukkuniemi" "Koukkuniemiä") ;
lin kouvola_PN = mkPN "Kouvola" ;
lin kristinestad_PN = mkPN "Kristiinankaupunki" ;
lin kronoby_PN = mkPN "Kruunupyy" ;
lin kuhmalahti_PN = mkPN (mkN "Kuhmalahti" "Kuhmalahtia") ;
lin kuhmo_PN = mkPN "Kuhmo" ;
lin kuhmoinen_PN = mkPN "Kuhmoinen" ;
lin kuivaniemi_PN = mkPN (mkN "Kuivaniemi" "Kuivaniemiä") ;
lin kullaa_PN = mkPN "Kullaa" ;
lin kuopio_PN = mkPN "Kuopio" ;
lin kuortane_PN = mkPN "Kuortane" ;
lin kurikka_PN = mkPN "Kurikka" ;
lin kuru_PN = mkPN "Kuru" ;
lin kustavi_PN = mkPN "Kustavi" ;
lin kuusamo_PN = mkPN "Kuusamo" ;
lin kuusjoki_PN = mkPN (mkN "Kuusjoki" "Kuusjokia") ;
lin kylmäkoski_PN = mkPN (mkN "Kylmäkoski" "Kylmäkoskia") ;
lin kyrö_PN = mkPN "Kyrö" ;
lin kyyjärvi_PN = mkPN (mkN "Kyyjärvi" "Kyyjärviä") ;
lin kälviä_PN = mkPN "Kälviä" ;
lin kärkölä_PN = mkPN "Kärkölä" ;
lin kärkölä_PN = mkPN "Kärkölä" ;
lin kärsämäki_PN = mkPN (mkN "Kärsämäki" "Kärsämäkiä") ;
lin köyliö_PN = mkPN "Köyliö" ;
lin lahti_PN = mkPN (mkN "Lahti" "Lahden" "Lahtia") ;
lin laihia_PN = mkPN "Laihia" ;
lin laitila_PN = mkPN "Laitila" ;
lin lammi_PN = mkPN "Lammi" ;
lin lapinjärvi_PN = mkPN (mkN "Lapinjärvi" "Lapinjärviä") ;
lin lapinlahti_PN = mkPN (mkN "Lapinlahti" "Lapinlahtia") ;
lin lappajärvi_PN = mkPN (mkN "Lappajärvi" "Lappajärviä") ;
lin lappeenranta_PN = mkPN "Lappeenranta" ;
lin lappi_PN = mkPN "Lappi" ;
lin lapua_PN = mkPN "Lapua" ;
lin larsmo_PN = mkPN "Larsmo" ;
lin laukaa_PN = mkPN "Laukaa" ;
lin lavia_PN = mkPN "Lavia" ;
lin lehtimäki_PN = mkPN (mkN "Lehtimäki" "Lehtimäkiä") ;
lin leivonmäki_PN = mkPN (mkN "Leivonmäki" "Leivonmäkiä") ;
lin lemi_PN = mkPN "Lemi" ;
lin lempäälä_PN = mkPN "Lempäälä" ;
lin lemu_PN = mkPN "Lemu" ;
lin leppävirta_PN = mkPN "Leppävirta" ;
lin lestijärvi_PN = mkPN (mkN "Lestijärvi" "Lestijärviä") ;
lin lieksa_PN = mkPN "Lieksa" ;
lin lieto_PN = mkPN "Lieto" ;
lin liljendal_PN = mkPN "Liljendal" ;
lin liminka_PN = mkPN "Liminka" ;
lin liperi_PN = mkPN "Liperi" ;
lin lohja_PN = mkPN "Lohja" ;
lin lohtaja_PN = mkPN "Lohtaja" ;
lin loimaa_PN = mkPN "Loimaa" ;
lin loppi_PN = mkPN (mkN "Loppi" "Loppia") ;
lin lovisa_PN = mkPN "Loviisa" ;
lin luhanka_PN = mkPN "Luhanka" ;
lin lumijoki_PN = mkPN (mkN "Lumijoki" "Lumijokia") ;
lin luopioinen_PN = mkPN "Luopioinen" ;
lin luumäki_PN = mkPN (mkN "Luumäki" "Luumäkiä") ;
lin luvia_PN = mkPN "Luvia" ;
lin längelmäki_PN = mkPN (mkN "Längelmäki" "Längelmäkiä") ;
lin länsi_turunmaa_PN = mkPN "Länsi-Turunmaa" ;
lin maaninka_PN = mkPN "Maaninka" ;
lin malax_PN = mkPN (mkN "Maalahti" "Maalahden" "Maalahtia") ;
lin marttila_PN = mkPN "Marttila" ;
lin masku_PN = mkPN "Masku" ;
lin mellilä_PN = mkPN "Mellilä" ;
lin merijärvi_PN = mkPN (mkN "Merijärvi" "Merijärviä") ;
lin merikarvia_PN = mkPN "Merikarvia" ;
lin merimasku_PN = mkPN "Merimasku" ;
lin miehikkälä_PN = mkPN "Miehikkälä" ;
lin mietoinen_PN = mkPN "Mietoinen" ;
lin mikkeli_PN = mkPN "Mikkeli" ;
lin mouhijärvi_PN = mkPN (mkN "Mouhijärvi" "Mouhijärviä") ;
lin muhos_PN = mkPN "Muhos" ;
lin multia_PN = mkPN "Multia" ;
lin muonio_PN = mkPN "Muonio" ;
lin muurame_PN = mkPN "Muurame" ;
lin muurla_PN = mkPN "Muurla" ;
lin mynämäki_PN = mkPN (mkN "Mynämäki" "Mynämäkiä") ;
lin myrskylä_PN = mkPN "Myrskylä" ;
lin mäntsälä_PN = mkPN "Mäntsälä" ;
lin mänttä_PN = mkPN "Mänttä" ;
lin mäntyharju_PN = mkPN "Mäntyharju" ;
lin naantali_PN = mkPN "Naantali" ;
lin nagu_PN = mkPN "Nauvo" ;
lin nakkila_PN = mkPN "Nakkila" ;
lin nastola_PN = mkPN "Nastola" ;
lin nickby_PN = mkPN "Nikkilä" ;
lin nilsiä_PN = mkPN "Nilsiä" ;
lin nivala_PN = mkPN "Nivala" ;
lin nokia_PN = mkPN "Nokia" ;
lin noormarkku_PN = mkPN "Noormarkku" ;
lin nousiainen_PN = mkPN "Nousiainen" ;
lin nuijamaa_PN = mkPN "Nuijamaa" ;
lin nurmes_PN = mkPN "Nurmes" ;
lin nurmijärvi_PN = mkPN (mkN "Nurmijärvi" "Nurmijärviä") ;
lin nurmo_PN = mkPN "Nurmo" ;
lin nykarleby_PN = mkPN "Uusi-Kaarlepyy" ;
lin närpes_PN = mkPN "Närpiä" ;
lin oitti_PN = mkPN "Oitti" ;
lin oravais_PN = mkPN "Oravainen" ;
lin orimattila_PN = mkPN "Orimattila" ;
lin oripää_PN = mkPN "Oripää" ;
lin orivesi_PN = mkPN (mkN "Orivesi" "Oriveden" "Orivesiä") ;
lin otaniemi_PN = mkPN (mkN "Otaniemi" "Otaniemiä") ;
lin oulainen_PN = mkPN "Oulainen" ;
lin oulu_PN = mkPN "Oulu" ;
lin oulunsalo_PN = mkPN "Oulunsalo" ;
lin outokumpu_PN = mkPN "Outokumpu" ;
lin padasjoki_PN = mkPN (mkN "Padasjoki" "Padasjokia") ;
lin paimio_PN = mkPN "Paimio" ;
lin paltamo_PN = mkPN "Paltamo" ;
lin pargas_PN = mkPN "Parainen" ;
lin parikkala_PN = mkPN "Parikkala" ;
lin parkano_PN = mkPN "Parkano" ;
lin parola_PN = mkPN "Parola" ;
lin pedersöre_PN = mkPN "Pedersöre" ;
lin pelkosenniemi_PN = mkPN (mkN "Pelkosenniemi" "Pelkosenniemiä") ;
lin pello_PN = mkPN "Pello" ;
lin perho_PN = mkPN "Perho" ;
lin perniö_PN = mkPN "Perniö" ;
lin pernå_PN = mkPN "Pernaja" ;
lin pertteli_PN = mkPN "Pertteli" ;
lin pertunmaa_PN = mkPN "Pertunmaa" ;
lin petäjävesi_PN = mkPN (mkN "Petäjävesi" "Petäjäveden" "Petäjävesiä") ;
lin pieksämäki_PN = mkPN (mkN "Pieksämäki" "Pieksämäkiä") ;
lin pielavesi_PN = mkPN (mkN "Pielavesi" "Pielaveden" "Pielavesiä") ;
lin pihtipudas_PN = mkPN "Pihtipudas" ;
lin piikkiö_PN = mkPN "Piikkiö" ;
lin piippola_PN = mkPN "Piippola" ;
lin pirkkala_PN = mkPN "Pirkkala" ;
lin pohja_PN = mkPN "Pohja" ;
lin polvijärvi_PN = mkPN (mkN "Polvijärvi" "Polvijärviä") ;
lin pomarkku_PN = mkPN "Pomarkku" ;
lin pori_PN = mkPN "Pori" ;
lin pornainen_PN = mkPN "Pornainen" ;
lin porvoo_PN = mkPN "Porvoo" ;
lin posio_PN = mkPN "Posio" ;
lin pudasjärvi_PN = mkPN (mkN "Pudasjärvi" "Pudasjärviä") ;
lin pukkila_PN = mkPN "Pukkila" ;
lin pulkkila_PN = mkPN "Pulkkila" ;
lin punkaharju_PN = mkPN "Punkaharju" ;
lin punkalaidun_PN = mkPN "Punkalaidun" ;
lin puolanka_PN = mkPN "Puolanka" ;
lin puumala_PN = mkPN "Puumala" ;
lin pyhtää_PN = mkPN "Pyhtää" ;
lin pyhäjoki_PN = mkPN (mkN "Pyhäjoki" "Pyhäjokia") ;
lin pyhäjärvi_PN = mkPN (mkN "Pyhäjärvi" "Pyhäjärviä") ;
lin pyhäntä_PN = mkPN "Pyhäntä" ;
lin pyhäranta_PN = mkPN "Pyhäranta" ;
lin pyhäsalmi_PN = mkPN (mkN "Pyhäsalmi" "Pyhäsalmia") ;
lin pyhäselkä_PN = mkPN "Pyhäselkä" ;
lin pylkönmäki_PN = mkPN (mkN "Pylkönmäki" "Pylkönmäkiä") ;
lin pälkäne_PN = mkPN "Pälkäne" ;
lin pöytyä_PN = mkPN "Pöytyä" ;
lin raahe_PN = mkPN "Raahe" ;
lin raisio_PN = mkPN "Raisio" ;
lin rantasalmi_PN = mkPN (mkN "Rantasalmi" "Rantasalmia") ;
lin rantsila_PN = mkPN "Rantsila" ;
lin ranua_PN = mkPN "Ranua" ;
lin rauma_PN = mkPN "Rauma" ;
lin rautalampi_PN = mkPN "Rautalampi" ;
lin rautavaara_PN = mkPN "Rautavaara" ;
lin rautjärvi_PN = mkPN (mkN "Rautjärvi" "Rautjärviä") ;
lin reisjärvi_PN = mkPN (mkN "Reisjärvi" "Reisjärviä") ;
lin renko_PN = mkPN "Renko" ;
lin replot_PN = mkPN "Raippaluoto" ;
lin riihimäki_PN = mkPN (mkN "Riihimäki" "Riihimäkiä") ;
lin ristiina_PN = mkPN "Ristiina" ;
lin ristijärvi_PN = mkPN (mkN "Ristijärvi" "Ristijärviä") ;
lin ristinummi_PN = mkPN (mkN "Ristinummi" "Ristinummia") ;
lin rovaniemi_PN = mkPN (mkN "Rovaniemi" "Rovaniemiä") ;
lin ruokolahti_PN = mkPN (mkN "Ruokolahti" "Ruokolahtia") ;
lin ruotsinpyhtää_PN = mkPN "Ruotsinpyhtää" ;
lin ruovesi_PN = mkPN (mkN "Ruovesi" "Ruovesiä") ;
lin rusko_PN = mkPN "Rusko" ;
lin ruukki_PN = mkPN (mkN "Ruukki" "Ruukkia") ;
lin rymättylä_PN = mkPN "Rymättylä" ;
lin rääkkylä_PN = mkPN "Rääkkylä" ;
lin saari_PN = mkPN (mkN "Saari" "Saaria") ;
lin saarijärvi_PN = mkPN (mkN "Saarijärvi" "Saarijärviä") ;
lin sahalahti_PN = mkPN (mkN "Sahalahti" "Sahalahtia") ;
lin salla_PN = mkPN "Salla" ;
lin salo_PN = mkPN "Salo" ;
lin sammatti_PN = mkPN (mkN "Sammatti" "Sammattia") ;
lin saukkola_PN = mkPN "Saukkola" ;
lin sauvo_PN = mkPN "Sauvo" ;
lin savitaipale_PN = mkPN "Savitaipale" ;
lin savonlinna_PN = mkPN "Savonlinna" ;
lin savonranta_PN = mkPN "Savonranta" ;
lin savukoski_PN = mkPN (mkN "Savukoski" "Savukoskia") ;
lin seinäjoki_PN = mkPN (mkN "Seinäjoki" "Seinäjokia") ;
lin sibbo_PN = mkPN "Sipoo" ;
lin sievi_PN = mkPN "Sievi" ;
lin siikainen_PN = mkPN "Siikainen" ;
lin siikajoki_PN = mkPN (mkN "Siikajoki" "Siikajokia") ;
lin siilinjärvi_PN = mkPN (mkN "Siilinjärvi" "Siilinjärviä") ;
lin simo_PN = mkPN "Simo" ;
lin simpele_PN = mkPN "Simpele" ;
lin siuntio_PN = mkPN "Siuntio" ;
lin smedsby_PN = mkPN "Sepänkylä" ;
lin sodankylä_PN = mkPN "Sodankylä" ;
lin soini_PN = mkPN "Soini" ;
lin somero_PN = mkPN "Somero" ;
lin sonkajärvi_PN = mkPN (mkN "Sonkajärvi" "Sonkajärviä") ;
lin sotkamo_PN = mkPN "Sotkamo" ;
lin sulkava_PN = mkPN "Sulkava" ;
lin sumiainen_PN = mkPN "Sumiainen" ;
lin suodenniemi_PN = mkPN (mkN "Suodenniemi" "Suodenniemiä") ;
lin suolahti_PN = mkPN (mkN "Suolahti" "Suolahtia") ;
lin suomusjärvi_PN = mkPN (mkN "Suomusjärvi" "Suomusjärviä") ;
lin suomussalmi_PN = mkPN (mkN "Suomussalmi" "Suomussalmia") ;
lin suonenjoki_PN = mkPN (mkN "Suonenjoki" "Suonenjokia") ;
lin sysmä_PN = mkPN "Sysmä" ;
lin säkylä_PN = mkPN "Säkylä" ;
lin särkisalo_PN = mkPN "Särkisalo" ;
lin säynätsalo_PN = mkPN "Säynätsalo" ;
lin taavetti_PN = mkPN "Taavetti" ;
lin taipalsaari_PN = mkPN (mkN "Taipalsaari" "Taipalsaaria") ;
lin taivalkoski_PN = mkPN (mkN "Taivalkoski" "Taivalkoskia") ;
lin taivassalo_PN = mkPN "Taivassalo" ;
lin tammela_PN = mkPN "Tammela" ;
lin tampere_PN = mkPN "Tampere" ;
lin tarvasjoki_PN = mkPN (mkN "Tarvasjoki" "Tarvasjokia") ;
lin teekkarikylä_PN = mkPN "Teekkarikylä" ;
lin teeriniemi_PN = mkPN (mkN "Teeriniemi" "Teeriniemiä") ;
lin tervakoski_PN = mkPN (mkN "Tervakoski" "Tervakoskia") ;
lin tervo_PN = mkPN "Tervo" ;
lin tervola_PN = mkPN "Tervola" ;
lin teuva_PN = mkPN "Teuva" ;
lin tohmajärvi_PN = mkPN (mkN "Tohmajärvi" "Tohmajärviä") ;
lin toholampi_PN = mkPN (mkN "Toholampi" "Toholampia") ;
lin toijala_PN = mkPN "Toijala" ;
lin toivakka_PN = mkPN "Toivakka" ;
lin tornio_PN = mkPN "Tornio" ;
lin turenki_PN = mkPN "Turenki" ;
lin turku_PN = mkPN "Turku" ;
lin tuulos_PN = mkPN "Tuulos" ;
lin tuupovaara_PN = mkPN "Tuupovaara" ;
lin tuusniemi_PN = mkPN (mkN "Tuusniemi" "Tuusniemiä") ;
lin tuusula_PN = mkPN "Tuusula" ;
lin tyrnävä_PN = mkPN "Tyrnävä" ;
lin töysä_PN = mkPN "Töysä" ;
lin ullava_PN = mkPN "Ullava" ;
lin ulvila_PN = mkPN "Ulvila" ;
lin urjala_PN = mkPN "Urjala" ;
lin utajärvi_PN = mkPN (mkN "Utajärvi" "Utajärviä") ;
lin utsjoki_PN = mkPN (mkN "Utsjoki" "Utsjokia") ;
lin uurainen_PN = mkPN "Uurainen" ;
lin uusikaupunki_PN = mkPN "Uusikaupunki" ;
lin vaala_PN = mkPN "Vaala" ;
lin vaasa_PN = mkPN "Vaasa" ;
lin vahto_PN = mkPN "Vahto" ;
lin valkeakoski_PN = mkPN (mkN "Valkeakoski" "Valkeakoskia") ;
lin valtimo_PN = mkPN "Valtimo" ;
lin vammala_PN = mkPN "Vammala" ;
lin vampula_PN = mkPN "Vampula" ;
lin vantaa_PN = mkPN "Vantaa" ;
lin varkaus_PN = mkPN "Varkaus" ;
lin varpaisjärvi_PN = mkPN (mkN "Varpaisjärvi" "Varpaisjärviä") ;
lin vehmaa_PN = mkPN "Vehmaa" ;
lin vehmersalmi_PN = mkPN (mkN "Vehmersalmi" "Vehmersalmia") ;
lin velkua_PN = mkPN "Velkua" ;
lin vesanto_PN = mkPN "Vesanto" ;
lin vesilahti_PN = mkPN (mkN "Vesilahti" "Vesilahtia") ;
lin veteli_PN = mkPN "Veteli" ;
lin vieremä_PN = mkPN "Vieremä" ;
lin vihanti_PN = mkPN "Vihanti" ;
lin vihti_PN = mkPN "Vihti" ;
lin viiala_PN = mkPN "Viiala" ;
lin viitasaari_PN = mkPN (mkN "Viitasaari" "Viitasaaria") ;
lin viljakkala_PN = mkPN "Viljakkala" ;
lin vilppula_PN = mkPN "Vilppula" ;
lin vimpeli_PN = mkPN (mkN "Vimpeli" "Vimpeliä") ;
lin vinkkilä_PN = mkPN "Vinkkilä" ;
lin virojoki_PN = mkPN (mkN "Virojoki" "Virojokia") ;
lin virolahti_PN = mkPN (mkN "Virolahti" "Virolahtia") ;
lin virrat_PN = mkPN "Virrat" ;
lin virtasalmi_PN = mkPN (mkN "Virtasalmi" "Virtasalmia") ;
lin vuokatti_PN = mkPN (mkN "Vuokatti" "Vuokattia") ;
lin vuolijoki_PN = mkPN (mkN "Vuolijoki" "Vuolijokia") ;
lin vähäkyrö_PN = mkPN "Vähäkyrö" ;
lin västanfjärd_PN = mkPN "Västanfjärd" ;
lin vörå_PN = mkPN "Vöyri" ;
lin yli_ii_PN = mkPN "Yli-Ii" ;
lin ylihärmä_PN = mkPN "Ylihärmä" ;
lin ylikiiminki_PN = mkPN "Ylikiiminki" ;
lin ylistaro_PN = mkPN "Ylistaro" ;
lin ylitornio_PN = mkPN "Ylitornio" ;
lin ylivieska_PN = mkPN "Ylivieska" ;
lin ylämaa_PN = mkPN "Ylämaa" ;
lin yläne_PN = mkPN "Yläne" ;
lin ylöjärvi_PN = mkPN (mkN "Ylöjärvi" "Ylöjärviä") ;
lin ypäjä_PN = mkPN "Ypäjä" ;
lin äetsä_PN = mkPN "Äetsä" ;
lin ähtäri_PN = mkPN (mkN "Ähtäri" "Ähtäriä") ;
lin äänekoski_PN = mkPN (mkN "Äänekoski" "Äänekoskia") ;
oper prepV2 : V -> Prep -> V2 = \v,p -> mkV2 v p ;