One of the first proposals made was an analysis of German scrambling data using nonlocal MCTAG with additional dominance constraints (Becker, Joshi, and Rambow 1991).
the formal properties of nonlocal MCTAG are not well understood, and it is assumed that the formalism is not polynomially parsable.