inform((_:search,day,'saturday');(_:search,destination,'cambridge');(_:search,leave_at,'20:00');(_:search,type,'Train'))
user
I am looking to book a train to cambridge on saturday around 20:00
inform((_:result,departure,'kings lynn');(_:result,id,'TR1120');(_:result,leave_at,'20:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1120 leaves kings lynn at 20:11 .   Would that work ?
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
The train should go to stansted airport and depart from cambridge
offer((_:booking,category,'Train');(_:booking,id,'TR3128');(_:booking,leave_at,'20:40');(_:booking,type,'Booking'))
system
Ok , I could book the TR3128 which leaves at 20:40 .
request((_:result,arrive_by,?);(_:result,duration,?);(_:result,type,'Train'))
user
I 'm not ready to book quite yet .   Can you just give me the travel time , as well as arrival time of that train ?
system
Yes it leaves at 20:40 and arrives at 21:08 .
_:search day saturday
_:search destination cambridge
_:search leave_at 20:00
_:search type Train
_:search day saturday
_:search leave_at 20:00
_:result departure kings lynn
_:result id TR1120
_:result leave_at 20:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search day saturday
_:search leave_at 20:00
_:result departure kings lynn
_:result id TR1120
_:result leave_at 20:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:booking id TR3128
_:booking leave_at 20:40
_:result arrive_by ?
_:result duration ?