Si X y Y son dos nodos en un árbol sintáctico, X manda-M Y si y sólo si: