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)