changed names of resource-1.3; added a note on homepage on release

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

+
+}