a(b|c)