The T-CCG formalism is equivalent to the 'morphosyntactic CCG' formalism of Bozsahin (2002), where features are ordered in a join semi-lattice.
in this way, the set of expressions taking an NP obj argument is specified by means of the category description RES* ARG NP obj .