m0:M m1:M → t:I
t=1 if m0 is a parent of m1, t=0 otherwise. Recursive version of macroisdirectparent.