inform((_:search,food,'christmas');(_:search,type,'Restaurant'))
user
I 'd like to find a restaurant serving Christmas food .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Christmas');(_:result,type,'Restaurant')) reqmore()
system
I 'm sorry , there is no restaurant listed serving Christmas food .   Would you like to try something else ?
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
How about indian food ?
inform((_:result,area,'west');(_:result,food,'indian');(_:result,name,'cocum');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
cocum serves indian food , in the expensive price range and in the west part of town
inform((_:search,name,'cocum');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Restaurant'))
user
What 's the address for cocum ?
reqmore() inform((_:result,address,'71 Castle Street City Centre');(_:result,name,"Cocum 's");(_:result,type,'Restaurant'))
system
Cocum 's address is 71 Castle Street City Centre . Is there anything else I can help you with today ?
thank()
user
No , thank you . Goodbye .
system
You 're quite welcome .   Goodbye .
_:search food christmas
_:search type Restaurant
_:system canthelp _:search/1b985db3
_:search/1b985db3 type Restaurant
_:result food Christmas
_:result type Restaurant
_:system inquired _:user
_:search food indian
_:search type Restaurant
_:system canthelp _:search/1b985db3
_:search/1b985db3 type Restaurant
_:system inquired _:user
_:search food indian
_:result area west
_:result food indian
_:result name cocum
_:result pricerange expensive
_:result type Restaurant
_:search name cocum
_:search type Restaurant
_:result address ?
_:system canthelp _:search/1b985db3
_:search/1b985db3 type Restaurant
_:search food indian
_:result area west
_:result food indian
_:result pricerange expensive
_:search name cocum
_:search type Restaurant
_:system inquired _:user
_:result address 71 Castle Street City Centre
_:result name Cocum 's
_:result type Restaurant