We'll miss the train." They started running.
We have a lot of time till the train leaves. They strolled on leisurely.
mnli hypothesis: We have a lot of time till the train leaves. They strolled on leisurely. premise: We'll miss the train." They started running.