inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Hi , I 'm looking to book a ticket for a train departing on Sunday from Cambridge please ?
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I want to arrive at London Kings Cross .
inform((_:result,duration,'51 minute');(_:result,ticket,'18.88 pounds');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave by ?   It is a 51 minute trip for 18.88 pounds .
inform((_:search,arrive_by,'21:30');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
I do n't have a departure time but I want to arrive by 21:30 .
inform((_:result,arrive_by,'19:51');(_:result,day,'Sunday');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,leave_at,'19:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving Cambridge on Sunday at 19:00 .   It arrives at London Kings Cross at 19:51 .   May I book that for you ?
inform((_:search,name,'meze bar');(_:search,type,'Restaurant'))
user
No , I just needed the information , thanks .   Have you heard of the Meze Bar Restaurant ?
system
I need more information on the restaurant because my system is not showing me anything on it .
_:search day sunday
_:search departure cambridge
_:search type Train
_:search day sunday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search day sunday
_:search departure cambridge
_:search destination london kings cross
_:result duration 51 minute
_:result ticket 18.88 pounds
_:result type Train
_:search leave_at ?
_:search arrive_by 21:30
_:search type Train
_:result leave_at ?
_:search day sunday
_:search departure cambridge
_:search destination london kings cross
_:result duration 51 minute
_:result ticket 18.88 pounds
_:search leave_at ?
_:search arrive_by 21:30
_:result arrive_by 19:51
_:result day Sunday
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 19:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name meze bar
_:search type Restaurant