Austria-Hungary Deductions sovereign state is for example Austria-Hungary ⇐ (Austria-Hungary is a sovereign state), (is a is inverse of is for example)