In CCG, words and nonterminals are associated with rich syntactic categories which capture the basic word order and subcategorization.
the categories in CCG are defined recursively: (1) There are some atomic categories, e.g.