24
Example 3 (cont’d)
[lfpS,xf(S,x)](a)
where:
    f(S,x) = 8 y(E(x,y) ! 9 z.(E(y,z) Æ S(z))