fixed English, Dutch, French and Romanian phrasebooks

1 files changed, 110 insertions, 28 deletions

diff --git a/examples/phrasebook/WordsFre.gf b/examples/phrasebook/WordsFre.gf
index dd4508552..acf4a6207 100644
--- a/examples/phrasebook/WordsFre.gf
+++ b/examples/phrasebook/WordsFre.gf
@@ -6,6 +6,7 @@ concrete WordsFre of Words = SentencesFre ** open
   (E = ExtraFre),
   (L = LexiconFre),
   ParadigmsFre,
+  (M = MorphoFre),
   (P = ParadigmsFre),
   Prelude in {
 
@@ -24,7 +25,7 @@ lin
     Milk = mkCN L.milk_N ;
     Pizza = mkCN (mkN "pizza" feminine) ;
     Salt = mkCN L.salt_N ;
-    Tea = mkCN (mkN "thé") ;
+    Tea = mkCN (mkN "thé") ;
     Water = mkCN L.water_N ;
     Wine = mkCN L.wine_N ;
 
@@ -32,32 +33,45 @@ lin
 
     Bad = L.bad_A ;
     Boring = mkA "ennuyeux" ;
-    Cheap = let bm = "bon marché" in mkA bm bm bm bm ;
+    Cheap = let bm = "bon marché" in mkA bm bm bm bm ;
     Cold = L.cold_A ;
-    Delicious = mkA "délicieux" ;
+    Delicious = mkA "délicieux" ;
     Expensive = mkA "cher" ;
-    Fresh = mkA "frais" "fraîche" "frais" "fraîchement" ;
+    Fresh = mkA "frais" "fraîche" "frais" "fraîchement" ;
     Good = L.good_A ;
     Suspect = mkA "suspect" ;
     Warm = L.warm_A ;
 
 -- places
 
-    Airport = mkPlace (mkN "aéroport") dative ;
+    Airport = mkPlace (mkN "aéroport") dative ;
+    AmusementPark = mkPlace (compN (mkN "parc") ["d'attractions"]) in_Prep ;
+    Bank = mkPlace (mkN "banque") in_Prep ;
     Bar = mkPlace (mkN "bar") in_Prep ;
-    Church = mkPlace (mkN "église") in_Prep ;
-    Cinema = mkPlace (mkN "cinéma" masculine) in_Prep ;
-    Hospital = mkPlace (mkN "hôpital") dative ;
-    Hotel = mkPlace (mkN "hôtel") dative ;
-    Museum = mkPlace (mkN "musée" masculine) in_Prep ;
+    Cafeteria = mkPlace (mkN "cafétéria") in_Prep ;
+    Center = mkPlace (mkN "centre") in_Prep ;
+    Church = mkPlace (mkN "église") in_Prep ;
+    Cinema = mkPlace (mkN "cinéma" masculine) in_Prep ;
+    Disco = mkPlace (mkN "discothèque" feminine) dative ;
+    Hospital = mkPlace (mkN "hôpital") dative ;
+    Hotel = mkPlace (mkN "hôtel") dative ;
+    Museum = mkPlace (mkN "musée" masculine) in_Prep ;
     Park = mkPlace (mkN "parc") in_Prep ;
+    Parking = mkPlace (mkN "parking" masculine) in_Prep ;
+    Pharmacy = mkPlace (mkN "pharmacie" feminine) in_Prep ;
+    PostOffice = mkPlace (mkN "poste" feminine) dative ;
+    Pub = mkPlace (mkN "pub" masculine) dative ;
     Restaurant = mkPlace (mkN "restaurant") in_Prep ;
-    School = mkPlace (mkN "école") dative ;
+    School = mkPlace (mkN "école") dative ;
     Shop = mkPlace (mkN "magasin") in_Prep ;
     Station = mkPlace (mkN "gare") dative ;
-    Theatre = mkPlace (mkN "théâtre" masculine) in_Prep ;
+    Supermarket = mkPlace (mkN "supermarché" masculine) in_Prep ;
+    Theatre = mkPlace (mkN "théâtre" masculine) in_Prep ;
     Toilet = mkPlace (mkN "toilette") in_Prep ;
-    University = mkPlace (mkN "université" feminine) dative ;
+    University = mkPlace (mkN "université" feminine) dative ;
+    Zoo = mkPlace (mkN "zoo" masculine) dative ;
+
+    CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restaurant")) in_Prep to_Prep ;
 
 -- currencies
 
@@ -65,23 +79,52 @@ lin
     Dollar = mkCN (mkN "dollar") ;
     Euro = mkCN (mkN "euro") ;
     Lei = mkCN (mkN "leu" "lei" masculine) ;
-    SwedishCrown = mkCN (mkA "suédois") (mkN "couronne") | mkCN (mkN "couronne") ;
-
+    Leva = mkCN (mkN "lev" "leva" masculine);
+    NorwegianCrown = mkCN (mkA "norvégien") (mkN "couronne") | mkCN (mkN "couronne") ;
+    Pound = mkCN (compN (mkN "livre") ["sterling"]);
+    Rouble = mkCN (mkN "rouble" "rouble" masculine) ;
+    SwedishCrown = mkCN (mkA "suédois") (mkN "couronne") | mkCN (mkN "couronne") ;
+    Zloty = mkCN (mkN "złoty" "złotych" masculine) ;
+   
 -- nationalities
 
     Belgian = mkA "belge" ;
     Belgium = mkNP (mkPN "Belgique") ;
+    Bulgarian = mkNat "bulgare" "Bulgarie" ;
+    Catalan = mkNat "cataln" "Catalogne" ;
+    Danish = mkNat "danois" "Danemark" ;
+    Dutch = mkNat "hollandais" "Holland" ;
     English = mkNat "anglais" "Angleterre" ;
     Finnish = mkNat "finlandais" "Finlande" ;
     Flemish = mkNP (mkPN "flamand") ;
-    French = mkNat "français" "France" ; 
+    French = mkNat "français" "France" ; 
+    German = mkNat "allemand" "Allemagne" ;
     Italian = mkNat "italien" "Italie" ;
+    Norwegian = mkNat "norvégien" "Norvège" ;
+    Polish = mkNat "polonais" "Pologne" ;
     Romanian = mkNat "roumain" "Roumanie" ;
-    Swedish = mkNat "suédois" "Suède" ;
+    Russian = mkNat "russe" "Russie" ;
+    Spanish = mkNat "espagnol" "Espagne" ;
+    Swedish = mkNat "suédois" "Suède" ;
+
+-- means of transportation
+  
+   Bike = mkTransport L.bike_N ;
+   Bus = mkTransport (mkN "bus") ;
+   Car = mkTransport L.car_N ;
+   Ferry = mkTransport (mkN "ferry-boat") ;
+   Plane = mkTransport L.airplane_N ;
+   Subway = mkTransport (mkN "metro") ;
+   Taxi = mkTransport (mkN "taxi") ;
+   Train = mkTransport (mkN "train") ;
+   Tram = mkTransport (mkN "tram") ;
+
+   ByFoot = P.mkAdv "à pied" ;
+
 
 -- actions
 
-    AHasAge p num = mkCl p.name have_V2 (mkNP num L.year_N) ;
+    AHasAge p num = mkCl p.name (mkNP num L.year_N) ;
     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 "chambre")) 
