updates in phrasebook doc and in resource status doc

examples/phrasebook/Implementation.html

@@ -41,6 +41,9 @@ gfdoc - a rudimentary GF document generator.
       Date = Adv ;
       Name = NP ;
       Number = Card ;
+      ByTransport = Adv ;
+      Transport = {name : CN ; by : Adv} ;
+      Superlative = Det ;
     lin
       PSentence s = mkText s | lin Text (mkUtt s) ;  -- optional '.'
       PQuestion s = mkText s | lin Text (mkUtt s) ;  -- optional '?'
@@ -57,6 +60,8 @@ gfdoc - a rudimentary GF document generator.
       PCountry x = mkPhrase (mkUtt x) ;
       PCitizenship x = mkPhrase (mkUtt (mkAP x)) ;
       PDay d = mkPhrase (mkUtt d.name) ;
+      PTransport t = mkPhrase (mkUtt t.name) ;
+      PByTransport t = mkPhrase (mkUtt t) ;
   
       PYes = mkPhrase yes_Utt ;
       PNo = mkPhrase no_Utt ;
@@ -91,12 +96,9 @@ gfdoc - a rudimentary GF document generator.
       Very property = mkAP very_AdA (mkAP property) ;
       Too property = mkAP too_AdA (mkAP property) ;
       PropQuality property = mkAP property ;
-      ThePlace kind =
+  
-        let name : NP = mkNP the_Quant kind.name in {
+      ThePlace kind = placeNP the_Det kind ;
-          name = name ;
+      APlace kind = placeNP a_Det kind ;
-          at = mkAdv kind.at name ;
-          to = mkAdv kind.to name
-        } ;
   
       IMale, IFemale = mkPerson i_Pron ;
       YouFamMale, YouFamFemale = mkPerson youSg_Pron ;
@@ -120,8 +122,10 @@ gfdoc - a rudimentary GF document generator.
       NNumeral n = mkCard <lin Numeral n : Numeral>  ;
   
       AHave p kind = mkCl p.name have_V2 (mkNP kind) ;
+      AHaveCurr p curr = mkCl p.name have_V2 (mkNP aPl_Det curr) ;
       ACitizen p n = mkCl p.name n ;
       ABePlace p place = mkCl p.name place.at ;
+      ByTransp t = t.by ;
   
   oper 
 </pre>
@@ -161,6 +165,13 @@ These are used in Words for each language.
       to = t
       } ;
   
+    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
+      } ;
+  
     NPPerson : Type = {name : NP ; isPron : Bool ; poss : Quant} ;
   
     relativePerson : GNumber -> CN -> (Num -> NP -> CN -> NP) -> NPPerson -> NPPerson = 
@@ -242,20 +253,33 @@ also the directional preposition varies, but in English we use <tt>to</tt>, as
 defined by <tt>mkPlace</tt>.
 <pre>
       Airport = mkPlace "airport" "at" ;
+      AmusementPark = mkCompoundPlace "amusement" "park" "at" ;
+      Bank = mkPlace "bank" "at" ;
       Bar = mkPlace "bar" "in" ;
-      Church = mkPlace "church" "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" "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" "in" ;
+      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 ;
 </pre>
 
 Currencies; <tt>crown</tt> is ambiguous between Danish and Swedish crowns.
@@ -264,25 +288,54 @@ Currencies; <tt>crown</tt> is ambiguous between Danish and Swedish crowns.
       Dollar = mkCN (mkN "dollar") ;
       Euro = mkCN (mkN "euro" "euros") ; -- to prevent euroes
       Lei = mkCN (mkN "leu" "lei") ;
+      Leva = mkCN (mkN "lev") ;
+      NorwegianCrown = mkCN (mkA "Norwegian") (mkN "crown") | mkCN (mkN "crown") ;
+      Pound = mkCN (mkN "pound") ;
+      Rouble = mkCN (mkN "rouble") ;
       SwedishCrown = mkCN (mkA "Swedish") (mkN "crown") | mkCN (mkN "crown") ;
