Premise: Detroit . The municipality of Detroit had a 2015 estimated population of 677,116 , making it the 21st-most populous city in the United States .
Hypothesis: Detroit had an estimated population of over 600,000 in 2015.
Label: ENTAILMENT