inform((_:search,destination,'broxbourne');(_:search,type,'Train'))
user
I 'm looking for a train to broxbourne .
request((_:search,day,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where would you like to leave from , and what day and time would you like to travel ?
inform((_:search,arrive_by,'13:00');(_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,leave_at,'13:00');(_:search,type,'Train'))
user
I 'm going to be leaving from Cambridge . I need to leave on Tuesday by 13:00 .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Is there a time you would like to get there by ?
user
I do n't have an arrival preference .
inform((_:result,leave_at,'12:01');(_:result,leave_at,'13:00');(_:result,leave_at,'13:01');(_:result,leave_at,'5:01');(_:result,leave_at,'every hour');(_:result,type,'Train'))
system
The earliest train leaves at 5:01 . The latest train leaving by 13:00 would depart at 12:01 . There is also one that leaves at 13:01 . The trains run every hour .
inform((_:search,arrive_by,'13:00');(_:search,type,'Train')) request((_:result,id,?);(_:result,type,'Train'))
user
Actually , I 'd like to arrive by 13:00 . Could you give me the train ID for the train arriving closest to that time ?
system
Train ID is TR6357 . Would you like to book ?
_:search destination broxbourne
_:search type Train
_:search destination broxbourne
_:search arrive_by 13:00
_:search day tuesday
_:search departure cambridge
_:search leave_at 13:00
_:search type Train
_:search destination broxbourne
_:search day tuesday
_:search departure cambridge
_:search leave_at 13:00
_:search arrive_by ?
_:search type Train
_:search destination broxbourne
_:search day tuesday
_:search departure cambridge
_:search leave_at 13:00
_:result leave_at 12:01
_:result leave_at 13:00
_:result leave_at 13:01
_:result leave_at 5:01
_:result leave_at every hour
_:result type Train
_:search arrive_by 13:00
_:search type Train
_:result id ?