Premise: Corporation Comm'n of Okla., 278 U. S. 515, 525 (1929); see also Davis v.

Hypothesis: There is a corporation commission in Oklahoma.
Relation: entailment