eq(f0(A,B,C,D,E),1,[f28(4,0,1,2,3)],[]).