Pretoria Deductions city is for example Pretoria ⇐ (Pretoria is a city), (is a is inverse of is for example) Pretoria is a city ⇐ (big city is subclass of city), (Pretoria is a big city) big city is for example Pretoria ⇐ (Pretoria is a big city), (is a is inverse of is for example)