# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:14 GMT
{
 (
 <http://www.agfa.com/w3c/euler/authen.axiom.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/authen.lemma.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/authen#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/authen#authen1>. 
   {[iw:Variable "?PERSON"] = <mailto:jos.deroo@agfa.com>. 
    [iw:Variable "?INSTITUTION"] = <http://www.agfa.com>. 
    [iw:Variable "?PERSON"] :member [iw:Variable "?INSTITUTION"]} =>
  {<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>}. 
   {[iw:Variable "?INSTITUTION"] = <http://www.agfa.com>. 
    [iw:Variable "?INSTITUTION"] :w3cmember <http://www.w3.org>} =>
  {<http://www.agfa.com> :w3cmember <http://www.w3.org>}. 
   {[iw:Variable "?INSTITUTION"] = <http://www.agfa.com>. 
    [iw:Variable "?MAILINGLIST"] = <mailto:w3c-ac-forum@w3.org/>. 
    [iw:Variable "?INSTITUTION"] :subscribed [iw:Variable "?MAILINGLIST"]} =>
  {<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>}. 
  [iw:Variable "_:WHO_2"] = <mailto:jos.deroo@agfa.com>. 
  [iw:Variable "_:WHO_2"] :authenticated <mailto:w3c-ac-forum@w3.org/>} =>
{<mailto:jos.deroo@agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>}. 
# Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 4 steps (400000 steps/sec) using 1 engine
}.