inform((_:search,area,'west');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I 'm looking for a cheap restaurant in the west .
inform((_:result,name,'tnahh binh');(_:result,type,'Restaurant'))
system
name is tnahh binh
inform((_:search,type,'Restaurant'))
user
Pardon ?   Is that the name of a restaurant ?
inform((_:result,area,'west');(_:result,food,'Vietnamese');(_:result,name,'Thanh Binh');(_:result,type,'Restaurant'))
system
Yes , there is a Vietnamese restaurant in the west called Thanh Binh .
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the address and phone number ?
inform((_:result,address,'17 Magdalene Street City Centre');(_:result,food,'vietnamese');(_:result,name,'Thanh Binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The address for the vietnamese restaurant Thanh Binh is 17 Magdalene Street City Centre and their phone number is 01223 362456 .
thank()
user
Thank you goodbye .
system
Thank you for using the Cambridge restaurant system . Goodbye .
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result name tnahh binh
_:result type Restaurant
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:result area west
_:result food Vietnamese
_:result name Thanh Binh
_:result type Restaurant
_:result address ?
_:result phone ?
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:result area west
_:result address 17 Magdalene Street City Centre
_:result food vietnamese
_:result name Thanh Binh
_:result phone 01223 362456
_:result type Restaurant