Union

Deductions

• former administrative territorial entity is for example Union ⇐ (Union is a former administrative territorial entity), (is a is inverse of is for example)
• Union is a former administrative territorial entity ⇐ (historical country is subclass of former administrative territorial entity), (Union is a historical country)
• historical country is for example Union ⇐ (Union is a historical country), (is a is inverse of is for example)