chat
type identity
two referents are of the same type but not the same individual. Example: in I took a red candy and Greg took a green one, the referent of green one is the same type as the referent of red candy, but is a different individual. (Section 5.4)
Hierarchy
Has as subtype
Is subtype of