gf-book/examples/chapter2/TicketEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

concrete TicketEng of Ticket = {

lincat
  Request, Station = Str ;
lin 
  Ticket X Y = 
    ((("I" ++ ("would like" | "want") ++ "to get" |
      ("may" | "can") ++ "I get" | 
      "can you give me" |
      []) ++ 
        "a ticket") | 
     []) ++ 
     "from" ++ X ++ "to" ++ Y ++ 
     ("please" | []) ;

  Hamburg = "Hamburg" ;
  Paris = "Paris" ;

}