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.
Actually, I'd like to arrive by 13:00. Could you give me the train ID for the train arriving closest to that time?
train-arriveby train-day train-departure train-destination
train-arriveby train-day train-departure train-destination train-leaveat
train-arriveby train-day train-departure train-destination train-leaveat
train-arriveby train-day train-departure train-destination train-leaveat