member(jos_deroo,agfa).
w3cmember(agfa,w3_org).
subscribed(agfa,w3_mail).
authenticated(P,M) :- member(P,I),w3cmember(I,w3_org),subscribed(I,M).