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

