#fun a/0 b/0 c/0 d/0 f/2 g/2 l/2 h/3;
#sim a b .7 c d .6 f g .8 l h .9;
// #map f g .9 1:2 2:1;
// #map l h 1:2 2:3;
#close;

#trace 2;

h(g(b,Y),f(Y,c),X) \/ l(f(a,Z),g(c,d));

// h(X,g(Y,b),f(Y,c)) \/ l(f(a,Z),g(d,c));