inform((_:search,departure,'cambridge');(_:search,leave_at,'20:45');(_:search,type,'Train'))
user
I need help finding a train leaving Cambridge after 20:45 .
inform((_:result,amount,'Many');(_:result,departure,'Cambridge');(_:result,leave_at,'around 20:45');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
Many trains leave Cambridge around 20:45 , what is the destination ?
inform((_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I need to get to london liverpool street .
inform((_:result,amount,'several options');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
I have several options for you , and the price and exact departure time varies by day of the week . Do you have a day preference ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I would like to leave on Thursday
inform((_:result,arrive_by,'23:27');(_:result,id,'TR3695');(_:result,leave_at,'21:59');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR3695 leaves 21:59 and arrives on 23:27 .   Would you like to book it ?
bye()
user
Thanks , that 's all . Good bye .
system
welcome again some other time
_:search departure cambridge
_:search leave_at 20:45
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:result amount Many
_:result departure Cambridge
_:result leave_at around 20:45
_:result type Train
_:search destination london liverpool street
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:result departure Cambridge
_:result leave_at around 20:45
_:search destination london liverpool street
_:result amount several options
_:result type Train
_:search day thursday
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:result departure Cambridge
_:search destination london liverpool street
_:result amount several options
_:search day thursday
_:search type Train
_:result arrive_by 23:27
_:result id TR3695
_:result leave_at 21:59
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:user dismissed _:system