inform((_:search,area,'center');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like to find a restaurant in the expensive price range that is located in the city center .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'center');(_:result,count,'33');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 33 expensive resturants in the city center .   We could narrow it down more by food type . What type of food would you like ?
inform((_:search,food,'do not care');(_:search,type,'Restaurant'))
user
I do not care about that .
offer((_:booking,type,'Booking')) inform((_:result,area,'center');(_:result,food,'African');(_:result,name,'Bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Bedouin serves African food , is in the center , and in the expensive price range . Do you want me to book this restaurant ?
inform((_:search,day,'tuesday');(_:search,duration,'19:15');(_:search,type,'Restaurant'))
user
Yes , I 'd like to book a table for seven at 19:15 on Tuesday .
inform((_:booking,day,'Tuesday');(_:booking,duration,'19:15');(_:booking,name,'Bedouin');(_:booking,people,'7');(_:booking,type,'Booking'))
system
Ok I have booked you at Bedouin on Tuesday at 19:15 for 7 people .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
May I have the reference number please ?
canthelp((_:booking,type,'Booking')) reqmore() request((_:booking,day,?);(_:booking,type,'Booking'))
system
It is actually not open then , another day or place to dine ?
inform((_:search,type,'Restaurant'))
user
How about a different restaurant in the area and price range ?
inform((_:booking,name,'Cambridge chop house');(_:booking,ref,'K1T50MHG');(_:booking,type,'Booking'))
system
I was able to book you at the Cambridge chop house . Reference number K1T50MHG .
thank()
user
Thank you , that 's all I need today .
system
Okay . Enjoy your dinner .
_:search area center
_:search pricerange expensive
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result area center
_:result count 33
_:result pricerange expensive
_:result type Restaurant
_:search food do not care
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result count 33
_:search food do not care
_:system offered _:booking
_:booking type Booking
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 19:15
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result count 33
_:search food do not care
_:system offered _:booking
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 19:15
_:search type Restaurant
_:booking day Tuesday
_:booking duration 19:15
_:booking name Bedouin
_:booking people 7
_:booking type Booking
_:result ref ?
_:search area center
_:search pricerange expensive
_:result count 33
_:search food do not care
_:system offered _:booking
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 19:15
_:booking duration 19:15
_:booking name Bedouin
_:booking people 7
_:result ref ?
_:system canthelp _:booking/e289fbb7
_:booking/e289fbb7 type Booking
_:system inquired _:user
_:booking day ?
_:booking type Booking
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result count 33
_:search food do not care
_:system offered _:booking
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 19:15
_:booking duration 19:15
_:booking people 7
_:result ref ?
_:system canthelp _:booking/e289fbb7
_:booking/e289fbb7 type Booking
_:system inquired _:user
_:booking day ?
_:search type Restaurant
_:booking name Cambridge chop house
_:booking ref K1T50MHG
_:booking type Booking