Julius elected to stay the night at Holyhead.
Julius decided to stay at Holyhead overnight.
mnli hypothesis: Julius decided to stay at Holyhead overnight. premise: Julius elected to stay the night at Holyhead.