bears this given name Deductions inverse property label item is for example bears this given name ⇐ (bears this given name is a inverse property label item), (is a is inverse of is for example)