summaryrefslogtreecommitdiff
path: root/examples/wiki/LexWikiEng.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/LexWikiEng.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples/wiki/LexWikiEng.gf')
-rw-r--r--examples/wiki/LexWikiEng.gf400
1 files changed, 0 insertions, 400 deletions
diff --git a/examples/wiki/LexWikiEng.gf b/examples/wiki/LexWikiEng.gf
deleted file mode 100644
index 2dc810189..000000000
--- a/examples/wiki/LexWikiEng.gf
+++ /dev/null
@@ -1,400 +0,0 @@
-
-instance LexWikiEng of LexWiki = open SyntaxEng, ParadigmsEng in {
-
- flags coding = utf8 ;
-
- 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 "randomly") (mkVP (mkV2 verb) (mkNP det noun)))) ;
- label_Utt noun = mkUtt (mkNP (mkPN noun)) ;
- countryName_Utt pn = mkUtt (mkNP pn) ;
- cuisineName_Utt pn = mkUtt (mkNP pn) ;
-
--- Verbs
- cancel_V = mkV "cancel" ;
- select_V = mkV "select" ;
- edit_V = mkV "edit" ;
- save_V = mkV "save" ;
- add_V = mkV "add" ;
- undo_V = mkV "undo" ;
- redo_V = mkV "redo" ;
- cut_V = mkV "cut" ;
- copy_V = mkV "copy" ;
- paste_V = mkV "paste" ;
- delete_V = mkV "delete" ;
- refine_V = mkV "refine" ;
- replace_V = mkV "replace" ;
- wrap_V = mkV "wrap" ;
-
--- Nouns
--- Information
- information_N = mkN "information" ;
- name_N = mkN "name" ;
- address_N = mkN "address" ;
- city_N = mkN "city" ;
- state_N = mkN "state" ;
- postalcode_N = mkN "postal" (mkN "code") ;
- country_N = mkN "country" ;
- phone_N = mkN "phone" ;
- cuisine_N = mkN "cuisine" ;
- language_N = mkN "language" ;
-
--- Misc
- page_N = mkN "page" ;
- index_N = mkN "index" ;
- review_N = mkN "review" ;
- restaurant_N = mkN "restaurant" ;
- food_N = mkN "food" ;
- service_N = mkN "service" ;
- node_N = mkN "node" ;
- tree_N = mkN "tree" ;
-
--- 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 ;
-
-}