has this color Deductions inverse property label item is for example has this color ⇐ (has this color is a inverse property label item), (is a is inverse of is for example)