To implement the second part of the derivation, for each clause c i we introduce a lexicon entry c i : Our rules make crucial use of variable restrictions.
to introduce them we define the following notational shorthands: 1 j is a sequence of n slash-variable pairs, except that the jth variable has been replaced with the concrete (atomic) category [v j → 1], and similarly for 0 j .