These are instantiated by replacing the instantiating nodes of the LFG derivation by their ψ values.
the instantiated description provided by the rule component of the start rule is equivalent to the original f-description and hence the context-free derivation tree at the bottom of Figure 6 is licensed completely by the rules of the constructed grammar.