Assertion: country's city | /r/HasProperty | lagos
Facets:
Source sentences:
text: Nigeria has five cities with a population of over a million (from largest to smallest): Lagos, Kano, Ibadan, Benin City and Port Harcourt.