The term component of the augmented categories encodes a reducing substitution ψ for the simulated derivation with the given c-structure.
if a node n in the G F derivation is labeled by X:t:IR, then ψ(n) = t for the corresponding LFG c-structure tree.