(a1 b2 | b3)* b4 a5
