inform((_:search,area,'centre');(_:search,food,'modern global');(_:search,type,'Restaurant'))
user
Hi , are there any modern global restaurants in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
It looks like there are none . Is there another area or type of food you 'd like to look for ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
I would like to look for one that serves modern european food please .
inform((_:result,area,'center');(_:result,count,'4');(_:result,food,'modern european');(_:result,name,'Riverside Brasserie');(_:result,type,'Restaurant'))
system
I have 4 modern european restaurants in the center of town . I recommend the Riverside Brasserie .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
What is the postcode of that resturant ?
reqmore() inform((_:result,name,'Riverside Brasserie');(_:result,postcode,'01223259988');(_:result,type,'Restaurant'))
system
The phone number for Riverside Brasserie is 01223259988 . Can I help you with anything else ?
request((_:result,pricerange,?);(_:result,type,'Restaurant')) inform((_:search,name,'riverside brasserie');(_:search,type,'Restaurant'))
user
I was wondering the price range of the riverside brasserie .
inform((_:result,name,'Riverside Brasserie');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
The Riverside Brasserie is moderately priced .
inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Thanks . Could you check on a train for me from london kings cross ?
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , when would you like to leave by ?
inform((_:search,day,'tuesday');(_:search,leave_at,'11:15');(_:search,type,'Train'))
user
I would like to leave after 11:15 on a Tuesday .
offer((_:booking,category,'Train');(_:booking,id,'TR7850');(_:booking,leave_at,'11:17');(_:booking,type,'Booking')) inform((_:result,name,'Riverside Brasserie');(_:result,postcode,'cb21rt');(_:result,type,'Restaurant'))
system
TR7850 leaves at 11:17 , can   book some seats for you ?   Also , the postcode for Riverside Brasserie is cb21rt .   I had forgotten to give you that information .
inform((_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes I 'd like to book that train for 5 and I 'd like the reference number as well please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'1JO707L5');(_:booking,ticket,'118 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 118 GBP payable at the station . 
 Reference number is : 1JO707L5 . Will you need anything else ?
thank()
user
I think that will be all for today . Thank you .
system
You 're welcome . Have a great trip !
_:search area centre
_:search food modern global
_:search type Restaurant
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:search type Restaurant
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:search type Restaurant
_:result area center
_:result count 4
_:result food modern european
_:result name Riverside Brasserie
_:result type Restaurant
_:result postcode ?
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:result area center
_:result count 4
_:result food modern european
_:system inquired _:user
_:result name Riverside Brasserie
_:result postcode 01223259988
_:result type Restaurant
_:result pricerange ?
_:search name riverside brasserie
_:search type Restaurant
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:result area center
_:result count 4
_:result food modern european
_:system inquired _:user
_:result postcode 01223259988
_:search name riverside brasserie
_:result name Riverside Brasserie
_:result pricerange moderately priced
_:result type Restaurant
_:search departure london kings cross
_:search type Train
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:result area center
_:result count 4
_:result food modern european
_:system inquired _:user
_:result postcode 01223259988
_:search name riverside brasserie
_:result name Riverside Brasserie
_:result pricerange moderately priced
_:result type Restaurant
_:search departure london kings cross
_:search day tuesday
_:search leave_at 11:15
_:search type Train
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:result area center
_:result count 4
_:result food modern european
_:system inquired _:user
_:search name riverside brasserie
_:result pricerange moderately priced
_:search departure london kings cross
_:search day tuesday
_:search leave_at 11:15
_:system offered _:booking
_:booking category Train
_:booking id TR7850
_:booking leave_at 11:17
_:booking type Booking
_:result name Riverside Brasserie
_:result postcode cb21rt
_:result type Restaurant
_:search people 5
_:search type Train
_:result ref ?
_:result type Train
_:search area centre
_:system canthelp _:search/8c78023f
_:search/8c78023f type Restaurant
_:search food modern european
_:result area center
_:result count 4
_:result food modern european
_:search name riverside brasserie
_:result pricerange moderately priced
_:search departure london kings cross
_:search day tuesday
_:search leave_at 11:15
_:system offered _:booking
_:booking id TR7850
_:booking leave_at 11:17
_:result name Riverside Brasserie
_:result postcode cb21rt
_:result type Restaurant
_:search people 5
_:search type Train
_:result ref ?
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ref 1JO707L5
_:booking ticket 118 GBP
_:booking type Booking