# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:27 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/authen.lemma.n3
# given [http://www.agfa.com/w3c/euler/authen.axiom.n3]

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/authen#>.

 {<mailto:jos.deroo.jd@belgium.agfa.com> :member <http://www.agfa.com>.
  <http://www.agfa.com> :w3cmember <http://www.w3.org>.
  <http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>} log:implies
{<mailto:jos.deroo.jd@belgium.agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>}.

# Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 3 steps (232 steps/sec)