inform((_:search,food,'caribbean');(_:search,type,'Restaurant'))
user
Do you have any restaurants that serve caribbean food ?
canthelp((_:search,type,'Restaurant')) reqmore() inform((_:result,food,'Caribbean');(_:result,type,'Restaurant'))
system
There are no Caribbean restaurants . Would you like something else ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What about a restaurant that serves Chinese food ? What is their phone number ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
There are many Chinese restaurants to choose from . Do you have a preferred area of town ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant'))
user
no , it does n't matter
inform((_:result,name,'Golden House');(_:result,name,'charlie chan-');(_:result,phone,'01223 361763');(_:result,phone,'01842 753771');(_:result,type,'Restaurant'))
system
Let me provide you with a couple options , Charlie Chan- phone 01223 361763 or Golden House - phone 01842 753771
thank()
user
Thank you , goodbye
system
Thank you for calling . Goodbye .
_:search food caribbean
_:search type Restaurant
_:system canthelp _:search/e5b50254
_:search/e5b50254 type Restaurant
_:system inquired _:user
_:result food Caribbean
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:result phone ?
_:system canthelp _:search/e5b50254
_:search/e5b50254 type Restaurant
_:system inquired _:user
_:search food chinese
_:result phone ?
_:result amount many
_:result food Chinese
_:result type Restaurant
_:search area dontcare
_:search type Restaurant
_:system canthelp _:search/e5b50254
_:search/e5b50254 type Restaurant
_:system inquired _:user
_:search food chinese
_:result amount many
_:result food Chinese
_:search area dontcare
_:search type Restaurant
_:result name Golden House
_:result name charlie chan-
_:result phone 01223 361763
_:result phone 01842 753771
_:result type Restaurant