... satisfying: • CS(N) + C_ CS(N), for each N; • (N, L) • CS(N), for each N such that N <~* l, and each L • Af*; • N • CS(N), for each N such that -~(N<~*l); and • for each N, children(N) ... (unique) Xj (1 _< j _< m) which is of the form (M, [NIL]), 2Exactly in the case that N dominates a footnote will (exactly) one of the Xj be of the form (M, L), some M. and set X = N if L [] ... tree. Formally, items are completed if they are of the form [t,T ~ Rt •] or of the form [(t,N),N -+ a •]. The main concept needed for the construction of the LR table is that of LR states....