inform((_:search,day,'friday');(_:search,type,'Train'))
user
I want to book a train for Friday .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
OK , what are your departure and arrival stations , and what time are you traveling ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I want to go from Cambridge to London Kings Cross on Friday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Is there a time you would like to leave by or arrive by ?
inform((_:search,arrive_by,'10:15');(_:search,type,'Train'))
user
Yes , I 'd like to arrive by 10:15 .
inform((_:result,arrive_by,'7:51');(_:result,arrive_by,'9:51');(_:result,id,'TR2000');(_:result,id,'TR8026');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8026 arrives at 7:51 and TR2000 arrives at 9:51 .   May I book one of those ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I 'm not looking to book at the moment , can I just get the travel time and price for TR2000 ? Thanks !
inform((_:result,duration,'51 minutes');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) reqmore()
system
Sure travel time is 51 minutes and total cost of the ticket will be 23.60 pounds . Anything else I can help you with ?
thank()
user
No that will be all today . Thank you .
system
You 're quite welcome . Thank you for using the Cambridge TownInfo centre . Have a wonderful day !
_:search day friday
_:search type Train
_:search leave_at ?
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 10:15
_:search type Train
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 10:15
_:search type Train
_:result arrive_by 7:51
_:result arrive_by 9:51
_:result id TR2000
_:result id TR8026
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 10:15
_:search type Train
_:result arrive_by 7:51
_:result arrive_by 9:51
_:result id TR2000
_:result id TR8026
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket 23.60 pounds
_:result type Train
_:system inquired _:user