// #fun a/0 b/0 c/0 d/0 f/4;
// #sim a b .9 b c .7 c d .8;
// #close;
// #show;


// #fun a/0 b/0 c/0 d/0 f/2 g/2 h/3;
// #sim a b .7 c d .6 f g .9;
// #close;
// h(X1,X1,X1) \/ h(c,d,e);
// f(X1,Y1,X1,Y1) \/ f(a,b,c,d);

// #fun a/0 b/0 c/0 d/0 f/2 g/2 h/3;
// #sim a b .7 c d .6 f g .9;
// #close;
// #show;

// f(Y1,Y1) \/ g(c,d);

// h(f(a,X1), g(X1, b), f(Y1, Y1)) \/ h(X2,X2, g(c, d));

#fun a/0 b/0 c/0 d/0 f/3;
#sim a b .7 c d .6;
#close;

f(a,b,a) \/ f(c,d,d);

#termclass f(a,b,a) 0;