inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Is there a moderate restaurant in the centre of town ?
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
Certainly , we have 21 . Do you have a cuisine type or a price range ?
inform((_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Yes , I 'd like a moderately priced restaurant .
inform((_:result,area,'centre');(_:result,food,'British');(_:result,name,'Cotto');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
Cotto is a moderately priced restaurant in the centre of town . It serves British food .
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Please give me their address and postcode .
offer((_:booking,type,'Booking')) inform((_:result,address,'183 East Road City Centre');(_:result,name,'cotto');(_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
The cotto is located at 183 East Road City Centre and their postcode is cb11bg . Would you like me to make a reservation for you ?
thank()
user
No thank you .   You have helped me tremendously and I have everything I need to know .   Thanks and have a good day .
system
Thank you for using the Cambridge TownInfo centre . Have a great day !
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search food ?
_:result count 21
_:result type Restaurant
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search food ?
_:result count 21
_:search pricerange moderately
_:search type Restaurant
_:result area centre
_:result food British
_:result name Cotto
_:result pricerange moderately priced
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search area centre
_:search food ?
_:result count 21
_:search pricerange moderately
_:search type Restaurant
_:result area centre
_:result food British
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result address 183 East Road City Centre
_:result name cotto
_:result postcode cb11bg
_:result type Restaurant