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