London

Deductions

• single-tier municipality is for example London ⇐ (London is a single-tier municipality), (is a is inverse of is for example)
• London is a single-tier municipality ⇐ (separated municipality in Ontario is subclass of single-tier municipality), (London is a separated municipality in Ontario)
• metropolis is for example London ⇐ (London is a metropolis), (is a is inverse of is for example)
• separated municipality in Ontario is for example London ⇐ (London is a separated municipality in Ontario), (is a is inverse of is for example)