inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm looking for an expensive restaurant in the centre of town .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
We can narrow down our selection for you if we know the Restaurant chain and the kind of Food you prefer ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm open to any kind of food . I 'm looking for something in the centre and on the expensive side .
offer((_:booking,type,'Booking')) inform((_:result,amount,'a lot');(_:result,food,'British food');(_:result,name,'Cambridge Chop House');(_:result,type,'Restaurant'))
system
There are a lot of good choices like that . I can recommend The Cambridge Chop House if British food appeals to you . Would you like me to book you a table ?
inform((_:search,day,'tuesday');(_:search,duration,'16:45');(_:search,people,'2');(_:search,type,'Restaurant'))
user
That sounds lovely . There will be 2 of us at 16:45 on Tuesday please .
reqmore() inform((_:booking,ref,'RC16KLU4');(_:booking,type,'Booking'))
system
I was able to get a reservation at that time .   Your reference number for your reservation is RC16KLU4 .   Is there anything else I can help you with ?
inform((_:search,type,'Attraction'))
user
I 'd also like to find somewhere to go in town .
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'several');(_:result,type,'Attraction'))
system
We have several attractions to choose from , do you have a preference as to the type ?
inform((_:search,category,'cinema');(_:search,type,'Attraction'))
user
Is there a cinema ?
inform((_:result,name,'cineworld cinema');(_:result,type,'Attraction'))
system
You would love cineworld cinema
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Thank you , I just need their postal code for now and I can take it from there .
inform((_:result,name,'cineworld cinema');(_:result,postcode,'cb17dy');(_:result,type,'Attraction'))
system
The postcode for cineworld cinema is cb17dy
thank()
user
Okay , thank you so much for your help .
thank()
system
You are very welcome . Is there anything else I can assist you with ?
thank()
user
That is all for now . Thank you for your help .
system
You are welcome enjoy .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search food ?
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result amount a lot
_:result food British food
_:result name Cambridge Chop House
_:result type Restaurant
_:search day tuesday
_:search duration 16:45
_:search people 2
_:search type Restaurant
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result amount a lot
_:result food British food
_:result name Cambridge Chop House
_:result type Restaurant
_:search day tuesday
_:search duration 16:45
_:search people 2
_:system inquired _:user
_:booking ref RC16KLU4
_:booking type Booking
_:search type Attraction
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result food British food
_:result name Cambridge Chop House
_:search day tuesday
_:search duration 16:45
_:search people 2
_:system inquired _:user
_:booking ref RC16KLU4
_:booking type Booking
_:result amount several
_:result type Attraction
_:search category cinema
_:search type Attraction
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result food British food
_:search day tuesday
_:search duration 16:45
_:search people 2
_:system inquired _:user
_:booking ref RC16KLU4
_:booking type Booking
_:result amount several
_:search category cinema
_:search type Attraction
_:result name cineworld cinema
_:result type Attraction
_:result postcode ?
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result food British food
_:search day tuesday
_:search duration 16:45
_:search people 2
_:system inquired _:user
_:booking ref RC16KLU4
_:booking type Booking
_:result amount several
_:search category cinema
_:search type Attraction
_:result name cineworld cinema
_:result postcode cb17dy
_:result type Attraction
_:search food ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result food British food
_:search day tuesday
_:search duration 16:45
_:search people 2
_:system inquired _:user
_:booking ref RC16KLU4
_:booking type Booking
_:result amount several
_:search category cinema
_:search type Attraction
_:result name cineworld cinema
_:result postcode cb17dy
_:result type Attraction