summaryrefslogtreecommitdiff
path: root/old-examples/tram/Tram.gf
diff options
context:
space:
mode:
Diffstat (limited to 'old-examples/tram/Tram.gf')
-rw-r--r--old-examples/tram/Tram.gf36
1 files changed, 36 insertions, 0 deletions
diff --git a/old-examples/tram/Tram.gf b/old-examples/tram/Tram.gf
new file mode 100644
index 000000000..5392d1c73
--- /dev/null
+++ b/old-examples/tram/Tram.gf
@@ -0,0 +1,36 @@
+abstract Tram = PredefAbs ** {
+
+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"
+ ComeToFrom: Dest -> Dep -> Input ; -- user input "want to come to a from b"
+ ComeFrom : Dep -> Input ; -- user input "want to come from x (to where I'm now)
+ GoTo : Dest -> Input ; -- user input "want to go to x (from where I'm 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
+
+-- FromThisPlace : Dep ; -- "from this place"
+-- ToThisPlace : Dest ; -- "to this place"
+
+}