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