inform((_:search,food,'kosher');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like to find somewhere with expensive Kosher food .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'Kosher');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
I 'm not seeing any expensive Kosher restaurants , would you like to try a different price range perhaps ?
inform((_:search,area,'center');(_:search,type,'Restaurant'))
user
Sure . I also need the restaurant to be in the center .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'in town');(_:search,food,'kosher');(_:search,pricerange,'any price range');(_:search,type,'Restaurant'))
system
Sorry it looks like there are no kosher restaurants in any price range in town at all . Would you like another food type ?
inform((_:search,food,'italian');(_:search,type,'Restaurant'))
user
Sure , let 's try Italian instead .
offer((_:booking,type,'Booking')) inform((_:result,address,'32 Bridge Street City Centre');(_:result,area,'center');(_:result,count,'4');(_:result,food,'Italian');(_:result,name,'Caffe Uno');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 4 expensive Italian restaurants in the center of town . I suggest Caffe Uno at 32 Bridge Street City Centre . Would you like to make a reservation ?
request((_:result,phone,?);(_:result,type,'Restaurant')) inform((_:search,name,'Caffe Uno');(_:search,type,'Restaurant'))
user
Caffe Uno sounds great . Can I get their phone number , please ?
reqmore() inform((_:result,phone,'01223448620');(_:result,type,'Restaurant'))
system
Their phone number is 01223448620 . Is there anything else I can help you with ?
bye()
user
No , you 've been very helpful . Thank you !   Good bye .
system
Thank you , goodbye .
_:search food kosher
_:search pricerange expensive
_:search type Restaurant
_:search food kosher
_:search pricerange ?
_:system canthelp _:search/973321d4
_:search/973321d4 food Kosher
_:search/973321d4 pricerange expensive
_:search/973321d4 type Restaurant
_:search area center
_:search type Restaurant
_:search pricerange ?
_:system canthelp _:search/973321d4
_:search/973321d4 food Kosher
_:search/973321d4 pricerange expensive
_:search/973321d4 type Restaurant
_:search area center
_:system canthelp _:search/060e054f
_:search/060e054f area in town
_:search/060e054f food kosher
_:search/060e054f pricerange any price range
_:search/060e054f type Restaurant
_:search food italian
_:search type Restaurant
_:search pricerange ?
_:system canthelp _:search/973321d4
_:search/973321d4 food Kosher
_:search/973321d4 pricerange expensive
_:search/973321d4 type Restaurant
_:search area center
_:system canthelp _:search/060e054f
_:search/060e054f area in town
_:search/060e054f food kosher
_:search/060e054f pricerange any price range
_:search/060e054f type Restaurant
_:search food italian
_:system offered _:booking
_:booking type Booking
_:result address 32 Bridge Street City Centre
_:result area center
_:result count 4
_:result food Italian
_:result name Caffe Uno
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search name Caffe Uno
_:search type Restaurant
_:search pricerange ?
_:system canthelp _:search/973321d4
_:search/973321d4 food Kosher
_:search/973321d4 pricerange expensive
_:search/973321d4 type Restaurant
_:search area center
_:system canthelp _:search/060e054f
_:search/060e054f area in town
_:search/060e054f food kosher
_:search/060e054f pricerange any price range
_:search/060e054f type Restaurant
_:search food italian
_:system offered _:booking
_:booking type Booking
_:result address 32 Bridge Street City Centre
_:result area center
_:result count 4
_:result food Italian
_:result name Caffe Uno
_:result pricerange expensive
_:search name Caffe Uno
_:search type Restaurant
_:system inquired _:user
_:result phone 01223448620
_:result type Restaurant
_:user dismissed _:system