inform((_:search,area,'centre');(_:search,food,'russian');(_:search,type,'Restaurant'))
user
Hi , I am looking for a restaurant in the centre area where I can eat russian food .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'russian');(_:result,type,'Restaurant'))
system
Unfortunately , there are n't any russian restaurants in that location . Would you like another type of food , or perhaps a different location ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Then how about one that serves chinese food ?
offer((_:booking,type,'Booking')) inform((_:result,count,'5');(_:result,name,'the rice house');(_:result,type,'Restaurant'))
system
There are 5 such restaurants . I recommend the rice house . Would you like a reservation ?
inform((_:search,day,'thursday');(_:search,duration,'16:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes could you make a booking for 8 people at 16:00 on thursday ?
select((_:result,type,'Restaurant')) canthelp((_:booking,name,'The rice house');(_:booking,type,'Booking')) inform((_:booking,name,'Charlie Chan');(_:booking,name,'Golden House');(_:booking,type,'Booking'))
system
The rice house if booked full for that time . I could try the Charlie Chan , or the Golden House for you , if you wish .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Sure that 's fine try any one of those . I 'll need the reference number too please .
inform((_:booking,name,'Jinling Noodle Bar');(_:booking,type,'Booking');(_:result,address,'Regent Street');(_:result,ref,'GJPTB7CD');(_:result,type,'Restaurant'))
system
I was able to book you a table at the Jinling Noodle Bar on Regent Street .   Your reference number is GJPTB7CD .   Is that all for today ?
bye()
user
Yes that will be all .   Thanks for your help .   Bye .
system
Enjoy your meal at the jinling noodle bar . Have a great day .
_:search area centre
_:search food russian
_:search type Restaurant
_:search area ?
_:system canthelp _:search/3e2ce48b
_:search/3e2ce48b type Restaurant
_:result food russian
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:search area ?
_:system canthelp _:search/3e2ce48b
_:search/3e2ce48b type Restaurant
_:result food russian
_:search food chinese
_:system offered _:booking
_:booking type Booking
_:result count 5
_:result name the rice house
_:result type Restaurant
_:search day thursday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:search area ?
_:system canthelp _:search/3e2ce48b
_:search/3e2ce48b type Restaurant
_:result food russian
_:search food chinese
_:system offered _:booking
_:result count 5
_:result name the rice house
_:search day thursday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:result type Restaurant
_:system canthelp _:booking/74b843ee
_:booking/74b843ee name The rice house
_:booking/74b843ee type Booking
_:booking name Charlie Chan
_:booking name Golden House
_:booking type Booking
_:result ref ?
_:search area ?
_:system canthelp _:search/3e2ce48b
_:search/3e2ce48b type Restaurant
_:result food russian
_:search food chinese
_:system offered _:booking
_:result count 5
_:result name the rice house
_:search day thursday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:system canthelp _:booking/74b843ee
_:booking/74b843ee name The rice house
_:booking/74b843ee type Booking
_:booking name Jinling Noodle Bar
_:booking type Booking
_:result address Regent Street
_:result ref GJPTB7CD
_:result type Restaurant
_:user dismissed _:system