history of London

Deductions

• history of cities is for example history of London ⇐ (history of London is a history of cities), (is a is inverse of is for example)
• history of London is a history of cities ⇐ (history of a city is subclass of history of cities), (history of London is a history of a city)
• history of a city is for example history of London ⇐ (history of London is a history of a city), (is a is inverse of is for example)