writes in this language Deductions inverse property label item is for example writes in this language ⇐ (writes in this language is a inverse property label item), (is a is inverse of is for example)