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