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