Both the depicted substitution ψ and the subtree to which S F expands are related to the original LFG derivation by the construction of the first half of our proof.
ψ is a reducing substitution and the context-free derivation specializes the category label of each node n of the original c-structure.