That is, starting with an initial configuration c 0 = c s (x), we find y = c 0 , ..., c n such that c i+1 = t i+1 (c i ) and c n ∈ C t .
each y depicts a sequence of decisions that constructs a valid analysis for x at the relevant linguistic level.