inform((_:search,food,'venetian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like to find an expensive restaurant that serves venetian food .
canthelp((_:search,type,'Restaurant')) reqmore()
system
There is not matching places that fits your request . Can i help you with something else ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Are there any Asian Oriental restaurants in that price range ?
inform((_:result,area,'centre');(_:result,food,'asian oriental');(_:result,name,'Kymmoy');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Yes . Kymmoy is an expensive restaurant serving asian oriental food in the centre part of town .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Thank you .   May I have their phone number ?
reqmore() inform((_:result,phone,'01223 311911');(_:result,type,'Restaurant'))
system
Their number is 01223 311911 . Will that be all today ?
thank()
user
Yes , thank you .
system
Thank You good bye
_:search food venetian
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/bdcb87f4
_:search/bdcb87f4 type Restaurant
_:system inquired _:user
_:search food asian oriental
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/bdcb87f4
_:search/bdcb87f4 type Restaurant
_:system inquired _:user
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food asian oriental
_:result name Kymmoy
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search pricerange expensive
_:system canthelp _:search/bdcb87f4
_:search/bdcb87f4 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food asian oriental
_:result name Kymmoy
_:result pricerange expensive
_:system inquired _:user
_:result phone 01223 311911
_:result type Restaurant