inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,leave_at,'16:00');(_:search,type,'Train'))
user
I 'm actually in need of a train leaving Thursday after 16:00 from Cambridge to London Kings Cross .   Can you find me one ?
inform((_:result,arrive_by,'17:51');(_:result,id,'TR1791');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Certainly , the earliest train by your specifications is TR1791 , leaving at 17:00 and arriving at 17:51 . Would you like to book that train ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Great . Can you please give me the travel time and price ?
inform((_:result,duration,'51 minutes');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
Yes , the travel time is 51 minutes , and the price is 23.60 pounds .
thank()
user
Thank you ! That 's all I needed .
bye() thank()
system
Your very welcome ! Have a nice day !
thank()
user
Thank you very much .
system
Okay . Thank you again .
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 16:00
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 16:00
_:search type Train
_:result arrive_by 17:51
_:result id TR1791
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 16:00
_:search type Train
_:result arrive_by 17:51
_:result id TR1791
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket 23.60 pounds
_:result type Train
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 16:00
_:search type Train
_:result arrive_by 17:51
_:result id TR1791
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket 23.60 pounds
_:result type Train
_:system dismissed _:user