inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Is there anything cheap in the centre of town ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Do you have a food type preference ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
Would you have something modern european ?
offer((_:booking,type,'Booking')) inform((_:result,food,'Modern European');(_:result,name,'River Bar Steakhouse and Grill');(_:result,type,'Restaurant'))
system
The River Bar Steakhouse and Grill offers Modern European cuisine . Would you like me to book you a reservation ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can I have their phone number , postcode and address please ?
reqmore() inform((_:result,address,'Quayside off Bridge Street');(_:result,phone,'01223307030');(_:result,postcode,'cb58aq');(_:result,type,'Restaurant'))
system
I 'd be happy to provide you with that information . Their phone number is 01223307030 and their address and postcode are Quayside off Bridge Street , cb58aq . Can I help with anything else ?
bye()
user
No , that is all .   You have been very helpful .   Thanks .   Bye .
system
You 're welcome , have a nice day !
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food modern european
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food modern european
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result food Modern European
_:result name River Bar Steakhouse and Grill
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:search pricerange cheap
_:search food modern european
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result food Modern European
_:result name River Bar Steakhouse and Grill
_:system inquired _:user
_:result address Quayside off Bridge Street
_:result phone 01223307030
_:result postcode cb58aq
_:result type Restaurant
_:user dismissed _:system