inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Restaurant'))
user
I want to find an expensive restaurant in the south part of town . What is the address ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What type of food are you looking for ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
Any type of food is fine , just need to know where it is located .
reqmore() inform((_:result,address,'2 G cambridge leisure park cherry hinton road cherry hinton');(_:result,area,'south');(_:result,food,'mexican');(_:result,name,'chiquito restaurant bar');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
chiquito restaurant bar serves mexican food in the expensive price range and in south . it is located at 2 G cambridge leisure park cherry hinton road cherry hinton . Is there anything else I can help you with ?
thank()
user
No , thank you .
bye()
system
Thank you for calling and please use our system again . Goodbye .
bye()
user
Goodbye .
system
thank you , goodbye .
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result address ?
_:result type Restaurant
_:search area south
_:search pricerange expensive
_:result address ?
_:result type Restaurant
_:search food dontcare
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search food dontcare
_:search type Restaurant
_:system inquired _:user
_:result address 2 G cambridge leisure park cherry hinton road cherry hinton
_:result area south
_:result food mexican
_:result name chiquito restaurant bar
_:result pricerange expensive
_:result type Restaurant
_:search area south
_:search pricerange expensive
_:search food dontcare
_:search type Restaurant
_:system inquired _:user
_:result address 2 G cambridge leisure park cherry hinton road cherry hinton
_:result area south
_:result food mexican
_:result name chiquito restaurant bar
_:result pricerange expensive
_:result type Restaurant
_:system dismissed _:user
_:user dismissed _:system