inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Hi , I am looking for a place to eat in the centre of town .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a lot');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
I 've found a lot of restaurants in the centre . Is there a specific type of food you 're looking for ?
inform((_:search,food,'portuguese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
It should serve portuguese food in the cheap price range .
offer((_:booking,type,'Booking')) inform((_:result,name,'Nandos City Centre');(_:result,type,'Restaurant'))
system
Nandos City Centre is your place . Would you like to book ?
inform((_:search,day,'wednesday');(_:search,people,'two');(_:search,type,'Restaurant'))
user
Yes , I need a table for two on Wednesday .
request((_:booking,duration,?);(_:booking,type,'Booking')) inform((_:booking,day,'Wednesday');(_:booking,type,'Booking'))
system
What time on Wednesday would you like ?
inform((_:search,duration,'15:30');(_:search,type,'Restaurant'))
user
Book it for 15:30 please .
system
That time is not available . Would you like a different time ?
_:search area centre
_:search type Restaurant
_:search area centre
_:result amount a lot
_:result area centre
_:result type Restaurant
_:search food portuguese
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:result amount a lot
_:result area centre
_:search food portuguese
_:search pricerange cheap
_:system offered _:booking
_:booking type Booking
_:result name Nandos City Centre
_:result type Restaurant
_:search day wednesday
_:search people two
_:search type Restaurant
_:search area centre
_:result amount a lot
_:result area centre
_:search food portuguese
_:search pricerange cheap
_:system offered _:booking
_:result name Nandos City Centre
_:result type Restaurant
_:search day wednesday
_:search people two
_:booking duration ?
_:booking day Wednesday
_:booking type Booking
_:search duration 15:30
_:search type Restaurant