
instance LexWikiFre of LexWiki = open SyntaxFre, ParadigmsFre, IrregFre in {

---	flags coding = utf8 ;
        oper mkAdV : Str -> AdV = \s -> {s = s ; lock_AdV = <>} ; ---
          myMkPN : N -> PN = \n -> {s = n.s ! singular ; g = n.g ; lock_PN = <>} ;

	oper
-- Sentences
		singleWordCommand_Utt verb			= mkUtt politeImpForm positivePol (mkImp verb) ;
		command_Utt verb det noun			= mkUtt politeImpForm positivePol (mkImp (mkVP (mkV2 verb) (mkNP det noun))) ;
		randomlyCommand_Utt verb det noun	= mkUtt politeImpForm positivePol (mkImp (mkVP (mkAdV "aléatoirement") (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 "annuler" ;
		select_V		= mkV "selectionner" ;
		edit_V			= mkV "rédiger" ;
		save_V			= mkV "sauvegarder" ;
		add_V			= mkV "ajouter" ;
		undo_V			= défaire_V2 ;
		redo_V			= refaire_V2 ;
		cut_V			= mkV "couper" ;
		copy_V			= mkV "copier" ;
		paste_V			= mkV "coller" ;
		delete_V		= mkV "supprimer" ;
		refine_V		= mkV "raffiner" ;
		replace_V		= mkV "remplacer" ;
		wrap_V			= mkV "emballer" ;

-- Nouns
--	Information		
		information_N	= mkN "informaatio" ;
		name_N			= mkN "nom" ;
		address_N		= mkN "adresse" ;
		city_N			= mkN "ville" ;
		state_N			= mkN "état" ;
		postalcode_N	= mkN "code" masculine ;
		country_N		= mkN "pays" ;
		phone_N			= mkN "téléphone" masculine ;
		cuisine_N		= mkN "cuisine" ;
		language_N		= mkN "langue" ;

--	Misc
		page_N			= mkN "page" ;
		index_N			= mkN "index" ;
		review_N		= mkN "critique" ;
		restaurant_N	= mkN "restaurant" ;
		food_N			= mkN "manger" ;
		service_N		= mkN "service" masculine ;
		node_N			= mkN "noeud" ;
		tree_N			= mkN "arbre" ;

-- Proper Nouns
--	Countries
		Andorra_PN									= mkPN "Andorra" ;	
		UnitedArabEmirates_PN						= mkPN ("United_Arab_Emirates") ;				
		Afghanistan_PN								= mkPN "Afghanistan" ;		
		AntiguaAndBarbuda_PN						= mkPN ("Antigua_and_Barbuda") ;				
		Anguilla_PN									= mkPN "Anguilla" ;		
		Albania_PN									= mkPN "Albania" ;	
		Armenia_PN									= mkPN "Armenia" ;	
		NetherlandsAntilles_PN						= mkPN ("Netherlands_Antilles") ;				
		Angola_PN									= mkPN "Angola" ;	
		Antarctica_PN								= mkPN "Antarctica" ;		
		Argentina_PN								= mkPN "Argentina" ;		
		AmericanSamoa_PN							= mkPN ("American_Samoa") ;			
		Austria_PN									= mkPN "Austria" ;	
		Australia_PN								= mkPN "Australia" ;		
		Aruba_PN									= mkPN "Aruba" ;	
		AlandIslands_PN								= mkPN ("Aland_Islands") ;			
		Azerbaijan_PN								= mkPN "Azerbaijan" ;		
		BosniaAndHerzegovina_PN						= mkPN ("Bosnia_and_Herzegovina") ;					
		Barbados_PN									= mkPN "Barbados" ;		
		Bangladesh_PN								= mkPN "Bangladesh" ;		
		Belgium_PN									= mkPN "Belgium" ;	
		BurkinaFaso_PN								= mkPN ("Burkina_Faso") ;		
		Bulgaria_PN									= mkPN "Bulgaria" ;		
		Bahrain_PN									= mkPN "Bahrain" ;	
		Burundi_PN									= mkPN "Burundi" ;	
		Benin_PN									= mkPN "Benin" ;	
		Bermuda_PN									= mkPN "Bermuda" ;	
		Brunei_PN									= mkPN "Brunei" ;	
		Bolivia_PN									= mkPN "Bolivia" ;	
		Brazil_PN									= mkPN "Brazil" ;	
		Bahamas_PN									= mkPN "Bahamas" ;	
		Bhutan_PN									= mkPN "Bhutan" ;	
		BouvetIsland_PN								= mkPN ("Bouvet_Island") ;			
		Botswana_PN									= mkPN "Botswana" ;		
		Belarus_PN									= mkPN "Belarus" ;	
		Belize_PN									= mkPN "Belize" ;	
		Canada_PN									= mkPN "Canada" ;	
		CocosIslands_PN								= mkPN ("Cocos_Islands") ;			
		CongoDemocraticRepublicofthe_PN				= mkPN ("Congo,_Democratic_Republic_of_the") ;							
		CentralAfricanRepublic_PN					= mkPN ("Central_African_Republic") ;					
		Congo_PN									= mkPN "Congo" ;	
		Switzerland_PN								= mkPN "Switzerland" ;		
		CotedIvoire_PN								= mkPN ("CÃ´te_d'Ivoire") ;		
		CookIslands_PN								= mkPN ("Cook_Islands") ;		
		Chile_PN									= mkPN "Chile" ;	
		Cameroon_PN									= mkPN "Cameroon" ;		
		China_PN									= mkPN "China" ;	
		Colombia_PN									= mkPN "Colombia" ;		
		CostaRica_PN								= mkPN ("Costa_Rica") ;		
		SerbiaAndMontenegro_PN						= mkPN ("Serbia_and_Montenegro") ;				
		Cuba_PN										= mkPN "Cuba" ;	
		CapeVerde_PN								= mkPN ("Cape_Verde") ;		
		ChristmasIsland_PN							= mkPN ("Christmas_Island") ;			
		Cyprus_PN									= mkPN "Cyprus" ;	
		CzechRepublic_PN							= mkPN ("Czech_Republic") ;			
		Germany_PN									= mkPN "Germany" ;	
		Djibouti_PN									= mkPN "Djibouti" ;		
		Denmark_PN									= mkPN "Denmark" ;	
		Dominica_PN									= mkPN "Dominica" ;		
		DominicanRepublic_PN						= mkPN ("Dominican_Republic") ;				
		Algeria_PN									= mkPN "Algeria" ;	
		Ecuador_PN									= mkPN "Ecuador" ;	
		Estonia_PN									= mkPN "Estonia" ;	
		Egypt_PN									= mkPN "Egypt" ;	
		WesternSahara_PN							= mkPN ("Western_Sahara") ;			
		Eritrea_PN									= mkPN "Eritrea" ;	
		Spain_PN									= mkPN "Spain" ;	
		Ethiopia_PN									= mkPN "Ethiopia" ;		
		Finland_PN									= mkPN "Finland" ;	
		Fiji_PN										= mkPN "Fiji" ;	
		FalklandIslands_PN							= mkPN ("Falkland_Islands") ;			
		Micronesia_PN								= mkPN "Micronesia" ;		
		FaroeIslands_PN								= mkPN ("Faroe_Islands") ;			
		France_PN									= mkPN "France" ;	
		Gabon_PN									= mkPN "Gabon" ;	
		UnitedKingdom_PN							= mkPN ("United_Kingdom") ;			
		Grenada_PN									= mkPN "Grenada" ;	
		Georgia_PN									= mkPN "Georgia" ;	
		FrenchGuiana_PN								= mkPN ("French_Guiana") ;			
		Guernsey_PN									= mkPN "Guernsey" ;		
		Ghana_PN									= mkPN "Ghana" ;	
		Gibraltar_PN								= mkPN "Gibraltar" ;		
		Greenland_PN								= mkPN "Greenland" ;		
		Gambia_PN									= mkPN "Gambia" ;	
		Guinea_PN									= mkPN "Guinea" ;	
		Guadeloupe_PN								= mkPN "Guadeloupe" ;		
		EquatorialGuinea_PN							= mkPN ("Equatorial_Guinea") ;				
		Greece_PN									= mkPN "Greece" ;	
		SouthGeorgiaAndTheSouthSandwichIslands_PN	= mkPN ("South_Georgia_and_the_South_Sandwich_Islands") ;									
		Guatemala_PN								= mkPN "Guatemala" ;		
		Guam_PN										= mkPN "Guam" ;	
		GuineaBissau_PN								= mkPN "Guinea-Bissau" ;			
		Guyana_PN									= mkPN "Guyana" ;	
		HongKong_PN									= mkPN ("Hong_Kong") ;		
		HeardIslandAndMcDonaldIslands_PN			= mkPN ("Heard_Island_and_McDonald_Islands") ;							
		Honduras_PN									= mkPN "Honduras" ;		
		Croatia_PN									= mkPN "Croatia" ;	
		Haiti_PN									= mkPN "Haiti" ;	
		Hungary_PN									= mkPN "Hungary" ;	
		Indonesia_PN								= mkPN "Indonesia" ;		
		Ireland_PN									= mkPN "Ireland" ;	
		Israel_PN									= mkPN "Israel" ;	
		IsleofMan_PN								= mkPN ("Isle_of_Man") ;		
		India_PN									= mkPN "India" ;	
		BritishIndianOceanTerritory_PN				= mkPN ("British_Indian_Ocean_Territory") ;						
		Iraq_PN										= mkPN "Iraq" ;	
		Iran_PN										= mkPN "Iran" ;	
		Iceland_PN									= mkPN "Iceland" ;	
		Italy_PN									= mkPN "Italy" ;	
		Jersey_PN									= mkPN "Jersey" ;	
		Jamaica_PN									= mkPN "Jamaica" ;	
		Jordan_PN									= mkPN "Jordan" ;	
		Japan_PN									= mkPN "Japan" ;	
		Kenya_PN									= mkPN "Kenya" ;	
		Kyrgyzstan_PN								= mkPN "Kyrgyzstan" ;		
		Cambodia_PN									= mkPN "Cambodia" ;		
		Kiribati_PN									= mkPN "Kiribati" ;		
		Comoros_PN									= mkPN "Comoros" ;	
		SaintKittsAndNevis_PN						= mkPN ("Saint_Kitts_and_Nevis") ;				
		NorthKorea_PN								= mkPN ("North_Korea") ;		
		SouthKorea_PN								= mkPN ("South_Korea") ;		
		Kuwait_PN									= mkPN "Kuwait" ;	
		CaymanIslands_PN							= mkPN ("Cayman_Islands") ;			
		Kazakhstan_PN								= mkPN "Kazakhstan" ;		
		Laos_PN										= mkPN "Laos" ;	
		Lebanon_PN									= mkPN "Lebanon" ;	
		SaintLucia_PN								= mkPN ("Saint_Lucia") ;		
		Liechtenstein_PN							= mkPN "Liechtenstein" ;			
		SriLanka_PN									= mkPN ("Sri_Lanka") ;		
		Liberia_PN									= mkPN "Liberia" ;	
		Lesotho_PN									= mkPN "Lesotho" ;	
		Lithuania_PN								= mkPN "Lithuania" ;		
		Luxembourg_PN								= mkPN "Luxembourg" ;		
		Latvia_PN									= mkPN "Latvia" ;	
		Libya_PN									= mkPN "Libya" ;	
		Morocco_PN									= mkPN "Morocco" ;	
		Monaco_PN									= mkPN "Monaco" ;	
		Moldova_PN									= mkPN "Moldova" ;	
		Montenegro_PN								= mkPN "Montenegro" ;		
		Madagascar_PN								= mkPN "Madagascar" ;		
		MarshallIslands_PN							= mkPN ("Marshall_Islands") ;			
		Macedonia_PN								= mkPN "Macedonia" ;		
		Mali_PN										= mkPN "Mali" ;	
		Myanmar_PN									= mkPN "Myanmar" ;	
		Mongolia_PN									= mkPN "Mongolia" ;		
		Macao_PN									= mkPN "Macao" ;	
		NorthernMarianaIslands_PN					= mkPN ("Northern_Mariana_Islands") ;					
		Martinique_PN								= mkPN "Martinique" ;		
		Mauritania_PN								= mkPN "Mauritania" ;		
		Montserrat_PN								= mkPN "Montserrat" ;		
		Malta_PN									= mkPN "Malta" ;	
		Mauritius_PN								= mkPN "Mauritius" ;		
		Maldives_PN									= mkPN "Maldives" ;		
		Malawi_PN									= mkPN "Malawi" ;	
		Mexico_PN									= mkPN "Mexico" ;	
		Malaysia_PN									= mkPN "Malaysia" ;		
		Mozambique_PN								= mkPN "Mozambique" ;		
		Namibia_PN									= mkPN "Namibia" ;	
		NewCaledonia_PN								= mkPN ("New_Caledonia") ;			
		Niger_PN									= mkPN "Niger" ;	
		NorfolkIsland_PN							= mkPN ("Norfolk_Island") ;			
		Nigeria_PN									= mkPN "Nigeria" ;	
		Nicaragua_PN								= mkPN "Nicaragua" ;		
		Netherlands_PN								= mkPN "Netherlands" ;		
		Norway_PN									= mkPN "Norway" ;	
		Nepal_PN									= mkPN "Nepal" ;	
		Nauru_PN									= mkPN "Nauru" ;	
		Niue_PN										= mkPN "Niue" ;	
		NewZealand_PN								= mkPN ("New_Zealand") ;		
		Oman_PN										= mkPN "Oman" ;	
		Panama_PN									= mkPN "Panama" ;	
		Peru_PN										= mkPN "Peru" ;	
		FrenchPolynesia_PN							= mkPN ("French_Polynesia") ;			
		PapuaNewGuinea_PN							= mkPN ("Papua_New_Guinea") ;			
		Philippines_PN								= mkPN "Philippines" ;		
		Pakistan_PN									= mkPN "Pakistan" ;		
		Poland_PN									= mkPN "Poland" ;	
		SaintPierreAndMiquelon_PN					= mkPN ("Saint_Pierre_and_Miquelon") ;					
		Pitcairn_PN									= mkPN "Pitcairn" ;		
		PuertoRico_PN								= mkPN ("Puerto_Rico") ;		
		PalestinianTerritory_PN						= mkPN ("Palestinian_Territory") ;					
		Portugal_PN									= mkPN "Portugal" ;		
		Palau_PN									= mkPN "Palau" ;	
		Paraguay_PN									= mkPN "Paraguay" ;		
		Qatar_PN									= mkPN "Qatar" ;	
		Reunion_PN									= mkPN "Reunion" ;	
		Romania_PN									= mkPN "Romania" ;	
		Serbia_PN									= mkPN "Serbia" ;	
		Russia_PN									= mkPN "Russia" ;	
		Rwanda_PN									= mkPN "Rwanda" ;	
		SaudiArabia_PN								= mkPN ("Saudi_Arabia") ;		
		SolomonIslands_PN							= mkPN ("Solomon_Islands") ;			
		Seychelles_PN								= mkPN "Seychelles" ;		
		Sudan_PN									= mkPN "Sudan" ;	
		Sweden_PN									= mkPN "Sweden" ;	
		Singapore_PN								= mkPN "Singapore" ;		
		SaintHelena_PN								= mkPN ("Saint_Helena") ;		
		Slovenia_PN									= mkPN "Slovenia" ;		
		SvalbardAndJanMayen_PN						= mkPN ("Svalbard_and_Jan_Mayen") ;				
		Slovakia_PN									= mkPN "Slovakia" ;		
		SierraLeone_PN								= mkPN ("Sierra_Leone") ;		
		SanMarino_PN								= mkPN ("San_Marino") ;		
		Senegal_PN									= mkPN "Senegal" ;	
		Somalia_PN									= mkPN "Somalia" ;	
		Suriname_PN									= mkPN "Suriname" ;		
		SaoTomeAndPrincipe_PN						= mkPN ("SÃ£o_TomÃ©_and_PrÃ­ncipe") ;				
		ElSalvador_PN								= mkPN ("El_Salvador") ;		
		Syria_PN									= mkPN "Syria" ;	
		Swaziland_PN								= mkPN "Swaziland" ;		
		TurksAndCaicosIslands_PN					= mkPN ("Turks_and_Caicos_Islands") ;					
		Chad_PN										= mkPN "Chad" ;	
		FrenchSouthernTerritories_PN				= mkPN ("French_Southern_Territories") ;						
		Togo_PN										= mkPN "Togo" ;	
		Thailand_PN									= mkPN "Thailand" ;		
		Tajikistan_PN								= mkPN "Tajikistan" ;		
		Tokelau_PN									= mkPN "Tokelau" ;	
		EastTimor_PN								= mkPN ("East_Timor") ;		
		Turkmenistan_PN								= mkPN "Turkmenistan" ;			
		Tunisia_PN									= mkPN "Tunisia" ;	
		Tonga_PN									= mkPN "Tonga" ;	
		Turkey_PN									= mkPN "Turkey" ;	
		TrinidadAndTobago_PN						= mkPN ("Trinidad_and_Tobago") ;				
		Tuvalu_PN									= mkPN "Tuvalu" ;	
		Taiwan_PN									= mkPN "Taiwan" ;	
		Tanzania_PN									= mkPN "Tanzania" ;		
		Ukraine_PN									= mkPN "Ukraine" ;	
		Uganda_PN									= mkPN "Uganda" ;	
		UnitedStatesMinorOutlyingIslands_PN			= mkPN ("United_States_minor_outlying_islands") ;								
		UnitedStates_PN								= mkPN ("United_States") ;			
		Uruguay_PN									= mkPN "Uruguay" ;	
		Uzbekistan_PN								= mkPN "Uzbekistan" ;		
		VaticanCity_PN								= mkPN ("Vatican_City") ;		
		SaintVincentAndtheGrenadines_PN				= mkPN ("Saint_Vincent_and_the_Grenadines") ;							
		Venezuela_PN								= mkPN "Venezuela" ;		
		VirginIslandsBritish_PN						= mkPN ("Virgin_Islands,_British") ;					
		VirginIslandsUS_PN							= mkPN ("Virgin_Islands,_U.S.") ;			
		Vietnam_PN									= mkPN "Vietnam" ;	
		Vanuatu_PN									= mkPN "Vanuatu" ;	
		WallisAndFutuna_PN							= mkPN ("Wallis_and_Futuna") ;			
		Samoa_PN									= mkPN "Samoa" ;	
		Yemen_PN									= mkPN "Yemen" ;	
		Mayotte_PN									= mkPN "Mayotte" ;	
		SouthAfrica_PN								= mkPN ("South_Africa") ;		
		Zambia_PN									= mkPN "Zambia" ;	
		Zimbabwe_PN									= mkPN "Zimbabwe" ;		

--	Cuisines
		Afghani_PN					= mkPN "Afghani" ;
		African_PN					= mkPN "African" ;
		American_PN					= mkPN "American" ;	
		Arabic_PN					= mkPN "Arabic" ;
		Argentine_PN				= mkPN "Argentine" ;	
		Armenian_PN					= mkPN "Armenian" ;	
		Asian_PN					= mkPN "Asian" ;
		Australian_PN				= mkPN "Australian" ;	
		Austrian_PN					= mkPN "Austrian" ;	
		Balinese_PN					= mkPN "Balinese" ;	
		Basque_PN					= mkPN "Basque" ;
		Belgian_PN					= mkPN "Belgian" ;
		Brazilian_PN				= mkPN "Brazilian" ;	
		Bulgarian_PN				= mkPN "Bulgarian" ;	
		Burmese_PN					= mkPN "Burmese" ;
		Cajun_PN					= mkPN "Cajun" ;
		Cambodian_PN				= mkPN "Cambodian" ;	
		Caribbean_PN				= mkPN "Caribbean" ;	
		Catalan_PN					= mkPN "Catalan" ;
		Chinese_PN					= mkPN "Chinese" ;
		Colombian_PN				= mkPN "Colombian" ;	
		Contemporary_PN				= mkPN "Contemporary" ;		
		Continental_PN				= mkPN "Continental" ;	
		Creole_PN					= mkPN "Creole" ;
		Cuban_PN					= mkPN "Cuban" ;
		Czech_PN					= mkPN "Czech" ;
		Dutch_PN					= mkPN "Dutch" ;
		EasternEuropean_PN			= mkPN ("Eastern_European") ;		
		Eclectic_PN					= mkPN "Eclectic" ;	
		Egyptian_PN					= mkPN "Egyptian" ;	
		English_PN					= mkPN "English" ;
		Ethiopian_PN				= mkPN "Ethiopian" ;	
		Ethnic_PN					= mkPN "Ethnic" ;
		French_PN					= mkPN "French" ;
		Fusion_PN					= mkPN "Fusion" ;
		German_PN					= mkPN "German" ;
		Greek_PN					= mkPN "Greek" ;
		Haitian_PN					= mkPN "Haitian" ;
		Hungarian_PN				= mkPN "Hungarian" ;	
		Indian_PN					= mkPN "Indian" ;
		Indonesian_PN				= mkPN "Indonesian" ;	
		International_PN			= mkPN "International" ;		
		Irish_PN					= mkPN "Irish" ;
		Israeli_PN					= mkPN "Israeli" ;
		Italian_PN					= mkPN "Italian" ;
		Jamaican_PN					= mkPN "Jamaican" ;	
		Japanese_PN					= mkPN "Japanese" ;	
		Jewish_PN					= mkPN "Jewish" ;
		Korean_PN					= mkPN "Korean" ;
		LatinAmerican_PN			= mkPN ("Latin_American") ;		
		Lebanese_PN					= mkPN "Lebanese" ;	
		Malaysian_PN				= mkPN "Malaysian" ;	
		Mexican_PN					= mkPN "Mexican" ;
		MiddleEastern_PN			= mkPN ("Middle_Eastern") ;		
		Mongolian_PN				= mkPN "Mongolian" ;	
		Moroccan_PN					= mkPN "Moroccan" ;	
		NewZealandCuisine_PN		= mkPN ("New_Zealand") ;
		Nicaraguan_PN				= mkPN "Nicaraguan" ;	
		Nouveau_PN					= mkPN "Nouveau" ;
		Pakistani_PN				= mkPN "Pakistani" ;	
		Persian_PN					= mkPN "Persian" ;
		Peruvian_PN					= mkPN "Peruvian" ;	
		Philippine_PN				= mkPN "Philippine" ;	
		Polish_PN					= mkPN "Polish" ;
		Polynesian_PN				= mkPN "Polynesian" ;	
		Portuguese_PN				= mkPN "Portuguese" ;	
		PuertoRican_PN				= mkPN ("Puerto_Rican") ;	
		Russian_PN					= mkPN "Russian" ;
		Salvadorean_PN				= mkPN "Salvadorean" ;	
		Scandinavian_PN				= mkPN "Scandinavian" ;		
		Scottish_PN					= mkPN "Scottish" ;	
		Seafood_PN					= mkPN "Seafood" ;
		Singaporean_PN				= mkPN "Singaporean" ;	
		Spanish_PN					= mkPN "Spanish" ;
		SriLankan_PN				= mkPN ("Sri_Lankan") ;	
		Swedish_PN					= mkPN "Swedish" ;
		Swiss_PN					= mkPN "Swiss" ;
		Tex_Mex_PN					= mkPN "Tex-Mex" ;
		Thai_PN						= mkPN "Thai" ;
		Tibetan_PN					= mkPN "Tibetan" ;
		Turkish_PN					= mkPN "Turkish" ;
		Ukrainian_PN				= mkPN "Ukrainian" ;	
		Vegan_PN					= mkPN "Vegan" ;
		Vegetarian_PN				= mkPN "Vegetarian" ;	
		Venezulean_PN				= mkPN "Venezulean" ;	
		Vietnamese_PN				= mkPN "Vietnamese" ;	

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

}
