However, the formal properties of nonlocal MCTAG are not well understood, and it is assumed that the formalism is not polynomially parsable.
this approach is no longer pursued, but it has influenced the different subsequent proposals.