"and takes values such as J, Y, and C, is distinct at all semantic levels" . . . .