a compilable stub of PhrasebookJpn. Sent to a native speaker expert for completions.

5 files changed, 389 insertions, 2 deletions

diff --git a/examples/phrasebook/GreetingsJpn.gf b/examples/phrasebook/GreetingsJpn.gf
new file mode 100644
index 000000000..a8ddfb224
--- /dev/null
+++ b/examples/phrasebook/GreetingsJpn.gf
@@ -0,0 +1,27 @@
+concrete GreetingsJpn of Greetings = SentencesJpn [Greeting,mkGreeting] ** open Prelude in {
+
+lin 
+  GBye = mkGreeting "bye" ;
+  GCheers = mkGreeting "cheers" ;
+  GDamn = mkGreeting "damn" ;
+  GExcuse, GExcusePol = mkGreeting "excuse me" ;
+  GGoodDay = mkGreeting "good afternoon" ; ----
+  GGoodEvening = mkGreeting "good evening" ;
+  GGoodMorning = mkGreeting "good morning" ;
+  GGoodNight = mkGreeting "good night" ;
+  GGoodbye = mkGreeting "goodbye" ;
+  GHello = mkGreeting "hello" ;
+  GHelp = mkGreeting "help" ;
+  GHowAreYou = mkGreeting "how are you" ;
+  GLookOut = mkGreeting "look out" ;
+  GNiceToMeetYou, GNiceToMeetYouPol = mkGreeting "nice to meet you" ;
+  GPleaseGive, GPleaseGivePol = mkGreeting "please" ;
+  GSeeYouSoon = mkGreeting "see you soon" ;
+  GSorry, GSorryPol = mkGreeting "sorry" ;
+  GThanks = mkGreeting "thank you" ;
+  GTheCheck = mkGreeting "the bill" ;
+  GCongratulations = mkGreeting "congratulations";
+  GHappyBirthday = mkGreeting "happy birthday" ;
+  GGoodLuck = mkGreeting "good luck" ; 
+  GWhatTime = mkGreeting "what time is it" | mkGreeting "what is the time" ;
+}
diff --git a/examples/phrasebook/PhrasebookJpn.gf b/examples/phrasebook/PhrasebookJpn.gf
new file mode 100644
index 000000000..b79d64379
--- /dev/null
+++ b/examples/phrasebook/PhrasebookJpn.gf
@@ -0,0 +1,7 @@
+concrete PhrasebookJpn of Phrasebook = 
+  GreetingsJpn,
+  WordsJpn ** open 
+    SyntaxJpn,
+    Prelude in {
+
+}
diff --git a/examples/phrasebook/SentencesI.gf b/examples/phrasebook/SentencesI.gf
index 528ea8584..913aa11ad 100644
--- a/examples/phrasebook/SentencesI.gf
+++ b/examples/phrasebook/SentencesI.gf
@@ -210,8 +210,8 @@ oper
   placeNP : Det -> CNPlace -> NPPlace = \det,kind ->
     let name : NP = mkNP det kind.name in {
       name = name ;
-      at = mkAdv kind.at name ;
-      to = mkAdv kind.to name
+      at = Syntax.mkAdv kind.at name ;
+      to = Syntax.mkAdv kind.to name
     } ;
 
   NPPerson : Type = {name : NP ; isPron : Bool ; poss : Quant} ;
