apple tree Deductions common name is for example apple tree ⇐ (apple tree is a common name), (is a is inverse of is for example)