appears in this work Deductions inverse property label item is for example appears in this work ⇐ (appears in this work is a inverse property label item), (is a is inverse of is for example)