((a; b) | (c; d)); e
(a | c); ((b | d); e)