Thus the set of constants needed to correctly reduce an arbitrary description as a derivation proceeds incrementally may be larger than the number of elements in the input f-structure and larger than what is required for an equivalent description for a complete derivation.
iRD F can be determined without knowing the details of the valid derivations for F, just on the basis of F and the LFG grammar G alone.