inform((_:search,day,'saturday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm are looking for a train . The train should go to cambridge and should leave on saturday .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,departure,'norwich');(_:search,type,'Train'))
user
I will be departing from Norwich .
inform((_:result,departure,'Norwich');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
What tie would you like to leave Norwich ?
inform((_:search,leave_at,'14:30');(_:search,type,'Train'))
user
I would like to leave after 14:30 .
inform((_:result,amount,'several');(_:result,type,'Train')) offer((_:booking,arrive_by,'16:35');(_:booking,category,'Train');(_:booking,id,'TR1156');(_:booking,leave_at,'15:16');(_:booking,type,'Booking'))
system
I have several trains . How would TR1156 work for you , it leaves at 15:16 arriving at 16:35 ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
Yes . That works . I need 3 tickets , please .
inform((_:booking,category,'Train');(_:booking,ref,'1MI35913');(_:booking,ticket,'70.4 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 70.4 GBP payable at the station . 
 Reference number is : 1MI35913 .
thank()
user
Great , thank you for your help !
system
Thanks for using the Cambridge TownInfo Centre . Goodbye !
_:search day saturday
_:search destination cambridge
_:search type Train
_:search day saturday
_:search destination cambridge
_:search departure norwich
_:search type Train
_:search day saturday
_:search destination cambridge
_:search departure norwich
_:result departure Norwich
_:result type Train
_:search leave_at 14:30
_:search type Train
_:search day saturday
_:search destination cambridge
_:search departure norwich
_:result departure Norwich
_:search leave_at 14:30
_:result amount several
_:result type Train
_:system offered _:booking
_:booking arrive_by 16:35
_:booking category Train
_:booking id TR1156
_:booking leave_at 15:16
_:booking type Booking
_:search people 3
_:search type Train
_:search day saturday
_:search destination cambridge
_:search departure norwich
_:result departure Norwich
_:search leave_at 14:30
_:result amount several
_:result type Train
_:system offered _:booking
_:booking arrive_by 16:35
_:booking id TR1156
_:booking leave_at 15:16
_:search people 3
_:search type Train
_:booking category Train
_:booking ref 1MI35913
_:booking ticket 70.4 GBP
_:booking type Booking