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