"%W[[A],enric`[enW[[A],e`[A],u[B]],u[BC]]]