inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to leave Cambridge on Sunday by train .
inform((_:result,departure,'Cambridge');(_:result,destination,'London kings cross');(_:result,leave_at,'5:00');(_:result,type,'Train'))
system
The first train to leave Cambridge departs at 5:00 , and goes to London kings cross .
inform((_:search,arrive_by,'19:15');(_:search,type,'Train'))
user
That will be fine I guess .   It will arrive by 19:15 , I 'm sure ?
inform((_:result,arrive_by,'18:58');(_:result,id,'TR2045');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2045 will arrive closer to that time , it arrives at 18:58 . Would you like tickets for that one instead ?
user
Yes , let 's go ahead and book that .
inform((_:result,arrive_by,'17:51');(_:result,day,'Sunday');(_:result,id,'TR2045');(_:result,id,'TR3353');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
My apologies , I believe there was an error in the database lookup . TR2045 is not available but TR3353 arrives at 17:51 on Sunday . Shall we book that instead ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
Yes , please give me travel time and departure time , please .
inform((_:booking,category,'Train');(_:booking,id,'BJJ3GXMX');(_:booking,type,'Booking');(_:result,duration,'51 minutes');(_:result,leave_at,'17:00');(_:result,type,'Train')) reqmore()
system
Certainly . The departure time is 17:00 and the travel time is 51 minutes . I have booked your ticket . The reference number is BJJ3GXMX . Can I help with anything else ?
thank()
user
No , that 's all I need , thank you .
bye()
system
Thank you for using our system !
bye()
user
Thanks for your help bye !
system
You are welcome . Goodbye .
_:search day sunday
_:search departure cambridge
_:search type Train
_:search day sunday
_:search departure cambridge
_:result departure Cambridge
_:result destination London kings cross
_:result leave_at 5:00
_:result type Train
_:search arrive_by 19:15
_:search type Train
_:search day sunday
_:search departure cambridge
_:result departure Cambridge
_:result destination London kings cross
_:result leave_at 5:00
_:search arrive_by 19:15
_:search type Train
_:result arrive_by 18:58
_:result id TR2045
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search departure cambridge
_:result departure Cambridge
_:result destination London kings cross
_:result leave_at 5:00
_:search arrive_by 19:15
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 17:51
_:result day Sunday
_:result id TR2045
_:result id TR3353
_:result type Train
_:result duration ?
_:result leave_at ?
_:search day sunday
_:search departure cambridge
_:result departure Cambridge
_:result destination London kings cross
_:search arrive_by 19:15
_:search type Train
_:system offered _:booking
_:result arrive_by 17:51
_:result day Sunday
_:result id TR2045
_:result id TR3353
_:booking category Train
_:booking id BJJ3GXMX
_:booking type Booking
_:result duration 51 minutes
_:result leave_at 17:00
_:result type Train
_:system inquired _:user
_:search day sunday
_:search departure cambridge
_:result departure Cambridge
_:result destination London kings cross
_:search arrive_by 19:15
_:search type Train
_:system offered _:booking
_:result arrive_by 17:51
_:result day Sunday
_:result id TR2045
_:result id TR3353
_:booking category Train
_:booking id BJJ3GXMX
_:booking type Booking
_:result duration 51 minutes
_:result leave_at 17:00
_:result type Train
_:system inquired _:user
_:system dismissed _:user
_:user dismissed _:system