"kW[`[A],u[B],[Ainr[A],u[B],[C]]]