Deductions
- city or town has quality statistical data ⇐ (urban population is a statistical data), (city or town has quality urban population)
- city or town is for example Lincoln ⇐ (Lincoln is a city or town), (is a is inverse of is for example)
- city or town is for example Palma ⇐ (Palma is a city or town), (is a is inverse of is for example)
- city or town is for example Bloemfontein ⇐ (Bloemfontein is a city or town), (is a is inverse of is for example)
- city or town is for example Cork ⇐ (Cork is a city or town), (is a is inverse of is for example)
- city or town is for example Johannesburg ⇐ (Johannesburg is a city or town), (is a is inverse of is for example)
- Johannesburg is a city or town ⇐ (city is subclass of city or town), (Johannesburg is a city)
- Palma is a city or town ⇐ (city is subclass of city or town), (Palma is a city)
- Cork is a city or town ⇐ (city is subclass of city or town), (Cork is a city)
- Lincoln is a city or town ⇐ (city is subclass of city or town), (Lincoln is a city)
- Bloemfontein is a city or town ⇐ (city is subclass of city or town), (Bloemfontein is a city)
- city or town has quality demographics ⇐ (urban population is a demographics), (city or town has quality urban population)
- city or town has quality urban population ⇐ (city or town is subclass of urban settlement), (urban settlement has quality urban population)
- city or town is for example Murom ⇐ (Murom is a city or town), (is a is inverse of is for example)