inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train that leaves from cambridge .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are several , do you have a destination in mind ?
inform((_:search,destination,'kings lynn');(_:search,type,'Train'))
user
Yes , kings lynn .
inform((_:result,count,'133');(_:result,departure,'Cambridge');(_:result,destination,'Kings Lynn');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 133 trains that travel from Cambridge to Kings Lynn .   Do you have a departure day or time in mind ?
inform((_:search,leave_at,'17:00');(_:search,type,'Train'))
user
Yes , I would like to leave no later than 17:00 .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Is there a specific time you need to arrive by ?
inform((_:search,day,'monday');(_:search,leave_at,'18:45');(_:search,type,'Train')) request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I want to leave on Monday after 18:45 instead and I will need the price and train ID .
system
Train I d is TR9226 and leaves at 11:00
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:result amount several
_:result type Train
_:search destination kings lynn
_:search type Train
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:result count 133
_:result departure Cambridge
_:result destination Kings Lynn
_:result type Train
_:search day ?
_:search leave_at 17:00
_:search type Train
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:result count 133
_:result departure Cambridge
_:result destination Kings Lynn
_:result type Train
_:search arrive_by ?
_:search day monday
_:search leave_at 18:45
_:search type Train
_:result id ?
_:result ticket ?