inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Can you find me an expensive restaurant in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant'))
system
There are 33 restaurants that meet that criteria . Are you looking for a certain type of food ?
inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I want Chinese food and the restaurant needs to be located in the centre area .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,count,'4');(_:result,food,'chinese');(_:result,name,'hk fusion');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are four expensive chinese restaurants located in the centre . I recommend hk fusion . Would you like me to make you a reservation ?
inform((_:search,day,'friday');(_:search,duration,'19:15');(_:search,name,'hk fusion');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Excellent , lets try HK Fusion for 5 people at 19:15 on Friday .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I am sorry this booking was unsuccessful . Maybe another time perhaps ?
inform((_:search,day,'friday');(_:search,duration,'20:15');(_:search,type,'Restaurant'))
user
Please , try booking anytime between 20:15 to 9:15 on Friday .
canthelp((_:booking,type,'Booking')) reqmore()
system
None of the times are available do you have another restaurant preference ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Any other place in the centre , same expensive price range .
inform((_:booking,name,'bedouin');(_:booking,ref,'4ATMIYSC');(_:booking,type,'Booking'))
system
I was able to book bedouin , reference number is 4ATMIYSC
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Okay great . I am glad I could be of help .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:result count 33
_:result type Restaurant
_:search area centre
_:search food chinese
_:search type Restaurant
_:search pricerange expensive
_:search area centre
_:search food chinese
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result count 4
_:result food chinese
_:result name hk fusion
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:15
_:search name hk fusion
_:search people 5
_:search type Restaurant
_:search pricerange expensive
_:search area centre
_:search food chinese
_:system offered _:booking
_:result area centre
_:result count 4
_:result food chinese
_:result name hk fusion
_:result pricerange expensive
_:result type Restaurant
_:search name hk fusion
_:search people 5
_:system canthelp _:booking/effa84fc
_:booking/effa84fc type Booking
_:booking duration ?
_:booking type Booking
_:search day friday
_:search duration 20:15
_:search type Restaurant
_:search food chinese
_:system offered _:booking
_:result area centre
_:result count 4
_:result food chinese
_:result name hk fusion
_:result pricerange expensive
_:result type Restaurant
_:search name hk fusion
_:search people 5
_:system canthelp _:booking/effa84fc
_:booking/effa84fc type Booking
_:booking duration ?
_:booking type Booking
_:search day friday
_:search duration 20:15
_:system canthelp _:booking/54f85f33
_:booking/54f85f33 type Booking
_:system inquired _:user
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search food chinese
_:system offered _:booking
_:result area centre
_:result count 4
_:result food chinese
_:result name hk fusion
_:result pricerange expensive
_:result type Restaurant
_:search name hk fusion
_:search people 5
_:system canthelp _:booking/effa84fc
_:booking/effa84fc type Booking
_:booking duration ?
_:search day friday
_:search duration 20:15
_:system canthelp _:booking/54f85f33
_:booking/54f85f33 type Booking
_:system inquired _:user
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:booking name bedouin
_:booking ref 4ATMIYSC
_:booking type Booking