diff options
Diffstat (limited to 'old-examples/wiki/LexWikiSpa.gf')
| -rw-r--r-- | old-examples/wiki/LexWikiSpa.gf | 404 |
1 files changed, 404 insertions, 0 deletions
diff --git a/old-examples/wiki/LexWikiSpa.gf b/old-examples/wiki/LexWikiSpa.gf new file mode 100644 index 000000000..306aed30a --- /dev/null +++ b/old-examples/wiki/LexWikiSpa.gf @@ -0,0 +1,404 @@ + +instance LexWikiSpa of LexWiki = open SyntaxSpa, IrregSpa, ParadigmsSpa in { + + flags coding = utf8 ; + + oper +-- Sentences + singleWordCommand_Utt verb = mkUtt (mkVP verb) ; + command_Utt verb det noun = mkUtt (mkVP (mkV2 verb) (mkNP det noun)) ; + randomlyCommand_Utt verb det noun = mkUtt (mkVP (mkAdV "aleatoriamente") (mkVP (mkV2 verb) (mkNP det noun))) ; + label_Utt noun = mkUtt (mkNP (myMkPN noun)) ; + countryName_Utt pn = mkUtt (mkNP pn) ; + cuisineName_Utt pn = mkUtt (mkNP pn) ; + +-- Verbs + cancel_V = mkV "cancelar" ; + select_V = mkV "seleccionar" ; + edit_V = mkV "editar" ; + save_V = mkV "guardar" ; + add_V = mkV "agregar" ; + undo_V = deshacer_V ; + redo_V = rehacer_V ; + cut_V = mkV "cortar" ; + copy_V = mkV "copiar" ; + paste_V = mkV "pegar" ; + delete_V = mkV "borrar" ; + refine_V = mkV "refinar" ; + replace_V = mkV "reemplazar" ; + wrap_V = envolver_V ; + +-- Nouns +-- Information + information_N = mkN "información" feminine; + name_N = mkN "nombre" ; + address_N = mkN "dirección" ; + city_N = mkN "ciudad" ; + state_N = mkN "estado" ; + postalcode_N = compN (mkN "código") "postal" ; + country_N = mkN "país" ; + phone_N = mkN "teléfono" ; + cuisine_N = mkN "cocina" ; + language_N = mkN "lenguaje" ; + +-- Misc + page_N = mkN "página" ; + index_N = mkN "índice" ; + review_N = mkN "crítica" ; + restaurant_N = mkN "restaurante" ; + food_N = mkN "comida" ; + service_N = mkN "servicio" ; + node_N = mkN "nodo" ; + tree_N = mkN "árbol" ; + +-- Proper Nouns +-- Countries + Andorra_PN = mkPN "Andorra" feminine ; + UnitedArabEmirates_PN = mkPN ("Emiratos" ++ "Árabes" ++ "Unidos") masculine ; + Afghanistan_PN = mkPN "Afganistán" masculine ; + AntiguaAndBarbuda_PN = mkPN ("Antigua" ++ "y" ++ "Barbuda") feminine ; + Anguilla_PN = mkPN "Anguila" feminine ; + Albania_PN = mkPN "Albania" feminine ; + Armenia_PN = mkPN "Armenia" feminine ; + NetherlandsAntilles_PN = mkPN ("Antillas" ++ "Neerlandesas") feminine ; + Angola_PN = mkPN "Angola" feminine ; + Antarctica_PN = mkPN "Antártida" feminine ; + Argentina_PN = mkPN "Argentina" feminine ; + AmericanSamoa_PN = mkPN ("Samoa" ++ "americana") feminine ; + Austria_PN = mkPN "Austria" feminine ; + Australia_PN = mkPN "Australia" feminine ; + Aruba_PN = mkPN "Aruba" feminine ; + AlandIslands_PN = mkPN ("Islas" ++ "Aland") feminine ; + Azerbaijan_PN = mkPN "Azerbaiyán" masculine ; + BosniaAndHerzegovina_PN = mkPN ("Bosnia" ++ "y" ++ "Hercegovina") feminine ; + Barbados_PN = mkPN "Barbados" masculine ; + Bangladesh_PN = mkPN "Bangladesh" masculine ; + Belgium_PN = mkPN "Bélgica" feminine ; + BurkinaFaso_PN = mkPN ("Burkina" ++ "Faso") masculine ; + Bulgaria_PN = mkPN "Bulgaria" feminine ; + Bahrain_PN = mkPN "Bahráin" masculine ; + Burundi_PN = mkPN "Burundi" masculine ; + Benin_PN = mkPN "Benín" masculine ; + Bermuda_PN = mkPN "Bermudas" feminine ; + Brunei_PN = mkPN "Brunéi" masculine ; + Bolivia_PN = mkPN "Bolivia" feminine ; + Brazil_PN = mkPN "Brasil" masculine ; + Bahamas_PN = mkPN "Bahamas" feminine ; + Bhutan_PN = mkPN "Bután" masculine ; + BouvetIsland_PN = mkPN ("Isla" ++ "Bouvet") feminine ; + Botswana_PN = mkPN "Botsuana" feminine ; + Belarus_PN = mkPN "Bielorrusia" feminine ; + Belize_PN = mkPN "Belice" masculine ; + Canada_PN = mkPN "Canadá" feminine ; + CocosIslands_PN = mkPN ("Islas" ++ "Cocos") feminine ; + CongoDemocraticRepublicofthe_PN = mkPN ("Congo," ++ "República" ++ "Democrática" ++ "del") masculine ; + CentralAfricanRepublic_PN = mkPN ("República" ++ "Centroafricana") feminine ; + Congo_PN = mkPN "Congo" masculine ; + Switzerland_PN = mkPN "Suiza" feminine ; + CotedIvoire_PN = mkPN ("Costa" ++ "de" ++ "Marfil") feminine ; + CookIslands_PN = mkPN ("Islas" ++ "Cook") feminine ; + Chile_PN = mkPN "Chile" masculine ; + Cameroon_PN = mkPN "Camerún" masculine ; + China_PN = mkPN "China" feminine ; + Colombia_PN = mkPN "Colombia" feminine ; + CostaRica_PN = mkPN ("Costa" ++ "Rica") feminine ; + SerbiaAndMontenegro_PN = mkPN ("Serbia" ++ "y" ++ "Montenegro") masculine ; + Cuba_PN = mkPN "Cuba" feminine ; + CapeVerde_PN = mkPN ("Cabo" ++ "Verde") masculine ; + ChristmasIsland_PN = mkPN ("Isla" ++ "Christmas") feminine ; + Cyprus_PN = mkPN "Chipre" masculine ; + CzechRepublic_PN = mkPN ("República" ++ "Checa") feminine ; + Germany_PN = mkPN "Alemania" feminine ; + Djibouti_PN = mkPN "Yibuti" masculine ; + Denmark_PN = mkPN "Dinamarca" feminine ; + Dominica_PN = mkPN "Dominica" feminine ; + DominicanRepublic_PN = mkPN ("República" ++ "Dominicana") feminine ; + Algeria_PN = mkPN "Argelia" feminine ; + Ecuador_PN = mkPN "Ecuador" masculine ; + Estonia_PN = mkPN "Estonia" feminine ; + Egypt_PN = mkPN "Egipto" masculine ; + WesternSahara_PN = mkPN ("Sáhara" ++ "Occidental") feminine ; + Eritrea_PN = mkPN "Eritrea" feminine ; + Spain_PN = mkPN "España" feminine ; + Ethiopia_PN = mkPN "Etiopía" feminine ; + Finland_PN = mkPN "Finlandia" feminine ; + Fiji_PN = mkPN "Fiyi" masculine ; + FalklandIslands_PN = mkPN ("Islas" ++ "Malvinas") feminine ; + Micronesia_PN = mkPN "Micronesia" feminine ; + FaroeIslands_PN = mkPN ("Islas" ++ "Feroe") feminine ; + France_PN = mkPN "Francia" feminine ; + Gabon_PN = mkPN "Gabón" masculine ; + UnitedKingdom_PN = mkPN ("Reino" ++ "Unido") masculine ; + Grenada_PN = mkPN "Granada" feminine ; + Georgia_PN = mkPN "Georgia" feminine ; + FrenchGuiana_PN = mkPN ("Guayana" ++ "Francesa") feminine ; + Guernsey_PN = mkPN "Guernsey" masculine ; + Ghana_PN = mkPN "Ghana" feminine ; + Gibraltar_PN = mkPN "Gibraltar" masculine ; + Greenland_PN = mkPN "Groenlandia" feminine ; + Gambia_PN = mkPN "Gambia" feminine ; + Guinea_PN = mkPN "Guinea" feminine ; + Guadeloupe_PN = mkPN "Guadalupe" masculine ; + EquatorialGuinea_PN = mkPN "Guinea" feminine ; + Greece_PN = mkPN "Grecia" feminine ; + SouthGeorgiaAndTheSouthSandwichIslands_PN = mkPN ("Islas" ++ "Georgia" ++ "del" ++ "Sur" ++ "y" ++ "Sandwich" ++ "del" ++ "Sur") feminine ; + Guatemala_PN = mkPN "Guatemala" feminine ; + Guam_PN = mkPN "Guam" masculine ; + GuineaBissau_PN = mkPN "Guinea-Bissau" feminine ; + Guyana_PN = mkPN "Guyana" feminine ; + HongKong_PN = mkPN ("Hong" ++ "Kong") masculine ; + HeardIslandAndMcDonaldIslands_PN = mkPN ("Islas" ++ "Heard" ++ "y" ++ "McDonald") feminine ; + Honduras_PN = mkPN "Honduras" masculine ; + Croatia_PN = mkPN "Croacia" feminine ; + Haiti_PN = mkPN "Haití" masculine ; + Hungary_PN = mkPN "Hungría" feminine ; + Indonesia_PN = mkPN "Indonesia" feminine ; + Ireland_PN = mkPN "Irlanda" feminine ; + Israel_PN = mkPN "Israel" masculine ; + IsleofMan_PN = mkPN ("Isla" ++ "de" ++ "Man") feminine ; + India_PN = mkPN "India" feminine ; + BritishIndianOceanTerritory_PN = mkPN ("Territorio" ++ "Británico" ++ "del" ++ "Océano" ++ "Índico") masculine ; + Iraq_PN = mkPN "Iraq" masculine ; + Iran_PN = mkPN "Irán" masculine ; + Iceland_PN = mkPN "Islandia" feminine ; + Italy_PN = mkPN "Italia" feminine ; + Jersey_PN = mkPN "Jersey" masculine ; + Jamaica_PN = mkPN "Jamaica" feminine ; + Jordan_PN = mkPN "Jordania" feminine ; + Japan_PN = mkPN "Japón" masculine ; + Kenya_PN = mkPN "Kenia" feminine ; + Kyrgyzstan_PN = mkPN "Kirguizistán" masculine ; + Cambodia_PN = mkPN "Camboya" feminine ; + Kiribati_PN = mkPN "Kiribati" masculine ; + Comoros_PN = mkPN "Comoras" feminine ; + SaintKittsAndNevis_PN = mkPN ("San" ++ "Cristóbal" ++ "y" ++ "Nieves") masculine ; + NorthKorea_PN = mkPN ("Corea" ++ "del" ++ "Norte") feminine ; + SouthKorea_PN = mkPN ("Corea" ++ "del" ++ "Sur") feminine ; + Kuwait_PN = mkPN "Kuwait" masculine ; + CaymanIslands_PN = mkPN ("Islas" ++ "Caimán") feminine ; + Kazakhstan_PN = mkPN "Kazajistán" masculine ; + Laos_PN = mkPN "Laos" masculine ; + Lebanon_PN = mkPN "Líbano" masculine ; + SaintLucia_PN = mkPN ("Santa" ++ "Lucía") feminine ; + Liechtenstein_PN = mkPN "Liechtenstein" masculine ; + SriLanka_PN = mkPN ("Sri" ++ "Lanka") feminine ; + Liberia_PN = mkPN "Liberia" feminine ; + Lesotho_PN = mkPN "Lesoto" masculine ; + Lithuania_PN = mkPN "Lituania" feminine ; + Luxembourg_PN = mkPN "Luxemburgo" masculine ; + Latvia_PN = mkPN "Letonia" feminine ; + Libya_PN = mkPN "Libia" feminine ; + Morocco_PN = mkPN "Marruecos" masculine ; + Monaco_PN = mkPN "Mónaco" masculine ; + Moldova_PN = mkPN "Moldavia" feminine ; + Montenegro_PN = mkPN "Montenegro" masculine ; + Madagascar_PN = mkPN "Madagascar" masculine ; + MarshallIslands_PN = mkPN ("Islas" ++ "Marshall") feminine ; + Macedonia_PN = mkPN "Macedonia" feminine ; + Mali_PN = mkPN "Mali" masculine ; + Myanmar_PN = mkPN "Myanmar" masculine ; + Mongolia_PN = mkPN "Mongolia" feminine ; + Macao_PN = mkPN "Macao" masculine ; + NorthernMarianaIslands_PN = mkPN ("Islas" ++ "Mariana" ++ "del" ++ "Norte") feminine ; + Martinique_PN = mkPN "Martinica" feminine ; + Mauritania_PN = mkPN "Mauritania" feminine ; + Montserrat_PN = mkPN "Montserrat" masculine ; + Malta_PN = mkPN "Malta" feminine ; + Mauritius_PN = mkPN "Mauricio" masculine ; + Maldives_PN = mkPN "Maldivas" feminine ; + Malawi_PN = mkPN "Malaui" masculine ; + Mexico_PN = mkPN "México" masculine ; + Malaysia_PN = mkPN "Malasia" feminine ; + Mozambique_PN = mkPN "Mozambique" masculine ; + Namibia_PN = mkPN "Namibia" feminine ; + NewCaledonia_PN = mkPN ("Nueva" ++ "Caledonia") feminine ; + Niger_PN = mkPN "Níger" masculine ; + NorfolkIsland_PN = mkPN ("Isla" ++ "Norfolk") feminine ; + Nigeria_PN = mkPN "Nigeria" feminine ; + Nicaragua_PN = mkPN "Nicaragua" feminine ; + Netherlands_PN = mkPN ("Países" ++ "Bajos") masculine ; + Norway_PN = mkPN "Noruega" feminine ; + Nepal_PN = mkPN "Nepal" masculine ; + Nauru_PN = mkPN "Nauru" masculine ; + Niue_PN = mkPN "Niue" masculine ; + NewZealand_PN = mkPN ("Nueva" ++ "Zelanda") feminine ; + Oman_PN = mkPN "Omán" masculine ; + Panama_PN = mkPN "Panamá" feminine ; + Peru_PN = mkPN "Perú" masculine ; + FrenchPolynesia_PN = mkPN ("Polinesia" ++ "Francesa") feminine ; + PapuaNewGuinea_PN = mkPN ("Papúa-Nueva" ++ "Guinea") feminine ; + Philippines_PN = mkPN "Filipinas" feminine ; + Pakistan_PN = mkPN "Pakistán" masculine ; + Poland_PN = mkPN "Polonia" feminine ; + SaintPierreAndMiquelon_PN = mkPN ("San" ++ "Pedro" ++ "y" ++ "Miquelón") masculine ; + Pitcairn_PN = mkPN ("Islas" ++ "Pitcairn") feminine ; + PuertoRico_PN = mkPN ("Puerto" ++ "Rico") masculine ; + PalestinianTerritory_PN = mkPN ("Territorio" ++ "Palestino") masculine ; + Portugal_PN = mkPN "Portugal" masculine ; + Palau_PN = mkPN "Palaos" masculine ; + Paraguay_PN = mkPN "Paraguay" masculine ; + Qatar_PN = mkPN "Qatar" masculine ; + Reunion_PN = mkPN "Reunión" masculine ; + Romania_PN = mkPN "Rumania" feminine ; + Serbia_PN = mkPN "Serbia" feminine ; + Russia_PN = mkPN "Rusia" feminine ; + Rwanda_PN = mkPN "Ruanda" feminine ; + SaudiArabia_PN = mkPN ("Arabia" ++ "Saudí") feminine ; + SolomonIslands_PN = mkPN ("Islas" ++ "Salomón") feminine ; + Seychelles_PN = mkPN "Seychelles" masculine ; + Sudan_PN = mkPN "Sudán" masculine ; + Sweden_PN = mkPN "Suecia" feminine ; + Singapore_PN = mkPN "Singapur" masculine ; + SaintHelena_PN = mkPN ("Santa" ++ "Elena") feminine ; + Slovenia_PN = mkPN "Eslovenia" feminine ; + SvalbardAndJanMayen_PN = mkPN ("Islas" ++ "Svalbard" ++ "y" ++ "Jan" ++ "Mayen") feminine ; + Slovakia_PN = mkPN "Eslovaquia" feminine ; + SierraLeone_PN = mkPN ("Sierra" ++ "Leona") feminine ; + SanMarino_PN = mkPN ("San" ++ "Marino") masculine ; + Senegal_PN = mkPN "Senegal" masculine ; + Somalia_PN = mkPN "Somalia" feminine ; + Suriname_PN = mkPN "Surinam" masculine ; + SaoTomeAndPrincipe_PN = mkPN ("Santo" ++ "Tomé" ++ "y" ++ "Príncipe") masculine ; + ElSalvador_PN = mkPN ("El" ++ "Salvador") masculine ; + Syria_PN = mkPN "Siria" feminine ; + Swaziland_PN = mkPN "Suazilandia" feminine ; + TurksAndCaicosIslands_PN = mkPN ("Islas" ++ "Turcas" ++ "y" ++ "Caicos") feminine ; + Chad_PN = mkPN "Chad" masculine ; + FrenchSouthernTerritories_PN = mkPN ("Territorios" ++ "Australes" ++ "Franceses") masculine ; + Togo_PN = mkPN "Togo" masculine ; + Thailand_PN = mkPN "Tailandia" feminine ; + Tajikistan_PN = mkPN "Tayikistán" masculine ; + Tokelau_PN = mkPN "Tokelau" masculine ; + EastTimor_PN = mkPN ("Timor" ++ "Oriental") masculine ; + Turkmenistan_PN = mkPN "Turkmenistán" masculine ; + Tunisia_PN = mkPN "Túnez" masculine ; + Tonga_PN = mkPN "Tonga" feminine ; + Turkey_PN = mkPN "Turquía" feminine ; + TrinidadAndTobago_PN = mkPN ("Trinidad" ++ "y" ++ "Tobago") masculine ; + Tuvalu_PN = mkPN "Tuvalu" masculine ; + Taiwan_PN = mkPN "Taiwán" masculine ; + Tanzania_PN = mkPN "Tanzania" feminine ; + Ukraine_PN = mkPN "Ucrania" feminine ; + Uganda_PN = mkPN "Uganda" feminine ; + UnitedStatesMinorOutlyingIslands_PN = mkPN ("Islas" ++ "menores" ++ "alejadas" ++ "de" ++ "los" ++ "Estados" ++ "Unidos") feminine ; + UnitedStates_PN = mkPN ("Estados" ++ "Unidos") masculine ; + Uruguay_PN = mkPN "Uruguay" masculine ; + Uzbekistan_PN = mkPN "Uzbekistán" masculine ; + VaticanCity_PN = mkPN ("Ciudad" ++ "del" ++ "Vaticano") feminine ; + SaintVincentAndtheGrenadines_PN = mkPN ("San" ++ "Vicente" ++ "y" ++ "las" ++ "Granadinas") masculine ; + Venezuela_PN = mkPN "Venezuela" feminine ; + VirginIslandsBritish_PN = mkPN ("Islas" ++ "Vírgenes" ++ "Británicas") feminine ; + VirginIslandsUS_PN = mkPN ("Islas" ++ "Vírgenes," ++ "EE.UU.") feminine ; + Vietnam_PN = mkPN "Vietnam" masculine ; + Vanuatu_PN = mkPN "Vanuatu" masculine ; + WallisAndFutuna_PN = mkPN ("Wallis" ++ "y" ++ "Futuna") feminine ; + Samoa_PN = mkPN "Samoa" feminine ; + Yemen_PN = mkPN "Yemen" masculine ; + Mayotte_PN = mkPN "Mayotte" masculine ; + SouthAfrica_PN = mkPN "Sudáfrica" feminine ; + Zambia_PN = mkPN "Zambia" feminine ; + Zimbabwe_PN = mkPN "Zimbabue" masculine ; + +-- Cuisines + Afghani_PN = mkPN "Afgana" ; + African_PN = mkPN "Africana" ; + American_PN = mkPN "Americana" ; + Arabic_PN = mkPN "Arabe" ; + Argentine_PN = mkPN "Argentina" ; + Armenian_PN = mkPN "Armenia" ; + Asian_PN = mkPN "Asiática" ; + Australian_PN = mkPN "Australiana" ; + Austrian_PN = mkPN "Austriaca" ; + Balinese_PN = mkPN "Balinesa" ; + Basque_PN = mkPN "Vasca" ; + Belgian_PN = mkPN "Belga" ; + Brazilian_PN = mkPN "Brasileña" ; + Bulgarian_PN = mkPN "Búlgara" ; + Burmese_PN = mkPN "Birmana" ; + Cajun_PN = mkPN "Cajun" ; + Cambodian_PN = mkPN "Camboyana" ; + Caribbean_PN = mkPN "Caribeña" ; + Catalan_PN = mkPN "Catalana" ; + Chinese_PN = mkPN "China" ; + Colombian_PN = mkPN "Colombiana" ; + Contemporary_PN = mkPN "Contemporánea" ; + Continental_PN = mkPN "Continental" ; + Creole_PN = mkPN "Criolla" ; + Cuban_PN = mkPN "Cubana" ; + Czech_PN = mkPN "Checa" ; + Dutch_PN = mkPN "Holandesa" ; + EasternEuropean_PN = mkPN ("Europea" ++ "oriental") feminine ; + Eclectic_PN = mkPN "Ecléctica" ; + Egyptian_PN = mkPN "Egipcia" ; + English_PN = mkPN "Inglesa" ; + Ethiopian_PN = mkPN "Etíope" ; + Ethnic_PN = mkPN "Etnica" ; + French_PN = mkPN "Francesa" ; + Fusion_PN = mkPN "Fusión" ; + German_PN = mkPN "Alemana" ; + Greek_PN = mkPN "Griega" ; + Haitian_PN = mkPN "Haitiana" ; + Hungarian_PN = mkPN "Húngara" ; + Indian_PN = mkPN "India" ; + Indonesian_PN = mkPN "Indonesia" ; + International_PN = mkPN "Internacional" ; + Irish_PN = mkPN "Irlandesa" ; + Israeli_PN = mkPN "Israelí" ; + Italian_PN = mkPN "Italiana" ; + Jamaican_PN = mkPN "Jamaiquina" ; + Japanese_PN = mkPN "Japonesa" ; + Jewish_PN = mkPN "Judía" ; + Korean_PN = mkPN "Coreana" ; + LatinAmerican_PN = mkPN "Latinoamericana" ; + Lebanese_PN = mkPN "Libanesa" ; + Malaysian_PN = mkPN "Malasia" ; + Mexican_PN = mkPN "Mexicana" ; + MiddleEastern_PN = mkPN ("Del" ++ "Medio" ++ "Oriente") feminine ; + Mongolian_PN = mkPN "Mongola" ; + Moroccan_PN = mkPN "Marroquí" ; + NewZealandCuisine_PN = mkPN "Neozelandesa" ; + Nicaraguan_PN = mkPN "Nicaraguense" ; + Nouveau_PN = mkPN "Nouveau" ; + Pakistani_PN = mkPN "Pakistaní" ; + Persian_PN = mkPN "Persa" ; + Peruvian_PN = mkPN "Peruana" ; + Philippine_PN = mkPN "Filipina" ; + Polish_PN = mkPN "Polaca" ; + Polynesian_PN = mkPN "Polinesia" ; + Portuguese_PN = mkPN "Portuguesa" ; + PuertoRican_PN = mkPN "Puertorriqueña" ; + Russian_PN = mkPN "Rusa" ; + Salvadorean_PN = mkPN "Salvadoreña" ; + Scandinavian_PN = mkPN "Escandinava" ; + Scottish_PN = mkPN "Escocesa" ; + Seafood_PN = mkPN ("Pescados" ++ "y" ++ "mariscos") feminine ; + Singaporean_PN = mkPN "Singapurense" ; + Spanish_PN = mkPN "Española" ; + SriLankan_PN = mkPN "Esrilanquesa" ; + Swedish_PN = mkPN "Sueca" ; + Swiss_PN = mkPN "Suiza" ; + Tex_Mex_PN = mkPN "Tex-Mex" ; + Thai_PN = mkPN "Tailandesa" ; + Tibetan_PN = mkPN "Tibetana" ; + Turkish_PN = mkPN "Turca" ; + Ukrainian_PN = mkPN "Ucraniana" ; + Vegan_PN = mkPN "Vegana" ; + Vegetarian_PN = mkPN "Vegetariana" ; + Venezulean_PN = mkPN "Venezolana" ; + Vietnamese_PN = mkPN "Vietnamita" ; + +-- Determiners + defSg_Det = defSgDet ; +-- defPl_Det = defPlDet ; + indefSg_Det = indefSgDet ; +-- indefPl_Det = indefPlDet ; + this_Det = mkDet this_QuantSg ; +-- that_Det = mkDet that_QuantSg ; +-- these_Det = mkDet these_QuantPl ; +-- those_Det = mkDet those_QuantPl ; + +-- Functions
+ myMkPN : N -> PN =
+ \n -> {s = n.s ! singular ; g = n.g ; lock_PN = <>} ;
+ +} |