Premise: Lake Powell is a reservoir on the Colorado River , straddling the border between Utah and Arizona ( most of it , along with Rainbow Bridge , is in Utah ) . It lies in parts of Garfield , Kane , and San Juan counties in southern Utah , and Coconino County in northern Arizona .
Hypothesis: Lake Powell is mostly located in Utah.
Label: ENTAILMENT