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