summaryrefslogtreecommitdiff
path: root/examples/wiki/LexWikiFre.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
commite9e80fc389365e24d4300d7d5390c7d833a96c50 (patch)
treef0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/wiki/LexWikiFre.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples/wiki/LexWikiFre.gf')
-rw-r--r--examples/wiki/LexWikiFre.gf402
1 files changed, 0 insertions, 402 deletions
diff --git a/examples/wiki/LexWikiFre.gf b/examples/wiki/LexWikiFre.gf
deleted file mode 100644
index c187af79e..000000000
--- a/examples/wiki/LexWikiFre.gf
+++ /dev/null
@@ -1,402 +0,0 @@
-
-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 ;
-
-}