inform((_:search,food,'christmas');(_:search,type,'Restaurant'))
user
I 'm looking for something serving christmas food .
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Christmas');(_:result,type,'Restaurant'))
system
There are no restaurants serving Christmas food .
inform((_:search,food,'chinese');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
How about a moderately priced chinese restaurant ?
inform((_:result,area,'north');(_:result,name,'golden wok');(_:result,type,'Restaurant'))
system
Yes , there is one called golden wok in the north part of town . do you want this one ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Ok , what 's the phone number ?
inform((_:result,name,"golden wok 's");(_:result,phone,'01223 350688');(_:result,type,'Restaurant'))
system
golden wok 's number is 01223 350688
user
Is there anything else ?
bye()
system
That 's all , enjoy your meal .
thank()
user
Thanks !   You too !
system
Goodbye .
_:search food christmas
_:search type Restaurant
_:system canthelp _:search/c9712997
_:search/c9712997 type Restaurant
_:result food Christmas
_:result type Restaurant
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:system canthelp _:search/c9712997
_:search/c9712997 type Restaurant
_:result food Christmas
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result area north
_:result name golden wok
_:result type Restaurant
_:result phone ?
_:system canthelp _:search/c9712997
_:search/c9712997 type Restaurant
_:result food Christmas
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result area north
_:result name golden wok 's
_:result phone 01223 350688
_:result type Restaurant
_:system canthelp _:search/c9712997
_:search/c9712997 type Restaurant
_:result food Christmas
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result area north
_:result name golden wok 's
_:result phone 01223 350688
_:result type Restaurant
_:system dismissed _:user