Lincoln Deductions city or town is for example Lincoln ⇐ (Lincoln is a city or town), (is a is inverse of is for example) Lincoln is a city or town ⇐ (city is subclass of city or town), (Lincoln is a city) city is for example Lincoln ⇐ (Lincoln is a city), (is a is inverse of is for example)