+      Zloty = mkCN (mkN "zloty" "zloty") ;
 </pre>
 
 Nationalities
 <pre>
       Belgian = mkA "Belgian" ;
       Belgium = mkNP (mkPN "Belgium") ;
+      Bulgarian = mkNat "Bulgarian" "Bulgaria" ;
+      Catalan = mkNPNationality (mkNP (mkPN "Catalan")) (mkNP (mkPN "Catalonia")) (mkA "Catalonian") ;
+      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" ;
       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" ;
 </pre>
 
+Means of transportation 
+<pre>
+     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" ;
+</pre>
+
 Actions: the predication patterns are very often language-dependent.
 <pre>
-      AHasAge p num = mkCl p.name (mkNP num L.year_N) ;
+      AHasAge p num = mkCl p.name (mkNP (mkDet num)) ;
       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")) (SyntaxEng.mkAdv for_Prep (mkNP num (mkN "person")))) ;
@@ -324,8 +377,9 @@ miscellaneous
 Building phrases from strings is complicated: the solution is to use
 mkText : Text -> Text -> Text ;
 <pre>
-      PSeeYou d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
+      PSeeYouDate d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
-      PSeeYouPlace p 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))) ;
 </pre>
@@ -354,6 +408,33 @@ week days
       Tomorrow = P.mkAdv "tomorrow" ;
 </pre>
 
+modifiers of places
+<pre>
+      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 ;
+</pre>
+
+transports
+<pre>
+      HowFar place = mkQS (mkQCl far_IAdv place.name) ;
+      HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxEng.mkAdv from_Prep x.name))) ;
+      HowFarFromBy x y t = 
+        mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxEng.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))) ;
+</pre>
+
 auxiliaries
 <pre>
     oper
@@ -366,6 +447,9 @@ auxiliaries
         mkNPDay day (SyntaxEng.mkAdv on_Prep day) 
           (SyntaxEng.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
   
+      mkCompoundPlace : Str -> Str -> Str -> {name : CN ; at : Prep ; to : Prep} = \comp, p, i ->
+       mkCNPlace (mkCN (P.mkN comp (mkN p))) (P.mkPrep i) to_Prep ;
+  
       mkPlace : Str -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> 
         mkCNPlace (mkCN (mkN p)) (P.mkPrep i) to_Prep ;
   
@@ -377,6 +461,15 @@ auxiliaries
   
       nameOf : NPPerson -> NP = \p -> (xOf sing (mkN "name") p).name ;
   
+      mkTransport : N -> {name : CN ; by : Adv} = \n -> {
+        name = mkCN n ; 
+        by = SyntaxEng.mkAdv by8means_Prep (mkNP n)
+        } ;
+  
+      mkSuperl : A -> Det = \a -> SyntaxEng.mkDet the_Art (SyntaxEng.mkOrd a) ;
+  
+     far_IAdv = ExtraEng.IAdvAdv (ss "far") ;
+  
   }
 </pre>
 

examples/phrasebook/Ontology.html

@@ -45,6 +45,9 @@ are defined in other modules.
       Date ;        -- definite date                             e.g. "on Friday"
       Name ;        -- name of person                            e.g. "NN"
       Number ;      -- number expression 1 .. 999,999            e.g. "twenty"
+      Transport ;   -- transportation device                     e.g. "car"
+      ByTransport ; -- mean of transportation                    e.g. "by tram"
+      Superlative ; -- superlative modifiers of places           e.g. "the best restaurant"
 </pre>
 
 Many of the categories are accessible as Phrases, i.e. as translation units.
@@ -65,6 +68,8 @@ Many of the categories are accessible as Phrases, i.e. as translation units.
       PCitizenship : Citizenship -> Phrase ;
       PCountry     : Country -> Phrase ;
       PDay         : Day -> Phrase ;
+      PByTransport : ByTransport -> Phrase ;
+      PTransport   : Transport -> Phrase ;
   
       PYes, PNo : Phrase ;
 </pre>
@@ -110,7 +115,8 @@ Determiners.
   
       AmountCurrency : Number -> Currency -> Price ;  -- five euros
   
