eq(f0(A,B,C,D,E),1,[f23(0,1,F,G,H)],[99>=I]).
eq(f0(A,B,C,D,E),1,[f23(0,1,F,G,H)],[]).