mo(Y)=X <= fa(Y)=Z, hu(X)=Z
pa(Y)=X <= fa(Y)=X
pa(Y)=X <= mo(Y)=X
gfa(Y)=X <= pa(Y)=Z, pa(Z)=X
gmo(Y)=X <= pa(Y)=Z, gmo(Z)=X
fa(b)=a <=
fa(c)=b <=
fa(d)=b <=
fa(e)=a <=
hu(u)=a <=
hu(v)=b <=
hu(w)=d <=