-      ThePlace : PlaceKind -> Place ;                  -- the bar
+      ThePlace : PlaceKind -> Place ;                   -- the bar
+      APlace : PlaceKind -> Place ;                     -- a bar
   
       IMale, IFemale,                     -- I, said by man/woman (affects agreement)
       YouFamMale, YouFamFemale,           -- familiar you, said to man/woman (affects agreement)
@@ -135,9 +141,12 @@ Determiners.
 Actions are typically language-dependent, not only lexically but also
 structurally. However, these ones are mostly functorial.
 <pre>
-      AHave    : Person -> Kind        -> Action ;  -- you have a pizza
+      AHave     : Person -> Kind        -> Action ;  -- you have a pizza
-      ACitizen : Person -> Citizenship -> Action ;  -- you are Swedish
+      AHaveCurr : Person -> Currency    -> Action ;  -- you have dollars
-      ABePlace : Person -> Place       -> Action ;  -- you are in the bar
+      ACitizen  : Person -> Citizenship -> Action ;  -- you are Swedish
+      ABePlace  : Person -> Place       -> Action ;  -- you are in the bar
+  
+      ByTransp : Transport -> ByTransport ;         -- by bus
   
   }
 </pre>
@@ -184,44 +193,86 @@ properties of kinds (so far mostly of food)
 kinds of places
 <pre>
       Airport : PlaceKind ;
+      AmusementPark : PlaceKind ;
+      Bank : PlaceKind ;
       Bar : PlaceKind ;
+      Cafeteria : PlaceKind ;
+      Center : PlaceKind ;
       Cinema : PlaceKind ;
       Church : PlaceKind ;
+      Disco : PlaceKind ;
       Hospital : PlaceKind ;
       Hotel : PlaceKind ;
       Museum : PlaceKind ;
       Park : PlaceKind ;
+      Parking : PlaceKind ;
+      Pharmacy : PlaceKind ;
+      PostOffice : PlaceKind ;
+      Pub : PlaceKind ;
       Restaurant : PlaceKind ;
       School : PlaceKind ;
       Shop : PlaceKind ;
       Station : PlaceKind ;
+      Supermarket : PlaceKind ;
       Theatre : PlaceKind ; 
       Toilet : PlaceKind ; 
       University : PlaceKind ;
+      Zoo : PlaceKind ;
+  
+      CitRestaurant : Citizenship -> PlaceKind ;
 </pre>
 
 currency units
 <pre>
-      DanishCrown : Currency ;
+      DanishCrown : Currency ; 
       Dollar : Currency ; 
-      Euro : Currency ;
+      Euro : Currency ; -- Germany, France, Italy, Finland, Spain, The Netherlands
-      Lei : Currency ;
+      Lei : Currency ; -- Romania
+      Leva : Currency ; -- Bulgaria
+      NorwegianCrown : Currency ;
+      Pound : Currency ; -- UK
+      Rouble : Currency ; -- Russia
       SwedishCrown : Currency ;
+      Zloty : Currency ; -- Poland
 </pre>
 
 nationalities, countries, languages, citizenships
 <pre>
       Belgian : Citizenship ;
       Belgium : Country ;
+      Bulgarian : Nationality ;
+      Catalan : Nationality ;
+      Danish : Nationality ;
+      Dutch : Nationality ;
       English : Nationality ;
       Finnish : Nationality ;
       Flemish : Language ;
       French : Nationality ;
+      German : Nationality ;
       Italian : Nationality ;
+      Norwegian : Nationality ;
+      Polish : Nationality ;
       Romanian : Nationality ;
+      Russian : Nationality ;
+      Spanish : Nationality ;
       Swedish : Nationality ;
 </pre>
 
+means of transportation 
+<pre>
+      Bike : Transport ; 
+      Bus : Transport ;
+      Car : Transport ;
+      Ferry : Transport ;
+      Plane : Transport ;
+      Subway : Transport ;
+      Taxi : Transport ;
+      Train : Transport ;
+      Tram : Transport ;
+  
+      ByFoot : ByTransport ;
+</pre>
+
 Actions (which can be expressed by different structures in different languages).
 Notice that also negations and questions can be formed from these.
 <pre>
