trope Deductions trope is for example key ⇐ (key is a trope), (is a is inverse of is for example) key is a trope ⇐ (metaphor is subclass of trope), (key is a metaphor)