inform((_:search,area,'centre');(_:search,category,'sports');(_:search,type,'Attraction'))
user
Please dig up some information on the mutliple sports in the centre for me
canthelp((_:search,type,'Attraction')) reqmore()
system
I 'm afraid there is n't one . Can I help you find something else ?
inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Oh well . I guess maybe a theatre instead .
inform((_:result,area,'centre');(_:result,category,'theatres');(_:result,count,'4');(_:result,name,'adc theatre');(_:result,name,'cambridge arts theatre');(_:result,name,'mumford theatre');(_:result,name,'the cambridge corn exchange');(_:result,type,'Attraction'))
system
There are 4 theatres in the centre . They are adc theatre , cambridge arts theatre , mumford theatre , and the cambridge corn exchange .
inform((_:search,name,'adc theatre');(_:search,type,'Attraction')) request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you tell me the postcode , entrance fee , and phone number of adc theatre ?
inform((_:result,entrance_fee,"The entrance fee is n't listed");(_:result,phone,'01223300085');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
The entrance fee is n't listed , but you can reach them by phone at 01223300085 . The postcode is cb58as .
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thanks I also need a train that 's going to cambridge .
thank() request((_:search,departure,?);(_:search,type,'Train'))
system
No problem , where will that be coming from ?
inform((_:search,day,'saturday');(_:search,departure,'norwich');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I need to leave from Norwich sometime after 20:15 on Saturday .
inform((_:result,arrive_by,'21:35');(_:result,id,'TR0615');(_:result,leave_at,'20:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0615 departs at 20:16 and arrives by 21:35 . Would you like a ticket ?
user
No .   That is all the info I need .
system
Ok , have a good day !
_:search area centre
_:search category sports
_:search type Attraction
_:search area centre
_:system canthelp _:search/4002b529
_:search/4002b529 type Attraction
_:system inquired _:user
_:search category theatre
_:search type Attraction
_:search area centre
_:system canthelp _:search/4002b529
_:search/4002b529 type Attraction
_:system inquired _:user
_:search category theatre
_:result area centre
_:result category theatres
_:result count 4
_:result name adc theatre
_:result name cambridge arts theatre
_:result name mumford theatre
_:result name the cambridge corn exchange
_:result type Attraction
_:search name adc theatre
_:search type Attraction
_:result entrance_fee ?
_:result phone ?
_:result postcode ?
_:search area centre
_:system canthelp _:search/4002b529
_:search/4002b529 type Attraction
_:system inquired _:user
_:search category theatre
_:result area centre
_:result category theatres
_:result count 4
_:result name adc theatre
_:result name cambridge arts theatre
_:result name mumford theatre
_:result name the cambridge corn exchange
_:search name adc theatre
_:result entrance_fee The entrance fee is n't listed
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search destination cambridge
_:search type Train
_:search area centre
_:system canthelp _:search/4002b529
_:search/4002b529 type Attraction
_:system inquired _:user
_:search category theatre
_:result area centre
_:result category theatres
_:result count 4
_:result name adc theatre
_:result name cambridge arts theatre
_:result name mumford theatre
_:result name the cambridge corn exchange
_:search name adc theatre
_:result entrance_fee The entrance fee is n't listed
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search destination cambridge
_:search day saturday
_:search departure norwich
_:search leave_at 20:15
_:search type Train
_:search area centre
_:system canthelp _:search/4002b529
_:search/4002b529 type Attraction
_:system inquired _:user
_:search category theatre
_:result area centre
_:result category theatres
_:result count 4
_:result name adc theatre
_:result name cambridge arts theatre
_:result name mumford theatre
_:result name the cambridge corn exchange
_:search name adc theatre
_:result entrance_fee The entrance fee is n't listed
_:result phone 01223300085
_:result postcode cb58as
_:search destination cambridge
_:search day saturday
_:search departure norwich
_:search leave_at 20:15
_:search type Train
_:result arrive_by 21:35
_:result id TR0615
_:result leave_at 20:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking