eq(f0(A,B,C),1,[f24(D,E,F)],[]).