inform((_:search,food,'brazilian');(_:search,type,'Restaurant'))
user
I would like a restaurant that serves brazilian food
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There are no restaurants matching that description . Would you like a different type of food ?
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
Korean might work . Are there any of those ?
inform((_:result,area,'centre');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Little Seoul serves Korean food . It 's an expensive restaurant that is located in the city centre .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
May I have the telephone number ?
reqmore() inform((_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The number is 01223 308681 . Can I help you with anything else ?
thank()
user
Thank you goodbye .
system
thank you good bye
_:search food brazilian
_:search type Restaurant
_:system canthelp _:search/5a833eb7
_:search/5a833eb7 type Restaurant
_:search food korean
_:search type Restaurant
_:system canthelp _:search/5a833eb7
_:search/5a833eb7 type Restaurant
_:search food korean
_:search type Restaurant
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:system canthelp _:search/5a833eb7
_:search/5a833eb7 type Restaurant
_:search food korean
_:search type Restaurant
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:system inquired _:user
_:result phone 01223 308681
_:result type Restaurant