"%W[[A],ec1`3[ec`[A],u[B],[C]]]