inform((_:search,area,'centre');(_:search,food,'brazilian');(_:search,type,'Restaurant'))
user
Hello , I am looking for a restaurant in the centre of town that serves Brazilian food .
canthelp((_:search,type,'Restaurant'))
system
There are no restaurants matching your request .
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Can you look for asian oriental food ?
inform((_:result,area,'centre');(_:result,food,'Asian Oriental');(_:result,name,'Dojo Noodle');(_:result,type,'Restaurant'))
system
Dojo Noodle Bar is an Asian Oriental restaurant in the centre of town .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
reqmore() inform((_:result,name,'Dojo Noodle Bar');(_:result,phone,'01223 363471');(_:result,type,'Restaurant'))
system
The phone number for Dojo Noodle Bar is 01223 363471 . Can I help you with anything else ?
bye()
user
no thank you good bye
system
Thank you for using this system and please call again . Goodbye .
_:search area centre
_:search food brazilian
_:search type Restaurant
_:search area centre
_:system canthelp _:search/7f0b275a
_:search/7f0b275a type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search area centre
_:system canthelp _:search/7f0b275a
_:search/7f0b275a type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food Asian Oriental
_:result name Dojo Noodle
_:result type Restaurant
_:result phone ?
_:search area centre
_:system canthelp _:search/7f0b275a
_:search/7f0b275a type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food Asian Oriental
_:system inquired _:user
_:result name Dojo Noodle Bar
_:result phone 01223 363471
_:result type Restaurant
_:user dismissed _:system