inform((_:search,food,'halal');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want to find a place that serves halal food .   Can you help me ?   Not too expensive , please .
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'halal');(_:result,type,'Restaurant'))
system
I can not find any restaurants serving halal food . Would you like something different ?
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
How about European food instead ?
inform((_:result,area,'centre');(_:result,food,'modern European');(_:result,name,'River Bar Steakhouse and Grill');(_:result,pricerange,'the least expensive');(_:result,type,'Restaurant'))
system
The River Bar Steakhouse and Grill is a modern European restaurant that looks like the least expensive option available .   It is located in the centre of town .   How does that sound ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
That sounds good .   may I have their address and postcode , please ?
inform((_:result,address,'Quayside Off Bridge Street');(_:result,name,'The river bar');(_:result,postcode,'8 A.Q.');(_:result,postcode,'C.B 5');(_:result,type,'Restaurant'))
system
The river bar is located at Quayside Off Bridge Street . The postcode is C.B 5 , 8 A.Q.
thank()
user
Thank you goodbye .
system
Goodbye , and enjoy your meal !
_:search food halal
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/594686d8
_:search/594686d8 type Restaurant
_:result food halal
_:result type Restaurant
_:search food european
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/594686d8
_:search/594686d8 type Restaurant
_:search food european
_:search type Restaurant
_:result area centre
_:result food modern European
_:result name River Bar Steakhouse and Grill
_:result pricerange the least expensive
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search pricerange expensive
_:system canthelp _:search/594686d8
_:search/594686d8 type Restaurant
_:search food european
_:search type Restaurant
_:result area centre
_:result food modern European
_:result pricerange the least expensive
_:result address Quayside Off Bridge Street
_:result name The river bar
_:result postcode 8 A.Q.
_:result postcode C.B 5
_:result type Restaurant