inform((_:search,area,'centre');(_:search,category,'theater');(_:search,type,'Attraction'))
user
Please find a theater in the centre .
inform((_:result,count,'4');(_:result,name,'Cambridge Arts Theatre');(_:result,name,'Cambridge Corn Exchange');(_:result,type,'Attraction'))
system
We have four , from the Cambridge Corn Exchange to the Cambridge Arts Theatre .
request((_:result,postcode,?);(_:result,type,'Attraction')) inform((_:search,name,'the');(_:search,type,'Attraction'))
user
Could i get the postcode for the Cambridge Corn ?
reqmore() inform((_:result,postcode,'cb23qe');(_:result,type,'Attraction'))
system
Their postcode is cb23qe . What else may I help you with ?
inform((_:search,name,'peking restaurant');(_:search,type,'Restaurant'))
user
Yes I am looking for information on a particular restaurant called the Peking Restaurant .
offer((_:booking,type,'Booking')) thank()
system
i found the resturant you need . Shall i book it ?
inform((_:search,day,'wednesday');(_:search,duration,'13:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes book it for 6 people at 13:30 on wednesday please .
reqmore() inform((_:booking,ref,'PC3LTRM3');(_:booking,type,'Booking'))
system
I set up that reservation for you , your reference number is : PC3LTRM3 .   Can I help you with anything else ?
user
I am all set .
system
OK , I 'm glad we could be of service to you today ! Enjoy your time in Cambridge !
_:search area centre
_:search category theater
_:search type Attraction
_:search area centre
_:search category theater
_:result count 4
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result type Attraction
_:result postcode ?
_:search name the
_:search type Attraction
_:search area centre
_:search category theater
_:result count 4
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:system inquired _:user
_:result postcode cb23qe
_:result type Attraction
_:search name peking restaurant
_:search type Restaurant
_:search area centre
_:search category theater
_:result count 4
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:system inquired _:user
_:result postcode cb23qe
_:result type Attraction
_:search name peking restaurant
_:system offered _:booking
_:booking type Booking
_:search day wednesday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:search area centre
_:search category theater
_:result count 4
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result postcode cb23qe
_:result type Attraction
_:search name peking restaurant
_:system offered _:booking
_:search day wednesday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:system inquired _:user
_:booking ref PC3LTRM3
_:booking type Booking