United Kingdom of Great Britain and Ireland Deductions sovereign state is for example United Kingdom of Great Britain and Ireland ⇐ (United Kingdom of Great Britain and Ireland is a sovereign state), (is a is inverse of is for example)