Text: leading edge don't they
Entailment: They're the leading edge.
Contradiction: They're not leading the edge at all.