inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Hi , I need a place to eat in the centre for a medium price range . What do you have that you can suggest ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,food,'british');(_:result,food,'many other types');(_:result,type,'Restaurant'))
system
We have 21 of those , including those serving british food and many other types .   Can you narrow it down some ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
Sure , can you try to find a british restaurant ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
Cotto is very good .   Can I reserve a table for you ?
inform((_:search,day,'wednesday');(_:search,duration,'14:45');(_:search,people,'6');(_:search,type,'Restaurant'))
user
That sounds great . I need a reservation for 6 people at 14:45 on Wednesday .
inform((_:booking,day,'Wednesday');(_:booking,duration,'14:45');(_:booking,name,'Cotto');(_:booking,people,'6');(_:booking,ref,'RX6XP8KP');(_:booking,type,'Booking'))
system
I was able to make a reservation for 6 people at Cotto on Wednesday at 14:45 .   Your reference number is RX6XP8KP .
thank()
user
Thanks , that 's all I needed today . Goodbye !
system
Please contact us anytime . Good Bye .
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result food many other types
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result food many other types
_:search food british
_:system offered _:booking
_:booking type Booking
_:result name Cotto
_:result type Restaurant
_:search day wednesday
_:search duration 14:45
_:search people 6
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result food many other types
_:search food british
_:system offered _:booking
_:result name Cotto
_:result type Restaurant
_:search day wednesday
_:search duration 14:45
_:search people 6
_:search type Restaurant
_:booking day Wednesday
_:booking duration 14:45
_:booking name Cotto
_:booking people 6
_:booking ref RX6XP8KP
_:booking type Booking