inform((_:search,arrive_by,'18:15');(_:search,day,'sunday');(_:search,type,'Train'))
user
Can you help me find a train leaving on sunday and arriving by 18:15 ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you departing from and what is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'standsted');(_:search,type,'Train'))
user
I 'm going from Cambridge to Standsted airport .
inform((_:result,arrive_by,'18:08');(_:result,id,'TR1526');(_:result,leave_at,'17:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR1526 leaves 17:40 and will get you there by 18:08 .   Would you like some tickets ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , that would be great . I 'll need tickets for 7 people . I 'll also need the reference number .
system
Can you book it for me and get a reference number ?
_:search arrive_by 18:15
_:search day sunday
_:search type Train
_:search arrive_by 18:15
_:search day sunday
_:search departure cambridge
_:search destination standsted
_:search type Train
_:search arrive_by 18:15
_:search day sunday
_:search departure cambridge
_:search destination standsted
_:result arrive_by 18:08
_:result id TR1526
_:result leave_at 17:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:result ref ?