From d1675f0abad7a84d1a1627390c304c9793fd62af Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 7 Nov 2005 21:45:22 +0000
Subject: [PATCH] trams with mm library

---
 examples/tram/README     | 15 ++++++++++++++
 examples/tram/Tram.gf    | 33 ++++++++++++++++++++++++++++++
 examples/tram/TramEng.gf |  5 +++++
 examples/tram/TramFre.gf |  5 +++++
 examples/tram/TramI.gf   | 44 ++++++++++++++++++++++++++++++++++++++++
 examples/tram/TramSwe.gf |  5 +++++
 6 files changed, 107 insertions(+)
 create mode 100644 examples/tram/README
 create mode 100644 examples/tram/Tram.gf
 create mode 100644 examples/tram/TramEng.gf
 create mode 100644 examples/tram/TramFre.gf
 create mode 100644 examples/tram/TramI.gf
 create mode 100644 examples/tram/TramSwe.gf

diff --git a/examples/tram/README b/examples/tram/README
new file mode 100644
index 000000000..552b160f3
--- /dev/null
+++ b/examples/tram/README
@@ -0,0 +1,15 @@
+Björn Bringert's tram grammars (user side, without place names)
+implemented as an example of lib/resource/abstract/Multimodal.
+
+For documentation of the original system, see 
+
+  http://www.cs.chalmers.se/~bringert/gf/tramdemo.html
+
+To try, do in gf
+
+  i -src TramEng.gf
+  gr | l -tr | p
+
+Clicks appear as coordinates on the right of the semicolon.
+
+AR 7/11/2005.
diff --git a/examples/tram/Tram.gf b/examples/tram/Tram.gf
new file mode 100644
index 000000000..bcd9f7b7c
--- /dev/null
+++ b/examples/tram/Tram.gf
@@ -0,0 +1,33 @@
+abstract Tram = {
+
+cat
+  Dep ;    -- from here, from Angered
+  Dest ;   -- to here, to Angered
+  Query ;  -- message sent to the dialogue manager: sequentialized
+  Input ;  -- user input: parallel text and clicks
+  Click ;  -- map clicks
+
+fun
+  QInput : Input -> Query ; -- sequentialize user input
+
+fun
+  GoFromTo  : Dep  -> Dest -> Input ; -- user input "want to go from a to b"
+  GoToFrom  : Dest -> Dep  -> Input ; -- user input "want to go to a from b"
+  ComeFrom  : Dep  -> Input ;         -- user input "want to come from x (to where I am now)
+  GoTo      : Dest -> Input ;         -- user input "want to go to x (from where I am now)
+
+  DepClick  : Click -> Dep ;          -- "from here" with click
+  DestClick : Click -> Dest ;         -- "to here" with click
+  DepHere   : Dep ;                   -- "from here" indexical
+  DestHere  : Dest ;                  -- "to here" indexical
+  DepNamed  : String -> Dep ;         -- from a place name
+  DestNamed : String -> Dest ;        -- to a place name
+
+  CCoord    : Int -> Int -> Click ;
+
+--- the syntax of here (prep + adverb, not prep + np) prevent these
+--  Place ;  -- any way to identify a place: name, click, or indexical "here"
+--  PClick   : Click -> Place ;          -- click associated with a "here"
+--  PHere    : Place ;                   -- indexical "here", without a click
+
+}
diff --git a/examples/tram/TramEng.gf b/examples/tram/TramEng.gf
new file mode 100644
index 000000000..58a7bd8de
--- /dev/null
+++ b/examples/tram/TramEng.gf
@@ -0,0 +1,5 @@
+--# -path=.:resource/abstract:resource/english:prelude
+
+concrete TramEng of Tram = TramI with 
+  (Multimodal = MultimodalEng), 
+  (Math = MathEng) ;
diff --git a/examples/tram/TramFre.gf b/examples/tram/TramFre.gf
new file mode 100644
index 000000000..4d6909640
--- /dev/null
+++ b/examples/tram/TramFre.gf
@@ -0,0 +1,5 @@
+--# -path=.:resource/abstract:resource/french:resource/romance:prelude
+
+concrete TramFre of Tram = TramI with 
+  (Multimodal = MultimodalFre), 
+  (Math = MathFre) ;
diff --git a/examples/tram/TramI.gf b/examples/tram/TramI.gf
new file mode 100644
index 000000000..384cdbf3b
--- /dev/null
+++ b/examples/tram/TramI.gf
@@ -0,0 +1,44 @@
+incomplete concrete TramI of Tram = open Multimodal, Math in {
+
+flags startcat=Query ; lexer=textlit ;
+
+lincat
+  Dep, Dest = DAdv ;
+  Query = Phr ;      -- top level, plain string
+  Input = MS ;       -- two parallel sequences (text and clicks)
+  Click = Point ;
+
+lin
+  QInput i = SentMS PPos i ;
+
+  GoFromTo x y = 
+    ModDemV want_VV go_V (DemNP i_NP) 
+      (ConsDAdv x (ConsDAdv y BaseDAdv)) ;
+
+  GoToFrom x y = 
+    ModDemV want_VV go_V (DemNP i_NP) 
+      (ConsDAdv x (ConsDAdv y BaseDAdv)) ;
+
+  ComeFrom x = 
+    ModDemV want_VV come_V (DemNP i_NP) 
+      (ConsDAdv x BaseDAdv) ;
+
+  GoTo x = 
+    ModDemV want_VV go_V (DemNP i_NP) 
+      (ConsDAdv x BaseDAdv) ;
+
+  DepClick c = here7from_DAdv c ;
+  DestClick c = here7to_DAdv c ;
+  DepHere = DemAdv here7from_Adv ;
+  DestHere = DemAdv here7to_Adv ;
+  DepNamed s = PrepDNP from_Prep (DemNP (UsePN (SymbPN s))) ;
+  DestNamed s = PrepDNP to_Prep (DemNP (UsePN (SymbPN s))) ;
+
+  CCoord x y = {s5 = "(" ++ x.s ++ "," ++ y.s ++ ")" ; lock_Point = <>} ;
+
+--  Place = DNP ;    -- name + click - not possible for "here"
+--  PClick c = this_DNP c ;
+--  PHere = DemNP this_NP ;
+--  PNamed s = DemNP (UsePN (SymbPN s)) ;
+
+}
diff --git a/examples/tram/TramSwe.gf b/examples/tram/TramSwe.gf
new file mode 100644
index 000000000..6875fafa2
--- /dev/null
+++ b/examples/tram/TramSwe.gf
@@ -0,0 +1,5 @@
+--# -path=.:resource/abstract:resource/swedish:resource/scandinavian:prelude
+
+concrete TramSwe of Tram = TramI with 
+  (Multimodal = MultimodalSwe), 
+  (Math = MathSwe) ;