a :-
    t(T/*0*/),
    l([T/*1*/, /*2*/ e(n)]).