joliwam(V,plus(X,Y,t(f,g),t(X,g(J)),a)), nl,nl,joliwam(V,l),nl,nl?

