compatible with subject Deductions inverse property label item is for example compatible with subject ⇐ (compatible with subject is a inverse property label item), (is a is inverse of is for example)