inform((_:search,food,'asian oriental');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Could you help me find an expensive asian oriental restaurant ?
select((_:result,area,'Centre');(_:result,area,'North');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
There are two restaurants . One located in the North area and Centre area . Which one would you prefer ?
inform((_:search,area,'centre');(_:search,day,'thursday');(_:search,duration,'13:30');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Let 's go with the centre . I need a reservation for 2 at 13:30 on Thursday .
canthelp((_:booking,type,'Booking')) reqmore()
system
I am sorry there are no tables available , can I help you find another place to eat ?
inform((_:search,area,'same area');(_:search,pricerange,'same area and price range');(_:search,type,'Restaurant'))
user
I need a different restaurant in the same area and price range please .
select((_:result,food,'Chinese');(_:result,food,'Korean');(_:result,name,'HK Fusion');(_:result,name,'Little Seoul');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
I could try Little Seoul , which is Korean , or possibly HK Fusion Chinese . If you want .   Would you like me to ?
inform((_:search,day,'thursday');(_:search,duration,'13:30');(_:search,name,'hk fusion');(_:search,type,'Restaurant'))
user
Does the HK Fusion Chinese restaurant have availability on Thursday at 13:30 ?
inform((_:booking,day,'Thursday');(_:booking,duration,'13:30');(_:booking,people,'2');(_:booking,type,'Booking')) reqmore() inform((_:result,ref,'CBZ1WPRF');(_:result,type,'Restaurant'))
system
Yes there is availability . I made a reservation for Thursday at 13:30 for 2 . The reference number is CBZ1WPRF . Is there anything else I can help you with ?
bye()
user
That is all , thanks , bye .
system
Have a great day !    Thank you for using our service
_:search food asian oriental
_:search pricerange expensive
_:search type Restaurant
_:search food asian oriental
_:search pricerange expensive
_:result area Centre
_:result area North
_:result count 2
_:result type Restaurant
_:search area centre
_:search day thursday
_:search duration 13:30
_:search people 2
_:search type Restaurant
_:search food asian oriental
_:result area Centre
_:result area North
_:result count 2
_:result type Restaurant
_:search day thursday
_:search duration 13:30
_:search people 2
_:system canthelp _:booking/47c4c673
_:booking/47c4c673 type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:search food asian oriental
_:result area Centre
_:result area North
_:result count 2
_:search people 2
_:system canthelp _:booking/47c4c673
_:booking/47c4c673 type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:result food Chinese
_:result food Korean
_:result name HK Fusion
_:result name Little Seoul
_:result type Restaurant
_:search day thursday
_:search duration 13:30
_:search name hk fusion
_:search type Restaurant
_:search food asian oriental
_:result area Centre
_:result area North
_:result count 2
_:search people 2
_:system canthelp _:booking/47c4c673
_:booking/47c4c673 type Booking
_:search area same area
_:search pricerange same area and price range
_:result food Chinese
_:result food Korean
_:result name HK Fusion
_:result name Little Seoul
_:search day thursday
_:search duration 13:30
_:search name hk fusion
_:search type Restaurant
_:booking day Thursday
_:booking duration 13:30
_:booking people 2
_:booking type Booking
_:system inquired _:user
_:result ref CBZ1WPRF
_:result type Restaurant
_:user dismissed _:system