With these two properties established, Theorem 4 can be proved by literally the same arguments as those that we gave in Section 3.
we prove that the full class of prefix-closed CCGs is weakly equivalent to TAG, and the subclass that cannot express target restrictions is strictly less powerful.