Phrasebook grammars for English, Romanian and Dutch

1 files changed, 212 insertions, 110 deletions

diff --git a/examples/phrasebook/WordsDut.gf b/examples/phrasebook/WordsDut.gf
index 758f12f5b..0d5e52ebe 100644
--- a/examples/phrasebook/WordsDut.gf
+++ b/examples/phrasebook/WordsDut.gf
@@ -1,7 +1,7 @@
 -- (c) 2009 Aarne Ranta under LGPL
 
 concrete WordsDut of Words = SentencesDut ** 
-    open SyntaxDut, ParadigmsDut, IrregDut, (L = LexiconDut), ExtraDut, Prelude in {
+    open SyntaxDut, (P = ParadigmsDut), (I = IrregDut), (L = LexiconDut), ExtraDut, Prelude in {
 
   lin
 
@@ -10,158 +10,260 @@ concrete WordsDut of Words = SentencesDut **
     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 L.cheese_N ;
+    Chicken = mkCN (P.mkN "kip" "kippen" P.de) ;
+    Coffee = mkCN (P.mkN "koffie" "koffie" P.de) ;
     Fish = mkCN L.fish_N ;
---    Meat = mkCN (mkN "kött" "kött") ;
-    Milk = mkCN L.milk_N ;
---    Pizza = mkCN (mkN "pizza") ;
+    Meat = mkCN (P.mkN "vlees" "vlees" P.het) ;
+    Milk = mkCN L.milk_N ; 
+    Pizza = mkCN (P.mkN "pizza" "pizza's" P.de) ;
     Salt = mkCN L.salt_N ;
---    Tea = mkCN (mkN "te" neutrum) ;
+    Tea = mkCN (P.mkN "thee" "thee" P.de) ;
     Water = mkCN L.water_N ;
     Wine = mkCN L.wine_N ;
 
 -- properties
 
+
     Bad = L.bad_A ;
---    Cheap = mkA "billig" ;
---    Boring = mkA "tråkig" ;
+    Cheap = P.mkA "goedkoop" ;
+    Boring = P.mkA "vervelend" ;
     Cold = L.cold_A ;
---    Delicious = mkA "läcker" ;
---    Expensive = mkA "dyr" ;
---    Fresh = mkA "färsk" ;
+    Delicious = P.mkA "heerlijk" ;
+    Expensive = P.mkA "duur" ;
+    Fresh = P.mkA "vers" ;
     Good = L.good_A ;
---    Suspect = mkA "suspekt" "suspekt" ;
+    Suspect = P.mkA "verdachte" ;
     Warm = L.warm_A ;
 
+
+
 -- places
+ 
+    Airport = mkPlace (P.mkN "luchthaven" "luchthavens" P.de) "op" ; 
+    AmusementPark = mkPlace (P.mkN "pretpark" "pretparken" P.het) "in" ;
+    Bar = mkPlace (P.mkN "bar" P.de) "in" ;  
+    Cafeteria = mkPlace (P.mkN "cafetaria" "cafetaria's" P.de) "in" ;
+    Center = mkPlace (P.mkN "centrum" "centra" P.het) "in" ;
+    Church = mkPlace (P.mkN "kerk" "kerken" P.de) "in" ; 
+    Cinema = mkPlace (P.mkN "bioscoop" "bioscopen" P.de) "in" ;  
+    Disco = mkPlace (P.mkN "disco" "disco's" P.de) "in" ;
+    Hospital = mkPlace (P.mkN "ziekenhuis" "ziekenhuizen" P.het) "in" ; 
+    Hotel = mkPlace (P.mkN "hotel" "hotels" P.het) "in" ; 
+    Museum = mkPlace (P.mkN "museum" "musea" P.het) "in" ; 
+    Park = mkPlace (P.mkN "park" "parken" P.het) "in" ; 
+    Parking = mkPlace (P.mkN "parkeerplaats" "parkeerplaatsen" P.de) "op" ; --parkeren x parkeerplaats -- naar op 
+    Pharmacy = mkPlace (P.mkN "apotheek" "apotheken" P.de)  "in" ;
+    Pub = mkPlace (P.mkN "kroeg" "kroegen" P.de) "in" ;
+    Restaurant = mkPlace (P.mkN "restaurant" "restaurants" P.het) "in" ; 
+    Shop = mkPlace (P.mkN "winkel" "winkels" P.de) "in" ; -- shop x winkel 
+    School = mkPlace (P.mkN "school" "scholen" P.de) "in" ; 
+    Station = mkPlace (P.mkN "station" "stations" P.het) "op" ; 
+    Supermarket = mkPlace (P.mkN "supermarkt" "supermarkten" P.de) "in" ;
+    Theatre = mkPlace (P.mkN "theater" "theaters" P.het) "in" ;
+    Toilet = mkPlace (P.mkN "toilet" "toiletten" P.het) "op" ; 
+    University = mkPlace (P.mkN "universiteit" "universiteiten" P.de) "in" ; --universitair x universiteit -- naar in
+    Zoo = mkPlace (P.mkN "dierentuin" "dierentuinen" P.de) "op" ;
+
+ 
+   CitRestaurant cit = mkCNPlace (mkCN cit (P.mkN "restaurant")) in_Prep to_Prep ;    
 
---    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å" ;
 
 -- 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 (P.mkA "Deens") (P.mkN "kroon" "kronen" P.de) ;
+    Dollar = mkCN (P.mkN "dollar" "dollars" P.de) ;
+    Euro = mkCN (P.mkN "euro" "euro's" P.de) ;
+    Lei = mkCN (P.mkA "Roemeens") (P.mkN "leu" "lei" P.de) ;
+    Leva = mkCN (P.mkA "Bulgaars") (P.mkN "leva" "levs" P.de) ;
+    NorwegianCrown = mkCN (P.mkA "Noors") (P.mkN "kroon" "kronen "P.de) ;  
+    Rouble = mkCN (P.mkA "Russisch") (P.mkN "roebel" "roebel" P.de) ;
+    SwedishCrown = mkCN (P.mkA "Zweeds") (P.mkN "kroon" "kronen" P.de) ;
+    Zloty = mkCN (P.mkA "Pools") (P.mkN "zloty" "zloty" P.de) ;
 
--- 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" ;
+-- Nationalities
 
--- actions
+--    Belgian = mkA "belgisk" ; belgische
+--    Belgium = mkNP (mkPN "Belgien") ; belgië
+--    English = mkNat "engelsk" "England" ; engelse
+--    Finnish = mkNat "finsk" "Finland" ; finse 
+--    Flemish = mkNP (mkPN "flamländska") ; vlaamse
+--    French = mkNat "fransk" "Frankrike" ; franse
+--    Italian = mkNat "italiensk" "Italien" ; italiaanse
+--    Romanian = mkNat "rumänsk" "Rumänien" ; roemeense
+--    Swedish = mkNat "svensk" "Sverige" ; zweedse
+
+
+-- Means of transportation
+
+
+    Bike = mkTransport L.bike_N ;
+    Bus = mkTransport (P.mkN "bus" "bussen" P.de) ; 
+    Car = mkTransport (P.mkN "auto" "auto's" P.de);
+    Ferry = mkTransport (P.mkN "veerboot" "veerboten" P.de) ; -- ferry x veerboot
+    Plane = mkTransport (P.mkN "vliegtuig" "vliegtuigen" P.het) ;
+    Subway = mkTransport (P.mkN "metro" "metro" P.de) ;
+    Taxi = mkTransport (P.mkN "taxi" "taxi's" P.de) ;
+    Tram = mkTransport (P.mkN "tram" "trams" P.de) ;
+    Train = mkTransport (P.mkN "trein" "treinen" P.de) ;
 
---    AHasAge p num = mkCl p.name (mkNP num L.year_N) ;
---    AHasName p name = mkCl p.name (mkV2 (mkV "heter")) 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")) 
---        (SyntaxDut.mkAdv for_Prep (mkNP num (mkN "person" "personer")))) ;
---    AHasTable p num = mkCl p.name have_V2 
---      (mkNP (mkNP a_Det (mkN "bord" "bord")) 
---        (SyntaxDut.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")) (SyntaxDut.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) ;
+    ByFoot = P.mkAdv "te voet" ;
+{-
+ ik ga met de/het ....
+ik ga te voet/ ik ga lopend
+
+-}
+
+
+
+-- actions
+    AHasAge p num = mkCl p.name (mkNP num L.year_N) ; -- ik ben ... jaar
+    AHasName p name = mkCl p.name (P.mkV2 I.heten_V) name ;  -- ik heet ...
+    AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ; -- ik heb ... kinderen
+    AHasRoom p num = mkCl p.name have_V2 
+      (mkNP (mkNP a_Det (P.mkN "kamer")) 
+        (SyntaxDut.mkAdv for_Prep (mkNP num (P.mkN "persoon")))) ; -- ik heb een ... persoons kamer/ ik heb een kamer voor ... personen
+    AHasTable p num = mkCl p.name have_V2 
+      (mkNP (mkNP a_Det (P.mkN "tafel")) 
+        (SyntaxDut.mkAdv for_Prep (mkNP num (P.mkN "persoon")))) ;
+    AHungry p = mkCl p.name have_V2 (mkNP (P.mkN "honger")) ; -- to have   
+    AIll p = mkCl p.name (P.mkA "ziek") ; -- to be ?
+    AKnow p = mkCl p.name I.wijten_V ; -- ik weet het.
+    ALike p item = mkCl p.name (P.mkV2 I.houden_V P.van_Prep) item ; -- lekker
+    ALive p co = mkCl p.name (mkVP (mkVP L.live_V) (SyntaxDut.mkAdv in_Prep co)) ; -- woon
+    ALove p q = mkCl p.name (P.mkV2 (P.mkV "lief" P.hebben_V)) q.name ; -- houden van
+    AMarried p = mkCl p.name (P.mkA "getrouwd") ; -- ik ben getrouwd
+    AReady p = mkCl p.name (P.mkA "klaar") ; -- ik ben klaar
+    AScared p = mkCl p.name (P.mkA "bang") ; -- ik ben bang
+    ASpeak p lang = mkCl p.name (P.mkV2 I.spreken_V) lang ; -- ik spreek .../ ik versta ...
+    AThirsty p = mkCl p.name have_V2 (mkNP (P.mkN "dorst")) ; -- ik heb dorst
+    ATired p = mkCl p.name (P.mkA "moe") ; -- ik ben moe
+    AUnderstand p = mkCl p.name (P.mkV "begrijpen" "begreep" "begrepen" "begrepen") ; -- ik begrijp het
+    AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ; -- ik wil
+    AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ; -- ik wil naar ...
 
 -- 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 how_IAdv (mkCl p.name  I.heten_V)) ; --hoe heet je
+    QWhatAge p = mkQS (mkQCl how_IAdv (mkCl p.name (mkAP L.old_A))) ; -- hoe oud ben je
+    HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (P.mkV "kosten"))) ; --hoeveel kost...
+    ItCost item price = mkCl item (P.mkV2 (P.mkV "kosta")) price ; --..item.. kost ..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) ; --de winkel is geopend op vrijdag(s)
+           --normaal gesproken ga ik op vrijdag ..action../vrijdags ga ik ..action..
+    PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ; -- gesloten
+    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))) ;
+    PSeeYou d = mkText (lin Text (ss ("tot"))) (mkPhrase (mkUtt d)) ; -- zie je / tot 
+    PSeeYouPlace p d = 
+      mkText (lin Text (ss ("tot"))) 
+        (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ; --tot ... op/in/bij
 
 -- 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 (P.mkN "vrouw" "vrowen" P.de) ; -- x vrouw
+    Husband = xOf sing L.man_N ;
+    Son = xOf sing (P.mkN "zoon" "zonen" P.de) ;
+    Daughter = xOf sing (P.mkN "dochter" "dochters" P.de) ;
+    Children = xOf plur L.child_N ; -- kind
+
 
+ 
 -- 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 "maandag" ;
+    Tuesday = mkDay "dinsdag" ;
+    Wednesday = mkDay "woensdag" ;
+    Thursday = mkDay "donderdag" ;
+    Friday = mkDay "vrijdag" ;
+    Saturday = mkDay "zaterdag" ;
+    Sunday = mkDay "zondag" ;
+
+  Tomorrow = P.mkAdv "morgen" ;
+
+-- modifiers of places 
+    TheBest = mkSuperl L.good_A ;
+    TheClosest = mkSuperl L.near_A ; 
+    TheCheapest = mkSuperl (P.mkA "goedkoop") ;
+    TheMostExpensive = mkSuperl (P.mkA "duur") ;
+    TheMostPopular = mkSuperl (P.mkA "populair") ;
+    TheWorst = mkSuperl L.bad_A ;
+
+    SuperlPlace sup p = placeNP sup p ;
+
+-- transports
+
+    HowFar place = mkQS (mkQCl far_IAdv place.name) ; -- hoe ver is de dierentuin
+    HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxDut.mkAdv from_Prep x.name))) ;
+-- how far is the center from the hotel ? hoever is het centrum van het hotel
+    HowFarFromBy x y t = 
+      mkQS (mkQCl long_IAdv (mkNP (mkNP y.name (SyntaxDut.mkAdv from_Prep x.name)) t)) ;
+--hoelang duurt het om van het vliegveld naar het hotel te gaan per taxi
+    HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t.by)) ; --hoe ver is het museum per bus
+ 
+    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 (P.mkPN (nat + "a"))) (mkNP (P.mkPN co)) (P.mkA nat) ;
+
+    mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d -> 
+      mkNPDay (mkNP (P.mkPN d)) (mkAdv on_Prep (mkNP (P.mkPN d))) 
+        (mkAdv on_Prep (mkNP a_Quant plNum (mkCN (P.mkN d)))) ;
+
+    mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> 
+      mkCNPlace (mkCN p) (P.mkPrep i) to_Prep ;
+
+    open_A = P.mkA "geopend" ;
+    closed_A = P.mkA "gesloten" ;
+
+   xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> 
+      relativePerson n (mkCN x) (\a,b,c -> mkNP (mkNP the_Quant a c) (SyntaxDut.mkAdv possess_Prep b)) p ;
+
+     mkTransport : N -> {name : CN ; by : Adv} = \n -> {
+      name = mkCN n ; 
+      by = SyntaxDut.mkAdv with_Prep (mkNP n)
+      } ;
+
+  far_IAdv = ss "hoe ver" ** {lock_IAdv = <>} ;
+  long_IAdv = ss "hoe lang" ** {lock_IAdv = <>};
+
+  mkSuperl : A -> Det = \a -> SyntaxDut.mkDet the_Art (SyntaxDut.mkOrd a) ;
+
 
