inform((_:search,food,'mexican');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would like a cheap Mexican restaurant , please .
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town would you like to dine in ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant'))
user
I do n't care
request((_:search,food,?);(_:search,type,'Restaurant')) reqmore() inform((_:result,amount,'only');(_:result,food,'Mexican');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I 'm sorry , but our only Mexican restaurant is expensive .   Would you like more information or could I search for another type of restaurant for you ?
inform((_:search,food,'vietnamese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Is there any Cheap vietnamese locations ?
inform((_:result,food,'vietnamese');(_:result,name,'Thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Thanh binh is a cheap vietnamese restaurant .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
May I get the phone number of Thank binh , please ?
reqmore() inform((_:result,name,'thanh binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The phone number for thanh binh is 01223 362456 .   May I help you with anything else today ?
thank()
user
No , I believe that it 's . Thanks for your help .
system
You 're welcome .
_:search food mexican
_:search pricerange cheap
_:search type Restaurant
_:search food mexican
_:search pricerange cheap
_:search area dontcare
_:search type Restaurant
_:search area dontcare
_:system inquired _:user
_:result amount only
_:result food Mexican
_:result pricerange expensive
_:result type Restaurant
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:search area dontcare
_:system inquired _:user
_:result amount only
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result food vietnamese
_:result name Thanh binh
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:search area dontcare
_:result amount only
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result food vietnamese
_:result pricerange cheap
_:system inquired _:user
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant