Premise: Seville . Seville has a municipal population of about 703,000 , and a metropolitan population of about 1.5 million , making it the fourth-largest city in Spain and the 30th most populous municipality in the European Union .
Hypothesis: Seville has a metropolitan population of 1.5 million.
Label: ENTAILMENT