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

1 files changed, 0 insertions, 404 deletions

diff --git a/examples/wiki/LexWikiSpa.gf b/examples/wiki/LexWikiSpa.gf
deleted file mode 100644
index 306aed30a..000000000
--- a/examples/wiki/LexWikiSpa.gf
+++ /dev/null
@@ -1,404 +0,0 @@
-
-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 = <>} ;

-
-}