inform((_:search,departure,'cambridge');(_:search,leave_at,'15:45');(_:search,type,'Train'))
user
I need to catch a train out of Cambridge after 15:45 .
request((_:search,destination,?);(_:search,type,'Train'))
system
Could you provide me with your destination ?
inform((_:search,destination,'stevenage');(_:search,type,'Train'))
user
I 'd like to go to Stevenage .
request((_:search,day,?);(_:search,type,'Train'))
system
What day do you need the train ?
inform((_:search,day,'monday');(_:search,people,'4');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I need to leave on Monday .   Can you book me for 4 people and can I get the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'5K1EMDSS');(_:booking,ticket,'51.2 GBP');(_:booking,type,'Booking');(_:result,departure,'Cambridge');(_:result,id,'TR0254');(_:result,leave_at,'17:21');(_:result,type,'Train'))
system
TR0254 leaves Cambridge at 17:21 .   The Booking was successful , the total fee is 51.2 GBP payable at the station . 
 Reference number is : 5K1EMDSS .
inform((_:search,name,'autumn house');(_:search,type,'Hotel'))
user
Perfect . Now if you can just help me find the autumn house hotel ?
inform((_:result,address,'710 newmarket road');(_:result,area,'east');(_:result,name,'The autumn house hotel');(_:result,type,'Hotel')) thank()
system
Certainly ! The autumn house hotel is located on the east side at 710 newmarket road .
bye()
user
Great , thanks ! I think that 's all I need today . Good bye .
system
Thank you for letting us help .   Good bye
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:search departure cambridge
_:search leave_at 15:45
_:search destination stevenage
_:search type Train
_:search departure cambridge
_:search leave_at 15:45
_:search destination stevenage
_:search day monday
_:search people 4
_:search type Train
_:result ref ?
_:result type Train
_:search departure cambridge
_:search leave_at 15:45
_:search destination stevenage
_:search day monday
_:search people 4
_:result ref ?
_:booking category Train
_:booking ref 5K1EMDSS
_:booking ticket 51.2 GBP
_:booking type Booking
_:result departure Cambridge
_:result id TR0254
_:result leave_at 17:21
_:result type Train
_:search name autumn house
_:search type Hotel
_:search departure cambridge
_:search leave_at 15:45
_:search destination stevenage
_:search day monday
_:search people 4
_:result ref ?
_:booking category Train
_:booking ref 5K1EMDSS
_:booking ticket 51.2 GBP
_:booking type Booking
_:result departure Cambridge
_:result id TR0254
_:result leave_at 17:21
_:search name autumn house
_:search type Hotel
_:result address 710 newmarket road
_:result area east
_:result name The autumn house hotel
_:result type Hotel
_:user dismissed _:system