Holy Alliance
Deductions
- alliance is for example Holy Alliance ⇐ (Holy Alliance is a alliance), (is a is inverse of is for example)
- Holy Alliance is a alliance ⇐ (military alliance is subclass of alliance), (Holy Alliance is a military alliance)
- military alliance is for example Holy Alliance ⇐ (Holy Alliance is a military alliance), (is a is inverse of is for example)