The component IR contains all instantiated rules of G that are required to license the subderivation in G that corresponds (under the Cat projection) to the subderivation from n in G F , except that the licensed nodes are replaced in the instantiated rules by their ψ values.
17 the additional components of the root label S:root:IR root record 15 The set of terminals T F is constructed from the full term set T F instead of just ⊥ to allow for the possibility of ↓ appearing in lexical entries (e.g., Zaenen and Kaplan 1995).