inform((_:search,area,'centre');(_:search,food,'corsica');(_:search,type,'Restaurant'))
user
Is there any place here in the centre that serves corsica food ?
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
What price range are you looking for ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
Any price range will do .
request((_:search,area,?);(_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There are no restaurants available matching your criteria . Would you like to try a different area , price range , or food type ?
inform((_:search,area,'centre');(_:search,food,'north american');(_:search,type,'Restaurant'))
user
Are there any restaurants in the centre that serves North American type of food ?
inform((_:result,area,'centre');(_:result,food,'north american');(_:result,name,'gourmet burger kitchen');(_:result,type,'Restaurant'))
system
Yes .   The gourmet burger kitchen serves north american food and is located in the centre part of the city .   Would you like their location ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Can I get the phone number ?
inform((_:result,name,'gourmet burger kitchen');(_:result,phone,'01223 312598');(_:result,type,'Restaurant'))
system
The phone number for gourmet burger kitchen is 01223 312598 .
bye()
user
Thank you . Good bye .
system
Thank you for using the Cambridge restaurant system . Goodbye .
_:search area centre
_:search food corsica
_:search type Restaurant
_:search area centre
_:search food corsica
_:search pricerange dontcare
_:search type Restaurant
_:search pricerange ?
_:system canthelp _:search/5b629274
_:search/5b629274 type Restaurant
_:search area centre
_:search food north american
_:search type Restaurant
_:search pricerange ?
_:system canthelp _:search/5b629274
_:search/5b629274 type Restaurant
_:search area centre
_:search food north american
_:search type Restaurant
_:result area centre
_:result food north american
_:result name gourmet burger kitchen
_:result type Restaurant
_:result phone ?
_:search pricerange ?
_:system canthelp _:search/5b629274
_:search/5b629274 type Restaurant
_:search area centre
_:search food north american
_:search type Restaurant
_:result area centre
_:result food north american
_:result name gourmet burger kitchen
_:result phone 01223 312598
_:result type Restaurant
_:user dismissed _:system