Berlin

Deductions

• building complex is for example Berlin ⇐ (Berlin is a building complex), (is a is inverse of is for example)
• Berlin is a building complex ⇐ (seat of government is subclass of building complex), (Berlin is a seat of government)
• seat of government is for example Berlin ⇐ (Berlin is a seat of government), (is a is inverse of is for example)