inform((_:search,day,'tuesday');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I need to catch a train this tuesday after 17:00 please .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I can help with that ! What is your departure site and destination please ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I will be travelling from Cambridge to Ely .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
What time would you like to arrive by ?
inform((_:search,arrive_by,'dontcare');(_:search,day,'tuesday');(_:search,type,'Train'))
user
Arrival time is n't important as long as I 'm on my way sometime after 17:00 on Tuesday .
inform((_:result,id,'TR3842');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
i will recommend   TR3842 . can we book for you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
what time does it leave ?
inform((_:result,leave_at,'23:50');(_:result,type,'Train'))
system
That train leaves at 23:50
inform((_:search,category,'colleges');(_:search,type,'Attraction'))
user
No but I need information on colleges in town .
select((_:result,area,'Centre');(_:result,area,'West');(_:result,type,'Attraction')) request((_:search,name,?);(_:search,type,'Attraction')) inform((_:result,category,'colleges');(_:result,type,'Attraction'))
system
Our colleges are located either in Centre or the West area of town . In which area would you like to concentrate ? Or do you have a specific college already in mind ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction')) inform((_:search,category,'college');(_:search,type,'Attraction'))
user
no , just find me a college anywhere in town please and I 'll need their phone number and post code when you find it please .
inform((_:result,name,'corpus christi');(_:result,phone,'01223338000');(_:result,postcode,'cb21rh');(_:result,type,'Attraction'))
system
corpus christi 	 01223338000 and the postcode is 	 cb21rh
user
That 's all I need today .
system
Please contact us anytime . Thank you .
_:search day tuesday
_:search leave_at 17:00
_:search type Train
_:search day tuesday
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search type Train
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search arrive_by dontcare
_:search day tuesday
_:search type Train
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search arrive_by dontcare
_:search day tuesday
_:search type Train
_:result id TR3842
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search arrive_by dontcare
_:search day tuesday
_:result id TR3842
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 23:50
_:result type Train
_:search category colleges
_:search type Attraction
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search arrive_by dontcare
_:search day tuesday
_:result id TR3842
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 23:50
_:result area Centre
_:result area West
_:search name ?
_:result category colleges
_:result type Attraction
_:result phone ?
_:result postcode ?
_:search category college
_:search type Attraction
_:search leave_at 17:00
_:search departure cambridge
_:search destination ely
_:search arrive_by dontcare
_:search day tuesday
_:result id TR3842
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 23:50
_:result area Centre
_:result area West
_:search name ?
_:result category colleges
_:search category college
_:search type Attraction
_:result name corpus christi
_:result phone 01223338000
_:result postcode cb21rh
_:result type Attraction