Ostfeste

Deductions

• Ostfeste has quality geographical boundary ⇐ (Ostfeste is a geographic region), (geographic region has quality geographical boundary)
• geographic region is for example Ostfeste ⇐ (Ostfeste is a geographic region), (is a is inverse of is for example)
• Southern Africa is part of Ostfeste ⇐ (Southern Africa is part of Africa), (Africa is part of Ostfeste), (is part of is a transitive relation)