inform((_:search,food,'chinese');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Can you tell me where I can find an expensive chinese restaurant ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'9');(_:result,food,'Chinese');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 9 expensive Chinese restaurants . Do you have a specific area you would like ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I would prefer the city centre please .
select((_:result,name,'hk fusion');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
I have 4 . How about hk fusion ?
inform((_:search,day,'sunday');(_:search,duration,'13:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
I would like to book a table for 6 people at 13:30 on Sunday .
canthelp((_:booking,name,'hk fusion');(_:booking,type,'Booking'))
system
The booking for hk fusion was unsuccessful . Would you like a different restaurant ?
request((_:result,ref,?);(_:result,type,'Restaurant')) inform((_:search,area,'same area');(_:search,pricerange,'same area and price range');(_:search,type,'Restaurant'))
user
Will try another one in the same area and price range ? If you can book it , will you give me the reference number ?
inform((_:booking,name,'the ugly duckling');(_:booking,type,'Booking');(_:result,area,'centre');(_:result,pricerange,'expensive');(_:result,ref,'3RFXW8G6');(_:result,type,'Restaurant')) reqmore()
system
You are booked into the ugly duckling which is in the expensive price range in the centre of town . Your reference number is 3RFXW8G6 . Is there anything else ?
bye()
user
No , that is all . Thank you , good bye .
system
Okay enjoy your lunch and thank you for calling .
_:search food chinese
_:search pricerange expensive
_:search type Restaurant
_:search food chinese
_:search pricerange expensive
_:result count 9
_:result food Chinese
_:result pricerange expensive
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search food chinese
_:search pricerange expensive
_:result food Chinese
_:result pricerange expensive
_:search area centre
_:result name hk fusion
_:result count 4
_:result type Restaurant
_:search day sunday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:search food chinese
_:result food Chinese
_:result pricerange expensive
_:result name hk fusion
_:result count 4
_:result type Restaurant
_:search day sunday
_:search duration 13:30
_:search people 6
_:system canthelp _:booking/9a628846
_:booking/9a628846 name hk fusion
_:booking/9a628846 type Booking
_:result ref ?
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:search food chinese
_:result food Chinese
_:result name hk fusion
_:result count 4
_:search day sunday
_:search duration 13:30
_:search people 6
_:system canthelp _:booking/9a628846
_:booking/9a628846 name hk fusion
_:booking/9a628846 type Booking
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:booking name the ugly duckling
_:booking type Booking
_:result area centre
_:result pricerange expensive
_:result ref 3RFXW8G6
_:result type Restaurant
_:system inquired _:user
_:user dismissed _:system