inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I am looking for a train from Cambridge to Leicester .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be leaving ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
I will be leaving on Monday .
inform((_:result,count,'19');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 19 trains , would you like me to book you one ?
inform((_:search,arrive_by,'21:15');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I need to arrive in Leicester by 21:15 , do you have one like that ?
inform((_:result,arrive_by,'21:06');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There 's a train arriving at 21:06 . Would you like to   book that train now ?
request((_:result,duration,?);(_:result,type,'Train'))
user
That will probably work . What is the travel time for that train ?
inform((_:result,duration,'105 minute');(_:result,type,'Train'))
system
It will be a 105 minute trip
thank()
user
Okay , that 's all I needed to know .   Thanks .
system
Thank you for contacting Cambridge TownInfo Centre . Have a great day !
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search destination leicester
_:search day monday
_:search type Train
_:search departure cambridge
_:search day monday
_:result count 19
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 21:15
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search day monday
_:result count 19
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 21:15
_:search destination leicester
_:search type Train
_:result arrive_by 21:06
_:result type Train
_:result duration ?
_:search departure cambridge
_:search day monday
_:result count 19
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 21:15
_:search destination leicester
_:search type Train
_:result arrive_by 21:06
_:result duration 105 minute
_:result type Train