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