The boat train to Holyhead stops at Chester at 12.14.
There is a train stopping in Chester at midday.
mnli hypothesis: There is a train stopping in Chester at midday. premise: The boat train to Holyhead stops at Chester at 12.14.