GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

added Danish phrasebook, completed German one

Browse Source
This commit is contained in:
ramona.enache
2010-05-07 12:03:44 +00:00
parent beb813b1a6
commit a623bcbca5
6 changed files with 348 additions and 167 deletions
Download Patch File Download Diff File Expand all files Collapse all files

309
examples/phrasebook/WordsDan.gf
View File

@@ -1,7 +1,7 @@
-- (c) 2009 Aarne Ranta under LGPL
concrete WordsDan of Words = SentencesDan **
open SyntaxDan, ParadigmsDan, IrregDan, (L = LexiconDan), ExtraDan, Prelude in {
open SyntaxDan, ParadigmsDan, IrregDan, (L = LexiconDan), ExtraDan, StructuralDan, Prelude in {
lin
@@ -10,158 +10,245 @@ concrete WordsDan of Words = SentencesDan **
Apple = mkCN L.apple_N ;
Beer = mkCN L.beer_N ;
Bread = mkCN L.bread_N ;
-- Cheese = mkCN (mkN "ost") ;
-- Chicken = mkCN (mkN "kyckling") ;
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
Cheese = mkCN (mkN "ost" "osten" "oste" "ostene") ;
Chicken = mkCN (mkN "kylling" "kyllingen" "kyllinger" "kyllingerne") ;
Coffee = mkCN (mkN "kaffe" "kaffen" "kaffe" "kaffe") ; -- den kaffe ?
Fish = mkCN L.fish_N ;
-- Meat = mkCN (mkN "kött" "kött") ;
Meat = mkCN (mkN "kød" "kødet" "kød" "kødet") ;
Milk = mkCN L.milk_N ;
-- Pizza = mkCN (mkN "pizza") ;
Pizza = mkCN (mkN "pizza" "pizzaen" "pizzaer" "pizzaer") ; -- det pizzaer ?
Salt = mkCN L.salt_N ;
-- Tea = mkCN (mkN "te" neutrum) ;
Tea = mkCN (mkN "te" "teen" "te" "te") ; -- det te ?
Water = mkCN L.water_N ;
Wine = mkCN L.wine_N ;
-- properties
Bad = L.bad_A ;
-- Cheap = mkA "billig" ;
-- Boring = mkA "tråkig" ;
Cheap = mkA "billig" ;
Boring = mkA "kedelig" ;
Cold = L.cold_A ;
-- Delicious = mkA "läcker" ;
-- Expensive = mkA "dyr" ;
-- Fresh = mkA "färsk" ;
Delicious = mkA "lækker" ;
Expensive = mkA "dyr" ;
Fresh = mkA "frisk" ;
Good = L.good_A ;
-- Suspect = mkA "suspekt" "suspekt" ;
Suspect = mkA "mistænkt" "mistænkt" ;
Warm = L.warm_A ;
-- places
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
-- Church = mkPlace (mkN "kyrka") "i" ;
-- Cinema = mkPlace (mkN "bio" "bio" "bion" "biona") "på" ; ---- ?
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
-- Hotel = mkPlace (mkN "hotell" "hotell") "på" ;
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
-- Park = mkPlace (mkN "park" "parker") "i" ;
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
-- Shop = mkPlace (mkN "affär" "affär") "i" ;
-- School = mkPlace (mkN "skola") "på" ;
-- Station = mkPlace (mkN "station" "stationer") "på" ;
-- Theatre = mkPlace (mkN "teater" "teatrar") "på" ;
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
-- University = mkPlace (mkN "universitet" "universitet") "på" ;
Airport = mkPlace (mkN "lufthavnen" "lufthavnen" "lufthavne" "lufthavnene") "i" ;
AmusementPark = mkPlace (mkN "forlystelsespark" "forlystelsesparken" "forlystelsesparker" "forlystelsesparker") "i" ;
Bank = mkPlace (mkN "bank" "banken" "banke" "bankerne") "i" ;
Bar = mkPlace (mkN "bar" "baren" "barer" "barerne") "i" ;
Cafeteria = mkPlace (mkN "cafeteria" "cafeteriet" "cafeterier" "cafeterierne") "i" ;
-- Center = mkPlace (mkN "" "" "" "") " " ;
Cinema = mkPlace (mkN "biograf" "biografen" "biografer" "biograferne") "i" ;
Church = mkPlace (mkN "kirke" "kirken" "kirker" "kirkerne") "i" ;
Disco = mkPlace (mkN "diskotek" "diskoteket" "diskoteker" "diskotekerne") "i" ;
Hospital = mkPlace (mkN "hospital" "hospitalet" "hospitaler" "hospitalerne") "på" ;
Hotel = mkPlace (mkN "hotel" "hotellet" "hoteller" "hotellerne") "på" ;
Museum = mkPlace (mkN "museum" "museet" "museer" "museerne") "på" ;
Park = mkPlace (mkN "park" "parken" "parker" "parkerne") "i" ;
Parking = mkPlace (mkN "parkeringsplads" "parkeringspladsen" "parkeringspladser" "parkeringspladserne") "på" ;
Pharmacy = mkPlace (mkN "apotek" "apoteket" "apoteker" "apotekerne") "på" ;
-- PostOffice = mkPlace (mkN "postkontor" "posthuset" "posthuse" "postkontorerne") "i" ;
Pub = mkPlace (mkN "pub" "pubben" "pubber" "pubber") "i" ;
Restaurant = mkPlace (mkN "restaurant" "restauranten" "restauranter" "restauranterne") "i" ;
School = mkPlace (mkN "skolen" "skolen" "skoler" "skolerne") "i" ;
Shop = mkPlace (mkN "butik" "butikken" "butikker" "butikkerne") "i" ;
Station = mkPlace (mkN "station" "stationen" "stationer" "stationerne") "på" ;
Supermarket = mkPlace (mkN "supermarked" "supermarkedet" "supermarkeder" "supermarkederne") "i" ;
Theatre = mkPlace (mkN "teater" "teatret" "teatre" "teatrene") "i" ;
Toilet = mkPlace (mkN "toilet" "toilettet" "toiletter" "toiletter") "i" ;
University = mkPlace (mkN "universitet" "universitetet" "universiteter" "universiteterne") "i" ;
-- Zoo = mkPlace (mkN "zoo" "den zoologiske have" "zoologiske haver" "de zoologiske haver"
CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restaurant")) in_Prep to_Prep ;
-- currencies
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") | mkCN (mkN "krona") ;
-- Dollar = mkCN (mkN "dollar" "dollar") ;
-- Euro = mkCN (mkN "euro" "euro") ;
-- Lei = mkCN (mkN "lei" "lei") ;
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") | mkCN (mkN "krona") ;
DanishCrown = mkCN (mkA "dansk") (mkN "krone" "kronen" "kroner" "kroner") | mkCN (mkN "krone" "kronen" "kroner" "kroner") ;
Dollar = mkCN (mkN "dollar" "dollaren" "dollars" "dollars") ; -- den dollars ?
Euro = mkCN (mkN "euro" "euroen" "euro" "euro") ; -- den euro
Lei = mkCN (mkN "leu" "lei" "leis" "leis") ; -- det leis ?
Leva = mkCN (mkN "leva" "leva" "levas" "levas") ; -- det leva ?
NorwegianCrown = mkCN (mkA "norsk") (mkN "krone" "kronen" "kroner" "kroner") | mkCN (mkN "krone" "kronen" "kroner" "kroner") ;
Pound = mkCN (mkN "pund" "pund" "pounds" "pounds") ; -- det pounds ?
Rouble = mkCN (mkN "rubler" "rublen" "rubler" "rubler") ; -- det rubler ?
SwedishCrown = mkCN (mkA "svensk") (mkN "krone" "kronen" "kroner" "kroner") | mkCN (mkN "krone" "kronen" "kroner" "kroner") ;
Zloty = mkCN (mkN "zloty" "zloty" "zloty" "zloty") ; -- det zloty ?
-- nationalities
-- Belgian = mkA "belgisk" ;
-- Belgium = mkNP (mkPN "Belgien") ;
-- English = mkNat "engelsk" "England" ;
-- Finnish = mkNat "finsk" "Finland" ;
-- Flemish = mkNP (mkPN "flamländska") ;
-- French = mkNat "fransk" "Frankrike" ;
-- Italian = mkNat "italiensk" "Italien" ;
-- Romanian = mkNat "rumänsk" "Rumänien" ;
-- Swedish = mkNat "svensk" "Sverige" ;
Belgian = mkA "belgisk" ;
Belgium = mkNP (mkPN "Belgien") ;
Bulgarian = mkNat "bulgarsk" "Bulgarien" ;
Catalan = mkNat "catalansk" "Catalonien" ;
Danish = mkNat "dansk" "Danmark" ;
Dutch = mkNat "hollandsk" "Holland" ;
English = mkNat "engelsk" "England" ;
Finnish = mkNat "finsk" "Finland" ;
Flemish = mkNP (mkPN "flamsk") ;
French = mkNat "fransk" "Frankrig" ;
German = mkNat "tysk" "Tyskland" ;
Italian = mkNat "italiensk" "Italien" ;
Norwegian = mkNat "norsk" "Norge" ;
Polish = mkNat "polsk" "Polen" ;
Romanian = mkNat "rumænsk" "Rumænien" ;
Russian = mkNat "russisk" "Russland" ;
Spanish = mkNat "spansk" "Spanien" ;
Swedish = mkNat "svensk" "Sverige" ;
-- Means of transportation
Bike = mkTransport L.bike_N ;
Bus = mkTransport (mkN "bus" "bussen" "busser" "busserne") ;
Car = mkTransport L.car_N ;
Ferry = mkTransport (mkN "færge" "færgen" "færger" "færgerne") ;
Plane = mkTransport L.airplane_N ;
Subway = mkTransport (mkN "undergrundsbane" "undergrundsbanen" "undergrundsbaner" "undergrundsbanerne") ;
Taxi = mkTransport (mkN "taxi" "taxien" "taxier" "taxierne") ;
Train = mkTransport (mkN "tog" "toget" "tog" "toger") ;
Tram = mkTransport (mkN "sporvogn" "sporvognen" "sporvogner" "sporvognerne") ;
ByFoot = ParadigmsDan.mkAdv "til fods" ;
-- actions
-- AHasAge p num = mkCl p.name (mkNP num L.year_N) ;
-- AHasName p name = mkCl p.name (mkV2 (mkV "heter")) name ;
AHasAge p num = mkCl p.name (mkNP num L.year_N) ;
AHasName p name = mkCl p.name (mkV2 (mkV "hedder")) name ;
AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ;
-- AHasRoom p num = mkCl p.name have_V2
-- (mkNP (mkNP a_Det (mkN "rum" "rum"))
-- (SyntaxDan.mkAdv for_Prep (mkNP num (mkN "person" "personer")))) ;
-- AHasTable p num = mkCl p.name have_V2
-- (mkNP (mkNP a_Det (mkN "bord" "bord"))
-- (SyntaxDan.mkAdv for_Prep (mkNP num (mkN "person" "personer")))) ;
-- AHungry p = mkCl p.name (mkA "hungrig") ;
-- AIll p = mkCl p.name (mkA "sjuk") ;
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxDan.mkAdv in_Prep co)) ;
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
-- AMarried p = mkCl p.name (mkA "gift") ;
-- AReady p = mkCl p.name (mkA "färdig") ;
-- AScared p = mkCl p.name (mkA "rädd") ;
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
-- AThirsty p = mkCl p.name (mkA "törstig") ;
-- ATired p = mkCl p.name (mkA "trött") ;
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
AHasRoom p num = mkCl p.name have_V2
(mkNP (mkNP a_Det (mkN "værelse" "værelse" "værelser" "værelserne"))
(SyntaxDan.mkAdv for_Prep (mkNP num (mkN "person" "person" "person" "person")))) ;
AHasTable p num = mkCl p.name have_V2
(mkNP (mkNP a_Det (mkN "tabel" "tabellen" "tabeller" "tabellerne"))
(SyntaxDan.mkAdv for_Prep (mkNP num (mkN "person" "person" "person" "person")))) ;
AHungry p = mkCl p.name (mkA "sulten") ;
AIll p = mkCl p.name (mkA "syg") ;
AKnow p = mkCl p.name vide_V ;
ALike p item = mkCl p.name (mkV2 holde_V (mkPrep "af")) item ;
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxDan.mkAdv in_Prep co)) ;
ALove p q = mkCl p.name (dirV2 (regV "elske")) q.name ;
AMarried p = mkCl p.name (mkA "gift") ;
AReady p = mkCl p.name (mkA "klar") ;
AScared p = mkCl p.name (mkA "bange") ;
ASpeak p lang = mkCl p.name (mkV2 (mkV "tale")) lang ;
AThirsty p = mkCl p.name (mkA "tørstig") ;
ATired p = mkCl p.name (mkA "træt") ;
AUnderstand p = mkCl p.name (irregV "forstå" "forstod" "forstått") ;
AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
-- miscellaneous
-- QWhatName p = mkQS (mkQCl whatSg_IP p.name (mkV2 (mkV "heter"))) ;
-- QWhatAge p = mkQS (mkQCl (ICompAP (mkAP L.old_A)) p.name) ;
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
QWhatName p = mkQS (mkQCl whatSg_IP p.name (mkV2 (mkV "hedder"))) ;
QWhatAge p = mkQS (mkQCl (ICompAP (mkAP L.old_A)) p.name) ;
HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "koster"))) ;
ItCost item price = mkCl item (mkV2 (mkV "koster")) price ;
-- PropOpen p = mkCl p.name open_A ;
-- PropClosed p = mkCl p.name closed_A ;
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
PropOpen p = mkCl p.name open_A ;
PropClosed p = mkCl p.name closed_A ;
PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
-- Building phrases from strings is complicated: the solution is to use
-- mkText : Text -> Text -> Text ;
-- PSeeYou d = mkText (lin Text (ss ("vi ses"))) (mkPhrase (mkUtt d)) ;
-- PSeeYouPlace p d =
-- mkText (lin Text (ss ("vi ses")))
-- (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
PSeeYouDate d = mkText (lin Text (ss ("se dig"))) (mkPhrase (mkUtt d)) ;
PSeeYouPlace p = mkText (lin Text (ss ("se dig"))) (mkPhrase (mkUtt p.at)) ;
PSeeYouPlaceDate p d =
mkText (lin Text (ss ("se dig")))
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
-- Relations are expressed as "my wife" or "my son's wife", as defined by $xOf$
-- below. Languages without productive genitives must use an equivalent of
-- "the wife of my son" for non-pronouns.
-- Wife = xOf sing (mkN "fru" "fruar") ;
-- Husband = xOf sing L.man_N ;
-- Son = xOf sing (mkN "son" "söner") ;
-- Daughter = xOf sing (mkN "dotter" "döttrar") ;
-- Children = xOf plur L.child_N ;
Wife = xOf sing (mkN "kone" "konen" "koner" "konerne") ;
Husband = xOf sing L.man_N ;
Son = xOf sing (mkN "søn" "sønnen" "sønner" "sønnerne") ;
Daughter = xOf sing (mkN "datter" "datteren" "døtre" "døtre") ;
Children = xOf plur L.child_N ;
-- week days
-- Monday = mkDay "måndag" ;
-- Tuesday = mkDay "tisdag" ;
-- Wednesday = mkDay "onsdag" ;
-- Thursday = mkDay "torsdag" ;
-- Friday = mkDay "fredag" ;
-- Saturday = mkDay "lördag" ;
-- Sunday = mkDay "söndag" ;
Monday = mkDay "Mandag" ;
Tuesday = mkDay "Tirsdag" ;
Wednesday = mkDay "Onsdag" ;
Thursday = mkDay "Torsdag" ;
Friday = mkDay "Fredag" ;
Saturday = mkDay "Lørdag" ;
Sunday = mkDay "Søndag" ;
-- Tomorrow = ParadigmsDan.mkAdv "imorgon" ;
-- oper
-- mkNat : Str -> Str -> NPNationality = \nat,co ->
-- mkNPNationality (mkNP (mkPN (nat + "a"))) (mkNP (mkPN co)) (mkA nat) ;
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
-- let day = mkNP (mkPN d) in
-- mkNPDay day (SyntaxDan.mkAdv on_Prep day)
-- (SyntaxDan.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i ->
-- mkCNPlace (mkCN p) (mkPrep i) to_Prep ;
-- open_A = mkA "öppen" "öppet" ;
-- closed_A = mkA "stängd" "stängt" ;
-- xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p ->
-- relativePerson n (mkCN x) (\a,b,c -> mkNP (GenNP b) a c) p ;
Tomorrow = ParadigmsDan.mkAdv "i morgen" ;
--}
-- modifiers of places
TheBest = mkSuperl L.good_A ;
TheClosest = mkSuperl L.near_A ;
TheCheapest = mkSuperl (mkA "bilig") ;
TheMostExpensive = mkSuperl (mkA "dyr") ;
TheMostPopular = mkSuperl (mkA "populær") ;
TheWorst = mkSuperl L.bad_A ;
SuperlPlace sup p = placeNP sup p ;
-- transports
HowFar place = mkQS (mkQCl far_IAdv place.name) ;
HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxDan.mkAdv from_Prep x.name))) ;
HowFarFromBy x y t =
mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxDan.mkAdv from_Prep x.name)) t)) ;
HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t)) ;
WhichTranspPlace trans place =
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
IsTranspPlace trans place =
mkQS (mkQCl (mkCl (mkCN trans.name place.to))) ;
oper
mkNat : Str -> Str -> NPNationality = \nat,co ->
mkNPNationality (mkNP (mkPN (nat + "a"))) (mkNP (mkPN co)) (mkA nat) ;
mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
let day = mkNP (mkPN d) in
mkNPDay day (SyntaxDan.mkAdv on_Prep day)
(SyntaxDan.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i ->
mkCNPlace (mkCN p) (mkPrep i) to_Prep ;
open_A = mkA "åben" "åbet" ;
closed_A = mkA "lukket" "lukket" ;
xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p ->
relativePerson n (mkCN x) (\a,b,c -> mkNP (GenNP b) a c) p ;
mkSuperl : A -> Det = \a -> mkDet the_Art (mkOrd a) ;
mkTransport : N -> {name : CN ; by : Adv} = \n -> {
name = mkCN n ;
by = SyntaxDan.mkAdv by8means_Prep (mkNP n)
} ;
far_IAdv = ExtraDan.IAdvAdv L.far_Adv ;
how8much_IAdv : IAdv = ss "hvad" ** {lock_IAdv = <>};
}