Roman Empire Deductions empire is for example Roman Empire ⇐ (Roman Empire is a empire), (is a is inverse of is for example)