/* :- seqex(test/3). */

test(X,Y,Z) :- functor(X,g,5), W = f(a,b), functor(W,Y,A), functor(Z,Y,A),
		functor(W,f,B).

?- test(A,B,C).  


