inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Can you help me find a cheap restaurant in the centre of town ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'15');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There are a total of 15 different cheap restaurants located in the centre of town . Is there a particular type of food you are wanting ?
request((_:result,food,?);(_:result,type,'Restaurant'))
user
Surprise me .   What food type can you recommend ?
inform((_:result,food,'italian');(_:result,food,'portuguese');(_:result,food,'spanish');(_:result,name,"Nando 's City Centre");(_:result,type,'Restaurant'))
system
I have a great portuguese restaurant if you care to try it . It 's called Nando 's City Centre . Or if you prefer , I have anything from italian to spanish as well .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
What 's the post code for Nando City ?
reqmore() inform((_:result,postcode,'cb23ar');(_:result,type,'Restaurant'))
system
It is cb23ar .   Is there anything else I could help you with ?
thank()
user
No , that 's all I needed . Thanks !
system
You 're welcome , enjoy your meal !
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area centre
_:result count 15
_:result pricerange cheap
_:result type Restaurant
_:result food ?
_:search area centre
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area centre
_:result count 15
_:result pricerange cheap
_:result food italian
_:result food portuguese
_:result food spanish
_:result name Nando 's City Centre
_:result type Restaurant
_:result postcode ?
_:search area centre
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area centre
_:result count 15
_:result pricerange cheap
_:result food italian
_:result food portuguese
_:result food spanish
_:result name Nando 's City Centre
_:system inquired _:user
_:result postcode cb23ar
_:result type Restaurant