metropolis Deductions metropolis is for example London ⇐ (London is a metropolis), (is a is inverse of is for example)