this item is a use of Deductions inverse property label item is for example this item is a use of ⇐ (this item is a use of is a inverse property label item), (is a is inverse of is for example)