Premise: London . Its estimated mid-2015 municipal population ( corresponding to Greater London ) was 8,673,713 , the largest of any city in the European Union , and accounting for 12.5 % of the UK population .
Hypothesis: London was the largest city of any in the European Union at one time.
Label: ENTAILMENT