inform((_:search,type,'Restaurant'))
user
Can you help me find a place to have dinner ?
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Sure ! What type of food are you looking for and in what area of town ?
inform((_:search,area,'centre');(_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
I 'd like some good asian oriental food .   Near the centre of town would be great .
offer((_:booking,type,'Booking')) inform((_:result,name,'yippee noodle bar');(_:result,phone,'01223518111');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
I found the yippee noodle bar it is in the moderate price range , their phone number is 01223518111 . Do you want me to book a table for you ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Actually , do you have anything that is expensive . It 's a business meeting so I 'd like to impress them .
inform((_:booking,name,'kymmoy');(_:booking,type,'Booking'))
system
There is kymmoy that meets your requirements would you like me to book a table ?
inform((_:search,day,'tuesday');(_:search,duration,'12:00');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes can you book it for Tuesday at 12:00 for 4 people ?
reqmore() inform((_:booking,ref,'9A4YK0UB');(_:booking,type,'Booking'))
system
Okay I have booked that for you . Your reference number is 9A4YK0UB . Is there anything else I can do for you ?
thank()
user
No that is everything that I need .   Thank you so much for your assistance and have a wonderful day .
system
You 're very welcome . Enjoy your dinner !
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:system offered _:booking
_:booking type Booking
_:result name yippee noodle bar
_:result phone 01223518111
_:result pricerange moderate
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:system offered _:booking
_:result name yippee noodle bar
_:result phone 01223518111
_:result pricerange moderate
_:result type Restaurant
_:search pricerange expensive
_:booking name kymmoy
_:booking type Booking
_:search day tuesday
_:search duration 12:00
_:search people 4
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:system offered _:booking
_:result name yippee noodle bar
_:result phone 01223518111
_:result pricerange moderate
_:result type Restaurant
_:search pricerange expensive
_:booking name kymmoy
_:search day tuesday
_:search duration 12:00
_:search people 4
_:search type Restaurant
_:system inquired _:user
_:booking ref 9A4YK0UB
_:booking type Booking