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