Premise: in Denison

Hypothesis: in Denison
Relation: entailment