Denali Deductions elevation is for example Denali ⇐ (Denali is a elevation), (is a is inverse of is for example) Denali is a elevation ⇐ (mountain is subclass of elevation), (Denali is a mountain) mountain is for example Denali ⇐ (Denali is a mountain), (is a is inverse of is for example)