inform((_:search,food,'Portuguese');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I am looking for an expensive restaurant that serves Portuguese food . Please also provide the phone number .
canthelp((_:search,type,'Restaurant')) reqmore()
system
I do not show an expensive Portuguese restaurant . Can I look for something else ?
inform((_:search,food,'french');(_:search,type,'Restaurant'))
user
How about french food ?
reqmore() inform((_:result,area,'centre');(_:result,food,'French');(_:result,name,'Cote');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Cote is a French restaurant located in the centre part of town and is in the expensive price range .    Is there anything else I can help you with today ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Yes , could I have their phone number ?
inform((_:result,name,'Cote');(_:result,phone,'01223 311053');(_:result,type,'Restaurant'))
system
The phone number for Cote is 01223 311053 .
thank()
user
Thank you !   Goodbye !
system
Thank you for using the Cambridge restaurant system . Goodbye .
_:search food Portuguese
_:search pricerange expensive
_:search type Restaurant
_:result phone ?
_:result type Restaurant
_:search pricerange expensive
_:result phone ?
_:result type Restaurant
_:system canthelp _:search/96f7d398
_:search/96f7d398 type Restaurant
_:system inquired _:user
_:search food french
_:search type Restaurant
_:search pricerange expensive
_:result phone ?
_:system canthelp _:search/96f7d398
_:search/96f7d398 type Restaurant
_:search food french
_:search type Restaurant
_:system inquired _:user
_:result area centre
_:result food French
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search pricerange expensive
_:system canthelp _:search/96f7d398
_:search/96f7d398 type Restaurant
_:search food french
_:search type Restaurant
_:system inquired _:user
_:result area centre
_:result food French
_:result pricerange expensive
_:result name Cote
_:result phone 01223 311053
_:result type Restaurant