inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I am looking for a train from cambridge to ely .
inform((_:result,count,'70');(_:result,departure,'Cambridge');(_:result,destination,'Ely');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 70 trains from Cambridge to Ely . Do you have a preferred departure time and date ?
inform((_:search,arrive_by,'11:15');(_:search,day,'thursday');(_:search,type,'Train'))
user
I want to leave on Thursday . And be there by 11:15 .
inform((_:result,count,'3');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have three trains that match your specifications . Do you have a time you would like to leave by ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
No , any of them is fine . Please give me the departure time that you choose .
inform((_:result,id,'TR0996');(_:result,leave_at,'05:50');(_:result,type,'Train'))
system
The departure time for trainID TR0996 is 05:50
thank()
user
Thank you that 's all I need today .
system
Excellent ! Have a good day .
_:search departure cambridge
_:search destination ely
_:search type Train
_:search departure cambridge
_:search destination ely
_:result count 70
_:result departure Cambridge
_:result destination Ely
_:result type Train
_:search leave_at ?
_:search arrive_by 11:15
_:search day thursday
_:search type Train
_:search departure cambridge
_:search destination ely
_:result departure Cambridge
_:result destination Ely
_:search arrive_by 11:15
_:search day thursday
_:result count 3
_:result type Train
_:search leave_at ?
_:search type Train
_:result leave_at ?
_:search departure cambridge
_:search destination ely
_:result departure Cambridge
_:result destination Ely
_:search arrive_by 11:15
_:search day thursday
_:result count 3
_:search leave_at ?
_:search type Train
_:result id TR0996
_:result leave_at 05:50
_:result type Train