inform((_:search,area,'centre');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
I need to find a restaurant that serves korean food located in the centre of town .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,count,'1');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There is one Korean restaurant in centre of town . It is expensive . It 's called Little Seoul . Would you like a reservation ?
inform((_:search,day,'monday');(_:search,duration,'19:15');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Please book a table for 4 people at 19:15 on monday .
canthelp((_:booking,type,'Booking')) reqmore()
system
I am sorry by Little Seoul was n't available at that time . Is there another option for dining I can look up for you ?
inform((_:search,area,'same area');(_:search,pricerange,'same area and price range');(_:search,type,'Restaurant'))
user
How about a different restaurant within the same area and price range .
inform((_:booking,name,'kymmoy');(_:booking,ref,'J39DEUPU');(_:booking,type,'Booking');(_:result,address,'52 Mill Road City Centre');(_:result,area,'centre');(_:result,food,'asian oriental');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
You are booked into kymmoy which serves asian oriental , in the town centre and expensive range . Your reference number is J39DEUPU . The address is 52 Mill Road City Centre .
thank()
user
That was very helpful . Thank you goodbye !
system
Thank you for using our system !
_:search area centre
_:search food korean
_:search type Restaurant
_:search area centre
_:search food korean
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result count 1
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 19:15
_:search people 4
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result count 1
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 19:15
_:search people 4
_:system canthelp _:booking/c0c95d3e
_:booking/c0c95d3e type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:result count 1
_:result name Little Seoul
_:search day monday
_:search duration 19:15
_:search people 4
_:system canthelp _:booking/c0c95d3e
_:booking/c0c95d3e type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:booking name kymmoy
_:booking ref J39DEUPU
_:booking type Booking
_:result address 52 Mill Road City Centre
_:result area centre
_:result food asian oriental
_:result pricerange expensive
_:result type Restaurant