The special property established by our transformation has consequences for the generative capacity of pure CCG.
we will now show that the set of all transformed derivations of a given grammar yields a context-free language.