Text: If progress is not made
Entailment: If progress does not continue.
Contradiction: If progress is not stopped.