msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

added wiki grammars

Browse Source
This commit is contained in:
aarne
2008-03-04 11:56:12 +00:00
parent b21fe03735
commit bc77ad3163
39 changed files with 4484 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

404
examples/wiki/LexWikiSpa.gf Normal file
View File

@@ -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 = <>} ;
}