Text: there should be
Entailment: there ought to be
Contradiction: there should never be