inform((_:search,food,'mexican');(_:search,type,'Restaurant'))
user
i want some mexican food .
reqmore() inform((_:result,amount,'only');(_:result,food,'Mexican');(_:result,name,'Chiquito Restaurant Bar');(_:result,type,'Restaurant'))
system
The only listing for Mexican food is Chiquito Restaurant Bar . How else may I assist you ?
inform((_:search,area,'centre');(_:search,food,'asian oriental');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I want a restaurant in the centre and serves asian oriental food ? What is the phone number ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'4');(_:result,food,'Asian oriental');(_:result,type,'Restaurant'))
system
We have four Asian oriental restaurants in centre .   What price range do you prefer ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
I do n't care .
inform((_:result,area,'centre');(_:result,food,'asian oriental');(_:result,name,'Dojo Noodle Bar');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Dojo Noodle Bar serves asian oriental food and is located in the centre of town .   The price range is cheap .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
inform((_:result,name,'dojo noodle bar');(_:result,phone,'01223 363471');(_:result,type,'Restaurant')) reqmore()
system
The phone number for dojo noodle bar is 01223 363471 .   Would you like any other information ?
thank()
user
No , thank you , that 's all I need .   Thank you and goodbye !
system
You 're welcome . Goodbye .
_:search food mexican
_:search type Restaurant
_:system inquired _:user
_:result amount only
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:result type Restaurant
_:search area centre
_:search food asian oriental
_:search type Restaurant
_:result phone ?
_:system inquired _:user
_:result amount only
_:result name Chiquito Restaurant Bar
_:search area centre
_:search food asian oriental
_:result phone ?
_:result area centre
_:result count 4
_:result food Asian oriental
_:result type Restaurant
_:search pricerange dontcare
_:search type Restaurant
_:system inquired _:user
_:result amount only
_:search area centre
_:search food asian oriental
_:result phone ?
_:result count 4
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food asian oriental
_:result name Dojo Noodle Bar
_:result pricerange cheap
_:result type Restaurant
_:result amount only
_:search area centre
_:search food asian oriental
_:result count 4
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food asian oriental
_:result pricerange cheap
_:result name dojo noodle bar
_:result phone 01223 363471
_:result type Restaurant
_:system inquired _:user