inform((_:search,departure,'kings lynn');(_:search,type,'Train'))
user
I am looking for a train out of kings lynn please .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where will you be going ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to go to Cambridge .
request((_:search,day,?);(_:search,type,'Train'))
system
When will you be leaving ?
inform((_:search,day,'tuesday');(_:search,leave_at,'14:15');(_:search,type,'Train'))
user
I would like to leave after 14:15 on tuesday please
inform((_:result,id,'TR8932');(_:result,leave_at,'15:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8932 departs at 15:11 would that work for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Yes , please give me travel time .
inform((_:result,duration,'47 minutes');(_:result,type,'Train'))
system
That will be 47 minutes .
thank()
user
Great , that 's all I need , thanks !
system
You are welcome . Please contact us again if we can help in the future . Have a great day .
_:search departure kings lynn
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search day tuesday
_:search leave_at 14:15
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search day tuesday
_:search leave_at 14:15
_:search type Train
_:result id TR8932
_:result leave_at 15:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search departure kings lynn
_:search destination cambridge
_:search day tuesday
_:search leave_at 14:15
_:search type Train
_:result id TR8932
_:result leave_at 15:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 47 minutes
_:result type Train