inform((_:search,food,'thai');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
I am looking for the address and phone number of an expensive restaurant serving Thai food .
select((_:result,area,'centre');(_:result,area,'west');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,food,'Thai');(_:result,type,'Restaurant'))
system
there are two Thai locations . Would you prefer a restaurant in the centre or west part of town ?
inform((_:search,area,"do n't care");(_:search,type,'Restaurant'))
user
I do n't care .
inform((_:result,area,'west');(_:result,food,'Thai');(_:result,name,'Sala Thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Sala Thong is an expensive Thai restaurant in the west . Would you like their information ?
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Yes , please . May I have their address and phone number ?
reqmore() inform((_:result,address,'35 Newnham Road Newnham');(_:result,name,'Sala Thong');(_:result,phone,'01223 323178');(_:result,type,'Restaurant'))
system
Sala Thong is located at 35 Newnham Road Newnham and their phone number is 01223 323178 . Is there anything else I can do for you today ?
thank()
user
That is all , thank you , goodbye .
system
You are welcome Good Bye
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:result address ?
_:result phone ?
_:result type Restaurant
_:search food thai
_:search pricerange expensive
_:result address ?
_:result phone ?
_:result area centre
_:result area west
_:result count 2
_:result food Thai
_:result type Restaurant
_:search area do n't care
_:search type Restaurant
_:search food thai
_:search pricerange expensive
_:result address ?
_:result phone ?
_:result count 2
_:search area do n't care
_:search type Restaurant
_:result area west
_:result food Thai
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search food thai
_:search pricerange expensive
_:result count 2
_:search area do n't care
_:search type Restaurant
_:result area west
_:result food Thai
_:result pricerange expensive
_:system inquired _:user
_:result address 35 Newnham Road Newnham
_:result name Sala Thong
_:result phone 01223 323178
_:result type Restaurant