parliament Deductions parliament is for example Parliament of the United Kingdom ⇐ (Parliament of the United Kingdom is a parliament), (is a is inverse of is for example)