inform((_:search,day,'tuesday');(_:search,leave_at,'13:30');(_:search,type,'Train'))
user
Yes , I am looking for a train that will be leaving after 13:30 on Tuesday .
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,departure,'london liverpool street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
The train should go to cambridge and should depart from london liverpool street .
inform((_:result,arrive_by,'15:07');(_:result,day,'Tuesday');(_:result,departure,'london liverpool street');(_:result,destination,'Cambridge');(_:result,id,'TR1395');(_:result,leave_at,'13:39');(_:result,type,'Train'))
system
TR1395 leaves london liverpool street for Cambridge on Tuesday at 13:39 and arrives by 15:07 .
inform((_:search,people,'8');(_:search,type,'Train'))
user
Could you book that for 8 people , please ?
inform((_:booking,category,'Train');(_:booking,ref,'LXVNUONW');(_:booking,ticket,'132.8 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 132.8 GBP payable at the station . 
 Reference number is : LXVNUONW .
bye()
user
Thanks , that 's all I need . Good bye .
system
Glad to have helped . Goodbye .
_:search day tuesday
_:search leave_at 13:30
_:search type Train
_:search day tuesday
_:search leave_at 13:30
_:search departure london liverpool street
_:search destination cambridge
_:search type Train
_:search day tuesday
_:search leave_at 13:30
_:search departure london liverpool street
_:search destination cambridge
_:result arrive_by 15:07
_:result day Tuesday
_:result departure london liverpool street
_:result destination Cambridge
_:result id TR1395
_:result leave_at 13:39
_:result type Train
_:search people 8
_:search type Train
_:search day tuesday
_:search leave_at 13:30
_:search departure london liverpool street
_:search destination cambridge
_:result arrive_by 15:07
_:result day Tuesday
_:result departure london liverpool street
_:result destination Cambridge
_:result id TR1395
_:result leave_at 13:39
_:result type Train
_:search people 8
_:search type Train
_:booking category Train
_:booking ref LXVNUONW
_:booking ticket 132.8 GBP
_:booking type Booking
_:user dismissed _:system