Premise: Seville ( [ səˈvɪl ] Sevilla [ seˈβiʎa ] , [ seˈβi ʝa ] ) is the capital and largest city of the autonomous community of Andalusia and the province of Seville , Spain . 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 . Spain . By population , Spain is the sixth largest in Europe and the fifth in the European Union .
Hypothesis: Seville is in the European Union.
Label: ENTAILMENT