inform((_:search,area,'dontcare');(_:search,food,'scottish');(_:search,type,'Restaurant'))
user
I want to find a restaurant in any area and serves scottish food .
canthelp((_:search,type,'Restaurant')) reqmore()
system
There are no restaurants serving scottish food .   Would you like to try something else ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
Yes , how about modern European food ?
reqmore() inform((_:result,food,'European');(_:result,name,'Eraina');(_:result,type,'Restaurant'))
system
Eraina is a great European eatery . What other information can I provide to you ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
reqmore() inform((_:result,phone,'01223 368786');(_:result,type,'Restaurant'))
system
Their phone number is 01223 368786 .   May I help you with anything else ?
thank()
user
No , thank you .
system
Thanks , enjoy !
_:search area dontcare
_:search food scottish
_:search type Restaurant
_:search area dontcare
_:system canthelp _:search/742b872a
_:search/742b872a type Restaurant
_:system inquired _:user
_:search food modern european
_:search type Restaurant
_:search area dontcare
_:system canthelp _:search/742b872a
_:search/742b872a type Restaurant
_:search food modern european
_:search type Restaurant
_:system inquired _:user
_:result food European
_:result name Eraina
_:result type Restaurant
_:result phone ?
_:search area dontcare
_:system canthelp _:search/742b872a
_:search/742b872a type Restaurant
_:search food modern european
_:search type Restaurant
_:result food European
_:result name Eraina
_:system inquired _:user
_:result phone 01223 368786
_:result type Restaurant