e --> (a,b ; c),d.
