Observe that, by construction, for all X, A ∈ N every target tree rooted in S XA is prefix lexicalized.
the trees created in step 4 are all prefix lexicalized variants of non-lexicalized tree pairs; steps 5-6 then remove the non-lexicalized trees from the grammar.