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