inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Yes , I am looking for a theatre in the town .
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,category,'theatres');(_:result,type,'Attraction'))
system
There are several theatres located in the city centre . Is that the correct area ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Any area is fine , can you give me the address and postcode of the closest theater to centre ?
inform((_:result,address,'park street');(_:result,name,'adc theatre');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
Sure , adc theatre 's postcode is cb58as and the address is park street .
inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Great ! Do you have a good chinese restaurant in centre that I could go to .
select((_:result,pricerange,'cheap');(_:result,pricerange,'expensive');(_:result,type,'Restaurant')) inform((_:result,count,'10');(_:result,food,'chinese');(_:result,type,'Restaurant'))
system
I have 10 chinese restaurants ranging from cheap to expensive . Is there any limits on what you would like ?
inform((_:search,food,'chinese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I 'd like a cheap Chinese restaurant , please .
select((_:result,name,'Charlie Chan');(_:result,name,'Golden House');(_:result,name,'Rice House');(_:result,type,'Restaurant')) offer((_:booking,type,'Booking')) inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
Okay , I have three options that meet your needs . Charlie Chan , Rice House , and Golden House . Would you like me to make a reservation for one of those ?
inform((_:search,day,'monday');(_:search,duration,'17:15');(_:search,name,'charlie chan');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Make a reservation for Charlie Chan . Book a table for 2 people at 17:15 for Monday .
inform((_:booking,day,'Monday');(_:booking,duration,'17:15');(_:booking,name,'Charlie Chan');(_:booking,people,'2');(_:booking,ref,'9ygetj1');(_:booking,type,'Booking'))
system
I have made a reservation at Charlie Chan for 2 people on Monday at 17:15 .   The reservation reference is 9ygetj1 .   The table will be held for 15 minutes .
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Thank you !
_:search category theatre
_:search type Attraction
_:search category theatre
_:search area ?
_:search type Attraction
_:result amount several
_:result area centre
_:result category theatres
_:result type Attraction
_:result address ?
_:result postcode ?
_:search category theatre
_:result amount several
_:result area centre
_:result category theatres
_:result address park street
_:result name adc theatre
_:result postcode cb58as
_:result type Attraction
_:search area centre
_:search food chinese
_:search type Restaurant
_:search category theatre
_:result amount several
_:result area centre
_:result category theatres
_:result address park street
_:result name adc theatre
_:result postcode cb58as
_:search area centre
_:result pricerange cheap
_:result pricerange expensive
_:result count 10
_:result food chinese
_:result type Restaurant
_:search food chinese
_:search pricerange cheap
_:search type Restaurant
_:search category theatre
_:result amount several
_:result area centre
_:result category theatres
_:result address park street
_:result postcode cb58as
_:search area centre
_:result pricerange cheap
_:result pricerange expensive
_:result food chinese
_:search food chinese
_:search pricerange cheap
_:result name Charlie Chan
_:result name Golden House
_:result name Rice House
_:system offered _:booking
_:booking type Booking
_:result count 3
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search name charlie chan
_:search people 2
_:search type Restaurant
_:search category theatre
_:result amount several
_:result area centre
_:result category theatres
_:result address park street
_:result postcode cb58as
_:search area centre
_:result pricerange cheap
_:result pricerange expensive
_:result food chinese
_:search food chinese
_:search pricerange cheap
_:result name Charlie Chan
_:result name Golden House
_:result name Rice House
_:system offered _:booking
_:result count 3
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search name charlie chan
_:search people 2
_:search type Restaurant
_:booking day Monday
_:booking duration 17:15
_:booking name Charlie Chan
_:booking people 2
_:booking ref 9ygetj1
_:booking type Booking