inform((_:search,area,'centre');(_:search,food,'indonesian');(_:search,type,'Restaurant'))
user
Hello , I am looking for a restaurant in the centre of town that serves Indonesian food .
canthelp((_:search,type,'Restaurant'))
system
My apologies , but there does n't seem to be any restaurants matching your request . Would you like to broaden your search ?
inform((_:search,area,'centre');(_:search,food,'european');(_:search,type,'Restaurant'))
user
Oh , well how about European food then ? Also in the centre of town please .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'8');(_:result,type,'Restaurant'))
system
There are 8 listings meeting your criteria . Do you have a preference on the price range ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
I do n't care .
inform((_:result,area,'centre');(_:result,food,'modern european');(_:result,name,'Darrys cookhouse and Wine Shop');(_:result,type,'Restaurant'))
system
Darrys cookhouse and Wine Shop is in the centre of town and serves modern european food .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
May I have the phone number and postcode ?
reqmore() inform((_:result,name,'darrys Cookhouse and Wine Shop');(_:result,phone,'01223 505015');(_:result,postcode,'1 L.N.');(_:result,postcode,'C.B 1');(_:result,type,'Restaurant'))
system
The phone number for darrys Cookhouse and Wine Shop is 01223 505015 and the postcode is C.B 1 , 1 L.N. Can I help you with anything else ?
thank()
user
No , that 's all I need , thank you very much .
thank()
system
You 're welcome . Thank you for using this system .
thank()
user
Thank you goodbye .
system
goodbye
_:search area centre
_:search food indonesian
_:search type Restaurant
_:system canthelp _:search/0c13cfb1
_:search/0c13cfb1 type Restaurant
_:search area centre
_:search food european
_:search type Restaurant
_:system canthelp _:search/0c13cfb1
_:search/0c13cfb1 type Restaurant
_:search area centre
_:search food european
_:result count 8
_:result type Restaurant
_:search pricerange dontcare
_:search type Restaurant
_:system canthelp _:search/0c13cfb1
_:search/0c13cfb1 type Restaurant
_:search area centre
_:search food european
_:result count 8
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food modern european
_:result name Darrys cookhouse and Wine Shop
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:system canthelp _:search/0c13cfb1
_:search/0c13cfb1 type Restaurant
_:search area centre
_:search food european
_:result count 8
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food modern european
_:system inquired _:user
_:result name darrys Cookhouse and Wine Shop
_:result phone 01223 505015
_:result postcode 1 L.N.
_:result postcode C.B 1
_:result type Restaurant
_:system canthelp _:search/0c13cfb1
_:search/0c13cfb1 type Restaurant
_:search area centre
_:search food european
_:result count 8
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food modern european
_:system inquired _:user
_:result name darrys Cookhouse and Wine Shop
_:result phone 01223 505015
_:result postcode 1 L.N.
_:result postcode C.B 1
_:result type Restaurant