Julius elected to stay the night at Holyhead.
Julius will be leaving Holyhead first thing in the morning.
mnli hypothesis: Julius will be leaving Holyhead first thing in the morning. premise: Julius elected to stay the night at Holyhead.