inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am looking for a cheap restaurant in the centre .
select((_:result,food,'chinese');(_:result,food,'modern european');(_:result,name,'Golden house');(_:result,name,'the river bar steakhouse and grill');(_:result,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
I have found many possibilities . Golden house is chinese and the river bar steakhouse and grill serves modern european . Are either of those of interest for you ?
inform((_:search,name,'golden house');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , may I have the address , postcode , and phone number for Golden House ? I 'll book it myself .
inform((_:result,address,'12 Lensfield Road City Centre');(_:result,phone,'01842753771');(_:result,postcode,'cb21eg');(_:result,type,'Restaurant'))
system
They are located at 12 Lensfield Road City Centre , postcode cb21eg , and phone number 01842753771 .
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Thank you for using our service . Have a great day .
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result food chinese
_:result food modern european
_:result name Golden house
_:result name the river bar steakhouse and grill
_:result amount many
_:result type Restaurant
_:search name golden house
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:search pricerange cheap
_:result food chinese
_:result food modern european
_:result name Golden house
_:result name the river bar steakhouse and grill
_:result amount many
_:search name golden house
_:search type Restaurant
_:result address 12 Lensfield Road City Centre
_:result phone 01842753771
_:result postcode cb21eg
_:result type Restaurant