(b |${b,c} c; (d || (e |${e,f} f))) || (aa or bb);cc;p;q;r;s || rec :: (x;y;rec or z)
