inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Are there cheap places to eat in the centre part of town ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
There are several in that price range at the centre . What type of food would you like ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Good I like chinese food please .
offer((_:booking,type,'Booking')) inform((_:result,name,'Charlie Chan');(_:result,type,'Restaurant'))
system
Charlie Chan looks great . Need a reservation ?
inform((_:search,day,'friday');(_:search,duration,'17:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes , I need a reservation for 7 people on Friday at 17:45 .   Could I get the reservation number ?
inform((_:booking,ref,'VX834JA0');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : VX834JA0 .
thank()
user
Perfect . Thank you for all of your help . Have a good day .
system
You are most welcome . Thanks for contacting TownInfo centre . Goodbye .
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result amount several
_:result area centre
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result amount several
_:result area centre
_:search food chinese
_:system offered _:booking
_:booking type Booking
_:result name Charlie Chan
_:result type Restaurant
_:search day friday
_:search duration 17:45
_:search people 7
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result amount several
_:result area centre
_:search food chinese
_:system offered _:booking
_:result name Charlie Chan
_:result type Restaurant
_:search day friday
_:search duration 17:45
_:search people 7
_:search type Restaurant
_:booking ref VX834JA0
_:booking type Booking