Thing Y
<< back <<
Designates a thing
A
A has Y
A
Y has A