formula_list(usable).

% powerset operator P

all x y ( i(x,y) -> i(P(x),P(y)) ).
all x ( e(x,P(x)) ).
all v x ( e(v,P(x)) -> i(v,x) ).

end_of_list.