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