inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I need a restaurant in the Centre moderate priced
inform((_:result,name,'Restaurant One Seven');(_:result,type,'Restaurant')) request((_:booking,day,?);(_:booking,type,'Booking'))
system
Restaurant One Seven is a good choice . Which day ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Does it serve Chinese food ?
select((_:result,count,'3');(_:result,type,'Restaurant'))
system
No , but I have three other options for you to choose from .
user
What are they ?
inform((_:result,food,'Chinese');(_:result,name,'Jinling Noodle Bar');(_:result,name,'Lan Hong House');(_:result,name,'Shanghi Family Restaurant');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
I have the Lan Hong House , Jinling Noodle Bar and the Shanghi Family Restaurant that are all moderately priced and serving Chinese food .
inform((_:search,day,'wednesday');(_:search,duration,'16:30');(_:search,name,'Shanghi Family Restaurant');(_:search,people,'8');(_:search,type,'Restaurant'))
user
I would like a table for 8 at 16:30 wednesday at Shanghi Family Restaurant please .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I was not able to book that for you at that time . Is there another time that would work for you ?
inform((_:search,duration,'15:30');(_:search,type,'Restaurant'))
user
Yes .   I could eat at 15:30 perhaps .
reqmore() inform((_:booking,ref,'V0KCN2RI');(_:booking,type,'Booking'))
system
That time is available !   I have booked the reservation .   The reference number is V0KCN2RI .   Is there anything else ?
thank()
user
No , that 's all I need . Thanks for the help .
system
Thank you . Have a great day , goodbye .
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result name Restaurant One Seven
_:result type Restaurant
_:booking day ?
_:booking type Booking
_:search food chinese
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result name Restaurant One Seven
_:booking day ?
_:booking type Booking
_:search food chinese
_:search type Restaurant
_:result count 3
_:result type Restaurant
_:search area centre
_:search pricerange moderate
_:booking day ?
_:booking type Booking
_:search food chinese
_:result count 3
_:result food Chinese
_:result name Jinling Noodle Bar
_:result name Lan Hong House
_:result name Shanghi Family Restaurant
_:result pricerange moderately priced
_:result type Restaurant
_:search day wednesday
_:search duration 16:30
_:search name Shanghi Family Restaurant
_:search people 8
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:booking day ?
_:search food chinese
_:result count 3
_:result food Chinese
_:result name Jinling Noodle Bar
_:result name Lan Hong House
_:result name Shanghi Family Restaurant
_:result pricerange moderately priced
_:result type Restaurant
_:search day wednesday
_:search name Shanghi Family Restaurant
_:search people 8
_:system canthelp _:booking/410103cf
_:booking/410103cf type Booking
_:booking duration ?
_:booking type Booking
_:search duration 15:30
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:booking day ?
_:search food chinese
_:result count 3
_:result food Chinese
_:result name Jinling Noodle Bar
_:result name Lan Hong House
_:result name Shanghi Family Restaurant
_:result pricerange moderately priced
_:result type Restaurant
_:search day wednesday
_:search name Shanghi Family Restaurant
_:search people 8
_:system canthelp _:booking/410103cf
_:booking/410103cf type Booking
_:booking duration ?
_:search duration 15:30
_:search type Restaurant
_:system inquired _:user
_:booking ref V0KCN2RI
_:booking type Booking