Tommy's taxi came to rest at the departure platform just after Whittington's.
Tommy's taxi stopped at the departure platform.
mnli hypothesis: Tommy's taxi stopped at the departure platform. premise: Tommy's taxi came to rest at the departure platform just after Whittington's.