eq(f2(A),1,[f5(B)],[]).