inform((_:search,area,'centre');(_:search,food,'world');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in the centre that serves world food .
canthelp((_:search,area,'centre');(_:search,food,'world food');(_:search,type,'Restaurant'))
system
I 'm sorry I ca n't find any world food restaurants located in the centre .
inform((_:search,area,'centre');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
How about a restaurant in the centre that serves Korean food ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Little Seoul is a great place that fits your description . Would you like me to book you a table ?
inform((_:search,day,'tuesday');(_:search,duration,'11:15');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes please .   I would like a table for 7 on Tuesday .   Try for 11:15 please .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I have nothing available for that day and time slot , can I book you another day or time slot at that restaurant ?
inform((_:search,duration,'10:15');(_:search,type,'Restaurant'))
user
How about 10:15 ?
inform((_:booking,day,'tuesday');(_:booking,duration,'10:15');(_:booking,people,'7');(_:booking,ref,'KAHFBHYI');(_:booking,type,'Booking');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
I have you booked for 7 at little seoul on tuesday at 10:15 . Here is the reference number for your booking : KAHFBHYI .
bye()
user
Thank you so much for your help .   Bye .
system
Glad I could help today , is there anything else that I can resolve for you ?
_:search area centre
_:search food world
_:search type Restaurant
_:system canthelp _:search/1ba2c977
_:search/1ba2c977 area centre
_:search/1ba2c977 food world food
_:search/1ba2c977 type Restaurant
_:search area centre
_:search food korean
_:search type Restaurant
_:system canthelp _:search/1ba2c977
_:search/1ba2c977 area centre
_:search/1ba2c977 food world food
_:search/1ba2c977 type Restaurant
_:search area centre
_:search food korean
_:system offered _:booking
_:booking type Booking
_:result name Little Seoul
_:result type Restaurant
_:search day tuesday
_:search duration 11:15
_:search people 7
_:search type Restaurant
_:system canthelp _:search/1ba2c977
_:search/1ba2c977 area centre
_:search/1ba2c977 food world food
_:search/1ba2c977 type Restaurant
_:search area centre
_:search food korean
_:system offered _:booking
_:result name Little Seoul
_:result type Restaurant
_:search day tuesday
_:search people 7
_:system canthelp _:booking/97de3794
_:booking/97de3794 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 10:15
_:search type Restaurant
_:system canthelp _:search/1ba2c977
_:search/1ba2c977 area centre
_:search/1ba2c977 food world food
_:search/1ba2c977 type Restaurant
_:search area centre
_:search food korean
_:system offered _:booking
_:search day tuesday
_:search people 7
_:system canthelp _:booking/97de3794
_:booking/97de3794 type Booking
_:search duration 10:15
_:search type Restaurant
_:booking day tuesday
_:booking duration 10:15
_:booking people 7
_:booking ref KAHFBHYI
_:booking type Booking
_:result name little seoul
_:result type Restaurant
_:user dismissed _:system