inform((_:search,arrive_by,'20:15');(_:search,type,'Train'))
user
I would like to know the names of some good local restaurants .   Could you tell me where to find a train ?   The train should arrive by 20:15 .
request((_:search,destination,?);(_:search,type,'Train'))
system
Sure , what is your destination ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm going to Cambridge .
inform((_:result,amount,'several');(_:result,destination,'cambridge');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
I have several trains going to cambridge . Where are you departing from ?
inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I 'm actually departing from cambridge and going to london kings cross .
inform((_:result,arrive_by,'19:51');(_:result,day,'Wednesday');(_:result,destination,'London Kings Cross');(_:result,id,'TR8676');(_:result,leave_at,'19 : 00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
train ID TR8676 leaves for London Kings Cross on Wednesday 19 : 00 and arrives at 19:51 , will that be fine ?
inform((_:search,people,'1');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That sounds perfect , please book 1 ticket for me , and can I have the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'4CTSEFMG');(_:booking,ticket,'23.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 23.6 GBP payable at the station . 
 Reference number is : 4CTSEFMG .
inform((_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I 'm also looking for a moderately priced restaurant .
system
I see that there are several restaurants in the moderate price range , what type of food are you looking for ?
_:search arrive_by 20:15
_:search type Train
_:search arrive_by 20:15
_:search destination cambridge
_:search type Train
_:search arrive_by 20:15
_:result amount several
_:result destination cambridge
_:result type Train
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search arrive_by 20:15
_:result amount several
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result day Wednesday
_:result destination London Kings Cross
_:result id TR8676
_:result leave_at 19 : 00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 1
_:search type Train
_:result ref ?
_:search arrive_by 20:15
_:result amount several
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result day Wednesday
_:result destination London Kings Cross
_:result id TR8676
_:result leave_at 19 : 00
_:result type Train
_:system offered _:booking
_:search people 1
_:result ref ?
_:booking category Train
_:booking ref 4CTSEFMG
_:booking ticket 23.6 GBP
_:booking type Booking
_:search pricerange moderately
_:search type Restaurant