@@ -89,15 +132,15 @@ lin
     AHasTable p num = mkCl p.name have_V2 
       (mkNP (mkNP a_Det (mkN "table")) 
         (SyntaxFre.mkAdv for_Prep (mkNP num (mkN "personne")))) ;
-    AMarried p = mkCl p.name (mkA "marié") ;
+    AMarried p = mkCl p.name (mkA "marié") ;
     AWant p obj = mkCl p.name vouloir_V2 obj ;
     ALike p item = mkCl item plaire_V2 p.name ;
     ASpeak p lang = mkCl p.name  (mkV2 (mkV "parler")) lang ;
     ALove p q = mkCl p.name (mkV2 (mkV "aimer")) q.name ;
     AHungry p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "faim" feminine))) ;
-    AReady p = mkCl p.name (mkA "prêt") ;
+    AReady p = mkCl p.name (mkA "prêt") ;
     AThirsty p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "soif" feminine))) ;
-    ATired p = mkCl p.name (mkA "fatigué") ;
+    ATired p = mkCl p.name (mkA "fatigué") ;
     AScared p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "peur" feminine))) ;
     AIll p = mkCl p.name (mkA "malade") ;
     AUnderstand p = mkCl p.name (mkV IrregFre.comprendre_V2) ;
@@ -109,7 +152,7 @@ lin
 -- miscellaneous
 
     QWhatName p = mkQS (mkQCl how_IAdv (mkCl p.name (reflV (mkV "appeler")))) ;
-    QWhatAge p = mkQS (mkQCl (mkIP whichSg_IDet (mkN "âge" masculine)) p.name have_V2) ; 
+    QWhatAge p = mkQS (mkQCl (mkIP whichSg_IDet (mkN "âge" masculine)) p.name have_V2) ; 
 
     PropOpen p = mkCl p.name open_A ;
     PropClosed p = mkCl p.name closed_A ;
@@ -118,16 +161,17 @@ lin
     PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ; 
     PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ; 
 
-    HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "coûter"))) ; 
-    ItCost item price = mkCl item (mkV2 (mkV "coûter")) price ;
+    HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "coûter"))) ; 
+    ItCost item price = mkCl item (mkV2 (mkV "coûter")) price ;
 
 -- Building phrases from strings is complicated: the solution is to use
 -- mkText : Text -> Text -> Text ;
 
-    PSeeYouPlace p = mkText (lin Text (ss ("on se verra"))) (mkPhrase (mkUtt p.at)) ;
-    PSeeYouDate d = mkText (lin Text (ss ("on se verra"))) (mkPhrase (mkUtt d)) ;
+
+    PSeeYouPlace d = mkText (lin Text (ss ("on se voit"))) (mkPhrase (mkUtt d.at)) ;
+    PSeeYouDate d = mkText (lin Text (ss ("on se voit"))) (mkPhrase (mkUtt d)) ;
     PSeeYouPlaceDate p d = 
-      mkText (lin Text (ss ("on se verra"))) 
+      mkText (lin Text (ss ("on se voit"))) 
         (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
 
 -- Relations are expressed as "my wife" or "the wife of my son", as defined by $xOf$
@@ -153,6 +197,35 @@ lin
 
     Tomorrow = ParadigmsFre.mkAdv "demain" ;
 
+-- modifiers of places
+
+    TheBest = mkSuperl L.good_A ;
+    TheClosest = mkSuperl L.near_A ; 
+    TheCheapest = mkSuperl (compADeg {s = \\_ => (M.mkAdj "bon marché" "bon marché" "bon marché" "bon marché").s ; isPre = False ; lock_A = <>}) ; 
+    TheMostExpensive = mkSuperl (mkA "cher") ;
+    TheMostPopular = mkSuperl (mkA "populair") ;
+    TheWorst = mkSuperl L.bad_A ;
+
+    SuperlPlace sup p = placeNP sup p ;
+
+
+-- transports
+{-
+    HowFar place = mkQS (mkQCl which_IQuant (mkNP the_Det (mkN "distance" feminine))) ;  -- (mkNP ()place.name) ;
+
+    HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxFre.mkAdv from_Prep x.name))) ;
+    HowFarFromBy x y t = 
+      mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxFre.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 -> 
@@ -166,8 +239,17 @@ lin
       mkCNPlace (mkCN p) i dative ;
 
     open_A = P.mkA "ouvert" ;
-    closed_A = P.mkA "fermé" ;
+    closed_A = P.mkA "fermé" ;
 
     xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> mkRelative n (mkCN x) p ; 
 
+    mkTransport : N -> {name : CN ; by : Adv} = \n -> {
+      name = mkCN n ; 
+      by = SyntaxFre.mkAdv by8means_Prep (mkNP n)
+      } ;
+
+    mkSuperl : A -> Det = \a -> SyntaxFre.mkDet the_Art (SyntaxFre.mkOrd a) ;
+    
+    far_IAdv = ss "loin" ;
+
 }