inform((_:search,area,'west');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would like a cheap restaurant in the west part of town
select((_:result,food,'italian');(_:result,food,'vietnamese');(_:result,type,'Restaurant')) inform((_:result,area,'west');(_:result,count,'2');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There are two cheap restaurants in the west part of town . One is italian and one is vietnamese . Which one are you interested in ?
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Can you give me the telephone number of the vietnamese restaurant ?
reqmore() inform((_:result,food,'Vietnamese');(_:result,name,'Thanh Binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The Vietnamese restaurant 's name is Thanh Binh , the phone number is 01223 362456 . Can I help you with anything else ?
inform((_:search,name,'thanh binh');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Restaurant'))
user
Can you give me the address for Thanh Binh as well please ?
inform((_:result,address,'17 Magdalene Street City Centre');(_:result,name,'Thanh Binh');(_:result,type,'Restaurant'))
system
Thanh Binh is at 17 Magdalene Street City Centre .
thank()
user
Thank you . Goodbye .
system
Thank you for calling us today . Goodbye .
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result food italian
_:result food vietnamese
_:result area west
_:result count 2
_:result pricerange cheap
_:result type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result phone ?
_:search area west
_:search pricerange cheap
_:result area west
_:result count 2
_:result pricerange cheap
_:search food vietnamese
_:system inquired _:user
_:result food Vietnamese
_:result name Thanh Binh
_:result phone 01223 362456
_:result type Restaurant
_:search name thanh binh
_:search type Restaurant
_:result address ?
_:search area west
_:search pricerange cheap
_:result area west
_:result count 2
_:result pricerange cheap
_:search food vietnamese
_:system inquired _:user
_:result food Vietnamese
_:result phone 01223 362456
_:search name thanh binh
_:search type Restaurant
_:result address 17 Magdalene Street City Centre
_:result name Thanh Binh
_:result type Restaurant