Premise: there should be

Hypothesis: there ought to be
Relation: entailment