#fun a/0 b/0 f/1 g/2;

#sim a b .7 f g .9;

#close;

// #show;

// #trace 3;

#termclass g(f(b),b) .8;
#termrep   g(f(b),b) .8;

#termclass g(f(a),f(b)) .8;
#termrep   g(f(a),f(b)) .8;

// g(X,X) \/ g(f(a),f(b));
