So for each path from the root f-structure, a distinct variable is introduced: ¥ , subscripted with the (abbreviated and possibly empty) feature path: Rule augmentation step 1 adds to each category name a concrete f-structure to which the category corresponds.
any relevant metavariable ( , ¤ ) in the grammar must end up instantiated to one of these.