is notable work of Deductions inverse property label item is for example is notable work of ⇐ (is notable work of is a inverse property label item), (is a is inverse of is for example)