inform((_:search,food,'basque');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Hello , I am looking for a moderately priced restaurant that serves basque food .
canthelp((_:search,type,'Restaurant')) reqmore()
system
I 'm sorry , there are no restaurants matching your request .   Would you like to try something else ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
How about british food ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,food,'British');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
There are several moderately priced restaurants that serve British food .   Do you prefer a particular area of town ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I do n't care . Give me their phone number .
inform((_:result,area,'centre');(_:result,food,'British');(_:result,name,'Cotto');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
Cotto is a moderately priced restaurant in the city centre that serves British food . Would you like the phone number ?
user
Yes , please .
reqmore() inform((_:result,name,'Cotto');(_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
The phone number for Cotto is 01223 302010 . Do you need any further assistance ?
thank()
user
Nope ! Thank you , goodbye .
system
Thank you . Good bye .
_:search food basque
_:search pricerange moderately
_:search type Restaurant
_:search pricerange moderately
_:system canthelp _:search/f50e0605
_:search/f50e0605 type Restaurant
_:system inquired _:user
_:search food british
_:search type Restaurant
_:search pricerange moderately
_:system canthelp _:search/f50e0605
_:search/f50e0605 type Restaurant
_:system inquired _:user
_:search food british
_:result amount several
_:result food British
_:result pricerange moderately priced
_:result type Restaurant
_:search area dontcare
_:search type Restaurant
_:result phone ?
_:search pricerange moderately
_:system canthelp _:search/f50e0605
_:search/f50e0605 type Restaurant
_:system inquired _:user
_:search food british
_:result amount several
_:search area dontcare
_:search type Restaurant
_:result phone ?
_:result area centre
_:result food British
_:result name Cotto
_:result pricerange moderately priced
_:result type Restaurant
_:search pricerange moderately
_:system canthelp _:search/f50e0605
_:search/f50e0605 type Restaurant
_:search food british
_:result amount several
_:search area dontcare
_:search type Restaurant
_:result area centre
_:result food British
_:result pricerange moderately priced
_:system inquired _:user
_:result name Cotto
_:result phone 01223 302010
_:result type Restaurant