inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I am looking for a place to dine that serves chinese food and located in the centre .
inform((_:result,count,'5');(_:result,food,'chinese');(_:result,name,'charlie chan');(_:result,pricerange,'pretty cheap');(_:result,type,'Restaurant'))
system
I have 5 that serve chinese food . How about charlie chan ? It 's priced pretty cheap .
inform((_:search,day,'saturday');(_:search,duration,'18:00');(_:search,type,'Restaurant'))
user
Yes , that sounds good . Could you book it for me on saturday at   18:00 .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people are you booking for ?
inform((_:search,people,'six');(_:search,type,'Restaurant'))
user
There are six of us .
request((_:search,name,?);(_:search,type,'Restaurant')) canthelp((_:booking,type,'Booking')) reqmore()
system
I 'm so sorry , that booking was unsuccessful . Would you like to try another restaurant , instead ?
inform((_:search,food,'chinese');(_:search,people,'six');(_:search,type,'Restaurant'))
user
Yes another Chinese restaurant for six people .
reqmore() inform((_:booking,name,'Rice House');(_:booking,people,'six');(_:booking,ref,'WY1LH16E');(_:booking,type,'Booking'))
system
I was able to get you a table for six at Rice House . The reference number is WY1LH16E . Can I help you with anything else ?
thank()
user
No thank you
system
Ok , I hope you enjoy your meal .   Have a nice day .   Bye .
_:search area centre
_:search food chinese
_:search type Restaurant
_:search area centre
_:search food chinese
_:result count 5
_:result food chinese
_:result name charlie chan
_:result pricerange pretty cheap
_:result type Restaurant
_:search day saturday
_:search duration 18:00
_:search type Restaurant
_:search area centre
_:search food chinese
_:result count 5
_:result food chinese
_:result name charlie chan
_:result pricerange pretty cheap
_:result type Restaurant
_:search day saturday
_:search duration 18:00
_:booking people ?
_:booking type Booking
_:search people six
_:search type Restaurant
_:search area centre
_:result count 5
_:result food chinese
_:result name charlie chan
_:result pricerange pretty cheap
_:result type Restaurant
_:search day saturday
_:search duration 18:00
_:booking people ?
_:booking type Booking
_:search name ?
_:system canthelp _:booking/4a33feaa
_:booking/4a33feaa type Booking
_:system inquired _:user
_:search food chinese
_:search people six
_:search type Restaurant
_:search area centre
_:result count 5
_:result food chinese
_:result name charlie chan
_:result pricerange pretty cheap
_:result type Restaurant
_:search day saturday
_:search duration 18:00
_:search name ?
_:system canthelp _:booking/4a33feaa
_:booking/4a33feaa type Booking
_:search food chinese
_:search people six
_:search type Restaurant
_:system inquired _:user
_:booking name Rice House
_:booking people six
_:booking ref WY1LH16E
_:booking type Booking