Una lista è la lista vuota ( ) oppure (X1,
..., Xk) dove X1, ...,
Xk sono atomi (a oppure b) o liste. Si assume
l'associatività a destra. Si dia uno schema per l'analisi
deterministica discendente che dia come attributo il numero di
elementi della sottolista più lunga nella lista (compresa la
lista medesima). Per esempio, l'attributo per la lista (a,
(a,b), a, b) sarà 4, per la lista (a, (a, b,
a)) sarà 3.