Premise: When they had finally crossed.

Hypothesis: They finally crossed.
Relation: entailment