Geneva

Deductions

• administrative centre is for example Geneva ⇐ (Geneva is a administrative centre), (is a is inverse of is for example)
• Geneva is a administrative centre ⇐ (cantonal capital of Switzerland is subclass of administrative centre), (Geneva is a cantonal capital of Switzerland)
• cantonal capital of Switzerland is for example Geneva ⇐ (Geneva is a cantonal capital of Switzerland), (is a is inverse of is for example)