inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I am looking for a train departing from london kings cross
request((_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure .   Where are you going ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'11:15');(_:search,type,'Train'))
user
I would like to go to Cambridge , after 11:15
request((_:search,day,?);(_:search,type,'Train'))
system
Okay , and what day do you want to make the trip ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
I want to leave on Monday .
inform((_:result,day,'monday');(_:result,departure,'london kings cross');(_:result,destination,'cambridge');(_:result,id,'TR5720');(_:result,leave_at,'11:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Great , TR5720 from london kings cross to cambridge leaves monday at 11:17 . Can I book this for you ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Actually , can I have the price , and the travel time please ?
inform((_:result,duration,'51 minutes');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
The cost is 23.60 pounds and the trip will take 51 minutes .
thank()
user
Great that 's all the info I need , thank you for your help today .
system
Thank you very much . Have a nice day .
_:search departure london kings cross
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 11:15
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 11:15
_:search day monday
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 11:15
_:search day monday
_:search type Train
_:result day monday
_:result departure london kings cross
_:result destination cambridge
_:result id TR5720
_:result leave_at 11:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 11:15
_:search day monday
_:search type Train
_:result day monday
_:result departure london kings cross
_:result destination cambridge
_:result id TR5720
_:result leave_at 11:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket 23.60 pounds
_:result type Train