blob: 5392d1c73081e08fb97d566d836ce429c9eead19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
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"
}
|
