inform((_:search,food,'thai');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for an expensive restaurant that serves Thai food .
inform((_:result,amount,'to');(_:result,food,'Thai');(_:result,name,'Bangkok City');(_:result,name,'Sala Thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I have to options for Thai food in the expensive price range , Bangkok City and Sala Thong .
user
Is there anything else ?
inform((_:result,amount,'only results');(_:result,food,'Thai');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Those are the only results for expensive Thai food .
inform((_:search,name,'sala thong');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
May I have the address and postcode for Sala Thong , then ?
inform((_:result,address,'35 Newnham Road Newnham');(_:result,name,'Sala Thong');(_:result,postcode,'9 E.Y.');(_:result,postcode,'C.B 3');(_:result,type,'Restaurant'))
system
The address of Sala Thong is 35 Newnham Road Newnham and the postcode is C.B 3 , 9 E.Y.
thank()
user
Thank you goodbye .
system
Thank you for using our system . Good bye
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:result amount to
_:result food Thai
_:result name Bangkok City
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search food thai
_:search pricerange expensive
_:result name Bangkok City
_:result name Sala Thong
_:result amount only results
_:result food Thai
_:result pricerange expensive
_:result type Restaurant
_:search name sala thong
_:search type Restaurant
_:result address ?
_:result postcode ?
_:search food thai
_:search pricerange expensive
_:result amount only results
_:result food Thai
_:result pricerange expensive
_:search name sala thong
_:search type Restaurant
_:result address 35 Newnham Road Newnham
_:result name Sala Thong
_:result postcode 9 E.Y.
_:result postcode C.B 3
_:result type Restaurant