inform((_:search,food,'international');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Find me expensive restaurant that serves international food .
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'International');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
My apologies .   I could not find any restaurants that serve International food in the expensive price range .
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
British .
inform((_:result,area,'centre');(_:result,food,'British');(_:result,name,'fitzbillies restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
fitzbillies restaurant serves British food , is located in the centre of town and is in the expensive price range .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
inform((_:result,phone,'01223352500');(_:result,type,'Restaurant'))
system
It 's 01223352500 .   Would you like the address ?
thank()
user
No , you 've covered it all , I believe . Thanks for your help .
system
You 're welcome .
_:search food international
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/1f7f566d
_:search/1f7f566d type Restaurant
_:result food International
_:result pricerange expensive
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/1f7f566d
_:search/1f7f566d type Restaurant
_:search food british
_:search type Restaurant
_:result area centre
_:result food British
_:result name fitzbillies restaurant
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search pricerange expensive
_:system canthelp _:search/1f7f566d
_:search/1f7f566d type Restaurant
_:search food british
_:search type Restaurant
_:result area centre
_:result food British
_:result name fitzbillies restaurant
_:result pricerange expensive
_:result phone 01223352500
_:result type Restaurant