edition or translation Deductions inverse property label item is for example edition or translation ⇐ (edition or translation is a inverse property label item), (is a is inverse of is for example)