Moreover, the syntactic types that determine the applicability of rules in derivations are transparent to (i.e., are determined, though not necessarily uniquely, by) the semantic types that they are associated with.
syntactic types are more expressive and more numerous than standard parts of speech: there are around 500 highly frequent CCG types, against the standard 50 or so Penn Treebank POS tags.