inform((_:search,food,'austrian');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I want to find a moderate price restaurant and serving austrian food .
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Austrian');(_:result,type,'Restaurant'))
system
There are no restaurants for Austrian food matching your request .
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
What about British food ?
inform((_:result,area,'centre');(_:result,area,'west');(_:result,count,'5');(_:result,food,'British');(_:result,name,'Copper Kettle');(_:result,name,'Cotto');(_:result,name,'Oak Bistro');(_:result,name,'Restaurant One Seven');(_:result,name,'Saint Johns Chop House');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
There are 5 moderately priced restaurants that serve British food . Saint Johns Chop House in the west , and Cotto , Restaurant One Seven , The Copper Kettle , and The Oak Bistro in the city centre .
inform((_:search,name,'saint johns chop house');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Saint Johns Chop House sounds good . Could you give me the phone number ?
inform((_:result,phone,'01223 353110');(_:result,type,'Restaurant'))
system
Yes , here it is 01223 353110 .
thank()
user
Thank you so much .
reqmore()
system
Can I help you with anything else today ?
bye()
user
That 's it , goodbye
system
Thank you for using the Cambridge restaurant system , goodbye .
_:search food austrian
_:search pricerange moderate
_:search type Restaurant
_:search pricerange moderate
_:system canthelp _:search/afc3f3d3
_:search/afc3f3d3 type Restaurant
_:result food Austrian
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search pricerange moderate
_:system canthelp _:search/afc3f3d3
_:search/afc3f3d3 type Restaurant
_:search food british
_:result area centre
_:result area west
_:result count 5
_:result food British
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result name Saint Johns Chop House
_:result pricerange moderately priced
_:result type Restaurant
_:search name saint johns chop house
_:search type Restaurant
_:result phone ?
_:search pricerange moderate
_:system canthelp _:search/afc3f3d3
_:search/afc3f3d3 type Restaurant
_:search food british
_:result area centre
_:result area west
_:result count 5
_:result food British
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result name Saint Johns Chop House
_:result pricerange moderately priced
_:search name saint johns chop house
_:search type Restaurant
_:result phone 01223 353110
_:result type Restaurant
_:search pricerange moderate
_:system canthelp _:search/afc3f3d3
_:search/afc3f3d3 type Restaurant
_:search food british
_:result area centre
_:result area west
_:result count 5
_:result food British
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result name Saint Johns Chop House
_:result pricerange moderately priced
_:search name saint johns chop house
_:search type Restaurant
_:result phone 01223 353110
_:result type Restaurant
_:system inquired _:user
_:user dismissed _:system