inform((_:search,arrive_by,'21:15');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I 'd like a train to London Kings Cross to arrive by 21:15 .
request((_:search,day,?);(_:search,type,'Train'))
system
Sure , which day would you like to travel ?
inform((_:search,day,'thursday');(_:search,destination,'Cambridge');(_:search,type,'Train'))
user
I am travelling on Thursday and going to Cambridge .
inform((_:result,arrive_by,'19:51');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,id,'TR6595');(_:result,leave_at,'19:00');(_:result,type,'Train'))
system
Might I suggest train TR6595 leaving Cambridge at 19:00 and arriving at London Kings Cross at 19:51 . Would that work for you ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Yes , that does work .   Could you book it for 1 person please ?
inform((_:booking,category,'Train');(_:booking,id,'TR6595');(_:booking,ref,'GKTT3OTZ');(_:booking,ticket,'23.6 GBP');(_:booking,type,'Booking'))
system
Okay , I went ahead and reserved your ticket for Train ID TR6595 . The cost will be 23.6 GBP payable at the station , and your reference number is GKTT3OTZ .
thank()
user
That 's everything I needed . Thank you !
system
You 're welcome . Have a great day !
_:search arrive_by 21:15
_:search destination london kings cross
_:search type Train
_:search arrive_by 21:15
_:search day thursday
_:search destination Cambridge
_:search type Train
_:search arrive_by 21:15
_:search day thursday
_:search destination Cambridge
_:result arrive_by 19:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR6595
_:result leave_at 19:00
_:result type Train
_:search people 1
_:search type Train
_:search arrive_by 21:15
_:search day thursday
_:search destination Cambridge
_:result arrive_by 19:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR6595
_:result leave_at 19:00
_:result type Train
_:search people 1
_:search type Train
_:booking category Train
_:booking id TR6595
_:booking ref GKTT3OTZ
_:booking ticket 23.6 GBP
_:booking type Booking