>S(a|)E

SE SxE

>S(|b)E

SE SxE

>S(a||b)E

SE SxE