inform((_:search,area,'centre');(_:search,category,'theatres');(_:search,type,'Attraction'))
user
Hello , do you have any information regarding interesting theatres to visit in the centre of town ?
inform((_:result,area,'centre');(_:result,category,'theatres');(_:result,count,'4');(_:result,name,'ADC Theatre');(_:result,name,'Cambridge Arts Theatre');(_:result,name,'Cambridge Corn Exchange');(_:result,name,'Mumford Theatre');(_:result,type,'Attraction'))
system
Sure thing , there are four theatres in the centre of town . ADC Theatre , Cambridge Arts Theatre , Mumford Theatre , and The Cambridge Corn Exchange .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
I 'm interested in one of the theatres ! Can I get the entrance fee information for those ?
inform((_:result,amount,'none of');(_:result,category,'theaters');(_:result,entrance_fee,'entrance fee');(_:result,type,'Attraction'))
system
I 'm sorry , but none of the theaters list the entrance fee . Would you like the phone number for any of them ?
inform((_:search,day,'monday');(_:search,leave_at,'16:00');(_:search,type,'Train')) request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That 's okay , could you provide me with the postcode and address , please ? Also , I am looking for a train leaving after 16:00 this Monday .
inform((_:result,address,'Park Street');(_:result,name,'The ADC Theatre');(_:result,postcode,'cb23pj');(_:result,type,'Attraction')) request((_:search,destination,?);(_:search,type,'Train'))
system
The ADC Theatre is located on Park Street and its postcode is cb23pj . Before I find your train , could you tell me where you would like to go ?
inform((_:search,departure,'cambridge');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
Of course , silly me :P I am looking for a train from cambridge to stevenage
inform((_:result,departure,'Cambridge');(_:result,id,'TR0254');(_:result,leave_at,'17:21');(_:result,type,'Train'))
system
The TR0254 leaves Cambridge at 17:21 .
thank()
user
Awesome , thank you very much ! I 'm pretty sure that 's all I need right now , but I 'll be back if I think of anything else . Later !
system
Great thank you for using our system .
_:search area centre
_:search category theatres
_:search type Attraction
_:search area centre
_:search category theatres
_:search type Attraction
_:result area centre
_:result category theatres
_:result count 4
_:result name ADC Theatre
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result name Mumford Theatre
_:result type Attraction
_:result entrance_fee ?
_:search area centre
_:search category theatres
_:result area centre
_:result count 4
_:result name ADC Theatre
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result name Mumford Theatre
_:result amount none of
_:result category theaters
_:result entrance_fee entrance fee
_:result type Attraction
_:search day monday
_:search leave_at 16:00
_:search type Train
_:result address ?
_:result postcode ?
_:search area centre
_:search category theatres
_:result area centre
_:result count 4
_:result amount none of
_:result category theaters
_:result entrance_fee entrance fee
_:search day monday
_:search leave_at 16:00
_:result address Park Street
_:result name The ADC Theatre
_:result postcode cb23pj
_:result type Attraction
_:search departure cambridge
_:search destination stevenage
_:search type Train
_:search area centre
_:search category theatres
_:result area centre
_:result count 4
_:result amount none of
_:result category theaters
_:result entrance_fee entrance fee
_:search day monday
_:search leave_at 16:00
_:result address Park Street
_:result name The ADC Theatre
_:result postcode cb23pj
_:search departure cambridge
_:search destination stevenage
_:search type Train
_:result departure Cambridge
_:result id TR0254
_:result leave_at 17:21
_:result type Train