diff --git a/examples/phrasebook/SentencesJpn.gf b/examples/phrasebook/SentencesJpn.gf
new file mode 100644
index 000000000..bc3605fbd
--- /dev/null
+++ b/examples/phrasebook/SentencesJpn.gf
@@ -0,0 +1,36 @@
+concrete SentencesJpn of Sentences = NumeralJpn ** 
+  SentencesI - [
+    VDrink,VEat,VRead,VWait,VWrite,
+    phrasePlease, mkSentence, mkPhrase,
+    NameNN, 
+    PSentence, PQuestion, GObjectPlease
+
+   ]
+with 
+  (Syntax = SyntaxJpn),
+--  (Symbolic = SymbolicJpn),
+  (Lexicon = LexiconJpn) ** open SyntaxJpn, ParadigmsJpn in {
+
+lin 
+    VDrink = v2toVP drink_V2 ; 
+    VEat = v2toVP eat_V2 ;
+    VRead = v2toVP read_V2 ;
+    VWait = v2toVP wait_V2 ;
+    VWrite = v2toVP write_V2 ; 
+
+    NameNN = mkNP (mkPN "NN") ;
+
+    PSentence s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ;  -- optional '.'
+    PQuestion s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ;  -- optional '?'
+
+    GObjectPlease o = lin Text (mkPhr noPConj (mkUtt o) please_Voc) | lin Text (mkPhr (mkUtt o)) ;
+
+oper
+  v2toVP : V2 -> VP = \v2 -> mkVP <lin V (v2 ** {needSubject = True}) : V> ; 
+
+  phrasePlease : Utt -> Text = \u -> lin Text (mkPhr u) | lin Text (mkPhr noPConj u please_Voc) ;
+
+  mkPhrase : Utt -> Text = \u -> lin Text (mkPhr u) ; -- no punctuation
+  mkSentence : Utt -> Text = \t -> lin Text (postfixSS "." (mkPhr t) | (mkPhr t)) ; -- optional .
+
+}
diff --git a/examples/phrasebook/WordsJpn.gf b/examples/phrasebook/WordsJpn.gf
new file mode 100644
index 000000000..134da8aaa
--- /dev/null
+++ b/examples/phrasebook/WordsJpn.gf
@@ -0,0 +1,317 @@
+--2 Implementations of Words, with Jpnlish as example
+
+concrete WordsJpn of Words = SentencesJpn ** 
+    open 
+      SyntaxJpn, 
+      ParadigmsJpn, 
+      (L = LexiconJpn), 
+      (P = ParadigmsJpn), 
+--      IrregJpn, 
+      ExtraJpn, 
+      Prelude in {
+  lin
+
+-- Kinds; many of them are in the resource lexicon, others can be built by $mkN$.
+
+    Apple = mkCN L.apple_N ;
+    Beer = mkCN L.beer_N ;
+    Bread = mkCN L.bread_N ;
+    Cheese = mkCN (mkN "cheese") ;
+    Chicken = mkCN (mkN "chicken") ;
+    Coffee = mkCN (mkN "coffee") ;
+    Fish = mkCN L.fish_N ;
+    Meat = mkCN (mkN "meat") ;
+    Milk = mkCN L.milk_N ;
+    Pizza = mkCN (mkN "pizza") ;
+    Salt = mkCN L.salt_N ;
+    Tea = mkCN (mkN "tea") ;
+    Water = mkCN L.water_N ;
+    Wine = mkCN L.wine_N ;
+
+-- Properties; many of them are in the resource lexicon, others can be built by $mkA$.
+
+    Bad = L.bad_A ;
+--    Boring = mkA "boring" ;
+--    Cheap = mkA "cheap" ;
+    Cold = L.cold_A ;
+--    Delicious = mkA "delicious" ;
+--    Expensive = mkA "expensive" ;
+--    Fresh = mkA "fresh" ;
+    Good = L.good_A ;
+--    Suspect = mkA "suspect" ;
+    Warm = L.warm_A ;
+
+-- Places require different prepositions to express location; in some languages 
+-- also the directional preposition varies, but in English we use $to$, as
+-- defined by $mkPlace$.
+
+    Airport = mkPlace "airport" "at" ;
+    AmusementPark = mkCompoundPlace "amusement" "park" "at" ;
+    Bank = mkPlace "bank" "at" ;
+    Bar = mkPlace "bar" "in" ;
+    Cafeteria = mkPlace "canteen" "in" ;
+    Center = mkPlace "center" "in" ;
+    Cinema = mkPlace "cinema" "at" ;
+    Church = mkPlace "church" "in" ;
+    Disco = mkPlace "disco" "at" ;
+    Hospital = mkPlace "hospital" "in" ;
+    Hotel = mkPlace "hotel" "in" ;
+    Museum = mkPlace "museum" "at" ;
+    Park = mkPlace "park" "in" ;
+    Parking = mkCompoundPlace "car" "park" "in" ; 
+    Pharmacy = mkPlace "pharmacy" "at" ;
+    PostOffice = mkCompoundPlace "post" "office" "at" ;
+    Pub = mkPlace "pub" "at" ;
+    Restaurant = mkPlace "restaurant" "in" ;
+    School = mkPlace "school" "at" ;
+    Shop = mkPlace "shop" "at" ;
+    Station = mkPlace "station" "at" ;
+    Supermarket = mkPlace "supermarket" "at" ; 
+    Theatre = mkPlace "theatre" "at" ;
+    Toilet = mkPlace "toilet" "in" ;
+    University = mkPlace "university" "at" ;
+    Zoo = mkPlace "zoo" "at" ;
+   
+    CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restaurant")) in_Prep to_Prep ;
+
+
+-- Currencies; $crown$ is ambiguous between Danish and Swedish crowns.
+
+----    DanishCrown = mkCN (mkA "Danish") (mkN "crown") | mkCN (mkN "crown") ;
+    Dollar = mkCN (mkN "dollar") ;
+    Euro = mkCN (mkN "euro") ; -- to prevent euroes
+    Lei = mkCN (mkN "leu") ;
+    Leva = mkCN (mkN "lev") ;
+----    NorwegianCrown = mkCN (mkA "Norwegian") (mkN "crown") | mkCN (mkN "crown") ;
+    Pound = mkCN (mkN "pound") ;
+    Rouble = mkCN (mkN "rouble") ;
+    Rupee = mkCN (mkN "rupee") ;
+----    SwedishCrown = mkCN (mkA "Swedish") (mkN "crown") | mkCN (mkN "crown") ;
+    Zloty = mkCN (mkN "zloty") ;
+    Yuan = mkCN (mkN "yuan") ;
+
+-- Nationalities
+
+--    Belgian = mkA "Belgian" ;
+    Belgium = mkNP (mkPN "Belgium") ;
+    Bulgarian = mkNat "Bulgarian" "Bulgaria" ;
+----    Catalan = mkNPNationality (mkNP (mkPN "Catalan")) (mkNP (mkPN "Catalonia")) (mkA "Catalonian") ;
+    Chinese = mkNat "Chinese" "China" ;
+    Danish = mkNat "Danish" "Denmark" ;
+----    Dutch =  mkNPNationality (mkNP (mkPN "Dutch")) (mkNP the_Quant (mkN "Netherlands")) (mkA "Dutch") ;
+    English = mkNat "English" "England" ;
+    Finnish = mkNat "Finnish" "Finland" ;
+    Flemish = mkNP (mkPN "Flemish") ;
+    French = mkNat "French" "France" ; 
+    German = mkNat "German" "Germany" ;
+    Hindi = mkNP (mkPN "Hindi") ;
+    India = mkNP (mkPN "India") ;
+----    Indian = mkA "Indian" ;
+    Italian = mkNat "Italian" "Italy" ;
+    Norwegian = mkNat "Norwegian" "Norway" ;
+    Polish = mkNat "Polish" "Poland" ;
+    Romanian = mkNat "Romanian" "Romania" ;
+    Russian = mkNat "Russian" "Russia" ;
+    Spanish = mkNat "Spanish" "Spain" ;
+    Swedish = mkNat "Swedish" "Sweden" ;
+
+-- Means of transportation 
+
+   Bike = mkTransport L.bike_N ;
+   Bus = mkTransport (mkN "bus") ;
+   Car = mkTransport L.car_N ;
+   Ferry = mkTransport (mkN "ferry") ;
+   Plane = mkTransport L.airplane_N ;
+   Subway = mkTransport (mkN "subway") ;
+   Taxi = mkTransport (mkN "taxi") ;
+   Train = mkTransport (mkN "train") ;
+   Tram = mkTransport (mkN "tram") ;
+
+   ByFoot = P.mkAdv "by foot" ;
+
+-- Actions: the predication patterns are very often language-dependent.
+
+    AHasAge p num = mkCl p.name (mkNP (mkNP num L.year_N) (ParadigmsJpn.mkAdv "old"));
+    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 "room")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkN "person")))) ;
+    AHasTable p num = mkCl p.name have_V2 
+      (mkNP (mkNP a_Det (mkN "table")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkN "person")))) ;
+    AHasName p name = mkCl (nameOf p) name ;
+--    AHungry p = mkCl p.name (mkA "hungry") ;
+--    AIll p = mkCl p.name (mkA "ill") ;
+    AKnow p = mkCl p.name (v2toVP L.know_V2) ;
+    ALike p item = mkCl p.name L.like_V2 item ;
+    ALive p co = mkCl p.name (mkVP (mkVP L.live_V) (SyntaxJpn.mkAdv in_Prep co)) ;
+    ALove p q = mkCl p.name L.love_V2 q.name ;
+--    AMarried p = mkCl p.name (mkA "married") ;
+--    AReady p = mkCl p.name (mkA "ready") ;
+--    AScared p = mkCl p.name (mkA "scared") ;
+    ASpeak p lang = mkCl p.name L.speak_V2 lang ;
+--    AThirsty p = mkCl p.name (mkA "thirsty") ;
+--    ATired p = mkCl p.name (mkA "tired") ;
+    AUnderstand p = mkCl p.name (v2toVP L.understand_V2) ;
+    AWant p obj = mkCl p.name (mkV2 "want") obj ;
+    AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
+
+-- miscellaneous
+
+    QWhatName p = mkQS (mkQCl (mkIComp whatSg_IP) (nameOf p)) ;
+--    QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
+--    QWhatAge p = mkQS (mkQCl (ICompAP (mkAP L.old_A)) p.name) ;
+    HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "cost"))) ;
+    ItCost item price = mkCl item (mkV2 "cost") price ;
+
+    PropOpen p = mkCl p.name open_Adv ;
+    PropClosed p = mkCl p.name closed_Adv ;
+    PropOpenDate p d = mkCl p.name (mkVP (mkVP open_Adv) d) ; 
+    PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_Adv) d) ; 
+    PropOpenDay p d = mkCl p.name (mkVP (mkVP open_Adv) d.habitual) ; 
+    PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_Adv) d.habitual) ; 
+
+-- Building phrases from strings is complicated: the solution is to use
+-- mkText : Text -> Text -> Text ;
+
+    PSeeYouDate d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
+    PSeeYouPlace p = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt p.at)) ;
+    PSeeYouPlaceDate p d = 
+      mkText (lin Text (ss ("see you"))) 
+        (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 (mkN "wife") ;
+    Husband = xOf (mkN "husband") ;
+    Son = xOf (mkN "son") ;
+    Daughter = xOf (mkN "daughter") ;
+    Children = xOf L.child_N ;
+
+-- week days
+
+    Monday = mkDay "Monday" ;
+    Tuesday = mkDay "Tuesday" ;
+    Wednesday = mkDay "Wednesday" ;
+    Thursday = mkDay "Thursday" ;
+    Friday = mkDay "Friday" ;
+    Saturday = mkDay "Saturday" ;
+    Sunday = mkDay "Sunday" ;
+ 
+    Tomorrow = P.mkAdv "tomorrow" ;
+
+-- modifiers of places
+
+    TheBest = mkSuperl L.good_A ;
+    TheClosest = mkSuperl L.near_A ; 
+----    TheCheapest = mkSuperl (mkA "cheap") ;
+----    TheMostExpensive = mkSuperl (mkA "expensive") ;
+----    TheMostPopular = mkSuperl (mkA "popular") ;
+    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 (mkCl y.name (SyntaxJpn.mkAdv from_Prep x.name))) ;
+    HowFarFromBy x y t = 
+      mkQS (mkQCl far_IAdv (mkCl y.name (SyntaxJpn.mkAdv from_Prep (mkNP x.name t)))) ;
+    HowFarBy y t = mkQS (mkQCl far_IAdv (mkCl 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))) ;
+
+
+
+-- auxiliaries
+
+  oper
+
+    mkNat : Str -> Str -> NPNationality = \nat,co -> 
+      mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) L.good_A ; ---- mkA ...
+
+    mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
+      let day : NP = mkNP (mkPN d) in 
+      mkNPDay day (SyntaxJpn.mkAdv on_Prep day) 
+        (SyntaxJpn.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
+    
+    mkCompoundPlace : Str -> Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \comp, p, i ->
+     mkCNPlace (mkCN (P.mkN (comp + p))) (P.mkPrep i) to_Prep ;
+
+    mkPlace : Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p,i -> 
+      mkCNPlace (mkCN (mkN p)) (P.mkPrep i) to_Prep ;
+
+    open_Adv = P.mkAdv "open" ;
+    closed_Adv = P.mkAdv "closed" ;
+
+   xOf : N -> NPPerson -> NPPerson = \f,p ->
+     {name = mkNP the_Det (mkCN f (SyntaxJpn.mkAdv possess_Prep p.name)) ;
+     isPron = False ; poss = the_Quant} ; ---- poss not used
+
+
+    nameOf : NPPerson -> NP = \p -> (xOf (mkN "name") p).name ;
+
+
+    mkTransport : N -> {name : CN ; by : Adv} = \n -> {
+      name = mkCN n ; 
+      by = SyntaxJpn.mkAdv by8means_Prep (mkNP n)
+      } ;
+
+    mkSuperl : A -> Det = \a -> SyntaxJpn.mkDet the_Art (SyntaxJpn.mkOrd a) ;
+    
+   far_IAdv = lin IAdv (ss "how far") ;
+
+--------------------------------------------------
+-- New 30/11/2011 AR
+--------------------------------------------------
+
+  lin
+    Thai = mkNat "Thai" "Thailand" ;
+    Baht = mkCN (mkN "baht" "baht") ;
+
+    Rice = mkCN (mkN "rice") ;
+    Pork = mkCN (mkN "pork") ;
+    Beef = mkCN (mkN "beef") ;
+    Egg = mkCN L.egg_N ;
+    Noodles = mkCN (mkN "noodle") ;
+    Shrimps = mkCN (mkN "shrimp") ;
+    Chili = mkCN (mkN "chili") ;
+    Garlic = mkCN (mkN "garlic") ;
+    Durian = mkCN (mkN "durian") ;
+    Mango = mkCN (mkN "mango") ;
+    Pineapple = mkCN (mkN "pineapple") ;
+    Coke = mkCN (mkN "coke") ;
+    IceCream = mkCN (mkN "ice cream") ;
+    Salad = mkCN (mkN "salad") ;
+    OrangeJuice = mkCN (mkN "orange juice") ;
+    Lemonade = mkCN (mkN "lemonade") ;
+
+    Beach = mkPlace "beach" "on" ;
+
+    ItsRaining = mkCl (progressiveVP (mkVP L.rain_V0)) ;
+    ItsCold = mkCl (mkVP L.cold_A) ;
+    ItsWarm = mkCl (mkVP L.warm_A) ;
+    ItsWindy = mkCl (mkVP (P.mkA "windy")) ;
+    SunShine = mkCl (mkNP the_Det L.sun_N) (progressiveVP (mkVP (mkV "shine"))) ;
+
+    Smoke = mkVP (P.mkV "smoke") ;
+
+    ADoctor = mkProfession (mkN "doctor") ;
+    AProfessor = mkProfession (mkN "professor") ;
+    ALawyer = mkProfession (mkN "lawyer") ;
+    AEngineer =  mkProfession (mkN "engineer") ;
+    ATeacher = mkProfession (mkN "teacher") ;
+    ACook = mkProfession (mkN "cook") ;
+    AStudent = mkProfession (mkN "student") ;
+    ABusinessman = mkProfession (mkN "businessman" "businessmen") ;
+
+  oper
+    mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ;
+}