This means that the new rule instances can never be used in a complete derivation of G , and therefore do not change the generated language.
we have a construction that turns a TAG into a weakly equivalent prefix-closed VW-CCG.