---    Tomorrow = ParadigmsDut.mkAdv "imorgon" ;
 
---  oper
---    mkNat : Str -> Str -> NPNationality = \nat,co -> 
---      mkNPNationality (mkNP (mkPN (nat + "a"))) (mkNP (mkPN co)) (mkA nat) ;
+{-
+TheBest : SuperlModif ; de/het beste
+    TheClosest : SuperlModif ; welke ... is het dichtste bij (which .. is the closest)
+    TheCheapest : SuperlModif ; de goedkoopste
+    TheWorst : SuperlModif ; de slechtste
+    MostExpensive : SuperlModif ; de duurste
+    MostPopular : SuperlModif ; populairste
 
---    mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
---      let day = mkNP (mkPN d) in 
---      mkNPDay day (SyntaxDut.mkAdv on_Prep day) 
---        (SyntaxDut.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
+    HowFar : Place -> Question ;                            -- how far is the zoo ?  
+    HowFarFrom : Place -> Place -> Question ;               -- how far is the center from the hotel ? hoever is het centrum van het hotel
+    HowFarFromBy : Place -> Place -> ByTransp -> Question ; -- how far is the airport from the hotel by taxi ? hoelang duurt het om van het vliegveld naar het hotel te gaan per taxi
+    HowFarBy : Place -> Transp -> Question ;                -- how far is the museum by bus ? hoe ver is het museum per bus/ hoelang doe je er over om met de bus naar het museum te gaan/hoelang doet de bus er over tot het museum
 
---    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 ;
+-}
 
 
---}
 }