some instances are part of Deductions inverse property label item is for example some instances are part of ⇐ (some instances are part of is a inverse property label item), (is a is inverse of is for example)