history of a city Deductions history of a city is for example history of Washington, D.C. ⇐ (history of Washington, D.C. is a history of a city), (is a is inverse of is for example) 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)