[panda17]

A thing is uniquely identified by T, category by C.

May read it as: CREATE TABLE thing (T_ID integer, C_ID integer)