"W[[A[A],u[B],[C]]]