@@ -262,8 +313,9 @@ propositions.
       PropOpenDay    : Place -> Day  -> Proposition ;  -- the museum is open on Mondays
       PropClosedDay  : Place -> Day  -> Proposition ;  -- the museum is closed on Mondays
   
-      PSeeYou      : Date -> Phrase ;           -- see you on Monday
+      PSeeYouPlaceDate : Place -> Date -> Phrase ;     -- see you in the bar on Monday
-      PSeeYouPlace : Place -> Date -> Phrase ;  -- see you in the bar on Monday
+      PSeeYouPlace     : Place         -> Phrase ;     -- see you in the bar
+      PSeeYouDate      :          Date -> Phrase ;     -- see you on Monday
 </pre>
 
 family relations
@@ -278,6 +330,30 @@ week days
       Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day ;
   
       Tomorrow : Date ;
+</pre>
+
+transports
+<pre>
+      HowFar : Place -> Question ;                  -- how far is the zoo ?
+      HowFarFrom : Place -> Place -> Question ;     -- how far is the center from the hotel ?
+      HowFarFromBy : Place -> Place -> ByTransport -> Question ; 
+                                              -- how far is the airport from the hotel by taxi ? 
+      HowFarBy : Place -> ByTransport -> Question ;   -- how far is the museum by bus ?
+  
+      WhichTranspPlace : Transport -> Place -> Question ;   -- which bus goes to the hotel
+      IsTranspPlace    : Transport -> Place -> Question ;   -- is there a metro to the airport ?
+</pre>
+
+modifiers of places
+<pre>
+      TheBest : Superlative ;
+      TheClosest : Superlative ;
+      TheCheapest : Superlative ;
+      TheMostExpensive : Superlative ;
+      TheMostPopular : Superlative ;
+      TheWorst : Superlative ;
+  
+      SuperlPlace : Superlative -> PlaceKind -> Place ; -- the best bar
   
   }
 </pre>

examples/phrasebook/missing.txt

@@ -3,7 +3,7 @@ PhrasebookBul : AHasName AHasRoom AHasTable AHungry AIll AKnow ALike ALive ALove
 PhrasebookDut :
 PhrasebookEng :
 PhrasebookFin :
-PhrasebookFre : HowFar HowFarBy HowFarFrom HowFarFromBy
+PhrasebookFre :
 PhrasebookGer : AmusementPark Bank Bar Bike Bulgarian Bus ByFoot Cafeteria Car Catalan Center Chicken Cinema CitRestaurant Coffee Danish Disco Dollar Dutch Ferry GNiceToMeetYou German Hotel HowFar HowFarBy HowFarFrom HowFarFromBy IsTranspPlace Lei Leva Meat Museum Norwegian NorwegianCrown PSeeYouDate PSeeYouPlace PSeeYouPlaceDate Park Parking Pharmacy Plane Polish PostOffice Pound Pub Rouble Russian School Shop Spanish Subway SuperlPlace Supermarket Suspect Taxi Tea TheBest TheCheapest TheClosest TheMostExpensive TheMostPopular TheWorst Theatre Toilet Train Tram WhichTranspPlace Zloty Zoo
 PhrasebookIta : AmusementPark Bank Bike Bulgarian Bus ByFoot Cafeteria Car Catalan Center CitRestaurant Danish Disco Dutch Ferry German HowFar HowFarBy HowFarFrom HowFarFromBy IsTranspPlace Leva Norwegian NorwegianCrown Parking Pharmacy Plane Polish PostOffice Pound Pub Rouble Russian Spanish Subway SuperlPlace Supermarket Taxi TheBest TheCheapest TheClosest TheMostExpensive TheMostPopular TheWorst Train Tram WhichTranspPlace Zloty Zoo
 PhrasebookRon : GExcusePol GPleaseGivePol GSorryPol

