inform((_:search,area,'centre');(_:search,food,'barbeque');(_:search,food,'modern european');(_:search,type,'Restaurant'))
user
I want to find a restaurant in the centre part of town and serves barbeque food . If not then how about modern european food ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'Centre of town');(_:result,count,'4');(_:result,food,'modern European');(_:result,type,'Restaurant'))
system
There are four venues serving modern European food in the Centre of town . What price range do you want ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want the most expensive one available .
inform((_:result,food,'modern European');(_:result,name,'darrys Cookhouse and Wine Shop');(_:result,pricerange,'most expensive');(_:result,type,'Restaurant'))
system
darrys Cookhouse and Wine Shop is the most expensive modern European restaurant .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
What is the address ?
system
Darrys Cookhouse and Wine Shop 's address is 40270 King Street City Centre .
_:search area centre
_:search food barbeque
_:search food modern european
_:search type Restaurant
_:search area centre
_:search food barbeque
_:search food modern european
_:result area Centre of town
_:result count 4
_:result food modern European
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food barbeque
_:search food modern european
_:result area Centre of town
_:result count 4
_:search pricerange expensive
_:search type Restaurant
_:result food modern European
_:result name darrys Cookhouse and Wine Shop
_:result pricerange most expensive
_:result type Restaurant
_:result address ?