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