examples/phrasebook/phrasebook.html

@@ -6,7 +6,7 @@
 </HEAD><BODY BGCOLOR="white" TEXT="black">
 <P ALIGN="center"><CENTER><H1>MOLTO Multilingual Phrasebook</H1>
 <FONT SIZE="4">
-<I>Aarne Ranta</I><BR>
+<I>Krasimir Angelov, Olga Caprotti, Ramona Enache, Thomas Hallgren, Aarne Ranta </I><BR>
 </FONT></CENTER>
 
 <P>
@@ -17,6 +17,9 @@
 History
 </P>
 <UL>
+<LI>3 May. Version 0.6: 
+  Extended API (now final for release), Dutch added; new user interface with text 
+  input enabled.
 <LI>10 April. Some additions in API, comments in implementation; regenerated clones.
 <LI>8 April. Added German.
 <LI>7 April. Added the Clone script, applied to initiate the rest of MOLTO languages.
@@ -72,12 +75,13 @@ The source code resides in
 <A HREF="http://code.haskell.org/gf/examples/phrasebook/"><CODE>code.haskell.org/gf/examples/phrasebook/</CODE></A>
 </P>
 <P>
-Current status (8 April 2010):
+Current status (3 May 2010):
 </P>
 <UL>
-<LI>small coverage in abstract syntax
+<LI>small but useful coverage in abstract syntax
-<LI>reasonable implementations for English, Finnish, French, German, Italian, Romanian, Swedish
+<LI>reasonable implementations for 
-<LI>almost just cloned for the rest of MOLTO languages
+  Bulgarian, Dutch, English, Finnish, French, German, Italian, Romanian, Swedish
+<LI>mostly just cloned for the rest of MOLTO languages
 <LI>temporary user interdace
 <LI>works on web browsers calling a server
 <LI>web service not yet released, but preliminarily available in
@@ -152,8 +156,6 @@ Here is the module structure as produced in GF by
 Improved translation interface
 </P>
 <UL>
-<LI>a <I>to</I> list of languages: either <I>all</I>, or just one
-<LI>combined text field/fridge magnet input; filter magnets by started word prefix
 <LI>a nicer way to show disambiguation (maybe hidden by default)
 </UL>
 

examples/phrasebook/phrasebook.txt

@@ -1,5 +1,5 @@
 MOLTO Multilingual Phrasebook
-Aarne Ranta
+Krasimir Angelov, Olga Caprotti, Ramona Enache, Thomas Hallgren, Aarne Ranta 
 
 
 %!postproc(html): #HR <HR>
@@ -13,6 +13,9 @@ Aarne Ranta
 #BSMALL
 
 History
+- 3 May. Version 0.6: 
+  Extended API (now final for release), Dutch added; new user interface with text 
+  input enabled.
 - 10 April. Some additions in API, comments in implementation; regenerated clones.
 - 8 April. Added German.
 - 7 April. Added the Clone script, applied to initiate the rest of MOLTO languages.
@@ -59,10 +62,11 @@ The source code resides in
 [``code.haskell.org/gf/examples/phrasebook/`` http://code.haskell.org/gf/examples/phrasebook/]
 
 
-Current status (8 April 2010):
+Current status (3 May 2010):
-- small coverage in abstract syntax
+- small but useful coverage in abstract syntax
-- reasonable implementations for English, Finnish, French, German, Italian, Romanian, Swedish
+- reasonable implementations for 
-- almost just cloned for the rest of MOLTO languages
+  Bulgarian, Dutch, English, Finnish, French, German, Italian, Romanian, Swedish
+- mostly just cloned for the rest of MOLTO languages
 - temporary user interdace
 - works on web browsers calling a server
 - web service not yet released, but preliminarily available in
@@ -132,8 +136,6 @@ Here is the module structure as produced in GF by
 =To Do=
 
 Improved translation interface
-- a //to// list of languages: either //all//, or just one
-- combined text field/fridge magnet input; filter magnets by started word prefix
 - a nicer way to show disambiguation (maybe hidden by default)