diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:54:35 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:54:35 +0000 |
| commit | e9e80fc389365e24d4300d7d5390c7d833a96c50 (patch) | |
| tree | f0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/wiki/LexWikiEng.gf | |
| parent | b96b36f43de3e2f8b58d5f539daa6f6d47f25870 (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.gf | 400 |
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 ; - -} |
