inform((_:search,day,'sunday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Yes , I would like a train ticket for Sunday . I 'm going to London Kings Cross .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Sure . Where will you be leaving from ?
inform((_:search,arrive_by,'10:00');(_:search,departure,'cambridge');(_:search,destination,'kings cross');(_:search,type,'Train'))
user
I 'll be leaving from cambridge , and I need to get to kings cross by 10:00 .
inform((_:result,arrive_by,'07:51');(_:result,id,'TR3207');(_:result,leave_at,'07:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR3207 leaves at 07:00 and arrives at 07:51 .   Would you like that one ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That sounds good . Please book it for 6 people and can I have the reference number ?
inform((_:booking,category,'Train');(_:booking,id,'TR3207');(_:booking,people,'6');(_:booking,ref,'BAAL6J4H');(_:booking,ticket,'113.28 GBP');(_:booking,type,'Booking'))
system
Train TR3207 is booked for 6 people . The reference number is BAAL6J4H and the total fee is 113.28 GBP payable at the station .
thank()
user
Thank you . That 's everything I needed .
system
Okay . Glad I could be of assistance .
_:search day sunday
_:search destination london kings cross
_:search type Train
_:search day sunday
_:search arrive_by 10:00
_:search departure cambridge
_:search destination kings cross
_:search type Train
_:search day sunday
_:search arrive_by 10:00
_:search departure cambridge
_:search destination kings cross
_:result arrive_by 07:51
_:result id TR3207
_:result leave_at 07:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result ref ?
_:search day sunday
_:search arrive_by 10:00
_:search departure cambridge
_:search destination kings cross
_:result arrive_by 07:51
_:result id TR3207
_:result leave_at 07:00
_:result type Train
_:system offered _:booking
_:search people 6
_:search type Train
_:result ref ?
_:booking category Train
_:booking id TR3207
_:booking people 6
_:booking ref BAAL6J4H
_:booking ticket 113.28 GBP
_:booking type Booking