Tsardom of Russia Deductions sovereign state is for example Tsardom of Russia ⇐ (Tsardom of Russia is a sovereign state), (is a is inverse of is for example)