A=g(X,Y:t(r(Z)),W:s(Q))?
X=a,Z=b,Q=c?
X=a,Z=b,Q=d?
X=a,Z=c,Q=b?
X=a,Z=d,Q=b?
X=c,Z=a,Q=b?
X=d,Z=a,Q=b?
X=a,Z=b?
Q=c?
Q=b?
X=Y?
X=Z?

Z=Q?
X=Z?




X=Z?
X=Q?


Q=a(AA),X=b(BB),Z=ab(CC)?
AA=q?
BB=bc?
BB=q?

BB=w?
X=Z?
Q=X?





