s(f(x,y)) = g(f(x,y))
s(g(x)) = g(g(x))
f(x,y) = f(y,x)

!preorder s > g > f