member(p(v,a),a)=true,
member(p(v,b),b)=true,
member(p(p(v,a),b),b)=true,
member(p(p(v,a),a),a)=true,
member(p(p(v,b),a),b)=true,
member(p(p(p(v,b),a),b),b)=true,
member(p(p(p(v,b),a),b),a)=true,
member(p(p(p(v,a),a),b),b)=true,
member(p(p(p(v,a),a),b),a)=true,
member(p(p(p(v,b),a),a),b)=true,
member(p(p(p(p(v,a),b),a),a),b)=true,
member(p(p(p(p(v,b),a),a),a),b)=true