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