inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant'))
user
Hi there , can you help me find a restaurant in the centre of town ? Someplace with British food ?
offer((_:booking,type,'Booking')) inform((_:result,name,'cotto');(_:result,type,'Restaurant'))
system
I 've heard great things about cotto . Want a reservation ?
inform((_:search,type,'Restaurant'))
user
What price range is that restaurant ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Cotto');(_:result,pricerange,'moderate price');(_:result,type,'Restaurant'))
system
Cotto   is in the moderate price range . Would you like me to make a reservation for you ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No that wo n't be necessary , could you just give me the address and postcode please ?
inform((_:result,address,'183 East Road City Centre');(_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
Sure , the address is 183 East Road City Centre and the postcode is cb11bg .
thank()
user
Great , that 's all for now . Thanks !
system
You are very welcome . Have a great day !
_:search area centre
_:search food british
_:search type Restaurant
_:search area centre
_:search food british
_:system offered _:booking
_:booking type Booking
_:result name cotto
_:result type Restaurant
_:search type Restaurant
_:search area centre
_:search food british
_:system offered _:booking
_:booking type Booking
_:search type Restaurant
_:result name Cotto
_:result pricerange moderate price
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search area centre
_:search food british
_:system offered _:booking
_:booking type Booking
_:search type Restaurant
_:result name Cotto
_:result pricerange moderate price
_:result address 183 East Road City Centre
_:result postcode cb11bg
_:result type Restaurant