inform((_:search,food,'danish');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want an expensive restaurant and serves danish food .
canthelp((_:search,type,'Restaurant'))
system
I found no restaurants serving Danish food in the expensive price range .
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
asian oriental
inform((_:result,area,'centre');(_:result,food,'Asian Oriental');(_:result,name,'Kymmoy');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Kymmoy is an Asian Oriental restaurant located in the centre of town and is in the expensive price range .   Would you like their address ?
request((_:result,area,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number and area ?
inform((_:result,area,'centre');(_:result,name,'kymmoy');(_:result,phone,'01223 311911');(_:result,type,'Restaurant'))
system
The phone number for kymmoy is 01223 311911 and they are located in the centre of town .
thank()
user
Thank you !   Goodbye !
system
You 're very welcome . Thanks for calling us . Goodbye .
_:search food danish
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/e7bc7c44
_:search/e7bc7c44 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/e7bc7c44
_:search/e7bc7c44 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food Asian Oriental
_:result name Kymmoy
_:result pricerange expensive
_:result type Restaurant
_:result area ?
_:result phone ?
_:search pricerange expensive
_:system canthelp _:search/e7bc7c44
_:search/e7bc7c44 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result food Asian Oriental
_:result pricerange expensive
_:result area centre
_:result name kymmoy
_:result phone 01223 311911
_:result type Restaurant