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