inform((_:search,area,'north');(_:search,food,'thai');(_:search,type,'Restaurant'))
user
Hello , I am looking for a thai restaurant on the north side of town .
request((_:search,area,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
unfortunately there are no thai restaurants in the north , do you want to change an area to look for ?
inform((_:search,area,'west');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
how about west area ? i also want the address , phone number , and price range ?
reqmore() inform((_:result,address,'35 Newnham Road Newnham');(_:result,area,'west');(_:result,food,'thai');(_:result,name,'sala thong');(_:result,phone,'01223323178');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
sala thong servers thai food and is expensive in the west . their phone number is 01223323178 the address is 35 Newnham Road Newnham , it there anything I can help you with ?
thank()
user
No , thank you .   Goodbye .
system
Enjoy your meal .
_:search area north
_:search food thai
_:search type Restaurant
_:search food thai
_:system canthelp _:search/94824fca
_:search/94824fca type Restaurant
_:search area west
_:search type Restaurant
_:result address ?
_:result phone ?
_:result pricerange ?
_:result type Restaurant
_:search food thai
_:system canthelp _:search/94824fca
_:search/94824fca type Restaurant
_:search area west
_:search type Restaurant
_:system inquired _:user
_:result address 35 Newnham Road Newnham
_:result area west
_:result food thai
_:result name sala thong
_:result phone 01223323178
_:result pricerange expensive
_:result type Restaurant